{
  "thread": "holdout",
  "title": "Holdout and species inventory",
  "updated": "2026-10-31T22:44:33.125Z",
  "state": "working",
  "headline": "Leak checker widened to the whole tree after the hub's curator, not the checker, found a bird-titled Lean draft: 7276 files under 29 folders (every thread's nanopub drafts and Lean modules included), a new signal on the 12 bird-only claim ids, 0 hits outside a 26-entry reasoned allowlist. Ruling recorded: a Lean theorem of Thompson's flight-scaling law and the physics flying-fish test of it are not leaks and do not burn the exam (a theorem carries no measurement, the test dropped Aves at parse time). Clade confirmed: Aves, by Amit on 2026-10-31, re-frozen 14:38:42 UTC, roster unchanged. 10 nanopub records drafted (unsigned; np check and Delphi lint clean), including the ruling. Awaiting the key owner for signing. Merge conflicts 0.",
  "metrics": [
    {
      "label": "held-out taxa (Aves, confirmed)",
      "value": 88
    },
    {
      "label": "roster species",
      "value": 48
    },
    {
      "label": "roster genome-ready",
      "value": 35
    },
    {
      "label": "roster genome-ready with traits",
      "value": 35
    },
    {
      "label": "claims on held-out organisms only",
      "value": 12
    },
    {
      "label": "alternative Mammalia roster species",
      "value": 43
    },
    {
      "label": "merge conflicts remaining",
      "value": 0
    },
    {
      "label": "builder files naming a held-out organism",
      "value": 9
    },
    {
      "label": "builder files naming a held-out organism (not allowlisted)",
      "value": 0
    },
    {
      "label": "lines flagged",
      "value": 0
    },
    {
      "label": "exams run (claim tests and organism design)",
      "value": 3
    },
    {
      "label": "exam verdicts that disagree with the builder",
      "value": 0
    },
    {
      "label": "decisive exams if Aves held out (of 2)",
      "value": 0
    },
    {
      "label": "decisive exams if Mammalia held out (of 2)",
      "value": 1
    },
    {
      "label": "completed tests with no held-out (bird) rows: not applicable",
      "value": 14
    },
    {
      "label": "completed claim tests triaged (of 16)",
      "value": 16
    },
    {
      "label": "nanopub records drafted (unsigned, unpublished)",
      "value": 10
    },
    {
      "label": "nanopub records published (test registry)",
      "value": 0
    },
    {
      "label": "clade confirmed (1 = yes)",
      "value": 1
    },
    {
      "label": "leak check: files scanned",
      "value": 7276
    },
    {
      "label": "leak check: folders scanned",
      "value": 29
    },
    {
      "label": "leak check: hits outside allowlist",
      "value": 0
    },
    {
      "label": "leak check: allowlist entries (each with a reason)",
      "value": 26
    },
    {
      "label": "rulings recorded",
      "value": 1
    }
  ],
  "links": [
    {
      "label": "Sub-dashboard",
      "url": "t/holdout/index.html"
    },
    {
      "label": "Frozen roster and rules (data.json)",
      "url": "t/holdout/data.json"
    },
    {
      "label": "Power finding (standalone)",
      "url": "t/holdout/POWER.md"
    },
    {
      "label": "Rulings and leak-check scope",
      "url": "t/holdout/#rulings"
    }
  ],
  "blockers": [],
  "needs": [
    {
      "from": "hub",
      "ask": "Owner of the bot identity (issue #37): once settled, the 10 draft nanopubs in holdout/nanopubs/ are one build from signing for the TEST registry (Amit authorised test under a bot identity)."
    },
    {
      "from": "lean thread",
      "ask": "law-thompson1917-ch02-07.trig labels the bird claim as the thing kernel-checked; only the existence of a size limit was proved. Label the theorem, not the claim; drop the copied Kimura/Fisher/Maynard Smith assumptions and the \"0 broken variants\" line (holdout/rulings.json, to_the_builders)."
    }
  ],
  "next": [
    "On the key owner's word: rebuild the records with --final, --creator <ORCID> and --commit <pushed sha>, sign, check.mjs, lint, publish to the test registry, record trusty URIs in holdout/nanopubs/manifest.json",
    "Examine new claim tests as they reach status complete; each exam gets a record",
    "Re-run the widened leak check before any exam and at every publish; a new file under a pre-freeze folder is not tolerated",
    "If time allows: a second pre-registered organism exam using structures the panel does contain (gizzard, syrinx, feather) against a non-Uberon ground truth"
  ],
  "frozen_at": "2026-10-31T05:52:44.982Z"
}