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 6bea9f0..b1d355f 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,27 @@ +## 現在の対象（2026-10-20・正式21成果／P14-03はRunnerゲート待ち） + +元30パッケージ・88成果単位で、部分点はありません。正式完了は21成果、完了パッケージは3（P00、P04、P06）です。 +- 2026-10-19 以降に正式完了したもの: P06-01、P06-03、P14-02、P06-02。いずれも、ユーザーが承認判断を委任した体制で、独立Opusレビューの合格を受けて記録しました。 +- 承認済みの決定: A06（有限マナ）、A07（客用マナワープ）、A08（裏層の業務用ワープ）。 + +**P14-03「混雑と経路選択」** +- 正確候補は `83b170a` です。次の証拠がそろっています。 + - 正式全回帰: 192/192 suite、22,198 checks、失敗0 + - Root の別PID pair: 5/5、10 PID + - 代表性能 r02: 収集と機能検証は合格し、版間の比較が成立 + - 独立Opusの whole-unit レビュー: PASS +- ただし skill 契約では、完了を確定するのは Runner です（試験・独立レビュー・最新mainとの統合・最終試験）。そのため Runner の正式ゲートが終わるまで加算0です。登録案と、既存証拠を結合する検証器は `artifacts/original-completion-2026-10-02/p14-03-runner-gate-r01/` にあります。 + +**未達として明記している性能** +- 代表負荷での1分 tick は平均約827 ms で、x1 の予算 4 ms を両版とも大きく超えています。 +- x3 frame、stall、描画、Windows は未測定です。 + +**過去の回帰の訂正**: P06-01・P06-03・P14-02・P06-02 当時の回帰は Makefile 経由で、roster にしか載っていない46 suite を含んでいませんでした。その46 suite で見つかった回帰（v15保存の拒否など）は `83b170a` で修正済みで、正式192 suite の実行で全件合格を確認しました。各単位の完了記録には訂正注記を付けています。 + +**次の候補**: P28-01「現HEADの性能基準」です。描画とx3はheadlessの結果で代用せず、新たに測定します。P05-02・P22-03（仕様が未承認）とP02-03（Windows実機待ち）は保留ですが、作業全体は止めません。 + +以下の「現在」は各記録時点の履歴です。上記と現在の台帳を優先してください。 + ## 現在の対象（2026-10-19・P04-01正式完了／開発体制更新） P04-01「同時発生の更新規約」は通常候補 `b1810ff4b2809018fe7434be7bdcf6f6411c91f4` で全条件・独立Opusレビュー・統合・最終検証を完了。元30パッケージ／88成果、部分点なしで正式17成果、完了2パッケージ。詳細は[正式受入証拠](../../../artifacts/original-completion-2026-10-02/p04-01-formal-closure-b1810ff4/ACCEPTANCE.json)と `work_packages.json` / `progress_snapshot.json` を参照。 diff --git a/docs/plans/original-completion-2026-10-02/execution/p14-03-route-wait/EVIDENCE_MATRIX.md b/docs/plans/original-completion-2026-10-02/execution/p14-03-route-wait/EVIDENCE_MATRIX.md index 5a7d07f..29a2149 100644 --- a/docs/plans/original-completion-2026-10-02/execution/p14-03-route-wait/EVIDENCE_MATRIX.md +++ b/docs/plans/original-completion-2026-10-02/execution/p14-03-route-wait/EVIDENCE_MATRIX.md @@ -36,7 +36,7 @@ | 業務用EV | 裏層の業務用 shaft は従業員専用です。実際の従業員4人が並ぶと、A*費用が上がります。 | | 階段 | 階段で2階をつなぎ、上の乗り場に客6人がいると、階段経路の費用が上がります。 | | ワープ | 出口に客6人がいると、ワープ経路の費用が上がります。 | -| 50%減速 | `test_path_congestion` で、同じ経路の5人が定員を超えると半速になり、2分目までに必ず進み、混雑した経路を避けることを確認します。 | +| 50%減速 | 実際の客5人での確認は `tests/s3/test_runtime_path_traffic.gd:146-158`（定員を超えると半速になり、2分目までに必ず進む）です。`test_path_congestion` は PathService 単体での混雑費用と経路回避の試験です。 | | 救護同伴 | `test_rescue_elevator` で、2人組が同じ籠を予約し、乗車中の保存・読込が完全に一致し、停止時は2人一緒に降りることを確認します。ワープの2人分課金は P14-02 のレビュー（コード確認）です。 | ## 主張しないこと @@ -45,3 +45,15 @@ - ワープ到着先の定員4は、混雑費用以外では扱いません。 - 退館中の客は位置に関係なく次の分に消えます（既存の仕組み。P06-02 の非主張）。今回の修正は、乗車中だけに限ったものです。 - Windows 実機は、適用ありの未検証として残します。 + +## レビュー後の確定（2026-10-20） + +- **代表性能 r02**（`artifacts/original-completion-2026-10-02/p14-03-representative-perf-r01/run-r02`） + - 収集と機能検証は合格し、版間の比較も成立しました（両版とも checks>0、failures 0）。 + - **絶対予算との合格判定は、これとは別にします。** x1 の1分 tick は平均約 827 ms（両版）で、4 ms の予算を超えています。経路、save、load は予算内です。 + - 版間の差分は42ファイルで、P14 だけではありません。そのため「P14 単独の影響はない」とは断定しません。 +- **r01 の失敗**: save と load の20件は、probe が保存先を artifacts 配下の絶対パスにしたことによる `UNSAFE_PATH` 拒否でした（save-diag-r01）。製品の欠陥ではなく、計測側の誤りです。 +- **試験への注入**: ラッシュの12人と業務用EVの4人は、試験から `request_trip` で直接並ばせています。実際に歩くのは迂回する従業員だけです。進行中に経路を失った actor の再計画は、この suite では試験していません。 +- **新PID pair suite**（`test_new_pid_pairs`）: 子プロセスは正式全回帰の外側捕捉の対象外です。正式な別PIDの証拠は Root の pair（10 PID）です。 +- **レビュー依頼書の表記**: `REVIEW_REQUEST.md` は提出時のまま保全しています。71行の「r02実行中・結果欄は空欄」は提出前の古い記載で、実値は同じ文書の74〜79行にあります。性能の「両版が合格しなければ比較不成立」は収集と機能検証の成立を指すもので、絶対予算の合格を意味しません。 +- **独立Opus レビュー**: PASS（`p14-03-whole-unit-review-r01/review-output.md`）。正式完了は Runner の final を待ちます。 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 064369a..da47326 100644 --- a/docs/plans/original-completion-2026-10-02/plan_validation.json +++ b/docs/plans/original-completion-2026-10-02/plan_validation.json @@ -222,7 +222,7 @@ "ASSETS_PLATFORM_AUDIT.md": "a3a4b8ca0fb39a9abf88692285d26aa879815e092352ba304ef2758e71da50bd", "ATOMIC_REGISTER.md": "6070143b85b7c3b9b73d7c9768d88d2dae4d20407ad54a563cb6ffd74f2373ae", "ATOMIC_SEMANTIC_REVIEW.md": "c156b1fb57c2b4a900f27a19049510f3e9616e723d5edb3417f50d733de5be48", - "IMPLEMENTATION_PLAN.md": "317b0cbe5948a3783ef7c167f4ea32f412c71854119b4ad504feedf0420ea3dd", + "IMPLEMENTATION_PLAN.md": "823d559e35d5c1aac9385c5bba1ccc56e41e3c2e436e13fda1168e89c56943fb", "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": "faae14c8b560bcdf681cf17055797aea38207d25a9e2a3b77aef0d81cc49d983", + "progress_snapshot.json": "111faeb32f4772fedd5ab35b723d5b975b59ab8bd913547f38fe849fc71afd8d", "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": "5b5481c60b40f20bef4eb1886f97d8ba9b6adbf879c3562a4207c08ae3bf75a6" + "work_packages.json": "e1cd56f1fff8a4787d0e378e8b271a59f45b261baff93227f0832d9854996413" } } 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 977f772..d7b420d 100644 --- a/docs/plans/original-completion-2026-10-02/progress_snapshot.json +++ b/docs/plans/original-completion-2026-10-02/progress_snapshot.json @@ -4547,7 +4547,7 @@ } }, "known_original_principal_profit_difference_unresolved": 0, - "next_priority_original_principal_profit": "P04 existingD05 answers pending; current independent nextwholeunit P26-01 actualOpus selected. PriorP06 evidence retained, no activeworker.", + "next_priority_original_principal_profit": "Current: P14-03 Runner gate on 83b170a (no rerun; evidence binding). 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", @@ -5238,23 +5238,23 @@ "whole_P06_accepted": false, "whole_goal_accepted": false }, - "next_priority_p06": "Deferred existingP06 original conditions; no duplicate run. CurrentfocusP26-01.", + "next_priority_p06": "P06 package completed 2026-10-20 (P06-01/02/03).", "current_P02_01_formal_completion": { "path": "/Users/korizatou114/Projects/とりにく工房ゲーム制作部/artifacts/original-completion-2026-10-02/p02-01-completion-acceptance-r01.json", "bytes": 8539, "sha256": "45845238d8a73b84fd346f2d834ee4aaa12d32b45367ea0952b523db9b2523d9" }, "next_single_delivery_unit": { - "id": "P04-01", - "title": "同時発生の更新規約", + "id": "P14-03", + "title": "混雑と経路選択", "state": "in_progress", "completed": false, - "existing_project": "the-tree-p04-01", - "source": "2dde7596a87c43f7bf0bf704b7479f2fa06a5b1c", - "actual_runner_state": "repair_pending; verify live before next run", - "actual_worker": null, - "approval_record": "docs/plans/original-completion-2026-10-02/execution/p04-01-owner-approval-20261018/D05_ACTUAL_HUMAN_APPROVAL.json", - "remaining": "Adopt actual approved rules/authority refs/registry/pins; qualified minimal real-boundary probes; exact final full roster and whole-unit independent review; normalcandidate/final. No duplicateP26." + "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" }, "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": "P06-02", + "next_closure_plan_id": "P14-03", "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": { @@ -10828,5 +10828,22 @@ "original_completed": 21, "original_total": 88, "whole_package_completed": false + }, + "historical_next_before_20261020_sync": { + "next_single_delivery_unit": { + "id": "P04-01", + "title": "同時発生の更新規約", + "state": "in_progress", + "completed": false, + "existing_project": "the-tree-p04-01", + "source": "2dde7596a87c43f7bf0bf704b7479f2fa06a5b1c", + "actual_runner_state": "repair_pending; verify live before next run", + "actual_worker": null, + "approval_record": "docs/plans/original-completion-2026-10-02/execution/p04-01-owner-approval-20261018/D05_ACTUAL_HUMAN_APPROVAL.json", + "remaining": "Adopt actual approved rules/authority refs/registry/pins; qualified minimal real-boundary probes; exact final full roster and whole-unit independent review; normalcandidate/final. No duplicateP26." + }, + "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." } } 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 30e6adc..b8aeb85 100644 --- a/docs/plans/original-completion-2026-10-02/work_packages.json +++ b/docs/plans/original-completion-2026-10-02/work_packages.json @@ -6324,7 +6324,8 @@ "sha256": "6f471e3f32460758b8a617051a507f780d70b33f254a7910dfada87a8c5c3484", "candidate": "f247d19", "owner_approval": "user_reply_in_conversation 2026-10-20「承認する」" - } + }, + "regression_scope_correction_20261020": "2026-10-20訂正：当時の回帰はMakefile経由で、collector rosterのみの46 suiteを含まなかった。その範囲で見つかった回帰（v15 mana_reserve保存拒否、test_required_kitchen旧14比較、defense autonomyのマナ前提、P08 palette数）は83b170aで修正し、正式192/192・22198 checks・失敗0（artifacts/original-completion-2026-10-02/p14-03-formal-regression-83b170a-r01）で全roster合格を確認。当該単位の完了・承認・独立証拠はそのまま保全。" }, { "id": "P06-02", @@ -6368,7 +6369,8 @@ "sha256": "d5592fa8f6e3646f7d8a81952cf34f894ca4d1048ab0b2a10d87927cd176b9a2", "candidate": "f6f9c9c", "owner_approval": "delegated_by_user 2026-10-20" - } + }, + "regression_scope_correction_20261020": "2026-10-20訂正：当時の回帰はMakefile経由で、collector rosterのみの46 suiteを含まなかった。その範囲で見つかった回帰（v15 mana_reserve保存拒否、test_required_kitchen旧14比較、defense autonomyのマナ前提、P08 palette数）は83b170aで修正し、正式192/192・22198 checks・失敗0（artifacts/original-completion-2026-10-02/p14-03-formal-regression-83b170a-r01）で全roster合格を確認。当該単位の完了・承認・独立証拠はそのまま保全。" }, { "id": "P06-03", @@ -6412,7 +6414,8 @@ "sha256": "4e3da801cec700ba5b4c87e881de931bc4e2e971d4ab44d38af6e964baabc9a7", "candidate": "826ef60", "owner_approval": "user_reply_in_conversation 2026-10-20「承認する」" - } + }, + "regression_scope_correction_20261020": "2026-10-20訂正：当時の回帰はMakefile経由で、collector rosterのみの46 suiteを含まなかった。その範囲で見つかった回帰（v15 mana_reserve保存拒否、test_required_kitchen旧14比較、defense autonomyのマナ前提、P08 palette数）は83b170aで修正し、正式192/192・22198 checks・失敗0（artifacts/original-completion-2026-10-02/p14-03-formal-regression-83b170a-r01）で全roster合格を確認。当該単位の完了・承認・独立証拠はそのまま保全。" } ], "estimate_person_days_historical_2026_09_29": [ @@ -8258,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は実装中、全P14・Windows全体受入は未完。", + "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全体受入は未完。", "remaining_deliverables": [ { "id": "P14-01", @@ -8347,7 +8350,8 @@ "candidate": "8917c19", "owner_approval": "delegated_by_user 2026-10-20「承認するかどうかの判断はそちらでやって」" }, - "remaining_gaps_at_completion": "2026-10-20に解消済み（execution/p14-02-warp/ACCEPTANCE.json）。完成素材・描画目視・Windows実機は非主張として残す。" + "remaining_gaps_at_completion": "2026-10-20に解消済み（execution/p14-02-warp/ACCEPTANCE.json）。完成素材・描画目視・Windows実機は非主張として残す。", + "regression_scope_correction_20261020": "2026-10-20訂正：当時の回帰はMakefile経由で、collector rosterのみの46 suiteを含まなかった。その範囲で見つかった回帰（v15 mana_reserve保存拒否、test_required_kitchen旧14比較、defense autonomyのマナ前提、P08 palette数）は83b170aで修正し、正式192/192・22198 checks・失敗0（artifacts/original-completion-2026-10-02/p14-03-formal-regression-83b170a-r01）で全roster合格を確認。当該単位の完了・承認・独立証拠はそのまま保全。" }, { "id": "P14-03", @@ -8355,13 +8359,18 @@ "work": "客用・業務用EV、階段、ワープの待ち時間をA*費用へ反映する。", "acceptance": "ラッシュ、相乗り、50%減速、救護同伴、経路喪失を実位置と人数で検証する。", "state": "in_progress", - "evidence": [], - "progress_summary": "実装0754f41（shaft全体の待ちをA*費用へ）＋保存契約v2（旧v1は待ちを導出して移行、v2改ざんは全0含め原子拒否）＋乗車中の客が籠内で退館しない修正。test_route_wait_choiceで実客・実歩行によるラッシュ迂回、相乗り定員内と全員の到着位置、経路喪失、業務EV・階段・ワープ出口の混雑、旧版保存移行、別PID再開を確認中。正式全回帰・性能・独立レビュー前。", + "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" + } + ], + "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。", "remaining_gaps": [ - "正確候補での正式全回帰（tools/run_all_tests.py）", - "代表負荷の性能回帰計測", - "独立Opusレビュー", - "Windows実機（適用あり未検証として残す）" + "Runner登録とvalidate/review/integration/final（登録案と検証器: artifacts/original-completion-2026-10-02/p14-03-runner-gate-r01/）", + "代表負荷で実職員が業務用shaftを使う場面は未実施", + "x3 frame / stall / 描画 / Windows は未測定（x1は両版とも予算超過、P28で扱う）" ], "updated_at_jst": "2026-10-20T00:00:00+09:00" }