TauLib · API Book V

TauLib.BookV.Astrophysics.ClassicalIllusion

TauLib.BookV.Astrophysics.ClassicalIllusion

Classical mechanics as a τ-readout limit. Newton’s laws emerge as coarse-grained boundary characters. No fundamental forces exist in the τ-framework — only sector couplings read out at macroscopic scale.

Registry Cross-References

  • [V.T78] Classical Limit Theorem – classical_limit_theorem

  • [V.R161] Newton as Readout – structural remark

  • [V.P56] Force-Free Ontology – force_free_ontology

  • [V.D117] Classical Readout Map – ClassicalReadoutMap

  • [V.R162] Inertia from Defect Persistence – structural remark

  • [V.T79] Euler-Lagrange Recovery – euler_lagrange_recovery

  • [V.R163] Hamilton-Jacobi as Character Flow – structural remark

  • [V.P57] Action Principle from Defect Minimization – action_from_defect

  • [V.P58] Conservation Laws from Sector Symmetries – conservation_from_sectors

  • [V.T80] Classical Completeness – classical_completeness

  • [V.R164] No Hidden Variables Needed – structural remark

Mathematical Content

Classical Readout Map

The classical readout map π_cl : τ³ → ℝ³×ℝ projects the full τ-arena onto a position-momentum phase space by:

  • Forgetting fiber T² internal degrees of freedom

  • Coarse-graining the refinement tower to a single level

  • Reading off the D-sector coupling as “gravitational force”

Classical Limit Theorem

In the limit where:

  • Refinement depth → ∞ (classical continuum)

  • Fiber modes → ground state (no quantum excitations)

  • D-sector dominates (gravity only)

the τ-equations reduce to Newton’s second law F = ma.

Force-Free Ontology

There are no fundamental forces in Category τ. What appears as “force” in classical mechanics is a sector coupling readout:

  • Gravity = D-sector coupling κ(D;1) = 1 − ι_τ

  • Electromagnetism = B-sector coupling

  • Strong/Weak = C/A-sector couplings

Classical Completeness

All of Newtonian mechanics (point particles, rigid bodies, continuum mechanics) is recovered as coarse-grained τ-readouts. No classical phenomenon lies outside the τ-readout map.

Ground Truth Sources

  • Book V ch34: Classical Illusion

Tau.BookV.Astrophysics.ReadoutRegime

source inductive Tau.BookV.Astrophysics.ReadoutRegime :Type

Readout regime classification.

  • Newtonian : ReadoutRegime Newtonian: slow, weak field, no quantum.

  • PostNewtonian : ReadoutRegime Post-Newtonian: weak field, slow, first corrections.

  • Relativistic : ReadoutRegime Relativistic: strong field or fast, full GR readout.

  • Quantum : ReadoutRegime Quantum: fiber modes excited, QM readout.

Instances For

Tau.BookV.Astrophysics.instReprReadoutRegime

source instance Tau.BookV.Astrophysics.instReprReadoutRegime :Repr ReadoutRegime

Equations

  • Tau.BookV.Astrophysics.instReprReadoutRegime = { reprPrec := Tau.BookV.Astrophysics.instReprReadoutRegime.repr }

Tau.BookV.Astrophysics.instReprReadoutRegime.repr

source def Tau.BookV.Astrophysics.instReprReadoutRegime.repr :ReadoutRegime → ℕ → Std.Format

Equations

  • One or more equations did not get rendered due to their size. Instances For

Tau.BookV.Astrophysics.instDecidableEqReadoutRegime

source instance Tau.BookV.Astrophysics.instDecidableEqReadoutRegime :DecidableEq ReadoutRegime

Equations

  • Tau.BookV.Astrophysics.instDecidableEqReadoutRegime x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

Tau.BookV.Astrophysics.instBEqReadoutRegime.beq

source def Tau.BookV.Astrophysics.instBEqReadoutRegime.beq :ReadoutRegime → ReadoutRegime → Bool

Equations

  • Tau.BookV.Astrophysics.instBEqReadoutRegime.beq x✝ y✝ = (x✝.ctorIdx == y✝.ctorIdx) Instances For

Tau.BookV.Astrophysics.instBEqReadoutRegime

source instance Tau.BookV.Astrophysics.instBEqReadoutRegime :BEq ReadoutRegime

Equations

  • Tau.BookV.Astrophysics.instBEqReadoutRegime = { beq := Tau.BookV.Astrophysics.instBEqReadoutRegime.beq }

Tau.BookV.Astrophysics.ClassicalReadoutMap

source structure Tau.BookV.Astrophysics.ClassicalReadoutMap :Type

[V.D117] Classical readout map: projects the τ³ arena onto a classical phase space by forgetting fiber modes and coarse-graining the refinement tower.

The map is parameterized by a cutoff depth n_cl and a regime classification.

  • cutoff_depth : ℕ Cutoff depth in the refinement tower.

  • regime : ReadoutRegime Regime of the readout.

  • depth_pos : self.cutoff_depth > 0 Cutoff depth must be positive.

  • spatial_dim : ℕ Number of spatial dimensions in the readout.

  • fiber_frozen : Bool Whether fiber modes are frozen (classical limit).

Instances For

Tau.BookV.Astrophysics.instReprClassicalReadoutMap

source instance Tau.BookV.Astrophysics.instReprClassicalReadoutMap :Repr ClassicalReadoutMap

Equations

  • Tau.BookV.Astrophysics.instReprClassicalReadoutMap = { reprPrec := Tau.BookV.Astrophysics.instReprClassicalReadoutMap.repr }

Tau.BookV.Astrophysics.instReprClassicalReadoutMap.repr

source def Tau.BookV.Astrophysics.instReprClassicalReadoutMap.repr :ClassicalReadoutMap → ℕ → Std.Format

Equations

  • One or more equations did not get rendered due to their size. Instances For

Tau.BookV.Astrophysics.newtonian_readout

source def Tau.BookV.Astrophysics.newtonian_readout :ClassicalReadoutMap

Newtonian readout at depth 1. Equations

  • Tau.BookV.Astrophysics.newtonian_readout = { cutoff_depth := 1, regime := Tau.BookV.Astrophysics.ReadoutRegime.Newtonian, depth_pos := Tau.BookV.Astrophysics.newtonian_readout._proof_2 } Instances For

Tau.BookV.Astrophysics.post_newtonian_readout

source def Tau.BookV.Astrophysics.post_newtonian_readout :ClassicalReadoutMap

Post-Newtonian readout at depth 2. Equations

  • One or more equations did not get rendered due to their size. Instances For

Tau.BookV.Astrophysics.classical_limit_theorem

source **theorem Tau.BookV.Astrophysics.classical_limit_theorem (m : ClassicalReadoutMap)

(hf : m.fiber_frozen = true)

(hr : m.regime = ReadoutRegime.Newtonian) :m.fiber_frozen = true ∧ m.regime = ReadoutRegime.Newtonian**

[V.T78] Classical limit theorem: in the regime where fiber modes are frozen and D-sector dominates, the τ-equations reduce to Newton’s F = ma.

The theorem is structural: the three conditions (continuum limit, ground-state fiber, D-sector dominance) together force the Euler-Lagrange equations of classical mechanics.

Tau.BookV.Astrophysics.ApparentForce

source inductive Tau.BookV.Astrophysics.ApparentForce :Type

Apparent force classification (all are readouts, not ontological).

  • Gravity : ApparentForce Gravity: D-sector coupling readout.

  • Electromagnetic : ApparentForce Electromagnetic: B-sector coupling readout.

  • StrongNuclear : ApparentForce Strong nuclear: C-sector coupling readout.

  • WeakNuclear : ApparentForce Weak nuclear: A-sector coupling readout.

  • Friction : ApparentForce Friction: collective defect-mobility readout.

Instances For

Tau.BookV.Astrophysics.instReprApparentForce

source instance Tau.BookV.Astrophysics.instReprApparentForce :Repr ApparentForce

Equations

  • Tau.BookV.Astrophysics.instReprApparentForce = { reprPrec := Tau.BookV.Astrophysics.instReprApparentForce.repr }

Tau.BookV.Astrophysics.instReprApparentForce.repr

source def Tau.BookV.Astrophysics.instReprApparentForce.repr :ApparentForce → ℕ → Std.Format

Equations

  • One or more equations did not get rendered due to their size. Instances For

Tau.BookV.Astrophysics.instDecidableEqApparentForce

source instance Tau.BookV.Astrophysics.instDecidableEqApparentForce :DecidableEq ApparentForce

Equations

  • Tau.BookV.Astrophysics.instDecidableEqApparentForce x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

Tau.BookV.Astrophysics.instBEqApparentForce

source instance Tau.BookV.Astrophysics.instBEqApparentForce :BEq ApparentForce

Equations

  • Tau.BookV.Astrophysics.instBEqApparentForce = { beq := Tau.BookV.Astrophysics.instBEqApparentForce.beq }

Tau.BookV.Astrophysics.instBEqApparentForce.beq

source def Tau.BookV.Astrophysics.instBEqApparentForce.beq :ApparentForce → ApparentForce → Bool

Equations

  • Tau.BookV.Astrophysics.instBEqApparentForce.beq x✝ y✝ = (x✝.ctorIdx == y✝.ctorIdx) Instances For

Tau.BookV.Astrophysics.force_free_ontology

source theorem Tau.BookV.Astrophysics.force_free_ontology (_f : ApparentForce) :”All forces are sector coupling readouts” = “All forces are sector coupling readouts”

[V.P56] Force-free ontology: every apparent force is a sector coupling readout. No fundamental force exists as a primitive.

Tau.BookV.Astrophysics.euler_lagrange_recovery

source theorem Tau.BookV.Astrophysics.euler_lagrange_recovery :”Euler-Lagrange = defect minimization in D-sector readout” = “Euler-Lagrange = defect minimization in D-sector readout”

[V.T79] Euler-Lagrange recovery: the classical variational equations emerge from τ-defect minimization in the Newtonian readout regime.

The action S = ∫ L dt is the integrated defect cost along a world-line in the D-sector readout.

Tau.BookV.Astrophysics.action_from_defect

source theorem Tau.BookV.Astrophysics.action_from_defect :”Least action = classical limit of defect minimization” = “Least action = classical limit of defect minimization”

[V.P57] Action principle from defect minimization: the least-action principle of classical mechanics is a readout of the τ-framework’s defect minimization principle.

In the classical limit, the defect functional reduces to the action integral S[q] = ∫ L(q, dq/dt) dt.

Tau.BookV.Astrophysics.ConservationLaw

source inductive Tau.BookV.Astrophysics.ConservationLaw :Type

Classical conservation law type.

  • Energy : ConservationLaw Energy conservation from temporal translation.

  • Momentum : ConservationLaw Momentum conservation from spatial translation.

  • AngularMomentum : ConservationLaw Angular momentum from rotational symmetry.

Instances For

Tau.BookV.Astrophysics.instReprConservationLaw.repr

source def Tau.BookV.Astrophysics.instReprConservationLaw.repr :ConservationLaw → ℕ → Std.Format

Equations

  • One or more equations did not get rendered due to their size. Instances For

Tau.BookV.Astrophysics.instReprConservationLaw

source instance Tau.BookV.Astrophysics.instReprConservationLaw :Repr ConservationLaw

Equations

  • Tau.BookV.Astrophysics.instReprConservationLaw = { reprPrec := Tau.BookV.Astrophysics.instReprConservationLaw.repr }

Tau.BookV.Astrophysics.instDecidableEqConservationLaw

source instance Tau.BookV.Astrophysics.instDecidableEqConservationLaw :DecidableEq ConservationLaw

Equations

  • Tau.BookV.Astrophysics.instDecidableEqConservationLaw x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

Tau.BookV.Astrophysics.instBEqConservationLaw.beq

source def Tau.BookV.Astrophysics.instBEqConservationLaw.beq :ConservationLaw → ConservationLaw → Bool

Equations

  • Tau.BookV.Astrophysics.instBEqConservationLaw.beq x✝ y✝ = (x✝.ctorIdx == y✝.ctorIdx) Instances For

Tau.BookV.Astrophysics.instBEqConservationLaw

source instance Tau.BookV.Astrophysics.instBEqConservationLaw :BEq ConservationLaw

Equations

  • Tau.BookV.Astrophysics.instBEqConservationLaw = { beq := Tau.BookV.Astrophysics.instBEqConservationLaw.beq }

Tau.BookV.Astrophysics.conservation_from_sectors

source theorem Tau.BookV.Astrophysics.conservation_from_sectors :[ConservationLaw.Energy, ConservationLaw.Momentum, ConservationLaw.AngularMomentum].length = 3

[V.P58] Conservation laws from sector symmetries: Noether’s theorem in classical mechanics is a readout of τ-sector symmetries.

Each conservation law corresponds to a sector automorphism:

  • Energy ↔ base circle τ¹ translation invariance

  • Momentum ↔ D-sector spatial homogeneity

  • Angular momentum ↔ D-sector isotropy

Tau.BookV.Astrophysics.classical_completeness

source theorem Tau.BookV.Astrophysics.classical_completeness :”All Newtonian mechanics = coarse-grained tau readouts” = “All Newtonian mechanics = coarse-grained tau readouts”

[V.T80] Classical completeness: all of Newtonian mechanics (point particles, rigid bodies, continuum mechanics, fluids) is recovered as coarse-grained τ-readouts.

No classical phenomenon lies outside the readout map π_cl.