{
  "captured_utc": "2026-09-25T20:31:42Z",
  "scope": "Implementation validation of the current workbench source. Not a theorem checker, not an independent proof, and not a reproduction of the 23 September 2026 source hashes. The historical transcript remains /workbench/repair-acceptance.txt.",
  "node": "v22.23.2",
  "cwd": "new temporary directory after extracting the ZIP; not the site repository",
  "commands": [
    {
      "command": "unzip -q omega-workbench-impl-2026-09-25.zip -d /tmp/wb-clean && (cd /tmp/wb-clean && sha256sum -c SHA256SUMS.txt)",
      "exit": 0,
      "stderr": "",
      "note": "All eight listed members matched SHA256SUMS.txt."
    },
    {
      "command": "node scripts/workbench-recheck.mjs",
      "cwd": "/tmp/wb-clean",
      "exit": 0,
      "stdout": "omega-workbench-impl-2026-09-25.stdout.txt",
      "stdout_bytes": 1652,
      "stdout_sha256": "6a19d26b294d18647967a83d268b79237ee30ab99347f70adc74fbd7d39d3da1",
      "stderr": "",
      "node": "v22.23.2"
    }
  ],
  "zip": {
    "path": "/workbench/releases/omega-workbench-impl-2026-09-25.zip",
    "bytes": 22027,
    "sha256": "ed1f447b6c2b050a824fb7b96ddac0051a4158830797c482bb25d1bdb6cdd6d5"
  },
  "claims_not_made": [
    "theorem",
    "independent proof",
    "source paper",
    "reproduction of the 23 September 2026 source hashes",
    "browser session"
  ]
}