{
  "claim": "The bug-specific test detects missing account normalization.",
  "tested_revision": {
    "path": "verification_lab.py",
    "sha256": "sha256:e1c0a8b0b65d5c490d69e7921a915beb6fd43d2037a0c75ffc5e1b8c04cf52f7"
  },
  "execution_context": {
    "recorded_at": "2026-09-14T18:29:05Z",
    "python_implementation": "CPython",
    "python_version": "3.13.13",
    "platform": {
      "system": "Darwin",
      "release": "25.6.0",
      "machine": "arm64",
      "python_platform": "macOS-26.6.2-arm64-arm-64bit-Mach-O"
    },
    "working_directory": ".",
    "working_directory_basis": "directory containing verification_lab.py",
    "fixture_input": " Alice ",
    "expected_normalized_value": "alice"
  },
  "broken_state": {
    "implementation": "broken",
    "command": "python3 verification_lab.py --implementation broken --test bug-specific",
    "expected_exit_code": 1,
    "observed_exit_code": 1,
    "expected_test_result": "FAIL",
    "observed_test_result": "FAIL",
    "observed_output": "FAIL test=bug-specific implementation=broken expected='alice' actual=' Alice '",
    "failure_reason": "expected 'alice'; received ' Alice '"
  },
  "fixed_state": {
    "implementation": "fixed",
    "command": "python3 verification_lab.py --implementation fixed --test bug-specific",
    "expected_exit_code": 0,
    "observed_exit_code": 0,
    "expected_test_result": "PASS",
    "observed_test_result": "PASS",
    "observed_output": "PASS test=bug-specific implementation=fixed expected='alice' actual='alice'"
  },
  "raw_execution_receipt": {
    "path": "raw-execution-receipt.json",
    "sha256": "sha256:4d8033043d2756d94549f9110e24201b82445a7c5607032155531f88e6cdd622",
    "proof_execution_id": "proof-round-trip",
    "proof_exit_code": 0,
    "observed_proof_lines": [
      "decorative_on_broken=PASS",
      "specific_on_broken=FAIL_EXPECTED",
      "specific_on_fixed=PASS",
      "proof=PASS"
    ]
  },
  "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"
    ]
  },
  "regression_scope": "account-name normalization fixture only",
  "boundary": "Illustrative local fixture; observed values are derived from the bound raw execution receipt, and no production or customer result is claimed."
}