{
 "what": "how many of the packaging results carry a self-check that is proved to go red when a defect is planted in what it reads, out of how many were put through the audit",
 "measured_utc": "2026-09-20T15:08:04Z",
 "source": {
  "repository": "genesis (packaging & extraction)",
  "revision": "39f6b06f",
  "path": "dataroom/TOP_N_ATTESTATION.jsonl",
  "sha256": "73bf88d1ecd6c3299599f1929a6fda2e3b20dbe725d908375a1aec5038f199e8",
  "bytes": 3855
 },
 "not_served": "the source file is the internal working note of that audit, written for the people who ran it rather than for a reader, and its exact bytes are committed by sha256 in other published records of this estate. So it is neither republished here nor edited: the sha256 above commits to it and anyone with the repository can re-check it.",
 "counted_from": {
  "repository": "genesis (packaging & extraction)",
  "revision": "39f6b06f",
  "path": "top40.json",
  "sha256": "1dca1ae6d762bd584ae11aa353701b702e3378cf912d8d64ec065e74f589319e",
  "bytes": 245175,
  "note": "the ranked set of results the audit ran over; every count below is taken from its structured fields, and the names of the admitted results are checked against the record above"
 },
 "method": "a result counts only if a defect planted in the input its check actually reads — the data, the model, the library, or the file whose property the claim is about — made that check go red, and only if that was established by running it, never by reading it. A check that stayed green does not count. Every check was re-run in a tree checked out fresh from the head commit, not in the working tree.",
 "results_in_the_set": 40,
 "results_with_a_proved_self_check": 31,
 "results_held_back": 9,
 "held_back_because_the_check_did_not_run_clean": 5,
 "held_back_for_other_reasons": 4,
 "every_result_graded_by_measurement": true,
 "clean_checkout_run_dates": [
  "2026-09-12",
  "2026-09-19"
 ],
 "result_names": "recorded in the source file above, which the sha256 commits to"
}