@manifesto-ai/compiler 1.0.0

package/dist/domain/domain.js

@@ -0,0 +1,251 @@
+import { z } from "zod";
+import { defineDomain } from "@manifesto-ai/builder";
+import { CompilerStateSchema, NormalizedIntentSchema, ResolutionOptionSchema, CompilerDiagnosticsSchema, INITIAL_STATE, } from "./schema.js";
+/**
+ * CompilerDomain - Manifesto Application for compiling natural language to DomainSchema
+ *
+ * Per FDR-C001: Compiler MUST be implemented as a Manifesto Application (dogfooding).
+ * Per SPEC.md §5: Complete domain definition with computed values and actions.
+ *
+ * Note: Due to TypeScript limitations with the Builder DSL generics,
+ * some type assertions are necessary. The runtime behavior is correct.
+ */
+export const CompilerDomain = defineDomain(CompilerStateSchema, ({ state, computed, actions, expr, flow }) => {
+    // ════════════════════════════════════════════════════════════════════════
+    // Computed Values (SPEC.md §5.1)
+    // ════════════════════════════════════════════════════════════════════════
+    const { isIdle, isSegmenting, isNormalizing, isProposing, isValidating, isAwaitingResolution, isTerminal, canRetry, } = computed.define({
+        isIdle: expr.eq(state.status, "idle"),
+        isSegmenting: expr.eq(state.status, "segmenting"),
+        isNormalizing: expr.eq(state.status, "normalizing"),
+        isProposing: expr.eq(state.status, "proposing"),
+        isValidating: expr.eq(state.status, "validating"),
+        isAwaitingResolution: expr.eq(state.status, "awaiting_resolution"),
+        isTerminal: expr.or(expr.eq(state.status, "success"), expr.eq(state.status, "discarded")),
+        canRetry: expr.lt(state.attemptCount, state.maxRetries),
+    });
+    // ════════════════════════════════════════════════════════════════════════
+    // Actions (SPEC.md §5.2)
+    // ════════════════════════════════════════════════════════════════════════
+    // ─────────────────────────────────────────────────────────────────────────
+    // start - Initiates compilation pipeline (§5.2.1)
+    // ─────────────────────────────────────────────────────────────────────────
+    const { start } = actions.define({
+        start: {
+            description: "Start Compilation",
+            input: z.object({
+                text: z.string(),
+                schema: z.unknown().optional(),
+                context: z
+                    .object({
+                    domainName: z.string().optional(),
+                    existingActions: z.array(z.string()).optional(),
+                    glossary: z.record(z.string(), z.string()).optional(),
+                })
+                    .optional(),
+                maxRetries: z.number().optional(),
+                traceDrafts: z.boolean().optional(),
+            }),
+            available: isIdle,
+            flow: flow.seq(flow.patch(state.input).set(expr.input("text")), flow.patch(state.targetSchema).set(expr.input("schema")), flow.patch(state.context).set(expr.input("context")), flow.patch(state.maxRetries).set(expr.coalesce(expr.input("maxRetries"), 5)), flow.patch(state.traceDrafts).set(expr.coalesce(expr.input("traceDrafts"), false)), flow.patch(state.status).set("segmenting"), flow.effect("llm:segment", {
+                text: expr.input("text"),
+            })),
+        },
+    });
+    // ─────────────────────────────────────────────────────────────────────────
+    // receiveSegments - Receives segmentation result from LLM (§5.2.2)
+    // ─────────────────────────────────────────────────────────────────────────
+    const { receiveSegments } = actions.define({
+        receiveSegments: {
+            description: "Receive Segmentation Result",
+            input: z.object({
+                segments: z.array(z.string()),
+            }),
+            available: isSegmenting,
+            flow: flow.seq(flow.patch(state.segments).set(expr.input("segments")), flow.when(expr.eq(expr.len(expr.input("segments")), 0), 
+            // Empty → discard
+            flow.seq(flow.patch(state.status).set("discarded"), flow.patch(state.discardReason).set("SEGMENTATION_FAILED")), 
+            // Has segments → normalize
+            flow.seq(flow.patch(state.status).set("normalizing"), flow.effect("llm:normalize", {
+                segments: expr.input("segments"),
+                schema: state.targetSchema,
+                context: state.context,
+            })))),
+        },
+    });
+    // ─────────────────────────────────────────────────────────────────────────
+    // receiveIntents - Receives normalization result from LLM (§5.2.3)
+    // ─────────────────────────────────────────────────────────────────────────
+    const { receiveIntents } = actions.define({
+        receiveIntents: {
+            description: "Receive Normalization Result",
+            input: z.object({
+                intents: z.array(NormalizedIntentSchema),
+            }),
+            available: isNormalizing,
+            flow: flow.seq(flow.patch(state.intents).set(expr.input("intents")), flow.patch(state.status).set("proposing"), flow.effect("llm:propose", {
+                schema: state.targetSchema,
+                intents: expr.input("intents"),
+                history: state.attempts,
+                context: state.context,
+            })),
+        },
+    });
+    // ─────────────────────────────────────────────────────────────────────────
+    // receiveDraft - Receives draft proposal from LLM (§5.2.4)
+    // ─────────────────────────────────────────────────────────────────────────
+    const { receiveDraft } = actions.define({
+        receiveDraft: {
+            description: "Receive Draft Proposal",
+            input: z.object({
+                draft: z.unknown(),
+            }),
+            available: isProposing,
+            flow: flow.seq(flow.patch(state.currentDraft).set(expr.input("draft")), flow.patch(state.status).set("validating"), flow.effect("builder:validate", {
+                draft: expr.input("draft"),
+            })),
+        },
+    });
+    // ─────────────────────────────────────────────────────────────────────────
+    // receiveValidation - Receives validation result from Builder (§5.2.5)
+    //
+    // Per FDR-C002: LLM is untrusted proposer, Builder is the judge.
+    // Per FDR-C007: Timestamps from effect handlers, not expressions.
+    // Per FDR-C008: Single retry counter increment point (here, on failure+retry).
+    // ─────────────────────────────────────────────────────────────────────────
+    const { receiveValidation } = actions.define({
+        receiveValidation: {
+            description: "Receive Validation Result",
+            input: z.object({
+                valid: z.boolean(),
+                schema: z.unknown().nullable(),
+                diagnostics: CompilerDiagnosticsSchema.nullable(),
+                schemaHash: z.string().nullable(),
+                timestamp: z.number(),
+            }),
+            available: isValidating,
+            flow: flow.seq(flow.patch(state.diagnostics).set(expr.input("diagnostics")), flow.when(expr.input("valid"), 
+            // ─── Success ───
+            flow.seq(flow.patch(state.result).set(expr.input("schema")), flow.patch(state.resultHash).set(expr.input("schemaHash")), flow.patch(state.status).set("success")), 
+            // ─── Failure ───
+            flow.seq(
+            // Check retry eligibility (FDR-C008)
+            flow.when(canRetry, 
+            // ─── Retry ───
+            flow.seq(flow.patch(state.attemptCount).set(expr.add(state.attemptCount, 1)), flow.patch(state.status).set("proposing"), flow.effect("llm:propose", {
+                schema: state.targetSchema,
+                intents: state.intents,
+                history: state.attempts,
+                context: state.context,
+            })), 
+            // ─── Max retries exceeded ───
+            flow.seq(flow.patch(state.status).set("discarded"), flow.patch(state.discardReason).set("MAX_RETRIES_EXCEEDED")))))),
+        },
+    });
+    // ─────────────────────────────────────────────────────────────────────────
+    // requestResolution - Transitions to resolution state (§5.2.6)
+    // Per FDR-C004: ITL-agnostic resolution - Compiler doesn't know who resolves.
+    // ─────────────────────────────────────────────────────────────────────────
+    const { requestResolution } = actions.define({
+        requestResolution: {
+            description: "Request Resolution",
+            input: z.object({
+                reason: z.string(),
+                options: z.array(ResolutionOptionSchema),
+            }),
+            available: expr.or(isNormalizing, isProposing),
+            flow: flow.seq(flow.patch(state.resolutionReason).set(expr.input("reason")), flow.patch(state.resolutionOptions).set(expr.input("options")), flow.patch(state.status).set("awaiting_resolution")),
+        },
+    });
+    // ─────────────────────────────────────────────────────────────────────────
+    // resolve - Resolves ambiguity and resumes pipeline (§5.2.7)
+    // Called by external system (HITL or AITL).
+    // ─────────────────────────────────────────────────────────────────────────
+    const { resolve } = actions.define({
+        resolve: {
+            description: "Resolve Ambiguity",
+            input: z.object({
+                selectedOptionId: z.string(),
+            }),
+            available: isAwaitingResolution,
+            flow: flow.seq(
+            // Clear resolution state
+            flow.patch(state.resolutionOptions).set([]), flow.patch(state.resolutionReason).set(expr.lit(null)), 
+            // Resume at proposing
+            flow.patch(state.status).set("proposing"), flow.effect("llm:propose", {
+                schema: state.targetSchema,
+                intents: state.intents,
+                history: state.attempts,
+                context: state.context,
+                resolution: expr.input("selectedOptionId"),
+            })),
+        },
+    });
+    // ─────────────────────────────────────────────────────────────────────────
+    // discard - Discards compilation (§5.2.8)
+    // Per FDR-C005: Resolution policy determines when this is auto-called.
+    // ─────────────────────────────────────────────────────────────────────────
+    const { discard } = actions.define({
+        discard: {
+            description: "Discard Compilation",
+            input: z.object({
+                reason: z.enum([
+                    "RESOLUTION_REQUIRED_BUT_DISABLED",
+                    "MAX_RETRIES_EXCEEDED",
+                    "EMPTY_INPUT",
+                    "SEGMENTATION_FAILED",
+                ]),
+            }),
+            available: expr.not(isTerminal),
+            flow: flow.seq(flow.patch(state.resolutionOptions).set([]), flow.patch(state.resolutionReason).set(expr.lit(null)), flow.patch(state.status).set("discarded"), flow.patch(state.discardReason).set(expr.input("reason"))),
+        },
+    });
+    // ─────────────────────────────────────────────────────────────────────────
+    // reset - Resets compiler to initial state (§5.2.9)
+    // ─────────────────────────────────────────────────────────────────────────
+    const { reset } = actions.define({
+        reset: {
+            description: "Reset Compiler",
+            input: z.object({}),
+            available: isTerminal,
+            flow: flow.seq(flow.patch(state.input).set(expr.lit(null)), flow.patch(state.targetSchema).set(expr.lit(null)), flow.patch(state.context).set(expr.lit(null)), flow.patch(state.segments).set([]), flow.patch(state.intents).set([]), flow.patch(state.currentDraft).set(expr.lit(null)), flow.patch(state.diagnostics).set(expr.lit(null)), flow.patch(state.attemptCount).set(0), flow.patch(state.attempts).set([]), flow.patch(state.resolutionOptions).set([]), flow.patch(state.resolutionReason).set(expr.lit(null)), flow.patch(state.status).set("idle"), flow.patch(state.result).set(expr.lit(null)), flow.patch(state.resultHash).set(expr.lit(null)), flow.patch(state.discardReason).set(expr.lit(null))),
+        },
+    });
+    // ════════════════════════════════════════════════════════════════════════
+    // Return Domain Output
+    // ════════════════════════════════════════════════════════════════════════
+    // Note: Type assertion needed due to Builder DSL generic limitations
+    // The runtime types are correct, but TypeScript cannot infer them properly
+    return {
+        computed: {
+            isIdle,
+            isSegmenting,
+            isNormalizing,
+            isProposing,
+            isValidating,
+            isAwaitingResolution,
+            isTerminal,
+            canRetry,
+        },
+        actions: {
+            start,
+            receiveSegments,
+            receiveIntents,
+            receiveDraft,
+            receiveValidation,
+            requestResolution,
+            resolve,
+            discard,
+            reset,
+        },
+    };
+}, {
+    id: "manifesto:compiler",
+    version: "1.0.0",
+    meta: {
+        name: "Compiler Domain",
+        description: "Manifesto compiler implemented as a Manifesto application (dogfooding per FDR-C001)",
+    },
+});
+export { INITIAL_STATE };
+//# sourceMappingURL=domain.js.map

package/dist/domain/domain.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"domain.js","sourceRoot":"","sources":["../../src/domain/domain.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,YAAY,EAAE,MAAM,uBAAuB,CAAC;AACrD,OAAO,EACL,mBAAmB,EACnB,sBAAsB,EACtB,sBAAsB,EACtB,yBAAyB,EACzB,aAAa,GACd,MAAM,aAAa,CAAC;AAErB;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,YAAY,CACxC,mBAAmB,EACnB,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE;IAC3C,2EAA2E;IAC3E,iCAAiC;IACjC,2EAA2E;IAE3E,MAAM,EACJ,MAAM,EACN,YAAY,EACZ,aAAa,EACb,WAAW,EACX,YAAY,EACZ,oBAAoB,EACpB,UAAU,EACV,QAAQ,GACT,GAAG,QAAQ,CAAC,MAAM,CAAC;QAClB,MAAM,EAAE,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,EAAE,MAAM,CAAC;QACrC,YAAY,EAAE,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,EAAE,YAAY,CAAC;QACjD,aAAa,EAAE,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,EAAE,aAAa,CAAC;QACnD,WAAW,EAAE,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,EAAE,WAAW,CAAC;QAC/C,YAAY,EAAE,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,EAAE,YAAY,CAAC;QACjD,oBAAoB,EAAE,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,EAAE,qBAAqB,CAAC;QAClE,UAAU,EAAE,IAAI,CAAC,EAAE,CACjB,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,EAAE,SAAS,CAAC,EAChC,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,EAAE,WAAW,CAAC,CACnC;QACD,QAAQ,EAAE,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,YAAY,EAAE,KAAK,CAAC,UAAU,CAAC;KACxD,CAAC,CAAC;IAEH,2EAA2E;IAC3E,yBAAyB;IACzB,2EAA2E;IAE3E,4EAA4E;IAC5E,kDAAkD;IAClD,4EAA4E;IAC5E,MAAM,EAAE,KAAK,EAAE,GAAG,OAAO,CAAC,MAAM,CAAC;QAC/B,KAAK,EAAE;YACL,WAAW,EAAE,mBAAmB;YAChC,KAAK,EAAE,CAAC,CAAC,MAAM,CAAC;gBACd,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE;gBAChB,MAAM,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE;gBAC9B,OAAO,EAAE,CAAC;qBACP,MAAM,CAAC;oBACN,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;oBACjC,eAAe,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,EAAE;oBAC/C,QAAQ,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,EAAE;iBACtD,CAAC;qBACD,QAAQ,EAAE;gBACb,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;gBACjC,WAAW,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE;aACpC,CAAC;YACF,SAAS,EAAE,MAAM;YACjB,IAAI,EAAE,IAAI,CAAC,GAAG,CACZ,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAS,MAAM,CAAC,CAAC,EACvD,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,EACxD,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,SAAS,CAAU,CAAC,EAC7D,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,GAAG,CAC9B,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAqB,YAAY,CAAC,EAAE,CAAC,CAAU,CACxE,EACD,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,GAAG,CAC/B,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAsB,aAAa,CAAC,EAAE,KAAK,CAAU,CAC9E,EACD,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,YAAY,CAAC,EAC1C,IAAI,CAAC,MAAM,CAAC,aAAa,EAAE;gBACzB,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC;aACzB,CAAC,CACH;SACF;KACF,CAAC,CAAC;IAEH,4EAA4E;IAC5E,mEAAmE;IACnE,4EAA4E;IAC5E,MAAM,EAAE,eAAe,EAAE,GAAG,OAAO,CAAC,MAAM,CAAC;QACzC,eAAe,EAAE;YACf,WAAW,EAAE,6BAA6B;YAC1C,KAAK,EAAE,CAAC,CAAC,MAAM,CAAC;gBACd,QAAQ,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;aAC9B,CAAC;YACF,SAAS,EAAE,YAAY;YACvB,IAAI,EAAE,IAAI,CAAC,GAAG,CACZ,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAW,UAAU,CAAC,CAAC,EAChE,IAAI,CAAC,IAAI,CACP,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAW,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC;YACtD,kBAAkB;YAClB,IAAI,CAAC,GAAG,CACN,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,WAAW,CAAC,EACzC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC,GAAG,CAAC,qBAAqB,CAAC,CAC3D;YACD,2BAA2B;YAC3B,IAAI,CAAC,GAAG,CACN,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,aAAa,CAAC,EAC3C,IAAI,CAAC,MAAM,CAAC,eAAe,EAAE;gBAC3B,QAAQ,EAAE,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC;gBAChC,MAAM,EAAE,KAAK,CAAC,YAAY;gBAC1B,OAAO,EAAE,KAAK,CAAC,OAAO;aACvB,CAAC,CACH,CACF,CACF;SACF;KACF,CAAC,CAAC;IAEH,4EAA4E;IAC5E,mEAAmE;IACnE,4EAA4E;IAC5E,MAAM,EAAE,cAAc,EAAE,GAAG,OAAO,CAAC,MAAM,CAAC;QACxC,cAAc,EAAE;YACd,WAAW,EAAE,8BAA8B;YAC3C,KAAK,EAAE,CAAC,CAAC,MAAM,CAAC;gBACd,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC,sBAAsB,CAAC;aACzC,CAAC;YACF,SAAS,EAAE,aAAa;YACxB,IAAI,EAAE,IAAI,CAAC,GAAG,CACZ,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,SAAS,CAAU,CAAC,EAC7D,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,WAAW,CAAC,EACzC,IAAI,CAAC,MAAM,CAAC,aAAa,EAAE;gBACzB,MAAM,EAAE,KAAK,CAAC,YAAY;gBAC1B,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC;gBAC9B,OAAO,EAAE,KAAK,CAAC,QAAQ;gBACvB,OAAO,EAAE,KAAK,CAAC,OAAO;aACvB,CAAC,CACH;SACF;KACF,CAAC,CAAC;IAEH,4EAA4E;IAC5E,2DAA2D;IAC3D,4EAA4E;IAC5E,MAAM,EAAE,YAAY,EAAE,GAAG,OAAO,CAAC,MAAM,CAAC;QACtC,YAAY,EAAE;YACZ,WAAW,EAAE,wBAAwB;YACrC,KAAK,EAAE,CAAC,CAAC,MAAM,CAAC;gBACd,KAAK,EAAE,CAAC,CAAC,OAAO,EAAE;aACnB,CAAC;YACF,SAAS,EAAE,WAAW;YACtB,IAAI,EAAE,IAAI,CAAC,GAAG,CACZ,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,EACvD,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,YAAY,CAAC,EAC1C,IAAI,CAAC,MAAM,CAAC,kBAAkB,EAAE;gBAC9B,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC;aAC3B,CAAC,CACH;SACF;KACF,CAAC,CAAC;IAEH,4EAA4E;IAC5E,uEAAuE;IACvE,EAAE;IACF,iEAAiE;IACjE,kEAAkE;IAClE,+EAA+E;IAC/E,4EAA4E;IAC5E,MAAM,EAAE,iBAAiB,EAAE,GAAG,OAAO,CAAC,MAAM,CAAC;QAC3C,iBAAiB,EAAE;YACjB,WAAW,EAAE,2BAA2B;YACxC,KAAK,EAAE,CAAC,CAAC,MAAM,CAAC;gBACd,KAAK,EAAE,CAAC,CAAC,OAAO,EAAE;gBAClB,MAAM,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE;gBAC9B,WAAW,EAAE,yBAAyB,CAAC,QAAQ,EAAE;gBACjD,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;gBACjC,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE;aACtB,CAAC;YACF,SAAS,EAAE,YAAY;YACvB,IAAI,EAAE,IAAI,CAAC,GAAG,CACZ,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,aAAa,CAAU,CAAC,EACrE,IAAI,CAAC,IAAI,CACP,IAAI,CAAC,KAAK,CAAU,OAAO,CAAC;YAC5B,kBAAkB;YAClB,IAAI,CAAC,GAAG,CACN,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,EAClD,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,YAAY,CAAU,CAAC,EACnE,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,CACxC;YACD,kBAAkB;YAClB,IAAI,CAAC,GAAG;YACN,qCAAqC;YACrC,IAAI,CAAC,IAAI,CACP,QAAQ;YACR,gBAAgB;YAChB,IAAI,CAAC,GAAG,CACN,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC,EACnE,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,WAAW,CAAC,EACzC,IAAI,CAAC,MAAM,CAAC,aAAa,EAAE;gBACzB,MAAM,EAAE,KAAK,CAAC,YAAY;gBAC1B,OAAO,EAAE,KAAK,CAAC,OAAO;gBACtB,OAAO,EAAE,KAAK,CAAC,QAAQ;gBACvB,OAAO,EAAE,KAAK,CAAC,OAAO;aACvB,CAAC,CACH;YACD,+BAA+B;YAC/B,IAAI,CAAC,GAAG,CACN,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,WAAW,CAAC,EACzC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC,GAAG,CAAC,sBAAsB,CAAC,CAC5D,CACF,CACF,CACF,CACF;SACF;KACF,CAAC,CAAC;IAEH,4EAA4E;IAC5E,+DAA+D;IAC/D,8EAA8E;IAC9E,4EAA4E;IAC5E,MAAM,EAAE,iBAAiB,EAAE,GAAG,OAAO,CAAC,MAAM,CAAC;QAC3C,iBAAiB,EAAE;YACjB,WAAW,EAAE,oBAAoB;YACjC,KAAK,EAAE,CAAC,CAAC,MAAM,CAAC;gBACd,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE;gBAClB,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC,sBAAsB,CAAC;aACzC,CAAC;YACF,SAAS,EAAE,IAAI,CAAC,EAAE,CAAC,aAAa,EAAE,WAAW,CAAC;YAC9C,IAAI,EAAE,IAAI,CAAC,GAAG,CACZ,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAS,QAAQ,CAAC,CAAC,EACpE,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,SAAS,CAAU,CAAC,EACvE,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,qBAAqB,CAAC,CACpD;SACF;KACF,CAAC,CAAC;IAEH,4EAA4E;IAC5E,6DAA6D;IAC7D,4CAA4C;IAC5C,4EAA4E;IAC5E,MAAM,EAAE,OAAO,EAAE,GAAG,OAAO,CAAC,MAAM,CAAC;QACjC,OAAO,EAAE;YACP,WAAW,EAAE,mBAAmB;YAChC,KAAK,EAAE,CAAC,CAAC,MAAM,CAAC;gBACd,gBAAgB,EAAE,CAAC,CAAC,MAAM,EAAE;aAC7B,CAAC;YACF,SAAS,EAAE,oBAAoB;YAC/B,IAAI,EAAE,IAAI,CAAC,GAAG;YACZ,yBAAyB;YACzB,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,EAC3C,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAU,CAAC;YAC/D,sBAAsB;YACtB,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,WAAW,CAAC,EACzC,IAAI,CAAC,MAAM,CAAC,aAAa,EAAE;gBACzB,MAAM,EAAE,KAAK,CAAC,YAAY;gBAC1B,OAAO,EAAE,KAAK,CAAC,OAAO;gBACtB,OAAO,EAAE,KAAK,CAAC,QAAQ;gBACvB,OAAO,EAAE,KAAK,CAAC,OAAO;gBACtB,UAAU,EAAE,IAAI,CAAC,KAAK,CAAC,kBAAkB,CAAC;aAC3C,CAAC,CACH;SACF;KACF,CAAC,CAAC;IAEH,4EAA4E;IAC5E,0CAA0C;IAC1C,uEAAuE;IACvE,4EAA4E;IAC5E,MAAM,EAAE,OAAO,EAAE,GAAG,OAAO,CAAC,MAAM,CAAC;QACjC,OAAO,EAAE;YACP,WAAW,EAAE,qBAAqB;YAClC,KAAK,EAAE,CAAC,CAAC,MAAM,CAAC;gBACd,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC;oBACb,kCAAkC;oBAClC,sBAAsB;oBACtB,aAAa;oBACb,qBAAqB;iBACtB,CAAC;aACH,CAAC;YACF,SAAS,EAAE,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC;YAC/B,IAAI,EAAE,IAAI,CAAC,GAAG,CACZ,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,EAC3C,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAU,CAAC,EAC/D,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,WAAW,CAAC,EACzC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAU,CAAC,CACnE;SACF;KACF,CAAC,CAAC;IAEH,4EAA4E;IAC5E,oDAAoD;IACpD,4EAA4E;IAC5E,MAAM,EAAE,KAAK,EAAE,GAAG,OAAO,CAAC,MAAM,CAAC;QAC/B,KAAK,EAAE;YACL,WAAW,EAAE,gBAAgB;YAC7B,KAAK,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC;YACnB,SAAS,EAAE,UAAU;YACrB,IAAI,EAAE,IAAI,CAAC,GAAG,CACZ,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAU,CAAC,EACpD,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,EAClD,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAU,CAAC,EACtD,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,EAClC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,EACjC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,EAClD,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAU,CAAC,EAC1D,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EACrC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,EAClC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,EAC3C,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAU,CAAC,EAC/D,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,EACpC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,EAC5C,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAU,CAAC,EACzD,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAU,CAAC,CAC7D;SACF;KACF,CAAC,CAAC;IAEH,2EAA2E;IAC3E,uBAAuB;IACvB,2EAA2E;IAE3E,qEAAqE;IACrE,2EAA2E;IAC3E,OAAO;QACL,QAAQ,EAAE;YACR,MAAM;YACN,YAAY;YACZ,aAAa;YACb,WAAW;YACX,YAAY;YACZ,oBAAoB;YACpB,UAAU;YACV,QAAQ;SACT;QACD,OAAO,EAAE;YACP,KAAK;YACL,eAAe;YACf,cAAc;YACd,YAAY;YACZ,iBAAiB;YACjB,iBAAiB;YACjB,OAAO;YACP,OAAO;YACP,KAAK;SACN;KACgD,CAAC;AACtD,CAAC,EACD;IACE,EAAE,EAAE,oBAAoB;IACxB,OAAO,EAAE,OAAO;IAChB,IAAI,EAAE;QACJ,IAAI,EAAE,iBAAiB;QACvB,WAAW,EACT,qFAAqF;KACxF;CACF,CACF,CAAC;AAEF,OAAO,EAAE,aAAa,EAAE,CAAC"}

package/dist/domain/index.d.ts

@@ -0,0 +1,4 @@
+export * from "./types.js";
+export * from "./schema.js";
+export { CompilerDomain } from "./domain.js";
+//# sourceMappingURL=index.d.ts.map

package/dist/domain/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/domain/index.ts"],"names":[],"mappings":"AAAA,cAAc,YAAY,CAAC;AAC3B,cAAc,aAAa,CAAC;AAC5B,OAAO,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC"}

package/dist/domain/index.js

@@ -0,0 +1,4 @@
+export * from "./types.js";
+export * from "./schema.js";
+export { CompilerDomain } from "./domain.js";
+//# sourceMappingURL=index.js.map

package/dist/domain/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/domain/index.ts"],"names":[],"mappings":"AAAA,cAAc,YAAY,CAAC;AAC3B,cAAc,aAAa,CAAC;AAC5B,OAAO,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC"}

package/dist/domain/schema.d.ts

@@ -0,0 +1,198 @@
+import { z } from "zod";
+/**
+ * Compiler context schema
+ */
+export declare const CompilerContextSchema: z.ZodObject<{
+    domainName: z.ZodOptional<z.ZodString>;
+    existingActions: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    glossary: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
+}, z.core.$strip>;
+/**
+ * Normalized intent schema
+ */
+export declare const NormalizedIntentSchema: z.ZodObject<{
+    kind: z.ZodEnum<{
+        state: "state";
+        computed: "computed";
+        action: "action";
+        constraint: "constraint";
+    }>;
+    description: z.ZodString;
+    confidence: z.ZodNumber;
+}, z.core.$strip>;
+/**
+ * Compiler diagnostic schema
+ */
+export declare const CompilerDiagnosticSchema: z.ZodObject<{
+    code: z.ZodString;
+    message: z.ZodString;
+    path: z.ZodOptional<z.ZodString>;
+    suggestion: z.ZodOptional<z.ZodString>;
+}, z.core.$strip>;
+/**
+ * Compiler diagnostics schema
+ */
+export declare const CompilerDiagnosticsSchema: z.ZodObject<{
+    valid: z.ZodBoolean;
+    errors: z.ZodArray<z.ZodObject<{
+        code: z.ZodString;
+        message: z.ZodString;
+        path: z.ZodOptional<z.ZodString>;
+        suggestion: z.ZodOptional<z.ZodString>;
+    }, z.core.$strip>>;
+    warnings: z.ZodArray<z.ZodObject<{
+        code: z.ZodString;
+        message: z.ZodString;
+        path: z.ZodOptional<z.ZodString>;
+        suggestion: z.ZodOptional<z.ZodString>;
+    }, z.core.$strip>>;
+}, z.core.$strip>;
+/**
+ * Attempt record schema
+ */
+export declare const AttemptRecordSchema: z.ZodObject<{
+    attemptNumber: z.ZodNumber;
+    draftHash: z.ZodString;
+    diagnostics: z.ZodNullable<z.ZodObject<{
+        valid: z.ZodBoolean;
+        errors: z.ZodArray<z.ZodObject<{
+            code: z.ZodString;
+            message: z.ZodString;
+            path: z.ZodOptional<z.ZodString>;
+            suggestion: z.ZodOptional<z.ZodString>;
+        }, z.core.$strip>>;
+        warnings: z.ZodArray<z.ZodObject<{
+            code: z.ZodString;
+            message: z.ZodString;
+            path: z.ZodOptional<z.ZodString>;
+            suggestion: z.ZodOptional<z.ZodString>;
+        }, z.core.$strip>>;
+    }, z.core.$strip>>;
+    timestamp: z.ZodNumber;
+}, z.core.$strip>;
+/**
+ * Resolution option schema
+ */
+export declare const ResolutionOptionSchema: z.ZodObject<{
+    id: z.ZodString;
+    description: z.ZodString;
+    preview: z.ZodOptional<z.ZodString>;
+}, z.core.$strip>;
+/**
+ * Discard reason schema
+ */
+export declare const DiscardReasonSchema: z.ZodEnum<{
+    RESOLUTION_REQUIRED_BUT_DISABLED: "RESOLUTION_REQUIRED_BUT_DISABLED";
+    MAX_RETRIES_EXCEEDED: "MAX_RETRIES_EXCEEDED";
+    EMPTY_INPUT: "EMPTY_INPUT";
+    SEGMENTATION_FAILED: "SEGMENTATION_FAILED";
+}>;
+/**
+ * Compiler status schema
+ */
+export declare const CompilerStatusSchema: z.ZodEnum<{
+    success: "success";
+    idle: "idle";
+    segmenting: "segmenting";
+    normalizing: "normalizing";
+    proposing: "proposing";
+    validating: "validating";
+    awaiting_resolution: "awaiting_resolution";
+    discarded: "discarded";
+}>;
+/**
+ * CompilerState schema - the complete state for CompilerDomain
+ *
+ * Per SPEC.md §4.2
+ */
+export declare const CompilerStateSchema: z.ZodObject<{
+    input: z.ZodNullable<z.ZodString>;
+    targetSchema: z.ZodNullable<z.ZodUnknown>;
+    context: z.ZodNullable<z.ZodObject<{
+        domainName: z.ZodOptional<z.ZodString>;
+        existingActions: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        glossary: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
+    }, z.core.$strip>>;
+    maxRetries: z.ZodNumber;
+    traceDrafts: z.ZodBoolean;
+    segments: z.ZodArray<z.ZodString>;
+    intents: z.ZodArray<z.ZodObject<{
+        kind: z.ZodEnum<{
+            state: "state";
+            computed: "computed";
+            action: "action";
+            constraint: "constraint";
+        }>;
+        description: z.ZodString;
+        confidence: z.ZodNumber;
+    }, z.core.$strip>>;
+    currentDraft: z.ZodNullable<z.ZodUnknown>;
+    diagnostics: z.ZodNullable<z.ZodObject<{
+        valid: z.ZodBoolean;
+        errors: z.ZodArray<z.ZodObject<{
+            code: z.ZodString;
+            message: z.ZodString;
+            path: z.ZodOptional<z.ZodString>;
+            suggestion: z.ZodOptional<z.ZodString>;
+        }, z.core.$strip>>;
+        warnings: z.ZodArray<z.ZodObject<{
+            code: z.ZodString;
+            message: z.ZodString;
+            path: z.ZodOptional<z.ZodString>;
+            suggestion: z.ZodOptional<z.ZodString>;
+        }, z.core.$strip>>;
+    }, z.core.$strip>>;
+    attemptCount: z.ZodNumber;
+    attempts: z.ZodArray<z.ZodObject<{
+        attemptNumber: z.ZodNumber;
+        draftHash: z.ZodString;
+        diagnostics: z.ZodNullable<z.ZodObject<{
+            valid: z.ZodBoolean;
+            errors: z.ZodArray<z.ZodObject<{
+                code: z.ZodString;
+                message: z.ZodString;
+                path: z.ZodOptional<z.ZodString>;
+                suggestion: z.ZodOptional<z.ZodString>;
+            }, z.core.$strip>>;
+            warnings: z.ZodArray<z.ZodObject<{
+                code: z.ZodString;
+                message: z.ZodString;
+                path: z.ZodOptional<z.ZodString>;
+                suggestion: z.ZodOptional<z.ZodString>;
+            }, z.core.$strip>>;
+        }, z.core.$strip>>;
+        timestamp: z.ZodNumber;
+    }, z.core.$strip>>;
+    resolutionOptions: z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        description: z.ZodString;
+        preview: z.ZodOptional<z.ZodString>;
+    }, z.core.$strip>>;
+    resolutionReason: z.ZodNullable<z.ZodString>;
+    status: z.ZodEnum<{
+        success: "success";
+        idle: "idle";
+        segmenting: "segmenting";
+        normalizing: "normalizing";
+        proposing: "proposing";
+        validating: "validating";
+        awaiting_resolution: "awaiting_resolution";
+        discarded: "discarded";
+    }>;
+    result: z.ZodNullable<z.ZodUnknown>;
+    resultHash: z.ZodNullable<z.ZodString>;
+    discardReason: z.ZodNullable<z.ZodEnum<{
+        RESOLUTION_REQUIRED_BUT_DISABLED: "RESOLUTION_REQUIRED_BUT_DISABLED";
+        MAX_RETRIES_EXCEEDED: "MAX_RETRIES_EXCEEDED";
+        EMPTY_INPUT: "EMPTY_INPUT";
+        SEGMENTATION_FAILED: "SEGMENTATION_FAILED";
+    }>>;
+}, z.core.$strip>;
+export type CompilerStateSchemaType = z.infer<typeof CompilerStateSchema>;
+/**
+ * Initial state for the compiler
+ *
+ * Per SPEC.md §4.3
+ */
+export declare const INITIAL_STATE: CompilerStateSchemaType;
+//# sourceMappingURL=schema.d.ts.map

package/dist/domain/schema.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"schema.d.ts","sourceRoot":"","sources":["../../src/domain/schema.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB;;GAEG;AACH,eAAO,MAAM,qBAAqB;;;;iBAIhC,CAAC;AAEH;;GAEG;AACH,eAAO,MAAM,sBAAsB;;;;;;;;;iBAIjC,CAAC;AAEH;;GAEG;AACH,eAAO,MAAM,wBAAwB;;;;;iBAKnC,CAAC;AAEH;;GAEG;AACH,eAAO,MAAM,yBAAyB;;;;;;;;;;;;;;iBAIpC,CAAC;AAEH;;GAEG;AACH,eAAO,MAAM,mBAAmB;;;;;;;;;;;;;;;;;;;iBAK9B,CAAC;AAEH;;GAEG;AACH,eAAO,MAAM,sBAAsB;;;;iBAIjC,CAAC;AAEH;;GAEG;AACH,eAAO,MAAM,mBAAmB;;;;;EAK9B,CAAC;AAEH;;GAEG;AACH,eAAO,MAAM,oBAAoB;;;;;;;;;EAS/B,CAAC;AAEH;;;;GAIG;AACH,eAAO,MAAM,mBAAmB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;iBAmC9B,CAAC;AAEH,MAAM,MAAM,uBAAuB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,mBAAmB,CAAC,CAAC;AAE1E;;;;GAIG;AACH,eAAO,MAAM,aAAa,EAAE,uBAkB3B,CAAC"}

package/dist/domain/schema.js

@@ -0,0 +1,131 @@
+import { z } from "zod";
+/**
+ * Compiler context schema
+ */
+export const CompilerContextSchema = z.object({
+    domainName: z.string().optional(),
+    existingActions: z.array(z.string()).optional(),
+    glossary: z.record(z.string(), z.string()).optional(),
+});
+/**
+ * Normalized intent schema
+ */
+export const NormalizedIntentSchema = z.object({
+    kind: z.enum(["state", "computed", "action", "constraint"]),
+    description: z.string(),
+    confidence: z.number().min(0).max(1),
+});
+/**
+ * Compiler diagnostic schema
+ */
+export const CompilerDiagnosticSchema = z.object({
+    code: z.string(),
+    message: z.string(),
+    path: z.string().optional(),
+    suggestion: z.string().optional(),
+});
+/**
+ * Compiler diagnostics schema
+ */
+export const CompilerDiagnosticsSchema = z.object({
+    valid: z.boolean(),
+    errors: z.array(CompilerDiagnosticSchema),
+    warnings: z.array(CompilerDiagnosticSchema),
+});
+/**
+ * Attempt record schema
+ */
+export const AttemptRecordSchema = z.object({
+    attemptNumber: z.number(),
+    draftHash: z.string(),
+    diagnostics: CompilerDiagnosticsSchema.nullable(),
+    timestamp: z.number(),
+});
+/**
+ * Resolution option schema
+ */
+export const ResolutionOptionSchema = z.object({
+    id: z.string(),
+    description: z.string(),
+    preview: z.string().optional(),
+});
+/**
+ * Discard reason schema
+ */
+export const DiscardReasonSchema = z.enum([
+    "RESOLUTION_REQUIRED_BUT_DISABLED",
+    "MAX_RETRIES_EXCEEDED",
+    "EMPTY_INPUT",
+    "SEGMENTATION_FAILED",
+]);
+/**
+ * Compiler status schema
+ */
+export const CompilerStatusSchema = z.enum([
+    "idle",
+    "segmenting",
+    "normalizing",
+    "proposing",
+    "validating",
+    "awaiting_resolution",
+    "success",
+    "discarded",
+]);
+/**
+ * CompilerState schema - the complete state for CompilerDomain
+ *
+ * Per SPEC.md §4.2
+ */
+export const CompilerStateSchema = z.object({
+    // ─── Input ───
+    input: z.string().nullable(),
+    targetSchema: z.unknown().nullable(),
+    context: CompilerContextSchema.nullable(),
+    // ─── Configuration ───
+    maxRetries: z.number(),
+    traceDrafts: z.boolean(),
+    // ─── Pipeline State ───
+    segments: z.array(z.string()),
+    intents: z.array(NormalizedIntentSchema),
+    currentDraft: z.unknown().nullable(),
+    // ─── Validation State ───
+    diagnostics: CompilerDiagnosticsSchema.nullable(),
+    // ─── Loop Control ───
+    attemptCount: z.number(),
+    // ─── History (when traceDrafts: true) ───
+    attempts: z.array(AttemptRecordSchema),
+    // ─── Resolution State ───
+    resolutionOptions: z.array(ResolutionOptionSchema),
+    resolutionReason: z.string().nullable(),
+    // ─── Status ───
+    status: CompilerStatusSchema,
+    // ─── Output ───
+    result: z.unknown().nullable(),
+    resultHash: z.string().nullable(),
+    discardReason: DiscardReasonSchema.nullable(),
+});
+/**
+ * Initial state for the compiler
+ *
+ * Per SPEC.md §4.3
+ */
+export const INITIAL_STATE = {
+    input: null,
+    targetSchema: null,
+    context: null,
+    maxRetries: 5,
+    traceDrafts: false,
+    segments: [],
+    intents: [],
+    currentDraft: null,
+    diagnostics: null,
+    attemptCount: 0,
+    attempts: [],
+    resolutionOptions: [],
+    resolutionReason: null,
+    status: "idle",
+    result: null,
+    resultHash: null,
+    discardReason: null,
+};
+//# sourceMappingURL=schema.js.map

package/dist/domain/schema.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"schema.js","sourceRoot":"","sources":["../../src/domain/schema.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB;;GAEG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC,CAAC,MAAM,CAAC;IAC5C,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IACjC,eAAe,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,EAAE;IAC/C,QAAQ,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,EAAE;CACtD,CAAC,CAAC;AAEH;;GAEG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,CAAC,CAAC,MAAM,CAAC;IAC7C,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,YAAY,CAAC,CAAC;IAC3D,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE;IACvB,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;CACrC,CAAC,CAAC;AAEH;;GAEG;AACH,MAAM,CAAC,MAAM,wBAAwB,GAAG,CAAC,CAAC,MAAM,CAAC;IAC/C,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE;IAChB,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE;IACnB,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC3B,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;CAClC,CAAC,CAAC;AAEH;;GAEG;AACH,MAAM,CAAC,MAAM,yBAAyB,GAAG,CAAC,CAAC,MAAM,CAAC;IAChD,KAAK,EAAE,CAAC,CAAC,OAAO,EAAE;IAClB,MAAM,EAAE,CAAC,CAAC,KAAK,CAAC,wBAAwB,CAAC;IACzC,QAAQ,EAAE,CAAC,CAAC,KAAK,CAAC,wBAAwB,CAAC;CAC5C,CAAC,CAAC;AAEH;;GAEG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAAC,CAAC,MAAM,CAAC;IAC1C,aAAa,EAAE,CAAC,CAAC,MAAM,EAAE;IACzB,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE;IACrB,WAAW,EAAE,yBAAyB,CAAC,QAAQ,EAAE;IACjD,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE;CACtB,CAAC,CAAC;AAEH;;GAEG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,CAAC,CAAC,MAAM,CAAC;IAC7C,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE;IACd,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE;IACvB,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;CAC/B,CAAC,CAAC;AAEH;;GAEG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAAC,CAAC,IAAI,CAAC;IACxC,kCAAkC;IAClC,sBAAsB;IACtB,aAAa;IACb,qBAAqB;CACtB,CAAC,CAAC;AAEH;;GAEG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,CAAC,IAAI,CAAC;IACzC,MAAM;IACN,YAAY;IACZ,aAAa;IACb,WAAW;IACX,YAAY;IACZ,qBAAqB;IACrB,SAAS;IACT,WAAW;CACZ,CAAC,CAAC;AAEH;;;;GAIG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAAC,CAAC,MAAM,CAAC;IAC1C,gBAAgB;IAChB,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC5B,YAAY,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE;IACpC,OAAO,EAAE,qBAAqB,CAAC,QAAQ,EAAE;IAEzC,wBAAwB;IACxB,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE;IACtB,WAAW,EAAE,CAAC,CAAC,OAAO,EAAE;IAExB,yBAAyB;IACzB,QAAQ,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;IAC7B,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC,sBAAsB,CAAC;IACxC,YAAY,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE;IAEpC,2BAA2B;IAC3B,WAAW,EAAE,yBAAyB,CAAC,QAAQ,EAAE;IAEjD,uBAAuB;IACvB,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE;IAExB,2CAA2C;IAC3C,QAAQ,EAAE,CAAC,CAAC,KAAK,CAAC,mBAAmB,CAAC;IAEtC,2BAA2B;IAC3B,iBAAiB,EAAE,CAAC,CAAC,KAAK,CAAC,sBAAsB,CAAC;IAClD,gBAAgB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAEvC,iBAAiB;IACjB,MAAM,EAAE,oBAAoB;IAE5B,iBAAiB;IACjB,MAAM,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE;IAC9B,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IACjC,aAAa,EAAE,mBAAmB,CAAC,QAAQ,EAAE;CAC9C,CAAC,CAAC;AAIH;;;;GAIG;AACH,MAAM,CAAC,MAAM,aAAa,GAA4B;IACpD,KAAK,EAAE,IAAI;IACX,YAAY,EAAE,IAAI;IAClB,OAAO,EAAE,IAAI;IACb,UAAU,EAAE,CAAC;IACb,WAAW,EAAE,KAAK;IAClB,QAAQ,EAAE,EAAE;IACZ,OAAO,EAAE,EAAE;IACX,YAAY,EAAE,IAAI;IAClB,WAAW,EAAE,IAAI;IACjB,YAAY,EAAE,CAAC;IACf,QAAQ,EAAE,EAAE;IACZ,iBAAiB,EAAE,EAAE;IACrB,gBAAgB,EAAE,IAAI;IACtB,MAAM,EAAE,MAAM;IACd,MAAM,EAAE,IAAI;IACZ,UAAU,EAAE,IAAI;IAChB,aAAa,EAAE,IAAI;CACpB,CAAC"}