{
  "above_qemu_line": true,
  "features": {
    "features": {
      "analyze_compare": {
        "detail": {
          "analyze_chars": 444,
          "analyze_session": "harness/qemu_line/sessions/native-1",
          "compare_chars": 394,
          "compare_headers": [
            "Breakpoint profile delta (A vs B)",
            "Watchpoint delta",
            "Written pages delta"
          ],
          "compare_pair": [
            "harness/qemu_line/sessions/native-1",
            "harness/qemu_line/sessions/native-2"
          ]
        },
        "status": "pass"
      },
      "breakpoints": {
        "detail": {
          "attached_then_removed": true,
          "kind": "sw",
          "run_until_hit": 2147483912
        },
        "status": "pass"
      },
      "hooks": {
        "detail": {
          "cmds": [
            1,
            2
          ],
          "rpc_dispatch_hits": 1
        },
        "status": "pass"
      },
      "injection": {
        "detail": {
          "blob": "sdk/build/injected_demo.elf",
          "dir": "harness/qemu_line/sessions/features-inject",
          "expected": 48814,
          "hashes": {
            "events.jsonl": "ce9c81fb9663813c5eefbacfb94af69dc4050ef563fd62e302869942ae207be1",
            "session.json": "bb203d2e551f906cc24500c4b3f2d8263e1218267ce6aa809d99dd9c964caae2",
            "summary.md": "a6a087528c23227628faa0e3ad3a646b66bf06c06489d26fda4e82091a7bb2ac"
          },
          "ping_result": 48814,
          "slot": 6
        },
        "status": "pass"
      },
      "mcp": {
        "reason": "native MCP surface is S3's deliverable (plugins/mcp_server.py); S4 must not race that work. Re-run after S3 lands (docs/37).",
        "status": "not_run"
      },
      "memory": {
        "detail": {
          "ctrl": 2147485760,
          "magic": 1196642353
        },
        "status": "pass"
      },
      "sessions": {
        "detail": {
          "dir": "harness/qemu_line/sessions/features",
          "event_counts": {
            "bp_hit": 2,
            "hook": 1,
            "image_loaded": 1,
            "mem_read": 2,
            "mem_write": 4,
            "session_end": 1,
            "session_start": 1,
            "stop": 2,
            "watch": 1,
            "watch_hit": 1
          },
          "hashes": {
            "events.jsonl": "4ed32100308c465d999c78b71a232ab096e3cfcbb82561f46c5046eb34a0f462",
            "session.json": "6c8c45b9b4be70b934c3a43b4bd00df4a1e875baafe7c8988b13d5a18dbc4813",
            "summary.md": "9e7af234005461bd8b4395498fa3b58a3da5e589184c51e34b399f8cba37d50b"
          }
        },
        "status": "pass"
      },
      "struct": {
        "detail": {
          "fields": 14,
          "schema": "gsp_ctrl.schema.json"
        },
        "status": "pass"
      },
      "trace": {
        "detail": {
          "blob": "harness/qemu_line/sessions/features-trace/blobs/trace.jsonl",
          "dir": "harness/qemu_line/sessions/features-trace",
          "events": 4001,
          "hashes": {
            "events.jsonl": "649ddd072446b2184427b6ea18a7e6bad6c118a0aa63c77bfff591cf9165114d",
            "session.json": "c6abc0bbae7539b0c5d6685e700a6105c55d64821f42451b0f8ea386e0568020",
            "summary.md": "10686e9f247862f4b0f2c68a2353821f4039befdd76846f8daefa72ae79f4b44"
          },
          "max_events": 4000
        },
        "status": "pass"
      },
      "watch": {
        "detail": {
          "pcs": [
            2147484066
          ],
          "result_field_stores": 1
        },
        "status": "pass"
      }
    },
    "ran": true,
    "reason": "ok"
  },
  "firmware": {
    "name": "gsp-570.144.fwimage.bin",
    "sha256": "2d1bb5c60b208cfd115f015b17dd04a6fece05fd2c0dcba3625d9d48cce3ceea"
  },
  "harness": "harness/sim_qemu_line.py",
  "line_definition": "docs/35-GREENEYE-SIMULATOR-DESIGN.md 1.1 + 3.3",
  "native": {
    "backend": "native",
    "compare": {
      "chars": 394,
      "headers": [
        "Breakpoint profile delta (A vs B)",
        "Watchpoint delta",
        "Written pages delta"
      ],
      "ran": true
    },
    "device_model_used": true,
    "identical": true,
    "instructions_budget": 2000000,
    "pair_wall_s": 1.2722,
    "profile": "sim/profiles/tu104-570.144.json",
    "ran": true,
    "reason": "ok",
    "repeat": 2,
    "rung": "B3",
    "rung_basis": "observed S1 boot-ladder rung from sim.gsp_boot (milestones=['bootargs_consumer', 'relocation_copy'], mmio_unknown=0, device_unhandled=0)",
    "runs": [
      {
        "cycle_model": "rv64imac-modeled/1",
        "cycles": 871904,
        "device_accesses": 15,
        "device_state_sha256": "5b3cc7e4af933e01057cc6ab7d858ecbb11f76f2d10f3f8963a7fc974e239323",
        "device_unhandled": 0,
        "first_unknown_mmio": null,
        "instructions": 474043,
        "milestones": [
          "bootargs_consumer",
          "relocation_copy"
        ],
        "mmio_unknown": 0,
        "rung": "B3",
        "rung_basis": "observed S1 boot-ladder rung from sim.gsp_boot (milestones=['bootargs_consumer', 'relocation_copy'], mmio_unknown=0, device_unhandled=0)",
        "session": "harness/qemu_line/sessions/native-1",
        "session_hashes": {
          "events.jsonl": "0501ee6c127c8acfeb06c6b4c36aecacd791e872e05bf341883df22054d34315",
          "session.json": "811b076cc5d4555062ce17474f302e64d6cb29e7af9e5c05cb7d7f67825bd315",
          "summary.md": "9ad8c39a95078b9aca1cf1ca0b83a1f7ce22b0dd33e679aaa5f8eb5068a97b75"
        },
        "stop": {
          "pc": 67207224,
          "pc_fw": 67207224,
          "reason": "ecall"
        },
        "wall_s": 0.6548
      },
      {
        "cycle_model": "rv64imac-modeled/1",
        "cycles": 871904,
        "device_accesses": 15,
        "device_state_sha256": "5b3cc7e4af933e01057cc6ab7d858ecbb11f76f2d10f3f8963a7fc974e239323",
        "device_unhandled": 0,
        "first_unknown_mmio": null,
        "instructions": 474043,
        "milestones": [
          "bootargs_consumer",
          "relocation_copy"
        ],
        "mmio_unknown": 0,
        "rung": "B3",
        "rung_basis": "observed S1 boot-ladder rung from sim.gsp_boot (milestones=['bootargs_consumer', 'relocation_copy'], mmio_unknown=0, device_unhandled=0)",
        "session": "harness/qemu_line/sessions/native-2",
        "session_hashes": {
          "events.jsonl": "77b6fb63a1b0be8d2f5eef9e786795849c1ad74acab96cc8cfb7a37790bd804a",
          "session.json": "626646f2bc8f8200a339d2f93a23297eaaf39160fb41de9a97867de7ad6dc131",
          "summary.md": "1ad09477c1ba2611db4a6ff9e47a38441395fe3b198b407b659a8a8e4b28ab95"
        },
        "stop": {
          "pc": 67207224,
          "pc_fw": 67207224,
          "reason": "ecall"
        },
        "wall_s": 0.6167
      }
    ]
  },
  "not_verified": [
    "lenient MMIO (B0) is observation, not device semantics",
    "B3/B4 are not reached: the S1 device model stops at the B2 DMEM-runspace unknown",
    "the boot shim values (bootargs/WPR meta/DMEM mirror) are declared assumptions",
    "MCP on native is S3-owned and not exercised here",
    "L2 timing: cycles are modeled (docs/32), never silicon claims",
    "no hardware/GPU/guest/module involvement by design"
  ],
  "qemu": {
    "backend": "qemu",
    "device_map_entries": 2,
    "fault_count_window": 5269,
    "first_fault": {
      "access_addr": 2305843009213696512,
      "cause": 5,
      "desc": "fault_load",
      "epc": 2214629396,
      "epc_fw": 67145748,
      "reason": "rejected",
      "rw": "read",
      "size": 4
    },
    "first_touch_match": true,
    "log_window_capped": true,
    "ran": true,
    "reason": "ok",
    "rung": "pre-B0",
    "session": "harness/qemu_line/sessions/qemu-probe",
    "session_hashes": {
      "events.jsonl": "0f59d5d26b51be185e1a38b4540dee06303f8a2c0661519d9e1a32d2e6b10062",
      "session.json": "f3d1eaf6dab15c79b0f4c4019f431a8032dc2b014d3acb17f63407326eca5e26",
      "summary.md": "d141fa06d3e2d0603f3b99ad7603758e1fc14627aed74c6fe8a6ad22c56eb14b"
    },
    "stopped_pc": 0,
    "wall_s": 0.9578
  },
  "rerun_when_s1_lands": [
    "python3 harness/sim_qemu_line.py",
    "S1 landed (2026-10-03): sim/profiles/*.json is discovered and the native side runs sim.gsp_boot",
    "sim/devices/*.json with greeneye-device-map/1 (or a device_map key) is still picked up as an observational map"
  ],
  "rung_order": [
    "pre-B0",
    "B0",
    "B1",
    "B2",
    "B3",
    "B4",
    "B5"
  ],
  "rung_progress": true,
  "s1_integration": {
    "declared_rung": null,
    "notes": [
      "using sim/profiles/tu104-570.144.json (greeneye-sim-profile/1, firmware_sha256 matched)"
    ],
    "profile": "sim/profiles/tu104-570.144.json",
    "source": "sim/profiles/tu104-570.144.json"
  },
  "schema": "greeneye-sim-qemu-line/1",
  "threshold_checks": {
    "all": true,
    "device_model_documented": true,
    "identical_runs": true,
    "native_above_qemu": true,
    "native_pair_wall_s": true,
    "qemu_first_fault_reproduced": true
  },
  "thresholds": {
    "device_model_required": true,
    "frozen_on": "2026-10-03",
    "identical_runs": 2,
    "native_pair_wall_s": 20.0,
    "native_rungs_above_qemu": 1,
    "qemu_first_fault_fw": 67145748,
    "qemu_first_touch": 2305843009213696512
  },
  "verdict": "above",
  "verdict_explanation": "all frozen checks passed: QEMU fault reproduced, native >= QEMU + 1 rung, identical runs, wall bound, documented device model",
  "x86_vms_running": 0
}