ci: re-pin standards callers to metadatastician/standards@a797d30; record the proof audit; propose crypto-shredding (ADR-0002) by hyperpolymath · Pull Request #167 · hyperpolymath/januskey

ci: re-pin standards callers to metadatastician/standards@a797d30 and relock

claude

committed

1cdbf2e

docs(proofs): record the proof-statement audit and its findings in the ledger

claude

committed

faefe32

docs(adr): propose obliteration by crypto-shredding, with the benchmark behind it

claude

committed

967edb8

ci: name secrets instead of inheriting them across the owner boundary; narrow S-2

claude

committed

56e64ea

docs(adr-0002): correct the shred claim, its scope, the migration and the store cost

claude

committed

8548235

docs(adr-0002): measure the final shred and the default store; redact old records

claude

committed

ecc5bca

docs(adr-0002): journal the keys on store, protect the index key, keep migration open

claude

committed

08f10fa

docs(adr-0002): two-root hierarchy, per-message subkeys, honest shred costs

claude

committed

bc701e4

docs(adr-0002): crash-safe rotation by generation, measured journal fold, valid E4

claude

committed

90328b7

docs(adr-0002): serialise journal appends with rotation

claude

committed

b6fb586

docs(adr-0002): durable pointer, shared reader lock, key-before-blob; fix TESTED count

claude

committed

6890fc0

docs(proofs): cite the Agda receipt that covers E-1m; scope S-2's temp-file claim

claude

committed

63b7c88

Navigation Menu

Repository navigation

ci: re-pin standards callers to metadatastician/standards@a797d30; record the proof audit; propose crypto-shredding (ADR-0002) - #167

ci: re-pin standards callers to metadatastician/standards@a797d30; record the proof audit; propose crypto-shredding (ADR-0002)#167
hyperpolymath merged 17 commits into
mainfrom
claude/vibrant-cori-lirqrr

Commits on Nov 4, 2026

ci: re-pin standards callers to metadatastician/standards@a797d30 and relock

docs(proofs): record the proof-statement audit and its findings in the ledger

docs(adr): propose obliteration by crypto-shredding, with the benchmark behind it

ci: name secrets instead of inheriting them across the owner boundary; narrow S-2

docs(adr-0002): correct the shred claim, its scope, the migration and the store cost

docs(adr-0002): measure the final shred and the default store; redact old records

docs(adr-0002): journal the keys on store, protect the index key, keep migration open

docs(adr-0002): two-root hierarchy, per-message subkeys, honest shred costs

docs(adr-0002): crash-safe rotation by generation, measured journal fold, valid E4

docs(adr-0002): serialise journal appends with rotation

docs(adr-0002): durable pointer, shared reader lock, key-before-blob; fix TESTED count

docs(proofs): cite the Agda receipt that covers E-1m; scope S-2's temp-file claim

Commits on Nov 5, 2026

ci(mirror): forward the three R2 backup secrets; ADR-0002 eighth review round

docs(adr-0002): require a checked protocol model before acceptance; record open questions

fix(bench): use as_chunks for the fixed-size journal entries

docs(adr-0002): correct the model invariant and an overclaim; record round-ten questions

Merge branch 'main' into claude/vibrant-cori-lirqrr