typesea 0.1.0

package/dist/evaluate/shared.js

@@ -0,0 +1,96 @@
+/**
+ * @file shared.ts
+ * @brief Shared scalar helpers for schema evaluation.
+ */
+/**
+ * @brief has object key.
+ */
+export function hasObjectKey(keyLookup, key) {
+    return Object.prototype.hasOwnProperty.call(keyLookup, key);
+}
+/**
+ * @brief read own data property.
+ * @details Reads one own property through its descriptor so getters are not executed.
+ * @returns Own data descriptor, or undefined for missing/accessor properties.
+ */
+export function readOwnDataProperty(record, key) {
+    const descriptor = Object.getOwnPropertyDescriptor(record, key);
+    if (descriptor === undefined || !isDataPropertyDescriptor(descriptor)) {
+        return undefined;
+    }
+    return descriptor;
+}
+/**
+ * @brief find discriminated union case.
+ */
+export function findDiscriminatedUnionCase(cases, value) {
+    for (let index = 0; index < cases.length; index += 1) {
+        const unionCase = cases[index];
+        if (unionCase !== undefined && Object.is(unionCase.literal, value)) {
+            return unionCase.schema;
+        }
+    }
+    return undefined;
+}
+/**
+ * @brief is strict true.
+ */
+export function isStrictTrue(value) {
+    return value === true;
+}
+/**
+ * @brief is plain record.
+ */
+export function isPlainRecord(value) {
+    return typeof value === "object" && value !== null && !Array.isArray(value);
+}
+/**
+ * @brief is data property descriptor.
+ * @details Checks that a descriptor contains a data value instead of getter/setter code.
+ * @returns True when the descriptor has a stable value slot.
+ */
+export function isDataPropertyDescriptor(descriptor) {
+    return Object.prototype.hasOwnProperty.call(descriptor, "value");
+}
+/**
+ * @brief actual type.
+ */
+export function actualType(value) {
+    if (value === null) {
+        return "null";
+    }
+    if (Array.isArray(value)) {
+        return "array";
+    }
+    if (typeof value === "bigint") {
+        return "bigint";
+    }
+    if (typeof value === "symbol") {
+        return "symbol";
+    }
+    if (typeof value === "number" && Number.isNaN(value)) {
+        return "nan";
+    }
+    return typeof value;
+}
+/**
+ * @brief literal to expected.
+ */
+export function literalToExpected(value) {
+    if (value === null) {
+        return "null";
+    }
+    if (value === undefined) {
+        return "undefined";
+    }
+    if (typeof value === "string") {
+        return JSON.stringify(value);
+    }
+    if (typeof value === "number" && Object.is(value, -0)) {
+        return "-0";
+    }
+    if (typeof value === "symbol") {
+        return String(value);
+    }
+    return String(value);
+}

package/dist/evaluate/state.d.ts

@@ -0,0 +1,65 @@
+/**
+ * @file state.ts
+ * @brief Recursive validation state for cyclic input graphs.
+ */
+import type { Schema } from "../schema/index.js";
+/**
+ * @brief validation enter result.
+ * @details Defines the control-flow result of entering a schema/value pair.
+ * @invariant Only `entered` requires a matching leave operation.
+ */
+export type ValidationEnterResult = "entered" | "cycle" | "budget";
+/**
+ * @brief default max validation depth.
+ * @invariant The value stays below the V8 stack depth that recursive lazy schemas can exhaust.
+ */
+export declare const DEFAULT_MAX_VALIDATION_DEPTH = 256;
+/**
+ * @brief graph evaluation frame.
+ * @details Owns scratch slots for one active Sea-of-Nodes graph execution.
+ * @invariant `seen[id] === epoch` means `values[id]` belongs to the current run.
+ */
+export interface GraphEvaluationFrame {
+    values: unknown[];
+    seen: Uint32Array;
+    epoch: number;
+}
+/**
+ * @brief validation state.
+ */
+export interface ValidationState {
+    readonly active: WeakMap<object, WeakSet<Schema>>;
+    readonly graphFrames: GraphEvaluationFrame[];
+    readonly resolving: WeakSet<object>;
+    /**
+     * @brief depth.
+     * @details Counts active recursive validator frames owned by this state object.
+     * @invariant The value is incremented only after budget admission and decremented by `leaveValidation`.
+     */
+    depth: number;
+    /**
+     * @brief graph depth.
+     * @details Counts active nested graph executions using `graphFrames` as a stack.
+     * @invariant Incremented by IR execution before frame use and decremented after it.
+     */
+    graphDepth: number;
+    /**
+     * @brief max depth.
+     * @details Hard cap for recursive validator frames.
+     * @invariant Entering past this limit returns `budget` instead of recursing.
+     */
+    readonly maxDepth: number;
+}
+/**
+ * @brief make validation state.
+ */
+export declare function makeValidationState(): ValidationState;
+/**
+ * @brief enter validation.
+ */
+export declare function enterValidation(schema: Schema, value: unknown, state: ValidationState): ValidationEnterResult;
+/**
+ * @brief leave validation.
+ */
+export declare function leaveValidation(schema: Schema, value: unknown, state: ValidationState): void;
+//# sourceMappingURL=state.d.ts.map

package/dist/evaluate/state.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"state.d.ts","sourceRoot":"","sources":["../../src/evaluate/state.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAC;AAEjD;;;;GAIG;AACH,MAAM,MAAM,qBAAqB,GAC7B,SAAS,GACT,OAAO,GACP,QAAQ,CAAC;AAEb;;;GAGG;AACH,eAAO,MAAM,4BAA4B,MAAM,CAAC;AAEhD;;;;GAIG;AACH,MAAM,WAAW,oBAAoB;IACnC,MAAM,EAAE,OAAO,EAAE,CAAC;IAClB,IAAI,EAAE,WAAW,CAAC;IAClB,KAAK,EAAE,MAAM,CAAC;CACf;AAED;;GAEG;AACH,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC;IAClD,QAAQ,CAAC,WAAW,EAAE,oBAAoB,EAAE,CAAC;IAC7C,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC;IAEpC;;;;OAIG;IACH,KAAK,EAAE,MAAM,CAAC;IAEd;;;;OAIG;IACH,UAAU,EAAE,MAAM,CAAC;IAEnB;;;;OAIG;IACH,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;CAC3B;AAED;;GAEG;AACH,wBAAgB,mBAAmB,IAAI,eAAe,CASrD;AAED;;GAEG;AACH,wBAAgB,eAAe,CAC7B,MAAM,EAAE,MAAM,EACd,KAAK,EAAE,OAAO,EACd,KAAK,EAAE,eAAe,GACrB,qBAAqB,CAoBvB;AAED;;GAEG;AACH,wBAAgB,eAAe,CAC7B,MAAM,EAAE,MAAM,EACd,KAAK,EAAE,OAAO,EACd,KAAK,EAAE,eAAe,GACrB,IAAI,CAUN"}

package/dist/evaluate/state.js

@@ -0,0 +1,66 @@
+/**
+ * @file state.ts
+ * @brief Recursive validation state for cyclic input graphs.
+ */
+/**
+ * @brief default max validation depth.
+ * @invariant The value stays below the V8 stack depth that recursive lazy schemas can exhaust.
+ */
+export const DEFAULT_MAX_VALIDATION_DEPTH = 256;
+/**
+ * @brief make validation state.
+ */
+export function makeValidationState() {
+    return {
+        active: new WeakMap(),
+        graphFrames: [],
+        resolving: new WeakSet(),
+        depth: 0,
+        graphDepth: 0,
+        maxDepth: DEFAULT_MAX_VALIDATION_DEPTH
+    };
+}
+/**
+ * @brief enter validation.
+ */
+export function enterValidation(schema, value, state) {
+    const cached = isReferenceValue(value) ? state.active.get(value) : undefined;
+    if (cached?.has(schema) === true) {
+        return "cycle";
+    }
+    if (state.depth >= state.maxDepth) {
+        return "budget";
+    }
+    state.depth += 1;
+    if (!isReferenceValue(value)) {
+        return "entered";
+    }
+    if (cached !== undefined) {
+        cached.add(schema);
+        return "entered";
+    }
+    const schemas = new WeakSet();
+    schemas.add(schema);
+    state.active.set(value, schemas);
+    return "entered";
+}
+/**
+ * @brief leave validation.
+ */
+export function leaveValidation(schema, value, state) {
+    if (!isReferenceValue(value)) {
+        state.depth -= 1;
+        return;
+    }
+    const cached = state.active.get(value);
+    if (cached !== undefined) {
+        cached.delete(schema);
+    }
+    state.depth -= 1;
+}
+/**
+ * @brief is reference value.
+ */
+function isReferenceValue(value) {
+    return (typeof value === "object" && value !== null) || typeof value === "function";
+}

package/dist/guard/base.d.ts

@@ -0,0 +1,72 @@
+/**
+ * @file base.ts
+ * @brief Base guard implementation.
+ */
+import type { CheckResult } from "../issue/index.js";
+import type { Graph } from "../ir/index.js";
+import type { Schema } from "../schema/index.js";
+import type { Brand, Guard, Infer, Presence, PresenceSymbol, RuntimeValue, TypeSymbol } from "./types.js";
+/**
+ * @brief 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.
+ */
+export declare class BaseGuard<TValue, TPresence extends Presence = "required"> implements Guard<TValue, TPresence> {
+    readonly [TypeSymbol]: TValue;
+    readonly [PresenceSymbol]: TPresence;
+    readonly schema: Schema;
+    /**
+     * @brief constructor.
+         * @post The receiver is initialized according to the class invariant before it can be observed.
+     */
+    constructor(schema: Schema);
+    /**
+     * @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>;
+    /**
+     * @brief graph.
+           */
+    graph(this: unknown): Graph;
+    /**
+     * @brief optional.
+         */
+    optional(): BaseGuard<TValue, "optional">;
+    /**
+     * @brief undefinedable.
+         */
+    undefinedable(): BaseGuard<TValue | undefined, TPresence>;
+    /**
+     * @brief nullable.
+         */
+    nullable(): BaseGuard<TValue | null, TPresence>;
+    /**
+     * @brief array.
+         */
+    array(): BaseGuard<RuntimeValue<TValue, TPresence>[]>;
+    /**
+     * @brief brand.
+         */
+    brand<TBrand extends string>(): BaseGuard<Brand<TValue, TBrand>, TPresence>;
+    /**
+     * @brief refine.
+             */
+    refine(predicate: (value: RuntimeValue<TValue, TPresence>) => boolean, name: string): BaseGuard<TValue, TPresence>;
+    /**
+     * @brief or.
+           */
+    or<TOther extends Guard<unknown, Presence>>(other: TOther): BaseGuard<RuntimeValue<TValue, TPresence> | Infer<TOther>>;
+    /**
+     * @brief intersect.
+           */
+    intersect<TOther extends Guard<unknown, Presence>>(other: TOther): BaseGuard<RuntimeValue<TValue, TPresence> & Infer<TOther>>;
+}
+//# sourceMappingURL=base.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"base.d.ts","sourceRoot":"","sources":["../../src/guard/base.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAKH,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AACrD,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,gBAAgB,CAAC;AAC5C,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAC;AASjD,OAAO,KAAK,EACV,KAAK,EACL,KAAK,EACL,KAAK,EACL,QAAQ,EACR,cAAc,EACd,YAAY,EACZ,UAAU,EACX,MAAM,YAAY,CAAC;AAEpB;;;;GAIG;AACH,qBAAa,SAAS,CACpB,MAAM,EACN,SAAS,SAAS,QAAQ,GAAG,UAAU,CACvC,YAAW,KAAK,CAAC,MAAM,EAAE,SAAS,CAAC;IACnC,SAAwB,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAC7C,SAAwB,CAAC,cAAc,CAAC,EAAE,SAAS,CAAC;IACpD,SAAwB,MAAM,EAAE,MAAM,CAAC;IAEvC;;;OAGG;gBACgB,MAAM,EAAE,MAAM;IAQjC;;eAEW;IACJ,EAAE,CACP,IAAI,EAAE,OAAO,EACb,KAAK,EAAE,OAAO,GACb,KAAK,IAAI,YAAY,CAAC,MAAM,EAAE,SAAS,CAAC;IAI3C;;eAEW;IACJ,KAAK,CACV,IAAI,EAAE,OAAO,EACb,KAAK,EAAE,OAAO,GACb,WAAW,CAAC,YAAY,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;IAO/C;;eAEW;IACJ,MAAM,CACX,IAAI,EAAE,OAAO,EACb,KAAK,EAAE,OAAO,GACb,OAAO,CAAC,KAAK,IAAI,YAAY,CAAC,MAAM,EAAE,SAAS,CAAC;IAUnD;;aAES;IACF,KAAK,CAAC,IAAI,EAAE,OAAO,GAAG,KAAK;IAIlC;;WAEO;IACA,QAAQ,IAAI,SAAS,CAAC,MAAM,EAAE,UAAU,CAAC;IAOhD;;WAEO;IACA,aAAa,IAAI,SAAS,CAAC,MAAM,GAAG,SAAS,EAAE,SAAS,CAAC;IAOhE;;WAEO;IACA,QAAQ,IAAI,SAAS,CAAC,MAAM,GAAG,IAAI,EAAE,SAAS,CAAC;IAOtD;;WAEO;IACA,KAAK,IAAI,SAAS,CAAC,YAAY,CAAC,MAAM,EAAE,SAAS,CAAC,EAAE,CAAC;IAO5D;;WAEO;IACA,KAAK,CAAC,MAAM,SAAS,MAAM,KAAK,SAAS,CAC9C,KAAK,CAAC,MAAM,EAAE,MAAM,CAAC,EACrB,SAAS,CACV;IAQD;;eAEW;IACJ,MAAM,CACX,SAAS,EAAE,CAAC,KAAK,EAAE,YAAY,CAAC,MAAM,EAAE,SAAS,CAAC,KAAK,OAAO,EAC9D,IAAI,EAAE,MAAM,GACX,SAAS,CAAC,MAAM,EAAE,SAAS,CAAC;IAW/B;;aAES;IACF,EAAE,CAAC,MAAM,SAAS,KAAK,CAAC,OAAO,EAAE,QAAQ,CAAC,EAC/C,KAAK,EAAE,MAAM,GACZ,SAAS,CAAC,YAAY,CAAC,MAAM,EAAE,SAAS,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC;IAY7D;;aAES;IACF,SAAS,CAAC,MAAM,SAAS,KAAK,CAAC,OAAO,EAAE,QAAQ,CAAC,EACtD,KAAK,EAAE,MAAM,GACZ,SAAS,CAAC,YAAY,CAAC,MAAM,EAAE,SAAS,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC;CAO9D"}

package/dist/guard/base.js

@@ -0,0 +1,136 @@
+/**
+ * @file base.ts
+ * @brief Base guard implementation.
+ */
+import { SchemaTag } from "../kind/index.js";
+import { checkSchema, isSchema } from "../evaluate/index.js";
+import { makeValidationPlan } from "../plan/index.js";
+import { TypeSeaAssertionError } from "./error.js";
+import { checkRefinementInput, readConstructorSchema, readGuardSchema } from "./read.js";
+import { defineReadonlyProperty, isStrictTrue } from "./props.js";
+import { registerConstructedGuard } from "./registry.js";
+/**
+ * @brief 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.
+ */
+export class BaseGuard {
+    /**
+     * @brief constructor.
+         * @post The receiver is initialized according to the class invariant before it can be observed.
+     */
+    constructor(schema) {
+        defineReadonlyProperty(this, "schema", readConstructorSchema(schema), true);
+        registerConstructedGuard(this);
+        if (new.target === BaseGuard) {
+            Object.freeze(this);
+        }
+    }
+    /**
+     * @brief is.
+             */
+    is(value) {
+        return isSchema(readGuardSchema(this, "guard receiver"), value);
+    }
+    /**
+     * @brief check.
+             */
+    check(value) {
+        return checkSchema(readGuardSchema(this, "guard receiver"), value);
+    }
+    /**
+     * @brief assert.
+             */
+    assert(value) {
+        const result = checkSchema(readGuardSchema(this, "guard receiver"), value);
+        if (!result.ok) {
+            throw new TypeSeaAssertionError(result.error);
+        }
+    }
+    /**
+     * @brief graph.
+           */
+    graph() {
+        return makeValidationPlan(readGuardSchema(this, "guard receiver")).graph;
+    }
+    /**
+     * @brief optional.
+         */
+    optional() {
+        return new BaseGuard({
+            tag: SchemaTag.Optional,
+            inner: readGuardSchema(this, "optional inner")
+        });
+    }
+    /**
+     * @brief undefinedable.
+         */
+    undefinedable() {
+        return new BaseGuard({
+            tag: SchemaTag.Undefinedable,
+            inner: readGuardSchema(this, "undefinedable inner")
+        });
+    }
+    /**
+     * @brief nullable.
+         */
+    nullable() {
+        return new BaseGuard({
+            tag: SchemaTag.Nullable,
+            inner: readGuardSchema(this, "nullable inner")
+        });
+    }
+    /**
+     * @brief array.
+         */
+    array() {
+        return new BaseGuard({
+            tag: SchemaTag.Array,
+            item: readGuardSchema(this, "array item")
+        });
+    }
+    /**
+     * @brief brand.
+         */
+    brand() {
+        return new BaseGuard({
+            tag: SchemaTag.Brand,
+            inner: readGuardSchema(this, "brand inner"),
+            brand: ""
+        });
+    }
+    /**
+     * @brief refine.
+             */
+    refine(predicate, name) {
+        checkRefinementInput(predicate, name);
+        return new BaseGuard({
+            tag: SchemaTag.Refine,
+            inner: readGuardSchema(this, "refine inner"),
+            predicate: (value) => isStrictTrue(predicate(value)),
+            name
+        });
+    }
+    /**
+     * @brief or.
+           */
+    or(other) {
+        return new BaseGuard({
+            tag: SchemaTag.Union,
+            options: [
+                readGuardSchema(this, "union option 0"),
+                readGuardSchema(other, "union option 1")
+            ]
+        });
+    }
+    /**
+     * @brief intersect.
+           */
+    intersect(other) {
+        return new BaseGuard({
+            tag: SchemaTag.Intersection,
+            left: readGuardSchema(this, "intersection left"),
+            right: readGuardSchema(other, "intersection right")
+        });
+    }
+}

package/dist/guard/error.d.ts

@@ -0,0 +1,19 @@
+/**
+ * @file error.ts
+ * @brief TypeSea assertion error.
+ */
+import type { Issue } from "../issue/index.js";
+/**
+ * @brief type sea assertion error.
+ * @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.
+ */
+export declare class TypeSeaAssertionError extends Error {
+    readonly issues: readonly Issue[];
+    /**
+     * @brief constructor.
+         * @post The receiver is initialized according to the class invariant before it can be observed.
+     */
+    constructor(issues: readonly Issue[]);
+}
+//# sourceMappingURL=error.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"error.d.ts","sourceRoot":"","sources":["../../src/guard/error.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAI/C;;;;GAIG;AACH,qBAAa,qBAAsB,SAAQ,KAAK;IAC9C,SAAwB,MAAM,EAAE,SAAS,KAAK,EAAE,CAAC;IAEjD;;;OAGG;gBACgB,MAAM,EAAE,SAAS,KAAK,EAAE;CAK5C"}

package/dist/guard/error.js

@@ -0,0 +1,22 @@
+/**
+ * @file error.ts
+ * @brief TypeSea assertion error.
+ */
+import { copyIssueArray } from "../issue/index.js";
+import { defineReadonlyProperty } from "./props.js";
+/**
+ * @brief type sea assertion error.
+ * @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.
+ */
+export class TypeSeaAssertionError extends Error {
+    /**
+     * @brief constructor.
+         * @post The receiver is initialized according to the class invariant before it can be observed.
+     */
+    constructor(issues) {
+        super("TypeSea assertion failed");
+        this.name = "TypeSeaAssertionError";
+        defineReadonlyProperty(this, "issues", copyIssueArray(issues), true);
+    }
+}

package/dist/guard/index.d.ts

@@ -0,0 +1,10 @@
+/**
+ * @file index.ts
+ * @brief Public guard module aggregation.
+ */
+export { BaseGuard } from "./base.js";
+export { TypeSeaAssertionError } from "./error.js";
+export { NumberGuard } from "./number.js";
+export { StringGuard } from "./string.js";
+export type { Brand, Guard, GuardPresence, GuardValue, Infer, Presence, RuntimeValue } from "./types.js";
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/guard/index.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AACtC,OAAO,EAAE,qBAAqB,EAAE,MAAM,YAAY,CAAC;AACnD,OAAO,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAC1C,OAAO,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAC1C,YAAY,EACV,KAAK,EACL,KAAK,EACL,aAAa,EACb,UAAU,EACV,KAAK,EACL,QAAQ,EACR,YAAY,EACb,MAAM,YAAY,CAAC"}

package/dist/guard/index.js

@@ -0,0 +1,8 @@
+/**
+ * @file index.ts
+ * @brief Public guard module aggregation.
+ */
+export { BaseGuard } from "./base.js";
+export { TypeSeaAssertionError } from "./error.js";
+export { NumberGuard } from "./number.js";
+export { StringGuard } from "./string.js";

package/dist/guard/number.d.ts

@@ -0,0 +1,32 @@
+/**
+ * @file number.ts
+ * @brief Number guard implementation.
+ */
+import type { NumberSchema } from "../schema/index.js";
+import { BaseGuard } from "./base.js";
+import type { Presence } from "./types.js";
+/**
+ * @brief number 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.
+ */
+export declare class NumberGuard<TPresence extends Presence = "required"> extends BaseGuard<number, TPresence> {
+    /**
+     * @brief constructor.
+         * @post The receiver is initialized according to the class invariant before it can be observed.
+     */
+    constructor(schema: NumberSchema);
+    /**
+     * @brief int.
+         */
+    int(): NumberGuard<TPresence>;
+    /**
+     * @brief gte.
+           */
+    gte(value: number): NumberGuard<TPresence>;
+    /**
+     * @brief lte.
+           */
+    lte(value: number): NumberGuard<TPresence>;
+}
+//# sourceMappingURL=number.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"number.d.ts","sourceRoot":"","sources":["../../src/guard/number.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAGH,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AACvD,OAAO,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AAMtC,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AAE3C;;;;GAIG;AACH,qBAAa,WAAW,CACtB,SAAS,SAAS,QAAQ,GAAG,UAAU,CACvC,SAAQ,SAAS,CAAC,MAAM,EAAE,SAAS,CAAC;IAEpC;;;OAGG;gBACgB,MAAM,EAAE,YAAY;IAKvC;;WAEO;IACA,GAAG,IAAI,WAAW,CAAC,SAAS,CAAC;IAapC;;aAES;IACF,GAAG,CAAC,KAAK,EAAE,MAAM,GAAG,WAAW,CAAC,SAAS,CAAC;IAejD;;aAES;IACF,GAAG,CAAC,KAAK,EAAE,MAAM,GAAG,WAAW,CAAC,SAAS,CAAC;CAclD"}

package/dist/guard/number.js

@@ -0,0 +1,71 @@
+/**
+ * @file number.ts
+ * @brief Number guard implementation.
+ */
+import { NumberCheckTag, SchemaTag } from "../kind/index.js";
+import { BaseGuard } from "./base.js";
+import { checkFiniteNumberBound, readNumberConstructorSchema, readNumberMethodSchema } from "./read.js";
+/**
+ * @brief number 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.
+ */
+export class NumberGuard extends BaseGuard {
+    /**
+     * @brief constructor.
+         * @post The receiver is initialized according to the class invariant before it can be observed.
+     */
+    constructor(schema) {
+        super(readNumberConstructorSchema(schema));
+        Object.freeze(this);
+    }
+    /**
+     * @brief int.
+         */
+    int() {
+        const schema = readNumberMethodSchema(this, "number int receiver");
+        return new NumberGuard({
+            tag: SchemaTag.Number,
+            checks: [
+                ...schema.checks,
+                {
+                    tag: NumberCheckTag.Integer
+                }
+            ]
+        });
+    }
+    /**
+     * @brief gte.
+           */
+    gte(value) {
+        const schema = readNumberMethodSchema(this, "number gte receiver");
+        const bound = checkFiniteNumberBound(value, "gte");
+        return new NumberGuard({
+            tag: SchemaTag.Number,
+            checks: [
+                ...schema.checks,
+                {
+                    tag: NumberCheckTag.Gte,
+                    value: bound
+                }
+            ]
+        });
+    }
+    /**
+     * @brief lte.
+           */
+    lte(value) {
+        const schema = readNumberMethodSchema(this, "number lte receiver");
+        const bound = checkFiniteNumberBound(value, "lte");
+        return new NumberGuard({
+            tag: SchemaTag.Number,
+            checks: [
+                ...schema.checks,
+                {
+                    tag: NumberCheckTag.Lte,
+                    value: bound
+                }
+            ]
+        });
+    }
+}

package/dist/guard/props.d.ts

@@ -0,0 +1,18 @@
+/**
+ * @file props.ts
+ * @brief Guard object shape helpers.
+ */
+export declare function defineReadonlyProperty(target: object, key: string, value: unknown, enumerable: boolean): void;
+/**
+ * @brief is strict true.
+ */
+export declare function isStrictTrue(value: unknown): boolean;
+/**
+ * @brief is record.
+ */
+export declare function isRecord(value: unknown): value is Readonly<Record<string, unknown>>;
+/**
+ * @brief is plain reg exp.
+ */
+export declare function isPlainRegExp(value: unknown): value is RegExp;
+//# sourceMappingURL=props.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"props.d.ts","sourceRoot":"","sources":["../../src/guard/props.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,wBAAgB,sBAAsB,CACpC,MAAM,EAAE,MAAM,EACd,GAAG,EAAE,MAAM,EACX,KAAK,EAAE,OAAO,EACd,UAAU,EAAE,OAAO,GAClB,IAAI,CAON;AAED;;GAEG;AACH,wBAAgB,YAAY,CAAC,KAAK,EAAE,OAAO,GAAG,OAAO,CAEpD;AAED;;GAEG;AACH,wBAAgB,QAAQ,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAEnF;AAED;;GAEG;AACH,wBAAgB,aAAa,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,MAAM,CAO7D"}