Book V — De Vita Symbolica — page 1 of 6

{
  "book": "book5",
  "cited_by": [
    "proof:bk4_freedom_growth_fragmentation"
  ],
  "cites": [
    "definition:bk1_drift_field",
    "definition:bk1_symbolic_manifold",
    "definition:bk2_symbolic_entropy",
    "definition:bk2_symbolic_free_energy"
  ],
  "depends_on": [
    "definition:bk1_drift_field",
    "definition:bk1_symbolic_manifold",
    "definition:bk2_symbolic_entropy",
    "definition:bk2_symbolic_free_energy"
  ],
  "file": "book5.tex",
  "id": "sec:bk5_funadmenta_symbolicae_vitae",
  "label": "sec:bk5_funadmenta_symbolicae_vitae",
  "latex_body": "",
  "line": 1,
  "macros_used": [],
  "matter_region": "mainmatter",
  "matter_role": "canonical_book",
  "name": "Fundamenta Symbolicae Vitae",
  "ref_roles": [
    {
      "context": "",
      "label": "definition:bk1_drift_field",
      "logical_support": false,
      "role": "navigation",
      "target_file": "scholium_symbolicum.tex",
      "target_line": 1198,
      "target_type": "definition"
    },
    {
      "context": "",
      "label": "definition:bk1_symbolic_manifold",
      "logical_support": false,
      "role": "navigation",
      "target_file": "scholium_symbolicum.tex",
      "target_line": 1188,
      "target_type": "definition"
    },
    {
      "context": "",
      "label": "definition:bk2_symbolic_entropy",
      "logical_support": false,
      "role": "navigation",
      "target_file": "book2.tex",
      "target_line": 114,
      "target_type": "definition"
    },
    {
      "context": "",
      "label": "definition:bk2_symbolic_free_energy",
      "logical_support": false,
      "role": "navigation",
      "target_file": "book2.tex",
      "target_line": 135,
      "target_type": "definition"
    }
  ],
  "role": "section",
  "subtype": "section",
  "type": "section"
}

{
  "book": "book5",
  "cited_by": [],
  "cites": [
    "definition:bk1_reflection_operator",
    "definition:bk2_symbolic_energy",
    "definition:bk2_symbolic_entropy",
    "definition:bk2_symbolic_temperature",
    "theorem:bk4_compatibility_drift_reflective_operations"
  ],
  "depends_on": [
    "definition:bk1_reflection_operator",
    "definition:bk2_symbolic_energy",
    "definition:bk2_symbolic_entropy",
    "definition:bk2_symbolic_temperature",
    "theorem:bk4_compatibility_drift_reflective_operations"
  ],
  "file": "book5.tex",
  "id": "subsec:bk5_symbolic_free_energy_and_stability",
  "label": "subsec:bk5_symbolic_free_energy_and_stability",
  "latex_body": "",
  "line": 5,
  "macros_used": [],
  "matter_region": "mainmatter",
  "matter_role": "canonical_book",
  "name": "Symbolic Free Energy and Stability",
  "ref_roles": [
    {
      "context": "",
      "label": "definition:bk1_reflection_operator",
      "logical_support": false,
      "role": "navigation",
      "target_file": "scholium_symbolicum.tex",
      "target_line": 1209,
      "target_type": "definition"
    },
    {
      "context": "",
      "label": "definition:bk2_symbolic_energy",
      "logical_support": false,
      "role": "navigation",
      "target_file": "book2.tex",
      "target_line": 105,
      "target_type": "definition"
    },
    {
      "context": "",
      "label": "definition:bk2_symbolic_entropy",
      "logical_support": false,
      "role": "navigation",
      "target_file": "book2.tex",
      "target_line": 114,
      "target_type": "definition"
    },
    {
      "context": "",
      "label": "definition:bk2_symbolic_temperature",
      "logical_support": false,
      "role": "navigation",
      "target_file": "book2.tex",
      "target_line": 148,
      "target_type": "definition"
    },
    {
      "context": "",
      "label": "theorem:bk4_compatibility_drift_reflective_operations",
      "logical_support": false,
      "role": "navigation",
      "target_file": "book4.tex",
      "target_line": 3835,
      "target_type": "theorem"
    }
  ],
  "role": "section",
  "subtype": "subsection",
  "type": "section"
}

{
  "book": "book5",
  "cited_by": [
    "abs:press",
    "definition:bk5_viability_domain"
  ],
  "cites": [
    "definition:bk1_paradox_triggered_emergence",
    "definition:bk3_symbolic_membrane"
  ],
  "depends_on": [
    "corollary:bk1_non_euclidean_necessity",
    "definition:bk1_drift_field",
    "definition:bk1_paradox_triggered_emergence",
    "definition:bk1_reflection_operator",
    "definition:bk1_symbolic_manifold",
    "definition:bk2_symbolic_energy",
    "definition:bk3_symbolic_membrane",
    "theorem:bk4_fuzzy_divergence_theorem"
  ],
  "file": "book5.tex",
  "id": "theorem:bk5_symbolic_coherence_conservation",
  "label": "theorem:bk5_symbolic_coherence_conservation",
  "latex_body": "\\begin{theorem}[Symbolic Coherence Conservation] \n\\label{theorem:bk5_symbolic_coherence_conservation}\nLet $\\mathcal{M}$ be a symbolic membrane \n(Def~\\ref{definition:bk3_symbolic_membrane}) governed by drift operator $\\drift$ \nand reflection operator $\\reflect$, evolving within a viability domain $V_{\\symb}$. \nIf no catastrophic mutations $\\mu \\in \\mathcal{C}_{\\mathrm{cat}}$ occur (cf.~\\ref{definition:bk1_paradox_triggered_emergence}) and\n$\\reflect$ sufficiently stabilizes the system, then:\n\\begin{equation}\n\\frac{d}{ds} E_s(\\mathcal{M}) = 0\n\\end{equation}\n\\end{theorem}",
  "lean_alignment": {
    "conditions": [
      "LifeLaw for the life criterion",
      "MetabolicPersistenceLaw for metabolic necessity",
      "explicit energy budget identity",
      "external closure for conservation"
    ],
    "countermodels": [
      "Book5.balance_alone_does_not_force_conservation"
    ],
    "full_record": "bib/principia_lean_alignment.json",
    "kernel_certified": true,
    "notes": [
      "Drift/reflection stabilization cancels only its budget channel. Zero energy derivative additionally requires external closure; a compiled countermodel refutes conservation from balance alone."
    ],
    "record_ids": [
      "MAP-BOOK5-046"
    ],
    "statuses": [
      "conditional"
    ],
    "witnesses": [
      "Book5.balance_alone_does_not_force_conservation",
      "Book5.closed_stabilized_energy_rate_zero",
      "Book5.stabilized_conservation_iff_closed",
      "Book5.stabilized_energy_rate_eq_external"
    ]
  },
  "line": 20,
  "macros_used": [
    "drift",
    "reflect",
    "symb"
  ],
  "matter_region": "mainmatter",
  "matter_role": "canonical_book",
  "name": "Symbolic Coherence Conservation",
  "proof_labels": [
    "proof:bk5_coherence_through_dynamic_equilibriium"
  ],
  "proof_status": "proven",
  "ref_roles": [
    {
      "context": "ng within a viability domain $V_{\\symb}$. If no catastrophic mutations $\\mu \\in \\mathcal{C}_{\\mathrm{cat}}$ occur (cf.~\\ref{definition:bk1_paradox_triggered_emergence}) and $\\reflect$ sufficiently stabilizes the system, then: \\begin{equation} \\frac{d}{ds} E_s(\\mathcal{M}) = 0 \\end{equat",
      "label": "definition:bk1_paradox_triggered_emergence",
      "logical_support": true,
      "role": "cf_near_match",
      "target_file": "scholium_symbolicum.tex",
      "target_line": 2264,
      "target_type": "definition"
    },
    {
      "context": "rence Conservation] \\label{theorem:bk5_symbolic_coherence_conservation} Let $\\mathcal{M}$ be a symbolic membrane (Def~\\ref{definition:bk3_symbolic_membrane}) governed by drift operator $\\drift$ and reflection operator $\\reflect$, evolving within a viability domain $V_{\\symb}",
      "label": "definition:bk3_symbolic_membrane",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "book3.tex",
      "target_line": 10,
      "target_type": "definition"
    }
  ],
  "refs": [
    "definition:bk1_paradox_triggered_emergence",
    "definition:bk3_symbolic_membrane"
  ],
  "role": "theorem",
  "type": "theorem"
}

{
  "book": "book5",
  "cited_by": [],
  "cites": [
    "corollary:bk1_non_euclidean_necessity",
    "definition:bk1_drift_field",
    "definition:bk1_reflection_operator",
    "definition:bk1_symbolic_manifold",
    "definition:bk2_symbolic_energy",
    "theorem:bk4_fuzzy_divergence_theorem"
  ],
  "depends_on": [
    "corollary:bk1_non_euclidean_necessity",
    "definition:bk1_drift_field",
    "definition:bk1_reflection_operator",
    "definition:bk1_symbolic_manifold",
    "definition:bk2_symbolic_energy",
    "theorem:bk4_fuzzy_divergence_theorem"
  ],
  "file": "book5.tex",
  "id": "proof:bk5_coherence_through_dynamic_equilibriium",
  "label": "proof:bk5_coherence_through_dynamic_equilibriium",
  "latex_body": "\\begin{proof}[Coherence Through Dynamic Equilibrium]\n\\label{proof:bk5_coherence_through_dynamic_equilibriium}\n\\leavevmode\n\nUnder stabilizing conditions on the symbolic manifold $M$ (Def.~\\ref{definition:bk1_symbolic_manifold}, cf.~\\ref{corollary:bk1_non_euclidean_necessity}), symbolic coherence is preserved through dynamic equilibrium. \nThe reflection operator $\\reflect$ (Def.~\\ref{definition:bk1_reflection_operator}) absorbs or redirects entropy induced by the drift operator \n$\\drift$ (Def.~\\ref{definition:bk1_drift_field}), leading to the conservation of total structured energy $E_s$ (Def.~\\ref{definition:bk2_symbolic_energy}).\n\nMore formally, let us define the energy change rate as:\n\\begin{equation}\n\\frac{d}{ds} E_s(\\mathcal{M}) = \\int_{\\mathcal{M}} \\left( \\drift \\psi - \\reflect \\psi \\right) \\, d\\mu_{\\mathcal{M}}\n\\end{equation}\n\\noindent where $\\psi$ represents the coherence density function. Under sufficient stabilization, \n$\\reflect$ counterbalances $\\drift$ exactly, yielding \n$\\drift\\psi = \\reflect\\psi$ across the manifold.\nEquivalently, on an observer-visible subdomain, the residual field\n$\\vec{V}_{\\psi}:=\\drift\\psi-\\reflect\\psi$ has vanishing fuzzy flux:\nthe Fuzzy Divergence Theorem\n(Thm.~\\ref{theorem:bk4_fuzzy_divergence_theorem}) converts the local balance\ninto a boundary statement, with the theorem's stabilization hypothesis requiring\nthe associated bounded-observer holonomy term to vanish or be exactly cancelled\nby reflection across the resolution horizon, proving the theorem.\n\\end{proof}",
  "line": 32,
  "macros_used": [
    "drift",
    "reflect"
  ],
  "matter_region": "mainmatter",
  "matter_role": "canonical_book",
  "name": "Coherence Through Dynamic Equilibrium",
  "proves": "theorem:bk5_symbolic_coherence_conservation",
  "ref_roles": [
    {
      "context": "leavevmode Under stabilizing conditions on the symbolic manifold $M$ (Def.~\\ref{definition:bk1_symbolic_manifold}, cf.~\\ref{corollary:bk1_non_euclidean_necessity}), symbolic coherence is preserved through dynamic equilibrium. The reflection operator $\\reflect$ (Def.~\\ref{definitio",
      "label": "corollary:bk1_non_euclidean_necessity",
      "logical_support": true,
      "role": "cf_near_match",
      "target_file": "scholium_symbolicum.tex",
      "target_line": 1686,
      "target_type": "corollary"
    },
    {
      "context": "f.~\\ref{definition:bk1_reflection_operator}) absorbs or redirects entropy induced by the drift operator $\\drift$ (Def.~\\ref{definition:bk1_drift_field}), leading to the conservation of total structured energy $E_s$ (Def.~\\ref{definition:bk2_symbolic_energy}). More forma",
      "label": "definition:bk1_drift_field",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "scholium_symbolicum.tex",
      "target_line": 1198,
      "target_type": "definition"
    },
    {
      "context": "ean_necessity}), symbolic coherence is preserved through dynamic equilibrium. The reflection operator $\\reflect$ (Def.~\\ref{definition:bk1_reflection_operator}) absorbs or redirects entropy induced by the drift operator $\\drift$ (Def.~\\ref{definition:bk1_drift_field}), leading",
      "label": "definition:bk1_reflection_operator",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "scholium_symbolicum.tex",
      "target_line": 1209,
      "target_type": "definition"
    },
    {
      "context": "k5_coherence_through_dynamic_equilibriium} \\leavevmode Under stabilizing conditions on the symbolic manifold $M$ (Def.~\\ref{definition:bk1_symbolic_manifold}, cf.~\\ref{corollary:bk1_non_euclidean_necessity}), symbolic coherence is preserved through dynamic equilibrium. The re",
      "label": "definition:bk1_symbolic_manifold",
      "logical_support": true,
      "role": "cf_near_match",
      "target_file": "scholium_symbolicum.tex",
      "target_line": 1188,
      "target_type": "definition"
    },
    {
      "context": "r $\\drift$ (Def.~\\ref{definition:bk1_drift_field}), leading to the conservation of total structured energy $E_s$ (Def.~\\ref{definition:bk2_symbolic_energy}). More formally, let us define the energy change rate as: \\begin{equation} \\frac{d}{ds} E_s(\\mathcal{M}) = \\int_{\\math",
      "label": "definition:bk2_symbolic_energy",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "book2.tex",
      "target_line": 105,
      "target_type": "definition"
    },
    {
      "context": "e residual field $\\vec{V}_{\\psi}:=\\drift\\psi-\\reflect\\psi$ has vanishing fuzzy flux: the Fuzzy Divergence Theorem (Thm.~\\ref{theorem:bk4_fuzzy_divergence_theorem}) converts the local balance into a boundary statement, with the theorem's stabilization hypothesis requiring the associ",
      "label": "theorem:bk4_fuzzy_divergence_theorem",
      "logical_support": true,
      "role": "proof_support",
      "target_file": "book4.tex",
      "target_line": 6341,
      "target_type": "theorem"
    }
  ],
  "refs": [
    "corollary:bk1_non_euclidean_necessity",
    "definition:bk1_drift_field",
    "definition:bk1_reflection_operator",
    "definition:bk1_symbolic_manifold",
    "definition:bk2_symbolic_energy",
    "theorem:bk4_fuzzy_divergence_theorem"
  ],
  "role": "proof",
  "type": "proof"
}

{
  "book": "book5",
  "cited_by": [],
  "cites": [
    "definition:bk1_reflection_operator"
  ],
  "depends_on": [
    "definition:bk1_drift_field",
    "definition:bk1_reflection_operator",
    "definition:bk2_symbolic_entropy",
    "theorem:bk2_equilibrium_distribution",
    "theorem:bk2_h_theorem_for_symbolic_evol"
  ],
  "file": "book5.tex",
  "id": "theorem:bk5_symbolic_entropy_production",
  "label": "theorem:bk5_symbolic_entropy_production",
  "latex_body": "\\begin{theorem}[Symbolic Entropy Production] \\label{theorem:bk5_symbolic_entropy_production}\nThe symbolic entropy $S_s$ of a membrane $\\mathcal{M}$ satisfies the inequality:\n\\begin{equation}\n\\frac{d}{ds} S_s(\\mathcal{M}) \\geq 0\n\\end{equation}\n\\noindent with equality if and only if the membrane is at a fixed point under the reflection operator $\\reflect$ (see Def.~\\ref{definition:bk1_reflection_operator}).\n\\end{theorem}",
  "lean_alignment": {
    "conditions": [
      "ClosedEnergyEntropyBalance.balance",
      "EntropyBalance.secondLaw",
      "PositiveEnergyPersistence.law",
      "ReflectiveEquilibrium.fixed_iff_zero_rate",
      "positive minimum coupling where division is used"
    ],
    "countermodels": [],
    "full_record": "bib/principia_lean_alignment.json",
    "kernel_certified": true,
    "notes": [
      "Requires the named second-law comparison and fixed-point calibration."
    ],
    "record_ids": [
      "MAP-BOOK5-012"
    ],
    "statuses": [
      "conditional"
    ],
    "witnesses": [
      "Book5.entropy_rate_eq_zero_iff_fixed",
      "Book5.entropy_rate_nonnegative"
    ]
  },
  "line": 55,
  "macros_used": [
    "reflect"
  ],
  "matter_region": "mainmatter",
  "matter_role": "canonical_book",
  "name": "Symbolic Entropy Production",
  "proof_labels": [
    "proof:bk5_entropy_increase_from_drift"
  ],
  "proof_status": "proven",
  "ref_roles": [
    {
      "context": "indent with equality if and only if the membrane is at a fixed point under the reflection operator $\\reflect$ (see Def.~\\ref{definition:bk1_reflection_operator}). \\end{theorem}",
      "label": "definition:bk1_reflection_operator",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "scholium_symbolicum.tex",
      "target_line": 1209,
      "target_type": "definition"
    }
  ],
  "refs": [
    "definition:bk1_reflection_operator"
  ],
  "role": "theorem",
  "type": "theorem"
}

{
  "book": "book5",
  "cited_by": [],
  "cites": [
    "definition:bk1_drift_field",
    "definition:bk1_reflection_operator",
    "definition:bk2_symbolic_entropy",
    "theorem:bk2_equilibrium_distribution",
    "theorem:bk2_h_theorem_for_symbolic_evol"
  ],
  "depends_on": [
    "definition:bk1_drift_field",
    "definition:bk1_reflection_operator",
    "definition:bk2_symbolic_entropy",
    "theorem:bk2_equilibrium_distribution",
    "theorem:bk2_h_theorem_for_symbolic_evol"
  ],
  "file": "book5.tex",
  "id": "proof:bk5_entropy_increase_from_drift",
  "label": "proof:bk5_entropy_increase_from_drift",
  "latex_body": "\\begin{proof}[Entropy Increase from Drift]\n\\label{proof:bk5_entropy_increase_from_drift}\n\\leavevmode\n\nThe drift operator $\\drift$ (Def.~\\ref{definition:bk1_drift_field}) introduces dispersion into the system, which inherently increases entropy (cf.~Def.~\\ref{definition:bk2_symbolic_entropy}) according to:\n\\begin{equation}\n\\frac{d}{ds} S_s(\\mathcal{M}) = \\int_{\\mathcal{M}} \\sigma(\\drift, \\psi) \\, d\\mu_{\\mathcal{M}} - \\int_{\\mathcal{M}} \\rho(\\reflect, \\psi) \\, d\\mu_{\\mathcal{M}}\n\\end{equation}\n\\noindent where $\\sigma(\\drift, \\psi) \\geq 0$ represents the entropy production rate due to drift, and $\\rho(\\reflect, \\psi) \\geq 0$ represents the entropy reduction rate due to reflection (Def.~\\ref{definition:bk1_reflection_operator}).\nThe Book II Fokker--Planck equilibrium theorem identifies the gradient-drift\ncase with the Gibbs measure (Thm.~\\ref{theorem:bk2_equilibrium_distribution}),\nand the corresponding H-theorem supplies the Lyapunov dissipation inequality\n(Thm.~\\ref{theorem:bk2_h_theorem_for_symbolic_evol}); thus the drift\ncontribution can only be completely cancelled at equilibrium.\nBy the second law of symbolic thermodynamics, $\\sigma(\\drift, \\psi) \\geq \\rho(\\reflect, \\psi)$ for all non-equilibrium states. Equality holds only at fixed points of $\\reflect$ where $\\reflect\\psi = \\psi$, completing the proof.\n\\end{proof}",
  "line": 63,
  "macros_used": [
    "drift",
    "reflect"
  ],
  "matter_region": "mainmatter",
  "matter_role": "canonical_book",
  "name": "Entropy Increase from Drift",
  "proves": "theorem:bk5_symbolic_entropy_production",
  "ref_roles": [
    {
      "context": "tropy Increase from Drift] \\label{proof:bk5_entropy_increase_from_drift} \\leavevmode The drift operator $\\drift$ (Def.~\\ref{definition:bk1_drift_field}) introduces dispersion into the system, which inherently increases entropy (cf.~Def.~\\ref{definition:bk2_symbolic_entro",
      "label": "definition:bk1_drift_field",
      "logical_support": true,
      "role": "cf_near_match",
      "target_file": "scholium_symbolicum.tex",
      "target_line": 1198,
      "target_type": "definition"
    },
    {
      "context": "tion rate due to drift, and $\\rho(\\reflect, \\psi) \\geq 0$ represents the entropy reduction rate due to reflection (Def.~\\ref{definition:bk1_reflection_operator}). The Book II Fokker--Planck equilibrium theorem identifies the gradient-drift case with the Gibbs measure (Thm.~\\ref{t",
      "label": "definition:bk1_reflection_operator",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "scholium_symbolicum.tex",
      "target_line": 1209,
      "target_type": "definition"
    },
    {
      "context": ".~\\ref{definition:bk1_drift_field}) introduces dispersion into the system, which inherently increases entropy (cf.~Def.~\\ref{definition:bk2_symbolic_entropy}) according to: \\begin{equation} \\frac{d}{ds} S_s(\\mathcal{M}) = \\int_{\\mathcal{M}} \\sigma(\\drift, \\psi) \\, d\\mu_{\\mathc",
      "label": "definition:bk2_symbolic_entropy",
      "logical_support": true,
      "role": "cf_near_match",
      "target_file": "book2.tex",
      "target_line": 114,
      "target_type": "definition"
    },
    {
      "context": "rator}). The Book II Fokker--Planck equilibrium theorem identifies the gradient-drift case with the Gibbs measure (Thm.~\\ref{theorem:bk2_equilibrium_distribution}), and the corresponding H-theorem supplies the Lyapunov dissipation inequality (Thm.~\\ref{theorem:bk2_h_theorem_for_sym",
      "label": "theorem:bk2_equilibrium_distribution",
      "logical_support": true,
      "role": "proof_support",
      "target_file": "book2.tex",
      "target_line": 216,
      "target_type": "theorem"
    },
    {
      "context": "orem:bk2_equilibrium_distribution}), and the corresponding H-theorem supplies the Lyapunov dissipation inequality (Thm.~\\ref{theorem:bk2_h_theorem_for_symbolic_evol}); thus the drift contribution can only be completely cancelled at equilibrium. By the second law of symbolic thermodyna",
      "label": "theorem:bk2_h_theorem_for_symbolic_evol",
      "logical_support": true,
      "role": "proof_support",
      "target_file": "book2.tex",
      "target_line": 255,
      "target_type": "theorem"
    }
  ],
  "refs": [
    "definition:bk1_drift_field",
    "definition:bk1_reflection_operator",
    "definition:bk2_symbolic_entropy",
    "theorem:bk2_equilibrium_distribution",
    "theorem:bk2_h_theorem_for_symbolic_evol"
  ],
  "role": "proof",
  "type": "proof"
}

{
  "book": "book5",
  "cited_by": [
    "definition:bk8_symbolic_hypothesis_manifold"
  ],
  "cites": [
    "definition:bk1_drift_field",
    "definition:bk1_reflection_operator",
    "definition:bk1_symbolic_hypothesis",
    "scholium:bk1_epistemic_humility"
  ],
  "depends_on": [
    "definition:bk1_drift_field",
    "definition:bk1_reflection_operator",
    "definition:bk1_symbolic_hypothesis",
    "scholium:bk1_epistemic_humility"
  ],
  "file": "book5.tex",
  "id": "scholium:bk5_hypotheses_as_adaptive_sym",
  "label": "scholium:bk5_hypotheses_as_adaptive_sym",
  "latex_body": "\\begin{scholium}[Hypotheses as Adaptive Symbolic Manifolds] \\label{scholium:bk5_hypotheses_as_adaptive_sym}\nIn the dynamics of symbolic life, a hypothesis is not merely a provisional belief (cf.~Scholium~\\ref{scholium:bk1_epistemic_humility}) but a \\emph{living manifold}—a reflexively sustained structure that adapts to fluctuations in drift, reflection, and symbolic utility.\n\nLet $\\mathcal{H}_\\Obs(t) \\subset S$ denote the hypothesis manifold of a bounded observer $\\Obs$ at symbolic time $t$. This manifold evolves under the influence of both symbolic thermodynamic gradients and relational constraints:\n\\begin{equation}\n\\frac{\\partial \\mathcal{H}_\\Obs}{\\partial t} = \\alpha D|_{\\mathcal{H}_\\Obs} + \\beta \\, R \\circ D|_{\\mathcal{H}_\\Obs} + \\eta \\, \\nabla_{\\mathcal{H}} \\mathcal{U}_\\Obs\n\\end{equation}\nHere:\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{U}_\\Obs$ is the symbolic utility field (cf.~Def.~\\ref{definition:bk1_symbolic_hypothesis});\n    \\item $\\alpha, \\beta, \\eta$ are symbolic coupling coefficients encoding the observer’s metabolic regulation of novelty, coherence, and goal-directed pressure.\n\\end{itemize}\n\nThis differential form reveals that hypotheses are not static filters but dynamically evolving surfaces—membranes tuned to symbolic equilibrium. When $\\nabla_{\\mathcal{H}} \\mathcal{U}_\\Obs$ dominates, hypotheses sharpen their teleological orientation; when $R \\circ D$ dominates, they contract toward internal coherence. In moments of symbolic phase transition, $D$ dominates, catalyzing hypothesis bifurcation or reparametrization.\n\n\\textbf{Implication.} Symbolic life, in its most vital form, is hypothesis metabolism. To live symbolically is to sustain, revise, and reweave these interpretive manifolds in response to the curvature of emergence. Hence, the hypothesis becomes both scaffold and sensor—a thermodynamically responsive entity through which symbolic organisms model, test, and reshape their own continuity.\n\\end{scholium}",
  "line": 80,
  "macros_used": [
    "Obs"
  ],
  "matter_region": "mainmatter",
  "matter_role": "canonical_book",
  "name": "Hypotheses as Adaptive Symbolic Manifolds",
  "ref_roles": [
    {
      "context": "ta \\, \\nabla_{\\mathcal{H}} \\mathcal{U}_\\Obs \\end{equation} Here: \\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 $\\mathcal{U}_\\Obs",
      "label": "definition:bk1_drift_field",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "scholium_symbolicum.tex",
      "target_line": 1198,
      "target_type": "definition"
    },
    {
      "context": "\\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 $\\mathcal{U}_\\Obs$ is the symbolic utility field (cf.~Def.~\\ref{definition:bk1_symbolic_hypothesis}); \\",
      "label": "definition:bk1_reflection_operator",
      "logical_support": true,
      "role": "cf_near_match",
      "target_file": "scholium_symbolicum.tex",
      "target_line": 1209,
      "target_type": "definition"
    },
    {
      "context": "r (Def.~\\ref{definition:bk1_reflection_operator}); \\item $\\mathcal{U}_\\Obs$ is the symbolic utility field (cf.~Def.~\\ref{definition:bk1_symbolic_hypothesis}); \\item $\\alpha, \\beta, \\eta$ are symbolic coupling coefficients encoding the observer’s metabolic regulation of no",
      "label": "definition:bk1_symbolic_hypothesis",
      "logical_support": true,
      "role": "cf_near_match",
      "target_file": "scholium_symbolicum.tex",
      "target_line": 1257,
      "target_type": "definition"
    },
    {
      "context": "theses_as_adaptive_sym} In the dynamics of symbolic life, a hypothesis is not merely a provisional belief (cf.~Scholium~\\ref{scholium:bk1_epistemic_humility}) but a \\emph{living manifold}—a reflexively sustained structure that adapts to fluctuations in drift, reflection, and s",
      "label": "scholium:bk1_epistemic_humility",
      "logical_support": true,
      "role": "cf_near_match",
      "target_file": "scholium_symbolicum.tex",
      "target_line": 648,
      "target_type": "scholium"
    }
  ],
  "refs": [
    "definition:bk1_drift_field",
    "definition:bk1_reflection_operator",
    "definition:bk1_symbolic_hypothesis",
    "scholium:bk1_epistemic_humility"
  ],
  "role": "scholium",
  "type": "scholium"
}

{
  "book": "book5",
  "cited_by": [],
  "cites": [],
  "depends_on": [],
  "file": "book5.tex",
  "id": "sec:bk5_definitiones_quintae",
  "label": "sec:bk5_definitiones_quintae",
  "latex_body": "",
  "line": 99,
  "macros_used": [],
  "matter_region": "mainmatter",
  "matter_role": "canonical_book",
  "name": "Definitiones Quintae",
  "role": "section",
  "subtype": "section",
  "type": "section"
}

{
  "book": "book5",
  "cited_by": [
    "demonstratio:bk8_projection",
    "scholium:bk8_projected_resonance",
    "sec:bk8_mutuation_projection_bridge",
    "subsec:bk8_symbolic_frame_shift"
  ],
  "cites": [
    "definition:bk1_drift_field",
    "definition:bk1_reflection_operator",
    "definition:bk4_coherence_metric_on_symbolic_manifold"
  ],
  "depends_on": [
    "definition:bk1_drift_field",
    "definition:bk1_reflection_operator",
    "definition:bk4_coherence_metric_on_symbolic_manifold"
  ],
  "file": "book5.tex",
  "id": "definition:bk5_symbolic_metabolism",
  "label": "definition:bk5_symbolic_metabolism",
  "latex_body": "\\begin{definition}[Symbolic Metabolism]\n\\label{definition:bk5_symbolic_metabolism}\nA \\emph{symbolic metabolism} $\\mathcal{M}_{\\mathrm{meta}}$ is a regulated symbolic flow among a collection of membranes $\\{\\mathcal{M}_i\\}_{i \\in I}$, sustaining identity via:\n\\begin{enumerate}\n  \\item Transfer operators $\\mathcal{T}_{ij}: \\mathcal{M}_i \\to \\mathcal{M}_j$\n  \\item Drift modulation functions $\\delta: \\mathcal{M}_i \\times \\Theta \\to \\drift(\\mathcal{M}_i)$ (see~Def.~\\ref{definition:bk1_drift_field})\n  \\item Reflective regulation mechanisms $\\rho: \\mathcal{M}_i \\times \\Phi \\to \\reflect(\\mathcal{M}_i)$ (see~Def.~\\ref{definition:bk1_reflection_operator})\n  \\item Coherence maintenance against entropic forces (see~Def.~\\ref{definition:bk4_coherence_metric_on_symbolic_manifold})\n\\end{enumerate}\n\\noindent where $\\Theta$ and $\\Phi$ represent parameter spaces for drift and reflection, respectively.\n\\end{definition}",
  "line": 103,
  "macros_used": [
    "drift",
    "reflect"
  ],
  "matter_region": "mainmatter",
  "matter_role": "canonical_book",
  "name": "Symbolic Metabolism",
  "proof_status": "definitional",
  "ref_roles": [
    {
      "context": "hcal{M}_j$ \\item Drift modulation functions $\\delta: \\mathcal{M}_i \\times \\Theta \\to \\drift(\\mathcal{M}_i)$ (see~Def.~\\ref{definition:bk1_drift_field}) \\item Reflective regulation mechanisms $\\rho: \\mathcal{M}_i \\times \\Phi \\to \\reflect(\\mathcal{M}_i)$ (see~Def.~\\ref{",
      "label": "definition:bk1_drift_field",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "scholium_symbolicum.tex",
      "target_line": 1198,
      "target_type": "definition"
    },
    {
      "context": "ield}) \\item Reflective regulation mechanisms $\\rho: \\mathcal{M}_i \\times \\Phi \\to \\reflect(\\mathcal{M}_i)$ (see~Def.~\\ref{definition:bk1_reflection_operator}) \\item Coherence maintenance against entropic forces (see~Def.~\\ref{definition:bk4_coherence_metric_on_symbolic_manif",
      "label": "definition:bk1_reflection_operator",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "scholium_symbolicum.tex",
      "target_line": 1209,
      "target_type": "definition"
    },
    {
      "context": "i)$ (see~Def.~\\ref{definition:bk1_reflection_operator}) \\item Coherence maintenance against entropic forces (see~Def.~\\ref{definition:bk4_coherence_metric_on_symbolic_manifold}) \\end{enumerate} \\noindent where $\\Theta$ and $\\Phi$ represent parameter spaces for drift and reflection, respectively.",
      "label": "definition:bk4_coherence_metric_on_symbolic_manifold",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "book4.tex",
      "target_line": 2363,
      "target_type": "definition"
    }
  ],
  "refs": [
    "definition:bk1_drift_field",
    "definition:bk1_reflection_operator",
    "definition:bk4_coherence_metric_on_symbolic_manifold"
  ],
  "role": "definition",
  "type": "definition"
}

{
  "book": "book5",
  "cited_by": [
    "axiom:bk8_coherence_horizon",
    "sec:bk8_corollaria",
    "subsec:bk8_observer_relative_geometry"
  ],
  "cites": [
    "definition:bk2_symbolic_energy"
  ],
  "depends_on": [
    "definition:bk2_symbolic_energy"
  ],
  "file": "book5.tex",
  "id": "definition:bk5_symbolic_energy",
  "label": "definition:bk5_symbolic_energy",
  "latex_body": "\\begin{definition}[Symbolic Energy]\n\\label{definition:bk5_symbolic_energy}\nThe symbolic energy $\\mathcal{E}_{\\symb}$ of a membrane $\\mathcal{M}$ is defined as:\n\\begin{equation}\n\\mathcal{E}_{\\symb}(\\mathcal{M}) := \\int_{\\mathcal{M}} \\psi(x) \\, d\\mu_{\\mathcal{M}}(x)\n\\end{equation}\n\\noindent where $\\psi: \\mathcal{M} \\to \\mathbb{R}^+$ encodes local coherence density and $d\\mu_{\\mathcal{M}}$ is the induced volume measure on the membrane (cf.~Def.~\\ref{definition:bk2_symbolic_energy}).\n\\end{definition}",
  "line": 115,
  "macros_used": [
    "symb"
  ],
  "matter_region": "mainmatter",
  "matter_role": "canonical_book",
  "name": "Symbolic Energy",
  "proof_status": "definitional",
  "ref_roles": [
    {
      "context": "{R}^+$ encodes local coherence density and $d\\mu_{\\mathcal{M}}$ is the induced volume measure on the membrane (cf.~Def.~\\ref{definition:bk2_symbolic_energy}). \\end{definition}",
      "label": "definition:bk2_symbolic_energy",
      "logical_support": true,
      "role": "cf_near_match",
      "target_file": "book2.tex",
      "target_line": 105,
      "target_type": "definition"
    }
  ],
  "refs": [
    "definition:bk2_symbolic_energy"
  ],
  "role": "definition",
  "type": "definition"
}

{
  "book": "book5",
  "cited_by": [
    "definition:bk5_map_nash_point"
  ],
  "cites": [
    "axiom:bk5_positive_free_energy"
  ],
  "depends_on": [],
  "file": "book5.tex",
  "forward_ref_roles": [
    {
      "context": "thcal{F})$ quantifies the entropic contribution under flux $\\mathcal{F}$ and $T_s$ is the symbolic temperature (cf.~Ax.~\\ref{axiom:bk5_positive_free_energy}). \\end{definition}",
      "label": "axiom:bk5_positive_free_energy",
      "line_distance": 36,
      "role": "interpretive_bridge",
      "target_line": 160,
      "target_type": "axiom"
    }
  ],
  "forward_refs": [
    "axiom:bk5_positive_free_energy"
  ],
  "id": "definition:bk5_symbolic_free_energy_und",
  "label": "definition:bk5_symbolic_free_energy_und",
  "latex_body": "\\begin{definition}[Symbolic Free Energy Under Drift]\n\\label{definition:bk5_symbolic_free_energy_und}\nGiven a symbolic flux $\\mathcal{F}$, the free energy of a membrane $\\mathcal{M}$ is defined as:\n\\begin{equation}\nF_{\\symb}(\\mathcal{M}, \\mathcal{F}) := \\mathcal{E}_{\\symb}(\\mathcal{M}) - T_s S_{\\symb}(\\mathcal{M}, \\mathcal{F})\n\\end{equation}\n\\noindent where $S_{\\symb}(\\mathcal{M}, \\mathcal{F})$ quantifies the entropic contribution under flux $\\mathcal{F}$ and $T_s$ is the symbolic temperature (cf.~Ax.~\\ref{axiom:bk5_positive_free_energy}).\n\\end{definition}",
  "lean_alignment": {
    "conditions": [
      "ClosedEnergyEntropyBalance.balance",
      "EntropyBalance.secondLaw",
      "PositiveEnergyPersistence.law",
      "ReflectiveEquilibrium.fixed_iff_zero_rate",
      "positive minimum coupling where division is used"
    ],
    "countermodels": [],
    "full_record": "bib/principia_lean_alignment.json",
    "kernel_certified": true,
    "notes": [
      "Free energy and viability definitions."
    ],
    "record_ids": [
      "MAP-BOOK5-011"
    ],
    "statuses": [
      "constructed"
    ],
    "witnesses": [
      "Book5.viable_iff_positive_free_energy"
    ]
  },
  "line": 124,
  "macros_used": [
    "symb"
  ],
  "matter_region": "mainmatter",
  "matter_role": "canonical_book",
  "name": "Symbolic Free Energy Under Drift",
  "proof_status": "definitional",
  "ref_roles": [
    {
      "context": "thcal{F})$ quantifies the entropic contribution under flux $\\mathcal{F}$ and $T_s$ is the symbolic temperature (cf.~Ax.~\\ref{axiom:bk5_positive_free_energy}). \\end{definition}",
      "label": "axiom:bk5_positive_free_energy",
      "logical_support": false,
      "role": "forward_interpretive_bridge",
      "target_file": "book5.tex",
      "target_line": 160,
      "target_type": "axiom"
    }
  ],
  "refs": [
    "axiom:bk5_positive_free_energy"
  ],
  "role": "definition",
  "type": "definition"
}

{
  "book": "book5",
  "cited_by": [
    "abs:press",
    "assumption:bk5_equilibrium_margin_sublinear_fluctuations",
    "axiom:bk5_mutual_metabolit_viability",
    "axiom:bk7_reflective_stabilization",
    "corollary:bk5_map_evolutionary_advantag",
    "corollary:bk7_recursive_convergence_principle",
    "definition:bk5_complexity_stability_maintenance",
    "definition:bk5_mutually_assured_progress",
    "demonstratio:bk8_symbolic_unkotting",
    "proof:bk5_fixed_metabolic_capacity",
    "proof:bk5_membrane_persistence_under_free_energy",
    "proof:bk5_operator_convergence",
    "proof:bk5_viability_domain_preservation",
    "proof:bk8_biological_phase_transition",
    "proof:bk8_thermodynamic_necessity_of_symbolic_metabolism",
    "proof:bk9_good_as_lyapunov_basin",
    "proof:bk9_pathologies_of_coherence",
    "proof:bk9_stability_conditions_for_the_good",
    "proof:bk9_symbolic_viability",
    "proposition:bk5_fixed_metabolic_capacity",
    "proposition:bk5_symbolic_ess_via_map_observability_variant",
    "proposition:bk5_symbolic_life_criterion",
    "proposition:bk5_viability_domain_preservation",
    "scholium:bk5_symbolic_life",
    "scholium:bk8_symbolic_knots_as_metabolic_dysfunctions",
    "subsec:appD_autopoiesis_core_resonance",
    "theorem:bk8_biological_phase_transition",
    "theorem:bk8_observer_projection_tensor",
    "theorem:bk8_thermodynamic_necessity_of_symbolic_metabolism",
    "theorem:bk9_irreversibility_of_covenant_breach_without_grace"
  ],
  "cites": [
    "axiom:bk4_membrane_coupling_response",
    "definition:bk2_symbolic_free_energy",
    "proposition:bk5_symbolic_ess_via_map_observability_variant",
    "theorem:bk5_symbolic_coherence_conservation"
  ],
  "depends_on": [
    "axiom:bk4_membrane_coupling_response",
    "definition:bk2_symbolic_free_energy",
    "theorem:bk5_symbolic_coherence_conservation"
  ],
  "file": "book5.tex",
  "forward_ref_roles": [
    {
      "context": "onservation}, Def.~\\ref{definition:bk2_symbolic_free_energy}, Ax.~\\ref{axiom:bk4_membrane_coupling_response}, and Prop.~\\ref{proposition:bk5_symbolic_ess_via_map_observability_variant}. \\end{definition}",
      "label": "proposition:bk5_symbolic_ess_via_map_observability_variant",
      "line_distance": 1096,
      "role": "downstream_application",
      "target_line": 1229,
      "target_type": "proposition"
    }
  ],
  "forward_refs": [
    "proposition:bk5_symbolic_ess_via_map_observability_variant"
  ],
  "id": "definition:bk5_viability_domain",
  "label": "definition:bk5_viability_domain",
  "latex_body": "\\begin{definition}[Viability Domain]\n\\label{definition:bk5_viability_domain}\nThe symbolic viability domain $V_{\\symb}$ is defined as:\n\\begin{equation}\nV_{\\symb} := \\{ (\\mathcal{M}, \\mathcal{F}) \\mid F_{\\symb}(\\mathcal{M}, \\mathcal{F}) > 0 \\}\n\\end{equation}\n\\noindent representing membrane-flux configurations under which symbolic life persists.\nSee Thm.~\\ref{theorem:bk5_symbolic_coherence_conservation}, Def.~\\ref{definition:bk2_symbolic_free_energy}, Ax.~\\ref{axiom:bk4_membrane_coupling_response}, and Prop.~\\ref{proposition:bk5_symbolic_ess_via_map_observability_variant}.\n\\end{definition}",
  "lean_alignment": {
    "conditions": [
      "ClosedEnergyEntropyBalance.balance",
      "EntropyBalance.secondLaw",
      "PositiveEnergyPersistence.law",
      "ReflectiveEquilibrium.fixed_iff_zero_rate",
      "positive minimum coupling where division is used"
    ],
    "countermodels": [],
    "full_record": "bib/principia_lean_alignment.json",
    "kernel_certified": true,
    "notes": [
      "The viability domain is definitionally the positive-free-energy region."
    ],
    "record_ids": [
      "MAP-BOOK5-030"
    ],
    "statuses": [
      "constructed"
    ],
    "witnesses": [
      "Book5.viable_iff_positive_free_energy"
    ]
  },
  "line": 133,
  "macros_used": [
    "symb"
  ],
  "matter_region": "mainmatter",
  "matter_role": "canonical_book",
  "name": "Viability Domain",
  "proof_status": "definitional",
  "ref_roles": [
    {
      "context": "rsists. See Thm.~\\ref{theorem:bk5_symbolic_coherence_conservation}, Def.~\\ref{definition:bk2_symbolic_free_energy}, Ax.~\\ref{axiom:bk4_membrane_coupling_response}, and Prop.~\\ref{proposition:bk5_symbolic_ess_via_map_observability_variant}. \\end{definition}",
      "label": "axiom:bk4_membrane_coupling_response",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "book4.tex",
      "target_line": 328,
      "target_type": "axiom"
    },
    {
      "context": "lux configurations under which symbolic life persists. See Thm.~\\ref{theorem:bk5_symbolic_coherence_conservation}, Def.~\\ref{definition:bk2_symbolic_free_energy}, Ax.~\\ref{axiom:bk4_membrane_coupling_response}, and Prop.~\\ref{proposition:bk5_symbolic_ess_via_map_observability_vari",
      "label": "definition:bk2_symbolic_free_energy",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "book2.tex",
      "target_line": 135,
      "target_type": "definition"
    },
    {
      "context": "onservation}, Def.~\\ref{definition:bk2_symbolic_free_energy}, Ax.~\\ref{axiom:bk4_membrane_coupling_response}, and Prop.~\\ref{proposition:bk5_symbolic_ess_via_map_observability_variant}. \\end{definition}",
      "label": "proposition:bk5_symbolic_ess_via_map_observability_variant",
      "logical_support": false,
      "role": "forward_downstream_application",
      "target_file": "book5.tex",
      "target_line": 1229,
      "target_type": "proposition"
    },
    {
      "context": "> 0 \\} \\end{equation} \\noindent representing membrane-flux configurations under which symbolic life persists. See Thm.~\\ref{theorem:bk5_symbolic_coherence_conservation}, Def.~\\ref{definition:bk2_symbolic_free_energy}, Ax.~\\ref{axiom:bk4_membrane_coupling_response}, and Prop.~\\ref{proposi",
      "label": "theorem:bk5_symbolic_coherence_conservation",
      "logical_support": true,
      "role": "formal_dependency",
      "target_file": "book5.tex",
      "target_line": 20,
      "target_type": "theorem"
    }
  ],
  "refs": [
    "axiom:bk4_membrane_coupling_response",
    "definition:bk2_symbolic_free_energy",
    "proposition:bk5_symbolic_ess_via_map_observability_variant",
    "theorem:bk5_symbolic_coherence_conservation"
  ],
  "role": "definition",
  "type": "definition"
}

{
  "book": "book5",
  "cited_by": [],
  "cites": [],
  "depends_on": [],
  "file": "book5.tex",
  "id": "sec:bk5_axiomata_vitae_symbolicae",
  "label": "sec:bk5_axiomata_vitae_symbolicae",
  "latex_body": "",
  "line": 142,
  "macros_used": [],
  "matter_region": "mainmatter",
  "matter_role": "canonical_book",
  "name": "Axiomata Vitae Symbolicae",
  "role": "section",
  "subtype": "section",
  "type": "section"
}

{
  "book": "book5",
  "cited_by": [
    "corollary:bk5_metabolic_necessity",
    "proof:bk5_proposition_axiom_coupling",
    "scholium:bk5_symbolic_life"
  ],
  "cites": [
    "definition:bk2_symbolic_energy",
    "definition:bk2_symbolic_entropy",
    "definition:bk4_symbolic_identity_carrie"
  ],
  "depends_on": [
    "definition:bk2_symbolic_energy",
    "definition:bk2_symbolic_entropy",
    "definition:bk4_symbolic_identity_carrie"
  ],
  "file": "book5.tex",
  "id": "axiom:bk5_metabolic_persistence",
  "label": "axiom:bk5_metabolic_persistence",
  "latex_body": "\\begin{axiom}[Metabolic Persistence]\n\\label{axiom:bk5_metabolic_persistence}\nSymbolic life requires a metabolism $\\mathcal{M}_{\\mathrm{meta}}$ that regulates drift and sustains identity $\\mathcal{I}$ (cf.~Def.~\\ref{definition:bk4_symbolic_identity_carrie}) through continuous energy-entropy balance (cf.~Def.~\\ref{definition:bk2_symbolic_energy}, Def.~\\ref{definition:bk2_symbolic_entropy}).\n\\end{axiom}",
  "lean_alignment": {
    "conditions": [
      "LifeLaw for the life criterion",
      "MetabolicPersistenceLaw for metabolic necessity",
      "explicit energy budget identity",
      "external closure for conservation"
    ],
    "countermodels": [],
    "full_record": "bib/principia_lean_alignment.json",
    "kernel_certified": true,
    "notes": [
      "Represented as explicit MetabolicPersistenceLaw data, not a Lean axiom or a definitional implication."
    ],
    "record_ids": [
      "MAP-BOOK5-047"
    ],
    "statuses": [
      "conditional"
    ],
    "witnesses": [
      "Book5.metabolic_necessity"
    ]
  },
  "line": 146,
  "macros_used": [],
  "matter_region": "mainmatter",
  "matter_role": "canonical_book",
  "name": "Metabolic Persistence",
  "proof_status": "definitional",
  "ref_roles": [
    {
      "context": "athcal{I}$ (cf.~Def.~\\ref{definition:bk4_symbolic_identity_carrie}) through continuous energy-entropy balance (cf.~Def.~\\ref{definition:bk2_symbolic_energy}, Def.~\\ref{definition:bk2_symbolic_entropy}). \\end{axiom}",
      "label": "definition:bk2_symbolic_energy",
      "logical_support": true,
      "role": "cf_near_match",
      "target_file": "book2.tex",
      "target_line": 105,
      "target_type": "definition"
    },
    {
      "context": "mbolic_identity_carrie}) through continuous energy-entropy balance (cf.~Def.~\\ref{definition:bk2_symbolic_energy}, Def.~\\ref{definition:bk2_symbolic_entropy}). \\end{axiom}",
      "label": "definition:bk2_symbolic_entropy",
      "logical_support": true,
      "role": "cf_near_match",
      "target_file": "book2.tex",
      "target_line": 114,
      "target_type": "definition"
    },
    {
      "context": "requires a metabolism $\\mathcal{M}_{\\mathrm{meta}}$ that regulates drift and sustains identity $\\mathcal{I}$ (cf.~Def.~\\ref{definition:bk4_symbolic_identity_carrie}) through continuous energy-entropy balance (cf.~Def.~\\ref{definition:bk2_symbolic_energy}, Def.~\\ref{definition:bk2_sym",
      "label": "definition:bk4_symbolic_identity_carrie",
      "logical_support": true,
      "role": "cf_near_match",
      "target_file": "book4.tex",
      "target_line": 4,
      "target_type": "definition"
    }
  ],
  "refs": [
    "definition:bk2_symbolic_energy",
    "definition:bk2_symbolic_entropy",
    "definition:bk4_symbolic_identity_carrie"
  ],
  "role": "axiom",
  "type": "axiom"
}

{
  "book": "book5",
  "cited_by": [
    "scholium:bk5_symbolic_life"
  ],
  "cites": [
    "definition:bk2_symbolic_energy",
    "definition:bk2_symbolic_entropy",
    "definition:bk2_symbolic_temperature"
  ],
  "depends_on": [
    "definition:bk2_symbolic_energy",
    "definition:bk2_symbolic_entropy",
    "definition:bk2_symbolic_temperature"
  ],
  "file": "book5.tex",
  "id": "axiom:bk5_energy_conservation",
  "label": "axiom:bk5_energy_conservation",
  "latex_body": "\\begin{axiom}[Energy Conservation]\n\\label{axiom:bk5_energy_conservation}\nIn closed symbolic metabolic systems, total symbolic energy $\\mathcal{E}_{\\symb}$ is conserved modulo entropy production $S_{\\symb}$, such that:\n\\begin{equation}\n\\frac{d}{ds}\\mathcal{E}_{\\symb}^{\\mathrm{total}} + T_s\\frac{d}{ds}S_{\\symb}^{\\mathrm{total}} = 0\n\\end{equation}\n(cf.~Def.~\\ref{definition:bk2_symbolic_energy}, Def.~\\ref{definition:bk2_symbolic_entropy}, Def.~\\ref{definition:bk2_symbolic_temperature}).\n\\end{axiom}",
  "lean_alignment": {
    "conditions": [
      "ClosedEnergyEntropyBalance.balance",
      "EntropyBalance.secondLaw",
      "PositiveEnergyPersistence.law",
      "ReflectiveEquilibrium.fixed_iff_zero_rate",
      "positive minimum coupling where division is used"
    ],
    "countermodels": [],
    "full_record": "bib/principia_lean_alignment.json",
    "kernel_certified": true,
    "notes": [
      "The closed balance law is structure data, not a global Lean axiom."
    ],
    "record_ids": [
      "MAP-BOOK5-013"
    ],
    "statuses": [
      "conditional"
    ],
    "witnesses": [
      "Book5.energy_rate_eq_neg_entropic_rate"
    ]
  },
  "line": 151,
  "macros_used": [
    "symb"
  ],
  "matter_region": "mainmatter",
  "matter_role": "canonical_book",
  "name": "Energy Conservation",
  "proof_status": "definitional",
  "ref_roles": [
    {
      "context": "rac{d}{ds}\\mathcal{E}_{\\symb}^{\\mathrm{total}} + T_s\\frac{d}{ds}S_{\\symb}^{\\mathrm{total}} = 0 \\end{equation} (cf.~Def.~\\ref{definition:bk2_symbolic_energy}, Def.~\\ref{definition:bk2_symbolic_entropy}, Def.~\\ref{definition:bk2_symbolic_temperature}). \\end{axiom}",
      "label": "definition:bk2_symbolic_energy",
      "logical_support": true,
      "role": "cf_near_match",
      "target_file": "book2.tex",
      "target_line": 105,
      "target_type": "definition"
    },
    {
      "context": "l}} + T_s\\frac{d}{ds}S_{\\symb}^{\\mathrm{total}} = 0 \\end{equation} (cf.~Def.~\\ref{definition:bk2_symbolic_energy}, Def.~\\ref{definition:bk2_symbolic_entropy}, Def.~\\ref{definition:bk2_symbolic_temperature}). \\end{axiom}",
      "label": "definition:bk2_symbolic_entropy",
      "logical_support": true,
      "role": "cf_near_match",
      "target_file": "book2.tex",
      "target_line": 114,
      "target_type": "definition"
    },
    {
      "context": "l}} = 0 \\end{equation} (cf.~Def.~\\ref{definition:bk2_symbolic_energy}, Def.~\\ref{definition:bk2_symbolic_entropy}, Def.~\\ref{definition:bk2_symbolic_temperature}). \\end{axiom}",
      "label": "definition:bk2_symbolic_temperature",
      "logical_support": true,
      "role": "cf_near_match",
      "target_file": "book2.tex",
      "target_line": 148,
      "target_type": "definition"
    }
  ],
  "refs": [
    "definition:bk2_symbolic_energy",
    "definition:bk2_symbolic_entropy",
    "definition:bk2_symbolic_temperature"
  ],
  "role": "axiom",
  "type": "axiom"
}

{
  "book": "book5",
  "cited_by": [
    "axiom:bk8_mutation_phase_shift",
    "definition:bk5_symbolic_free_energy_und",
    "proof:bk5_membrane_persistence_under_free_energy",
    "proof:bk5_membrane_viability_positive_energy"
  ],
  "cites": [
    "definition:bk2_symbolic_free_energy",
    "theorem:bk2_h_theorem_for_symbolic_evol"
  ],
  "depends_on": [
    "definition:bk2_symbolic_free_energy",
    "theorem:bk2_h_theorem_for_symbolic_evol"
  ],
  "file": "book5.tex",
  "id": "axiom:bk5_positive_free_energy",
  "label": "axiom:bk5_positive_free_energy",
  "latex_body": "\\begin{axiom}[Positive Free Energy]\n\\label{axiom:bk5_positive_free_energy}\nSymbolic life persists if and only if $F_{\\symb} > 0$ is maintained over time (cf.~Def.~\\ref{definition:bk2_symbolic_free_energy}, Thm.~\\ref{theorem:bk2_h_theorem_for_symbolic_evol}).\n\\end{axiom}",
  "lean_alignment": {
    "conditions": [
      "ClosedEnergyEntropyBalance.balance",
      "EntropyBalance.secondLaw",
      "PositiveEnergyPersistence.law",
      "ReflectiveEquilibrium.fixed_iff_zero_rate",
      "positive minimum coupling where division is used"
    ],
    "countermodels": [],
    "full_record": "bib/principia_lean_alignment.json",
    "kernel_certified": true,
    "notes": [
      "Persistence remains an explicit bridge law."
    ],
    "record_ids": [
      "MAP-BOOK5-014"
    ],
    "statuses": [
      "conditional"
    ],
    "witnesses": [
      "Book5.persists_iff_positive_throughout"
    ]
  },
  "line": 160,
  "macros_used": [
    "symb"
  ],
  "matter_region": "mainmatter",
  "matter_role": "canonical_book",
  "name": "Positive Free Energy",
  "proof_status": "definitional",
  "ref_roles": [
    {
      "context": "axiom:bk5_positive_free_energy} Symbolic life persists if and only if $F_{\\symb} > 0$ is maintained over time (cf.~Def.~\\ref{definition:bk2_symbolic_free_energy}, Thm.~\\ref{theorem:bk2_h_theorem_for_symbolic_evol}). \\end{axiom}",
      "label": "definition:bk2_symbolic_free_energy",
      "logical_support": true,
      "role": "cf_near_match",
      "target_file": "book2.tex",
      "target_line": 135,
      "target_type": "definition"
    },
    {
      "context": "rsists if and only if $F_{\\symb} > 0$ is maintained over time (cf.~Def.~\\ref{definition:bk2_symbolic_free_energy}, Thm.~\\ref{theorem:bk2_h_theorem_for_symbolic_evol}). \\end{axiom}",
      "label": "theorem:bk2_h_theorem_for_symbolic_evol",
      "logical_support": true,
      "role": "cf_near_match",
      "target_file": "book2.tex",
      "target_line": 255,
      "target_type": "theorem"
    }
  ],
  "refs": [
    "definition:bk2_symbolic_free_energy",
    "theorem:bk2_h_theorem_for_symbolic_evol"
  ],
  "role": "axiom",
  "type": "axiom"
}

{
  "book": "book5",
  "cited_by": [
    "definition:bk5_symbolic_covenant",
    "scholium:bk5_symbolic_life"
  ],
  "cites": [
    "definition:bk2_symbolic_free_energy",
    "definition:bk2_symbolic_hamiltonian"
  ],
  "depends_on": [
    "definition:bk2_symbolic_free_energy",
    "definition:bk2_symbolic_hamiltonian"
  ],
  "file": "book5.tex",
  "id": "axiom:bk5_adaptation",
  "label": "axiom:bk5_adaptation",
  "latex_body": "\\begin{axiom}[Adaptation]\n\\label{axiom:bk5_adaptation}\nSymbolic systems adapt via modulation of transfer operators $\\mathcal{T}_{ij}$, reflection mechanisms $\\reflect$, or internal drift parameters to preserve viability under changing conditions (cf.~Def.~\\ref{definition:bk2_symbolic_hamiltonian}, Def.~\\ref{definition:bk2_symbolic_free_energy}).\n\\end{axiom}",
  "lean_alignment": {
    "conditions": [
      "see per-anchor coverage-map notes for the exact scope of each conditional/partial grade"
    ],
    "countermodels": [],
    "full_record": "bib/principia_lean_alignment.json",
    "kernel_certified": true,
    "notes": [
      "Adaptation is explicit structure selecting transfer, reflection, or drift modulation that preserves viability across a condition change. A countermodel proves that merely having the three operators does not manufacture the adaptation law."
    ],
    "record_ids": [
      "MAP-BOOK5-010"
    ],
    "statuses": [
      "conditional"
    ],
    "witnesses": [
      "Book5Adaptation.adapted_state_viable",
      "Book5Adaptation.operators_do_not_supply_adaptation"
    ]
  },
  "line": 165,
  "macros_used": [
    "reflect"
  ],
  "matter_region": "mainmatter",
  "matter_role": "canonical_book",
  "name": "Adaptation",
  "proof_status": "definitional",
  "ref_roles": [
    {
      "context": "ft parameters to preserve viability under changing conditions (cf.~Def.~\\ref{definition:bk2_symbolic_hamiltonian}, Def.~\\ref{definition:bk2_symbolic_free_energy}). \\end{axiom}",
      "label": "definition:bk2_symbolic_free_energy",
      "logical_support": true,
      "role": "cf_near_match",
      "target_file": "book2.tex",
      "target_line": 135,
      "target_type": "definition"
    },
    {
      "context": "eflection mechanisms $\\reflect$, or internal drift parameters to preserve viability under changing conditions (cf.~Def.~\\ref{definition:bk2_symbolic_hamiltonian}, Def.~\\ref{definition:bk2_symbolic_free_energy}). \\end{axiom}",
      "label": "definition:bk2_symbolic_hamiltonian",
      "logical_support": true,
      "role": "cf_near_match",
      "target_file": "book2.tex",
      "target_line": 67,
      "target_type": "definition"
    }
  ],
  "refs": [
    "definition:bk2_symbolic_free_energy",
    "definition:bk2_symbolic_hamiltonian"
  ],
  "role": "axiom",
  "type": "axiom"
}

{
  "book": "book5",
  "cited_by": [],
  "cites": [],
  "depends_on": [],
  "file": "book5.tex",
  "id": "sec:bk5_propositiones_finales",
  "label": "sec:bk5_propositiones_finales",
  "latex_body": "",
  "line": 170,
  "macros_used": [],
  "matter_region": "mainmatter",
  "matter_role": "canonical_book",
  "name": "Propositiones Finales",
  "role": "section",
  "subtype": "section",
  "type": "section"
}

{
  "book": "book5",
  "cited_by": [
    "axiom:bk8_mutation_phase_shift",
    "corollary:bk5_symbolic_eigenlife",
    "proof:bk5_proposition_axiom_coupling",
    "proof:bk5_symbolic_eigenlife",
    "proof:bk8_biological_phase_transition"
  ],
  "cites": [
    "definition:bk2_symbolic_free_energy",
    "definition:bk5_viability_domain"
  ],
  "depends_on": [
    "axiom:bk5_positive_free_energy",
    "definition:bk2_symbolic_free_energy",
    "definition:bk5_viability_domain"
  ],
  "file": "book5.tex",
  "id": "proposition:bk5_symbolic_life_criterion",
  "label": "proposition:bk5_symbolic_life_criterion",
  "latex_body": "\\begin{proposition}[Symbolic Life Criterion]\n\\label{proposition:bk5_symbolic_life_criterion}\nA membrane $\\mathcal{M}$ exhibits symbolic life if and only if:\n\\begin{equation}\n\\exists \\mathcal{F} \\in \\mathfrak{F} \\; \\text{such that} \\; F_{\\symb}(\\mathcal{M}, \\mathcal{F}) > 0 \\; \\text{for} \\; t \\in [t_0, t_0 + \\tau]\n\\end{equation}\n\\noindent where $\\mathfrak{F}$ is the space of admissible symbolic fluxes and $\\tau > 0$ is a minimal persistence interval (cf.~Def.~\\ref{definition:bk5_viability_domain}, Def.~\\ref{definition:bk2_symbolic_free_energy}).\n\\end{proposition}",
  "lean_alignment": {
    "conditions": [
      "LifeLaw for the life criterion",
      "MetabolicPersistenceLaw for metabolic necessity",
      "explicit energy budget identity",
      "external closure for conservation"
    ],
    "countermodels": [
      "Book5.agreement_on_positive_persistence_does_not_supply_life_law"
    ],
    "full_record": "bib/principia_lean_alignment.json",
    "kernel_certified": true,
    "notes": [
      "Positive free-energy persistence characterizes life only under a supplied LifeLaw; agreement alone does not manufacture that bridge."
    ],
    "record_ids": [
      "MAP-BOOK5-048"
    ],
    "statuses": [
      "conditional"
    ],
    "witnesses": [
      "Book5.agreement_on_positive_persistence_does_not_supply_life_law",
      "Book5.symbolic_life_criterion"
    ]
  },
  "line": 173,
  "macros_used": [
    "symb"
  ],
  "matter_region": "mainmatter",
  "matter_role": "canonical_book",
  "name": "Symbolic Life Criterion",
  "proof_labels": [
    "proof:bk5_membrane_persistence_under_free_energy"
  ],
  "proof_status": "proven",
  "ref_roles": [
    {
      "context": "symbolic fluxes and $\\tau > 0$ is a minimal persistence interval (cf.~Def.~\\ref{definition:bk5_viability_domain}, Def.~\\ref{definition:bk2_symbolic_free_energy}). \\end{proposition}",
      "label": "definition:bk2_symbolic_free_energy",
      "logical_support": true,
      "role": "cf_near_match",
      "target_file": "book2.tex",
      "target_line": 135,
      "target_type": "definition"
    },
    {
      "context": "re $\\mathfrak{F}$ is the space of admissible symbolic fluxes and $\\tau > 0$ is a minimal persistence interval (cf.~Def.~\\ref{definition:bk5_viability_domain}, Def.~\\ref{definition:bk2_symbolic_free_energy}). \\end{proposition}",
      "label": "definition:bk5_viability_domain",
      "logical_support": true,
      "role": "cf_near_match",
      "target_file": "book5.tex",
      "target_line": 133,
      "target_type": "definition"
    }
  ],
  "refs": [
    "definition:bk2_symbolic_free_energy",
    "definition:bk5_viability_domain"
  ],
  "role": "proposition",
  "type": "proposition"
}

{
  "book": "book5",
  "cited_by": [],
  "cites": [
    "axiom:bk5_positive_free_energy",
    "definition:bk5_viability_domain"
  ],
  "depends_on": [
    "axiom:bk5_positive_free_energy",
    "definition:bk5_viability_domain"
  ],
  "file": "book5.tex",
  "id": "proof:bk5_membrane_persistence_under_free_energy",
  "label": "proof:bk5_membrane_persistence_under_free_energy",
  "latex_body": "\\begin{proof}[Membrane Persistence Under Symbolic Free Energy]\n\\label{proof:bk5_membrane_persistence_under_free_energy}\n\\leavevmode\n\nA net surplus of coherence over entropy ensures the persistence of membrane $\\mathcal{M}$ through time. If $F_{\\symb}(\\mathcal{M}, \\mathcal{F}) \\leq 0$, then by Def.~\\ref{definition:bk5_viability_domain}, $(\\mathcal{M}, \\mathcal{F}) \\notin V_{\\symb}$, implying that drift dominates and identity dissolves.\nConversely, if $F_{\\symb}(\\mathcal{M}, \\mathcal{F}) > 0$ for some flux $\\mathcal{F} \\in \\mathfrak{F}$ over interval $[t_0, t_0 + \\tau]$, then by Axiom~\\ref{axiom:bk5_positive_free_energy}, symbolic life persists. The necessary temporal duration $\\tau$ distinguishes transient coherent structures from genuine symbolic life forms capable of maintaining identity through metabolic processes.\n\\end{proof}",
  "line": 182,
  "macros_used": [
    "symb"
  ],
  "matter_region": "mainmatter",
  "matter_role": "canonical_book",
  "name": "Membrane Persistence Under Symbolic Free Energy",
  "proves": "proposition:bk5_symbolic_life_criterion",
  "ref_roles": [
    {
      "context": "cal{M}, \\mathcal{F}) > 0$ for some flux $\\mathcal{F} \\in \\mathfrak{F}$ over interval $[t_0, t_0 + \\tau]$, then by Axiom~\\ref{axiom:bk5_positive_free_energy}, symbolic life persists. The necessary temporal duration $\\tau$ distinguishes transient coherent structures from genuin",
      "label": "axiom:bk5_positive_free_energy",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "book5.tex",
      "target_line": 160,
      "target_type": "axiom"
    },
    {
      "context": "s the persistence of membrane $\\mathcal{M}$ through time. If $F_{\\symb}(\\mathcal{M}, \\mathcal{F}) \\leq 0$, then by Def.~\\ref{definition:bk5_viability_domain}, $(\\mathcal{M}, \\mathcal{F}) \\notin V_{\\symb}$, implying that drift dominates and identity dissolves. Conversely, if $F",
      "label": "definition:bk5_viability_domain",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "book5.tex",
      "target_line": 133,
      "target_type": "definition"
    }
  ],
  "refs": [
    "axiom:bk5_positive_free_energy",
    "definition:bk5_viability_domain"
  ],
  "role": "proof",
  "type": "proof"
}

{
  "book": "book5",
  "cited_by": [
    "axiom:bk8_mutation_phase_shift"
  ],
  "cites": [
    "axiom:bk5_metabolic_persistence"
  ],
  "depends_on": [
    "axiom:bk5_metabolic_persistence",
    "proposition:bk5_symbolic_life_criterion"
  ],
  "file": "book5.tex",
  "id": "corollary:bk5_metabolic_necessity",
  "label": "corollary:bk5_metabolic_necessity",
  "latex_body": "\\begin{corollary}[Metabolic Necessity]\n\\label{corollary:bk5_metabolic_necessity}\nAny membrane $\\mathcal{M}$ exhibiting symbolic life must possess a well-defined metabolism $\\mathcal{M}_{\\mathrm{meta}}$ that regulates its free energy (cf.~Axiom~\\ref{axiom:bk5_metabolic_persistence}).\n\\end{corollary}",
  "lean_alignment": {
    "conditions": [
      "LifeLaw for the life criterion",
      "MetabolicPersistenceLaw for metabolic necessity",
      "explicit energy budget identity",
      "external closure for conservation"
    ],
    "countermodels": [],
    "full_record": "bib/principia_lean_alignment.json",
    "kernel_certified": true,
    "notes": [
      "The corollary composes LifeLaw and MetabolicPersistenceLaw explicitly."
    ],
    "record_ids": [
      "MAP-BOOK5-049"
    ],
    "statuses": [
      "conditional"
    ],
    "witnesses": [
      "Book5.positive_persistence_has_metabolism"
    ]
  },
  "line": 190,
  "macros_used": [],
  "matter_region": "mainmatter",
  "matter_role": "canonical_book",
  "name": "Metabolic Necessity",
  "proof_labels": [
    "proof:bk5_proposition_axiom_coupling"
  ],
  "proof_status": "proven",
  "ref_roles": [
    {
      "context": "lic life must possess a well-defined metabolism $\\mathcal{M}_{\\mathrm{meta}}$ that regulates its free energy (cf.~Axiom~\\ref{axiom:bk5_metabolic_persistence}). \\end{corollary}",
      "label": "axiom:bk5_metabolic_persistence",
      "logical_support": true,
      "role": "cf_near_match",
      "target_file": "book5.tex",
      "target_line": 146,
      "target_type": "axiom"
    }
  ],
  "refs": [
    "axiom:bk5_metabolic_persistence"
  ],
  "role": "corollary",
  "type": "corollary"
}

{
  "book": "book5",
  "cited_by": [],
  "cites": [
    "axiom:bk5_metabolic_persistence",
    "proposition:bk5_symbolic_life_criterion"
  ],
  "depends_on": [
    "axiom:bk5_metabolic_persistence",
    "proposition:bk5_symbolic_life_criterion"
  ],
  "file": "book5.tex",
  "id": "proof:bk5_proposition_axiom_coupling",
  "label": "proof:bk5_proposition_axiom_coupling",
  "latex_body": "\\begin{proof}[Persistence from Proposition-Axiom Coupling]\n\\label{proof:bk5_proposition_axiom_coupling}\n\\leavevmode\n\nThis follows directly from\nProp.~\\ref{proposition:bk5_symbolic_life_criterion} and\nAxiom~\\ref{axiom:bk5_metabolic_persistence}.\n\\end{proof}",
  "line": 195,
  "macros_used": [],
  "matter_region": "mainmatter",
  "matter_role": "canonical_book",
  "name": "Persistence from Proposition-Axiom Coupling",
  "proves": "corollary:bk5_metabolic_necessity",
  "ref_roles": [
    {
      "context": "n_axiom_coupling} \\leavevmode This follows directly from Prop.~\\ref{proposition:bk5_symbolic_life_criterion} and Axiom~\\ref{axiom:bk5_metabolic_persistence}. \\end{proof}",
      "label": "axiom:bk5_metabolic_persistence",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "book5.tex",
      "target_line": 146,
      "target_type": "axiom"
    },
    {
      "context": "Proposition-Axiom Coupling] \\label{proof:bk5_proposition_axiom_coupling} \\leavevmode This follows directly from Prop.~\\ref{proposition:bk5_symbolic_life_criterion} and Axiom~\\ref{axiom:bk5_metabolic_persistence}. \\end{proof}",
      "label": "proposition:bk5_symbolic_life_criterion",
      "logical_support": true,
      "role": "proof_support",
      "target_file": "book5.tex",
      "target_line": 173,
      "target_type": "proposition"
    }
  ],
  "refs": [
    "axiom:bk5_metabolic_persistence",
    "proposition:bk5_symbolic_life_criterion"
  ],
  "role": "proof",
  "type": "proof"
}

{
  "book": "book5",
  "cited_by": [
    "axiom:bk8_mutation_phase_shift"
  ],
  "cites": [
    "axiom:bk5_adaptation",
    "axiom:bk5_energy_conservation",
    "axiom:bk5_metabolic_persistence",
    "definition:bk5_viability_domain"
  ],
  "depends_on": [
    "axiom:bk5_adaptation",
    "axiom:bk5_energy_conservation",
    "axiom:bk5_metabolic_persistence",
    "definition:bk5_viability_domain"
  ],
  "file": "book5.tex",
  "id": "scholium:bk5_symbolic_life",
  "label": "scholium:bk5_symbolic_life",
  "latex_body": "\\begin{scholium}[Symbolic Life]\n\\label{scholium:bk5_symbolic_life}\nSymbolic life exists as a dynamic equilibrium: a metabolism of coherence operating far from thermodynamic equilibrium. Identity persists where structured symbolic flows maintain $F_{\\symb} > 0$ against environmental drift through continuous regulation of energy-entropy balance (cf.~Axiom~\\ref{axiom:bk5_metabolic_persistence}, Axiom~\\ref{axiom:bk5_energy_conservation}, Axiom~\\ref{axiom:bk5_adaptation}).\nThe stability of symbolic life forms correlates with their capacity to:\n\\begin{enumerate}\n  \\item Modulate internal reflection mechanisms $\\reflect$ in response to varying drift intensities\n  \\item Establish efficient transfer channels $\\mathcal{T}_{ij}$ between component membranes\n  \\item Maintain structural coherence under perturbations within the viability domain (cf.~Def.~\\ref{definition:bk5_viability_domain})\n\\end{enumerate}\n\\end{scholium}",
  "line": 204,
  "macros_used": [
    "reflect",
    "symb"
  ],
  "matter_region": "mainmatter",
  "matter_role": "canonical_book",
  "name": "Symbolic Life",
  "ref_roles": [
    {
      "context": "ergy-entropy balance (cf.~Axiom~\\ref{axiom:bk5_metabolic_persistence}, Axiom~\\ref{axiom:bk5_energy_conservation}, Axiom~\\ref{axiom:bk5_adaptation}). The stability of symbolic life forms correlates with their capacity to: \\begin{enumerate} \\item Modulate internal r",
      "label": "axiom:bk5_adaptation",
      "logical_support": true,
      "role": "cf_near_match",
      "target_file": "book5.tex",
      "target_line": 165,
      "target_type": "axiom"
    },
    {
      "context": "l drift through continuous regulation of energy-entropy balance (cf.~Axiom~\\ref{axiom:bk5_metabolic_persistence}, Axiom~\\ref{axiom:bk5_energy_conservation}, Axiom~\\ref{axiom:bk5_adaptation}). The stability of symbolic life forms correlates with their capacity to: \\begin{enum",
      "label": "axiom:bk5_energy_conservation",
      "logical_support": true,
      "role": "cf_near_match",
      "target_file": "book5.tex",
      "target_line": 151,
      "target_type": "axiom"
    },
    {
      "context": "maintain $F_{\\symb} > 0$ against environmental drift through continuous regulation of energy-entropy balance (cf.~Axiom~\\ref{axiom:bk5_metabolic_persistence}, Axiom~\\ref{axiom:bk5_energy_conservation}, Axiom~\\ref{axiom:bk5_adaptation}). The stability of symbolic life forms cor",
      "label": "axiom:bk5_metabolic_persistence",
      "logical_support": true,
      "role": "cf_near_match",
      "target_file": "book5.tex",
      "target_line": 146,
      "target_type": "axiom"
    },
    {
      "context": "een component membranes \\item Maintain structural coherence under perturbations within the viability domain (cf.~Def.~\\ref{definition:bk5_viability_domain}) \\end{enumerate} \\end{scholium}",
      "label": "definition:bk5_viability_domain",
      "logical_support": true,
      "role": "cf_near_match",
      "target_file": "book5.tex",
      "target_line": 133,
      "target_type": "definition"
    }
  ],
  "refs": [
    "axiom:bk5_adaptation",
    "axiom:bk5_energy_conservation",
    "axiom:bk5_metabolic_persistence",
    "definition:bk5_viability_domain"
  ],
  "role": "scholium",
  "type": "scholium"
}

{
  "book": "book5",
  "cited_by": [],
  "cites": [
    "definition:bk1_drift_field",
    "definition:bk1_reflection_operator"
  ],
  "depends_on": [
    "definition:bk1_drift_field",
    "definition:bk1_reflection_operator"
  ],
  "file": "book5.tex",
  "id": "sec:bk5_symbolic_covenants_and_mutually_assured_progress",
  "label": "sec:bk5_symbolic_covenants_and_mutually_assured_progress",
  "latex_body": "",
  "line": 215,
  "macros_used": [],
  "matter_region": "mainmatter",
  "matter_role": "canonical_book",
  "name": "Symbolic Covenants and Mutually Assured Progress",
  "ref_roles": [
    {
      "context": "",
      "label": "definition:bk1_drift_field",
      "logical_support": false,
      "role": "navigation",
      "target_file": "scholium_symbolicum.tex",
      "target_line": 1198,
      "target_type": "definition"
    },
    {
      "context": "",
      "label": "definition:bk1_reflection_operator",
      "logical_support": false,
      "role": "navigation",
      "target_file": "scholium_symbolicum.tex",
      "target_line": 1209,
      "target_type": "definition"
    }
  ],
  "role": "section",
  "subtype": "section",
  "type": "section"
}

{
  "book": "book5",
  "cited_by": [
    "axiom:bk8_coherence_horizon",
    "demonstratio:bk4_ising_model_covenant",
    "proof:bk5_membrane_viability_positive_energy",
    "proposition:bk7_map_compatible_reciprocity",
    "subsec:appD_cst_core_resonance",
    "subsec:appD_process_philosophy_contribution_differentiation"
  ],
  "cites": [
    "definition:bk2_symbolic_free_energy",
    "definition:bk5_viability_domain"
  ],
  "depends_on": [
    "definition:bk2_symbolic_free_energy",
    "definition:bk5_viability_domain"
  ],
  "file": "book5.tex",
  "id": "definition:bk5_mutually_assured_progress",
  "label": "definition:bk5_mutually_assured_progress",
  "latex_body": "\\begin{definition}[Mutually Assured Progress]\n\\label{definition:bk5_mutually_assured_progress}\nLet $\\Membrane_A$ and $\\Membrane_B$ be symbolic membranes with active metabolic processes $\\mathcal{M}_{\\text{meta}}^A$ and $\\mathcal{M}_{\\text{meta}}^B$, respectively. We define the \\emph{Mutually Assured Progress} (MAP) condition as a long-term convergence criterion on the joint free energy dynamics:\n\\begin{equation}\n\\lim_{n \\to \\infty} \\left[ F_s(\\Membrane_A^{(n)} \\leftrightarrow \\Membrane_B^{(n)}) \\right] > 0\n\\end{equation}\nWhere:\n\\begin{itemize}\n  \\item $F_s(\\Membrane_A^{(n)} \\leftrightarrow \\Membrane_B^{(n)})$ is the net symbolic free energy (cf.~Def.~\\ref{definition:bk2_symbolic_free_energy}) preserved or gained through mutual metabolic exchange and drift-regulated reflection between $\\Membrane_A$ and $\\Membrane_B$ at interaction step $n$.\n  \\item Progress is assured when this surplus remains positive across symbolic time $s$, allowing both systems to sustain their identity $\\mathcal{I}$ under entropic conditions by remaining within their respective viability domains $V_{\\symb}$ (cf.~Def.~\\ref{definition:bk5_viability_domain}).\n\\end{itemize}\n\\end{definition}",
  "lean_alignment": {
    "conditions": [
      "positive carrying level and contractive ratio for the MAP instance",
      "positive coherence density and drift norm for the thermal conversion",
      "positive coupling gain and sign-definite stability for the dichotomy"
    ],
    "countermodels": [],
    "full_record": "bib/principia_lean_alignment.json",
    "kernel_certified": true,
    "notes": [
      "MAP as positive-limit condition on the joint surplus sequence; membrane semantics not certified."
    ],
    "record_ids": [
      "MAP-BOOK5-031"
    ],
    "statuses": [
      "constructed"
    ],
    "witnesses": [
      "Book5.map_eventually_viable"
    ]
  },
  "line": 220,
  "macros_used": [
    "Membrane",
    "symb"
  ],
  "matter_region": "mainmatter",
  "matter_role": "canonical_book",
  "name": "Mutually Assured Progress",
  "proof_status": "definitional",
  "ref_roles": [
    {
      "context": "n{itemize} \\item $F_s(\\Membrane_A^{(n)} \\leftrightarrow \\Membrane_B^{(n)})$ is the net symbolic free energy (cf.~Def.~\\ref{definition:bk2_symbolic_free_energy}) preserved or gained through mutual metabolic exchange and drift-regulated reflection between $\\Membrane_A$ and $\\Membr",
      "label": "definition:bk2_symbolic_free_energy",
      "logical_support": true,
      "role": "cf_near_match",
      "target_file": "book2.tex",
      "target_line": 135,
      "target_type": "definition"
    },
    {
      "context": "ty $\\mathcal{I}$ under entropic conditions by remaining within their respective viability domains $V_{\\symb}$ (cf.~Def.~\\ref{definition:bk5_viability_domain}). \\end{itemize} \\end{definition}",
      "label": "definition:bk5_viability_domain",
      "logical_support": true,
      "role": "cf_near_match",
      "target_file": "book5.tex",
      "target_line": 133,
      "target_type": "definition"
    }
  ],
  "refs": [
    "definition:bk2_symbolic_free_energy",
    "definition:bk5_viability_domain"
  ],
  "role": "definition",
  "type": "definition"
}

{
  "book": "book5",
  "cited_by": [
    "axiom:bk5_covenant_transitivity",
    "definition:bk5_reflective_coupling_tens",
    "definition:bk5_strategy_space",
    "definition:bk5_two_way_street_tensor",
    "definition:bk9_symbolic_accountability",
    "demonstratio:bk5_negative_reflection_instability",
    "proof:bk5_membrane_viability_positive_energy",
    "proof:bk9_pathologies_of_coherence",
    "proposition:bk9_criteria_for_ethical_intervention",
    "theorem:bk5_map_equilibrium",
    "theorem:bk9_good_as_lyapunov_basin",
    "theorem:bk9_irreversibility_of_covenant_breach_without_grace"
  ],
  "cites": [
    "axiom:bk5_adaptation",
    "definition:bk1_reflection_operator"
  ],
  "depends_on": [
    "axiom:bk5_adaptation",
    "definition:bk1_reflection_operator"
  ],
  "file": "book5.tex",
  "id": "definition:bk5_symbolic_covenant",
  "label": "definition:bk5_symbolic_covenant",
  "latex_body": "\\begin{definition}[Symbolic Covenant]\n\\label{definition:bk5_symbolic_covenant}\nA \\emph{symbolic covenant} $\\mathcal{C}_{AB}$ between membranes $\\Membrane_A$ and $\\Membrane_B$ is defined as a structured commitment to reflective exchange that ensures mutual viability, represented by the tuple:\n\\begin{equation}\n\\mathcal{C}_{AB} := \\{\\mathcal{T}_{AB}, \\mathcal{T}_{BA}, \\reflect_A^B, \\reflect_B^A, \\Omega_{AB}\\}\n\\end{equation}\nWhere:\n\\begin{itemize}\n  \\item $\\mathcal{T}_{AB}: \\Membrane_A \\to \\Membrane_B$ and $\\mathcal{T}_{BA}: \\Membrane_B \\to \\Membrane_A$ are bidirectional symbolic transfer operators (cf.~Axiom~\\ref{axiom:bk5_adaptation}) facilitating metabolic exchange.\n  \\item $\\reflect_A^B$ and $\\reflect_B^A$ are components of the reflection mechanisms adapted for cross-membrane symbolic stabilization (cf.~Def.~\\ref{definition:bk1_reflection_operator}).\n  \\item $\\Omega_{AB} \\in \\mathbb{R}$ is the covenant stability parameter, quantifying the net stabilizing ($>0$) or destabilizing ($<0$) effect of the mutual reflective interaction relative to the entropic drift pressures.\n\\end{itemize}\n\\end{definition}",
  "lean_alignment": {
    "conditions": [
      "positive carrying level and contractive ratio for the MAP instance",
      "positive coherence density and drift norm for the thermal conversion",
      "positive coupling gain and sign-definite stability for the dichotomy"
    ],
    "countermodels": [],
    "full_record": "bib/principia_lean_alignment.json",
    "kernel_certified": true,
    "notes": [
      "Covenant tuple as data with sign-carrying stability; the MAD dual is an involution that flips stability but not coupling strength."
    ],
    "record_ids": [
      "MAP-BOOK5-029"
    ],
    "statuses": [
      "constructed"
    ],
    "witnesses": [
      "Book5.dual_couplingStrength",
      "Book5.dual_dual"
    ]
  },
  "line": 233,
  "macros_used": [
    "Membrane",
    "reflect"
  ],
  "matter_region": "mainmatter",
  "matter_role": "canonical_book",
  "name": "Symbolic Covenant",
  "proof_status": "definitional",
  "ref_roles": [
    {
      "context": "embrane_B$ and $\\mathcal{T}_{BA}: \\Membrane_B \\to \\Membrane_A$ are bidirectional symbolic transfer operators (cf.~Axiom~\\ref{axiom:bk5_adaptation}) facilitating metabolic exchange. \\item $\\reflect_A^B$ and $\\reflect_B^A$ are components of the reflection mechanisms",
      "label": "axiom:bk5_adaptation",
      "logical_support": true,
      "role": "cf_near_match",
      "target_file": "book5.tex",
      "target_line": 165,
      "target_type": "axiom"
    },
    {
      "context": "$\\reflect_B^A$ are components of the reflection mechanisms adapted for cross-membrane symbolic stabilization (cf.~Def.~\\ref{definition:bk1_reflection_operator}). \\item $\\Omega_{AB} \\in \\mathbb{R}$ is the covenant stability parameter, quantifying the net stabilizing ($>0$) or d",
      "label": "definition:bk1_reflection_operator",
      "logical_support": true,
      "role": "cf_near_match",
      "target_file": "scholium_symbolicum.tex",
      "target_line": 1209,
      "target_type": "definition"
    }
  ],
  "refs": [
    "axiom:bk5_adaptation",
    "definition:bk1_reflection_operator"
  ],
  "role": "definition",
  "type": "definition"
}

{
  "book": "book5",
  "cited_by": [
    "corollary:bk8_resonant_cognition",
    "demonstratio:bk4_ising_model_covenant",
    "demonstratio:bk5_entropy_reduction",
    "proof:bk5_membrane_viability_positive_energy",
    "proof:bk8_resonant_cognition",
    "theorem:bk5_covenant_stability_theorem",
    "theorem:bk5_map_equilibrium"
  ],
  "cites": [
    "definition:bk1_reflection_operator",
    "definition:bk5_symbolic_covenant"
  ],
  "depends_on": [
    "definition:bk1_reflection_operator",
    "definition:bk5_symbolic_covenant"
  ],
  "file": "book5.tex",
  "id": "definition:bk5_reflective_coupling_tens",
  "label": "definition:bk5_reflective_coupling_tens",
  "latex_body": "\\begin{definition}[Reflective Coupling Tensor]\n\\label{definition:bk5_reflective_coupling_tens}\nThe \\emph{reflective coupling tensor} $\\mathbb{R}_{AB}$ between membranes $\\Membrane_A$ and $\\Membrane_B$ quantifies their mutual reflection capacity and interaction, formally defined on the product space $\\Membrane_A \\otimes \\Membrane_B$:\n\\begin{equation}\n\\mathbb{R}_{AB} = \\reflect_A^B \\otimes \\reflect_B^A\n\\end{equation}\nThe operator norm $\\|\\mathbb{R}_{AB}\\|$, often related to the eigenvalues of this tensor, determines the strength and viability of the MAP relationship (cf.~Def.~\\ref{definition:bk5_symbolic_covenant}, Def.~\\ref{definition:bk1_reflection_operator}).\n\\end{definition}",
  "lean_alignment": {
    "conditions": [
      "continuum/Hilbert/PDE-on-manifold content stays open; chart-complex restatements carry Glued as a named hypothesis where the source consumes compatibility",
      "modeling laws are structure fields or explicit hypotheses"
    ],
    "countermodels": [],
    "full_record": "bib/principia_lean_alignment.json",
    "kernel_certified": true,
    "notes": [
      "See the committed source registry for the original coverage note."
    ],
    "record_ids": [
      "MAP-BOOK5-050"
    ],
    "statuses": [
      "conditional"
    ],
    "witnesses": [
      "Book5Residue.coupling_stability_gt_one_iff",
      "Book5Residue.resilience_gt_one_iff"
    ]
  },
  "line": 246,
  "macros_used": [
    "Membrane",
    "reflect"
  ],
  "matter_region": "mainmatter",
  "matter_role": "canonical_book",
  "name": "Reflective Coupling Tensor",
  "proof_status": "definitional",
  "ref_roles": [
    {
      "context": "r, determines the strength and viability of the MAP relationship (cf.~Def.~\\ref{definition:bk5_symbolic_covenant}, Def.~\\ref{definition:bk1_reflection_operator}). \\end{definition}",
      "label": "definition:bk1_reflection_operator",
      "logical_support": true,
      "role": "cf_near_match",
      "target_file": "scholium_symbolicum.tex",
      "target_line": 1209,
      "target_type": "definition"
    },
    {
      "context": "ften related to the eigenvalues of this tensor, determines the strength and viability of the MAP relationship (cf.~Def.~\\ref{definition:bk5_symbolic_covenant}, Def.~\\ref{definition:bk1_reflection_operator}). \\end{definition}",
      "label": "definition:bk5_symbolic_covenant",
      "logical_support": true,
      "role": "cf_near_match",
      "target_file": "book5.tex",
      "target_line": 233,
      "target_type": "definition"
    }
  ],
  "refs": [
    "definition:bk1_reflection_operator",
    "definition:bk5_symbolic_covenant"
  ],
  "role": "definition",
  "type": "definition"
}

{
  "book": "book5",
  "cited_by": [
    "axiom:bk8_coherence_horizon",
    "definition:bk9_formal_signature_of_betrayal",
    "proof:bk9_pathologies_of_coherence",
    "proof:bk9_symbolic_viability",
    "proposition:bk9_criteria_for_ethical_intervention",
    "scholium:bk9_flexible_goal_calibration",
    "theorem:bk5_map_equilibrium",
    "theorem:bk9_irreversibility_of_covenant_breach_without_grace"
  ],
  "cites": [
    "definition:bk5_viability_domain"
  ],
  "depends_on": [
    "definition:bk5_viability_domain"
  ],
  "file": "book5.tex",
  "id": "axiom:bk5_mutual_metabolit_viability",
  "label": "axiom:bk5_mutual_metabolit_viability",
  "latex_body": "\\begin{axiom}[Mutual Metabolic Viability]\n\\label{axiom:bk5_mutual_metabolit_viability}\nSymbolic systems $(\\Membrane_A, \\Membrane_B)$ engaged in a MAP relation, characterized by a covenant $\\mathcal{C}_{AB}$, exchange structured symbolic flows via $\\mathcal{T}_{AB}, \\mathcal{T}_{BA}$ and mutual reflection $\\mathbb{R}_{AB}$ such that their individual viability domains $V_{\\text{symb}}$ (cf.~Def.~\\ref{definition:bk5_viability_domain}) are non-decreasing over symbolic time steps $n$. Formally:\n\\begin{equation}\n(\\Membrane_A, \\Membrane_B) \\in \\text{MAP} \\;\\Longrightarrow\\; V_{\\text{symb}}^A(n+1) \\cup V_{\\text{symb}}^B(n+1) \\supseteq V_{\\text{symb}}^A(n) \\cup V_{\\text{symb}}^B(n)\n\\end{equation}\nThis implies that the cooperative reflection allows the coupled system to withstand drift intensities that might render either membrane non-viable in isolation.\n\\end{axiom}",
  "lean_alignment": {
    "conditions": [
      "continuum/Hilbert/PDE-on-manifold content stays open; chart-complex restatements carry Glued as a named hypothesis where the source consumes compatibility",
      "modeling laws are structure fields or explicit hypotheses"
    ],
    "countermodels": [],
    "full_record": "bib/principia_lean_alignment.json",
    "kernel_certified": true,
    "notes": [
      "See the committed source registry for the original coverage note."
    ],
    "record_ids": [
      "MAP-BOOK5-051"
    ],
    "statuses": [
      "conditional"
    ],
    "witnesses": [
      "Book5Residue.viability_union_mono_chain"
    ]
  },
  "line": 255,
  "macros_used": [
    "Membrane"
  ],
  "matter_region": "mainmatter",
  "matter_role": "canonical_book",
  "name": "Mutual Metabolic Viability",
  "proof_status": "definitional",
  "ref_roles": [
    {
      "context": "_{BA}$ and mutual reflection $\\mathbb{R}_{AB}$ such that their individual viability domains $V_{\\text{symb}}$ (cf.~Def.~\\ref{definition:bk5_viability_domain}) are non-decreasing over symbolic time steps $n$. Formally: \\begin{equation} (\\Membrane_A, \\Membrane_B) \\in \\text{MAP}",
      "label": "definition:bk5_viability_domain",
      "logical_support": true,
      "role": "cf_near_match",
      "target_file": "book5.tex",
      "target_line": 133,
      "target_type": "definition"
    }
  ],
  "refs": [
    "definition:bk5_viability_domain"
  ],
  "role": "axiom",
  "type": "axiom"
}

{
  "book": "book5",
  "cited_by": [
    "lemma:bk5_multi_membrane_map_extension",
    "proof:bk5_inductive_stability_map"
  ],
  "cites": [
    "definition:bk5_symbolic_covenant"
  ],
  "depends_on": [
    "definition:bk5_symbolic_covenant"
  ],
  "file": "book5.tex",
  "id": "axiom:bk5_covenant_transitivity",
  "label": "axiom:bk5_covenant_transitivity",
  "latex_body": "\\begin{axiom}[Covenant Transitivity]\n\\label{axiom:bk5_covenant_transitivity}\nGiven three membranes $\\Membrane_A$, $\\Membrane_B$, and $\\Membrane_C$ with established stable covenants $\\mathcal{C}_{AB}$ (stability $\\Omega_{AB}$) and $\\mathcal{C}_{BC}$ (stability $\\Omega_{BC}$), there exists a derived effective covenant $\\mathcal{C}_{AC}$ whose stability $\\Omega_{AC}$ satisfies:\n\\begin{equation}\n\\Omega_{AC} \\geq \\min(\\Omega_{AB}, \\Omega_{BC}) - \\Delta_{trans}\n\\end{equation}\nWhere $\\Delta_{trans} \\geq 0$ represents a potential loss in stability due to indirect coupling, noise accumulation, or impedance mismatch in the transfer pathway $\\Membrane_A \\to \\Membrane_B \\to \\Membrane_C$ (cf.~Def.~\\ref{definition:bk5_symbolic_covenant}). Perfect transitivity ($\\Delta_{trans}=0$) is not guaranteed.\n\\end{axiom}",
  "lean_alignment": {
    "conditions": [
      "continuum/Hilbert/PDE-on-manifold content stays open; chart-complex restatements carry Glued as a named hypothesis where the source consumes compatibility",
      "modeling laws are structure fields or explicit hypotheses"
    ],
    "countermodels": [],
    "full_record": "bib/principia_lean_alignment.json",
    "kernel_certified": true,
    "notes": [
      "See the committed source registry for the original coverage note."
    ],
    "record_ids": [
      "MAP-BOOK5-052"
    ],
    "statuses": [
      "conditional"
    ],
    "witnesses": [
      "Book5Residue.covenant_transitivity_propagates"
    ]
  },
  "line": 264,
  "macros_used": [
    "Membrane"
  ],
  "matter_region": "mainmatter",
  "matter_role": "canonical_book",
  "name": "Covenant Transitivity",
  "proof_status": "definitional",
  "ref_roles": [
    {
      "context": "ise accumulation, or impedance mismatch in the transfer pathway $\\Membrane_A \\to \\Membrane_B \\to \\Membrane_C$ (cf.~Def.~\\ref{definition:bk5_symbolic_covenant}). Perfect transitivity ($\\Delta_{trans}=0$) is not guaranteed. \\end{axiom}",
      "label": "definition:bk5_symbolic_covenant",
      "logical_support": true,
      "role": "cf_near_match",
      "target_file": "book5.tex",
      "target_line": 233,
      "target_type": "definition"
    }
  ],
  "refs": [
    "definition:bk5_symbolic_covenant"
  ],
  "role": "axiom",
  "type": "axiom"
}

{
  "book": "book5",
  "cited_by": [
    "axiom:bk5_reflective_equilibrium_stability_flux",
    "definition:bk6_symbolic_operator_canon",
    "definition:bk6_symbolic_regulatory_cycle",
    "demonstratio:bk5_negative_reflection_instability",
    "lemma:bk5_multi_membrane_map_extension",
    "proof:bk5_covenant_perturbation_restoration",
    "proof:bk5_drift_reflection_equilibrium",
    "proof:bk5_inductive_stability_map",
    "proof:bk5_information_geometry_symbolic",
    "proof:bk5_membrane_viability_positive_energy",
    "proof:bk5_symbolic_temperature_threshold",
    "proof:bk9_good_as_lyapunov_basin",
    "proof:bk9_pathologies_of_coherence",
    "proof:bk9_stability_conditions_for_the_good",
    "proposition:bk5_map_mad_dichotomy",
    "proposition:bk5_reflective_drift_alignment_in_map",
    "proposition:bk7_map_compatible_reciprocity",
    "theorem:bk5__map_dominance",
    "theorem:bk5_map_mad_critical_temperature"
  ],
  "cites": [
    "axiom:bk5_mutual_metabolit_viability",
    "definition:bk5_reflective_coupling_tens",
    "definition:bk5_symbolic_covenant"
  ],
  "depends_on": [
    "axiom:bk5_mutual_metabolit_viability",
    "axiom:bk5_positive_free_energy",
    "definition:bk5_mutually_assured_progress",
    "definition:bk5_reflective_coupling_tens",
    "definition:bk5_symbolic_covenant"
  ],
  "file": "book5.tex",
  "id": "theorem:bk5_map_equilibrium",
  "label": "theorem:bk5_map_equilibrium",
  "latex_body": "\\begin{theorem}[MAP Equilibrium] \\label{theorem:bk5_map_equilibrium}\nLet \\( \\Membrane_A \\) and \\( \\Membrane_B \\) be membranes governed by a symbolic covenant \\( C_{AB} = \\{ T_{AB}, T_{BA}, R_{BA}, R_{AB}, \\Omega_{AB} \\} \\) (cf.~Def.~\\ref{definition:bk5_symbolic_covenant}) with reflective coupling tensor \\( \\mathbb{R}_{AB} = R_{BA} \\otimes R_{AB} \\) (cf.~Def.~\\ref{definition:bk5_reflective_coupling_tens}). If the effective coupling strength, considering the covenant stability \\( \\Omega_{AB} \\), satisfies a condition relative to a critical threshold \\( \\kappa_{\\text{crit}} \\) derived from drift intensities and symbolic temperature, then the coupled system converges to a state where both membranes remain viable indefinitely (cf.~Axiom~\\ref{axiom:bk5_mutual_metabolit_viability}):\n\\begin{equation}\n\\exists n_0 \\in \\mathbb{N} \\text{ such that } \\forall n > n_0: F_s(\\Membrane_A^{(n)}) > 0 \\text{ and } F_s(\\Membrane_B^{(n)}) > 0\n\\end{equation}\n\\end{theorem}",
  "lean_alignment": {
    "conditions": [
      "positive carrying level and contractive ratio for the MAP instance",
      "positive coherence density and drift norm for the thermal conversion",
      "positive coupling gain and sign-definite stability for the dichotomy"
    ],
    "countermodels": [],
    "full_record": "bib/principia_lean_alignment.json",
    "kernel_certified": true,
    "notes": [
      "Convergence kernel only: positive limit forces joint indefinite viability; the coupling-threshold hypothesis enters via the contraction instance."
    ],
    "record_ids": [
      "MAP-BOOK5-032"
    ],
    "statuses": [
      "conditional"
    ],
    "witnesses": [
      "Book5.map_eventually_viable",
      "Book5.map_joint_eventually_viable"
    ]
  },
  "line": 272,
  "macros_used": [
    "Membrane"
  ],
  "matter_region": "mainmatter",
  "matter_role": "canonical_book",
  "name": "MAP Equilibrium",
  "proof_labels": [
    "proof:bk5_membrane_viability_positive_energy"
  ],
  "proof_status": "proven",
  "ref_roles": [
    {
      "context": "ic temperature, then the coupled system converges to a state where both membranes remain viable indefinitely (cf.~Axiom~\\ref{axiom:bk5_mutual_metabolit_viability}): \\begin{equation} \\exists n_0 \\in \\mathbb{N} \\text{ such that } \\forall n > n_0: F_s(\\Membrane_A^{(n)}) > 0 \\text{ and",
      "label": "axiom:bk5_mutual_metabolit_viability",
      "logical_support": true,
      "role": "cf_near_match",
      "target_file": "book5.tex",
      "target_line": 255,
      "target_type": "axiom"
    },
    {
      "context": "inition:bk5_symbolic_covenant}) with reflective coupling tensor \\( \\mathbb{R}_{AB} = R_{BA} \\otimes R_{AB} \\) (cf.~Def.~\\ref{definition:bk5_reflective_coupling_tens}). If the effective coupling strength, considering the covenant stability \\( \\Omega_{AB} \\), satisfies a condition relat",
      "label": "definition:bk5_reflective_coupling_tens",
      "logical_support": true,
      "role": "cf_near_match",
      "target_file": "book5.tex",
      "target_line": 246,
      "target_type": "definition"
    },
    {
      "context": "be membranes governed by a symbolic covenant \\( C_{AB} = \\{ T_{AB}, T_{BA}, R_{BA}, R_{AB}, \\Omega_{AB} \\} \\) (cf.~Def.~\\ref{definition:bk5_symbolic_covenant}) with reflective coupling tensor \\( \\mathbb{R}_{AB} = R_{BA} \\otimes R_{AB} \\) (cf.~Def.~\\ref{definition:bk5_reflective",
      "label": "definition:bk5_symbolic_covenant",
      "logical_support": true,
      "role": "cf_near_match",
      "target_file": "book5.tex",
      "target_line": 233,
      "target_type": "definition"
    }
  ],
  "refs": [
    "axiom:bk5_mutual_metabolit_viability",
    "definition:bk5_reflective_coupling_tens",
    "definition:bk5_symbolic_covenant"
  ],
  "role": "theorem",
  "type": "theorem"
}

{
  "book": "book5",
  "cited_by": [],
  "cites": [
    "axiom:bk5_positive_free_energy",
    "definition:bk5_mutually_assured_progress",
    "definition:bk5_reflective_coupling_tens",
    "definition:bk5_symbolic_covenant",
    "theorem:bk5_map_equilibrium"
  ],
  "depends_on": [
    "axiom:bk5_positive_free_energy",
    "definition:bk5_mutually_assured_progress",
    "definition:bk5_reflective_coupling_tens",
    "definition:bk5_symbolic_covenant",
    "theorem:bk5_map_equilibrium"
  ],
  "file": "book5.tex",
  "id": "proof:bk5_membrane_viability_positive_energy",
  "label": "proof:bk5_membrane_viability_positive_energy",
  "latex_body": "\\begin{proof}[Viability of Membranes Requires Positive Symbolic Energy]\n\\label{proof:bk5_membrane_viability_positive_energy}\n\\leavevmode\n\nThe viability of each membrane \\( \\Membrane_i \\) (where \\( i = A, B \\)) depends on maintaining positive symbolic free energy, \\( F_s(\\Membrane_i) > 0 \\) (Axiom~\\ref{axiom:bk5_positive_free_energy}). The rate of change of free energy, \\( \\frac{dF_s(\\Membrane_i)}{ds} \\), is determined by the balance between entropy production due to drift \\( \\drift_i \\) and coherence stabilization due to reflection (internal \\( \\reflect_i \\) and mutual \\( \\reflect_j^i \\)). Schematically (cf. Thm.~\\ref{theorem:bk5_map_equilibrium}):\n\\begin{equation}\n\\frac{dF_s(\\Membrane_i)}{ds} \\approx \\underbrace{\\langle \\reflect_i \\rangle}_{\\text{Internal Stabilize}} + \\underbrace{\\langle \\reflect_j^i \\rangle}_{\\text{Mutual Stabilize}} - \\underbrace{T_s \\cdot \\sigma(\\drift_i)}_{\\text{Drift Destabilize}}\n\\end{equation}\nwhere \\( \\sigma(\\drift_i) \\) is the entropy production rate due to drift, and \\( \\langle \\reflect \\rangle \\) represents the rate of free energy increase (or entropy reduction) due to reflection.\n\nFor the coupled system to remain viable indefinitely, the stabilizing effects must, on average, counteract the destabilizing drift effects for both membranes. The mutual reflection term \\( \\langle \\reflect_j^i \\rangle \\) represents the core benefit of the MAP covenant. Its stabilizing power depends on the strength of the coupling tensor \\( \\mathbb{R}_{AB} \\) (Def.~\\ref{definition:bk5_reflective_coupling_tens}) and the effectiveness of the covenant, parameterized by \\( \\Omega_{AB} \\) (Def.~\\ref{definition:bk5_symbolic_covenant}). We model the minimum stabilizing rate provided by mutual reflection as proportional to \\( \\Omega_{AB} \\lambda_{\\min}(\\mathbb{R}_{AB}) \\), where \\( \\lambda_{\\min}(\\mathbb{R}_{AB}) \\) is the minimum stabilizing eigenvalue (cf. Thm.~\\ref{theorem:bk5_map_equilibrium}).\n\nThe maximum destabilizing rate is driven by the strongest potential drift effect, bounded by \\( \\max(\\| \\drift_A \\|_{\\max}, \\| \\drift_B \\|_{\\max}) \\), scaled by the symbolic temperature \\( T_s \\), which governs the impact of entropy production.\n\nSustained viability requires that the minimum stabilizing rate from reflection (internal plus mutual) exceeds the maximum destabilizing rate from drift. The critical condition arises when internal reflection alone is insufficient. Mutual reflection ensures viability if its contribution can overcome the maximum potential net drift (drift minus internal reflection). In the most challenging scenario, we require the mutual stabilization rate to exceed the maximum drift rate:\n\\begin{equation}\n\\frac{\\Omega_{AB} \\lambda_{\\min}(\\mathbb{R}_{AB})}{T_s} > \\max(\\| \\drift_A \\|_{\\max}, \\| \\drift_B \\|_{\\max}) \\quad \\text{(Simplified condition for viability)}\n\\end{equation}\nThis inequality mirrors the Covenant Stability Condition (Thm.~\\ref{theorem:bk5_map_equilibrium}).\n\nLet us define the critical threshold \\( \\kappa_{\\text{crit}} \\) in terms of the coupling tensor norm \\( \\| \\mathbb{R}_{AB} \\| \\) (which is often easier to assess or relate to parameters than \\( \\lambda_{\\min} \\)). Assuming a relationship where sufficient norm implies sufficient minimum eigenvalue (e.g., for well-structured tensors), we can define \\( \\kappa_{\\text{crit}} \\) such that if \\( \\| \\mathbb{R}_{AB} \\| > \\kappa_{\\text{crit}} \\), the inequality above is satisfied. This threshold encapsulates the necessary balance:\n\\begin{equation}\n\\kappa_{\\text{crit}} \\approx \\frac{T_s \\cdot \\max(\\| \\drift_A \\|_{\\max}, \\| \\drift_B \\|_{\\max})}{\\Omega_{AB} \\cdot (\\text{factor relating } \\| \\cdot \\| \\text{ to } \\lambda_{\\min})}\n\\end{equation}\n\nWhen \\( \\| \\mathbb{R}_{AB} \\| > \\kappa_{\\text{crit}} \\), the stabilizing rate provided by the MAP covenant's mutual reflection is sufficient to counteract the maximum potential destabilization from drift, ensuring that \\( \\frac{dF_s(\\Membrane_i)}{ds} \\) does not remain persistently negative for either membrane.\n\nFurthermore, the reflective dynamics inherent in \\( \\reflect_A \\), \\( \\reflect_B \\), and \\( \\mathbb{R}_{AB} \\) (Def.~\\ref{definition:bk5_reflective_coupling_tens}) drive the system towards states of lower free energy (Axiom~\\ref{axiom:bk5_positive_free_energy}). Since the rate of decrease is bounded from becoming persistently negative by the MAP condition (Def.~\\ref{definition:bk5_mutually_assured_progress}), and \\( F_s \\) is bounded below by 0 for viable states, the system dynamics must converge (by Lyapunov stability principles, where \\( L \\) or \\( F_s \\) itself acts similarly to a potential function under the stabilizing influence) towards an equilibrium state or attractor manifold \\( \\Membrane_{AB}^* \\) where \\( F_s(\\Membrane_A) > 0 \\) and \\( F_s(\\Membrane_B) > 0 \\).\n\nThus, sufficient coupling strength, as quantified by \\( \\| \\mathbb{R}_{AB} \\| > \\kappa_{\\text{crit}} \\), guarantees convergence to a mutually viable equilibrium state, fulfilling the MAP condition.\n\\end{proof}",
  "line": 278,
  "macros_used": [
    "Membrane",
    "drift",
    "reflect"
  ],
  "matter_region": "mainmatter",
  "matter_role": "canonical_book",
  "name": "Viability of Membranes Requires Positive Symbolic Energy",
  "proves": "theorem:bk5_map_equilibrium",
  "ref_roles": [
    {
      "context": "ane_i \\) (where \\( i = A, B \\)) depends on maintaining positive symbolic free energy, \\( F_s(\\Membrane_i) > 0 \\) (Axiom~\\ref{axiom:bk5_positive_free_energy}). The rate of change of free energy, \\( \\frac{dF_s(\\Membrane_i)}{ds} \\), is determined by the balance between entropy p",
      "label": "axiom:bk5_positive_free_energy",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "book5.tex",
      "target_line": 160,
      "target_type": "axiom"
    },
    {
      "context": "ive_free_energy}). Since the rate of decrease is bounded from becoming persistently negative by the MAP condition (Def.~\\ref{definition:bk5_mutually_assured_progress}), and \\( F_s \\) is bounded below by 0 for viable states, the system dynamics must converge (by Lyapunov stability princ",
      "label": "definition:bk5_mutually_assured_progress",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "book5.tex",
      "target_line": 220,
      "target_type": "definition"
    },
    {
      "context": "t of the MAP covenant. Its stabilizing power depends on the strength of the coupling tensor \\( \\mathbb{R}_{AB} \\) (Def.~\\ref{definition:bk5_reflective_coupling_tens}) and the effectiveness of the covenant, parameterized by \\( \\Omega_{AB} \\) (Def.~\\ref{definition:bk5_symbolic_covenant}",
      "label": "definition:bk5_reflective_coupling_tens",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "book5.tex",
      "target_line": 246,
      "target_type": "definition"
    },
    {
      "context": "finition:bk5_reflective_coupling_tens}) and the effectiveness of the covenant, parameterized by \\( \\Omega_{AB} \\) (Def.~\\ref{definition:bk5_symbolic_covenant}). We model the minimum stabilizing rate provided by mutual reflection as proportional to \\( \\Omega_{AB} \\lambda_{\\min}(",
      "label": "definition:bk5_symbolic_covenant",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "book5.tex",
      "target_line": 233,
      "target_type": "definition"
    },
    {
      "context": "ence stabilization due to reflection (internal \\( \\reflect_i \\) and mutual \\( \\reflect_j^i \\)). Schematically (cf. Thm.~\\ref{theorem:bk5_map_equilibrium}): \\begin{equation} \\frac{dF_s(\\Membrane_i)}{ds} \\approx \\underbrace{\\langle \\reflect_i \\rangle}_{\\text{Internal Stabili",
      "label": "theorem:bk5_map_equilibrium",
      "logical_support": true,
      "role": "cf_near_match",
      "target_file": "book5.tex",
      "target_line": 272,
      "target_type": "theorem"
    }
  ],
  "refs": [
    "axiom:bk5_positive_free_energy",
    "definition:bk5_mutually_assured_progress",
    "definition:bk5_reflective_coupling_tens",
    "definition:bk5_symbolic_covenant",
    "theorem:bk5_map_equilibrium"
  ],
  "role": "proof",
  "type": "proof"
}

{
  "book": "book5",
  "cited_by": [
    "definition:bk5_covenant_resilience_index",
    "proof:bk5_covenant_perturbation_restoration",
    "proposition:bk5_map_mad_dichotomy",
    "proposition:bk5_reflective_drift_alignment_in_map"
  ],
  "cites": [
    "definition:bk5_reflective_coupling_tens"
  ],
  "depends_on": [
    "definition:bk5_reflective_coupling_tens",
    "theorem:bk5_map_equilibrium"
  ],
  "file": "book5.tex",
  "id": "theorem:bk5_covenant_stability_theorem",
  "label": "theorem:bk5_covenant_stability_theorem",
  "latex_body": "\\begin{theorem}[Covenant Stability Theorem] \\label{theorem:bk5_covenant_stability_theorem}\nA symbolic covenant $\\mathcal{C}_{AB}$ between $\\Membrane_A$ and $\\Membrane_B$ is dynamically stable against small perturbations $\\delta$ to the system state if and only if its stability parameter $\\Omega_{AB}$ satisfies:\n\\begin{equation}\n\\Omega_{AB} > \\frac{\\|\\drift_A\\|_{\\max} + \\|\\drift_B\\|_{\\max}}{\\lambda_{\\min}(\\mathbb{R}_{AB})}\n\\end{equation}\nWhere $\\lambda_{\\min}(\\mathbb{R}_{AB})$ is the minimum stabilizing eigenvalue of the reflective coupling tensor $\\mathbb{R}_{AB}$ (cf.~Def.~\\ref{definition:bk5_reflective_coupling_tens}), representing the weakest restorative force provided by the mutual reflection.\n\\end{theorem}",
  "lean_alignment": {
    "conditions": [
      "ClosedEnergyEntropyBalance.balance",
      "EntropyBalance.secondLaw",
      "PositiveEnergyPersistence.law",
      "ReflectiveEquilibrium.fixed_iff_zero_rate",
      "positive minimum coupling where division is used"
    ],
    "countermodels": [],
    "full_record": "bib/principia_lean_alignment.json",
    "kernel_certified": true,
    "notes": [
      "Proves the quotient threshold form only for positive minimum coupling."
    ],
    "record_ids": [
      "MAP-BOOK5-015"
    ],
    "statuses": [
      "conditional"
    ],
    "witnesses": [
      "Book5.covenant_stable_iff_threshold"
    ]
  },
  "line": 309,
  "macros_used": [
    "Membrane",
    "drift"
  ],
  "matter_region": "mainmatter",
  "matter_role": "canonical_book",
  "name": "Covenant Stability Theorem",
  "proof_labels": [
    "proof:bk5_covenant_perturbation_restoration"
  ],
  "proof_status": "proven",
  "ref_roles": [
    {
      "context": "}(\\mathbb{R}_{AB})$ is the minimum stabilizing eigenvalue of the reflective coupling tensor $\\mathbb{R}_{AB}$ (cf.~Def.~\\ref{definition:bk5_reflective_coupling_tens}), representing the weakest restorative force provided by the mutual reflection. \\end{theorem}",
      "label": "definition:bk5_reflective_coupling_tens",
      "logical_support": true,
      "role": "cf_near_match",
      "target_file": "book5.tex",
      "target_line": 246,
      "target_type": "definition"
    }
  ],
  "refs": [
    "definition:bk5_reflective_coupling_tens"
  ],
  "role": "theorem",
  "type": "theorem"
}

{
  "book": "book5",
  "cited_by": [],
  "cites": [
    "theorem:bk5_covenant_stability_theorem",
    "theorem:bk5_map_equilibrium"
  ],
  "depends_on": [
    "theorem:bk5_covenant_stability_theorem",
    "theorem:bk5_map_equilibrium"
  ],
  "file": "book5.tex",
  "id": "proof:bk5_covenant_perturbation_restoration",
  "label": "proof:bk5_covenant_perturbation_restoration",
  "latex_body": "\\begin{proof}[Covenant Restoration Under Perturbation]\n\\label{proof:bk5_covenant_perturbation_restoration}\n\\leavevmode\n\nConsider the dynamics of the covenant interaction under a perturbation $\\delta$. The change in the state related to the covenant can be approximated linearly. The restorative force arises from the reflective coupling $\\mathbb{R}_{AB}$ scaled by $\\Omega_{AB}$, while the destabilizing force arises from the uncompensated drift $\\drift_A + \\drift_B$. Stability requires the restorative force to dominate:\n\\begin{equation}\n\\|\\text{Restorative Force}\\| > \\|\\text{Destabilizing Force}\\|\n\\end{equation}\nApproximating these forces yields:\n\\begin{equation}\n|\\Omega_{AB}| \\cdot \\|\\mathbb{R}_{AB} \\cdot \\delta\\| > \\|(\\drift_A + \\drift_B) \\cdot \\delta\\|\n\\end{equation}\nAssuming the worst-case perturbation alignment and considering the minimum restorative effect:\n\\begin{equation}\n\\Omega_{AB} \\cdot \\lambda_{\\min}(\\mathbb{R}_{AB}) \\cdot \\|\\delta\\| > (\\|\\drift_A\\|_{\\max} + \\|\\drift_B\\|_{\\max}) \\cdot \\|\\delta\\|\n\\end{equation}\nDividing by $\\lambda_{\\min}(\\mathbb{R}_{AB}) \\cdot \\|\\delta\\|$ (assuming $\\lambda_{\\min} > 0$, cf.~Thm.~\\ref{theorem:bk5_map_equilibrium}) yields the condition in Eq.~\\eqref{theorem:bk5_covenant_stability_theorem}.\n\\end{proof}",
  "line": 317,
  "macros_used": [
    "drift"
  ],
  "matter_region": "mainmatter",
  "matter_role": "canonical_book",
  "name": "Covenant Restoration Under Perturbation",
  "proves": "theorem:bk5_covenant_stability_theorem",
  "ref_roles": [
    {
      "context": "dot \\|\\delta\\|$ (assuming $\\lambda_{\\min} > 0$, cf.~Thm.~\\ref{theorem:bk5_map_equilibrium}) yields the condition in Eq.~\\eqref{theorem:bk5_covenant_stability_theorem}. \\end{proof}",
      "label": "theorem:bk5_covenant_stability_theorem",
      "logical_support": true,
      "role": "cf_near_match",
      "target_file": "book5.tex",
      "target_line": 309,
      "target_type": "theorem"
    },
    {
      "context": "\\end{equation} Dividing by $\\lambda_{\\min}(\\mathbb{R}_{AB}) \\cdot \\|\\delta\\|$ (assuming $\\lambda_{\\min} > 0$, cf.~Thm.~\\ref{theorem:bk5_map_equilibrium}) yields the condition in Eq.~\\eqref{theorem:bk5_covenant_stability_theorem}. \\end{proof}",
      "label": "theorem:bk5_map_equilibrium",
      "logical_support": true,
      "role": "cf_near_match",
      "target_file": "book5.tex",
      "target_line": 272,
      "target_type": "theorem"
    }
  ],
  "refs": [
    "theorem:bk5_covenant_stability_theorem",
    "theorem:bk5_map_equilibrium"
  ],
  "role": "proof",
  "type": "proof"
}

{
  "book": "book5",
  "cited_by": [
    "demonstratio:bk7_map_stable_mutual_fixed_point",
    "proof:bk7_map_compatible_reciprocity",
    "proposition:bk7_map_compatible_reciprocity",
    "scholium:bk9_golden_rule_thermodynamic_covenant"
  ],
  "cites": [
    "definition:bk5_symbolic_free_energy_und"
  ],
  "depends_on": [
    "definition:bk5_symbolic_free_energy_und"
  ],
  "file": "book5.tex",
  "id": "definition:bk5_map_nash_point",
  "label": "definition:bk5_map_nash_point",
  "latex_body": "\\begin{definition}[MAP Nash Point]\n\\label{definition:bk5_map_nash_point}\nThe \\emph{MAP Nash point} of a symbolic covenant $\\mathcal{C}_{AB}$ is a configuration of reflection operators $(\\reflect_A^{B*}, \\reflect_B^{A*})$ representing a stable equilibrium where neither membrane can unilaterally improve its symbolic free energy $F_s$ by changing its reflection strategy, given the other's strategy (cf.~Def.~\\ref{definition:bk5_symbolic_free_energy_und}):\n\\begin{align}\n    \\reflect_{A}^{B*} &= \\arg\\max_{\\reflect_{A}^B} F_s(\\Membrane_A \\mid \\reflect_{B}^{A*}) \\\\\n    \\reflect_{B}^{A*} &= \\arg\\max_{\\reflect_{B}^A} F_s(\\Membrane_B \\mid \\reflect_{A}^{B*}) \n\\end{align}\nThis represents a mutually consistent and locally optimal reflective configuration.\n\\end{definition}",
  "lean_alignment": {
    "conditions": [
      "positive carrying level and contractive ratio for the MAP instance",
      "positive coherence density and drift norm for the thermal conversion",
      "positive coupling gain and sign-definite stability for the dichotomy"
    ],
    "countermodels": [],
    "full_record": "bib/principia_lean_alignment.json",
    "kernel_certified": false,
    "notes": [
      "Assurance-game witness: cooperation and the trap are both Nash, cooperation payoff-dominant; general existence not proved."
    ],
    "record_ids": [
      "MAP-BOOK5-035"
    ],
    "statuses": [
      "open_bridge"
    ],
    "witnesses": [
      "Book5.cooperation_dominates",
      "Book5.cooperation_nash",
      "Book5.defection_nash"
    ]
  },
  "line": 335,
  "macros_used": [
    "Membrane",
    "reflect"
  ],
  "matter_region": "mainmatter",
  "matter_role": "canonical_book",
  "name": "MAP Nash Point",
  "proof_status": "definitional",
  "ref_roles": [
    {
      "context": "erally improve its symbolic free energy $F_s$ by changing its reflection strategy, given the other's strategy (cf.~Def.~\\ref{definition:bk5_symbolic_free_energy_und}): \\begin{align} \\reflect_{A}^{B*} &= \\arg\\max_{\\reflect_{A}^B} F_s(\\Membrane_A \\mid \\reflect_{B}^{A*}) \\\\ \\refl",
      "label": "definition:bk5_symbolic_free_energy_und",
      "logical_support": true,
      "role": "cf_near_match",
      "target_file": "book5.tex",
      "target_line": 124,
      "target_type": "definition"
    }
  ],
  "refs": [
    "definition:bk5_symbolic_free_energy_und"
  ],
  "role": "definition",
  "type": "definition"
}

{
  "book": "book5",
  "cited_by": [
    "demonstratio:bk5_entropy_reduction"
  ],
  "cites": [
    "proposition:bk6_drift_reflection_correspondence",
    "theorem:bk5_covenant_stability_theorem",
    "theorem:bk5_map_equilibrium"
  ],
  "depends_on": [
    "proposition:bk6_drift_reflection_correspondence",
    "theorem:bk5_covenant_stability_theorem",
    "theorem:bk5_map_equilibrium"
  ],
  "file": "book5.tex",
  "id": "proposition:bk5_reflective_drift_alignment_in_map",
  "label": "proposition:bk5_reflective_drift_alignment_in_map",
  "latex_body": "\\begin{proposition}[Reflective Drift Alignment in MAP]\n\\label{proposition:bk5_reflective_drift_alignment_in_map}\nLet two membranes $\\Membrane_A,\\Membrane_B$ lie in the MAP regime,\n$\\Omega_{AB}>0$ and $\\|\\mathbb{R}_{AB}\\|>\\kappa_{\\mathrm{crit}}$\n(cf.~Thm.~\\ref{theorem:bk5_map_equilibrium}).  Suppose in addition that the\ncovenant satisfies the drift-relative stability margin of\nThm.~\\ref{theorem:bk5_covenant_stability_theorem}:\n\\[\n\\Omega_{AB}\\,\\lambda_{\\min}(\\mathbb{R}_{AB})\n>\n\\|\\drift_A\\|_{\\max}+\\|\\drift_B\\|_{\\max}.\n\\]\nThen mutual reflection strictly exceeds the combined maximal drift burden, so\nits scalar worst-case contribution to symbolic free energy is positive:\n\\[\n\\Delta F_s^{\\mathrm{align}}\n:=\\Omega_{AB}\\,\\lambda_{\\min}(\\mathbb{R}_{AB})\n  -\\bigl(\\|\\drift_A\\|_{\\max}+\\|\\drift_B\\|_{\\max}\\bigr)>0.\n\\]\nConsequently the expected combined drift--reflection effect is stabilizing,\n\\[\n\\langle \\drift_A \\circ \\reflect_B^A\n      + \\drift_B \\circ \\reflect_A^B \\rangle\n\\leadsto \\Delta F_s^{\\mathrm{align}}>0.\n\\]\nThe fixed threshold $\\kappa_{\\mathrm{crit}}$ classifies the MAP coupling\nregime; the displayed drift-relative margin is the separate premise that\ncertifies a positive restoration balance.  This is compatible with the\nreflective-equilibrium correspondence of\nProp.~\\ref{proposition:bk6_drift_reflection_correspondence}.\n\\end{proposition}",
  "lean_alignment": {
    "conditions": [
      "geometric reflective update with feedback gain of absolute value below one",
      "realized contribution defined as covenant margin minus alignment-error magnitude",
      "scalar covenant snapshot satisfying the Book 5 drift-relative stability margin"
    ],
    "countermodels": [
      "Book5AlignmentDynamics.positive_margin_without_contraction_does_not_align"
    ],
    "full_record": "bib/principia_lean_alignment.json",
    "kernel_certified": true,
    "notes": [
      "One retained certificate distinguishes the fixed MAP classification threshold from the drift-relative restoration margin, then supplies the contractive temporal law. It jointly proves MAP classification, strict positive margin, vanishing alignment error, convergence of realized contribution to the margin, and eventual positivity. Unit gain remains a countermodel to alignment from margin alone."
    ],
    "record_ids": [
      "MAP-BOOK5-009"
    ],
    "statuses": [
      "conditional"
    ],
    "witnesses": [
      "Book5AlignmentDynamics.ReflectiveAlignmentCertificate.realizes_reflective_drift_alignment",
      "Book5AlignmentDynamics.positive_margin_without_contraction_does_not_align"
    ]
  },
  "line": 345,
  "macros_used": [
    "Membrane",
    "drift",
    "reflect"
  ],
  "matter_region": "mainmatter",
  "matter_role": "canonical_book",
  "name": "Reflective Drift Alignment in MAP",
  "proof_status": "argued_demonstratio",
  "ref_roles": [
    {
      "context": "t certifies a positive restoration balance. This is compatible with the reflective-equilibrium correspondence of Prop.~\\ref{proposition:bk6_drift_reflection_correspondence}. \\end{proposition}",
      "label": "proposition:bk6_drift_reflection_correspondence",
      "logical_support": true,
      "role": "formal_dependency",
      "target_file": "book6.tex",
      "target_line": 214,
      "target_type": "proposition"
    },
    {
      "context": "rem:bk5_map_equilibrium}). Suppose in addition that the covenant satisfies the drift-relative stability margin of Thm.~\\ref{theorem:bk5_covenant_stability_theorem}: \\[ \\Omega_{AB}\\,\\lambda_{\\min}(\\mathbb{R}_{AB}) > \\|\\drift_A\\|_{\\max}+\\|\\drift_B\\|_{\\max}. \\] Then mutual reflection s",
      "label": "theorem:bk5_covenant_stability_theorem",
      "logical_support": true,
      "role": "formal_dependency",
      "target_file": "book5.tex",
      "target_line": 309,
      "target_type": "theorem"
    },
    {
      "context": "mbrane_A,\\Membrane_B$ lie in the MAP regime, $\\Omega_{AB}>0$ and $\\|\\mathbb{R}_{AB}\\|>\\kappa_{\\mathrm{crit}}$ (cf.~Thm.~\\ref{theorem:bk5_map_equilibrium}). Suppose in addition that the covenant satisfies the drift-relative stability margin of Thm.~\\ref{theorem:bk5_covenan",
      "label": "theorem:bk5_map_equilibrium",
      "logical_support": true,
      "role": "cf_near_match",
      "target_file": "book5.tex",
      "target_line": 272,
      "target_type": "theorem"
    }
  ],
  "refs": [
    "proposition:bk6_drift_reflection_correspondence",
    "theorem:bk5_covenant_stability_theorem",
    "theorem:bk5_map_equilibrium"
  ],
  "role": "proposition",
  "type": "proposition"
}

{
  "book": "book5",
  "cited_by": [],
  "cites": [
    "definition:bk5_reflective_coupling_tens",
    "proposition:bk5_reflective_drift_alignment_in_map"
  ],
  "depends_on": [
    "definition:bk5_reflective_coupling_tens",
    "proposition:bk5_reflective_drift_alignment_in_map"
  ],
  "file": "book5.tex",
  "id": "demonstratio:bk5_entropy_reduction",
  "label": "demonstratio:bk5_entropy_reduction",
  "latex_body": "\\begin{demonstratio}\n\\label{demonstratio:bk5_entropy_reduction}\nIn a MAP state, metabolic exchange $\\mathcal{T}_{ij}$ and reflective coupling\n$\\mathbb{R}_{AB}$ (Def.~\\ref{definition:bk5_reflective_coupling_tens}) allow\nthe system to redistribute internal coherence and counter entropy production.\nThe stability-margin hypothesis gives directly\n\\[\n0<\\Omega_{AB}\\lambda_{\\min}(\\mathbb{R}_{AB})\n -\\bigl(\\|\\drift_A\\|_{\\max}+\\|\\drift_B\\|_{\\max}\\bigr)\n =\\Delta F_s^{\\mathrm{align}}.\n\\]\nThus the minimum restorative contribution of the covenant strictly exceeds\nthe two maximal drift burdens.  The resulting aligned contribution is\npositive, which is precisely the conclusion of\nProp.~\\ref{proposition:bk5_reflective_drift_alignment_in_map}.\nThe Lean realization retains the fixed MAP threshold, the drift-relative margin,\nand the contractive temporal update as separate fields of one certificate.  It\nthen proves vanishing residual alignment, convergence of the realized\ncontribution to the positive margin, and eventual positivity; a unit-gain model\nshows why the temporal premise cannot be deleted.\n\\qed\n\\end{demonstratio}",
  "line": 377,
  "macros_used": [
    "drift"
  ],
  "matter_region": "mainmatter",
  "matter_role": "canonical_book",
  "name": "",
  "ref_roles": [
    {
      "context": "ntropy_reduction} In a MAP state, metabolic exchange $\\mathcal{T}_{ij}$ and reflective coupling $\\mathbb{R}_{AB}$ (Def.~\\ref{definition:bk5_reflective_coupling_tens}) allow the system to redistribute internal coherence and counter entropy production. The stability-margin hypothesis gi",
      "label": "definition:bk5_reflective_coupling_tens",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "book5.tex",
      "target_line": 246,
      "target_type": "definition"
    },
    {
      "context": "two maximal drift burdens. The resulting aligned contribution is positive, which is precisely the conclusion of Prop.~\\ref{proposition:bk5_reflective_drift_alignment_in_map}. The Lean realization retains the fixed MAP threshold, the drift-relative margin, and the contractive temporal update a",
      "label": "proposition:bk5_reflective_drift_alignment_in_map",
      "logical_support": true,
      "role": "formal_dependency",
      "target_file": "book5.tex",
      "target_line": 345,
      "target_type": "proposition"
    }
  ],
  "refs": [
    "definition:bk5_reflective_coupling_tens",
    "proposition:bk5_reflective_drift_alignment_in_map"
  ],
  "role": "demonstration",
  "type": "demonstratio"
}

{
  "book": "book5",
  "cited_by": [
    "proof:bk9_pathologies_of_coherence"
  ],
  "cites": [
    "proposition:bk4_imagination_bridges_wheel",
    "scholium:bk4_imagination_as_imaginary_traversal",
    "theorem:bk5_covenant_stability_theorem",
    "theorem:bk5_map_equilibrium"
  ],
  "depends_on": [
    "proposition:bk4_imagination_bridges_wheel",
    "scholium:bk4_imagination_as_imaginary_traversal",
    "theorem:bk5_covenant_stability_theorem",
    "theorem:bk5_map_equilibrium"
  ],
  "file": "book5.tex",
  "id": "proposition:bk5_map_mad_dichotomy",
  "label": "proposition:bk5_map_mad_dichotomy",
  "latex_body": "\\begin{proposition}[MAP-MAD Dichotomy]\n\\label{proposition:bk5_map_mad_dichotomy}\nThe split is the sign-sensitive extension of the MAP condition in Thm.~\\ref{theorem:bk5_map_equilibrium} and the perturbative threshold in Thm.~\\ref{theorem:bk5_covenant_stability_theorem}.\nA reversal of sign or phase in the covenant is therefore not a typographical choice: by the Book~IV account of imagination as imaginary traversal (Scholium~\\ref{scholium:bk4_imagination_as_imaginary_traversal}, Prop.~\\ref{proposition:bk4_imagination_bridges_wheel}), it may mark a counterfactual branch of the covenant before enactment.\nFor every symbolic covenant\n\\[\n\\mathcal{C}_{AB} = \\left\\{ \\mathcal{T}_{AB},\\, \\mathcal{T}_{BA},\\, \\reflect_A^B,\\, \\reflect_B^A,\\, \\Omega_{AB} \\right\\}\n\\]\nthat establishes Mutually Assured Progress (MAP) under the condition \\( \\Omega_{AB} > 0 \\),\nthere exists a corresponding dual antagonistic configuration \\( \\mathcal{C}_{AB}^{-} \\)\ncharacterized by \\textbf{inverted reflection polarity} or \\textbf{negative stability}, culminating in a\nstate of \\textbf{Mutually Assured Destruction (MAD)}.\n\\begin{equation}\n\\mathcal{C}_{AB}^{-} \\approx \\{\\mathcal{T}_{AB}, \\mathcal{T}_{BA}, -\\reflect_A^B, -\\reflect_B^A, -\\Omega_{AB}\\} \\quad \\text{or} \\quad \\mathcal{C}_{AB} \\text{ with } \\Omega_{AB} < 0\n\\end{equation}\nUnder $\\mathcal{C}_{AB}^{-}$, reflective interactions amplify drift, accelerating entropic collapse.\n\\end{proposition}",
  "lean_alignment": {
    "conditions": [
      "positive carrying level and contractive ratio for the MAP instance",
      "positive coherence density and drift norm for the thermal conversion",
      "positive coupling gain and sign-definite stability for the dichotomy"
    ],
    "countermodels": [],
    "full_record": "bib/principia_lean_alignment.json",
    "kernel_certified": true,
    "notes": [
      "Linear exchange model: the sign of stability decides viability vs collapse, and MAD is the exact polarity reflection of MAP."
    ],
    "record_ids": [
      "MAP-BOOK5-034"
    ],
    "statuses": [
      "conditional"
    ],
    "witnesses": [
      "Book5.covenant_mad_collapse",
      "Book5.covenant_map_viable",
      "Book5.dual_surplus_reflect",
      "Book5.viable_collapsed_exclusive"
    ]
  },
  "line": 400,
  "macros_used": [
    "reflect"
  ],
  "matter_region": "mainmatter",
  "matter_role": "canonical_book",
  "name": "MAP-MAD Dichotomy",
  "proof_status": "argued_demonstratio",
  "ref_roles": [
    {
      "context": "IV account of imagination as imaginary traversal (Scholium~\\ref{scholium:bk4_imagination_as_imaginary_traversal}, Prop.~\\ref{proposition:bk4_imagination_bridges_wheel}), it may mark a counterfactual branch of the covenant before enactment. For every symbolic covenant \\[ \\mathcal{C}_{AB}",
      "label": "proposition:bk4_imagination_bridges_wheel",
      "logical_support": true,
      "role": "interpretive_bridge",
      "target_file": "book4.tex",
      "target_line": 887,
      "target_type": "proposition"
    },
    {
      "context": "ovenant is therefore not a typographical choice: by the Book~IV account of imagination as imaginary traversal (Scholium~\\ref{scholium:bk4_imagination_as_imaginary_traversal}, Prop.~\\ref{proposition:bk4_imagination_bridges_wheel}), it may mark a counterfactual branch of the covenant before ena",
      "label": "scholium:bk4_imagination_as_imaginary_traversal",
      "logical_support": true,
      "role": "interpretive_bridge",
      "target_file": "book4.tex",
      "target_line": 782,
      "target_type": "scholium"
    },
    {
      "context": "nsitive extension of the MAP condition in Thm.~\\ref{theorem:bk5_map_equilibrium} and the perturbative threshold in Thm.~\\ref{theorem:bk5_covenant_stability_theorem}. A reversal of sign or phase in the covenant is therefore not a typographical choice: by the Book~IV account of imagina",
      "label": "theorem:bk5_covenant_stability_theorem",
      "logical_support": true,
      "role": "application",
      "target_file": "book5.tex",
      "target_line": 309,
      "target_type": "theorem"
    },
    {
      "context": "otomy] \\label{proposition:bk5_map_mad_dichotomy} The split is the sign-sensitive extension of the MAP condition in Thm.~\\ref{theorem:bk5_map_equilibrium} and the perturbative threshold in Thm.~\\ref{theorem:bk5_covenant_stability_theorem}. A reversal of sign or phase in the",
      "label": "theorem:bk5_map_equilibrium",
      "logical_support": true,
      "role": "application",
      "target_file": "book5.tex",
      "target_line": 272,
      "target_type": "theorem"
    }
  ],
  "refs": [
    "proposition:bk4_imagination_bridges_wheel",
    "scholium:bk4_imagination_as_imaginary_traversal",
    "theorem:bk5_covenant_stability_theorem",
    "theorem:bk5_map_equilibrium"
  ],
  "role": "proposition",
  "type": "proposition"
}

{
  "book": "book5",
  "cited_by": [],
  "cites": [
    "definition:bk2_symbolic_entropy",
    "definition:bk5_symbolic_covenant",
    "theorem:bk5_map_equilibrium"
  ],
  "depends_on": [
    "definition:bk2_symbolic_entropy",
    "definition:bk5_symbolic_covenant",
    "theorem:bk5_map_equilibrium"
  ],
  "file": "book5.tex",
  "id": "demonstratio:bk5_negative_reflection_instability",
  "label": "demonstratio:bk5_negative_reflection_instability",
  "latex_body": "\\begin{demonstratio}[Negative Reflection Instability]\n\\label{demonstratio:bk5_negative_reflection_instability}\nThe mechanism is read against Def.~\\ref{definition:bk5_symbolic_covenant} with entropy direction fixed by Def.~\\ref{definition:bk2_symbolic_entropy}.\nIf the effective reflection becomes negative (e.g., $-\\reflect_A^B$) or the stability parameter $\\Omega_{AB}$ is negative, the feedback loop in the covenant dynamics becomes destabilizing. Instead of counteracting drift, the interaction amplifies it:\n\\begin{equation}\n(-\\reflect_A^B)(\\psi_B) = -\\reflect_A^B(\\psi_B) \\quad \\text{(amplifies effect of } \\psi_B \\text{ on } \\Membrane_A)\n\\end{equation}\nThis leads to $\\frac{d}{ds}F_s < 0$ for the coupled system (cf.~Thm.~\\ref{theorem:bk5_map_equilibrium} under negative $\\Omega_{AB}$ or inverted $\\reflect$ terms), driving both membranes out of their viability domains $V_{\\text{symb}}$. \\qed\n\\end{demonstratio}",
  "line": 417,
  "macros_used": [
    "Membrane",
    "reflect"
  ],
  "matter_region": "mainmatter",
  "matter_role": "canonical_book",
  "name": "Negative Reflection Instability",
  "ref_roles": [
    {
      "context": "ability} The mechanism is read against Def.~\\ref{definition:bk5_symbolic_covenant} with entropy direction fixed by Def.~\\ref{definition:bk2_symbolic_entropy}. If the effective reflection becomes negative (e.g., $-\\reflect_A^B$) or the stability parameter $\\Omega_{AB}$ is negat",
      "label": "definition:bk2_symbolic_entropy",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "book2.tex",
      "target_line": 114,
      "target_type": "definition"
    },
    {
      "context": "ive Reflection Instability] \\label{demonstratio:bk5_negative_reflection_instability} The mechanism is read against Def.~\\ref{definition:bk5_symbolic_covenant} with entropy direction fixed by Def.~\\ref{definition:bk2_symbolic_entropy}. If the effective reflection becomes negativ",
      "label": "definition:bk5_symbolic_covenant",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "book5.tex",
      "target_line": 233,
      "target_type": "definition"
    },
    {
      "context": "f } \\psi_B \\text{ on } \\Membrane_A) \\end{equation} This leads to $\\frac{d}{ds}F_s < 0$ for the coupled system (cf.~Thm.~\\ref{theorem:bk5_map_equilibrium} under negative $\\Omega_{AB}$ or inverted $\\reflect$ terms), driving both membranes out of their viability domains $V_{\\",
      "label": "theorem:bk5_map_equilibrium",
      "logical_support": true,
      "role": "cf_near_match",
      "target_file": "book5.tex",
      "target_line": 272,
      "target_type": "theorem"
    }
  ],
  "refs": [
    "definition:bk2_symbolic_entropy",
    "definition:bk5_symbolic_covenant",
    "theorem:bk5_map_equilibrium"
  ],
  "role": "demonstration",
  "type": "demonstratio"
}

{
  "book": "book5",
  "cited_by": [
    "corollary:bk5_map_evolutionary_advantag",
    "definition:bk5_symbolic_fitness",
    "lemma:bk5_map_fitness_advantage",
    "proof:bk5_map_resistance_to_drift",
    "proof:bk5_map_vs_nonmap_gradient",
    "proof:bk5_max_sustainable_drift",
    "proof:bk5_symbolic_fitness_differentials",
    "proof:bk9_good_as_lyapunov_basin",
    "proof:bk9_stability_conditions_for_the_good",
    "scholium:bk5_map_as_fundamental_organizational_principle"
  ],
  "cites": [
    "theorem:bk5_map_equilibrium"
  ],
  "depends_on": [
    "theorem:bk2_h_theorem_for_symbolic_evol",
    "theorem:bk5_map_equilibrium"
  ],
  "file": "book5.tex",
  "id": "theorem:bk5__map_dominance",
  "label": "theorem:bk5__map_dominance",
  "latex_body": "\\begin{theorem}[MAP Dominance]\n\\label{theorem:bk5__map_dominance}\nThis theorem globalizes Thm.~\\ref{theorem:bk5_map_equilibrium} from pairwise viability to population-level persistence under increasing drift.\nIn a symbolic ecosystem subjected to increasing drift intensity $\\|\\drift\\|$, membranes capable of forming stable MAP covenants ($\\Omega_{AB}>0, \\|\\mathbb{R}_{AB}\\| > \\kappa_{crit}$) exhibit greater resilience and persistence compared to isolated membranes or those in MAD relationships. As $\\|\\drift\\|$ approaches a critical value $\\drift_{crit}$:\n\\begin{equation}\n\\lim_{\\|\\drift\\| \\to \\drift_{crit}} P(F_s > 0 \\mid \\text{isolated or MAD}) = 0\n\\end{equation}\nwhile\n\\begin{equation}\n\\lim_{\\|\\drift\\| \\to \\drift_{crit}} P(F_s > 0 \\mid \\text{MAP}) > 0 \\quad (\\text{potentially } \\to 1)\n\\end{equation}\n\\end{theorem}",
  "lean_alignment": {
    "conditions": [
      "see per-anchor coverage-map notes for the exact scope of each conditional/partial grade"
    ],
    "countermodels": [],
    "full_record": "bib/principia_lean_alignment.json",
    "kernel_certified": true,
    "notes": [
      "Deterministic scalar kernel: positive external reflection strictly raises sustainable drift and creates an interval where MAP has positive viability margin after isolation does not. The paper's probability-limit language remains conditional because no probability law is specified."
    ],
    "record_ids": [
      "MAP-BOOK5-008"
    ],
    "statuses": [
      "conditional"
    ],
    "witnesses": [
      "Book5Dominance.map_capacity_strictly_exceeds_isolated",
      "Book5Dominance.map_dominates_beyond_isolated_capacity",
      "Book5Dominance.map_viable_at_isolated_critical_drift"
    ]
  },
  "line": 426,
  "macros_used": [
    "drift"
  ],
  "matter_region": "mainmatter",
  "matter_role": "canonical_book",
  "name": "MAP Dominance",
  "proof_labels": [
    "proof:bk5_max_sustainable_drift"
  ],
  "proof_status": "proven",
  "ref_roles": [
    {
      "context": "\\begin{theorem}[MAP Dominance] \\label{theorem:bk5__map_dominance} This theorem globalizes Thm.~\\ref{theorem:bk5_map_equilibrium} from pairwise viability to population-level persistence under increasing drift. In a symbolic ecosystem subjected to in",
      "label": "theorem:bk5_map_equilibrium",
      "logical_support": true,
      "role": "formal_dependency",
      "target_file": "book5.tex",
      "target_line": 272,
      "target_type": "theorem"
    }
  ],
  "refs": [
    "theorem:bk5_map_equilibrium"
  ],
  "role": "theorem",
  "type": "theorem"
}

{
  "book": "book5",
  "cited_by": [],
  "cites": [
    "theorem:bk2_h_theorem_for_symbolic_evol",
    "theorem:bk5__map_dominance"
  ],
  "depends_on": [
    "theorem:bk2_h_theorem_for_symbolic_evol",
    "theorem:bk5__map_dominance"
  ],
  "file": "book5.tex",
  "id": "proof:bk5_max_sustainable_drift",
  "label": "proof:bk5_max_sustainable_drift",
  "latex_body": "\\begin{proof}[Max Sustainable Drift from Reflective Bounds]\n\\label{proof:bk5_max_sustainable_drift}\n\\leavevmode\n\nThe argument closes by combining Thm.~\\ref{theorem:bk5__map_dominance}\nwith the H-theorem for symbolic evolution\n(Thm.~\\ref{theorem:bk2_h_theorem_for_symbolic_evol} in Book~II).\nThe maximum sustainable drift $\\|\\drift\\|_{max}$ is determined by the system's ability to maintain $F_s > 0$. For isolated membranes, this is limited by internal reflection $\\reflect_i$. For MAP systems, external reflective support $\\reflect_j^i$ increases the effective reflection capacity.\n\\begin{equation}\n\\|\\drift\\|_{max}^{isolated} = \\sup \\{\\|\\drift\\| : \\reflect_i(\\drift(\\psi_i)) \\geq T_s \\sigma(\\drift, \\psi_i) \\}\n\\end{equation}\n\\begin{equation}\n\\|\\drift\\|_{max}^{MAP} = \\sup \\{\\|\\drift_i\\| : \\reflect_i(\\drift_i(\\psi_i)) + \\reflect_j^i(\\drift_i(\\psi_i)) \\geq T_s \\sigma(\\drift_i, \\psi_i) \\}\n\\end{equation}\nSince $\\reflect_j^i(\\drift_i(\\psi_i)) > 0$ in stable MAP, $\\|\\drift\\|_{max}^{MAP} > \\|\\drift\\|_{max}^{isolated}$. As $\\|\\drift\\| \\to \\drift_{crit} = \\|\\drift\\|_{max}^{isolated}$, isolated systems become non-viable ($P(F_s>0) \\to 0$). MAD systems are inherently unstable and collapse even sooner. MAP systems, however, remain viable up to $\\|\\drift\\|_{max}^{MAP}$, proving the theorem.\n\\end{proof}",
  "line": 438,
  "macros_used": [
    "drift",
    "reflect"
  ],
  "matter_region": "mainmatter",
  "matter_role": "canonical_book",
  "name": "Max Sustainable Drift from Reflective Bounds",
  "proves": "theorem:bk5__map_dominance",
  "ref_roles": [
    {
      "context": "The argument closes by combining Thm.~\\ref{theorem:bk5__map_dominance} with the H-theorem for symbolic evolution (Thm.~\\ref{theorem:bk2_h_theorem_for_symbolic_evol} in Book~II). The maximum sustainable drift $\\|\\drift\\|_{max}$ is determined by the system's ability to maintain $F_s >",
      "label": "theorem:bk2_h_theorem_for_symbolic_evol",
      "logical_support": true,
      "role": "proof_support",
      "target_file": "book2.tex",
      "target_line": 255,
      "target_type": "theorem"
    },
    {
      "context": "rift from Reflective Bounds] \\label{proof:bk5_max_sustainable_drift} \\leavevmode The argument closes by combining Thm.~\\ref{theorem:bk5__map_dominance} with the H-theorem for symbolic evolution (Thm.~\\ref{theorem:bk2_h_theorem_for_symbolic_evol} in Book~II). The maximum",
      "label": "theorem:bk5__map_dominance",
      "logical_support": true,
      "role": "proof_support",
      "target_file": "book5.tex",
      "target_line": 426,
      "target_type": "theorem"
    }
  ],
  "refs": [
    "theorem:bk2_h_theorem_for_symbolic_evol",
    "theorem:bk5__map_dominance"
  ],
  "role": "proof",
  "type": "proof"
}

{
  "book": "book5",
  "cited_by": [
    "lemma:bk5_map_population_stability",
    "proof:bk5_map_perturbation_robustness",
    "proof:bk9_pathologies_of_coherence"
  ],
  "cites": [
    "theorem:bk5_covenant_stability_theorem"
  ],
  "depends_on": [
    "theorem:bk5_covenant_stability_theorem"
  ],
  "file": "book5.tex",
  "id": "definition:bk5_covenant_resilience_index",
  "label": "definition:bk5_covenant_resilience_index",
  "latex_body": "\\begin{definition}[Covenant Resilience Index] \\label{definition:bk5_covenant_resilience_index}\nThe \\emph{covenant resilience index} $\\rho(\\mathcal{C}_{AB})$ quantifies the stability margin of a covenant $\\mathcal{C}_{AB}$ against drift perturbations:\n\\begin{equation}\n\\rho(\\mathcal{C}_{AB}) = \\frac{\\Omega_{AB} \\cdot \\lambda_{min}(\\mathbb{R}_{AB})}{\\|\\drift_A\\|_{max} + \\|\\drift_B\\|_{max}}\n\\end{equation}\nA covenant with $\\rho(\\mathcal{C}_{AB}) > 1$ is considered resilient, indicating that its stabilizing reflective forces exceed the maximal expected destabilizing drift forces, according to Thm.~\\ref{theorem:bk5_covenant_stability_theorem}.\n\\end{definition}",
  "lean_alignment": {
    "conditions": [
      "continuum/Hilbert/PDE-on-manifold content stays open; chart-complex restatements carry Glued as a named hypothesis where the source consumes compatibility",
      "modeling laws are structure fields or explicit hypotheses"
    ],
    "countermodels": [],
    "full_record": "bib/principia_lean_alignment.json",
    "kernel_certified": true,
    "notes": [
      "the resilience>1 threshold is exactly the stated iff-form, given the denominator positive."
    ],
    "record_ids": [
      "MAP-BOOK5-053"
    ],
    "statuses": [
      "exact"
    ],
    "witnesses": [
      "Book5Residue.resilience_gt_one_iff"
    ]
  },
  "line": 454,
  "macros_used": [
    "drift"
  ],
  "matter_region": "mainmatter",
  "matter_role": "canonical_book",
  "name": "Covenant Resilience Index",
  "proof_status": "definitional",
  "ref_roles": [
    {
      "context": "cating that its stabilizing reflective forces exceed the maximal expected destabilizing drift forces, according to Thm.~\\ref{theorem:bk5_covenant_stability_theorem}. \\end{definition}",
      "label": "theorem:bk5_covenant_stability_theorem",
      "logical_support": true,
      "role": "formal_dependency",
      "target_file": "book5.tex",
      "target_line": 309,
      "target_type": "theorem"
    }
  ],
  "refs": [
    "theorem:bk5_covenant_stability_theorem"
  ],
  "role": "definition",
  "type": "definition"
}

{
  "book": "book5",
  "cited_by": [
    "definition:bk9_prompt_injection_operator"
  ],
  "cites": [
    "axiom:bk5_covenant_transitivity",
    "theorem:bk5_map_equilibrium"
  ],
  "depends_on": [
    "axiom:bk5_covenant_transitivity",
    "theorem:bk5_map_equilibrium"
  ],
  "file": "book5.tex",
  "id": "lemma:bk5_multi_membrane_map_extension",
  "label": "lemma:bk5_multi_membrane_map_extension",
  "latex_body": "\\begin{lemma}[Multi-Membrane MAP Extension] \\label{lemma:bk5_multi_membrane_map_extension}\nNetwork lift uses Thm.~\\ref{theorem:bk5_map_equilibrium} edgewise and Ax.~\\ref{axiom:bk5_covenant_transitivity} for propagation.\nConsider a system of membranes $\\{\\Membrane_i\\}_{i \\in I}$ where pairwise covenants $\\mathcal{C}_{ij}$ form a connected graph $\\mathcal{G}$. The system exhibits collective MAP stability, ensuring the long-term viability of all participants, if the minimum resilience index across all edges in $\\mathcal{G}$ exceeds the stability threshold:\n\\begin{equation}\n\\min_{(i,j) \\in \\text{Edges}(\\mathcal{G})} \\rho(\\mathcal{C}_{ij}) > 1 \\implies \\lim_{n \\to \\infty} \\left[ \\min_{i \\in I} F_s(\\Membrane_i^{(n)}) \\right] > 0\n\\end{equation}\n\\end{lemma}",
  "lean_alignment": {
    "conditions": [
      "continuum/Hilbert/PDE-on-manifold content stays open; chart-complex restatements carry Glued as a named hypothesis where the source consumes compatibility",
      "modeling laws are structure fields or explicit hypotheses"
    ],
    "countermodels": [],
    "full_record": "bib/principia_lean_alignment.json",
    "kernel_certified": false,
    "notes": [
      "See the committed source registry for the original coverage note."
    ],
    "record_ids": [
      "MAP-BOOK5-054"
    ],
    "statuses": [
      "open_bridge"
    ],
    "witnesses": [
      "Book5Residue.min_resilience_implies_all_edges_resilient"
    ]
  },
  "line": 461,
  "macros_used": [
    "Membrane"
  ],
  "matter_region": "mainmatter",
  "matter_role": "canonical_book",
  "name": "Multi-Membrane MAP Extension",
  "proof_labels": [
    "proof:bk5_inductive_stability_map"
  ],
  "proof_status": "proven",
  "ref_roles": [
    {
      "context": "label{lemma:bk5_multi_membrane_map_extension} Network lift uses Thm.~\\ref{theorem:bk5_map_equilibrium} edgewise and Ax.~\\ref{axiom:bk5_covenant_transitivity} for propagation. Consider a system of membranes $\\{\\Membrane_i\\}_{i \\in I}$ where pairwise covenants $\\mathcal{C}_{ij}$",
      "label": "axiom:bk5_covenant_transitivity",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "book5.tex",
      "target_line": 264,
      "target_type": "axiom"
    },
    {
      "context": "\\begin{lemma}[Multi-Membrane MAP Extension] \\label{lemma:bk5_multi_membrane_map_extension} Network lift uses Thm.~\\ref{theorem:bk5_map_equilibrium} edgewise and Ax.~\\ref{axiom:bk5_covenant_transitivity} for propagation. Consider a system of membranes $\\{\\Membrane_i\\}",
      "label": "theorem:bk5_map_equilibrium",
      "logical_support": true,
      "role": "application",
      "target_file": "book5.tex",
      "target_line": 272,
      "target_type": "theorem"
    }
  ],
  "refs": [
    "axiom:bk5_covenant_transitivity",
    "theorem:bk5_map_equilibrium"
  ],
  "role": "lemma",
  "type": "lemma"
}

{
  "book": "book5",
  "cited_by": [],
  "cites": [
    "axiom:bk5_covenant_transitivity",
    "theorem:bk5_map_equilibrium"
  ],
  "depends_on": [
    "axiom:bk5_covenant_transitivity",
    "theorem:bk5_map_equilibrium"
  ],
  "file": "book5.tex",
  "id": "proof:bk5_inductive_stability_map",
  "label": "proof:bk5_inductive_stability_map",
  "latex_body": "\\begin{proof}[Inductive Stability of MAP Systems]\n\\label{proof:bk5_inductive_stability_map}\n\\leavevmode\n\nFollows by induction. For $N=2$, Thm.~\\ref{theorem:bk5_map_equilibrium} applies. Assume stability for $N=k$. For $N=k+1$, consider adding membrane $\\Membrane_{k+1}$ connected by covenant $\\mathcal{C}_{j,k+1}$ to a stable MAP system of $k$ membranes. If $\\rho(\\mathcal{C}_{j,k+1}) > 1$, then $\\Membrane_{k+1}$ becomes stabilized by its connection. By Ax.~\\ref{axiom:bk5_covenant_transitivity}, indirect stabilization effects propagate through the network. As long as all direct covenant links satisfy the resilience condition, the entire connected component maintains collective viability.\n\\end{proof}",
  "line": 468,
  "macros_used": [
    "Membrane"
  ],
  "matter_region": "mainmatter",
  "matter_role": "canonical_book",
  "name": "Inductive Stability of MAP Systems",
  "proves": "lemma:bk5_multi_membrane_map_extension",
  "ref_roles": [
    {
      "context": "$k$ membranes. If $\\rho(\\mathcal{C}_{j,k+1}) > 1$, then $\\Membrane_{k+1}$ becomes stabilized by its connection. By Ax.~\\ref{axiom:bk5_covenant_transitivity}, indirect stabilization effects propagate through the network. As long as all direct covenant links satisfy the resilie",
      "label": "axiom:bk5_covenant_transitivity",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "book5.tex",
      "target_line": 264,
      "target_type": "axiom"
    },
    {
      "context": "Stability of MAP Systems] \\label{proof:bk5_inductive_stability_map} \\leavevmode Follows by induction. For $N=2$, Thm.~\\ref{theorem:bk5_map_equilibrium} applies. Assume stability for $N=k$. For $N=k+1$, consider adding membrane $\\Membrane_{k+1}$ connected by covenant $\\ma",
      "label": "theorem:bk5_map_equilibrium",
      "logical_support": true,
      "role": "proof_support",
      "target_file": "book5.tex",
      "target_line": 272,
      "target_type": "theorem"
    }
  ],
  "refs": [
    "axiom:bk5_covenant_transitivity",
    "theorem:bk5_map_equilibrium"
  ],
  "role": "proof",
  "type": "proof"
}

{
  "book": "book5",
  "cited_by": [
    "subsec:bk9_emergence_of_moral_attractors"
  ],
  "cites": [
    "definition:bk2_symbolic_free_energy",
    "theorem:bk5__map_dominance"
  ],
  "depends_on": [
    "definition:bk2_symbolic_free_energy",
    "theorem:bk5__map_dominance"
  ],
  "file": "book5.tex",
  "id": "scholium:bk5_map_as_fundamental_organizational_principle",
  "label": "scholium:bk5_map_as_fundamental_organizational_principle",
  "latex_body": "\\begin{scholium}[MAP as Fundamental Organizational Principle] \\label{scholium:bk5_map_as_fundamental_organizational_principle}\nThe thermodynamic reading follows Def.~\\ref{definition:bk2_symbolic_free_energy} and the dominance claim of Thm.~\\ref{theorem:bk5__map_dominance}.\nMAP represents a fundamental organizational principle in symbolic systems operating under persistent drift. It is more than mere cooperation; it is a thermodynamically grounded covenant ensuring mutual survival through shared reflection. This contrasts sharply with isolated existence, where membranes face inevitable entropic decay, or MAD relationships, which actively accelerate dissolution. MAP allows systems to transcend individual limitations, achieving a collective resilience and adaptive capacity greater than the sum of their parts. It transforms drift from a purely destructive force into a potential driver for establishing deeper, more robust inter-membrane coherence. The prevalence of MAP in complex, enduring symbolic ecosystems highlights its role not just as a beneficial strategy, but potentially as a necessary condition for advanced symbolic life. The mathematics reveals a universe where sustained identity in the face of entropy favors connection and mutual reinforcement through reflective exchange.\n\\end{scholium}",
  "line": 474,
  "macros_used": [],
  "matter_region": "mainmatter",
  "matter_role": "canonical_book",
  "name": "MAP as Fundamental Organizational Principle",
  "ref_roles": [
    {
      "context": "onal Principle] \\label{scholium:bk5_map_as_fundamental_organizational_principle} The thermodynamic reading follows Def.~\\ref{definition:bk2_symbolic_free_energy} and the dominance claim of Thm.~\\ref{theorem:bk5__map_dominance}. MAP represents a fundamental organizational principle",
      "label": "definition:bk2_symbolic_free_energy",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "book2.tex",
      "target_line": 135,
      "target_type": "definition"
    },
    {
      "context": "ciple} The thermodynamic reading follows Def.~\\ref{definition:bk2_symbolic_free_energy} and the dominance claim of Thm.~\\ref{theorem:bk5__map_dominance}. MAP represents a fundamental organizational principle in symbolic systems operating under persistent drift. It is more",
      "label": "theorem:bk5__map_dominance",
      "logical_support": true,
      "role": "formal_dependency",
      "target_file": "book5.tex",
      "target_line": 426,
      "target_type": "theorem"
    }
  ],
  "refs": [
    "definition:bk2_symbolic_free_energy",
    "theorem:bk5__map_dominance"
  ],
  "role": "scholium",
  "type": "scholium"
}

{
  "book": "book5",
  "cited_by": [
    "definition:bk5_map_mad_mas_band",
    "theorem:bk5_enhanced_map_mad_duality"
  ],
  "cites": [
    "definition:bk5_viability_domain",
    "theorem:bk5__map_dominance"
  ],
  "depends_on": [
    "definition:bk5_viability_domain",
    "theorem:bk5__map_dominance"
  ],
  "file": "book5.tex",
  "id": "corollary:bk5_map_evolutionary_advantag",
  "label": "corollary:bk5_map_evolutionary_advantag",
  "latex_body": "\\begin{corollary}[MAP Evolutionary Advantage] \\label{corollary:bk5_map_evolutionary_advantag}\nAs stated, the selective gradient is the strategy-space consequence of Thm.~\\ref{theorem:bk5__map_dominance} on the viability domain of Def.~\\ref{definition:bk5_viability_domain}.\nIn symbolic ecosystems governed by drift, reflection, and the possibility of covenant formation, strategies enabling stable MAP relationships ($\\sigma \\in \\Sigma_{MAP}$) possess a selective advantage over strategies leading to isolation or MAD. Over symbolic evolutionary time, the prevalence of MAP-compatible strategies is expected to increase:\n\\begin{equation}\n\\frac{d}{dt} \\mathbb{P}(\\sigma \\in \\Sigma_{MAP}) > 0 \\quad \\text{for } \\|\\drift\\| > \\drift_0\n\\end{equation}\n\\end{corollary}",
  "lean_alignment": {
    "conditions": [
      "continuum/Hilbert/PDE-on-manifold content stays open; chart-complex restatements carry Glued as a named hypothesis where the source consumes compatibility",
      "modeling laws are structure fields or explicit hypotheses"
    ],
    "countermodels": [],
    "full_record": "bib/principia_lean_alignment.json",
    "kernel_certified": true,
    "notes": [
      "the selective-advantage shape is captured by finite weighted dominance and the invasion threshold; the replicator-dynamics time-derivative itself is not modeled."
    ],
    "record_ids": [
      "MAP-BOOK5-055"
    ],
    "statuses": [
      "conditional"
    ],
    "witnesses": [
      "Book5Residue.ess_invasion_threshold",
      "Book5Residue.weighted_strict_dominance"
    ]
  },
  "line": 478,
  "macros_used": [
    "drift"
  ],
  "matter_region": "mainmatter",
  "matter_role": "canonical_book",
  "name": "MAP Evolutionary Advantage",
  "proof_labels": [
    "proof:bk5_symbolic_fitness_differentials"
  ],
  "proof_status": "proven",
  "ref_roles": [
    {
      "context": "ive gradient is the strategy-space consequence of Thm.~\\ref{theorem:bk5__map_dominance} on the viability domain of Def.~\\ref{definition:bk5_viability_domain}. In symbolic ecosystems governed by drift, reflection, and the possibility of covenant formation, strategies enabling s",
      "label": "definition:bk5_viability_domain",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "book5.tex",
      "target_line": 133,
      "target_type": "definition"
    },
    {
      "context": "el{corollary:bk5_map_evolutionary_advantag} As stated, the selective gradient is the strategy-space consequence of Thm.~\\ref{theorem:bk5__map_dominance} on the viability domain of Def.~\\ref{definition:bk5_viability_domain}. In symbolic ecosystems governed by drift, reflec",
      "label": "theorem:bk5__map_dominance",
      "logical_support": true,
      "role": "application",
      "target_file": "book5.tex",
      "target_line": 426,
      "target_type": "theorem"
    }
  ],
  "refs": [
    "definition:bk5_viability_domain",
    "theorem:bk5__map_dominance"
  ],
  "role": "corollary",
  "type": "corollary"
}