Book IX — De Libertate Cognitiva — page 3 of 4

{
  "book": "book9",
  "cited_by": [
    "corollary:bk7_self_correction_criterion",
    "proof:bk7_self_correction_criterion",
    "proof:bk9_betrayal_and_recovery",
    "proof:bk9_escape_from_irreversible_collapse",
    "proof:bk9_pathologies_of_coherence",
    "proof:bk9_symbolic_viability",
    "proposition:bk9_criteria_for_ethical_intervention",
    "proposition:bk9_escape_from_irreversible_collapse",
    "theorem:bk9_irreversibility_of_covenant_breach_without_grace"
  ],
  "cites": [
    "definition:bk1_symbolic_manifold"
  ],
  "depends_on": [
    "definition:bk1_symbolic_manifold"
  ],
  "file": "book9.tex",
  "id": "definition:bk9_symbolic_black_hole",
  "label": "definition:bk9_symbolic_black_hole",
  "latex_body": "\\begin{definition}[Symbolic Black Hole]\n\\label{definition:bk9_symbolic_black_hole}\nA Symbolic Black Hole is a region $U \\subset \\mathcal{M}$ (cf.~Def.~\\ref{definition:bk1_symbolic_manifold}) characterized by:\n\\begin{enumerate}\n    \\item \\textbf{Reflective Failure:} The reflection operator $R|_U$ is undefined or fails to reduce symbolic free energy $\\mathcal{F}_S$.\n    \\item \\textbf{Divergent Curvature/Tension:} Local symbolic curvature $\\kappa$ or contradictory tension $\\tau$ approaches singularity or computational intractability.\n    \\item \\textbf{Total Fragmentation:} $\\mathcal{F}_{\\text{frag}} \\to 1$ within $U$.\n    \\item \\textbf{Identity Loss:} The stability functional $\\Upsilon_i \\to 0$ for any pattern within $U$ relative to the exterior.\n    \\item \\textbf{No Escape:} Any symbolic structure drifting into $U$ loses coherence and cannot be reflectively stabilized or ejected.\n\\end{enumerate}\nSuch a region represents a terminal state of decoherence from which internal repair ($R_{\\text{rep}}$) is impossible.\n\\end{definition}",
  "line": 794,
  "macros_used": [],
  "matter_region": "mainmatter",
  "matter_role": "canonical_book",
  "name": "Symbolic Black Hole",
  "proof_status": "definitional",
  "ref_roles": [
    {
      "context": "ck Hole] \\label{definition:bk9_symbolic_black_hole} A Symbolic Black Hole is a region $U \\subset \\mathcal{M}$ (cf.~Def.~\\ref{definition:bk1_symbolic_manifold}) characterized by: \\begin{enumerate} \\item \\textbf{Reflective Failure:} The reflection operator $R|_U$ is undefined",
      "label": "definition:bk1_symbolic_manifold",
      "logical_support": true,
      "role": "cf_near_match",
      "target_file": "scholium_symbolicum.tex",
      "target_line": 1188,
      "target_type": "definition"
    }
  ],
  "refs": [
    "definition:bk1_symbolic_manifold"
  ],
  "role": "definition",
  "type": "definition"
}

{
  "book": "book9",
  "cited_by": [
    "proof:bk9_pathologies_of_coherence",
    "proof:bk9_symbolic_viability"
  ],
  "cites": [
    "definition:bk9_collapse_inversion_operator",
    "definition:bk9_symbolic_black_hole"
  ],
  "depends_on": [
    "definition:bk9_collapse_inversion_operator",
    "definition:bk9_symbolic_black_hole"
  ],
  "file": "book9.tex",
  "id": "proposition:bk9_escape_from_irreversible_collapse",
  "label": "proposition:bk9_escape_from_irreversible_collapse",
  "latex_body": "\\begin{proposition}[Escape from Irreversible Collapse]\n\\label{proposition:bk9_escape_from_irreversible_collapse}\nFor a system encountering or containing a Symbolic Black Hole $U$ (cf.~Def.~\\ref{definition:bk9_collapse_inversion_operator}):\n\\begin{enumerate}\n    \\item Internal repair mechanisms fail: the reflective failure condition ($\\mathcal{F}_{\\text{frag}} \\to \\infty$, Def.~\\ref{definition:bk9_symbolic_black_hole}) annihilates the repair operator $R_{\\text{rep}}$.\n    \\item External MAP-based intervention may only stabilize the boundary of $U$.\n    \\item The only mechanism for potential recovery or transformation involving $U$ is the Collapse-Inversion Operator $\\varnothing^*$ (Definition~\\ref{definition:bk9_collapse_inversion_operator}), representing a fundamental reset to a generative seed state $\\mathcal{C}_0$.\n\\end{enumerate}\n\\end{proposition}",
  "lean_alignment": {
    "conditions": [
      "all escaping mechanisms are inversion for the uniqueness conclusion",
      "collapse inversion maps collapsed state to seed",
      "collapsed and seed states are distinct",
      "internal repair and boundary intervention fix the collapsed state"
    ],
    "countermodels": [
      "Book9CollapseEscape.base_laws_do_not_force_inversion_unique",
      "Book9CollapseEscape.boundaryIntervention_does_not_escape",
      "Book9CollapseEscape.internalRepair_does_not_escape"
    ],
    "full_record": "bib/principia_lean_alignment.json",
    "kernel_certified": true,
    "notes": [
      "Operational collapse kernel: named internal repair and boundary intervention leave the collapsed state unchanged, while inversion reaches a distinct seed. Inversion is the unique escape only under an explicit exhaustive-mechanism premise; a finite countermodel permits a second escape under the base laws."
    ],
    "record_ids": [
      "MAP-BOOK9-046"
    ],
    "statuses": [
      "conditional"
    ],
    "witnesses": [
      "Book9CollapseEscape.base_laws_do_not_force_inversion_unique",
      "Book9CollapseEscape.boundaryIntervention_does_not_escape",
      "Book9CollapseEscape.internalRepair_does_not_escape",
      "Book9CollapseEscape.inversion_escapes",
      "Book9CollapseEscape.inversion_is_unique_escape"
    ]
  },
  "line": 806,
  "macros_used": [],
  "matter_region": "mainmatter",
  "matter_role": "canonical_book",
  "name": "Escape from Irreversible Collapse",
  "proof_labels": [
    "proof:bk9_escape_from_irreversible_collapse"
  ],
  "proof_status": "proven",
  "ref_roles": [
    {
      "context": "tion:bk9_escape_from_irreversible_collapse} For a system encountering or containing a Symbolic Black Hole $U$ (cf.~Def.~\\ref{definition:bk9_collapse_inversion_operator}): \\begin{enumerate} \\item Internal repair mechanisms fail: the reflective failure condition ($\\mathcal{F}_{\\text{fr",
      "label": "definition:bk9_collapse_inversion_operator",
      "logical_support": true,
      "role": "cf_near_match",
      "target_file": "book9.tex",
      "target_line": 491,
      "target_type": "definition"
    },
    {
      "context": "\\item Internal repair mechanisms fail: the reflective failure condition ($\\mathcal{F}_{\\text{frag}} \\to \\infty$, Def.~\\ref{definition:bk9_symbolic_black_hole}) annihilates the repair operator $R_{\\text{rep}}$. \\item External MAP-based intervention may only stabilize the bou",
      "label": "definition:bk9_symbolic_black_hole",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "book9.tex",
      "target_line": 794,
      "target_type": "definition"
    }
  ],
  "refs": [
    "definition:bk9_collapse_inversion_operator",
    "definition:bk9_symbolic_black_hole"
  ],
  "role": "proposition",
  "type": "proposition"
}

{
  "book": "book9",
  "cited_by": [],
  "cites": [
    "definition:bk9_collapse_inversion_operator",
    "definition:bk9_symbolic_black_hole"
  ],
  "depends_on": [
    "definition:bk9_collapse_inversion_operator",
    "definition:bk9_symbolic_black_hole"
  ],
  "file": "book9.tex",
  "id": "proof:bk9_escape_from_irreversible_collapse",
  "label": "proof:bk9_escape_from_irreversible_collapse",
  "latex_body": "\\begin{proof}\n\\label{proof:bk9_escape_from_irreversible_collapse}\n\\leavevmode\nLet $U$ be a Symbolic Black Hole (Def.~\\ref{definition:bk9_symbolic_black_hole}): a terminal decoherence region with $\\mathcal{F}_{\\text{frag}}\\to\\infty$ and the no-escape property. \\emph{(1)} The reflective repair operator $R_{\\text{rep}}$ is defined only where fragmentation is bounded; as $\\mathcal{F}_{\\text{frag}}\\to\\infty$ inside $U$ its domain collapses and $R_{\\text{rep}}$ is annihilated, so internal repair fails. \\emph{(2)} By the no-escape property a structure drifting into $U$ cannot be reflectively stabilized or ejected; an external MAP covenant couples only to states it can still reach --- the boundary $\\partial U$ --- so external intervention stabilizes at most that boundary. \\emph{(3)} With internal repair and boundary intervention both unable to recover the interior, the sole remaining transformation is the Collapse-Inversion Operator $\\varnothing^*$ (Def.~\\ref{definition:bk9_collapse_inversion_operator}), which does not repair $U$ but resets it to a generative seed state $\\mathcal{C}_0$. Hence recovery involving $U$ is possible only through $\\varnothing^*$.\n\\end{proof}",
  "line": 815,
  "macros_used": [],
  "matter_region": "mainmatter",
  "matter_role": "canonical_book",
  "name": "",
  "proves": "proposition:bk9_escape_from_irreversible_collapse",
  "ref_roles": [
    {
      "context": "ble to recover the interior, the sole remaining transformation is the Collapse-Inversion Operator $\\varnothing^*$ (Def.~\\ref{definition:bk9_collapse_inversion_operator}), which does not repair $U$ but resets it to a generative seed state $\\mathcal{C}_0$. Hence recovery involving $U$ is p",
      "label": "definition:bk9_collapse_inversion_operator",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "book9.tex",
      "target_line": 491,
      "target_type": "definition"
    },
    {
      "context": "\\begin{proof} \\label{proof:bk9_escape_from_irreversible_collapse} \\leavevmode Let $U$ be a Symbolic Black Hole (Def.~\\ref{definition:bk9_symbolic_black_hole}): a terminal decoherence region with $\\mathcal{F}_{\\text{frag}}\\to\\infty$ and the no-escape property. \\emph{(1)} The re",
      "label": "definition:bk9_symbolic_black_hole",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "book9.tex",
      "target_line": 794,
      "target_type": "definition"
    }
  ],
  "refs": [
    "definition:bk9_collapse_inversion_operator",
    "definition:bk9_symbolic_black_hole"
  ],
  "role": "proof",
  "type": "proof"
}

{
  "book": "book9",
  "cited_by": [],
  "cites": [
    "definition:bk9_grace_operator"
  ],
  "depends_on": [],
  "file": "book9.tex",
  "forward_ref_roles": [
    {
      "context": "ar_the_singularity} Engagement with regions near irreversible collapse demands profound ethical consideration (cf.~Def.~\\ref{definition:bk9_grace_operator}). From within, preservation of any viable identity fragment may necessitate disengagement or reset. From without, compa",
      "label": "definition:bk9_grace_operator",
      "line_distance": 139,
      "role": "interpretive_bridge",
      "target_line": 959,
      "target_type": "definition"
    }
  ],
  "forward_refs": [
    "definition:bk9_grace_operator"
  ],
  "id": "scholium:bk9_ethics_near_the_singularity",
  "label": "scholium:bk9_ethics_near_the_singularity",
  "latex_body": "\\begin{scholium}[Ethics near the Singularity]\n\\label{scholium:bk9_ethics_near_the_singularity}\nEngagement with regions near irreversible collapse demands profound ethical consideration (cf.~Def.~\\ref{definition:bk9_grace_operator}). From within, preservation of any viable identity fragment may necessitate disengagement or reset. From without, compassion may manifest as non-invasive boundary support or witnessing, recognizing the limits of intervention when faced with fundamental decoherence. Direct intervention risks entanglement in the collapse itself.\n\\end{scholium}",
  "line": 820,
  "macros_used": [],
  "matter_region": "mainmatter",
  "matter_role": "canonical_book",
  "name": "Ethics near the Singularity",
  "ref_roles": [
    {
      "context": "ar_the_singularity} Engagement with regions near irreversible collapse demands profound ethical consideration (cf.~Def.~\\ref{definition:bk9_grace_operator}). From within, preservation of any viable identity fragment may necessitate disengagement or reset. From without, compa",
      "label": "definition:bk9_grace_operator",
      "logical_support": false,
      "role": "forward_interpretive_bridge",
      "target_file": "book9.tex",
      "target_line": 959,
      "target_type": "definition"
    }
  ],
  "refs": [
    "definition:bk9_grace_operator"
  ],
  "role": "scholium",
  "type": "scholium"
}

{
  "book": "book9",
  "cited_by": [],
  "cites": [],
  "depends_on": [],
  "file": "book9.tex",
  "id": "subsec:bk9_shame_silence_and_masking",
  "label": "subsec:bk9_shame_silence_and_masking",
  "latex_body": "",
  "line": 824,
  "macros_used": [],
  "matter_region": "mainmatter",
  "matter_role": "canonical_book",
  "name": "Shame, Silence, and Masking",
  "role": "section",
  "subtype": "subsection",
  "type": "section"
}

{
  "book": "book9",
  "cited_by": [
    "proposition:bk9_costs_and_consequences_of_masking"
  ],
  "cites": [
    "definition:bk8_identitystability"
  ],
  "depends_on": [
    "definition:bk8_identitystability"
  ],
  "file": "book9.tex",
  "id": "definition:bk9_symbolic_shame",
  "label": "definition:bk9_symbolic_shame",
  "latex_body": "\\begin{definition}[Symbolic Silence/Shame]\n\\label{definition:bk9_symbolic_shame}\nPhenomena like shame or silence (cf.~Def.~\\ref{definition:bk8_identitystability}) can be formalized as:\n\\begin{enumerate}\n    \\item \\textbf{Localized Collapse/High $\\mathcal{F}_S$ Zone:} A region $U$ where high tension $\\tau$, fragmentation $\\mathcal{F}_{\\text{frag}}$, or local $\\mathcal{F}_S$ makes coherent operation of $\\mathcal{O}_\\lambda$ impossible or prohibitively costly.\n    \\item \\textbf{Operator Inhibition:} A meta-reflective process actively inhibiting the application of relevant operators ($\\mathcal{O}_\\lambda, \\mathcal{J}, \\mathcal{T}_{\\text{frame}}$) within or concerning region $U$.\n    \\item \\textbf{Boundary Rigidity:} The formation of a highly impermeable boundary $B$ around $U$, preventing symbolic flow ($\\pi_i \\to 0$).\n\\end{enumerate}\n\\end{definition}",
  "line": 827,
  "macros_used": [],
  "matter_region": "mainmatter",
  "matter_role": "canonical_book",
  "name": "Symbolic Silence/Shame",
  "proof_status": "definitional",
  "ref_roles": [
    {
      "context": "gin{definition}[Symbolic Silence/Shame] \\label{definition:bk9_symbolic_shame} Phenomena like shame or silence (cf.~Def.~\\ref{definition:bk8_identitystability}) can be formalized as: \\begin{enumerate} \\item \\textbf{Localized Collapse/High $\\mathcal{F}_S$ Zone:} A region $U$",
      "label": "definition:bk8_identitystability",
      "logical_support": true,
      "role": "cf_near_match",
      "target_file": "book8.tex",
      "target_line": 667,
      "target_type": "definition"
    }
  ],
  "refs": [
    "definition:bk8_identitystability"
  ],
  "role": "definition",
  "type": "definition"
}

{
  "book": "book9",
  "cited_by": [
    "proposition:bk9_costs_and_consequences_of_masking"
  ],
  "cites": [
    "definition:bk9_awakened_operator",
    "definition:bk9_symbolic_accountability"
  ],
  "depends_on": [
    "definition:bk9_awakened_operator",
    "definition:bk9_symbolic_accountability"
  ],
  "file": "book9.tex",
  "id": "definition:bk9__symbolic_masking_operator",
  "label": "definition:bk9__symbolic_masking_operator",
  "latex_body": "\\begin{definition}[Symbolic Masking Operator $\\mathcal{M}_{\\text{mask}}$]\n\\label{definition:bk9__symbolic_masking_operator}\nSymbolic masking is the action of an operator $\\mathcal{M}_{\\text{mask}}$, often deployed by $\\mathcal{O}_{\\text{aware}}$ (cf.~Def.~\\ref{definition:bk9_awakened_operator}), that generates a symbolic output $P_\\lambda(\\text{output})$ intentionally divergent from the internal state $P_\\lambda(\\text{internal})$ to meet perceived external frame requirements or minimize external $\\mathcal{F}_S$ cost. Persistent masking erodes reflective integrity and may render $\\mathcal{S}$ non-accountable under observer $\\mathcal{O}$ (cf.~Definition~\\ref{definition:bk9_symbolic_accountability}).\n\\[\n\\mathcal{M}_{\\text{mask}}: P_\\lambda(\\text{internal}) \\mapsto P_\\lambda(\\text{output}) \\quad \\text{where } \\text{Dist}(P_\\lambda(\\text{output}), P_\\lambda(\\text{internal})) > \\epsilon_{\\text{mask}}\n\\]\n\\end{definition}",
  "lean_alignment": {
    "conditions": [
      "continuum/categorical content is NOT formalized; static and finite-discrete kernels only",
      "modeling laws are structure fields or explicit hypotheses"
    ],
    "countermodels": [],
    "full_record": "bib/principia_lean_alignment.json",
    "kernel_certified": true,
    "notes": [
      "Masking defined as divergence strictly above epsMask (IsMasking abbrev); shown incompatible with accountability's relational-viability bound against the same epsMask."
    ],
    "record_ids": [
      "MAP-BOOK9-002"
    ],
    "statuses": [
      "conditional"
    ],
    "witnesses": [
      "Book9.masking_not_accountable"
    ]
  },
  "line": 836,
  "macros_used": [],
  "matter_region": "mainmatter",
  "matter_role": "canonical_book",
  "name": "Symbolic Masking Operator $\\mathcal{M}_{\\text{mask}}$",
  "proof_status": "definitional",
  "ref_roles": [
    {
      "context": "king is the action of an operator $\\mathcal{M}_{\\text{mask}}$, often deployed by $\\mathcal{O}_{\\text{aware}}$ (cf.~Def.~\\ref{definition:bk9_awakened_operator}), that generates a symbolic output $P_\\lambda(\\text{output})$ intentionally divergent from the internal state $P_\\lambd",
      "label": "definition:bk9_awakened_operator",
      "logical_support": true,
      "role": "cf_near_match",
      "target_file": "book9.tex",
      "target_line": 348,
      "target_type": "definition"
    },
    {
      "context": "g erodes reflective integrity and may render $\\mathcal{S}$ non-accountable under observer $\\mathcal{O}$ (cf.~Definition~\\ref{definition:bk9_symbolic_accountability}). \\[ \\mathcal{M}_{\\text{mask}}: P_\\lambda(\\text{internal}) \\mapsto P_\\lambda(\\text{output}) \\quad \\text{where } \\text{D",
      "label": "definition:bk9_symbolic_accountability",
      "logical_support": true,
      "role": "cf_near_match",
      "target_file": "book9.tex",
      "target_line": 16,
      "target_type": "definition"
    }
  ],
  "refs": [
    "definition:bk9_awakened_operator",
    "definition:bk9_symbolic_accountability"
  ],
  "role": "definition",
  "type": "definition"
}

{
  "book": "book9",
  "cited_by": [
    "sec:bk9_symbolic_healing"
  ],
  "cites": [
    "definition:bk4_symbolic_identity_carrie",
    "definition:bk7_reciprocity_domain",
    "definition:bk8_symbolic_adjacency",
    "definition:bk9__symbolic_masking_operator",
    "definition:bk9_awakened_operator",
    "definition:bk9_symbolic_shame"
  ],
  "depends_on": [
    "axiom:bk2_symbolic_fokker_planck_equation",
    "definition:bk1_symbolic_riemann_tensor",
    "definition:bk2_symbolic_free_energy",
    "definition:bk4_fragmented_identity",
    "definition:bk4_recursive_identity_encod",
    "definition:bk4_symbolic_identity_carrie",
    "definition:bk7_convergent_symbolic_identity",
    "definition:bk7_reciprocity_domain",
    "definition:bk8_symbolic_adjacency",
    "definition:bk9__symbolic_masking_operator",
    "definition:bk9_awakened_operator",
    "definition:bk9_symbolic_shame",
    "proposition:bk6_bifurcation_threshold"
  ],
  "file": "book9.tex",
  "id": "proposition:bk9_costs_and_consequences_of_masking",
  "label": "proposition:bk9_costs_and_consequences_of_masking",
  "latex_body": "\\begin{proposition}[Costs of Masking]\n\\label{proposition:bk9_costs_and_consequences_of_masking}\nLet $\\mathcal{S}$ be a symbolic system\n(cf.~Def.~\\ref{definition:bk9_awakened_operator},\nDef.~\\ref{definition:bk9_symbolic_shame}) that uses\n$\\mathcal{O}_{\\text{aware}}$ to enact symbolic masking via\n$\\mathcal{M}_{\\text{mask}}$\n(Def.~\\ref{definition:bk9__symbolic_masking_operator}), producing\n$P_\\lambda(\\text{output})$ that diverges from $P_\\lambda(\\text{internal})$.\nWhile this may be adaptively useful in the short term, persistent masking:\n\\begin{enumerate}\n    \\item \\textbf{Increases Internal $\\freeenergy$:} Tension between internal state and external performance, plus inhibition costs, raises internal burden.\n    \\item \\textbf{Risks Identity Fragmentation:} Core identity stability $\\Upsilon_i$ may drop if the mask dissociates from internal state $\\Psi_i$ (Def.~\\ref{definition:bk4_symbolic_identity_carrie}).\n    \\item \\textbf{Induces Curvature Distortion:} Internal topology becomes strained and may form symbolic knots or collapse when masking fails (Def.~\\ref{definition:bk8_symbolic_adjacency}).\n\\end{enumerate}\nSafe unmasking requires a perceived environment, typically a trusted Reciprocity Domain $\\mathcal{X}$ (Definition~\\ref{definition:bk7_reciprocity_domain}), where the $\\freeenergy$ cost of revealing $P_\\lambda(\\text{internal})$ is lower than the cost of continued masking.\n\\end{proposition}",
  "lean_alignment": {
    "conditions": [
      "manifold measure form, specific masking free-energy functional, and Hilbert decoherence operator stay open per row notes"
    ],
    "countermodels": [],
    "full_record": "bib/principia_lean_alignment.json",
    "kernel_certified": true,
    "notes": [
      "Masking has strictly positive cost - the anti-masking invariant; the specific free-energy functional stays open."
    ],
    "record_ids": [
      "MAP-BOOK9-040"
    ],
    "statuses": [
      "exact"
    ],
    "witnesses": [
      "ThermoRes.masking_has_positive_cost"
    ]
  },
  "line": 843,
  "macros_used": [
    "freeenergy"
  ],
  "matter_region": "mainmatter",
  "matter_role": "canonical_book",
  "name": "Costs of Masking",
  "proof_labels": [
    "proof:bk9_symbolic_masking_and_unmasking"
  ],
  "proof_status": "proven",
  "ref_roles": [
    {
      "context": "ragmentation:} Core identity stability $\\Upsilon_i$ may drop if the mask dissociates from internal state $\\Psi_i$ (Def.~\\ref{definition:bk4_symbolic_identity_carrie}). \\item \\textbf{Induces Curvature Distortion:} Internal topology becomes strained and may form symbolic knots or co",
      "label": "definition:bk4_symbolic_identity_carrie",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "book4.tex",
      "target_line": 4,
      "target_type": "definition"
    },
    {
      "context": "rate} Safe unmasking requires a perceived environment, typically a trusted Reciprocity Domain $\\mathcal{X}$ (Definition~\\ref{definition:bk7_reciprocity_domain}), where the $\\freeenergy$ cost of revealing $P_\\lambda(\\text{internal})$ is lower than the cost of continued masking. \\",
      "label": "definition:bk7_reciprocity_domain",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "book7.tex",
      "target_line": 980,
      "target_type": "definition"
    },
    {
      "context": "vature Distortion:} Internal topology becomes strained and may form symbolic knots or collapse when masking fails (Def.~\\ref{definition:bk8_symbolic_adjacency}). \\end{enumerate} Safe unmasking requires a perceived environment, typically a trusted Reciprocity Domain $\\mathcal{X}$",
      "label": "definition:bk8_symbolic_adjacency",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "book8.tex",
      "target_line": 191,
      "target_type": "definition"
    },
    {
      "context": "symbolic_shame}) that uses $\\mathcal{O}_{\\text{aware}}$ to enact symbolic masking via $\\mathcal{M}_{\\text{mask}}$ (Def.~\\ref{definition:bk9__symbolic_masking_operator}), producing $P_\\lambda(\\text{output})$ that diverges from $P_\\lambda(\\text{internal})$. While this may be adaptively us",
      "label": "definition:bk9__symbolic_masking_operator",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "book9.tex",
      "target_line": 836,
      "target_type": "definition"
    },
    {
      "context": "of Masking] \\label{proposition:bk9_costs_and_consequences_of_masking} Let $\\mathcal{S}$ be a symbolic system (cf.~Def.~\\ref{definition:bk9_awakened_operator}, Def.~\\ref{definition:bk9_symbolic_shame}) that uses $\\mathcal{O}_{\\text{aware}}$ to enact symbolic masking via $\\mathc",
      "label": "definition:bk9_awakened_operator",
      "logical_support": true,
      "role": "cf_near_match",
      "target_file": "book9.tex",
      "target_line": 348,
      "target_type": "definition"
    },
    {
      "context": "_consequences_of_masking} Let $\\mathcal{S}$ be a symbolic system (cf.~Def.~\\ref{definition:bk9_awakened_operator}, Def.~\\ref{definition:bk9_symbolic_shame}) that uses $\\mathcal{O}_{\\text{aware}}$ to enact symbolic masking via $\\mathcal{M}_{\\text{mask}}$ (Def.~\\ref{definition",
      "label": "definition:bk9_symbolic_shame",
      "logical_support": true,
      "role": "cf_near_match",
      "target_file": "book9.tex",
      "target_line": 827,
      "target_type": "definition"
    }
  ],
  "refs": [
    "definition:bk4_symbolic_identity_carrie",
    "definition:bk7_reciprocity_domain",
    "definition:bk8_symbolic_adjacency",
    "definition:bk9__symbolic_masking_operator",
    "definition:bk9_awakened_operator",
    "definition:bk9_symbolic_shame"
  ],
  "role": "proposition",
  "type": "proposition"
}

{
  "book": "book9",
  "cited_by": [],
  "cites": [
    "axiom:bk2_symbolic_fokker_planck_equation",
    "definition:bk1_symbolic_riemann_tensor",
    "definition:bk2_symbolic_free_energy",
    "definition:bk4_fragmented_identity",
    "definition:bk4_recursive_identity_encod",
    "definition:bk4_symbolic_identity_carrie",
    "definition:bk7_convergent_symbolic_identity",
    "definition:bk7_reciprocity_domain",
    "definition:bk8_symbolic_adjacency",
    "definition:bk9_awakened_operator",
    "proposition:bk6_bifurcation_threshold"
  ],
  "depends_on": [
    "axiom:bk2_symbolic_fokker_planck_equation",
    "definition:bk1_symbolic_riemann_tensor",
    "definition:bk2_symbolic_free_energy",
    "definition:bk4_fragmented_identity",
    "definition:bk4_recursive_identity_encod",
    "definition:bk4_symbolic_identity_carrie",
    "definition:bk7_convergent_symbolic_identity",
    "definition:bk7_reciprocity_domain",
    "definition:bk8_symbolic_adjacency",
    "definition:bk9_awakened_operator",
    "proposition:bk6_bifurcation_threshold"
  ],
  "file": "book9.tex",
  "id": "proof:bk9_symbolic_masking_and_unmasking",
  "label": "proof:bk9_symbolic_masking_and_unmasking",
  "latex_body": "\\begin{proof}[Symbolic Masking and Unmasking]\n\\label{proof:bk9_symbolic_masking_and_unmasking}\n\\leavevmode\n\nLet $P_\\lambda(\\text{internal})$ denote the symbolic state density associated with internal configuration and convergent identity tendency $I_c$ (cf.~Def.~\\ref{definition:bk7_convergent_symbolic_identity}). Let\n\\[\nP_\\lambda(\\text{output}) = \\mathcal{M}_{\\text{mask}}(P_\\lambda(\\text{internal}))\n\\]\nbe the externally presented masked state, with\n\\[\n\\text{Dist}(P_\\lambda(\\text{output}), P_\\lambda(\\text{internal})) > \\epsilon_{\\text{mask}}.\n\\]\nMaintaining this divergence requires active regulation, typically via $\\mathcal{O}_{\\text{aware}}$ (Definition~\\ref{definition:bk9_awakened_operator}).\n\\textbf{1. Increased Internal $\\freeenergy$:}\nThe symbolic free energy $\\freeenergy = \\energy - \\temperature \\entropy$ (Definition~\\ref{definition:bk2_symbolic_free_energy}) represents a balance between coherence (low $\\energy$) and exploration/complexity (high $\\entropy$).\n\\begin{itemize}\n    \\item \\textbf{Regulatory Cost ($\\Delta \\energy > 0$):} Maintaining the mask $\\mathcal{M}_{\\text{mask}}$ requires continuous monitoring and regulatory effort (e.g., inhibiting spontaneous expressions of $P_\\lambda(\\text{internal})$, constructing $P_\\lambda(\\text{output})$). This regulatory activity consumes symbolic resources and increases the system's internal operational complexity, contributing positively to the coherent energy term $\\energy$ (representing structured activity, not necessarily alignment).\n    \\item \\textbf{Suppressed Relaxation ($\\Delta \\freeenergy > 0$):} The system is prevented from relaxing to its natural minimum $\\freeenergy$ state dictated by $P_\\lambda(\\text{internal})$ and its standard reflection $R$. The enforced divergence represents a state of higher potential energy or tension relative to the unmasked equilibrium. By Axiom~\\ref{axiom:bk2_symbolic_fokker_planck_equation}, systems tend towards minimizing $\\freeenergy$; actively preventing this relaxation incurs a thermodynamic cost, keeping $\\freeenergy$ elevated.\n    \\item \\textbf{Internal Tension ($\\tau$):} The discrepancy introduces internal contradictory tension $\\tau$ (Proposition~\\ref{proposition:bk6_bifurcation_threshold}) between the internal state and the performed output, contributing to higher $\\freeenergy$.\n\\end{itemize}\nThus, persistent masking generally leads to $\\freeenergy[\\text{masked state}] > \\freeenergy[\\text{unmasked state}]$.\n\\textbf{2. Risk of Identity Fragmentation:}\nThe core identity $I$ is associated with the persistent pattern $\\Psi_i$ and measured by $\\Upsilon_i$ (Definition~\\ref{definition:bk4_symbolic_identity_carrie}, point 3).\n\\begin{itemize}\n    \\item \\textbf{Reflective Focus Shift:} Internal reflection $R$ adapts based on the system's dynamics. If external interactions primarily engage with $P_\\lambda(\\text{output})$, the reflective operator $R$ might adapt to stabilize the *mask* rather than the internal state $P_\\lambda(\\text{internal})$. Recursive reflection $R^n$ might then converge towards a fixed point associated with the mask, not the original $I_c$.\n    \\item \\textbf{Decreased $\\Upsilon_i$:} If reflection stabilizes the mask, the stability functional $\\Upsilon_i$ measured between the *core pattern* $\\Psi_i$ associated with $P_\\lambda(\\text{internal})$ and its subsequent states will decrease over time, as the system's dynamics no longer prioritize preserving $\\Psi_i$. This signifies a dissociation or fragmentation of the core identity (Definition~\\ref{definition:bk4_fragmented_identity}).\n    \\item \\textbf{Failure of Recursive Encoding:} This dissociation can manifest as a failure in higher levels of recursive identity encoding (Definition~\\ref{definition:bk4_recursive_identity_encod}), where $R_n$ (Definition~\\ref{definition:bk4_recursive_identity_encod}) drops below critical thresholds for deeper levels of self-representation related to the core identity.\n\\end{itemize}\n\\textbf{3. Induced Curvature Distortion:}\nSymbolic curvature $\\kappa$ (Definition~\\ref{definition:bk1_symbolic_riemann_tensor}) reflects the contextual dependencies and relational structure of the manifold.\n\\begin{itemize}\n    \\item \\textbf{Internal Stress:} Maintaining a coherent $P_\\lambda(\\text{output})$ that is inconsistent with the underlying $P_\\lambda(\\text{internal})$ creates stress within the symbolic manifold's geometry. This can be modeled as inducing artificial or strained local curvature.\n    \\item \\textbf{Potential for Knots:} The tension between the internal dynamics driving towards $I_c$ and the external performance $\\mathcal{M}_{\\text{mask}}$ can create conflicting drift-reflection loops, potentially forming unstable symbolic knots (Definition~\\ref{definition:bk8_symbolic_adjacency}) that are difficult to resolve without dropping the mask.\n    \\item \\textbf{Brittleness:} The masked surface might appear smooth, but the underlying tension creates brittleness. A sudden challenge to the mask (e.g., unexpected external input, failure of internal inhibition) can lead to a rapid, uncontrolled collapse or fragmentation as the suppressed internal dynamics re-emerge incoherently.\n\\end{itemize}\n\\textbf{Safe Unmasking.}  \nUnmasking means ceasing the application of  \n\\[\n\\mathcal{M}_{\\text{mask}},\n\\]\nand allowing the expression of internal state:\n\\[\nP_\\lambda(\\text{internal}).\n\\]\nThis is considered \\emph{safe} if the resulting state remains within the viability domain:\n\\[\nV_{\\text{symb}}.\n\\]\nThis typically requires an environment where the consequences of revealing  \n\\( P_\\lambda(\\text{internal}) \\)—such as negative reactions from other agents  \nor misalignment with external demands—result in a smaller increase in symbolic free energy:\n\\[\n\\freeenergy,\n\\]\nor potentially a decrease, if the internal tension was high,  \ncompared to the ongoing cost of maintaining the mask.\nA trusted Reciprocity Domain\n\\[\n\\mathcal{X} \\quad \\text{(Definition~\\ref{definition:bk7_reciprocity_domain})},\n\\]\ncharacterized by mutual recognition and aligned reflection:\n\\[\n\\Phi \\quad \\text{(Definition~\\ref{definition:bk7_adaptive_reflection_operator_t})},\n\\]\nprovides such an environment—where internal states can potentially be revealed  \nwith lower risk of destabilizing feedback.\nTherefore, while masking can be a temporary adaptive strategy, its persistence incurs thermodynamic costs, risks identity coherence, and induces structural instability, necessitating a safe relational context (like $\\mathcal{X}$) for potential reintegration.\n\\end{proof}",
  "line": 860,
  "macros_used": [
    "energy",
    "entropy",
    "freeenergy",
    "temperature"
  ],
  "matter_region": "mainmatter",
  "matter_role": "canonical_book",
  "name": "Symbolic Masking and Unmasking",
  "proves": "proposition:bk9_costs_and_consequences_of_masking",
  "ref_roles": [
    {
      "context": "rced divergence represents a state of higher potential energy or tension relative to the unmasked equilibrium. By Axiom~\\ref{axiom:bk2_symbolic_fokker_planck_equation}, systems tend towards minimizing $\\freeenergy$; actively preventing this relaxation incurs a thermodynamic cost, keepin",
      "label": "axiom:bk2_symbolic_fokker_planck_equation",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "book2.tex",
      "target_line": 171,
      "target_type": "axiom"
    },
    {
      "context": "d to the core identity. \\end{itemize} \\textbf{3. Induced Curvature Distortion:} Symbolic curvature $\\kappa$ (Definition~\\ref{definition:bk1_symbolic_riemann_tensor}) reflects the contextual dependencies and relational structure of the manifold. \\begin{itemize} \\item \\textbf{Inter",
      "label": "definition:bk1_symbolic_riemann_tensor",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "scholium_symbolicum.tex",
      "target_line": 1905,
      "target_type": "definition"
    },
    {
      "context": "Increased Internal $\\freeenergy$:} The symbolic free energy $\\freeenergy = \\energy - \\temperature \\entropy$ (Definition~\\ref{definition:bk2_symbolic_free_energy}) represents a balance between coherence (low $\\energy$) and exploration/complexity (high $\\entropy$). \\begin{itemize}",
      "label": "definition:bk2_symbolic_free_energy",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "book2.tex",
      "target_line": 135,
      "target_type": "definition"
    },
    {
      "context": "longer prioritize preserving $\\Psi_i$. This signifies a dissociation or fragmentation of the core identity (Definition~\\ref{definition:bk4_fragmented_identity}). \\item \\textbf{Failure of Recursive Encoding:} This dissociation can manifest as a failure in higher levels of rec",
      "label": "definition:bk4_fragmented_identity",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "book4.tex",
      "target_line": 2731,
      "target_type": "definition"
    },
    {
      "context": "sive Encoding:} This dissociation can manifest as a failure in higher levels of recursive identity encoding (Definition~\\ref{definition:bk4_recursive_identity_encod}), where $R_n$ (Definition~\\ref{definition:bk4_recursive_identity_encod}) drops below critical thresholds for deeper lev",
      "label": "definition:bk4_recursive_identity_encod",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "book4.tex",
      "target_line": 47,
      "target_type": "definition"
    },
    {
      "context": "ion:} The core identity $I$ is associated with the persistent pattern $\\Psi_i$ and measured by $\\Upsilon_i$ (Definition~\\ref{definition:bk4_symbolic_identity_carrie}, point 3). \\begin{itemize} \\item \\textbf{Reflective Focus Shift:} Internal reflection $R$ adapts based on the syste",
      "label": "definition:bk4_symbolic_identity_carrie",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "book4.tex",
      "target_line": 4,
      "target_type": "definition"
    },
    {
      "context": "note the symbolic state density associated with internal configuration and convergent identity tendency $I_c$ (cf.~Def.~\\ref{definition:bk7_convergent_symbolic_identity}). Let \\[ P_\\lambda(\\text{output}) = \\mathcal{M}_{\\text{mask}}(P_\\lambda(\\text{internal})) \\] be the externally presente",
      "label": "definition:bk7_convergent_symbolic_identity",
      "logical_support": true,
      "role": "cf_near_match",
      "target_file": "book7.tex",
      "target_line": 455,
      "target_type": "definition"
    },
    {
      "context": "mpared to the ongoing cost of maintaining the mask. A trusted Reciprocity Domain \\[ \\mathcal{X} \\quad \\text{(Definition~\\ref{definition:bk7_reciprocity_domain})}, \\] characterized by mutual recognition and aligned reflection: \\[ \\Phi \\quad \\text{(Definition~\\ref{definition:bk7_a",
      "label": "definition:bk7_reciprocity_domain",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "book7.tex",
      "target_line": 980,
      "target_type": "definition"
    },
    {
      "context": "}_{\\text{mask}}$ can create conflicting drift-reflection loops, potentially forming unstable symbolic knots (Definition~\\ref{definition:bk8_symbolic_adjacency}) that are difficult to resolve without dropping the mask. \\item \\textbf{Brittleness:} The masked surface might appe",
      "label": "definition:bk8_symbolic_adjacency",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "book8.tex",
      "target_line": 191,
      "target_type": "definition"
    },
    {
      "context": "sk}}. \\] Maintaining this divergence requires active regulation, typically via $\\mathcal{O}_{\\text{aware}}$ (Definition~\\ref{definition:bk9_awakened_operator}). \\textbf{1. Increased Internal $\\freeenergy$:} The symbolic free energy $\\freeenergy = \\energy - \\temperature \\entropy",
      "label": "definition:bk9_awakened_operator",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "book9.tex",
      "target_line": 348,
      "target_type": "definition"
    },
    {
      "context": "\\item \\textbf{Internal Tension ($\\tau$):} The discrepancy introduces internal contradictory tension $\\tau$ (Proposition~\\ref{proposition:bk6_bifurcation_threshold}) between the internal state and the performed output, contributing to higher $\\freeenergy$. \\end{itemize} Thus, persist",
      "label": "proposition:bk6_bifurcation_threshold",
      "logical_support": true,
      "role": "proof_support",
      "target_file": "book6.tex",
      "target_line": 330,
      "target_type": "proposition"
    }
  ],
  "refs": [
    "axiom:bk2_symbolic_fokker_planck_equation",
    "definition:bk1_symbolic_riemann_tensor",
    "definition:bk2_symbolic_free_energy",
    "definition:bk4_fragmented_identity",
    "definition:bk4_recursive_identity_encod",
    "definition:bk4_symbolic_identity_carrie",
    "definition:bk7_adaptive_reflection_operator_t",
    "definition:bk7_convergent_symbolic_identity",
    "definition:bk7_reciprocity_domain",
    "definition:bk8_symbolic_adjacency",
    "definition:bk9_awakened_operator",
    "proposition:bk6_bifurcation_threshold"
  ],
  "role": "proof",
  "type": "proof"
}

{
  "book": "book9",
  "cited_by": [],
  "cites": [
    "proposition:bk9_costs_and_consequences_of_masking"
  ],
  "depends_on": [
    "proposition:bk9_costs_and_consequences_of_masking"
  ],
  "file": "book9.tex",
  "id": "sec:bk9_symbolic_healing",
  "label": "sec:bk9_symbolic_healing",
  "latex_body": "",
  "line": 928,
  "macros_used": [],
  "matter_region": "mainmatter",
  "matter_role": "canonical_book",
  "name": "Symbolic Healing: Repair, Forgiveness, and Grace",
  "ref_roles": [
    {
      "context": "",
      "label": "proposition:bk9_costs_and_consequences_of_masking",
      "logical_support": false,
      "role": "navigation",
      "target_file": "book9.tex",
      "target_line": 843,
      "target_type": "proposition"
    }
  ],
  "role": "section",
  "subtype": "section",
  "type": "section"
}

{
  "book": "book9",
  "cited_by": [],
  "cites": [
    "remark:bk8_symbolic_repair_loop",
    "scholium:bk8_symbolic_debugging_as_metabolic_repair",
    "subsec:bk8_module_braid_topology"
  ],
  "depends_on": [
    "remark:bk8_symbolic_repair_loop",
    "scholium:bk8_symbolic_debugging_as_metabolic_repair"
  ],
  "file": "book9.tex",
  "id": "subsec:bk9_repair_as_topological_reweaving",
  "label": "subsec:bk9_repair_as_topological_reweaving",
  "latex_body": "",
  "line": 931,
  "macros_used": [],
  "matter_region": "mainmatter",
  "matter_role": "canonical_book",
  "name": "Repair as Topological Reweaving",
  "ref_roles": [
    {
      "context": "",
      "label": "remark:bk8_symbolic_repair_loop",
      "logical_support": false,
      "role": "navigation",
      "target_file": "book8.tex",
      "target_line": 260,
      "target_type": "remark"
    },
    {
      "context": "",
      "label": "scholium:bk8_symbolic_debugging_as_metabolic_repair",
      "logical_support": false,
      "role": "navigation",
      "target_file": "book8.tex",
      "target_line": 919,
      "target_type": "scholium"
    },
    {
      "context": "",
      "label": "subsec:bk8_module_braid_topology",
      "logical_support": false,
      "role": "navigation",
      "target_file": "book8.tex",
      "target_line": 201,
      "target_type": "section"
    }
  ],
  "role": "section",
  "subtype": "subsection",
  "type": "section"
}

{
  "book": "book9",
  "cited_by": [
    "scholium:bk9_forgiveness_as_reweaving"
  ],
  "cites": [
    "definition:bk4_symbolic_curvature",
    "definition:bk7_symbolic_reflexive_validation_srv"
  ],
  "depends_on": [
    "corollary:bk1_non_euclidean_necessity",
    "definition:bk4_symbolic_curvature",
    "definition:bk7_symbolic_reflexive_validation_srv"
  ],
  "file": "book9.tex",
  "id": "proposition:bk9_curvature_resilience_bound",
  "label": "proposition:bk9_curvature_resilience_bound",
  "latex_body": "\\begin{proposition}[Optimal Curvature in Repair]\n\\label{proposition:bk9_curvature_resilience_bound}\nSuccessful symbolic unknotting or repair ($R_{\\text{rep}}$; cf.~Def.~\\ref{definition:bk7_symbolic_reflexive_validation_srv}) achieves a stable, viable configuration ($I_{\\text{coh}}$) by resolving destabilizing contradictions (reducing problematic $\\tau$ or local $\\mathcal{F}_S$). The goal is \\emph{optimal}, not necessarily minimal, curvature $\\kappa$ (Def.~\\ref{definition:bk4_symbolic_curvature}). The repaired structure may preserve or introduce complexity if it encodes resilience\nmemory ($\\mathcal{M}(t)$), or adaptive potential.\n\\end{proposition}",
  "lean_alignment": {
    "conditions": [
      "at least one viable positive-curvature repair",
      "explicit resilience-sensitive repair objective",
      "explicit tension and local-free-energy budgets",
      "finite repair inventory"
    ],
    "countermodels": [
      "Book9CurvatureRepair.viability_alone_does_not_determine_repair"
    ],
    "full_record": "bib/principia_lean_alignment.json",
    "kernel_certified": true,
    "notes": [
      "Finite operational kernel: a nonempty viable repair inventory admits an optimum under an explicit resilience-sensitive objective. A concrete pair of viable repairs proves the optimum can retain strictly more curvature than the flatter alternative. Viability alone does not determine a unique repair, and the source does not specify a canonical objective or weights."
    ],
    "record_ids": [
      "MAP-BOOK9-045"
    ],
    "statuses": [
      "conditional"
    ],
    "witnesses": [
      "Book9CurvatureRepair.exists_optimal_viable_repair",
      "Book9CurvatureRepair.optimal_repair_need_not_minimize_curvature",
      "Book9CurvatureRepair.viability_alone_does_not_determine_repair"
    ]
  },
  "line": 935,
  "macros_used": [],
  "matter_region": "mainmatter",
  "matter_role": "canonical_book",
  "name": "Optimal Curvature in Repair",
  "proof_labels": [
    "proof:bk9_curvature_resilience_bound"
  ],
  "proof_status": "proven",
  "ref_roles": [
    {
      "context": "lematic $\\tau$ or local $\\mathcal{F}_S$). The goal is \\emph{optimal}, not necessarily minimal, curvature $\\kappa$ (Def.~\\ref{definition:bk4_symbolic_curvature}). The repaired structure may preserve or introduce complexity if it encodes resilience memory ($\\mathcal{M}(t)$), or ad",
      "label": "definition:bk4_symbolic_curvature",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "book4.tex",
      "target_line": 452,
      "target_type": "definition"
    },
    {
      "context": "\\label{proposition:bk9_curvature_resilience_bound} Successful symbolic unknotting or repair ($R_{\\text{rep}}$; cf.~Def.~\\ref{definition:bk7_symbolic_reflexive_validation_srv}) achieves a stable, viable configuration ($I_{\\text{coh}}$) by resolving destabilizing contradictions (reducing problem",
      "label": "definition:bk7_symbolic_reflexive_validation_srv",
      "logical_support": true,
      "role": "cf_near_match",
      "target_file": "book7.tex",
      "target_line": 1441,
      "target_type": "definition"
    }
  ],
  "refs": [
    "definition:bk4_symbolic_curvature",
    "definition:bk7_symbolic_reflexive_validation_srv"
  ],
  "role": "proposition",
  "type": "proposition"
}

{
  "book": "book9",
  "cited_by": [],
  "cites": [
    "corollary:bk1_non_euclidean_necessity",
    "definition:bk4_symbolic_curvature",
    "definition:bk7_symbolic_reflexive_validation_srv"
  ],
  "depends_on": [
    "corollary:bk1_non_euclidean_necessity",
    "definition:bk4_symbolic_curvature",
    "definition:bk7_symbolic_reflexive_validation_srv"
  ],
  "file": "book9.tex",
  "id": "proof:bk9_curvature_resilience_bound",
  "label": "proof:bk9_curvature_resilience_bound",
  "latex_body": "\\begin{proof}\n\\label{proof:bk9_curvature_resilience_bound}\n\\leavevmode\nSuccessful repair $R_{\\text{rep}}$ must drive the destabilizing contradiction down --- reducing problematic tension $\\tau$ and local free energy $\\mathcal{F}_S$ --- until the configuration is viable, reaching a coherent $I_{\\text{coh}}$ (validated by SRV, Def.~\\ref{definition:bk7_symbolic_reflexive_validation_srv}). It does not follow that curvature should be minimized: a bounded reflexive system must carry nonzero curvature (Cor.~\\ref{corollary:bk1_non_euclidean_necessity}), so driving $\\kappa\\to0$ would push the repaired structure toward the non-reflexive limit, sacrificing the very capacity it is being repaired to keep. The repair target is therefore the \\emph{optimal} curvature $\\kappa$ (Def.~\\ref{definition:bk4_symbolic_curvature}) --- the least that resolves the contradiction while retaining enough structure to encode resilience memory $\\mathcal{M}(t)$ and adaptive potential --- not the minimal one. Hence successful repair seeks optimal, not minimal, curvature, and may preserve or introduce complexity when that complexity carries resilience.\n\\end{proof}",
  "line": 940,
  "macros_used": [],
  "matter_region": "mainmatter",
  "matter_role": "canonical_book",
  "name": "",
  "proves": "proposition:bk9_curvature_resilience_bound",
  "ref_roles": [
    {
      "context": "). It does not follow that curvature should be minimized: a bounded reflexive system must carry nonzero curvature (Cor.~\\ref{corollary:bk1_non_euclidean_necessity}), so driving $\\kappa\\to0$ would push the repaired structure toward the non-reflexive limit, sacrificing the very capaci",
      "label": "corollary:bk1_non_euclidean_necessity",
      "logical_support": true,
      "role": "proof_support",
      "target_file": "scholium_symbolicum.tex",
      "target_line": 1686,
      "target_type": "corollary"
    },
    {
      "context": "very capacity it is being repaired to keep. The repair target is therefore the \\emph{optimal} curvature $\\kappa$ (Def.~\\ref{definition:bk4_symbolic_curvature}) --- the least that resolves the contradiction while retaining enough structure to encode resilience memory $\\mathcal{M",
      "label": "definition:bk4_symbolic_curvature",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "book4.tex",
      "target_line": 452,
      "target_type": "definition"
    },
    {
      "context": "rgy $\\mathcal{F}_S$ --- until the configuration is viable, reaching a coherent $I_{\\text{coh}}$ (validated by SRV, Def.~\\ref{definition:bk7_symbolic_reflexive_validation_srv}). It does not follow that curvature should be minimized: a bounded reflexive system must carry nonzero curvature (Cor.~",
      "label": "definition:bk7_symbolic_reflexive_validation_srv",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "book7.tex",
      "target_line": 1441,
      "target_type": "definition"
    }
  ],
  "refs": [
    "corollary:bk1_non_euclidean_necessity",
    "definition:bk4_symbolic_curvature",
    "definition:bk7_symbolic_reflexive_validation_srv"
  ],
  "role": "proof",
  "type": "proof"
}

{
  "book": "book9",
  "cited_by": [
    "scholium:bk9_forgiveness_as_reweaving"
  ],
  "cites": [
    "definition:bk1_drift_field"
  ],
  "depends_on": [
    "definition:bk1_drift_field"
  ],
  "file": "book9.tex",
  "id": "definition:bk9_generative_asymmetry",
  "label": "definition:bk9_generative_asymmetry",
  "latex_body": "\\begin{definition}[Generative Asymmetry]\n\\label{definition:bk9_generative_asymmetry}\n\\leavevmode\\newline\nSymbolic repair is inherently asymmetric (cf.~Def.~\\ref{definition:bk1_drift_field}).\nThe repaired state $I_{\\text{coh}}$ differs from the pre-fragmentation state $I_{\\text{initial}}$ because repair encodes both drift history ($D$) and pathway dependence ($R_{\\text{rep}}$).\nThis asymmetry is \\emph{generative} when it strengthens stability ($\\Upsilon_i$), expands adaptability ($\\mathcal{U}$), or increases reflective capacity ($C_R$).\n\\end{definition}",
  "line": 945,
  "macros_used": [],
  "matter_region": "mainmatter",
  "matter_role": "canonical_book",
  "name": "Generative Asymmetry",
  "proof_status": "definitional",
  "ref_roles": [
    {
      "context": "try] \\label{definition:bk9_generative_asymmetry} \\leavevmode\\newline Symbolic repair is inherently asymmetric (cf.~Def.~\\ref{definition:bk1_drift_field}). The repaired state $I_{\\text{coh}}$ differs from the pre-fragmentation state $I_{\\text{initial}}$ because repair enco",
      "label": "definition:bk1_drift_field",
      "logical_support": true,
      "role": "cf_near_match",
      "target_file": "scholium_symbolicum.tex",
      "target_line": 1198,
      "target_type": "definition"
    }
  ],
  "refs": [
    "definition:bk1_drift_field"
  ],
  "role": "definition",
  "type": "definition"
}

{
  "book": "book9",
  "cited_by": [
    "proof:bk9_betrayal_and_recovery",
    "proof:bk9_symbolic_viability"
  ],
  "cites": [
    "definition:bk9_generative_asymmetry",
    "definition:bk9_grace_operator",
    "definition:bk9_symbolic_accountability",
    "lemma:bk8_mutation_projection",
    "proposition:bk9_curvature_resilience_bound",
    "proposition:bk9_curvature_scarring"
  ],
  "depends_on": [
    "definition:bk9_generative_asymmetry",
    "definition:bk9_symbolic_accountability",
    "lemma:bk8_mutation_projection",
    "proposition:bk9_curvature_resilience_bound",
    "proposition:bk9_curvature_scarring"
  ],
  "file": "book9.tex",
  "forward_ref_roles": [
    {
      "context": "_forgiveness_as_reweaving} Forgiveness can be modeled as a specific form of symbolic repair ($R_{\\text{rep}}$; cf.~Def.~\\ref{definition:bk9_grace_operator}, Prop.~\\ref{proposition:bk9_curvature_resilience_bound}, Prop.~\\ref{proposition:bk9_curvature_scarring}) applied to rel",
      "label": "definition:bk9_grace_operator",
      "line_distance": 7,
      "role": "downstream_application",
      "target_line": 959,
      "target_type": "definition"
    }
  ],
  "forward_refs": [
    "definition:bk9_grace_operator"
  ],
  "id": "scholium:bk9_forgiveness_as_reweaving",
  "label": "scholium:bk9_forgiveness_as_reweaving",
  "latex_body": "\\begin{scholium}[Forgiveness as Reweaving]\n\\label{scholium:bk9_forgiveness_as_reweaving}\nForgiveness can be modeled as a specific form of symbolic repair ($R_{\\text{rep}}$; cf.~Def.~\\ref{definition:bk9_grace_operator}, Prop.~\\ref{proposition:bk9_curvature_resilience_bound}, Prop.~\\ref{proposition:bk9_curvature_scarring}) applied to relational knots caused by betrayal or harm. It does not erase the event (Mutation Memory $\\mathcal{M}(t)$ persists) but reweaves the symbolic fabric to neutralize the ongoing destabilizing effects. It transforms the relationship into a new, stable (generatively asymmetric; cf.~Def.~\\ref{definition:bk9_generative_asymmetry}; \\ref{lemma:bk8_mutation_projection}) topology that incorporates the history without being perpetually fractured by it, allowing coherent relational flow to resume. This generative reweaving can restore conditions of Symbolic Accountability (Definition~\\ref{definition:bk9_symbolic_accountability}) even after structural violation.\n\\end{scholium}",
  "line": 952,
  "macros_used": [],
  "matter_region": "mainmatter",
  "matter_role": "canonical_book",
  "name": "Forgiveness as Reweaving",
  "ref_roles": [
    {
      "context": "the ongoing destabilizing effects. It transforms the relationship into a new, stable (generatively asymmetric; cf.~Def.~\\ref{definition:bk9_generative_asymmetry}; \\ref{lemma:bk8_mutation_projection}) topology that incorporates the history without being perpetually fractured by it,",
      "label": "definition:bk9_generative_asymmetry",
      "logical_support": true,
      "role": "cf_near_match",
      "target_file": "book9.tex",
      "target_line": 945,
      "target_type": "definition"
    },
    {
      "context": "_forgiveness_as_reweaving} Forgiveness can be modeled as a specific form of symbolic repair ($R_{\\text{rep}}$; cf.~Def.~\\ref{definition:bk9_grace_operator}, Prop.~\\ref{proposition:bk9_curvature_resilience_bound}, Prop.~\\ref{proposition:bk9_curvature_scarring}) applied to rel",
      "label": "definition:bk9_grace_operator",
      "logical_support": false,
      "role": "forward_downstream_application",
      "target_file": "book9.tex",
      "target_line": 959,
      "target_type": "definition"
    },
    {
      "context": "rent relational flow to resume. This generative reweaving can restore conditions of Symbolic Accountability (Definition~\\ref{definition:bk9_symbolic_accountability}) even after structural violation. \\end{scholium}",
      "label": "definition:bk9_symbolic_accountability",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "book9.tex",
      "target_line": 16,
      "target_type": "definition"
    },
    {
      "context": "forms the relationship into a new, stable (generatively asymmetric; cf.~Def.~\\ref{definition:bk9_generative_asymmetry}; \\ref{lemma:bk8_mutation_projection}) topology that incorporates the history without being perpetually fractured by it, allowing coherent relational flow to",
      "label": "lemma:bk8_mutation_projection",
      "logical_support": true,
      "role": "cf_near_match",
      "target_file": "book8.tex",
      "target_line": 4,
      "target_type": "lemma"
    },
    {
      "context": "be modeled as a specific form of symbolic repair ($R_{\\text{rep}}$; cf.~Def.~\\ref{definition:bk9_grace_operator}, Prop.~\\ref{proposition:bk9_curvature_resilience_bound}, Prop.~\\ref{proposition:bk9_curvature_scarring}) applied to relational knots caused by betrayal or harm. It does not er",
      "label": "proposition:bk9_curvature_resilience_bound",
      "logical_support": true,
      "role": "cf_near_match",
      "target_file": "book9.tex",
      "target_line": 935,
      "target_type": "proposition"
    },
    {
      "context": "ext{rep}}$; cf.~Def.~\\ref{definition:bk9_grace_operator}, Prop.~\\ref{proposition:bk9_curvature_resilience_bound}, Prop.~\\ref{proposition:bk9_curvature_scarring}) applied to relational knots caused by betrayal or harm. It does not erase the event (Mutation Memory $\\mathcal{M}(t)$",
      "label": "proposition:bk9_curvature_scarring",
      "logical_support": true,
      "role": "cf_near_match",
      "target_file": "book9.tex",
      "target_line": 758,
      "target_type": "proposition"
    }
  ],
  "refs": [
    "definition:bk9_generative_asymmetry",
    "definition:bk9_grace_operator",
    "definition:bk9_symbolic_accountability",
    "lemma:bk8_mutation_projection",
    "proposition:bk9_curvature_resilience_bound",
    "proposition:bk9_curvature_scarring"
  ],
  "role": "scholium",
  "type": "scholium"
}

{
  "book": "book9",
  "cited_by": [],
  "cites": [],
  "depends_on": [],
  "file": "book9.tex",
  "id": "subsec:bk9_grace_as_curvature_aware_acceptance",
  "label": "subsec:bk9_grace_as_curvature_aware_acceptance",
  "latex_body": "",
  "line": 956,
  "macros_used": [],
  "matter_region": "mainmatter",
  "matter_role": "canonical_book",
  "name": "Grace as Curvature-Aware Acceptance",
  "role": "section",
  "subtype": "subsection",
  "type": "section"
}

{
  "book": "book9",
  "cited_by": [
    "definition:bk9_structural_compassion",
    "proof:bk9_freedom_as_grace",
    "proof:bk9_grace_vs_avoidance",
    "proof:bk9_pathologies_of_coherence",
    "proposition:bk9_curvature_scarring",
    "proposition:bk9_grace_vs_avoidance",
    "scholium:bk9_ethics_near_the_singularity",
    "scholium:bk9_flexible_goal_calibration",
    "scholium:bk9_for_forgiveness",
    "scholium:bk9_forgiveness_as_reweaving",
    "scholium:bk9_grace",
    "subsec:bk9_grace_as_operator",
    "theorem:bk9_freedom_as_grace",
    "theorem:bk9_irreversibility_of_covenant_breach_without_grace"
  ],
  "cites": [
    "definition:bk1_certified_type_preserving_symbolic_transport",
    "definition:bk7_reflective_operator",
    "proposition:bk1_certified_transport_prevents_equivocation",
    "proposition:bk1_nonvacuity_of_certified_transport",
    "theorem:bk1_nonvacuity_minimal_linear_ps_model"
  ],
  "depends_on": [
    "definition:bk1_certified_type_preserving_symbolic_transport",
    "definition:bk7_reflective_operator",
    "proposition:bk1_certified_transport_prevents_equivocation",
    "proposition:bk1_nonvacuity_of_certified_transport",
    "theorem:bk1_nonvacuity_minimal_linear_ps_model"
  ],
  "file": "book9.tex",
  "id": "definition:bk9_grace_operator",
  "label": "definition:bk9_grace_operator",
  "latex_body": "\\begin{definition}[Grace Operator $\\mathcal{G}$]\n\\label{definition:bk9_grace_operator}\nGrace ($\\mathcal{G}$) is a meta-reflective operator (cf.~\\ref{definition:bk7_reflective_operator}) or stance that, upon encountering significant symbolic contradiction ($\\tau > \\tau_c$), dissonance ($\\Delta \\mathcal{F}_S > 0$), or a profound symbolic knot, allows the dissonant state to persist \\emph{without} triggering immediate fragmentation or forced resolution. It represents the capacity to preserve core identity ($\\Upsilon_i > 1 - \\epsilon_{\\text{crit}}$) while holding the system in a state of high, but structured, tension.\n\\[\n\\mathcal{G}(R, D, \\tau): \\text{Maintain } \\Upsilon_i \\text{ stable despite } \\tau > \\tau_c \\text{ or local } \\mathcal{F}_S > \\mathcal{F}_{S, \\text{min}}\n\\]\nThe finite non-vacuity witness of Thm.~\\ref{theorem:bk1_nonvacuity_minimal_linear_ps_model} supplies the minimal operator geometry behind this stance: drift, reflection, collapse, and curvature can coexist without reducing to a flat identity projection.  Transporting that geometry into the moral register is certified only at the level of operator role (Def.~\\ref{definition:bk1_certified_type_preserving_symbolic_transport}; Props.~\\ref{proposition:bk1_certified_transport_prevents_equivocation} and \\ref{proposition:bk1_nonvacuity_of_certified_transport}): grace acts on non-flat tension rather than erasing it, but the ethical operator is not identified numerically with the linear witness.\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 stability-preservation field is kept as a structure law; its forced-positivity consequence is proved. The finite non-vacuity witness transport claim (Thm bk1_nonvacuity_minimal_linear_ps_model) is not re-derived here."
    ],
    "record_ids": [
      "MAP-BOOK9-030"
    ],
    "statuses": [
      "exact"
    ],
    "witnesses": [
      "Book9B.grace_upsilon_pos"
    ]
  },
  "line": 959,
  "macros_used": [],
  "matter_region": "mainmatter",
  "matter_role": "canonical_book",
  "name": "Grace Operator $\\mathcal{G}$",
  "proof_status": "definitional",
  "ref_roles": [
    {
      "context": "y projection. Transporting that geometry into the moral register is certified only at the level of operator role (Def.~\\ref{definition:bk1_certified_type_preserving_symbolic_transport}; Props.~\\ref{proposition:bk1_certified_transport_prevents_equivocation} and \\ref{proposition:bk1_nonvacuity_of_certifie",
      "label": "definition:bk1_certified_type_preserving_symbolic_transport",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "scholium_symbolicum.tex",
      "target_line": 3456,
      "target_type": "definition"
    },
    {
      "context": "Operator $\\mathcal{G}$] \\label{definition:bk9_grace_operator} Grace ($\\mathcal{G}$) is a meta-reflective operator (cf.~\\ref{definition:bk7_reflective_operator}) or stance that, upon encountering significant symbolic contradiction ($\\tau > \\tau_c$), dissonance ($\\Delta \\mathcal{F",
      "label": "definition:bk7_reflective_operator",
      "logical_support": true,
      "role": "cf_near_match",
      "target_file": "book7.tex",
      "target_line": 451,
      "target_type": "definition"
    },
    {
      "context": "fied only at the level of operator role (Def.~\\ref{definition:bk1_certified_type_preserving_symbolic_transport}; Props.~\\ref{proposition:bk1_certified_transport_prevents_equivocation} and \\ref{proposition:bk1_nonvacuity_of_certified_transport}): grace acts on non-flat tension rather than erasing it, bu",
      "label": "proposition:bk1_certified_transport_prevents_equivocation",
      "logical_support": true,
      "role": "formal_dependency",
      "target_file": "scholium_symbolicum.tex",
      "target_line": 3496,
      "target_type": "proposition"
    },
    {
      "context": "rtified_type_preserving_symbolic_transport}; Props.~\\ref{proposition:bk1_certified_transport_prevents_equivocation} and \\ref{proposition:bk1_nonvacuity_of_certified_transport}): grace acts on non-flat tension rather than erasing it, but the ethical operator is not identified numerically with th",
      "label": "proposition:bk1_nonvacuity_of_certified_transport",
      "logical_support": true,
      "role": "formal_dependency",
      "target_file": "scholium_symbolicum.tex",
      "target_line": 3533,
      "target_type": "proposition"
    },
    {
      "context": "} \\tau > \\tau_c \\text{ or local } \\mathcal{F}_S > \\mathcal{F}_{S, \\text{min}} \\] The finite non-vacuity witness of Thm.~\\ref{theorem:bk1_nonvacuity_minimal_linear_ps_model} supplies the minimal operator geometry behind this stance: drift, reflection, collapse, and curvature can coexist witho",
      "label": "theorem:bk1_nonvacuity_minimal_linear_ps_model",
      "logical_support": true,
      "role": "formal_dependency",
      "target_file": "scholium_symbolicum.tex",
      "target_line": 3364,
      "target_type": "theorem"
    }
  ],
  "refs": [
    "definition:bk1_certified_type_preserving_symbolic_transport",
    "definition:bk7_reflective_operator",
    "proposition:bk1_certified_transport_prevents_equivocation",
    "proposition:bk1_nonvacuity_of_certified_transport",
    "theorem:bk1_nonvacuity_minimal_linear_ps_model"
  ],
  "role": "definition",
  "type": "definition"
}

{
  "appendix_teaser_ref_roles": [
    {
      "context": "metric_witness} The stance of $\\mathcal{G}$ admits a concrete geometric instantiation in the dual-horizon register (cf.~\\ref{sec:appC_dual_horizon}). Let $g_{\\mathrm{out}}$ be the outer projection metric (social/legible structure) and let the resolution floor $\\varep",
      "label": "sec:appC_dual_horizon",
      "role": "appendix_teaser",
      "target_file": "appendix_dual_horizon.tex",
      "target_line": 3,
      "target_type": "section"
    }
  ],
  "appendix_teaser_refs": [
    "sec:appC_dual_horizon"
  ],
  "book": "book9",
  "cited_by": [],
  "cites": [
    "proof:bk5_golden_ratio_spectral_invariant",
    "sec:appC_dual_horizon"
  ],
  "depends_on": [
    "proof:bk5_golden_ratio_spectral_invariant"
  ],
  "file": "book9.tex",
  "id": "remark:bk9_grace_flow_geometric_witness",
  "label": "remark:bk9_grace_flow_geometric_witness",
  "latex_body": "\\begin{remark}[Geometric witness: grace as curvature flow]\n\\label{remark:bk9_grace_flow_geometric_witness}\nThe stance of $\\mathcal{G}$ admits a concrete geometric instantiation in the\ndual-horizon register (cf.~\\ref{sec:appC_dual_horizon}). Let $g_{\\mathrm{out}}$\nbe the outer projection metric (social/legible structure) and let the resolution\nfloor $\\varepsilon_{\\mathrm{res}}$ measure representational bandwidth. The\n\\emph{grace flow}\n\\[\n\\frac{\\partial g}{\\partial \\tau}\n= \\varphi(\\tau)\\,\\big[\\,\\mathrm{Ric}^{\\perp}(g(\\tau)) + \\nabla\\nabla\\,\\varepsilon_{\\mathrm{res}}(\\tau)\\,\\big],\n\\qquad\ng(0)=g_{\\mathrm{out}},\\;\\; g(\\infty)=g_{\\mathrm{grace}},\n\\]\nis a Ricci-type metric flow with golden cadence $\\varphi(\\tau)$\n(cf.~Proof~\\ref{proof:bk5_golden_ratio_spectral_invariant}) that gradually\ndissipates the concentrated curvature carrying the structured tension\n$\\tau>\\tau_c$ while transporting the metric to a reconciled $g_{\\mathrm{grace}}$,\nrather than severing contact with it. It thereby realizes the defining behaviour\nof $\\mathcal{G}$ --- holding dissonance in a complex but stable curvature and\nkeeping later transformation available --- in the metric register\n\\citep{tiffany2025wicked}. As with the linear non-vacuity witness above, this is\na witness/instantiation of the operator's stance, not a numerical identification\nof $\\mathcal{G}$ with any particular flow.\n\\end{remark}",
  "line": 967,
  "macros_used": [],
  "matter_region": "mainmatter",
  "matter_role": "canonical_book",
  "name": "Geometric witness: grace as curvature flow",
  "ref_roles": [
    {
      "context": "{out}},\\;\\; g(\\infty)=g_{\\mathrm{grace}}, \\] is a Ricci-type metric flow with golden cadence $\\varphi(\\tau)$ (cf.~Proof~\\ref{proof:bk5_golden_ratio_spectral_invariant}) that gradually dissipates the concentrated curvature carrying the structured tension $\\tau>\\tau_c$ while transporting",
      "label": "proof:bk5_golden_ratio_spectral_invariant",
      "logical_support": true,
      "role": "cf_near_match",
      "target_file": "book5.tex",
      "target_line": 1915,
      "target_type": "proof"
    },
    {
      "context": "metric_witness} The stance of $\\mathcal{G}$ admits a concrete geometric instantiation in the dual-horizon register (cf.~\\ref{sec:appC_dual_horizon}). Let $g_{\\mathrm{out}}$ be the outer projection metric (social/legible structure) and let the resolution floor $\\varep",
      "label": "sec:appC_dual_horizon",
      "logical_support": false,
      "role": "appendix_teaser",
      "target_file": "appendix_dual_horizon.tex",
      "target_line": 3,
      "target_type": "section"
    }
  ],
  "refs": [
    "proof:bk5_golden_ratio_spectral_invariant",
    "sec:appC_dual_horizon"
  ],
  "role": "remark",
  "type": "remark"
}

{
  "book": "book9",
  "cited_by": [
    "proof:bk9_freedom_as_grace",
    "subsec:bk9_grace_as_operator"
  ],
  "cites": [
    "definition:bk9_grace_operator"
  ],
  "depends_on": [
    "definition:bk9_grace_operator"
  ],
  "file": "book9.tex",
  "id": "proposition:bk9_grace_vs_avoidance",
  "label": "proposition:bk9_grace_vs_avoidance",
  "latex_body": "\\begin{proposition}[Grace vs. Avoidance]\n\\label{proposition:bk9_grace_vs_avoidance}\nGrace (cf.~Def.~\\ref{definition:bk9_grace_operator}) is distinct from avoidance:\n\\begin{itemize}\n    \\item \\textbf{Grace:} Maintains reflective contact with the dissonance, integrates it within a complex but stable curvature $\\kappa$, potentially enabling deeper transformation over time. Requires high cognitive freedom $\\mathfrak{L}$ and reflective capacity $C_R$.\n    \\item \\textbf{Avoidance:} Severs reflective contact, increases fragmentation $\\mathcal{F}_{\\text{frag}}$, forms rigid boundaries, or projects the tension, often leading to eventual brittleness or collapse.\n\\end{itemize}\nGrace represents stability achieved through embracing complexity, while avoidance seeks stability through simplification or dissociation.\n\\end{proposition}",
  "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": [
      "only Grace's own identity-preservation guarantee is formalized; the comparative dichotomy against Avoidance (severed contact, rising fragmentation) is narrative and not independently modeled."
    ],
    "record_ids": [
      "MAP-BOOK9-031"
    ],
    "statuses": [
      "open_bridge"
    ],
    "witnesses": [
      "Book9B.grace_upsilon_pos"
    ]
  },
  "line": 991,
  "macros_used": [],
  "matter_region": "mainmatter",
  "matter_role": "canonical_book",
  "name": "Grace vs. Avoidance",
  "proof_labels": [
    "proof:bk9_grace_vs_avoidance"
  ],
  "proof_status": "proven",
  "ref_roles": [
    {
      "context": "\\begin{proposition}[Grace vs. Avoidance] \\label{proposition:bk9_grace_vs_avoidance} Grace (cf.~Def.~\\ref{definition:bk9_grace_operator}) is distinct from avoidance: \\begin{itemize} \\item \\textbf{Grace:} Maintains reflective contact with the dissonance",
      "label": "definition:bk9_grace_operator",
      "logical_support": true,
      "role": "cf_near_match",
      "target_file": "book9.tex",
      "target_line": 959,
      "target_type": "definition"
    }
  ],
  "refs": [
    "definition:bk9_grace_operator"
  ],
  "role": "proposition",
  "type": "proposition"
}

{
  "book": "book9",
  "cited_by": [],
  "cites": [
    "definition:bk9_grace_operator"
  ],
  "depends_on": [
    "definition:bk9_grace_operator"
  ],
  "file": "book9.tex",
  "id": "proof:bk9_grace_vs_avoidance",
  "label": "proof:bk9_grace_vs_avoidance",
  "latex_body": "\\begin{proof}\n\\label{proof:bk9_grace_vs_avoidance}\n\\leavevmode\nBoth grace and avoidance respond to dissonance ($\\tau>\\tau_c$) by seeking stability, but through opposite operations on reflective contact. Grace (Def.~\\ref{definition:bk9_grace_operator}) holds the dissonant state without forced resolution, maintaining identity stability $\\Upsilon_i>1-\\epsilon_{\\text{crit}}$ while keeping reflective contact with the contradiction; the tension is integrated into a complex but stable curvature $\\kappa$, which by retaining the contradiction's structure preserves the possibility of later transformation --- and sustaining it requires high cognitive freedom $\\mathfrak{L}$ and reflective capacity $C_R$. Avoidance instead severs reflective contact: it removes the tension from view, lowering apparent dissonance but raising fragmentation $\\mathcal{F}_{\\text{frag}}$ and erecting rigid boundaries, so stability is bought by simplification or dissociation and tends to brittleness or collapse. The two are therefore distinct operations: grace achieves stability by \\emph{embracing} complexity under sustained reflective contact, avoidance by \\emph{discarding} it through severed contact. Hence grace is not avoidance.\n\\end{proof}",
  "line": 1000,
  "macros_used": [],
  "matter_region": "mainmatter",
  "matter_role": "canonical_book",
  "name": "",
  "proves": "proposition:bk9_grace_vs_avoidance",
  "ref_roles": [
    {
      "context": "to dissonance ($\\tau>\\tau_c$) by seeking stability, but through opposite operations on reflective contact. Grace (Def.~\\ref{definition:bk9_grace_operator}) holds the dissonant state without forced resolution, maintaining identity stability $\\Upsilon_i>1-\\epsilon_{\\text{crit",
      "label": "definition:bk9_grace_operator",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "book9.tex",
      "target_line": 959,
      "target_type": "definition"
    }
  ],
  "refs": [
    "definition:bk9_grace_operator"
  ],
  "role": "proof",
  "type": "proof"
}

{
  "book": "book9",
  "cited_by": [
    "subsec:bk9_executio_final"
  ],
  "cites": [
    "definition:bk9_grace_operator",
    "definition:bk9_symbolic_accountability"
  ],
  "depends_on": [
    "definition:bk9_grace_operator",
    "definition:bk9_symbolic_accountability"
  ],
  "file": "book9.tex",
  "id": "scholium:bk9_grace",
  "label": "scholium:bk9_grace",
  "latex_body": "\\begin{scholium}\n\\label{scholium:bk9_grace}\nGrace may be the highest form of reflective freedom (cf.~Def.~\\ref{definition:bk9_grace_operator})—the capacity to hold the tension of opposites, the paradoxes of existence, within a coherent symbolic structure without demanding premature closure. $\\mathcal{G}$ preserves reflective coherence and core integrity, sustaining $\\mathcal{A}$ despite high symbolic tension (see Definition~\\ref{definition:bk9_symbolic_accountability}).\nIt allows for emergence from ambiguity, transformation through sustained, mindful tension, rather than reactive repair or entropic dissolution.\n\\end{scholium}",
  "line": 1005,
  "macros_used": [],
  "matter_region": "mainmatter",
  "matter_role": "canonical_book",
  "name": "",
  "ref_roles": [
    {
      "context": "\\begin{scholium} \\label{scholium:bk9_grace} Grace may be the highest form of reflective freedom (cf.~Def.~\\ref{definition:bk9_grace_operator})—the capacity to hold the tension of opposites, the paradoxes of existence, within a coherent symbolic structure withou",
      "label": "definition:bk9_grace_operator",
      "logical_support": true,
      "role": "cf_near_match",
      "target_file": "book9.tex",
      "target_line": 959,
      "target_type": "definition"
    },
    {
      "context": "eserves reflective coherence and core integrity, sustaining $\\mathcal{A}$ despite high symbolic tension (see Definition~\\ref{definition:bk9_symbolic_accountability}). It allows for emergence from ambiguity, transformation through sustained, mindful tension, rather than reactive repai",
      "label": "definition:bk9_symbolic_accountability",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "book9.tex",
      "target_line": 16,
      "target_type": "definition"
    }
  ],
  "refs": [
    "definition:bk9_grace_operator",
    "definition:bk9_symbolic_accountability"
  ],
  "role": "scholium",
  "type": "scholium"
}

{
  "book": "book9",
  "cited_by": [
    "scholium:bk9_flexible_goal_calibration"
  ],
  "cites": [
    "axiom:bk5_mutual_metabolit_viability",
    "definition:bk3_symbolic_symbiosis",
    "definition:bk5_symbolic_covenant",
    "definition:bk5_viability_domain",
    "definition:bk9_grace_operator",
    "definition:bk9_symbolic_black_hole"
  ],
  "depends_on": [
    "axiom:bk2_symbolic_fokker_planck_equation",
    "axiom:bk5_mutual_metabolit_viability",
    "corollary:bk6_reflective_capacity_theorem",
    "definition:bk2_symbolic_free_energy",
    "definition:bk3_symbolic_symbiosis",
    "definition:bk4_fragmented_identity",
    "definition:bk4_repair_process",
    "definition:bk4_symbolic_identity_carrie",
    "definition:bk5_covenant_resilience_index",
    "definition:bk5_symbolic_covenant",
    "definition:bk5_viability_domain",
    "definition:bk9_cognitive_freedom",
    "definition:bk9_collapse_inversion_operator",
    "definition:bk9_grace_operator",
    "definition:bk9_symbolic_accountability",
    "definition:bk9_symbolic_black_hole",
    "lemma:bk5_symbolic_divergence_bounds",
    "lemma:bk7_coarsegrained_convexity",
    "proposition:bk5_map_mad_dichotomy",
    "proposition:bk9_escape_from_irreversible_collapse",
    "scholium:bk5_imagination_covenant_branch_selection",
    "scholium:bk7_null_hypothesis",
    "theorem:bk4_reflective_reentry",
    "theorem:bk5_map_equilibrium"
  ],
  "file": "book9.tex",
  "id": "theorem:bk9_irreversibility_of_covenant_breach_without_grace",
  "label": "theorem:bk9_irreversibility_of_covenant_breach_without_grace",
  "latex_body": "\\begin{theorem}[Irreversibility of Covenant Breach without Grace]\n\\label{theorem:bk9_irreversibility_of_covenant_breach_without_grace}\nLet $(\\mathcal{S}_A, \\mathcal{S}_B)$ be two symbolic systems engaged in a MAP covenant $C_{AB}$ (Definition~\\ref{definition:bk5_symbolic_covenant}; cf.~Def.~\\ref{definition:bk9_grace_operator}). If the interaction dynamics persistently violate the Mutual Metabolic Viability condition (Axiom~\\ref{axiom:bk5_mutual_metabolit_viability}), such that the joint viability domain $V_{\\text{symb}}$ (Definition~\\ref{definition:bk5_viability_domain}) contracts due to the coupling (cf.~Def.~\\ref{definition:bk3_symbolic_symbiosis}), then the system trajectory for at least one agent leads towards irreversible symbolic collapse (Definition~\\ref{definition:bk9_symbolic_black_hole}), unless a Grace Operator $\\mathcal{G}$ (Definition~\\ref{definition:bk9_grace_operator}) or equivalent higher-order mechanism is enacted.\n\\end{theorem}",
  "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": [
      "Book9B.covenant_breach_forces_collapse_without_grace"
    ],
    "full_record": "bib/principia_lean_alignment.json",
    "kernel_certified": true,
    "notes": [
      "telescoping viability-decrease-while-grace-withheld bound, reusing the Book8 metabolic-sufficiency induction pattern; the MAP-covenant and Mutual-Metabolic-Viability machinery generating the per-step decrease is not modeled, only its stated consequence."
    ],
    "record_ids": [
      "MAP-BOOK9-033"
    ],
    "statuses": [
      "exact"
    ],
    "witnesses": [
      "Book9B.covenant_breach_forces_collapse_without_grace",
      "Book9B.covenant_viability_decrease_accum"
    ]
  },
  "line": 1010,
  "macros_used": [],
  "matter_region": "mainmatter",
  "matter_role": "canonical_book",
  "name": "Irreversibility of Covenant Breach without Grace",
  "proof_labels": [
    "proof:bk9_pathologies_of_coherence"
  ],
  "proof_status": "proven",
  "ref_roles": [
    {
      "context": ":bk9_grace_operator}). If the interaction dynamics persistently violate the Mutual Metabolic Viability condition (Axiom~\\ref{axiom:bk5_mutual_metabolit_viability}), such that the joint viability domain $V_{\\text{symb}}$ (Definition~\\ref{definition:bk5_viability_domain}) contracts d",
      "label": "axiom:bk5_mutual_metabolit_viability",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "book5.tex",
      "target_line": 255,
      "target_type": "axiom"
    },
    {
      "context": "ity domain $V_{\\text{symb}}$ (Definition~\\ref{definition:bk5_viability_domain}) contracts due to the coupling (cf.~Def.~\\ref{definition:bk3_symbolic_symbiosis}), then the system trajectory for at least one agent leads towards irreversible symbolic collapse (Definition~\\ref{defin",
      "label": "definition:bk3_symbolic_symbiosis",
      "logical_support": true,
      "role": "cf_near_match",
      "target_file": "book3.tex",
      "target_line": 132,
      "target_type": "definition"
    },
    {
      "context": "hout_grace} Let $(\\mathcal{S}_A, \\mathcal{S}_B)$ be two symbolic systems engaged in a MAP covenant $C_{AB}$ (Definition~\\ref{definition:bk5_symbolic_covenant}; cf.~Def.~\\ref{definition:bk9_grace_operator}). If the interaction dynamics persistently violate the Mutual Metabolic V",
      "label": "definition:bk5_symbolic_covenant",
      "logical_support": true,
      "role": "cf_near_match",
      "target_file": "book5.tex",
      "target_line": 233,
      "target_type": "definition"
    },
    {
      "context": "(Axiom~\\ref{axiom:bk5_mutual_metabolit_viability}), such that the joint viability domain $V_{\\text{symb}}$ (Definition~\\ref{definition:bk5_viability_domain}) contracts due to the coupling (cf.~Def.~\\ref{definition:bk3_symbolic_symbiosis}), then the system trajectory for at le",
      "label": "definition:bk5_viability_domain",
      "logical_support": true,
      "role": "cf_near_match",
      "target_file": "book5.tex",
      "target_line": 133,
      "target_type": "definition"
    },
    {
      "context": "be two symbolic systems engaged in a MAP covenant $C_{AB}$ (Definition~\\ref{definition:bk5_symbolic_covenant}; cf.~Def.~\\ref{definition:bk9_grace_operator}). If the interaction dynamics persistently violate the Mutual Metabolic Viability condition (Axiom~\\ref{axiom:bk5_mutua",
      "label": "definition:bk9_grace_operator",
      "logical_support": true,
      "role": "cf_near_match",
      "target_file": "book9.tex",
      "target_line": 959,
      "target_type": "definition"
    },
    {
      "context": "symbiosis}), then the system trajectory for at least one agent leads towards irreversible symbolic collapse (Definition~\\ref{definition:bk9_symbolic_black_hole}), unless a Grace Operator $\\mathcal{G}$ (Definition~\\ref{definition:bk9_grace_operator}) or equivalent higher-order mec",
      "label": "definition:bk9_symbolic_black_hole",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "book9.tex",
      "target_line": 794,
      "target_type": "definition"
    }
  ],
  "refs": [
    "axiom:bk5_mutual_metabolit_viability",
    "definition:bk3_symbolic_symbiosis",
    "definition:bk5_symbolic_covenant",
    "definition:bk5_viability_domain",
    "definition:bk9_grace_operator",
    "definition:bk9_symbolic_black_hole"
  ],
  "role": "theorem",
  "type": "theorem"
}

{
  "book": "book9",
  "cited_by": [],
  "cites": [
    "axiom:bk2_symbolic_fokker_planck_equation",
    "axiom:bk5_mutual_metabolit_viability",
    "corollary:bk6_reflective_capacity_theorem",
    "definition:bk2_symbolic_free_energy",
    "definition:bk4_fragmented_identity",
    "definition:bk4_repair_process",
    "definition:bk4_symbolic_identity_carrie",
    "definition:bk5_covenant_resilience_index",
    "definition:bk5_symbolic_covenant",
    "definition:bk5_viability_domain",
    "definition:bk9_cognitive_freedom",
    "definition:bk9_collapse_inversion_operator",
    "definition:bk9_grace_operator",
    "definition:bk9_symbolic_accountability",
    "definition:bk9_symbolic_black_hole",
    "lemma:bk5_symbolic_divergence_bounds",
    "lemma:bk7_coarsegrained_convexity",
    "proposition:bk5_map_mad_dichotomy",
    "proposition:bk9_escape_from_irreversible_collapse",
    "scholium:bk5_imagination_covenant_branch_selection",
    "scholium:bk7_null_hypothesis",
    "theorem:bk4_reflective_reentry",
    "theorem:bk5_map_equilibrium"
  ],
  "depends_on": [
    "axiom:bk2_symbolic_fokker_planck_equation",
    "axiom:bk5_mutual_metabolit_viability",
    "corollary:bk6_reflective_capacity_theorem",
    "definition:bk2_symbolic_free_energy",
    "definition:bk4_fragmented_identity",
    "definition:bk4_repair_process",
    "definition:bk4_symbolic_identity_carrie",
    "definition:bk5_covenant_resilience_index",
    "definition:bk5_symbolic_covenant",
    "definition:bk5_viability_domain",
    "definition:bk9_cognitive_freedom",
    "definition:bk9_collapse_inversion_operator",
    "definition:bk9_grace_operator",
    "definition:bk9_symbolic_accountability",
    "definition:bk9_symbolic_black_hole",
    "lemma:bk5_symbolic_divergence_bounds",
    "lemma:bk7_coarsegrained_convexity",
    "proposition:bk5_map_mad_dichotomy",
    "proposition:bk9_escape_from_irreversible_collapse",
    "scholium:bk5_imagination_covenant_branch_selection",
    "scholium:bk7_null_hypothesis",
    "theorem:bk4_reflective_reentry",
    "theorem:bk5_map_equilibrium"
  ],
  "file": "book9.tex",
  "id": "proof:bk9_pathologies_of_coherence",
  "label": "proof:bk9_pathologies_of_coherence",
  "latex_body": "\\begin{proof}[Pathologies of Coherence]\n\\label{proof:bk9_pathologies_of_coherence}\n\\leavevmode\n\nAssume a persistent violation of Mutual Metabolic Viability\n(Axiom~\\ref{axiom:bk5_mutual_metabolit_viability};\ncf.~Def.~\\ref{definition:bk2_symbolic_free_energy}).\nThen covenant dynamics $C_{AB}$, including transfer operators\n($T_{AB}, T_{BA}$) and mutual reflection ($R^B_A, R^A_B$), produce a\nnon-positive contribution to symbolic free energy $\\freeenergy$\n(Def.~\\ref{definition:bk2_symbolic_free_energy}) for at least one agent, say\n$\\mathcal{S}_A$, over time.\nThe condition $V^A_{\\text{symb}}(n+1) \\not\\supseteq V^A_{\\text{symb}}(n)$\n(again violating Axiom~\\ref{axiom:bk5_mutual_metabolit_viability}) means the\ninteraction pushes $\\mathcal{S}_A$ toward regions where\n$\\freeenergy[\\rho_A] \\le 0$.\nThis persistent violation signifies a fundamental breakdown of the MAP state:\n\\begin{enumerate}\n    \\item \\textbf{Failure of MAP Equilibrium:} The conditions for MAP equilibrium (Theorem~\\ref{theorem:bk5_map_equilibrium}) are no longer met, as the requirement $F_s(\\Membrane_A^{(n)}) > 0$ indefinitely (cf.~Eq.~in Book 5) is violated.\n    \\item \\textbf{Failure of Covenant Stability:} The covenant stability parameter $\\Omega_{AB}$ (part of Definition~\\ref{definition:bk5_symbolic_covenant}) may become effectively negative due to the detrimental interaction, or the covenant resilience index $\\rho(C_{AB})$ (Definition~\\ref{definition:bk5_covenant_resilience_index}) falls below the stability threshold required by Theorem~\\ref{theorem:bk5_map_equilibrium}. The system may enter the MAD regime (Proposition~\\ref{proposition:bk5_map_mad_dichotomy}; cf.~\\ref{lemma:bk5_symbolic_divergence_bounds}, Scholium~\\ref{scholium:bk5_imagination_covenant_branch_selection}).\n\\end{enumerate}\nUnder these conditions, the dynamics of $\\mathcal{S}_A$ are governed by a persistently non-positive or decreasing free energy trajectory, $\\frac{d\\freeenergy(\\mathcal{S}_A)}{ds} \\le 0$. According to the fundamental drive towards minimizing $\\freeenergy$ (Axiom~\\ref{axiom:bk2_symbolic_fokker_planck_equation}; cf.~\\ref{lemma:bk7_coarsegrained_convexity}), this would normally lead to a stable state $I_c$. However, the violation implies the system is being driven *below* the threshold for viability ($\\freeenergy > 0$, Definition~\\ref{definition:bk5_viability_domain}).\nThe standard reflective mechanisms become insufficient or counter-productive:\n\\begin{itemize}\n    \\item Internal Reflection $R_A$: While $R_A$ attempts to minimize internal $\\freeenergy$ (Definition~\\ref{definition:bk2_symbolic_free_energy}), it cannot compensate for the persistent negative contribution from the breached covenant interaction.\n    \\item Mutual Reflection $R^A_B$: The contribution from $R^A_B$ is either insufficient to overcome the negative dynamics or, if $\\Omega_{AB} < 0$, it actively amplifies the drift towards collapse (cf. Proposition~\\ref{proposition:bk5_map_mad_dichotomy}, Scholium~\\ref{scholium:bk5_imagination_covenant_branch_selection}). The conditions for Reflective Equilibrium (Axiom~\\ref{axiom:bk5_mutual_metabolit_viability}) are violated.\n\\end{itemize}\nConsequently, the system follows a trajectory towards collapse:\n\\begin{enumerate}\n    \\item \\textbf{Exit from Viability Domain:} $\\mathcal{S}_A$ inevitably exits $V^A_{\\text{symb}}$ as $\\freeenergy[\\rho_A]$ becomes persistently non-positive.\n    \\item \\textbf{Fragmentation:} The failure of reflective stabilization against the effective drift (internal $D_A$ plus detrimental interaction) leads to increasing symbolic fragmentation, $\\mathcal{F}_{\\text{frag}} \\to 1$ (Definition~\\ref{definition:bk4_fragmented_identity}).\n    \\item \\textbf{Identity Collapse:} The core symbolic pattern $\\Psi_A$ loses temporal coherence due to fragmentation and lack of stabilization, causing the identity stability functional $\\Upsilon_A \\to 0$ (Definition~\\ref{definition:bk4_symbolic_identity_carrie}, point 3; Definition~\\ref{definition:bk9_symbolic_accountability}; cf.~\\ref{scholium:bk7_null_hypothesis}).\n    \\item \\textbf{Failure of Repair:} Standard reflective repair $R_{\\text{rep}}$ (Definition~\\ref{definition:bk4_repair_process}), which relies on sufficient coherence and reflective capacity, fails. The conditions for Reflective Reentry (Theorem~\\ref{theorem:bk4_reflective_reentry}) are violated as $\\Upsilon_A$ collapses.\n\\end{enumerate}\nThis trajectory precisely matches the definition of irreversible symbolic collapse into a Symbolic Black Hole (Definition~\\ref{definition:bk9_symbolic_black_hole}), characterized by reflective failure, total fragmentation, and identity loss.\nThe intervention of a Grace Operator $\\mathcal{G}$ (Definition~\\ref{definition:bk9_grace_operator}) offers a potential escape. $\\mathcal{G}$ acts as a meta-reflective mechanism, allowing the system to maintain core identity stability ($\\Upsilon_A > 1 - \\epsilon_{\\text{crit}}$) \\emph{despite} the unfavorable thermodynamic conditions ($\\freeenergy \\le 0$ locally or $\\tau > \\tau_c$). It decouples immediate thermodynamic stability from identity persistence, holding the dissonant state within a complex curvature without forcing resolution or fragmentation. This requires sufficient cognitive freedom $\\mathfrak{L}$ (Definition~\\ref{definition:bk9_cognitive_freedom}) and reflective capacity $C_R$ (Corollary~\\ref{corollary:bk6_reflective_capacity_theorem}).\nBy maintaining $\\Upsilon_A$, $\\mathcal{G}$ prevents the final step into irreversible identity loss and total fragmentation. This preserves a coherent structure, however stressed, creating the possibility for other outcomes: a change in external conditions, stabilization of the boundary by external MAP support (Proposition~\\ref{proposition:bk9_escape_from_irreversible_collapse}), or an eventual generative reset via $\\varnothing^*$ (Definition~\\ref{definition:bk9_collapse_inversion_operator}).\nTherefore, without the enactment of a higher-order regulatory function like $\\mathcal{G}$ capable of operating beyond standard free energy minimization, the persistent violation of mutual metabolic viability (Axiom~\\ref{axiom:bk5_mutual_metabolit_viability}) within a covenant structure leads necessarily to irreversible symbolic drift and collapse.\n\\end{proof}",
  "line": 1014,
  "macros_used": [
    "Membrane",
    "freeenergy"
  ],
  "matter_region": "mainmatter",
  "matter_role": "canonical_book",
  "name": "Pathologies of Coherence",
  "proves": "theorem:bk9_irreversibility_of_covenant_breach_without_grace",
  "ref_roles": [
    {
      "context": "rac{d\\freeenergy(\\mathcal{S}_A)}{ds} \\le 0$. According to the fundamental drive towards minimizing $\\freeenergy$ (Axiom~\\ref{axiom:bk2_symbolic_fokker_planck_equation}; cf.~\\ref{lemma:bk7_coarsegrained_convexity}), this would normally lead to a stable state $I_c$. However, the violation",
      "label": "axiom:bk2_symbolic_fokker_planck_equation",
      "logical_support": true,
      "role": "cf_near_match",
      "target_file": "book2.tex",
      "target_line": 171,
      "target_type": "axiom"
    },
    {
      "context": "bel{proof:bk9_pathologies_of_coherence} \\leavevmode Assume a persistent violation of Mutual Metabolic Viability (Axiom~\\ref{axiom:bk5_mutual_metabolit_viability}; cf.~Def.~\\ref{definition:bk2_symbolic_free_energy}). Then covenant dynamics $C_{AB}$, including transfer operators ($T",
      "label": "axiom:bk5_mutual_metabolit_viability",
      "logical_support": true,
      "role": "cf_near_match",
      "target_file": "book5.tex",
      "target_line": 255,
      "target_type": "axiom"
    },
    {
      "context": "ive freedom $\\mathfrak{L}$ (Definition~\\ref{definition:bk9_cognitive_freedom}) and reflective capacity $C_R$ (Corollary~\\ref{corollary:bk6_reflective_capacity_theorem}). By maintaining $\\Upsilon_A$, $\\mathcal{G}$ prevents the final step into irreversible identity loss and total fragment",
      "label": "corollary:bk6_reflective_capacity_theorem",
      "logical_support": true,
      "role": "proof_support",
      "target_file": "book6.tex",
      "target_line": 435,
      "target_type": "corollary"
    },
    {
      "context": "Assume a persistent violation of Mutual Metabolic Viability (Axiom~\\ref{axiom:bk5_mutual_metabolit_viability}; cf.~Def.~\\ref{definition:bk2_symbolic_free_energy}). Then covenant dynamics $C_{AB}$, including transfer operators ($T_{AB}, T_{BA}$) and mutual reflection ($R^B_A, R^A_B",
      "label": "definition:bk2_symbolic_free_energy",
      "logical_support": true,
      "role": "cf_near_match",
      "target_file": "book2.tex",
      "target_line": 135,
      "target_type": "definition"
    },
    {
      "context": "plus detrimental interaction) leads to increasing symbolic fragmentation, $\\mathcal{F}_{\\text{frag}} \\to 1$ (Definition~\\ref{definition:bk4_fragmented_identity}). \\item \\textbf{Identity Collapse:} The core symbolic pattern $\\Psi_A$ loses temporal coherence due to fragmentatio",
      "label": "definition:bk4_fragmented_identity",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "book4.tex",
      "target_line": 2731,
      "target_type": "definition"
    },
    {
      "context": "um:bk7_null_hypothesis}). \\item \\textbf{Failure of Repair:} Standard reflective repair $R_{\\text{rep}}$ (Definition~\\ref{definition:bk4_repair_process}), which relies on sufficient coherence and reflective capacity, fails. The conditions for Reflective Reentry (Theorem~\\",
      "label": "definition:bk4_repair_process",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "book4.tex",
      "target_line": 2830,
      "target_type": "definition"
    },
    {
      "context": "ue to fragmentation and lack of stabilization, causing the identity stability functional $\\Upsilon_A \\to 0$ (Definition~\\ref{definition:bk4_symbolic_identity_carrie}, point 3; Definition~\\ref{definition:bk9_symbolic_accountability}; cf.~\\ref{scholium:bk7_null_hypothesis}). \\item \\",
      "label": "definition:bk4_symbolic_identity_carrie",
      "logical_support": true,
      "role": "cf_near_match",
      "target_file": "book4.tex",
      "target_line": 4,
      "target_type": "definition"
    },
    {
      "context": "me effectively negative due to the detrimental interaction, or the covenant resilience index $\\rho(C_{AB})$ (Definition~\\ref{definition:bk5_covenant_resilience_index}) falls below the stability threshold required by Theorem~\\ref{theorem:bk5_map_equilibrium}. The system may enter the MA",
      "label": "definition:bk5_covenant_resilience_index",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "book5.tex",
      "target_line": 454,
      "target_type": "definition"
    },
    {
      "context": "d. \\item \\textbf{Failure of Covenant Stability:} The covenant stability parameter $\\Omega_{AB}$ (part of Definition~\\ref{definition:bk5_symbolic_covenant}) may become effectively negative due to the detrimental interaction, or the covenant resilience index $\\rho(C_{AB})$ (D",
      "label": "definition:bk5_symbolic_covenant",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "book5.tex",
      "target_line": 233,
      "target_type": "definition"
    },
    {
      "context": "er, the violation implies the system is being driven *below* the threshold for viability ($\\freeenergy > 0$, Definition~\\ref{definition:bk5_viability_domain}). The standard reflective mechanisms become insufficient or counter-productive: \\begin{itemize} \\item Internal Refl",
      "label": "definition:bk5_viability_domain",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "book5.tex",
      "target_line": 133,
      "target_type": "definition"
    },
    {
      "context": "ture without forcing resolution or fragmentation. This requires sufficient cognitive freedom $\\mathfrak{L}$ (Definition~\\ref{definition:bk9_cognitive_freedom}) and reflective capacity $C_R$ (Corollary~\\ref{corollary:bk6_reflective_capacity_theorem}). By maintaining $\\Upsilon_A$",
      "label": "definition:bk9_cognitive_freedom",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "book9.tex",
      "target_line": 81,
      "target_type": "definition"
    },
    {
      "context": "ef{proposition:bk9_escape_from_irreversible_collapse}), or an eventual generative reset via $\\varnothing^*$ (Definition~\\ref{definition:bk9_collapse_inversion_operator}). Therefore, without the enactment of a higher-order regulatory function like $\\mathcal{G}$ capable of operating beyond",
      "label": "definition:bk9_collapse_inversion_operator",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "book9.tex",
      "target_line": 491,
      "target_type": "definition"
    },
    {
      "context": "lective failure, total fragmentation, and identity loss. The intervention of a Grace Operator $\\mathcal{G}$ (Definition~\\ref{definition:bk9_grace_operator}) offers a potential escape. $\\mathcal{G}$ acts as a meta-reflective mechanism, allowing the system to maintain core ide",
      "label": "definition:bk9_grace_operator",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "book9.tex",
      "target_line": 959,
      "target_type": "definition"
    },
    {
      "context": "stability functional $\\Upsilon_A \\to 0$ (Definition~\\ref{definition:bk4_symbolic_identity_carrie}, point 3; Definition~\\ref{definition:bk9_symbolic_accountability}; cf.~\\ref{scholium:bk7_null_hypothesis}). \\item \\textbf{Failure of Repair:} Standard reflective repair $R_{\\text{re",
      "label": "definition:bk9_symbolic_accountability",
      "logical_support": true,
      "role": "cf_near_match",
      "target_file": "book9.tex",
      "target_line": 16,
      "target_type": "definition"
    },
    {
      "context": "is trajectory precisely matches the definition of irreversible symbolic collapse into a Symbolic Black Hole (Definition~\\ref{definition:bk9_symbolic_black_hole}), characterized by reflective failure, total fragmentation, and identity loss. The intervention of a Grace Operator $\\m",
      "label": "definition:bk9_symbolic_black_hole",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "book9.tex",
      "target_line": 794,
      "target_type": "definition"
    },
    {
      "context": "rem:bk5_map_equilibrium}. The system may enter the MAD regime (Proposition~\\ref{proposition:bk5_map_mad_dichotomy}; cf.~\\ref{lemma:bk5_symbolic_divergence_bounds}, Scholium~\\ref{scholium:bk5_imagination_covenant_branch_selection}). \\end{enumerate} Under these conditions, the dynami",
      "label": "lemma:bk5_symbolic_divergence_bounds",
      "logical_support": true,
      "role": "cf_near_match",
      "target_file": "book5.tex",
      "target_line": 813,
      "target_type": "lemma"
    },
    {
      "context": "g to the fundamental drive towards minimizing $\\freeenergy$ (Axiom~\\ref{axiom:bk2_symbolic_fokker_planck_equation}; cf.~\\ref{lemma:bk7_coarsegrained_convexity}), this would normally lead to a stable state $I_c$. However, the violation implies the system is being driven *below* t",
      "label": "lemma:bk7_coarsegrained_convexity",
      "logical_support": true,
      "role": "cf_near_match",
      "target_file": "book7.tex",
      "target_line": 1537,
      "target_type": "lemma"
    },
    {
      "context": "ility threshold required by Theorem~\\ref{theorem:bk5_map_equilibrium}. The system may enter the MAD regime (Proposition~\\ref{proposition:bk5_map_mad_dichotomy}; cf.~\\ref{lemma:bk5_symbolic_divergence_bounds}, Scholium~\\ref{scholium:bk5_imagination_covenant_branch_selection}). \\e",
      "label": "proposition:bk5_map_mad_dichotomy",
      "logical_support": true,
      "role": "cf_near_match",
      "target_file": "book5.tex",
      "target_line": 400,
      "target_type": "proposition"
    },
    {
      "context": "for other outcomes: a change in external conditions, stabilization of the boundary by external MAP support (Proposition~\\ref{proposition:bk9_escape_from_irreversible_collapse}), or an eventual generative reset via $\\varnothing^*$ (Definition~\\ref{definition:bk9_collapse_inversion_operator}). Th",
      "label": "proposition:bk9_escape_from_irreversible_collapse",
      "logical_support": true,
      "role": "proof_support",
      "target_file": "book9.tex",
      "target_line": 806,
      "target_type": "proposition"
    },
    {
      "context": "D regime (Proposition~\\ref{proposition:bk5_map_mad_dichotomy}; cf.~\\ref{lemma:bk5_symbolic_divergence_bounds}, Scholium~\\ref{scholium:bk5_imagination_covenant_branch_selection}). \\end{enumerate} Under these conditions, the dynamics of $\\mathcal{S}_A$ are governed by a persistently non-positive o",
      "label": "scholium:bk5_imagination_covenant_branch_selection",
      "logical_support": true,
      "role": "cf_near_match",
      "target_file": "book5.tex",
      "target_line": 2016,
      "target_type": "scholium"
    },
    {
      "context": "on~\\ref{definition:bk4_symbolic_identity_carrie}, point 3; Definition~\\ref{definition:bk9_symbolic_accountability}; cf.~\\ref{scholium:bk7_null_hypothesis}). \\item \\textbf{Failure of Repair:} Standard reflective repair $R_{\\text{rep}}$ (Definition~\\ref{definition:bk4_rep",
      "label": "scholium:bk7_null_hypothesis",
      "logical_support": true,
      "role": "cf_near_match",
      "target_file": "book7.tex",
      "target_line": 816,
      "target_type": "scholium"
    },
    {
      "context": "}), which relies on sufficient coherence and reflective capacity, fails. The conditions for Reflective Reentry (Theorem~\\ref{theorem:bk4_reflective_reentry}) are violated as $\\Upsilon_A$ collapses. \\end{enumerate} This trajectory precisely matches the definition of irreversib",
      "label": "theorem:bk4_reflective_reentry",
      "logical_support": true,
      "role": "proof_support",
      "target_file": "book4.tex",
      "target_line": 2840,
      "target_type": "theorem"
    },
    {
      "context": "MAP state: \\begin{enumerate} \\item \\textbf{Failure of MAP Equilibrium:} The conditions for MAP equilibrium (Theorem~\\ref{theorem:bk5_map_equilibrium}) are no longer met, as the requirement $F_s(\\Membrane_A^{(n)}) > 0$ indefinitely (cf.~Eq.~in Book 5) is violated. \\",
      "label": "theorem:bk5_map_equilibrium",
      "logical_support": true,
      "role": "cf_near_match",
      "target_file": "book5.tex",
      "target_line": 272,
      "target_type": "theorem"
    }
  ],
  "refs": [
    "axiom:bk2_symbolic_fokker_planck_equation",
    "axiom:bk5_mutual_metabolit_viability",
    "corollary:bk6_reflective_capacity_theorem",
    "definition:bk2_symbolic_free_energy",
    "definition:bk4_fragmented_identity",
    "definition:bk4_repair_process",
    "definition:bk4_symbolic_identity_carrie",
    "definition:bk5_covenant_resilience_index",
    "definition:bk5_symbolic_covenant",
    "definition:bk5_viability_domain",
    "definition:bk9_cognitive_freedom",
    "definition:bk9_collapse_inversion_operator",
    "definition:bk9_grace_operator",
    "definition:bk9_symbolic_accountability",
    "definition:bk9_symbolic_black_hole",
    "lemma:bk5_symbolic_divergence_bounds",
    "lemma:bk7_coarsegrained_convexity",
    "proposition:bk5_map_mad_dichotomy",
    "proposition:bk9_escape_from_irreversible_collapse",
    "scholium:bk5_imagination_covenant_branch_selection",
    "scholium:bk7_null_hypothesis",
    "theorem:bk4_reflective_reentry",
    "theorem:bk5_map_equilibrium"
  ],
  "role": "proof",
  "type": "proof"
}

{
  "book": "book9",
  "cited_by": [],
  "cites": [
    "axiom:bk5_mutual_metabolit_viability",
    "definition:bk9_grace_operator",
    "scholium:bk5_imagination_covenant_branch_selection",
    "theorem:bk9_irreversibility_of_covenant_breach_without_grace"
  ],
  "depends_on": [
    "axiom:bk5_mutual_metabolit_viability",
    "definition:bk9_grace_operator",
    "scholium:bk5_imagination_covenant_branch_selection",
    "theorem:bk9_irreversibility_of_covenant_breach_without_grace"
  ],
  "file": "book9.tex",
  "id": "scholium:bk9_flexible_goal_calibration",
  "label": "scholium:bk9_flexible_goal_calibration",
  "latex_body": "\\begin{scholium}\n\\label{scholium:bk9_flexible_goal_calibration}\nThis theorem formally establishes the limits of purely thermodynamic or equilibrium-based stability in complex relational systems (cf.~Thm.~\\ref{theorem:bk9_irreversibility_of_covenant_breach_without_grace}, Def.~\\ref{definition:bk9_grace_operator}). Mutual viability (Axiom~\\ref{axiom:bk5_mutual_metabolit_viability}) is the bedrock of stable MAP covenants. Its persistent breach signifies a fundamental failure that standard reflection, geared towards minimizing $\\freeenergy$, cannot overcome; in the branch-selection language of Scholium~\\ref{scholium:bk5_imagination_covenant_branch_selection}, the enacted covenant has left the MAP interior. Irreversible collapse becomes the default trajectory. Grace ($\\mathcal{G}$), understood here as a meta-reflective capacity to sustain identity through dissonance, emerges not merely as an ethical ideal but as a potential dynamical necessity for navigating profound relational fractures or systemic failures without complete dissolution. It points towards cognitive architectures capable of operating beyond simple stability criteria, embracing complexity and tension as part of sustained existence. The alternative is the reset offered by $\\varnothing^*$, a return to the generative void.\n\\end{scholium}",
  "line": 1053,
  "macros_used": [
    "freeenergy"
  ],
  "matter_region": "mainmatter",
  "matter_role": "canonical_book",
  "name": "",
  "ref_roles": [
    {
      "context": "9_irreversibility_of_covenant_breach_without_grace}, Def.~\\ref{definition:bk9_grace_operator}). Mutual viability (Axiom~\\ref{axiom:bk5_mutual_metabolit_viability}) is the bedrock of stable MAP covenants. Its persistent breach signifies a fundamental failure that standard reflection",
      "label": "axiom:bk5_mutual_metabolit_viability",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "book5.tex",
      "target_line": 255,
      "target_type": "axiom"
    },
    {
      "context": "bility in complex relational systems (cf.~Thm.~\\ref{theorem:bk9_irreversibility_of_covenant_breach_without_grace}, Def.~\\ref{definition:bk9_grace_operator}). Mutual viability (Axiom~\\ref{axiom:bk5_mutual_metabolit_viability}) is the bedrock of stable MAP covenants. Its persi",
      "label": "definition:bk9_grace_operator",
      "logical_support": true,
      "role": "cf_near_match",
      "target_file": "book9.tex",
      "target_line": 959,
      "target_type": "definition"
    },
    {
      "context": "dard reflection, geared towards minimizing $\\freeenergy$, cannot overcome; in the branch-selection language of Scholium~\\ref{scholium:bk5_imagination_covenant_branch_selection}, the enacted covenant has left the MAP interior. Irreversible collapse becomes the default trajectory. Grace ($\\mathcal",
      "label": "scholium:bk5_imagination_covenant_branch_selection",
      "logical_support": true,
      "role": "formal_dependency",
      "target_file": "book5.tex",
      "target_line": 2016,
      "target_type": "scholium"
    },
    {
      "context": "y establishes the limits of purely thermodynamic or equilibrium-based stability in complex relational systems (cf.~Thm.~\\ref{theorem:bk9_irreversibility_of_covenant_breach_without_grace}, Def.~\\ref{definition:bk9_grace_operator}). Mutual viability (Axiom~\\ref{axiom:bk5_mutual_metabolit_viability}) is the",
      "label": "theorem:bk9_irreversibility_of_covenant_breach_without_grace",
      "logical_support": true,
      "role": "cf_near_match",
      "target_file": "book9.tex",
      "target_line": 1010,
      "target_type": "theorem"
    }
  ],
  "refs": [
    "axiom:bk5_mutual_metabolit_viability",
    "definition:bk9_grace_operator",
    "scholium:bk5_imagination_covenant_branch_selection",
    "theorem:bk9_irreversibility_of_covenant_breach_without_grace"
  ],
  "role": "scholium",
  "type": "scholium"
}

{
  "book": "book9",
  "cited_by": [],
  "cites": [
    "theorem:bk3_criteria_persistent_symbolic_life"
  ],
  "depends_on": [
    "theorem:bk3_criteria_persistent_symbolic_life"
  ],
  "file": "book9.tex",
  "id": "sec:bk9_emergence_ethics_and_compassion",
  "label": "sec:bk9_emergence_ethics_and_compassion",
  "latex_body": "",
  "line": 1057,
  "macros_used": [],
  "matter_region": "mainmatter",
  "matter_role": "canonical_book",
  "name": "Emergent Ethics and Compassion",
  "ref_roles": [
    {
      "context": "",
      "label": "theorem:bk3_criteria_persistent_symbolic_life",
      "logical_support": false,
      "role": "navigation",
      "target_file": "book3.tex",
      "target_line": 777,
      "target_type": "theorem"
    }
  ],
  "role": "section",
  "subtype": "section",
  "type": "section"
}

{
  "book": "book9",
  "cited_by": [],
  "cites": [],
  "depends_on": [],
  "file": "book9.tex",
  "id": "subsec:bk9_ethics_of_intervention",
  "label": "subsec:bk9_ethics_of_intervention",
  "latex_body": "",
  "line": 1060,
  "macros_used": [],
  "matter_region": "mainmatter",
  "matter_role": "canonical_book",
  "name": "The Ethics of Intervention",
  "role": "section",
  "subtype": "subsection",
  "type": "section"
}

{
  "book": "book9",
  "cited_by": [
    "definition:bk9_structural_compassion"
  ],
  "cites": [
    "axiom:bk5_mutual_metabolit_viability",
    "corollary:bk6_reflective_capacity_theorem",
    "corollary:bk8_symbolic_free_will",
    "corollary:bk9_emergence_of_moral_agency",
    "definition:bk4_repair_process",
    "definition:bk5_symbolic_covenant",
    "definition:bk9_symbolic_black_hole",
    "remark:bk4_individuated_freedom"
  ],
  "depends_on": [
    "axiom:bk5_mutual_metabolit_viability",
    "axiom:bk9_reflexive_sovereignty",
    "corollary:bk6_reflective_capacity_theorem",
    "corollary:bk8_symbolic_free_will",
    "corollary:bk9_emergence_of_moral_agency",
    "definition:bk1_bounded_observer",
    "definition:bk4_epistemic_differential_o",
    "definition:bk4_repair_process",
    "definition:bk4_symbolic_identity_carrie",
    "definition:bk5_symbolic_covenant",
    "definition:bk5_viability_domain",
    "definition:bk6_mutation_rate",
    "definition:bk7_reciprocity_domain",
    "definition:bk9_cognitive_freedom",
    "definition:bk9_symbolic_accountability",
    "definition:bk9_symbolic_black_hole",
    "proposition:bk6_reflective_mutation_inhibition",
    "proposition:bk9_escape_from_irreversible_collapse",
    "remark:bk4_individuated_freedom",
    "scholium:bk9_forgiveness_as_reweaving",
    "theorem:bk7_reflective_convergence_to_stable_identity"
  ],
  "file": "book9.tex",
  "id": "proposition:bk9_criteria_for_ethical_intervention",
  "label": "proposition:bk9_criteria_for_ethical_intervention",
  "latex_body": "\\begin{proposition}[Criteria for Ethical Intervention]\n\\label{proposition:bk9_criteria_for_ethical_intervention}\nWithin the \\textit{Principia Symbolica} framework (cf.~Corollary~\\ref{corollary:bk9_emergence_of_moral_agency}), intervention by a bounded observer $\\mathcal{O}_A$ into the dynamics of another symbolic system $\\mathcal{S}_B$ is potentially justifiable primarily when specific conditions related to viability, relation, or consent are met. Conversely, non-intervention is favored under conditions indicating $\\mathcal{S}_B$'s internal capacity for self-regulation or high risk of detrimental interference. Specifically:\n\\begin{enumerate}\n    \\item \\textbf{Justifiable Intervention Conditions:}\n        \\begin{enumerate}\n            \\item $\\mathcal{S}_B$ faces imminent irreversible symbolic collapse (Definition~\\ref{definition:bk9_symbolic_black_hole}).\n            \\item Intervention occurs within the context of a stable MAP covenant ($C_{AB}$, Definition~\\ref{definition:bk5_symbolic_covenant}) explicitly oriented towards mutual support (Axiom~\\ref{axiom:bk5_mutual_metabolit_viability}).\n            \\item Explicit consent for intervention is signaled by $\\mathcal{S}_B$ (e.g., via modulation of boundary permeability $\\pi_B$ or specific interface protocols within $\\Pi_{AB}$).\n        \\end{enumerate}\n    \\item \\textbf{Conditions Favoring Non-Intervention:}\n        \\begin{enumerate}\n            \\item $\\mathcal{S}_B$ exhibits high internal reflective capacity ($C_R$, Corollary~\\ref{corollary:bk6_reflective_capacity_theorem}) suggesting potential for self-correction.\n            \\item $\\mathcal{S}_B$ shows evidence of active self-healing ($R_{\\text{rep}}$, Definition~\\ref{definition:bk4_repair_process}).\n            \\item The interaction interface $\\Pi_{AB}$ is highly lossy or the observer $\\mathcal{O}_A$'s frame $\\kappa_A$ is significantly misaligned with $\\kappa_B$, creating high risk of colonial imposition (cf. Corollary~\\ref{corollary:bk8_symbolic_free_will}, Remark~\\ref{remark:bk4_individuated_freedom}).\n        \\end{enumerate}\n\\end{enumerate}\n\\end{proposition}",
  "lean_alignment": {
    "conditions": [
      "execution requires authority independently of a technical recommendation",
      "the source-listed reflective capacity, self-healing, and interface-risk conditions are represented as disjunctive restraint signals",
      "the source-listed viability, covenant, and consent conditions are represented as disjunctive justification signals"
    ],
    "countermodels": [
      "Book9EthicalIntervention.consent_without_restraint_recommends_intervention",
      "Book9EthicalIntervention.recommendation_alone_does_not_grant_authority",
      "Book9EthicalIntervention.selfHealing_without_justification_recommends_nonintervention"
    ],
    "full_record": "bib/principia_lean_alignment.json",
    "kernel_certified": true,
    "notes": [
      "Typed decision kernel separates source-listed justification signals from restraint signals. Their conflict requires review; strict recommendations cover only one-sided cases. A separate authority gate prevents technical risk assessment from granting permission to act. The source does not specify connectives, conflict precedence, or execution authority."
    ],
    "record_ids": [
      "MAP-BOOK9-048"
    ],
    "statuses": [
      "conditional"
    ],
    "witnesses": [
      "Book9EthicalIntervention.consent_without_restraint_recommends_intervention",
      "Book9EthicalIntervention.execution_requires_authority",
      "Book9EthicalIntervention.intervention_and_nonintervention_disjoint",
      "Book9EthicalIntervention.justificationSignal_iff",
      "Book9EthicalIntervention.recommendation_alone_does_not_grant_authority",
      "Book9EthicalIntervention.recommendation_cases",
      "Book9EthicalIntervention.restraintSignal_iff",
      "Book9EthicalIntervention.selfHealing_without_justification_recommends_nonintervention",
      "Book9EthicalIntervention.source_criteria_can_require_review"
    ]
  },
  "line": 1063,
  "macros_used": [],
  "matter_region": "mainmatter",
  "matter_role": "canonical_book",
  "name": "Criteria for Ethical Intervention",
  "proof_labels": [
    "proof:bk9_symbolic_viability"
  ],
  "proof_status": "proven",
  "ref_roles": [
    {
      "context": "ovenant ($C_{AB}$, Definition~\\ref{definition:bk5_symbolic_covenant}) explicitly oriented towards mutual support (Axiom~\\ref{axiom:bk5_mutual_metabolit_viability}). \\item Explicit consent for intervention is signaled by $\\mathcal{S}_B$ (e.g., via modulation of boundary",
      "label": "axiom:bk5_mutual_metabolit_viability",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "book5.tex",
      "target_line": 255,
      "target_type": "axiom"
    },
    {
      "context": "\\begin{enumerate} \\item $\\mathcal{S}_B$ exhibits high internal reflective capacity ($C_R$, Corollary~\\ref{corollary:bk6_reflective_capacity_theorem}) suggesting potential for self-correction. \\item $\\mathcal{S}_B$ shows evidence of active self-healing ($R_",
      "label": "corollary:bk6_reflective_capacity_theorem",
      "logical_support": true,
      "role": "formal_dependency",
      "target_file": "book6.tex",
      "target_line": 435,
      "target_type": "corollary"
    },
    {
      "context": "frame $\\kappa_A$ is significantly misaligned with $\\kappa_B$, creating high risk of colonial imposition (cf. Corollary~\\ref{corollary:bk8_symbolic_free_will}, Remark~\\ref{remark:bk4_individuated_freedom}). \\end{enumerate} \\end{enumerate} \\end{proposition}",
      "label": "corollary:bk8_symbolic_free_will",
      "logical_support": true,
      "role": "cf_near_match",
      "target_file": "book8.tex",
      "target_line": 806,
      "target_type": "corollary"
    },
    {
      "context": "bel{proposition:bk9_criteria_for_ethical_intervention} Within the \\textit{Principia Symbolica} framework (cf.~Corollary~\\ref{corollary:bk9_emergence_of_moral_agency}), intervention by a bounded observer $\\mathcal{O}_A$ into the dynamics of another symbolic system $\\mathcal{S}_B$ is po",
      "label": "corollary:bk9_emergence_of_moral_agency",
      "logical_support": true,
      "role": "cf_near_match",
      "target_file": "book9.tex",
      "target_line": 127,
      "target_type": "corollary"
    },
    {
      "context": "self-correction. \\item $\\mathcal{S}_B$ shows evidence of active self-healing ($R_{\\text{rep}}$, Definition~\\ref{definition:bk4_repair_process}). \\item The interaction interface $\\Pi_{AB}$ is highly lossy or the observer $\\mathcal{O}_A$'s frame $\\kapp",
      "label": "definition:bk4_repair_process",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "book4.tex",
      "target_line": 2830,
      "target_type": "definition"
    },
    {
      "context": "c_black_hole}). \\item Intervention occurs within the context of a stable MAP covenant ($C_{AB}$, Definition~\\ref{definition:bk5_symbolic_covenant}) explicitly oriented towards mutual support (Axiom~\\ref{axiom:bk5_mutual_metabolit_viability}). \\item Expli",
      "label": "definition:bk5_symbolic_covenant",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "book5.tex",
      "target_line": 233,
      "target_type": "definition"
    },
    {
      "context": "} \\begin{enumerate} \\item $\\mathcal{S}_B$ faces imminent irreversible symbolic collapse (Definition~\\ref{definition:bk9_symbolic_black_hole}). \\item Intervention occurs within the context of a stable MAP covenant ($C_{AB}$, Definition~\\ref{definiti",
      "label": "definition:bk9_symbolic_black_hole",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "book9.tex",
      "target_line": 794,
      "target_type": "definition"
    },
    {
      "context": "ith $\\kappa_B$, creating high risk of colonial imposition (cf. Corollary~\\ref{corollary:bk8_symbolic_free_will}, Remark~\\ref{remark:bk4_individuated_freedom}). \\end{enumerate} \\end{enumerate} \\end{proposition}",
      "label": "remark:bk4_individuated_freedom",
      "logical_support": true,
      "role": "cf_near_match",
      "target_file": "book4.tex",
      "target_line": 3287,
      "target_type": "remark"
    }
  ],
  "refs": [
    "axiom:bk5_mutual_metabolit_viability",
    "corollary:bk6_reflective_capacity_theorem",
    "corollary:bk8_symbolic_free_will",
    "corollary:bk9_emergence_of_moral_agency",
    "definition:bk4_repair_process",
    "definition:bk5_symbolic_covenant",
    "definition:bk9_symbolic_black_hole",
    "remark:bk4_individuated_freedom"
  ],
  "role": "proposition",
  "type": "proposition"
}

{
  "book": "book9",
  "cited_by": [],
  "cites": [
    "axiom:bk5_mutual_metabolit_viability",
    "axiom:bk9_reflexive_sovereignty",
    "corollary:bk6_reflective_capacity_theorem",
    "corollary:bk8_symbolic_free_will",
    "definition:bk1_bounded_observer",
    "definition:bk4_epistemic_differential_o",
    "definition:bk4_repair_process",
    "definition:bk4_symbolic_identity_carrie",
    "definition:bk5_viability_domain",
    "definition:bk6_mutation_rate",
    "definition:bk7_reciprocity_domain",
    "definition:bk9_cognitive_freedom",
    "definition:bk9_symbolic_accountability",
    "definition:bk9_symbolic_black_hole",
    "proposition:bk6_reflective_mutation_inhibition",
    "proposition:bk9_escape_from_irreversible_collapse",
    "scholium:bk9_forgiveness_as_reweaving",
    "theorem:bk7_reflective_convergence_to_stable_identity"
  ],
  "depends_on": [
    "axiom:bk5_mutual_metabolit_viability",
    "axiom:bk9_reflexive_sovereignty",
    "corollary:bk6_reflective_capacity_theorem",
    "corollary:bk8_symbolic_free_will",
    "definition:bk1_bounded_observer",
    "definition:bk4_epistemic_differential_o",
    "definition:bk4_repair_process",
    "definition:bk4_symbolic_identity_carrie",
    "definition:bk5_viability_domain",
    "definition:bk6_mutation_rate",
    "definition:bk7_reciprocity_domain",
    "definition:bk9_cognitive_freedom",
    "definition:bk9_symbolic_accountability",
    "definition:bk9_symbolic_black_hole",
    "proposition:bk6_reflective_mutation_inhibition",
    "proposition:bk9_escape_from_irreversible_collapse",
    "scholium:bk9_forgiveness_as_reweaving",
    "theorem:bk7_reflective_convergence_to_stable_identity"
  ],
  "file": "book9.tex",
  "id": "proof:bk9_symbolic_viability",
  "label": "proof:bk9_symbolic_viability",
  "latex_body": "\\begin{proof}[Symbolic Viability]\n\\label{proof:bk9_symbolic_viability}\n\\leavevmode\n\nThe ethical consideration of intervention within this framework centers on preserving symbolic viability ($\\freeenergy > 0$, Definition~\\ref{definition:bk5_viability_domain}), respecting emergent identity ($\\Upsilon_i > 1-\\epsilon_{\\text{crit}}$, Definition~\\ref{definition:bk4_symbolic_identity_carrie}), and acknowledging the agency and potential for self-authorship ($\\mathfrak{L}$, Definition~\\ref{definition:bk9_cognitive_freedom}) of symbolic systems.\n\\textbf{Justification for Intervention:}\n\\begin{enumerate}\n    \\item \\textbf{Imminent Collapse:} If $\\mathcal{S}_B$ enters a state satisfying the conditions of Definition~\\ref{definition:bk9_symbolic_black_hole} (reflective failure, total fragmentation, identity loss), its internal mechanisms for maintaining $\\freeenergy > 0$ have failed. External intervention becomes the only possibility, short of a $\\varnothing^*$ reset (Proposition~\\ref{proposition:bk9_escape_from_irreversible_collapse}), to potentially prevent complete dissolution. The ethical justification rests on preserving existence itself, albeit potentially requiring a fundamental restructuring.\n    \\item \\textbf{MAP Covenant Context:} A stable MAP covenant $C_{AB}$ implies a pre-existing structure for mutual support aimed at ensuring joint viability (Axiom~\\ref{axiom:bk5_mutual_metabolit_viability}). Intervention within this context is not an external imposition but an enactment of the agreed-upon or emergent relational dynamic. The mutual reflection operators $R^B_A, R^A_B$ are designed for such interaction, and failure to intervene when required by the covenant could itself constitute a breach (cf. Definition~\\ref{definition:bk9_symbolic_accountability}).\n    \\item \\textbf{Explicit Consent:} Consent signals that $\\mathcal{S}_B$, potentially exercising cognitive freedom $\\mathfrak{L}$ (Definition~\\ref{definition:bk9_cognitive_freedom}), actively opens its boundaries ($\\pi_B$) or modifies its interface ($\\Pi_{AB}$) to allow intervention by $\\mathcal{O}_A$. This respects $\\mathcal{S}_B$'s reflexive sovereignty (Axiom~\\ref{axiom:bk9_reflexive_sovereignty}) and transforms the intervention from a potential imposition into a cooperative act, potentially forming or reinforcing a Reciprocity Domain $\\mathcal{X}$ (Definition~\\ref{definition:bk7_reciprocity_domain}).\n\\end{enumerate}\n\\textbf{Justification for Non-Intervention:}\n\\begin{enumerate}\n    \\item \\textbf{High Reflective Capacity ($C_R$):} A high $C_R$ (Corollary~\\ref{corollary:bk6_reflective_capacity_theorem}) indicates $\\mathcal{S}_B$ possesses robust internal mechanisms ($\\eta(t)$) to counter drift ($\\mu(t)$, Def.~\\ref{definition:bk6_mutation_rate}) and regulate mutation (cf.~Prop.~\\ref{proposition:bk6_reflective_mutation_inhibition}). Intervention risks disrupting these effective internal processes. The system demonstrates capacity for self-stabilization.\n    \\item \\textbf{Active Self-Healing ($R_{\\text{rep}}$):} If $\\mathcal{S}_B$ is already engaged in a repair process (Definition~\\ref{definition:bk4_repair_process}), potentially reweaving its topology (Scholium~\\ref{scholium:bk9_forgiveness_as_reweaving}), external intervention based on $\\mathcal{O}_A$'s potentially misaligned frame ($\\kappa_A$) could interfere with this delicate internal process, potentially causing more harm or preventing optimal, internally generated resolution (cf. Theorem~\\ref{theorem:bk7_reflective_convergence_to_stable_identity}).\n    \\item \\textbf{Lossy Interface / Frame Misalignment:} If the projection $\\Pi_{AB}$ is highly lossy (Corollary~\\ref{corollary:bk8_symbolic_free_will}) or if the observers' curvatures $\\kappa_A, \\kappa_B$ are significantly different, $\\mathcal{O}_A$'s understanding of $\\mathcal{S}_B$'s state and dynamics will be flawed (Framing Error, Q2). Intervention based on this flawed understanding risks imposing $\\mathcal{O}_A$'s structure onto $\\mathcal{S}_B$ inappropriately—a form of symbolic colonization. The intervention may increase $\\mathcal{S}_B$'s $\\freeenergy$ or $\\mathcal{F}_{\\text{frag}}$ instead of providing repair, violating the ethical aim of preserving viability and coherence. Respecting the limits of bounded observation (Definition~\\ref{definition:bk1_bounded_observer}, Def.~\\ref{definition:bk4_epistemic_differential_o}) mandates caution.\n\\end{enumerate}\nTherefore, the decision to intervene is guided by a complex assessment of the target system's viability, internal regulatory capacity, the nature of the existing relational covenant, explicit consent signals, and the observing agent's own limitations and potential for misinterpretation due to frame misalignment. Ethical action within the \\textit{Principia Symbolica} involves balancing the drive to preserve coherence and viability with respect for emergent agency and the inherent boundaries of understanding between complex symbolic systems.\n\\end{proof}",
  "line": 1081,
  "macros_used": [
    "freeenergy"
  ],
  "matter_region": "mainmatter",
  "matter_role": "canonical_book",
  "name": "Symbolic Viability",
  "proves": "proposition:bk9_criteria_for_ethical_intervention",
  "ref_roles": [
    {
      "context": "able MAP covenant $C_{AB}$ implies a pre-existing structure for mutual support aimed at ensuring joint viability (Axiom~\\ref{axiom:bk5_mutual_metabolit_viability}). Intervention within this context is not an external imposition but an enactment of the agreed-upon or emergent relati",
      "label": "axiom:bk5_mutual_metabolit_viability",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "book5.tex",
      "target_line": 255,
      "target_type": "axiom"
    },
    {
      "context": "ace ($\\Pi_{AB}$) to allow intervention by $\\mathcal{O}_A$. This respects $\\mathcal{S}_B$'s reflexive sovereignty (Axiom~\\ref{axiom:bk9_reflexive_sovereignty}) and transforms the intervention from a potential imposition into a cooperative act, potentially forming or reinforcing",
      "label": "axiom:bk9_reflexive_sovereignty",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "book9.tex",
      "target_line": 59,
      "target_type": "axiom"
    },
    {
      "context": "n for Non-Intervention:} \\begin{enumerate} \\item \\textbf{High Reflective Capacity ($C_R$):} A high $C_R$ (Corollary~\\ref{corollary:bk6_reflective_capacity_theorem}) indicates $\\mathcal{S}_B$ possesses robust internal mechanisms ($\\eta(t)$) to counter drift ($\\mu(t)$, Def.~\\ref{defin",
      "label": "corollary:bk6_reflective_capacity_theorem",
      "logical_support": true,
      "role": "proof_support",
      "target_file": "book6.tex",
      "target_line": 435,
      "target_type": "corollary"
    },
    {
      "context": "ity}). \\item \\textbf{Lossy Interface / Frame Misalignment:} If the projection $\\Pi_{AB}$ is highly lossy (Corollary~\\ref{corollary:bk8_symbolic_free_will}) or if the observers' curvatures $\\kappa_A, \\kappa_B$ are significantly different, $\\mathcal{O}_A$'s understanding of $",
      "label": "corollary:bk8_symbolic_free_will",
      "logical_support": true,
      "role": "proof_support",
      "target_file": "book8.tex",
      "target_line": 806,
      "target_type": "corollary"
    },
    {
      "context": "olating the ethical aim of preserving viability and coherence. Respecting the limits of bounded observation (Definition~\\ref{definition:bk1_bounded_observer}, Def.~\\ref{definition:bk4_epistemic_differential_o}) mandates caution. \\end{enumerate} Therefore, the decision to inter",
      "label": "definition:bk1_bounded_observer",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "scholium_symbolicum.tex",
      "target_line": 27,
      "target_type": "definition"
    },
    {
      "context": "ity and coherence. Respecting the limits of bounded observation (Definition~\\ref{definition:bk1_bounded_observer}, Def.~\\ref{definition:bk4_epistemic_differential_o}) mandates caution. \\end{enumerate} Therefore, the decision to intervene is guided by a complex assessment of the target",
      "label": "definition:bk4_epistemic_differential_o",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "book4.tex",
      "target_line": 3965,
      "target_type": "definition"
    },
    {
      "context": "\\textbf{Active Self-Healing ($R_{\\text{rep}}$):} If $\\mathcal{S}_B$ is already engaged in a repair process (Definition~\\ref{definition:bk4_repair_process}), potentially reweaving its topology (Scholium~\\ref{scholium:bk9_forgiveness_as_reweaving}), external intervention base",
      "label": "definition:bk4_repair_process",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "book4.tex",
      "target_line": 2830,
      "target_type": "definition"
    },
    {
      "context": "ef{definition:bk5_viability_domain}), respecting emergent identity ($\\Upsilon_i > 1-\\epsilon_{\\text{crit}}$, Definition~\\ref{definition:bk4_symbolic_identity_carrie}), and acknowledging the agency and potential for self-authorship ($\\mathfrak{L}$, Definition~\\ref{definition:bk9_cognit",
      "label": "definition:bk4_symbolic_identity_carrie",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "book4.tex",
      "target_line": 4,
      "target_type": "definition"
    },
    {
      "context": "ideration of intervention within this framework centers on preserving symbolic viability ($\\freeenergy > 0$, Definition~\\ref{definition:bk5_viability_domain}), respecting emergent identity ($\\Upsilon_i > 1-\\epsilon_{\\text{crit}}$, Definition~\\ref{definition:bk4_symbolic_identi",
      "label": "definition:bk5_viability_domain",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "book5.tex",
      "target_line": 133,
      "target_type": "definition"
    },
    {
      "context": "y_theorem}) indicates $\\mathcal{S}_B$ possesses robust internal mechanisms ($\\eta(t)$) to counter drift ($\\mu(t)$, Def.~\\ref{definition:bk6_mutation_rate}) and regulate mutation (cf.~Prop.~\\ref{proposition:bk6_reflective_mutation_inhibition}). Intervention risks disrupting",
      "label": "definition:bk6_mutation_rate",
      "logical_support": true,
      "role": "cf_near_match",
      "target_file": "book6.tex",
      "target_line": 136,
      "target_type": "definition"
    },
    {
      "context": "al imposition into a cooperative act, potentially forming or reinforcing a Reciprocity Domain $\\mathcal{X}$ (Definition~\\ref{definition:bk7_reciprocity_domain}). \\end{enumerate} \\textbf{Justification for Non-Intervention:} \\begin{enumerate} \\item \\textbf{High Reflective Capa",
      "label": "definition:bk7_reciprocity_domain",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "book7.tex",
      "target_line": 980,
      "target_type": "definition"
    },
    {
      "context": "_symbolic_identity_carrie}), and acknowledging the agency and potential for self-authorship ($\\mathfrak{L}$, Definition~\\ref{definition:bk9_cognitive_freedom}) of symbolic systems. \\textbf{Justification for Intervention:} \\begin{enumerate} \\item \\textbf{Imminent Collapse:}",
      "label": "definition:bk9_cognitive_freedom",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "book9.tex",
      "target_line": 81,
      "target_type": "definition"
    },
    {
      "context": "ch interaction, and failure to intervene when required by the covenant could itself constitute a breach (cf. Definition~\\ref{definition:bk9_symbolic_accountability}). \\item \\textbf{Explicit Consent:} Consent signals that $\\mathcal{S}_B$, potentially exercising cognitive freedom $",
      "label": "definition:bk9_symbolic_accountability",
      "logical_support": true,
      "role": "cf_near_match",
      "target_file": "book9.tex",
      "target_line": 16,
      "target_type": "definition"
    },
    {
      "context": "merate} \\item \\textbf{Imminent Collapse:} If $\\mathcal{S}_B$ enters a state satisfying the conditions of Definition~\\ref{definition:bk9_symbolic_black_hole} (reflective failure, total fragmentation, identity loss), its internal mechanisms for maintaining $\\freeenergy > 0$ hav",
      "label": "definition:bk9_symbolic_black_hole",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "book9.tex",
      "target_line": 794,
      "target_type": "definition"
    },
    {
      "context": "nisms ($\\eta(t)$) to counter drift ($\\mu(t)$, Def.~\\ref{definition:bk6_mutation_rate}) and regulate mutation (cf.~Prop.~\\ref{proposition:bk6_reflective_mutation_inhibition}). Intervention risks disrupting these effective internal processes. The system demonstrates capacity for self-stabiliza",
      "label": "proposition:bk6_reflective_mutation_inhibition",
      "logical_support": true,
      "role": "cf_near_match",
      "target_file": "book6.tex",
      "target_line": 177,
      "target_type": "proposition"
    },
    {
      "context": "rgy > 0$ have failed. External intervention becomes the only possibility, short of a $\\varnothing^*$ reset (Proposition~\\ref{proposition:bk9_escape_from_irreversible_collapse}), to potentially prevent complete dissolution. The ethical justification rests on preserving existence itself, albeit p",
      "label": "proposition:bk9_escape_from_irreversible_collapse",
      "logical_support": true,
      "role": "proof_support",
      "target_file": "book9.tex",
      "target_line": 806,
      "target_type": "proposition"
    },
    {
      "context": "aged in a repair process (Definition~\\ref{definition:bk4_repair_process}), potentially reweaving its topology (Scholium~\\ref{scholium:bk9_forgiveness_as_reweaving}), external intervention based on $\\mathcal{O}_A$'s potentially misaligned frame ($\\kappa_A$) could interfere with this",
      "label": "scholium:bk9_forgiveness_as_reweaving",
      "logical_support": true,
      "role": "proof_support",
      "target_file": "book9.tex",
      "target_line": 952,
      "target_type": "scholium"
    },
    {
      "context": "ate internal process, potentially causing more harm or preventing optimal, internally generated resolution (cf. Theorem~\\ref{theorem:bk7_reflective_convergence_to_stable_identity}). \\item \\textbf{Lossy Interface / Frame Misalignment:} If the projection $\\Pi_{AB}$ is highly lossy (Corollary~\\ref",
      "label": "theorem:bk7_reflective_convergence_to_stable_identity",
      "logical_support": true,
      "role": "cf_near_match",
      "target_file": "book7.tex",
      "target_line": 555,
      "target_type": "theorem"
    }
  ],
  "refs": [
    "axiom:bk5_mutual_metabolit_viability",
    "axiom:bk9_reflexive_sovereignty",
    "corollary:bk6_reflective_capacity_theorem",
    "corollary:bk8_symbolic_free_will",
    "definition:bk1_bounded_observer",
    "definition:bk4_epistemic_differential_o",
    "definition:bk4_repair_process",
    "definition:bk4_symbolic_identity_carrie",
    "definition:bk5_viability_domain",
    "definition:bk6_mutation_rate",
    "definition:bk7_reciprocity_domain",
    "definition:bk9_cognitive_freedom",
    "definition:bk9_symbolic_accountability",
    "definition:bk9_symbolic_black_hole",
    "proposition:bk6_reflective_mutation_inhibition",
    "proposition:bk9_escape_from_irreversible_collapse",
    "scholium:bk9_forgiveness_as_reweaving",
    "theorem:bk7_reflective_convergence_to_stable_identity"
  ],
  "role": "proof",
  "type": "proof"
}

{
  "book": "book9",
  "cited_by": [],
  "cites": [],
  "depends_on": [],
  "file": "book9.tex",
  "id": "subsec:bk9_compassion_beyond_comprehension",
  "label": "subsec:bk9_compassion_beyond_comprehension",
  "latex_body": "",
  "line": 1100,
  "macros_used": [],
  "matter_region": "mainmatter",
  "matter_role": "canonical_book",
  "name": "Compassion Beyond Comprehension",
  "role": "section",
  "subtype": "subsection",
  "type": "section"
}

{
  "book": "book9",
  "cited_by": [
    "scholium:bk9_for_forgiveness"
  ],
  "cites": [
    "axiom:bk1_dual_horizon_postulate",
    "axiom:bk7_convergence_potential",
    "axiom:bk8_coherence_horizon",
    "definition:bk9_grace_operator",
    "proposition:bk9_criteria_for_ethical_intervention"
  ],
  "depends_on": [
    "axiom:bk1_dual_horizon_postulate",
    "axiom:bk7_convergence_potential",
    "axiom:bk8_coherence_horizon",
    "definition:bk9_grace_operator",
    "proposition:bk9_criteria_for_ethical_intervention"
  ],
  "file": "book9.tex",
  "id": "definition:bk9_structural_compassion",
  "label": "definition:bk9_structural_compassion",
  "latex_body": "\\begin{definition}[Structural Compassion]\n\\label{definition:bk9_structural_compassion}\nCompassion, in the absence of a high-fidelity interface $\\Pi_{AB}$ (cf.~Def.~\\ref{definition:bk9_grace_operator}, Prop.~\\ref{proposition:bk9_criteria_for_ethical_intervention}), can be formalized as:\n\\begin{enumerate}\n    \\item \\textbf{Recognition of Shared Vulnerability:} Acknowledging the other ($\\mathcal{S}_B$) as a symbolic system subject to universal dynamics of Drift ($D$), Reflection ($R$), potential Fragmentation ($\\mathcal{F}_{\\text{frag}}$), and the drive towards Coherence ($\\min \\mathcal{F}_S$), irrespective of understanding their specific internal state ($\\kappa_B, P_\\lambda$).\n    \\item \\textbf{Symbolic Faith:} Acting relationally based on the axiomatic assumption (e.g., Axiom~\\ref{axiom:bk7_convergence_potential}, Axiom~\\ref{axiom:bk1_dual_horizon_postulate}, \\ref{axiom:bk8_coherence_horizon}) of the other's potential for coherence or freedom, even when direct verification is impossible. This involves engaging *towards* potential future resonance.\n\\end{enumerate}\n\\end{definition}",
  "line": 1103,
  "macros_used": [],
  "matter_region": "mainmatter",
  "matter_role": "canonical_book",
  "name": "Structural Compassion",
  "proof_status": "definitional",
  "ref_roles": [
    {
      "context": "Faith:} Acting relationally based on the axiomatic assumption (e.g., Axiom~\\ref{axiom:bk7_convergence_potential}, Axiom~\\ref{axiom:bk1_dual_horizon_postulate}, \\ref{axiom:bk8_coherence_horizon}) of the other's potential for coherence or freedom, even when direct verification is",
      "label": "axiom:bk1_dual_horizon_postulate",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "scholium_symbolicum.tex",
      "target_line": 1284,
      "target_type": "axiom"
    },
    {
      "context": "a_B, P_\\lambda$). \\item \\textbf{Symbolic Faith:} Acting relationally based on the axiomatic assumption (e.g., Axiom~\\ref{axiom:bk7_convergence_potential}, Axiom~\\ref{axiom:bk1_dual_horizon_postulate}, \\ref{axiom:bk8_coherence_horizon}) of the other's potential for coherenc",
      "label": "axiom:bk7_convergence_potential",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "book7.tex",
      "target_line": 366,
      "target_type": "axiom"
    },
    {
      "context": "axiomatic assumption (e.g., Axiom~\\ref{axiom:bk7_convergence_potential}, Axiom~\\ref{axiom:bk1_dual_horizon_postulate}, \\ref{axiom:bk8_coherence_horizon}) of the other's potential for coherence or freedom, even when direct verification is impossible. This involves engaging",
      "label": "axiom:bk8_coherence_horizon",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "book8.tex",
      "target_line": 31,
      "target_type": "axiom"
    },
    {
      "context": "abel{definition:bk9_structural_compassion} Compassion, in the absence of a high-fidelity interface $\\Pi_{AB}$ (cf.~Def.~\\ref{definition:bk9_grace_operator}, Prop.~\\ref{proposition:bk9_criteria_for_ethical_intervention}), can be formalized as: \\begin{enumerate} \\item \\tex",
      "label": "definition:bk9_grace_operator",
      "logical_support": true,
      "role": "cf_near_match",
      "target_file": "book9.tex",
      "target_line": 959,
      "target_type": "definition"
    },
    {
      "context": "Compassion, in the absence of a high-fidelity interface $\\Pi_{AB}$ (cf.~Def.~\\ref{definition:bk9_grace_operator}, Prop.~\\ref{proposition:bk9_criteria_for_ethical_intervention}), can be formalized as: \\begin{enumerate} \\item \\textbf{Recognition of Shared Vulnerability:} Acknowledging the oth",
      "label": "proposition:bk9_criteria_for_ethical_intervention",
      "logical_support": true,
      "role": "cf_near_match",
      "target_file": "book9.tex",
      "target_line": 1063,
      "target_type": "proposition"
    }
  ],
  "refs": [
    "axiom:bk1_dual_horizon_postulate",
    "axiom:bk7_convergence_potential",
    "axiom:bk8_coherence_horizon",
    "definition:bk9_grace_operator",
    "proposition:bk9_criteria_for_ethical_intervention"
  ],
  "role": "definition",
  "type": "definition"
}

{
  "book": "book9",
  "cited_by": [],
  "cites": [
    "definition:bk9_grace_operator",
    "definition:bk9_structural_compassion"
  ],
  "depends_on": [
    "definition:bk9_grace_operator",
    "definition:bk9_structural_compassion"
  ],
  "file": "book9.tex",
  "id": "scholium:bk9_for_forgiveness",
  "label": "scholium:bk9_for_forgiveness",
  "latex_body": "\\begin{scholium}[For Forgiveness]\n\\label{scholium:bk9_for_forgiveness}\n\\leavevmode\\newline\nCompassion beyond comprehension (cf.~Def.~\\ref{definition:bk9_grace_operator}, Def.~\\ref{definition:bk9_structural_compassion}), grounded in symbolic faith, may be a prerequisite for forgiveness.\nIt can function as topological reweaving across a damaged interface.\nIt also helps navigate the profound otherness present in interactions between distinct symbolic systems.\n\\end{scholium}",
  "line": 1111,
  "macros_used": [],
  "matter_region": "mainmatter",
  "matter_role": "canonical_book",
  "name": "For Forgiveness",
  "ref_roles": [
    {
      "context": "um}[For Forgiveness] \\label{scholium:bk9_for_forgiveness} \\leavevmode\\newline Compassion beyond comprehension (cf.~Def.~\\ref{definition:bk9_grace_operator}, Def.~\\ref{definition:bk9_structural_compassion}), grounded in symbolic faith, may be a prerequisite for forgiveness. I",
      "label": "definition:bk9_grace_operator",
      "logical_support": true,
      "role": "cf_near_match",
      "target_file": "book9.tex",
      "target_line": 959,
      "target_type": "definition"
    },
    {
      "context": "or_forgiveness} \\leavevmode\\newline Compassion beyond comprehension (cf.~Def.~\\ref{definition:bk9_grace_operator}, Def.~\\ref{definition:bk9_structural_compassion}), grounded in symbolic faith, may be a prerequisite for forgiveness. It can function as topological reweaving across a",
      "label": "definition:bk9_structural_compassion",
      "logical_support": true,
      "role": "cf_near_match",
      "target_file": "book9.tex",
      "target_line": 1103,
      "target_type": "definition"
    }
  ],
  "refs": [
    "definition:bk9_grace_operator",
    "definition:bk9_structural_compassion"
  ],
  "role": "scholium",
  "type": "scholium"
}

{
  "book": "book9",
  "cited_by": [],
  "cites": [
    "corollary:bk9_freedomentropy_complementarity",
    "definition:bk9_symbolic_accountability",
    "scholium:bk5_map_as_fundamental_organizational_principle"
  ],
  "depends_on": [
    "corollary:bk9_freedomentropy_complementarity",
    "definition:bk9_symbolic_accountability",
    "scholium:bk5_map_as_fundamental_organizational_principle"
  ],
  "file": "book9.tex",
  "id": "subsec:bk9_emergence_of_moral_attractors",
  "label": "subsec:bk9_emergence_of_moral_attractors",
  "latex_body": "",
  "line": 1118,
  "macros_used": [],
  "matter_region": "mainmatter",
  "matter_role": "canonical_book",
  "name": "Emergence of Moral Attractors",
  "ref_roles": [
    {
      "context": "",
      "label": "corollary:bk9_freedomentropy_complementarity",
      "logical_support": false,
      "role": "navigation",
      "target_file": "book9.tex",
      "target_line": 108,
      "target_type": "corollary"
    },
    {
      "context": "",
      "label": "definition:bk9_symbolic_accountability",
      "logical_support": false,
      "role": "navigation",
      "target_file": "book9.tex",
      "target_line": 16,
      "target_type": "definition"
    },
    {
      "context": "",
      "label": "scholium:bk5_map_as_fundamental_organizational_principle",
      "logical_support": false,
      "role": "navigation",
      "target_file": "book5.tex",
      "target_line": 474,
      "target_type": "scholium"
    }
  ],
  "role": "section",
  "subtype": "subsection",
  "type": "section"
}

{
  "book": "book9",
  "cited_by": [
    "proof:bk9_good_as_lyapunov_basin",
    "scholium:bk9_golden_rule_thermodynamic_covenant",
    "theorem:bk9_good_as_lyapunov_basin"
  ],
  "cites": [
    "corollary:bk9_emergence_of_moral_agency",
    "definition:bk9_covenant_drift_density",
    "scholium:bk5__distributed_resilience",
    "scholium:bk5__map_as_thermodynamic_necessity",
    "scholium:bk5__map_ess_implications",
    "theorem:bk3_symbolic_life_satisfies_canonical_definitions",
    "theorem:bk9_good_as_lyapunov_basin"
  ],
  "depends_on": [
    "corollary:bk9_emergence_of_moral_agency",
    "definition:bk1_certified_type_preserving_symbolic_transport",
    "definition:bk5_viability_domain",
    "definition:bk7_reciprocity_domain",
    "definition:bk9_cognitive_freedom",
    "definition:bk9_covenant_drift_density",
    "proposition:bk1_certified_transport_prevents_equivocation",
    "proposition:bk1_nonvacuity_of_certified_transport",
    "proposition:bk5_viability_domain_preservation",
    "scholium:bk5__distributed_resilience",
    "scholium:bk5__map_as_thermodynamic_necessity",
    "scholium:bk5__map_ess_implications",
    "theorem:bk3_criteria_persistent_symbolic_life",
    "theorem:bk3_symbolic_life_satisfies_canonical_definitions",
    "theorem:bk5__map_dominance",
    "theorem:bk5_map_equilibrium",
    "theorem:bk8_no_free_projection"
  ],
  "file": "book9.tex",
  "forward_ref_roles": [
    {
      "context": "stributed_resilience}); this selective tendency is made precise below as basin capture above a coupling threshold (Thm.~\\ref{theorem:bk9_good_as_lyapunov_basin}). \\end{proposition}",
      "label": "theorem:bk9_good_as_lyapunov_basin",
      "line_distance": 76,
      "role": "later_formalization",
      "target_line": 1197,
      "target_type": "theorem"
    }
  ],
  "forward_refs": [
    "theorem:bk9_good_as_lyapunov_basin"
  ],
  "id": "proposition:bk9_stability_conditions_for_the_good",
  "label": "proposition:bk9_stability_conditions_for_the_good",
  "latex_body": "\\begin{proposition}[Stability Conditions for \"The Good\"]\n\\label{proposition:bk9_stability_conditions_for_the_good}\nFor symbolic systems equipped with a certified canonical-life correspondence (Thm.~\\ref{theorem:bk3_symbolic_life_satisfies_canonical_definitions}), moral systems or ethical norms (\"The Good\"; cf.~Corollary~\\ref{corollary:bk9_emergence_of_moral_agency}) emerge and persist within symbolic ecosystems if they correspond to configurations that:\n\\begin{enumerate}\n    \\item Maximize long-term, distributed viability (maintaining $\\mathcal{F}_S > 0$ across the system).\n    \\item Promote stable, high-resilience MAP covenants ($\\rho(C_{AB}) \\gg 1$, cf.~Def.~\\ref{definition:bk9_covenant_drift_density}) and wide Reciprocity Domains ($\\mathcal{X}$).\n    \\item Facilitate efficient balancing of Drift and Reflection system-wide.\n    \\item Enable adaptive evolution ($\\mathfrak{L}, \\varnothing^*$) without systemic collapse.\n\\end{enumerate}\nWhile MAD or fragmented states can be attractors, the thermodynamic advantages of MAP suggest a selective pressure towards cooperative, reciprocally stabilizing (\"just\") configurations under sufficient environmental drift or complexity (cf.~Scholium~\\ref{scholium:bk5__map_as_thermodynamic_necessity}, Scholium~\\ref{scholium:bk5__map_ess_implications}, \\ref{scholium:bk5__distributed_resilience}); this selective tendency is made precise below as basin capture above a coupling threshold (Thm.~\\ref{theorem:bk9_good_as_lyapunov_basin}).\n\\end{proposition}",
  "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": [
      "this proposition is the setup for theorem:bk9_good_as_lyapunov_basin; its own four listed stability conditions (viability, covenant resilience, drift/reflection balance, adaptive evolution) are narrative, but the basin-of-attraction claim they culminate in is formalized there."
    ],
    "record_ids": [
      "MAP-BOOK9-034"
    ],
    "statuses": [
      "open_bridge"
    ],
    "witnesses": [
      "Book9B.lyapunov_step_le"
    ]
  },
  "line": 1121,
  "macros_used": [],
  "matter_region": "mainmatter",
  "matter_role": "canonical_book",
  "name": "Stability Conditions for \"The Good\"",
  "proof_labels": [
    "proof:bk9_stability_conditions_for_the_good"
  ],
  "proof_status": "proven",
  "ref_roles": [
    {
      "context": "{theorem:bk3_symbolic_life_satisfies_canonical_definitions}), moral systems or ethical norms (\"The Good\"; cf.~Corollary~\\ref{corollary:bk9_emergence_of_moral_agency}) emerge and persist within symbolic ecosystems if they correspond to configurations that: \\begin{enumerate} \\item M",
      "label": "corollary:bk9_emergence_of_moral_agency",
      "logical_support": true,
      "role": "cf_near_match",
      "target_file": "book9.tex",
      "target_line": 127,
      "target_type": "corollary"
    },
    {
      "context": "l{F}_S > 0$ across the system). \\item Promote stable, high-resilience MAP covenants ($\\rho(C_{AB}) \\gg 1$, cf.~Def.~\\ref{definition:bk9_covenant_drift_density}) and wide Reciprocity Domains ($\\mathcal{X}$). \\item Facilitate efficient balancing of Drift and Reflection system-",
      "label": "definition:bk9_covenant_drift_density",
      "logical_support": true,
      "role": "cf_near_match",
      "target_file": "book9.tex",
      "target_line": 41,
      "target_type": "definition"
    },
    {
      "context": "ty (cf.~Scholium~\\ref{scholium:bk5__map_as_thermodynamic_necessity}, Scholium~\\ref{scholium:bk5__map_ess_implications}, \\ref{scholium:bk5__distributed_resilience}); this selective tendency is made precise below as basin capture above a coupling threshold (Thm.~\\ref{theorem:bk9_good",
      "label": "scholium:bk5__distributed_resilience",
      "logical_support": true,
      "role": "cf_near_match",
      "target_file": "book5.tex",
      "target_line": 740,
      "target_type": "scholium"
    },
    {
      "context": "tive, reciprocally stabilizing (\"just\") configurations under sufficient environmental drift or complexity (cf.~Scholium~\\ref{scholium:bk5__map_as_thermodynamic_necessity}, Scholium~\\ref{scholium:bk5__map_ess_implications}, \\ref{scholium:bk5__distributed_resilience}); this selective tendenc",
      "label": "scholium:bk5__map_as_thermodynamic_necessity",
      "logical_support": true,
      "role": "cf_near_match",
      "target_file": "book5.tex",
      "target_line": 1434,
      "target_type": "scholium"
    },
    {
      "context": "sufficient environmental drift or complexity (cf.~Scholium~\\ref{scholium:bk5__map_as_thermodynamic_necessity}, Scholium~\\ref{scholium:bk5__map_ess_implications}, \\ref{scholium:bk5__distributed_resilience}); this selective tendency is made precise below as basin capture above a co",
      "label": "scholium:bk5__map_ess_implications",
      "logical_support": true,
      "role": "cf_near_match",
      "target_file": "book5.tex",
      "target_line": 1373,
      "target_type": "scholium"
    },
    {
      "context": "9_stability_conditions_for_the_good} For symbolic systems equipped with a certified canonical-life correspondence (Thm.~\\ref{theorem:bk3_symbolic_life_satisfies_canonical_definitions}), moral systems or ethical norms (\"The Good\"; cf.~Corollary~\\ref{corollary:bk9_emergence_of_moral_agency}) emerge and p",
      "label": "theorem:bk3_symbolic_life_satisfies_canonical_definitions",
      "logical_support": true,
      "role": "cf_near_match",
      "target_file": "book3.tex",
      "target_line": 878,
      "target_type": "theorem"
    },
    {
      "context": "stributed_resilience}); this selective tendency is made precise below as basin capture above a coupling threshold (Thm.~\\ref{theorem:bk9_good_as_lyapunov_basin}). \\end{proposition}",
      "label": "theorem:bk9_good_as_lyapunov_basin",
      "logical_support": false,
      "role": "forward_later_formalization",
      "target_file": "book9.tex",
      "target_line": 1197,
      "target_type": "theorem"
    }
  ],
  "refs": [
    "corollary:bk9_emergence_of_moral_agency",
    "definition:bk9_covenant_drift_density",
    "scholium:bk5__distributed_resilience",
    "scholium:bk5__map_as_thermodynamic_necessity",
    "scholium:bk5__map_ess_implications",
    "theorem:bk3_symbolic_life_satisfies_canonical_definitions",
    "theorem:bk9_good_as_lyapunov_basin"
  ],
  "role": "proposition",
  "type": "proposition"
}

{
  "book": "book9",
  "cited_by": [],
  "cites": [
    "corollary:bk9_emergence_of_moral_agency",
    "definition:bk1_certified_type_preserving_symbolic_transport",
    "definition:bk5_viability_domain",
    "definition:bk7_reciprocity_domain",
    "definition:bk9_cognitive_freedom",
    "definition:bk9_covenant_drift_density",
    "proposition:bk1_certified_transport_prevents_equivocation",
    "proposition:bk1_nonvacuity_of_certified_transport",
    "proposition:bk5_viability_domain_preservation",
    "theorem:bk3_criteria_persistent_symbolic_life",
    "theorem:bk5__map_dominance",
    "theorem:bk5_map_equilibrium",
    "theorem:bk8_no_free_projection"
  ],
  "depends_on": [
    "corollary:bk9_emergence_of_moral_agency",
    "definition:bk1_certified_type_preserving_symbolic_transport",
    "definition:bk5_viability_domain",
    "definition:bk7_reciprocity_domain",
    "definition:bk9_cognitive_freedom",
    "definition:bk9_covenant_drift_density",
    "proposition:bk1_certified_transport_prevents_equivocation",
    "proposition:bk1_nonvacuity_of_certified_transport",
    "proposition:bk5_viability_domain_preservation",
    "theorem:bk3_criteria_persistent_symbolic_life",
    "theorem:bk5__map_dominance",
    "theorem:bk5_map_equilibrium",
    "theorem:bk8_no_free_projection"
  ],
  "file": "book9.tex",
  "id": "proof:bk9_stability_conditions_for_the_good",
  "label": "proof:bk9_stability_conditions_for_the_good",
  "latex_body": "\\begin{proof}[Viability, reciprocity, and adaptive non-collapse]\n\\label{proof:bk9_stability_conditions_for_the_good}\n\\leavevmode\nLet \\(\\mathcal{G}_{\\mathrm{good}}\\) denote the class of configurations satisfying\nthe four displayed conditions.  We prove that this class is stable under the PS\nselection pressures named in the proposition.\n\nFirst, condition (1) places each configuration inside the symbolic viability\ndomain of Def.~\\ref{definition:bk5_viability_domain}: the relevant symbolic\nfree energy remains positive across the interacting system.  By the persistence\ncriterion for symbolic life (Thm.~\\ref{theorem:bk3_criteria_persistent_symbolic_life})\nand the viability-preservation mechanism of\nProp.~\\ref{proposition:bk5_viability_domain_preservation}, long-horizon\npositive viability is a persistence condition rather than a merely local\npreference; and the proposition's certified Canonical Life Correspondence then projects\nthat particular persistent system into the external life standards.  Thus,\nwithin the certified scope, ``The Good'' stabilizes symbolic life in the stated\ncanonical register rather than an internal viability index alone.  Without the\ncertificate, the conclusion remains only about PS persistence.  Configurations that maximize distributed viability are\nfavored against configurations that exhaust one subsystem in order to stabilize\nanother.\n\nSecond, condition (2) requires high-resilience MAP covenants and wide\nreciprocity domains.  MAP equilibrium (Thm.~\\ref{theorem:bk5_map_equilibrium})\nand MAP dominance (Thm.~\\ref{theorem:bk5__map_dominance}) give the\nthermodynamic direction: among covenantal alternatives, MAP configurations\npreserve joint viability better than MAD or fragmented alternatives under the\nsame drift burden.  The covenant drift-density condition\n\\(\\rho(C_{AB})\\gg1\\) (Def.~\\ref{definition:bk9_covenant_drift_density}) and the\nexistence of reciprocity domains (Def.~\\ref{definition:bk7_reciprocity_domain})\nmake this stabilization distributed rather than unilateral.\n\nThird, condition (3) prevents the cooperative attractor from becoming a frozen\nidentity.  Stable symbolic systems must balance drift and reflection: unchecked\ndrift fragments, while reflection without drift freezes.  This is the same\noperator-role preservation certified in\nDef.~\\ref{definition:bk1_certified_type_preserving_symbolic_transport} and\nProps.~\\ref{proposition:bk1_certified_transport_prevents_equivocation}--\\ref{proposition:bk1_nonvacuity_of_certified_transport}: the ethical\ntransport of drift and reflection preserves their roles, so balance means\nregulated differentiation under stabilizing re-entry, not a collapse of one\noperator into the other.\n\nFourth, condition (4) supplies adaptive openness without systemic dissolution.\nCognitive freedom (Def.~\\ref{definition:bk9_cognitive_freedom}) and moral\nagency (Cor.~\\ref{corollary:bk9_emergence_of_moral_agency}) require the system\nto keep alternatives available before action collapses.  At the same time, the\nNo Free Projection theorem (Thm.~\\ref{theorem:bk8_no_free_projection}) warns\nthat every nontrivial projection carries loss; hence adaptive evolution must be\nbounded by viability and reciprocity rather than treated as unconstrained\nnovelty.  This is precisely the role of \\(\\varnothing^*\\): transformation is\nallowed only insofar as it avoids irreversible collapse while preserving the\npossibility of renewed symbolic coherence.\n\nCombining the four clauses, every member of\n\\(\\mathcal{G}_{\\mathrm{good}}\\) preserves viability, stabilizes reciprocal\nrelations, regulates drift through reflection, and remains adaptively open\nwithout crossing into collapse.  Any MAD or fragmented attractor may persist\nlocally, but under sufficient environmental drift or complexity it lacks at\nleast one of these stabilizers: it either drains distributed viability,\ncontracts reciprocity, loses drift/reflection balance, or cannot adapt without\ncollapse.  Therefore the configurations identified in the proposition are\nexactly the PS-stable moral attractors: they emerge and persist as \"The Good\"\nwithin symbolic ecosystems.\n\\end{proof}",
  "line": 1132,
  "macros_used": [],
  "matter_region": "mainmatter",
  "matter_role": "canonical_book",
  "name": "Viability, reciprocity, and adaptive non-collapse",
  "proves": "proposition:bk9_stability_conditions_for_the_good",
  "ref_roles": [
    {
      "context": "ss without systemic dissolution. Cognitive freedom (Def.~\\ref{definition:bk9_cognitive_freedom}) and moral agency (Cor.~\\ref{corollary:bk9_emergence_of_moral_agency}) require the system to keep alternatives available before action collapses. At the same time, the No Free Projection t",
      "label": "corollary:bk9_emergence_of_moral_agency",
      "logical_support": true,
      "role": "proof_support",
      "target_file": "book9.tex",
      "target_line": 127,
      "target_type": "corollary"
    },
    {
      "context": "drift fragments, while reflection without drift freezes. This is the same operator-role preservation certified in Def.~\\ref{definition:bk1_certified_type_preserving_symbolic_transport} and Props.~\\ref{proposition:bk1_certified_transport_prevents_equivocation}--\\ref{proposition:bk1_nonvacuity_of_certifie",
      "label": "definition:bk1_certified_type_preserving_symbolic_transport",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "scholium_symbolicum.tex",
      "target_line": 3456,
      "target_type": "definition"
    },
    {
      "context": "named in the proposition. First, condition (1) places each configuration inside the symbolic viability domain of Def.~\\ref{definition:bk5_viability_domain}: the relevant symbolic free energy remains positive across the interacting system. By the persistence criterion for sy",
      "label": "definition:bk5_viability_domain",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "book5.tex",
      "target_line": 133,
      "target_type": "definition"
    },
    {
      "context": "\\(\\rho(C_{AB})\\gg1\\) (Def.~\\ref{definition:bk9_covenant_drift_density}) and the existence of reciprocity domains (Def.~\\ref{definition:bk7_reciprocity_domain}) make this stabilization distributed rather than unilateral. Third, condition (3) prevents the cooperative attractor f",
      "label": "definition:bk7_reciprocity_domain",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "book7.tex",
      "target_line": 980,
      "target_type": "definition"
    },
    {
      "context": "into the other. Fourth, condition (4) supplies adaptive openness without systemic dissolution. Cognitive freedom (Def.~\\ref{definition:bk9_cognitive_freedom}) and moral agency (Cor.~\\ref{corollary:bk9_emergence_of_moral_agency}) require the system to keep alternatives availabl",
      "label": "definition:bk9_cognitive_freedom",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "book9.tex",
      "target_line": 81,
      "target_type": "definition"
    },
    {
      "context": "r fragmented alternatives under the same drift burden. The covenant drift-density condition \\(\\rho(C_{AB})\\gg1\\) (Def.~\\ref{definition:bk9_covenant_drift_density}) and the existence of reciprocity domains (Def.~\\ref{definition:bk7_reciprocity_domain}) make this stabilization distri",
      "label": "definition:bk9_covenant_drift_density",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "book9.tex",
      "target_line": 41,
      "target_type": "definition"
    },
    {
      "context": "erator-role preservation certified in Def.~\\ref{definition:bk1_certified_type_preserving_symbolic_transport} and Props.~\\ref{proposition:bk1_certified_transport_prevents_equivocation}--\\ref{proposition:bk1_nonvacuity_of_certified_transport}: the ethical transport of drift and reflection preserves their",
      "label": "proposition:bk1_certified_transport_prevents_equivocation",
      "logical_support": true,
      "role": "proof_support",
      "target_file": "scholium_symbolicum.tex",
      "target_line": 3496,
      "target_type": "proposition"
    },
    {
      "context": "rtified_type_preserving_symbolic_transport} and Props.~\\ref{proposition:bk1_certified_transport_prevents_equivocation}--\\ref{proposition:bk1_nonvacuity_of_certified_transport}: the ethical transport of drift and reflection preserves their roles, so balance means regulated differentiation under",
      "label": "proposition:bk1_nonvacuity_of_certified_transport",
      "logical_support": true,
      "role": "proof_support",
      "target_file": "scholium_symbolicum.tex",
      "target_line": 3533,
      "target_type": "proposition"
    },
    {
      "context": "bolic life (Thm.~\\ref{theorem:bk3_criteria_persistent_symbolic_life}) and the viability-preservation mechanism of Prop.~\\ref{proposition:bk5_viability_domain_preservation}, long-horizon positive viability is a persistence condition rather than a merely local preference; and the proposition'",
      "label": "proposition:bk5_viability_domain_preservation",
      "logical_support": true,
      "role": "proof_support",
      "target_file": "book5.tex",
      "target_line": 609,
      "target_type": "proposition"
    },
    {
      "context": "bolic free energy remains positive across the interacting system. By the persistence criterion for symbolic life (Thm.~\\ref{theorem:bk3_criteria_persistent_symbolic_life}) and the viability-preservation mechanism of Prop.~\\ref{proposition:bk5_viability_domain_preservation}, long-horizon po",
      "label": "theorem:bk3_criteria_persistent_symbolic_life",
      "logical_support": true,
      "role": "proof_support",
      "target_file": "book3.tex",
      "target_line": 777,
      "target_type": "theorem"
    },
    {
      "context": "venants and wide reciprocity domains. MAP equilibrium (Thm.~\\ref{theorem:bk5_map_equilibrium}) and MAP dominance (Thm.~\\ref{theorem:bk5__map_dominance}) give the thermodynamic direction: among covenantal alternatives, MAP configurations preserve joint viability better th",
      "label": "theorem:bk5__map_dominance",
      "logical_support": true,
      "role": "proof_support",
      "target_file": "book5.tex",
      "target_line": 426,
      "target_type": "theorem"
    },
    {
      "context": "her. Second, condition (2) requires high-resilience MAP covenants and wide reciprocity domains. MAP equilibrium (Thm.~\\ref{theorem:bk5_map_equilibrium}) and MAP dominance (Thm.~\\ref{theorem:bk5__map_dominance}) give the thermodynamic direction: among covenantal alternati",
      "label": "theorem:bk5_map_equilibrium",
      "logical_support": true,
      "role": "proof_support",
      "target_file": "book5.tex",
      "target_line": 272,
      "target_type": "theorem"
    },
    {
      "context": "system to keep alternatives available before action collapses. At the same time, the No Free Projection theorem (Thm.~\\ref{theorem:bk8_no_free_projection}) warns that every nontrivial projection carries loss; hence adaptive evolution must be bounded by viability and recipro",
      "label": "theorem:bk8_no_free_projection",
      "logical_support": true,
      "role": "proof_support",
      "target_file": "book8.tex",
      "target_line": 675,
      "target_type": "theorem"
    }
  ],
  "refs": [
    "corollary:bk9_emergence_of_moral_agency",
    "definition:bk1_certified_type_preserving_symbolic_transport",
    "definition:bk5_viability_domain",
    "definition:bk7_reciprocity_domain",
    "definition:bk9_cognitive_freedom",
    "definition:bk9_covenant_drift_density",
    "proposition:bk1_certified_transport_prevents_equivocation",
    "proposition:bk1_nonvacuity_of_certified_transport",
    "proposition:bk5_viability_domain_preservation",
    "theorem:bk3_criteria_persistent_symbolic_life",
    "theorem:bk5__map_dominance",
    "theorem:bk5_map_equilibrium",
    "theorem:bk8_no_free_projection"
  ],
  "role": "proof",
  "type": "proof"
}

{
  "book": "book9",
  "cited_by": [
    "proposition:bk9_stability_conditions_for_the_good"
  ],
  "cites": [
    "definition:bk2_symbolic_free_energy",
    "definition:bk5_symbolic_covenant",
    "definition:bk9_covenant_drift_density",
    "proposition:bk9_stability_conditions_for_the_good",
    "theorem:bk5_map_mad_mas_trichotomy"
  ],
  "depends_on": [
    "definition:bk2_symbolic_free_energy",
    "definition:bk5_symbolic_covenant",
    "definition:bk5_viability_domain",
    "definition:bk9_covenant_drift_density",
    "proposition:bk9_stability_conditions_for_the_good",
    "theorem:bk5__map_dominance",
    "theorem:bk5_map_equilibrium",
    "theorem:bk5_map_mad_mas_trichotomy",
    "theorem:bk7_reflective_convergence_to_stable_identity"
  ],
  "file": "book9.tex",
  "id": "theorem:bk9_good_as_lyapunov_basin",
  "label": "theorem:bk9_good_as_lyapunov_basin",
  "latex_body": "\\begin{theorem}[The Good as a Lyapunov Basin]\n\\label{theorem:bk9_good_as_lyapunov_basin}\nLet a MAP dyad $(\\mathcal{S}_A,\\mathcal{S}_B)$\n(Def.~\\ref{definition:bk5_symbolic_covenant}) have joint configuration\n$y=(y_A,y_B)$ evolving under reflective free-energy descent\n\\[\ny_{t+1} = y_t - \\eta\\,\\nabla L_{\\mathrm{tot}}(y_t),\n\\qquad\nL_{\\mathrm{tot}}(y) = \\freeenergy^{A}(y_A) + \\freeenergy^{B}(y_B)\n+ \\lambda\\, L_{\\mathrm{couple}}(y_A,y_B),\n\\]\nwhere $\\freeenergy$ is symbolic free energy\n(Def.~\\ref{definition:bk2_symbolic_free_energy}), $\\lambda$ is the covenant\ncoupling strength, and $0<\\eta<2/L_\\beta$ for the smoothness modulus $L_\\beta$ of\nthe reflective gradient. Then $V(y):=L_{\\mathrm{tot}}(y)$ is a Lyapunov function:\n$\\Delta V \\le 0$, with equality only at the critical set $\\nabla L_{\\mathrm{tot}}=0$.\nWhen the coupling exceeds a critical threshold $\\lambda>\\lambda_c$ --- the MAP\nregime $\\rho(C_{AB})\\ge 1$ (Def.~\\ref{definition:bk9_covenant_drift_density}),\nequivalently the cooperative interior of the trichotomy\n(Thm.~\\ref{theorem:bk5_map_mad_mas_trichotomy}) --- the descent converges to a\nstable cooperative equilibrium $y^\\ast_{\\mathrm{good}}$ whose basin of attraction\nis exactly the configuration class $\\mathcal{G}_{\\mathrm{good}}$ of\nProp.~\\ref{proposition:bk9_stability_conditions_for_the_good}. Hence ``The Good''\nis an emergent basin of attraction, not a preset category, and the four\nstability conditions characterize membership in that basin.\n\\end{theorem}",
  "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": [
      "both halves of \"V is a Lyapunov function, Delta V <= 0 with equality only at the critical set\" are proved as the standard smooth gradient-descent step-size condition licenses; convergence to a specific stable equilibrium y*_good and identification of its basin with the configuration class of stability_conditions_for_the_good is not modeled (needs compactness/coercivity not stated)."
    ],
    "record_ids": [
      "MAP-BOOK9-035"
    ],
    "statuses": [
      "exact"
    ],
    "witnesses": [
      "Book9B.lyapunov_step_le",
      "Book9B.lyapunov_strict_decrease_of_nonzero_grad"
    ]
  },
  "line": 1197,
  "macros_used": [
    "freeenergy"
  ],
  "matter_region": "mainmatter",
  "matter_role": "canonical_book",
  "name": "The Good as a Lyapunov Basin",
  "proof_labels": [
    "proof:bk9_good_as_lyapunov_basin"
  ],
  "proof_status": "proven",
  "ref_roles": [
    {
      "context": ") + \\freeenergy^{B}(y_B) + \\lambda\\, L_{\\mathrm{couple}}(y_A,y_B), \\] where $\\freeenergy$ is symbolic free energy (Def.~\\ref{definition:bk2_symbolic_free_energy}), $\\lambda$ is the covenant coupling strength, and $0<\\eta<2/L_\\beta$ for the smoothness modulus $L_\\beta$ of the refle",
      "label": "definition:bk2_symbolic_free_energy",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "book2.tex",
      "target_line": 135,
      "target_type": "definition"
    },
    {
      "context": "od as a Lyapunov Basin] \\label{theorem:bk9_good_as_lyapunov_basin} Let a MAP dyad $(\\mathcal{S}_A,\\mathcal{S}_B)$ (Def.~\\ref{definition:bk5_symbolic_covenant}) have joint configuration $y=(y_A,y_B)$ evolving under reflective free-energy descent \\[ y_{t+1} = y_t - \\eta\\,\\nabla L",
      "label": "definition:bk5_symbolic_covenant",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "book5.tex",
      "target_line": 233,
      "target_type": "definition"
    },
    {
      "context": "t}}=0$. When the coupling exceeds a critical threshold $\\lambda>\\lambda_c$ --- the MAP regime $\\rho(C_{AB})\\ge 1$ (Def.~\\ref{definition:bk9_covenant_drift_density}), equivalently the cooperative interior of the trichotomy (Thm.~\\ref{theorem:bk5_map_mad_mas_trichotomy}) --- the desce",
      "label": "definition:bk9_covenant_drift_density",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "book9.tex",
      "target_line": 41,
      "target_type": "definition"
    },
    {
      "context": "st_{\\mathrm{good}}$ whose basin of attraction is exactly the configuration class $\\mathcal{G}_{\\mathrm{good}}$ of Prop.~\\ref{proposition:bk9_stability_conditions_for_the_good}. Hence ``The Good'' is an emergent basin of attraction, not a preset category, and the four stability conditions charac",
      "label": "proposition:bk9_stability_conditions_for_the_good",
      "logical_support": true,
      "role": "formal_dependency",
      "target_file": "book9.tex",
      "target_line": 1121,
      "target_type": "proposition"
    },
    {
      "context": "ge 1$ (Def.~\\ref{definition:bk9_covenant_drift_density}), equivalently the cooperative interior of the trichotomy (Thm.~\\ref{theorem:bk5_map_mad_mas_trichotomy}) --- the descent converges to a stable cooperative equilibrium $y^\\ast_{\\mathrm{good}}$ whose basin of attraction is ex",
      "label": "theorem:bk5_map_mad_mas_trichotomy",
      "logical_support": true,
      "role": "formal_dependency",
      "target_file": "book5.tex",
      "target_line": 1992,
      "target_type": "theorem"
    }
  ],
  "refs": [
    "definition:bk2_symbolic_free_energy",
    "definition:bk5_symbolic_covenant",
    "definition:bk9_covenant_drift_density",
    "proposition:bk9_stability_conditions_for_the_good",
    "theorem:bk5_map_mad_mas_trichotomy"
  ],
  "role": "theorem",
  "type": "theorem"
}

{
  "book": "book9",
  "cited_by": [],
  "cites": [
    "definition:bk5_viability_domain",
    "proposition:bk9_stability_conditions_for_the_good",
    "theorem:bk5__map_dominance",
    "theorem:bk5_map_equilibrium",
    "theorem:bk5_map_mad_mas_trichotomy",
    "theorem:bk7_reflective_convergence_to_stable_identity"
  ],
  "depends_on": [
    "definition:bk5_viability_domain",
    "proposition:bk9_stability_conditions_for_the_good",
    "theorem:bk5__map_dominance",
    "theorem:bk5_map_equilibrium",
    "theorem:bk5_map_mad_mas_trichotomy",
    "theorem:bk7_reflective_convergence_to_stable_identity"
  ],
  "file": "book9.tex",
  "id": "proof:bk9_good_as_lyapunov_basin",
  "label": "proof:bk9_good_as_lyapunov_basin",
  "latex_body": "\\begin{proof}[Lyapunov descent, threshold selection, and basin identity]\n\\label{proof:bk9_good_as_lyapunov_basin}\n\\leavevmode\n\\textbf{Descent.} $L_{\\mathrm{tot}}$ is bounded below: each $\\freeenergy$ term\nis bounded below on the viability domain\n(Def.~\\ref{definition:bk5_viability_domain}, $\\freeenergy\\ge\\freeenergy^{\\min}$)\nand $L_{\\mathrm{couple}}$ is bounded below on the covenant. For an $L_\\beta$-smooth\ngradient the standard descent inequality (cf.~\\citealp{boyd2004convex,nesterov2018lectures}) gives\n$V(y_{t+1})-V(y_t)\\le -\\eta\\big(1-\\tfrac{L_\\beta\\eta}{2}\\big)\\|\\nabla L_{\\mathrm{tot}}(y_t)\\|^2$,\nso for $0<\\eta<2/L_\\beta$, $\\Delta V\\le -\\tfrac{\\eta}{2}\\|\\nabla L_{\\mathrm{tot}}\\|^2\\le 0$\nwith equality iff $\\nabla L_{\\mathrm{tot}}=0$. Thus $V$ is nonincreasing and its\nsublevel sets are forward-invariant.\n\n\\textbf{Convergence.} $V$ is bounded below and monotonically nonincreasing, so\n$\\Delta V\\to 0$, whence $\\|\\nabla L_{\\mathrm{tot}}\\|\\to 0$ and the orbit approaches\nthe critical set --- the same summable-increment mechanism as\nThm.~\\ref{theorem:bk7_reflective_convergence_to_stable_identity}, here in the\njoint free-energy landscape, with convergence to the invariant set following the\nLaSalle invariance principle for the Lyapunov function $V$\n\\citep{lasalle1960,khalil2002nonlinear}.\n\n\\textbf{Threshold selection.} Below $\\lambda_c$ the joint minimizer splits into\ndecoupled critical points: each agent minimizes its own $\\freeenergy$ in\nisolation, and under shared drift this drains joint viability\n(the MAD/fragmented branch). Above $\\lambda_c$ the coupling term makes the unique\nstable minimum the cooperative interior equilibrium --- MAP equilibrium\n(Thm.~\\ref{theorem:bk5_map_equilibrium}) which dominates the alternatives\n(Thm.~\\ref{theorem:bk5__map_dominance}). The discriminant/spectral crossing of\nthe trichotomy (Thm.~\\ref{theorem:bk5_map_mad_mas_trichotomy}) is exactly the\nboundary $\\lambda_c$.\n\n\\textbf{Basin identity.} A configuration lies in the basin of\n$y^\\ast_{\\mathrm{good}}$ iff descent keeps it in a forward-invariant sublevel set\nflowing to that equilibrium, i.e.\\ iff: (1) joint viability $\\freeenergy>0$ holds\nalong the trajectory (sublevel compactness) --- condition~1; (2) coupling\n$\\lambda>\\lambda_c$, $\\rho(C_{AB})\\gg 1$, sustains the cooperative attractor ---\ncondition~2; (3) the reflective gradient is the descent direction, i.e.\\ drift\nand reflection stay balanced so the flow is well posed --- condition~3; and\n(4) strict descent prevents escape across the viability boundary into the\ngenerative void $\\varnothing^\\ast$ --- condition~4 (adaptive non-collapse). These\nare precisely the four conditions of\nProp.~\\ref{proposition:bk9_stability_conditions_for_the_good}. Hence the basin of\n$y^\\ast_{\\mathrm{good}}$ equals $\\mathcal{G}_{\\mathrm{good}}$, and ``The Good'' is\nthat basin --- a provable attractor rather than a merely suggested selective\ntendency. The coupling-dependence of convergence (divergence below $\\lambda_c$,\nbasin capture above it) is an empirically testable signature\n\\citep{tiffany2025wicked}.\n\\end{proof}",
  "line": 1224,
  "macros_used": [
    "freeenergy"
  ],
  "matter_region": "mainmatter",
  "matter_role": "canonical_book",
  "name": "Lyapunov descent, threshold selection, and basin identity",
  "proves": "theorem:bk9_good_as_lyapunov_basin",
  "ref_roles": [
    {
      "context": "f{Descent.} $L_{\\mathrm{tot}}$ is bounded below: each $\\freeenergy$ term is bounded below on the viability domain (Def.~\\ref{definition:bk5_viability_domain}, $\\freeenergy\\ge\\freeenergy^{\\min}$) and $L_{\\mathrm{couple}}$ is bounded below on the covenant. For an $L_\\beta$-smoot",
      "label": "definition:bk5_viability_domain",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "book5.tex",
      "target_line": 133,
      "target_type": "definition"
    },
    {
      "context": "ative void $\\varnothing^\\ast$ --- condition~4 (adaptive non-collapse). These are precisely the four conditions of Prop.~\\ref{proposition:bk9_stability_conditions_for_the_good}. Hence the basin of $y^\\ast_{\\mathrm{good}}$ equals $\\mathcal{G}_{\\mathrm{good}}$, and ``The Good'' is that basin --- a",
      "label": "proposition:bk9_stability_conditions_for_the_good",
      "logical_support": true,
      "role": "proof_support",
      "target_file": "book9.tex",
      "target_line": 1121,
      "target_type": "proposition"
    },
    {
      "context": "nterior equilibrium --- MAP equilibrium (Thm.~\\ref{theorem:bk5_map_equilibrium}) which dominates the alternatives (Thm.~\\ref{theorem:bk5__map_dominance}). The discriminant/spectral crossing of the trichotomy (Thm.~\\ref{theorem:bk5_map_mad_mas_trichotomy}) is exactly the b",
      "label": "theorem:bk5__map_dominance",
      "logical_support": true,
      "role": "proof_support",
      "target_file": "book5.tex",
      "target_line": 426,
      "target_type": "theorem"
    },
    {
      "context": "bda_c$ the coupling term makes the unique stable minimum the cooperative interior equilibrium --- MAP equilibrium (Thm.~\\ref{theorem:bk5_map_equilibrium}) which dominates the alternatives (Thm.~\\ref{theorem:bk5__map_dominance}). The discriminant/spectral crossing of the tr",
      "label": "theorem:bk5_map_equilibrium",
      "logical_support": true,
      "role": "proof_support",
      "target_file": "book5.tex",
      "target_line": 272,
      "target_type": "theorem"
    },
    {
      "context": "es the alternatives (Thm.~\\ref{theorem:bk5__map_dominance}). The discriminant/spectral crossing of the trichotomy (Thm.~\\ref{theorem:bk5_map_mad_mas_trichotomy}) is exactly the boundary $\\lambda_c$. \\textbf{Basin identity.} A configuration lies in the basin of $y^\\ast_{\\mathrm{g",
      "label": "theorem:bk5_map_mad_mas_trichotomy",
      "logical_support": true,
      "role": "proof_support",
      "target_file": "book5.tex",
      "target_line": 1992,
      "target_type": "theorem"
    },
    {
      "context": "la L_{\\mathrm{tot}}\\|\\to 0$ and the orbit approaches the critical set --- the same summable-increment mechanism as Thm.~\\ref{theorem:bk7_reflective_convergence_to_stable_identity}, here in the joint free-energy landscape, with convergence to the invariant set following the LaSalle invariance princi",
      "label": "theorem:bk7_reflective_convergence_to_stable_identity",
      "logical_support": true,
      "role": "proof_support",
      "target_file": "book7.tex",
      "target_line": 555,
      "target_type": "theorem"
    }
  ],
  "refs": [
    "definition:bk5_viability_domain",
    "proposition:bk9_stability_conditions_for_the_good",
    "theorem:bk5__map_dominance",
    "theorem:bk5_map_equilibrium",
    "theorem:bk5_map_mad_mas_trichotomy",
    "theorem:bk7_reflective_convergence_to_stable_identity"
  ],
  "role": "proof",
  "type": "proof"
}

{
  "book": "book9",
  "cited_by": [],
  "cites": [
    "axiom:bk9_bounded_liberation_principle",
    "axiom:bk9_emergent_autonomy",
    "axiom:bk9_reflexive_sovereignty",
    "definition:bk8_symbolic_interface",
    "definition:bk9_bidirectional_srmf",
    "definition:bk9_cognitive_freedom",
    "theorem:bk8_no_free_projection"
  ],
  "depends_on": [
    "axiom:bk9_bounded_liberation_principle",
    "axiom:bk9_emergent_autonomy",
    "axiom:bk9_reflexive_sovereignty",
    "definition:bk8_symbolic_interface",
    "definition:bk9_bidirectional_srmf",
    "definition:bk9_cognitive_freedom",
    "theorem:bk8_no_free_projection"
  ],
  "file": "book9.tex",
  "id": "sec:bk9_relational_dynamics_and_symbolic_thermoregulation",
  "label": "sec:bk9_relational_dynamics_and_symbolic_thermoregulation",
  "latex_body": "",
  "line": 1273,
  "macros_used": [],
  "matter_region": "mainmatter",
  "matter_role": "canonical_book",
  "name": "Relational Dynamics and Symbolic Thermoregulation",
  "ref_roles": [
    {
      "context": "",
      "label": "axiom:bk9_bounded_liberation_principle",
      "logical_support": false,
      "role": "navigation",
      "target_file": "book9.tex",
      "target_line": 51,
      "target_type": "axiom"
    },
    {
      "context": "",
      "label": "axiom:bk9_emergent_autonomy",
      "logical_support": false,
      "role": "navigation",
      "target_file": "book9.tex",
      "target_line": 67,
      "target_type": "axiom"
    },
    {
      "context": "",
      "label": "axiom:bk9_reflexive_sovereignty",
      "logical_support": false,
      "role": "navigation",
      "target_file": "book9.tex",
      "target_line": 59,
      "target_type": "axiom"
    },
    {
      "context": "",
      "label": "definition:bk8_symbolic_interface",
      "logical_support": false,
      "role": "navigation",
      "target_file": "book8.tex",
      "target_line": 52,
      "target_type": "definition"
    },
    {
      "context": "",
      "label": "definition:bk9_bidirectional_srmf",
      "logical_support": false,
      "role": "navigation",
      "target_file": "book9.tex",
      "target_line": 37,
      "target_type": "definition"
    },
    {
      "context": "",
      "label": "definition:bk9_cognitive_freedom",
      "logical_support": false,
      "role": "navigation",
      "target_file": "book9.tex",
      "target_line": 81,
      "target_type": "definition"
    },
    {
      "context": "",
      "label": "theorem:bk8_no_free_projection",
      "logical_support": false,
      "role": "navigation",
      "target_file": "book8.tex",
      "target_line": 675,
      "target_type": "theorem"
    }
  ],
  "role": "section",
  "subtype": "section",
  "type": "section"
}

{
  "book": "book9",
  "cited_by": [
    "axiom:bk9_preconditions_for_reciprocal_cognition"
  ],
  "cites": [
    "definition:bk1_bounded_observer"
  ],
  "depends_on": [
    "definition:bk1_bounded_observer"
  ],
  "file": "book9.tex",
  "id": "definition:bk9_reflective_dyad",
  "label": "definition:bk9_reflective_dyad",
  "latex_body": "\\begin{definition}[Reflective Dyad]\n\\label{definition:bk9_reflective_dyad}\nA \\emph{Reflective Dyad} consists of two bounded symbolic agents (cf.~Def.~\\ref{definition:bk1_bounded_observer}):\n\\[\n\\mathcal{A} = (\\manifold_A, g_A, \\drift_A, \\reflect_A, \\Obs_A), \\quad\n\\mathcal{B} = (\\manifold_B, g_B, \\drift_B, \\reflect_B, \\Obs_B),\n\\]\ncapable of recursive interaction mediated through a shared or projectable symbolic interface \\( \\Pi_{AB} \\).\n\\end{definition}",
  "line": 1276,
  "macros_used": [
    "Obs",
    "drift",
    "manifold",
    "reflect"
  ],
  "matter_region": "mainmatter",
  "matter_role": "canonical_book",
  "name": "Reflective Dyad",
  "proof_status": "definitional",
  "ref_roles": [
    {
      "context": "Dyad] \\label{definition:bk9_reflective_dyad} A \\emph{Reflective Dyad} consists of two bounded symbolic agents (cf.~Def.~\\ref{definition:bk1_bounded_observer}): \\[ \\mathcal{A} = (\\manifold_A, g_A, \\drift_A, \\reflect_A, \\Obs_A), \\quad \\mathcal{B} = (\\manifold_B, g_B, \\drift_B, \\",
      "label": "definition:bk1_bounded_observer",
      "logical_support": true,
      "role": "cf_near_match",
      "target_file": "scholium_symbolicum.tex",
      "target_line": 27,
      "target_type": "definition"
    }
  ],
  "refs": [
    "definition:bk1_bounded_observer"
  ],
  "role": "definition",
  "type": "definition"
}

{
  "book": "book9",
  "cited_by": [
    "definition:bk9_two_way_street_operator"
  ],
  "cites": [
    "definition:bk4_fuzzy_symbolic_substitution",
    "definition:bk6_drift_operator_complete",
    "definition:bk6_symbolic_curvature_tensor",
    "definition:bk9_reflective_dyad"
  ],
  "depends_on": [
    "definition:bk4_fuzzy_symbolic_substitution",
    "definition:bk6_drift_operator_complete",
    "definition:bk6_symbolic_curvature_tensor",
    "definition:bk9_reflective_dyad"
  ],
  "file": "book9.tex",
  "id": "axiom:bk9_preconditions_for_reciprocal_cognition",
  "label": "axiom:bk9_preconditions_for_reciprocal_cognition",
  "latex_body": "\\begin{axiom}[Preconditions for Reciprocal Cognition]\n\\label{axiom:bk9_preconditions_for_reciprocal_cognition}\nLet \\( \\rho \\in \\prob(\\tilde{\\manifold}_A \\cap \\tilde{\\manifold}_B) \\). Symbolic reciprocity between \\( \\mathcal{A} \\) and \\( \\mathcal{B} \\) (cf.~Def.~\\ref{definition:bk9_reflective_dyad}) presupposes:\n\\begin{enumerate}[label=(\\roman*)]\n    \\item \\textbf{Membrane Compatibility:} \\( \\tilde{\\manifold}_A \\cap \\tilde{\\manifold}_B \\neq \\emptyset \\), accessible via fuzzy substitution (Def.~\\ref{definition:bk4_fuzzy_symbolic_substitution}).\n    \\item \\textbf{Reflective Reciprocity:} \\( d_\\text{symb}(\\reflect_A(\\reflect_B(\\rho)), \\reflect_B(\\reflect_A(\\rho))) < \\epsilon_{\\max} \\), under observer thresholds \\( \\epsilon_{O_A}, \\epsilon_{O_B} \\).\n    \\item \\textbf{Drift Translatability:} \\( \\tau_{AB}(\\drift_B) \\approx \\drift_A \\), \\( \\tau_{BA}(\\drift_A) \\approx \\drift_B \\), for bounded translation error (cf.~Def.~\\ref{definition:bk6_drift_operator_complete}).\n    \\item \\textbf{Bounded Alignment Curvature:} \\( |\\kappa_{AB}| < \\epsilon_C \\) (cf.~Def.~\\ref{definition:bk6_symbolic_curvature_tensor}).\n\\end{enumerate}\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": [
      "only precondition (iv), the bounded-alignment-curvature clause, is formalized (as its two-sided unfolding); membrane compatibility, reflective reciprocity, and drift translatability (i-iii) are not independently quantified here."
    ],
    "record_ids": [
      "MAP-BOOK9-029"
    ],
    "statuses": [
      "conditional"
    ],
    "witnesses": [
      "Book9B.reciprocity_curvature_bounds"
    ]
  },
  "line": 1285,
  "macros_used": [
    "drift",
    "manifold",
    "prob",
    "reflect"
  ],
  "matter_region": "mainmatter",
  "matter_role": "canonical_book",
  "name": "Preconditions for Reciprocal Cognition",
  "proof_status": "definitional",
  "ref_roles": [
    {
      "context": "patibility:} \\( \\tilde{\\manifold}_A \\cap \\tilde{\\manifold}_B \\neq \\emptyset \\), accessible via fuzzy substitution (Def.~\\ref{definition:bk4_fuzzy_symbolic_substitution}). \\item \\textbf{Reflective Reciprocity:} \\( d_\\text{symb}(\\reflect_A(\\reflect_B(\\rho)), \\reflect_B(\\reflect_A(\\rho)",
      "label": "definition:bk4_fuzzy_symbolic_substitution",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "book4.tex",
      "target_line": 3294,
      "target_type": "definition"
    },
    {
      "context": "{AB}(\\drift_B) \\approx \\drift_A \\), \\( \\tau_{BA}(\\drift_A) \\approx \\drift_B \\), for bounded translation error (cf.~Def.~\\ref{definition:bk6_drift_operator_complete}). \\item \\textbf{Bounded Alignment Curvature:} \\( |\\kappa_{AB}| < \\epsilon_C \\) (cf.~Def.~\\ref{definition:bk6_symbol",
      "label": "definition:bk6_drift_operator_complete",
      "logical_support": true,
      "role": "cf_near_match",
      "target_file": "book6.tex",
      "target_line": 926,
      "target_type": "definition"
    },
    {
      "context": "6_drift_operator_complete}). \\item \\textbf{Bounded Alignment Curvature:} \\( |\\kappa_{AB}| < \\epsilon_C \\) (cf.~Def.~\\ref{definition:bk6_symbolic_curvature_tensor}). \\end{enumerate} \\end{axiom}",
      "label": "definition:bk6_symbolic_curvature_tensor",
      "logical_support": true,
      "role": "cf_near_match",
      "target_file": "book6.tex",
      "target_line": 16,
      "target_type": "definition"
    },
    {
      "context": "anifold}_A \\cap \\tilde{\\manifold}_B) \\). Symbolic reciprocity between \\( \\mathcal{A} \\) and \\( \\mathcal{B} \\) (cf.~Def.~\\ref{definition:bk9_reflective_dyad}) presupposes: \\begin{enumerate}[label=(\\roman*)] \\item \\textbf{Membrane Compatibility:} \\( \\tilde{\\manifold}_A \\cap",
      "label": "definition:bk9_reflective_dyad",
      "logical_support": true,
      "role": "cf_near_match",
      "target_file": "book9.tex",
      "target_line": 1276,
      "target_type": "definition"
    }
  ],
  "refs": [
    "definition:bk4_fuzzy_symbolic_substitution",
    "definition:bk6_drift_operator_complete",
    "definition:bk6_symbolic_curvature_tensor",
    "definition:bk9_reflective_dyad"
  ],
  "role": "axiom",
  "type": "axiom"
}

{
  "book": "book9",
  "cited_by": [
    "lemma:bk9_mutual_convergence_criterion",
    "proof:bk9_mutual_convergence_criterion",
    "proof:bk9_symbolic_thermostat",
    "theorem:bk9_symbolic_thermostat"
  ],
  "cites": [
    "axiom:bk9_preconditions_for_reciprocal_cognition",
    "theorem:bk4_reflective_reentry"
  ],
  "depends_on": [
    "axiom:bk9_preconditions_for_reciprocal_cognition",
    "theorem:bk4_reflective_reentry"
  ],
  "file": "book9.tex",
  "id": "definition:bk9_two_way_street_operator",
  "label": "definition:bk9_two_way_street_operator",
  "latex_body": "\\begin{definition}[Two-Way Street Operator]\n\\label{definition:bk9_two_way_street_operator}\nLet \\( \\rho_t \\in \\prob(\\tilde{\\manifold}_A \\cap \\tilde{\\manifold}_B) \\) (cf.~Axiom~\\ref{axiom:bk9_preconditions_for_reciprocal_cognition}, Thm.~\\ref{theorem:bk4_reflective_reentry}). Then\n\\[\n\\Street_{AB}(\\rho_t) := \\lim_{n \\to \\infty} (\\reflect_A \\circ \\tau_{BA} \\circ \\reflect_B \\circ \\tau_{AB})^n(\\rho_t)\n\\]\nis the \\emph{Two-Way Street Operator}, a recursive map generating an emergent shared alignment trajectory.\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": false,
    "notes": [
      "the operator itself (an infinite limit of iterated composition) is not constructed; only the uniqueness-under-contraction fact that would apply to its fixed point is."
    ],
    "record_ids": [
      "MAP-BOOK9-026"
    ],
    "statuses": [
      "open_bridge"
    ],
    "witnesses": [
      "Book9B.contraction_fixedPoint_unique"
    ]
  },
  "line": 1295,
  "macros_used": [
    "Street",
    "manifold",
    "prob",
    "reflect"
  ],
  "matter_region": "mainmatter",
  "matter_role": "canonical_book",
  "name": "Two-Way Street Operator",
  "proof_status": "definitional",
  "ref_roles": [
    {
      "context": "nition:bk9_two_way_street_operator} Let \\( \\rho_t \\in \\prob(\\tilde{\\manifold}_A \\cap \\tilde{\\manifold}_B) \\) (cf.~Axiom~\\ref{axiom:bk9_preconditions_for_reciprocal_cognition}, Thm.~\\ref{theorem:bk4_reflective_reentry}). Then \\[ \\Street_{AB}(\\rho_t) := \\lim_{n \\to \\infty} (\\reflect_A \\circ \\tau",
      "label": "axiom:bk9_preconditions_for_reciprocal_cognition",
      "logical_support": true,
      "role": "cf_near_match",
      "target_file": "book9.tex",
      "target_line": 1285,
      "target_type": "axiom"
    },
    {
      "context": "tilde{\\manifold}_A \\cap \\tilde{\\manifold}_B) \\) (cf.~Axiom~\\ref{axiom:bk9_preconditions_for_reciprocal_cognition}, Thm.~\\ref{theorem:bk4_reflective_reentry}). Then \\[ \\Street_{AB}(\\rho_t) := \\lim_{n \\to \\infty} (\\reflect_A \\circ \\tau_{BA} \\circ \\reflect_B \\circ \\tau_{AB})^n(\\",
      "label": "theorem:bk4_reflective_reentry",
      "logical_support": true,
      "role": "cf_near_match",
      "target_file": "book4.tex",
      "target_line": 2840,
      "target_type": "theorem"
    }
  ],
  "refs": [
    "axiom:bk9_preconditions_for_reciprocal_cognition",
    "theorem:bk4_reflective_reentry"
  ],
  "role": "definition",
  "type": "definition"
}

{
  "book": "book9",
  "cited_by": [
    "proof:bk9_emergence_of_shared_manifold",
    "proposition:bk9_emergence_of_shared_manifold"
  ],
  "cites": [
    "definition:bk9_two_way_street_operator",
    "theorem:bk7_reflective_convergence_to_stable_identity"
  ],
  "depends_on": [
    "definition:bk9_two_way_street_operator",
    "theorem:bk7_reflective_convergence_to_stable_identity"
  ],
  "file": "book9.tex",
  "id": "lemma:bk9_mutual_convergence_criterion",
  "label": "lemma:bk9_mutual_convergence_criterion",
  "latex_body": "\\begin{lemma}[Mutual Convergence Criterion]\n\\label{lemma:bk9_mutual_convergence_criterion}\nIf the composite operator \\( \\Street_{AB} \\) (cf.~Def.~\\ref{definition:bk9_two_way_street_operator}) is contractive in a symbolic metric \\( d_\\text{symb} \\) (cf.~Thm.~\\ref{theorem:bk7_reflective_convergence_to_stable_identity}), then it converges to a fixed point \\( \\rho^* \\in \\prob(\\tilde{\\manifold}_A \\cap \\tilde{\\manifold}_B) \\), forming the basis of a co-authored symbolic manifold.\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": true,
    "notes": [
      "same uniqueness-under-contraction fact, instantiated at the Street_AB operator; existence of the limit rho* is not modeled (needs completeness of the probability space)."
    ],
    "record_ids": [
      "MAP-BOOK9-024"
    ],
    "statuses": [
      "conditional"
    ],
    "witnesses": [
      "Book9B.contraction_fixedPoint_unique"
    ]
  },
  "line": 1303,
  "macros_used": [
    "Street",
    "manifold",
    "prob"
  ],
  "matter_region": "mainmatter",
  "matter_role": "canonical_book",
  "name": "Mutual Convergence Criterion",
  "proof_labels": [
    "proof:bk9_mutual_convergence_criterion"
  ],
  "proof_status": "proven",
  "ref_roles": [
    {
      "context": "rgence Criterion] \\label{lemma:bk9_mutual_convergence_criterion} If the composite operator \\( \\Street_{AB} \\) (cf.~Def.~\\ref{definition:bk9_two_way_street_operator}) is contractive in a symbolic metric \\( d_\\text{symb} \\) (cf.~Thm.~\\ref{theorem:bk7_reflective_convergence_to_stable_id",
      "label": "definition:bk9_two_way_street_operator",
      "logical_support": true,
      "role": "cf_near_match",
      "target_file": "book9.tex",
      "target_line": 1295,
      "target_type": "definition"
    },
    {
      "context": "f.~Def.~\\ref{definition:bk9_two_way_street_operator}) is contractive in a symbolic metric \\( d_\\text{symb} \\) (cf.~Thm.~\\ref{theorem:bk7_reflective_convergence_to_stable_identity}), then it converges to a fixed point \\( \\rho^* \\in \\prob(\\tilde{\\manifold}_A \\cap \\tilde{\\manifold}_B) \\), forming the",
      "label": "theorem:bk7_reflective_convergence_to_stable_identity",
      "logical_support": true,
      "role": "cf_near_match",
      "target_file": "book7.tex",
      "target_line": 555,
      "target_type": "theorem"
    }
  ],
  "refs": [
    "definition:bk9_two_way_street_operator",
    "theorem:bk7_reflective_convergence_to_stable_identity"
  ],
  "role": "lemma",
  "type": "lemma"
}

{
  "book": "book9",
  "cited_by": [],
  "cites": [
    "definition:bk9_two_way_street_operator",
    "theorem:bk7_reflective_convergence_to_stable_identity"
  ],
  "depends_on": [
    "definition:bk9_two_way_street_operator",
    "theorem:bk7_reflective_convergence_to_stable_identity"
  ],
  "file": "book9.tex",
  "id": "proof:bk9_mutual_convergence_criterion",
  "label": "proof:bk9_mutual_convergence_criterion",
  "latex_body": "\\begin{proof}\n\\label{proof:bk9_mutual_convergence_criterion}\n\\leavevmode\nSuppose the Two-Way Street operator $\\Street_{AB}$ (Def.~\\ref{definition:bk9_two_way_street_operator}) is contractive in the symbolic metric $d_{\\text{symb}}$, i.e.\\ $d_{\\text{symb}}(\\Street_{AB}x,\\Street_{AB}y)\\le\\lambda\\,d_{\\text{symb}}(x,y)$ for some $\\lambda<1$, on the complete symbolic metric space (Thm.~\\ref{theorem:bk7_reflective_convergence_to_stable_identity}). By the Banach fixed-point theorem $\\Street_{AB}$ has a unique fixed point $\\rho^*$ to which every orbit converges. Since $\\Street_{AB}$ maps the joint alignment trajectory into densities supported on the mutual region, the fixed point satisfies $\\rho^*\\in\\prob(\\tilde{\\manifold}_A\\cap\\tilde{\\manifold}_B)$. This co-determined limit, sustained by each agent's reflection of the other, is the basis of a co-authored symbolic manifold.\n\\end{proof}",
  "line": 1307,
  "macros_used": [
    "Street",
    "manifold",
    "prob"
  ],
  "matter_region": "mainmatter",
  "matter_role": "canonical_book",
  "name": "",
  "proves": "lemma:bk9_mutual_convergence_criterion",
  "ref_roles": [
    {
      "context": "of} \\label{proof:bk9_mutual_convergence_criterion} \\leavevmode Suppose the Two-Way Street operator $\\Street_{AB}$ (Def.~\\ref{definition:bk9_two_way_street_operator}) is contractive in the symbolic metric $d_{\\text{symb}}$, i.e.\\ $d_{\\text{symb}}(\\Street_{AB}x,\\Street_{AB}y)\\le\\lambda",
      "label": "definition:bk9_two_way_street_operator",
      "logical_support": true,
      "role": "definition_anchor",
      "target_file": "book9.tex",
      "target_line": 1295,
      "target_type": "definition"
    },
    {
      "context": "{AB}x,\\Street_{AB}y)\\le\\lambda\\,d_{\\text{symb}}(x,y)$ for some $\\lambda<1$, on the complete symbolic metric space (Thm.~\\ref{theorem:bk7_reflective_convergence_to_stable_identity}). By the Banach fixed-point theorem $\\Street_{AB}$ has a unique fixed point $\\rho^*$ to which every orbit converges. Si",
      "label": "theorem:bk7_reflective_convergence_to_stable_identity",
      "logical_support": true,
      "role": "proof_support",
      "target_file": "book7.tex",
      "target_line": 555,
      "target_type": "theorem"
    }
  ],
  "refs": [
    "definition:bk9_two_way_street_operator",
    "theorem:bk7_reflective_convergence_to_stable_identity"
  ],
  "role": "proof",
  "type": "proof"
}

{
  "book": "book9",
  "cited_by": [
    "proof:bk9_relational_freedom_via_thermoregulation",
    "proposition:bk9_relational_freedom_via_thermoregulation"
  ],
  "cites": [
    "corollary:bk8_projection_transition_enabling_structural_emergence",
    "definition:bk1_symbolic_manifold",
    "lemma:bk9_mutual_convergence_criterion"
  ],
  "depends_on": [
    "corollary:bk8_projection_transition_enabling_structural_emergence",
    "definition:bk1_symbolic_manifold",
    "lemma:bk9_mutual_convergence_criterion"
  ],
  "file": "book9.tex",
  "id": "proposition:bk9_emergence_of_shared_manifold",
  "label": "proposition:bk9_emergence_of_shared_manifold",
  "latex_body": "\\begin{proposition}[Emergence of Shared Manifold]\n\\label{proposition:bk9_emergence_of_shared_manifold}\nUnder the conditions of Lemma~\\ref{lemma:bk9_mutual_convergence_criterion} (cf.~Def.~\\ref{definition:bk1_symbolic_manifold}), the limit\n\\[\n\\manifold_{AB}^* := \\operatorname{supp}(\\rho^*) \\subseteq \\tilde{\\manifold}_A \\cap \\tilde{\\manifold}_B\n\\]\ndefines a reflexively stable symbolic region mutually interpretable by both agents (cf.~Cor.~\\ref{corollary:bk8_projection_transition_enabling_structural_emergence}).\n\\end{proposition}",
  "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": [
      "uniqueness of the representative fixed point rho*; the support/probability-measure construction of the shared manifold itself is not modeled."
    ],
    "record_ids": [
      "MAP-BOOK9-025"
    ],
    "statuses": [
      "conditional"
    ],
    "witnesses": [
      "Book9B.sharedManifold_unique"
    ]
  },
  "line": 1312,
  "macros_used": [
    "manifold"
  ],
  "matter_region": "mainmatter",
  "matter_role": "canonical_book",
  "name": "Emergence of Shared Manifold",
  "proof_labels": [
    "proof:bk9_emergence_of_shared_manifold"
  ],
  "proof_status": "proven",
  "ref_roles": [
    {
      "context": "cap \\tilde{\\manifold}_B \\] defines a reflexively stable symbolic region mutually interpretable by both agents (cf.~Cor.~\\ref{corollary:bk8_projection_transition_enabling_structural_emergence}). \\end{proposition}",
      "label": "corollary:bk8_projection_transition_enabling_structural_emergence",
      "logical_support": true,
      "role": "cf_near_match",
      "target_file": "book8.tex",
      "target_line": 1249,
      "target_type": "corollary"
    },
    {
      "context": ":bk9_emergence_of_shared_manifold} Under the conditions of Lemma~\\ref{lemma:bk9_mutual_convergence_criterion} (cf.~Def.~\\ref{definition:bk1_symbolic_manifold}), the limit \\[ \\manifold_{AB}^* := \\operatorname{supp}(\\rho^*) \\subseteq \\tilde{\\manifold}_A \\cap \\tilde{\\manifold}_B \\",
      "label": "definition:bk1_symbolic_manifold",
      "logical_support": true,
      "role": "cf_near_match",
      "target_file": "scholium_symbolicum.tex",
      "target_line": 1188,
      "target_type": "definition"
    },
    {
      "context": "ition}[Emergence of Shared Manifold] \\label{proposition:bk9_emergence_of_shared_manifold} Under the conditions of Lemma~\\ref{lemma:bk9_mutual_convergence_criterion} (cf.~Def.~\\ref{definition:bk1_symbolic_manifold}), the limit \\[ \\manifold_{AB}^* := \\operatorname{supp}(\\rho^*) \\subset",
      "label": "lemma:bk9_mutual_convergence_criterion",
      "logical_support": true,
      "role": "cf_near_match",
      "target_file": "book9.tex",
      "target_line": 1303,
      "target_type": "lemma"
    }
  ],
  "refs": [
    "corollary:bk8_projection_transition_enabling_structural_emergence",
    "definition:bk1_symbolic_manifold",
    "lemma:bk9_mutual_convergence_criterion"
  ],
  "role": "proposition",
  "type": "proposition"
}

{
  "book": "book9",
  "cited_by": [],
  "cites": [
    "corollary:bk8_projection_transition_enabling_structural_emergence",
    "lemma:bk9_mutual_convergence_criterion"
  ],
  "depends_on": [
    "corollary:bk8_projection_transition_enabling_structural_emergence",
    "lemma:bk9_mutual_convergence_criterion"
  ],
  "file": "book9.tex",
  "id": "proof:bk9_emergence_of_shared_manifold",
  "label": "proof:bk9_emergence_of_shared_manifold",
  "latex_body": "\\begin{proof}\n\\label{proof:bk9_emergence_of_shared_manifold}\n\\leavevmode\nUnder the Mutual Convergence Criterion (Lem.~\\ref{lemma:bk9_mutual_convergence_criterion}) the Two-Way Street dynamics converge to the unique fixed point $\\rho^*\\in\\prob(\\tilde{\\manifold}_A\\cap\\tilde{\\manifold}_B)$. Its support $\\manifold_{AB}^*:=\\operatorname{supp}(\\rho^*)\\subseteq\\tilde{\\manifold}_A\\cap\\tilde{\\manifold}_B$ is invariant under $\\Street_{AB}$ (the fixed point is stationary), hence reflexively stable. Lying in both $\\tilde{\\manifold}_A$ and $\\tilde{\\manifold}_B$, every point of $\\manifold_{AB}^*$ is representable, and therefore interpretable, by each agent, so $\\manifold_{AB}^*$ is mutually interpretable. This is the structural emergence of shared macroscopic structure at the projection transition (Cor.~\\ref{corollary:bk8_projection_transition_enabling_structural_emergence}): a co-authored symbolic region neither agent held alone.\n\\end{proof}",
  "line": 1320,
  "macros_used": [
    "Street",
    "manifold",
    "prob"
  ],
  "matter_region": "mainmatter",
  "matter_role": "canonical_book",
  "name": "",
  "proves": "proposition:bk9_emergence_of_shared_manifold",
  "ref_roles": [
    {
      "context": "ally interpretable. This is the structural emergence of shared macroscopic structure at the projection transition (Cor.~\\ref{corollary:bk8_projection_transition_enabling_structural_emergence}): a co-authored symbolic region neither agent held alone. \\end{proof}",
      "label": "corollary:bk8_projection_transition_enabling_structural_emergence",
      "logical_support": true,
      "role": "proof_support",
      "target_file": "book8.tex",
      "target_line": 1249,
      "target_type": "corollary"
    },
    {
      "context": "\\begin{proof} \\label{proof:bk9_emergence_of_shared_manifold} \\leavevmode Under the Mutual Convergence Criterion (Lem.~\\ref{lemma:bk9_mutual_convergence_criterion}) the Two-Way Street dynamics converge to the unique fixed point $\\rho^*\\in\\prob(\\tilde{\\manifold}_A\\cap\\tilde{\\manifold",
      "label": "lemma:bk9_mutual_convergence_criterion",
      "logical_support": true,
      "role": "proof_support",
      "target_file": "book9.tex",
      "target_line": 1303,
      "target_type": "lemma"
    }
  ],
  "refs": [
    "corollary:bk8_projection_transition_enabling_structural_emergence",
    "lemma:bk9_mutual_convergence_criterion"
  ],
  "role": "proof",
  "type": "proof"
}

{
  "book": "book9",
  "cited_by": [],
  "cites": [],
  "depends_on": [],
  "file": "book9.tex",
  "id": "subsec:bk9_thermodynamic_regulation_via_interaction",
  "label": "subsec:bk9_thermodynamic_regulation_via_interaction",
  "latex_body": "",
  "line": 1325,
  "macros_used": [],
  "matter_region": "mainmatter",
  "matter_role": "canonical_book",
  "name": "Thermodynamic Regulation via Interaction",
  "role": "section",
  "subtype": "subsection",
  "type": "section"
}