Remark. Scope of execution methodology [ftip-00HJ]
✍️source

    Part III of [jarmak2026reliable] motivates containment, durable execution, and recovery records. Deterministic replay and matching digests establish execution consistency; they do not ensure correctness.