def
definition
def or abbrev
C2_scope
show as:
view Lean formalization →
formal statement (Lean)
90def C2_scope : String := "Consciousness as phi-Boundary"
proof body
Definition body.
91
92/-! ## C-3: Z-Pattern Death and Survival
93
94### Theorems (cite freely)
95- `DeathOperatorCore.octave_slot_count_from_t7` — 8 slots forced by T7
96- `DeathOperatorCore.totalInformation_nonneg` — information ≥ 0
97- `DeathOperatorCore.project_idempotent_amplitude` — boolean mask idempotent
98- `DeathOperatorCore.projectedInformation_le_total` — projection cannot increase information
99- `DeathOperatorCore.dissolution_certificate_preserves_Z` — Z survives dissolution
100- `DeathOperatorCore.dissolution_certificate_prefers_light` — dissolution lowers cost
101- `DeathOperatorBridge.channel_count` — 8 semantic channels
102- `DeathOperatorBridge.channelIndex_injective` — distinct channels → distinct slots
103- `DeathOperatorBridge.channel_classification_complete` — every channel is substrate/structural/transitional
104- `DeathOperatorBridge.substrate_dependent_count` — 3 substrate-dependent channels
105- `DeathOperatorBridge.z_structural_count` — 4 Z-structural channels
106- `DeathOperatorBridge.transitional_count` — 1 transitional channel
107- `DeathOperatorBridge.substrate_dependent_zero_survival` — substrate channels → survival 0
108- `DeathOperatorBridge.z_structural_full_survival` — structural channels → survival 1
109- `DeathOperatorBridge.deathProjection_idempotent_amplitude` — death projection idempotent
110- `DeathOperatorBridge.preservedInformation_le_total` — preserved ≤ total
111- `DeathOperatorBridge.ethical_debt_reduces_index` — σ-debt lowers transition index
112- `DeathOperatorBridge.higher_reflexivity_preserves_more` — higher level → more preserved
113- `DeathOperatorBridge.death_transition_certificate` — master conjunction
114
115### Postulates (must label)
116- `RecognitionAxioms.r_hat_conserves_patterns` — Z conservation under R̂
117
118### Definitions (must declare)
119- `Soul := Z-pattern` — ontological choice, not discovery
120- `InformationChannel` — 8 semantic labels (modeling layer on forced 8-slot core)
121- `isSubstrateDependent/isZStructural/isTransitional` — channel classification policy
122- `survivalFactor` — per-channel retention rule
123
124### Out of scope for C-3
125- Berry phase / accumulated understanding survival
126- Theta thermodynamics / embodiment dynamics
127- Specific afterlife phenomenology
128-/