Skip to content

docs: make PROOF-PROGRESS true, amend ADR-0002 OPAQUE triggers, record D4 - #44

Merged
hyperpolymath merged 1 commit into
mainfrom
docs/plan-truth-adr0002-d4
Sep 30, 2026
Merged

docs: make PROOF-PROGRESS true, amend ADR-0002 OPAQUE triggers, record D4#44
hyperpolymath merged 1 commit into
mainfrom
docs/plan-truth-adr0002-d4

docs: make PROOF-PROGRESS true, amend ADR-0002 OPAQUE triggers, recor…

2709497
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar