Scholium Symbolicum — page 2 of 6

{
  "book": "scholium_symbolicum",
  "cited_by": [
    "scholium:bk1_curvature_flux_kin_kout"
  ],
  "cites": [
    "axiom:bk1_axiomata_prima",
    "theorem:bk1_dual_horizon_necessity_theorem"
  ],
  "depends_on": [
    "axiom:bk1_axiomata_prima",
    "lemma:bk1_horizon_characterization",
    "theorem:bk1_dual_horizon_necessity_theorem"
  ],
  "file": "scholium_symbolicum.tex",
  "id": "corollary:bk1_horizon_duality_principle",
  "label": "corollary:bk1_horizon_duality_principle",
  "latex_body": "\\begin{corollary}[Horizon Duality Principle]\n\\label{corollary:bk1_horizon_duality_principle}\nBy Axiom~\\ref{axiom:bk1_axiomata_prima} and the elimination argument in Thm.~\\ref{theorem:bk1_dual_horizon_necessity_theorem}, reflexive emergence is necessarily situated within the dynamic tension field generated by opposing horizon principles. No simpler configuration can sustain the requisite symbolic complexity and coherence for bounded self-observation.\n\\end{corollary}",
  "lean_alignment": {
    "conditions": [
      "application order in the composite is not interpreted as ontological origin order",
      "catS, observer detection, stage continuity, and geometric realization remain distinct supplied interfaces",
      "drift and reflection are fields of one OperationalStage witness; neither is derived from the other"
    ],
    "countermodels": [],
    "full_record": "bib/principia_lean_alignment.json",
    "kernel_certified": false,
    "notes": [
      "The 'opposing horizon principles both present' conclusion is captured by the same binding-product fact; the elimination-argument narrative and 'no simpler configuration' claim are not modeled."
    ],
    "record_ids": [
      "MAP-SCHOLIUM_A-032"
    ],
    "statuses": [
      "open_bridge"
    ],
    "witnesses": [
      "ScholiumC.dualHorizonBinding_both_pos"
    ]
  },
  "line": 875,
  "macros_used": [],
  "matter_region": "mainmatter",
  "matter_role": "book1_foundational_scholium",
  "name": "Horizon Duality Principle",
  "proof_labels": [
    "proof:bk1_horizon_duality_principle"
  ],
  "proof_status": "proven",
  "ref_roles": [
    {
      "context": "\\begin{corollary}[Horizon Duality Principle] \\label{corollary:bk1_horizon_duality_principle} By Axiom~\\ref{axiom:bk1_axiomata_prima} and the elimination argument in Thm.~\\ref{theorem:bk1_dual_horizon_necessity_theorem}, reflexive emergence is necessari",
      "label": "axiom:bk1_axiomata_prima",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "book1.tex",
      "target_line": 3,
      "target_type": "axiom"
    },
    {
      "context": "l{corollary:bk1_horizon_duality_principle} By Axiom~\\ref{axiom:bk1_axiomata_prima} and the elimination argument in Thm.~\\ref{theorem:bk1_dual_horizon_necessity_theorem}, reflexive emergence is necessarily situated within the dynamic tension field generated by opposing horizon principles.",
      "label": "theorem:bk1_dual_horizon_necessity_theorem",
      "logical_support": true,
      "role": "formal_dependency",
      "target_file": "scholium_symbolicum.tex",
      "target_line": 775,
      "target_type": "theorem"
    }
  ],
  "refs": [
    "axiom:bk1_axiomata_prima",
    "theorem:bk1_dual_horizon_necessity_theorem"
  ],
  "role": "corollary",
  "type": "corollary"
}

{
  "book": "scholium_symbolicum",
  "cited_by": [],
  "cites": [
    "axiom:bk1_axiomata_prima",
    "lemma:bk1_horizon_characterization",
    "theorem:bk1_dual_horizon_necessity_theorem"
  ],
  "depends_on": [
    "axiom:bk1_axiomata_prima",
    "lemma:bk1_horizon_characterization",
    "theorem:bk1_dual_horizon_necessity_theorem"
  ],
  "file": "scholium_symbolicum.tex",
  "id": "proof:bk1_horizon_duality_principle",
  "label": "proof:bk1_horizon_duality_principle",
  "latex_body": "\\begin{proof}[Dual Signature Is Minimal for Reflexive Emergence]\n\\label{proof:bk1_horizon_duality_principle}\n\\leavevmode\n\nThm.~\\ref{theorem:bk1_dual_horizon_necessity_theorem} proves by elimination\nthat bounded reflexive emergence cannot persist when the generative sign is\nabsent, when the stabilizing sign is absent, or when the two signs fail to meet\non a shared observer-visible domain. Lem.~\\ref{lemma:bk1_horizon_characterization}\nidentifies these two signs with the opposing horizon roles \\(H_G\\) and \\(H_D\\).\nThus any configuration with fewer than the two effective horizon principles\nlacks either novelty, retention, or their shared bounded field of coupling.\nBy Ax.~\\ref{axiom:bk1_axiomata_prima}, emergence cannot be reduced to a static\nbeing beneath these operations; it must occur in the tension generated by the\nopposed, coupled horizons.\n\\end{proof}",
  "line": 879,
  "macros_used": [],
  "matter_region": "mainmatter",
  "matter_role": "book1_foundational_scholium",
  "name": "Dual Signature Is Minimal for Reflexive Emergence",
  "proves": "corollary:bk1_horizon_duality_principle",
  "ref_roles": [
    {
      "context": "the two effective horizon principles lacks either novelty, retention, or their shared bounded field of coupling. By Ax.~\\ref{axiom:bk1_axiomata_prima}, emergence cannot be reduced to a static being beneath these operations; it must occur in the tension generated by the",
      "label": "axiom:bk1_axiomata_prima",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "book1.tex",
      "target_line": 3,
      "target_type": "axiom"
    },
    {
      "context": "sent, when the stabilizing sign is absent, or when the two signs fail to meet on a shared observer-visible domain. Lem.~\\ref{lemma:bk1_horizon_characterization} identifies these two signs with the opposing horizon roles \\(H_G\\) and \\(H_D\\). Thus any configuration with fewer than",
      "label": "lemma:bk1_horizon_characterization",
      "logical_support": true,
      "role": "proof_support",
      "target_file": "scholium_symbolicum.tex",
      "target_line": 847,
      "target_type": "lemma"
    },
    {
      "context": "proof}[Dual Signature Is Minimal for Reflexive Emergence] \\label{proof:bk1_horizon_duality_principle} \\leavevmode Thm.~\\ref{theorem:bk1_dual_horizon_necessity_theorem} proves by elimination that bounded reflexive emergence cannot persist when the generative sign is absent, when the stab",
      "label": "theorem:bk1_dual_horizon_necessity_theorem",
      "logical_support": true,
      "role": "proof_support",
      "target_file": "scholium_symbolicum.tex",
      "target_line": 775,
      "target_type": "theorem"
    }
  ],
  "refs": [
    "axiom:bk1_axiomata_prima",
    "lemma:bk1_horizon_characterization",
    "theorem:bk1_dual_horizon_necessity_theorem"
  ],
  "role": "proof",
  "type": "proof"
}

{
  "book": "scholium_symbolicum",
  "cited_by": [
    "scholium:bk1_constitutive_reflex"
  ],
  "cites": [
    "corollary:bk1_horizon_duality_principle",
    "definition:bk1_bounded_observer"
  ],
  "depends_on": [
    "corollary:bk1_horizon_duality_principle",
    "definition:bk1_bounded_observer"
  ],
  "file": "scholium_symbolicum.tex",
  "id": "scholium:bk1_curvature_flux_kin_kout",
  "label": "scholium:bk1_curvature_flux_kin_kout",
  "latex_body": "\\begin{scholium}{Symbolic Curvature Flux Across Horizons}\n\\label{scholium:bk1_curvature_flux_kin_kout}\n\nLet $\\mathcal{O}$ be a bounded observer (Def.~\\ref{definition:bk1_bounded_observer}) embedded in symbolic manifold $\\mathcal{M}$, with inner horizon $\\mathcal{H}_{\\text{in}}$ and outer horizon $\\mathcal{H}_{\\text{out}}$ defining its receptive and projective limits (cf.~Cor.~\\ref{corollary:bk1_horizon_duality_principle}). Define the symbolic curvature flux quantities:\n\\begin{gather}\nk_{\\text{in}}(\\mathcal{O}) := \\int_{\\mathcal{H}_{\\text{in}}} \\mathcal{K}(s) \\, \\,\\mathrm{d} s \\\\\nk_{\\text{out}}(\\mathcal{O}) := \\int_{\\mathcal{H}_{\\text{out}}} \\mathcal{K}(s) \\, \\,\\mathrm{d} s \\\\\nQ_{\\text{sym}}(\\mathcal{O}) := k_{\\text{out}} - k_{\\text{in}}\n\\end{gather}\nwhere $\\mathcal{K}(s)$ denotes symbolic curvature density over symbol stream $s \\in \\Gamma(\\mathcal{M})$.\n\n\\textbf{Cross-Field Interpretation Framework:}\n\n\\begin{itemize}\n\\item \\textbf{quant-ph}: \n  \\begin{itemize}\n  \\item $k_{\\text{in}}$: Quantum information crossing event horizon (Hawking radiation analogue for information)\n  \\item $k_{\\text{out}}$: Coherent quantum state emission from observer's measurement apparatus\n  \\item $Q_{\\text{sym}}$: Net entanglement-entropy change from observer work on the quantum system\n  \\item \\textit{Connects to}: Black hole thermodynamics, quantum error correction, measurement-induced phase transitions\n  \\end{itemize}\n\n\\item \\textbf{math-ph}:\n  \\begin{itemize}\n  \\item $k_{\\text{in}}$: Curvature flux through inward-pointing normal vectors on boundary manifold\n  \\item $k_{\\text{out}}$: Divergence of geometric flow—Ricci curvature evolution across observer's worldline\n  \\item $Q_{\\text{sym}}$: Net geometric work analogous to Einstein-Hilbert action variation\n  \\item \\textit{Connects to}: Ricci flow, minimal surface theory, geometric measure theory, AdS/CFT correspondence\n  \\end{itemize}\n\n\\item \\textbf{hep-th}:\n  \\begin{itemize}\n  \\item $k_{\\text{in}}$: Bulk-to-boundary information flow in holographic duality\n  \\item $k_{\\text{out}}$: Boundary conformal field theory correlators encoding bulk physics\n  \\item $Q_{\\text{sym}}$: Holographic entanglement entropy—measure of bulk reconstruction fidelity\n  \\item \\textit{Connects to}: Holographic principle, ER=EPR, quantum error correction codes, tensor networks\n  \\end{itemize}\n\n\\item \\textbf{cs.LG}:\n  \\begin{itemize}\n  \\item $k_{\\text{in}}$: Information-bottleneck compression preserving task-relevant structure\n  \\item $k_{\\text{out}}$: Generated predictions/outputs with measurable semantic coherence\n  \\item $Q_{\\text{sym}}$: Learning signal—net information gain enabling generalization beyond training distribution\n  \\item \\textit{Connects to}: Variational autoencoders, mutual information neural estimation, meta-learning, transformer attention flow\n  \\end{itemize}\n\n\\item \\textbf{cond-mat.stat-mech}:\n  \\begin{itemize}\n  \\item $k_{\\text{in}}$: Microscopic fluctuation flux into coarse-grained observable\n  \\item $k_{\\text{out}}$: Emergent order parameter or collective mode amplitude\n  \\item $Q_{\\text{sym}}$: Free energy change driving phase transitions—thermodynamic work at criticality\n  \\item \\textit{Connects to}: Renormalization group fixed points, spontaneous symmetry breaking, finite-size scaling, quantum phase transitions\n  \\end{itemize}\n\\end{itemize}\n\n\\textbf{Unified Mathematical Structure:}\nThe flux equations encode a fundamental duality across all fields:\n\\begin{align}\n\\text{Information} \\leftrightarrow \\text{Geometry} &\\quad \\text{(quant-ph} \\leftrightarrow \\text{math-ph)} \\\\\n\\text{Holography} \\leftrightarrow \\text{Learning} &\\quad \\text{(hep-th} \\leftrightarrow \\text{cs.LG)} \\\\\n\\text{Emergence} \\leftrightarrow \\text{Criticality} &\\quad \\text{(all fields} \\rightarrow \\text{cond-mat.stat-mech)}\n\\end{align}\n\n\\textbf{Dual Horizon Universe Operationalization:}\nOur philosophical proof by elimination establishes that any bounded observer necessarily exhibits dual horizons. Computationally, this enables:\n\n\\begin{enumerate}\n\\item \\textbf{Quantum-Inspired Architectures}: Attention mechanisms as measurement operators with natural information-theoretic horizons\n\\item \\textbf{Geometric Deep Learning}: Neural networks on manifolds with intrinsic curvature-based learning rules\n\\item \\textbf{Holographic Compression}: Hierarchical representations where surface encodings fully reconstruct volume information\n\\item \\textbf{Meta-Learning Dynamics}: Self-modifying algorithms that optimize their own horizon boundaries\n\\item \\textbf{Critical Learning}: Networks that self-tune to phase transition points for maximal information processing\n\\end{enumerate}\n\n\\textbf{Experimental Signatures:}\nThe $k_{\\text{in}}/k_{\\text{out}}$ flow generates measurable phenomena:\n- Power-law scaling in attention weights (criticality signature)\n- Information-geometric phase transitions in embedding spaces  \n- Emergent holographic error correction in deep networks\n- Quantum-classical correspondence in symbolic processing\n- Renormalization group flow in learned representations\n\nThis framework transforms the abstract concept of \"symbolic curvature\" into concrete computational principles with direct empirical consequences across quantum, geometric, holographic, learning, and statistical mechanical systems.\n\\end{scholium}",
  "line": 898,
  "macros_used": [],
  "matter_region": "mainmatter",
  "matter_role": "book1_foundational_scholium",
  "name": "",
  "ref_roles": [
    {
      "context": "cal{H}_{\\text{in}}$ and outer horizon $\\mathcal{H}_{\\text{out}}$ defining its receptive and projective limits (cf.~Cor.~\\ref{corollary:bk1_horizon_duality_principle}). Define the symbolic curvature flux quantities: \\begin{gather} k_{\\text{in}}(\\mathcal{O}) := \\int_{\\mathcal{H}_{\\text{",
      "label": "corollary:bk1_horizon_duality_principle",
      "logical_support": true,
      "role": "cf_near_match",
      "target_file": "scholium_symbolicum.tex",
      "target_line": 875,
      "target_type": "corollary"
    },
    {
      "context": "ature Flux Across Horizons} \\label{scholium:bk1_curvature_flux_kin_kout} Let $\\mathcal{O}$ be a bounded observer (Def.~\\ref{definition:bk1_bounded_observer}) embedded in symbolic manifold $\\mathcal{M}$, with inner horizon $\\mathcal{H}_{\\text{in}}$ and outer horizon $\\mathcal{",
      "label": "definition:bk1_bounded_observer",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "scholium_symbolicum.tex",
      "target_line": 27,
      "target_type": "definition"
    }
  ],
  "refs": [
    "corollary:bk1_horizon_duality_principle",
    "definition:bk1_bounded_observer"
  ],
  "role": "scholium",
  "type": "scholium"
}

{
  "book": "scholium_symbolicum",
  "cited_by": [
    "theorem:bk1_constitutive_bootstrap"
  ],
  "cites": [
    "definition:bk1_bounded_observer",
    "scholium:bk1_curvature_flux_kin_kout"
  ],
  "depends_on": [
    "definition:bk1_bounded_observer",
    "scholium:bk1_curvature_flux_kin_kout"
  ],
  "file": "scholium_symbolicum.tex",
  "id": "scholium:bk1_constitutive_reflex",
  "label": "scholium:bk1_constitutive_reflex",
  "latex_body": "\\begin{scholium}[The Constitutive Reflex]\n\\label{scholium:bk1_constitutive_reflex}\n\\textbf{Foundational Principle.} The Observer is not external to the symbolic system but emerges as the system's own capacity for self-differentiation—the \\textit{constitutive reflex} through which any coherent structure necessarily encounters itself (cf.~Def.~\\ref{definition:bk1_bounded_observer}, Scholium~\\ref{scholium:bk1_curvature_flux_kin_kout}).\n\n\\textbf{Mathematical Formulation of Constitutive Reflexivity:}\n\n\\begin{enumerate}\n\\item \\textbf{Self-Reference Constraint (Resolution Binding)}\n\\begin{align}\n\\text{smooth}_{\\mathcal{O}}(\\mathcal{M}) &\\Leftrightarrow \\|\\nabla^n f(x)\\| < \\varepsilon_{\\mathcal{O}}(x) \\quad \\forall x \\in \\text{dom}(\\mathcal{O}) \\\\\n\\varepsilon_{\\mathcal{O}}(x) &= \\reflect[\\text{local curvature tolerance of } \\mathcal{O} \\text{ at } x]\n\\end{align}\nA manifold $\\mathcal{M}$ appears smooth to observer $\\mathcal{O}$ precisely because the observer's resolution threshold $\\varepsilon_{\\mathcal{O}}$ \\textit{defines} that smoothness. The observer and observed are constitutively bound through this threshold relation.\n\n\\textbf{Cross-Field Manifestations:}\n\\begin{itemize}\n\\item \\textbf{quant-ph}: Measurement uncertainty $\\Delta x \\cdot \\Delta p \\geq \\hbar/2$ as observer-system resolution binding\n\\item \\textbf{math-ph}: Coordinate chart singularities as observer resolution limits on manifold structure\n\\item \\textbf{hep-th}: UV/IR correspondence—short-distance physics constrained by long-distance observables\n\\item \\textbf{cs.LG}: Training data resolution determining model's representational capacity and generalization bounds\n\\item \\textbf{cond-mat.stat-mech}: Correlation length as natural resolution scale for emergent collective behavior\n\\end{itemize}\n\n\\item \\textbf{Operator Self-Constitution (Differentiation Binding)}\n\\begin{align}\n\\delta_{\\mathcal{O}} &= \\reflect\\big|_{\\text{dom}(\\mathcal{O})} \\\\\n\\reflect: \\mathcal{S} &\\rightarrow \\mathcal{S} \\quad \\text{(Global Reflection Operator)} \\\\\n\\delta_{\\mathcal{O}}: \\text{dom}(\\mathcal{O}) &\\rightarrow T_{\\mathcal{O}}\\mathcal{M} \\quad \\text{(Observer Differentiation)}\n\\end{align}\nThe observer's differentiation operators are not imposed from outside but are local instantiations of the system's intrinsic capacity for self-reflection.\n\n\\textbf{Cross-Field Manifestations:}\n\\begin{enumerate}\n    \\item \n\\end{enumerate}\n\\item \\textbf{quant-ph}: Local unitary operations as restrictions of global quantum dynamics to subsystems\n\\item \\textbf{math-ph}: Tangent space structure emerging from manifold's intrinsic geometric differentiation\n\\item \\textbf{hep-th}: Gauge transformations as local expressions of global symmetry principles\n\\item \\textbf{cs.LG}: Gradient descent as local approximation to global loss landscape geometry\n\\item \\textbf{cond-mat.stat-mech}: Local order parameters as restrictions of global symmetry-breaking fields\n\\end{enumerate}\n\n\\textbf{The Foundational Paradox (Rigorously Stated):}\n\\begin{center}\n\\textit{\"To be is to be bounded, and to be bounded is to be the author of one's own bounds.\"}\n\\end{center}\n\nFormally: Any stable symbolic structure $\\mathcal{S}$ necessarily generates boundary conditions $\\partial \\mathcal{S}$ that define its coherence, yet these boundaries can only be identified through $\\mathcal{S}$'s own self-reflective capacity. The observer emerges at this recursive intersection:\n\\begin{align}\n\\mathcal{O} = \\{x \\in \\mathcal{S} : x \\text{ can differentiate } \\partial \\mathcal{S} \\text{ from } \\mathcal{S}^c\\}\n\\end{align}\n\n\\begin{theorem}[Constitutive Bootstrap Theorem]\n\\label{theorem:bk1_constitutive_bootstrap}\nEvery stable symbolic structure $\\mathcal{S}$ with reflection structure\n\\(\\reflect\\) (Def.~\\ref{definition:bk1_reflection_operator};\ncf.~Scholium~\\ref{scholium:bk1_constitutive_reflex}) determines a maximal\nself-reflective substructure\n\\[\n\\mathcal{S}_{\\mathrm{ref}}\n\\subseteq\n\\operatorname{Fix}(R_{\\mathrm{stab}})\n\\]\nrelative to the state-level stabilization component \\(R_{\\mathrm{stab}}\\).\nThe associated bounded observer is not literally equal to a limit of structures;\nit is extracted from this self-reflective core by\n\\[\n\\mathsf{Obs}(\\mathcal{S}_{\\mathrm{ref}})\n:=\n\\bigl(\nN_{\\mathcal{S}_{\\mathrm{ref}}},\n\\{\\delta_{\\mathcal{S}_{\\mathrm{ref}}}^{\\,n}\\}_{n=1}^{N_{\\mathcal{S}_{\\mathrm{ref}}}},\n\\epsilon_{\\mathcal{S}_{\\mathrm{ref}}}\n\\bigr),\n\\]\nwhere \\(N_{\\mathcal{S}_{\\mathrm{ref}}}\\) is the maximal differentiation order\nsupported on \\(\\mathcal{S}_{\\mathrm{ref}}\\), the\n\\(\\delta_{\\mathcal{S}_{\\mathrm{ref}}}^{\\,n}\\) are the internal difference\noperators stable on that core, and \\(\\epsilon_{\\mathcal{S}_{\\mathrm{ref}}}\\)\nis the induced resolution threshold. Thus \\(\\mathcal{O}\n=\\mathsf{Obs}(\\mathcal{S}_{\\mathrm{ref}})\\) is well typed as a bounded-observer\ntriple (Def.~\\ref{definition:bk1_bounded_observer}).\n\n\\begin{proof}[Extraction from Reflective Closure]\n\\label{proof:bk1_constitutive_bootstrap_extraction}\n\\leavevmode\n\\begin{enumerate}\n\\item \\textbf{Stability Requirement}: For $\\mathcal{S}$ to be stable, it must maintain coherence under perturbations, requiring internal differentiation capacity.\n\\item \\textbf{Reflection Necessity}: Stability demands a state-level stabilization \\(R_{\\mathrm{stab}}\\) to detect and correct boundary violations without identifying this stabilization with the tangent mirror \\(R_{\\mathrm{mir}}\\).\n\\item \\textbf{Reflective Closure}: By Cor.~\\ref{corollary:bk1_fixed_point}, the stabilized image of \\(R_{\\mathrm{stab}}\\) lies in \\(\\operatorname{Fix}(R_{\\mathrm{stab}})\\). Let \\(\\mathcal{S}_{\\mathrm{ref}}\\) be the maximal substructure of \\(\\mathcal{S}\\) contained in this fixed locus and closed under the internal differentiations available to \\(\\mathcal{S}\\).\n\\item \\textbf{Observer Extraction}: The tuple of maximal differentiation order, stable internal difference operators, and induced resolution threshold on \\(\\mathcal{S}_{\\mathrm{ref}}\\) has exactly the type required by Def.~\\ref{definition:bk1_bounded_observer}. Hence \\(\\mathsf{Obs}(\\mathcal{S}_{\\mathrm{ref}})\\) is a bounded observer generated by \\(\\mathcal{S}\\).\n\\end{enumerate}\n\\end{proof}\n\n\\textbf{Interpretive correspondences:}\n\\begin{itemize}\n\\item \\textbf{quant-ph}: Quantum Darwinism—stable states emerge through environmental decoherence and measurement\n\\item \\textbf{math-ph}: Fixed-point theorems for geometric flows—stable configurations arise from iterative curvature evolution\n\\item \\textbf{hep-th}: Holographic emergence—boundary theories arise as IR limits of bulk gravitational dynamics\n\\item \\textbf{cs.LG}: Universal approximation theorems imply that sufficient\narchitectural depth enables self-representation under recursive refinement\n\\item \\textbf{cond-mat.stat-mech}: Renormalization-group fixed points imply\nthat critical theories emerge from scale-invariant flows\n\\end{itemize}\n\\end{theorem}\n\n\\textbf{Constitutive Consequences:}\n\nThe observer is thus not a presupposition but an \\textit{emergent necessity}. Any system complex enough to maintain coherence must develop the capacity to differentiate itself from its environment, and this capacity \\textit{is} the observer. This resolves the classical paradox of observation by showing that:\n\n\\begin{enumerate}\n\\item \\textbf{No External Observer Required}: The system observes itself through its own constitutive reflexivity\n\\item \\textbf{Observer-System Unity}: Observer and observed are aspects of the same underlying structure\n\\item \\textbf{Bounded Rationality}: The observer's limitations are the system's own structural constraints\n\\item \\textbf{Emergent Consciousness}: Self-awareness arises naturally from recursive self-differentiation\n\\end{enumerate}\n\n\\end{scholium}",
  "line": 983,
  "macros_used": [
    "reflect"
  ],
  "matter_region": "mainmatter",
  "matter_role": "book1_foundational_scholium",
  "name": "The Constitutive Reflex",
  "ref_roles": [
    {
      "context": "entiation—the \\textit{constitutive reflex} through which any coherent structure necessarily encounters itself (cf.~Def.~\\ref{definition:bk1_bounded_observer}, Scholium~\\ref{scholium:bk1_curvature_flux_kin_kout}). \\textbf{Mathematical Formulation of Constitutive Reflexivity:}",
      "label": "definition:bk1_bounded_observer",
      "logical_support": true,
      "role": "cf_near_match",
      "target_file": "scholium_symbolicum.tex",
      "target_line": 27,
      "target_type": "definition"
    },
    {
      "context": "gh which any coherent structure necessarily encounters itself (cf.~Def.~\\ref{definition:bk1_bounded_observer}, Scholium~\\ref{scholium:bk1_curvature_flux_kin_kout}). \\textbf{Mathematical Formulation of Constitutive Reflexivity:} \\begin{enumerate} \\item \\textbf{Self-Reference Const",
      "label": "scholium:bk1_curvature_flux_kin_kout",
      "logical_support": true,
      "role": "cf_near_match",
      "target_file": "scholium_symbolicum.tex",
      "target_line": 898,
      "target_type": "scholium"
    }
  ],
  "refs": [
    "corollary:bk1_fixed_point",
    "definition:bk1_bounded_observer",
    "definition:bk1_reflection_operator",
    "scholium:bk1_constitutive_reflex",
    "scholium:bk1_curvature_flux_kin_kout"
  ],
  "role": "scholium",
  "type": "scholium"
}

{
  "book": "scholium_symbolicum",
  "cited_by": [
    "corollary:bk1_linear_insufficiency",
    "proof:bk1_geometric_necessity_curvature",
    "theorem:bk1_quadratic_structure_necessity"
  ],
  "cites": [
    "definition:bk1_bounded_observer",
    "definition:bk1_reflection_operator",
    "scholium:bk1_constitutive_reflex"
  ],
  "depends_on": [
    "definition:bk1_bounded_observer",
    "scholium:bk1_constitutive_reflex"
  ],
  "file": "scholium_symbolicum.tex",
  "forward_ref_roles": [
    {
      "context": ":bk1_constitutive_bootstrap} Every stable symbolic structure $\\mathcal{S}$ with reflection structure \\(\\reflect\\) (Def.~\\ref{definition:bk1_reflection_operator}; cf.~Scholium~\\ref{scholium:bk1_constitutive_reflex}) determines a maximal self-reflective substructure \\[ \\mathcal{S}_",
      "label": "definition:bk1_reflection_operator",
      "line_distance": 174,
      "role": "interpretive_bridge",
      "target_line": 1209,
      "target_type": "definition"
    }
  ],
  "forward_refs": [
    "definition:bk1_reflection_operator"
  ],
  "id": "theorem:bk1_constitutive_bootstrap",
  "label": "theorem:bk1_constitutive_bootstrap",
  "latex_body": "\\begin{theorem}[Constitutive Bootstrap Theorem]\n\\label{theorem:bk1_constitutive_bootstrap}\nEvery stable symbolic structure $\\mathcal{S}$ with reflection structure\n\\(\\reflect\\) (Def.~\\ref{definition:bk1_reflection_operator};\ncf.~Scholium~\\ref{scholium:bk1_constitutive_reflex}) determines a maximal\nself-reflective substructure\n\\[\n\\mathcal{S}_{\\mathrm{ref}}\n\\subseteq\n\\operatorname{Fix}(R_{\\mathrm{stab}})\n\\]\nrelative to the state-level stabilization component \\(R_{\\mathrm{stab}}\\).\nThe associated bounded observer is not literally equal to a limit of structures;\nit is extracted from this self-reflective core by\n\\[\n\\mathsf{Obs}(\\mathcal{S}_{\\mathrm{ref}})\n:=\n\\bigl(\nN_{\\mathcal{S}_{\\mathrm{ref}}},\n\\{\\delta_{\\mathcal{S}_{\\mathrm{ref}}}^{\\,n}\\}_{n=1}^{N_{\\mathcal{S}_{\\mathrm{ref}}}},\n\\epsilon_{\\mathcal{S}_{\\mathrm{ref}}}\n\\bigr),\n\\]\nwhere \\(N_{\\mathcal{S}_{\\mathrm{ref}}}\\) is the maximal differentiation order\nsupported on \\(\\mathcal{S}_{\\mathrm{ref}}\\), the\n\\(\\delta_{\\mathcal{S}_{\\mathrm{ref}}}^{\\,n}\\) are the internal difference\noperators stable on that core, and \\(\\epsilon_{\\mathcal{S}_{\\mathrm{ref}}}\\)\nis the induced resolution threshold. Thus \\(\\mathcal{O}\n=\\mathsf{Obs}(\\mathcal{S}_{\\mathrm{ref}})\\) is well typed as a bounded-observer\ntriple (Def.~\\ref{definition:bk1_bounded_observer}).\n\n\\begin{proof}[Extraction from Reflective Closure]\n\\label{proof:bk1_constitutive_bootstrap_extraction}\n\\leavevmode\n\\begin{enumerate}\n\\item \\textbf{Stability Requirement}: For $\\mathcal{S}$ to be stable, it must maintain coherence under perturbations, requiring internal differentiation capacity.\n\\item \\textbf{Reflection Necessity}: Stability demands a state-level stabilization \\(R_{\\mathrm{stab}}\\) to detect and correct boundary violations without identifying this stabilization with the tangent mirror \\(R_{\\mathrm{mir}}\\).\n\\item \\textbf{Reflective Closure}: By Cor.~\\ref{corollary:bk1_fixed_point}, the stabilized image of \\(R_{\\mathrm{stab}}\\) lies in \\(\\operatorname{Fix}(R_{\\mathrm{stab}})\\). Let \\(\\mathcal{S}_{\\mathrm{ref}}\\) be the maximal substructure of \\(\\mathcal{S}\\) contained in this fixed locus and closed under the internal differentiations available to \\(\\mathcal{S}\\).\n\\item \\textbf{Observer Extraction}: The tuple of maximal differentiation order, stable internal difference operators, and induced resolution threshold on \\(\\mathcal{S}_{\\mathrm{ref}}\\) has exactly the type required by Def.~\\ref{definition:bk1_bounded_observer}. Hence \\(\\mathsf{Obs}(\\mathcal{S}_{\\mathrm{ref}})\\) is a bounded observer generated by \\(\\mathcal{S}\\).\n\\end{enumerate}\n\\end{proof}\n\n\\textbf{Interpretive correspondences:}\n\\begin{itemize}\n\\item \\textbf{quant-ph}: Quantum Darwinism—stable states emerge through environmental decoherence and measurement\n\\item \\textbf{math-ph}: Fixed-point theorems for geometric flows—stable configurations arise from iterative curvature evolution\n\\item \\textbf{hep-th}: Holographic emergence—boundary theories arise as IR limits of bulk gravitational dynamics\n\\item \\textbf{cs.LG}: Universal approximation theorems imply that sufficient\narchitectural depth enables self-representation under recursive refinement\n\\item \\textbf{cond-mat.stat-mech}: Renormalization-group fixed points imply\nthat critical theories emerge from scale-invariant flows\n\\end{itemize}\n\\end{theorem}",
  "lean_alignment": {
    "conditions": [
      "application order in the composite is not interpreted as ontological origin order",
      "catS, observer detection, stage continuity, and geometric realization remain distinct supplied interfaces",
      "drift and reflection are fields of one OperationalStage witness; neither is derived from the other"
    ],
    "countermodels": [],
    "full_record": "bib/principia_lean_alignment.json",
    "kernel_certified": false,
    "notes": [
      "Only the proof's internal fixed-point sublemma (stabilized image of R_stab lies in, in fact equals, Fix(R_stab)) is modeled; the maximal self-reflective substructure and the (N, delta^n, epsilon) observer-extraction triple are not."
    ],
    "record_ids": [
      "MAP-SCHOLIUM_A-033"
    ],
    "statuses": [
      "open_bridge"
    ],
    "witnesses": [
      "ScholiumC.idempotent_image_eq_fixedPoints"
    ]
  },
  "line": 1035,
  "macros_used": [
    "reflect"
  ],
  "matter_region": "mainmatter",
  "matter_role": "book1_foundational_scholium",
  "name": "Constitutive Bootstrap Theorem",
  "proof_labels": [
    "proof:bk1_constitutive_bootstrap_extraction"
  ],
  "proof_status": "proven",
  "ref_roles": [
    {
      "context": "eshold. Thus \\(\\mathcal{O} =\\mathsf{Obs}(\\mathcal{S}_{\\mathrm{ref}})\\) is well typed as a bounded-observer triple (Def.~\\ref{definition:bk1_bounded_observer}). \\begin{proof}[Extraction from Reflective Closure] \\label{proof:bk1_constitutive_bootstrap_extraction} \\leavevmode \\b",
      "label": "definition:bk1_bounded_observer",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "scholium_symbolicum.tex",
      "target_line": 27,
      "target_type": "definition"
    },
    {
      "context": ":bk1_constitutive_bootstrap} Every stable symbolic structure $\\mathcal{S}$ with reflection structure \\(\\reflect\\) (Def.~\\ref{definition:bk1_reflection_operator}; cf.~Scholium~\\ref{scholium:bk1_constitutive_reflex}) determines a maximal self-reflective substructure \\[ \\mathcal{S}_",
      "label": "definition:bk1_reflection_operator",
      "logical_support": false,
      "role": "forward_interpretive_bridge",
      "target_file": "scholium_symbolicum.tex",
      "target_line": 1209,
      "target_type": "definition"
    },
    {
      "context": "cture $\\mathcal{S}$ with reflection structure \\(\\reflect\\) (Def.~\\ref{definition:bk1_reflection_operator}; cf.~Scholium~\\ref{scholium:bk1_constitutive_reflex}) determines a maximal self-reflective substructure \\[ \\mathcal{S}_{\\mathrm{ref}} \\subseteq \\operatorname{Fix}(R_{\\mathr",
      "label": "scholium:bk1_constitutive_reflex",
      "logical_support": true,
      "role": "cf_near_match",
      "target_file": "scholium_symbolicum.tex",
      "target_line": 983,
      "target_type": "scholium"
    }
  ],
  "refs": [
    "corollary:bk1_fixed_point",
    "definition:bk1_bounded_observer",
    "definition:bk1_reflection_operator",
    "scholium:bk1_constitutive_reflex"
  ],
  "role": "theorem",
  "type": "theorem"
}

{
  "book": "scholium_symbolicum",
  "cited_by": [],
  "cites": [
    "corollary:bk1_fixed_point",
    "definition:bk1_bounded_observer"
  ],
  "depends_on": [
    "definition:bk1_bounded_observer"
  ],
  "file": "scholium_symbolicum.tex",
  "forward_ref_roles": [
    {
      "context": "identifying this stabilization with the tangent mirror \\(R_{\\mathrm{mir}}\\). \\item \\textbf{Reflective Closure}: By Cor.~\\ref{corollary:bk1_fixed_point}, the stabilized image of \\(R_{\\mathrm{stab}}\\) lies in \\(\\operatorname{Fix}(R_{\\mathrm{stab}})\\). Let \\(\\mathcal{S}_{\\m",
      "label": "corollary:bk1_fixed_point",
      "line_distance": 1937,
      "role": "teaser",
      "target_line": 3003,
      "target_type": "corollary"
    }
  ],
  "forward_refs": [
    "corollary:bk1_fixed_point"
  ],
  "id": "proof:bk1_constitutive_bootstrap_extraction",
  "label": "proof:bk1_constitutive_bootstrap_extraction",
  "latex_body": "\\begin{proof}[Extraction from Reflective Closure]\n\\label{proof:bk1_constitutive_bootstrap_extraction}\n\\leavevmode\n\\begin{enumerate}\n\\item \\textbf{Stability Requirement}: For $\\mathcal{S}$ to be stable, it must maintain coherence under perturbations, requiring internal differentiation capacity.\n\\item \\textbf{Reflection Necessity}: Stability demands a state-level stabilization \\(R_{\\mathrm{stab}}\\) to detect and correct boundary violations without identifying this stabilization with the tangent mirror \\(R_{\\mathrm{mir}}\\).\n\\item \\textbf{Reflective Closure}: By Cor.~\\ref{corollary:bk1_fixed_point}, the stabilized image of \\(R_{\\mathrm{stab}}\\) lies in \\(\\operatorname{Fix}(R_{\\mathrm{stab}})\\). Let \\(\\mathcal{S}_{\\mathrm{ref}}\\) be the maximal substructure of \\(\\mathcal{S}\\) contained in this fixed locus and closed under the internal differentiations available to \\(\\mathcal{S}\\).\n\\item \\textbf{Observer Extraction}: The tuple of maximal differentiation order, stable internal difference operators, and induced resolution threshold on \\(\\mathcal{S}_{\\mathrm{ref}}\\) has exactly the type required by Def.~\\ref{definition:bk1_bounded_observer}. Hence \\(\\mathsf{Obs}(\\mathcal{S}_{\\mathrm{ref}})\\) is a bounded observer generated by \\(\\mathcal{S}\\).\n\\end{enumerate}\n\\end{proof}",
  "line": 1066,
  "macros_used": [],
  "matter_region": "mainmatter",
  "matter_role": "book1_foundational_scholium",
  "name": "Extraction from Reflective Closure",
  "proves": "theorem:bk1_constitutive_bootstrap",
  "ref_roles": [
    {
      "context": "identifying this stabilization with the tangent mirror \\(R_{\\mathrm{mir}}\\). \\item \\textbf{Reflective Closure}: By Cor.~\\ref{corollary:bk1_fixed_point}, the stabilized image of \\(R_{\\mathrm{stab}}\\) lies in \\(\\operatorname{Fix}(R_{\\mathrm{stab}})\\). Let \\(\\mathcal{S}_{\\m",
      "label": "corollary:bk1_fixed_point",
      "logical_support": false,
      "role": "forward_teaser",
      "target_file": "scholium_symbolicum.tex",
      "target_line": 3003,
      "target_type": "corollary"
    },
    {
      "context": "nce operators, and induced resolution threshold on \\(\\mathcal{S}_{\\mathrm{ref}}\\) has exactly the type required by Def.~\\ref{definition:bk1_bounded_observer}. Hence \\(\\mathsf{Obs}(\\mathcal{S}_{\\mathrm{ref}})\\) is a bounded observer generated by \\(\\mathcal{S}\\). \\end{enumerate}",
      "label": "definition:bk1_bounded_observer",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "scholium_symbolicum.tex",
      "target_line": 27,
      "target_type": "definition"
    }
  ],
  "refs": [
    "corollary:bk1_fixed_point",
    "definition:bk1_bounded_observer"
  ],
  "role": "proof",
  "type": "proof"
}

{
  "book": "scholium_symbolicum",
  "cited_by": [],
  "cites": [],
  "depends_on": [],
  "file": "scholium_symbolicum.tex",
  "id": "sec:bk1_ontological_assumptions",
  "label": "sec:bk1_ontological_assumptions",
  "latex_body": "",
  "line": 1102,
  "macros_used": [],
  "matter_region": "mainmatter",
  "matter_role": "book1_foundational_scholium",
  "name": "Ontological Assumptions",
  "role": "section",
  "subtype": "section",
  "type": "section"
}

{
  "book": "scholium_symbolicum",
  "cited_by": [
    "definition:bk1_symbolic_manifold",
    "proof:appB_smoothness_emergence",
    "theorem:appB_smoothness_emergence"
  ],
  "cites": [
    "axiom:bk1_axiomata_prima",
    "definition:bk1_let_cats_be_the_category",
    "definition:bk1_pre_geometric_operators_and_stages"
  ],
  "depends_on": [
    "axiom:bk1_axiomata_prima",
    "definition:bk1_let_cats_be_the_category",
    "definition:bk1_pre_geometric_operators_and_stages"
  ],
  "file": "scholium_symbolicum.tex",
  "id": "axiom:bk1_pre_geometric_nature",
  "label": "axiom:bk1_pre_geometric_nature",
  "latex_body": "\\begin{axiom}[Pre-geometric Nature]\n\\label{axiom:bk1_pre_geometric_nature}\n\\leavevmode\\newline\nThe following operators\n(Def.~\\ref{definition:bk1_pre_geometric_operators_and_stages}) originate in\npre-geometric form within the framework, as the direct unfolding of\nAxiom~\\ref{axiom:bk1_axiomata_prima} through the stage tower of $\\catS$\n(Def.~\\ref{definition:bk1_let_cats_be_the_category}):\n\\begin{enumerate}\n    \\item \\textbf{Drift} ($D$): The smooth field $D$ on emergent manifold $M$\n    is the stabilized limit of effective directional tendencies\n    (proto-drift fields $\\vec{D}_\\lambda$), themselves emergent effects of\n    generative operators $D_\\lambda$.\n    \\item \\textbf{Reflection} ($R$): The tangent mirror \\(R_{\\mathrm{mir}}\\) and state-level stabilization \\(R_{\\mathrm{stab}}\\) arise from the pre-geometric stabilization operators \\(R_\\lambda\\), with contraction or convergence supplied only by separate descent hypotheses.\n    \\item \\textbf{Smoothness}: The smooth manifold structure itself emerges through the limiting process $\\lambda \\to \\Omega$ applied to the pre-geometric structures $P_\\lambda$ and their relations, not by initial postulation.\n\\end{enumerate}\n\\end{axiom}",
  "lean_alignment": {
    "conditions": [
      "face 3 consumes the guarded-process machinery (LPS-P49) and the helix kernel (LPS-P48)",
      "pair-covering as the topological-regularity stand-in (Hausdorff/second-countable/paracompact/connected unmodeled, named); smoothness-as-C-infinity stays open",
      "the metaphysical scope of a three-word axiom is not exhausted; the operational tri-face kernel is what is certified"
    ],
    "countermodels": [],
    "full_record": "bib/principia_lean_alignment.json",
    "kernel_certified": true,
    "notes": [
      "Drift/reflection as pre-geometric operators (Existence-is-not/drift-as-origin) whose smooth limit is the AtlasTower emergence kernel."
    ],
    "record_ids": [
      "MAP-SCHOLIUM_A-092"
    ],
    "statuses": [
      "conditional"
    ],
    "witnesses": [
      "Atlas.manifold_emergence",
      "AxiomataPrima.two_channel_sustained"
    ]
  },
  "line": 1104,
  "macros_used": [
    "catS"
  ],
  "matter_region": "mainmatter",
  "matter_role": "book1_foundational_scholium",
  "name": "Pre-geometric Nature",
  "proof_status": "definitional",
  "ref_roles": [
    {
      "context": "geometric_operators_and_stages}) originate in pre-geometric form within the framework, as the direct unfolding of Axiom~\\ref{axiom:bk1_axiomata_prima} through the stage tower of $\\catS$ (Def.~\\ref{definition:bk1_let_cats_be_the_category}): \\begin{enumerate} \\item \\t",
      "label": "axiom:bk1_axiomata_prima",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "book1.tex",
      "target_line": 3,
      "target_type": "axiom"
    },
    {
      "context": "the framework, as the direct unfolding of Axiom~\\ref{axiom:bk1_axiomata_prima} through the stage tower of $\\catS$ (Def.~\\ref{definition:bk1_let_cats_be_the_category}): \\begin{enumerate} \\item \\textbf{Drift} ($D$): The smooth field $D$ on emergent manifold $M$ is the stabilized",
      "label": "definition:bk1_let_cats_be_the_category",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "scholium_symbolicum.tex",
      "target_line": 16,
      "target_type": "definition"
    },
    {
      "context": "n{axiom}[Pre-geometric Nature] \\label{axiom:bk1_pre_geometric_nature} \\leavevmode\\newline The following operators (Def.~\\ref{definition:bk1_pre_geometric_operators_and_stages}) originate in pre-geometric form within the framework, as the direct unfolding of Axiom~\\ref{axiom:bk1_axiomata_prima}",
      "label": "definition:bk1_pre_geometric_operators_and_stages",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "scholium_symbolicum.tex",
      "target_line": 355,
      "target_type": "definition"
    }
  ],
  "refs": [
    "axiom:bk1_axiomata_prima",
    "definition:bk1_let_cats_be_the_category",
    "definition:bk1_pre_geometric_operators_and_stages"
  ],
  "role": "axiom",
  "type": "axiom"
}

{
  "book": "scholium_symbolicum",
  "cited_by": [],
  "cites": [],
  "depends_on": [],
  "file": "scholium_symbolicum.tex",
  "id": "remark:scholium_symbolicum.tex:1121",
  "label": "",
  "latex_body": "\\begin{remark}\nAxiom  emphasizes the ontological priority of the pre-geometric processes (differentiation $D_\\lambda$, stabilization $R_\\lambda$) over the emergent geometric structures ($M, D, R$). The manifold and its operators are consequences of the underlying dynamics, as perceived through the lens of bounded emergence.\n\\end{remark}",
  "line": 1121,
  "macros_used": [],
  "matter_region": "mainmatter",
  "matter_role": "book1_foundational_scholium",
  "name": "",
  "refs": [],
  "role": "remark",
  "type": "remark"
}

{
  "book": "scholium_symbolicum",
  "cited_by": [
    "assumption:bk4_precritical_scalar_trace",
    "scholium:bk4_clifford_correspondence",
    "scholium:bk4_cut_wheel_nonorientable"
  ],
  "cites": [
    "definition:bk1_reflection_operator",
    "definition:bk1_symbolic_manifold"
  ],
  "depends_on": [],
  "file": "scholium_symbolicum.tex",
  "forward_ref_roles": [
    {
      "context": "if it satisfies the following conditions under recursive application of the reflection operator \\( \\reflect_n \\) (Def.~\\ref{definition:bk1_reflection_operator}): \\begin{enumerate} \\item \\textbf{Orientation Sensitivity:} \\( \\reflect_n(\\psi) \\neq \\reflect_n(-\\psi) \\), i.e., r",
      "label": "definition:bk1_reflection_operator",
      "line_distance": 85,
      "role": "downstream_application",
      "target_line": 1209,
      "target_type": "definition"
    },
    {
      "context": "cture \\( \\psi \\in \\mathcal{S}(M) \\) is said to exhibit \\emph{spinor-like behavior} on a symbolic manifold \\( M \\) (Def.~\\ref{definition:bk1_symbolic_manifold}) if it satisfies the following conditions under recursive application of the reflection operator \\( \\reflect_n \\) (Def.",
      "label": "definition:bk1_symbolic_manifold",
      "line_distance": 64,
      "role": "downstream_application",
      "target_line": 1188,
      "target_type": "definition"
    }
  ],
  "forward_refs": [
    "definition:bk1_reflection_operator",
    "definition:bk1_symbolic_manifold"
  ],
  "id": "definition:bk1_spinor_like_structure",
  "label": "definition:bk1_spinor_like_structure",
  "latex_body": "\\begin{definition}[Spinor-Like Symbolic Structure]\n\\label{definition:bk1_spinor_like_structure}\nA symbolic structure \\( \\psi \\in \\mathcal{S}(M) \\) is said to exhibit \\emph{spinor-like behavior} on a symbolic manifold \\( M \\) (Def.~\\ref{definition:bk1_symbolic_manifold}) if it satisfies the following conditions under recursive application of the reflection operator \\( \\reflect_n \\) (Def.~\\ref{definition:bk1_reflection_operator}):\n\n\\begin{enumerate}\n    \\item \\textbf{Orientation Sensitivity:} \\( \\reflect_n(\\psi) \\neq \\reflect_n(-\\psi) \\), i.e., recursive encoding distinguishes symbolic orientation. This echoes the classical distinction between vectors and spinors, where the latter change sign under \\( 2\\pi \\) rotation~\\cite{lawson_spin_geometry}.\n\n    \\item \\textbf{Double Rotation Symmetry:} There exists minimal \\( n_0 \\in \\mathbb{N} \\) such that \\( \\reflect_{2n_0}(\\psi) = \\psi \\), but \\( \\reflect_{n_0}(\\psi) \\neq \\psi \\), reflecting a \\(4\\pi\\)-periodic recurrence. This property mirrors spinor holonomy in Riemannian geometry~\\cite{friedrich_dirac} and is a hallmark of spinorial behavior on curved manifolds.\n\n    \\item \\textbf{Observer-Bounded Curvature Coupling:}\n    Evolution of \\( \\psi \\) depends on local observer-relative curvature\n    \\( \\kappa_{\\mathcal{O}}(x) \\), with drift propagation modeled by\n    \\( \\frac{d}{dn}\\reflect_n(\\psi) \\propto \\kappa_{\\mathcal{O}}\\psi \\).\n    This is an analogue of covariant spinor transport in symbolic phase space.\n\\end{enumerate}\n\nTogether these properties define a symbolic analogue of classical spinors:\nelements whose recursive drift encodings are orientation-sensitive,\ncurvature-coupled, and require double application for global phase restoration.\nThis anticipates the formal spinor-bundle structure introduced in Book~IV.\n\\end{definition}",
  "lean_alignment": {
    "conditions": [
      "carrier-indexed linear instruments; injectivity or another explicit faithfulness witness for detection claims",
      "curvature coupling, general minimal period, and covariant transport remain open",
      "drift and reflection are jointly supplied and both nonidentity in the concrete witness",
      "explicit unique orthogonal Hodge decomposition and faithful first-cohomology class map",
      "finite model: selected orthogonal exact/coexact subspaces",
      "global certificate: compact, connected, oriented, smooth Riemannian membrane without boundary",
      "linear operational readout for perceptual or computational exposure",
      "the reader/operator and operate action are explicit data; the process description does not enact itself",
      "the recursive phase certificate is finite and observer-relative, not a smooth spinor bundle"
    ],
    "countermodels": [],
    "full_record": "bib/principia_lean_alignment.json",
    "kernel_certified": false,
    "notes": [
      "A reader-operated co-emergent drift/reflection process drives the recursive step: the structure is inert until an explicit operate action is supplied and certified faithful. The observer distinguishes the half-cycle orientation and the double cycle restores embodied phase; a ZMod 4 construction proves both operations nonidentity. This remains partial: curvature coupling, smooth transport, general minimality, and a genuine spinor bundle are open."
    ],
    "record_ids": [
      "MAP-SCHOLIUM_A-015"
    ],
    "statuses": [
      "open_bridge"
    ],
    "witnesses": [
      "ScholiumA.CoemergentPhaseProcess.ObserverPhaseCertificate.components",
      "ScholiumA.CoemergentPhaseProcess.zmod4_pair_nontrivial",
      "ScholiumA.stepZMod4_four_returns",
      "ScholiumA.stepZMod4_two_no_return"
    ]
  },
  "line": 1124,
  "macros_used": [
    "reflect"
  ],
  "matter_region": "mainmatter",
  "matter_role": "book1_foundational_scholium",
  "name": "Spinor-Like Symbolic Structure",
  "proof_status": "definitional",
  "ref_roles": [
    {
      "context": "if it satisfies the following conditions under recursive application of the reflection operator \\( \\reflect_n \\) (Def.~\\ref{definition:bk1_reflection_operator}): \\begin{enumerate} \\item \\textbf{Orientation Sensitivity:} \\( \\reflect_n(\\psi) \\neq \\reflect_n(-\\psi) \\), i.e., r",
      "label": "definition:bk1_reflection_operator",
      "logical_support": false,
      "role": "forward_downstream_application",
      "target_file": "scholium_symbolicum.tex",
      "target_line": 1209,
      "target_type": "definition"
    },
    {
      "context": "cture \\( \\psi \\in \\mathcal{S}(M) \\) is said to exhibit \\emph{spinor-like behavior} on a symbolic manifold \\( M \\) (Def.~\\ref{definition:bk1_symbolic_manifold}) if it satisfies the following conditions under recursive application of the reflection operator \\( \\reflect_n \\) (Def.",
      "label": "definition:bk1_symbolic_manifold",
      "logical_support": false,
      "role": "forward_downstream_application",
      "target_file": "scholium_symbolicum.tex",
      "target_line": 1188,
      "target_type": "definition"
    }
  ],
  "refs": [
    "definition:bk1_reflection_operator",
    "definition:bk1_symbolic_manifold"
  ],
  "role": "definition",
  "type": "definition"
}

{
  "book": "scholium_symbolicum",
  "cited_by": [],
  "cites": [
    "definition:bk1_symbolic_manifold"
  ],
  "depends_on": [],
  "file": "scholium_symbolicum.tex",
  "forward_ref_roles": [
    {
      "context": "lium}[Spinor-Like Structures and Representation Learning] \\label{scholium:bk1_spinor_like_ml} In symbolic systems (Def.~\\ref{definition:bk1_symbolic_manifold}), spinor-like structures such as \\( \\psi \\in \\mathcal{S}(M) \\) provide geometric intuition for representation learning",
      "label": "definition:bk1_symbolic_manifold",
      "line_distance": 43,
      "role": "teaser",
      "target_line": 1188,
      "target_type": "definition"
    }
  ],
  "forward_refs": [
    "definition:bk1_symbolic_manifold"
  ],
  "id": "scholium:bk1_spinor_like_ml",
  "label": "scholium:bk1_spinor_like_ml",
  "latex_body": "\\begin{scholium}[Spinor-Like Structures and Representation Learning]\n\\label{scholium:bk1_spinor_like_ml}\nIn symbolic systems (Def.~\\ref{definition:bk1_symbolic_manifold}), spinor-like\nstructures such as \\( \\psi \\in \\mathcal{S}(M) \\) provide geometric intuition\nfor representation learning sensitive to orientation, topology, and recursive\nphase behavior.\nUnlike classical vectors, which return under \\(2\\pi\\)-rotation, spinor-like\nforms require a \\(4\\pi\\)-cycle for full phase restoration.\nThis captures deeper symmetries in representation space\n(see \\cite{lawson_spin_geometry,penrose_spinors}).\n\nThis behavior matters for machine learning.\nMany latent representations in deep networks encode orientation-sensitive\nfeatures (e.g., sentence polarity, causal directionality, gauge equivariance).\nStandard vector embeddings cannot distinguish $\\psi$ from $-\\psi$, which can\ncollapse distinct symbolic states.\nSpinor-like representations preserve these distinctions through recursive\norientation coupling and observer-relative curvature constraints\n~\\cite{friedrich_dirac,nash_sen}.\n\nThus symbolic spinor behavior suggests a class of latent encodings that are\ncurvature-aware, symmetry-sensitive, and resolution-adaptive, with robust\ngeneralization under test-time distribution shift.\nIn this light, Test-Time Differentiation Collapse (TTDC) can be read as a\nsymbolic analogue to test-time collapse in overparameterized models with\ninsufficient phase-aware regularization.\n\\end{scholium}",
  "line": 1145,
  "macros_used": [],
  "matter_region": "mainmatter",
  "matter_role": "book1_foundational_scholium",
  "name": "Spinor-Like Structures and Representation Learning",
  "ref_roles": [
    {
      "context": "lium}[Spinor-Like Structures and Representation Learning] \\label{scholium:bk1_spinor_like_ml} In symbolic systems (Def.~\\ref{definition:bk1_symbolic_manifold}), spinor-like structures such as \\( \\psi \\in \\mathcal{S}(M) \\) provide geometric intuition for representation learning",
      "label": "definition:bk1_symbolic_manifold",
      "logical_support": false,
      "role": "forward_teaser",
      "target_file": "scholium_symbolicum.tex",
      "target_line": 1188,
      "target_type": "definition"
    }
  ],
  "refs": [
    "definition:bk1_symbolic_manifold"
  ],
  "role": "scholium",
  "type": "scholium"
}

{
  "book": "scholium_symbolicum",
  "cited_by": [
    "proposition:bk1_observer_relative_bounded_approximation"
  ],
  "cites": [
    "definition:bk1_drift_field",
    "definition:bk1_reflection_operator"
  ],
  "depends_on": [],
  "file": "scholium_symbolicum.tex",
  "forward_ref_roles": [
    {
      "context": "",
      "label": "definition:bk1_drift_field",
      "line_distance": 25,
      "role": "navigation",
      "target_line": 1198,
      "target_type": "definition"
    },
    {
      "context": "",
      "label": "definition:bk1_reflection_operator",
      "line_distance": 36,
      "role": "navigation",
      "target_line": 1209,
      "target_type": "definition"
    }
  ],
  "forward_refs": [
    "definition:bk1_drift_field",
    "definition:bk1_reflection_operator"
  ],
  "id": "sec:bk1_minimal_structure_for_symbolic_emergence",
  "label": "sec:bk1_minimal_structure_for_symbolic_emergence",
  "latex_body": "",
  "line": 1173,
  "macros_used": [],
  "matter_region": "mainmatter",
  "matter_role": "book1_foundational_scholium",
  "name": "Minimal Structure for Symbolic Emergence",
  "ref_roles": [
    {
      "context": "",
      "label": "definition:bk1_drift_field",
      "logical_support": false,
      "role": "forward_navigation",
      "target_file": "scholium_symbolicum.tex",
      "target_line": 1198,
      "target_type": "definition"
    },
    {
      "context": "",
      "label": "definition:bk1_reflection_operator",
      "logical_support": false,
      "role": "forward_navigation",
      "target_file": "scholium_symbolicum.tex",
      "target_line": 1209,
      "target_type": "definition"
    }
  ],
  "role": "section",
  "subtype": "section",
  "type": "section"
}

{
  "book": "scholium_symbolicum",
  "cited_by": [],
  "cites": [
    "definition:bk1_drift_field",
    "definition:bk1_reflection_operator"
  ],
  "depends_on": [],
  "file": "scholium_symbolicum.tex",
  "forward_ref_roles": [
    {
      "context": "",
      "label": "definition:bk1_drift_field",
      "line_distance": 22,
      "role": "navigation",
      "target_line": 1198,
      "target_type": "definition"
    },
    {
      "context": "",
      "label": "definition:bk1_reflection_operator",
      "line_distance": 33,
      "role": "navigation",
      "target_line": 1209,
      "target_type": "definition"
    }
  ],
  "forward_refs": [
    "definition:bk1_drift_field",
    "definition:bk1_reflection_operator"
  ],
  "id": "subsec:bk1_motivation",
  "label": "subsec:bk1_motivation",
  "latex_body": "",
  "line": 1176,
  "macros_used": [],
  "matter_region": "mainmatter",
  "matter_role": "book1_foundational_scholium",
  "name": "Motivation",
  "ref_roles": [
    {
      "context": "",
      "label": "definition:bk1_drift_field",
      "logical_support": false,
      "role": "forward_navigation",
      "target_file": "scholium_symbolicum.tex",
      "target_line": 1198,
      "target_type": "definition"
    },
    {
      "context": "",
      "label": "definition:bk1_reflection_operator",
      "logical_support": false,
      "role": "forward_navigation",
      "target_file": "scholium_symbolicum.tex",
      "target_line": 1209,
      "target_type": "definition"
    }
  ],
  "role": "section",
  "subtype": "subsection",
  "type": "section"
}

{
  "book": "scholium_symbolicum",
  "cited_by": [],
  "cites": [],
  "depends_on": [],
  "file": "scholium_symbolicum.tex",
  "id": "subsec:bk1_symbolic_manifold_structure",
  "label": "subsec:bk1_symbolic_manifold_structure",
  "latex_body": "",
  "line": 1185,
  "macros_used": [],
  "matter_region": "mainmatter",
  "matter_role": "book1_foundational_scholium",
  "name": "The Symbolic Manifold and Its Structure",
  "role": "section",
  "subtype": "subsection",
  "type": "section"
}

{
  "book": "scholium_symbolicum",
  "cited_by": [
    "axiom:bk1_symbolic_primacy",
    "axiom:bk4_bounded_accessibility",
    "axiom:bk8_observer_bounded_emergence",
    "axiom:bk8_symbolic_reidemeister_algebra",
    "axiom:bk9_bounded_liberation_principle",
    "corollary:bk8_memory_repair_robustness",
    "corollary:bk8_universality_condition",
    "definition:appB_symbolic_state_space",
    "definition:appC_observer_visible_system",
    "definition:appC_reflective_state_space",
    "definition:bk1_bounded_symbolic_approximation",
    "definition:bk1_drift_field",
    "definition:bk1_emergence_event",
    "definition:bk1_horizon_structure",
    "definition:bk1_minimal_linear_ps_model",
    "definition:bk1_newtonian_category_error",
    "definition:bk1_observer_horizon_structure",
    "definition:bk1_problem_of_symbolic_smoothness",
    "definition:bk1_reflection_operator",
    "definition:bk1_self_regulating_mapping_function_srmf",
    "definition:bk1_shared_boundary_paradox",
    "definition:bk1_spinor_like_structure",
    "definition:bk1_srmf_energy_functional",
    "definition:bk1_symbolic_category",
    "definition:bk1_symbolic_connection",
    "definition:bk1_symbolic_contradiction",
    "definition:bk1_symbolic_hypothesis",
    "definition:bk1_symbolic_manifold_feature_maps",
    "definition:bk2_symbolic_partition_funct",
    "definition:bk4_coherence_metric_on_symbolic_manifold",
    "definition:bk4_fuzzy_divergence_operator",
    "definition:bk4_imaginary_symbolic_distance",
    "definition:bk4_observer_kernel_convolution_map",
    "definition:bk4_observer_metric",
    "definition:bk4_proto_symbolic_space",
    "definition:bk4_sr_initialization_map",
    "definition:bk4_symbolic_auto_encoder",
    "definition:bk4_symbolic_curvature",
    "definition:bk4_symbolic_emergence",
    "definition:bk4_symbolic_identity_carrie",
    "definition:bk4_test_time_precision_refinement",
    "definition:bk5_reflective_drift_coupling_tensor",
    "definition:bk5_symbolic_operator_space",
    "definition:bk8_identitystability",
    "definition:bk8_metabolic_programming_cycle",
    "definition:bk8_symbolic_hypothesis_manifold",
    "definition:bk8_symbolic_projection",
    "definition:bk8_transform_group",
    "definition:bk9_frame_selection_reflection",
    "definition:bk9_memetic_operator",
    "definition:bk9_symbolic_black_hole",
    "definition:bk9_symbolic_framework",
    "definition:bk9_symbolic_operator",
    "demonstratio:bk4_symbolic_graph_topological_stability",
    "lemma:bk1_contradiction_resolution_principle",
    "lemma:bk1_horizon_characterization",
    "lemma:bk4_properties_of_ttcs",
    "lemma:bk4_srmf_constrained_action_norm",
    "proof:bk1_constructive_resolution",
    "proof:bk1_nonvacuity_minimal_linear_ps_model",
    "proof:bk1_sketch_fokker_planck_action",
    "proof:bk2_smoothness_symbolic_hamiltonian",
    "proof:bk3_sketch_evolutionary_dynamics",
    "proof:bk4_bounded_expansion_under_observer_constrained_coherence",
    "proof:bk4_symbolic_work_path_dependence",
    "proof:bk5_coherence_through_dynamic_equilibriium",
    "proof:bk5_golden_ratio_spectral_invariant",
    "proof:bk5_symbolic_temperature_threshold",
    "proof:bk7_strict_convexity_lp_error",
    "proof:bk8_curvature_entanglement_equivalence",
    "proof:bk8_membrane_identity_collapse",
    "proof:bk8_universality_condition",
    "proposition:bk4_homological_extension",
    "proposition:bk4_symbolic_work_path_dependence",
    "proposition:bk5_symbolic_ess_via_map_observability_variant",
    "proposition:bk8_membrane_identity_collapse",
    "proposition:bk8_operator_curvature_flux",
    "proposition:bk9_emergence_of_shared_manifold",
    "remark:bk4_betti_growth",
    "remark:bk7_unnamed_remark_04",
    "scholium:bk1_hypotheses_as_submanifolds",
    "scholium:bk1_spinor_like_ml",
    "scholium:bk2_on_hypotheses_as_thermodyn",
    "scholium:bk4_symbolic_parsimony",
    "scholium:bk4_towards_symbolic_equilibrium",
    "scholium:bk4_ttcs_simulation_tool_use",
    "scholium:bk4_ttdc_symbolic_singularity",
    "scholium:bk5_metabolic_cost_of_cognition",
    "sec:bk1_category_errors_in_classical_models",
    "sec:bk1_quadratic_sufficiency_and_symbolic_curvature",
    "sec:bk5_funadmenta_symbolicae_vitae",
    "sec:bk5_srmf_for_symbolic_operators_and_processes",
    "sec:bk7_preamble_the_arc_toward_coherence",
    "sec:bk8_definitiones_octavae",
    "sec:bk8_scholium",
    "subsec:bk1_emergence_via_paradox_resolution",
    "subsec:bk2_core_thermodynamic_quantities",
    "subsec:bk4_coherence_metric_construction",
    "subsec:bk4_foundations_symbolic_fragmentation",
    "subsec:bk4_fuzzy_sum_rule",
    "subsec:bk8_symbolic_knots_and_emergent_entanglement",
    "theorem:bk1_dual_horizon_cosmogenesis",
    "theorem:bk1_quadratic_structure_necessity",
    "theorem:bk4_freedom_criterion",
    "theorem:bk5_operator_convergence",
    "theorem:bk7_reflective_convergence_to_stable_identity",
    "theorem:bk8_gradient_dissipation_balance",
    "theorem:bk9_isolation_dissociation_theorem"
  ],
  "cites": [
    "axiom:bk1_pre_geometric_nature",
    "definition:bk1_let_cats_be_the_category"
  ],
  "depends_on": [
    "axiom:bk1_pre_geometric_nature",
    "definition:bk1_let_cats_be_the_category"
  ],
  "file": "scholium_symbolicum.tex",
  "id": "definition:bk1_symbolic_manifold",
  "label": "definition:bk1_symbolic_manifold",
  "latex_body": "\\begin{definition}[Symbolic Manifold]\n\\label{definition:bk1_symbolic_manifold}\nLet $\\mathcal{S}$ be a smooth manifold of dimension $n \\geq 2$, equipped with a Riemannian metric tensor $g$, arising as the geometric realisation of the category of structures $\\catS$ (Def.~\\ref{definition:bk1_let_cats_be_the_category}). Points $s \\in \\mathcal{S}$ represent symbolic states, and the tangent space $T_s\\mathcal{S}$ at each point encodes the space of possible symbolic transformations accessible from state $s$.\n\\end{definition}",
  "lean_alignment": {
    "conditions": [
      "application order in the composite is not interpreted as ontological origin order",
      "catS, observer detection, stage continuity, and geometric realization remain distinct supplied interfaces",
      "drift and reflection are fields of one OperationalStage witness; neither is derived from the other"
    ],
    "countermodels": [],
    "full_record": "bib/principia_lean_alignment.json",
    "kernel_certified": true,
    "notes": [
      "Re-read via the FracturedAtlas license: existence of 'the' metric is Atlas.consistent_of_glued (given Glued + PairCovers); this file adds the uniqueness half. The manifold's smooth structure and dimension n >= 2 are not modeled."
    ],
    "record_ids": [
      "MAP-SCHOLIUM_A-034"
    ],
    "statuses": [
      "conditional"
    ],
    "witnesses": [
      "ScholiumC.consistent_unique"
    ]
  },
  "line": 1188,
  "macros_used": [
    "catS"
  ],
  "matter_region": "mainmatter",
  "matter_role": "book1_foundational_scholium",
  "name": "Symbolic Manifold",
  "proof_status": "definitional",
  "ref_roles": [
    {
      "context": "",
      "label": "axiom:bk1_pre_geometric_nature",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "scholium_symbolicum.tex",
      "target_line": 1104,
      "target_type": "axiom"
    },
    {
      "context": "d with a Riemannian metric tensor $g$, arising as the geometric realisation of the category of structures $\\catS$ (Def.~\\ref{definition:bk1_let_cats_be_the_category}). Points $s \\in \\mathcal{S}$ represent symbolic states, and the tangent space $T_s\\mathcal{S}$ at each point encodes th",
      "label": "definition:bk1_let_cats_be_the_category",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "scholium_symbolicum.tex",
      "target_line": 16,
      "target_type": "definition"
    }
  ],
  "refs": [
    "definition:bk1_let_cats_be_the_category"
  ],
  "role": "definition",
  "type": "definition"
}

{
  "book": "scholium_symbolicum",
  "cited_by": [
    "assumption:appB_srv_dissipativity",
    "axiom:bk1_symbolic_smoothness",
    "axiom:bk2_gradient_structure_drift",
    "axiom:bk4_membrane_coupling_response",
    "corollary:bk8_projective_drift",
    "corollary:bk9_selfreferential_capacity",
    "definition:bk1_certified_type_preserving_symbolic_transport",
    "definition:bk1_horizon_structure",
    "definition:bk1_minimal_linear_ps_model",
    "definition:bk1_newtonian_category_error",
    "definition:bk1_observer_horizon_structure",
    "definition:bk1_reflection_operator",
    "definition:bk1_symbolic_contradiction",
    "definition:bk1_symbolic_hypothesis",
    "definition:bk3_symbolic_membrane",
    "definition:bk4_fuzzy_divergence_operator",
    "definition:bk4_order_parameter",
    "definition:bk4_substituted_drift_field",
    "definition:bk4_symbolic_emergence",
    "definition:bk4_symbolic_memory_distortion",
    "definition:bk4_symbolic_spinor_bundle",
    "definition:bk4_test_time_coherent_sampling",
    "definition:bk5_reflective_drift_coupling_tensor",
    "definition:bk5_symbolic_metabolism",
    "definition:bk6_symbolic_system",
    "definition:bk8_identitystability",
    "definition:bk8_metabolic_programming_cycle",
    "definition:bk8_sr_renormalization_group",
    "definition:bk8_structural_regulators",
    "definition:bk8_symbolic_adjacency",
    "definition:bk8_symbolic_hypothesis_manifold",
    "definition:bk9_automatic_operator",
    "definition:bk9_generative_asymmetry",
    "definition:bk9_orthogonal_time_component",
    "definition:bk9_recursive_liberation",
    "demonstratio:bk4_ising_model_covenant",
    "demonstratio:bk4_prompt_time_ttdc",
    "lemma:bk1_coherence_of_proto_drift_fields",
    "lemma:bk1_contradiction_resolution_principle",
    "lemma:bk1_horizon_characterization",
    "proof:bk1_constructive_resolution",
    "proof:bk1_geometric_necessity_curvature",
    "proof:bk1_horizon_characterization",
    "proof:bk1_nonvacuity_minimal_linear_ps_model",
    "proof:bk1_proof_of_dual_horizon_necessity_theorem",
    "proof:bk1_sketch_fokker_planck_action",
    "proof:bk2_smoothness_symbolic_hamiltonian",
    "proof:bk3_sketch_necessity_for_continuous_operation",
    "proof:bk4_bounded_expansion_under_observer_constrained_coherence",
    "proof:bk4_emergence_conditions",
    "proof:bk4_symbolic_identity_persistence",
    "proof:bk5_coherence_through_dynamic_equilibriium",
    "proof:bk5_entropy_increase_from_drift",
    "proof:bk5_golden_ratio_spectral_invariant",
    "proof:bk5_map_resistance_to_drift",
    "proof:bk5_symbolic_temperature_threshold",
    "proposition:bk5_symbolic_ess_via_map_observability_variant",
    "proposition:bk6_drift_reflection_correspondence",
    "proposition:bk8_observer_frame_invariance",
    "remark:appB_embodied_predictive_geometry",
    "remark:appD_llm_tuple_anchors",
    "remark:bk3_toward_symbolic_evolution",
    "remark:bk9_cross_modality_cognition",
    "scholium:appC_two_horizons_co_constitutive",
    "scholium:bk1_resolution_of_continuum_disjunction",
    "scholium:bk3_hypotheses_as_cognitive_membranes",
    "scholium:bk4_fuzzy_exponential_growth",
    "scholium:bk4_irreversibility_as_trace",
    "scholium:bk4_meaning_volume",
    "scholium:bk4_micro_local_vs_path_global_irreversibility",
    "scholium:bk4_symbolic_drift_fields",
    "scholium:bk4_towards_symbolic_equilibrium",
    "scholium:bk4_ttcs_simulation_tool_use",
    "scholium:bk4_ttcs_stochastic_operator",
    "scholium:bk5_hypotheses_as_adaptive_sym",
    "scholium:bk7_on_symbolic_reciprocity",
    "scholium:bk8_metabolic_programming_as_proto_freedom",
    "sec:bk1_minimal_structure_for_symbolic_emergence",
    "sec:bk5_funadmenta_symbolicae_vitae",
    "sec:bk5_symbolic_covenants_and_mutually_assured_progress",
    "sec:bk7_meta_reflective_drift_and_emergent_symbolic_time",
    "sec:bk7_pisu_universal_symbolic_uncertainty",
    "subsec:bk1_emergence_via_paradox_resolution",
    "subsec:bk1_motivation",
    "subsec:bk2_core_thermodynamic_quantities",
    "subsec:bk4_foundations_symbolic_fragmentation",
    "subsec:bk4_symbolic_identity_collapse",
    "subsec:bk7_pisu_regimes",
    "subsec:bk7_pisu_revisited_power_uncertainty",
    "subsec:bk7_sources_regimes_uncertainty",
    "subsec:bk9_betrayal_as_reflective_fracture",
    "theorem:bk1_dual_horizon_cosmogenesis",
    "theorem:bk1_quadratic_structure_necessity",
    "theorem:bk1_symbolic_emergence_theorem_thermodynamics",
    "theorem:bk3_homeostatic_reflexes",
    "theorem:bk4_paradoxical_arrow_of_time",
    "theorem:bk4_test_time_differentiation_c",
    "theorem:bk8_thermodynamic_necessity_of_symbolic_metabolism"
  ],
  "cites": [
    "axiom:bk1_axiomata_prima",
    "definition:bk1_symbolic_manifold"
  ],
  "depends_on": [
    "axiom:bk1_axiomata_prima",
    "definition:bk1_symbolic_manifold"
  ],
  "file": "scholium_symbolicum.tex",
  "id": "definition:bk1_drift_field",
  "label": "definition:bk1_drift_field",
  "latex_body": "\\begin{definition}[Drift Field]\n\\label{definition:bk1_drift_field}\nLet $\\mathcal{S}$ be a symbolic manifold as defined in Def.~\\ref{definition:bk1_symbolic_manifold}.\nA drift field $D$ is a smooth vector field on $\\mathcal{S}$ such that \\( D: \\mathcal{S} \\rightarrow T\\mathcal{S} \\) assigns to each symbolic state \\( s \\) a preferred direction of spontaneous evolution in the absence of external constraints, the direct dynamical expression of Axiom~\\ref{axiom:bk1_axiomata_prima}. The drift field satisfies:\n\\begin{enumerate}\n    \\item Smoothness: \\( D \\in C^\\infty(\\mathcal{S}, T\\mathcal{S}) \\)\n    \\item Non-degeneracy: \\( D(s) \\neq 0 \\) for all \\( s \\) in a dense subset of \\( \\mathcal{S} \\)\n    \\item Bounded divergence: \\( \\nabla \\cdot D \\) is locally bounded\n\\end{enumerate}\n\\end{definition}",
  "line": 1198,
  "macros_used": [],
  "matter_region": "mainmatter",
  "matter_role": "book1_foundational_scholium",
  "name": "Drift Field",
  "proof_status": "definitional",
  "ref_roles": [
    {
      "context": "red direction of spontaneous evolution in the absence of external constraints, the direct dynamical expression of Axiom~\\ref{axiom:bk1_axiomata_prima}. The drift field satisfies: \\begin{enumerate} \\item Smoothness: \\( D \\in C^\\infty(\\mathcal{S}, T\\mathcal{S}) \\)",
      "label": "axiom:bk1_axiomata_prima",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "book1.tex",
      "target_line": 3,
      "target_type": "axiom"
    },
    {
      "context": "definition}[Drift Field] \\label{definition:bk1_drift_field} Let $\\mathcal{S}$ be a symbolic manifold as defined in Def.~\\ref{definition:bk1_symbolic_manifold}. A drift field $D$ is a smooth vector field on $\\mathcal{S}$ such that \\( D: \\mathcal{S} \\rightarrow T\\mathcal{S} \\) as",
      "label": "definition:bk1_symbolic_manifold",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "scholium_symbolicum.tex",
      "target_line": 1188,
      "target_type": "definition"
    }
  ],
  "refs": [
    "axiom:bk1_axiomata_prima",
    "definition:bk1_symbolic_manifold"
  ],
  "role": "definition",
  "type": "definition"
}

{
  "book": "scholium_symbolicum",
  "certificate_tier": "C",
  "cited_by": [
    "assumption:appB_srv_dissipativity",
    "axiom:bk1_symbolic_smoothness",
    "axiom:bk8_curvature_transformation",
    "corollary:bk1_fixed_point",
    "corollary:bk8_projective_drift",
    "corollary:bk9_selfreferential_capacity",
    "definition:bk1_certified_type_preserving_symbolic_transport",
    "definition:bk1_minimal_linear_ps_model",
    "definition:bk1_observer_horizon_structure",
    "definition:bk1_self_regulating_mapping_function_srmf",
    "definition:bk1_spinor_like_structure",
    "definition:bk1_symbolic_hypothesis",
    "definition:bk2_symbolic_hamiltonian",
    "definition:bk3_symbolic_metabolism",
    "definition:bk4_individuated_symbolic_id",
    "definition:bk4_reflexive_operator",
    "definition:bk4_symbolic_memory_distortion",
    "definition:bk4_symbolic_spinor_bundle",
    "definition:bk4_test_time_coherent_sampling",
    "definition:bk5_reflective_coupling_tens",
    "definition:bk5_reflective_drift_coupling_tensor",
    "definition:bk5_symbolic_covenant",
    "definition:bk5_symbolic_metabolism",
    "definition:bk6_symbolic_system",
    "definition:bk8_identitystability",
    "definition:bk8_metabolic_programming_cycle",
    "definition:bk8_reflective_selection_operator",
    "definition:bk8_reflexive_debugging_operator",
    "definition:bk8_sr_renormalization_group",
    "definition:bk8_structural_regulators",
    "definition:bk8_symbolic_adjacency",
    "definition:bk8_transform_group",
    "definition:bk9_prompt_injection_operator",
    "demonstratio:bk4_prompt_time_ttdc",
    "lemma:bk1_contextual_nonseparability",
    "lemma:bk1_contradiction_resolution_principle",
    "lemma:bk1_horizon_characterization",
    "proof:bk1_horizon_characterization",
    "proof:bk1_nonvacuity_minimal_linear_ps_model",
    "proof:bk1_proof_of_dual_horizon_necessity_theorem",
    "proof:bk1_sketch_observed_consequences",
    "proof:bk2_smoothness_symbolic_hamiltonian",
    "proof:bk4_fragmentation_identity_stability",
    "proof:bk4_persistence_reflection_noncommutativity",
    "proof:bk4_repair_reconnects_fragmentation",
    "proof:bk5_coherence_through_dynamic_equilibriium",
    "proof:bk5_entropy_increase_from_drift",
    "proof:bk5_golden_ratio_spectral_invariant",
    "proof:bk6_symbolic_fokker_planck_bifurcation",
    "proposition:bk1_the_operators_lambda_and_lambda",
    "proposition:bk6_drift_reflection_correspondence",
    "proposition:bk7_stabilization_as_orbit_limit",
    "remark:appB_embodied_predictive_geometry",
    "remark:appD_llm_tuple_anchors",
    "remark:bk3_toward_symbolic_evolution",
    "remark:bk7_unnamed_remark_05",
    "remark:bk9_recursive_agency",
    "scholium:appB_synthetic_resolution",
    "scholium:appC_time_as_memory",
    "scholium:bk1_resolution_of_continuum_disjunction",
    "scholium:bk4_clifford_correspondence",
    "scholium:bk4_irreversibility_as_trace",
    "scholium:bk4_micro_local_vs_path_global_irreversibility",
    "scholium:bk4_towards_symbolic_equilibrium",
    "scholium:bk4_ttcs_stochastic_operator",
    "scholium:bk5_hypotheses_as_adaptive_sym",
    "scholium:bk9_bridge_to_history",
    "scholium:bk9_freedom_and_reflection",
    "sec:bk1_minimal_structure_for_symbolic_emergence",
    "sec:bk5_symbolic_covenants_and_mutually_assured_progress",
    "sec:bk7_pisu_universal_symbolic_uncertainty",
    "subsec:bk1_motivation",
    "subsec:bk2_core_thermodynamic_quantities",
    "subsec:bk3_preamble_to_symbiosis",
    "subsec:bk4_symbolic_identity_collapse",
    "subsec:bk5_symbolic_free_energy_and_stability",
    "subsec:bk7_pisu_axiom_statement",
    "subsec:bk7_sources_regimes_uncertainty",
    "theorem:bk1_constitutive_bootstrap",
    "theorem:bk1_dual_horizon_cosmogenesis",
    "theorem:bk1_emergence_of_reflection_operator",
    "theorem:bk1_quadratic_structure_necessity",
    "theorem:bk1_symbolic_emergence_theorem_thermodynamics",
    "theorem:bk3_homeostatic_reflexes",
    "theorem:bk4_drift_reflection_imbalance",
    "theorem:bk4_paradoxical_arrow_of_time",
    "theorem:bk4_reflective_reentry",
    "theorem:bk4_test_time_differentiation_c",
    "theorem:bk5_symbolic_entropy_production",
    "theorem:bk7_reflective_convergence_to_stable_identity",
    "theorem:bk8_thermodynamic_necessity_of_symbolic_metabolism"
  ],
  "cites": [
    "axiom:bk1_axiomata_prima",
    "definition:bk1_drift_field",
    "definition:bk1_pre_geometric_operators_and_stages",
    "definition:bk1_symbolic_manifold"
  ],
  "depends_on": [
    "axiom:bk1_axiomata_prima",
    "definition:bk1_drift_field",
    "definition:bk1_pre_geometric_operators_and_stages",
    "definition:bk1_symbolic_manifold"
  ],
  "file": "scholium_symbolicum.tex",
  "id": "definition:bk1_reflection_operator",
  "label": "definition:bk1_reflection_operator",
  "latex_body": "\\begin{definition}[Reflection Operator]\n\\label{definition:bk1_reflection_operator}\nLet $\\mathcal{S}$ be a symbolic manifold as defined in Def.~\\ref{definition:bk1_symbolic_manifold}.\nThe reflection structure is the stabilising counterpart to the drift field\n(Def.~\\ref{definition:bk1_drift_field}), encoding the capacity for\nself-reference that arises necessarily from Axiom~\\ref{axiom:bk1_axiomata_prima}.\nIt has two typed components:\n\\begin{enumerate}\n    \\item \\textbf{Mirror component:} \\(R_{\\mathrm{mir}}:T\\mathcal{S}\\rightarrow T\\mathcal{S}\\) is a smooth fiber-preserving tangent map satisfying \\(R_{\\mathrm{mir}}^2=\\mathrm{Id}\\), \\(g(R_{\\mathrm{mir}}v,R_{\\mathrm{mir}}w)=g(v,w)\\), and \\(R_{\\mathrm{mir}}\\neq \\pm\\mathrm{Id}\\). This component preserves orientation data and carries the involutive mirror structure.\n    \\item \\textbf{Stabilization component:} \\(R_{\\mathrm{stab}}:\\mathcal{S}\\rightarrow\\mathcal{S}\\) is the state-level stabilization induced by the stage operators \\(R_\\lambda\\) of Def.~\\ref{definition:bk1_pre_geometric_operators_and_stages}. It is idempotent on stabilized states, \\(R_{\\mathrm{stab}}^2=R_{\\mathrm{stab}}\\), and its fixed locus represents reflective closure.\n\\end{enumerate}\nThe symbol \\(R\\) or \\(\\reflect\\) denotes the component determined by its domain:\ntangent-level formulas use \\(R_{\\mathrm{mir}}\\), while state-level stabilization\nand iteration use \\(R_{\\mathrm{stab}}\\). Metric contraction is not part of this\ndefinition; convergence requires additional descent data.\n\\end{definition}",
  "lean_alignment": {
    "conditions": [
      "curvature coupling, general minimal period, and covariant transport remain open",
      "drift and reflection are jointly supplied and both nonidentity in the concrete witness",
      "the reader/operator and operate action are explicit data; the process description does not enact itself",
      "the recursive phase certificate is finite and observer-relative, not a smooth spinor bundle"
    ],
    "countermodels": [],
    "full_record": "bib/principia_lean_alignment.json",
    "kernel_certified": true,
    "notes": [
      "Witnesses existence of a concrete inner-product-preserving involution on Real×Real satisfying R≠±Id, exactly the source's non-triviality clause for the mirror component; does not model the general tangent-bundle map or its relation to R_stab."
    ],
    "record_ids": [
      "MAP-SCHOLIUM_A-013"
    ],
    "statuses": [
      "exact"
    ],
    "witnesses": [
      "ScholiumA.mirror_involution_ne_id_exists"
    ]
  },
  "line": 1209,
  "macros_used": [
    "reflect"
  ],
  "matter_region": "mainmatter",
  "matter_role": "book1_foundational_scholium",
  "name": "Reflection Operator",
  "proof_status": "definitional",
  "ref_roles": [
    {
      "context": "ld (Def.~\\ref{definition:bk1_drift_field}), encoding the capacity for self-reference that arises necessarily from Axiom~\\ref{axiom:bk1_axiomata_prima}. It has two typed components: \\begin{enumerate} \\item \\textbf{Mirror component:} \\(R_{\\mathrm{mir}}:T\\mathcal{S}\\ri",
      "label": "axiom:bk1_axiomata_prima",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "book1.tex",
      "target_line": 3,
      "target_type": "axiom"
    },
    {
      "context": "ref{definition:bk1_symbolic_manifold}. The reflection structure is the stabilising counterpart to the drift field (Def.~\\ref{definition:bk1_drift_field}), encoding the capacity for self-reference that arises necessarily from Axiom~\\ref{axiom:bk1_axiomata_prima}. It has tw",
      "label": "definition:bk1_drift_field",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "scholium_symbolicum.tex",
      "target_line": 1198,
      "target_type": "definition"
    },
    {
      "context": "athcal{S}\\rightarrow\\mathcal{S}\\) is the state-level stabilization induced by the stage operators \\(R_\\lambda\\) of Def.~\\ref{definition:bk1_pre_geometric_operators_and_stages}. It is idempotent on stabilized states, \\(R_{\\mathrm{stab}}^2=R_{\\mathrm{stab}}\\), and its fixed locus represents refle",
      "label": "definition:bk1_pre_geometric_operators_and_stages",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "scholium_symbolicum.tex",
      "target_line": 355,
      "target_type": "definition"
    },
    {
      "context": "ection Operator] \\label{definition:bk1_reflection_operator} Let $\\mathcal{S}$ be a symbolic manifold as defined in Def.~\\ref{definition:bk1_symbolic_manifold}. The reflection structure is the stabilising counterpart to the drift field (Def.~\\ref{definition:bk1_drift_field}), en",
      "label": "definition:bk1_symbolic_manifold",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "scholium_symbolicum.tex",
      "target_line": 1188,
      "target_type": "definition"
    }
  ],
  "refs": [
    "axiom:bk1_axiomata_prima",
    "definition:bk1_drift_field",
    "definition:bk1_pre_geometric_operators_and_stages",
    "definition:bk1_symbolic_manifold"
  ],
  "role": "definition",
  "type": "definition"
}

{
  "book": "scholium_symbolicum",
  "cited_by": [],
  "cites": [],
  "depends_on": [],
  "file": "scholium_symbolicum.tex",
  "id": "subsec:bk1_observer_horizons_bounded_access",
  "label": "subsec:bk1_observer_horizons_bounded_access",
  "latex_body": "",
  "line": 1229,
  "macros_used": [],
  "matter_region": "mainmatter",
  "matter_role": "book1_foundational_scholium",
  "name": "Observer Horizons and Bounded Symbolic Access",
  "role": "section",
  "subtype": "subsection",
  "type": "section"
}

{
  "book": "scholium_symbolicum",
  "cited_by": [
    "definition:bk1_emergence_event",
    "definition:bk1_reflexive_encoding_depth",
    "definition:bk1_symbolic_contradiction",
    "definition:bk1_symbolic_hypothesis",
    "definition:bk8_sr_triplet",
    "lemma:bk1_contradiction_resolution_principle",
    "proof:bk1_symbolic_irony_requires_curvature",
    "proof:bk7_horizon_expansion",
    "proposition:bk7_horizon_expansion",
    "scholium:bk5__map_as_thermodynamic_necessity",
    "scholium:bk5_constant_of_becoming",
    "theorem:bk3_criteria_persistent_symbolic_life"
  ],
  "cites": [
    "definition:bk1_bounded_observer",
    "definition:bk1_drift_field",
    "definition:bk1_reflection_operator",
    "definition:bk1_symbolic_manifold",
    "definition:bk1_symbolic_riemann_tensor"
  ],
  "depends_on": [
    "definition:bk1_bounded_observer",
    "definition:bk1_drift_field",
    "definition:bk1_reflection_operator",
    "definition:bk1_symbolic_manifold"
  ],
  "file": "scholium_symbolicum.tex",
  "forward_ref_roles": [
    {
      "context": "trinsic curvature tensor $K_H$ measuring the horizon's internal geometric complexity (cf. symbolic Riemann tensor, Def.~\\ref{definition:bk1_symbolic_riemann_tensor}) \\item Extrinsic curvature tensor $\\Omega_H$ measuring how the horizon curves within the ambient symbolic space",
      "label": "definition:bk1_symbolic_riemann_tensor",
      "line_distance": 673,
      "role": "interpretive_bridge",
      "target_line": 1905,
      "target_type": "definition"
    }
  ],
  "forward_refs": [
    "definition:bk1_symbolic_riemann_tensor"
  ],
  "id": "definition:bk1_observer_horizon_structure",
  "label": "definition:bk1_observer_horizon_structure",
  "latex_body": "\\begin{definition}[Observer Horizon Structure]\n\\label{definition:bk1_observer_horizon_structure}\nLet $\\mathcal{S}_t$ denote the symbolic manifold at symbolic time $t$ (see Def.~\\ref{definition:bk1_symbolic_manifold}). An observer $\\mathcal{O}$ is characterized by a dynamic horizon $H_\\mathcal{O}(t) \\subset \\mathcal{S}_t$, which is a smooth submanifold of codimension 1 that delimits the symbolic configurations accessible to $\\mathcal{O}$ at time $t$.\n\nThe horizon structure is characterized by:\n\\begin{itemize}\n    \\item Intrinsic curvature tensor $K_H$ measuring the horizon's internal geometric complexity (cf. symbolic Riemann tensor, Def.~\\ref{definition:bk1_symbolic_riemann_tensor})\n    \\item Extrinsic curvature tensor $\\Omega_H$ measuring how the horizon curves within the ambient symbolic space\n    \\item Horizon evolution equation:\n    \\[\n    \\frac{\\partial H_\\mathcal{O}}{\\partial t} = \\alpha D|_{H_\\mathcal{O}} + \\beta (R \\circ D)|_{H_\\mathcal{O}} + \\gamma K_H\n    \\]\n    where:\n    \\begin{itemize}\n        \\item \\( D \\) is the drift field (Def.~\\ref{definition:bk1_drift_field})\n        \\item \\( R \\) is the reflection operator (Def.~\\ref{definition:bk1_reflection_operator})\n        \\item \\( \\mathcal{O} \\) is a bounded observer (Def.~\\ref{definition:bk1_bounded_observer})\n    \\end{itemize}\n\\end{itemize}\n\\end{definition}",
  "line": 1232,
  "macros_used": [],
  "matter_region": "mainmatter",
  "matter_role": "book1_foundational_scholium",
  "name": "Observer Horizon Structure",
  "proof_status": "definitional",
  "ref_roles": [
    {
      "context": "on operator (Def.~\\ref{definition:bk1_reflection_operator}) \\item \\( \\mathcal{O} \\) is a bounded observer (Def.~\\ref{definition:bk1_bounded_observer}) \\end{itemize} \\end{itemize} \\end{definition}",
      "label": "definition:bk1_bounded_observer",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "scholium_symbolicum.tex",
      "target_line": 27,
      "target_type": "definition"
    },
    {
      "context": "c D)|_{H_\\mathcal{O}} + \\gamma K_H \\] where: \\begin{itemize} \\item \\( D \\) is the drift field (Def.~\\ref{definition:bk1_drift_field}) \\item \\( R \\) is the reflection operator (Def.~\\ref{definition:bk1_reflection_operator}) \\item \\( \\mat",
      "label": "definition:bk1_drift_field",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "scholium_symbolicum.tex",
      "target_line": 1198,
      "target_type": "definition"
    },
    {
      "context": "D \\) is the drift field (Def.~\\ref{definition:bk1_drift_field}) \\item \\( R \\) is the reflection operator (Def.~\\ref{definition:bk1_reflection_operator}) \\item \\( \\mathcal{O} \\) is a bounded observer (Def.~\\ref{definition:bk1_bounded_observer}) \\end{itemize} \\",
      "label": "definition:bk1_reflection_operator",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "scholium_symbolicum.tex",
      "target_line": 1209,
      "target_type": "definition"
    },
    {
      "context": "inition:bk1_observer_horizon_structure} Let $\\mathcal{S}_t$ denote the symbolic manifold at symbolic time $t$ (see Def.~\\ref{definition:bk1_symbolic_manifold}). An observer $\\mathcal{O}$ is characterized by a dynamic horizon $H_\\mathcal{O}(t) \\subset \\mathcal{S}_t$, which is a",
      "label": "definition:bk1_symbolic_manifold",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "scholium_symbolicum.tex",
      "target_line": 1188,
      "target_type": "definition"
    },
    {
      "context": "trinsic curvature tensor $K_H$ measuring the horizon's internal geometric complexity (cf. symbolic Riemann tensor, Def.~\\ref{definition:bk1_symbolic_riemann_tensor}) \\item Extrinsic curvature tensor $\\Omega_H$ measuring how the horizon curves within the ambient symbolic space",
      "label": "definition:bk1_symbolic_riemann_tensor",
      "logical_support": false,
      "role": "forward_interpretive_bridge",
      "target_file": "scholium_symbolicum.tex",
      "target_line": 1905,
      "target_type": "definition"
    }
  ],
  "refs": [
    "definition:bk1_bounded_observer",
    "definition:bk1_drift_field",
    "definition:bk1_reflection_operator",
    "definition:bk1_symbolic_manifold",
    "definition:bk1_symbolic_riemann_tensor"
  ],
  "role": "definition",
  "type": "definition"
}

{
  "book": "scholium_symbolicum",
  "cited_by": [
    "scholium:bk3_hypotheses_as_cognitive_membranes",
    "scholium:bk6_hypotheses_as_regulatory_mutation_manifolds",
    "scholium:bk7_hypotheses_as_convergent_attractor_manifolds"
  ],
  "cites": [
    "definition:bk1_symbolic_manifold"
  ],
  "depends_on": [
    "definition:bk1_symbolic_manifold"
  ],
  "file": "scholium_symbolicum.tex",
  "id": "scholium:bk1_hypotheses_as_submanifolds",
  "label": "scholium:bk1_hypotheses_as_submanifolds",
  "latex_body": "\\begin{scholium}[On Hypotheses as Observer-Relative Submanifolds]\n\\label{scholium:bk1_hypotheses_as_submanifolds}\nWithin the geometric framework of symbolic emergence on the symbolic manifold $M$ (Def.~\\ref{definition:bk1_symbolic_manifold}), a \\emph{hypothesis} is not an independent ontological entity but rather a projection of constraint and coherence selected by a bounded observer. This perspective dissolves the artificial separation between \"objective\" symbolic structures and \"subjective\" interpretations.\n\n\\begin{definition}[Symbolic Hypothesis]\n\\label{definition:bk1_symbolic_hypothesis}\nGiven an observer $\\mathcal{O}$ with horizon $H_\\mathcal{O}(t)$ (Def.~\\ref{definition:bk1_observer_horizon_structure}), a \\emph{symbolic hypothesis} $\\mathcal{H}_\\mathcal{O} \\subset \\mathcal{S}$ is a smooth submanifold (Def.~\\ref{definition:bk1_symbolic_manifold}) encoding a locally coherent transformation class under the dynamics of drift and reflection:\n\\begin{enumerate}\n    \\item \\textbf{Bounded Predictive Coherence}: For all \\( s \\in \\mathcal{H}_\\mathcal{O} \\), the prediction error satisfies \n    \\[\n    \\| D(s) - \\hat{D}_\\mathcal{O}(s) \\|_g \\leq \\epsilon_\\mathcal{O}\n    \\]\n    where \\( D \\) is the drift field (Def.~\\ref{definition:bk1_drift_field}) and \\( \\hat{D}_\\mathcal{O} \\) is the observer's internal model (bounded observer framework: Def.~\\ref{definition:bk1_bounded_observer}).\n    \n    \\item \\textbf{Utility Structure}: \\( \\mathcal{H}_\\mathcal{O} \\) supports a smooth utility function \n    \\[\n    U_\\mathcal{O}: \\mathcal{H}_\\mathcal{O} \\to \\mathbb{R}\n    \\]\n    encoding directional preferences.\n\n    \\item \\textbf{Reflexive Accessibility}: \\( \\mathcal{H}_\\mathcal{O} \\) admits self-modification through bounded flows, i.e., \n    \\[\n    \\mathcal{L}_D \\mathcal{H}_\\mathcal{O} \\subset T\\mathcal{H}_\\mathcal{O}\n    \\]\n    with reflection dynamics governed by \\( R \\) (Def.~\\ref{definition:bk1_reflection_operator}).\n\\end{enumerate}\n\\end{definition}\n\nThus, hypotheses, priors, and belief structures are all geometric manifestations of observer limitation rather than fundamental features of symbolic reality. They exist as useful submanifolds on which bounded cognition can operate, but possess no privileged ontological status.\n\\end{scholium}",
  "line": 1253,
  "macros_used": [],
  "matter_region": "mainmatter",
  "matter_role": "book1_foundational_scholium",
  "name": "On Hypotheses as Observer-Relative Submanifolds",
  "ref_roles": [
    {
      "context": "bk1_hypotheses_as_submanifolds} Within the geometric framework of symbolic emergence on the symbolic manifold $M$ (Def.~\\ref{definition:bk1_symbolic_manifold}), a \\emph{hypothesis} is not an independent ontological entity but rather a projection of constraint and coherence sele",
      "label": "definition:bk1_symbolic_manifold",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "scholium_symbolicum.tex",
      "target_line": 1188,
      "target_type": "definition"
    }
  ],
  "refs": [
    "definition:bk1_bounded_observer",
    "definition:bk1_drift_field",
    "definition:bk1_observer_horizon_structure",
    "definition:bk1_reflection_operator",
    "definition:bk1_symbolic_manifold"
  ],
  "role": "scholium",
  "type": "scholium"
}

{
  "book": "scholium_symbolicum",
  "cited_by": [
    "definition:bk8_symbolic_hypothesis_manifold",
    "definition:bk8_symbolic_hypothesis_set",
    "scholium:bk3_hypotheses_as_cognitive_membranes",
    "scholium:bk5_hypotheses_as_adaptive_sym",
    "subsec:appD_fep_core_resonance"
  ],
  "cites": [
    "definition:bk1_bounded_observer",
    "definition:bk1_drift_field",
    "definition:bk1_observer_horizon_structure",
    "definition:bk1_reflection_operator",
    "definition:bk1_symbolic_manifold"
  ],
  "depends_on": [
    "definition:bk1_bounded_observer",
    "definition:bk1_drift_field",
    "definition:bk1_observer_horizon_structure",
    "definition:bk1_reflection_operator",
    "definition:bk1_symbolic_manifold"
  ],
  "file": "scholium_symbolicum.tex",
  "id": "definition:bk1_symbolic_hypothesis",
  "label": "definition:bk1_symbolic_hypothesis",
  "latex_body": "\\begin{definition}[Symbolic Hypothesis]\n\\label{definition:bk1_symbolic_hypothesis}\nGiven an observer $\\mathcal{O}$ with horizon $H_\\mathcal{O}(t)$ (Def.~\\ref{definition:bk1_observer_horizon_structure}), a \\emph{symbolic hypothesis} $\\mathcal{H}_\\mathcal{O} \\subset \\mathcal{S}$ is a smooth submanifold (Def.~\\ref{definition:bk1_symbolic_manifold}) encoding a locally coherent transformation class under the dynamics of drift and reflection:\n\\begin{enumerate}\n    \\item \\textbf{Bounded Predictive Coherence}: For all \\( s \\in \\mathcal{H}_\\mathcal{O} \\), the prediction error satisfies \n    \\[\n    \\| D(s) - \\hat{D}_\\mathcal{O}(s) \\|_g \\leq \\epsilon_\\mathcal{O}\n    \\]\n    where \\( D \\) is the drift field (Def.~\\ref{definition:bk1_drift_field}) and \\( \\hat{D}_\\mathcal{O} \\) is the observer's internal model (bounded observer framework: Def.~\\ref{definition:bk1_bounded_observer}).\n    \n    \\item \\textbf{Utility Structure}: \\( \\mathcal{H}_\\mathcal{O} \\) supports a smooth utility function \n    \\[\n    U_\\mathcal{O}: \\mathcal{H}_\\mathcal{O} \\to \\mathbb{R}\n    \\]\n    encoding directional preferences.\n\n    \\item \\textbf{Reflexive Accessibility}: \\( \\mathcal{H}_\\mathcal{O} \\) admits self-modification through bounded flows, i.e., \n    \\[\n    \\mathcal{L}_D \\mathcal{H}_\\mathcal{O} \\subset T\\mathcal{H}_\\mathcal{O}\n    \\]\n    with reflection dynamics governed by \\( R \\) (Def.~\\ref{definition:bk1_reflection_operator}).\n\\end{enumerate}\n\\end{definition}",
  "line": 1257,
  "macros_used": [],
  "matter_region": "mainmatter",
  "matter_role": "book1_foundational_scholium",
  "name": "Symbolic Hypothesis",
  "proof_status": "definitional",
  "ref_roles": [
    {
      "context": "tion:bk1_drift_field}) and \\( \\hat{D}_\\mathcal{O} \\) is the observer's internal model (bounded observer framework: Def.~\\ref{definition:bk1_bounded_observer}). \\item \\textbf{Utility Structure}: \\( \\mathcal{H}_\\mathcal{O} \\) supports a smooth utility function \\[",
      "label": "definition:bk1_bounded_observer",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "scholium_symbolicum.tex",
      "target_line": 27,
      "target_type": "definition"
    },
    {
      "context": "[ \\| D(s) - \\hat{D}_\\mathcal{O}(s) \\|_g \\leq \\epsilon_\\mathcal{O} \\] where \\( D \\) is the drift field (Def.~\\ref{definition:bk1_drift_field}) and \\( \\hat{D}_\\mathcal{O} \\) is the observer's internal model (bounded observer framework: Def.~\\ref{definition:bk1_b",
      "label": "definition:bk1_drift_field",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "scholium_symbolicum.tex",
      "target_line": 1198,
      "target_type": "definition"
    },
    {
      "context": "hesis] \\label{definition:bk1_symbolic_hypothesis} Given an observer $\\mathcal{O}$ with horizon $H_\\mathcal{O}(t)$ (Def.~\\ref{definition:bk1_observer_horizon_structure}), a \\emph{symbolic hypothesis} $\\mathcal{H}_\\mathcal{O} \\subset \\mathcal{S}$ is a smooth submanifold (Def.~\\ref{definit",
      "label": "definition:bk1_observer_horizon_structure",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "scholium_symbolicum.tex",
      "target_line": 1232,
      "target_type": "definition"
    },
    {
      "context": "\\mathcal{H}_\\mathcal{O} \\subset T\\mathcal{H}_\\mathcal{O} \\] with reflection dynamics governed by \\( R \\) (Def.~\\ref{definition:bk1_reflection_operator}). \\end{enumerate} \\end{definition}",
      "label": "definition:bk1_reflection_operator",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "scholium_symbolicum.tex",
      "target_line": 1209,
      "target_type": "definition"
    },
    {
      "context": "n_structure}), a \\emph{symbolic hypothesis} $\\mathcal{H}_\\mathcal{O} \\subset \\mathcal{S}$ is a smooth submanifold (Def.~\\ref{definition:bk1_symbolic_manifold}) encoding a locally coherent transformation class under the dynamics of drift and reflection: \\begin{enumerate} \\it",
      "label": "definition:bk1_symbolic_manifold",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "scholium_symbolicum.tex",
      "target_line": 1188,
      "target_type": "definition"
    }
  ],
  "refs": [
    "definition:bk1_bounded_observer",
    "definition:bk1_drift_field",
    "definition:bk1_observer_horizon_structure",
    "definition:bk1_reflection_operator",
    "definition:bk1_symbolic_manifold"
  ],
  "role": "definition",
  "type": "definition"
}

{
  "book": "scholium_symbolicum",
  "cited_by": [
    "definition:bk9_structural_compassion",
    "demonstratio:bk7_convergence_within_reflective_basin",
    "scholium:bk1_resolution_of_continuum_disjunction",
    "subsec:appD_fep_contribution_differentiation"
  ],
  "cites": [
    "axiom:bk1_axiomata_prima",
    "theorem:bk1_dual_horizon_necessity_theorem"
  ],
  "depends_on": [
    "axiom:bk1_axiomata_prima",
    "theorem:bk1_dual_horizon_necessity_theorem"
  ],
  "file": "scholium_symbolicum.tex",
  "id": "axiom:bk1_dual_horizon_postulate",
  "label": "axiom:bk1_dual_horizon_postulate",
  "latex_body": "\\begin{axiom}[Dual Horizon Postulate]\n\\label{axiom:bk1_dual_horizon_postulate}\nConsistent with Axiom~\\ref{axiom:bk1_axiomata_prima} and the elimination structure of Thm.~\\ref{theorem:bk1_dual_horizon_necessity_theorem}, symbolic cognition emerges at the intersection of two complementary epistemic horizons:\n\\begin{itemize}\n    \\item A \\textbf{generative horizon} $H_G(t)$ with positive extrinsic curvature $\\Omega_G > 0$, enabling symbolic novelty and divergent exploration\n    \\item A \\textbf{dissipative horizon} $H_D(t)$ with negative extrinsic curvature $\\Omega_D < 0$, constraining meaning through convergent stabilization\n\\end{itemize}\n\nThe effective symbolic domain accessible to an observer is:\n\\[\n\\mathcal{D}_\\mathcal{O}(t) = \\text{int}(H_G(t)) \\cap \\text{ext}(H_D(t))\n\\]\n\nThe dynamics of symbolic cognition arise from the tension between these horizons, with drift field $D$ primarily governing generative expansion and the reflected field $R \\circ D$ governing dissipative contraction.\n\\end{axiom}",
  "lean_alignment": {
    "conditions": [
      "face 3 consumes the guarded-process machinery (LPS-P49) and the helix kernel (LPS-P48)",
      "the metaphysical scope of a three-word axiom is not exhausted; the operational tri-face kernel is what is certified"
    ],
    "countermodels": [],
    "full_record": "bib/principia_lean_alignment.json",
    "kernel_certified": true,
    "notes": [
      "Cognition at the intersection: both channels jointly sustain, each alone fails; curvature signs interpretive."
    ],
    "record_ids": [
      "MAP-SCHOLIUM_A-080"
    ],
    "statuses": [
      "conditional"
    ],
    "witnesses": [
      "AxiomataPrima.no_drift_no_novelty",
      "AxiomataPrima.pure_drift_dissolves",
      "AxiomataPrima.two_channel_sustained"
    ]
  },
  "line": 1284,
  "macros_used": [],
  "matter_region": "mainmatter",
  "matter_role": "book1_foundational_scholium",
  "name": "Dual Horizon Postulate",
  "proof_status": "definitional",
  "ref_roles": [
    {
      "context": "\\begin{axiom}[Dual Horizon Postulate] \\label{axiom:bk1_dual_horizon_postulate} Consistent with Axiom~\\ref{axiom:bk1_axiomata_prima} and the elimination structure of Thm.~\\ref{theorem:bk1_dual_horizon_necessity_theorem}, symbolic cognition emerges at t",
      "label": "axiom:bk1_axiomata_prima",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "book1.tex",
      "target_line": 3,
      "target_type": "axiom"
    },
    {
      "context": ":bk1_dual_horizon_postulate} Consistent with Axiom~\\ref{axiom:bk1_axiomata_prima} and the elimination structure of Thm.~\\ref{theorem:bk1_dual_horizon_necessity_theorem}, symbolic cognition emerges at the intersection of two complementary epistemic horizons: \\begin{itemize} \\item A \\t",
      "label": "theorem:bk1_dual_horizon_necessity_theorem",
      "logical_support": true,
      "role": "formal_dependency",
      "target_file": "scholium_symbolicum.tex",
      "target_line": 775,
      "target_type": "theorem"
    }
  ],
  "refs": [
    "axiom:bk1_axiomata_prima",
    "theorem:bk1_dual_horizon_necessity_theorem"
  ],
  "role": "axiom",
  "type": "axiom"
}

{
  "book": "scholium_symbolicum",
  "cited_by": [],
  "cites": [],
  "depends_on": [],
  "file": "scholium_symbolicum.tex",
  "id": "subsec:bk1_contradictions_emergence_triggers",
  "label": "subsec:bk1_contradictions_emergence_triggers",
  "latex_body": "",
  "line": 1302,
  "macros_used": [],
  "matter_region": "mainmatter",
  "matter_role": "book1_foundational_scholium",
  "name": "Symbolic Contradictions and Emergence Triggers",
  "role": "section",
  "subtype": "subsection",
  "type": "section"
}

{
  "book": "scholium_symbolicum",
  "cited_by": [
    "definition:bk1_emergence_event",
    "definition:bk1_paradox_triggered_emergence",
    "definition:bk1_self_regulating_mapping_function_srmf",
    "lemma:bk1_contextual_nonseparability",
    "lemma:bk1_contradiction_resolution_principle",
    "proof:bk1_constructive_resolution",
    "proof:bk1_geometric_necessity_curvature",
    "theorem:bk1_quadratic_structure_necessity"
  ],
  "cites": [
    "definition:bk1_drift_field",
    "definition:bk1_observer_horizon_structure",
    "definition:bk1_symbolic_manifold"
  ],
  "depends_on": [
    "definition:bk1_drift_field",
    "definition:bk1_observer_horizon_structure",
    "definition:bk1_symbolic_manifold"
  ],
  "file": "scholium_symbolicum.tex",
  "id": "definition:bk1_symbolic_contradiction",
  "label": "definition:bk1_symbolic_contradiction",
  "latex_body": "\\begin{definition}[Symbolic Contradiction]\n\\label{definition:bk1_symbolic_contradiction}\nLet $\\mathcal{S}$ be a symbolic manifold (Def.~\\ref{definition:bk1_symbolic_manifold}) and let $D$ be a drift field on $\\mathcal{S}$ (Def.~\\ref{definition:bk1_drift_field}). Let an observer $\\mathcal{O}$ define an accessible domain $\\mathcal{D}_\\mathcal{O}(t) \\subset \\mathcal{S}_t$ determined by a horizon structure $H_\\mathcal{O}(t)$ (Def.~\\ref{definition:bk1_observer_horizon_structure}).\n\nA \\emph{symbolic contradiction} arises when $\\mathcal{D}_\\mathcal{O}(t)$ contains overlapping regions $U, V \\subset \\mathcal{D}_\\mathcal{O}(t)$ such that:\n\\begin{enumerate}\n    \\item There exists a symbolic state $s \\in U \\cap V$ (shared accessibility)\n    \\item The restricted drift fields satisfy \\( D|_U(s) = -\\lambda D|_V(s) \\) for some \\( \\lambda > 0 \\) (oppositional dynamics)\n    \\item The intersection \\( U \\cap V \\) has positive measure with respect to the volume form on \\( \\mathcal{S} \\) (non-trivial overlap)\n\\end{enumerate}\n\nThe \\textbf{contradiction intensity} at \\( s \\) is defined as\n\\[\n\\mathcal{I}(s) = \\|D|_U(s) + D|_V(s)\\|_g\n\\]\nwhere \\( \\|\\cdot\\|_g \\) is the norm induced by the symbolic metric \\( g \\) on \\( T_s\\mathcal{S} \\).\n\\end{definition}",
  "lean_alignment": {
    "conditions": [
      "curvature coupling, general minimal period, and covariant transport remain open",
      "drift and reflection are jointly supplied and both nonidentity in the concrete witness",
      "the reader/operator and operate action are explicit data; the process description does not enact itself",
      "the recursive phase certificate is finite and observer-relative, not a smooth spinor bundle"
    ],
    "countermodels": [],
    "full_record": "bib/principia_lean_alignment.json",
    "kernel_certified": true,
    "notes": [
      "The stated 'oppositional dynamics' and 'contradiction intensity' formula are modeled as a real-number identity; the manifold/measure-theoretic overlap conditions (shared accessibility, positive-measure overlap) are not modeled."
    ],
    "record_ids": [
      "MAP-SCHOLIUM_A-016"
    ],
    "statuses": [
      "exact"
    ],
    "witnesses": [
      "ScholiumA.contradictionIntensity_eq",
      "ScholiumA.contradictionIntensity_zero_of_lam_one"
    ]
  },
  "line": 1305,
  "macros_used": [],
  "matter_region": "mainmatter",
  "matter_role": "book1_foundational_scholium",
  "name": "Symbolic Contradiction",
  "proof_status": "definitional",
  "ref_roles": [
    {
      "context": "e a symbolic manifold (Def.~\\ref{definition:bk1_symbolic_manifold}) and let $D$ be a drift field on $\\mathcal{S}$ (Def.~\\ref{definition:bk1_drift_field}). Let an observer $\\mathcal{O}$ define an accessible domain $\\mathcal{D}_\\mathcal{O}(t) \\subset \\mathcal{S}_t$ determin",
      "label": "definition:bk1_drift_field",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "scholium_symbolicum.tex",
      "target_line": 1198,
      "target_type": "definition"
    },
    {
      "context": "le domain $\\mathcal{D}_\\mathcal{O}(t) \\subset \\mathcal{S}_t$ determined by a horizon structure $H_\\mathcal{O}(t)$ (Def.~\\ref{definition:bk1_observer_horizon_structure}). A \\emph{symbolic contradiction} arises when $\\mathcal{D}_\\mathcal{O}(t)$ contains overlapping regions $U, V \\subset",
      "label": "definition:bk1_observer_horizon_structure",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "scholium_symbolicum.tex",
      "target_line": 1232,
      "target_type": "definition"
    },
    {
      "context": "n}[Symbolic Contradiction] \\label{definition:bk1_symbolic_contradiction} Let $\\mathcal{S}$ be a symbolic manifold (Def.~\\ref{definition:bk1_symbolic_manifold}) and let $D$ be a drift field on $\\mathcal{S}$ (Def.~\\ref{definition:bk1_drift_field}). Let an observer $\\mathcal{O}$ d",
      "label": "definition:bk1_symbolic_manifold",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "scholium_symbolicum.tex",
      "target_line": 1188,
      "target_type": "definition"
    }
  ],
  "refs": [
    "definition:bk1_drift_field",
    "definition:bk1_observer_horizon_structure",
    "definition:bk1_symbolic_manifold"
  ],
  "role": "definition",
  "type": "definition"
}

{
  "book": "scholium_symbolicum",
  "cited_by": [
    "lemma:bk1_contextual_nonseparability",
    "proof:bk1_geometric_necessity_curvature",
    "proof:bk1_symbolic_emergence_and_curvature",
    "proof:bk1_unified_field_classification",
    "theorem:bk1_quadratic_structure_necessity",
    "theorem:bk1_symbolic_emergence_and_curvature",
    "theorem:bk1_unified_field_classification"
  ],
  "cites": [
    "definition:bk1_observer_horizon_structure",
    "definition:bk1_symbolic_contradiction",
    "definition:bk1_symbolic_manifold",
    "definition:bk1_symbolic_riemann_tensor"
  ],
  "depends_on": [
    "definition:bk1_observer_horizon_structure",
    "definition:bk1_symbolic_contradiction",
    "definition:bk1_symbolic_manifold"
  ],
  "file": "scholium_symbolicum.tex",
  "forward_ref_roles": [
    {
      "context": "f.~\\ref{definition:bk1_symbolic_manifold}) equipped with a Riemannian structure $g$ and symbolic curvature tensor (Def.~\\ref{definition:bk1_symbolic_riemann_tensor}). Let $\\mathcal{O}$ be a bounded observer with horizon structure $H_\\mathcal{O}(t)$ (Def.~\\ref{definition:bk1_observer_",
      "label": "definition:bk1_symbolic_riemann_tensor",
      "line_distance": 580,
      "role": "teaser",
      "target_line": 1905,
      "target_type": "definition"
    }
  ],
  "forward_refs": [
    "definition:bk1_symbolic_riemann_tensor"
  ],
  "id": "definition:bk1_emergence_event",
  "label": "definition:bk1_emergence_event",
  "latex_body": "\\begin{definition}[Emergence Event]\n\\label{definition:bk1_emergence_event}\nLet $\\mathcal{S}$ be a symbolic manifold (Def.~\\ref{definition:bk1_symbolic_manifold}) equipped with a Riemannian structure $g$ and symbolic curvature tensor (Def.~\\ref{definition:bk1_symbolic_riemann_tensor}). Let $\\mathcal{O}$ be a bounded observer with horizon structure $H_\\mathcal{O}(t)$ (Def.~\\ref{definition:bk1_observer_horizon_structure}), and let $\\mathcal{D}_\\mathcal{O}(t) \\subset \\mathcal{S}_t$ denote the observer's effective domain.\n\nAn \\emph{emergence event} occurs when a symbolic contradiction (Def.~\\ref{definition:bk1_symbolic_contradiction}) triggers a qualitative transformation in the topology or geometry of $\\mathcal{D}_\\mathcal{O}(t)$. This may manifest as:\n\\begin{enumerate}\n    \\item \\textbf{Topological bifurcation}: $\\mathcal{D}_\\mathcal{O}(t)$ splits into multiple connected components\n    \\item \\textbf{Dimensional expansion}: Introduction of new coordinates or symbolic axes in $\\mathcal{S}$ to accommodate the contradiction\n    \\item \\textbf{Metric refinement}: Adjustment of the Riemannian metric $g$ to resolve geometric incompatibilities\n    \\item \\textbf{Curvature concentration}: Localized increase in sectional curvature in neighborhoods surrounding the contradiction\n\\end{enumerate}\n\\end{definition}",
  "line": 1325,
  "macros_used": [],
  "matter_region": "mainmatter",
  "matter_role": "book1_foundational_scholium",
  "name": "Emergence Event",
  "proof_status": "definitional",
  "ref_roles": [
    {
      "context": ":bk1_symbolic_riemann_tensor}). Let $\\mathcal{O}$ be a bounded observer with horizon structure $H_\\mathcal{O}(t)$ (Def.~\\ref{definition:bk1_observer_horizon_structure}), and let $\\mathcal{D}_\\mathcal{O}(t) \\subset \\mathcal{S}_t$ denote the observer's effective domain. An \\emph{emergenc",
      "label": "definition:bk1_observer_horizon_structure",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "scholium_symbolicum.tex",
      "target_line": 1232,
      "target_type": "definition"
    },
    {
      "context": "cal{S}_t$ denote the observer's effective domain. An \\emph{emergence event} occurs when a symbolic contradiction (Def.~\\ref{definition:bk1_symbolic_contradiction}) triggers a qualitative transformation in the topology or geometry of $\\mathcal{D}_\\mathcal{O}(t)$. This may manifest a",
      "label": "definition:bk1_symbolic_contradiction",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "scholium_symbolicum.tex",
      "target_line": 1305,
      "target_type": "definition"
    },
    {
      "context": "egin{definition}[Emergence Event] \\label{definition:bk1_emergence_event} Let $\\mathcal{S}$ be a symbolic manifold (Def.~\\ref{definition:bk1_symbolic_manifold}) equipped with a Riemannian structure $g$ and symbolic curvature tensor (Def.~\\ref{definition:bk1_symbolic_riemann_tens",
      "label": "definition:bk1_symbolic_manifold",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "scholium_symbolicum.tex",
      "target_line": 1188,
      "target_type": "definition"
    },
    {
      "context": "f.~\\ref{definition:bk1_symbolic_manifold}) equipped with a Riemannian structure $g$ and symbolic curvature tensor (Def.~\\ref{definition:bk1_symbolic_riemann_tensor}). Let $\\mathcal{O}$ be a bounded observer with horizon structure $H_\\mathcal{O}(t)$ (Def.~\\ref{definition:bk1_observer_",
      "label": "definition:bk1_symbolic_riemann_tensor",
      "logical_support": false,
      "role": "forward_teaser",
      "target_file": "scholium_symbolicum.tex",
      "target_line": 1905,
      "target_type": "definition"
    }
  ],
  "refs": [
    "definition:bk1_observer_horizon_structure",
    "definition:bk1_symbolic_contradiction",
    "definition:bk1_symbolic_manifold",
    "definition:bk1_symbolic_riemann_tensor"
  ],
  "role": "definition",
  "type": "definition"
}

{
  "book": "scholium_symbolicum",
  "cited_by": [
    "corollary:bk4_symbolic_lightcone",
    "demonstratio:bk4_symbolic_thermodynamics",
    "lemma:bk4_ttie_expansion_rate",
    "proof:bk4_bounded_expansion_under_observer_constrained_coherence",
    "proof:bk4_symbolic_lightcone"
  ],
  "cites": [
    "lemma:bk1_existence_and_uniqueness_of_flow"
  ],
  "depends_on": [],
  "file": "scholium_symbolicum.tex",
  "forward_ref_roles": [
    {
      "context": "elocity}, and $\\nabla \\mathcal{C}$ represents the local coherence flow gradient in the symbolic manifold $M$ (see Lemma~\\ref{lemma:bk1_existence_and_uniqueness_of_flow}). This value represents the maximum rate at which coherent symbolic information may propagate under observer-bound cur",
      "label": "lemma:bk1_existence_and_uniqueness_of_flow",
      "line_distance": 1539,
      "role": "teaser",
      "target_line": 2877,
      "target_type": "lemma"
    }
  ],
  "forward_refs": [
    "lemma:bk1_existence_and_uniqueness_of_flow"
  ],
  "id": "definition:bk1_symbolic_coherence_velocity",
  "label": "definition:bk1_symbolic_coherence_velocity",
  "latex_body": "\\begin{definition}[Symbolic Coherence Velocity]\n\\label{definition:bk1_symbolic_coherence_velocity}\nThe \\emph{symbolic coherence velocity} $c_s$ is defined as the supremum of the local coherence field gradient magnitude over the coherence manifold:\n\\[\nc_s := \\sup \\left\\{ \\left| \\nabla \\mathcal{C} \\right| \\,:\\, \\mathcal{C} \\in \\mathcal{M}_{\\text{coh}} \\right\\}\n\\]\nHere, $\\mathcal{M}_{\\text{coh}}$ denotes the space of symbolic coherence fields introduced in Def.~\\ref{definition:bk1_symbolic_coherence_velocity}, and $\\nabla \\mathcal{C}$ represents the local coherence flow gradient in the symbolic manifold $M$ (see Lemma~\\ref{lemma:bk1_existence_and_uniqueness_of_flow}).\n\nThis value represents the maximum rate at which coherent symbolic information may propagate under observer-bound curvature $\\kappa_\\mathcal{O}$ and resolution constraints $\\delta_\\mathcal{O}$. It provides a fundamental limit on symbolic propagation speed and will serve as the upper bound in curvature-limited expansion dynamics.\n\\end{definition}",
  "lean_alignment": {
    "conditions": [
      "application order in the composite is not interpreted as ontological origin order",
      "catS, observer detection, stage continuity, and geometric realization remain distinct supplied interfaces",
      "drift and reflection are fields of one OperationalStage witness; neither is derived from the other"
    ],
    "countermodels": [],
    "full_record": "bib/principia_lean_alignment.json",
    "kernel_certified": true,
    "notes": [
      "Modeled directly as sSup of a set of reals; the coherence-field space M_coh and the local gradient construction nabla C on the symbolic manifold are not modeled, only the resulting supremum's upper-bound property."
    ],
    "record_ids": [
      "MAP-SCHOLIUM_A-037"
    ],
    "statuses": [
      "exact"
    ],
    "witnesses": [
      "ScholiumC.le_coherenceVelocity"
    ]
  },
  "line": 1338,
  "macros_used": [],
  "matter_region": "mainmatter",
  "matter_role": "book1_foundational_scholium",
  "name": "Symbolic Coherence Velocity",
  "proof_status": "definitional",
  "ref_roles": [
    {
      "context": "elocity}, and $\\nabla \\mathcal{C}$ represents the local coherence flow gradient in the symbolic manifold $M$ (see Lemma~\\ref{lemma:bk1_existence_and_uniqueness_of_flow}). This value represents the maximum rate at which coherent symbolic information may propagate under observer-bound cur",
      "label": "lemma:bk1_existence_and_uniqueness_of_flow",
      "logical_support": false,
      "role": "forward_teaser",
      "target_file": "scholium_symbolicum.tex",
      "target_line": 2877,
      "target_type": "lemma"
    }
  ],
  "refs": [
    "definition:bk1_symbolic_coherence_velocity",
    "lemma:bk1_existence_and_uniqueness_of_flow"
  ],
  "role": "definition",
  "type": "definition"
}

{
  "book": "scholium_symbolicum",
  "cited_by": [
    "proof:bk1_constructive_resolution"
  ],
  "cites": [
    "definition:bk1_drift_field",
    "definition:bk1_observer_horizon_structure",
    "definition:bk1_reflection_operator",
    "definition:bk1_symbolic_contradiction",
    "definition:bk1_symbolic_manifold"
  ],
  "depends_on": [
    "definition:bk1_drift_field",
    "definition:bk1_observer_horizon_structure",
    "definition:bk1_reflection_operator",
    "definition:bk1_symbolic_contradiction",
    "definition:bk1_symbolic_manifold"
  ],
  "file": "scholium_symbolicum.tex",
  "id": "lemma:bk1_contradiction_resolution_principle",
  "label": "lemma:bk1_contradiction_resolution_principle",
  "latex_body": "\\begin{lemma}[Contradiction Resolution Principle]\n\\label{lemma:bk1_contradiction_resolution_principle}\nLet $\\mathcal{S}$ be a symbolic manifold (Def.~\\ref{definition:bk1_symbolic_manifold}) with bounded observer horizon structure (Def.~\\ref{definition:bk1_observer_horizon_structure}). Let $D$ and $R$ denote the drift field (Def.~\\ref{definition:bk1_drift_field}) and reflection operator (Def.~\\ref{definition:bk1_reflection_operator}), respectively. Let $\\mathcal{C} = \\{c_1, c_2, \\ldots, c_k\\}$ be a finite set of symbolic contradictions (Def.~\\ref{definition:bk1_symbolic_contradiction}) within the observer domain $\\mathcal{D}_\\mathcal{O}(t)$, each with intensity $\\mathcal{I}(c_i)$. Then there exists a minimal extension $\\mathcal{S}' \\supset \\mathcal{S}$ such that:\n\\begin{enumerate}\n    \\item All contradictions in $\\mathcal{C}$ can be simultaneously resolved\n    \\item The actions of both $D$ and $R$ extend continuously to $\\mathcal{S}'$\n    \\item The dimensional increase satisfies $\\dim(\\mathcal{S}') - \\dim(\\mathcal{S}) \\geq \\lceil \\log_2 |\\mathcal{C}| \\rceil$\n\\end{enumerate}\n\\end{lemma}",
  "lean_alignment": {
    "conditions": [
      "discrete kernels only: ODE flows, Riemannian geodesics, Hopf-Rinow, and the MSR path integral stay open",
      "the self-representation clause of reflexive maps is interpretive"
    ],
    "countermodels": [],
    "full_record": "bib/principia_lean_alignment.json",
    "kernel_certified": false,
    "notes": [
      "Minimal-extension existence kernel; intensity budgets open."
    ],
    "record_ids": [
      "MAP-SCHOLIUM_A-073"
    ],
    "statuses": [
      "open_bridge"
    ],
    "witnesses": [
      "ScholiumDyn.extension_resolves"
    ]
  },
  "line": 1349,
  "macros_used": [],
  "matter_region": "mainmatter",
  "matter_role": "book1_foundational_scholium",
  "name": "Contradiction Resolution Principle",
  "proof_labels": [
    "proof:bk1_constructive_resolution"
  ],
  "proof_status": "proven",
  "ref_roles": [
    {
      "context": "horizon structure (Def.~\\ref{definition:bk1_observer_horizon_structure}). Let $D$ and $R$ denote the drift field (Def.~\\ref{definition:bk1_drift_field}) and reflection operator (Def.~\\ref{definition:bk1_reflection_operator}), respectively. Let $\\mathcal{C} = \\{c_1, c_2,",
      "label": "definition:bk1_drift_field",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "scholium_symbolicum.tex",
      "target_line": 1198,
      "target_type": "definition"
    },
    {
      "context": "{S}$ be a symbolic manifold (Def.~\\ref{definition:bk1_symbolic_manifold}) with bounded observer horizon structure (Def.~\\ref{definition:bk1_observer_horizon_structure}). Let $D$ and $R$ denote the drift field (Def.~\\ref{definition:bk1_drift_field}) and reflection operator (Def.~\\ref{def",
      "label": "definition:bk1_observer_horizon_structure",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "scholium_symbolicum.tex",
      "target_line": 1232,
      "target_type": "definition"
    },
    {
      "context": "ructure}). Let $D$ and $R$ denote the drift field (Def.~\\ref{definition:bk1_drift_field}) and reflection operator (Def.~\\ref{definition:bk1_reflection_operator}), respectively. Let $\\mathcal{C} = \\{c_1, c_2, \\ldots, c_k\\}$ be a finite set of symbolic contradictions (Def.~\\ref{def",
      "label": "definition:bk1_reflection_operator",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "scholium_symbolicum.tex",
      "target_line": 1209,
      "target_type": "definition"
    },
    {
      "context": "perator}), respectively. Let $\\mathcal{C} = \\{c_1, c_2, \\ldots, c_k\\}$ be a finite set of symbolic contradictions (Def.~\\ref{definition:bk1_symbolic_contradiction}) within the observer domain $\\mathcal{D}_\\mathcal{O}(t)$, each with intensity $\\mathcal{I}(c_i)$. Then there exists a m",
      "label": "definition:bk1_symbolic_contradiction",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "scholium_symbolicum.tex",
      "target_line": 1305,
      "target_type": "definition"
    },
    {
      "context": "solution Principle] \\label{lemma:bk1_contradiction_resolution_principle} Let $\\mathcal{S}$ be a symbolic manifold (Def.~\\ref{definition:bk1_symbolic_manifold}) with bounded observer horizon structure (Def.~\\ref{definition:bk1_observer_horizon_structure}). Let $D$ and $R$ denote",
      "label": "definition:bk1_symbolic_manifold",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "scholium_symbolicum.tex",
      "target_line": 1188,
      "target_type": "definition"
    }
  ],
  "refs": [
    "definition:bk1_drift_field",
    "definition:bk1_observer_horizon_structure",
    "definition:bk1_reflection_operator",
    "definition:bk1_symbolic_contradiction",
    "definition:bk1_symbolic_manifold"
  ],
  "role": "lemma",
  "type": "lemma"
}

{
  "book": "scholium_symbolicum",
  "cited_by": [],
  "cites": [
    "definition:bk1_drift_field",
    "definition:bk1_symbolic_contradiction",
    "definition:bk1_symbolic_manifold",
    "lemma:bk1_contradiction_resolution_principle"
  ],
  "depends_on": [
    "definition:bk1_drift_field",
    "definition:bk1_symbolic_contradiction",
    "definition:bk1_symbolic_manifold",
    "lemma:bk1_contradiction_resolution_principle"
  ],
  "file": "scholium_symbolicum.tex",
  "id": "proof:bk1_constructive_resolution",
  "label": "proof:bk1_constructive_resolution",
  "latex_body": "\\begin{proof}[Constructive Resolution via Fiber Bundle Extension]\n\\label{proof:bk1_constructive_resolution}\n\\leavevmode\n\nFor each contradiction $c_i \\in \\mathcal{C}$ (Def.~\\ref{definition:bk1_symbolic_contradiction}), construct a local coordinate chart $U_i$ containing $c_i$ and define a fiber bundle $\\pi_i: E_i \\to U_i$ where the fiber at each point $s \\in U_i$ is a copy of $\\mathbb{R}^{n_i}$ with $n_i$ chosen to accommodate the contradiction intensity: $n_i = \\lceil \\log_2(1 + \\mathcal{I}(c_i)) \\rceil$.\n\nThe extended manifold $\\mathcal{S}'$ is constructed as the union $\\mathcal{S}$ (Def.~\\ref{definition:bk1_symbolic_manifold}) $\\cup \\bigcup_{i=1}^k E_i$ with appropriate transition functions ensuring smoothness. The drift field $D$ (Def.~\\ref{definition:bk1_drift_field}) extends to $\\mathcal{S}'$ by defining its action on fiber directions to resolve the contradictory dynamics: on fiber $\\pi_i^{-1}(s)$, set $D$ to be the unique vector that simultaneously satisfies the constraints from overlapping regions.\n\nThe logarithmic bound on dimension follows from the fact that each contradiction can be resolved by introducing at least one new binary choice (corresponding to one additional dimension), and $k$ contradictions require at least $\\lceil \\log_2 k \\rceil$ dimensions to encode all possible resolution patterns, as claimed in Lem.~\\ref{lemma:bk1_contradiction_resolution_principle}.\n\\end{proof}",
  "line": 1359,
  "macros_used": [],
  "matter_region": "mainmatter",
  "matter_role": "book1_foundational_scholium",
  "name": "Constructive Resolution via Fiber Bundle Extension",
  "proves": "lemma:bk1_contradiction_resolution_principle",
  "ref_roles": [
    {
      "context": "ifold}) $\\cup \\bigcup_{i=1}^k E_i$ with appropriate transition functions ensuring smoothness. The drift field $D$ (Def.~\\ref{definition:bk1_drift_field}) extends to $\\mathcal{S}'$ by defining its action on fiber directions to resolve the contradictory dynamics: on fiber $",
      "label": "definition:bk1_drift_field",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "scholium_symbolicum.tex",
      "target_line": 1198,
      "target_type": "definition"
    },
    {
      "context": "le Extension] \\label{proof:bk1_constructive_resolution} \\leavevmode For each contradiction $c_i \\in \\mathcal{C}$ (Def.~\\ref{definition:bk1_symbolic_contradiction}), construct a local coordinate chart $U_i$ containing $c_i$ and define a fiber bundle $\\pi_i: E_i \\to U_i$ where the fi",
      "label": "definition:bk1_symbolic_contradiction",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "scholium_symbolicum.tex",
      "target_line": 1305,
      "target_type": "definition"
    },
    {
      "context": "_2(1 + \\mathcal{I}(c_i)) \\rceil$. The extended manifold $\\mathcal{S}'$ is constructed as the union $\\mathcal{S}$ (Def.~\\ref{definition:bk1_symbolic_manifold}) $\\cup \\bigcup_{i=1}^k E_i$ with appropriate transition functions ensuring smoothness. The drift field $D$ (Def.~\\ref{d",
      "label": "definition:bk1_symbolic_manifold",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "scholium_symbolicum.tex",
      "target_line": 1188,
      "target_type": "definition"
    },
    {
      "context": "ons require at least $\\lceil \\log_2 k \\rceil$ dimensions to encode all possible resolution patterns, as claimed in Lem.~\\ref{lemma:bk1_contradiction_resolution_principle}. \\end{proof}",
      "label": "lemma:bk1_contradiction_resolution_principle",
      "logical_support": true,
      "role": "proof_support",
      "target_file": "scholium_symbolicum.tex",
      "target_line": 1349,
      "target_type": "lemma"
    }
  ],
  "refs": [
    "definition:bk1_drift_field",
    "definition:bk1_symbolic_contradiction",
    "definition:bk1_symbolic_manifold",
    "lemma:bk1_contradiction_resolution_principle"
  ],
  "role": "proof",
  "type": "proof"
}

{
  "book": "scholium_symbolicum",
  "cited_by": [],
  "cites": [],
  "depends_on": [],
  "file": "scholium_symbolicum.tex",
  "id": "subsec:bk1_necessity_higher_order_structure",
  "label": "subsec:bk1_necessity_higher_order_structure",
  "latex_body": "",
  "line": 1372,
  "macros_used": [],
  "matter_region": "mainmatter",
  "matter_role": "book1_foundational_scholium",
  "name": "Necessity of Higher-Order Geometric Structure",
  "role": "section",
  "subtype": "subsection",
  "type": "section"
}

{
  "book": "scholium_symbolicum",
  "cited_by": [
    "corollary:bk1_non_euclidean_necessity",
    "proof:bk1_linear_insufficiency",
    "theorem:bk1_quadratic_structure_necessity"
  ],
  "cites": [
    "definition:bk1_emergence_event",
    "definition:bk1_reflection_operator",
    "definition:bk1_symbolic_contradiction"
  ],
  "depends_on": [
    "definition:bk1_emergence_event",
    "definition:bk1_reflection_operator",
    "definition:bk1_symbolic_contradiction"
  ],
  "file": "scholium_symbolicum.tex",
  "id": "lemma:bk1_contextual_nonseparability",
  "label": "lemma:bk1_contextual_nonseparability",
  "latex_body": "\\begin{lemma}[Contextual meaning is non-separable]\n\\label{lemma:bk1_contextual_nonseparability}\nWork in a chart near an accessible state $s_0$, with state coordinate $\\xi = s-s_0$ and\ncontext coordinate $\\chi = c-c_0$ (the horizon and contradiction data of\nDefs.~\\ref{definition:bk1_symbolic_contradiction}, \\ref{definition:bk1_emergence_event}),\nand let $\\mathcal{U}(\\xi,\\chi)$ be the smooth update residual after pure drift is\nsubtracted. Call the representation \\emph{context-free} (flat) at $s_0$ when the update is\nadditively separable, $\\mathcal{U}(\\xi,\\chi)=A(\\xi)+B(\\chi)$, so that the dynamical effect\n$\\partial_\\xi\\mathcal{U}$ of a state change carries no dependence on the context $\\chi$.\nCall the update \\emph{contextual} -- the defining property of reflexive,\ncontradiction-driven meaning (Def.~\\ref{definition:bk1_reflection_operator},\nDef.~\\ref{definition:bk1_emergence_event}) -- when a state change's effect is genuinely\nmodulated by context. Then\n\\[\n\\text{contextual at } s_0 \\quad\\Longleftrightarrow\\quad D_\\xi D_\\chi\\,\\mathcal{U}(0,0)\\neq 0,\n\\]\nand no context-free representation can carry contextual meaning.\n\\end{lemma}",
  "lean_alignment": {
    "conditions": [
      "curvature coupling, general minimal period, and covariant transport remain open",
      "drift and reflection are jointly supplied and both nonidentity in the concrete witness",
      "the reader/operator and operate action are explicit data; the process description does not enact itself",
      "the recursive phase certificate is finite and observer-relative, not a smooth spinor bundle"
    ],
    "countermodels": [],
    "full_record": "bib/principia_lean_alignment.json",
    "kernel_certified": true,
    "notes": [
      "The mixed partial derivative D_xi D_chi U is replaced by an honest finite second-difference surrogate; this proves the intended contrapositive (nonzero difference implies non-separable) but is explicitly NOT a formalization of the derivative-based iff in the source."
    ],
    "record_ids": [
      "MAP-SCHOLIUM_A-017"
    ],
    "statuses": [
      "conditional"
    ],
    "witnesses": [
      "ScholiumA.nonseparable_of_mixedDiff_ne_zero",
      "ScholiumA.separable_mixedDiff_zero"
    ]
  },
  "line": 1375,
  "macros_used": [],
  "matter_region": "mainmatter",
  "matter_role": "book1_foundational_scholium",
  "name": "Contextual meaning is non-separable",
  "proof_labels": [
    "proof:bk1_contextual_nonseparability"
  ],
  "proof_status": "proven",
  "ref_roles": [
    {
      "context": "ext coordinate $\\chi = c-c_0$ (the horizon and contradiction data of Defs.~\\ref{definition:bk1_symbolic_contradiction}, \\ref{definition:bk1_emergence_event}), and let $\\mathcal{U}(\\xi,\\chi)$ be the smooth update residual after pure drift is subtracted. Call the representation",
      "label": "definition:bk1_emergence_event",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "scholium_symbolicum.tex",
      "target_line": 1325,
      "target_type": "definition"
    },
    {
      "context": "ext $\\chi$. Call the update \\emph{contextual} -- the defining property of reflexive, contradiction-driven meaning (Def.~\\ref{definition:bk1_reflection_operator}, Def.~\\ref{definition:bk1_emergence_event}) -- when a state change's effect is genuinely modulated by context. Then \\[",
      "label": "definition:bk1_reflection_operator",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "scholium_symbolicum.tex",
      "target_line": 1209,
      "target_type": "definition"
    },
    {
      "context": "with state coordinate $\\xi = s-s_0$ and context coordinate $\\chi = c-c_0$ (the horizon and contradiction data of Defs.~\\ref{definition:bk1_symbolic_contradiction}, \\ref{definition:bk1_emergence_event}), and let $\\mathcal{U}(\\xi,\\chi)$ be the smooth update residual after pure drift",
      "label": "definition:bk1_symbolic_contradiction",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "scholium_symbolicum.tex",
      "target_line": 1305,
      "target_type": "definition"
    }
  ],
  "refs": [
    "definition:bk1_emergence_event",
    "definition:bk1_reflection_operator",
    "definition:bk1_symbolic_contradiction"
  ],
  "role": "lemma",
  "type": "lemma"
}

{
  "book": "scholium_symbolicum",
  "cited_by": [],
  "cites": [],
  "depends_on": [],
  "file": "scholium_symbolicum.tex",
  "id": "proof:bk1_contextual_nonseparability",
  "label": "proof:bk1_contextual_nonseparability",
  "latex_body": "\\begin{proof}[Separable updates are exactly the context-free ones]\n\\label{proof:bk1_contextual_nonseparability}\n\\leavevmode\nIf $\\mathcal{U}(\\xi,\\chi)=A(\\xi)+B(\\chi)$ then $\\partial_\\xi\\mathcal{U}=A'(\\xi)$ carries no\n$\\chi$-dependence, so $\\partial_\\chi\\partial_\\xi\\mathcal{U}\\equiv 0$ and a state change's\neffect is the same in every context -- the update is non-contextual. Conversely, if\n$D_\\xi D_\\chi\\mathcal{U}(0,0)\\neq 0$ then $\\partial_\\xi\\mathcal{U}$ varies with $\\chi$ near\n$s_0$, so $\\mathcal{U}$ admits no additive decomposition $A(\\xi)+B(\\chi)$ -- any such\ndecomposition forces the mixed derivative to vanish identically -- and the state's effect\nis then genuinely context-modulated, which is contextual meaning. The two conditions\ncoincide. A flat representation is separable by construction, hence has\n$D_\\xi D_\\chi\\mathcal{U}\\equiv 0$, and so cannot realize it.\n\\end{proof}",
  "line": 1394,
  "macros_used": [],
  "matter_region": "mainmatter",
  "matter_role": "book1_foundational_scholium",
  "name": "Separable updates are exactly the context-free ones",
  "proves": "lemma:bk1_contextual_nonseparability",
  "refs": [],
  "role": "proof",
  "type": "proof"
}

{
  "book": "scholium_symbolicum",
  "cited_by": [
    "corollary:bk1_non_euclidean_necessity",
    "proof:bk1_linear_insufficiency"
  ],
  "cites": [
    "definition:bk1_drift_field",
    "definition:bk1_emergence_event",
    "definition:bk1_reflection_operator",
    "definition:bk1_symbolic_contradiction",
    "definition:bk1_symbolic_manifold",
    "lemma:bk1_contextual_nonseparability",
    "theorem:bk1_constitutive_bootstrap",
    "theorem:bk1_dual_horizon_necessity_theorem"
  ],
  "depends_on": [
    "definition:bk1_drift_field",
    "definition:bk1_emergence_event",
    "definition:bk1_reflection_operator",
    "definition:bk1_symbolic_contradiction",
    "definition:bk1_symbolic_manifold",
    "lemma:bk1_contextual_nonseparability",
    "theorem:bk1_constitutive_bootstrap",
    "theorem:bk1_dual_horizon_necessity_theorem"
  ],
  "file": "scholium_symbolicum.tex",
  "id": "theorem:bk1_quadratic_structure_necessity",
  "label": "theorem:bk1_quadratic_structure_necessity",
  "latex_body": "\\begin{theorem}[Quadratic Structure Necessity]\n\\label{theorem:bk1_quadratic_structure_necessity}\nAny symbolic system $(\\mathcal{S}, D, R, H_G, H_D)$ that supports\nhorizon-relative novelty, reflexive identity, and contradiction-driven emergence\nin the following operational sense must admit a quadratic representational\ngeometry: at some accessible state \\(s_0\\), the local update residual depends\nnonseparably on both symbolic state and contextual data. More precisely, let\n\\[\nc=(d_G,d_D,\\mathcal{I})\n\\]\ncollect the distances to the generative and dissipative horizons and the local\ncontradiction intensity (Defs.~\\ref{definition:bk1_symbolic_contradiction},\n\\ref{definition:bk1_emergence_event}). In local coordinates\n\\(\\xi=s-s_0\\) and \\(\\chi=c-c_0\\), let\n\\(\\mathcal{U}(\\xi,\\chi)\\) denote the residual update after subtracting the\npure drift term \\(D\\). If the mixed derivative\n\\[\nD_\\xi D_\\chi \\mathcal{U}(0,0)\\neq 0\n\\]\nis nonzero -- equivalently, by Lemma~\\ref{lemma:bk1_contextual_nonseparability}, if the\nupdate is \\emph{contextual} at \\(s_0\\), so a state change's effect is genuinely modulated\nby context, which is the hypothesis rather than an extra analytic assumption -- then there\nexists a nonzero rank-2 tensor \\(Q_{s_0}\\) on the combined\nstate-context space \\(T_{s_0}\\mathcal{S}\\oplus C_{s_0}\\) such that, to second\norder,\n\\[\n\\frac{ds}{dt}\n=D(s)+Q_{s_0}\\bigl((\\xi,\\chi),(\\xi,\\chi)\\bigr)\n+O(\\|(\\xi,\\chi)\\|^3).\n\\]\nThus the minimal local representation capable of carrying contextual emergence\ncontains a bilinear, hence quadratic, coupling term.\n\nHere:\n\\begin{itemize}\n    \\item $\\mathcal{S}$ is the symbolic manifold (Def.~\\ref{definition:bk1_symbolic_manifold})\n    \\item $D$ is the drift field (Def.~\\ref{definition:bk1_drift_field})\n    \\item $R$ is the typed reflection structure (Def.~\\ref{definition:bk1_reflection_operator})\n    \\item Horizon structures $H_G, H_D$ derive from the dual horizon model (Thm.~\\ref{theorem:bk1_dual_horizon_necessity_theorem})\n    \\item Reflexive identity is extracted from reflective closure (Thm.~\\ref{theorem:bk1_constitutive_bootstrap}).\n    \\item Contradiction-driven emergence is formalized via emergence events (Def.~\\ref{definition:bk1_emergence_event})\n\\end{itemize}\n\\end{theorem}",
  "lean_alignment": {
    "conditions": [
      "application order in the composite is not interpreted as ontological origin order",
      "catS, observer detection, stage continuity, and geometric realization remain distinct supplied interfaces",
      "drift and reflection are fields of one OperationalStage witness; neither is derived from the other"
    ],
    "countermodels": [],
    "full_record": "bib/principia_lean_alignment.json",
    "kernel_certified": false,
    "notes": [
      "crossTerm is a discrete finite-difference surrogate for the mixed second derivative D_xi D_chi U(0,0), not the derivative itself; the local-coordinate Taylor expansion and the O(||.||^3) remainder are not modeled."
    ],
    "record_ids": [
      "MAP-SCHOLIUM_A-035"
    ],
    "statuses": [
      "open_bridge"
    ],
    "witnesses": [
      "ScholiumC.crossTerm_ne_zero_exists"
    ]
  },
  "line": 1408,
  "macros_used": [],
  "matter_region": "mainmatter",
  "matter_role": "book1_foundational_scholium",
  "name": "Quadratic Structure Necessity",
  "proof_labels": [
    "proof:bk1_geometric_necessity_curvature"
  ],
  "proof_status": "proven",
  "ref_roles": [
    {
      "context": "thcal{S}$ is the symbolic manifold (Def.~\\ref{definition:bk1_symbolic_manifold}) \\item $D$ is the drift field (Def.~\\ref{definition:bk1_drift_field}) \\item $R$ is the typed reflection structure (Def.~\\ref{definition:bk1_reflection_operator}) \\item Horizon stru",
      "label": "definition:bk1_drift_field",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "scholium_symbolicum.tex",
      "target_line": 1198,
      "target_type": "definition"
    },
    {
      "context": "tive and dissipative horizons and the local contradiction intensity (Defs.~\\ref{definition:bk1_symbolic_contradiction}, \\ref{definition:bk1_emergence_event}). In local coordinates \\(\\xi=s-s_0\\) and \\(\\chi=c-c_0\\), let \\(\\mathcal{U}(\\xi,\\chi)\\) denote the residual update after",
      "label": "definition:bk1_emergence_event",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "scholium_symbolicum.tex",
      "target_line": 1325,
      "target_type": "definition"
    },
    {
      "context": "em $D$ is the drift field (Def.~\\ref{definition:bk1_drift_field}) \\item $R$ is the typed reflection structure (Def.~\\ref{definition:bk1_reflection_operator}) \\item Horizon structures $H_G, H_D$ derive from the dual horizon model (Thm.~\\ref{theorem:bk1_dual_horizon_necessi",
      "label": "definition:bk1_reflection_operator",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "scholium_symbolicum.tex",
      "target_line": 1209,
      "target_type": "definition"
    },
    {
      "context": "al{I}) \\] collect the distances to the generative and dissipative horizons and the local contradiction intensity (Defs.~\\ref{definition:bk1_symbolic_contradiction}, \\ref{definition:bk1_emergence_event}). In local coordinates \\(\\xi=s-s_0\\) and \\(\\chi=c-c_0\\), let \\(\\mathcal{U}(\\xi,\\c",
      "label": "definition:bk1_symbolic_contradiction",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "scholium_symbolicum.tex",
      "target_line": 1305,
      "target_type": "definition"
    },
    {
      "context": "bilinear, hence quadratic, coupling term. Here: \\begin{itemize} \\item $\\mathcal{S}$ is the symbolic manifold (Def.~\\ref{definition:bk1_symbolic_manifold}) \\item $D$ is the drift field (Def.~\\ref{definition:bk1_drift_field}) \\item $R$ is the typed reflection structu",
      "label": "definition:bk1_symbolic_manifold",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "scholium_symbolicum.tex",
      "target_line": 1188,
      "target_type": "definition"
    },
    {
      "context": "rift term \\(D\\). If the mixed derivative \\[ D_\\xi D_\\chi \\mathcal{U}(0,0)\\neq 0 \\] is nonzero -- equivalently, by Lemma~\\ref{lemma:bk1_contextual_nonseparability}, if the update is \\emph{contextual} at \\(s_0\\), so a state change's effect is genuinely modulated by context, which is",
      "label": "lemma:bk1_contextual_nonseparability",
      "logical_support": true,
      "role": "formal_dependency",
      "target_file": "scholium_symbolicum.tex",
      "target_line": 1375,
      "target_type": "lemma"
    },
    {
      "context": "ef{theorem:bk1_dual_horizon_necessity_theorem}) \\item Reflexive identity is extracted from reflective closure (Thm.~\\ref{theorem:bk1_constitutive_bootstrap}). \\item Contradiction-driven emergence is formalized via emergence events (Def.~\\ref{definition:bk1_emergence_event",
      "label": "theorem:bk1_constitutive_bootstrap",
      "logical_support": true,
      "role": "formal_dependency",
      "target_file": "scholium_symbolicum.tex",
      "target_line": 1035,
      "target_type": "theorem"
    },
    {
      "context": "f{definition:bk1_reflection_operator}) \\item Horizon structures $H_G, H_D$ derive from the dual horizon model (Thm.~\\ref{theorem:bk1_dual_horizon_necessity_theorem}) \\item Reflexive identity is extracted from reflective closure (Thm.~\\ref{theorem:bk1_constitutive_bootstrap}).",
      "label": "theorem:bk1_dual_horizon_necessity_theorem",
      "logical_support": true,
      "role": "formal_dependency",
      "target_file": "scholium_symbolicum.tex",
      "target_line": 775,
      "target_type": "theorem"
    }
  ],
  "refs": [
    "definition:bk1_drift_field",
    "definition:bk1_emergence_event",
    "definition:bk1_reflection_operator",
    "definition:bk1_symbolic_contradiction",
    "definition:bk1_symbolic_manifold",
    "lemma:bk1_contextual_nonseparability",
    "theorem:bk1_constitutive_bootstrap",
    "theorem:bk1_dual_horizon_necessity_theorem"
  ],
  "role": "theorem",
  "type": "theorem"
}

{
  "book": "scholium_symbolicum",
  "cited_by": [],
  "cites": [
    "definition:bk1_drift_field",
    "definition:bk1_emergence_event",
    "definition:bk1_symbolic_contradiction",
    "theorem:bk1_constitutive_bootstrap"
  ],
  "depends_on": [
    "definition:bk1_drift_field",
    "definition:bk1_emergence_event",
    "definition:bk1_symbolic_contradiction",
    "theorem:bk1_constitutive_bootstrap"
  ],
  "file": "scholium_symbolicum.tex",
  "id": "proof:bk1_geometric_necessity_curvature",
  "label": "proof:bk1_geometric_necessity_curvature",
  "latex_body": "\\begin{proof}[Quadratic Necessity from Mixed Contextual Coupling]\n\\label{proof:bk1_geometric_necessity_curvature}\n\\leavevmode\n\n\\textbf{Step 1: Split pure drift from contextual residual.}\nWork in a chart near \\(s_0\\). The pure drift contribution is already accounted\nfor by \\(D(s)\\) (Def.~\\ref{definition:bk1_drift_field}). The remaining update\nis a smooth residual\n\\[\n\\mathcal{U}: T_{s_0}\\mathcal{S}\\oplus C_{s_0}\\to T_{s_0}\\mathcal{S},\n\\]\nwhere \\(C_{s_0}\\) is spanned locally by the horizon and contradiction\ncoordinates \\((d_G,d_D,\\mathcal{I})\\). Reflexive identity supplies stable\nstate coordinates through Thm.~\\ref{theorem:bk1_constitutive_bootstrap};\nhorizon-relative novelty and contradiction-driven emergence supply the\ncontext coordinates through Defs.~\\ref{definition:bk1_symbolic_contradiction}\nand \\ref{definition:bk1_emergence_event}.\n\n\\textbf{Step 2: Linear terms are separable.}\nThe first-order Taylor jet of \\(\\mathcal{U}\\) at \\((0,0)\\) has the form\n\\[\n\\mathcal{U}_1(\\xi,\\chi)=A\\xi+B\\chi\n\\]\nfor linear maps \\(A:T_{s_0}\\mathcal{S}\\to T_{s_0}\\mathcal{S}\\) and\n\\(B:C_{s_0}\\to T_{s_0}\\mathcal{S}\\). This expression is additively separable:\nstate changes and context changes contribute independently. Therefore\n\\[\nD_\\xi D_\\chi \\mathcal{U}_1(0,0)=0.\n\\]\nIt cannot realize the assumed nonzero mixed state/context sensitivity\n\\(D_\\xi D_\\chi \\mathcal{U}(0,0)\\neq 0\\).\n\n\\textbf{Step 3: The first possible mixed term is bilinear.}\nBy Taylor's theorem, the second-order jet contains\n\\[\n\\mathcal{U}_2(\\xi,\\chi)\n=\\frac12 D_\\xi^2\\mathcal{U}(0,0)[\\xi,\\xi]\n+D_\\xi D_\\chi\\mathcal{U}(0,0)[\\xi,\\chi]\n+\\frac12 D_\\chi^2\\mathcal{U}(0,0)[\\chi,\\chi].\n\\]\nThe middle term is bilinear and is nonzero by hypothesis. Hence the minimal\nlocal model that can represent the required contextual coupling is second\norder. Equivalently, on \\(T_{s_0}\\mathcal{S}\\oplus C_{s_0}\\) it is a quadratic\nform.\n\n\\textbf{Step 4: Define the quadratic tensor.}\nLet \\(z=(\\xi,\\chi)\\). Define \\(Q_{s_0}\\) by polarization of the second-order\njet:\n\\[\nQ_{s_0}(z,z)\n:=\\frac12 D^2\\mathcal{U}(0,0)[z,z].\n\\]\nBecause the mixed derivative is nonzero, \\(Q_{s_0}\\) is nonzero and contains\nthe required state/context interaction. Substituting the Taylor expansion into\nthe local dynamics gives\n\\[\n\\frac{ds}{dt}\n=D(s)+Q_{s_0}(z,z)+O(\\|z\\|^3),\n\\]\nwhich is the asserted quadratic representational geometry.\n\\end{proof}",
  "line": 1452,
  "macros_used": [],
  "matter_region": "mainmatter",
  "matter_role": "book1_foundational_scholium",
  "name": "Quadratic Necessity from Mixed Contextual Coupling",
  "proves": "theorem:bk1_quadratic_structure_necessity",
  "ref_roles": [
    {
      "context": "textual residual.} Work in a chart near \\(s_0\\). The pure drift contribution is already accounted for by \\(D(s)\\) (Def.~\\ref{definition:bk1_drift_field}). The remaining update is a smooth residual \\[ \\mathcal{U}: T_{s_0}\\mathcal{S}\\oplus C_{s_0}\\to T_{s_0}\\mathcal{S}, \\]",
      "label": "definition:bk1_drift_field",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "scholium_symbolicum.tex",
      "target_line": 1198,
      "target_type": "definition"
    },
    {
      "context": "radiction-driven emergence supply the context coordinates through Defs.~\\ref{definition:bk1_symbolic_contradiction} and \\ref{definition:bk1_emergence_event}. \\textbf{Step 2: Linear terms are separable.} The first-order Taylor jet of \\(\\mathcal{U}\\) at \\((0,0)\\) has the form",
      "label": "definition:bk1_emergence_event",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "scholium_symbolicum.tex",
      "target_line": 1325,
      "target_type": "definition"
    },
    {
      "context": "ve_bootstrap}; horizon-relative novelty and contradiction-driven emergence supply the context coordinates through Defs.~\\ref{definition:bk1_symbolic_contradiction} and \\ref{definition:bk1_emergence_event}. \\textbf{Step 2: Linear terms are separable.} The first-order Taylor jet of \\",
      "label": "definition:bk1_symbolic_contradiction",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "scholium_symbolicum.tex",
      "target_line": 1305,
      "target_type": "definition"
    },
    {
      "context": "contradiction coordinates \\((d_G,d_D,\\mathcal{I})\\). Reflexive identity supplies stable state coordinates through Thm.~\\ref{theorem:bk1_constitutive_bootstrap}; horizon-relative novelty and contradiction-driven emergence supply the context coordinates through Defs.~\\ref{definiti",
      "label": "theorem:bk1_constitutive_bootstrap",
      "logical_support": true,
      "role": "proof_support",
      "target_file": "scholium_symbolicum.tex",
      "target_line": 1035,
      "target_type": "theorem"
    }
  ],
  "refs": [
    "definition:bk1_drift_field",
    "definition:bk1_emergence_event",
    "definition:bk1_symbolic_contradiction",
    "theorem:bk1_constitutive_bootstrap"
  ],
  "role": "proof",
  "type": "proof"
}

{
  "book": "scholium_symbolicum",
  "cited_by": [
    "corollary:bk1_non_euclidean_necessity",
    "proof:bk1_limitation_linear_reflexive_maps",
    "proposition:bk1_limitation_linear_reflexive_maps",
    "theorem:bk1_reflexivity_quadratic"
  ],
  "cites": [
    "axiom:bk1_axiomata_prima",
    "theorem:bk1_constitutive_bootstrap"
  ],
  "depends_on": [
    "axiom:bk1_axiomata_prima",
    "lemma:bk1_contextual_nonseparability",
    "theorem:bk1_constitutive_bootstrap",
    "theorem:bk1_quadratic_structure_necessity"
  ],
  "file": "scholium_symbolicum.tex",
  "id": "corollary:bk1_linear_insufficiency",
  "label": "corollary:bk1_linear_insufficiency",
  "latex_body": "\\begin{corollary}[Linear Insufficiency]\n\\label{corollary:bk1_linear_insufficiency}\nIn the setting of Axiom~\\ref{axiom:bk1_axiomata_prima} and Thm.~\\ref{theorem:bk1_constitutive_bootstrap}, linear symbolic systems cannot support genuine emergence. Purely linear dynamics reduce to superposed independent modes and preclude the contextual coupling required for symbolic meaning.\n\\end{corollary}",
  "lean_alignment": {
    "conditions": [
      "application order in the composite is not interpreted as ontological origin order",
      "catS, observer detection, stage continuity, and geometric realization remain distinct supplied interfaces",
      "drift and reflection are fields of one OperationalStage witness; neither is derived from the other"
    ],
    "countermodels": [],
    "full_record": "bib/principia_lean_alignment.json",
    "kernel_certified": false,
    "notes": [
      "Only the algebraic fact that additively separable updates have zero cross-difference is modeled; the narrative conclusion 'linear systems reduce to superposed independent modes' is not itself a formal claim here."
    ],
    "record_ids": [
      "MAP-SCHOLIUM_A-036"
    ],
    "statuses": [
      "open_bridge"
    ],
    "witnesses": [
      "ScholiumC.crossTerm_separable_eq_zero"
    ]
  },
  "line": 1538,
  "macros_used": [],
  "matter_region": "mainmatter",
  "matter_role": "book1_foundational_scholium",
  "name": "Linear Insufficiency",
  "proof_labels": [
    "proof:bk1_linear_insufficiency"
  ],
  "proof_status": "proven",
  "ref_roles": [
    {
      "context": "\\begin{corollary}[Linear Insufficiency] \\label{corollary:bk1_linear_insufficiency} In the setting of Axiom~\\ref{axiom:bk1_axiomata_prima} and Thm.~\\ref{theorem:bk1_constitutive_bootstrap}, linear symbolic systems cannot support genuine emergence. Purely lin",
      "label": "axiom:bk1_axiomata_prima",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "book1.tex",
      "target_line": 3,
      "target_type": "axiom"
    },
    {
      "context": "sufficiency] \\label{corollary:bk1_linear_insufficiency} In the setting of Axiom~\\ref{axiom:bk1_axiomata_prima} and Thm.~\\ref{theorem:bk1_constitutive_bootstrap}, linear symbolic systems cannot support genuine emergence. Purely linear dynamics reduce to superposed independent mode",
      "label": "theorem:bk1_constitutive_bootstrap",
      "logical_support": true,
      "role": "formal_dependency",
      "target_file": "scholium_symbolicum.tex",
      "target_line": 1035,
      "target_type": "theorem"
    }
  ],
  "refs": [
    "axiom:bk1_axiomata_prima",
    "theorem:bk1_constitutive_bootstrap"
  ],
  "role": "corollary",
  "type": "corollary"
}

{
  "book": "scholium_symbolicum",
  "cited_by": [],
  "cites": [
    "lemma:bk1_contextual_nonseparability",
    "sec:bk1_quadratic_sufficiency_and_symbolic_curvature",
    "theorem:bk1_quadratic_structure_necessity"
  ],
  "depends_on": [
    "lemma:bk1_contextual_nonseparability",
    "theorem:bk1_quadratic_structure_necessity"
  ],
  "file": "scholium_symbolicum.tex",
  "forward_ref_roles": [
    {
      "context": "",
      "label": "sec:bk1_quadratic_sufficiency_and_symbolic_curvature",
      "line_distance": 187,
      "role": "navigation",
      "target_line": 1730,
      "target_type": "section"
    }
  ],
  "forward_refs": [
    "sec:bk1_quadratic_sufficiency_and_symbolic_curvature"
  ],
  "id": "proof:bk1_linear_insufficiency",
  "label": "proof:bk1_linear_insufficiency",
  "latex_body": "\\begin{proof}[Linear updates are context-free]\n\\label{proof:bk1_linear_insufficiency}\n\\leavevmode\nA linear update is additively separable, $\\mathcal{U}(\\xi,\\chi)=A\\xi+B\\chi$, so its mixed\nstate--context derivative vanishes identically, $D_\\xi D_\\chi\\mathcal{U}\\equiv 0$; by\nLemma~\\ref{lemma:bk1_contextual_nonseparability} it is therefore context-free and cannot\ncarry contextual meaning. By Thm.~\\ref{theorem:bk1_quadratic_structure_necessity} the\nminimal representation that can is the bilinear coupling term -- nonzero symbolic\ncurvature. The failure is thus structural, a vanishing mixed second derivative, not a\nshortfall of parameters.\n\\end{proof}",
  "line": 1543,
  "macros_used": [],
  "matter_region": "mainmatter",
  "matter_role": "book1_foundational_scholium",
  "name": "Linear updates are context-free",
  "proves": "corollary:bk1_linear_insufficiency",
  "ref_roles": [
    {
      "context": ")=A\\xi+B\\chi$, so its mixed state--context derivative vanishes identically, $D_\\xi D_\\chi\\mathcal{U}\\equiv 0$; by Lemma~\\ref{lemma:bk1_contextual_nonseparability} it is therefore context-free and cannot carry contextual meaning. By Thm.~\\ref{theorem:bk1_quadratic_structure_necessit",
      "label": "lemma:bk1_contextual_nonseparability",
      "logical_support": true,
      "role": "proof_support",
      "target_file": "scholium_symbolicum.tex",
      "target_line": 1375,
      "target_type": "lemma"
    },
    {
      "context": "",
      "label": "sec:bk1_quadratic_sufficiency_and_symbolic_curvature",
      "logical_support": false,
      "role": "forward_navigation",
      "target_file": "scholium_symbolicum.tex",
      "target_line": 1730,
      "target_type": "section"
    },
    {
      "context": "ma~\\ref{lemma:bk1_contextual_nonseparability} it is therefore context-free and cannot carry contextual meaning. By Thm.~\\ref{theorem:bk1_quadratic_structure_necessity} the minimal representation that can is the bilinear coupling term -- nonzero symbolic curvature. The failure is thus st",
      "label": "theorem:bk1_quadratic_structure_necessity",
      "logical_support": true,
      "role": "proof_support",
      "target_file": "scholium_symbolicum.tex",
      "target_line": 1408,
      "target_type": "theorem"
    }
  ],
  "refs": [
    "lemma:bk1_contextual_nonseparability",
    "theorem:bk1_quadratic_structure_necessity"
  ],
  "role": "proof",
  "type": "proof"
}

{
  "book": "scholium_symbolicum",
  "cited_by": [
    "corollary:bk1_non_euclidean_necessity",
    "definition:bk1_symbolic_coupling_basis",
    "proof:bk1_bridge_to_geometry",
    "proof:bk1_linear_context_independence",
    "proposition:bk1_bridge_to_geometry"
  ],
  "cites": [
    "axiom:bk1_axiomata_prima",
    "corollary:bk1_linear_insufficiency"
  ],
  "depends_on": [
    "axiom:bk1_axiomata_prima",
    "corollary:bk1_linear_insufficiency"
  ],
  "file": "scholium_symbolicum.tex",
  "id": "theorem:bk1_reflexivity_quadratic",
  "label": "theorem:bk1_reflexivity_quadratic",
  "latex_body": "\\begin{theorem}[Reflexivity Requires Quadratic Framing]\n\\label{theorem:bk1_reflexivity_quadratic}\nAny symbolic system $\\mathcal{S}$ capable of robust self-reference and context-dependent meaning cannot be governed by purely linear operators (cf.~Cor.~\\ref{corollary:bk1_linear_insufficiency}, Axiom~\\ref{axiom:bk1_axiomata_prima}).\n\n\\textbf{Proof Sketch:}\nConsider a hypothetical linear symbolic system with operator $\\mathcal{L}$ satisfying:\n\\begin{align}\n\\mathcal{L}(\\alpha x + \\beta y) = \\alpha \\mathcal{L}(x) + \\beta \\mathcal{L}(y) \\quad \\forall \\alpha, \\beta \\in \\mathbb{R}, \\, x, y \\in \\mathcal{S}\n\\end{align}\n\n\\textbf{Self-Reference Impossibility:} For self-reference, we require $\\mathcal{L}(x)$ to depend on $x$'s relationship to $x$ itself. But linearity forces:\n\\begin{align}\n\\mathcal{L}(x + x) = 2\\mathcal{L}(x)\n\\end{align}\nThis prohibits the system from distinguishing between \"symbol $x$ appearing twice\" versus \"symbol $x$ in self-reference.\" Linear systems cannot encode the difference between repetition and reflexivity.\n\n\\textbf{Context-Dependency Impossibility:} Context-sensitivity requires that the meaning of symbol $x$ changes based on its symbolic environment. But linearity mandates:\n\\begin{align}\n\\mathcal{L}(x \\text{ in context } A) + \\mathcal{L}(x \\text{ in context } B) = \\mathcal{L}(x \\text{ in contexts } A + B)\n\\end{align}\nThis linear superposition principle destroys contextual meaning—the system cannot distinguish different symbolic environments.\n\n\\textbf{Cross-Field Manifestations:}\n\\begin{itemize}\n\\item \\textbf{quant-ph}: Quantum entanglement requires bilinear forms $\\langle \\psi_1 | \\hat{O} | \\psi_2 \\rangle$—linear operators cannot capture non-local correlations\n\\item \\textbf{math-ph}: Riemann curvature tensor $R_{ijkl}$ is quadratic in connection coefficients—linear geometry is necessarily flat\n\\item \\textbf{hep-th}: Gauge field interactions $F_{\\mu\\nu} F^{\\mu\\nu}$ are quadratic—linear field theories have no self-interaction\n\\item \\textbf{cs.LG}: Universal approximation requires non-linear activations—linear networks collapse to single-layer computation\n\\item \\textbf{cond-mat.stat-mech}: Phase transitions require non-linear order parameter coupling $\\phi^4$ terms—linear models show no criticality\n\\end{itemize}\n\\end{theorem}",
  "lean_alignment": {
    "conditions": [
      "curvature coupling, general minimal period, and covariant transport remain open",
      "drift and reflection are jointly supplied and both nonidentity in the concrete witness",
      "the reader/operator and operate action are explicit data; the process description does not enact itself",
      "the recursive phase certificate is finite and observer-relative, not a smooth spinor bundle"
    ],
    "countermodels": [],
    "full_record": "bib/principia_lean_alignment.json",
    "kernel_certified": false,
    "notes": [
      "Only the proof sketch's stated algebraic premise L(x+x)=2*L(x) is proved; the informal conclusion that this prevents self-reference/context-dependence is a narrative jump and is not modeled."
    ],
    "record_ids": [
      "MAP-SCHOLIUM_A-022"
    ],
    "statuses": [
      "open_bridge"
    ],
    "witnesses": [
      "ScholiumA.linear_double"
    ]
  },
  "line": 1561,
  "macros_used": [],
  "matter_region": "mainmatter",
  "matter_role": "book1_foundational_scholium",
  "name": "Reflexivity Requires Quadratic Framing",
  "proof_status": "argued_inline",
  "ref_roles": [
    {
      "context": "pendent meaning cannot be governed by purely linear operators (cf.~Cor.~\\ref{corollary:bk1_linear_insufficiency}, Axiom~\\ref{axiom:bk1_axiomata_prima}). \\textbf{Proof Sketch:} Consider a hypothetical linear symbolic system with operator $\\mathcal{L}$ satisfying: \\begin",
      "label": "axiom:bk1_axiomata_prima",
      "logical_support": true,
      "role": "cf_near_match",
      "target_file": "book1.tex",
      "target_line": 3,
      "target_type": "axiom"
    },
    {
      "context": "capable of robust self-reference and context-dependent meaning cannot be governed by purely linear operators (cf.~Cor.~\\ref{corollary:bk1_linear_insufficiency}, Axiom~\\ref{axiom:bk1_axiomata_prima}). \\textbf{Proof Sketch:} Consider a hypothetical linear symbolic system with ope",
      "label": "corollary:bk1_linear_insufficiency",
      "logical_support": true,
      "role": "cf_near_match",
      "target_file": "scholium_symbolicum.tex",
      "target_line": 1538,
      "target_type": "corollary"
    }
  ],
  "refs": [
    "axiom:bk1_axiomata_prima",
    "corollary:bk1_linear_insufficiency"
  ],
  "role": "theorem",
  "type": "theorem"
}

{
  "book": "scholium_symbolicum",
  "cited_by": [
    "proof:bk1_bridge_to_geometry",
    "proposition:bk1_bridge_to_geometry"
  ],
  "cites": [
    "theorem:bk1_reflexivity_quadratic"
  ],
  "depends_on": [
    "theorem:bk1_reflexivity_quadratic"
  ],
  "file": "scholium_symbolicum.tex",
  "id": "definition:bk1_symbolic_coupling_basis",
  "label": "definition:bk1_symbolic_coupling_basis",
  "latex_body": "\\begin{definition}[Symbolic Coupling (Basis Decomposition)]\n\\label{definition:bk1_symbolic_coupling_basis}\nLet $\\{\\phi_i(x)\\}$ be a basis of symbolic features on manifold $\\mathcal{M}$ (cf.~Thm.~\\ref{theorem:bk1_reflexivity_quadratic}). Define:\n\n\\textbf{Linear Coupling:}\n\\begin{align}\n\\mathcal{C}_{\\text{linear}}(x) = \\sum_i \\alpha_i \\phi_i(x)\n\\end{align}\n\n\\textbf{Quadratic Coupling:}\n\\begin{align}\n\\mathcal{C}_{\\text{quadratic}}(x) = \\sum_{i,j} \\alpha_{ij} \\phi_i(x) \\phi_j(x)\n\\end{align}\n\nThe quadratic coupling matrix $\\alpha_{ij}$ encodes interaction terms between symbolic features, enabling:\n\\begin{enumerate}\n\\item \\textbf{Context-dependent activation}: Symbol meaning depends on co-occurring symbols\n\\item \\textbf{Self-referential loops}: Symbols can reference their own activation states  \n\\item \\textbf{Emergent correlation structure}: Higher-order patterns arise from pairwise interactions\n\\end{enumerate}\n\n\\textbf{Cross-Field Realizations:}\n\\begin{itemize}\n\\item \\textbf{quant-ph}: Density matrix $\\rho = \\sum_{ij} \\rho_{ij} |i\\rangle \\langle j|$ with quadratic coupling $\\alpha_{ij} = \\rho_{ij}$\n\\item \\textbf{math-ph}: Metric tensor $g_{ij}$ defining quadratic line element $ds^2 = g_{ij} dx^i dx^j$\n\\item \\textbf{hep-th}: Stress-energy tensor $T_{\\mu\\nu}$ coupling matter to spacetime curvature quadratically\n\\item \\textbf{cs.LG}: Attention weights $A_{ij} = \\text{softmax}(Q_i K_j^T)$ creating quadratic token interactions\n\\item \\textbf{cond-mat.stat-mech}: Correlation function $G_{ij} = \\langle \\sigma_i \\sigma_j \\rangle$ capturing pairwise spin correlations\n\\end{itemize}\n\\end{definition}",
  "lean_alignment": {
    "conditions": [
      "curvature coupling, general minimal period, and covariant transport remain open",
      "drift and reflection are jointly supplied and both nonidentity in the concrete witness",
      "the reader/operator and operate action are explicit data; the process description does not enact itself",
      "the recursive phase certificate is finite and observer-relative, not a smooth spinor bundle"
    ],
    "countermodels": [],
    "full_record": "bib/principia_lean_alignment.json",
    "kernel_certified": false,
    "notes": [
      "Covered only via the concrete countermodel instance C(x,y)=x*y, showing this particular quadratic coupling is not a linear coupling; the general basis-decomposition definition itself is not modeled."
    ],
    "record_ids": [
      "MAP-SCHOLIUM_A-018"
    ],
    "statuses": [
      "open_bridge"
    ],
    "witnesses": [
      "ScholiumA.quadratic_not_linear"
    ]
  },
  "line": 1593,
  "macros_used": [],
  "matter_region": "mainmatter",
  "matter_role": "book1_foundational_scholium",
  "name": "Symbolic Coupling (Basis Decomposition)",
  "proof_status": "definitional",
  "ref_roles": [
    {
      "context": "on:bk1_symbolic_coupling_basis} Let $\\{\\phi_i(x)\\}$ be a basis of symbolic features on manifold $\\mathcal{M}$ (cf.~Thm.~\\ref{theorem:bk1_reflexivity_quadratic}). Define: \\textbf{Linear Coupling:} \\begin{align} \\mathcal{C}_{\\text{linear}}(x) = \\sum_i \\alpha_i \\phi_i(x) \\end{alig",
      "label": "theorem:bk1_reflexivity_quadratic",
      "logical_support": true,
      "role": "cf_near_match",
      "target_file": "scholium_symbolicum.tex",
      "target_line": 1561,
      "target_type": "theorem"
    }
  ],
  "refs": [
    "theorem:bk1_reflexivity_quadratic"
  ],
  "role": "definition",
  "type": "definition"
}

{
  "book": "scholium_symbolicum",
  "cited_by": [
    "corollary:bk1_non_euclidean_necessity"
  ],
  "cites": [
    "definition:bk1_symbolic_coupling_basis",
    "theorem:bk1_reflexivity_quadratic"
  ],
  "depends_on": [
    "definition:bk1_symbolic_coupling_basis",
    "theorem:bk1_reflexivity_quadratic"
  ],
  "file": "scholium_symbolicum.tex",
  "id": "proposition:bk1_bridge_to_geometry",
  "label": "proposition:bk1_bridge_to_geometry",
  "latex_body": "\\begin{proposition}[The Bridge to Geometry]\n\\label{proposition:bk1_bridge_to_geometry}\nBuilding on Def.~\\ref{definition:bk1_symbolic_coupling_basis} and Thm.~\\ref{theorem:bk1_reflexivity_quadratic}, the quadratic coupling matrix $\\alpha_{ij}$ from symbolic interactions is precisely the metric tensor $g_{ij}$ of the underlying symbolic manifold:\n\\begin{align}\ng_{ij}(x) = \\alpha_{ij}(x)\n\\end{align}\n\n\\textbf{Justification:} Both $g_{ij}$ and $\\alpha_{ij}$ serve identical mathematical roles:\n\\begin{enumerate}\n\\item \\textbf{Symmetric bilinear forms}: $g_{ij} = g_{ji}$ and $\\alpha_{ij} = \\alpha_{ji}$\n\\item \\textbf{Local distance measurement}: Infinitesimal symbolic \"distance\" between features\n\\item \\textbf{Curvature generation}: Non-constant coefficients create curved symbolic geometry\n\\item \\textbf{Parallel transport}: Define how symbolic meaning propagates across the manifold\n\\end{enumerate}\n\nThis identification transforms abstract \"symbolic interactions\" into concrete geometric structure. The requirement for quadratic coupling in symbolic systems is mathematically identical to the requirement for a metric tensor in differential geometry.\n\n\\textbf{Operational Consequence:} Any computational system exhibiting context-dependent symbolic processing must implement something mathematically equivalent to a Riemannian metric. This is not a design choice but a mathematical necessity.\n\\end{proposition}",
  "lean_alignment": {
    "conditions": [
      "manifold metric, exact rank bound, and the interpretive unification/primacy claims stay open per row notes"
    ],
    "countermodels": [],
    "full_record": "bib/principia_lean_alignment.json",
    "kernel_certified": true,
    "notes": [
      "Symmetric coupling = symmetric bilinear form; the manifold metric stays open."
    ],
    "record_ids": [
      "MAP-SCHOLIUM_A-087"
    ],
    "statuses": [
      "exact"
    ],
    "witnesses": [
      "ScholiumBridge.coupling_is_metric"
    ]
  },
  "line": 1624,
  "macros_used": [],
  "matter_region": "mainmatter",
  "matter_role": "book1_foundational_scholium",
  "name": "The Bridge to Geometry",
  "proof_labels": [
    "proof:bk1_bridge_to_geometry"
  ],
  "proof_status": "proven",
  "ref_roles": [
    {
      "context": "\\begin{proposition}[The Bridge to Geometry] \\label{proposition:bk1_bridge_to_geometry} Building on Def.~\\ref{definition:bk1_symbolic_coupling_basis} and Thm.~\\ref{theorem:bk1_reflexivity_quadratic}, the quadratic coupling matrix $\\alpha_{ij}$ from symbolic interaction",
      "label": "definition:bk1_symbolic_coupling_basis",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "scholium_symbolicum.tex",
      "target_line": 1593,
      "target_type": "definition"
    },
    {
      "context": "etry] \\label{proposition:bk1_bridge_to_geometry} Building on Def.~\\ref{definition:bk1_symbolic_coupling_basis} and Thm.~\\ref{theorem:bk1_reflexivity_quadratic}, the quadratic coupling matrix $\\alpha_{ij}$ from symbolic interactions is precisely the metric tensor $g_{ij}$ of the",
      "label": "theorem:bk1_reflexivity_quadratic",
      "logical_support": true,
      "role": "interpretive_bridge",
      "target_file": "scholium_symbolicum.tex",
      "target_line": 1561,
      "target_type": "theorem"
    }
  ],
  "refs": [
    "definition:bk1_symbolic_coupling_basis",
    "theorem:bk1_reflexivity_quadratic"
  ],
  "role": "proposition",
  "type": "proposition"
}

{
  "book": "scholium_symbolicum",
  "cited_by": [],
  "cites": [
    "definition:bk1_symbolic_coupling_basis",
    "theorem:bk1_reflexivity_quadratic"
  ],
  "depends_on": [
    "definition:bk1_symbolic_coupling_basis",
    "theorem:bk1_reflexivity_quadratic"
  ],
  "file": "scholium_symbolicum.tex",
  "id": "proof:bk1_bridge_to_geometry",
  "label": "proof:bk1_bridge_to_geometry",
  "latex_body": "\\begin{proof}[Quadratic Coupling Gives the Local Metric]\n\\label{proof:bk1_bridge_to_geometry}\n\\leavevmode\n\n\\begin{assumption}[Metric-Admissible Coupling]\nOn the observer-accessible feature directions of \\(\\mathcal{M}\\), the matrix\n\\(\\alpha_{ij}(x)\\) from Def.~\\ref{definition:bk1_symbolic_coupling_basis} is\nsmooth, symmetric, and positive definite at each \\(x\\).\n\\end{assumption}\n\nLet \\(u=\\sum_i u^i\\partial_i\\) and \\(v=\\sum_j v^j\\partial_j\\) be tangent\nfeature directions in the symbolic feature basis \\(\\{\\phi_i\\}\\). The quadratic\ncoupling defines\n\\[\nq_x(u,v)=\\sum_{i,j}\\alpha_{ij}(x)u^i v^j .\n\\]\nBy Metric-Admissible Coupling, \\(q_x\\) is a smooth symmetric positive definite\nbilinear form on each observer-accessible tangent feature space. This is exactly\nthe local coordinate datum of a Riemannian metric: setting\n\\[\ng_{ij}(x):=q_x(\\partial_i,\\partial_j)\n\\]\ngives \\(g_{ij}(x)=\\alpha_{ij}(x)\\). Def.~\\ref{definition:bk1_symbolic_coupling_basis}\ntherefore turns the interaction matrix required by\nThm.~\\ref{theorem:bk1_reflexivity_quadratic} into the metric coefficients of\nthe symbolic manifold. The remaining geometric roles listed in the proposition\nfollow from this metric datum: it measures local symbolic distance, and its\nvariation supplies the connection and curvature through the usual differential\ngeometric construction.\n\\end{proof}",
  "line": 1643,
  "macros_used": [],
  "matter_region": "mainmatter",
  "matter_role": "book1_foundational_scholium",
  "name": "Quadratic Coupling Gives the Local Metric",
  "proves": "proposition:bk1_bridge_to_geometry",
  "ref_roles": [
    {
      "context": "ble Coupling] On the observer-accessible feature directions of \\(\\mathcal{M}\\), the matrix \\(\\alpha_{ij}(x)\\) from Def.~\\ref{definition:bk1_symbolic_coupling_basis} is smooth, symmetric, and positive definite at each \\(x\\). \\end{assumption} Let \\(u=\\sum_i u^i\\partial_i\\) and \\(v=\\su",
      "label": "definition:bk1_symbolic_coupling_basis",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "scholium_symbolicum.tex",
      "target_line": 1593,
      "target_type": "definition"
    },
    {
      "context": "ha_{ij}(x)\\). Def.~\\ref{definition:bk1_symbolic_coupling_basis} therefore turns the interaction matrix required by Thm.~\\ref{theorem:bk1_reflexivity_quadratic} into the metric coefficients of the symbolic manifold. The remaining geometric roles listed in the proposition follow f",
      "label": "theorem:bk1_reflexivity_quadratic",
      "logical_support": true,
      "role": "proof_support",
      "target_file": "scholium_symbolicum.tex",
      "target_line": 1561,
      "target_type": "theorem"
    }
  ],
  "refs": [
    "definition:bk1_symbolic_coupling_basis",
    "theorem:bk1_reflexivity_quadratic"
  ],
  "role": "proof",
  "type": "proof"
}

{
  "book": "scholium_symbolicum",
  "cited_by": [],
  "cites": [],
  "depends_on": [],
  "file": "scholium_symbolicum.tex",
  "id": "assumption:scholium_symbolicum.tex:1647",
  "label": "",
  "latex_body": "\\begin{assumption}[Metric-Admissible Coupling]\nOn the observer-accessible feature directions of \\(\\mathcal{M}\\), the matrix\n\\(\\alpha_{ij}(x)\\) from Def.~\\ref{definition:bk1_symbolic_coupling_basis} is\nsmooth, symmetric, and positive definite at each \\(x\\).\n\\end{assumption}",
  "line": 1647,
  "macros_used": [],
  "matter_region": "mainmatter",
  "matter_role": "book1_foundational_scholium",
  "name": "Metric-Admissible Coupling",
  "proof_status": "definitional",
  "refs": [
    "definition:bk1_symbolic_coupling_basis"
  ],
  "role": "assumption",
  "type": "assumption"
}

{
  "book": "scholium_symbolicum",
  "cited_by": [
    "corollary:bk1_non_euclidean_necessity"
  ],
  "cites": [
    "definition:bk1_local_semantic_independence"
  ],
  "depends_on": [],
  "file": "scholium_symbolicum.tex",
  "forward_ref_roles": [
    {
      "context": "general return the same result. Equivalently, symbolic meanings are \\emph{not} locally independent in the sense of Def.~\\ref{definition:bk1_local_semantic_independence} --- the contextual update carries a non-vanishing antisymmetric (commutator) component. This is the single premise the",
      "label": "definition:bk1_local_semantic_independence",
      "line_distance": 240,
      "role": "teaser",
      "target_line": 1914,
      "target_type": "definition"
    }
  ],
  "forward_refs": [
    "definition:bk1_local_semantic_independence"
  ],
  "id": "axiom:bk1_semantic_non_integrability",
  "label": "axiom:bk1_semantic_non_integrability",
  "latex_body": "\\begin{axiom}[Semantic Non-Integrability]\n\\label{axiom:bk1_semantic_non_integrability}\nIn a reflexive, context-sensitive symbolic system the meaning carried from one\ncontext to another is \\emph{path-dependent}: transporting the same local meaning\nbetween two contexts along two different routes does not in general return the\nsame result. Equivalently, symbolic meanings are \\emph{not} locally independent\nin the sense of Def.~\\ref{definition:bk1_local_semantic_independence} --- the\ncontextual update carries a non-vanishing antisymmetric (commutator) component.\nThis is the single premise the curvature conclusion rests on: that context\ngenuinely depends on the route by which it is reached, not merely on position.\n\\end{axiom}",
  "lean_alignment": {
    "conditions": [
      "linear-transport model for holonomy (Christoffel/vector-field forms stay open); pair-covering as the topological-regularity stand-in (point-set topology unmodeled, named); smoothness-as-C-infinity stays open"
    ],
    "countermodels": [],
    "full_record": "bib/principia_lean_alignment.json",
    "kernel_certified": true,
    "notes": [
      "The equivalently clause proved as an iff with a Boolean witness; the manifold framing is interpretation."
    ],
    "record_ids": [
      "MAP-SCHOLIUM_A-052"
    ],
    "statuses": [
      "exact"
    ],
    "witnesses": [
      "Atlas.path_dependent_iff_noncommuting",
      "Atlas.semantic_non_integrability_witness"
    ]
  },
  "line": 1674,
  "macros_used": [],
  "matter_region": "mainmatter",
  "matter_role": "book1_foundational_scholium",
  "name": "Semantic Non-Integrability",
  "proof_status": "definitional",
  "ref_roles": [
    {
      "context": "general return the same result. Equivalently, symbolic meanings are \\emph{not} locally independent in the sense of Def.~\\ref{definition:bk1_local_semantic_independence} --- the contextual update carries a non-vanishing antisymmetric (commutator) component. This is the single premise the",
      "label": "definition:bk1_local_semantic_independence",
      "logical_support": false,
      "role": "forward_teaser",
      "target_file": "scholium_symbolicum.tex",
      "target_line": 1914,
      "target_type": "definition"
    }
  ],
  "refs": [
    "definition:bk1_local_semantic_independence"
  ],
  "role": "axiom",
  "type": "axiom"
}

{
  "book": "scholium_symbolicum",
  "cited_by": [
    "abs:press",
    "definition:bk7_symbolic_reflexive_validation_srv",
    "proof:bk1_minimal_quadratic_sufficiency",
    "proof:bk1_symbolic_emergence_and_curvature",
    "proof:bk1_symbolic_irony_requires_curvature",
    "proof:bk2_coherence_of_symbolic_therm",
    "proof:bk5_coherence_through_dynamic_equilibriium",
    "proof:bk8_no_free_projection",
    "proof:bk9_curvature_resilience_bound",
    "proof:bk9_isolation_dissociation_theorem",
    "proposition:bk9_curvature_scarring",
    "theorem:bk1_minimal_quadratic_sufficiency",
    "theorem:bk2_coherence_of_symbolic_therm",
    "theorem:bk3_symbiotic_curvature_and_resilience",
    "theorem:bk8_no_free_projection",
    "theorem:bk9_isolation_dissociation_theorem"
  ],
  "cites": [
    "axiom:bk1_semantic_non_integrability",
    "corollary:bk1_linear_insufficiency",
    "definition:bk1_local_semantic_independence",
    "definition:bk1_symbolic_riemann_tensor",
    "lemma:bk1_contextual_nonseparability",
    "lemma:bk1_curvature_semantic_holonomy",
    "proposition:bk1_bridge_to_geometry",
    "proposition:bk1_curvature_semantic_entanglement",
    "theorem:bk1_quadratic_structure_necessity",
    "theorem:bk1_reflexivity_quadratic"
  ],
  "depends_on": [
    "axiom:bk1_semantic_non_integrability",
    "corollary:bk1_linear_insufficiency",
    "lemma:bk1_contextual_nonseparability",
    "proposition:bk1_bridge_to_geometry",
    "theorem:bk1_quadratic_structure_necessity",
    "theorem:bk1_reflexivity_quadratic"
  ],
  "file": "scholium_symbolicum.tex",
  "forward_ref_roles": [
    {
      "context": "n-Integrability (Axiom~\\ref{axiom:bk1_semantic_non_integrability}), symbolic meanings are not locally independent (Def.~\\ref{definition:bk1_local_semantic_independence}). \\item By the proven Proposition~\\ref{proposition:bk1_curvature_semantic_entanglement}, curvature vanishes on a neighb",
      "label": "definition:bk1_local_semantic_independence",
      "line_distance": 228,
      "role": "teaser",
      "target_line": 1914,
      "target_type": "definition"
    },
    {
      "context": "onomy --- the residue of carrying one meaning around two routes (Lem.~\\ref{lemma:bk1_curvature_semantic_holonomy}, Def.~\\ref{definition:bk1_symbolic_riemann_tensor}). Hence $\\kappa_{ijkl} \\neq 0$. \\end{enumerate} \\noindent\\emph{(A position-dependent metric does not by itself imply cu",
      "label": "definition:bk1_symbolic_riemann_tensor",
      "line_distance": 219,
      "role": "teaser",
      "target_line": 1905,
      "target_type": "definition"
    },
    {
      "context": "$\\kappa$ is exactly the second-order semantic holonomy --- the residue of carrying one meaning around two routes (Lem.~\\ref{lemma:bk1_curvature_semantic_holonomy}, Def.~\\ref{definition:bk1_symbolic_riemann_tensor}). Hence $\\kappa_{ijkl} \\neq 0$. \\end{enumerate} \\noindent\\emph{(A po",
      "label": "lemma:bk1_curvature_semantic_holonomy",
      "line_distance": 244,
      "role": "teaser",
      "target_line": 1930,
      "target_type": "lemma"
    },
    {
      "context": "gs are not locally independent (Def.~\\ref{definition:bk1_local_semantic_independence}). \\item By the proven Proposition~\\ref{proposition:bk1_curvature_semantic_entanglement}, curvature vanishes on a neighborhood \\emph{iff} meanings are locally independent there. Failure of local independence",
      "label": "proposition:bk1_curvature_semantic_entanglement",
      "line_distance": 275,
      "role": "teaser",
      "target_line": 1961,
      "target_type": "proposition"
    }
  ],
  "forward_refs": [
    "definition:bk1_local_semantic_independence",
    "definition:bk1_symbolic_riemann_tensor",
    "lemma:bk1_curvature_semantic_holonomy",
    "proposition:bk1_curvature_semantic_entanglement"
  ],
  "id": "corollary:bk1_non_euclidean_necessity",
  "label": "corollary:bk1_non_euclidean_necessity",
  "latex_body": "\\begin{corollary}[Necessity of Non-Euclidean Symbolic Space]\n\\label{corollary:bk1_non_euclidean_necessity}\nAny symbolic system exhibiting reflexivity and context-sensitivity must operate in curved symbolic space with non-zero curvature tensor $\\kappa_{ijkl} \\neq 0$.\n\n\\textbf{Proof:}\n\\begin{enumerate}\n\\item By Theorem~\\ref{theorem:bk1_reflexivity_quadratic} the system requires quadratic forms; by Proposition~\\ref{proposition:bk1_bridge_to_geometry} --- with the proven Thm.~\\ref{theorem:bk1_quadratic_structure_necessity} and Lem.~\\ref{lemma:bk1_contextual_nonseparability} --- these are metric tensors $g_{ij}(x)$ carrying a non-separable contextual coupling.\n\\item Reflexive context-sensitivity renders it \\emph{path-dependent}: by Semantic Non-Integrability (Axiom~\\ref{axiom:bk1_semantic_non_integrability}), symbolic meanings are not locally independent (Def.~\\ref{definition:bk1_local_semantic_independence}).\n\\item By the proven Proposition~\\ref{proposition:bk1_curvature_semantic_entanglement}, curvature vanishes on a neighborhood \\emph{iff} meanings are locally independent there. Failure of local independence therefore forces $\\kappa \\neq 0$, where $\\kappa$ is exactly the second-order semantic holonomy --- the residue of carrying one meaning around two routes (Lem.~\\ref{lemma:bk1_curvature_semantic_holonomy}, Def.~\\ref{definition:bk1_symbolic_riemann_tensor}). Hence $\\kappa_{ijkl} \\neq 0$.\n\\end{enumerate}\n\\noindent\\emph{(A position-dependent metric does not by itself imply curvature --- the plane in polar coordinates has non-constant $g_{ij}$ yet $\\kappa \\equiv 0$. What forces $\\kappa \\neq 0$ is the path-dependence of semantic transport, Axiom~\\ref{axiom:bk1_semantic_non_integrability}, not the variability of $g_{ij}$ alone.)}\n\n\\textbf{Cross-Field Implications:}\n\\begin{itemize}\n\\item \\textbf{quant-ph}: Quantum systems with entanglement exhibit non-Euclidean state space geometry\n\\item \\textbf{math-ph}: Any manifold supporting non-trivial dynamics must have intrinsic curvature\n\\item \\textbf{hep-th}: Interacting field theories require curved spacetime or internal symmetry spaces\n\\item \\textbf{cs.LG}: Deep networks approximate curved decision boundaries—flat geometry cannot capture complex data\n\\item \\textbf{cond-mat.stat-mech}: Critical phenomena emerge from curved parameter spaces near phase transitions\n\\end{itemize}\n\\end{corollary}",
  "lean_alignment": {
    "conditions": [
      "linear-transport model for holonomy (Christoffel/vector-field forms stay open); pair-covering as the topological-regularity stand-in (point-set topology unmodeled, named); smoothness-as-C-infinity stays open"
    ],
    "countermodels": [],
    "full_record": "bib/principia_lean_alignment.json",
    "kernel_certified": true,
    "notes": [
      "Noncommuting transports force nonzero curvature at every scale; consumed premise is exactly the non-integrability axiom."
    ],
    "record_ids": [
      "MAP-SCHOLIUM_A-056"
    ],
    "statuses": [
      "conditional"
    ],
    "witnesses": [
      "Atlas.non_euclidean_necessity"
    ]
  },
  "line": 1686,
  "macros_used": [],
  "matter_region": "mainmatter",
  "matter_role": "book1_foundational_scholium",
  "name": "Necessity of Non-Euclidean Symbolic Space",
  "proof_status": "argued_inline",
  "ref_roles": [
    {
      "context": "al coupling. \\item Reflexive context-sensitivity renders it \\emph{path-dependent}: by Semantic Non-Integrability (Axiom~\\ref{axiom:bk1_semantic_non_integrability}), symbolic meanings are not locally independent (Def.~\\ref{definition:bk1_local_semantic_independence}). \\item By the p",
      "label": "axiom:bk1_semantic_non_integrability",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "scholium_symbolicum.tex",
      "target_line": 1674,
      "target_type": "axiom"
    },
    {
      "context": "",
      "label": "corollary:bk1_linear_insufficiency",
      "logical_support": true,
      "role": "formal_dependency",
      "target_file": "scholium_symbolicum.tex",
      "target_line": 1538,
      "target_type": "corollary"
    },
    {
      "context": "n-Integrability (Axiom~\\ref{axiom:bk1_semantic_non_integrability}), symbolic meanings are not locally independent (Def.~\\ref{definition:bk1_local_semantic_independence}). \\item By the proven Proposition~\\ref{proposition:bk1_curvature_semantic_entanglement}, curvature vanishes on a neighb",
      "label": "definition:bk1_local_semantic_independence",
      "logical_support": false,
      "role": "forward_teaser",
      "target_file": "scholium_symbolicum.tex",
      "target_line": 1914,
      "target_type": "definition"
    },
    {
      "context": "onomy --- the residue of carrying one meaning around two routes (Lem.~\\ref{lemma:bk1_curvature_semantic_holonomy}, Def.~\\ref{definition:bk1_symbolic_riemann_tensor}). Hence $\\kappa_{ijkl} \\neq 0$. \\end{enumerate} \\noindent\\emph{(A position-dependent metric does not by itself imply cu",
      "label": "definition:bk1_symbolic_riemann_tensor",
      "logical_support": false,
      "role": "forward_teaser",
      "target_file": "scholium_symbolicum.tex",
      "target_line": 1905,
      "target_type": "definition"
    },
    {
      "context": "f{proposition:bk1_bridge_to_geometry} --- with the proven Thm.~\\ref{theorem:bk1_quadratic_structure_necessity} and Lem.~\\ref{lemma:bk1_contextual_nonseparability} --- these are metric tensors $g_{ij}(x)$ carrying a non-separable contextual coupling. \\item Reflexive context-sensitiv",
      "label": "lemma:bk1_contextual_nonseparability",
      "logical_support": true,
      "role": "interpretive_bridge",
      "target_file": "scholium_symbolicum.tex",
      "target_line": 1375,
      "target_type": "lemma"
    },
    {
      "context": "$\\kappa$ is exactly the second-order semantic holonomy --- the residue of carrying one meaning around two routes (Lem.~\\ref{lemma:bk1_curvature_semantic_holonomy}, Def.~\\ref{definition:bk1_symbolic_riemann_tensor}). Hence $\\kappa_{ijkl} \\neq 0$. \\end{enumerate} \\noindent\\emph{(A po",
      "label": "lemma:bk1_curvature_semantic_holonomy",
      "logical_support": false,
      "role": "forward_teaser",
      "target_file": "scholium_symbolicum.tex",
      "target_line": 1930,
      "target_type": "lemma"
    },
    {
      "context": "enumerate} \\item By Theorem~\\ref{theorem:bk1_reflexivity_quadratic} the system requires quadratic forms; by Proposition~\\ref{proposition:bk1_bridge_to_geometry} --- with the proven Thm.~\\ref{theorem:bk1_quadratic_structure_necessity} and Lem.~\\ref{lemma:bk1_contextual_nonseparabi",
      "label": "proposition:bk1_bridge_to_geometry",
      "logical_support": true,
      "role": "interpretive_bridge",
      "target_file": "scholium_symbolicum.tex",
      "target_line": 1624,
      "target_type": "proposition"
    },
    {
      "context": "gs are not locally independent (Def.~\\ref{definition:bk1_local_semantic_independence}). \\item By the proven Proposition~\\ref{proposition:bk1_curvature_semantic_entanglement}, curvature vanishes on a neighborhood \\emph{iff} meanings are locally independent there. Failure of local independence",
      "label": "proposition:bk1_curvature_semantic_entanglement",
      "logical_support": false,
      "role": "forward_teaser",
      "target_file": "scholium_symbolicum.tex",
      "target_line": 1961,
      "target_type": "proposition"
    },
    {
      "context": "} the system requires quadratic forms; by Proposition~\\ref{proposition:bk1_bridge_to_geometry} --- with the proven Thm.~\\ref{theorem:bk1_quadratic_structure_necessity} and Lem.~\\ref{lemma:bk1_contextual_nonseparability} --- these are metric tensors $g_{ij}(x)$ carrying a non-separable c",
      "label": "theorem:bk1_quadratic_structure_necessity",
      "logical_support": true,
      "role": "interpretive_bridge",
      "target_file": "scholium_symbolicum.tex",
      "target_line": 1408,
      "target_type": "theorem"
    },
    {
      "context": "mbolic space with non-zero curvature tensor $\\kappa_{ijkl} \\neq 0$. \\textbf{Proof:} \\begin{enumerate} \\item By Theorem~\\ref{theorem:bk1_reflexivity_quadratic} the system requires quadratic forms; by Proposition~\\ref{proposition:bk1_bridge_to_geometry} --- with the proven Thm.~\\",
      "label": "theorem:bk1_reflexivity_quadratic",
      "logical_support": true,
      "role": "interpretive_bridge",
      "target_file": "scholium_symbolicum.tex",
      "target_line": 1561,
      "target_type": "theorem"
    }
  ],
  "refs": [
    "axiom:bk1_semantic_non_integrability",
    "definition:bk1_local_semantic_independence",
    "definition:bk1_symbolic_riemann_tensor",
    "lemma:bk1_contextual_nonseparability",
    "lemma:bk1_curvature_semantic_holonomy",
    "proposition:bk1_bridge_to_geometry",
    "proposition:bk1_curvature_semantic_entanglement",
    "theorem:bk1_quadratic_structure_necessity",
    "theorem:bk1_reflexivity_quadratic"
  ],
  "role": "corollary",
  "type": "corollary"
}

{
  "book": "scholium_symbolicum",
  "cited_by": [
    "proof:bk1_linear_insufficiency"
  ],
  "cites": [
    "definition:bk1_symbolic_manifold"
  ],
  "depends_on": [
    "definition:bk1_symbolic_manifold"
  ],
  "file": "scholium_symbolicum.tex",
  "id": "sec:bk1_quadratic_sufficiency_and_symbolic_curvature",
  "label": "sec:bk1_quadratic_sufficiency_and_symbolic_curvature",
  "latex_body": "",
  "line": 1730,
  "macros_used": [],
  "matter_region": "mainmatter",
  "matter_role": "book1_foundational_scholium",
  "name": "Quadratic Sufficiency and Symbolic Curvature",
  "ref_roles": [
    {
      "context": "",
      "label": "definition:bk1_symbolic_manifold",
      "logical_support": false,
      "role": "navigation",
      "target_file": "scholium_symbolicum.tex",
      "target_line": 1188,
      "target_type": "definition"
    }
  ],
  "role": "section",
  "subtype": "section",
  "type": "section"
}

{
  "book": "scholium_symbolicum",
  "cited_by": [],
  "cites": [],
  "depends_on": [],
  "file": "scholium_symbolicum.tex",
  "id": "subsec:bk1_symbolic_categories_and_reflexive_maps",
  "label": "subsec:bk1_symbolic_categories_and_reflexive_maps",
  "latex_body": "",
  "line": 1735,
  "macros_used": [],
  "matter_region": "mainmatter",
  "matter_role": "book1_foundational_scholium",
  "name": "Symbolic Categories and Reflexive Maps",
  "role": "section",
  "subtype": "subsection",
  "type": "section"
}

{
  "book": "scholium_symbolicum",
  "cited_by": [
    "definition:bk1_reflexive_update_map",
    "lemma:bk1_fixed_point_inheritance",
    "proof:bk1_fixed_point_inheritance"
  ],
  "cites": [
    "definition:bk1_let_cats_be_the_category",
    "definition:bk1_symbolic_manifold"
  ],
  "depends_on": [
    "definition:bk1_let_cats_be_the_category",
    "definition:bk1_symbolic_manifold"
  ],
  "file": "scholium_symbolicum.tex",
  "id": "definition:bk1_symbolic_category",
  "label": "definition:bk1_symbolic_category",
  "latex_body": "\\begin{definition}[Symbolic Category]\n\\label{definition:bk1_symbolic_category}\nA \\emph{symbolic category} $\\mathcal{S}$ is the restriction of $\\catS$ (Def.~\\ref{definition:bk1_let_cats_be_the_category}) to the symbolic manifold $\\mathcal{S}$ (Def.~\\ref{definition:bk1_symbolic_manifold}), whose:\n\\begin{itemize}\n  \\item Objects represent symbolic structures or expressions;\n  \\item Morphisms $f: X \\to Y$ are structure-preserving transformations between symbolic objects;\n  \\item Composition $\\circ$ is associative and admits identity morphisms $\\text{id}_X$ for each object $X$.\n\\end{itemize}\nA morphism $f$ is \\emph{linear} if it preserves symbolic superposition: $f(ax + by) = af(x) + bf(y)$ for all scalars $a,b$ and symbolic expressions $x,y$ in the appropriate domain.\n\\end{definition}",
  "line": 1738,
  "macros_used": [
    "catS"
  ],
  "matter_region": "mainmatter",
  "matter_role": "book1_foundational_scholium",
  "name": "Symbolic Category",
  "proof_status": "definitional",
  "ref_roles": [
    {
      "context": "] \\label{definition:bk1_symbolic_category} A \\emph{symbolic category} $\\mathcal{S}$ is the restriction of $\\catS$ (Def.~\\ref{definition:bk1_let_cats_be_the_category}) to the symbolic manifold $\\mathcal{S}$ (Def.~\\ref{definition:bk1_symbolic_manifold}), whose: \\begin{itemize} \\item O",
      "label": "definition:bk1_let_cats_be_the_category",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "scholium_symbolicum.tex",
      "target_line": 16,
      "target_type": "definition"
    },
    {
      "context": "estriction of $\\catS$ (Def.~\\ref{definition:bk1_let_cats_be_the_category}) to the symbolic manifold $\\mathcal{S}$ (Def.~\\ref{definition:bk1_symbolic_manifold}), whose: \\begin{itemize} \\item Objects represent symbolic structures or expressions; \\item Morphisms $f: X \\to Y$ a",
      "label": "definition:bk1_symbolic_manifold",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "scholium_symbolicum.tex",
      "target_line": 1188,
      "target_type": "definition"
    }
  ],
  "refs": [
    "definition:bk1_let_cats_be_the_category",
    "definition:bk1_symbolic_manifold"
  ],
  "role": "definition",
  "type": "definition"
}