All pull requests

Pull requests

• docs: no version-sensitive claims in the README

  #267·thedavidmeister opened Sep 21, 2026Contributor·

  ·
  1

  

• test: pin atomicity by redeploying at the address, not by reading code length

  #266·thedavidmeister opened Sep 21, 2026Contributor·

  ·
  1

  1

  

• test: assert the shared-tail clauses through cloneDeterministicOpenSalt

  #265·thedavidmeister opened Sep 21, 2026Contributor·

  ·
  1

  1

  

• test: prove the call recorder records non-initialize calls

  #264·thedavidmeister opened Sep 21, 2026Contributor·

  ·
  1

  1

  

• test: pin that a clone can clone through the same factory during initialize

  #263·thedavidmeister opened Sep 21, 2026Contributor·

  ·
  1

  1

  

• test: pin that the factory forwards uncapped gas to initialize

  #262·thedavidmeister opened Sep 21, 2026Contributor·

  ·
  1

  1

  

• docs: drop the occupant-identity claim from CloneAddressOccupied

  #261·thedavidmeister opened Sep 21, 2026Contributor·

  ·
  1

  1

  

• Lock rainix at the SHA CI runs

  #260·thedavidmeister opened Sep 21, 2026Contributor·

  ·
  1

  1

  

• gas: stop committing a snapshot nothing regenerates or checks

  #259·thedavidmeister opened Sep 21, 2026Contributor·

  ·
  1

  1

  

• package: stop shipping test/

  #258·thedavidmeister opened Sep 21, 2026Contributor·

  ·
  1

  1

  

• package: exclude the .audit run stamp beside /audit

  #257·thedavidmeister opened Sep 21, 2026Contributor·

  ·
  1

  1

  

• README: point at the open-salt spec instead of restating it

  #256·thedavidmeister opened Sep 21, 2026Contributor·

  ·
  1

  1

  

• README: drop the interpreter blurb from the Interfaces section

  #255·thedavidmeister opened Sep 21, 2026Contributor·

  ·
  1

  1

  

• package: ship the annotation that licenses the shipped README

  #254·thedavidmeister opened Sep 21, 2026Contributor·

  ·
  1

  1

  

• docs: cut the CREATE2, front-running and registry essays from the interface

  #253·thedavidmeister opened Sep 21, 2026Contributor·

  ·
  1

  1

  

• test: scope the recorder's claim to the calls it can record

  #252·thedavidmeister opened Sep 21, 2026Contributor·

  ·
  1

  1

  

• CLAUDE.md: a source file carries two SPDX lines, not one

  #251·thedavidmeister opened Sep 21, 2026Contributor·

  ·
  1

  1

  

• docs: state the open-salt MUST NOT as agreement, not data provenance

  #250·thedavidmeister opened Sep 21, 2026Contributor·

  ·
  1

  1

  

• CLAUDE.md: scope the no-concrete-contract claim to src/

  #249·thedavidmeister opened Sep 21, 2026Contributor·

  ·
  1

  1

  

• CLAUDE.md: state both routes the tests take into the library

  #248·thedavidmeister opened Sep 21, 2026Contributor·

  ·
  1

  1

  

• docs: state each effective-salt derivation once

  #247·thedavidmeister opened Sep 21, 2026Contributor·

  ·
  1

  1

  

• test: one CloneFactoryTest base for the factory fixture and the NewClone assertion

  #246·thedavidmeister opened Sep 21, 2026Contributor·

  ·
  1

  1

  

• CLAUDE.md: scope the no-named-returns rule to implementations

  #245·thedavidmeister opened Sep 21, 2026Contributor·

  ·
  1

  1

  

• docs: name implementation in the NewClone determinant set

  #244·thedavidmeister opened Sep 21, 2026Contributor·

  ·
  1

  1

  

• CLAUDE.md: name the two path lists a new non-source file must join

  #243·thedavidmeister opened Sep 21, 2026Contributor·

  ·
  1

  1