evidence · 1.3 KiB
Committed at docs/evidence/hdmi-hotplug/live-switch/fast-runtime-operator-report.json. This is what grounds the requirements
that cite it.
{
"recorded_at": "2026-10-09T19:06:17.498626+00:00",
"evidence_class": "operator report of visible transitions and touch; approximate timing only",
"source_commit": "5a066a69f4562ace6e60cbd355e2214976edccec",
"system": "/nix/store/yl3si5ak6yi709yg1fqsnwgq0zn4xfcs-nixos-system-nixos-26.11.20260919.20b1ddd",
"kernel": "/nix/store/f3rnipvbc5vqam8kwdmn3wgcl5rbz9yx-linux-riscv64-unknown-linux-gnu-7.3.0-rc5/Image",
"bundle": "/nix/store/jsqi00cgac7v773xi3r1zc6ppib3sc7p-k230-coherent-shell-boot-files",
"boot_id": "cff529ad-6aa6-4a31-b9af-337bbc783521",
"operator_quote": "that's great it's perfect. replugging hdmi is slower than i'd like (couple of seconds) but unplugging -> display was almost instant",
"observations": {
"replug_visible_hdmi": "approximately a couple of seconds, per operator",
"unplug_visible_panel": "almost instant, per operator",
"overall_acceptance": "great / perfect, per operator"
},
"limits": [
"This cable cycle occurred before the timing watcher was armed; no sampled HPD-to-DRM latency is inferred.",
"No explicit three-gesture navigation qualification or ordinary autoboot installation is inferred.",
"Read-only matching state records HDMI 1280x800 at 59.910 Hz, transform 90, and virtual touchpad; compositor state is distinct from real-finger proof."
]
}