Registry · Remark V.R68 tau-effective formalized

V.R68 — No admissible refinement without compensation

No admissible refinement step can change the matter character without a compensating change in the curvature character. This is the tau-native form of "there is no free energy": every redistribution of matter is paid for by an exact redistribution of curvature.

Book V Part 2 Ch. 13

Lean Formalization

Module: TauLib.BookV.GravityField.TauEinsteinEq

Symbol: Tau.BookV.GravityField.NoAdmissibleRefinementWithoutCompensation