typesea 0.2.0 → 0.3.0

package/dist/compile/check-composite.js

@@ -4,7 +4,7 @@
  * @details Generated-source helpers keep the side-table ABI and JavaScript source shape
  * stable across runtime and AOT emission.
  */
-import { ObjectModeTag, PresenceTag, SchemaTag } from "../kind/index.js";
+import { ArrayCheckTag, ObjectModeTag, PresenceTag, SchemaTag } from "../kind/index.js";
 import { schemaCanAcceptUndefined } from "../schema/index.js";
 import { pushLiteral, stringRef } from "./context.js";
 import { emitIssue, emitIssueAtSegment, emitIssueAtTwoSegments, emitIssueExprAtSegment } from "./issue.js";
@@ -22,10 +22,11 @@ import { stringLiteral } from "./names.js";
  * @param emitChild Fallback emitter for non-leaf child validators.
  * @returns JavaScript source for array diagnostics.
  */
-export function emitArrayCheck(item, value, path, issues, context, emitChild) {
+export function emitArrayCheck(schema, value, path, issues, context, emitChild) {
     if (isUnsafeMode(context)) {
-        return emitUnsafeArrayCheck(item, value, path, issues, context, emitChild);
+        return emitUnsafeArrayCheck(schema, value, path, issues, context, emitChild);
     }
+    const item = schema.item;
     const itemValue = "av";
     const itemLeaf = emitLeafCheckAtSegment(item, itemValue, path, "i", issues, context);
     const missingLeaf = itemLeaf === undefined
@@ -53,6 +54,7 @@ export function emitArrayCheck(item, value, path, issues, context, emitChild) {
          */
         return [
             `if(!Array.isArray(${value})){${emitIssue(issues, path, "expected_array", "array", `a(${value})`)}return;}`,
+            emitArrayLengthIssues(schema, value, path, issues),
             `const xs=Object.getOwnPropertyNames(${value});`,
             "for(let xi=0;xi<xs.length;xi+=1){",
             "const key=xs[xi];",
@@ -65,6 +67,7 @@ export function emitArrayCheck(item, value, path, issues, context, emitChild) {
     }
     return [
         `if(!Array.isArray(${value})){${emitIssue(issues, path, "expected_array", "array", `a(${value})`)}return;}`,
+        emitArrayLengthIssues(schema, value, path, issues),
         `for(let i=0;i<${value}.length;i+=1){`,
         `const d=gp(${value},i);`,
         `if(d===undefined){${missingCheck}}else if(!h.call(d,"value")){${emitIssueAtSegment(issues, path, "i", "expected_array", "data property", stringLiteral("accessor"))}}else{${presentCheck}}`,
@@ -118,7 +121,8 @@ export function emitTupleCheck(items, value, path, issues, context, emitChild) {
  * @brief Execute emit unsafe array check.
  * @details Code generation helpers keep emitted JavaScript shape stable across runtime and AOT paths.
  */
-function emitUnsafeArrayCheck(item, value, path, issues, context, emitChild) {
+function emitUnsafeArrayCheck(schema, value, path, issues, context, emitChild) {
+    const item = schema.item;
     const itemValue = "av";
     const itemLeaf = emitLeafCheckAtSegment(item, itemValue, path, "i", issues, context);
     let itemCheck;
@@ -132,11 +136,67 @@ function emitUnsafeArrayCheck(item, value, path, issues, context, emitChild) {
     const parts = [
         `if(!Array.isArray(${value})){${emitIssue(issues, path, "expected_array", "array", `a(${value})`)}return;}`
     ];
+    parts.push(emitArrayLengthIssues(schema, value, path, issues));
     if (itemCheck !== "") {
         parts.push(`for(let i=0;i<${value}.length;i+=1){`, `const ${itemValue}=${value}[i];`, itemCheck, "}");
     }
     return parts.join("");
 }
+/**
+ * @brief Emit root-level array length diagnostics.
+ * @param schema Array schema with normalized checks.
+ * @param value Generated expression for the candidate array.
+ * @param path Generated expression for the current diagnostic path.
+ * @param issues Generated expression for the issue buffer.
+ * @returns JavaScript source that appends zero or more length issues.
+ */
+function emitArrayLengthIssues(schema, value, path, issues) {
+    const chunks = [];
+    const checks = schema.checks;
+    for (let index = 0; index < checks.length; index += 1) {
+        const check = checks[index];
+        if (check === undefined) {
+            continue;
+        }
+        switch (check.tag) {
+            case ArrayCheckTag.Min:
+                chunks.push(`if(${value}.length<${String(check.value)}){${emitIssue(issues, path, "expected_min_length", `length >= ${String(check.value)}`, `"length "+String(${value}.length)`)}}`);
+                break;
+            case ArrayCheckTag.Max:
+                chunks.push(`if(${value}.length>${String(check.value)}){${emitIssue(issues, path, "expected_max_length", `length <= ${String(check.value)}`, `"length "+String(${value}.length)`)}}`);
+                break;
+        }
+    }
+    return chunks.join("");
+}
+/**
+ * @brief Emit one-segment array length diagnostics.
+ * @param schema Array schema with normalized checks.
+ * @param value Generated expression for the candidate array.
+ * @param path Generated expression for the current diagnostic path.
+ * @param segmentExpression Generated path segment for the array field.
+ * @param issues Generated expression for the issue buffer.
+ * @returns JavaScript source that appends zero or more length issues.
+ */
+function emitArrayLengthIssuesAtSegment(schema, value, path, segmentExpression, issues) {
+    const chunks = [];
+    const checks = schema.checks;
+    for (let index = 0; index < checks.length; index += 1) {
+        const check = checks[index];
+        if (check === undefined) {
+            continue;
+        }
+        switch (check.tag) {
+            case ArrayCheckTag.Min:
+                chunks.push(`if(${value}.length<${String(check.value)}){${emitIssueAtSegment(issues, path, segmentExpression, "expected_min_length", `length >= ${String(check.value)}`, `"length "+String(${value}.length)`)}}`);
+                break;
+            case ArrayCheckTag.Max:
+                chunks.push(`if(${value}.length>${String(check.value)}){${emitIssueAtSegment(issues, path, segmentExpression, "expected_max_length", `length <= ${String(check.value)}`, `"length "+String(${value}.length)`)}}`);
+                break;
+        }
+    }
+    return chunks.join("");
+}
 /**
  * @brief Execute emit unsafe tuple check.
  * @details Code generation helpers keep emitted JavaScript shape stable across runtime and AOT paths.
@@ -181,10 +241,11 @@ function emitUnsafeTupleCheck(items, value, path, issues, context, emitChild) {
  * @param context Shared code-generation context.
  * @returns JavaScript source, or undefined when the caller must fall back.
  */
-function emitArrayCheckAtSegment(item, value, path, segmentExpression, issues, context) {
+function emitArrayCheckAtSegment(schema, value, path, segmentExpression, issues, context) {
     if (isUnsafeMode(context)) {
-        return emitUnsafeArrayCheckAtSegment(item, value, path, segmentExpression, issues, context);
+        return emitUnsafeArrayCheckAtSegment(schema, value, path, segmentExpression, issues, context);
     }
+    const item = schema.item;
     const itemValue = "av";
     const itemLeaf = emitLeafCheckAtTwoSegments(item, itemValue, path, segmentExpression, "i", issues, context);
     const missingLeaf = itemLeaf === undefined
@@ -203,6 +264,7 @@ function emitArrayCheckAtSegment(item, value, path, segmentExpression, issues, c
          */
         return [
             `if(!Array.isArray(${value})){${emitIssueAtSegment(issues, path, segmentExpression, "expected_array", "array", `a(${value})`)}}else{`,
+            emitArrayLengthIssuesAtSegment(schema, value, path, segmentExpression, issues),
             `const xs=Object.getOwnPropertyNames(${value});`,
             "for(let xi=0;xi<xs.length;xi+=1){",
             "const key=xs[xi];",
@@ -216,6 +278,7 @@ function emitArrayCheckAtSegment(item, value, path, segmentExpression, issues, c
     }
     return [
         `if(!Array.isArray(${value})){${emitIssueAtSegment(issues, path, segmentExpression, "expected_array", "array", `a(${value})`)}}else{`,
+        emitArrayLengthIssuesAtSegment(schema, value, path, segmentExpression, issues),
         `for(let i=0;i<${value}.length;i+=1){`,
         `const vd=gp(${value},i);`,
         `if(vd===undefined){${missingLeaf}}else if(!h.call(vd,"value")){${emitIssueAtTwoSegments(issues, path, segmentExpression, "i", "expected_array", "data property", stringLiteral("accessor"))}}else{${presentCheck}}`,
@@ -263,7 +326,8 @@ function emitTupleCheckAtSegment(items, value, path, segmentExpression, issues,
  * @brief Execute emit unsafe array check at segment.
  * @details Code generation helpers keep emitted JavaScript shape stable across runtime and AOT paths.
  */
-function emitUnsafeArrayCheckAtSegment(item, value, path, segmentExpression, issues, context) {
+function emitUnsafeArrayCheckAtSegment(schema, value, path, segmentExpression, issues, context) {
+    const item = schema.item;
     const itemLeaf = emitLeafCheckAtTwoSegments(item, "av", path, segmentExpression, "i", issues, context);
     if (itemLeaf === undefined) {
         return undefined;
@@ -271,9 +335,11 @@ function emitUnsafeArrayCheckAtSegment(item, value, path, segmentExpression, iss
     const parts = [
         `if(!Array.isArray(${value})){${emitIssueAtSegment(issues, path, segmentExpression, "expected_array", "array", `a(${value})`)}}`
     ];
+    parts.push("else{", emitArrayLengthIssuesAtSegment(schema, value, path, segmentExpression, issues));
     if (itemLeaf !== "") {
-        parts.push("else{", `for(let i=0;i<${value}.length;i+=1){`, `const av=${value}[i];`, itemLeaf, "}", "}");
+        parts.push(`for(let i=0;i<${value}.length;i+=1){`, `const av=${value}[i];`, itemLeaf, "}");
     }
+    parts.push("}");
     return parts.join("");
 }
 /**
@@ -441,11 +507,50 @@ export function emitObjectCheck(schema, value, path, issues, context, emitChild)
             parts.push(`if(h.call(${value},${key})){const d=gp(${value},${key});if(d===undefined||!h.call(d,"value")){${emitIssueAtSegment(issues, path, key, "expected_object", "data property", stringLiteral("accessor"))}}else{${presentCheck}}}`);
         }
     }
-    if (schema.mode === ObjectModeTag.Strict) {
+    if (schema.catchall !== undefined) {
+        parts.push(emitObjectCatchallCheck(schema, value, path, issues, context, emitChild));
+    }
+    else if (schema.mode === ObjectModeTag.Strict) {
         parts.push(`const xs=Object.getOwnPropertyNames(${value});const xn=xs.length;for(let i=0;i<xn;i+=1){const key=xs[i];if(!(${safeKeyMembershipExpression("key", keyExpressions)})){${emitIssueAtSegment(issues, path, "key", "unrecognized_key", "known key", stringLiteral("extra key"))}}}const ys=Object.getOwnPropertySymbols(${value});const yn=ys.length;for(let i=0;i<yn;i+=1){const key=ys[i];if(key!==undefined){${emitIssueAtSegment(issues, path, "String(key)", "unrecognized_key", "known key", stringLiteral("extra key"))}}}`);
     }
     return parts.join("");
 }
+/**
+ * @brief Emit diagnostic collection for object catchall keys.
+ */
+function emitObjectCatchallCheck(schema, value, path, issues, context, emitChild) {
+    const catchall = schema.catchall;
+    if (catchall === undefined) {
+        return "";
+    }
+    const child = emitChild(catchall, context);
+    const membership = safeKeyMembershipExpression("key", objectKeyExpressions(schema, context));
+    return [
+        `const cx=Reflect.ownKeys(${value});`,
+        "const cn=cx.length;",
+        "for(let ci=0;ci<cn;ci+=1){",
+        "const key=cx[ci];",
+        `if(typeof key==="string"&&(${membership}))continue;`,
+        "const pk=typeof key===\"string\"?key:String(key);",
+        `const cd=gp(${value},key);`,
+        `if(cd===undefined||!h.call(cd,"value")){${emitIssueAtSegment(issues, path, "pk", "expected_object", "data property", stringLiteral("accessor"))}}else{`,
+        `${path}.push(pk);${child}(cd.value,${path},${issues});${path}.pop();`,
+        "}}"
+    ].join("");
+}
+/**
+ * @brief Convert object schema keys into side-table source expressions.
+ */
+function objectKeyExpressions(schema, context) {
+    const keys = new Array(schema.keys.length);
+    for (let index = 0; index < schema.keys.length; index += 1) {
+        const key = schema.keys[index];
+        if (key !== undefined) {
+            keys[index] = stringRef(context, key);
+        }
+    }
+    return keys;
+}
 /**
  * @brief Execute emit unsafe object check.
  * @details Code generation helpers keep emitted JavaScript shape stable across runtime and AOT paths.
@@ -475,7 +580,10 @@ function emitUnsafeObjectCheck(schema, value, path, issues, context, emitChild)
         }
         parts.push("}");
     }
-    if (schema.mode === ObjectModeTag.Strict && !isUncheckedMode(context)) {
+    if (schema.catchall !== undefined) {
+        parts.push(emitUnsafeObjectCatchallCheck(schema, value, path, issues, context, emitChild));
+    }
+    else if (schema.mode === ObjectModeTag.Strict && !isUncheckedMode(context)) {
         const keys = new Array(schema.entries.length);
         for (let index = 0; index < schema.entries.length; index += 1) {
             const entry = schema.entries[index];
@@ -487,6 +595,27 @@ function emitUnsafeObjectCheck(schema, value, path, issues, context, emitChild)
     }
     return parts.join("");
 }
+/**
+ * @brief Emit unsafe diagnostic collection for object catchall keys.
+ */
+function emitUnsafeObjectCatchallCheck(schema, value, path, issues, context, emitChild) {
+    const catchall = schema.catchall;
+    if (catchall === undefined) {
+        return "";
+    }
+    const child = emitChild(catchall, context);
+    const membership = unsafeKeyMembershipExpression("key", schema.keys);
+    return [
+        `const cx=Reflect.ownKeys(${value});`,
+        "const cn=cx.length;",
+        "for(let ci=0;ci<cn;ci+=1){",
+        "const key=cx[ci];",
+        `if(typeof key==="string"&&(${membership}))continue;`,
+        "const pk=typeof key===\"string\"?key:String(key);",
+        `${path}.push(pk);${child}(${value}[key],${path},${issues});${path}.pop();`,
+        "}"
+    ].join("");
+}
 /**
  * @brief Execute emit object field check.
  * @details Code generation helpers keep emitted JavaScript shape stable across runtime and AOT paths.
@@ -510,8 +639,11 @@ function emitObjectFieldCheck(schema, value, path, segmentExpression, issues, co
 function emitCompositeCheckAtSegment(schema, value, path, segmentExpression, issues, context) {
     switch (schema.tag) {
         case SchemaTag.Array:
-            return emitArrayCheckAtSegment(schema.item, value, path, segmentExpression, issues, context);
+            return emitArrayCheckAtSegment(schema, value, path, segmentExpression, issues, context);
         case SchemaTag.Tuple:
+            if (schema.rest !== undefined) {
+                return undefined;
+            }
             return emitTupleCheckAtSegment(schema.items, value, path, segmentExpression, issues, context);
         case SchemaTag.Record:
             return emitRecordCheckAtSegment(schema.value, value, path, segmentExpression, issues, context);

package/dist/compile/check-scalar.d.ts

@@ -21,6 +21,16 @@ import type { EmitContext } from "./types.js";
 export declare function emitStringCheck(schema: Extract<Schema, {
     readonly tag: typeof SchemaTag.String;
 }>, value: string, path: string, issues: string, context: EmitContext): string;
+/**
+ * @brief Emit Date diagnostics.
+ * @param value Generated expression for the candidate value.
+ * @param path Generated expression for the current diagnostic path.
+ * @param issues Generated expression for the issue buffer.
+ * @returns JavaScript source for root Date diagnostics.
+ */
+export declare function emitDateCheck(schema: Extract<Schema, {
+    readonly tag: typeof SchemaTag.Date;
+}>, value: string, path: string, issues: string): string;
 /**
  * @brief emit leaf check at one appended path segment.
  * @details This path is used by object-field diagnostics to avoid building a

package/dist/compile/check-scalar.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"check-scalar.d.ts","sourceRoot":"","sources":["../../src/compile/check-scalar.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAEH,SAAS,EAEZ,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAEH,KAAK,YAAY,EACjB,KAAK,MAAM,EACd,MAAM,oBAAoB,CAAC;AAe5B,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAE9C;;;;;;;;;;GAUG;AACH,wBAAgB,eAAe,CAC3B,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE;IAAE,QAAQ,CAAC,GAAG,EAAE,OAAO,SAAS,CAAC,MAAM,CAAA;CAAE,CAAC,EAClE,KAAK,EAAE,MAAM,EACb,IAAI,EAAE,MAAM,EACZ,MAAM,EAAE,MAAM,EACd,OAAO,EAAE,WAAW,GACrB,MAAM,CAgDR;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,sBAAsB,CAClC,MAAM,EAAE,MAAM,EACd,KAAK,EAAE,MAAM,EACb,IAAI,EAAE,MAAM,EACZ,iBAAiB,EAAE,MAAM,EACzB,MAAM,EAAE,MAAM,EACd,OAAO,EAAE,WAAW,GACrB,MAAM,GAAG,SAAS,CAkFpB;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,+BAA+B,CAC3C,MAAM,EAAE,MAAM,EACd,IAAI,EAAE,MAAM,EACZ,iBAAiB,EAAE,MAAM,EACzB,MAAM,EAAE,MAAM,EACd,OAAO,EAAE,WAAW,GACrB,MAAM,GAAG,SAAS,CAqEpB;AAED;;;;;;;;;;;;GAYG;AACH,wBAAgB,0BAA0B,CACtC,MAAM,EAAE,MAAM,EACd,KAAK,EAAE,MAAM,EACb,IAAI,EAAE,MAAM,EACZ,sBAAsB,EAAE,MAAM,EAC9B,uBAAuB,EAAE,MAAM,EAC/B,MAAM,EAAE,MAAM,EACd,OAAO,EAAE,WAAW,GACrB,MAAM,GAAG,SAAS,CAsFpB;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,mCAAmC,CAC/C,MAAM,EAAE,MAAM,EACd,IAAI,EAAE,MAAM,EACZ,sBAAsB,EAAE,MAAM,EAC9B,uBAAuB,EAAE,MAAM,EAC/B,MAAM,EAAE,MAAM,EACd,OAAO,EAAE,WAAW,GACrB,MAAM,GAAG,SAAS,CA4EpB;AA4MD;;;;;;;;;GASG;AACH,wBAAgB,eAAe,CAC3B,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE;IAAE,QAAQ,CAAC,GAAG,EAAE,OAAO,SAAS,CAAC,MAAM,CAAA;CAAE,CAAC,EAClE,KAAK,EAAE,MAAM,EACb,IAAI,EAAE,MAAM,EACZ,MAAM,EAAE,MAAM,GACf,MAAM,CAmDR;AA+KD;;;;;;;;;;GAUG;AACH,wBAAgB,gBAAgB,CAC5B,KAAK,EAAE,YAAY,EACnB,OAAO,EAAE,MAAM,EACf,IAAI,EAAE,MAAM,EACZ,MAAM,EAAE,MAAM,EACd,OAAO,EAAE,WAAW,GACrB,MAAM,CAaR"}
+{"version":3,"file":"check-scalar.d.ts","sourceRoot":"","sources":["../../src/compile/check-scalar.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAGH,SAAS,EAEZ,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EASH,KAAK,YAAY,EACjB,KAAK,MAAM,EACd,MAAM,oBAAoB,CAAC;AAe5B,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAE9C;;;;;;;;;;GAUG;AACH,wBAAgB,eAAe,CAC3B,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE;IAAE,QAAQ,CAAC,GAAG,EAAE,OAAO,SAAS,CAAC,MAAM,CAAA;CAAE,CAAC,EAClE,KAAK,EAAE,MAAM,EACb,IAAI,EAAE,MAAM,EACZ,MAAM,EAAE,MAAM,EACd,OAAO,EAAE,WAAW,GACrB,MAAM,CAqER;AAED;;;;;;GAMG;AACH,wBAAgB,aAAa,CACzB,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE;IAAE,QAAQ,CAAC,GAAG,EAAE,OAAO,SAAS,CAAC,IAAI,CAAA;CAAE,CAAC,EAChE,KAAK,EAAE,MAAM,EACb,IAAI,EAAE,MAAM,EACZ,MAAM,EAAE,MAAM,GACf,MAAM,CAgDR;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,sBAAsB,CAClC,MAAM,EAAE,MAAM,EACd,KAAK,EAAE,MAAM,EACb,IAAI,EAAE,MAAM,EACZ,iBAAiB,EAAE,MAAM,EACzB,MAAM,EAAE,MAAM,EACd,OAAO,EAAE,WAAW,GACrB,MAAM,GAAG,SAAS,CA8FpB;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,+BAA+B,CAC3C,MAAM,EAAE,MAAM,EACd,IAAI,EAAE,MAAM,EACZ,iBAAiB,EAAE,MAAM,EACzB,MAAM,EAAE,MAAM,EACd,OAAO,EAAE,WAAW,GACrB,MAAM,GAAG,SAAS,CA8EpB;AAED;;;;;;;;;;;;GAYG;AACH,wBAAgB,0BAA0B,CACtC,MAAM,EAAE,MAAM,EACd,KAAK,EAAE,MAAM,EACb,IAAI,EAAE,MAAM,EACZ,sBAAsB,EAAE,MAAM,EAC9B,uBAAuB,EAAE,MAAM,EAC/B,MAAM,EAAE,MAAM,EACd,OAAO,EAAE,WAAW,GACrB,MAAM,GAAG,SAAS,CAmGpB;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,mCAAmC,CAC/C,MAAM,EAAE,MAAM,EACd,IAAI,EAAE,MAAM,EACZ,sBAAsB,EAAE,MAAM,EAC9B,uBAAuB,EAAE,MAAM,EAC/B,MAAM,EAAE,MAAM,EACd,OAAO,EAAE,WAAW,GACrB,MAAM,GAAG,SAAS,CAsFpB;AA6WD;;;;;;;;;GASG;AACH,wBAAgB,eAAe,CAC3B,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE;IAAE,QAAQ,CAAC,GAAG,EAAE,OAAO,SAAS,CAAC,MAAM,CAAA;CAAE,CAAC,EAClE,KAAK,EAAE,MAAM,EACb,IAAI,EAAE,MAAM,EACZ,MAAM,EAAE,MAAM,GACf,MAAM,CA8ER;AA8OD;;;;;;;;;;GAUG;AACH,wBAAgB,gBAAgB,CAC5B,KAAK,EAAE,YAAY,EACnB,OAAO,EAAE,MAAM,EACf,IAAI,EAAE,MAAM,EACZ,MAAM,EAAE,MAAM,EACd,OAAO,EAAE,WAAW,GACrB,MAAM,CAaR"}

package/dist/compile/check-scalar.js

@@ -4,8 +4,8 @@
  * @details Generated-source helpers keep the side-table ABI and JavaScript source shape
  * stable across runtime and AOT emission.
  */
-import { NumberCheckTag, SchemaTag, StringCheckTag } from "../kind/index.js";
-import { UUID_PATTERN } from "../schema/index.js";
+import { DateCheckTag, NumberCheckTag, SchemaTag, StringCheckTag } from "../kind/index.js";
+import { EMAIL_PATTERN, IPV4_PATTERN, IPV6_PATTERN, ISO_DATETIME_PATTERN, ISO_DATE_PATTERN, ULID_PATTERN, URL_PATTERN, UUID_PATTERN } from "../schema/index.js";
 import { pushLiteral } from "./context.js";
 import { emitIssue, emitIssueAtSegment, emitIssueAtTwoSegments, emitIssueExpr, emitIssueExprAtSegment, emitIssueExprAtTwoSegments, emitPatternIssueAtSegment, emitPatternIssueAtTwoSegments, emitPatternIssue } from "./issue.js";
 import { stringLiteral } from "./names.js";
@@ -48,10 +48,63 @@ export function emitStringCheck(schema, value, path, issues, context) {
             case StringCheckTag.Uuid:
                 parts.push(emitPatternIssue(value, path, issues, UUID_PATTERN, "uuid", context));
                 break;
+            case StringCheckTag.Email:
+                parts.push(emitPatternIssue(value, path, issues, EMAIL_PATTERN, "email", context));
+                break;
+            case StringCheckTag.Url:
+                parts.push(emitPatternIssue(value, path, issues, URL_PATTERN, "url", context));
+                break;
+            case StringCheckTag.IsoDate:
+                parts.push(emitPatternIssue(value, path, issues, ISO_DATE_PATTERN, "iso_date", context));
+                break;
+            case StringCheckTag.IsoDateTime:
+                parts.push(emitPatternIssue(value, path, issues, ISO_DATETIME_PATTERN, "iso_datetime", context));
+                break;
+            case StringCheckTag.Ulid:
+                parts.push(emitPatternIssue(value, path, issues, ULID_PATTERN, "ulid", context));
+                break;
+            case StringCheckTag.Ipv4:
+                parts.push(emitPatternIssue(value, path, issues, IPV4_PATTERN, "ipv4", context));
+                break;
+            case StringCheckTag.Ipv6:
+                parts.push(emitPatternIssue(value, path, issues, IPV6_PATTERN, "ipv6", context));
+                break;
         }
     }
     return parts.join("");
 }
+/**
+ * @brief Emit Date diagnostics.
+ * @param value Generated expression for the candidate value.
+ * @param path Generated expression for the current diagnostic path.
+ * @param issues Generated expression for the issue buffer.
+ * @returns JavaScript source for root Date diagnostics.
+ */
+export function emitDateCheck(schema, value, path, issues) {
+    const invalid = `!dg(${value})`;
+    const checks = schema.checks;
+    if (checks.length === 0) {
+        return `if(${invalid}){${emitIssue(issues, path, "expected_date", "valid Date", `a(${value})`)}}`;
+    }
+    const parts = [`if(${invalid}){${emitIssue(issues, path, "expected_date", "valid Date", `a(${value})`)}}else{`];
+    for (let index = 0; index < checks.length; index += 1) {
+        const check = checks[index];
+        if (check === undefined) {
+            continue;
+        }
+        const actual = `new Date(dt(${value})).toISOString()`;
+        switch (check.tag) {
+            case DateCheckTag.Min:
+                parts.push(`if(dt(${value})<${String(check.value)}){${emitIssue(issues, path, "expected_gte", `>= ${new Date(check.value).toISOString()}`, actual)}}`);
+                break;
+            case DateCheckTag.Max:
+                parts.push(`if(dt(${value})>${String(check.value)}){${emitIssue(issues, path, "expected_lte", `<= ${new Date(check.value).toISOString()}`, actual)}}`);
+                break;
+        }
+    }
+    parts.push("}");
+    return parts.join("");
+}
 /**
  * @brief emit leaf check at one appended path segment.
  * @details This path is used by object-field diagnostics to avoid building a
@@ -74,6 +127,11 @@ export function emitLeafCheckAtSegment(schema, value, path, segmentExpression, i
             return emitStringCheckAtSegment(schema, value, path, segmentExpression, issues, context);
         case SchemaTag.Number:
             return emitNumberCheckAtSegment(schema, value, path, segmentExpression, issues);
+        case SchemaTag.Date:
+            if (schema.checks.length !== 0) {
+                return undefined;
+            }
+            return `if(!dg(${value})){${emitIssueAtSegment(issues, path, segmentExpression, "expected_date", "valid Date", `a(${value})`)}}`;
         case SchemaTag.BigInt:
             return `if(typeof ${value}!=="bigint"){${emitIssueAtSegment(issues, path, segmentExpression, "expected_bigint", "bigint", `a(${value})`)}}`;
         case SchemaTag.Symbol:
@@ -114,6 +172,8 @@ export function emitUndefinedLeafCheckAtSegment(schema, path, segmentExpression,
             return emitIssueAtSegment(issues, path, segmentExpression, "expected_string", "string", stringLiteral("undefined"));
         case SchemaTag.Number:
             return emitIssueAtSegment(issues, path, segmentExpression, "expected_number", "number", stringLiteral("undefined"));
+        case SchemaTag.Date:
+            return emitIssueAtSegment(issues, path, segmentExpression, "expected_date", "valid Date", stringLiteral("undefined"));
         case SchemaTag.BigInt:
             return emitIssueAtSegment(issues, path, segmentExpression, "expected_bigint", "bigint", stringLiteral("undefined"));
         case SchemaTag.Symbol:
@@ -149,6 +209,11 @@ export function emitLeafCheckAtTwoSegments(schema, value, path, firstSegmentExpr
             return emitStringCheckAtTwoSegments(schema, value, path, firstSegmentExpression, secondSegmentExpression, issues, context);
         case SchemaTag.Number:
             return emitNumberCheckAtTwoSegments(schema, value, path, firstSegmentExpression, secondSegmentExpression, issues);
+        case SchemaTag.Date:
+            if (schema.checks.length !== 0) {
+                return undefined;
+            }
+            return `if(!dg(${value})){${emitIssueAtTwoSegments(issues, path, firstSegmentExpression, secondSegmentExpression, "expected_date", "valid Date", `a(${value})`)}}`;
         case SchemaTag.BigInt:
             return `if(typeof ${value}!=="bigint"){${emitIssueAtTwoSegments(issues, path, firstSegmentExpression, secondSegmentExpression, "expected_bigint", "bigint", `a(${value})`)}}`;
         case SchemaTag.Symbol:
@@ -185,6 +250,8 @@ export function emitUndefinedLeafCheckAtTwoSegments(schema, path, firstSegmentEx
             return emitIssueAtTwoSegments(issues, path, firstSegmentExpression, secondSegmentExpression, "expected_string", "string", stringLiteral("undefined"));
         case SchemaTag.Number:
             return emitIssueAtTwoSegments(issues, path, firstSegmentExpression, secondSegmentExpression, "expected_number", "number", stringLiteral("undefined"));
+        case SchemaTag.Date:
+            return emitIssueAtTwoSegments(issues, path, firstSegmentExpression, secondSegmentExpression, "expected_date", "valid Date", stringLiteral("undefined"));
         case SchemaTag.BigInt:
             return emitIssueAtTwoSegments(issues, path, firstSegmentExpression, secondSegmentExpression, "expected_bigint", "bigint", stringLiteral("undefined"));
         case SchemaTag.Symbol:
@@ -239,6 +306,27 @@ function emitStringCheckAtSegment(schema, value, path, segmentExpression, issues
             case StringCheckTag.Uuid:
                 parts.push(emitPatternIssueAtSegment(value, path, segmentExpression, issues, UUID_PATTERN, "uuid", context));
                 break;
+            case StringCheckTag.Email:
+                parts.push(emitPatternIssueAtSegment(value, path, segmentExpression, issues, EMAIL_PATTERN, "email", context));
+                break;
+            case StringCheckTag.Url:
+                parts.push(emitPatternIssueAtSegment(value, path, segmentExpression, issues, URL_PATTERN, "url", context));
+                break;
+            case StringCheckTag.IsoDate:
+                parts.push(emitPatternIssueAtSegment(value, path, segmentExpression, issues, ISO_DATE_PATTERN, "iso_date", context));
+                break;
+            case StringCheckTag.IsoDateTime:
+                parts.push(emitPatternIssueAtSegment(value, path, segmentExpression, issues, ISO_DATETIME_PATTERN, "iso_datetime", context));
+                break;
+            case StringCheckTag.Ulid:
+                parts.push(emitPatternIssueAtSegment(value, path, segmentExpression, issues, ULID_PATTERN, "ulid", context));
+                break;
+            case StringCheckTag.Ipv4:
+                parts.push(emitPatternIssueAtSegment(value, path, segmentExpression, issues, IPV4_PATTERN, "ipv4", context));
+                break;
+            case StringCheckTag.Ipv6:
+                parts.push(emitPatternIssueAtSegment(value, path, segmentExpression, issues, IPV6_PATTERN, "ipv6", context));
+                break;
         }
     }
     parts.push("}");
@@ -283,6 +371,27 @@ function emitStringCheckAtTwoSegments(schema, value, path, firstSegmentExpressio
             case StringCheckTag.Uuid:
                 parts.push(emitPatternIssueAtTwoSegments(value, path, firstSegmentExpression, secondSegmentExpression, issues, UUID_PATTERN, "uuid", context));
                 break;
+            case StringCheckTag.Email:
+                parts.push(emitPatternIssueAtTwoSegments(value, path, firstSegmentExpression, secondSegmentExpression, issues, EMAIL_PATTERN, "email", context));
+                break;
+            case StringCheckTag.Url:
+                parts.push(emitPatternIssueAtTwoSegments(value, path, firstSegmentExpression, secondSegmentExpression, issues, URL_PATTERN, "url", context));
+                break;
+            case StringCheckTag.IsoDate:
+                parts.push(emitPatternIssueAtTwoSegments(value, path, firstSegmentExpression, secondSegmentExpression, issues, ISO_DATE_PATTERN, "iso_date", context));
+                break;
+            case StringCheckTag.IsoDateTime:
+                parts.push(emitPatternIssueAtTwoSegments(value, path, firstSegmentExpression, secondSegmentExpression, issues, ISO_DATETIME_PATTERN, "iso_datetime", context));
+                break;
+            case StringCheckTag.Ulid:
+                parts.push(emitPatternIssueAtTwoSegments(value, path, firstSegmentExpression, secondSegmentExpression, issues, ULID_PATTERN, "ulid", context));
+                break;
+            case StringCheckTag.Ipv4:
+                parts.push(emitPatternIssueAtTwoSegments(value, path, firstSegmentExpression, secondSegmentExpression, issues, IPV4_PATTERN, "ipv4", context));
+                break;
+            case StringCheckTag.Ipv6:
+                parts.push(emitPatternIssueAtTwoSegments(value, path, firstSegmentExpression, secondSegmentExpression, issues, IPV6_PATTERN, "ipv6", context));
+                break;
         }
     }
     parts.push("}");
@@ -322,6 +431,15 @@ export function emitNumberCheck(schema, value, path, issues) {
             case NumberCheckTag.Lte:
                 parts.push(`if(${value}>${String(check.value)}){${emitIssue(issues, path, "expected_lte", `<= ${String(check.value)}`, `String(${value})`)}}`);
                 break;
+            case NumberCheckTag.Gt:
+                parts.push(`if(${value}<=${String(check.value)}){${emitIssue(issues, path, "expected_gt", `> ${String(check.value)}`, `String(${value})`)}}`);
+                break;
+            case NumberCheckTag.Lt:
+                parts.push(`if(${value}>=${String(check.value)}){${emitIssue(issues, path, "expected_lt", `< ${String(check.value)}`, `String(${value})`)}}`);
+                break;
+            case NumberCheckTag.MultipleOf:
+                parts.push(`if(${value}%${String(check.value)}!==0){${emitIssue(issues, path, "expected_multiple_of", `multiple of ${String(check.value)}`, `String(${value})`)}}`);
+                break;
         }
     }
     return parts.join("");
@@ -364,6 +482,15 @@ function emitNumberCheckAtSegment(schema, value, path, segmentExpression, issues
             case NumberCheckTag.Lte:
                 parts.push(`if(${value}>${String(check.value)}){${emitIssueAtSegment(issues, path, segmentExpression, "expected_lte", `<= ${String(check.value)}`, `String(${value})`)}}`);
                 break;
+            case NumberCheckTag.Gt:
+                parts.push(`if(${value}<=${String(check.value)}){${emitIssueAtSegment(issues, path, segmentExpression, "expected_gt", `> ${String(check.value)}`, `String(${value})`)}}`);
+                break;
+            case NumberCheckTag.Lt:
+                parts.push(`if(${value}>=${String(check.value)}){${emitIssueAtSegment(issues, path, segmentExpression, "expected_lt", `< ${String(check.value)}`, `String(${value})`)}}`);
+                break;
+            case NumberCheckTag.MultipleOf:
+                parts.push(`if(${value}%${String(check.value)}!==0){${emitIssueAtSegment(issues, path, segmentExpression, "expected_multiple_of", `multiple of ${String(check.value)}`, `String(${value})`)}}`);
+                break;
         }
     }
     parts.push("}");
@@ -404,6 +531,15 @@ function emitNumberCheckAtTwoSegments(schema, value, path, firstSegmentExpressio
             case NumberCheckTag.Lte:
                 parts.push(`if(${value}>${String(check.value)}){${emitIssueAtTwoSegments(issues, path, firstSegmentExpression, secondSegmentExpression, "expected_lte", `<= ${String(check.value)}`, `String(${value})`)}}`);
                 break;
+            case NumberCheckTag.Gt:
+                parts.push(`if(${value}<=${String(check.value)}){${emitIssueAtTwoSegments(issues, path, firstSegmentExpression, secondSegmentExpression, "expected_gt", `> ${String(check.value)}`, `String(${value})`)}}`);
+                break;
+            case NumberCheckTag.Lt:
+                parts.push(`if(${value}>=${String(check.value)}){${emitIssueAtTwoSegments(issues, path, firstSegmentExpression, secondSegmentExpression, "expected_lt", `< ${String(check.value)}`, `String(${value})`)}}`);
+                break;
+            case NumberCheckTag.MultipleOf:
+                parts.push(`if(${value}%${String(check.value)}!==0){${emitIssueAtTwoSegments(issues, path, firstSegmentExpression, secondSegmentExpression, "expected_multiple_of", `multiple of ${String(check.value)}`, `String(${value})`)}}`);
+                break;
         }
     }
     parts.push("}");

package/dist/compile/check.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"check.d.ts","sourceRoot":"","sources":["../../src/compile/check.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAGH,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAC;AAgBjD,OAAO,KAAK,EAAE,WAAW,EAAkB,MAAM,YAAY,CAAC;AAE9D;;;;;;;;GAQG;AACH,wBAAgB,iBAAiB,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,WAAW,GAAG,MAAM,CAkB9E;AAED;;;;;;GAMG;AACH,wBAAgB,kBAAkB,CAAC,OAAO,EAAE,WAAW,GAAG,MAAM,CAU/D"}
+{"version":3,"file":"check.d.ts","sourceRoot":"","sources":["../../src/compile/check.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAGH,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAC;AAiBjD,OAAO,KAAK,EAAE,WAAW,EAAkB,MAAM,YAAY,CAAC;AAE9D;;;;;;;;GAQG;AACH,wBAAgB,iBAAiB,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,WAAW,GAAG,MAAM,CAkB9E;AAED;;;;;;GAMG;AACH,wBAAgB,kBAAkB,CAAC,OAAO,EAAE,WAAW,GAAG,MAAM,CAU/D"}

package/dist/compile/check.js

@@ -6,7 +6,7 @@
  */
 import { SchemaTag } from "../kind/index.js";
 import { emitArrayCheck, emitDiscriminatedUnionCheck, emitObjectCheck, emitRecordCheck, emitTupleCheck } from "./check-composite.js";
-import { emitLiteralCheck, emitNumberCheck, emitStringCheck } from "./check-scalar.js";
+import { emitDateCheck, emitLiteralCheck, emitNumberCheck, emitStringCheck } from "./check-scalar.js";
 import { pushSchema } from "./context.js";
 import { emitIssue } from "./issue.js";
 import { emitUnion } from "./predicate.js";
@@ -77,6 +77,8 @@ function emitCheckBody(schema, value, path, issues, context) {
             return emitStringCheck(schema, value, path, issues, context);
         case SchemaTag.Number:
             return emitNumberCheck(schema, value, path, issues);
+        case SchemaTag.Date:
+            return emitDateCheck(schema, value, path, issues);
         case SchemaTag.BigInt:
             return `if(typeof ${value}!=="bigint"){${emitIssue(issues, path, "expected_bigint", "bigint", `a(${value})`)}}`;
         case SchemaTag.Symbol:
@@ -86,11 +88,19 @@ function emitCheckBody(schema, value, path, issues, context) {
         case SchemaTag.Literal:
             return emitLiteralCheck(schema.value, value, path, issues, context);
         case SchemaTag.Array:
-            return emitArrayCheck(schema.item, value, path, issues, context, emitCheckFunction);
+            return emitArrayCheck(schema, value, path, issues, context, emitCheckFunction);
         case SchemaTag.Tuple:
+            if (schema.rest !== undefined) {
+                return emitDynamicCheck(schema, value, path, issues, context);
+            }
             return emitTupleCheck(schema.items, value, path, issues, context, emitCheckFunction);
         case SchemaTag.Record:
             return emitRecordCheck(schema.value, value, path, issues, context, emitCheckFunction);
+        case SchemaTag.Map:
+        case SchemaTag.Set:
+        case SchemaTag.InstanceOf:
+        case SchemaTag.Property:
+            return emitDynamicCheck(schema, value, path, issues, context);
         case SchemaTag.Object:
             return emitObjectCheck(schema, value, path, issues, context, emitCheckFunction);
         case SchemaTag.Union:
@@ -116,9 +126,21 @@ function emitCheckBody(schema, value, path, issues, context) {
              * inlined into generated source. The `m` helper calls the interpreter
              * diagnostic path through the dynamic schema side table.
              */
-            return `m(${String(pushSchema(context, schema))},${value},${path},${issues});`;
+            return emitDynamicCheck(schema, value, path, issues, context);
     }
 }
+/**
+ * @brief Emit a diagnostic fallback call for runtime-only schema nodes.
+ * @param schema Schema captured in the dynamic side table.
+ * @param value Generated candidate value expression.
+ * @param path Generated path expression.
+ * @param issues Generated issue buffer expression.
+ * @param context Shared emission context.
+ * @returns JavaScript source delegating diagnostics to the interpreter.
+ */
+function emitDynamicCheck(schema, value, path, issues, context) {
+    return `m(${String(pushSchema(context, schema))},${value},${path},${issues});`;
+}
 /**
  * @brief emit check call.
  * @details Generated-source helpers keep the side-table ABI and JavaScript source shape

package/dist/compile/context.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"context.d.ts","sourceRoot":"","sources":["../../src/compile/context.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAC;AAC/D,OAAO,KAAK,EAAE,WAAW,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAE3D;;;;;;;GAOG;AACH,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,WAAW,GAAG,WAAW,CAchE;AAED;;;;;;;GAOG;AACH,wBAAgB,WAAW,CAAC,OAAO,EAAE,WAAW,EAAE,KAAK,EAAE,YAAY,GAAG,MAAM,CAI7E;AAED;;;;;;;;GAQG;AACH,wBAAgB,SAAS,CAAC,OAAO,EAAE,WAAW,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM,CAIrE;AAED;;;;;;;GAOG;AACH,wBAAgB,UAAU,CAAC,OAAO,EAAE,WAAW,EAAE,KAAK,EAAE,SAAS,MAAM,EAAE,GAAG,MAAM,CAIjF;AAED;;;;;;;GAOG;AACH,wBAAgB,SAAS,CAAC,OAAO,EAAE,WAAW,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM,CAErE;AAED;;;;;;;GAOG;AACH,wBAAgB,UAAU,CAAC,OAAO,EAAE,WAAW,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM,CAatE;AAED;;;;;;;GAOG;AACH,wBAAgB,UAAU,CAAC,OAAO,EAAE,WAAW,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM,CAItE"}
+{"version":3,"file":"context.d.ts","sourceRoot":"","sources":["../../src/compile/context.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAC;AAC/D,OAAO,KAAK,EAAE,WAAW,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAE3D;;;;;;;GAOG;AACH,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,WAAW,GAAG,WAAW,CAgBhE;AAED;;;;;;;GAOG;AACH,wBAAgB,WAAW,CAAC,OAAO,EAAE,WAAW,EAAE,KAAK,EAAE,YAAY,GAAG,MAAM,CAI7E;AAED;;;;;;;;GAQG;AACH,wBAAgB,SAAS,CAAC,OAAO,EAAE,WAAW,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM,CAIrE;AAED;;;;;;;GAOG;AACH,wBAAgB,UAAU,CAAC,OAAO,EAAE,WAAW,EAAE,KAAK,EAAE,SAAS,MAAM,EAAE,GAAG,MAAM,CAIjF;AAED;;;;;;;GAOG;AACH,wBAAgB,SAAS,CAAC,OAAO,EAAE,WAAW,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM,CAErE;AAED;;;;;;;GAOG;AACH,wBAAgB,UAAU,CAAC,OAAO,EAAE,WAAW,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM,CAatE;AAED;;;;;;;GAOG;AACH,wBAAgB,UAAU,CAAC,OAAO,EAAE,WAAW,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM,CAItE"}

package/dist/compile/context.js

@@ -24,6 +24,8 @@ export function createEmitContext(mode) {
         functionNames: new Map(),
         checkFunctions: [],
         checkFunctionNames: new Map(),
+        firstFunctions: [],
+        firstFunctionNames: new Map(),
         stringIndexes: new Map()
     };
 }

package/dist/compile/first.d.ts

@@ -0,0 +1,26 @@
+/**
+ * @file first.ts
+ * @brief First-fault diagnostic validator function table emitter.
+ * @details Generated first-fault helpers return one frozen issue immediately,
+ * keeping hot rejection diagnostics out of the full issue collector.
+ */
+import { type Schema } from "../schema/index.js";
+import type { EmitContext } from "./types.js";
+/**
+ * @brief Emit or reuse a first-fault diagnostic function.
+ * @details Each schema identity maps to one generated first-fault function so
+ * recursive and shared schemas keep stable function identities in source.
+ * @param schema Schema whose first diagnostic should be emitted.
+ * @param context Shared code-generation context.
+ * @returns Generated first-fault function name.
+ */
+export declare function emitFirstFunction(schema: Schema, context: EmitContext): string;
+/**
+ * @brief Emit all first-fault diagnostic functions.
+ * @details Generated functions return undefined on success or one frozen issue
+ * on failure. They never allocate an issue array.
+ * @param context Shared code-generation context with accumulated sources.
+ * @returns Concatenated JavaScript function declarations.
+ */
+export declare function emitFirstFunctions(context: EmitContext): string;
+//# sourceMappingURL=first.d.ts.map

package/dist/compile/first.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"first.d.ts","sourceRoot":"","sources":["../../src/compile/first.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAWH,OAAO,EAYH,KAAK,MAAM,EACd,MAAM,oBAAoB,CAAC;AAS5B,OAAO,KAAK,EAAE,WAAW,EAAkB,MAAM,YAAY,CAAC;AAE9D;;;;;;;GAOG;AACH,wBAAgB,iBAAiB,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,WAAW,GAAG,MAAM,CAc9E;AAED;;;;;;GAMG;AACH,wBAAgB,kBAAkB,CAAC,OAAO,EAAE,WAAW,GAAG,MAAM,CAS/D"}