全域性型別與命題域分層

Paper 00 的直接延伸。主張「全域」常被當成單一強度詞使用,實際上量化的是完全不同的軸(時間、空間、資料類別、邊界、外力、參數、解的概念、正則性、方程族、表示法、證明系統、物理實現)。建立 Globality Typing Principle:全域性是型別化的側寫(profile),不是布林值或可全序排列的單一強度。定義 ScopeContract(Q)與 11 軸的 GProf(Q) 全域性側寫。以 NS 為第一個域分層測試案例,區分 formal/Clay NS、physical NS realization、generalized NS-like family 三域,任何跨域的定理升格都必須攜帶明確證書,不能只靠方程表面相似。