{
  "_doc": "One result, read from the codebase’s own files at the commit named here. Every value is that file’s own, copied verbatim; nothing here is written by hand. A value replaced by {withheld: true, sha256_of_value, bytes} is committed by its sha256 instead of published, for the reason it states, and is never edited. Each whole source file is committed by sha256 below, and its bytes are published only where its visibility says so. The codebase is named by the public subject its files are published under.",
  "lane": "inference-limits",
  "repository": "inference-limits",
  "commit": "eb76dce3f6dc0889d822db1c7a5af76dc876d2db",
  "portfolio_id": "inference-limits:reorder-memory-mechanism",
  "id": "reorder-memory-mechanism",
  "attestation_row": {
    "attested_at": "2026-09-12",
    "attestor": "04-aiscaleout",
    "repository": {
      "withheld": true,
      "why": "a working-directory name (R8)",
      "sha256_of_value": "dc9a8056162a9f8af22c3358adefec1007380f73db3ac6575018b9f67cec86a6",
      "bytes": 7
    },
    "source_doc": "TOP_N_CROWN_JEWELS.md",
    "source_doc_sha256": "15a64fb189e85a28a6fee2c09ec72d602dd019272769f54e167d6cc5bf3c425a",
    "state": "attested",
    "top_n": 11,
    "note_sha256": "cda096249bc344dc78f7c156eaaaaa4915f346127e628cf67243910f731d04df",
    "ids_in_row": 11,
    "file": "dataroom/TOP_N_ATTESTATION.jsonl",
    "line": 1
  },
  "claim_source": {
    "receipt": "inference-limits/top40.json",
    "sha256": "5d74491a747c903d407b42abbeececaf6268df57216a1fac67aa795bc4092b6e",
    "field": "entries[1].claim",
    "file": "top40.json"
  },
  "top40_entry": {
    "id": "reorder-memory-mechanism",
    "rank": 2,
    "native_rank": 6,
    "title": "Receiver reorder memory is a mechanism result, with the prior-art ratio published",
    "claim": "Bounded descriptor state scales O(1) where the faithful buffering field scales Theta(W), giving a 3,886x robust geomean over the closed-loop grid — and 1.965x against faithful bounded-state prior art on the identical grid.",
    "scope": "netsim simulation, not silicon. 3,886.0 is the geomean over 756 nonzero of 768 wall-payer cells (12 transports with direct_placement=False, 9 of which inherit that default). Against AMD STrack (arXiv:2407.15266): 1.965x geomean, and STrack holds LESS reorder state than the flagship in 9 of 64 cells. Against Meta CTS: 1.443x, CTS better in 31 of 64.",
    "limits": "Simulation, seeds [1,2,3], generated_utc 2026-06-27. Four sibling instruments are NO-SUM and must never be added: 122,880x, 42,111x, 24,320x, 62,208x. The 62,208x hero divides by exactly the 16 B ratio_floor clamp; the defensible twin is hero_large_message at 39,637x with a 96 B denominator. Three published n for the same geomean reconcile as 960 all rows / 768 wall-payer rows / 756 nonzero. FIX-I open: 122,880x still unlabelled across 17 files. STrack was excluded by name from the escape sweep until 2026-08-19; thresholds were NOT moved to accommodate it.",
    "artifact_path": "results/data/reorder_closed_loop/prior_art_ratio.json",
    "witness_command": "python3 experiments/gen_reorder_prior_art_ratio.py && python3 scripts/adversarial_reorder_escape.py",
    "witness_result": "exit=0 | cells: 64   breadth.csv rows: 960",
    "witness_class": "ASSERTING",
    "third_party_axis": "—",
    "facts": {
      "ran_with_receipt": true,
      "third_party_graded": false,
      "negative_control_stated": true,
      "ip_class_known": false,
      "reproduce_command": true,
      "regenerates_not_verifies": true
    },
    "fact_count": 4,
    "repro_command": "python3 experiments/gen_reorder_prior_art_ratio.py && python3 scripts/adversarial_reorder_escape.py",
    "repro_packet": {
      "path": "repro/reorder-memory-mechanism/",
      "index_sha256": "80ed62f5df6a95c42aa44f13ab11a287c303acf258caf8ff2bd72439f5fc0bf0",
      "grade": "ASSERTING",
      "kit_pin": "c0320c0f0557fcdeeb9140d886b4267da9af9763ca14510c6eed40f0d3ca039c",
      "graded_rev": "87d88093b0daaf3fa78685ddc8753d02dd45172d"
    },
    "ip_class": null,
    "ip_class_basis": {
      "withheld": true,
      "why": "a note on the entry's intellectual-property class, which this site does not publish; a hash of the note is kept",
      "sha256_of_value": "1fa3b0de2499ff0cae5431ddd894e54301c85cc39df867e9e43b4552d055cba7",
      "bytes": 265
    },
    "negative_control": "The escape search classifies strack as `escape-but-pays-cost` — a competitor that does escape the mechanism is reported, not suppressed; 9/64 and 31/64 cells where the competitor holds LESS state are printed in the same run."
  },
  "witness_quality_entry": {
    "id": "reorder-memory-mechanism",
    "claim": "Bounded descriptor state scales O(1) where the faithful buffering field scales Theta(W), giving a 3,886x robust geomean over the closed-loop grid — and 1.965x against faithful bounded-state prior art on the identical grid.",
    "class": "ASSERTING",
    "why": "S01 asserted a banner line the search prints before it knows its own answer. With the assertion moved onto the recomputed number, doubling one measured cell of results/data/reorder_closed_loop/breadth.csv makes the witness exit 1.",
    "witness_command": "python3 experiments/gen_reorder_prior_art_ratio.py && python3 scripts/adversarial_reorder_escape.py",
    "defect_demonstration": {
      "id": "reorder-memory-mechanism",
      "target": "results/data/reorder_closed_loop/breadth.csv",
      "defect": "one measured cell of the committed 64-cell breadth grid (reorder_bytes_max on the first row) is doubled, so the geomean over the wall-payers is no longer 3886.0x",
      "witness_command": "python3 experiments/gen_reorder_prior_art_ratio.py && python3 scripts/adversarial_reorder_escape.py",
      "recorded_exit": 0,
      "recorded_assertion": "3,886x recomputed over wall-payers: 3886.0x (n=756 nonzero of 768)",
      "mutation": "reorder_bytes_max on the first data row: 110592.0 -> 221184.0",
      "mutated_exit": 0,
      "mutated_first_line": "cells: 64   breadth.csv rows: 960",
      "assertion_present_under_defect": false,
      "witness_rejects_the_defect": true,
      "tree_clean_after_restore": true,
      "restored_exit": 0,
      "restored_assertion_present": true
    },
    "asserts": "the generator recomputes the claim's headline geomean over the committed 64-cell grid and prints `3,886x recomputed over wall-payers: 3886.0x (n=756 nonzero of 768)`; the adversarial escape search then exits 1 if any competitor escapes the mechanism.",
    "stale_claims_ref": null,
    "attested": true
  },
  "packet": {
    "id": "reorder-memory-mechanism",
    "portfolio_id": {
      "withheld": true,
      "why": "a working-directory name (R8)",
      "sha256_of_value": "29e62fc3bee888ea02cfc61eac9faed16ec2cb26ab86582f21acba0468f1c61c",
      "bytes": 32
    },
    "witness_command": "python3 experiments/gen_reorder_prior_art_ratio.py && python3 scripts/adversarial_reorder_escape.py",
    "path": "repro/reorder-memory-mechanism/",
    "inputs": 17,
    "grade": "ASSERTING",
    "kit2": {
      "grade": "ASSERTING",
      "graded_commit": "87d88093b0daaf3fa78685ddc8753d02dd45172d",
      "graded_utc": "2026-09-19T00:55:54Z",
      "kit_pins_sha256": "c0320c0f0557fcdeeb9140d886b4267da9af9763ca14510c6eed40f0d3ca039c"
    }
  },
  "measured": {
    "measured": true,
    "basis": "defect_demonstration.mutated_exit = 0",
    "exit": 0,
    "defect_rejected": true
  },
  "register": {
    "truth_state": "attested",
    "truth_line": 151,
    "measured_per_register": true,
    "witness_class_per_register": "ASSERTING",
    "ip_class_public": "unknown",
    "ip_class_sha256": "b23a6a8439c0dde5515893e7c90c1e3233b8616e634470f20dc4928bcf3609bc",
    "ip_class_source": "reports/TOP_N_CROWN_JEWELS.md:27 @ 7eff877f38ed",
    "receipt": "register/CROWN_JEWELS_TRUTH.md",
    "receipt_sha256": "bde06cf0d3e99644522d18e79b6bd5d84ed4f5c86e315a48fef207e9e49c5022",
    "ip_class_receipt": "register/ip_class.jsonl",
    "ip_class_receipt_sha256": "b1e8f97aa6779e0fefed2f7a7726e1a03563b536b497392401b49bb8ef84d4ca"
  },
  "withheld_fields": [
    {
      "field": "packet.portfolio_id",
      "codes": [
        "LANE_DIRECTORY_NAME"
      ]
    },
    {
      "field": "attestation_row.repository",
      "codes": [
        "LANE_DIRECTORY_NAME"
      ]
    }
  ],
  "sources": {
    "attestation": {
      "receipt": "inference-limits/dataroom/TOP_N_ATTESTATION.jsonl",
      "source": "dataroom/TOP_N_ATTESTATION.jsonl",
      "commit": "eb76dce3f6dc0889d822db1c7a5af76dc876d2db",
      "sha256": "a674007bd1bcc71c72d9033d28bbf3c0fe0f19bff407993b2a71aacfa57fca6f",
      "bytes": 1701,
      "visibility": "sealed"
    },
    "top40": {
      "receipt": "inference-limits/top40.json",
      "source": "top40.json",
      "commit": "eb76dce3f6dc0889d822db1c7a5af76dc876d2db",
      "sha256": "5d74491a747c903d407b42abbeececaf6268df57216a1fac67aa795bc4092b6e",
      "bytes": 246151,
      "visibility": "sealed"
    },
    "witness_quality": {
      "receipt": "inference-limits/dataroom/witness_quality.json",
      "source": "dataroom/witness_quality.json",
      "commit": "eb76dce3f6dc0889d822db1c7a5af76dc876d2db",
      "sha256": "2d25181a8dde236a009eb4264e63f129382d7641862180d6001c0be2856f9049",
      "bytes": 82971,
      "visibility": "sealed"
    },
    "repro_index": {
      "receipt": "inference-limits/repro/INDEX.json",
      "source": "repro/INDEX.json",
      "commit": "eb76dce3f6dc0889d822db1c7a5af76dc876d2db",
      "sha256": "80ed62f5df6a95c42aa44f13ab11a287c303acf258caf8ff2bd72439f5fc0bf0",
      "bytes": 46450,
      "visibility": "sealed"
    }
  }
}
