ITC-01 · INVARIANT TRANSPORT CLOSURE
Структура продолжается не через статическое равенство состояний, а через предъявленный переход, переносящий выбранный инвариант. Полный оборот добавляет условие возврата.
A structure continues not by static equality of states, but through an exhibited transition transporting a chosen invariant. A full turn adds a return condition.
Нажимайте стадии: утверждение и геометрия меняются вместе.Select a stage: statement and geometry change together.
Это не три варианта одной метафоры. Первые два — независимые места существующего контура; третье удерживает границу между замыканием, boundary и устойчивой записью.
These are not three restatements of one metaphor. The first two are independent locations in the existing contour; the third keeps closure, boundary and stable record distinct.
g : Cₜ → Cₜ₊₁
τg : I(Cₜ) ≃ I(Cₜ₊₁)Продолжение требует именованного перехода и транспорта определяющего инварианта.
Continuation requires a named transition and transport of the defining invariant.
∃ a, ∃ n,
transition Cₜ a n = Cₜ₊₁Принадлежность следующего состояния контуру конструктивно завязана на существование перехода, а не на внешнее сходство.
Membership of the next state is constructively tied to an existing transition, not external resemblance.
ClosedTurn
+ BoundaryWitness
+ StableRecordWitnessBoundary и stable record добавляются отдельными свидетелями. Сам возврат инварианта их не порождает.
Boundary and stable record enter as separate witnesses. Invariant return alone does not produce them.
Фрагмент фиксирует форму обязательств. Он не выводит физическую динамику локального дисбаланса и не объявляет новую фундаментальную теорему.
The fragment fixes the shape of the obligations. It neither derives physical dynamics from local imbalance nor declares a new fundamental theorem.
structure PersistenceStep
(system : TransportSystem State Invariant)
(src dst : State) where
transition : system.Step src dst
invariantTransport : TransportEquiv (Invariant src) (Invariant dst)
transportAgrees : invariantTransport = system.transport transition
structure ClosedTurn
(system : TransportSystem State Invariant)
(base : State) where
path : Path system base base
selectedInvariant : Invariant base
returns : path.transport.forward selectedInvariant = selectedInvariant
-- Deliberately absent:
-- selected return ≠ proof that the full transport = id
-- cycle ≠ proof of dynamical stabilityITC-01 — формальный мост внутри текущего корпуса. Транспорт вдоль путей, периодические коциклы и continuation имеют развитую теорию; открытая работа здесь — конкретная динамика локального дисбаланса и нетривиальное замыкание.
ITC-01 is a formal bridge inside the current corpus. Path transport, periodic cocycles and continuation already have developed theories; the open work here is concrete local-imbalance dynamics and nontrivial closure.