{
  "schema": "k230-memory-printk-nohz-off-physical-v1",
  "evidence_class": "actual reserved board UART capture; no candidate camera/glass proof",
  "controller_revision": "87e5a3440d5103d38ff45af691a9b38d7834dd89",
  "controller_source_sha256": "34e9ab9189567ac4d91818c79d28450bc70b7cec4560265617d51a4a80b709e6",
  "started_utc": "2026-10-04T23:40:19.022573+00:00",
  "completed_utc": "2026-10-04T23:43:45.030352+00:00",
  "controller_returncode": 2,
  "capture_seconds": 180.02499022497796,
  "bundle": "/nix/store/p2kdar89q7dhwdajjy0mrhmxxzcgsalw-k230-mainline-drm-trial-boot-files",
  "system": "/nix/store/yk44vx3ny4h6a9mx3ya4rczh7akhyjbj-nixos-system-nixos-26.11.20260919.20b1ddd",
  "kernel_proof": {
    "config": "/nix/store/24hbalyljs6gn6fzkkl24znv8a0x6jdl-linux-riscv64-unknown-linux-gnu-7.3.0-rc5-dev/lib/modules/7.3.0-rc5/build/.config",
    "config_sha256": "52e7470b108ad094dbdf88b94e3e8838564edbda9e7a015b4279012e6765c9f1",
    "derivation": "/nix/store/fdjxx6cggxp2ffhsf7lwmz7mndd2588v-linux-riscv64-unknown-linux-gnu-7.3.0-rc5.drv",
    "kernel": "/nix/store/xna7x12lh4lmzwgmwq51cyc9wf86504p-linux-riscv64-unknown-linux-gnu-7.3.0-rc5"
  },
  "memory_printk_proof": {
    "config_sha256": "52e7470b108ad094dbdf88b94e3e8838564edbda9e7a015b4279012e6765c9f1",
    "image_sha256": "c2c9663bc385a0c62a15b740ccd46b36b51bc3fd9c0c6281b2a2e5a1882878c3",
    "printk_caller": "disabled",
    "required_builtin_config": [
      "PRINTK",
      "PRINTK_TIME",
      "SERIAL_8250_CONSOLE",
      "SERIAL_8250_DW"
    ],
    "source": "/nix/store/0l4mgw9hr1j7pj247jsrxjd478fnlfy8-linux-mainline-k230-uart-progress-memory-printk-src",
    "summary_format_offset": 25646280,
    "worker_sha256": "30e8eb1ee365d62665c9d3ffd674e973736f3d04405d53f0f5dc12c3ee23f5f2"
  },
  "nohz_off_proof": {
    "config_sha256": "52e7470b108ad094dbdf88b94e3e8838564edbda9e7a015b4279012e6765c9f1",
    "hz": 250,
    "image_sha256": "c2c9663bc385a0c62a15b740ccd46b36b51bc3fd9c0c6281b2a2e5a1882878c3",
    "linked_nohz_setup_offset": 19425910,
    "required_builtin_config": [
      "NO_HZ_COMMON",
      "NO_HZ_FULL",
      "HIGH_RES_TIMERS",
      "RISCV_TIMER",
      "RISCV_SBI"
    ],
    "sole_added_kernel_argument": "nohz=off"
  },
  "expected_bootargs": "bootargs=consoleblank=0 console=ttyS0,115200n8 root=fstab loglevel=4 lsm=landlock,yama,bpf loglevel=7 init=/nix/store/yk44vx3ny4h6a9mx3ya4rczh7akhyjbj-nixos-system-nixos-26.11.20260919.20b1ddd/init fsck.mode=skip systemd.mask=k230-root-growth.service systemd.mask=register-nix-paths.service initramfs_async=0 rdinit=/bin/sh k230.uart_progress=1 k230.uart_progress_memory=1 k230.uart_progress_memory_printk=1 nohz=off",
  "candidate_banner": true,
  "kernel_args_verified": true,
  "init_entry": true,
  "primary_prompt_observed": true,
  "readiness_observed": true,
  "linux_console_backend": {
    "base_baud": 3125000,
    "console_enable_observed": true,
    "irq": 12,
    "registration_observed": true,
    "status": "MATCHED"
  },
  "stimulus_attempts": 0,
  "receipt_status": "NOT_REQUESTED",
  "rx_status": "NOT_TESTED",
  "memory_summary": null,
  "memory_summary_valid": false,
  "protocol_errors": [],
  "normal_prompt_observed": false,
  "reboot_requested": false,
  "persistent_boot_selection_changed": false,
  "normal_preflight_verified": true,
  "normal_preflight_services": [
    "active",
    "active",
    "active"
  ],
  "normal_preflight_boot_hash_count": 8,
  "registration_absence_guard_in_executed_preflight_helper": true,
  "candidate_manifest_sha256": "2cedd98406beb6003e274be1612df0edc8b5bf31c5faf1b866dcd44c25cf65ea",
  "private_uart_bytes": 47571,
  "private_uart_sha256": "2670398beb95babea3d05147254122b41db0f72ab5a730efec7103990ee7f78b",
  "private_original_result_sha256": "fab08b5db602e06730a8dcd462193c971371c08996b4cf08e1b7f347db8d1526",
  "new_kernel_build_performed": false,
  "new_transfer_performed": false,
  "source_restoration": "source-restore.json",
  "normal_recovery": "VERIFIED_NEW_OPERATOR_RESET",
  "runtime_tick_policy": "UNVERIFIED: exact received token and compiled parser support only",
  "automatic_return": "UNVERIFIED",
  "ordinary_mainline_acceptance": "UNVERIFIED",
  "normal_recovery_receipt": "recovery.json"
}