saymrwulf

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

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

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

1b430dfd68 llbc: commit the artifact the claim depended on, and verify the pin block

851e976450 docs: seven bindings, not six — the documents were a phase behind again

73a92fad53 Phase 3c: declaration coverage in both directions, and the accounting identity

Compare 9 commits »

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

993cfb85d4 site: the homepage tells the truth about tree 19 — dual anchors, honest tooling, and a note to the paper's readers

0d83dc3ec1 web: publish the SLH-DSA verification key the same way as the Ed25519 one

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

962c0fdd41 verify.py template: check the additive SLH-DSA head signature, fail-closed where it counts

d28a5c080e provider: thread the optional SLH-DSA key pair through append/sth/publish

Compare 10 commits »

saymrwulf synced commits to main at saymrwulf/risc0-ed25519-verified from mirror 2026-08-07 20:59:58 +00:00

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

076e326331 docs: state the signing exclusion (round-7 review, ed-scope-exclusions-missing)

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

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

da04ac5cde lift-guard: eleven more classes, two of them regressions I introduced

Compare 15 commits »

saymrwulf synced commits to main at saymrwulf/verifying-crypto-with-lean from mirror 2026-08-07 20:59:58 +00:00

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

saymrwulf synced commits to main at saymrwulf/pasta-pallas-verified from mirror 2026-08-07 20:59:56 +00:00

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

saymrwulf synced commits to main at saymrwulf/dalek-ed25519-verified from mirror 2026-08-07 20:59:55 +00:00

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

fa22ececa7 docs: state the signing exclusion (round-7 review, ed-scope-exclusions-missing)

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

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

06aaa1f41f lift-guard: eleven more classes, two of them regressions I introduced

Compare 15 commits »

saymrwulf synced commits to main at saymrwulf/betrusted-ed25519-verified from mirror 2026-08-07 20:59:53 +00:00

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

128ad064ec docs: state the signing exclusion (round-7 review, ed-scope-exclusions-missing)

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

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

3910e7c35b lift-guard: eleven more classes, two of them regressions I introduced

Compare 15 commits »

saymrwulf synced commits to main at saymrwulf/anza-ed25519-verified from mirror 2026-08-07 20:59:52 +00:00

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

023961094e docs: state the signing exclusion (round-7 review, ed-scope-exclusions-missing)

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

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

a5ff873d3c lift-guard: eleven more classes, two of them regressions I introduced

Compare 15 commits »

saymrwulf synced commits to main at saymrwulf/lean-transparency-log from mirror 2026-08-07 20:59:34 +00:00

abad1b0aa1 hygiene: ignore __pycache__ (slipped into the publish commit)

3d7c125789 entries 13-18: re-attest the estate at 44 certs/fork + first SLH-DSA leaf; heads now dual-signed

Compare 2 commits »

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

cd3b1bc921 cockpit: the estate page now MEASURES instead of asserting

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

e8d7924113 verification: --audit-only mode, and the guard that keeps it from becoming evidence (T1)

afc545e408 verification: close the two-button seam and level up the scalar button (P0-b)

847613eb76 verification: pin the whole declaration surface (P1-b)

Compare 3 commits »

saymrwulf synced commits to main at saymrwulf/dalek-ed25519-verified from mirror 2026-07-30 20:18:23 +00:00

54a6720f7c verification: --audit-only mode, and the guard that keeps it from becoming evidence (T1)

2060d1d5a5 verification: close the two-button seam and level up the scalar button (P0-b)

55a688858c verification: pin the whole declaration surface (P1-b)

Compare 3 commits »

saymrwulf synced commits to main at saymrwulf/betrusted-ed25519-verified from mirror 2026-07-30 20:18:21 +00:00

a69a08cde6 verification: --audit-only mode, and the guard that keeps it from becoming evidence (T1)

06abaeff79 verification: close the two-button seam and level up the scalar button (P0-b)

3bad795029 verification: pin the whole declaration surface (P1-b)

Compare 3 commits »

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

049a6f6556 verification: --audit-only mode, and the guard that keeps it from becoming evidence (T1)

2b57db83a6 verification: close the two-button seam and level up the scalar button (P0-b)

a8998dd94b verification: pin the whole declaration surface (P1-b)

Compare 3 commits »

saymrwulf synced commits to refs/pull/10/merge at saymrwulf/anza-cryptography-source from mirror 2026-07-30 20:18:18 +00:00

ca701d2e7b Merge a7b121eccc into 5f8e70e636

5f8e70e636 Aeneas-compat: decompress step_2 negate-then-conditional-assign

Compare 2 commits »

saymrwulf synced commits to main at saymrwulf/ltl-accumulator-verified from mirror 2026-07-30 05:32:26 +00:00

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

b575e857e3 verification: bind statements and specification bodies (P1-a); un-stale the fidelity pin

Compare 2 commits »

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

f1a55721e5 ESTATE: the SLH-DSA rows said zero certificates; there are eleven

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

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

81a802f35b verification: bind the statements, the specifications, and the model (P1-a)

Compare 2 commits »

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

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

18abd45edb verification: bind the statements, the specifications, and the model (P1-a)

Compare 2 commits »

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

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

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

Compare 2 commits »