typesea 0.1.0 → 0.3.0

package/dist/compile/guard.d.ts

@@ -1,41 +1,33 @@
 /**
  * @file compile/guard.ts
  * @brief Compiled guard construction and receiver validation.
+ * @details Generated-source helpers keep the side-table ABI and JavaScript source shape
+ * stable across runtime and AOT emission.
  */
 import { BaseGuard, type Guard, type Presence, type RuntimeValue } from "../guard/index.js";
 import type { CheckResult } from "../issue/index.js";
 import { type Schema } from "../schema/index.js";
-import { type BooleanPredicate, type IssueCollectorRoot } from "./runtime.js";
+import { type BooleanPredicate, type CheckResultRoot, type IssueCollectorRoot } from "./runtime.js";
 import type { CompileOptions, CompiledGuard } from "./types.js";
 /**
- * @brief compiled base guard.
- * @details Owns its state directly; methods expose receiver checks and explicit result flow.
- * @invariant Construction leaves the instance in a fully usable state before it escapes.
+ * @brief Guard backed by generated predicate and diagnostic collectors.
+ * @details The boolean predicate is the hot path; the collector is only entered
+ * after a failed predicate so successful validation does not allocate issues.
+ * @invariant test, collect, and source are immutable after construction.
  */
 export declare class CompiledBaseGuard<TValue, TPresence extends Presence = "required"> extends BaseGuard<TValue, TPresence> implements CompiledGuard<TValue, TPresence> {
+    #private;
     readonly source: string;
-    private readonly test;
-    private readonly collect;
-    /**
-     * @brief constructor.
-               * @post The receiver is initialized according to the class invariant before it can be observed.
-     */
-    constructor(schema: Schema, test: BooleanPredicate, collect: IssueCollectorRoot, source: string);
-    /**
-     * @brief is.
-             */
-    is(this: unknown, value: unknown): value is RuntimeValue<TValue, TPresence>;
-    /**
-     * @brief check.
-             */
-    check(this: unknown, value: unknown): CheckResult<RuntimeValue<TValue, TPresence>>;
-    /**
-     * @brief assert.
-             */
-    assert(this: unknown, value: unknown): asserts value is RuntimeValue<TValue, TPresence>;
+    constructor(schema: Schema, test: BooleanPredicate, collect: IssueCollectorRoot, source: string, trustedCollector?: boolean, checkResult?: CheckResultRoot, checkFirstResult?: CheckResultRoot);
+    is(this: CompiledBaseGuard<TValue, TPresence>, value: unknown): value is RuntimeValue<TValue, TPresence>;
+    check(this: CompiledBaseGuard<TValue, TPresence>, value: unknown): CheckResult<RuntimeValue<TValue, TPresence>>;
+    checkFirst(this: CompiledBaseGuard<TValue, TPresence>, value: unknown): CheckResult<RuntimeValue<TValue, TPresence>>;
+    assert(this: CompiledBaseGuard<TValue, TPresence>, value: unknown): asserts value is RuntimeValue<TValue, TPresence>;
 }
 /**
- * @brief compile.
+ * @brief Emit a V8-visible validator function for a guard schema.
+ * @details The generated function keeps literals and dynamic schema fallbacks in
+ * side tables so the source body remains monomorphic and easy to inline.
  */
 export declare function compile<TValue, TPresence extends Presence>(guard: Guard<TValue, TPresence>, options?: Partial<CompileOptions>): CompiledBaseGuard<TValue, TPresence>;
 //# sourceMappingURL=guard.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"guard.d.ts","sourceRoot":"","sources":["../../src/compile/guard.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EACL,SAAS,EAET,KAAK,KAAK,EACV,KAAK,QAAQ,EACb,KAAK,YAAY,EAClB,MAAM,mBAAmB,CAAC;AAC3B,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAGrD,OAAO,EAGL,KAAK,MAAM,EACZ,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EAIL,KAAK,gBAAgB,EAErB,KAAK,kBAAkB,EACxB,MAAM,cAAc,CAAC;AAEtB,OAAO,KAAK,EACV,cAAc,EACd,aAAa,EACd,MAAM,YAAY,CAAC;AAOpB;;;;GAIG;AACH,qBAAa,iBAAiB,CAC5B,MAAM,EACN,SAAS,SAAS,QAAQ,GAAG,UAAU,CACvC,SAAQ,SAAS,CAAC,MAAM,EAAE,SAAS,CAAE,YAAW,aAAa,CAAC,MAAM,EAAE,SAAS,CAAC;IAChF,SAAwB,MAAM,EAAE,MAAM,CAAC;IACvC,iBAAyB,IAAI,CAAmB;IAChD,iBAAyB,OAAO,CAAqB;IAErD;;;OAGG;gBAED,MAAM,EAAE,MAAM,EACd,IAAI,EAAE,gBAAgB,EACtB,OAAO,EAAE,kBAAkB,EAC3B,MAAM,EAAE,MAAM;IAmBhB;;eAEW;IACK,EAAE,CAChB,IAAI,EAAE,OAAO,EACb,KAAK,EAAE,OAAO,GACb,KAAK,IAAI,YAAY,CAAC,MAAM,EAAE,SAAS,CAAC;IAI3C;;eAEW;IACK,KAAK,CACnB,IAAI,EAAE,OAAO,EACb,KAAK,EAAE,OAAO,GACb,WAAW,CAAC,YAAY,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;IAI/C;;eAEW;IACK,MAAM,CACpB,IAAI,EAAE,OAAO,EACb,KAAK,EAAE,OAAO,GACb,OAAO,CAAC,KAAK,IAAI,YAAY,CAAC,MAAM,EAAE,SAAS,CAAC;CAMpD;AAED;;GAEG;AACH,wBAAgB,OAAO,CAAC,MAAM,EAAE,SAAS,SAAS,QAAQ,EACxD,KAAK,EAAE,KAAK,CAAC,MAAM,EAAE,SAAS,CAAC,EAC/B,OAAO,CAAC,EAAE,OAAO,CAAC,cAAc,CAAC,GAChC,iBAAiB,CAAC,MAAM,EAAE,SAAS,CAAC,CAgCtC"}
+{"version":3,"file":"guard.d.ts","sourceRoot":"","sources":["../../src/compile/guard.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EACH,SAAS,EAET,KAAK,KAAK,EACV,KAAK,QAAQ,EACb,KAAK,YAAY,EACpB,MAAM,mBAAmB,CAAC;AAC3B,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAGrD,OAAO,EAGH,KAAK,MAAM,EACd,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EAKH,KAAK,gBAAgB,EACrB,KAAK,eAAe,EAEpB,KAAK,kBAAkB,EAC1B,MAAM,cAAc,CAAC;AAEtB,OAAO,KAAK,EAER,cAAc,EACd,aAAa,EAChB,MAAM,YAAY,CAAC;AAMpB;;;;;GAKG;AACH,qBAAa,iBAAiB,CAC1B,MAAM,EACN,SAAS,SAAS,QAAQ,GAAG,UAAU,CACzC,SAAQ,SAAS,CAAC,MAAM,EAAE,SAAS,CAAE,YAAW,aAAa,CAAC,MAAM,EAAE,SAAS,CAAC;;IAO9E,SAAwB,MAAM,EAAE,MAAM,CAAC;gBAGnC,MAAM,EAAE,MAAM,EACd,IAAI,EAAE,gBAAgB,EACtB,OAAO,EAAE,kBAAkB,EAC3B,MAAM,EAAE,MAAM,EACd,gBAAgB,UAAQ,EACxB,WAAW,CAAC,EAAE,eAAe,EAC7B,gBAAgB,CAAC,EAAE,eAAe;IAqCtB,EAAE,CACd,IAAI,EAAE,iBAAiB,CAAC,MAAM,EAAE,SAAS,CAAC,EAC1C,KAAK,EAAE,OAAO,GACf,KAAK,IAAI,YAAY,CAAC,MAAM,EAAE,SAAS,CAAC;IAI3B,KAAK,CACjB,IAAI,EAAE,iBAAiB,CAAC,MAAM,EAAE,SAAS,CAAC,EAC1C,KAAK,EAAE,OAAO,GACf,WAAW,CAAC,YAAY,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;IAW/B,UAAU,CACtB,IAAI,EAAE,iBAAiB,CAAC,MAAM,EAAE,SAAS,CAAC,EAC1C,KAAK,EAAE,OAAO,GACf,WAAW,CAAC,YAAY,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;IAW/B,MAAM,CAClB,IAAI,EAAE,iBAAiB,CAAC,MAAM,EAAE,SAAS,CAAC,EAC1C,KAAK,EAAE,OAAO,GACf,OAAO,CAAC,KAAK,IAAI,YAAY,CAAC,MAAM,EAAE,SAAS,CAAC;CAYtD;AAED;;;;GAIG;AACH,wBAAgB,OAAO,CAAC,MAAM,EAAE,SAAS,SAAS,QAAQ,EACtD,KAAK,EAAE,KAAK,CAAC,MAAM,EAAE,SAAS,CAAC,EAC/B,OAAO,CAAC,EAAE,OAAO,CAAC,cAAc,CAAC,GAClC,iBAAiB,CAAC,MAAM,EAAE,SAAS,CAAC,CA2CtC"}

package/dist/compile/guard.js

@@ -1,28 +1,31 @@
 /**
  * @file compile/guard.ts
  * @brief Compiled guard construction and receiver validation.
+ * @details Generated-source helpers keep the side-table ABI and JavaScript source shape
+ * stable across runtime and AOT emission.
  */
 import { BaseGuard, TypeSeaAssertionError } from "../guard/index.js";
 import { finalizeIssueArray } from "../issue/index.js";
 import { err, ok } from "../result/index.js";
 import { freezeSchema, isSchemaValue } from "../schema/index.js";
-import { makeDynamicCheck, makeDynamicIssueCheck, strictKeys } from "./runtime.js";
+import { makeDynamicCheck, makeDynamicFirstIssueCheck, makeDynamicIssueCheck, strictKeys } from "./runtime.js";
 import { emitCompiledSourceBundle } from "./source.js";
+const trustedCollectors = new WeakSet();
+const trustedCheckResults = new WeakSet();
+const trustedPredicates = new WeakSet();
 /**
- * @brief constructed compiled guards.
- */
-const constructedCompiledGuards = new WeakSet();
-/**
- * @brief compiled base guard.
- * @details Owns its state directly; methods expose receiver checks and explicit result flow.
- * @invariant Construction leaves the instance in a fully usable state before it escapes.
+ * @brief Guard backed by generated predicate and diagnostic collectors.
+ * @details The boolean predicate is the hot path; the collector is only entered
+ * after a failed predicate so successful validation does not allocate issues.
+ * @invariant test, collect, and source are immutable after construction.
  */
 export class CompiledBaseGuard extends BaseGuard {
-    /**
-     * @brief constructor.
-               * @post The receiver is initialized according to the class invariant before it can be observed.
-     */
-    constructor(schema, test, collect, source) {
+    #test;
+    #collect;
+    #trustedCollector;
+    #checkResult;
+    #checkFirstResult;
+    constructor(schema, test, collect, source, trustedCollector = false, checkResult, checkFirstResult) {
         if (typeof test !== "function") {
             throw new TypeError("compiled guard test must be a function");
         }
@@ -33,111 +36,222 @@ export class CompiledBaseGuard extends BaseGuard {
             throw new TypeError("compiled guard source must be a string");
         }
         super(schema);
-        defineReadonlyProperty(this, "test", test, false);
-        defineReadonlyProperty(this, "collect", collect, false);
+        this.#test = test;
+        this.#collect = collect;
+        this.#trustedCollector = trustedCollector && trustedCollectors.has(collect);
+        this.#checkResult = checkResult !== undefined &&
+            trustedCheckResults.has(checkResult)
+            ? checkResult
+            : undefined;
+        this.#checkFirstResult = checkFirstResult !== undefined &&
+            trustedCheckResults.has(checkFirstResult)
+            ? checkFirstResult
+            : undefined;
         defineReadonlyProperty(this, "source", source, true);
-        constructedCompiledGuards.add(this);
+        if (trustedPredicates.has(test) &&
+            this.#checkResult !== undefined &&
+            this.#checkFirstResult !== undefined) {
+            defineTrustedHotMethods(this, test, this.#checkResult, this.#checkFirstResult);
+        }
         Object.freeze(this);
     }
-    /**
-     * @brief is.
-             */
     is(value) {
-        return isStrictTrue(readCompiledTest(this)(value));
+        return isStrictTrue(this.#test(value));
     }
-    /**
-     * @brief check.
-             */
     check(value) {
-        return runCompiledCheck(this, value);
+        if (this.#checkResult !== undefined) {
+            return this.#checkResult(value);
+        }
+        return runCompiledCheck(this.#collect, this.#trustedCollector, value);
+    }
+    checkFirst(value) {
+        if (this.#checkFirstResult !== undefined) {
+            return this.#checkFirstResult(value);
+        }
+        return runCompiledCheckFirst(this.#collect, this.#trustedCollector, value);
     }
-    /**
-     * @brief assert.
-             */
     assert(value) {
-        const result = runCompiledCheck(this, value);
+        const result = this.#checkResult === undefined
+            ? runCompiledCheck(this.#collect, this.#trustedCollector, value)
+            : this.#checkResult(value);
         if (!result.ok) {
             throw new TypeSeaAssertionError(result.error);
         }
     }
 }
 /**
- * @brief compile.
+ * @brief Emit a V8-visible validator function for a guard schema.
+ * @details The generated function keeps literals and dynamic schema fallbacks in
+ * side tables so the source body remains monomorphic and easy to inline.
  */
 export function compile(guard, options) {
     const schema = readCompileSchema(guard);
     const name = readCompileName(options);
-    const bundle = emitCompiledSourceBundle(schema, name);
+    const mode = readCompileMode(options);
+    const bundle = emitCompiledSourceBundle(schema, name, mode);
     // compile() intentionally emits source so V8 can optimize the validator body.
     // eslint-disable-next-line @typescript-eslint/no-implied-eval
-    const factory = new Function("l", "r", "k", "u", "d", "m", "sk", bundle.source);
+    const factory = new Function("l", "r", "k", "u", "d", "m", "mf", "sk", bundle.source);
     const dynamicCheck = makeDynamicCheck(bundle.dynamicSchemas);
-    const runtime = factory(bundle.literals, bundle.regexps, bundle.keysets, bundle.strings, dynamicCheck, makeDynamicIssueCheck(bundle.dynamicSchemas), strictKeys);
-    return new CompiledBaseGuard(schema, runtime.is, runtime.check, bundle.source);
+    const dynamicFirstIssueCheck = makeDynamicFirstIssueCheck(bundle.dynamicSchemas);
+    const runtime = factory(bundle.literals, bundle.regexps, bundle.keysets, bundle.strings, dynamicCheck, makeDynamicIssueCheck(bundle.dynamicSchemas), dynamicFirstIssueCheck, strictKeys);
+    trustedPredicates.add(runtime.is);
+    trustedCollectors.add(runtime.check);
+    trustedCheckResults.add(runtime.result);
+    trustedCheckResults.add(runtime.first);
+    return new CompiledBaseGuard(schema, runtime.is, runtime.check, bundle.source, true, runtime.result, runtime.first);
 }
 /**
- * @brief read compile schema.
+ * @brief Execute define trusted hot methods.
+ * @details Code generation helpers keep emitted JavaScript shape stable across runtime and AOT paths.
+ */
+function defineTrustedHotMethods(guard, test, checkResult, checkFirstResult) {
+    const self = guard;
+    /*
+     * Compiled guards receive own methods after construction. The closure over
+     * `self` keeps detached calls from reaching optimized validators with a
+     * forged receiver while preserving a tiny call shape for V8.
+     */
+    defineReadonlyProperty(guard, "is", 
+    /**
+     * @brief Execute compiled trusted is.
+     * @details Code generation helpers keep emitted JavaScript shape stable across runtime and AOT paths.
+     */
+    function compiledTrustedIs(value) {
+        if (this !== self) {
+            throw new TypeError("compiled guard method receiver is invalid");
+        }
+        return test(value);
+    }, false);
+    defineReadonlyProperty(guard, "check", 
+    /**
+     * @brief Execute compiled trusted check.
+     * @details Code generation helpers keep emitted JavaScript shape stable across runtime and AOT paths.
+     */
+    function compiledTrustedCheck(value) {
+        if (this !== self) {
+            throw new TypeError("compiled guard method receiver is invalid");
+        }
+        return checkResult(value);
+    }, false);
+    defineReadonlyProperty(guard, "assert", 
+    /**
+     * @brief Execute compiled trusted assert.
+     * @details Code generation helpers keep emitted JavaScript shape stable across runtime and AOT paths.
+     */
+    function compiledTrustedAssert(value) {
+        if (this !== self) {
+            throw new TypeError("compiled guard method receiver is invalid");
+        }
+        const result = checkResult(value);
+        if (!result.ok) {
+            throw new TypeSeaAssertionError(result.error);
+        }
+    }, false);
+    defineReadonlyProperty(guard, "checkFirst", 
+    /**
+     * @brief Execute compiled trusted checkFirst.
+     * @details Code generation helpers keep emitted JavaScript shape stable across runtime and AOT paths.
+     */
+    function compiledTrustedCheckFirst(value) {
+        if (this !== self) {
+            throw new TypeError("compiled guard method receiver is invalid");
+        }
+        return checkFirstResult(value);
+    }, false);
+}
+/**
+ * @brief Normalize the guard input for runtime compilation.
+ * @param guard Candidate guard-like value.
+ * @returns Frozen schema passed to source emission.
+ * @throws TypeError when the input does not expose a valid TypeSea schema.
+ * @details Runtime compilation may be called with structural guard-like values.
+ * The schema is descriptor-read so inherited getters cannot influence emitted
+ * code or mutate the schema between validation and codegen.
  */
 function readCompileSchema(guard) {
     if (!isRecord(guard)) {
         throw new TypeError("compile guard must be a TypeSea guard");
     }
-    const schema = guard["schema"];
+    const schema = readOwnDataProperty(guard, "schema");
     if (!isSchemaValue(schema)) {
         throw new TypeError("compile guard must contain a valid TypeSea schema");
     }
     return freezeSchema(schema);
 }
 /**
- * @brief is strict true.
+ * @brief Accept only the literal boolean success value from compiled predicates.
+ * @details Generated-source helpers keep the side-table ABI and JavaScript source shape
+ * stable across runtime and AOT emission.
+ * @param value Predicate return value.
+ * @returns True only for `true`.
  */
 function isStrictTrue(value) {
     return value === true;
 }
 /**
- * @brief run compiled check.
+ * @brief Read one own data slot from a compile input object.
+ * @details Generated-source helpers keep the side-table ABI and JavaScript source shape
+ * stable across runtime and AOT emission.
+ * @param value Object being normalized.
+ * @param key Field name or symbol.
+ * @returns Stored field value, or undefined when absent.
  */
-function runCompiledCheck(guard, value) {
-    const issues = finalizeIssueArray(readCompiledCollect(guard)(value));
-    if (issues.length === 0) {
-        return ok(value);
+function readOwnDataProperty(value, key) {
+    const descriptor = Object.getOwnPropertyDescriptor(value, key);
+    if (descriptor === undefined ||
+        !Object.prototype.hasOwnProperty.call(descriptor, "value")) {
+        return undefined;
     }
-    return err(issues);
+    return descriptor.value;
 }
 /**
- * @brief read compiled test.
+ * @brief Convert a generated issue collector result into a public Result.
+ * @param collect Generated collector function.
+ * @param trustedCollector Whether the collector came from TypeSea codegen.
+ * @param value Candidate runtime value.
+ * @returns Success result or frozen diagnostic issue result.
+ * @details Trusted collectors already emit internal issue records, so the fast
+ * path freezes only the final vector. Untrusted collectors are normalized
+ * through finalizeIssueArray before publication.
  */
-function readCompiledTest(guard) {
-    if (isConstructedCompiledGuard(guard)) {
-        return guard["test"];
-    }
-    if (!isRecord(guard)) {
-        throw new TypeError("compiled guard receiver must be a TypeSea guard");
+function runCompiledCheck(collect, trustedCollector, value) {
+    const rawIssues = collect(value);
+    if (trustedCollector) {
+        if (rawIssues === undefined || rawIssues.length === 0) {
+            return ok(value);
+        }
+        return err(Object.freeze(rawIssues));
     }
-    const test = guard["test"];
-    if (typeof test !== "function") {
-        throw new TypeError("compiled guard receiver must contain a test function");
+    const issues = finalizeIssueArray(rawIssues);
+    if (issues.length === 0) {
+        return ok(value);
     }
-    return test;
+    return err(issues);
 }
 /**
- * @brief read compiled collect.
+ * @brief Convert a generated collector result into a one-issue public Result.
+ * @details This fallback is used only for manually constructed compiled guards.
+ * Trusted codegen normally installs a dedicated first-result function.
+ * @param collect Generated collector function.
+ * @param trustedCollector Whether the collector came from TypeSea codegen.
+ * @param value Candidate runtime value.
+ * @returns Success result or a frozen failure carrying at most one issue.
  */
-function readCompiledCollect(guard) {
-    if (isConstructedCompiledGuard(guard)) {
-        return guard["collect"];
-    }
-    if (!isRecord(guard)) {
-        throw new TypeError("compiled guard receiver must be a TypeSea guard");
+function runCompiledCheckFirst(collect, trustedCollector, value) {
+    const result = runCompiledCheck(collect, trustedCollector, value);
+    if (result.ok || result.error.length <= 1) {
+        return result;
     }
-    const collect = guard["collect"];
-    if (typeof collect !== "function") {
-        throw new TypeError("compiled guard receiver must contain a collector function");
+    const first = result.error[0];
+    if (first === undefined) {
+        return ok(value);
     }
-    return collect;
+    return err(Object.freeze([first]));
 }
 /**
- * @brief define readonly property.
+ * @brief Execute define readonly property.
+ * @details Code generation helpers keep emitted JavaScript shape stable across runtime and AOT paths.
  */
 function defineReadonlyProperty(target, key, value, enumerable) {
     Object.defineProperty(target, key, {
@@ -148,7 +262,8 @@ function defineReadonlyProperty(target, key, value, enumerable) {
     });
 }
 /**
- * @brief read compile name.
+ * @brief Read compile name.
+ * @details Code generation helpers keep emitted JavaScript shape stable across runtime and AOT paths.
  */
 function readCompileName(options) {
     if (options === undefined) {
@@ -167,14 +282,29 @@ function readCompileName(options) {
     return name;
 }
 /**
- * @brief is record.
+ * @brief Read compile mode.
+ * @details Code generation helpers keep emitted JavaScript shape stable across runtime and AOT paths.
  */
-function isRecord(value) {
-    return typeof value === "object" && value !== null && !Array.isArray(value);
+function readCompileMode(options) {
+    if (options === undefined) {
+        return "safe";
+    }
+    if (!isRecord(options)) {
+        throw new TypeError("compile options must be an object");
+    }
+    const mode = options["mode"];
+    if (mode === undefined) {
+        return "safe";
+    }
+    if (mode === "safe" || mode === "unsafe" || mode === "unchecked") {
+        return mode;
+    }
+    throw new TypeError("compile mode must be \"safe\", \"unsafe\", or \"unchecked\"");
 }
 /**
- * @brief is constructed compiled guard.
+ * @brief Check record.
+ * @details Code generation helpers keep emitted JavaScript shape stable across runtime and AOT paths.
  */
-function isConstructedCompiledGuard(value) {
-    return isRecord(value) && constructedCompiledGuards.has(value);
+function isRecord(value) {
+    return typeof value === "object" && value !== null && !Array.isArray(value);
 }

package/dist/compile/index.d.ts

@@ -1,8 +1,10 @@
 /**
  * @file compile/index.ts
  * @brief Public compile module barrel.
+ * @details This barrel keeps public import paths stable while implementation files remain
+ * split by responsibility.
  */
 export { CompiledBaseGuard, compile } from "./guard.js";
 export { emitCompiledSourceBundle } from "./source.js";
-export type { CompileOptions, CompiledGuard, CompiledSourceBundle } from "./types.js";
+export type { CompileMode, CompileOptions, CompiledGuard, CompiledSourceBundle } from "./types.js";
 //# sourceMappingURL=index.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/compile/index.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EACL,iBAAiB,EACjB,OAAO,EACR,MAAM,YAAY,CAAC;AAEpB,OAAO,EACL,wBAAwB,EACzB,MAAM,aAAa,CAAC;AAErB,YAAY,EACV,cAAc,EACd,aAAa,EACb,oBAAoB,EACrB,MAAM,YAAY,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/compile/index.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EACH,iBAAiB,EACjB,OAAO,EACV,MAAM,YAAY,CAAC;AAEpB,OAAO,EACH,wBAAwB,EAC3B,MAAM,aAAa,CAAC;AAErB,YAAY,EACR,WAAW,EACX,cAAc,EACd,aAAa,EACb,oBAAoB,EACvB,MAAM,YAAY,CAAC"}

package/dist/compile/index.js

@@ -1,6 +1,8 @@
 /**
  * @file compile/index.ts
  * @brief Public compile module barrel.
+ * @details This barrel keeps public import paths stable while implementation files remain
+ * split by responsibility.
  */
 export { CompiledBaseGuard, compile } from "./guard.js";
 export { emitCompiledSourceBundle } from "./source.js";

package/dist/compile/issue.d.ts

@@ -1,18 +1,128 @@
 /**
  * @file compile/issue.ts
  * @brief Diagnostic issue source snippets.
+ * @details Generated-source helpers keep the side-table ABI and JavaScript source shape
+ * stable across runtime and AOT emission.
  */
 import type { EmitContext } from "./types.js";
 /**
  * @brief emit pattern issue.
+ * @details Generated-source helpers keep the side-table ABI and JavaScript source shape
+ * stable across runtime and AOT emission.
+ * @param value Generated expression for the string value.
+ * @param path Generated expression for the current diagnostic path.
+ * @param issues Generated expression for the diagnostic buffer.
+ * @param regex Pattern used by the schema check.
+ * @param name Human-readable pattern name stored in the issue.
+ * @param context Shared code-generation context.
+ * @returns JavaScript source that appends a pattern issue when the test fails.
  */
 export declare function emitPatternIssue(value: string, path: string, issues: string, regex: RegExp, name: string, context: EmitContext): string;
+/**
+ * @brief emit pattern issue at one appended path segment.
+ * @details Generated-source helpers keep the side-table ABI and JavaScript source shape
+ * stable across runtime and AOT emission.
+ * @param value Generated expression for the string value.
+ * @param path Generated expression for the current diagnostic path.
+ * @param segmentExpression Generated expression for the appended segment.
+ * @param issues Generated expression for the diagnostic buffer.
+ * @param regex Pattern used by the schema check.
+ * @param name Human-readable pattern name stored in the issue.
+ * @param context Shared code-generation context.
+ * @returns JavaScript source that appends a one-segment pattern issue.
+ */
+export declare function emitPatternIssueAtSegment(value: string, path: string, segmentExpression: string, issues: string, regex: RegExp, name: string, context: EmitContext): string;
+/**
+ * @brief emit pattern issue at two appended path segments.
+ * @details Generated-source helpers keep the side-table ABI and JavaScript source shape
+ * stable across runtime and AOT emission.
+ * @param value Generated expression for the string value.
+ * @param path Generated expression for the current diagnostic path.
+ * @param firstSegmentExpression Generated expression for the first appended segment.
+ * @param secondSegmentExpression Generated expression for the second appended segment.
+ * @param issues Generated expression for the diagnostic buffer.
+ * @param regex Pattern used by the schema check.
+ * @param name Human-readable pattern name stored in the issue.
+ * @param context Shared code-generation context.
+ * @returns JavaScript source that appends a two-segment pattern issue.
+ */
+export declare function emitPatternIssueAtTwoSegments(value: string, path: string, firstSegmentExpression: string, secondSegmentExpression: string, issues: string, regex: RegExp, name: string, context: EmitContext): string;
 /**
  * @brief emit issue.
+ * @details Generated-source helpers keep the side-table ABI and JavaScript source shape
+ * stable across runtime and AOT emission.
+ * @param issues Generated expression for the diagnostic buffer.
+ * @param path Generated expression for the current diagnostic path.
+ * @param code Issue code string.
+ * @param expected Expected type or condition text.
+ * @param actualExpression Generated expression for actual type text.
+ * @returns JavaScript source that appends an issue at the current path.
  */
 export declare function emitIssue(issues: string, path: string, code: string, expected: string, actualExpression: string): string;
+/**
+ * @brief emit issue at one appended path segment.
+ * @details Generated-source helpers keep the side-table ABI and JavaScript source shape
+ * stable across runtime and AOT emission.
+ * @param issues Generated expression for the diagnostic buffer.
+ * @param path Generated expression for the current diagnostic path.
+ * @param segmentExpression Generated expression for the appended segment.
+ * @param code Issue code string.
+ * @param expected Expected type or condition text.
+ * @param actualExpression Generated expression for actual type text.
+ * @returns JavaScript source that appends an issue under one extra segment.
+ */
+export declare function emitIssueAtSegment(issues: string, path: string, segmentExpression: string, code: string, expected: string, actualExpression: string): string;
+/**
+ * @brief emit issue at two appended path segments.
+ * @details Generated-source helpers keep the side-table ABI and JavaScript source shape
+ * stable across runtime and AOT emission.
+ * @param issues Generated expression for the diagnostic buffer.
+ * @param path Generated expression for the current diagnostic path.
+ * @param firstSegmentExpression Generated expression for the first appended segment.
+ * @param secondSegmentExpression Generated expression for the second appended segment.
+ * @param code Issue code string.
+ * @param expected Expected type or condition text.
+ * @param actualExpression Generated expression for actual type text.
+ * @returns JavaScript source that appends an issue under two extra segments.
+ */
+export declare function emitIssueAtTwoSegments(issues: string, path: string, firstSegmentExpression: string, secondSegmentExpression: string, code: string, expected: string, actualExpression: string): string;
 /**
  * @brief emit issue expr.
+ * @details Generated-source helpers keep the side-table ABI and JavaScript source shape
+ * stable across runtime and AOT emission.
+ * @param issues Generated expression for the diagnostic buffer.
+ * @param path Generated expression for the current diagnostic path.
+ * @param code Issue code string.
+ * @param expectedExpression Generated expression for expected text.
+ * @param actualExpression Generated expression for actual type text.
+ * @returns JavaScript source that appends an issue using expression operands.
  */
 export declare function emitIssueExpr(issues: string, path: string, code: string, expectedExpression: string, actualExpression: string): string;
+/**
+ * @brief emit issue expr at one appended path segment.
+ * @details Generated-source helpers keep the side-table ABI and JavaScript source shape
+ * stable across runtime and AOT emission.
+ * @param issues Generated expression for the diagnostic buffer.
+ * @param path Generated expression for the current diagnostic path.
+ * @param segmentExpression Generated expression for the appended segment.
+ * @param code Issue code string.
+ * @param expectedExpression Generated expression for expected text.
+ * @param actualExpression Generated expression for actual type text.
+ * @returns JavaScript source using the most compact one-segment issue helper.
+ */
+export declare function emitIssueExprAtSegment(issues: string, path: string, segmentExpression: string, code: string, expectedExpression: string, actualExpression: string): string;
+/**
+ * @brief emit issue expr at two appended path segments.
+ * @details Generated-source helpers keep the side-table ABI and JavaScript source shape
+ * stable across runtime and AOT emission.
+ * @param issues Generated expression for the diagnostic buffer.
+ * @param path Generated expression for the current diagnostic path.
+ * @param firstSegmentExpression Generated expression for the first appended segment.
+ * @param secondSegmentExpression Generated expression for the second appended segment.
+ * @param code Issue code string.
+ * @param expectedExpression Generated expression for expected text.
+ * @param actualExpression Generated expression for actual type text.
+ * @returns JavaScript source using the two-segment issue helper.
+ */
+export declare function emitIssueExprAtTwoSegments(issues: string, path: string, firstSegmentExpression: string, secondSegmentExpression: string, code: string, expectedExpression: string, actualExpression: string): string;
 //# sourceMappingURL=issue.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"issue.d.ts","sourceRoot":"","sources":["../../src/compile/issue.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAKH,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAE9C;;GAEG;AACH,wBAAgB,gBAAgB,CAC9B,KAAK,EAAE,MAAM,EACb,IAAI,EAAE,MAAM,EACZ,MAAM,EAAE,MAAM,EACd,KAAK,EAAE,MAAM,EACb,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,WAAW,GACnB,MAAM,CAWR;AAED;;GAEG;AACH,wBAAgB,SAAS,CACvB,MAAM,EAAE,MAAM,EACd,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,MAAM,EACZ,QAAQ,EAAE,MAAM,EAChB,gBAAgB,EAAE,MAAM,GACvB,MAAM,CAQR;AAED;;GAEG;AACH,wBAAgB,aAAa,CAC3B,MAAM,EAAE,MAAM,EACd,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,MAAM,EACZ,kBAAkB,EAAE,MAAM,EAC1B,gBAAgB,EAAE,MAAM,GACvB,MAAM,CAER"}
+{"version":3,"file":"issue.d.ts","sourceRoot":"","sources":["../../src/compile/issue.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAKH,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAE9C;;;;;;;;;;;GAWG;AACH,wBAAgB,gBAAgB,CAC5B,KAAK,EAAE,MAAM,EACb,IAAI,EAAE,MAAM,EACZ,MAAM,EAAE,MAAM,EACd,KAAK,EAAE,MAAM,EACb,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,WAAW,GACrB,MAAM,CAkBR;AAED;;;;;;;;;;;;GAYG;AACH,wBAAgB,yBAAyB,CACrC,KAAK,EAAE,MAAM,EACb,IAAI,EAAE,MAAM,EACZ,iBAAiB,EAAE,MAAM,EACzB,MAAM,EAAE,MAAM,EACd,KAAK,EAAE,MAAM,EACb,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,WAAW,GACrB,MAAM,CAeR;AAED;;;;;;;;;;;;;GAaG;AACH,wBAAgB,6BAA6B,CACzC,KAAK,EAAE,MAAM,EACb,IAAI,EAAE,MAAM,EACZ,sBAAsB,EAAE,MAAM,EAC9B,uBAAuB,EAAE,MAAM,EAC/B,MAAM,EAAE,MAAM,EACd,KAAK,EAAE,MAAM,EACb,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,WAAW,GACrB,MAAM,CAgBR;AAaD;;;;;;;;;;GAUG;AACH,wBAAgB,SAAS,CACrB,MAAM,EAAE,MAAM,EACd,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,MAAM,EACZ,QAAQ,EAAE,MAAM,EAChB,gBAAgB,EAAE,MAAM,GACzB,MAAM,CAQR;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,kBAAkB,CAC9B,MAAM,EAAE,MAAM,EACd,IAAI,EAAE,MAAM,EACZ,iBAAiB,EAAE,MAAM,EACzB,IAAI,EAAE,MAAM,EACZ,QAAQ,EAAE,MAAM,EAChB,gBAAgB,EAAE,MAAM,GACzB,MAAM,CASR;AAED;;;;;;;;;;;;GAYG;AACH,wBAAgB,sBAAsB,CAClC,MAAM,EAAE,MAAM,EACd,IAAI,EAAE,MAAM,EACZ,sBAAsB,EAAE,MAAM,EAC9B,uBAAuB,EAAE,MAAM,EAC/B,IAAI,EAAE,MAAM,EACZ,QAAQ,EAAE,MAAM,EAChB,gBAAgB,EAAE,MAAM,GACzB,MAAM,CAUR;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,aAAa,CACzB,MAAM,EAAE,MAAM,EACd,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,MAAM,EACZ,kBAAkB,EAAE,MAAM,EAC1B,gBAAgB,EAAE,MAAM,GACzB,MAAM,CAER;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,sBAAsB,CAClC,MAAM,EAAE,MAAM,EACd,IAAI,EAAE,MAAM,EACZ,iBAAiB,EAAE,MAAM,EACzB,IAAI,EAAE,MAAM,EACZ,kBAAkB,EAAE,MAAM,EAC1B,gBAAgB,EAAE,MAAM,GACzB,MAAM,CAWR;AAED;;;;;;;;;;;;GAYG;AACH,wBAAgB,0BAA0B,CACtC,MAAM,EAAE,MAAM,EACd,IAAI,EAAE,MAAM,EACZ,sBAAsB,EAAE,MAAM,EAC9B,uBAAuB,EAAE,MAAM,EAC/B,IAAI,EAAE,MAAM,EACZ,kBAAkB,EAAE,MAAM,EAC1B,gBAAgB,EAAE,MAAM,GACzB,MAAM,CAER"}