[contracts proof] cpu-arm64 baselines: reproduce failures on a Mac
Copied unchanged from model-integration-contracts (recorded on an Apple M5,
merged there in f5b6b79). Checked on a Mac: the branch gives 7 pass + Whisper
xfail as in CI, and proof-d-umt5-revert fails with CI's deltas (UMT5
label_logprobs 1.22, training.loss 0.204).
Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>