@nathapp/nax 0.36.0 → 0.36.1

package/dist/nax.js

@@ -3914,7 +3914,7 @@ ${output.slice(0, 500)}`);
       acceptanceCriteria: Array.isArray(record.acceptanceCriteria) ? record.acceptanceCriteria : ["Implementation complete"],
       tags: Array.isArray(record.tags) ? record.tags : [],
       dependencies: Array.isArray(record.dependencies) ? record.dependencies : [],
-      complexity: validateComplexity(record.complexity),
+      complexity: coerceComplexity(record.complexity),
       contextFiles: Array.isArray(record.contextFiles) ? record.contextFiles : Array.isArray(record.relevantFiles) ? record.relevantFiles : [],
       relevantFiles: Array.isArray(record.relevantFiles) ? record.relevantFiles : [],
       reasoning: String(record.reasoning || "No reasoning provided"),
@@ -3928,7 +3928,7 @@ ${output.slice(0, 500)}`);
   }
   return stories;
 }
-function validateComplexity(value) {
+function coerceComplexity(value) {
   if (value === "simple" || value === "medium" || value === "complex" || value === "expert") {
     return value;
   }
@@ -19471,7 +19471,7 @@ Your complexity classification will determine the execution strategy:
 Respond with ONLY this JSON (no markdown, no explanation):
 {"complexity":"simple|medium|complex|expert","modelTier":"fast|balanced|powerful","reasoning":"<one line>"}`;
 }
-function buildBatchPrompt(stories, config2) {
+function buildBatchRoutingPrompt(stories, config2) {
   const storyBlocks = stories.map((story, idx) => {
     const criteria = story.acceptanceCriteria.map((c, i) => `   ${i + 1}. ${c}`).join(`
 `);
@@ -19651,7 +19651,7 @@ async function routeBatch(stories, context) {
     throw new Error("No agent adapter available for batch routing (AA-003)");
   }
   const modelTier = llmConfig.model ?? "fast";
-  const prompt = buildBatchPrompt(stories, config2);
+  const prompt = buildBatchRoutingPrompt(stories, config2);
   try {
     const output = await callLlm(adapter, modelTier, prompt, config2);
     const decisions = parseBatchResponse(output, stories, config2);
@@ -20073,7 +20073,7 @@ var init_routing = __esm(() => {
 });
 
 // src/decompose/validators/complexity.ts
-function validateComplexity2(substories, maxComplexity) {
+function validateComplexity(substories, maxComplexity) {
   const errors3 = [];
   const warnings = [];
   const maxOrder = COMPLEXITY_ORDER[maxComplexity];
@@ -20385,7 +20385,7 @@ function runAllValidators(originalStory, substories, existingStories, config2) {
   const results = [
     validateOverlap(substories, existingStories),
     validateCoverage(originalStory, substories),
-    validateComplexity2(substories, maxComplexity),
+    validateComplexity(substories, maxComplexity),
     validateDependencies(substories, existingIds)
   ];
   const errors3 = results.flatMap((r) => r.errors);
@@ -20657,7 +20657,7 @@ var package_default;
 var init_package = __esm(() => {
   package_default = {
     name: "@nathapp/nax",
-    version: "0.36.0",
+    version: "0.36.1",
     description: "AI Coding Agent Orchestrator \u2014 loops until done",
     type: "module",
     bin: {
@@ -20718,8 +20718,8 @@ var init_version = __esm(() => {
   NAX_VERSION = package_default.version;
   NAX_COMMIT = (() => {
     try {
-      if (/^[0-9a-f]{6,10}$/.test("78b52b0"))
-        return "78b52b0";
+      if (/^[0-9a-f]{6,10}$/.test("b241bab"))
+        return "b241bab";
     } catch {}
     try {
       const result = Bun.spawnSync(["git", "rev-parse", "--short", "HEAD"], {
@@ -21092,6 +21092,12 @@ class InteractionChain {
   async prompt(request) {
     await this.send(request);
     const response = await this.receive(request.id, request.timeout);
+    if (response.action === "choose" && response.value && request.options) {
+      const matched = request.options.find((o) => o.key === response.value);
+      if (matched) {
+        return { ...response, action: matched.key };
+      }
+    }
     return response;
   }
   async cancel(requestId) {
@@ -22681,9 +22687,17 @@ class ReviewOrchestrator {
         const changedFiles = await getChangedFiles(workdir);
         const pluginResults = [];
         for (const reviewer of reviewers) {
-          logger?.info("review", `Running plugin reviewer: ${reviewer.name}`);
+          logger?.info("review", `Running plugin reviewer: ${reviewer.name}`, {
+            changedFiles: changedFiles.length
+          });
           try {
             const result = await reviewer.check(workdir, changedFiles);
+            logger?.info("review", `Plugin reviewer result: ${reviewer.name}`, {
+              passed: result.passed,
+              exitCode: result.exitCode,
+              output: result.output?.slice(0, 500),
+              findings: result.findings?.length ?? 0
+            });
             pluginResults.push({
               name: reviewer.name,
               passed: result.passed,
@@ -22702,6 +22716,7 @@ class ReviewOrchestrator {
             }
           } catch (error48) {
             const errorMsg = error48 instanceof Error ? error48.message : String(error48);
+            logger?.warn("review", `Plugin reviewer threw error: ${reviewer.name}`, { error: errorMsg });
             pluginResults.push({ name: reviewer.name, passed: false, output: "", error: errorMsg });
             builtIn.pluginReviewers = pluginResults;
             return {
@@ -22959,12 +22974,14 @@ var init_completion = __esm(() => {
   };
 });
 
+// src/optimizer/types.ts
+function estimateTokens(text) {
+  return Math.ceil(text.length / 4);
+}
+
 // src/constitution/loader.ts
 import { existsSync as existsSync13 } from "fs";
 import { join as join14 } from "path";
-function estimateTokens(text) {
-  return Math.ceil(text.length / 3);
-}
 function truncateToTokens(text, maxTokens) {
   const maxChars = maxTokens * 3;
   if (text.length <= maxChars) {
@@ -23214,32 +23231,29 @@ var init_auto_detect = __esm(() => {
 });
 
 // src/context/elements.ts
-function estimateTokens2(text) {
-  return Math.ceil(text.length / CHARS_PER_TOKEN);
-}
 function createStoryContext(story, priority) {
   const content = formatStoryAsText(story);
-  return { type: "story", storyId: story.id, content, priority, tokens: estimateTokens2(content) };
+  return { type: "story", storyId: story.id, content, priority, tokens: estimateTokens(content) };
 }
 function createDependencyContext(story, priority) {
   const content = formatStoryAsText(story);
-  return { type: "dependency", storyId: story.id, content, priority, tokens: estimateTokens2(content) };
+  return { type: "dependency", storyId: story.id, content, priority, tokens: estimateTokens(content) };
 }
 function createErrorContext(errorMessage, priority) {
-  return { type: "error", content: errorMessage, priority, tokens: estimateTokens2(errorMessage) };
+  return { type: "error", content: errorMessage, priority, tokens: estimateTokens(errorMessage) };
 }
 function createProgressContext(progressText, priority) {
-  return { type: "progress", content: progressText, priority, tokens: estimateTokens2(progressText) };
+  return { type: "progress", content: progressText, priority, tokens: estimateTokens(progressText) };
 }
 function createFileContext(filePath, content, priority) {
-  return { type: "file", filePath, content, priority, tokens: estimateTokens2(content) };
+  return { type: "file", filePath, content, priority, tokens: estimateTokens(content) };
 }
 function createTestCoverageContext(content, tokens, priority) {
   return { type: "test-coverage", content, priority, tokens };
 }
 function createPriorFailuresContext(failures, priority) {
   const content = formatPriorFailures(failures);
-  return { type: "prior-failures", content, priority, tokens: estimateTokens2(content) };
+  return { type: "prior-failures", content, priority, tokens: estimateTokens(content) };
 }
 function formatPriorFailures(failures) {
   if (!failures || failures.length === 0) {
@@ -23310,7 +23324,6 @@ function formatStoryAsText(story) {
   return parts.join(`
 `);
 }
-var CHARS_PER_TOKEN = 3;
 var init_elements = __esm(() => {
   init_logger2();
 });
@@ -23467,7 +23480,7 @@ function truncateToTokenBudget(files, maxTokens, preferredDetail) {
   for (let i = startIndex;i < detailLevels.length; i++) {
     const detail = detailLevels[i];
     const summary = formatTestSummary(files, detail);
-    const tokens = estimateTokens2(summary);
+    const tokens = estimateTokens(summary);
     if (tokens <= maxTokens) {
       return { summary, detail, truncated: i !== startIndex };
     }
@@ -23477,7 +23490,7 @@ function truncateToTokenBudget(files, maxTokens, preferredDetail) {
     truncatedFiles = truncatedFiles.slice(0, truncatedFiles.length - 1);
     const summary = `${formatTestSummary(truncatedFiles, "names-only")}
 ... and ${files.length - truncatedFiles.length} more test files`;
-    if (estimateTokens2(summary) <= maxTokens) {
+    if (estimateTokens(summary) <= maxTokens) {
       return { summary, detail: "names-only", truncated: true };
     }
   }
@@ -23500,13 +23513,12 @@ async function generateTestCoverageSummary(options) {
   }
   const totalTests = files.reduce((sum, f) => sum + f.testCount, 0);
   const { summary } = truncateToTokenBudget(files, maxTokens, detail);
-  const tokens = estimateTokens2(summary);
+  const tokens = estimateTokens(summary);
   return { files, totalTests, summary, tokens };
 }
 var COMMON_TEST_DIRS;
 var init_test_scanner = __esm(() => {
   init_logger2();
-  init_builder3();
   COMMON_TEST_DIRS = ["test", "tests", "__tests__", "src/__tests__", "spec"];
 });
 
@@ -24758,7 +24770,7 @@ var init_cleanup = __esm(() => {
 });
 
 // src/tdd/prompts.ts
-function buildImplementerRectificationPrompt(failures, story, contextMarkdown, config2) {
+function buildImplementerRectificationPrompt(failures, story, _contextMarkdown, config2) {
   return createRectificationPrompt(failures, story, config2);
 }
 var init_prompts = __esm(() => {
@@ -24908,9 +24920,9 @@ var init_rectification_gate = __esm(() => {
 function buildConventionsSection() {
   return `# Conventions
 
-` + `Follow existing code patterns and conventions. Write idiomatic, maintainable code.
+Follow existing code patterns and conventions. Write idiomatic, maintainable code.
 
-` + "When running tests, run ONLY test files related to your changes (e.g. `bun test ./test/specific.test.ts`). " + "NEVER run `bun test` without a file filter \u2014 full suite output will flood your context window and cause failures.\n\n" + "Commit your changes when done using conventional commit format (e.g. `feat:`, `fix:`, `test:`).";
+Commit your changes when done using conventional commit format (e.g. \`feat:\`, \`fix:\`, \`test:\`).`;
 }
 
 // src/prompts/sections/isolation.ts
@@ -24919,29 +24931,39 @@ function buildIsolationSection(roleOrMode, mode) {
     return buildIsolationSection("test-writer", roleOrMode);
   }
   const role = roleOrMode;
-  const header = `# Isolation Rules
-
-`;
+  const header = "# Isolation Rules";
   const footer = `
 
 ${TEST_FILTER_RULE}`;
   if (role === "test-writer") {
     const m = mode ?? "strict";
     if (m === "strict") {
-      return `${header}isolation scope: Only create or modify files in the test/ directory. Tests must fail because the feature is not yet implemented. Do NOT modify any source files in src/.${footer}`;
+      return `${header}
+
+isolation scope: Only create or modify files in the test/ directory. Tests must fail because the feature is not yet implemented. Do NOT modify any source files in src/.${footer}`;
     }
-    return `${header}isolation scope: Create test files in test/. MAY read src/ files and MAY import from src/ to ensure correct types/interfaces. May create minimal stubs in src/ if needed to make imports work, but do NOT implement real logic.${footer}`;
+    return `${header}
+
+isolation scope: Create test files in test/. MAY read src/ files and MAY import from src/ to ensure correct types/interfaces. May create minimal stubs in src/ if needed to make imports work, but do NOT implement real logic.${footer}`;
   }
   if (role === "implementer") {
-    return `${header}isolation scope: Implement source code in src/ to make tests pass. Do not modify test files. Run tests frequently to track progress.${footer}`;
+    return `${header}
+
+isolation scope: Implement source code in src/ to make tests pass. Do not modify test files. Run tests frequently to track progress.${footer}`;
   }
   if (role === "verifier") {
-    return `${header}isolation scope: Read-only inspection. Review all test results, implementation code, and acceptance criteria compliance. You MAY write a verdict file (.nax-verifier-verdict.json) and apply legitimate fixes if needed.${footer}`;
+    return `${header}
+
+isolation scope: Read-only inspection. Review all test results, implementation code, and acceptance criteria compliance. You MAY write a verdict file (.nax-verifier-verdict.json) and apply legitimate fixes if needed.${footer}`;
   }
   if (role === "single-session") {
-    return `${header}isolation scope: Create test files in test/ directory, then implement source code in src/ to make tests pass. Both directories are in scope for this session.${footer}`;
+    return `${header}
+
+isolation scope: Create test files in test/ directory, then implement source code in src/ to make tests pass. Both directories are in scope for this session.${footer}`;
   }
-  return `${header}isolation scope: You may modify both src/ and test/ files. Write failing tests FIRST, then implement to make them pass.`;
+  return `${header}
+
+isolation scope: You may modify both src/ and test/ files. Write failing tests FIRST, then implement to make them pass.`;
 }
 var TEST_FILTER_RULE;
 var init_isolation2 = __esm(() => {
@@ -24959,76 +24981,76 @@ function buildRoleTaskSection(roleOrVariant, variant) {
     if (v === "standard") {
       return `# Role: Implementer
 
-` + `Your task: make failing tests pass.
+Your task: make failing tests pass.
 
-` + `Instructions:
-` + `- Implement source code in src/ to make tests pass
-` + `- Do NOT modify test files
-` + `- Run tests frequently to track progress
-` + `- When all tests are green, stage and commit ALL changed files with: git commit -m 'feat: <description>'
-` + "- Goal: all tests green, all changes committed";
+Instructions:
+- Implement source code in src/ to make tests pass
+- Do NOT modify test files
+- Run tests frequently to track progress
+- When all tests are green, stage and commit ALL changed files with: git commit -m 'feat: <description>'
+- Goal: all tests green, all changes committed`;
     }
     return `# Role: Implementer (Lite)
 
-` + `Your task: Write tests AND implement the feature in a single session.
+Your task: Write tests AND implement the feature in a single session.
 
-` + `Instructions:
-` + `- Write tests first (test/ directory), then implement (src/ directory)
-` + `- All tests must pass by the end
-` + `- Use Bun test (describe/test/expect)
-` + `- When all tests are green, stage and commit ALL changed files with: git commit -m 'feat: <description>'
-` + "- Goal: all tests green, all criteria met, all changes committed";
+Instructions:
+- Write tests first (test/ directory), then implement (src/ directory)
+- All tests must pass by the end
+- Use Bun test (describe/test/expect)
+- When all tests are green, stage and commit ALL changed files with: git commit -m 'feat: <description>'
+- Goal: all tests green, all criteria met, all changes committed`;
   }
   if (role === "test-writer") {
     return `# Role: Test-Writer
 
-` + `Your task: Write comprehensive failing tests for the feature.
+Your task: Write comprehensive failing tests for the feature.
 
-` + `Instructions:
-` + `- Create test files in test/ directory that cover acceptance criteria
-` + `- Tests must fail initially (RED phase) \u2014 the feature is not yet implemented
-` + `- Use Bun test (describe/test/expect)
-` + `- Write clear test names that document expected behavior
-` + `- Focus on behavior, not implementation details
-` + "- Goal: comprehensive test suite ready for implementation";
+Instructions:
+- Create test files in test/ directory that cover acceptance criteria
+- Tests must fail initially (RED phase) \u2014 the feature is not yet implemented
+- Use Bun test (describe/test/expect)
+- Write clear test names that document expected behavior
+- Focus on behavior, not implementation details
+- Goal: comprehensive test suite ready for implementation`;
   }
   if (role === "verifier") {
     return `# Role: Verifier
 
-` + `Your task: Review and verify the implementation against acceptance criteria.
+Your task: Review and verify the implementation against acceptance criteria.
 
-` + `Instructions:
-` + `- Review all test results \u2014 verify tests pass
-` + `- Check that implementation meets all acceptance criteria
-` + `- Inspect code quality, error handling, and edge cases
-` + `- Verify test modifications (if any) are legitimate fixes
-` + `- Write a detailed verdict with reasoning
-` + "- Goal: provide comprehensive verification and quality assurance";
+Instructions:
+- Review all test results \u2014 verify tests pass
+- Check that implementation meets all acceptance criteria
+- Inspect code quality, error handling, and edge cases
+- Verify test modifications (if any) are legitimate fixes
+- Write a detailed verdict with reasoning
+- Goal: provide comprehensive verification and quality assurance`;
   }
   if (role === "single-session") {
     return `# Role: Single-Session
 
-` + `Your task: Write tests AND implement the feature in a single focused session.
+Your task: Write tests AND implement the feature in a single focused session.
 
-` + `Instructions:
-` + `- Phase 1: Write comprehensive tests (test/ directory)
-` + `- Phase 2: Implement to make all tests pass (src/ directory)
-` + `- Use Bun test (describe/test/expect)
-` + `- Run tests frequently throughout implementation
-` + `- When all tests are green, stage and commit ALL changed files with: git commit -m 'feat: <description>'
-` + "- Goal: all tests passing, all changes committed, full story complete";
+Instructions:
+- Phase 1: Write comprehensive tests (test/ directory)
+- Phase 2: Implement to make all tests pass (src/ directory)
+- Use Bun test (describe/test/expect)
+- Run tests frequently throughout implementation
+- When all tests are green, stage and commit ALL changed files with: git commit -m 'feat: <description>'
+- Goal: all tests passing, all changes committed, full story complete`;
   }
   return `# Role: TDD-Simple
 
-` + `Your task: Write failing tests FIRST, then implement to make them pass.
+Your task: Write failing tests FIRST, then implement to make them pass.
 
-` + `Instructions:
-` + `- RED phase: Write failing tests FIRST for the acceptance criteria
-` + `- RED phase: Run the tests to confirm they fail
-` + `- GREEN phase: Implement the minimum code to make tests pass
-` + `- REFACTOR phase: Refactor while keeping tests green
-` + `- When all tests are green, stage and commit ALL changed files with: git commit -m 'feat: <description>'
-` + "- Goal: all tests passing, feature complete, all changes committed";
+Instructions:
+- RED phase: Write failing tests FIRST for the acceptance criteria
+- RED phase: Run the tests to confirm they fail
+- GREEN phase: Implement the minimum code to make tests pass
+- REFACTOR phase: Refactor while keeping tests green
+- When all tests are green, stage and commit ALL changed files with: git commit -m 'feat: <description>'
+- Goal: all tests passing, feature complete, all changes committed`;
 }
 
 // src/prompts/sections/story.ts
@@ -25046,6 +25068,69 @@ ${story.description}
 ${criteria}`;
 }
 
+// src/prompts/sections/verdict.ts
+function buildVerdictSection(story) {
+  return `# Verdict Instructions
+
+## Write Verdict File
+
+After completing your verification, you **MUST** write a verdict file at the **project root**:
+
+**File:** \`.nax-verifier-verdict.json\`
+
+Set \`approved: true\` when ALL of these conditions are met:
+- All tests pass
+- Implementation is clean and follows conventions
+- All acceptance criteria met
+- Any test modifications by implementer are legitimate fixes
+
+Set \`approved: false\` when ANY of these conditions are true:
+- Tests are failing and you cannot fix them
+- The implementer loosened test assertions to mask bugs
+- Critical acceptance criteria are not met
+- Code quality is poor (security issues, severe bugs, etc.)
+
+**Full JSON schema example** (fill in all fields with real values):
+
+\`\`\`json
+{
+  "version": 1,
+  "approved": true,
+  "tests": {
+    "allPassing": true,
+    "passCount": 42,
+    "failCount": 0
+  },
+  "testModifications": {
+    "detected": false,
+    "files": [],
+    "legitimate": true,
+    "reasoning": "No test files were modified by the implementer"
+  },
+  "acceptanceCriteria": {
+    "allMet": true,
+    "criteria": [
+      { "criterion": "Example criterion", "met": true }
+    ]
+  },
+  "quality": {
+    "rating": "good",
+    "issues": []
+  },
+  "fixes": [],
+  "reasoning": "All tests pass, implementation is clean, all acceptance criteria are met."
+}
+\`\`\`
+
+**Field notes:**
+- \`quality.rating\` must be one of: \`"good"\`, \`"acceptable"\`, \`"poor"\`
+- \`testModifications.files\` \u2014 list any test files the implementer changed
+- \`fixes\` \u2014 list any fixes you applied yourself during this verification session
+- \`reasoning\` \u2014 brief summary of your overall assessment
+
+When done, commit any fixes with message: "fix: verify and adjust ${story.title}"`;
+}
+
 // src/prompts/loader.ts
 var exports_loader = {};
 __export(exports_loader, {
@@ -25121,6 +25206,9 @@ ${this._constitution}`);
     if (this._story) {
       sections.push(buildStorySection(this._story));
     }
+    if (this._role === "verifier" && this._story) {
+      sections.push(buildVerdictSection(this._story));
+    }
     const isolation = this._options.isolation;
     sections.push(buildIsolationSection(this._role, isolation));
     if (this._contextMd) {
@@ -25209,7 +25297,7 @@ async function rollbackToRef(workdir, ref) {
   }
   logger.info("tdd", "Successfully rolled back git changes", { ref });
 }
-async function runTddSession(role, agent, story, config2, workdir, modelTier, beforeRef, contextMarkdown, lite = false, skipIsolation = false) {
+async function runTddSession(role, agent, story, config2, workdir, modelTier, beforeRef, contextMarkdown, lite = false, skipIsolation = false, constitution) {
   const startTime = Date.now();
   let prompt;
   switch (role) {
@@ -25217,7 +25305,7 @@ async function runTddSession(role, agent, story, config2, workdir, modelTier, be
       prompt = await PromptBuilder.for("test-writer", { isolation: lite ? "lite" : "strict" }).withLoader(workdir, config2).story(story).context(contextMarkdown).build();
       break;
     case "implementer":
-      prompt = await PromptBuilder.for("implementer", { variant: lite ? "lite" : "standard" }).withLoader(workdir, config2).story(story).context(contextMarkdown).build();
+      prompt = await PromptBuilder.for("implementer", { variant: lite ? "lite" : "standard" }).withLoader(workdir, config2).story(story).context(contextMarkdown).constitution(constitution).build();
       break;
     case "verifier":
       prompt = await PromptBuilder.for("verifier").withLoader(workdir, config2).story(story).context(contextMarkdown).build();
@@ -25361,7 +25449,7 @@ function isValidVerdict(obj) {
 function coerceVerdict(obj) {
   try {
     const verdictStr = String(obj.verdict ?? "").toUpperCase();
-    const approved = verdictStr === "PASS" || verdictStr === "APPROVED" || obj.approved === true;
+    const approved = verdictStr === "PASS" || verdictStr === "APPROVED" || verdictStr.startsWith("VERIFIED") || verdictStr.includes("ALL ACCEPTANCE CRITERIA MET") || obj.approved === true;
     let passCount = 0;
     let failCount = 0;
     let allPassing = approved;
@@ -25456,13 +25544,24 @@ async function readVerdict(workdir) {
     if (!exists) {
       return null;
     }
+    let rawText;
+    try {
+      rawText = await file2.text();
+    } catch (readErr) {
+      logger.warn("tdd", "Failed to read verifier verdict file", {
+        path: verdictPath,
+        error: String(readErr)
+      });
+      return null;
+    }
     let parsed;
     try {
-      parsed = await file2.json();
+      parsed = JSON.parse(rawText);
     } catch (parseErr) {
       logger.warn("tdd", "Verifier verdict file is not valid JSON \u2014 ignoring", {
         path: verdictPath,
-        error: String(parseErr)
+        error: String(parseErr),
+        rawContent: rawText.slice(0, 1000)
       });
       return null;
     }
@@ -25564,6 +25663,7 @@ async function runThreeSessionTdd(options) {
     workdir,
     modelTier,
     contextMarkdown,
+    constitution,
     dryRun = false,
     lite = false,
     _recursionDepth = 0
@@ -25625,7 +25725,7 @@ async function runThreeSessionTdd(options) {
   let session1;
   if (!isRetry) {
     const testWriterTier = config2.tdd.sessionTiers?.testWriter ?? "balanced";
-    session1 = await runTddSession("test-writer", agent, story, config2, workdir, testWriterTier, session1Ref, contextMarkdown, lite, lite);
+    session1 = await runTddSession("test-writer", agent, story, config2, workdir, testWriterTier, session1Ref, contextMarkdown, lite, lite, constitution);
     sessions.push(session1);
   }
   if (session1 && !session1.success) {
@@ -25687,7 +25787,7 @@ async function runThreeSessionTdd(options) {
   });
   const session2Ref = await captureGitRef(workdir) ?? "HEAD";
   const implementerTier = config2.tdd.sessionTiers?.implementer ?? modelTier;
-  const session2 = await runTddSession("implementer", agent, story, config2, workdir, implementerTier, session2Ref, contextMarkdown, lite, lite);
+  const session2 = await runTddSession("implementer", agent, story, config2, workdir, implementerTier, session2Ref, contextMarkdown, lite, lite, constitution);
   sessions.push(session2);
   if (!session2.success) {
     needsHumanReview = true;
@@ -25706,7 +25806,7 @@ async function runThreeSessionTdd(options) {
   const fullSuiteGatePassed = await runFullSuiteGate(story, config2, workdir, agent, implementerTier, contextMarkdown, lite, logger);
   const session3Ref = await captureGitRef(workdir) ?? "HEAD";
   const verifierTier = config2.tdd.sessionTiers?.verifier ?? "fast";
-  const session3 = await runTddSession("verifier", agent, story, config2, workdir, verifierTier, session3Ref, undefined, false, false);
+  const session3 = await runTddSession("verifier", agent, story, config2, workdir, verifierTier, session3Ref, undefined, false, false, constitution);
   sessions.push(session3);
   const verdict = await readVerdict(workdir);
   await cleanupVerdict(workdir);
@@ -25886,6 +25986,7 @@ var init_execution = __esm(() => {
           workdir: ctx.workdir,
           modelTier: ctx.routing.modelTier,
           contextMarkdown: ctx.contextMarkdown,
+          constitution: ctx.constitution?.content,
           dryRun: false,
           lite: isLiteMode
         });
@@ -25909,6 +26010,28 @@ var init_execution = __esm(() => {
               lite: tddResult.lite,
               failureCategory: tddResult.failureCategory
             });
+            if (ctx.interaction) {
+              try {
+                await ctx.interaction.send({
+                  id: `human-review-${ctx.story.id}-${Date.now()}`,
+                  type: "notify",
+                  featureName: ctx.featureDir ? ctx.featureDir.split("/").pop() ?? "unknown" : "unknown",
+                  storyId: ctx.story.id,
+                  stage: "execution",
+                  summary: `\u26A0\uFE0F Human review needed: ${ctx.story.id}`,
+                  detail: `Story: ${ctx.story.title}
+Reason: ${tddResult.reviewReason ?? "No reason provided"}
+Category: ${tddResult.failureCategory ?? "unknown"}`,
+                  fallback: "continue",
+                  createdAt: Date.now()
+                });
+              } catch (notifyErr) {
+                logger.warn("execution", "Failed to send human review notification", {
+                  storyId: ctx.story.id,
+                  error: String(notifyErr)
+                });
+              }
+            }
           }
           return routeTddFailure(tddResult.failureCategory, isLiteMode, ctx, tddResult.reviewReason);
         }
@@ -25979,16 +26102,11 @@ var init_execution = __esm(() => {
   };
 });
 
-// src/optimizer/types.ts
-function estimateTokens4(text) {
-  return Math.ceil(text.length / 4);
-}
-
 // src/optimizer/noop.optimizer.ts
 class NoopOptimizer {
   name = "noop";
   async optimize(input) {
-    const tokens = estimateTokens4(input.prompt);
+    const tokens = estimateTokens(input.prompt);
     return {
       prompt: input.prompt,
       originalTokens: tokens,
@@ -26004,7 +26122,7 @@ var init_noop_optimizer = () => {};
 class RuleBasedOptimizer {
   name = "rule-based";
   async optimize(input) {
-    const originalTokens = estimateTokens4(input.prompt);
+    const originalTokens = estimateTokens(input.prompt);
     const appliedRules = [];
     let optimized = input.prompt;
     const config2 = {
@@ -26033,13 +26151,13 @@ class RuleBasedOptimizer {
       }
     }
     if (config2.maxPromptTokens) {
-      const currentTokens = estimateTokens4(optimized);
+      const currentTokens = estimateTokens(optimized);
       if (currentTokens > config2.maxPromptTokens) {
         optimized = this.trimToMaxTokens(optimized, config2.maxPromptTokens);
         appliedRules.push("maxPromptTokens");
       }
     }
-    const optimizedTokens = estimateTokens4(optimized);
+    const optimizedTokens = estimateTokens(optimized);
     const savings = originalTokens > 0 ? (originalTokens - optimizedTokens) / originalTokens : 0;
     return {
       prompt: optimized,
@@ -26082,7 +26200,7 @@ ${newContextSection}`);
     return prompt;
   }
   trimToMaxTokens(prompt, maxTokens) {
-    const currentTokens = estimateTokens4(prompt);
+    const currentTokens = estimateTokens(prompt);
     if (currentTokens <= maxTokens) {
       return prompt;
     }
@@ -26221,7 +26339,7 @@ var init_optimizer2 = __esm(() => {
 });
 
 // src/execution/prompts.ts
-function buildBatchPrompt2(stories, contextMarkdown, constitution) {
+function buildBatchPrompt(stories, contextMarkdown, constitution) {
   const storyPrompts = stories.map((story, idx) => {
     return `## Story ${idx + 1}: ${story.id} \u2014 ${story.title}
 
@@ -26279,7 +26397,7 @@ var init_prompt = __esm(() => {
       const isBatch = ctx.stories.length > 1;
       let prompt;
       if (isBatch) {
-        prompt = buildBatchPrompt2(ctx.stories, ctx.contextMarkdown, ctx.constitution);
+        prompt = buildBatchPrompt(ctx.stories, ctx.contextMarkdown, ctx.constitution);
       } else {
         const role = ctx.routing.testStrategy === "tdd-simple" ? "tdd-simple" : "single-session";
         const builder = PromptBuilder.for(role).withLoader(ctx.workdir, ctx.config).story(ctx.story).context(ctx.contextMarkdown).constitution(ctx.constitution?.content);
@@ -26567,7 +26685,6 @@ ${rectificationPrompt}`;
 var init_rectification_loop = __esm(() => {
   init_agents();
   init_config();
-  init_progress();
   init_test_output_parser();
   init_logger2();
   init_prd();