diff options
| author | Lukasz Kasprzak <lukas@labunix.xyz> | 2026-08-13 09:21:05 +0200 |
|---|---|---|
| committer | Lukasz Kasprzak <lukas@labunix.xyz> | 2026-08-13 09:21:05 +0200 |
| commit | 7005578fa4a3031b8174ba0d27b64b29fdfd4799 (patch) | |
| tree | 5cf1d77f865ca7d05fcffda5ae6cdbc45a4b46a5 /lib/kernel/subject.ml | |
| parent | 9e6f099f7f1dd918cf5f9f418ed5e2408289dd40 (diff) | |
| download | colitur-7005578fa4a3031b8174ba0d27b64b29fdfd4799.tar.gz colitur-7005578fa4a3031b8174ba0d27b64b29fdfd4799.zip | |
data(ef): fix round 1 (F6) -- restore C1's provenance record for 361
The previous refresh's own note recorded HOW 368 was derived (a
Python cross-check against the comparator's own failure output, not
hand-counted and not copied from a green run); this task's rewrite
explained WHY 361 replaces it (C15's own split) but dropped the
provenance sentence, stating 368 -> 361 with no record of how the
new number was checked. Restored: 361 read directly from the OCaml
comparator's own failure output, with the 368-minus-7 arithmetic
noted as corroboration, not the derivation.
Diffstat (limited to 'lib/kernel/subject.ml')
0 files changed, 0 insertions, 0 deletions