C3_scope
plain-language theorem explainer
The declaration defines the scope string for the C-3 paper as 'Z-Pattern Death and Survival'. Paper authors cite this to lock claim boundaries in the Publication Claim Boundaries module rather than using placeholders. It is a direct string definition with no computation or lemmas.
Claim. The scope for paper C-3 is the string ``Z-Pattern Death and Survival''.
background
The module freezes exact theorem/claim scopes for papers C-1 through E-3 so drafts reference resolved definitions. It distinguishes DEFINITION as a modeling choice that papers must declare, with C-3 listed as Z-Pattern Death and Survival. Upstream includes the tick definition (fundamental RS time quantum τ₀ = 1 tick) from Constants, the of structure on nuclear densities and φ-tiers from NucleosynthesisTiers, and the bridge definition from CPM2D that packs models with defectMeaning and energyMeaning.
proof idea
This is a definition that directly assigns the string literal to C3_scope. No lemmas are applied and no tactics are used.
why it matters
This definition fixes the scope for the C-3 paper on Z-Pattern Death and Survival, ensuring consistency with the epistemic tier system. It supports references to Z-patterns in the mass formula on the φ-ladder. No downstream uses are recorded.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.