saymrwulf/pasta-pallas-verified
1
0
Fork 0
mirror of https://github.com/saymrwulf/pasta-pallas-verified.git synced 2026-09-04 20:03:39 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Commit graph

  • f13707254f docs: estate-wide consistency pass (workflow audit, 36 findings, all verified before fixing) main mrwulf 2026-08-07 16:00:54 +0200
  • c864ad5afe lean-guard: Guard 3a retry ladder (coherence pass 3, estate-wide guard update) mrwulf 2026-07-05 11:48:48 +0200
  • 0108ead90f lean-guard 3b: global-headroom clamp (sync with control master) saymrwulf 2026-07-03 17:51:19 +0200
  • bb21b8ab0f coherence pass 2: institutionalize the kernel axiom audit saymrwulf 2026-07-03 12:54:49 +0200
  • 3719156140 pasta field FOUNDATION proven + honest status; check.sh green mrwulf 2026-07-02 20:16:07 +0200
  • 9da0902640 pasta field WIP: add/const/reduce/mul spec drafts + memory-lean discharge mrwulf 2026-07-02 17:23:44 +0200
  • 7d7bc25353 lean-guard: disable core dumps (no more apport popups on capped aborts) mrwulf 2026-07-02 16:23:31 +0200
  • 75ae21df06 pasta field: foundation + helper + sub/neg proofs against REAL extraction mrwulf 2026-07-02 15:51:57 +0200
  • 14e6b74814 skeleton: proof-pyramid layout, honest status table, trusted-base doc mrwulf 2026-07-02 13:10:26 +0200