Registry · Proposition V.P132 tau-effective skeleton

V.P132 — Truncation-Pipeline Coherence

All pipeline objects commute with truncation maps: for every refinement depth n and every pipeline object F in {G_tau, Phi_TOV, C}, the diagram F|_{n+1} ∘ trunc_{n+1→n} = trunc_{n+1→n} ∘ F|_{n+1} commutes. Consolidates truncation-coherence results from ch15 (tau-Einstein, def:ch15-truncation-coherent-descent), ch17 (TOV, prop:ch17-truncation-invariance), and ch19 (calibration ratio Xi_tau, prop:ch19-xi-stable).

Book V Part 2 Ch. 19

Dependency Graph

Depends on (3)

Depended on by (1)

Lean Formalization

Module: TauLib.BookV.GravityField.CalibrationTriangle

Symbol: Tau.BookV.Gravity.truncation_pipeline_coherence