Tour result visible

Input or transition: F10

What you see

Tour displays HELLO from its canonical Form.

What just happened

F10 ran the lesson.

What the harness proves

The production kernel result remains correlated to exact source, checked Form, expanded Form, Plan, and active Play identities.

Concepts in view

Tour · Form · Plan · 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
  }
}