{
 "what": "The lab's checkable track record, as the home page prints it: each count is the length of the list beside it, read from the served file it names. Written by scripts/v3/track_record.py.",
 "open_source_verifiers": {
  "count": 10,
  "what": "public code repositories under github.com/nickharris808 that this site links, each answering HTTP 200 when measured",
  "from": "holdco/v3/measured/open_artifacts.json#/page_artifact_urls",
  "from_sha256": "ca8474906857f7a0643eab0d0360085c17d08e3cdd13918b8ebfcd28e064f85a",
  "repositories": [
   "https://github.com/nickharris808/pqc-bounds-lean",
   "https://github.com/nickharris808/certkit",
   "https://github.com/nickharris808/certkit-js",
   "https://github.com/nickharris808/certkit-action",
   "https://github.com/nickharris808/crs-mcp",
   "https://github.com/nickharris808/certified-discovery",
   "https://github.com/nickharris808/formal-proof-mcp",
   "https://github.com/nickharris808/interval-core",
   "https://github.com/nickharris808/soundnessbench",
   "https://github.com/nickharris808/pqc-mfb"
  ]
 },
 "outside_solver_results": {
  "count": 2,
  "what": "results on this site whose own served file names an outside field solver the lab did not write (FastCap or Palace) as a grader or cross-check",
  "from": "holdco/v3/measured/results_current.json#/results",
  "from_sha256": "106fcc790f35e045d04a6561cf00f2867d6b3e21e903b45f4a3321f6b5c69b87",
  "results": [
   {
    "slug": "owned-3d-end-effect",
    "file": "holdco/v3/measured/result-owned-3d-end-effect.json",
    "outside_solvers_named": [
     "FastCap"
    ]
   },
   {
    "slug": "independent-solver-anchors",
    "file": "holdco/v3/measured/result-independent-solver-anchors.json",
    "outside_solvers_named": [
     "FastCap",
     "Palace"
    ]
   }
  ]
 },
 "machine_checked": {
  "what": "Lean 4 theorem and lemma declarations that the Lean proof checker accepts with no step left unproved",
  "from": "holdco/v3/measured/lean_theorems.json#/total_declarations",
  "from_sha256": "37ce4f1747d1600fb5b6abdf4f1030aca82f6b754916ce4b7e23786bd79cd505",
  "note": "printed from that file directly; not copied here"
 }
}