saymrwulf

saymrwulf synced commits to main at saymrwulf/proof-aware-crypto-tooling-agent from mirror 2026-08-23 18:37:48 +00:00

1086a3ba02 course refresh: the notebooks enter the SLH-DSA era

saymrwulf synced commits to main at saymrwulf/dalek-ed25519-verified from mirror 2026-08-22 18:30:46 +00:00

0c82f217a8 coherence sweep: no private paths in public docs; dead /paper/v0.2 links repointed to git history; leaf-index numbering (doc-only)

saymrwulf synced commits to main at saymrwulf/betrusted-ed25519-verified from mirror 2026-08-22 18:30:44 +00:00

e999e45ae1 coherence sweep: no private paths in public docs; dead /paper/v0.2 links repointed to git history; leaf-index numbering (doc-only)

saymrwulf synced commits to main at saymrwulf/anza-ed25519-verified from mirror 2026-08-22 18:30:42 +00:00

cb0f1efc27 coherence sweep: no private paths in public docs; dead /paper/v0.2 links repointed to git history; leaf-index numbering (doc-only)

saymrwulf synced commits to main at saymrwulf/ltl-accumulator-verified from mirror 2026-08-22 18:30:25 +00:00

2f284c93a5 coherence sweep: no private paths in public docs; dead /paper/v0.2 links repointed to git history; leaf-index numbering (doc-only)

saymrwulf synced commits to main at saymrwulf/lean-transparency-log from mirror 2026-08-22 18:30:23 +00:00

b8ef7858c7 README: second (post-quantum) signature wording + paper DOI line (matches regenerated template)

saymrwulf synced commits to main at saymrwulf/verifying-crypto-with-lean from mirror 2026-08-22 18:30:21 +00:00

0355ff22f3 coherence sweep wave 3 (book): the paper is published, not frozen

saymrwulf synced commits to main at saymrwulf/risc0-ed25519-verified from mirror 2026-08-22 18:30:20 +00:00

1c16673003 coherence sweep: no private paths in public docs; dead /paper/v0.2 links repointed to git history; leaf-index numbering (doc-only)

saymrwulf synced commits to main at saymrwulf/proof-aware-crypto-tooling-agent from mirror 2026-08-22 18:30:19 +00:00

31a9dee10a coherence sweep wave 2 (mirror template): 'additive' aligned to site vocabulary in reader-facing lines; paper+DOI line added (findings 20,21)

7e9e557187 coherence sweep wave 1 (pacta): the v0.11 era leaves ESTATE/llms/comments

7cc5982af3 site: the paper card finally joins the redesign

57ac2095c0 web: HEAD support — link checkers and unfurlers get 200+headers, not 501

03de38eaac the paper has a DOI: 10.5281/zenodo.22057482 (Zenodo, CC BY 4.0) — site card and paper README carry it

Compare 5 commits »

saymrwulf synced commits to main at saymrwulf/verifying-crypto-with-lean from mirror 2026-08-17 16:41:03 +00:00

f1cd701730 ch01: unified leaf-index numbering — Leaf 18, matching the estate-wide 0-based convention

saymrwulf synced commits to main at saymrwulf/proof-aware-crypto-tooling-agent from mirror 2026-08-17 16:41:01 +00:00

469a962825 paper v0.15: the dichotomy named, the question aligned

ca2a59f8a7 site: the one argument opens the page — three sentences, the dilemma and our point between

7a6499c452 paper v0.14: the full-document eye pass completes the referee round

3b13fdbfde paper v0.13: the Green-persona approachability revision

8ab1f85556 site polish: the last four coherence fixes (de-numbered claim binding, witness in plain words, R5 out of prose, legend without boundary-exact)

Compare 17 commits »

saymrwulf synced commits to main at saymrwulf/fips205-slhdsa-verified from mirror 2026-08-16 16:33:46 +00:00

65211a8775 docs: dated-record clarity for the pre-Green scan — attestations that have since occurred say so; leaf-index numbering unified

saymrwulf synced commits to main at saymrwulf/ltl-accumulator-verified from mirror 2026-08-16 16:33:45 +00:00

362d62aed6 docs: dated-record clarity for the pre-Green scan — attestations that have since occurred say so; leaf-index numbering unified

saymrwulf synced commits to main at saymrwulf/lean-transparency-log from mirror 2026-08-16 16:33:44 +00:00

7c3f285f34 docs: dated-record clarity for the pre-Green scan — attestations that have since occurred say so; leaf-index numbering unified

saymrwulf synced commits to main at saymrwulf/proof-aware-crypto-tooling-agent from mirror 2026-08-16 16:33:41 +00:00

b497b00c73 docs: the pre-Green full-scan repairs — ESTATE/llms/evidence to the 19-leaf world, leaf-index numbering unified, instruction traps closed

5bea4c85cb evidence: name the capture honestly — STH at capture time (size 8), pointer to today's live state

4e1cb19e06 site: the self-reference boast carries its own scope — verify path proven, signing never

f54e47778b site: the socratic round — every stale claim fixed, every printed command runs, first-use glosses

810d6f47f1 paper form round: every defect from the socratic inspection fixed + check-paper.sh gate

Compare 8 commits »

saymrwulf synced commits to main at saymrwulf/proof-aware-crypto-tooling-agent from mirror 2026-08-15 19:53:23 +00:00

8af6667756 site QA sweep: the paper section tells today's truth, old drafts retired

03c9dabf36 paper v0.10: post-review revision — the freeze is over, the queue ships

Compare 2 commits »

saymrwulf synced commits to main at saymrwulf/verifying-crypto-with-lean from mirror 2026-08-09 21:10:58 +00:00

8c7c28702a cover: the pyramid declares itself — named floors + caption

saymrwulf synced commits to main at saymrwulf/proof-aware-crypto-tooling-agent from mirror 2026-08-08 21:01:03 +00:00

840e3fba2c paper folder: signpost which file is current (operator decision 2026-08-08: keep drafts + note)

be282ab724 paper: remove the explainer — operator-private material, relocated

6c587b572b paper: plain-language explainer for paper 1 and the upcoming paper 2

Compare 3 commits »

saymrwulf synced commits to main at saymrwulf/verifying-crypto-with-lean from mirror 2026-08-08 21:01:00 +00:00

1f11b8aa4d print-quality pass: the book gets looked at, and the looking becomes a gate

e2660e8e71 publication history: dated edition record in the front matter, machine-bound

311f60d4d0 move 7: the book's button — check-book.sh + check-book.py

63a809dd2c book overhaul move 6: the Second Summit chapter + the book ends once

adbcdd6bde book overhaul moves 3-5: hook transplants, suspense mechanics, voice unification

Compare 8 commits »

saymrwulf synced commits to main at saymrwulf/ltl-accumulator-verified from mirror 2026-08-07 21:00:04 +00:00

1ae8263404 docs: estate-wide consistency pass (workflow audit, 36 findings, all verified before fixing)

2a886b6be9 fidelity: deliberate re-pin of the pacta subject (cd3b1bc -> a036624)

be4f742b29 verification: guard the accumulator's two lifts (port lift-guard, assert on the payload)

a0d11b44d9 verification: lifted phases run under the buttons shell options, enforced in lift-guard

888796a16e verification: separate the two accounting questions (round-9 review, Claude N2)

Compare 10 commits »