{
  "schema": "k230-init-exec-transition-physical-v1",
  "evidence_class": "physical UART passive selected PID1 return and first user ECALL capture",
  "controller_revision": "bfef07f16413b43bde18afa4554f502246c24acf",
  "controller_frozen_revision": "a60b0eaee3a56631060f857e3e7fbb39dac1a911",
  "controller_sha256": "93ef7083a25f15a2cfa19b5727f7d8473d3a22575066e71e43b17240001e8fad",
  "trial_wrapper_sha256": "6c13c7af1967f23d3e8647d2f3d26f723c63745bce66a9b57c085f043657a2cd",
  "started_utc": "2026-10-05T20:24:27.963242+00:00",
  "completed_utc": "2026-10-05T20:28:01.709386+00:00",
  "controller_exit": 1,
  "status": "recovery-required-unknown",
  "failure": "Unknown: ordinary init login readiness unverified",
  "bundle": "/nix/store/jx56x86gihamimhj6hqr8d13rn6ax25r-k230-mainline-drm-trial-boot-files",
  "candidate_system": "/nix/store/28n7jy3g4iz3sy6y6yv8b6p5g5gffgsj-nixos-system-nixos-26.11.20260919.20b1ddd",
  "host_kernel_proof": {
    "config": "/nix/store/yz7s78rqdx216bk2kj27q8d9qsi2dap4-linux-riscv64-unknown-linux-gnu-7.3.0-rc5-dev/lib/modules/7.3.0-rc5/build/.config",
    "config_sha256": "52e7470b108ad094dbdf88b94e3e8838564edbda9e7a015b4279012e6765c9f1",
    "derivation": "/nix/store/727sdfkr51cg11zbmk6rxjxf0lmxfmna-linux-riscv64-unknown-linux-gnu-7.3.0-rc5.drv",
    "format_offset": 24859722,
    "image_sha256": "76c2e70acc2f756da33971e94aa1f3409c3c8f0c0492241318bb172a155dd418",
    "kernel": "/nix/store/dibyk3lwys5mzvlf8mxl5l5l6j8x7w1r-linux-riscv64-unknown-linux-gnu-7.3.0-rc5",
    "main_sha256": "0363265487f8fdbd2ba2fcbbda64e3003bc970ed708c73bb6b31ba4e609ea5b5",
    "setup_offset": 19424989,
    "source": "/nix/store/79yd40jv8h4x866bm1vyw94cm948grax-linux-mainline-k230-init-exec-transition-src",
    "transition_format_offsets": [
      24858242,
      24858306
    ],
    "transition_setup_offset": 19424962,
    "transition_source_sha256": {
      "arch/riscv/kernel/process.c": "2ddbcc113d4a943704edaf576d02638c12c605a6e4468ee82c7f731fdbe3d693",
      "arch/riscv/kernel/traps.c": "0c8aa2616ae1a1a2da6962b12e121ea3b220a940e46a37f82d62b0064c70d433",
      "include/linux/k230-init-exec-transition.h": "071b94a44889f3a61ec17a3af8f276c3a82e081f85c8c89779f0b8ee0d6e6848",
      "init/main.c": "0363265487f8fdbd2ba2fcbbda64e3003bc970ed708c73bb6b31ba4e609ea5b5"
    }
  },
  "manifest_sha256": "442ae8909674749971fe2a56f1e5ddff15f69d6ab20ba753cc97b491b8cbf6d4",
  "artifact_files": {
    "bootargs.txt": {
      "bytes": 243,
      "sha256": "1daa9dfd1f6703062b6d81b6b9ba849fb117a90edfb1afba164b85f0aec2a23c",
      "crc32": "93ead518"
    },
    "fw_jump_add_uboot_head.bin": {
      "bytes": 270808,
      "sha256": "9627edbeea9b115d7040beea27cc61b23b6aca61cd502fd7760d7ee179f42c99",
      "crc32": "99b89787"
    },
    "Image-mainline-drm": {
      "bytes": 38530560,
      "sha256": "76c2e70acc2f756da33971e94aa1f3409c3c8f0c0492241318bb172a155dd418",
      "crc32": "8d12c412"
    },
    "k230-tdisplay-mainline-drm.dtb": {
      "bytes": 11097,
      "sha256": "439720e3cff8806a58fc30b7115ae70cf6c8a8b66253d94079b8d67a8253d17c",
      "crc32": "9d620f99"
    },
    "initrd.uimg": {
      "bytes": 27327994,
      "sha256": "8934669f213b3d9ae9121bb613c1132d4d7eb0012a2bd1e0bafca9549f6b07d0",
      "crc32": "55b392ab"
    }
  },
  "argument_bytes": 351,
  "literal_command_bytes": 369,
  "qualified_controls": [
    "fsck.mode=skip",
    "systemd.mask=k230-root-growth.service",
    "systemd.mask=register-nix-paths.service"
  ],
  "observation": {
    "bound_seconds": 180.0,
    "candidate_banner": true,
    "elapsed_seconds": 180.00456018396653,
    "errors": [],
    "init_announcement": true,
    "login": false,
    "primary_prompt": false,
    "received_args": true,
    "record_output_call_return": "OBSERVED",
    "records": [
      {
        "exec_setup_succeeded": true,
        "ret": 0
      }
    ],
    "userspace_execution_from_record": "UNVERIFIED"
  },
  "transition_observation": {
    "errors": [],
    "exec_result_output_call_return": "OBSERVED",
    "kernel_init_return_observed": true,
    "kernel_init_return_output_call_return": "OBSERVED",
    "loader_or_systemd_main": "UNVERIFIED",
    "missing_records": [],
    "points": [
      "kernel-init-return",
      "first-user-ecall"
    ],
    "record_output_call_return": "UNVERIFIED",
    "sequence_complete": true,
    "syscall_handler_completion": "UNVERIFIED",
    "user_ecall_observed": true
  },
  "records_in_order": [
    "[    4.584221] K230_INIT_EXEC_RETURN_V1 ret=0",
    "[    4.584235] K230_INIT_EXEC_TRANSITION_V1 point=kernel-init-return",
    "[    4.584361] K230_INIT_EXEC_TRANSITION_V1 point=first-user-ecall"
  ],
  "bytes_after_last_record": "b'\\r\\n\\x1bP+q6E616D65\\x1b\\\\'",
  "bytes_after_dcs_terminator_within_bound": 0,
  "trailing_sequence_interpretation": "DCS XTGETTCAP query for hex 6E616D65 (\"name\"); normal 6.6 boot follows the same query with further terminal queries and the systemd banner; emitter identity is UNVERIFIED from UART alone",
  "prior_5s_capture_tail": "same DCS bytes then nothing (private raw sha256 3a2f2fc74b2e287ce33865d5126d7925fee00561eeb25b6fb541a54d542b1af2)",
  "candidate_systemd_startup_banner_observed": false,
  "ordinary_root": "UNVERIFIED",
  "loader_or_systemd_main": "UNVERIFIED",
  "syscall_handler_completion": "UNVERIFIED",
  "record_output_call_return": "UNVERIFIED",
  "normal_preflight": {
    "qualified": true,
    "uname": "6.6.36",
    "eight_boot_hashes_unchanged": true,
    "three_services_active": true,
    "registration_absent": true
  },
  "normal_recovery": "VERIFIED_NEW_OPERATOR_RESET",
  "automatic_return": "UNVERIFIED",
  "camera_or_glass": "NOT_OBTAINED",
  "candidate_input_after_bootm": "none in reviewed source/annotations; not electrical TX proof",
  "raw_serial_bytes": 48965,
  "private_raw_serial_sha256": "fe436db0e6981789b483e8016a5b05014a193fa05da776196e6ac96dcfd15056",
  "private_result_sha256": "6ed36e6bd504994d30519446ec4f066d18a3e84ce94af4a94565f6d02cbdd412",
  "private_command_receipt_sha256": "1f9f53fa5604817d69ead2be649b45d99d0bf33f4971635be81f34816222a69f",
  "independent_physical_review": "PASS",
  "staging_receipt": "staging.json",
  "recovery_receipt": "recovery.json"
}