Tour 1.2 completed

Input or transition: F3 / F10 / Escape

The second lesson presents MAKE THIS LOUD through the same native Tour workspace.
What you see
The second lesson presents MAKE THIS LOUD through the same native Tour workspace.
What just happened
F3 selected the next exercise; F10 ran its authored Form; Escape dismissed its nonblank confirmation.
What the harness proves
The shared Tour program retains the exercise-specific source, checked Form, expanded Form, Plan, Play, and result identities.
Concepts in view
Tour · authored Form · retained result

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