{
  "surface": "Web client, Chromium, Linux x86_64, 1280x800 CSS pixels, light theme",
  "install": "Build claude-proof.nix and install it with nix-env --profile /nix/proof -if claude-proof.nix. The official Claude 2.1.314 binary is wrapped with the same updater-disabling flags as Nixpkgs and linked from the Nix profile into /nix/store.",
  "start": "Run python3 run-app.py <checkout> <fresh-output-directory> once for the base and once for the head. Each run creates a fresh T3 home with Claude enabled, other real providers disabled, /nix/proof/bin on PATH, an explicit Claude binary path of /nix/proof/bin/claude, an empty Claude config directory, and no copied database. Pinning the profile executable prevents login-shell PATH hydration from switching to a separately installed native copy.",
  "browser": [
    "Pair to the run using its startup token before recording.",
    "Open Settings, then Providers.",
    "Open Claude's Update available popover.",
    "Capture the popover and whether Update all is present.",
    "If Update now is offered, click it, reopen the popover if it closes, and capture the completed outcome and installed version.",
    "Repeat the same inspection on the other commit. On the head no Update now action exists, so no update is executed."
  ],
  "base": "d0d0608b6be8c50cdc38b5045de76c5d0b9407cb",
  "head": "f1e7a3f3cbf55f1f63b46433da5dbaa11d1c516d",
  "observedBase": "Update now and /nix/proof/bin/claude update were offered. Clicking Update now completed but left the configured Nix executable at 2.1.314, with the message: Update command completed, but T3 Code still detects an outdated provider version. Update all was present.",
  "observedHead": "The same available-update popover reported release 2.1.322 and the Nix store executable, with guidance to update through the installing tool. No Update now, executable update command, or Update all was present.",
  "limitations": [
    "Linux with a genuine Nix store/profile, not a full NixOS desktop.",
    "No provider turn or subscription authentication was required.",
    "Other provider drivers and mise ownership precedence were not exercised."
  ]
}