Registry · Definition VI.D30 tau-effective planned

VI.D30 — Spatial Motility Predicate

Three conditions: displacement (carrier moves), distinction maintenance (boundary moves with carrier), environmental coupling (gradient-directed).

Book VI Part 3 Ch. 17

Lean Formalization

Module:

Symbol: