Do the scoring paths used in this Room satisfy model-independent equalities that any correct scorer must satisfy?

The bits-per-byte scorers, the likelihood multiple-choice scorers and the patching harness of the experiment folders, each run on a canary corpus of pathological text (no-break space, narrow no-break space, minus sign, tabs, newlines, indented code) against six relations: R1, decoding the encoding of a string returns the string; R2, per-window negative log-likelihood is invariant to batch sizes 1, 4 and 32 within 1e-6; R3, option log-probabilities are equivariant under option permutation; R4, results on MPS and on CPU agree within a declared, recorded band; R5, scoring from token ids equals scoring from strings; R6, a tokenizer that defines a beginning-of-sequence token places exactly one, at position 0. Tooling and gate runs on Apple silicon, 128 GB unified memory; no training.