軸缺口與覆蓋共同設計

連接 · Connections

本包檢驗能不能用軸缺口解除上一包留下的阻擋,原樣照引其結論。

「齊次缺口的 E0 單調性障礙。若加入缺口後的函數空間 V′⊆V,則原本已在 V 上做的 PSD Gram 搜尋已包含 V′。因而單靠 G(a)=0 或 G′(a)=0 縮小空間,不可能創造原問題沒有的 primal feasible point。」— 摘自本包 README,三個結論之一。

技術說明

主文件 — 峰值圖譜、齊次 notch 的子空間論證、外部頻譜 lift 飽和、多項式 bump 幾何篩選、密集互補審計、三支線停止決策與轉向理由。

結果數據

五帶峰值圖譜、notch screen、外部 lift、27 組幾何篩選表、密集互補審計,來自包內 RESULTS.md。

信任邊界

來自包內 TRUST_BOUNDARY.md。

檔案 · Files

大型篩選數據(notch_screen.json、peak_atlas.json 等,各數十 KB)跟上一包繼承的 witness 沒有逐一列出,都在完整 zip 裡。

sha256 920b3357aa4abb89422ce0cdfea70f6e59f7b97feb6f9c04e2f9edb8228aa9d9