| Filename | Latest commit message | Latest commit date |
|---|---|---|
6c15eb004c
Some checks failed
repository checks / lockfiles, advisories, tests in CI, workflow hygiene, spec and section references, public text (push) Failing after 19m56s
A receipt written after the last seal stood on Ed25519 until the next seal. A steward may now countersign one at once: its hybrid key over a record naming the receipt's content id (jcp:receipt-countersignature, log-seal §5.7). A holder of the Ed25519 key alone cannot make one. A reader needed each steward's key id carried to it by hand (§4). A witness that has cosigned a steward's seal now attests the keys it last saw sign one, with that seal and its count, under its own hybrid key (§4.2). A reader trusting a set of witnesses takes the steward's key id from a quorum of their latest attestations and starts reading from the newest seal they name; fewer than a quorum is keys_unattested, two key ids each with one keys_disputed, and a witness that has cosigned nothing refuses (witness_unfollowed). The pack gains 8 countersigned receipts and 13 attested key cases; the Python second reader decides all of them with its own ML-DSA-65 and notices each of its 13 new rules removed. 13 seeded faults in the Rust code, each caught. C33 and SPEC's summary of it say so. Co-Authored-By: Claude Opus 5.5 <[email protected]> |
||
| .. | ||
| attest.rs | ||
| compaction.rs | ||
| cose.rs | ||
| note.rs | ||
| note_mldsa.rs | ||
| seals.rs | ||