{
  "original_unit": "P04-01",
  "original_packages": 30,
  "original_total": 88,
  "formal_completed": 17,
  "formal_credit": 1,
  "checker_sha256": "3bb0cde776bc295f6f18e74f1e23bf3d832d8e4f71aed260601c82d287c655fd",
  "required_conditions": {
    "power_stop": {
      "exact_checker_contract": [
        "停電",
        [
          "BASELINE:183",
          "D05-P04-PAUSE-REASON"
        ],
        {
          "charges": 0
        }
      ],
      "accepted": true,
      "proof": "accepted-index.json plus actual validation/review/integration/final receipts and Root real DB join",
      "local_raw_verified": true,
      "missing": [],
      "accepted_candidate": "b1810ff4b2809018fe7434be7bdcf6f6411c91f4"
    },
    "destruction_stop": {
      "exact_checker_contract": [
        "破壊",
        [
          "D05-P04-DESTRUCTION"
        ],
        {
          "charges": 0
        }
      ],
      "accepted": true,
      "proof": "accepted-index.json plus actual validation/review/integration/final receipts and Root real DB join",
      "local_raw_verified": true,
      "missing": [],
      "accepted_candidate": "b1810ff4b2809018fe7434be7bdcf6f6411c91f4"
    },
    "dependency_stop": {
      "exact_checker_contract": [
        "閉店",
        [
          "D05-P04-DEPENDENCY"
        ],
        {
          "charges": 0,
          "progress_delta": 0,
          "reservation_ids_preserved": true,
          "service_id_preserved": true
        }
      ],
      "accepted": true,
      "proof": "accepted-index.json plus actual validation/review/integration/final receipts and Root real DB join",
      "local_raw_verified": true,
      "missing": [],
      "accepted_candidate": "b1810ff4b2809018fe7434be7bdcf6f6411c91f4"
    },
    "shift_completion": {
      "exact_checker_contract": [
        "シフト交代",
        [
          "BASELINE:64",
          "BASELINE:67",
          "D05-P04-SHIFT-1800"
        ],
        {
          "minute": 1080,
          "completions": 1,
          "charges": 1,
          "completion_before_shift": true
        }
      ],
      "accepted": true,
      "proof": "accepted-index.json plus actual validation/review/integration/final receipts and Root real DB join",
      "local_raw_verified": true,
      "missing": [],
      "accepted_candidate": "b1810ff4b2809018fe7434be7bdcf6f6411c91f4"
    },
    "recovery_completion": {
      "exact_checker_contract": [
        "課金",
        [
          "D05-P04-DEPENDENCY"
        ],
        {
          "completions": 1,
          "charges": 1
        }
      ],
      "accepted": true,
      "proof": "accepted-index.json plus actual validation/review/integration/final receipts and Root real DB join",
      "local_raw_verified": true,
      "missing": [],
      "accepted_candidate": "b1810ff4b2809018fe7434be7bdcf6f6411c91f4"
    },
    "same_minute_replay": {
      "exact_checker_contract": [
        "課金",
        [
          "D05-P04-DEPENDENCY",
          "D05-P04-SHIFT-1800"
        ],
        {
          "completions": 1,
          "charges": 1,
          "duplicate_generations": 0,
          "same_minute_replayed": true
        }
      ],
      "accepted": true,
      "proof": "accepted-index.json plus actual validation/review/integration/final receipts and Root real DB join",
      "local_raw_verified": true,
      "missing": [],
      "accepted_candidate": "b1810ff4b2809018fe7434be7bdcf6f6411c91f4"
    },
    "closure_release": {
      "exact_checker_contract": [
        "閉店",
        [
          "D-034"
        ],
        {
          "orphan_reservations": 0,
          "released_once": true,
          "started_service_continues": true
        }
      ],
      "accepted": true,
      "proof": "accepted-index.json plus actual validation/review/integration/final receipts and Root real DB join",
      "local_raw_verified": true,
      "missing": [],
      "accepted_candidate": "b1810ff4b2809018fe7434be7bdcf6f6411c91f4"
    },
    "exit_release": {
      "exact_checker_contract": [
        "退出",
        [
          "D-034",
          "D05-P04-EXIT"
        ],
        {
          "orphan_reservations": 0,
          "released_once": true
        }
      ],
      "accepted": true,
      "proof": "accepted-index.json plus actual validation/review/integration/final receipts and Root real DB join",
      "local_raw_verified": true,
      "missing": [],
      "accepted_candidate": "b1810ff4b2809018fe7434be7bdcf6f6411c91f4"
    },
    "patience_release": {
      "exact_checker_contract": [
        "退出",
        [
          "D-034",
          "D05-P04-EXIT"
        ],
        {
          "orphan_reservations": 0,
          "released_once": true
        }
      ],
      "accepted": true,
      "proof": "accepted-index.json plus actual validation/review/integration/final receipts and Root real DB join",
      "local_raw_verified": true,
      "missing": [],
      "accepted_candidate": "b1810ff4b2809018fe7434be7bdcf6f6411c91f4"
    },
    "paused_midnight": {
      "exact_checker_contract": [
        "00:00決算",
        [
          "D05-P04-DEPENDENCY",
          "BASELINE:71",
          "BASELINE:72",
          "D05-P04-MIDNIGHT-DAY"
        ],
        {
          "orphan_reservations": 0,
          "crossed_midnight_while_paused": true,
          "stopped_charges": 0,
          "completions": 1,
          "charges": 1
        }
      ],
      "accepted": true,
      "proof": "accepted-index.json plus actual validation/review/integration/final receipts and Root real DB join",
      "local_raw_verified": true,
      "missing": [],
      "accepted_candidate": "b1810ff4b2809018fe7434be7bdcf6f6411c91f4"
    },
    "midnight_settlement": {
      "exact_checker_contract": [
        "00:00決算",
        [
          "BASELINE:71",
          "BASELINE:72",
          "A01",
          "D05-P04-MIDNIGHT-DAY"
        ],
        {
          "settlements": 1,
          "sales_payments": 1,
          "payroll_payments": 1,
          "upkeep_payments": 1,
          "duty_payments": 1,
          "nonzero_payroll": true
        }
      ],
      "accepted": true,
      "proof": "accepted-index.json plus actual validation/review/integration/final receipts and Root real DB join",
      "local_raw_verified": true,
      "missing": [],
      "accepted_candidate": "b1810ff4b2809018fe7434be7bdcf6f6411c91f4"
    },
    "midnight_replay": {
      "exact_checker_contract": [
        "00:00決算",
        [
          "BASELINE:71",
          "BASELINE:72",
          "A01"
        ],
        {
          "settlements": 1,
          "same_minute_replayed": true,
          "duplicate_payments": 0
        }
      ],
      "accepted": true,
      "proof": "accepted-index.json plus actual validation/review/integration/final receipts and Root real DB join",
      "local_raw_verified": true,
      "missing": [],
      "accepted_candidate": "b1810ff4b2809018fe7434be7bdcf6f6411c91f4"
    },
    "save_restore": {
      "exact_checker_contract": [
        "00:00決算",
        [
          "BASELINE:71",
          "BASELINE:72",
          "A01"
        ],
        {
          "settlements": 1,
          "duplicate_payments": 0,
          "formal_save_restored": true
        }
      ],
      "accepted": true,
      "proof": "accepted-index.json plus actual validation/review/integration/final receipts and Root real DB join",
      "local_raw_verified": true,
      "missing": [],
      "accepted_candidate": "b1810ff4b2809018fe7434be7bdcf6f6411c91f4"
    },
    "night_staff_absent": {
      "exact_checker_contract": [
        "シフト交代",
        [
          "BASELINE:67",
          "D05-P04-SHIFT-1800"
        ],
        {
          "minute": 1081,
          "state": "WAITING_FOR_STAFF",
          "night_staff_count": 0
        }
      ],
      "accepted": true,
      "proof": "accepted-index.json plus actual validation/review/integration/final receipts and Root real DB join",
      "local_raw_verified": true,
      "missing": [],
      "accepted_candidate": "b1810ff4b2809018fe7434be7bdcf6f6411c91f4"
    },
    "overtime_task": {
      "exact_checker_contract": [
        "シフト交代",
        [
          "BASELINE:67"
        ],
        {
          "interrupt_level": 0,
          "is_overtime": true,
          "duty_recorded_once": true
        }
      ],
      "accepted": true,
      "proof": "accepted-index.json plus actual validation/review/integration/final receipts and Root real DB join",
      "local_raw_verified": true,
      "missing": [],
      "accepted_candidate": "b1810ff4b2809018fe7434be7bdcf6f6411c91f4"
    }
  },
  "EV_additional_required_proof": [
    [
      "autoload/simulation_runtime.gd",
      "_execute_create_staff_task",
      "8b83aff45ead128b70931343271dbd03a1024b90238d1f46f93e4856290aa0d8",
      10
    ],
    [
      "scripts/staff/task_dispatcher.gd",
      "_reserve_pair",
      "48e2e593c117bd675236a165a294c9cc6233f87018010249cd8e675aff01fc3c",
      6
    ],
    [
      "autoload/simulation_runtime.gd",
      "_reserve_staff_task_items",
      "4f2add093de47cb08abfa45e9d2285f00d906c9bceadb2d98ffa42faae9ede67",
      28
    ],
    [
      "autoload/simulation_runtime.gd",
      "_advance_staff_task_travel",
      "53937aefeec533a5f16169bba4dd6a69b5246101d09de77ca95db7ca174c63ce",
      2
    ],
    [
      "scripts/transport/elevator_service.gd",
      "set_powered",
      "925f4bf2d109421956fb2958981758d7d84a1ca586a9d4eb51572b8b9677cfba",
      6
    ]
  ],
  "all_seven_domains_required": [
    "closure",
    "power",
    "destruction",
    "exit",
    "charge",
    "shift",
    "midnight"
  ],
  "all_six_D05_approved": true,
  "S": "785815002eb750b0bef3c26fe2ca492b16b280be",
  "M": "c0ea009b28a7649aca6a433a1a24dc0be5e7ab81",
  "diagnostic_Qt": "2e41a616c65d3ac132c85574593ae7efaf4f9848",
  "diagnostic_checkout": "1313ff5d3b13cf912b327b178c3e9c91bf9f73df",
  "normal_C": "b1810ff4b2809018fe7434be7bdcf6f6411c91f4",
  "EV_raw_verified": true,
  "current_native_S5": {
    "all_four_phases_passed": true,
    "engines_ended": 4,
    "receipt": "/Users/korizatou114/Projects/TheTree-managed-worktrees/p04-01/.runtime/P04-01/build/p04-s5-DIAG-r51/runner-ended.json"
  },
  "historical_S47_matrix": "/Users/korizatou114/Projects/TheTree-managed-worktrees/p04-01/.runtime/coordinator-p04-repair30-current-main-r01/P04_REQUIRED_CONDITION_MATRIX_2CD73406.json",
  "approved_D05_extra_subclause": "All actual S51 gates mechanically verified; sequential-onset PAUSE-REASON interpretation remains explicitly unproven, not silently narrowed or cured.",
  "whole_unit_required_gates": [],
  "at_unix_ns": 1792337452832483000,
  "current_registered_handoff_gap": null,
  "formal_acceptance": true,
  "accepted_at_jst": "2026-10-19T00:54:23.322453+09:00",
  "whole_goal_accepted": false
}