@specverse/engines 6.66.0 → 6.75.0

package/dist/libs/instance-factories/services/templates/prisma/controller-generator.js

@@ -19,13 +19,14 @@ function generatePrismaController(context) {
   const idType = idAttr?.type || "UUID";
   const needsIntParse = idType === "Integer" || idType === "Int" || idType === "Number";
   const customActions = generateCustomActions(controller, modelName, modelVar);
+  const hasConstraints = Array.isArray(model.constraints) && model.constraints.length > 0;
   const classBody = [
-    generateValidateMethod(model, modelName),
-    curedOps.create ? generateCreateMethod(model, modelName, modelVar, prismaDelegate, controller, allModels) : "",
+    generateValidateMethod(model, modelName, hasConstraints),
+    curedOps.create ? generateCreateMethod(model, modelName, modelVar, prismaDelegate, controller, allModels, hasConstraints) : "",
     curedOps.retrieve ? generateRetrieveMethod(model, modelName, modelVar, prismaDelegate) : "",
-    curedOps.update ? generateUpdateMethod(model, modelName, modelVar, prismaDelegate, controller, allModels) : "",
-    curedOps.evolve ? generateEvolveMethod(model, modelName, modelVar, prismaDelegate, controller) : "",
-    curedOps.delete ? generateDeleteMethod(model, modelName, modelVar, prismaDelegate, controller) : "",
+    curedOps.update ? generateUpdateMethod(model, modelName, modelVar, prismaDelegate, controller, allModels, hasConstraints) : "",
+    curedOps.evolve ? generateEvolveMethod(model, modelName, modelVar, prismaDelegate, controller, hasConstraints) : "",
+    curedOps.delete ? generateDeleteMethod(model, modelName, modelVar, prismaDelegate, controller, hasConstraints) : "",
     customActions.code
   ].filter(Boolean).join("\n  ");
   const usesPrisma = /\bprisma\b/.test(classBody);
@@ -35,7 +36,8 @@ function generatePrismaController(context) {
   const imports = [
     usesPrisma ? `import { PrismaClient } from '@prisma/client';` : "",
     usesEventBus ? `import { eventBus } from '../events/eventBus.js';` : "",
-    usesAiBehaviors ? `import * as aiBehaviors from '../behaviors/${modelName}Controller.ai.js';` : ""
+    usesAiBehaviors ? `import * as aiBehaviors from '../behaviors/${modelName}Controller.ai.js';` : "",
+    hasConstraints ? `import { runGuards as runConstraintGuards } from './${modelName}.guards.js';` : ""
   ].filter(Boolean).join("\n");
   const declarations = [
     usesPrisma ? `const prisma = new PrismaClient();` : "",
@@ -62,19 +64,39 @@ export const ${modelVar}Controller = new ${controllerName}();
 export default ${modelVar}Controller;
 `;
 }
-function generateValidateMethod(model, modelName) {
+function generateValidateMethod(model, modelName, hasConstraints) {
+  const opTypeUnion = hasConstraints ? `'create' | 'update' | 'evolve' | 'delete' | \`evolve.\${string}\`` : `'create' | 'update' | 'evolve'`;
+  const constraintsCheck = hasConstraints ? `
+    // Phase 2 \u2014 run model.constraints[] guards matching this operation.
+    // ctx carries a per-model query helper so subquery sugars (rewritten
+    // to async guards by guards-generator) can run their findFirst calls.
+    const __guardCtx = {
+      query: (modelName: string) => {
+        const delegate = (prisma as any)[modelName.charAt(0).toLowerCase() + modelName.slice(1)];
+        if (!delegate) return undefined;
+        return {
+          exists: async (predicate: (e: any) => boolean) => {
+            const all = await delegate.findMany();
+            return all.some(predicate);
+          },
+        };
+      },
+    };
+    const constraintViolations = await runConstraintGuards(_data, _context.operation, _actor, __guardCtx);
+    for (const v of constraintViolations) errors.push(v.message);` : "";
   return `
   /**
    * Validate ${modelName} data
    * Unified validation method for all operations
    */
-  public validate(
+  public async validate(
     _data: any,
-    _context: { operation: 'create' | 'update' | 'evolve' }
-  ): { valid: boolean; errors: string[] } {
+    _context: { operation: ${opTypeUnion} },
+    _actor: any = null
+  ): Promise<{ valid: boolean; errors: string[] }> {
     const errors: string[] = [];
 
-    ${generateValidationLogic(model, "_data", "_context")}
+    ${generateValidationLogic(model, "_data", "_context")}${constraintsCheck}
 
     return {
       valid: errors.length === 0,
@@ -125,14 +147,27 @@ function generateValidationLogic(model, dataParam = "_data", contextParam = "_co
   });
   return validations.join("\n") || "// No validation rules defined";
 }
-function generateCreateMethod(model, modelName, modelVar, prismaDelegate, controller, allModels) {
+function generateCreateMethod(model, modelName, modelVar, prismaDelegate, controller, allModels, hasConstraints = false) {
+  const belongsToLoad = hasConstraints ? generateBelongsToLoad(model, allModels) : "";
+  const validateSelf = belongsToLoad ? "__mergedSelf" : "data";
   return `
   /**
    * Create a new ${modelName}
    */
-  public async create(data: any): Promise<any> {
+  public async create(data: any, _actor: any = null): Promise<any> {
+${belongsToLoad ? `
+    // Phase 2 Slice 15 \u2014 Create-time relation loading. For each belongsTo
+    // FK present in input, load the related entity and merge into self
+    // so constraints traversing self.<rel>.<field> see the full related
+    // record (not just the FK id). Mirrors Slice 8's Update pattern but
+    // for the create path. Only fires when the model has declared
+    // constraints; one extra round-trip per FK in input.
+    const __loadedRels: Record<string, any> = {};
+    ${belongsToLoad}
+    const __mergedSelf = { ...data, ...__loadedRels };
+` : ""}
     // Validate input
-    const validationResult = this.validate(data, { operation: 'create' });
+    const validationResult = await this.validate(${validateSelf}, { operation: 'create' }, _actor);
     if (!validationResult.valid) {
       throw new Error(\`Validation failed: \${validationResult.errors.join(', ')}\`);
     }
@@ -153,6 +188,33 @@ function generateCreateMethod(model, modelName, modelVar, prismaDelegate, contro
   }
 `;
 }
+function generateBelongsToLoad(model, allModels) {
+  const rels = Array.isArray(model.relationships) ? model.relationships : Object.values(model.relationships || {});
+  const belongsToRels = rels.filter((r) => r.type === "belongsTo");
+  if (belongsToRels.length === 0) return "";
+  const RESERVED_WORDS = /* @__PURE__ */ new Set(["import", "export", "default", "class", "function", "return", "delete", "new", "this", "switch", "case", "break", "continue", "for", "while", "do", "if", "else", "try", "catch", "finally", "throw", "typeof", "instanceof", "in", "of", "let", "const", "var", "void", "with", "yield", "async", "await", "enum", "implements", "interface", "package", "private", "protected", "public", "static", "super", "extends"]);
+  return belongsToRels.map((rel) => {
+    const relName = rel.name;
+    const targetName = rel.target;
+    const fkField = `${relName}Id`;
+    const targetVar = targetName.charAt(0).toLowerCase() + targetName.slice(1);
+    const targetDelegate = RESERVED_WORDS.has(targetVar) ? `prisma['${targetVar}']` : `prisma.${targetVar}`;
+    let idExpr = `data.${fkField}`;
+    if (allModels) {
+      const targetModel = allModels.find((m) => m.name === targetName);
+      if (targetModel) {
+        const idAttr = (Array.isArray(targetModel.attributes) ? targetModel.attributes : Object.values(targetModel.attributes || {})).find((a) => a.name === "id");
+        const idType = idAttr?.type || "String";
+        if (idType === "Integer" || idType === "Int" || idType === "Number") {
+          idExpr = `parseInt(data.${fkField}, 10)`;
+        }
+      }
+    }
+    return `if (data.${fkField}) {
+      __loadedRels.${relName} = await ${targetDelegate}.findUnique({ where: { id: ${idExpr} } });
+    }`;
+  }).join("\n    ");
+}
 function generateRetrieveMethod(model, modelName, modelVar, prismaDelegate) {
   return `
   /**
@@ -176,14 +238,26 @@ function generateRetrieveMethod(model, modelName, modelVar, prismaDelegate) {
   }
 `;
 }
-function generateUpdateMethod(model, modelName, modelVar, prismaDelegate, controller, allModels) {
+function generateUpdateMethod(model, modelName, modelVar, prismaDelegate, controller, allModels, hasConstraints = false) {
   return `
   /**
    * Update ${modelName}
    */
-  public async update(id: string, data: any): Promise<any> {
+  public async update(id: string, data: any, _actor: any = null): Promise<any> {
+${hasConstraints ? `
+    // Phase 2 \u2014 Update self-from-DB: load the entity first and validate
+    // against the MERGED \`loaded + input\` shape so update-time constraints
+    // like \`self.poll.votingStatus == "open"\` see the full record even
+    // when the caller only sent a partial payload. Costs one extra DB
+    // round-trip; only fires for models with declared constraints.
+    const __existing = await ${prismaDelegate}.findUnique({ where: { id: parseId(id) }${generateIncludeRelationships(model)} });
+    if (!__existing) throw new Error('${modelName} not found');
+    const __merged = { ...__existing, ...data };
+    const validationResult = await this.validate(__merged, { operation: 'update' }, _actor);
+` : `
     // Validate input
-    const validationResult = this.validate(data, { operation: 'update' });
+    const validationResult = await this.validate(data, { operation: 'update' }, _actor);
+`}
     if (!validationResult.valid) {
       throw new Error(\`Validation failed: \${validationResult.errors.join(', ')}\`);
     }
@@ -213,12 +287,23 @@ function generateUpdateMethod(model, modelName, modelVar, prismaDelegate, contro
   }
 `;
 }
-function generateEvolveMethod(model, modelName, modelVar, prismaDelegate, controller) {
+function generateEvolveMethod(model, modelName, modelVar, prismaDelegate, controller, hasConstraints = false) {
   const lifecycles = Array.isArray(model.lifecycles) ? model.lifecycles : model.lifecycles ? Object.entries(model.lifecycles).map(([name, lc]) => ({ name, ...lc })) : [];
   const lifecycle = lifecycles[0];
   const lifecycleName = lifecycle?.name || "status";
   const states = lifecycle?.states || [];
   const validTransitions = lifecycle ? buildTransitionMap(lifecycle) : {};
+  const evolveOpsMap = {};
+  if (lifecycle?.transitions) {
+    for (const [actionName, t] of Object.entries(lifecycle.transitions)) {
+      const from = t.from;
+      const to = t.to;
+      if (typeof from === "string" && typeof to === "string") {
+        evolveOpsMap[from] = evolveOpsMap[from] ?? {};
+        evolveOpsMap[from][to] = actionName;
+      }
+    }
+  }
   return `
   /**
    * Evolve ${modelName} through lifecycle "${lifecycleName}"
@@ -229,7 +314,7 @@ function generateEvolveMethod(model, modelName, modelVar, prismaDelegate, contro
    * runtime's useTransitionStateMutation always sends the former; the
    * realized smoke-parity script can send either.
    */
-  public async evolve(id: string, data: any): Promise<any> {
+  public async evolve(id: string, data: any, _actor: any = null): Promise<any> {
     // Get current record to check lifecycle state
     const current = await ${prismaDelegate}.findUnique({ where: { id: parseId(id) } });
     if (!current) {
@@ -254,7 +339,22 @@ function generateEvolveMethod(model, modelName, modelVar, prismaDelegate, contro
       throw new Error(\`Invalid transition: \${currentState} \u2192 \${targetState}. Allowed: \${allowed.join(', ') || 'none'}\`);
     }
     ` : ""}
-
+${hasConstraints ? `
+    // Phase 2 \u2014 resolve the transition's action name so constraints scoped
+    // to \`on: 'evolve.<action>'\` match correctly. EVOLVE_OPS is baked at
+    // codegen from the lifecycle definition.
+    const EVOLVE_OPS: Record<string, Record<string, string>> = ${JSON.stringify(evolveOpsMap)};
+    const currentStateForOp = (current as any)[targetLifecycle];
+    const actionName = EVOLVE_OPS[currentStateForOp]?.[targetState] ?? targetState;
+    const evolveValidation = await this.validate(
+      { ...data, ...current, [targetLifecycle]: targetState },
+      { operation: \`evolve.\${actionName}\` as any },
+      _actor
+    );
+    if (!evolveValidation.valid) {
+      throw new Error(\`Validation failed: \${evolveValidation.errors.join(', ')}\`);
+    }
+` : ""}
     // Build the Prisma update payload \u2014 only the lifecycle column
     // changes. Strips toState/lifecycleName/state so Prisma doesn't
     // reject unknown fields.
@@ -273,15 +373,25 @@ function generateEvolveMethod(model, modelName, modelVar, prismaDelegate, contro
   }
 `;
 }
-function generateDeleteMethod(model, modelName, modelVar, prismaDelegate, controller) {
+function generateDeleteMethod(model, modelName, modelVar, prismaDelegate, controller, hasConstraints = false) {
   return `
   /**
    * Delete ${modelName}
    */
-  public async delete(id: string): Promise<void> {
+  public async delete(id: string, _actor: any = null): Promise<void> {
     // Get record before deletion for event
     const ${modelVar} = await ${prismaDelegate}.findUnique({ where: { id: parseId(id) } });
-
+${hasConstraints ? `
+    // Phase 2 \u2014 run delete-scoped constraint guards against the loaded
+    // record. \`self\` is the entity being deleted (loaded above), giving
+    // delete-time constraints access to the entity's current field values.
+    if (${modelVar}) {
+      const deleteValidation = await this.validate(${modelVar}, { operation: 'delete' }, _actor);
+      if (!deleteValidation.valid) {
+        throw new Error(\`Validation failed: \${deleteValidation.errors.join(', ')}\`);
+      }
+    }
+` : ""}
     await ${prismaDelegate}.delete({
       where: { id: parseId(id) }
     });

package/dist/libs/instance-factories/services/templates/prisma/guards-generator.js

@@ -0,0 +1,151 @@
+import { transpilePhase2Guard } from "@specverse/engines/inference";
+function generatePrismaGuards(context) {
+  const { model } = context;
+  if (!model) {
+    throw new Error("Model is required for guards generation");
+  }
+  const constraints = model.constraints ?? [];
+  if (constraints.length === 0) {
+    return generateEmptyGuardsModule(model.name);
+  }
+  const guardFns = [];
+  const constraintsTable = [];
+  for (const c of constraints) {
+    const transpiled = transpilePhase2Guard(
+      c.requires.name,
+      c.requires.params ?? `self: any, actor: any`,
+      c.requires.body
+    );
+    guardFns.push(transpiled.typescript);
+    const onArrayLiteral = `[${c.on.map((o) => JSON.stringify(o)).join(", ")}]`;
+    const sourceLiteral = JSON.stringify(
+      c.requires.source.input ?? ""
+    );
+    constraintsTable.push(
+      `  {
+    on: ${onArrayLiteral},
+    guard: ${c.requires.name},
+    name: ${JSON.stringify(c.requires.name)},
+    source: ${sourceLiteral}
+  }`
+    );
+  }
+  return `/**
+ * Auto-generated by SpecVerse Phase 2 (Validate-Centric Constraints).
+ *
+ * Guard functions for ${model.name}'s declared constraints.
+ * DO NOT EDIT \u2014 regenerated on every \`spv realize all\`.
+ *
+ * Slice 1 limitations:
+ *   - \`self\` is the input payload (not the loaded entity). For Update/Delete/
+ *     Evolve, paths through \`self\` see only the fields the caller sent.
+ *   - \`actor\` defaults to null. Constraints using \`actor.*\` paths fail at
+ *     runtime when called without a user context.
+ */
+
+export interface Violation {
+  constraint: string;
+  scope: string;
+  source: string;
+  message: string;
+}
+
+export interface ConstraintRecord {
+  on: string[];
+  guard: (self: any, actor: any) => boolean;
+  name: string;
+  source: string;
+}
+
+${guardFns.join("\n\n")}
+
+export const MODEL_CONSTRAINTS: ConstraintRecord[] = [
+${constraintsTable.join(",\n")}
+];
+
+/**
+ * Match a runtime operation against a constraint's \`on:\` array.
+ *
+ * Op shapes:
+ *   - exact string: 'create', 'update', 'delete', 'retrieve'
+ *   - 'evolve.<transition>': specific lifecycle transition
+ *
+ * \`on:\` entry shapes:
+ *   - '*': always matches
+ *   - 'evolve.*': matches any 'evolve.X' op
+ *   - else: exact-string equality
+ */
+export function matchesOp(constraintOn: string[], op: string): boolean {
+  for (const o of constraintOn) {
+    if (o === '*') return true;
+    if (o === op) return true;
+    if (o === 'evolve.*' && op.startsWith('evolve.')) return true;
+  }
+  return false;
+}
+
+/**
+ * Run all constraints whose \`on:\` matches the requested op. Each guard
+ * is invoked with (input, actor). Returns the collected violations.
+ *
+ * A guard that returns false produces one Violation; a guard that throws
+ * (e.g. actor=null with an actor.* path) is caught and surfaced as a
+ * violation with the thrown message \u2014 fail closed.
+ */
+export function runGuards(
+  input: any,
+  op: string,
+  actor: any = null,
+): Violation[] {
+  const violations: Violation[] = [];
+  for (const c of MODEL_CONSTRAINTS) {
+    if (!matchesOp(c.on, op)) continue;
+    let passed = false;
+    let thrown: string | null = null;
+    try {
+      passed = c.guard(input, actor);
+    } catch (e: any) {
+      thrown = e?.message ?? String(e);
+    }
+    if (!passed) {
+      violations.push({
+        constraint: c.name,
+        scope: op,
+        source: c.source,
+        message: thrown
+          ? \`Constraint "\${c.source}" could not be evaluated: \${thrown}\`
+          : \`Constraint "\${c.source}" failed\`,
+      });
+    }
+  }
+  return violations;
+}
+`;
+}
+function generateEmptyGuardsModule(modelName) {
+  return `/**
+ * Auto-generated by SpecVerse Phase 2 \u2014 no constraints declared on ${modelName}.
+ * Empty stub kept for symmetry; controllers gate their imports on this file.
+ */
+
+export interface Violation {
+  constraint: string;
+  scope: string;
+  source: string;
+  message: string;
+}
+
+export const MODEL_CONSTRAINTS: any[] = [];
+
+export function matchesOp(_constraintOn: string[], _op: string): boolean {
+  return false;
+}
+
+export function runGuards(_input: any, _op: string, _actor: any = null): Violation[] {
+  return [];
+}
+`;
+}
+export {
+  generatePrismaGuards as default
+};

package/dist/parser/convention-processor.d.ts

@@ -11,6 +11,10 @@ import { SpecVerseAST } from './types/ast.js';
 import { ProcessorContext } from '@specverse/types';
 export declare class ConventionProcessor implements ProcessorContext {
     warnings: string[];
+    /** Hard errors collected during processing. The parser rolls these up
+     * into the parseResult.errors so callers (e.g. app-demo's spec-loader)
+     * can refuse to load specs with broken constraints. */
+    errors: string[];
     private entityProcessors;
     private behaviouralProcessor;
     private componentEntityTypes;
@@ -20,7 +24,12 @@ export declare class ConventionProcessor implements ProcessorContext {
      */
     getWarnings(): string[];
     /**
-     * Clear accumulated warnings
+     * Get accumulated hard errors. Spec consumers should treat a non-empty
+     * list as a load-blocker (refuse to start the spec server).
+     */
+    getErrors(): string[];
+    /**
+     * Clear accumulated warnings + errors.
      */
     clearWarnings(): void;
     /**
@@ -35,6 +44,40 @@ export declare class ConventionProcessor implements ProcessorContext {
      * Process a single component
      */
     private processComponent;
+    /**
+     * Phase 2 — expand a model's `constraints:` array (author form) plus any
+     * `transitions.condition` aliases into the typed `ModelConstraintSpec[]`
+     * the rest of the pipeline consumes.
+     *
+     * - `requires:` strings, arrays, and `{and|or|not}` trees are walked
+     *   recursively; each leaf is expanded via BehaviouralConventionProcessor
+     *   with the owning model as `currentModel`. Sub-expressions are joined
+     *   with Quint `and`/`or`/`not` to produce ONE compound guard per record.
+     * - `transitions.condition` from structured lifecycles is auto-mapped to
+     *   `{on: 'evolve.<transition>', requires: condition}` — author can write
+     *   either form, never both for the same transition (current pipeline
+     *   warns rather than errors; tightening to a parse-time conflict error
+     *   is a follow-up).
+     * - Leaves that don't match any convention emit a parser warning and skip
+     *   the affected record; remaining records still produce guards.
+     */
+    private expandModelConstraints;
+    /**
+     * Expand one `{on, requires}` record into a ModelConstraintSpec.
+     *
+     * `origin` distinguishes author-written records ('authored') from records
+     * synthesised from `transitions.condition` ('transition-alias'). The
+     * distinction is preserved in `requires.source.convention` so the
+     * AST → YAML round-trip only emits author records back as `model.constraints`
+     * (aliased ones still live in `lifecycles.*.transitions.<action>` as
+     * `when=` clauses — emitting them in both places would double-validate).
+     */
+    private expandConstraintRecord;
+    /**
+     * Recursively expand a `requires:` tree into a single Quint expression.
+     * Returns null if any leaf fails to match a convention.
+     */
+    private expandRequiresTree;
     /**
      * Process a single manifest
      */

package/dist/parser/convention-processor.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"convention-processor.d.ts","sourceRoot":"","sources":["../../src/parser/convention-processor.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,EAIL,YAAY,EAEb,MAAM,gBAAgB,CAAC;AAExB,OAAO,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAC;AAQpD,qBAAa,mBAAoB,YAAW,gBAAgB;IACnD,QAAQ,EAAE,MAAM,EAAE,CAAM;IAE/B,OAAO,CAAC,gBAAgB,CAAyC;IACjE,OAAO,CAAC,oBAAoB,CAAiC;IAE7D,OAAO,CAAC,oBAAoB,CAAW;;IAwCvC;;OAEG;IACH,WAAW,IAAI,MAAM,EAAE;IAIvB;;OAEG;IACH,aAAa,IAAI,IAAI;IAIrB;;OAEG;IACH,UAAU,CAAC,OAAO,EAAE,MAAM,GAAG,IAAI;IAIjC;;OAEG;IACH,OAAO,CAAC,QAAQ,EAAE,GAAG,GAAG,YAAY;IAiCpC;;OAEG;IACH,OAAO,CAAC,gBAAgB;IAyExB;;OAEG;IACH,OAAO,CAAC,eAAe;IASvB;;;OAGG;IACH,OAAO,CAAC,iBAAiB;IAyBzB;;;OAGG;IACH,OAAO,CAAC,wBAAwB;IAwDhC;;;OAGG;IACH,OAAO,CAAC,UAAU;IA+ClB;;OAEG;IACH,OAAO,CAAC,gBAAgB;IAiBxB;;OAEG;IACH,OAAO,CAAC,eAAe;CAYxB"}
+{"version":3,"file":"convention-processor.d.ts","sourceRoot":"","sources":["../../src/parser/convention-processor.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,EAIL,YAAY,EAKb,MAAM,gBAAgB,CAAC;AAExB,OAAO,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAC;AAQpD,qBAAa,mBAAoB,YAAW,gBAAgB;IACnD,QAAQ,EAAE,MAAM,EAAE,CAAM;IAC/B;;2DAEuD;IAChD,MAAM,EAAE,MAAM,EAAE,CAAM;IAE7B,OAAO,CAAC,gBAAgB,CAAyC;IACjE,OAAO,CAAC,oBAAoB,CAAiC;IAE7D,OAAO,CAAC,oBAAoB,CAAW;;IAwCvC;;OAEG;IACH,WAAW,IAAI,MAAM,EAAE;IAIvB;;;OAGG;IACH,SAAS,IAAI,MAAM,EAAE;IAIrB;;OAEG;IACH,aAAa,IAAI,IAAI;IAKrB;;OAEG;IACH,UAAU,CAAC,OAAO,EAAE,MAAM,GAAG,IAAI;IAIjC;;OAEG;IACH,OAAO,CAAC,QAAQ,EAAE,GAAG,GAAG,YAAY;IAiCpC;;OAEG;IACH,OAAO,CAAC,gBAAgB;IAwGxB;;;;;;;;;;;;;;;;OAgBG;IACH,OAAO,CAAC,sBAAsB;IA8C9B;;;;;;;;;OASG;IACH,OAAO,CAAC,sBAAsB;IAkD9B;;;OAGG;IACH,OAAO,CAAC,kBAAkB;IAuC1B;;OAEG;IACH,OAAO,CAAC,eAAe;IASvB;;;OAGG;IACH,OAAO,CAAC,iBAAiB;IAyBzB;;;OAGG;IACH,OAAO,CAAC,wBAAwB;IAwDhC;;;OAGG;IACH,OAAO,CAAC,UAAU;IA+ClB;;OAEG;IACH,OAAO,CAAC,gBAAgB;IAiBxB;;OAEG;IACH,OAAO,CAAC,eAAe;CAYxB"}