不規則圖形測量方法論：測量層補全與架構修正
文件性質：對《不規則圖形計算方法論（DCV）》與《減法拓撲學（EML-TOPO-SUB）》之間缺口的補全與修正稿 提出者／方法擁有者：Neo.K（許筌崴） 測量層補全與架構修正：Theia 版本：completion v0.1 前置依賴：DCV（雙環消矩測積法 v0.1）、減法拓撲學 v3.2（Lean 4 已關閉）、虛擬外接圓設定
0. 這份補全在補哪一個洞
DCV 給了公式 A = (V_L+V_R)/(4πR)，數學乾淨，但留下兩個沒合攏的缺口：
- 循環性：數位版要算 V_L 必須先有遮罩，而遮罩本身就是面積。驗證腳本更是直接用 A 合成 V_L 再還原 A，只證了
A=A。 - 測量層空缺：公式說「面積等於兩個體積和除以 4πR」，但沒說那兩個體積在真實世界怎麼被量到、而不必先知道面積。
這份補全的主張是：這兩個缺口其實是同一個缺口，根源是把「計算」和「測量」混成了一件事。 拆開它們，循環性消失，測量層自然浮現。
1. 架構修正：方法不是一個版本，是兩個
| 計算機版 | 數學／物理版 | |
|---|---|---|
| 輸入 | 已可枚舉的遮罩 χ_D | 邊界曲線，或一個真實物體 |
| 本質 | 計算（表示轉換） | 測量（從物理量反推） |
| 交付物 | 形狀指紋（矩譜 ⊕ 條碼） | 面積／矩，相對校準標準件 |
| 循環性 | 不是問題（見 §1.1） | 可消除（見 §3） |
| 虛擬圓 | 不需要 | 需要（當校準錨） |
1.1 計算機版：循環性是個假問題
數位版被判循環，是因為它宣稱自己「測量面積」。但它根本沒有測量任何東西——它把一個已經給定的表示（遮罩），轉換成另一個表示。轉換不需要「不知道答案」這個前提。
修正只有一句：不要宣稱它測面積，宣稱它算指紋。 面積 A = M₀₀ 確實是遮罩免費奉送的；但矩譜的高階項（M₁₀, M₂₀, …）與拓撲條碼（H₀, H₁ 的生滅區間）不是免費的——它們要加權積分、要持續同調計算。一個輸入算不出來的東西，談不上循環。
於是計算機版的交付物從「面積」升級為「形狀指紋」，面積只是指紋裡最退化的一格。像素計數能給你面積；它給不了你指紋。這就是計算機版存在的理由，而它一旦這樣定位，循環性指控當場失效。
1.2 數學／物理版：這裡才有真正的測量
只有當圖形不是以可枚舉遮罩給出時，「測量」才成立。兩種非枚舉輸入：
- 邊界曲線：用格林定理從邊界積分讀面積。非循環，但重新繼承邊界脆弱性——鋸齒、近分形邊界會讓誤差集中在邊界。對當初逼出這專案的那種鋸齒圖，這條路不穩。
- 真實物體：用物理基底替你積分內部（秤重、排水、透光）。基底不枚舉、不追邊界，直接吐出一個純量。這是非循環測量的真正棲地，也是 §3 補的測量層。
2. 虛擬圓：定位拍板
圓的角色，在上一輪兩個選項中取甲、否乙：
取（甲）三個合法職能：
- 外接證人。任意有界圖形存在最小外接圓（最小包覆圓，標準結果）。令圓半徑 r，取旋轉軸距 R > r，DCV 的「軸在圖形外」前提對任意有界圖形構造性成立。圓是讓 DCV 敢宣稱「適用任意有界圖形」的存在引理。
- 校準標準件。圓的面積 πr²、圓繞外軸的雙環體積和
4πR·πr²，皆為閉式、解析已知、不靠枚舉。圓因此是把儀器原始讀數換算成面積的標準砝碼。 - 減法 K₀。圓是乾淨、已知質量的複形頂點；任何被它包住的圖形，都是從圓出發的減法軌跡上的一點。
否（乙）：圓不是徑向座標。 圓能包住任何圖形，但只有星形區域才有單值 r(θ)。鋸齒帶凹陷的圖形非星形，射線多次穿邊界，r(θ) 多值崩潰。任何「圓內 r(θ) 描述邊界」的版本，會死在它本來要解決的圖形上。包住 ≠ 座標化。
3. 測量層補全：類比雙梯度儀（DCV 的真正身體）
把 DCV 的「旋轉」脫掉，留下它的本體——一對互補權重場 w_± = R ± x。旋轉只是這對權重場的一種插圖；真正可造的測量裝置直接施加權重場。
3.1 裝置原理
以透射式為例（遮罩版同理）：
- 把圖形做成孔徑（內容區透光、空白區與背景遮光）。
- 施加一道沿 x 線性變化的照明：強度正比於
(R + x)。讓光穿過孔徑，落在單一積分式光偵測器上。偵測器回報總通量：Q_+ = ∫_D (R + x) dA - 翻轉梯度為
(R − x)，再測一次：Q_- = ∫_D (R − x) dA
偵測器從頭到尾不知道遮罩——光子替你積分，輸出兩個純量。
3.2 讀出
- 和消去梯度，留下面積：
Q_+ + Q_- = 2R ∫_D dA = 2R·A - 差消去常項，留下一階矩：
Q_+ − Q_- = 2 ∫_D x dA = 2·M_x
這就是雙環消矩在物理層的真身：梯度的對稱抵消，不是數學把戲，是兩次相反曝光的物理疊加。
3.3 圓校準（非循環的關鍵一步）
對同一台儀器、同一個 R，量一個半徑 r 的圓孔徑：
Q_+^C + Q_-^C = 2R·πr²（閉式已知）
於是把圖形的讀數對圓的讀數作比：
A = πr² · (Q_+ + Q_-) / (Q_+^C + Q_-^C)
面積由兩組物理純量之比得出，沒有任何一步預設了內部枚舉。這是非循環測量——儀器吐純量，圓給標尺，面積是兩者的商。Neo.K 口袋裡那個「實際怎麼量」的方法，形式化後就站在這裡。
3.4 推廣到矩譜
換更高階的梯度濾片 w = R ± x^k，同一台儀器讀出 M_{k0}；x、y 兩方向各做一次，得 M₀₀, M₁₀, M₀₁, M₂₀, M₀₂, M₁₁……圖形被壓成一組矩，成為可比較、可重建的形狀指紋。面積只是 M₀₀。
4. 空白區與內容區：押後兩次的洞，這裡關帳
洞不再需要「另外處理」，因為兩條讀頭天生各自處理它：
- 物理層：洞是不透光（或與內容區透光性相反）的區域，照明穿不過，偵測器自動不計入。
Q_±只積分到內容區。洞的排除是光學事實，不是公式補丁。 - 拓撲層：洞是減法過濾中 H₁ 條碼的生滅區間。每個洞有它的出生與死亡，被條碼當一等公民記下。你不「扣掉」洞，你讀洞。
A(D) = A(外輪廓) − Σ A(洞ᵢ) 仍成立，但它現在是條碼結構的後果，不是手工修正。
5. 減法拓撲搭接：一條軌跡，兩個讀頭
把整套接到減法拓撲學：
- 虛擬圓 = K₀：乾淨、已知質量／面積的起點。
- 圖形 = 從圓出發的減法軌跡上的一點：
A(圖形) = πr² − (被減掉的)。 - 一次毀滅，兩本帳：同一條 V 軌過濾，一邊掛 DCV 的消矩讀頭（幾何矩譜），一邊掛持續同調的條碼讀頭（拓撲指紋）。終點 ∅ 是呈現層的空；其本體投影（對偶讀法）仍是完整的圓。
- 對偶分軌：V 軌（真的把圖形量到耗盡、不可逆）由本方法管；d 軌（建一個零損耗的可逆視圖）由拓撲微積分管。要「可重測的測量」，先 d 軌快照，再 V 軌測量。
度量誠實聲明：減法拓撲學是無度量的——它數面不量面，質量 m 是單形個數不是面積。要把 m 變回面積，必須替每個單形乘上幾何面積再加總，那一步就是積分、就是枚舉，循環從度量這扇門復活。所以搭接買到的不是「面積純量的非循環」，是「測量目標的升級」：把退化的 M₀₀ 換成不退化的「矩譜 ⊕ 條碼」。面積純量的非循環，只在 §3 的物理測量裡，不在拓撲層。
6. 誠實邊界表
| 場景 | 循環？ | 交付物 | 備註 |
|---|---|---|---|
| 數位遮罩 → 面積 | 是（但無害） | 重新定位為計算 | 不要叫它測量 |
| 數位遮罩 → 矩譜⊕條碼 | 否 | 形狀指紋 | 高階項與條碼非免費 |
| 邊界曲線 → 格林面積 | 否 | 面積 | 邊界脆弱，鋸齒圖不穩 |
| 物理孔徑 → 雙梯度＋圓校準 | 否 | 面積、矩譜 | §3，非循環測量的真正棲地 |
| 拓撲質量 m → 面積 | 是（度量門復活） | —— | m 無度量，勿直接當面積 |
7. 下界必要條件（本補全新增）
一個自稱「測量」（而非計算）的不規則圖形方法，至少要滿足：
- 代理量 Q 的取得不預設內部逐點枚舉（否則它是計算，不是測量）；
- 存在一個解析已知的校準標準件（此處為虛擬圓），把 Q 的原始單位換算成面積；
- 洞的排除有明確的表示層機制（光學透不透、遮罩 0/1、條碼 H₁），不是事後手扣；
- 交付物的資訊階講清楚：你交的是 M₀₀ 一個數，還是整組矩譜⊕條碼。
違反第 1 條卻自稱測量，就是 DCV 數位版當初的病；違反第 4 條，就是拿最貴的路回收最廉價的量。
附錄：最小公式集（補全版）
外接圓： 任意有界 D ⟹ ∃ 最小外接圓 (中心 c, 半徑 r)；取 R > r
物理讀數： Q_+ = ∫_D (R+x) dA, Q_- = ∫_D (R−x) dA
面積（和）： Q_+ + Q_- = 2R·A
一階矩（差）： Q_+ − Q_- = 2·M_x
圓校準： Q_+^C + Q_-^C = 2R·πr²
面積反推： A = πr² · (Q_+ + Q_-)/(Q_+^C + Q_-^C)
矩譜推廣： w = R ± x^k ⟹ 讀出 M_{k0}
洞： 內容 = H₀/M₀₀；洞 = H₁ 條碼生滅區間
搭接： 圓 = 減法 K₀；A(D) = πr² − (被減掉)
附錄：一句話版本
不規則圖形的面積，不是被算出來的，是被一台不認得它形狀的儀器、在一個你已知大小的圓的見證下，量出來的；而面積，只是這場測量順手吐出的第一個、也最不重要的數。