saymrwulf/fips205-slhdsa-verified
1
0
Fork 0
mirror of https://github.com/saymrwulf/fips205-slhdsa-verified.git synced 2026-09-03 19:53:49 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Commit graph

  • 65211a8775 docs: dated-record clarity for the pre-Green scan — attestations that have since occurred say so; leaf-index numbering unified main mrwulf 2026-08-16 18:32:40 +0200
  • a693d288fb docs: estate-wide consistency pass (workflow audit, 36 findings, all verified before fixing) mrwulf 2026-08-07 16:00:54 +0200
  • d44b70d806 verification: separate the two accounting questions (round-9 review, Claude N2) mrwulf 2026-08-04 03:17:05 +0200
  • 1b430dfd68 llbc: commit the artifact the claim depended on, and verify the pin block mrwulf 2026-08-03 20:36:19 +0200
  • 851e976450 docs: seven bindings, not six — the documents were a phase behind again mrwulf 2026-08-03 17:53:31 +0200
  • 73a92fad53 Phase 3c: declaration coverage in both directions, and the accounting identity mrwulf 2026-08-03 17:34:00 +0200
  • a2cb720dc4 docs: say what the button enforces today, and where each check stops mrwulf 2026-08-03 16:35:12 +0200
  • f2f262ae90 Phase 3b: a kernel-side axiom gate, because the environment walk has a blind spot mrwulf 2026-08-03 15:57:48 +0200
  • 7ebf9495d3 correspondence: keep the artifact that says what the model must answer mrwulf 2026-08-03 15:49:16 +0200
  • c80c2bba5b provenance: name the pin the machine actually enforces mrwulf 2026-08-03 15:28:57 +0200
  • 0d680333e3 re-pin source @ a3ce8e8 (extraction-script honesty fixes) and rotate extract.sh's harness pin mrwulf 2026-07-28 14:42:46 +0200
  • 05c4412168 round 8: self-deriving harness pins, honest extraction guarantees, attestation basis mrwulf 2026-07-28 14:40:39 +0200
  • 1bc4f39f35 round 7: assert pin-map completeness (NEW-13), correct the count to 137, fix the regeneration-scope contradiction mrwulf 2026-07-28 13:03:35 +0200
  • 1e50295619 TypesExternal: correct a header that described a type the file no longer contains mrwulf 2026-07-28 10:16:57 +0200
  • 476f669f5c bridge: re-pin to the NIST-ACVP source commit; state the real coverage numbers mrwulf 2026-07-28 09:46:29 +0200
  • e6ffd16277 review round 6: pin the auditor, purge every olean, pin gen/ as a set mrwulf 2026-07-28 09:22:12 +0200
  • dce0473013 review round 5: bind the policy, the specification bodies, and the harness mrwulf 2026-07-27 22:57:46 +0200
  • 45a2f65a2d review round 4: bind the cert set, statements, and model bytes (F1/F2/F3) mrwulf 2026-07-27 19:47:39 +0200
  • 337e5e9481 RECORDED-RUN: operator-executed independent session (round-3 blocker lands) mrwulf 2026-07-27 15:07:49 +0200
  • 62d7ed1209 lean-guard: surface clamp/kill diagnostics on stderr (operator incident 2026-07-24) mrwulf 2026-07-24 21:37:05 +0200
  • 77d6b2c195 review round 3: close the two nonblocking nits mrwulf 2026-07-24 21:31:05 +0200
  • 522d8b2092 review round 2: in-Lean exact-cone audit + reproducibility + doc honesty mrwulf 2026-07-24 19:13:55 +0200
  • eb1d9f108a review round 1: fix the fail-open audit gate + remove the overclaimed framing mrwulf 2026-07-24 16:55:10 +0200
  • bd58cea87f README: apex status — verify-path pyramid complete, 11 certificates mrwulf 2026-07-24 10:15:54 +0200
  • 2e48d9c6d0 phase 2: THE APEX — slh_verify_128s accepts iff recomputed root = pk_root mrwulf 2026-07-24 09:58:06 +0200
  • c7c750f945 README: six layers / ten theorems; no plumbing axioms on the verify path mrwulf 2026-07-24 09:01:50 +0200
  • c28effd85e phase 2: INPUT-PREP — base_2b outer-loop fidelity (Algorithm 4) mrwulf 2026-07-24 08:59:09 +0200
  • 015f467954 phase 2: INPUT-PREP layer — to_int, to_byte, WOTS+ checksum (3 kernel-3 certs) mrwulf 2026-07-24 08:55:34 +0200
  • e3f68b2473 phase 2: FIFTH CERTIFICATE — FORS pk-from-sig (Algorithm 17), inner + outer loops mrwulf 2026-07-23 23:56:56 +0200
  • 2267e04d10 phase 2: FOURTH CERTIFICATE — hypertree layer walk (Algorithm 12) + de-plumbing mrwulf 2026-07-23 17:14:21 +0200
  • 0fa36c7258 phase 2: THIRD CERTIFICATE — XMSS auth-path Merkle loop (Algorithm 10) mrwulf 2026-07-23 16:18:44 +0200
  • 3a70ee050a drill: the post-flight drill becomes a button (drill.sh) mrwulf 2026-07-23 15:36:00 +0200
  • a0d69f029b post-flip drill over the WOTS+ certificate: HELD; one rotted gate fixed mrwulf 2026-07-23 15:07:07 +0200
  • 184d4e92a2 doc: README status line 'One' -> 'Two certificates' mrwulf 2026-07-23 14:49:10 +0200
  • 84cd00d377 phase 2: SECOND CERTIFICATE — WOTS+ chain loop (Algorithm 8) proven mrwulf 2026-07-23 14:48:39 +0200
  • e8fc83ba50 post-flip drill over the chain certificate: HELD; audit gates now self-tested mrwulf 2026-07-23 14:34:42 +0200
  • cfd50bbe64 phase 2: FIRST CERTIFICATE — chain (Algorithm 5) proven, button green mrwulf 2026-07-23 11:34:59 +0200
  • 8890beb159 meta-drill over the previous drill: one false claim caught, substance held mrwulf 2026-07-23 11:07:03 +0200
  • a2d8e5f4d5 phase 2 WIP: chain proof — both increment lemmas PROVEN, one plumbing sorry mrwulf 2026-07-23 09:38:54 +0200
  • ce2d38832c post-flip drill over phase-2 window: all claims held; one doc upgrade mrwulf 2026-07-23 09:01:06 +0200
  • d6e4d938de phase 2 WIP: chain (Alg 5) spec — fold defined, base case proven mrwulf 2026-07-23 00:00:53 +0200
  • bde63f53ed phase 2 step 1: de-plumb the u32 range-loop machinery mrwulf 2026-07-22 23:54:03 +0200
  • bc8ea78570 audit catch 3: state the per-layer allowed axiom set precisely mrwulf 2026-07-22 23:03:33 +0200
  • f1603bea87 audit catch 2: the oracle boundary is FIVE, not six mrwulf 2026-07-22 23:02:40 +0200
  • 7acd4ec7c6 audit pass: refresh extract.sh phase-1 wording (post-flip drill) mrwulf 2026-07-22 23:02:05 +0200
  • 53c5b45e3f Phase 1: clean extraction + type-checking SLH-DSA-SHA2-128s model mrwulf 2026-07-22 22:21:19 +0200
  • 31f00fe756 SLH-DSA (FIPS 205) campaign skeleton: honest zero-certificate state mrwulf 2026-07-22 21:00:57 +0200