phi
plain-language theorem explainer
The abbreviation phi re-exports the self-similar fixed-point constant from the core Recognition Science constants module into the Compat layer. Researchers auditing cross-module compatibility between standard physics and the Recognition framework cite it to keep notation uniform without repeated qualification. The implementation is a direct one-line alias carrying no computation or additional obligations.
Claim. Let $phi$ denote the real number supplied by the core Recognition Science constants as the self-similar fixed point.
background
The Compat.Constants module supplies project-wide constants and minimal structural lemmas. It imports the core Constants module together with basic real analysis and square-root facilities. The upstream Constants structure from CPM.LawOfExistence bundles the abstract CPM constants Knet, Cproj, Ceng, Cdisp together with the nonnegativity hypothesis 0 ≤ Knet.
proof idea
One-line wrapper that directly aliases the phi definition from the imported IndisputableMonolith.Constants module.
why it matters
The declaration supplies a uniform name for the self-similar fixed point inside the compatibility layer. It sits alongside sibling constants such as E_coh, tau0 and l0 that are expected to feed later compatibility statements. Within the Recognition framework it aligns with the phi fixed point forced at step T6 of the UnifiedForcingChain.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.