saymrwulf/betrusted-ed25519-verified
1
0
Fork 0
mirror of https://github.com/saymrwulf/betrusted-ed25519-verified.git synced 2026-09-04 20:24:08 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Commit graph

  • e999e45ae1 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:05 +0200
  • 7e0bac08c6 docs: estate-wide consistency pass (workflow audit, 36 findings, all verified before fixing) mrwulf 2026-08-07 16:00:54 +0200
  • 128ad064ec docs: state the signing exclusion (round-7 review, ed-scope-exclusions-missing) mrwulf 2026-08-06 20:54:45 +0200
  • 1a22d03b62 verification: lifted phases run under the buttons shell options, enforced in lift-guard mrwulf 2026-08-04 12:58:29 +0200
  • 15ef99fd50 verification: separate the two accounting questions (round-9 review, Claude N2) mrwulf 2026-08-04 03:17:05 +0200
  • 3910e7c35b lift-guard: eleven more classes, two of them regressions I introduced mrwulf 2026-08-03 21:03:35 +0200
  • 32a21f7d9f lift-guard: close all nine classes the reviewer demonstrated mrwulf 2026-08-03 13:14:20 +0200
  • fa3314930e audit: bind the scalar statements, and make the accounting identity mean audit mrwulf 2026-08-03 12:15:26 +0200
  • 2568e97410 correspondence: a named section is not a namespace; an extra axiom is a failure mrwulf 2026-08-02 21:29:54 +0200
  • 5707189ef5 verification: derive lift dependencies instead of hand-keeping them mrwulf 2026-08-02 13:07:28 +0200
  • ddb9532fbd Round-7 F1: make model/template correspondence SEMANTIC, and fail closed mrwulf 2026-08-02 02:24:15 +0200
  • 37941cd913 Account for every constant the kernel sees, by set containment mrwulf 2026-08-01 16:10:59 +0200
  • a764d773fe P2-c: classify and pin the extraction boundary mrwulf 2026-07-31 17:53:31 +0200
  • 054a35413a P2-a': can a declaration hide from the inventory walker? mrwulf 2026-07-31 11:56:05 +0200
  • 9f7e0ee594 P2-a: attack the arithmetic/apex tier boundary itself mrwulf 2026-07-31 02:39:34 +0200
  • f09aa2ca73 verification: build hygiene, and the hidden dependency it exposed (P0-a) mrwulf 2026-07-30 22:54:07 +0200
  • a69a08cde6 verification: --audit-only mode, and the guard that keeps it from becoming evidence (T1) mrwulf 2026-07-30 19:16:21 +0200
  • 06abaeff79 verification: close the two-button seam and level up the scalar button (P0-b) mrwulf 2026-07-30 12:30:30 +0200
  • 3bad795029 verification: pin the whole declaration surface (P1-b) mrwulf 2026-07-30 01:20:20 +0200
  • b55391bd29 verification: pin the harness, the audit drivers and the policy files (P1-c) mrwulf 2026-07-29 20:13:01 +0200
  • c848a490ff verification: bind the statements, the specifications, and the model (P1-a) mrwulf 2026-07-29 00:38:22 +0200
  • 5a9d4237dd TRUSTED-BASE: record the kernel-side axiom gate and its residue mrwulf 2026-07-28 21:18:50 +0200
  • 8d431c19da verification: kernel-side axiom-declaration gate (Phase 2b) + self-test mrwulf 2026-07-28 18:24:18 +0200
  • 5910ac9298 check.sh: delete the compiled audit artifact, not just its source mrwulf 2026-07-28 17:31:54 +0200
  • 7b9ef53e48 Coherence pass 4 (the closing pass): 4-tier apex documentation + hygiene mrwulf 2026-07-06 04:01:19 +0200
  • ee52d50e20 PHASE 2 COMPLETE ON BETRUSTED: THE FULL POINT-LEVEL LIFT (verify_accepts_iff_decompress, button-enforced) mrwulf 2026-07-06 01:53:39 +0200
  • c8540c3c9e THE POINT-LEVEL VERIFICATION EQUATION on the betrusted fork: verify_accepts_iff_point_eq, button-enforced mrwulf 2026-07-05 19:25:55 +0200
  • 81f6590670 PHASE-2 HALF-LIFT on the betrusted fork: verify_accepts_iff_point, button-enforced mrwulf 2026-07-05 16:57:57 +0200
  • 0ac1ad066a Coherence pass 3: post-apex accuracy sweep, hygiene, guard ladder mrwulf 2026-07-05 11:48:20 +0200
  • 9620cf5dd4 THE SIGNATURE APEX on the betrusted fork: verify_accepts_iff, button-enforced mrwulf 2026-07-04 22:49:19 +0200
  • b408df3765 Merge scalar into CurveField: one type universe, serial-only backend mrwulf 2026-07-04 22:20:26 +0200
  • 112036eb0d NAF encoder proven end-to-end + the phase-1 double-scalar-mul apex mrwulf 2026-07-04 16:52:10 +0200
  • 06a7c1e603 Double-scalar-mul proof campaign, bricks 1-3: table, digit step, loop mrwulf 2026-07-04 15:07:59 +0200
  • d6e879a764 Double-scalar-mul enters the verified model: vartime_double_base extracted transparently mrwulf 2026-07-04 12:20:39 +0200
  • 77262e0ea0 Hash-to-scalar PROVEN: from_bytes_wide_spec - Scalar::from_hash's reduction is exact mod l mrwulf 2026-07-04 11:00:52 +0200
  • 8ef2d6eb91 Signature layer: the 64-byte unpack certificates (8x8 loops proven) mrwulf 2026-07-04 03:22:29 +0200
  • a377ffc587 Signature layer, first bricks: canonicity closure + hash-to-scalar foundation mrwulf 2026-07-03 23:18:34 +0200
  • 1bbc70e5ce Scalar layer complete: Montgomery reduction + full mul ported, scalarImplementation aggregate mrwulf 2026-07-03 21:46:57 +0200
  • 422e91f270 scalar layer: add+sub fully proven mod l against THIS fork's v4 extraction saymrwulf 2026-07-03 18:45:17 +0200
  • 5086f25774 lean-guard 3b: global-headroom clamp (sync with control master) saymrwulf 2026-07-03 17:51:18 +0200
  • 201a63675c coherence pass 2: restore the one-button property, institutionalize audits saymrwulf 2026-07-03 12:54:30 +0200
  • 5697dd3245 coherence pass 1: TRUSTED-BASE scalar notes + both check-button docs mrwulf 2026-07-02 23:58:32 +0200
  • 6120f9bb17 Add scalar-layer foundation (Scalar52 arithmetic mod ℓ) mrwulf 2026-07-02 21:27:33 +0200
  • e4034e0880 group-law layer: complete twisted Edwards addition law proven mrwulf 2026-07-02 17:11:28 +0200
  • bdafbf94bf lean-guard: disable core dumps (no more apport popups on capped aborts) mrwulf 2026-07-02 16:23:31 +0200
  • c5b4930939 field layer: proofs pass, fieldImplementation axiom-clean mrwulf 2026-07-02 14:38:53 +0200
  • b85945f72f skeleton: proof-pyramid layout, honest status table, trusted-base doc mrwulf 2026-07-02 13:10:26 +0200