Exact release

release{ A finite, well-typed, resource-fitting instruction certificate defines one complete finite instrument.

This is a theorem about the declared finite interface. It is not a theorem that every finite tree fits an already fixed laboratory, that clock inputs can be reused after consumption, or that a finite channel determines a continuum evolution.

External preparation, calibration, locations, durations, and causal routing remain inputs.}