audit: classify 2 PA021 legitimate mathematical axioms (funext + Conflicts)#107

Merged

hyperpolymath merged 2 commits into

mainfrom

panic-fix/PA021-legitimate-axioms

May 26, 2026

Commits on May 26, 2026

audit: classify 2 PA021 legitimate mathematical axioms

hyperpolymath
and
claude
committed
fix: restore pre-existing FFI-boundary classifications (was overwritten)

hyperpolymath
and
claude
committed