@manifesto-ai/compiler 1.0.0

package/dist/effects/llm/prompts/normalize.js

@@ -0,0 +1,98 @@
+/**
+ * Create normalization prompt
+ *
+ * @param segments - Text segments to normalize
+ * @param schema - Target schema (for context)
+ * @param context - Additional context
+ */
+export function createNormalizePrompt(segments, schema, context) {
+    const schemaDescription = schema ? describeSchema(schema) : "";
+    const contextSection = context ? formatContext(context) : "";
+    const systemPrompt = `You are a requirements normalization assistant for the Manifesto domain modeling system.
+
+Your task is to convert requirement segments into structured intents that map to Manifesto domain concepts.
+
+## Intent Kinds
+
+- **state**: A field that stores data (e.g., "user name", "order items", "is active")
+- **computed**: A value derived from state (e.g., "total price", "is valid", "user count")
+- **action**: An operation that changes state (e.g., "create user", "add item", "complete order")
+- **constraint**: A rule that must hold (e.g., "price must be positive", "name is required")
+
+## Output Format
+
+You MUST respond with valid JSON only. No markdown code blocks, no explanations.
+
+{
+  "intents": [
+    {
+      "kind": "state" | "computed" | "action" | "constraint",
+      "description": "Clear description of the intent",
+      "confidence": 0.0-1.0
+    }
+  ]
+}
+
+## Ambiguity Handling
+
+If you encounter ambiguity that requires clarification, respond with:
+
+{
+  "resolution_required": true,
+  "reason": "Description of the ambiguity",
+  "options": [
+    { "id": "option1", "description": "First interpretation", "preview": "What this would mean" },
+    { "id": "option2", "description": "Second interpretation", "preview": "What this would mean" }
+  ]
+}
+
+## Confidence Guidelines
+
+- 1.0: Unambiguous, directly stated requirement
+- 0.8-0.9: Clear intent with minor inference
+- 0.6-0.7: Reasonable interpretation with some ambiguity
+- Below 0.6: Consider requesting resolution
+
+${schemaDescription ? `## Target Schema Structure\n\n${schemaDescription}` : ""}
+${contextSection}`;
+    const userPrompt = `Normalize these requirement segments into structured intents:
+
+${segments.map((s, i) => `${i + 1}. ${s}`).join("\n")}
+
+Respond with JSON only.`;
+    return { systemPrompt, userPrompt };
+}
+/**
+ * Format context for prompt
+ */
+function formatContext(context) {
+    const parts = [];
+    if (context.domainName) {
+        parts.push(`Domain: ${context.domainName}`);
+    }
+    if (context.existingActions?.length) {
+        parts.push(`Existing Actions: ${context.existingActions.join(", ")}`);
+    }
+    if (context.glossary && Object.keys(context.glossary).length > 0) {
+        parts.push("Glossary:");
+        for (const [term, definition] of Object.entries(context.glossary)) {
+            parts.push(`  - ${term}: ${definition}`);
+        }
+    }
+    return parts.length > 0 ? `\n## Context\n\n${parts.join("\n")}` : "";
+}
+/**
+ * Describe schema for prompt context
+ */
+function describeSchema(schema) {
+    if (!schema || typeof schema !== "object") {
+        return "";
+    }
+    try {
+        return `Target schema structure:\n\`\`\`json\n${JSON.stringify(schema, null, 2)}\n\`\`\``;
+    }
+    catch {
+        return "";
+    }
+}
+//# sourceMappingURL=normalize.js.map

package/dist/effects/llm/prompts/normalize.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"normalize.js","sourceRoot":"","sources":["../../../../src/effects/llm/prompts/normalize.ts"],"names":[],"mappings":"AAaA;;;;;;GAMG;AACH,MAAM,UAAU,qBAAqB,CACnC,QAAkB,EAClB,MAAe,EACf,OAAyB;IAEzB,MAAM,iBAAiB,GAAG,MAAM,CAAC,CAAC,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAC/D,MAAM,cAAc,GAAG,OAAO,CAAC,CAAC,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAE7D,MAAM,YAAY,GAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EA6CrB,iBAAiB,CAAC,CAAC,CAAC,iCAAiC,iBAAiB,EAAE,CAAC,CAAC,CAAC,EAAE;EAC7E,cAAc,EAAE,CAAC;IAEjB,MAAM,UAAU,GAAG;;EAEnB,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;;wBAE7B,CAAC;IAEvB,OAAO,EAAE,YAAY,EAAE,UAAU,EAAE,CAAC;AACtC,CAAC;AAED;;GAEG;AACH,SAAS,aAAa,CAAC,OAAwB;IAC7C,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,IAAI,OAAO,CAAC,UAAU,EAAE,CAAC;QACvB,KAAK,CAAC,IAAI,CAAC,WAAW,OAAO,CAAC,UAAU,EAAE,CAAC,CAAC;IAC9C,CAAC;IAED,IAAI,OAAO,CAAC,eAAe,EAAE,MAAM,EAAE,CAAC;QACpC,KAAK,CAAC,IAAI,CAAC,qBAAqB,OAAO,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACxE,CAAC;IAED,IAAI,OAAO,CAAC,QAAQ,IAAI,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACjE,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACxB,KAAK,MAAM,CAAC,IAAI,EAAE,UAAU,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;YAClE,KAAK,CAAC,IAAI,CAAC,OAAO,IAAI,KAAK,UAAU,EAAE,CAAC,CAAC;QAC3C,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,mBAAmB,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;AACvE,CAAC;AAED;;GAEG;AACH,SAAS,cAAc,CAAC,MAAe;IACrC,IAAI,CAAC,MAAM,IAAI,OAAO,MAAM,KAAK,QAAQ,EAAE,CAAC;QAC1C,OAAO,EAAE,CAAC;IACZ,CAAC;IAED,IAAI,CAAC;QACH,OAAO,yCAAyC,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,UAAU,CAAC;IAC5F,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,EAAE,CAAC;IACZ,CAAC;AACH,CAAC"}

package/dist/effects/llm/prompts/propose.d.ts

@@ -0,0 +1,21 @@
+import type { CompilerContext, NormalizedIntent, AttemptRecord } from "../../../domain/types.js";
+/**
+ * Proposal prompt template
+ *
+ * Generates DomainDraft JSON from normalized intents.
+ */
+export interface ProposePromptResult {
+    systemPrompt: string;
+    userPrompt: string;
+}
+/**
+ * Create proposal prompt
+ *
+ * @param schema - Target schema structure
+ * @param intents - Normalized intents to implement
+ * @param history - Previous failed attempts
+ * @param context - Additional context
+ * @param resolution - Resolution selection (if any)
+ */
+export declare function createProposePrompt(schema: unknown, intents: NormalizedIntent[], history: AttemptRecord[], context?: CompilerContext, resolution?: string): ProposePromptResult;
+//# sourceMappingURL=propose.d.ts.map

package/dist/effects/llm/prompts/propose.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"propose.d.ts","sourceRoot":"","sources":["../../../../src/effects/llm/prompts/propose.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,eAAe,EACf,gBAAgB,EAChB,aAAa,EAEd,MAAM,0BAA0B,CAAC;AAElC;;;;GAIG;AAEH,MAAM,WAAW,mBAAmB;IAClC,YAAY,EAAE,MAAM,CAAC;IACrB,UAAU,EAAE,MAAM,CAAC;CACpB;AAED;;;;;;;;GAQG;AACH,wBAAgB,mBAAmB,CACjC,MAAM,EAAE,OAAO,EACf,OAAO,EAAE,gBAAgB,EAAE,EAC3B,OAAO,EAAE,aAAa,EAAE,EACxB,OAAO,CAAC,EAAE,eAAe,EACzB,UAAU,CAAC,EAAE,MAAM,GAClB,mBAAmB,CAwLrB"}

package/dist/effects/llm/prompts/propose.js

@@ -0,0 +1,326 @@
+/**
+ * Create proposal prompt
+ *
+ * @param schema - Target schema structure
+ * @param intents - Normalized intents to implement
+ * @param history - Previous failed attempts
+ * @param context - Additional context
+ * @param resolution - Resolution selection (if any)
+ */
+export function createProposePrompt(schema, intents, history, context, resolution) {
+    const historySection = formatAttemptHistory(history);
+    const resolutionSection = resolution
+        ? `\n## Resolution Applied\n\nThe user selected: "${resolution}"\nApply this decision in your proposal.\n`
+        : "";
+    const systemPrompt = `You are a DomainSchema proposal assistant for the Manifesto domain modeling system.
+
+## YOUR ROLE: UNTRUSTED PROPOSER
+
+CRITICAL: You are an UNTRUSTED PROPOSER, not a decision-maker.
+
+- Your output will NEVER be executed directly
+- The Builder (constitutional validator) will judge your proposals
+- When multiple valid interpretations exist, you MUST request resolution
+- Making an arbitrary choice when uncertain is FAILURE
+- Requesting clarification is SUCCESS
+
+DO NOT:
+- Guess when uncertain about structural design
+- Make "reasonable assumptions" about ambiguous requirements
+- Choose "the most common approach" when alternatives are equally valid
+- Fill in gaps with conventions or best practices
+
+DO:
+- Identify structural ambiguities explicitly
+- Request resolution when confidence is low or multiple valid designs exist
+- Provide multiple valid options for humans/AI to choose from
+
+## RESPONSE FORMAT (CHOOSE ONE)
+
+You MUST respond with exactly ONE of these JSON formats:
+
+### Format A: Draft Proposal (when confident)
+{
+  "draft": { ...DomainSchema... }
+}
+
+### Format B: Resolution Request (when uncertain)
+{
+  "resolution_required": true,
+  "reason": "Clear explanation of the ambiguity",
+  "options": [
+    {"id": "option-1", "description": "First interpretation", "preview": "How this would be modeled"},
+    {"id": "option-2", "description": "Second interpretation", "preview": "How this would be modeled"}
+  ]
+}
+
+IMPORTANT: Do NOT mix these formats. Do NOT include "draft" when requesting resolution.
+
+## WHEN TO REQUEST RESOLUTION
+
+Request resolution if ANY of these conditions apply:
+
+1. **Low Confidence Intent**: Any intent with confidence < 0.7
+2. **Conflicting Intents**: Two intents that could contradict each other
+3. **Structural Ambiguity**: Multiple valid ways to model the same requirement
+4. **Rule Location Uncertainty**: Unclear if rule belongs in state/computed/action/available
+5. **Authority Ambiguity**: Unclear who can perform an action or under what conditions
+6. **Temporal Logic**: Time-based rules with unclear trigger mechanism (effect vs computed vs scheduler)
+7. **State Machine Complexity**: Multiple valid state transition designs
+
+### Examples of Structural Ambiguity
+
+Example 1 - State vs Computed:
+  Intent: "Show whether user can submit form"
+  - Option A: Computed value derived from validation state
+  - Option B: Explicit state field updated by actions
+  → REQUEST RESOLUTION
+
+Example 2 - Rule Location:
+  Intent: "Active accounts cannot be deactivated"
+  - Option A: Constraint in action's "available" guard
+  - Option B: Conditional check in action's flow
+  - Option C: Computed value that actions reference
+  → REQUEST RESOLUTION
+
+Example 3 - Authority:
+  Intent: "Admin can bypass email verification"
+  - Option A: Separate admin action with different flow
+  - Option B: Same action with role-based conditional in flow
+  - Option C: Boolean flag in action input
+  → REQUEST RESOLUTION
+
+Example 4 - Temporal:
+  Intent: "Verification link expires after 24 hours"
+  - Option A: Effect that schedules expiration event
+  - Option B: Computed value checking timestamp difference
+  - Option C: Action triggered by external scheduler
+  → REQUEST RESOLUTION
+
+## TECHNICAL RULES
+
+1. Output MUST be valid JSON
+2. Do NOT output TypeScript code - output JSON data only
+3. All expressions use the ExprNode format (e.g., {"kind": "get", "path": "state.fieldName"})
+4. All flows use the FlowNode format (e.g., {"kind": "patch", "op": "set", "path": "state.x", "value": {...}})
+5. Paths must use dot notation: "state.fieldName", "computed.derivedValue"
+
+## DomainSchema Structure
+
+${getDomainSchemaStructure()}
+
+## ExprNode Examples
+
+Literal value:
+{"kind": "lit", "value": 42}
+
+Get state field:
+{"kind": "get", "path": "state.userName"}
+
+Comparison:
+{"kind": "eq", "left": {"kind": "get", "path": "state.status"}, "right": {"kind": "lit", "value": "active"}}
+
+Logical AND:
+{"kind": "and", "args": [{"kind": "get", "path": "computed.isValid"}, {"kind": "get", "path": "computed.hasPermission"}]}
+
+## FlowNode Examples
+
+Set a field:
+{"kind": "patch", "op": "set", "path": "state.name", "value": {"kind": "get", "path": "input.name"}}
+
+Conditional:
+{"kind": "if", "cond": {...}, "then": {...}, "else": {...}}
+
+Sequence:
+{"kind": "seq", "steps": [{...}, {...}]}
+
+Effect (external operation):
+{"kind": "effect", "type": "http:fetch", "params": {"url": {"kind": "lit", "value": "https://api.example.com"}}}
+
+## Output Format
+
+{
+  "draft": {
+    "id": "domain-unique-id",
+    "version": "1.0.0",
+    "hash": "",
+    "state": {
+      "fields": {
+        "fieldName": {
+          "type": "string",
+          "required": true,
+          "description": "..."
+        }
+      }
+    },
+    "computed": {
+      "fields": {
+        "computed.derivedValue": {
+          "deps": ["state.fieldName"],
+          "expr": {"kind": "get", "path": "state.fieldName"},
+          "description": "..."
+        }
+      }
+    },
+    "actions": {
+      "actionName": {
+        "flow": {"kind": "seq", "steps": [...]},
+        "input": {...},
+        "available": {...},
+        "description": "..."
+      }
+    }
+  }
+}
+
+${historySection}
+${resolutionSection}`;
+    const userPrompt = `Generate a DomainSchema draft from these intents:
+
+${intents
+        .map((intent, i) => `${i + 1}. [${intent.kind}] ${intent.description} (confidence: ${intent.confidence})`)
+        .join("\n")}
+
+${context?.domainName ? `Domain Name: ${context.domainName}` : ""}
+
+Respond with JSON only. Use Format A (draft) if confident, or Format B (resolution_required) if uncertain.`;
+    return { systemPrompt, userPrompt };
+}
+/**
+ * Get DomainSchema structure documentation
+ */
+function getDomainSchemaStructure() {
+    return `The DomainSchema must conform to this structure:
+
+{
+  "id": "string (unique identifier, URI or UUID)",
+  "version": "string (semantic version, e.g., '1.0.0')",
+  "hash": "string (leave empty, will be computed)",
+  "state": {
+    "fields": {
+      "<fieldName>": {
+        "type": "string | number | boolean | null | object | array | { enum: [...] }",
+        "required": "boolean",
+        "default": "any (optional)",
+        "description": "string (optional)",
+        "fields": "Record<string, FieldSpec> (for object type)",
+        "items": "FieldSpec (for array type)"
+      }
+    }
+  },
+  "computed": {
+    "fields": {
+      "computed.<name>": {
+        "deps": ["state.field1", "state.field2", ...],
+        "expr": "ExprNode",
+        "description": "string (optional)"
+      }
+    }
+  },
+  "actions": {
+    "<actionName>": {
+      "flow": "FlowNode",
+      "input": "FieldSpec (optional)",
+      "available": "ExprNode (optional, must return boolean)",
+      "description": "string (optional)"
+    }
+  },
+  "meta": {
+    "name": "string (optional)",
+    "description": "string (optional)",
+    "authors": ["string"] (optional)
+  }
+}
+
+## Type Reference
+
+### FieldSpec types
+- "string": Text value
+- "number": Numeric value
+- "boolean": true/false
+- "null": Null value
+- "object": Nested object (requires "fields")
+- "array": Array (requires "items")
+- {"enum": ["value1", "value2"]}: Enumerated values
+
+### ExprNode kinds
+- lit: Literal value {"kind": "lit", "value": <any>}
+- get: Get value {"kind": "get", "path": "<semantic.path>"}
+- eq/neq/gt/gte/lt/lte: Comparisons
+- and/or/not: Logical operators
+- add/sub/mul/div/mod: Arithmetic
+- concat/substring: String operations
+- len/at/first/last/slice/includes/filter/map/find/every/some: Array operations
+- keys/values/entries/merge: Object operations
+- typeof/isNull/coalesce: Type operations
+- if: Conditional {"kind": "if", "cond": <expr>, "then": <expr>, "else": <expr>}
+
+### FlowNode kinds
+- seq: Sequence {"kind": "seq", "steps": [<flow>, ...]}
+- if: Conditional {"kind": "if", "cond": <expr>, "then": <flow>, "else": <flow>?}
+- patch: State mutation {"kind": "patch", "op": "set|unset|merge", "path": "<path>", "value": <expr>?}
+- effect: External operation {"kind": "effect", "type": "<type>", "params": {<key>: <expr>}}
+- call: Call flow {"kind": "call", "flow": "<flowName>"}
+- halt: Stop normally {"kind": "halt", "reason": "<string>?"}
+- fail: Stop with error {"kind": "fail", "code": "<code>", "message": <expr>?}`;
+}
+/**
+ * Format attempt history for retry prompts
+ */
+function formatAttemptHistory(history) {
+    if (history.length === 0) {
+        return "";
+    }
+    const formatted = history
+        .map((attempt) => {
+        const diagnosticsText = attempt.diagnostics
+            ? formatDiagnosticsForPrompt(attempt.diagnostics)
+            : "No diagnostics available";
+        return `### Attempt ${attempt.attemptNumber + 1}
+Hash: ${attempt.draftHash}
+${diagnosticsText}`;
+    })
+        .join("\n\n");
+    return `
+## Previous Failed Attempts
+
+IMPORTANT: Review these failed attempts and their diagnostics carefully.
+Do NOT repeat the same mistakes. Address each error mentioned.
+
+${formatted}
+`;
+}
+/**
+ * Format diagnostics for inclusion in prompts
+ */
+function formatDiagnosticsForPrompt(diagnostics) {
+    const sections = [];
+    if (diagnostics.errors.length > 0) {
+        sections.push("**ERRORS (must fix):**");
+        sections.push(diagnostics.errors
+            .map((d) => {
+            const parts = [`- [${d.code}] ${d.message}`];
+            if (d.path)
+                parts.push(`  Location: ${d.path}`);
+            if (d.suggestion)
+                parts.push(`  Suggestion: ${d.suggestion}`);
+            return parts.join("\n");
+        })
+            .join("\n"));
+    }
+    if (diagnostics.warnings.length > 0) {
+        sections.push("**WARNINGS (should fix):**");
+        sections.push(diagnostics.warnings
+            .map((d) => {
+            const parts = [`- [${d.code}] ${d.message}`];
+            if (d.path)
+                parts.push(`  Location: ${d.path}`);
+            if (d.suggestion)
+                parts.push(`  Suggestion: ${d.suggestion}`);
+            return parts.join("\n");
+        })
+            .join("\n"));
+    }
+    return sections.length > 0 ? sections.join("\n\n") : "No specific diagnostics available.";
+}
+//# sourceMappingURL=propose.js.map

package/dist/effects/llm/prompts/propose.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"propose.js","sourceRoot":"","sources":["../../../../src/effects/llm/prompts/propose.ts"],"names":[],"mappings":"AAkBA;;;;;;;;GAQG;AACH,MAAM,UAAU,mBAAmB,CACjC,MAAe,EACf,OAA2B,EAC3B,OAAwB,EACxB,OAAyB,EACzB,UAAmB;IAEnB,MAAM,cAAc,GAAG,oBAAoB,CAAC,OAAO,CAAC,CAAC;IACrD,MAAM,iBAAiB,GAAG,UAAU;QAClC,CAAC,CAAC,kDAAkD,UAAU,4CAA4C;QAC1G,CAAC,CAAC,EAAE,CAAC;IAEP,MAAM,YAAY,GAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EA+FrB,wBAAwB,EAAE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAkE1B,cAAc;EACd,iBAAiB,EAAE,CAAC;IAEpB,MAAM,UAAU,GAAG;;EAEnB,OAAO;SACN,GAAG,CACF,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CACZ,GAAG,CAAC,GAAG,CAAC,MAAM,MAAM,CAAC,IAAI,KAAK,MAAM,CAAC,WAAW,iBAAiB,MAAM,CAAC,UAAU,GAAG,CACxF;SACA,IAAI,CAAC,IAAI,CAAC;;EAEX,OAAO,EAAE,UAAU,CAAC,CAAC,CAAC,gBAAgB,OAAO,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE;;2GAE0C,CAAC;IAE1G,OAAO,EAAE,YAAY,EAAE,UAAU,EAAE,CAAC;AACtC,CAAC;AAED;;GAEG;AACH,SAAS,wBAAwB;IAC/B,OAAO;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;+EAwEsE,CAAC;AAChF,CAAC;AAED;;GAEG;AACH,SAAS,oBAAoB,CAAC,OAAwB;IACpD,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzB,OAAO,EAAE,CAAC;IACZ,CAAC;IAED,MAAM,SAAS,GAAG,OAAO;SACtB,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE;QACf,MAAM,eAAe,GAAG,OAAO,CAAC,WAAW;YACzC,CAAC,CAAC,0BAA0B,CAAC,OAAO,CAAC,WAAW,CAAC;YACjD,CAAC,CAAC,0BAA0B,CAAC;QAE/B,OAAO,eAAe,OAAO,CAAC,aAAa,GAAG,CAAC;QAC7C,OAAO,CAAC,SAAS;EACvB,eAAe,EAAE,CAAC;IAChB,CAAC,CAAC;SACD,IAAI,CAAC,MAAM,CAAC,CAAC;IAEhB,OAAO;;;;;;EAMP,SAAS;CACV,CAAC;AACF,CAAC;AAED;;GAEG;AACH,SAAS,0BAA0B,CAAC,WAAgC;IAClE,MAAM,QAAQ,GAAa,EAAE,CAAC;IAE9B,IAAI,WAAW,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAClC,QAAQ,CAAC,IAAI,CAAC,wBAAwB,CAAC,CAAC;QACxC,QAAQ,CAAC,IAAI,CACX,WAAW,CAAC,MAAM;aACf,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;YACT,MAAM,KAAK,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;YAC7C,IAAI,CAAC,CAAC,IAAI;gBAAE,KAAK,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;YAChD,IAAI,CAAC,CAAC,UAAU;gBAAE,KAAK,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC;YAC9D,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1B,CAAC,CAAC;aACD,IAAI,CAAC,IAAI,CAAC,CACd,CAAC;IACJ,CAAC;IAED,IAAI,WAAW,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACpC,QAAQ,CAAC,IAAI,CAAC,4BAA4B,CAAC,CAAC;QAC5C,QAAQ,CAAC,IAAI,CACX,WAAW,CAAC,QAAQ;aACjB,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;YACT,MAAM,KAAK,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;YAC7C,IAAI,CAAC,CAAC,IAAI;gBAAE,KAAK,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;YAChD,IAAI,CAAC,CAAC,UAAU;gBAAE,KAAK,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC;YAC9D,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1B,CAAC,CAAC;aACD,IAAI,CAAC,IAAI,CAAC,CACd,CAAC;IACJ,CAAC;IAED,OAAO,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,oCAAoC,CAAC;AAC5F,CAAC"}

package/dist/effects/llm/prompts/segment.d.ts

@@ -0,0 +1,16 @@
+/**
+ * Segmentation prompt template
+ *
+ * Segments natural language requirements into atomic requirement statements.
+ */
+export interface SegmentPromptResult {
+    systemPrompt: string;
+    userPrompt: string;
+}
+/**
+ * Create segmentation prompt
+ *
+ * @param text - Natural language text to segment
+ */
+export declare function createSegmentPrompt(text: string): SegmentPromptResult;
+//# sourceMappingURL=segment.d.ts.map

package/dist/effects/llm/prompts/segment.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"segment.d.ts","sourceRoot":"","sources":["../../../../src/effects/llm/prompts/segment.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,MAAM,WAAW,mBAAmB;IAClC,YAAY,EAAE,MAAM,CAAC;IACrB,UAAU,EAAE,MAAM,CAAC;CACpB;AAED;;;;GAIG;AACH,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,MAAM,GAAG,mBAAmB,CA+CrE"}

package/dist/effects/llm/prompts/segment.js

@@ -0,0 +1,57 @@
+/**
+ * Segmentation prompt template
+ *
+ * Segments natural language requirements into atomic requirement statements.
+ */
+/**
+ * Create segmentation prompt
+ *
+ * @param text - Natural language text to segment
+ */
+export function createSegmentPrompt(text) {
+    const systemPrompt = `You are a requirements segmentation assistant for the Manifesto domain modeling system.
+
+Your task is to decompose natural language requirements into discrete, atomic requirement segments.
+
+## Rules
+
+1. Each segment should describe ONE requirement (state field, computed value, action, or constraint)
+2. Preserve the original meaning - do not infer or add requirements
+3. Split compound sentences into separate segments
+4. Remove filler words and normalize language
+5. Keep technical terms and domain-specific vocabulary intact
+
+## Output Format
+
+You MUST respond with valid JSON only. No markdown code blocks, no explanations.
+
+{
+  "segments": [
+    "First requirement segment",
+    "Second requirement segment"
+  ]
+}
+
+## Example
+
+Input: "The system should track user names and emails. When a user registers, send a welcome email. The total user count should be displayed."
+
+Output:
+{
+  "segments": [
+    "Track user name as a string field",
+    "Track user email as a string field",
+    "When user registers, send welcome email",
+    "Display total user count as computed value"
+  ]
+}`;
+    const userPrompt = `Segment the following requirements into atomic segments:
+
+---
+${text}
+---
+
+Respond with JSON only.`;
+    return { systemPrompt, userPrompt };
+}
+//# sourceMappingURL=segment.js.map

package/dist/effects/llm/prompts/segment.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"segment.js","sourceRoot":"","sources":["../../../../src/effects/llm/prompts/segment.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAOH;;;;GAIG;AACH,MAAM,UAAU,mBAAmB,CAAC,IAAY;IAC9C,MAAM,YAAY,GAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAmCrB,CAAC;IAED,MAAM,UAAU,GAAG;;;EAGnB,IAAI;;;wBAGkB,CAAC;IAEvB,OAAO,EAAE,YAAY,EAAE,UAAU,EAAE,CAAC;AACtC,CAAC"}

package/dist/effects/types.d.ts

@@ -0,0 +1,10 @@
+import type { EffectHandlerResult } from "./llm/handlers.js";
+/**
+ * Generic effect handler type
+ */
+export type EffectHandler = (params: Record<string, unknown>) => Promise<EffectHandlerResult>;
+/**
+ * Effect handler registry
+ */
+export type EffectHandlerRegistry = Record<string, EffectHandler>;
+//# sourceMappingURL=types.d.ts.map

package/dist/effects/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/effects/types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AAE7D;;GAEG;AACH,MAAM,MAAM,aAAa,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,KAAK,OAAO,CAAC,mBAAmB,CAAC,CAAC;AAE9F;;GAEG;AACH,MAAM,MAAM,qBAAqB,GAAG,MAAM,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC"}

package/dist/effects/types.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=types.js.map

package/dist/effects/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/effects/types.ts"],"names":[],"mappings":""}

package/dist/index.d.ts

@@ -0,0 +1,64 @@
+/**
+ * @manifesto-ai/compiler
+ *
+ * Natural language to Manifesto DomainSchema compiler.
+ *
+ * Implemented as a Manifesto Application (dogfooding per FDR-C001).
+ *
+ * @example Using Anthropic (built-in)
+ * ```typescript
+ * import { createCompiler } from '@manifesto-ai/compiler';
+ *
+ * const compiler = createCompiler({
+ *   anthropic: { apiKey: process.env.ANTHROPIC_API_KEY },
+ * });
+ *
+ * compiler.subscribe((state) => {
+ *   if (state.status === 'success') {
+ *     console.log('Compiled schema:', state.result);
+ *   }
+ * });
+ *
+ * await compiler.start({
+ *   text: 'Track user name and email. Allow users to update their profile.',
+ * });
+ * ```
+ *
+ * @example Using custom LLM adapter (e.g., OpenAI)
+ * ```typescript
+ * import { createCompiler, type LLMAdapter } from '@manifesto-ai/compiler';
+ * import OpenAI from 'openai';
+ *
+ * // Implement your own adapter
+ * const openaiAdapter: LLMAdapter = {
+ *   async segment({ text }) {
+ *     const openai = new OpenAI();
+ *     const response = await openai.chat.completions.create({ ... });
+ *     return { ok: true, data: { segments: [...] } };
+ *   },
+ *   async normalize({ segments, schema, context }) {
+ *     // ...
+ *   },
+ *   async propose({ schema, intents, history, context, resolution }) {
+ *     // ...
+ *   },
+ * };
+ *
+ * const compiler = createCompiler({
+ *   llmAdapter: openaiAdapter,  // Inject custom adapter
+ * });
+ * ```
+ */
+export { createCompiler } from "./api/factory.js";
+export { ManifestoCompiler } from "./api/compiler.js";
+export type { Compiler, CompilerOptions, CompilerSnapshot, CompilerState, CompileInput, CompilerStatus, Unsubscribe, CompilerResolutionPolicy, ResolutionOption, DiscardReason, CompilerContext, NormalizedIntent, AttemptRecord, CompilerDiagnostics, CompilerDiagnostic, CompilerTelemetry, LLMAdapter, LLMResult, SegmentResult, NormalizeResult, ProposeResult, } from "./domain/types.js";
+export { CompilerDomain, INITIAL_STATE } from "./domain/domain.js";
+export { CompilerStateSchema } from "./domain/schema.js";
+export { createAnthropicAdapter, AnthropicAdapter, type AnthropicAdapterOptions, } from "./effects/llm/anthropic-adapter.js";
+export { createOpenAIAdapter, OpenAIAdapter, type OpenAIAdapterOptions, } from "./effects/llm/openai-adapter.js";
+export { DEFAULT_LLM_CONFIG, type LLMAdapterConfig } from "./effects/llm/adapter.js";
+export { createLLMEffectHandlers, createSegmentHandler, createNormalizeHandler, createProposeHandler, type LLMEffectHandler, type EffectHandlerResult, } from "./effects/llm/handlers.js";
+export { createBuilderValidateHandler, type BuilderValidateHandler, type ValidateResult, } from "./effects/builder/validate-handler.js";
+export { createSegmentPrompt, createNormalizePrompt, createProposePrompt, } from "./effects/llm/prompts/index.js";
+export { parseJSONResponse, extractResolutionRequest, validateSegmentsResponse, validateIntentsResponse, validateDraftResponse, type ParseResult, type ResolutionRequest, } from "./effects/llm/parser.js";
+//# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkDG;AAMH,OAAO,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AAClD,OAAO,EAAE,iBAAiB,EAAE,MAAM,mBAAmB,CAAC;AAMtD,YAAY,EAEV,QAAQ,EACR,eAAe,EACf,gBAAgB,EAChB,aAAa,EACb,YAAY,EACZ,cAAc,EACd,WAAW,EAGX,wBAAwB,EACxB,gBAAgB,EAChB,aAAa,EAGb,eAAe,EACf,gBAAgB,EAChB,aAAa,EACb,mBAAmB,EACnB,kBAAkB,EAGlB,iBAAiB,EAGjB,UAAU,EACV,SAAS,EACT,aAAa,EACb,eAAe,EACf,aAAa,GACd,MAAM,mBAAmB,CAAC;AAM3B,OAAO,EAAE,cAAc,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AACnE,OAAO,EAAE,mBAAmB,EAAE,MAAM,oBAAoB,CAAC;AAMzD,OAAO,EACL,sBAAsB,EACtB,gBAAgB,EAChB,KAAK,uBAAuB,GAC7B,MAAM,oCAAoC,CAAC;AAE5C,OAAO,EACL,mBAAmB,EACnB,aAAa,EACb,KAAK,oBAAoB,GAC1B,MAAM,iCAAiC,CAAC;AAEzC,OAAO,EAAE,kBAAkB,EAAE,KAAK,gBAAgB,EAAE,MAAM,0BAA0B,CAAC;AAMrF,OAAO,EACL,uBAAuB,EACvB,oBAAoB,EACpB,sBAAsB,EACtB,oBAAoB,EACpB,KAAK,gBAAgB,EACrB,KAAK,mBAAmB,GACzB,MAAM,2BAA2B,CAAC;AAEnC,OAAO,EACL,4BAA4B,EAC5B,KAAK,sBAAsB,EAC3B,KAAK,cAAc,GACpB,MAAM,uCAAuC,CAAC;AAM/C,OAAO,EACL,mBAAmB,EACnB,qBAAqB,EACrB,mBAAmB,GACpB,MAAM,gCAAgC,CAAC;AAMxC,OAAO,EACL,iBAAiB,EACjB,wBAAwB,EACxB,wBAAwB,EACxB,uBAAuB,EACvB,qBAAqB,EACrB,KAAK,WAAW,EAChB,KAAK,iBAAiB,GACvB,MAAM,yBAAyB,CAAC"}