# Symbol Table — EML-ONTO-CORE-07 v0.1

| Symbol | Meaning | Type / Note |
|---|---|---|
| $\Phi_{\mathrm{pre}}$ | pre-formal unary / surging source placeholder | meta-level; not ordinary object-theory state |
| $\chi$ | formalization context | language/logic/observer/scale/etc. |
| $\operatorname{Form}_\chi[\cdot]$ | meta-level formalization act | square-bracket notation marks meta-level use |
| $\varphi_\chi$ | formal surrogate | object-theory entity produced by formalization |
| $\Pi_{Cl}^{\chi}$ | typed formal-surrogate to closure map | candidate map in FCH |
| $\kappa_{\mathrm{form}}$ | formal kernel | TICDR/closure-certified compressed core |
| $\mathsf S_\chi$ | vertical formal state spine | Paper 01 |
| $\mathfrak D_3$ | triadic dynamic family bundle | $(\mathfrak E,\mathfrak L,\mathfrak C)$ |
| $\mathrm{SSDC}$ | Shared-State Domain Coupling | relational cross-cut |
| $\mathrm{TICDR}$ | Typed Information Completeness, Distortion, Restoration | audit cross-cut |
| $\mathrm{TIBRF}$ | Typed Identity–Boundary–Role Framework | identity/boundary cross-cut |
| $\mathrm{CRE}$ | Closure–Relinking Extension | closure/governance cross-cut |
| $\mathrm{UMF}_\chi$ | Unified Mother Framework instance | formal integrated framework |
| $\mathfrak U$ | extended meta-envelope | pre-formal + formalization contexts + UMF instances |
| $\operatorname{Adeq}_3(M)$ | triadic descriptive adequacy predicate | not minimality/universality |