Registry · Remark V.R44 tau-effective formalized

V.R44 — Scope and deferral

The dark energy artifact theorem is conjectural because the explicit form of kappa_R(n) depends on Parts II, III, and V. Part I establishes the principle (readout curvature produces apparent Lambda); the quantitative verification matching Omega_Lambda ~ 0.68 is deferred.

Book V Part 1 Ch. 8

Lean Formalization

Module: TauLib.BookV.Temporal.DistanceLadder

Symbol: Tau.BookV.Temporal.ScopeAndDeferral