edict-lang 0.1.0

package/dist/effects/effect-check.js

@@ -0,0 +1,48 @@
+// =============================================================================
+// Effect Checker
+// =============================================================================
+// Single-pass analysis: verify that each function's declared effects cover
+// the effects of the functions it calls.
+import { effectViolation, effectInPure } from "../errors/structured-errors.js";
+import { buildCallGraph } from "./call-graph.js";
+/**
+ * Check effect consistency across all functions in the module.
+ *
+ * For each function, iterates its call edges (skipping imports):
+ * - If caller is `pure`: any callee with non-pure effects → `effect_in_pure` error
+ * - If caller is not `pure`: missing caller effects → `effect_violation` error
+ *
+ * Returns an empty array if all effects are consistent.
+ */
+export function effectCheck(module) {
+    const { graph, functionDefs, importedNames } = buildCallGraph(module);
+    const errors = [];
+    for (const [fnName, fn] of functionDefs) {
+        const edges = graph.get(fnName) ?? [];
+        const callerEffects = new Set(fn.effects);
+        const isPure = callerEffects.has("pure");
+        for (const edge of edges) {
+            // Skip imported functions — effect-opaque
+            if (importedNames.has(edge.calleeName))
+                continue;
+            // Skip unknown callees (e.g., parameters used as functions)
+            const callee = functionDefs.get(edge.calleeName);
+            if (!callee)
+                continue;
+            const calleeNonPure = callee.effects.filter(e => e !== "pure");
+            if (calleeNonPure.length === 0)
+                continue;
+            if (isPure) {
+                errors.push(effectInPure(fn.id, fnName, edge.callSiteNodeId, edge.calleeName, calleeNonPure));
+            }
+            else {
+                const missing = calleeNonPure.filter(e => !callerEffects.has(e));
+                if (missing.length > 0) {
+                    errors.push(effectViolation(fn.id, fnName, missing, edge.callSiteNodeId, edge.calleeName));
+                }
+            }
+        }
+    }
+    return errors;
+}
+//# sourceMappingURL=effect-check.js.map

package/dist/effects/effect-check.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"effect-check.js","sourceRoot":"","sources":["../../src/effects/effect-check.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,iBAAiB;AACjB,gFAAgF;AAChF,2EAA2E;AAC3E,yCAAyC;AAIzC,OAAO,EAAE,eAAe,EAAE,YAAY,EAAE,MAAM,gCAAgC,CAAC;AAC/E,OAAO,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAC;AAEjD;;;;;;;;GAQG;AACH,MAAM,UAAU,WAAW,CAAC,MAAmB;IAC3C,MAAM,EAAE,KAAK,EAAE,YAAY,EAAE,aAAa,EAAE,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC;IACtE,MAAM,MAAM,GAAsB,EAAE,CAAC;IAErC,KAAK,MAAM,CAAC,MAAM,EAAE,EAAE,CAAC,IAAI,YAAY,EAAE,CAAC;QACtC,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;QACtC,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC;QAC1C,MAAM,MAAM,GAAG,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAEzC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACvB,0CAA0C;YAC1C,IAAI,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC;gBAAE,SAAS;YAEjD,4DAA4D;YAC5D,MAAM,MAAM,GAAG,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YACjD,IAAI,CAAC,MAAM;gBAAE,SAAS;YAEtB,MAAM,aAAa,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,MAAM,CAAC,CAAC;YAC/D,IAAI,aAAa,CAAC,MAAM,KAAK,CAAC;gBAAE,SAAS;YAEzC,IAAI,MAAM,EAAE,CAAC;gBACT,MAAM,CAAC,IAAI,CAAC,YAAY,CACpB,EAAE,CAAC,EAAE,EACL,MAAM,EACN,IAAI,CAAC,cAAc,EACnB,IAAI,CAAC,UAAU,EACf,aAAa,CAChB,CAAC,CAAC;YACP,CAAC;iBAAM,CAAC;gBACJ,MAAM,OAAO,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;gBACjE,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;oBACrB,MAAM,CAAC,IAAI,CAAC,eAAe,CACvB,EAAE,CAAC,EAAE,EACL,MAAM,EACN,OAAO,EACP,IAAI,CAAC,cAAc,EACnB,IAAI,CAAC,UAAU,CAClB,CAAC,CAAC;gBACP,CAAC;YACL,CAAC;QACL,CAAC;IACL,CAAC;IAED,OAAO,MAAM,CAAC;AAClB,CAAC"}

package/dist/errors/structured-errors.d.ts

@@ -0,0 +1,193 @@
+import type { Effect } from "../ast/nodes.js";
+import type { TypeExpr } from "../ast/types.js";
+/**
+ * Union of all compiler errors (Phase 1–4).
+ */
+export type StructuredError = DuplicateIdError | UnknownNodeKindError | MissingFieldError | InvalidFieldTypeError | InvalidEffectError | InvalidOperatorError | InvalidBasicTypeName | ConflictingEffectsError | UndefinedReferenceError | DuplicateDefinitionError | UnknownRecordError | UnknownEnumError | UnknownVariantError | TypeMismatchError | ArityMismatchError | NotAFunctionError | UnknownFieldError | MissingRecordFieldsError | EffectViolationError | EffectInPureError | ContractFailureError | VerificationTimeoutError | UndecidablePredicateError | PreconditionNotMetError;
+export interface DuplicateIdError {
+    error: "duplicate_id";
+    nodeId: string;
+    firstPath: string;
+    secondPath: string;
+}
+export interface UnknownNodeKindError {
+    error: "unknown_node_kind";
+    path: string;
+    received: string;
+    validKinds: readonly string[];
+}
+export interface MissingFieldError {
+    error: "missing_field";
+    path: string;
+    nodeId: string | null;
+    field: string;
+    expectedFormat: string;
+}
+export interface InvalidFieldTypeError {
+    error: "invalid_field_type";
+    path: string;
+    nodeId: string | null;
+    field: string;
+    expectedFormat: string;
+    actualFormat: string;
+}
+export interface InvalidEffectError {
+    error: "invalid_effect";
+    path: string;
+    nodeId: string | null;
+    received: string;
+    validEffects: readonly string[];
+}
+export interface InvalidOperatorError {
+    error: "invalid_operator";
+    path: string;
+    nodeId: string | null;
+    received: string;
+    validOperators: readonly string[];
+}
+export interface InvalidBasicTypeName {
+    error: "invalid_basic_type_name";
+    path: string;
+    nodeId: string | null;
+    received: string;
+    validNames: readonly string[];
+}
+export interface ConflictingEffectsError {
+    error: "conflicting_effects";
+    path: string;
+    nodeId: string | null;
+    effectsFound: string[];
+}
+export interface UndefinedReferenceError {
+    error: "undefined_reference";
+    nodeId: string | null;
+    name: string;
+    candidates: string[];
+}
+export interface DuplicateDefinitionError {
+    error: "duplicate_definition";
+    nodeId: string | null;
+    name: string;
+    firstNodeId: string | null;
+}
+export interface UnknownRecordError {
+    error: "unknown_record";
+    nodeId: string | null;
+    name: string;
+    candidates: string[];
+}
+export interface UnknownEnumError {
+    error: "unknown_enum";
+    nodeId: string | null;
+    name: string;
+    candidates: string[];
+}
+export interface UnknownVariantError {
+    error: "unknown_variant";
+    nodeId: string | null;
+    enumName: string;
+    variantName: string;
+    availableVariants: string[];
+}
+export interface TypeMismatchError {
+    error: "type_mismatch";
+    nodeId: string | null;
+    expected: TypeExpr;
+    actual: TypeExpr;
+}
+export interface ArityMismatchError {
+    error: "arity_mismatch";
+    nodeId: string | null;
+    expected: number;
+    actual: number;
+}
+export interface NotAFunctionError {
+    error: "not_a_function";
+    nodeId: string | null;
+    actualType: TypeExpr;
+}
+export interface UnknownFieldError {
+    error: "unknown_field";
+    nodeId: string | null;
+    recordName: string;
+    fieldName: string;
+    availableFields: string[];
+}
+export interface MissingRecordFieldsError {
+    error: "missing_record_fields";
+    nodeId: string | null;
+    recordName: string;
+    missingFields: string[];
+}
+export declare function duplicateId(nodeId: string, firstPath: string, secondPath: string): DuplicateIdError;
+export declare function unknownNodeKind(path: string, received: string, validKinds: readonly string[]): UnknownNodeKindError;
+export declare function missingField(path: string, nodeId: string | null, field: string, expectedFormat: string): MissingFieldError;
+export declare function invalidFieldType(path: string, nodeId: string | null, field: string, expectedFormat: string, actualFormat: string): InvalidFieldTypeError;
+export declare function invalidEffect(path: string, nodeId: string | null, received: string, validEffects: readonly string[]): InvalidEffectError;
+export declare function invalidOperator(path: string, nodeId: string | null, received: string, validOperators: readonly string[]): InvalidOperatorError;
+export declare function invalidBasicTypeName(path: string, nodeId: string | null, received: string, validNames: readonly string[]): InvalidBasicTypeName;
+export declare function conflictingEffects(path: string, nodeId: string | null, effectsFound: string[]): ConflictingEffectsError;
+export declare function undefinedReference(nodeId: string | null, name: string, candidates: string[]): UndefinedReferenceError;
+export declare function duplicateDefinition(nodeId: string | null, name: string, firstNodeId: string | null): DuplicateDefinitionError;
+export declare function unknownRecord(nodeId: string | null, name: string, candidates: string[]): UnknownRecordError;
+export declare function unknownEnum(nodeId: string | null, name: string, candidates: string[]): UnknownEnumError;
+export declare function unknownVariant(nodeId: string | null, enumName: string, variantName: string, availableVariants: string[]): UnknownVariantError;
+export declare function typeMismatch(nodeId: string | null, expected: TypeExpr, actual: TypeExpr): TypeMismatchError;
+export declare function arityMismatch(nodeId: string | null, expected: number, actual: number): ArityMismatchError;
+export declare function notAFunction(nodeId: string | null, actualType: TypeExpr): NotAFunctionError;
+export declare function unknownField(nodeId: string | null, recordName: string, fieldName: string, availableFields: string[]): UnknownFieldError;
+export declare function missingRecordFields(nodeId: string | null, recordName: string, missingFields: string[]): MissingRecordFieldsError;
+export interface EffectViolationError {
+    error: "effect_violation";
+    nodeId: string | null;
+    functionName: string;
+    missingEffects: Effect[];
+    callSiteNodeId: string | null;
+    calleeName: string;
+}
+export interface EffectInPureError {
+    error: "effect_in_pure";
+    nodeId: string | null;
+    functionName: string;
+    callSiteNodeId: string | null;
+    calleeName: string;
+    calleeEffects: Effect[];
+}
+export declare function effectViolation(nodeId: string | null, functionName: string, missingEffects: Effect[], callSiteNodeId: string | null, calleeName: string): EffectViolationError;
+export declare function effectInPure(nodeId: string | null, functionName: string, callSiteNodeId: string | null, calleeName: string, calleeEffects: Effect[]): EffectInPureError;
+export interface ContractFailureError {
+    error: "contract_failure";
+    nodeId: string;
+    contractId: string;
+    functionName: string;
+    contractKind: "pre" | "post";
+    counterexample: Record<string, unknown>;
+}
+export interface VerificationTimeoutError {
+    error: "verification_timeout";
+    nodeId: string;
+    contractId: string;
+    functionName: string;
+    timeoutMs: number;
+}
+export interface UndecidablePredicateError {
+    error: "undecidable_predicate";
+    nodeId: string;
+    contractId: string;
+    functionName: string;
+    unsupportedNodeKind: string;
+}
+export interface PreconditionNotMetError {
+    error: "precondition_not_met";
+    nodeId: string;
+    callSiteId: string;
+    callerName: string;
+    calleeName: string;
+    contractId: string;
+    counterexample: Record<string, unknown>;
+}
+export declare function contractFailure(nodeId: string, contractId: string, functionName: string, contractKind: "pre" | "post", counterexample: Record<string, unknown>): ContractFailureError;
+export declare function verificationTimeout(nodeId: string, contractId: string, functionName: string, timeoutMs: number): VerificationTimeoutError;
+export declare function undecidablePredicate(nodeId: string, contractId: string, functionName: string, unsupportedNodeKind: string): UndecidablePredicateError;
+export declare function preconditionNotMet(nodeId: string, callSiteId: string, callerName: string, calleeName: string, contractId: string, counterexample: Record<string, unknown>): PreconditionNotMetError;
+//# sourceMappingURL=structured-errors.d.ts.map

package/dist/errors/structured-errors.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"structured-errors.d.ts","sourceRoot":"","sources":["../../src/errors/structured-errors.ts"],"names":[],"mappings":"AAMA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,iBAAiB,CAAC;AAC9C,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAC;AAEhD;;GAEG;AACH,MAAM,MAAM,eAAe,GAErB,gBAAgB,GAChB,oBAAoB,GACpB,iBAAiB,GACjB,qBAAqB,GACrB,kBAAkB,GAClB,oBAAoB,GACpB,oBAAoB,GACpB,uBAAuB,GAEvB,uBAAuB,GACvB,wBAAwB,GACxB,kBAAkB,GAClB,gBAAgB,GAChB,mBAAmB,GAEnB,iBAAiB,GACjB,kBAAkB,GAClB,iBAAiB,GACjB,iBAAiB,GACjB,wBAAwB,GAExB,oBAAoB,GACpB,iBAAiB,GAEjB,oBAAoB,GACpB,wBAAwB,GACxB,yBAAyB,GACzB,uBAAuB,CAAC;AAM9B,MAAM,WAAW,gBAAgB;IAC7B,KAAK,EAAE,cAAc,CAAC;IACtB,MAAM,EAAE,MAAM,CAAC;IACf,SAAS,EAAE,MAAM,CAAC;IAClB,UAAU,EAAE,MAAM,CAAC;CACtB;AAED,MAAM,WAAW,oBAAoB;IACjC,KAAK,EAAE,mBAAmB,CAAC;IAC3B,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,MAAM,CAAC;IACjB,UAAU,EAAE,SAAS,MAAM,EAAE,CAAC;CACjC;AAED,MAAM,WAAW,iBAAiB;IAC9B,KAAK,EAAE,eAAe,CAAC;IACvB,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IACtB,KAAK,EAAE,MAAM,CAAC;IACd,cAAc,EAAE,MAAM,CAAC;CAC1B;AAED,MAAM,WAAW,qBAAqB;IAClC,KAAK,EAAE,oBAAoB,CAAC;IAC5B,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IACtB,KAAK,EAAE,MAAM,CAAC;IACd,cAAc,EAAE,MAAM,CAAC;IACvB,YAAY,EAAE,MAAM,CAAC;CACxB;AAED,MAAM,WAAW,kBAAkB;IAC/B,KAAK,EAAE,gBAAgB,CAAC;IACxB,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IACtB,QAAQ,EAAE,MAAM,CAAC;IACjB,YAAY,EAAE,SAAS,MAAM,EAAE,CAAC;CACnC;AAED,MAAM,WAAW,oBAAoB;IACjC,KAAK,EAAE,kBAAkB,CAAC;IAC1B,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IACtB,QAAQ,EAAE,MAAM,CAAC;IACjB,cAAc,EAAE,SAAS,MAAM,EAAE,CAAC;CACrC;AAED,MAAM,WAAW,oBAAoB;IACjC,KAAK,EAAE,yBAAyB,CAAC;IACjC,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IACtB,QAAQ,EAAE,MAAM,CAAC;IACjB,UAAU,EAAE,SAAS,MAAM,EAAE,CAAC;CACjC;AAED,MAAM,WAAW,uBAAuB;IACpC,KAAK,EAAE,qBAAqB,CAAC;IAC7B,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IACtB,YAAY,EAAE,MAAM,EAAE,CAAC;CAC1B;AAMD,MAAM,WAAW,uBAAuB;IACpC,KAAK,EAAE,qBAAqB,CAAC;IAC7B,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IACtB,IAAI,EAAE,MAAM,CAAC;IACb,UAAU,EAAE,MAAM,EAAE,CAAC;CACxB;AAED,MAAM,WAAW,wBAAwB;IACrC,KAAK,EAAE,sBAAsB,CAAC;IAC9B,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IACtB,IAAI,EAAE,MAAM,CAAC;IACb,WAAW,EAAE,MAAM,GAAG,IAAI,CAAC;CAC9B;AAED,MAAM,WAAW,kBAAkB;IAC/B,KAAK,EAAE,gBAAgB,CAAC;IACxB,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IACtB,IAAI,EAAE,MAAM,CAAC;IACb,UAAU,EAAE,MAAM,EAAE,CAAC;CACxB;AAED,MAAM,WAAW,gBAAgB;IAC7B,KAAK,EAAE,cAAc,CAAC;IACtB,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IACtB,IAAI,EAAE,MAAM,CAAC;IACb,UAAU,EAAE,MAAM,EAAE,CAAC;CACxB;AAED,MAAM,WAAW,mBAAmB;IAChC,KAAK,EAAE,iBAAiB,CAAC;IACzB,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IACtB,QAAQ,EAAE,MAAM,CAAC;IACjB,WAAW,EAAE,MAAM,CAAC;IACpB,iBAAiB,EAAE,MAAM,EAAE,CAAC;CAC/B;AAMD,MAAM,WAAW,iBAAiB;IAC9B,KAAK,EAAE,eAAe,CAAC;IACvB,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IACtB,QAAQ,EAAE,QAAQ,CAAC;IACnB,MAAM,EAAE,QAAQ,CAAC;CACpB;AAED,MAAM,WAAW,kBAAkB;IAC/B,KAAK,EAAE,gBAAgB,CAAC;IACxB,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IACtB,QAAQ,EAAE,MAAM,CAAC;IACjB,MAAM,EAAE,MAAM,CAAC;CAClB;AAED,MAAM,WAAW,iBAAiB;IAC9B,KAAK,EAAE,gBAAgB,CAAC;IACxB,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IACtB,UAAU,EAAE,QAAQ,CAAC;CACxB;AAED,MAAM,WAAW,iBAAiB;IAC9B,KAAK,EAAE,eAAe,CAAC;IACvB,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IACtB,UAAU,EAAE,MAAM,CAAC;IACnB,SAAS,EAAE,MAAM,CAAC;IAClB,eAAe,EAAE,MAAM,EAAE,CAAC;CAC7B;AAED,MAAM,WAAW,wBAAwB;IACrC,KAAK,EAAE,uBAAuB,CAAC;IAC/B,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IACtB,UAAU,EAAE,MAAM,CAAC;IACnB,aAAa,EAAE,MAAM,EAAE,CAAC;CAC3B;AAMD,wBAAgB,WAAW,CACvB,MAAM,EAAE,MAAM,EACd,SAAS,EAAE,MAAM,EACjB,UAAU,EAAE,MAAM,GACnB,gBAAgB,CAElB;AAED,wBAAgB,eAAe,CAC3B,IAAI,EAAE,MAAM,EACZ,QAAQ,EAAE,MAAM,EAChB,UAAU,EAAE,SAAS,MAAM,EAAE,GAC9B,oBAAoB,CAEtB;AAED,wBAAgB,YAAY,CACxB,IAAI,EAAE,MAAM,EACZ,MAAM,EAAE,MAAM,GAAG,IAAI,EACrB,KAAK,EAAE,MAAM,EACb,cAAc,EAAE,MAAM,GACvB,iBAAiB,CAEnB;AAED,wBAAgB,gBAAgB,CAC5B,IAAI,EAAE,MAAM,EACZ,MAAM,EAAE,MAAM,GAAG,IAAI,EACrB,KAAK,EAAE,MAAM,EACb,cAAc,EAAE,MAAM,EACtB,YAAY,EAAE,MAAM,GACrB,qBAAqB,CAEvB;AAED,wBAAgB,aAAa,CACzB,IAAI,EAAE,MAAM,EACZ,MAAM,EAAE,MAAM,GAAG,IAAI,EACrB,QAAQ,EAAE,MAAM,EAChB,YAAY,EAAE,SAAS,MAAM,EAAE,GAChC,kBAAkB,CAEpB;AAED,wBAAgB,eAAe,CAC3B,IAAI,EAAE,MAAM,EACZ,MAAM,EAAE,MAAM,GAAG,IAAI,EACrB,QAAQ,EAAE,MAAM,EAChB,cAAc,EAAE,SAAS,MAAM,EAAE,GAClC,oBAAoB,CAQtB;AAED,wBAAgB,oBAAoB,CAChC,IAAI,EAAE,MAAM,EACZ,MAAM,EAAE,MAAM,GAAG,IAAI,EACrB,QAAQ,EAAE,MAAM,EAChB,UAAU,EAAE,SAAS,MAAM,EAAE,GAC9B,oBAAoB,CAEtB;AAED,wBAAgB,kBAAkB,CAC9B,IAAI,EAAE,MAAM,EACZ,MAAM,EAAE,MAAM,GAAG,IAAI,EACrB,YAAY,EAAE,MAAM,EAAE,GACvB,uBAAuB,CAEzB;AAMD,wBAAgB,kBAAkB,CAC9B,MAAM,EAAE,MAAM,GAAG,IAAI,EACrB,IAAI,EAAE,MAAM,EACZ,UAAU,EAAE,MAAM,EAAE,GACrB,uBAAuB,CAEzB;AAED,wBAAgB,mBAAmB,CAC/B,MAAM,EAAE,MAAM,GAAG,IAAI,EACrB,IAAI,EAAE,MAAM,EACZ,WAAW,EAAE,MAAM,GAAG,IAAI,GAC3B,wBAAwB,CAE1B;AAED,wBAAgB,aAAa,CACzB,MAAM,EAAE,MAAM,GAAG,IAAI,EACrB,IAAI,EAAE,MAAM,EACZ,UAAU,EAAE,MAAM,EAAE,GACrB,kBAAkB,CAEpB;AAED,wBAAgB,WAAW,CACvB,MAAM,EAAE,MAAM,GAAG,IAAI,EACrB,IAAI,EAAE,MAAM,EACZ,UAAU,EAAE,MAAM,EAAE,GACrB,gBAAgB,CAElB;AAED,wBAAgB,cAAc,CAC1B,MAAM,EAAE,MAAM,GAAG,IAAI,EACrB,QAAQ,EAAE,MAAM,EAChB,WAAW,EAAE,MAAM,EACnB,iBAAiB,EAAE,MAAM,EAAE,GAC5B,mBAAmB,CAErB;AAED,wBAAgB,YAAY,CACxB,MAAM,EAAE,MAAM,GAAG,IAAI,EACrB,QAAQ,EAAE,QAAQ,EAClB,MAAM,EAAE,QAAQ,GACjB,iBAAiB,CAEnB;AAED,wBAAgB,aAAa,CACzB,MAAM,EAAE,MAAM,GAAG,IAAI,EACrB,QAAQ,EAAE,MAAM,EAChB,MAAM,EAAE,MAAM,GACf,kBAAkB,CAEpB;AAED,wBAAgB,YAAY,CACxB,MAAM,EAAE,MAAM,GAAG,IAAI,EACrB,UAAU,EAAE,QAAQ,GACrB,iBAAiB,CAEnB;AAED,wBAAgB,YAAY,CACxB,MAAM,EAAE,MAAM,GAAG,IAAI,EACrB,UAAU,EAAE,MAAM,EAClB,SAAS,EAAE,MAAM,EACjB,eAAe,EAAE,MAAM,EAAE,GAC1B,iBAAiB,CAEnB;AAED,wBAAgB,mBAAmB,CAC/B,MAAM,EAAE,MAAM,GAAG,IAAI,EACrB,UAAU,EAAE,MAAM,EAClB,aAAa,EAAE,MAAM,EAAE,GACxB,wBAAwB,CAE1B;AAMD,MAAM,WAAW,oBAAoB;IACjC,KAAK,EAAE,kBAAkB,CAAC;IAC1B,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IACtB,YAAY,EAAE,MAAM,CAAC;IACrB,cAAc,EAAE,MAAM,EAAE,CAAC;IACzB,cAAc,EAAE,MAAM,GAAG,IAAI,CAAC;IAC9B,UAAU,EAAE,MAAM,CAAC;CACtB;AAED,MAAM,WAAW,iBAAiB;IAC9B,KAAK,EAAE,gBAAgB,CAAC;IACxB,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IACtB,YAAY,EAAE,MAAM,CAAC;IACrB,cAAc,EAAE,MAAM,GAAG,IAAI,CAAC;IAC9B,UAAU,EAAE,MAAM,CAAC;IACnB,aAAa,EAAE,MAAM,EAAE,CAAC;CAC3B;AAMD,wBAAgB,eAAe,CAC3B,MAAM,EAAE,MAAM,GAAG,IAAI,EACrB,YAAY,EAAE,MAAM,EACpB,cAAc,EAAE,MAAM,EAAE,EACxB,cAAc,EAAE,MAAM,GAAG,IAAI,EAC7B,UAAU,EAAE,MAAM,GACnB,oBAAoB,CAEtB;AAED,wBAAgB,YAAY,CACxB,MAAM,EAAE,MAAM,GAAG,IAAI,EACrB,YAAY,EAAE,MAAM,EACpB,cAAc,EAAE,MAAM,GAAG,IAAI,EAC7B,UAAU,EAAE,MAAM,EAClB,aAAa,EAAE,MAAM,EAAE,GACxB,iBAAiB,CAEnB;AAMD,MAAM,WAAW,oBAAoB;IACjC,KAAK,EAAE,kBAAkB,CAAC;IAC1B,MAAM,EAAE,MAAM,CAAC;IACf,UAAU,EAAE,MAAM,CAAC;IACnB,YAAY,EAAE,MAAM,CAAC;IACrB,YAAY,EAAE,KAAK,GAAG,MAAM,CAAC;IAC7B,cAAc,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CAC3C;AAED,MAAM,WAAW,wBAAwB;IACrC,KAAK,EAAE,sBAAsB,CAAC;IAC9B,MAAM,EAAE,MAAM,CAAC;IACf,UAAU,EAAE,MAAM,CAAC;IACnB,YAAY,EAAE,MAAM,CAAC;IACrB,SAAS,EAAE,MAAM,CAAC;CACrB;AAED,MAAM,WAAW,yBAAyB;IACtC,KAAK,EAAE,uBAAuB,CAAC;IAC/B,MAAM,EAAE,MAAM,CAAC;IACf,UAAU,EAAE,MAAM,CAAC;IACnB,YAAY,EAAE,MAAM,CAAC;IACrB,mBAAmB,EAAE,MAAM,CAAC;CAC/B;AAED,MAAM,WAAW,uBAAuB;IACpC,KAAK,EAAE,sBAAsB,CAAC;IAC9B,MAAM,EAAE,MAAM,CAAC;IACf,UAAU,EAAE,MAAM,CAAC;IACnB,UAAU,EAAE,MAAM,CAAC;IACnB,UAAU,EAAE,MAAM,CAAC;IACnB,UAAU,EAAE,MAAM,CAAC;IACnB,cAAc,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CAC3C;AAMD,wBAAgB,eAAe,CAC3B,MAAM,EAAE,MAAM,EACd,UAAU,EAAE,MAAM,EAClB,YAAY,EAAE,MAAM,EACpB,YAAY,EAAE,KAAK,GAAG,MAAM,EAC5B,cAAc,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GACxC,oBAAoB,CAEtB;AAED,wBAAgB,mBAAmB,CAC/B,MAAM,EAAE,MAAM,EACd,UAAU,EAAE,MAAM,EAClB,YAAY,EAAE,MAAM,EACpB,SAAS,EAAE,MAAM,GAClB,wBAAwB,CAE1B;AAED,wBAAgB,oBAAoB,CAChC,MAAM,EAAE,MAAM,EACd,UAAU,EAAE,MAAM,EAClB,YAAY,EAAE,MAAM,EACpB,mBAAmB,EAAE,MAAM,GAC5B,yBAAyB,CAE3B;AAED,wBAAgB,kBAAkB,CAC9B,MAAM,EAAE,MAAM,EACd,UAAU,EAAE,MAAM,EAClB,UAAU,EAAE,MAAM,EAClB,UAAU,EAAE,MAAM,EAClB,UAAU,EAAE,MAAM,EAClB,cAAc,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GACxC,uBAAuB,CAEzB"}

package/dist/errors/structured-errors.js

@@ -0,0 +1,96 @@
+// =============================================================================
+// Edict Structured Errors
+// =============================================================================
+// Every compiler error is a structured JSON object with enough context
+// for an agent to self-repair. No human-readable strings.
+// =============================================================================
+// Phase 1 error constructors
+// =============================================================================
+export function duplicateId(nodeId, firstPath, secondPath) {
+    return { error: "duplicate_id", nodeId, firstPath, secondPath };
+}
+export function unknownNodeKind(path, received, validKinds) {
+    return { error: "unknown_node_kind", path, received, validKinds };
+}
+export function missingField(path, nodeId, field, expectedFormat) {
+    return { error: "missing_field", path, nodeId, field, expectedFormat };
+}
+export function invalidFieldType(path, nodeId, field, expectedFormat, actualFormat) {
+    return { error: "invalid_field_type", path, nodeId, field, expectedFormat, actualFormat };
+}
+export function invalidEffect(path, nodeId, received, validEffects) {
+    return { error: "invalid_effect", path, nodeId, received, validEffects };
+}
+export function invalidOperator(path, nodeId, received, validOperators) {
+    return {
+        error: "invalid_operator",
+        path,
+        nodeId,
+        received,
+        validOperators,
+    };
+}
+export function invalidBasicTypeName(path, nodeId, received, validNames) {
+    return { error: "invalid_basic_type_name", path, nodeId, received, validNames };
+}
+export function conflictingEffects(path, nodeId, effectsFound) {
+    return { error: "conflicting_effects", path, nodeId, effectsFound };
+}
+// =============================================================================
+// Phase 2 error constructors
+// =============================================================================
+export function undefinedReference(nodeId, name, candidates) {
+    return { error: "undefined_reference", nodeId, name, candidates };
+}
+export function duplicateDefinition(nodeId, name, firstNodeId) {
+    return { error: "duplicate_definition", nodeId, name, firstNodeId };
+}
+export function unknownRecord(nodeId, name, candidates) {
+    return { error: "unknown_record", nodeId, name, candidates };
+}
+export function unknownEnum(nodeId, name, candidates) {
+    return { error: "unknown_enum", nodeId, name, candidates };
+}
+export function unknownVariant(nodeId, enumName, variantName, availableVariants) {
+    return { error: "unknown_variant", nodeId, enumName, variantName, availableVariants };
+}
+export function typeMismatch(nodeId, expected, actual) {
+    return { error: "type_mismatch", nodeId, expected, actual };
+}
+export function arityMismatch(nodeId, expected, actual) {
+    return { error: "arity_mismatch", nodeId, expected, actual };
+}
+export function notAFunction(nodeId, actualType) {
+    return { error: "not_a_function", nodeId, actualType };
+}
+export function unknownField(nodeId, recordName, fieldName, availableFields) {
+    return { error: "unknown_field", nodeId, recordName, fieldName, availableFields };
+}
+export function missingRecordFields(nodeId, recordName, missingFields) {
+    return { error: "missing_record_fields", nodeId, recordName, missingFields };
+}
+// =============================================================================
+// Phase 3 error constructors
+// =============================================================================
+export function effectViolation(nodeId, functionName, missingEffects, callSiteNodeId, calleeName) {
+    return { error: "effect_violation", nodeId, functionName, missingEffects, callSiteNodeId, calleeName };
+}
+export function effectInPure(nodeId, functionName, callSiteNodeId, calleeName, calleeEffects) {
+    return { error: "effect_in_pure", nodeId, functionName, callSiteNodeId, calleeName, calleeEffects };
+}
+// =============================================================================
+// Phase 4 error constructors
+// =============================================================================
+export function contractFailure(nodeId, contractId, functionName, contractKind, counterexample) {
+    return { error: "contract_failure", nodeId, contractId, functionName, contractKind, counterexample };
+}
+export function verificationTimeout(nodeId, contractId, functionName, timeoutMs) {
+    return { error: "verification_timeout", nodeId, contractId, functionName, timeoutMs };
+}
+export function undecidablePredicate(nodeId, contractId, functionName, unsupportedNodeKind) {
+    return { error: "undecidable_predicate", nodeId, contractId, functionName, unsupportedNodeKind };
+}
+export function preconditionNotMet(nodeId, callSiteId, callerName, calleeName, contractId, counterexample) {
+    return { error: "precondition_not_met", nodeId, callSiteId, callerName, calleeName, contractId, counterexample };
+}
+//# sourceMappingURL=structured-errors.js.map

package/dist/errors/structured-errors.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"structured-errors.js","sourceRoot":"","sources":["../../src/errors/structured-errors.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,0BAA0B;AAC1B,gFAAgF;AAChF,uEAAuE;AACvE,0DAA0D;AAwL1D,gFAAgF;AAChF,6BAA6B;AAC7B,gFAAgF;AAEhF,MAAM,UAAU,WAAW,CACvB,MAAc,EACd,SAAiB,EACjB,UAAkB;IAElB,OAAO,EAAE,KAAK,EAAE,cAAc,EAAE,MAAM,EAAE,SAAS,EAAE,UAAU,EAAE,CAAC;AACpE,CAAC;AAED,MAAM,UAAU,eAAe,CAC3B,IAAY,EACZ,QAAgB,EAChB,UAA6B;IAE7B,OAAO,EAAE,KAAK,EAAE,mBAAmB,EAAE,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,CAAC;AACtE,CAAC;AAED,MAAM,UAAU,YAAY,CACxB,IAAY,EACZ,MAAqB,EACrB,KAAa,EACb,cAAsB;IAEtB,OAAO,EAAE,KAAK,EAAE,eAAe,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,cAAc,EAAE,CAAC;AAC3E,CAAC;AAED,MAAM,UAAU,gBAAgB,CAC5B,IAAY,EACZ,MAAqB,EACrB,KAAa,EACb,cAAsB,EACtB,YAAoB;IAEpB,OAAO,EAAE,KAAK,EAAE,oBAAoB,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,cAAc,EAAE,YAAY,EAAE,CAAC;AAC9F,CAAC;AAED,MAAM,UAAU,aAAa,CACzB,IAAY,EACZ,MAAqB,EACrB,QAAgB,EAChB,YAA+B;IAE/B,OAAO,EAAE,KAAK,EAAE,gBAAgB,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,YAAY,EAAE,CAAC;AAC7E,CAAC;AAED,MAAM,UAAU,eAAe,CAC3B,IAAY,EACZ,MAAqB,EACrB,QAAgB,EAChB,cAAiC;IAEjC,OAAO;QACH,KAAK,EAAE,kBAAkB;QACzB,IAAI;QACJ,MAAM;QACN,QAAQ;QACR,cAAc;KACjB,CAAC;AACN,CAAC;AAED,MAAM,UAAU,oBAAoB,CAChC,IAAY,EACZ,MAAqB,EACrB,QAAgB,EAChB,UAA6B;IAE7B,OAAO,EAAE,KAAK,EAAE,yBAAyB,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,UAAU,EAAE,CAAC;AACpF,CAAC;AAED,MAAM,UAAU,kBAAkB,CAC9B,IAAY,EACZ,MAAqB,EACrB,YAAsB;IAEtB,OAAO,EAAE,KAAK,EAAE,qBAAqB,EAAE,IAAI,EAAE,MAAM,EAAE,YAAY,EAAE,CAAC;AACxE,CAAC;AAED,gFAAgF;AAChF,6BAA6B;AAC7B,gFAAgF;AAEhF,MAAM,UAAU,kBAAkB,CAC9B,MAAqB,EACrB,IAAY,EACZ,UAAoB;IAEpB,OAAO,EAAE,KAAK,EAAE,qBAAqB,EAAE,MAAM,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC;AACtE,CAAC;AAED,MAAM,UAAU,mBAAmB,CAC/B,MAAqB,EACrB,IAAY,EACZ,WAA0B;IAE1B,OAAO,EAAE,KAAK,EAAE,sBAAsB,EAAE,MAAM,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;AACxE,CAAC;AAED,MAAM,UAAU,aAAa,CACzB,MAAqB,EACrB,IAAY,EACZ,UAAoB;IAEpB,OAAO,EAAE,KAAK,EAAE,gBAAgB,EAAE,MAAM,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC;AACjE,CAAC;AAED,MAAM,UAAU,WAAW,CACvB,MAAqB,EACrB,IAAY,EACZ,UAAoB;IAEpB,OAAO,EAAE,KAAK,EAAE,cAAc,EAAE,MAAM,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC;AAC/D,CAAC;AAED,MAAM,UAAU,cAAc,CAC1B,MAAqB,EACrB,QAAgB,EAChB,WAAmB,EACnB,iBAA2B;IAE3B,OAAO,EAAE,KAAK,EAAE,iBAAiB,EAAE,MAAM,EAAE,QAAQ,EAAE,WAAW,EAAE,iBAAiB,EAAE,CAAC;AAC1F,CAAC;AAED,MAAM,UAAU,YAAY,CACxB,MAAqB,EACrB,QAAkB,EAClB,MAAgB;IAEhB,OAAO,EAAE,KAAK,EAAE,eAAe,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC;AAChE,CAAC;AAED,MAAM,UAAU,aAAa,CACzB,MAAqB,EACrB,QAAgB,EAChB,MAAc;IAEd,OAAO,EAAE,KAAK,EAAE,gBAAgB,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC;AACjE,CAAC;AAED,MAAM,UAAU,YAAY,CACxB,MAAqB,EACrB,UAAoB;IAEpB,OAAO,EAAE,KAAK,EAAE,gBAAgB,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC;AAC3D,CAAC;AAED,MAAM,UAAU,YAAY,CACxB,MAAqB,EACrB,UAAkB,EAClB,SAAiB,EACjB,eAAyB;IAEzB,OAAO,EAAE,KAAK,EAAE,eAAe,EAAE,MAAM,EAAE,UAAU,EAAE,SAAS,EAAE,eAAe,EAAE,CAAC;AACtF,CAAC;AAED,MAAM,UAAU,mBAAmB,CAC/B,MAAqB,EACrB,UAAkB,EAClB,aAAuB;IAEvB,OAAO,EAAE,KAAK,EAAE,uBAAuB,EAAE,MAAM,EAAE,UAAU,EAAE,aAAa,EAAE,CAAC;AACjF,CAAC;AAwBD,gFAAgF;AAChF,6BAA6B;AAC7B,gFAAgF;AAEhF,MAAM,UAAU,eAAe,CAC3B,MAAqB,EACrB,YAAoB,EACpB,cAAwB,EACxB,cAA6B,EAC7B,UAAkB;IAElB,OAAO,EAAE,KAAK,EAAE,kBAAkB,EAAE,MAAM,EAAE,YAAY,EAAE,cAAc,EAAE,cAAc,EAAE,UAAU,EAAE,CAAC;AAC3G,CAAC;AAED,MAAM,UAAU,YAAY,CACxB,MAAqB,EACrB,YAAoB,EACpB,cAA6B,EAC7B,UAAkB,EAClB,aAAuB;IAEvB,OAAO,EAAE,KAAK,EAAE,gBAAgB,EAAE,MAAM,EAAE,YAAY,EAAE,cAAc,EAAE,UAAU,EAAE,aAAa,EAAE,CAAC;AACxG,CAAC;AAyCD,gFAAgF;AAChF,6BAA6B;AAC7B,gFAAgF;AAEhF,MAAM,UAAU,eAAe,CAC3B,MAAc,EACd,UAAkB,EAClB,YAAoB,EACpB,YAA4B,EAC5B,cAAuC;IAEvC,OAAO,EAAE,KAAK,EAAE,kBAAkB,EAAE,MAAM,EAAE,UAAU,EAAE,YAAY,EAAE,YAAY,EAAE,cAAc,EAAE,CAAC;AACzG,CAAC;AAED,MAAM,UAAU,mBAAmB,CAC/B,MAAc,EACd,UAAkB,EAClB,YAAoB,EACpB,SAAiB;IAEjB,OAAO,EAAE,KAAK,EAAE,sBAAsB,EAAE,MAAM,EAAE,UAAU,EAAE,YAAY,EAAE,SAAS,EAAE,CAAC;AAC1F,CAAC;AAED,MAAM,UAAU,oBAAoB,CAChC,MAAc,EACd,UAAkB,EAClB,YAAoB,EACpB,mBAA2B;IAE3B,OAAO,EAAE,KAAK,EAAE,uBAAuB,EAAE,MAAM,EAAE,UAAU,EAAE,YAAY,EAAE,mBAAmB,EAAE,CAAC;AACrG,CAAC;AAED,MAAM,UAAU,kBAAkB,CAC9B,MAAc,EACd,UAAkB,EAClB,UAAkB,EAClB,UAAkB,EAClB,UAAkB,EAClB,cAAuC;IAEvC,OAAO,EAAE,KAAK,EAAE,sBAAsB,EAAE,MAAM,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,cAAc,EAAE,CAAC;AACrH,CAAC"}

package/dist/index.d.ts

@@ -0,0 +1,34 @@
+export { validate } from "./validator/validate.js";
+export type { ValidationResult, ValidationSuccess, ValidationFailure, } from "./validator/validate.js";
+export { resolve } from "./resolver/resolve.js";
+export { Scope } from "./resolver/scope.js";
+export type { SymbolKind, SymbolInfo } from "./resolver/scope.js";
+export { levenshteinDistance, findCandidates } from "./resolver/levenshtein.js";
+export { typeCheck } from "./checker/check.js";
+export { TypeEnv } from "./checker/type-env.js";
+export { typesEqual, isUnknown, resolveType } from "./checker/types-equal.js";
+export { effectCheck } from "./effects/effect-check.js";
+export { buildCallGraph, collectCalls } from "./effects/call-graph.js";
+export type { CallEdge, CallGraph } from "./effects/call-graph.js";
+export { contractVerify } from "./contracts/verify.js";
+export { getZ3, resetZ3 } from "./contracts/z3-context.js";
+export { translateExpr, translateExprList, createParamVariables } from "./contracts/translate.js";
+export type { TranslationContext, TranslationError } from "./contracts/translate.js";
+export { check } from "./check.js";
+export type { CheckResult } from "./check.js";
+export type { EdictModule, Import, Definition, FunctionDef, TypeDef, RecordDef, EnumDef, ConstDef, RecordField, EnumVariant, Param, Contract, Effect, Expression, Literal, Identifier, BinaryOp, BinaryOperator, UnaryOp, UnaryOperator, Call, IfExpr, LetExpr, MatchExpr, MatchArm, Pattern, LiteralPattern, WildcardPattern, BindingPattern, ConstructorPattern, ArrayExpr, TupleExpr, RecordExpr, EnumConstructor, FieldAccess, LambdaExpr, BlockExpr, FieldInit, } from "./ast/nodes.js";
+export type { TypeExpr, BasicType, ArrayType, OptionType, ResultType, UnitType, RefinedType, FunctionType, NamedType, TupleType, } from "./ast/types.js";
+export type { StructuredError, DuplicateIdError, UnknownNodeKindError, MissingFieldError, InvalidFieldTypeError, InvalidEffectError, InvalidOperatorError, InvalidBasicTypeName, ConflictingEffectsError, UndefinedReferenceError, DuplicateDefinitionError, UnknownRecordError, UnknownEnumError, UnknownVariantError, TypeMismatchError, ArityMismatchError, NotAFunctionError, UnknownFieldError, MissingRecordFieldsError, EffectViolationError, EffectInPureError, ContractFailureError, VerificationTimeoutError, UndecidablePredicateError, PreconditionNotMetError, } from "./errors/structured-errors.js";
+export { duplicateId, unknownNodeKind, missingField, invalidFieldType, invalidEffect, invalidOperator, invalidBasicTypeName, conflictingEffects, } from "./errors/structured-errors.js";
+export { undefinedReference, duplicateDefinition, unknownRecord, unknownEnum, unknownVariant, typeMismatch, arityMismatch, notAFunction, unknownField, missingRecordFields, } from "./errors/structured-errors.js";
+export { effectViolation, effectInPure, } from "./errors/structured-errors.js";
+export { contractFailure, verificationTimeout, undecidablePredicate, preconditionNotMet, } from "./errors/structured-errors.js";
+export { compile } from "./codegen/codegen.js";
+export type { CompileResult, CompileSuccess, CompileFailure, } from "./codegen/codegen.js";
+export { run } from "./codegen/runner.js";
+export type { RunResult } from "./codegen/runner.js";
+export { compileAndRun } from "./compile.js";
+export type { CompileAndRunResult, CompileAndRunSuccess, CompileAndRunFailure, } from "./compile.js";
+export { StringTable } from "./codegen/string-table.js";
+export { BUILTIN_FUNCTIONS, isBuiltin, getBuiltin } from "./codegen/builtins.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":"AAKA,OAAO,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AACnD,YAAY,EACR,gBAAgB,EAChB,iBAAiB,EACjB,iBAAiB,GACpB,MAAM,yBAAyB,CAAC;AAGjC,OAAO,EAAE,OAAO,EAAE,MAAM,uBAAuB,CAAC;AAChD,OAAO,EAAE,KAAK,EAAE,MAAM,qBAAqB,CAAC;AAC5C,YAAY,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAC;AAClE,OAAO,EAAE,mBAAmB,EAAE,cAAc,EAAE,MAAM,2BAA2B,CAAC;AAGhF,OAAO,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AAC/C,OAAO,EAAE,OAAO,EAAE,MAAM,uBAAuB,CAAC;AAChD,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,WAAW,EAAE,MAAM,0BAA0B,CAAC;AAG9E,OAAO,EAAE,WAAW,EAAE,MAAM,2BAA2B,CAAC;AACxD,OAAO,EAAE,cAAc,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAC;AACvE,YAAY,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,yBAAyB,CAAC;AAGnE,OAAO,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AACvD,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,2BAA2B,CAAC;AAC3D,OAAO,EAAE,aAAa,EAAE,iBAAiB,EAAE,oBAAoB,EAAE,MAAM,0BAA0B,CAAC;AAClG,YAAY,EAAE,kBAAkB,EAAE,gBAAgB,EAAE,MAAM,0BAA0B,CAAC;AAGrF,OAAO,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AACnC,YAAY,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAG9C,YAAY,EACR,WAAW,EACX,MAAM,EACN,UAAU,EACV,WAAW,EACX,OAAO,EACP,SAAS,EACT,OAAO,EACP,QAAQ,EACR,WAAW,EACX,WAAW,EACX,KAAK,EACL,QAAQ,EACR,MAAM,EACN,UAAU,EACV,OAAO,EACP,UAAU,EACV,QAAQ,EACR,cAAc,EACd,OAAO,EACP,aAAa,EACb,IAAI,EACJ,MAAM,EACN,OAAO,EACP,SAAS,EACT,QAAQ,EACR,OAAO,EACP,cAAc,EACd,eAAe,EACf,cAAc,EACd,kBAAkB,EAClB,SAAS,EACT,SAAS,EACT,UAAU,EACV,eAAe,EACf,WAAW,EACX,UAAU,EACV,SAAS,EACT,SAAS,GACZ,MAAM,gBAAgB,CAAC;AAGxB,YAAY,EACR,QAAQ,EACR,SAAS,EACT,SAAS,EACT,UAAU,EACV,UAAU,EACV,QAAQ,EACR,WAAW,EACX,YAAY,EACZ,SAAS,EACT,SAAS,GACZ,MAAM,gBAAgB,CAAC;AAGxB,YAAY,EACR,eAAe,EACf,gBAAgB,EAChB,oBAAoB,EACpB,iBAAiB,EACjB,qBAAqB,EACrB,kBAAkB,EAClB,oBAAoB,EACpB,oBAAoB,EACpB,uBAAuB,EAEvB,uBAAuB,EACvB,wBAAwB,EACxB,kBAAkB,EAClB,gBAAgB,EAChB,mBAAmB,EACnB,iBAAiB,EACjB,kBAAkB,EAClB,iBAAiB,EACjB,iBAAiB,EACjB,wBAAwB,EAExB,oBAAoB,EACpB,iBAAiB,EAEjB,oBAAoB,EACpB,wBAAwB,EACxB,yBAAyB,EACzB,uBAAuB,GAC1B,MAAM,+BAA+B,CAAC;AAGvC,OAAO,EACH,WAAW,EACX,eAAe,EACf,YAAY,EACZ,gBAAgB,EAChB,aAAa,EACb,eAAe,EACf,oBAAoB,EACpB,kBAAkB,GACrB,MAAM,+BAA+B,CAAC;AAGvC,OAAO,EACH,kBAAkB,EAClB,mBAAmB,EACnB,aAAa,EACb,WAAW,EACX,cAAc,EACd,YAAY,EACZ,aAAa,EACb,YAAY,EACZ,YAAY,EACZ,mBAAmB,GACtB,MAAM,+BAA+B,CAAC;AAGvC,OAAO,EACH,eAAe,EACf,YAAY,GACf,MAAM,+BAA+B,CAAC;AAGvC,OAAO,EACH,eAAe,EACf,mBAAmB,EACnB,oBAAoB,EACpB,kBAAkB,GACrB,MAAM,+BAA+B,CAAC;AAGvC,OAAO,EAAE,OAAO,EAAE,MAAM,sBAAsB,CAAC;AAC/C,YAAY,EACR,aAAa,EACb,cAAc,EACd,cAAc,GACjB,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAAE,GAAG,EAAE,MAAM,qBAAqB,CAAC;AAC1C,YAAY,EAAE,SAAS,EAAE,MAAM,qBAAqB,CAAC;AACrD,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAC7C,YAAY,EACR,mBAAmB,EACnB,oBAAoB,EACpB,oBAAoB,GACvB,MAAM,cAAc,CAAC;AACtB,OAAO,EAAE,WAAW,EAAE,MAAM,2BAA2B,CAAC;AACxD,OAAO,EAAE,iBAAiB,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC"}

package/dist/index.js

@@ -0,0 +1,37 @@
+// =============================================================================
+// Edict Public API
+// =============================================================================
+// Phase 1 — Validation
+export { validate } from "./validator/validate.js";
+// Phase 2 — Name Resolution
+export { resolve } from "./resolver/resolve.js";
+export { Scope } from "./resolver/scope.js";
+export { levenshteinDistance, findCandidates } from "./resolver/levenshtein.js";
+// Phase 2 — Type Checking
+export { typeCheck } from "./checker/check.js";
+export { TypeEnv } from "./checker/type-env.js";
+export { typesEqual, isUnknown, resolveType } from "./checker/types-equal.js";
+// Phase 3 — Effect Checking
+export { effectCheck } from "./effects/effect-check.js";
+export { buildCallGraph, collectCalls } from "./effects/call-graph.js";
+// Phase 4 — Contract Verification
+export { contractVerify } from "./contracts/verify.js";
+export { getZ3, resetZ3 } from "./contracts/z3-context.js";
+export { translateExpr, translateExprList, createParamVariables } from "./contracts/translate.js";
+// Pipeline
+export { check } from "./check.js";
+// Error constructors — Phase 1
+export { duplicateId, unknownNodeKind, missingField, invalidFieldType, invalidEffect, invalidOperator, invalidBasicTypeName, conflictingEffects, } from "./errors/structured-errors.js";
+// Error constructors — Phase 2
+export { undefinedReference, duplicateDefinition, unknownRecord, unknownEnum, unknownVariant, typeMismatch, arityMismatch, notAFunction, unknownField, missingRecordFields, } from "./errors/structured-errors.js";
+// Error constructors — Phase 3
+export { effectViolation, effectInPure, } from "./errors/structured-errors.js";
+// Error constructors — Phase 4
+export { contractFailure, verificationTimeout, undecidablePredicate, preconditionNotMet, } from "./errors/structured-errors.js";
+// Phase 5 — Code generation
+export { compile } from "./codegen/codegen.js";
+export { run } from "./codegen/runner.js";
+export { compileAndRun } from "./compile.js";
+export { StringTable } from "./codegen/string-table.js";
+export { BUILTIN_FUNCTIONS, isBuiltin, getBuiltin } from "./codegen/builtins.js";
+//# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,mBAAmB;AACnB,gFAAgF;AAEhF,uBAAuB;AACvB,OAAO,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAOnD,4BAA4B;AAC5B,OAAO,EAAE,OAAO,EAAE,MAAM,uBAAuB,CAAC;AAChD,OAAO,EAAE,KAAK,EAAE,MAAM,qBAAqB,CAAC;AAE5C,OAAO,EAAE,mBAAmB,EAAE,cAAc,EAAE,MAAM,2BAA2B,CAAC;AAEhF,0BAA0B;AAC1B,OAAO,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AAC/C,OAAO,EAAE,OAAO,EAAE,MAAM,uBAAuB,CAAC;AAChD,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,WAAW,EAAE,MAAM,0BAA0B,CAAC;AAE9E,4BAA4B;AAC5B,OAAO,EAAE,WAAW,EAAE,MAAM,2BAA2B,CAAC;AACxD,OAAO,EAAE,cAAc,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAC;AAGvE,kCAAkC;AAClC,OAAO,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AACvD,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,2BAA2B,CAAC;AAC3D,OAAO,EAAE,aAAa,EAAE,iBAAiB,EAAE,oBAAoB,EAAE,MAAM,0BAA0B,CAAC;AAGlG,WAAW;AACX,OAAO,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AA2FnC,+BAA+B;AAC/B,OAAO,EACH,WAAW,EACX,eAAe,EACf,YAAY,EACZ,gBAAgB,EAChB,aAAa,EACb,eAAe,EACf,oBAAoB,EACpB,kBAAkB,GACrB,MAAM,+BAA+B,CAAC;AAEvC,+BAA+B;AAC/B,OAAO,EACH,kBAAkB,EAClB,mBAAmB,EACnB,aAAa,EACb,WAAW,EACX,cAAc,EACd,YAAY,EACZ,aAAa,EACb,YAAY,EACZ,YAAY,EACZ,mBAAmB,GACtB,MAAM,+BAA+B,CAAC;AAEvC,+BAA+B;AAC/B,OAAO,EACH,eAAe,EACf,YAAY,GACf,MAAM,+BAA+B,CAAC;AAEvC,+BAA+B;AAC/B,OAAO,EACH,eAAe,EACf,mBAAmB,EACnB,oBAAoB,EACpB,kBAAkB,GACrB,MAAM,+BAA+B,CAAC;AAEvC,4BAA4B;AAC5B,OAAO,EAAE,OAAO,EAAE,MAAM,sBAAsB,CAAC;AAM/C,OAAO,EAAE,GAAG,EAAE,MAAM,qBAAqB,CAAC;AAE1C,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAM7C,OAAO,EAAE,WAAW,EAAE,MAAM,2BAA2B,CAAC;AACxD,OAAO,EAAE,iBAAiB,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC"}

package/dist/mcp/create-server.d.ts

@@ -0,0 +1,3 @@
+import { McpServer } from "@modelcontextprotocol/sdk/server/mcp.js";
+export declare function createEdictServer(): McpServer;
+//# sourceMappingURL=create-server.d.ts.map

package/dist/mcp/create-server.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"create-server.d.ts","sourceRoot":"","sources":["../../src/mcp/create-server.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,MAAM,yCAAyC,CAAC;AAiBpE,wBAAgB,iBAAiB,IAAI,SAAS,CA+L7C"}

package/dist/mcp/create-server.js

@@ -0,0 +1,157 @@
+import { McpServer } from "@modelcontextprotocol/sdk/server/mcp.js";
+import { z } from "zod";
+import { handleSchema, handleExamples, handleValidate, handleCheck, handleCompile, handleRun, handleVersion, } from "./handlers.js";
+// =============================================================================
+// Server setup
+// =============================================================================
+export function createEdictServer() {
+    const server = new McpServer({
+        name: "edict-compiler",
+        version: "0.1.0",
+    });
+    // =============================================================================
+    // Tools
+    // =============================================================================
+    // edict_schema — Return the JSON Schema for EdictModule
+    server.tool("edict_schema", {}, async () => {
+        const result = handleSchema();
+        return {
+            content: [{ type: "text", text: JSON.stringify(result.schema) }],
+        };
+    });
+    // edict_version — Return capability info
+    server.tool("edict_version", {}, async () => {
+        const result = handleVersion();
+        return {
+            content: [
+                {
+                    type: "text",
+                    text: JSON.stringify(result, null, 2),
+                },
+            ],
+        };
+    });
+    // edict_examples — Return all example programs
+    server.tool("edict_examples", {}, async () => {
+        const result = handleExamples();
+        return {
+            content: [{ type: "text", text: JSON.stringify(result, null, 2) }],
+        };
+    });
+    // edict_validate — Validate an AST against the JSON schema
+    server.tool("edict_validate", "Validate an Edict AST against the compiler's JSON schema without typing or compiling. Use this as a first pass.", {
+        ast: z.any().describe("The Edict JSON AST to validate"),
+    }, async ({ ast }) => {
+        const result = handleValidate(ast);
+        if (result.ok) {
+            return { content: [{ type: "text", text: "AST is schema-valid." }] };
+        }
+        else {
+            return {
+                content: [
+                    { type: "text", text: JSON.stringify({ errors: result.errors }, null, 2) },
+                ],
+                isError: true,
+            };
+        }
+    });
+    // edict_check — Type check, effect check, and verify contracts
+    server.tool("edict_check", "Run the full semantic checker (name resolution, type checking, effect checking, contract verification) on an AST.", {
+        ast: z.any().describe("The Edict JSON AST to check"),
+    }, async ({ ast }) => {
+        const result = await handleCheck(ast);
+        if (result.ok) {
+            return { content: [{ type: "text", text: "AST passed all semantic checks." }] };
+        }
+        else {
+            return {
+                content: [
+                    { type: "text", text: JSON.stringify({ errors: result.errors }, null, 2) },
+                ],
+                isError: true,
+            };
+        }
+    });
+    // edict_compile — Compile a checked AST to a base64 encoded WASM module
+    server.tool("edict_compile", "Compile a semantically valid Edict AST into a WebAssembly module. Returns the WASM binary encoded as a base64 string.", {
+        ast: z.any().describe("The Edict JSON AST to compile"),
+    }, async ({ ast }) => {
+        const result = await handleCompile(ast);
+        if (result.ok && result.wasm) {
+            return {
+                content: [
+                    {
+                        type: "text",
+                        text: JSON.stringify({
+                            message: "Compilation successful.",
+                            wasm: result.wasm,
+                            binarySize: result.wasm.length, // rough estimate
+                        }, null, 2),
+                    },
+                ],
+            };
+        }
+        else {
+            return {
+                content: [
+                    { type: "text", text: JSON.stringify({ errors: result.errors }, null, 2) },
+                ],
+                isError: true,
+            };
+        }
+    });
+    // edict_run — Run a base64 encoded WASM module and return its output
+    server.tool("edict_run", "Execute a compiled WebAssembly module (provided as base64) using the Edict runtime host. Returns standard output and exit code.", {
+        wasmBase64: z.string().describe("The base64 encoded WebAssembly module to execute"),
+    }, async ({ wasmBase64 }) => {
+        try {
+            const result = await handleRun(wasmBase64);
+            return {
+                content: [
+                    {
+                        type: "text",
+                        text: JSON.stringify(result, null, 2),
+                    },
+                ],
+            };
+        }
+        catch (err) {
+            return {
+                content: [{ type: "text", text: String(err) }],
+                isError: true,
+            };
+        }
+    });
+    // =============================================================================
+    // Resources
+    // =============================================================================
+    server.resource("schema", "edict://schema", {
+        description: "The full JSON Schema defining valid Edict AST programs",
+        mimeType: "application/json",
+    }, async () => {
+        const result = handleSchema();
+        return {
+            contents: [
+                {
+                    uri: "edict://schema",
+                    mimeType: "application/json",
+                    text: JSON.stringify(result.schema, null, 2),
+                },
+            ],
+        };
+    });
+    server.resource("examples", "edict://examples", { description: "10 example Edict programs as JSON ASTs", mimeType: "application/json" }, async () => {
+        const result = handleExamples();
+        return {
+            contents: [
+                {
+                    uri: "edict://examples",
+                    mimeType: "application/json",
+                    text: JSON.stringify(result, null, 2),
+                },
+            ],
+        };
+    });
+    return server;
+}
+//# sourceMappingURL=create-server.js.map

package/dist/mcp/create-server.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"create-server.js","sourceRoot":"","sources":["../../src/mcp/create-server.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,MAAM,yCAAyC,CAAC;AACpE,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,EACH,YAAY,EACZ,cAAc,EACd,cAAc,EACd,WAAW,EACX,aAAa,EACb,SAAS,EACT,aAAa,GAChB,MAAM,eAAe,CAAC;AAEvB,gFAAgF;AAChF,eAAe;AACf,gFAAgF;AAEhF,MAAM,UAAU,iBAAiB;IAC7B,MAAM,MAAM,GAAG,IAAI,SAAS,CAAC;QACzB,IAAI,EAAE,gBAAgB;QACtB,OAAO,EAAE,OAAO;KACnB,CAAC,CAAC;IAEH,gFAAgF;IAChF,QAAQ;IACR,gFAAgF;IAEhF,wDAAwD;IACxD,MAAM,CAAC,IAAI,CAAC,cAAc,EAAE,EAAE,EAAE,KAAK,IAAI,EAAE;QACvC,MAAM,MAAM,GAAG,YAAY,EAAE,CAAC;QAC9B,OAAO;YACH,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;SACnE,CAAC;IACN,CAAC,CAAC,CAAC;IAEH,yCAAyC;IACzC,MAAM,CAAC,IAAI,CAAC,eAAe,EAAE,EAAE,EAAE,KAAK,IAAI,EAAE;QACxC,MAAM,MAAM,GAAG,aAAa,EAAE,CAAC;QAC/B,OAAO;YACH,OAAO,EAAE;gBACL;oBACI,IAAI,EAAE,MAAM;oBACZ,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;iBACxC;aACJ;SACJ,CAAC;IACN,CAAC,CAAC,CAAC;IAEH,+CAA+C;IAC/C,MAAM,CAAC,IAAI,CAAC,gBAAgB,EAAE,EAAE,EAAE,KAAK,IAAI,EAAE;QACzC,MAAM,MAAM,GAAG,cAAc,EAAE,CAAC;QAChC,OAAO;YACH,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC;SACrE,CAAC;IACN,CAAC,CAAC,CAAC;IAEH,2DAA2D;IAC3D,MAAM,CAAC,IAAI,CACP,gBAAgB,EAChB,iHAAiH,EACjH;QACI,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,QAAQ,CAAC,gCAAgC,CAAC;KAC1D,EACD,KAAK,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE;QACd,MAAM,MAAM,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC;QACnC,IAAI,MAAM,CAAC,EAAE,EAAE,CAAC;YACZ,OAAO,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,sBAAsB,EAAE,CAAC,EAAE,CAAC;QACzE,CAAC;aAAM,CAAC;YACJ,OAAO;gBACH,OAAO,EAAE;oBACL,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE;iBAC7E;gBACD,OAAO,EAAE,IAAI;aAChB,CAAC;QACN,CAAC;IACL,CAAC,CACJ,CAAC;IAEF,+DAA+D;IAC/D,MAAM,CAAC,IAAI,CACP,aAAa,EACb,mHAAmH,EACnH;QACI,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,QAAQ,CAAC,6BAA6B,CAAC;KACvD,EACD,KAAK,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE;QACd,MAAM,MAAM,GAAG,MAAM,WAAW,CAAC,GAAG,CAAC,CAAC;QACtC,IAAI,MAAM,CAAC,EAAE,EAAE,CAAC;YACZ,OAAO,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,iCAAiC,EAAE,CAAC,EAAE,CAAC;QACpF,CAAC;aAAM,CAAC;YACJ,OAAO;gBACH,OAAO,EAAE;oBACL,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE;iBAC7E;gBACD,OAAO,EAAE,IAAI;aAChB,CAAC;QACN,CAAC;IACL,CAAC,CACJ,CAAC;IAEF,wEAAwE;IACxE,MAAM,CAAC,IAAI,CACP,eAAe,EACf,uHAAuH,EACvH;QACI,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,QAAQ,CAAC,+BAA+B,CAAC;KACzD,EACD,KAAK,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE;QACd,MAAM,MAAM,GAAG,MAAM,aAAa,CAAC,GAAG,CAAC,CAAC;QACxC,IAAI,MAAM,CAAC,EAAE,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;YAC3B,OAAO;gBACH,OAAO,EAAE;oBACL;wBACI,IAAI,EAAE,MAAM;wBACZ,IAAI,EAAE,IAAI,CAAC,SAAS,CAChB;4BACI,OAAO,EAAE,yBAAyB;4BAClC,IAAI,EAAE,MAAM,CAAC,IAAI;4BACjB,UAAU,EAAE,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,iBAAiB;yBACpD,EACD,IAAI,EACJ,CAAC,CACJ;qBACJ;iBACJ;aACJ,CAAC;QACN,CAAC;aAAM,CAAC;YACJ,OAAO;gBACH,OAAO,EAAE;oBACL,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE;iBAC7E;gBACD,OAAO,EAAE,IAAI;aAChB,CAAC;QACN,CAAC;IACL,CAAC,CACJ,CAAC;IAEF,qEAAqE;IACrE,MAAM,CAAC,IAAI,CACP,WAAW,EACX,iIAAiI,EACjI;QACI,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,kDAAkD,CAAC;KACtF,EACD,KAAK,EAAE,EAAE,UAAU,EAAE,EAAE,EAAE;QACrB,IAAI,CAAC;YACD,MAAM,MAAM,GAAG,MAAM,SAAS,CAAC,UAAU,CAAC,CAAC;YAC3C,OAAO;gBACH,OAAO,EAAE;oBACL;wBACI,IAAI,EAAE,MAAM;wBACZ,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;qBACxC;iBACJ;aACJ,CAAC;QACN,CAAC;QAAC,OAAO,GAAQ,EAAE,CAAC;YAChB,OAAO;gBACH,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC;gBAC9C,OAAO,EAAE,IAAI;aAChB,CAAC;QACN,CAAC;IACL,CAAC,CACJ,CAAC;IAEF,gFAAgF;IAChF,YAAY;IACZ,gFAAgF;IAEhF,MAAM,CAAC,QAAQ,CACX,QAAQ,EACR,gBAAgB,EAChB;QACI,WAAW,EAAE,wDAAwD;QACrE,QAAQ,EAAE,kBAAkB;KAC/B,EACD,KAAK,IAAI,EAAE;QACP,MAAM,MAAM,GAAG,YAAY,EAAE,CAAC;QAC9B,OAAO;YACH,QAAQ,EAAE;gBACN;oBACI,GAAG,EAAE,gBAAgB;oBACrB,QAAQ,EAAE,kBAAkB;oBAC5B,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;iBAC/C;aACJ;SACJ,CAAC;IACN,CAAC,CACJ,CAAC;IAEF,MAAM,CAAC,QAAQ,CACX,UAAU,EACV,kBAAkB,EAClB,EAAE,WAAW,EAAE,wCAAwC,EAAE,QAAQ,EAAE,kBAAkB,EAAE,EACvF,KAAK,IAAI,EAAE;QACP,MAAM,MAAM,GAAG,cAAc,EAAE,CAAC;QAChC,OAAO;YACH,QAAQ,EAAE;gBACN;oBACI,GAAG,EAAE,kBAAkB;oBACvB,QAAQ,EAAE,kBAAkB;oBAC5B,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;iBACxC;aACJ;SACJ,CAAC;IACN,CAAC,CACJ,CAAC;IAEF,OAAO,MAAM,CAAC;AAClB,CAAC"}