{
  "recorded_at": "2026-10-09T17:38:49.589214+00:00",
  "evidence_class": "host compiled device-tree inspection",
  "command": "python3 docs/evidence/hdmi-hotplug/live-switch/inspect-hotplug-dtb.py --dtb <compiled-hotplug-dtb> --fdtget <pinned-host-fdtget>",
  "device_tree": "/nix/store/mc6kr9fj7rpg53lchxpiz78khfzwya08-k230-coherent-shell-boot-files/k230-tdisplay.dtb",
  "sha256": "937226b070e7988b9564bb569b7f7eea227e067878f6d38e1aa19eeb6a69f324",
  "reciprocal_panel_and_bridge_dsi_endpoints": true,
  "bridge_to_hdmi_connector_reciprocal": true,
  "bridge_has_no_shared_reset_or_irq_properties": true,
  "bridge_waits_for_touch_reset_owner": true,
  "panel_phy": "0x87",
  "hdmi_phy": "0x96",
  "result": "PASS",
  "board_probe_or_physical_hotplug_proved": false
}