360 lines
11 KiB
JSON
360 lines
11 KiB
JSON
{
|
|
"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
|
|
}
|