{
 "what": "The self-audit of cert-machine, Phase 4 — concordance (M2 of the pre-registration): every register row whose record was decided by two or more programs, compared field by field — the word, the witness or count where one exists, the enclosure where one exists — read from the records, nothing re-run; and the hosted profile of M4: the 416 kernel challenges carried in as recorded. Written by tools/run-selfaudit-concord.js; --check regenerates and compares.",
 "name": "selfaudit",
 "phase": 4,
 "generated": "2026-10-22T01:17:35.795Z",
 "git": "16849460",
 "preregistration": {
  "path": "notes/selfaudit-preregistration-2026-10-20.md",
  "sha256": "b799715c0f840d2a201b7a7907025137e70653095319ad8c97a3b7f8be7b23c2"
 },
 "inventory": {
  "path": "certs/selfaudit-inventory.json",
  "sha256": "b5f226e1eff7d9810a0a95b59039de184316f589ee8f0de0d6b9b2734a015b8e"
 },
 "register": {
  "path": "certs/claims-ledger.json",
  "sha256": "270094aa3c9218fa000654ae3020d388e3821b845e76647da9d429f095cd77ff"
 },
 "recordsRead": {
  "certs/gnnw-certificate.json": "b7127457078d064ed8b6e7cd4f26110f8949c7a384b322a0d22de575a9875273",
  "corpus/gnnw/second-run.json": "420be8b153af3bb6f6f0e00b4ae624d6509d8a03a127faac55a7579c97476ff3",
  "certs/fei-second.json": "752b08ae656c19b30ffe73d4bed3cd782d3fc2cb9b087a2efa43391d90851ae6",
  "certs/fei-ledger.json": "ad853dabf838029896747144ee765fd418830311dc7c4b133575119d08bcf59e",
  "certs/mc100-alphatensor-q.json": "753485444a3e4498c15cfa47e8e1a48ff40d66ca2cebd5d55349216f3902d9f7",
  "certs/mc100-alphatensor-f2.json": "0222c5552b7c24f38f1231508bce613876eafce4e161325ef1b0bf3817d90a77",
  "certs/mc100-alphaevolve-nb-matmul.json": "50183f3ffba87bd2964ae6c0e32a8d985c8f0176f420728f8b19d826df4ea12a",
  "certs/mc100-einstein-arena.json": "5d05c32da7e1d4788a2bff1af3f3d2ff45056bb02c69d54fc142fe0e24060226",
  "certs/claimbox-decisions.json": "3d33dbc523f20f188441e0ba46a0a5503717a6b9f5ee23403ea568d63075191c",
  "certs/kissing-ledger.json": "5c823b21ac43b5bdb3ad4b91a46e909cbf86a192e4cf382e2d8c5be2b29f611f",
  "corpus/rerun-kit.json": "8d276e9c3ec889d7bfaafdf8f06567f8743a9afe9437dd15d22665998ced1b5a",
  "certs/rerun-kit-run.json": "415cd158cbec52f4784214abbc91845282c4143d5d8914a6ba0348887e898ee9",
  "certs/openai-math-kernel.json": "3e41d20228fb965daac55b3b531d50f4f2fec87a431d0b822e32a88e7444b0d2"
 },
 "counts": {
  "comparisons": 91,
  "rowsWithTwoOrMore": 56,
  "concordant": 91,
  "disagreements": [],
  "byImplementationCount": {
   "2": 89,
   "3": 1,
   "4": 1
  },
  "fieldLevel": 39,
  "wordLevelOnly": 49
 },
 "rows": [
  {
   "id": "gnnw-gai-3782",
   "registerVerdict": "CERTIFIED",
   "implementations": [
    "tools/verify_gnnw_gai.py (Decimal intervals, a written derivative)",
    "instruments/gnnw/second.js (bigfloat, monotone endpoint bounds, no written derivative; corpus/gnnw/second-run.json)"
   ],
   "fields": [
    {
     "field": "word",
     "values": [
      "CERTIFIED",
      "CERTIFIED"
     ],
     "agree": true
    },
    {
     "field": "enclosure of e^{F(1)}",
     "values": [
      "3.782328775537311621742800457806..3.782328775537311621742800457806",
      "3.7823287755373116217428004..3.7823287755373116217428005"
     ],
     "agree": true
    }
   ],
   "concordant": true,
   "disagreements": [],
   "note": "the second implementation re-decided the whole chain; step 1 is G_AI, the register's row; the kit timed it at 161 s (certs/rerun-kit-run.json)"
  },
  {
   "id": "optconst-71",
   "registerVerdict": "CERTIFIED",
   "implementations": [
    "instruments/fei/fei.py (Decimal, 60 digits)",
    "tools/verify_fei.js (BigInt, 512 bits)"
   ],
   "fields": [
    {
     "field": "word",
     "values": [
      "CERTIFIED",
      "CERTIFIED"
     ],
     "agree": true
    },
    {
     "field": "ratio enclosure",
     "values": [
      "6.521845710923046575658143972948578468366662..6.521845710923046575658143972948578468366663",
      "6.52184571092304657565814397294857846836666229222993859825289412932550356341452190..6.52184571092304657565814397294857846836666229222993859825289412932550356341452191"
     ],
     "agree": true
    },
    {
     "field": "I",
     "values": [
      "261/128",
      "261/128"
     ],
     "agree": true
    },
    {
     "field": "the record's own agreement checks",
     "values": [
      "12 checks",
      "all ok"
     ],
     "agree": true
    }
   ],
   "concordant": true,
   "disagreements": []
  },
  {
   "id": "mc100-at-q-2x2x3",
   "registerVerdict": "CERTIFIED",
   "implementations": [
    "instruments/strassen/tensor.js audit (exact doubles under the 2^53 bound)",
    "instruments/strassen/tensor.js auditBig (BigInt, every equation)"
   ],
   "fields": [
    {
     "field": "word",
     "values": [
      "CERTIFIED",
      "CERTIFIED"
     ],
     "agree": true
    },
    {
     "field": "layout",
     "values": [
      "CA",
      "CA"
     ],
     "agree": true
    }
   ],
   "concordant": true,
   "disagreements": []
  },
  {
   "id": "mc100-at-q-2x2x4",
   "registerVerdict": "CERTIFIED",
   "implementations": [
    "instruments/strassen/tensor.js audit (exact doubles under the 2^53 bound)",
    "instruments/strassen/tensor.js auditBig (BigInt, every equation)"
   ],
   "fields": [
    {
     "field": "word",
     "values": [
      "CERTIFIED",
      "CERTIFIED"
     ],
     "agree": true
    },
    {
     "field": "layout",
     "values": [
      "CA",
      "CA"
     ],
     "agree": true
    }
   ],
   "concordant": true,
   "disagreements": []
  },
  {
   "id": "mc100-at-q-2x3x3",
   "registerVerdict": "CERTIFIED",
   "implementations": [
    "instruments/strassen/tensor.js audit (exact doubles under the 2^53 bound)",
    "instruments/strassen/tensor.js auditBig (BigInt, every equation)"
   ],
   "fields": [
    {
     "field": "word",
     "values": [
      "CERTIFIED",
      "CERTIFIED"
     ],
     "agree": true
    },
    {
     "field": "layout",
     "values": [
      "CA",
      "CA"
     ],
     "agree": true
    }
   ],
   "concordant": true,
   "disagreements": []
  },
  {
   "id": "mc100-at-q-2x2x5",
   "registerVerdict": "CERTIFIED",
   "implementations": [
    "instruments/strassen/tensor.js audit (exact doubles under the 2^53 bound)",
    "instruments/strassen/tensor.js auditBig (BigInt, every equation)"
   ],
   "fields": [
    {
     "field": "word",
     "values": [
      "CERTIFIED",
      "CERTIFIED"
     ],
     "agree": true
    },
    {
     "field": "layout",
     "values": [
      "CA",
      "CA"
     ],
     "agree": true
    }
   ],
   "concordant": true,
   "disagreements": []
  },
  {
   "id": "mc100-at-q-2x2x6",
   "registerVerdict": "CERTIFIED",
   "implementations": [
    "instruments/strassen/tensor.js audit (exact doubles under the 2^53 bound)",
    "instruments/strassen/tensor.js auditBig (BigInt, every equation)"
   ],
   "fields": [
    {
     "field": "word",
     "values": [
      "CERTIFIED",
      "CERTIFIED"
     ],
     "agree": true
    },
    {
     "field": "layout",
     "values": [
      "CA",
      "CA"
     ],
     "agree": true
    }
   ],
   "concordant": true,
   "disagreements": []
  },
  {
   "id": "mc100-at-q-2x3x4",
   "registerVerdict": "CERTIFIED",
   "implementations": [
    "instruments/strassen/tensor.js audit (exact doubles under the 2^53 bound)",
    "instruments/strassen/tensor.js auditBig (BigInt, every equation)"
   ],
   "fields": [
    {
     "field": "word",
     "values": [
      "CERTIFIED",
      "CERTIFIED"
     ],
     "agree": true
    },
    {
     "field": "layout",
     "values": [
      "CA",
      "CA"
     ],
     "agree": true
    }
   ],
   "concordant": true,
   "disagreements": []
  },
  {
   "id": "mc100-at-q-2x2x7",
   "registerVerdict": "CERTIFIED",
   "implementations": [
    "instruments/strassen/tensor.js audit (exact doubles under the 2^53 bound)",
    "instruments/strassen/tensor.js auditBig (BigInt, every equation)"
   ],
   "fields": [
    {
     "field": "word",
     "values": [
      "CERTIFIED",
      "CERTIFIED"
     ],
     "agree": true
    },
    {
     "field": "layout",
     "values": [
      "CA",
      "CA"
     ],
     "agree": true
    }
   ],
   "concordant": true,
   "disagreements": []
  },
  {
   "id": "mc100-at-q-2x3x5",
   "registerVerdict": "CERTIFIED",
   "implementations": [
    "instruments/strassen/tensor.js audit (exact doubles under the 2^53 bound)",
    "instruments/strassen/tensor.js auditBig (BigInt, every equation)"
   ],
   "fields": [
    {
     "field": "word",
     "values": [
      "CERTIFIED",
      "CERTIFIED"
     ],
     "agree": true
    },
    {
     "field": "layout",
     "values": [
      "CA",
      "CA"
     ],
     "agree": true
    }
   ],
   "concordant": true,
   "disagreements": []
  },
  {
   "id": "mc100-at-q-2x2x8",
   "registerVerdict": "CERTIFIED",
   "implementations": [
    "instruments/strassen/tensor.js audit (exact doubles under the 2^53 bound)",
    "instruments/strassen/tensor.js auditBig (BigInt, every equation)"
   ],
   "fields": [
    {
     "field": "word",
     "values": [
      "CERTIFIED",
      "CERTIFIED"
     ],
     "agree": true
    },
    {
     "field": "layout",
     "values": [
      "CA",
      "CA"
     ],
     "agree": true
    }
   ],
   "concordant": true,
   "disagreements": []
  },
  {
   "id": "mc100-at-q-2x4x4",
   "registerVerdict": "CERTIFIED",
   "implementations": [
    "instruments/strassen/tensor.js audit (exact doubles under the 2^53 bound)",
    "instruments/strassen/tensor.js auditBig (BigInt, every equation)"
   ],
   "fields": [
    {
     "field": "word",
     "values": [
      "CERTIFIED",
      "CERTIFIED"
     ],
     "agree": true
    },
    {
     "field": "layout",
     "values": [
      "CA",
      "CA"
     ],
     "agree": true
    }
   ],
   "concordant": true,
   "disagreements": []
  },
  {
   "id": "mc100-at-q-3x3x4",
   "registerVerdict": "CERTIFIED",
   "implementations": [
    "instruments/strassen/tensor.js audit (exact doubles under the 2^53 bound)",
    "instruments/strassen/tensor.js auditBig (BigInt, every equation)"
   ],
   "fields": [
    {
     "field": "word",
     "values": [
      "CERTIFIED",
      "CERTIFIED"
     ],
     "agree": true
    },
    {
     "field": "layout",
     "values": [
      "CA",
      "CA"
     ],
     "agree": true
    }
   ],
   "concordant": true,
   "disagreements": []
  },
  {
   "id": "mc100-at-q-2x4x5",
   "registerVerdict": "CERTIFIED",
   "implementations": [
    "instruments/strassen/tensor.js audit (exact doubles under the 2^53 bound)",
    "instruments/strassen/tensor.js auditBig (BigInt, every equation)"
   ],
   "fields": [
    {
     "field": "word",
     "values": [
      "CERTIFIED",
      "CERTIFIED"
     ],
     "agree": true
    },
    {
     "field": "layout",
     "values": [
      "CA",
      "CA"
     ],
     "agree": true
    }
   ],
   "concordant": true,
   "disagreements": []
  },
  {
   "id": "mc100-at-f2-2x2x3",
   "registerVerdict": "CERTIFIED",
   "implementations": [
    "instruments/strassen/tensor.js audit (exact doubles under the 2^53 bound)",
    "instruments/strassen/tensor.js auditBig (BigInt, every equation)"
   ],
   "fields": [
    {
     "field": "word",
     "values": [
      "CERTIFIED",
      "CERTIFIED"
     ],
     "agree": true
    },
    {
     "field": "layout",
     "values": [
      "CA",
      "CA"
     ],
     "agree": true
    }
   ],
   "concordant": true,
   "disagreements": []
  },
  {
   "id": "mc100-at-f2-2x2x4",
   "registerVerdict": "CERTIFIED",
   "implementations": [
    "instruments/strassen/tensor.js audit (exact doubles under the 2^53 bound)",
    "instruments/strassen/tensor.js auditBig (BigInt, every equation)"
   ],
   "fields": [
    {
     "field": "word",
     "values": [
      "CERTIFIED",
      "CERTIFIED"
     ],
     "agree": true
    },
    {
     "field": "layout",
     "values": [
      "CA",
      "CA"
     ],
     "agree": true
    }
   ],
   "concordant": true,
   "disagreements": []
  },
  {
   "id": "mc100-at-f2-2x3x3",
   "registerVerdict": "CERTIFIED",
   "implementations": [
    "instruments/strassen/tensor.js audit (exact doubles under the 2^53 bound)",
    "instruments/strassen/tensor.js auditBig (BigInt, every equation)"
   ],
   "fields": [
    {
     "field": "word",
     "values": [
      "CERTIFIED",
      "CERTIFIED"
     ],
     "agree": true
    },
    {
     "field": "layout",
     "values": [
      "CA",
      "CA"
     ],
     "agree": true
    }
   ],
   "concordant": true,
   "disagreements": []
  },
  {
   "id": "mc100-at-f2-2x2x5",
   "registerVerdict": "CERTIFIED",
   "implementations": [
    "instruments/strassen/tensor.js audit (exact doubles under the 2^53 bound)",
    "instruments/strassen/tensor.js auditBig (BigInt, every equation)"
   ],
   "fields": [
    {
     "field": "word",
     "values": [
      "CERTIFIED",
      "CERTIFIED"
     ],
     "agree": true
    },
    {
     "field": "layout",
     "values": [
      "CA",
      "CA"
     ],
     "agree": true
    }
   ],
   "concordant": true,
   "disagreements": []
  },
  {
   "id": "mc100-at-f2-2x3x4",
   "registerVerdict": "CERTIFIED",
   "implementations": [
    "instruments/strassen/tensor.js audit (exact doubles under the 2^53 bound)",
    "instruments/strassen/tensor.js auditBig (BigInt, every equation)"
   ],
   "fields": [
    {
     "field": "word",
     "values": [
      "CERTIFIED",
      "CERTIFIED"
     ],
     "agree": true
    },
    {
     "field": "layout",
     "values": [
      "CA",
      "CA"
     ],
     "agree": true
    }
   ],
   "concordant": true,
   "disagreements": []
  },
  {
   "id": "mc100-at-f2-2x3x5",
   "registerVerdict": "CERTIFIED",
   "implementations": [
    "instruments/strassen/tensor.js audit (exact doubles under the 2^53 bound)",
    "instruments/strassen/tensor.js auditBig (BigInt, every equation)"
   ],
   "fields": [
    {
     "field": "word",
     "values": [
      "CERTIFIED",
      "CERTIFIED"
     ],
     "agree": true
    },
    {
     "field": "layout",
     "values": [
      "CA",
      "CA"
     ],
     "agree": true
    }
   ],
   "concordant": true,
   "disagreements": []
  },
  {
   "id": "mc100-at-f2-2x4x4",
   "registerVerdict": "CERTIFIED",
   "implementations": [
    "instruments/strassen/tensor.js audit (exact doubles under the 2^53 bound)",
    "instruments/strassen/tensor.js auditBig (BigInt, every equation)"
   ],
   "fields": [
    {
     "field": "word",
     "values": [
      "CERTIFIED",
      "CERTIFIED"
     ],
     "agree": true
    },
    {
     "field": "layout",
     "values": [
      "CA",
      "CA"
     ],
     "agree": true
    }
   ],
   "concordant": true,
   "disagreements": []
  },
  {
   "id": "mc100-at-f2-3x3x4",
   "registerVerdict": "CERTIFIED",
   "implementations": [
    "instruments/strassen/tensor.js audit (exact doubles under the 2^53 bound)",
    "instruments/strassen/tensor.js auditBig (BigInt, every equation)"
   ],
   "fields": [
    {
     "field": "word",
     "values": [
      "CERTIFIED",
      "CERTIFIED"
     ],
     "agree": true
    },
    {
     "field": "layout",
     "values": [
      "CA",
      "CA"
     ],
     "agree": true
    }
   ],
   "concordant": true,
   "disagreements": []
  },
  {
   "id": "mc100-ae-nb-2x4x5-r32",
   "registerVerdict": "CERTIFIED",
   "implementations": [
    "instruments/strassen/tensor.js audit (exact doubles under the 2^53 bound)",
    "instruments/strassen/tensor.js auditBig (BigInt, every equation)"
   ],
   "fields": [
    {
     "field": "word",
     "values": [
      "CERTIFIED",
      "CERTIFIED"
     ],
     "agree": true
    },
    {
     "field": "layout",
     "values": [
      "CA",
      "CA"
     ],
     "agree": true
    }
   ],
   "concordant": true,
   "disagreements": []
  },
  {
   "id": "mc100-ae-nb-2x4x7-r45",
   "registerVerdict": "CERTIFIED",
   "implementations": [
    "instruments/strassen/tensor.js audit (exact doubles under the 2^53 bound)",
    "instruments/strassen/tensor.js auditBig (BigInt, every equation)"
   ],
   "fields": [
    {
     "field": "word",
     "values": [
      "CERTIFIED",
      "CERTIFIED"
     ],
     "agree": true
    },
    {
     "field": "layout",
     "values": [
      "CA",
      "CA"
     ],
     "agree": true
    }
   ],
   "concordant": true,
   "disagreements": []
  },
  {
   "id": "mc100-ae-nb-2x4x8-r51",
   "registerVerdict": "CERTIFIED",
   "implementations": [
    "instruments/strassen/tensor.js audit (exact doubles under the 2^53 bound)",
    "instruments/strassen/tensor.js auditBig (BigInt, every equation)"
   ],
   "fields": [
    {
     "field": "word",
     "values": [
      "CERTIFIED",
      "CERTIFIED"
     ],
     "agree": true
    },
    {
     "field": "layout",
     "values": [
      "CA",
      "CA"
     ],
     "agree": true
    }
   ],
   "concordant": true,
   "disagreements": []
  },
  {
   "id": "mc100-ae-nb-2x5x6-r47",
   "registerVerdict": "CERTIFIED",
   "implementations": [
    "instruments/strassen/tensor.js audit (exact doubles under the 2^53 bound)",
    "instruments/strassen/tensor.js auditBig (BigInt, every equation)"
   ],
   "fields": [
    {
     "field": "word",
     "values": [
      "CERTIFIED",
      "CERTIFIED"
     ],
     "agree": true
    },
    {
     "field": "layout",
     "values": [
      "CA",
      "CA"
     ],
     "agree": true
    }
   ],
   "concordant": true,
   "disagreements": []
  },
  {
   "id": "mc100-ae-nb-3x3x3-r23",
   "registerVerdict": "CERTIFIED",
   "implementations": [
    "instruments/strassen/tensor.js audit (exact doubles under the 2^53 bound)",
    "instruments/strassen/tensor.js auditBig (BigInt, every equation)"
   ],
   "fields": [
    {
     "field": "word",
     "values": [
      "CERTIFIED",
      "CERTIFIED"
     ],
     "agree": true
    },
    {
     "field": "layout",
     "values": [
      "CA",
      "CA"
     ],
     "agree": true
    }
   ],
   "concordant": true,
   "disagreements": []
  },
  {
   "id": "mc100-ae-nb-3x4x6-r54",
   "registerVerdict": "CERTIFIED",
   "implementations": [
    "instruments/strassen/tensor.js audit (exact doubles under the 2^53 bound)",
    "instruments/strassen/tensor.js auditBig (BigInt, every equation)"
   ],
   "fields": [
    {
     "field": "word",
     "values": [
      "CERTIFIED",
      "CERTIFIED"
     ],
     "agree": true
    },
    {
     "field": "layout",
     "values": [
      "CA",
      "CA"
     ],
     "agree": true
    }
   ],
   "concordant": true,
   "disagreements": []
  },
  {
   "id": "mc100-ae-nb-3x4x7-r63",
   "registerVerdict": "CERTIFIED",
   "implementations": [
    "instruments/strassen/tensor.js audit (exact doubles under the 2^53 bound)",
    "instruments/strassen/tensor.js auditBig (BigInt, every equation)"
   ],
   "fields": [
    {
     "field": "word",
     "values": [
      "CERTIFIED",
      "CERTIFIED"
     ],
     "agree": true
    },
    {
     "field": "layout",
     "values": [
      "CA",
      "CA"
     ],
     "agree": true
    }
   ],
   "concordant": true,
   "disagreements": []
  },
  {
   "id": "mc100-ae-nb-3x4x8-r74",
   "registerVerdict": "CERTIFIED",
   "implementations": [
    "instruments/strassen/tensor.js audit (exact doubles under the 2^53 bound)",
    "instruments/strassen/tensor.js auditBig (BigInt, every equation)"
   ],
   "fields": [
    {
     "field": "word",
     "values": [
      "CERTIFIED",
      "CERTIFIED"
     ],
     "agree": true
    },
    {
     "field": "layout",
     "values": [
      "CA",
      "CA"
     ],
     "agree": true
    }
   ],
   "concordant": true,
   "disagreements": []
  },
  {
   "id": "mc100-ae-nb-3x5x6-r68",
   "registerVerdict": "CERTIFIED",
   "implementations": [
    "instruments/strassen/tensor.js audit (exact doubles under the 2^53 bound)",
    "instruments/strassen/tensor.js auditBig (BigInt, every equation)"
   ],
   "fields": [
    {
     "field": "word",
     "values": [
      "CERTIFIED",
      "CERTIFIED"
     ],
     "agree": true
    },
    {
     "field": "layout",
     "values": [
      "CA",
      "CA"
     ],
     "agree": true
    }
   ],
   "concordant": true,
   "disagreements": []
  },
  {
   "id": "mc100-ae-nb-3x5x7-r80",
   "registerVerdict": "CERTIFIED",
   "implementations": [
    "instruments/strassen/tensor.js audit (exact doubles under the 2^53 bound)",
    "instruments/strassen/tensor.js auditBig (BigInt, every equation)"
   ],
   "fields": [
    {
     "field": "word",
     "values": [
      "CERTIFIED",
      "CERTIFIED"
     ],
     "agree": true
    },
    {
     "field": "layout",
     "values": [
      "CA",
      "CA"
     ],
     "agree": true
    }
   ],
   "concordant": true,
   "disagreements": []
  },
  {
   "id": "mc100-ae-nb-4x4x8-r96",
   "registerVerdict": "CERTIFIED",
   "implementations": [
    "instruments/strassen/tensor.js audit (exact doubles under the 2^53 bound)",
    "instruments/strassen/tensor.js auditBig (BigInt, every equation)"
   ],
   "fields": [
    {
     "field": "word",
     "values": [
      "CERTIFIED",
      "CERTIFIED"
     ],
     "agree": true
    },
    {
     "field": "layout",
     "values": [
      "CA",
      "CA"
     ],
     "agree": true
    }
   ],
   "concordant": true,
   "disagreements": []
  },
  {
   "id": "mc100-ae-nb-4x4x5-r61",
   "registerVerdict": "CERTIFIED",
   "implementations": [
    "instruments/strassen/tensor.js audit (exact doubles under the 2^53 bound)",
    "instruments/strassen/tensor.js auditBig (BigInt, every equation)"
   ],
   "fields": [
    {
     "field": "word",
     "values": [
      "CERTIFIED",
      "CERTIFIED"
     ],
     "agree": true
    },
    {
     "field": "layout",
     "values": [
      "CA",
      "CA"
     ],
     "agree": true
    }
   ],
   "concordant": true,
   "disagreements": []
  },
  {
   "id": "mc100-ae-nb-4x4x7-r85",
   "registerVerdict": "CERTIFIED",
   "implementations": [
    "instruments/strassen/tensor.js audit (exact doubles under the 2^53 bound)",
    "instruments/strassen/tensor.js auditBig (BigInt, every equation)"
   ],
   "fields": [
    {
     "field": "word",
     "values": [
      "CERTIFIED",
      "CERTIFIED"
     ],
     "agree": true
    },
    {
     "field": "layout",
     "values": [
      "CA",
      "CA"
     ],
     "agree": true
    }
   ],
   "concordant": true,
   "disagreements": []
  },
  {
   "id": "mc100-ae-nb-4x5x6-r90",
   "registerVerdict": "CERTIFIED",
   "implementations": [
    "instruments/strassen/tensor.js audit (exact doubles under the 2^53 bound)",
    "instruments/strassen/tensor.js auditBig (BigInt, every equation)"
   ],
   "fields": [
    {
     "field": "word",
     "values": [
      "CERTIFIED",
      "CERTIFIED"
     ],
     "agree": true
    },
    {
     "field": "layout",
     "values": [
      "CA",
      "CA"
     ],
     "agree": true
    }
   ],
   "concordant": true,
   "disagreements": []
  },
  {
   "id": "mc100-ae-nb-5x5x5-r93",
   "registerVerdict": "CERTIFIED",
   "implementations": [
    "instruments/strassen/tensor.js audit (exact doubles under the 2^53 bound)",
    "instruments/strassen/tensor.js auditBig (BigInt, every equation)"
   ],
   "fields": [
    {
     "field": "word",
     "values": [
      "CERTIFIED",
      "CERTIFIED"
     ],
     "agree": true
    },
    {
     "field": "layout",
     "values": [
      "CA",
      "CA"
     ],
     "agree": true
    }
   ],
   "concordant": true,
   "disagreements": []
  },
  {
   "id": "kiss-ea-594-winner",
   "registerVerdict": "CERTIFIED",
   "implementations": [
    "instruments/kissing/kissing.js certify",
    "tools/run-mc100-einstein.js kissingFull (every pair, the penalty enclosed)"
   ],
   "fields": [
    {
     "field": "a kissing configuration",
     "values": [
      "CERTIFIED",
      "CERTIFIED"
     ],
     "agree": true
    }
   ],
   "concordant": true,
   "disagreements": [],
   "note": "the mc100 row names the register row it is the same object as"
  },
  {
   "id": "mc100-ea-best-kissing-number-d12",
   "registerVerdict": "CERTIFIED",
   "implementations": [
    "instruments/kissing/kissing.js certify",
    "tools/run-mc100-einstein.js kissingFull (every pair, the penalty enclosed)"
   ],
   "fields": [
    {
     "field": "a kissing configuration",
     "values": [
      "REFUTED",
      "REFUTED"
     ],
     "agree": true
    }
   ],
   "concordant": true,
   "disagreements": [],
   "note": "the register row CERTIFIES the platform's score; the kissing claim itself is decided by the two passes beside it"
  },
  {
   "id": "mc100-ea-best-kissing-number-d11-605",
   "registerVerdict": "CERTIFIED",
   "implementations": [
    "instruments/kissing/kissing.js certify",
    "tools/run-mc100-einstein.js kissingFull (every pair, the penalty enclosed)",
    "instruments/claimbox/check.py (Fractions)",
    "instruments/claimbox/check.js (BigInt, no shared code)"
   ],
   "fields": [
    {
     "field": "a kissing configuration",
     "values": [
      "REFUTED",
      "REFUTED"
     ],
     "agree": true
    },
    {
     "field": "violating pairs",
     "values": [
      "9510",
      "9510",
      "check.js: the battery holds it to check.py"
     ],
     "agree": true
    },
    {
     "field": "word (the kissing claim)",
     "values": [
      "REFUTED",
      "REFUTED"
     ],
     "agree": true
    }
   ],
   "concordant": true,
   "disagreements": [],
   "note": "the register row CERTIFIES the platform's score; the kissing claim itself is decided by the two passes beside it"
  },
  {
   "id": "mc100-ea-best-kissing-number-d12-842",
   "registerVerdict": "CERTIFIED",
   "implementations": [
    "instruments/kissing/kissing.js certify",
    "tools/run-mc100-einstein.js kissingFull (every pair, the penalty enclosed)"
   ],
   "fields": [
    {
     "field": "a kissing configuration",
     "values": [
      "REFUTED",
      "REFUTED"
     ],
     "agree": true
    }
   ],
   "concordant": true,
   "disagreements": [],
   "note": "the register row CERTIFIES the platform's score; the kissing claim itself is decided by the two passes beside it"
  },
  {
   "id": "kiss-alphaevolve-593",
   "registerVerdict": "CERTIFIED",
   "implementations": [
    "instruments/kissing/kissing.js certify (the ledger)",
    "instruments/claimbox/check.py (Fractions)",
    "instruments/claimbox/check.js (BigInt)"
   ],
   "fields": [
    {
     "field": "word",
     "values": [
      "CERTIFIED",
      "CERTIFIED"
     ],
     "agree": true
    },
    {
     "field": "violating pairs",
     "values": [
      "0",
      "0"
     ],
     "agree": true
    }
   ],
   "concordant": true,
   "disagreements": []
  },
  {
   "id": "erdos852-cstar",
   "registerVerdict": "REFUTED",
   "implementations": [
    "the record's decider (node tools/export-erdos852-certificate.js)",
    "the standard-library verifier (python3 tools/verify_erdos852.py certs/erdos852-certificate.json --sources corpus/sources)"
   ],
   "fields": [
    {
     "field": "the verifier re-derives the record (exit)",
     "values": [
      "the record",
      "exit 0: every entry verifies, the red control fired"
     ],
     "agree": true
    }
   ],
   "concordant": true,
   "disagreements": [],
   "note": "a word-level concordance: the verifier certifies what the record certifies, read from certs/rerun-kit-run.json (0.6 s)"
  },
  {
   "id": "mm-strassen-1969",
   "registerVerdict": "CERTIFIED",
   "implementations": [
    "the record's decider (node tools/export-strassen-certificate.js)",
    "the standard-library verifier (python3 tools/verify_strassen.py certs/strassen-certificate.json --sources corpus/sources)"
   ],
   "fields": [
    {
     "field": "the verifier re-derives the record (exit)",
     "values": [
      "the record",
      "exit 0: every entry verifies, the red control fired"
     ],
     "agree": true
    }
   ],
   "concordant": true,
   "disagreements": [],
   "note": "a word-level concordance: the verifier certifies what the record certifies, read from certs/rerun-kit-run.json (0.3 s)"
  },
  {
   "id": "mm-strassen-squared-4x4x4",
   "registerVerdict": "CERTIFIED",
   "implementations": [
    "the record's decider (node tools/export-strassen-certificate.js)",
    "the standard-library verifier (python3 tools/verify_strassen.py certs/strassen-certificate.json --sources corpus/sources)"
   ],
   "fields": [
    {
     "field": "the verifier re-derives the record (exit)",
     "values": [
      "the record",
      "exit 0: every entry verifies, the red control fired"
     ],
     "agree": true
    }
   ],
   "concordant": true,
   "disagreements": [],
   "note": "a word-level concordance: the verifier certifies what the record certifies, read from certs/rerun-kit-run.json (0.3 s)"
  },
  {
   "id": "mm-alphatensor-q-2x2x2",
   "registerVerdict": "CERTIFIED",
   "implementations": [
    "the record's decider (node tools/export-strassen-certificate.js)",
    "the standard-library verifier (python3 tools/verify_strassen.py certs/strassen-certificate.json --sources corpus/sources)"
   ],
   "fields": [
    {
     "field": "the verifier re-derives the record (exit)",
     "values": [
      "the record",
      "exit 0: every entry verifies, the red control fired"
     ],
     "agree": true
    }
   ],
   "concordant": true,
   "disagreements": [],
   "note": "a word-level concordance: the verifier certifies what the record certifies, read from certs/rerun-kit-run.json (0.3 s)"
  },
  {
   "id": "mm-alphatensor-q-3x3x3",
   "registerVerdict": "CERTIFIED",
   "implementations": [
    "the record's decider (node tools/export-strassen-certificate.js)",
    "the standard-library verifier (python3 tools/verify_strassen.py certs/strassen-certificate.json --sources corpus/sources)"
   ],
   "fields": [
    {
     "field": "the verifier re-derives the record (exit)",
     "values": [
      "the record",
      "exit 0: every entry verifies, the red control fired"
     ],
     "agree": true
    }
   ],
   "concordant": true,
   "disagreements": [],
   "note": "a word-level concordance: the verifier certifies what the record certifies, read from certs/rerun-kit-run.json (0.3 s)"
  },
  {
   "id": "mm-alphatensor-q-4x4x4",
   "registerVerdict": "CERTIFIED",
   "implementations": [
    "the record's decider (node tools/export-strassen-certificate.js)",
    "the standard-library verifier (python3 tools/verify_strassen.py certs/strassen-certificate.json --sources corpus/sources)"
   ],
   "fields": [
    {
     "field": "the verifier re-derives the record (exit)",
     "values": [
      "the record",
      "exit 0: every entry verifies, the red control fired"
     ],
     "agree": true
    }
   ],
   "concordant": true,
   "disagreements": [],
   "note": "a word-level concordance: the verifier certifies what the record certifies, read from certs/rerun-kit-run.json (0.3 s)"
  },
  {
   "id": "mm-alphatensor-q-3x4x5",
   "registerVerdict": "CERTIFIED",
   "implementations": [
    "the record's decider (node tools/export-strassen-certificate.js)",
    "the standard-library verifier (python3 tools/verify_strassen.py certs/strassen-certificate.json --sources corpus/sources)"
   ],
   "fields": [
    {
     "field": "the verifier re-derives the record (exit)",
     "values": [
      "the record",
      "exit 0: every entry verifies, the red control fired"
     ],
     "agree": true
    }
   ],
   "concordant": true,
   "disagreements": [],
   "note": "a word-level concordance: the verifier certifies what the record certifies, read from certs/rerun-kit-run.json (0.3 s)"
  },
  {
   "id": "mm-alphatensor-q-4x5x5",
   "registerVerdict": "CERTIFIED",
   "implementations": [
    "the record's decider (node tools/export-strassen-certificate.js)",
    "the standard-library verifier (python3 tools/verify_strassen.py certs/strassen-certificate.json --sources corpus/sources)"
   ],
   "fields": [
    {
     "field": "the verifier re-derives the record (exit)",
     "values": [
      "the record",
      "exit 0: every entry verifies, the red control fired"
     ],
     "agree": true
    }
   ],
   "concordant": true,
   "disagreements": [],
   "note": "a word-level concordance: the verifier certifies what the record certifies, read from certs/rerun-kit-run.json (0.3 s)"
  },
  {
   "id": "mm-alphatensor-f2-4x4x4",
   "registerVerdict": "CERTIFIED",
   "implementations": [
    "the record's decider (node tools/export-strassen-certificate.js)",
    "the standard-library verifier (python3 tools/verify_strassen.py certs/strassen-certificate.json --sources corpus/sources)"
   ],
   "fields": [
    {
     "field": "the verifier re-derives the record (exit)",
     "values": [
      "the record",
      "exit 0: every entry verifies, the red control fired"
     ],
     "agree": true
    }
   ],
   "concordant": true,
   "disagreements": [],
   "note": "a word-level concordance: the verifier certifies what the record certifies, read from certs/rerun-kit-run.json (0.3 s)"
  },
  {
   "id": "mm-alphatensor-f2-5x5x5",
   "registerVerdict": "CERTIFIED",
   "implementations": [
    "the record's decider (node tools/export-strassen-certificate.js)",
    "the standard-library verifier (python3 tools/verify_strassen.py certs/strassen-certificate.json --sources corpus/sources)"
   ],
   "fields": [
    {
     "field": "the verifier re-derives the record (exit)",
     "values": [
      "the record",
      "exit 0: every entry verifies, the red control fired"
     ],
     "agree": true
    }
   ],
   "concordant": true,
   "disagreements": [],
   "note": "a word-level concordance: the verifier certifies what the record certifies, read from certs/rerun-kit-run.json (0.3 s)"
  },
  {
   "id": "mm-alphaevolve-48-4x4x4",
   "registerVerdict": "CERTIFIED",
   "implementations": [
    "the record's decider (node tools/export-strassen-certificate.js)",
    "the standard-library verifier (python3 tools/verify_strassen.py certs/strassen-certificate.json --sources corpus/sources)"
   ],
   "fields": [
    {
     "field": "the verifier re-derives the record (exit)",
     "values": [
      "the record",
      "exit 0: every entry verifies, the red control fired"
     ],
     "agree": true
    }
   ],
   "concordant": true,
   "disagreements": [],
   "note": "a word-level concordance: the verifier certifies what the record certifies, read from certs/rerun-kit-run.json (0.3 s)"
  },
  {
   "id": "optconst-3b",
   "registerVerdict": "CERTIFIED",
   "implementations": [
    "the record's decider (node tools/run-sumdiff-ledger.js --check)",
    "the standard-library verifier (python3 tools/verify_sumdiff.py)"
   ],
   "fields": [
    {
     "field": "the verifier re-derives the record (exit)",
     "values": [
      "the record",
      "exit 0: every entry verifies, the red control fired"
     ],
     "agree": true
    }
   ],
   "concordant": true,
   "disagreements": [],
   "note": "a word-level concordance: the verifier certifies what the record certifies, read from certs/rerun-kit-run.json (0.2 s)"
  },
  {
   "id": "optconst-3c",
   "registerVerdict": "CERTIFIED",
   "implementations": [
    "the record's decider (node tools/run-sumdiff-ledger.js --check)",
    "the standard-library verifier (python3 tools/verify_sumdiff.py)"
   ],
   "fields": [
    {
     "field": "the verifier re-derives the record (exit)",
     "values": [
      "the record",
      "exit 0: every entry verifies, the red control fired"
     ],
     "agree": true
    }
   ],
   "concordant": true,
   "disagreements": [],
   "note": "a word-level concordance: the verifier certifies what the record certifies, read from certs/rerun-kit-run.json (0.2 s)"
  },
  {
   "id": "optconst-3c-95",
   "registerVerdict": "CERTIFIED",
   "implementations": [
    "the record's decider (node tools/run-sumdiff-ledger.js --check)",
    "the standard-library verifier (python3 tools/verify_sumdiff.py)"
   ],
   "fields": [
    {
     "field": "the verifier re-derives the record (exit)",
     "values": [
      "the record",
      "exit 0: every entry verifies, the red control fired"
     ],
     "agree": true
    }
   ],
   "concordant": true,
   "disagreements": [],
   "note": "a word-level concordance: the verifier certifies what the record certifies, read from certs/rerun-kit-run.json (0.2 s)"
  },
  {
   "id": "mc100-at-q-2x2x3",
   "registerVerdict": "CERTIFIED",
   "implementations": [
    "the record's decider (node tools/run-mc100-tensors.js alphatensor-q)",
    "the standard-library verifier (python3 tools/verify_strassen.py certs/mc100-alphatensor-q.json --sources corpus/sources)"
   ],
   "fields": [
    {
     "field": "the verifier re-derives the record (exit)",
     "values": [
      "the record",
      "exit 0: every entry verifies, the red control fired"
     ],
     "agree": true
    }
   ],
   "concordant": true,
   "disagreements": [],
   "note": "a word-level concordance: the verifier certifies what the record certifies, read from certs/rerun-kit-run.json (0 s)"
  },
  {
   "id": "mc100-at-q-2x2x4",
   "registerVerdict": "CERTIFIED",
   "implementations": [
    "the record's decider (node tools/run-mc100-tensors.js alphatensor-q)",
    "the standard-library verifier (python3 tools/verify_strassen.py certs/mc100-alphatensor-q.json --sources corpus/sources)"
   ],
   "fields": [
    {
     "field": "the verifier re-derives the record (exit)",
     "values": [
      "the record",
      "exit 0: every entry verifies, the red control fired"
     ],
     "agree": true
    }
   ],
   "concordant": true,
   "disagreements": [],
   "note": "a word-level concordance: the verifier certifies what the record certifies, read from certs/rerun-kit-run.json (0 s)"
  },
  {
   "id": "mc100-at-q-2x3x3",
   "registerVerdict": "CERTIFIED",
   "implementations": [
    "the record's decider (node tools/run-mc100-tensors.js alphatensor-q)",
    "the standard-library verifier (python3 tools/verify_strassen.py certs/mc100-alphatensor-q.json --sources corpus/sources)"
   ],
   "fields": [
    {
     "field": "the verifier re-derives the record (exit)",
     "values": [
      "the record",
      "exit 0: every entry verifies, the red control fired"
     ],
     "agree": true
    }
   ],
   "concordant": true,
   "disagreements": [],
   "note": "a word-level concordance: the verifier certifies what the record certifies, read from certs/rerun-kit-run.json (0 s)"
  },
  {
   "id": "mc100-at-q-2x2x5",
   "registerVerdict": "CERTIFIED",
   "implementations": [
    "the record's decider (node tools/run-mc100-tensors.js alphatensor-q)",
    "the standard-library verifier (python3 tools/verify_strassen.py certs/mc100-alphatensor-q.json --sources corpus/sources)"
   ],
   "fields": [
    {
     "field": "the verifier re-derives the record (exit)",
     "values": [
      "the record",
      "exit 0: every entry verifies, the red control fired"
     ],
     "agree": true
    }
   ],
   "concordant": true,
   "disagreements": [],
   "note": "a word-level concordance: the verifier certifies what the record certifies, read from certs/rerun-kit-run.json (0 s)"
  },
  {
   "id": "mc100-at-q-2x2x6",
   "registerVerdict": "CERTIFIED",
   "implementations": [
    "the record's decider (node tools/run-mc100-tensors.js alphatensor-q)",
    "the standard-library verifier (python3 tools/verify_strassen.py certs/mc100-alphatensor-q.json --sources corpus/sources)"
   ],
   "fields": [
    {
     "field": "the verifier re-derives the record (exit)",
     "values": [
      "the record",
      "exit 0: every entry verifies, the red control fired"
     ],
     "agree": true
    }
   ],
   "concordant": true,
   "disagreements": [],
   "note": "a word-level concordance: the verifier certifies what the record certifies, read from certs/rerun-kit-run.json (0 s)"
  },
  {
   "id": "mc100-at-q-2x3x4",
   "registerVerdict": "CERTIFIED",
   "implementations": [
    "the record's decider (node tools/run-mc100-tensors.js alphatensor-q)",
    "the standard-library verifier (python3 tools/verify_strassen.py certs/mc100-alphatensor-q.json --sources corpus/sources)"
   ],
   "fields": [
    {
     "field": "the verifier re-derives the record (exit)",
     "values": [
      "the record",
      "exit 0: every entry verifies, the red control fired"
     ],
     "agree": true
    }
   ],
   "concordant": true,
   "disagreements": [],
   "note": "a word-level concordance: the verifier certifies what the record certifies, read from certs/rerun-kit-run.json (0 s)"
  },
  {
   "id": "mc100-at-q-2x2x7",
   "registerVerdict": "CERTIFIED",
   "implementations": [
    "the record's decider (node tools/run-mc100-tensors.js alphatensor-q)",
    "the standard-library verifier (python3 tools/verify_strassen.py certs/mc100-alphatensor-q.json --sources corpus/sources)"
   ],
   "fields": [
    {
     "field": "the verifier re-derives the record (exit)",
     "values": [
      "the record",
      "exit 0: every entry verifies, the red control fired"
     ],
     "agree": true
    }
   ],
   "concordant": true,
   "disagreements": [],
   "note": "a word-level concordance: the verifier certifies what the record certifies, read from certs/rerun-kit-run.json (0 s)"
  },
  {
   "id": "mc100-at-q-2x3x5",
   "registerVerdict": "CERTIFIED",
   "implementations": [
    "the record's decider (node tools/run-mc100-tensors.js alphatensor-q)",
    "the standard-library verifier (python3 tools/verify_strassen.py certs/mc100-alphatensor-q.json --sources corpus/sources)"
   ],
   "fields": [
    {
     "field": "the verifier re-derives the record (exit)",
     "values": [
      "the record",
      "exit 0: every entry verifies, the red control fired"
     ],
     "agree": true
    }
   ],
   "concordant": true,
   "disagreements": [],
   "note": "a word-level concordance: the verifier certifies what the record certifies, read from certs/rerun-kit-run.json (0 s)"
  },
  {
   "id": "mc100-at-q-2x2x8",
   "registerVerdict": "CERTIFIED",
   "implementations": [
    "the record's decider (node tools/run-mc100-tensors.js alphatensor-q)",
    "the standard-library verifier (python3 tools/verify_strassen.py certs/mc100-alphatensor-q.json --sources corpus/sources)"
   ],
   "fields": [
    {
     "field": "the verifier re-derives the record (exit)",
     "values": [
      "the record",
      "exit 0: every entry verifies, the red control fired"
     ],
     "agree": true
    }
   ],
   "concordant": true,
   "disagreements": [],
   "note": "a word-level concordance: the verifier certifies what the record certifies, read from certs/rerun-kit-run.json (0 s)"
  },
  {
   "id": "mc100-at-q-2x4x4",
   "registerVerdict": "CERTIFIED",
   "implementations": [
    "the record's decider (node tools/run-mc100-tensors.js alphatensor-q)",
    "the standard-library verifier (python3 tools/verify_strassen.py certs/mc100-alphatensor-q.json --sources corpus/sources)"
   ],
   "fields": [
    {
     "field": "the verifier re-derives the record (exit)",
     "values": [
      "the record",
      "exit 0: every entry verifies, the red control fired"
     ],
     "agree": true
    }
   ],
   "concordant": true,
   "disagreements": [],
   "note": "a word-level concordance: the verifier certifies what the record certifies, read from certs/rerun-kit-run.json (0 s)"
  },
  {
   "id": "mc100-at-q-3x3x4",
   "registerVerdict": "CERTIFIED",
   "implementations": [
    "the record's decider (node tools/run-mc100-tensors.js alphatensor-q)",
    "the standard-library verifier (python3 tools/verify_strassen.py certs/mc100-alphatensor-q.json --sources corpus/sources)"
   ],
   "fields": [
    {
     "field": "the verifier re-derives the record (exit)",
     "values": [
      "the record",
      "exit 0: every entry verifies, the red control fired"
     ],
     "agree": true
    }
   ],
   "concordant": true,
   "disagreements": [],
   "note": "a word-level concordance: the verifier certifies what the record certifies, read from certs/rerun-kit-run.json (0 s)"
  },
  {
   "id": "mc100-at-q-2x4x5",
   "registerVerdict": "CERTIFIED",
   "implementations": [
    "the record's decider (node tools/run-mc100-tensors.js alphatensor-q)",
    "the standard-library verifier (python3 tools/verify_strassen.py certs/mc100-alphatensor-q.json --sources corpus/sources)"
   ],
   "fields": [
    {
     "field": "the verifier re-derives the record (exit)",
     "values": [
      "the record",
      "exit 0: every entry verifies, the red control fired"
     ],
     "agree": true
    }
   ],
   "concordant": true,
   "disagreements": [],
   "note": "a word-level concordance: the verifier certifies what the record certifies, read from certs/rerun-kit-run.json (0 s)"
  },
  {
   "id": "mc100-at-f2-2x2x3",
   "registerVerdict": "CERTIFIED",
   "implementations": [
    "the record's decider (node tools/run-mc100-tensors.js alphatensor-f2)",
    "the standard-library verifier (python3 tools/verify_strassen.py certs/mc100-alphatensor-f2.json --sources corpus/sources)"
   ],
   "fields": [
    {
     "field": "the verifier re-derives the record (exit)",
     "values": [
      "the record",
      "exit 0: every entry verifies, the red control fired"
     ],
     "agree": true
    }
   ],
   "concordant": true,
   "disagreements": [],
   "note": "a word-level concordance: the verifier certifies what the record certifies, read from certs/rerun-kit-run.json (0 s)"
  },
  {
   "id": "mc100-at-f2-2x2x4",
   "registerVerdict": "CERTIFIED",
   "implementations": [
    "the record's decider (node tools/run-mc100-tensors.js alphatensor-f2)",
    "the standard-library verifier (python3 tools/verify_strassen.py certs/mc100-alphatensor-f2.json --sources corpus/sources)"
   ],
   "fields": [
    {
     "field": "the verifier re-derives the record (exit)",
     "values": [
      "the record",
      "exit 0: every entry verifies, the red control fired"
     ],
     "agree": true
    }
   ],
   "concordant": true,
   "disagreements": [],
   "note": "a word-level concordance: the verifier certifies what the record certifies, read from certs/rerun-kit-run.json (0 s)"
  },
  {
   "id": "mc100-at-f2-2x3x3",
   "registerVerdict": "CERTIFIED",
   "implementations": [
    "the record's decider (node tools/run-mc100-tensors.js alphatensor-f2)",
    "the standard-library verifier (python3 tools/verify_strassen.py certs/mc100-alphatensor-f2.json --sources corpus/sources)"
   ],
   "fields": [
    {
     "field": "the verifier re-derives the record (exit)",
     "values": [
      "the record",
      "exit 0: every entry verifies, the red control fired"
     ],
     "agree": true
    }
   ],
   "concordant": true,
   "disagreements": [],
   "note": "a word-level concordance: the verifier certifies what the record certifies, read from certs/rerun-kit-run.json (0 s)"
  },
  {
   "id": "mc100-at-f2-2x2x5",
   "registerVerdict": "CERTIFIED",
   "implementations": [
    "the record's decider (node tools/run-mc100-tensors.js alphatensor-f2)",
    "the standard-library verifier (python3 tools/verify_strassen.py certs/mc100-alphatensor-f2.json --sources corpus/sources)"
   ],
   "fields": [
    {
     "field": "the verifier re-derives the record (exit)",
     "values": [
      "the record",
      "exit 0: every entry verifies, the red control fired"
     ],
     "agree": true
    }
   ],
   "concordant": true,
   "disagreements": [],
   "note": "a word-level concordance: the verifier certifies what the record certifies, read from certs/rerun-kit-run.json (0 s)"
  },
  {
   "id": "mc100-at-f2-2x3x4",
   "registerVerdict": "CERTIFIED",
   "implementations": [
    "the record's decider (node tools/run-mc100-tensors.js alphatensor-f2)",
    "the standard-library verifier (python3 tools/verify_strassen.py certs/mc100-alphatensor-f2.json --sources corpus/sources)"
   ],
   "fields": [
    {
     "field": "the verifier re-derives the record (exit)",
     "values": [
      "the record",
      "exit 0: every entry verifies, the red control fired"
     ],
     "agree": true
    }
   ],
   "concordant": true,
   "disagreements": [],
   "note": "a word-level concordance: the verifier certifies what the record certifies, read from certs/rerun-kit-run.json (0 s)"
  },
  {
   "id": "mc100-at-f2-2x3x5",
   "registerVerdict": "CERTIFIED",
   "implementations": [
    "the record's decider (node tools/run-mc100-tensors.js alphatensor-f2)",
    "the standard-library verifier (python3 tools/verify_strassen.py certs/mc100-alphatensor-f2.json --sources corpus/sources)"
   ],
   "fields": [
    {
     "field": "the verifier re-derives the record (exit)",
     "values": [
      "the record",
      "exit 0: every entry verifies, the red control fired"
     ],
     "agree": true
    }
   ],
   "concordant": true,
   "disagreements": [],
   "note": "a word-level concordance: the verifier certifies what the record certifies, read from certs/rerun-kit-run.json (0 s)"
  },
  {
   "id": "mc100-at-f2-2x4x4",
   "registerVerdict": "CERTIFIED",
   "implementations": [
    "the record's decider (node tools/run-mc100-tensors.js alphatensor-f2)",
    "the standard-library verifier (python3 tools/verify_strassen.py certs/mc100-alphatensor-f2.json --sources corpus/sources)"
   ],
   "fields": [
    {
     "field": "the verifier re-derives the record (exit)",
     "values": [
      "the record",
      "exit 0: every entry verifies, the red control fired"
     ],
     "agree": true
    }
   ],
   "concordant": true,
   "disagreements": [],
   "note": "a word-level concordance: the verifier certifies what the record certifies, read from certs/rerun-kit-run.json (0 s)"
  },
  {
   "id": "mc100-at-f2-3x3x4",
   "registerVerdict": "CERTIFIED",
   "implementations": [
    "the record's decider (node tools/run-mc100-tensors.js alphatensor-f2)",
    "the standard-library verifier (python3 tools/verify_strassen.py certs/mc100-alphatensor-f2.json --sources corpus/sources)"
   ],
   "fields": [
    {
     "field": "the verifier re-derives the record (exit)",
     "values": [
      "the record",
      "exit 0: every entry verifies, the red control fired"
     ],
     "agree": true
    }
   ],
   "concordant": true,
   "disagreements": [],
   "note": "a word-level concordance: the verifier certifies what the record certifies, read from certs/rerun-kit-run.json (0 s)"
  },
  {
   "id": "mc100-ae-nb-2x4x5-r32",
   "registerVerdict": "CERTIFIED",
   "implementations": [
    "the record's decider (node tools/run-mc100-tensors.js alphaevolve-nb-matmul)",
    "the standard-library verifier (python3 tools/verify_strassen.py certs/mc100-alphaevolve-nb-matmul.json --sources corpus/sources)"
   ],
   "fields": [
    {
     "field": "the verifier re-derives the record (exit)",
     "values": [
      "the record",
      "exit 0: every entry verifies, the red control fired"
     ],
     "agree": true
    }
   ],
   "concordant": true,
   "disagreements": [],
   "note": "a word-level concordance: the verifier certifies what the record certifies, read from certs/rerun-kit-run.json (1.1 s)"
  },
  {
   "id": "mc100-ae-nb-2x4x7-r45",
   "registerVerdict": "CERTIFIED",
   "implementations": [
    "the record's decider (node tools/run-mc100-tensors.js alphaevolve-nb-matmul)",
    "the standard-library verifier (python3 tools/verify_strassen.py certs/mc100-alphaevolve-nb-matmul.json --sources corpus/sources)"
   ],
   "fields": [
    {
     "field": "the verifier re-derives the record (exit)",
     "values": [
      "the record",
      "exit 0: every entry verifies, the red control fired"
     ],
     "agree": true
    }
   ],
   "concordant": true,
   "disagreements": [],
   "note": "a word-level concordance: the verifier certifies what the record certifies, read from certs/rerun-kit-run.json (1.1 s)"
  },
  {
   "id": "mc100-ae-nb-2x4x8-r51",
   "registerVerdict": "CERTIFIED",
   "implementations": [
    "the record's decider (node tools/run-mc100-tensors.js alphaevolve-nb-matmul)",
    "the standard-library verifier (python3 tools/verify_strassen.py certs/mc100-alphaevolve-nb-matmul.json --sources corpus/sources)"
   ],
   "fields": [
    {
     "field": "the verifier re-derives the record (exit)",
     "values": [
      "the record",
      "exit 0: every entry verifies, the red control fired"
     ],
     "agree": true
    }
   ],
   "concordant": true,
   "disagreements": [],
   "note": "a word-level concordance: the verifier certifies what the record certifies, read from certs/rerun-kit-run.json (1.1 s)"
  },
  {
   "id": "mc100-ae-nb-2x5x6-r47",
   "registerVerdict": "CERTIFIED",
   "implementations": [
    "the record's decider (node tools/run-mc100-tensors.js alphaevolve-nb-matmul)",
    "the standard-library verifier (python3 tools/verify_strassen.py certs/mc100-alphaevolve-nb-matmul.json --sources corpus/sources)"
   ],
   "fields": [
    {
     "field": "the verifier re-derives the record (exit)",
     "values": [
      "the record",
      "exit 0: every entry verifies, the red control fired"
     ],
     "agree": true
    }
   ],
   "concordant": true,
   "disagreements": [],
   "note": "a word-level concordance: the verifier certifies what the record certifies, read from certs/rerun-kit-run.json (1.1 s)"
  },
  {
   "id": "mc100-ae-nb-3x3x3-r23",
   "registerVerdict": "CERTIFIED",
   "implementations": [
    "the record's decider (node tools/run-mc100-tensors.js alphaevolve-nb-matmul)",
    "the standard-library verifier (python3 tools/verify_strassen.py certs/mc100-alphaevolve-nb-matmul.json --sources corpus/sources)"
   ],
   "fields": [
    {
     "field": "the verifier re-derives the record (exit)",
     "values": [
      "the record",
      "exit 0: every entry verifies, the red control fired"
     ],
     "agree": true
    }
   ],
   "concordant": true,
   "disagreements": [],
   "note": "a word-level concordance: the verifier certifies what the record certifies, read from certs/rerun-kit-run.json (1.1 s)"
  },
  {
   "id": "mc100-ae-nb-3x4x6-r54",
   "registerVerdict": "CERTIFIED",
   "implementations": [
    "the record's decider (node tools/run-mc100-tensors.js alphaevolve-nb-matmul)",
    "the standard-library verifier (python3 tools/verify_strassen.py certs/mc100-alphaevolve-nb-matmul.json --sources corpus/sources)"
   ],
   "fields": [
    {
     "field": "the verifier re-derives the record (exit)",
     "values": [
      "the record",
      "exit 0: every entry verifies, the red control fired"
     ],
     "agree": true
    }
   ],
   "concordant": true,
   "disagreements": [],
   "note": "a word-level concordance: the verifier certifies what the record certifies, read from certs/rerun-kit-run.json (1.1 s)"
  },
  {
   "id": "mc100-ae-nb-3x4x7-r63",
   "registerVerdict": "CERTIFIED",
   "implementations": [
    "the record's decider (node tools/run-mc100-tensors.js alphaevolve-nb-matmul)",
    "the standard-library verifier (python3 tools/verify_strassen.py certs/mc100-alphaevolve-nb-matmul.json --sources corpus/sources)"
   ],
   "fields": [
    {
     "field": "the verifier re-derives the record (exit)",
     "values": [
      "the record",
      "exit 0: every entry verifies, the red control fired"
     ],
     "agree": true
    }
   ],
   "concordant": true,
   "disagreements": [],
   "note": "a word-level concordance: the verifier certifies what the record certifies, read from certs/rerun-kit-run.json (1.1 s)"
  },
  {
   "id": "mc100-ae-nb-3x4x8-r74",
   "registerVerdict": "CERTIFIED",
   "implementations": [
    "the record's decider (node tools/run-mc100-tensors.js alphaevolve-nb-matmul)",
    "the standard-library verifier (python3 tools/verify_strassen.py certs/mc100-alphaevolve-nb-matmul.json --sources corpus/sources)"
   ],
   "fields": [
    {
     "field": "the verifier re-derives the record (exit)",
     "values": [
      "the record",
      "exit 0: every entry verifies, the red control fired"
     ],
     "agree": true
    }
   ],
   "concordant": true,
   "disagreements": [],
   "note": "a word-level concordance: the verifier certifies what the record certifies, read from certs/rerun-kit-run.json (1.1 s)"
  },
  {
   "id": "mc100-ae-nb-3x5x6-r68",
   "registerVerdict": "CERTIFIED",
   "implementations": [
    "the record's decider (node tools/run-mc100-tensors.js alphaevolve-nb-matmul)",
    "the standard-library verifier (python3 tools/verify_strassen.py certs/mc100-alphaevolve-nb-matmul.json --sources corpus/sources)"
   ],
   "fields": [
    {
     "field": "the verifier re-derives the record (exit)",
     "values": [
      "the record",
      "exit 0: every entry verifies, the red control fired"
     ],
     "agree": true
    }
   ],
   "concordant": true,
   "disagreements": [],
   "note": "a word-level concordance: the verifier certifies what the record certifies, read from certs/rerun-kit-run.json (1.1 s)"
  },
  {
   "id": "mc100-ae-nb-3x5x7-r80",
   "registerVerdict": "CERTIFIED",
   "implementations": [
    "the record's decider (node tools/run-mc100-tensors.js alphaevolve-nb-matmul)",
    "the standard-library verifier (python3 tools/verify_strassen.py certs/mc100-alphaevolve-nb-matmul.json --sources corpus/sources)"
   ],
   "fields": [
    {
     "field": "the verifier re-derives the record (exit)",
     "values": [
      "the record",
      "exit 0: every entry verifies, the red control fired"
     ],
     "agree": true
    }
   ],
   "concordant": true,
   "disagreements": [],
   "note": "a word-level concordance: the verifier certifies what the record certifies, read from certs/rerun-kit-run.json (1.1 s)"
  },
  {
   "id": "mc100-ae-nb-4x4x8-r96",
   "registerVerdict": "CERTIFIED",
   "implementations": [
    "the record's decider (node tools/run-mc100-tensors.js alphaevolve-nb-matmul)",
    "the standard-library verifier (python3 tools/verify_strassen.py certs/mc100-alphaevolve-nb-matmul.json --sources corpus/sources)"
   ],
   "fields": [
    {
     "field": "the verifier re-derives the record (exit)",
     "values": [
      "the record",
      "exit 0: every entry verifies, the red control fired"
     ],
     "agree": true
    }
   ],
   "concordant": true,
   "disagreements": [],
   "note": "a word-level concordance: the verifier certifies what the record certifies, read from certs/rerun-kit-run.json (1.1 s)"
  },
  {
   "id": "mc100-ae-nb-4x4x5-r61",
   "registerVerdict": "CERTIFIED",
   "implementations": [
    "the record's decider (node tools/run-mc100-tensors.js alphaevolve-nb-matmul)",
    "the standard-library verifier (python3 tools/verify_strassen.py certs/mc100-alphaevolve-nb-matmul.json --sources corpus/sources)"
   ],
   "fields": [
    {
     "field": "the verifier re-derives the record (exit)",
     "values": [
      "the record",
      "exit 0: every entry verifies, the red control fired"
     ],
     "agree": true
    }
   ],
   "concordant": true,
   "disagreements": [],
   "note": "a word-level concordance: the verifier certifies what the record certifies, read from certs/rerun-kit-run.json (1.1 s)"
  },
  {
   "id": "mc100-ae-nb-4x4x7-r85",
   "registerVerdict": "CERTIFIED",
   "implementations": [
    "the record's decider (node tools/run-mc100-tensors.js alphaevolve-nb-matmul)",
    "the standard-library verifier (python3 tools/verify_strassen.py certs/mc100-alphaevolve-nb-matmul.json --sources corpus/sources)"
   ],
   "fields": [
    {
     "field": "the verifier re-derives the record (exit)",
     "values": [
      "the record",
      "exit 0: every entry verifies, the red control fired"
     ],
     "agree": true
    }
   ],
   "concordant": true,
   "disagreements": [],
   "note": "a word-level concordance: the verifier certifies what the record certifies, read from certs/rerun-kit-run.json (1.1 s)"
  },
  {
   "id": "mc100-ae-nb-4x5x6-r90",
   "registerVerdict": "CERTIFIED",
   "implementations": [
    "the record's decider (node tools/run-mc100-tensors.js alphaevolve-nb-matmul)",
    "the standard-library verifier (python3 tools/verify_strassen.py certs/mc100-alphaevolve-nb-matmul.json --sources corpus/sources)"
   ],
   "fields": [
    {
     "field": "the verifier re-derives the record (exit)",
     "values": [
      "the record",
      "exit 0: every entry verifies, the red control fired"
     ],
     "agree": true
    }
   ],
   "concordant": true,
   "disagreements": [],
   "note": "a word-level concordance: the verifier certifies what the record certifies, read from certs/rerun-kit-run.json (1.1 s)"
  },
  {
   "id": "mc100-ae-nb-5x5x5-r93",
   "registerVerdict": "CERTIFIED",
   "implementations": [
    "the record's decider (node tools/run-mc100-tensors.js alphaevolve-nb-matmul)",
    "the standard-library verifier (python3 tools/verify_strassen.py certs/mc100-alphaevolve-nb-matmul.json --sources corpus/sources)"
   ],
   "fields": [
    {
     "field": "the verifier re-derives the record (exit)",
     "values": [
      "the record",
      "exit 0: every entry verifies, the red control fired"
     ],
     "agree": true
    }
   ],
   "concordant": true,
   "disagreements": [],
   "note": "a word-level concordance: the verifier certifies what the record certifies, read from certs/rerun-kit-run.json (1.1 s)"
  }
 ],
 "hosted": {
  "record": "certs/openai-math-kernel.json",
  "machine": "GitHub-hosted Linux runners (.github/workflows/openai-math-kernel.yml), one job per challenge; the decider Comparator (leanprover/comparator d03acab1 = tag v4.34.0, built with the release's toolchain v4.34.1), lean4export 076e8e57, landrun 811cfff5, nanoda_lib 3a2407…",
  "challenges": 416,
  "runs": 500,
  "words": {
   "CERTIFIED": 398,
   "REFUSED": 18
  },
  "runsWithBothKernels": 414,
  "seconds": {
   "n": 437,
   "min": 18,
   "median": 587,
   "max": 12453
  },
  "cacheSeconds": {
   "n": 463,
   "min": 158,
   "median": 194,
   "max": 240
  },
  "maxRssKB": {
   "n": 437,
   "min": 1690240,
   "median": 7121828,
   "max": 14044332
  },
  "overPortableWall": 435,
  "overPortableMemory": 413,
  "rule": "carried in as recorded; never merged into the laptop table (the portable and extended profiles of certs/selfaudit-run.json), never re-run; the 18 REFUSED are refusals for resources on the runner, kept"
 }
}