Registry · Definition
I.D68
tau-effective
formalized
I.D68 — Earned Stage-Determined Point
An earned interior point: a value obtained by extending boundary data via Hartogs extension. Carries a tower-coherent StageFun and produces interior values that are self-consistent (reduced).