Evidence driver: real Linux systemd user service and real CLI single-executables.
Build A/B/C from each checkout; only package version metadata is changed to 0.1.8/0.1.9/0.1.10.
Native dependencies resolve from each installed checkout. No application behavior is patched.
Create disposable user t3-proof-19652 (UID 1001), home PROOF/account, allow traversal to checkouts, enable linger.
Place scripts in PROOF; run build.py HEAD_CHECKOUT BASE_CHECKOUT with vp available.
Then run driver.py head HEAD_CHECKOUT and driver.py base BASE_CHECKOUT as root, removing the disposable unit between runs.
Each side uses a fresh synthetic database. B/C are staged immediately before each RPC to avoid runtime pruning.
The RPC is server.updateServer, the operation invoked by Update server. No browser is used.
Recordings render timestamped captured command stdout, with private filesystem prefixes replaced by $PROOF/$CHECKOUT; they are not browser screenshots.
AI-assisted; verified with the tests and tools listed above.
