saymrwulf

saymrwulf synced commits to main at saymrwulf/anza-ed25519-verified from mirror 2026-07-29 20:14:30 +00:00

b3f4ee0d33 verification: pin the harness, the audit drivers and the policy files (P1-c)

21f80d29eb verification: bind the statements, the specifications, and the model (P1-a)

Compare 2 commits »

saymrwulf synced commits to main at saymrwulf/fips205-source from mirror 2026-07-29 03:41:05 +00:00

a3ce8e8644 extract script: state what is actually guaranteed, and by what

c945821bf9 vectors: make the extraction re-derivable and the provenance claim literally true

3153988c4e tests: NIST ACVP SHA2-128s verification KATs + a real differential bridge

Compare 3 commits »

saymrwulf synced commits to main at saymrwulf/fips205-slhdsa-verified from mirror 2026-07-29 03:41:02 +00:00

0d680333e3 re-pin source @ a3ce8e8 (extraction-script honesty fixes) and rotate extract.sh's harness pin

05c4412168 round 8: self-deriving harness pins, honest extraction guarantees, attestation basis

1bc4f39f35 round 7: assert pin-map completeness (NEW-13), correct the count to 137, fix the regeneration-scope contradiction

1e50295619 TypesExternal: correct a header that described a type the file no longer contains

476f669f5c bridge: re-pin to the NIST-ACVP source commit; state the real coverage numbers

Compare 6 commits »

saymrwulf synced commits to main at saymrwulf/verifying-crypto-with-lean from mirror 2026-07-28 20:11:57 +00:00

640b81c1e5 ch13: The Attestation Protocol — who checks the checker?

saymrwulf synced commits to main at saymrwulf/risc0-ed25519-verified from mirror 2026-07-28 20:11:55 +00:00

13d974ba03 TRUSTED-BASE: record the kernel-side axiom gate and its residue

521ae59283 verification: kernel-side axiom-declaration gate (Phase 2b) + self-test

eebeb98c65 check.sh: delete the compiled audit artifact, not just its source

Compare 3 commits »

saymrwulf synced commits to main at saymrwulf/dalek-ed25519-verified from mirror 2026-07-28 20:11:47 +00:00

93d62703f3 TRUSTED-BASE: record the kernel-side axiom gate and its residue

9eb3beabc4 verification: kernel-side axiom-declaration gate (Phase 2b) + self-test

2f182afd64 check.sh: delete the compiled audit artifact, not just its source

Compare 3 commits »

saymrwulf synced commits to main at saymrwulf/betrusted-ed25519-verified from mirror 2026-07-28 20:11:43 +00:00

5a9d4237dd TRUSTED-BASE: record the kernel-side axiom gate and its residue

8d431c19da verification: kernel-side axiom-declaration gate (Phase 2b) + self-test

5910ac9298 check.sh: delete the compiled audit artifact, not just its source

Compare 3 commits »

saymrwulf synced commits to main at saymrwulf/anza-ed25519-verified from mirror 2026-07-28 20:11:38 +00:00

d50bd2cf4c TRUSTED-BASE: record the kernel-side axiom gate and its residue

c898ac4284 verification: kernel-side axiom-declaration gate (Phase 2b) + self-test

422a7fc18d check.sh: delete the compiled audit artifact, not just its source

Compare 3 commits »

saymrwulf synced commits to main at saymrwulf/fips205-slhdsa-verified from mirror 2026-07-28 03:31:04 +00:00

dce0473013 review round 5: bind the policy, the specification bodies, and the harness

45a2f65a2d review round 4: bind the cert set, statements, and model bytes (F1/F2/F3)

337e5e9481 RECORDED-RUN: operator-executed independent session (round-3 blocker lands)

Compare 3 commits »

saymrwulf synced commits to main at saymrwulf/fips205-source from mirror 2026-07-25 03:07:38 +00:00

797b4ef263 reproducibility: commit Cargo.lock + pin rust-toolchain (review round 2)

bea105195b helpers: de-plumb round 2 — to_int & base_2b iterators to index loops

Compare 2 commits »

saymrwulf synced commits to main at saymrwulf/fips205-slhdsa-verified from mirror 2026-07-25 03:07:36 +00:00

62d7ed1209 lean-guard: surface clamp/kill diagnostics on stderr (operator incident 2026-07-24)

77d6b2c195 review round 3: close the two nonblocking nits

522d8b2092 review round 2: in-Lean exact-cone audit + reproducibility + doc honesty

eb1d9f108a review round 1: fix the fail-open audit gate + remove the overclaimed framing

bd58cea87f README: apex status — verify-path pyramid complete, 11 certificates

Compare 9 commits »

saymrwulf synced commits to main at saymrwulf/ltl-accumulator-verified from mirror 2026-07-24 04:52:18 +00:00

9f406557fb KNOWN-GAPS 14: record closure of the consistency-verifier seam

saymrwulf synced commits to main at saymrwulf/fips205-source from mirror 2026-07-24 03:02:22 +00:00

6f6a9d65e7 verify_mono: de-plumb Result/iterator idioms (8 sites, semantics identical)

saymrwulf synced commits to main at saymrwulf/fips205-slhdsa-verified from mirror 2026-07-24 03:02:19 +00:00

e3f68b2473 phase 2: FIFTH CERTIFICATE — FORS pk-from-sig (Algorithm 17), inner + outer loops

2267e04d10 phase 2: FOURTH CERTIFICATE — hypertree layer walk (Algorithm 12) + de-plumbing

0fa36c7258 phase 2: THIRD CERTIFICATE — XMSS auth-path Merkle loop (Algorithm 10)

3a70ee050a drill: the post-flight drill becomes a button (drill.sh)

a0d69f029b post-flip drill over the WOTS+ certificate: HELD; one rotted gate fixed

Compare 12 commits »

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

ddbb5a4fd8 fix(verify_consistency): restore RFC 9162 Step-7 terminal sn==0 check

saymrwulf synced commits to refs/tags/vulnerable/sn0-consistency-fd2f6ba at saymrwulf/proof-aware-crypto-tooling-agent from mirror 2026-07-23 22:12:19 +00:00

saymrwulf synced new reference refs/tags/vulnerable/sn0-consistency-fd2f6ba to saymrwulf/proof-aware-crypto-tooling-agent from mirror 2026-07-23 22:12:19 +00:00

saymrwulf synced commits to fix/consistency-terminal-check at saymrwulf/proof-aware-crypto-tooling-agent from mirror 2026-07-23 22:12:18 +00:00

saymrwulf synced new reference fix/consistency-terminal-check to saymrwulf/proof-aware-crypto-tooling-agent from mirror 2026-07-23 22:12:18 +00:00

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

fd2f6baa36 estate: the SLH-DSA (FIPS 205) campaign enters the map — two new entities