From 42f978ecc44cf552ccd6cfc45e948cd3fc20b40d Mon Sep 17 00:00:00 2001
From: LoopX Agent <337587101+loopx-agent@users.noreply.github.com>
Date: Fri, 6 Nov 2026 10:22:52 +0800
Subject: [PATCH 1/2] feat(goals): check Goal commitments without gating local
 Todos

Signed-off-by: LoopX Agent <337587101+loopx-agent@users.noreply.github.com>
---
 .../smoke/goal-acceptance-contract-smoke.mjs  |  3 ++
 .../dashboard/src/data/delivery-review.ts     |  8 ++--
 .../src/data/goal-acceptance-actions.ts       |  2 +-
 .../src/data/goal-acceptance-observation.ts   |  1 +
 .../delivery-review-copy.ts                   |  4 +-
 .../goal-acceptance-contract.tsx              |  6 +--
 .../reference/goal-acceptance-observations.md | 19 +++++++-
 .../goals/acceptance_authority.ts             |  2 +-
 .../goals/acceptance_contract.ts              | 21 ++++++---
 .../goals/outcome_requirements.ts             |  2 +-
 .../control_plane/test_goal_acceptance_cli.py | 43 +++++++++++++++++++
 .../goal_acceptance_authority.test.ts         | 28 ++++++++++++
 12 files changed, 119 insertions(+), 20 deletions(-)

diff --git a/apps/presentation/dashboard/smoke/goal-acceptance-contract-smoke.mjs b/apps/presentation/dashboard/smoke/goal-acceptance-contract-smoke.mjs
index 9cd8ec23b1..f1a326f38e 100644
--- a/apps/presentation/dashboard/smoke/goal-acceptance-contract-smoke.mjs
+++ b/apps/presentation/dashboard/smoke/goal-acceptance-contract-smoke.mjs
@@ -31,6 +31,9 @@ for (const copy of Object.values(deliveryReviewCopy)) {
     scope: { kind: "selected_work", todo_ids: ["todo_confirmed"] } }), snapshot.goal_id);
   assert.ok(deliveryReviewMarkdown(selected, copy).includes(copy.contract.selectedWork));
   assert.ok(deliveryReviewMarkdown(parseDeliveryReview(withContract(contract), snapshot.goal_id), copy).includes(copy.contract.allWork));
+  const goalOnly = parseDeliveryReview(withContract({ ...contract,
+    scope: { kind: "goal" }, tasks: [], held_todo_ids: [] }), snapshot.goal_id);
+  assert.ok(deliveryReviewMarkdown(goalOnly, copy).includes(copy.contract.goalOnly));
   const empty = parseDeliveryReview(withContract({ ...contract, criteria: [], tasks: [] }), snapshot.goal_id);
   assert.ok(deliveryReviewMarkdown(empty, copy).includes(copy.contract.noTasks));
   assert.ok(deliveryReviewMarkdown(empty, copy).includes(copy.contract.noCriteria));
diff --git a/apps/presentation/dashboard/src/data/delivery-review.ts b/apps/presentation/dashboard/src/data/delivery-review.ts
index ad2b7a2a92..4986e2f37a 100644
--- a/apps/presentation/dashboard/src/data/delivery-review.ts
+++ b/apps/presentation/dashboard/src/data/delivery-review.ts
@@ -138,7 +138,7 @@ export function reviewNodeColumn(node: ReviewNode) {
 }
 
 type ConfiguredContract = GoalAcceptanceChecks;
-type ContractExportLabels = Record<"title" | "boundary" | "scope" | "selectedWork" | "allWork" | "source" | "revision" | "digest" | "objective" | "criteria"
+type ContractExportLabels = Record<"title" | "boundary" | "scope" | "goalOnly" | "selectedWork" | "allWork" | "source" | "revision" | "digest" | "objective" | "criteria"
   | "nonGoals" | "tasks" | "verification" | "unknown" | "noTasks" | "noCriteria" | "notApplicable"
   | "heldTasks" | "receipt" | "receiptNote" | "operation" | "verificationScope" | "allCriteria" | "passed" | "failed" | "exitCode"
   | "oracleChecker" | "oracleSourceDigest" | "oracleCheckedAt" | "oracleInputVersions" | "oracleOutputVersions", string> & {
@@ -236,7 +236,7 @@ export function deliveryReviewMarkdown(snapshot: DeliveryReviewSnapshot, labels:
   if (hasConfiguredGoalChecks(contract)) {
     const copy = labels.contract;
     rows.push("", `## ${copy.title}`, "", copy.boundary,
-      `${copy.scope}: ${contract.scope?.kind === "selected_work" ? copy.selectedWork : copy.allWork}`,
+      `${copy.scope}: ${contract.scope?.kind === "goal" ? copy.goalOnly : contract.scope?.kind === "selected_work" ? copy.selectedWork : copy.allWork}`,
       `${copy.source}: ${line(snapshot.goal_id)}`, `${copy.revision}: ${contract.revision}`, `${copy.digest}: ${line(contract.digest)}`,
       "", `### ${copy.objective}`, line(contract.objective || copy.unknown), "", `### ${copy.criteria}`);
     if (contract.non_goals.length) rows.push(`${copy.nonGoals}: ${line(contract.non_goals.join("; "))}`);
@@ -246,8 +246,8 @@ export function deliveryReviewMarkdown(snapshot: DeliveryReviewSnapshot, labels:
       if (criterion.oracle) rows.push(`  ${copy.oracleChecker}: ${line(criterion.oracle.source_id)} · ${copy.oracleState[criterion.oracle.state]}`,
         `  ${copy.oracleSourceDigest}: ${line(criterion.oracle.source_digest)}`);
     }
-    rows.push("", `### ${copy.tasks}`);
-    if (!contract.tasks.length) rows.push(copy.noTasks);
+    if (contract.tasks.length || contract.scope?.kind !== "goal") rows.push("", `### ${copy.tasks}`);
+    if (!contract.tasks.length && contract.scope?.kind !== "goal") rows.push(copy.noTasks);
     for (const task of contract.tasks) {
       rows.push(`- ${line(task.todo_id)}: ${copy.taskState[task.state]}`,
         `  ${copy.criteria}: ${line(task.criterion_ids.join(", ") || copy.unknown)}`);
diff --git a/apps/presentation/dashboard/src/data/goal-acceptance-actions.ts b/apps/presentation/dashboard/src/data/goal-acceptance-actions.ts
index 00ebe4c742..c956403af4 100644
--- a/apps/presentation/dashboard/src/data/goal-acceptance-actions.ts
+++ b/apps/presentation/dashboard/src/data/goal-acceptance-actions.ts
@@ -17,7 +17,7 @@ export async function acceptanceRequest(goalId: string, operation?: Record<strin
 // Read model only. The existing typed acceptance owner validates the complete
 // document and its command/file bindings again at apply time.
 const preparedDocument = z.object({objective: z.string().min(1),
-  scope: z.discriminatedUnion("kind", [z.object({kind: z.literal("all_advancement")}),
+  scope: z.discriminatedUnion("kind", [z.object({kind: z.literal("goal")}),z.object({kind: z.literal("all_advancement")}),
     z.object({kind: z.literal("selected_work"), todo_ids: z.array(z.string()).min(1)})]),
   criteria: z.array(z.object({id: z.string(), description: z.string(),
     validation_argv: z.array(z.string()).min(1),
diff --git a/apps/presentation/dashboard/src/data/goal-acceptance-observation.ts b/apps/presentation/dashboard/src/data/goal-acceptance-observation.ts
index 8676d8a15e..cd50a77ad6 100644
--- a/apps/presentation/dashboard/src/data/goal-acceptance-observation.ts
+++ b/apps/presentation/dashboard/src/data/goal-acceptance-observation.ts
@@ -35,6 +35,7 @@ const goalAcceptanceChecksSchema = z.object({
     outcome_id: z.string().optional(),
     revision: z.number().int().positive(), digest: z.string().min(1), objective: z.string(),
     scope: z.discriminatedUnion("kind", [
+      z.object({ kind: z.literal("goal") }).strict(),
       z.object({ kind: z.literal("all_advancement") }).strict(),
       z.object({ kind: z.literal("selected_work"), todo_ids: z.array(z.string().min(1)).min(1) }).strict(),
     ]).optional(),
diff --git a/apps/presentation/dashboard/src/features/personal-workspace/delivery-review-copy.ts b/apps/presentation/dashboard/src/features/personal-workspace/delivery-review-copy.ts
index 8794b3701f..a3578d4ec9 100644
--- a/apps/presentation/dashboard/src/features/personal-workspace/delivery-review-copy.ts
+++ b/apps/presentation/dashboard/src/features/personal-workspace/delivery-review-copy.ts
@@ -3,7 +3,7 @@ import type { ReviewExportLabels } from "../../data/delivery-review.js";
 export const goalAcceptanceContractCopy = {
   en: {
     title: "Delivery check", boundary: "Artifact checks do not establish independent review, adoption or Goal completion.",
-    scope: "Contract coverage", allWork: "All advancement work (including future tasks)", selectedWork: "Only explicitly selected tasks",
+    goalOnly: "Goal completion only", scope: "Contract coverage", allWork: "All advancement work (including future tasks)", selectedWork: "Only explicitly selected tasks",
     source: "Goal source", revision: "Contract revision", digest: "Contract digest", objective: "Objective", criteria: "Acceptance criteria", nonGoals: "Outside scope",
     tasks: "Task associations", verification: "Artifact verification", unknown: "Unknown", noTasks: "No task associations reported. Coverage is unknown.",
     noCriteria: "No acceptance criteria reported.", retained: "Retained snapshot; refresh to read current acceptance facts.",
@@ -17,7 +17,7 @@ export const goalAcceptanceContractCopy = {
   },
   "zh-CN": {
     title: "交付检查", boundary: "产物检查不等于独立复核、实际采用或 Goal 完成。",
-    scope: "合同覆盖范围", allWork: "全部推进任务（包括后续新增任务）", selectedWork: "仅明确选定的任务",
+    goalOnly: "仅 Goal 整体验收", scope: "合同覆盖范围", allWork: "全部推进任务（包括后续新增任务）", selectedWork: "仅明确选定的任务",
     source: "Goal 来源", revision: "合同版本", digest: "合同摘要", objective: "目标", criteria: "验收条件", nonGoals: "范围之外",
     tasks: "任务关联", verification: "产物验证", unknown: "未知", noTasks: "未提供任务关联，覆盖范围未知。",
     noCriteria: "未提供验收条件。", retained: "当前保留旧快照，请刷新读取最新验收事实。",
diff --git a/apps/presentation/dashboard/src/features/personal-workspace/goal-acceptance-contract.tsx b/apps/presentation/dashboard/src/features/personal-workspace/goal-acceptance-contract.tsx
index a949d77d60..1ff7163a94 100644
--- a/apps/presentation/dashboard/src/features/personal-workspace/goal-acceptance-contract.tsx
+++ b/apps/presentation/dashboard/src/features/personal-workspace/goal-acceptance-contract.tsx
@@ -118,10 +118,10 @@ export function GoalAcceptanceContractSection({goalId, contract: retained, copy,
           <button type="button" disabled={busy || !writeCurrent || !checksConfigured} onClick={() => void operate("clear-checks")}>{zh ? "移除检查配置" : "Remove check configuration"}</button>
         </div>
         <dl className="delivery-acceptance-source"><div><dt>{copy.source}</dt><dd><code>{goalId}</code></dd></div>
-          {checksConfigured ? <><div><dt>{copy.scope}</dt><dd>{contract.scope?.kind === "selected_work" ? copy.selectedWork : copy.allWork}</dd></div>
+          {checksConfigured ? <><div><dt>{copy.scope}</dt><dd>{contract.scope?.kind === "goal" ? copy.goalOnly : contract.scope?.kind === "selected_work" ? copy.selectedWork : copy.allWork}</dd></div>
             <div><dt>{copy.revision}</dt><dd>{contract.revision}</dd></div><div><dt>{copy.digest}</dt><dd><code>{contract.digest}</code></dd></div></> : null}
         </dl>
-        {checksConfigured ? <><p>{contract.non_goals.join(" · ")}</p><h4>{copy.tasks}</h4>
+        {checksConfigured ? <><p>{contract.non_goals.join(" · ")}</p>{contract.tasks.length ? <h4>{copy.tasks}</h4> : null}
           <ul>{contract.tasks.map(task => <li key={task.todo_id}><code>{task.todo_id}</code> · {copy.taskState[task.state]}
             <p>{copy.criteria}: {task.criterion_ids.join(", ") || copy.unknown}</p>
             {task.applicable === false ? <p>{copy.notApplicable}</p> : null}
@@ -171,7 +171,7 @@ export function GoalAcceptanceContractSection({goalId, contract: retained, copy,
           onClick={() => void operate(plan ? "adopt" : "verify")}>{busy ? (zh ? "正在检查…" : "Checking…") : plan ? (zh ? "采用并检查" : "Use plan and check") : (zh ? "检查交付" : "Check delivery")}</button> : null}
       </header> : null}
       {plan ? <div className="delivery-check-plan">
-        <p>{plan.document.scope.kind === "all_advancement" ? copy.allWork
+        <p>{plan.document.scope.kind === "goal" ? copy.goalOnly : plan.document.scope.kind === "all_advancement" ? copy.allWork
           : (zh ? `仅覆盖方案选定的 ${plan.document.scope.todo_ids.length} 项任务` : `Covers only ${plan.document.scope.todo_ids.length} selected tasks`)}</p>
         <ul>{plan.document.criteria.map(item => <li key={item.id}>{item.description}</li>)}</ul>
         {plan.document.criteria.some(item => item.oracle?.output_refs.length) ? <p>{zh ? "交付物" : "Delivery"}: {Array.from(new Set(plan.document.criteria.flatMap(item => item.oracle?.output_refs ?? []))).join(" · ")}</p> : null}
diff --git a/docs/reference/goal-acceptance-observations.md b/docs/reference/goal-acceptance-observations.md
index 7d4020b70c..4f18e2f514 100644
--- a/docs/reference/goal-acceptance-observations.md
+++ b/docs/reference/goal-acceptance-observations.md
@@ -305,11 +305,26 @@ and binding are separate: selected work with no confirmed binding remains held.
 Bindings outside the selected set are rejected. Agents cannot change coverage;
 owner configuration still uses preview, provider CAS and exact operation replay.
 
+`goal` checks the Goal as a whole without gating local Todo execution or
+completion. It requires empty `bindings`; it does not mean every new task needs
+an acceptance association. Use it for an independently checked cross-task
+commitment. With a retained outcome, `{"outcome_id":"...","scope":{"kind":"goal"},"criteria":[...]}`
+uses the original requirement descriptions and needs no placeholder Todo.
+An unmet configured check cannot be satisfied by an Agent's self-review or local
+Todo completion. The outcome remains available to ordinary replanning when its
+linked work ends; permission, Stop, real blockers and the host's finite budget
+still govern execution. A scope declaration itself never runs a checker.
+
+`goal` 只验收整个 Goal，不给局部 Todo 加执行或完成门禁，`bindings` 必须为空。
+它适用于跨任务的独立验收承诺，可直接引用既有成果要求，无需占位 Todo。
+局部任务完成或 Agent 自评不能替代已配置检查；未满足的成果在工作结束后仍进入
+原有重规划流程。权限、Stop、真实阻塞及宿主有限预算继续生效。
+
 Legacy persisted documents without `scope` retain their Goal-wide behavior and
 original digest. Reading or upgrading does not narrow them. A fresh configuration
 without scope is rejected with an actionable error; original committed retries
-still recover their receipts. An older runtime that does not understand selected
-coverage rejects it rather than silently ignoring it; update readers before an
+still recover their receipts. An older runtime that does not understand the selected
+coverage kind rejects it rather than silently ignoring it; update readers before an
 owner-approved scope change.
 
 Unselected work retains its ordinary validation, claims, leases, permissions and
diff --git a/loopx/control_plane/goals/acceptance_authority.ts b/loopx/control_plane/goals/acceptance_authority.ts
index c5d1b6ef81..3687c9b5dd 100644
--- a/loopx/control_plane/goals/acceptance_authority.ts
+++ b/loopx/control_plane/goals/acceptance_authority.ts
@@ -303,7 +303,7 @@ export async function configureGoalAcceptance(store: AuthorityStore, value: Json
     // Historical receipts above remain replayable; new configurations must make
     // the blast radius explicit, including updates to legacy contracts.
     if (document.scope === undefined) return source(store, failure("goal_acceptance_scope_required",
-      "Select selected_work with todo_ids or explicitly choose all_advancement before configuring acceptance."));
+      "Select goal for Goal-only checks, selected_work with todo_ids, or all_advancement before configuring acceptance."));
     const todos = acceptanceTodos(head.head, String(request.goal_id));
     if (document.scope?.kind === "selected_work") for (const todoId of document.scope.todo_ids) {
       const todo = todos.get(todoId);
diff --git a/loopx/control_plane/goals/acceptance_contract.ts b/loopx/control_plane/goals/acceptance_contract.ts
index 85557506e9..05c6f2ab3c 100644
--- a/loopx/control_plane/goals/acceptance_contract.ts
+++ b/loopx/control_plane/goals/acceptance_contract.ts
@@ -27,6 +27,7 @@ export interface AcceptanceCriterion extends JsonObject {
 }
 export type AcceptanceScope =
   | {kind: "all_advancement"}
+  | {kind: "goal"}
   | {kind: "selected_work"; todo_ids: string[]};
 export interface AcceptanceDocument extends JsonObject {
   outcome_id?: string;
@@ -169,6 +170,10 @@ function validationFiles(value: unknown): {path: string; sha256: string}[] {
  * and its canonical bytes; an explicit subset may still contain unbound work. */
 function normalizeAcceptanceScope(value: unknown): AcceptanceScope {
   const scope = canonicalAuthorityObject(value, "acceptance scope");
+  if (scope.kind === "goal") {
+    acceptanceKeys(scope, ["kind"]);
+    return {kind: "goal"};
+  }
   if (scope.kind === "all_advancement") {
     acceptanceKeys(scope, ["kind"]);
     return {kind: "all_advancement"};
@@ -179,7 +184,7 @@ function normalizeAcceptanceScope(value: unknown): AcceptanceScope {
     list(scope.todo_ids, "acceptance scope Todos", 4096, 1).map(id), "acceptance scope Todos")};
 }
 function acceptanceIncludes(scope: AcceptanceScope | undefined, todoId: string): boolean {
-  return scope?.kind !== "selected_work" || scope.todo_ids.includes(todoId);
+  return scope?.kind !== "goal" && (scope?.kind !== "selected_work" || scope.todo_ids.includes(todoId));
 }
 
 export function normalizeGoalAcceptanceDocument(value: unknown): AcceptanceDocument {
@@ -225,11 +230,13 @@ export function normalizeGoalAcceptanceDocument(value: unknown): AcceptanceDocum
 export function resolveGoalAcceptanceDocument(head: JsonObject, goalId: string, value: unknown): AcceptanceDocument {
   const raw = canonicalAuthorityObject(value, "acceptance document");
   if (raw.outcome_id === undefined) return normalizeGoalAcceptanceDocument(raw);
-  acceptanceKeys(raw, ["outcome_id", "criteria"]);
+  acceptanceKeys(raw, ["outcome_id", "criteria"], ["scope"]);
+  const goalOnly = raw.scope !== undefined && normalizeAcceptanceScope(raw.scope).kind === "goal";
+  acceptanceRequire(raw.scope === undefined || goalOnly, "compact outcome checks support only explicit Goal scope");
   const basis = goalOutcomeCheckBasis(head, goalId, raw.outcome_id);
   const requirements = basis.requirements as {id: string; description: string}[];
   const todoIds = basis.todo_ids as string[];
-  acceptanceRequire(todoIds.length > 0, "link outcome work before preparing executable checks");
+  acceptanceRequire(goalOnly || todoIds.length > 0, "link outcome work before preparing executable checks");
   const criteria = list(raw.criteria, "acceptance criteria", 64, 1).map(value => {
     const check = canonicalAuthorityObject(value, "requirement check");
     acceptanceKeys(check, ["id", "validation_argv"], ["validation_timeout_seconds", "validation_files", "oracle"]);
@@ -238,8 +245,8 @@ export function resolveGoalAcceptanceDocument(head: JsonObject, goalId: string,
     return {...check, id: requirement.id, description: requirement.description};
   });
   return normalizeGoalAcceptanceDocument({outcome_id: basis.outcome_id, objective: basis.objective, non_goals: [],
-    scope: {kind: "selected_work", todo_ids: todoIds}, criteria,
-    bindings: todoIds.map(todo_id => ({todo_id, criterion_ids: criteria.map(c => c.id)}))});
+    scope: goalOnly ? {kind: "goal"} : {kind: "selected_work", todo_ids: todoIds}, criteria,
+    bindings: goalOnly ? [] : todoIds.map(todo_id => ({todo_id, criterion_ids: criteria.map(c => c.id)}))});
 }
 
 function acceptanceDigestMatches(todo: JsonObject, boundDigest: string): boolean {
@@ -343,6 +350,7 @@ function acceptanceWorkDigest(todos: ReadonlyMap<string, JsonObject>, scope: Acc
   head: JsonObject): string {
   const objective = currentGoalObjective(head)?.revisions.at(-1)?.digest;
   const digest = (work: unknown) => canonicalAuthoritySha256(objective === undefined ? work : {work, objective});
+  if (scope?.kind === "goal") return digest([]);
   if (scope?.kind === "selected_work") return digest(scope.todo_ids.map(todo_id => ({
     todo_id, digest: todos.has(todo_id) ? goalAcceptanceTodoDigest(todos.get(todo_id)!) : null,
   })));
@@ -563,7 +571,8 @@ export class GoalAcceptanceRead {
     }
     this.validateTodoReadModel();
     const todos = this.read.todoIndex.todos;
-    const taskIds = new Set(state.document.scope?.kind === "selected_work" ? state.document.scope.todo_ids
+    const taskIds = new Set(state.document.scope?.kind === "goal" ? []
+      : state.document.scope?.kind === "selected_work" ? state.document.scope.todo_ids
       : [...todos.values()].filter(advancement).map(todo => String(todo.todo_id)));
     for (const binding of state.bindings) taskIds.add(binding.todo_id);
     const tasks = [...taskIds].sort(authorityUnicodeCompare).map(key => this.task(key, todos.get(key), state));
diff --git a/loopx/control_plane/goals/outcome_requirements.ts b/loopx/control_plane/goals/outcome_requirements.ts
index 1dad34811c..b4cb37b2cc 100644
--- a/loopx/control_plane/goals/outcome_requirements.ts
+++ b/loopx/control_plane/goals/outcome_requirements.ts
@@ -352,7 +352,7 @@ export function observeOutcomeRequirements(declaration: JsonObject, acceptance:
     requirements: o.requirements.map(r => {
       const criteria = acceptance.outcome_id === undefined || acceptance.outcome_id === o.id ? allCriteria : [];
       const criterion = criteria.find(c => c.id === r.id && c.description === r.description);
-      const covered = o.todo_ids.length > 0 && o.todo_ids.every(key => tasks.some(t => t.todo_id === key && t.state === "ready" && (t.criterion_ids as string[]).includes(r.id)));
+      const covered = (acceptance.scope as JsonObject | undefined)?.kind === "goal" || o.todo_ids.length > 0 && o.todo_ids.every(key => tasks.some(t => t.todo_id === key && t.state === "ready" && (t.criterion_ids as string[]).includes(r.id)));
       const oracle = criterion?.oracle as JsonObject | undefined;
       const receipt = acceptance.verification as JsonObject | null | undefined;
       const ownResult = (receipt?.results as JsonObject[] | undefined)?.find(result => result.criterion_id === r.id);
diff --git a/tests/control_plane/test_goal_acceptance_cli.py b/tests/control_plane/test_goal_acceptance_cli.py
index 7688fc4af0..7beb7f66e9 100644
--- a/tests/control_plane/test_goal_acceptance_cli.py
+++ b/tests/control_plane/test_goal_acceptance_cli.py
@@ -535,3 +535,46 @@ def test_owner_scope_correction_restores_independent_work_through_real_cli(accep
     assert code == 1 and verified["checks_passed"] is False
     (project / "artifact.txt").write_text("accepted")
     assert cli("verify", "--execute")[0] == 0
+
+
+def test_goal_only_checks_keep_local_work_free_and_outcome_unmet(acceptance_goal):
+    project, checks_file, cli, run = acceptance_goal
+    outcome_file = project / "goal-outcome.json"
+    outcome_file.write_text(json.dumps({"outcome_id": "campaign", "owner_agent_id": "agent-a",
+        "objective": "Complete the authorized ongoing work", "requirements": [
+            {"id": "commitment", "description": "The external work commitment is fulfilled"}],
+        "source": {"ref": "owner:commitment", "summary": "The owner retained a Goal-wide commitment"}}))
+    code, refined = cli("refine", "--agent-id", "agent-a", "--document", str(outcome_file),
+        "--expected-provider-revision", cli("inspect")[1]["provider_revision"],
+        "--operation-id", "goal-only-outcome", "--execute")
+    assert code == 0, refined
+    checks_file.write_text(json.dumps({"outcome_id": "campaign", "scope": {"kind": "goal"},
+        "criteria": [{"id": "commitment", "validation_argv": [sys.executable, "-c",
+            "from pathlib import Path; assert Path('commitment.txt').read_text() == 'fulfilled'"]}]}))
+    code, configured = cli("configure", "--document", str(checks_file),
+        "--expected-provider-revision", cli("inspect")[1]["provider_revision"],
+        "--operation-id", "goal-only-configure", "--execute")
+    assert code == 0, configured
+    contract = configured["goal_acceptance_contract"]
+    assert contract["scope"] == {"kind": "goal"}
+    assert contract["tasks"] == [] and contract["held_todo_ids"] == []
+    assert contract["status"] == "unverified"
+    assert contract["outcome_requirements"]["acceptance_gaps"][0]["kind"] == "goal_outcome_uncovered"
+    code, failed = cli("verify", "--agent-id", "agent-a", "--execute")
+    assert code == 1 and failed["checks_passed"] is False, failed
+    assert cli("inspect")[1]["goal_acceptance_contract"]["status"] == "failed"
+    code, completed = run("todo", "complete", "--goal-id", "goal-acceptance",
+        "--todo-id", "todo_export", "--agent-id", "agent-a")
+    assert code == 0, completed
+    code, quota = run("quota", "should-run", "--goal-id", "goal-acceptance", "--agent-id", "agent-a",
+        "--context-delivery", "off", "--delta-delivery", "off")
+    assert code == 0, quota
+    assert quota["decision"] == "autonomous_replan_required", quota
+    assert quota["goal_frontier_projection"].get("terminal_state") is None
+    (project / "commitment.txt").write_text("fulfilled")
+    code, passed = cli("verify", "--agent-id", "agent-a", "--execute")
+    assert code == 0 and passed["checks_passed"] is True, passed
+    current = cli("inspect")[1]["goal_acceptance_contract"]
+    assert current["status"] == "accepted"
+    assert current["outcome_requirements"]["acceptance_gaps"] == []
+    assert current["outcome_requirements"]["outcomes"][0]["requirements"][0]["status"] == "accepted"
diff --git a/tests/control_plane_ts/goal_acceptance_authority.test.ts b/tests/control_plane_ts/goal_acceptance_authority.test.ts
index 9016695958..a491260cae 100644
--- a/tests/control_plane_ts/goal_acceptance_authority.test.ts
+++ b/tests/control_plane_ts/goal_acceptance_authority.test.ts
@@ -483,6 +483,34 @@ for (const provider of providers) {
     assert.equal((replacementHead.head.goal_acceptance as JsonObject).revision, 1);
     assert.equal(acceptanceWorkGuard(replacementHead.head, goal, "todo_first")?.allowed, true);
   });
+  test(`${provider}: Goal-only checks preserve local work and require independent verification`, options, async t => {
+    const store = await fixture(t, provider); await seed(store);
+    const doc = {...document(), scope: {kind: "goal"}, bindings: []};
+    assert.throws(() => normalizeGoalAcceptanceDocument({...doc, bindings: document().bindings}), /outside/);
+    const request = await configureRequest(store, {document: doc});
+    assert.equal((await configureGoalAcceptance(store, request)).status, "applied");
+    const before = (await head(store)).head;
+    assert.equal(projectGoalAcceptance(before, goal).status, "unverified");
+    assert.deepEqual(projectGoalAcceptance(before, goal).tasks, []);
+    for (const id of ["todo_first", "todo_second"]) {
+      assert.equal(acceptanceWorkGuard(before, goal, id), null);
+      assert.equal(acceptanceCompletionRequirements(before, goal, id), null);
+    }
+    await update(store, "todo_first", {done: true, status: "done", completion_continuation: "no_followup"});
+    assert.equal(projectGoalAcceptance((await head(store)).head, goal).status, "unverified",
+      "local completion cannot certify a Goal check");
+    const failed = await verifyRequest(store, {results: [
+      {criterion_id: "outcome", passed: false, exit_code: 1},
+      {criterion_id: "prerequisite", passed: true, exit_code: 0},
+    ]});
+    assert.equal((await commitGoalAcceptanceVerification(store, failed)).status, "applied");
+    assert.equal(projectGoalAcceptance((await head(store)).head, goal).status, "failed");
+    assert.equal((await commitGoalAcceptanceVerification(store, await verifyRequest(store))).status, "applied");
+    assert.equal(projectGoalAcceptance((await head(store)).head, goal).status, "accepted");
+    await update(store, "todo_new", todoFixtureRecord(todo("todo_new"), "native"));
+    assert.equal(acceptanceWorkGuard((await head(store)).head, goal, "todo_new"), null);
+    assert.equal(projectGoalAcceptance((await head(store)).head, goal).status, "accepted");
+  });
   test(`${provider}: selected work isolates admission and verification without weakening its own guard`, options, async t => {
     const store = await fixture(t, provider); await seed(store);
     const doc = {...document(), scope: {kind: "selected_work", todo_ids: ["todo_first"]},

From 3f9f4e35cab34cecac51726a8e7b6956ba55e5d9 Mon Sep 17 00:00:00 2001
From: LoopX Agent <337587101+loopx-agent@users.noreply.github.com>
Date: Sat, 7 Nov 2026 15:56:42 +0800
Subject: [PATCH 2/2] Bind Goal checks to the outcome named in their receipt

Require a retained outcome ID before a Goal-only check contributes to its requirements. Exercise the owner configure and verify path through the default policy transport.

Signed-off-by: LoopX Agent <337587101+loopx-agent@users.noreply.github.com>
---
 .../reference/goal-acceptance-observations.md | 12 ++--
 .../goals/outcome_requirements.ts             | 12 ++--
 .../control_plane/test_goal_acceptance_cli.py | 63 ++++++++++++++-----
 3 files changed, 63 insertions(+), 24 deletions(-)

diff --git a/docs/reference/goal-acceptance-observations.md b/docs/reference/goal-acceptance-observations.md
index ee63ea4c16..5c8f3cb3bb 100644
--- a/docs/reference/goal-acceptance-observations.md
+++ b/docs/reference/goal-acceptance-observations.md
@@ -283,13 +283,15 @@ Count the complete task: with an Agent-prepared plan already delivered, the owne
 has one required decision. If the original request still lacks acceptance intent
 or authority, that missing decision is an additional round; preparing a proposal
 alone does not establish a one-round cold-start or live-model experience.
-No-plan/default-off behavior remains unchanged, and no Lark action is introduced.
+The default outcome feedback loop continues while executable verification awaits
+an owner-authorized check.
 
 中文：普通路径由 Agent 根据目标与既有上下文准备方案，负责人在交付处核对要求、覆盖范围和
 执行影响，一次“采用并检查”；已有配置直接“检查交付”。JSON 导入仅保留为高级迁移入口。
 `prepare --execute` 只保存可审阅方案，不修改 Goal 规则、不执行检查。丢失回执先对账，
 不能自动重跑；历史通过不能认证变化后的版本。交互次数从原始意图算起，前置缺失的意图或
-授权不能从计数中省略。此入口沿用可信本机所有者边界，不证明远程身份、独立复核或实际采用。
+授权不能从计数中省略。成果反馈默认运行，可执行检查等待所有者授权。此入口沿用可信本机
+所有者边界，不证明远程身份、独立复核或实际采用。
 显式启用的 Goal LoopX 会话在原生工具声明 `prepare_check` 时，可直接准备相同方案；
 Goal、Agent 与运行目录由宿主固定，暂停、过期 Turn 或撤销配置后不能继续准备。
 旧原生线程的工具声明不会自动升级，也不会为新增工具替换未完成线程；未声明时保留 CLI
@@ -342,13 +344,15 @@ completion. It requires empty `bindings`; it does not mean every new task needs
 an acceptance association. Use it for an independently checked cross-task
 commitment. With a retained outcome, `{"outcome_id":"...","scope":{"kind":"goal"},"criteria":[...]}`
 uses the original requirement descriptions and needs no placeholder Todo.
-An unmet configured check cannot be satisfied by an Agent's self-review or local
-Todo completion. The outcome remains available to ordinary replanning when its
+The outcome ID binds the receipt to that outcome. A standalone Goal check
+reports on the Goal as a whole. An unmet configured check cannot be satisfied
+by an Agent's self-review or local Todo completion. The outcome remains available to ordinary replanning when its
 linked work ends; permission, Stop, real blockers and the host's finite budget
 still govern execution. A scope declaration itself never runs a checker.
 
 `goal` 只验收整个 Goal，不给局部 Todo 加执行或完成门禁，`bindings` 必须为空。
 它适用于跨任务的独立验收承诺，可直接引用既有成果要求，无需占位 Todo。
+`outcome_id` 将检查回执绑定到对应成果。独立的 Goal 检查报告整个 Goal 的验证结果。
 局部任务完成或 Agent 自评不能替代已配置检查；未满足的成果在工作结束后仍进入
 原有重规划流程。权限、Stop、真实阻塞及宿主有限预算继续生效。
 
diff --git a/loopx/control_plane/goals/outcome_requirements.ts b/loopx/control_plane/goals/outcome_requirements.ts
index b12ab6e218..df83927303 100644
--- a/loopx/control_plane/goals/outcome_requirements.ts
+++ b/loopx/control_plane/goals/outcome_requirements.ts
@@ -350,11 +350,15 @@ export function observeOutcomeRequirements(declaration: JsonObject, acceptance:
   oracleObservations: JsonObject[] = []): JsonObject {
   const current = declaration.current_lifetime === true;
   const allCriteria = (acceptance.criteria ?? []) as JsonObject[], tasks = (acceptance.tasks ?? []) as JsonObject[];
+  const goalScope = (acceptance.scope as JsonObject | undefined)?.kind === "goal";
+  const criteriaForOutcome = (outcomeId: string): JsonObject[] =>
+    acceptance.outcome_id === outcomeId || (acceptance.outcome_id === undefined && !goalScope)
+      ? allCriteria : [];
   const outcomes = (declaration.outcomes as (Outcome & {basis_digest?: string; review_basis_current: boolean; work: {todo_id: string; status: string}[]})[]).map(o => ({...o,
     requirements: o.requirements.map(r => {
-      const criteria = acceptance.outcome_id === undefined || acceptance.outcome_id === o.id ? allCriteria : [];
+      const criteria = criteriaForOutcome(o.id);
       const criterion = criteria.find(c => c.id === r.id && c.description === r.description);
-      const covered = (acceptance.scope as JsonObject | undefined)?.kind === "goal" || o.todo_ids.length > 0 && o.todo_ids.every(key => tasks.some(t => t.todo_id === key && t.state === "ready" && (t.criterion_ids as string[]).includes(r.id)));
+      const covered = goalScope || o.todo_ids.length > 0 && o.todo_ids.every(key => tasks.some(t => t.todo_id === key && t.state === "ready" && (t.criterion_ids as string[]).includes(r.id)));
       const oracle = criterion?.oracle as JsonObject | undefined;
       const receipt = acceptance.verification as JsonObject | null | undefined;
       const ownResult = (receipt?.results as JsonObject[] | undefined)?.find(result => result.criterion_id === r.id);
@@ -372,8 +376,8 @@ export function observeOutcomeRequirements(declaration: JsonObject, acceptance:
   const uncovered = current ? outcomes.flatMap(outcome => {
     const unmet = outcome.requirements.filter(r => !r.planning_satisfied).map(r => r.id);
     if (!unmet.length || outcome.work.some(w => !["done", "missing"].includes(String(w.status)))) return [];
-    const criteria = acceptance.outcome_id === undefined || acceptance.outcome_id === outcome.id ? allCriteria
-      .filter(criterion => outcome.requirements.some(requirement => requirement.id === criterion.id)) : [];
+    const criteria = criteriaForOutcome(outcome.id)
+      .filter(criterion => outcome.requirements.some(requirement => requirement.id === criterion.id));
     const receipt = acceptance.verification as JsonObject | null | undefined;
     const basis = {outcome_id: outcome.id, basis_digest: outcome.basis_digest ?? null, work: outcome.work,
       requirements: outcome.requirements.map(({id, status, planning_satisfied, agent_review}) => ({id, status, planning_satisfied,
diff --git a/tests/control_plane/test_goal_acceptance_cli.py b/tests/control_plane/test_goal_acceptance_cli.py
index 7beb7f66e9..9041657584 100644
--- a/tests/control_plane/test_goal_acceptance_cli.py
+++ b/tests/control_plane/test_goal_acceptance_cli.py
@@ -19,6 +19,7 @@
     run_json_cli_result,
     write_fixture_registry,
 )
+from tests.control_plane.codex_checkpoint_fixture import read_cli_policy_payload
 
 
 @pytest.fixture(params=["file", "sqlite"])
@@ -82,11 +83,14 @@ def acceptance_goal(tmp_path, monkeypatch, request):
     document_path.write_text(json.dumps(document))
 
     def run(*arguments):
-        return run_json_cli_result(
+        code, payload = run_json_cli_result(
             *arguments,
             registry_path=registry,
             runtime_root=runtime,
         )
+        if arguments[:2] == ("quota", "should-run"):
+            payload = read_cli_policy_payload(json.dumps(payload), returncode=code)
+        return code, payload
 
     def cli(*arguments):
         return run("goal-acceptance", *arguments, "--goal-id", "goal-acceptance")
@@ -540,17 +544,43 @@ def test_owner_scope_correction_restores_independent_work_through_real_cli(accep
 def test_goal_only_checks_keep_local_work_free_and_outcome_unmet(acceptance_goal):
     project, checks_file, cli, run = acceptance_goal
     outcome_file = project / "goal-outcome.json"
-    outcome_file.write_text(json.dumps({"outcome_id": "campaign", "owner_agent_id": "agent-a",
-        "objective": "Complete the authorized ongoing work", "requirements": [
-            {"id": "commitment", "description": "The external work commitment is fulfilled"}],
-        "source": {"ref": "owner:commitment", "summary": "The owner retained a Goal-wide commitment"}}))
-    code, refined = cli("refine", "--agent-id", "agent-a", "--document", str(outcome_file),
+    description = "The external work commitment is fulfilled"
+    for outcome_id in ("campaign", "independent"):
+        outcome_file.write_text(json.dumps({"outcome_id": outcome_id, "owner_agent_id": "agent-a",
+            "objective": f"Complete the authorized {outcome_id} work", "requirements": [
+                {"id": "commitment", "description": description}],
+            "source": {"ref": f"owner:{outcome_id}", "summary": "The owner retained a Goal-wide commitment"}}))
+        code, refined = cli("refine", "--agent-id", "agent-a", "--document", str(outcome_file),
+            "--expected-provider-revision", cli("inspect")[1]["provider_revision"],
+            "--operation-id", f"goal-only-{outcome_id}", "--execute")
+        assert code == 0, refined
+    default_contract = cli("inspect")[1]["goal_acceptance_contract"]
+    assert default_contract.get("verification") is None
+    assert {gap["outcome_id"] for gap in default_contract["outcome_requirements"]["acceptance_gaps"]} == {
+        "campaign", "independent"}
+
+    command = [sys.executable, "-c",
+        "from pathlib import Path; assert Path('commitment.txt').read_text() == 'fulfilled'"]
+    checks_file.write_text(json.dumps({"scope": {"kind": "goal"}, "objective": "Verify the Goal artifact",
+        "non_goals": [], "bindings": [], "criteria": [
+            {"id": "commitment", "description": description, "validation_argv": command}]}))
+    code, configured = cli("configure", "--document", str(checks_file),
         "--expected-provider-revision", cli("inspect")[1]["provider_revision"],
-        "--operation-id", "goal-only-outcome", "--execute")
-    assert code == 0, refined
+        "--operation-id", "standalone-goal-check", "--execute")
+    assert code == 0, configured
+    artifact = project / "commitment.txt"
+    artifact.write_text("fulfilled")
+    code, passed = cli("verify", "--agent-id", "agent-a", "--execute")
+    assert code == 0 and passed["checks_passed"] is True, passed
+    current = cli("inspect")[1]["goal_acceptance_contract"]
+    assert current["status"] == "accepted"
+    outcomes = current["outcome_requirements"]["outcomes"]
+    assert {outcome["id"]: outcome["requirements"][0]["status"] for outcome in outcomes} == {
+        "campaign": "unverified", "independent": "unverified"}
+    artifact.unlink()
+
     checks_file.write_text(json.dumps({"outcome_id": "campaign", "scope": {"kind": "goal"},
-        "criteria": [{"id": "commitment", "validation_argv": [sys.executable, "-c",
-            "from pathlib import Path; assert Path('commitment.txt').read_text() == 'fulfilled'"]}]}))
+        "criteria": [{"id": "commitment", "validation_argv": command}]}))
     code, configured = cli("configure", "--document", str(checks_file),
         "--expected-provider-revision", cli("inspect")[1]["provider_revision"],
         "--operation-id", "goal-only-configure", "--execute")
@@ -558,7 +588,7 @@ def test_goal_only_checks_keep_local_work_free_and_outcome_unmet(acceptance_goal
     contract = configured["goal_acceptance_contract"]
     assert contract["scope"] == {"kind": "goal"}
     assert contract["tasks"] == [] and contract["held_todo_ids"] == []
-    assert contract["status"] == "unverified"
+    assert contract["status"] == "stale"
     assert contract["outcome_requirements"]["acceptance_gaps"][0]["kind"] == "goal_outcome_uncovered"
     code, failed = cli("verify", "--agent-id", "agent-a", "--execute")
     assert code == 1 and failed["checks_passed"] is False, failed
@@ -566,15 +596,16 @@ def test_goal_only_checks_keep_local_work_free_and_outcome_unmet(acceptance_goal
     code, completed = run("todo", "complete", "--goal-id", "goal-acceptance",
         "--todo-id", "todo_export", "--agent-id", "agent-a")
     assert code == 0, completed
-    code, quota = run("quota", "should-run", "--goal-id", "goal-acceptance", "--agent-id", "agent-a",
-        "--context-delivery", "off", "--delta-delivery", "off")
+    code, quota = run("quota", "should-run", "--goal-id", "goal-acceptance", "--agent-id", "agent-a")
     assert code == 0, quota
     assert quota["decision"] == "autonomous_replan_required", quota
     assert quota["goal_frontier_projection"].get("terminal_state") is None
-    (project / "commitment.txt").write_text("fulfilled")
+    artifact.write_text("fulfilled")
     code, passed = cli("verify", "--agent-id", "agent-a", "--execute")
     assert code == 0 and passed["checks_passed"] is True, passed
     current = cli("inspect")[1]["goal_acceptance_contract"]
     assert current["status"] == "accepted"
-    assert current["outcome_requirements"]["acceptance_gaps"] == []
-    assert current["outcome_requirements"]["outcomes"][0]["requirements"][0]["status"] == "accepted"
+    outcomes = current["outcome_requirements"]["outcomes"]
+    assert {outcome["id"]: outcome["requirements"][0]["status"] for outcome in outcomes} == {
+        "campaign": "accepted", "independent": "unverified"}
+    assert {gap["outcome_id"] for gap in current["outcome_requirements"]["acceptance_gaps"]} == {"independent"}