{
  "started_at_jst": "2026-10-04T14:50:32.848548+09:00",
  "finished_at_jst": "2026-10-04T14:50:32.848548+09:00",
  "python_version": "3.10.6",
  "verification_status": "PASS",
  "scope": "架空宿A・定員と幼児算入1仕様。比較はcapacity_count / capacity_okだけ。予約可否や料金は検証しない。",
  "source_fixture_revision": "1.1",
  "lock_checks": {
    "SPEC.md": true,
    "cases.json": true,
    "expected.json": true,
    "cases.csv": true,
    "expected.csv": true,
    "policies.json": true,
    "engine.py": true,
    "run_free.py": true
  },
  "normal_matched": 6,
  "normal_comparisons": 6,
  "faulty_captured": 3,
  "faulty_comparisons": 6,
  "capacity_changed": 2,
  "not_run_count": 0,
  "results": [
    {
      "policy_id": "A",
      "case_id": "CAP01",
      "mode": "normal",
      "input": {
        "ages": [
          35
        ],
        "check_in": "2026-11-01",
        "check_out": "2026-11-04"
      },
      "expected": {
        "capacity_count": 1,
        "capacity_ok": true
      },
      "actual": {
        "capacity_count": 1,
        "capacity_ok": true
      },
      "status": "MATCH",
      "differences": {}
    },
    {
      "policy_id": "A",
      "case_id": "CAP01",
      "mode": "infant_count_inverted",
      "input": {
        "ages": [
          35
        ],
        "check_in": "2026-11-01",
        "check_out": "2026-11-04"
      },
      "expected": {
        "capacity_count": 1,
        "capacity_ok": true
      },
      "actual": {
        "capacity_count": 1,
        "capacity_ok": true
      },
      "status": "MATCH",
      "differences": {}
    },
    {
      "policy_id": "A",
      "case_id": "CAP02",
      "mode": "normal",
      "input": {
        "ages": [
          35,
          30,
          12
        ],
        "check_in": "2026-11-01",
        "check_out": "2026-11-04"
      },
      "expected": {
        "capacity_count": 3,
        "capacity_ok": true
      },
      "actual": {
        "capacity_count": 3,
        "capacity_ok": true
      },
      "status": "MATCH",
      "differences": {}
    },
    {
      "policy_id": "A",
      "case_id": "CAP02",
      "mode": "infant_count_inverted",
      "input": {
        "ages": [
          35,
          30,
          12
        ],
        "check_in": "2026-11-01",
        "check_out": "2026-11-04"
      },
      "expected": {
        "capacity_count": 3,
        "capacity_ok": true
      },
      "actual": {
        "capacity_count": 3,
        "capacity_ok": true
      },
      "status": "MATCH",
      "differences": {}
    },
    {
      "policy_id": "A",
      "case_id": "CAP03",
      "mode": "normal",
      "input": {
        "ages": [
          35,
          30,
          12,
          6
        ],
        "check_in": "2026-11-01",
        "check_out": "2026-11-04"
      },
      "expected": {
        "capacity_count": 4,
        "capacity_ok": true
      },
      "actual": {
        "capacity_count": 4,
        "capacity_ok": true
      },
      "status": "MATCH",
      "differences": {}
    },
    {
      "policy_id": "A",
      "case_id": "CAP03",
      "mode": "infant_count_inverted",
      "input": {
        "ages": [
          35,
          30,
          12,
          6
        ],
        "check_in": "2026-11-01",
        "check_out": "2026-11-04"
      },
      "expected": {
        "capacity_count": 4,
        "capacity_ok": true
      },
      "actual": {
        "capacity_count": 4,
        "capacity_ok": true
      },
      "status": "MATCH",
      "differences": {}
    },
    {
      "policy_id": "A",
      "case_id": "CAP04",
      "mode": "normal",
      "input": {
        "ages": [
          35,
          30,
          12,
          6,
          0
        ],
        "check_in": "2026-11-01",
        "check_out": "2026-11-04"
      },
      "expected": {
        "capacity_count": 5,
        "capacity_ok": false
      },
      "actual": {
        "capacity_count": 5,
        "capacity_ok": false
      },
      "status": "MATCH",
      "differences": {}
    },
    {
      "policy_id": "A",
      "case_id": "CAP04",
      "mode": "infant_count_inverted",
      "input": {
        "ages": [
          35,
          30,
          12,
          6,
          0
        ],
        "check_in": "2026-11-01",
        "check_out": "2026-11-04"
      },
      "expected": {
        "capacity_count": 5,
        "capacity_ok": false
      },
      "actual": {
        "capacity_count": 4,
        "capacity_ok": true
      },
      "status": "MISMATCH",
      "differences": {
        "capacity_count": {
          "expected": 5,
          "actual": 4
        },
        "capacity_ok": {
          "expected": false,
          "actual": true
        }
      }
    },
    {
      "policy_id": "A",
      "case_id": "CAP05",
      "mode": "normal",
      "input": {
        "ages": [
          35,
          30,
          0,
          0,
          0
        ],
        "check_in": "2026-11-01",
        "check_out": "2026-11-04"
      },
      "expected": {
        "capacity_count": 5,
        "capacity_ok": false
      },
      "actual": {
        "capacity_count": 5,
        "capacity_ok": false
      },
      "status": "MATCH",
      "differences": {}
    },
    {
      "policy_id": "A",
      "case_id": "CAP05",
      "mode": "infant_count_inverted",
      "input": {
        "ages": [
          35,
          30,
          0,
          0,
          0
        ],
        "check_in": "2026-11-01",
        "check_out": "2026-11-04"
      },
      "expected": {
        "capacity_count": 5,
        "capacity_ok": false
      },
      "actual": {
        "capacity_count": 2,
        "capacity_ok": true
      },
      "status": "MISMATCH",
      "differences": {
        "capacity_count": {
          "expected": 5,
          "actual": 2
        },
        "capacity_ok": {
          "expected": false,
          "actual": true
        }
      }
    },
    {
      "policy_id": "A",
      "case_id": "CAP06",
      "mode": "normal",
      "input": {
        "ages": [
          35,
          30,
          6,
          0
        ],
        "check_in": "2026-11-01",
        "check_out": "2026-11-04"
      },
      "expected": {
        "capacity_count": 4,
        "capacity_ok": true
      },
      "actual": {
        "capacity_count": 4,
        "capacity_ok": true
      },
      "status": "MATCH",
      "differences": {}
    },
    {
      "policy_id": "A",
      "case_id": "CAP06",
      "mode": "infant_count_inverted",
      "input": {
        "ages": [
          35,
          30,
          6,
          0
        ],
        "check_in": "2026-11-01",
        "check_out": "2026-11-04"
      },
      "expected": {
        "capacity_count": 4,
        "capacity_ok": true
      },
      "actual": {
        "capacity_count": 3,
        "capacity_ok": true
      },
      "status": "MISMATCH",
      "differences": {
        "capacity_count": {
          "expected": 4,
          "actual": 3
        }
      }
    }
  ]
}