@lucern/contracts 1.0.3 → 1.0.4

package/CHANGELOG.md

@@ -21,3 +21,6 @@ All notable changes to `@lucern/contracts` are tracked in this repository.
 
 ## [1.0.3] - 2026-05-27
 - Release notes pending.
+
+## [1.0.4] - 2026-05-28
+- Release notes pending.

package/dist/context-pack.contract.d.ts

@@ -461,6 +461,16 @@ type ContextPackRequestV1 = {
     projectId?: string;
     /** Focus query for relevance ranking. */
     query?: string;
+    /** Optional natural-language topic hint for query-first topic resolution. */
+    topicHint?: string;
+    /** Optional resolver tags for query-first topic resolution. */
+    tags?: string[];
+    /** Optional path signals for query-first topic resolution. */
+    touchedPaths?: string[];
+    /** Optional source reference signal for query-first topic resolution. */
+    sourceRef?: string;
+    /** Optional source kind signal for query-first topic resolution. */
+    sourceKind?: string;
     /** Max items per section. Default: DEFAULT_SECTION_LIMIT. */
     limit?: number;
     /** Ranking profile. Default: DEFAULT_RANKING_PROFILE. */

package/dist/context-pack.contract.js.map

@@ -1 +1 @@
-{"version":3,"sources":["../src/context-pack.contract.ts"],"names":[],"mappings":";AAqBO,IAAM,2BAAA,GAA8B;AAepC,IAAM,wBAAA,GAA6D;AAAA,EACxE,aAAA;AAAA,EACA;AACF;AAEO,IAAM,uBAAA,GAAiD;AAevD,IAAM,wBAAA,GAAmD;AAiBzD,IAAM,yBAAA,GAA8D;AAAA,EACzE,YAAA;AAAA,EACA,eAAA;AAAA,EACA,eAAA;AAAA,EACA,gBAAA;AAAA,EACA;AACF;AAiBO,IAAM,qBAAA,GAET;AAAA,EACF,UAAA,EAAY,IAAA;AAAA,EACZ,aAAA,EAAe,GAAA;AAAA,EACf,aAAA,EAAe,IAAA;AAAA,EACf,cAAA,EAAgB,IAAA;AAAA,EAChB,cAAA,EAAgB;AAClB;AAOO,IAAM,gBAAA,GAAmB;AAGzB,IAAM,gBAAA,GAAmB;AAGzB,IAAM,oBAAA,GAAuB;AAG7B,IAAM,qBAAA,GAAwB;AAG9B,IAAM,iBAAA,GAAoB;AAG1B,IAAM,wBAAA,GAA2B;AA0BjC,IAAM,eAAA,GAET;AAAA,EACF,UAAA,EAAY;AAAA,IACV,KAAA,EAAO,IAAA;AAAA,IACP,OAAA,EAAS,GAAA;AAAA,IACT,UAAA,EAAY,GAAA;AAAA,IACZ,UAAA,EAAY;AAAA,GACd;AAAA,EACA,aAAA,EAAe;AAAA,IACb,KAAA,EAAO,GAAA;AAAA,IACP,OAAA,EAAS,GAAA;AAAA,IACT,UAAA,EAAY,GAAA;AAAA,IACZ,UAAA,EAAY;AAAA,GACd;AAAA,EACA,aAAA,EAAe;AAAA,IACb,KAAA,EAAO,IAAA;AAAA,IACP,OAAA,EAAS,GAAA;AAAA,IACT,QAAA,EAAU;AAAA,GACZ;AAAA,EACA,cAAA,EAAgB;AAAA,IACd,KAAA,EAAO,GAAA;AAAA,IACP,OAAA,EAAS;AAAA,GACX;AAAA,EACA,cAAA,EAAgB;AAAA,IACd,KAAA,EAAO,GAAA;AAAA,IACP,OAAA,EAAS,GAAA;AAAA,IACT,QAAA,EAAU;AAAA;AAEd;AAGO,IAAM,sBAAA,GAAyB;AAQ/B,IAAM,sBAAA,GAAyB;AAAA,EACpC,KAAA,EAAO,GAAA;AAAA,EACP,YAAA,EAAc;AAChB;AAGO,IAAM,oBAAA,GAAuB;AAG7B,IAAM,gBAAA,GAAmB;AAUzB,IAAM,iBAAA,GAAsD;AAAA,EACjE,SAAA,EAAW,CAAA;AAAA,EACX,KAAA,EAAO,GAAA;AAAA,EACP,SAAA,EAAW;AACb;AAEO,IAAM,yBAAA,GAA4B;AAMlC,IAAM,eAAA,GAAoD;AAAA,EAC/D,QAAA,EAAU,CAAA;AAAA,EACV,IAAA,EAAM,IAAA;AAAA,EACN,MAAA,EAAQ,IAAA;AAAA,EACR,GAAA,EAAK;AACP;AAEO,IAAM,sBAAA,GAAyB;AAE/B,IAAM,eAAA,GAAoD;AAAA,EAC/D,QAAA,EAAU,CAAA;AAAA,EACV,IAAA,EAAM,IAAA;AAAA,EACN,MAAA,EAAQ,GAAA;AAAA,EACR,GAAA,EAAK;AACP;AAEO,IAAM,sBAAA,GAAyB;AA6b/B,IAAM,0BAAA,GAAgD;AAAA,EAC3D,UAAA;AAAA,EACA,UAAA;AAAA,EACA,QAAA;AAAA,EACA,UAAA;AAAA,EACA,kBAAA;AAAA,EACA,iBAAA;AAAA,EACA;AACF;AAUO,IAAM,eAAA,GAAkB;AAGxB,IAAM,kBAAA,GAAqB","file":"context-pack.contract.js","sourcesContent":["/**\n * Context-Pack Contract v1\n *\n * Canonical TypeScript types and constants for the context-pack output schema.\n * This is the external contract consumed by:\n *   - MCP tool `compile_context` (canonical compiler read)\n *   - SDK/HTTP consumers that read compiled context packs programmatically\n *   - Benchmark harnesses (context-pack-ab)\n *\n * BREAKING CHANGE RULES:\n *   - Adding optional fields to ContextPackV1 is NON-breaking\n *   - Removing fields or changing types is BREAKING (bump CONTEXT_PACK_SCHEMA_VERSION)\n *   - Changing section budget ratios or ranking weights is NON-breaking (tuning)\n *   - Changing the version string is BREAKING (consumers check it)\n */\n\n// =============================================================================\n// SCHEMA VERSION\n// =============================================================================\n\n/** Canonical version string. Consumers MUST check this field for compatibility. */\nexport const CONTEXT_PACK_SCHEMA_VERSION = \"1.0.0\" as const;\n\n// =============================================================================\n// RANKING PROFILES\n// =============================================================================\n\n/**\n * Available ranking profiles for context-pack assembly.\n *\n * - `baseline_v1`: Simple token-hit counting. Items with zero query hits are excluded.\n * - `weighted_v1`: Multi-signal scoring combining query relevance, recency, confidence,\n *    belief type, priority, and severity with section-specific weight vectors.\n */\nexport type ContextRankingProfile = \"baseline_v1\" | \"weighted_v1\";\n\nexport const CONTEXT_RANKING_PROFILES: readonly ContextRankingProfile[] = [\n  \"baseline_v1\",\n  \"weighted_v1\",\n] as const;\n\nexport const DEFAULT_RANKING_PROFILE: ContextRankingProfile = \"weighted_v1\";\n\n// =============================================================================\n// COMPILATION MODE (RS-2)\n// =============================================================================\n\n/**\n * Context compilation mode.\n *\n * - `standard`: Default — ranked beliefs, questions, evidence, contradictions.\n * - `delta`: Diff-aware — adds failure context, verification obligations,\n *    and worktree ledger analysis to the standard context pack.\n */\nexport type ContextCompilationMode = \"standard\" | \"delta\";\n\nexport const DEFAULT_COMPILATION_MODE: ContextCompilationMode = \"standard\";\n\n// =============================================================================\n// SECTION KEYS\n// =============================================================================\n\n/**\n * The five canonical sections of a context pack.\n * Order matters: invariants are injected first, contradictions last.\n */\nexport type ContextPackSectionKey =\n  | \"invariants\"\n  | \"activeBeliefs\"\n  | \"openQuestions\"\n  | \"recentEvidence\"\n  | \"contradictions\";\n\nexport const CONTEXT_PACK_SECTION_KEYS: readonly ContextPackSectionKey[] = [\n  \"invariants\",\n  \"activeBeliefs\",\n  \"openQuestions\",\n  \"recentEvidence\",\n  \"contradictions\",\n] as const;\n\n// =============================================================================\n// SECTION BUDGET RATIOS\n// =============================================================================\n\n/**\n * Token budget allocation ratios per section.\n * These sum to 1.0 and determine how the total tokenBudget is divided.\n *\n * Rationale:\n * - invariants (0.28): Highest-priority constraints, injected first\n * - activeBeliefs (0.30): Largest section, carries domain knowledge\n * - openQuestions (0.17): Unresolved work items guide agent behavior\n * - recentEvidence (0.17): Implementation context for grounding\n * - contradictions (0.08): Tension signals, smallest section\n */\nexport const SECTION_BUDGET_RATIOS: Readonly<\n  Record<ContextPackSectionKey, number>\n> = {\n  invariants: 0.28,\n  activeBeliefs: 0.3,\n  openQuestions: 0.17,\n  recentEvidence: 0.17,\n  contradictions: 0.08,\n} as const;\n\n// =============================================================================\n// TOKEN BUDGET CONSTRAINTS\n// =============================================================================\n\n/** Minimum allowed token budget. Below this, context packs lose utility. */\nexport const MIN_TOKEN_BUDGET = 400;\n\n/** Maximum allowed token budget. Above this, context packs bloat prompts. */\nexport const MAX_TOKEN_BUDGET = 8000;\n\n/** Default token budget when caller does not specify. */\nexport const DEFAULT_TOKEN_BUDGET = 1800;\n\n/** Default max items per section. */\nexport const DEFAULT_SECTION_LIMIT = 8;\n\n/** Hard ceiling on items per section. */\nexport const MAX_SECTION_LIMIT = 25;\n\n/** Minimum contradiction section budget floor (tokens). */\nexport const MIN_CONTRADICTION_BUDGET = 40;\n\n// =============================================================================\n// RANKING WEIGHT VECTORS\n// =============================================================================\n\n/**\n * Weight vectors for the weighted_v1 ranking profile.\n * Each section has a different signal mix:\n *\n * - query: How many query tokens appear in the candidate text\n * - recency: Exponential decay from updatedAt (half-life = 30 days)\n * - confidence: Belief confidence score [0,1]\n * - beliefType: Bonus for invariant > tenet > principle > other\n * - priority: Question priority (critical > high > medium > low)\n * - severity: Contradiction severity (critical > high > medium > low)\n */\nexport type RankingWeightVector = {\n  query: number;\n  recency: number;\n  confidence?: number;\n  beliefType?: number;\n  priority?: number;\n  severity?: number;\n};\n\nexport const RANKING_WEIGHTS: Readonly<\n  Record<ContextPackSectionKey, RankingWeightVector>\n> = {\n  invariants: {\n    query: 0.35,\n    recency: 0.1,\n    confidence: 0.4,\n    beliefType: 0.15,\n  },\n  activeBeliefs: {\n    query: 0.5,\n    recency: 0.2,\n    confidence: 0.2,\n    beliefType: 0.1,\n  },\n  openQuestions: {\n    query: 0.55,\n    recency: 0.2,\n    priority: 0.25,\n  },\n  recentEvidence: {\n    query: 0.6,\n    recency: 0.4,\n  },\n  contradictions: {\n    query: 0.4,\n    recency: 0.2,\n    severity: 0.4,\n  },\n} as const;\n\n/** Recency decay half-life in days. After 30 days, recency score = 0.5. */\nexport const RECENCY_HALF_LIFE_DAYS = 30;\n\n/**\n * Ranking weight vector for the relatedEntities section.\n * Entities are ranked by query relevance and connectivity (bridge edge count).\n * Separate from RANKING_WEIGHTS because entities are not part of the\n * token-budgeted injection plan.\n */\nexport const ENTITY_RANKING_WEIGHTS = {\n  query: 0.4,\n  connectivity: 0.6,\n} as const;\n\n/** Default max entities to include in the context pack. */\nexport const DEFAULT_ENTITY_LIMIT = 10;\n\n/** Hard ceiling on entities per context pack. */\nexport const MAX_ENTITY_LIMIT = 50;\n\n// =============================================================================\n// BELIEF TYPE BONUS MAP\n// =============================================================================\n\n/**\n * Bonus multiplier for belief types in ranking.\n * Invariants get 1.0, unknown types get 0.4.\n */\nexport const BELIEF_TYPE_BONUS: Readonly<Record<string, number>> = {\n  invariant: 1.0,\n  tenet: 0.8,\n  principle: 0.6,\n} as const;\n\nexport const DEFAULT_BELIEF_TYPE_BONUS = 0.4;\n\n// =============================================================================\n// PRIORITY / SEVERITY SCORE MAPS\n// =============================================================================\n\nexport const PRIORITY_SCORES: Readonly<Record<string, number>> = {\n  critical: 1.0,\n  high: 0.85,\n  medium: 0.55,\n  low: 0.35,\n} as const;\n\nexport const DEFAULT_PRIORITY_SCORE = 0.5;\n\nexport const SEVERITY_SCORES: Readonly<Record<string, number>> = {\n  critical: 1.0,\n  high: 0.85,\n  medium: 0.6,\n  low: 0.35,\n} as const;\n\nexport const DEFAULT_SEVERITY_SCORE = 0.5;\n\n// =============================================================================\n// SECTION ITEM TYPES\n// =============================================================================\n\n/** A ranked belief in the invariants or activeBeliefs section. */\nexport type ContextPackBelief = {\n  nodeId: string;\n  canonicalText: string;\n  confidence: number | null;\n  beliefType: string | null;\n  score: number;\n  /** Present in activeBeliefs, absent in invariants */\n  status?: string;\n  updatedAt?: number | null;\n  /** Human-readable explanation of why this item was ranked here (RS-2). */\n  justification?: string;\n};\n\n/** A ranked question in the openQuestions section. */\nexport type ContextPackQuestion = {\n  questionId: string;\n  text: string;\n  status: string;\n  priority: string;\n  updatedAt?: number | null;\n  score: number;\n  /** Human-readable explanation of why this item was ranked here (RS-2). */\n  justification?: string;\n};\n\n/** A ranked evidence item in the recentEvidence section. */\nexport type ContextPackEvidence = {\n  nodeId: string;\n  canonicalText: string;\n  sourceUrl: string | null;\n  kind: string;\n  createdAt: number | null;\n  score: number;\n  /** Human-readable explanation of why this item was ranked here (RS-2). */\n  justification?: string;\n};\n\n/** A ranked contradiction in the contradictions section. */\nexport type ContextPackContradiction = {\n  contradictionId: string;\n  severity: string;\n  status: string;\n  description: string;\n  score: number;\n  /** Human-readable explanation of why this item was ranked here (RS-2). */\n  justification?: string;\n};\n\n/**\n * An entity from the ontological layer surfaced in the context pack.\n * Entities are domain objects (companies, people, functions, etc.) connected\n * to beliefs via bridge edges. They provide the \"reality anchor\" that makes\n * the reasoning graph domain-aware.\n */\nexport type ContextPackEntity = {\n  /** Convex document ID of the entity node. */\n  nodeId: string;\n  /** Entity type (e.g., \"company\", \"person\", \"function\"). */\n  entityType: string;\n  /** Human-readable title/name of the entity. */\n  title: string;\n  /** Number of beliefs connected to this entity via bridge edges. */\n  connectedBeliefCount: number;\n  /** Number of evidence items referencing this entity. */\n  connectedEvidenceCount: number;\n  /** Relevance score from ranking algorithm. */\n  score: number;\n  /** Entity metadata (structured per ontology schema). */\n  metadata?: Record<string, unknown>;\n};\n\n/**\n * A lattice seed entry representing a belief that was auto-generated\n * to cover an ontology entity type within a topic scope.\n */\nexport type BeliefLatticeSeed = {\n  /** The belief node ID that was created or already existed. */\n  beliefNodeId: string;\n  /** The entity type this seed belief covers. */\n  entityType: string;\n  /** Whether this seed was newly created or already existed. */\n  created: boolean;\n  /** The canonical text of the seed belief. */\n  canonicalText: string;\n};\n\n// =============================================================================\n// SUMMARY\n// =============================================================================\n\n/** Counts and scoped health signals for the context pack. */\nexport type ContextPackSummary = {\n  totalBeliefs: number;\n  invariants: number;\n  openQuestions: number;\n  evidenceItems: number;\n  contradictions: number;\n  /** Number of ontological entities in scope (optional, present when entity graph is active). */\n  relatedEntities?: number;\n  scopedTopics: number;\n  descendantDepth: number;\n  query: string | null;\n};\n\n// =============================================================================\n// FAILURE CONTEXT (RS-2)\n// =============================================================================\n\n/** A failed approach surfaced from the failure log for anti-repetition. */\nexport type ContextPackFailure = {\n  /** Lucern attempt/evidence node ID. */\n  attemptId: string;\n  /** What was tried. */\n  approach: string;\n  /** Why it failed. */\n  outcome: string;\n  /** When the attempt was recorded (ms since epoch). */\n  recordedAt: number;\n  /** Relevance score from ranking algorithm. */\n  score: number;\n};\n\n/** Failure context section appended to context packs in delta mode. */\nexport type ContextPackFailureContext = {\n  /** Ranked failed approaches relevant to the current query. */\n  failures: ContextPackFailure[];\n  /** IDs of items suppressed from other sections due to anti-repetition. */\n  suppressedIds: string[];\n};\n\n// =============================================================================\n// DELTA REPORT (RS-2)\n// =============================================================================\n\n/** A verification obligation surfaced by delta compilation. */\nexport type VerificationObligation = {\n  /** What must be verified. */\n  description: string;\n  /** Source of the obligation (e.g., \"belief:xyz confidence drop\"). */\n  source: string;\n  /** Severity: how important it is to verify. */\n  severity: \"critical\" | \"high\" | \"medium\" | \"low\";\n};\n\n/** Delta report appended to context packs when mode = \"delta\". */\nexport type ContextPackDeltaReport = {\n  /** Items that changed since the reference point (new, updated, removed). */\n  changedItems: Array<{\n    id: string;\n    section: ContextPackSectionKey;\n    changeType: \"added\" | \"updated\" | \"removed\" | \"confidence_changed\";\n    summary: string;\n  }>;\n  /** Obligations the consuming session must verify. */\n  verificationObligations: VerificationObligation[];\n  /** Reference point for the delta (worktree ID, timestamp, or commit SHA). */\n  referencePoint: string;\n};\n\n// =============================================================================\n// PACK WEIGHT OVERRIDES (RS-2)\n// =============================================================================\n\n/**\n * Per-section weight overrides that domain packs can apply.\n * Overrides merge with RANKING_WEIGHTS — only specified fields replace defaults.\n */\nexport type PackWeightOverride = {\n  /** Which section to override weights for. */\n  section: ContextPackSectionKey;\n  /** Partial weight vector — only specified fields replace defaults. */\n  weights: Partial<RankingWeightVector>;\n};\n\n// =============================================================================\n// INJECTION POLICY\n// =============================================================================\n\n/** Token-budgeted section selections for prompt injection. */\nexport type ContextPackInjectionPolicy = {\n  /** Total token budget for the entire context pack. */\n  tokenBudget: number;\n  /** Estimated tokens consumed across all sections. */\n  estimatedTokens: number;\n  /** Per-section token budgets derived from SECTION_BUDGET_RATIOS. */\n  sectionBudgets: Record<ContextPackSectionKey, number>;\n  /** Actual token usage per section after greedy fill. */\n  sectionUsage: Record<ContextPackSectionKey, number>;\n  /** Node/question IDs selected for injection, per section. */\n  selected: Record<ContextPackSectionKey, string[]>;\n  /** Items that were scored but excluded from injection, with reason (RS-2). */\n  excludedItems?: Array<{\n    id: string;\n    section: ContextPackSectionKey;\n    reason: \"budget_exceeded\" | \"anti_repetition\" | \"below_threshold\";\n    score: number;\n  }>;\n};\n\n// =============================================================================\n// DIAGNOSTICS\n// =============================================================================\n\n/** Telemetry for context pack assembly. */\nexport type ContextPackDiagnostics = {\n  /** Total candidates scored across all sections. */\n  itemsScored: number;\n  /** Ratio of estimatedTokens / tokenBudget. Range [0, 1+]. */\n  tokenBudgetUtilization: number;\n};\n\n// =============================================================================\n// PUBLIC COMPILED CONTEXT TYPES\n// =============================================================================\n\n/**\n * Public context surface returned by the SDK-facing context client.\n *\n * This preserves the existing external shape while the canonical compiler\n * contract evolves in parallel as ContextPackV1.\n */\nexport type PublicContextBelief = {\n  beliefId: string;\n  text: string;\n  confidence: number | null;\n  beliefType?: string | null;\n  status?: string;\n  updatedAt?: number | null;\n  score: number;\n  justification?: string;\n};\n\nexport type PublicContextQuestion = {\n  questionId: string;\n  text: string;\n  status: string;\n  priority: string;\n  updatedAt?: number | null;\n  score: number;\n  justification?: string;\n};\n\nexport type PublicContextEvidence = {\n  evidenceId: string;\n  text: string;\n  sourceUrl?: string | null;\n  kind: string;\n  createdAt?: number | null;\n  score: number;\n  justification?: string;\n};\n\nexport type PublicContextContradiction = {\n  contradictionId: string;\n  severity: string;\n  status: string;\n  description: string;\n  score: number;\n  justification?: string;\n};\n\nexport type PublicContextEntity = {\n  entityId: string;\n  entityType: string;\n  title: string;\n  text?: string;\n  connectedBeliefCount: number;\n  connectedEvidenceCount: number;\n  score: number;\n  metadata?: Record<string, unknown>;\n};\n\nexport type PublicContextInjectionPolicy = {\n  tokenBudget: number;\n  estimatedTokens: number;\n  sectionBudgets: Record<string, number>;\n  sectionUsage: Record<string, number>;\n  selected: Record<string, string[]>;\n  excludedItems?: Array<{\n    id: string;\n    section: string;\n    reason: \"budget_exceeded\" | \"anti_repetition\" | \"below_threshold\";\n    score: number;\n  }>;\n};\n\nexport type PublicCompiledContext = {\n  schemaVersion: string;\n  topicId: string;\n  topicName: string;\n  scopedTopicIds: string[];\n  generatedAt: number;\n  ranking: ContextRankingProfile;\n  summary: Record<string, unknown>;\n  invariants: PublicContextBelief[];\n  activeBeliefs: PublicContextBelief[];\n  openQuestions: PublicContextQuestion[];\n  recentEvidence: PublicContextEvidence[];\n  contradictions: PublicContextContradiction[];\n  relatedEntities?: PublicContextEntity[];\n  contextNarrative: string[];\n  injectionPolicy: PublicContextInjectionPolicy;\n  diagnostics: Record<string, unknown>;\n  compilationMode?: string;\n  failureContext?: {\n    failures: Array<{\n      attemptId: string;\n      approach: string;\n      outcome: string;\n      recordedAt: number;\n      score: number;\n    }>;\n    suppressedIds: string[];\n  };\n  deltaReport?: {\n    changedItems: Array<{\n      id: string;\n      section: string;\n      changeType: string;\n      summary: string;\n    }>;\n    verificationObligations: Array<{\n      description: string;\n      source: string;\n      severity: \"critical\" | \"high\" | \"medium\" | \"low\";\n    }>;\n    referencePoint: string;\n  };\n  appliedWeightOverrides?: unknown[];\n};\n\n// =============================================================================\n// CONTEXT PACK V1 (TOP-LEVEL OUTPUT)\n// =============================================================================\n\n/**\n * The canonical output schema for context compilation responses.\n *\n * This is the contract that consumers depend on. All fields are required\n * in the output. Adding optional fields is non-breaking; removing or\n * changing types is breaking (requires version bump).\n */\nexport type ContextPackV1 = {\n  /** Schema version for compatibility checking. */\n  schemaVersion: typeof CONTEXT_PACK_SCHEMA_VERSION;\n  /** Deprecated compatibility alias for the requested scope ID. */\n  projectId?: string;\n  /** Resolved topic ID after scope resolution. */\n  topicId: string;\n  /** Human-readable topic name. */\n  topicName: string;\n  /** All topic IDs included in the neighborhood expansion. */\n  scopedTopicIds: string[];\n  /** Deterministic freshness watermark for this pack (ms since epoch). */\n  generatedAt: number;\n  /** Which ranking profile was used. */\n  rankingProfile: ContextRankingProfile;\n  /** Aggregate counts and health signals. */\n  summary: ContextPackSummary;\n  /** High-confidence invariant beliefs (beliefType = \"invariant\"). */\n  invariants: ContextPackBelief[];\n  /** Active beliefs ranked by query relevance. */\n  activeBeliefs: ContextPackBelief[];\n  /** Open questions ranked by relevance and priority. */\n  openQuestions: ContextPackQuestion[];\n  /** Recent evidence ranked by relevance and recency. */\n  recentEvidence: ContextPackEvidence[];\n  /** Active contradictions ranked by severity. */\n  contradictions: ContextPackContradiction[];\n  /**\n   * Ontological entities connected to beliefs in scope, ranked by connectivity.\n   * Optional — present when entity graph substrate is active for this topic.\n   * NON-BREAKING addition per contract rules.\n   */\n  relatedEntities?: ContextPackEntity[];\n  /** Concise instructions for agent context injection. */\n  contextNarrative: string[];\n  /** Token-budgeted injection selections. */\n  injectionPolicy: ContextPackInjectionPolicy;\n  /** Assembly telemetry. */\n  diagnostics: ContextPackDiagnostics;\n  /** Compilation mode used to generate this pack (RS-2). Default: \"standard\". */\n  compilationMode?: ContextCompilationMode;\n  /** Failure context for anti-repetition (RS-2). Present when failures are relevant. */\n  failureContext?: ContextPackFailureContext;\n  /** Delta report (RS-2). Present only when compilationMode = \"delta\". */\n  deltaReport?: ContextPackDeltaReport;\n  /** Pack weight overrides applied during ranking (RS-2). */\n  appliedWeightOverrides?: PackWeightOverride[];\n};\n\n// =============================================================================\n// CONTEXT PACK REQUEST V1 (INPUT)\n// =============================================================================\n\n/**\n * The canonical input schema for `compile_context`.\n * `topicId` is optional for query-first callers. When omitted, the platform\n * resolves the best topic from the query and other available signals.\n * `projectId` remains an optional compatibility alias.\n */\nexport type ContextPackRequestV1 = {\n  /** Topic scope ID. Omit to resolve by query. */\n  topicId?: string;\n  /** Deprecated compatibility alias for older callers. */\n  projectId?: string;\n  /** Focus query for relevance ranking. */\n  query?: string;\n  /** Max items per section. Default: DEFAULT_SECTION_LIMIT. */\n  limit?: number;\n  /** Ranking profile. Default: DEFAULT_RANKING_PROFILE. */\n  rankingProfile?: ContextRankingProfile;\n  /** Total token budget. Default: DEFAULT_TOKEN_BUDGET. */\n  tokenBudget?: number;\n  /** Descendant topic depth for neighborhood expansion. */\n  maxDepth?: number;\n  /** Include ontological entities connected to beliefs in scope. Default: true. */\n  includeEntities?: boolean;\n  /** Compilation mode (RS-2). Default: \"standard\". */\n  mode?: ContextCompilationMode;\n  /** Include failure log context for anti-repetition (RS-2). Default: false. */\n  includeFailures?: boolean;\n  /** Active worktree ID for delta mode reference point (RS-2). */\n  worktreeId?: string;\n  /** Session ID for anti-repetition dedup (RS-2). */\n  sessionId?: string;\n  /** Pack weight overrides from domain pack binding (RS-2). */\n  packWeightOverrides?: PackWeightOverride[];\n};\n\n// =============================================================================\n// RESOLVED QUESTION STATUSES\n// =============================================================================\n\n/**\n * Question statuses that are considered \"resolved\" (not open).\n * Used to filter which questions appear in the openQuestions section.\n */\nexport const RESOLVED_QUESTION_STATUSES: readonly string[] = [\n  \"answered\",\n  \"archived\",\n  \"closed\",\n  \"resolved\",\n  \"resolved_support\",\n  \"resolved_contra\",\n  \"belief_forked\",\n] as const;\n\n// =============================================================================\n// TOKEN ESTIMATION\n// =============================================================================\n\n/**\n * Tokens-per-word multiplier for rough token estimation.\n * Conservative estimate: ~1.35 tokens per whitespace-delimited word.\n */\nexport const TOKENS_PER_WORD = 1.35;\n\n/** Minimum token estimate for any non-empty string. */\nexport const MIN_TOKEN_ESTIMATE = 8;\n"]}
+{"version":3,"sources":["../src/context-pack.contract.ts"],"names":[],"mappings":";AAqBO,IAAM,2BAAA,GAA8B;AAepC,IAAM,wBAAA,GAA6D;AAAA,EACxE,aAAA;AAAA,EACA;AACF;AAEO,IAAM,uBAAA,GAAiD;AAevD,IAAM,wBAAA,GAAmD;AAiBzD,IAAM,yBAAA,GAA8D;AAAA,EACzE,YAAA;AAAA,EACA,eAAA;AAAA,EACA,eAAA;AAAA,EACA,gBAAA;AAAA,EACA;AACF;AAiBO,IAAM,qBAAA,GAET;AAAA,EACF,UAAA,EAAY,IAAA;AAAA,EACZ,aAAA,EAAe,GAAA;AAAA,EACf,aAAA,EAAe,IAAA;AAAA,EACf,cAAA,EAAgB,IAAA;AAAA,EAChB,cAAA,EAAgB;AAClB;AAOO,IAAM,gBAAA,GAAmB;AAGzB,IAAM,gBAAA,GAAmB;AAGzB,IAAM,oBAAA,GAAuB;AAG7B,IAAM,qBAAA,GAAwB;AAG9B,IAAM,iBAAA,GAAoB;AAG1B,IAAM,wBAAA,GAA2B;AA0BjC,IAAM,eAAA,GAET;AAAA,EACF,UAAA,EAAY;AAAA,IACV,KAAA,EAAO,IAAA;AAAA,IACP,OAAA,EAAS,GAAA;AAAA,IACT,UAAA,EAAY,GAAA;AAAA,IACZ,UAAA,EAAY;AAAA,GACd;AAAA,EACA,aAAA,EAAe;AAAA,IACb,KAAA,EAAO,GAAA;AAAA,IACP,OAAA,EAAS,GAAA;AAAA,IACT,UAAA,EAAY,GAAA;AAAA,IACZ,UAAA,EAAY;AAAA,GACd;AAAA,EACA,aAAA,EAAe;AAAA,IACb,KAAA,EAAO,IAAA;AAAA,IACP,OAAA,EAAS,GAAA;AAAA,IACT,QAAA,EAAU;AAAA,GACZ;AAAA,EACA,cAAA,EAAgB;AAAA,IACd,KAAA,EAAO,GAAA;AAAA,IACP,OAAA,EAAS;AAAA,GACX;AAAA,EACA,cAAA,EAAgB;AAAA,IACd,KAAA,EAAO,GAAA;AAAA,IACP,OAAA,EAAS,GAAA;AAAA,IACT,QAAA,EAAU;AAAA;AAEd;AAGO,IAAM,sBAAA,GAAyB;AAQ/B,IAAM,sBAAA,GAAyB;AAAA,EACpC,KAAA,EAAO,GAAA;AAAA,EACP,YAAA,EAAc;AAChB;AAGO,IAAM,oBAAA,GAAuB;AAG7B,IAAM,gBAAA,GAAmB;AAUzB,IAAM,iBAAA,GAAsD;AAAA,EACjE,SAAA,EAAW,CAAA;AAAA,EACX,KAAA,EAAO,GAAA;AAAA,EACP,SAAA,EAAW;AACb;AAEO,IAAM,yBAAA,GAA4B;AAMlC,IAAM,eAAA,GAAoD;AAAA,EAC/D,QAAA,EAAU,CAAA;AAAA,EACV,IAAA,EAAM,IAAA;AAAA,EACN,MAAA,EAAQ,IAAA;AAAA,EACR,GAAA,EAAK;AACP;AAEO,IAAM,sBAAA,GAAyB;AAE/B,IAAM,eAAA,GAAoD;AAAA,EAC/D,QAAA,EAAU,CAAA;AAAA,EACV,IAAA,EAAM,IAAA;AAAA,EACN,MAAA,EAAQ,GAAA;AAAA,EACR,GAAA,EAAK;AACP;AAEO,IAAM,sBAAA,GAAyB;AAuc/B,IAAM,0BAAA,GAAgD;AAAA,EAC3D,UAAA;AAAA,EACA,UAAA;AAAA,EACA,QAAA;AAAA,EACA,UAAA;AAAA,EACA,kBAAA;AAAA,EACA,iBAAA;AAAA,EACA;AACF;AAUO,IAAM,eAAA,GAAkB;AAGxB,IAAM,kBAAA,GAAqB","file":"context-pack.contract.js","sourcesContent":["/**\n * Context-Pack Contract v1\n *\n * Canonical TypeScript types and constants for the context-pack output schema.\n * This is the external contract consumed by:\n *   - MCP tool `compile_context` (canonical compiler read)\n *   - SDK/HTTP consumers that read compiled context packs programmatically\n *   - Benchmark harnesses (context-pack-ab)\n *\n * BREAKING CHANGE RULES:\n *   - Adding optional fields to ContextPackV1 is NON-breaking\n *   - Removing fields or changing types is BREAKING (bump CONTEXT_PACK_SCHEMA_VERSION)\n *   - Changing section budget ratios or ranking weights is NON-breaking (tuning)\n *   - Changing the version string is BREAKING (consumers check it)\n */\n\n// =============================================================================\n// SCHEMA VERSION\n// =============================================================================\n\n/** Canonical version string. Consumers MUST check this field for compatibility. */\nexport const CONTEXT_PACK_SCHEMA_VERSION = \"1.0.0\" as const;\n\n// =============================================================================\n// RANKING PROFILES\n// =============================================================================\n\n/**\n * Available ranking profiles for context-pack assembly.\n *\n * - `baseline_v1`: Simple token-hit counting. Items with zero query hits are excluded.\n * - `weighted_v1`: Multi-signal scoring combining query relevance, recency, confidence,\n *    belief type, priority, and severity with section-specific weight vectors.\n */\nexport type ContextRankingProfile = \"baseline_v1\" | \"weighted_v1\";\n\nexport const CONTEXT_RANKING_PROFILES: readonly ContextRankingProfile[] = [\n  \"baseline_v1\",\n  \"weighted_v1\",\n] as const;\n\nexport const DEFAULT_RANKING_PROFILE: ContextRankingProfile = \"weighted_v1\";\n\n// =============================================================================\n// COMPILATION MODE (RS-2)\n// =============================================================================\n\n/**\n * Context compilation mode.\n *\n * - `standard`: Default — ranked beliefs, questions, evidence, contradictions.\n * - `delta`: Diff-aware — adds failure context, verification obligations,\n *    and worktree ledger analysis to the standard context pack.\n */\nexport type ContextCompilationMode = \"standard\" | \"delta\";\n\nexport const DEFAULT_COMPILATION_MODE: ContextCompilationMode = \"standard\";\n\n// =============================================================================\n// SECTION KEYS\n// =============================================================================\n\n/**\n * The five canonical sections of a context pack.\n * Order matters: invariants are injected first, contradictions last.\n */\nexport type ContextPackSectionKey =\n  | \"invariants\"\n  | \"activeBeliefs\"\n  | \"openQuestions\"\n  | \"recentEvidence\"\n  | \"contradictions\";\n\nexport const CONTEXT_PACK_SECTION_KEYS: readonly ContextPackSectionKey[] = [\n  \"invariants\",\n  \"activeBeliefs\",\n  \"openQuestions\",\n  \"recentEvidence\",\n  \"contradictions\",\n] as const;\n\n// =============================================================================\n// SECTION BUDGET RATIOS\n// =============================================================================\n\n/**\n * Token budget allocation ratios per section.\n * These sum to 1.0 and determine how the total tokenBudget is divided.\n *\n * Rationale:\n * - invariants (0.28): Highest-priority constraints, injected first\n * - activeBeliefs (0.30): Largest section, carries domain knowledge\n * - openQuestions (0.17): Unresolved work items guide agent behavior\n * - recentEvidence (0.17): Implementation context for grounding\n * - contradictions (0.08): Tension signals, smallest section\n */\nexport const SECTION_BUDGET_RATIOS: Readonly<\n  Record<ContextPackSectionKey, number>\n> = {\n  invariants: 0.28,\n  activeBeliefs: 0.3,\n  openQuestions: 0.17,\n  recentEvidence: 0.17,\n  contradictions: 0.08,\n} as const;\n\n// =============================================================================\n// TOKEN BUDGET CONSTRAINTS\n// =============================================================================\n\n/** Minimum allowed token budget. Below this, context packs lose utility. */\nexport const MIN_TOKEN_BUDGET = 400;\n\n/** Maximum allowed token budget. Above this, context packs bloat prompts. */\nexport const MAX_TOKEN_BUDGET = 8000;\n\n/** Default token budget when caller does not specify. */\nexport const DEFAULT_TOKEN_BUDGET = 1800;\n\n/** Default max items per section. */\nexport const DEFAULT_SECTION_LIMIT = 8;\n\n/** Hard ceiling on items per section. */\nexport const MAX_SECTION_LIMIT = 25;\n\n/** Minimum contradiction section budget floor (tokens). */\nexport const MIN_CONTRADICTION_BUDGET = 40;\n\n// =============================================================================\n// RANKING WEIGHT VECTORS\n// =============================================================================\n\n/**\n * Weight vectors for the weighted_v1 ranking profile.\n * Each section has a different signal mix:\n *\n * - query: How many query tokens appear in the candidate text\n * - recency: Exponential decay from updatedAt (half-life = 30 days)\n * - confidence: Belief confidence score [0,1]\n * - beliefType: Bonus for invariant > tenet > principle > other\n * - priority: Question priority (critical > high > medium > low)\n * - severity: Contradiction severity (critical > high > medium > low)\n */\nexport type RankingWeightVector = {\n  query: number;\n  recency: number;\n  confidence?: number;\n  beliefType?: number;\n  priority?: number;\n  severity?: number;\n};\n\nexport const RANKING_WEIGHTS: Readonly<\n  Record<ContextPackSectionKey, RankingWeightVector>\n> = {\n  invariants: {\n    query: 0.35,\n    recency: 0.1,\n    confidence: 0.4,\n    beliefType: 0.15,\n  },\n  activeBeliefs: {\n    query: 0.5,\n    recency: 0.2,\n    confidence: 0.2,\n    beliefType: 0.1,\n  },\n  openQuestions: {\n    query: 0.55,\n    recency: 0.2,\n    priority: 0.25,\n  },\n  recentEvidence: {\n    query: 0.6,\n    recency: 0.4,\n  },\n  contradictions: {\n    query: 0.4,\n    recency: 0.2,\n    severity: 0.4,\n  },\n} as const;\n\n/** Recency decay half-life in days. After 30 days, recency score = 0.5. */\nexport const RECENCY_HALF_LIFE_DAYS = 30;\n\n/**\n * Ranking weight vector for the relatedEntities section.\n * Entities are ranked by query relevance and connectivity (bridge edge count).\n * Separate from RANKING_WEIGHTS because entities are not part of the\n * token-budgeted injection plan.\n */\nexport const ENTITY_RANKING_WEIGHTS = {\n  query: 0.4,\n  connectivity: 0.6,\n} as const;\n\n/** Default max entities to include in the context pack. */\nexport const DEFAULT_ENTITY_LIMIT = 10;\n\n/** Hard ceiling on entities per context pack. */\nexport const MAX_ENTITY_LIMIT = 50;\n\n// =============================================================================\n// BELIEF TYPE BONUS MAP\n// =============================================================================\n\n/**\n * Bonus multiplier for belief types in ranking.\n * Invariants get 1.0, unknown types get 0.4.\n */\nexport const BELIEF_TYPE_BONUS: Readonly<Record<string, number>> = {\n  invariant: 1.0,\n  tenet: 0.8,\n  principle: 0.6,\n} as const;\n\nexport const DEFAULT_BELIEF_TYPE_BONUS = 0.4;\n\n// =============================================================================\n// PRIORITY / SEVERITY SCORE MAPS\n// =============================================================================\n\nexport const PRIORITY_SCORES: Readonly<Record<string, number>> = {\n  critical: 1.0,\n  high: 0.85,\n  medium: 0.55,\n  low: 0.35,\n} as const;\n\nexport const DEFAULT_PRIORITY_SCORE = 0.5;\n\nexport const SEVERITY_SCORES: Readonly<Record<string, number>> = {\n  critical: 1.0,\n  high: 0.85,\n  medium: 0.6,\n  low: 0.35,\n} as const;\n\nexport const DEFAULT_SEVERITY_SCORE = 0.5;\n\n// =============================================================================\n// SECTION ITEM TYPES\n// =============================================================================\n\n/** A ranked belief in the invariants or activeBeliefs section. */\nexport type ContextPackBelief = {\n  nodeId: string;\n  canonicalText: string;\n  confidence: number | null;\n  beliefType: string | null;\n  score: number;\n  /** Present in activeBeliefs, absent in invariants */\n  status?: string;\n  updatedAt?: number | null;\n  /** Human-readable explanation of why this item was ranked here (RS-2). */\n  justification?: string;\n};\n\n/** A ranked question in the openQuestions section. */\nexport type ContextPackQuestion = {\n  questionId: string;\n  text: string;\n  status: string;\n  priority: string;\n  updatedAt?: number | null;\n  score: number;\n  /** Human-readable explanation of why this item was ranked here (RS-2). */\n  justification?: string;\n};\n\n/** A ranked evidence item in the recentEvidence section. */\nexport type ContextPackEvidence = {\n  nodeId: string;\n  canonicalText: string;\n  sourceUrl: string | null;\n  kind: string;\n  createdAt: number | null;\n  score: number;\n  /** Human-readable explanation of why this item was ranked here (RS-2). */\n  justification?: string;\n};\n\n/** A ranked contradiction in the contradictions section. */\nexport type ContextPackContradiction = {\n  contradictionId: string;\n  severity: string;\n  status: string;\n  description: string;\n  score: number;\n  /** Human-readable explanation of why this item was ranked here (RS-2). */\n  justification?: string;\n};\n\n/**\n * An entity from the ontological layer surfaced in the context pack.\n * Entities are domain objects (companies, people, functions, etc.) connected\n * to beliefs via bridge edges. They provide the \"reality anchor\" that makes\n * the reasoning graph domain-aware.\n */\nexport type ContextPackEntity = {\n  /** Convex document ID of the entity node. */\n  nodeId: string;\n  /** Entity type (e.g., \"company\", \"person\", \"function\"). */\n  entityType: string;\n  /** Human-readable title/name of the entity. */\n  title: string;\n  /** Number of beliefs connected to this entity via bridge edges. */\n  connectedBeliefCount: number;\n  /** Number of evidence items referencing this entity. */\n  connectedEvidenceCount: number;\n  /** Relevance score from ranking algorithm. */\n  score: number;\n  /** Entity metadata (structured per ontology schema). */\n  metadata?: Record<string, unknown>;\n};\n\n/**\n * A lattice seed entry representing a belief that was auto-generated\n * to cover an ontology entity type within a topic scope.\n */\nexport type BeliefLatticeSeed = {\n  /** The belief node ID that was created or already existed. */\n  beliefNodeId: string;\n  /** The entity type this seed belief covers. */\n  entityType: string;\n  /** Whether this seed was newly created or already existed. */\n  created: boolean;\n  /** The canonical text of the seed belief. */\n  canonicalText: string;\n};\n\n// =============================================================================\n// SUMMARY\n// =============================================================================\n\n/** Counts and scoped health signals for the context pack. */\nexport type ContextPackSummary = {\n  totalBeliefs: number;\n  invariants: number;\n  openQuestions: number;\n  evidenceItems: number;\n  contradictions: number;\n  /** Number of ontological entities in scope (optional, present when entity graph is active). */\n  relatedEntities?: number;\n  scopedTopics: number;\n  descendantDepth: number;\n  query: string | null;\n};\n\n// =============================================================================\n// FAILURE CONTEXT (RS-2)\n// =============================================================================\n\n/** A failed approach surfaced from the failure log for anti-repetition. */\nexport type ContextPackFailure = {\n  /** Lucern attempt/evidence node ID. */\n  attemptId: string;\n  /** What was tried. */\n  approach: string;\n  /** Why it failed. */\n  outcome: string;\n  /** When the attempt was recorded (ms since epoch). */\n  recordedAt: number;\n  /** Relevance score from ranking algorithm. */\n  score: number;\n};\n\n/** Failure context section appended to context packs in delta mode. */\nexport type ContextPackFailureContext = {\n  /** Ranked failed approaches relevant to the current query. */\n  failures: ContextPackFailure[];\n  /** IDs of items suppressed from other sections due to anti-repetition. */\n  suppressedIds: string[];\n};\n\n// =============================================================================\n// DELTA REPORT (RS-2)\n// =============================================================================\n\n/** A verification obligation surfaced by delta compilation. */\nexport type VerificationObligation = {\n  /** What must be verified. */\n  description: string;\n  /** Source of the obligation (e.g., \"belief:xyz confidence drop\"). */\n  source: string;\n  /** Severity: how important it is to verify. */\n  severity: \"critical\" | \"high\" | \"medium\" | \"low\";\n};\n\n/** Delta report appended to context packs when mode = \"delta\". */\nexport type ContextPackDeltaReport = {\n  /** Items that changed since the reference point (new, updated, removed). */\n  changedItems: Array<{\n    id: string;\n    section: ContextPackSectionKey;\n    changeType: \"added\" | \"updated\" | \"removed\" | \"confidence_changed\";\n    summary: string;\n  }>;\n  /** Obligations the consuming session must verify. */\n  verificationObligations: VerificationObligation[];\n  /** Reference point for the delta (worktree ID, timestamp, or commit SHA). */\n  referencePoint: string;\n};\n\n// =============================================================================\n// PACK WEIGHT OVERRIDES (RS-2)\n// =============================================================================\n\n/**\n * Per-section weight overrides that domain packs can apply.\n * Overrides merge with RANKING_WEIGHTS — only specified fields replace defaults.\n */\nexport type PackWeightOverride = {\n  /** Which section to override weights for. */\n  section: ContextPackSectionKey;\n  /** Partial weight vector — only specified fields replace defaults. */\n  weights: Partial<RankingWeightVector>;\n};\n\n// =============================================================================\n// INJECTION POLICY\n// =============================================================================\n\n/** Token-budgeted section selections for prompt injection. */\nexport type ContextPackInjectionPolicy = {\n  /** Total token budget for the entire context pack. */\n  tokenBudget: number;\n  /** Estimated tokens consumed across all sections. */\n  estimatedTokens: number;\n  /** Per-section token budgets derived from SECTION_BUDGET_RATIOS. */\n  sectionBudgets: Record<ContextPackSectionKey, number>;\n  /** Actual token usage per section after greedy fill. */\n  sectionUsage: Record<ContextPackSectionKey, number>;\n  /** Node/question IDs selected for injection, per section. */\n  selected: Record<ContextPackSectionKey, string[]>;\n  /** Items that were scored but excluded from injection, with reason (RS-2). */\n  excludedItems?: Array<{\n    id: string;\n    section: ContextPackSectionKey;\n    reason: \"budget_exceeded\" | \"anti_repetition\" | \"below_threshold\";\n    score: number;\n  }>;\n};\n\n// =============================================================================\n// DIAGNOSTICS\n// =============================================================================\n\n/** Telemetry for context pack assembly. */\nexport type ContextPackDiagnostics = {\n  /** Total candidates scored across all sections. */\n  itemsScored: number;\n  /** Ratio of estimatedTokens / tokenBudget. Range [0, 1+]. */\n  tokenBudgetUtilization: number;\n};\n\n// =============================================================================\n// PUBLIC COMPILED CONTEXT TYPES\n// =============================================================================\n\n/**\n * Public context surface returned by the SDK-facing context client.\n *\n * This preserves the existing external shape while the canonical compiler\n * contract evolves in parallel as ContextPackV1.\n */\nexport type PublicContextBelief = {\n  beliefId: string;\n  text: string;\n  confidence: number | null;\n  beliefType?: string | null;\n  status?: string;\n  updatedAt?: number | null;\n  score: number;\n  justification?: string;\n};\n\nexport type PublicContextQuestion = {\n  questionId: string;\n  text: string;\n  status: string;\n  priority: string;\n  updatedAt?: number | null;\n  score: number;\n  justification?: string;\n};\n\nexport type PublicContextEvidence = {\n  evidenceId: string;\n  text: string;\n  sourceUrl?: string | null;\n  kind: string;\n  createdAt?: number | null;\n  score: number;\n  justification?: string;\n};\n\nexport type PublicContextContradiction = {\n  contradictionId: string;\n  severity: string;\n  status: string;\n  description: string;\n  score: number;\n  justification?: string;\n};\n\nexport type PublicContextEntity = {\n  entityId: string;\n  entityType: string;\n  title: string;\n  text?: string;\n  connectedBeliefCount: number;\n  connectedEvidenceCount: number;\n  score: number;\n  metadata?: Record<string, unknown>;\n};\n\nexport type PublicContextInjectionPolicy = {\n  tokenBudget: number;\n  estimatedTokens: number;\n  sectionBudgets: Record<string, number>;\n  sectionUsage: Record<string, number>;\n  selected: Record<string, string[]>;\n  excludedItems?: Array<{\n    id: string;\n    section: string;\n    reason: \"budget_exceeded\" | \"anti_repetition\" | \"below_threshold\";\n    score: number;\n  }>;\n};\n\nexport type PublicCompiledContext = {\n  schemaVersion: string;\n  topicId: string;\n  topicName: string;\n  scopedTopicIds: string[];\n  generatedAt: number;\n  ranking: ContextRankingProfile;\n  summary: Record<string, unknown>;\n  invariants: PublicContextBelief[];\n  activeBeliefs: PublicContextBelief[];\n  openQuestions: PublicContextQuestion[];\n  recentEvidence: PublicContextEvidence[];\n  contradictions: PublicContextContradiction[];\n  relatedEntities?: PublicContextEntity[];\n  contextNarrative: string[];\n  injectionPolicy: PublicContextInjectionPolicy;\n  diagnostics: Record<string, unknown>;\n  compilationMode?: string;\n  failureContext?: {\n    failures: Array<{\n      attemptId: string;\n      approach: string;\n      outcome: string;\n      recordedAt: number;\n      score: number;\n    }>;\n    suppressedIds: string[];\n  };\n  deltaReport?: {\n    changedItems: Array<{\n      id: string;\n      section: string;\n      changeType: string;\n      summary: string;\n    }>;\n    verificationObligations: Array<{\n      description: string;\n      source: string;\n      severity: \"critical\" | \"high\" | \"medium\" | \"low\";\n    }>;\n    referencePoint: string;\n  };\n  appliedWeightOverrides?: unknown[];\n};\n\n// =============================================================================\n// CONTEXT PACK V1 (TOP-LEVEL OUTPUT)\n// =============================================================================\n\n/**\n * The canonical output schema for context compilation responses.\n *\n * This is the contract that consumers depend on. All fields are required\n * in the output. Adding optional fields is non-breaking; removing or\n * changing types is breaking (requires version bump).\n */\nexport type ContextPackV1 = {\n  /** Schema version for compatibility checking. */\n  schemaVersion: typeof CONTEXT_PACK_SCHEMA_VERSION;\n  /** Deprecated compatibility alias for the requested scope ID. */\n  projectId?: string;\n  /** Resolved topic ID after scope resolution. */\n  topicId: string;\n  /** Human-readable topic name. */\n  topicName: string;\n  /** All topic IDs included in the neighborhood expansion. */\n  scopedTopicIds: string[];\n  /** Deterministic freshness watermark for this pack (ms since epoch). */\n  generatedAt: number;\n  /** Which ranking profile was used. */\n  rankingProfile: ContextRankingProfile;\n  /** Aggregate counts and health signals. */\n  summary: ContextPackSummary;\n  /** High-confidence invariant beliefs (beliefType = \"invariant\"). */\n  invariants: ContextPackBelief[];\n  /** Active beliefs ranked by query relevance. */\n  activeBeliefs: ContextPackBelief[];\n  /** Open questions ranked by relevance and priority. */\n  openQuestions: ContextPackQuestion[];\n  /** Recent evidence ranked by relevance and recency. */\n  recentEvidence: ContextPackEvidence[];\n  /** Active contradictions ranked by severity. */\n  contradictions: ContextPackContradiction[];\n  /**\n   * Ontological entities connected to beliefs in scope, ranked by connectivity.\n   * Optional — present when entity graph substrate is active for this topic.\n   * NON-BREAKING addition per contract rules.\n   */\n  relatedEntities?: ContextPackEntity[];\n  /** Concise instructions for agent context injection. */\n  contextNarrative: string[];\n  /** Token-budgeted injection selections. */\n  injectionPolicy: ContextPackInjectionPolicy;\n  /** Assembly telemetry. */\n  diagnostics: ContextPackDiagnostics;\n  /** Compilation mode used to generate this pack (RS-2). Default: \"standard\". */\n  compilationMode?: ContextCompilationMode;\n  /** Failure context for anti-repetition (RS-2). Present when failures are relevant. */\n  failureContext?: ContextPackFailureContext;\n  /** Delta report (RS-2). Present only when compilationMode = \"delta\". */\n  deltaReport?: ContextPackDeltaReport;\n  /** Pack weight overrides applied during ranking (RS-2). */\n  appliedWeightOverrides?: PackWeightOverride[];\n};\n\n// =============================================================================\n// CONTEXT PACK REQUEST V1 (INPUT)\n// =============================================================================\n\n/**\n * The canonical input schema for `compile_context`.\n * `topicId` is optional for query-first callers. When omitted, the platform\n * resolves the best topic from the query and other available signals.\n * `projectId` remains an optional compatibility alias.\n */\nexport type ContextPackRequestV1 = {\n  /** Topic scope ID. Omit to resolve by query. */\n  topicId?: string;\n  /** Deprecated compatibility alias for older callers. */\n  projectId?: string;\n  /** Focus query for relevance ranking. */\n  query?: string;\n  /** Optional natural-language topic hint for query-first topic resolution. */\n  topicHint?: string;\n  /** Optional resolver tags for query-first topic resolution. */\n  tags?: string[];\n  /** Optional path signals for query-first topic resolution. */\n  touchedPaths?: string[];\n  /** Optional source reference signal for query-first topic resolution. */\n  sourceRef?: string;\n  /** Optional source kind signal for query-first topic resolution. */\n  sourceKind?: string;\n  /** Max items per section. Default: DEFAULT_SECTION_LIMIT. */\n  limit?: number;\n  /** Ranking profile. Default: DEFAULT_RANKING_PROFILE. */\n  rankingProfile?: ContextRankingProfile;\n  /** Total token budget. Default: DEFAULT_TOKEN_BUDGET. */\n  tokenBudget?: number;\n  /** Descendant topic depth for neighborhood expansion. */\n  maxDepth?: number;\n  /** Include ontological entities connected to beliefs in scope. Default: true. */\n  includeEntities?: boolean;\n  /** Compilation mode (RS-2). Default: \"standard\". */\n  mode?: ContextCompilationMode;\n  /** Include failure log context for anti-repetition (RS-2). Default: false. */\n  includeFailures?: boolean;\n  /** Active worktree ID for delta mode reference point (RS-2). */\n  worktreeId?: string;\n  /** Session ID for anti-repetition dedup (RS-2). */\n  sessionId?: string;\n  /** Pack weight overrides from domain pack binding (RS-2). */\n  packWeightOverrides?: PackWeightOverride[];\n};\n\n// =============================================================================\n// RESOLVED QUESTION STATUSES\n// =============================================================================\n\n/**\n * Question statuses that are considered \"resolved\" (not open).\n * Used to filter which questions appear in the openQuestions section.\n */\nexport const RESOLVED_QUESTION_STATUSES: readonly string[] = [\n  \"answered\",\n  \"archived\",\n  \"closed\",\n  \"resolved\",\n  \"resolved_support\",\n  \"resolved_contra\",\n  \"belief_forked\",\n] as const;\n\n// =============================================================================\n// TOKEN ESTIMATION\n// =============================================================================\n\n/**\n * Tokens-per-word multiplier for rough token estimation.\n * Conservative estimate: ~1.35 tokens per whitespace-delimited word.\n */\nexport const TOKENS_PER_WORD = 1.35;\n\n/** Minimum token estimate for any non-empty string. */\nexport const MIN_TOKEN_ESTIMATE = 8;\n"]}

package/dist/dsl.d.ts

@@ -44,6 +44,7 @@ type ConvexDefault = {
 type ZodToConvexOptions = {
     purpose?: AdapterPurpose;
     location?: string;
+    float64ArrayFields?: readonly string[];
 };
 type ZodToConvexResult = {
     source: string;

package/dist/dsl.js

@@ -310,8 +310,14 @@ function convertSchemaInner(schema, state, path) {
   switch (schema._def.typeName) {
     case ZodFirstPartyTypeKind.ZodString:
       return { source: "v.string()", defaults: [] };
-    case ZodFirstPartyTypeKind.ZodNumber:
-      return { source: "v.number()", defaults: [] };
+    case ZodFirstPartyTypeKind.ZodNumber: {
+      const field = path.length >= 2 ? path[path.length - 2] : void 0;
+      const isArrayElement = path[path.length - 1] === "[]";
+      return {
+        source: isArrayElement && field && state.float64ArrayFields.has(field) ? "v.float64()" : "v.number()",
+        defaults: []
+      };
+    }
     case ZodFirstPartyTypeKind.ZodBigInt:
       return { source: "v.int64()", defaults: [] };
     case ZodFirstPartyTypeKind.ZodBoolean:
@@ -425,7 +431,8 @@ function zodToConvex(schema, options = {}) {
   const state = {
     location: options.location,
     purpose: options.purpose ?? "function_returns",
-    seenLazySchemas: /* @__PURE__ */ new WeakSet()
+    seenLazySchemas: /* @__PURE__ */ new WeakSet(),
+    float64ArrayFields: new Set(options.float64ArrayFields ?? [])
   };
   const converted = convertSchema(schema, state, []);
   return {

package/dist/dsl.js.map

@@ -1 +1 @@
-{"version":3,"sources":["../src/dsl/defineFunction.ts","../src/dsl/defineTable.ts","../src/dsl/errors.ts","../src/dsl/idOf.ts","../src/dsl/adapters/zod-to-cli.ts","../src/dsl/adapters/zod-to-convex.ts","../src/dsl/adapters/zod-to-jsonschema.ts"],"names":["getObjectShape","ZodFirstPartyTypeKind","unsupported","unwrapOptionalLike","convertLazy","convertSchema"],"mappings":";;;AAgBO,SAAS,eAGd,IAAA,EAAsD;AACtD,EAAA,OAAO,IAAA;AACT;;;ACmBO,SAAS,YACd,IAAA,EACkB;AAClB,EAAA,OAAO,IAAA;AACT;;;ACjCA,SAAS,WAAW,IAAA,EAA0B;AAC5C,EAAA,IAAI,CAAC,IAAA,IAAQ,IAAA,CAAK,MAAA,KAAW,CAAA,EAAG;AAC9B,IAAA,OAAO,EAAA;AAAA,EACT;AAEA,EAAA,OAAO,IAAA,CAAK,KAAK,GAAG,CAAA;AACtB;AAEA,SAAS,eAAe,OAAA,EAAyB;AAC/C,EAAA,MAAM,QAAA,GAAqB,CAAC,OAAA,CAAQ,OAAO,CAAA;AAC3C,EAAA,IAAI,QAAQ,OAAA,EAAS;AACnB,IAAA,QAAA,CAAS,IAAA,CAAK,QAAQ,OAAO,CAAA;AAAA,EAC/B;AACA,EAAA,IAAI,QAAQ,QAAA,EAAU;AACpB,IAAA,QAAA,CAAS,IAAA,CAAK,QAAQ,QAAQ,CAAA;AAAA,EAChC;AACA,EAAA,MAAM,aAAA,GAAgB,UAAA,CAAW,OAAA,CAAQ,IAAI,CAAA;AAC7C,EAAA,IAAI,aAAA,EAAe;AACjB,IAAA,QAAA,CAAS,KAAK,aAAa,CAAA;AAAA,EAC7B;AACA,EAAA,OAAO,QAAA,CAAS,KAAK,MAAM,CAAA;AAC7B;AAEO,IAAM,kBAAA,GAAN,cAAiC,KAAA,CAAM;AAAA,EACnC,OAAA;AAAA,EAET,WAAA,CAAY,SAAiB,OAAA,EAAyB;AACpD,IAAA,KAAA,CAAM,GAAG,OAAO,CAAA,EAAA,EAAK,cAAA,CAAe,OAAO,CAAC,CAAA,CAAA,CAAG,CAAA;AAC/C,IAAA,IAAA,CAAK,IAAA,GAAO,oBAAA;AACZ,IAAA,IAAA,CAAK,OAAA,GAAU,OAAA;AAAA,EACjB;AACF;AAEO,SAAS,kBAAA,CACd,SACA,OAAA,EACoB;AACpB,EAAA,OAAO,IAAI,kBAAA,CAAmB,OAAA,EAAS,OAAO,CAAA;AAChD;AC/CO,IAAM,eAAA,mBAAkB,MAAA,CAAO,GAAA,CAAI,gCAAgC;AASnE,SAAS,KAAuB,KAAA,EAA6B;AAClE,EAAA,MAAM,MAAA,GAAS,CAAA,CAAE,MAAA,EAAO,CAAE,KAAA,EAAkB;AAC5C,EAAA,MAAA,CAAO,cAAA,CAAe,QAAQ,eAAA,EAAiB;AAAA,IAC7C,YAAA,EAAc,KAAA;AAAA,IACd,UAAA,EAAY,KAAA;AAAA,IACZ,KAAA,EAAO,KAAA;AAAA,IACP,QAAA,EAAU;AAAA,GACX,CAAA;AACD,EAAA,OAAO,MAAA;AACT;AAEO,SAAS,iBAAiB,MAAA,EAA0C;AACzE,EAAA,OAAQ,OACN,eACF,CAAA;AACF;ACUA,SAAS,WAAA,CACP,OAAA,EACA,KAAA,EACA,IAAA,EACO;AACP,EAAA,MAAM,mBAAmB,OAAA,EAAS;AAAA,IAChC,OAAA,EAAS,KAAA;AAAA,IACT,UAAU,KAAA,CAAM,QAAA;AAAA,IAChB;AAAA,GACD,CAAA;AACH;AAEA,SAAS,eAAe,MAAA,EAAoC;AAC1D,EAAA,MAAM,KAAA,GACJ,OAAO,MAAA,CAAO,IAAA,CAAK,KAAA,KAAU,UAAA,GAAa,MAAA,CAAO,IAAA,CAAK,KAAA,EAAM,GAAI,MAAA,CAAO,IAAA,CAAK,KAAA;AAC9E,EAAA,OAAO,KAAA;AACT;AAEA,SAAS,WAAA,CACP,QACA,IAAA,EACY;AACZ,EAAA,IAAI,OAAA,GAAU,MAAA;AACd,EAAA,IAAI,QAAA,GAAW,IAAA;AACf,EAAA,IAAI,QAAA,GAAW,KAAA;AACf,EAAA,IAAI,YAAA;AAEJ,EAAA,OAAO,IAAA,EAAM;AACX,IAAA,QAAQ,OAAA,CAAQ,KAAK,QAAA;AAAU,MAC7B,KAAK,qBAAA,CAAsB,WAAA;AACzB,QAAA,QAAA,GAAW,KAAA;AACX,QAAA,OAAA,GAAU,QAAQ,IAAA,CAAK,SAAA;AACvB,QAAA;AAAA,MACF,KAAK,qBAAA,CAAsB,UAAA;AACzB,QAAA,QAAA,GAAW,KAAA;AACX,QAAA,YAAA,GAAe,OAAA,CAAQ,KAAK,YAAA,EAAa;AACzC,QAAA,OAAA,GAAU,QAAQ,IAAA,CAAK,SAAA;AACvB,QAAA;AAAA,MACF,KAAK,qBAAA,CAAsB,WAAA;AACzB,QAAA,QAAA,GAAW,IAAA;AACX,QAAA,OAAA,GAAU,QAAQ,IAAA,CAAK,SAAA;AACvB,QAAA;AAAA,MACF;AACE,QAAA,OAAO;AAAA,UACL,MAAA,EAAQ,OAAA;AAAA,UACR,QAAA;AAAA,UACA,QAAA;AAAA,UACA;AAAA,SACF;AAAA;AACJ,EACF;AACF;AAEA,SAAS,eAAA,CACP,IAAA,EACA,IAAA,EACA,KAAA,EACA,OAAA,EACe;AACf,EAAA,OAAO;AAAA,IACL,IAAA;AAAA,IACA,IAAA;AAAA,IACA,UAAU,KAAA,CAAM,QAAA;AAAA,IAChB,QAAA,EAAU,MAAM,QAAA,IAAY,MAAA;AAAA,IAC5B,cAAc,KAAA,CAAM,YAAA;AAAA,IACpB,OAAA;AAAA,IACA,WAAA,EAAa,MAAM,MAAA,CAAO;AAAA,GAC5B;AACF;AAEA,SAAS,gBAAA,CACP,IAAA,EACA,MAAA,EACA,KAAA,EACA,IAAA,EACe;AACf,EAAA,MAAM,KAAA,GAAQ,WAAA,CAAY,MAAY,CAAA;AAEtC,EAAA,QAAQ,KAAA,CAAM,MAAA,CAAO,IAAA,CAAK,QAAA;AAAU,IAClC,KAAK,qBAAA,CAAsB,SAAA;AACzB,MAAA,OAAO,eAAA,CAAgB,IAAA,EAAM,QAAA,EAAU,KAAK,CAAA;AAAA,IAC9C,KAAK,qBAAA,CAAsB,SAAA;AACzB,MAAA,OAAO,eAAA,CAAgB,IAAA,EAAM,QAAA,EAAU,KAAK,CAAA;AAAA,IAC9C,KAAK,qBAAA,CAAsB,SAAA;AACzB,MAAA,OAAO,eAAA,CAAgB,IAAA,EAAM,QAAA,EAAU,KAAK,CAAA;AAAA,IAC9C,KAAK,qBAAA,CAAsB,UAAA;AACzB,MAAA,OAAO,eAAA,CAAgB,IAAA,EAAM,SAAA,EAAW,KAAK,CAAA;AAAA,IAC/C,KAAK,qBAAA,CAAsB,OAAA;AACzB,MAAA,OAAO,gBAAgB,IAAA,EAAM,QAAA,EAAU,OAAO,KAAA,CAAM,MAAA,CAAO,KAAK,MAAM,CAAA;AAAA,IACxE,KAAK,sBAAsB,aAAA,EAAe;AACxC,MAAA,MAAM,MAAA,GAAS,CAAC,GAAG,IAAI,GAAA,CAAI,MAAA,CAAO,MAAA,CAAO,KAAA,CAAM,MAAA,CAAO,IAAA,CAAK,MAAM,CAAC,CAAC,CAAA,CAAE,MAAA;AAAA,QACnE,CAAC,UACC,OAAO,KAAA,KAAU,YACjB,OAAO,KAAA,KAAU,QAAA,IACjB,OAAO,KAAA,KAAU;AAAA,OACrB;AACA,MAAA,OAAO,eAAA;AAAA,QACL,IAAA;AAAA,QACA,MAAA,CAAO,MAAM,CAAC,KAAA,KAAU,OAAO,KAAA,KAAU,QAAQ,IAAI,QAAA,GAAW,QAAA;AAAA,QAChE,KAAA;AAAA,QACA;AAAA,OACF;AAAA,IACF;AAAA,IACA,KAAK,qBAAA,CAAsB,UAAA;AACzB,MAAA,OAAO,eAAA,CAAgB,MAAM,QAAA,EAAU,KAAA,EAAO,CAAC,KAAA,CAAM,MAAA,CAAO,IAAA,CAAK,KAAK,CAAC,CAAA;AAAA,IACzE,KAAK,sBAAsB,QAAA,EAAU;AACnC,MAAA,MAAM,IAAA,GAAO,WAAA,CAAY,KAAA,CAAM,MAAA,CAAO,IAAA,CAAK,MAAM,CAAC,GAAG,IAAA,EAAM,IAAI,CAAC,CAAA;AAChE,MAAA,QAAQ,IAAA,CAAK,MAAA,CAAO,IAAA,CAAK,QAAA;AAAU,QACjC,KAAK,qBAAA,CAAsB,SAAA;AACzB,UAAA,OAAO,EAAE,GAAG,eAAA,CAAgB,IAAA,EAAM,UAAU,KAAK,CAAA,EAAG,UAAU,IAAA,EAAK;AAAA,QACrE,KAAK,qBAAA,CAAsB,SAAA;AACzB,UAAA,OAAO,EAAE,GAAG,eAAA,CAAgB,IAAA,EAAM,UAAU,KAAK,CAAA,EAAG,UAAU,IAAA,EAAK;AAAA,QACrE,KAAK,qBAAA,CAAsB,SAAA;AACzB,UAAA,OAAO,EAAE,GAAG,eAAA,CAAgB,IAAA,EAAM,UAAU,KAAK,CAAA,EAAG,UAAU,IAAA,EAAK;AAAA,QACrE,KAAK,qBAAA,CAAsB,UAAA;AACzB,UAAA,OAAO,EAAE,GAAG,eAAA,CAAgB,IAAA,EAAM,WAAW,KAAK,CAAA,EAAG,UAAU,IAAA,EAAK;AAAA,QACtE;AACE,UAAA,OAAO;AAAA,YACL,GAAG,eAAA,CAAgB,IAAA,EAAM,MAAA,EAAQ,KAAK,CAAA;AAAA,YACtC,QAAA,EAAU;AAAA,WACZ;AAAA;AACJ,IACF;AAAA,IACA,KAAK,sBAAsB,OAAA,EAAS;AAClC,MAAA,MAAM,aAAa,KAAA,CAAM,MAAA;AACzB,MAAA,IAAI,KAAA,CAAM,eAAA,CAAgB,GAAA,CAAI,UAAU,CAAA,EAAG;AACzC,QAAA,WAAA;AAAA,UACE,+DAAA;AAAA,UACA,KAAA;AAAA,UACA;AAAA,SACF;AAAA,MACF;AACA,MAAA,KAAA,CAAM,eAAA,CAAgB,IAAI,UAAU,CAAA;AACpC,MAAA,IAAI;AACF,QAAA,OAAO,iBAAiB,IAAA,EAAM,UAAA,CAAW,KAAK,MAAA,EAAO,EAAG,OAAO,IAAI,CAAA;AAAA,MACrE,CAAA,SAAE;AACA,QAAA,KAAA,CAAM,eAAA,CAAgB,OAAO,UAAU,CAAA;AAAA,MACzC;AAAA,IACF;AAAA,IACA,KAAK,qBAAA,CAAsB,UAAA;AACzB,MAAA,OAAO,eAAA,CAAgB,IAAA,EAAM,QAAA,EAAU,KAAK,CAAA;AAAA,IAC9C,KAAK,qBAAA,CAAsB,SAAA;AAAA,IAC3B,KAAK,qBAAA,CAAsB,QAAA;AAAA,IAC3B,KAAK,qBAAA,CAAsB,qBAAA;AAAA,IAC3B,KAAK,qBAAA,CAAsB,SAAA;AAAA,IAC3B,KAAK,qBAAA,CAAsB,MAAA;AAAA,IAC3B,KAAK,qBAAA,CAAsB,UAAA;AACzB,MAAA,OAAO,eAAA,CAAgB,IAAA,EAAM,MAAA,EAAQ,KAAK,CAAA;AAAA,IAC5C;AACE,MAAA,WAAA;AAAA,QACE,CAAA,4BAAA,EAA+B,KAAA,CAAM,MAAA,CAAO,IAAA,CAAK,QAAQ,CAAA,CAAA;AAAA,QACzD,KAAA;AAAA,QACA;AAAA,OACF;AAAA;AAEN;AAEO,SAAS,QAAA,CACd,MAAA,EACA,OAAA,GAA2B,EAAC,EACZ;AAChB,EAAA,IAAI,MAAA,CAAO,IAAA,CAAK,QAAA,KAAa,qBAAA,CAAsB,SAAA,EAAW;AAC5D,IAAA,MAAM,mBAAmB,6CAAA,EAA+C;AAAA,MACtE,OAAA,EAAS,KAAA;AAAA,MACT,UAAU,OAAA,CAAQ,QAAA;AAAA,MAClB,MAAM;AAAC,KACR,CAAA;AAAA,EACH;AAEA,EAAA,MAAM,KAAA,GAAyB;AAAA,IAC7B,UAAU,OAAA,CAAQ,QAAA;AAAA,IAClB,eAAA,sBAAqB,OAAA;AAAgB,GACvC;AACA,EAAA,MAAM,WAAA,GAAc,MAAA,CAAO,OAAA,CAAQ,cAAA,CAAe,MAAM,CAAC,CAAA,CACtD,IAAA,CAAK,CAAC,CAAC,IAAI,CAAA,EAAG,CAAC,KAAK,CAAA,KAAM,IAAA,CAAK,aAAA,CAAc,KAAK,CAAC,CAAA,CACnD,GAAA,CAAI,CAAC,CAAC,IAAA,EAAM,KAAK,CAAA,KAAM,gBAAA,CAAiB,MAAM,KAAA,EAAO,KAAA,EAAO,CAAC,IAAI,CAAC,CAAC,CAAA;AAEtE,EAAA,OAAO;AAAA,IACL,OAAA,EAAS;AAAA,GACX;AACF;ACrLA,SAAS,cAAc,KAAA,EAAkD;AACvE,EAAA,IAAI,OAAO,UAAU,QAAA,EAAU;AAC7B,IAAA,OAAO,GAAG,KAAK,CAAA,CAAA,CAAA;AAAA,EACjB;AACA,EAAA,OAAO,IAAA,CAAK,UAAU,KAAK,CAAA;AAC7B;AAEA,SAAS,YAAe,OAAA,EAAiC;AACvD,EAAA,OAAO,CAAC,GAAG,OAAO,CAAA,CAAE,KAAK,CAAC,CAAC,IAAI,CAAA,EAAG,CAAC,KAAK,CAAA,KAAM,IAAA,CAAK,aAAA,CAAc,KAAK,CAAC,CAAA;AACzE;AAEA,SAASA,gBAAe,MAAA,EAAoC;AAC1D,EAAA,MAAM,KAAA,GACJ,OAAO,MAAA,CAAO,IAAA,CAAK,KAAA,KAAU,UAAA,GAAa,MAAA,CAAO,IAAA,CAAK,KAAA,EAAM,GAAI,MAAA,CAAO,IAAA,CAAK,KAAA;AAC9E,EAAA,OAAO,KAAA;AACT;AAEA,SAAS,kBAAA,CACP,MAAA,EACA,KAAA,EACA,IAAA,EAKA;AACA,EAAA,MAAM,WAA4B,EAAC;AACnC,EAAA,IAAI,OAAA,GAAU,MAAA;AACd,EAAA,IAAI,UAAA,GAAa,KAAA;AAEjB,EAAA,OAAO,IAAA,EAAM;AACX,IAAA,QAAQ,OAAA,CAAQ,KAAK,QAAA;AAAU,MAC7B,KAAKC,qBAAAA,CAAsB,WAAA;AACzB,QAAA,UAAA,GAAa,IAAA;AACb,QAAA,OAAA,GAAU,QAAQ,IAAA,CAAK,SAAA;AACvB,QAAA;AAAA,MACF,KAAKA,sBAAsB,UAAA,EAAY;AACrC,QAAA,IAAI,KAAA,CAAM,YAAY,OAAA,EAAS;AAC7B,UAAA,MAAM,kBAAA;AAAA,YACJ,iDAAA;AAAA,YACA;AAAA,cACE,OAAA,EAAS,QAAA;AAAA,cACT,SAAS,KAAA,CAAM,OAAA;AAAA,cACf,UAAU,KAAA,CAAM,QAAA;AAAA,cAChB;AAAA;AACF,WACF;AAAA,QACF;AACA,QAAA,UAAA,GAAa,IAAA;AACb,QAAA,QAAA,CAAS,IAAA,CAAK;AAAA,UACZ,IAAA;AAAA,UACA,KAAA,EAAO,OAAA,CAAQ,IAAA,CAAK,YAAA;AAAa,SAClC,CAAA;AACD,QAAA,OAAA,GAAU,QAAQ,IAAA,CAAK,SAAA;AACvB,QAAA;AAAA,MACF;AAAA,MACA;AACE,QAAA,OAAO;AAAA,UACL,MAAA,EAAQ,OAAA;AAAA,UACR,UAAA;AAAA,UACA;AAAA,SACF;AAAA;AACJ,EACF;AACF;AAEA,SAAS,aAAA,CACP,MAAA,EACA,KAAA,EACA,IAAA,EACiB;AACjB,EAAA,MAAM,EAAE,MAAA,EAAQ,SAAA,EAAW,UAAA,EAAY,UAAS,GAAI,kBAAA;AAAA,IAClD,MAAA;AAAA,IACA,KAAA;AAAA,IACA;AAAA,GACF;AACA,EAAA,MAAM,SAAA,GAAY,kBAAA,CAAmB,SAAA,EAAW,KAAA,EAAO,IAAI,CAAA;AAC3D,EAAA,OAAO;AAAA,IACL,QAAQ,UAAA,GAAa,CAAA,WAAA,EAAc,SAAA,CAAU,MAAM,MAAM,SAAA,CAAU,MAAA;AAAA,IACnE,UAAU,CAAC,GAAG,QAAA,EAAU,GAAG,UAAU,QAAQ;AAAA,GAC/C;AACF;AAEA,SAAS,YAAY,MAAA,EAAsC;AACzD,EAAA,IAAI,MAAA,CAAO,WAAW,CAAA,EAAG;AACvB,IAAA,OAAO,WAAA;AAAA,EACT;AACA,EAAA,IAAI,MAAA,CAAO,WAAW,CAAA,EAAG;AACvB,IAAA,OAAO,CAAA,UAAA,EAAa,aAAA,CAAc,MAAA,CAAO,CAAC,CAAC,CAAC,CAAA,CAAA,CAAA;AAAA,EAC9C;AACA,EAAA,OAAO,CAAA,QAAA,EAAW,MAAA,CACf,GAAA,CAAI,CAAC,KAAA,KAAU,CAAA,UAAA,EAAa,aAAA,CAAc,KAAK,CAAC,CAAA,CAAA,CAAG,CAAA,CACnD,IAAA,CAAK,IAAI,CAAC,CAAA,CAAA,CAAA;AACf;AAEA,SAASC,YAAAA,CACP,OAAA,EACA,KAAA,EACA,IAAA,EACO;AACP,EAAA,MAAM,mBAAmB,OAAA,EAAS;AAAA,IAChC,OAAA,EAAS,QAAA;AAAA,IACT,SAAS,KAAA,CAAM,OAAA;AAAA,IACf,UAAU,KAAA,CAAM,QAAA;AAAA,IAChB;AAAA,GACD,CAAA;AACH;AAEA,SAAS,WAAA,CACP,MAAA,EACA,KAAA,EACA,IAAA,EACiB;AACjB,EAAA,MAAM,UAAA,GAAa,MAAA;AACnB,EAAA,IAAI,KAAA,CAAM,eAAA,CAAgB,GAAA,CAAI,UAAU,CAAA,EAAG;AACzC,IAAAA,YAAAA;AAAA,MACE,kEAAA;AAAA,MACA,KAAA;AAAA,MACA;AAAA,KACF;AAAA,EACF;AACA,EAAA,KAAA,CAAM,eAAA,CAAgB,IAAI,UAAU,CAAA;AACpC,EAAA,IAAI;AACF,IAAA,OAAO,cAAc,UAAA,CAAW,IAAA,CAAK,MAAA,EAAO,EAAG,OAAO,IAAI,CAAA;AAAA,EAC5D,CAAA,SAAE;AACA,IAAA,KAAA,CAAM,eAAA,CAAgB,OAAO,UAAU,CAAA;AAAA,EACzC;AACF;AAEA,SAAS,kBAAA,CACP,MAAA,EACA,KAAA,EACA,IAAA,EACiB;AACjB,EAAA,MAAM,OAAA,GAAU,iBAAiB,MAAM,CAAA;AACvC,EAAA,IAAI,OAAA,EAAS;AACX,IAAA,OAAO;AAAA,MACL,MAAA,EAAQ,CAAA,KAAA,EAAQ,IAAA,CAAK,SAAA,CAAU,OAAO,CAAC,CAAA,CAAA,CAAA;AAAA,MACvC,UAAU;AAAC,KACb;AAAA,EACF;AAEA,EAAA,QAAQ,MAAA,CAAO,KAAK,QAAA;AAAU,IAC5B,KAAKD,qBAAAA,CAAsB,SAAA;AACzB,MAAA,OAAO,EAAE,MAAA,EAAQ,YAAA,EAAc,QAAA,EAAU,EAAC,EAAE;AAAA,IAC9C,KAAKA,qBAAAA,CAAsB,SAAA;AACzB,MAAA,OAAO,EAAE,MAAA,EAAQ,YAAA,EAAc,QAAA,EAAU,EAAC,EAAE;AAAA,IAC9C,KAAKA,qBAAAA,CAAsB,SAAA;AACzB,MAAA,OAAO,EAAE,MAAA,EAAQ,WAAA,EAAa,QAAA,EAAU,EAAC,EAAE;AAAA,IAC7C,KAAKA,qBAAAA,CAAsB,UAAA;AACzB,MAAA,OAAO,EAAE,MAAA,EAAQ,aAAA,EAAe,QAAA,EAAU,EAAC,EAAE;AAAA,IAC/C,KAAKA,qBAAAA,CAAsB,OAAA;AACzB,MAAA,OAAO,EAAE,MAAA,EAAQ,UAAA,EAAY,QAAA,EAAU,EAAC,EAAE;AAAA,IAC5C,KAAKA,qBAAAA,CAAsB,MAAA;AAAA,IAC3B,KAAKA,qBAAAA,CAAsB,UAAA;AACzB,MAAA,OAAO,EAAE,MAAA,EAAQ,SAAA,EAAW,QAAA,EAAU,EAAC,EAAE;AAAA,IAC3C,KAAKA,sBAAsB,UAAA,EAAY;AACrC,MAAA,OAAO;AAAA,QACL,QAAQ,CAAA,UAAA,EAAa,aAAA,CAAc,MAAA,CAAO,IAAA,CAAK,KAAK,CAAC,CAAA,CAAA,CAAA;AAAA,QACrD,UAAU;AAAC,OACb;AAAA,IACF;AAAA,IACA,KAAKA,qBAAAA,CAAsB,OAAA;AACzB,MAAA,OAAO;AAAA,QACL,MAAA,EAAQ,WAAA,CAAY,MAAA,CAAO,IAAA,CAAK,MAAM,CAAA;AAAA,QACtC,UAAU;AAAC,OACb;AAAA,IACF,KAAKA,sBAAsB,aAAA,EAAe;AACxC,MAAA,MAAM,SAAS,MAAA,CAAO,MAAA,CAAO,MAAA,CAAO,IAAA,CAAK,MAAM,CAAA,CAAE,MAAA;AAAA,QAC/C,CAAC,KAAA,KACC,OAAO,KAAA,KAAU,QAAA,IAAY,OAAO,KAAA,KAAU;AAAA,OAClD;AACA,MAAA,OAAO;AAAA,QACL,MAAA,EAAQ,YAAY,CAAC,GAAG,IAAI,GAAA,CAAI,MAAM,CAAC,CAAC,CAAA;AAAA,QACxC,UAAU;AAAC,OACb;AAAA,IACF;AAAA,IACA,KAAKA,sBAAsB,WAAA,EAAa;AACtC,MAAA,MAAM,QAAQ,aAAA,CAAc,MAAA,CAAO,IAAA,CAAK,SAAA,EAAW,OAAO,IAAI,CAAA;AAC9D,MAAA,OAAO;AAAA,QACL,MAAA,EAAQ,CAAA,WAAA,EAAc,KAAA,CAAM,MAAM,CAAA,CAAA,CAAA;AAAA,QAClC,UAAU,KAAA,CAAM;AAAA,OAClB;AAAA,IACF;AAAA,IACA,KAAKA,sBAAsB,QAAA,EAAU;AACnC,MAAA,MAAM,KAAA,GAAQ,aAAA,CAAc,MAAA,CAAO,IAAA,CAAK,IAAA,EAAM,OAAO,CAAC,GAAG,IAAA,EAAM,IAAI,CAAC,CAAA;AACpE,MAAA,OAAO;AAAA,QACL,MAAA,EAAQ,CAAA,QAAA,EAAW,KAAA,CAAM,MAAM,CAAA,CAAA,CAAA;AAAA,QAC/B,UAAU,KAAA,CAAM;AAAA,OAClB;AAAA,IACF;AAAA,IACA,KAAKA,sBAAsB,SAAA,EAAW;AACpC,MAAA,MAAM,YAAA,GAAe,MAAA;AACrB,MAAA,IACE,YAAA,CAAa,KAAK,QAAA,IAClB,YAAA,CAAa,KAAK,QAAA,CAAS,IAAA,CAAK,QAAA,KAAaA,qBAAAA,CAAsB,QAAA,EACnE;AACA,QAAAC,YAAAA;AAAA,UACE,qFAAA;AAAA,UACA,KAAA;AAAA,UACA;AAAA,SACF;AAAA,MACF;AACA,MAAA,MAAM,SAAS,WAAA,CAAY,MAAA,CAAO,QAAQF,eAAAA,CAAe,YAAY,CAAC,CAAC,CAAA;AACvE,MAAA,MAAM,kBAAkB,MAAA,CAAO,GAAA,CAAI,CAAC,CAAC,GAAA,EAAK,KAAK,CAAA,KAAM;AAAA,QACnD,GAAA;AAAA,QACA,cAAc,KAAA,EAAO,KAAA,EAAO,CAAC,GAAG,IAAA,EAAM,GAAG,CAAC;AAAA,OAClC,CAAA;AACV,MAAA,OAAO;AAAA,QACL,MAAA,EAAQ,cAAc,eAAA,CACnB,GAAA,CAAI,CAAC,CAAC,GAAA,EAAK,SAAS,CAAA,KAAM,CAAA,EAAG,KAAK,SAAA,CAAU,GAAG,CAAC,CAAA,EAAA,EAAK,SAAA,CAAU,MAAM,CAAA,CAAE,CAAA,CACvE,IAAA,CAAK,IAAI,CAAC,CAAA,GAAA,CAAA;AAAA,QACb,QAAA,EAAU,gBAAgB,OAAA,CAAQ,CAAC,GAAG,SAAS,CAAA,KAAM,SAAA,CAAU,QAAQ;AAAA,OACzE;AAAA,IACF;AAAA,IACA,KAAKC,sBAAsB,QAAA,EAAU;AACnC,MAAA,MAAM,OAAA,GAAU,MAAA,CAAO,IAAA,CAAK,OAAA,CAAQ,GAAA;AAAA,QAAI,CAAC,MAAA,EAAoB,KAAA,KAC3D,aAAA,CAAc,MAAA,EAAQ,KAAA,EAAO,CAAC,GAAG,IAAA,EAAM,MAAA,CAAO,KAAK,CAAC,CAAC;AAAA,OACvD;AACA,MAAA,OAAO;AAAA,QACL,MAAA,EAAQ,CAAA,QAAA,EAAW,OAAA,CAChB,GAAA,CAAI,CAAC,MAAA,KAA4B,MAAA,CAAO,MAAM,CAAA,CAC9C,IAAA,CAAK,IAAI,CAAC,CAAA,CAAA,CAAA;AAAA,QACb,UAAU,OAAA,CAAQ,OAAA,CAAQ,CAAC,MAAA,KAA4B,OAAO,QAAQ;AAAA,OACxE;AAAA,IACF;AAAA,IACA,KAAKA,sBAAsB,qBAAA,EAAuB;AAChD,MAAA,MAAM,kBAAA,GAAqB,MAAA;AAI3B,MAAA,MAAM,OAAA,GACJ,kBAAA,CAAmB,OAAA,YAAmB,GAAA,GAClC,CAAC,GAAG,kBAAA,CAAmB,OAAA,CAAQ,MAAA,EAAQ,CAAA,GACvC,CAAC,GAAG,mBAAmB,OAAO,CAAA;AACpC,MAAA,MAAM,UAAU,OAAA,CAAQ,GAAA;AAAA,QAAI,CAAC,MAAA,EAAQ,KAAA,KACnC,aAAA,CAAc,MAAA,EAAQ,KAAA,EAAO,CAAC,GAAG,IAAA,EAAM,MAAA,CAAO,KAAK,CAAC,CAAC;AAAA,OACvD;AACA,MAAA,OAAO;AAAA,QACL,MAAA,EAAQ,CAAA,QAAA,EAAW,OAAA,CAChB,GAAA,CAAI,CAAC,MAAA,KAA4B,MAAA,CAAO,MAAM,CAAA,CAC9C,IAAA,CAAK,IAAI,CAAC,CAAA,CAAA,CAAA;AAAA,QACb,UAAU,OAAA,CAAQ,OAAA,CAAQ,CAAC,MAAA,KAA4B,OAAO,QAAQ;AAAA,OACxE;AAAA,IACF;AAAA,IACA,KAAKA,sBAAsB,SAAA,EAAW;AACpC,MAAA,MAAM,OAAA,GAAU,OAAO,IAAA,CAAK,OAAA;AAC5B,MAAA,IACE,OAAA,IACA,OAAA,CAAQ,IAAA,CAAK,QAAA,KAAaA,sBAAsB,SAAA,EAChD;AACA,QAAAC,YAAAA;AAAA,UACE,wEAAA;AAAA,UACA,KAAA;AAAA,UACA;AAAA,SACF;AAAA,MACF;AACA,MAAA,MAAM,KAAA,GAAQ,aAAA,CAAc,MAAA,CAAO,IAAA,CAAK,SAAA,EAAW,OAAO,CAAC,GAAG,IAAA,EAAM,IAAI,CAAC,CAAA;AACzE,MAAA,OAAO;AAAA,QACL,MAAA,EAAQ,CAAA,qBAAA,EAAwB,KAAA,CAAM,MAAM,CAAA,CAAA,CAAA;AAAA,QAC5C,UAAU,KAAA,CAAM;AAAA,OAClB;AAAA,IACF;AAAA,IACA,KAAKD,qBAAAA,CAAsB,OAAA;AACzB,MAAA,OAAO,WAAA,CAAY,MAAA,EAAQ,KAAA,EAAO,IAAI,CAAA;AAAA,IACxC,KAAKA,sBAAsB,UAAA,EAAY;AACrC,MAAA,OAAO,aAAA,CAAc,MAAA,CAAO,IAAA,CAAK,IAAA,EAAM,OAAO,IAAI,CAAA;AAAA,IACpD;AAAA,IACA,KAAKA,sBAAsB,UAAA,EAAY;AACrC,MAAA,OAAO,aAAA,CAAc,MAAA,CAAO,IAAA,CAAK,MAAA,EAAQ,OAAO,IAAI,CAAA;AAAA,IACtD;AAAA,IACA;AACE,MAAAC,aAAY,CAAA,4BAAA,EAA+B,MAAA,CAAO,KAAK,QAAQ,CAAA,CAAA,EAAI,OAAO,IAAI,CAAA;AAAA;AAEpF;AAEO,SAAS,WAAA,CACd,MAAA,EACA,OAAA,GAA8B,EAAC,EACZ;AACnB,EAAA,MAAM,KAAA,GAAyB;AAAA,IAC7B,UAAU,OAAA,CAAQ,QAAA;AAAA,IAClB,OAAA,EAAS,QAAQ,OAAA,IAAW,kBAAA;AAAA,IAC5B,eAAA,sBAAqB,OAAA;AAAgB,GACvC;AACA,EAAA,MAAM,SAAA,GAAY,aAAA,CAAc,MAAA,EAAQ,KAAA,EAAO,EAAE,CAAA;AACjD,EAAA,OAAO;AAAA,IACL,QAAQ,SAAA,CAAU,MAAA;AAAA,IAClB,UAAU,SAAA,CAAU;AAAA,GACtB;AACF;AAEO,SAAS,yBAAyB,KAAA,EAA2B;AAClE,EAAA,QAAQ,MAAM,IAAA;AAAM,IAClB,KAAK,OAAA;AACH,MAAA,OAAO,UAAU,IAAA,CAAK,SAAA,CAAU,MAAM,IAAI,CAAC,MAAM,KAAA,CAAM,OAAA,CACpD,IAAI,CAAC,MAAA,KAAW,KAAK,SAAA,CAAU,MAAM,CAAC,CAAA,CACtC,IAAA,CAAK,IAAI,CAAC,CAAA,EAAA,CAAA;AAAA,IACf,KAAK,QAAA;AACH,MAAA,OAAO,gBAAgB,IAAA,CAAK,SAAA,CAAU,MAAM,IAAI,CAAC,oBAAoB,IAAA,CAAK,SAAA;AAAA,QACxE,KAAA,CAAM;AAAA,OACP,GAAG,KAAA,CAAM,YAAA,EAAc,SAAS,CAAA,iBAAA,EAAoB,KAAA,CAAM,aACxD,GAAA,CAAI,CAAC,UAAU,IAAA,CAAK,SAAA,CAAU,KAAK,CAAC,CAAA,CACpC,KAAK,IAAI,CAAC,MAAM,EAAE,CAAA,GAAA,CAAA;AAAA,IACvB,KAAK,QAAA;AACH,MAAA,OAAO,gBAAgB,IAAA,CAAK,SAAA,CAAU,MAAM,IAAI,CAAC,oBAAoB,IAAA,CAAK,SAAA;AAAA,QACxE,KAAA,CAAM;AAAA,OACP,iBAAiB,KAAA,CAAM,UAAU,GAChC,KAAA,CAAM,YAAA,EAAc,MAAA,GAChB,CAAA,iBAAA,EAAoB,KAAA,CAAM,YAAA,CACvB,IAAI,CAAC,KAAA,KAAU,IAAA,CAAK,SAAA,CAAU,KAAK,CAAC,EACpC,IAAA,CAAK,IAAI,CAAC,CAAA,CAAA,CAAA,GACb,EACN,CAAA,GAAA,CAAA;AAAA,IACF,SAAS;AACP,MAAA,MAAM,UAAA,GAAoB,KAAA;AAC1B,MAAA,MAAM,IAAI,kBAAA;AAAA,QACR,CAAA,6BAAA,EAAiC,UAAA,CAAiC,IAAA,IAAQ,SAAS,CAAA,CAAA;AAAA,QACnF,EAAE,SAAS,QAAA;AAAS,OACtB;AAAA,IACF;AAAA;AAEJ;AChUA,SAASA,YAAAA,CACP,OAAA,EACA,KAAA,EACA,IAAA,EACO;AACP,EAAA,MAAM,mBAAmB,OAAA,EAAS;AAAA,IAChC,OAAA,EAAS,YAAA;AAAA,IACT,UAAU,KAAA,CAAM,QAAA;AAAA,IAChB;AAAA,GACD,CAAA;AACH;AAEA,SAASF,gBAAe,MAAA,EAAoC;AAC1D,EAAA,MAAM,KAAA,GACJ,OAAO,MAAA,CAAO,IAAA,CAAK,KAAA,KAAU,UAAA,GAAa,MAAA,CAAO,IAAA,CAAK,KAAA,EAAM,GAAI,MAAA,CAAO,IAAA,CAAK,KAAA;AAC9E,EAAA,OAAO,KAAA;AACT;AAEA,SAASG,mBAAAA,CACP,MAAA,EACA,KAAA,EACA,IAAA,EAKA;AACA,EAAA,IAAI,OAAA,GAAU,MAAA;AACd,EAAA,IAAI,QAAA,GAAW,IAAA;AACf,EAAA,IAAI,YAAA;AAEJ,EAAA,OAAO,IAAA,EAAM;AACX,IAAA,QAAQ,OAAA,CAAQ,KAAK,QAAA;AAAU,MAC7B,KAAKF,qBAAAA,CAAsB,WAAA;AACzB,QAAA,QAAA,GAAW,KAAA;AACX,QAAA,OAAA,GAAU,QAAQ,IAAA,CAAK,SAAA;AACvB,QAAA;AAAA,MACF,KAAKA,qBAAAA,CAAsB,UAAA;AACzB,QAAA,QAAA,GAAW,KAAA;AACX,QAAA,YAAA,GAAe,OAAA,CAAQ,KAAK,YAAA,EAAa;AACzC,QAAA,OAAA,GAAU,QAAQ,IAAA,CAAK,SAAA;AACvB,QAAA;AAAA,MACF;AACE,QAAA,OAAO;AAAA,UACL,MAAA,EAAQ,OAAA;AAAA,UACR,QAAA;AAAA,UACA;AAAA,SACF;AAAA;AACJ,EACF;AACF;AAEA,SAASG,YAAAA,CACP,MAAA,EACA,KAAA,EACA,IAAA,EACY;AACZ,EAAA,IAAI,KAAA,CAAM,eAAA,CAAgB,GAAA,CAAI,MAAM,CAAA,EAAG;AACrC,IAAAF,YAAAA;AAAA,MACE,uEAAA;AAAA,MACA,KAAA;AAAA,MACA;AAAA,KACF;AAAA,EACF;AACA,EAAA,KAAA,CAAM,eAAA,CAAgB,IAAI,MAAM,CAAA;AAChC,EAAA,IAAI;AACF,IAAA,OAAOG,eAAc,MAAA,CAAO,IAAA,CAAK,MAAA,EAAO,EAAG,OAAO,IAAI,CAAA;AAAA,EACxD,CAAA,SAAE;AACA,IAAA,KAAA,CAAM,eAAA,CAAgB,OAAO,MAAM,CAAA;AAAA,EACrC;AACF;AAEA,SAAS,YAAY,KAAA,EAAgB;AACnC,EAAA,QAAQ,OAAO,KAAA;AAAO,IACpB,KAAK,QAAA;AACH,MAAA,OAAO,QAAA;AAAA,IACT,KAAK,QAAA;AACH,MAAA,OAAO,MAAA,CAAO,SAAA,CAAU,KAAK,CAAA,GAAI,SAAA,GAAY,QAAA;AAAA,IAC/C,KAAK,SAAA;AACH,MAAA,OAAO,SAAA;AAAA,IACT,KAAK,QAAA;AACH,MAAA,OAAO,SAAA;AAAA,IACT;AACE,MAAA,OAAO,KAAA,KAAU,OAAO,MAAA,GAAS,MAAA;AAAA;AAEvC;AAEA,SAAS,YAAA,CACP,MAAA,EACA,KAAA,EACA,IAAA,EACW;AACX,EAAA,MAAM,EAAE,MAAA,EAAQ,SAAA,EAAW,QAAA,EAAU,cAAa,GAAIF,mBAAAA;AAAA,IACpD,MAGF,CAAA;AACA,EAAA,MAAM,KAAA,GAAQE,cAAAA,CAAc,SAAA,EAAW,KAAA,EAAO,IAAI,CAAA;AAClD,EAAA,IAAI,OAAO,UAAU,SAAA,EAAW;AAC9B,IAAA,OAAO;AAAA,MACL,MAAA,EAAQ,KAAA;AAAA,MACR;AAAA,KACF;AAAA,EACF;AACA,EAAA,OAAO;AAAA,IACL,MAAA,EACE,iBAAiB,MAAA,GAAY,KAAA,GAAQ,EAAE,GAAG,KAAA,EAAO,SAAS,YAAA,EAAa;AAAA,IACzE;AAAA,GACF;AACF;AAEA,SAASA,cAAAA,CACP,MAAA,EACA,KAAA,EACA,IAAA,EACY;AACZ,EAAA,MAAM,OAAA,GAAU,iBAAiB,MAAM,CAAA;AACvC,EAAA,IAAI,OAAA,EAAS;AACX,IAAA,OAAO;AAAA,MACL,IAAA,EAAM,QAAA;AAAA,MACN,mBAAA,EAAqB;AAAA,KACvB;AAAA,EACF;AAEA,EAAA,QAAQ,MAAA,CAAO,KAAK,QAAA;AAAU,IAC5B,KAAKJ,qBAAAA,CAAsB,SAAA;AACzB,MAAA,OAAO,EAAE,MAAM,QAAA,EAAS;AAAA,IAC1B,KAAKA,qBAAAA,CAAsB,SAAA;AACzB,MAAA,OAAO,EAAE,MAAM,QAAA,EAAS;AAAA,IAC1B,KAAKA,qBAAAA,CAAsB,SAAA;AACzB,MAAA,OAAO,EAAE,IAAA,EAAM,SAAA,EAAW,MAAA,EAAQ,OAAA,EAAQ;AAAA,IAC5C,KAAKA,qBAAAA,CAAsB,UAAA;AACzB,MAAA,OAAO,EAAE,MAAM,SAAA,EAAU;AAAA,IAC3B,KAAKA,qBAAAA,CAAsB,OAAA;AACzB,MAAA,OAAO,EAAE,MAAM,MAAA,EAAO;AAAA,IACxB,KAAKA,qBAAAA,CAAsB,MAAA;AAAA,IAC3B,KAAKA,qBAAAA,CAAsB,UAAA;AACzB,MAAA,OAAO,EAAC;AAAA,IACV,KAAKA,qBAAAA,CAAsB,UAAA;AACzB,MAAA,OAAO;AAAA,QACL,KAAA,EAAO,OAAO,IAAA,CAAK,KAAA;AAAA,QACnB,IAAA,EAAM,WAAA,CAAY,MAAA,CAAO,IAAA,CAAK,KAAK;AAAA,OACrC;AAAA,IACF,KAAKA,qBAAAA,CAAsB,OAAA;AACzB,MAAA,OAAO;AAAA,QACL,IAAA,EAAM,QAAA;AAAA,QACN,IAAA,EAAM,OAAO,IAAA,CAAK;AAAA,OACpB;AAAA,IACF,KAAKA,sBAAsB,aAAA,EAAe;AACxC,MAAA,MAAM,MAAA,GAAS,CAAC,GAAG,IAAI,GAAA,CAAI,MAAA,CAAO,MAAA,CAAO,MAAA,CAAO,IAAA,CAAK,MAAM,CAAC,CAAC,CAAA,CAAE,MAAA;AAAA,QAC7D,CAAC,UACC,OAAO,KAAA,KAAU,YACjB,OAAO,KAAA,KAAU,QAAA,IACjB,OAAO,KAAA,KAAU;AAAA,OACrB;AACA,MAAA,OAAO;AAAA,QACL,IAAA,EAAM,OAAO,KAAA,CAAM,CAAC,UAAU,OAAO,KAAA,KAAU,QAAQ,CAAA,GACnD,QAAA,GACA,QAAA;AAAA,QACJ,IAAA,EAAM;AAAA,OACR;AAAA,IACF;AAAA,IACA,KAAKA,sBAAsB,WAAA,EAAa;AACtC,MAAA,MAAM,QAAQI,cAAAA,CAAc,MAAA,CAAO,IAAA,CAAK,SAAA,EAAW,OAAO,IAAI,CAAA;AAC9D,MAAA,OAAO;AAAA,QACL,OAAO,CAAC,KAAA,EAAO,EAAE,IAAA,EAAM,QAAQ;AAAA,OACjC;AAAA,IACF;AAAA,IACA,KAAKJ,qBAAAA,CAAsB,QAAA;AACzB,MAAA,OAAO;AAAA,QACL,IAAA,EAAM,OAAA;AAAA,QACN,KAAA,EAAOI,cAAAA,CAAc,MAAA,CAAO,IAAA,CAAK,IAAA,EAAM,OAAO,CAAC,GAAG,IAAA,EAAM,IAAI,CAAC;AAAA,OAC/D;AAAA,IACF,KAAKJ,sBAAsB,SAAA,EAAW;AACpC,MAAA,MAAM,YAAA,GAAe,MAAA;AACrB,MAAA,IACE,YAAA,CAAa,KAAK,QAAA,IAClB,YAAA,CAAa,KAAK,QAAA,CAAS,IAAA,CAAK,QAAA,KAAaA,qBAAAA,CAAsB,QAAA,EACnE;AACA,QAAAC,YAAAA;AAAA,UACE,+EAAA;AAAA,UACA,KAAA;AAAA,UACA;AAAA,SACF;AAAA,MACF;AACA,MAAA,MAAM,UAAU,MAAA,CAAO,OAAA,CAAQF,eAAAA,CAAe,YAAY,CAAC,CAAA,CAAE,IAAA;AAAA,QAAK,CAAC,CAAC,CAAC,CAAA,EAAG,CAAC,CAAC,CAAA,KACxE,CAAA,CAAE,aAAA,CAAc,CAAC;AAAA,OACnB;AACA,MAAA,MAAM,YAAY,OAAA,CAAQ,GAAA,CAAI,CAAC,CAAC,GAAA,EAAK,KAAK,CAAA,KAAM;AAAA,QAC9C,GAAA;AAAA,QACA,aAAa,KAAA,EAAO,KAAA,EAAO,CAAC,GAAG,IAAA,EAAM,GAAG,CAAC;AAAA,OACjC,CAAA;AACV,MAAA,MAAM,WAAW,SAAA,CACd,MAAA,CAAO,CAAC,GAAG,KAAK,CAAA,KAAM,KAAA,CAAM,QAAQ,EACpC,GAAA,CAAI,CAAC,CAAC,GAAG,MAAM,GAAG,CAAA;AACrB,MAAA,OAAO;AAAA,QACL,IAAA,EAAM,QAAA;AAAA,QACN,YAAY,MAAA,CAAO,WAAA;AAAA,UACjB,SAAA,CAAU,GAAA,CAAI,CAAC,CAAC,GAAA,EAAK,KAAK,CAAA,KAAM,CAAC,GAAA,EAAK,KAAA,CAAM,MAAM,CAAC;AAAA,SACrD;AAAA,QACA,oBAAA,EAAsB,KAAA;AAAA,QACtB,GAAI,QAAA,CAAS,MAAA,GAAS,IAAI,EAAE,QAAA,KAAa;AAAC,OAC5C;AAAA,IACF;AAAA,IACA,KAAKC,qBAAAA,CAAsB,QAAA;AACzB,MAAA,OAAO;AAAA,QACL,KAAA,EAAO,MAAA,CAAO,IAAA,CAAK,OAAA,CAAQ,GAAA;AAAA,UAAI,CAAC,MAAA,EAAoB,KAAA,KAClDI,cAAAA,CAAc,MAAA,EAAQ,KAAA,EAAO,CAAC,GAAG,IAAA,EAAM,MAAA,CAAO,KAAK,CAAC,CAAC;AAAA;AACvD,OACF;AAAA,IACF,KAAKJ,sBAAsB,qBAAA,EAAuB;AAChD,MAAA,MAAM,kBAAA,GAAqB,MAAA;AAI3B,MAAA,MAAM,OAAA,GACJ,kBAAA,CAAmB,OAAA,YAAmB,GAAA,GAClC,CAAC,GAAG,kBAAA,CAAmB,OAAA,CAAQ,MAAA,EAAQ,CAAA,GACvC,CAAC,GAAG,mBAAmB,OAAO,CAAA;AACpC,MAAA,OAAO;AAAA,QACL,OAAO,OAAA,CAAQ,GAAA;AAAA,UAAI,CAAC,MAAA,EAAQ,KAAA,KAC1BI,cAAAA,CAAc,MAAA,EAAQ,KAAA,EAAO,CAAC,GAAG,IAAA,EAAM,MAAA,CAAO,KAAK,CAAC,CAAC;AAAA;AACvD,OACF;AAAA,IACF;AAAA,IACA,KAAKJ,sBAAsB,SAAA,EAAW;AACpC,MAAA,MAAM,OAAA,GAAU,OAAO,IAAA,CAAK,OAAA;AAC5B,MAAA,IACE,OAAA,IACA,OAAA,CAAQ,IAAA,CAAK,QAAA,KAAaA,sBAAsB,SAAA,EAChD;AACA,QAAAC,YAAAA;AAAA,UACE,kEAAA;AAAA,UACA,KAAA;AAAA,UACA;AAAA,SACF;AAAA,MACF;AACA,MAAA,OAAO;AAAA,QACL,IAAA,EAAM,QAAA;AAAA,QACN,oBAAA,EAAsBG,cAAAA;AAAA,UACpB,OAAO,IAAA,CAAK,SAAA;AAAA,UACZ,KAAA;AAAA,UACA,CAAC,GAAG,IAAA,EAAM,IAAI;AAAA;AAChB,OACF;AAAA,IACF;AAAA,IACA,KAAKJ,qBAAAA,CAAsB,OAAA;AACzB,MAAA,OAAOG,YAAAA,CAAY,MAAA,EAAiC,KAAA,EAAO,IAAI,CAAA;AAAA,IACjE,KAAKH,qBAAAA,CAAsB,UAAA;AACzB,MAAA,OAAOI,cAAAA,CAAc,MAAA,CAAO,IAAA,CAAK,IAAA,EAAM,OAAO,IAAI,CAAA;AAAA,IACpD;AACE,MAAAH,YAAAA;AAAA,QACE,CAAA,4BAAA,EAA+B,MAAA,CAAO,IAAA,CAAK,QAAQ,CAAA,CAAA;AAAA,QACnD,KAAA;AAAA,QACA;AAAA,OACF;AAAA;AAEN;AAEO,SAAS,eAAA,CACd,MAAA,EACA,OAAA,GAAkC,EAAC,EACvB;AACZ,EAAA,MAAM,SAAA,GAAYG,eAAc,MAAA,EAAQ;AAAA,IACtC,UAAU,OAAA,CAAQ,QAAA;AAAA,IAClB,eAAA,sBAAqB,OAAA;AAAgB,GACvC,EAAG,EAAE,CAAA;AACL,EAAA,IAAI,OAAO,cAAc,SAAA,EAAW;AAClC,IAAA,OAAO,SAAA;AAAA,EACT;AACA,EAAA,OAAO;AAAA,IACL,OAAA,EAAS,yCAAA;AAAA,IACT,GAAG;AAAA,GACL;AACF","file":"dsl.js","sourcesContent":["import { z, type ZodObject, type ZodRawShape } from \"zod\";\n\nexport type FunctionEffect = \"read\" | \"write\" | \"admin\";\n\nexport type FunctionContract<\n  A extends ZodRawShape = ZodRawShape,\n  R extends z.ZodTypeAny = z.ZodTypeAny,\n> = {\n  name: string;\n  args: ZodObject<A>;\n  returns: R;\n  effects: readonly FunctionEffect[];\n  idempotent?: boolean;\n  invariants?: readonly string[];\n};\n\nexport function defineFunction<\n  A extends ZodRawShape,\n  R extends z.ZodTypeAny,\n>(spec: FunctionContract<A, R>): FunctionContract<A, R> {\n  return spec;\n}\n","import type { ZodObject, ZodRawShape } from \"zod\";\n\nexport type TableComponent = \"mc\" | \"kernel\" | \"control-plane\" | \"developer-pack\";\n\nexport type TableIndex =\n  | {\n      kind: \"index\";\n      name: string;\n      columns: readonly string[];\n    }\n  | {\n      kind: \"search\";\n      name: string;\n      searchField: string;\n      filterFields?: readonly string[];\n    }\n  | {\n      kind: \"vector\";\n      name: string;\n      vectorField: string;\n      dimensions: number;\n      filterFields?: readonly string[];\n    };\n\nexport type TableDeprecation = {\n  since: string;\n  reason: string;\n  replacement?: string;\n};\n\nexport type TableContract<S extends ZodRawShape = ZodRawShape> = {\n  name: string;\n  component: TableComponent;\n  category: string;\n  shape: ZodObject<S>;\n  indices: readonly TableIndex[];\n  deprecated?: TableDeprecation;\n  invariants?: readonly string[];\n};\n\nexport function defineTable<S extends ZodRawShape>(\n  spec: TableContract<S>\n): TableContract<S> {\n  return spec;\n}\n","export type AdapterKind = \"convex\" | \"jsonschema\" | \"cli\";\n\nexport type AdapterPurpose = \"table\" | \"function_args\" | \"function_returns\";\n\nexport type AdapterContext = {\n  adapter: AdapterKind;\n  purpose?: AdapterPurpose;\n  location?: string;\n  path?: readonly string[];\n};\n\nfunction formatPath(path?: readonly string[]) {\n  if (!path || path.length === 0) {\n    return \"\";\n  }\n\n  return path.join(\".\");\n}\n\nfunction formatLocation(context: AdapterContext) {\n  const segments: string[] = [context.adapter];\n  if (context.purpose) {\n    segments.push(context.purpose);\n  }\n  if (context.location) {\n    segments.push(context.location);\n  }\n  const formattedPath = formatPath(context.path);\n  if (formattedPath) {\n    segments.push(formattedPath);\n  }\n  return segments.join(\" :: \");\n}\n\nexport class SchemaAdapterError extends Error {\n  readonly context: AdapterContext;\n\n  constructor(message: string, context: AdapterContext) {\n    super(`${message} [${formatLocation(context)}]`);\n    this.name = \"SchemaAdapterError\";\n    this.context = context;\n  }\n}\n\nexport function schemaAdapterError(\n  message: string,\n  context: AdapterContext\n): SchemaAdapterError {\n  return new SchemaAdapterError(message, context);\n}\n","import { z } from \"zod\";\n\nexport const CONVEX_ID_TABLE = Symbol.for(\"lucern.contracts.convexIdTable\");\n\nexport type ConvexIdSchema<T extends string> = z.ZodBranded<\n  z.ZodString,\n  `Id<${T}>`\n> & {\n  readonly [CONVEX_ID_TABLE]: T;\n};\n\nexport function idOf<T extends string>(table: T): ConvexIdSchema<T> {\n  const schema = z.string().brand<`Id<${T}>`>();\n  Object.defineProperty(schema, CONVEX_ID_TABLE, {\n    configurable: false,\n    enumerable: false,\n    value: table,\n    writable: false,\n  });\n  return schema as ConvexIdSchema<T>;\n}\n\nexport function getConvexIdTable(schema: z.ZodTypeAny): string | undefined {\n  return (schema as Partial<Record<typeof CONVEX_ID_TABLE, string>>)[\n    CONVEX_ID_TABLE\n  ];\n}\n","import { z, ZodFirstPartyTypeKind, type ZodTypeAny } from \"zod\";\nimport { schemaAdapterError } from \"../errors.js\";\n\nexport type CliOptionKind = \"string\" | \"number\" | \"bigint\" | \"boolean\" | \"json\";\n\nexport type CliOptionSpec = {\n  name: string;\n  kind: CliOptionKind;\n  required: boolean;\n  variadic?: boolean;\n  nullable?: boolean;\n  choices?: readonly (string | number | boolean)[];\n  defaultValue?: unknown;\n  description?: string;\n};\n\nexport type CliCommandSpec = {\n  options: readonly CliOptionSpec[];\n};\n\nexport type ZodToCliOptions = {\n  location?: string;\n};\n\ntype FieldState = {\n  schema: ZodTypeAny;\n  required: boolean;\n  nullable: boolean;\n  defaultValue?: unknown;\n};\n\ntype ConversionState = {\n  location?: string;\n  seenLazySchemas: WeakSet<object>;\n};\n\nfunction unsupported(\n  message: string,\n  state: ConversionState,\n  path: readonly string[]\n): never {\n  throw schemaAdapterError(message, {\n    adapter: \"cli\",\n    location: state.location,\n    path,\n  });\n}\n\nfunction getObjectShape(schema: z.ZodObject<z.ZodRawShape>) {\n  const shape =\n    typeof schema._def.shape === \"function\" ? schema._def.shape() : schema._def.shape;\n  return shape as z.ZodRawShape;\n}\n\nfunction unwrapField(\n  schema: ZodTypeAny,\n  path: readonly string[]\n): FieldState {\n  let current = schema;\n  let required = true;\n  let nullable = false;\n  let defaultValue: unknown;\n\n  while (true) {\n    switch (current._def.typeName) {\n      case ZodFirstPartyTypeKind.ZodOptional:\n        required = false;\n        current = current._def.innerType;\n        continue;\n      case ZodFirstPartyTypeKind.ZodDefault:\n        required = false;\n        defaultValue = current._def.defaultValue();\n        current = current._def.innerType;\n        continue;\n      case ZodFirstPartyTypeKind.ZodNullable:\n        nullable = true;\n        current = current._def.innerType;\n        continue;\n      default:\n        return {\n          schema: current,\n          required,\n          nullable,\n          defaultValue,\n        };\n    }\n  }\n}\n\nfunction primitiveOption(\n  name: string,\n  kind: CliOptionKind,\n  field: FieldState,\n  choices?: readonly (string | number | boolean)[]\n): CliOptionSpec {\n  return {\n    name,\n    kind,\n    required: field.required,\n    nullable: field.nullable || undefined,\n    defaultValue: field.defaultValue,\n    choices,\n    description: field.schema.description,\n  };\n}\n\nfunction optionFromSchema(\n  name: string,\n  schema: ZodTypeAny,\n  state: ConversionState,\n  path: readonly string[]\n): CliOptionSpec {\n  const field = unwrapField(schema, path);\n\n  switch (field.schema._def.typeName) {\n    case ZodFirstPartyTypeKind.ZodString:\n      return primitiveOption(name, \"string\", field);\n    case ZodFirstPartyTypeKind.ZodNumber:\n      return primitiveOption(name, \"number\", field);\n    case ZodFirstPartyTypeKind.ZodBigInt:\n      return primitiveOption(name, \"bigint\", field);\n    case ZodFirstPartyTypeKind.ZodBoolean:\n      return primitiveOption(name, \"boolean\", field);\n    case ZodFirstPartyTypeKind.ZodEnum:\n      return primitiveOption(name, \"string\", field, field.schema._def.values);\n    case ZodFirstPartyTypeKind.ZodNativeEnum: {\n      const values = [...new Set(Object.values(field.schema._def.values))].filter(\n        (value): value is string | number | boolean =>\n          typeof value === \"string\" ||\n          typeof value === \"number\" ||\n          typeof value === \"boolean\"\n      );\n      return primitiveOption(\n        name,\n        values.every((value) => typeof value === \"number\") ? \"number\" : \"string\",\n        field,\n        values\n      );\n    }\n    case ZodFirstPartyTypeKind.ZodLiteral:\n      return primitiveOption(name, \"string\", field, [field.schema._def.value]);\n    case ZodFirstPartyTypeKind.ZodArray: {\n      const item = unwrapField(field.schema._def.type, [...path, \"[]\"]);\n      switch (item.schema._def.typeName) {\n        case ZodFirstPartyTypeKind.ZodString:\n          return { ...primitiveOption(name, \"string\", field), variadic: true };\n        case ZodFirstPartyTypeKind.ZodNumber:\n          return { ...primitiveOption(name, \"number\", field), variadic: true };\n        case ZodFirstPartyTypeKind.ZodBigInt:\n          return { ...primitiveOption(name, \"bigint\", field), variadic: true };\n        case ZodFirstPartyTypeKind.ZodBoolean:\n          return { ...primitiveOption(name, \"boolean\", field), variadic: true };\n        default:\n          return {\n            ...primitiveOption(name, \"json\", field),\n            variadic: false,\n          };\n      }\n    }\n    case ZodFirstPartyTypeKind.ZodLazy: {\n      const lazySchema = field.schema as z.ZodLazy<ZodTypeAny>;\n      if (state.seenLazySchemas.has(lazySchema)) {\n        unsupported(\n          \"Recursive z.lazy schemas are not supported by the CLI adapter\",\n          state,\n          path\n        );\n      }\n      state.seenLazySchemas.add(lazySchema);\n      try {\n        return optionFromSchema(name, lazySchema._def.getter(), state, path);\n      } finally {\n        state.seenLazySchemas.delete(lazySchema);\n      }\n    }\n    case ZodFirstPartyTypeKind.ZodBranded:\n      return primitiveOption(name, \"string\", field);\n    case ZodFirstPartyTypeKind.ZodObject:\n    case ZodFirstPartyTypeKind.ZodUnion:\n    case ZodFirstPartyTypeKind.ZodDiscriminatedUnion:\n    case ZodFirstPartyTypeKind.ZodRecord:\n    case ZodFirstPartyTypeKind.ZodAny:\n    case ZodFirstPartyTypeKind.ZodUnknown:\n      return primitiveOption(name, \"json\", field);\n    default:\n      unsupported(\n        `Unsupported Zod schema kind ${field.schema._def.typeName}`,\n        state,\n        path\n      );\n  }\n}\n\nexport function zodToCli(\n  schema: z.ZodObject<z.ZodRawShape>,\n  options: ZodToCliOptions = {}\n): CliCommandSpec {\n  if (schema._def.typeName !== ZodFirstPartyTypeKind.ZodObject) {\n    throw schemaAdapterError(\"CLI generation requires a Zod object schema\", {\n      adapter: \"cli\",\n      location: options.location,\n      path: [],\n    });\n  }\n\n  const state: ConversionState = {\n    location: options.location,\n    seenLazySchemas: new WeakSet<object>(),\n  };\n  const optionsList = Object.entries(getObjectShape(schema))\n    .sort(([left], [right]) => left.localeCompare(right))\n    .map(([name, value]) => optionFromSchema(name, value, state, [name]));\n\n  return {\n    options: optionsList,\n  };\n}\n","import { z, ZodFirstPartyTypeKind, type ZodTypeAny } from \"zod\";\nimport type { TableIndex } from \"../defineTable.js\";\nimport {\n  SchemaAdapterError,\n  schemaAdapterError,\n  type AdapterPurpose,\n} from \"../errors.js\";\nimport { getConvexIdTable } from \"../idOf.js\";\n\nexport type ConvexDefault = {\n  path: readonly string[];\n  value: unknown;\n};\n\nexport type ZodToConvexOptions = {\n  purpose?: AdapterPurpose;\n  location?: string;\n};\n\nexport type ZodToConvexResult = {\n  source: string;\n  defaults: readonly ConvexDefault[];\n};\n\ntype ConversionState = {\n  location?: string;\n  purpose: AdapterPurpose;\n  seenLazySchemas: WeakSet<object>;\n};\n\ntype ConvertedSchema = {\n  source: string;\n  defaults: ConvexDefault[];\n};\n\nfunction encodeLiteral(value: string | number | bigint | boolean | null) {\n  if (typeof value === \"bigint\") {\n    return `${value}n`;\n  }\n  return JSON.stringify(value);\n}\n\nfunction sortEntries<T>(entries: readonly [string, T][]) {\n  return [...entries].sort(([left], [right]) => left.localeCompare(right));\n}\n\nfunction getObjectShape(schema: z.ZodObject<z.ZodRawShape>) {\n  const shape =\n    typeof schema._def.shape === \"function\" ? schema._def.shape() : schema._def.shape;\n  return shape as z.ZodRawShape;\n}\n\nfunction unwrapOptionalLike(\n  schema: ZodTypeAny,\n  state: ConversionState,\n  path: readonly string[]\n): {\n  schema: ZodTypeAny;\n  isOptional: boolean;\n  defaults: ConvexDefault[];\n} {\n  const defaults: ConvexDefault[] = [];\n  let current = schema;\n  let isOptional = false;\n\n  while (true) {\n    switch (current._def.typeName) {\n      case ZodFirstPartyTypeKind.ZodOptional:\n        isOptional = true;\n        current = current._def.innerType;\n        continue;\n      case ZodFirstPartyTypeKind.ZodDefault: {\n        if (state.purpose === \"table\") {\n          throw schemaAdapterError(\n            \"Zod defaults are not allowed in table contracts\",\n            {\n              adapter: \"convex\",\n              purpose: state.purpose,\n              location: state.location,\n              path,\n            }\n          );\n        }\n        isOptional = true;\n        defaults.push({\n          path,\n          value: current._def.defaultValue(),\n        });\n        current = current._def.innerType;\n        continue;\n      }\n      default:\n        return {\n          schema: current,\n          isOptional,\n          defaults,\n        };\n    }\n  }\n}\n\nfunction convertSchema(\n  schema: ZodTypeAny,\n  state: ConversionState,\n  path: readonly string[]\n): ConvertedSchema {\n  const { schema: unwrapped, isOptional, defaults } = unwrapOptionalLike(\n    schema,\n    state,\n    path\n  );\n  const converted = convertSchemaInner(unwrapped, state, path);\n  return {\n    source: isOptional ? `v.optional(${converted.source})` : converted.source,\n    defaults: [...defaults, ...converted.defaults],\n  };\n}\n\nfunction enumToUnion(values: readonly (string | number)[]) {\n  if (values.length === 0) {\n    return \"v.never()\";\n  }\n  if (values.length === 1) {\n    return `v.literal(${encodeLiteral(values[0])})`;\n  }\n  return `v.union(${values\n    .map((value) => `v.literal(${encodeLiteral(value)})`)\n    .join(\", \")})`;\n}\n\nfunction unsupported(\n  message: string,\n  state: ConversionState,\n  path: readonly string[]\n): never {\n  throw schemaAdapterError(message, {\n    adapter: \"convex\",\n    purpose: state.purpose,\n    location: state.location,\n    path,\n  });\n}\n\nfunction convertLazy(\n  schema: ZodTypeAny,\n  state: ConversionState,\n  path: readonly string[]\n): ConvertedSchema {\n  const lazySchema = schema as z.ZodLazy<ZodTypeAny>;\n  if (state.seenLazySchemas.has(lazySchema)) {\n    unsupported(\n      \"Recursive z.lazy schemas are not supported by the Convex adapter\",\n      state,\n      path\n    );\n  }\n  state.seenLazySchemas.add(lazySchema);\n  try {\n    return convertSchema(lazySchema._def.getter(), state, path);\n  } finally {\n    state.seenLazySchemas.delete(lazySchema);\n  }\n}\n\nfunction convertSchemaInner(\n  schema: ZodTypeAny,\n  state: ConversionState,\n  path: readonly string[]\n): ConvertedSchema {\n  const idTable = getConvexIdTable(schema);\n  if (idTable) {\n    return {\n      source: `v.id(${JSON.stringify(idTable)})`,\n      defaults: [],\n    };\n  }\n\n  switch (schema._def.typeName) {\n    case ZodFirstPartyTypeKind.ZodString:\n      return { source: \"v.string()\", defaults: [] };\n    case ZodFirstPartyTypeKind.ZodNumber:\n      return { source: \"v.number()\", defaults: [] };\n    case ZodFirstPartyTypeKind.ZodBigInt:\n      return { source: \"v.int64()\", defaults: [] };\n    case ZodFirstPartyTypeKind.ZodBoolean:\n      return { source: \"v.boolean()\", defaults: [] };\n    case ZodFirstPartyTypeKind.ZodNull:\n      return { source: \"v.null()\", defaults: [] };\n    case ZodFirstPartyTypeKind.ZodAny:\n    case ZodFirstPartyTypeKind.ZodUnknown:\n      return { source: \"v.any()\", defaults: [] };\n    case ZodFirstPartyTypeKind.ZodLiteral: {\n      return {\n        source: `v.literal(${encodeLiteral(schema._def.value)})`,\n        defaults: [],\n      };\n    }\n    case ZodFirstPartyTypeKind.ZodEnum:\n      return {\n        source: enumToUnion(schema._def.values),\n        defaults: [],\n      };\n    case ZodFirstPartyTypeKind.ZodNativeEnum: {\n      const values = Object.values(schema._def.values).filter(\n        (value): value is string | number =>\n          typeof value === \"string\" || typeof value === \"number\"\n      );\n      return {\n        source: enumToUnion([...new Set(values)]),\n        defaults: [],\n      };\n    }\n    case ZodFirstPartyTypeKind.ZodNullable: {\n      const inner = convertSchema(schema._def.innerType, state, path);\n      return {\n        source: `v.nullable(${inner.source})`,\n        defaults: inner.defaults,\n      };\n    }\n    case ZodFirstPartyTypeKind.ZodArray: {\n      const inner = convertSchema(schema._def.type, state, [...path, \"[]\"]);\n      return {\n        source: `v.array(${inner.source})`,\n        defaults: inner.defaults,\n      };\n    }\n    case ZodFirstPartyTypeKind.ZodObject: {\n      const objectSchema = schema as z.ZodObject<z.ZodRawShape>;\n      if (\n        objectSchema._def.catchall &&\n        objectSchema._def.catchall._def.typeName !== ZodFirstPartyTypeKind.ZodNever\n      ) {\n        unsupported(\n          \"Zod objects with catchall/passthrough fields cannot be lowered to Convex validators\",\n          state,\n          path\n        );\n      }\n      const fields = sortEntries(Object.entries(getObjectShape(objectSchema)));\n      const convertedFields = fields.map(([key, value]) => [\n        key,\n        convertSchema(value, state, [...path, key]),\n      ] as const);\n      return {\n        source: `v.object({ ${convertedFields\n          .map(([key, converted]) => `${JSON.stringify(key)}: ${converted.source}`)\n          .join(\", \")} })`,\n        defaults: convertedFields.flatMap(([, converted]) => converted.defaults),\n      };\n    }\n    case ZodFirstPartyTypeKind.ZodUnion: {\n      const members = schema._def.options.map((option: ZodTypeAny, index: number) =>\n        convertSchema(option, state, [...path, String(index)])\n      );\n      return {\n        source: `v.union(${members\n          .map((member: ConvertedSchema) => member.source)\n          .join(\", \")})`,\n        defaults: members.flatMap((member: ConvertedSchema) => member.defaults),\n      };\n    }\n    case ZodFirstPartyTypeKind.ZodDiscriminatedUnion: {\n      const discriminatedUnion = schema as z.ZodDiscriminatedUnion<\n        string,\n        [z.ZodObject<z.ZodRawShape>, ...z.ZodObject<z.ZodRawShape>[]]\n      >;\n      const options =\n        discriminatedUnion.options instanceof Map\n          ? [...discriminatedUnion.options.values()]\n          : [...discriminatedUnion.options];\n      const members = options.map((option, index) =>\n        convertSchema(option, state, [...path, String(index)])\n      );\n      return {\n        source: `v.union(${members\n          .map((member: ConvertedSchema) => member.source)\n          .join(\", \")})`,\n        defaults: members.flatMap((member: ConvertedSchema) => member.defaults),\n      };\n    }\n    case ZodFirstPartyTypeKind.ZodRecord: {\n      const keyType = schema._def.keyType;\n      if (\n        keyType &&\n        keyType._def.typeName !== ZodFirstPartyTypeKind.ZodString\n      ) {\n        unsupported(\n          \"Only string-keyed z.record schemas can be lowered to Convex validators\",\n          state,\n          path\n        );\n      }\n      const value = convertSchema(schema._def.valueType, state, [...path, \"{}\"]);\n      return {\n        source: `v.record(v.string(), ${value.source})`,\n        defaults: value.defaults,\n      };\n    }\n    case ZodFirstPartyTypeKind.ZodLazy:\n      return convertLazy(schema, state, path);\n    case ZodFirstPartyTypeKind.ZodBranded: {\n      return convertSchema(schema._def.type, state, path);\n    }\n    case ZodFirstPartyTypeKind.ZodEffects: {\n      return convertSchema(schema._def.schema, state, path);\n    }\n    default:\n      unsupported(`Unsupported Zod schema kind ${schema._def.typeName}`, state, path);\n  }\n}\n\nexport function zodToConvex(\n  schema: ZodTypeAny,\n  options: ZodToConvexOptions = {}\n): ZodToConvexResult {\n  const state: ConversionState = {\n    location: options.location,\n    purpose: options.purpose ?? \"function_returns\",\n    seenLazySchemas: new WeakSet<object>(),\n  };\n  const converted = convertSchema(schema, state, []);\n  return {\n    source: converted.source,\n    defaults: converted.defaults,\n  };\n}\n\nexport function tableIndexToConvexSource(index: TableIndex): string {\n  switch (index.kind) {\n    case \"index\":\n      return `.index(${JSON.stringify(index.name)}, [${index.columns\n        .map((column) => JSON.stringify(column))\n        .join(\", \")}])`;\n    case \"search\":\n      return `.searchIndex(${JSON.stringify(index.name)}, { searchField: ${JSON.stringify(\n        index.searchField\n      )}${index.filterFields?.length ? `, filterFields: [${index.filterFields\n        .map((field) => JSON.stringify(field))\n        .join(\", \")}]` : \"\"} })`;\n    case \"vector\":\n      return `.vectorIndex(${JSON.stringify(index.name)}, { vectorField: ${JSON.stringify(\n        index.vectorField\n      )}, dimensions: ${index.dimensions}${\n        index.filterFields?.length\n          ? `, filterFields: [${index.filterFields\n              .map((field) => JSON.stringify(field))\n              .join(\", \")}]`\n          : \"\"\n      } })`;\n    default: {\n      const exhaustive: never = index;\n      throw new SchemaAdapterError(\n        `Unsupported table index kind ${(exhaustive as { kind?: string }).kind ?? \"unknown\"}`,\n        { adapter: \"convex\" }\n      );\n    }\n  }\n}\n","import { z, ZodFirstPartyTypeKind, type ZodTypeAny } from \"zod\";\nimport { schemaAdapterError } from \"../errors.js\";\nimport { getConvexIdTable } from \"../idOf.js\";\n\nexport type JsonSchema =\n  | boolean\n  | {\n      $schema?: string;\n      type?: string | readonly string[];\n      properties?: Record<string, JsonSchema>;\n      required?: readonly string[];\n      additionalProperties?: boolean | JsonSchema;\n      items?: JsonSchema;\n      enum?: readonly (string | number | boolean)[];\n      const?: string | number | boolean | null;\n      anyOf?: readonly JsonSchema[];\n      oneOf?: readonly JsonSchema[];\n      default?: unknown;\n      format?: string;\n      description?: string;\n      [key: string]: unknown;\n    };\n\nexport type ZodToJsonSchemaOptions = {\n  location?: string;\n};\n\ntype JsonField = {\n  schema: JsonSchema;\n  required: boolean;\n};\n\ntype ConversionState = {\n  location?: string;\n  seenLazySchemas: WeakSet<object>;\n};\n\nfunction unsupported(\n  message: string,\n  state: ConversionState,\n  path: readonly string[]\n): never {\n  throw schemaAdapterError(message, {\n    adapter: \"jsonschema\",\n    location: state.location,\n    path,\n  });\n}\n\nfunction getObjectShape(schema: z.ZodObject<z.ZodRawShape>) {\n  const shape =\n    typeof schema._def.shape === \"function\" ? schema._def.shape() : schema._def.shape;\n  return shape as z.ZodRawShape;\n}\n\nfunction unwrapOptionalLike(\n  schema: ZodTypeAny,\n  state: ConversionState,\n  path: readonly string[]\n): {\n  schema: ZodTypeAny;\n  required: boolean;\n  defaultValue?: unknown;\n} {\n  let current = schema;\n  let required = true;\n  let defaultValue: unknown;\n\n  while (true) {\n    switch (current._def.typeName) {\n      case ZodFirstPartyTypeKind.ZodOptional:\n        required = false;\n        current = current._def.innerType;\n        continue;\n      case ZodFirstPartyTypeKind.ZodDefault:\n        required = false;\n        defaultValue = current._def.defaultValue();\n        current = current._def.innerType;\n        continue;\n      default:\n        return {\n          schema: current,\n          required,\n          defaultValue,\n        };\n    }\n  }\n}\n\nfunction convertLazy(\n  schema: z.ZodLazy<ZodTypeAny>,\n  state: ConversionState,\n  path: readonly string[]\n): JsonSchema {\n  if (state.seenLazySchemas.has(schema)) {\n    unsupported(\n      \"Recursive z.lazy schemas are not supported by the JSON Schema adapter\",\n      state,\n      path\n    );\n  }\n  state.seenLazySchemas.add(schema);\n  try {\n    return convertSchema(schema._def.getter(), state, path);\n  } finally {\n    state.seenLazySchemas.delete(schema);\n  }\n}\n\nfunction literalType(value: unknown) {\n  switch (typeof value) {\n    case \"string\":\n      return \"string\";\n    case \"number\":\n      return Number.isInteger(value) ? \"integer\" : \"number\";\n    case \"boolean\":\n      return \"boolean\";\n    case \"bigint\":\n      return \"integer\";\n    default:\n      return value === null ? \"null\" : undefined;\n  }\n}\n\nfunction convertField(\n  schema: ZodTypeAny,\n  state: ConversionState,\n  path: readonly string[]\n): JsonField {\n  const { schema: unwrapped, required, defaultValue } = unwrapOptionalLike(\n    schema,\n    state,\n    path\n  );\n  const field = convertSchema(unwrapped, state, path);\n  if (typeof field === \"boolean\") {\n    return {\n      schema: field,\n      required,\n    };\n  }\n  return {\n    schema:\n      defaultValue === undefined ? field : { ...field, default: defaultValue },\n    required,\n  };\n}\n\nfunction convertSchema(\n  schema: ZodTypeAny,\n  state: ConversionState,\n  path: readonly string[]\n): JsonSchema {\n  const idTable = getConvexIdTable(schema);\n  if (idTable) {\n    return {\n      type: \"string\",\n      \"x-convex-id-table\": idTable,\n    };\n  }\n\n  switch (schema._def.typeName) {\n    case ZodFirstPartyTypeKind.ZodString:\n      return { type: \"string\" };\n    case ZodFirstPartyTypeKind.ZodNumber:\n      return { type: \"number\" };\n    case ZodFirstPartyTypeKind.ZodBigInt:\n      return { type: \"integer\", format: \"int64\" };\n    case ZodFirstPartyTypeKind.ZodBoolean:\n      return { type: \"boolean\" };\n    case ZodFirstPartyTypeKind.ZodNull:\n      return { type: \"null\" };\n    case ZodFirstPartyTypeKind.ZodAny:\n    case ZodFirstPartyTypeKind.ZodUnknown:\n      return {};\n    case ZodFirstPartyTypeKind.ZodLiteral:\n      return {\n        const: schema._def.value,\n        type: literalType(schema._def.value),\n      };\n    case ZodFirstPartyTypeKind.ZodEnum:\n      return {\n        type: \"string\",\n        enum: schema._def.values,\n      };\n    case ZodFirstPartyTypeKind.ZodNativeEnum: {\n      const values = [...new Set(Object.values(schema._def.values))].filter(\n        (value): value is string | number | boolean =>\n          typeof value === \"string\" ||\n          typeof value === \"number\" ||\n          typeof value === \"boolean\"\n      );\n      return {\n        type: values.every((value) => typeof value === \"number\")\n          ? \"number\"\n          : \"string\",\n        enum: values,\n      };\n    }\n    case ZodFirstPartyTypeKind.ZodNullable: {\n      const inner = convertSchema(schema._def.innerType, state, path);\n      return {\n        anyOf: [inner, { type: \"null\" }],\n      };\n    }\n    case ZodFirstPartyTypeKind.ZodArray:\n      return {\n        type: \"array\",\n        items: convertSchema(schema._def.type, state, [...path, \"[]\"]),\n      };\n    case ZodFirstPartyTypeKind.ZodObject: {\n      const objectSchema = schema as z.ZodObject<z.ZodRawShape>;\n      if (\n        objectSchema._def.catchall &&\n        objectSchema._def.catchall._def.typeName !== ZodFirstPartyTypeKind.ZodNever\n      ) {\n        unsupported(\n          \"Zod objects with catchall/passthrough fields cannot be lowered to JSON Schema\",\n          state,\n          path\n        );\n      }\n      const entries = Object.entries(getObjectShape(objectSchema)).sort(([a], [b]) =>\n        a.localeCompare(b)\n      );\n      const converted = entries.map(([key, value]) => [\n        key,\n        convertField(value, state, [...path, key]),\n      ] as const);\n      const required = converted\n        .filter(([, field]) => field.required)\n        .map(([key]) => key);\n      return {\n        type: \"object\",\n        properties: Object.fromEntries(\n          converted.map(([key, field]) => [key, field.schema])\n        ),\n        additionalProperties: false,\n        ...(required.length > 0 ? { required } : {}),\n      };\n    }\n    case ZodFirstPartyTypeKind.ZodUnion:\n      return {\n        anyOf: schema._def.options.map((option: ZodTypeAny, index: number) =>\n          convertSchema(option, state, [...path, String(index)])\n        ),\n      };\n    case ZodFirstPartyTypeKind.ZodDiscriminatedUnion: {\n      const discriminatedUnion = schema as z.ZodDiscriminatedUnion<\n        string,\n        [z.ZodObject<z.ZodRawShape>, ...z.ZodObject<z.ZodRawShape>[]]\n      >;\n      const options =\n        discriminatedUnion.options instanceof Map\n          ? [...discriminatedUnion.options.values()]\n          : [...discriminatedUnion.options];\n      return {\n        oneOf: options.map((option, index) =>\n          convertSchema(option, state, [...path, String(index)])\n        ),\n      };\n    }\n    case ZodFirstPartyTypeKind.ZodRecord: {\n      const keyType = schema._def.keyType;\n      if (\n        keyType &&\n        keyType._def.typeName !== ZodFirstPartyTypeKind.ZodString\n      ) {\n        unsupported(\n          \"Only string-keyed z.record schemas can be lowered to JSON Schema\",\n          state,\n          path\n        );\n      }\n      return {\n        type: \"object\",\n        additionalProperties: convertSchema(\n          schema._def.valueType,\n          state,\n          [...path, \"{}\"]\n        ),\n      };\n    }\n    case ZodFirstPartyTypeKind.ZodLazy:\n      return convertLazy(schema as z.ZodLazy<ZodTypeAny>, state, path);\n    case ZodFirstPartyTypeKind.ZodBranded:\n      return convertSchema(schema._def.type, state, path);\n    default:\n      unsupported(\n        `Unsupported Zod schema kind ${schema._def.typeName}`,\n        state,\n        path\n      );\n  }\n}\n\nexport function zodToJsonSchema(\n  schema: ZodTypeAny,\n  options: ZodToJsonSchemaOptions = {}\n): JsonSchema {\n  const converted = convertSchema(schema, {\n    location: options.location,\n    seenLazySchemas: new WeakSet<object>(),\n  }, []);\n  if (typeof converted === \"boolean\") {\n    return converted;\n  }\n  return {\n    $schema: \"http://json-schema.org/draft-07/schema#\",\n    ...converted,\n  };\n}\n"]}
+{"version":3,"sources":["../src/dsl/defineFunction.ts","../src/dsl/defineTable.ts","../src/dsl/errors.ts","../src/dsl/idOf.ts","../src/dsl/adapters/zod-to-cli.ts","../src/dsl/adapters/zod-to-convex.ts","../src/dsl/adapters/zod-to-jsonschema.ts"],"names":["getObjectShape","ZodFirstPartyTypeKind","unsupported","unwrapOptionalLike","convertLazy","convertSchema"],"mappings":";;;AAgBO,SAAS,eAGd,IAAA,EAAsD;AACtD,EAAA,OAAO,IAAA;AACT;;;ACmBO,SAAS,YACd,IAAA,EACkB;AAClB,EAAA,OAAO,IAAA;AACT;;;ACjCA,SAAS,WAAW,IAAA,EAA0B;AAC5C,EAAA,IAAI,CAAC,IAAA,IAAQ,IAAA,CAAK,MAAA,KAAW,CAAA,EAAG;AAC9B,IAAA,OAAO,EAAA;AAAA,EACT;AAEA,EAAA,OAAO,IAAA,CAAK,KAAK,GAAG,CAAA;AACtB;AAEA,SAAS,eAAe,OAAA,EAAyB;AAC/C,EAAA,MAAM,QAAA,GAAqB,CAAC,OAAA,CAAQ,OAAO,CAAA;AAC3C,EAAA,IAAI,QAAQ,OAAA,EAAS;AACnB,IAAA,QAAA,CAAS,IAAA,CAAK,QAAQ,OAAO,CAAA;AAAA,EAC/B;AACA,EAAA,IAAI,QAAQ,QAAA,EAAU;AACpB,IAAA,QAAA,CAAS,IAAA,CAAK,QAAQ,QAAQ,CAAA;AAAA,EAChC;AACA,EAAA,MAAM,aAAA,GAAgB,UAAA,CAAW,OAAA,CAAQ,IAAI,CAAA;AAC7C,EAAA,IAAI,aAAA,EAAe;AACjB,IAAA,QAAA,CAAS,KAAK,aAAa,CAAA;AAAA,EAC7B;AACA,EAAA,OAAO,QAAA,CAAS,KAAK,MAAM,CAAA;AAC7B;AAEO,IAAM,kBAAA,GAAN,cAAiC,KAAA,CAAM;AAAA,EACnC,OAAA;AAAA,EAET,WAAA,CAAY,SAAiB,OAAA,EAAyB;AACpD,IAAA,KAAA,CAAM,GAAG,OAAO,CAAA,EAAA,EAAK,cAAA,CAAe,OAAO,CAAC,CAAA,CAAA,CAAG,CAAA;AAC/C,IAAA,IAAA,CAAK,IAAA,GAAO,oBAAA;AACZ,IAAA,IAAA,CAAK,OAAA,GAAU,OAAA;AAAA,EACjB;AACF;AAEO,SAAS,kBAAA,CACd,SACA,OAAA,EACoB;AACpB,EAAA,OAAO,IAAI,kBAAA,CAAmB,OAAA,EAAS,OAAO,CAAA;AAChD;AC/CO,IAAM,eAAA,mBAAkB,MAAA,CAAO,GAAA,CAAI,gCAAgC;AASnE,SAAS,KAAuB,KAAA,EAA6B;AAClE,EAAA,MAAM,MAAA,GAAS,CAAA,CAAE,MAAA,EAAO,CAAE,KAAA,EAAkB;AAC5C,EAAA,MAAA,CAAO,cAAA,CAAe,QAAQ,eAAA,EAAiB;AAAA,IAC7C,YAAA,EAAc,KAAA;AAAA,IACd,UAAA,EAAY,KAAA;AAAA,IACZ,KAAA,EAAO,KAAA;AAAA,IACP,QAAA,EAAU;AAAA,GACX,CAAA;AACD,EAAA,OAAO,MAAA;AACT;AAEO,SAAS,iBAAiB,MAAA,EAA0C;AACzE,EAAA,OAAQ,OACN,eACF,CAAA;AACF;ACUA,SAAS,WAAA,CACP,OAAA,EACA,KAAA,EACA,IAAA,EACO;AACP,EAAA,MAAM,mBAAmB,OAAA,EAAS;AAAA,IAChC,OAAA,EAAS,KAAA;AAAA,IACT,UAAU,KAAA,CAAM,QAAA;AAAA,IAChB;AAAA,GACD,CAAA;AACH;AAEA,SAAS,eAAe,MAAA,EAAoC;AAC1D,EAAA,MAAM,KAAA,GACJ,OAAO,MAAA,CAAO,IAAA,CAAK,KAAA,KAAU,UAAA,GAAa,MAAA,CAAO,IAAA,CAAK,KAAA,EAAM,GAAI,MAAA,CAAO,IAAA,CAAK,KAAA;AAC9E,EAAA,OAAO,KAAA;AACT;AAEA,SAAS,WAAA,CACP,QACA,IAAA,EACY;AACZ,EAAA,IAAI,OAAA,GAAU,MAAA;AACd,EAAA,IAAI,QAAA,GAAW,IAAA;AACf,EAAA,IAAI,QAAA,GAAW,KAAA;AACf,EAAA,IAAI,YAAA;AAEJ,EAAA,OAAO,IAAA,EAAM;AACX,IAAA,QAAQ,OAAA,CAAQ,KAAK,QAAA;AAAU,MAC7B,KAAK,qBAAA,CAAsB,WAAA;AACzB,QAAA,QAAA,GAAW,KAAA;AACX,QAAA,OAAA,GAAU,QAAQ,IAAA,CAAK,SAAA;AACvB,QAAA;AAAA,MACF,KAAK,qBAAA,CAAsB,UAAA;AACzB,QAAA,QAAA,GAAW,KAAA;AACX,QAAA,YAAA,GAAe,OAAA,CAAQ,KAAK,YAAA,EAAa;AACzC,QAAA,OAAA,GAAU,QAAQ,IAAA,CAAK,SAAA;AACvB,QAAA;AAAA,MACF,KAAK,qBAAA,CAAsB,WAAA;AACzB,QAAA,QAAA,GAAW,IAAA;AACX,QAAA,OAAA,GAAU,QAAQ,IAAA,CAAK,SAAA;AACvB,QAAA;AAAA,MACF;AACE,QAAA,OAAO;AAAA,UACL,MAAA,EAAQ,OAAA;AAAA,UACR,QAAA;AAAA,UACA,QAAA;AAAA,UACA;AAAA,SACF;AAAA;AACJ,EACF;AACF;AAEA,SAAS,eAAA,CACP,IAAA,EACA,IAAA,EACA,KAAA,EACA,OAAA,EACe;AACf,EAAA,OAAO;AAAA,IACL,IAAA;AAAA,IACA,IAAA;AAAA,IACA,UAAU,KAAA,CAAM,QAAA;AAAA,IAChB,QAAA,EAAU,MAAM,QAAA,IAAY,MAAA;AAAA,IAC5B,cAAc,KAAA,CAAM,YAAA;AAAA,IACpB,OAAA;AAAA,IACA,WAAA,EAAa,MAAM,MAAA,CAAO;AAAA,GAC5B;AACF;AAEA,SAAS,gBAAA,CACP,IAAA,EACA,MAAA,EACA,KAAA,EACA,IAAA,EACe;AACf,EAAA,MAAM,KAAA,GAAQ,WAAA,CAAY,MAAY,CAAA;AAEtC,EAAA,QAAQ,KAAA,CAAM,MAAA,CAAO,IAAA,CAAK,QAAA;AAAU,IAClC,KAAK,qBAAA,CAAsB,SAAA;AACzB,MAAA,OAAO,eAAA,CAAgB,IAAA,EAAM,QAAA,EAAU,KAAK,CAAA;AAAA,IAC9C,KAAK,qBAAA,CAAsB,SAAA;AACzB,MAAA,OAAO,eAAA,CAAgB,IAAA,EAAM,QAAA,EAAU,KAAK,CAAA;AAAA,IAC9C,KAAK,qBAAA,CAAsB,SAAA;AACzB,MAAA,OAAO,eAAA,CAAgB,IAAA,EAAM,QAAA,EAAU,KAAK,CAAA;AAAA,IAC9C,KAAK,qBAAA,CAAsB,UAAA;AACzB,MAAA,OAAO,eAAA,CAAgB,IAAA,EAAM,SAAA,EAAW,KAAK,CAAA;AAAA,IAC/C,KAAK,qBAAA,CAAsB,OAAA;AACzB,MAAA,OAAO,gBAAgB,IAAA,EAAM,QAAA,EAAU,OAAO,KAAA,CAAM,MAAA,CAAO,KAAK,MAAM,CAAA;AAAA,IACxE,KAAK,sBAAsB,aAAA,EAAe;AACxC,MAAA,MAAM,MAAA,GAAS,CAAC,GAAG,IAAI,GAAA,CAAI,MAAA,CAAO,MAAA,CAAO,KAAA,CAAM,MAAA,CAAO,IAAA,CAAK,MAAM,CAAC,CAAC,CAAA,CAAE,MAAA;AAAA,QACnE,CAAC,UACC,OAAO,KAAA,KAAU,YACjB,OAAO,KAAA,KAAU,QAAA,IACjB,OAAO,KAAA,KAAU;AAAA,OACrB;AACA,MAAA,OAAO,eAAA;AAAA,QACL,IAAA;AAAA,QACA,MAAA,CAAO,MAAM,CAAC,KAAA,KAAU,OAAO,KAAA,KAAU,QAAQ,IAAI,QAAA,GAAW,QAAA;AAAA,QAChE,KAAA;AAAA,QACA;AAAA,OACF;AAAA,IACF;AAAA,IACA,KAAK,qBAAA,CAAsB,UAAA;AACzB,MAAA,OAAO,eAAA,CAAgB,MAAM,QAAA,EAAU,KAAA,EAAO,CAAC,KAAA,CAAM,MAAA,CAAO,IAAA,CAAK,KAAK,CAAC,CAAA;AAAA,IACzE,KAAK,sBAAsB,QAAA,EAAU;AACnC,MAAA,MAAM,IAAA,GAAO,WAAA,CAAY,KAAA,CAAM,MAAA,CAAO,IAAA,CAAK,MAAM,CAAC,GAAG,IAAA,EAAM,IAAI,CAAC,CAAA;AAChE,MAAA,QAAQ,IAAA,CAAK,MAAA,CAAO,IAAA,CAAK,QAAA;AAAU,QACjC,KAAK,qBAAA,CAAsB,SAAA;AACzB,UAAA,OAAO,EAAE,GAAG,eAAA,CAAgB,IAAA,EAAM,UAAU,KAAK,CAAA,EAAG,UAAU,IAAA,EAAK;AAAA,QACrE,KAAK,qBAAA,CAAsB,SAAA;AACzB,UAAA,OAAO,EAAE,GAAG,eAAA,CAAgB,IAAA,EAAM,UAAU,KAAK,CAAA,EAAG,UAAU,IAAA,EAAK;AAAA,QACrE,KAAK,qBAAA,CAAsB,SAAA;AACzB,UAAA,OAAO,EAAE,GAAG,eAAA,CAAgB,IAAA,EAAM,UAAU,KAAK,CAAA,EAAG,UAAU,IAAA,EAAK;AAAA,QACrE,KAAK,qBAAA,CAAsB,UAAA;AACzB,UAAA,OAAO,EAAE,GAAG,eAAA,CAAgB,IAAA,EAAM,WAAW,KAAK,CAAA,EAAG,UAAU,IAAA,EAAK;AAAA,QACtE;AACE,UAAA,OAAO;AAAA,YACL,GAAG,eAAA,CAAgB,IAAA,EAAM,MAAA,EAAQ,KAAK,CAAA;AAAA,YACtC,QAAA,EAAU;AAAA,WACZ;AAAA;AACJ,IACF;AAAA,IACA,KAAK,sBAAsB,OAAA,EAAS;AAClC,MAAA,MAAM,aAAa,KAAA,CAAM,MAAA;AACzB,MAAA,IAAI,KAAA,CAAM,eAAA,CAAgB,GAAA,CAAI,UAAU,CAAA,EAAG;AACzC,QAAA,WAAA;AAAA,UACE,+DAAA;AAAA,UACA,KAAA;AAAA,UACA;AAAA,SACF;AAAA,MACF;AACA,MAAA,KAAA,CAAM,eAAA,CAAgB,IAAI,UAAU,CAAA;AACpC,MAAA,IAAI;AACF,QAAA,OAAO,iBAAiB,IAAA,EAAM,UAAA,CAAW,KAAK,MAAA,EAAO,EAAG,OAAO,IAAI,CAAA;AAAA,MACrE,CAAA,SAAE;AACA,QAAA,KAAA,CAAM,eAAA,CAAgB,OAAO,UAAU,CAAA;AAAA,MACzC;AAAA,IACF;AAAA,IACA,KAAK,qBAAA,CAAsB,UAAA;AACzB,MAAA,OAAO,eAAA,CAAgB,IAAA,EAAM,QAAA,EAAU,KAAK,CAAA;AAAA,IAC9C,KAAK,qBAAA,CAAsB,SAAA;AAAA,IAC3B,KAAK,qBAAA,CAAsB,QAAA;AAAA,IAC3B,KAAK,qBAAA,CAAsB,qBAAA;AAAA,IAC3B,KAAK,qBAAA,CAAsB,SAAA;AAAA,IAC3B,KAAK,qBAAA,CAAsB,MAAA;AAAA,IAC3B,KAAK,qBAAA,CAAsB,UAAA;AACzB,MAAA,OAAO,eAAA,CAAgB,IAAA,EAAM,MAAA,EAAQ,KAAK,CAAA;AAAA,IAC5C;AACE,MAAA,WAAA;AAAA,QACE,CAAA,4BAAA,EAA+B,KAAA,CAAM,MAAA,CAAO,IAAA,CAAK,QAAQ,CAAA,CAAA;AAAA,QACzD,KAAA;AAAA,QACA;AAAA,OACF;AAAA;AAEN;AAEO,SAAS,QAAA,CACd,MAAA,EACA,OAAA,GAA2B,EAAC,EACZ;AAChB,EAAA,IAAI,MAAA,CAAO,IAAA,CAAK,QAAA,KAAa,qBAAA,CAAsB,SAAA,EAAW;AAC5D,IAAA,MAAM,mBAAmB,6CAAA,EAA+C;AAAA,MACtE,OAAA,EAAS,KAAA;AAAA,MACT,UAAU,OAAA,CAAQ,QAAA;AAAA,MAClB,MAAM;AAAC,KACR,CAAA;AAAA,EACH;AAEA,EAAA,MAAM,KAAA,GAAyB;AAAA,IAC7B,UAAU,OAAA,CAAQ,QAAA;AAAA,IAClB,eAAA,sBAAqB,OAAA;AAAgB,GACvC;AACA,EAAA,MAAM,WAAA,GAAc,MAAA,CAAO,OAAA,CAAQ,cAAA,CAAe,MAAM,CAAC,CAAA,CACtD,IAAA,CAAK,CAAC,CAAC,IAAI,CAAA,EAAG,CAAC,KAAK,CAAA,KAAM,IAAA,CAAK,aAAA,CAAc,KAAK,CAAC,CAAA,CACnD,GAAA,CAAI,CAAC,CAAC,IAAA,EAAM,KAAK,CAAA,KAAM,gBAAA,CAAiB,MAAM,KAAA,EAAO,KAAA,EAAO,CAAC,IAAI,CAAC,CAAC,CAAA;AAEtE,EAAA,OAAO;AAAA,IACL,OAAA,EAAS;AAAA,GACX;AACF;ACnLA,SAAS,cAAc,KAAA,EAAkD;AACvE,EAAA,IAAI,OAAO,UAAU,QAAA,EAAU;AAC7B,IAAA,OAAO,GAAG,KAAK,CAAA,CAAA,CAAA;AAAA,EACjB;AACA,EAAA,OAAO,IAAA,CAAK,UAAU,KAAK,CAAA;AAC7B;AAEA,SAAS,YAAe,OAAA,EAAiC;AACvD,EAAA,OAAO,CAAC,GAAG,OAAO,CAAA,CAAE,KAAK,CAAC,CAAC,IAAI,CAAA,EAAG,CAAC,KAAK,CAAA,KAAM,IAAA,CAAK,aAAA,CAAc,KAAK,CAAC,CAAA;AACzE;AAEA,SAASA,gBAAe,MAAA,EAAoC;AAC1D,EAAA,MAAM,KAAA,GACJ,OAAO,MAAA,CAAO,IAAA,CAAK,KAAA,KAAU,UAAA,GAAa,MAAA,CAAO,IAAA,CAAK,KAAA,EAAM,GAAI,MAAA,CAAO,IAAA,CAAK,KAAA;AAC9E,EAAA,OAAO,KAAA;AACT;AAEA,SAAS,kBAAA,CACP,MAAA,EACA,KAAA,EACA,IAAA,EAKA;AACA,EAAA,MAAM,WAA4B,EAAC;AACnC,EAAA,IAAI,OAAA,GAAU,MAAA;AACd,EAAA,IAAI,UAAA,GAAa,KAAA;AAEjB,EAAA,OAAO,IAAA,EAAM;AACX,IAAA,QAAQ,OAAA,CAAQ,KAAK,QAAA;AAAU,MAC7B,KAAKC,qBAAAA,CAAsB,WAAA;AACzB,QAAA,UAAA,GAAa,IAAA;AACb,QAAA,OAAA,GAAU,QAAQ,IAAA,CAAK,SAAA;AACvB,QAAA;AAAA,MACF,KAAKA,sBAAsB,UAAA,EAAY;AACrC,QAAA,IAAI,KAAA,CAAM,YAAY,OAAA,EAAS;AAC7B,UAAA,MAAM,kBAAA;AAAA,YACJ,iDAAA;AAAA,YACA;AAAA,cACE,OAAA,EAAS,QAAA;AAAA,cACT,SAAS,KAAA,CAAM,OAAA;AAAA,cACf,UAAU,KAAA,CAAM,QAAA;AAAA,cAChB;AAAA;AACF,WACF;AAAA,QACF;AACA,QAAA,UAAA,GAAa,IAAA;AACb,QAAA,QAAA,CAAS,IAAA,CAAK;AAAA,UACZ,IAAA;AAAA,UACA,KAAA,EAAO,OAAA,CAAQ,IAAA,CAAK,YAAA;AAAa,SAClC,CAAA;AACD,QAAA,OAAA,GAAU,QAAQ,IAAA,CAAK,SAAA;AACvB,QAAA;AAAA,MACF;AAAA,MACA;AACE,QAAA,OAAO;AAAA,UACL,MAAA,EAAQ,OAAA;AAAA,UACR,UAAA;AAAA,UACA;AAAA,SACF;AAAA;AACJ,EACF;AACF;AAEA,SAAS,aAAA,CACP,MAAA,EACA,KAAA,EACA,IAAA,EACiB;AACjB,EAAA,MAAM,EAAE,MAAA,EAAQ,SAAA,EAAW,UAAA,EAAY,UAAS,GAAI,kBAAA;AAAA,IAClD,MAAA;AAAA,IACA,KAAA;AAAA,IACA;AAAA,GACF;AACA,EAAA,MAAM,SAAA,GAAY,kBAAA,CAAmB,SAAA,EAAW,KAAA,EAAO,IAAI,CAAA;AAC3D,EAAA,OAAO;AAAA,IACL,QAAQ,UAAA,GAAa,CAAA,WAAA,EAAc,SAAA,CAAU,MAAM,MAAM,SAAA,CAAU,MAAA;AAAA,IACnE,UAAU,CAAC,GAAG,QAAA,EAAU,GAAG,UAAU,QAAQ;AAAA,GAC/C;AACF;AAEA,SAAS,YAAY,MAAA,EAAsC;AACzD,EAAA,IAAI,MAAA,CAAO,WAAW,CAAA,EAAG;AACvB,IAAA,OAAO,WAAA;AAAA,EACT;AACA,EAAA,IAAI,MAAA,CAAO,WAAW,CAAA,EAAG;AACvB,IAAA,OAAO,CAAA,UAAA,EAAa,aAAA,CAAc,MAAA,CAAO,CAAC,CAAC,CAAC,CAAA,CAAA,CAAA;AAAA,EAC9C;AACA,EAAA,OAAO,CAAA,QAAA,EAAW,MAAA,CACf,GAAA,CAAI,CAAC,KAAA,KAAU,CAAA,UAAA,EAAa,aAAA,CAAc,KAAK,CAAC,CAAA,CAAA,CAAG,CAAA,CACnD,IAAA,CAAK,IAAI,CAAC,CAAA,CAAA,CAAA;AACf;AAEA,SAASC,YAAAA,CACP,OAAA,EACA,KAAA,EACA,IAAA,EACO;AACP,EAAA,MAAM,mBAAmB,OAAA,EAAS;AAAA,IAChC,OAAA,EAAS,QAAA;AAAA,IACT,SAAS,KAAA,CAAM,OAAA;AAAA,IACf,UAAU,KAAA,CAAM,QAAA;AAAA,IAChB;AAAA,GACD,CAAA;AACH;AAEA,SAAS,WAAA,CACP,MAAA,EACA,KAAA,EACA,IAAA,EACiB;AACjB,EAAA,MAAM,UAAA,GAAa,MAAA;AACnB,EAAA,IAAI,KAAA,CAAM,eAAA,CAAgB,GAAA,CAAI,UAAU,CAAA,EAAG;AACzC,IAAAA,YAAAA;AAAA,MACE,kEAAA;AAAA,MACA,KAAA;AAAA,MACA;AAAA,KACF;AAAA,EACF;AACA,EAAA,KAAA,CAAM,eAAA,CAAgB,IAAI,UAAU,CAAA;AACpC,EAAA,IAAI;AACF,IAAA,OAAO,cAAc,UAAA,CAAW,IAAA,CAAK,MAAA,EAAO,EAAG,OAAO,IAAI,CAAA;AAAA,EAC5D,CAAA,SAAE;AACA,IAAA,KAAA,CAAM,eAAA,CAAgB,OAAO,UAAU,CAAA;AAAA,EACzC;AACF;AAEA,SAAS,kBAAA,CACP,MAAA,EACA,KAAA,EACA,IAAA,EACiB;AACjB,EAAA,MAAM,OAAA,GAAU,iBAAiB,MAAM,CAAA;AACvC,EAAA,IAAI,OAAA,EAAS;AACX,IAAA,OAAO;AAAA,MACL,MAAA,EAAQ,CAAA,KAAA,EAAQ,IAAA,CAAK,SAAA,CAAU,OAAO,CAAC,CAAA,CAAA,CAAA;AAAA,MACvC,UAAU;AAAC,KACb;AAAA,EACF;AAEA,EAAA,QAAQ,MAAA,CAAO,KAAK,QAAA;AAAU,IAC5B,KAAKD,qBAAAA,CAAsB,SAAA;AACzB,MAAA,OAAO,EAAE,MAAA,EAAQ,YAAA,EAAc,QAAA,EAAU,EAAC,EAAE;AAAA,IAC9C,KAAKA,sBAAsB,SAAA,EAAW;AACpC,MAAA,MAAM,KAAA,GAAQ,KAAK,MAAA,IAAU,CAAA,GAAI,KAAK,IAAA,CAAK,MAAA,GAAS,CAAC,CAAA,GAAI,MAAA;AACzD,MAAA,MAAM,cAAA,GAAiB,IAAA,CAAK,IAAA,CAAK,MAAA,GAAS,CAAC,CAAA,KAAM,IAAA;AACjD,MAAA,OAAO;AAAA,QACL,MAAA,EACE,kBAAkB,KAAA,IAAS,KAAA,CAAM,mBAAmB,GAAA,CAAI,KAAK,IACzD,aAAA,GACA,YAAA;AAAA,QACN,UAAU;AAAC,OACb;AAAA,IACF;AAAA,IACA,KAAKA,qBAAAA,CAAsB,SAAA;AACzB,MAAA,OAAO,EAAE,MAAA,EAAQ,WAAA,EAAa,QAAA,EAAU,EAAC,EAAE;AAAA,IAC7C,KAAKA,qBAAAA,CAAsB,UAAA;AACzB,MAAA,OAAO,EAAE,MAAA,EAAQ,aAAA,EAAe,QAAA,EAAU,EAAC,EAAE;AAAA,IAC/C,KAAKA,qBAAAA,CAAsB,OAAA;AACzB,MAAA,OAAO,EAAE,MAAA,EAAQ,UAAA,EAAY,QAAA,EAAU,EAAC,EAAE;AAAA,IAC5C,KAAKA,qBAAAA,CAAsB,MAAA;AAAA,IAC3B,KAAKA,qBAAAA,CAAsB,UAAA;AACzB,MAAA,OAAO,EAAE,MAAA,EAAQ,SAAA,EAAW,QAAA,EAAU,EAAC,EAAE;AAAA,IAC3C,KAAKA,sBAAsB,UAAA,EAAY;AACrC,MAAA,OAAO;AAAA,QACL,QAAQ,CAAA,UAAA,EAAa,aAAA,CAAc,MAAA,CAAO,IAAA,CAAK,KAAK,CAAC,CAAA,CAAA,CAAA;AAAA,QACrD,UAAU;AAAC,OACb;AAAA,IACF;AAAA,IACA,KAAKA,qBAAAA,CAAsB,OAAA;AACzB,MAAA,OAAO;AAAA,QACL,MAAA,EAAQ,WAAA,CAAY,MAAA,CAAO,IAAA,CAAK,MAAM,CAAA;AAAA,QACtC,UAAU;AAAC,OACb;AAAA,IACF,KAAKA,sBAAsB,aAAA,EAAe;AACxC,MAAA,MAAM,SAAS,MAAA,CAAO,MAAA,CAAO,MAAA,CAAO,IAAA,CAAK,MAAM,CAAA,CAAE,MAAA;AAAA,QAC/C,CAAC,KAAA,KACC,OAAO,KAAA,KAAU,QAAA,IAAY,OAAO,KAAA,KAAU;AAAA,OAClD;AACA,MAAA,OAAO;AAAA,QACL,MAAA,EAAQ,YAAY,CAAC,GAAG,IAAI,GAAA,CAAI,MAAM,CAAC,CAAC,CAAA;AAAA,QACxC,UAAU;AAAC,OACb;AAAA,IACF;AAAA,IACA,KAAKA,sBAAsB,WAAA,EAAa;AACtC,MAAA,MAAM,QAAQ,aAAA,CAAc,MAAA,CAAO,IAAA,CAAK,SAAA,EAAW,OAAO,IAAI,CAAA;AAC9D,MAAA,OAAO;AAAA,QACL,MAAA,EAAQ,CAAA,WAAA,EAAc,KAAA,CAAM,MAAM,CAAA,CAAA,CAAA;AAAA,QAClC,UAAU,KAAA,CAAM;AAAA,OAClB;AAAA,IACF;AAAA,IACA,KAAKA,sBAAsB,QAAA,EAAU;AACnC,MAAA,MAAM,KAAA,GAAQ,aAAA,CAAc,MAAA,CAAO,IAAA,CAAK,IAAA,EAAM,OAAO,CAAC,GAAG,IAAA,EAAM,IAAI,CAAC,CAAA;AACpE,MAAA,OAAO;AAAA,QACL,MAAA,EAAQ,CAAA,QAAA,EAAW,KAAA,CAAM,MAAM,CAAA,CAAA,CAAA;AAAA,QAC/B,UAAU,KAAA,CAAM;AAAA,OAClB;AAAA,IACF;AAAA,IACA,KAAKA,sBAAsB,SAAA,EAAW;AACpC,MAAA,MAAM,YAAA,GAAe,MAAA;AACrB,MAAA,IACE,YAAA,CAAa,KAAK,QAAA,IAClB,YAAA,CAAa,KAAK,QAAA,CAAS,IAAA,CAAK,QAAA,KAAaA,qBAAAA,CAAsB,QAAA,EACnE;AACA,QAAAC,YAAAA;AAAA,UACE,qFAAA;AAAA,UACA,KAAA;AAAA,UACA;AAAA,SACF;AAAA,MACF;AACA,MAAA,MAAM,SAAS,WAAA,CAAY,MAAA,CAAO,QAAQF,eAAAA,CAAe,YAAY,CAAC,CAAC,CAAA;AACvE,MAAA,MAAM,kBAAkB,MAAA,CAAO,GAAA,CAAI,CAAC,CAAC,GAAA,EAAK,KAAK,CAAA,KAAM;AAAA,QACnD,GAAA;AAAA,QACA,cAAc,KAAA,EAAO,KAAA,EAAO,CAAC,GAAG,IAAA,EAAM,GAAG,CAAC;AAAA,OAClC,CAAA;AACV,MAAA,OAAO;AAAA,QACL,MAAA,EAAQ,cAAc,eAAA,CACnB,GAAA,CAAI,CAAC,CAAC,GAAA,EAAK,SAAS,CAAA,KAAM,CAAA,EAAG,KAAK,SAAA,CAAU,GAAG,CAAC,CAAA,EAAA,EAAK,SAAA,CAAU,MAAM,CAAA,CAAE,CAAA,CACvE,IAAA,CAAK,IAAI,CAAC,CAAA,GAAA,CAAA;AAAA,QACb,QAAA,EAAU,gBAAgB,OAAA,CAAQ,CAAC,GAAG,SAAS,CAAA,KAAM,SAAA,CAAU,QAAQ;AAAA,OACzE;AAAA,IACF;AAAA,IACA,KAAKC,sBAAsB,QAAA,EAAU;AACnC,MAAA,MAAM,OAAA,GAAU,MAAA,CAAO,IAAA,CAAK,OAAA,CAAQ,GAAA;AAAA,QAAI,CAAC,MAAA,EAAoB,KAAA,KAC3D,aAAA,CAAc,MAAA,EAAQ,KAAA,EAAO,CAAC,GAAG,IAAA,EAAM,MAAA,CAAO,KAAK,CAAC,CAAC;AAAA,OACvD;AACA,MAAA,OAAO;AAAA,QACL,MAAA,EAAQ,CAAA,QAAA,EAAW,OAAA,CAChB,GAAA,CAAI,CAAC,MAAA,KAA4B,MAAA,CAAO,MAAM,CAAA,CAC9C,IAAA,CAAK,IAAI,CAAC,CAAA,CAAA,CAAA;AAAA,QACb,UAAU,OAAA,CAAQ,OAAA,CAAQ,CAAC,MAAA,KAA4B,OAAO,QAAQ;AAAA,OACxE;AAAA,IACF;AAAA,IACA,KAAKA,sBAAsB,qBAAA,EAAuB;AAChD,MAAA,MAAM,kBAAA,GAAqB,MAAA;AAI3B,MAAA,MAAM,OAAA,GACJ,kBAAA,CAAmB,OAAA,YAAmB,GAAA,GAClC,CAAC,GAAG,kBAAA,CAAmB,OAAA,CAAQ,MAAA,EAAQ,CAAA,GACvC,CAAC,GAAG,mBAAmB,OAAO,CAAA;AACpC,MAAA,MAAM,UAAU,OAAA,CAAQ,GAAA;AAAA,QAAI,CAAC,MAAA,EAAQ,KAAA,KACnC,aAAA,CAAc,MAAA,EAAQ,KAAA,EAAO,CAAC,GAAG,IAAA,EAAM,MAAA,CAAO,KAAK,CAAC,CAAC;AAAA,OACvD;AACA,MAAA,OAAO;AAAA,QACL,MAAA,EAAQ,CAAA,QAAA,EAAW,OAAA,CAChB,GAAA,CAAI,CAAC,MAAA,KAA4B,MAAA,CAAO,MAAM,CAAA,CAC9C,IAAA,CAAK,IAAI,CAAC,CAAA,CAAA,CAAA;AAAA,QACb,UAAU,OAAA,CAAQ,OAAA,CAAQ,CAAC,MAAA,KAA4B,OAAO,QAAQ;AAAA,OACxE;AAAA,IACF;AAAA,IACA,KAAKA,sBAAsB,SAAA,EAAW;AACpC,MAAA,MAAM,OAAA,GAAU,OAAO,IAAA,CAAK,OAAA;AAC5B,MAAA,IACE,OAAA,IACA,OAAA,CAAQ,IAAA,CAAK,QAAA,KAAaA,sBAAsB,SAAA,EAChD;AACA,QAAAC,YAAAA;AAAA,UACE,wEAAA;AAAA,UACA,KAAA;AAAA,UACA;AAAA,SACF;AAAA,MACF;AACA,MAAA,MAAM,KAAA,GAAQ,aAAA,CAAc,MAAA,CAAO,IAAA,CAAK,SAAA,EAAW,OAAO,CAAC,GAAG,IAAA,EAAM,IAAI,CAAC,CAAA;AACzE,MAAA,OAAO;AAAA,QACL,MAAA,EAAQ,CAAA,qBAAA,EAAwB,KAAA,CAAM,MAAM,CAAA,CAAA,CAAA;AAAA,QAC5C,UAAU,KAAA,CAAM;AAAA,OAClB;AAAA,IACF;AAAA,IACA,KAAKD,qBAAAA,CAAsB,OAAA;AACzB,MAAA,OAAO,WAAA,CAAY,MAAA,EAAQ,KAAA,EAAO,IAAI,CAAA;AAAA,IACxC,KAAKA,sBAAsB,UAAA,EAAY;AACrC,MAAA,OAAO,aAAA,CAAc,MAAA,CAAO,IAAA,CAAK,IAAA,EAAM,OAAO,IAAI,CAAA;AAAA,IACpD;AAAA,IACA,KAAKA,sBAAsB,UAAA,EAAY;AACrC,MAAA,OAAO,aAAA,CAAc,MAAA,CAAO,IAAA,CAAK,MAAA,EAAQ,OAAO,IAAI,CAAA;AAAA,IACtD;AAAA,IACA;AACE,MAAAC,aAAY,CAAA,4BAAA,EAA+B,MAAA,CAAO,KAAK,QAAQ,CAAA,CAAA,EAAI,OAAO,IAAI,CAAA;AAAA;AAEpF;AAEO,SAAS,WAAA,CACd,MAAA,EACA,OAAA,GAA8B,EAAC,EACZ;AACnB,EAAA,MAAM,KAAA,GAAyB;AAAA,IAC7B,UAAU,OAAA,CAAQ,QAAA;AAAA,IAClB,OAAA,EAAS,QAAQ,OAAA,IAAW,kBAAA;AAAA,IAC5B,eAAA,sBAAqB,OAAA,EAAgB;AAAA,IACrC,oBAAoB,IAAI,GAAA,CAAI,OAAA,CAAQ,kBAAA,IAAsB,EAAE;AAAA,GAC9D;AACA,EAAA,MAAM,SAAA,GAAY,aAAA,CAAc,MAAA,EAAQ,KAAA,EAAO,EAAE,CAAA;AACjD,EAAA,OAAO;AAAA,IACL,QAAQ,SAAA,CAAU,MAAA;AAAA,IAClB,UAAU,SAAA,CAAU;AAAA,GACtB;AACF;AAEO,SAAS,yBAAyB,KAAA,EAA2B;AAClE,EAAA,QAAQ,MAAM,IAAA;AAAM,IAClB,KAAK,OAAA;AACH,MAAA,OAAO,UAAU,IAAA,CAAK,SAAA,CAAU,MAAM,IAAI,CAAC,MAAM,KAAA,CAAM,OAAA,CACpD,IAAI,CAAC,MAAA,KAAW,KAAK,SAAA,CAAU,MAAM,CAAC,CAAA,CACtC,IAAA,CAAK,IAAI,CAAC,CAAA,EAAA,CAAA;AAAA,IACf,KAAK,QAAA;AACH,MAAA,OAAO,gBAAgB,IAAA,CAAK,SAAA,CAAU,MAAM,IAAI,CAAC,oBAAoB,IAAA,CAAK,SAAA;AAAA,QACxE,KAAA,CAAM;AAAA,OACP,GAAG,KAAA,CAAM,YAAA,EAAc,SAAS,CAAA,iBAAA,EAAoB,KAAA,CAAM,aACxD,GAAA,CAAI,CAAC,UAAU,IAAA,CAAK,SAAA,CAAU,KAAK,CAAC,CAAA,CACpC,KAAK,IAAI,CAAC,MAAM,EAAE,CAAA,GAAA,CAAA;AAAA,IACvB,KAAK,QAAA;AACH,MAAA,OAAO,gBAAgB,IAAA,CAAK,SAAA,CAAU,MAAM,IAAI,CAAC,oBAAoB,IAAA,CAAK,SAAA;AAAA,QACxE,KAAA,CAAM;AAAA,OACP,iBAAiB,KAAA,CAAM,UAAU,GAChC,KAAA,CAAM,YAAA,EAAc,MAAA,GAChB,CAAA,iBAAA,EAAoB,KAAA,CAAM,YAAA,CACvB,IAAI,CAAC,KAAA,KAAU,IAAA,CAAK,SAAA,CAAU,KAAK,CAAC,EACpC,IAAA,CAAK,IAAI,CAAC,CAAA,CAAA,CAAA,GACb,EACN,CAAA,GAAA,CAAA;AAAA,IACF,SAAS;AACP,MAAA,MAAM,UAAA,GAAoB,KAAA;AAC1B,MAAA,MAAM,IAAI,kBAAA;AAAA,QACR,CAAA,6BAAA,EAAiC,UAAA,CAAiC,IAAA,IAAQ,SAAS,CAAA,CAAA;AAAA,QACnF,EAAE,SAAS,QAAA;AAAS,OACtB;AAAA,IACF;AAAA;AAEJ;AC5UA,SAASA,YAAAA,CACP,OAAA,EACA,KAAA,EACA,IAAA,EACO;AACP,EAAA,MAAM,mBAAmB,OAAA,EAAS;AAAA,IAChC,OAAA,EAAS,YAAA;AAAA,IACT,UAAU,KAAA,CAAM,QAAA;AAAA,IAChB;AAAA,GACD,CAAA;AACH;AAEA,SAASF,gBAAe,MAAA,EAAoC;AAC1D,EAAA,MAAM,KAAA,GACJ,OAAO,MAAA,CAAO,IAAA,CAAK,KAAA,KAAU,UAAA,GAAa,MAAA,CAAO,IAAA,CAAK,KAAA,EAAM,GAAI,MAAA,CAAO,IAAA,CAAK,KAAA;AAC9E,EAAA,OAAO,KAAA;AACT;AAEA,SAASG,mBAAAA,CACP,MAAA,EACA,KAAA,EACA,IAAA,EAKA;AACA,EAAA,IAAI,OAAA,GAAU,MAAA;AACd,EAAA,IAAI,QAAA,GAAW,IAAA;AACf,EAAA,IAAI,YAAA;AAEJ,EAAA,OAAO,IAAA,EAAM;AACX,IAAA,QAAQ,OAAA,CAAQ,KAAK,QAAA;AAAU,MAC7B,KAAKF,qBAAAA,CAAsB,WAAA;AACzB,QAAA,QAAA,GAAW,KAAA;AACX,QAAA,OAAA,GAAU,QAAQ,IAAA,CAAK,SAAA;AACvB,QAAA;AAAA,MACF,KAAKA,qBAAAA,CAAsB,UAAA;AACzB,QAAA,QAAA,GAAW,KAAA;AACX,QAAA,YAAA,GAAe,OAAA,CAAQ,KAAK,YAAA,EAAa;AACzC,QAAA,OAAA,GAAU,QAAQ,IAAA,CAAK,SAAA;AACvB,QAAA;AAAA,MACF;AACE,QAAA,OAAO;AAAA,UACL,MAAA,EAAQ,OAAA;AAAA,UACR,QAAA;AAAA,UACA;AAAA,SACF;AAAA;AACJ,EACF;AACF;AAEA,SAASG,YAAAA,CACP,MAAA,EACA,KAAA,EACA,IAAA,EACY;AACZ,EAAA,IAAI,KAAA,CAAM,eAAA,CAAgB,GAAA,CAAI,MAAM,CAAA,EAAG;AACrC,IAAAF,YAAAA;AAAA,MACE,uEAAA;AAAA,MACA,KAAA;AAAA,MACA;AAAA,KACF;AAAA,EACF;AACA,EAAA,KAAA,CAAM,eAAA,CAAgB,IAAI,MAAM,CAAA;AAChC,EAAA,IAAI;AACF,IAAA,OAAOG,eAAc,MAAA,CAAO,IAAA,CAAK,MAAA,EAAO,EAAG,OAAO,IAAI,CAAA;AAAA,EACxD,CAAA,SAAE;AACA,IAAA,KAAA,CAAM,eAAA,CAAgB,OAAO,MAAM,CAAA;AAAA,EACrC;AACF;AAEA,SAAS,YAAY,KAAA,EAAgB;AACnC,EAAA,QAAQ,OAAO,KAAA;AAAO,IACpB,KAAK,QAAA;AACH,MAAA,OAAO,QAAA;AAAA,IACT,KAAK,QAAA;AACH,MAAA,OAAO,MAAA,CAAO,SAAA,CAAU,KAAK,CAAA,GAAI,SAAA,GAAY,QAAA;AAAA,IAC/C,KAAK,SAAA;AACH,MAAA,OAAO,SAAA;AAAA,IACT,KAAK,QAAA;AACH,MAAA,OAAO,SAAA;AAAA,IACT;AACE,MAAA,OAAO,KAAA,KAAU,OAAO,MAAA,GAAS,MAAA;AAAA;AAEvC;AAEA,SAAS,YAAA,CACP,MAAA,EACA,KAAA,EACA,IAAA,EACW;AACX,EAAA,MAAM,EAAE,MAAA,EAAQ,SAAA,EAAW,QAAA,EAAU,cAAa,GAAIF,mBAAAA;AAAA,IACpD,MAGF,CAAA;AACA,EAAA,MAAM,KAAA,GAAQE,cAAAA,CAAc,SAAA,EAAW,KAAA,EAAO,IAAI,CAAA;AAClD,EAAA,IAAI,OAAO,UAAU,SAAA,EAAW;AAC9B,IAAA,OAAO;AAAA,MACL,MAAA,EAAQ,KAAA;AAAA,MACR;AAAA,KACF;AAAA,EACF;AACA,EAAA,OAAO;AAAA,IACL,MAAA,EACE,iBAAiB,MAAA,GAAY,KAAA,GAAQ,EAAE,GAAG,KAAA,EAAO,SAAS,YAAA,EAAa;AAAA,IACzE;AAAA,GACF;AACF;AAEA,SAASA,cAAAA,CACP,MAAA,EACA,KAAA,EACA,IAAA,EACY;AACZ,EAAA,MAAM,OAAA,GAAU,iBAAiB,MAAM,CAAA;AACvC,EAAA,IAAI,OAAA,EAAS;AACX,IAAA,OAAO;AAAA,MACL,IAAA,EAAM,QAAA;AAAA,MACN,mBAAA,EAAqB;AAAA,KACvB;AAAA,EACF;AAEA,EAAA,QAAQ,MAAA,CAAO,KAAK,QAAA;AAAU,IAC5B,KAAKJ,qBAAAA,CAAsB,SAAA;AACzB,MAAA,OAAO,EAAE,MAAM,QAAA,EAAS;AAAA,IAC1B,KAAKA,qBAAAA,CAAsB,SAAA;AACzB,MAAA,OAAO,EAAE,MAAM,QAAA,EAAS;AAAA,IAC1B,KAAKA,qBAAAA,CAAsB,SAAA;AACzB,MAAA,OAAO,EAAE,IAAA,EAAM,SAAA,EAAW,MAAA,EAAQ,OAAA,EAAQ;AAAA,IAC5C,KAAKA,qBAAAA,CAAsB,UAAA;AACzB,MAAA,OAAO,EAAE,MAAM,SAAA,EAAU;AAAA,IAC3B,KAAKA,qBAAAA,CAAsB,OAAA;AACzB,MAAA,OAAO,EAAE,MAAM,MAAA,EAAO;AAAA,IACxB,KAAKA,qBAAAA,CAAsB,MAAA;AAAA,IAC3B,KAAKA,qBAAAA,CAAsB,UAAA;AACzB,MAAA,OAAO,EAAC;AAAA,IACV,KAAKA,qBAAAA,CAAsB,UAAA;AACzB,MAAA,OAAO;AAAA,QACL,KAAA,EAAO,OAAO,IAAA,CAAK,KAAA;AAAA,QACnB,IAAA,EAAM,WAAA,CAAY,MAAA,CAAO,IAAA,CAAK,KAAK;AAAA,OACrC;AAAA,IACF,KAAKA,qBAAAA,CAAsB,OAAA;AACzB,MAAA,OAAO;AAAA,QACL,IAAA,EAAM,QAAA;AAAA,QACN,IAAA,EAAM,OAAO,IAAA,CAAK;AAAA,OACpB;AAAA,IACF,KAAKA,sBAAsB,aAAA,EAAe;AACxC,MAAA,MAAM,MAAA,GAAS,CAAC,GAAG,IAAI,GAAA,CAAI,MAAA,CAAO,MAAA,CAAO,MAAA,CAAO,IAAA,CAAK,MAAM,CAAC,CAAC,CAAA,CAAE,MAAA;AAAA,QAC7D,CAAC,UACC,OAAO,KAAA,KAAU,YACjB,OAAO,KAAA,KAAU,QAAA,IACjB,OAAO,KAAA,KAAU;AAAA,OACrB;AACA,MAAA,OAAO;AAAA,QACL,IAAA,EAAM,OAAO,KAAA,CAAM,CAAC,UAAU,OAAO,KAAA,KAAU,QAAQ,CAAA,GACnD,QAAA,GACA,QAAA;AAAA,QACJ,IAAA,EAAM;AAAA,OACR;AAAA,IACF;AAAA,IACA,KAAKA,sBAAsB,WAAA,EAAa;AACtC,MAAA,MAAM,QAAQI,cAAAA,CAAc,MAAA,CAAO,IAAA,CAAK,SAAA,EAAW,OAAO,IAAI,CAAA;AAC9D,MAAA,OAAO;AAAA,QACL,OAAO,CAAC,KAAA,EAAO,EAAE,IAAA,EAAM,QAAQ;AAAA,OACjC;AAAA,IACF;AAAA,IACA,KAAKJ,qBAAAA,CAAsB,QAAA;AACzB,MAAA,OAAO;AAAA,QACL,IAAA,EAAM,OAAA;AAAA,QACN,KAAA,EAAOI,cAAAA,CAAc,MAAA,CAAO,IAAA,CAAK,IAAA,EAAM,OAAO,CAAC,GAAG,IAAA,EAAM,IAAI,CAAC;AAAA,OAC/D;AAAA,IACF,KAAKJ,sBAAsB,SAAA,EAAW;AACpC,MAAA,MAAM,YAAA,GAAe,MAAA;AACrB,MAAA,IACE,YAAA,CAAa,KAAK,QAAA,IAClB,YAAA,CAAa,KAAK,QAAA,CAAS,IAAA,CAAK,QAAA,KAAaA,qBAAAA,CAAsB,QAAA,EACnE;AACA,QAAAC,YAAAA;AAAA,UACE,+EAAA;AAAA,UACA,KAAA;AAAA,UACA;AAAA,SACF;AAAA,MACF;AACA,MAAA,MAAM,UAAU,MAAA,CAAO,OAAA,CAAQF,eAAAA,CAAe,YAAY,CAAC,CAAA,CAAE,IAAA;AAAA,QAAK,CAAC,CAAC,CAAC,CAAA,EAAG,CAAC,CAAC,CAAA,KACxE,CAAA,CAAE,aAAA,CAAc,CAAC;AAAA,OACnB;AACA,MAAA,MAAM,YAAY,OAAA,CAAQ,GAAA,CAAI,CAAC,CAAC,GAAA,EAAK,KAAK,CAAA,KAAM;AAAA,QAC9C,GAAA;AAAA,QACA,aAAa,KAAA,EAAO,KAAA,EAAO,CAAC,GAAG,IAAA,EAAM,GAAG,CAAC;AAAA,OACjC,CAAA;AACV,MAAA,MAAM,WAAW,SAAA,CACd,MAAA,CAAO,CAAC,GAAG,KAAK,CAAA,KAAM,KAAA,CAAM,QAAQ,EACpC,GAAA,CAAI,CAAC,CAAC,GAAG,MAAM,GAAG,CAAA;AACrB,MAAA,OAAO;AAAA,QACL,IAAA,EAAM,QAAA;AAAA,QACN,YAAY,MAAA,CAAO,WAAA;AAAA,UACjB,SAAA,CAAU,GAAA,CAAI,CAAC,CAAC,GAAA,EAAK,KAAK,CAAA,KAAM,CAAC,GAAA,EAAK,KAAA,CAAM,MAAM,CAAC;AAAA,SACrD;AAAA,QACA,oBAAA,EAAsB,KAAA;AAAA,QACtB,GAAI,QAAA,CAAS,MAAA,GAAS,IAAI,EAAE,QAAA,KAAa;AAAC,OAC5C;AAAA,IACF;AAAA,IACA,KAAKC,qBAAAA,CAAsB,QAAA;AACzB,MAAA,OAAO;AAAA,QACL,KAAA,EAAO,MAAA,CAAO,IAAA,CAAK,OAAA,CAAQ,GAAA;AAAA,UAAI,CAAC,MAAA,EAAoB,KAAA,KAClDI,cAAAA,CAAc,MAAA,EAAQ,KAAA,EAAO,CAAC,GAAG,IAAA,EAAM,MAAA,CAAO,KAAK,CAAC,CAAC;AAAA;AACvD,OACF;AAAA,IACF,KAAKJ,sBAAsB,qBAAA,EAAuB;AAChD,MAAA,MAAM,kBAAA,GAAqB,MAAA;AAI3B,MAAA,MAAM,OAAA,GACJ,kBAAA,CAAmB,OAAA,YAAmB,GAAA,GAClC,CAAC,GAAG,kBAAA,CAAmB,OAAA,CAAQ,MAAA,EAAQ,CAAA,GACvC,CAAC,GAAG,mBAAmB,OAAO,CAAA;AACpC,MAAA,OAAO;AAAA,QACL,OAAO,OAAA,CAAQ,GAAA;AAAA,UAAI,CAAC,MAAA,EAAQ,KAAA,KAC1BI,cAAAA,CAAc,MAAA,EAAQ,KAAA,EAAO,CAAC,GAAG,IAAA,EAAM,MAAA,CAAO,KAAK,CAAC,CAAC;AAAA;AACvD,OACF;AAAA,IACF;AAAA,IACA,KAAKJ,sBAAsB,SAAA,EAAW;AACpC,MAAA,MAAM,OAAA,GAAU,OAAO,IAAA,CAAK,OAAA;AAC5B,MAAA,IACE,OAAA,IACA,OAAA,CAAQ,IAAA,CAAK,QAAA,KAAaA,sBAAsB,SAAA,EAChD;AACA,QAAAC,YAAAA;AAAA,UACE,kEAAA;AAAA,UACA,KAAA;AAAA,UACA;AAAA,SACF;AAAA,MACF;AACA,MAAA,OAAO;AAAA,QACL,IAAA,EAAM,QAAA;AAAA,QACN,oBAAA,EAAsBG,cAAAA;AAAA,UACpB,OAAO,IAAA,CAAK,SAAA;AAAA,UACZ,KAAA;AAAA,UACA,CAAC,GAAG,IAAA,EAAM,IAAI;AAAA;AAChB,OACF;AAAA,IACF;AAAA,IACA,KAAKJ,qBAAAA,CAAsB,OAAA;AACzB,MAAA,OAAOG,YAAAA,CAAY,MAAA,EAAiC,KAAA,EAAO,IAAI,CAAA;AAAA,IACjE,KAAKH,qBAAAA,CAAsB,UAAA;AACzB,MAAA,OAAOI,cAAAA,CAAc,MAAA,CAAO,IAAA,CAAK,IAAA,EAAM,OAAO,IAAI,CAAA;AAAA,IACpD;AACE,MAAAH,YAAAA;AAAA,QACE,CAAA,4BAAA,EAA+B,MAAA,CAAO,IAAA,CAAK,QAAQ,CAAA,CAAA;AAAA,QACnD,KAAA;AAAA,QACA;AAAA,OACF;AAAA;AAEN;AAEO,SAAS,eAAA,CACd,MAAA,EACA,OAAA,GAAkC,EAAC,EACvB;AACZ,EAAA,MAAM,SAAA,GAAYG,eAAc,MAAA,EAAQ;AAAA,IACtC,UAAU,OAAA,CAAQ,QAAA;AAAA,IAClB,eAAA,sBAAqB,OAAA;AAAgB,GACvC,EAAG,EAAE,CAAA;AACL,EAAA,IAAI,OAAO,cAAc,SAAA,EAAW;AAClC,IAAA,OAAO,SAAA;AAAA,EACT;AACA,EAAA,OAAO;AAAA,IACL,OAAA,EAAS,yCAAA;AAAA,IACT,GAAG;AAAA,GACL;AACF","file":"dsl.js","sourcesContent":["import { z, type ZodObject, type ZodRawShape } from \"zod\";\n\nexport type FunctionEffect = \"read\" | \"write\" | \"admin\";\n\nexport type FunctionContract<\n  A extends ZodRawShape = ZodRawShape,\n  R extends z.ZodTypeAny = z.ZodTypeAny,\n> = {\n  name: string;\n  args: ZodObject<A>;\n  returns: R;\n  effects: readonly FunctionEffect[];\n  idempotent?: boolean;\n  invariants?: readonly string[];\n};\n\nexport function defineFunction<\n  A extends ZodRawShape,\n  R extends z.ZodTypeAny,\n>(spec: FunctionContract<A, R>): FunctionContract<A, R> {\n  return spec;\n}\n","import type { ZodObject, ZodRawShape } from \"zod\";\n\nexport type TableComponent = \"mc\" | \"kernel\" | \"control-plane\" | \"developer-pack\";\n\nexport type TableIndex =\n  | {\n      kind: \"index\";\n      name: string;\n      columns: readonly string[];\n    }\n  | {\n      kind: \"search\";\n      name: string;\n      searchField: string;\n      filterFields?: readonly string[];\n    }\n  | {\n      kind: \"vector\";\n      name: string;\n      vectorField: string;\n      dimensions: number;\n      filterFields?: readonly string[];\n    };\n\nexport type TableDeprecation = {\n  since: string;\n  reason: string;\n  replacement?: string;\n};\n\nexport type TableContract<S extends ZodRawShape = ZodRawShape> = {\n  name: string;\n  component: TableComponent;\n  category: string;\n  shape: ZodObject<S>;\n  indices: readonly TableIndex[];\n  deprecated?: TableDeprecation;\n  invariants?: readonly string[];\n};\n\nexport function defineTable<S extends ZodRawShape>(\n  spec: TableContract<S>\n): TableContract<S> {\n  return spec;\n}\n","export type AdapterKind = \"convex\" | \"jsonschema\" | \"cli\";\n\nexport type AdapterPurpose = \"table\" | \"function_args\" | \"function_returns\";\n\nexport type AdapterContext = {\n  adapter: AdapterKind;\n  purpose?: AdapterPurpose;\n  location?: string;\n  path?: readonly string[];\n};\n\nfunction formatPath(path?: readonly string[]) {\n  if (!path || path.length === 0) {\n    return \"\";\n  }\n\n  return path.join(\".\");\n}\n\nfunction formatLocation(context: AdapterContext) {\n  const segments: string[] = [context.adapter];\n  if (context.purpose) {\n    segments.push(context.purpose);\n  }\n  if (context.location) {\n    segments.push(context.location);\n  }\n  const formattedPath = formatPath(context.path);\n  if (formattedPath) {\n    segments.push(formattedPath);\n  }\n  return segments.join(\" :: \");\n}\n\nexport class SchemaAdapterError extends Error {\n  readonly context: AdapterContext;\n\n  constructor(message: string, context: AdapterContext) {\n    super(`${message} [${formatLocation(context)}]`);\n    this.name = \"SchemaAdapterError\";\n    this.context = context;\n  }\n}\n\nexport function schemaAdapterError(\n  message: string,\n  context: AdapterContext\n): SchemaAdapterError {\n  return new SchemaAdapterError(message, context);\n}\n","import { z } from \"zod\";\n\nexport const CONVEX_ID_TABLE = Symbol.for(\"lucern.contracts.convexIdTable\");\n\nexport type ConvexIdSchema<T extends string> = z.ZodBranded<\n  z.ZodString,\n  `Id<${T}>`\n> & {\n  readonly [CONVEX_ID_TABLE]: T;\n};\n\nexport function idOf<T extends string>(table: T): ConvexIdSchema<T> {\n  const schema = z.string().brand<`Id<${T}>`>();\n  Object.defineProperty(schema, CONVEX_ID_TABLE, {\n    configurable: false,\n    enumerable: false,\n    value: table,\n    writable: false,\n  });\n  return schema as ConvexIdSchema<T>;\n}\n\nexport function getConvexIdTable(schema: z.ZodTypeAny): string | undefined {\n  return (schema as Partial<Record<typeof CONVEX_ID_TABLE, string>>)[\n    CONVEX_ID_TABLE\n  ];\n}\n","import { z, ZodFirstPartyTypeKind, type ZodTypeAny } from \"zod\";\nimport { schemaAdapterError } from \"../errors.js\";\n\nexport type CliOptionKind = \"string\" | \"number\" | \"bigint\" | \"boolean\" | \"json\";\n\nexport type CliOptionSpec = {\n  name: string;\n  kind: CliOptionKind;\n  required: boolean;\n  variadic?: boolean;\n  nullable?: boolean;\n  choices?: readonly (string | number | boolean)[];\n  defaultValue?: unknown;\n  description?: string;\n};\n\nexport type CliCommandSpec = {\n  options: readonly CliOptionSpec[];\n};\n\nexport type ZodToCliOptions = {\n  location?: string;\n};\n\ntype FieldState = {\n  schema: ZodTypeAny;\n  required: boolean;\n  nullable: boolean;\n  defaultValue?: unknown;\n};\n\ntype ConversionState = {\n  location?: string;\n  seenLazySchemas: WeakSet<object>;\n};\n\nfunction unsupported(\n  message: string,\n  state: ConversionState,\n  path: readonly string[]\n): never {\n  throw schemaAdapterError(message, {\n    adapter: \"cli\",\n    location: state.location,\n    path,\n  });\n}\n\nfunction getObjectShape(schema: z.ZodObject<z.ZodRawShape>) {\n  const shape =\n    typeof schema._def.shape === \"function\" ? schema._def.shape() : schema._def.shape;\n  return shape as z.ZodRawShape;\n}\n\nfunction unwrapField(\n  schema: ZodTypeAny,\n  path: readonly string[]\n): FieldState {\n  let current = schema;\n  let required = true;\n  let nullable = false;\n  let defaultValue: unknown;\n\n  while (true) {\n    switch (current._def.typeName) {\n      case ZodFirstPartyTypeKind.ZodOptional:\n        required = false;\n        current = current._def.innerType;\n        continue;\n      case ZodFirstPartyTypeKind.ZodDefault:\n        required = false;\n        defaultValue = current._def.defaultValue();\n        current = current._def.innerType;\n        continue;\n      case ZodFirstPartyTypeKind.ZodNullable:\n        nullable = true;\n        current = current._def.innerType;\n        continue;\n      default:\n        return {\n          schema: current,\n          required,\n          nullable,\n          defaultValue,\n        };\n    }\n  }\n}\n\nfunction primitiveOption(\n  name: string,\n  kind: CliOptionKind,\n  field: FieldState,\n  choices?: readonly (string | number | boolean)[]\n): CliOptionSpec {\n  return {\n    name,\n    kind,\n    required: field.required,\n    nullable: field.nullable || undefined,\n    defaultValue: field.defaultValue,\n    choices,\n    description: field.schema.description,\n  };\n}\n\nfunction optionFromSchema(\n  name: string,\n  schema: ZodTypeAny,\n  state: ConversionState,\n  path: readonly string[]\n): CliOptionSpec {\n  const field = unwrapField(schema, path);\n\n  switch (field.schema._def.typeName) {\n    case ZodFirstPartyTypeKind.ZodString:\n      return primitiveOption(name, \"string\", field);\n    case ZodFirstPartyTypeKind.ZodNumber:\n      return primitiveOption(name, \"number\", field);\n    case ZodFirstPartyTypeKind.ZodBigInt:\n      return primitiveOption(name, \"bigint\", field);\n    case ZodFirstPartyTypeKind.ZodBoolean:\n      return primitiveOption(name, \"boolean\", field);\n    case ZodFirstPartyTypeKind.ZodEnum:\n      return primitiveOption(name, \"string\", field, field.schema._def.values);\n    case ZodFirstPartyTypeKind.ZodNativeEnum: {\n      const values = [...new Set(Object.values(field.schema._def.values))].filter(\n        (value): value is string | number | boolean =>\n          typeof value === \"string\" ||\n          typeof value === \"number\" ||\n          typeof value === \"boolean\"\n      );\n      return primitiveOption(\n        name,\n        values.every((value) => typeof value === \"number\") ? \"number\" : \"string\",\n        field,\n        values\n      );\n    }\n    case ZodFirstPartyTypeKind.ZodLiteral:\n      return primitiveOption(name, \"string\", field, [field.schema._def.value]);\n    case ZodFirstPartyTypeKind.ZodArray: {\n      const item = unwrapField(field.schema._def.type, [...path, \"[]\"]);\n      switch (item.schema._def.typeName) {\n        case ZodFirstPartyTypeKind.ZodString:\n          return { ...primitiveOption(name, \"string\", field), variadic: true };\n        case ZodFirstPartyTypeKind.ZodNumber:\n          return { ...primitiveOption(name, \"number\", field), variadic: true };\n        case ZodFirstPartyTypeKind.ZodBigInt:\n          return { ...primitiveOption(name, \"bigint\", field), variadic: true };\n        case ZodFirstPartyTypeKind.ZodBoolean:\n          return { ...primitiveOption(name, \"boolean\", field), variadic: true };\n        default:\n          return {\n            ...primitiveOption(name, \"json\", field),\n            variadic: false,\n          };\n      }\n    }\n    case ZodFirstPartyTypeKind.ZodLazy: {\n      const lazySchema = field.schema as z.ZodLazy<ZodTypeAny>;\n      if (state.seenLazySchemas.has(lazySchema)) {\n        unsupported(\n          \"Recursive z.lazy schemas are not supported by the CLI adapter\",\n          state,\n          path\n        );\n      }\n      state.seenLazySchemas.add(lazySchema);\n      try {\n        return optionFromSchema(name, lazySchema._def.getter(), state, path);\n      } finally {\n        state.seenLazySchemas.delete(lazySchema);\n      }\n    }\n    case ZodFirstPartyTypeKind.ZodBranded:\n      return primitiveOption(name, \"string\", field);\n    case ZodFirstPartyTypeKind.ZodObject:\n    case ZodFirstPartyTypeKind.ZodUnion:\n    case ZodFirstPartyTypeKind.ZodDiscriminatedUnion:\n    case ZodFirstPartyTypeKind.ZodRecord:\n    case ZodFirstPartyTypeKind.ZodAny:\n    case ZodFirstPartyTypeKind.ZodUnknown:\n      return primitiveOption(name, \"json\", field);\n    default:\n      unsupported(\n        `Unsupported Zod schema kind ${field.schema._def.typeName}`,\n        state,\n        path\n      );\n  }\n}\n\nexport function zodToCli(\n  schema: z.ZodObject<z.ZodRawShape>,\n  options: ZodToCliOptions = {}\n): CliCommandSpec {\n  if (schema._def.typeName !== ZodFirstPartyTypeKind.ZodObject) {\n    throw schemaAdapterError(\"CLI generation requires a Zod object schema\", {\n      adapter: \"cli\",\n      location: options.location,\n      path: [],\n    });\n  }\n\n  const state: ConversionState = {\n    location: options.location,\n    seenLazySchemas: new WeakSet<object>(),\n  };\n  const optionsList = Object.entries(getObjectShape(schema))\n    .sort(([left], [right]) => left.localeCompare(right))\n    .map(([name, value]) => optionFromSchema(name, value, state, [name]));\n\n  return {\n    options: optionsList,\n  };\n}\n","import { z, ZodFirstPartyTypeKind, type ZodTypeAny } from \"zod\";\nimport type { TableIndex } from \"../defineTable.js\";\nimport {\n  SchemaAdapterError,\n  schemaAdapterError,\n  type AdapterPurpose,\n} from \"../errors.js\";\nimport { getConvexIdTable } from \"../idOf.js\";\n\nexport type ConvexDefault = {\n  path: readonly string[];\n  value: unknown;\n};\n\nexport type ZodToConvexOptions = {\n  purpose?: AdapterPurpose;\n  location?: string;\n  float64ArrayFields?: readonly string[];\n};\n\nexport type ZodToConvexResult = {\n  source: string;\n  defaults: readonly ConvexDefault[];\n};\n\ntype ConversionState = {\n  location?: string;\n  purpose: AdapterPurpose;\n  seenLazySchemas: WeakSet<object>;\n  float64ArrayFields: ReadonlySet<string>;\n};\n\ntype ConvertedSchema = {\n  source: string;\n  defaults: ConvexDefault[];\n};\n\nfunction encodeLiteral(value: string | number | bigint | boolean | null) {\n  if (typeof value === \"bigint\") {\n    return `${value}n`;\n  }\n  return JSON.stringify(value);\n}\n\nfunction sortEntries<T>(entries: readonly [string, T][]) {\n  return [...entries].sort(([left], [right]) => left.localeCompare(right));\n}\n\nfunction getObjectShape(schema: z.ZodObject<z.ZodRawShape>) {\n  const shape =\n    typeof schema._def.shape === \"function\" ? schema._def.shape() : schema._def.shape;\n  return shape as z.ZodRawShape;\n}\n\nfunction unwrapOptionalLike(\n  schema: ZodTypeAny,\n  state: ConversionState,\n  path: readonly string[]\n): {\n  schema: ZodTypeAny;\n  isOptional: boolean;\n  defaults: ConvexDefault[];\n} {\n  const defaults: ConvexDefault[] = [];\n  let current = schema;\n  let isOptional = false;\n\n  while (true) {\n    switch (current._def.typeName) {\n      case ZodFirstPartyTypeKind.ZodOptional:\n        isOptional = true;\n        current = current._def.innerType;\n        continue;\n      case ZodFirstPartyTypeKind.ZodDefault: {\n        if (state.purpose === \"table\") {\n          throw schemaAdapterError(\n            \"Zod defaults are not allowed in table contracts\",\n            {\n              adapter: \"convex\",\n              purpose: state.purpose,\n              location: state.location,\n              path,\n            }\n          );\n        }\n        isOptional = true;\n        defaults.push({\n          path,\n          value: current._def.defaultValue(),\n        });\n        current = current._def.innerType;\n        continue;\n      }\n      default:\n        return {\n          schema: current,\n          isOptional,\n          defaults,\n        };\n    }\n  }\n}\n\nfunction convertSchema(\n  schema: ZodTypeAny,\n  state: ConversionState,\n  path: readonly string[]\n): ConvertedSchema {\n  const { schema: unwrapped, isOptional, defaults } = unwrapOptionalLike(\n    schema,\n    state,\n    path\n  );\n  const converted = convertSchemaInner(unwrapped, state, path);\n  return {\n    source: isOptional ? `v.optional(${converted.source})` : converted.source,\n    defaults: [...defaults, ...converted.defaults],\n  };\n}\n\nfunction enumToUnion(values: readonly (string | number)[]) {\n  if (values.length === 0) {\n    return \"v.never()\";\n  }\n  if (values.length === 1) {\n    return `v.literal(${encodeLiteral(values[0])})`;\n  }\n  return `v.union(${values\n    .map((value) => `v.literal(${encodeLiteral(value)})`)\n    .join(\", \")})`;\n}\n\nfunction unsupported(\n  message: string,\n  state: ConversionState,\n  path: readonly string[]\n): never {\n  throw schemaAdapterError(message, {\n    adapter: \"convex\",\n    purpose: state.purpose,\n    location: state.location,\n    path,\n  });\n}\n\nfunction convertLazy(\n  schema: ZodTypeAny,\n  state: ConversionState,\n  path: readonly string[]\n): ConvertedSchema {\n  const lazySchema = schema as z.ZodLazy<ZodTypeAny>;\n  if (state.seenLazySchemas.has(lazySchema)) {\n    unsupported(\n      \"Recursive z.lazy schemas are not supported by the Convex adapter\",\n      state,\n      path\n    );\n  }\n  state.seenLazySchemas.add(lazySchema);\n  try {\n    return convertSchema(lazySchema._def.getter(), state, path);\n  } finally {\n    state.seenLazySchemas.delete(lazySchema);\n  }\n}\n\nfunction convertSchemaInner(\n  schema: ZodTypeAny,\n  state: ConversionState,\n  path: readonly string[]\n): ConvertedSchema {\n  const idTable = getConvexIdTable(schema);\n  if (idTable) {\n    return {\n      source: `v.id(${JSON.stringify(idTable)})`,\n      defaults: [],\n    };\n  }\n\n  switch (schema._def.typeName) {\n    case ZodFirstPartyTypeKind.ZodString:\n      return { source: \"v.string()\", defaults: [] };\n    case ZodFirstPartyTypeKind.ZodNumber: {\n      const field = path.length >= 2 ? path[path.length - 2] : undefined;\n      const isArrayElement = path[path.length - 1] === \"[]\";\n      return {\n        source:\n          isArrayElement && field && state.float64ArrayFields.has(field)\n            ? \"v.float64()\"\n            : \"v.number()\",\n        defaults: [],\n      };\n    }\n    case ZodFirstPartyTypeKind.ZodBigInt:\n      return { source: \"v.int64()\", defaults: [] };\n    case ZodFirstPartyTypeKind.ZodBoolean:\n      return { source: \"v.boolean()\", defaults: [] };\n    case ZodFirstPartyTypeKind.ZodNull:\n      return { source: \"v.null()\", defaults: [] };\n    case ZodFirstPartyTypeKind.ZodAny:\n    case ZodFirstPartyTypeKind.ZodUnknown:\n      return { source: \"v.any()\", defaults: [] };\n    case ZodFirstPartyTypeKind.ZodLiteral: {\n      return {\n        source: `v.literal(${encodeLiteral(schema._def.value)})`,\n        defaults: [],\n      };\n    }\n    case ZodFirstPartyTypeKind.ZodEnum:\n      return {\n        source: enumToUnion(schema._def.values),\n        defaults: [],\n      };\n    case ZodFirstPartyTypeKind.ZodNativeEnum: {\n      const values = Object.values(schema._def.values).filter(\n        (value): value is string | number =>\n          typeof value === \"string\" || typeof value === \"number\"\n      );\n      return {\n        source: enumToUnion([...new Set(values)]),\n        defaults: [],\n      };\n    }\n    case ZodFirstPartyTypeKind.ZodNullable: {\n      const inner = convertSchema(schema._def.innerType, state, path);\n      return {\n        source: `v.nullable(${inner.source})`,\n        defaults: inner.defaults,\n      };\n    }\n    case ZodFirstPartyTypeKind.ZodArray: {\n      const inner = convertSchema(schema._def.type, state, [...path, \"[]\"]);\n      return {\n        source: `v.array(${inner.source})`,\n        defaults: inner.defaults,\n      };\n    }\n    case ZodFirstPartyTypeKind.ZodObject: {\n      const objectSchema = schema as z.ZodObject<z.ZodRawShape>;\n      if (\n        objectSchema._def.catchall &&\n        objectSchema._def.catchall._def.typeName !== ZodFirstPartyTypeKind.ZodNever\n      ) {\n        unsupported(\n          \"Zod objects with catchall/passthrough fields cannot be lowered to Convex validators\",\n          state,\n          path\n        );\n      }\n      const fields = sortEntries(Object.entries(getObjectShape(objectSchema)));\n      const convertedFields = fields.map(([key, value]) => [\n        key,\n        convertSchema(value, state, [...path, key]),\n      ] as const);\n      return {\n        source: `v.object({ ${convertedFields\n          .map(([key, converted]) => `${JSON.stringify(key)}: ${converted.source}`)\n          .join(\", \")} })`,\n        defaults: convertedFields.flatMap(([, converted]) => converted.defaults),\n      };\n    }\n    case ZodFirstPartyTypeKind.ZodUnion: {\n      const members = schema._def.options.map((option: ZodTypeAny, index: number) =>\n        convertSchema(option, state, [...path, String(index)])\n      );\n      return {\n        source: `v.union(${members\n          .map((member: ConvertedSchema) => member.source)\n          .join(\", \")})`,\n        defaults: members.flatMap((member: ConvertedSchema) => member.defaults),\n      };\n    }\n    case ZodFirstPartyTypeKind.ZodDiscriminatedUnion: {\n      const discriminatedUnion = schema as z.ZodDiscriminatedUnion<\n        string,\n        [z.ZodObject<z.ZodRawShape>, ...z.ZodObject<z.ZodRawShape>[]]\n      >;\n      const options =\n        discriminatedUnion.options instanceof Map\n          ? [...discriminatedUnion.options.values()]\n          : [...discriminatedUnion.options];\n      const members = options.map((option, index) =>\n        convertSchema(option, state, [...path, String(index)])\n      );\n      return {\n        source: `v.union(${members\n          .map((member: ConvertedSchema) => member.source)\n          .join(\", \")})`,\n        defaults: members.flatMap((member: ConvertedSchema) => member.defaults),\n      };\n    }\n    case ZodFirstPartyTypeKind.ZodRecord: {\n      const keyType = schema._def.keyType;\n      if (\n        keyType &&\n        keyType._def.typeName !== ZodFirstPartyTypeKind.ZodString\n      ) {\n        unsupported(\n          \"Only string-keyed z.record schemas can be lowered to Convex validators\",\n          state,\n          path\n        );\n      }\n      const value = convertSchema(schema._def.valueType, state, [...path, \"{}\"]);\n      return {\n        source: `v.record(v.string(), ${value.source})`,\n        defaults: value.defaults,\n      };\n    }\n    case ZodFirstPartyTypeKind.ZodLazy:\n      return convertLazy(schema, state, path);\n    case ZodFirstPartyTypeKind.ZodBranded: {\n      return convertSchema(schema._def.type, state, path);\n    }\n    case ZodFirstPartyTypeKind.ZodEffects: {\n      return convertSchema(schema._def.schema, state, path);\n    }\n    default:\n      unsupported(`Unsupported Zod schema kind ${schema._def.typeName}`, state, path);\n  }\n}\n\nexport function zodToConvex(\n  schema: ZodTypeAny,\n  options: ZodToConvexOptions = {}\n): ZodToConvexResult {\n  const state: ConversionState = {\n    location: options.location,\n    purpose: options.purpose ?? \"function_returns\",\n    seenLazySchemas: new WeakSet<object>(),\n    float64ArrayFields: new Set(options.float64ArrayFields ?? []),\n  };\n  const converted = convertSchema(schema, state, []);\n  return {\n    source: converted.source,\n    defaults: converted.defaults,\n  };\n}\n\nexport function tableIndexToConvexSource(index: TableIndex): string {\n  switch (index.kind) {\n    case \"index\":\n      return `.index(${JSON.stringify(index.name)}, [${index.columns\n        .map((column) => JSON.stringify(column))\n        .join(\", \")}])`;\n    case \"search\":\n      return `.searchIndex(${JSON.stringify(index.name)}, { searchField: ${JSON.stringify(\n        index.searchField\n      )}${index.filterFields?.length ? `, filterFields: [${index.filterFields\n        .map((field) => JSON.stringify(field))\n        .join(\", \")}]` : \"\"} })`;\n    case \"vector\":\n      return `.vectorIndex(${JSON.stringify(index.name)}, { vectorField: ${JSON.stringify(\n        index.vectorField\n      )}, dimensions: ${index.dimensions}${\n        index.filterFields?.length\n          ? `, filterFields: [${index.filterFields\n              .map((field) => JSON.stringify(field))\n              .join(\", \")}]`\n          : \"\"\n      } })`;\n    default: {\n      const exhaustive: never = index;\n      throw new SchemaAdapterError(\n        `Unsupported table index kind ${(exhaustive as { kind?: string }).kind ?? \"unknown\"}`,\n        { adapter: \"convex\" }\n      );\n    }\n  }\n}\n","import { z, ZodFirstPartyTypeKind, type ZodTypeAny } from \"zod\";\nimport { schemaAdapterError } from \"../errors.js\";\nimport { getConvexIdTable } from \"../idOf.js\";\n\nexport type JsonSchema =\n  | boolean\n  | {\n      $schema?: string;\n      type?: string | readonly string[];\n      properties?: Record<string, JsonSchema>;\n      required?: readonly string[];\n      additionalProperties?: boolean | JsonSchema;\n      items?: JsonSchema;\n      enum?: readonly (string | number | boolean)[];\n      const?: string | number | boolean | null;\n      anyOf?: readonly JsonSchema[];\n      oneOf?: readonly JsonSchema[];\n      default?: unknown;\n      format?: string;\n      description?: string;\n      [key: string]: unknown;\n    };\n\nexport type ZodToJsonSchemaOptions = {\n  location?: string;\n};\n\ntype JsonField = {\n  schema: JsonSchema;\n  required: boolean;\n};\n\ntype ConversionState = {\n  location?: string;\n  seenLazySchemas: WeakSet<object>;\n};\n\nfunction unsupported(\n  message: string,\n  state: ConversionState,\n  path: readonly string[]\n): never {\n  throw schemaAdapterError(message, {\n    adapter: \"jsonschema\",\n    location: state.location,\n    path,\n  });\n}\n\nfunction getObjectShape(schema: z.ZodObject<z.ZodRawShape>) {\n  const shape =\n    typeof schema._def.shape === \"function\" ? schema._def.shape() : schema._def.shape;\n  return shape as z.ZodRawShape;\n}\n\nfunction unwrapOptionalLike(\n  schema: ZodTypeAny,\n  state: ConversionState,\n  path: readonly string[]\n): {\n  schema: ZodTypeAny;\n  required: boolean;\n  defaultValue?: unknown;\n} {\n  let current = schema;\n  let required = true;\n  let defaultValue: unknown;\n\n  while (true) {\n    switch (current._def.typeName) {\n      case ZodFirstPartyTypeKind.ZodOptional:\n        required = false;\n        current = current._def.innerType;\n        continue;\n      case ZodFirstPartyTypeKind.ZodDefault:\n        required = false;\n        defaultValue = current._def.defaultValue();\n        current = current._def.innerType;\n        continue;\n      default:\n        return {\n          schema: current,\n          required,\n          defaultValue,\n        };\n    }\n  }\n}\n\nfunction convertLazy(\n  schema: z.ZodLazy<ZodTypeAny>,\n  state: ConversionState,\n  path: readonly string[]\n): JsonSchema {\n  if (state.seenLazySchemas.has(schema)) {\n    unsupported(\n      \"Recursive z.lazy schemas are not supported by the JSON Schema adapter\",\n      state,\n      path\n    );\n  }\n  state.seenLazySchemas.add(schema);\n  try {\n    return convertSchema(schema._def.getter(), state, path);\n  } finally {\n    state.seenLazySchemas.delete(schema);\n  }\n}\n\nfunction literalType(value: unknown) {\n  switch (typeof value) {\n    case \"string\":\n      return \"string\";\n    case \"number\":\n      return Number.isInteger(value) ? \"integer\" : \"number\";\n    case \"boolean\":\n      return \"boolean\";\n    case \"bigint\":\n      return \"integer\";\n    default:\n      return value === null ? \"null\" : undefined;\n  }\n}\n\nfunction convertField(\n  schema: ZodTypeAny,\n  state: ConversionState,\n  path: readonly string[]\n): JsonField {\n  const { schema: unwrapped, required, defaultValue } = unwrapOptionalLike(\n    schema,\n    state,\n    path\n  );\n  const field = convertSchema(unwrapped, state, path);\n  if (typeof field === \"boolean\") {\n    return {\n      schema: field,\n      required,\n    };\n  }\n  return {\n    schema:\n      defaultValue === undefined ? field : { ...field, default: defaultValue },\n    required,\n  };\n}\n\nfunction convertSchema(\n  schema: ZodTypeAny,\n  state: ConversionState,\n  path: readonly string[]\n): JsonSchema {\n  const idTable = getConvexIdTable(schema);\n  if (idTable) {\n    return {\n      type: \"string\",\n      \"x-convex-id-table\": idTable,\n    };\n  }\n\n  switch (schema._def.typeName) {\n    case ZodFirstPartyTypeKind.ZodString:\n      return { type: \"string\" };\n    case ZodFirstPartyTypeKind.ZodNumber:\n      return { type: \"number\" };\n    case ZodFirstPartyTypeKind.ZodBigInt:\n      return { type: \"integer\", format: \"int64\" };\n    case ZodFirstPartyTypeKind.ZodBoolean:\n      return { type: \"boolean\" };\n    case ZodFirstPartyTypeKind.ZodNull:\n      return { type: \"null\" };\n    case ZodFirstPartyTypeKind.ZodAny:\n    case ZodFirstPartyTypeKind.ZodUnknown:\n      return {};\n    case ZodFirstPartyTypeKind.ZodLiteral:\n      return {\n        const: schema._def.value,\n        type: literalType(schema._def.value),\n      };\n    case ZodFirstPartyTypeKind.ZodEnum:\n      return {\n        type: \"string\",\n        enum: schema._def.values,\n      };\n    case ZodFirstPartyTypeKind.ZodNativeEnum: {\n      const values = [...new Set(Object.values(schema._def.values))].filter(\n        (value): value is string | number | boolean =>\n          typeof value === \"string\" ||\n          typeof value === \"number\" ||\n          typeof value === \"boolean\"\n      );\n      return {\n        type: values.every((value) => typeof value === \"number\")\n          ? \"number\"\n          : \"string\",\n        enum: values,\n      };\n    }\n    case ZodFirstPartyTypeKind.ZodNullable: {\n      const inner = convertSchema(schema._def.innerType, state, path);\n      return {\n        anyOf: [inner, { type: \"null\" }],\n      };\n    }\n    case ZodFirstPartyTypeKind.ZodArray:\n      return {\n        type: \"array\",\n        items: convertSchema(schema._def.type, state, [...path, \"[]\"]),\n      };\n    case ZodFirstPartyTypeKind.ZodObject: {\n      const objectSchema = schema as z.ZodObject<z.ZodRawShape>;\n      if (\n        objectSchema._def.catchall &&\n        objectSchema._def.catchall._def.typeName !== ZodFirstPartyTypeKind.ZodNever\n      ) {\n        unsupported(\n          \"Zod objects with catchall/passthrough fields cannot be lowered to JSON Schema\",\n          state,\n          path\n        );\n      }\n      const entries = Object.entries(getObjectShape(objectSchema)).sort(([a], [b]) =>\n        a.localeCompare(b)\n      );\n      const converted = entries.map(([key, value]) => [\n        key,\n        convertField(value, state, [...path, key]),\n      ] as const);\n      const required = converted\n        .filter(([, field]) => field.required)\n        .map(([key]) => key);\n      return {\n        type: \"object\",\n        properties: Object.fromEntries(\n          converted.map(([key, field]) => [key, field.schema])\n        ),\n        additionalProperties: false,\n        ...(required.length > 0 ? { required } : {}),\n      };\n    }\n    case ZodFirstPartyTypeKind.ZodUnion:\n      return {\n        anyOf: schema._def.options.map((option: ZodTypeAny, index: number) =>\n          convertSchema(option, state, [...path, String(index)])\n        ),\n      };\n    case ZodFirstPartyTypeKind.ZodDiscriminatedUnion: {\n      const discriminatedUnion = schema as z.ZodDiscriminatedUnion<\n        string,\n        [z.ZodObject<z.ZodRawShape>, ...z.ZodObject<z.ZodRawShape>[]]\n      >;\n      const options =\n        discriminatedUnion.options instanceof Map\n          ? [...discriminatedUnion.options.values()]\n          : [...discriminatedUnion.options];\n      return {\n        oneOf: options.map((option, index) =>\n          convertSchema(option, state, [...path, String(index)])\n        ),\n      };\n    }\n    case ZodFirstPartyTypeKind.ZodRecord: {\n      const keyType = schema._def.keyType;\n      if (\n        keyType &&\n        keyType._def.typeName !== ZodFirstPartyTypeKind.ZodString\n      ) {\n        unsupported(\n          \"Only string-keyed z.record schemas can be lowered to JSON Schema\",\n          state,\n          path\n        );\n      }\n      return {\n        type: \"object\",\n        additionalProperties: convertSchema(\n          schema._def.valueType,\n          state,\n          [...path, \"{}\"]\n        ),\n      };\n    }\n    case ZodFirstPartyTypeKind.ZodLazy:\n      return convertLazy(schema as z.ZodLazy<ZodTypeAny>, state, path);\n    case ZodFirstPartyTypeKind.ZodBranded:\n      return convertSchema(schema._def.type, state, path);\n    default:\n      unsupported(\n        `Unsupported Zod schema kind ${schema._def.typeName}`,\n        state,\n        path\n      );\n  }\n}\n\nexport function zodToJsonSchema(\n  schema: ZodTypeAny,\n  options: ZodToJsonSchemaOptions = {}\n): JsonSchema {\n  const converted = convertSchema(schema, {\n    location: options.location,\n    seenLazySchemas: new WeakSet<object>(),\n  }, []);\n  if (typeof converted === \"boolean\") {\n    return converted;\n  }\n  return {\n    $schema: \"http://json-schema.org/draft-07/schema#\",\n    ...converted,\n  };\n}\n"]}

package/dist/dsl.values.js

@@ -310,8 +310,14 @@ function convertSchemaInner(schema, state, path) {
   switch (schema._def.typeName) {
     case ZodFirstPartyTypeKind.ZodString:
       return { source: "v.string()", defaults: [] };
-    case ZodFirstPartyTypeKind.ZodNumber:
-      return { source: "v.number()", defaults: [] };
+    case ZodFirstPartyTypeKind.ZodNumber: {
+      const field = path.length >= 2 ? path[path.length - 2] : void 0;
+      const isArrayElement = path[path.length - 1] === "[]";
+      return {
+        source: isArrayElement && field && state.float64ArrayFields.has(field) ? "v.float64()" : "v.number()",
+        defaults: []
+      };
+    }
     case ZodFirstPartyTypeKind.ZodBigInt:
       return { source: "v.int64()", defaults: [] };
     case ZodFirstPartyTypeKind.ZodBoolean:
@@ -425,7 +431,8 @@ function zodToConvex(schema, options = {}) {
   const state = {
     location: options.location,
     purpose: options.purpose ?? "function_returns",
-    seenLazySchemas: /* @__PURE__ */ new WeakSet()
+    seenLazySchemas: /* @__PURE__ */ new WeakSet(),
+    float64ArrayFields: new Set(options.float64ArrayFields ?? [])
   };
   const converted = convertSchema(schema, state, []);
   return {