{
  "schema_version": "verification-lab-execution-receipt/1.0",
  "recorded_at": "2026-09-14T18:29:05Z",
  "runtime": {
    "implementation": "CPython",
    "python_version": "3.13.13",
    "executable": "python3.13"
  },
  "platform": {
    "system": "Darwin",
    "release": "25.6.0",
    "machine": "arm64",
    "python_platform": "macOS-26.6.2-arm64-arm-64bit-Mach-O"
  },
  "fixture_context": {
    "working_directory": ".",
    "working_directory_basis": "directory containing verification_lab.py",
    "fixture_path": "verification_lab.py",
    "fixture_sha256": "sha256:e1c0a8b0b65d5c490d69e7921a915beb6fd43d2037a0c75ffc5e1b8c04cf52f7",
    "raw_input": " Alice ",
    "expected_normalized_value": "alice",
    "acceptance_criterion": "The bug-specific check fails against the missing-normalization implementation and passes against the restored normalization implementation.",
    "regression_scope": "account-name normalization fixture only"
  },
  "executions": [
    {
      "id": "decorative-broken",
      "command": "python3 verification_lab.py --implementation broken --test decorative",
      "argv": [
        "python3",
        "verification_lab.py",
        "--implementation",
        "broken",
        "--test",
        "decorative"
      ],
      "exit_code": 0,
      "stdout": "PASS test=decorative implementation=broken expected=a string actual=' Alice '\n",
      "stderr": ""
    },
    {
      "id": "bug-specific-broken",
      "command": "python3 verification_lab.py --implementation broken --test bug-specific",
      "argv": [
        "python3",
        "verification_lab.py",
        "--implementation",
        "broken",
        "--test",
        "bug-specific"
      ],
      "exit_code": 1,
      "stdout": "FAIL test=bug-specific implementation=broken expected='alice' actual=' Alice '\n",
      "stderr": ""
    },
    {
      "id": "bug-specific-fixed",
      "command": "python3 verification_lab.py --implementation fixed --test bug-specific",
      "argv": [
        "python3",
        "verification_lab.py",
        "--implementation",
        "fixed",
        "--test",
        "bug-specific"
      ],
      "exit_code": 0,
      "stdout": "PASS test=bug-specific implementation=fixed expected='alice' actual='alice'\n",
      "stderr": ""
    },
    {
      "id": "proof-round-trip",
      "command": "python3 verification_lab.py --prove",
      "argv": [
        "python3",
        "verification_lab.py",
        "--prove"
      ],
      "exit_code": 0,
      "stdout": "decorative_on_broken=PASS\nspecific_on_broken=FAIL_EXPECTED\nspecific_on_fixed=PASS\nproof=PASS\n",
      "stderr": ""
    }
  ],
  "expected_output_contract": {
    "path": "expected-output.txt",
    "sha256": "sha256:9be469f8bbb9a433ccba5bfd9f2d66589eb515d568399f2ac7331e2f2ac7c8cc",
    "matched_by_execution": "proof-round-trip",
    "matched_exactly": true,
    "note": "This file is an expected-output contract, not an execution log."
  },
  "validity": {
    "observed_at": "2026-09-14T18:29:05Z",
    "expires_at": null,
    "time_to_live_claimed": false,
    "expiry_evaluation": "No universal time-to-live is claimed for this illustrative fixture. Apply the receiving review's freshness window to observed_at.",
    "invalidate_immediately_if": [
      "verification_lab.py bytes change",
      "Python major or minor version changes",
      "platform or machine architecture changes",
      "fixture input or expected value changes",
      "command or acceptance criterion changes"
    ]
  },
  "boundary": "Raw stdout, stderr, and exit codes from one local illustrative run; no production or customer result is claimed."
}