ai-spec-dev 0.33.0 → 0.36.1

package/dist/index.d.mts

@@ -137,7 +137,7 @@ declare function createProvider(providerName: string, apiKey: string, modelName?
 declare class SpecGenerator {
     private provider;
     constructor(provider: AIProvider);
-    generateSpec(idea: string, context?: ProjectContext): Promise<string>;
+    generateSpec(idea: string, context?: ProjectContext, architectureDecision?: string): Promise<string>;
 }
 
 declare class SpecRefiner {
@@ -157,6 +157,15 @@ interface SpecTask {
     layer: TaskLayer;
     filesToTouch: string[];
     acceptanceCriteria: string[];
+    /**
+     * Concrete, runnable verification steps — each entry is a specific command
+     * or action with an expected observable outcome.
+     * Examples:
+     *   "POST /api/orders with body {...} → HTTP 201, body contains {id, status:'pending'}"
+     *   "npm run build exits 0 with no TypeScript errors"
+     *   "GET /api/orders/:id returns 404 when id does not exist"
+     */
+    verificationSteps: string[];
     dependencies: string[];
     priority: TaskPriority;
     /** Runtime checkpoint — set by code generator, persisted to tasks file */
@@ -174,6 +183,21 @@ declare function loadTasksForSpec(specFilePath: string): Promise<SpecTask[] | nu
 /** Persist a single task's status to the tasks JSON file (checkpoint). */
 declare function updateTaskStatus(specFilePath: string, taskId: string, status: TaskStatus): Promise<void>;
 
+/**
+ * Extract a behavioral contract summary from a generated file.
+ *
+ * Captures:
+ * - export interface / type / enum — full multi-line blocks (the actual TS contracts)
+ * - export function / const / class — opening signature line
+ * - Throw statements — error codes & validation constraints
+ *
+ * Multi-line blocks (interface, type alias with {}) are captured in full so
+ * downstream tasks see complete method signatures and field shapes, not just
+ * a single-line "export interface Foo {" that conveys nothing.
+ *
+ * Falls back to first 3000 chars for CommonJS files with no explicit exports.
+ */
+declare function extractBehavioralContract(content: string): string;
 type CodeGenMode = "claude-code" | "api" | "plan";
 interface CodeGenOptions {
     /** Run claude non-interactively via -p flag (saves tokens, good for automation) */
@@ -206,6 +230,10 @@ declare class CodeGenerator {
 }
 declare function printTaskProgress(completed: number, total: number, task: SpecTask, mode: "run" | "skip"): void;
 
+/** Extract compliance score from Pass 0 output (looks for "ComplianceScore: X/10") */
+declare function extractComplianceScore(complianceText: string): number;
+/** Count missing requirements from Pass 0 output */
+declare function extractMissingCount(complianceText: string): number;
 declare class CodeReviewer {
     private provider;
     private projectRoot;
@@ -213,8 +241,9 @@ declare class CodeReviewer {
     private getGitDiff;
     private getDiffStats;
     /**
-     * Three-pass review:
-     *   Pass 1 — architecture (spec compliance, layer separation, auth)
+     * Four-pass review:
+     *   Pass 0 — spec compliance (exhaustive requirement coverage audit)
+     *   Pass 1 — architecture (layer separation, contract design, auth posture)
      *   Pass 2 — implementation details (validation, error handling, edge cases)
      *             + historical issue recurrence check
      *   Pass 3 — impact assessment + code complexity
@@ -247,7 +276,7 @@ declare function printConstitutionHint(exists: boolean): void;
  * from task-generator.ts (which already imports AIProvider from spec-generator).
  */
 
-declare function generateSpecWithTasks(provider: AIProvider, idea: string, context?: ProjectContext): Promise<{
+declare function generateSpecWithTasks(provider: AIProvider, idea: string, context?: ProjectContext, architectureDecision?: string): Promise<{
     spec: string;
     tasks: SpecTask[];
 }>;
@@ -267,4 +296,4 @@ declare class GitWorktreeManager {
     createWorktree(idea: string): Promise<string | null>;
 }
 
-export { type AIProvider, CONSTITUTION_FILE, ClaudeProvider, type CodeGenMode, type CodeGenOptions, CodeGenerator, CodeReviewer, ConstitutionGenerator, ContextLoader, DEFAULT_MODELS, ENV_KEY_MAP, FRONTEND_FRAMEWORKS, GeminiProvider, GitWorktreeManager, MiMoProvider, OpenAICompatibleProvider, PROVIDER_CATALOG, type ProjectContext, type ProviderMeta, SUPPORTED_PROVIDERS, type SharedConfigFile, SpecGenerator, SpecRefiner, type SpecTask, TaskGenerator, type TaskLayer, type TaskPriority, type TaskStatus, buildTaskPrompt, createProvider, generateSpecWithTasks, isFrontendDeps, loadConstitution, loadTasksForSpec, printConstitutionHint, printTaskProgress, printTasks, updateTaskStatus };
+export { type AIProvider, CONSTITUTION_FILE, ClaudeProvider, type CodeGenMode, type CodeGenOptions, CodeGenerator, CodeReviewer, ConstitutionGenerator, ContextLoader, DEFAULT_MODELS, ENV_KEY_MAP, FRONTEND_FRAMEWORKS, GeminiProvider, GitWorktreeManager, MiMoProvider, OpenAICompatibleProvider, PROVIDER_CATALOG, type ProjectContext, type ProviderMeta, SUPPORTED_PROVIDERS, type SharedConfigFile, SpecGenerator, SpecRefiner, type SpecTask, TaskGenerator, type TaskLayer, type TaskPriority, type TaskStatus, buildTaskPrompt, createProvider, extractBehavioralContract, extractComplianceScore, extractMissingCount, generateSpecWithTasks, isFrontendDeps, loadConstitution, loadTasksForSpec, printConstitutionHint, printTaskProgress, printTasks, updateTaskStatus };

package/dist/index.d.ts

@@ -137,7 +137,7 @@ declare function createProvider(providerName: string, apiKey: string, modelName?
 declare class SpecGenerator {
     private provider;
     constructor(provider: AIProvider);
-    generateSpec(idea: string, context?: ProjectContext): Promise<string>;
+    generateSpec(idea: string, context?: ProjectContext, architectureDecision?: string): Promise<string>;
 }
 
 declare class SpecRefiner {
@@ -157,6 +157,15 @@ interface SpecTask {
     layer: TaskLayer;
     filesToTouch: string[];
     acceptanceCriteria: string[];
+    /**
+     * Concrete, runnable verification steps — each entry is a specific command
+     * or action with an expected observable outcome.
+     * Examples:
+     *   "POST /api/orders with body {...} → HTTP 201, body contains {id, status:'pending'}"
+     *   "npm run build exits 0 with no TypeScript errors"
+     *   "GET /api/orders/:id returns 404 when id does not exist"
+     */
+    verificationSteps: string[];
     dependencies: string[];
     priority: TaskPriority;
     /** Runtime checkpoint — set by code generator, persisted to tasks file */
@@ -174,6 +183,21 @@ declare function loadTasksForSpec(specFilePath: string): Promise<SpecTask[] | nu
 /** Persist a single task's status to the tasks JSON file (checkpoint). */
 declare function updateTaskStatus(specFilePath: string, taskId: string, status: TaskStatus): Promise<void>;
 
+/**
+ * Extract a behavioral contract summary from a generated file.
+ *
+ * Captures:
+ * - export interface / type / enum — full multi-line blocks (the actual TS contracts)
+ * - export function / const / class — opening signature line
+ * - Throw statements — error codes & validation constraints
+ *
+ * Multi-line blocks (interface, type alias with {}) are captured in full so
+ * downstream tasks see complete method signatures and field shapes, not just
+ * a single-line "export interface Foo {" that conveys nothing.
+ *
+ * Falls back to first 3000 chars for CommonJS files with no explicit exports.
+ */
+declare function extractBehavioralContract(content: string): string;
 type CodeGenMode = "claude-code" | "api" | "plan";
 interface CodeGenOptions {
     /** Run claude non-interactively via -p flag (saves tokens, good for automation) */
@@ -206,6 +230,10 @@ declare class CodeGenerator {
 }
 declare function printTaskProgress(completed: number, total: number, task: SpecTask, mode: "run" | "skip"): void;
 
+/** Extract compliance score from Pass 0 output (looks for "ComplianceScore: X/10") */
+declare function extractComplianceScore(complianceText: string): number;
+/** Count missing requirements from Pass 0 output */
+declare function extractMissingCount(complianceText: string): number;
 declare class CodeReviewer {
     private provider;
     private projectRoot;
@@ -213,8 +241,9 @@ declare class CodeReviewer {
     private getGitDiff;
     private getDiffStats;
     /**
-     * Three-pass review:
-     *   Pass 1 — architecture (spec compliance, layer separation, auth)
+     * Four-pass review:
+     *   Pass 0 — spec compliance (exhaustive requirement coverage audit)
+     *   Pass 1 — architecture (layer separation, contract design, auth posture)
      *   Pass 2 — implementation details (validation, error handling, edge cases)
      *             + historical issue recurrence check
      *   Pass 3 — impact assessment + code complexity
@@ -247,7 +276,7 @@ declare function printConstitutionHint(exists: boolean): void;
  * from task-generator.ts (which already imports AIProvider from spec-generator).
  */
 
-declare function generateSpecWithTasks(provider: AIProvider, idea: string, context?: ProjectContext): Promise<{
+declare function generateSpecWithTasks(provider: AIProvider, idea: string, context?: ProjectContext, architectureDecision?: string): Promise<{
     spec: string;
     tasks: SpecTask[];
 }>;
@@ -267,4 +296,4 @@ declare class GitWorktreeManager {
     createWorktree(idea: string): Promise<string | null>;
 }
 
-export { type AIProvider, CONSTITUTION_FILE, ClaudeProvider, type CodeGenMode, type CodeGenOptions, CodeGenerator, CodeReviewer, ConstitutionGenerator, ContextLoader, DEFAULT_MODELS, ENV_KEY_MAP, FRONTEND_FRAMEWORKS, GeminiProvider, GitWorktreeManager, MiMoProvider, OpenAICompatibleProvider, PROVIDER_CATALOG, type ProjectContext, type ProviderMeta, SUPPORTED_PROVIDERS, type SharedConfigFile, SpecGenerator, SpecRefiner, type SpecTask, TaskGenerator, type TaskLayer, type TaskPriority, type TaskStatus, buildTaskPrompt, createProvider, generateSpecWithTasks, isFrontendDeps, loadConstitution, loadTasksForSpec, printConstitutionHint, printTaskProgress, printTasks, updateTaskStatus };
+export { type AIProvider, CONSTITUTION_FILE, ClaudeProvider, type CodeGenMode, type CodeGenOptions, CodeGenerator, CodeReviewer, ConstitutionGenerator, ContextLoader, DEFAULT_MODELS, ENV_KEY_MAP, FRONTEND_FRAMEWORKS, GeminiProvider, GitWorktreeManager, MiMoProvider, OpenAICompatibleProvider, PROVIDER_CATALOG, type ProjectContext, type ProviderMeta, SUPPORTED_PROVIDERS, type SharedConfigFile, SpecGenerator, SpecRefiner, type SpecTask, TaskGenerator, type TaskLayer, type TaskPriority, type TaskStatus, buildTaskPrompt, createProvider, extractBehavioralContract, extractComplianceScore, extractMissingCount, generateSpecWithTasks, isFrontendDeps, loadConstitution, loadTasksForSpec, printConstitutionHint, printTaskProgress, printTasks, updateTaskStatus };