測度閉包三審定案：兩次 Audit 失敗之後，GPIVR 主載體與 Scope-Relative MeasureClosure(S)=1

Phase I（測度）由 R001 開局：對固定 (X,p) 建立不依賴 polarization 選擇的 Measure Core v1 𝔐₀(X,p)，內容是 Hodge candidate dimension flag d_{X,p}=(b_{2p}, h^{p,p}, r_{X,p})、integral Hodge lattice Λ_X^p 及其 lattice-normalized canonical Haar measure μ_{X,p}^lat、complementary Poincaré pairing ι_{X,p} 與其 duality-defect group Δ_{X,p}^H；R002–R004 再補上不需度量的算術同餘塔 HCDS、偏極化不變的 primitive multiplicity，以及 monodromy 作用在整個 ambient cohomology（而非只在固定 Hodge sector）上的 orbit occupancy。R005 是第一次 MeasureClosure Audit，結果是 FAIL：取一條無 CM 與一條有 CM 的橢圓曲線 E_nCM、E_CM，兩者在 R001–R004 量到的資料——dimension flag 皆為 (1,1,1)、duality defect 皆平凡、HCDS 皆空、primitive profile 皆相同、（constant family 下）monodromy occupancy 也相同——完全無法區分，但 Mumford–Tate group 不同：MT(E_nCM)=GL_2，MT(E_CM)=Res_{K/Q}G_m 為二維 torus；這個差異在單一 E 上不可見，卻在僅僅一步的 self-product 放大 E→E² 後立刻現形為可觀測的 Hodge 類維度分歧——ρ(E_nCM²)=3，ρ(E_CM²)=4。R005 因此正式設定 MeasureClosure=0，判定為 Type M 缺陷，缺失軸命名為 Hodge Tensor Symmetry（𝔖_HT）。R006 以 graded cohomological Mumford–Tate group G_X^coh 與有限 tensor witness depth 補上這個缺口。但 R007 是第二次 Audit，再度 FAIL：取同一 basepoint λ₀ 上的兩個 elliptic family——常值 family E_λ0×U→U，與限制在單連通圓盤 U⊂C∖{0,1} 上的 Legendre family y²=x(x−1)(x−λ)——兩者 monodromy 皆平凡（Γ=1，因 U 單連通），basepoint 處的 R001–R006 全部資料（含 G_X^coh，因兩者 basepoint fiber 本就同為 E_λ0）也完全相同，但 period map 導數不同：dΦ_const=0，而 dΦ_Leg≠0（由 j(λ) 在 λ₀ 處 dj≠0 保證，只需避開 j′ 的有限零點集），證明 monodromy 加上 Mumford–Tate symmetry 仍不足以決定 variation geometry。R007 因此再度設定 MeasureClosure=0，缺失軸命名為 variation geometry（period／VHS motion）。R008 以 Filtered Gauss–Manin Presentation（FGMP）修補：雖然證明沒有任何統一的有限 jet 階數能對所有 family 封閉 period motion（對每個 N 都存在與 constant family 在 basepoint 有相同 N-jet、卻實際非定常的 family），但對每一個固定的 smooth projective family，variation geometry 本身可由有限秩、有限 presentation 的 filtered Gauss–Manin 系統表示。第三次 Audit R009 才真正通過：本輪把 R001–R008 全部壓進一個 master source carrier——Graded Polarized Integral VHS Ring Carrier（GPIVR），即對 family π:X→S 每個 cohomological degree k（0≤k≤2n）同時攜帶 integral local system H_Z^k、algebraic de Rham bundle H_dR^k、Gauss–Manin connection ∇^k、Hodge filtration F^•、polarization Q^k，再加上 graded cup product ⌣、unit 1、trace tr，與由所選 relative ample line bundle L 給出的 Lefschetz class ℓ=c_1(L)；R009 證明 GPIVR 是有限型 differential-algebraic generator（不是窮舉無限 period values），並逐一驗證它能重建 R005 的 CM／non-CM 區別（經由 pointwise Hodge structure 與其 tensor symmetry，即 End_HS H^1(E) 的差異）與 R007 的 constant／Legendre 區別（經由 F^• 作為 flat bundle 中的變動子叢），因此兩個既有反例都被同一個載體吸收，不再需要各自獨立的 axis。R009 正式區分 GPIVR 為 scope 內唯一的「source carrier」，HCDS、primitive rotation locus、monodromy occupancy、G_X^coh、FGMP 等全部降格為由 GPIVR 導出的「compiled carriers」，保留只是為了計算與搜尋效率。closure 的宣告限定在一個明確 scope S：smooth projective complex algebraic varieties 及其 over finite-type complex algebraic bases 的 smooth projective algebraic families，允許 fixed fiber、cohomological degree change、integral/rational comparison、Poincaré duality、cup product、relative ample class（polarization）選擇、primitive Lefschetz decomposition、congruence reduction、products/tensor powers、duals/Tate twists、monodromy、deformation/period motion、Hodge loci，以及有限 tuple 的 joint Hodge-tensor symmetry，共十四項操作；但明確排除 algebraic cycle 的存在性、Chow groups、rational equivalence、作為實際 cycle 的 algebraic correspondences、Abel–Jacobi images、由 cycle 產生的 normal functions、complements 的 mixed Hodge structures、singular varieties、open varieties、motivic realizations，以及作為獨立 legality carrier 的 derived categories——這些一旦成為必要工具，屬於 Phase II 或必須觸發明確 backtrack。在此 scope 下，本輪正式設定 MeasureClosure(S)=1。 MeasureClosure(S)=1 是一個 scope-relative flag，R009 §32 明文強調它不是「數學中所有與 Hodge 相關的資料都已完備」的 universal mathematical completeness statement——它只對前述明確列出的 scope S 成立，一旦超出（例如 singular/open varieties、complements 的 mixed Hodge structures、motivic realizations，或 algebraic cycle 的存在性本身）就必須另開新的 backtrack round，不能直接套用。closure 也不表示計算變簡單：R009 §33 明言，即使 MeasureClosure(S)=1 成立，求 Mumford–Tate group、求 period map、找 Hodge loci、處理大型 tensor representation 仍可能極難；closure 代表的是「資訊類型已足夠」，而不是「演算法成本已低」。最重要的一點在 §34：closure 不表示霍奇猜想已接近證明。GPIVR 能完美判定一個 class α 是否落在 H^{p,p}∩H^{2p}(X,Q) 之中，也就是是否為 Hodge candidate；但它完全不會告訴我們是否存在代數 cycle Z 使 [Z]=α——這個存在性問題正是 Phase II（Legitimacy）留給下一頁的內容。用 R009 自己的話說，Measure Closure 真正做到的，只是把「候選是什麼」與「候選是否有 algebraic witness」徹底分離；從 R009 起，Measure 問題預設凍結，除非出現真正新的 Type M 缺陷，否則不得因為找到一個新的數值不變量就回頭延長 Phase I。