Skip to content

Admission receipt succession; correct the SB226 Summary under it - #24

Merged
snapsynapse merged 2 commits into
mainfrom
cc/sb226-summary-receipt-succession
Oct 12, 2026
Merged

snapsynapse merged 2 commits into
mainfrom
cc/sb226-summary-receipt-succession

Conversation

@snapsynapse

Copy link
Copy Markdown
Owner

Summary

Stacked on #21 (f1f5eab2). Implements the receipt-succession option Sam Rogers chose on 2026-10-11 for the SB226 statute Summary, which #21 deliberately left gated.

Contract change

  • A receipt may carry supersedes: { packet_sha256, reason, receipt }. The embedded receipt is validated recursively and must reproduce its own admitted record hash. The successor binds to that state, reviews only units changed since, and must carry forward every earlier unresolved item.
  • Accepted receipts become immutable: check:admission against a base commit fails if an accepted receipt was rewritten instead of superseded.
  • The Verified rule is unchanged: an agent successor cannot renew last_verified or Verified rows.
  • prepare-source-admission.js --supersede prepares successor packets. Obligation-First evidence inputs read unit reviews through the lineage.

Native delta

  • One unit, section:Summary/text of us-ut-legislature-statute-2025-sb226.md, corrected against retained enrolled SB 226 (Foundation comparison U02, U03.a2, U03.b, U04.a-d).
  • The agent successor embeds the 2026-09-24 human receipt (digest 477433cd...) unchanged. last_verified stays 2026-09-23.
  • Evidence note: ops/evidence/sb226-summary-succession-2026-10-11.md.

Fingerprint

  • Guarded writer only; provenance_claims changed for the six SB226 records (instrument, issuance determination, term, three obligations). Nothing else moved.

Checks (local)

  • node --test tests/*.test.js: 76/76 (4 new succession tests, plus tests/sb226-summary-succession.test.js)
  • check:admission: 62 records, 20 reviewed, 124 unit reviews
  • npm run evals, validate:of and check:of-fingerprint (130 records), hashes: pass
  • Committed-tree verify:ci with SOURCE_ADMISSION_BASE = main: pass

Not in scope

No date or status renewal, current-codification bridge, mapping promotion, R3 or HB452 work. Keep draft alongside #21 until the paired review with EveryAILaw draft PR 534 and the OF consumer-answer contract.

🤖 Generated with Claude Code

Accepted admission receipts become immutable. A successor receipt embeds
the accepted receipt verbatim under supersedes, binds to the record state
it admitted, reviews only the units changed since, and must carry forward
every earlier unresolved item. Embedded receipts are validated
recursively and must reproduce their admitted record hash. Against a base
commit, check:admission now fails when an accepted receipt is rewritten
instead of superseded. prepare-source-admission gains --supersede, and
Obligation-First evidence inputs read unit reviews through the lineage.
The Verified rule is unchanged: an agent successor cannot renew it.

Using it, the Utah SB 226 instrument Summary is corrected against the
retained enrolled bill (Foundation SB226 comparison U02, U03.a2, U03.b,
U04.a-d) under an agent successor that embeds Sam Rogers' 2026-09-24
human receipt. Only the Summary text unit changes; last_verified stays
2026-09-23. Receipt succession was chosen by Sam Rogers on 2026-10-11.

The guarded Obligation-First fingerprint update changes provenance_claims
only, for the six SB226 records. Tests 76/76, evals, admission (124 unit
reviews), validate:of and fingerprint (130 records), and hashes pass.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Base automatically changed from codex/sb226-disclosure-repair-20261002 to main October 12, 2026 04:05
Resolve the MANIFEST hash conflict on scripts/build.js, which carries both
the S3 frozen-fixture badge from main and the receipt-lineage evidence
inputs, by regenerating manifest hashes after a rebuild.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
@snapsynapse
snapsynapse marked this pull request as ready for review October 12, 2026 04:14
@snapsynapse
snapsynapse merged commit d0100ab into main Oct 12, 2026
2 checks passed
@snapsynapse
snapsynapse deleted the cc/sb226-summary-receipt-succession branch October 15, 2026 05:18
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant