@tea-agent/loop-agent 0.14.0 → 0.16.0

package/dist/workflows/dag/runner.js

@@ -1,8 +1,10 @@
 import { readdir, readFile } from "node:fs/promises";
 import { hostname } from "node:os";
 import path from "node:path";
+import { isHardBudgetBreached, resolveEffectiveMaxConcurrent, } from "../../application/evaluation/budget.js";
 import { readCandidateRecord } from "../../infrastructure/evaluation/candidate-store.js";
 import { CANONICAL_TASK_ID_PATTERN, formatLocalCompactDate, } from "../../task/runtime.js";
+import { assertFrozenBudget, initRunBudgetLedger, preflightBudgetOrBreach, recordFinishedNodeBudget, writeBudgetLedgerArtifacts, } from "./budget-enforcement.js";
 import { getDagRunDir, isTerminalDagRunStatus, locateDagRun, readHumanApprovalArtifact, requireActiveDagRun, } from "./lifecycle.js";
 import { moveToCompletedRunDir, moveToPausedRunDir, prepareActiveRunDir, writeRunSpec, writeRunState, } from "./run-store.js";
 import { createDagNodeExecutor } from "./executor-registry.js";
@@ -120,7 +122,7 @@ export function createInitialRunState(spec, opts, ranks, runId = opts.runId ?? "
                 : {}),
         };
     }
-    return {
+    const state = {
         version: 1,
         title: spec.title,
         runId,
@@ -147,6 +149,8 @@ export function createInitialRunState(spec, opts, ranks, runId = opts.runId ?? "
             }
             : {}),
     };
+    initRunBudgetLedger(state, spec.budget);
+    return state;
 }
 export function assertFrozenEvaluationBinding(spec, state) {
     const declared = spec.evaluation;
@@ -183,7 +187,7 @@ export async function runDag(spec, opts) {
         controllerVersion: runningIdentity.packageVersion,
     });
     const { ranks } = topoSortToRanks(spec);
-    const maxConcurrent = Math.max(1, opts.maxConcurrent ?? 4);
+    const { maxConcurrent } = resolveEffectiveMaxConcurrent(Math.max(1, opts.maxConcurrent ?? 4), spec.budget);
     let runId = opts.runId;
     if (runId) {
         for (const warning of validateDagRunIdFormat(runId).warnings) {
@@ -268,6 +272,7 @@ export async function resumeDagRun(opts) {
         throw new Error(`dag run ${opts.runId} is already terminal (status=${state.status})`);
     }
     assertFrozenEvaluationBinding(spec, state);
+    assertFrozenBudget(spec.budget, state.budget, state.runId);
     // Runtime contract + controller identity must be re-verified before executing
     // any remaining node on resume; drift fails closed.
     const runningIdentity = resolveRunningControllerIdentity();
@@ -311,7 +316,7 @@ export async function resumeDagRun(opts) {
     catch (error) {
         throw new Error(`skill snapshot validation failed on resume: ${error instanceof Error ? error.message : String(error)}`);
     }
-    const maxConcurrent = Math.max(1, opts.maxConcurrent ?? 4);
+    const { maxConcurrent } = resolveEffectiveMaxConcurrent(Math.max(1, opts.maxConcurrent ?? 4), spec.budget);
     state.status = "running";
     const resumedAt = new Date().toISOString();
     state.runner = {
@@ -410,23 +415,43 @@ async function executeDagCheckpoint(input) {
                     tasksById,
                     meta: { runDir, runId: state.runId, spec },
                 }),
-                executeScheduledNode: (nodeId, executeNode, onPause) => executeDagNode({
-                    nodeId,
-                    tasksById,
-                    state,
-                    spec,
-                    cwd,
-                    runDir,
-                    executeNode,
-                    executeDynamicNode,
-                    observer: input.observer,
-                    persistState,
-                    onPause,
-                }),
+                executeScheduledNode: async (nodeId, executeNode, onPause) => {
+                    if (isHardBudgetBreached(state.budgetLedger))
+                        return;
+                    const preBreach = preflightBudgetOrBreach(state);
+                    if (preBreach && isHardBudgetBreached(state.budgetLedger)) {
+                        await writeBudgetLedgerArtifacts(runDir, state.budgetLedger);
+                        await persistState();
+                        return;
+                    }
+                    await executeDagNode({
+                        nodeId,
+                        tasksById,
+                        state,
+                        spec,
+                        cwd,
+                        runDir,
+                        executeNode,
+                        executeDynamicNode,
+                        observer: input.observer,
+                        persistState,
+                        onPause,
+                    });
+                    const node = state.nodes[nodeId];
+                    if (node &&
+                        (node.status === "FINISHED" || node.status === "ERROR")) {
+                        recordFinishedNodeBudget(state, node);
+                        await writeBudgetLedgerArtifacts(runDir, state.budgetLedger);
+                        await persistState();
+                    }
+                },
             });
             if (pausedByNodeId) {
                 break;
             }
+            if (isHardBudgetBreached(state.budgetLedger)) {
+                break;
+            }
             const convergenceDecision = await runConvergencePassController({
                 spec,
                 state,
@@ -446,6 +471,7 @@ async function executeDagCheckpoint(input) {
         }
         state.finishedAt = new Date().toISOString();
         const runDirBeforeTransfer = runDir;
+        await writeBudgetLedgerArtifacts(runDir, state.budgetLedger);
         if (pausedByNodeId) {
             state.status = "paused";
             await persistState();
@@ -466,6 +492,7 @@ async function executeDagCheckpoint(input) {
         if (state.convergence) {
             relocateConvergenceArtifactPaths(state.convergence, runDirBeforeTransfer, runDir);
         }
+        await writeBudgetLedgerArtifacts(runDir, state.budgetLedger);
         await persistState({ allowCompletedFactsWrite: true });
         return {
             title: spec.title,

package/dist/workflows/dag/skill-snapshot.js

@@ -3,9 +3,9 @@ import { readFile } from "node:fs/promises";
 import path from "node:path";
 import { z } from "zod";
 import { writeTextAtomic } from "../../infrastructure/harness/atomic-write.js";
+import { resolveContextPolicy } from "./context-policy.js";
 import { buildDagNodePromptEnvelope } from "./prompt.js";
-import { DEFAULT_SKILL_INSTRUCTION_MAX_CHARS, DEFAULT_SKILL_INSTRUCTION_TOTAL_MAX_CHARS, resolveDagSkillInstructions, } from "./skill-instructions.js";
-import { resolveDagNodeSkills } from "./skills.js";
+import { resolveDagSkillInstructions, } from "./skill-instructions.js";
 export const SKILL_SNAPSHOT_SCHEMA_VERSION = 1;
 export const SKILL_SNAPSHOT_RESOLVER_VERSION = 1;
 export const SKILL_SNAPSHOT_REL_PATH = ".runtime/skill-snapshot.json";
@@ -117,11 +117,13 @@ function profileId(input) {
 export function buildDagSkillSnapshotProfileRequest(spec, task) {
     if (task.executor !== "pi")
         return undefined;
+    const policy = resolveContextPolicy(spec);
+    const budget = policy.resolveSkillInstructionBudget(task);
     const request = {
-        skills: [...resolveDagNodeSkills(spec, task)],
-        includeLearnedPatterns: task.role === "implementer",
-        perSkillMaxChars: DEFAULT_SKILL_INSTRUCTION_MAX_CHARS,
-        totalMaxChars: DEFAULT_SKILL_INSTRUCTION_TOTAL_MAX_CHARS,
+        skills: [...policy.resolveSkills(spec, task)],
+        includeLearnedPatterns: budget.includeLearnedPatterns,
+        perSkillMaxChars: budget.perSkillMaxChars,
+        totalMaxChars: budget.totalMaxChars,
     };
     return { id: profileId(request), ...request };
 }
@@ -511,7 +513,8 @@ function stripPromptText(instruction) {
     return metadata;
 }
 export function buildNodePromptFromSnapshot(input) {
-    const skillNames = resolveDagNodeSkills(input.spec, input.task);
+    const policy = resolveContextPolicy(input.spec);
+    const skillNames = policy.resolveSkills(input.spec, input.task);
     const resolvedSkillInstructions = resolveNodeSkillsFromSnapshot(input.snapshot, input.spec, input.task);
     return {
         prompt: buildDagNodePromptEnvelope({
@@ -520,6 +523,7 @@ export function buildNodePromptFromSnapshot(input) {
             upstream: input.upstream,
             resolvedSkills: skillNames,
             resolvedSkillInstructions,
+            maxUpstreamChars: policy.resolveMaxUpstreamChars(input.task),
         }),
         resolvedSkills: resolvedSkillInstructions.map(stripPromptText),
     };

package/dist/workflows/dag/types.js

@@ -1,4 +1,5 @@
 import { z } from "zod";
+import { campaignBudgetSchema, } from "../../application/evaluation/budget.js";
 import { assertDagPromptSourceRule } from "./prompt-source.js";
 import { dagRetryPolicySchema } from "./retry-policy.js";
 export const dagComplexitySchema = z.enum(["HIGH", "MED", "LOW"]);
@@ -105,12 +106,18 @@ export const dagWritePolicySchema = z.enum([
     "exclusive",
     "none",
 ]);
+export const contextPolicyIdSchema = z.enum([
+    "baseline-v1",
+    "role-specialized-v1",
+]);
 export const dagDefaultsSchema = z
     .object({
     executor: dagNodeExecutorSchema.optional(),
     model: z.string().optional(),
     piBackend: z.enum(["sdk-first", "cli-only"]).optional(),
     contextProfile: z.string().optional(),
+    /** Eval Lab ContextPolicy seam; default baseline-v1 when omitted. */
+    contextPolicyId: contextPolicyIdSchema.optional(),
     skills: z.array(z.string()).optional(),
     writePolicy: dagWritePolicySchema.optional(),
 })
@@ -300,6 +307,8 @@ export const dagEvaluationBindingSchema = z
     taskRef: z.string().min(1).optional(),
 })
     .strict();
+/** Eval Lab Campaign Budget (W3.4); enforced by runner ledger when mode=hard. */
+export const dagBudgetSchema = campaignBudgetSchema;
 export const dagSourceBindingSchema = z.object({
     schemaVersion: z.literal(1),
     taskId: z.string().min(1),
@@ -320,6 +329,8 @@ export const dagSpecSchema = z
     title: z.string().min(1),
     runtimeContract: dagRuntimeContractSchema.optional(),
     evaluation: dagEvaluationBindingSchema.optional(),
+    /** Optional hard/record-only budget; requires version 3. */
+    budget: dagBudgetSchema.optional(),
     sourceBinding: dagSourceBindingSchema.optional(),
     outputLanguage: dagOutputLanguageSchema.optional(),
     objective: z.string().optional(),
@@ -340,6 +351,13 @@ export const dagSpecSchema = z
             path: ["evaluation"],
         });
     }
+    if (spec.budget && spec.version !== 3) {
+        ctx.addIssue({
+            code: z.ZodIssueCode.custom,
+            message: "budget requires DagSpec version 3",
+            path: ["budget"],
+        });
+    }
     if (spec.runtimeContract && spec.version !== 3) {
         ctx.addIssue({
             code: z.ZodIssueCode.custom,

package/docs/README.md

@@ -12,6 +12,7 @@
 
 - `design/archive/2026-07-14-loop-agent-self-update-notifier.md` — loop-agent CLI 自更新提醒设计（已实现；历史设计说明）
 - `development-principles.md` — 仓库开发原则
+- `github-collaboration.md` — 内部研发人员的轻量 GitHub 协作指南：短分支、简短 PR、CI 与 Squash Merge
 - `architecture/runtime-boundaries.md` — runtime 层边界与依赖方向
 - `architecture/README.md` — 架构文档目录索引与阅读路径
 - `architecture/system-overview.md` — loop-agent / agent-worker / 治理层 / 外部系统全景

package/docs/init-surface.manifest.json

@@ -8,6 +8,9 @@
     "harness.json",
     "bin/loop-agent.js",
     "docs/README.md",
+    "docs/harness-methodology-tdd.md",
+    "docs/harness-methodology-verification.md",
+    "docs/harness-methodology-debugging.md",
     "docs/init-surface.manifest.json",
     "docs/architecture/runtime-boundaries.md",
     "docs/architecture/README.md",
@@ -36,18 +39,13 @@
     "docs/templates/product-line/test-plan.md",
     "docs/templates/product-line/task-graph.yaml",
     "docs/templates/product-line/task.yaml",
+    "docs/templates/product-line/feature.yaml",
     "docs/templates/product-line/closeout.yaml",
     "docs/templates/product-line/links.md",
-    "scripts/check-product-line-docs.sh",
-    "scripts/check-task-pool-root.sh",
     "scripts/kb-bootstrap-init-skeleton.sh",
-    "scripts/kb-query.sh",
     "scripts/kb-query.mjs",
-    "scripts/kb-graph-materialize.sh",
     "scripts/kb-graph-materialize.mjs",
-    "scripts/kb-graph-promote.sh",
     "scripts/kb-graph-promote.mjs",
-    "scripts/kb-graph-incremental-prepare.sh",
     "scripts/kb-graph-incremental-prepare.mjs",
     "docs/templates/agent-dag.schema.json",
     "examples/example-dag.json",
@@ -109,6 +107,7 @@
     "docs/templates/product-line/test-plan.md",
     "docs/templates/product-line/task-graph.yaml",
     "docs/templates/product-line/task.yaml",
+    "docs/templates/product-line/feature.yaml",
     "docs/templates/product-line/closeout.yaml",
     "docs/templates/product-line/links.md",
     "scripts/check-skill-entry.sh",
@@ -178,10 +177,11 @@
     "docs/templates/product-line/test-plan.md": "copied",
     "docs/templates/product-line/task-graph.yaml": "copied",
     "docs/templates/product-line/task.yaml": "copied",
+    "docs/templates/product-line/feature.yaml": "copied",
     "docs/templates/product-line/closeout.yaml": "copied",
     "docs/templates/product-line/links.md": "copied",
     "scripts/check-skill-entry.sh": "generated",
-    "scripts/check-product-line-docs.sh": "copied",
+    "scripts/check-product-line-docs.sh": "generated",
     "scripts/check-repo.sh": "generated",
     "scripts/ci-governance.sh": "generated",
     "scripts/ci-tests.sh": "generated",

package/docs/templates/branch-merge-report.md

@@ -90,4 +90,3 @@ Add focused tests and real init/update/browser/CLI smokes required by the merged
 - Conflict files: `<paths>`.
 - First tests to run if a feature appears missing: `<commands>`.
 - Safe rollback strategy: prefer `git revert -m 1 <merge-commit>` after review; do not use destructive reset on shared work.
-

package/docs/templates/evaluation/campaign-budget-v1.json

@@ -0,0 +1,12 @@
+{
+	"schemaVersion": 1,
+	"mode": "hard",
+	"limits": {
+		"maxTokens": 2000000,
+		"maxWallTimeMs": 86400000,
+		"maxExecutorCalls": 500,
+		"maxRepairPasses": 50,
+		"maxConcurrency": 2,
+		"maxContextChars": 120000
+	}
+}

package/docs/templates/evaluation/campaign-dogfood-v0.json

@@ -0,0 +1,24 @@
+{
+  "schemaVersion": 1,
+  "campaignId": "camp-dogfood-context-policy-ab",
+  "createdAt": "2026-07-19T00:00:00.000Z",
+  "status": "prepared",
+  "policyVersion": "promotion-policy-v1",
+  "incumbentCandidateId": "REPLACE_INCUMBENT_CANDIDATE_ID",
+  "challengerCandidateIds": ["REPLACE_CHALLENGER_CANDIDATE_ID"],
+  "corpusId": "corpus-dogfood-v0",
+  "corpusHash": "REPLACE_AFTER_CORPUS_REGISTER",
+  "privateVerifierId": "pv-dogfood-v0",
+  "privateVerifierManifestHash": "REPLACE_AFTER_PRIVATE_VERIFIER_REGISTER",
+  "budget": {
+    "schemaVersion": 1,
+    "mode": "hard",
+    "limits": {
+      "maxExecutorCalls": 500,
+      "maxWallTimeMs": 86400000,
+      "maxRepairPasses": 50,
+      "maxConcurrency": 2
+    }
+  },
+  "notes": "M4 dogfood: single-variable Context Policy A/B. Replace candidate/corpus/privateVerifier hashes after register. held_out cells are promotion_gate_only."
+}

package/docs/templates/evaluation/campaign-evidence-v1.json

@@ -0,0 +1,44 @@
+{
+  "schemaVersion": 1,
+  "campaignId": "campaign-dogfood-v0",
+  "challengerCandidateId": "cand-challenger-example",
+  "cells": [
+    {
+      "candidateId": "cand-baseline-example",
+      "taskRef": "synthetic/private-1",
+      "seed": 1,
+      "split": "private",
+      "verifyPassed": false
+    },
+    {
+      "candidateId": "cand-challenger-example",
+      "taskRef": "synthetic/private-1",
+      "seed": 1,
+      "split": "private",
+      "verifyPassed": true
+    },
+    {
+      "candidateId": "cand-baseline-example",
+      "taskRef": "synthetic/heldout-1",
+      "seed": 1,
+      "split": "held_out",
+      "verifyPassed": true
+    },
+    {
+      "candidateId": "cand-challenger-example",
+      "taskRef": "synthetic/heldout-1",
+      "seed": 1,
+      "split": "held_out",
+      "verifyPassed": true
+    }
+  ],
+  "diffs": [],
+  "verifyCommands": {
+    "incumbent": ["npm test", "npm run typecheck"],
+    "challenger": ["npm test", "npm run typecheck"]
+  },
+  "budgetStatus": {
+    "incumbent": "ok",
+    "challenger": "ok"
+  }
+}

package/docs/templates/evaluation/context-policy-baseline-v1.json

@@ -0,0 +1,17 @@
+{
+  "schemaVersion": 1,
+  "policyId": "baseline-v1",
+  "description": "Current DAG context assembly: shared upstream char budget, role skill defaults, learned patterns only for implementer.",
+  "knobs": {
+    "maxUpstreamCharsByRole": {
+      "default": 2000
+    },
+    "includeLearnedPatternsRoles": ["implementer"],
+    "perSkillMaxCharsByRole": {
+      "default": 3000
+    },
+    "totalMaxCharsByRole": {
+      "default": 12000
+    }
+  }
+}

package/docs/templates/evaluation/context-policy-role-specialized-v1.json

@@ -0,0 +1,28 @@
+{
+  "schemaVersion": 1,
+  "policyId": "role-specialized-v1",
+  "description": "Role-specialized upstream and skill-instruction budgets; skill names still resolve via baseline merge order.",
+  "knobs": {
+    "maxUpstreamCharsByRole": {
+      "default": 2000,
+      "scout": 1200,
+      "reviewer": 1200,
+      "implementer": 3000,
+      "verifier": 1600,
+      "closeout": 1600,
+      "planner": 2000,
+      "supervisor": 2000
+    },
+    "includeLearnedPatternsRoles": ["implementer", "closeout"],
+    "perSkillMaxCharsByRole": {
+      "default": 3000,
+      "scout": 2500,
+      "implementer": 3500
+    },
+    "totalMaxCharsByRole": {
+      "default": 12000,
+      "scout": 10000,
+      "implementer": 14000
+    }
+  }
+}

package/docs/templates/evaluation/corpus-dogfood-v0.manifest.json

@@ -0,0 +1,118 @@
+{
+  "schemaVersion": 1,
+  "corpusId": "corpus-dogfood-v0",
+  "createdAt": "2026-07-19T00:00:00.000Z",
+  "description": "W1.5 initial dogfood corpus contract: 15 heterogeneous tasks with public/private/held_out splits. Contract-only; not live campaign evidence.",
+  "tasks": [
+    {
+      "taskRef": "features/F-2026-001/login-flow",
+      "class": "fullstack",
+      "split": "public",
+      "seeds": [1, 2, 3],
+      "featureId": "F-2026-001",
+      "description": "Dogfood login Feature packet (public feedback allowed)."
+    },
+    {
+      "taskRef": "features/F-2026-002/profile-filter",
+      "class": "implement",
+      "split": "public",
+      "seeds": [1, 2],
+      "featureId": "F-2026-002",
+      "description": "Profile filter implementation path."
+    },
+    {
+      "taskRef": "features/F-2026-005/welcome-banner",
+      "class": "fullstack",
+      "split": "public",
+      "seeds": [1, 2, 3],
+      "featureId": "F-2026-005",
+      "description": "fullstack-v1 welcome sample (public)."
+    },
+    {
+      "taskRef": "synthetic/docs-agents-converge",
+      "class": "docs",
+      "split": "public",
+      "seeds": [1, 2],
+      "description": "Docs/AGENTS converge style task (synthetic contract slot)."
+    },
+    {
+      "taskRef": "synthetic/docs-changelog-summary",
+      "class": "docs",
+      "split": "public",
+      "seeds": [1, 2, 3],
+      "description": "Changelog-style documentation task."
+    },
+    {
+      "taskRef": "synthetic/frontend-welcome-render",
+      "class": "frontend",
+      "split": "public",
+      "seeds": [1, 2],
+      "description": "Frontend render/accessibility contract slot."
+    },
+    {
+      "taskRef": "features/F-2026-003/empty-profile-regression",
+      "class": "bugfix",
+      "split": "private",
+      "seeds": [1, 2, 3],
+      "featureId": "F-2026-003",
+      "description": "Empty profile id/displayName regression (private selection)."
+    },
+    {
+      "taskRef": "features/F-2026-004/versioned-bootstrap",
+      "class": "bootstrap",
+      "split": "private",
+      "seeds": [1, 2],
+      "featureId": "F-2026-004",
+      "description": "Versioned self-host bootstrap canary (private)."
+    },
+    {
+      "taskRef": "synthetic/backend-test-welcome-api",
+      "class": "backend-test",
+      "split": "private",
+      "seeds": [1, 2, 3],
+      "description": "Backend API test workflow contract slot."
+    },
+    {
+      "taskRef": "synthetic/refactor-outcome-tokens",
+      "class": "refactor",
+      "split": "private",
+      "seeds": [1, 2],
+      "description": "Bounded refactor around evidence token naming."
+    },
+    {
+      "taskRef": "synthetic/implement-ready-planner-gate",
+      "class": "implement",
+      "split": "private",
+      "seeds": [1, 2, 3],
+      "description": "Ready Planner artifact-gate implementation slot."
+    },
+    {
+      "taskRef": "synthetic/heldout-docs-handoff",
+      "class": "docs",
+      "split": "held_out",
+      "seeds": [1, 2],
+      "description": "Held-out docs/handoff generalization slot; never used for candidate generation."
+    },
+    {
+      "taskRef": "synthetic/heldout-bugfix-gate",
+      "class": "bugfix",
+      "split": "held_out",
+      "seeds": [1, 2, 3],
+      "description": "Held-out bugfix gate; promotion-only signal."
+    },
+    {
+      "taskRef": "synthetic/heldout-fullstack-smoke",
+      "class": "fullstack",
+      "split": "held_out",
+      "seeds": [1, 2],
+      "description": "Held-out fullstack smoke; not for public feedback."
+    },
+    {
+      "taskRef": "synthetic/heldout-bootstrap-slot",
+      "class": "bootstrap",
+      "split": "held_out",
+      "seeds": [1, 2, 3],
+      "description": "Held-out bootstrap identity/slot discipline."
+    }
+  ]
+}

package/docs/templates/evaluation/matrix-dag-dry-run-v1.json

@@ -0,0 +1,21 @@
+{
+  "version": 3,
+  "title": "eval-matrix-cell-dry-run",
+  "runtimeContract": {
+    "schemaVersion": 1,
+    "agentRuntime": "pi-only",
+    "repairWriterProtocol": "explicit-node-v1"
+  },
+  "tasks": [
+    {
+      "id": "matrix-cell-static",
+      "depends_on": [],
+      "complexity": "LOW",
+      "executor": "static",
+      "subtask_prompt": "Matrix cell placeholder; evaluation binding is injected by campaign matrix.",
+      "static": {
+        "resultMarkdown": "matrix cell dry-run placeholder"
+      }
+    }
+  ]
+}

package/docs/templates/evaluation/matrix-fixture-v1.json

@@ -0,0 +1,10 @@
+{
+  "schemaVersion": 1,
+  "defaultVerifyPassed": false,
+  "results": [
+    {
+      "split": "public",
+      "verifyPassed": true
+    }
+  ]
+}

package/docs/templates/evaluation/private-verifier-dogfood-v0.json

@@ -0,0 +1,16 @@
+{
+  "schemaVersion": 1,
+  "privateVerifierId": "pv-dogfood-v0",
+  "createdAt": "2026-07-19T00:00:00.000Z",
+  "description": "M4 dogfood private verifier. Controller-only; never enter candidate contentRefs/prompts/skill snapshots.",
+  "checks": [
+    {
+      "checkId": "node-version-ok",
+      "kind": "shell",
+      "command": ["node", "-e", "process.exit(process.versions.node ? 0 : 1)"],
+      "cwd": ".",
+      "timeoutMs": 15000,
+      "expectedExitCode": 0
+    }
+  ]
+}

package/docs/templates/product-line/AGENTS.md

@@ -4,5 +4,6 @@
 - Treat `constraints.allowed_paths` and `constraints.forbidden_paths` as machine-enforced write boundaries; review DAG writer `writeSet` before execution.
 - Advance only tasks whose dependencies are complete. Preserve failed run records; retries receive new worker run IDs.
 - A Ready task must have acceptance references, non-empty allowed/forbidden paths, and deterministic verification commands.
+- For `fullstack-v1` packets (`feature.yaml`), every TaskSpec should declare `execution.workflow`; required ACs need implementation/verification refs, `required_evidence`, and integration policy. Parallel writers must not share overlapping `allowed_paths`.
 - QA records an independent verdict and evidence. Do not write `status: success` closeout until `qa_verdict: pass` and non-empty `qa_evidence` exist.
 - Human gates remain human decisions. Record owner, time, reason, evidence, and follow-up without rewriting failed history.

package/docs/templates/product-line/README.md

@@ -7,3 +7,20 @@ agent-worker task validate-feature <feature-dir>
 ```
 
 The validator checks acceptance ID uniqueness, task references and dependencies, cycles, TaskSpec/path/verification completeness, and QA evidence before a successful closeout.
+
+## Profiles
+
+| Profile | How to declare | Behavior |
+|---|---|---|
+| `generic`（默认） | 省略 `feature.yaml`，或 `profile: generic` | 保持 legacy 校验；不强制 `execution.workflow` / 双覆盖 AC |
+| `fullstack-v1` | `feature.yaml` 中 `profile: fullstack-v1` 并声明 `scope` | 强制显式 workflow、required AC 双覆盖、frontend-test 依赖、writer writeSet 串行等结构门禁 |
+
+端到端全栈 dogfood 样板见仓库 `features/F-2026-005/`（欢迎语链路：契约 → BE/FE 实现 → backend-test / frontend-test → Final Verification）。
+
+## Minimal files
+
+- `feature.yaml`（可选；fullstack 必填）
+- `requirement.md` / `design.md` / `test-plan.md`
+- `acceptance.yaml`
+- `tasks/task-graph.yaml` + `tasks/*.yaml`
+- `links.md` / `closeout.yaml`（按交付阶段）

package/docs/templates/product-line/acceptance.yaml

@@ -12,3 +12,12 @@ acceptance:
       expected_task_refs:
         - BE-001
         - QA-001
+      # fullstack-v1 required AC fields (optional for generic packets):
+      # implementation_task_refs:
+      #   - BE-001
+      # verification_task_refs:
+      #   - BE-TEST-001
+      # required_evidence:
+      #   - backend-test-result-v1
+      #   - shell_verification
+      # integration: real-required

package/docs/templates/product-line/feature.yaml

@@ -0,0 +1,11 @@
+schema_version: 1
+feature_id: F-YYYY-NNN
+# generic = legacy/simple packet (default when this file is absent)
+# fullstack-v1 = enable structural gates for explicit workflows + dual-coverage ACs
+profile: generic
+# Uncomment and set true flags when profile is fullstack-v1:
+# scope:
+#   backend: true
+#   frontend: true
+#   backendVerification: true
+#   frontendVerification: true