{
 "_doc": "The result count this site prints in its headline, and every larger count it could have printed instead, with what each one rests on. Every number here is re-derived at build time from the results record at the commit named in sources_commit, by the record's own checks; none is typed. The headline is the smallest of them on purpose: it is the only one that is not a codebase grading its own work. Each line under results_record.checks is the last line its check printed, with the record's two grade words given in the page's words.",
 "measured_utc": "2026-10-03T16:00:03Z",
 "headline": {
  "figure": 7,
  "what": "results whose check went red when someone outside the team broke its input on purpose",
  "why_this_one": "every larger count on this page rests on a grade the graded party writes, and on 2026-09-20 that grade record was shown to be forgeable three separate ways by the party it grades: a row minted for a claim, an existing verdict flipped and the tail re-signed, and the whole chain re-signed after deleting the key, which the loader silently re-mints. The signing key sits beside the record, held by the graded party. So an internal grade means 'the codebase says so, and nothing stops the codebase saying so'. This is the count that does not depend on that: each of its results has three signed runs of the codebase's own check in a throwaway copy -- clean, with a value-preserving re-serialisation of one input, and with one figure the claim quotes moved in that input by a party that could not see what the codebase expected -- and went red only on the third."
 },
 "the_ladder": [
  {
   "n": 333,
   "of": "results the portfolio's codebases have ever put forward",
   "source": "the census, header",
   "pointer": "/results_record/claimed"
  },
  {
   "n": 199,
   "of": "taken back by the codebase that made them",
   "source": "the census, header",
   "pointer": "/results_record/taken_back"
  },
  {
   "n": 0,
   "of": "never stated as true and never taken back",
   "source": "the census, header",
   "pointer": "/results_record/neither"
  },
  {
   "n": 134,
   "of": "still stated as true by the codebase that made them",
   "source": "the census, header; the same count the coverage view starts from",
   "pointer": "/results_record/stated"
  },
  {
   "n": 101,
   "of": "of the 134, those whose own codebase does not record the claim's headline figure as checked by nothing",
   "source": "the coverage view",
   "note": "33 of the 134 are removed because the codebase itself writes down that the number in the claim's headline is asserted by no check.",
   "pointer": "/results_record/coverage"
  },
  {
   "n": 7,
   "of": "of the 134, those whose own check went red when someone outside the codebase broke, on purpose, a figure it reads",
   "source": "the cross-codebase check's signed run ledger, counted by ops/independent_check.py --count",
   "note": "6 of the 7 are also among the 101; the count is over the 134 stated results and is not filtered by the coverage rule. 0 of the 7 went red on a figure that sits in a sentence of a file the check reads rather than in a datum (independent_check.counted[].occurrence). 1 of the 7 is a result held from publication for now: it is counted here, but its name and the figure its plant moved are not published (independent_check.counted[].held).",
   "pointer": "/results_record/independent"
  }
 ],
 "results_record": {
  "commit": "1e308f71688d6d76faa3c02e2fab13b43df4ed4b",
  "branch": "sites-v2/specs",
  "pushed": false,
  "remote_tip": "34987e135d00fb7760c34a3a917220d8366e69a2",
  "claimed": 333,
  "taken_back": 199,
  "neither": 0,
  "stated": 134,
  "coverage_demoted": 33,
  "coverage": 101,
  "independent": 7,
  "independent_of": 134,
  "independent_also_in_coverage_set": 6,
  "checks": {
   "census": "OK: views/CROWN_JEWELS_TRUTH.md is byte-identical to its regeneration (claimed 333 = stated 134 + taken back 199 + neither 0)",
   "coverage": "OK: views/CLAIM_COVERAGE.md is byte-identical to its regeneration (stated 134, 33 demoted for an unbound claim figure, 101 after the rule)",
   "independent": "INDEPENDENT (red on an outsider's plant, green on the matched inert edit): 7 of 134 stated"
  }
 },
 "independent_check": {
  "what": "for each stated result, the codebase's own check run three times in a throwaway copy at its committed revision -- clean; with one input re-serialised so no value moves; with one figure the claim quotes moved in that input -- by a planter outside the codebase working from a view with every grade file excluded. It counts on exit 0 / 0 / non-zero, with all three runs in a signed ledger verified under its public key.",
  "counted": [
   {
    "result": "wireless-reliability/txn-crash-recovery",
    "receipt": "wireless-reliability/results/txn-crash-recovery.json",
    "in_coverage_set": true,
    "plant": "29 -> 20",
    "occurrence": "value",
    "in_the_claims_own_artifact": true
   },
   {
    "result": "computational-lithography/PA-AST-29",
    "receipt": "computational-lithography/results/proof-carrying-mask-edits.json",
    "in_coverage_set": true,
    "plant": "9175040 -> 9175041",
    "occurrence": "value",
    "in_the_claims_own_artifact": true
   },
   {
    "result": "computational-lithography/PA-AST-56",
    "receipt": "computational-lithography/results/minimal-solve-selection.json",
    "in_coverage_set": true,
    "plant": "1621 -> 1622",
    "occurrence": "value",
    "in_the_claims_own_artifact": true
   },
   {
    "result": "computational-lithography/PA-AST-59",
    "receipt": "computational-lithography/results/proof-cache-pcache1.json",
    "in_coverage_set": true,
    "plant": "28 -> 29",
    "occurrence": "value",
    "in_the_claims_own_artifact": true
   },
   {
    "result": "eda-platform/F8R-002",
    "receipt": "eda-platform/results/F8R-002.json",
    "in_coverage_set": true,
    "plant": "20531 -> 20532",
    "occurrence": "value",
    "in_the_claims_own_artifact": false
   },
   {
    "result": "one held result (not published)",
    "receipt": null,
    "in_coverage_set": true,
    "held": true
   },
   {
    "result": "packaging-extraction/owned-3d-end-effect",
    "receipt": "packaging-extraction/results/owned-3d-end-effect.json",
    "in_coverage_set": false,
    "plant": "40 -> 41",
    "occurrence": "value",
    "in_the_claims_own_artifact": false
   }
  ],
  "not_counted": {
   "BASE_RED": 1,
   "INDEPENDENT_PROSE_OCCURRENCE_ONLY": 2,
   "PLANT_OVERWRITTEN": 14,
   "SURVIVED_PLANT_IN_ARTIFACT_DIR": 1,
   "SURVIVED_PLANT_PROSE_OCCURRENCE": 3,
   "TARGET_NOT_LOAD_BEARING": 8,
   "UNCOUNTABLE": 66
  },
  "not_counted_means": {
   "CANNOT_BEAR": "the claim quotes no figure a plant could move, or every file carrying one is the check's own source or a file it never reads",
   "PLANT_OVERWRITTEN": "the check regenerates the file the figure lives in, so the defect was erased before anything read it",
   "TARGET_NOT_LOAD_BEARING": "the check stayed green with the file emptied; it does not depend on it",
   "SURVIVED_PLANT_PROSE_OCCURRENCE": "the figure occurred only inside a sentence or a recorded log line; nothing the claim says was falsified",
   "SURVIVED_PLANT_IN_ARTIFACT_DIR": "a second copy of the figure in the evidence directory, not the claim's own; not a broken check",
   "INERT_SENSITIVE": "the check goes red on a value-preserving re-serialisation, so it cannot tell a defect from a diff",
   "BASE_RED": "the check is not green from a clean copy on this machine",
   "UNCOUNTABLE": "no complete signed triple: the planter refused before the second run (the claim quotes no figure a plant could move; every file carrying one is the check's own source, is rewritten by the check, or is never read by it), or a row was taken under another toolchain version"
  },
  "ledger": {
   "lines": 1006,
   "sha256": "16eb1c560469e7db6e66758e025651d8eadd9d0d4ca64cbcafe2a938bc0e334e",
   "last_row": "ev-001005",
   "kit_pin": "97c36cafa84ae9d01c781b1cf6f333f40616265083c3af349af8986288c4484a",
   "verified": "ledger evidence: OK — 990 lines authentic"
  },
  "rule_sha256": "b6a23d32c4e7461137cf286a2f0783c944e448cfb4f15b68258e14b715b4e58c"
 },
 "what_the_headline_means": "a defect was planted in what the check reads by someone who did not build the result, the check was re-run, and it exited non-zero. Of the other 127, 95 were run through the same check and could not bear it or were not falsified by it (not_counted, with what each class means); that is an absence of evidence, not evidence of absence.",
 "what_the_headline_does_not_mean": "it is not a success rate. No outside organisation has audited any of this.",
 "independence": "0 results in this portfolio are graded by a third party. The 7 are probed by a verifier inside the programme but outside the codebase that owns the result, which is weaker than a third-party audit and stronger than self-grading.",
 "sources": [
  {
   "path": "results-record/claims_census_2026-09.md",
   "sha256": "79ca50c3472bae4ebd179ed533456325be8e0e9027739787bfba9f06442fc39b",
   "bytes": 80004,
   "bytes_served": false,
   "regenerated_by": "ops/crown_jewels_truth.py --check, which rebuilds it from committed lab bytes and byte-compares"
  },
  {
   "path": "results-record/claim_coverage_2026-09.md",
   "sha256": "47785d130492c5c68b9fcedf0669e862d8216320632227bfbc7f8b90dd63ed0f",
   "bytes": 20237,
   "bytes_served": false,
   "regenerated_by": "ops/claim_coverage.py --check"
  },
  {
   "path": "results-record/phase6_commitment.json",
   "sha256": "41ecb1297889801a9915cf11bdb752f6d005d6f95826f88719c701b47174db4f",
   "bytes": 94136,
   "bytes_served": false,
   "regenerated_by": "the ingest at every lab's pushed commit; re-running it rewrites this file byte-identical"
  }
 ],
 "why_the_sources_are_not_served": "both views are internal working documents: they name codebase directories, quote line numbers of other files, and record which items are held for a decision. Their digests are published so every number above is tied to a fixed set of bytes at the commit named, and the numbers themselves are published here in full.",
 "sources_commit": "1e308f71688d6d76faa3c02e2fab13b43df4ed4b",
 "held_results": "1 of the 7 is a result held from publication for now: it is counted here, but its name and the figure its plant moved are not published (independent_check.counted[].held)."
}