Commit graph

Select branches

Hide pull requests

main

Mono Color

• b8ef7858c7 README: second (post-quantum) signature wording + paper DOI line (matches regenerated template) main mrwulf 2026-08-22 18:41:44 +0200
• 7c3f285f34 docs: dated-record clarity for the pre-Green scan — attestations that have since occurred say so; leaf-index numbering unified mrwulf 2026-08-16 18:32:42 +0200
• abad1b0aa1 hygiene: ignore __pycache__ (slipped into the publish commit) mrwulf 2026-08-07 17:12:56 +0200
• 3d7c125789 entries 13-18: re-attest the estate at 44 certs/fork + first SLH-DSA leaf; heads now dual-signed mrwulf 2026-08-07 17:11:59 +0200
• 130d5b305a README: align the two remaining scope phrasings with the corrected homepage mrwulf 2026-07-19 13:04:53 +0200
• 52179bdaf1 verify.py: --all verifies every published receipt; binding fields required, not compare-if-present (round-12 GPT B4) mrwulf 2026-07-17 11:15:19 +0200
• 4e5c39b93c verify.py fail-closed + full receipt bindings; README drops the 'honesty'/'first' overclaim (review round 10) mrwulf 2026-07-16 23:46:28 +0200
• dea415a60c README: log now attests its own accumulator machinery (entry 13, 2026-07-16) mrwulf 2026-07-16 20:40:21 +0200
• 1726e8ec01 log update: leaf 12 - attestation of ltl-accumulator-verified@172a1d0 (mechanized-model scope; KNOWN-GAPS 14/15) mrwulf 2026-07-16 20:07:49 +0200
• ec12dda9cb log update: leaves 8-11 - re-attestation of all four forks at rewritten repository histories (16/16 boundary-exact each; tree 8 -> 12) mrwulf 2026-07-07 21:12:41 +0200
• 4a63d6d194 Point the online-service URL at ltl.zkdefi.org mrwulf 2026-07-06 19:15:03 +0200
• 2d77a2ba2f Genesis publication: 8 leaves, 4 attested libraries, dogfood-signed head mrwulf 2026-07-06 16:02:23 +0200