Module execution_control 

Reusable continuation checks over the production portable snapshot driver.

Fixtures supply actual backend mechanisms, an ordinary prepared continuation, resource bounds and a probe for forward execution, resets and weight loading. Run with ordinary, captured, intervened and combined admissions. These checks concern native/sampler/controller/record state; facade semantic conformance is additional, and must exercise the facade’s incremental decoding pipeline.

Structs

ContinuationFixtureLimits

Known fixture storage bounds and explicitly admitted child limits.

Functions

continuation_conformance

Checks reusable initial/decode snapshots, pending-input position, exact sampled continuations, controller restoration, isolated interleaved siblings, fresh child admissions, cumulative capture accounting and retention-lease ownership. probe must change on model forward, reset, artifact reopen or weight reload; it must not count copying. Nonzero-temperature/adaptive fixtures detect lost RNG/history state. This function consumes the initial continuation for cleanup checks; its driver remains usable only for inspecting the fixture afterward.

forced_choice_conformance

Exercises a genuinely alternative canonical choice, isolated branch commitment, and a reusable snapshot with a still-pending choice. The fixture must allow at least two tokens at its initial decision. Restores the initial state afterward, so the same run can enter continuation_conformance without replay.

sampling_override_conformance

Checks read-only rejection, exact inherited randomness across temperature changes, and reproducible explicit reseeding in an isolated child. Restores the initial parent afterward without model replay.