EveMissLab Phase Canon v1.2
IPFC-Integrated Canon of Typed Phase Structures, Identity Roles, and Module Composition
版本: v1.2
日期: 2026-08-15
狀態: CURRENT CANON — supersedes v1.1
Audit basis: 5 batches / 238 claim-level judgments
Canonical architecture: Phase Canon v1.2 → IPFC Core Papers 01–05 → Phase Modules;GPC-CS / PCPRT 為主要 realized/safety branches;IPFC Paper 06 為 application track
核心規則: No type jump without a map.
v1.2 IPFC Integration Amendment
Phase Canon v1.2 為 IPFC integration release。它不撤銷 v1.1 的五批 audit,也不改寫既有 PH-0…PH-6 的 primary type taxonomy;它新增第二型別軸、identity/lineage 接口與 Phase Module governance,使未來「X 相位/相位 X」不再各自重造底層。
v1.2 的最高新增結構是:
其中:
- :phase 是什麼結構型;
- :phase 相對 identity 扮演什麼角色;
- :Phase Module;
- :evidence / validation status。
因此:
同一 PH type 可在不同 identity criterion 下具有不同 IF role。
v1.2-A1 — Identity Criterion
任何 IPFC / Phase Module claim 必先明示:
表示 identity criterion。
它回答:
哪些 states 被視為同一個研究對象/載體/語義身份/系統?
沒有 時,不得無條件使用「same identity」「identity transition」「identity preservation」。
v1.2-A2 — Identity Projection
定義:
identity fiber:
它與 phase extractor:
是兩個不同投影。
因此:
且:
v1.2-A3 — IF-0…IF-4 Identity-Role Types
v1.2 新增與 PH-0…PH-6 正交的第二型別軸。
IF-0 — Presentation / Gauge Role
phase/change 只作用於 presentation/index/gauge;resolved state 不變。
典型條件:
IF-1 — Intra-Identity State Role
state 真正改變,但 identity 保持:
IF-2 — Holonomic / Path Role
closed path 後 state/phase 不回原點,但 identity 保持:
IF-3 — Inter-Identity Relational Role
phase 描述不同 identities / carriers / candidates 間的 relation:
IF-4 — Identity-Lineage Transition Role
dynamics 跨 identity fiber:
或在 branching case 使用 relation / graph / stochastic kernel。
v1.2-A4 — Double-Typing Rule
任何進入現行 Canon 的新 phase module,原則上應標:
若 IF role 與研究問題無關,可明示:
IF role not claimed / not analyzed
而不是默認某個 identity 結論。
因此:
只說「generalized relational phase」的結構型;
它不能單獨告訴我們該 relation 是:
- same-identity drift;
- holonomy;
- cross-identity alignment;
- identity split。
v1.2-A5 — Identity-Preserving Dynamics
若:
則 dynamics 保持每個 identity fiber:
反之亦然。
這是 IPFC 的 Fiber Invariance Theorem,成為 v1.2 identity preservation 的 canonical test。
v1.2-A6 — Lineage Factorization Gate
若 identity 可改變,不再用「phase drift」含糊處理。
對:
deterministic lineage:
存在且可下推,要求:
若此條件失敗,單值 lineage 不存在;改用:
- relation-valued lineage;
- branching lineage graph;
- stochastic kernel。
v1.2-A7 — Holonomy Gate
v1.2 禁止把一般 endpoint difference 稱為 holonomy。
要使用:
至少需:
- context/index/path space;
composable transport family: $$ T_{\gamma_2\circ\gamma_1}
T_{\gamma_2}T_{\gamma_1}; $$- closed path:
若聲稱 same-identity holonomy,另需:
若 identity 改變,應進 IF-4 lineage,而不是 IF-2 holonomy。
v1.2-A8 — Phase Module
現行通用 phase module:
其中:
v1.1 的 Realization Record:
不被撤銷;它現在成為 中 physical realization / validation 的專門子紀錄。
v1.2-A9 — Canon-Admissible Module
新的「X 相位/相位 X」若要進 current Canon,至少回答:
- Domain ?
- Identity criterion ?
- State space ?
- Identity projection ?
- PH type?
- IF role?
- Phase space ?
- Extractor ?
- Dynamics / transport?
- Observable / task ?
- Identity transition 時 lineage?
- Physical claim 時 realization ?
- Falsification ?
只改名:
不構成新 phase mechanics。
v1.2-A10 — Phase Module Morphism
兩 modules:
若要合法跨域搬運 claim,至少要求相應 diagrams 交換。
identity:
phase:
dynamics:
observable:
若聲稱 physical realization,再加 physical square。
因此:
v1.2-A11 — Defect Ledger
approximate module mapping 不得只寫「大致對齊」。
至少分列:
在 Lipschitz 條件下,composition 需有 defect bound,例如:
v1.2-A12 — Universal Fiber-Factorization Principle
v1.2 將多條既有定理統一為:
若某高層量要在 quotient / coarse-graining / observation / phase coordinate 上良定義,它必須在被壓掉的 fibers 上保持常數或具有相應 consistency。
形式:
給:
高層量:
可寫成:
當且僅當:
此原理統一:
- PCPRT closure;
- phase factorization;
- identity lineage factorization;
- semantic identity recoverability;
- task sufficiency;
- identity observability;
- Phase Module quotient。
v1.2-A13 — Contract / Replacement Rule
Phase Module 可以帶:
sequential composition 只有在 upstream guarantee 足以滿足 downstream assumption 時才可直接繼承 guarantee。
若上層 proof 依賴 identity preservation、zero holonomy、lineage correctness 或 realization margin,這些必須明寫於 guarantee,而不能只寫 output correctness。
v1.2-A14 — Type-Elevation Gate v2
v1.1:
在 v1.2 保持最高禁則,並升級為:
PH-5 / PH-6 若要升格 PH-0,仍需:
IPFC / PMC 的存在不降低 physical-elevation 門檻。
v1.2-A15 — Continuity Is Evidence, Not Identity
對 AI / carrier / semantic lineage:
特別是 threshold relation:
一般不具傳遞性,因此不得無條件作 identity equivalence。
v1.2-A16 — Branching Identity Rule
真正 fork / split:
不得強迫寫成單值 lineage。
普通 numerical identity 若保有傳遞性,也不能同時把 distinct branches 都當成同一個 predecessor 的 numerical identity。
因此 branch / merge topology 應留在 lineage layer。
v1.2-A17 — First-Person Non-Inference Boundary
IPFC 可以建立:
- operational identity;
- carrier identity;
- semantic identity;
- lineage;
- continuity evidence;
- provenance。
但這些不自動建立:
因此:
除非未來另有獨立 theory / observability bridge。
此規則只限制過度推論,不否定任何特定 personal-identity 哲學理論。
v1.2 Canonical Publication Rules — Superseding Rule 1 and Extending Rules 2–5
Rule 1 — Double type declaration
新 phase module 第一次出現「相位」時,標:
或明示 IF role 不在 claim scope。
Rule 2 — Identity declaration
若文件使用:
- same identity;
- identity-preserving;
- identity transition;
- lineage;
必給:
Rule 3 — Holonomy declaration
使用 holonomy 時必給:
Rule 4 — Physical elevation
沿用 v1.1,PH-5 / PH-6 升 PH-0 需 explicit realization record。
Rule 5 — Module record
跨域 phase claim 優先附:
Rule 6 — Defect accounting
approximate mapping / realization / composition 必分列 relevant defects。
Rule 7 — Lineage declaration
identity-changing dynamics 必給 functional / relational / stochastic lineage model。
Rule 8 — Evidence and formalization status
至少分:
- definition;
- hand-proved theorem;
- machine-verified theorem;
- empirical result;
- effective model;
- benchmark proposal;
- engineering hypothesis;
- ontology/conjecture。
Rule 9 — Falsification
每個強 claim 仍必寫 downgrade / refutation condition。
Rule 10 — Provenance preservation
沿用 v1.1:retired / superseded claim 不刪除,但不得當 current Canon 引用。
v1.2 Canonical Minimal Test Suite
對任一新 phase module,至少問:
Test A — PH Type
它是 PH-0…PH-6 哪一型?
Test B — Identity / IF Role
identity criterion 是什麼?IF-0…IF-4 哪一型?
Test C — Fiber
被 quotient / coarse-grain / observe 掉的 fiber 是否藏有不同 target property?
Test D — Closure
phase/state/identity-level dynamics 是否真正閉合?
Test E — Transport / Holonomy
若使用 path language,transport 是否可組合?closed loop 是否真的存在?
Test F — Observability
phase / identity / safety claim 是否可由 observation map 判定?
Test G — Necessity / Ablation
移除 phase mechanics 後 prediction / control / explanation 是否真的變差?
Test H — Specificity
效果是否其實由 amplitude、rate、common drive、material state、task stage 或 hidden variable 解釋?
Test I — Lineage
identity 變化是否具有合法 functional / relational / stochastic lineage?
Test J — Realization
physical claim 是否有 、physical dynamics 與 realization defect?
Test K — Composition
跨 module claim 是否有 morphism / contract / defect ledger?
Test L — Falsification
什麼結果會讓 claim 降級、改型或撤回?
v1.2 Canonical Research Architecture
現行總結構更新為:
其中:
Phase Canon
治理:
- PH types;
- evidence;
- realization;
- type jumps;
- publication rules。
IPFC Core Papers 01–05
治理:
- identity fiber;
- PH × IF;
- semantic/domain phase;
- transition / lineage;
- carrier identity safety;
- Phase Module Calculus。
IPFC Paper 06 and later applications
屬 application track。
它們可以新增 domain results / benchmarks / governance schemas,但不自動改動 Core definitions。
v1.2 Updated Open Problems
O1 — A∩B Welding Theorem
保留。
O2 — Phase Coherence Persistent Homology
保留。
O3 — Generalized-Phase Geometry
由單純「找一個 metric」升級為:
針對不同 PH-5 / PH-6 modules,何時存在 task-invariant metric、connection、transport 或 manifold structure?
O4 — Cross-Substrate Benchmark
保留,並要求以 Phase Module / Defect Ledger 格式報告。
O5 — IPFC / PMC Machine Formalization
形式化:
- Fiber Invariance;
- Lineage Factorization;
- Phase Module Morphism;
- Module Quotient;
- Approximate Composition;
- Fork No-Go。
O6 — Semantic Holonomy Benchmark
translation / multi-agent / ontology round-trip 是否存在可重現 nonzero loop residual?
O7 — Carrier Identity Benchmark
semantic success、functional success、carrier identity preservation 是否實際可分離?
O8 — Identity Lineage Benchmark
fork / restore / merge / progressive replacement 的 criterion-relative lineage record。
O9 — Neural–Semantic Module Bridge
是否能建立:
而不把 neural phase 直接等同 meaning?
O10 — Contracted Phase Modules
研究 assume–guarantee / open-system composition 如何完整納入 identity、lineage、phase defects 與 physical realization。
v1.2 Closure Amendment
v1.1 的:
仍有效,但 v1.2 的現行最高形式擴張為:
最重要的三條禁則:
中文:
沒有映射,不得跳型;沒有傳輸,不得談 Holonomy;沒有身份準則與譜系,不得把狀態變化直接叫身份轉換。
v1.1 Audit Amendment
Phase Canon v1.1 保留 v1.0 的 PH-0…PH-6 分型、realization map、fiber principle、phase fate、GPC / PCPRT bridge。
五批 audit 新增以下 mandatory constraints。
A1 — Renaming Rule
A2 — Algorithmic Phase Necessity Rule
對 PH-5 / PH-6:
若:
phase 可保留作 nomenclature,但不得宣稱為必要 computational primitive。
A3 — Frequency-Coincidence Guard
A4 — Biological Evidence Ladder
A5 — Medical Boundary
A6 — Engineering Phase Boundary
A7 — Grounding Rule
A8 — Language Qualification Rule
A9 — Topology Boundary
topology → phase 的 canonical bridge 優先採:
A10 — Provenance Rule
Audit Statistics
總計:
claim-level judgments。
| Canonical category | Count |
|---|---|
| KEEP | 80 |
| REPAIR / REFRAME | 29 |
| CONJECTURE / BENCHMARK | 33 |
| RETIRE | 91 |
| HISTORICAL / OPEN | 5 |
Canonical Evidence Status
C0 — HISTORICAL
歷史來源/哲學 provenance。
C1 — CONJECTURE
已明確定義,但尚缺驗證。
C2 — RESEARCH-READY
具有 well-defined objects、measurable/computable observables 與 falsification condition。
C3 — EFFECTIVE-VALIDATED
在指定 domain / task / dataset 上經 benchmark 或實驗支持。
C4 — CAUSAL / REALIZED
具有 causal intervention 或 explicit physical realization:
C5 — CANONICAL
表示:在現行 Phase Canon 中可作為其他文件的預設上游結構,且適用域與 evidence boundary 已明示。
Canonical Research Stacks After Audit
- Physical Phase Realization
- Phase-Coherence TDA
- Weighted Infinite Oscillators
- Persistent-Cohomology Circular Coordinates
- Typed Relational Difference
- GPC Cross-Carrier Safety
- GIPSS Open-World Discovery
- GIPE Active Epistemic Control
- Cross-Carrier Semantic Transduction
- Biological Oscillator / Entrainment Science
- Multiscale Physiological Monitoring
- Classical Power-Phase Engineering
v1.1 Closure Statement
EveMissLab 相位體系在 audit 後的最高正典不再是:
也不是:
而是:
Inherited v1.0 Canon
以下為 v1.0 canonical body,除與上述 v1.1 Amendment 衝突處外全部繼承。
0. Canonical Statement
EveMissLab 對「相位」的現行最高層敘述是:
中文:
相位之所以具有核心地位,不是因為所有存在都已被證明是同一種相位實體,而是因為相位型結構反覆出現在週期、差分、同步、相界、拓樸、路由、轉導、記憶與跨尺度有效關係中。
本 Canon 不接受下列無條件等式:
也不接受:
1. Canon Scope
本 Canon 解決六件事:
- 「相位」在不同文件中究竟是哪一種數學結構;
- 什麼時候可以跨領域搬運 phase;
- 什麼時候 generalized phase 可以聲稱有 physical realization;
- 什麼時候 physical phase 在 coarse-graining 後被保留、關係化、潛伏或消去;
- 舊相位本體論與現行 GPC-CS/PCPRT 的版本關係;
- 新論文、實驗與工程文件應如何命名、引用與反證。
2. Canonical Phase Types
PH-0 — Physical Oscillator Phase
若 physical system 存在合法 oscillatory structure,可定義:
典型:
- limit-cycle phase;
- wave phase;
- optical phase;
- Josephson phase;
- quantum relative/geometric phase(需依具體結構定義)。
PH-0 的核心問題是:
PH-1 — Relative / Coherence Phase
由 PH-0 形成:
或:
典型用途:
- synchronization;
- interference;
- coherence;
- phase locking;
- collective order parameter;
- routing gain。
PH-1 比絕對 phase 更常直接進入 observable relation。
PH-2 — Regime / Material Phase
此處「phase」不是圓上的角度,而是:
由:
- order parameter;
- symmetry;
- topology;
- bifurcation;
- material structure;
分類。
典型:
- thermodynamic phase;
- magnetic phase;
- superconducting phase;
- topological phase;
- amorphous / crystalline material phase。
PH-2 不得與 PH-0 混用。
PH-3 — Carrier Phase State
若 phase-only 不足,載體狀態擴張:
其中:
- :phase;
- :amplitude / transverse state;
- :coupling / carrier parameters;
- :plasticity-rule / metaplastic state。
PH-3 表示:
phase 是 carrier state 的一部分,而不是整個 carrier。
PH-4 — Neural / Artificial Functional Phase
PH-4 是 phase 在功能層的角色,而不是新的微觀 phase 種類。
神經系統可寫:
人工系統可寫:
PH-4 的關鍵是:
PH-5 — Generalized Relational Phase
這是 GPC/語義/跨載體/認知對齊中使用的高層 phase。
它可以是:
- task-relative relation;
- state alignment;
- reconstruction relation;
- semantic compatibility;
- carrier receptivity;
- multidimensional typed difference。
PH-5 不要求:
因此:
PH-6 — Epistemic / Search Phase
用於 GIPE / GIPSS 等認識論與搜尋方法論。
其 phase 是:
型類型化判定向量。
例如:
- 數學:命題強度、證明深度、反例距離;
- 材料:結構、穩定性、成本、製程;
- 科學:證據、模型誤差、可觀測性。
PH-6 是方法論座標,不是 physical oscillator。
3. Canonical Exclusions
3.1 Linear Process Stage
例如:
- clinical Phase I / II / III;
- project phase;
- compilation phase;
- training phase / inference phase。
若只是:
不進本 Canon 核心 phase ontology。
3.2 Phase Space
phase space:
是 dynamical state manifold / position-momentum space。
它不是:
3.3 Phase-Change Material
amorphous / crystalline:
屬 PH-2。
不等於 oscillator phase。
4. Canonical Realization Map
所有高層相位 physical claim 的第一個方程是:
其中:
physical dynamics:
effective dynamics:
realization criterion:
realization defect:
5. Canonical Fiber Principle
若兩個 lower-level states:
被 coarse-grain 成:
但 target property:
則:
因此:
只有在 對每個 -fiber 為常數時才可能成立。
這是本 Canon 的 universal audit tool。
6. Canonical Phase-Only Closure Rule
受輸入 的 physical dynamics:
physical phase:
phase velocity:
若存在:
但:
則精確:
不存在。
因此 phase-only model 必須通過 phase-fiber closure。
7. Canonical Phase Fate
physical phase 在向上 coarse-grain 時只有五種 canonical fate:
F0 — Preserved
F1 — Relationalized
只保留:
F2 — Latent
phase 仍影響 effective dynamics,但沒有顯式進入上層 state。
F3 — Eliminated
phase-blind closure 對 target task 成立。
F4 — Replaced
上層重新建立 generalized phase:
但:
一般成立。
8. Canonical Carrier Principle
communication / interaction 的終點不是單純 decoding。
現行 GPC carrier equation:
真正問題是:
因此 Canon 保留:
交流是一個 carrier-state transformation problem。
9. Canonical Plastic Carrier
interaction 可以改:
最小:
所以:
10. Canonical Dynamical Safety
static safe set:
對動態生物/人工載體往往不足。
Canon 使用:
安全的現行定義是:
trajectory 保持於允許的 attractor / metastable regime / transition graph / parameter region,且具有足夠的 resilience margin。
11. Canonical Neural Rule
神經 phase 可以扮演:
- gating;
- routing;
- coding;
- plasticity。
但:
更合理:
任何「phase = thought / meaning」強等式都不是 Canon。
12. Canonical Artificial-Phase Rule
人工系統分:
三者不同。
普通 clocked digital AI:
oscillator Ising / coherent photonic / ONN 等才可能真正把 phase 作 computational state。
13. Canonical Substrate Independence
substrate:
各自有:
若:
才稱 在該 substrate family 上具有 exact substrate-independent realization。
所以:
14. Canonical Two-Branch Architecture
不可再用:
這種單線。
Canonical architecture:
與:
GPC 是高層匯合語言,不是 microscopic common substance。
15. Canonical Scale-Stopping Principle
給定 target property:
若下一層 coarse map:
仍允許:
可以繼續 coarse-grain。
若無法 factor:
則:
研究尺度的目標不是「最微觀」或「最宏觀」,
而是:
16. Canonical Status of Historical Theories
16.1 保留但降格為歷史強猜想
包括:
- 《相位場本體論》
- 《h-相位元本體論》
- 《相位編織論》中強物理本體段落
Canon 不刪除它們。
它們屬:
但不直接作為:
16.2 重構保留
包括:
- C₀-相位統一論
- 相位時間
- 歷史認知符號相位場
- CCTC
- 全域相位化世界模型
核心結構可保留,
但要重新標:
- PH type;
- realization status;
- evidence level;
- effective vs physical claim。
16.3 現行 Canonical Successors
GPC-CS
負責:
PCPRT
負責:
兩者共同取代「單一終極相位本體論」作為現行總主幹。
17. Canonical Publication Rules
所有新的相位文件:
Rule 1 — Type declaration
第一次使用「相位」時標:
Rule 2 — Physical-elevation rule
若 PH-5 / PH-6 要聲稱 PH-0 realization,
必給:
Rule 3 — Scope
每個 theorem / experiment 明示:
- state domain;
- timescale;
- substrate;
- observable;
- assumptions。
Rule 4 — Evidence label
至少區分:
- theorem;
- empirical result;
- effective model;
- engineering hypothesis;
- ontology/conjecture。
Rule 5 — Falsification
每個強 claim 必寫:
18. Canonical Realization Record
任何「X 實現 Y 相位理論」的正式主張,建議附:
其中:
- :substrate;
- :lower-level state;
- :realization map;
- :effective state;
- :lower-level dynamics;
- :effective dynamics;
- :observation map;
- :valid state domain;
- :validity horizon;
- :realization defect;
- :preserved properties。
19. Canonical Minimal Test Suite
對任一新 phase theory,至少問:
Test A — Type
它是 PH-0…PH-6 哪一型?
Test B — Fiber
同一 coarse state 是否藏有不同 target future / property?
Test C — Closure
phase-only / state-only model 是否真正閉合?
Test D — Observability
所聲稱的 phase 能不能被量測或可靠估計?
Test E — Necessity
移除 phase 後 prediction / control / explanation 是否真的變差?
Test F — Specificity
效果是否其實由 amplitude、rate、common drive、material state 或 task stage 解釋?
Test G — Realization
generalized phase 是否有明確 physical realization map?
Test H — Falsification
什麼結果會讓 claim 降級?
20. Canonical Open Problems
O1 — A∩B 焊接定理
形式化:
的最一般條件。
O2 — Phase Coherence Persistent Homology
定義哪些 phase-coherence structures 具有真正穩定拓樸不變量。
O3 — Generalized-Phase Metric
PH-5 / PH-6 的 phase difference:
需要 typed metric / manifold,而不能永遠停在語義直覺。
O4 — Cross-Substrate Benchmark
以:
- oscillator hardware;
- neural public data;
- simulated coupled systems;
測:
O5 — Canonical Ontology Audit
逐篇重審 G1 強本體論:
- 哪些只是哲學假說;
- 哪些可重述成 effective theory;
- 哪些與已知 physics 衝突;
- 哪些可以形成可證偽新猜想。
21. Canonical References / External Anchors
本 Canon 的外部物理錨點包括:
- Wilson & Moehlis, Isostable reduction of periodic orbits, Physical Review E 94, 052213 (2016).
- Kurebayashi et al., Phase reduction of strongly coupled limit-cycle oscillators, Physical Review Research 4, 043176 (2022).
- Wilson, The renormalization group: Critical phenomena and the Kondo problem, Reviews of Modern Physics 47, 773 (1975).
- Simon, Holonomy, the Quantum Adiabatic Theorem, and Berry's Phase, Physical Review Letters 51, 2167 (1983).
- Drebitz, Rausch & Kreiter, Gamma-band synchronization between neurons in the visual cortex is causal for effective information processing and behavior, Nature Communications 16, 7380 (2025).
- Kragel et al., Closed-loop control of theta oscillations enhances human hippocampal network connectivity, Nature Communications 16, 4061 (2025).
這些文獻不是「證明 EveMissLab Phase Canon」。
它們只是對 Canon 中以下邊界提供外部錨點:
- phase reduction 有適用域;
- phase-only 可能不足;
- holonomy 是合法 physical/geometric phase 結構;
- universality 需要明確 coarse-graining;
- neural phase 可以具有局部 causal functional role;
- local evidence 不等於 semantic/ontological universality。
22. Final Canon — v1.2 Superseding Closure
相位體系的現行最高收斂式:
現行最高治理禁則:
中文:
沒有映射,不得跳型;沒有傳輸,不得談 Holonomy;沒有身份準則與譜系,不得把狀態變化直接叫身份轉換。
沒有:
就不能把 generalized phase 稱成 physical phase。
沒有 fiber constancy / consistency:
就不能說 quotient / coarse-graining / observation 保留了 。
沒有:
就不能無條件宣稱 same identity / identity preservation。
沒有:
與 closed path,就不能叫 holonomy。
沒有合法 module morphism / contract / defect ledger,就不能把跨領域相似直接當成可組合理論。
因此 EveMissLab 相位體系目前不以:
作最高正典,也不以:
作預設。
現行最高正典是:
v1.2 Additional External Anchors
v1.2 新增的外部結構性錨點包括:
- Brendan Fong, Decorated Cospans (2015):open systems 的 compositional categorical language。
- Baez, Courser & Vasilakopoulou, Structured versus Decorated Cospans (2022):structured/decorated cospan 的比較與 double-category 結構。
- assume–guarantee contract literature:component assumptions / guarantees / refinement / composition 的模組化驗證傳統。
- Barry Simon (1983) 與 Wilczek–Zee (1984):holonomy / geometric phase / non-Abelian transport 的成熟物理數學先例。
這些文獻不證明 IPFC/PMC;它們只界定:
- compositionality;
- contract reasoning;
- holonomy;
在既有數學/工程中的合法結構鄰域。
Phase Canon v1.2 — CURRENT CANON. IPFC INTEGRATION — COMPLETE.