Registry · Remark IV.R245 tau-effective formalized

IV.R245 — The honest timing

Presenting calibration immediately after the arena (Part I delivers arena, Part II delivers numbers) makes the logical order transparent: tau-native formulas are built from axioms first, then compared with experiment, leaving no room for post hoc adjustment.

Book IV Part 2 Ch. 9

Lean Formalization

Module: TauLib.BookIV.Calibration.SharedOntology

Symbol: Tau.BookIV.Calibration.TheHonestTiming