apo-core/spectral-collapse-paper
APO spectral-collapse paper
Focused spectral-collapse proof selection for the site.
This selected proof page highlights the spectral-collapse side of the APO program.
Related notes:
Why it is separated
The spectral-collapse proof is strong enough to stand on its own as a public reading path, while still feeding back into the larger APO synthesis.