Skip to contents

Defines the fail-closed runtime state machine and the explicit boundary that migrates every legacy runtime envelope before current-schema validation and cross-artifact replay verification.

Usage

runtime_state_transition_matrix()

validate_runtime_state_transition(from, to)

validate_runtime_state_history(statuses, module = NULL)

assemble_runtime_replay_from_envelopes(envelopes, migration_registry)

Arguments

from

Source runtime status.

to

Target runtime status.

statuses

Ordered runtime statuses for one module.

module

Optional module identity used in diagnostics.

envelopes

List of runtime integrity envelopes.

migration_registry

Runtime migration registry.

Value

The matrix helper returns a logical transition matrix. Validation helpers return their input invisibly. Replay assembly returns a PopgenVCFRuntimeReplayAssembly containing a verified replay bundle, canonical migration records, and an assembly fingerprint.