What the adaptation contributes

The general support theorem, cycle-velocity mechanism, instrument calculus, and Hamiltonian norm methods have predecessors CheungVIIJ,Fritz,DaviesLewis,Watrous,BHV. The adaptation does not claim priority for them.

Its contribution is their explicit supported assembly with:

• a regular-part replacement for the singular-axis benchmark;

• actual regular paths rather than an unrealized metric distance equality;

• complete records, controllers, and joint-output support;

• a finite transient-potential check in the directional ledger;

• an exact clock-controlled recorded channel and positive execution buffer;

• charged blank registers, history, record copies, local controllers, and programme storage.

This combination is potentially useful as a test case for a later proposal to add field acquisition, continuum compatibility, or dynamical geometry. Those later proposals would need their own same-model interfaces and proofs.