mycontext-cli 4.2.6 → 4.2.7

package/dist/doctor/rules/typescript-rules.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"typescript-rules.js","sourceRoot":"","sources":["../../../src/doctor/rules/typescript-rules.ts"],"names":[],"mappings":";;;AAMA,qEAAqE;AAErE,SAAS,IAAI,CACX,IAAgB,EAChB,QAAgB,EAChB,OAAe,EACf,OAAgE,EAAE;IAElE,OAAO;QACL,MAAM,EAAE,IAAI,CAAC,EAAE;QACf,QAAQ;QACR,IAAI,EAAE,IAAI,CAAC,IAAI;QACf,QAAQ,EAAE,IAAI,CAAC,QAAQ;QACvB,OAAO;QACP,IAAI,EAAE,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI;QAC5B,WAAW,EAAE,IAAI,CAAC,WAAW,IAAI,KAAK;KACvC,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,SAAS,eAAe,CAAC,OAAe,EAAE,OAAe;IACvD,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAClC,MAAM,WAAW,GAA2C,EAAE,CAAC;IAE/D,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;QAC5B,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QACpC,IAAI,OAAO,EAAE,CAAC;YACZ,WAAW,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,GAAG,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAC3D,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,OAAO,WAAW,CAAC;AACrB,CAAC;AAED,qEAAqE;AAErE,MAAM,UAAU,GAAe;IAC7B,EAAE,EAAE,yBAAyB;IAC7B,IAAI,EAAE,2BAA2B;IACjC,QAAQ,EAAE,MAAM;IAChB,QAAQ,EAAE,SAAS;IACnB,WAAW,EAAE,8EAA8E;IAC3F,IAAI,EAAE,gHAAgH;IACtH,SAAS,EAAE,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC7B,KAAK,CAAC,KAAK,CAAC,GAAG;QACb,MAAM,OAAO,GAAiB,EAAE,CAAC;QAEjC,uCAAuC;QACvC,MAAM,KAAK,GAAG,MAAM,GAAG,CAAC,SAAS,CAAC,gBAAgB,CAAC,CAAC;QAEpD,mDAAmD;QACnD,MAAM,YAAY,GAAG,8BAA8B,CAAC;QAEpD,0CAA0C;QAC1C,MAAM,SAAS,GAA4D,EAAE,CAAC;QAE9E,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,MAAM,OAAO,GAAG,MAAM,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;YACzC,IAAI,CAAC,OAAO;gBAAE,SAAS;YAEvB,MAAM,WAAW,GAAG,eAAe,CAAC,OAAO,EAAE,YAAY,CAAC,CAAC;YAE3D,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAC3B,SAAS,CAAC,IAAI,CAAC;oBACb,IAAI;oBACJ,KAAK,EAAE,WAAW,CAAC,MAAM;oBACzB,KAAK,EAAE,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;iBACpC,CAAC,CAAC;gBAEH,MAAM,eAAe,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC;gBACvC,IAAI,eAAe,EAAE,CAAC;oBACpB,OAAO,CAAC,IAAI,CACV,IAAI,CACF,IAAI,EACJ,IAAI,EACJ,SAAS,WAAW,CAAC,MAAM,iBAAiB,WAAW,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,EAC/E;wBACE,IAAI,EAAE,eAAe,CAAC,IAAI;wBAC1B,IAAI,EAAE,gJAAgJ;qBACvJ,CACF,CACF,CAAC;gBACJ,CAAC;YACH,CAAC;QACH,CAAC;QAED,OAAO,OAAO,CAAC;IACjB,CAAC;CACF,CAAC;AAEF,MAAM,uBAAuB,GAAe;IAC1C,EAAE,EAAE,yCAAyC;IAC7C,IAAI,EAAE,oCAAoC;IAC1C,QAAQ,EAAE,MAAM;IAChB,QAAQ,EAAE,OAAO;IACjB,WAAW,EAAE,+EAA+E;IAC5F,IAAI,EAAE,yFAAyF;IAC/F,SAAS,EAAE,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC7B,KAAK,CAAC,KAAK,CAAC,GAAG;QACb,MAAM,OAAO,GAAiB,EAAE,CAAC;QAEjC,4BAA4B;QAC5B,MAAM,KAAK,GAAG,MAAM,GAAG,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;QAE7C,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,MAAM,OAAO,GAAG,MAAM,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;YACzC,IAAI,CAAC,OAAO;gBAAE,SAAS;YAEvB,sCAAsC;YACtC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,kBAAkB,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,aAAa,CAAC,EAAE,CAAC;gBAC9E,SAAS;YACX,CAAC;YAED,wCAAwC;YACxC,MAAM,mBAAmB,GAAG,+BAA+B,CAAC;YAC5D,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,mBAAmB,CAAC,CAAC,CAAC;YAElE,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;gBAC5B,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;gBAEzB,4CAA4C;gBAC5C,MAAM,eAAe,GAAG,IAAI,MAAM,CAAC,yBAAyB,OAAO,EAAE,EAAE,GAAG,CAAC,CAAC;gBAC5E,IAAI,eAAe,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;oBAClC,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;oBAClC,MAAM,OAAO,GAAG,KAAK,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;oBAErE,OAAO,CAAC,IAAI,CACV,IAAI,CACF,IAAI,EACJ,IAAI,EACJ,IAAI,OAAO,oDAAoD,EAC/D;wBACE,IAAI,EAAE,OAAO;wBACb,IAAI,EAAE,iBAAiB,OAAO,0BAA0B,OAAO,yFAAyF;qBACzJ,CACF,CACF,CAAC;gBACJ,CAAC;YACH,CAAC;QACH,CAAC;QAED,OAAO,OAAO,CAAC;IACjB,CAAC;CACF,CAAC;AAEF,MAAM,yBAAyB,GAAe;IAC5C,EAAE,EAAE,wCAAwC;IAC5C,IAAI,EAAE,6BAA6B;IACnC,QAAQ,EAAE,MAAM;IAChB,QAAQ,EAAE,SAAS;IACnB,WAAW,EAAE,yEAAyE;IACtF,IAAI,EAAE,mGAAmG;IACzG,SAAS,EAAE,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC7B,KAAK,CAAC,KAAK,CAAC,GAAG;QACb,MAAM,OAAO,GAAiB,EAAE,CAAC;QAEjC,yDAAyD;QACzD,MAAM,WAAW,GAAG,MAAM,GAAG,CAAC,SAAS,CAAC,sBAAsB,CAAC,CAAC;QAChE,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC7B,OAAO,OAAO,CAAC,CAAC,6BAA6B;QAC/C,CAAC;QAED,MAAM,UAAU,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC;QAClC,IAAI,CAAC,UAAU;YAAE,OAAO,OAAO,CAAC;QAEhC,MAAM,aAAa,GAAG,MAAM,GAAG,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;QACrD,IAAI,CAAC,aAAa;YAAE,OAAO,OAAO,CAAC;QAEnC,wGAAwG;QACxG,MAAM,iBAAiB,GAAG,sCAAsC,CAAC;QACjE,MAAM,WAAW,GAAG,IAAI,GAAG,EAAU,CAAC;QACtC,IAAI,KAAK,CAAC;QAEV,OAAO,CAAC,KAAK,GAAG,iBAAiB,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;YAChE,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;YAC1B,IAAI,QAAQ,EAAE,CAAC;gBACb,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;YAC5B,CAAC;QACH,CAAC;QAED,IAAI,WAAW,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;YAC3B,OAAO,OAAO,CAAC,CAAC,2BAA2B;QAC7C,CAAC;QAED,wCAAwC;QACxC,MAAM,SAAS,GAAG,MAAM,GAAG,CAAC,SAAS,CAAC,kBAAkB,CAAC,CAAC;QAE1D,KAAK,MAAM,IAAI,IAAI,SAAS,EAAE,CAAC;YAC7B,IAAI,IAAI,KAAK,UAAU;gBAAE,SAAS,CAAC,8BAA8B;YAEjE,MAAM,OAAO,GAAG,MAAM,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;YACzC,IAAI,CAAC,OAAO;gBAAE,SAAS;YAEvB,8CAA8C;YAC9C,MAAM,eAAe,GAAG,sCAAsC,CAAC;YAC/D,IAAI,SAAiC,CAAC;YAEtC,OAAO,CAAC,SAAS,GAAG,eAAe,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;gBAC5D,MAAM,QAAQ,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;gBAE9B,IAAI,QAAQ,IAAI,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;oBAC1C,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;oBAClC,MAAM,SAAS,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;oBAC/B,MAAM,OAAO,GAAG,KAAK,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,CAAC;oBAEtE,OAAO,CAAC,IAAI,CACV,IAAI,CACF,IAAI,EACJ,IAAI,EACJ,SAAS,QAAQ,+BAA+B,UAAU,EAAE,EAC5D;wBACE,IAAI,EAAE,OAAO;wBACb,IAAI,EAAE,2CAA2C,QAAQ,UAAU,UAAU,kDAAkD;qBAChI,CACF,CACF,CAAC;gBACJ,CAAC;YACH,CAAC;QACH,CAAC;QAED,OAAO,OAAO,CAAC;IACjB,CAAC;CACF,CAAC;AAEF,qEAAqE;AAExD,QAAA,eAAe,GAAiB;IAC3C,UAAU;IACV,uBAAuB;IACvB,yBAAyB;CAC1B,CAAC"}

package/dist/package.json

@@ -1,6 +1,6 @@
 {
   "name": "mycontext-cli",
-  "version": "4.2.6",
+  "version": "4.2.7",
   "description": "CLI tool for spec-driven development - Generate comprehensive context, visual screens, and scaffolding for AI-powered coding",
   "main": "dist/cli.js",
   "bin": {

package/dist/services/InferenceEngine.d.ts

@@ -0,0 +1,41 @@
+/**
+ * InferenceEngine
+ *
+ * LLM-powered inference system that auto-completes high-confidence tasks,
+ * self-critiques its own work, and learns from user corrections.
+ */
+import type { ASL, InferenceTask, InferenceResult, SelfCritique } from "../types/asl";
+export declare class InferenceEngine {
+    private learningContext;
+    private aiCore;
+    constructor();
+    /**
+     * Run LLM-based inference for a task
+     */
+    infer(task: InferenceTask, currentASL: Partial<ASL>, completedTasks: InferenceTask[]): Promise<InferenceResult>;
+    /**
+     * Self-critique: LLM validates its own inference
+     */
+    selfCritique(inference: InferenceResult, currentASL: Partial<ASL>): Promise<SelfCritique>;
+    /**
+     * Feed inference results to downstream tasks
+     * Updates confidence and dependencies
+     */
+    feedToNextTasks(completedTask: InferenceTask, pendingTasks: InferenceTask[]): InferenceTask[];
+    /**
+     * Learn from user correction
+     */
+    learnFromCorrection(taskId: string, inferredValue: any, correctedValue: any, reason?: string): Promise<void>;
+    /**
+     * Detect patterns from user corrections
+     */
+    private detectPatterns;
+    /**
+     * Get learning context for prompt injection
+     */
+    getLearningContext(): string;
+    private buildInferencePrompt;
+    private buildCritiquePrompt;
+    private buildPatternDetectionPrompt;
+}
+//# sourceMappingURL=InferenceEngine.d.ts.map

package/dist/services/InferenceEngine.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"InferenceEngine.d.ts","sourceRoot":"","sources":["../../src/services/InferenceEngine.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EACV,GAAG,EACH,aAAa,EACb,eAAe,EACf,YAAY,EAIb,MAAM,cAAc,CAAC;AAGtB,qBAAa,eAAe;IAC1B,OAAO,CAAC,eAAe,CAAkB;IACzC,OAAO,CAAC,MAAM,CAAS;;IAgBvB;;OAEG;IACG,KAAK,CACT,IAAI,EAAE,aAAa,EACnB,UAAU,EAAE,OAAO,CAAC,GAAG,CAAC,EACxB,cAAc,EAAE,aAAa,EAAE,GAC9B,OAAO,CAAC,eAAe,CAAC;IA8B3B;;OAEG;IACG,YAAY,CAChB,SAAS,EAAE,eAAe,EAC1B,UAAU,EAAE,OAAO,CAAC,GAAG,CAAC,GACvB,OAAO,CAAC,YAAY,CAAC;IA8BxB;;;OAGG;IACH,eAAe,CACb,aAAa,EAAE,aAAa,EAC5B,YAAY,EAAE,aAAa,EAAE,GAC5B,aAAa,EAAE;IAqBlB;;OAEG;IACG,mBAAmB,CACvB,MAAM,EAAE,MAAM,EACd,aAAa,EAAE,GAAG,EAClB,cAAc,EAAE,GAAG,EACnB,MAAM,CAAC,EAAE,MAAM,GACd,OAAO,CAAC,IAAI,CAAC;IAehB;;OAEG;YACW,cAAc;IA6B5B;;OAEG;IACH,kBAAkB,IAAI,MAAM;IA6B5B,OAAO,CAAC,oBAAoB;IAyD5B,OAAO,CAAC,mBAAmB;IA0D3B,OAAO,CAAC,2BAA2B;CAmCpC"}

package/dist/services/InferenceEngine.js

@@ -0,0 +1,307 @@
+"use strict";
+/**
+ * InferenceEngine
+ *
+ * LLM-powered inference system that auto-completes high-confidence tasks,
+ * self-critiques its own work, and learns from user corrections.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.InferenceEngine = void 0;
+const AICore_1 = require("../core/ai/AICore");
+class InferenceEngine {
+    constructor() {
+        this.learningContext = {
+            corrections: [],
+            preferences: {},
+            patterns: [],
+        };
+        // Initialize AICore
+        this.aiCore = AICore_1.AICore.getInstance({
+            fallbackEnabled: true,
+            workingDirectory: process.cwd(),
+        });
+    }
+    /**
+     * Run LLM-based inference for a task
+     */
+    async infer(task, currentASL, completedTasks) {
+        const prompt = this.buildInferencePrompt(task, currentASL, completedTasks);
+        const response = await this.aiCore.generateText(prompt, {
+            temperature: 0.3, // Lower temperature for more deterministic inference
+        });
+        let parsedResult;
+        try {
+            // Strip markdown code blocks if present
+            let cleanedResponse = response.trim();
+            if (cleanedResponse.startsWith('```json')) {
+                cleanedResponse = cleanedResponse.replace(/^```json\s*/m, '').replace(/\s*```$/m, '');
+            }
+            else if (cleanedResponse.startsWith('```')) {
+                cleanedResponse = cleanedResponse.replace(/^```\s*/m, '').replace(/\s*```$/m, '');
+            }
+            parsedResult = JSON.parse(cleanedResponse);
+        }
+        catch (error) {
+            throw new Error(`Failed to parse inference result: ${response}`);
+        }
+        return {
+            task,
+            result: parsedResult.asl,
+            confidence: parsedResult.confidence,
+            reasoning: parsedResult.reasoning,
+        };
+    }
+    /**
+     * Self-critique: LLM validates its own inference
+     */
+    async selfCritique(inference, currentASL) {
+        const prompt = this.buildCritiquePrompt(inference, currentASL);
+        const response = await this.aiCore.generateText(prompt, {
+            temperature: 0.2, // Even lower temperature for critique
+        });
+        let parsedCritique;
+        try {
+            // Strip markdown code blocks if present
+            let cleanedResponse = response.trim();
+            if (cleanedResponse.startsWith('```json')) {
+                cleanedResponse = cleanedResponse.replace(/^```json\s*/m, '').replace(/\s*```$/m, '');
+            }
+            else if (cleanedResponse.startsWith('```')) {
+                cleanedResponse = cleanedResponse.replace(/^```\s*/m, '').replace(/\s*```$/m, '');
+            }
+            parsedCritique = JSON.parse(cleanedResponse);
+        }
+        catch (error) {
+            throw new Error(`Failed to parse critique result: ${response}`);
+        }
+        return {
+            isValid: parsedCritique.isValid,
+            confidence: parsedCritique.confidence,
+            issues: parsedCritique.issues || [],
+            suggestions: parsedCritique.suggestions || [],
+        };
+    }
+    /**
+     * Feed inference results to downstream tasks
+     * Updates confidence and dependencies
+     */
+    feedToNextTasks(completedTask, pendingTasks) {
+        return pendingTasks.map((task) => {
+            // Check if this task depends on the completed task
+            if (task.dependencies.includes(completedTask.id)) {
+                // Boost confidence if dependency completed successfully
+                const confidenceBoost = completedTask.confidence >= 90 ? 10 : 5;
+                const newConfidence = Math.min(100, task.confidence + confidenceBoost);
+                return {
+                    ...task,
+                    confidence: newConfidence,
+                    autoInfer: newConfidence >= 90,
+                    needsConfirmation: newConfidence >= 70 && newConfidence < 90,
+                    needsUserInput: newConfidence < 70,
+                };
+            }
+            return task;
+        });
+    }
+    /**
+     * Learn from user correction
+     */
+    async learnFromCorrection(taskId, inferredValue, correctedValue, reason) {
+        const correction = {
+            taskId,
+            inferredValue,
+            correctedValue,
+            reason,
+            timestamp: new Date(),
+        };
+        this.learningContext.corrections.push(correction);
+        // Detect patterns from corrections
+        await this.detectPatterns();
+    }
+    /**
+     * Detect patterns from user corrections
+     */
+    async detectPatterns() {
+        if (this.learningContext.corrections.length < 2)
+            return;
+        const prompt = this.buildPatternDetectionPrompt();
+        const response = await this.aiCore.generateText(prompt, {
+            temperature: 0.3,
+        });
+        let parsedPatterns;
+        try {
+            // Strip markdown code blocks if present
+            let cleanedResponse = response.trim();
+            if (cleanedResponse.startsWith('```json')) {
+                cleanedResponse = cleanedResponse.replace(/^```json\s*/m, '').replace(/\s*```$/m, '');
+            }
+            else if (cleanedResponse.startsWith('```')) {
+                cleanedResponse = cleanedResponse.replace(/^```\s*/m, '').replace(/\s*```$/m, '');
+            }
+            parsedPatterns = JSON.parse(cleanedResponse);
+        }
+        catch (error) {
+            return; // Silently fail pattern detection
+        }
+        if (parsedPatterns.patterns && Array.isArray(parsedPatterns.patterns)) {
+            this.learningContext.patterns = parsedPatterns.patterns;
+        }
+    }
+    /**
+     * Get learning context for prompt injection
+     */
+    getLearningContext() {
+        if (this.learningContext.corrections.length === 0) {
+            return "";
+        }
+        const corrections = this.learningContext.corrections
+            .map((c) => `- User corrected "${c.inferredValue}" to "${c.correctedValue}"${c.reason ? ` (reason: ${c.reason})` : ""}`)
+            .join("\n");
+        const patterns = this.learningContext.patterns.length > 0
+            ? "\n\nDetected patterns:\n" +
+                this.learningContext.patterns
+                    .map((p) => `- ${p.description} (confidence: ${p.confidence}%)`)
+                    .join("\n")
+            : "";
+        return `\n\n## Learning Context (from previous corrections):\n${corrections}${patterns}\n\nPlease apply these learnings to your inference.`;
+    }
+    // ============================================================================
+    // PROMPT BUILDING
+    // ============================================================================
+    buildInferencePrompt(task, currentASL, completedTasks) {
+        const learningContext = this.getLearningContext();
+        return `You are an expert software architect helping to build a complete application specification (ASL - Abstract Specification Language).
+
+## Task
+${task.description}
+
+## Current ASL State
+\`\`\`json
+${JSON.stringify(currentASL, null, 2)}
+\`\`\`
+
+## Completed Tasks (for context)
+${completedTasks.map((t) => `- ${t.description} (confidence: ${t.confidence}%)`).join("\n")}
+${learningContext}
+
+## Your Task
+Infer the missing ASL sections for: "${task.description}"
+
+Consider:
+1. What entities, fields, pages, or permissions are needed?
+2. What are the standard conventions for this type of application?
+3. What can be reasonably inferred from the current state and completed tasks?
+4. What patterns exist in similar applications?
+
+## Guidelines
+1. **Entities**: Must have 'name' and 'fields'. Fields must have 'name' and 'type' (string, number, boolean, date, json, ref).
+2. **Auth**: If needed, provider must be 'email', 'oauth-github', 'oauth-google', or 'magic-link'.
+3. **Permissions**: Each permission must have 'role', 'resource' (entity name or '*'), and 'actions' (array of: 'create', 'read', 'update', 'delete', 'manage'). **DO NOT USE 'can'**.
+4. **Pages**: Must have 'path' (e.g., '/dashboard'), 'name' (component name), 'type' ('page' or 'layout').
+
+Return a JSON response with:
+\`\`\`json
+{
+  "asl": {
+    // Partial ASL object with your inferred sections
+    // Only include the sections you're inferring for this task
+  },
+  "confidence": 85, // 0-100 confidence score
+  "reasoning": "I inferred X because Y. Standard convention suggests Z."
+}
+\`\`\`
+
+Be conservative with confidence:
+- 95-100%: Extremely certain (e.g., blog → needs Post entity)
+- 85-94%: Very confident (e.g., blog → likely needs Comment entity)
+- 70-84%: Moderately confident (e.g., auth method could be email or OAuth)
+- Below 70%: Too ambiguous, user input needed
+
+Only return JSON, no other text.`;
+    }
+    buildCritiquePrompt(inference, currentASL) {
+        return `You are a critical reviewer validating an AI inference.
+
+## Original Task
+${inference.task.description}
+
+## Inference Made
+\`\`\`json
+${JSON.stringify(inference.result, null, 2)}
+\`\`\`
+
+## Reasoning Provided
+${inference.reasoning}
+
+## Confidence Claimed
+${inference.confidence}%
+
+## Current ASL State
+\`\`\`json
+${JSON.stringify(currentASL, null, 2)}
+\`\`\`
+
+## Your Task
+Critically evaluate this inference. Look for:
+1. **Logical errors**: Does the inference make sense?
+2. **Inconsistencies**: Does it conflict with existing ASL?
+3. **Over-confidence**: Is the confidence score justified?
+4. **Missing context**: Are there assumptions that might be wrong?
+5. **Type safety**: Are the field types appropriate?
+
+Return a JSON response:
+\`\`\`json
+{
+  "isValid": true, // or false
+  "confidence": 85, // Updated confidence (can be lower or higher)
+  "issues": [
+    {
+      "severity": "error", // "error" | "warning" | "info"
+      "message": "Description of the issue",
+      "field": "entities.User.fields[0]", // Optional: specific field path
+      "suggestion": "How to fix it"
+    }
+  ],
+  "suggestions": [
+    "Consider adding X",
+    "Y might be better as Z"
+  ]
+}
+\`\`\`
+
+Be harsh but fair. Drop confidence if there's any doubt.
+
+Only return JSON, no other text.`;
+    }
+    buildPatternDetectionPrompt() {
+        const corrections = this.learningContext.corrections
+            .map((c, idx) => `${idx + 1}. Task: ${c.taskId}\n   Inferred: ${JSON.stringify(c.inferredValue)}\n   Corrected: ${JSON.stringify(c.correctedValue)}${c.reason ? `\n   Reason: ${c.reason}` : ""}`)
+            .join("\n\n");
+        return `Analyze these user corrections and detect patterns:
+
+${corrections}
+
+Look for patterns in:
+1. **Terminology**: User prefers certain terms (e.g., "article" instead of "post")
+2. **Structure**: User prefers certain data structures (e.g., nested vs flat)
+3. **Preferences**: User has specific preferences (e.g., always use OAuth instead of email/password)
+
+Return JSON:
+\`\`\`json
+{
+  "patterns": [
+    {
+      "type": "terminology", // "terminology" | "structure" | "preference"
+      "description": "User prefers 'article' over 'post'",
+      "examples": ["post → article", "blog post → article"],
+      "confidence": 95 // How confident are you this is a real pattern
+    }
+  ]
+}
+\`\`\`
+
+Only return JSON, no other text.`;
+    }
+}
+exports.InferenceEngine = InferenceEngine;
+//# sourceMappingURL=InferenceEngine.js.map

package/dist/services/InferenceEngine.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"InferenceEngine.js","sourceRoot":"","sources":["../../src/services/InferenceEngine.ts"],"names":[],"mappings":";AAAA;;;;;GAKG;;;AAWH,8CAA2C;AAE3C,MAAa,eAAe;IAI1B;QACE,IAAI,CAAC,eAAe,GAAG;YACrB,WAAW,EAAE,EAAE;YACf,WAAW,EAAE,EAAE;YACf,QAAQ,EAAE,EAAE;SACb,CAAC;QAEF,oBAAoB;QACpB,IAAI,CAAC,MAAM,GAAG,eAAM,CAAC,WAAW,CAAC;YAC/B,eAAe,EAAE,IAAI;YACrB,gBAAgB,EAAE,OAAO,CAAC,GAAG,EAAE;SAChC,CAAC,CAAC;IACL,CAAC;IAED;;OAEG;IACH,KAAK,CAAC,KAAK,CACT,IAAmB,EACnB,UAAwB,EACxB,cAA+B;QAE/B,MAAM,MAAM,GAAG,IAAI,CAAC,oBAAoB,CAAC,IAAI,EAAE,UAAU,EAAE,cAAc,CAAC,CAAC;QAE3E,MAAM,QAAQ,GAAG,MAAM,IAAI,CAAC,MAAM,CAAC,YAAY,CAAC,MAAM,EAAE;YACtD,WAAW,EAAE,GAAG,EAAE,qDAAqD;SACxE,CAAC,CAAC;QAEH,IAAI,YAAiB,CAAC;QACtB,IAAI,CAAC;YACH,wCAAwC;YACxC,IAAI,eAAe,GAAG,QAAQ,CAAC,IAAI,EAAE,CAAC;YACtC,IAAI,eAAe,CAAC,UAAU,CAAC,SAAS,CAAC,EAAE,CAAC;gBAC1C,eAAe,GAAG,eAAe,CAAC,OAAO,CAAC,cAAc,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;YACxF,CAAC;iBAAM,IAAI,eAAe,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC7C,eAAe,GAAG,eAAe,CAAC,OAAO,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;YACpF,CAAC;YAED,YAAY,GAAG,IAAI,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC;QAC7C,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,MAAM,IAAI,KAAK,CAAC,qCAAqC,QAAQ,EAAE,CAAC,CAAC;QACnE,CAAC;QAED,OAAO;YACL,IAAI;YACJ,MAAM,EAAE,YAAY,CAAC,GAAG;YACxB,UAAU,EAAE,YAAY,CAAC,UAAU;YACnC,SAAS,EAAE,YAAY,CAAC,SAAS;SAClC,CAAC;IACJ,CAAC;IAED;;OAEG;IACH,KAAK,CAAC,YAAY,CAChB,SAA0B,EAC1B,UAAwB;QAExB,MAAM,MAAM,GAAG,IAAI,CAAC,mBAAmB,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC;QAE/D,MAAM,QAAQ,GAAG,MAAM,IAAI,CAAC,MAAM,CAAC,YAAY,CAAC,MAAM,EAAE;YACtD,WAAW,EAAE,GAAG,EAAE,sCAAsC;SACzD,CAAC,CAAC;QAEH,IAAI,cAAmB,CAAC;QACxB,IAAI,CAAC;YACH,wCAAwC;YACxC,IAAI,eAAe,GAAG,QAAQ,CAAC,IAAI,EAAE,CAAC;YACtC,IAAI,eAAe,CAAC,UAAU,CAAC,SAAS,CAAC,EAAE,CAAC;gBAC1C,eAAe,GAAG,eAAe,CAAC,OAAO,CAAC,cAAc,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;YACxF,CAAC;iBAAM,IAAI,eAAe,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC7C,eAAe,GAAG,eAAe,CAAC,OAAO,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;YACpF,CAAC;YAED,cAAc,GAAG,IAAI,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC;QAC/C,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,MAAM,IAAI,KAAK,CAAC,oCAAoC,QAAQ,EAAE,CAAC,CAAC;QAClE,CAAC;QAED,OAAO;YACL,OAAO,EAAE,cAAc,CAAC,OAAO;YAC/B,UAAU,EAAE,cAAc,CAAC,UAAU;YACrC,MAAM,EAAE,cAAc,CAAC,MAAM,IAAI,EAAE;YACnC,WAAW,EAAE,cAAc,CAAC,WAAW,IAAI,EAAE;SAC9C,CAAC;IACJ,CAAC;IAED;;;OAGG;IACH,eAAe,CACb,aAA4B,EAC5B,YAA6B;QAE7B,OAAO,YAAY,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;YAC/B,mDAAmD;YACnD,IAAI,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,aAAa,CAAC,EAAE,CAAC,EAAE,CAAC;gBACjD,wDAAwD;gBACxD,MAAM,eAAe,GAAG,aAAa,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;gBAChE,MAAM,aAAa,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,UAAU,GAAG,eAAe,CAAC,CAAC;gBAEvE,OAAO;oBACL,GAAG,IAAI;oBACP,UAAU,EAAE,aAAa;oBACzB,SAAS,EAAE,aAAa,IAAI,EAAE;oBAC9B,iBAAiB,EAAE,aAAa,IAAI,EAAE,IAAI,aAAa,GAAG,EAAE;oBAC5D,cAAc,EAAE,aAAa,GAAG,EAAE;iBACnC,CAAC;YACJ,CAAC;YAED,OAAO,IAAI,CAAC;QACd,CAAC,CAAC,CAAC;IACL,CAAC;IAED;;OAEG;IACH,KAAK,CAAC,mBAAmB,CACvB,MAAc,EACd,aAAkB,EAClB,cAAmB,EACnB,MAAe;QAEf,MAAM,UAAU,GAAe;YAC7B,MAAM;YACN,aAAa;YACb,cAAc;YACd,MAAM;YACN,SAAS,EAAE,IAAI,IAAI,EAAE;SACtB,CAAC;QAEF,IAAI,CAAC,eAAe,CAAC,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAElD,mCAAmC;QACnC,MAAM,IAAI,CAAC,cAAc,EAAE,CAAC;IAC9B,CAAC;IAED;;OAEG;IACK,KAAK,CAAC,cAAc;QAC1B,IAAI,IAAI,CAAC,eAAe,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC;YAAE,OAAO;QAExD,MAAM,MAAM,GAAG,IAAI,CAAC,2BAA2B,EAAE,CAAC;QAElD,MAAM,QAAQ,GAAG,MAAM,IAAI,CAAC,MAAM,CAAC,YAAY,CAAC,MAAM,EAAE;YACtD,WAAW,EAAE,GAAG;SACjB,CAAC,CAAC;QAEH,IAAI,cAAmB,CAAC;QACxB,IAAI,CAAC;YACH,wCAAwC;YACxC,IAAI,eAAe,GAAG,QAAQ,CAAC,IAAI,EAAE,CAAC;YACtC,IAAI,eAAe,CAAC,UAAU,CAAC,SAAS,CAAC,EAAE,CAAC;gBAC1C,eAAe,GAAG,eAAe,CAAC,OAAO,CAAC,cAAc,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;YACxF,CAAC;iBAAM,IAAI,eAAe,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC7C,eAAe,GAAG,eAAe,CAAC,OAAO,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;YACpF,CAAC;YAED,cAAc,GAAG,IAAI,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC;QAC/C,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,OAAO,CAAC,kCAAkC;QAC5C,CAAC;QAED,IAAI,cAAc,CAAC,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,cAAc,CAAC,QAAQ,CAAC,EAAE,CAAC;YACtE,IAAI,CAAC,eAAe,CAAC,QAAQ,GAAG,cAAc,CAAC,QAAQ,CAAC;QAC1D,CAAC;IACH,CAAC;IAED;;OAEG;IACH,kBAAkB;QAChB,IAAI,IAAI,CAAC,eAAe,CAAC,WAAW,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAClD,OAAO,EAAE,CAAC;QACZ,CAAC;QAED,MAAM,WAAW,GAAG,IAAI,CAAC,eAAe,CAAC,WAAW;aACjD,GAAG,CACF,CAAC,CAAC,EAAE,EAAE,CACJ,qBAAqB,CAAC,CAAC,aAAa,SAAS,CAAC,CAAC,cAAc,IAC3D,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,EACxC,EAAE,CACL;aACA,IAAI,CAAC,IAAI,CAAC,CAAC;QAEd,MAAM,QAAQ,GACZ,IAAI,CAAC,eAAe,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC;YACtC,CAAC,CAAC,0BAA0B;gBAC1B,IAAI,CAAC,eAAe,CAAC,QAAQ;qBAC1B,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,WAAW,iBAAiB,CAAC,CAAC,UAAU,IAAI,CAAC;qBAC/D,IAAI,CAAC,IAAI,CAAC;YACf,CAAC,CAAC,EAAE,CAAC;QAET,OAAO,yDAAyD,WAAW,GAAG,QAAQ,qDAAqD,CAAC;IAC9I,CAAC;IAED,+EAA+E;IAC/E,kBAAkB;IAClB,+EAA+E;IAEvE,oBAAoB,CAC1B,IAAmB,EACnB,UAAwB,EACxB,cAA+B;QAE/B,MAAM,eAAe,GAAG,IAAI,CAAC,kBAAkB,EAAE,CAAC;QAElD,OAAO;;;EAGT,IAAI,CAAC,WAAW;;;;EAIhB,IAAI,CAAC,SAAS,CAAC,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC;;;;EAInC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,WAAW,iBAAiB,CAAC,CAAC,UAAU,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;EACzF,eAAe;;;uCAGsB,IAAI,CAAC,WAAW;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;iCAgCtB,CAAC;IAChC,CAAC;IAEO,mBAAmB,CACzB,SAA0B,EAC1B,UAAwB;QAExB,OAAO;;;EAGT,SAAS,CAAC,IAAI,CAAC,WAAW;;;;EAI1B,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;;;;EAIzC,SAAS,CAAC,SAAS;;;EAGnB,SAAS,CAAC,UAAU;;;;EAIpB,IAAI,CAAC,SAAS,CAAC,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;iCAiCJ,CAAC;IAChC,CAAC;IAEO,2BAA2B;QACjC,MAAM,WAAW,GAAG,IAAI,CAAC,eAAe,CAAC,WAAW;aACjD,GAAG,CACF,CAAC,CAAC,EAAE,GAAG,EAAE,EAAE,CACT,GAAG,GAAG,GAAG,CAAC,WAAW,CAAC,CAAC,MAAM,kBAAkB,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,aAAa,CAAC,mBAAmB,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,cAAc,CAAC,GAC/H,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAC1C,EAAE,CACL;aACA,IAAI,CAAC,MAAM,CAAC,CAAC;QAEhB,OAAO;;EAET,WAAW;;;;;;;;;;;;;;;;;;;;;iCAqBoB,CAAC;IAChC,CAAC;CACF;AApWD,0CAoWC"}

package/dist/services/Planner.d.ts

@@ -0,0 +1,77 @@
+/**
+ * Planner Service
+ *
+ * The "Planner Layer" in the MyContext compiler pipeline.
+ * Responsible for:
+ * 1. Validating ASL for 100% completeness
+ * 2. Generating clarifying questions for gaps
+ * 3. Creating diff previews before generation
+ * 4. Task decomposition with confidence scoring (NEW)
+ * 5. Auto-inference for high-confidence tasks (NEW)
+ *
+ * The Planner ensures NO code is generated until the specification is perfect.
+ */
+import type { ASL, ASLValidationResult, Question, DiffPreview, InferenceTask, PlannerState, ContextRevelation, Checkpoint } from "../types/asl";
+export declare class Planner {
+    private state;
+    private inferenceEngine;
+    private aiCore;
+    constructor();
+    /**
+     * Decompose initial input into inference tasks with confidence scores
+     */
+    decompose(initialInput: string): Promise<InferenceTask[]>;
+    /**
+     * Select next task to execute based on dependencies and confidence
+     */
+    selectNextTask(): InferenceTask | null;
+    /**
+     * Mark task as completed and update state
+     */
+    markTaskComplete(taskId: string): void;
+    /**
+     * Update dependent tasks after a task completes
+     */
+    updateDependentTasks(completedTask: InferenceTask): void;
+    /**
+     * Reveal context to user (what was inferred and why)
+     */
+    revealContext(task: InferenceTask, inference: Partial<ASL>): ContextRevelation[];
+    /**
+     * Create checkpoint summary before proceeding
+     */
+    createCheckpoint(autoInferredTasks: InferenceTask[]): Checkpoint;
+    /**
+     * Get current planner state
+     */
+    getState(): PlannerState;
+    /**
+     * Update overall confidence score
+     */
+    private updateConfidenceScore;
+    /**
+     * Build decomposition prompt
+     */
+    private buildDecompositionPrompt;
+    /**
+     * Validate ASL for completeness and correctness
+     */
+    validate(asl: Partial<ASL>): ASLValidationResult;
+    /**
+     * Generate clarifying questions for gaps in ASL
+     */
+    generateQuestions(asl: Partial<ASL>): Question[];
+    /**
+     * Generate diff preview showing what will be generated
+     */
+    generateDiff(asl: ASL): DiffPreview;
+    /**
+     * Check if ASL is complete enough for generation
+     */
+    isComplete(asl: Partial<ASL>): boolean;
+    private generateSchemaPreview;
+    private generateTypesPreview;
+    private pageSpecToPath;
+    private estimateSize;
+}
+//# sourceMappingURL=Planner.d.ts.map

package/dist/services/Planner.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Planner.d.ts","sourceRoot":"","sources":["../../src/services/Planner.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,KAAK,EACV,GAAG,EACH,mBAAmB,EAGnB,QAAQ,EAGR,WAAW,EAMX,aAAa,EACb,YAAY,EACZ,iBAAiB,EACjB,UAAU,EAEX,MAAM,cAAc,CAAC;AAatB,qBAAa,OAAO;IAClB,OAAO,CAAC,KAAK,CAAe;IAC5B,OAAO,CAAC,eAAe,CAAkB;IACzC,OAAO,CAAC,MAAM,CAAS;;IA2BvB;;OAEG;IACG,SAAS,CAAC,YAAY,EAAE,MAAM,GAAG,OAAO,CAAC,aAAa,EAAE,CAAC;IAyC/D;;OAEG;IACH,cAAc,IAAI,aAAa,GAAG,IAAI;IAqBtC;;OAEG;IACH,gBAAgB,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI;IAatC;;OAEG;IACH,oBAAoB,CAAC,aAAa,EAAE,aAAa,GAAG,IAAI;IAOxD;;OAEG;IACH,aAAa,CAAC,IAAI,EAAE,aAAa,EAAE,SAAS,EAAE,OAAO,CAAC,GAAG,CAAC,GAAG,iBAAiB,EAAE;IA0ChF;;OAEG;IACH,gBAAgB,CAAC,iBAAiB,EAAE,aAAa,EAAE,GAAG,UAAU;IAwDhE;;OAEG;IACH,QAAQ,IAAI,YAAY;IAIxB;;OAEG;IACH,OAAO,CAAC,qBAAqB;IAc7B;;OAEG;IACH,OAAO,CAAC,wBAAwB;IA2DhC;;OAEG;IACH,QAAQ,CAAC,GAAG,EAAE,OAAO,CAAC,GAAG,CAAC,GAAG,mBAAmB;IA4LhD;;OAEG;IACH,iBAAiB,CAAC,GAAG,EAAE,OAAO,CAAC,GAAG,CAAC,GAAG,QAAQ,EAAE;IAyMhD;;OAEG;IACH,YAAY,CAAC,GAAG,EAAE,GAAG,GAAG,WAAW;IAuInC;;OAEG;IACH,UAAU,CAAC,GAAG,EAAE,OAAO,CAAC,GAAG,CAAC,GAAG,OAAO;IAQtC,OAAO,CAAC,qBAAqB;IAc7B,OAAO,CAAC,oBAAoB;IAU5B,OAAO,CAAC,cAAc;IAMtB,OAAO,CAAC,YAAY;CAQrB"}