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

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

hyperpolymath merged 1 commit into

mainhyperpolymath/pons-asinorum:mainfrom

docs/plan-truth-adr0002-d4hyperpolymath/pons-asinorum:docs/plan-truth-adr0002-d4Copy head branch name to clipboard