typesea 0.1.0

package/dist/ir/builder.d.ts

@@ -0,0 +1,173 @@
+/**
+ * @file builder.ts
+ * @brief Dense graph builder with structural node interning.
+ */
+import type { LiteralValue, Schema } from "../schema/index.js";
+import type { Graph, NodeId } from "./types.js";
+/**
+ * @brief graph builder.
+ * @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 GraphBuilder {
+    private readonly nodes;
+    private readonly hash;
+    /**
+     * @brief constructor.
+       * @post The receiver is initialized according to the class invariant before it can be observed.
+     */
+    constructor();
+    /**
+     * @brief start.
+         */
+    start(): NodeId;
+    /**
+     * @brief param.
+           */
+    param(name: string): NodeId;
+    /**
+     * @brief constant.
+           */
+    constant(value: LiteralValue): NodeId;
+    /**
+     * @brief get prop.
+             */
+    getProp(object: NodeId, key: string): NodeId;
+    /**
+     * @brief is string.
+           */
+    isString(value: NodeId): NodeId;
+    /**
+     * @brief is number.
+           */
+    isNumber(value: NodeId): NodeId;
+    /**
+     * @brief is boolean.
+           */
+    isBoolean(value: NodeId): NodeId;
+    /**
+     * @brief is big int.
+           */
+    isBigInt(value: NodeId): NodeId;
+    /**
+     * @brief is symbol.
+           */
+    isSymbol(value: NodeId): NodeId;
+    /**
+     * @brief is object.
+           */
+    isObject(value: NodeId): NodeId;
+    /**
+     * @brief is array.
+           */
+    isArray(value: NodeId): NodeId;
+    /**
+     * @brief is undefined.
+           */
+    isUndefined(value: NodeId): NodeId;
+    /**
+     * @brief is null.
+           */
+    isNull(value: NodeId): NodeId;
+    /**
+     * @brief is integer.
+           */
+    isInteger(value: NodeId): NodeId;
+    /**
+     * @brief not.
+           */
+    not(value: NodeId): NodeId;
+    /**
+     * @brief equals.
+             */
+    equals(left: NodeId, right: NodeId): NodeId;
+    /**
+     * @brief gte.
+             */
+    gte(left: NodeId, right: NodeId): NodeId;
+    /**
+     * @brief lte.
+             */
+    lte(left: NodeId, right: NodeId): NodeId;
+    /**
+     * @brief string min.
+             */
+    stringMin(value: NodeId, bound: number): NodeId;
+    /**
+     * @brief string max.
+             */
+    stringMax(value: NodeId, bound: number): NodeId;
+    /**
+     * @brief regex.
+               */
+    regex(value: NodeId, regex: RegExp, name: string): NodeId;
+    /**
+     * @brief has own.
+             */
+    hasOwn(object: NodeId, key: string): NodeId;
+    /**
+     * @brief has own data.
+             */
+    hasOwnData(object: NodeId, key: string): NodeId;
+    /**
+     * @brief strict keys.
+             */
+    strictKeys(object: NodeId, keys: readonly string[]): NodeId;
+    /**
+     * @brief array every.
+             */
+    arrayEvery(value: NodeId, item: Schema): NodeId;
+    /**
+     * @brief tuple items.
+             */
+    tupleItems(value: NodeId, items: readonly Schema[]): NodeId;
+    /**
+     * @brief record every.
+             */
+    recordEvery(value: NodeId, item: Schema): NodeId;
+    /**
+     * @brief discriminant dispatch.
+             */
+    discriminantDispatch(value: NodeId, key: string, literals: readonly string[], schemas: readonly Schema[]): NodeId;
+    /**
+     * @brief schema check.
+             */
+    schemaCheck(value: NodeId, schema: Schema): NodeId;
+    /**
+     * @brief and.
+           */
+    and(values: readonly NodeId[]): NodeId;
+    /**
+     * @brief or.
+           */
+    or(values: readonly NodeId[]): NodeId;
+    /**
+     * @brief ret.
+             */
+    ret(control: NodeId, value: NodeId): NodeId;
+    /**
+     * @brief finish.
+             */
+    finish(entry: NodeId, result: NodeId): Graph;
+    /**
+     * @brief unary.
+             */
+    private unary;
+    /**
+     * @brief numeric.
+               */
+    private numeric;
+    /**
+     * @brief string bound.
+               */
+    private stringBound;
+    /**
+     * @brief intern.
+             */
+    private intern;
+    /**
+     * @brief push.
+           */
+    private push;
+}
+//# sourceMappingURL=builder.d.ts.map

package/dist/ir/builder.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"builder.d.ts","sourceRoot":"","sources":["../../src/ir/builder.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAGH,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAC;AAG/D,OAAO,KAAK,EAQV,KAAK,EAIL,MAAM,EAYP,MAAM,YAAY,CAAC;AAEpB;;;;GAIG;AACH,qBAAa,YAAY;IACvB,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAc;IACpC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAsB;IAE3C;;;OAGG;;IAMH;;WAEO;IACA,KAAK,IAAI,MAAM;IAQtB;;aAES;IACF,KAAK,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM;IASlC;;aAES;IACF,QAAQ,CAAC,KAAK,EAAE,YAAY,GAAG,MAAM;IAkB5C;;eAEW;IACJ,OAAO,CAAC,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG,MAAM;IAWnD;;aAES;IACF,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM;IAItC;;aAES;IACF,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM;IAItC;;aAES;IACF,SAAS,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM;IAIvC;;aAES;IACF,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM;IAItC;;aAES;IACF,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM;IAItC;;aAES;IACF,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM;IAItC;;aAES;IACF,OAAO,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM;IAIrC;;aAES;IACF,WAAW,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM;IAIzC;;aAES;IACF,MAAM,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM;IAIpC;;aAES;IACF,SAAS,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM;IAIvC;;aAES;IACF,GAAG,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM;IAIjC;;eAEW;IACJ,MAAM,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM;IAWlD;;eAEW;IACJ,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM;IAI/C;;eAEW;IACJ,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM;IAI/C;;eAEW;IACJ,SAAS,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM;IAItD;;eAEW;IACJ,SAAS,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM;IAItD;;iBAEa;IACN,KAAK,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM;IAkBhE;;eAEW;IACJ,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG,MAAM;IAWlD;;eAEW;IACJ,UAAU,CAAC,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG,MAAM;IAWtD;;eAEW;IACJ,UAAU,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,SAAS,MAAM,EAAE,GAAG,MAAM;IAWlE;;eAEW;IACJ,UAAU,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM;IAUtD;;eAEW;IACJ,UAAU,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,SAAS,MAAM,EAAE,GAAG,MAAM;IAUlE;;eAEW;IACJ,WAAW,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM;IAUvD;;eAEW;IACJ,oBAAoB,CACzB,KAAK,EAAE,MAAM,EACb,GAAG,EAAE,MAAM,EACX,QAAQ,EAAE,SAAS,MAAM,EAAE,EAC3B,OAAO,EAAE,SAAS,MAAM,EAAE,GACzB,MAAM;IAaT;;eAEW;IACJ,WAAW,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,MAAM;IAUzD;;aAES;IACF,GAAG,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,GAAG,MAAM;IAiB7C;;aAES;IACF,EAAE,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,GAAG,MAAM;IAiB5C;;eAEW;IACJ,GAAG,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM;IAUlD;;eAEW;IACJ,MAAM,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,KAAK;IAQnD;;eAEW;IACX,OAAO,CAAC,KAAK;IAab;;iBAEa;IACb,OAAO,CAAC,OAAO;IAef;;iBAEa;IACb,OAAO,CAAC,WAAW;IAenB;;eAEW;IACX,OAAO,CAAC,MAAM;IAed;;aAES;IACT,OAAO,CAAC,IAAI;CAMb"}

package/dist/ir/builder.js

@@ -0,0 +1,481 @@
+/**
+ * @file builder.ts
+ * @brief Dense graph builder with structural node interning.
+ */
+import { NodeTag } from "../kind/index.js";
+import { freezeGraph } from "./freeze.js";
+import { isPlainRegExp } from "./regexp.js";
+/**
+ * @brief graph builder.
+ * @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 GraphBuilder {
+    nodes;
+    hash;
+    /**
+     * @brief constructor.
+       * @post The receiver is initialized according to the class invariant before it can be observed.
+     */
+    constructor() {
+        this.nodes = [];
+        this.hash = new Map();
+    }
+    /**
+     * @brief start.
+         */
+    start() {
+        return this.intern("start", (id) => ({
+            id,
+            tag: NodeTag.Start,
+            deps: []
+        }));
+    }
+    /**
+     * @brief param.
+           */
+    param(name) {
+        return this.intern(`param:${name}`, (id) => ({
+            id,
+            tag: NodeTag.Param,
+            deps: [],
+            name
+        }));
+    }
+    /**
+     * @brief constant.
+           */
+    constant(value) {
+        if (typeof value === "symbol") {
+            return this.push((id) => ({
+                id,
+                tag: NodeTag.Const,
+                deps: [],
+                value
+            }));
+        }
+        const key = `const:${literalKey(value)}`;
+        return this.intern(key, (id) => ({
+            id,
+            tag: NodeTag.Const,
+            deps: [],
+            value
+        }));
+    }
+    /**
+     * @brief get prop.
+             */
+    getProp(object, key) {
+        const hashKey = `getProp:${String(object)}:${key}`;
+        return this.intern(hashKey, (id) => ({
+            id,
+            tag: NodeTag.GetProp,
+            deps: [object],
+            object,
+            key
+        }));
+    }
+    /**
+     * @brief is string.
+           */
+    isString(value) {
+        return this.unary(NodeTag.IsString, value);
+    }
+    /**
+     * @brief is number.
+           */
+    isNumber(value) {
+        return this.unary(NodeTag.IsNumber, value);
+    }
+    /**
+     * @brief is boolean.
+           */
+    isBoolean(value) {
+        return this.unary(NodeTag.IsBoolean, value);
+    }
+    /**
+     * @brief is big int.
+           */
+    isBigInt(value) {
+        return this.unary(NodeTag.IsBigInt, value);
+    }
+    /**
+     * @brief is symbol.
+           */
+    isSymbol(value) {
+        return this.unary(NodeTag.IsSymbol, value);
+    }
+    /**
+     * @brief is object.
+           */
+    isObject(value) {
+        return this.unary(NodeTag.IsObject, value);
+    }
+    /**
+     * @brief is array.
+           */
+    isArray(value) {
+        return this.unary(NodeTag.IsArray, value);
+    }
+    /**
+     * @brief is undefined.
+           */
+    isUndefined(value) {
+        return this.unary(NodeTag.IsUndefined, value);
+    }
+    /**
+     * @brief is null.
+           */
+    isNull(value) {
+        return this.unary(NodeTag.IsNull, value);
+    }
+    /**
+     * @brief is integer.
+           */
+    isInteger(value) {
+        return this.unary(NodeTag.IsInteger, value);
+    }
+    /**
+     * @brief not.
+           */
+    not(value) {
+        return this.unary(NodeTag.Not, value);
+    }
+    /**
+     * @brief equals.
+             */
+    equals(left, right) {
+        const key = `eq:${String(left)}:${String(right)}`;
+        return this.intern(key, (id) => ({
+            id,
+            tag: NodeTag.Equals,
+            deps: [left, right],
+            left,
+            right
+        }));
+    }
+    /**
+     * @brief gte.
+             */
+    gte(left, right) {
+        return this.numeric(NodeTag.Gte, left, right);
+    }
+    /**
+     * @brief lte.
+             */
+    lte(left, right) {
+        return this.numeric(NodeTag.Lte, left, right);
+    }
+    /**
+     * @brief string min.
+             */
+    stringMin(value, bound) {
+        return this.stringBound(NodeTag.StringMin, value, bound);
+    }
+    /**
+     * @brief string max.
+             */
+    stringMax(value, bound) {
+        return this.stringBound(NodeTag.StringMax, value, bound);
+    }
+    /**
+     * @brief regex.
+               */
+    regex(value, regex, name) {
+        if (!isPlainRegExp(regex)) {
+            throw new TypeError("regex node must use a plain RegExp");
+        }
+        if (typeof name !== "string") {
+            throw new TypeError("regex node name must be a string");
+        }
+        const key = makeRegexInternKey(value, regex.source, regex.flags, name);
+        return this.intern(key, (id) => ({
+            id,
+            tag: NodeTag.Regex,
+            deps: [value],
+            value,
+            regex,
+            name
+        }));
+    }
+    /**
+     * @brief has own.
+             */
+    hasOwn(object, key) {
+        const hashKey = `hasOwn:${String(object)}:${key}`;
+        return this.intern(hashKey, (id) => ({
+            id,
+            tag: NodeTag.HasOwn,
+            deps: [object],
+            object,
+            key
+        }));
+    }
+    /**
+     * @brief has own data.
+             */
+    hasOwnData(object, key) {
+        const hashKey = `hasOwnData:${String(object)}:${key}`;
+        return this.intern(hashKey, (id) => ({
+            id,
+            tag: NodeTag.HasOwnData,
+            deps: [object],
+            object,
+            key
+        }));
+    }
+    /**
+     * @brief strict keys.
+             */
+    strictKeys(object, keys) {
+        const hashKey = `strictKeys:${String(object)}:${JSON.stringify(keys)}`;
+        return this.intern(hashKey, (id) => ({
+            id,
+            tag: NodeTag.StrictKeys,
+            deps: [object],
+            object,
+            keys
+        }));
+    }
+    /**
+     * @brief array every.
+             */
+    arrayEvery(value, item) {
+        return this.push((id) => ({
+            id,
+            tag: NodeTag.ArrayEvery,
+            deps: [value],
+            value,
+            item
+        }));
+    }
+    /**
+     * @brief tuple items.
+             */
+    tupleItems(value, items) {
+        return this.push((id) => ({
+            id,
+            tag: NodeTag.TupleItems,
+            deps: [value],
+            value,
+            items
+        }));
+    }
+    /**
+     * @brief record every.
+             */
+    recordEvery(value, item) {
+        return this.push((id) => ({
+            id,
+            tag: NodeTag.RecordEvery,
+            deps: [value],
+            value,
+            item
+        }));
+    }
+    /**
+     * @brief discriminant dispatch.
+             */
+    discriminantDispatch(value, key, literals, schemas) {
+        return this.push((id) => ({
+            id,
+            tag: NodeTag.DiscriminantDispatch,
+            deps: [value],
+            value,
+            key,
+            literals,
+            schemas,
+            lookup: makeDiscriminantLookup(literals)
+        }));
+    }
+    /**
+     * @brief schema check.
+             */
+    schemaCheck(value, schema) {
+        return this.push((id) => ({
+            id,
+            tag: NodeTag.SchemaCheck,
+            deps: [value],
+            value,
+            schema
+        }));
+    }
+    /**
+     * @brief and.
+           */
+    and(values) {
+        const first = values[0];
+        if (first === undefined) {
+            return this.constant(true);
+        }
+        if (values.length === 1) {
+            return first;
+        }
+        const key = `and:${values.join(",")}`;
+        return this.intern(key, (id) => ({
+            id,
+            tag: NodeTag.And,
+            deps: values,
+            values
+        }));
+    }
+    /**
+     * @brief or.
+           */
+    or(values) {
+        const first = values[0];
+        if (first === undefined) {
+            return this.constant(false);
+        }
+        if (values.length === 1) {
+            return first;
+        }
+        const key = `or:${values.join(",")}`;
+        return this.intern(key, (id) => ({
+            id,
+            tag: NodeTag.Or,
+            deps: values,
+            values
+        }));
+    }
+    /**
+     * @brief ret.
+             */
+    ret(control, value) {
+        return this.push((id) => ({
+            id,
+            tag: NodeTag.Return,
+            deps: [control, value],
+            control,
+            value
+        }));
+    }
+    /**
+     * @brief finish.
+             */
+    finish(entry, result) {
+        return freezeGraph({
+            nodes: this.nodes.slice(),
+            entry,
+            result
+        });
+    }
+    /**
+     * @brief unary.
+             */
+    unary(tag, value) {
+        const key = `unary:${String(tag)}:${String(value)}`;
+        return this.intern(key, (id) => ({
+            id,
+            tag,
+            deps: [value],
+            value
+        }));
+    }
+    /**
+     * @brief numeric.
+               */
+    numeric(tag, left, right) {
+        const key = `numeric:${String(tag)}:${String(left)}:${String(right)}`;
+        return this.intern(key, (id) => ({
+            id,
+            tag,
+            deps: [left, right],
+            left,
+            right
+        }));
+    }
+    /**
+     * @brief string bound.
+               */
+    stringBound(tag, value, bound) {
+        const key = `stringBound:${String(tag)}:${String(value)}:${String(bound)}`;
+        return this.intern(key, (id) => ({
+            id,
+            tag,
+            deps: [value],
+            value,
+            bound
+        }));
+    }
+    /**
+     * @brief intern.
+             */
+    intern(key, make) {
+        const cached = this.hash.get(key);
+        if (cached !== undefined) {
+            return cached;
+        }
+        const id = this.nodes.length;
+        const node = make(id);
+        this.nodes.push(node);
+        this.hash.set(key, id);
+        return id;
+    }
+    /**
+     * @brief push.
+           */
+    push(make) {
+        const id = this.nodes.length;
+        const node = make(id);
+        this.nodes.push(node);
+        return id;
+    }
+}
+/**
+ * @brief make regex intern key.
+ * @details Encodes each string segment with its byte-length-independent character length before concatenation.
+ * @returns Collision-resistant intern key for one regex predicate identity.
+ */
+function makeRegexInternKey(value, source, flags, name) {
+    return `regex:${String(value)}:${lengthPrefixed(source)}${lengthPrefixed(flags)}${lengthPrefixed(name)}`;
+}
+/**
+ * @brief length prefixed.
+ * @details Preserves string tuple boundaries without allocating wrapper arrays or nested maps.
+ * @returns Encoded string segment suitable for intern table keys.
+ */
+function lengthPrefixed(value) {
+    return `${String(value.length)}:${value};`;
+}
+/**
+ * @brief literal key.
+ */
+function literalKey(value) {
+    if (value === null) {
+        return "null";
+    }
+    const valueType = typeof value;
+    if (valueType === "string") {
+        return `string:${String(value)}`;
+    }
+    if (valueType === "number") {
+        if (Object.is(value, -0)) {
+            return "number:-0";
+        }
+        if (Number.isNaN(value)) {
+            return "number:nan";
+        }
+        return `number:${String(value)}`;
+    }
+    if (valueType === "bigint") {
+        return `bigint:${String(value)}`;
+    }
+    if (valueType === "boolean") {
+        return `boolean:${String(value)}`;
+    }
+    return "undefined";
+}
+/**
+ * @brief make discriminant lookup.
+ */
+function makeDiscriminantLookup(literals) {
+    const lookup = Object.create(null);
+    for (let index = 0; index < literals.length; index += 1) {
+        const literal = literals[index];
+        if (literal !== undefined) {
+            lookup[literal] = index;
+        }
+    }
+    return Object.freeze(lookup);
+}

package/dist/ir/freeze.d.ts

@@ -0,0 +1,10 @@
+/**
+ * @file freeze.ts
+ * @brief Immutable graph finalization.
+ */
+import type { Graph } from "./types.js";
+/**
+ * @brief freeze graph.
+ */
+export declare function freezeGraph(graph: Graph): Graph;
+//# sourceMappingURL=freeze.d.ts.map

package/dist/ir/freeze.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"freeze.d.ts","sourceRoot":"","sources":["../../src/ir/freeze.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAKH,OAAO,KAAK,EAAE,KAAK,EAAwB,MAAM,YAAY,CAAC;AAE9D;;GAEG;AACH,wBAAgB,WAAW,CAAC,KAAK,EAAE,KAAK,GAAG,KAAK,CAS/C"}