ABI Layer 2: prove forbidden actions are never permitted (ethical safety) — flagship Idris2 proof#33

hyperpolymath merged 1 commit into

mainhyperpolymath/phronesiser:mainfrom

claude/new-session-znxgm7hyperpolymath/phronesiser:claude/new-session-znxgm7Copy head branch name to clipboard