`C2_scope`

definition

show as: view math explainer →

module: IndisputableMonolith.Papers.ClaimBoundaries
domain: Papers
line: 90 · github
papers citing: none yet

open explainer

Generate a durable explainer page for this declaration.

open lean source

IndisputableMonolith.Papers.ClaimBoundaries on GitHub at line 90.

browse module

All declarations in this module, on Recognition.

explainer page

Tracked in the explainer inventory; generation is lazy so crawlers do not trigger LLM jobs.

open explainer

depends on

formal source

  87- Berry phase
  88- Biological EEG predictions
  89-/
  90def C2_scope : String := "Consciousness as phi-Boundary"
  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)

papers checked against this theorem

No papers in the current corpus map onto this theorem yet.