From 8c36c100b2073baf8a9c536528f319a5d0837a63 Mon Sep 17 00:00:00 2001 From: Takeshi Date: Tue, 20 Oct 2026 19:56:15 +0900 Subject: [PATCH] P14-03: Record Runner formal completion; P14 package complete, units 22/88 Cite the real Runner receipts (submitted a5d2491, integrated/final b7f6168, 9/9 conditions, low findings preserved) in a new ACCEPTANCE record. Keep the x1 budget miss, x3/stall/render/Windows, the unused staff service shaft and the four low findings as separate unmet items. Pinned p06-01/p14-02 acceptance JSON unchanged; the 46-suite supplement lives in the new record. Sync P28-01 summary and gaps to the r02 measurements; next unit P28-01. Co-Authored-By: Claude Opus 5.5 --- .../IMPLEMENTATION_PLAN.md | 19 ++ .../p14-03-route-wait/ACCEPTANCE.json | 250 ++++++++++++++++++ .../plan_validation.json | 10 +- .../progress_snapshot.json | 61 +++-- .../work_packages.json | 71 ++++- 5 files changed, 381 insertions(+), 30 deletions(-) create mode 100644 docs/plans/original-completion-2026-10-02/execution/p14-03-route-wait/ACCEPTANCE.json diff --git a/docs/plans/original-completion-2026-10-02/IMPLEMENTATION_PLAN.md b/docs/plans/original-completion-2026-10-02/IMPLEMENTATION_PLAN.md index b1d355f..39ea19a 100644 --- a/docs/plans/original-completion-2026-10-02/IMPLEMENTATION_PLAN.md +++ b/docs/plans/original-completion-2026-10-02/IMPLEMENTATION_PLAN.md @@ -1,3 +1,22 @@ +## 現在の対象（2026-10-20・正式22成果／P14-03正式完了、P14パッケージ完了） + +元30パッケージ・88成果単位で、部分点はありません。正式完了は22成果、完了パッケージは4（P00、P04、P06、P14）です。 + +**P14-03「混雑と経路選択」は Runner で正式完了しました。** +- Runner の実receipt: 提出 `a5d2491`、統合・final `b7f6168`、main-base `e8b3dbe`。登録9条件すべて完了、high/medium/critical の指摘は0です。 +- 受入記録は `execution/p14-03-route-wait/ACCEPTANCE.json` です。条件表と、結合した証拠（正式全回帰192/192、Root別PID pair 5/5、代表性能r02、独立Opusレビュー PASS）を記載しています。 +- これで P14-01・02・03 の3成果がそろい、P14パッケージが完了しました。 + +**解消扱いしない別の未達**（P14の完了に含めません） +- Runner review の low 4件 +- x1 1分tick は平均約827 msで、4 ms の予算に届いていません +- x3 frame、stall、描画は未測定、Windows は未検証です +- 代表負荷で、実際の職員が業務用shaftを使う場面は実施していません + +**過去の回帰範囲の補足**: 46 suite の件は P14-03 の受入記録と各単位の訂正注記に残しました。p06-01・p14-02 の pinned ACCEPTANCE.json は改変していません。 + +**次の対象**: P28-01「現HEADの性能基準」です。現sourceの r02 実測（headless・Operations OFF・x1）を再利用し、windowed描画・x3・Operations ON と記録項目の不足分だけを埋めます。 + ## 現在の対象（2026-10-20・正式21成果／P14-03はRunnerゲート待ち） 元30パッケージ・88成果単位で、部分点はありません。正式完了は21成果、完了パッケージは3（P00、P04、P06）です。 diff --git a/docs/plans/original-completion-2026-10-02/execution/p14-03-route-wait/ACCEPTANCE.json b/docs/plans/original-completion-2026-10-02/execution/p14-03-route-wait/ACCEPTANCE.json new file mode 100644 index 0000000..df030d1 --- /dev/null +++ b/docs/plans/original-completion-2026-10-02/execution/p14-03-route-wait/ACCEPTANCE.json @@ -0,0 +1,250 @@ +{ + "unit": "P14-03", + "title": "混雑と経路選択", + "state": "completed", + "work": "客用・業務用EV、階段、ワープの待ち時間をA*費用へ反映する。", + "acceptance": "ラッシュ、相乗り、50%減速、救護同伴、経路喪失を実位置と人数で検証する。", + "product_candidate": "83b170a4c7176761b0b18d8e9292017d990e80a9", + "runner": { + "project": "the-tree-p14-03-route-wait", + "task_state": "completed", + "submitted": "a5d2491204f0604d07bfd1f1c41344a08e6f4835", + "candidate_and_integrated": "b7f6168dc8a31cdbdfb9771d583536cd6663c0dd", + "main_base": "e8b3dbe7a40a5fafb4b7e760a59536919c8c9f5a", + "registered_conditions_completed": 9, + "source_map_files": 1407, + "source_map_sha256": "146ea57fae34217239cde6d5e202cd67e1bfec70b20bccec14e0913f170c7c0f", + "source_map_equals_formal_full_run": true, + "high_medium_critical_findings": 0, + "receipts": { + "root_db_join": { + "path": "artifacts/original-completion-2026-10-02/p14-03-formal-closure-b7f6168d/ROOT_DB_JOIN.json", + "sha256": "07e855612796732b4701a0384d81c61a29918d3acd6149b63afa834991a68179" + }, + "validation": { + "path": "artifacts/original-completion-2026-10-02/p14-03-formal-closure-b7f6168d/normal-validation.json", + "sha256": "74cd08637c1ec00b3d2a2ab4fff004b622191498b902b5676c1b531dde38eda0" + }, + "review": { + "path": "artifacts/original-completion-2026-10-02/p14-03-formal-closure-b7f6168d/normal-review.json", + "sha256": "f7816f703457089a6d2bf760fc86f6bb24aba097ca53b9b53bdf33821e1f33c2" + }, + "integration": { + "path": "artifacts/original-completion-2026-10-02/p14-03-formal-closure-b7f6168d/normal-integration.json", + "sha256": "324bd3bdd94aa942c8e0a424d244d71e9c6c19470342f5100220e9683d628a6e" + }, + "final": { + "path": "artifacts/original-completion-2026-10-02/p14-03-formal-closure-b7f6168d/normal-final.json", + "sha256": "892c29f456d01d1bf3cef98106387dfc94d9a1378efe0f08761525f5327e05b7" + }, + "traceability": { + "path": "artifacts/original-completion-2026-10-02/p14-03-formal-closure-b7f6168d/normal-traceability.json", + "sha256": "08bdc3647eee15b2a17d3a2fbe7d7981d518bcfcd0bf03655ceb1a824175d1e7" + }, + "registered_acceptance_baseline": { + "path": "artifacts/original-completion-2026-10-02/p14-03-formal-closure-b7f6168d/registered-acceptance-baseline.json", + "sha256": "cd2b4f4df25a5d2a8e52df08d97be452b6bd00baa561f8a862d4cc2a5e90af7c" + }, + "owner_input_binding": { + "path": "artifacts/original-completion-2026-10-02/p14-03-formal-closure-b7f6168d/owner-input-binding.json", + "sha256": "5b57672a42bccca559dcc010d57bf12bfdff595df30cd1856d5db413e8075788" + }, + "owner_review_finished": { + "path": "artifacts/original-completion-2026-10-02/p14-03-formal-closure-b7f6168d/owner-review-finished.json", + "sha256": "fa5f2c650af54e3321f3bddb76f9c3ea49ba9b77398ae80dd45f6eeb8d60e71c" + } + }, + "gate_payload": { + "verify_p14_03_evidence.py": { + "path": "docs/plans/original-completion-2026-10-02/execution/p14-03-runner-gate/verify_p14_03_evidence.py", + "sha256": "0cb5f2b1c129aeb765241db3f41569d4bd515d583e55aa2e40723cd46bce7a6a" + }, + "EVIDENCE_BUNDLE_MANIFEST.json": { + "path": "docs/plans/original-completion-2026-10-02/execution/p14-03-runner-gate/EVIDENCE_BUNDLE_MANIFEST.json", + "sha256": "651c9932b0389b302026d7008e03dab247558b4db07f583a7208e1db4f2fdd41" + }, + "PROVENANCE.md": { + "path": "docs/plans/original-completion-2026-10-02/execution/p14-03-runner-gate/PROVENANCE.md", + "sha256": "d8a6c3ea3a70572ab4fc385d3e03600cc0174018a366f9bf82088dfa0c024835" + } + }, + "note": "Runnerの実receiptを引用。新規engine実行・実装実行は本記録で行っていない。" + }, + "bound_evidence": { + "formal_full_regression": { + "run_id": "7203a11962b14036be60830b657fafd3", + "suites": "192/192", + "checks": 22198, + "failures": 0, + "runner_input": { + "path": "artifacts/original-completion-2026-10-02/p14-03-formal-regression-83b170a-r01/runner-input.json", + "sha256": "5bc9760c0c114a80a3c9e93634e733fc8fa93d4eeea5d8bcfda85d8e4eebd094" + }, + "runner_ended": { + "path": "artifacts/original-completion-2026-10-02/p14-03-formal-regression-83b170a-r01/runner-ended.json", + "sha256": "705fb2c12007bab125548742dc8d9b07918e30cae3a63c7d89e965c43b8b5f7b" + }, + "all_tests": { + "path": "artifacts/original-completion-2026-10-02/p14-03-formal-regression-83b170a-r01/all-tests.json", + "sha256": "31da4c4672f4321469183996e12fb23064b3772a69e8330052ab3e2ea66044f1" + } + }, + "root_owned_pairs": { + "run_id": "9bb640c7a8354023aab27ef408805e19", + "pairs": "5/5", + "distinct_pids": 10, + "runner_ended": { + "path": "artifacts/original-completion-2026-10-02/p14-03-root-owned-pairs-83b170a-r01/runner-ended.json", + "sha256": "8e23cb61679e35d6ed92e312c8f2b860237170935f1d0ff010196f10b6e5eb62" + } + }, + "representative_perf_r02": { + "execution": { + "path": "artifacts/original-completion-2026-10-02/p14-03-representative-perf-r01/run-r02/execution.json", + "sha256": "553971f55635e529b48634ef86ad7d4198c8bafe04d5a6a5ef778a4de0439fc1" + }, + "readiness": { + "path": "artifacts/original-completion-2026-10-02/p14-03-representative-perf-r01/run-r02/readiness.json", + "sha256": "da93aecdd2c1648952e2a80382acb7e3f30cfe48a7e5df982315791161fedde2" + }, + "before_report": { + "path": "artifacts/original-completion-2026-10-02/p14-03-representative-perf-r01/run-r02/before/evidence/report.json", + "sha256": "a070c061ca783aaec37152bf66ad6b6e6dc69b80d9c4c024eceab916d4c5d4e9" + }, + "after_report": { + "path": "artifacts/original-completion-2026-10-02/p14-03-representative-perf-r01/run-r02/after/evidence/report.json", + "sha256": "f1d447937158a884a1b287c3b5be38b6e73b73c5d748f9576401877402dabe1b" + }, + "verdict": "収集・機能検証合格、版間比較成立。絶対予算の合格ではない。" + }, + "independent_whole_unit_review": { + "verdict": "PASS", + "request": { + "path": "artifacts/original-completion-2026-10-02/p14-03-whole-unit-review-r01/REVIEW_REQUEST.md", + "sha256": "0e53d1c1868caa165cd3df8f56d04821798c2bf2d8cb93d9d3793c5171ba77cd" + }, + "output": { + "path": "artifacts/original-completion-2026-10-02/p14-03-whole-unit-review-r01/review-output.md", + "sha256": "15046de363106ece8fdbba2f58e2b701fd6102200e2c22505bddc82d20c70794" + } + }, + "evidence_matrix": "docs/plans/original-completion-2026-10-02/execution/p14-03-route-wait/EVIDENCE_MATRIX.md" + }, + "condition_table": [ + { + "id": "P14-03", + "condition": "待ち時間のA*費用反映、ラッシュ・相乗り・50%減速・救護同伴・経路喪失を実位置と人数で検証", + "result": "達成", + "basis": "test_route_wait_choice 119 checks（実客12人ラッシュ迂回、実客6人の相乗り定員4、籠B撤去後の経路切替）、test_runtime_path_traffic:146-158（実客5人で半速）、test_rescue_elevator 30/0", + "limit": "経路喪失は出発前の喪失のみ。移動中・待機中の再計画は未試験（low）" + }, + { + "id": "P14-X1", + "condition": "原本条件とUI操作が一致", + "result": "達成", + "basis": "建設・撤去はplayer command経由。新規UI面なし" + }, + { + "id": "P14-X2", + "condition": "Runtimeの実利用・会計・行動へ接続", + "result": "達成", + "basis": "実際に歩く従業員が迂回、相乗り客はRuntime自身が乗車要求。会計は本単位で新規なし（課金はP14-02）", + "limit": "ラッシュ12人と業務用EV4人はrequest_tripで注入（low）" + }, + { + "id": "P14-X3", + "condition": "途中保存・再起動で再現", + "result": "達成", + "basis": "保存契約v2往復、旧50ceca0 v1保存の移行、Root別PID pair 5/5・10PIDのdigest一致" + }, + { + "id": "P14-X4", + "condition": "異常/境界/中断を検証", + "result": "達成", + "basis": "改ざん値0/300の原子拒否、v1非0拒否、取消、乗車中の退館指示" + }, + { + "id": "P14-X5", + "condition": "関連回帰PASS", + "result": "達成", + "basis": "正式全roster 192/192・22,198 checks・失敗0" + }, + { + "id": "P14-X6", + "condition": "要件別ログとソースハッシュを保存", + "result": "達成", + "basis": "192行すべてでsource SHAとraw log SHAが一致、source map 1407件が正式全回帰と同一" + }, + { + "id": "P14-X7", + "condition": "既存代表負荷の性能回帰を計測", + "result": "達成（計測として）", + "basis": "r02 before/after比較成立。path P95<1ms、manual約300ms、autosave約327ms、load約3.19s", + "limit": "x1 1分tickは両版約827msで4ms予算超過（未達、P28で扱う）" + }, + { + "id": "P14-X8", + "condition": "Windows部分実機確認。不可なら未検証を残す", + "result": "達成（未検証を保持）", + "basis": "Windows実機は未検証として残す" + } + ], + "preserved_low_findings": [ + { + "severity": "low", + "message": "Route loss is proven only for loss before departure: shaft B is demolished, then a new walker goes via shaft A. Replanning by an actor that loses its route mid-walk or while queued is not exercised in test_route_wait_choice. There is partial adjacent coverage: test_elevator_service releases waiting riders on outage 'for replan', and test_guest_service covers REPLANNING. The independent review also noted this. A future suite should demolish or stop the shaft while the walker is en route or queued." + }, + { + "severity": "low", + "message": "The rush (12 guests) and the service-EV queue (4 workers) are injected with elevators.request_trip directly; only the walker and the shared-cabin riders use Runtime-driven travel. The representative perf input does not make real staff use the service shaft. This is disclosed in PROVENANCE and in the verifier's not_measured_or_unmet list." + }, + { + "severity": "low", + "message": "Verifier robustness: a missing JSON key or malformed evidence makes it fail with a Python traceback (non-zero exit) instead of a structured failed check with --json output. It still fails closed, but a diagnostic is lost. The manifest itself is pinned only by git tracking, not by an internal SHA constant; this is acceptable because the commit is what gets validated." + }, + { + "severity": "low", + "message": "These are known, explicitly unaccepted items, not resolved by this unit: x1 one-minute tick ≈827 ms against the 4 ms budget in both versions, and x3 frame, main-thread stall, rendering and Windows not measured. They must stay open in the ledger and must not be counted as achieved." + } + ], + "unresolved_separate_unmet": [ + "low4件（Runner normal review）は解消扱いしない", + "x1 1分tick 平均約827ms（両版）で4ms予算未達", + "x3 frame 未測定", + "main-thread stall 未測定", + "描画 未測定", + "Windows 未検証", + "代表負荷で実職員が業務用shaftを使う場面は未実施", + "移動中・待機中に経路を失ったactorの再計画は未試験" + ], + "regression_scope_supplement": { + "affected_units": [ + "P06-01", + "P06-03", + "P14-02", + "P06-02" + ], + "statement": "当時の回帰はMakefile経由で、collector rosterのみの46 suiteを含まなかった。その範囲の回帰（v15 mana_reserve保存拒否、test_required_kitchen旧14比較、defense autonomyのマナ前提、P08 palette数）は83b170aで修正し、正式192/192・22,198 checks・失敗0で全roster合格を確認した。各単位の既存ACCEPTANCE.json（p06-01-a06、p14-02-warp等のpinned記録）は改変せず、本記録とwork_packagesの訂正注記で補足する。", + "pinned_unchanged": { + "execution/p06-01-a06/ACCEPTANCE.json": "6f471e3f32460758b8a617051a507f780d70b33f254a7910dfada87a8c5c3484", + "execution/p14-02-warp/ACCEPTANCE.json": "ac7bfd6fb88cb8ac8c195c8051ebe22ba95a6a6393342de089aae88fdcc73307" + } + }, + "decisions": [ + "A06", + "A07", + "A08" + ], + "approval": "Runner normal final completed。owner判断はユーザー委任「承認するかどうかの判断はそちらでやって、いちいち作業止めないで」に基づくRoot候補審査（ROOT_DB_JOIN）。", + "original_completed": 22, + "original_total": 88, + "whole_package_completed": "P14（P14-01/02/03全完了）", + "not_claimed": [ + "全ゲーム完成", + "Windows実機", + "性能予算達成", + "完成素材・描画目視", + "P28" + ], + "recorded_at_jst": "2026-10-20T20:00:00+09:00" +} diff --git a/docs/plans/original-completion-2026-10-02/plan_validation.json b/docs/plans/original-completion-2026-10-02/plan_validation.json index da47326..76bd039 100644 --- a/docs/plans/original-completion-2026-10-02/plan_validation.json +++ b/docs/plans/original-completion-2026-10-02/plan_validation.json @@ -204,8 +204,8 @@ "packages": 30, "remaining_delivery_units": 88, "current_package_state_counts": { - "completed": 3, - "in_progress": 27 + "completed": 4, + "in_progress": 26 }, "initial_snapshot_checked": false, "historical_source_bytes_compared": false, @@ -222,7 +222,7 @@ "ASSETS_PLATFORM_AUDIT.md": "a3a4b8ca0fb39a9abf88692285d26aa879815e092352ba304ef2758e71da50bd", "ATOMIC_REGISTER.md": "6070143b85b7c3b9b73d7c9768d88d2dae4d20407ad54a563cb6ffd74f2373ae", "ATOMIC_SEMANTIC_REVIEW.md": "c156b1fb57c2b4a900f27a19049510f3e9616e723d5edb3417f50d733de5be48", - "IMPLEMENTATION_PLAN.md": "823d559e35d5c1aac9385c5bba1ccc56e41e3c2e436e13fda1168e89c56943fb", + "IMPLEMENTATION_PLAN.md": "8f8c2666b4b0f0c0882355f5624cd5ffcdde13ebd582184158020d4ddf8852ee", "IMPORT_UNICODE_AUDIT.md": "88b2382bfbb3411fece8be7e6004ba21d8bf6a47e9d1f3cf573ea6638f79c12f", "P09_VALUE_CONTRACTS.md": "c5abdc4543e54033b1fcfd0943cba266f664d8c10968965fd36ade40da488a25", "PERFORMANCE_AUDIT.md": "c75e806acf825fc4a61f773a2cce7e71be335a1e25dbb15d98091097e8dc47c1", @@ -243,7 +243,7 @@ "facility_value_contracts_validation.json": "bf490a9ca585c48fc318e76c4a069ef244827d828d46e6415399f7710590dd16", "performance_audit.json": "0b630b15a392c3e0366f1362bfe4ddacb968f915f54549f82e4d6fa315384762", "progress_contract.json": "ccbdfce8c8365d5c13f59531955708834cce45acd0e136561c95295dfdb5df77", - "progress_snapshot.json": "111faeb32f4772fedd5ab35b723d5b975b59ab8bd913547f38fe849fc71afd8d", + "progress_snapshot.json": "9b674549a6f38d84f1097d1c7952a794a76687e9445314f75c515a9504294ad4", "progress_validator_guard_checks.json": "72ee513fcf1cad85c24bfd0a4b472f425f6acf117928ece0f6b41e29018da627", "progress_validator_guard_checks.r01.json": "14c26adffa5a1938241db4912e50ea54b660641ee6fee2e412d467dce14d0519", "requirement_coverage.json": "03b10e4da367579db502d0671a6e0dda36fd385111c6f1c0084acaff7605f593", @@ -253,6 +253,6 @@ "validate_facility_value_contracts.py": "91640e2a76cd6cc9186f7b85c0bf379b24b6cac0d48962815235ee628e7ae43e", "validate_plan.py": "4973d3c2797289d266f5c6e7c36f3d2c31931b23a1022eab3d94328267bcc1b4", "validator_update_checks.json": "f997d0f3de2cea29550840b1d5cb23647d64f81329de46758551e2b6c8fecc27", - "work_packages.json": "e1cd56f1fff8a4787d0e378e8b271a59f45b261baff93227f0832d9854996413" + "work_packages.json": "6a280f07dd1cac1e62c0f9473112f99ce3af27cd3330428046cd336364700d2d" } } diff --git a/docs/plans/original-completion-2026-10-02/progress_snapshot.json b/docs/plans/original-completion-2026-10-02/progress_snapshot.json index d7b420d..8601e8c 100644 --- a/docs/plans/original-completion-2026-10-02/progress_snapshot.json +++ b/docs/plans/original-completion-2026-10-02/progress_snapshot.json @@ -151,12 +151,12 @@ "scope": "Base defect reproduction and isolated candidate checks; normal source adoption and merged regression require their own evidence." }, "current_package_state_counts": { - "completed": 3, - "in_progress": 27 + "completed": 4, + "in_progress": 26 }, "current_delivery_state_counts": { - "completed": 21, - "in_progress": 20, + "completed": 22, + "in_progress": 19, "planned": 47 }, "completed_current_deliveries": [ @@ -175,6 +175,7 @@ "P13-03", "P14-01", "P14-02", + "P14-03", "P19-03", "P22-01", "P23-01", @@ -184,7 +185,8 @@ ], "whole_packages_newly_completed": [ "P04", - "P06" + "P06", + "P14" ], "remaining_acceptance": [ "原子条件の8観点と適用外/独立判定者", @@ -4547,7 +4549,7 @@ } }, "known_original_principal_profit_difference_unresolved": 0, - "next_priority_original_principal_profit": "Current: P14-03 Runner gate on 83b170a (no rerun; evidence binding). Next unit: P28-01 current-HEAD performance baseline.", + "next_priority_original_principal_profit": "P14-03 formally closed by Runner (b7f6168). Next unit: P28-01 current-HEAD performance baseline.", "historical_before_original_profit_fix_original_principal_profit_reproduction_checkpoint": { "issued_by": "/root", "linked_at_jst": "2026-10-09T07:29:13.140774+09:00", @@ -5245,16 +5247,14 @@ "sha256": "45845238d8a73b84fd346f2d834ee4aaa12d32b45367ea0952b523db9b2523d9" }, "next_single_delivery_unit": { - "id": "P14-03", - "title": "混雑と経路選択", + "id": "P28-01", + "title": "現HEADの性能基準", "state": "in_progress", "completed": false, - "candidate_commit": "83b170a4c7176761b0b18d8e9292017d990e80a9", - "current_gate_status": "independent Opus review PASS; awaiting Runner registration/validate/review/integration/final", - "runner_gate_proposal": "artifacts/original-completion-2026-10-02/p14-03-runner-gate-r01/REGISTRATION_PROPOSAL.json", - "original_completed": 21, - "original_total": 88, - "next_after": "P28-01" + "reusable_evidence": "artifacts/original-completion-2026-10-02/p14-03-representative-perf-r01/run-r02/execution.json", + "remaining": "windowed描画・x3・Operations ON・機種/build/seed/速度/区間/平均/P95/最大の記録", + "original_completed": 22, + "original_total": 88 }, "current_P14_01_contract_audit": { "audit": "artifacts/original-completion-2026-10-02/p14-01-current-contract-audit-r01/audit.json", @@ -9721,7 +9721,7 @@ "execution": "the-tree-p06-01 Runner; recorded Claude decision, one Codex implementer", "current_gate_status": "not implemented or executed; formal completion not accepted" }, - "next_closure_plan_id": "P14-03", + "next_closure_plan_id": "P28-01", "p24_03_formal_closure": "docs/plans/original-completion-2026-10-02/execution/p24-03-formal-closure-r01/closure.json", "new_engine_run_scope": "Supplemental positive metadata diagnostic r01 failed cleanup preparation/log isolation; r02 passed17checks unchanged source and entire default profile. No duplicated full game regression.", "current_closure_targets": { @@ -10845,5 +10845,36 @@ "next_closure_plan_id": "P06-02", "next_priority_original_principal_profit": "P04 existingD05 answers pending; current independent nextwholeunit P26-01 actualOpus selected. PriorP06 evidence retained, no activeworker.", "next_priority_p06": "Deferred existingP06 original conditions; no duplicate run. CurrentfocusP26-01." + }, + "historical_next_before_P14_03_closure": { + "next_single_delivery_unit": { + "id": "P14-03", + "title": "混雑と経路選択", + "state": "in_progress", + "completed": false, + "candidate_commit": "83b170a4c7176761b0b18d8e9292017d990e80a9", + "current_gate_status": "independent Opus review PASS; awaiting Runner registration/validate/review/integration/final", + "runner_gate_proposal": "artifacts/original-completion-2026-10-02/p14-03-runner-gate-r01/REGISTRATION_PROPOSAL.json", + "original_completed": 21, + "original_total": 88, + "next_after": "P28-01" + }, + "next_closure_plan_id": "P14-03", + "next_priority_original_principal_profit": "Current: P14-03 Runner gate on 83b170a (no rerun; evidence binding). Next unit: P28-01 current-HEAD performance baseline." + }, + "current_p14_03_route_wait_completion": { + "unit": "P14-03", + "candidate": "83b170a4c7176761b0b18d8e9292017d990e80a9", + "runner_submitted": "a5d2491204f0604d07bfd1f1c41344a08e6f4835", + "runner_integrated_final": "b7f6168dc8a31cdbdfb9771d583536cd6663c0dd", + "main_base": "e8b3dbe7a40a5fafb4b7e760a59536919c8c9f5a", + "acceptance": "docs/plans/original-completion-2026-10-02/execution/p14-03-route-wait/ACCEPTANCE.json", + "acceptance_sha256": "14967ffbfdbf9578fd1747024f7e4bdadca6754419d76a59024e1c4e5d973e75", + "root_db_join_sha256": "07e855612796732b4701a0384d81c61a29918d3acd6149b63afa834991a68179", + "approved_at_jst": "2026-10-20T20:00:00+09:00", + "approval": "delegated_by_user", + "original_completed": 22, + "original_total": 88, + "whole_package_completed": "P14" } } diff --git a/docs/plans/original-completion-2026-10-02/work_packages.json b/docs/plans/original-completion-2026-10-02/work_packages.json index b8aeb85..4312241 100644 --- a/docs/plans/original-completion-2026-10-02/work_packages.json +++ b/docs/plans/original-completion-2026-10-02/work_packages.json @@ -8252,7 +8252,7 @@ "D04", "D05" ], - "state": "in_progress", + "state": "completed", "supplement_ids": [], "owner_roles": { "implementation": "実装担当（担当者未割当）", @@ -8261,7 +8261,7 @@ }, "legacy_state": "planned", "state_scope": "package-level; completed means whole package accepted; partial implementation is not completion", - "current_summary": "採用済み1299参照は初回独立レビューと同一。初回に確認した失敗時保存保護、正常順序・型・所有権・保存復元・経路、1200Kernel ticksの全状態・イベント一致、同版172回帰14636checks/0を維持する。追加証拠で20,000セル・200客・50職員・150施設、既存施設要求200・物流要求200・イベント50の同一Operations OFF状態を採用前後で復元し、snapshot/manual/autosaveを各5試行、各64checks/0として確認。平均snapshotは75.985→74.624ms、manualは425.955→445.803ms、autosaveは280.757→297.499ms。手動保存平均19.848ms、自動保存平均16.741msの実測増加を保持し、ゼロ回帰とは扱わない。採用後保存最大515.903msは既存5秒予算内。P14-01の性能回帰測定不足B01を解消し、この成果単位のみ正式完了可と判定する。5試行の保存・snapshot測定に限定し、simulation、Operations ON、描画、全P28・全P14・全原子・完成素材・全体完成へ拡張しない。Windowsは適用ありの未検証を保持し、通常OS全受入も未完のままとする。 P14-02は2026-10-20に正式完了（8917c19、A07/A08）。P14-03は独立レビューPASS・Runnerゲート待ち（加算0）、全P14・Windows全体受入は未完。", + "current_summary": "全3成果P14-01/02/03を正式受入済み（交通の失敗時契約、A07/A08ワープ、混雑と経路選択）。x1予算未達・x3/stall/描画/Windows未測定・代表負荷の業務用shaft未使用・low4は別の未達として保持し、P14完了を全ゲーム/Windows/性能予算/P28へ転用しない。", "remaining_deliverables": [ { "id": "P14-01", @@ -8358,21 +8358,35 @@ "title": "混雑と経路選択", "work": "客用・業務用EV、階段、ワープの待ち時間をA*費用へ反映する。", "acceptance": "ラッシュ、相乗り、50%減速、救護同伴、経路喪失を実位置と人数で検証する。", - "state": "in_progress", + "state": "completed", "evidence": [ { "path": "artifacts/original-completion-2026-10-02/p14-03-whole-unit-review-r01/review-output.md", "scope": "独立Opus whole-unit review PASS（入力SHA 0e53d1c1…）。Runner final ではない。", "linked_at_jst": "2026-10-20T00:00:00+09:00" + }, + { + "path": "docs/plans/original-completion-2026-10-02/execution/p14-03-route-wait/ACCEPTANCE.json", + "sha256_at_integration": "14967ffbfdbf9578fd1747024f7e4bdadca6754419d76a59024e1c4e5d973e75", + "scope": "Runner正式完了（submitted a5d2491、integrated/final b7f6168、9/9条件、high/medium/critical 0、low4保持）。正式全回帰・Root pair・代表性能r02・独立reviewを結合。P14-03のみ。", + "linked_at_jst": "2026-10-20T20:00:00+09:00" } ], - "progress_summary": "正確候補83b170a：shaft全体の待ちをA*費用へ、保存契約v2（v1は導出して移行、v2は導出値不一致を改ざん0含め原子拒否、正常v2は往復）、乗車中の客を籠内で退館させない修正。正式全回帰192/192・22198 checks・失敗0、Root別PID pair 5/5・10PID、代表性能r02（収集と機能検証は合格・比較成立、x1は両版約827msで4ms予算超過）、独立Opus whole-unit review PASS。skill契約によりRunnerの正式ゲート（登録・validate・review・統合final）待ちで加算0。", + "progress_summary": "正確候補83b170a（Runner提出a5d2491・統合final b7f6168）：shaft全体の待ちをA*費用へ、保存契約v2（v1移行・v2導出値不一致の原子拒否）、乗車中の客を籠内で退館させない修正。正式全回帰192/192・22198 checks・失敗0、Root別PID pair 5/5・10PID、代表性能r02比較成立、独立Opus review PASS、Runner validation/review/integration/final完了（9/9）。", "remaining_gaps": [ - "Runner登録とvalidate/review/integration/final（登録案と検証器: artifacts/original-completion-2026-10-02/p14-03-runner-gate-r01/）", + "low4（経路喪失は出発前のみ・ラッシュ/業務用EVは注入・verifier診断性・性能未達）は解消扱いしない", "代表負荷で実職員が業務用shaftを使う場面は未実施", - "x3 frame / stall / 描画 / Windows は未測定（x1は両版とも予算超過、P28で扱う）" + "x1 1分tick約827msで4ms予算未達、x3 frame/stall/描画/Windowsは未測定（P28で扱う）" ], - "updated_at_jst": "2026-10-20T00:00:00+09:00" + "updated_at_jst": "2026-10-20T20:00:00+09:00", + "completion_acceptance": { + "path": "docs/plans/original-completion-2026-10-02/execution/p14-03-route-wait/ACCEPTANCE.json", + "sha256": "14967ffbfdbf9578fd1747024f7e4bdadca6754419d76a59024e1c4e5d973e75", + "candidate": "83b170a4c7176761b0b18d8e9292017d990e80a9", + "runner_submitted": "a5d2491204f0604d07bfd1f1c41344a08e6f4835", + "runner_integrated": "b7f6168dc8a31cdbdfb9771d583536cd6663c0dd", + "owner_approval": "delegated_by_user 2026-10-20（Root候補審査、ROOT_DB_JOIN）" + } } ], "estimate_person_days_historical_2026_09_29": [ @@ -8400,7 +8414,28 @@ ], "cross_cutting_acceptance_scope": "Completion requirements only, not achieved results. Apply each to relevant slices; non-applicable views require a recorded reason.", "initial_revision_state": "in_progress", - "updated_at_jst": "2026-10-10T06:20:21.369980+09:00" + "updated_at_jst": "2026-10-20T20:00:00+09:00", + "historical_summary_before_formal_closure": "採用済み1299参照は初回独立レビューと同一。初回に確認した失敗時保存保護、正常順序・型・所有権・保存復元・経路、1200Kernel ticksの全状態・イベント一致、同版172回帰14636checks/0を維持する。追加証拠で20,000セル・200客・50職員・150施設、既存施設要求200・物流要求200・イベント50の同一Operations OFF状態を採用前後で復元し、snapshot/manual/autosaveを各5試行、各64checks/0として確認。平均snapshotは75.985→74.624ms、manualは425.955→445.803ms、autosaveは280.757→297.499ms。手動保存平均19.848ms、自動保存平均16.741msの実測増加を保持し、ゼロ回帰とは扱わない。採用後保存最大515.903msは既存5秒予算内。P14-01の性能回帰測定不足B01を解消し、この成果単位のみ正式完了可と判定する。5試行の保存・snapshot測定に限定し、simulation、Operations ON、描画、全P28・全P14・全原子・完成素材・全体完成へ拡張しない。Windowsは適用ありの未検証を保持し、通常OS全受入も未完のままとする。 P14-02は2026-10-20に正式完了（8917c19、A07/A08）。P14-03は独立レビューPASS・Runnerゲート待ち（加算0）、全P14・Windows全体受入は未完。", + "completion_evidence": [ + { + "delivery_id": "P14-01", + "state": "completed", + "evidence_reference": "work_packages.json:P14.remaining_deliverables.P14-01.evidence", + "evidence_count": 6 + }, + { + "delivery_id": "P14-02", + "state": "completed", + "evidence_reference": "work_packages.json:P14.remaining_deliverables.P14-02.evidence", + "evidence_count": 2 + }, + { + "delivery_id": "P14-03", + "state": "completed", + "evidence_reference": "work_packages.json:P14.remaining_deliverables.P14-03.evidence", + "evidence_count": 2 + } + ] }, { "id": "P15", @@ -18097,10 +18132,26 @@ "scope": "Micro only: 53 wholetyped pairs/120 literal same-call return bytes; macro scale P28 not accepted", "linked_at_jst": "2026-10-02T20:20:56.571408+09:00", "current_game_acceptance_inferred": false + }, + { + "path": "artifacts/original-completion-2026-10-02/p14-03-representative-perf-r01/run-r02/execution.json", + "sha256_at_integration": "553971f55635e529b48634ef86ad7d4198c8bafe04d5a6a5ef778a4de0439fc1", + "scope": "P14-03代表性能r02（headless、Operations OFF、x1のみ）。P28-01の再利用可能な部分証拠で受入ではない。", + "linked_at_jst": "2026-10-20T20:00:00+09:00", + "current_game_acceptance_inferred": false } ], - "updated_at_jst": "2026-10-02T08:00:40.618838+09:00", - "progress_summary": "現1273へPath micro軽量化を限定採用。53 whole typed pairs/120同一呼出return比較と全168回帰を確認。最大Runtime混合負荷/Operations enabled/Windows性能は未受入。旧900秒timeout/未測定値を維持。\n【限定採用前の証拠時点の履歴】\n実Runtime最大負荷診断は準備BUILDで900.024秒timeout（-15）。目標実数/保存/別process/計測に未到達。setup span候補を準備し原因特定を継続。 setup区間観測の別実行も900.018秒timeout。429→430分の公開tickは268.723秒、601→602分は未完。内部hotspot・最終target数・保存・性能測定は未確定。 現1237 counter r04もBUILD900.07856秒timeout(-9)、430CONSTRUCTION268.326934秒。inclusive Path累積は重複合算/差引禁止、602LOGISTICS未閉・最終測定null。" + "updated_at_jst": "2026-10-20T20:00:00+09:00", + "progress_summary": "現source（83b170a/b7f6168、1407件）で代表入力（20,000マス・200客・50職員・150施設、input eb4f7700…）を実測済み（P14-03 r02、Mac16,10・10コア・24GB、Godot 4.7.2-stable official headless、Operations OFF、x1、300分）：1分tick平均826.6ms・P95 1702.7ms・最大2918.1ms（4ms予算未達）、path cold P95 0.61ms、snapshot平均77.6ms、manual 297ms、autosave 327ms、load平均3193ms・最大3368ms。旧1273時点の900秒timeoutは現sourceでは再発せず。windowed描画・x3・stall・Operations ON・Windowsは未測定。", + "historical_progress_summary_before_20261020": "現1273へPath micro軽量化を限定採用。53 whole typed pairs/120同一呼出return比較と全168回帰を確認。最大Runtime混合負荷/Operations enabled/Windows性能は未受入。旧900秒timeout/未測定値を維持。\n【限定採用前の証拠時点の履歴】\n実Runtime最大負荷診断は準備BUILDで900.024秒timeout（-15）。目標実数/保存/別process/計測に未到達。setup span候補を準備し原因特定を継続。 setup区間観測の別実行も900.018秒timeout。429→430分の公開tickは268.723秒、601→602分は未完。内部hotspot・最終target数・保存・性能測定は未確定。 現1237 counter r04もBUILD900.07856秒timeout(-9)、430CONSTRUCTION268.326934秒。inclusive Path累積は重複合算/差引禁止、602LOGISTICS未閉・最終測定null。", + "remaining_gaps": [ + "windowed描画のframe時間（平均・P95・最大）", + "x3速度の実時間とframe/stall", + "Operations ON条件の計測", + "シード・測定区間の明示を含む記録様式の統一", + "x1 1分tick 4ms予算未達（約827ms）", + "Windows実機" + ] }, { "id": "P28-02",