Tour 2.1 compared

Input or transition: F5 / F10 / Escape

What you see

The comparison lesson reports that direct and recursive realizations agree.

What just happened

F5 advanced to chapter two; F10 executed both admitted realizations; Escape dismissed confirmation.

What the harness proves

The distinct expanded Form and Plan identities are retained while their observable results agree.

Concepts in view

Tour · comparison · Plan identities

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