@tea-agent/loop-agent 0.42.0-next.1 → 0.42.0-next.11

package/dist/workflows/dag/validate.js

@@ -3,7 +3,7 @@ import { resolveShellCommands } from "../../executors/shell-executor.js";
 import { pathMatchesPattern } from "../../shared/git-progress.js";
 import { resolveRepairTaskForGate } from "./repair-artifact.js";
 import { topoSortToRanks } from "./topo.js";
-import { isSafeReadOnlyPiRetryCandidate, isWriterEmptyDiffRetryCandidate, isWriterTransportRetryCandidate, INCOMPLETE_WRITE_SET_RETRY_CATEGORY, WRITER_CLEAN_TIMEOUT_RETRY_CATEGORY, WRITER_EMPTY_DIFF_RETRY_CATEGORY, } from "./retry-policy.js";
+import { isSafeReadOnlyPiRetryCandidate, isWriterEmptyDiffRetryCandidate, isWriterTransportRetryCandidate, INCOMPLETE_WRITE_SET_RETRY_CATEGORY, WRITER_CLEAN_TIMEOUT_RETRY_CATEGORY, WRITER_EMPTY_DIFF_RETRY_CATEGORY, CONTEXT_OVERFLOW_RETRY_CATEGORY, } from "./retry-policy.js";
 import { isBackendTestCompletenessRetryCandidate } from "./backend-test-writer-completeness.js";
 import { defaultFrontendTestLayout, frontendTestLayoutFromSpec, } from "./frontend-test-layout.js";
 const GOVERNANCE_WARNING_TYPES = new Set([
@@ -464,7 +464,9 @@ function validateShellTaskConfig(task, spec, issues) {
     if (commands.length === 0 &&
         !shell.jsonArtifactGate &&
         !shell.backendTestPipeline &&
-        !shell.frontendPrewriteGate &&
+        !shell.frontendDesignPolicy &&
+        !shell.frontendWriterAdmission &&
+        !shell.frontendCloseout &&
         !shell.frontendBrowserToolPreflight &&
         !shell.frontendTestStandardScenarios &&
         !shell.frontendTestEnvironmentProbe &&
@@ -537,18 +539,26 @@ function validateShellTaskConfig(task, spec, issues) {
             }
         }
     }
-    if (shell.frontendPrewriteGate) {
-        const sourceNodeIds = [
-            shell.frontendPrewriteGate.planFromNodeId,
-            ...shell.frontendPrewriteGate.planFallbackFromNodeIds,
-            shell.frontendPrewriteGate.reviewFromNodeId,
-            ...shell.frontendPrewriteGate.reviewFallbackFromNodeIds,
-        ];
+    if (shell.frontendDesignPolicy) {
+        const sourceNodeIds = [shell.frontendDesignPolicy.planFromNodeId];
         for (const sourceNodeId of new Set(sourceNodeIds)) {
             if (!task.depends_on.includes(sourceNodeId)) {
                 issues.push({
                     type: "missing-dependency",
-                    message: `shell task ${task.id} frontendPrewriteGate source ${sourceNodeId} must be a direct dependency`,
+                    message: `shell task ${task.id} frontendDesignPolicy source ${sourceNodeId} must be a direct dependency`,
+                });
+            }
+        }
+    }
+    if (shell.frontendWriterAdmission) {
+        const sourceNodeIds = shell.frontendWriterAdmission.designReviewFromNodeId
+            ? [shell.frontendWriterAdmission.designReviewFromNodeId]
+            : [];
+        for (const sourceNodeId of new Set(sourceNodeIds)) {
+            if (!task.depends_on.includes(sourceNodeId)) {
+                issues.push({
+                    type: "missing-dependency",
+                    message: `shell task ${task.id} frontendWriterAdmission source ${sourceNodeId} must be a direct dependency`,
                 });
             }
         }
@@ -646,12 +656,18 @@ function validateRetryPolicyTaskConfig(task, issues) {
     }
     if (isWriterTransportCandidate) {
         const categories = new Set(task.retryPolicy.retryCategories);
+        const allowedWriterTransportCategories = new Set([
+            WRITER_CLEAN_TIMEOUT_RETRY_CATEGORY,
+            CONTEXT_OVERFLOW_RETRY_CATEGORY,
+        ]);
+        const allAllowed = [...categories].every((category) => allowedWriterTransportCategories.has(category));
         if (task.retryPolicy.maxAttempts !== 2 ||
-            categories.size !== 1 ||
+            categories.size === 0 ||
+            !allAllowed ||
             !categories.has(WRITER_CLEAN_TIMEOUT_RETRY_CATEGORY)) {
             issues.push({
                 type: "invalid-retry-policy",
-                message: `task ${task.id} writer transport retryPolicy must use exactly two total attempts and only ${WRITER_CLEAN_TIMEOUT_RETRY_CATEGORY}`,
+                message: `task ${task.id} writer transport retryPolicy must use exactly two total attempts and only writer-clean-timeout (plus optional context-overflow)`,
             });
         }
     }

package/docs/examples/README.md

@@ -0,0 +1,5 @@
+# 示例输入
+
+本目录存放可直接复用的示例任务输入（PRD / 需求文档），用于 dogfood、冒烟与演示；不是治理契约真源。
+
+- [`frontend-smoke-requirement.md`](frontend-smoke-requirement.md) — `frontend-implementation` taskKind 的**最小真实 DAG 冒烟 PRD**（单页物品列表：loading / empty / error / success / disabled 五态 + 刷新交互）。配合 `执行约束.md` 作为 `task advance --prd` 的 source 输入，走 `contract → scout → plan → design-policy → design-review → writer-admission → implement → verify → review → closeout` 全链；2026-08-31 frontend-node → main 合并日冒烟即以它为输入（见 [`../reports/merge/2026-08-31-frontend-node-into-main-192a196c.md`](../reports/merge/2026-08-31-frontend-node-into-main-192a196c.md)）。

package/docs/init-surface.manifest.json

@@ -34,6 +34,7 @@
     "docs/templates/worker-dogfood-setup.md",
     "docs/templates/worker-dogfood-evidence.md",
     "docs/templates/harness.schema.json",
+    "docs/templates/spec-registry.schema.json",
     "docs/templates/interactive-ui-round2-experiment.md",
     "docs/templates/product-line/README.md",
     "docs/templates/product-line/AGENTS.md",
@@ -77,11 +78,16 @@
     "skills/webapp-testing/SKILL.md",
     "skills/playwright-cli/SKILL.md",
     "skills/playwright-cli-case-generator/SKILL.md",
-    "skills/frontend-implementation/SKILL.md",
-    "skills/frontend-implementation/references/node-contracts.md",
-    "skills/frontend-implementation/references/design-spec.md",
-    "skills/frontend-implementation/references/code-standards.md",
+    "skills/frontend-contract/SKILL.md",
+    "skills/frontend-contract/references/contract-protocol.md",
+    "skills/frontend-scout/SKILL.md",
+    "skills/frontend-scout/references/scout-evidence.md",
+    "skills/frontend-scout/references/design-evidence.md",
+    "skills/frontend-plan/SKILL.md",
+    "skills/frontend-plan/references/decision-contract.md",
+    "skills/frontend-plan/references/design-decisions.md",
     "skills/frontend-bounded-implement/SKILL.md",
+    "skills/frontend-bounded-implement/references/code-standards.md",
     "skills/frontend-design-review/SKILL.md",
     "skills/frontend-design-review/references/review-checklist.md",
     "skills/frontend-review/SKILL.md",
@@ -103,6 +109,7 @@
     "docs/feature-workflow.md",
     "docs/verification-matrix.md",
     "docs/loop-agent-harness.md",
+    "docs/spec-registry.json",
     "docs/harness-methodology-tdd.md",
     "docs/harness-methodology-verification.md",
     "docs/harness-methodology-debugging.md",
@@ -157,11 +164,16 @@
     ".agents/skills/webapp-testing/SKILL.md",
     ".agents/skills/playwright-cli/SKILL.md",
     ".agents/skills/playwright-cli-case-generator/SKILL.md",
-    ".agents/skills/frontend-implementation/SKILL.md",
-    ".agents/skills/frontend-implementation/references/node-contracts.md",
-    ".agents/skills/frontend-implementation/references/design-spec.md",
-    ".agents/skills/frontend-implementation/references/code-standards.md",
+    ".agents/skills/frontend-contract/SKILL.md",
+    ".agents/skills/frontend-contract/references/contract-protocol.md",
+    ".agents/skills/frontend-scout/SKILL.md",
+    ".agents/skills/frontend-scout/references/scout-evidence.md",
+    ".agents/skills/frontend-scout/references/design-evidence.md",
+    ".agents/skills/frontend-plan/SKILL.md",
+    ".agents/skills/frontend-plan/references/decision-contract.md",
+    ".agents/skills/frontend-plan/references/design-decisions.md",
     ".agents/skills/frontend-bounded-implement/SKILL.md",
+    ".agents/skills/frontend-bounded-implement/references/code-standards.md",
     ".agents/skills/frontend-design-review/SKILL.md",
     ".agents/skills/frontend-design-review/references/review-checklist.md",
     ".agents/skills/frontend-review/SKILL.md",
@@ -178,6 +190,7 @@
     ".pi/settings.json"
   ],
   "initSurface": {
+    "docs/spec-registry.json": "generated",
     "README.md": "managed-block",
     "AGENTS.md": "managed-block",
     ".gitignore": "managed-block",
@@ -242,11 +255,16 @@
     ".agents/skills/webapp-testing/SKILL.md": "copied",
     ".agents/skills/playwright-cli/SKILL.md": "copied",
     ".agents/skills/playwright-cli-case-generator/SKILL.md": "copied",
-    ".agents/skills/frontend-implementation/SKILL.md": "copied",
-    ".agents/skills/frontend-implementation/references/node-contracts.md": "copied",
-    ".agents/skills/frontend-implementation/references/design-spec.md": "copied",
-    ".agents/skills/frontend-implementation/references/code-standards.md": "copied",
+    ".agents/skills/frontend-contract/SKILL.md": "copied",
+    ".agents/skills/frontend-contract/references/contract-protocol.md": "copied",
+    ".agents/skills/frontend-scout/SKILL.md": "copied",
+    ".agents/skills/frontend-scout/references/scout-evidence.md": "copied",
+    ".agents/skills/frontend-scout/references/design-evidence.md": "copied",
+    ".agents/skills/frontend-plan/SKILL.md": "copied",
+    ".agents/skills/frontend-plan/references/decision-contract.md": "copied",
+    ".agents/skills/frontend-plan/references/design-decisions.md": "copied",
     ".agents/skills/frontend-bounded-implement/SKILL.md": "copied",
+    ".agents/skills/frontend-bounded-implement/references/code-standards.md": "copied",
     ".agents/skills/frontend-design-review/SKILL.md": "copied",
     ".agents/skills/frontend-design-review/references/review-checklist.md": "copied",
     ".agents/skills/frontend-review/SKILL.md": "copied",

package/docs/skills/vetted-skill-registry.md

@@ -16,11 +16,13 @@ The entries below are local wrappers or existing local skills. They are not whol
 | `code-review-core` | local wrapper inspired by code review practice | `skills/code-review-core/SKILL.md` | reviewer | reviewer | No external tools or network by default. |
 | `codebase-scout` | local wrapper | `skills/codebase-scout/SKILL.md` | scout | scout | Read-only reconnaissance guidance. |
 | `init-capability-evolution` | local wrapper | `skills/init-capability-evolution/SKILL.md` | supervisor, maintenance | optional | Used only when changes may affect target-project initialization, package surface, or init projection rules. |
-| `frontend-implementation` | local existing (frontend hybrid DAG) | `skills/frontend-implementation/SKILL.md` | frontend plan / contract / scout / mock nodes (spec-level `skillsByRole`) | frontend-implementation DAG only | Required refs node-contracts / design-spec / code-standards; injected by `init-hybrid.ts` spec generation and `src/adapters/loop-agent.ts`; projected via init-surface manifest. Not in `DEFAULT_SKILLS_BY_ROLE`. |
+| `frontend-contract` | local frontend hybrid DAG contract skill | `skills/frontend-contract/SKILL.md` | `frontend-contract-pi` only | frontend-implementation DAG only | Required contract-protocol ref stays complete under the default runtime budget; does not inject design or implementation guidance. |
+| `frontend-scout` | local frontend hybrid DAG scouting skill | `skills/frontend-scout/SKILL.md` | `frontend-scout-pi` only | frontend-implementation DAG only | Required target-surface and design-evidence refs are bounded and complete; discovery does not leak into Plan. |
+| `frontend-plan` | local frontend hybrid DAG planning skill | `skills/frontend-plan/SKILL.md` | `frontend-plan-pi` and legacy Mock assessment only | frontend-implementation DAG only | Required decision/design refs carry stable trace IDs, Mock/data and dependency decisions without the full lifecycle contract. |
 | `frontend-review` | local existing (frontend hybrid DAG) | `skills/frontend-review/SKILL.md` | reviewer (frontend review nodes, spec-level) | frontend-implementation / repair DAGs | Consumed by `init-hybrid.ts` / `frontend-repair.ts` / `shell-executor.ts`; required ref review-findings (maxChars 2800). |
 | `frontend-verification` | local existing (frontend hybrid DAG) | `skills/frontend-verification/SKILL.md` | verifier / closeout (frontend evidence, spec-level) | frontend DAG closeout | Consumed by `shell-executor.ts` / `frontend-repair.ts` / `frontend-review-context.ts`; required ref verification-checklist. |
 | `frontend-design-review` | local existing (frontend hybrid DAG) | `skills/frontend-design-review/SKILL.md` | design-gate reviewer (before any writer) | frontend-implementation DAG design gate | Injected by `init-hybrid.ts`; runs before the prewrite gate authorizes writers; required ref review-checklist. |
-| `frontend-bounded-implement` | local existing (frontend hybrid DAG) | `skills/frontend-bounded-implement/SKILL.md` | implementer (writer nodes, spec-level) | frontend writers after canonical contract gate | Injected by `init-hybrid.ts`; writers run only after the canonical contract gate accepts and only inside the frozen writeSet (ADR 0015/0016 discipline). |
+| `frontend-bounded-implement` | local existing (frontend hybrid DAG) | `skills/frontend-bounded-implement/SKILL.md` | implementer (writer nodes, spec-level) | frontend writers after canonical contract gate | Injected by `init-hybrid.ts`; its required bounded code-standards ref applies only inside canonical targets and does not authorize OpenSpec/source rediscovery. |
 | `grill-with-docs` | local operator skill adapted from domain grilling + ADR/glossary discipline | `skills/grill-with-docs/SKILL.md` | explicit interactive operator only | never a default DAG role | Resolves decisions via `harness.json.governanceRoot`; required refs `context-format.md` / `adr-format.md`; respects writeSet; not in `DEFAULT_SKILLS_BY_ROLE`. |
 | `grill-me` | local interview question engine wrapper | `skills/grill-me/SKILL.md` | interview runtime dependency (not a DAG role) | never a default DAG role | Question engine lives in `src/worker/console/interview/grill-me.ts` (Console interview / operator-actions); intentionally NOT projected by init-surface manifest — runs in this repo's Console only. |
 | `analyze-product-requirements` | local org-internal Product Analysis V4 skill | `skills/analyze-product-requirements/SKILL.md` | source-prepare dependency (not a DAG role) | never a default DAG role | Loaded by `src/task/source-prepare/prepare.ts` during 任务源 preparation; IRON-LAW freeze semantics on `product-analysis.md`; intentionally NOT projected by init-surface manifest. |

package/docs/templates/README.md

@@ -38,6 +38,7 @@
 
 - `frontend-task-requirement.md`、`frontend-task-constraints.md`、`frontend-design-contract.md` — 前端任务输入与设计合同。
 - `frontend-implementation-contract.schema.json` — 前端实现合同 schema（sourceBinding v2 ledger 字段 all-or-none：任一出现则四项齐全，禁止 v1+optional 冒充 v2）。`requirements[].sourceRefs[].items` 使用合法 `$ref: #/$defs/path`（相对路径、无 `..` 逃逸、无反斜杠），模板 JSON 无非法键，运行时加载器可直接编译（AC-003）。
+- `frontend-implementation-dag.json` — 自包含的前端实现 DAG 模板：契约 → 侦察 → 计划 → 设计策略/评审 → writer 准入 → 有界写入 → 验证 → 真实 diff 审查 → closeout。它不依赖 runtime builder 或其他模板；执行前必须将所有 `REPLACE/WITH/...` 路径和确定性命令替换为当前项目的具体值。
 - `frontend-test-dag.json` — frontend-test DAG 模板；其 deterministic checklist 会拒绝 alternative executable instructions，仅允许 allowlisted `playwright-cli` command。Pi generator/reviser 的 runtime writeSet 仅授权下列目标项目生成路径（不是本仓库文档索引目标）：
 
   ~~~text
@@ -56,6 +57,7 @@
 - `knowledge-sync-dag.json`、`knowledge-graph-bootstrap-dag.json` — 知识同步与图谱初始化 DAG。
 - `knowledge-sync-draft.schema.json` — 知识同步草稿 schema。
 - `harness.schema.json` — `harness.json` 的 IDE JSON Schema。
+- `spec-registry.schema.json` — 项目级 `ai_workspace/loop-agent/spec-registry.json` 的机器校验 schema。
 
 ## 子目录
 

package/docs/templates/agent-dag-report.schema.json

@@ -176,7 +176,8 @@
         "humanEscalationJson",
         "humanEscalationMd",
         "humanApproval",
-        "humanRejection"
+        "humanRejection",
+        "changeManifest"
       ],
       "properties": {
         "resultSummary": { "$ref": "#/$defs/dagArtifactRef" },
@@ -188,7 +189,12 @@
         "humanEscalationJson": { "$ref": "#/$defs/dagArtifactRef" },
         "humanEscalationMd": { "$ref": "#/$defs/dagArtifactRef" },
         "humanApproval": { "$ref": "#/$defs/dagArtifactRef" },
-        "humanRejection": { "$ref": "#/$defs/dagArtifactRef" }
+        "humanRejection": { "$ref": "#/$defs/dagArtifactRef" },
+        "changeManifest": { "$ref": "#/$defs/dagArtifactRef" },
+        "changeManifestChangedFiles": {
+          "type": "array",
+          "items": { "type": "string" }
+        }
       }
     },
     "repairArtifact": {

package/docs/templates/agent-dag.schema.json

@@ -466,7 +466,7 @@
         "retryCategories": {
           "type": "array",
           "items": {
-            "enum": ["timeout", "network", "rate-limit", "unavailable", "empty-output", "output-too-large", "protocol-invalid", "invalid-output", "writer-empty-diff", "incomplete-write-set", "writer-clean-timeout"]
+            "enum": ["timeout", "network", "rate-limit", "unavailable", "empty-output", "output-too-large", "protocol-invalid", "invalid-output", "writer-empty-diff", "incomplete-write-set", "writer-clean-timeout", "read-burst", "context-overflow"]
           },
           "default": ["timeout", "network", "rate-limit", "unavailable", "empty-output"],
           "description": "Failure categories eligible for retry. quota/auth/write-guard are never eligible. invalid-output is allowed only on explicit structured/protocol policies; writer-empty-diff and incomplete-write-set are reserved for requireChangedFiles generation/completeness writers; writer-clean-timeout is reserved for standard bounded writers after explicit zero-write-tool-call and empty-diff evidence."