| Filename | Latest commit message | Latest commit date |
|---|---|---|
acc9e4ca07
All checks were successful
repository checks / lockfiles, advisories, tests in CI, workflow hygiene, spec and section references, public text (push) Successful in 11m9s
Witnesses that keep their rule never cosign two lines of seals, and the spec said a witness that did could be shown to have; nothing showed it. - verify_fork: two seals of one steward, each read under keys among its key ids, whose logs part. Of one count, their roots differ; of two, the larger log has, at the smaller seal's last place, a receipt that is not the smaller seal's head, shown with its path to the larger root. - prove_fork: the evidence built by a reader holding the larger log. - verify_equivocation: a fork with two cosignatures, of its two seals, by one witness, which a witness keeping its rule never writes. - New codes fork_not_shown and equivocation_not_shown; log-seal 5.5, the section 6 bullet on witnesses, and C33 in the extension and SPEC. - log_seal.json: seven forks (one count, two counts, a prefix offered with another history's leaf and with its own true leaf, no divergence, one seal twice, a foreign key) and three equivocations; verify_seal.py decides them on its own with four rules, each noticed when removed. Seven seeded faults, each caught; the one first missed (a divergence at the smaller seal's own head) is caught by the prefix-with-its-true-leaf case added for it. Co-Authored-By: Claude Opus 5.5 <[email protected]> |
||
| .. | ||
| lifecycle_pack.rs | ||
| log_seal_pack.rs | ||
| pack.rs | ||
| replay_pack.rs | ||
| terms_pack.rs | ||