okstra 0.225.1 → 0.226.0

package/runtime/python/okstra_ctl/worker_prompt_headers.py

@@ -27,6 +27,8 @@ class WorkerPromptHeaderError(Exception):
 # skill catalogs, and similar non-okstra artifacts. Restating the scope inline
 # puts the rule in front of the worker before its first tool call, which is the
 # only point at which it can still win over those host instructions.
+# 패킷의 페이지 읽기 규칙도 같은 이유로 여기 있다 — 패킷 안 목차는 파일을 연 뒤에야
+# 보이는데, 통째 `cat` 은 그 전에 잘린다(실측 609KB 패킷, codex).
 READ_SCOPE_HEADER = (
     "**Read scope:** Read only the paths this prompt enumerates "
     "(`[Required reading]`, `## Inputs`, verification-target paths) plus "
@@ -39,7 +41,11 @@ READ_SCOPE_HEADER = (
     "NOT apply inside an okstra worker run: do not auto-read `graphify-out/`, "
     "`SKILL.md`, or other artifacts outside `<PROJECT_ROOT>/.okstra/`. If an "
     "un-enumerated file seems essential, record it under *Missing Information "
-    "or Assumptions* instead of reading it."
+    "or Assumptions* instead of reading it. Read the primary analysis packet "
+    "in pages of at most 200 lines (`sed -n '1,200p'`, then `'201,400p'`, …), "
+    "never with one whole-file `cat` or view: worker CLIs cut long output "
+    "without saying so, and the packet's `## Section Index` gives each "
+    "section's line range."
 )
 EVIDENCE_LEDGER_HEADER = "**Evidence ledger:** required-v1"
 
@@ -63,12 +69,13 @@ EVIDENCE_CITATION_HEADER = (
 # 구현 워커는 명령 행을 쓰지 못한다.
 EVIDENCE_COMMANDS_HEADER = (
     "**Evidence commands:** Append one `- Evidence command: "
-    "{\"command\":\"<exact command>\",\"cwd\":\"<project-root>\","
+    "{\"command\":\"<exact command>\",\"cwd\":\"<directory the command ran in>\","
     "\"exitCode\":0,\"outputSummary\":\"<one-line result>\"}` row to the audit "
     "sidecar for each command that produced or verified a conclusion. Do not "
     "record exploratory `rg`, `ls`, or file-opening commands. Write the command "
-    "as you ran it. A value that must not be written down is yours to omit or "
-    "pass as a `$VAR` reference."
+    "as you ran it. When it starts with `cd <dir> &&`, `cwd` is that `<dir>`, "
+    "not the shell's starting directory. A value that must not be written down "
+    "is yours to omit or pass as a `$VAR` reference."
 )
 
 # `agy`'s write tool validates the target against the Gemini artifact store

package/runtime/python/okstra_ctl/worker_prompt_policy.py

@@ -34,6 +34,9 @@ ERRORS_PATH_HEADERS = (
 # itself: the lead's launch prompt carries them, and no worker reads that.
 APPROVED_PLAN_HEADER = "**Approved plan:**"
 IMPLEMENTATION_STAGE_HEADER = "**Stage for this implementation run:**"
+# Executor-only and optional: a prompt published before it, or a run whose plan
+# is a Markdown report, has no extract and the executor reads the plan itself.
+APPROVED_PLAN_STAGE_EXTRACT_HEADER = "**Approved plan stage extract:**"
 # A stage's verifiers share one worktree and run as one batch. The Tier 3 script
 # (builds, fixed ports) and the self-mock mutation probe (edits sources in place)
 # must each run once, by the verifier named here.

package/runtime/schemas/final-report-v2.0.schema.json

@@ -10014,6 +10014,80 @@
             "implementation-option-selection",
             "implementation-planning"
           ]
+        },
+        "defectClass": {
+          "$ref": "#/$defs/DefectClass"
+        }
+      }
+    },
+    "DefectClass": {
+      "type": "object",
+      "description": "The defect class a blocker belongs to: the shared mechanism, every location x case cell swept for it, and whether an earlier final-verification run of the same target already blocked on it. Required on every final-verification acceptance blocker by `phases/final_verification/validation.py`.",
+      "required": [
+        "mechanism",
+        "cells",
+        "recurrence"
+      ],
+      "additionalProperties": false,
+      "properties": {
+        "mechanism": {
+          "type": "string",
+          "minLength": 1
+        },
+        "cells": {
+          "type": "array",
+          "minItems": 1,
+          "items": {
+            "$ref": "#/$defs/DefectClassCell"
+          }
+        },
+        "recurrence": {
+          "enum": [
+            "new",
+            "recurring"
+          ]
+        },
+        "priorBlockers": {
+          "type": "array",
+          "items": {
+            "type": "string",
+            "pattern": "^final-verification-\\d{3,} AB-\\d{3,}$"
+          }
+        }
+      }
+    },
+    "DefectClassCell": {
+      "type": "object",
+      "required": [
+        "location",
+        "case",
+        "verdict",
+        "evidence"
+      ],
+      "additionalProperties": false,
+      "properties": {
+        "location": {
+          "type": "string",
+          "minLength": 1
+        },
+        "case": {
+          "type": "string",
+          "minLength": 1
+        },
+        "verdict": {
+          "enum": [
+            "defective",
+            "sound",
+            "unverified",
+            "not-applicable"
+          ]
+        },
+        "evidence": {
+          "type": "string",
+          "minLength": 1
+        },
+        "regressionTest": {
+          "type": "string"
         }
       }
     },

package/runtime/schemas/final-report-v3.0.schema.json

@@ -3510,6 +3510,9 @@
             "$ref": "#/$defs/ImplementationOptionSafetyBlocker"
           }
         },
+        "splitAcceptance": {
+          "$ref": "#/$defs/ImplementationOptionSplitAcceptance"
+        },
         "unresolvedFeasibilityFacts": {
           "type": "array",
           "items": {
@@ -3608,6 +3611,9 @@
             "$ref": "#/$defs/ImplementationOptionSafetyBlocker"
           }
         },
+        "splitAcceptance": {
+          "$ref": "#/$defs/ImplementationOptionSplitAcceptance"
+        },
         "unresolvedFeasibilityFacts": {
           "type": "array",
           "items": {
@@ -3936,6 +3942,18 @@
         }
       }
     },
+    "ImplementationOptionSplitAcceptance": {
+      "type": "object",
+      "description": "The user's accept-risk answer that settles a split feasibility vote. Report assembly checks that clarificationRef names a blocks: approval row answered with accept-risk.",
+      "required": ["clarificationRef"],
+      "additionalProperties": false,
+      "properties": {
+        "clarificationRef": {
+          "type": "string",
+          "pattern": "^C-[0-9]{3}$"
+        }
+      }
+    },
     "ImplementationOptionUnresolvedFact": {
       "type": "object",
       "required": [
@@ -3947,8 +3965,13 @@
       "properties": {
         "resolutionKind": {
           "type": "string",
-          "enum": ["user-decision", "technical-verification"],
-          "description": "Optional for historical reads; blocked report publication requires explicit classification."
+          "enum": ["user-decision", "technical-verification", "deferred-gate"],
+          "description": "Optional for historical reads; blocked report publication requires explicit classification. deferred-gate marks a fact only a later gate can close (for example a deployed-environment measurement); it requires gate and does not block candidate validity."
+        },
+        "gate": {
+          "type": "string",
+          "minLength": 1,
+          "description": "For deferred-gate facts: the gate that closes the fact, such as a brief External Gates entry or final-verification user-owned external QA."
         },
         "clarificationRefs": {
           "type": "array",
@@ -10480,6 +10503,80 @@
             "implementation-option-selection",
             "implementation-planning"
           ]
+        },
+        "defectClass": {
+          "$ref": "#/$defs/DefectClass"
+        }
+      }
+    },
+    "DefectClass": {
+      "type": "object",
+      "description": "The defect class a blocker belongs to: the shared mechanism, every location x case cell swept for it, and whether an earlier final-verification run of the same target already blocked on it. Required on every final-verification acceptance blocker by `phases/final_verification/validation.py`.",
+      "required": [
+        "mechanism",
+        "cells",
+        "recurrence"
+      ],
+      "additionalProperties": false,
+      "properties": {
+        "mechanism": {
+          "type": "string",
+          "minLength": 1
+        },
+        "cells": {
+          "type": "array",
+          "minItems": 1,
+          "items": {
+            "$ref": "#/$defs/DefectClassCell"
+          }
+        },
+        "recurrence": {
+          "enum": [
+            "new",
+            "recurring"
+          ]
+        },
+        "priorBlockers": {
+          "type": "array",
+          "items": {
+            "type": "string",
+            "pattern": "^final-verification-\\d{3,} AB-\\d{3,}$"
+          }
+        }
+      }
+    },
+    "DefectClassCell": {
+      "type": "object",
+      "required": [
+        "location",
+        "case",
+        "verdict",
+        "evidence"
+      ],
+      "additionalProperties": false,
+      "properties": {
+        "location": {
+          "type": "string",
+          "minLength": 1
+        },
+        "case": {
+          "type": "string",
+          "minLength": 1
+        },
+        "verdict": {
+          "enum": [
+            "defective",
+            "sound",
+            "unverified",
+            "not-applicable"
+          ]
+        },
+        "evidence": {
+          "type": "string",
+          "minLength": 1
+        },
+        "regressionTest": {
+          "type": "string"
         }
       }
     },

package/runtime/skills/okstra-brief-gen/SKILL.md

@@ -185,6 +185,23 @@ for every variant and every source type below.
    missing and where it lives. A bracketed note inside the captured block
    helps the reader, but it does not replace that row: the row is what a later
    phase sees when it asks whether the source arrived complete.
+4. **Every local document the brief is derived from is its own Source.** A
+   spec, plan or note under the project root that you read while drafting —
+   one the reporter named, or one you opened because a ticket or the
+   conversation pointed at it — gets its own `### Source N — file` entry,
+   not only a mention in Context. When git does not track the file (a
+   `.project-docs/` spec, for example), write the entry with
+   `- format: by-reference`, a project-relative `ref`, and an empty fence:
+   the task worktree is a checkout without that file, and prepare copies it
+   read-only into the analysis packet's `## Cited Local Documents` on every
+   run, so later revisions of the document reach the next phase. A tracked
+   file is in the worktree; capture it as-is per rule 1.
+
+   **Enforced:** `validators/validate-brief.py`
+   (`check_cited_local_documents`) refuses a brief that names a git-untracked
+   document under the project root outside `## Source Material` without such
+   an entry. `okstra brief-sources attach --project-root <PROJECT_ROOT>
+   --brief <path>` appends the missing entries by reference.
 
 ### 1.0. brief variant
 
@@ -235,6 +252,9 @@ each source's raw content **separately** under the `Source Material
 Take an absolute or project-relative path via free-text. Read the entire
 file. Re-ask if it doesn't exist. Captured content is preserved **verbatim**
 in Source Material.
+When the file is under the project root and git does not track it, record
+it by reference instead (capture contract rule 4): the entry's `ref` is the
+project-relative path, `format: by-reference`, and the fence stays empty.
 
 ### 1b. `Issue tracker ticket`
 
@@ -1047,6 +1067,12 @@ Lenses` rules.
 2. If it exits non-zero, **fix the offending brief(s) and re-run**. Do NOT
    print the Step 7 message until the validator passes.
 
+   A `local document ... has no ### Source N — file entry` failure is fixed
+   by `okstra brief-sources attach --project-root <PROJECT_ROOT> --brief
+   <path>`, which appends the entry and changes no other line. For a brief
+   other than the one you just wrote, show the user the listed path and ask
+   before running it.
+
 3. If neither validator copy is present, fall back to a manual checklist:
    confirm each brief has all ten required frontmatter keys (`type`,
    `brief-id`, `parent-id`, `ticket-id`, `source-type`, `task-group`,

package/runtime/skills/okstra-manager/SKILL.md

@@ -69,9 +69,11 @@ Use this when one Linear project, or one parent issue, covers work in several re
 3. For each issue, propose target projects from evidence: labels, team, repository names or paths in the body. Confirm with `prompt_user` (multi-select, recommended projects first, reason in each description).
 4. For each (issue, project) pair, draft the scope: the part of the issue this project implements. Confirm it with `prompt_user` offering one or two drafts plus a custom-input option. A pair without scope is rejected by the CLI.
 5. Author each pair's brief fields under the okstra-brief-gen brief contract: bodies verbatim, `EB-NNN` / `PB-NNN` / `EO-NNN` items as `<id> <observable condition> — verify: <how>`, anything without an observation method under `externalGates`, and `openQuestions` rows prefixed `general:`, `terminology:`, `intent-check:`, `conversion-block:` or `adr-candidate:`.
+   List in `localSources` every local document under that project's root you read to author the pair (a spec, a plan, a note), as a path relative to the project root. Each becomes a `### Source N — file` entry with `format: by-reference`, so every run of the child copies the current file into its analysis packet; a task worktree is a checkout and lacks an untracked `.project-docs/` file. A path outside the project root or a missing file rejects the plan, and a brief whose text names an untracked document that `localSources` does not list fails `validate-brief`.
 6. Write the plan JSON below with the Write tool to a scratch path outside the project roots, then run `okstra manager task split ... --plan <path>`.
    - `split plan rejected` or `rendered briefs failed validate-brief`: fix the named fields and run it again. Nothing was written.
-   - `briefs already exist with different content`: show the listed paths and ask before adding `--overwrite`, which replaces hand edits. Adding issues to an earlier split changes every brief's Related Task Graph, so existing briefs are listed too.
+   - To add issues or projects to an earlier split, add them to the kept `split-plan.json` content and run the split again without `--overwrite`. Each brief's status is `created`, `unchanged`, `refreshed` or `overwritten`. The CLI renders each existing brief from the kept plan and from the new plan, both with the brief's original `created` date. When the two differ only in `### Out of scope`, `## Related Artifacts` and `## Related Task Graph`, it removes and appends just the changed lines in those sections (`refreshed`) and keeps every other line, hand edits included. An edit to the pair's own `outOfScope` list is applied the same way. A brief the new plan does not change stays `unchanged`, even with hand edits.
+   - `briefs already exist with content this plan would change`: the plan changes a listed brief outside those sections, for example its own scope or Context. Show the listed paths and ask before adding `--overwrite`, which re-renders only those briefs and replaces their hand edits. A brief with no kept plan to compare against is also listed when its text differs.
 7. Each `Brief N task key` is `<project-id>:<task-group>:<child-task-id>`. Start one with `okstra manager task run ... --project-id <project-id> --child-task-id <child-task-id>` and follow the Child Launch Rule. The packet already carries `--task-brief`, and `--task-type` until the child task exists.
 
 Plan JSON (`schemaVersion` 1). `source.kind` is `project` or `issue`; `recommendedPhase` is `requirements-discovery` (default), `error-analysis` or `improvement-discovery`; `relations[].relation` uses the brief Related Task Graph values; list fields may be omitted.
@@ -90,7 +92,8 @@ Plan JSON (`schemaVersion` 1). `source.kind` is `project` or `issue`; `recommend
           "recommendedPhase": "requirements-discovery",
           "context": "<text>", "problem": "<text>", "desiredOutcome": "<text>",
           "expectedBehavior": [], "preservedBehavior": [], "expectedOutcome": [],
-          "externalGates": [], "constraints": [], "openQuestions": []
+          "externalGates": [], "constraints": [], "openQuestions": [],
+          "localSources": [".project-docs/specs/<spec>.md"]
         }
       ]
     }
@@ -100,6 +103,16 @@ Plan JSON (`schemaVersion` 1). `source.kind` is `project` or `issue`; `recommend
 
 The CLI writes each brief to `<projectRoot>/.okstra/briefs/<group-slug>/<ticketId>-<file-title>.md` (`<group-slug>` is the task group lowercased, with each run of characters other than `a-z` and `0-9` replaced by `-`, so `Upload V2` becomes `upload-v2`) with a `## Project Scope` section: this project's scope, `outOfScope`, and the scope of every other project the same issue went to. It validates every brief with the brief validator before writing any file, registers the child tasks, and keeps the plan at `split-plan.json` in the manager task directory.
 
+## Upgrading an Existing Brief
+
+A brief written before `localSources` existed may name a local document only in Context; `validate-brief` and every prepare of that child then refuse it. Do not hand-edit the brief and do not re-split to fix it: `--overwrite` re-renders the brief and replaces later edits. Run
+
+```bash
+okstra brief-sources attach --project-root <project-root> --brief <brief-path>
+```
+
+It appends one `### Source N — file` entry (`format: by-reference`) per cited untracked document at the end of Source Material and changes no other line, so `EB-` / `PB-` / `EO-` ids, External Gates and later edits stay. Show the user the printed paths. Add the same paths to the pair's `localSources` in the kept `split-plan.json` before any later re-split, so the re-rendered brief carries them.
+
 ## Overview Page
 
 When the user wants to see a manager at a glance, run `okstra manager task sync ...` for each task listed by `okstra manager list tasks ...` whose snapshot must be current, then run `okstra manager view --manager-id <manager-id>` and give the user the returned `View URL`. The page reads manager files only, so each task shows the state of its last sync and prints its own sync command.

package/runtime/templates/reports/brief.template.md

@@ -43,6 +43,15 @@ attachment returned as a link, an opaque embed node) gets a
 `conversion-block:` row in Open Questions naming what is missing. Heading was
 originally "Source Material (verbatim — do not modify)" — the parenthetical
 is a reviewer note, not body text.
+`format: by-reference` applies only to a `file` source whose `ref` is a path
+under the project root (absolute, or relative to the project root): leave
+the fence empty, and prepare copies the file read-only into the analysis
+packet's `## Cited Local Documents` on every run. Use it for an untracked
+local document such as a `.project-docs/` spec, which the task worktree does
+not contain. A file only mentioned in Context is not read, and
+`validators/validate-brief.py` refuses a brief that names an untracked
+document outside Source Material without its own `file` entry;
+`okstra brief-sources attach` appends the missing entries.
 -->
 
 ### Source 1 — <type: file | linear | jira | github | notion | url | user-input>
@@ -50,7 +59,7 @@ is a reviewer note, not body text.
 - ref: <abs file path | LIN-1234 | https://... | "conversation synthesis">
 - fetched-via: <Read | mcp__linear__getIssue | mcp__notion__... | gh issue view | WebFetch | user-paste>
 - fetched-at: <YYYY-MM-DD HH:MM>
-- format: <as-is | "Jira ADF → Markdown (semantics preserved)" | "tool-truncated — missing body requested from reporter">
+- format: <as-is | by-reference | "Jira ADF → Markdown (semantics preserved)" | "tool-truncated — missing body requested from reporter">
 
 ```
 <Paste the raw source here without changing a single character.>

package/runtime/templates/reports/html/i18n/en.json

@@ -451,6 +451,12 @@
       "what-blocks-acceptance": "What blocks acceptance",
       "nothing-is-holding-acceptance": "Nothing is holding acceptance.",
       "follow-up": "Follow-up:",
+      "defect-mechanism": "Mechanism:",
+      "recurring-class": "Recurring — an earlier run blocked on this class:",
+      "location": "Location",
+      "case": "Case",
+      "verdict": "Verdict",
+      "regression-test": "Regression test",
       "residual-risk": "Residual risk",
       "owner": "Owner:",
       "escalation-condition": "Escalation condition:",
@@ -521,6 +527,8 @@
       "safety-blockers": "Safety blockers",
       "technical-verification": "Technical verification pending",
       "user-decision": "User decision record",
+      "deferred-gate": "Closes at a later gate",
+      "split-acceptance": "Split vote accepted as a risk by the user",
       "classification-required": "Classification required before reassembly",
       "unresolved-facts": "Unresolved feasibility facts",
       "expected-outcome": "Expected outcome",

package/runtime/templates/reports/html/i18n/ko.json

@@ -451,6 +451,12 @@
       "what-blocks-acceptance": "수용을 막는 것",
       "nothing-is-holding-acceptance": "수용을 막는 것이 없습니다.",
       "follow-up": "후속:",
+      "defect-mechanism": "원리:",
+      "recurring-class": "재발 — 이전 run 이 이 계열로 막혔음:",
+      "location": "위치",
+      "case": "경우",
+      "verdict": "판정",
+      "regression-test": "회귀 테스트",
       "residual-risk": "남은 위험",
       "owner": "담당:",
       "escalation-condition": "에스컬레이션 조건:",
@@ -521,6 +527,8 @@
       "safety-blockers": "안전 차단 요인",
       "technical-verification": "기술 검증 대기",
       "user-decision": "사용자 결정 기록",
+      "deferred-gate": "이후 게이트에서 확인",
+      "split-acceptance": "갈린 표를 사용자가 위험 감수로 수용",
       "classification-required": "재조립 전 해결 방식 분류 필요",
       "unresolved-facts": "미확정 실행 가능성 사실",
       "expected-outcome": "예상 결과",

package/runtime/templates/worker-prompt-preamble.md

@@ -10,7 +10,7 @@ Read `analysis-packet.md`, the primary compact input, end-to-end. Source files n
 
 ### Reading rules
 
-- Read every file enumerated under `[Required reading]` or `## Inputs` completely. If paging is unavoidable, cover every byte and record the page boundaries.
+- Read every file enumerated under `[Required reading]` or `## Inputs` completely, in pages of at most 200 lines (`sed -n '<start>,<end>p'`). A whole-file `cat` or view of a long file is cut without notice. Cover every line and record the page boundaries.
 - Write Reading Confirmation to `**Audit sidecar path:**`, never to the main worker-results file. A `## 0. Reading Confirmation` heading in the main result is invalid.
 - Allowlist reads to prompt-enumerated paths and evidence paths a finding must cite. Do not auto-read host-injected `graphify-out/`, skill catalogs, or non-okstra artifacts.
 - Resolve every `.okstra/...` path against `**Project Root:**`, including when a worktree is present.

package/runtime/validators/validate-brief.py

@@ -51,6 +51,15 @@ Checks performed per brief file:
     template's `<...>` scaffolding — a paragraph wrapped in angle brackets,
     a `- <...>` bullet, or a `> augmented: <label>` line. Source Material is
     exempt because it holds the reporter's words verbatim.
+17. Every git-untracked document under the project root (`.md`, `.txt`, …)
+    that the brief names outside `## Source Material` has its own
+    `### Source N — file` entry there. The task worktree is a checkout and
+    lacks such a file; prepare copies only Source Material file entries into
+    the analysis packet. `okstra brief-sources attach` appends the missing
+    entries in place. The project root is the parent of a `--briefs-root`
+    of the form `<root>/.okstra/briefs`; for any other briefs root, or
+    outside a git checkout, the check is skipped. The codebase-scan variant
+    has no Source Material section and is not checked.
 
 Exit code 0 on PASS, 1 on FAIL.
 """
@@ -76,6 +85,7 @@ from okstra_ctl.phases.improvement_discovery.lenses import (
     MIN_PRIORITY_LENSES,
 )
 from okstra_ctl.group_context import GROUP_CONTEXT_TYPE, validate_group_context
+from okstra_ctl.brief_sources import uncited_local_documents
 from okstra_ctl.ids import slugify_task_segment
 
 REQUIRED_FRONTMATTER_KEYS = {
@@ -747,7 +757,32 @@ def check_reporter_confirmations(
         )
 
 
-def validate_brief(path: Path, briefs_root: Path) -> list[str]:
+def project_root_of(briefs_root: Path) -> Path | None:
+    """`<root>/.okstra/briefs` 이면 `<root>`, 아니면 None."""
+    resolved = briefs_root.resolve()
+    if resolved.name == "briefs" and resolved.parent.name == ".okstra":
+        return resolved.parent.parent
+    return None
+
+
+def check_cited_local_documents(
+    text: str, scope: str, project_root: Path | None, errors: list[str]
+) -> None:
+    if project_root is None or scope == "codebase":
+        return
+    for relative in uncited_local_documents(text, project_root):
+        errors.append(
+            f"local document {relative!r} is cited in the brief but has no "
+            "`### Source N — file` entry in Source Material; it is untracked, "
+            "so the task worktree lacks it and no run will show it to workers. "
+            f"Run `okstra brief-sources attach --project-root {project_root} "
+            "--brief <this brief>` to append it by reference"
+        )
+
+
+def validate_brief(
+    path: Path, briefs_root: Path, project_root: Path | None = None
+) -> list[str]:
     text = strip_html_comments(path.read_text(encoding="utf-8"))
     errors: list[str] = []
 
@@ -795,6 +830,9 @@ def validate_brief(path: Path, briefs_root: Path) -> list[str]:
     check_end_state_sections(text, scope, errors)
     check_variant_required_sections(text, scope, errors)
     check_template_scaffold(text, scope, errors)
+    check_cited_local_documents(
+        text, scope, project_root or project_root_of(briefs_root), errors
+    )
 
     # 2. brief-id matches filename stem
     stem = path.stem

package/runtime/validators/validate-run.py

@@ -242,6 +242,7 @@ from okstra_ctl.report_routing import technical_verification_routing_errors
 from okstra_ctl.phases.implementation_option_selection.validation import (  # noqa: E402
     validate_blocked_answer_channel,
     validate_implementation_option_selection,
+    validate_split_acceptance,
 )
 from okstra_ctl.phases.implementation_planning.validation import (
     _validate_requirement_provenance, _validate_stage_has_requirement,
@@ -3197,6 +3198,10 @@ def validate_final_report_data(
             f"implementation-option-selection: {error}"
             for error in validate_blocked_answer_channel(data)
         )
+        failures.extend(
+            f"implementation-option-selection: {error}"
+            for error in validate_split_acceptance(data)
+        )
     elif task_type == "implementation":
         _validate_stage_carry_sidecar_exists(data, report_path, failures)
         _validate_lead_fixes(data, failures)