Line value visible

Input or transition: Value + acknowledgment

HELLO USB LINE is manifested in the guest.
What you see
HELLO USB LINE is manifested in the guest.
What just happened
The peer delivered one bounded value and acknowledged the session.
What the harness proves
Delivery is correlated to distinct Line, binding, Plan, active Play, Host, Boot, and unchanged Body identities.
Concepts in view
Line · value · Play

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
  }
}