Skip to content

Re-audit the assurance boundary; repair the Agda tree so it actually compiles - #221

Merged
hyperpolymath merged 11 commits into
mainfrom
arena/f0f5fe9a-valence-shell
Nov 1, 2026
Merged

Re-audit the assurance boundary; repair the Agda tree so it actually compiles#221
hyperpolymath merged 11 commits into
mainfrom
arena/f0f5fe9a-valence-shell

docs: close the drift the audit claimed to have closed

283ea25
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar