C1_scope
plain-language theorem explainer
C1_scope fixes the title and claim boundary for the C-1 paper interpreting GCIC as nonlocal theta. Paper authors cite this definition to lock the exact scope before drafting theorems or postulates. The implementation is a direct string assignment with no further computation or dependencies.
Claim. The scope string for claim C-1 is ``GCIC as Nonlocal Theta''.
background
This module freezes exact claim scopes for each paper so drafts reference resolved strings rather than placeholders. It distinguishes machine-checked theorems, labeled postulates, modeling definitions, and out-of-scope items. Papers covered include C-1 on GCIC as Nonlocal Theta and C-2 on consciousness as phi-boundary. Upstream structures such as the nuclear density tiers and 8-tick phases supply the discrete phi-ladder and periodicity conventions used across these boundaries.
proof idea
This is a one-line definition that assigns the literal string ``GCIC as Nonlocal Theta''.
why it matters
The definition anchors the C-1 paper boundary inside the Recognition framework, ensuring consistent citation of inherited theorems while separating them from C-2 postulates such as automatic collapse at C greater than or equal to 1. It supports the overall forcing chain by clarifying what counts as proved versus postulated before any phi-boundary or consciousness Hamiltonian arguments are invoked. No open scaffolding questions are closed here.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.