工程紀錄 v0.9 2026-07-25 EXACT_SYNTHETIC_FAMILY_ONLY

佔用算子族與覆蓋式 Green 證書

Occupancy Operator Family v0.9 — 不再把未知零點位置塌縮成單一 scalar count,而是保留位置不確定性,用精確有理數證明整族允許位置(半徑 2×10⁻¹⁵)的算子聯合正定;同時誠實量化出跟浮點直覺尺度間約 8 兆倍的證明預算落差。

RH_CLAIM = False — 包內文件自報 exact_synthetic_occupancy_family=true、conditional_abstract_clamped_family=true,但 actual_zeta_occupancy_family=false、global_rh_certificate=false,原樣照登。

連接 · Connections

本包把上一包發現的「位置量詞」問題正式建成三層可重播物件,原樣照引其誠實落差。

「浮點對抗角點診斷在 cell 半徑 0.016 時仍得到門檻約 1.0004702,在 0.017 時約為 0.9880614。這不是 universal certificate,但顯示精確微半徑與浮點局部尺度之間約有 8×10¹² 的 proof-budget gap。」— 摘自本包 README「本輪精確結果」。

上一節點 · v0.8零點計數係數語義橋

下一節點 · v1.0局部區間 Green 位置覆蓋