{ "what": "The self-audit of cert-machine, Phase 2 — the runner: every command of the rerun kit run on this laptop under /usr/bin/time -l, one process at a time, under two profiles (PORTABLE: a 60 s wall enforced by the runner, over the cap REFUSED: resources; EXTENDED: no cap), twice each (cold, then warm — reported separately, never averaged): wall seconds, user+sys CPU seconds, peak resident set in bytes, the record's bytes, the exit, the word (the register rebuilt from the re-derived record and its rows compared: the kit's rowsMoved rule), the sha256 after, the leaf diff between the pinned record and the re-derived one split into the declared stamps and the rest, the per-row timing the record carries, cold diffed against warm; every tracked file a run wrote restored to its pin and the restore verified. Reproducible = differs from the pin only at the declared stamps and moves no row. Written by tools/run-selfaudit.js; --check verifies the record against the files on disk and re-derives the totals and findings from the runs.", "name": "selfaudit", "phase": 2, "generated": "2026-10-21T11:32:53.507Z", "git": "ccd5c190", "preregistration": { "path": "notes/selfaudit-preregistration-2026-10-20.md", "sha256": "b799715c0f840d2a201b7a7907025137e70653095319ad8c97a3b7f8be7b23c2" }, "inventory": { "path": "certs/selfaudit-inventory.json", "sha256": "b5f226e1eff7d9810a0a95b59039de184316f589ee8f0de0d6b9b2734a015b8e" }, "inputs": { "register": { "path": "certs/claims-ledger.json", "sha256": "270094aa3c9218fa000654ae3020d388e3821b845e76647da9d429f095cd77ff", "rows": 132 }, "kit": { "path": "corpus/rerun-kit.json", "sha256": "8d276e9c3ec889d7bfaafdf8f06567f8743a9afe9437dd15d22665998ced1b5a", "entries": 25 }, "recordPins": { "certs/ai-claims-summary.json": "d5e561e3888537dad824a32b7ca4079386216a95a6f26d64bb6978601aff7f70", "certs/erdos852-certificate.json": "13cfc7fa212a4355139a45cba78450ed371db78d2c980b3faec09a121c024ad1", "certs/kissing-ledger.json": "5c823b21ac43b5bdb3ad4b91a46e909cbf86a192e4cf382e2d8c5be2b29f611f", "ledger.json": "4b666d3d922357659b588cf625e2ec9f8d79bef398db1d690394a2b9760a0acd", "certs/strassen-certificate.json": "0e400efeb8a4bba99fba620dd77c6e6d4aa6eff9b8016834f0c4aa9071f8b008", "certs/easota-ledger.json": "57f46876a7c79b0c6f7f236f0cb133e0ce896f9773cc85b36cf9d8e7fa3f627b", "certs/ecbench-ledger.json": "cdecac8aae53d79c5803184cd12d63431a4838582950f3d833d8e520256897c8", "certs/gsm8k-ledger.json": "7fbcda606b601c9c2867cc6305c39906ef21e7e0a7dcd6a11285125cca8e9248", "certs/horizon-ledger.json": "fa5b0bac0539bf9694e6c7044a6acf0325635f18474e387d4bf56bcf49bb2315", "certs/hseva-ledger.json": "23aa58c1078c357ab77ff00337ba73667c389101b6c3192eb604b7171291bf73", "certs/design-table-audit.json": "c88a6bcd5ce5b76ef10ed8cacfb434eec190b8ce781e69f890b0de7ae21fe357", "corpus/navier-stokes/audit.json": "5931f9ad48b4ed87f94ebb7f9b219bfe4ea6f8bce1bc32da740c6865ea5be766", "certs/sumdiff-ledger.json": "bf8857db9f64b6508da042b5f0d4e4b30fe452f47fb14a64b701482e7ab94ac4", "certs/fei-ledger.json": "ad853dabf838029896747144ee765fd418830311dc7c4b133575119d08bcf59e", "certs/sumproduct-ledger.json": "61cc3c57f7a6567c55f7850551e8ca92543e988b7eb57645d4afa5bc66673ea0", "certs/turan-ledger.json": "f0b9c2b48a5b32654f0cdeab9389464549c64d5fd10c075dd928ba0a5e9a38ef", "certs/countex-ledger.json": "948f6c633e5142746a7fa952700f39f18b806129effa2eaf622b7133400701dc", "certs/horizonmath-ledger.json": "78adab0aa528381db4e8a49e4ba7e0a57224f536d1ea984472fa402a2ee1f03a", "certs/gnnw-certificate.json": "b7127457078d064ed8b6e7cd4f26110f8949c7a384b322a0d22de575a9875273", "certs/polymaps-ledger.json": "c3f99c9398ef410e402d4422286dfdd2ab0085ddad933bf9bcdd5c18eef6c3f3", "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/mc100-station-v2.json": "b526305ff85bbb353a51f5ae2183d06f2e071c2e4a889a9e9025622c41a04431" } }, "machine": { "os": "Darwin 27.0.0", "cpu": "Apple M2", "cores": 8, "memoryBytes": 17179869184, "node": "v24.14.1", "python": "Python 3.9.6", "powerAtStart": "AC 100%", "loadAtStart": 3.9990234375 }, "profiles": { "portable": { "wallSecondsCap": 60, "memoryBytesReported": 4294967296, "enforced": "the wall, by this runner (SIGKILL at the cap); memory measured and reported only" }, "extended": { "wallSecondsCap": null, "memoryBytesReported": 4294967296, "enforced": "nothing" } }, "portableCapSecondsUsed": 60, "profilesRun": [ "portable", "extended" ], "partial": false, "order": "per command of the kit (the re-derive command, then the verifier, then the second implementation where they exist): portable cold, portable warm, extended cold, extended warm; one process at a time; cold = the first run under that profile in this session (the extended pass follows the portable pass of the same command, so its cold run finds the page cache the portable pass left)", "stamps": { "root": [ "generated", "generatedAt", "generatedBy", "git" ], "leaf": [ "ms", "seconds", "runMs", "rowMsTotal" ], "rule": "a differing path is a stamp when it is one of the root keys at the root, or a leaf keyed by one of the leaf keys (the root included); everything else is reported" }, "killSwitch": "a record whose re-derived bytes differ between the cold and the warm run outside the declared stamps is a FINDING, reported here, not re-run", "totals": { "portable": { "commands": 31, "runs": 62, "byVerdict": { "RAN": 50, "REFUSED": 12 }, "recordsRederived": 23, "recordsCovered": [ "certs/erdos852-certificate.json", "certs/kissing-ledger.json", "certs/strassen-certificate.json", "certs/easota-ledger.json", "certs/ecbench-ledger.json", "certs/gsm8k-ledger.json", "certs/design-table-audit.json", "certs/sumdiff-ledger.json", "certs/fei-ledger.json", "certs/sumproduct-ledger.json", "certs/turan-ledger.json", "certs/countex-ledger.json", "certs/horizonmath-ledger.json", "certs/mc100-alphatensor-q.json", "certs/mc100-alphatensor-f2.json", "certs/mc100-alphaevolve-nb-matmul.json", "certs/mc100-einstein-arena.json", "certs/mc100-station-v2.json" ], "rowsCovered": 113, "recordsRefused": [ { "record": "ledger.json", "cold": "REFUSED: resources (wall over 60 s under portable)", "warm": "REFUSED: resources (wall over 60 s under portable)", "rows": 1 }, { "record": "certs/horizon-ledger.json", "cold": "REFUSED: resources (wall over 60 s under portable)", "warm": "REFUSED: resources (wall over 60 s under portable)", "rows": 1 }, { "record": "certs/hseva-ledger.json", "cold": "REFUSED: resources (wall over 60 s under portable)", "warm": "REFUSED: resources (wall over 60 s under portable)", "rows": 1 }, { "record": "certs/gnnw-certificate.json", "cold": "REFUSED: resources (wall over 60 s under portable)", "warm": "REFUSED: resources (wall over 60 s under portable)", "rows": 1 }, { "record": "certs/polymaps-ledger.json", "cold": "REFUSED: resources (wall over 60 s under portable)", "warm": "REFUSED: resources (wall over 60 s under portable)", "rows": 8 } ], "rowsRefused": 12, "recordsFailed": [], "recordsReproducible": [ "certs/erdos852-certificate.json", "certs/kissing-ledger.json", "certs/strassen-certificate.json", "certs/easota-ledger.json", "certs/ecbench-ledger.json", "certs/gsm8k-ledger.json", "certs/design-table-audit.json", "certs/sumdiff-ledger.json", "certs/fei-ledger.json", "certs/sumproduct-ledger.json", "certs/turan-ledger.json", "certs/countex-ledger.json", "certs/horizonmath-ledger.json", "certs/mc100-alphatensor-q.json", "certs/mc100-alphatensor-f2.json", "certs/mc100-alphaevolve-nb-matmul.json", "certs/mc100-einstein-arena.json", "certs/mc100-station-v2.json" ], "rowsReproducible": 113, "recordsNotReproducible": [], "verifiersRan": [ "certs/erdos852-certificate.json", "certs/strassen-certificate.json", "certs/sumdiff-ledger.json", "certs/gnnw-certificate.json", "certs/mc100-alphatensor-q.json", "certs/mc100-alphatensor-f2.json", "certs/mc100-alphaevolve-nb-matmul.json" ], "verifiersRefused": [], "secondsRan": [], "secondsRefused": [ "certs/gnnw-certificate.json" ], "wallSecondsCold": 534.97, "wallSecondsWarm": 524.39, "cpuSecondsCold": 351.54, "cpuSecondsWarm": 447.31, "peakRssBytesMax": 709918720, "peakRssOverReported": [], "rowsMoved": [] }, "extended": { "commands": 31, "runs": 62, "byVerdict": { "RAN": 62 }, "recordsRederived": 23, "recordsCovered": [ "certs/erdos852-certificate.json", "certs/kissing-ledger.json", "ledger.json", "certs/strassen-certificate.json", "certs/easota-ledger.json", "certs/ecbench-ledger.json", "certs/gsm8k-ledger.json", "certs/horizon-ledger.json", "certs/hseva-ledger.json", "certs/design-table-audit.json", "certs/sumdiff-ledger.json", "certs/fei-ledger.json", "certs/sumproduct-ledger.json", "certs/turan-ledger.json", "certs/countex-ledger.json", "certs/horizonmath-ledger.json", "certs/gnnw-certificate.json", "certs/polymaps-ledger.json", "certs/mc100-alphatensor-q.json", "certs/mc100-alphatensor-f2.json", "certs/mc100-alphaevolve-nb-matmul.json", "certs/mc100-einstein-arena.json", "certs/mc100-station-v2.json" ], "rowsCovered": 125, "recordsRefused": [], "rowsRefused": 0, "recordsFailed": [], "recordsReproducible": [ "certs/erdos852-certificate.json", "certs/kissing-ledger.json", "ledger.json", "certs/strassen-certificate.json", "certs/easota-ledger.json", "certs/ecbench-ledger.json", "certs/gsm8k-ledger.json", "certs/horizon-ledger.json", "certs/hseva-ledger.json", "certs/design-table-audit.json", "certs/sumdiff-ledger.json", "certs/fei-ledger.json", "certs/sumproduct-ledger.json", "certs/turan-ledger.json", "certs/countex-ledger.json", "certs/horizonmath-ledger.json", "certs/gnnw-certificate.json", "certs/polymaps-ledger.json", "certs/mc100-alphatensor-q.json", "certs/mc100-alphatensor-f2.json", "certs/mc100-alphaevolve-nb-matmul.json", "certs/mc100-einstein-arena.json", "certs/mc100-station-v2.json" ], "rowsReproducible": 125, "recordsNotReproducible": [], "verifiersRan": [ "certs/erdos852-certificate.json", "certs/strassen-certificate.json", "certs/sumdiff-ledger.json", "certs/gnnw-certificate.json", "certs/mc100-alphatensor-q.json", "certs/mc100-alphatensor-f2.json", "certs/mc100-alphaevolve-nb-matmul.json" ], "verifiersRefused": [], "secondsRan": [ "certs/gnnw-certificate.json" ], "secondsRefused": [], "wallSecondsCold": 1583.18, "wallSecondsWarm": 1582.2, "cpuSecondsCold": 4595.49, "cpuSecondsWarm": 4582.51, "peakRssBytesMax": 708247552, "peakRssOverReported": [], "rowsMoved": [] } }, "findings": [ { "kind": "a tracked file outside the record written, outside the declared stamps", "record": "ledger.json", "command": "rederive", "profile": "extended", "run": "cold", "path": "certs/keller-certificate.json", "paths": [ "sourcePins.kissing/cohn-table-extract_2026-10-11.json", "sourcePins.kissing/qiushi-lattice-d43-euclidean-basis_2026-10-11.json", "sourcePins.kissing/qiushi-lattice-d43-parent-section_2026-10-11.txt", "sourcePins.kissing/qiushi-lattice-d45-compact_2026-10-11.json", "sourcePins.kissing/qiushi-lattice-d45-gram_2026-10-11.json", "sourcePins.kissing/qiushi-lattice-d45-parent_2026-10-11.json", "sourcePins.kissing/qiushi-section-vectors-files_2026-10-11.json", "sourcePins.kissing/qiushi-section43-verification_2026-10-11.json", "sourcePins.kissing/qiushi-section45-verification_2026-10-11.json" ] }, { "kind": "a tracked file outside the record written, outside the declared stamps", "record": "ledger.json", "command": "rederive", "profile": "extended", "run": "warm", "path": "certs/keller-certificate.json", "paths": [ "sourcePins.kissing/cohn-table-extract_2026-10-11.json", "sourcePins.kissing/qiushi-lattice-d43-euclidean-basis_2026-10-11.json", "sourcePins.kissing/qiushi-lattice-d43-parent-section_2026-10-11.txt", "sourcePins.kissing/qiushi-lattice-d45-compact_2026-10-11.json", "sourcePins.kissing/qiushi-lattice-d45-gram_2026-10-11.json", "sourcePins.kissing/qiushi-lattice-d45-parent_2026-10-11.json", "sourcePins.kissing/qiushi-section-vectors-files_2026-10-11.json", "sourcePins.kissing/qiushi-section43-verification_2026-10-11.json", "sourcePins.kissing/qiushi-section45-verification_2026-10-11.json" ] } ], "runs": [ { "seq": 1, "record": "certs/erdos852-certificate.json", "kind": "rederive", "command": "node tools/export-erdos852-certificate.js", "profile": "portable", "run": "cold", "startedAt": "2026-10-21T10:20:16.205Z", "loadAtStart": 4, "power": "AC 100%", "wallSeconds": 5.777, "realSeconds": 5.77, "userSeconds": 5.5, "sysSeconds": 0.12, "cpuSeconds": 5.62, "peakRssBytes": 158826496, "overMemoryReported": false, "exit": { "code": 0, "signal": null, "killedByRunner": false, "killedProcesses": 0, "orphansKilled": 0, "abnormal": false }, "verdict": "RAN", "writes": true, "pinSha256": "13cfc7fa212a4355139a45cba78450ed371db78d2c980b3faec09a121c024ad1", "pinBytes": 3053, "sha256After": "2cc376364efa91a6b45d865e5d66ecbef941be9896cf5025183469dd297e7b44", "bytesAfter": 3054, "changed": true, "diffPaths": [ "generatedBy" ], "stampPaths": [ "generatedBy" ], "nonStampPaths": [], "rowsMoved": [], "registerRebuiltSeconds": 2.4, "verdicts": {}, "perRow": null, "reproducible": true, "coldWarmDiffPaths": [], "coldWarmStampPaths": [], "coldWarmNonStampPaths": [], "wrote": [ "certs/erdos852-certificate.json" ], "untrackedCreated": [], "sideEffects": [], "stdoutTail": "certs/erdos852-certificate.json: c0 bracket40 + C* refutation recipe detached\n", "stderrTail": null }, { "seq": 2, "record": "certs/erdos852-certificate.json", "kind": "rederive", "command": "node tools/export-erdos852-certificate.js", "profile": "portable", "run": "warm", "startedAt": "2026-10-21T10:20:24.457Z", "loadAtStart": 4.43, "power": "AC 100%", "wallSeconds": 5.554, "realSeconds": 5.55, "userSeconds": 5.35, "sysSeconds": 0.08, "cpuSeconds": 5.43, "peakRssBytes": 162086912, "overMemoryReported": false, "exit": { "code": 0, "signal": null, "killedByRunner": false, "killedProcesses": 0, "orphansKilled": 0, "abnormal": false }, "verdict": "RAN", "writes": true, "pinSha256": "13cfc7fa212a4355139a45cba78450ed371db78d2c980b3faec09a121c024ad1", "pinBytes": 3053, "sha256After": "2cc376364efa91a6b45d865e5d66ecbef941be9896cf5025183469dd297e7b44", "bytesAfter": 3054, "changed": true, "diffPaths": [ "generatedBy" ], "stampPaths": [ "generatedBy" ], "nonStampPaths": [], "rowsMoved": [], "registerRebuiltSeconds": 2.2, "verdicts": {}, "perRow": null, "reproducible": true, "coldWarmDiffPaths": null, "coldWarmStampPaths": null, "coldWarmNonStampPaths": null, "wrote": [ "certs/erdos852-certificate.json" ], "untrackedCreated": [], "sideEffects": [], "stdoutTail": "certs/erdos852-certificate.json: c0 bracket40 + C* refutation recipe detached\n", "stderrTail": null }, { "seq": 3, "record": "certs/erdos852-certificate.json", "kind": "rederive", "command": "node tools/export-erdos852-certificate.js", "profile": "extended", "run": "cold", "startedAt": "2026-10-21T10:20:32.334Z", "loadAtStart": 4.4, "power": "AC 100%", "wallSeconds": 5.45, "realSeconds": 5.44, "userSeconds": 5.25, "sysSeconds": 0.08, "cpuSeconds": 5.33, "peakRssBytes": 162234368, "overMemoryReported": false, "exit": { "code": 0, "signal": null, "killedByRunner": false, "killedProcesses": 0, "orphansKilled": 0, "abnormal": false }, "verdict": "RAN", "writes": true, "pinSha256": "13cfc7fa212a4355139a45cba78450ed371db78d2c980b3faec09a121c024ad1", "pinBytes": 3053, "sha256After": "2cc376364efa91a6b45d865e5d66ecbef941be9896cf5025183469dd297e7b44", "bytesAfter": 3054, "changed": true, "diffPaths": [ "generatedBy" ], "stampPaths": [ "generatedBy" ], "nonStampPaths": [], "rowsMoved": [], "registerRebuiltSeconds": 2.3, "verdicts": {}, "perRow": null, "reproducible": true, "coldWarmDiffPaths": [], "coldWarmStampPaths": [], "coldWarmNonStampPaths": [], "wrote": [ "certs/erdos852-certificate.json" ], "untrackedCreated": [], "sideEffects": [], "stdoutTail": "certs/erdos852-certificate.json: c0 bracket40 + C* refutation recipe detached\n", "stderrTail": null }, { "seq": 4, "record": "certs/erdos852-certificate.json", "kind": "rederive", "command": "node tools/export-erdos852-certificate.js", "profile": "extended", "run": "warm", "startedAt": "2026-10-21T10:20:40.130Z", "loadAtStart": 4.58, "power": "AC 100%", "wallSeconds": 5.319, "realSeconds": 5.31, "userSeconds": 5.24, "sysSeconds": 0.06, "cpuSeconds": 5.3, "peakRssBytes": 154714112, "overMemoryReported": false, "exit": { "code": 0, "signal": null, "killedByRunner": false, "killedProcesses": 0, "orphansKilled": 0, "abnormal": false }, "verdict": "RAN", "writes": true, "pinSha256": "13cfc7fa212a4355139a45cba78450ed371db78d2c980b3faec09a121c024ad1", "pinBytes": 3053, "sha256After": "2cc376364efa91a6b45d865e5d66ecbef941be9896cf5025183469dd297e7b44", "bytesAfter": 3054, "changed": true, "diffPaths": [ "generatedBy" ], "stampPaths": [ "generatedBy" ], "nonStampPaths": [], "rowsMoved": [], "registerRebuiltSeconds": 2.2, "verdicts": {}, "perRow": null, "reproducible": true, "coldWarmDiffPaths": null, "coldWarmStampPaths": null, "coldWarmNonStampPaths": null, "wrote": [ "certs/erdos852-certificate.json" ], "untrackedCreated": [], "sideEffects": [], "stdoutTail": "certs/erdos852-certificate.json: c0 bracket40 + C* refutation recipe detached\n", "stderrTail": null }, { "seq": 5, "record": "certs/erdos852-certificate.json", "kind": "verifier", "command": "python3 tools/verify_erdos852.py certs/erdos852-certificate.json --sources corpus/sources", "profile": "portable", "run": "cold", "startedAt": "2026-10-21T10:20:47.725Z", "loadAtStart": 4.46, "power": "AC 100%", "wallSeconds": 0.641, "realSeconds": 0.63, "userSeconds": 0.58, "sysSeconds": 0.01, "cpuSeconds": 0.59, "peakRssBytes": 20938752, "overMemoryReported": false, "exit": { "code": 0, "signal": null, "killedByRunner": false, "killedProcesses": 0, "orphansKilled": 0, "abnormal": false }, "verdict": "RAN", "writes": false, "pinSha256": "13cfc7fa212a4355139a45cba78450ed371db78d2c980b3faec09a121c024ad1", "pinBytes": 3053, "sha256After": "13cfc7fa212a4355139a45cba78450ed371db78d2c980b3faec09a121c024ad1", "bytesAfter": 3053, "changed": false, "diffPaths": [], "stampPaths": [], "nonStampPaths": [], "rowsMoved": [], "registerRebuiltSeconds": null, "verdicts": {}, "perRow": null, "reproducible": true, "coldWarmDiffPaths": [], "coldWarmStampPaths": [], "coldWarmNonStampPaths": [], "wrote": [], "untrackedCreated": [], "sideEffects": [], "stdoutTail": "ion is consistent with the verified window\nPASS published c0 = 1.32322827686395 re-decided: correct as a ROUNDING to 14 places, wrong as a truncation (the expansion continues ...9469)\nPASS RED control: pi forged by +1e-30 breaks the I0(hi) > 1 check — the c0 audit can fire\nPASS RED control: the TRUE 13-digit truncation of C* is NOT refuted — the refuter is not inverted\nPASS RED control: a claim above the exact upper window is refuted through the upper path — both directions fire\nPASS RED control: a forged pin hash is caught — the hash is compared, not assumed\n\nverify_erdos852: 0 failures\n", "stderrTail": null }, { "seq": 6, "record": "certs/erdos852-certificate.json", "kind": "verifier", "command": "python3 tools/verify_erdos852.py certs/erdos852-certificate.json --sources corpus/sources", "profile": "portable", "run": "warm", "startedAt": "2026-10-21T10:20:48.443Z", "loadAtStart": 4.34, "power": "AC 100%", "wallSeconds": 0.622, "realSeconds": 0.62, "userSeconds": 0.57, "sysSeconds": 0.01, "cpuSeconds": 0.58, "peakRssBytes": 20922368, "overMemoryReported": false, "exit": { "code": 0, "signal": null, "killedByRunner": false, "killedProcesses": 0, "orphansKilled": 0, "abnormal": false }, "verdict": "RAN", "writes": false, "pinSha256": "13cfc7fa212a4355139a45cba78450ed371db78d2c980b3faec09a121c024ad1", "pinBytes": 3053, "sha256After": "13cfc7fa212a4355139a45cba78450ed371db78d2c980b3faec09a121c024ad1", "bytesAfter": 3053, "changed": false, "diffPaths": [], "stampPaths": [], "nonStampPaths": [], "rowsMoved": [], "registerRebuiltSeconds": null, "verdicts": {}, "perRow": null, "reproducible": true, "coldWarmDiffPaths": null, "coldWarmStampPaths": null, "coldWarmNonStampPaths": null, "wrote": [], "untrackedCreated": [], "sideEffects": [], "stdoutTail": "ion is consistent with the verified window\nPASS published c0 = 1.32322827686395 re-decided: correct as a ROUNDING to 14 places, wrong as a truncation (the expansion continues ...9469)\nPASS RED control: pi forged by +1e-30 breaks the I0(hi) > 1 check — the c0 audit can fire\nPASS RED control: the TRUE 13-digit truncation of C* is NOT refuted — the refuter is not inverted\nPASS RED control: a claim above the exact upper window is refuted through the upper path — both directions fire\nPASS RED control: a forged pin hash is caught — the hash is compared, not assumed\n\nverify_erdos852: 0 failures\n", "stderrTail": null }, { "seq": 7, "record": "certs/erdos852-certificate.json", "kind": "verifier", "command": "python3 tools/verify_erdos852.py certs/erdos852-certificate.json --sources corpus/sources", "profile": "extended", "run": "cold", "startedAt": "2026-10-21T10:20:49.133Z", "loadAtStart": 4.34, "power": "AC 100%", "wallSeconds": 0.637, "realSeconds": 0.63, "userSeconds": 0.58, "sysSeconds": 0.01, "cpuSeconds": 0.59, "peakRssBytes": 20905984, "overMemoryReported": false, "exit": { "code": 0, "signal": null, "killedByRunner": false, "killedProcesses": 0, "orphansKilled": 0, "abnormal": false }, "verdict": "RAN", "writes": false, "pinSha256": "13cfc7fa212a4355139a45cba78450ed371db78d2c980b3faec09a121c024ad1", "pinBytes": 3053, "sha256After": "13cfc7fa212a4355139a45cba78450ed371db78d2c980b3faec09a121c024ad1", "bytesAfter": 3053, "changed": false, "diffPaths": [], "stampPaths": [], "nonStampPaths": [], "rowsMoved": [], "registerRebuiltSeconds": null, "verdicts": {}, "perRow": null, "reproducible": true, "coldWarmDiffPaths": [], "coldWarmStampPaths": [], "coldWarmNonStampPaths": [], "wrote": [], "untrackedCreated": [], "sideEffects": [], "stdoutTail": "ion is consistent with the verified window\nPASS published c0 = 1.32322827686395 re-decided: correct as a ROUNDING to 14 places, wrong as a truncation (the expansion continues ...9469)\nPASS RED control: pi forged by +1e-30 breaks the I0(hi) > 1 check — the c0 audit can fire\nPASS RED control: the TRUE 13-digit truncation of C* is NOT refuted — the refuter is not inverted\nPASS RED control: a claim above the exact upper window is refuted through the upper path — both directions fire\nPASS RED control: a forged pin hash is caught — the hash is compared, not assumed\n\nverify_erdos852: 0 failures\n", "stderrTail": null }, { "seq": 8, "record": "certs/erdos852-certificate.json", "kind": "verifier", "command": "python3 tools/verify_erdos852.py certs/erdos852-certificate.json --sources corpus/sources", "profile": "extended", "run": "warm", "startedAt": "2026-10-21T10:20:49.840Z", "loadAtStart": 4.34, "power": "AC 100%", "wallSeconds": 0.594, "realSeconds": 0.59, "userSeconds": 0.57, "sysSeconds": 0.01, "cpuSeconds": 0.58, "peakRssBytes": 20725760, "overMemoryReported": false, "exit": { "code": 0, "signal": null, "killedByRunner": false, "killedProcesses": 0, "orphansKilled": 0, "abnormal": false }, "verdict": "RAN", "writes": false, "pinSha256": "13cfc7fa212a4355139a45cba78450ed371db78d2c980b3faec09a121c024ad1", "pinBytes": 3053, "sha256After": "13cfc7fa212a4355139a45cba78450ed371db78d2c980b3faec09a121c024ad1", "bytesAfter": 3053, "changed": false, "diffPaths": [], "stampPaths": [], "nonStampPaths": [], "rowsMoved": [], "registerRebuiltSeconds": null, "verdicts": {}, "perRow": null, "reproducible": true, "coldWarmDiffPaths": null, "coldWarmStampPaths": null, "coldWarmNonStampPaths": null, "wrote": [], "untrackedCreated": [], "sideEffects": [], "stdoutTail": "ion is consistent with the verified window\nPASS published c0 = 1.32322827686395 re-decided: correct as a ROUNDING to 14 places, wrong as a truncation (the expansion continues ...9469)\nPASS RED control: pi forged by +1e-30 breaks the I0(hi) > 1 check — the c0 audit can fire\nPASS RED control: the TRUE 13-digit truncation of C* is NOT refuted — the refuter is not inverted\nPASS RED control: a claim above the exact upper window is refuted through the upper path — both directions fire\nPASS RED control: a forged pin hash is caught — the hash is compared, not assumed\n\nverify_erdos852: 0 failures\n", "stderrTail": null }, { "seq": 9, "record": "certs/kissing-ledger.json", "kind": "rederive", "command": "node tools/run-kissing-ledger.js", "profile": "portable", "run": "cold", "startedAt": "2026-10-21T10:20:50.504Z", "loadAtStart": 4.34, "power": "AC 100%", "wallSeconds": 6.634, "realSeconds": 6.63, "userSeconds": 6.74, "sysSeconds": 0.11, "cpuSeconds": 6.85, "peakRssBytes": 235208704, "overMemoryReported": false, "exit": { "code": 0, "signal": null, "killedByRunner": false, "killedProcesses": 0, "orphansKilled": 0, "abnormal": false }, "verdict": "RAN", "writes": true, "pinSha256": "5c823b21ac43b5bdb3ad4b91a46e909cbf86a192e4cf382e2d8c5be2b29f611f", "pinBytes": 178110, "sha256After": "558fe72516ec0b29501718d86c07714ef9c43ce9c524eb52ffc5f859d0944dd3", "bytesAfter": 178110, "changed": true, "diffPaths": [ "generated", "git", "openRungs[*].measured.ms", "rows[*].congruence.station-604-1.ms", "rows[*].congruence.station-604-2.ms", "rows[*].congruence.station-604-3.ms", "rows[*].ms", "wave.live.kravatsky-18.ms" ], "stampPaths": [ "generated", "git", "openRungs[*].measured.ms", "rows[*].congruence.station-604-1.ms", "rows[*].congruence.station-604-2.ms", "rows[*].congruence.station-604-3.ms", "rows[*].ms", "wave.live.kravatsky-18.ms" ], "nonStampPaths": [], "rowsMoved": [], "registerRebuiltSeconds": 2.4, "verdicts": { "CERTIFIED": 10, "QUEUED": 1 }, "perRow": { "kiss-cal-d4-24": { "field": "ms", "ms": 1 }, "kiss-cal-e8-240": { "field": "ms", "ms": 11 }, "kiss-alphaevolve-593": { "field": "ms", "ms": 108 }, "kiss-ea-594-winner": { "field": "ms", "ms": 68 }, "kiss-station-604-1": { "field": "ms", "ms": 67 }, "kiss-station-604-2": { "field": "ms", "ms": 60 }, "kiss-station-604-3": { "field": "ms", "ms": 61 }, "kiss-station-shell-582": { "field": "ms", "ms": 54 }, "kiss-station-d12-lift": { "field": "ms", "ms": 66 }, "kiss-ea-604": { "field": "ms", "ms": 67 } }, "reproducible": true, "coldWarmDiffPaths": [ "generated", "openRungs[*].measured.ms", "rows[*].congruence.station-604-1.ms", "rows[*].congruence.station-604-2.ms", "rows[*].congruence.station-604-3.ms", "rows[*].ms", "wave.live.kravatsky-18.ms" ], "coldWarmStampPaths": [ "generated", "openRungs[*].measured.ms", "rows[*].congruence.station-604-1.ms", "rows[*].congruence.station-604-2.ms", "rows[*].congruence.station-604-3.ms", "rows[*].ms", "wave.live.kravatsky-18.ms" ], "coldWarmNonStampPaths": [], "wrote": [ "certs/kissing-ledger.json" ], "untrackedCreated": [], "sideEffects": [], "stdoutTail": "kravatsky-52 kravatsky-53 kravatsky-54 kravatsky-55 kravatsky-56 kravatsky-57 kravatsky-58 kravatsky-59 kravatsky-60 kravatsky-61 kravatsky-62 kravatsky-63 kravatsky-68 kravatsky-69 kravatsky-70 kravatsky-71 kravatsky-73 kravatsky-74 kravatsky-75 kravatsky-76 kravatsky-77 kravatsky-78 kravatsky-79 kravatsky-80 kravatsky-81 kravatsky-82 kravatsky-83 kravatsky-84 kravatsky-85 kravatsky-86 kravatsky-87 kravatsky-88 kravatsky-89 kravatsky-90 kravatsky-91 kravatsky-92 kravatsky-93 kravatsky-94 kravatsky-95 kravatsky-96\nwrote certs/kissing-ledger.json — 11 rows, 10 certified, 0 needs-data, 1 queued\n", "stderrTail": null }, { "seq": 10, "record": "certs/kissing-ledger.json", "kind": "rederive", "command": "node tools/run-kissing-ledger.js", "profile": "portable", "run": "warm", "startedAt": "2026-10-21T10:20:59.581Z", "loadAtStart": 4.45, "power": "AC 100%", "wallSeconds": 6.885, "realSeconds": 6.88, "userSeconds": 6.87, "sysSeconds": 0.11, "cpuSeconds": 6.98, "peakRssBytes": 234356736, "overMemoryReported": false, "exit": { "code": 0, "signal": null, "killedByRunner": false, "killedProcesses": 0, "orphansKilled": 0, "abnormal": false }, "verdict": "RAN", "writes": true, "pinSha256": "5c823b21ac43b5bdb3ad4b91a46e909cbf86a192e4cf382e2d8c5be2b29f611f", "pinBytes": 178110, "sha256After": "716e3cfad3897ee8c868b919d3a8ee0a92d2d4e5eb88415307dcf103db164b17", "bytesAfter": 178110, "changed": true, "diffPaths": [ "generated", "git", "openRungs[*].measured.ms", "rows[*].congruence.station-604-1.ms", "rows[*].congruence.station-604-2.ms", "rows[*].congruence.station-604-3.ms", "rows[*].ms", "wave.live.kravatsky-18.ms" ], "stampPaths": [ "generated", "git", "openRungs[*].measured.ms", "rows[*].congruence.station-604-1.ms", "rows[*].congruence.station-604-2.ms", "rows[*].congruence.station-604-3.ms", "rows[*].ms", "wave.live.kravatsky-18.ms" ], "nonStampPaths": [], "rowsMoved": [], "registerRebuiltSeconds": 2.5, "verdicts": { "CERTIFIED": 10, "QUEUED": 1 }, "perRow": { "kiss-cal-d4-24": { "field": "ms", "ms": 1 }, "kiss-cal-e8-240": { "field": "ms", "ms": 11 }, "kiss-alphaevolve-593": { "field": "ms", "ms": 108 }, "kiss-ea-594-winner": { "field": "ms", "ms": 66 }, "kiss-station-604-1": { "field": "ms", "ms": 63 }, "kiss-station-604-2": { "field": "ms", "ms": 58 }, "kiss-station-604-3": { "field": "ms", "ms": 59 }, "kiss-station-shell-582": { "field": "ms", "ms": 54 }, "kiss-station-d12-lift": { "field": "ms", "ms": 67 }, "kiss-ea-604": { "field": "ms", "ms": 68 } }, "reproducible": true, "coldWarmDiffPaths": null, "coldWarmStampPaths": null, "coldWarmNonStampPaths": null, "wrote": [ "certs/kissing-ledger.json" ], "untrackedCreated": [], "sideEffects": [], "stdoutTail": "kravatsky-52 kravatsky-53 kravatsky-54 kravatsky-55 kravatsky-56 kravatsky-57 kravatsky-58 kravatsky-59 kravatsky-60 kravatsky-61 kravatsky-62 kravatsky-63 kravatsky-68 kravatsky-69 kravatsky-70 kravatsky-71 kravatsky-73 kravatsky-74 kravatsky-75 kravatsky-76 kravatsky-77 kravatsky-78 kravatsky-79 kravatsky-80 kravatsky-81 kravatsky-82 kravatsky-83 kravatsky-84 kravatsky-85 kravatsky-86 kravatsky-87 kravatsky-88 kravatsky-89 kravatsky-90 kravatsky-91 kravatsky-92 kravatsky-93 kravatsky-94 kravatsky-95 kravatsky-96\nwrote certs/kissing-ledger.json — 11 rows, 10 certified, 0 needs-data, 1 queued\n", "stderrTail": null }, { "seq": 11, "record": "certs/kissing-ledger.json", "kind": "rederive", "command": "node tools/run-kissing-ledger.js", "profile": "extended", "run": "cold", "startedAt": "2026-10-21T10:21:09.032Z", "loadAtStart": 5.19, "power": "AC 100%", "wallSeconds": 6.825, "realSeconds": 6.82, "userSeconds": 6.87, "sysSeconds": 0.12, "cpuSeconds": 6.99, "peakRssBytes": 219676672, "overMemoryReported": false, "exit": { "code": 0, "signal": null, "killedByRunner": false, "killedProcesses": 0, "orphansKilled": 0, "abnormal": false }, "verdict": "RAN", "writes": true, "pinSha256": "5c823b21ac43b5bdb3ad4b91a46e909cbf86a192e4cf382e2d8c5be2b29f611f", "pinBytes": 178110, "sha256After": "d5eb8f1b58d13965369bccc58d59862fedd1ba9d3f84503699fa113402802021", "bytesAfter": 178107, "changed": true, "diffPaths": [ "generated", "git", "openRungs[*].measured.ms", "rows[*].congruence.station-604-1.ms", "rows[*].congruence.station-604-2.ms", "rows[*].congruence.station-604-3.ms", "rows[*].ms", "wave.calibrations[*].seconds", "wave.live.kravatsky-18.ms" ], "stampPaths": [ "generated", "git", "openRungs[*].measured.ms", "rows[*].congruence.station-604-1.ms", "rows[*].congruence.station-604-2.ms", "rows[*].congruence.station-604-3.ms", "rows[*].ms", "wave.calibrations[*].seconds", "wave.live.kravatsky-18.ms" ], "nonStampPaths": [], "rowsMoved": [], "registerRebuiltSeconds": 3.5, "verdicts": { "CERTIFIED": 10, "QUEUED": 1 }, "perRow": { "kiss-cal-d4-24": { "field": "ms", "ms": 1 }, "kiss-cal-e8-240": { "field": "ms", "ms": 11 }, "kiss-alphaevolve-593": { "field": "ms", "ms": 108 }, "kiss-ea-594-winner": { "field": "ms", "ms": 66 }, "kiss-station-604-1": { "field": "ms", "ms": 65 }, "kiss-station-604-2": { "field": "ms", "ms": 60 }, "kiss-station-604-3": { "field": "ms", "ms": 60 }, "kiss-station-shell-582": { "field": "ms", "ms": 54 }, "kiss-station-d12-lift": { "field": "ms", "ms": 69 }, "kiss-ea-604": { "field": "ms", "ms": 71 } }, "reproducible": true, "coldWarmDiffPaths": [ "generated", "openRungs[*].measured.ms", "rows[*].congruence.station-604-1.ms", "rows[*].congruence.station-604-2.ms", "rows[*].congruence.station-604-3.ms", "rows[*].ms", "wave.calibrations[*].seconds", "wave.live.kravatsky-18.ms" ], "coldWarmStampPaths": [ "generated", "openRungs[*].measured.ms", "rows[*].congruence.station-604-1.ms", "rows[*].congruence.station-604-2.ms", "rows[*].congruence.station-604-3.ms", "rows[*].ms", "wave.calibrations[*].seconds", "wave.live.kravatsky-18.ms" ], "coldWarmNonStampPaths": [], "wrote": [ "certs/kissing-ledger.json" ], "untrackedCreated": [], "sideEffects": [], "stdoutTail": "kravatsky-52 kravatsky-53 kravatsky-54 kravatsky-55 kravatsky-56 kravatsky-57 kravatsky-58 kravatsky-59 kravatsky-60 kravatsky-61 kravatsky-62 kravatsky-63 kravatsky-68 kravatsky-69 kravatsky-70 kravatsky-71 kravatsky-73 kravatsky-74 kravatsky-75 kravatsky-76 kravatsky-77 kravatsky-78 kravatsky-79 kravatsky-80 kravatsky-81 kravatsky-82 kravatsky-83 kravatsky-84 kravatsky-85 kravatsky-86 kravatsky-87 kravatsky-88 kravatsky-89 kravatsky-90 kravatsky-91 kravatsky-92 kravatsky-93 kravatsky-94 kravatsky-95 kravatsky-96\nwrote certs/kissing-ledger.json — 11 rows, 10 certified, 0 needs-data, 1 queued\n", "stderrTail": null }, { "seq": 12, "record": "certs/kissing-ledger.json", "kind": "rederive", "command": "node tools/run-kissing-ledger.js", "profile": "extended", "run": "warm", "startedAt": "2026-10-21T10:21:19.483Z", "loadAtStart": 5.17, "power": "AC 100%", "wallSeconds": 9.972, "realSeconds": 9.97, "userSeconds": 8.57, "sysSeconds": 0.26, "cpuSeconds": 8.83, "peakRssBytes": 222265344, "overMemoryReported": false, "exit": { "code": 0, "signal": null, "killedByRunner": false, "killedProcesses": 0, "orphansKilled": 0, "abnormal": false }, "verdict": "RAN", "writes": true, "pinSha256": "5c823b21ac43b5bdb3ad4b91a46e909cbf86a192e4cf382e2d8c5be2b29f611f", "pinBytes": 178110, "sha256After": "7f8ac4d90c0d84dbb3d4fb87b0238daeb2e961219fbbd709e5ceb7e2e331e976", "bytesAfter": 178117, "changed": true, "diffPaths": [ "generated", "git", "openRungs[*].measured.ms", "rows[*].congruence.station-604-1.ms", "rows[*].congruence.station-604-2.ms", "rows[*].congruence.station-604-3.ms", "rows[*].ms", "wave.live.kravatsky-18.ms" ], "stampPaths": [ "generated", "git", "openRungs[*].measured.ms", "rows[*].congruence.station-604-1.ms", "rows[*].congruence.station-604-2.ms", "rows[*].congruence.station-604-3.ms", "rows[*].ms", "wave.live.kravatsky-18.ms" ], "nonStampPaths": [], "rowsMoved": [], "registerRebuiltSeconds": 2.8, "verdicts": { "CERTIFIED": 10, "QUEUED": 1 }, "perRow": { "kiss-cal-d4-24": { "field": "ms", "ms": 1 }, "kiss-cal-e8-240": { "field": "ms", "ms": 12 }, "kiss-alphaevolve-593": { "field": "ms", "ms": 158 }, "kiss-ea-594-winner": { "field": "ms", "ms": 143 }, "kiss-station-604-1": { "field": "ms", "ms": 278 }, "kiss-station-604-2": { "field": "ms", "ms": 141 }, "kiss-station-604-3": { "field": "ms", "ms": 81 }, "kiss-station-shell-582": { "field": "ms", "ms": 173 }, "kiss-station-d12-lift": { "field": "ms", "ms": 209 }, "kiss-ea-604": { "field": "ms", "ms": 175 } }, "reproducible": true, "coldWarmDiffPaths": null, "coldWarmStampPaths": null, "coldWarmNonStampPaths": null, "wrote": [ "certs/kissing-ledger.json" ], "untrackedCreated": [], "sideEffects": [], "stdoutTail": "kravatsky-52 kravatsky-53 kravatsky-54 kravatsky-55 kravatsky-56 kravatsky-57 kravatsky-58 kravatsky-59 kravatsky-60 kravatsky-61 kravatsky-62 kravatsky-63 kravatsky-68 kravatsky-69 kravatsky-70 kravatsky-71 kravatsky-73 kravatsky-74 kravatsky-75 kravatsky-76 kravatsky-77 kravatsky-78 kravatsky-79 kravatsky-80 kravatsky-81 kravatsky-82 kravatsky-83 kravatsky-84 kravatsky-85 kravatsky-86 kravatsky-87 kravatsky-88 kravatsky-89 kravatsky-90 kravatsky-91 kravatsky-92 kravatsky-93 kravatsky-94 kravatsky-95 kravatsky-96\nwrote certs/kissing-ledger.json — 11 rows, 10 certified, 0 needs-data, 1 queued\n", "stderrTail": null }, { "seq": 13, "record": "ledger.json", "kind": "rederive", "command": "make engine", "profile": "portable", "run": "cold", "startedAt": "2026-10-21T10:21:32.354Z", "loadAtStart": 5.29, "power": "AC 100%", "wallSeconds": 60.256, "realSeconds": 60.02, "userSeconds": 0, "sysSeconds": 0, "cpuSeconds": 0, "peakRssBytes": 2195456, "overMemoryReported": false, "exit": { "code": 1, "signal": null, "killedByRunner": true, "killedProcesses": 2, "orphansKilled": 0, "abnormal": true }, "verdict": "REFUSED: resources (wall over 60 s under portable)", "writes": true, "pinSha256": "4b666d3d922357659b588cf625e2ec9f8d79bef398db1d690394a2b9760a0acd", "pinBytes": 265926, "sha256After": "4b666d3d922357659b588cf625e2ec9f8d79bef398db1d690394a2b9760a0acd", "bytesAfter": 265926, "changed": false, "diffPaths": [], "stampPaths": [], "nonStampPaths": [], "rowsMoved": [], "registerRebuiltSeconds": null, "verdicts": null, "perRow": null, "reproducible": null, "coldWarmDiffPaths": null, "coldWarmStampPaths": null, "coldWarmNonStampPaths": null, "wrote": [], "untrackedCreated": [], "sideEffects": [], "stdoutTail": " chowla-cosine ", "stderrTail": "" }, { "seq": 14, "record": "ledger.json", "kind": "rederive", "command": "make engine", "profile": "portable", "run": "warm", "startedAt": "2026-10-21T10:22:32.845Z", "loadAtStart": 5.74, "power": "AC 100%", "wallSeconds": 60.255, "realSeconds": 60.02, "userSeconds": 0, "sysSeconds": 0, "cpuSeconds": 0, "peakRssBytes": 2195456, "overMemoryReported": false, "exit": { "code": 1, "signal": null, "killedByRunner": true, "killedProcesses": 2, "orphansKilled": 0, "abnormal": true }, "verdict": "REFUSED: resources (wall over 60 s under portable)", "writes": true, "pinSha256": "4b666d3d922357659b588cf625e2ec9f8d79bef398db1d690394a2b9760a0acd", "pinBytes": 265926, "sha256After": "4b666d3d922357659b588cf625e2ec9f8d79bef398db1d690394a2b9760a0acd", "bytesAfter": 265926, "changed": false, "diffPaths": [], "stampPaths": [], "nonStampPaths": [], "rowsMoved": [], "registerRebuiltSeconds": null, "verdicts": null, "perRow": null, "reproducible": null, "coldWarmDiffPaths": null, "coldWarmStampPaths": null, "coldWarmNonStampPaths": null, "wrote": [], "untrackedCreated": [], "sideEffects": [], "stdoutTail": " chowla-cosine ", "stderrTail": "" }, { "seq": 15, "record": "ledger.json", "kind": "rederive", "command": "make engine", "profile": "extended", "run": "cold", "startedAt": "2026-10-21T10:23:33.299Z", "loadAtStart": 4.81, "power": "AC 100%", "wallSeconds": 332.623, "realSeconds": 332.62, "userSeconds": 328.16, "sysSeconds": 1.97, "cpuSeconds": 330.13, "peakRssBytes": 296288256, "overMemoryReported": false, "exit": { "code": 0, "signal": null, "killedByRunner": false, "killedProcesses": 0, "orphansKilled": 0, "abnormal": false }, "verdict": "RAN", "writes": true, "pinSha256": "4b666d3d922357659b588cf625e2ec9f8d79bef398db1d690394a2b9760a0acd", "pinBytes": 265926, "sha256After": "97d9aeef8ed4057ef8dd42c160e6816a5bc0ae4ac7f391a9b840ffa6e144cdee", "bytesAfter": 265926, "changed": true, "diffPaths": [ "families[*].ms", "generatedAt" ], "stampPaths": [ "families[*].ms", "generatedAt" ], "nonStampPaths": [], "rowsMoved": [], "registerRebuiltSeconds": 2.4, "verdicts": {}, "perRow": null, "reproducible": true, "coldWarmDiffPaths": [ "families[*].ms", "generatedAt" ], "coldWarmStampPaths": [ "families[*].ms", "generatedAt" ], "coldWarmNonStampPaths": [], "wrote": [ "certs/erdos852-certificate.json", "certs/keller-certificate.json", "certs/strassen-certificate.json", "ledger.json" ], "untrackedCreated": [], "sideEffects": [ { "path": "certs/erdos852-certificate.json", "sha256After": "2cc376364efa91a6b45d865e5d66ecbef941be9896cf5025183469dd297e7b44", "diffPaths": [ "generatedBy" ], "stampPaths": [ "generatedBy" ], "nonStampPaths": [] }, { "path": "certs/keller-certificate.json", "sha256After": "f166e4f7f06489b2213afb6717d94f1c4734ab212b3e300d9fd0df91b0174556", "diffPaths": [ "generatedBy", "sourcePins.kissing/cohn-table-extract_2026-10-11.json", "sourcePins.kissing/qiushi-lattice-d43-euclidean-basis_2026-10-11.json", "sourcePins.kissing/qiushi-lattice-d43-parent-section_2026-10-11.txt", "sourcePins.kissing/qiushi-lattice-d45-compact_2026-10-11.json", "sourcePins.kissing/qiushi-lattice-d45-gram_2026-10-11.json", "sourcePins.kissing/qiushi-lattice-d45-parent_2026-10-11.json", "sourcePins.kissing/qiushi-section-vectors-files_2026-10-11.json", "sourcePins.kissing/qiushi-section43-verification_2026-10-11.json", "sourcePins.kissing/qiushi-section45-verification_2026-10-11.json" ], "stampPaths": [ "generatedBy" ], "nonStampPaths": [ "sourcePins.kissing/cohn-table-extract_2026-10-11.json", "sourcePins.kissing/qiushi-lattice-d43-euclidean-basis_2026-10-11.json", "sourcePins.kissing/qiushi-lattice-d43-parent-section_2026-10-11.txt", "sourcePins.kissing/qiushi-lattice-d45-compact_2026-10-11.json", "sourcePins.kissing/qiushi-lattice-d45-gram_2026-10-11.json", "sourcePins.kissing/qiushi-lattice-d45-parent_2026-10-11.json", "sourcePins.kissing/qiushi-section-vectors-files_2026-10-11.json", "sourcePins.kissing/qiushi-section43-verification_2026-10-11.json", "sourcePins.kissing/qiushi-section45-verification_2026-10-11.json" ] }, { "path": "certs/strassen-certificate.json", "sha256After": "57390586659610375cd3bdbad1470adc207e8f1c4169b98e52df3e9e794782fb", "diffPaths": [ "generatedBy" ], "stampPaths": [ "generatedBy" ], "nonStampPaths": [] } ], "stdoutTail": "ted 11 screened 11 certified 11 CERTIFIED 10 REFUTED 1 REFUSED 0 0.0 s\n\n ledger.json: 819152 generated, 16951 certified, 95 conjectures\n closed forms: 54648476 tested = 54647578 refuted (disjoint enclosures) + 21 refuted (exact BigInt at full length) + 877 form-on-record + 0 open + 0 surviving candidates — the decomposition closes; 7595 rational-power forms refused, not tested\ncerts/keller-certificate.json: 11 certificates detached\ncerts/strassen-certificate.json: 10 certificates detached\ncerts/erdos852-certificate.json: c0 bracket40 + C* refutation recipe detached\n", "stderrTail": null }, { "seq": 16, "record": "ledger.json", "kind": "rederive", "command": "make engine", "profile": "extended", "run": "warm", "startedAt": "2026-10-21T10:29:08.551Z", "loadAtStart": 2.11, "power": "AC 100%", "wallSeconds": 330.224, "realSeconds": 330.22, "userSeconds": 325.89, "sysSeconds": 1.92, "cpuSeconds": 327.81, "peakRssBytes": 298205184, "overMemoryReported": false, "exit": { "code": 0, "signal": null, "killedByRunner": false, "killedProcesses": 0, "orphansKilled": 0, "abnormal": false }, "verdict": "RAN", "writes": true, "pinSha256": "4b666d3d922357659b588cf625e2ec9f8d79bef398db1d690394a2b9760a0acd", "pinBytes": 265926, "sha256After": "5f87ecd754e47a9f5374a95c1bc64d9a315e4a70edf639b1aca458195f312f2d", "bytesAfter": 265926, "changed": true, "diffPaths": [ "families[*].ms", "generatedAt" ], "stampPaths": [ "families[*].ms", "generatedAt" ], "nonStampPaths": [], "rowsMoved": [], "registerRebuiltSeconds": 2.3, "verdicts": {}, "perRow": null, "reproducible": true, "coldWarmDiffPaths": null, "coldWarmStampPaths": null, "coldWarmNonStampPaths": null, "wrote": [ "certs/erdos852-certificate.json", "certs/keller-certificate.json", "certs/strassen-certificate.json", "ledger.json" ], "untrackedCreated": [], "sideEffects": [ { "path": "certs/erdos852-certificate.json", "sha256After": "2cc376364efa91a6b45d865e5d66ecbef941be9896cf5025183469dd297e7b44", "diffPaths": [ "generatedBy" ], "stampPaths": [ "generatedBy" ], "nonStampPaths": [] }, { "path": "certs/keller-certificate.json", "sha256After": "f166e4f7f06489b2213afb6717d94f1c4734ab212b3e300d9fd0df91b0174556", "diffPaths": [ "generatedBy", "sourcePins.kissing/cohn-table-extract_2026-10-11.json", "sourcePins.kissing/qiushi-lattice-d43-euclidean-basis_2026-10-11.json", "sourcePins.kissing/qiushi-lattice-d43-parent-section_2026-10-11.txt", "sourcePins.kissing/qiushi-lattice-d45-compact_2026-10-11.json", "sourcePins.kissing/qiushi-lattice-d45-gram_2026-10-11.json", "sourcePins.kissing/qiushi-lattice-d45-parent_2026-10-11.json", "sourcePins.kissing/qiushi-section-vectors-files_2026-10-11.json", "sourcePins.kissing/qiushi-section43-verification_2026-10-11.json", "sourcePins.kissing/qiushi-section45-verification_2026-10-11.json" ], "stampPaths": [ "generatedBy" ], "nonStampPaths": [ "sourcePins.kissing/cohn-table-extract_2026-10-11.json", "sourcePins.kissing/qiushi-lattice-d43-euclidean-basis_2026-10-11.json", "sourcePins.kissing/qiushi-lattice-d43-parent-section_2026-10-11.txt", "sourcePins.kissing/qiushi-lattice-d45-compact_2026-10-11.json", "sourcePins.kissing/qiushi-lattice-d45-gram_2026-10-11.json", "sourcePins.kissing/qiushi-lattice-d45-parent_2026-10-11.json", "sourcePins.kissing/qiushi-section-vectors-files_2026-10-11.json", "sourcePins.kissing/qiushi-section43-verification_2026-10-11.json", "sourcePins.kissing/qiushi-section45-verification_2026-10-11.json" ] }, { "path": "certs/strassen-certificate.json", "sha256After": "57390586659610375cd3bdbad1470adc207e8f1c4169b98e52df3e9e794782fb", "diffPaths": [ "generatedBy" ], "stampPaths": [ "generatedBy" ], "nonStampPaths": [] } ], "stdoutTail": "ted 11 screened 11 certified 11 CERTIFIED 10 REFUTED 1 REFUSED 0 0.0 s\n\n ledger.json: 819152 generated, 16951 certified, 95 conjectures\n closed forms: 54648476 tested = 54647578 refuted (disjoint enclosures) + 21 refuted (exact BigInt at full length) + 877 form-on-record + 0 open + 0 surviving candidates — the decomposition closes; 7595 rational-power forms refused, not tested\ncerts/keller-certificate.json: 11 certificates detached\ncerts/strassen-certificate.json: 10 certificates detached\ncerts/erdos852-certificate.json: c0 bracket40 + C* refutation recipe detached\n", "stderrTail": null }, { "seq": 17, "record": "certs/strassen-certificate.json", "kind": "rederive", "command": "node tools/export-strassen-certificate.js", "profile": "portable", "run": "cold", "startedAt": "2026-10-21T10:34:41.366Z", "loadAtStart": 3.08, "power": "AC 100%", "wallSeconds": 0.123, "realSeconds": 0.12, "userSeconds": 0.11, "sysSeconds": 0.01, "cpuSeconds": 0.12, "peakRssBytes": 65961984, "overMemoryReported": false, "exit": { "code": 0, "signal": null, "killedByRunner": false, "killedProcesses": 0, "orphansKilled": 0, "abnormal": false }, "verdict": "RAN", "writes": true, "pinSha256": "0e400efeb8a4bba99fba620dd77c6e6d4aa6eff9b8016834f0c4aa9071f8b008", "pinBytes": 66861, "sha256After": "57390586659610375cd3bdbad1470adc207e8f1c4169b98e52df3e9e794782fb", "bytesAfter": 66862, "changed": true, "diffPaths": [ "generatedBy" ], "stampPaths": [ "generatedBy" ], "nonStampPaths": [], "rowsMoved": [], "registerRebuiltSeconds": 2.2, "verdicts": {}, "perRow": null, "reproducible": true, "coldWarmDiffPaths": [], "coldWarmStampPaths": [], "coldWarmNonStampPaths": [], "wrote": [ "certs/strassen-certificate.json" ], "untrackedCreated": [], "sideEffects": [], "stdoutTail": "certs/strassen-certificate.json: 10 certificates detached\n", "stderrTail": null }, { "seq": 18, "record": "certs/strassen-certificate.json", "kind": "rederive", "command": "node tools/export-strassen-certificate.js", "profile": "portable", "run": "warm", "startedAt": "2026-10-21T10:34:43.743Z", "loadAtStart": 3.08, "power": "AC 100%", "wallSeconds": 0.083, "realSeconds": 0.08, "userSeconds": 0.11, "sysSeconds": 0.01, "cpuSeconds": 0.12, "peakRssBytes": 66191360, "overMemoryReported": false, "exit": { "code": 0, "signal": null, "killedByRunner": false, "killedProcesses": 0, "orphansKilled": 0, "abnormal": false }, "verdict": "RAN", "writes": true, "pinSha256": "0e400efeb8a4bba99fba620dd77c6e6d4aa6eff9b8016834f0c4aa9071f8b008", "pinBytes": 66861, "sha256After": "57390586659610375cd3bdbad1470adc207e8f1c4169b98e52df3e9e794782fb", "bytesAfter": 66862, "changed": true, "diffPaths": [ "generatedBy" ], "stampPaths": [ "generatedBy" ], "nonStampPaths": [], "rowsMoved": [], "registerRebuiltSeconds": 2.2, "verdicts": {}, "perRow": null, "reproducible": true, "coldWarmDiffPaths": null, "coldWarmStampPaths": null, "coldWarmNonStampPaths": null, "wrote": [ "certs/strassen-certificate.json" ], "untrackedCreated": [], "sideEffects": [], "stdoutTail": "certs/strassen-certificate.json: 10 certificates detached\n", "stderrTail": null }, { "seq": 19, "record": "certs/strassen-certificate.json", "kind": "rederive", "command": "node tools/export-strassen-certificate.js", "profile": "extended", "run": "cold", "startedAt": "2026-10-21T10:34:46.071Z", "loadAtStart": 3.15, "power": "AC 100%", "wallSeconds": 0.085, "realSeconds": 0.08, "userSeconds": 0.11, "sysSeconds": 0.01, "cpuSeconds": 0.12, "peakRssBytes": 65748992, "overMemoryReported": false, "exit": { "code": 0, "signal": null, "killedByRunner": false, "killedProcesses": 0, "orphansKilled": 0, "abnormal": false }, "verdict": "RAN", "writes": true, "pinSha256": "0e400efeb8a4bba99fba620dd77c6e6d4aa6eff9b8016834f0c4aa9071f8b008", "pinBytes": 66861, "sha256After": "57390586659610375cd3bdbad1470adc207e8f1c4169b98e52df3e9e794782fb", "bytesAfter": 66862, "changed": true, "diffPaths": [ "generatedBy" ], "stampPaths": [ "generatedBy" ], "nonStampPaths": [], "rowsMoved": [], "registerRebuiltSeconds": 2.2, "verdicts": {}, "perRow": null, "reproducible": true, "coldWarmDiffPaths": [], "coldWarmStampPaths": [], "coldWarmNonStampPaths": [], "wrote": [ "certs/strassen-certificate.json" ], "untrackedCreated": [], "sideEffects": [], "stdoutTail": "certs/strassen-certificate.json: 10 certificates detached\n", "stderrTail": null }, { "seq": 20, "record": "certs/strassen-certificate.json", "kind": "rederive", "command": "node tools/export-strassen-certificate.js", "profile": "extended", "run": "warm", "startedAt": "2026-10-21T10:34:48.486Z", "loadAtStart": 3.15, "power": "AC 100%", "wallSeconds": 0.088, "realSeconds": 0.08, "userSeconds": 0.11, "sysSeconds": 0.01, "cpuSeconds": 0.12, "peakRssBytes": 66125824, "overMemoryReported": false, "exit": { "code": 0, "signal": null, "killedByRunner": false, "killedProcesses": 0, "orphansKilled": 0, "abnormal": false }, "verdict": "RAN", "writes": true, "pinSha256": "0e400efeb8a4bba99fba620dd77c6e6d4aa6eff9b8016834f0c4aa9071f8b008", "pinBytes": 66861, "sha256After": "57390586659610375cd3bdbad1470adc207e8f1c4169b98e52df3e9e794782fb", "bytesAfter": 66862, "changed": true, "diffPaths": [ "generatedBy" ], "stampPaths": [ "generatedBy" ], "nonStampPaths": [], "rowsMoved": [], "registerRebuiltSeconds": 2.5, "verdicts": {}, "perRow": null, "reproducible": true, "coldWarmDiffPaths": null, "coldWarmStampPaths": null, "coldWarmNonStampPaths": null, "wrote": [ "certs/strassen-certificate.json" ], "untrackedCreated": [], "sideEffects": [], "stdoutTail": "certs/strassen-certificate.json: 10 certificates detached\n", "stderrTail": null }, { "seq": 21, "record": "certs/strassen-certificate.json", "kind": "verifier", "command": "python3 tools/verify_strassen.py certs/strassen-certificate.json --sources corpus/sources", "profile": "portable", "run": "cold", "startedAt": "2026-10-21T10:34:51.162Z", "loadAtStart": 4.5, "power": "AC 100%", "wallSeconds": 0.295, "realSeconds": 0.29, "userSeconds": 0.27, "sysSeconds": 0.01, "cpuSeconds": 0.28, "peakRssBytes": 12681216, "overMemoryReported": false, "exit": { "code": 0, "signal": null, "killedByRunner": false, "killedProcesses": 0, "orphansKilled": 0, "abnormal": false }, "verdict": "RAN", "writes": false, "pinSha256": "0e400efeb8a4bba99fba620dd77c6e6d4aa6eff9b8016834f0c4aa9071f8b008", "pinBytes": 66861, "sha256After": "0e400efeb8a4bba99fba620dd77c6e6d4aa6eff9b8016834f0c4aa9071f8b008", "bytesAfter": 66861, "changed": false, "diffPaths": [], "stampPaths": [], "nonStampPaths": [], "rowsMoved": [], "registerRebuiltSeconds": null, "verdicts": {}, "perRow": null, "reproducible": true, "coldWarmDiffPaths": [], "coldWarmStampPaths": [], "coldWarmNonStampPaths": [], "wrote": [], "untrackedCreated": [], "sideEffects": [], "stdoutTail": " 4x4 times 4x4 in 47 multiplications over F2 (layout CA): all 4096 equations hold\nPASS alphatensor-f2-5x5x5 5x5 times 5x5 in 96 multiplications over F2 (layout CA): all 15625 equations hold\nPASS alphaevolve-48-4x4x4 4x4 times 4x4 in 48 multiplications over Z[i] (scale 8, layout CA): all 4096 equations hold\nPASS source alphatensor_r.npz sha256 matches pin\nPASS source alphatensor_f2.npz sha256 matches pin\nPASS source alphaevolve_mathematical_results.ipynb sha256 matches pin\nPASS RED control: one coefficient forged by +1 is refuted\n\nverify_strassen: 10 entries checked, 0 failures\n", "stderrTail": null }, { "seq": 22, "record": "certs/strassen-certificate.json", "kind": "verifier", "command": "python3 tools/verify_strassen.py certs/strassen-certificate.json --sources corpus/sources", "profile": "portable", "run": "warm", "startedAt": "2026-10-21T10:34:51.534Z", "loadAtStart": 4.5, "power": "AC 100%", "wallSeconds": 0.325, "realSeconds": 0.32, "userSeconds": 0.27, "sysSeconds": 0.01, "cpuSeconds": 0.28, "peakRssBytes": 12697600, "overMemoryReported": false, "exit": { "code": 0, "signal": null, "killedByRunner": false, "killedProcesses": 0, "orphansKilled": 0, "abnormal": false }, "verdict": "RAN", "writes": false, "pinSha256": "0e400efeb8a4bba99fba620dd77c6e6d4aa6eff9b8016834f0c4aa9071f8b008", "pinBytes": 66861, "sha256After": "0e400efeb8a4bba99fba620dd77c6e6d4aa6eff9b8016834f0c4aa9071f8b008", "bytesAfter": 66861, "changed": false, "diffPaths": [], "stampPaths": [], "nonStampPaths": [], "rowsMoved": [], "registerRebuiltSeconds": null, "verdicts": {}, "perRow": null, "reproducible": true, "coldWarmDiffPaths": null, "coldWarmStampPaths": null, "coldWarmNonStampPaths": null, "wrote": [], "untrackedCreated": [], "sideEffects": [], "stdoutTail": " 4x4 times 4x4 in 47 multiplications over F2 (layout CA): all 4096 equations hold\nPASS alphatensor-f2-5x5x5 5x5 times 5x5 in 96 multiplications over F2 (layout CA): all 15625 equations hold\nPASS alphaevolve-48-4x4x4 4x4 times 4x4 in 48 multiplications over Z[i] (scale 8, layout CA): all 4096 equations hold\nPASS source alphatensor_r.npz sha256 matches pin\nPASS source alphatensor_f2.npz sha256 matches pin\nPASS source alphaevolve_mathematical_results.ipynb sha256 matches pin\nPASS RED control: one coefficient forged by +1 is refuted\n\nverify_strassen: 10 entries checked, 0 failures\n", "stderrTail": null }, { "seq": 23, "record": "certs/strassen-certificate.json", "kind": "verifier", "command": "python3 tools/verify_strassen.py certs/strassen-certificate.json --sources corpus/sources", "profile": "extended", "run": "cold", "startedAt": "2026-10-21T10:34:51.933Z", "loadAtStart": 4.5, "power": "AC 100%", "wallSeconds": 0.291, "realSeconds": 0.28, "userSeconds": 0.27, "sysSeconds": 0, "cpuSeconds": 0.27, "peakRssBytes": 12697600, "overMemoryReported": false, "exit": { "code": 0, "signal": null, "killedByRunner": false, "killedProcesses": 0, "orphansKilled": 0, "abnormal": false }, "verdict": "RAN", "writes": false, "pinSha256": "0e400efeb8a4bba99fba620dd77c6e6d4aa6eff9b8016834f0c4aa9071f8b008", "pinBytes": 66861, "sha256After": "0e400efeb8a4bba99fba620dd77c6e6d4aa6eff9b8016834f0c4aa9071f8b008", "bytesAfter": 66861, "changed": false, "diffPaths": [], "stampPaths": [], "nonStampPaths": [], "rowsMoved": [], "registerRebuiltSeconds": null, "verdicts": {}, "perRow": null, "reproducible": true, "coldWarmDiffPaths": [], "coldWarmStampPaths": [], "coldWarmNonStampPaths": [], "wrote": [], "untrackedCreated": [], "sideEffects": [], "stdoutTail": " 4x4 times 4x4 in 47 multiplications over F2 (layout CA): all 4096 equations hold\nPASS alphatensor-f2-5x5x5 5x5 times 5x5 in 96 multiplications over F2 (layout CA): all 15625 equations hold\nPASS alphaevolve-48-4x4x4 4x4 times 4x4 in 48 multiplications over Z[i] (scale 8, layout CA): all 4096 equations hold\nPASS source alphatensor_r.npz sha256 matches pin\nPASS source alphatensor_f2.npz sha256 matches pin\nPASS source alphaevolve_mathematical_results.ipynb sha256 matches pin\nPASS RED control: one coefficient forged by +1 is refuted\n\nverify_strassen: 10 entries checked, 0 failures\n", "stderrTail": null }, { "seq": 24, "record": "certs/strassen-certificate.json", "kind": "verifier", "command": "python3 tools/verify_strassen.py certs/strassen-certificate.json --sources corpus/sources", "profile": "extended", "run": "warm", "startedAt": "2026-10-21T10:34:52.296Z", "loadAtStart": 4.5, "power": "AC 100%", "wallSeconds": 0.292, "realSeconds": 0.29, "userSeconds": 0.27, "sysSeconds": 0.01, "cpuSeconds": 0.28, "peakRssBytes": 12697600, "overMemoryReported": false, "exit": { "code": 0, "signal": null, "killedByRunner": false, "killedProcesses": 0, "orphansKilled": 0, "abnormal": false }, "verdict": "RAN", "writes": false, "pinSha256": "0e400efeb8a4bba99fba620dd77c6e6d4aa6eff9b8016834f0c4aa9071f8b008", "pinBytes": 66861, "sha256After": "0e400efeb8a4bba99fba620dd77c6e6d4aa6eff9b8016834f0c4aa9071f8b008", "bytesAfter": 66861, "changed": false, "diffPaths": [], "stampPaths": [], "nonStampPaths": [], "rowsMoved": [], "registerRebuiltSeconds": null, "verdicts": {}, "perRow": null, "reproducible": true, "coldWarmDiffPaths": null, "coldWarmStampPaths": null, "coldWarmNonStampPaths": null, "wrote": [], "untrackedCreated": [], "sideEffects": [], "stdoutTail": " 4x4 times 4x4 in 47 multiplications over F2 (layout CA): all 4096 equations hold\nPASS alphatensor-f2-5x5x5 5x5 times 5x5 in 96 multiplications over F2 (layout CA): all 15625 equations hold\nPASS alphaevolve-48-4x4x4 4x4 times 4x4 in 48 multiplications over Z[i] (scale 8, layout CA): all 4096 equations hold\nPASS source alphatensor_r.npz sha256 matches pin\nPASS source alphatensor_f2.npz sha256 matches pin\nPASS source alphaevolve_mathematical_results.ipynb sha256 matches pin\nPASS RED control: one coefficient forged by +1 is refuted\n\nverify_strassen: 10 entries checked, 0 failures\n", "stderrTail": null }, { "seq": 25, "record": "certs/easota-ledger.json", "kind": "rederive", "command": "node tools/run-easota-ledger.js", "profile": "portable", "run": "cold", "startedAt": "2026-10-21T10:34:52.659Z", "loadAtStart": 4.5, "power": "AC 100%", "wallSeconds": 3.232, "realSeconds": 3.22, "userSeconds": 3.23, "sysSeconds": 0.04, "cpuSeconds": 3.27, "peakRssBytes": 105480192, "overMemoryReported": false, "exit": { "code": 0, "signal": null, "killedByRunner": false, "killedProcesses": 0, "orphansKilled": 0, "abnormal": false }, "verdict": "RAN", "writes": true, "pinSha256": "e577361347e77561617610d9be19cbf72ac0a8846219bf03c86e20fb5121c503", "pinBytes": 52610, "sha256After": "c55127f7f3b3213874a1a1527fd1267ce50cbf93b2ddebd1a3eaa8b13481464a", "bytesAfter": 52608, "changed": true, "diffPaths": [ "generated", "git", "rows[*].detail.ms", "rows[*].ms" ], "stampPaths": [ "generated", "git", "rows[*].detail.ms", "rows[*].ms" ], "nonStampPaths": [], "rowsMoved": [], "registerRebuiltSeconds": 2.2, "verdicts": { "WITNESSED": 16, "REPAIRED": 4 }, "perRow": { "ea-circles-alphaevolve_2025": { "field": "ms", "ms": 0 }, "ea-circles-ours_2026": { "field": "ms", "ms": 0 }, "ea-autocorr-alphaevolve_2025": { "field": "ms", "ms": 3 }, "ea-autocorr-alphaevolve_v2_2025": { "field": "ms", "ms": 3 }, "ea-autocorr-ttt_discover_2026": { "field": "ms", "ms": 869 }, "ea-autocorr-ours_2026": { "field": "ms", "ms": 684 } }, "reproducible": true, "coldWarmDiffPaths": [ "generated", "rows[*].detail.ms", "rows[*].ms" ], "coldWarmStampPaths": [ "generated", "rows[*].detail.ms", "rows[*].ms" ], "coldWarmNonStampPaths": [], "wrote": [ "certs/easota-ledger.json" ], "untrackedCreated": [], "sideEffects": [], "stdoutTail": "16523\n improvement circles-rectangle REAL 0.0000002424150543\n improvement heilbronn-convex REAL 0.0000000090590715\n improvement min-distance-ratio-2d REAL 0.0000362043171149\n improvement erdos-minimum-overlap REAL 0.0000050126314988\n improvement edges-vs-triangles REAL 0.0002375455235076\n improvement first-autocorrelation REAL 0.0000000395508554\n improvement flat-polynomials REAL 0.0599932275257197\n improvement hexagon-packing REAL 0.0002600000000000\nwrote certs/easota-ledger.json — 20 rows: 16 WITNESSED, 4 REPAIRED; 8/8 improvements real\n", "stderrTail": null }, { "seq": 26, "record": "certs/easota-ledger.json", "kind": "rederive", "command": "node tools/run-easota-ledger.js", "profile": "portable", "run": "warm", "startedAt": "2026-10-21T10:34:58.154Z", "loadAtStart": 4.54, "power": "AC 100%", "wallSeconds": 3.379, "realSeconds": 3.37, "userSeconds": 3.41, "sysSeconds": 0.04, "cpuSeconds": 3.45, "peakRssBytes": 105545728, "overMemoryReported": false, "exit": { "code": 0, "signal": null, "killedByRunner": false, "killedProcesses": 0, "orphansKilled": 0, "abnormal": false }, "verdict": "RAN", "writes": true, "pinSha256": "e577361347e77561617610d9be19cbf72ac0a8846219bf03c86e20fb5121c503", "pinBytes": 52610, "sha256After": "a579e02a16c91fd4abf2954f089f4543e290dfe75717abda0f4bf56ef8cc4bd2", "bytesAfter": 52608, "changed": true, "diffPaths": [ "generated", "git", "rows[*].detail.ms", "rows[*].ms" ], "stampPaths": [ "generated", "git", "rows[*].detail.ms", "rows[*].ms" ], "nonStampPaths": [], "rowsMoved": [], "registerRebuiltSeconds": 2.2, "verdicts": { "WITNESSED": 16, "REPAIRED": 4 }, "perRow": { "ea-circles-alphaevolve_2025": { "field": "ms", "ms": 0 }, "ea-circles-ours_2026": { "field": "ms", "ms": 0 }, "ea-autocorr-alphaevolve_2025": { "field": "ms", "ms": 3 }, "ea-autocorr-alphaevolve_v2_2025": { "field": "ms", "ms": 4 }, "ea-autocorr-ttt_discover_2026": { "field": "ms", "ms": 866 }, "ea-autocorr-ours_2026": { "field": "ms", "ms": 884 } }, "reproducible": true, "coldWarmDiffPaths": null, "coldWarmStampPaths": null, "coldWarmNonStampPaths": null, "wrote": [ "certs/easota-ledger.json" ], "untrackedCreated": [], "sideEffects": [], "stdoutTail": "16523\n improvement circles-rectangle REAL 0.0000002424150543\n improvement heilbronn-convex REAL 0.0000000090590715\n improvement min-distance-ratio-2d REAL 0.0000362043171149\n improvement erdos-minimum-overlap REAL 0.0000050126314988\n improvement edges-vs-triangles REAL 0.0002375455235076\n improvement first-autocorrelation REAL 0.0000000395508554\n improvement flat-polynomials REAL 0.0599932275257197\n improvement hexagon-packing REAL 0.0002600000000000\nwrote certs/easota-ledger.json — 20 rows: 16 WITNESSED, 4 REPAIRED; 8/8 improvements real\n", "stderrTail": null }, { "seq": 27, "record": "certs/easota-ledger.json", "kind": "rederive", "command": "node tools/run-easota-ledger.js", "profile": "extended", "run": "cold", "startedAt": "2026-10-21T10:35:03.823Z", "loadAtStart": 4.34, "power": "AC 100%", "wallSeconds": 3.421, "realSeconds": 3.41, "userSeconds": 3.26, "sysSeconds": 0.06, "cpuSeconds": 3.32, "peakRssBytes": 103038976, "overMemoryReported": false, "exit": { "code": 0, "signal": null, "killedByRunner": false, "killedProcesses": 0, "orphansKilled": 0, "abnormal": false }, "verdict": "RAN", "writes": true, "pinSha256": "e577361347e77561617610d9be19cbf72ac0a8846219bf03c86e20fb5121c503", "pinBytes": 52610, "sha256After": "cb515f3279730d28781a44523b212f9950b43058fe95fd898b1f90b8c4db036e", "bytesAfter": 52609, "changed": true, "diffPaths": [ "generated", "git", "rows[*].detail.ms", "rows[*].ms" ], "stampPaths": [ "generated", "git", "rows[*].detail.ms", "rows[*].ms" ], "nonStampPaths": [], "rowsMoved": [], "registerRebuiltSeconds": 2.8, "verdicts": { "WITNESSED": 16, "REPAIRED": 4 }, "perRow": { "ea-circles-alphaevolve_2025": { "field": "ms", "ms": 0 }, "ea-circles-ours_2026": { "field": "ms", "ms": 0 }, "ea-autocorr-alphaevolve_2025": { "field": "ms", "ms": 3 }, "ea-autocorr-alphaevolve_v2_2025": { "field": "ms", "ms": 4 }, "ea-autocorr-ttt_discover_2026": { "field": "ms", "ms": 853 }, "ea-autocorr-ours_2026": { "field": "ms", "ms": 680 } }, "reproducible": true, "coldWarmDiffPaths": [ "generated", "rows[*].detail.ms", "rows[*].ms" ], "coldWarmStampPaths": [ "generated", "rows[*].detail.ms", "rows[*].ms" ], "coldWarmNonStampPaths": [], "wrote": [ "certs/easota-ledger.json" ], "untrackedCreated": [], "sideEffects": [], "stdoutTail": "16523\n improvement circles-rectangle REAL 0.0000002424150543\n improvement heilbronn-convex REAL 0.0000000090590715\n improvement min-distance-ratio-2d REAL 0.0000362043171149\n improvement erdos-minimum-overlap REAL 0.0000050126314988\n improvement edges-vs-triangles REAL 0.0002375455235076\n improvement first-autocorrelation REAL 0.0000000395508554\n improvement flat-polynomials REAL 0.0599932275257197\n improvement hexagon-packing REAL 0.0002600000000000\nwrote certs/easota-ledger.json — 20 rows: 16 WITNESSED, 4 REPAIRED; 8/8 improvements real\n", "stderrTail": null }, { "seq": 28, "record": "certs/easota-ledger.json", "kind": "rederive", "command": "node tools/run-easota-ledger.js", "profile": "extended", "run": "warm", "startedAt": "2026-10-21T10:35:10.180Z", "loadAtStart": 3.9, "power": "AC 100%", "wallSeconds": 3.176, "realSeconds": 3.17, "userSeconds": 3.18, "sysSeconds": 0.04, "cpuSeconds": 3.22, "peakRssBytes": 105201664, "overMemoryReported": false, "exit": { "code": 0, "signal": null, "killedByRunner": false, "killedProcesses": 0, "orphansKilled": 0, "abnormal": false }, "verdict": "RAN", "writes": true, "pinSha256": "e577361347e77561617610d9be19cbf72ac0a8846219bf03c86e20fb5121c503", "pinBytes": 52610, "sha256After": "fe29c77dd45db16a3507355c96b683bd7aac6748f526c19df4e06c0f924f49e2", "bytesAfter": 52608, "changed": true, "diffPaths": [ "generated", "git", "rows[*].detail.ms", "rows[*].ms" ], "stampPaths": [ "generated", "git", "rows[*].detail.ms", "rows[*].ms" ], "nonStampPaths": [], "rowsMoved": [], "registerRebuiltSeconds": 2.1, "verdicts": { "WITNESSED": 16, "REPAIRED": 4 }, "perRow": { "ea-circles-alphaevolve_2025": { "field": "ms", "ms": 0 }, "ea-circles-ours_2026": { "field": "ms", "ms": 0 }, "ea-autocorr-alphaevolve_2025": { "field": "ms", "ms": 3 }, "ea-autocorr-alphaevolve_v2_2025": { "field": "ms", "ms": 3 }, "ea-autocorr-ttt_discover_2026": { "field": "ms", "ms": 855 }, "ea-autocorr-ours_2026": { "field": "ms", "ms": 673 } }, "reproducible": true, "coldWarmDiffPaths": null, "coldWarmStampPaths": null, "coldWarmNonStampPaths": null, "wrote": [ "certs/easota-ledger.json" ], "untrackedCreated": [], "sideEffects": [], "stdoutTail": "16523\n improvement circles-rectangle REAL 0.0000002424150543\n improvement heilbronn-convex REAL 0.0000000090590715\n improvement min-distance-ratio-2d REAL 0.0000362043171149\n improvement erdos-minimum-overlap REAL 0.0000050126314988\n improvement edges-vs-triangles REAL 0.0002375455235076\n improvement first-autocorrelation REAL 0.0000000395508554\n improvement flat-polynomials REAL 0.0599932275257197\n improvement hexagon-packing REAL 0.0002600000000000\nwrote certs/easota-ledger.json — 20 rows: 16 WITNESSED, 4 REPAIRED; 8/8 improvements real\n", "stderrTail": null }, { "seq": 29, "record": "certs/ecbench-ledger.json", "kind": "rederive", "command": "node tools/run-ecbench-ledger.js", "profile": "portable", "run": "cold", "startedAt": "2026-10-21T10:35:15.574Z", "loadAtStart": 3.83, "power": "AC 100%", "wallSeconds": 6.155, "realSeconds": 6.15, "userSeconds": 6.33, "sysSeconds": 0.22, "cpuSeconds": 6.55, "peakRssBytes": 698826752, "overMemoryReported": false, "exit": { "code": 0, "signal": null, "killedByRunner": false, "killedProcesses": 0, "orphansKilled": 0, "abnormal": false }, "verdict": "RAN", "writes": true, "pinSha256": "cdecac8aae53d79c5803184cd12d63431a4838582950f3d833d8e520256897c8", "pinBytes": 308688, "sha256After": "04c5d28271c0d2d9014dda88d6c52eb5f4d3552aefa87d5b2228e88af58827e1", "bytesAfter": 308686, "changed": true, "diffPaths": [ "generated", "summary.seconds" ], "stampPaths": [ "generated", "summary.seconds" ], "nonStampPaths": [], "rowsMoved": [], "registerRebuiltSeconds": 2.1, "verdicts": {}, "perRow": null, "reproducible": true, "coldWarmDiffPaths": [ "summary.seconds" ], "coldWarmStampPaths": [ "summary.seconds" ], "coldWarmNonStampPaths": [], "wrote": [ "certs/ecbench-ledger.json" ], "untrackedCreated": [], "sideEffects": [], "stdoutTail": "38288: total 49.9986 · IFORM [492.141, 492.141] (β ∈ [3.6856114265, 3.6856114265])\n expected outside F 1-yr on n=438288: total 49.9986 · IFORM [492.141, 492.141] (β ∈ [3.6856114265, 3.6856114265])\n expected outside D 50-yr on n=438288: total 0.9999 · IFORM [11.994, 11.994] (β ∈ [4.5839339344, 4.5839339344])\n expected outside E 50-yr on n=438288: total 0.9999 · IFORM [11.994, 11.994] (β ∈ [4.5839339344, 4.5839339344])\n expected outside F 50-yr on n=438288: total 0.9999 · IFORM [11.994, 11.994] (β ∈ [4.5839339344, 4.5839339344])\n certs/ecbench-ledger.json written: 150 rows, 176 comparisons\n", "stderrTail": null }, { "seq": 30, "record": "certs/ecbench-ledger.json", "kind": "rederive", "command": "node tools/run-ecbench-ledger.js", "profile": "portable", "run": "warm", "startedAt": "2026-10-21T10:35:23.960Z", "loadAtStart": 3.68, "power": "AC 100%", "wallSeconds": 5.814, "realSeconds": 5.81, "userSeconds": 6.21, "sysSeconds": 0.19, "cpuSeconds": 6.4, "peakRssBytes": 709918720, "overMemoryReported": false, "exit": { "code": 0, "signal": null, "killedByRunner": false, "killedProcesses": 0, "orphansKilled": 0, "abnormal": false }, "verdict": "RAN", "writes": true, "pinSha256": "cdecac8aae53d79c5803184cd12d63431a4838582950f3d833d8e520256897c8", "pinBytes": 308688, "sha256After": "e7e8bf087004c6179b8a743ac77172d70f6694c9e0b264f995120efb7c2da86f", "bytesAfter": 308688, "changed": true, "diffPaths": [ "generated", "summary.seconds" ], "stampPaths": [ "generated", "summary.seconds" ], "nonStampPaths": [], "rowsMoved": [], "registerRebuiltSeconds": 2.2, "verdicts": {}, "perRow": null, "reproducible": true, "coldWarmDiffPaths": null, "coldWarmStampPaths": null, "coldWarmNonStampPaths": null, "wrote": [ "certs/ecbench-ledger.json" ], "untrackedCreated": [], "sideEffects": [], "stdoutTail": "38288: total 49.9986 · IFORM [492.141, 492.141] (β ∈ [3.6856114265, 3.6856114265])\n expected outside F 1-yr on n=438288: total 49.9986 · IFORM [492.141, 492.141] (β ∈ [3.6856114265, 3.6856114265])\n expected outside D 50-yr on n=438288: total 0.9999 · IFORM [11.994, 11.994] (β ∈ [4.5839339344, 4.5839339344])\n expected outside E 50-yr on n=438288: total 0.9999 · IFORM [11.994, 11.994] (β ∈ [4.5839339344, 4.5839339344])\n expected outside F 50-yr on n=438288: total 0.9999 · IFORM [11.994, 11.994] (β ∈ [4.5839339344, 4.5839339344])\n certs/ecbench-ledger.json written: 150 rows, 176 comparisons\n", "stderrTail": null }, { "seq": 31, "record": "certs/ecbench-ledger.json", "kind": "rederive", "command": "node tools/run-ecbench-ledger.js", "profile": "extended", "run": "cold", "startedAt": "2026-10-21T10:35:32.035Z", "loadAtStart": 3.82, "power": "AC 100%", "wallSeconds": 5.82, "realSeconds": 5.81, "userSeconds": 6.18, "sysSeconds": 0.2, "cpuSeconds": 6.38, "peakRssBytes": 708247552, "overMemoryReported": false, "exit": { "code": 0, "signal": null, "killedByRunner": false, "killedProcesses": 0, "orphansKilled": 0, "abnormal": false }, "verdict": "RAN", "writes": true, "pinSha256": "cdecac8aae53d79c5803184cd12d63431a4838582950f3d833d8e520256897c8", "pinBytes": 308688, "sha256After": "e7e8bf087004c6179b8a743ac77172d70f6694c9e0b264f995120efb7c2da86f", "bytesAfter": 308688, "changed": true, "diffPaths": [ "generated", "summary.seconds" ], "stampPaths": [ "generated", "summary.seconds" ], "nonStampPaths": [], "rowsMoved": [], "registerRebuiltSeconds": 2.1, "verdicts": {}, "perRow": null, "reproducible": true, "coldWarmDiffPaths": [ "summary.seconds" ], "coldWarmStampPaths": [ "summary.seconds" ], "coldWarmNonStampPaths": [], "wrote": [ "certs/ecbench-ledger.json" ], "untrackedCreated": [], "sideEffects": [], "stdoutTail": "38288: total 49.9986 · IFORM [492.141, 492.141] (β ∈ [3.6856114265, 3.6856114265])\n expected outside F 1-yr on n=438288: total 49.9986 · IFORM [492.141, 492.141] (β ∈ [3.6856114265, 3.6856114265])\n expected outside D 50-yr on n=438288: total 0.9999 · IFORM [11.994, 11.994] (β ∈ [4.5839339344, 4.5839339344])\n expected outside E 50-yr on n=438288: total 0.9999 · IFORM [11.994, 11.994] (β ∈ [4.5839339344, 4.5839339344])\n expected outside F 50-yr on n=438288: total 0.9999 · IFORM [11.994, 11.994] (β ∈ [4.5839339344, 4.5839339344])\n certs/ecbench-ledger.json written: 150 rows, 176 comparisons\n", "stderrTail": null }, { "seq": 32, "record": "certs/ecbench-ledger.json", "kind": "rederive", "command": "node tools/run-ecbench-ledger.js", "profile": "extended", "run": "warm", "startedAt": "2026-10-21T10:35:40.086Z", "loadAtStart": 3.71, "power": "AC 100%", "wallSeconds": 5.868, "realSeconds": 5.86, "userSeconds": 6.19, "sysSeconds": 0.2, "cpuSeconds": 6.39, "peakRssBytes": 707330048, "overMemoryReported": false, "exit": { "code": 0, "signal": null, "killedByRunner": false, "killedProcesses": 0, "orphansKilled": 0, "abnormal": false }, "verdict": "RAN", "writes": true, "pinSha256": "cdecac8aae53d79c5803184cd12d63431a4838582950f3d833d8e520256897c8", "pinBytes": 308688, "sha256After": "a939505d010e8ed4ffb91ab4b867edc650c29236271e062b4f038efafc5bd83c", "bytesAfter": 308688, "changed": true, "diffPaths": [ "generated", "summary.seconds" ], "stampPaths": [ "generated", "summary.seconds" ], "nonStampPaths": [], "rowsMoved": [], "registerRebuiltSeconds": 2.2, "verdicts": {}, "perRow": null, "reproducible": true, "coldWarmDiffPaths": null, "coldWarmStampPaths": null, "coldWarmNonStampPaths": null, "wrote": [ "certs/ecbench-ledger.json" ], "untrackedCreated": [], "sideEffects": [], "stdoutTail": "38288: total 49.9986 · IFORM [492.141, 492.141] (β ∈ [3.6856114265, 3.6856114265])\n expected outside F 1-yr on n=438288: total 49.9986 · IFORM [492.141, 492.141] (β ∈ [3.6856114265, 3.6856114265])\n expected outside D 50-yr on n=438288: total 0.9999 · IFORM [11.994, 11.994] (β ∈ [4.5839339344, 4.5839339344])\n expected outside E 50-yr on n=438288: total 0.9999 · IFORM [11.994, 11.994] (β ∈ [4.5839339344, 4.5839339344])\n expected outside F 50-yr on n=438288: total 0.9999 · IFORM [11.994, 11.994] (β ∈ [4.5839339344, 4.5839339344])\n certs/ecbench-ledger.json written: 150 rows, 176 comparisons\n", "stderrTail": null }, { "seq": 33, "record": "certs/gsm8k-ledger.json", "kind": "rederive", "command": "python3 tools/run-gsm8k-ledger.py", "profile": "portable", "run": "cold", "startedAt": "2026-10-21T10:35:48.211Z", "loadAtStart": 3.57, "power": "AC 100%", "wallSeconds": 1.575, "realSeconds": 1.57, "userSeconds": 1.52, "sysSeconds": 0.03, "cpuSeconds": 1.55, "peakRssBytes": 58097664, "overMemoryReported": false, "exit": { "code": 0, "signal": null, "killedByRunner": false, "killedProcesses": 0, "orphansKilled": 0, "abnormal": false }, "verdict": "RAN", "writes": true, "pinSha256": "7fbcda606b601c9c2867cc6305c39906ef21e7e0a7dcd6a11285125cca8e9248", "pinBytes": 1041181, "sha256After": "265f4d33cc04ff86d963faa881ec354fc51cf0c5e5531ac02ce4aef91c195657", "bytesAfter": 1041181, "changed": true, "diffPaths": [ "generated", "seconds" ], "stampPaths": [ "generated", "seconds" ], "nonStampPaths": [], "rowsMoved": [], "registerRebuiltSeconds": 2.1, "verdicts": {}, "perRow": null, "reproducible": true, "coldWarmDiffPaths": [ "seconds" ], "coldWarmStampPaths": [ "seconds" ], "coldWarmNonStampPaths": [], "wrote": [ "certs/gsm8k-ledger.json" ], "untrackedCreated": [], "sideEffects": [], "stdoutTail": "wrote certs/gsm8k-ledger.json: test {'REPRODUCED': 1207, 'ANSWER_IN_PROSE': 50, 'ANSWER_UNDERIVED': 47, 'ROUNDED_STEP': 0, 'PRINTED_STEP_WRONG': 2, 'NO_STEPS': 13, 'REFUSED': 0}; platinum {'consensus': 1100, 'verified': 99, 'removed': 110, 'revised': 10}; findings 2 faults, 0 of 10 revised with a fault; 1.48 s\n", "stderrTail": null }, { "seq": 34, "record": "certs/gsm8k-ledger.json", "kind": "rederive", "command": "python3 tools/run-gsm8k-ledger.py", "profile": "portable", "run": "warm", "startedAt": "2026-10-21T10:35:52.033Z", "loadAtStart": 3.53, "power": "AC 100%", "wallSeconds": 1.553, "realSeconds": 1.55, "userSeconds": 1.51, "sysSeconds": 0.02, "cpuSeconds": 1.53, "peakRssBytes": 58425344, "overMemoryReported": false, "exit": { "code": 0, "signal": null, "killedByRunner": false, "killedProcesses": 0, "orphansKilled": 0, "abnormal": false }, "verdict": "RAN", "writes": true, "pinSha256": "7fbcda606b601c9c2867cc6305c39906ef21e7e0a7dcd6a11285125cca8e9248", "pinBytes": 1041181, "sha256After": "ac13606adb496cc2b9ea18330b0b2d97cd1fd0c8a29e7748a9761a24eaf5aa30", "bytesAfter": 1041181, "changed": true, "diffPaths": [ "generated", "seconds" ], "stampPaths": [ "generated", "seconds" ], "nonStampPaths": [], "rowsMoved": [], "registerRebuiltSeconds": 2.2, "verdicts": {}, "perRow": null, "reproducible": true, "coldWarmDiffPaths": null, "coldWarmStampPaths": null, "coldWarmNonStampPaths": null, "wrote": [ "certs/gsm8k-ledger.json" ], "untrackedCreated": [], "sideEffects": [], "stdoutTail": "wrote certs/gsm8k-ledger.json: test {'REPRODUCED': 1207, 'ANSWER_IN_PROSE': 50, 'ANSWER_UNDERIVED': 47, 'ROUNDED_STEP': 0, 'PRINTED_STEP_WRONG': 2, 'NO_STEPS': 13, 'REFUSED': 0}; platinum {'consensus': 1100, 'verified': 99, 'removed': 110, 'revised': 10}; findings 2 faults, 0 of 10 revised with a fault; 1.47 s\n", "stderrTail": null }, { "seq": 35, "record": "certs/gsm8k-ledger.json", "kind": "rederive", "command": "python3 tools/run-gsm8k-ledger.py", "profile": "extended", "run": "cold", "startedAt": "2026-10-21T10:35:55.931Z", "loadAtStart": 3.8, "power": "AC 100%", "wallSeconds": 1.555, "realSeconds": 1.55, "userSeconds": 1.51, "sysSeconds": 0.02, "cpuSeconds": 1.53, "peakRssBytes": 58064896, "overMemoryReported": false, "exit": { "code": 0, "signal": null, "killedByRunner": false, "killedProcesses": 0, "orphansKilled": 0, "abnormal": false }, "verdict": "RAN", "writes": true, "pinSha256": "7fbcda606b601c9c2867cc6305c39906ef21e7e0a7dcd6a11285125cca8e9248", "pinBytes": 1041181, "sha256After": "ac13606adb496cc2b9ea18330b0b2d97cd1fd0c8a29e7748a9761a24eaf5aa30", "bytesAfter": 1041181, "changed": true, "diffPaths": [ "generated", "seconds" ], "stampPaths": [ "generated", "seconds" ], "nonStampPaths": [], "rowsMoved": [], "registerRebuiltSeconds": 2.1, "verdicts": {}, "perRow": null, "reproducible": true, "coldWarmDiffPaths": [ "seconds" ], "coldWarmStampPaths": [ "seconds" ], "coldWarmNonStampPaths": [], "wrote": [ "certs/gsm8k-ledger.json" ], "untrackedCreated": [], "sideEffects": [], "stdoutTail": "wrote certs/gsm8k-ledger.json: test {'REPRODUCED': 1207, 'ANSWER_IN_PROSE': 50, 'ANSWER_UNDERIVED': 47, 'ROUNDED_STEP': 0, 'PRINTED_STEP_WRONG': 2, 'NO_STEPS': 13, 'REFUSED': 0}; platinum {'consensus': 1100, 'verified': 99, 'removed': 110, 'revised': 10}; findings 2 faults, 0 of 10 revised with a fault; 1.47 s\n", "stderrTail": null }, { "seq": 36, "record": "certs/gsm8k-ledger.json", "kind": "rederive", "command": "python3 tools/run-gsm8k-ledger.py", "profile": "extended", "run": "warm", "startedAt": "2026-10-21T10:35:59.721Z", "loadAtStart": 3.8, "power": "AC 100%", "wallSeconds": 1.55, "realSeconds": 1.54, "userSeconds": 1.51, "sysSeconds": 0.02, "cpuSeconds": 1.53, "peakRssBytes": 58081280, "overMemoryReported": false, "exit": { "code": 0, "signal": null, "killedByRunner": false, "killedProcesses": 0, "orphansKilled": 0, "abnormal": false }, "verdict": "RAN", "writes": true, "pinSha256": "7fbcda606b601c9c2867cc6305c39906ef21e7e0a7dcd6a11285125cca8e9248", "pinBytes": 1041181, "sha256After": "7dc682c33cb4a4cd96804dffd70b048dd5545840823368fc971e7bcfbc695433", "bytesAfter": 1041181, "changed": true, "diffPaths": [ "generated", "seconds" ], "stampPaths": [ "generated", "seconds" ], "nonStampPaths": [], "rowsMoved": [], "registerRebuiltSeconds": 2.1, "verdicts": {}, "perRow": null, "reproducible": true, "coldWarmDiffPaths": null, "coldWarmStampPaths": null, "coldWarmNonStampPaths": null, "wrote": [ "certs/gsm8k-ledger.json" ], "untrackedCreated": [], "sideEffects": [], "stdoutTail": "wrote certs/gsm8k-ledger.json: test {'REPRODUCED': 1207, 'ANSWER_IN_PROSE': 50, 'ANSWER_UNDERIVED': 47, 'ROUNDED_STEP': 0, 'PRINTED_STEP_WRONG': 2, 'NO_STEPS': 13, 'REFUSED': 0}; platinum {'consensus': 1100, 'verified': 99, 'removed': 110, 'revised': 10}; findings 2 faults, 0 of 10 revised with a fault; 1.46 s\n", "stderrTail": null }, { "seq": 37, "record": "certs/horizon-ledger.json", "kind": "rederive", "command": "python3 tools/run-horizon-ledger.py", "profile": "portable", "run": "cold", "startedAt": "2026-10-21T10:36:03.499Z", "loadAtStart": 3.9, "power": "AC 100%", "wallSeconds": 60.272, "realSeconds": 60.03, "userSeconds": 0.71, "sysSeconds": 0.04, "cpuSeconds": 0.75, "peakRssBytes": 48447488, "overMemoryReported": false, "exit": { "code": 1, "signal": null, "killedByRunner": true, "killedProcesses": 10, "orphansKilled": 0, "abnormal": true }, "verdict": "REFUSED: resources (wall over 60 s under portable)", "writes": true, "pinSha256": "fa5b0bac0539bf9694e6c7044a6acf0325635f18474e387d4bf56bcf49bb2315", "pinBytes": 59679, "sha256After": "fa5b0bac0539bf9694e6c7044a6acf0325635f18474e387d4bf56bcf49bb2315", "bytesAfter": 59679, "changed": false, "diffPaths": [], "stampPaths": [], "nonStampPaths": [], "rowsMoved": [], "registerRebuiltSeconds": null, "verdicts": null, "perRow": null, "reproducible": null, "coldWarmDiffPaths": null, "coldWarmStampPaths": null, "coldWarmNonStampPaths": null, "wrote": [], "untrackedCreated": [], "sideEffects": [], "stdoutTail": "", "stderrTail": "" }, { "seq": 38, "record": "certs/horizon-ledger.json", "kind": "rederive", "command": "python3 tools/run-horizon-ledger.py", "profile": "portable", "run": "warm", "startedAt": "2026-10-21T10:37:03.856Z", "loadAtStart": 10.2, "power": "AC 100%", "wallSeconds": 60.289, "realSeconds": 60.04, "userSeconds": 109.99, "sysSeconds": 0.57, "cpuSeconds": 110.56, "peakRssBytes": 48611328, "overMemoryReported": false, "exit": { "code": 1, "signal": null, "killedByRunner": true, "killedProcesses": 10, "orphansKilled": 0, "abnormal": true }, "verdict": "REFUSED: resources (wall over 60 s under portable)", "writes": true, "pinSha256": "fa5b0bac0539bf9694e6c7044a6acf0325635f18474e387d4bf56bcf49bb2315", "pinBytes": 59679, "sha256After": "fa5b0bac0539bf9694e6c7044a6acf0325635f18474e387d4bf56bcf49bb2315", "bytesAfter": 59679, "changed": false, "diffPaths": [], "stampPaths": [], "nonStampPaths": [], "rowsMoved": [], "registerRebuiltSeconds": null, "verdicts": null, "perRow": null, "reproducible": null, "coldWarmDiffPaths": null, "coldWarmStampPaths": null, "coldWarmNonStampPaths": null, "wrote": [], "untrackedCreated": [], "sideEffects": [], "stdoutTail": "", "stderrTail": "" }, { "seq": 39, "record": "certs/horizon-ledger.json", "kind": "rederive", "command": "python3 tools/run-horizon-ledger.py", "profile": "extended", "run": "cold", "startedAt": "2026-10-21T10:38:04.345Z", "loadAtStart": 14.97, "power": "AC 100%", "wallSeconds": 121.111, "realSeconds": 121.1, "userSeconds": 803.82, "sysSeconds": 4.05, "cpuSeconds": 807.87, "peakRssBytes": 49463296, "overMemoryReported": false, "exit": { "code": 0, "signal": null, "killedByRunner": false, "killedProcesses": 0, "orphansKilled": 0, "abnormal": false }, "verdict": "RAN", "writes": true, "pinSha256": "fa5b0bac0539bf9694e6c7044a6acf0325635f18474e387d4bf56bcf49bb2315", "pinBytes": 59679, "sha256After": "3e98bce7ffa0851e69da1d0f4dd4702d002a8b6b2c97096ae984a14d1548ac09", "bytesAfter": 59679, "changed": true, "diffPaths": [ "generated", "seconds" ], "stampPaths": [ "generated", "seconds" ], "nonStampPaths": [], "rowsMoved": [], "registerRebuiltSeconds": 2.8, "verdicts": {}, "perRow": null, "reproducible": true, "coldWarmDiffPaths": [ "seconds" ], "coldWarmStampPaths": [ "seconds" ], "coldWarmNonStampPaths": [], "wrote": [ "certs/horizon-ledger.json" ], "untrackedCreated": [], "sideEffects": [], "stdoutTail": "wrote certs/horizon-ledger.json: {'runsFileAgents': 21, 'liveAgents': 23, 'siteResults': 26, 'certified': 44, 'fits': 44} in 121.0 s\n", "stderrTail": null }, { "seq": 40, "record": "certs/horizon-ledger.json", "kind": "rederive", "command": "python3 tools/run-horizon-ledger.py", "profile": "extended", "run": "warm", "startedAt": "2026-10-21T10:40:08.534Z", "loadAtStart": 10.33, "power": "AC 100%", "wallSeconds": 135.407, "realSeconds": 135.4, "userSeconds": 815.79, "sysSeconds": 4.69, "cpuSeconds": 820.48, "peakRssBytes": 48611328, "overMemoryReported": false, "exit": { "code": 0, "signal": null, "killedByRunner": false, "killedProcesses": 0, "orphansKilled": 0, "abnormal": false }, "verdict": "RAN", "writes": true, "pinSha256": "fa5b0bac0539bf9694e6c7044a6acf0325635f18474e387d4bf56bcf49bb2315", "pinBytes": 59679, "sha256After": "1fdfdb21512fca243a24a1cd8989832770524998d23a8083494dc36efebdc7be", "bytesAfter": 59679, "changed": true, "diffPaths": [ "generated", "seconds" ], "stampPaths": [ "generated", "seconds" ], "nonStampPaths": [], "rowsMoved": [], "registerRebuiltSeconds": 2.5, "verdicts": {}, "perRow": null, "reproducible": true, "coldWarmDiffPaths": null, "coldWarmStampPaths": null, "coldWarmNonStampPaths": null, "wrote": [ "certs/horizon-ledger.json" ], "untrackedCreated": [], "sideEffects": [], "stdoutTail": "wrote certs/horizon-ledger.json: {'runsFileAgents': 21, 'liveAgents': 23, 'siteResults': 26, 'certified': 44, 'fits': 44} in 135.3 s\n", "stderrTail": null }, { "seq": 41, "record": "certs/hseva-ledger.json", "kind": "rederive", "command": "node tools/run-hseva-ledger.js --check", "profile": "portable", "run": "cold", "startedAt": "2026-10-21T10:42:26.636Z", "loadAtStart": 12.75, "power": "AC 100%", "wallSeconds": 60.299, "realSeconds": 60.04, "userSeconds": 0.04, "sysSeconds": 0.01, "cpuSeconds": 0.05, "peakRssBytes": 57606144, "overMemoryReported": false, "exit": { "code": 1, "signal": null, "killedByRunner": true, "killedProcesses": 8, "orphansKilled": 0, "abnormal": true }, "verdict": "REFUSED: resources (wall over 60 s under portable)", "writes": false, "pinSha256": "f7b0379625119653b63814cff4c8efce81a12c7e4ba8b2891ed7cf21d13ff64c", "pinBytes": 1034262, "sha256After": "f7b0379625119653b63814cff4c8efce81a12c7e4ba8b2891ed7cf21d13ff64c", "bytesAfter": 1034262, "changed": false, "diffPaths": [], "stampPaths": [], "nonStampPaths": [], "rowsMoved": [], "registerRebuiltSeconds": null, "verdicts": null, "perRow": null, "reproducible": null, "coldWarmDiffPaths": null, "coldWarmStampPaths": null, "coldWarmNonStampPaths": null, "wrote": [], "untrackedCreated": [], "sideEffects": [], "stdoutTail": "", "stderrTail": "" }, { "seq": 42, "record": "certs/hseva-ledger.json", "kind": "rederive", "command": "node tools/run-hseva-ledger.js --check", "profile": "portable", "run": "warm", "startedAt": "2026-10-21T10:43:27.150Z", "loadAtStart": 18.54, "power": "AC 100%", "wallSeconds": 60.295, "realSeconds": 60.04, "userSeconds": 0.04, "sysSeconds": 0.01, "cpuSeconds": 0.05, "peakRssBytes": 57606144, "overMemoryReported": false, "exit": { "code": 1, "signal": null, "killedByRunner": true, "killedProcesses": 8, "orphansKilled": 0, "abnormal": true }, "verdict": "REFUSED: resources (wall over 60 s under portable)", "writes": false, "pinSha256": "f7b0379625119653b63814cff4c8efce81a12c7e4ba8b2891ed7cf21d13ff64c", "pinBytes": 1034262, "sha256After": "f7b0379625119653b63814cff4c8efce81a12c7e4ba8b2891ed7cf21d13ff64c", "bytesAfter": 1034262, "changed": false, "diffPaths": [], "stampPaths": [], "nonStampPaths": [], "rowsMoved": [], "registerRebuiltSeconds": null, "verdicts": null, "perRow": null, "reproducible": null, "coldWarmDiffPaths": null, "coldWarmStampPaths": null, "coldWarmNonStampPaths": null, "wrote": [], "untrackedCreated": [], "sideEffects": [], "stdoutTail": "", "stderrTail": "" }, { "seq": 43, "record": "certs/hseva-ledger.json", "kind": "rederive", "command": "node tools/run-hseva-ledger.js --check", "profile": "extended", "run": "cold", "startedAt": "2026-10-21T10:44:27.672Z", "loadAtStart": 20.5, "power": "AC 100%", "wallSeconds": 536.321, "realSeconds": 536.32, "userSeconds": 2854.85, "sysSeconds": 23.64, "cpuSeconds": 2878.49, "peakRssBytes": 530513920, "overMemoryReported": false, "exit": { "code": 0, "signal": null, "killedByRunner": false, "killedProcesses": 0, "orphansKilled": 0, "abnormal": false }, "verdict": "RAN", "writes": false, "pinSha256": "f7b0379625119653b63814cff4c8efce81a12c7e4ba8b2891ed7cf21d13ff64c", "pinBytes": 1034262, "sha256After": "f7b0379625119653b63814cff4c8efce81a12c7e4ba8b2891ed7cf21d13ff64c", "bytesAfter": 1034262, "changed": false, "diffPaths": [], "stampPaths": [], "nonStampPaths": [], "rowsMoved": [], "registerRebuiltSeconds": null, "verdicts": {}, "perRow": null, "reproducible": true, "coldWarmDiffPaths": [], "coldWarmStampPaths": [], "coldWarmNonStampPaths": [], "wrote": [], "untrackedCreated": [], "sideEffects": [], "stdoutTail": "5 s\n buoy:C done at 224 s\n buoy:B done at 250 s\n buoy:A done at 254 s\n ww3:pelotas done at 275 s\n ww3:potiguar done at 301 s\n ww3:drake done at 351 s\n ww3:foz-amazonas done at 352 s\n ww3:southern-high done at 413 s\n ww3:subantarctic-north done at 418 s\n ww3:south-of-japan done at 441 s\n ww3:acc-central done at 445 s\n ww3:north-atlantic done at 479 s\n ww3:arabian-sea done at 507 s\n 536.2 s\n --check: the shipped ledger re-derives identically\n", "stderrTail": null }, { "seq": 44, "record": "certs/hseva-ledger.json", "kind": "rederive", "command": "node tools/run-hseva-ledger.js --check", "profile": "extended", "run": "warm", "startedAt": "2026-10-21T10:53:24.243Z", "loadAtStart": 5.74, "power": "AC 100%", "wallSeconds": 523.438, "realSeconds": 523.43, "userSeconds": 2835.18, "sysSeconds": 20.07, "cpuSeconds": 2855.25, "peakRssBytes": 586350592, "overMemoryReported": false, "exit": { "code": 0, "signal": null, "killedByRunner": false, "killedProcesses": 0, "orphansKilled": 0, "abnormal": false }, "verdict": "RAN", "writes": false, "pinSha256": "f7b0379625119653b63814cff4c8efce81a12c7e4ba8b2891ed7cf21d13ff64c", "pinBytes": 1034262, "sha256After": "f7b0379625119653b63814cff4c8efce81a12c7e4ba8b2891ed7cf21d13ff64c", "bytesAfter": 1034262, "changed": false, "diffPaths": [], "stampPaths": [], "nonStampPaths": [], "rowsMoved": [], "registerRebuiltSeconds": null, "verdicts": {}, "perRow": null, "reproducible": true, "coldWarmDiffPaths": null, "coldWarmStampPaths": null, "coldWarmNonStampPaths": null, "wrote": [], "untrackedCreated": [], "sideEffects": [], "stdoutTail": "1 s\n buoy:C done at 227 s\n buoy:B done at 258 s\n buoy:A done at 261 s\n ww3:pelotas done at 263 s\n ww3:potiguar done at 314 s\n ww3:drake done at 340 s\n ww3:foz-amazonas done at 354 s\n ww3:southern-high done at 406 s\n ww3:subantarctic-north done at 421 s\n ww3:acc-central done at 451 s\n ww3:south-of-japan done at 459 s\n ww3:north-atlantic done at 477 s\n ww3:arabian-sea done at 493 s\n 523.3 s\n --check: the shipped ledger re-derives identically\n", "stderrTail": null }, { "seq": 45, "record": "certs/design-table-audit.json", "kind": "rederive", "command": "node tools/run-design-table-audit.js --check", "profile": "portable", "run": "cold", "startedAt": "2026-10-21T11:02:07.879Z", "loadAtStart": 5.34, "power": "AC 100%", "wallSeconds": 0.406, "realSeconds": 0.39, "userSeconds": 0.47, "sysSeconds": 0.02, "cpuSeconds": 0.49, "peakRssBytes": 91176960, "overMemoryReported": false, "exit": { "code": 0, "signal": null, "killedByRunner": false, "killedProcesses": 0, "orphansKilled": 0, "abnormal": false }, "verdict": "RAN", "writes": false, "pinSha256": "24ef5a69b5ffc4186bde102d6080e616b78ea96df92f40f97252cd4da9424bcd", "pinBytes": 27535, "sha256After": "24ef5a69b5ffc4186bde102d6080e616b78ea96df92f40f97252cd4da9424bcd", "bytesAfter": 27535, "changed": false, "diffPaths": [], "stampPaths": [], "nonStampPaths": [], "rowsMoved": [], "registerRebuiltSeconds": null, "verdicts": {}, "perRow": null, "reproducible": true, "coldWarmDiffPaths": [], "coldWarmStampPaths": [], "coldWarmNonStampPaths": [], "wrote": [], "untrackedCreated": [], "sideEffects": [], "stdoutTail": "design-table-audit: the ledger re-derived, identical (20 printed fits)\n", "stderrTail": null }, { "seq": 46, "record": "certs/design-table-audit.json", "kind": "rederive", "command": "node tools/run-design-table-audit.js --check", "profile": "portable", "run": "warm", "startedAt": "2026-10-21T11:02:08.374Z", "loadAtStart": 5.39, "power": "AC 100%", "wallSeconds": 0.383, "realSeconds": 0.38, "userSeconds": 0.46, "sysSeconds": 0.02, "cpuSeconds": 0.48, "peakRssBytes": 89030656, "overMemoryReported": false, "exit": { "code": 0, "signal": null, "killedByRunner": false, "killedProcesses": 0, "orphansKilled": 0, "abnormal": false }, "verdict": "RAN", "writes": false, "pinSha256": "24ef5a69b5ffc4186bde102d6080e616b78ea96df92f40f97252cd4da9424bcd", "pinBytes": 27535, "sha256After": "24ef5a69b5ffc4186bde102d6080e616b78ea96df92f40f97252cd4da9424bcd", "bytesAfter": 27535, "changed": false, "diffPaths": [], "stampPaths": [], "nonStampPaths": [], "rowsMoved": [], "registerRebuiltSeconds": null, "verdicts": {}, "perRow": null, "reproducible": true, "coldWarmDiffPaths": null, "coldWarmStampPaths": null, "coldWarmNonStampPaths": null, "wrote": [], "untrackedCreated": [], "sideEffects": [], "stdoutTail": "design-table-audit: the ledger re-derived, identical (20 printed fits)\n", "stderrTail": null }, { "seq": 47, "record": "certs/design-table-audit.json", "kind": "rederive", "command": "node tools/run-design-table-audit.js --check", "profile": "extended", "run": "cold", "startedAt": "2026-10-21T11:02:08.862Z", "loadAtStart": 5.39, "power": "AC 100%", "wallSeconds": 0.408, "realSeconds": 0.4, "userSeconds": 0.49, "sysSeconds": 0.02, "cpuSeconds": 0.51, "peakRssBytes": 89047040, "overMemoryReported": false, "exit": { "code": 0, "signal": null, "killedByRunner": false, "killedProcesses": 0, "orphansKilled": 0, "abnormal": false }, "verdict": "RAN", "writes": false, "pinSha256": "24ef5a69b5ffc4186bde102d6080e616b78ea96df92f40f97252cd4da9424bcd", "pinBytes": 27535, "sha256After": "24ef5a69b5ffc4186bde102d6080e616b78ea96df92f40f97252cd4da9424bcd", "bytesAfter": 27535, "changed": false, "diffPaths": [], "stampPaths": [], "nonStampPaths": [], "rowsMoved": [], "registerRebuiltSeconds": null, "verdicts": {}, "perRow": null, "reproducible": true, "coldWarmDiffPaths": [], "coldWarmStampPaths": [], "coldWarmNonStampPaths": [], "wrote": [], "untrackedCreated": [], "sideEffects": [], "stdoutTail": "design-table-audit: the ledger re-derived, identical (20 printed fits)\n", "stderrTail": null }, { "seq": 48, "record": "certs/design-table-audit.json", "kind": "rederive", "command": "node tools/run-design-table-audit.js --check", "profile": "extended", "run": "warm", "startedAt": "2026-10-21T11:02:09.363Z", "loadAtStart": 5.39, "power": "AC 100%", "wallSeconds": 0.363, "realSeconds": 0.35, "userSeconds": 0.45, "sysSeconds": 0.02, "cpuSeconds": 0.47, "peakRssBytes": 88997888, "overMemoryReported": false, "exit": { "code": 0, "signal": null, "killedByRunner": false, "killedProcesses": 0, "orphansKilled": 0, "abnormal": false }, "verdict": "RAN", "writes": false, "pinSha256": "24ef5a69b5ffc4186bde102d6080e616b78ea96df92f40f97252cd4da9424bcd", "pinBytes": 27535, "sha256After": "24ef5a69b5ffc4186bde102d6080e616b78ea96df92f40f97252cd4da9424bcd", "bytesAfter": 27535, "changed": false, "diffPaths": [], "stampPaths": [], "nonStampPaths": [], "rowsMoved": [], "registerRebuiltSeconds": null, "verdicts": {}, "perRow": null, "reproducible": true, "coldWarmDiffPaths": null, "coldWarmStampPaths": null, "coldWarmNonStampPaths": null, "wrote": [], "untrackedCreated": [], "sideEffects": [], "stdoutTail": "design-table-audit: the ledger re-derived, identical (20 printed fits)\n", "stderrTail": null }, { "seq": 49, "record": "certs/sumdiff-ledger.json", "kind": "rederive", "command": "node tools/run-sumdiff-ledger.js --check", "profile": "portable", "run": "cold", "startedAt": "2026-10-21T11:02:09.803Z", "loadAtStart": 5.39, "power": "AC 100%", "wallSeconds": 1.311, "realSeconds": 1.3, "userSeconds": 1.32, "sysSeconds": 0.01, "cpuSeconds": 1.33, "peakRssBytes": 65716224, "overMemoryReported": false, "exit": { "code": 0, "signal": null, "killedByRunner": false, "killedProcesses": 0, "orphansKilled": 0, "abnormal": false }, "verdict": "RAN", "writes": false, "pinSha256": "bf8857db9f64b6508da042b5f0d4e4b30fe452f47fb14a64b701482e7ab94ac4", "pinBytes": 7542, "sha256After": "bf8857db9f64b6508da042b5f0d4e4b30fe452f47fb14a64b701482e7ab94ac4", "bytesAfter": 7542, "changed": false, "diffPaths": [], "stampPaths": [], "nonStampPaths": [], "rowsMoved": [], "registerRebuiltSeconds": null, "verdicts": { "CERTIFIED": 3 }, "perRow": null, "reproducible": true, "coldWarmDiffPaths": [], "coldWarmStampPaths": [], "coldWarmNonStampPaths": [], "wrote": [], "untrackedCreated": [], "sideEffects": [], "stdoutTail": "sumdiff-ledger: re-derived, identical\n", "stderrTail": null }, { "seq": 50, "record": "certs/sumdiff-ledger.json", "kind": "rederive", "command": "node tools/run-sumdiff-ledger.js --check", "profile": "portable", "run": "warm", "startedAt": "2026-10-21T11:02:11.185Z", "loadAtStart": 5.39, "power": "AC 100%", "wallSeconds": 1.18, "realSeconds": 1.17, "userSeconds": 1.19, "sysSeconds": 0.01, "cpuSeconds": 1.2, "peakRssBytes": 65765376, "overMemoryReported": false, "exit": { "code": 0, "signal": null, "killedByRunner": false, "killedProcesses": 0, "orphansKilled": 0, "abnormal": false }, "verdict": "RAN", "writes": false, "pinSha256": "bf8857db9f64b6508da042b5f0d4e4b30fe452f47fb14a64b701482e7ab94ac4", "pinBytes": 7542, "sha256After": "bf8857db9f64b6508da042b5f0d4e4b30fe452f47fb14a64b701482e7ab94ac4", "bytesAfter": 7542, "changed": false, "diffPaths": [], "stampPaths": [], "nonStampPaths": [], "rowsMoved": [], "registerRebuiltSeconds": null, "verdicts": { "CERTIFIED": 3 }, "perRow": null, "reproducible": true, "coldWarmDiffPaths": null, "coldWarmStampPaths": null, "coldWarmNonStampPaths": null, "wrote": [], "untrackedCreated": [], "sideEffects": [], "stdoutTail": "sumdiff-ledger: re-derived, identical\n", "stderrTail": null }, { "seq": 51, "record": "certs/sumdiff-ledger.json", "kind": "rederive", "command": "node tools/run-sumdiff-ledger.js --check", "profile": "extended", "run": "cold", "startedAt": "2026-10-21T11:02:12.432Z", "loadAtStart": 5.39, "power": "AC 100%", "wallSeconds": 1.447, "realSeconds": 1.44, "userSeconds": 1.44, "sysSeconds": 0.01, "cpuSeconds": 1.45, "peakRssBytes": 66011136, "overMemoryReported": false, "exit": { "code": 0, "signal": null, "killedByRunner": false, "killedProcesses": 0, "orphansKilled": 0, "abnormal": false }, "verdict": "RAN", "writes": false, "pinSha256": "bf8857db9f64b6508da042b5f0d4e4b30fe452f47fb14a64b701482e7ab94ac4", "pinBytes": 7542, "sha256After": "bf8857db9f64b6508da042b5f0d4e4b30fe452f47fb14a64b701482e7ab94ac4", "bytesAfter": 7542, "changed": false, "diffPaths": [], "stampPaths": [], "nonStampPaths": [], "rowsMoved": [], "registerRebuiltSeconds": null, "verdicts": { "CERTIFIED": 3 }, "perRow": null, "reproducible": true, "coldWarmDiffPaths": [], "coldWarmStampPaths": [], "coldWarmNonStampPaths": [], "wrote": [], "untrackedCreated": [], "sideEffects": [], "stdoutTail": "sumdiff-ledger: re-derived, identical\n", "stderrTail": null }, { "seq": 52, "record": "certs/sumdiff-ledger.json", "kind": "rederive", "command": "node tools/run-sumdiff-ledger.js --check", "profile": "extended", "run": "warm", "startedAt": "2026-10-21T11:02:13.978Z", "loadAtStart": 5.68, "power": "AC 100%", "wallSeconds": 1.459, "realSeconds": 1.45, "userSeconds": 1.47, "sysSeconds": 0.01, "cpuSeconds": 1.48, "peakRssBytes": 65994752, "overMemoryReported": false, "exit": { "code": 0, "signal": null, "killedByRunner": false, "killedProcesses": 0, "orphansKilled": 0, "abnormal": false }, "verdict": "RAN", "writes": false, "pinSha256": "bf8857db9f64b6508da042b5f0d4e4b30fe452f47fb14a64b701482e7ab94ac4", "pinBytes": 7542, "sha256After": "bf8857db9f64b6508da042b5f0d4e4b30fe452f47fb14a64b701482e7ab94ac4", "bytesAfter": 7542, "changed": false, "diffPaths": [], "stampPaths": [], "nonStampPaths": [], "rowsMoved": [], "registerRebuiltSeconds": null, "verdicts": { "CERTIFIED": 3 }, "perRow": null, "reproducible": true, "coldWarmDiffPaths": null, "coldWarmStampPaths": null, "coldWarmNonStampPaths": null, "wrote": [], "untrackedCreated": [], "sideEffects": [], "stdoutTail": "sumdiff-ledger: re-derived, identical\n", "stderrTail": null }, { "seq": 53, "record": "certs/sumdiff-ledger.json", "kind": "verifier", "command": "python3 tools/verify_sumdiff.py", "profile": "portable", "run": "cold", "startedAt": "2026-10-21T11:02:15.527Z", "loadAtStart": 5.68, "power": "AC 100%", "wallSeconds": 0.229, "realSeconds": 0.22, "userSeconds": 0.2, "sysSeconds": 0.01, "cpuSeconds": 0.21, "peakRssBytes": 11878400, "overMemoryReported": false, "exit": { "code": 0, "signal": null, "killedByRunner": false, "killedProcesses": 0, "orphansKilled": 0, "abnormal": false }, "verdict": "RAN", "writes": false, "pinSha256": "bf8857db9f64b6508da042b5f0d4e4b30fe452f47fb14a64b701482e7ab94ac4", "pinBytes": 7542, "sha256After": "bf8857db9f64b6508da042b5f0d4e4b30fe452f47fb14a64b701482e7ab94ac4", "bytesAfter": 7542, "changed": false, "diffPaths": [], "stampPaths": [], "nonStampPaths": [], "rowsMoved": [], "registerRebuiltSeconds": null, "verdicts": { "CERTIFIED": 3 }, "perRow": null, "reproducible": true, "coldWarmDiffPaths": [], "coldWarmStampPaths": [], "coldWarmNonStampPaths": [], "wrote": [], "untrackedCreated": [], "sideEffects": [], "stdoutTail": "IED C3c >= 1.6747338950414058 (the registry's C3c >= 1.6747338950414058*; 147 points; sha256 b3dc9587ba7a…)\n ratio in [1.674733895041405870063135756722213999136383, 1.674733895041405870063135756722213999136384]\nCERTIFIED C3c >= 1.674733895041405870063135756722213999136383713818148696811828 (the 147-point certificate's 60-digit bound; 147 points; sha256 b3dc9587ba7a…)\n ratio in [1.674733895041405870063135756722213999136383, 1.674733895041405870063135756722213999136384]\nfired RED control: C3c >= 1.6747338950414059 (false; as a double it equals the true bound) -> REFUTED\n", "stderrTail": null }, { "seq": 54, "record": "certs/sumdiff-ledger.json", "kind": "verifier", "command": "python3 tools/verify_sumdiff.py", "profile": "portable", "run": "warm", "startedAt": "2026-10-21T11:02:15.855Z", "loadAtStart": 5.68, "power": "AC 100%", "wallSeconds": 0.215, "realSeconds": 0.21, "userSeconds": 0.19, "sysSeconds": 0.01, "cpuSeconds": 0.2, "peakRssBytes": 11976704, "overMemoryReported": false, "exit": { "code": 0, "signal": null, "killedByRunner": false, "killedProcesses": 0, "orphansKilled": 0, "abnormal": false }, "verdict": "RAN", "writes": false, "pinSha256": "bf8857db9f64b6508da042b5f0d4e4b30fe452f47fb14a64b701482e7ab94ac4", "pinBytes": 7542, "sha256After": "bf8857db9f64b6508da042b5f0d4e4b30fe452f47fb14a64b701482e7ab94ac4", "bytesAfter": 7542, "changed": false, "diffPaths": [], "stampPaths": [], "nonStampPaths": [], "rowsMoved": [], "registerRebuiltSeconds": null, "verdicts": { "CERTIFIED": 3 }, "perRow": null, "reproducible": true, "coldWarmDiffPaths": null, "coldWarmStampPaths": null, "coldWarmNonStampPaths": null, "wrote": [], "untrackedCreated": [], "sideEffects": [], "stdoutTail": "IED C3c >= 1.6747338950414058 (the registry's C3c >= 1.6747338950414058*; 147 points; sha256 b3dc9587ba7a…)\n ratio in [1.674733895041405870063135756722213999136383, 1.674733895041405870063135756722213999136384]\nCERTIFIED C3c >= 1.674733895041405870063135756722213999136383713818148696811828 (the 147-point certificate's 60-digit bound; 147 points; sha256 b3dc9587ba7a…)\n ratio in [1.674733895041405870063135756722213999136383, 1.674733895041405870063135756722213999136384]\nfired RED control: C3c >= 1.6747338950414059 (false; as a double it equals the true bound) -> REFUTED\n", "stderrTail": null }, { "seq": 55, "record": "certs/sumdiff-ledger.json", "kind": "verifier", "command": "python3 tools/verify_sumdiff.py", "profile": "extended", "run": "cold", "startedAt": "2026-10-21T11:02:16.170Z", "loadAtStart": 5.68, "power": "AC 100%", "wallSeconds": 0.224, "realSeconds": 0.22, "userSeconds": 0.19, "sysSeconds": 0.01, "cpuSeconds": 0.2, "peakRssBytes": 11943936, "overMemoryReported": false, "exit": { "code": 0, "signal": null, "killedByRunner": false, "killedProcesses": 0, "orphansKilled": 0, "abnormal": false }, "verdict": "RAN", "writes": false, "pinSha256": "bf8857db9f64b6508da042b5f0d4e4b30fe452f47fb14a64b701482e7ab94ac4", "pinBytes": 7542, "sha256After": "bf8857db9f64b6508da042b5f0d4e4b30fe452f47fb14a64b701482e7ab94ac4", "bytesAfter": 7542, "changed": false, "diffPaths": [], "stampPaths": [], "nonStampPaths": [], "rowsMoved": [], "registerRebuiltSeconds": null, "verdicts": { "CERTIFIED": 3 }, "perRow": null, "reproducible": true, "coldWarmDiffPaths": [], "coldWarmStampPaths": [], "coldWarmNonStampPaths": [], "wrote": [], "untrackedCreated": [], "sideEffects": [], "stdoutTail": "IED C3c >= 1.6747338950414058 (the registry's C3c >= 1.6747338950414058*; 147 points; sha256 b3dc9587ba7a…)\n ratio in [1.674733895041405870063135756722213999136383, 1.674733895041405870063135756722213999136384]\nCERTIFIED C3c >= 1.674733895041405870063135756722213999136383713818148696811828 (the 147-point certificate's 60-digit bound; 147 points; sha256 b3dc9587ba7a…)\n ratio in [1.674733895041405870063135756722213999136383, 1.674733895041405870063135756722213999136384]\nfired RED control: C3c >= 1.6747338950414059 (false; as a double it equals the true bound) -> REFUTED\n", "stderrTail": null }, { "seq": 56, "record": "certs/sumdiff-ledger.json", "kind": "verifier", "command": "python3 tools/verify_sumdiff.py", "profile": "extended", "run": "warm", "startedAt": "2026-10-21T11:02:16.487Z", "loadAtStart": 5.68, "power": "AC 100%", "wallSeconds": 0.211, "realSeconds": 0.2, "userSeconds": 0.19, "sysSeconds": 0.01, "cpuSeconds": 0.2, "peakRssBytes": 11780096, "overMemoryReported": false, "exit": { "code": 0, "signal": null, "killedByRunner": false, "killedProcesses": 0, "orphansKilled": 0, "abnormal": false }, "verdict": "RAN", "writes": false, "pinSha256": "bf8857db9f64b6508da042b5f0d4e4b30fe452f47fb14a64b701482e7ab94ac4", "pinBytes": 7542, "sha256After": "bf8857db9f64b6508da042b5f0d4e4b30fe452f47fb14a64b701482e7ab94ac4", "bytesAfter": 7542, "changed": false, "diffPaths": [], "stampPaths": [], "nonStampPaths": [], "rowsMoved": [], "registerRebuiltSeconds": null, "verdicts": { "CERTIFIED": 3 }, "perRow": null, "reproducible": true, "coldWarmDiffPaths": null, "coldWarmStampPaths": null, "coldWarmNonStampPaths": null, "wrote": [], "untrackedCreated": [], "sideEffects": [], "stdoutTail": "IED C3c >= 1.6747338950414058 (the registry's C3c >= 1.6747338950414058*; 147 points; sha256 b3dc9587ba7a…)\n ratio in [1.674733895041405870063135756722213999136383, 1.674733895041405870063135756722213999136384]\nCERTIFIED C3c >= 1.674733895041405870063135756722213999136383713818148696811828 (the 147-point certificate's 60-digit bound; 147 points; sha256 b3dc9587ba7a…)\n ratio in [1.674733895041405870063135756722213999136383, 1.674733895041405870063135756722213999136384]\nfired RED control: C3c >= 1.6747338950414059 (false; as a double it equals the true bound) -> REFUTED\n", "stderrTail": null }, { "seq": 57, "record": "certs/fei-ledger.json", "kind": "rederive", "command": "python3 tools/run-fei-ledger.py --check", "profile": "portable", "run": "cold", "startedAt": "2026-10-21T11:02:16.786Z", "loadAtStart": 5.68, "power": "AC 100%", "wallSeconds": 2.039, "realSeconds": 2.03, "userSeconds": 1.98, "sysSeconds": 0.02, "cpuSeconds": 2, "peakRssBytes": 34783232, "overMemoryReported": false, "exit": { "code": 0, "signal": null, "killedByRunner": false, "killedProcesses": 0, "orphansKilled": 0, "abnormal": false }, "verdict": "RAN", "writes": false, "pinSha256": "ad853dabf838029896747144ee765fd418830311dc7c4b133575119d08bcf59e", "pinBytes": 2759, "sha256After": "ad853dabf838029896747144ee765fd418830311dc7c4b133575119d08bcf59e", "bytesAfter": 2759, "changed": false, "diffPaths": [], "stampPaths": [], "nonStampPaths": [], "rowsMoved": [], "registerRebuiltSeconds": null, "verdicts": { "CERTIFIED": 1 }, "perRow": null, "reproducible": true, "coldWarmDiffPaths": [], "coldWarmStampPaths": [], "coldWarmNonStampPaths": [], "wrote": [], "untrackedCreated": [], "sideEffects": [], "stdoutTail": "fei-ledger: re-derived, identical (CERTIFIED)\n", "stderrTail": null }, { "seq": 58, "record": "certs/fei-ledger.json", "kind": "rederive", "command": "python3 tools/run-fei-ledger.py --check", "profile": "portable", "run": "warm", "startedAt": "2026-10-21T11:02:18.929Z", "loadAtStart": 5.79, "power": "AC 100%", "wallSeconds": 1.987, "realSeconds": 1.98, "userSeconds": 1.94, "sysSeconds": 0.02, "cpuSeconds": 1.96, "peakRssBytes": 36749312, "overMemoryReported": false, "exit": { "code": 0, "signal": null, "killedByRunner": false, "killedProcesses": 0, "orphansKilled": 0, "abnormal": false }, "verdict": "RAN", "writes": false, "pinSha256": "ad853dabf838029896747144ee765fd418830311dc7c4b133575119d08bcf59e", "pinBytes": 2759, "sha256After": "ad853dabf838029896747144ee765fd418830311dc7c4b133575119d08bcf59e", "bytesAfter": 2759, "changed": false, "diffPaths": [], "stampPaths": [], "nonStampPaths": [], "rowsMoved": [], "registerRebuiltSeconds": null, "verdicts": { "CERTIFIED": 1 }, "perRow": null, "reproducible": true, "coldWarmDiffPaths": null, "coldWarmStampPaths": null, "coldWarmNonStampPaths": null, "wrote": [], "untrackedCreated": [], "sideEffects": [], "stdoutTail": "fei-ledger: re-derived, identical (CERTIFIED)\n", "stderrTail": null }, { "seq": 59, "record": "certs/fei-ledger.json", "kind": "rederive", "command": "python3 tools/run-fei-ledger.py --check", "profile": "extended", "run": "cold", "startedAt": "2026-10-21T11:02:21.020Z", "loadAtStart": 5.79, "power": "AC 100%", "wallSeconds": 2.019, "realSeconds": 2.01, "userSeconds": 1.97, "sysSeconds": 0.02, "cpuSeconds": 1.99, "peakRssBytes": 34603008, "overMemoryReported": false, "exit": { "code": 0, "signal": null, "killedByRunner": false, "killedProcesses": 0, "orphansKilled": 0, "abnormal": false }, "verdict": "RAN", "writes": false, "pinSha256": "ad853dabf838029896747144ee765fd418830311dc7c4b133575119d08bcf59e", "pinBytes": 2759, "sha256After": "ad853dabf838029896747144ee765fd418830311dc7c4b133575119d08bcf59e", "bytesAfter": 2759, "changed": false, "diffPaths": [], "stampPaths": [], "nonStampPaths": [], "rowsMoved": [], "registerRebuiltSeconds": null, "verdicts": { "CERTIFIED": 1 }, "perRow": null, "reproducible": true, "coldWarmDiffPaths": [], "coldWarmStampPaths": [], "coldWarmNonStampPaths": [], "wrote": [], "untrackedCreated": [], "sideEffects": [], "stdoutTail": "fei-ledger: re-derived, identical (CERTIFIED)\n", "stderrTail": null }, { "seq": 60, "record": "certs/fei-ledger.json", "kind": "rederive", "command": "python3 tools/run-fei-ledger.py --check", "profile": "extended", "run": "warm", "startedAt": "2026-10-21T11:02:23.125Z", "loadAtStart": 5.79, "power": "AC 100%", "wallSeconds": 2.023, "realSeconds": 2.02, "userSeconds": 1.97, "sysSeconds": 0.02, "cpuSeconds": 1.99, "peakRssBytes": 34570240, "overMemoryReported": false, "exit": { "code": 0, "signal": null, "killedByRunner": false, "killedProcesses": 0, "orphansKilled": 0, "abnormal": false }, "verdict": "RAN", "writes": false, "pinSha256": "ad853dabf838029896747144ee765fd418830311dc7c4b133575119d08bcf59e", "pinBytes": 2759, "sha256After": "ad853dabf838029896747144ee765fd418830311dc7c4b133575119d08bcf59e", "bytesAfter": 2759, "changed": false, "diffPaths": [], "stampPaths": [], "nonStampPaths": [], "rowsMoved": [], "registerRebuiltSeconds": null, "verdicts": { "CERTIFIED": 1 }, "perRow": null, "reproducible": true, "coldWarmDiffPaths": null, "coldWarmStampPaths": null, "coldWarmNonStampPaths": null, "wrote": [], "untrackedCreated": [], "sideEffects": [], "stdoutTail": "fei-ledger: re-derived, identical (CERTIFIED)\n", "stderrTail": null }, { "seq": 61, "record": "certs/sumproduct-ledger.json", "kind": "rederive", "command": "python3 tools/run-sumproduct-ledger.py --check", "profile": "portable", "run": "cold", "startedAt": "2026-10-21T11:02:25.243Z", "loadAtStart": 5.8, "power": "AC 100%", "wallSeconds": 48.176, "realSeconds": 48.17, "userSeconds": 47.51, "sysSeconds": 0.18, "cpuSeconds": 47.69, "peakRssBytes": 13090816, "overMemoryReported": false, "exit": { "code": 0, "signal": null, "killedByRunner": false, "killedProcesses": 0, "orphansKilled": 0, "abnormal": false }, "verdict": "RAN", "writes": false, "pinSha256": "61cc3c57f7a6567c55f7850551e8ca92543e988b7eb57645d4afa5bc66673ea0", "pinBytes": 2816, "sha256After": "61cc3c57f7a6567c55f7850551e8ca92543e988b7eb57645d4afa5bc66673ea0", "bytesAfter": 2816, "changed": false, "diffPaths": [], "stampPaths": [], "nonStampPaths": [], "rowsMoved": [], "registerRebuiltSeconds": null, "verdicts": { "REPAIRED": 1 }, "perRow": null, "reproducible": true, "coldWarmDiffPaths": [], "coldWarmStampPaths": [], "coldWarmNonStampPaths": [], "wrote": [], "untrackedCreated": [], "sideEffects": [], "stdoutTail": "sumproduct-ledger: re-derived, identical (REPAIRED)\n", "stderrTail": null }, { "seq": 62, "record": "certs/sumproduct-ledger.json", "kind": "rederive", "command": "python3 tools/run-sumproduct-ledger.py --check", "profile": "portable", "run": "warm", "startedAt": "2026-10-21T11:03:13.500Z", "loadAtStart": 7.88, "power": "AC 100%", "wallSeconds": 39.322, "realSeconds": 39.32, "userSeconds": 39.09, "sysSeconds": 0.15, "cpuSeconds": 39.24, "peakRssBytes": 13221888, "overMemoryReported": false, "exit": { "code": 0, "signal": null, "killedByRunner": false, "killedProcesses": 0, "orphansKilled": 0, "abnormal": false }, "verdict": "RAN", "writes": false, "pinSha256": "61cc3c57f7a6567c55f7850551e8ca92543e988b7eb57645d4afa5bc66673ea0", "pinBytes": 2816, "sha256After": "61cc3c57f7a6567c55f7850551e8ca92543e988b7eb57645d4afa5bc66673ea0", "bytesAfter": 2816, "changed": false, "diffPaths": [], "stampPaths": [], "nonStampPaths": [], "rowsMoved": [], "registerRebuiltSeconds": null, "verdicts": { "REPAIRED": 1 }, "perRow": null, "reproducible": true, "coldWarmDiffPaths": null, "coldWarmStampPaths": null, "coldWarmNonStampPaths": null, "wrote": [], "untrackedCreated": [], "sideEffects": [], "stdoutTail": "sumproduct-ledger: re-derived, identical (REPAIRED)\n", "stderrTail": null }, { "seq": 63, "record": "certs/sumproduct-ledger.json", "kind": "rederive", "command": "python3 tools/run-sumproduct-ledger.py --check", "profile": "extended", "run": "cold", "startedAt": "2026-10-21T11:03:52.894Z", "loadAtStart": 5.81, "power": "AC 100%", "wallSeconds": 38.036, "realSeconds": 38.03, "userSeconds": 37.57, "sysSeconds": 0.14, "cpuSeconds": 37.71, "peakRssBytes": 13254656, "overMemoryReported": false, "exit": { "code": 0, "signal": null, "killedByRunner": false, "killedProcesses": 0, "orphansKilled": 0, "abnormal": false }, "verdict": "RAN", "writes": false, "pinSha256": "61cc3c57f7a6567c55f7850551e8ca92543e988b7eb57645d4afa5bc66673ea0", "pinBytes": 2816, "sha256After": "61cc3c57f7a6567c55f7850551e8ca92543e988b7eb57645d4afa5bc66673ea0", "bytesAfter": 2816, "changed": false, "diffPaths": [], "stampPaths": [], "nonStampPaths": [], "rowsMoved": [], "registerRebuiltSeconds": null, "verdicts": { "REPAIRED": 1 }, "perRow": null, "reproducible": true, "coldWarmDiffPaths": [], "coldWarmStampPaths": [], "coldWarmNonStampPaths": [], "wrote": [], "untrackedCreated": [], "sideEffects": [], "stdoutTail": "sumproduct-ledger: re-derived, identical (REPAIRED)\n", "stderrTail": null }, { "seq": 64, "record": "certs/sumproduct-ledger.json", "kind": "rederive", "command": "python3 tools/run-sumproduct-ledger.py --check", "profile": "extended", "run": "warm", "startedAt": "2026-10-21T11:04:31.002Z", "loadAtStart": 4.9, "power": "AC 100%", "wallSeconds": 37.578, "realSeconds": 37.57, "userSeconds": 37.37, "sysSeconds": 0.14, "cpuSeconds": 37.51, "peakRssBytes": 13254656, "overMemoryReported": false, "exit": { "code": 0, "signal": null, "killedByRunner": false, "killedProcesses": 0, "orphansKilled": 0, "abnormal": false }, "verdict": "RAN", "writes": false, "pinSha256": "61cc3c57f7a6567c55f7850551e8ca92543e988b7eb57645d4afa5bc66673ea0", "pinBytes": 2816, "sha256After": "61cc3c57f7a6567c55f7850551e8ca92543e988b7eb57645d4afa5bc66673ea0", "bytesAfter": 2816, "changed": false, "diffPaths": [], "stampPaths": [], "nonStampPaths": [], "rowsMoved": [], "registerRebuiltSeconds": null, "verdicts": { "REPAIRED": 1 }, "perRow": null, "reproducible": true, "coldWarmDiffPaths": null, "coldWarmStampPaths": null, "coldWarmNonStampPaths": null, "wrote": [], "untrackedCreated": [], "sideEffects": [], "stdoutTail": "sumproduct-ledger: re-derived, identical (REPAIRED)\n", "stderrTail": null }, { "seq": 65, "record": "certs/turan-ledger.json", "kind": "rederive", "command": "python3 tools/run-turan-ledger.py --check", "profile": "portable", "run": "cold", "startedAt": "2026-10-21T11:05:08.653Z", "loadAtStart": 4.45, "power": "AC 100%", "wallSeconds": 1.709, "realSeconds": 1.7, "userSeconds": 1.68, "sysSeconds": 0.01, "cpuSeconds": 1.69, "peakRssBytes": 11239424, "overMemoryReported": false, "exit": { "code": 0, "signal": null, "killedByRunner": false, "killedProcesses": 0, "orphansKilled": 0, "abnormal": false }, "verdict": "RAN", "writes": false, "pinSha256": "f0b9c2b48a5b32654f0cdeab9389464549c64d5fd10c075dd928ba0a5e9a38ef", "pinBytes": 4410, "sha256After": "f0b9c2b48a5b32654f0cdeab9389464549c64d5fd10c075dd928ba0a5e9a38ef", "bytesAfter": 4410, "changed": false, "diffPaths": [], "stampPaths": [], "nonStampPaths": [], "rowsMoved": [], "registerRebuiltSeconds": null, "verdicts": { "PARTIAL": 2 }, "perRow": null, "reproducible": true, "coldWarmDiffPaths": [], "coldWarmStampPaths": [], "coldWarmNonStampPaths": [], "wrote": [], "untrackedCreated": [], "sideEffects": [], "stdoutTail": "turan-ledger: re-derived, identical (PARTIAL)\n", "stderrTail": null }, { "seq": 66, "record": "certs/turan-ledger.json", "kind": "rederive", "command": "python3 tools/run-turan-ledger.py --check", "profile": "portable", "run": "warm", "startedAt": "2026-10-21T11:05:10.433Z", "loadAtStart": 4.34, "power": "AC 100%", "wallSeconds": 1.728, "realSeconds": 1.72, "userSeconds": 1.7, "sysSeconds": 0.01, "cpuSeconds": 1.71, "peakRssBytes": 11272192, "overMemoryReported": false, "exit": { "code": 0, "signal": null, "killedByRunner": false, "killedProcesses": 0, "orphansKilled": 0, "abnormal": false }, "verdict": "RAN", "writes": false, "pinSha256": "f0b9c2b48a5b32654f0cdeab9389464549c64d5fd10c075dd928ba0a5e9a38ef", "pinBytes": 4410, "sha256After": "f0b9c2b48a5b32654f0cdeab9389464549c64d5fd10c075dd928ba0a5e9a38ef", "bytesAfter": 4410, "changed": false, "diffPaths": [], "stampPaths": [], "nonStampPaths": [], "rowsMoved": [], "registerRebuiltSeconds": null, "verdicts": { "PARTIAL": 2 }, "perRow": null, "reproducible": true, "coldWarmDiffPaths": null, "coldWarmStampPaths": null, "coldWarmNonStampPaths": null, "wrote": [], "untrackedCreated": [], "sideEffects": [], "stdoutTail": "turan-ledger: re-derived, identical (PARTIAL)\n", "stderrTail": null }, { "seq": 67, "record": "certs/turan-ledger.json", "kind": "rederive", "command": "python3 tools/run-turan-ledger.py --check", "profile": "extended", "run": "cold", "startedAt": "2026-10-21T11:05:12.228Z", "loadAtStart": 4.34, "power": "AC 100%", "wallSeconds": 1.66, "realSeconds": 1.65, "userSeconds": 1.63, "sysSeconds": 0.01, "cpuSeconds": 1.64, "peakRssBytes": 11272192, "overMemoryReported": false, "exit": { "code": 0, "signal": null, "killedByRunner": false, "killedProcesses": 0, "orphansKilled": 0, "abnormal": false }, "verdict": "RAN", "writes": false, "pinSha256": "f0b9c2b48a5b32654f0cdeab9389464549c64d5fd10c075dd928ba0a5e9a38ef", "pinBytes": 4410, "sha256After": "f0b9c2b48a5b32654f0cdeab9389464549c64d5fd10c075dd928ba0a5e9a38ef", "bytesAfter": 4410, "changed": false, "diffPaths": [], "stampPaths": [], "nonStampPaths": [], "rowsMoved": [], "registerRebuiltSeconds": null, "verdicts": { "PARTIAL": 2 }, "perRow": null, "reproducible": true, "coldWarmDiffPaths": [], "coldWarmStampPaths": [], "coldWarmNonStampPaths": [], "wrote": [], "untrackedCreated": [], "sideEffects": [], "stdoutTail": "turan-ledger: re-derived, identical (PARTIAL)\n", "stderrTail": null }, { "seq": 68, "record": "certs/turan-ledger.json", "kind": "rederive", "command": "python3 tools/run-turan-ledger.py --check", "profile": "extended", "run": "warm", "startedAt": "2026-10-21T11:05:13.961Z", "loadAtStart": 4.31, "power": "AC 100%", "wallSeconds": 1.663, "realSeconds": 1.66, "userSeconds": 1.64, "sysSeconds": 0.01, "cpuSeconds": 1.65, "peakRssBytes": 11304960, "overMemoryReported": false, "exit": { "code": 0, "signal": null, "killedByRunner": false, "killedProcesses": 0, "orphansKilled": 0, "abnormal": false }, "verdict": "RAN", "writes": false, "pinSha256": "f0b9c2b48a5b32654f0cdeab9389464549c64d5fd10c075dd928ba0a5e9a38ef", "pinBytes": 4410, "sha256After": "f0b9c2b48a5b32654f0cdeab9389464549c64d5fd10c075dd928ba0a5e9a38ef", "bytesAfter": 4410, "changed": false, "diffPaths": [], "stampPaths": [], "nonStampPaths": [], "rowsMoved": [], "registerRebuiltSeconds": null, "verdicts": { "PARTIAL": 2 }, "perRow": null, "reproducible": true, "coldWarmDiffPaths": null, "coldWarmStampPaths": null, "coldWarmNonStampPaths": null, "wrote": [], "untrackedCreated": [], "sideEffects": [], "stdoutTail": "turan-ledger: re-derived, identical (PARTIAL)\n", "stderrTail": null }, { "seq": 69, "record": "certs/countex-ledger.json", "kind": "rederive", "command": "python3 tools/run-countex-ledger.py --check", "profile": "portable", "run": "cold", "startedAt": "2026-10-21T11:05:15.698Z", "loadAtStart": 4.31, "power": "AC 100%", "wallSeconds": 34.016, "realSeconds": 34.01, "userSeconds": 33.74, "sysSeconds": 0.2, "cpuSeconds": 33.94, "peakRssBytes": 248348672, "overMemoryReported": false, "exit": { "code": 0, "signal": null, "killedByRunner": false, "killedProcesses": 0, "orphansKilled": 0, "abnormal": false }, "verdict": "RAN", "writes": false, "pinSha256": "948f6c633e5142746a7fa952700f39f18b806129effa2eaf622b7133400701dc", "pinBytes": 18684, "sha256After": "948f6c633e5142746a7fa952700f39f18b806129effa2eaf622b7133400701dc", "bytesAfter": 18684, "changed": false, "diffPaths": [], "stampPaths": [], "nonStampPaths": [], "rowsMoved": [], "registerRebuiltSeconds": null, "verdicts": { "PARTIAL": 5, "CERTIFIED": 9 }, "perRow": null, "reproducible": true, "coldWarmDiffPaths": [], "coldWarmStampPaths": [], "coldWarmNonStampPaths": [], "wrote": [], "untrackedCreated": [], "sideEffects": [], "stdoutTail": "countex-ledger: re-derived, identical (14 cases)\n", "stderrTail": null }, { "seq": 70, "record": "certs/countex-ledger.json", "kind": "rederive", "command": "python3 tools/run-countex-ledger.py --check", "profile": "portable", "run": "warm", "startedAt": "2026-10-21T11:05:49.789Z", "loadAtStart": 4.09, "power": "AC 100%", "wallSeconds": 34.125, "realSeconds": 34.12, "userSeconds": 33.85, "sysSeconds": 0.21, "cpuSeconds": 34.06, "peakRssBytes": 248332288, "overMemoryReported": false, "exit": { "code": 0, "signal": null, "killedByRunner": false, "killedProcesses": 0, "orphansKilled": 0, "abnormal": false }, "verdict": "RAN", "writes": false, "pinSha256": "948f6c633e5142746a7fa952700f39f18b806129effa2eaf622b7133400701dc", "pinBytes": 18684, "sha256After": "948f6c633e5142746a7fa952700f39f18b806129effa2eaf622b7133400701dc", "bytesAfter": 18684, "changed": false, "diffPaths": [], "stampPaths": [], "nonStampPaths": [], "rowsMoved": [], "registerRebuiltSeconds": null, "verdicts": { "PARTIAL": 5, "CERTIFIED": 9 }, "perRow": null, "reproducible": true, "coldWarmDiffPaths": null, "coldWarmStampPaths": null, "coldWarmNonStampPaths": null, "wrote": [], "untrackedCreated": [], "sideEffects": [], "stdoutTail": "countex-ledger: re-derived, identical (14 cases)\n", "stderrTail": null }, { "seq": 71, "record": "certs/countex-ledger.json", "kind": "rederive", "command": "python3 tools/run-countex-ledger.py --check", "profile": "extended", "run": "cold", "startedAt": "2026-10-21T11:06:23.990Z", "loadAtStart": 3.93, "power": "AC 100%", "wallSeconds": 33.959, "realSeconds": 33.95, "userSeconds": 33.71, "sysSeconds": 0.19, "cpuSeconds": 33.9, "peakRssBytes": 248381440, "overMemoryReported": false, "exit": { "code": 0, "signal": null, "killedByRunner": false, "killedProcesses": 0, "orphansKilled": 0, "abnormal": false }, "verdict": "RAN", "writes": false, "pinSha256": "948f6c633e5142746a7fa952700f39f18b806129effa2eaf622b7133400701dc", "pinBytes": 18684, "sha256After": "948f6c633e5142746a7fa952700f39f18b806129effa2eaf622b7133400701dc", "bytesAfter": 18684, "changed": false, "diffPaths": [], "stampPaths": [], "nonStampPaths": [], "rowsMoved": [], "registerRebuiltSeconds": null, "verdicts": { "PARTIAL": 5, "CERTIFIED": 9 }, "perRow": null, "reproducible": true, "coldWarmDiffPaths": [], "coldWarmStampPaths": [], "coldWarmNonStampPaths": [], "wrote": [], "untrackedCreated": [], "sideEffects": [], "stdoutTail": "countex-ledger: re-derived, identical (14 cases)\n", "stderrTail": null }, { "seq": 72, "record": "certs/countex-ledger.json", "kind": "rederive", "command": "python3 tools/run-countex-ledger.py --check", "profile": "extended", "run": "warm", "startedAt": "2026-10-21T11:06:58.022Z", "loadAtStart": 4.16, "power": "AC 100%", "wallSeconds": 33.841, "realSeconds": 33.83, "userSeconds": 33.62, "sysSeconds": 0.17, "cpuSeconds": 33.79, "peakRssBytes": 248446976, "overMemoryReported": false, "exit": { "code": 0, "signal": null, "killedByRunner": false, "killedProcesses": 0, "orphansKilled": 0, "abnormal": false }, "verdict": "RAN", "writes": false, "pinSha256": "948f6c633e5142746a7fa952700f39f18b806129effa2eaf622b7133400701dc", "pinBytes": 18684, "sha256After": "948f6c633e5142746a7fa952700f39f18b806129effa2eaf622b7133400701dc", "bytesAfter": 18684, "changed": false, "diffPaths": [], "stampPaths": [], "nonStampPaths": [], "rowsMoved": [], "registerRebuiltSeconds": null, "verdicts": { "PARTIAL": 5, "CERTIFIED": 9 }, "perRow": null, "reproducible": true, "coldWarmDiffPaths": null, "coldWarmStampPaths": null, "coldWarmNonStampPaths": null, "wrote": [], "untrackedCreated": [], "sideEffects": [], "stdoutTail": "countex-ledger: re-derived, identical (14 cases)\n", "stderrTail": null }, { "seq": 73, "record": "certs/horizonmath-ledger.json", "kind": "rederive", "command": "python3 tools/run-horizonmath-ledger.py --check", "profile": "portable", "run": "cold", "startedAt": "2026-10-21T11:07:31.940Z", "loadAtStart": 3.81, "power": "AC 100%", "wallSeconds": 1.582, "realSeconds": 1.58, "userSeconds": 1.55, "sysSeconds": 0.01, "cpuSeconds": 1.56, "peakRssBytes": 14106624, "overMemoryReported": false, "exit": { "code": 0, "signal": null, "killedByRunner": false, "killedProcesses": 0, "orphansKilled": 0, "abnormal": false }, "verdict": "RAN", "writes": false, "pinSha256": "78adab0aa528381db4e8a49e4ba7e0a57224f536d1ea984472fa402a2ee1f03a", "pinBytes": 80958, "sha256After": "78adab0aa528381db4e8a49e4ba7e0a57224f536d1ea984472fa402a2ee1f03a", "bytesAfter": 80958, "changed": false, "diffPaths": [], "stampPaths": [], "nonStampPaths": [], "rowsMoved": [], "registerRebuiltSeconds": null, "verdicts": { "REFUTED": 1, "CERTIFIED": 1, "NEEDS DATA": 1 }, "perRow": null, "reproducible": true, "coldWarmDiffPaths": [], "coldWarmStampPaths": [], "coldWarmNonStampPaths": [], "wrote": [], "untrackedCreated": [], "sideEffects": [], "stdoutTail": "horizonmath-ledger: re-derived, identical (3 rows)\n", "stderrTail": null }, { "seq": 74, "record": "certs/horizonmath-ledger.json", "kind": "rederive", "command": "python3 tools/run-horizonmath-ledger.py --check", "profile": "portable", "run": "warm", "startedAt": "2026-10-21T11:07:33.589Z", "loadAtStart": 3.81, "power": "AC 100%", "wallSeconds": 1.575, "realSeconds": 1.57, "userSeconds": 1.55, "sysSeconds": 0.01, "cpuSeconds": 1.56, "peakRssBytes": 14123008, "overMemoryReported": false, "exit": { "code": 0, "signal": null, "killedByRunner": false, "killedProcesses": 0, "orphansKilled": 0, "abnormal": false }, "verdict": "RAN", "writes": false, "pinSha256": "78adab0aa528381db4e8a49e4ba7e0a57224f536d1ea984472fa402a2ee1f03a", "pinBytes": 80958, "sha256After": "78adab0aa528381db4e8a49e4ba7e0a57224f536d1ea984472fa402a2ee1f03a", "bytesAfter": 80958, "changed": false, "diffPaths": [], "stampPaths": [], "nonStampPaths": [], "rowsMoved": [], "registerRebuiltSeconds": null, "verdicts": { "REFUTED": 1, "CERTIFIED": 1, "NEEDS DATA": 1 }, "perRow": null, "reproducible": true, "coldWarmDiffPaths": null, "coldWarmStampPaths": null, "coldWarmNonStampPaths": null, "wrote": [], "untrackedCreated": [], "sideEffects": [], "stdoutTail": "horizonmath-ledger: re-derived, identical (3 rows)\n", "stderrTail": null }, { "seq": 75, "record": "certs/horizonmath-ledger.json", "kind": "rederive", "command": "python3 tools/run-horizonmath-ledger.py --check", "profile": "extended", "run": "cold", "startedAt": "2026-10-21T11:07:35.231Z", "loadAtStart": 3.91, "power": "AC 100%", "wallSeconds": 1.582, "realSeconds": 1.58, "userSeconds": 1.56, "sysSeconds": 0.01, "cpuSeconds": 1.57, "peakRssBytes": 14106624, "overMemoryReported": false, "exit": { "code": 0, "signal": null, "killedByRunner": false, "killedProcesses": 0, "orphansKilled": 0, "abnormal": false }, "verdict": "RAN", "writes": false, "pinSha256": "78adab0aa528381db4e8a49e4ba7e0a57224f536d1ea984472fa402a2ee1f03a", "pinBytes": 80958, "sha256After": "78adab0aa528381db4e8a49e4ba7e0a57224f536d1ea984472fa402a2ee1f03a", "bytesAfter": 80958, "changed": false, "diffPaths": [], "stampPaths": [], "nonStampPaths": [], "rowsMoved": [], "registerRebuiltSeconds": null, "verdicts": { "REFUTED": 1, "CERTIFIED": 1, "NEEDS DATA": 1 }, "perRow": null, "reproducible": true, "coldWarmDiffPaths": [], "coldWarmStampPaths": [], "coldWarmNonStampPaths": [], "wrote": [], "untrackedCreated": [], "sideEffects": [], "stdoutTail": "horizonmath-ledger: re-derived, identical (3 rows)\n", "stderrTail": null }, { "seq": 76, "record": "certs/horizonmath-ledger.json", "kind": "rederive", "command": "python3 tools/run-horizonmath-ledger.py --check", "profile": "extended", "run": "warm", "startedAt": "2026-10-21T11:07:36.880Z", "loadAtStart": 3.91, "power": "AC 100%", "wallSeconds": 1.577, "realSeconds": 1.57, "userSeconds": 1.55, "sysSeconds": 0.01, "cpuSeconds": 1.56, "peakRssBytes": 14139392, "overMemoryReported": false, "exit": { "code": 0, "signal": null, "killedByRunner": false, "killedProcesses": 0, "orphansKilled": 0, "abnormal": false }, "verdict": "RAN", "writes": false, "pinSha256": "78adab0aa528381db4e8a49e4ba7e0a57224f536d1ea984472fa402a2ee1f03a", "pinBytes": 80958, "sha256After": "78adab0aa528381db4e8a49e4ba7e0a57224f536d1ea984472fa402a2ee1f03a", "bytesAfter": 80958, "changed": false, "diffPaths": [], "stampPaths": [], "nonStampPaths": [], "rowsMoved": [], "registerRebuiltSeconds": null, "verdicts": { "REFUTED": 1, "CERTIFIED": 1, "NEEDS DATA": 1 }, "perRow": null, "reproducible": true, "coldWarmDiffPaths": null, "coldWarmStampPaths": null, "coldWarmNonStampPaths": null, "wrote": [], "untrackedCreated": [], "sideEffects": [], "stdoutTail": "horizonmath-ledger: re-derived, identical (3 rows)\n", "stderrTail": null }, { "seq": 77, "record": "certs/gnnw-certificate.json", "kind": "rederive", "command": "python3 tools/run-gnnw-ledger.py --check", "profile": "portable", "run": "cold", "startedAt": "2026-10-21T11:07:38.524Z", "loadAtStart": 3.91, "power": "AC 100%", "wallSeconds": 60.242, "realSeconds": 60.01, "userSeconds": 59.69, "sysSeconds": 0.24, "cpuSeconds": 59.93, "peakRssBytes": 12632064, "overMemoryReported": false, "exit": { "code": 1, "signal": null, "killedByRunner": true, "killedProcesses": 1, "orphansKilled": 0, "abnormal": true }, "verdict": "REFUSED: resources (wall over 60 s under portable)", "writes": false, "pinSha256": "b7127457078d064ed8b6e7cd4f26110f8949c7a384b322a0d22de575a9875273", "pinBytes": 13132, "sha256After": "b7127457078d064ed8b6e7cd4f26110f8949c7a384b322a0d22de575a9875273", "bytesAfter": 13132, "changed": false, "diffPaths": [], "stampPaths": [], "nonStampPaths": [], "rowsMoved": [], "registerRebuiltSeconds": null, "verdicts": null, "perRow": null, "reproducible": null, "coldWarmDiffPaths": null, "coldWarmStampPaths": null, "coldWarmNonStampPaths": null, "wrote": [], "untrackedCreated": [], "sideEffects": [], "stdoutTail": "", "stderrTail": "" }, { "seq": 78, "record": "certs/gnnw-certificate.json", "kind": "rederive", "command": "python3 tools/run-gnnw-ledger.py --check", "profile": "portable", "run": "warm", "startedAt": "2026-10-21T11:08:38.836Z", "loadAtStart": 3.22, "power": "AC 100%", "wallSeconds": 60.25, "realSeconds": 60.01, "userSeconds": 55.55, "sysSeconds": 0.25, "cpuSeconds": 55.8, "peakRssBytes": 12681216, "overMemoryReported": false, "exit": { "code": 1, "signal": null, "killedByRunner": true, "killedProcesses": 1, "orphansKilled": 0, "abnormal": true }, "verdict": "REFUSED: resources (wall over 60 s under portable)", "writes": false, "pinSha256": "b7127457078d064ed8b6e7cd4f26110f8949c7a384b322a0d22de575a9875273", "pinBytes": 13132, "sha256After": "b7127457078d064ed8b6e7cd4f26110f8949c7a384b322a0d22de575a9875273", "bytesAfter": 13132, "changed": false, "diffPaths": [], "stampPaths": [], "nonStampPaths": [], "rowsMoved": [], "registerRebuiltSeconds": null, "verdicts": null, "perRow": null, "reproducible": null, "coldWarmDiffPaths": null, "coldWarmStampPaths": null, "coldWarmNonStampPaths": null, "wrote": [], "untrackedCreated": [], "sideEffects": [], "stdoutTail": "", "stderrTail": "" }, { "seq": 79, "record": "certs/gnnw-certificate.json", "kind": "rederive", "command": "python3 tools/run-gnnw-ledger.py --check", "profile": "extended", "run": "cold", "startedAt": "2026-10-21T11:09:39.157Z", "loadAtStart": 5.69, "power": "AC 100%", "wallSeconds": 205.235, "realSeconds": 205.23, "userSeconds": 196.35, "sysSeconds": 1.63, "cpuSeconds": 197.98, "peakRssBytes": 12615680, "overMemoryReported": false, "exit": { "code": 0, "signal": null, "killedByRunner": false, "killedProcesses": 0, "orphansKilled": 0, "abnormal": false }, "verdict": "RAN", "writes": false, "pinSha256": "b7127457078d064ed8b6e7cd4f26110f8949c7a384b322a0d22de575a9875273", "pinBytes": 13132, "sha256After": "b7127457078d064ed8b6e7cd4f26110f8949c7a384b322a0d22de575a9875273", "bytesAfter": 13132, "changed": false, "diffPaths": [], "stampPaths": [], "nonStampPaths": [], "rowsMoved": [], "registerRebuiltSeconds": null, "verdicts": {}, "perRow": null, "reproducible": true, "coldWarmDiffPaths": [], "coldWarmStampPaths": [], "coldWarmNonStampPaths": [], "wrote": [], "untrackedCreated": [], "sideEffects": [], "stdoutTail": "gnnw-ledger: re-derived, identical (CERTIFIED, c = 3.782328775537…; the chain, c = 3.772130762900…, both implementations)\n", "stderrTail": null }, { "seq": 80, "record": "certs/gnnw-certificate.json", "kind": "rederive", "command": "python3 tools/run-gnnw-ledger.py --check", "profile": "extended", "run": "warm", "startedAt": "2026-10-21T11:13:04.588Z", "loadAtStart": 3.71, "power": "AC 100%", "wallSeconds": 195.678, "realSeconds": 195.67, "userSeconds": 189.1, "sysSeconds": 1.99, "cpuSeconds": 191.09, "peakRssBytes": 12632064, "overMemoryReported": false, "exit": { "code": 0, "signal": null, "killedByRunner": false, "killedProcesses": 0, "orphansKilled": 0, "abnormal": false }, "verdict": "RAN", "writes": false, "pinSha256": "b7127457078d064ed8b6e7cd4f26110f8949c7a384b322a0d22de575a9875273", "pinBytes": 13132, "sha256After": "b7127457078d064ed8b6e7cd4f26110f8949c7a384b322a0d22de575a9875273", "bytesAfter": 13132, "changed": false, "diffPaths": [], "stampPaths": [], "nonStampPaths": [], "rowsMoved": [], "registerRebuiltSeconds": null, "verdicts": {}, "perRow": null, "reproducible": true, "coldWarmDiffPaths": null, "coldWarmStampPaths": null, "coldWarmNonStampPaths": null, "wrote": [], "untrackedCreated": [], "sideEffects": [], "stdoutTail": "gnnw-ledger: re-derived, identical (CERTIFIED, c = 3.782328775537…; the chain, c = 3.772130762900…, both implementations)\n", "stderrTail": null }, { "seq": 81, "record": "certs/gnnw-certificate.json", "kind": "verifier", "command": "python3 tools/verify_gnnw_gai.py certs/gnnw-certificate.json", "profile": "portable", "run": "cold", "startedAt": "2026-10-21T11:16:20.464Z", "loadAtStart": 3.94, "power": "AC 100%", "wallSeconds": 7.931, "realSeconds": 7.92, "userSeconds": 7.71, "sysSeconds": 0.07, "cpuSeconds": 7.78, "peakRssBytes": 12533760, "overMemoryReported": false, "exit": { "code": 0, "signal": null, "killedByRunner": false, "killedProcesses": 0, "orphansKilled": 0, "abnormal": false }, "verdict": "RAN", "writes": false, "pinSha256": "b7127457078d064ed8b6e7cd4f26110f8949c7a384b322a0d22de575a9875273", "pinBytes": 13132, "sha256After": "b7127457078d064ed8b6e7cd4f26110f8949c7a384b322a0d22de575a9875273", "bytesAfter": 13132, "changed": false, "diffPaths": [], "stampPaths": [], "nonStampPaths": [], "rowsMoved": [], "registerRebuiltSeconds": null, "verdicts": {}, "perRow": null, "reproducible": true, "coldWarmDiffPaths": [], "coldWarmStampPaths": [], "coldWarmNonStampPaths": [], "wrote": [], "untrackedCreated": [], "sideEffects": [], "stdoutTail": "CERTIFIED: Theorem 14 of Gupta-Ndiaye-Norin-Wei holds on all of (0, 1] for F = h + q e^-l with this M and Y = Y_f(X), f = F_0.03\n 79 tail intervals, 336 main intervals, smallest certified lower bound 9.555e-07; base in [3.782328775537, 3.782328775537]\n 7.9 s\n so R(k,k) <= c^(k+o(k)) with c = e^F(1) in [3.782328775537311621742800457806, 3.782328775537311621742800457806]\n", "stderrTail": null }, { "seq": 82, "record": "certs/gnnw-certificate.json", "kind": "verifier", "command": "python3 tools/verify_gnnw_gai.py certs/gnnw-certificate.json", "profile": "portable", "run": "warm", "startedAt": "2026-10-21T11:16:28.470Z", "loadAtStart": 3.78, "power": "AC 100%", "wallSeconds": 8.11, "realSeconds": 8.1, "userSeconds": 7.81, "sysSeconds": 0.11, "cpuSeconds": 7.92, "peakRssBytes": 12550144, "overMemoryReported": false, "exit": { "code": 0, "signal": null, "killedByRunner": false, "killedProcesses": 0, "orphansKilled": 0, "abnormal": false }, "verdict": "RAN", "writes": false, "pinSha256": "b7127457078d064ed8b6e7cd4f26110f8949c7a384b322a0d22de575a9875273", "pinBytes": 13132, "sha256After": "b7127457078d064ed8b6e7cd4f26110f8949c7a384b322a0d22de575a9875273", "bytesAfter": 13132, "changed": false, "diffPaths": [], "stampPaths": [], "nonStampPaths": [], "rowsMoved": [], "registerRebuiltSeconds": null, "verdicts": {}, "perRow": null, "reproducible": true, "coldWarmDiffPaths": null, "coldWarmStampPaths": null, "coldWarmNonStampPaths": null, "wrote": [], "untrackedCreated": [], "sideEffects": [], "stdoutTail": "CERTIFIED: Theorem 14 of Gupta-Ndiaye-Norin-Wei holds on all of (0, 1] for F = h + q e^-l with this M and Y = Y_f(X), f = F_0.03\n 79 tail intervals, 336 main intervals, smallest certified lower bound 9.555e-07; base in [3.782328775537, 3.782328775537]\n 8.1 s\n so R(k,k) <= c^(k+o(k)) with c = e^F(1) in [3.782328775537311621742800457806, 3.782328775537311621742800457806]\n", "stderrTail": null }, { "seq": 83, "record": "certs/gnnw-certificate.json", "kind": "verifier", "command": "python3 tools/verify_gnnw_gai.py certs/gnnw-certificate.json", "profile": "extended", "run": "cold", "startedAt": "2026-10-21T11:16:36.648Z", "loadAtStart": 3.58, "power": "AC 100%", "wallSeconds": 7.744, "realSeconds": 7.74, "userSeconds": 7.65, "sysSeconds": 0.05, "cpuSeconds": 7.7, "peakRssBytes": 12582912, "overMemoryReported": false, "exit": { "code": 0, "signal": null, "killedByRunner": false, "killedProcesses": 0, "orphansKilled": 0, "abnormal": false }, "verdict": "RAN", "writes": false, "pinSha256": "b7127457078d064ed8b6e7cd4f26110f8949c7a384b322a0d22de575a9875273", "pinBytes": 13132, "sha256After": "b7127457078d064ed8b6e7cd4f26110f8949c7a384b322a0d22de575a9875273", "bytesAfter": 13132, "changed": false, "diffPaths": [], "stampPaths": [], "nonStampPaths": [], "rowsMoved": [], "registerRebuiltSeconds": null, "verdicts": {}, "perRow": null, "reproducible": true, "coldWarmDiffPaths": [], "coldWarmStampPaths": [], "coldWarmNonStampPaths": [], "wrote": [], "untrackedCreated": [], "sideEffects": [], "stdoutTail": "CERTIFIED: Theorem 14 of Gupta-Ndiaye-Norin-Wei holds on all of (0, 1] for F = h + q e^-l with this M and Y = Y_f(X), f = F_0.03\n 79 tail intervals, 336 main intervals, smallest certified lower bound 9.555e-07; base in [3.782328775537, 3.782328775537]\n 7.7 s\n so R(k,k) <= c^(k+o(k)) with c = e^F(1) in [3.782328775537311621742800457806, 3.782328775537311621742800457806]\n", "stderrTail": null }, { "seq": 84, "record": "certs/gnnw-certificate.json", "kind": "verifier", "command": "python3 tools/verify_gnnw_gai.py certs/gnnw-certificate.json", "profile": "extended", "run": "warm", "startedAt": "2026-10-21T11:16:44.471Z", "loadAtStart": 3.53, "power": "AC 100%", "wallSeconds": 7.657, "realSeconds": 7.65, "userSeconds": 7.59, "sysSeconds": 0.04, "cpuSeconds": 7.63, "peakRssBytes": 12550144, "overMemoryReported": false, "exit": { "code": 0, "signal": null, "killedByRunner": false, "killedProcesses": 0, "orphansKilled": 0, "abnormal": false }, "verdict": "RAN", "writes": false, "pinSha256": "b7127457078d064ed8b6e7cd4f26110f8949c7a384b322a0d22de575a9875273", "pinBytes": 13132, "sha256After": "b7127457078d064ed8b6e7cd4f26110f8949c7a384b322a0d22de575a9875273", "bytesAfter": 13132, "changed": false, "diffPaths": [], "stampPaths": [], "nonStampPaths": [], "rowsMoved": [], "registerRebuiltSeconds": null, "verdicts": {}, "perRow": null, "reproducible": true, "coldWarmDiffPaths": null, "coldWarmStampPaths": null, "coldWarmNonStampPaths": null, "wrote": [], "untrackedCreated": [], "sideEffects": [], "stdoutTail": "CERTIFIED: Theorem 14 of Gupta-Ndiaye-Norin-Wei holds on all of (0, 1] for F = h + q e^-l with this M and Y = Y_f(X), f = F_0.03\n 79 tail intervals, 336 main intervals, smallest certified lower bound 9.555e-07; base in [3.782328775537, 3.782328775537]\n 7.6 s\n so R(k,k) <= c^(k+o(k)) with c = e^F(1) in [3.782328775537311621742800457806, 3.782328775537311621742800457806]\n", "stderrTail": null }, { "seq": 85, "record": "certs/gnnw-certificate.json", "kind": "second", "command": "node instruments/gnnw/second.js certs/gnnw-certificate.json", "profile": "portable", "run": "cold", "startedAt": "2026-10-21T11:16:52.200Z", "loadAtStart": 3.14, "power": "AC 100%", "wallSeconds": 60.262, "realSeconds": 60.03, "userSeconds": 58.7, "sysSeconds": 0.49, "cpuSeconds": 59.19, "peakRssBytes": 136822784, "overMemoryReported": false, "exit": { "code": 1, "signal": null, "killedByRunner": true, "killedProcesses": 1, "orphansKilled": 0, "abnormal": true }, "verdict": "REFUSED: resources (wall over 60 s under portable)", "writes": false, "pinSha256": "b7127457078d064ed8b6e7cd4f26110f8949c7a384b322a0d22de575a9875273", "pinBytes": 13132, "sha256After": "b7127457078d064ed8b6e7cd4f26110f8949c7a384b322a0d22de575a9875273", "bytesAfter": 13132, "changed": false, "diffPaths": [], "stampPaths": [], "nonStampPaths": [], "rowsMoved": [], "registerRebuiltSeconds": null, "verdicts": null, "perRow": null, "reproducible": null, "coldWarmDiffPaths": null, "coldWarmStampPaths": null, "coldWarmNonStampPaths": null, "wrote": [], "untrackedCreated": [], "sideEffects": [], "stdoutTail": "", "stderrTail": "" }, { "seq": 86, "record": "certs/gnnw-certificate.json", "kind": "second", "command": "node instruments/gnnw/second.js certs/gnnw-certificate.json", "profile": "portable", "run": "warm", "startedAt": "2026-10-21T11:17:52.687Z", "loadAtStart": 2.68, "power": "AC 100%", "wallSeconds": 60.265, "realSeconds": 60.02, "userSeconds": 57.87, "sysSeconds": 0.72, "cpuSeconds": 58.59, "peakRssBytes": 137101312, "overMemoryReported": false, "exit": { "code": 1, "signal": null, "killedByRunner": true, "killedProcesses": 1, "orphansKilled": 0, "abnormal": true }, "verdict": "REFUSED: resources (wall over 60 s under portable)", "writes": false, "pinSha256": "b7127457078d064ed8b6e7cd4f26110f8949c7a384b322a0d22de575a9875273", "pinBytes": 13132, "sha256After": "b7127457078d064ed8b6e7cd4f26110f8949c7a384b322a0d22de575a9875273", "bytesAfter": 13132, "changed": false, "diffPaths": [], "stampPaths": [], "nonStampPaths": [], "rowsMoved": [], "registerRebuiltSeconds": null, "verdicts": null, "perRow": null, "reproducible": null, "coldWarmDiffPaths": null, "coldWarmStampPaths": null, "coldWarmNonStampPaths": null, "wrote": [], "untrackedCreated": [], "sideEffects": [], "stdoutTail": "", "stderrTail": "" }, { "seq": 87, "record": "certs/gnnw-certificate.json", "kind": "second", "command": "node instruments/gnnw/second.js certs/gnnw-certificate.json", "profile": "extended", "run": "cold", "startedAt": "2026-10-21T11:18:53.161Z", "loadAtStart": 2.84, "power": "AC 100%", "wallSeconds": 136.979, "realSeconds": 136.97, "userSeconds": 131.54, "sysSeconds": 1.37, "cpuSeconds": 132.91, "peakRssBytes": 221659136, "overMemoryReported": false, "exit": { "code": 0, "signal": null, "killedByRunner": false, "killedProcesses": 0, "orphansKilled": 0, "abnormal": false }, "verdict": "RAN", "writes": false, "pinSha256": "b7127457078d064ed8b6e7cd4f26110f8949c7a384b322a0d22de575a9875273", "pinBytes": 13132, "sha256After": "b7127457078d064ed8b6e7cd4f26110f8949c7a384b322a0d22de575a9875273", "bytesAfter": 13132, "changed": false, "diffPaths": [], "stampPaths": [], "nonStampPaths": [], "rowsMoved": [], "registerRebuiltSeconds": null, "verdicts": {}, "perRow": null, "reproducible": true, "coldWarmDiffPaths": [], "coldWarmStampPaths": [], "coldWarmNonStampPaths": [], "wrote": [], "untrackedCreated": [], "sideEffects": [], "stdoutTail": "{\n \"verdict\": \"CERTIFIED\",\n \"steps\": [\n {\n \"tail\": 79,\n \"main\": 11322,\n \"minTailS\": 0.000004714627115489143,\n \"minMainLB\": 3.699262530843567e-8,\n \"c\": [\n \"3.7823287755373116217428004\",\n \"3.7823287755373116217428005\"\n ]\n }\n ],\n \"c\": [\n \"3.7823287755373116217428004\",\n \"3.7823287755373116217428005\"\n ],\n \"seconds\": 136.925\n}\n", "stderrTail": null }, { "seq": 88, "record": "certs/gnnw-certificate.json", "kind": "second", "command": "node instruments/gnnw/second.js certs/gnnw-certificate.json", "profile": "extended", "run": "warm", "startedAt": "2026-10-21T11:21:10.340Z", "loadAtStart": 3.64, "power": "AC 100%", "wallSeconds": 132.88, "realSeconds": 132.87, "userSeconds": 130.15, "sysSeconds": 0.95, "cpuSeconds": 131.1, "peakRssBytes": 222265344, "overMemoryReported": false, "exit": { "code": 0, "signal": null, "killedByRunner": false, "killedProcesses": 0, "orphansKilled": 0, "abnormal": false }, "verdict": "RAN", "writes": false, "pinSha256": "b7127457078d064ed8b6e7cd4f26110f8949c7a384b322a0d22de575a9875273", "pinBytes": 13132, "sha256After": "b7127457078d064ed8b6e7cd4f26110f8949c7a384b322a0d22de575a9875273", "bytesAfter": 13132, "changed": false, "diffPaths": [], "stampPaths": [], "nonStampPaths": [], "rowsMoved": [], "registerRebuiltSeconds": null, "verdicts": {}, "perRow": null, "reproducible": true, "coldWarmDiffPaths": null, "coldWarmStampPaths": null, "coldWarmNonStampPaths": null, "wrote": [], "untrackedCreated": [], "sideEffects": [], "stdoutTail": "{\n \"verdict\": \"CERTIFIED\",\n \"steps\": [\n {\n \"tail\": 79,\n \"main\": 11322,\n \"minTailS\": 0.000004714627115489143,\n \"minMainLB\": 3.699262530843567e-8,\n \"c\": [\n \"3.7823287755373116217428004\",\n \"3.7823287755373116217428005\"\n ]\n }\n ],\n \"c\": [\n \"3.7823287755373116217428004\",\n \"3.7823287755373116217428005\"\n ],\n \"seconds\": 132.83\n}\n", "stderrTail": null }, { "seq": 89, "record": "certs/polymaps-ledger.json", "kind": "rederive", "command": "python3 tools/run-polymaps-ledger.py --check", "profile": "portable", "run": "cold", "startedAt": "2026-10-21T11:23:23.422Z", "loadAtStart": 3.56, "power": "AC 100%", "wallSeconds": 60.257, "realSeconds": 60.02, "userSeconds": 58.74, "sysSeconds": 0.4, "cpuSeconds": 59.14, "peakRssBytes": 35766272, "overMemoryReported": false, "exit": { "code": 1, "signal": null, "killedByRunner": true, "killedProcesses": 1, "orphansKilled": 0, "abnormal": true }, "verdict": "REFUSED: resources (wall over 60 s under portable)", "writes": false, "pinSha256": "c3f99c9398ef410e402d4422286dfdd2ab0085ddad933bf9bcdd5c18eef6c3f3", "pinBytes": 8616, "sha256After": "c3f99c9398ef410e402d4422286dfdd2ab0085ddad933bf9bcdd5c18eef6c3f3", "bytesAfter": 8616, "changed": false, "diffPaths": [], "stampPaths": [], "nonStampPaths": [], "rowsMoved": [], "registerRebuiltSeconds": null, "verdicts": null, "perRow": null, "reproducible": null, "coldWarmDiffPaths": null, "coldWarmStampPaths": null, "coldWarmNonStampPaths": null, "wrote": [], "untrackedCreated": [], "sideEffects": [], "stdoutTail": "", "stderrTail": "" }, { "seq": 90, "record": "certs/polymaps-ledger.json", "kind": "rederive", "command": "python3 tools/run-polymaps-ledger.py --check", "profile": "portable", "run": "warm", "startedAt": "2026-10-21T11:24:23.766Z", "loadAtStart": 2.65, "power": "AC 100%", "wallSeconds": 60.265, "realSeconds": 60.02, "userSeconds": 58.98, "sysSeconds": 0.36, "cpuSeconds": 59.34, "peakRssBytes": 36569088, "overMemoryReported": false, "exit": { "code": 1, "signal": null, "killedByRunner": true, "killedProcesses": 1, "orphansKilled": 0, "abnormal": true }, "verdict": "REFUSED: resources (wall over 60 s under portable)", "writes": false, "pinSha256": "c3f99c9398ef410e402d4422286dfdd2ab0085ddad933bf9bcdd5c18eef6c3f3", "pinBytes": 8616, "sha256After": "c3f99c9398ef410e402d4422286dfdd2ab0085ddad933bf9bcdd5c18eef6c3f3", "bytesAfter": 8616, "changed": false, "diffPaths": [], "stampPaths": [], "nonStampPaths": [], "rowsMoved": [], "registerRebuiltSeconds": null, "verdicts": null, "perRow": null, "reproducible": null, "coldWarmDiffPaths": null, "coldWarmStampPaths": null, "coldWarmNonStampPaths": null, "wrote": [], "untrackedCreated": [], "sideEffects": [], "stdoutTail": "", "stderrTail": "" }, { "seq": 91, "record": "certs/polymaps-ledger.json", "kind": "rederive", "command": "python3 tools/run-polymaps-ledger.py --check", "profile": "extended", "run": "cold", "startedAt": "2026-10-21T11:25:24.121Z", "loadAtStart": 2.47, "power": "AC 100%", "wallSeconds": 88.809, "realSeconds": 88.8, "userSeconds": 85.89, "sysSeconds": 0.74, "cpuSeconds": 86.63, "peakRssBytes": 47398912, "overMemoryReported": false, "exit": { "code": 0, "signal": null, "killedByRunner": false, "killedProcesses": 0, "orphansKilled": 0, "abnormal": false }, "verdict": "RAN", "writes": false, "pinSha256": "c3f99c9398ef410e402d4422286dfdd2ab0085ddad933bf9bcdd5c18eef6c3f3", "pinBytes": 8616, "sha256After": "c3f99c9398ef410e402d4422286dfdd2ab0085ddad933bf9bcdd5c18eef6c3f3", "bytesAfter": 8616, "changed": false, "diffPaths": [], "stampPaths": [], "nonStampPaths": [], "rowsMoved": [], "registerRebuiltSeconds": null, "verdicts": { "CERTIFIED": 7, "PARTIAL": 1 }, "perRow": null, "reproducible": true, "coldWarmDiffPaths": [], "coldWarmStampPaths": [], "coldWarmNonStampPaths": [], "wrote": [], "untrackedCreated": [], "sideEffects": [], "stdoutTail": "polymaps-ledger: re-derived, identical (8 rows)\n", "stderrTail": null }, { "seq": 92, "record": "certs/polymaps-ledger.json", "kind": "rederive", "command": "python3 tools/run-polymaps-ledger.py --check", "profile": "extended", "run": "warm", "startedAt": "2026-10-21T11:26:53.135Z", "loadAtStart": 2.99, "power": "AC 100%", "wallSeconds": 91.941, "realSeconds": 91.93, "userSeconds": 87.15, "sysSeconds": 1.24, "cpuSeconds": 88.39, "peakRssBytes": 46006272, "overMemoryReported": false, "exit": { "code": 0, "signal": null, "killedByRunner": false, "killedProcesses": 0, "orphansKilled": 0, "abnormal": false }, "verdict": "RAN", "writes": false, "pinSha256": "c3f99c9398ef410e402d4422286dfdd2ab0085ddad933bf9bcdd5c18eef6c3f3", "pinBytes": 8616, "sha256After": "c3f99c9398ef410e402d4422286dfdd2ab0085ddad933bf9bcdd5c18eef6c3f3", "bytesAfter": 8616, "changed": false, "diffPaths": [], "stampPaths": [], "nonStampPaths": [], "rowsMoved": [], "registerRebuiltSeconds": null, "verdicts": { "CERTIFIED": 7, "PARTIAL": 1 }, "perRow": null, "reproducible": true, "coldWarmDiffPaths": null, "coldWarmStampPaths": null, "coldWarmNonStampPaths": null, "wrote": [], "untrackedCreated": [], "sideEffects": [], "stdoutTail": "polymaps-ledger: re-derived, identical (8 rows)\n", "stderrTail": null }, { "seq": 93, "record": "certs/mc100-alphatensor-q.json", "kind": "rederive", "command": "node tools/run-mc100-tensors.js alphatensor-q", "profile": "portable", "run": "cold", "startedAt": "2026-10-21T11:28:25.297Z", "loadAtStart": 3.19, "power": "AC 100%", "wallSeconds": 0.268, "realSeconds": 0.26, "userSeconds": 0.15, "sysSeconds": 0.05, "cpuSeconds": 0.2, "peakRssBytes": 67911680, "overMemoryReported": false, "exit": { "code": 0, "signal": null, "killedByRunner": false, "killedProcesses": 0, "orphansKilled": 0, "abnormal": false }, "verdict": "RAN", "writes": true, "pinSha256": "753485444a3e4498c15cfa47e8e1a48ff40d66ca2cebd5d55349216f3902d9f7", "pinBytes": 33607, "sha256After": "47bb80d7a83e705d8c04669245c92a21275a9dfd6bc7d2b6e79c05060c0a4ae1", "bytesAfter": 33614, "changed": true, "diffPaths": [ "generated", "git", "rows[*].ms", "timing.rowMsTotal", "timing.runMs" ], "stampPaths": [ "generated", "git", "rows[*].ms", "timing.rowMsTotal", "timing.runMs" ], "nonStampPaths": [], "rowsMoved": [], "registerRebuiltSeconds": 2.6, "verdicts": { "CERTIFIED": 12 }, "perRow": { "mc100-at-q-2x2x3": { "field": "ms", "ms": 1.8 }, "mc100-at-q-2x2x4": { "field": "ms", "ms": 1 }, "mc100-at-q-2x3x3": { "field": "ms", "ms": 1.1 }, "mc100-at-q-2x2x5": { "field": "ms", "ms": 1.1 }, "mc100-at-q-2x2x6": { "field": "ms", "ms": 1.5 }, "mc100-at-q-2x3x4": { "field": "ms", "ms": 0.9 }, "mc100-at-q-2x2x7": { "field": "ms", "ms": 1.4 }, "mc100-at-q-2x3x5": { "field": "ms", "ms": 1.7 }, "mc100-at-q-2x2x8": { "field": "ms", "ms": 2.1 }, "mc100-at-q-2x4x4": { "field": "ms", "ms": 5.5 }, "mc100-at-q-3x3x4": { "field": "ms", "ms": 3.1 }, "mc100-at-q-2x4x5": { "field": "ms", "ms": 6.4 } }, "reproducible": true, "coldWarmDiffPaths": [ "generated", "rows[*].ms", "timing.rowMsTotal", "timing.runMs" ], "coldWarmStampPaths": [ "generated", "rows[*].ms", "timing.rowMsTotal", "timing.runMs" ], "coldWarmNonStampPaths": [], "wrote": [ "certs/mc100-alphatensor-q.json" ], "untrackedCreated": [], "sideEffects": [], "stdoutTail": "certs/mc100-alphatensor-q.json · 12 rows · 12 CERTIFIED · 143.3 ms · stdlib re-derivation: verify_strassen: 12 entries checked, 0 failures\n", "stderrTail": null }, { "seq": 94, "record": "certs/mc100-alphatensor-q.json", "kind": "rederive", "command": "node tools/run-mc100-tensors.js alphatensor-q", "profile": "portable", "run": "warm", "startedAt": "2026-10-21T11:28:28.224Z", "loadAtStart": 3.1, "power": "AC 100%", "wallSeconds": 0.184, "realSeconds": 0.18, "userSeconds": 0.14, "sysSeconds": 0.03, "cpuSeconds": 0.17, "peakRssBytes": 67616768, "overMemoryReported": false, "exit": { "code": 0, "signal": null, "killedByRunner": false, "killedProcesses": 0, "orphansKilled": 0, "abnormal": false }, "verdict": "RAN", "writes": true, "pinSha256": "753485444a3e4498c15cfa47e8e1a48ff40d66ca2cebd5d55349216f3902d9f7", "pinBytes": 33607, "sha256After": "983d9e751b5c236c9cea5dcbe5c208cf50275f01dec6b3f8ba5f8a7a4d065707", "bytesAfter": 33613, "changed": true, "diffPaths": [ "generated", "git", "rows[*].ms", "timing.rowMsTotal", "timing.runMs" ], "stampPaths": [ "generated", "git", "rows[*].ms", "timing.rowMsTotal", "timing.runMs" ], "nonStampPaths": [], "rowsMoved": [], "registerRebuiltSeconds": 2.5, "verdicts": { "CERTIFIED": 12 }, "perRow": { "mc100-at-q-2x2x3": { "field": "ms", "ms": 1.3 }, "mc100-at-q-2x2x4": { "field": "ms", "ms": 0.9 }, "mc100-at-q-2x3x3": { "field": "ms", "ms": 1.1 }, "mc100-at-q-2x2x5": { "field": "ms", "ms": 1 }, "mc100-at-q-2x2x6": { "field": "ms", "ms": 1.8 }, "mc100-at-q-2x3x4": { "field": "ms", "ms": 1.1 }, "mc100-at-q-2x2x7": { "field": "ms", "ms": 1.5 }, "mc100-at-q-2x3x5": { "field": "ms", "ms": 1.6 }, "mc100-at-q-2x2x8": { "field": "ms", "ms": 2.1 }, "mc100-at-q-2x4x4": { "field": "ms", "ms": 2.2 }, "mc100-at-q-3x3x4": { "field": "ms", "ms": 2.9 }, "mc100-at-q-2x4x5": { "field": "ms", "ms": 0.3 } }, "reproducible": true, "coldWarmDiffPaths": null, "coldWarmStampPaths": null, "coldWarmNonStampPaths": null, "wrote": [ "certs/mc100-alphatensor-q.json" ], "untrackedCreated": [], "sideEffects": [], "stdoutTail": "certs/mc100-alphatensor-q.json · 12 rows · 12 CERTIFIED · 79.9 ms · stdlib re-derivation: verify_strassen: 12 entries checked, 0 failures\n", "stderrTail": null }, { "seq": 95, "record": "certs/mc100-alphatensor-q.json", "kind": "rederive", "command": "node tools/run-mc100-tensors.js alphatensor-q", "profile": "extended", "run": "cold", "startedAt": "2026-10-21T11:28:31.035Z", "loadAtStart": 3.1, "power": "AC 100%", "wallSeconds": 0.182, "realSeconds": 0.17, "userSeconds": 0.14, "sysSeconds": 0.03, "cpuSeconds": 0.17, "peakRssBytes": 67731456, "overMemoryReported": false, "exit": { "code": 0, "signal": null, "killedByRunner": false, "killedProcesses": 0, "orphansKilled": 0, "abnormal": false }, "verdict": "RAN", "writes": true, "pinSha256": "753485444a3e4498c15cfa47e8e1a48ff40d66ca2cebd5d55349216f3902d9f7", "pinBytes": 33607, "sha256After": "e9a2c5b7989b2ad6f22cf9c6ba3fa9d6ebde01f9aa2900e8fb0ebfe48a82ae8b", "bytesAfter": 33613, "changed": true, "diffPaths": [ "generated", "git", "rows[*].ms", "timing.rowMsTotal", "timing.runMs" ], "stampPaths": [ "generated", "git", "rows[*].ms", "timing.rowMsTotal", "timing.runMs" ], "nonStampPaths": [], "rowsMoved": [], "registerRebuiltSeconds": 2.5, "verdicts": { "CERTIFIED": 12 }, "perRow": { "mc100-at-q-2x2x3": { "field": "ms", "ms": 1.4 }, "mc100-at-q-2x2x4": { "field": "ms", "ms": 0.8 }, "mc100-at-q-2x3x3": { "field": "ms", "ms": 1.2 }, "mc100-at-q-2x2x5": { "field": "ms", "ms": 1.3 }, "mc100-at-q-2x2x6": { "field": "ms", "ms": 1.4 }, "mc100-at-q-2x3x4": { "field": "ms", "ms": 0.9 }, "mc100-at-q-2x2x7": { "field": "ms", "ms": 1.4 }, "mc100-at-q-2x3x5": { "field": "ms", "ms": 1.7 }, "mc100-at-q-2x2x8": { "field": "ms", "ms": 2.2 }, "mc100-at-q-2x4x4": { "field": "ms", "ms": 2.6 }, "mc100-at-q-3x3x4": { "field": "ms", "ms": 2.8 }, "mc100-at-q-2x4x5": { "field": "ms", "ms": 0.3 } }, "reproducible": true, "coldWarmDiffPaths": [ "generated", "rows[*].ms", "timing.rowMsTotal", "timing.runMs" ], "coldWarmStampPaths": [ "generated", "rows[*].ms", "timing.rowMsTotal", "timing.runMs" ], "coldWarmNonStampPaths": [], "wrote": [ "certs/mc100-alphatensor-q.json" ], "untrackedCreated": [], "sideEffects": [], "stdoutTail": "certs/mc100-alphatensor-q.json · 12 rows · 12 CERTIFIED · 76.8 ms · stdlib re-derivation: verify_strassen: 12 entries checked, 0 failures\n", "stderrTail": null }, { "seq": 96, "record": "certs/mc100-alphatensor-q.json", "kind": "rederive", "command": "node tools/run-mc100-tensors.js alphatensor-q", "profile": "extended", "run": "warm", "startedAt": "2026-10-21T11:28:33.814Z", "loadAtStart": 3.01, "power": "AC 100%", "wallSeconds": 0.178, "realSeconds": 0.17, "userSeconds": 0.14, "sysSeconds": 0.03, "cpuSeconds": 0.17, "peakRssBytes": 67584000, "overMemoryReported": false, "exit": { "code": 0, "signal": null, "killedByRunner": false, "killedProcesses": 0, "orphansKilled": 0, "abnormal": false }, "verdict": "RAN", "writes": true, "pinSha256": "753485444a3e4498c15cfa47e8e1a48ff40d66ca2cebd5d55349216f3902d9f7", "pinBytes": 33607, "sha256After": "21ede0322a6d4d654edcc2ae6ede3d331737ff2df08c309bdec134782fb4c50e", "bytesAfter": 33613, "changed": true, "diffPaths": [ "generated", "git", "rows[*].ms", "timing.rowMsTotal", "timing.runMs" ], "stampPaths": [ "generated", "git", "rows[*].ms", "timing.rowMsTotal", "timing.runMs" ], "nonStampPaths": [], "rowsMoved": [], "registerRebuiltSeconds": 2.8, "verdicts": { "CERTIFIED": 12 }, "perRow": { "mc100-at-q-2x2x3": { "field": "ms", "ms": 1.3 }, "mc100-at-q-2x2x4": { "field": "ms", "ms": 0.8 }, "mc100-at-q-2x3x3": { "field": "ms", "ms": 0.9 }, "mc100-at-q-2x2x5": { "field": "ms", "ms": 1.4 }, "mc100-at-q-2x2x6": { "field": "ms", "ms": 1.6 }, "mc100-at-q-2x3x4": { "field": "ms", "ms": 1 }, "mc100-at-q-2x2x7": { "field": "ms", "ms": 1.4 }, "mc100-at-q-2x3x5": { "field": "ms", "ms": 1.6 }, "mc100-at-q-2x2x8": { "field": "ms", "ms": 2.1 }, "mc100-at-q-2x4x4": { "field": "ms", "ms": 2.1 }, "mc100-at-q-3x3x4": { "field": "ms", "ms": 2.7 }, "mc100-at-q-2x4x5": { "field": "ms", "ms": 0.3 } }, "reproducible": true, "coldWarmDiffPaths": null, "coldWarmStampPaths": null, "coldWarmNonStampPaths": null, "wrote": [ "certs/mc100-alphatensor-q.json" ], "untrackedCreated": [], "sideEffects": [], "stdoutTail": "certs/mc100-alphatensor-q.json · 12 rows · 12 CERTIFIED · 74.4 ms · stdlib re-derivation: verify_strassen: 12 entries checked, 0 failures\n", "stderrTail": null }, { "seq": 97, "record": "certs/mc100-alphatensor-q.json", "kind": "verifier", "command": "python3 tools/verify_strassen.py certs/mc100-alphatensor-q.json --sources corpus/sources", "profile": "portable", "run": "cold", "startedAt": "2026-10-21T11:28:36.842Z", "loadAtStart": 3.33, "power": "AC 100%", "wallSeconds": 0.055, "realSeconds": 0.05, "userSeconds": 0.03, "sysSeconds": 0.01, "cpuSeconds": 0.04, "peakRssBytes": 11780096, "overMemoryReported": false, "exit": { "code": 0, "signal": null, "killedByRunner": false, "killedProcesses": 0, "orphansKilled": 0, "abnormal": false }, "verdict": "RAN", "writes": false, "pinSha256": "753485444a3e4498c15cfa47e8e1a48ff40d66ca2cebd5d55349216f3902d9f7", "pinBytes": 33607, "sha256After": "753485444a3e4498c15cfa47e8e1a48ff40d66ca2cebd5d55349216f3902d9f7", "bytesAfter": 33607, "changed": false, "diffPaths": [], "stampPaths": [], "nonStampPaths": [], "rowsMoved": [], "registerRebuiltSeconds": null, "verdicts": { "CERTIFIED": 12 }, "perRow": null, "reproducible": true, "coldWarmDiffPaths": [], "coldWarmStampPaths": [], "coldWarmNonStampPaths": [], "wrote": [], "untrackedCreated": [], "sideEffects": [], "stdoutTail": "SS at-q-2x2x8 2x2 times 2x8 in 28 multiplications over Q (layout CA): all 1024 equations hold\nPASS at-q-2x4x4 2x4 times 4x4 in 26 multiplications over Q (layout CA): all 1024 equations hold\nPASS at-q-3x3x4 3x3 times 3x4 in 29 multiplications over Q (layout CA): all 1296 equations hold\nPASS at-q-2x4x5 2x4 times 4x5 in 33 multiplications over Q (layout CA): all 1600 equations hold\nPASS source alphatensor_r.npz sha256 matches pin\nPASS RED control: one coefficient forged by +1 is refuted\n\nverify_strassen: 12 entries checked, 0 failures\n", "stderrTail": null }, { "seq": 98, "record": "certs/mc100-alphatensor-q.json", "kind": "verifier", "command": "python3 tools/verify_strassen.py certs/mc100-alphatensor-q.json --sources corpus/sources", "profile": "portable", "run": "warm", "startedAt": "2026-10-21T11:28:36.977Z", "loadAtStart": 3.33, "power": "AC 100%", "wallSeconds": 0.055, "realSeconds": 0.05, "userSeconds": 0.03, "sysSeconds": 0, "cpuSeconds": 0.03, "peakRssBytes": 11780096, "overMemoryReported": false, "exit": { "code": 0, "signal": null, "killedByRunner": false, "killedProcesses": 0, "orphansKilled": 0, "abnormal": false }, "verdict": "RAN", "writes": false, "pinSha256": "753485444a3e4498c15cfa47e8e1a48ff40d66ca2cebd5d55349216f3902d9f7", "pinBytes": 33607, "sha256After": "753485444a3e4498c15cfa47e8e1a48ff40d66ca2cebd5d55349216f3902d9f7", "bytesAfter": 33607, "changed": false, "diffPaths": [], "stampPaths": [], "nonStampPaths": [], "rowsMoved": [], "registerRebuiltSeconds": null, "verdicts": { "CERTIFIED": 12 }, "perRow": null, "reproducible": true, "coldWarmDiffPaths": null, "coldWarmStampPaths": null, "coldWarmNonStampPaths": null, "wrote": [], "untrackedCreated": [], "sideEffects": [], "stdoutTail": "SS at-q-2x2x8 2x2 times 2x8 in 28 multiplications over Q (layout CA): all 1024 equations hold\nPASS at-q-2x4x4 2x4 times 4x4 in 26 multiplications over Q (layout CA): all 1024 equations hold\nPASS at-q-3x3x4 3x3 times 3x4 in 29 multiplications over Q (layout CA): all 1296 equations hold\nPASS at-q-2x4x5 2x4 times 4x5 in 33 multiplications over Q (layout CA): all 1600 equations hold\nPASS source alphatensor_r.npz sha256 matches pin\nPASS RED control: one coefficient forged by +1 is refuted\n\nverify_strassen: 12 entries checked, 0 failures\n", "stderrTail": null }, { "seq": 99, "record": "certs/mc100-alphatensor-q.json", "kind": "verifier", "command": "python3 tools/verify_strassen.py certs/mc100-alphatensor-q.json --sources corpus/sources", "profile": "extended", "run": "cold", "startedAt": "2026-10-21T11:28:37.109Z", "loadAtStart": 3.33, "power": "AC 100%", "wallSeconds": 0.062, "realSeconds": 0.06, "userSeconds": 0.04, "sysSeconds": 0.01, "cpuSeconds": 0.05, "peakRssBytes": 11943936, "overMemoryReported": false, "exit": { "code": 0, "signal": null, "killedByRunner": false, "killedProcesses": 0, "orphansKilled": 0, "abnormal": false }, "verdict": "RAN", "writes": false, "pinSha256": "753485444a3e4498c15cfa47e8e1a48ff40d66ca2cebd5d55349216f3902d9f7", "pinBytes": 33607, "sha256After": "753485444a3e4498c15cfa47e8e1a48ff40d66ca2cebd5d55349216f3902d9f7", "bytesAfter": 33607, "changed": false, "diffPaths": [], "stampPaths": [], "nonStampPaths": [], "rowsMoved": [], "registerRebuiltSeconds": null, "verdicts": { "CERTIFIED": 12 }, "perRow": null, "reproducible": true, "coldWarmDiffPaths": [], "coldWarmStampPaths": [], "coldWarmNonStampPaths": [], "wrote": [], "untrackedCreated": [], "sideEffects": [], "stdoutTail": "SS at-q-2x2x8 2x2 times 2x8 in 28 multiplications over Q (layout CA): all 1024 equations hold\nPASS at-q-2x4x4 2x4 times 4x4 in 26 multiplications over Q (layout CA): all 1024 equations hold\nPASS at-q-3x3x4 3x3 times 3x4 in 29 multiplications over Q (layout CA): all 1296 equations hold\nPASS at-q-2x4x5 2x4 times 4x5 in 33 multiplications over Q (layout CA): all 1600 equations hold\nPASS source alphatensor_r.npz sha256 matches pin\nPASS RED control: one coefficient forged by +1 is refuted\n\nverify_strassen: 12 entries checked, 0 failures\n", "stderrTail": null }, { "seq": 100, "record": "certs/mc100-alphatensor-q.json", "kind": "verifier", "command": "python3 tools/verify_strassen.py certs/mc100-alphatensor-q.json --sources corpus/sources", "profile": "extended", "run": "warm", "startedAt": "2026-10-21T11:28:37.247Z", "loadAtStart": 3.33, "power": "AC 100%", "wallSeconds": 0.053, "realSeconds": 0.05, "userSeconds": 0.03, "sysSeconds": 0, "cpuSeconds": 0.03, "peakRssBytes": 11780096, "overMemoryReported": false, "exit": { "code": 0, "signal": null, "killedByRunner": false, "killedProcesses": 0, "orphansKilled": 0, "abnormal": false }, "verdict": "RAN", "writes": false, "pinSha256": "753485444a3e4498c15cfa47e8e1a48ff40d66ca2cebd5d55349216f3902d9f7", "pinBytes": 33607, "sha256After": "753485444a3e4498c15cfa47e8e1a48ff40d66ca2cebd5d55349216f3902d9f7", "bytesAfter": 33607, "changed": false, "diffPaths": [], "stampPaths": [], "nonStampPaths": [], "rowsMoved": [], "registerRebuiltSeconds": null, "verdicts": { "CERTIFIED": 12 }, "perRow": null, "reproducible": true, "coldWarmDiffPaths": null, "coldWarmStampPaths": null, "coldWarmNonStampPaths": null, "wrote": [], "untrackedCreated": [], "sideEffects": [], "stdoutTail": "SS at-q-2x2x8 2x2 times 2x8 in 28 multiplications over Q (layout CA): all 1024 equations hold\nPASS at-q-2x4x4 2x4 times 4x4 in 26 multiplications over Q (layout CA): all 1024 equations hold\nPASS at-q-3x3x4 3x3 times 3x4 in 29 multiplications over Q (layout CA): all 1296 equations hold\nPASS at-q-2x4x5 2x4 times 4x5 in 33 multiplications over Q (layout CA): all 1600 equations hold\nPASS source alphatensor_r.npz sha256 matches pin\nPASS RED control: one coefficient forged by +1 is refuted\n\nverify_strassen: 12 entries checked, 0 failures\n", "stderrTail": null }, { "seq": 101, "record": "certs/mc100-alphatensor-f2.json", "kind": "rederive", "command": "node tools/run-mc100-tensors.js alphatensor-f2", "profile": "portable", "run": "cold", "startedAt": "2026-10-21T11:28:37.374Z", "loadAtStart": 3.33, "power": "AC 100%", "wallSeconds": 0.173, "realSeconds": 0.17, "userSeconds": 0.13, "sysSeconds": 0.03, "cpuSeconds": 0.16, "peakRssBytes": 66830336, "overMemoryReported": false, "exit": { "code": 0, "signal": null, "killedByRunner": false, "killedProcesses": 0, "orphansKilled": 0, "abnormal": false }, "verdict": "RAN", "writes": true, "pinSha256": "0222c5552b7c24f38f1231508bce613876eafce4e161325ef1b0bf3817d90a77", "pinBytes": 21079, "sha256After": "ac748494e91b21a2aab395e39731287d8d7f529ac9d4b8bf148583d167e88df3", "bytesAfter": 21078, "changed": true, "diffPaths": [ "generated", "git", "rows[*].ms", "timing.runMs" ], "stampPaths": [ "generated", "git", "rows[*].ms", "timing.runMs" ], "nonStampPaths": [], "rowsMoved": [], "registerRebuiltSeconds": 2.4, "verdicts": { "CERTIFIED": 8 }, "perRow": { "mc100-at-f2-2x2x3": { "field": "ms", "ms": 1 }, "mc100-at-f2-2x2x4": { "field": "ms", "ms": 0.8 }, "mc100-at-f2-2x3x3": { "field": "ms", "ms": 0.9 }, "mc100-at-f2-2x2x5": { "field": "ms", "ms": 1.2 }, "mc100-at-f2-2x3x4": { "field": "ms", "ms": 1.1 }, "mc100-at-f2-2x3x5": { "field": "ms", "ms": 1.7 }, "mc100-at-f2-2x4x4": { "field": "ms", "ms": 2 }, "mc100-at-f2-3x3x4": { "field": "ms", "ms": 2.7 } }, "reproducible": true, "coldWarmDiffPaths": [ "generated", "rows[*].ms", "timing.rowMsTotal", "timing.runMs" ], "coldWarmStampPaths": [ "generated", "rows[*].ms", "timing.rowMsTotal", "timing.runMs" ], "coldWarmNonStampPaths": [], "wrote": [ "certs/mc100-alphatensor-f2.json" ], "untrackedCreated": [], "sideEffects": [], "stdoutTail": "certs/mc100-alphatensor-f2.json · 8 rows · 8 CERTIFIED · 69.1 ms · stdlib re-derivation: verify_strassen: 8 entries checked, 0 failures\n", "stderrTail": null }, { "seq": 102, "record": "certs/mc100-alphatensor-f2.json", "kind": "rederive", "command": "node tools/run-mc100-tensors.js alphatensor-f2", "profile": "portable", "run": "warm", "startedAt": "2026-10-21T11:28:40.066Z", "loadAtStart": 3.33, "power": "AC 100%", "wallSeconds": 0.163, "realSeconds": 0.16, "userSeconds": 0.12, "sysSeconds": 0.03, "cpuSeconds": 0.15, "peakRssBytes": 66781184, "overMemoryReported": false, "exit": { "code": 0, "signal": null, "killedByRunner": false, "killedProcesses": 0, "orphansKilled": 0, "abnormal": false }, "verdict": "RAN", "writes": true, "pinSha256": "0222c5552b7c24f38f1231508bce613876eafce4e161325ef1b0bf3817d90a77", "pinBytes": 21079, "sha256After": "c5a0fe54e6c63f152f69d0cd9725c4bc8d419dea272ca0bcb4a1532def78cd32", "bytesAfter": 21078, "changed": true, "diffPaths": [ "generated", "git", "rows[*].ms", "timing.rowMsTotal", "timing.runMs" ], "stampPaths": [ "generated", "git", "rows[*].ms", "timing.rowMsTotal", "timing.runMs" ], "nonStampPaths": [], "rowsMoved": [], "registerRebuiltSeconds": 2.7, "verdicts": { "CERTIFIED": 8 }, "perRow": { "mc100-at-f2-2x2x3": { "field": "ms", "ms": 0.7 }, "mc100-at-f2-2x2x4": { "field": "ms", "ms": 0.8 }, "mc100-at-f2-2x3x3": { "field": "ms", "ms": 0.9 }, "mc100-at-f2-2x2x5": { "field": "ms", "ms": 1 }, "mc100-at-f2-2x3x4": { "field": "ms", "ms": 1.1 }, "mc100-at-f2-2x3x5": { "field": "ms", "ms": 2 }, "mc100-at-f2-2x4x4": { "field": "ms", "ms": 2.1 }, "mc100-at-f2-3x3x4": { "field": "ms", "ms": 2.7 } }, "reproducible": true, "coldWarmDiffPaths": null, "coldWarmStampPaths": null, "coldWarmNonStampPaths": null, "wrote": [ "certs/mc100-alphatensor-f2.json" ], "untrackedCreated": [], "sideEffects": [], "stdoutTail": "certs/mc100-alphatensor-f2.json · 8 rows · 8 CERTIFIED · 69.2 ms · stdlib re-derivation: verify_strassen: 8 entries checked, 0 failures\n", "stderrTail": null }, { "seq": 103, "record": "certs/mc100-alphatensor-f2.json", "kind": "rederive", "command": "node tools/run-mc100-tensors.js alphatensor-f2", "profile": "extended", "run": "cold", "startedAt": "2026-10-21T11:28:43.015Z", "loadAtStart": 3.22, "power": "AC 100%", "wallSeconds": 0.223, "realSeconds": 0.21, "userSeconds": 0.14, "sysSeconds": 0.05, "cpuSeconds": 0.19, "peakRssBytes": 66830336, "overMemoryReported": false, "exit": { "code": 0, "signal": null, "killedByRunner": false, "killedProcesses": 0, "orphansKilled": 0, "abnormal": false }, "verdict": "RAN", "writes": true, "pinSha256": "0222c5552b7c24f38f1231508bce613876eafce4e161325ef1b0bf3817d90a77", "pinBytes": 21079, "sha256After": "b3b7e844513da36ae5143bd3fdc7c90ad59a88dac9b4ee3daa7e2f4afbe195aa", "bytesAfter": 21083, "changed": true, "diffPaths": [ "generated", "git", "rows[*].ms", "timing.rowMsTotal", "timing.runMs" ], "stampPaths": [ "generated", "git", "rows[*].ms", "timing.rowMsTotal", "timing.runMs" ], "nonStampPaths": [], "rowsMoved": [], "registerRebuiltSeconds": 2.6, "verdicts": { "CERTIFIED": 8 }, "perRow": { "mc100-at-f2-2x2x3": { "field": "ms", "ms": 0.8 }, "mc100-at-f2-2x2x4": { "field": "ms", "ms": 1.1 }, "mc100-at-f2-2x3x3": { "field": "ms", "ms": 1.4 }, "mc100-at-f2-2x2x5": { "field": "ms", "ms": 1.2 }, "mc100-at-f2-2x3x4": { "field": "ms", "ms": 1.4 }, "mc100-at-f2-2x3x5": { "field": "ms", "ms": 3.5 }, "mc100-at-f2-2x4x4": { "field": "ms", "ms": 2.2 }, "mc100-at-f2-3x3x4": { "field": "ms", "ms": 2.8 } }, "reproducible": true, "coldWarmDiffPaths": [ "generated", "rows[*].ms", "timing.rowMsTotal", "timing.runMs" ], "coldWarmStampPaths": [ "generated", "rows[*].ms", "timing.rowMsTotal", "timing.runMs" ], "coldWarmNonStampPaths": [], "wrote": [ "certs/mc100-alphatensor-f2.json" ], "untrackedCreated": [], "sideEffects": [], "stdoutTail": "certs/mc100-alphatensor-f2.json · 8 rows · 8 CERTIFIED · 101.4 ms · stdlib re-derivation: verify_strassen: 8 entries checked, 0 failures\n", "stderrTail": null }, { "seq": 104, "record": "certs/mc100-alphatensor-f2.json", "kind": "rederive", "command": "node tools/run-mc100-tensors.js alphatensor-f2", "profile": "extended", "run": "warm", "startedAt": "2026-10-21T11:28:45.969Z", "loadAtStart": 3.22, "power": "AC 100%", "wallSeconds": 0.163, "realSeconds": 0.16, "userSeconds": 0.12, "sysSeconds": 0.03, "cpuSeconds": 0.15, "peakRssBytes": 66666496, "overMemoryReported": false, "exit": { "code": 0, "signal": null, "killedByRunner": false, "killedProcesses": 0, "orphansKilled": 0, "abnormal": false }, "verdict": "RAN", "writes": true, "pinSha256": "0222c5552b7c24f38f1231508bce613876eafce4e161325ef1b0bf3817d90a77", "pinBytes": 21079, "sha256After": "8a858512a16f291f91c9391957f3785d178608a7ae80a7fcb8fb4fdb61e05665", "bytesAfter": 21078, "changed": true, "diffPaths": [ "generated", "git", "rows[*].ms", "timing.rowMsTotal", "timing.runMs" ], "stampPaths": [ "generated", "git", "rows[*].ms", "timing.rowMsTotal", "timing.runMs" ], "nonStampPaths": [], "rowsMoved": [], "registerRebuiltSeconds": 2.3, "verdicts": { "CERTIFIED": 8 }, "perRow": { "mc100-at-f2-2x2x3": { "field": "ms", "ms": 0.7 }, "mc100-at-f2-2x2x4": { "field": "ms", "ms": 0.8 }, "mc100-at-f2-2x3x3": { "field": "ms", "ms": 1 }, "mc100-at-f2-2x2x5": { "field": "ms", "ms": 1.1 }, "mc100-at-f2-2x3x4": { "field": "ms", "ms": 1 }, "mc100-at-f2-2x3x5": { "field": "ms", "ms": 1.6 }, "mc100-at-f2-2x4x4": { "field": "ms", "ms": 3.6 }, "mc100-at-f2-3x3x4": { "field": "ms", "ms": 3.3 } }, "reproducible": true, "coldWarmDiffPaths": null, "coldWarmStampPaths": null, "coldWarmNonStampPaths": null, "wrote": [ "certs/mc100-alphatensor-f2.json" ], "untrackedCreated": [], "sideEffects": [], "stdoutTail": "certs/mc100-alphatensor-f2.json · 8 rows · 8 CERTIFIED · 67.1 ms · stdlib re-derivation: verify_strassen: 8 entries checked, 0 failures\n", "stderrTail": null }, { "seq": 105, "record": "certs/mc100-alphatensor-f2.json", "kind": "verifier", "command": "python3 tools/verify_strassen.py certs/mc100-alphatensor-f2.json --sources corpus/sources", "profile": "portable", "run": "cold", "startedAt": "2026-10-21T11:28:48.473Z", "loadAtStart": 3.04, "power": "AC 100%", "wallSeconds": 0.04, "realSeconds": 0.03, "userSeconds": 0.02, "sysSeconds": 0, "cpuSeconds": 0.02, "peakRssBytes": 10993664, "overMemoryReported": false, "exit": { "code": 0, "signal": null, "killedByRunner": false, "killedProcesses": 0, "orphansKilled": 0, "abnormal": false }, "verdict": "RAN", "writes": false, "pinSha256": "0222c5552b7c24f38f1231508bce613876eafce4e161325ef1b0bf3817d90a77", "pinBytes": 21079, "sha256After": "0222c5552b7c24f38f1231508bce613876eafce4e161325ef1b0bf3817d90a77", "bytesAfter": 21079, "changed": false, "diffPaths": [], "stampPaths": [], "nonStampPaths": [], "rowsMoved": [], "registerRebuiltSeconds": null, "verdicts": { "CERTIFIED": 8 }, "perRow": null, "reproducible": true, "coldWarmDiffPaths": [], "coldWarmStampPaths": [], "coldWarmNonStampPaths": [], "wrote": [], "untrackedCreated": [], "sideEffects": [], "stdoutTail": " at-f2-2x3x4 2x3 times 3x4 in 20 multiplications over F2 (layout CA): all 576 equations hold\nPASS at-f2-2x3x5 2x3 times 3x5 in 25 multiplications over F2 (layout CA): all 900 equations hold\nPASS at-f2-2x4x4 2x4 times 4x4 in 26 multiplications over F2 (layout CA): all 1024 equations hold\nPASS at-f2-3x3x4 3x3 times 3x4 in 29 multiplications over F2 (layout CA): all 1296 equations hold\nPASS source alphatensor_f2.npz sha256 matches pin\nPASS RED control: one coefficient forged by +1 is refuted\n\nverify_strassen: 8 entries checked, 0 failures\n", "stderrTail": null }, { "seq": 106, "record": "certs/mc100-alphatensor-f2.json", "kind": "verifier", "command": "python3 tools/verify_strassen.py certs/mc100-alphatensor-f2.json --sources corpus/sources", "profile": "portable", "run": "warm", "startedAt": "2026-10-21T11:28:48.622Z", "loadAtStart": 3.04, "power": "AC 100%", "wallSeconds": 0.041, "realSeconds": 0.03, "userSeconds": 0.02, "sysSeconds": 0, "cpuSeconds": 0.02, "peakRssBytes": 11042816, "overMemoryReported": false, "exit": { "code": 0, "signal": null, "killedByRunner": false, "killedProcesses": 0, "orphansKilled": 0, "abnormal": false }, "verdict": "RAN", "writes": false, "pinSha256": "0222c5552b7c24f38f1231508bce613876eafce4e161325ef1b0bf3817d90a77", "pinBytes": 21079, "sha256After": "0222c5552b7c24f38f1231508bce613876eafce4e161325ef1b0bf3817d90a77", "bytesAfter": 21079, "changed": false, "diffPaths": [], "stampPaths": [], "nonStampPaths": [], "rowsMoved": [], "registerRebuiltSeconds": null, "verdicts": { "CERTIFIED": 8 }, "perRow": null, "reproducible": true, "coldWarmDiffPaths": null, "coldWarmStampPaths": null, "coldWarmNonStampPaths": null, "wrote": [], "untrackedCreated": [], "sideEffects": [], "stdoutTail": " at-f2-2x3x4 2x3 times 3x4 in 20 multiplications over F2 (layout CA): all 576 equations hold\nPASS at-f2-2x3x5 2x3 times 3x5 in 25 multiplications over F2 (layout CA): all 900 equations hold\nPASS at-f2-2x4x4 2x4 times 4x4 in 26 multiplications over F2 (layout CA): all 1024 equations hold\nPASS at-f2-3x3x4 3x3 times 3x4 in 29 multiplications over F2 (layout CA): all 1296 equations hold\nPASS source alphatensor_f2.npz sha256 matches pin\nPASS RED control: one coefficient forged by +1 is refuted\n\nverify_strassen: 8 entries checked, 0 failures\n", "stderrTail": null }, { "seq": 107, "record": "certs/mc100-alphatensor-f2.json", "kind": "verifier", "command": "python3 tools/verify_strassen.py certs/mc100-alphatensor-f2.json --sources corpus/sources", "profile": "extended", "run": "cold", "startedAt": "2026-10-21T11:28:48.733Z", "loadAtStart": 3.04, "power": "AC 100%", "wallSeconds": 0.041, "realSeconds": 0.03, "userSeconds": 0.02, "sysSeconds": 0, "cpuSeconds": 0.02, "peakRssBytes": 11026432, "overMemoryReported": false, "exit": { "code": 0, "signal": null, "killedByRunner": false, "killedProcesses": 0, "orphansKilled": 0, "abnormal": false }, "verdict": "RAN", "writes": false, "pinSha256": "0222c5552b7c24f38f1231508bce613876eafce4e161325ef1b0bf3817d90a77", "pinBytes": 21079, "sha256After": "0222c5552b7c24f38f1231508bce613876eafce4e161325ef1b0bf3817d90a77", "bytesAfter": 21079, "changed": false, "diffPaths": [], "stampPaths": [], "nonStampPaths": [], "rowsMoved": [], "registerRebuiltSeconds": null, "verdicts": { "CERTIFIED": 8 }, "perRow": null, "reproducible": true, "coldWarmDiffPaths": [], "coldWarmStampPaths": [], "coldWarmNonStampPaths": [], "wrote": [], "untrackedCreated": [], "sideEffects": [], "stdoutTail": " at-f2-2x3x4 2x3 times 3x4 in 20 multiplications over F2 (layout CA): all 576 equations hold\nPASS at-f2-2x3x5 2x3 times 3x5 in 25 multiplications over F2 (layout CA): all 900 equations hold\nPASS at-f2-2x4x4 2x4 times 4x4 in 26 multiplications over F2 (layout CA): all 1024 equations hold\nPASS at-f2-3x3x4 3x3 times 3x4 in 29 multiplications over F2 (layout CA): all 1296 equations hold\nPASS source alphatensor_f2.npz sha256 matches pin\nPASS RED control: one coefficient forged by +1 is refuted\n\nverify_strassen: 8 entries checked, 0 failures\n", "stderrTail": null }, { "seq": 108, "record": "certs/mc100-alphatensor-f2.json", "kind": "verifier", "command": "python3 tools/verify_strassen.py certs/mc100-alphatensor-f2.json --sources corpus/sources", "profile": "extended", "run": "warm", "startedAt": "2026-10-21T11:28:48.844Z", "loadAtStart": 3.04, "power": "AC 100%", "wallSeconds": 0.041, "realSeconds": 0.03, "userSeconds": 0.02, "sysSeconds": 0, "cpuSeconds": 0.02, "peakRssBytes": 11010048, "overMemoryReported": false, "exit": { "code": 0, "signal": null, "killedByRunner": false, "killedProcesses": 0, "orphansKilled": 0, "abnormal": false }, "verdict": "RAN", "writes": false, "pinSha256": "0222c5552b7c24f38f1231508bce613876eafce4e161325ef1b0bf3817d90a77", "pinBytes": 21079, "sha256After": "0222c5552b7c24f38f1231508bce613876eafce4e161325ef1b0bf3817d90a77", "bytesAfter": 21079, "changed": false, "diffPaths": [], "stampPaths": [], "nonStampPaths": [], "rowsMoved": [], "registerRebuiltSeconds": null, "verdicts": { "CERTIFIED": 8 }, "perRow": null, "reproducible": true, "coldWarmDiffPaths": null, "coldWarmStampPaths": null, "coldWarmNonStampPaths": null, "wrote": [], "untrackedCreated": [], "sideEffects": [], "stdoutTail": " at-f2-2x3x4 2x3 times 3x4 in 20 multiplications over F2 (layout CA): all 576 equations hold\nPASS at-f2-2x3x5 2x3 times 3x5 in 25 multiplications over F2 (layout CA): all 900 equations hold\nPASS at-f2-2x4x4 2x4 times 4x4 in 26 multiplications over F2 (layout CA): all 1024 equations hold\nPASS at-f2-3x3x4 3x3 times 3x4 in 29 multiplications over F2 (layout CA): all 1296 equations hold\nPASS source alphatensor_f2.npz sha256 matches pin\nPASS RED control: one coefficient forged by +1 is refuted\n\nverify_strassen: 8 entries checked, 0 failures\n", "stderrTail": null }, { "seq": 109, "record": "certs/mc100-alphaevolve-nb-matmul.json", "kind": "rederive", "command": "node tools/run-mc100-tensors.js alphaevolve-nb-matmul", "profile": "portable", "run": "cold", "startedAt": "2026-10-21T11:28:48.956Z", "loadAtStart": 3.04, "power": "AC 100%", "wallSeconds": 1.562, "realSeconds": 1.56, "userSeconds": 1.74, "sysSeconds": 0.03, "cpuSeconds": 1.77, "peakRssBytes": 102465536, "overMemoryReported": false, "exit": { "code": 0, "signal": null, "killedByRunner": false, "killedProcesses": 0, "orphansKilled": 0, "abnormal": false }, "verdict": "RAN", "writes": true, "pinSha256": "50183f3ffba87bd2964ae6c0e32a8d985c8f0176f420728f8b19d826df4ea12a", "pinBytes": 203104, "sha256After": "ddd17bd27c8ebb6dc68646f8441a71b31c4c4761a818e49fb1bfa34e88f1884e", "bytesAfter": 203097, "changed": true, "diffPaths": [ "generated", "git", "rows[*].ms", "timing.rowMsTotal", "timing.runMs" ], "stampPaths": [ "generated", "git", "rows[*].ms", "timing.rowMsTotal", "timing.runMs" ], "nonStampPaths": [], "rowsMoved": [], "registerRebuiltSeconds": 2.2, "verdicts": { "CERTIFIED": 15 }, "perRow": { "mc100-ae-nb-2x4x5-r32": { "field": "ms", "ms": 10 }, "mc100-ae-nb-2x4x7-r45": { "field": "ms", "ms": 4.1 }, "mc100-ae-nb-2x4x8-r51": { "field": "ms", "ms": 12.9 }, "mc100-ae-nb-2x5x6-r47": { "field": "ms", "ms": 4.1 }, "mc100-ae-nb-3x3x3-r23": { "field": "ms", "ms": 3.2 }, "mc100-ae-nb-3x4x6-r54": { "field": "ms", "ms": 4.5 }, "mc100-ae-nb-3x4x7-r63": { "field": "ms", "ms": 123.9 }, "mc100-ae-nb-3x4x8-r74": { "field": "ms", "ms": 6.4 }, "mc100-ae-nb-3x5x6-r68": { "field": "ms", "ms": 5.8 }, "mc100-ae-nb-3x5x7-r80": { "field": "ms", "ms": 57.8 }, "mc100-ae-nb-4x4x8-r96": { "field": "ms", "ms": 113 }, "mc100-ae-nb-4x4x5-r61": { "field": "ms", "ms": 27.8 }, "mc100-ae-nb-4x4x7-r85": { "field": "ms", "ms": 6.6 }, "mc100-ae-nb-4x5x6-r90": { "field": "ms", "ms": 7.3 }, "mc100-ae-nb-5x5x5-r93": { "field": "ms", "ms": 7.8 } }, "reproducible": true, "coldWarmDiffPaths": [ "generated", "rows[*].ms", "timing.rowMsTotal", "timing.runMs" ], "coldWarmStampPaths": [ "generated", "rows[*].ms", "timing.rowMsTotal", "timing.runMs" ], "coldWarmNonStampPaths": [], "wrote": [ "certs/mc100-alphaevolve-nb-matmul.json" ], "untrackedCreated": [], "sideEffects": [], "stdoutTail": "certs/mc100-alphaevolve-nb-matmul.json · 15 rows · 15 CERTIFIED · 446.3 ms · stdlib re-derivation: verify_strassen: 15 entries checked, 0 failures\n", "stderrTail": null }, { "seq": 110, "record": "certs/mc100-alphaevolve-nb-matmul.json", "kind": "rederive", "command": "node tools/run-mc100-tensors.js alphaevolve-nb-matmul", "profile": "portable", "run": "warm", "startedAt": "2026-10-21T11:28:52.843Z", "loadAtStart": 2.96, "power": "AC 100%", "wallSeconds": 1.591, "realSeconds": 1.58, "userSeconds": 1.75, "sysSeconds": 0.04, "cpuSeconds": 1.79, "peakRssBytes": 98402304, "overMemoryReported": false, "exit": { "code": 0, "signal": null, "killedByRunner": false, "killedProcesses": 0, "orphansKilled": 0, "abnormal": false }, "verdict": "RAN", "writes": true, "pinSha256": "50183f3ffba87bd2964ae6c0e32a8d985c8f0176f420728f8b19d826df4ea12a", "pinBytes": 203104, "sha256After": "09af1fc7be2f1c4c225ff663985514a1863787d533d88abb97ba1126e85ab7a8", "bytesAfter": 203098, "changed": true, "diffPaths": [ "generated", "git", "rows[*].ms", "timing.rowMsTotal", "timing.runMs" ], "stampPaths": [ "generated", "git", "rows[*].ms", "timing.rowMsTotal", "timing.runMs" ], "nonStampPaths": [], "rowsMoved": [], "registerRebuiltSeconds": 2.4, "verdicts": { "CERTIFIED": 15 }, "perRow": { "mc100-ae-nb-2x4x5-r32": { "field": "ms", "ms": 9.7 }, "mc100-ae-nb-2x4x7-r45": { "field": "ms", "ms": 3.9 }, "mc100-ae-nb-2x4x8-r51": { "field": "ms", "ms": 13.1 }, "mc100-ae-nb-2x5x6-r47": { "field": "ms", "ms": 4.1 }, "mc100-ae-nb-3x3x3-r23": { "field": "ms", "ms": 3.1 }, "mc100-ae-nb-3x4x6-r54": { "field": "ms", "ms": 4.5 }, "mc100-ae-nb-3x4x7-r63": { "field": "ms", "ms": 119 }, "mc100-ae-nb-3x4x8-r74": { "field": "ms", "ms": 6.2 }, "mc100-ae-nb-3x5x6-r68": { "field": "ms", "ms": 5.7 }, "mc100-ae-nb-3x5x7-r80": { "field": "ms", "ms": 60.5 }, "mc100-ae-nb-4x4x8-r96": { "field": "ms", "ms": 113.2 }, "mc100-ae-nb-4x4x5-r61": { "field": "ms", "ms": 28.3 }, "mc100-ae-nb-4x4x7-r85": { "field": "ms", "ms": 6.8 }, "mc100-ae-nb-4x5x6-r90": { "field": "ms", "ms": 7.3 }, "mc100-ae-nb-5x5x5-r93": { "field": "ms", "ms": 7.7 } }, "reproducible": true, "coldWarmDiffPaths": null, "coldWarmStampPaths": null, "coldWarmNonStampPaths": null, "wrote": [ "certs/mc100-alphaevolve-nb-matmul.json" ], "untrackedCreated": [], "sideEffects": [], "stdoutTail": "certs/mc100-alphaevolve-nb-matmul.json · 15 rows · 15 CERTIFIED · 447.6 ms · stdlib re-derivation: verify_strassen: 15 entries checked, 0 failures\n", "stderrTail": null }, { "seq": 111, "record": "certs/mc100-alphaevolve-nb-matmul.json", "kind": "rederive", "command": "node tools/run-mc100-tensors.js alphaevolve-nb-matmul", "profile": "extended", "run": "cold", "startedAt": "2026-10-21T11:28:56.992Z", "loadAtStart": 2.8, "power": "battery 100%", "wallSeconds": 1.63, "realSeconds": 1.62, "userSeconds": 1.8, "sysSeconds": 0.05, "cpuSeconds": 1.85, "peakRssBytes": 102531072, "overMemoryReported": false, "exit": { "code": 0, "signal": null, "killedByRunner": false, "killedProcesses": 0, "orphansKilled": 0, "abnormal": false }, "verdict": "RAN", "writes": true, "pinSha256": "50183f3ffba87bd2964ae6c0e32a8d985c8f0176f420728f8b19d826df4ea12a", "pinBytes": 203104, "sha256After": "f4b1ccda3bb05bcef41fb52e0a19bb6e1b65d42ebd2ffef5e4ba5542948f41fd", "bytesAfter": 203095, "changed": true, "diffPaths": [ "generated", "git", "rows[*].ms", "timing.rowMsTotal", "timing.runMs" ], "stampPaths": [ "generated", "git", "rows[*].ms", "timing.rowMsTotal", "timing.runMs" ], "nonStampPaths": [], "rowsMoved": [], "registerRebuiltSeconds": 2.3, "verdicts": { "CERTIFIED": 15 }, "perRow": { "mc100-ae-nb-2x4x5-r32": { "field": "ms", "ms": 10.1 }, "mc100-ae-nb-2x4x7-r45": { "field": "ms", "ms": 4.2 }, "mc100-ae-nb-2x4x8-r51": { "field": "ms", "ms": 14.6 }, "mc100-ae-nb-2x5x6-r47": { "field": "ms", "ms": 4.2 }, "mc100-ae-nb-3x3x3-r23": { "field": "ms", "ms": 3.3 }, "mc100-ae-nb-3x4x6-r54": { "field": "ms", "ms": 4.7 }, "mc100-ae-nb-3x4x7-r63": { "field": "ms", "ms": 134.3 }, "mc100-ae-nb-3x4x8-r74": { "field": "ms", "ms": 6.7 }, "mc100-ae-nb-3x5x6-r68": { "field": "ms", "ms": 6.1 }, "mc100-ae-nb-3x5x7-r80": { "field": "ms", "ms": 64 }, "mc100-ae-nb-4x4x8-r96": { "field": "ms", "ms": 112.7 }, "mc100-ae-nb-4x4x5-r61": { "field": "ms", "ms": 29 }, "mc100-ae-nb-4x4x7-r85": { "field": "ms", "ms": 6.8 }, "mc100-ae-nb-4x5x6-r90": { "field": "ms", "ms": 7.4 }, "mc100-ae-nb-5x5x5-r93": { "field": "ms", "ms": 9.1 } }, "reproducible": true, "coldWarmDiffPaths": [ "generated", "rows[*].ms", "timing.rowMsTotal", "timing.runMs" ], "coldWarmStampPaths": [ "generated", "rows[*].ms", "timing.rowMsTotal", "timing.runMs" ], "coldWarmNonStampPaths": [], "wrote": [ "certs/mc100-alphaevolve-nb-matmul.json" ], "untrackedCreated": [], "sideEffects": [], "stdoutTail": "certs/mc100-alphaevolve-nb-matmul.json · 15 rows · 15 CERTIFIED · 476 ms · stdlib re-derivation: verify_strassen: 15 entries checked, 0 failures\n", "stderrTail": null }, { "seq": 112, "record": "certs/mc100-alphaevolve-nb-matmul.json", "kind": "rederive", "command": "node tools/run-mc100-tensors.js alphaevolve-nb-matmul", "profile": "extended", "run": "warm", "startedAt": "2026-10-21T11:29:01.032Z", "loadAtStart": 2.8, "power": "battery 100%", "wallSeconds": 1.609, "realSeconds": 1.6, "userSeconds": 1.79, "sysSeconds": 0.04, "cpuSeconds": 1.83, "peakRssBytes": 102662144, "overMemoryReported": false, "exit": { "code": 0, "signal": null, "killedByRunner": false, "killedProcesses": 0, "orphansKilled": 0, "abnormal": false }, "verdict": "RAN", "writes": true, "pinSha256": "50183f3ffba87bd2964ae6c0e32a8d985c8f0176f420728f8b19d826df4ea12a", "pinBytes": 203104, "sha256After": "2bdd631457c5dd11296d5a54569b05150ca0598c2b52fb14f1bcc59767759ec6", "bytesAfter": 203101, "changed": true, "diffPaths": [ "generated", "git", "rows[*].ms", "timing.rowMsTotal", "timing.runMs" ], "stampPaths": [ "generated", "git", "rows[*].ms", "timing.rowMsTotal", "timing.runMs" ], "nonStampPaths": [], "rowsMoved": [], "registerRebuiltSeconds": 2.4, "verdicts": { "CERTIFIED": 15 }, "perRow": { "mc100-ae-nb-2x4x5-r32": { "field": "ms", "ms": 10.2 }, "mc100-ae-nb-2x4x7-r45": { "field": "ms", "ms": 4.3 }, "mc100-ae-nb-2x4x8-r51": { "field": "ms", "ms": 13.5 }, "mc100-ae-nb-2x5x6-r47": { "field": "ms", "ms": 4.1 }, "mc100-ae-nb-3x3x3-r23": { "field": "ms", "ms": 3.2 }, "mc100-ae-nb-3x4x6-r54": { "field": "ms", "ms": 4.8 }, "mc100-ae-nb-3x4x7-r63": { "field": "ms", "ms": 127.5 }, "mc100-ae-nb-3x4x8-r74": { "field": "ms", "ms": 6.5 }, "mc100-ae-nb-3x5x6-r68": { "field": "ms", "ms": 5.9 }, "mc100-ae-nb-3x5x7-r80": { "field": "ms", "ms": 60.4 }, "mc100-ae-nb-4x4x8-r96": { "field": "ms", "ms": 142.8 }, "mc100-ae-nb-4x4x5-r61": { "field": "ms", "ms": 28.7 }, "mc100-ae-nb-4x4x7-r85": { "field": "ms", "ms": 6.5 }, "mc100-ae-nb-4x5x6-r90": { "field": "ms", "ms": 7.3 }, "mc100-ae-nb-5x5x5-r93": { "field": "ms", "ms": 7.9 } }, "reproducible": true, "coldWarmDiffPaths": null, "coldWarmStampPaths": null, "coldWarmNonStampPaths": null, "wrote": [ "certs/mc100-alphaevolve-nb-matmul.json" ], "untrackedCreated": [], "sideEffects": [], "stdoutTail": "certs/mc100-alphaevolve-nb-matmul.json · 15 rows · 15 CERTIFIED · 465.7 ms · stdlib re-derivation: verify_strassen: 15 entries checked, 0 failures\n", "stderrTail": null }, { "seq": 113, "record": "certs/mc100-alphaevolve-nb-matmul.json", "kind": "verifier", "command": "python3 tools/verify_strassen.py certs/mc100-alphaevolve-nb-matmul.json --sources corpus/sources", "profile": "portable", "run": "cold", "startedAt": "2026-10-21T11:29:05.122Z", "loadAtStart": 3.06, "power": "battery 100%", "wallSeconds": 1.138, "realSeconds": 1.13, "userSeconds": 1.07, "sysSeconds": 0.01, "cpuSeconds": 1.08, "peakRssBytes": 14352384, "overMemoryReported": false, "exit": { "code": 0, "signal": null, "killedByRunner": false, "killedProcesses": 0, "orphansKilled": 0, "abnormal": false }, "verdict": "RAN", "writes": false, "pinSha256": "50183f3ffba87bd2964ae6c0e32a8d985c8f0176f420728f8b19d826df4ea12a", "pinBytes": 203104, "sha256After": "50183f3ffba87bd2964ae6c0e32a8d985c8f0176f420728f8b19d826df4ea12a", "bytesAfter": 203104, "changed": false, "diffPaths": [], "stampPaths": [], "nonStampPaths": [], "rowsMoved": [], "registerRebuiltSeconds": null, "verdicts": { "CERTIFIED": 15 }, "perRow": null, "reproducible": true, "coldWarmDiffPaths": [], "coldWarmStampPaths": [], "coldWarmNonStampPaths": [], "wrote": [], "untrackedCreated": [], "sideEffects": [], "stdoutTail": " 4x4 times 4x5 in 61 multiplications over Q (layout CA): all 6400 equations hold\nPASS ae-nb-4x4x7-r85 4x4 times 4x7 in 85 multiplications over Q (layout CA): all 12544 equations hold\nPASS ae-nb-4x5x6-r90 4x5 times 5x6 in 90 multiplications over Q (layout CA): all 14400 equations hold\nPASS ae-nb-5x5x5-r93 5x5 times 5x5 in 93 multiplications over Q (layout CA): all 15625 equations hold\nPASS source alphaevolve_mathematical_results.ipynb sha256 matches pin\nPASS RED control: one coefficient forged by +1 is refuted\n\nverify_strassen: 15 entries checked, 0 failures\n", "stderrTail": null }, { "seq": 114, "record": "certs/mc100-alphaevolve-nb-matmul.json", "kind": "verifier", "command": "python3 tools/verify_strassen.py certs/mc100-alphaevolve-nb-matmul.json --sources corpus/sources", "profile": "portable", "run": "warm", "startedAt": "2026-10-21T11:29:06.334Z", "loadAtStart": 3.06, "power": "battery 100%", "wallSeconds": 1.102, "realSeconds": 1.1, "userSeconds": 1.06, "sysSeconds": 0.01, "cpuSeconds": 1.07, "peakRssBytes": 14401536, "overMemoryReported": false, "exit": { "code": 0, "signal": null, "killedByRunner": false, "killedProcesses": 0, "orphansKilled": 0, "abnormal": false }, "verdict": "RAN", "writes": false, "pinSha256": "50183f3ffba87bd2964ae6c0e32a8d985c8f0176f420728f8b19d826df4ea12a", "pinBytes": 203104, "sha256After": "50183f3ffba87bd2964ae6c0e32a8d985c8f0176f420728f8b19d826df4ea12a", "bytesAfter": 203104, "changed": false, "diffPaths": [], "stampPaths": [], "nonStampPaths": [], "rowsMoved": [], "registerRebuiltSeconds": null, "verdicts": { "CERTIFIED": 15 }, "perRow": null, "reproducible": true, "coldWarmDiffPaths": null, "coldWarmStampPaths": null, "coldWarmNonStampPaths": null, "wrote": [], "untrackedCreated": [], "sideEffects": [], "stdoutTail": " 4x4 times 4x5 in 61 multiplications over Q (layout CA): all 6400 equations hold\nPASS ae-nb-4x4x7-r85 4x4 times 4x7 in 85 multiplications over Q (layout CA): all 12544 equations hold\nPASS ae-nb-4x5x6-r90 4x5 times 5x6 in 90 multiplications over Q (layout CA): all 14400 equations hold\nPASS ae-nb-5x5x5-r93 5x5 times 5x5 in 93 multiplications over Q (layout CA): all 15625 equations hold\nPASS source alphaevolve_mathematical_results.ipynb sha256 matches pin\nPASS RED control: one coefficient forged by +1 is refuted\n\nverify_strassen: 15 entries checked, 0 failures\n", "stderrTail": null }, { "seq": 115, "record": "certs/mc100-alphaevolve-nb-matmul.json", "kind": "verifier", "command": "python3 tools/verify_strassen.py certs/mc100-alphaevolve-nb-matmul.json --sources corpus/sources", "profile": "extended", "run": "cold", "startedAt": "2026-10-21T11:29:07.509Z", "loadAtStart": 3.13, "power": "battery 100%", "wallSeconds": 1.088, "realSeconds": 1.08, "userSeconds": 1.06, "sysSeconds": 0.01, "cpuSeconds": 1.07, "peakRssBytes": 14352384, "overMemoryReported": false, "exit": { "code": 0, "signal": null, "killedByRunner": false, "killedProcesses": 0, "orphansKilled": 0, "abnormal": false }, "verdict": "RAN", "writes": false, "pinSha256": "50183f3ffba87bd2964ae6c0e32a8d985c8f0176f420728f8b19d826df4ea12a", "pinBytes": 203104, "sha256After": "50183f3ffba87bd2964ae6c0e32a8d985c8f0176f420728f8b19d826df4ea12a", "bytesAfter": 203104, "changed": false, "diffPaths": [], "stampPaths": [], "nonStampPaths": [], "rowsMoved": [], "registerRebuiltSeconds": null, "verdicts": { "CERTIFIED": 15 }, "perRow": null, "reproducible": true, "coldWarmDiffPaths": [], "coldWarmStampPaths": [], "coldWarmNonStampPaths": [], "wrote": [], "untrackedCreated": [], "sideEffects": [], "stdoutTail": " 4x4 times 4x5 in 61 multiplications over Q (layout CA): all 6400 equations hold\nPASS ae-nb-4x4x7-r85 4x4 times 4x7 in 85 multiplications over Q (layout CA): all 12544 equations hold\nPASS ae-nb-4x5x6-r90 4x5 times 5x6 in 90 multiplications over Q (layout CA): all 14400 equations hold\nPASS ae-nb-5x5x5-r93 5x5 times 5x5 in 93 multiplications over Q (layout CA): all 15625 equations hold\nPASS source alphaevolve_mathematical_results.ipynb sha256 matches pin\nPASS RED control: one coefficient forged by +1 is refuted\n\nverify_strassen: 15 entries checked, 0 failures\n", "stderrTail": null }, { "seq": 116, "record": "certs/mc100-alphaevolve-nb-matmul.json", "kind": "verifier", "command": "python3 tools/verify_strassen.py certs/mc100-alphaevolve-nb-matmul.json --sources corpus/sources", "profile": "extended", "run": "warm", "startedAt": "2026-10-21T11:29:08.667Z", "loadAtStart": 3.13, "power": "battery 100%", "wallSeconds": 1.088, "realSeconds": 1.08, "userSeconds": 1.06, "sysSeconds": 0.01, "cpuSeconds": 1.07, "peakRssBytes": 14336000, "overMemoryReported": false, "exit": { "code": 0, "signal": null, "killedByRunner": false, "killedProcesses": 0, "orphansKilled": 0, "abnormal": false }, "verdict": "RAN", "writes": false, "pinSha256": "50183f3ffba87bd2964ae6c0e32a8d985c8f0176f420728f8b19d826df4ea12a", "pinBytes": 203104, "sha256After": "50183f3ffba87bd2964ae6c0e32a8d985c8f0176f420728f8b19d826df4ea12a", "bytesAfter": 203104, "changed": false, "diffPaths": [], "stampPaths": [], "nonStampPaths": [], "rowsMoved": [], "registerRebuiltSeconds": null, "verdicts": { "CERTIFIED": 15 }, "perRow": null, "reproducible": true, "coldWarmDiffPaths": null, "coldWarmStampPaths": null, "coldWarmNonStampPaths": null, "wrote": [], "untrackedCreated": [], "sideEffects": [], "stdoutTail": " 4x4 times 4x5 in 61 multiplications over Q (layout CA): all 6400 equations hold\nPASS ae-nb-4x4x7-r85 4x4 times 4x7 in 85 multiplications over Q (layout CA): all 12544 equations hold\nPASS ae-nb-4x5x6-r90 4x5 times 5x6 in 90 multiplications over Q (layout CA): all 14400 equations hold\nPASS ae-nb-5x5x5-r93 5x5 times 5x5 in 93 multiplications over Q (layout CA): all 15625 equations hold\nPASS source alphaevolve_mathematical_results.ipynb sha256 matches pin\nPASS RED control: one coefficient forged by +1 is refuted\n\nverify_strassen: 15 entries checked, 0 failures\n", "stderrTail": null }, { "seq": 117, "record": "certs/mc100-einstein-arena.json", "kind": "rederive", "command": "node tools/run-mc100-einstein.js", "profile": "portable", "run": "cold", "startedAt": "2026-10-21T11:29:09.828Z", "loadAtStart": 3.13, "power": "battery 100%", "wallSeconds": 48.196, "realSeconds": 48.19, "userSeconds": 47.08, "sysSeconds": 0.54, "cpuSeconds": 47.62, "peakRssBytes": 253689856, "overMemoryReported": false, "exit": { "code": 0, "signal": null, "killedByRunner": false, "killedProcesses": 0, "orphansKilled": 0, "abnormal": false }, "verdict": "RAN", "writes": true, "pinSha256": "5d05c32da7e1d4788a2bff1af3f3d2ff45056bb02c69d54fc142fe0e24060226", "pinBytes": 23920, "sha256After": "0967f8d99d83474df630bd62527717a40d16f64779dd2152840699470a9602b0", "bytesAfter": 23922, "changed": true, "diffPaths": [ "generated", "git", "rows[*].ms", "timing.rowMsTotal", "timing.runMs" ], "stampPaths": [ "generated", "git", "rows[*].ms", "timing.rowMsTotal", "timing.runMs" ], "nonStampPaths": [], "rowsMoved": [], "registerRebuiltSeconds": 2.4, "verdicts": { "REPAIRED": 1, "CERTIFIED": 7 }, "perRow": { "mc100-ea-best-erdos-min-overlap": { "field": "ms", "ms": 608.9 }, "mc100-ea-best-first-autocorrelation-inequality": { "field": "ms", "ms": 14704.1 }, "mc100-ea-best-flat-polynomials": { "field": "ms", "ms": 465.4 }, "mc100-ea-best-edges-vs-triangles": { "field": "ms", "ms": 31649.7 }, "mc100-ea-best-circles-rectangle": { "field": "ms", "ms": 10.9 }, "mc100-ea-best-kissing-number-d12": { "field": "ms", "ms": 158.1 }, "mc100-ea-best-kissing-number-d11-605": { "field": "ms", "ms": 121.6 }, "mc100-ea-best-kissing-number-d12-842": { "field": "ms", "ms": 127.6 } }, "reproducible": true, "coldWarmDiffPaths": [ "generated", "rows[*].ms", "timing.rowMsTotal", "timing.runMs" ], "coldWarmStampPaths": [ "generated", "rows[*].ms", "timing.rowMsTotal", "timing.runMs" ], "coldWarmNonStampPaths": [], "wrote": [ "certs/mc100-einstein-arena.json" ], "untrackedCreated": [], "sideEffects": [], "stdoutTail": "certs/mc100-einstein-arena.json · 10 rows decided (1 REPAIRED, 9 CERTIFIED), 19 undecided with reasons · 48127.4 ms\n", "stderrTail": null }, { "seq": 118, "record": "certs/mc100-einstein-arena.json", "kind": "rederive", "command": "node tools/run-mc100-einstein.js", "profile": "portable", "run": "warm", "startedAt": "2026-10-21T11:30:00.726Z", "loadAtStart": 2.78, "power": "battery 100%", "wallSeconds": 46.726, "realSeconds": 46.72, "userSeconds": 46.12, "sysSeconds": 0.47, "cpuSeconds": 46.59, "peakRssBytes": 236486656, "overMemoryReported": false, "exit": { "code": 0, "signal": null, "killedByRunner": false, "killedProcesses": 0, "orphansKilled": 0, "abnormal": false }, "verdict": "RAN", "writes": true, "pinSha256": "5d05c32da7e1d4788a2bff1af3f3d2ff45056bb02c69d54fc142fe0e24060226", "pinBytes": 23920, "sha256After": "31105de9e656caba8a2addf6c382c919d7bf6ae0962d1087c9a1014f6aa1d4ad", "bytesAfter": 23918, "changed": true, "diffPaths": [ "generated", "git", "rows[*].ms", "timing.rowMsTotal", "timing.runMs" ], "stampPaths": [ "generated", "git", "rows[*].ms", "timing.rowMsTotal", "timing.runMs" ], "nonStampPaths": [], "rowsMoved": [], "registerRebuiltSeconds": 2.3, "verdicts": { "REPAIRED": 1, "CERTIFIED": 7 }, "perRow": { "mc100-ea-best-erdos-min-overlap": { "field": "ms", "ms": 636.3 }, "mc100-ea-best-first-autocorrelation-inequality": { "field": "ms", "ms": 14418.8 }, "mc100-ea-best-flat-polynomials": { "field": "ms", "ms": 451.8 }, "mc100-ea-best-edges-vs-triangles": { "field": "ms", "ms": 30537.8 }, "mc100-ea-best-circles-rectangle": { "field": "ms", "ms": 10.1 }, "mc100-ea-best-kissing-number-d12": { "field": "ms", "ms": 110.1 }, "mc100-ea-best-kissing-number-d11-605": { "field": "ms", "ms": 110.2 }, "mc100-ea-best-kissing-number-d12-842": { "field": "ms", "ms": 121.2 } }, "reproducible": true, "coldWarmDiffPaths": null, "coldWarmStampPaths": null, "coldWarmNonStampPaths": null, "wrote": [ "certs/mc100-einstein-arena.json" ], "untrackedCreated": [], "sideEffects": [], "stdoutTail": "certs/mc100-einstein-arena.json · 10 rows decided (1 REPAIRED, 9 CERTIFIED), 19 undecided with reasons · 46661 ms\n", "stderrTail": null }, { "seq": 119, "record": "certs/mc100-einstein-arena.json", "kind": "rederive", "command": "node tools/run-mc100-einstein.js", "profile": "extended", "run": "cold", "startedAt": "2026-10-21T11:30:50.016Z", "loadAtStart": 2.84, "power": "battery 100%", "wallSeconds": 47.649, "realSeconds": 47.64, "userSeconds": 46.46, "sysSeconds": 0.42, "cpuSeconds": 46.88, "peakRssBytes": 250298368, "overMemoryReported": false, "exit": { "code": 0, "signal": null, "killedByRunner": false, "killedProcesses": 0, "orphansKilled": 0, "abnormal": false }, "verdict": "RAN", "writes": true, "pinSha256": "5d05c32da7e1d4788a2bff1af3f3d2ff45056bb02c69d54fc142fe0e24060226", "pinBytes": 23920, "sha256After": "d2fdec30cf23a498b9fecd10063aa23760f8643eae64e6e11eefdf7c7d46a7b4", "bytesAfter": 23920, "changed": true, "diffPaths": [ "generated", "git", "rows[*].ms", "timing.rowMsTotal", "timing.runMs" ], "stampPaths": [ "generated", "git", "rows[*].ms", "timing.rowMsTotal", "timing.runMs" ], "nonStampPaths": [], "rowsMoved": [], "registerRebuiltSeconds": 2.7, "verdicts": { "REPAIRED": 1, "CERTIFIED": 7 }, "perRow": { "mc100-ea-best-erdos-min-overlap": { "field": "ms", "ms": 600.1 }, "mc100-ea-best-first-autocorrelation-inequality": { "field": "ms", "ms": 14595.6 }, "mc100-ea-best-flat-polynomials": { "field": "ms", "ms": 447.7 }, "mc100-ea-best-edges-vs-triangles": { "field": "ms", "ms": 31170.6 }, "mc100-ea-best-circles-rectangle": { "field": "ms", "ms": 20.8 }, "mc100-ea-best-kissing-number-d12": { "field": "ms", "ms": 183.3 }, "mc100-ea-best-kissing-number-d11-605": { "field": "ms", "ms": 134.8 }, "mc100-ea-best-kissing-number-d12-842": { "field": "ms", "ms": 141.3 } }, "reproducible": true, "coldWarmDiffPaths": [ "generated", "rows[*].ms", "timing.rowMsTotal", "timing.runMs" ], "coldWarmStampPaths": [ "generated", "rows[*].ms", "timing.rowMsTotal", "timing.runMs" ], "coldWarmNonStampPaths": [], "wrote": [ "certs/mc100-einstein-arena.json" ], "untrackedCreated": [], "sideEffects": [], "stdoutTail": "certs/mc100-einstein-arena.json · 10 rows decided (1 REPAIRED, 9 CERTIFIED), 19 undecided with reasons · 47581 ms\n", "stderrTail": null }, { "seq": 120, "record": "certs/mc100-einstein-arena.json", "kind": "rederive", "command": "node tools/run-mc100-einstein.js", "profile": "extended", "run": "warm", "startedAt": "2026-10-21T11:31:40.712Z", "loadAtStart": 4.24, "power": "battery 100%", "wallSeconds": 56.2, "realSeconds": 56.19, "userSeconds": 51.17, "sysSeconds": 1.37, "cpuSeconds": 52.54, "peakRssBytes": 219119616, "overMemoryReported": false, "exit": { "code": 0, "signal": null, "killedByRunner": false, "killedProcesses": 0, "orphansKilled": 0, "abnormal": false }, "verdict": "RAN", "writes": true, "pinSha256": "5d05c32da7e1d4788a2bff1af3f3d2ff45056bb02c69d54fc142fe0e24060226", "pinBytes": 23920, "sha256After": "9173f97acc14ce2f6c4179a414ae5b7ec573cf2bfc1811acf121754905e0a895", "bytesAfter": 23921, "changed": true, "diffPaths": [ "generated", "git", "rows[*].ms", "timing.rowMsTotal", "timing.runMs" ], "stampPaths": [ "generated", "git", "rows[*].ms", "timing.rowMsTotal", "timing.runMs" ], "nonStampPaths": [], "rowsMoved": [], "registerRebuiltSeconds": 3.4, "verdicts": { "REPAIRED": 1, "CERTIFIED": 7 }, "perRow": { "mc100-ea-best-erdos-min-overlap": { "field": "ms", "ms": 627.2 }, "mc100-ea-best-first-autocorrelation-inequality": { "field": "ms", "ms": 17636.5 }, "mc100-ea-best-flat-polynomials": { "field": "ms", "ms": 516 }, "mc100-ea-best-edges-vs-triangles": { "field": "ms", "ms": 36569.6 }, "mc100-ea-best-circles-rectangle": { "field": "ms", "ms": 10.3 }, "mc100-ea-best-kissing-number-d12": { "field": "ms", "ms": 131.7 }, "mc100-ea-best-kissing-number-d11-605": { "field": "ms", "ms": 129.4 }, "mc100-ea-best-kissing-number-d12-842": { "field": "ms", "ms": 151.1 } }, "reproducible": true, "coldWarmDiffPaths": null, "coldWarmStampPaths": null, "coldWarmNonStampPaths": null, "wrote": [ "certs/mc100-einstein-arena.json" ], "untrackedCreated": [], "sideEffects": [], "stdoutTail": "certs/mc100-einstein-arena.json · 10 rows decided (1 REPAIRED, 9 CERTIFIED), 19 undecided with reasons · 56130.8 ms\n", "stderrTail": null }, { "seq": 121, "record": "certs/mc100-station-v2.json", "kind": "rederive", "command": "python3 tools/run-mc100-station.py", "profile": "portable", "run": "cold", "startedAt": "2026-10-21T11:32:40.539Z", "loadAtStart": 8.15, "power": "battery 100%", "wallSeconds": 0.117, "realSeconds": 0.11, "userSeconds": 0.04, "sysSeconds": 0.03, "cpuSeconds": 0.07, "peakRssBytes": 12877824, "overMemoryReported": false, "exit": { "code": 0, "signal": null, "killedByRunner": false, "killedProcesses": 0, "orphansKilled": 0, "abnormal": false }, "verdict": "RAN", "writes": true, "pinSha256": "b526305ff85bbb353a51f5ae2183d06f2e071c2e4a889a9e9025622c41a04431", "pinBytes": 6586, "sha256After": "aecc32642f56aa406819f4c96069bc61251a64a5df3707c51ffc912a5bfd0c13", "bytesAfter": 6587, "changed": true, "diffPaths": [ "generated", "git", "rows[*].decision.seconds", "rows[*].ms", "timing.runMs" ], "stampPaths": [ "generated", "git", "rows[*].decision.seconds", "rows[*].ms", "timing.runMs" ], "nonStampPaths": [], "rowsMoved": [], "registerRebuiltSeconds": 3.6, "verdicts": { "CERTIFIED": 1 }, "perRow": { "mc100-st-jacobian": { "field": "ms", "ms": 1.7 } }, "reproducible": true, "coldWarmDiffPaths": [ "generated", "timing.runMs" ], "coldWarmStampPaths": [ "generated", "timing.runMs" ], "coldWarmNonStampPaths": [], "wrote": [ "certs/mc100-station-v2.json" ], "untrackedCreated": [], "sideEffects": [], "stdoutTail": " st-jacobian CERTIFIED (1.7 ms)\ncerts/mc100-station-v2.json · 1 row decided (1 CERTIFIED), 9 undecided with reasons\n", "stderrTail": null }, { "seq": 122, "record": "certs/mc100-station-v2.json", "kind": "rederive", "command": "python3 tools/run-mc100-station.py", "profile": "portable", "run": "warm", "startedAt": "2026-10-21T11:32:44.358Z", "loadAtStart": 7.74, "power": "battery 100%", "wallSeconds": 0.068, "realSeconds": 0.06, "userSeconds": 0.03, "sysSeconds": 0.02, "cpuSeconds": 0.05, "peakRssBytes": 12861440, "overMemoryReported": false, "exit": { "code": 0, "signal": null, "killedByRunner": false, "killedProcesses": 0, "orphansKilled": 0, "abnormal": false }, "verdict": "RAN", "writes": true, "pinSha256": "b526305ff85bbb353a51f5ae2183d06f2e071c2e4a889a9e9025622c41a04431", "pinBytes": 6586, "sha256After": "f715eb75d40cf0c2f4b09bcc353234413d44e533e68359bf564973ea953e2cbf", "bytesAfter": 6587, "changed": true, "diffPaths": [ "generated", "git", "rows[*].decision.seconds", "rows[*].ms", "timing.runMs" ], "stampPaths": [ "generated", "git", "rows[*].decision.seconds", "rows[*].ms", "timing.runMs" ], "nonStampPaths": [], "rowsMoved": [], "registerRebuiltSeconds": 2.9, "verdicts": { "CERTIFIED": 1 }, "perRow": { "mc100-st-jacobian": { "field": "ms", "ms": 1.7 } }, "reproducible": true, "coldWarmDiffPaths": null, "coldWarmStampPaths": null, "coldWarmNonStampPaths": null, "wrote": [ "certs/mc100-station-v2.json" ], "untrackedCreated": [], "sideEffects": [], "stdoutTail": " st-jacobian CERTIFIED (1.7 ms)\ncerts/mc100-station-v2.json · 1 row decided (1 CERTIFIED), 9 undecided with reasons\n", "stderrTail": null }, { "seq": 123, "record": "certs/mc100-station-v2.json", "kind": "rederive", "command": "python3 tools/run-mc100-station.py", "profile": "extended", "run": "cold", "startedAt": "2026-10-21T11:32:47.412Z", "loadAtStart": 7.28, "power": "battery 100%", "wallSeconds": 0.065, "realSeconds": 0.06, "userSeconds": 0.03, "sysSeconds": 0.02, "cpuSeconds": 0.05, "peakRssBytes": 12828672, "overMemoryReported": false, "exit": { "code": 0, "signal": null, "killedByRunner": false, "killedProcesses": 0, "orphansKilled": 0, "abnormal": false }, "verdict": "RAN", "writes": true, "pinSha256": "b526305ff85bbb353a51f5ae2183d06f2e071c2e4a889a9e9025622c41a04431", "pinBytes": 6586, "sha256After": "db8a3808f3ebbe14418b67d8381cddb9e1c17d6eced4fedf36c8e831c717026c", "bytesAfter": 6587, "changed": true, "diffPaths": [ "generated", "git", "rows[*].decision.seconds", "rows[*].ms", "timing.runMs" ], "stampPaths": [ "generated", "git", "rows[*].decision.seconds", "rows[*].ms", "timing.runMs" ], "nonStampPaths": [], "rowsMoved": [], "registerRebuiltSeconds": 2.9, "verdicts": { "CERTIFIED": 1 }, "perRow": { "mc100-st-jacobian": { "field": "ms", "ms": 1.8 } }, "reproducible": true, "coldWarmDiffPaths": [ "generated", "rows[*].ms", "timing.runMs" ], "coldWarmStampPaths": [ "generated", "rows[*].ms", "timing.runMs" ], "coldWarmNonStampPaths": [], "wrote": [ "certs/mc100-station-v2.json" ], "untrackedCreated": [], "sideEffects": [], "stdoutTail": " st-jacobian CERTIFIED (1.8 ms)\ncerts/mc100-station-v2.json · 1 row decided (1 CERTIFIED), 9 undecided with reasons\n", "stderrTail": null }, { "seq": 124, "record": "certs/mc100-station-v2.json", "kind": "rederive", "command": "python3 tools/run-mc100-station.py", "profile": "extended", "run": "warm", "startedAt": "2026-10-21T11:32:50.443Z", "loadAtStart": 7.28, "power": "battery 100%", "wallSeconds": 0.067, "realSeconds": 0.06, "userSeconds": 0.03, "sysSeconds": 0.02, "cpuSeconds": 0.05, "peakRssBytes": 12877824, "overMemoryReported": false, "exit": { "code": 0, "signal": null, "killedByRunner": false, "killedProcesses": 0, "orphansKilled": 0, "abnormal": false }, "verdict": "RAN", "writes": true, "pinSha256": "b526305ff85bbb353a51f5ae2183d06f2e071c2e4a889a9e9025622c41a04431", "pinBytes": 6586, "sha256After": "6ba1d7fc470bbe482a18095ea3f8aa37b911d4df678b633b915430fe1468c60a", "bytesAfter": 6587, "changed": true, "diffPaths": [ "generated", "git", "rows[*].decision.seconds", "rows[*].ms", "timing.runMs" ], "stampPaths": [ "generated", "git", "rows[*].decision.seconds", "rows[*].ms", "timing.runMs" ], "nonStampPaths": [], "rowsMoved": [], "registerRebuiltSeconds": 2.9, "verdicts": { "CERTIFIED": 1 }, "perRow": { "mc100-st-jacobian": { "field": "ms", "ms": 1.7 } }, "reproducible": true, "coldWarmDiffPaths": null, "coldWarmStampPaths": null, "coldWarmNonStampPaths": null, "wrote": [ "certs/mc100-station-v2.json" ], "untrackedCreated": [], "sideEffects": [], "stdoutTail": " st-jacobian CERTIFIED (1.7 ms)\ncerts/mc100-station-v2.json · 1 row decided (1 CERTIFIED), 9 undecided with reasons\n", "stderrTail": null } ], "reclassified": [ { "at": "2026-10-21T11:35:08.831Z", "git": "ccd5c190", "why": "the first classification (the run of 2026-10-21 07:20–08:33) counted a seconds field at the ROOT of gsm8k-ledger and horizon-ledger as outside the stamps; the pre-registration declares seconds a stamp (M4: generated, seconds, git) and Phase 1 saw exactly that root field; the rule in tools/selfaudit-common.js was corrected to the pre-registration's and the derived fields re-derived; no measurement changed" } ], "repinned": [ { "at": "2026-10-21T18:36:25.972Z", "git": "6d80fdef", "why": "Amendment 2026-10-22 (Phase 5, the freeze): the note amended with the fixes, the open finding, the exclusions and this re-pin; the easota ledger record's grammar string gained MISPRINTED; the inventory regenerated; no measurement touched", "before": { "preregistration": "a6ca4457a022a33ce75e8ba294dd4e8ae1b0408771f5244e4fc207152ec22cd3", "inventory": "170766e6eedb97b980d2e1deca2cef197ff7ca8361fab68f5f725ef0ee61d367", "recordsMoved": [ { "record": "certs/easota-ledger.json", "from": "e577361347e77561617610d9be19cbf72ac0a8846219bf03c86e20fb5121c503", "to": "57f46876a7c79b0c6f7f236f0cb133e0ce896f9773cc85b36cf9d8e7fa3f627b" } ] }, "after": { "preregistration": "b799715c0f840d2a201b7a7907025137e70653095319ad8c97a3b7f8be7b23c2", "inventory": "752389f8c27e251ac8ef1bc556171f1c867de315a17544d606b2ac4ccaca5e74" } }, { "at": "2026-10-22T01:17:24.915Z", "git": "16849460", "why": "lane A of Pedro's 2026-10-21 review: the interval kernel's π, erf tail, Spouge margin, transcendental tails, lnΓ minimum and Sum2 hypotheses tightened; hseva-ledger, hseva-atlas and design-table-audit re-derived under the new kernel, every decided number identical, only stamps and timings moved", "before": { "preregistration": "b799715c0f840d2a201b7a7907025137e70653095319ad8c97a3b7f8be7b23c2", "inventory": "752389f8c27e251ac8ef1bc556171f1c867de315a17544d606b2ac4ccaca5e74", "recordsMoved": [ { "record": "certs/hseva-ledger.json", "from": "f7b0379625119653b63814cff4c8efce81a12c7e4ba8b2891ed7cf21d13ff64c", "to": "23aa58c1078c357ab77ff00337ba73667c389101b6c3192eb604b7171291bf73" }, { "record": "certs/design-table-audit.json", "from": "24ef5a69b5ffc4186bde102d6080e616b78ea96df92f40f97252cd4da9424bcd", "to": "c88a6bcd5ce5b76ef10ed8cacfb434eec190b8ce781e69f890b0de7ae21fe357" } ] }, "after": { "preregistration": "b799715c0f840d2a201b7a7907025137e70653095319ad8c97a3b7f8be7b23c2", "inventory": "b5f226e1eff7d9810a0a95b59039de184316f589ee8f0de0d6b9b2734a015b8e" } } ] }