800 lines
45 KiB
JSON
800 lines
45 KiB
JSON
{
|
|
"plan_id": "P04-01",
|
|
"recorded_at": "2026-10-15T09:40:01.136426+00:00",
|
|
"production_commit": "50b2dbeba4b8f3d893b8294bc0ac774b67ba9c69",
|
|
"original_work": "閉店、停電、破壊、退出、課金、シフト交代、00:00決算の順序を明記する。",
|
|
"original_acceptance": "順序境界で停止中課金、二重決算、予約の孤立がない。",
|
|
"required_outcomes": [
|
|
"All7 domain order rules traced to current source, original and approved changes; original unknown rules explicitly pending.",
|
|
"No charging while legitimately stopped, no double midnight settlement, no orphan reservations proved by applicable exact-version boundary evidence.",
|
|
"Source/config/input/environment applicability checked before reuse. Tests alone do not establish original acceptance.",
|
|
"Required current verification and formal independent review/integration; nativeWindows only conditions individually pending if required."
|
|
],
|
|
"six_source_pins": [
|
|
{
|
|
"path": "autoload/simulation_runtime.gd",
|
|
"registered_sha256": "d52a995ae715542bbc550f68d35889540658275d12e04ae0b21ac276f5843f39",
|
|
"current_sha256": "4696df4a77feb465a5a3ba8b806569f7bcbe1d03c88289acfb78a3928f307d67",
|
|
"matches_registered": false
|
|
},
|
|
{
|
|
"path": "scripts/facility/facility_service.gd",
|
|
"registered_sha256": "ceb4a3e9224587423f273cdb2b56e6843ab176ac1fc4fe79dd498b5ed5c33b77",
|
|
"current_sha256": "ceb4a3e9224587423f273cdb2b56e6843ab176ac1fc4fe79dd498b5ed5c33b77",
|
|
"matches_registered": true
|
|
},
|
|
{
|
|
"path": "scripts/economy/economy_service.gd",
|
|
"registered_sha256": "95aedd0a0421c93e8fa39f0f76fa890cd0a46905d9a25c88c8b17c4d6d47728e",
|
|
"current_sha256": "95aedd0a0421c93e8fa39f0f76fa890cd0a46905d9a25c88c8b17c4d6d47728e",
|
|
"matches_registered": true
|
|
},
|
|
{
|
|
"path": "scripts/guest/guest_service.gd",
|
|
"registered_sha256": "56880410e9a00816f9a95d30821982955532de8dd976980934e12016a9f2b21e",
|
|
"current_sha256": "56880410e9a00816f9a95d30821982955532de8dd976980934e12016a9f2b21e",
|
|
"matches_registered": true
|
|
},
|
|
{
|
|
"path": "scripts/staff/staff_service.gd",
|
|
"registered_sha256": "355ad5c3c9f85dc4d4ffc3bc4293e36f81078c403d1662512a735b2c8d815fb3",
|
|
"current_sha256": "355ad5c3c9f85dc4d4ffc3bc4293e36f81078c403d1662512a735b2c8d815fb3",
|
|
"matches_registered": true
|
|
},
|
|
{
|
|
"path": "scripts/mana/mana_network_service.gd",
|
|
"registered_sha256": "96f195cf2a28b0966d12cd7c6fab86d13eae97c8342d07d70f52e598fbf49af9",
|
|
"current_sha256": "96f195cf2a28b0966d12cd7c6fab86d13eae97c8342d07d70f52e598fbf49af9",
|
|
"matches_registered": true
|
|
}
|
|
],
|
|
"historical_seven_differences": [
|
|
{
|
|
"path": "autoload/simulation_runtime.gd",
|
|
"old_sha256": "2d7e2cea5424585e9aa4302ab66d1fc4dbaefe743ce4328fccc1efa2f19b82e4",
|
|
"current_sha256": "d52a995ae715542bbc550f68d35889540658275d12e04ae0b21ac276f5843f39",
|
|
"actual_current_sha256": "4696df4a77feb465a5a3ba8b806569f7bcbe1d03c88289acfb78a3928f307d67",
|
|
"matches_recorded_current": false
|
|
},
|
|
{
|
|
"path": "scenes/main/main.gd",
|
|
"old_sha256": "a7ae44c680eb9b70a117ddc8c6cbf0ca290b8e8d485eac41b4122698fde2a620",
|
|
"current_sha256": "a3d7d7ddd08a8df1f987806e60accf51792d728cf71c06e6b822f5a31d8ed3e3",
|
|
"actual_current_sha256": "92677e4ac57ed8d418a4a716bf0874cbbaea79cff893e5163c82ad1f75e7140a",
|
|
"matches_recorded_current": false
|
|
},
|
|
{
|
|
"path": "scenes/main/world_preview.gd",
|
|
"old_sha256": "3df29be32d3a016d8fb9dc1ee2bd32e2360ac8fad9810293f6be9b58d26046e0",
|
|
"current_sha256": "75d5b0bd23204f5a485540512e44b89e1d2a4596b368f70177a238ba078ff42d",
|
|
"actual_current_sha256": "07e9a36baaa5d0904693f968164101a3938248cfd2cb65b600b64d10eca961d8",
|
|
"matches_recorded_current": false
|
|
},
|
|
{
|
|
"path": "scripts/core/performance_budget.gd",
|
|
"old_sha256": "79d18e8f0dcc3932801cd02ea8a8ba037af02ef57665387cba8dbe3b3e9af917",
|
|
"current_sha256": "0e2278f88d29919a0634fc1b527328a0d0c12d87e2cd612f3eee1526aabdb073",
|
|
"actual_current_sha256": "0e2278f88d29919a0634fc1b527328a0d0c12d87e2cd612f3eee1526aabdb073",
|
|
"matches_recorded_current": true
|
|
},
|
|
{
|
|
"path": "scripts/world/path_service.gd",
|
|
"old_sha256": "2e68653e4898387cb5a76402813a10595bd5ca7d5fb841c7ed8c55af77d7a918",
|
|
"current_sha256": "447135729a1106639a6eee6754af3195c8a8b458ca26980ae91fa39d80dcfbd4",
|
|
"actual_current_sha256": "447135729a1106639a6eee6754af3195c8a8b458ca26980ae91fa39d80dcfbd4",
|
|
"matches_recorded_current": true
|
|
},
|
|
{
|
|
"path": "tests/s1/test_path_service.gd",
|
|
"old_sha256": "0f48bb44c27e32f08477b9aed61a0db5c8808219490928f734c3570a07efb251",
|
|
"current_sha256": "17d9fd42b35004376bf96e435f53d6bce41e79258ec7f6daf3ab04ae5d8c3e1d",
|
|
"actual_current_sha256": "17d9fd42b35004376bf96e435f53d6bce41e79258ec7f6daf3ab04ae5d8c3e1d",
|
|
"matches_recorded_current": true
|
|
},
|
|
{
|
|
"path": "tests/ui/test_pixel_tower.gd",
|
|
"old_sha256": "93bdbb195f2ceec07dbe052e0d0a3017d84b56f1e8ec46b87be8d98105ec0f88",
|
|
"current_sha256": "f149f4b5507247dadf623e777e90b9bdb81f54324b406a8f55adaf89b649866a",
|
|
"actual_current_sha256": "f149f4b5507247dadf623e777e90b9bdb81f54324b406a8f55adaf89b649866a",
|
|
"matches_recorded_current": true
|
|
}
|
|
],
|
|
"ordering_functions": [
|
|
{
|
|
"path": "scripts/core/simulation_kernel.gd",
|
|
"function": "advance_one_minute",
|
|
"historical_body_sha256": "b9587ef722d8c8640248025462819374ae5eca1c3d8bbe600b6bc9c328567777",
|
|
"current_body_sha256": "b9587ef722d8c8640248025462819374ae5eca1c3d8bbe600b6bc9c328567777",
|
|
"exact_body_match": true,
|
|
"current_start_line": 122
|
|
},
|
|
{
|
|
"path": "scripts/core/simulation_kernel.gd",
|
|
"function": "_run_phase",
|
|
"historical_body_sha256": "52461eeb288892a4bb4b6a99570185af08a30758ef88b0046a911baaa6f318e1",
|
|
"current_body_sha256": "52461eeb288892a4bb4b6a99570185af08a30758ef88b0046a911baaa6f318e1",
|
|
"exact_body_match": true,
|
|
"current_start_line": 236
|
|
},
|
|
{
|
|
"path": "scripts/core/simulation_kernel.gd",
|
|
"function": "_handle_time_boundaries",
|
|
"historical_body_sha256": "2ced47a2911b36def9d89de82a43afc69148ead44d19db6a2a6c7bce5a910ae9",
|
|
"current_body_sha256": "2ced47a2911b36def9d89de82a43afc69148ead44d19db6a2a6c7bce5a910ae9",
|
|
"exact_body_match": true,
|
|
"current_start_line": 254
|
|
},
|
|
{
|
|
"path": "scripts/core/command_queue.gd",
|
|
"function": "_comes_before",
|
|
"historical_body_sha256": "21f7f9f7c0923121fd0a022a2f7546b7bb7117a9979c1ed25d0b33b96e28ab28",
|
|
"current_body_sha256": "21f7f9f7c0923121fd0a022a2f7546b7bb7117a9979c1ed25d0b33b96e28ab28",
|
|
"exact_body_match": true,
|
|
"current_start_line": 409
|
|
},
|
|
{
|
|
"path": "autoload/simulation_runtime.gd",
|
|
"function": "_process_tick_commands",
|
|
"historical_body_sha256": "9de66a4bb84b12304300d49085f44546412319bd4aee91e67b61becf97e50294",
|
|
"current_body_sha256": "9de66a4bb84b12304300d49085f44546412319bd4aee91e67b61becf97e50294",
|
|
"exact_body_match": true,
|
|
"current_start_line": 5736
|
|
},
|
|
{
|
|
"path": "autoload/simulation_runtime.gd",
|
|
"function": "_advance_operations_time",
|
|
"historical_body_sha256": "511580d1fac3d2785072e94c2981065fa47ba18b1c97122922645dac5c0d94ab",
|
|
"current_body_sha256": "511580d1fac3d2785072e94c2981065fa47ba18b1c97122922645dac5c0d94ab",
|
|
"exact_body_match": true,
|
|
"current_start_line": 1894
|
|
},
|
|
{
|
|
"path": "autoload/simulation_runtime.gd",
|
|
"function": "_run_operations_deferred_suffix",
|
|
"historical_body_sha256": "12075307b12cbb66ffda47a26097194a07fad9d6467e3e557bd7269315c98982",
|
|
"current_body_sha256": "12075307b12cbb66ffda47a26097194a07fad9d6467e3e557bd7269315c98982",
|
|
"exact_body_match": true,
|
|
"current_start_line": 1683
|
|
},
|
|
{
|
|
"path": "autoload/simulation_runtime.gd",
|
|
"function": "_advance_mana",
|
|
"historical_body_sha256": "05c54626ce6e355acd92994ab80aaf2177c5cf194885e66934552139e087599e",
|
|
"current_body_sha256": "05c54626ce6e355acd92994ab80aaf2177c5cf194885e66934552139e087599e",
|
|
"exact_body_match": true,
|
|
"current_start_line": 10663
|
|
},
|
|
{
|
|
"path": "autoload/simulation_runtime.gd",
|
|
"function": "_advance_facilities",
|
|
"historical_body_sha256": "f1efd0c23bdd60d1ef19a21879640b53b8b4d88844c0c881fe7cd724387ec274",
|
|
"current_body_sha256": "f1efd0c23bdd60d1ef19a21879640b53b8b4d88844c0c881fe7cd724387ec274",
|
|
"exact_body_match": true,
|
|
"current_start_line": 8451
|
|
},
|
|
{
|
|
"path": "autoload/simulation_runtime.gd",
|
|
"function": "_advance_guest_vitals",
|
|
"historical_body_sha256": "8226ca18c983ac576a74e772cc3088e9fe52b362ffba1b71255bd1d7623c1234",
|
|
"current_body_sha256": "8226ca18c983ac576a74e772cc3088e9fe52b362ffba1b71255bd1d7623c1234",
|
|
"exact_body_match": true,
|
|
"current_start_line": 8457
|
|
},
|
|
{
|
|
"path": "autoload/simulation_runtime.gd",
|
|
"function": "_advance_staff_ai",
|
|
"historical_body_sha256": "0e222987f7c5e25583dbaba8fe63784aa563715067396e8d31d10bd191e7179b",
|
|
"current_body_sha256": "0e222987f7c5e25583dbaba8fe63784aa563715067396e8d31d10bd191e7179b",
|
|
"exact_body_match": true,
|
|
"current_start_line": 8627
|
|
},
|
|
{
|
|
"path": "autoload/simulation_runtime.gd",
|
|
"function": "_advance_guest_ai_decisions",
|
|
"historical_body_sha256": "e33b41294e88dba840affd5cc0a5c58fe5d46f5d98a80a8d5f4e907a3b9a7b93",
|
|
"current_body_sha256": "e33b41294e88dba840affd5cc0a5c58fe5d46f5d98a80a8d5f4e907a3b9a7b93",
|
|
"exact_body_match": true,
|
|
"current_start_line": 8707
|
|
},
|
|
{
|
|
"path": "autoload/simulation_runtime.gd",
|
|
"function": "_release_closed_business_queues",
|
|
"historical_body_sha256": "3a05fbe94877eeb750fb0d692501954555ab6a8005448ab3b6023dab9bad816b",
|
|
"current_body_sha256": "3a05fbe94877eeb750fb0d692501954555ab6a8005448ab3b6023dab9bad816b",
|
|
"exact_body_match": true,
|
|
"current_start_line": 12592
|
|
},
|
|
{
|
|
"path": "autoload/simulation_runtime.gd",
|
|
"function": "_release_closed_business_request",
|
|
"historical_body_sha256": "6dbde3a3d425e47a049dcc4f05eae6f01fe9784f473c0fb1019a0633c239d83b",
|
|
"current_body_sha256": "6dbde3a3d425e47a049dcc4f05eae6f01fe9784f473c0fb1019a0633c239d83b",
|
|
"exact_body_match": true,
|
|
"current_start_line": 12610
|
|
},
|
|
{
|
|
"path": "autoload/simulation_runtime.gd",
|
|
"function": "_complete_service_transaction",
|
|
"historical_body_sha256": "f2b6e96a8eeef3dd3f8419b4d9d5ef4e1d13241600ce970bdd78a924428cac6c",
|
|
"current_body_sha256": "f2b6e96a8eeef3dd3f8419b4d9d5ef4e1d13241600ce970bdd78a924428cac6c",
|
|
"exact_body_match": true,
|
|
"current_start_line": 11737
|
|
},
|
|
{
|
|
"path": "scripts/facility/facility_service.gd",
|
|
"function": "advance_one_minute",
|
|
"historical_body_sha256": "59c0e89b4dca291e3ec02601b3f7c5544dba7c823fc137e0e7a50e7d5319e0ed",
|
|
"current_body_sha256": "59c0e89b4dca291e3ec02601b3f7c5544dba7c823fc137e0e7a50e7d5319e0ed",
|
|
"exact_body_match": true,
|
|
"current_start_line": 544
|
|
},
|
|
{
|
|
"path": "scripts/facility/facility_service.gd",
|
|
"function": "_prepare_service_for_tick",
|
|
"historical_body_sha256": "b35c2c0fb23a04258b71995dd7c3b6dfacbbcdf36106e2e3348acef0e18d21cc",
|
|
"current_body_sha256": "b35c2c0fb23a04258b71995dd7c3b6dfacbbcdf36106e2e3348acef0e18d21cc",
|
|
"exact_body_match": true,
|
|
"current_start_line": 853
|
|
},
|
|
{
|
|
"path": "scripts/facility/facility_service.gd",
|
|
"function": "_complete_service",
|
|
"historical_body_sha256": "494edfd11cb3e896d73c2c6fdbe7c1193efce6d869b105e526d2f1dfd1168142",
|
|
"current_body_sha256": "494edfd11cb3e896d73c2c6fdbe7c1193efce6d869b105e526d2f1dfd1168142",
|
|
"exact_body_match": true,
|
|
"current_start_line": 895
|
|
},
|
|
{
|
|
"path": "scripts/facility/facility_service.gd",
|
|
"function": "_fail_service",
|
|
"historical_body_sha256": "56f61b255217bddb4c8a6ad3af6ed1f9edc3b6a6e928dacf2105be6698936de5",
|
|
"current_body_sha256": "56f61b255217bddb4c8a6ad3af6ed1f9edc3b6a6e928dacf2105be6698936de5",
|
|
"exact_body_match": true,
|
|
"current_start_line": 933
|
|
},
|
|
{
|
|
"path": "scripts/operations/operations_coordinator.gd",
|
|
"function": "_process_minute_boundaries",
|
|
"historical_body_sha256": "1312166dc17aee0ef470069a73ff3fe6b86d11d04ca7de76f3d04f1d2d14674e",
|
|
"current_body_sha256": "1312166dc17aee0ef470069a73ff3fe6b86d11d04ca7de76f3d04f1d2d14674e",
|
|
"exact_body_match": true,
|
|
"current_start_line": 882
|
|
}
|
|
],
|
|
"evidence_references": [
|
|
{
|
|
"path": "/Users/korizatou114/Projects/とりにく工房ゲーム制作部/artifacts/original-completion-2026-10-02/p04-01-current-order-audit-r01/audit.json",
|
|
"registered_sha256": "90d2dbd3c04aed7ab409afa4f05f884832a4661cc506d28b818c72aadc352950",
|
|
"actual_sha256": "90d2dbd3c04aed7ab409afa4f05f884832a4661cc506d28b818c72aadc352950",
|
|
"unchanged": true,
|
|
"scope": "Bounded original order-contract audit actually started; no conditions accepted",
|
|
"declared_status": {
|
|
"source_edits": 0,
|
|
"formal_completion": false
|
|
},
|
|
"current_acceptance_inferred": false
|
|
},
|
|
{
|
|
"path": "/Users/korizatou114/Projects/とりにく工房ゲーム制作部/artifacts/original-completion-2026-10-02/p04-01-order-independent-gap-review-r01.json",
|
|
"registered_sha256": "121cf18c180052999bc99f207524818ae6bc724476d26727d27910078f877b68",
|
|
"actual_sha256": "121cf18c180052999bc99f207524818ae6bc724476d26727d27910078f877b68",
|
|
"unchanged": true,
|
|
"scope": "P04-01 bounded gap/diagnostic/power evidence; no whole-unit acceptance",
|
|
"declared_status": {
|
|
"Windows_accepted": false
|
|
},
|
|
"current_acceptance_inferred": false
|
|
},
|
|
{
|
|
"path": "/Users/korizatou114/Projects/とりにく工房ゲーム制作部/artifacts/original-completion-2026-10-02/p04-01-shift-end-actual-independent-review-r01.json",
|
|
"registered_sha256": "343f717048088909e91cb5855540d00c9a6623d9008560cbc59f9249ee600efd",
|
|
"actual_sha256": "343f717048088909e91cb5855540d00c9a6623d9008560cbc59f9249ee600efd",
|
|
"unchanged": true,
|
|
"scope": "P04-01 bounded gap/diagnostic/power evidence; no whole-unit acceptance",
|
|
"declared_status": {},
|
|
"current_acceptance_inferred": false
|
|
},
|
|
{
|
|
"path": "/Users/korizatou114/Projects/とりにく工房ゲーム制作部/artifacts/original-completion-2026-10-02/p04-01-power-completion-root-review-r01.json",
|
|
"registered_sha256": "b239308b4da2019bc219eb88b854f76d8b528e1fdb6643cd60633d21248e8a9f",
|
|
"actual_sha256": "b239308b4da2019bc219eb88b854f76d8b528e1fdb6643cd60633d21248e8a9f",
|
|
"unchanged": true,
|
|
"scope": "P04-01 bounded gap/diagnostic/power evidence; no whole-unit acceptance",
|
|
"declared_status": {
|
|
"passed": true,
|
|
"unit_accepted": false
|
|
},
|
|
"current_acceptance_inferred": false
|
|
},
|
|
{
|
|
"path": "/Users/korizatou114/Projects/とりにく工房ゲーム制作部/artifacts/original-completion-2026-10-02/p04-01-power-completion-actual-independent-review-r01.json",
|
|
"registered_sha256": "9bc5500ca30fede1abca19c61d0ca7cf8735a4021cfb5fcee4fd33811f11920f",
|
|
"actual_sha256": "9bc5500ca30fede1abca19c61d0ca7cf8735a4021cfb5fcee4fd33811f11920f",
|
|
"unchanged": true,
|
|
"scope": "P04-01 bounded gap/diagnostic/power evidence; no whole-unit acceptance",
|
|
"declared_status": {},
|
|
"current_acceptance_inferred": false
|
|
},
|
|
{
|
|
"path": "/Users/korizatou114/Projects/とりにく工房ゲーム制作部/artifacts/original-completion-2026-10-02/p04-01-destruction-reachability-independent-review-r01.json",
|
|
"registered_sha256": "d18010f3b5df83be60b66f1fbeeb1fb6588bfe6fd36cc27c240f99eee888ec59",
|
|
"actual_sha256": "d18010f3b5df83be60b66f1fbeeb1fb6588bfe6fd36cc27c240f99eee888ec59",
|
|
"unchanged": true,
|
|
"scope": "P04-01 bounded gap/diagnostic/power evidence; no whole-unit acceptance",
|
|
"declared_status": {},
|
|
"current_acceptance_inferred": false
|
|
},
|
|
{
|
|
"path": "/Users/korizatou114/Projects/とりにく工房ゲーム制作部/artifacts/original-completion-2026-10-02/p04-01-destruction-completion-independent-static-review-r02.json",
|
|
"registered_sha256": "a51a8433054d22d8fc4d4de23f0b0a1af5a79753780b2ab692c1d9b9c319ee90",
|
|
"actual_sha256": "a51a8433054d22d8fc4d4de23f0b0a1af5a79753780b2ab692c1d9b9c319ee90",
|
|
"unchanged": true,
|
|
"scope": "P04-01 bounded gap/diagnostic/power evidence; no whole-unit acceptance",
|
|
"declared_status": {},
|
|
"current_acceptance_inferred": false
|
|
},
|
|
{
|
|
"path": "/Users/korizatou114/Projects/とりにく工房ゲーム制作部/artifacts/original-completion-2026-10-02/p04-01-destruction-completion-root-review-r02.json",
|
|
"registered_sha256": "974365ec551cb6da35d5fbf58d796df1d713bc0cdaa8762c55c1606bd9f168ee",
|
|
"actual_sha256": "974365ec551cb6da35d5fbf58d796df1d713bc0cdaa8762c55c1606bd9f168ee",
|
|
"unchanged": true,
|
|
"scope": "P04-01 bounded gap/diagnostic/power evidence; no whole-unit acceptance",
|
|
"declared_status": {
|
|
"passed": true,
|
|
"unit_accepted": false
|
|
},
|
|
"current_acceptance_inferred": false
|
|
},
|
|
{
|
|
"path": "/Users/korizatou114/Projects/とりにく工房ゲーム制作部/artifacts/original-completion-2026-10-02/p04-01-destruction-completion-actual-independent-review-r02.json",
|
|
"registered_sha256": "e10deb826ef1f356e4031a6e8631cd47680f117a43893d14ad1f5fb0bdbcffa0",
|
|
"actual_sha256": "e10deb826ef1f356e4031a6e8631cd47680f117a43893d14ad1f5fb0bdbcffa0",
|
|
"unchanged": true,
|
|
"scope": "P04-01 bounded gap/diagnostic/power evidence; no whole-unit acceptance",
|
|
"declared_status": {},
|
|
"current_acceptance_inferred": false
|
|
},
|
|
{
|
|
"path": "/Users/korizatou114/Projects/とりにく工房ゲーム制作部/artifacts/original-completion-2026-10-02/p04-01-early-destruction-failed-diagnostic-root-r01.json",
|
|
"registered_sha256": "aaf88d286ae40e6c23e04a840b3a903f612f34071d87722704d96d6873f8d214",
|
|
"actual_sha256": "aaf88d286ae40e6c23e04a840b3a903f612f34071d87722704d96d6873f8d214",
|
|
"unchanged": true,
|
|
"scope": "P04-01 bounded gap/diagnostic/power evidence; no whole-unit acceptance",
|
|
"declared_status": {
|
|
"passed": false,
|
|
"unit_accepted": false
|
|
},
|
|
"current_acceptance_inferred": false
|
|
},
|
|
{
|
|
"path": "/Users/korizatou114/Projects/とりにく工房ゲーム制作部/artifacts/original-completion-2026-10-02/p04-01-early-destruction-failure-and-static-independent-review-r02.json",
|
|
"registered_sha256": "e24dca41d5e588915fd75028ec4a3b4467463c4198c5e78e77348d9558b84801",
|
|
"actual_sha256": "e24dca41d5e588915fd75028ec4a3b4467463c4198c5e78e77348d9558b84801",
|
|
"unchanged": true,
|
|
"scope": "P04-01 bounded gap/diagnostic/power evidence; no whole-unit acceptance",
|
|
"declared_status": {},
|
|
"current_acceptance_inferred": false
|
|
},
|
|
{
|
|
"path": "/Users/korizatou114/Projects/とりにく工房ゲーム制作部/artifacts/original-completion-2026-10-02/p04-01-early-destruction-root-review-r02.json",
|
|
"registered_sha256": "30b575d1f7e6b399be1592da539561610d80d5c8e4d185289d3758d1ff9a98f7",
|
|
"actual_sha256": "30b575d1f7e6b399be1592da539561610d80d5c8e4d185289d3758d1ff9a98f7",
|
|
"unchanged": true,
|
|
"scope": "P04-01 bounded gap/diagnostic/power evidence; no whole-unit acceptance",
|
|
"declared_status": {
|
|
"passed": true,
|
|
"unit_accepted": false
|
|
},
|
|
"current_acceptance_inferred": false
|
|
},
|
|
{
|
|
"path": "/Users/korizatou114/Projects/とりにく工房ゲーム制作部/artifacts/original-completion-2026-10-02/p04-01-early-destruction-actual-independent-review-r02.json",
|
|
"registered_sha256": "2f9fbfb283f6226622f4cd1d794ed88390852c990e4ae6be0d96e659f657538f",
|
|
"actual_sha256": "2f9fbfb283f6226622f4cd1d794ed88390852c990e4ae6be0d96e659f657538f",
|
|
"unchanged": true,
|
|
"scope": "P04-01 bounded gap/diagnostic/power evidence; no whole-unit acceptance",
|
|
"declared_status": {},
|
|
"current_acceptance_inferred": false
|
|
},
|
|
{
|
|
"path": "/Users/korizatou114/Projects/とりにく工房ゲーム制作部/artifacts/original-completion-2026-10-02/p04-01-exit-boundary-independent-static-review-r01.json",
|
|
"registered_sha256": "ef2749d7c7c846fa2f7961d3e72253fdb4e50c0fa058b3815f9ec8a8132443ad",
|
|
"actual_sha256": "ef2749d7c7c846fa2f7961d3e72253fdb4e50c0fa058b3815f9ec8a8132443ad",
|
|
"unchanged": true,
|
|
"scope": "P04-01 bounded gap/diagnostic/power evidence; no whole-unit acceptance",
|
|
"declared_status": {},
|
|
"current_acceptance_inferred": false
|
|
},
|
|
{
|
|
"path": "/Users/korizatou114/Projects/とりにく工房ゲーム制作部/artifacts/original-completion-2026-10-02/p04-01-exit-boundary-root-review-r01.json",
|
|
"registered_sha256": "5b9d96bb1932eaf6bd7012d32f6bfbd89eb0eb6543f9397663567b173e646557",
|
|
"actual_sha256": "5b9d96bb1932eaf6bd7012d32f6bfbd89eb0eb6543f9397663567b173e646557",
|
|
"unchanged": true,
|
|
"scope": "P04-01 bounded gap/diagnostic/power evidence; no whole-unit acceptance",
|
|
"declared_status": {
|
|
"passed": true,
|
|
"unit_accepted": false
|
|
},
|
|
"current_acceptance_inferred": false
|
|
},
|
|
{
|
|
"path": "/Users/korizatou114/Projects/とりにく工房ゲーム制作部/artifacts/original-completion-2026-10-02/p04-01-exit-boundary-actual-independent-review-r01.json",
|
|
"registered_sha256": "a1e4fc1311a097a5893901e6ab88b7bb958a440fec0718c680666e22831c30e0",
|
|
"actual_sha256": "a1e4fc1311a097a5893901e6ab88b7bb958a440fec0718c680666e22831c30e0",
|
|
"unchanged": true,
|
|
"scope": "P04-01 bounded gap/diagnostic/power evidence; no whole-unit acceptance",
|
|
"declared_status": {},
|
|
"current_acceptance_inferred": false
|
|
},
|
|
{
|
|
"path": "/Users/korizatou114/Projects/とりにく工房ゲーム制作部/artifacts/original-completion-2026-10-02/p04-01-midnight-boundary-independent-static-review-r01.json",
|
|
"registered_sha256": "c3f2b5d06af4ce3bb4b7d60dca41e3eb6efdc05367d8c390b13b3d7bd50f1410",
|
|
"actual_sha256": "c3f2b5d06af4ce3bb4b7d60dca41e3eb6efdc05367d8c390b13b3d7bd50f1410",
|
|
"unchanged": true,
|
|
"scope": "P04-01 real production midnight/open-service bounded evidence; no whole-unit acceptance",
|
|
"declared_status": {},
|
|
"current_acceptance_inferred": false
|
|
},
|
|
{
|
|
"path": "/Users/korizatou114/Projects/とりにく工房ゲーム制作部/artifacts/original-completion-2026-10-02/p04-01-midnight-existing-proof-reuse-r01.json",
|
|
"registered_sha256": "71f996eb0293a629f3da5daca74fa34fd6e87f299d0b5ad33442b0251054d768",
|
|
"actual_sha256": "71f996eb0293a629f3da5daca74fa34fd6e87f299d0b5ad33442b0251054d768",
|
|
"unchanged": true,
|
|
"scope": "P04-01 real production midnight/open-service bounded evidence; no whole-unit acceptance",
|
|
"declared_status": {
|
|
"unit_accepted": false
|
|
},
|
|
"current_acceptance_inferred": false
|
|
},
|
|
{
|
|
"path": "/Users/korizatou114/Projects/とりにく工房ゲーム制作部/artifacts/original-completion-2026-10-02/p04-01-midnight-boundary-root-review-r01.json",
|
|
"registered_sha256": "594fb5ec7c51995f3f423141522097969a141e62ec11fed0192e403f53f741da",
|
|
"actual_sha256": "594fb5ec7c51995f3f423141522097969a141e62ec11fed0192e403f53f741da",
|
|
"unchanged": true,
|
|
"scope": "P04-01 real production midnight/open-service bounded evidence; no whole-unit acceptance",
|
|
"declared_status": {
|
|
"passed": true,
|
|
"unit_accepted": false
|
|
},
|
|
"current_acceptance_inferred": false
|
|
},
|
|
{
|
|
"path": "/Users/korizatou114/Projects/とりにく工房ゲーム制作部/artifacts/original-completion-2026-10-02/p04-01-midnight-boundary-actual-independent-review-r01.json",
|
|
"registered_sha256": "61bfc23a4412d0c0af0ddd319ddf569c861921b1f20ac25007d38c55c5bc5d08",
|
|
"actual_sha256": "61bfc23a4412d0c0af0ddd319ddf569c861921b1f20ac25007d38c55c5bc5d08",
|
|
"unchanged": true,
|
|
"scope": "P04-01 real production midnight/open-service bounded evidence; no whole-unit acceptance",
|
|
"declared_status": {},
|
|
"current_acceptance_inferred": false
|
|
},
|
|
{
|
|
"path": "/Users/korizatou114/Projects/とりにく工房ゲーム制作部/artifacts/original-completion-2026-10-02/p04-01-automatic-patience-independent-static-review-r01.json",
|
|
"registered_sha256": "5f79fd03231abeb71b7e7cb38ebb518594a28836add3525ed9d0f3bbfebeccc7",
|
|
"actual_sha256": "5f79fd03231abeb71b7e7cb38ebb518594a28836add3525ed9d0f3bbfebeccc7",
|
|
"unchanged": true,
|
|
"scope": "P04-01 original automatic patience actual reservation release bounded evidence; no whole-unit acceptance",
|
|
"declared_status": {},
|
|
"current_acceptance_inferred": false
|
|
},
|
|
{
|
|
"path": "/Users/korizatou114/Projects/とりにく工房ゲーム制作部/artifacts/original-completion-2026-10-02/p04-01-automatic-patience-existing-proof-reuse-r01.json",
|
|
"registered_sha256": "3a7dab539dada77d03546654f3486b8df11beabf0f2d15349803c0fbe74fbef9",
|
|
"actual_sha256": "3a7dab539dada77d03546654f3486b8df11beabf0f2d15349803c0fbe74fbef9",
|
|
"unchanged": true,
|
|
"scope": "P04-01 original automatic patience actual reservation release bounded evidence; no whole-unit acceptance",
|
|
"declared_status": {
|
|
"passed": true
|
|
},
|
|
"current_acceptance_inferred": false
|
|
},
|
|
{
|
|
"path": "/Users/korizatou114/Projects/とりにく工房ゲーム制作部/artifacts/original-completion-2026-10-02/p04-01-automatic-patience-root-review-r02.json",
|
|
"registered_sha256": "cb9ccdcd057a8ea52c78e4454871cff4d497ccd779a1c468ad507226ada11974",
|
|
"actual_sha256": "cb9ccdcd057a8ea52c78e4454871cff4d497ccd779a1c468ad507226ada11974",
|
|
"unchanged": true,
|
|
"scope": "P04-01 original automatic patience actual reservation release bounded evidence; no whole-unit acceptance",
|
|
"declared_status": {
|
|
"passed": true,
|
|
"unit_accepted": false
|
|
},
|
|
"current_acceptance_inferred": false
|
|
},
|
|
{
|
|
"path": "/Users/korizatou114/Projects/とりにく工房ゲーム制作部/artifacts/original-completion-2026-10-02/p04-01-automatic-patience-actual-independent-review-r01.json",
|
|
"registered_sha256": "275ffebf790f08a061a88f4b4e2540f356ff09773088adb632676909e24dfdd8",
|
|
"actual_sha256": "275ffebf790f08a061a88f4b4e2540f356ff09773088adb632676909e24dfdd8",
|
|
"unchanged": true,
|
|
"scope": "P04-01 original automatic patience actual reservation release bounded evidence; no whole-unit acceptance",
|
|
"declared_status": {},
|
|
"current_acceptance_inferred": false
|
|
},
|
|
{
|
|
"path": "/Users/korizatou114/Projects/とりにく工房ゲーム制作部/artifacts/original-completion-2026-10-02/p04-01-formal-boundary-reload-independent-failure-review-r02.json",
|
|
"registered_sha256": "690eb0260f492d711eb2a25514d1a9b99de3ff2330ae9c85a6118a2aa8def7ac",
|
|
"actual_sha256": "690eb0260f492d711eb2a25514d1a9b99de3ff2330ae9c85a6118a2aa8def7ac",
|
|
"unchanged": true,
|
|
"scope": "P04-01 finite candidate correction/formal boundary restart/exact full/adoption evidence; no whole-unit acceptance",
|
|
"declared_status": {
|
|
"unit_accepted": false
|
|
},
|
|
"current_acceptance_inferred": false
|
|
},
|
|
{
|
|
"path": "/Users/korizatou114/Projects/とりにく工房ゲーム制作部/artifacts/original-completion-2026-10-02/p04-01-overdue-exit-validation-independent-static-review-r01.json",
|
|
"registered_sha256": "16484fdfc26cda498abe300ab7418df2ed4070807daeaf0547ae1ff64b96b38e",
|
|
"actual_sha256": "16484fdfc26cda498abe300ab7418df2ed4070807daeaf0547ae1ff64b96b38e",
|
|
"unchanged": true,
|
|
"scope": "P04-01 finite candidate correction/formal boundary restart/exact full/adoption evidence; no whole-unit acceptance",
|
|
"declared_status": {
|
|
"unit_accepted": false
|
|
},
|
|
"current_acceptance_inferred": false
|
|
},
|
|
{
|
|
"path": "/Users/korizatou114/Projects/とりにく工房ゲーム制作部/artifacts/original-completion-2026-10-02/p04-01-formal-boundary-reload-root-review-r04/review.json",
|
|
"registered_sha256": "49432eeec5acd04e7f7b804160780bdb89739e45621069ac0e0a41b7ceb9de4e",
|
|
"actual_sha256": "49432eeec5acd04e7f7b804160780bdb89739e45621069ac0e0a41b7ceb9de4e",
|
|
"unchanged": true,
|
|
"scope": "P04-01 finite candidate correction/formal boundary restart/exact full/adoption evidence; no whole-unit acceptance",
|
|
"declared_status": {
|
|
"passed": true,
|
|
"normal_OS_accepted": false,
|
|
"Windows_accepted": false,
|
|
"D05_resolved": false,
|
|
"unit_accepted": false
|
|
},
|
|
"current_acceptance_inferred": false
|
|
},
|
|
{
|
|
"path": "/Users/korizatou114/Projects/とりにく工房ゲーム制作部/artifacts/original-completion-2026-10-02/p04-01-formal-boundary-reload-actual-independent-review-r03.json",
|
|
"registered_sha256": "8ecdde2c88f7f56cf0b212095ac2b109398426ff7b0ee1e3a97e01ac84a7e235",
|
|
"actual_sha256": "8ecdde2c88f7f56cf0b212095ac2b109398426ff7b0ee1e3a97e01ac84a7e235",
|
|
"unchanged": true,
|
|
"scope": "P04-01 finite candidate correction/formal boundary restart/exact full/adoption evidence; no whole-unit acceptance",
|
|
"declared_status": {
|
|
"D05_resolved": false,
|
|
"normal_OS_accepted": false,
|
|
"Windows_accepted": false,
|
|
"unit_accepted": false
|
|
},
|
|
"current_acceptance_inferred": false
|
|
},
|
|
{
|
|
"path": "/Users/korizatou114/Projects/とりにく工房ゲーム制作部/artifacts/original-completion-2026-10-02/p04-01-overdue-exit-final-full-root-review-r01/review.json",
|
|
"registered_sha256": "cbabbb9f6604cd58b5253b2d3e18b21f6ef272958c2bd65d05904f7d86958dca",
|
|
"actual_sha256": "cbabbb9f6604cd58b5253b2d3e18b21f6ef272958c2bd65d05904f7d86958dca",
|
|
"unchanged": true,
|
|
"scope": "P04-01 finite candidate correction/formal boundary restart/exact full/adoption evidence; no whole-unit acceptance",
|
|
"declared_status": {
|
|
"passed": true
|
|
},
|
|
"current_acceptance_inferred": false
|
|
},
|
|
{
|
|
"path": "/Users/korizatou114/Projects/とりにく工房ゲーム制作部/artifacts/original-completion-2026-10-02/p04-01-overdue-exit-final-candidate-independent-review-r01.json",
|
|
"registered_sha256": "678ca9ad1ffddf828016e0cdd04e8817822859a25da00f1f7d4c2f6ee108d8fd",
|
|
"actual_sha256": "678ca9ad1ffddf828016e0cdd04e8817822859a25da00f1f7d4c2f6ee108d8fd",
|
|
"unchanged": true,
|
|
"scope": "P04-01 finite candidate correction/formal boundary restart/exact full/adoption evidence; no whole-unit acceptance",
|
|
"declared_status": {
|
|
"unit_accepted": false,
|
|
"D05_resolved": false,
|
|
"normal_OS_accepted": false,
|
|
"Windows_accepted": false
|
|
},
|
|
"current_acceptance_inferred": false
|
|
},
|
|
{
|
|
"path": "/Users/korizatou114/Projects/とりにく工房ゲーム制作部/artifacts/original-completion-2026-10-02/p04-01-overdue-exit-source-adoption-r01/adoption.json",
|
|
"registered_sha256": "df25c45b14b62db9fb28e9edcc51923ab5bfbeff26056bd6cbafbe6715e70940",
|
|
"actual_sha256": "df25c45b14b62db9fb28e9edcc51923ab5bfbeff26056bd6cbafbe6715e70940",
|
|
"unchanged": true,
|
|
"scope": "P04-01 finite candidate correction/formal boundary restart/exact full/adoption evidence; no whole-unit acceptance",
|
|
"declared_status": {
|
|
"passed": true
|
|
},
|
|
"current_acceptance_inferred": false
|
|
},
|
|
{
|
|
"path": "/Users/korizatou114/Projects/とりにく工房ゲーム制作部/artifacts/original-completion-2026-10-02/p04-01-power-formal-recovery-local-seal-r04.json",
|
|
"registered_sha256": "0b9e7f3ca62c9dc8d830fc17407da94bf46a062b9749b275ba0ffcaaf639ee20",
|
|
"actual_sha256": "0b9e7f3ca62c9dc8d830fc17407da94bf46a062b9749b275ba0ffcaaf639ee20",
|
|
"unchanged": true,
|
|
"scope": "P04-01 freshPID public power recovery original service and current seven-domain draft evidence; no whole-unit acceptance",
|
|
"declared_status": {},
|
|
"current_acceptance_inferred": false
|
|
},
|
|
{
|
|
"path": "/Users/korizatou114/Projects/とりにく工房ゲーム制作部/artifacts/original-completion-2026-10-02/p04-01-power-formal-recovery-independent-static-review-r03.json",
|
|
"registered_sha256": "140362e6d769525e8aac821e7a3b571bffd3616d26b56f94cc6610d994f30ec7",
|
|
"actual_sha256": "140362e6d769525e8aac821e7a3b571bffd3616d26b56f94cc6610d994f30ec7",
|
|
"unchanged": true,
|
|
"scope": "P04-01 freshPID public power recovery original service and current seven-domain draft evidence; no whole-unit acceptance",
|
|
"declared_status": {
|
|
"unit_accepted": false,
|
|
"D05_resolved": false
|
|
},
|
|
"current_acceptance_inferred": false
|
|
},
|
|
{
|
|
"path": "/Users/korizatou114/Projects/とりにく工房ゲーム制作部/artifacts/original-completion-2026-10-02/p04-01-power-formal-recovery-failure-attribution-independent-review-r03.json",
|
|
"registered_sha256": "eeb221d2c8e49878a0f9818fa6c1f9db9a595f4d69c57fe3521d6d188723c4a6",
|
|
"actual_sha256": "eeb221d2c8e49878a0f9818fa6c1f9db9a595f4d69c57fe3521d6d188723c4a6",
|
|
"unchanged": true,
|
|
"scope": "P04-01 freshPID public power recovery original service and current seven-domain draft evidence; no whole-unit acceptance",
|
|
"declared_status": {
|
|
"unit_accepted": false
|
|
},
|
|
"current_acceptance_inferred": false
|
|
},
|
|
{
|
|
"path": "/Users/korizatou114/Projects/とりにく工房ゲーム制作部/artifacts/original-completion-2026-10-02/p04-01-power-formal-recovery-root-review-r05/review.json",
|
|
"registered_sha256": "aff6056537dc6b2c923419c340f2707a7d53efeff6ea93e239e9e66839f1e289",
|
|
"actual_sha256": "aff6056537dc6b2c923419c340f2707a7d53efeff6ea93e239e9e66839f1e289",
|
|
"unchanged": true,
|
|
"scope": "P04-01 freshPID public power recovery original service and current seven-domain draft evidence; no whole-unit acceptance",
|
|
"declared_status": {
|
|
"passed": true,
|
|
"product_source_changes": 0,
|
|
"D05_resolved": false,
|
|
"unit_accepted": false,
|
|
"Windows_accepted": false,
|
|
"normal_OS_accepted": false
|
|
},
|
|
"current_acceptance_inferred": false
|
|
},
|
|
{
|
|
"path": "/Users/korizatou114/Projects/とりにく工房ゲーム制作部/artifacts/original-completion-2026-10-02/p04-01-power-formal-recovery-full-reuse-r04.json",
|
|
"registered_sha256": "ecd8fdfb7650abe7eadc2c9588a281216005b919029f8278ebec997b9de614f5",
|
|
"actual_sha256": "ecd8fdfb7650abe7eadc2c9588a281216005b919029f8278ebec997b9de614f5",
|
|
"unchanged": true,
|
|
"scope": "P04-01 freshPID public power recovery original service and current seven-domain draft evidence; no whole-unit acceptance",
|
|
"declared_status": {
|
|
"passed": true,
|
|
"product_source_changes": 0,
|
|
"unit_accepted": false
|
|
},
|
|
"current_acceptance_inferred": false
|
|
},
|
|
{
|
|
"path": "/Users/korizatou114/Projects/とりにく工房ゲーム制作部/artifacts/original-completion-2026-10-02/p04-01-current-order-evidence-matrix-r03/matrix.json",
|
|
"registered_sha256": "9e4686031332ff3c023fea7e3c1591712dc3e8227046dc32fc56ca0042289f08",
|
|
"actual_sha256": "9e4686031332ff3c023fea7e3c1591712dc3e8227046dc32fc56ca0042289f08",
|
|
"unchanged": true,
|
|
"scope": "P04-01 freshPID public power recovery original service and current seven-domain draft evidence; no whole-unit acceptance",
|
|
"declared_status": {
|
|
"D05_resolved": false,
|
|
"unit_accepted": false
|
|
},
|
|
"current_acceptance_inferred": false
|
|
},
|
|
{
|
|
"path": "/Users/korizatou114/Projects/とりにく工房ゲーム制作部/artifacts/original-completion-2026-10-02/p04-01-current-order-evidence-matrix-r03/ORDER_CONTRACT_DRAFT.md",
|
|
"registered_sha256": "c4dd8b907321b8859ba0744b9ae3d1447615d98fbe548983f9bb9fcad2d9d989",
|
|
"actual_sha256": "c4dd8b907321b8859ba0744b9ae3d1447615d98fbe548983f9bb9fcad2d9d989",
|
|
"unchanged": true,
|
|
"scope": "P04-01 freshPID public power recovery original service and current seven-domain draft evidence; no whole-unit acceptance",
|
|
"declared_status": {},
|
|
"current_acceptance_inferred": false
|
|
},
|
|
{
|
|
"path": "/Users/korizatou114/Projects/とりにく工房ゲーム制作部/artifacts/original-completion-2026-10-02/p04-01-power-formal-recovery-actual-independent-review-r04.json",
|
|
"registered_sha256": "7ae5702cd20d267bbf54cfafd89e1f7b5542c91073b04b8b958b380b19147ef5",
|
|
"actual_sha256": "7ae5702cd20d267bbf54cfafd89e1f7b5542c91073b04b8b958b380b19147ef5",
|
|
"unchanged": true,
|
|
"scope": "P04-01 freshPID public power recovery original service and current seven-domain draft evidence; no whole-unit acceptance",
|
|
"declared_status": {
|
|
"product_source_changes": 0,
|
|
"unit_accepted": false,
|
|
"D05_resolved": false,
|
|
"normal_OS_accepted": false,
|
|
"Windows_accepted": false
|
|
},
|
|
"current_acceptance_inferred": false
|
|
}
|
|
],
|
|
"evidence_reference_count": 39,
|
|
"all_references_unchanged": true,
|
|
"historical_matrix_sha256": "9e4686031332ff3c023fea7e3c1591712dc3e8227046dc32fc56ca0042289f08",
|
|
"domains": [
|
|
{
|
|
"domain": "閉店",
|
|
"observed_order": "施設処理で営業ポリシーを適用し、後続FACILITY_QUEUESで閉店待機列を解放する。開始済serviceの方針は未確定。",
|
|
"proof": "一致版business/operations関連回帰は部分適用。open serviceの00:00課金を閉店条件へ転用しない。",
|
|
"remaining": "D05:閉店後開始済service継続/中断の確定と依存する境界証拠",
|
|
"applicability": "Historical artifact bytes verified and direct ordering functions unchanged; current source/config/input/environment and changed path/arrival/save dependencies still require condition-specific applicability. No blanket current native acceptance.",
|
|
"status": "pending_D05_and_dependent_boundary_evidence"
|
|
},
|
|
{
|
|
"domain": "停電",
|
|
"observed_order": "APPLY_COMMANDS→MANA→FACILITY_COMPLETION。960停電でACTIVE44をPAUSED44に保ち、961停止を保持する。",
|
|
"proof": "元formal停止961/復電962の各4membersを全保持コピー。fresh Reader A/Bで公開復電操作→962元recovered全literal一致、同予約一回消費/通知1、963経済全不変/在庫clock以外全不変を独立受入。",
|
|
"remaining": "有限条件の証拠適用性を原7種規約の全条件レビューで確認",
|
|
"applicability": "Historical artifact bytes verified and direct ordering functions unchanged; current source/config/input/environment and changed path/arrival/save dependencies still require condition-specific applicability. No blanket current native acceptance.",
|
|
"status": "historical_finite_evidence_preserved_current_applicability_pending"
|
|
},
|
|
{
|
|
"domain": "破壊",
|
|
"observed_order": "command破壊はAPPLY_COMMANDSで先行。automatic Event破壊はINCIDENTSで施設完了後。入口を区別する。",
|
|
"proof": "先行破壊は失敗44/課金0/同予約release一回。後段破壊は完了45後破壊、未完了は次分に無課金失敗/予約release。原formal状態の別PID/全通常tick一致。",
|
|
"remaining": "具体的な有限ケースを原条件全体へ広げず、更新規約の全条件適合性レビュー",
|
|
"applicability": "Historical artifact bytes verified and direct ordering functions unchanged; current source/config/input/environment and changed path/arrival/save dependencies still require condition-specific applicability. No blanket current native acceptance.",
|
|
"status": "historical_finite_evidence_preserved_current_applicability_pending"
|
|
},
|
|
{
|
|
"domain": "退出",
|
|
"observed_order": "公開leave commandは受付処理前。自動patience放棄/同予約解放はFACILITY_QUEUES。後続再計画/予定退出はAI_DECISIONS。LEAVINGから次分にdespawn。",
|
|
"proof": "同分service完了消費/一回課金後退出、実queue予約の公開leave解放、自動45分patience解放/孤立0。元formal状態別PID/全通常tick一致。",
|
|
"remaining": "有限Guest/予約条件の適用性を規約全条件レビューで確認",
|
|
"applicability": "Historical artifact bytes verified and direct ordering functions unchanged; current source/config/input/environment and changed path/arrival/save dependencies still require condition-specific applicability. No blanket current native acceptance.",
|
|
"status": "historical_finite_evidence_preserved_current_applicability_pending"
|
|
},
|
|
{
|
|
"domain": "課金",
|
|
"observed_order": "施設完了取引が確定した後に通知scopeを公開する。停止/失敗時は進捗と予約を保持/解放する。",
|
|
"proof": "P04-02正式完了の4領域と現一致版full、P04-01有償service境界の全帳簿/通知/予約状態。原価格時間を保持。",
|
|
"remaining": "未確定閉店/勤務終端の課金境界を承認後必要分だけ補完",
|
|
"applicability": "Historical artifact bytes verified and direct ordering functions unchanged; current source/config/input/environment and changed path/arrival/save dependencies still require condition-specific applicability. No blanket current native acceptance.",
|
|
"status": "pending_D05_and_dependent_boundary_evidence"
|
|
},
|
|
{
|
|
"domain": "シフト交代",
|
|
"observed_order": "施設完了がAIのスタッフ勤務/通勤/出勤投影更新より先。18:00ちょうどの最終区間の解釈は未確定。",
|
|
"proof": "通常shift/payroll回帰と原1080診断の観測を保持。診断predicate失敗を原本違反へ格上げしない。",
|
|
"remaining": "D05:18:00最終勤務区間の確定/勤務終了先行の意味を確定",
|
|
"applicability": "Historical artifact bytes verified and direct ordering functions unchanged; current source/config/input/environment and changed path/arrival/save dependencies still require condition-specific applicability. No blanket current native acceptance.",
|
|
"status": "pending_D05_and_dependent_boundary_evidence"
|
|
},
|
|
{
|
|
"domain": "00:00決算",
|
|
"observed_order": "TIME_BOUNDARIESのOperations決算は施設完了より先。終了Day1 [0,1440)の帳簿と同分1440service売上の時間区分を区別。",
|
|
"proof": "本番決算/payroll/upkeep各一回→同分service25一回、1441全帳簿/履歴不変。原formal状態別PID/全通常tick一致。fixture給与0は非ゼロ同分給与証拠に数えない。",
|
|
"remaining": "原本/承認済み決算時刻と更新規約全条件への適合性を最終レビュー",
|
|
"applicability": "Historical artifact bytes verified and direct ordering functions unchanged; current source/config/input/environment and changed path/arrival/save dependencies still require condition-specific applicability. No blanket current native acceptance.",
|
|
"status": "historical_finite_evidence_preserved_current_applicability_pending"
|
|
}
|
|
],
|
|
"D05": {
|
|
"id": "D05",
|
|
"title": "同時発生と安全処理",
|
|
"details": "EV／搬送停止、費用時点、日跨ぎ順序の未確定部分。承認済み維持費時点を再確認しない。",
|
|
"needed_at": "更新規約の凍結",
|
|
"independent_work": "原状保持と重複防止、具体的な境界事例を作る。",
|
|
"kind": "implementation_contract"
|
|
},
|
|
"D05_resolved": false,
|
|
"A01_reopened": false,
|
|
"runtime_delta_scope": "Since registered deb1bcb base: extracted shared build precheck plus preview API; direct20 order-function bodies unchanged. This does not establish every transitive path/save dependency unchanged from historical1299.",
|
|
"existing_runner_work_reused": {
|
|
"worktree": "/Users/korizatou114/Projects/TheTree-managed-worktrees/p04-01/P04-01-implement",
|
|
"submitted": "a19737b1606ba360a18c8fe0914594f038034924",
|
|
"state_observed": "repair_pending",
|
|
"audit_sha256": "f1a8ecb09975092ff7f1165e7812ee5e984a18e85cf0c3121f1435119d4dfdaf",
|
|
"reimplementation_started": false
|
|
},
|
|
"no_engine_runs": true,
|
|
"product_source_changes": 0,
|
|
"formal_credit": 0,
|
|
"remaining": [
|
|
"D05残り: 関連施設休業時の開始済サービス停止/継続と18:00完了・交代順序の仕様選択。直接のoperator休業は既存D-034記録に従う。",
|
|
"D05確定後に依存する閉店/シフト/課金境界の必要分だけ補完し、停止中課金・二重決算・予約孤立の実状態を照合する。",
|
|
"他4領域の既存有限証拠は版・入力・設定・環境・依存差分を確認して再利用する。現ファイル一致だけで旧全1299/172回帰を現版受入へ転用しない。",
|
|
"同じ原P04-01全条件の独立レビュー・登録validate・統合/final/台帳。P23全177をP04の不足境界証拠に代用しない。"
|
|
],
|
|
"clarified_existing_direct_closure": {
|
|
"source": "docs/DESIGN_DECISIONS.md:254/258",
|
|
"sha256": "3ef116b7a588a12eb0ca6f4352126d9171f72e18091fe745a3ebb0824ece8adf",
|
|
"scope": "Only direct operator_open closure clause: stop new admission, release queue, continue already-started service. Do not reuse legacy06:00 financial-day prose or unrelated balance values.",
|
|
"qa_source": "docs/qa/P1_BUSINESS_MANAGEMENT.md:9",
|
|
"actual_source": "scripts/facility/facility_service.gd:594/853",
|
|
"approval_basis": "Existing local D-034 explicitly records approvedPLAY-05; this audit does not add approval or treat new choices as approved."
|
|
},
|
|
"pending_owner_policy_choices": {
|
|
"proposal": "D05_POLICY_CANDIDATE.md",
|
|
"actual_opus": "OPUS_D05_CANDIDATE.json",
|
|
"questions_sent": true,
|
|
"answer_received": false,
|
|
"dependent_policy_implementation_started": false
|
|
}
|
|
}
|