measure.py run now checks a result first and writes nothing on a finding, where it used to
overwrite result.json and only then exit 1. check takes the rule from rule.json, the archive and
split from corpus.json, and each dictionary's length and digest from dictionaries.tar.xz, which
is new, so a rule, split or dictionary length rewritten inside a result is refused. The page says
the verdict is this workload's, with the object counts at which each family would reach 10 %, and
that the median object saves at 64 and 112 KiB in every family but records.
Co-Authored-By: Claude Opus 5.5 <[email protected]>
f4bbfb229d