Line lost

Input or transition: QMP device removal

What you see

The product visibly reports that the USB Line has disappeared.

What just happened

The harness used QMP to remove the separately pinned FTDI USB function.

What the harness proves

Removal is detected, the stale session is refused, and Body identity remains unchanged rather than turning loss into success.

Concepts in view

Line loss · stale identity

FREESTANDING EMULATOR EVIDENCE, NOT PHYSICAL HARDWARE EVIDENCE.

Exact correlation

Accepted commit: 36e0071f040196340c2a5458b096ff012d30e127

{
  "graphical_profile": {
    "code": "DejaVu Sans Mono",
    "fallback": "pinned Unifont",
    "primary": "DejaVu Sans",
    "primitive": false,
    "profile": "conduitos/graphical/dejavu-v1"
  },
  "image_sha256": "36847fca39f202c891f68ec15957f6517fa5b053aa95b0154e037cce79385a7e",
  "process_stop": {
    "cause": "harness-kill-after-interaction",
    "code": null,
    "status": "signal: 9 (SIGKILL)"
  },
  "qemu_argv": [
    "-M",
    "q35",
    "-cpu",
    "max",
    "-m",
    "64M",
    "-smp",
    "1",
    "-display",
    "none",
    "-vga",
    "std",
    "-monitor",
    "none",
    "-qmp",
    "unix:/home/runner/work/conduit/conduit/target/conduitos/x86_64/journey-monitor.sock,server=on,wait=off",
    "-serial",
    "file:/home/runner/work/conduit/conduit/target/conduitos/x86_64/journey-serial.log",
    "-no-reboot",
    "-net",
    "none",
    "-device",
    "qemu-xhci,id=conduitos-xhci,p2=3,p3=0",
    "-device",
    "usb-kbd,id=conduitos-keyboard,bus=conduitos-xhci.0,port=1",
    "-device",
    "usb-mouse,id=conduitos-pointer,bus=conduitos-xhci.0,port=2",
    "-chardev",
    "socket,id=conduitos-usb-line-chardev,path=/home/runner/work/conduit/conduit/target/conduitos/x86_64/journey-usb-line.sock,server=on,wait=off",
    "-device",
    "usb-serial,id=conduitos-usb-line,bus=conduitos-xhci.0,port=3,chardev=conduitos-usb-line-chardev",
    "-cdrom",
    "target/conduitos/x86_64/creche-export.iso",
    "-boot",
    "d"
  ],
  "source_commit": "36e0071f040196340c2a5458b096ff012d30e127",
  "visual_contract": {
    "display": "std-vga",
    "dynamic_identity_pixels": "allowed",
    "height": 800,
    "minimum_non_background_pixels": 64,
    "mode": "invariant",
    "width": 1280
  }
}