{
 "what": "Decisions of claimbox objects from the bytes alone, by instruments/claimbox/check.py (Python; the exact evaluator over Fractions and ints): for each object its sha256, the checker's word, the decisions against the record, the decisions from the object with the first violating index tuple and the count of all, and the time. The battery re-derives the objects that decide in seconds and holds the heavy ones to their sha256 and this record; CLAIMBOX_FULL=1 re-derives all.",
 "python": "3.9.6",
 "rows": [
  {
   "id": "prim-1d-cert2026",
   "file": "instruments/claimbox/primitive/prim-1d-cert2026.json",
   "sha256": "266a62e991a42489cdc9d601ff1a9edf053ee037f1f80a9ea93c5c9ddf179e02",
   "word": "ADMITTED",
   "kind": null,
   "decided": [
    "REFUTED",
    "repair:CERTIFIED"
   ],
   "fromObject": [
    {
     "word": "REFUTED",
     "witness": null,
     "violations": null,
     "value": "2039224160683882663565441886346340189798400/1393796574908163689489385839036226787118881"
    }
   ],
   "seconds": 0.571,
   "notes": []
  },
  {
   "id": "prim-ae-593-kissing",
   "file": "instruments/claimbox/primitive/prim-ae-593-kissing.json",
   "sha256": "6ba60335c933c06bf1a05fcda100d1443b4df3745494bb47b4701c25d29196c1",
   "word": "ADMITTED",
   "kind": null,
   "decided": [
    "CERTIFIED"
   ],
   "fromObject": [
    {
     "word": "CERTIFIED",
     "witness": null,
     "violations": 0,
     "value": null
    }
   ],
   "seconds": 22.17,
   "notes": []
  },
  {
   "id": "prim-ea-605-kissing",
   "file": "instruments/claimbox/primitive/prim-ea-605-kissing.json",
   "sha256": "15fa9802ae4587ff7e56a678c43a2ca8c59dab4b2408bcad7dad9c2b6fa4c0de",
   "word": "ADMITTED",
   "kind": null,
   "decided": [],
   "fromObject": [
    {
     "word": "REFUTED",
     "witness": {
      "at": {
       "i": 0,
       "j": 48
      },
      "value": "1986245059187317785944282209720229216401118221813815167594367/5000000000000000000000000000000000000000000000000000000000000000000000000000"
     },
     "violations": 9510,
     "value": null
    }
   ],
   "seconds": 51.92,
   "notes": [
    "no record attached"
   ]
  },
  {
   "id": "prim-ea-542-circle-packing",
   "file": "instruments/claimbox/primitive/prim-ea-542-circle-packing.json",
   "sha256": "91ba0576bb17602ceedc2403ab3638e73a330093691867411165040b3fa995c0",
   "word": "ADMITTED",
   "kind": null,
   "decided": [],
   "fromObject": [
    {
     "word": "CERTIFIED",
     "witness": null,
     "violations": null,
     "value": "189942599023837833/72057594037927936"
    },
    {
     "word": "CERTIFIED",
     "witness": null,
     "violations": 0,
     "value": null
    },
    {
     "word": "CERTIFIED",
     "witness": null,
     "violations": 0,
     "value": null
    },
    {
     "word": "CERTIFIED",
     "witness": null,
     "violations": 0,
     "value": null
    },
    {
     "word": "CERTIFIED",
     "witness": null,
     "violations": 0,
     "value": null
    },
    {
     "word": "REFUTED",
     "witness": {
      "at": {
       "i": 1,
       "j": 13
      },
      "value": "361941427213607/324518553658426726783156020576256"
     },
     "violations": 3,
     "value": null
    }
   ],
   "seconds": 0.012,
   "notes": [
    "predicate[0]: the box is the printed value ± the platform's declared resolution, the quoted minImprovement 1e-10",
    "no record attached"
   ]
  },
  {
   "id": "prim-1b-codexprolong",
   "file": "instruments/claimbox/primitive/prim-1b-codexprolong.json",
   "sha256": "7db5b5e387daed918236a7e89ff7675482c716bb284275370be5c40bf41bc885",
   "word": "ADMITTED",
   "kind": null,
   "decided": [
    "CERTIFIED",
    "CERTIFIED",
    "CERTIFIED"
   ],
   "fromObject": [
    {
     "word": "CERTIFIED",
     "witness": null,
     "violations": null,
     "value": "7861381506700753544763858135527493249966514233368364969629442615292/20641209167037213005036750567119056465821996396173017596892653073025"
    },
    {
     "word": "CERTIFIED",
     "witness": null,
     "violations": null,
     "value": "570511527016931/316912650057057350374175801344"
    },
    {
     "word": "CERTIFIED",
     "witness": null,
     "violations": null,
     "value": "-73624039343656824511/4543259751217974660545579448037055"
    }
   ],
   "seconds": 207.93,
   "notes": []
  }
 ]
}