Skip to content

proof(ordinal): Fidelity scaffold — typed shape of BH order-type fidelity, hard half as named postulates - #218

Merged
hyperpolymath merged 1 commit into
mainfrom
claude/quirky-gauss-GaGZo
Jun 14, 2026
Merged

proof(ordinal): Fidelity scaffold — typed shape of BH order-type fidelity, hard half as named postulates#218
hyperpolymath merged 1 commit into
mainfrom
claude/quirky-gauss-GaGZo

proof(ordinal): Fidelity scaffold — typed shape of BH order-type fide…

acd0605
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar