@rotifer/playground 0.25.1 → 0.26.1

package/dist/testsuite/gate.js

@@ -0,0 +1,179 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.evaluatePublishGate = evaluatePublishGate;
+exports.outcomeFromSandbox = outcomeFromSandbox;
+exports.readErrorEnvelope = readErrorEnvelope;
+exports.loadNodeRunner = loadNodeRunner;
+const node_url_1 = require("node:url");
+const load_js_1 = require("./load.js");
+const run_js_1 = require("./run.js");
+/**
+ * The guidance lines are load-bearing, not decoration.
+ *
+ * ADR-333 records the ecosystem seat's vote as conditional on exactly this:
+ * a gate that answers "negative case failed" and stops has told the author
+ * nothing they can act on, and an unactionable gate gets routed around rather
+ * than satisfied. `publish-gate.test.ts` asserts these lines survive, so the
+ * condition is mechanical rather than a promise.
+ */
+const MISSING_SUITE_GUIDANCE = [
+    "spec §47.5 requires, before DRAFT -> PUBLISHED:",
+    "  • at least 1 positive case (input your inputSchema accepts)",
+    "  • at least 1 negative case (input it forbids, handled correctly)",
+    "  • a schema-legality property test over 10 generated inputs",
+    "Generate a starting point:  rotifer test --scaffold <gene>",
+    "Then run it:                rotifer test <gene>",
+];
+function evaluatePublishGate(input) {
+    const load = (0, load_js_1.loadTestSuite)(input.geneDir);
+    if (load.status === "absent") {
+        return {
+            status: "blocked",
+            reason: "no testsuite.json — spec §47.5 T1 is a MUST before publishing",
+            guidance: MISSING_SUITE_GUIDANCE,
+        };
+    }
+    if (load.status === "invalid") {
+        return {
+            status: "blocked",
+            reason: "testsuite.json is not valid",
+            guidance: [...load.errors, "", "Fix the fields above, then: rotifer test <gene>"],
+        };
+    }
+    if (!input.run) {
+        // No runtime, so the suite cannot be executed. Blocking rather than waving
+        // it through: "we could not check" is not "it passed", and the alternative
+        // publishes on the strength of a file nobody ran.
+        return {
+            status: "blocked",
+            reason: "testsuite.json exists but the Gene could not be executed to run it",
+            guidance: [
+                "Compile first so the suite can run:  rotifer compile <gene>",
+                "A suite that has not been run is not evidence.",
+            ],
+        };
+    }
+    const report = (0, run_js_1.runT1)(load.suite, {
+        inputSchema: input.phenotype.inputSchema ?? null,
+        outputSchema: input.phenotype.outputSchema ?? null,
+        run: input.run,
+    });
+    if (report.gatePassed) {
+        return {
+            status: "passed",
+            details: `T1 satisfied — ${report.results.filter((r) => r.passed).length}/${report.results.length} checks`,
+        };
+    }
+    const req = report.requirements;
+    const unmet = [
+        ...(req.positive ? [] : ["positive"]),
+        ...(req.negative ? [] : ["negative"]),
+        ...(req.property ? [] : ["property"]),
+    ];
+    const failures = report.results
+        .filter((r) => !r.passed)
+        .map((r) => `  ${r.testId}: ${r.failureReason}${r.details ? `\n      ${r.details}` : ""}`);
+    return {
+        status: "blocked",
+        reason: `spec §47.5 T1 not satisfied — unmet: ${unmet.join(", ")}`,
+        guidance: [
+            ...failures,
+            "",
+            "Each failure above names what to change. A negative case that returns output",
+            "rather than refusing is not automatically wrong — declare the answer you mean",
+            "with expectedOutput or expectedSchema (ADR-333).",
+            "Re-run locally with:  rotifer test <gene>",
+        ],
+    };
+}
+/** Adapter: the sandbox reports every failure alike, so anything that is not a
+ * clean return is reported as crashed. See runNegative for why that is the
+ * conservative reading rather than a limitation. */
+function outcomeFromSandbox(r) {
+    return r.success
+        ? { success: true, output: r.output, durationMs: r.durationMs }
+        : { success: false, crashed: true, errorMessage: r.errorMessage ?? undefined };
+}
+/**
+ * Build a GeneRunner for a Wrapped gene, which has no IR and executes in its
+ * native language under Node.
+ *
+ * This exists because the gate skipping Wrapped was a hole, not a design. §47.5
+ * makes T1 a MUST for every DRAFT->PUBLISHED transition, not only Native ones,
+ * and 35 published Wrapped records went out under that exemption.
+ *
+ * It surfaced while deciding genesis-file-read's fidelity: it imports node:fs,
+ * so it can never compile to Native, and Wrapped is the honest label. Making
+ * that change while Wrapped was exempt would have relabelled a gene straight
+ * through the gap — the shape of thing this plan exists to stop. So the hole is
+ * closed first, and the relabel then costs what it should.
+ *
+ * Async because a dynamic import is: the module is loaded once here, and the
+ * returned runner is synchronous over the resolved export.
+ *
+ * The L0 gate is consulted BEFORE the import, not before express(): importing
+ * executes module top-level code, so a check afterwards checks nothing.
+ */
+/**
+ * The ADR-334 refusal envelope, as recognised on the Node path.
+ *
+ * Kept identical to `parse_error_envelope` in the Rust core, including the
+ * single-key rule: an object that merely *contains* the key alongside data is
+ * ordinary output. The two implementations exist because the two execution
+ * paths do not share code — `node-envelope-parity.test.ts` pins them to the
+ * same answers so they cannot drift apart silently.
+ */
+function readErrorEnvelope(output) {
+    if (typeof output !== "object" || output === null || Array.isArray(output))
+        return null;
+    const keys = Object.keys(output);
+    if (keys.length !== 1 || keys[0] !== "__rotifer_error")
+        return null;
+    const body = output.__rotifer_error;
+    const message = typeof body === "object" && body !== null && typeof body.message === "string"
+        ? body.message
+        : "gene refused the input";
+    return `INVALID_INPUT: ${message}`;
+}
+async function loadNodeRunner(absSourcePath, l0) {
+    if (l0.kind === "violation") {
+        return { refusal: `L0 gate blocked this gene: ${l0.detail ?? "no detail"}` };
+    }
+    let expressFn;
+    try {
+        const mod = await import((0, node_url_1.pathToFileURL)(absSourcePath).href);
+        if (typeof mod.express !== "function") {
+            return { refusal: "gene does not export an express() function" };
+        }
+        expressFn = mod.express;
+    }
+    catch (e) {
+        return { refusal: `could not load the gene module: ${e.message}` };
+    }
+    const runner = (input) => {
+        const started = Date.now();
+        try {
+            const output = expressFn(input);
+            // ADR-334: the WASM sandbox turns a lone `__rotifer_error` key into
+            // GeneResult::Error, and this path has to agree with it. It does not go
+            // through the Rust core at all, so without this the same Gene would be
+            // read as refusing when compiled and as answering when run under Node —
+            // and which one a Gene gets depends on its fidelity, not on its code.
+            const refusal = readErrorEnvelope(output);
+            if (refusal) {
+                return { success: false, errorMessage: refusal, durationMs: Date.now() - started };
+            }
+            if (output === null || output === undefined) {
+                // Distinct from throwing, and worth its own message: a Gene that
+                // returns nothing has not refused, it has silently produced no answer.
+                return { success: false, crashed: true, errorMessage: "express() returned null/undefined" };
+            }
+            return { success: true, output, durationMs: Date.now() - started };
+        }
+        catch (e) {
+            return { success: false, crashed: true, errorMessage: e.message };
+        }
+    };
+    return { runner };
+}
+//# sourceMappingURL=gate.js.map

package/dist/testsuite/gate.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"gate.js","sourceRoot":"","sources":["../../src/testsuite/gate.ts"],"names":[],"mappings":";;AAgDA,kDAoEC;AAKD,gDASC;AA+BD,8CAUC;AAED,wCA8CC;AA3ND,uCAAyC;AACzC,uCAA0C;AAC1C,qCAAiC;AAmBjC;;;;;;;;GAQG;AACH,MAAM,sBAAsB,GAAG;IAC7B,iDAAiD;IACjD,+DAA+D;IAC/D,oEAAoE;IACpE,8DAA8D;IAC9D,4DAA4D;IAC5D,iDAAiD;CAClD,CAAC;AAWF,SAAgB,mBAAmB,CAAC,KAAgB;IAClD,MAAM,IAAI,GAAG,IAAA,uBAAa,EAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IAE1C,IAAI,IAAI,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;QAC7B,OAAO;YACL,MAAM,EAAE,SAAS;YACjB,MAAM,EAAE,+DAA+D;YACvE,QAAQ,EAAE,sBAAsB;SACjC,CAAC;IACJ,CAAC;IAED,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QAC9B,OAAO;YACL,MAAM,EAAE,SAAS;YACjB,MAAM,EAAE,6BAA6B;YACrC,QAAQ,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,EAAE,EAAE,iDAAiD,CAAC;SAClF,CAAC;IACJ,CAAC;IAED,IAAI,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC;QACf,2EAA2E;QAC3E,2EAA2E;QAC3E,kDAAkD;QAClD,OAAO;YACL,MAAM,EAAE,SAAS;YACjB,MAAM,EAAE,oEAAoE;YAC5E,QAAQ,EAAE;gBACR,6DAA6D;gBAC7D,gDAAgD;aACjD;SACF,CAAC;IACJ,CAAC;IAED,MAAM,MAAM,GAAG,IAAA,cAAK,EAAC,IAAI,CAAC,KAAK,EAAE;QAC/B,WAAW,EAAG,KAAK,CAAC,SAAS,CAAC,WAAuC,IAAI,IAAI;QAC7E,YAAY,EAAG,KAAK,CAAC,SAAS,CAAC,YAAwC,IAAI,IAAI;QAC/E,GAAG,EAAE,KAAK,CAAC,GAAG;KACf,CAAC,CAAC;IAEH,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;QACtB,OAAO;YACL,MAAM,EAAE,QAAQ;YAChB,OAAO,EAAE,kBAAkB,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,MAAM,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,SAAS;SAC3G,CAAC;IACJ,CAAC;IAED,MAAM,GAAG,GAAG,MAAM,CAAC,YAAY,CAAC;IAChC,MAAM,KAAK,GAAG;QACZ,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;QACrC,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;QACrC,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;KACtC,CAAC;IACF,MAAM,QAAQ,GAAG,MAAM,CAAC,OAAO;SAC5B,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;SACxB,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,aAAa,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IAE7F,OAAO;QACL,MAAM,EAAE,SAAS;QACjB,MAAM,EAAE,wCAAwC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;QAClE,QAAQ,EAAE;YACR,GAAG,QAAQ;YACX,EAAE;YACF,8EAA8E;YAC9E,+EAA+E;YAC/E,kDAAkD;YAClD,2CAA2C;SAC5C;KACF,CAAC;AACJ,CAAC;AAED;;oDAEoD;AACpD,SAAgB,kBAAkB,CAAC,CAKlC;IACC,OAAO,CAAC,CAAC,OAAO;QACd,CAAC,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,UAAU,EAAE,CAAC,CAAC,UAAU,EAAE;QAC/D,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC,CAAC,YAAY,IAAI,SAAS,EAAE,CAAC;AACnF,CAAC;AAED;;;;;;;;;;;;;;;;;;;GAmBG;AACH;;;;;;;;GAQG;AACH,SAAgB,iBAAiB,CAAC,MAAe;IAC/C,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,MAAM,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC;QAAE,OAAO,IAAI,CAAC;IACxF,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,MAAiC,CAAC,CAAC;IAC5D,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,iBAAiB;QAAE,OAAO,IAAI,CAAC;IACpE,MAAM,IAAI,GAAI,MAAkC,CAAC,eAAe,CAAC;IACjE,MAAM,OAAO,GACX,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,IAAI,IAAI,OAAQ,IAAgC,CAAC,OAAO,KAAK,QAAQ;QACxG,CAAC,CAAG,IAAgC,CAAC,OAAkB;QACvD,CAAC,CAAC,wBAAwB,CAAC;IAC/B,OAAO,kBAAkB,OAAO,EAAE,CAAC;AACrC,CAAC;AAEM,KAAK,UAAU,cAAc,CAClC,aAAqB,EACrB,EAAqC;IAErC,IAAI,EAAE,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAC5B,OAAO,EAAE,OAAO,EAAE,8BAA8B,EAAE,CAAC,MAAM,IAAI,WAAW,EAAE,EAAE,CAAC;IAC/E,CAAC;IAED,IAAI,SAAsC,CAAC;IAC3C,IAAI,CAAC;QACH,MAAM,GAAG,GAAG,MAAM,MAAM,CAAC,IAAA,wBAAa,EAAC,aAAa,CAAC,CAAC,IAAI,CAAC,CAAC;QAC5D,IAAI,OAAO,GAAG,CAAC,OAAO,KAAK,UAAU,EAAE,CAAC;YACtC,OAAO,EAAE,OAAO,EAAE,4CAA4C,EAAE,CAAC;QACnE,CAAC;QACD,SAAS,GAAG,GAAG,CAAC,OAAsC,CAAC;IACzD,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,OAAO,EAAE,OAAO,EAAE,mCAAoC,CAAW,CAAC,OAAO,EAAE,EAAE,CAAC;IAChF,CAAC;IAED,MAAM,MAAM,GAAe,CAAC,KAAK,EAAE,EAAE;QACnC,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QAC3B,IAAI,CAAC;YACH,MAAM,MAAM,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC;YAEhC,oEAAoE;YACpE,wEAAwE;YACxE,uEAAuE;YACvE,wEAAwE;YACxE,sEAAsE;YACtE,MAAM,OAAO,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;YAC1C,IAAI,OAAO,EAAE,CAAC;gBACZ,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,YAAY,EAAE,OAAO,EAAE,UAAU,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,OAAO,EAAE,CAAC;YACrF,CAAC;YAED,IAAI,MAAM,KAAK,IAAI,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;gBAC5C,iEAAiE;gBACjE,uEAAuE;gBACvE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,mCAAmC,EAAE,CAAC;YAC9F,CAAC;YACD,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,UAAU,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,OAAO,EAAE,CAAC;QACrE,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACX,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,YAAY,EAAG,CAAW,CAAC,OAAO,EAAE,CAAC;QAC/E,CAAC;IACH,CAAC,CAAC;IAEF,OAAO,EAAE,MAAM,EAAE,CAAC;AACpB,CAAC"}

package/dist/testsuite/generate.d.ts

@@ -0,0 +1,12 @@
+/**
+ * Seeded input generation, shared by `arena submit` and the §47.5 T1 property
+ * test.
+ *
+ * Moved verbatim out of arena-submit.ts rather than reimplemented: S_r has to
+ * stay reproducible across releases, and a second generator that drifted from
+ * this one would make `rotifer test` and Arena admission disagree about what a
+ * Gene was fed. Same seed, same input, both callers.
+ */
+export declare function mulberry32(seed: number): () => number;
+export declare function generateTestInput(schema: any, seed: number): Record<string, any>;
+//# sourceMappingURL=generate.d.ts.map

package/dist/testsuite/generate.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"generate.d.ts","sourceRoot":"","sources":["../../src/testsuite/generate.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,wBAAgB,UAAU,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,MAAM,CAQrD;AAED,wBAAgB,iBAAiB,CAAC,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAsChF"}

package/dist/testsuite/generate.js

@@ -0,0 +1,70 @@
+"use strict";
+/**
+ * Seeded input generation, shared by `arena submit` and the §47.5 T1 property
+ * test.
+ *
+ * Moved verbatim out of arena-submit.ts rather than reimplemented: S_r has to
+ * stay reproducible across releases, and a second generator that drifted from
+ * this one would make `rotifer test` and Arena admission disagree about what a
+ * Gene was fed. Same seed, same input, both callers.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.mulberry32 = mulberry32;
+exports.generateTestInput = generateTestInput;
+function mulberry32(seed) {
+    let s = seed | 0;
+    return () => {
+        s = (s + 0x6d2b79f5) | 0;
+        let t = Math.imul(s ^ (s >>> 15), 1 | s);
+        t = (t + Math.imul(t ^ (t >>> 7), 61 | t)) ^ t;
+        return ((t ^ (t >>> 14)) >>> 0) / 4294967296;
+    };
+}
+function generateTestInput(schema, seed) {
+    if (!schema || !schema.properties)
+        return { data: `test-input-${seed}` };
+    const rng = mulberry32(seed * 2654435761);
+    const input = {};
+    for (const [key, prop] of Object.entries(schema.properties)) {
+        if (prop.default !== undefined) {
+            input[key] = prop.default;
+        }
+        else if (prop.enum && prop.enum.length > 0) {
+            input[key] = prop.enum[seed % prop.enum.length];
+        }
+        else if (prop.type === "array" && prop.items) {
+            const count = 50 + seed * 10;
+            const arr = [];
+            if (prop.items.type === "number") {
+                let price = 100;
+                for (let i = 0; i < count; i++) {
+                    price *= 1 + (rng() - 0.48) * 0.04;
+                    arr.push(Math.round(price * 100) / 100);
+                }
+            }
+            else if (prop.items.type === "string") {
+                for (let i = 0; i < Math.min(count, 5); i++)
+                    arr.push(`item-${i}`);
+            }
+            else if (prop.items.type === "object") {
+                for (let i = 0; i < Math.min(count, 3); i++) {
+                    arr.push(generateTestInput({ properties: prop.items.properties }, seed + i));
+                }
+            }
+            input[key] = arr;
+        }
+        else if (prop.type === "number") {
+            const min = prop.minimum ?? 1;
+            const max = prop.maximum ?? 100;
+            input[key] = Math.min(min + seed, max);
+        }
+        else if (prop.type === "string") {
+            input[key] = `test-${seed}`;
+        }
+        else if (prop.type === "boolean") {
+            input[key] = seed % 2 === 0;
+        }
+    }
+    return input;
+}
+//# sourceMappingURL=generate.js.map

package/dist/testsuite/generate.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"generate.js","sourceRoot":"","sources":["../../src/testsuite/generate.ts"],"names":[],"mappings":";AAAA;;;;;;;;GAQG;;AAEH,gCAQC;AAED,8CAsCC;AAhDD,SAAgB,UAAU,CAAC,IAAY;IACrC,IAAI,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC;IACjB,OAAO,GAAG,EAAE;QACV,CAAC,GAAG,CAAC,CAAC,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC;QACzB,IAAI,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QACzC,CAAC,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;QAC/C,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,GAAG,UAAU,CAAC;IAC/C,CAAC,CAAC;AACJ,CAAC;AAED,SAAgB,iBAAiB,CAAC,MAAW,EAAE,IAAY;IACzD,IAAI,CAAC,MAAM,IAAI,CAAC,MAAM,CAAC,UAAU;QAAE,OAAO,EAAE,IAAI,EAAE,cAAc,IAAI,EAAE,EAAE,CAAC;IAEzE,MAAM,GAAG,GAAG,UAAU,CAAC,IAAI,GAAG,UAAU,CAAC,CAAC;IAC1C,MAAM,KAAK,GAAwB,EAAE,CAAC;IACtC,KAAK,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,UAAU,CAAoB,EAAE,CAAC;QAC/E,IAAI,IAAI,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;YAC/B,KAAK,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC;QAC5B,CAAC;aAAM,IAAI,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC7C,KAAK,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAClD,CAAC;aAAM,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YAC/C,MAAM,KAAK,GAAG,EAAE,GAAG,IAAI,GAAG,EAAE,CAAC;YAC7B,MAAM,GAAG,GAAU,EAAE,CAAC;YACtB,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;gBACjC,IAAI,KAAK,GAAG,GAAG,CAAC;gBAChB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC;oBAC/B,KAAK,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,IAAI,CAAC,GAAG,IAAI,CAAC;oBACnC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,GAAG,GAAG,CAAC,GAAG,GAAG,CAAC,CAAC;gBAC1C,CAAC;YACH,CAAC;iBAAM,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;gBACxC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE;oBAAE,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;YACrE,CAAC;iBAAM,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;gBACxC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;oBAC5C,GAAG,CAAC,IAAI,CAAC,iBAAiB,CAAC,EAAE,UAAU,EAAE,IAAI,CAAC,KAAK,CAAC,UAAU,EAAE,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC;gBAC/E,CAAC;YACH,CAAC;YACD,KAAK,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC;QACnB,CAAC;aAAM,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAClC,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,IAAI,CAAC,CAAC;YAC9B,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,IAAI,GAAG,CAAC;YAChC,KAAK,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,GAAG,IAAI,EAAE,GAAG,CAAC,CAAC;QACzC,CAAC;aAAM,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAClC,KAAK,CAAC,GAAG,CAAC,GAAG,QAAQ,IAAI,EAAE,CAAC;QAC9B,CAAC;aAAM,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YACnC,KAAK,CAAC,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC;QAC9B,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC"}

package/dist/testsuite/load.d.ts

@@ -0,0 +1,23 @@
+import type { TestSuite } from "./types.js";
+export declare const TESTSUITE_FILENAME = "testsuite.json";
+export interface LoadOk {
+    status: "ok";
+    suite: TestSuite;
+    path: string;
+}
+/** The file is absent. Stage 1 sets no gate, so this is not an error — the
+ * caller decides. §47.5's gate (stage 2) is the thing that turns it into one. */
+export interface LoadAbsent {
+    status: "absent";
+    path: string;
+}
+export interface LoadInvalid {
+    status: "invalid";
+    path: string;
+    /** Field-level, e.g. `testCases[2].timeout: expected a number, got string`. */
+    errors: string[];
+}
+export type LoadResult = LoadOk | LoadAbsent | LoadInvalid;
+export declare function parseTestSuite(text: string, path: string): LoadOk | LoadInvalid;
+export declare function loadTestSuite(geneDir: string): LoadResult;
+//# sourceMappingURL=load.d.ts.map

package/dist/testsuite/load.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"load.d.ts","sourceRoot":"","sources":["../../src/testsuite/load.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,SAAS,EAAwB,MAAM,YAAY,CAAC;AAElE,eAAO,MAAM,kBAAkB,mBAAmB,CAAC;AAEnD,MAAM,WAAW,MAAM;IACrB,MAAM,EAAE,IAAI,CAAC;IACb,KAAK,EAAE,SAAS,CAAC;IACjB,IAAI,EAAE,MAAM,CAAC;CACd;AAED;iFACiF;AACjF,MAAM,WAAW,UAAU;IACzB,MAAM,EAAE,QAAQ,CAAC;IACjB,IAAI,EAAE,MAAM,CAAC;CACd;AAED,MAAM,WAAW,WAAW;IAC1B,MAAM,EAAE,SAAS,CAAC;IAClB,IAAI,EAAE,MAAM,CAAC;IACb,+EAA+E;IAC/E,MAAM,EAAE,MAAM,EAAE,CAAC;CAClB;AAED,MAAM,MAAM,UAAU,GAAG,MAAM,GAAG,UAAU,GAAG,WAAW,CAAC;AAuE3D,wBAAgB,cAAc,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM,GAAG,WAAW,CA2C/E;AAED,wBAAgB,aAAa,CAAC,OAAO,EAAE,MAAM,GAAG,UAAU,CAIzD"}

package/dist/testsuite/load.js

@@ -0,0 +1,121 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.TESTSUITE_FILENAME = void 0;
+exports.parseTestSuite = parseTestSuite;
+exports.loadTestSuite = loadTestSuite;
+const node_fs_1 = require("node:fs");
+const node_path_1 = require("node:path");
+exports.TESTSUITE_FILENAME = "testsuite.json";
+function isPlainObject(v) {
+    return typeof v === "object" && v !== null && !Array.isArray(v);
+}
+/**
+ * Validation is hand-written rather than delegated to ajv on purpose: the
+ * struct is six fields, and the value of this file is the error message. A
+ * schema validator would answer "does not match schema" where the author
+ * needs "testCases[2].timeout: expected a number, got string".
+ *
+ * Unknown fields are rejected rather than ignored. A typo'd `expectedOutputs`
+ * that is silently dropped means a case that never asserts anything and still
+ * reports as passing — the exact failure mode this whole plan exists to close.
+ */
+const CASE_FIELDS = new Set([
+    "input",
+    "expectedOutput",
+    "expectedSchema",
+    "timeout",
+]);
+const CONFIG_FIELDS = new Set(["fuzzIterations", "seed"]);
+const SUITE_FIELDS = new Set(["testCases", "config"]);
+function validateCase(raw, at, errors) {
+    if (!isPlainObject(raw)) {
+        errors.push(`${at}: expected an object, got ${Array.isArray(raw) ? "array" : typeof raw}`);
+        return;
+    }
+    for (const key of Object.keys(raw)) {
+        if (!CASE_FIELDS.has(key)) {
+            errors.push(`${at}.${key}: unknown field (spec §4.2 TestCase has input, expectedOutput, expectedSchema, timeout)`);
+        }
+    }
+    if (!("input" in raw)) {
+        errors.push(`${at}.input: required (spec §4.2 TestCase)`);
+    }
+    if ("expectedSchema" in raw && !isPlainObject(raw.expectedSchema)) {
+        errors.push(`${at}.expectedSchema: expected a JSON Schema object, got ${typeof raw.expectedSchema}`);
+    }
+    if ("timeout" in raw) {
+        const t = raw.timeout;
+        if (typeof t !== "number" || !Number.isFinite(t) || t <= 0) {
+            errors.push(`${at}.timeout: expected a positive number of milliseconds, got ${JSON.stringify(t)}`);
+        }
+    }
+}
+function validateConfig(raw, errors) {
+    if (!isPlainObject(raw)) {
+        errors.push(`config: expected an object, got ${typeof raw}`);
+        return;
+    }
+    for (const key of Object.keys(raw)) {
+        if (!CONFIG_FIELDS.has(key)) {
+            errors.push(`config.${key}: unknown field (spec §4.2 TestConfig has fuzzIterations, seed)`);
+        }
+    }
+    for (const key of ["fuzzIterations", "seed"]) {
+        if (key in raw) {
+            const v = raw[key];
+            if (typeof v !== "number" || !Number.isInteger(v) || v < 0) {
+                errors.push(`config.${key}: expected a non-negative integer, got ${JSON.stringify(v)}`);
+            }
+        }
+    }
+}
+function parseTestSuite(text, path) {
+    let raw;
+    try {
+        raw = JSON.parse(text);
+    }
+    catch (e) {
+        return { status: "invalid", path, errors: [`not valid JSON — ${e.message}`] };
+    }
+    const errors = [];
+    if (!isPlainObject(raw)) {
+        return {
+            status: "invalid",
+            path,
+            errors: [`expected an object at the top level, got ${Array.isArray(raw) ? "array" : typeof raw}`],
+        };
+    }
+    for (const key of Object.keys(raw)) {
+        if (!SUITE_FIELDS.has(key)) {
+            errors.push(`${key}: unknown field (spec §4.2 TestSuite has testCases, config)`);
+        }
+    }
+    if (!Array.isArray(raw.testCases)) {
+        errors.push(`testCases: required, expected an array (spec §4.2 TestSuite)`);
+    }
+    else if (raw.testCases.length === 0) {
+        errors.push(`testCases: must not be empty — a suite with no cases asserts nothing`);
+    }
+    else {
+        raw.testCases.forEach((c, i) => validateCase(c, `testCases[${i}]`, errors));
+    }
+    if ("config" in raw)
+        validateConfig(raw.config, errors);
+    if (errors.length > 0)
+        return { status: "invalid", path, errors };
+    return {
+        status: "ok",
+        path,
+        suite: {
+            testCases: raw.testCases,
+            ...(isPlainObject(raw.config) ? { config: raw.config } : {}),
+        },
+    };
+}
+function loadTestSuite(geneDir) {
+    const path = (0, node_path_1.join)(geneDir, exports.TESTSUITE_FILENAME);
+    if (!(0, node_fs_1.existsSync)(path))
+        return { status: "absent", path };
+    return parseTestSuite((0, node_fs_1.readFileSync)(path, "utf-8"), path);
+}
+//# sourceMappingURL=load.js.map

package/dist/testsuite/load.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"load.js","sourceRoot":"","sources":["../../src/testsuite/load.ts"],"names":[],"mappings":";;;AAiGA,wCA2CC;AAED,sCAIC;AAlJD,qCAAmD;AACnD,yCAAiC;AAGpB,QAAA,kBAAkB,GAAG,gBAAgB,CAAC;AAwBnD,SAAS,aAAa,CAAC,CAAU;IAC/B,OAAO,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;AAClE,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC;IAC1B,OAAO;IACP,gBAAgB;IAChB,gBAAgB;IAChB,SAAS;CACV,CAAC,CAAC;AACH,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,CAAC,gBAAgB,EAAE,MAAM,CAAC,CAAC,CAAC;AAC1D,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,CAAC,WAAW,EAAE,QAAQ,CAAC,CAAC,CAAC;AAEtD,SAAS,YAAY,CAAC,GAAY,EAAE,EAAU,EAAE,MAAgB;IAC9D,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,EAAE,CAAC;QACxB,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE,6BAA6B,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,GAAG,EAAE,CAAC,CAAC;QAC3F,OAAO;IACT,CAAC;IACD,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;QACnC,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YAC1B,MAAM,CAAC,IAAI,CACT,GAAG,EAAE,IAAI,GAAG,yFAAyF,CACtG,CAAC;QACJ,CAAC;IACH,CAAC;IACD,IAAI,CAAC,CAAC,OAAO,IAAI,GAAG,CAAC,EAAE,CAAC;QACtB,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE,uCAAuC,CAAC,CAAC;IAC5D,CAAC;IACD,IAAI,gBAAgB,IAAI,GAAG,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,cAAc,CAAC,EAAE,CAAC;QAClE,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE,uDAAuD,OAAO,GAAG,CAAC,cAAc,EAAE,CAAC,CAAC;IACvG,CAAC;IACD,IAAI,SAAS,IAAI,GAAG,EAAE,CAAC;QACrB,MAAM,CAAC,GAAG,GAAG,CAAC,OAAO,CAAC;QACtB,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YAC3D,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE,6DAA6D,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACrG,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,cAAc,CAAC,GAAY,EAAE,MAAgB;IACpD,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,EAAE,CAAC;QACxB,MAAM,CAAC,IAAI,CAAC,mCAAmC,OAAO,GAAG,EAAE,CAAC,CAAC;QAC7D,OAAO;IACT,CAAC;IACD,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;QACnC,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YAC5B,MAAM,CAAC,IAAI,CAAC,UAAU,GAAG,iEAAiE,CAAC,CAAC;QAC9F,CAAC;IACH,CAAC;IACD,KAAK,MAAM,GAAG,IAAI,CAAC,gBAAgB,EAAE,MAAM,CAAU,EAAE,CAAC;QACtD,IAAI,GAAG,IAAI,GAAG,EAAE,CAAC;YACf,MAAM,CAAC,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC;YACnB,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;gBAC3D,MAAM,CAAC,IAAI,CAAC,UAAU,GAAG,0CAA0C,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YAC1F,CAAC;QACH,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAgB,cAAc,CAAC,IAAY,EAAE,IAAY;IACvD,IAAI,GAAY,CAAC;IACjB,IAAI,CAAC;QACH,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACzB,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,oBAAqB,CAAW,CAAC,OAAO,EAAE,CAAC,EAAE,CAAC;IAC3F,CAAC;IAED,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,EAAE,CAAC;QACxB,OAAO;YACL,MAAM,EAAE,SAAS;YACjB,IAAI;YACJ,MAAM,EAAE,CAAC,4CAA4C,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,GAAG,EAAE,CAAC;SAClG,CAAC;IACJ,CAAC;IAED,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;QACnC,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YAC3B,MAAM,CAAC,IAAI,CAAC,GAAG,GAAG,6DAA6D,CAAC,CAAC;QACnF,CAAC;IACH,CAAC;IAED,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;QAClC,MAAM,CAAC,IAAI,CAAC,8DAA8D,CAAC,CAAC;IAC9E,CAAC;SAAM,IAAI,GAAG,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACtC,MAAM,CAAC,IAAI,CAAC,sEAAsE,CAAC,CAAC;IACtF,CAAC;SAAM,CAAC;QACN,GAAG,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,CAAC,EAAE,aAAa,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,CAAC;IAC9E,CAAC;IAED,IAAI,QAAQ,IAAI,GAAG;QAAE,cAAc,CAAC,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAExD,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IAElE,OAAO;QACL,MAAM,EAAE,IAAI;QACZ,IAAI;QACJ,KAAK,EAAE;YACL,SAAS,EAAE,GAAG,CAAC,SAAuB;YACtC,GAAG,CAAC,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,GAAG,CAAC,MAAoB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SAC3E;KACF,CAAC;AACJ,CAAC;AAED,SAAgB,aAAa,CAAC,OAAe;IAC3C,MAAM,IAAI,GAAG,IAAA,gBAAI,EAAC,OAAO,EAAE,0BAAkB,CAAC,CAAC;IAC/C,IAAI,CAAC,IAAA,oBAAU,EAAC,IAAI,CAAC;QAAE,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;IACzD,OAAO,cAAc,CAAC,IAAA,sBAAY,EAAC,IAAI,EAAE,OAAO,CAAC,EAAE,IAAI,CAAC,CAAC;AAC3D,CAAC"}

package/dist/testsuite/run.d.ts

@@ -0,0 +1,109 @@
+import Ajv from "ajv";
+import type { ValidateFunction } from "ajv";
+import type { ClassifiedCase, TestCase, TestResult, TestSuite } from "./types.js";
+/** §47.5 fixes the publishing gate's property test at 10 random inputs. */
+export declare const DEFAULT_FUZZ_ITERATIONS = 10;
+/**
+ * What running one input against the Gene produced. The runner is injected
+ * rather than imported so this module stays free of the native binding: the
+ * caller already owns a compiled Gene and a fuel policy, and the T1 rules are
+ * about interpreting outcomes, not about producing them.
+ */
+export interface RunOutcome {
+    /** The Gene ran to completion and returned an output. */
+    success: boolean;
+    output?: unknown;
+    /** Present when success is false. A *controlled* rejection also lands here. */
+    errorMessage?: string;
+    /** True when the Gene did not reject but died — trap, fuel exhaustion,
+     * timeout. §47.5's negative case is about handling illegal input
+     * "correctly", and dying is not handling it. */
+    crashed?: boolean;
+    durationMs?: number;
+}
+export type GeneRunner = (input: unknown, timeoutMs?: number) => RunOutcome;
+/**
+ * Classify a case as positive or negative from the input alone.
+ *
+ * spec §4.2's TestCase has no field saying which it is, and §47.5 words the
+ * negative case as "gene can correctly handle illegal input" — legality being
+ * decided by the Gene's own inputSchema. So the classification is derived:
+ * an input the schema accepts is a positive case, one it rejects is negative.
+ *
+ * The consequence worth stating: a positive case whose input is accidentally
+ * malformed silently becomes a negative case. That is why the reason string
+ * carries the validator's complaint — an author who meant it to be positive
+ * sees exactly which field disqualified it.
+ */
+export declare function classify(testCases: TestCase[], inputValidator: ValidateFunction | null): ClassifiedCase[];
+/**
+ * A positive case passes when the Gene runs and its output satisfies whatever
+ * the case asserts: `expectedOutput` exactly, `expectedSchema` structurally,
+ * or — when the case asserts neither — the Gene's declared outputSchema.
+ *
+ * The fallback matters. Without it a case carrying only an input would pass on
+ * any output at all, including one that violates the Gene's own contract, and
+ * the suite would look populated while asserting nothing.
+ */
+export declare function runPositive(c: ClassifiedCase, run: GeneRunner, outputValidator: ValidateFunction | null, ajv: Ajv): TestResult;
+/**
+ * A negative case: the Gene is fed input its own inputSchema forbids.
+ *
+ * §47.5 asks that the Gene "correctly handle illegal input" without saying
+ * what handling looks like, and measuring four real Genes shows why it cannot
+ * be decided from the outcome alone:
+ *
+ *   grammar-checker   throws     — `not a function`, a TypeError from inside
+ *   source-linker     returns    — echoes the illegal value straight back
+ *   url-extractor     returns    — an empty result
+ *   json-validator    returns    — `{ valid: false }`, which IS correct handling
+ *
+ * "Returned output" therefore cannot mean acceptance: for json-validator it is
+ * the right answer, and for source-linker it is the bug. The difference is not
+ * in the outcome, it is in what the author intended — so the author has to say,
+ * using the fields spec §4.2 already provides.
+ *
+ * The rules, in order:
+ *
+ *   1. Crashed — fail. Dying is not handling, whatever was intended.
+ *   2. Errored without crashing — pass. The Gene refused, deliberately.
+ *   3. Returned, and the case declares expectedOutput/expectedSchema that
+ *      matches — pass. This is the author saying "rejection looks like this".
+ *   4. Returned, and the declaration does not match — fail.
+ *   5. Returned, and the case declares nothing — fail, and say why. Silent
+ *      acceptance and correct handling are indistinguishable here; refusing to
+ *      guess is the whole point, since guessing "pass" is what lets a
+ *      source-linker through.
+ */
+export declare function runNegative(c: ClassifiedCase, run: GeneRunner, ajv: Ajv): TestResult;
+/**
+ * §47.4 Schema Legality, run as §47.5's third T1 requirement: generated inputs
+ * must always produce output conforming to outputSchema.
+ *
+ * The seed is what makes a failure actionable — the same seed replays the same
+ * inputs, so a property failure can be reproduced rather than merely observed.
+ * When the suite gives no seed one is derived from nothing but a constant, so
+ * two runs of an unseeded suite still agree; randomness across runs would make
+ * the gate flaky and the flake would be blamed on the Gene.
+ */
+export declare function runProperty(suite: TestSuite, inputSchema: Record<string, unknown> | null, run: GeneRunner, outputValidator: ValidateFunction | null): TestResult;
+export interface T1Report {
+    results: TestResult[];
+    classified: ClassifiedCase[];
+    /** The three §47.5 T1 requirements, each satisfied or not. */
+    requirements: {
+        positive: boolean;
+        negative: boolean;
+        property: boolean;
+    };
+    /** True only when all three hold. This is what stage 2's publish gate reads. */
+    gatePassed: boolean;
+}
+export declare function runT1(suite: TestSuite, opts: {
+    inputSchema: Record<string, unknown> | null;
+    outputSchema: Record<string, unknown> | null;
+    run: GeneRunner;
+}): T1Report;
+/** Stable id for a report, for callers that persist results. */
+export declare function newTestRunId(): string;
+//# sourceMappingURL=run.d.ts.map

package/dist/testsuite/run.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"run.d.ts","sourceRoot":"","sources":["../../src/testsuite/run.ts"],"names":[],"mappings":"AAAA,OAAO,GAAG,MAAM,KAAK,CAAC;AACtB,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,KAAK,CAAC;AAE5C,OAAO,KAAK,EACV,cAAc,EACd,QAAQ,EACR,UAAU,EACV,SAAS,EACV,MAAM,YAAY,CAAC;AAGpB,2EAA2E;AAC3E,eAAO,MAAM,uBAAuB,KAAK,CAAC;AAE1C;;;;;GAKG;AACH,MAAM,WAAW,UAAU;IACzB,yDAAyD;IACzD,OAAO,EAAE,OAAO,CAAC;IACjB,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,+EAA+E;IAC/E,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB;;oDAEgD;IAChD,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAED,MAAM,MAAM,UAAU,GAAG,CAAC,KAAK,EAAE,OAAO,EAAE,SAAS,CAAC,EAAE,MAAM,KAAK,UAAU,CAAC;AAE5E;;;;;;;;;;;;GAYG;AACH,wBAAgB,QAAQ,CACtB,SAAS,EAAE,QAAQ,EAAE,EACrB,cAAc,EAAE,gBAAgB,GAAG,IAAI,GACtC,cAAc,EAAE,CA2BlB;AA4CD;;;;;;;;GAQG;AACH,wBAAgB,WAAW,CACzB,CAAC,EAAE,cAAc,EACjB,GAAG,EAAE,UAAU,EACf,eAAe,EAAE,gBAAgB,GAAG,IAAI,EACxC,GAAG,EAAE,GAAG,GACP,UAAU,CA2CZ;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AACH,wBAAgB,WAAW,CACzB,CAAC,EAAE,cAAc,EACjB,GAAG,EAAE,UAAU,EACf,GAAG,EAAE,GAAG,GACP,UAAU,CAmDZ;AAED;;;;;;;;;GASG;AACH,wBAAgB,WAAW,CACzB,KAAK,EAAE,SAAS,EAChB,WAAW,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,EAC3C,GAAG,EAAE,UAAU,EACf,eAAe,EAAE,gBAAgB,GAAG,IAAI,GACvC,UAAU,CAkCZ;AAED,MAAM,WAAW,QAAQ;IACvB,OAAO,EAAE,UAAU,EAAE,CAAC;IACtB,UAAU,EAAE,cAAc,EAAE,CAAC;IAC7B,8DAA8D;IAC9D,YAAY,EAAE;QACZ,QAAQ,EAAE,OAAO,CAAC;QAClB,QAAQ,EAAE,OAAO,CAAC;QAClB,QAAQ,EAAE,OAAO,CAAC;KACnB,CAAC;IACF,gFAAgF;IAChF,UAAU,EAAE,OAAO,CAAC;CACrB;AAED,wBAAgB,KAAK,CACnB,KAAK,EAAE,SAAS,EAChB,IAAI,EAAE;IACJ,WAAW,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,CAAC;IAC5C,YAAY,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,CAAC;IAC7C,GAAG,EAAE,UAAU,CAAC;CACjB,GACA,QAAQ,CA2DV;AAED,gEAAgE;AAChE,wBAAgB,YAAY,IAAI,MAAM,CAErC"}