Slice 024: Effect catalog, authority selection, local receipts by HackTuah · Pull Request #36 · ScriptKittyOS/Trinity

docs(s024): G1 plan with the signing and insert costs measured, and the slice opens

HackTuah

committed

95b3660

docs(s024): the design checked against DSSE, RFC 8725, RFC 7638, RFC 5848, C2SP and FIPS 186-5; five G1 amendments

HackTuah

committed

9f646ca

feat(s024): the receipts repo and file, the signer seam, key custody and the registry

HackTuah

committed

b34cd8f

feat(s024): the chain writer, checkpoints, the authority behaviour and Local, the boot receipt, the verifier

HackTuah

committed

6dd6a86

feat(s024): the verifier's tests, the export and verify tasks, the standalone script

HackTuah

committed

689542a

test(s024): the authority selection: named refusals, the child spec's start failure, the standalone assertion under local

HackTuah

committed

4b356af

fix(s021): a decision that arrives while the tools still run is postponed, not dropped

HackTuah

committed

85c0cdb

feat(s024): the membrane, its runner as the seam in force, the executor on Tools.Runner

HackTuah

committed

69cb4e4

test(s024): the membrane: the execute/2 census with a planted bypass, every decision and effect receipted, the M2 re-verify, the idempotency key, the catalog and decision checks, the key removed mi…

HackTuah

committed

e1461d2

feat(s024): CorePolicy covers the modules that decide; the boot receipt's tests (AC6)

HackTuah

committed

a44d820

feat(s024): the receipts pages: a session's chain and the boot receipt, with verify

HackTuah

committed

3d6fc93

feat(s024): the FIPS half of AC8 for the leg; the policy hash over stripped beams; mode-aware assertions

HackTuah

committed

7170545

docs(s024): 01, 05, 07 and ADR-0013 as built

HackTuah

committed

c583ef3

refactor(s024): credo's seven findings and sobelow's nine

HackTuah

committed

a0ef284

test(s024): mode-aware expectations for the fips leg; the peer assertion names the owner

HackTuah

committed

120ff73

test(s024): the receipts tests derive the chain's family and the foreign one from the selection; the peer assertion describes the owner

HackTuah

committed

d6a2054

test(s024): the outbound-connection assertion is scoped to this application's processes

HackTuah

committed

f977b84

feat(s024): complete slice 024 (effect catalog, authority selection, local receipts)

HackTuah

committed

2ab8d28

docs(s024): PROOF.md names the closing commit's sha

HackTuah

committed

e1ffbbb

Navigation Menu

Slice 024: Effect catalog, authority selection, local receipts - #36

Slice 024: Effect catalog, authority selection, local receipts#36
HackTuah merged 19 commits into
mainfrom
slice/024-effects-authority-receipts

Commits on Sep 20, 2026

docs(s024): G1 plan with the signing and insert costs measured, and the slice opens

docs(s024): the design checked against DSSE, RFC 8725, RFC 7638, RFC 5848, C2SP and FIPS 186-5; five G1 amendments

feat(s024): the receipts repo and file, the signer seam, key custody and the registry

feat(s024): the chain writer, checkpoints, the authority behaviour and Local, the boot receipt, the verifier

feat(s024): the verifier's tests, the export and verify tasks, the standalone script

test(s024): the authority selection: named refusals, the child spec's start failure, the standalone assertion under local

fix(s021): a decision that arrives while the tools still run is postponed, not dropped

feat(s024): the membrane, its runner as the seam in force, the executor on Tools.Runner

test(s024): the membrane: the execute/2 census with a planted bypass, every decision and effect receipted, the M2 re-verify, the idempotency key, the catalog and decision checks, the key removed mi…

feat(s024): CorePolicy covers the modules that decide; the boot receipt's tests (AC6)

feat(s024): the receipts pages: a session's chain and the boot receipt, with verify

feat(s024): the FIPS half of AC8 for the leg; the policy hash over stripped beams; mode-aware assertions

docs(s024): 01, 05, 07 and ADR-0013 as built

refactor(s024): credo's seven findings and sobelow's nine

test(s024): mode-aware expectations for the fips leg; the peer assertion names the owner

test(s024): the receipts tests derive the chain's family and the foreign one from the selection; the peer assertion describes the owner

test(s024): the outbound-connection assertion is scoped to this application's processes

feat(s024): complete slice 024 (effect catalog, authority selection, local receipts)

docs(s024): PROOF.md names the closing commit's sha