intentdna 1.5.17 → 1.5.18

package/.claude-plugin/marketplace.json

@@ -9,7 +9,7 @@
     {
       "name": "intentdna",
       "description": "Declarative policy layer for AI agent behavior with plugin-managed hook runtime for Claude Code.",
-      "version": "1.5.17",
+      "version": "1.5.18",
       "author": {
         "name": "Samuel"
       },
@@ -25,5 +25,5 @@
       ]
     }
   ],
-  "version": "1.5.17"
+  "version": "1.5.18"
 }

package/.claude-plugin/plugin.json

@@ -1,6 +1,6 @@
 {
   "name": "intentdna",
-  "version": "1.5.17",
+  "version": "1.5.18",
   "description": "Declarative policy layer for AI agent behavior",
   "author": {
     "name": "Samuel"

package/dist/runtime/markdown.d.ts

@@ -13,7 +13,7 @@
  *   <!-- intentdna:end -->
  */
 import type { ConstraintIR } from "../schema/types.js";
-export type MarkdownTarget = "claude-md" | "soul-md" | "cursorrules" | "system-prompt";
+export type MarkdownTarget = "claude-md" | "soul-md" | "cursorrules" | "system-prompt" | "agents-md";
 /**
  * Compile Constraint IR to a markdown block suitable for the target format.
  */

package/dist/runtime/markdown.js

@@ -28,6 +28,8 @@ export function compileToMarkdown(ir, target) {
             return renderCursorrules(ir);
         case "system-prompt":
             return renderSystemPrompt(ir);
+        case "agents-md":
+            return renderAgentsMd(ir);
     }
 }
 /**
@@ -191,6 +193,153 @@ function renderCursorrules(ir) {
     }
     return lines.join("\n");
 }
+function renderAgentsMd(ir) {
+    const lines = [];
+    const high = ir.prompt_directives.filter(d => d.priority === "high");
+    const med = ir.prompt_directives.filter(d => d.priority === "medium");
+    const low = ir.prompt_directives.filter(d => d.priority === "low");
+    lines.push("# Intent DNA — Codex Instructions");
+    lines.push("");
+    lines.push("Codex loads AGENTS.md at session start. After running `dna sync`, restart Codex so these instructions are reloaded.");
+    lines.push("These instructions are behavioral guidance; use Codex sandbox/config for deterministic enforcement.");
+    lines.push("");
+    if (ir.active_context) {
+        lines.push(`Active context: ${ir.active_context}`);
+        lines.push("");
+    }
+    if (high.length > 0) {
+        lines.push("## Critical Directives");
+        for (const d of high)
+            lines.push(`- ${d.text}`);
+        lines.push("");
+    }
+    if (med.length > 0) {
+        lines.push("## Standard Directives");
+        for (const d of med)
+            lines.push(`- ${d.text}`);
+        lines.push("");
+    }
+    if (low.length > 0) {
+        lines.push("## Preferences");
+        for (const d of low)
+            lines.push(`- ${d.text}`);
+        lines.push("");
+    }
+    if (ir.context_files || ir.legibility_assets) {
+        lines.push("## Required Context");
+        const files = collectContextFiles(ir);
+        if (files.length > 0) {
+            lines.push("Read these files before work that depends on project context:");
+            for (const file of files)
+                lines.push(`- ${file}`);
+        }
+        else {
+            lines.push("Follow any required-read assets declared by the active DNA.");
+        }
+        lines.push("");
+    }
+    if (ir.roles_scope_map && ir.roles_scope_map.length > 0) {
+        lines.push("## Role Boundaries");
+        for (const role of ir.roles_scope_map) {
+            lines.push(`- ${role.role_name}: read ${formatList(role.scope.read)}; write ${formatList(role.scope.write)}${formatToolPermissions(role.tool_permissions)}`);
+        }
+        lines.push("");
+    }
+    else if (ir.role_scope || ir.role_tool_permissions) {
+        lines.push("## Active Role Boundary");
+        if (ir.role_scope)
+            lines.push(`- Read: ${formatList(ir.role_scope.read)}`);
+        if (ir.role_scope)
+            lines.push(`- Write: ${formatList(ir.role_scope.write)}`);
+        if (ir.role_tool_permissions)
+            lines.push(`- Tools:${formatToolPermissions(ir.role_tool_permissions).replace(/^;/, "")}`);
+        lines.push("");
+    }
+    if (ir.pre_execution_gates.length > 0) {
+        lines.push("## Runtime Constraints");
+        for (const g of ir.pre_execution_gates) {
+            const action = g.action === "block" ? "must not" : g.action === "escalate" ? "ask first" : "warn";
+            lines.push(`- [${action}] ${g.message}`);
+        }
+        lines.push("");
+    }
+    if (ir.tool_filters.length > 0) {
+        lines.push("## Tool and Sandbox Guidance");
+        for (const f of ir.tool_filters)
+            lines.push(`- ${f.action}: ${f.target ?? f.reason} (${f.reason})`);
+        lines.push("- Prefer Codex `workspace-write` with `on-request` approvals for editable work; use `read-only` for planning/review.");
+        lines.push("");
+    }
+    if ((ir.workflows_ir && ir.workflows_ir.length > 0) || (ir.verifier_specs && ir.verifier_specs.length > 0)) {
+        lines.push("## Workflow and Verification Expectations");
+        for (const wf of ir.workflows_ir ?? []) {
+            lines.push(`- Workflow ${wf.workflow_name}: roles ${formatList(wf.active_roles)}.`);
+            for (const handoff of wf.handoff_chain ?? []) {
+                const produced = handoff.produces?.map(a => a.path ?? a.type).join(", ");
+                if (produced)
+                    lines.push(`  - Step ${handoff.step_id} should produce: ${produced}`);
+            }
+        }
+        for (const spec of ir.verifier_specs ?? []) {
+            const target = spec.checkpoint?.assert ?? spec.completion?.file_exists ?? spec.completion?.file_not_empty ?? spec.completion?.command_success ?? spec.id;
+            lines.push(`- Verify ${spec.when}/${spec.severity}: ${target}`);
+        }
+        lines.push("");
+    }
+    if (ir.post_execution_validators.length > 0) {
+        lines.push("## Post-Work Checks");
+        for (const v of ir.post_execution_validators)
+            lines.push(`- ${v.check}`);
+        lines.push("");
+    }
+    lines.push(`_Compiled: ${ir.compiled_at} | Sources: ${ir.source_dna_ids.join(", ")}_`);
+    return lines.join("\n");
+}
+function collectContextFiles(ir) {
+    const files = [];
+    const add = (file) => {
+        if (file && !files.includes(file))
+            files.push(file);
+    };
+    for (const file of ir.context_files?.mandatory ?? [])
+        add(file);
+    for (const roleFiles of Object.values(ir.context_files?.per_role ?? {})) {
+        for (const file of roleFiles)
+            add(file);
+    }
+    for (const workflowFiles of Object.values(ir.context_files?.per_workflow ?? {})) {
+        for (const file of workflowFiles)
+            add(file);
+    }
+    for (const asset of ir.legibility_assets?.mandatory ?? []) {
+        if (asset.type === "required_read")
+            add(asset.path);
+    }
+    for (const roleAssets of Object.values(ir.legibility_assets?.per_role ?? {})) {
+        for (const asset of roleAssets)
+            if (asset.type === "required_read")
+                add(asset.path);
+    }
+    for (const workflowAssets of Object.values(ir.legibility_assets?.per_workflow ?? {})) {
+        for (const asset of workflowAssets)
+            if (asset.type === "required_read")
+                add(asset.path);
+    }
+    return files;
+}
+function formatList(values) {
+    return values && values.length > 0 ? values.join(", ") : "none";
+}
+function formatToolPermissions(permissions) {
+    if (!permissions)
+        return "";
+    const parts = [];
+    if (permissions.allow?.length)
+        parts.push(`allow ${permissions.allow.join(", ")}`);
+    if (permissions.deny?.length)
+        parts.push(`deny ${permissions.deny.join(", ")}`);
+    return parts.length > 0 ? `; tools ${parts.join("; ")}` : "";
+}
 function renderSystemPrompt(ir) {
     const lines = [];
     lines.push("# Behavioral Guidelines");

package/dist/templates/flutter-rewrite.dna.yaml

@@ -134,8 +134,12 @@ context_files:
       - ".dna/specs/diagnosis-{{ARGUMENTS}}.md"
     surgeon:
       - ".dna/specs/diagnosis-{{ARGUMENTS}}.md"
+    fix_reviewer:
+      - "docs/behavior/{{ARGUMENTS}}.md"
+      - ".dna/specs/diagnosis-{{ARGUMENTS}}.md"
     test_runner:
       - "docs/behavior/{{ARGUMENTS}}.md"
+      - ".dna/specs/diagnosis-{{ARGUMENTS}}.md"
 
 verifier_policy:
   allow_builtin_asserts:
@@ -144,18 +148,19 @@ verifier_policy:
 roles:
   # ── Phase 0/3: behavior-lock 角色 ──
   scanner:
-    description: Scans v1 source code, outputs behavior document. Read-only.
+    description: Scans v1 source code and writes the behavior document artifact.
     tool_permissions:
-      allow: [Read, Grep, Glob, Bash]
-      deny: [Edit, Write, NotebookEdit]
+      allow: [Read, Grep, Glob, Write, Edit]
+      deny: [Bash, NotebookEdit]
     scope:
       read: ["**/*"]
-      write: []
+      write: ["docs/behavior/**"]
     instructions:
       - Scan ONE module only
       - "For each page, list user-visible actions: 动作 → 函数调用 → 返回值"
-      - Output as markdown with checkboxes
+      - Write the behavior document artifact under docs/behavior/
       - Do NOT read v2 code — only v1
+      - Do NOT write tests or app code
 
   test_writer:
     description: Reads behavior document, writes tests for all layers (logic + widget).
@@ -173,29 +178,7 @@ roles:
       - Run tests after writing — record baseline
       - Red tests are expected (implementation doesn't exist yet)
 
-  # ── Phase 4: rescue 角色 ──
-  investigator:
-    description: Traces broken chain in v1 and v2, identifies breakpoint. Read-only.
-    tool_permissions:
-      allow: [Read, Grep, Glob, Bash]
-      deny: [Edit, Write, NotebookEdit]
-    scope:
-      read: ["**/*"]
-      write: []
-    instructions:
-      - Trace the call chain in v1 for the target feature
-      - Find where v2 diverges
-      - Report with exact file paths and line numbers
-      - Never suggest code changes
-      - "If round > 1: review previous round's git diff first, judge if direction is correct"
-      - "If previous fix produced 0 red→green transitions: warn 'no progress'"
-      - "Categorize by severity and type:"
-      - "  CRITICAL: compile errors, import failures — blocks everything"
-      - "  HIGH-INFRA: mock incomplete causing test hang — blocks behavior verification, fix mock infrastructure first"
-      - "  HIGH-LOGIC: logic test failures (state/notifier) — behavior inconsistency"
-      - "  MEDIUM: widget test failures (rendering/navigation)"
-      - "hung tests ≠ failed tests. hung = mock infrastructure problem (needs mock fix), failed = behavior inconsistency (needs v2 code fix)"
-
+  # ── Phase 4: fix 角色 ──
   surgeon:
     description: Fixes breakpoints and builds missing layers by understanding v1 intent and rewriting in v2 style.
     tool_permissions:
@@ -270,6 +253,21 @@ roles:
       - "Verify diagnosis remains evidence-only: no fix prescriptions, implementation order, call-site instructions, or Notes for Surgeon"
       - "Output a structured verdict block with verdict, artifact_reviewed, sections_to_fix, evidence_paths, confidence, and summary"
 
+  fix_reviewer:
+    description: "Reviews surgeon changes against approved diagnosis, v1 evidence, and v2 architecture. Read-only."
+    tool_permissions:
+      allow: [Read, Grep, Glob, Bash]
+      deny: [Edit, Write, NotebookEdit]
+    scope:
+      read: ["**/*"]
+      write: []
+    instructions:
+      - "Read diagnosis spec, behavior doc, and git diff before judging"
+      - "Verify changes are minimal and limited to the approved diagnosis classifications"
+      - "Verify v1 evidence was preserved and v2 patterns are followed"
+      - "Reject fake mocks, unrelated refactors, scope creep, or unapproved REMOVED handling"
+      - "Output structured verdict: APPROVE or REQUEST_CHANGES with issues and evidence paths"
+
   test_runner:
     description: "Runs tests and reports progress delta."
     tool_permissions:
@@ -347,159 +345,6 @@ workflows:
             - type: git_commit
               description: "Behavior lock commit"
 
-  rescue:
-    name: Rescue
-    description: "Fix v2 module $ARGUMENTS — investigate, fix, review, verify, report. Max 10 rounds with convergence protection."
-    max_rounds: 10
-    convergence_rule: "2 consecutive rounds with 0 test progress (green count not increasing) → STOP. Output blocked items + analysis."
-    round_budget: "Max 5 files per round. Each round must produce at least 1 test transition (red/skip/hung → green), otherwise counted as no progress."
-    priority_order: |
-      Phase 1: Fix CRITICAL (compile errors) — unblocks everything
-      Phase 2: Fix HIGH-INFRA (mock infrastructure, make hung tests runnable) — unblocks behavior verification
-      Phase 3: Fix HIGH-LOGIC (logic tests, red → green) — behavior alignment
-      Phase 4: Fix MEDIUM (widget tests, red → green) — UI alignment
-      Complete each phase before moving to the next.
-    steps:
-      - id: investigate
-        role: investigator
-        description: "Run tests, assess current state, pick next targets by severity."
-        prompt: |
-          Round context:
-          - If round > 1: review previous round's git diff first
-          - If previous round had 0 test progress (no red→green or skip→green): warn "no progress" and consider changing approach
-
-          Run tests in {{test_path}}/$ARGUMENTS/ --timeout 30s. Categorize all non-passing tests by severity:
-          CRITICAL: compile errors, import failures — blocks everything, fix first
-          HIGH-INFRA: mock incomplete causing test hang (timed out) — blocks behavior verification, fix mock infrastructure
-          HIGH-LOGIC: logic test failures (state/notifier/service) — behavior inconsistency, fix after infra
-          MEDIUM: widget test failures (rendering/navigation) — fix after logic
-
-          IMPORTANT: hung ≠ failed. A test that times out (hung) = mock infrastructure problem, NOT a v2 behavior issue. Classify separately.
-
-          Pick highest severity batch. Trace: what does v1 do vs what does v2 do? Find the breakpoints.
-          Report findings and the plan for this round.
-        handoff:
-          produces:
-            - type: summary
-              description: "Investigation findings and breakpoint analysis"
-            - type: test_result
-              path: "{{test_path}}/$ARGUMENTS/"
-              description: "Current test state assessment"
-      - id: fix
-        role: surgeon
-        depends_on: [investigate]
-        description: "Fix identified issues. Max 5 files per round."
-        max_attempts: 3
-        on_fail: handoff
-        handoff_to: investigate
-        max_handoffs: 3
-        on_handoff_exhausted: skip
-        blocked_items_path: "docs/behavior/blocked_items.md"
-        checkpoints:
-          - assert: clean_working_tree
-            message: "Commit all changes before proceeding"
-        prompt: |
-          Fix the identified breakpoints. Rules:
-          - Read v1 intent in {{v1_path}}/, rewrite in v2 style in {{v2_path}}/ (not copy v1 verbatim)
-          - Maximum 5 files per round — if more needed, split the scope
-          - Run `flutter analyze` after each file change
-          - Same issue failed 3 times → STOP, report as blocked, do not retry
-          - Logic tests: implement notifier/state/service code
-          - Widget tests: copy widget from v1, change bindings (Obx→Consumer, Get.to→context.go), set up infra (ProviderScope, mock providers, GoRouter) if needed
-          - Run tests after each fix. Red→green or Skip→green = progress. Still failing = revert and re-analyze
-          - Commit: "rescue($ARGUMENTS): round N — what changed, why, which tests targeted"
-        handoff:
-          consumes:
-            - type: summary
-              from: investigate
-              description: "Investigation findings from investigate step"
-          produces:
-            - type: git_commit
-              description: "Rescue round commit"
-      - id: progress_check
-        role: investigator
-        depends_on: [fix]
-        description: "Check test progress after surgeon's fix."
-        prompt: |
-          Run tests. Compare green count with previous round.
-          If green count increased: PROGRESS — proceed to review.
-          If green count unchanged or decreased: NO_PROGRESS — record what surgeon tried
-          and why it didn't work, for the experience chain.
-        handoff:
-          consumes:
-            - type: git_commit
-              from: fix
-              description: "Fix commit from surgeon"
-          produces:
-            - type: summary
-              description: "Progress check result (PROGRESS or NO_PROGRESS)"
-      - id: review
-        role: investigator
-        depends_on: [progress_check]
-        description: "Read-only review of surgeon's changes."
-        prompt: |
-          Review surgeon's git diff (read-only, do NOT modify any files):
-          1. Are changes minimal? No unnecessary files touched?
-          2. Does the code match v2 patterns (Riverpod, GoRouter)?
-          3. Are mocks correct (not faked just to make tests pass)?
-          4. Any new issues introduced?
-
-          Verdict: APPROVE → proceed to verify
-          Verdict: REQUEST_CHANGES → describe specific problems. Next round's investigate step will include this feedback.
-        handoff:
-          consumes:
-            - type: summary
-              from: progress_check
-              description: "Progress check result"
-            - type: git_commit
-              from: fix
-              description: "Committed fix from surgeon"
-          produces:
-            - type: summary
-              description: "Review verdict (APPROVE or REQUEST_CHANGES)"
-      - id: verify
-        role: investigator
-        depends_on: [review]
-        description: "Independent test verification + regression check."
-        prompt: |
-          Run tests independently (do not trust surgeon's reported results):
-          1. `flutter test {{test_path}}/$ARGUMENTS/ --timeout 30s` (per-test safety net; hung = mock infra issue)
-          2. `flutter analyze` (compilation check)
-          3. Check for regressions in core module tests if applicable
-
-          Record test delta vs previous round.
-          Each acceptance criterion: VERIFIED / PARTIAL / MISSING
-          Verdict: PASS or FAIL
-        handoff:
-          consumes:
-            - type: summary
-              from: review
-              description: "Review verdict"
-          produces:
-            - type: test_result
-              path: "{{test_path}}/$ARGUMENTS/"
-              description: "Verified test results"
-      - id: report
-        role: investigator
-        depends_on: [verify]
-        description: "Round summary with convergence judgment."
-        prompt: |
-          Summary:
-          1. Test delta: +N green, -M red, ±K skipped vs last round
-          2. Remaining tests by category (logic vs widget vs platform)
-          3. Convergence check:
-             - If 2 consecutive rounds with no test progress → STOP, output blocked items + analysis
-             - If all green → "Module $ARGUMENTS rescue complete"
-             - Otherwise → "Run /rescue $ARGUMENTS to continue (round N+1 of max 10)"
-          4. If review verdict was REQUEST_CHANGES: include the specific feedback for next round
-        handoff:
-          consumes:
-            - type: test_result
-              from: verify
-              description: "Verified test results from verify step"
-          produces:
-            - type: summary
-              description: "Round summary with test delta and convergence status"
 
   core-align:
     name: Core Align
@@ -583,36 +428,32 @@ workflows:
 
   fix:
     name: Fix
-    description: "Read diagnosis spec and fix v2 code for module $ARGUMENTS with reflection gate"
+    description: "Read diagnosis spec and fix v2 code for module $ARGUMENTS with review and verification gates"
     steps:
       - id: fix_bugs
         role: surgeon
-        max_attempts: 3
-        on_fail: handoff
-        handoff_to: fix_bugs
-        max_handoffs: 3
-        on_handoff_exhausted: skip
         blocked_items_path: "docs/behavior/blocked_items.md"
         description: "Fix issues according to diagnosis spec classifications"
         prompt: |
-          Read .dna/state/workflow/experience.md first if it exists. It contains previous failed approaches — do NOT repeat them.
+          This invocation is one fix round. If prior verify_report or experience_chain context is provided, read it first and do not repeat failed approaches.
 
           Read context + diagnosis spec first.
 
-          Process issues in priority order: INFRA → BUG → UNIMPLEMENTED → TEST_BUG
-          (REMOVED skipped — needs user confirmation)
+          Count diagnosis classifications before editing. If UNIMPLEMENTED count is greater than 100, this round is implementation-first: fix UNIMPLEMENTED items by priority only, and leave TEST_BUG / BUG / INFRA / REMOVED for later rounds unless they block implementation.
+
+          Otherwise process issues in priority order: INFRA → BUG → TEST_BUG → UNIMPLEMENTED.
+          REMOVED is always skipped unless the user explicitly approved handling it.
 
           For each issue:
           - BUG: read v1 file, edit v2 (use Riverpod per refactoring-workflow-v2.md)
-          - UNIMPLEMENTED: read v1 impl, implement in v2 style, remove skip marker from test
-          - INFRA: edit test_helpers only, do NOT touch v2/lib
           - TEST_BUG: re-read v1, edit test to match v1 behavior
+          - INFRA: edit test_helpers only, do NOT touch v2/lib
+          - UNIMPLEMENTED: read v1 impl, implement in v2 style, remove skip marker from test
 
-          After each fix: run tests ONCE for that specific file.
+          Continue within the round while changes are coherent and reviewable. If the remaining work is large, stop at a natural boundary and leave the rest for the next fix round.
 
-          If experience_chain is non-empty:
-          - You have tried approaches that failed
-          - Read them, use a DIFFERENT approach
+          After each fix: run tests ONCE for that specific file.
+          Commit only the round's coherent changes, with message including what changed, why, and which tests were targeted.
         handoff:
           consumes:
             - type: file
@@ -622,24 +463,87 @@ workflows:
             - type: git_commit
               description: "Fix commit"
 
-      - id: progress_check
-        role: test_runner
+      - id: review_changes
+        role: fix_reviewer
         depends_on: [fix_bugs]
+        description: "Review surgeon changes before verification"
+        prompt: |
+          Read diagnosis spec, behavior doc, and git diff.
+
+          Review only the surgeon's changes:
+          1. Are changes limited to BUG / UNIMPLEMENTED / INFRA / TEST_BUG items in the approved diagnosis?
+          2. Is REMOVED handling absent unless explicitly approved by user?
+          3. Does implementation preserve v1 behavior and follow v2 architecture?
+          4. Are test infra changes honest, not fake mocks?
+          5. Is there unrelated refactor or scope creep?
+
+          Output exactly one structured verdict block:
+          ```json
+          {
+            "verdict": "APPROVE" | "REQUEST_CHANGES",
+            "issues": ["specific issue with evidence path; empty when approved"],
+            "evidence_paths": ["paths that justify the verdict"],
+            "failure_reason": "why changes need another round; empty when approved",
+            "next_round_focus": "specific priority/classification/test file for the next fix invocation; empty when approved",
+            "summary": "brief reason"
+          }
+          ```
+
+          REQUEST_CHANGES → include failure_reason and concrete next_round_focus for the next fix invocation.
+        handoff:
+          consumes:
+            - type: git_commit
+              from: fix_bugs
+              description: "Fix commit from surgeon"
+            - type: file
+              path: ".dna/specs/diagnosis-$ARGUMENTS.md"
+              description: "Diagnosis spec"
+            - type: file
+              path: "docs/behavior/$ARGUMENTS.md"
+              description: "Behavior document"
+          produces:
+            - type: summary
+              description: "Review verdict (APPROVE or REQUEST_CHANGES)"
+
+      - id: verify_report
+        role: test_runner
+        depends_on: [review_changes]
         description: "Verify progress and output report"
         prompt: |
-          Run full module test suite for $ARGUMENTS.
-          Compare with diagnosis spec baseline.
+          Read the review verdict and diagnosis spec first.
+
+          If the review verdict is REQUEST_CHANGES, set Verdict: BLOCKED, set Failure reason: BLOCKED_BY_REVIEW plus reviewer details, and do not claim verification.
+
+          If the review verdict is APPROVE:
+          - Run full module test suite for $ARGUMENTS.
+          - Compare with diagnosis spec baseline.
 
           Output report:
+          - Verdict: PASS / CONTINUE / REQUEST_CHANGES / BLOCKED
+          - Review: APPROVE / REQUEST_CHANGES
           - Fixed: N tests now green
           - New red: M tests that regressed
           - Blocked: K tests skipped (see blocked_items.md)
           - Remaining: R tests still failing
+          - Failure reason: why progress stopped, if any
+          - Next round focus: the priority/classification/test file to continue with, if verdict is CONTINUE or REQUEST_CHANGES
+
+          Verdict meanings:
+          - PASS: all approved diagnosis items are fixed or intentionally skipped
+          - CONTINUE: this round made progress and remaining approved items should continue in the next fix invocation
+          - REQUEST_CHANGES: review or verification found issues in this round's changes
+          - BLOCKED: user confirmation is needed or repeated no-progress prevents safe continuation
         handoff:
           consumes:
+            - type: summary
+              from: review_changes
+              description: "Review verdict from fix_reviewer"
             - type: git_commit
               from: fix_bugs
               description: "Fix commit from surgeon"
+            - type: file
+              path: ".dna/specs/diagnosis-$ARGUMENTS.md"
+              description: "Diagnosis spec"
           produces:
             - type: summary
-              description: "Progress report with test delta"
+              description: "Verification report with test delta"

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "intentdna",
-  "version": "1.5.17",
+  "version": "1.5.18",
   "description": "Intent DNA — Declarative policy layer for AI agent behavior",
   "type": "module",
   "main": "dist/index.js",