@tea-agent/loop-agent 0.1.0

package/docs/templates/agent-dag.supervised-implementation.json

@@ -0,0 +1,500 @@
+{
+  "$schema": "./agent-dag.schema.json",
+  "version": 2,
+  "title": "Agent DAG supervised implementation template",
+  "objective": "Demonstrate a reusable supervised implementation DAG: contract → parallel scouts → plan → write-set audit → write-set gate → implement → soft verify → process supervisor → repair → hard verify → review verdict → review gate → decision gate → closeout. Write-set, process, and review verdict nodes emit first-line VERDICT for deterministic gates, reducing main-session intervention.",
+  "successCriteria": [
+    "contract-pi returns a read-only implementation contract with narrow write boundaries",
+    "scout-src and scout-tests run in parallel without write conflicts",
+    "plan-pi produces a writeSet coverage matrix with explicit exclusive owners",
+    "write-set-audit-pi validates coverage and returns VERDICT pass or request-revision",
+    "write-set-gate-shell blocks implement-pi unless write-set-audit-pi first-line VERDICT is pass",
+    "implement-pi and repair-pi write only inside declared writeSet",
+    "soft-verify-shell archives focused test exit codes before process supervision",
+    "process-supervisor-pi returns first-line VERDICT pass or request-revision",
+    "process-gate-shell deterministically accepts valid supervisor verdicts",
+    "hard-verify-shell archives lint/typecheck/focused tests with active-DAG governance when check-repo runs",
+    "review-pi returns first-line VERDICT using review verdict prompt invariants",
+    "review-gate-shell blocks downstream nodes unless review VERDICT is pass",
+    "decision-pi returns DECISION_ENVELOPE_JSON without pausing runtime by default",
+    "closeout-pi summarizes evidence without writing files"
+  ],
+  "globalConstraints": [
+    "Replace every REPLACE/WITH/... placeholder with concrete repo paths before execution; do not leave template placeholders in production DAG JSON.",
+    "Do not commit from DAG nodes; main session inspects and commits after Decision Gate approval.",
+    "Use only existing executors: pi, shell, static; cursor is optional when explicitly enabled. Pi writer nodes must set toolProfile=write.",
+    "Read-only nodes must not write repository files, including root artifacts/**.",
+    "Exclusive writer nodes must stay within declared writeSet.",
+    "Do not implement automatic retry/resume or mutate historical completed facts.",
+    "Do not create executor: supervisor; supervisor is a role on executor=pi.",
+    "Do not create executor: human, executor: decision, or browser executor.",
+    "Shell governance inside active DAG must use HARNESS_ALLOW_ACTIVE_DAG_RUNS=1 bash scripts/check-repo.sh.",
+    "On Windows, Bash script commands must run through Git Bash or a configured compatible Bash; do not require WSL or POSIX filesystem paths.",
+    "Actual file operation paths must be macOS/Windows compatible; use / only for stable repo refs, JSON/Markdown evidence refs, and glob conventions.",
+    "Prompt templates must not ask main session to write artifacts; node output is the artifact and runner archives it under .harness/dag-runs/.",
+    "Every task must explicitly declare executor; defaults.executor is schema-only and not a runtime fallback.",
+    "Prefer same-rank parallel read-only scouts over serial chains when outputs are independent.",
+    "Same-rank exclusive writeSet entries must be disjoint.",
+    "Use executorModels for model routing; do not add defaults.model or legacy top-level models."
+  ],
+  "defaults": {
+    "executor": "pi",
+    "contextProfile": "slim",
+    "skills": [
+      "ai-engineering-context"
+    ],
+    "writePolicy": "read-only"
+  },
+  "skillsByRole": {
+    "planner": [
+      "loop-agent"
+    ],
+    "scout": [
+      "ai-engineering-context"
+    ],
+    "implementer": [
+      "verification-before-completion"
+    ],
+    "reviewer": [
+      "requesting-code-review",
+      "verification-before-completion"
+    ],
+    "supervisor": [
+      "verification-before-completion",
+      "loop-agent"
+    ],
+    "verifier": [
+      "verification-before-completion",
+      "systematic-debugging"
+    ],
+    "closeout": [
+      "loop-agent",
+      "verification-before-completion"
+    ]
+  },
+  "executorModels": {
+    "cursor": {
+      "LOW": "composer-2.5",
+      "MED": "composer-2.5",
+      "HIGH": "composer-2.5"
+    },
+    "pi": {
+      "LOW": "gpt-5.3-codex-spark",
+      "MED": "glm-5.2",
+      "HIGH": "gpt-5.5"
+    }
+  },
+  "verifyStrategy": {
+    "intermediateQuota": "1",
+    "finalQuota": "full",
+    "focusedCommandSource": "adapter"
+  },
+  "tasks": [
+    {
+      "id": "contract-pi",
+      "depends_on": [],
+      "complexity": "MED",
+      "executor": "pi",
+      "role": "planner",
+      "writePolicy": "read-only",
+      "allowedPaths": [
+        "**"
+      ],
+      "forbiddenPaths": [
+        ".harness/**",
+        "artifacts/**"
+      ],
+      "outputContract": "Plain Markdown implementation contract: scope, risks, parallel scout opportunities, verification expectations. No file writes.",
+      "subtask_prompt": "Read the DAG objective and success criteria. Return a concise implementation contract covering scope, narrow write boundaries, risks, and verification expectations. Do not edit files or write root artifacts/**."
+    },
+    {
+      "id": "scout-src",
+      "depends_on": [
+        "contract-pi"
+      ],
+      "complexity": "LOW",
+      "executor": "pi",
+      "role": "scout",
+      "writePolicy": "read-only",
+      "allowedPaths": [
+        "REPLACE/WITH/SOURCE/PATH/**"
+      ],
+      "forbiddenPaths": [
+        ".harness/**",
+        "artifacts/**"
+      ],
+      "outputContract": "Plain Markdown source reconnaissance summary; no file writes.",
+      "subtask_prompt": "Perform read-only source reconnaissance under allowedPaths. List relevant files, patterns, and risks. Do not edit files."
+    },
+    {
+      "id": "scout-tests",
+      "depends_on": [
+        "contract-pi"
+      ],
+      "complexity": "LOW",
+      "executor": "pi",
+      "role": "scout",
+      "writePolicy": "read-only",
+      "allowedPaths": [
+        "REPLACE/WITH/TEST/PATH/**"
+      ],
+      "forbiddenPaths": [
+        ".harness/**",
+        "artifacts/**"
+      ],
+      "outputContract": "Plain Markdown test coverage reconnaissance summary; no file writes.",
+      "subtask_prompt": "Perform read-only test reconnaissance under allowedPaths. List relevant tests, coverage gaps, and focused verification commands. Do not edit files."
+    },
+    {
+      "id": "plan-pi",
+      "depends_on": [
+        "scout-src",
+        "scout-tests"
+      ],
+      "complexity": "MED",
+      "executor": "pi",
+      "role": "planner",
+      "writePolicy": "read-only",
+      "allowedPaths": [
+        "**"
+      ],
+      "forbiddenPaths": [
+        ".harness/**",
+        "artifacts/**"
+      ],
+      "outputContract": "Plain Markdown plan with WriteSet Coverage Matrix (file → owning exclusive node id). No file writes.",
+      "subtask_prompt": "Synthesize upstream scouts into an implementation plan. Include a WriteSet Coverage Matrix table mapping each file that must change to exactly one future exclusive implementer/repair node id. Flag parallel work and verification commands. Do not edit files."
+    },
+    {
+      "id": "write-set-audit-pi",
+      "depends_on": [
+        "plan-pi"
+      ],
+      "complexity": "MED",
+      "executor": "pi",
+      "role": "reviewer",
+      "writePolicy": "read-only",
+      "allowedPaths": [
+        "**"
+      ],
+      "forbiddenPaths": [
+        ".harness/**",
+        "artifacts/**"
+      ],
+      "outputContract": "Plain Markdown whose first non-empty line is VERDICT: pass or VERDICT: request-revision; includes writeSet coverage findings. No file writes.",
+      "subtask_prompt": "Audit plan-pi WriteSet Coverage Matrix against the contract. First non-empty line must be exactly VERDICT: pass or VERDICT: request-revision. List Critical/Important gaps when any required file lacks a single exclusive owner or overlaps forbidden paths. Do not edit files or write root artifacts/**."
+    },
+    {
+      "id": "write-set-gate-shell",
+      "depends_on": [
+        "write-set-audit-pi"
+      ],
+      "complexity": "LOW",
+      "executor": "shell",
+      "role": "verifier",
+      "writePolicy": "read-only",
+      "allowedPaths": [
+        "**"
+      ],
+      "forbiddenPaths": [
+        ".harness/**",
+        "artifacts/**"
+      ],
+      "outputContract": "Deterministic write-set audit verdict gate: exit 0 only when write-set-audit-pi first non-empty assistant output line is pass.",
+      "subtask_prompt": "Deterministic gate: block implement-pi unless write-set-audit-pi emitted VERDICT: pass.",
+      "shell": {
+        "verdictGate": {
+          "fromNodeId": "write-set-audit-pi",
+          "accept": [
+            "VERDICT: pass"
+          ],
+          "label": "write-set audit",
+          "lineMode": "first-verdict-line"
+        },
+        "cwd": ".",
+        "timeoutMs": 60000
+      }
+    },
+    {
+      "id": "implement-pi",
+      "depends_on": [
+        "write-set-gate-shell"
+      ],
+      "complexity": "HIGH",
+      "executor": "pi",
+      "role": "implementer",
+      "writePolicy": "exclusive",
+      "writeSet": [
+        "REPLACE/WITH/IMPLEMENT/WRITESET/**"
+      ],
+      "allowedPaths": [
+        "REPLACE/WITH/IMPLEMENT/**"
+      ],
+      "forbiddenPaths": [
+        ".harness/**",
+        "artifacts/**"
+      ],
+      "outputContract": "Implementation summary with changed files, focused tests run, and risks. Must not ask main session to write artifacts.",
+      "subtask_prompt": "Implement the approved change within writeSet only after write-set-gate-shell passed (upstream VERDICT: pass). If write-set gate blocked, output blocked reason without editing files. Keep changes minimal and run focused tests inside allowedPaths when implementing.",
+      "toolProfile": "write"
+    },
+    {
+      "id": "soft-verify-shell",
+      "depends_on": [
+        "implement-pi"
+      ],
+      "complexity": "LOW",
+      "executor": "shell",
+      "role": "verifier",
+      "writePolicy": "read-only",
+      "allowedPaths": [
+        "REPLACE/WITH/IMPLEMENT/**",
+        "./**"
+      ],
+      "forbiddenPaths": [
+        ".harness/**",
+        "artifacts/**"
+      ],
+      "outputContract": "Archived shell stdout/stderr with exit codes for focused verification; no worktree writes.",
+      "subtask_prompt": "Run focused soft verification before process supervision.",
+      "shell": {
+        "commands": [
+          "npx vitest run REPLACE/WITH/FOCUSED/TEST/GLOB.test.ts --reporter=dot"
+        ],
+        "verifyEvidence": {
+          "phase": "intermediate",
+          "quota": "1",
+          "commandSource": "inline",
+          "commandCount": 1,
+          "commandLabels": [
+            "focused template verification"
+          ]
+        },
+        "cwd": ".",
+        "timeoutMs": 300000
+      }
+    },
+    {
+      "id": "process-supervisor-pi",
+      "depends_on": [
+        "soft-verify-shell",
+        "implement-pi"
+      ],
+      "complexity": "HIGH",
+      "executor": "pi",
+      "role": "supervisor",
+      "writePolicy": "read-only",
+      "allowedPaths": [
+        "**"
+      ],
+      "forbiddenPaths": [
+        ".harness/**",
+        "artifacts/**"
+      ],
+      "outputContract": "Plain Markdown whose first non-empty line is VERDICT: pass or VERDICT: request-revision, followed by a REPAIR_ARTIFACT_JSON fenced block. Audit writeSet coverage, boundary drift, verification gaps, repair scope. No file writes.",
+      "subtask_prompt_markdown": "./agent-dag-process-supervisor.prompt.md"
+    },
+    {
+      "id": "process-gate-shell",
+      "depends_on": [
+        "process-supervisor-pi"
+      ],
+      "complexity": "LOW",
+      "executor": "shell",
+      "role": "verifier",
+      "writePolicy": "read-only",
+      "allowedPaths": [
+        "**"
+      ],
+      "forbiddenPaths": [
+        ".harness/**",
+        "artifacts/**"
+      ],
+      "outputContract": "Deterministic process supervisor verdict gate: exit 0 when first non-empty assistant output line is pass or request-revision; exit non-zero otherwise.",
+      "subtask_prompt": "Deterministic gate: validate process-supervisor-pi first-line VERDICT before repair/hard-verify.",
+      "shell": {
+        "verdictGate": {
+          "fromNodeId": "process-supervisor-pi",
+          "accept": [
+            "VERDICT: pass",
+            "VERDICT: request-revision"
+          ],
+          "label": "process",
+          "lineMode": "first-verdict-line"
+        },
+        "repairArtifactGate": {
+          "fromNodeId": "process-supervisor-pi"
+        },
+        "cwd": ".",
+        "timeoutMs": 60000
+      }
+    },
+    {
+      "id": "repair-pi",
+      "depends_on": [
+        "process-gate-shell",
+        "process-supervisor-pi"
+      ],
+      "complexity": "HIGH",
+      "executor": "pi",
+      "role": "implementer",
+      "writePolicy": "exclusive",
+      "writeSet": [
+        "REPLACE/WITH/REPAIR/WRITESET/**",
+        "docs/templates/agent-dag.supervised-implementation.json",
+        "docs/templates/agent-dag-process-supervisor.prompt.md",
+        "docs/templates/agent-dag-review-verdict.prompt.md",
+        "docs/templates/agent-dag.schema.json",
+        "./src/workflows/dag/types.ts",
+        "./src/workflows/dag/skills.ts",
+        "./src/executors/dag-pi-executor.ts"
+      ],
+      "allowedPaths": [
+        "REPLACE/WITH/REPAIR/**",
+        "docs/templates/**",
+        "./src/workflows/dag/**",
+        "./src/executors/**"
+      ],
+      "forbiddenPaths": [
+        ".harness/**",
+        "artifacts/**"
+      ],
+      "outputContract": "Repair summary or explicit no-op when process supervisor passed; changed files and tests when revised. Must not ask main session to write artifacts.",
+      "subtask_prompt": "If process-supervisor-pi returned VERDICT: request-revision, apply bounded fixes within writeSet addressing REPAIR_ARTIFACT_JSON.fixScope and preserving REPAIR_ARTIFACT_JSON.invariant. Use REPAIR_ARTIFACT_JSON.failureClass and rootCause before raw logs; raw log is fallback evidence only when rawLogFallbackAllowed is true. If VERDICT: pass, return no-op with evidence. Re-run focused tests when you change code.",
+      "toolProfile": "write"
+    },
+    {
+      "id": "hard-verify-shell",
+      "depends_on": [
+        "repair-pi"
+      ],
+      "complexity": "LOW",
+      "executor": "shell",
+      "role": "verifier",
+      "writePolicy": "read-only",
+      "allowedPaths": [
+        "./**",
+        "docs/**",
+        "scripts/**"
+      ],
+      "forbiddenPaths": [
+        ".harness/**",
+        "artifacts/**"
+      ],
+      "outputContract": "Archived hard verification stdout/stderr with exit codes; no worktree writes.",
+      "subtask_prompt": "Run hard verification after repair round.",
+      "shell": {
+        "preset": "loop-agent-standard-verify",
+        "commands": [
+          "HARNESS_ALLOW_ACTIVE_DAG_RUNS=1 bash scripts/check-repo.sh"
+        ],
+        "verifyEvidence": {
+          "phase": "final",
+          "quota": "full",
+          "commandSource": "inline",
+          "commandCount": 1,
+          "commandLabels": [
+            "active DAG repo governance checks"
+          ],
+          "finalFullRequired": true
+        },
+        "cwd": ".",
+        "timeoutMs": 300000
+      }
+    },
+    {
+      "id": "review-pi",
+      "depends_on": [
+        "hard-verify-shell"
+      ],
+      "complexity": "HIGH",
+      "executor": "pi",
+      "role": "reviewer",
+      "writePolicy": "read-only",
+      "allowedPaths": [
+        "**"
+      ],
+      "forbiddenPaths": [
+        ".harness/**",
+        "artifacts/**"
+      ],
+      "outputContract": "Plain Markdown whose first non-empty line is VERDICT: pass or VERDICT: request-revision; Critical/Important findings force request-revision. No file writes.",
+      "subtask_prompt_markdown": "./agent-dag-review-verdict.prompt.md"
+    },
+    {
+      "id": "review-gate-shell",
+      "depends_on": [
+        "review-pi"
+      ],
+      "complexity": "LOW",
+      "executor": "shell",
+      "role": "verifier",
+      "writePolicy": "read-only",
+      "allowedPaths": [
+        "**"
+      ],
+      "forbiddenPaths": [
+        ".harness/**",
+        "artifacts/**"
+      ],
+      "outputContract": "Deterministic review verdict gate: exit 0 only when review-pi first non-empty assistant output line is pass.",
+      "subtask_prompt": "Deterministic gate: block decision gate unless review-pi emitted VERDICT: pass.",
+      "shell": {
+        "verdictGate": {
+          "fromNodeId": "review-pi",
+          "accept": [
+            "VERDICT: pass"
+          ],
+          "label": "review",
+          "lineMode": "first-verdict-line"
+        },
+        "cwd": ".",
+        "timeoutMs": 60000
+      }
+    },
+    {
+      "id": "decision-pi",
+      "depends_on": [
+        "review-gate-shell",
+        "hard-verify-shell"
+      ],
+      "complexity": "HIGH",
+      "executor": "pi",
+      "role": "reviewer",
+      "writePolicy": "read-only",
+      "allowedPaths": [
+        "**"
+      ],
+      "forbiddenPaths": [
+        ".harness/**",
+        "artifacts/**"
+      ],
+      "outputContract": "Markdown with exactly one DECISION_ENVELOPE_JSON fenced block plus evidence summary. No file writes.",
+      "subtask_prompt_markdown": "./agent-dag-decision-gate.prompt.md",
+      "decisionGate": {
+        "enabled": true,
+        "schemaVersion": 1,
+        "mode": "record-only"
+      }
+    },
+    {
+      "id": "closeout-pi",
+      "depends_on": [
+        "decision-pi"
+      ],
+      "complexity": "MED",
+      "executor": "pi",
+      "role": "closeout",
+      "writePolicy": "read-only",
+      "allowedPaths": [
+        "**"
+      ],
+      "forbiddenPaths": [
+        ".harness/**",
+        "artifacts/**"
+      ],
+      "outputContract": "Plain Markdown closeout referencing verification, supervisor/review verdicts, and decision envelope. No file writes.",
+      "subtask_prompt": "Summarize the supervised DAG outcome: contract, write-set audit, implement/repair, soft/hard verify, process supervisor and review verdicts, decision-pi envelope, and recommended main-session next step. Do not edit files or write root artifacts/**."
+    }
+  ]
+}

package/docs/templates/exec-plan.md

@@ -0,0 +1,64 @@
+# 执行计划模板
+
+## 标题
+
+## 状态
+
+- draft / active / blocked / completed
+
+## 背景
+
+- 当前问题或机会是什么：
+- 为什么值得现在做：
+
+## 目标（Objective）
+
+- 本计划希望达成什么结果：
+
+## 范围（Scope）
+
+- 包含：
+- 不包含：
+
+## 约束（Constraints）
+
+- 架构/契约约束：
+- 时间/风险约束：
+- 验证约束：
+
+## 里程碑（Milestones）
+
+| ID | Milestone | Status | Exit Criteria |
+|----|-----------|--------|---------------|
+| M1 |           | todo   |               |
+
+## 工作分解（Work Breakdown）
+
+| ID | Work Item | Status | Notes |
+|----|-----------|--------|-------|
+| W1 |           | todo   |       |
+
+## 验证关口（Verification Gates）
+
+- [ ] 文档/契约已同步
+- [ ] 最低必要测试已通过
+- [ ] 关键路径已验证
+- [ ] 风险与未覆盖项已记录
+
+## 风险 / 阻塞项
+
+- 风险：
+- 阻塞：
+
+## 回退 / 恢复（Rollback / Recovery）
+
+- 如何回退：
+- 回退后如何恢复基线：
+
+## Open Questions
+
+- 
+
+## 推荐下一步
+
+- 

package/docs/templates/feature-spec.md

@@ -0,0 +1,53 @@
+# Feature Spec 模板
+
+## 标题
+
+## 状态
+
+- draft / active / completed
+
+## 背景（Background）
+
+- 问题背景：
+- 用户/协作者痛点：
+- 与现有系统的关系：
+
+## 目标（Goal）
+
+- 本 feature 要实现什么：
+
+## 非目标（Non-goals）
+
+- 明确本轮不做什么：
+
+## 关键场景 / 用户路径
+
+1. 
+2. 
+3. 
+
+## Feature List
+
+| ID | Feature | Priority | Status | Acceptance | Notes |
+|----|---------|----------|--------|------------|-------|
+| F1 |         | High     | todo   |            |       |
+
+## 依赖（Dependencies）
+
+- 上游依赖：
+- 下游影响：
+- 文档/契约依赖：
+
+## 风险（Risks）
+
+- 
+
+## 验证说明（Verification Notes）
+
+- 最低建议验证：
+- 加强验证：
+- 关键手工路径：
+
+## Open Questions
+
+-