def
definition
C1_scope
show as:
view math explainer →
open explainer
Read the cached plain-language explainer.
open lean source
IndisputableMonolith.Papers.ClaimBoundaries on GitHub at line 60.
browse module
All declarations in this module, on Recognition.
explainer page
depends on
formal source
57- Berry phase survival
58- Biological frequency bands
59-/
60def C1_scope : String := "GCIC as Nonlocal Theta"
61
62/-! ## C-2: Consciousness as φ-Boundary
63
64### Theorems (cite freely)
65- `ConsciousnessHamiltonian.lam_rec_pos` — recognition length > 0
66- `ConsciousnessHamiltonian.boundary_cost_nonneg` — BoundaryCost ≥ 0
67- `ConsciousnessHamiltonian.consciousness_emerges_at_cost_minimum` — local min + thresholds → DefiniteExperience
68- `CollapseSelection.collapse_is_R_hat_threshold` — C≥1 → definite pointer under R̂
69- All C-1 theorems (inherited)
70
71### Postulates (must label)
72- `RecognitionAxioms.r_hat_automatic_collapse` — automatic collapse at C≥1
73- `recognition_equals_twice_gravity_hypothesis` — C = 2A bridge (explicitly labeled)
74
75### Definitions (must declare)
76- `ConsciousnessH` — BoundaryCost + GravitationalDebt + MutualInfo
77- `DefiniteExperience` — C≥1 ∧ A≥1 ∧ local min of ConsciousnessH
78- `BoundaryCost` — τ · J(extent/λ_rec)
79
80### Known limitations (must acknowledge)
81- `SelectionRule` is currently constant 0 — no branch-selection mechanism proved
82- `MutualInfo` uses heuristic Dirac-overlap model, not derived
83- `GravitationalDebt` uses Newtonian potential model
84
85### Out of scope for C-2
86- Death operator (C-3)
87- Berry phase
88- Biological EEG predictions
89-/
90def C2_scope : String := "Consciousness as phi-Boundary"