@stevenvo780/st-lang 4.11.0 → 4.13.0

package/dist/tooling/test-harness/coverage.js

@@ -0,0 +1,32 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.runWithCoverage = runWithCoverage;
+async function runWithCoverage(suite, runner) {
+    let passing = 0;
+    let failing = 0;
+    let errored = 0;
+    const tagDistribution = new Map();
+    for (const c of suite.cases) {
+        for (const t of c.tags ?? []) {
+            tagDistribution.set(t, (tagDistribution.get(t) ?? 0) + 1);
+        }
+        try {
+            const ok = await runner(c);
+            if (ok)
+                passing += 1;
+            else
+                failing += 1;
+        }
+        catch {
+            errored += 1;
+        }
+    }
+    return {
+        totalCases: suite.cases.length,
+        passing,
+        failing,
+        errored,
+        tagDistribution
+    };
+}
+//# sourceMappingURL=coverage.js.map

package/dist/tooling/test-harness/coverage.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"coverage.js","sourceRoot":"","sources":["../../../src/tooling/test-harness/coverage.ts"],"names":[],"mappings":";;AAEA,0CA6BC;AA7BM,KAAK,UAAU,eAAe,CACnC,KAAmB,EACnB,MAA4C;IAE5C,IAAI,OAAO,GAAG,CAAC,CAAC;IAChB,IAAI,OAAO,GAAG,CAAC,CAAC;IAChB,IAAI,OAAO,GAAG,CAAC,CAAC;IAChB,MAAM,eAAe,GAAG,IAAI,GAAG,EAAkB,CAAC;IAElD,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;QAC5B,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,IAAI,EAAE,EAAE,CAAC;YAC7B,eAAe,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAC5D,CAAC;QACD,IAAI,CAAC;YACH,MAAM,EAAE,GAAG,MAAM,MAAM,CAAC,CAAC,CAAC,CAAC;YAC3B,IAAI,EAAE;gBAAE,OAAO,IAAI,CAAC,CAAC;;gBAChB,OAAO,IAAI,CAAC,CAAC;QACpB,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,IAAI,CAAC,CAAC;QACf,CAAC;IACH,CAAC;IAED,OAAO;QACL,UAAU,EAAE,KAAK,CAAC,KAAK,CAAC,MAAM;QAC9B,OAAO;QACP,OAAO;QACP,OAAO;QACP,eAAe;KAChB,CAAC;AACJ,CAAC"}

package/dist/tooling/test-harness/generators.d.ts

@@ -0,0 +1,6 @@
+export declare function nats(max: number): Generator<number>;
+export declare function range(start: number, end: number, step?: number): Generator<number>;
+export declare function randomInts(seed: number, count: number, max: number): Generator<number>;
+export declare function take<T>(gen: Iterable<T>, n: number): T[];
+export declare function toArray<T>(gen: Iterable<T>): T[];
+//# sourceMappingURL=generators.d.ts.map

package/dist/tooling/test-harness/generators.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"generators.d.ts","sourceRoot":"","sources":["../../../src/tooling/test-harness/generators.ts"],"names":[],"mappings":"AAAA,wBAAiB,IAAI,CAAC,GAAG,EAAE,MAAM,GAAG,SAAS,CAAC,MAAM,CAAC,CAMpD;AAED,wBAAiB,KAAK,CACpB,KAAK,EAAE,MAAM,EACb,GAAG,EAAE,MAAM,EACX,IAAI,CAAC,EAAE,MAAM,GACZ,SAAS,CAAC,MAAM,CAAC,CAYnB;AAaD,wBAAiB,UAAU,CACzB,IAAI,EAAE,MAAM,EACZ,KAAK,EAAE,MAAM,EACb,GAAG,EAAE,MAAM,GACV,SAAS,CAAC,MAAM,CAAC,CAOnB;AAED,wBAAgB,IAAI,CAAC,CAAC,EAAE,GAAG,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,MAAM,GAAG,CAAC,EAAE,CAUxD;AAED,wBAAgB,OAAO,CAAC,CAAC,EAAE,GAAG,EAAE,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAEhD"}

package/dist/tooling/test-harness/generators.js

@@ -0,0 +1,66 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.nats = nats;
+exports.range = range;
+exports.randomInts = randomInts;
+exports.take = take;
+exports.toArray = toArray;
+function* nats(max) {
+    if (!Number.isFinite(max) || max < 0)
+        return;
+    const cap = Math.floor(max);
+    for (let i = 0; i <= cap; i += 1) {
+        yield i;
+    }
+}
+function* range(start, end, step) {
+    const s = step ?? 1;
+    if (s === 0 || !Number.isFinite(s))
+        return;
+    if (s > 0) {
+        for (let i = start; i < end; i += s) {
+            yield i;
+        }
+    }
+    else {
+        for (let i = start; i > end; i += s) {
+            yield i;
+        }
+    }
+}
+function mulberry32(seed) {
+    let a = seed >>> 0;
+    return () => {
+        a = (a + 0x6d2b79f5) >>> 0;
+        let t = a;
+        t = Math.imul(t ^ (t >>> 15), t | 1);
+        t ^= t + Math.imul(t ^ (t >>> 7), t | 61);
+        return ((t ^ (t >>> 14)) >>> 0) / 4294967296;
+    };
+}
+function* randomInts(seed, count, max) {
+    if (count <= 0)
+        return;
+    const rng = mulberry32(seed);
+    const cap = Math.max(1, Math.floor(max));
+    for (let i = 0; i < count; i += 1) {
+        yield Math.floor(rng() * cap);
+    }
+}
+function take(gen, n) {
+    const out = [];
+    if (n <= 0)
+        return out;
+    let i = 0;
+    for (const v of gen) {
+        if (i >= n)
+            break;
+        out.push(v);
+        i += 1;
+    }
+    return out;
+}
+function toArray(gen) {
+    return Array.from(gen);
+}
+//# sourceMappingURL=generators.js.map

package/dist/tooling/test-harness/generators.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"generators.js","sourceRoot":"","sources":["../../../src/tooling/test-harness/generators.ts"],"names":[],"mappings":";;AAAA,oBAMC;AAED,sBAgBC;AAaD,gCAWC;AAED,oBAUC;AAED,0BAEC;AAhED,QAAe,CAAC,CAAC,IAAI,CAAC,GAAW;IAC/B,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,GAAG,GAAG,CAAC;QAAE,OAAO;IAC7C,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IAC5B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,GAAG,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QACjC,MAAM,CAAC,CAAC;IACV,CAAC;AACH,CAAC;AAED,QAAe,CAAC,CAAC,KAAK,CACpB,KAAa,EACb,GAAW,EACX,IAAa;IAEb,MAAM,CAAC,GAAG,IAAI,IAAI,CAAC,CAAC;IACpB,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC;QAAE,OAAO;IAC3C,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;QACV,KAAK,IAAI,CAAC,GAAG,KAAK,EAAE,CAAC,GAAG,GAAG,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;YACpC,MAAM,CAAC,CAAC;QACV,CAAC;IACH,CAAC;SAAM,CAAC;QACN,KAAK,IAAI,CAAC,GAAG,KAAK,EAAE,CAAC,GAAG,GAAG,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;YACpC,MAAM,CAAC,CAAC;QACV,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,UAAU,CAAC,IAAY;IAC9B,IAAI,CAAC,GAAG,IAAI,KAAK,CAAC,CAAC;IACnB,OAAO,GAAG,EAAE;QACV,CAAC,GAAG,CAAC,CAAC,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC;QAC3B,IAAI,CAAC,GAAG,CAAC,CAAC;QACV,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QACrC,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC;QAC1C,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,GAAG,UAAU,CAAC;IAC/C,CAAC,CAAC;AACJ,CAAC;AAED,QAAe,CAAC,CAAC,UAAU,CACzB,IAAY,EACZ,KAAa,EACb,GAAW;IAEX,IAAI,KAAK,IAAI,CAAC;QAAE,OAAO;IACvB,MAAM,GAAG,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;IAC7B,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;IACzC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QAClC,MAAM,IAAI,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,GAAG,CAAC,CAAC;IAChC,CAAC;AACH,CAAC;AAED,SAAgB,IAAI,CAAI,GAAgB,EAAE,CAAS;IACjD,MAAM,GAAG,GAAQ,EAAE,CAAC;IACpB,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,GAAG,CAAC;IACvB,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,KAAK,MAAM,CAAC,IAAI,GAAG,EAAE,CAAC;QACpB,IAAI,CAAC,IAAI,CAAC;YAAE,MAAM;QAClB,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACZ,CAAC,IAAI,CAAC,CAAC;IACT,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAgB,OAAO,CAAI,GAAgB;IACzC,OAAO,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AACzB,CAAC"}

package/dist/tooling/test-harness/index.d.ts

@@ -0,0 +1,7 @@
+export type { CombineMode, CoverageReport, CrossProductOptions, Snapshot, SnapshotComparison, TestCase, TestSuite } from './types';
+export { crossProduct, filter, filterByTags, makeSuite, parameterize, tag } from './combinators';
+export { nats, randomInts, range, take, toArray } from './generators';
+export { runWithCoverage } from './coverage';
+export { compareSnapshot, snapshotHash, takeSnapshot } from './snapshot';
+export { mutateBoolean, mutateNumber, mutateString } from './mutation';
+//# sourceMappingURL=index.d.ts.map

package/dist/tooling/test-harness/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/tooling/test-harness/index.ts"],"names":[],"mappings":"AAAA,YAAY,EACV,WAAW,EACX,cAAc,EACd,mBAAmB,EACnB,QAAQ,EACR,kBAAkB,EAClB,QAAQ,EACR,SAAS,EACV,MAAM,SAAS,CAAC;AAEjB,OAAO,EACL,YAAY,EACZ,MAAM,EACN,YAAY,EACZ,SAAS,EACT,YAAY,EACZ,GAAG,EACJ,MAAM,eAAe,CAAC;AAEvB,OAAO,EACL,IAAI,EACJ,UAAU,EACV,KAAK,EACL,IAAI,EACJ,OAAO,EACR,MAAM,cAAc,CAAC;AAEtB,OAAO,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AAE7C,OAAO,EACL,eAAe,EACf,YAAY,EACZ,YAAY,EACb,MAAM,YAAY,CAAC;AAEpB,OAAO,EACL,aAAa,EACb,YAAY,EACZ,YAAY,EACb,MAAM,YAAY,CAAC"}

package/dist/tooling/test-harness/index.js

@@ -0,0 +1,27 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.mutateString = exports.mutateNumber = exports.mutateBoolean = exports.takeSnapshot = exports.snapshotHash = exports.compareSnapshot = exports.runWithCoverage = exports.toArray = exports.take = exports.range = exports.randomInts = exports.nats = exports.tag = exports.parameterize = exports.makeSuite = exports.filterByTags = exports.filter = exports.crossProduct = void 0;
+var combinators_1 = require("./combinators");
+Object.defineProperty(exports, "crossProduct", { enumerable: true, get: function () { return combinators_1.crossProduct; } });
+Object.defineProperty(exports, "filter", { enumerable: true, get: function () { return combinators_1.filter; } });
+Object.defineProperty(exports, "filterByTags", { enumerable: true, get: function () { return combinators_1.filterByTags; } });
+Object.defineProperty(exports, "makeSuite", { enumerable: true, get: function () { return combinators_1.makeSuite; } });
+Object.defineProperty(exports, "parameterize", { enumerable: true, get: function () { return combinators_1.parameterize; } });
+Object.defineProperty(exports, "tag", { enumerable: true, get: function () { return combinators_1.tag; } });
+var generators_1 = require("./generators");
+Object.defineProperty(exports, "nats", { enumerable: true, get: function () { return generators_1.nats; } });
+Object.defineProperty(exports, "randomInts", { enumerable: true, get: function () { return generators_1.randomInts; } });
+Object.defineProperty(exports, "range", { enumerable: true, get: function () { return generators_1.range; } });
+Object.defineProperty(exports, "take", { enumerable: true, get: function () { return generators_1.take; } });
+Object.defineProperty(exports, "toArray", { enumerable: true, get: function () { return generators_1.toArray; } });
+var coverage_1 = require("./coverage");
+Object.defineProperty(exports, "runWithCoverage", { enumerable: true, get: function () { return coverage_1.runWithCoverage; } });
+var snapshot_1 = require("./snapshot");
+Object.defineProperty(exports, "compareSnapshot", { enumerable: true, get: function () { return snapshot_1.compareSnapshot; } });
+Object.defineProperty(exports, "snapshotHash", { enumerable: true, get: function () { return snapshot_1.snapshotHash; } });
+Object.defineProperty(exports, "takeSnapshot", { enumerable: true, get: function () { return snapshot_1.takeSnapshot; } });
+var mutation_1 = require("./mutation");
+Object.defineProperty(exports, "mutateBoolean", { enumerable: true, get: function () { return mutation_1.mutateBoolean; } });
+Object.defineProperty(exports, "mutateNumber", { enumerable: true, get: function () { return mutation_1.mutateNumber; } });
+Object.defineProperty(exports, "mutateString", { enumerable: true, get: function () { return mutation_1.mutateString; } });
+//# sourceMappingURL=index.js.map

package/dist/tooling/test-harness/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/tooling/test-harness/index.ts"],"names":[],"mappings":";;;AAUA,6CAOuB;AANrB,2GAAA,YAAY,OAAA;AACZ,qGAAA,MAAM,OAAA;AACN,2GAAA,YAAY,OAAA;AACZ,wGAAA,SAAS,OAAA;AACT,2GAAA,YAAY,OAAA;AACZ,kGAAA,GAAG,OAAA;AAGL,2CAMsB;AALpB,kGAAA,IAAI,OAAA;AACJ,wGAAA,UAAU,OAAA;AACV,mGAAA,KAAK,OAAA;AACL,kGAAA,IAAI,OAAA;AACJ,qGAAA,OAAO,OAAA;AAGT,uCAA6C;AAApC,2GAAA,eAAe,OAAA;AAExB,uCAIoB;AAHlB,2GAAA,eAAe,OAAA;AACf,wGAAA,YAAY,OAAA;AACZ,wGAAA,YAAY,OAAA;AAGd,uCAIoB;AAHlB,yGAAA,aAAa,OAAA;AACb,wGAAA,YAAY,OAAA;AACZ,wGAAA,YAAY,OAAA"}

package/dist/tooling/test-harness/mutation.d.ts

@@ -0,0 +1,4 @@
+export declare function mutateNumber(n: number): number[];
+export declare function mutateString(s: string): string[];
+export declare function mutateBoolean(b: boolean): boolean[];
+//# sourceMappingURL=mutation.d.ts.map

package/dist/tooling/test-harness/mutation.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"mutation.d.ts","sourceRoot":"","sources":["../../../src/tooling/test-harness/mutation.ts"],"names":[],"mappings":"AAAA,wBAAgB,YAAY,CAAC,CAAC,EAAE,MAAM,GAAG,MAAM,EAAE,CAEhD;AAED,wBAAgB,YAAY,CAAC,CAAC,EAAE,MAAM,GAAG,MAAM,EAAE,CAchD;AAED,wBAAgB,aAAa,CAAC,CAAC,EAAE,OAAO,GAAG,OAAO,EAAE,CAEnD"}

package/dist/tooling/test-harness/mutation.js

@@ -0,0 +1,28 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.mutateNumber = mutateNumber;
+exports.mutateString = mutateString;
+exports.mutateBoolean = mutateBoolean;
+function mutateNumber(n) {
+    return [n + 1, n - 1, 0, -n, 2 * n];
+}
+function mutateString(s) {
+    const out = [];
+    out.push('');
+    out.push(`${s} `);
+    if (s.length > 0) {
+        out.push(s.slice(0, -1));
+        out.push(s.slice(1));
+        out.push(s.toUpperCase() === s ? s.toLowerCase() : s.toUpperCase());
+    }
+    else {
+        out.push('x');
+        out.push('xx');
+        out.push('X');
+    }
+    return out;
+}
+function mutateBoolean(b) {
+    return [!b];
+}
+//# sourceMappingURL=mutation.js.map

package/dist/tooling/test-harness/mutation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"mutation.js","sourceRoot":"","sources":["../../../src/tooling/test-harness/mutation.ts"],"names":[],"mappings":";;AAAA,oCAEC;AAED,oCAcC;AAED,sCAEC;AAtBD,SAAgB,YAAY,CAAC,CAAS;IACpC,OAAO,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;AACtC,CAAC;AAED,SAAgB,YAAY,CAAC,CAAS;IACpC,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACb,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAClB,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACjB,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACzB,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;QACrB,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC;IACtE,CAAC;SAAM,CAAC;QACN,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACd,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACf,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAChB,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAgB,aAAa,CAAC,CAAU;IACtC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;AACd,CAAC"}

package/dist/tooling/test-harness/snapshot.d.ts

@@ -0,0 +1,5 @@
+import type { Snapshot, SnapshotComparison } from './types';
+export declare function snapshotHash(input: unknown, output: unknown): string;
+export declare function takeSnapshot(input: unknown, output: unknown): Snapshot;
+export declare function compareSnapshot(snap: Snapshot, current: unknown): SnapshotComparison;
+//# sourceMappingURL=snapshot.d.ts.map

package/dist/tooling/test-harness/snapshot.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"snapshot.d.ts","sourceRoot":"","sources":["../../../src/tooling/test-harness/snapshot.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,kBAAkB,EAAE,MAAM,SAAS,CAAC;AAuD5D,wBAAgB,YAAY,CAAC,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,GAAG,MAAM,CAEpE;AAED,wBAAgB,YAAY,CAAC,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,GAAG,QAAQ,CAMtE;AAED,wBAAgB,eAAe,CAC7B,IAAI,EAAE,QAAQ,EACd,OAAO,EAAE,OAAO,GACf,kBAAkB,CAUpB"}

package/dist/tooling/test-harness/snapshot.js

@@ -0,0 +1,86 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.snapshotHash = snapshotHash;
+exports.takeSnapshot = takeSnapshot;
+exports.compareSnapshot = compareSnapshot;
+function stableStringify(value) {
+    const seen = new WeakSet();
+    const walk = (v) => {
+        if (v === null)
+            return null;
+        if (typeof v === 'undefined')
+            return '__undefined__';
+        if (typeof v === 'bigint')
+            return `__bigint__:${v.toString()}`;
+        if (typeof v === 'function')
+            return `__fn__:${v.name || 'anon'}`;
+        if (typeof v === 'symbol')
+            return `__sym__:${v.toString()}`;
+        if (typeof v !== 'object')
+            return v;
+        if (seen.has(v))
+            return '__cycle__';
+        seen.add(v);
+        if (Array.isArray(v)) {
+            return v.map(walk);
+        }
+        if (v instanceof Map) {
+            const entries = [];
+            for (const [k, val] of v.entries())
+                entries.push([k, val]);
+            entries.sort((a, b) => {
+                const ka = String(a[0]);
+                const kb = String(b[0]);
+                return ka < kb ? -1 : ka > kb ? 1 : 0;
+            });
+            return { __map__: entries.map(([k, val]) => [walk(k), walk(val)]) };
+        }
+        if (v instanceof Set) {
+            const arr = Array.from(v.values()).map(walk);
+            arr.sort((a, b) => {
+                const sa = JSON.stringify(a);
+                const sb = JSON.stringify(b);
+                return sa < sb ? -1 : sa > sb ? 1 : 0;
+            });
+            return { __set__: arr };
+        }
+        const obj = v;
+        const keys = Object.keys(obj).sort();
+        const out = {};
+        for (const k of keys) {
+            out[k] = walk(obj[k]);
+        }
+        return out;
+    };
+    return JSON.stringify(walk(value));
+}
+function fnv1a(s) {
+    let h = 0x811c9dc5;
+    for (let i = 0; i < s.length; i += 1) {
+        h ^= s.charCodeAt(i);
+        h = (h + ((h << 1) + (h << 4) + (h << 7) + (h << 8) + (h << 24))) >>> 0;
+    }
+    return h.toString(16).padStart(8, '0');
+}
+function snapshotHash(input, output) {
+    return fnv1a(`${stableStringify(input)}|${stableStringify(output)}`);
+}
+function takeSnapshot(input, output) {
+    return {
+        input,
+        output,
+        hash: snapshotHash(input, output)
+    };
+}
+function compareSnapshot(snap, current) {
+    const expected = stableStringify(snap.output);
+    const actual = stableStringify(current);
+    if (expected === actual) {
+        return { match: true };
+    }
+    return {
+        match: false,
+        diff: `expected: ${expected}\nactual:   ${actual}`
+    };
+}
+//# sourceMappingURL=snapshot.js.map

package/dist/tooling/test-harness/snapshot.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"snapshot.js","sourceRoot":"","sources":["../../../src/tooling/test-harness/snapshot.ts"],"names":[],"mappings":";;AAuDA,oCAEC;AAED,oCAMC;AAED,0CAaC;AA9ED,SAAS,eAAe,CAAC,KAAc;IACrC,MAAM,IAAI,GAAG,IAAI,OAAO,EAAU,CAAC;IACnC,MAAM,IAAI,GAAG,CAAC,CAAU,EAAW,EAAE;QACnC,IAAI,CAAC,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QAC5B,IAAI,OAAO,CAAC,KAAK,WAAW;YAAE,OAAO,eAAe,CAAC;QACrD,IAAI,OAAO,CAAC,KAAK,QAAQ;YAAE,OAAO,cAAc,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC;QAC/D,IAAI,OAAO,CAAC,KAAK,UAAU;YAAE,OAAO,UAAU,CAAC,CAAC,IAAI,IAAI,MAAM,EAAE,CAAC;QACjE,IAAI,OAAO,CAAC,KAAK,QAAQ;YAAE,OAAO,WAAW,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC;QAC5D,IAAI,OAAO,CAAC,KAAK,QAAQ;YAAE,OAAO,CAAC,CAAC;QACpC,IAAI,IAAI,CAAC,GAAG,CAAC,CAAW,CAAC;YAAE,OAAO,WAAW,CAAC;QAC9C,IAAI,CAAC,GAAG,CAAC,CAAW,CAAC,CAAC;QACtB,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;YACrB,OAAO,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACrB,CAAC;QACD,IAAI,CAAC,YAAY,GAAG,EAAE,CAAC;YACrB,MAAM,OAAO,GAA8B,EAAE,CAAC;YAC9C,KAAK,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE;gBAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;YAC3D,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;gBACpB,MAAM,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;gBACxB,MAAM,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;gBACxB,OAAO,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACxC,CAAC,CAAC,CAAC;YACH,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;QACtE,CAAC;QACD,IAAI,CAAC,YAAY,GAAG,EAAE,CAAC;YACrB,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAC7C,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;gBAChB,MAAM,EAAE,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;gBAC7B,MAAM,EAAE,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;gBAC7B,OAAO,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACxC,CAAC,CAAC,CAAC;YACH,OAAO,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;QAC1B,CAAC;QACD,MAAM,GAAG,GAAG,CAA4B,CAAC;QACzC,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;QACrC,MAAM,GAAG,GAA4B,EAAE,CAAC;QACxC,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;YACrB,GAAG,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACxB,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC,CAAC;IACF,OAAO,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;AACrC,CAAC;AAED,SAAS,KAAK,CAAC,CAAS;IACtB,IAAI,CAAC,GAAG,UAAU,CAAC;IACnB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QACrC,CAAC,IAAI,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;QACrB,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;IAC1E,CAAC;IACD,OAAO,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;AACzC,CAAC;AAED,SAAgB,YAAY,CAAC,KAAc,EAAE,MAAe;IAC1D,OAAO,KAAK,CAAC,GAAG,eAAe,CAAC,KAAK,CAAC,IAAI,eAAe,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;AACvE,CAAC;AAED,SAAgB,YAAY,CAAC,KAAc,EAAE,MAAe;IAC1D,OAAO;QACL,KAAK;QACL,MAAM;QACN,IAAI,EAAE,YAAY,CAAC,KAAK,EAAE,MAAM,CAAC;KAClC,CAAC;AACJ,CAAC;AAED,SAAgB,eAAe,CAC7B,IAAc,EACd,OAAgB;IAEhB,MAAM,QAAQ,GAAG,eAAe,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC9C,MAAM,MAAM,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC;IACxC,IAAI,QAAQ,KAAK,MAAM,EAAE,CAAC;QACxB,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;IACzB,CAAC;IACD,OAAO;QACL,KAAK,EAAE,KAAK;QACZ,IAAI,EAAE,aAAa,QAAQ,eAAe,MAAM,EAAE;KACnD,CAAC;AACJ,CAAC"}

package/dist/tooling/test-harness/types.d.ts

@@ -0,0 +1,32 @@
+export interface TestCase<T> {
+    name: string;
+    input: T;
+    expected?: unknown;
+    tags?: string[];
+}
+export interface TestSuite<T> {
+    name: string;
+    cases: TestCase<T>[];
+}
+export type CombineMode = 'union' | 'intersect' | 'cartesian';
+export interface CrossProductOptions {
+    combine: CombineMode;
+    filterTags?: string[];
+}
+export interface CoverageReport {
+    totalCases: number;
+    passing: number;
+    failing: number;
+    errored: number;
+    tagDistribution: Map<string, number>;
+}
+export interface Snapshot {
+    input: unknown;
+    output: unknown;
+    hash: string;
+}
+export interface SnapshotComparison {
+    match: boolean;
+    diff?: string;
+}
+//# sourceMappingURL=types.d.ts.map

package/dist/tooling/test-harness/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/tooling/test-harness/types.ts"],"names":[],"mappings":"AAAA,MAAM,WAAW,QAAQ,CAAC,CAAC;IACzB,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,CAAC,CAAC;IACT,QAAQ,CAAC,EAAE,OAAO,CAAC;IACnB,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC;CACjB;AAED,MAAM,WAAW,SAAS,CAAC,CAAC;IAC1B,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;CACtB;AAED,MAAM,MAAM,WAAW,GAAG,OAAO,GAAG,WAAW,GAAG,WAAW,CAAC;AAE9D,MAAM,WAAW,mBAAmB;IAClC,OAAO,EAAE,WAAW,CAAC;IACrB,UAAU,CAAC,EAAE,MAAM,EAAE,CAAC;CACvB;AAED,MAAM,WAAW,cAAc;IAC7B,UAAU,EAAE,MAAM,CAAC;IACnB,OAAO,EAAE,MAAM,CAAC;IAChB,OAAO,EAAE,MAAM,CAAC;IAChB,OAAO,EAAE,MAAM,CAAC;IAChB,eAAe,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CACtC;AAED,MAAM,WAAW,QAAQ;IACvB,KAAK,EAAE,OAAO,CAAC;IACf,MAAM,EAAE,OAAO,CAAC;IAChB,IAAI,EAAE,MAAM,CAAC;CACd;AAED,MAAM,WAAW,kBAAkB;IACjC,KAAK,EAAE,OAAO,CAAC;IACf,IAAI,CAAC,EAAE,MAAM,CAAC;CACf"}

package/dist/tooling/test-harness/types.js

@@ -0,0 +1,3 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+//# sourceMappingURL=types.js.map

package/dist/tooling/test-harness/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../../src/tooling/test-harness/types.ts"],"names":[],"mappings":""}

package/dist/type-theory/lambda-cube/erase.d.ts

@@ -0,0 +1,26 @@
+import type { CubeTerm } from './types';
+export type UntypedTerm = {
+    kind: 'var';
+    name: string;
+} | {
+    kind: 'abs';
+    param: string;
+    body: UntypedTerm;
+} | {
+    kind: 'app';
+    fn: UntypedTerm;
+    arg: UntypedTerm;
+};
+export interface EraseError {
+    error: string;
+}
+export declare function isEraseError(r: UntypedTerm | EraseError): r is EraseError;
+/**
+ * Borrado total a λ-cálculo no tipado. Sorts y Π no tienen
+ * representante runtime — si aparecen como sub-término principal,
+ * el resultado es un error de borrado.
+ */
+export declare function erase(term: CubeTerm): UntypedTerm | EraseError;
+/** Serialización legible del λ-untyped. */
+export declare function untypedToString(t: UntypedTerm): string;
+//# sourceMappingURL=erase.d.ts.map

package/dist/type-theory/lambda-cube/erase.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"erase.d.ts","sourceRoot":"","sources":["../../../src/type-theory/lambda-cube/erase.ts"],"names":[],"mappings":"AAiBA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,SAAS,CAAC;AAExC,MAAM,MAAM,WAAW,GACnB;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GAC7B;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,WAAW,CAAA;CAAE,GACjD;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,EAAE,EAAE,WAAW,CAAC;IAAC,GAAG,EAAE,WAAW,CAAA;CAAE,CAAC;AAEvD,MAAM,WAAW,UAAU;IACzB,KAAK,EAAE,MAAM,CAAC;CACf;AAED,wBAAgB,YAAY,CAAC,CAAC,EAAE,WAAW,GAAG,UAAU,GAAG,CAAC,IAAI,UAAU,CAEzE;AAED;;;;GAIG;AACH,wBAAgB,KAAK,CAAC,IAAI,EAAE,QAAQ,GAAG,WAAW,GAAG,UAAU,CAqB9D;AAED,2CAA2C;AAC3C,wBAAgB,eAAe,CAAC,CAAC,EAAE,WAAW,GAAG,MAAM,CAWtD"}

package/dist/type-theory/lambda-cube/erase.js

@@ -0,0 +1,68 @@
+"use strict";
+// ============================================================
+// Lambda Cube — Erasure a λ-cálculo no tipado
+// ============================================================
+//
+// La función de borrado (erasure / type-erasure) traduce un término
+// del cubo a un λ-término puro:
+//
+//   |x|            = x
+//   |s|            = ⊥  (sorts no tienen representante runtime)
+//   |λ x:A. b|     = λ x. |b|
+//   |Π x:A. B|     = ⊥  (los Π son tipos, no se ejecutan)
+//   |f a|          = |f| |a|
+//
+// El erasure preserva β: si `t →β t'` en el cubo entonces
+// `|t| →β |t'|` en λ-untyped. Esa es la base de la "phase distinction"
+// estándar de los sistemas de tipos polimórficos.
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.isEraseError = isEraseError;
+exports.erase = erase;
+exports.untypedToString = untypedToString;
+function isEraseError(r) {
+    return typeof r === 'object' && r !== null && 'error' in r && typeof r.error === 'string';
+}
+/**
+ * Borrado total a λ-cálculo no tipado. Sorts y Π no tienen
+ * representante runtime — si aparecen como sub-término principal,
+ * el resultado es un error de borrado.
+ */
+function erase(term) {
+    switch (term.kind) {
+        case 'var':
+            return { kind: 'var', name: term.name };
+        case 'sort':
+            return { error: `no se puede borrar el sort '${term.sort}' a λ-untyped` };
+        case 'pi':
+            return { error: `no se puede borrar un Π-type a λ-untyped` };
+        case 'lam': {
+            const body = erase(term.body);
+            if (isEraseError(body))
+                return body;
+            return { kind: 'abs', param: term.bind, body };
+        }
+        case 'app': {
+            const fn = erase(term.fn);
+            if (isEraseError(fn))
+                return fn;
+            const arg = erase(term.arg);
+            if (isEraseError(arg))
+                return arg;
+            return { kind: 'app', fn, arg };
+        }
+    }
+}
+/** Serialización legible del λ-untyped. */
+function untypedToString(t) {
+    switch (t.kind) {
+        case 'var':
+            return t.name;
+        case 'abs':
+            return `(λ${t.param}. ${untypedToString(t.body)})`;
+        case 'app': {
+            const arg = t.arg.kind === 'app' ? `(${untypedToString(t.arg)})` : untypedToString(t.arg);
+            return `(${untypedToString(t.fn)} ${arg})`;
+        }
+    }
+}
+//# sourceMappingURL=erase.js.map

package/dist/type-theory/lambda-cube/erase.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"erase.js","sourceRoot":"","sources":["../../../src/type-theory/lambda-cube/erase.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,8CAA8C;AAC9C,+DAA+D;AAC/D,EAAE;AACF,oEAAoE;AACpE,gCAAgC;AAChC,EAAE;AACF,uBAAuB;AACvB,gEAAgE;AAChE,8BAA8B;AAC9B,0DAA0D;AAC1D,6BAA6B;AAC7B,EAAE;AACF,0DAA0D;AAC1D,uEAAuE;AACvE,kDAAkD;;AAalD,oCAEC;AAOD,sBAqBC;AAGD,0CAWC;AA5CD,SAAgB,YAAY,CAAC,CAA2B;IACtD,OAAO,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI,IAAI,OAAO,IAAI,CAAC,IAAI,OAAO,CAAC,CAAC,KAAK,KAAK,QAAQ,CAAC;AAC5F,CAAC;AAED;;;;GAIG;AACH,SAAgB,KAAK,CAAC,IAAc;IAClC,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,KAAK;YACR,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC;QAC1C,KAAK,MAAM;YACT,OAAO,EAAE,KAAK,EAAE,+BAA+B,IAAI,CAAC,IAAI,eAAe,EAAE,CAAC;QAC5E,KAAK,IAAI;YACP,OAAO,EAAE,KAAK,EAAE,0CAA0C,EAAE,CAAC;QAC/D,KAAK,KAAK,CAAC,CAAC,CAAC;YACX,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC9B,IAAI,YAAY,CAAC,IAAI,CAAC;gBAAE,OAAO,IAAI,CAAC;YACpC,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC;QACjD,CAAC;QACD,KAAK,KAAK,CAAC,CAAC,CAAC;YACX,MAAM,EAAE,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YAC1B,IAAI,YAAY,CAAC,EAAE,CAAC;gBAAE,OAAO,EAAE,CAAC;YAChC,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YAC5B,IAAI,YAAY,CAAC,GAAG,CAAC;gBAAE,OAAO,GAAG,CAAC;YAClC,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC;QAClC,CAAC;IACH,CAAC;AACH,CAAC;AAED,2CAA2C;AAC3C,SAAgB,eAAe,CAAC,CAAc;IAC5C,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,KAAK;YACR,OAAO,CAAC,CAAC,IAAI,CAAC;QAChB,KAAK,KAAK;YACR,OAAO,KAAK,CAAC,CAAC,KAAK,KAAK,eAAe,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC;QACrD,KAAK,KAAK,CAAC,CAAC,CAAC;YACX,MAAM,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,IAAI,eAAe,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;YAC1F,OAAO,IAAI,eAAe,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,GAAG,GAAG,CAAC;QAC7C,CAAC;IACH,CAAC;AACH,CAAC"}

package/dist/type-theory/lambda-cube/examples.d.ts

@@ -0,0 +1,59 @@
+import { type CubeTerm } from './types';
+/**
+ * Identidad polimórfica: λ X:*. λ x:X. x  ∈ λ2.
+ * Tipo: Π X:*. X → X.
+ */
+export declare function polymorphicIdentity(): CubeTerm;
+/** Tipo de la identidad polimórfica: Π X:*. X → X. */
+export declare function polymorphicIdentityType(): CubeTerm;
+/**
+ * Encoding Church de un natural `n` en System F:
+ *     n = λ X:*. λ s:X→X. λ z:X. s (s (... (s z) ...))   con n aplicaciones
+ *
+ * Tipo: Π X:*. (X → X) → X → X.
+ */
+export declare function churchNumeral(n: number): CubeTerm;
+/** Tipo de un natural Church: Π X:*. (X → X) → X → X. */
+export declare function churchNumeralType(): CubeTerm;
+/**
+ * Tipo polimórfico de pares: Π A:*. Π B:*. (Π C:*. (A → B → C) → C) → ...
+ * En la versión sencilla devolvemos solo el tipo de "Pair A B":
+ *
+ *   Π A:*. Π B:*. Π C:*. (A → B → C) → C
+ */
+export declare function churchPairType(): CubeTerm;
+/**
+ * Esquema de "lista dependiente": dado un tipo de vectores indexado
+ * por `Nat`, devolvemos el Π típico
+ *
+ *   Π n : Nat. Vector n
+ *
+ * Requiere que el contexto declare `Nat : *` y `Vector : Nat → *`.
+ * Atención: ambos extremos son `*`, así que esta Π usa la regla
+ * (*,*) y queda legal incluso en λ→ una vez que `Vector` está en el
+ * contexto. El sabor "dependiente" viene del hecho de que el
+ * codominio menciona el binder `n`.
+ */
+export declare function dependentList(): CubeTerm;
+/**
+ * Predicado sobre `Nat`: `Π n:Nat. *`. Domino `Nat : *` y codominio
+ * `*` (cuyo sort es `◻`). Esa es justo la formación (*,◻) — exclusiva
+ * de los vértices con tipos dependientes (λP, λP2, λPω, λC).
+ *
+ * Requiere `Nat : *` en el contexto.
+ */
+export declare function predicateOverNat(): CubeTerm;
+/**
+ * Operador de tipo `id-type`: λ A:*. A → A  en λω.
+ * Tipo: * → *.
+ */
+export declare function typeLevelIdentity(): CubeTerm;
+/** Tipo del operador `typeLevelIdentity`: * → *. */
+export declare function typeLevelIdentityKind(): CubeTerm;
+/**
+ * En el Calculus of Constructions, el tipo polimórfico
+ *   Π A:*. A → A
+ * vive en el universo `*`.
+ */
+export declare function cocPolyIdentityType(): CubeTerm;
+//# sourceMappingURL=examples.d.ts.map

package/dist/type-theory/lambda-cube/examples.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"examples.d.ts","sourceRoot":"","sources":["../../../src/type-theory/lambda-cube/examples.ts"],"names":[],"mappings":"AAQA,OAAO,EAAE,KAAK,QAAQ,EAAwC,MAAM,SAAS,CAAC;AAE9E;;;GAGG;AACH,wBAAgB,mBAAmB,IAAI,QAAQ,CAE9C;AAED,sDAAsD;AACtD,wBAAgB,uBAAuB,IAAI,QAAQ,CAElD;AAED;;;;;GAKG;AACH,wBAAgB,aAAa,CAAC,CAAC,EAAE,MAAM,GAAG,QAAQ,CAUjD;AAED,yDAAyD;AACzD,wBAAgB,iBAAiB,IAAI,QAAQ,CAG5C;AAED;;;;;GAKG;AACH,wBAAgB,cAAc,IAAI,QAAQ,CAKzC;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,aAAa,IAAI,QAAQ,CAExC;AAED;;;;;;GAMG;AACH,wBAAgB,gBAAgB,IAAI,QAAQ,CAE3C;AAED;;;GAGG;AACH,wBAAgB,iBAAiB,IAAI,QAAQ,CAE5C;AAED,oDAAoD;AACpD,wBAAgB,qBAAqB,IAAI,QAAQ,CAEhD;AAED;;;;GAIG;AACH,wBAAgB,mBAAmB,IAAI,QAAQ,CAE9C"}

package/dist/type-theory/lambda-cube/examples.js

@@ -0,0 +1,110 @@
+"use strict";
+// ============================================================
+// Lambda Cube — Términos canónicos
+// ============================================================
+//
+// Construcciones clásicas de cada vértice del cubo. Cada función
+// devuelve un `CubeTerm` directamente; el tipo correspondiente es
+// inferible con `inferType` en el sistema apropiado.
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.polymorphicIdentity = polymorphicIdentity;
+exports.polymorphicIdentityType = polymorphicIdentityType;
+exports.churchNumeral = churchNumeral;
+exports.churchNumeralType = churchNumeralType;
+exports.churchPairType = churchPairType;
+exports.dependentList = dependentList;
+exports.predicateOverNat = predicateOverNat;
+exports.typeLevelIdentity = typeLevelIdentity;
+exports.typeLevelIdentityKind = typeLevelIdentityKind;
+exports.cocPolyIdentityType = cocPolyIdentityType;
+const types_1 = require("./types");
+/**
+ * Identidad polimórfica: λ X:*. λ x:X. x  ∈ λ2.
+ * Tipo: Π X:*. X → X.
+ */
+function polymorphicIdentity() {
+    return (0, types_1.cLam)('X', types_1.cStar, (0, types_1.cLam)('x', (0, types_1.cVar)('X'), (0, types_1.cVar)('x')));
+}
+/** Tipo de la identidad polimórfica: Π X:*. X → X. */
+function polymorphicIdentityType() {
+    return (0, types_1.cPi)('X', types_1.cStar, (0, types_1.cArrow)((0, types_1.cVar)('X'), (0, types_1.cVar)('X')));
+}
+/**
+ * Encoding Church de un natural `n` en System F:
+ *     n = λ X:*. λ s:X→X. λ z:X. s (s (... (s z) ...))   con n aplicaciones
+ *
+ * Tipo: Π X:*. (X → X) → X → X.
+ */
+function churchNumeral(n) {
+    if (!Number.isInteger(n) || n < 0) {
+        throw new Error(`churchNumeral requiere natural ≥ 0, recibió ${n}`);
+    }
+    const X = (0, types_1.cVar)('X');
+    let body = (0, types_1.cVar)('z');
+    for (let i = 0; i < n; i++) {
+        body = (0, types_1.cApp)((0, types_1.cVar)('s'), body);
+    }
+    return (0, types_1.cLam)('X', types_1.cStar, (0, types_1.cLam)('s', (0, types_1.cArrow)(X, X), (0, types_1.cLam)('z', X, body)));
+}
+/** Tipo de un natural Church: Π X:*. (X → X) → X → X. */
+function churchNumeralType() {
+    const X = (0, types_1.cVar)('X');
+    return (0, types_1.cPi)('X', types_1.cStar, (0, types_1.cArrow)((0, types_1.cArrow)(X, X), (0, types_1.cArrow)(X, X)));
+}
+/**
+ * Tipo polimórfico de pares: Π A:*. Π B:*. (Π C:*. (A → B → C) → C) → ...
+ * En la versión sencilla devolvemos solo el tipo de "Pair A B":
+ *
+ *   Π A:*. Π B:*. Π C:*. (A → B → C) → C
+ */
+function churchPairType() {
+    const A = (0, types_1.cVar)('A');
+    const B = (0, types_1.cVar)('B');
+    const C = (0, types_1.cVar)('C');
+    return (0, types_1.cPi)('A', types_1.cStar, (0, types_1.cPi)('B', types_1.cStar, (0, types_1.cPi)('C', types_1.cStar, (0, types_1.cArrow)((0, types_1.cArrow)(A, (0, types_1.cArrow)(B, C)), C))));
+}
+/**
+ * Esquema de "lista dependiente": dado un tipo de vectores indexado
+ * por `Nat`, devolvemos el Π típico
+ *
+ *   Π n : Nat. Vector n
+ *
+ * Requiere que el contexto declare `Nat : *` y `Vector : Nat → *`.
+ * Atención: ambos extremos son `*`, así que esta Π usa la regla
+ * (*,*) y queda legal incluso en λ→ una vez que `Vector` está en el
+ * contexto. El sabor "dependiente" viene del hecho de que el
+ * codominio menciona el binder `n`.
+ */
+function dependentList() {
+    return (0, types_1.cPi)('n', (0, types_1.cVar)('Nat'), (0, types_1.cApp)((0, types_1.cVar)('Vector'), (0, types_1.cVar)('n')));
+}
+/**
+ * Predicado sobre `Nat`: `Π n:Nat. *`. Domino `Nat : *` y codominio
+ * `*` (cuyo sort es `◻`). Esa es justo la formación (*,◻) — exclusiva
+ * de los vértices con tipos dependientes (λP, λP2, λPω, λC).
+ *
+ * Requiere `Nat : *` en el contexto.
+ */
+function predicateOverNat() {
+    return (0, types_1.cPi)('n', (0, types_1.cVar)('Nat'), types_1.cStar);
+}
+/**
+ * Operador de tipo `id-type`: λ A:*. A → A  en λω.
+ * Tipo: * → *.
+ */
+function typeLevelIdentity() {
+    return (0, types_1.cLam)('A', types_1.cStar, (0, types_1.cArrow)((0, types_1.cVar)('A'), (0, types_1.cVar)('A')));
+}
+/** Tipo del operador `typeLevelIdentity`: * → *. */
+function typeLevelIdentityKind() {
+    return (0, types_1.cArrow)(types_1.cStar, types_1.cStar);
+}
+/**
+ * En el Calculus of Constructions, el tipo polimórfico
+ *   Π A:*. A → A
+ * vive en el universo `*`.
+ */
+function cocPolyIdentityType() {
+    return (0, types_1.cPi)('A', types_1.cStar, (0, types_1.cArrow)((0, types_1.cVar)('A'), (0, types_1.cVar)('A')));
+}
+//# sourceMappingURL=examples.js.map