C3_scope
plain-language theorem explainer
C3_scope assigns the fixed string title 'Z-Pattern Death and Survival' for the C-3 paper boundary in the Recognition Science claim module. Paper authors reference it to lock the scope of Z-pattern death and survival claims rather than using placeholders. The definition is a direct string literal assignment with no computation or resolved dependencies.
Claim. $C3_{scope} := ``Z-Pattern Death and Survival''$
background
The module freezes exact claim scopes for each paper tier so drafts cite stable strings instead of unresolved placeholders. Module documentation distinguishes C-3 (Z-Pattern Death and Survival) from L-3 (LNAL 5-op semantic core) and lists epistemic tiers: theorems are machine-checked, definitions are modeling choices that must be declared explicitly. Upstream constants supply the RS-native tick (fundamental time quantum, one octave equals eight ticks) and structures such as nuclear density tiers on the phi-ladder.
proof idea
One-line definition that directly assigns the string literal to the identifier.
why it matters
This definition locks the publication boundary for the C-3 paper on Z-pattern death and survival, feeding the module's purpose of preventing placeholder drift in drafts. It aligns with the eight-tick octave and phi-ladder landmarks by delimiting where Z-pattern claims sit relative to upstream constants and nucleosynthesis tiers. No open scaffolding is closed here; the entry simply records the declared scope.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.