Registry · Theorem
VI.T18
tau-effective
planned
VI.T18 — Agency as π-Base Extension
Life loop belongs to Ag_π iff underlying carrier satisfies spatial motility predicate; π-dominance = spatial motility. Sector-predicate equivalence.