typesea 0.1.0 → 0.3.0

package/dist/json-schema/read.d.ts

@@ -1,29 +1,50 @@
 /**
  * @file read.ts
  * @brief Input normalization for JSON Schema export.
+ * @details JSON Schema helpers emit only representations that preserve TypeSea semantics or
+ * report a structured export issue.
  */
 import { type Schema } from "../schema/index.js";
 import type { JsonSchemaOptions } from "./types.js";
 /**
  * @brief draft 07 schema id.
+ * @details JSON Schema helpers emit only representations that preserve TypeSea semantics or
+ * report a structured export issue.
  * @invariant The value is the default dialect marker for TypeSea JSON Schema output.
  */
 export declare const JSON_SCHEMA_DRAFT_07_ID = "http://json-schema.org/draft-07/schema#";
 /**
  * @brief draft 2020 12 schema id.
+ * @details JSON Schema helpers emit only representations that preserve TypeSea semantics or
+ * report a structured export issue.
  * @invariant The value selects the `prefixItems` tuple keyword set.
  */
 export declare const JSON_SCHEMA_2020_12_ID = "https://json-schema.org/draft/2020-12/schema";
 /**
- * @brief read json schema guard schema.
+ * @brief Read the schema carried by a guard for JSON Schema export.
+ * @param guard Candidate guard-like value.
+ * @returns Frozen schema accepted by the exporter.
+ * @throws TypeError when the receiver does not expose a valid TypeSea schema.
+ * @details Export can be used at package or build boundaries, so forged
+ * prototype schema fields are rejected before conversion begins.
  */
 export declare function readJsonSchemaGuardSchema(guard: unknown): Schema;
 /**
- * @brief read json schema schema.
+ * @brief Validate and freeze a direct schema export input.
+ * @details JSON Schema helpers emit only representations that preserve TypeSea semantics or
+ * report a structured export issue.
+ * @param schema Candidate TypeSea schema.
+ * @returns Frozen schema tree safe for traversal by emitters.
+ * @throws TypeError when the schema shape is malformed.
  */
 export declare function readJsonSchemaSchema(schema: unknown): Schema;
 /**
- * @brief read json schema options.
+ * @brief Normalize JSON Schema exporter options.
+ * @param options Candidate options object.
+ * @returns Dialect and schema id with defaults filled in.
+ * @throws TypeError when option fields are not supported.
+ * @details Options are read through own data slots so a caller cannot influence
+ * export dialect through inherited getters or prototype state.
  */
 export declare function readJsonSchemaOptions(options: unknown): JsonSchemaOptions;
 //# sourceMappingURL=read.d.ts.map

package/dist/json-schema/read.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"read.d.ts","sourceRoot":"","sources":["../../src/json-schema/read.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAGL,KAAK,MAAM,EACZ,MAAM,oBAAoB,CAAC;AAC5B,OAAO,KAAK,EAEV,iBAAiB,EAClB,MAAM,YAAY,CAAC;AAEpB;;;GAGG;AACH,eAAO,MAAM,uBAAuB,4CAA4C,CAAC;AAEjF;;;GAGG;AACH,eAAO,MAAM,sBAAsB,iDAAiD,CAAC;AAErF;;GAEG;AACH,wBAAgB,yBAAyB,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,CAKhE;AAED;;GAEG;AACH,wBAAgB,oBAAoB,CAAC,MAAM,EAAE,OAAO,GAAG,MAAM,CAK5D;AAED;;GAEG;AACH,wBAAgB,qBAAqB,CAAC,OAAO,EAAE,OAAO,GAAG,iBAAiB,CAmBzE"}
+{"version":3,"file":"read.d.ts","sourceRoot":"","sources":["../../src/json-schema/read.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAGH,KAAK,MAAM,EACd,MAAM,oBAAoB,CAAC;AAC5B,OAAO,KAAK,EAER,iBAAiB,EACpB,MAAM,YAAY,CAAC;AAEpB;;;;;GAKG;AACH,eAAO,MAAM,uBAAuB,4CAA4C,CAAC;AAEjF;;;;;GAKG;AACH,eAAO,MAAM,sBAAsB,iDAAiD,CAAC;AAErF;;;;;;;GAOG;AACH,wBAAgB,yBAAyB,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,CAKhE;AAED;;;;;;;GAOG;AACH,wBAAgB,oBAAoB,CAAC,MAAM,EAAE,OAAO,GAAG,MAAM,CAK5D;AAED;;;;;;;GAOG;AACH,wBAAgB,qBAAqB,CAAC,OAAO,EAAE,OAAO,GAAG,iBAAiB,CAmBzE"}

package/dist/json-schema/read.js

@@ -1,29 +1,45 @@
 /**
  * @file read.ts
  * @brief Input normalization for JSON Schema export.
+ * @details JSON Schema helpers emit only representations that preserve TypeSea semantics or
+ * report a structured export issue.
  */
 import { freezeSchema, isSchemaValue } from "../schema/index.js";
 /**
  * @brief draft 07 schema id.
+ * @details JSON Schema helpers emit only representations that preserve TypeSea semantics or
+ * report a structured export issue.
  * @invariant The value is the default dialect marker for TypeSea JSON Schema output.
  */
 export const JSON_SCHEMA_DRAFT_07_ID = "http://json-schema.org/draft-07/schema#";
 /**
  * @brief draft 2020 12 schema id.
+ * @details JSON Schema helpers emit only representations that preserve TypeSea semantics or
+ * report a structured export issue.
  * @invariant The value selects the `prefixItems` tuple keyword set.
  */
 export const JSON_SCHEMA_2020_12_ID = "https://json-schema.org/draft/2020-12/schema";
 /**
- * @brief read json schema guard schema.
+ * @brief Read the schema carried by a guard for JSON Schema export.
+ * @param guard Candidate guard-like value.
+ * @returns Frozen schema accepted by the exporter.
+ * @throws TypeError when the receiver does not expose a valid TypeSea schema.
+ * @details Export can be used at package or build boundaries, so forged
+ * prototype schema fields are rejected before conversion begins.
  */
 export function readJsonSchemaGuardSchema(guard) {
     if (!isRecord(guard)) {
         throw new TypeError("JSON Schema guard must be a TypeSea guard");
     }
-    return readJsonSchemaSchema(guard["schema"]);
+    return readJsonSchemaSchema(readOwnDataProperty(guard, "schema"));
 }
 /**
- * @brief read json schema schema.
+ * @brief Validate and freeze a direct schema export input.
+ * @details JSON Schema helpers emit only representations that preserve TypeSea semantics or
+ * report a structured export issue.
+ * @param schema Candidate TypeSea schema.
+ * @returns Frozen schema tree safe for traversal by emitters.
+ * @throws TypeError when the schema shape is malformed.
  */
 export function readJsonSchemaSchema(schema) {
     if (!isSchemaValue(schema)) {
@@ -32,7 +48,12 @@ export function readJsonSchemaSchema(schema) {
     return freezeSchema(schema);
 }
 /**
- * @brief read json schema options.
+ * @brief Normalize JSON Schema exporter options.
+ * @param options Candidate options object.
+ * @returns Dialect and schema id with defaults filled in.
+ * @throws TypeError when option fields are not supported.
+ * @details Options are read through own data slots so a caller cannot influence
+ * export dialect through inherited getters or prototype state.
  */
 export function readJsonSchemaOptions(options) {
     if (options === undefined) {
@@ -44,8 +65,8 @@ export function readJsonSchemaOptions(options) {
     if (!isRecord(options)) {
         throw new TypeError("JSON Schema options must be an object");
     }
-    const schemaId = options["schemaId"];
-    const dialect = readJsonSchemaDialect(options["dialect"], schemaId);
+    const schemaId = readOwnDataProperty(options, "schemaId");
+    const dialect = readJsonSchemaDialect(readOwnDataProperty(options, "dialect"), schemaId);
     if (schemaId !== undefined && typeof schemaId !== "string") {
         throw new TypeError("JSON Schema schemaId must be a string");
     }
@@ -55,9 +76,13 @@ export function readJsonSchemaOptions(options) {
     };
 }
 /**
- * @brief read json schema dialect.
- * @details Derives the emitter keyword set from the requested JSON Schema dialect.
+ * @brief Normalize the requested JSON Schema dialect.
+ * @details JSON Schema helpers emit only representations that preserve TypeSea semantics or
+ * report a structured export issue.
+ * @param value Candidate dialect option.
+ * @param schemaId Schema id used as a compatibility hint.
  * @returns Normalized JSON Schema dialect.
+ * @throws TypeError when the dialect string is outside the supported set.
  */
 function readJsonSchemaDialect(value, schemaId) {
     if (value === undefined) {
@@ -69,9 +94,11 @@ function readJsonSchemaDialect(value, schemaId) {
     throw new TypeError("JSON Schema dialect must be draft-07 or 2020-12");
 }
 /**
- * @brief infer json schema dialect.
- * @details Chooses a keyword set from well-known schema identifiers without trusting arbitrary strings.
- * @returns Normalized JSON Schema dialect.
+ * @brief Infer the dialect from a well-known schema id marker.
+ * @details JSON Schema helpers emit only representations that preserve TypeSea semantics or
+ * report a structured export issue.
+ * @param schemaId Candidate schema id.
+ * @returns Draft 2020-12 when the id names that draft, otherwise draft-07.
  */
 function inferJsonSchemaDialect(schemaId) {
     if (typeof schemaId === "string" && schemaId.includes("2020-12")) {
@@ -80,8 +107,28 @@ function inferJsonSchemaDialect(schemaId) {
     return "draft-07";
 }
 /**
- * @brief is record.
+ * @brief Accept option records before descriptor-based reads.
+ * @details JSON Schema helpers emit only representations that preserve TypeSea semantics or
+ * report a structured export issue.
+ * @param value Candidate options or guard object.
+ * @returns True for non-array objects.
  */
 function isRecord(value) {
     return typeof value === "object" && value !== null && !Array.isArray(value);
 }
+/**
+ * @brief Read one own data option without consulting prototypes.
+ * @details JSON Schema helpers emit only representations that preserve TypeSea semantics or
+ * report a structured export issue.
+ * @param value Object being normalized.
+ * @param key Field name or symbol.
+ * @returns Stored field value, or undefined when absent.
+ */
+function readOwnDataProperty(value, key) {
+    const descriptor = Object.getOwnPropertyDescriptor(value, key);
+    if (descriptor === undefined ||
+        !Object.prototype.hasOwnProperty.call(descriptor, "value")) {
+        return undefined;
+    }
+    return descriptor.value;
+}

package/dist/json-schema/types.d.ts

@@ -1,28 +1,40 @@
 /**
  * @file types.ts
  * @brief JSON Schema export data contracts.
+ * @details JSON Schema helpers emit only representations that preserve TypeSea semantics or
+ * report a structured export issue.
  */
 import type { PathSegment } from "../issue/index.js";
 /**
- * @brief json schema.
+ * @brief Public JSON Schema fragment produced by the exporter.
+ * @details JSON Schema allows boolean schemas at every position, so the TypeSea
+ * model keeps that union explicit instead of wrapping boolean fragments in
+ * object shells.
  */
 export type JsonSchema = boolean | JsonSchemaObject;
 /**
- * @brief json schema primitive.
+ * @brief Literal values that can be represented losslessly in JSON Schema.
+ * @details Undefined, bigint, symbol, NaN, infinity, and negative zero are not
+ * part of this type because the exporter reports them as unsupported instead of
+ * weakening literal semantics.
  */
 export type JsonSchemaPrimitive = string | number | boolean | null;
 /**
- * @brief json schema type name.
+ * @brief Type names accepted by the emitted JSON Schema `type` keyword.
+ * @details The list is intentionally closed so emitters cannot spell dialect
+ * keywords or runtime-only TypeSea domains as plain strings.
  */
 export type JsonSchemaTypeName = "null" | "boolean" | "object" | "array" | "number" | "integer" | "string";
 /**
- * @brief json schema dialect.
+ * @brief JSON Schema dialects supported by TypeSea emission.
  * @details Defines the keyword set selected for emitted schemas.
  * @invariant Each dialect maps to one stable tuple representation.
  */
 export type JsonSchemaDialect = "draft-07" | "2020-12";
 /**
- * @brief json schema object.
+ * @brief Readonly JSON Schema object shape returned from public APIs.
+ * @details The interface contains only keywords emitted by TypeSea. Keeping the
+ * shape narrow catches accidental exporter drift in TypeScript before release.
  */
 export interface JsonSchemaObject {
     readonly $schema?: string;
@@ -34,10 +46,14 @@ export interface JsonSchemaObject {
     readonly maxLength?: number;
     readonly minimum?: number;
     readonly maximum?: number;
+    readonly exclusiveMinimum?: number;
+    readonly exclusiveMaximum?: number;
+    readonly multipleOf?: number;
     readonly items?: JsonSchema | readonly JsonSchema[];
     /**
-     * @brief additional items.
-     * @details Documents draft-07 tuple tail validation so older validators do not silently skip tuple element schemas.
+     * @brief Draft-07 tuple tail schema for values past fixed positions.
+     * @details Older validators read this field when `items` is an array, so it
+     * must be emitted for strict TypeSea tuple length semantics.
      * @invariant When `items` is an array, this field controls values past the fixed tuple length.
      */
     readonly additionalItems?: JsonSchema;
@@ -51,11 +67,15 @@ export interface JsonSchemaObject {
     readonly allOf?: readonly JsonSchema[];
 }
 /**
- * @brief json schema export code.
+ * @brief Closed set of JSON Schema export failure codes.
+ * @details Codes are stable machine-readable diagnostics. The human message may
+ * change, but adapter logic can branch on these strings.
  */
-export type JsonSchemaExportCode = "unsupported_bigint" | "unsupported_symbol" | "unsupported_undefined" | "unsupported_number_literal" | "unsupported_number_bound" | "unsupported_regex_flags" | "unsupported_lazy" | "unsupported_refine" | "unsupported_decoder" | "unsupported_async_decoder" | "unsupported_child";
+export type JsonSchemaExportCode = "unsupported_bigint" | "unsupported_symbol" | "unsupported_date" | "unsupported_runtime_object" | "unsupported_undefined" | "unsupported_number_literal" | "unsupported_number_bound" | "unsupported_regex_flags" | "unsupported_lazy" | "unsupported_refine" | "unsupported_decoder" | "unsupported_async_decoder" | "unsupported_child";
 /**
- * @brief json schema export issue.
+ * @brief Structured diagnostic produced when export would lose semantics.
+ * @details Paths point into the TypeSea schema tree, not the emitted JSON
+ * Schema, because failures occur before a complete output document exists.
  */
 export interface JsonSchemaExportIssue {
     readonly path: readonly PathSegment[];
@@ -63,19 +83,24 @@ export interface JsonSchemaExportIssue {
     readonly message: string;
 }
 /**
- * @brief json schema options.
+ * @brief Configuration accepted by JSON Schema export APIs.
+ * @details Options are normalized before emission so the lower-level emitters
+ * can select dialect behavior without repeatedly checking optional fields.
  */
 export interface JsonSchemaOptions {
     /**
-     * @brief dialect.
-     * @details Selects the JSON Schema keyword set before emission begins.
+     * @brief Keyword family selected for the emitted document.
+     * @details Tuple schemas use `items` arrays for draft-07 and `prefixItems`
+     * for 2020-12.
      * @invariant Tuple schemas use `items` arrays for draft-07 and `prefixItems` for 2020-12.
      */
     readonly dialect: JsonSchemaDialect;
     readonly schemaId: string | undefined;
 }
 /**
- * @brief mutable json schema object.
+ * @brief Internal mutable JSON Schema object used during emission.
+ * @details Emitters fill this shape in local loops, then `freezeJsonSchema`
+ * hardens it before the value crosses the public API boundary.
  */
 export interface MutableJsonSchemaObject {
     $schema?: string;
@@ -87,10 +112,14 @@ export interface MutableJsonSchemaObject {
     maxLength?: number;
     minimum?: number;
     maximum?: number;
+    exclusiveMinimum?: number;
+    exclusiveMaximum?: number;
+    multipleOf?: number;
     items?: JsonSchema | readonly JsonSchema[];
     /**
-     * @brief additional items.
-     * @details Documents draft-07 tuple tail validation so older validators do not silently skip tuple element schemas.
+     * @brief Draft-07 tuple tail schema for values past fixed positions.
+     * @details Older validators read this field when `items` is an array, so it
+     * must be emitted for strict TypeSea tuple length semantics.
      * @invariant When `items` is an array, this field controls values past the fixed tuple length.
      */
     additionalItems?: JsonSchema;

package/dist/json-schema/types.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/json-schema/types.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAErD;;GAEG;AACH,MAAM,MAAM,UAAU,GAAG,OAAO,GAAG,gBAAgB,CAAC;AAEpD;;GAEG;AACH,MAAM,MAAM,mBAAmB,GAAG,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,IAAI,CAAC;AAEnE;;GAEG;AACH,MAAM,MAAM,kBAAkB,GAC1B,MAAM,GACN,SAAS,GACT,QAAQ,GACR,OAAO,GACP,QAAQ,GACR,SAAS,GACT,QAAQ,CAAC;AAEb;;;;GAIG;AACH,MAAM,MAAM,iBAAiB,GACzB,UAAU,GACV,SAAS,CAAC;AAEd;;GAEG;AACH,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,IAAI,CAAC,EAAE,kBAAkB,GAAG,SAAS,kBAAkB,EAAE,CAAC;IACnE,QAAQ,CAAC,KAAK,CAAC,EAAE,mBAAmB,CAAC;IACrC,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,KAAK,CAAC,EAAE,UAAU,GAAG,SAAS,UAAU,EAAE,CAAC;IAEpD;;;;OAIG;IACH,QAAQ,CAAC,eAAe,CAAC,EAAE,UAAU,CAAC;IACtC,QAAQ,CAAC,WAAW,CAAC,EAAE,SAAS,UAAU,EAAE,CAAC;IAC7C,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,UAAU,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC,CAAC;IAC3D,QAAQ,CAAC,QAAQ,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACtC,QAAQ,CAAC,oBAAoB,CAAC,EAAE,UAAU,CAAC;IAC3C,QAAQ,CAAC,KAAK,CAAC,EAAE,SAAS,UAAU,EAAE,CAAC;IACvC,QAAQ,CAAC,KAAK,CAAC,EAAE,SAAS,UAAU,EAAE,CAAC;CACxC;AAED;;GAEG;AACH,MAAM,MAAM,oBAAoB,GAC5B,oBAAoB,GACpB,oBAAoB,GACpB,uBAAuB,GACvB,4BAA4B,GAC5B,0BAA0B,GAC1B,yBAAyB,GACzB,kBAAkB,GAClB,oBAAoB,GACpB,qBAAqB,GACrB,2BAA2B,GAC3B,mBAAmB,CAAC;AAExB;;GAEG;AACH,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,IAAI,EAAE,SAAS,WAAW,EAAE,CAAC;IACtC,QAAQ,CAAC,IAAI,EAAE,oBAAoB,CAAC;IACpC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B;AAED;;GAEG;AACH,MAAM,WAAW,iBAAiB;IAEhC;;;;OAIG;IACH,QAAQ,CAAC,OAAO,EAAE,iBAAiB,CAAC;IACpC,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,SAAS,CAAC;CACvC;AAED;;GAEG;AACH,MAAM,WAAW,uBAAuB;IACtC,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,IAAI,CAAC,EAAE,kBAAkB,GAAG,SAAS,kBAAkB,EAAE,CAAC;IAC1D,KAAK,CAAC,EAAE,mBAAmB,CAAC;IAC5B,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,KAAK,CAAC,EAAE,UAAU,GAAG,SAAS,UAAU,EAAE,CAAC;IAE3C;;;;OAIG;IACH,eAAe,CAAC,EAAE,UAAU,CAAC;IAC7B,WAAW,CAAC,EAAE,SAAS,UAAU,EAAE,CAAC;IACpC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,UAAU,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC,CAAC;IAClD,QAAQ,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC7B,oBAAoB,CAAC,EAAE,UAAU,CAAC;IAClC,KAAK,CAAC,EAAE,SAAS,UAAU,EAAE,CAAC;IAC9B,KAAK,CAAC,EAAE,SAAS,UAAU,EAAE,CAAC;CAC/B"}
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/json-schema/types.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAErD;;;;;GAKG;AACH,MAAM,MAAM,UAAU,GAAG,OAAO,GAAG,gBAAgB,CAAC;AAEpD;;;;;GAKG;AACH,MAAM,MAAM,mBAAmB,GAAG,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,IAAI,CAAC;AAEnE;;;;GAIG;AACH,MAAM,MAAM,kBAAkB,GACxB,MAAM,GACN,SAAS,GACT,QAAQ,GACR,OAAO,GACP,QAAQ,GACR,SAAS,GACT,QAAQ,CAAC;AAEf;;;;GAIG;AACH,MAAM,MAAM,iBAAiB,GACvB,UAAU,GACV,SAAS,CAAC;AAEhB;;;;GAIG;AACH,MAAM,WAAW,gBAAgB;IAC7B,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,IAAI,CAAC,EAAE,kBAAkB,GAAG,SAAS,kBAAkB,EAAE,CAAC;IACnE,QAAQ,CAAC,KAAK,CAAC,EAAE,mBAAmB,CAAC;IACrC,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,gBAAgB,CAAC,EAAE,MAAM,CAAC;IACnC,QAAQ,CAAC,gBAAgB,CAAC,EAAE,MAAM,CAAC;IACnC,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,KAAK,CAAC,EAAE,UAAU,GAAG,SAAS,UAAU,EAAE,CAAC;IAEpD;;;;;OAKG;IACH,QAAQ,CAAC,eAAe,CAAC,EAAE,UAAU,CAAC;IACtC,QAAQ,CAAC,WAAW,CAAC,EAAE,SAAS,UAAU,EAAE,CAAC;IAC7C,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,UAAU,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC,CAAC;IAC3D,QAAQ,CAAC,QAAQ,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACtC,QAAQ,CAAC,oBAAoB,CAAC,EAAE,UAAU,CAAC;IAC3C,QAAQ,CAAC,KAAK,CAAC,EAAE,SAAS,UAAU,EAAE,CAAC;IACvC,QAAQ,CAAC,KAAK,CAAC,EAAE,SAAS,UAAU,EAAE,CAAC;CAC1C;AAED;;;;GAIG;AACH,MAAM,MAAM,oBAAoB,GAC1B,oBAAoB,GACpB,oBAAoB,GACpB,kBAAkB,GAClB,4BAA4B,GAC5B,uBAAuB,GACvB,4BAA4B,GAC5B,0BAA0B,GAC1B,yBAAyB,GACzB,kBAAkB,GAClB,oBAAoB,GACpB,qBAAqB,GACrB,2BAA2B,GAC3B,mBAAmB,CAAC;AAE1B;;;;GAIG;AACH,MAAM,WAAW,qBAAqB;IAClC,QAAQ,CAAC,IAAI,EAAE,SAAS,WAAW,EAAE,CAAC;IACtC,QAAQ,CAAC,IAAI,EAAE,oBAAoB,CAAC;IACpC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC5B;AAED;;;;GAIG;AACH,MAAM,WAAW,iBAAiB;IAE9B;;;;;OAKG;IACH,QAAQ,CAAC,OAAO,EAAE,iBAAiB,CAAC;IACpC,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,SAAS,CAAC;CACzC;AAED;;;;GAIG;AACH,MAAM,WAAW,uBAAuB;IACpC,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,IAAI,CAAC,EAAE,kBAAkB,GAAG,SAAS,kBAAkB,EAAE,CAAC;IAC1D,KAAK,CAAC,EAAE,mBAAmB,CAAC;IAC5B,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,KAAK,CAAC,EAAE,UAAU,GAAG,SAAS,UAAU,EAAE,CAAC;IAE3C;;;;;OAKG;IACH,eAAe,CAAC,EAAE,UAAU,CAAC;IAC7B,WAAW,CAAC,EAAE,SAAS,UAAU,EAAE,CAAC;IACpC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,UAAU,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC,CAAC;IAClD,QAAQ,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC7B,oBAAoB,CAAC,EAAE,UAAU,CAAC;IAClC,KAAK,CAAC,EAAE,SAAS,UAAU,EAAE,CAAC;IAC9B,KAAK,CAAC,EAAE,SAAS,UAAU,EAAE,CAAC;CACjC"}

package/dist/json-schema/types.js

@@ -1,5 +1,7 @@
 /**
  * @file types.ts
  * @brief JSON Schema export data contracts.
+ * @details JSON Schema helpers emit only representations that preserve TypeSea semantics or
+ * report a structured export issue.
  */
 export {};

package/dist/kind/index.d.ts

@@ -1,5 +1,7 @@
 /**
- * @brief schema tag.
+ * @brief Numeric schema tags used in frozen schema records.
+ * @details Plain objects avoid TypeScript enum emit and keep runtime constants
+ * stable for generated validators.
  */
 export declare const SchemaTag: {
     readonly String: 1;
@@ -23,60 +25,70 @@ export declare const SchemaTag: {
     readonly BigInt: 19;
     readonly Symbol: 20;
     readonly Intersection: 21;
+    readonly Date: 22;
+    readonly Map: 23;
+    readonly Set: 24;
+    readonly InstanceOf: 25;
+    readonly Property: 26;
 };
-/**
- * @brief schema tag.
- */
 export type SchemaTag = (typeof SchemaTag)[keyof typeof SchemaTag];
 /**
- * @brief object mode tag.
+ * @brief Object unknown-key policy tags.
+ * @details This declaration records the local invariant that callers rely on after this
+ * module boundary.
  */
 export declare const ObjectModeTag: {
     readonly Passthrough: 1;
     readonly Strict: 2;
 };
-/**
- * @brief object mode tag.
- */
 export type ObjectModeTag = (typeof ObjectModeTag)[keyof typeof ObjectModeTag];
 /**
- * @brief presence tag.
+ * @brief Required/optional field presence tags for object entries.
+ * @details This declaration is kept narrow so downstream code can rely on a closed set of
+ * supported values.
  */
 export declare const PresenceTag: {
     readonly Required: 1;
     readonly Optional: 2;
 };
-/**
- * @brief presence tag.
- */
 export type PresenceTag = (typeof PresenceTag)[keyof typeof PresenceTag];
-/**
- * @brief string check tag.
- */
 export declare const StringCheckTag: {
     readonly Min: 1;
     readonly Max: 2;
     readonly Regex: 3;
     readonly Uuid: 4;
+    readonly Email: 5;
+    readonly Url: 6;
+    readonly IsoDate: 7;
+    readonly IsoDateTime: 8;
+    readonly Ulid: 9;
+    readonly Ipv4: 10;
+    readonly Ipv6: 11;
 };
-/**
- * @brief string check tag.
- */
 export type StringCheckTag = (typeof StringCheckTag)[keyof typeof StringCheckTag];
-/**
- * @brief number check tag.
- */
 export declare const NumberCheckTag: {
     readonly Integer: 1;
     readonly Gte: 2;
     readonly Lte: 3;
+    readonly Gt: 4;
+    readonly Lt: 5;
+    readonly MultipleOf: 6;
 };
-/**
- * @brief number check tag.
- */
 export type NumberCheckTag = (typeof NumberCheckTag)[keyof typeof NumberCheckTag];
+export declare const DateCheckTag: {
+    readonly Min: 1;
+    readonly Max: 2;
+};
+export type DateCheckTag = (typeof DateCheckTag)[keyof typeof DateCheckTag];
+export declare const ArrayCheckTag: {
+    readonly Min: 1;
+    readonly Max: 2;
+};
+export type ArrayCheckTag = (typeof ArrayCheckTag)[keyof typeof ArrayCheckTag];
 /**
- * @brief node tag.
+ * @brief IR node tags with reserved numeric ranges by node family.
+ * @details Sparse ranges make graph dumps easier to scan and leave room for
+ * adding specialized nodes without renumbering old ones.
  */
 export declare const NodeTag: {
     readonly Start: 1;
@@ -107,13 +119,13 @@ export declare const NodeTag: {
     readonly TupleItems: 41;
     readonly RecordEvery: 42;
     readonly DiscriminantDispatch: 43;
+    readonly ObjectShape: 44;
+    readonly UnionDispatch: 45;
+    readonly PrimitiveUnion: 46;
     readonly Not: 50;
     readonly And: 51;
     readonly Or: 52;
     readonly Return: 70;
 };
-/**
- * @brief node tag.
- */
 export type NodeTag = (typeof NodeTag)[keyof typeof NodeTag];
 //# sourceMappingURL=index.d.ts.map

package/dist/kind/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/kind/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AACH,eAAO,MAAM,SAAS;;;;;;;;;;;;;;;;;;;;;;CAsBZ,CAAC;AAEX;;GAEG;AACH,MAAM,MAAM,SAAS,GAAG,CAAC,OAAO,SAAS,CAAC,CAAC,MAAM,OAAO,SAAS,CAAC,CAAC;AAEnE;;GAEG;AACH,eAAO,MAAM,aAAa;;;CAGhB,CAAC;AAEX;;GAEG;AACH,MAAM,MAAM,aAAa,GAAG,CAAC,OAAO,aAAa,CAAC,CAAC,MAAM,OAAO,aAAa,CAAC,CAAC;AAE/E;;GAEG;AACH,eAAO,MAAM,WAAW;;;CAGd,CAAC;AAEX;;GAEG;AACH,MAAM,MAAM,WAAW,GAAG,CAAC,OAAO,WAAW,CAAC,CAAC,MAAM,OAAO,WAAW,CAAC,CAAC;AAEzE;;GAEG;AACH,eAAO,MAAM,cAAc;;;;;CAKjB,CAAC;AAEX;;GAEG;AACH,MAAM,MAAM,cAAc,GACxB,CAAC,OAAO,cAAc,CAAC,CAAC,MAAM,OAAO,cAAc,CAAC,CAAC;AAEvD;;GAEG;AACH,eAAO,MAAM,cAAc;;;;CAIjB,CAAC;AAEX;;GAEG;AACH,MAAM,MAAM,cAAc,GACxB,CAAC,OAAO,cAAc,CAAC,CAAC,MAAM,OAAO,cAAc,CAAC,CAAC;AAEvD;;GAEG;AACH,eAAO,MAAM,OAAO;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAiCV,CAAC;AAEX;;GAEG;AACH,MAAM,MAAM,OAAO,GAAG,CAAC,OAAO,OAAO,CAAC,CAAC,MAAM,OAAO,OAAO,CAAC,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/kind/index.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,eAAO,MAAM,SAAS;;;;;;;;;;;;;;;;;;;;;;;;;;;CA2BZ,CAAC;AAEX,MAAM,MAAM,SAAS,GAAG,CAAC,OAAO,SAAS,CAAC,CAAC,MAAM,OAAO,SAAS,CAAC,CAAC;AAEnE;;;;GAIG;AACH,eAAO,MAAM,aAAa;;;CAGhB,CAAC;AAEX,MAAM,MAAM,aAAa,GAAG,CAAC,OAAO,aAAa,CAAC,CAAC,MAAM,OAAO,aAAa,CAAC,CAAC;AAE/E;;;;GAIG;AACH,eAAO,MAAM,WAAW;;;CAGd,CAAC;AAEX,MAAM,MAAM,WAAW,GAAG,CAAC,OAAO,WAAW,CAAC,CAAC,MAAM,OAAO,WAAW,CAAC,CAAC;AAEzE,eAAO,MAAM,cAAc;;;;;;;;;;;;CAYjB,CAAC;AAEX,MAAM,MAAM,cAAc,GACtB,CAAC,OAAO,cAAc,CAAC,CAAC,MAAM,OAAO,cAAc,CAAC,CAAC;AAEzD,eAAO,MAAM,cAAc;;;;;;;CAOjB,CAAC;AAEX,MAAM,MAAM,cAAc,GACtB,CAAC,OAAO,cAAc,CAAC,CAAC,MAAM,OAAO,cAAc,CAAC,CAAC;AAEzD,eAAO,MAAM,YAAY;;;CAGf,CAAC;AAEX,MAAM,MAAM,YAAY,GACpB,CAAC,OAAO,YAAY,CAAC,CAAC,MAAM,OAAO,YAAY,CAAC,CAAC;AAErD,eAAO,MAAM,aAAa;;;CAGhB,CAAC;AAEX,MAAM,MAAM,aAAa,GACrB,CAAC,OAAO,aAAa,CAAC,CAAC,MAAM,OAAO,aAAa,CAAC,CAAC;AAEvD;;;;GAIG;AACH,eAAO,MAAM,OAAO;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAoCV,CAAC;AAEX,MAAM,MAAM,OAAO,GAAG,CAAC,OAAO,OAAO,CAAC,CAAC,MAAM,OAAO,OAAO,CAAC,CAAC"}

package/dist/kind/index.js

@@ -1,5 +1,7 @@
 /**
- * @brief schema tag.
+ * @brief Numeric schema tags used in frozen schema records.
+ * @details Plain objects avoid TypeScript enum emit and keep runtime constants
+ * stable for generated validators.
  */
 export const SchemaTag = {
     String: 1,
@@ -22,41 +24,64 @@ export const SchemaTag = {
     Never: 18,
     BigInt: 19,
     Symbol: 20,
-    Intersection: 21
+    Intersection: 21,
+    Date: 22,
+    Map: 23,
+    Set: 24,
+    InstanceOf: 25,
+    Property: 26
 };
 /**
- * @brief object mode tag.
+ * @brief Object unknown-key policy tags.
+ * @details This declaration records the local invariant that callers rely on after this
+ * module boundary.
  */
 export const ObjectModeTag = {
     Passthrough: 1,
     Strict: 2
 };
 /**
- * @brief presence tag.
+ * @brief Required/optional field presence tags for object entries.
+ * @details This declaration is kept narrow so downstream code can rely on a closed set of
+ * supported values.
  */
 export const PresenceTag = {
     Required: 1,
     Optional: 2
 };
-/**
- * @brief string check tag.
- */
 export const StringCheckTag = {
     Min: 1,
     Max: 2,
     Regex: 3,
-    Uuid: 4
+    Uuid: 4,
+    Email: 5,
+    Url: 6,
+    IsoDate: 7,
+    IsoDateTime: 8,
+    Ulid: 9,
+    Ipv4: 10,
+    Ipv6: 11
 };
-/**
- * @brief number check tag.
- */
 export const NumberCheckTag = {
     Integer: 1,
     Gte: 2,
-    Lte: 3
+    Lte: 3,
+    Gt: 4,
+    Lt: 5,
+    MultipleOf: 6
+};
+export const DateCheckTag = {
+    Min: 1,
+    Max: 2
+};
+export const ArrayCheckTag = {
+    Min: 1,
+    Max: 2
 };
 /**
- * @brief node tag.
+ * @brief IR node tags with reserved numeric ranges by node family.
+ * @details Sparse ranges make graph dumps easier to scan and leave room for
+ * adding specialized nodes without renumbering old ones.
  */
 export const NodeTag = {
     Start: 1,
@@ -87,6 +112,9 @@ export const NodeTag = {
     TupleItems: 41,
     RecordEvery: 42,
     DiscriminantDispatch: 43,
+    ObjectShape: 44,
+    UnionDispatch: 45,
+    PrimitiveUnion: 46,
     Not: 50,
     And: 51,
     Or: 52,

package/dist/lower/index.d.ts

@@ -1,7 +1,12 @@
 import { type Graph } from "../ir/index.js";
 import { type Schema } from "../schema/index.js";
 /**
- * @brief lower schema.
+ * @brief Convert one schema root into a Sea-of-Nodes predicate graph.
+ * @details The graph always starts with a single input parameter and ends in a
+ * boolean return node. Keeping that calling convention uniform lets optimizer,
+ * interpreter, compiler, and AOT code consume the same IR shape.
+ * @param schema Root schema to lower into predicate IR.
+ * @returns Graph with one parameter and one return node.
  */
 export declare function lowerSchema(schema: Schema): Graph;
 //# sourceMappingURL=index.d.ts.map

package/dist/lower/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/lower/index.ts"],"names":[],"mappings":"AAOA,OAAO,EAAgB,KAAK,KAAK,EAAe,MAAM,gBAAgB,CAAC;AACvE,OAAO,EAAgB,KAAK,MAAM,EAAE,MAAM,oBAAoB,CAAC;AAE/D;;GAEG;AACH,wBAAgB,WAAW,CAAC,MAAM,EAAE,MAAM,GAAG,KAAK,CAOjD"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/lower/index.ts"],"names":[],"mappings":"AAMA,OAAO,EAEH,KAAK,KAAK,EAIb,MAAM,gBAAgB,CAAC;AAExB,OAAO,EASH,KAAK,MAAM,EACd,MAAM,oBAAoB,CAAC;AAE5B;;;;;;;GAOG;AACH,wBAAgB,WAAW,CAAC,MAAM,EAAE,MAAM,GAAG,KAAK,CAOjD"}