Runtime State Injection

Constructed states do not need exact transient execution context if they are logically equivalent for the tested condition and outcome. Runtime state injection reframes target-state reachability as target-state configuration. The injection contract requires programmatic control over entity existence and values. State construction requires white-box access to the generated implementation. The verifier can construct states containing required entities, locations, flags, and combat parameters.