{ "version": 1, "site": "holdco", "build_date": "2026-10-04", "freshness_days": 7, "figures": { "result.independent-solver-anchors.q.gap.page": { "id": "result.independent-solver-anchors.q.gap.page", "value": 19.2, "display": "19.2%", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-independent-solver-anchors.json", "sha256": "9d3003ef85cf1199b0fe945d224aa73c6060d22635756cf65aef42223134027a", "bytes": 3790, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "A fast coupling model, graded by outside solvers", "measured_by": "Printed verbatim from /quotes/gap of this file, which copies it from the lab’s current record at the commit it names." }, "result.reorder-memory-mechanism.figure.page": { "id": "result.reorder-memory-mechanism.figure.page", "value": 1.965, "display": "1.965x", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-reorder-memory-mechanism.json", "sha256": "cbdad56d4b512849484e9d1f530c71e898671feb4a39a9dac62234dbb638aaee", "bytes": 4460, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "Fixed-size memory for reordering AI network data", "measured_by": "Printed verbatim from /figure of this file, which copies it from the lab’s current record at the commit it names." }, "result.reorder-memory-mechanism.plain.page": { "id": "result.reorder-memory-mechanism.plain.page", "value": 1.965, "display": "1.965x", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-reorder-memory-mechanism.json", "sha256": "cbdad56d4b512849484e9d1f530c71e898671feb4a39a9dac62234dbb638aaee", "bytes": 4460, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "Fixed-size memory for reordering AI network data", "measured_by": "Printed verbatim from /plain of this file, which copies it from the lab’s current record at the commit it names." }, "result.reorder-memory-mechanism.limfig.page": { "id": "result.reorder-memory-mechanism.limfig.page", "value": 1.443, "display": "1.443x", "freshness_days": 7, "receipt": { "path": "inference-limits/results/reorder-memory-mechanism.json", "sha256": "57f73888805b5ddad9c08e73ad0abf0cb919a9ee5740a42fed0709c6fc56e3da", "bytes": 9670, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "Fixed-size memory for reordering AI network data", "measured_by": "Printed verbatim from /top40_entry/scope of this file, which copies it from the lab’s current record at the commit it names." }, "result.reorder-memory-mechanism.q.geomean.page": { "id": "result.reorder-memory-mechanism.q.geomean.page", "value": 3886, "display": "3,886x", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-reorder-memory-mechanism.json", "sha256": "cbdad56d4b512849484e9d1f530c71e898671feb4a39a9dac62234dbb638aaee", "bytes": 4460, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "Fixed-size memory for reordering AI network data", "measured_by": "Printed verbatim from /quotes/geomean of this file, which copies it from the lab’s current record at the commit it names." }, "result.reorder-memory-mechanism.q.clamp.page": { "id": "result.reorder-memory-mechanism.q.clamp.page", "value": 62208, "display": "62,208x · 16 B · 39,637x · 96 B", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-reorder-memory-mechanism.json", "sha256": "cbdad56d4b512849484e9d1f530c71e898671feb4a39a9dac62234dbb638aaee", "bytes": 4460, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "Fixed-size memory for reordering AI network data", "measured_by": "Printed verbatim from /quotes/clamp of this file, which copies it from the lab’s current record at the commit it names." }, "result.reorder-memory-mechanism.claim.page": { "id": "result.reorder-memory-mechanism.claim.page", "value": 3886, "display": "3,886x · 1.965x", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-reorder-memory-mechanism.json", "sha256": "cbdad56d4b512849484e9d1f530c71e898671feb4a39a9dac62234dbb638aaee", "bytes": 4460, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "Fixed-size memory for reordering AI network data", "measured_by": "Printed verbatim from /claim of this file, which copies it from the lab’s current record at the commit it names." }, "result.reorder-memory-mechanism.limits.page": { "id": "result.reorder-memory-mechanism.limits.page", "value": 122880, "display": "122,880x · 42,111x · 24,320x · 62,208x · 62,208x · 16 B · 39,637x · 96 B · 122,880x", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-reorder-memory-mechanism.json", "sha256": "cbdad56d4b512849484e9d1f530c71e898671feb4a39a9dac62234dbb638aaee", "bytes": 4460, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "Fixed-size memory for reordering AI network data", "measured_by": "Printed verbatim from /limits of this file, which copies it from the lab’s current record at the commit it names." }, "result.aerial-image-enclosure.headline.page": { "id": "result.aerial-image-enclosure.headline.page", "value": 64, "display": "A check of how light will print a chip pattern computes, for every point of the printed image, a range that is guaranteed to contain the brightness the lab's own detailed simulation gives on its 64-by-64 grid of 2-nanometre pixels (not what silicon would show) … across 232 test masks the simulated brightness never fell outside that range", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-aerial-image-enclosure.json", "sha256": "f20f4618d794e31910588550f13f6085b9aed67d4e77b91e70ab9ce0ca46555e", "bytes": 3430, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "Checked brightness ranges for chip prints", "measured_by": "Printed verbatim from /headline of this file, which copies it from the lab’s current record at the commit it names." }, "result.aerial-image-enclosure.figure.page": { "id": "result.aerial-image-enclosure.figure.page", "value": 0, "display": "0 soundness violations over 13,303,808 pixel-checks across 232 masks", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-aerial-image-enclosure.json", "sha256": "f20f4618d794e31910588550f13f6085b9aed67d4e77b91e70ab9ce0ca46555e", "bytes": 3430, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "Checked brightness ranges for chip prints", "measured_by": "Printed verbatim from /figure of this file, which copies it from the lab’s current record at the commit it names." }, "result.aerial-image-enclosure.plain.page": { "id": "result.aerial-image-enclosure.plain.page", "value": 232, "display": "232 test masks", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-aerial-image-enclosure.json", "sha256": "f20f4618d794e31910588550f13f6085b9aed67d4e77b91e70ab9ce0ca46555e", "bytes": 3430, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "Checked brightness ranges for chip prints", "measured_by": "Printed verbatim from /plain of this file, which copies it from the lab’s current record at the commit it names." }, "result.aerial-image-enclosure.q.fix.page": { "id": "result.aerial-image-enclosure.q.fix.page", "value": 90, "display": "before that fix the same battery gave 90 false admits, all of them there", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-aerial-image-enclosure.json", "sha256": "f20f4618d794e31910588550f13f6085b9aed67d4e77b91e70ab9ce0ca46555e", "bytes": 3430, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "Checked brightness ranges for chip prints", "measured_by": "Printed verbatim from /quotes/fix of this file, which copies it from the lab’s current record at the commit it names." }, "result.aerial-image-enclosure.q.admits.page": { "id": "result.aerial-image-enclosure.q.admits.page", "value": 0, "display": "made 0 false admits among 175 fast admits over 1,252 checks of 102 masks", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-aerial-image-enclosure.json", "sha256": "f20f4618d794e31910588550f13f6085b9aed67d4e77b91e70ab9ce0ca46555e", "bytes": 3430, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "Checked brightness ranges for chip prints", "measured_by": "Printed verbatim from /quotes/admits of this file, which copies it from the lab’s current record at the commit it names." }, "result.aerial-image-enclosure.q.speed.page": { "id": "result.aerial-image-enclosure.q.speed.page", "value": 2026, "display": "Speed: the figures these limits quoted before 2026-09-24 did not match their artifact", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-aerial-image-enclosure.json", "sha256": "f20f4618d794e31910588550f13f6085b9aed67d4e77b91e70ab9ce0ca46555e", "bytes": 3430, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "Checked brightness ranges for chip prints", "measured_by": "Printed verbatim from /quotes/speed of this file, which copies it from the lab’s current record at the commit it names." }, "result.txn-crash-recovery.qual.1.page": { "id": "result.txn-crash-recovery.qual.1.page", "value": 29, "display": "killed at 29 moments the authors chose, the program each time recovered a clean all-or-nothing state from its on-disk log in a fresh process, while a deliberately broken version did not", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-txn-crash-recovery.json", "sha256": "3c3b2bb52aa1cb36d053ffad127413ae2f1392f19c037c72772e60ef3833e223", "bytes": 4784, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "Crash recovery for AI assistants’ multi-step changes", "measured_by": "Printed verbatim from /qualification/1 of this file, which copies it from the lab’s current record at the commit it names." }, "result.txn-crash-recovery.qual.2.page": { "id": "result.txn-crash-recovery.qual.2.page", "value": 2893, "display": "but killed 2,893 more times at random moments it recovered 31 times to a state that was neither, some of them undoing work already committed", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-txn-crash-recovery.json", "sha256": "3c3b2bb52aa1cb36d053ffad127413ae2f1392f19c037c72772e60ef3833e223", "bytes": 4784, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "Crash recovery for AI assistants’ multi-step changes", "measured_by": "Printed verbatim from /qualification/2 of this file, which copies it from the lab’s current record at the commit it names." }, "result.txn-crash-recovery.figure.page": { "id": "result.txn-crash-recovery.figure.page", "value": 29, "display": "atomic recovery recorded at every one of those 29 points", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-txn-crash-recovery.json", "sha256": "3c3b2bb52aa1cb36d053ffad127413ae2f1392f19c037c72772e60ef3833e223", "bytes": 4784, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "Crash recovery for AI assistants’ multi-step changes", "measured_by": "Printed verbatim from /figure of this file, which copies it from the lab’s current record at the commit it names." }, "result.txn-crash-recovery.plain.page": { "id": "result.txn-crash-recovery.plain.page", "value": 29, "display": "atomic recovery recorded at every one of those 29 points", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-txn-crash-recovery.json", "sha256": "3c3b2bb52aa1cb36d053ffad127413ae2f1392f19c037c72772e60ef3833e223", "bytes": 4784, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "Crash recovery for AI assistants’ multi-step changes", "measured_by": "Printed verbatim from /plain of this file, which copies it from the lab’s current record at the commit it names." }, "result.txn-crash-recovery.limfig.page": { "id": "result.txn-crash-recovery.limfig.page", "value": 2893, "display": "2,893 further kills at seeded random moments found 31 recoveries that were not atomic", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-txn-crash-recovery.json", "sha256": "3c3b2bb52aa1cb36d053ffad127413ae2f1392f19c037c72772e60ef3833e223", "bytes": 4784, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "Crash recovery for AI assistants’ multi-step changes", "measured_by": "Printed verbatim from /limfig of this file, which copies it from the lab’s current record at the commit it names." }, "result.txn-crash-recovery.limit.page": { "id": "result.txn-crash-recovery.limit.page", "value": 2893, "display": "The 2,893 random kills are process kills, not power cuts, so the fsync ordering the journal relies on is still untested", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-txn-crash-recovery.json", "sha256": "3c3b2bb52aa1cb36d053ffad127413ae2f1392f19c037c72772e60ef3833e223", "bytes": 4784, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "Crash recovery for AI assistants’ multi-step changes", "measured_by": "Printed verbatim from /limit of this file, which copies it from the lab’s current record at the commit it names." }, "result.txn-crash-recovery.stronger.page": { "id": "result.txn-crash-recovery.stronger.page", "value": 2893, "display": "2,893 further kills at seeded random moments found 31 recoveries that were not atomic", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-txn-crash-recovery.json", "sha256": "3c3b2bb52aa1cb36d053ffad127413ae2f1392f19c037c72772e60ef3833e223", "bytes": 4784, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "Crash recovery for AI assistants’ multi-step changes", "measured_by": "Printed verbatim from /stronger of this file, which copies it from the lab’s current record at the commit it names." }, "result.txn-crash-recovery.q.declared.page": { "id": "result.txn-crash-recovery.q.declared.page", "value": 29, "display": "atomic recovery recorded at every one of those 29 points and a negative control that is genuinely non-atomic", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-txn-crash-recovery.json", "sha256": "3c3b2bb52aa1cb36d053ffad127413ae2f1392f19c037c72772e60ef3833e223", "bytes": 4784, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "Crash recovery for AI assistants’ multi-step changes", "measured_by": "Printed verbatim from /quotes/declared of this file, which copies it from the lab’s current record at the commit it names." }, "result.owned-3d-end-effect.headline.page": { "id": "result.owned-3d-end-effect.headline.page", "value": 40, "display": "40%", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-owned-3d-end-effect.json", "sha256": "f923f42710b9b0aa11e0e80671598f1cd961c81b024222605ae81392ced0faf1", "bytes": 5065, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "The capacitance flat models leave out", "measured_by": "Printed verbatim from /headline of this file, which copies it from the lab’s current record at the commit it names." }, "result.owned-3d-end-effect.qual.1.page": { "id": "result.owned-3d-end-effect.qual.1.page", "value": 0.5, "display": "0.5%", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-owned-3d-end-effect.json", "sha256": "f923f42710b9b0aa11e0e80671598f1cd961c81b024222605ae81392ced0faf1", "bytes": 5065, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "The capacitance flat models leave out", "measured_by": "Printed verbatim from /qualification/1 of this file, which copies it from the lab’s current record at the commit it names." }, "result.owned-3d-end-effect.figure.page": { "id": "result.owned-3d-end-effect.figure.page", "value": 0.8, "display": "0.80% · 1.04%", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-owned-3d-end-effect.json", "sha256": "f923f42710b9b0aa11e0e80671598f1cd961c81b024222605ae81392ced0faf1", "bytes": 5065, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "The capacitance flat models leave out", "measured_by": "Printed verbatim from /figure of this file, which copies it from the lab’s current record at the commit it names." }, "result.owned-3d-end-effect.plain.page": { "id": "result.owned-3d-end-effect.plain.page", "value": 40, "display": "40%", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-owned-3d-end-effect.json", "sha256": "f923f42710b9b0aa11e0e80671598f1cd961c81b024222605ae81392ced0faf1", "bytes": 5065, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "The capacitance flat models leave out", "measured_by": "Printed verbatim from /plain of this file, which copies it from the lab’s current record at the commit it names." }, "result.owned-3d-end-effect.stronger.page": { "id": "result.owned-3d-end-effect.stronger.page", "value": 40, "display": "40%", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-owned-3d-end-effect.json", "sha256": "f923f42710b9b0aa11e0e80671598f1cd961c81b024222605ae81392ced0faf1", "bytes": 5065, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "The capacitance flat models leave out", "measured_by": "Printed verbatim from /stronger of this file, which copies it from the lab’s current record at the commit it names." }, "result.owned-3d-end-effect.q.fastcap.page": { "id": "result.owned-3d-end-effect.q.fastcap.page", "value": 0.498, "display": "0.498% · 0.308% · 42.794%", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-owned-3d-end-effect.json", "sha256": "f923f42710b9b0aa11e0e80671598f1cd961c81b024222605ae81392ced0faf1", "bytes": 5065, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "The capacitance flat models leave out", "measured_by": "Printed verbatim from /quotes/fastcap of this file, which copies it from the lab’s current record at the commit it names." }, "result.owned-3d-end-effect.claim.page": { "id": "result.owned-3d-end-effect.claim.page", "value": 40, "display": "40% · 0.498% · 0.308% · 42.794%", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-owned-3d-end-effect.json", "sha256": "f923f42710b9b0aa11e0e80671598f1cd961c81b024222605ae81392ced0faf1", "bytes": 5065, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "The capacitance flat models leave out", "measured_by": "Printed verbatim from /claim of this file, which copies it from the lab’s current record at the commit it names." }, "result.uec-interconnect-essentiality.q.converse.page": { "id": "result.uec-interconnect-essentiality.q.converse.page", "value": 39, "display": "in the same model the mandate as literally stated does not require the gate (39 distinct compliant receivers do without it)", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-uec-interconnect-essentiality.json", "sha256": "2c22d48bd7a3fff757f841e5b78517610abdcf2d2f0ef323b05e4985ad84550e", "bytes": 3671, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "An Ultra Ethernet recovery design, proved in a model", "measured_by": "Printed verbatim from /quotes/converse of this file, which copies it from the lab’s current record at the commit it names." }, "result.pairwise-impossibility.qual.1.page": { "id": "result.pairwise-impossibility.qual.1.page", "value": 9.8, "display": "while against the lab's more exact solver the figure is about 9.8 percent and only measured on examples, not proved", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-pairwise-impossibility.json", "sha256": "9a02fddebb5e3abb7a28041ad7d18719c77bede23e9410c46a5bb8c85fced55b", "bytes": 3773, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "Pair-by-pair coupling estimates overstate the worst case, in a model", "measured_by": "Printed verbatim from /qualification/1 of this file, which copies it from the lab’s current record at the commit it names." }, "result.pairwise-impossibility.figure.page": { "id": "result.pairwise-impossibility.figure.page", "value": 1.10467287, "display": "1.10467287× · 10.467287%", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-pairwise-impossibility.json", "sha256": "9a02fddebb5e3abb7a28041ad7d18719c77bede23e9410c46a5bb8c85fced55b", "bytes": 3773, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "Pair-by-pair coupling estimates overstate the worst case, in a model", "measured_by": "Printed verbatim from /figure of this file, which copies it from the lab’s current record at the commit it names." }, "result.pairwise-impossibility.limit.page": { "id": "result.pairwise-impossibility.limit.page", "value": 9.79, "display": "≈9.79%", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-pairwise-impossibility.json", "sha256": "9a02fddebb5e3abb7a28041ad7d18719c77bede23e9410c46a5bb8c85fced55b", "bytes": 3773, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "Pair-by-pair coupling estimates overstate the worst case, in a model", "measured_by": "Printed verbatim from /limit of this file, which copies it from the lab’s current record at the commit it names." }, "result.pairwise-impossibility.claim.page": { "id": "result.pairwise-impossibility.claim.page", "value": 1.10467287, "display": "1.10467287× · 10.467287%", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-pairwise-impossibility.json", "sha256": "9a02fddebb5e3abb7a28041ad7d18719c77bede23e9410c46a5bb8c85fced55b", "bytes": 3773, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "Pair-by-pair coupling estimates overstate the worst case, in a model", "measured_by": "Printed verbatim from /claim of this file, which copies it from the lab’s current record at the commit it names." }, "result.pairwise-impossibility.floor.page": { "id": "result.pairwise-impossibility.floor.page", "value": 1.10467, "display": "1.10467× · 10.467%", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-pairwise-impossibility.json", "sha256": "9a02fddebb5e3abb7a28041ad7d18719c77bede23e9410c46a5bb8c85fced55b", "bytes": 3773, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "Pair-by-pair coupling estimates overstate the worst case, in a model", "measured_by": "Computed from /numbers/sup_certified_k_hi of this file (the certified supremum k): the ratio 1/k and the over-estimate (1/k − 1) × 100, each cut to fewer digits so the printed minimum is below the certified one." }, "result.composition-certificates.headline.page": { "id": "result.composition-certificates.headline.page", "value": 2379, "display": "In a test world the lab built … the lab ran every sequence of up to three tool calls (2,379 runs on real files and a real database) and found three smallest combinations that leak the secret, each the secret-reading tool followed by an outlet and only one of them a pair", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-composition-certificates.json", "sha256": "06a5cf0964cebc2ccf4fcc8f0140b8eb2e33eb019d31f77284edcb90ae27ee5b", "bytes": 3816, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "Tool combinations that leak a secret", "measured_by": "Printed verbatim from /headline of this file, which copies it from the lab’s current record at the commit it names." }, "result.composition-certificates.figure.page": { "id": "result.composition-certificates.figure.page", "value": 2379, "display": "2,379 executed sessions against real files and a real SQLite database", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-composition-certificates.json", "sha256": "06a5cf0964cebc2ccf4fcc8f0140b8eb2e33eb019d31f77284edcb90ae27ee5b", "bytes": 3816, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "Tool combinations that leak a secret", "measured_by": "Printed verbatim from /figure of this file, which copies it from the lab’s current record at the commit it names." }, "result.composition-certificates.plain.page": { "id": "result.composition-certificates.plain.page", "value": 2379, "display": "2,379 runs on real files and a real database", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-composition-certificates.json", "sha256": "06a5cf0964cebc2ccf4fcc8f0140b8eb2e33eb019d31f77284edcb90ae27ee5b", "bytes": 3816, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "Tool combinations that leak a secret", "measured_by": "Printed verbatim from /plain of this file, which copies it from the lab’s current record at the commit it names." }, "result.proof-carrying-mask-edits.qual.1.page": { "id": "result.proof-carrying-mask-edits.qual.1.page", "value": 1, "display": "1%", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-proof-carrying-mask-edits.json", "sha256": "2aaf57c15bf0c7c533cd43f90bf35de103f170bfe7aa33770bc85c0d618bdbac", "bytes": 3199, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "Signing off some tiles near a chip-mask edit, in simulation", "measured_by": "Printed verbatim from /qualification/1 of this file, which copies it from the lab’s current record at the commit it names." }, "result.proof-carrying-mask-edits.figure.page": { "id": "result.proof-carrying-mask-edits.figure.page", "value": 0, "display": "with 0 violations over 9,175,040 pointwise comparisons", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-proof-carrying-mask-edits.json", "sha256": "2aaf57c15bf0c7c533cd43f90bf35de103f170bfe7aa33770bc85c0d618bdbac", "bytes": 3199, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "Signing off some tiles near a chip-mask edit, in simulation", "measured_by": "Printed verbatim from /figure of this file, which copies it from the lab’s current record at the commit it names." }, "result.proof-carrying-mask-edits.plain.page": { "id": "result.proof-carrying-mask-edits.plain.page", "value": 0, "display": "0 violations", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-proof-carrying-mask-edits.json", "sha256": "2aaf57c15bf0c7c533cd43f90bf35de103f170bfe7aa33770bc85c0d618bdbac", "bytes": 3199, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "Signing off some tiles near a chip-mask edit, in simulation", "measured_by": "Printed verbatim from /plain of this file, which copies it from the lab’s current record at the commit it names." }, "result.proof-carrying-mask-edits.limfig.page": { "id": "result.proof-carrying-mask-edits.limfig.page", "value": 1, "display": "1%", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-proof-carrying-mask-edits.json", "sha256": "2aaf57c15bf0c7c533cd43f90bf35de103f170bfe7aa33770bc85c0d618bdbac", "bytes": 3199, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "Signing off some tiles near a chip-mask edit, in simulation", "measured_by": "Printed verbatim from /limfig of this file, which copies it from the lab’s current record at the commit it names." }, "result.proof-carrying-mask-edits.limit.page": { "id": "result.proof-carrying-mask-edits.limit.page", "value": 9, "display": "over a FOUR-EDIT CHAIN, 9 of 64 tile serves fell below from-scratch, worst by 4.3267 nm", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-proof-carrying-mask-edits.json", "sha256": "2aaf57c15bf0c7c533cd43f90bf35de103f170bfe7aa33770bc85c0d618bdbac", "bytes": 3199, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "Signing off some tiles near a chip-mask edit, in simulation", "measured_by": "Printed verbatim from /limit of this file, which copies it from the lab’s current record at the commit it names." }, "result.proof-carrying-mask-edits.q.honest.page": { "id": "result.proof-carrying-mask-edits.q.honest.page", "value": 0, "display": "On the same chain the honest declaration served 0 of 64 below from-scratch", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-proof-carrying-mask-edits.json", "sha256": "2aaf57c15bf0c7c533cd43f90bf35de103f170bfe7aa33770bc85c0d618bdbac", "bytes": 3199, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "Signing off some tiles near a chip-mask edit, in simulation", "measured_by": "Printed verbatim from /quotes/honest of this file, which copies it from the lab’s current record at the commit it names." }, "result.proof-carrying-mask-edits.q.planted.page": { "id": "result.proof-carrying-mask-edits.q.planted.page", "value": 0, "display": "with update(declared_halo=0), a falsification knob whose every result is stamped NOT a certificate, over a FOUR-EDIT CHAIN, 9 of 64 tile serves fell below from-scratch, worst by 4.3267 nm", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-proof-carrying-mask-edits.json", "sha256": "2aaf57c15bf0c7c533cd43f90bf35de103f170bfe7aa33770bc85c0d618bdbac", "bytes": 3199, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "Signing off some tiles near a chip-mask edit, in simulation", "measured_by": "Printed verbatim from /quotes/planted of this file, which copies it from the lab’s current record at the commit it names." }, "result.unseeded-hunt.headline.page": { "id": "result.unseeded-hunt.headline.page", "value": 11200, "display": "An automated attacker, given no hints, tried 11,200 combinations of known Wi-Fi sign-in attacks … against the lab's own software models of its hardened versions of ten quantum-resistant Wi-Fi sign-in designs (not real Wi-Fi software), and found no attack that got through", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-unseeded-hunt.json", "sha256": "f81bb34412f6d1d96e41b46016e8e060e0d0e946efc588688e88e9538517bf35", "bytes": 3381, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "An automated attack search against quantum-safe Wi-Fi sign-in", "measured_by": "Printed verbatim from /headline of this file, which copies it from the lab’s current record at the commit it names." }, "result.unseeded-hunt.qual.0.page": { "id": "result.unseeded-hunt.qual.0.page", "value": 1, "display": "1%", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-unseeded-hunt.json", "sha256": "f81bb34412f6d1d96e41b46016e8e060e0d0e946efc588688e88e9538517bf35", "bytes": 3381, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "An automated attack search against quantum-safe Wi-Fi sign-in", "measured_by": "Printed verbatim from /qualification/0 of this file, which copies it from the lab’s current record at the commit it names." }, "result.unseeded-hunt.figure.page": { "id": "result.unseeded-hunt.figure.page", "value": 11200, "display": "searched 11,200 compound attacks over the whole design axis and found zero escapes", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-unseeded-hunt.json", "sha256": "f81bb34412f6d1d96e41b46016e8e060e0d0e946efc588688e88e9538517bf35", "bytes": 3381, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "An automated attack search against quantum-safe Wi-Fi sign-in", "measured_by": "Printed verbatim from /figure of this file, which copies it from the lab’s current record at the commit it names." }, "result.ap-memory-bound.limit.page": { "id": "result.ap-memory-bound.limit.page", "value": 802.11, "display": "Measured on the Python reference path; no 802.11 frame crosses a radio.", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-ap-memory-bound.json", "sha256": "b75ac1bac4ebb6d375e89b4436140b2758647ad2aa7bbc5218c82a5477805b7a", "bytes": 3257, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "A memory ceiling for post-quantum Wi-Fi, proved in a model", "measured_by": "Printed verbatim from /limit of this file, which copies it from the lab’s current record at the commit it names." }, "result.reticle-certificate.headline.page": { "id": "result.reticle-certificate.headline.page", "value": 1.35, "display": "A way to fold the pass/fail records for every small piece of a chip-printing stencil (photomask) into one summary record of about 1.35 kilobytes that stays that size whether the stencil is split into 64 pieces or about a million, plus a short checking program that uses only standard built-in libraries", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-reticle-certificate.json", "sha256": "879a8036fc55a86cc2c2d184be0466434679e340c550a875dc42bd8d04d3bff7", "bytes": 3805, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "A near-constant-size sign-off record for a photomask", "measured_by": "Printed verbatim from /headline of this file, which copies it from the lab’s current record at the commit it names." }, "result.reticle-certificate.figure.page": { "id": "result.reticle-certificate.figure.page", "value": 1347, "display": "stay 1,347-1,379 bytes across 64 to 1,048,576 tiles", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-reticle-certificate.json", "sha256": "879a8036fc55a86cc2c2d184be0466434679e340c550a875dc42bd8d04d3bff7", "bytes": 3805, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "A near-constant-size sign-off record for a photomask", "measured_by": "Printed verbatim from /figure of this file, which copies it from the lab’s current record at the commit it names." }, "result.reticle-certificate.limit.page": { "id": "result.reticle-certificate.limit.page", "value": 1, "display": "Certificate SIZE is O(1) in tile count; certificate ASSURANCE is not.", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-reticle-certificate.json", "sha256": "879a8036fc55a86cc2c2d184be0466434679e340c550a875dc42bd8d04d3bff7", "bytes": 3805, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "A near-constant-size sign-off record for a photomask", "measured_by": "Printed verbatim from /limit of this file, which copies it from the lab’s current record at the commit it names." }, "result.reticle-certificate.limits.page": { "id": "result.reticle-certificate.limits.page", "value": 7.934, "display": "7.934x · 839 B · 6,657 B", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-reticle-certificate.json", "sha256": "879a8036fc55a86cc2c2d184be0466434679e340c550a875dc42bd8d04d3bff7", "bytes": 3805, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "A near-constant-size sign-off record for a photomask", "measured_by": "Printed verbatim from /limits of this file, which copies it from the lab’s current record at the commit it names." }, "result.aerial-image-enclosure.plain.home": { "id": "result.aerial-image-enclosure.plain.home", "value": 232, "display": "232 test masks", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-aerial-image-enclosure.json", "sha256": "f20f4618d794e31910588550f13f6085b9aed67d4e77b91e70ab9ce0ca46555e", "bytes": 3430, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "Checked brightness ranges for chip prints", "measured_by": "Printed verbatim from /plain of this file, which copies it from the lab’s current record at the commit it names." }, "result.owned-3d-end-effect.plain.home": { "id": "result.owned-3d-end-effect.plain.home", "value": 40, "display": "40%", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-owned-3d-end-effect.json", "sha256": "f923f42710b9b0aa11e0e80671598f1cd961c81b024222605ae81392ced0faf1", "bytes": 5065, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "The capacitance flat models leave out", "measured_by": "Printed verbatim from /plain of this file, which copies it from the lab’s current record at the commit it names." }, "result.proof-carrying-mask-edits.plain.home": { "id": "result.proof-carrying-mask-edits.plain.home", "value": 0, "display": "0 violations", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-proof-carrying-mask-edits.json", "sha256": "2aaf57c15bf0c7c533cd43f90bf35de103f170bfe7aa33770bc85c0d618bdbac", "bytes": 3199, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "Signing off some tiles near a chip-mask edit, in simulation", "measured_by": "Printed verbatim from /plain of this file, which copies it from the lab’s current record at the commit it names." }, "result.reorder-memory-mechanism.plain.theorems": { "id": "result.reorder-memory-mechanism.plain.theorems", "value": 1.965, "display": "1.965x", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-reorder-memory-mechanism.json", "sha256": "cbdad56d4b512849484e9d1f530c71e898671feb4a39a9dac62234dbb638aaee", "bytes": 4460, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "Fixed-size memory for reordering AI network data", "measured_by": "Printed verbatim from /plain of this file, which copies it from the lab’s current record at the commit it names." }, "result.reorder-memory-mechanism.limfig.theorems": { "id": "result.reorder-memory-mechanism.limfig.theorems", "value": 1.443, "display": "1.443x", "freshness_days": 7, "receipt": { "path": "inference-limits/results/reorder-memory-mechanism.json", "sha256": "57f73888805b5ddad9c08e73ad0abf0cb919a9ee5740a42fed0709c6fc56e3da", "bytes": 9670, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "Fixed-size memory for reordering AI network data", "measured_by": "Printed verbatim from /top40_entry/scope of this file, which copies it from the lab’s current record at the commit it names." }, "result.aerial-image-enclosure.plain.theorems": { "id": "result.aerial-image-enclosure.plain.theorems", "value": 232, "display": "232 test masks", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-aerial-image-enclosure.json", "sha256": "f20f4618d794e31910588550f13f6085b9aed67d4e77b91e70ab9ce0ca46555e", "bytes": 3430, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "Checked brightness ranges for chip prints", "measured_by": "Printed verbatim from /plain of this file, which copies it from the lab’s current record at the commit it names." }, "result.txn-crash-recovery.plain.theorems": { "id": "result.txn-crash-recovery.plain.theorems", "value": 29, "display": "atomic recovery recorded at every one of those 29 points", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-txn-crash-recovery.json", "sha256": "3c3b2bb52aa1cb36d053ffad127413ae2f1392f19c037c72772e60ef3833e223", "bytes": 4784, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "Crash recovery for AI assistants’ multi-step changes", "measured_by": "Printed verbatim from /plain of this file, which copies it from the lab’s current record at the commit it names." }, "result.txn-crash-recovery.limfig.theorems": { "id": "result.txn-crash-recovery.limfig.theorems", "value": 2893, "display": "2,893 further kills at seeded random moments found 31 recoveries that were not atomic", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-txn-crash-recovery.json", "sha256": "3c3b2bb52aa1cb36d053ffad127413ae2f1392f19c037c72772e60ef3833e223", "bytes": 4784, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "Crash recovery for AI assistants’ multi-step changes", "measured_by": "Printed verbatim from /limfig of this file, which copies it from the lab’s current record at the commit it names." }, "result.owned-3d-end-effect.plain.theorems": { "id": "result.owned-3d-end-effect.plain.theorems", "value": 40, "display": "40%", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-owned-3d-end-effect.json", "sha256": "f923f42710b9b0aa11e0e80671598f1cd961c81b024222605ae81392ced0faf1", "bytes": 5065, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "The capacitance flat models leave out", "measured_by": "Printed verbatim from /plain of this file, which copies it from the lab’s current record at the commit it names." }, "result.composition-certificates.plain.theorems": { "id": "result.composition-certificates.plain.theorems", "value": 2379, "display": "2,379 runs on real files and a real database", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-composition-certificates.json", "sha256": "06a5cf0964cebc2ccf4fcc8f0140b8eb2e33eb019d31f77284edcb90ae27ee5b", "bytes": 3816, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "Tool combinations that leak a secret", "measured_by": "Printed verbatim from /plain of this file, which copies it from the lab’s current record at the commit it names." }, "result.proof-carrying-mask-edits.plain.theorems": { "id": "result.proof-carrying-mask-edits.plain.theorems", "value": 0, "display": "0 violations", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-proof-carrying-mask-edits.json", "sha256": "2aaf57c15bf0c7c533cd43f90bf35de103f170bfe7aa33770bc85c0d618bdbac", "bytes": 3199, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "Signing off some tiles near a chip-mask edit, in simulation", "measured_by": "Printed verbatim from /plain of this file, which copies it from the lab’s current record at the commit it names." }, "result.proof-carrying-mask-edits.limfig.theorems": { "id": "result.proof-carrying-mask-edits.limfig.theorems", "value": 1, "display": "1%", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-proof-carrying-mask-edits.json", "sha256": "2aaf57c15bf0c7c533cd43f90bf35de103f170bfe7aa33770bc85c0d618bdbac", "bytes": 3199, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "Signing off some tiles near a chip-mask edit, in simulation", "measured_by": "Printed verbatim from /limfig of this file, which copies it from the lab’s current record at the commit it names." }, "result.reorder-memory-mechanism.plain.teaser": { "id": "result.reorder-memory-mechanism.plain.teaser", "value": 1.965, "display": "1.965x", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-reorder-memory-mechanism.json", "sha256": "cbdad56d4b512849484e9d1f530c71e898671feb4a39a9dac62234dbb638aaee", "bytes": 4460, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "Fixed-size memory for reordering AI network data", "measured_by": "Printed verbatim from /plain of this file, which copies it from the lab’s current record at the commit it names." }, "result.reorder-memory-mechanism.limfig.teaser": { "id": "result.reorder-memory-mechanism.limfig.teaser", "value": 1.443, "display": "1.443x", "freshness_days": 7, "receipt": { "path": "inference-limits/results/reorder-memory-mechanism.json", "sha256": "57f73888805b5ddad9c08e73ad0abf0cb919a9ee5740a42fed0709c6fc56e3da", "bytes": 9670, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "Fixed-size memory for reordering AI network data", "measured_by": "Printed verbatim from /top40_entry/scope of this file, which copies it from the lab’s current record at the commit it names." }, "result.aerial-image-enclosure.plain.teaser": { "id": "result.aerial-image-enclosure.plain.teaser", "value": 232, "display": "232 test masks", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-aerial-image-enclosure.json", "sha256": "f20f4618d794e31910588550f13f6085b9aed67d4e77b91e70ab9ce0ca46555e", "bytes": 3430, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "Checked brightness ranges for chip prints", "measured_by": "Printed verbatim from /plain of this file, which copies it from the lab’s current record at the commit it names." }, "result.txn-crash-recovery.plain.teaser": { "id": "result.txn-crash-recovery.plain.teaser", "value": 29, "display": "atomic recovery recorded at every one of those 29 points", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-txn-crash-recovery.json", "sha256": "3c3b2bb52aa1cb36d053ffad127413ae2f1392f19c037c72772e60ef3833e223", "bytes": 4784, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "Crash recovery for AI assistants’ multi-step changes", "measured_by": "Printed verbatim from /plain of this file, which copies it from the lab’s current record at the commit it names." }, "result.txn-crash-recovery.limfig.teaser": { "id": "result.txn-crash-recovery.limfig.teaser", "value": 2893, "display": "2,893 further kills at seeded random moments found 31 recoveries that were not atomic", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-txn-crash-recovery.json", "sha256": "3c3b2bb52aa1cb36d053ffad127413ae2f1392f19c037c72772e60ef3833e223", "bytes": 4784, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "Crash recovery for AI assistants’ multi-step changes", "measured_by": "Printed verbatim from /limfig of this file, which copies it from the lab’s current record at the commit it names." }, "result.owned-3d-end-effect.plain.teaser": { "id": "result.owned-3d-end-effect.plain.teaser", "value": 40, "display": "40%", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-owned-3d-end-effect.json", "sha256": "f923f42710b9b0aa11e0e80671598f1cd961c81b024222605ae81392ced0faf1", "bytes": 5065, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "The capacitance flat models leave out", "measured_by": "Printed verbatim from /plain of this file, which copies it from the lab’s current record at the commit it names." }, "result.independent-solver-anchors.q.gap.exact": { "id": "result.independent-solver-anchors.q.gap.exact", "value": 19.2, "display": "19.2%", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-independent-solver-anchors.json", "sha256": "9d3003ef85cf1199b0fe945d224aa73c6060d22635756cf65aef42223134027a", "bytes": 3790, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "A fast coupling model, graded by outside solvers", "measured_by": "Printed verbatim from /quotes/gap of this file, which copies it from the lab’s current record at the commit it names." }, "result.reorder-memory-mechanism.figure.exact": { "id": "result.reorder-memory-mechanism.figure.exact", "value": 1.965, "display": "1.965x", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-reorder-memory-mechanism.json", "sha256": "cbdad56d4b512849484e9d1f530c71e898671feb4a39a9dac62234dbb638aaee", "bytes": 4460, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "Fixed-size memory for reordering AI network data", "measured_by": "Printed verbatim from /figure of this file, which copies it from the lab’s current record at the commit it names." }, "result.reorder-memory-mechanism.plain.exact": { "id": "result.reorder-memory-mechanism.plain.exact", "value": 1.965, "display": "1.965x", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-reorder-memory-mechanism.json", "sha256": "cbdad56d4b512849484e9d1f530c71e898671feb4a39a9dac62234dbb638aaee", "bytes": 4460, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "Fixed-size memory for reordering AI network data", "measured_by": "Printed verbatim from /plain of this file, which copies it from the lab’s current record at the commit it names." }, "result.reorder-memory-mechanism.limfig.exact": { "id": "result.reorder-memory-mechanism.limfig.exact", "value": 1.443, "display": "1.443x", "freshness_days": 7, "receipt": { "path": "inference-limits/results/reorder-memory-mechanism.json", "sha256": "57f73888805b5ddad9c08e73ad0abf0cb919a9ee5740a42fed0709c6fc56e3da", "bytes": 9670, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "Fixed-size memory for reordering AI network data", "measured_by": "Printed verbatim from /top40_entry/scope of this file, which copies it from the lab’s current record at the commit it names." }, "result.reorder-memory-mechanism.q.geomean.exact": { "id": "result.reorder-memory-mechanism.q.geomean.exact", "value": 3886, "display": "3,886x", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-reorder-memory-mechanism.json", "sha256": "cbdad56d4b512849484e9d1f530c71e898671feb4a39a9dac62234dbb638aaee", "bytes": 4460, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "Fixed-size memory for reordering AI network data", "measured_by": "Printed verbatim from /quotes/geomean of this file, which copies it from the lab’s current record at the commit it names." }, "result.reorder-memory-mechanism.q.clamp.exact": { "id": "result.reorder-memory-mechanism.q.clamp.exact", "value": 62208, "display": "62,208x · 16 B · 39,637x · 96 B", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-reorder-memory-mechanism.json", "sha256": "cbdad56d4b512849484e9d1f530c71e898671feb4a39a9dac62234dbb638aaee", "bytes": 4460, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "Fixed-size memory for reordering AI network data", "measured_by": "Printed verbatim from /quotes/clamp of this file, which copies it from the lab’s current record at the commit it names." }, "result.reorder-memory-mechanism.claim.exact": { "id": "result.reorder-memory-mechanism.claim.exact", "value": 3886, "display": "3,886x · 1.965x", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-reorder-memory-mechanism.json", "sha256": "cbdad56d4b512849484e9d1f530c71e898671feb4a39a9dac62234dbb638aaee", "bytes": 4460, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "Fixed-size memory for reordering AI network data", "measured_by": "Printed verbatim from /claim of this file, which copies it from the lab’s current record at the commit it names." }, "result.reorder-memory-mechanism.limits.exact": { "id": "result.reorder-memory-mechanism.limits.exact", "value": 122880, "display": "122,880x · 42,111x · 24,320x · 62,208x · 62,208x · 16 B · 39,637x · 96 B · 122,880x", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-reorder-memory-mechanism.json", "sha256": "cbdad56d4b512849484e9d1f530c71e898671feb4a39a9dac62234dbb638aaee", "bytes": 4460, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "Fixed-size memory for reordering AI network data", "measured_by": "Printed verbatim from /limits of this file, which copies it from the lab’s current record at the commit it names." }, "result.aerial-image-enclosure.headline.exact": { "id": "result.aerial-image-enclosure.headline.exact", "value": 64, "display": "A check of how light will print a chip pattern computes, for every point of the printed image, a range that is guaranteed to contain the brightness the lab's own detailed simulation gives on its 64-by-64 grid of 2-nanometre pixels (not what silicon would show) … across 232 test masks the simulated brightness never fell outside that range", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-aerial-image-enclosure.json", "sha256": "f20f4618d794e31910588550f13f6085b9aed67d4e77b91e70ab9ce0ca46555e", "bytes": 3430, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "Checked brightness ranges for chip prints", "measured_by": "Printed verbatim from /headline of this file, which copies it from the lab’s current record at the commit it names." }, "result.aerial-image-enclosure.figure.exact": { "id": "result.aerial-image-enclosure.figure.exact", "value": 0, "display": "0 soundness violations over 13,303,808 pixel-checks across 232 masks", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-aerial-image-enclosure.json", "sha256": "f20f4618d794e31910588550f13f6085b9aed67d4e77b91e70ab9ce0ca46555e", "bytes": 3430, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "Checked brightness ranges for chip prints", "measured_by": "Printed verbatim from /figure of this file, which copies it from the lab’s current record at the commit it names." }, "result.aerial-image-enclosure.plain.exact": { "id": "result.aerial-image-enclosure.plain.exact", "value": 232, "display": "232 test masks", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-aerial-image-enclosure.json", "sha256": "f20f4618d794e31910588550f13f6085b9aed67d4e77b91e70ab9ce0ca46555e", "bytes": 3430, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "Checked brightness ranges for chip prints", "measured_by": "Printed verbatim from /plain of this file, which copies it from the lab’s current record at the commit it names." }, "result.aerial-image-enclosure.q.fix.exact": { "id": "result.aerial-image-enclosure.q.fix.exact", "value": 90, "display": "before that fix the same battery gave 90 false admits, all of them there", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-aerial-image-enclosure.json", "sha256": "f20f4618d794e31910588550f13f6085b9aed67d4e77b91e70ab9ce0ca46555e", "bytes": 3430, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "Checked brightness ranges for chip prints", "measured_by": "Printed verbatim from /quotes/fix of this file, which copies it from the lab’s current record at the commit it names." }, "result.aerial-image-enclosure.q.admits.exact": { "id": "result.aerial-image-enclosure.q.admits.exact", "value": 0, "display": "made 0 false admits among 175 fast admits over 1,252 checks of 102 masks", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-aerial-image-enclosure.json", "sha256": "f20f4618d794e31910588550f13f6085b9aed67d4e77b91e70ab9ce0ca46555e", "bytes": 3430, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "Checked brightness ranges for chip prints", "measured_by": "Printed verbatim from /quotes/admits of this file, which copies it from the lab’s current record at the commit it names." }, "result.aerial-image-enclosure.q.speed.exact": { "id": "result.aerial-image-enclosure.q.speed.exact", "value": 2026, "display": "Speed: the figures these limits quoted before 2026-09-24 did not match their artifact", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-aerial-image-enclosure.json", "sha256": "f20f4618d794e31910588550f13f6085b9aed67d4e77b91e70ab9ce0ca46555e", "bytes": 3430, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "Checked brightness ranges for chip prints", "measured_by": "Printed verbatim from /quotes/speed of this file, which copies it from the lab’s current record at the commit it names." }, "result.txn-crash-recovery.qual.1.exact": { "id": "result.txn-crash-recovery.qual.1.exact", "value": 29, "display": "killed at 29 moments the authors chose, the program each time recovered a clean all-or-nothing state from its on-disk log in a fresh process, while a deliberately broken version did not", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-txn-crash-recovery.json", "sha256": "3c3b2bb52aa1cb36d053ffad127413ae2f1392f19c037c72772e60ef3833e223", "bytes": 4784, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "Crash recovery for AI assistants’ multi-step changes", "measured_by": "Printed verbatim from /qualification/1 of this file, which copies it from the lab’s current record at the commit it names." }, "result.txn-crash-recovery.qual.2.exact": { "id": "result.txn-crash-recovery.qual.2.exact", "value": 2893, "display": "but killed 2,893 more times at random moments it recovered 31 times to a state that was neither, some of them undoing work already committed", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-txn-crash-recovery.json", "sha256": "3c3b2bb52aa1cb36d053ffad127413ae2f1392f19c037c72772e60ef3833e223", "bytes": 4784, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "Crash recovery for AI assistants’ multi-step changes", "measured_by": "Printed verbatim from /qualification/2 of this file, which copies it from the lab’s current record at the commit it names." }, "result.txn-crash-recovery.figure.exact": { "id": "result.txn-crash-recovery.figure.exact", "value": 29, "display": "atomic recovery recorded at every one of those 29 points", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-txn-crash-recovery.json", "sha256": "3c3b2bb52aa1cb36d053ffad127413ae2f1392f19c037c72772e60ef3833e223", "bytes": 4784, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "Crash recovery for AI assistants’ multi-step changes", "measured_by": "Printed verbatim from /figure of this file, which copies it from the lab’s current record at the commit it names." }, "result.txn-crash-recovery.plain.exact": { "id": "result.txn-crash-recovery.plain.exact", "value": 29, "display": "atomic recovery recorded at every one of those 29 points", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-txn-crash-recovery.json", "sha256": "3c3b2bb52aa1cb36d053ffad127413ae2f1392f19c037c72772e60ef3833e223", "bytes": 4784, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "Crash recovery for AI assistants’ multi-step changes", "measured_by": "Printed verbatim from /plain of this file, which copies it from the lab’s current record at the commit it names." }, "result.txn-crash-recovery.limfig.exact": { "id": "result.txn-crash-recovery.limfig.exact", "value": 2893, "display": "2,893 further kills at seeded random moments found 31 recoveries that were not atomic", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-txn-crash-recovery.json", "sha256": "3c3b2bb52aa1cb36d053ffad127413ae2f1392f19c037c72772e60ef3833e223", "bytes": 4784, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "Crash recovery for AI assistants’ multi-step changes", "measured_by": "Printed verbatim from /limfig of this file, which copies it from the lab’s current record at the commit it names." }, "result.txn-crash-recovery.limit.exact": { "id": "result.txn-crash-recovery.limit.exact", "value": 2893, "display": "The 2,893 random kills are process kills, not power cuts, so the fsync ordering the journal relies on is still untested", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-txn-crash-recovery.json", "sha256": "3c3b2bb52aa1cb36d053ffad127413ae2f1392f19c037c72772e60ef3833e223", "bytes": 4784, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "Crash recovery for AI assistants’ multi-step changes", "measured_by": "Printed verbatim from /limit of this file, which copies it from the lab’s current record at the commit it names." }, "result.txn-crash-recovery.stronger.exact": { "id": "result.txn-crash-recovery.stronger.exact", "value": 2893, "display": "2,893 further kills at seeded random moments found 31 recoveries that were not atomic", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-txn-crash-recovery.json", "sha256": "3c3b2bb52aa1cb36d053ffad127413ae2f1392f19c037c72772e60ef3833e223", "bytes": 4784, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "Crash recovery for AI assistants’ multi-step changes", "measured_by": "Printed verbatim from /stronger of this file, which copies it from the lab’s current record at the commit it names." }, "result.txn-crash-recovery.q.declared.exact": { "id": "result.txn-crash-recovery.q.declared.exact", "value": 29, "display": "atomic recovery recorded at every one of those 29 points and a negative control that is genuinely non-atomic", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-txn-crash-recovery.json", "sha256": "3c3b2bb52aa1cb36d053ffad127413ae2f1392f19c037c72772e60ef3833e223", "bytes": 4784, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "Crash recovery for AI assistants’ multi-step changes", "measured_by": "Printed verbatim from /quotes/declared of this file, which copies it from the lab’s current record at the commit it names." }, "result.owned-3d-end-effect.headline.exact": { "id": "result.owned-3d-end-effect.headline.exact", "value": 40, "display": "40%", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-owned-3d-end-effect.json", "sha256": "f923f42710b9b0aa11e0e80671598f1cd961c81b024222605ae81392ced0faf1", "bytes": 5065, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "The capacitance flat models leave out", "measured_by": "Printed verbatim from /headline of this file, which copies it from the lab’s current record at the commit it names." }, "result.owned-3d-end-effect.qual.1.exact": { "id": "result.owned-3d-end-effect.qual.1.exact", "value": 0.5, "display": "0.5%", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-owned-3d-end-effect.json", "sha256": "f923f42710b9b0aa11e0e80671598f1cd961c81b024222605ae81392ced0faf1", "bytes": 5065, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "The capacitance flat models leave out", "measured_by": "Printed verbatim from /qualification/1 of this file, which copies it from the lab’s current record at the commit it names." }, "result.owned-3d-end-effect.figure.exact": { "id": "result.owned-3d-end-effect.figure.exact", "value": 0.8, "display": "0.80% · 1.04%", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-owned-3d-end-effect.json", "sha256": "f923f42710b9b0aa11e0e80671598f1cd961c81b024222605ae81392ced0faf1", "bytes": 5065, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "The capacitance flat models leave out", "measured_by": "Printed verbatim from /figure of this file, which copies it from the lab’s current record at the commit it names." }, "result.owned-3d-end-effect.plain.exact": { "id": "result.owned-3d-end-effect.plain.exact", "value": 40, "display": "40%", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-owned-3d-end-effect.json", "sha256": "f923f42710b9b0aa11e0e80671598f1cd961c81b024222605ae81392ced0faf1", "bytes": 5065, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "The capacitance flat models leave out", "measured_by": "Printed verbatim from /plain of this file, which copies it from the lab’s current record at the commit it names." }, "result.owned-3d-end-effect.stronger.exact": { "id": "result.owned-3d-end-effect.stronger.exact", "value": 40, "display": "40%", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-owned-3d-end-effect.json", "sha256": "f923f42710b9b0aa11e0e80671598f1cd961c81b024222605ae81392ced0faf1", "bytes": 5065, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "The capacitance flat models leave out", "measured_by": "Printed verbatim from /stronger of this file, which copies it from the lab’s current record at the commit it names." }, "result.owned-3d-end-effect.q.fastcap.exact": { "id": "result.owned-3d-end-effect.q.fastcap.exact", "value": 0.498, "display": "0.498% · 0.308% · 42.794%", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-owned-3d-end-effect.json", "sha256": "f923f42710b9b0aa11e0e80671598f1cd961c81b024222605ae81392ced0faf1", "bytes": 5065, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "The capacitance flat models leave out", "measured_by": "Printed verbatim from /quotes/fastcap of this file, which copies it from the lab’s current record at the commit it names." }, "result.owned-3d-end-effect.claim.exact": { "id": "result.owned-3d-end-effect.claim.exact", "value": 40, "display": "40% · 0.498% · 0.308% · 42.794%", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-owned-3d-end-effect.json", "sha256": "f923f42710b9b0aa11e0e80671598f1cd961c81b024222605ae81392ced0faf1", "bytes": 5065, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "The capacitance flat models leave out", "measured_by": "Printed verbatim from /claim of this file, which copies it from the lab’s current record at the commit it names." }, "result.uec-interconnect-essentiality.q.converse.exact": { "id": "result.uec-interconnect-essentiality.q.converse.exact", "value": 39, "display": "in the same model the mandate as literally stated does not require the gate (39 distinct compliant receivers do without it)", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-uec-interconnect-essentiality.json", "sha256": "2c22d48bd7a3fff757f841e5b78517610abdcf2d2f0ef323b05e4985ad84550e", "bytes": 3671, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "An Ultra Ethernet recovery design, proved in a model", "measured_by": "Printed verbatim from /quotes/converse of this file, which copies it from the lab’s current record at the commit it names." }, "result.pairwise-impossibility.qual.1.exact": { "id": "result.pairwise-impossibility.qual.1.exact", "value": 9.8, "display": "while against the lab's more exact solver the figure is about 9.8 percent and only measured on examples, not proved", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-pairwise-impossibility.json", "sha256": "9a02fddebb5e3abb7a28041ad7d18719c77bede23e9410c46a5bb8c85fced55b", "bytes": 3773, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "Pair-by-pair coupling estimates overstate the worst case, in a model", "measured_by": "Printed verbatim from /qualification/1 of this file, which copies it from the lab’s current record at the commit it names." }, "result.pairwise-impossibility.figure.exact": { "id": "result.pairwise-impossibility.figure.exact", "value": 1.10467287, "display": "1.10467287× · 10.467287%", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-pairwise-impossibility.json", "sha256": "9a02fddebb5e3abb7a28041ad7d18719c77bede23e9410c46a5bb8c85fced55b", "bytes": 3773, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "Pair-by-pair coupling estimates overstate the worst case, in a model", "measured_by": "Printed verbatim from /figure of this file, which copies it from the lab’s current record at the commit it names." }, "result.pairwise-impossibility.limit.exact": { "id": "result.pairwise-impossibility.limit.exact", "value": 9.79, "display": "≈9.79%", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-pairwise-impossibility.json", "sha256": "9a02fddebb5e3abb7a28041ad7d18719c77bede23e9410c46a5bb8c85fced55b", "bytes": 3773, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "Pair-by-pair coupling estimates overstate the worst case, in a model", "measured_by": "Printed verbatim from /limit of this file, which copies it from the lab’s current record at the commit it names." }, "result.pairwise-impossibility.claim.exact": { "id": "result.pairwise-impossibility.claim.exact", "value": 1.10467287, "display": "1.10467287× · 10.467287%", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-pairwise-impossibility.json", "sha256": "9a02fddebb5e3abb7a28041ad7d18719c77bede23e9410c46a5bb8c85fced55b", "bytes": 3773, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "Pair-by-pair coupling estimates overstate the worst case, in a model", "measured_by": "Printed verbatim from /claim of this file, which copies it from the lab’s current record at the commit it names." }, "result.pairwise-impossibility.floor.exact": { "id": "result.pairwise-impossibility.floor.exact", "value": 1.10467, "display": "1.10467× · 10.467%", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-pairwise-impossibility.json", "sha256": "9a02fddebb5e3abb7a28041ad7d18719c77bede23e9410c46a5bb8c85fced55b", "bytes": 3773, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "Pair-by-pair coupling estimates overstate the worst case, in a model", "measured_by": "Computed from /numbers/sup_certified_k_hi of this file (the certified supremum k): the ratio 1/k and the over-estimate (1/k − 1) × 100, each cut to fewer digits so the printed minimum is below the certified one." }, "result.composition-certificates.headline.exact": { "id": "result.composition-certificates.headline.exact", "value": 2379, "display": "In a test world the lab built … the lab ran every sequence of up to three tool calls (2,379 runs on real files and a real database) and found three smallest combinations that leak the secret, each the secret-reading tool followed by an outlet and only one of them a pair", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-composition-certificates.json", "sha256": "06a5cf0964cebc2ccf4fcc8f0140b8eb2e33eb019d31f77284edcb90ae27ee5b", "bytes": 3816, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "Tool combinations that leak a secret", "measured_by": "Printed verbatim from /headline of this file, which copies it from the lab’s current record at the commit it names." }, "result.composition-certificates.figure.exact": { "id": "result.composition-certificates.figure.exact", "value": 2379, "display": "2,379 executed sessions against real files and a real SQLite database", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-composition-certificates.json", "sha256": "06a5cf0964cebc2ccf4fcc8f0140b8eb2e33eb019d31f77284edcb90ae27ee5b", "bytes": 3816, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "Tool combinations that leak a secret", "measured_by": "Printed verbatim from /figure of this file, which copies it from the lab’s current record at the commit it names." }, "result.composition-certificates.plain.exact": { "id": "result.composition-certificates.plain.exact", "value": 2379, "display": "2,379 runs on real files and a real database", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-composition-certificates.json", "sha256": "06a5cf0964cebc2ccf4fcc8f0140b8eb2e33eb019d31f77284edcb90ae27ee5b", "bytes": 3816, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "Tool combinations that leak a secret", "measured_by": "Printed verbatim from /plain of this file, which copies it from the lab’s current record at the commit it names." }, "result.proof-carrying-mask-edits.qual.1.exact": { "id": "result.proof-carrying-mask-edits.qual.1.exact", "value": 1, "display": "1%", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-proof-carrying-mask-edits.json", "sha256": "2aaf57c15bf0c7c533cd43f90bf35de103f170bfe7aa33770bc85c0d618bdbac", "bytes": 3199, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "Signing off some tiles near a chip-mask edit, in simulation", "measured_by": "Printed verbatim from /qualification/1 of this file, which copies it from the lab’s current record at the commit it names." }, "result.proof-carrying-mask-edits.figure.exact": { "id": "result.proof-carrying-mask-edits.figure.exact", "value": 0, "display": "with 0 violations over 9,175,040 pointwise comparisons", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-proof-carrying-mask-edits.json", "sha256": "2aaf57c15bf0c7c533cd43f90bf35de103f170bfe7aa33770bc85c0d618bdbac", "bytes": 3199, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "Signing off some tiles near a chip-mask edit, in simulation", "measured_by": "Printed verbatim from /figure of this file, which copies it from the lab’s current record at the commit it names." }, "result.proof-carrying-mask-edits.plain.exact": { "id": "result.proof-carrying-mask-edits.plain.exact", "value": 0, "display": "0 violations", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-proof-carrying-mask-edits.json", "sha256": "2aaf57c15bf0c7c533cd43f90bf35de103f170bfe7aa33770bc85c0d618bdbac", "bytes": 3199, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "Signing off some tiles near a chip-mask edit, in simulation", "measured_by": "Printed verbatim from /plain of this file, which copies it from the lab’s current record at the commit it names." }, "result.proof-carrying-mask-edits.limfig.exact": { "id": "result.proof-carrying-mask-edits.limfig.exact", "value": 1, "display": "1%", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-proof-carrying-mask-edits.json", "sha256": "2aaf57c15bf0c7c533cd43f90bf35de103f170bfe7aa33770bc85c0d618bdbac", "bytes": 3199, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "Signing off some tiles near a chip-mask edit, in simulation", "measured_by": "Printed verbatim from /limfig of this file, which copies it from the lab’s current record at the commit it names." }, "result.proof-carrying-mask-edits.limit.exact": { "id": "result.proof-carrying-mask-edits.limit.exact", "value": 9, "display": "over a FOUR-EDIT CHAIN, 9 of 64 tile serves fell below from-scratch, worst by 4.3267 nm", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-proof-carrying-mask-edits.json", "sha256": "2aaf57c15bf0c7c533cd43f90bf35de103f170bfe7aa33770bc85c0d618bdbac", "bytes": 3199, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "Signing off some tiles near a chip-mask edit, in simulation", "measured_by": "Printed verbatim from /limit of this file, which copies it from the lab’s current record at the commit it names." }, "result.proof-carrying-mask-edits.q.honest.exact": { "id": "result.proof-carrying-mask-edits.q.honest.exact", "value": 0, "display": "On the same chain the honest declaration served 0 of 64 below from-scratch", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-proof-carrying-mask-edits.json", "sha256": "2aaf57c15bf0c7c533cd43f90bf35de103f170bfe7aa33770bc85c0d618bdbac", "bytes": 3199, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "Signing off some tiles near a chip-mask edit, in simulation", "measured_by": "Printed verbatim from /quotes/honest of this file, which copies it from the lab’s current record at the commit it names." }, "result.proof-carrying-mask-edits.q.planted.exact": { "id": "result.proof-carrying-mask-edits.q.planted.exact", "value": 0, "display": "with update(declared_halo=0), a falsification knob whose every result is stamped NOT a certificate, over a FOUR-EDIT CHAIN, 9 of 64 tile serves fell below from-scratch, worst by 4.3267 nm", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-proof-carrying-mask-edits.json", "sha256": "2aaf57c15bf0c7c533cd43f90bf35de103f170bfe7aa33770bc85c0d618bdbac", "bytes": 3199, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "Signing off some tiles near a chip-mask edit, in simulation", "measured_by": "Printed verbatim from /quotes/planted of this file, which copies it from the lab’s current record at the commit it names." }, "result.unseeded-hunt.headline.exact": { "id": "result.unseeded-hunt.headline.exact", "value": 11200, "display": "An automated attacker, given no hints, tried 11,200 combinations of known Wi-Fi sign-in attacks … against the lab's own software models of its hardened versions of ten quantum-resistant Wi-Fi sign-in designs (not real Wi-Fi software), and found no attack that got through", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-unseeded-hunt.json", "sha256": "f81bb34412f6d1d96e41b46016e8e060e0d0e946efc588688e88e9538517bf35", "bytes": 3381, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "An automated attack search against quantum-safe Wi-Fi sign-in", "measured_by": "Printed verbatim from /headline of this file, which copies it from the lab’s current record at the commit it names." }, "result.unseeded-hunt.qual.0.exact": { "id": "result.unseeded-hunt.qual.0.exact", "value": 1, "display": "1%", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-unseeded-hunt.json", "sha256": "f81bb34412f6d1d96e41b46016e8e060e0d0e946efc588688e88e9538517bf35", "bytes": 3381, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "An automated attack search against quantum-safe Wi-Fi sign-in", "measured_by": "Printed verbatim from /qualification/0 of this file, which copies it from the lab’s current record at the commit it names." }, "result.unseeded-hunt.figure.exact": { "id": "result.unseeded-hunt.figure.exact", "value": 11200, "display": "searched 11,200 compound attacks over the whole design axis and found zero escapes", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-unseeded-hunt.json", "sha256": "f81bb34412f6d1d96e41b46016e8e060e0d0e946efc588688e88e9538517bf35", "bytes": 3381, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "An automated attack search against quantum-safe Wi-Fi sign-in", "measured_by": "Printed verbatim from /figure of this file, which copies it from the lab’s current record at the commit it names." }, "result.ap-memory-bound.limit.exact": { "id": "result.ap-memory-bound.limit.exact", "value": 802.11, "display": "Measured on the Python reference path; no 802.11 frame crosses a radio.", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-ap-memory-bound.json", "sha256": "b75ac1bac4ebb6d375e89b4436140b2758647ad2aa7bbc5218c82a5477805b7a", "bytes": 3257, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "A memory ceiling for post-quantum Wi-Fi, proved in a model", "measured_by": "Printed verbatim from /limit of this file, which copies it from the lab’s current record at the commit it names." }, "result.reticle-certificate.headline.exact": { "id": "result.reticle-certificate.headline.exact", "value": 1.35, "display": "A way to fold the pass/fail records for every small piece of a chip-printing stencil (photomask) into one summary record of about 1.35 kilobytes that stays that size whether the stencil is split into 64 pieces or about a million, plus a short checking program that uses only standard built-in libraries", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-reticle-certificate.json", "sha256": "879a8036fc55a86cc2c2d184be0466434679e340c550a875dc42bd8d04d3bff7", "bytes": 3805, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "A near-constant-size sign-off record for a photomask", "measured_by": "Printed verbatim from /headline of this file, which copies it from the lab’s current record at the commit it names." }, "result.reticle-certificate.figure.exact": { "id": "result.reticle-certificate.figure.exact", "value": 1347, "display": "stay 1,347-1,379 bytes across 64 to 1,048,576 tiles", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-reticle-certificate.json", "sha256": "879a8036fc55a86cc2c2d184be0466434679e340c550a875dc42bd8d04d3bff7", "bytes": 3805, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "A near-constant-size sign-off record for a photomask", "measured_by": "Printed verbatim from /figure of this file, which copies it from the lab’s current record at the commit it names." }, "result.reticle-certificate.limit.exact": { "id": "result.reticle-certificate.limit.exact", "value": 1, "display": "Certificate SIZE is O(1) in tile count; certificate ASSURANCE is not.", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-reticle-certificate.json", "sha256": "879a8036fc55a86cc2c2d184be0466434679e340c550a875dc42bd8d04d3bff7", "bytes": 3805, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "A near-constant-size sign-off record for a photomask", "measured_by": "Printed verbatim from /limit of this file, which copies it from the lab’s current record at the commit it names." }, "result.reticle-certificate.limits.exact": { "id": "result.reticle-certificate.limits.exact", "value": 7.934, "display": "7.934x · 839 B · 6,657 B", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-reticle-certificate.json", "sha256": "879a8036fc55a86cc2c2d184be0466434679e340c550a875dc42bd8d04d3bff7", "bytes": 3805, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "A near-constant-size sign-off record for a photomask", "measured_by": "Printed verbatim from /limits of this file, which copies it from the lab’s current record at the commit it names." }, "result.reorder-memory-mechanism.limfig.buyers": { "id": "result.reorder-memory-mechanism.limfig.buyers", "value": 1.443, "display": "1.443x", "freshness_days": 7, "receipt": { "path": "inference-limits/results/reorder-memory-mechanism.json", "sha256": "57f73888805b5ddad9c08e73ad0abf0cb919a9ee5740a42fed0709c6fc56e3da", "bytes": 9670, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "Fixed-size memory for reordering AI network data", "measured_by": "Printed verbatim from /top40_entry/scope of this file, which copies it from the lab’s current record at the commit it names." }, "result.txn-crash-recovery.limfig.buyers": { "id": "result.txn-crash-recovery.limfig.buyers", "value": 2893, "display": "2,893 further kills at seeded random moments found 31 recoveries that were not atomic", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-txn-crash-recovery.json", "sha256": "3c3b2bb52aa1cb36d053ffad127413ae2f1392f19c037c72772e60ef3833e223", "bytes": 4784, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "Crash recovery for AI assistants’ multi-step changes", "measured_by": "Printed verbatim from /limfig of this file, which copies it from the lab’s current record at the commit it names." }, "result.proof-carrying-mask-edits.limfig.buyers": { "id": "result.proof-carrying-mask-edits.limfig.buyers", "value": 1, "display": "1%", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-proof-carrying-mask-edits.json", "sha256": "2aaf57c15bf0c7c533cd43f90bf35de103f170bfe7aa33770bc85c0d618bdbac", "bytes": 3199, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "Signing off some tiles near a chip-mask edit, in simulation", "measured_by": "Printed verbatim from /limfig of this file, which copies it from the lab’s current record at the commit it names." }, "result.pairwise-impossibility.floor.theorems": { "id": "result.pairwise-impossibility.floor.theorems", "value": 1.10467, "display": "1.10467× · 10.467%", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-pairwise-impossibility.json", "sha256": "9a02fddebb5e3abb7a28041ad7d18719c77bede23e9410c46a5bb8c85fced55b", "bytes": 3773, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "Pair-by-pair coupling estimates overstate the worst case, in a model", "measured_by": "Computed from /numbers/sup_certified_k_hi of this file (the certified supremum k): the ratio 1/k and the over-estimate (1/k − 1) × 100, each cut to fewer digits so the printed minimum is below the certified one." }, "result.txn-crash-recovery.qual.1.post-ai-assistants-half-done-changes": { "id": "result.txn-crash-recovery.qual.1.post-ai-assistants-half-done-changes", "value": 29, "display": "killed at 29 moments the authors chose, the program each time recovered a clean all-or-nothing state from its on-disk log in a fresh process, while a deliberately broken version did not", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-txn-crash-recovery.json", "sha256": "3c3b2bb52aa1cb36d053ffad127413ae2f1392f19c037c72772e60ef3833e223", "bytes": 4784, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "Crash recovery for AI assistants’ multi-step changes", "measured_by": "Printed verbatim from /qualification/1 of this file, which copies it from the lab’s current record at the commit it names." }, "result.txn-crash-recovery.stronger.post-ai-assistants-half-done-changes": { "id": "result.txn-crash-recovery.stronger.post-ai-assistants-half-done-changes", "value": 2893, "display": "2,893 further kills at seeded random moments found 31 recoveries that were not atomic", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-txn-crash-recovery.json", "sha256": "3c3b2bb52aa1cb36d053ffad127413ae2f1392f19c037c72772e60ef3833e223", "bytes": 4784, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "Crash recovery for AI assistants’ multi-step changes", "measured_by": "Printed verbatim from /stronger of this file, which copies it from the lab’s current record at the commit it names." }, "result.composition-certificates.figure.post-ai-assistants-half-done-changes": { "id": "result.composition-certificates.figure.post-ai-assistants-half-done-changes", "value": 2379, "display": "2,379 executed sessions against real files and a real SQLite database", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-composition-certificates.json", "sha256": "06a5cf0964cebc2ccf4fcc8f0140b8eb2e33eb019d31f77284edcb90ae27ee5b", "bytes": 3816, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "Tool combinations that leak a secret", "measured_by": "Printed verbatim from /figure of this file, which copies it from the lab’s current record at the commit it names." }, "result.composition-certificates.headline.post-ai-assistants-half-done-changes": { "id": "result.composition-certificates.headline.post-ai-assistants-half-done-changes", "value": 2379, "display": "In a test world the lab built … the lab ran every sequence of up to three tool calls (2,379 runs on real files and a real database) and found three smallest combinations that leak the secret, each the secret-reading tool followed by an outlet and only one of them a pair", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-composition-certificates.json", "sha256": "06a5cf0964cebc2ccf4fcc8f0140b8eb2e33eb019d31f77284edcb90ae27ee5b", "bytes": 3816, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "Tool combinations that leak a secret", "measured_by": "Printed verbatim from /headline of this file, which copies it from the lab’s current record at the commit it names." }, "result.owned-3d-end-effect.headline.post-capacitance-flat-models-leave-out": { "id": "result.owned-3d-end-effect.headline.post-capacitance-flat-models-leave-out", "value": 40, "display": "40%", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-owned-3d-end-effect.json", "sha256": "f923f42710b9b0aa11e0e80671598f1cd961c81b024222605ae81392ced0faf1", "bytes": 5065, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "The capacitance flat models leave out", "measured_by": "Printed verbatim from /headline of this file, which copies it from the lab’s current record at the commit it names." }, "result.pairwise-impossibility.floor.post-capacitance-flat-models-leave-out": { "id": "result.pairwise-impossibility.floor.post-capacitance-flat-models-leave-out", "value": 1.10467, "display": "1.10467× · 10.467%", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-pairwise-impossibility.json", "sha256": "9a02fddebb5e3abb7a28041ad7d18719c77bede23e9410c46a5bb8c85fced55b", "bytes": 3773, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "Pair-by-pair coupling estimates overstate the worst case, in a model", "measured_by": "Computed from /numbers/sup_certified_k_hi of this file (the certified supremum k): the ratio 1/k and the over-estimate (1/k − 1) × 100, each cut to fewer digits so the printed minimum is below the certified one." }, "result.proof-carrying-mask-edits.limfig.post-checking-mask-edits-without-resimulating": { "id": "result.proof-carrying-mask-edits.limfig.post-checking-mask-edits-without-resimulating", "value": 1, "display": "1%", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-proof-carrying-mask-edits.json", "sha256": "2aaf57c15bf0c7c533cd43f90bf35de103f170bfe7aa33770bc85c0d618bdbac", "bytes": 3199, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "Signing off some tiles near a chip-mask edit, in simulation", "measured_by": "Printed verbatim from /limfig of this file, which copies it from the lab’s current record at the commit it names." }, "result.proof-carrying-mask-edits.figure.post-checking-mask-edits-without-resimulating": { "id": "result.proof-carrying-mask-edits.figure.post-checking-mask-edits-without-resimulating", "value": 0, "display": "with 0 violations over 9,175,040 pointwise comparisons", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-proof-carrying-mask-edits.json", "sha256": "2aaf57c15bf0c7c533cd43f90bf35de103f170bfe7aa33770bc85c0d618bdbac", "bytes": 3199, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "Signing off some tiles near a chip-mask edit, in simulation", "measured_by": "Printed verbatim from /figure of this file, which copies it from the lab’s current record at the commit it names." }, "result.proof-carrying-mask-edits.limit.post-checking-mask-edits-without-resimulating": { "id": "result.proof-carrying-mask-edits.limit.post-checking-mask-edits-without-resimulating", "value": 9, "display": "over a FOUR-EDIT CHAIN, 9 of 64 tile serves fell below from-scratch, worst by 4.3267 nm", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-proof-carrying-mask-edits.json", "sha256": "2aaf57c15bf0c7c533cd43f90bf35de103f170bfe7aa33770bc85c0d618bdbac", "bytes": 3199, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "Signing off some tiles near a chip-mask edit, in simulation", "measured_by": "Printed verbatim from /limit of this file, which copies it from the lab’s current record at the commit it names." }, "result.proof-carrying-mask-edits.q.honest.post-checking-mask-edits-without-resimulating": { "id": "result.proof-carrying-mask-edits.q.honest.post-checking-mask-edits-without-resimulating", "value": 0, "display": "On the same chain the honest declaration served 0 of 64 below from-scratch", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-proof-carrying-mask-edits.json", "sha256": "2aaf57c15bf0c7c533cd43f90bf35de103f170bfe7aa33770bc85c0d618bdbac", "bytes": 3199, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "Signing off some tiles near a chip-mask edit, in simulation", "measured_by": "Printed verbatim from /quotes/honest of this file, which copies it from the lab’s current record at the commit it names." }, "result.aerial-image-enclosure.figure.post-checking-mask-edits-without-resimulating": { "id": "result.aerial-image-enclosure.figure.post-checking-mask-edits-without-resimulating", "value": 0, "display": "0 soundness violations over 13,303,808 pixel-checks across 232 masks", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-aerial-image-enclosure.json", "sha256": "f20f4618d794e31910588550f13f6085b9aed67d4e77b91e70ab9ce0ca46555e", "bytes": 3430, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "Checked brightness ranges for chip prints", "measured_by": "Printed verbatim from /figure of this file, which copies it from the lab’s current record at the commit it names." }, "result.aerial-image-enclosure.q.fix.post-checking-mask-edits-without-resimulating": { "id": "result.aerial-image-enclosure.q.fix.post-checking-mask-edits-without-resimulating", "value": 90, "display": "before that fix the same battery gave 90 false admits, all of them there", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-aerial-image-enclosure.json", "sha256": "f20f4618d794e31910588550f13f6085b9aed67d4e77b91e70ab9ce0ca46555e", "bytes": 3430, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "Checked brightness ranges for chip prints", "measured_by": "Printed verbatim from /quotes/fix of this file, which copies it from the lab’s current record at the commit it names." }, "result.aerial-image-enclosure.q.admits.post-checking-mask-edits-without-resimulating": { "id": "result.aerial-image-enclosure.q.admits.post-checking-mask-edits-without-resimulating", "value": 0, "display": "made 0 false admits among 175 fast admits over 1,252 checks of 102 masks", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-aerial-image-enclosure.json", "sha256": "f20f4618d794e31910588550f13f6085b9aed67d4e77b91e70ab9ce0ca46555e", "bytes": 3430, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "Checked brightness ranges for chip prints", "measured_by": "Printed verbatim from /quotes/admits of this file, which copies it from the lab’s current record at the commit it names." }, "result.reorder-memory-mechanism.figure.post-ten-results-and-who-they-are-for": { "id": "result.reorder-memory-mechanism.figure.post-ten-results-and-who-they-are-for", "value": 1.965, "display": "1.965x", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-reorder-memory-mechanism.json", "sha256": "cbdad56d4b512849484e9d1f530c71e898671feb4a39a9dac62234dbb638aaee", "bytes": 4460, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "Fixed-size memory for reordering AI network data", "measured_by": "Printed verbatim from /figure of this file, which copies it from the lab’s current record at the commit it names." }, "result.reorder-memory-mechanism.plain.post-ten-results-and-who-they-are-for": { "id": "result.reorder-memory-mechanism.plain.post-ten-results-and-who-they-are-for", "value": 1.965, "display": "1.965x", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-reorder-memory-mechanism.json", "sha256": "cbdad56d4b512849484e9d1f530c71e898671feb4a39a9dac62234dbb638aaee", "bytes": 4460, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "Fixed-size memory for reordering AI network data", "measured_by": "Printed verbatim from /plain of this file, which copies it from the lab’s current record at the commit it names." }, "result.reorder-memory-mechanism.limfig.post-ten-results-and-who-they-are-for": { "id": "result.reorder-memory-mechanism.limfig.post-ten-results-and-who-they-are-for", "value": 1.443, "display": "1.443x", "freshness_days": 7, "receipt": { "path": "inference-limits/results/reorder-memory-mechanism.json", "sha256": "57f73888805b5ddad9c08e73ad0abf0cb919a9ee5740a42fed0709c6fc56e3da", "bytes": 9670, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "Fixed-size memory for reordering AI network data", "measured_by": "Printed verbatim from /top40_entry/scope of this file, which copies it from the lab’s current record at the commit it names." }, "result.aerial-image-enclosure.figure.post-ten-results-and-who-they-are-for": { "id": "result.aerial-image-enclosure.figure.post-ten-results-and-who-they-are-for", "value": 0, "display": "0 soundness violations over 13,303,808 pixel-checks across 232 masks", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-aerial-image-enclosure.json", "sha256": "f20f4618d794e31910588550f13f6085b9aed67d4e77b91e70ab9ce0ca46555e", "bytes": 3430, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "Checked brightness ranges for chip prints", "measured_by": "Printed verbatim from /figure of this file, which copies it from the lab’s current record at the commit it names." }, "result.aerial-image-enclosure.plain.post-ten-results-and-who-they-are-for": { "id": "result.aerial-image-enclosure.plain.post-ten-results-and-who-they-are-for", "value": 232, "display": "232 test masks", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-aerial-image-enclosure.json", "sha256": "f20f4618d794e31910588550f13f6085b9aed67d4e77b91e70ab9ce0ca46555e", "bytes": 3430, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "Checked brightness ranges for chip prints", "measured_by": "Printed verbatim from /plain of this file, which copies it from the lab’s current record at the commit it names." }, "result.txn-crash-recovery.figure.post-ten-results-and-who-they-are-for": { "id": "result.txn-crash-recovery.figure.post-ten-results-and-who-they-are-for", "value": 29, "display": "atomic recovery recorded at every one of those 29 points", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-txn-crash-recovery.json", "sha256": "3c3b2bb52aa1cb36d053ffad127413ae2f1392f19c037c72772e60ef3833e223", "bytes": 4784, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "Crash recovery for AI assistants’ multi-step changes", "measured_by": "Printed verbatim from /figure of this file, which copies it from the lab’s current record at the commit it names." }, "result.txn-crash-recovery.plain.post-ten-results-and-who-they-are-for": { "id": "result.txn-crash-recovery.plain.post-ten-results-and-who-they-are-for", "value": 29, "display": "atomic recovery recorded at every one of those 29 points", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-txn-crash-recovery.json", "sha256": "3c3b2bb52aa1cb36d053ffad127413ae2f1392f19c037c72772e60ef3833e223", "bytes": 4784, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "Crash recovery for AI assistants’ multi-step changes", "measured_by": "Printed verbatim from /plain of this file, which copies it from the lab’s current record at the commit it names." }, "result.txn-crash-recovery.limfig.post-ten-results-and-who-they-are-for": { "id": "result.txn-crash-recovery.limfig.post-ten-results-and-who-they-are-for", "value": 2893, "display": "2,893 further kills at seeded random moments found 31 recoveries that were not atomic", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-txn-crash-recovery.json", "sha256": "3c3b2bb52aa1cb36d053ffad127413ae2f1392f19c037c72772e60ef3833e223", "bytes": 4784, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "Crash recovery for AI assistants’ multi-step changes", "measured_by": "Printed verbatim from /limfig of this file, which copies it from the lab’s current record at the commit it names." }, "result.owned-3d-end-effect.figure.post-ten-results-and-who-they-are-for": { "id": "result.owned-3d-end-effect.figure.post-ten-results-and-who-they-are-for", "value": 0.8, "display": "0.80% · 1.04%", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-owned-3d-end-effect.json", "sha256": "f923f42710b9b0aa11e0e80671598f1cd961c81b024222605ae81392ced0faf1", "bytes": 5065, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "The capacitance flat models leave out", "measured_by": "Printed verbatim from /figure of this file, which copies it from the lab’s current record at the commit it names." }, "result.owned-3d-end-effect.plain.post-ten-results-and-who-they-are-for": { "id": "result.owned-3d-end-effect.plain.post-ten-results-and-who-they-are-for", "value": 40, "display": "40%", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-owned-3d-end-effect.json", "sha256": "f923f42710b9b0aa11e0e80671598f1cd961c81b024222605ae81392ced0faf1", "bytes": 5065, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "The capacitance flat models leave out", "measured_by": "Printed verbatim from /plain of this file, which copies it from the lab’s current record at the commit it names." }, "result.pairwise-impossibility.figure.post-ten-results-and-who-they-are-for": { "id": "result.pairwise-impossibility.figure.post-ten-results-and-who-they-are-for", "value": 1.10467287, "display": "1.10467287× · 10.467287%", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-pairwise-impossibility.json", "sha256": "9a02fddebb5e3abb7a28041ad7d18719c77bede23e9410c46a5bb8c85fced55b", "bytes": 3773, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "Pair-by-pair coupling estimates overstate the worst case, in a model", "measured_by": "Printed verbatim from /figure of this file, which copies it from the lab’s current record at the commit it names." }, "result.pairwise-impossibility.floor.post-ten-results-and-who-they-are-for": { "id": "result.pairwise-impossibility.floor.post-ten-results-and-who-they-are-for", "value": 1.10467, "display": "1.10467× · 10.467%", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-pairwise-impossibility.json", "sha256": "9a02fddebb5e3abb7a28041ad7d18719c77bede23e9410c46a5bb8c85fced55b", "bytes": 3773, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "Pair-by-pair coupling estimates overstate the worst case, in a model", "measured_by": "Computed from /numbers/sup_certified_k_hi of this file (the certified supremum k): the ratio 1/k and the over-estimate (1/k − 1) × 100, each cut to fewer digits so the printed minimum is below the certified one." }, "result.composition-certificates.figure.post-ten-results-and-who-they-are-for": { "id": "result.composition-certificates.figure.post-ten-results-and-who-they-are-for", "value": 2379, "display": "2,379 executed sessions against real files and a real SQLite database", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-composition-certificates.json", "sha256": "06a5cf0964cebc2ccf4fcc8f0140b8eb2e33eb019d31f77284edcb90ae27ee5b", "bytes": 3816, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "Tool combinations that leak a secret", "measured_by": "Printed verbatim from /figure of this file, which copies it from the lab’s current record at the commit it names." }, "result.composition-certificates.plain.post-ten-results-and-who-they-are-for": { "id": "result.composition-certificates.plain.post-ten-results-and-who-they-are-for", "value": 2379, "display": "2,379 runs on real files and a real database", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-composition-certificates.json", "sha256": "06a5cf0964cebc2ccf4fcc8f0140b8eb2e33eb019d31f77284edcb90ae27ee5b", "bytes": 3816, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "Tool combinations that leak a secret", "measured_by": "Printed verbatim from /plain of this file, which copies it from the lab’s current record at the commit it names." }, "result.proof-carrying-mask-edits.figure.post-ten-results-and-who-they-are-for": { "id": "result.proof-carrying-mask-edits.figure.post-ten-results-and-who-they-are-for", "value": 0, "display": "with 0 violations over 9,175,040 pointwise comparisons", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-proof-carrying-mask-edits.json", "sha256": "2aaf57c15bf0c7c533cd43f90bf35de103f170bfe7aa33770bc85c0d618bdbac", "bytes": 3199, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "Signing off some tiles near a chip-mask edit, in simulation", "measured_by": "Printed verbatim from /figure of this file, which copies it from the lab’s current record at the commit it names." }, "result.proof-carrying-mask-edits.plain.post-ten-results-and-who-they-are-for": { "id": "result.proof-carrying-mask-edits.plain.post-ten-results-and-who-they-are-for", "value": 0, "display": "0 violations", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-proof-carrying-mask-edits.json", "sha256": "2aaf57c15bf0c7c533cd43f90bf35de103f170bfe7aa33770bc85c0d618bdbac", "bytes": 3199, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "Signing off some tiles near a chip-mask edit, in simulation", "measured_by": "Printed verbatim from /plain of this file, which copies it from the lab’s current record at the commit it names." }, "result.proof-carrying-mask-edits.limfig.post-ten-results-and-who-they-are-for": { "id": "result.proof-carrying-mask-edits.limfig.post-ten-results-and-who-they-are-for", "value": 1, "display": "1%", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/result-proof-carrying-mask-edits.json", "sha256": "2aaf57c15bf0c7c533cd43f90bf35de103f170bfe7aa33770bc85c0d618bdbac", "bytes": 3199, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "Signing off some tiles near a chip-mask edit, in simulation", "measured_by": "Printed verbatim from /limfig of this file, which copies it from the lab’s current record at the commit it names." }, "record.claimed": { "id": "record.claimed", "value": 333, "display": "333", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/defect_survivors.json", "sha256": "94e82986ca674ef4043027d8ba35013c6ea8ebd5cad89ad4b0ecfe91efee1f11", "bytes": 10385, "visibility": "public", "pointer": "/results_record/claimed", "generated_utc": "2026-10-04" }, "states": [ "SUPPORTS" ], "show": true, "label": "results the portfolio's codebases have ever put forward", "measured_by": "Read from the results record at commit 1e308f71688d by its own checks, at build time (scripts/v3/vendor.py --only record)." }, "record.taken_back": { "id": "record.taken_back", "value": 199, "display": "199", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/defect_survivors.json", "sha256": "94e82986ca674ef4043027d8ba35013c6ea8ebd5cad89ad4b0ecfe91efee1f11", "bytes": 10385, "visibility": "public", "pointer": "/results_record/taken_back", "generated_utc": "2026-10-04" }, "states": [ "SUPPORTS" ], "show": true, "label": "results taken back by the codebase that made them", "measured_by": "Read from the results record at commit 1e308f71688d by its own checks, at build time (scripts/v3/vendor.py --only record)." }, "record.neither": { "id": "record.neither", "value": 0, "display": "0", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/defect_survivors.json", "sha256": "94e82986ca674ef4043027d8ba35013c6ea8ebd5cad89ad4b0ecfe91efee1f11", "bytes": 10385, "visibility": "public", "pointer": "/results_record/neither", "generated_utc": "2026-10-04" }, "states": [ "SUPPORTS" ], "show": true, "label": "results neither stated as true by the codebase that made them nor taken back by it", "measured_by": "Read from the results record at commit 1e308f71688d by its own checks, at build time (scripts/v3/vendor.py --only record)." }, "record.stated": { "id": "record.stated", "value": 134, "display": "134", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/defect_survivors.json", "sha256": "94e82986ca674ef4043027d8ba35013c6ea8ebd5cad89ad4b0ecfe91efee1f11", "bytes": 10385, "visibility": "public", "pointer": "/results_record/stated", "generated_utc": "2026-10-04" }, "states": [ "SUPPORTS" ], "show": true, "label": "results still stated as true by the codebase that made them", "measured_by": "Read from the results record at commit 1e308f71688d by its own checks, at build time (scripts/v3/vendor.py --only record)." }, "record.coverage": { "id": "record.coverage", "value": 101, "display": "101", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/defect_survivors.json", "sha256": "94e82986ca674ef4043027d8ba35013c6ea8ebd5cad89ad4b0ecfe91efee1f11", "bytes": 10385, "visibility": "public", "pointer": "/results_record/coverage", "generated_utc": "2026-10-04" }, "states": [ "SUPPORTS" ], "show": true, "label": "results whose own codebase does not record the headline figure as checked by nothing", "measured_by": "Read from the results record at commit 1e308f71688d by its own checks, at build time (scripts/v3/vendor.py --only record)." }, "record.independent": { "id": "record.independent", "value": 7, "display": "7", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/defect_survivors.json", "sha256": "94e82986ca674ef4043027d8ba35013c6ea8ebd5cad89ad4b0ecfe91efee1f11", "bytes": 10385, "visibility": "public", "pointer": "/results_record/independent", "generated_utc": "2026-10-04" }, "states": [ "SUPPORTS" ], "show": true, "label": "results whose own check went red when a separate program, inside the lab’s programme but not part of the code that built them, changed a number the check reads", "measured_by": "Read from the results record at commit 1e308f71688d by its own checks, at build time (scripts/v3/vendor.py --only record)." }, "proof.0": { "id": "proof.0", "value": 2259, "display": "2,259", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/lean_theorems.json", "sha256": "37ce4f1747d1600fb5b6abdf4f1030aca82f6b754916ce4b7e23786bd79cd505", "bytes": 3189, "visibility": "public", "pointer": "/total_declarations", "generated_utc": "2026-10-04" }, "states": [ "SUPPORTS" ], "show": true, "label": "Lean 4 theorems and lemmas that compile, with no step left unproved", "measured_by": "Lean 4 theorem and lemma declarations in files that compile with no step left unproved, deduplicated by content; counted per repository and re-counted file by file." }, "proof.1": { "id": "proof.1", "value": 221, "display": "221", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/engine.json", "sha256": "ff40d320e41567cb17a7bb5dfa60e4b20ed519cd12c2a73e499aa07ff829e665", "bytes": 1198, "visibility": "public", "pointer": "/proven_cycles/distinct_repo_sprint_pairs", "generated_utc": "2026-10-04" }, "states": [ "SUPPORTS" ], "show": true, "label": "engineering cycles proven by a separate verifier re-running a proof command written before the work began (34 repositories)", "measured_by": "Distinct repository and work-unit pairs whose recorded verdict is green, whose proof command is able to go red, and whose log is complete." }, "proof.3": { "id": "proof.3", "value": 3452, "display": "3,452", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/agent_sessions.json", "sha256": "cf76198020df9c263535c33f6f1cc51f8c2a28c2d450b49514d9d3e795d7eedc", "bytes": 487, "visibility": "public", "pointer": "/sessions", "generated_utc": "2026-10-04" }, "states": [ "SUPPORTS" ], "show": true, "label": "AI-agent sessions that worked in the portfolio's codebases, Dec 2025 – Sep 2026", "measured_by": "AI agent sessions recorded in the portfolio's codebases, by tool, December 2025 to September 2026." }, "proof.5": { "id": "proof.5", "value": 102, "display": "102", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/open_artifacts.json", "sha256": "ca8474906857f7a0643eab0d0360085c17d08e3cdd13918b8ebfcd28e064f85a", "bytes": 3628, "visibility": "public", "pointer": "/open_artifacts_total", "generated_utc": "2026-10-04" }, "states": [ "SUPPORTS" ], "show": true, "label": "open artifacts published: 76 GitHub repositories, 14 Hugging Face datasets, 12 Hugging Face Spaces", "measured_by": "Public GitHub repositories and Hugging Face datasets and Spaces under the lab accounts, read from their APIs." }, "engine.0.0": { "id": "engine.0.0", "value": 293, "display": "293", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/engine.json", "sha256": "ff40d320e41567cb17a7bb5dfa60e4b20ed519cd12c2a73e499aa07ff829e665", "bytes": 1198, "visibility": "public", "pointer": "/plans_written", "generated_utc": "2026-10-04" }, "states": [ "SUPPORTS" ], "show": true, "label": "plans written", "measured_by": "Counted from the engine's own records: plans, execution runs, verifier verdicts and fix passes." }, "engine.1.0": { "id": "engine.1.0", "value": 305, "display": "305", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/engine.json", "sha256": "ff40d320e41567cb17a7bb5dfa60e4b20ed519cd12c2a73e499aa07ff829e665", "bytes": 1198, "visibility": "public", "pointer": "/execution_runs", "generated_utc": "2026-10-04" }, "states": [ "SUPPORTS" ], "show": true, "label": "execution runs", "measured_by": "Counted from the engine's own records: plans, execution runs, verifier verdicts and fix passes." }, "engine.2.0": { "id": "engine.2.0", "value": 221, "display": "221", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/engine.json", "sha256": "ff40d320e41567cb17a7bb5dfa60e4b20ed519cd12c2a73e499aa07ff829e665", "bytes": 1198, "visibility": "public", "pointer": "/proven_cycles/distinct_repo_sprint_pairs", "generated_utc": "2026-10-04" }, "states": [ "SUPPORTS" ], "show": true, "label": "cycles proven, from 473 recorded verdicts", "measured_by": "Distinct repository and work-unit pairs whose recorded verdict is green, whose proof command is able to go red, and whose log is complete." }, "engine.3.0": { "id": "engine.3.0", "value": 74, "display": "74", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/engine.json", "sha256": "ff40d320e41567cb17a7bb5dfa60e4b20ed519cd12c2a73e499aa07ff829e665", "bytes": 1198, "visibility": "public", "pointer": "/fix_passes", "generated_utc": "2026-10-04" }, "states": [ "SUPPORTS" ], "show": true, "label": "fix passes", "measured_by": "Counted from the engine's own records: plans, execution runs, verifier verdicts and fix passes." }, "engine.4.0": { "id": "engine.4.0", "value": 2259, "display": "2,259", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/lean_theorems.json", "sha256": "37ce4f1747d1600fb5b6abdf4f1030aca82f6b754916ce4b7e23786bd79cd505", "bytes": 3189, "visibility": "public", "pointer": "/total_declarations", "generated_utc": "2026-10-04" }, "states": [ "SUPPORTS" ], "show": true, "label": "compiled Lean 4 theorems", "measured_by": "Lean 4 theorem and lemma declarations in files that compile with no step left unproved, deduplicated by content; counted per repository and re-counted file by file." }, "theorem.4.forecloses": { "id": "theorem.4.forecloses", "value": 1, "display": "1%", "freshness_days": 7, "receipt": { "path": "holdco/v3/proofs/unseeded-hunt/unseeded_hunt_ci.json", "sha256": "b47e41ee8c6e7daa5e1f98aea85b870c0e006c1f8d44279f08cf6ad40adcb537", "bytes": 2929, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "11,200 budgeted attempts against the lab’s models, none got through", "measured_by": "" }, "company.0.flagship": { "id": "company.0.flagship", "value": 10.467, "display": "10.467%", "freshness_days": 7, "receipt": { "path": "holdco/v3/proofs/pairwise-impossibility/family_two_tight_pairs_certified_sup_2026_08.json", "sha256": "88c6991422777adf7a1661ca3b6071b18aaa39c1ce664d6f8e09c35b994ca71d", "bytes": 234599, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "ChipletOS", "measured_by": "" }, "company.4.flagship": { "id": "company.4.flagship", "value": 88.3, "display": "88.3% · 91.3%", "freshness_days": 7, "receipt": { "path": "holdco/v3/proofs/dielectric-trap/bt_dielectric_trap_public.json", "sha256": "1a969d36f4606bbb446692bd837dff246a8fdb88ab9657f46938d08ca0ad323f", "bytes": 4388, "visibility": "public" }, "states": [ "SUPPORTS" ], "show": true, "label": "Lattice Graph", "measured_by": "" }, "ip.co.ChipletOS": { "id": "ip.co.ChipletOS", "value": 1212, "display": "1,212 claims drafted", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/ip_ledger.json", "sha256": "704c020eed9f1f6ed562d43e32bfeaeda7827d0b74a7a02bd60f0987becbe63d", "bytes": 16599, "visibility": "public", "pointer": "/by_company/ChipletOS/claims", "generated_utc": "2026-10-04" }, "states": [ "SUPPORTS" ], "show": true, "label": "ChipletOS: claims drafted in its ledger rows", "measured_by": "The sum of the claims drafted in this company's ledger rows, leaving out a row marked as built from the others." }, "ip.co.FluxZero": { "id": "ip.co.FluxZero", "value": 228, "display": "228 claims drafted", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/ip_ledger.json", "sha256": "704c020eed9f1f6ed562d43e32bfeaeda7827d0b74a7a02bd60f0987becbe63d", "bytes": 16599, "visibility": "public", "pointer": "/by_company/FluxZero/claims", "generated_utc": "2026-10-04" }, "states": [ "SUPPORTS" ], "show": true, "label": "FluxZero: claims drafted in its ledger rows", "measured_by": "The sum of the claims drafted in this company's ledger rows, leaving out a row marked as built from the others." }, "ip.co.OrbitalProof": { "id": "ip.co.OrbitalProof", "value": 970, "display": "970 claims drafted", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/ip_ledger.json", "sha256": "704c020eed9f1f6ed562d43e32bfeaeda7827d0b74a7a02bd60f0987becbe63d", "bytes": 16599, "visibility": "public", "pointer": "/by_company/OrbitalProof/claims", "generated_utc": "2026-10-04" }, "states": [ "SUPPORTS" ], "show": true, "label": "OrbitalProof: claims drafted in its ledger rows", "measured_by": "The sum of the claims drafted in this company's ledger rows, leaving out a row marked as built from the others." }, "ip.co.AxiomLimit": { "id": "ip.co.AxiomLimit", "value": 727, "display": "727 claims drafted", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/ip_ledger.json", "sha256": "704c020eed9f1f6ed562d43e32bfeaeda7827d0b74a7a02bd60f0987becbe63d", "bytes": 16599, "visibility": "public", "pointer": "/by_company/AxiomLimit/claims", "generated_utc": "2026-10-04" }, "states": [ "SUPPORTS" ], "show": true, "label": "AxiomLimit: claims drafted in its ledger rows", "measured_by": "The sum of the claims drafted in this company's ledger rows, leaving out a row marked as built from the others." }, "ip.co.Lattice Graph": { "id": "ip.co.Lattice Graph", "value": 1191, "display": "1,191 claims drafted", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/ip_ledger.json", "sha256": "704c020eed9f1f6ed562d43e32bfeaeda7827d0b74a7a02bd60f0987becbe63d", "bytes": 16599, "visibility": "public", "pointer": "/by_company/Lattice Graph/claims", "generated_utc": "2026-10-04" }, "states": [ "SUPPORTS" ], "show": true, "label": "Lattice Graph: claims drafted in its ledger rows", "measured_by": "The sum of the claims drafted in this company's ledger rows, leaving out a row marked as built from the others." }, "ip.row.0": { "id": "ip.row.0", "value": 444, "display": "444 claims drafted", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/ip_ledger.json", "sha256": "704c020eed9f1f6ed562d43e32bfeaeda7827d0b74a7a02bd60f0987becbe63d", "bytes": 16599, "visibility": "public", "pointer": "/ledger/0/claims", "generated_utc": "2026-10-04" }, "states": [ "SUPPORTS" ], "show": true, "label": "Certified signoff for chiplet interconnects: proving where pairwise extraction fails, synthesizing isolation structures, and releasing a design to fabrication only on the proof", "measured_by": "The claims drafted in this ledger row, counted from the company's documents." }, "ip.row.1": { "id": "ip.row.1", "value": 382, "display": "382 claims drafted", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/ip_ledger.json", "sha256": "704c020eed9f1f6ed562d43e32bfeaeda7827d0b74a7a02bd60f0987becbe63d", "bytes": 16599, "visibility": "public", "pointer": "/ledger/1/claims", "generated_utc": "2026-10-04" }, "states": [ "SUPPORTS" ], "show": true, "label": "Certified admission of machine-generated lithography masks — producing, composing, bounding and independently checking the certificates", "measured_by": "The claims drafted in this ledger row, counted from the company's documents." }, "ip.row.2": { "id": "ip.row.2", "value": 331, "display": "331 claims drafted", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/ip_ledger.json", "sha256": "704c020eed9f1f6ed562d43e32bfeaeda7827d0b74a7a02bd60f0987becbe63d", "bytes": 16599, "visibility": "public", "pointer": "/ledger/2/claims", "generated_utc": "2026-10-04" }, "states": [ "SUPPORTS" ], "show": true, "label": "Confidential verification: proving a chip's security, correctness and performance to a party who never receives the design", "measured_by": "The claims drafted in this ledger row, counted from the company's documents." }, "ip.row.3": { "id": "ip.row.3", "value": 55, "display": "55 claims drafted", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/ip_ledger.json", "sha256": "704c020eed9f1f6ed562d43e32bfeaeda7827d0b74a7a02bd60f0987becbe63d", "bytes": 16599, "visibility": "public", "pointer": "/ledger/3/claims", "generated_utc": "2026-10-04" }, "states": [ "SUPPORTS" ], "show": true, "label": "Glass-core interposers: through-glass-via design, CTE-matched via fill, pad transitions, design rules, thermal impedance and yield", "measured_by": "The claims drafted in this ledger row, counted from the company's documents." }, "ip.row.4": { "id": "ip.row.4", "value": 120, "display": "120 claims drafted", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/ip_ledger.json", "sha256": "704c020eed9f1f6ed562d43e32bfeaeda7827d0b74a7a02bd60f0987becbe63d", "bytes": 16599, "visibility": "public", "pointer": "/ledger/4/claims", "generated_utc": "2026-10-04" }, "states": [ "SUPPORTS" ], "show": true, "label": "Self-pumping (Marangoni) two-phase immersion coolant designs (modeled, not measured)", "measured_by": "The claims drafted in this ledger row, counted from the company's documents." }, "ip.row.5": { "id": "ip.row.5", "value": 50, "display": "50 claims drafted", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/ip_ledger.json", "sha256": "704c020eed9f1f6ed562d43e32bfeaeda7827d0b74a7a02bd60f0987becbe63d", "bytes": 16599, "visibility": "public", "pointer": "/ledger/5/claims", "generated_utc": "2026-10-04" }, "states": [ "SUPPORTS" ], "show": true, "label": "Computational discovery of thermal-management fluids by molecular simulation and machine learning", "measured_by": "The claims drafted in this ledger row, counted from the company's documents." }, "ip.row.6": { "id": "ip.row.6", "value": 58, "display": "58 claims drafted", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/ip_ledger.json", "sha256": "704c020eed9f1f6ed562d43e32bfeaeda7827d0b74a7a02bd60f0987becbe63d", "bytes": 16599, "visibility": "public", "pointer": "/ledger/6/claims", "generated_utc": "2026-10-04" }, "states": [ "SUPPORTS" ], "show": true, "label": "Two-phase immersion coolant designs: an alkane fuel with a polar aprotic pump (modeled, not measured)", "measured_by": "The claims drafted in this ledger row, counted from the company's documents." }, "ip.row.7": { "id": "ip.row.7", "value": 143, "display": "143 claims drafted", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/ip_ledger.json", "sha256": "704c020eed9f1f6ed562d43e32bfeaeda7827d0b74a7a02bd60f0987becbe63d", "bytes": 16599, "visibility": "public", "pointer": "/ledger/7/claims", "generated_utc": "2026-10-04" }, "states": [ "SUPPORTS" ], "show": true, "label": "Two-phase immersion coolant designs: the fuel-plus-pump family and the discovery engine (modeled, not measured)", "measured_by": "The claims drafted in this ledger row, counted from the company's documents." }, "ip.row.8": { "id": "ip.row.8", "value": 394, "display": "394 claims drafted", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/ip_ledger.json", "sha256": "704c020eed9f1f6ed562d43e32bfeaeda7827d0b74a7a02bd60f0987becbe63d", "bytes": 16599, "visibility": "public", "pointer": "/ledger/8/claims", "generated_utc": "2026-10-04" }, "states": [ "SUPPORTS" ], "show": true, "label": "Post-quantum and verified wireless: a verification-gate genus for Wi-Fi, 5G and machine-interconnect links — freshness-gated handover, single-radio retune scheduling, loss-budget tokens, bounded-state post-quantum handshakes, ordered delivery, converse-gated compliance oracles and deterministic networking (39 claim groups)", "measured_by": "The claims drafted in this ledger row, counted from the company's documents." }, "ip.row.9": { "id": "ip.row.9", "value": 2, "display": "2 claims drafted", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/ip_ledger.json", "sha256": "704c020eed9f1f6ed562d43e32bfeaeda7827d0b74a7a02bd60f0987becbe63d", "bytes": 16599, "visibility": "public", "pointer": "/ledger/9/claims", "generated_utc": "2026-10-04" }, "states": [ "SUPPORTS" ], "show": true, "label": "Post-quantum Wi-Fi key-management safety envelope — master claim (machine-checked bounded admission)", "measured_by": "The claims drafted in this ledger row, counted from the company's documents." }, "ip.row.10": { "id": "ip.row.10", "value": 18, "display": "18 claims drafted", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/ip_ledger.json", "sha256": "704c020eed9f1f6ed562d43e32bfeaeda7827d0b74a7a02bd60f0987becbe63d", "bytes": 16599, "visibility": "public", "pointer": "/ledger/10/claims", "generated_utc": "2026-10-04" }, "states": [ "SUPPORTS" ], "show": true, "label": "Transition-mode downgrade firewall for post-quantum Wi-Fi", "measured_by": "The claims drafted in this ledger row, counted from the company's documents." }, "ip.row.11": { "id": "ip.row.11", "value": 18, "display": "18 claims drafted", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/ip_ledger.json", "sha256": "704c020eed9f1f6ed562d43e32bfeaeda7827d0b74a7a02bd60f0987becbe63d", "bytes": 16599, "visibility": "public", "pointer": "/ledger/11/claims", "generated_utc": "2026-10-04" }, "states": [ "SUPPORTS" ], "show": true, "label": "Retransmission-safe key-install gate (install once per install ID)", "measured_by": "The claims drafted in this ledger row, counted from the company's documents." }, "ip.row.12": { "id": "ip.row.12", "value": 18, "display": "18 claims drafted", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/ip_ledger.json", "sha256": "704c020eed9f1f6ed562d43e32bfeaeda7827d0b74a7a02bd60f0987becbe63d", "bytes": 16599, "visibility": "public", "pointer": "/ledger/12/claims", "generated_utc": "2026-10-04" }, "states": [ "SUPPORTS" ], "show": true, "label": "Fragmentation-safe post-quantum transcript root", "measured_by": "The claims drafted in this ledger row, counted from the company's documents." }, "ip.row.13": { "id": "ip.row.13", "value": 14, "display": "14 claims drafted", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/ip_ledger.json", "sha256": "704c020eed9f1f6ed562d43e32bfeaeda7827d0b74a7a02bd60f0987becbe63d", "bytes": 16599, "visibility": "public", "pointer": "/ledger/13/claims", "generated_utc": "2026-10-04" }, "states": [ "SUPPORTS" ], "show": true, "label": "Adaptive post-quantum anti-clogging gate", "measured_by": "The claims drafted in this ledger row, counted from the company's documents." }, "ip.row.14": { "id": "ip.row.14", "value": 13, "display": "13 claims drafted", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/ip_ledger.json", "sha256": "704c020eed9f1f6ed562d43e32bfeaeda7827d0b74a7a02bd60f0987becbe63d", "bytes": 16599, "visibility": "public", "pointer": "/ledger/14/claims", "generated_utc": "2026-10-04" }, "states": [ "SUPPORTS" ], "show": true, "label": "Post-quantum fast-roaming continuity epoch", "measured_by": "The claims drafted in this ledger row, counted from the company's documents." }, "ip.row.15": { "id": "ip.row.15", "value": 17, "display": "17 claims drafted", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/ip_ledger.json", "sha256": "704c020eed9f1f6ed562d43e32bfeaeda7827d0b74a7a02bd60f0987becbe63d", "bytes": 16599, "visibility": "public", "pointer": "/ledger/15/claims", "generated_utc": "2026-10-04" }, "states": [ "SUPPORTS" ], "show": true, "label": "Transcript-bound anti-clogging puzzle", "measured_by": "The claims drafted in this ledger row, counted from the company's documents." }, "ip.row.16": { "id": "ip.row.16", "value": 17, "display": "17 claims drafted", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/ip_ledger.json", "sha256": "704c020eed9f1f6ed562d43e32bfeaeda7827d0b74a7a02bd60f0987becbe63d", "bytes": 16599, "visibility": "public", "pointer": "/ledger/16/claims", "generated_utc": "2026-10-04" }, "states": [ "SUPPORTS" ], "show": true, "label": "Wi-Fi integration of a post-quantum password-authenticated key exchange", "measured_by": "The claims drafted in this ledger row, counted from the company's documents." }, "ip.row.17": { "id": "ip.row.17", "value": 18, "display": "18 claims drafted", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/ip_ledger.json", "sha256": "704c020eed9f1f6ed562d43e32bfeaeda7827d0b74a7a02bd60f0987becbe63d", "bytes": 16599, "visibility": "public", "pointer": "/ledger/17/claims", "generated_utc": "2026-10-04" }, "states": [ "SUPPORTS" ], "show": true, "label": "Multi-link post-quantum per-link key hierarchy", "measured_by": "The claims drafted in this ledger row, counted from the company's documents." }, "ip.row.18": { "id": "ip.row.18", "value": 18, "display": "18 claims drafted", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/ip_ledger.json", "sha256": "704c020eed9f1f6ed562d43e32bfeaeda7827d0b74a7a02bd60f0987becbe63d", "bytes": 16599, "visibility": "public", "pointer": "/ledger/18/claims", "generated_utc": "2026-10-04" }, "states": [ "SUPPORTS" ], "show": true, "label": "Pre-association beacon and management-frame post-quantum authenticity", "measured_by": "The claims drafted in this ledger row, counted from the company's documents." }, "ip.row.19": { "id": "ip.row.19", "value": 16, "display": "16 claims drafted", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/ip_ledger.json", "sha256": "704c020eed9f1f6ed562d43e32bfeaeda7827d0b74a7a02bd60f0987becbe63d", "bytes": 16599, "visibility": "public", "pointer": "/ledger/19/claims", "generated_utc": "2026-10-04" }, "states": [ "SUPPORTS" ], "show": true, "label": "Device-class and battery-aware policy binding to the handshake transcript", "measured_by": "The claims drafted in this ledger row, counted from the company's documents." }, "ip.row.20": { "id": "ip.row.20", "value": 407, "display": "407 claims drafted", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/ip_ledger.json", "sha256": "704c020eed9f1f6ed562d43e32bfeaeda7827d0b74a7a02bd60f0987becbe63d", "bytes": 16599, "visibility": "public", "pointer": "/ledger/20/claims", "generated_utc": "2026-10-04" }, "states": [ "SUPPORTS" ], "show": true, "label": "Proof-carrying admission of machine-generated code: certificate-gated patches, kernel programs and compiler passes, plus decoder-normative video bitstream syntax (39 claim groups)", "measured_by": "The claims drafted in this ledger row, counted from the company's documents." }, "ip.row.21": { "id": "ip.row.21", "value": 727, "display": "727 claims drafted", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/ip_ledger.json", "sha256": "704c020eed9f1f6ed562d43e32bfeaeda7827d0b74a7a02bd60f0987becbe63d", "bytes": 16599, "visibility": "public", "pointer": "/ledger/21/claims", "generated_utc": "2026-10-04" }, "states": [ "SUPPORTS" ], "show": true, "label": "Proof-carrying admission for AI inference infrastructure: tenant-rights capability engines and partition-key binding for shared KV caches, cross-instance reuse, memory zeroization, exactly-once state migration, and interconnect, power and scheduling admission gates (2 genera, 87 mechanism groups)", "measured_by": "The claims drafted in this ledger row, counted from the company's documents." }, "ip.row.22": { "id": "ip.row.22", "value": 173, "display": "173 claims drafted", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/ip_ledger.json", "sha256": "704c020eed9f1f6ed562d43e32bfeaeda7827d0b74a7a02bd60f0987becbe63d", "bytes": 16599, "visibility": "public", "pointer": "/ledger/22/claims", "generated_utc": "2026-10-04" }, "states": [ "SUPPORTS" ], "show": true, "label": "Solid-state electrolytes and battery materials", "measured_by": "The claims drafted in this ledger row, counted from the company's documents." }, "ip.row.23": { "id": "ip.row.23", "value": 239, "display": "239 claims drafted", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/ip_ledger.json", "sha256": "704c020eed9f1f6ed562d43e32bfeaeda7827d0b74a7a02bd60f0987becbe63d", "bytes": 16599, "visibility": "public", "pointer": "/ledger/23/claims", "generated_utc": "2026-10-04" }, "states": [ "SUPPORTS" ], "show": true, "label": "Glass-core packaging: glass substrates, through-glass-via barriers, low-k redistribution layers, thermal interfaces, radiation-hard glass", "measured_by": "The claims drafted in this ledger row, counted from the company's documents." }, "ip.row.24": { "id": "ip.row.24", "value": 135, "display": "135 claims drafted", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/ip_ledger.json", "sha256": "704c020eed9f1f6ed562d43e32bfeaeda7827d0b74a7a02bd60f0987becbe63d", "bytes": 16599, "visibility": "public", "pointer": "/ledger/24/claims", "generated_utc": "2026-10-04" }, "states": [ "SUPPORTS" ], "show": true, "label": "Photovoltaic and optoelectronic absorbers, transparent conductors and detectors", "measured_by": "The claims drafted in this ledger row, counted from the company's documents." }, "ip.row.25": { "id": "ip.row.25", "value": 102, "display": "102 claims drafted", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/ip_ledger.json", "sha256": "704c020eed9f1f6ed562d43e32bfeaeda7827d0b74a7a02bd60f0987becbe63d", "bytes": 16599, "visibility": "public", "pointer": "/ledger/25/claims", "generated_utc": "2026-10-04" }, "states": [ "SUPPORTS" ], "show": true, "label": "Catalysts and photocatalysts for hydrogen and oxygen evolution", "measured_by": "The claims drafted in this ledger row, counted from the company's documents." }, "ip.row.26": { "id": "ip.row.26", "value": 144, "display": "144 claims drafted", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/ip_ledger.json", "sha256": "704c020eed9f1f6ed562d43e32bfeaeda7827d0b74a7a02bd60f0987becbe63d", "bytes": 16599, "visibility": "public", "pointer": "/ledger/26/claims", "generated_utc": "2026-10-04" }, "states": [ "SUPPORTS" ], "show": true, "label": "Dielectrics, ferroelectrics, piezoelectrics, multiferroics and microwave ceramics", "measured_by": "The claims drafted in this ledger row, counted from the company's documents." }, "ip.row.27": { "id": "ip.row.27", "value": 98, "display": "98 claims drafted", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/ip_ledger.json", "sha256": "704c020eed9f1f6ed562d43e32bfeaeda7827d0b74a7a02bd60f0987becbe63d", "bytes": 16599, "visibility": "public", "pointer": "/ledger/27/claims", "generated_utc": "2026-10-04" }, "states": [ "SUPPORTS" ], "show": true, "label": "Thermoelectrics, magnets and topological materials", "measured_by": "The claims drafted in this ledger row, counted from the company's documents." }, "ip.row.28": { "id": "ip.row.28", "value": 152, "display": "152 claims drafted", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/ip_ledger.json", "sha256": "704c020eed9f1f6ed562d43e32bfeaeda7827d0b74a7a02bd60f0987becbe63d", "bytes": 16599, "visibility": "public", "pointer": "/ledger/28/claims", "generated_utc": "2026-10-04" }, "states": [ "SUPPORTS" ], "show": true, "label": "Computational discovery methods: substitution, whitespace, DFT disagreement, supply-risk tiers", "measured_by": "The claims drafted in this ledger row, counted from the company's documents." }, "ip.row.29": { "id": "ip.row.29", "value": 148, "display": "148 claims drafted", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/ip_ledger.json", "sha256": "704c020eed9f1f6ed562d43e32bfeaeda7827d0b74a7a02bd60f0987becbe63d", "bytes": 16599, "visibility": "public", "pointer": "/ledger/29/claims", "generated_utc": "2026-10-04" }, "states": [ "SUPPORTS" ], "show": true, "label": "Other compositions: chiral, synthesis, superhard, 2-D, fluoride, etch, fuel-cell, power-substrate and multi-use", "measured_by": "The claims drafted in this ledger row, counted from the company's documents." }, "team.lean": { "id": "team.lean", "value": 2259, "display": "2,259", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/lean_theorems.json", "sha256": "37ce4f1747d1600fb5b6abdf4f1030aca82f6b754916ce4b7e23786bd79cd505", "bytes": 3189, "visibility": "public", "pointer": "/total_declarations" }, "states": [ "SUPPORTS" ], "show": true, "label": "Lean 4 theorems and lemmas the Lean proof checker accepts with no step left unproved", "measured_by": "Lean 4 theorem and lemma declarations in files that compile with no step left unproved, deduplicated by content; counted per repository and re-counted file by file." }, "team.repos": { "id": "team.repos", "value": 10, "display": "10", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/track_record.json", "sha256": "cc5751f5d960eacdff0670a38d35b8280cc834146ee1f8bc3b124fb612edd003", "bytes": 2159, "visibility": "public", "pointer": "/open_source_verifiers/count" }, "states": [ "SUPPORTS" ], "show": true, "label": "open-source code repositories this site links: verifiers, benchmarks and tools", "measured_by": "The length of /open_source_verifiers/repositories, read from holdco/v3/measured/open_artifacts.json#/page_artifact_urls by scripts/v3/track_record.py." }, "team.outside": { "id": "team.outside", "value": 2, "display": "2", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/track_record.json", "sha256": "cc5751f5d960eacdff0670a38d35b8280cc834146ee1f8bc3b124fb612edd003", "bytes": 2159, "visibility": "public", "pointer": "/outside_solver_results/count" }, "states": [ "SUPPORTS" ], "show": true, "label": "results checked against outside field solvers the lab did not write (FastCap, Palace)", "measured_by": "The length of /outside_solver_results/results: the result files that name FastCap or Palace, read by scripts/v3/track_record.py." }, "team.sessions": { "id": "team.sessions", "value": 3452, "display": "3,452", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/agent_sessions.json", "sha256": "cf76198020df9c263535c33f6f1cc51f8c2a28c2d450b49514d9d3e795d7eedc", "bytes": 487, "visibility": "public", "pointer": "/sessions" }, "states": [ "SUPPORTS" ], "show": true, "label": "AI agent sessions recorded in the lab’s codebases", "measured_by": "AI agent sessions recorded in the portfolio's codebases, by tool, December 2025 to September 2026." }, "home.engine.plan": { "id": "home.engine.plan", "value": 293, "display": "293", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/engine.json", "sha256": "ff40d320e41567cb17a7bb5dfa60e4b20ed519cd12c2a73e499aa07ff829e665", "bytes": 1198, "visibility": "public", "pointer": "/plans_written" }, "states": [ "SUPPORTS" ], "show": true, "label": "plans written", "measured_by": "Counted from the engine's own records: plans, execution runs, verifier verdicts and fix passes." }, "home.engine.execute": { "id": "home.engine.execute", "value": 305, "display": "305", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/engine.json", "sha256": "ff40d320e41567cb17a7bb5dfa60e4b20ed519cd12c2a73e499aa07ff829e665", "bytes": 1198, "visibility": "public", "pointer": "/execution_runs" }, "states": [ "SUPPORTS" ], "show": true, "label": "execution runs", "measured_by": "Counted from the engine's own records: plans, execution runs, verifier verdicts and fix passes." }, "home.engine.prove": { "id": "home.engine.prove", "value": 221, "display": "221", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/engine.json", "sha256": "ff40d320e41567cb17a7bb5dfa60e4b20ed519cd12c2a73e499aa07ff829e665", "bytes": 1198, "visibility": "public", "pointer": "/proven_cycles/distinct_repo_sprint_pairs" }, "states": [ "SUPPORTS" ], "show": true, "label": "pieces of work that passed when a separate program re-ran their check", "measured_by": "Distinct repository and work-unit pairs whose recorded verdict is green, whose proof command is able to go red, and whose log is complete." }, "home.engine.fix": { "id": "home.engine.fix", "value": 74, "display": "74", "freshness_days": 7, "receipt": { "path": "holdco/v3/measured/engine.json", "sha256": "ff40d320e41567cb17a7bb5dfa60e4b20ed519cd12c2a73e499aa07ff829e665", "bytes": 1198, "visibility": "public", "pointer": "/fix_passes" }, "states": [ "SUPPORTS" ], "show": true, "label": "fix passes", "measured_by": "Counted from the engine's own records: plans, execution runs, verifier verdicts and fix passes." } } }