Runtime Projection and ReadbackOperator-grade model for projected runtime truth, readback ordering, and fail-closed verification posture.