Axis Gap and Cover Co-Design

Connections

This package tests whether the axis notch can remove the blockage left by the previous package, quoting its conclusion as-is.

"The E0 monotonicity obstacle of homogeneous notches. If the function space after adding the notch is V′⊆V, then the PSD Gram search already performed on V encompasses V′. Therefore, simply shrinking the space via G(a)=0 or G′(a)=0 cannot create a primal feasible point that did not exist in the original problem." — Excerpt from the README of this package, one of the three conclusions.

Technical Notes

Main document — Peak spectrum, subspace argument for homogeneous notch, external spectrum lift saturation, polynomial bump geometric filtering, dense complementary audit, three-branch stopping decisions, and reasons for pivoting.

Result Data

Five-band peak spectrum, notch screen, external lift, 27 sets of geometric filtering tables, and dense complementary audit, from RESULTS.md in the package.

Trust Boundaries

From TRUST_BOUNDARY.md within the package.

Files

Large screening data (notch_screen.json, peak_atlas.json, etc., tens of KB each) and the witness inherited from the previous package are not listed individually, but are all included in the full zip.

sha256 920b3357aa4abb89422ce0cdfea70f6e59f7b97feb6f9c04e2f9edb8228aa9d9