Commit graph

Select branches

Hide pull requests

main

Mono Color

• cb0f1efc27 coherence sweep: no private paths in public docs; dead /paper/v0.2 links repointed to git history; leaf-index numbering (doc-only) main mrwulf 2026-08-22 18:43:02 +0200
• e896ccfb9b docs: estate-wide consistency pass (workflow audit, 36 findings, all verified before fixing) mrwulf 2026-08-07 16:00:53 +0200
• 023961094e docs: state the signing exclusion (round-7 review, ed-scope-exclusions-missing) mrwulf 2026-08-06 20:54:44 +0200
• 3a89c3c5be verification: lifted phases run under the buttons shell options, enforced in lift-guard mrwulf 2026-08-04 12:58:28 +0200
• c78ca59651 verification: separate the two accounting questions (round-9 review, Claude N2) mrwulf 2026-08-04 03:17:05 +0200
• a5ff873d3c lift-guard: eleven more classes, two of them regressions I introduced mrwulf 2026-08-03 21:03:35 +0200
• 6a0a9b9fe6 lift-guard: close all nine classes the reviewer demonstrated mrwulf 2026-08-03 13:14:20 +0200
• 4348da50fe audit: bind the scalar statements, and make the accounting identity mean audit mrwulf 2026-08-03 12:15:26 +0200
• ffe15db155 correspondence: a named section is not a namespace; an extra axiom is a failure mrwulf 2026-08-02 21:29:54 +0200
• 6b79ac835c verification: derive lift dependencies instead of hand-keeping them mrwulf 2026-08-02 13:07:28 +0200
• 7cfa0872d4 Round-7 F1: make model/template correspondence SEMANTIC, and fail closed mrwulf 2026-08-02 02:24:15 +0200
• 15101f32bd Account for every constant the kernel sees, by set containment mrwulf 2026-08-01 16:10:59 +0200
• ee57493f26 P2-c: classify and pin the extraction boundary mrwulf 2026-07-31 17:53:31 +0200
• d4497bf555 P2-a': can a declaration hide from the inventory walker? mrwulf 2026-07-31 11:56:05 +0200
• 6aa9dd2f11 P2-a: attack the arithmetic/apex tier boundary itself mrwulf 2026-07-31 02:39:34 +0200
• a5c5a364fd verification: build hygiene, and the hidden dependency it exposed (P0-a) mrwulf 2026-07-30 22:54:03 +0200
• 049a6f6556 verification: --audit-only mode, and the guard that keeps it from becoming evidence (T1) mrwulf 2026-07-30 19:16:18 +0200
• 2b57db83a6 verification: close the two-button seam and level up the scalar button (P0-b) mrwulf 2026-07-30 12:30:28 +0200
• a8998dd94b verification: pin the whole declaration surface (P1-b) mrwulf 2026-07-30 01:20:17 +0200
• b3f4ee0d33 verification: pin the harness, the audit drivers and the policy files (P1-c) mrwulf 2026-07-29 20:12:58 +0200
• 21f80d29eb verification: bind the statements, the specifications, and the model (P1-a) mrwulf 2026-07-29 00:38:19 +0200
• d50bd2cf4c TRUSTED-BASE: record the kernel-side axiom gate and its residue mrwulf 2026-07-28 21:18:46 +0200
• c898ac4284 verification: kernel-side axiom-declaration gate (Phase 2b) + self-test mrwulf 2026-07-28 18:24:18 +0200
• 422a7fc18d check.sh: delete the compiled audit artifact, not just its source mrwulf 2026-07-28 17:31:54 +0200
• 25b73f1778 Coherence pass 4 (the closing pass): 4-tier apex documentation + hygiene mrwulf 2026-07-06 04:01:17 +0200
• c2cf269656 PHASE 2 COMPLETE ON ANZA: THE FULL POINT-LEVEL LIFT (verify_accepts_iff_decompress, button-enforced) mrwulf 2026-07-06 01:07:14 +0200
• e429447764 THE POINT-LEVEL VERIFICATION EQUATION on the anza fork: verify_accepts_iff_point_eq, button-enforced mrwulf 2026-07-05 19:25:56 +0200
• 0ae92c235b PHASE-2 HALF-LIFT on the anza fork: verify_accepts_iff_point, button-enforced mrwulf 2026-07-05 17:25:25 +0200
• eda04cdcf9 Coherence pass 3: post-apex accuracy sweep, hygiene, guard ladder mrwulf 2026-07-05 11:48:18 +0200
• 214a4cd3d6 THE SIGNATURE APEX on the anza fork: verify_accepts_iff, button-enforced mrwulf 2026-07-04 23:48:08 +0200
• 1841aa8b81 Merged gen: one CurveField universe (field + curve + scalar), both buttons green mrwulf 2026-07-04 23:15:54 +0200
• 4c331378fc NAF encoder proven end-to-end + the phase-1 double-scalar-mul apex mrwulf 2026-07-04 16:52:07 +0200
• 931126218e Double-scalar-mul proof campaign, bricks 1-3: table, digit step, loop mrwulf 2026-07-04 15:07:56 +0200
• de8bbf1e9e Double-scalar-mul enters the verified model: vartime_double_base extracted transparently mrwulf 2026-07-04 12:20:35 +0200
• 49859bf82f Hash-to-scalar PROVEN: from_bytes_wide_spec - Scalar::from_hash's reduction is exact mod l mrwulf 2026-07-04 11:00:49 +0200
• abb1045df3 Signature layer: the 64-byte unpack certificates (8x8 loops proven) mrwulf 2026-07-04 03:22:27 +0200
• 7dc6bdc40d Signature layer, first bricks: canonicity closure + hash-to-scalar foundation mrwulf 2026-07-03 23:18:31 +0200
• e9774e0753 Scalar layer complete: Montgomery reduction + full mul ported, scalarImplementation aggregate mrwulf 2026-07-03 21:36:35 +0200
• 681ce95293 scalar layer: add+sub fully proven mod l (port from dalek, own extraction) saymrwulf 2026-07-03 18:17:30 +0200
• adaf43dc61 lean-guard 3b: global-headroom clamp (sync with control master) saymrwulf 2026-07-03 17:51:15 +0200
• 37d83ab72b coherence pass 2: restore the one-button property, institutionalize audits saymrwulf 2026-07-03 12:54:27 +0200
• 6b22f9bfda coherence pass 1: TRUSTED-BASE scalar notes + both check-button docs mrwulf 2026-07-02 23:58:30 +0200
• 9594c9ff16 chore: sync lean-guard (LimitCORE removal) mrwulf 2026-07-02 21:28:19 +0200
• 8440b53bdc Add scalar-layer foundation (Scalar52 arithmetic mod ℓ) mrwulf 2026-07-02 21:19:58 +0200
• e4ffa4f624 lean-guard: disable core dumps (no more apport popups on capped aborts) mrwulf 2026-07-02 16:23:31 +0200
• 7f68a6447c controls: route all compiles through lean-guard (memory-capped, single-flight) mrwulf 2026-07-02 16:10:55 +0200
• 90c019b8d4 group-law layer: complete twisted Edwards addition law proven mrwulf 2026-07-02 15:04:25 +0200
• 7018fdc3a1 field layer: 14 proofs pass, fieldImplementation axiom-clean mrwulf 2026-07-02 14:42:46 +0200
• 3405423134 skeleton: proof-pyramid layout, honest status table, trusted-base doc mrwulf 2026-07-02 13:10:26 +0200