saymrwulf

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

aff1c32fc5 notebooks + README: wire the teaching stack to the newest edge

37429335e6 docs: coherence + portability audit — clean-clone bootstrap proven

1d712a884a cockpit: the lab manual — a study-club course in six chairs (/manual)

15421ac4d0 cockpit: the deck — tmux-style pane grid + the color-camouflaged wizard

a18877612d cockpit: the bridge — six role stations, the crew law, live liveness

Compare 7 commits »

saymrwulf synced commits to main at saymrwulf/proof-aware-crypto-tooling-agent from mirror 2026-07-20 21:58:44 +00:00

1acbaa1a76 cockpit: estate map as a fifth view, with RUNTIME as a first-class dimension

saymrwulf synced commits to main at saymrwulf/ltl-accumulator-verified from mirror 2026-07-20 04:28:44 +00:00

c570c6114a essay: bound the rollup analogy to the paper's precise framing

a08aea6c7b runbook: refer to the private infrastructure repo without naming it

b16ff7243a docs: paper-numbering disambiguation + runbook facts updated (doc audit 2026-07-19)

Compare 3 commits »

saymrwulf synced commits to main at saymrwulf/proof-aware-crypto-tooling-agent from mirror 2026-07-19 21:50:07 +00:00

dcb48f453e warden cockpit: local read-only custody UI for the human operator

609aa2419a ESTATE.md: unname the private infrastructure layer (operator review)

0f094066f4 ESTATE.md: the one-page estate map (operator order 2026-07-19)

2587cc018b publish assets: sync the fail-open time bomb; llms/course/test docs refreshed (doc audit 2026-07-19)

Compare 4 commits »

saymrwulf synced commits to main at saymrwulf/lean-transparency-log from mirror 2026-07-19 18:50:14 +00:00

130d5b305a README: align the two remaining scope phrasings with the corrected homepage

saymrwulf synced commits to main at saymrwulf/proof-aware-crypto-tooling-agent from mirror 2026-07-17 21:30:10 +00:00

07302d9e66 paper: camera-ready title block — date only, no self-versioning

f8de7d9e6f paper v0.9: round-15 final patch — the frozen submission candidate

60f291bdf0 paper v0.8: readability pass — reader aids + two graphic bugs, zero semantic change

922e87b024 paper v0.7: round-14 fix batch — three GPT integration blockers closed; Opus concession recorded

8c7d8d0ca5 paper v0.6: round-13 fix batch — §5.4 rewritten; every verified finding closed

Compare 11 commits »

saymrwulf synced commits to main at saymrwulf/lean-transparency-log from mirror 2026-07-17 18:30:15 +00:00

52179bdaf1 verify.py: --all verifies every published receipt; binding fields required, not compare-if-present (round-12 GPT B4)

4e5c39b93c verify.py fail-closed + full receipt bindings; README drops the 'honesty'/'first' overclaim (review round 10)

dea415a60c README: log now attests its own accumulator machinery (entry 13, 2026-07-16)

Compare 3 commits »

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

74425b1a1d README: soften 'first' claim to 'unaware of a precedent', scope to the model (round-10 GPT §8)

ace5ba2071 docs: optimistic-accountability essay reflects entry 13 live (drill catch)

0fc2b59cbb README: status ATTESTED — LTL entry 13, live (12→13, root 3488a2d0)

25725e439a Runbook: COMPLETE — entry 13 appended and live (12→13, root 3488a2d0)

b61a38911c Runbook: drift-tolerant producer pin (Fable drill on the Opus Phase-B batch)

Compare 10 commits »

saymrwulf synced commits to main at saymrwulf/proof-aware-crypto-tooling-agent from mirror 2026-07-16 21:20:53 +00:00

b03ebdd773 README: transparency-log section notes entry 13 (self-attestation) + leaf scope block

84e0eb8c23 paper: reinvention outline (post second ePrint rejection)

8b1a325caa cleanup: remove dead _mentions_no_axioms (round-6 drill)

d937a94382 fix: the attestation LEAF now carries its own scope block (review round 6)

87ef2a1056 fix: fail-closed certificate classification + record-scoped axiom parsing (review round 6)

Compare 7 commits »

saymrwulf synced commits to main at saymrwulf/lean-transparency-log from mirror 2026-07-16 18:28:19 +00:00

1726e8ec01 log update: leaf 12 - attestation of ltl-accumulator-verified@172a1d0 (mechanized-model scope; KNOWN-GAPS 14/15)

saymrwulf synced commits to main at saymrwulf/ltl-accumulator-verified from mirror 2026-07-16 03:50:50 +00:00

172a1d0653 Round 5 (housekeeping): doc-consistency welded into the button; both round-4 approvals recorded

saymrwulf synced commits to main at saymrwulf/ltl-accumulator-verified from mirror 2026-07-15 03:40:50 +00:00

42e585ac37 Runbook: A3b (key backup) completed by operator, 2026-07-14

b7ab1811d7 docs: optimistic-accountability essay (rollup ↔ LTL mapping + what the tree actually holds); wired into runbook B7

Compare 2 commits »

saymrwulf synced commits to main at saymrwulf/ltl-accumulator-verified from mirror 2026-07-13 03:26:44 +00:00

301c7e9006 Runbook: A3 resolved (key located+confirmed, path kept private), A4 corrected (driver = pacta_provider CLI), A3b opened (key has no second copy)

7d58fe52c7 Runbook: B4 matches the real deploy anatomy; key + infra facts sharpened

0f0cb403cd Runbook A5: Forgejo mirrors are anonymously readable — no-SSH verification loop

fc913655ab Add ATTESTATION-RUNBOOK: the persisted, no-AI-required path to entry 13

2da0a79981 Review round 4: F1* absorbed (lied-size boundary), acceptCons_sound, kit reproducibility

Compare 5 commits »

saymrwulf synced commits to main at saymrwulf/ltl-accumulator-verified from mirror 2026-07-12 03:16:47 +00:00

9972ab4198 Review round 3: environment-derived audit surface, self-contained kit

260ad64511 revision round 1: address both external reviews (GPT-5.6 + second Claude)

6e56414fbc S8: CORPUS FROZEN for external review — statement map + known-gaps ledger

a3b8b3ecea S7 drill (2nd pass): pin the load-bearing gen/ instance cones; document audit surface

db45c0e33f S7 Fable re-audit: close the cone-audit COVERAGE gap (52/52), verify button by exit code

Compare 21 commits »

saymrwulf synced commits to main at saymrwulf/proof-aware-crypto-tooling-agent from mirror 2026-07-09 20:22:42 +00:00

a83c32447e remove ePrint submission kit from repo (moved to private local storage)

2dae2ca0db audit v3: paper-reality congruence + external-pointer integrity (Fable-5 Socratic pass)

78eea14512 paper: Socratic proof-rigor pass — close Lemma 2 gap, fix Step 3 object, argue §7 acyclicity

3700ed8a90 paper: Fable-5 rigor re-audit of the depth pass — fix 3 real defects

b7c8c58529 paper: depth pass to IACR standard (no padding) — 14->17pp

Compare 15 commits »

saymrwulf synced commits to main at saymrwulf/proof-aware-crypto-tooling-agent from mirror 2026-07-09 18:26:37 +00:00

d4c82d0efb paper: eprint kit — update page count 14→17 after depth+rigor passes

0441d0178a paper: Socratic proof-rigor pass — close Lemma 2 gap, fix Step 3 object, argue §7 acyclicity

eb69452d4c paper: Fable-5 rigor re-audit of the depth pass — fix 3 real defects

e928ac810d paper: depth pass to IACR standard (no padding) — 14->17pp

c240cfdc5f remove the pseudonymous paper entirely; fix stale v1-era surfaces (Fable 5 audit)

Compare 7 commits »

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

8dca658e38 docs: 'You hold the ruler' - customer-facing requirements-card box on the LTL page + WALLET.md

b340c3cf11 curriculum: lecture 11 - the customer's-eye view (requirements card, wish-meets-supply, grow-the-supply)

320e077b10 wallet-evidence: refresh to re-attested leaves 8-11 (reachable commits post history-rewrite)

Compare 3 commits »

saymrwulf synced commits to main at saymrwulf/lean-transparency-log from mirror 2026-07-08 17:26:40 +00:00

ec12dda9cb log update: leaves 8-11 - re-attestation of all four forks at rewritten repository histories (16/16 boundary-exact each; tree 8 -> 12)

saymrwulf synced commits to master at saymrwulf/swisspost-evoting-go-poc from mirror 2026-07-08 17:17:38 +00:00

3a2e24363f Add CHANGELOG (five story arcs) + blog-post draft for the cockpit

saymrwulf synced commits to main at saymrwulf/lean-transparency-log from mirror 2026-07-07 17:05:48 +00:00

4a63d6d194 Point the online-service URL at ltl.zkdefi.org