typesea 0.1.0 → 0.3.0

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

@@ -1,24 +1,112 @@
 /**
  * @file compile/check-scalar.ts
  * @brief Scalar diagnostic validator snippets.
+ * @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 { type LiteralValue, type Schema } from "../schema/index.js";
 import type { EmitContext } from "./types.js";
 /**
  * @brief emit string check.
+ * @details Generated-source helpers keep the side-table ABI and JavaScript source shape
+ * stable across runtime and AOT emission.
+ * @param schema String schema with scalar checks.
+ * @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.
+ * @param context Shared code-generation context.
+ * @returns JavaScript source for root string diagnostics.
  */
 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
+ * mutable path frame and calling a child collector for scalar schemas.
+ * @param schema Candidate leaf schema.
+ * @param value Generated expression for the candidate value.
+ * @param path Generated expression for the current diagnostic path.
+ * @param segmentExpression Generated expression for the appended path segment.
+ * @param issues Generated expression for the issue buffer.
+ * @param context Shared code-generation context.
+ * @returns Inline diagnostic source, or undefined when a full child collector is required.
+ */
+export declare function emitLeafCheckAtSegment(schema: Schema, value: string, path: string, segmentExpression: string, issues: string, context: EmitContext): string | undefined;
+/**
+ * @brief emit leaf check for a proven undefined value at one path segment.
+ * @details Array and tuple holes are known to be undefined. Emitting only the
+ * reachable type or literal issue keeps generated collectors smaller and avoids
+ * cold constraint branches that V8 still has to parse.
+ * @param schema Candidate leaf schema.
+ * @param path Generated expression for the current diagnostic path.
+ * @param segmentExpression Generated expression for the appended path segment.
+ * @param issues Generated expression for the issue buffer.
+ * @param context Shared code-generation context.
+ * @returns Inline diagnostic source, or undefined when a full child collector is required.
+ */
+export declare function emitUndefinedLeafCheckAtSegment(schema: Schema, path: string, segmentExpression: string, issues: string, context: EmitContext): string | undefined;
+/**
+ * @brief emit leaf check at two appended path segments.
+ * @details Used by object-field array/record diagnostics to avoid push/pop path
+ * mutation when both parent key and child key are known in generated source.
+ * @param schema Candidate leaf schema.
+ * @param value Generated expression for the candidate value.
+ * @param path Generated expression for the current diagnostic path.
+ * @param firstSegmentExpression Generated expression for the parent segment.
+ * @param secondSegmentExpression Generated expression for the child segment.
+ * @param issues Generated expression for the issue buffer.
+ * @param context Shared code-generation context.
+ * @returns Inline diagnostic source, or undefined when a full child collector is required.
+ */
+export declare function emitLeafCheckAtTwoSegments(schema: Schema, value: string, path: string, firstSegmentExpression: string, secondSegmentExpression: string, issues: string, context: EmitContext): string | undefined;
+/**
+ * @brief emit leaf check for a proven undefined value at two path segments.
+ * @details Array and tuple holes under object fields are known to be undefined,
+ * so the emitter can skip value reads and emit only reachable leaf issues.
+ * @param schema Candidate leaf schema.
+ * @param path Generated expression for the current diagnostic path.
+ * @param firstSegmentExpression Generated expression for the parent segment.
+ * @param secondSegmentExpression Generated expression for the child segment.
+ * @param issues Generated expression for the issue buffer.
+ * @param context Shared code-generation context.
+ * @returns Inline diagnostic source, or undefined when a full child collector is required.
+ */
+export declare function emitUndefinedLeafCheckAtTwoSegments(schema: Schema, path: string, firstSegmentExpression: string, secondSegmentExpression: string, issues: string, context: EmitContext): string | undefined;
 /**
  * @brief emit number check.
+ * @details Generated-source helpers keep the side-table ABI and JavaScript source shape
+ * stable across runtime and AOT emission.
+ * @param schema Number schema with scalar checks.
+ * @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 number diagnostics.
  */
 export declare function emitNumberCheck(schema: Extract<Schema, {
     readonly tag: typeof SchemaTag.Number;
 }>, value: string, path: string, issues: string): string;
 /**
  * @brief emit literal check.
+ * @details Generated-source helpers keep the side-table ABI and JavaScript source shape
+ * stable across runtime and AOT emission.
+ * @param value Literal expected by the schema.
+ * @param checked Generated expression for the candidate value.
+ * @param path Generated expression for the current diagnostic path.
+ * @param issues Generated expression for the issue buffer.
+ * @param context Shared code-generation context.
+ * @returns JavaScript source for root literal diagnostics.
  */
 export declare function emitLiteralCheck(value: LiteralValue, checked: string, path: string, issues: string, context: EmitContext): string;
 //# sourceMappingURL=check-scalar.d.ts.map

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;;;GAGG;AAEH,OAAO,EAEL,SAAS,EAEV,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAEL,KAAK,YAAY,EACjB,KAAK,MAAM,EACZ,MAAM,oBAAoB,CAAC;AAQ5B,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAE9C;;GAEG;AACH,wBAAgB,eAAe,CAC7B,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,GACnB,MAAM,CA4CR;AAED;;GAEG;AACH,wBAAgB,eAAe,CAC7B,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,GACb,MAAM,CA+CR;AAED;;GAEG;AACH,wBAAgB,gBAAgB,CAC9B,KAAK,EAAE,YAAY,EACnB,OAAO,EAAE,MAAM,EACf,IAAI,EAAE,MAAM,EACZ,MAAM,EAAE,MAAM,EACd,OAAO,EAAE,WAAW,GACnB,MAAM,CASR"}
+{"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"}