Evaluation transport and matched protocols [ftip-00F9]

This section compares post-training artifacts only through declared evaluation laws, inference protocols, utilities, seeds, and budgets. It proves finite transport statements locally and treats long-horizon research-state records as empirical evidence, not as theorems.

Sampling claims become comparable only when the task law, action serializer, verifier, and replay certificate are fixed together; § 6 gives that boundary.