{
  "protocol_version": "1.0.0",
  "executed_at_utc": "2026-10-21T05:22:18.804597+00:00",
  "environment": {
    "python": "3.12.2",
    "os": "Darwin",
    "architecture": "arm64"
  },
  "agent": "Current Codex agent in this task; model identity not independently measured",
  "scope": "One self-authored synthetic bug repair; no model comparison, paid API, external repository or human study.",
  "log_normalization": "Only the absolute fixture-directory prefix is removed from traceback paths; test messages and return codes are retained.",
  "frozen_contract": {
    "protocol_version": "1.0.0",
    "frozen_before_repair": true,
    "acceptance_cases_sha256": "fb83006a2f2094f487d6dbf84cc7cdb1cf7804ace90418876dc63e5bdb88e8e5",
    "tests_sha256": "f9fad54c470d64e176707dd47e5562d7fc08fcb61a7c450f9280c538be318188",
    "before_source_sha256": "f6d13b9f85e84151baf7b650bfad7c01647c291e43ddf47cda87cc597efab1e1"
  },
  "after_source_sha256": "cee5ae195c9c8e93456f5630d796812c860bd73bd3fec5a578083a563e5f65fd",
  "patch_sha256": "f4358c8d747a3c1faa37c5fd07d7a6a2609567f3f4394e9471ef328f5d62d2cc",
  "before": {
    "version": "before",
    "tests_run": 8,
    "failures": 6,
    "errors": 0,
    "all_passed": false,
    "observations": [
      {
        "case_id": "alphanumeric_id",
        "expected": [
          {
            "task_id": "AG-001",
            "title": "Agent task"
          }
        ],
        "expected_error": null,
        "actual_error": "invalid literal for int() with base 10: 'AG-001'",
        "actual_error_type": "ValueError",
        "passed": false
      },
      {
        "case_id": "distinct_numeric_looking_ids",
        "expected": [
          {
            "task_id": "0007",
            "title": "First"
          },
          {
            "task_id": "7",
            "title": "Second"
          }
        ],
        "expected_error": null,
        "actual_error": "duplicate task_id: 7",
        "actual_error_type": "ValueError",
        "passed": false
      },
      {
        "case_id": "empty_id",
        "expected": null,
        "expected_error": "task_id must not be empty",
        "actual_error": "invalid literal for int() with base 10: '   '",
        "actual_error_type": "ValueError",
        "passed": false
      },
      {
        "case_id": "leading_zero",
        "expected": [
          {
            "task_id": "0007",
            "title": "Sample task"
          }
        ],
        "expected_error": null,
        "actual": [
          {
            "task_id": 7,
            "title": "Sample task"
          }
        ],
        "passed": false
      },
      {
        "case_id": "missing_header",
        "expected": null,
        "expected_error": "requires task_id and title headers",
        "actual_error": "CSV requires task_id and title headers",
        "actual_error_type": "ValueError",
        "passed": true
      },
      {
        "case_id": "quoted_unicode_title",
        "expected": [
          {
            "task_id": "0009",
            "title": "Task, 中文"
          }
        ],
        "expected_error": null,
        "actual": [
          {
            "task_id": 9,
            "title": "Task, 中文"
          }
        ],
        "passed": false
      },
      {
        "case_id": "real_duplicate",
        "expected": null,
        "expected_error": "duplicate task_id",
        "actual_error": "duplicate task_id: 1",
        "actual_error_type": "ValueError",
        "passed": true
      },
      {
        "case_id": "trim_outer_whitespace",
        "expected": [
          {
            "task_id": "0008",
            "title": "Keep inner  spaces"
          }
        ],
        "expected_error": null,
        "actual": [
          {
            "task_id": 8,
            "title": "Keep inner  spaces"
          }
        ],
        "passed": false
      }
    ],
    "command": "TASK_IMPORT_VERSION=before TEST_RECEIPT=before-results.json python3 test_task_import.py",
    "exit_code": 1
  },
  "after": {
    "version": "after",
    "tests_run": 8,
    "failures": 0,
    "errors": 0,
    "all_passed": true,
    "observations": [
      {
        "case_id": "alphanumeric_id",
        "expected": [
          {
            "task_id": "AG-001",
            "title": "Agent task"
          }
        ],
        "expected_error": null,
        "actual": [
          {
            "task_id": "AG-001",
            "title": "Agent task"
          }
        ],
        "passed": true
      },
      {
        "case_id": "distinct_numeric_looking_ids",
        "expected": [
          {
            "task_id": "0007",
            "title": "First"
          },
          {
            "task_id": "7",
            "title": "Second"
          }
        ],
        "expected_error": null,
        "actual": [
          {
            "task_id": "0007",
            "title": "First"
          },
          {
            "task_id": "7",
            "title": "Second"
          }
        ],
        "passed": true
      },
      {
        "case_id": "empty_id",
        "expected": null,
        "expected_error": "task_id must not be empty",
        "actual_error": "task_id must not be empty",
        "actual_error_type": "ValueError",
        "passed": true
      },
      {
        "case_id": "leading_zero",
        "expected": [
          {
            "task_id": "0007",
            "title": "Sample task"
          }
        ],
        "expected_error": null,
        "actual": [
          {
            "task_id": "0007",
            "title": "Sample task"
          }
        ],
        "passed": true
      },
      {
        "case_id": "missing_header",
        "expected": null,
        "expected_error": "requires task_id and title headers",
        "actual_error": "CSV requires task_id and title headers",
        "actual_error_type": "ValueError",
        "passed": true
      },
      {
        "case_id": "quoted_unicode_title",
        "expected": [
          {
            "task_id": "0009",
            "title": "Task, 中文"
          }
        ],
        "expected_error": null,
        "actual": [
          {
            "task_id": "0009",
            "title": "Task, 中文"
          }
        ],
        "passed": true
      },
      {
        "case_id": "real_duplicate",
        "expected": null,
        "expected_error": "duplicate task_id",
        "actual_error": "duplicate task_id: 001",
        "actual_error_type": "ValueError",
        "passed": true
      },
      {
        "case_id": "trim_outer_whitespace",
        "expected": [
          {
            "task_id": "0008",
            "title": "Keep inner  spaces"
          }
        ],
        "expected_error": null,
        "actual": [
          {
            "task_id": "0008",
            "title": "Keep inner  spaces"
          }
        ],
        "passed": true
      }
    ],
    "command": "TASK_IMPORT_VERSION=after TEST_RECEIPT=after-results.json python3 test_task_import.py",
    "exit_code": 0
  },
  "before_cli": {
    "command": "python3 before/task_import.py sample-tasks.csv",
    "exit_code": 1,
    "error": "Traceback (most recent call last):\n  File \"before/task_import.py\", line 24, in <module>\n    print(json.dumps(import_tasks(handle.read()), ensure_ascii=False, indent=2))\n                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^\n  File \"before/task_import.py\", line 16, in import_tasks\n    raise ValueError('duplicate task_id: ' + str(task_id))\nValueError: duplicate task_id: 7\n"
  },
  "cli": {
    "command": "python3 after/task_import.py sample-tasks.csv",
    "exit_code": 0,
    "expected": [
      {
        "task_id": "0007",
        "title": "Task, 中文"
      },
      {
        "task_id": "7",
        "title": "Second task"
      }
    ],
    "actual": [
      {
        "task_id": "0007",
        "title": "Task, 中文"
      },
      {
        "task_id": "7",
        "title": "Second task"
      }
    ],
    "passed": true
  }
}