Complete structured record
{
"book": "book4",
"cited_by": [
"definition:bk5_fuzzy_symbolic_manifold",
"proof:bk8_no_free_projection",
"scholium:bk5_constant_of_becoming",
"theorem:bk5_golden_ratio_curvature_scalar",
"theorem:bk8_no_free_projection"
],
"cites": [
"axiom:bk1_symbolic_primacy",
"definition:bk1_bounded_observer",
"definition:bk3_symbiotic_curvature",
"definition:bk3_symbolic_membrane",
"definition:bk4_observer_valid_different",
"definition:bk4_symbolic_curvature",
"proof:bk4_sketch_cross_field_product",
"proof:bk4_sketch_extracting_recrusive_curvature",
"proof:bk4_sketch_observer_resolution_floor",
"proof:bk4_sketch_stokes",
"proof:bk4_sketch_sub_thresholds",
"proof:bk4_sketch_symbolic_path_interference",
"theorem:bk3_properties_of_symbiotic_curvature",
"theorem:bk4_multiplication_to_curvature",
"theorem:bk4_symbolic_stokes"
],
"depends_on": [
"axiom:bk1_symbolic_primacy",
"definition:bk1_bounded_observer",
"definition:bk3_symbiotic_curvature",
"definition:bk3_symbolic_membrane",
"definition:bk4_observer_valid_different",
"definition:bk4_symbolic_curvature",
"proof:bk4_sketch_cross_field_product",
"proof:bk4_sketch_extracting_recrusive_curvature",
"proof:bk4_sketch_observer_resolution_floor",
"proof:bk4_sketch_stokes",
"proof:bk4_sketch_sub_thresholds",
"proof:bk4_sketch_symbolic_path_interference",
"theorem:bk3_properties_of_symbiotic_curvature",
"theorem:bk4_multiplication_to_curvature",
"theorem:bk4_symbolic_stokes"
],
"file": "book4.tex",
"id": "scholium:bk4_o_boundedness_unifying_principle",
"label": "scholium:bk4_o_boundedness_unifying_principle",
"latex_body": "\\begin{scholium}[$\\mathcal{O}$-Boundedness as the Unifying Principle of Fuzzy Calculus]\n\\label{scholium:bk4_o_boundedness_unifying_principle}\nThe six proofs above---Chain Rule\n(proof~\\ref{proof:bk4_sketch_sub_thresholds}),\nProduct Rule\n(proof~\\ref{proof:bk4_sketch_cross_field_product}),\nQuotient Rule\n(proof~\\ref{proof:bk4_sketch_observer_resolution_floor}),\nSum Rule\n(proof~\\ref{proof:bk4_sketch_symbolic_path_interference}),\nPower Rule\n(proof~\\ref{proof:bk4_sketch_extracting_recrusive_curvature}),\nand Symbolic Stokes\n(proof~\\ref{proof:bk4_sketch_stokes})---each close their error argument by the\nsame structural fact: \\emph{applying an $\\mathcal{O}$-bounded linear map to a\nsub-threshold error preserves sub-threshold-ness}.\n\nPrecisely: if $\\mathcal{L}$ is a linear map with finite observer-frame operator\nnorm $\\|\\mathcal{L}\\|_{\\mathcal{O}} < \\infty$, and $\\mathcal{E}$ is any error term\nsatisfying $\\|\\delta^1_{\\mathcal{O}}(\\mathcal{E})\\| < t\\,\\varepsilon_{\\mathcal{O}}(p)$,\nthen:\n\\[\n\\|\\delta^1_{\\mathcal{O}}(\\mathcal{L}(\\mathcal{E}))\\| \\leq \\|\\mathcal{L}\\|_{\\mathcal{O}}\\cdot\\|\\delta^1_{\\mathcal{O}}(\\mathcal{E})\\| < \\|\\mathcal{L}\\|_{\\mathcal{O}}\\cdot t\\,\\varepsilon_{\\mathcal{O}}(p).\n\\]\nSince $\\|\\mathcal{L}\\|_{\\mathcal{O}}$ is a finite observer-scale constant, the output\nremains sub-threshold. This is the $\\mathcal{O}$-boundedness closure argument.\n\nIn each rule, the linearization $\\mathcal{L}_f$ inherits $\\mathcal{O}$-boundedness\nfrom the $\\mathcal{O}$-differentiability of $f$ (Def.~\\ref{definition:bk4_observer_valid_different}):\ndifferentiability means the linearization is the \\emph{best} bounded approximation,\nhence its operator norm is finite in the observer's frame. The tilde macro system\n($\\Mt, \\gt, \\Dt, \\Rt$) is the syntactic expression of this semantic guarantee: every\ntilde object carries implicit error terms bounded by $\\varepsilon_{\\mathcal{O}}$, and\n$\\mathcal{O}$-boundedness ensures that composing tilde objects does not escape the\nsub-threshold regime---a fact formalized for multiplicative composition by\nThm.~\\ref{theorem:bk4_multiplication_to_curvature}.\n\nThe cross-error torsion of the Product Rule and the curvature correction of the Sum\nRule are not obstacles to this principle but consequences of it: they are the\n\\emph{second-order} residue left after the first-order $\\mathcal{O}$-bounded\napproximation, and they are themselves sub-threshold. The cross-error torsion\n$\\kappa_{\\mathcal{O}}(f,g)$ is the fuzzy-calculus instantiation of the symbiotic\ncurvature of coupled symbolic fields\n(Def.~\\ref{definition:bk3_symbiotic_curvature},\nThm.~\\ref{theorem:bk3_properties_of_symbiotic_curvature}); the curvature correction\nof the Sum Rule arises precisely when $f$ and $g$ evolve along paths on distinct\nsymbolic membranes (Def.~\\ref{definition:bk3_symbolic_membrane}), whose boundaries\nbreak additive flatness. The accumulated $\\kappa_{\\mathcal{O}}$ that appears in these\nresidues is the symbolic curvature (Def.~\\ref{definition:bk4_symbolic_curvature})\nmeasuring failure of reflexivity on a loop, exactly what the Symbolic Stokes' Theorem\n(Thm.~\\ref{theorem:bk4_symbolic_stokes}) integrates: it is the holonomy of\n$\\mathcal{O}$-bounded error accumulation around a closed path.\n\nThis principle is thus the calculus-level expression of bounded observation\n(Def.~\\ref{definition:bk1_bounded_observer}): the observer's finite resolution\ndoes not prevent differentiation---it shapes it, propagating finite constants that\nscale with $\\varepsilon_{\\mathcal{O}}$ through every compositional operation. In\nthis sense the entire fuzzy calculus is a local unfolding of the axiom of symbolic\nprimacy (Axiom~\\ref{axiom:bk1_symbolic_primacy}): observation and symbolic structure\nare not independent layers but a single reflexive manifold, and $\\varepsilon_{\\mathcal{O}}$\nis the geometric trace that observation leaves on differentiation.\n\\end{scholium}",
"line": 6004,
"macros_used": [
"Dt",
"Mt",
"Rt",
"gt"
],
"matter_region": "mainmatter",
"matter_role": "canonical_book",
"name": "$\\mathcal{O}$-Boundedness as the Unifying Principle of Fuzzy Calculus",
"ref_roles": [
{
"context": "itional operation. In this sense the entire fuzzy calculus is a local unfolding of the axiom of symbolic primacy (Axiom~\\ref{axiom:bk1_symbolic_primacy}): observation and symbolic structure are not independent layers but a single reflexive manifold, and $\\varepsilon_{\\mat",
"label": "axiom:bk1_symbolic_primacy",
"logical_support": true,
"role": "definition_anchor",
"target_file": "scholium_symbolicum.tex",
"target_line": 2226,
"target_type": "axiom"
},
{
"context": "r accumulation around a closed path. This principle is thus the calculus-level expression of bounded observation (Def.~\\ref{definition:bk1_bounded_observer}): the observer's finite resolution does not prevent differentiation---it shapes it, propagating finite constants that s",
"label": "definition:bk1_bounded_observer",
"logical_support": true,
"role": "definition_anchor",
"target_file": "scholium_symbolicum.tex",
"target_line": 27,
"target_type": "definition"
},
{
"context": "ppa_{\\mathcal{O}}(f,g)$ is the fuzzy-calculus instantiation of the symbiotic curvature of coupled symbolic fields (Def.~\\ref{definition:bk3_symbiotic_curvature}, Thm.~\\ref{theorem:bk3_properties_of_symbiotic_curvature}); the curvature correction of the Sum Rule arises precisely w",
"label": "definition:bk3_symbiotic_curvature",
"logical_support": true,
"role": "definition_anchor",
"target_file": "book3.tex",
"target_line": 252,
"target_type": "definition"
},
{
"context": "re correction of the Sum Rule arises precisely when $f$ and $g$ evolve along paths on distinct symbolic membranes (Def.~\\ref{definition:bk3_symbolic_membrane}), whose boundaries break additive flatness. The accumulated $\\kappa_{\\mathcal{O}}$ that appears in these residues is th",
"label": "definition:bk3_symbolic_membrane",
"logical_support": true,
"role": "definition_anchor",
"target_file": "book3.tex",
"target_line": 10,
"target_type": "definition"
},
{
"context": "linearization $\\mathcal{L}_f$ inherits $\\mathcal{O}$-boundedness from the $\\mathcal{O}$-differentiability of $f$ (Def.~\\ref{definition:bk4_observer_valid_different}): differentiability means the linearization is the \\emph{best} bounded approximation, hence its operator norm is finite",
"label": "definition:bk4_observer_valid_different",
"logical_support": true,
"role": "definition_anchor",
"target_file": "book4.tex",
"target_line": 4150,
"target_type": "definition"
},
{
"context": "dditive flatness. The accumulated $\\kappa_{\\mathcal{O}}$ that appears in these residues is the symbolic curvature (Def.~\\ref{definition:bk4_symbolic_curvature}) measuring failure of reflexivity on a loop, exactly what the Symbolic Stokes' Theorem (Thm.~\\ref{theorem:bk4_symbolic_",
"label": "definition:bk4_symbolic_curvature",
"logical_support": true,
"role": "definition_anchor",
"target_file": "book4.tex",
"target_line": 452,
"target_type": "definition"
},
{
"context": "nifying_principle} The six proofs above---Chain Rule (proof~\\ref{proof:bk4_sketch_sub_thresholds}), Product Rule (proof~\\ref{proof:bk4_sketch_cross_field_product}), Quotient Rule (proof~\\ref{proof:bk4_sketch_observer_resolution_floor}), Sum Rule (proof~\\ref{proof:bk4_sketch_symboli",
"label": "proof:bk4_sketch_cross_field_product",
"logical_support": true,
"role": "proof_support",
"target_file": "book4.tex",
"target_line": 4487,
"target_type": "proof"
},
{
"context": "etch_observer_resolution_floor}), Sum Rule (proof~\\ref{proof:bk4_sketch_symbolic_path_interference}), Power Rule (proof~\\ref{proof:bk4_sketch_extracting_recrusive_curvature}), and Symbolic Stokes (proof~\\ref{proof:bk4_sketch_stokes})---each close their error argument by the same structural fa",
"label": "proof:bk4_sketch_extracting_recrusive_curvature",
"logical_support": true,
"role": "proof_support",
"target_file": "book4.tex",
"target_line": 5070,
"target_type": "proof"
},
{
"context": "roof:bk4_sketch_sub_thresholds}), Product Rule (proof~\\ref{proof:bk4_sketch_cross_field_product}), Quotient Rule (proof~\\ref{proof:bk4_sketch_observer_resolution_floor}), Sum Rule (proof~\\ref{proof:bk4_sketch_symbolic_path_interference}), Power Rule (proof~\\ref{proof:bk4_sketch_extractin",
"label": "proof:bk4_sketch_observer_resolution_floor",
"logical_support": true,
"role": "proof_support",
"target_file": "book4.tex",
"target_line": 4729,
"target_type": "proof"
},
{
"context": "th_interference}), Power Rule (proof~\\ref{proof:bk4_sketch_extracting_recrusive_curvature}), and Symbolic Stokes (proof~\\ref{proof:bk4_sketch_stokes})---each close their error argument by the same structural fact: \\emph{applying an $\\mathcal{O}$-bounded linear map to a",
"label": "proof:bk4_sketch_stokes",
"logical_support": true,
"role": "proof_support",
"target_file": "book4.tex",
"target_line": 5959,
"target_type": "proof"
},
{
"context": "ciple of Fuzzy Calculus] \\label{scholium:bk4_o_boundedness_unifying_principle} The six proofs above---Chain Rule (proof~\\ref{proof:bk4_sketch_sub_thresholds}), Product Rule (proof~\\ref{proof:bk4_sketch_cross_field_product}), Quotient Rule (proof~\\ref{proof:bk4_sketch_observer_",
"label": "proof:bk4_sketch_sub_thresholds",
"logical_support": true,
"role": "proof_support",
"target_file": "book4.tex",
"target_line": 4332,
"target_type": "proof"
},
{
"context": "4_sketch_cross_field_product}), Quotient Rule (proof~\\ref{proof:bk4_sketch_observer_resolution_floor}), Sum Rule (proof~\\ref{proof:bk4_sketch_symbolic_path_interference}), Power Rule (proof~\\ref{proof:bk4_sketch_extracting_recrusive_curvature}), and Symbolic Stokes (proof~\\ref{proof:bk4_s",
"label": "proof:bk4_sketch_symbolic_path_interference",
"logical_support": true,
"role": "proof_support",
"target_file": "book4.tex",
"target_line": 4884,
"target_type": "proof"
},
{
"context": "nstantiation of the symbiotic curvature of coupled symbolic fields (Def.~\\ref{definition:bk3_symbiotic_curvature}, Thm.~\\ref{theorem:bk3_properties_of_symbiotic_curvature}); the curvature correction of the Sum Rule arises precisely when $f$ and $g$ evolve along paths on distinct symbolic me",
"label": "theorem:bk3_properties_of_symbiotic_curvature",
"logical_support": true,
"role": "formal_dependency",
"target_file": "book3.tex",
"target_line": 261,
"target_type": "theorem"
},
{
"context": "osing tilde objects does not escape the sub-threshold regime---a fact formalized for multiplicative composition by Thm.~\\ref{theorem:bk4_multiplication_to_curvature}. The cross-error torsion of the Product Rule and the curvature correction of the Sum Rule are not obstacles to this pr",
"label": "theorem:bk4_multiplication_to_curvature",
"logical_support": true,
"role": "formal_dependency",
"target_file": "book4.tex",
"target_line": 4634,
"target_type": "theorem"
},
{
"context": "on:bk4_symbolic_curvature}) measuring failure of reflexivity on a loop, exactly what the Symbolic Stokes' Theorem (Thm.~\\ref{theorem:bk4_symbolic_stokes}) integrates: it is the holonomy of $\\mathcal{O}$-bounded error accumulation around a closed path. This principle is th",
"label": "theorem:bk4_symbolic_stokes",
"logical_support": true,
"role": "formal_dependency",
"target_file": "book4.tex",
"target_line": 5937,
"target_type": "theorem"
}
],
"refs": [
"axiom:bk1_symbolic_primacy",
"definition:bk1_bounded_observer",
"definition:bk3_symbiotic_curvature",
"definition:bk3_symbolic_membrane",
"definition:bk4_observer_valid_different",
"definition:bk4_symbolic_curvature",
"proof:bk4_sketch_cross_field_product",
"proof:bk4_sketch_extracting_recrusive_curvature",
"proof:bk4_sketch_observer_resolution_floor",
"proof:bk4_sketch_stokes",
"proof:bk4_sketch_sub_thresholds",
"proof:bk4_sketch_symbolic_path_interference",
"theorem:bk3_properties_of_symbiotic_curvature",
"theorem:bk4_multiplication_to_curvature",
"theorem:bk4_symbolic_stokes"
],
"role": "scholium",
"type": "scholium"
}