{
  "milestone": "Milestone 9 Closeout",
  "gate": "Gate G5: Full Single-Core Linux-Bootable Processor",
  "status": "PASS",
  "timestamp_utc": "2026-11-14T11:22:02.409859+00:00",
  "elapsed_seconds": 7245.98,
  "spec_authority": {
    "document": "docs/architecture/slice1-m9-soc-linux-v1.md",
    "version": "1.1",
    "sha256": "bb353f632ec909b3270522e289d994cc90a34f18ab323705a9010e1070181347"
  },
  "manifests": {
    "core_rtl_manifest_sha256": "bf5e9b7bced04d4ad464144e959378a55166129cb0ab5986efc1d3ed58641291",
    "soc_rtl_manifest_sha256": "a5c51a3f53b78820a4286aa340455bf849454842a5a8d5d9fbec20c19b089c0c"
  },
  "binaries_sha256": {
    "dtb": "f63bff0afbe9a0e649fa5ec4373e9a985c8b199699b445c0aef6ee9358829c61",
    "firmware_elf": "684c8992cab5914e82c0b0b72497c0f16761e8236cdd06cf846a1b0d0d8655a4",
    "kernel_image": "f42f7d279c2fb98281d66b26eb04e59d7e1d027cff417b36331cf525b6927e2c"
  },
  "simulation": {
    "status": "pass",
    "cycles": 89861075,
    "commits": 76236390,
    "user_commits": 2227761,
    "wall_seconds": 7180.1,
    "properties_tested": 4,
    "properties_passed": 4,
    "prop_m9_27_linux_kernel_boot": "PASS",
    "prop_m9_28_busybox_shell": "PASS",
    "prop_m9_29_demand_paging_mem_stress": "PASS",
    "prop_m9_30_cpi_conservation": "PASS",
    "cpi_checks": 89861075,
    "cpi_conservation_errors": 0,
    "cpi_breakdown": {
      "C_serialize": 2450147,
      "C_br_recover": 15024530,
      "C_productive": 43079458,
      "C_mem_stall": 5549273,
      "C_be_rename": 5709439,
      "C_be_sched": 2736785,
      "C_fe_starve": 504818,
      "C_idle_other": 14806625
    },
    "mcycle": 89861075,
    "minstret": 76236388,
    "hpm_raw_events_active": 54,
    "hpm_raw_events_active_user": 54,
    "hpm_raw_event_mask": "0x281ffffffff7ffff",
    "shell_tests_seen": 20,
    "seen_reset_pc": true,
    "seen_handoff_pc": true,
    "seen_satp_sv39": true,
    "seen_virt_pc": true,
    "seen_earlycon": true,
    "seen_kernel_banner": true,
    "seen_machine_model": true,
    "seen_run_init": true,
    "seen_init_banner": true,
    "seen_userspace_begin": true,
    "seen_mem_stress_start": true,
    "seen_mem_stress_pass": true,
    "seen_userspace_pass": true,
    "seen_userspace_fail": false,
    "seen_kernel_panic": false,
    "seen_oops": false,
    "cycle_handoff": 283,
    "cycle_satp": 185993,
    "cycle_virt": 186042,
    "cycle_earlycon": 346605,
    "cycle_run_init": 71815389,
    "cycle_userspace_begin": 74546957,
    "cycle_mem_stress_pass": 89600540,
    "cycle_userspace_pass": 89811074,
    "page_faults_total": 2255,
    "page_faults_user": 1027,
    "access_faults": 0,
    "user_ecalls": 1730,
    "supervisor_ecalls": 1748,
    "other_exceptions": 0,
    "uart_bytes": 28538,
    "halted_on_userspace_pass": true,
    "halted_on_failure_marker": false,
    "halted_on_srst": false,
    "watchdog_fired": false
  },
  "properties_verified": [
    "PROP_M9_27",
    "PROP_M9_28",
    "PROP_M9_29",
    "PROP_M9_30"
  ]
}