saymrwulf/proof-aware-crypto-tooling-agent
1
0
Fork 0
mirror of https://github.com/saymrwulf/proof-aware-crypto-tooling-agent.git synced 2026-09-03 19:53:43 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Commit graph

  • 1086a3ba02 course refresh: the notebooks enter the SLH-DSA era main mrwulf 2026-08-22 21:18:01 +0200
  • 31a9dee10a coherence sweep wave 2 (mirror template): 'additive' aligned to site vocabulary in reader-facing lines; paper+DOI line added (findings 20,21) mrwulf 2026-08-22 18:41:42 +0200
  • 7e9e557187 coherence sweep wave 1 (pacta): the v0.11 era leaves ESTATE/llms/comments mrwulf 2026-08-22 18:40:11 +0200
  • 7cc5982af3 site: the paper card finally joins the redesign mrwulf 2026-08-22 15:18:26 +0200
  • 57ac2095c0 web: HEAD support — link checkers and unfurlers get 200+headers, not 501 mrwulf 2026-08-22 14:59:54 +0200
  • 03de38eaac the paper has a DOI: 10.5281/zenodo.22057482 (Zenodo, CC BY 4.0) — site card and paper README carry it mrwulf 2026-08-22 14:51:55 +0200
  • 469a962825 paper v0.15: the dichotomy named, the question aligned mrwulf 2026-08-17 13:40:39 +0200
  • ca2a59f8a7 site: the one argument opens the page — three sentences, the dilemma and our point between mrwulf 2026-08-17 13:27:05 +0200
  • 7a6499c452 paper v0.14: the full-document eye pass completes the referee round mrwulf 2026-08-17 12:54:08 +0200
  • 3b13fdbfde paper v0.13: the Green-persona approachability revision mrwulf 2026-08-17 11:53:40 +0200
  • 8ab1f85556 site polish: the last four coherence fixes (de-numbered claim binding, witness in plain words, R5 out of prose, legend without boundary-exact) mrwulf 2026-08-17 11:01:05 +0200
  • 4b45ece97b site: the term-coherence pass — every word defined before use, every table self-describing mrwulf 2026-08-17 10:58:56 +0200
  • 6fcaaaee42 site: the one-story card is gone; SHA-512 introduced where it first appears mrwulf 2026-08-17 10:46:42 +0200
  • c5268ef46c site language: 'additive' retired, sibling keys get sibling names mrwulf 2026-08-17 10:41:18 +0200
  • bcbf929045 receipt-verify checks the post-quantum co-signature — the tool now does what rung 2 promises mrwulf 2026-08-17 10:29:42 +0200
  • fdfe217d57 site css: long hashes wrap on narrow viewports (overflow-wrap:anywhere on code; pre capped at 100%) — no page-level horizontal scroll at any width mrwulf 2026-08-17 10:04:56 +0200
  • 42c244374a site rewrite v2 + OpenAPI: the undergrad-first page mrwulf 2026-08-17 10:02:06 +0200
  • 6c65a53775 site rewrite: the trust ladder is the page's spine mrwulf 2026-08-16 21:00:18 +0200
  • 6b16eee940 test: the key-section guard follows the corrected plural heading mrwulf 2026-08-16 20:55:07 +0200
  • 43d7f00930 site: the key section's heading now matches its content — two anchors, one required, one additive mrwulf 2026-08-16 20:47:07 +0200
  • 51a094182a site SVG: geometry that survives growth — adaptive leaf boxes, self-sizing head box mrwulf 2026-08-16 20:22:45 +0200
  • 2517d79f6e paper v0.12 + estate: one numbering, everywhere — 0-based leaf indices mrwulf 2026-08-16 20:04:44 +0200
  • 24809f8e4d paper: retire the reinvention outline from the public shelf (steering material; retrievable from git history) mrwulf 2026-08-16 20:00:20 +0200
  • b497b00c73 docs: the pre-Green full-scan repairs — ESTATE/llms/evidence to the 19-leaf world, leaf-index numbering unified, instruction traps closed mrwulf 2026-08-16 18:32:37 +0200
  • 5bea4c85cb evidence: name the capture honestly — STH at capture time (size 8), pointer to today's live state mrwulf 2026-08-16 18:20:04 +0200
  • 4e1cb19e06 site: the self-reference boast carries its own scope — verify path proven, signing never mrwulf 2026-08-16 17:37:22 +0200
  • f54e47778b site: the socratic round — every stale claim fixed, every printed command runs, first-use glosses mrwulf 2026-08-16 16:49:44 +0200
  • 810d6f47f1 paper form round: every defect from the socratic inspection fixed + check-paper.sh gate mrwulf 2026-08-16 15:27:56 +0200
  • 46a3094216 README: heads are dual-signed since size 14, log is at 19 leaves mrwulf 2026-08-16 13:44:06 +0200
  • 4f9e750eeb sweep the last v0.10 remnants out of comments and the paper README tail mrwulf 2026-08-16 13:19:13 +0200
  • 0e700841c6 paper v0.11: the paper catches up to the system it built mrwulf 2026-08-16 13:14:57 +0200
  • 8af6667756 site QA sweep: the paper section tells today's truth, old drafts retired mrwulf 2026-08-15 21:43:08 +0200
  • 03c9dabf36 paper v0.10: post-review revision — the freeze is over, the queue ships mrwulf 2026-08-15 14:17:03 +0200
  • 840e3fba2c paper folder: signpost which file is current (operator decision 2026-08-08: keep drafts + note) mrwulf 2026-08-08 18:44:13 +0200
  • be282ab724 paper: remove the explainer — operator-private material, relocated mrwulf 2026-08-07 23:48:44 +0200
  • 6c587b572b paper: plain-language explainer for paper 1 and the upcoming paper 2 mrwulf 2026-08-07 23:45:20 +0200
  • 993cfb85d4 site: the homepage tells the truth about tree 19 — dual anchors, honest tooling, and a note to the paper's readers mrwulf 2026-08-07 18:11:42 +0200
  • 0d83dc3ec1 web: publish the SLH-DSA verification key the same way as the Ed25519 one mrwulf 2026-08-07 17:55:46 +0200
  • b232265264 docs: estate-wide consistency pass (workflow audit, 36 findings, all verified before fixing) mrwulf 2026-08-07 16:00:54 +0200
  • 962c0fdd41 verify.py template: check the additive SLH-DSA head signature, fail-closed where it counts mrwulf 2026-08-07 15:16:58 +0200
  • d28a5c080e provider: thread the optional SLH-DSA key pair through append/sth/publish mrwulf 2026-08-07 13:22:41 +0200
  • ab629f34d8 replay: compile the certificate corpus, not the button's instruments; forks attest 44 mrwulf 2026-08-07 10:24:35 +0200
  • 3a7a56c4e5 config: fips205-slhdsa-verified entry — certificates and cones measured from its manifest mrwulf 2026-08-07 09:22:58 +0200
  • a03662438a slhdsa: the post-quantum signing path (deterministic, parameter-locked, additive) mrwulf 2026-08-06 22:03:39 +0200
  • 16040b79f5 quorum: pacta-verify-slhdsa — the SLH-DSA head-checker built from the proven source mrwulf 2026-08-06 21:52:56 +0200
  • 5e35a533e1 dogfood: anchor the signer path to the package, not the working directory mrwulf 2026-08-04 18:10:59 +0200
  • cd3b1bc921 cockpit: the estate page now MEASURES instead of asserting mrwulf 2026-07-30 18:24:31 +0200
  • f1a55721e5 ESTATE: the SLH-DSA rows said zero certificates; there are eleven mrwulf 2026-07-29 20:33:09 +0200
  • ddbb5a4fd8 fix(verify_consistency): restore RFC 9162 Step-7 terminal sn==0 check fix/consistency-terminal-check mrwulf 2026-07-23 18:34:23 +0200
  • fd2f6baa36 estate: the SLH-DSA (FIPS 205) campaign enters the map — two new entities vulnerable/sn0-consistency-fd2f6ba mrwulf 2026-07-22 22:02:39 +0200
  • aff1c32fc5 notebooks + README: wire the teaching stack to the newest edge mrwulf 2026-07-21 18:15:57 +0200
  • 37429335e6 docs: coherence + portability audit — clean-clone bootstrap proven mrwulf 2026-07-21 18:00:08 +0200
  • 1d712a884a cockpit: the lab manual — a study-club course in six chairs (/manual) mrwulf 2026-07-21 17:26:09 +0200
  • 15421ac4d0 cockpit: the deck — tmux-style pane grid + the color-camouflaged wizard mrwulf 2026-07-21 17:04:23 +0200
  • a18877612d cockpit: the bridge — six role stations, the crew law, live liveness mrwulf 2026-07-21 16:47:43 +0200
  • 00be6a396e cockpit: UX law — the cockpit never leaves a human in the dark mrwulf 2026-07-21 16:15:00 +0200
  • b3239dba45 cockpit: --demo flag — one command from zero, custody-inert mrwulf 2026-07-21 15:09:26 +0200
  • 1acbaa1a76 cockpit: estate map as a fifth view, with RUNTIME as a first-class dimension mrwulf 2026-07-20 10:58:59 +0200
  • dcb48f453e warden cockpit: local read-only custody UI for the human operator mrwulf 2026-07-19 18:02:17 +0200
  • 609aa2419a ESTATE.md: unname the private infrastructure layer (operator review) mrwulf 2026-07-19 16:56:47 +0200
  • 0f094066f4 ESTATE.md: the one-page estate map (operator order 2026-07-19) mrwulf 2026-07-19 16:51:20 +0200
  • 2587cc018b publish assets: sync the fail-open time bomb; llms/course/test docs refreshed (doc audit 2026-07-19) mrwulf 2026-07-19 13:10:55 +0200
  • 07302d9e66 paper: camera-ready title block — date only, no self-versioning mrwulf 2026-07-17 22:43:19 +0200
  • f8de7d9e6f paper v0.9: round-15 final patch — the frozen submission candidate mrwulf 2026-07-17 22:20:42 +0200
  • 60f291bdf0 paper v0.8: readability pass — reader aids + two graphic bugs, zero semantic change mrwulf 2026-07-17 19:23:08 +0200
  • 922e87b024 paper v0.7: round-14 fix batch — three GPT integration blockers closed; Opus concession recorded mrwulf 2026-07-17 18:15:28 +0200
  • 8c7d8d0ca5 paper v0.6: round-13 fix batch — §5.4 rewritten; every verified finding closed mrwulf 2026-07-17 15:01:45 +0200
  • ec9f085615 paper v0.5: B6 executed — accountability games + explicit composition theorem (IACR track) mrwulf 2026-07-17 13:31:51 +0200
  • 78d785d303 paper v0.4: round-12 fix batch — both reviews absorbed, every blocker verified before fixing mrwulf 2026-07-17 11:19:46 +0200
  • 2f24a0b96c paper v0.3: anonymize the external-consumer study (operator review) mrwulf 2026-07-17 09:57:57 +0200
  • e716c24698 paper v0.3: absorb the five queued author items GPT's compression dropped mrwulf 2026-07-17 09:42:45 +0200
  • b305bdbcb1 paper v0.3: the reinvention — accountable distribution of machine-checked evidence mrwulf 2026-07-17 09:39:04 +0200
  • 172472af41 webdocs homepage: dynamic proven/total pill + 6 scope corrections (round-10 GPT §2/§3/§5/§6/§9/§10) mrwulf 2026-07-16 23:46:31 +0200
  • b03ebdd773 README: transparency-log section notes entry 13 (self-attestation) + leaf scope block mrwulf 2026-07-16 20:40:21 +0200
  • 84e0eb8c23 paper: reinvention outline (post second ePrint rejection) mrwulf 2026-07-16 19:09:29 +0200
  • 8b1a325caa cleanup: remove dead _mentions_no_axioms (round-6 drill) mrwulf 2026-07-16 15:54:26 +0200
  • d937a94382 fix: the attestation LEAF now carries its own scope block (review round 6) mrwulf 2026-07-16 15:25:19 +0200
  • 87ef2a1056 fix: fail-closed certificate classification + record-scoped axiom parsing (review round 6) mrwulf 2026-07-16 15:15:58 +0200
  • 0f5906cf94 examples/repos.yaml: ltl-accumulator-verified entry (entry-13 attestation config) mrwulf 2026-07-16 11:08:01 +0200
  • 34a04572f0 fix: axiom-output parser mis-attributed cones to axiom-free certificates mrwulf 2026-07-16 11:04:59 +0200
  • 3d81d5380c paper v4.3: Batch A — six reader-driven hardening edits (18->19pp) mrwulf 2026-07-10 23:14:45 +0200
  • 2793364623 paper v4.2: visual PDF inspection pass — fix broken hyphenation minima mrwulf 2026-07-10 20:53:43 +0200
  • b17b23b40d paper v4.1: pre-submission fixes from second-Fable final check mrwulf 2026-07-10 13:17:50 +0200
  • 6cf1694453 paper v4: merge of two independent hostile reviews (17->18 pages) mrwulf 2026-07-10 10:34:21 +0200
  • a83c32447e remove ePrint submission kit from repo (moved to private local storage) mrwulf 2026-07-09 22:06:51 +0200
  • 2dae2ca0db audit v3: paper-reality congruence + external-pointer integrity (Fable-5 Socratic pass) mrwulf 2026-07-09 21:33:28 +0200
  • 78eea14512 paper: Socratic proof-rigor pass — close Lemma 2 gap, fix Step 3 object, argue §7 acyclicity mrwulf 2026-07-09 20:02:51 +0200
  • 3700ed8a90 paper: Fable-5 rigor re-audit of the depth pass — fix 3 real defects mrwulf 2026-07-09 19:46:11 +0200
  • b7c8c58529 paper: depth pass to IACR standard (no padding) — 14->17pp mrwulf 2026-07-09 19:27:13 +0200
  • c6b46d5505 remove the pseudonymous paper entirely; fix stale v1-era surfaces (Fable 5 audit) mrwulf 2026-07-09 18:18:27 +0200
  • ba1c739a0e paper v2 canonical + versioned hosting; pin-store proposition now true mrwulf 2026-07-09 18:02:59 +0200
  • 1a7d377c6b sthstore: equivocation poisons the pin + retains transferable evidence mrwulf 2026-07-09 17:53:13 +0200
  • 2f67f14054 docs: 'You hold the ruler' - customer-facing requirements-card box on the LTL page + WALLET.md mrwulf 2026-07-07 22:32:27 +0200
  • ea80c99244 curriculum: lecture 11 - the customer's-eye view (requirements card, wish-meets-supply, grow-the-supply) mrwulf 2026-07-07 22:16:05 +0200
  • 736e1eceb7 wallet-evidence: refresh to re-attested leaves 8-11 (reachable commits post history-rewrite) mrwulf 2026-07-07 21:24:29 +0200
  • 920485eb83 web: unlisted operator-dropped documents from <log>/site/ mrwulf 2026-07-07 14:17:39 +0200
  • 5e8eba8e52 lineup: treasury LIVE, 100 tests mrwulf 2026-07-07 13:39:27 +0200
  • 65772b3d2e warden hardening round: policy engine, ledger rotation, MCP UX, treasury LIVE, ops docs mrwulf 2026-07-07 13:38:42 +0200
  • b867ec2342 paper: ORCID 0009-0004-8008-5805 in author block; ePrint kit updated mrwulf 2026-07-07 10:39:50 +0200
  • d4872b140a paper: position the two-disciplines bridge explicitly (intro, 2 sentences) mrwulf 2026-07-07 10:06:12 +0200