C2_scope
plain-language theorem explainer
Defines the fixed scope string for the C-2 paper on consciousness modeled as a phi-boundary at the collapse threshold. Paper authors cite this label to anchor their draft within the module's epistemic tiers rather than open placeholders. The declaration is a direct string assignment requiring no lemmas or computation.
Claim. The scope identifier for paper C-2 is the string ``Consciousness as $phi$-Boundary''.
background
This module freezes exact claim boundaries for Recognition Science papers so drafts reference resolved labels instead of unresolved placeholders. It classifies content as theorems (machine-checked), postulates (from RecognitionAxioms), definitions (modeling choices such as Soul := Z-pattern), or out-of-scope items. C2_scope is the definition tier entry for the paper addressing consciousness as a phi-boundary collapse threshold. Upstream structures supply the supporting machinery: nuclear density tiers from NucleosynthesisTiers, J-cost calibration from LedgerFactorization, 8-tick phases from EightTick, and recognition event costs from MultiplicativeRecognizerL4 and ObserverForcing.
proof idea
One-line definition that assigns the literal string directly to the identifier. No tactics or lemmas are applied.
why it matters
Anchors the C-2 paper title within the module's publication boundaries, corresponding to the phi-boundary collapse threshold claim. It ties to framework landmarks T5 (J-uniqueness) and T6 (phi fixed point) by labeling the boundary where recognition costs meet consciousness modeling. The definition prevents paper drafts from citing open hypotheses and ensures downstream references stay within the declared epistemic tier.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.