Skip to content

fix(proofs): NaN-safe trust base, estate proof-debt ledger, POSIX-sh gate port (follow-up to #18; closes #4) - #19

Merged
hyperpolymath merged 9 commits into
mainfrom
arena/01a10472-lol
Oct 4, 2026
Merged

fix(proofs): NaN-safe trust base, estate proof-debt ledger, POSIX-sh gate port (follow-up to #18; closes #4)#19
hyperpolymath merged 9 commits into
mainfrom
arena/01a10472-lol

docs(proofs): record first-green CI evidence in POSTULATE-AUDIT Phase 4

76bda5e
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar