Registry · Proposition
IV.P147
tau-effective
formalized
IV.P147 — Subsystem Horizon
A subsystem located at level n of the refinement tower has access to levels 1 through n via projection maps pr_k for k <= n, but not to level n+1 or beyond. Levels 1..n constitute the accessible "past"; levels n+1, n+2, ... are inaccessible "future" relative to the subsystem.