{
  "schema": "tapeout-gas-model/1",
  "updated": "2026-09-13T18:22:35Z",
  "chain_id": 56,
  "units": "gas unless stated",
  "status_legend": {
    "measured": "from receipts / eth_estimateGas / exact local replay",
    "estimate": "analytical estimate pending measurement"
  },
  "chain": {
    "block_time_s": 0.452,
    "gas_limit": 69455003,
    "avg_gas_used": 13600000,
    "utilization": 0.2,
    "real_tps": 168,
    "gas_price_gwei": 0.05,
    "tapeout_machine_tx_gas_cap": 16777216,
    "client": "Geth/v1.7.7-6c154fb3-20260723",
    "measured_at_block": 121602577,
    "status": "measured",
    "latest_native_cost_inputs": {
      "updated": "2026-09-13T09:04:35.011389+00:00",
      "block": 121618647,
      "blockHash": "0x90c19921a10a77bbb5f37f7ad58d07747861b9cebaac53d0e7f48d4aaf93a176",
      "gasPriceWei": 50000000,
      "gasLimit": 70000000,
      "blockTimestamp": 1789290273,
      "secondsPerBlock1000": 0.452,
      "BNB_USD": 717.825,
      "priceSource": "https://api.coinbase.com/v2/prices/BNB-USD/spot",
      "networkTransactions": 0,
      "status": "measured",
      "scope": "read-only dated snapshot; prior chain aggregate fields retain their earlier measurement block"
    },
    "transaction_gas_cap": {
      "value": 16777216,
      "status": "measured",
      "source": "https://docs.bnbchain.org/announce/mendel-bsc/",
      "scope": "protocol rule retrieved 2026-09-13; mainnet enabled 2026-04-28"
    },
    "tapeout_machine_tx_gas_cap_note": "Legacy key: this value is the BSC protocol transaction cap, not a decoded TapeOut-specific storage field."
  },
  "circuit_step": {
    "method": "eth_estimateGas on step(), zero-input pattern, block 121591371",
    "samples": [
      {
        "circuit": 280,
        "nand": 87,
        "latch": 3,
        "gas": 261497
      },
      {
        "circuit": 283,
        "nand": 152,
        "latch": 10,
        "gas": 433276
      },
      {
        "circuit": 284,
        "nand": 295,
        "latch": 23,
        "gas": 795098
      }
    ],
    "fit": {
      "formula": "gas = 52250.58 + 1920.69*NAND + 6704.92*LATCH",
      "note": "3 points, exact fit; coefficients are descriptive, not separately identifiable",
      "status": "measured"
    },
    "score_vs_gas": "TapeOut structural score C = gates * depth^3; gas is linear in element count and independent of depth"
  },
  "riscv_tick": {
    "machine": "0x5Ec71579c67EB01755bE6da9C3a26995f144115A",
    "semantics": "RV32IMA-like mini-rv32ima semantics; exact deployed runtime pinned. Bounded guest CPU/page parity measured; independent historical Linux-state adapter parity remains incomplete.",
    "page_bytes": 1024,
    "page_contract_bytes": 1025,
    "pages": 16384,
    "instructions_per_tick_cap": 1024,
    "fit": {
      "formula": "gas = 578245 + 11671*F + 962.12*I + 5470.59*L + 239714.66*D",
      "vars": {
        "F": "serial flips",
        "I": "instructions executed",
        "L": "pages loaded",
        "D": "dirty pages written back (CREATE)"
      },
      "samples": 80,
      "holdout_rmse": 11700,
      "sample_ranges": {
        "F": [
          3,
          5
        ],
        "I": [
          1620,
          4447
        ],
        "L": [
          62,
          132
        ],
        "D": [
          7,
          20
        ],
        "gas": [
          4354000,
          9870000
        ]
      },
      "status": "measured",
      "intrinsic_gas": "Fit target was receipt gasUsed; intrinsic cost is already included in the fitted fixed term."
    },
    "fixed_term_breakdown": {
      "memory_expansion_gas": 503295,
      "memory_bytes": 489696,
      "status": "measured (exact local replay)"
    },
    "typical_tick": {
      "F": 4,
      "I": 4000,
      "L": 100,
      "D": 15,
      "gas_total": 9062000,
      "parts": {
        "dirty_pages": 3595725,
        "instructions": 3848400,
        "fixed": 578245,
        "page_loads": 547060,
        "flips": 46684
      }
    },
    "instructions_per_tick_cap_note": "1024 is per internal flip; tick(flips) can execute multiple flips. Aggregate call gas is constrained by BEP-652.",
    "existing_call_batching": {
      "status": "measured",
      "scope": "unmodified deployed EVM, same actual row-scale MiniCPM full-layer Q-loop pre-state; changing tick(flips) only; calldata intrinsic transaction gas excluded by execute_bytecode, guest semantics checked against mini; execute_bytecode bypasses transaction validation: 32/64 flips are counterfactual and exceed BEP-652 cap",
      "rows": [
        {
          "flips": 1,
          "instructions": 1024,
          "gas": 1554788,
          "gasPerInstruction": 1518.34765625,
          "seconds": 0.5016569589999997,
          "cpu48Exact": true,
          "pagesExact": 2317,
          "memoryBytes": 489696,
          "status": "measured",
          "transactionGasCap": 16777216,
          "transactionIntrinsicEstimate": 21500,
          "totalGasWithIntrinsicEstimate": 1576288,
          "transactionEnvelopeEligibleOnThisSnapshot": true,
          "gasCapSource": "https://docs.bnbchain.org/announce/mendel-bsc/"
        },
        {
          "flips": 3,
          "instructions": 3072,
          "gas": 3459332,
          "gasPerInstruction": 1126.0846354166667,
          "seconds": 1.464432,
          "cpu48Exact": true,
          "pagesExact": 2317,
          "memoryBytes": 489696,
          "status": "measured",
          "transactionGasCap": 16777216,
          "transactionIntrinsicEstimate": 21500,
          "totalGasWithIntrinsicEstimate": 3480832,
          "transactionEnvelopeEligibleOnThisSnapshot": true,
          "gasCapSource": "https://docs.bnbchain.org/announce/mendel-bsc/"
        },
        {
          "flips": 14,
          "instructions": 14336,
          "gas": 14203692,
          "gasPerInstruction": 990.7709263392857,
          "seconds": 4.698058958,
          "cpu48Exact": true,
          "pagesExact": 2317,
          "memoryBytes": 489696,
          "status": "measured",
          "transactionGasCap": 16777216,
          "transactionIntrinsicEstimate": 21500,
          "totalGasWithIntrinsicEstimate": 14225192,
          "transactionEnvelopeEligibleOnThisSnapshot": true,
          "gasCapSource": "https://docs.bnbchain.org/announce/mendel-bsc/"
        },
        {
          "flips": 16,
          "instructions": 16384,
          "gas": 16108438,
          "gasPerInstruction": 983.1810302734375,
          "seconds": 8.183757708,
          "cpu48Exact": true,
          "pagesExact": 2317,
          "memoryBytes": 489696,
          "status": "measured",
          "transactionGasCap": 16777216,
          "transactionIntrinsicEstimate": 21500,
          "totalGasWithIntrinsicEstimate": 16129938,
          "transactionEnvelopeEligibleOnThisSnapshot": true,
          "gasCapSource": "https://docs.bnbchain.org/announce/mendel-bsc/"
        },
        {
          "flips": 32,
          "instructions": 32768,
          "gas": 31662373,
          "gasPerInstruction": 966.2589416503906,
          "seconds": 16.517384125,
          "cpu48Exact": true,
          "pagesExact": 2317,
          "memoryBytes": 489696,
          "status": "measured",
          "transactionGasCap": 16777216,
          "transactionIntrinsicEstimate": 21500,
          "totalGasWithIntrinsicEstimate": 31683873,
          "transactionEnvelopeEligibleOnThisSnapshot": false,
          "gasCapSource": "https://docs.bnbchain.org/announce/mendel-bsc/"
        },
        {
          "flips": 64,
          "instructions": 65536,
          "gas": 62147269,
          "gasPerInstruction": 948.2920684814453,
          "seconds": 34.35098400000001,
          "cpu48Exact": true,
          "pagesExact": 2317,
          "memoryBytes": 489696,
          "status": "measured",
          "transactionGasCap": 16777216,
          "transactionIntrinsicEstimate": 21500,
          "totalGasWithIntrinsicEstimate": 62168769,
          "transactionEnvelopeEligibleOnThisSnapshot": false,
          "gasCapSource": "https://docs.bnbchain.org/announce/mendel-bsc/"
        }
      ],
      "fit": {
        "fixedPerCall": 655433.5532136002,
        "gasPerInstruction": 939.9837708271488,
        "maxResidualGas": 205551.24432238936,
        "status": "model; applies to this snapshot/loop only"
      },
      "baseline_instructions_per_call": 3072,
      "measured_14_flip_gas_per_instruction_reduction": 0.1201630009162794,
      "scope_limit": "Original MiniCPM MAC-loop pre-state only; local direct execution gas. 32/64 flips exceed transaction cap and are counterfactual. This is not an interpreter optimization measurement.",
      "sources": [
        "circuits/_scratch/tapeout_asic/minicpm/tick_batching.json",
        "circuits/_scratch/tapeout_asic/minicpm/tick_batching14.json"
      ]
    }
  },
  "levers": [
    {
      "id": "memory_expansion",
      "current_gas": 503295,
      "target": "lazy per-page buffers; recover most of the fixed term",
      "owner": "tapeout_machine_or_own_deployment",
      "status": "measured",
      "measured_scope": "Local MLP only; correctness2 CPU snapshots/5 page payloads. Full workload/ISA study incomplete.",
      "measured_baseline_gas": 4157498,
      "measured_optimized_gas": 3210968,
      "measured_speedup": 1.2947802656395206,
      "measurement_pending": false
    },
    {
      "id": "dirty_page_writeback",
      "current_gas_per_page": 239715,
      "target": "word-level SSTORE diffs; multi-tick batching; transient staging",
      "owner": "tapeout_machine_or_own_deployment",
      "status": "estimate"
    },
    {
      "id": "instruction_loop",
      "current_gas_per_instruction": 962,
      "target_gas_per_instruction": [
        250,
        400
      ],
      "how": "computed jump-table decode, pre-masked 32-bit regs, no per-instruction bounds checks, fused pairs",
      "owner": "tapeout_machine_or_own_deployment",
      "status": "estimate",
      "measured_sublever": {
        "status": "measured",
        "name": "computed jump-table only",
        "baseline_gas": 4157498,
        "optimized_gas": 4117356,
        "speedup": 1.009749460576156,
        "scope": "MLP only; pre-masking/fusion not measured"
      }
    },
    {
      "id": "page_loads",
      "current_gas_per_page": 5471,
      "target": "warm EXTCODECOPY (EIP-2929) via in-tx page cache",
      "owner": "tapeout_machine_or_own_deployment",
      "status": "estimate"
    },
    {
      "id": "tick_cap",
      "current": 1024,
      "target": "Change the per-flip instruction loop cap only after bounded gas/correctness measurements; existing tick(flips) already batches 1024-instruction flips.",
      "owner": "tapeout_parameter",
      "status": "estimate",
      "measurement_pending": true,
      "existing_call_batching_note": "Separate measured caller batching: 14 flips /14336 I costs14203692 execution gas on one MAC snapshot. No modified 8192-instruction inner loop is measured."
    },
    {
      "id": "static_translation",
      "current": "interpreted",
      "target": "AOT hot loops to EVM/Yul + SWAR int8 (8-32 MAC per 256-bit word), >=10x on hot loops",
      "owner": "program_side",
      "status": "estimate"
    },
    {
      "id": "bit_sliced_nand_evaluator",
      "current_gas_per_gate": 2000,
      "target_gas_per_gate": [
        50,
        100
      ],
      "owner": "tapeout_processor_or_own_composer",
      "status": "estimate"
    }
  ],
  "large_model_bound": {
    "model": "MiniCPM5-2B",
    "mac_per_token": [
      2249195520,
      2249195520
    ],
    "instr_per_mac": [
      8.93838869908473,
      8.93838869908473
    ],
    "instr_per_token": 20104183818,
    "gas_per_token": 21085433146659.773,
    "chain_days_per_token": 1.5758320833333332,
    "bnb_per_token": 1054.2716573329888,
    "weights_gb": 1.94121728,
    "weights_as_pages_bnb_one_time": 28.407269414,
    "conclusion": "Full integer reference and six fixed argmax matches measured; native gas remains an extrapolation. Prefer off-chain execution plus a bounded optimistic arbiter; challenge manager/model inputs still need implementation.",
    "status": "model",
    "scope": "one-token prefix, group32 linearQ24 W4A8,14flip modeled batches with adaptive gas bounds pending; raw dense MAC count excludes context attention; dated chain inputs in minicpm_bound"
  },
  "provenance": {
    "repo_paths": [
      "circuits/_scratch/riscv_machine/",
      "circuits/_scratch/onchain_inference/",
      "circuits/_scratch/tapeout_asic/minicpm/"
    ],
    "sources": [
      "https://tapeout.net/linux.html",
      "https://eips.ethereum.org/EIPS/eip-2929",
      "https://docs.bnbchain.org/announce/mendel-bsc/",
      "https://github.com/Wren6991/Hazard3",
      "https://keccak.team/keccak_specs_summary.html"
    ],
    "transactions_sent": 0
  },
  "interpreter_optimization_partial": {
    "status": "measured",
    "scope": "Local MLP2x1024 instruction run only, exact cpuWords and5 touched page payloads; not sort-3 or all-ISA validation.",
    "rows": [
      {
        "variant": "baseline",
        "localGas": [
          1915194,
          2242304
        ],
        "totalLocalGas": 4157498,
        "cpuWordsExact": true,
        "allTouchedPagesExact": true,
        "comparedPages": 5,
        "maxMemoryBytes": 489696,
        "speedup": 1.0
      },
      {
        "variant": "lazy",
        "localGas": [
          1440949,
          1770019
        ],
        "totalLocalGas": 3210968,
        "cpuWordsExact": true,
        "allTouchedPagesExact": true,
        "comparedPages": 5,
        "maxMemoryBytes": 100384,
        "speedup": 1.2947802656395206
      },
      {
        "variant": "jump",
        "localGas": [
          1907168,
          2210188
        ],
        "totalLocalGas": 4117356,
        "cpuWordsExact": true,
        "allTouchedPagesExact": true,
        "comparedPages": 5,
        "maxMemoryBytes": 489696,
        "speedup": 1.009749460576156
      },
      {
        "variant": "combined",
        "localGas": [
          1432923,
          1737903
        ],
        "totalLocalGas": 3170826,
        "cpuWordsExact": true,
        "allTouchedPagesExact": true,
        "comparedPages": 5,
        "maxMemoryBytes": 100384,
        "speedup": 1.3111719154567296
      }
    ],
    "evidence": "optimizations.md; optimization_partial_results.json",
    "parked_reason": "User redirected H to ASIC design before remaining levers were within30min of completion."
  },
  "reference_model": "MiniCPM5-2B",
  "minicpm_bound": {
    "model": "MiniCPM5-2B",
    "revision": "12a3808a956f869c767195e9266b59c4d21d92e2",
    "status": "model",
    "configuration": {
      "status": "measured",
      "scope": "pinned official config/tensor arithmetic",
      "parameters": 2516756480,
      "dense_MACs_per_token": 2249195520,
      "hidden": 2048,
      "intermediate": 6144,
      "layers": 42,
      "query_heads": 16,
      "KV_heads": 2,
      "head_dim": 128,
      "vocabulary": 130560
    },
    "integer_execution": {
      "status": "measured",
      "scope": "pinned-mini host-orchestrated layer/head guests; group32 linearQ24 W4A8, fixed integer nonlinear/attention arithmetic, not full EVM replay",
      "one_token_instruction_range": [
        20104178571,
        20104190023
      ],
      "one_token_mean_instructions": 20104183818,
      "argmax_matches": 6,
      "prompts": 6,
      "all_integer_layer_head_checks_exact": true,
      "exact_EVM_bounded_instructions": 12288,
      "exact_EVM_bounded_ticks": 12,
      "layer_trace_instructions": 848937978,
      "layer_checkpoints": 103653,
      "local_bisection_rounds": 30,
      "local_Solidity_actual_witness_total_gas": 80520
    },
    "native_scenarios": [
      {
        "status": "model",
        "instructions": 20104183818,
        "instructionsPerTransaction": 3072,
        "transactions": 6544331,
        "dirtyPagesPerTransactionAssumed": 2,
        "hotPagesPerTransactionAssumed": 3,
        "transactionIntrinsic": "already included in receipt-fit fixed term",
        "gasTerms": {
          "fixed": 3784226816696.3057,
          "flips": 229133025816.6344,
          "instructions": 19342537914065.24,
          "pageLoads": 114914126249.97879,
          "dirtyPages": 3137544125903.827
        },
        "gas": 26608356008731.99,
        "blocksAtFullCapacity": 380120,
        "daysAtFullCapacity": 1.9885907407407406,
        "BNB": 1330.4178004365995,
        "USD": 955007.1575984021
      },
      {
        "status": "model",
        "instructions": 20104183818,
        "instructionsPerTransaction": 14336,
        "transactions": 1402357,
        "dirtyPagesPerTransactionAssumed": 2,
        "hotPagesPerTransactionAssumed": 3,
        "transactionIntrinsic": "already included in receipt-fit fixed term",
        "gasTerms": {
          "fixed": 810905952951.0016,
          "flips": 229133025816.6344,
          "instructions": 19342537914065.24,
          "pageLoads": 30525198479.8953,
          "dirtyPages": 672331055347.0039
        },
        "gas": 21085433146659.773,
        "blocksAtFullCapacity": 301221,
        "daysAtFullCapacity": 1.5758320833333332,
        "BNB": 1054.2716573329888,
        "USD": 756782.5524250527
      }
    ],
    "weights": {
      "status": "model",
      "dense_weight_and_scale_bytes": 1405747200,
      "storage": {
        "format": "linear32_executed_format",
        "bytes": 1941217280,
        "pages": 1895720,
        "codeDepositCREATEFloorGas": 449285640000,
        "estimateAssumesOnePagePerTransaction": true,
        "status": "model",
        "gas": 568145388280,
        "blocksAtFullCapacity": 8117,
        "daysAtFullCapacity": 0.04246393518518519,
        "BNB": 28.407269414,
        "USD": 20391.448167104554
      }
    },
    "optimistic": {
      "status": "design estimate; local Solidity RAM-only arbiter measured separately; local single-game manager measured separately; production job/bonds and model-bank input verifier not implemented/deployed",
      "arbiterBudgetGas": [
        100000,
        350000
      ],
      "arbiterMeasuredTotalGas": [
        41832,
        248580
      ],
      "arbiterEvidence": "../../riscv_machine/stateless/results.json",
      "happy": [
        {
          "gas": 150000,
          "blocksAtFullCapacity": 1,
          "daysAtFullCapacity": 5.231481481481481e-06,
          "BNB": 7.5e-06,
          "USD": 0.0053836875000000005
        },
        {
          "gas": 300000,
          "blocksAtFullCapacity": 1,
          "daysAtFullCapacity": 5.231481481481481e-06,
          "BNB": 1.5e-05,
          "USD": 0.010767375000000001
        }
      ],
      "rounds": 35,
      "dispute": [
        {
          "gas": 4450000,
          "blocksAtFullCapacity": 1,
          "daysAtFullCapacity": 5.231481481481481e-06,
          "BNB": 0.0002225,
          "USD": 0.1597160625
        },
        {
          "gas": 9050000,
          "blocksAtFullCapacity": 1,
          "daysAtFullCapacity": 5.231481481481481e-06,
          "BNB": 0.0004525,
          "USD": 0.3248158125
        }
      ],
      "prototypeGame": {
        "status": "model",
        "scope": "synthetic sparse Merkle proof-depth gas fixtures with correct endpoint/midpoint authentication and interval update; not model execution, not a full MiniCPM trace; excludes deployment, bonds, job registry, DA",
        "happy": {
          "gas": 365941,
          "blocksAtFullCapacity": 1,
          "daysAtFullCapacity": 5.231481481481481e-06,
          "BNB": 1.829705e-05,
          "USD": 0.013134079916250001
        },
        "roundGas": [
          172930,
          177849
        ],
        "dispute": [
          {
            "gas": 6619818,
            "blocksAtFullCapacity": 1,
            "daysAtFullCapacity": 5.231481481481481e-06,
            "BNB": 0.0003309909,
            "USD": 0.23759354279250003
          },
          {
            "gas": 7041983,
            "blocksAtFullCapacity": 1,
            "daysAtFullCapacity": 5.231481481481481e-06,
            "BNB": 0.00035209915,
            "USD": 0.25274557234875
          }
        ],
        "evidence": "../../riscv_machine/stateless/deep_proofs.json"
      }
    },
    "hardware_baselines": {
      "status": "measured",
      "scope": "llama.cpp Q4_K_M benchmark, three32-token repetitions; not integer commitment throughput",
      "m64_CPU_decode_tokens_per_s": 35.09719,
      "m64_Vulkan_decode_tokens_per_s": 325.472112,
      "m64_Vulkan_decode_stddev": 2.835777
    },
    "limits": [
      "All native full-token gas is modeled, not an entire deployed-bytecode replay.",
      "16MB resident VM needs authenticated model-bank inputs; their mapping/verification costs are not measured.",
      "3072 is a historical batching assumption, not an instruction or transaction cap.",
      "14-flip modeled calls average below the cap; no universal bound for page-heavy ticks is established. 16 flips fits BEP-652 transaction cap only on the measured MAC-loop snapshot; other instruction/page mixes need adaptive smaller batches. 32/64-flip local runs exceed the cap and are excluded from native scenarios.",
      "Full contextual prefill counts are reported separately and must not be mistaken for a single cached decode token.",
      "Cold storage formula uses one transaction per page; a batch uploader would amortize intrinsic gas."
    ],
    "evidence": "circuits/_scratch/tapeout_asic/minicpm/MILESTONE_2.md"
  },
  "stateless_arbiter": {
    "status": "measured",
    "scope": "local Solidity compiled runtime vs pinned mini, elapsed=0; RAM RV32IMA/CSR/traps/timer/WFI profile; MMIO rejected; no deployed contract/challenge manager",
    "compiler": "0.8.24+commit.e11b9ed9.Darwin.appleclang",
    "runtime_bytes": 8366,
    "runtime_sha256": "8e71929b13ed04c9b6470c0a48f908b8219d4ca90e09f864a8e43cc843a6e93d",
    "MLP_instructions": 1712,
    "directed_ISA_cases": 246,
    "suite_positive_cases": 1959,
    "additional_dense_case": 1,
    "negative_cases": 13,
    "actual_MiniCPM_MUL": {
      "status": "measured",
      "scope": "actual disputed linear32 layer MUL, committed context and post-hash",
      "postHashExact": true,
      "executionGas": 36376,
      "calldataIntrinsicGas": 44144,
      "totalGasWithIntrinsic": 80520,
      "calldataBytes": 1988,
      "calldataFloorGas": 78860,
      "protocolTotalGas": 80520,
      "calldataFloorApplied": false
    },
    "suite_total_gas": {
      "status": "measured",
      "min": 41832,
      "median": 79549,
      "max": 234459
    },
    "dense_witness": {
      "status": "measured",
      "name": "dense_crosspage_AMO",
      "pages": 3,
      "dirtyPages": 2,
      "cpu48Exact": true,
      "memoryRootExact": true,
      "stateHashExact": true,
      "statusExact": true,
      "executionGas": 151076,
      "calldataIntrinsicGas": 97504,
      "totalGasWithIntrinsic": 248580,
      "calldataBytes": 5188,
      "calldataFloorGas": 212260,
      "protocolTotalGas": 248580,
      "calldataFloorApplied": false
    },
    "next_gate": "Full-job initialization/terminal policy, production authorization/economics, DA/multiple challengers, MMIO and independent review; bank and tick local prototypes are separate measured entries.",
    "source": "circuits/_scratch/riscv_machine/stateless/REPORT.md",
    "suite_protocol_gas": {
      "status": "model",
      "min": 41832,
      "median": 79549,
      "max": 234459,
      "floor_cases": 84,
      "scope": "local measured execution/calldata with BSC BEP-496 transaction-floor formula; not chain receipts"
    },
    "gas_accounting_source": "https://github.com/bnb-chain/bsc/blob/v1.7.7/core/state_transition.go"
  },
  "long_term_model_bound": {
    "model": "DeepSeek v4.1 Flash",
    "mac_per_token": [
      10000000000.0,
      15000000000.0
    ],
    "instr_per_mac": [
      5,
      10
    ],
    "instr_per_token": 100000000000.0,
    "gas_per_token": 100000000000000.0,
    "chain_days_per_token": 30,
    "bnb_per_token": 20000,
    "weights_gb": 300,
    "weights_as_pages_bnb_one_time": 3000,
    "conclusion": "native execution infeasible; use optimistic execution with on-chain rv32ima single-step arbitration; zkML as fallback",
    "status": "estimate",
    "role": "long-term DeepSeek appendix; superseded as headline by minicpm_bound"
  },
  "optimistic_game": {
    "status": "measured",
    "scope": "local stateful single-game prototype: existing1712-instruction MLP trace, two immutable Merkle roots, cumulative clocks, final call into bounded Solidity arbiter. No bonds/payments/job registry/deployment/network transactions.",
    "evidence": "stateless/game_results.json",
    "game_runtime_bytes": 4582,
    "mlp_instructions": 1712,
    "mlp_rounds": 11,
    "mlp_total_gas": 1892451,
    "mlp_round_gas": {
      "min": 125588,
      "median": 125726,
      "max": 130675
    },
    "mlp_resolve_gas": 127663,
    "depth35_fixture": {
      "status": "measured",
      "scope": "synthetic sparse Merkle proof-depth gas fixtures with correct endpoint/midpoint authentication and interval update; not model execution, not a full MiniCPM trace",
      "no_challenger_gas": 365941,
      "round_gas": [
        172930,
        177849
      ],
      "evidence": "stateless/deep_proofs.json"
    },
    "full35_round_dispute": {
      "status": "model",
      "gas": [
        6619818,
        7041983
      ],
      "scope": "setup + 35 measured-range rounds + 100–350k final resolution; excludes deployment/bonds/job registry/DA"
    }
  },
  "authenticated_bank_game": {
    "status": "measured",
    "scope": "Every one of the 14 actual layer0 two-token bank boundaries independently replayed through the local Solidity verifier; each pre/post CPU/RAM matches the original coarse trace. Each run reaches its selected boundary using host replacements for earlier banks; this is not a continuous full-layer EVM run or full42-layer job authorization.",
    "events": 14,
    "page_transitions": 107534,
    "all_cpu48_ram_endpoints_exact": true,
    "bank_subgame_rounds": 13,
    "subgame_total_gas_range": [
      2276364,
      2287018
    ],
    "resolve_gas_range": [
      191233,
      202043
    ],
    "evidence": "stateless/bank_all_events.json",
    "network_transactions": 0,
    "global_model_root": {
      "status": "measured",
      "scope": "All 42-layer + vocabulary-head linear32 projection/scale and norm cache pages; SHA256 validated against pinned manifest. BF16 embeddings excluded; initial embedding/job policy still external. Nine actual layer0 bank witnesses rechecked against this global root.",
      "root": "9e151edb6e1df329175cb1103a6830e01e1faecbbccd9133bf0a098371bfc4bd",
      "pages": 1373480,
      "bytes": 1406443520,
      "bank_witnesses": 9,
      "evidence": "../tapeout_asic/minicpm/global_bank_root.json"
    },
    "pinned_segment": {
      "status": "measured",
      "scope": "Local immutable requester-role configuration for a real first-scale-page segment; constructor emulated in local VM, then open/join/resolve. No deployment/network transaction or production authorization.",
      "open_join_resolve_gas": 510432,
      "negative_cases": 13,
      "evidence": "stateless/pinned_game_results.json"
    },
    "bond_prototype": {
      "status": "measured",
      "scope": "Local fixed-bond bank game, requester-pinned real scale-page segment; virtual wei only. Constructor emulation, accounting, all timeout payouts, both-invalid policy and callback checks. Not a production economic-security claim.",
      "main_test_flow_gas": 865050,
      "cost_limit": "Includes extra adversarial deposits/withdrawals; not minimal happy path; constructor excluded.",
      "virtual_bond_wei": 1000,
      "real_funds": 0,
      "evidence": "stateless/bonded_game_results.json"
    },
    "layer_output": {
      "status": "measured",
      "scope": "Real initial/terminal state and page witnesses in synthetic sparse traces.\nTests admission and output extraction, not a full layer dispute or EVM replay.\n",
      "expanded_transitions": 849045512,
      "output_acceptance_gas": 906240,
      "negative_cases": 17,
      "evidence": "stateless/layer_game_results.json",
      "full_layer_dispute_executed": false
    }
  },
  "tick_refinement_game": {
    "status": "measured",
    "scope": "Actual 1024-instruction CSR/MIP guest, correct call-phase trace versus wrong per-instruction sampling trace; only two normal flip endpoints match deployed wrapper. Native-core IRQ/WFI/rollover checks do not establish arbitrary deployed ticks. Local game only, no job registry/funds/network transactions.",
    "instructions": 1024,
    "rounds": 10,
    "total_gas": 1797373,
    "resolve_gas": 135620,
    "evidence": "stateless/tick_game_results.json",
    "hardware_integrated": false,
    "wrapper_limit": "tick-state-v1 omits external cycle history, wrapper idle +1024 cycles, persistent syscon status and UART/input transcript; requires a new environment profile. Existing measured CSR-game gas unchanged.",
    "wrapper_probe_evidence": "../tapeout_asic/referee/wrapper_observations_checked.json"
  },
  "environment_refinement_game": {
    "status": "measured",
    "scope": "Dispute omitted wrapper idle advancement after an actual cross-page store. Local two-transition trace and one bisection round; no full tick/model game, job authorization, payments or MMIO.",
    "profile": "env-ram-state-v1",
    "savedDeployedEndpoints": 32,
    "savedEndpointMicrosteps": 5147,
    "freshRAMWriteEndpoints": 4,
    "freshRAMWriteMicrosteps": 8,
    "gameRounds": 1,
    "gameMicrosteps": 2,
    "resolveProtocolGas": 171351,
    "totalProtocolGas": 602139,
    "negativeGameTests": 8,
    "verifierRuntimeBytes": 11716,
    "limits": "RAM-only local prototype. No UART/input/syscon execution, full tick/model dispute, requester authorization, bonds/payments, DA policy, hardware integration or deployment. Existing tick-state-v1 measurements and format unchanged.",
    "evidence": [
      "stateless/ENVIRONMENT.md",
      "stateless/environment_results.json",
      "stateless/environment_ram_results.json",
      "stateless/environment_game_results.json"
    ],
    "verifierRuntimeSHA256": "3167f7268401035d881d36bd2bed4e63a64e1d0830a2fa71308fdf154c7d04b4",
    "hardware_validation": {
      "status": "measured",
      "scope": "Separate authenticated RAM hardware environment microstep and env-ram-state-v1 hash. Caller holds all witness/context inputs stable until done; no MMIO/input/syscon, Hazard3 integration, physical SRAM, attestation or new PPA claim.",
      "witnesses": 5197,
      "accepted": 5187,
      "rejected": 10,
      "maximumClocksPerWitness": 2953,
      "frequencyAreaPower": "unmeasured",
      "evidence": "../tapeout_asic/referee/environment_rtl_results.json"
    }
  },
  "mmio_refinement_game": {
    "status": "measured",
    "scope": "Dispute incorrect signed UART byte loading with authenticated fixed input. Local two-transition trace, one bisection round; no live input append, job authorization, payments or chain writes.",
    "profile": "env-mmio-state-v1",
    "statePreimageBytes": 448,
    "fixedInputMaximumBytes": 31,
    "savedDeployedEndpoints": 255,
    "savedEndpointMicrosteps": 5572,
    "freshBoundaryEndpoints": 4,
    "freshBoundaryMicrosteps": 57,
    "gameRounds": 1,
    "gameMicrosteps": 2,
    "resolveProtocolGas": 151685,
    "totalProtocolGas": 587428,
    "negativeGameTests": 10,
    "verifierRuntimeBytes": 13673,
    "verifierRuntimeSHA256": "37e317324c5dbbbe037ff9b78aa38f669fdaa5bcd226996842d7dee152e622ee",
    "limits": "Separate fixed-input profile. No live input append, full Linux/model dispute, requester authorization, bonds/payments, DA policy, Hazard3/SRAM integration or deployment. Existing profiles remain unchanged.",
    "evidence": [
      "stateless/ENVIRONMENT.md",
      "stateless/mmio_results.json",
      "stateless/mmio_boundary_results.json",
      "stateless/mmio_game_results.json"
    ],
    "hardware_validation": {
      "status": "measured",
      "scope": "Separate fixed-input MMIO hardware environment microstep and env-mmio-state-v1 hash. Caller holds all witness/context inputs stable until done; no live input append, Hazard3 integration, physical SRAM, attestation or new PPA claim.",
      "witnesses": 5747,
      "accepted": 5733,
      "rejected": 14,
      "maximumClocksPerWitness": 2979,
      "frequencyAreaPower": "unmeasured",
      "evidence": "../tapeout_asic/referee/mmio_rtl_results.json"
    }
  }
}