docs: register Opus-selected original P19 reachability audit scope
This commit is contained in:
Takeshi
+7
File diff suppressed because one or more lines are too long
+5686
File diff suppressed because it is too large
Load Diff
@@ -0,0 +1,108 @@
|
||||
{
|
||||
"id": "P19-03-TABLE",
|
||||
"original_plan_id": "P19-03",
|
||||
"title": "分岐の到達性",
|
||||
"original_work": "人物ごとの3ルートに必要なイベント・条件・中断処理を列挙する。",
|
||||
"original_acceptance": "7名×3ルートの到達表があり、未制作内容は欠損として残る。",
|
||||
"original_denominator": {
|
||||
"packages": 30,
|
||||
"units": 88,
|
||||
"completed_at_start": 14,
|
||||
"partial_credit": false
|
||||
},
|
||||
"whole_original_unit_review_required": true,
|
||||
"scope": "Whole original documentation/audit unit P19-03. Neutral non-graphic state/event IDs and exact source citations only; never create intimate content, narrative events, per-character mechanics or product numbers. Does not implement or accept route gameplay, content, endings, Windows or the whole game.",
|
||||
"authority": [
|
||||
{
|
||||
"path": "docs/traceability/original/BASELINE.txt",
|
||||
"sha256": "75e4bdbdeb379c9269553f0c776bdb9cc96e01f2d6aa5ca650d132c63a8aeb1a",
|
||||
"sections": "Original §6 seven-character catalog; §7 lines136–161 three routes and relation/duel/action/history rules. Read actual full relevant lines, do not trust line numbers without matching text."
|
||||
},
|
||||
{
|
||||
"path": "docs/plans/original-completion-2026-10-02/work_packages.json",
|
||||
"unit": "P19-03",
|
||||
"acceptance_exact": true
|
||||
},
|
||||
{
|
||||
"path": "docs/plans/original-completion-2026-10-02/atomic_requirements.json",
|
||||
"requirements": "B-7.1 through B-7.6 and relevant character/route clauses; inspect complete selected entries."
|
||||
},
|
||||
{
|
||||
"path": "docs/plans/original-completion-2026-10-02/decisions.json",
|
||||
"rule": "Only approved decisions may fill specifications. D08 pending cells remain 原本未定義/D08 pending 欠損."
|
||||
}
|
||||
],
|
||||
"actual_opus_selection": "dc342e4d69154660bef7e688a70fd783",
|
||||
"frozen_game_input_pins_sha256": "6c778226a4cc6d0b0d682500759e7d4229c926a27bd2e247b00b9c3e5f1a2fb0",
|
||||
"audit_source_anchor": "1b07b87d3736e777932315a4bdde8b70cbf9cb23",
|
||||
"implementation_requirements": [
|
||||
"Build REACHABILITY_TABLE.json plus deterministic REACHABILITY_TABLE.md with exactly7 canonical character IDs/names from original §6, existing catalog and scripts/relationship/original_relationship_state.gd, crossed with3 original routes 純愛/NTR/堕落. No invented or substituted character/route.",
|
||||
"Every one of21 cells enumerates applicable entry/required events, source-defined state conditions, duel win/loss and route/selection effects, interruption/cancellation and save handling, history/marks and current reachability. Distinguish common baseline rules from character-specific content undefined by the original.",
|
||||
"Every listed event/condition/handling item carries exact original line range+text/hash authority, concrete implementation status implemented/partial/missing, exact existing source path+SHA at the audited source anchor (or explicit not implemented with no fake path), and owning remaining original deliverable. Do not call backend model support a completed natural route.",
|
||||
"Unproduced or undefined character-specific events/conditions/interruption/save/history content remains explicitly 欠損 with reason and owning remaining original item. Missing content is allowed by the unchanged original audit acceptance; it is never game acceptance. Preserve unknown numeric thresholds/rates/initial values as pending; use neutral abstract state IDs only.",
|
||||
"Implement stdlib check_reachability_table.py and test_reachability_table.py under this documentation directory. This placement is inside actual Opus proposed docs/** scope and preserves the exact1368 selected native-game input set. Do not add new files under tools, game scripts, data, tests, marker registry or other game-selected paths.",
|
||||
"Checker verifies exact7×3 unique complete cell set, canonical IDs, original pinned source+line text, no uncited item, exact current source SHA+anchor binding, valid status/owner and explicit gaps, no fabricated thresholds/unsupported completion, and byte-for-byte deterministic Markdown regeneration. --check must be read-only; optional --write may regenerate view during implementation.",
|
||||
"Source binding enforces complete frozen selected-source map, no missing/new/changed selected files, marker/policy/engine/roster/parse identity and baseline hash. Validate FROZEN_GAME_INPUT_PINS.json against this immutable spec SHA field. Code source evidence may cite published audited anchor; checker output binds actual current commit and proves exact file equality. Do not fabricate a future self-containing commit SHA.",
|
||||
"Cross-cutting UI/Runtime/save/Windows applicability is explicit: audit existing support and missing mechanisms per route; this documentation-only unit introduces no product OS behavior, so audit-unit native GUI/Windows execution is not applicable. Global/other-unit Windows and game acceptance remain open.",
|
||||
"Self-tests meaningfully reject missing/duplicate cell, wrong character/route, missing category/citation, stale source/baseline text/hash, invented numeric threshold, missing content falsely marked complete, wrong owning deliverable/status, malformed JSON/types, or Markdown drift; include valid implemented/partial/missing controls. No test-count padding.",
|
||||
"Reuse existing completed P13-03 content-audit checker pattern as guidance. Preserve all current game files, original text, decisions, frozen pins, immutable TASK_SPEC and selection record. Do not revise acceptance or invent D05/D08 answers.",
|
||||
"Provide concise implementation report with all requirements mapped to files/checks, actual invocations/results and remaining parent/game gaps. No worker claim or exit0 substitutes for independent whole-unit review and normal gates."
|
||||
],
|
||||
"required_outputs": [
|
||||
"REACHABILITY_TABLE.json",
|
||||
"REACHABILITY_TABLE.md",
|
||||
"check_reachability_table.py",
|
||||
"test_reachability_table.py",
|
||||
"IMPLEMENTATION_REPORT.md"
|
||||
],
|
||||
"validation_interface": [
|
||||
{
|
||||
"id": "p19-table",
|
||||
"argv": [
|
||||
"{python}",
|
||||
"{worktree}/docs/plans/original-completion-2026-10-02/execution/p19-03/check_reachability_table.py",
|
||||
"--project-root",
|
||||
"{worktree}",
|
||||
"--check"
|
||||
]
|
||||
},
|
||||
{
|
||||
"id": "p19-negative",
|
||||
"argv": [
|
||||
"{python}",
|
||||
"{worktree}/docs/plans/original-completion-2026-10-02/execution/p19-03/test_reachability_table.py",
|
||||
"--project-root",
|
||||
"{worktree}"
|
||||
]
|
||||
},
|
||||
{
|
||||
"id": "p19-source-binding",
|
||||
"argv": [
|
||||
"{python}",
|
||||
"{worktree}/docs/plans/original-completion-2026-10-02/execution/p19-03/check_reachability_table.py",
|
||||
"--project-root",
|
||||
"{worktree}",
|
||||
"--source-binding-only"
|
||||
]
|
||||
}
|
||||
],
|
||||
"workflow": [
|
||||
"Register fixed original acceptance P19-03 once; actual Opus confirms next registered run and chooses Sol6.1 default/Astra only justified. One managed worker, no duplicate task.",
|
||||
"Worker local static+checker+self-tests only; do not run native full during implementation.",
|
||||
"Required full native evidence may be reused only after independent exact candidate input equality against frozen C/S source/settings/markers/policy/engine/test inputs/roster/applicability. Doc helpers live outside selected source set; no narrowed equality definition. If equality fails do not claim reuse or launch an uncontrolled full.",
|
||||
"Separate actual Opus whole-original P19-03 review against full original §6–7 and exact acceptance. Reviewer decides whether explicit D08/content gaps satisfy audit acceptance; fail honestly if not, never redefine it.",
|
||||
"Normal prepare-integration, actual C/M exact equality, existing real main permission only (no fabricated new human speech), normal final, ledger+push. Only then original P19-03 may add1 to14/88."
|
||||
],
|
||||
"pending_not_waived": [
|
||||
"P04 existing D05 owner choices",
|
||||
"D08 production chapter/route/content scope",
|
||||
"P19-01/02 Runtime and normal route gameplay",
|
||||
"P20/P26 content/endings/encyclopedia",
|
||||
"P13 four low production followups",
|
||||
"Global same-Windows acceptance and held gestures remain open"
|
||||
],
|
||||
"model_proposal": {
|
||||
"codex_model": "gpt-6.1-sol",
|
||||
"actual_opus_decision": "dc342e4d69154660bef7e688a70fd783"
|
||||
}
|
||||
}
|
||||
@@ -205,8 +205,8 @@
|
||||
"remaining_delivery_units": 88,
|
||||
"current_package_state_counts": {
|
||||
"completed": 1,
|
||||
"in_progress": 27,
|
||||
"planned": 2
|
||||
"in_progress": 28,
|
||||
"planned": 1
|
||||
},
|
||||
"initial_snapshot_checked": false,
|
||||
"historical_source_bytes_compared": false,
|
||||
@@ -244,7 +244,7 @@
|
||||
"facility_value_contracts_validation.json": "bf490a9ca585c48fc318e76c4a069ef244827d828d46e6415399f7710590dd16",
|
||||
"performance_audit.json": "0b630b15a392c3e0366f1362bfe4ddacb968f915f54549f82e4d6fa315384762",
|
||||
"progress_contract.json": "ccbdfce8c8365d5c13f59531955708834cce45acd0e136561c95295dfdb5df77",
|
||||
"progress_snapshot.json": "d0fead780b4cc15adde9c5256674a1314b22f001255c0bd76eb8b7dd4aaf1cef",
|
||||
"progress_snapshot.json": "f79680336bed87f4455fa4ab7299f8facce26da4008874683a7276c0dc5069ec",
|
||||
"progress_validator_guard_checks.json": "72ee513fcf1cad85c24bfd0a4b472f425f6acf117928ece0f6b41e29018da627",
|
||||
"progress_validator_guard_checks.r01.json": "14c26adffa5a1938241db4912e50ea54b660641ee6fee2e412d467dce14d0519",
|
||||
"requirement_coverage.json": "03b10e4da367579db502d0671a6e0dda36fd385111c6f1c0084acaff7605f593",
|
||||
@@ -254,6 +254,6 @@
|
||||
"validate_facility_value_contracts.py": "91640e2a76cd6cc9186f7b85c0bf379b24b6cac0d48962815235ee628e7ae43e",
|
||||
"validate_plan.py": "23678227d9b3c556f1bd903f4b5b3147c4a82ce5085e10055481026803451b80",
|
||||
"validator_update_checks.json": "f997d0f3de2cea29550840b1d5cb23647d64f81329de46758551e2b6c8fecc27",
|
||||
"work_packages.json": "2ae4cc7e6dd0de3cf10864ac7aee3ef75e4f5f4dc02a9132b3fa04a8731fa7cd"
|
||||
"work_packages.json": "ab53442beab31ffcd186dd306a06ee0127d42dbfc7101a04c7152d9a0ff27aaf"
|
||||
}
|
||||
}
|
||||
|
||||
@@ -152,13 +152,13 @@
|
||||
},
|
||||
"current_package_state_counts": {
|
||||
"completed": 1,
|
||||
"in_progress": 27,
|
||||
"planned": 2
|
||||
"in_progress": 28,
|
||||
"planned": 1
|
||||
},
|
||||
"current_delivery_state_counts": {
|
||||
"completed": 14,
|
||||
"in_progress": 24,
|
||||
"planned": 50
|
||||
"in_progress": 25,
|
||||
"planned": 49
|
||||
},
|
||||
"completed_current_deliveries": [
|
||||
"P00-01",
|
||||
@@ -9713,7 +9713,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": "P24-02",
|
||||
"next_closure_plan_id": "P19-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": {
|
||||
@@ -10476,5 +10476,13 @@
|
||||
"artifact": "FORMAL_FINAL.json"
|
||||
},
|
||||
"whole_original_acceptance": false
|
||||
},
|
||||
"current_p19_03_reachability": {
|
||||
"state": "contract_preparation",
|
||||
"spec": "docs/plans/original-completion-2026-10-02/execution/p19-03/TASK_SPEC.json",
|
||||
"actual_opus": "dc342e4d69154660bef7e688a70fd783",
|
||||
"original_unit_credit": 0,
|
||||
"source_anchor": "1b07b87d3736e777932315a4bdde8b70cbf9cb23",
|
||||
"P04_existing_questions": "preserved; no duplicate question or fake answer"
|
||||
}
|
||||
}
|
||||
|
||||
@@ -8987,7 +8987,7 @@
|
||||
"D07",
|
||||
"D08"
|
||||
],
|
||||
"state": "planned",
|
||||
"state": "in_progress",
|
||||
"supplement_ids": [],
|
||||
"owner_roles": {
|
||||
"implementation": "実装担当（担当者未割当）",
|
||||
@@ -8996,7 +8996,7 @@
|
||||
},
|
||||
"legacy_state": "planned",
|
||||
"state_scope": "package-level; completed means whole package accepted; partial implementation is not completion",
|
||||
"current_summary": "一般イベント基盤はあるが原本の決闘・人物行動の全接続は未着手。",
|
||||
"current_summary": "実Opus dc342e4が次に閉じる原成果P19-03を選定。元受入「7名×3ルート到達表・未制作は欠損」を維持し、既存成果を再利用する文書/検査器タスクを準備中。ゲーム実装/数値変更なし、原14/88で加算0。",
|
||||
"remaining_deliverables": [
|
||||
{
|
||||
"id": "P19-01",
|
||||
@@ -9019,8 +9019,22 @@
|
||||
"title": "分岐の到達性",
|
||||
"work": "人物ごとの3ルートに必要なイベント・条件・中断処理を列挙する。",
|
||||
"acceptance": "7名×3ルートの到達表があり、未制作内容は欠損として残る。",
|
||||
"state": "planned",
|
||||
"evidence": []
|
||||
"state": "in_progress",
|
||||
"evidence": [
|
||||
{
|
||||
"path": "docs/plans/original-completion-2026-10-02/execution/p19-03/TASK_SPEC.json",
|
||||
"sha256": "263a01b943d8056727335fb76977c010298e1c229077f8da76e48683ba2e89bb",
|
||||
"scope": "Actual Opus-selected original unit contract preparation; no acceptance credit"
|
||||
}
|
||||
],
|
||||
"current_summary": "実Opus dc342e4が次に閉じる原成果P19-03を選定。元受入「7名×3ルート到達表・未制作は欠損」を維持し、既存成果を再利用する文書/検査器タスクを準備中。ゲーム実装/数値変更なし、原14/88で加算0。",
|
||||
"progress_summary": "全21セルの原本/実装/中断/保存/履歴/未制作を版付きで監査し、意味のある検査器・全原条件独立レビュー・通常integration/finalを経て初めて閉じる。",
|
||||
"updated_at_jst": "2026-10-17T19:15:31.936524+09:00",
|
||||
"current_execution": "docs/plans/original-completion-2026-10-02/execution/p19-03/TASK_SPEC.json",
|
||||
"remaining_gaps": [
|
||||
"具体的21セルと検査器・必要確認・独立全条件レビュー・通常integration/final・台帳反映はこれから。",
|
||||
"D08未確定/未制作は欠損として明示する。P19ゲーム実装や全ゲーム完成と混同しない。"
|
||||
]
|
||||
}
|
||||
],
|
||||
"estimate_person_days_historical_2026_09_29": [
|
||||
@@ -9040,7 +9054,8 @@
|
||||
"要件別ログとソースハッシュを保存"
|
||||
],
|
||||
"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": "planned"
|
||||
"initial_revision_state": "planned",
|
||||
"updated_at_jst": "2026-10-17T19:15:31.936524+09:00"
|
||||
},
|
||||
{
|
||||
"id": "P20",
|
||||
|
||||
Reference in New Issue
Block a user