typesea 0.1.0 → 0.3.0

package/dist/compile/check.js

@@ -1,21 +1,33 @@
 /**
  * @file compile/check.ts
  * @brief Diagnostic validator function table emitter.
+ * @details Generated-source helpers keep the side-table ABI and JavaScript source shape
+ * stable across runtime and AOT emission.
  */
 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";
 /**
  * @brief emit check function.
+ * @details Generated-source helpers keep the side-table ABI and JavaScript source shape
+ * stable across runtime and AOT emission.
+ * @param schema Schema whose diagnostics should be emitted.
+ * @param context Shared code-generation context.
+ * @returns Generated diagnostic function name.
+ * @invariant The same schema object maps to one diagnostic function per bundle.
  */
 export function emitCheckFunction(schema, context) {
     const cached = context.checkFunctionNames.get(schema);
     if (cached !== undefined) {
         return cached;
     }
+    /*
+     * Insert the placeholder before emitting the body. Recursive schemas can
+     * request this same function while the current body is still being built.
+     */
     const name = `c${String(context.checkFunctions.length)}`;
     const source = {
         name,
@@ -28,6 +40,10 @@ export function emitCheckFunction(schema, context) {
 }
 /**
  * @brief emit check functions.
+ * @details Generated-source helpers keep the side-table ABI and JavaScript source shape
+ * stable across runtime and AOT emission.
+ * @param context Shared code-generation context with accumulated check sources.
+ * @returns Concatenated JavaScript function declarations.
  */
 export function emitCheckFunctions(context) {
     const chunks = new Array(context.checkFunctions.length);
@@ -42,6 +58,14 @@ export function emitCheckFunctions(context) {
 }
 /**
  * @brief emit check body.
+ * @details Generated-source helpers keep the side-table ABI and JavaScript source shape
+ * stable across runtime and AOT emission.
+ * @param schema Schema represented by this diagnostic body.
+ * @param value Generated expression for the candidate value.
+ * @param path Generated expression for the mutable path stack.
+ * @param issues Generated expression for the issue buffer.
+ * @param context Shared code-generation context.
+ * @returns JavaScript source for diagnostic collection.
  */
 function emitCheckBody(schema, value, path, issues, context) {
     switch (schema.tag) {
@@ -53,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:
@@ -62,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:
@@ -87,11 +121,36 @@ function emitCheckBody(schema, value, path, issues, context) {
             return emitCheckCall(schema.inner, value, path, issues, context);
         case SchemaTag.Lazy:
         case SchemaTag.Refine:
-            return `m(${String(pushSchema(context, schema))},${value},${path},${issues});`;
+            /*
+             * Lazy and refine schemas execute runtime logic that cannot be safely
+             * inlined into generated source. The `m` helper calls the interpreter
+             * diagnostic path through the dynamic schema side table.
+             */
+            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
+ * stable across runtime and AOT emission.
+ * @param schema Child schema to dispatch to.
+ * @param value Generated expression for the child value.
+ * @param path Generated expression for the mutable path stack.
+ * @param issues Generated expression for the issue buffer.
+ * @param context Shared code-generation context.
+ * @returns JavaScript source for invoking the child diagnostic function.
  */
 function emitCheckCall(schema, value, path, issues, context) {
     return `${emitCheckFunction(schema, context)}(${value},${path},${issues});`;

package/dist/compile/context.d.ts

@@ -1,35 +1,73 @@
 /**
  * @file compile/context.ts
  * @brief Generated-source emitter side-table context.
+ * @details Generated-source helpers keep the side-table ABI and JavaScript source shape
+ * stable across runtime and AOT emission.
  */
 import type { LiteralValue, Schema } from "../schema/index.js";
-import type { EmitContext } from "./types.js";
+import type { CompileMode, EmitContext } from "./types.js";
 /**
- * @brief create emit context.
+ * @brief Create one mutable source-emission context.
+ * @details Generated-source helpers keep the side-table ABI and JavaScript source shape
+ * stable across runtime and AOT emission.
+ * @param mode Compile mode that controls safety and allocation tradeoffs.
+ * @returns Fresh side-table context consumed by predicate and diagnostic emitters.
+ * @invariant Side tables are append-only during one bundle emission.
  */
-export declare function createEmitContext(): EmitContext;
+export declare function createEmitContext(mode: CompileMode): EmitContext;
 /**
- * @brief push literal.
+ * @brief Append a literal to the generated factory side table.
+ * @details Generated-source helpers keep the side-table ABI and JavaScript source shape
+ * stable across runtime and AOT emission.
+ * @param context Mutable emission context.
+ * @param value Literal value referenced by generated source.
+ * @returns Index used by generated code to read `l[index]`.
  */
 export declare function pushLiteral(context: EmitContext, value: LiteralValue): number;
 /**
- * @brief push regex.
+ * @brief Append a regular expression to the generated factory side table.
+ * @details Generated-source helpers keep the side-table ABI and JavaScript source shape
+ * stable across runtime and AOT emission.
+ * @param context Mutable emission context.
+ * @param value Source RegExp from the schema.
+ * @returns Index used by generated code to read `r[index]`.
+ * @post The stored RegExp is cloned so generated validation does not mutate user state.
  */
 export declare function pushRegex(context: EmitContext, value: RegExp): number;
 /**
- * @brief push keyset.
+ * @brief Append a keyset to the generated factory side table.
+ * @details Generated-source helpers keep the side-table ABI and JavaScript source shape
+ * stable across runtime and AOT emission.
+ * @param context Mutable emission context.
+ * @param value Frozen or caller-owned key list used by object checks.
+ * @returns Index used by generated code to read `k[index]`.
  */
 export declare function pushKeyset(context: EmitContext, value: readonly string[]): number;
 /**
- * @brief string ref.
+ * @brief Return a generated expression for a string side-table entry.
+ * @details Generated-source helpers keep the side-table ABI and JavaScript source shape
+ * stable across runtime and AOT emission.
+ * @param context Mutable emission context.
+ * @param value String value to intern.
+ * @returns Generated expression of the form `u[index]`.
  */
 export declare function stringRef(context: EmitContext, value: string): string;
 /**
- * @brief push string.
+ * @brief Intern a string in the generated factory side table.
+ * @details Generated-source helpers keep the side-table ABI and JavaScript source shape
+ * stable across runtime and AOT emission.
+ * @param context Mutable emission context.
+ * @param value String value referenced by generated source.
+ * @returns Stable side-table index for the string.
  */
 export declare function pushString(context: EmitContext, value: string): number;
 /**
- * @brief push schema.
+ * @brief Append a dynamic schema to the generated factory side table.
+ * @details Generated-source helpers keep the side-table ABI and JavaScript source shape
+ * stable across runtime and AOT emission.
+ * @param context Mutable emission context.
+ * @param value Schema used by fallback or lazy generated paths.
+ * @returns Index used by generated code to read `d[index]`.
  */
 export declare function pushSchema(context: EmitContext, value: Schema): number;
 //# sourceMappingURL=context.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"context.d.ts","sourceRoot":"","sources":["../../src/compile/context.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAC;AAC/D,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAE9C;;GAEG;AACH,wBAAgB,iBAAiB,IAAI,WAAW,CAa/C;AAED;;GAEG;AACH,wBAAgB,WAAW,CAAC,OAAO,EAAE,WAAW,EAAE,KAAK,EAAE,YAAY,GAAG,MAAM,CAI7E;AAED;;GAEG;AACH,wBAAgB,SAAS,CAAC,OAAO,EAAE,WAAW,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM,CAIrE;AAED;;GAEG;AACH,wBAAgB,UAAU,CAAC,OAAO,EAAE,WAAW,EAAE,KAAK,EAAE,SAAS,MAAM,EAAE,GAAG,MAAM,CAIjF;AAED;;GAEG;AACH,wBAAgB,SAAS,CAAC,OAAO,EAAE,WAAW,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM,CAErE;AAED;;GAEG;AACH,wBAAgB,UAAU,CAAC,OAAO,EAAE,WAAW,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM,CAStE;AAED;;GAEG;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

@@ -1,12 +1,20 @@
 /**
  * @file compile/context.ts
  * @brief Generated-source emitter side-table context.
+ * @details Generated-source helpers keep the side-table ABI and JavaScript source shape
+ * stable across runtime and AOT emission.
  */
 /**
- * @brief create emit context.
+ * @brief Create one mutable source-emission context.
+ * @details Generated-source helpers keep the side-table ABI and JavaScript source shape
+ * stable across runtime and AOT emission.
+ * @param mode Compile mode that controls safety and allocation tradeoffs.
+ * @returns Fresh side-table context consumed by predicate and diagnostic emitters.
+ * @invariant Side tables are append-only during one bundle emission.
  */
-export function createEmitContext() {
+export function createEmitContext(mode) {
     return {
+        mode,
         literals: [],
         regexps: [],
         keysets: [],
@@ -16,11 +24,18 @@ export function createEmitContext() {
         functionNames: new Map(),
         checkFunctions: [],
         checkFunctionNames: new Map(),
+        firstFunctions: [],
+        firstFunctionNames: new Map(),
         stringIndexes: new Map()
     };
 }
 /**
- * @brief push literal.
+ * @brief Append a literal to the generated factory side table.
+ * @details Generated-source helpers keep the side-table ABI and JavaScript source shape
+ * stable across runtime and AOT emission.
+ * @param context Mutable emission context.
+ * @param value Literal value referenced by generated source.
+ * @returns Index used by generated code to read `l[index]`.
  */
 export function pushLiteral(context, value) {
     const index = context.literals.length;
@@ -28,7 +43,13 @@ export function pushLiteral(context, value) {
     return index;
 }
 /**
- * @brief push regex.
+ * @brief Append a regular expression to the generated factory side table.
+ * @details Generated-source helpers keep the side-table ABI and JavaScript source shape
+ * stable across runtime and AOT emission.
+ * @param context Mutable emission context.
+ * @param value Source RegExp from the schema.
+ * @returns Index used by generated code to read `r[index]`.
+ * @post The stored RegExp is cloned so generated validation does not mutate user state.
  */
 export function pushRegex(context, value) {
     const index = context.regexps.length;
@@ -36,7 +57,12 @@ export function pushRegex(context, value) {
     return index;
 }
 /**
- * @brief push keyset.
+ * @brief Append a keyset to the generated factory side table.
+ * @details Generated-source helpers keep the side-table ABI and JavaScript source shape
+ * stable across runtime and AOT emission.
+ * @param context Mutable emission context.
+ * @param value Frozen or caller-owned key list used by object checks.
+ * @returns Index used by generated code to read `k[index]`.
  */
 export function pushKeyset(context, value) {
     const index = context.keysets.length;
@@ -44,26 +70,45 @@ export function pushKeyset(context, value) {
     return index;
 }
 /**
- * @brief string ref.
+ * @brief Return a generated expression for a string side-table entry.
+ * @details Generated-source helpers keep the side-table ABI and JavaScript source shape
+ * stable across runtime and AOT emission.
+ * @param context Mutable emission context.
+ * @param value String value to intern.
+ * @returns Generated expression of the form `u[index]`.
  */
 export function stringRef(context, value) {
     return `u[${String(pushString(context, value))}]`;
 }
 /**
- * @brief push string.
+ * @brief Intern a string in the generated factory side table.
+ * @details Generated-source helpers keep the side-table ABI and JavaScript source shape
+ * stable across runtime and AOT emission.
+ * @param context Mutable emission context.
+ * @param value String value referenced by generated source.
+ * @returns Stable side-table index for the string.
  */
 export function pushString(context, value) {
     const cached = context.stringIndexes.get(value);
     if (cached !== undefined) {
         return cached;
     }
+    /*
+     * String interning keeps generated source small and lets repeated object
+     * keys reuse the same frozen path segment cache.
+     */
     const index = context.strings.length;
     context.strings.push(value);
     context.stringIndexes.set(value, index);
     return index;
 }
 /**
- * @brief push schema.
+ * @brief Append a dynamic schema to the generated factory side table.
+ * @details Generated-source helpers keep the side-table ABI and JavaScript source shape
+ * stable across runtime and AOT emission.
+ * @param context Mutable emission context.
+ * @param value Schema used by fallback or lazy generated paths.
+ * @returns Index used by generated code to read `d[index]`.
  */
 export function pushSchema(context, value) {
     const index = context.schemas.length;

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"}