@rotifer/playground 0.32.1 → 0.33.1

package/dist/memory/index.d.ts

@@ -0,0 +1,37 @@
+/**
+ * AgentMemory SDK (spec §38, v0.9.4) — what a gene author uses: the types,
+ * the GeneMemoryAccess interface a gene gets as ctx.memory, MemoryError and
+ * its codes, and the SDK layer over a store. Published as
+ * `@rotifer/playground/memory`; nothing here needs Node's types.
+ *
+ * The CLI's side — opening the agent's store in the project, the WASM
+ * path's binding, the throwaway memory of `rotifer test` — is in ./host.ts,
+ * which is not part of that surface.
+ */
+import type { GeneMemoryAccess } from "./access.js";
+import { type MemoryTelemetrySink } from "./telemetry.js";
+export * from "./types.js";
+export * from "./codec.js";
+export * from "./access.js";
+export * from "./data-policy.js";
+export * from "./telemetry.js";
+export * from "./audit.js";
+export { NapiMemoryBackend, asMemoryError, hasNativeMemory, type AgentMemoryConfig, type MemoryBackend, type MemoryCaller, type MemoryWriteRequest, type NativeMemoryApi, } from "./backend.js";
+/**
+ * The memory a gene gets when it runs with no agent around it (`rotifer run`
+ * of a single gene): every call is MEMORY_ACCESS_DENIED with a message that
+ * starts "no agent context". `ctx.memory` is never undefined,
+ * so a gene meets a clear error, not a TypeError on `undefined`.
+ *
+ * With a `telemetry` sink each refusal is also a §17 MEMORY_ACCESS_DENIED
+ * event — agentId null, no entry, `geneId` when the gene has a v2 id — and
+ * nothing else: there is no agent's memory to audit it in (as
+ * rotifer-core records a WASM gene's).
+ */
+export declare function noAgentMemory(options?: {
+    telemetry?: MemoryTelemetrySink;
+    geneId?: string | null;
+}): GeneMemoryAccess;
+/** Every call is MEMORY_STORAGE_ERROR "native binding unavailable". */
+export declare function memoryUnavailable(): GeneMemoryAccess;
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/memory/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AACH,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,aAAa,CAAC;AACpD,OAAO,EAA2C,KAAK,mBAAmB,EAAE,MAAM,gBAAgB,CAAC;AAGnG,cAAc,YAAY,CAAC;AAC3B,cAAc,YAAY,CAAC;AAC3B,cAAc,aAAa,CAAC;AAC5B,cAAc,kBAAkB,CAAC;AACjC,cAAc,gBAAgB,CAAC;AAC/B,cAAc,YAAY,CAAC;AAG3B,OAAO,EACL,iBAAiB,EACjB,aAAa,EACb,eAAe,EACf,KAAK,iBAAiB,EACtB,KAAK,aAAa,EAClB,KAAK,YAAY,EACjB,KAAK,kBAAkB,EACvB,KAAK,eAAe,GACrB,MAAM,cAAc,CAAC;AAYtB;;;;;;;;;;GAUG;AACH,wBAAgB,aAAa,CAAC,OAAO,GAAE;IAAE,SAAS,CAAC,EAAE,mBAAmB,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,GAAG,IAAI,CAAA;CAAO,GAAG,gBAAgB,CAQzH;AAED,uEAAuE;AACvE,wBAAgB,iBAAiB,IAAI,gBAAgB,CAEpD"}

package/dist/memory/index.js

@@ -0,0 +1,64 @@
+"use strict";
+var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    var desc = Object.getOwnPropertyDescriptor(m, k);
+    if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
+      desc = { enumerable: true, get: function() { return m[k]; } };
+    }
+    Object.defineProperty(o, k2, desc);
+}) : (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    o[k2] = m[k];
+}));
+var __exportStar = (this && this.__exportStar) || function(m, exports) {
+    for (var p in m) if (p !== "default" && !Object.prototype.hasOwnProperty.call(exports, p)) __createBinding(exports, m, p);
+};
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.hasNativeMemory = exports.asMemoryError = exports.NapiMemoryBackend = void 0;
+exports.noAgentMemory = noAgentMemory;
+exports.memoryUnavailable = memoryUnavailable;
+const telemetry_js_1 = require("./telemetry.js");
+const types_js_1 = require("./types.js");
+__exportStar(require("./types.js"), exports);
+__exportStar(require("./codec.js"), exports);
+__exportStar(require("./access.js"), exports);
+__exportStar(require("./data-policy.js"), exports);
+__exportStar(require("./telemetry.js"), exports);
+__exportStar(require("./audit.js"), exports);
+// The store interface and the napi adapter; the JSON test double stays in
+// ./backend.ts for tests and is not part of this module's surface.
+var backend_js_1 = require("./backend.js");
+Object.defineProperty(exports, "NapiMemoryBackend", { enumerable: true, get: function () { return backend_js_1.NapiMemoryBackend; } });
+Object.defineProperty(exports, "asMemoryError", { enumerable: true, get: function () { return backend_js_1.asMemoryError; } });
+Object.defineProperty(exports, "hasNativeMemory", { enumerable: true, get: function () { return backend_js_1.hasNativeMemory; } });
+/** A GeneMemoryAccess whose every call throws `code` with `message`. */
+function refusingMemory(code, message) {
+    const refuse = () => {
+        throw new types_js_1.MemoryError(code, message);
+    };
+    return { readMemory: refuse, writeMemory: refuse, queryMemory: refuse, deleteMemory: refuse };
+}
+const NO_AGENT_CONTEXT = "no agent context: this gene is not running inside an agent, so it has no agent memory";
+/**
+ * The memory a gene gets when it runs with no agent around it (`rotifer run`
+ * of a single gene): every call is MEMORY_ACCESS_DENIED with a message that
+ * starts "no agent context". `ctx.memory` is never undefined,
+ * so a gene meets a clear error, not a TypeError on `undefined`.
+ *
+ * With a `telemetry` sink each refusal is also a §17 MEMORY_ACCESS_DENIED
+ * event — agentId null, no entry, `geneId` when the gene has a v2 id — and
+ * nothing else: there is no agent's memory to audit it in (as
+ * rotifer-core records a WASM gene's).
+ */
+function noAgentMemory(options = {}) {
+    const refuse = (operation) => () => {
+        options.telemetry?.((0, telemetry_js_1.accessDeniedEvent)({ agentId: null, geneId: options.geneId ?? null, entryId: null, operation, message: NO_AGENT_CONTEXT }));
+        throw new types_js_1.MemoryError("MEMORY_ACCESS_DENIED", NO_AGENT_CONTEXT);
+    };
+    return { readMemory: refuse("read"), writeMemory: refuse("write"), queryMemory: refuse("query"), deleteMemory: refuse("delete") };
+}
+/** Every call is MEMORY_STORAGE_ERROR "native binding unavailable". */
+function memoryUnavailable() {
+    return refusingMemory("MEMORY_STORAGE_ERROR", "native binding unavailable: agent memory needs the rotifer native addon on this platform");
+}
+//# sourceMappingURL=index.js.map

package/dist/memory/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/memory/index.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;AAsDA,sCAQC;AAGD,8CAEC;AAxDD,iDAAmG;AACnG,yCAAyC;AAEzC,6CAA2B;AAC3B,6CAA2B;AAC3B,8CAA4B;AAC5B,mDAAiC;AACjC,iDAA+B;AAC/B,6CAA2B;AAC3B,0EAA0E;AAC1E,mEAAmE;AACnE,2CASsB;AARpB,+GAAA,iBAAiB,OAAA;AACjB,2GAAA,aAAa,OAAA;AACb,6GAAA,eAAe,OAAA;AAQjB,wEAAwE;AACxE,SAAS,cAAc,CAAC,IAAqD,EAAE,OAAe;IAC5F,MAAM,MAAM,GAAG,GAAU,EAAE;QACzB,MAAM,IAAI,sBAAW,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACvC,CAAC,CAAC;IACF,OAAO,EAAE,UAAU,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,EAAE,CAAC;AAChG,CAAC;AAED,MAAM,gBAAgB,GAAG,uFAAuF,CAAC;AAEjH;;;;;;;;;;GAUG;AACH,SAAgB,aAAa,CAAC,UAAuE,EAAE;IACrG,MAAM,MAAM,GACV,CAAC,SAA0B,EAAE,EAAE,CAC/B,GAAU,EAAE;QACV,OAAO,CAAC,SAAS,EAAE,CAAC,IAAA,gCAAiB,EAAC,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,IAAI,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,gBAAgB,EAAE,CAAC,CAAC,CAAC;QAC/I,MAAM,IAAI,sBAAW,CAAC,sBAAsB,EAAE,gBAAgB,CAAC,CAAC;IAClE,CAAC,CAAC;IACJ,OAAO,EAAE,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,WAAW,EAAE,MAAM,CAAC,OAAO,CAAC,EAAE,WAAW,EAAE,MAAM,CAAC,OAAO,CAAC,EAAE,YAAY,EAAE,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC;AACpI,CAAC;AAED,uEAAuE;AACvE,SAAgB,iBAAiB;IAC/B,OAAO,cAAc,CAAC,sBAAsB,EAAE,0FAA0F,CAAC,CAAC;AAC5I,CAAC"}

package/dist/memory/telemetry.d.ts

@@ -0,0 +1,35 @@
+/** The operation names rotifer-core writes in metadata.operation. */
+export type MemoryOperation = "read" | "write" | "query" | "delete";
+export interface MemoryTelemetryEvent {
+    eventType: "MEMORY_ACCESS_DENIED";
+    bindingExtension: true;
+    traceContext: null;
+    /** null when the calling gene has no usable v2 id. */
+    geneId: string | null;
+    timestamp: string;
+    duration: null;
+    resourceUsage: null;
+    result: {
+        FAILURE: {
+            errorCode: "MEMORY_ACCESS_DENIED";
+            message: string;
+        };
+    };
+    /** agentId null outside any agent; entryId null when the call named no key. */
+    metadata: {
+        agentId: string | null;
+        entryId: string | null;
+        operation: MemoryOperation;
+    };
+}
+export type MemoryTelemetrySink = (event: MemoryTelemetryEvent) => void;
+export declare function fileTelemetrySink(root: string, env?: Record<string, string | undefined>): MemoryTelemetrySink;
+export declare function accessDeniedEvent(args: {
+    agentId: string | null;
+    geneId: string | null;
+    entryId: string | null;
+    operation: MemoryOperation;
+    message: string;
+    timestamp?: string;
+}): MemoryTelemetryEvent;
+//# sourceMappingURL=telemetry.d.ts.map

package/dist/memory/telemetry.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"telemetry.d.ts","sourceRoot":"","sources":["../../src/memory/telemetry.ts"],"names":[],"mappings":"AAkBA,qEAAqE;AACrE,MAAM,MAAM,eAAe,GAAG,MAAM,GAAG,OAAO,GAAG,OAAO,GAAG,QAAQ,CAAC;AAEpE,MAAM,WAAW,oBAAoB;IACnC,SAAS,EAAE,sBAAsB,CAAC;IAClC,gBAAgB,EAAE,IAAI,CAAC;IACvB,YAAY,EAAE,IAAI,CAAC;IACnB,sDAAsD;IACtD,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IACtB,SAAS,EAAE,MAAM,CAAC;IAClB,QAAQ,EAAE,IAAI,CAAC;IACf,aAAa,EAAE,IAAI,CAAC;IACpB,MAAM,EAAE;QAAE,OAAO,EAAE;YAAE,SAAS,EAAE,sBAAsB,CAAC;YAAC,OAAO,EAAE,MAAM,CAAA;SAAE,CAAA;KAAE,CAAC;IAC5E,+EAA+E;IAC/E,QAAQ,EAAE;QAAE,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;QAAC,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;QAAC,SAAS,EAAE,eAAe,CAAA;KAAE,CAAC;CAC1F;AAED,MAAM,MAAM,mBAAmB,GAAG,CAAC,KAAK,EAAE,oBAAoB,KAAK,IAAI,CAAC;AAExE,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,GAAE,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,SAAS,CAAe,GAAG,mBAAmB,CAa1H;AAED,wBAAgB,iBAAiB,CAAC,IAAI,EAAE;IACtC,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IACvB,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IACtB,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IACvB,SAAS,EAAE,eAAe,CAAC;IAC3B,OAAO,EAAE,MAAM,CAAC;IAChB,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB,GAAG,oBAAoB,CAYvB"}

package/dist/memory/telemetry.js

@@ -0,0 +1,51 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.fileTelemetrySink = fileTelemetrySink;
+exports.accessDeniedEvent = accessDeniedEvent;
+/**
+ * §17 telemetry for AgentMemory access denials (spec §38.2: "权限违规记录到
+ * §17 遥测系统").
+ *
+ * One §17.3 TelemetryEvent per line in `<root>/.rotifer/telemetry.jsonl`, in
+ * the shape rotifer-core writes (memory/events.rs MemoryTelemetryEvent), so a
+ * reader sees one format whichever binding denied the call. §17.3 has no
+ * memory event type, so `MEMORY_ACCESS_DENIED` carries `bindingExtension`.
+ * Local only, and it honours the same opt-out as the rest of the CLI's
+ * telemetry: ROTIFER_TELEMETRY=0 (or DO_NOT_TRACK) writes nothing here
+ *. The audit line for the same denial is written
+ * regardless (audit.ts). No key and no value: the entryId identifies the
+ * entry.
+ */
+const node_fs_1 = require("node:fs");
+const node_path_1 = require("node:path");
+const consent_js_1 = require("../telemetry/consent.js");
+function fileTelemetrySink(root, env = process.env) {
+    const path = (0, node_path_1.join)(root, ".rotifer", "telemetry.jsonl");
+    return (event) => {
+        if ((0, consent_js_1.telemetryOptedOutByEnv)(env))
+            return;
+        // Telemetry is best-effort: the denial it reports stands, and the audit
+        // line (which is not best-effort) already recorded it.
+        try {
+            (0, node_fs_1.mkdirSync)((0, node_path_1.dirname)(path), { recursive: true, mode: 0o700 });
+            (0, node_fs_1.appendFileSync)(path, JSON.stringify(event) + "\n", { mode: 0o600 });
+        }
+        catch {
+            /* not a reason to fail the call */
+        }
+    };
+}
+function accessDeniedEvent(args) {
+    return {
+        eventType: "MEMORY_ACCESS_DENIED",
+        bindingExtension: true,
+        traceContext: null,
+        geneId: args.geneId,
+        timestamp: args.timestamp ?? new Date().toISOString(),
+        duration: null,
+        resourceUsage: null,
+        result: { FAILURE: { errorCode: "MEMORY_ACCESS_DENIED", message: args.message } },
+        metadata: { agentId: args.agentId, entryId: args.entryId, operation: args.operation },
+    };
+}
+//# sourceMappingURL=telemetry.js.map

package/dist/memory/telemetry.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"telemetry.js","sourceRoot":"","sources":["../../src/memory/telemetry.ts"],"names":[],"mappings":";;AAqCA,8CAaC;AAED,8CAmBC;AAvED;;;;;;;;;;;;;GAaG;AACH,qCAAoD;AACpD,yCAA0C;AAC1C,wDAAiE;AAqBjE,SAAgB,iBAAiB,CAAC,IAAY,EAAE,MAA0C,OAAO,CAAC,GAAG;IACnG,MAAM,IAAI,GAAG,IAAA,gBAAI,EAAC,IAAI,EAAE,UAAU,EAAE,iBAAiB,CAAC,CAAC;IACvD,OAAO,CAAC,KAAK,EAAE,EAAE;QACf,IAAI,IAAA,mCAAsB,EAAC,GAAG,CAAC;YAAE,OAAO;QACxC,wEAAwE;QACxE,uDAAuD;QACvD,IAAI,CAAC;YACH,IAAA,mBAAS,EAAC,IAAA,mBAAO,EAAC,IAAI,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;YAC3D,IAAA,wBAAc,EAAC,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;QACtE,CAAC;QAAC,MAAM,CAAC;YACP,mCAAmC;QACrC,CAAC;IACH,CAAC,CAAC;AACJ,CAAC;AAED,SAAgB,iBAAiB,CAAC,IAOjC;IACC,OAAO;QACL,SAAS,EAAE,sBAAsB;QACjC,gBAAgB,EAAE,IAAI;QACtB,YAAY,EAAE,IAAI;QAClB,MAAM,EAAE,IAAI,CAAC,MAAM;QACnB,SAAS,EAAE,IAAI,CAAC,SAAS,IAAI,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;QACrD,QAAQ,EAAE,IAAI;QACd,aAAa,EAAE,IAAI;QACnB,MAAM,EAAE,EAAE,OAAO,EAAE,EAAE,SAAS,EAAE,sBAAsB,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,EAAE;QACjF,QAAQ,EAAE,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,SAAS,EAAE,IAAI,CAAC,SAAS,EAAE;KACtF,CAAC;AACJ,CAAC"}

package/dist/memory/types.d.ts

@@ -0,0 +1,110 @@
+/**
+ * AgentMemory types — spec §38.1, shared by every binding.
+ *
+ * Field names are the spec's camelCase and enum values the spec's UPPERCASE
+ * strings, with no case folding anywhere: Rust, WASM host calls and the cloud
+ * table carry the same strings, and one lowercased copy is how the bindings
+ * drift apart.
+ *
+ * Two shapes of an entry:
+ *   - MemoryEntry      what a gene sees: `value` is bytes (Uint8Array);
+ *   - MemoryEntryJson  what crosses JSON (napi, host calls, cloud): `value`
+ *                      is standard base64, padded.
+ * toEntryJson / fromEntryJson are the only conversion between them.
+ */
+export declare const MEMORY_CATEGORIES: readonly ["PREFERENCE", "PATTERN", "CONTEXT", "CACHE"];
+export type MemoryCategory = (typeof MEMORY_CATEGORIES)[number];
+export declare const ACCESS_SCOPES: readonly ["CREATOR_GENE_ONLY", "SAME_DOMAIN", "ALL_GENES", "DEPLOYER_CONFIGURED"];
+export type AccessScope = (typeof ACCESS_SCOPES)[number];
+export declare const SHARE_POLICIES: readonly ["PRIVATE", "ANONYMIZED_SHARE", "KNOWLEDGE_GENE"];
+export type SharePolicy = (typeof SHARE_POLICIES)[number];
+export interface MemoryAccessPolicy {
+    readScope: AccessScope;
+    writeScope: AccessScope;
+    sharePolicy: SharePolicy;
+}
+/** What `writeMemory` uses when the caller gives no policy. */
+export declare const DEFAULT_ACCESS_POLICY: Readonly<MemoryAccessPolicy>;
+/** Spec §30.2 RetentionPolicy. */
+export interface RetentionPolicy {
+    /** null = no limit. */
+    maxRetentionDays: number | null;
+    autoDeleteOnTermination: boolean;
+    anonymizationSupported: boolean;
+}
+export interface MemoryEntry {
+    /** Lowercase hex SHA-256 of `agentId + "\0" + key` (entryIdFor). */
+    entryId: string;
+    category: MemoryCategory;
+    key: string;
+    value: Uint8Array;
+    /** Content-derived gene id of the gene that created the entry. */
+    createdBy: string;
+    lastAccessedBy: string | null;
+    /** RFC 3339 UTC. */
+    createdAt: string;
+    /** RFC 3339 UTC. */
+    updatedAt: string;
+    accessPolicy: MemoryAccessPolicy;
+    /** null = inherit the agent's DataPolicy retention. */
+    retentionPolicy: RetentionPolicy | null;
+}
+export type MemoryEntryJson = Omit<MemoryEntry, "value"> & {
+    value: string;
+};
+export interface AgentMemory {
+    agentId: string;
+    entries: MemoryEntry[];
+    /** Bytes of key + value over all entries (the quota's unit). */
+    totalSize: number;
+    /** Bytes. */
+    quota: number;
+    createdAt: string;
+}
+/**
+ * queryMemory's filter (final). Every field is optional
+ * and they combine with AND:
+ *   - category   one MemoryCategory;
+ *   - keyPrefix  a plain prefix of the key, not a pattern;
+ *   - since      RFC 3339, inclusive, compared with `updatedAt`;
+ *   - until      RFC 3339, exclusive, compared with `updatedAt`;
+ *   - limit      default 100, capped at 1000.
+ * Results come newest first (`updatedAt` descending, ties by `entryId`).
+ * Unknown fields are MEMORY_INVALID_INPUT; no alias names are accepted.
+ */
+export interface MemoryFilter {
+    category?: MemoryCategory;
+    keyPrefix?: string;
+    since?: string;
+    until?: string;
+    limit?: number;
+}
+export declare const MEMORY_FILTER_FIELDS: readonly ["category", "keyPrefix", "since", "until", "limit"];
+export declare const MEMORY_QUERY_DEFAULT_LIMIT = 100;
+export declare const MEMORY_QUERY_MAX_LIMIT = 1000;
+/**
+ * Shared across bindings. MEMORY_STORAGE_ERROR is a
+ * storage / IO failure, a missing native binding, or a database error; it is
+ * never folded into MEMORY_INVALID_INPUT.
+ */
+export declare const MEMORY_ERROR_CODES: readonly ["MEMORY_NOT_FOUND", "MEMORY_ACCESS_DENIED", "MEMORY_QUOTA_EXCEEDED", "MEMORY_INVALID_INPUT", "MEMORY_STORAGE_ERROR"];
+export type MemoryErrorCode = (typeof MEMORY_ERROR_CODES)[number];
+/**
+ * A memory error. `code` is one of the five; `message` is the explanation
+ * alone, without the code in front (a no-agent-context message
+ * starts with "no agent context").
+ */
+export declare class MemoryError extends Error {
+    readonly code: MemoryErrorCode;
+    constructor(code: MemoryErrorCode, message: string);
+}
+/** A single value, after base64 decoding. */
+export declare const MEMORY_MAX_VALUE_BYTES: number;
+/** One queryMemory response, serialized. */
+export declare const MEMORY_MAX_QUERY_RESPONSE_BYTES: number;
+/** 10 MB of key + value. */
+export declare const DEFAULT_MEMORY_QUOTA_BYTES: number;
+export declare function isMemoryCategory(value: unknown): value is MemoryCategory;
+export declare function isAccessScope(value: unknown): value is AccessScope;
+export declare function isSharePolicy(value: unknown): value is SharePolicy;
+//# sourceMappingURL=types.d.ts.map

package/dist/memory/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/memory/types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAEH,eAAO,MAAM,iBAAiB,wDAAyD,CAAC;AACxF,MAAM,MAAM,cAAc,GAAG,CAAC,OAAO,iBAAiB,CAAC,CAAC,MAAM,CAAC,CAAC;AAEhE,eAAO,MAAM,aAAa,mFAAoF,CAAC;AAC/G,MAAM,MAAM,WAAW,GAAG,CAAC,OAAO,aAAa,CAAC,CAAC,MAAM,CAAC,CAAC;AAEzD,eAAO,MAAM,cAAc,4DAA6D,CAAC;AACzF,MAAM,MAAM,WAAW,GAAG,CAAC,OAAO,cAAc,CAAC,CAAC,MAAM,CAAC,CAAC;AAE1D,MAAM,WAAW,kBAAkB;IACjC,SAAS,EAAE,WAAW,CAAC;IACvB,UAAU,EAAE,WAAW,CAAC;IACxB,WAAW,EAAE,WAAW,CAAC;CAC1B;AAED,+DAA+D;AAC/D,eAAO,MAAM,qBAAqB,EAAE,QAAQ,CAAC,kBAAkB,CAI7D,CAAC;AAEH,kCAAkC;AAClC,MAAM,WAAW,eAAe;IAC9B,uBAAuB;IACvB,gBAAgB,EAAE,MAAM,GAAG,IAAI,CAAC;IAChC,uBAAuB,EAAE,OAAO,CAAC;IACjC,sBAAsB,EAAE,OAAO,CAAC;CACjC;AAED,MAAM,WAAW,WAAW;IAC1B,oEAAoE;IACpE,OAAO,EAAE,MAAM,CAAC;IAChB,QAAQ,EAAE,cAAc,CAAC;IACzB,GAAG,EAAE,MAAM,CAAC;IACZ,KAAK,EAAE,UAAU,CAAC;IAClB,kEAAkE;IAClE,SAAS,EAAE,MAAM,CAAC;IAClB,cAAc,EAAE,MAAM,GAAG,IAAI,CAAC;IAC9B,oBAAoB;IACpB,SAAS,EAAE,MAAM,CAAC;IAClB,oBAAoB;IACpB,SAAS,EAAE,MAAM,CAAC;IAClB,YAAY,EAAE,kBAAkB,CAAC;IACjC,uDAAuD;IACvD,eAAe,EAAE,eAAe,GAAG,IAAI,CAAC;CACzC;AAED,MAAM,MAAM,eAAe,GAAG,IAAI,CAAC,WAAW,EAAE,OAAO,CAAC,GAAG;IAAE,KAAK,EAAE,MAAM,CAAA;CAAE,CAAC;AAE7E,MAAM,WAAW,WAAW;IAC1B,OAAO,EAAE,MAAM,CAAC;IAChB,OAAO,EAAE,WAAW,EAAE,CAAC;IACvB,gEAAgE;IAChE,SAAS,EAAE,MAAM,CAAC;IAClB,aAAa;IACb,KAAK,EAAE,MAAM,CAAC;IACd,SAAS,EAAE,MAAM,CAAC;CACnB;AAED;;;;;;;;;;GAUG;AACH,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,EAAE,cAAc,CAAC;IAC1B,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED,eAAO,MAAM,oBAAoB,+DAAgE,CAAC;AAClG,eAAO,MAAM,0BAA0B,MAAM,CAAC;AAC9C,eAAO,MAAM,sBAAsB,OAAO,CAAC;AAE3C;;;;GAIG;AACH,eAAO,MAAM,kBAAkB,gIAMrB,CAAC;AACX,MAAM,MAAM,eAAe,GAAG,CAAC,OAAO,kBAAkB,CAAC,CAAC,MAAM,CAAC,CAAC;AAElE;;;;GAIG;AACH,qBAAa,WAAY,SAAQ,KAAK;IACpC,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAC;gBACnB,IAAI,EAAE,eAAe,EAAE,OAAO,EAAE,MAAM;CAKnD;AAED,6CAA6C;AAC7C,eAAO,MAAM,sBAAsB,QAAc,CAAC;AAClD,4CAA4C;AAC5C,eAAO,MAAM,+BAA+B,QAAkB,CAAC;AAE/D,4BAA4B;AAC5B,eAAO,MAAM,0BAA0B,QAAmB,CAAC;AAE3D,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,cAAc,CAExE;AAED,wBAAgB,aAAa,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,WAAW,CAElE;AAED,wBAAgB,aAAa,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,WAAW,CAElE"}

package/dist/memory/types.js

@@ -0,0 +1,74 @@
+"use strict";
+/**
+ * AgentMemory types — spec §38.1, shared by every binding.
+ *
+ * Field names are the spec's camelCase and enum values the spec's UPPERCASE
+ * strings, with no case folding anywhere: Rust, WASM host calls and the cloud
+ * table carry the same strings, and one lowercased copy is how the bindings
+ * drift apart.
+ *
+ * Two shapes of an entry:
+ *   - MemoryEntry      what a gene sees: `value` is bytes (Uint8Array);
+ *   - MemoryEntryJson  what crosses JSON (napi, host calls, cloud): `value`
+ *                      is standard base64, padded.
+ * toEntryJson / fromEntryJson are the only conversion between them.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.DEFAULT_MEMORY_QUOTA_BYTES = exports.MEMORY_MAX_QUERY_RESPONSE_BYTES = exports.MEMORY_MAX_VALUE_BYTES = exports.MemoryError = exports.MEMORY_ERROR_CODES = exports.MEMORY_QUERY_MAX_LIMIT = exports.MEMORY_QUERY_DEFAULT_LIMIT = exports.MEMORY_FILTER_FIELDS = exports.DEFAULT_ACCESS_POLICY = exports.SHARE_POLICIES = exports.ACCESS_SCOPES = exports.MEMORY_CATEGORIES = void 0;
+exports.isMemoryCategory = isMemoryCategory;
+exports.isAccessScope = isAccessScope;
+exports.isSharePolicy = isSharePolicy;
+exports.MEMORY_CATEGORIES = ["PREFERENCE", "PATTERN", "CONTEXT", "CACHE"];
+exports.ACCESS_SCOPES = ["CREATOR_GENE_ONLY", "SAME_DOMAIN", "ALL_GENES", "DEPLOYER_CONFIGURED"];
+exports.SHARE_POLICIES = ["PRIVATE", "ANONYMIZED_SHARE", "KNOWLEDGE_GENE"];
+/** What `writeMemory` uses when the caller gives no policy. */
+exports.DEFAULT_ACCESS_POLICY = Object.freeze({
+    readScope: "SAME_DOMAIN",
+    writeScope: "SAME_DOMAIN",
+    sharePolicy: "PRIVATE",
+});
+exports.MEMORY_FILTER_FIELDS = ["category", "keyPrefix", "since", "until", "limit"];
+exports.MEMORY_QUERY_DEFAULT_LIMIT = 100;
+exports.MEMORY_QUERY_MAX_LIMIT = 1000;
+/**
+ * Shared across bindings. MEMORY_STORAGE_ERROR is a
+ * storage / IO failure, a missing native binding, or a database error; it is
+ * never folded into MEMORY_INVALID_INPUT.
+ */
+exports.MEMORY_ERROR_CODES = [
+    "MEMORY_NOT_FOUND",
+    "MEMORY_ACCESS_DENIED",
+    "MEMORY_QUOTA_EXCEEDED",
+    "MEMORY_INVALID_INPUT",
+    "MEMORY_STORAGE_ERROR",
+];
+/**
+ * A memory error. `code` is one of the five; `message` is the explanation
+ * alone, without the code in front (a no-agent-context message
+ * starts with "no agent context").
+ */
+class MemoryError extends Error {
+    code;
+    constructor(code, message) {
+        super(message);
+        this.name = "MemoryError";
+        this.code = code;
+    }
+}
+exports.MemoryError = MemoryError;
+/** A single value, after base64 decoding. */
+exports.MEMORY_MAX_VALUE_BYTES = 1024 * 1024;
+/** One queryMemory response, serialized. */
+exports.MEMORY_MAX_QUERY_RESPONSE_BYTES = 4 * 1024 * 1024;
+/** 10 MB of key + value. */
+exports.DEFAULT_MEMORY_QUOTA_BYTES = 10 * 1024 * 1024;
+function isMemoryCategory(value) {
+    return typeof value === "string" && exports.MEMORY_CATEGORIES.includes(value);
+}
+function isAccessScope(value) {
+    return typeof value === "string" && exports.ACCESS_SCOPES.includes(value);
+}
+function isSharePolicy(value) {
+    return typeof value === "string" && exports.SHARE_POLICIES.includes(value);
+}
+//# sourceMappingURL=types.js.map

package/dist/memory/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/memory/types.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;GAaG;;;AAyHH,4CAEC;AAED,sCAEC;AAED,sCAEC;AAjIY,QAAA,iBAAiB,GAAG,CAAC,YAAY,EAAE,SAAS,EAAE,SAAS,EAAE,OAAO,CAAU,CAAC;AAG3E,QAAA,aAAa,GAAG,CAAC,mBAAmB,EAAE,aAAa,EAAE,WAAW,EAAE,qBAAqB,CAAU,CAAC;AAGlG,QAAA,cAAc,GAAG,CAAC,SAAS,EAAE,kBAAkB,EAAE,gBAAgB,CAAU,CAAC;AASzF,+DAA+D;AAClD,QAAA,qBAAqB,GAAiC,MAAM,CAAC,MAAM,CAAC;IAC/E,SAAS,EAAE,aAAa;IACxB,UAAU,EAAE,aAAa;IACzB,WAAW,EAAE,SAAS;CACvB,CAAC,CAAC;AA2DU,QAAA,oBAAoB,GAAG,CAAC,UAAU,EAAE,WAAW,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,CAAU,CAAC;AACrF,QAAA,0BAA0B,GAAG,GAAG,CAAC;AACjC,QAAA,sBAAsB,GAAG,IAAI,CAAC;AAE3C;;;;GAIG;AACU,QAAA,kBAAkB,GAAG;IAChC,kBAAkB;IAClB,sBAAsB;IACtB,uBAAuB;IACvB,sBAAsB;IACtB,sBAAsB;CACd,CAAC;AAGX;;;;GAIG;AACH,MAAa,WAAY,SAAQ,KAAK;IAC3B,IAAI,CAAkB;IAC/B,YAAY,IAAqB,EAAE,OAAe;QAChD,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,aAAa,CAAC;QAC1B,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;IACnB,CAAC;CACF;AAPD,kCAOC;AAED,6CAA6C;AAChC,QAAA,sBAAsB,GAAG,IAAI,GAAG,IAAI,CAAC;AAClD,4CAA4C;AAC/B,QAAA,+BAA+B,GAAG,CAAC,GAAG,IAAI,GAAG,IAAI,CAAC;AAE/D,4BAA4B;AACf,QAAA,0BAA0B,GAAG,EAAE,GAAG,IAAI,GAAG,IAAI,CAAC;AAE3D,SAAgB,gBAAgB,CAAC,KAAc;IAC7C,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAK,yBAAuC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;AAC/F,CAAC;AAED,SAAgB,aAAa,CAAC,KAAc;IAC1C,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAK,qBAAmC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;AAC3F,CAAC;AAED,SAAgB,aAAa,CAAC,KAAc;IAC1C,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAK,sBAAoC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;AAC5F,CAAC"}

package/dist/publish/auto-publish.d.ts

@@ -90,7 +90,7 @@ export declare function needsNetworkConfigBeforePublish(geneDir: string, fidelit
  * independent cursor-agent pyramid test run, 2026-08-31, which is also why
  * this is a pure function rather than a PTY-driven E2E test: reproducing it
  * needs a real TTY, and this repo's CI matrix runs both ubuntu-latest and
- * macos-14, whose `script` binaries take incompatible arguments — a
+ * macOS, whose `script` binaries take incompatible arguments — a
  * behavioural test for a one-line data-selection bug was the wrong layer.
  *
  * The on-disk phenotype wins whenever one was actually loaded; the CLI flag

package/dist/publish/auto-publish.js

@@ -111,7 +111,7 @@ function needsNetworkConfigBeforePublish(geneDir, fidelity) {
  * independent cursor-agent pyramid test run, 2026-08-31, which is also why
  * this is a pure function rather than a PTY-driven E2E test: reproducing it
  * needs a real TTY, and this repo's CI matrix runs both ubuntu-latest and
- * macos-14, whose `script` binaries take incompatible arguments — a
+ * macOS, whose `script` binaries take incompatible arguments — a
  * behavioural test for a one-line data-selection bug was the wrong layer.
  *
  * The on-disk phenotype wins whenever one was actually loaded; the CLI flag

package/dist/testsuite/gate.d.ts

@@ -1,4 +1,5 @@
 import type { GeneRunner, RunOutcome } from "./run.js";
+import { type GeneMemoryAccess } from "../memory/index.js";
 /**
  * spec §47.5 publishing gate, as decided in ADR-333.
  *
@@ -74,9 +75,16 @@ export declare function outcomeFromSandbox(r: {
  * same answers so they cannot drift apart silently.
  */
 export declare function readErrorEnvelope(output: unknown): string | null;
+/**
+ * `ctx` is what express() gets as its second argument. ctx.memory is never
+ * undefined: without an agent memory to hand over,
+ * every memory call is MEMORY_ACCESS_DENIED "no agent context".
+ */
 export declare function loadNodeRunner(absSourcePath: string, l0: {
     kind: string;
     detail?: string;
+}, ctx?: {
+    memory: GeneMemoryAccess;
 }): Promise<{
     runner: GeneRunner;
 } | {

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

@@ -1 +1 @@
-{"version":3,"file":"gate.d.ts","sourceRoot":"","sources":["../../src/testsuite/gate.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,UAAU,CAAC;AAEvD;;;;;;;;;GASG;AAEH,MAAM,MAAM,WAAW,GACnB;IAAE,MAAM,EAAE,QAAQ,CAAC;IAAC,OAAO,EAAE,MAAM,CAAA;CAAE,GACrC;IAAE,MAAM,EAAE,SAAS,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,MAAM,EAAE,CAAA;CAAE,GACzD;IAAE,MAAM,EAAE,gBAAgB,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC;AAoBjD,MAAM,WAAW,SAAS;IACxB,OAAO,EAAE,MAAM,CAAC;IAChB,QAAQ,EAAE,MAAM,CAAC;IACjB,SAAS,EAAE;QAAE,WAAW,CAAC,EAAE,OAAO,CAAC;QAAC,YAAY,CAAC,EAAE,OAAO,CAAA;KAAE,CAAC;IAC7D;oDACgD;IAChD,GAAG,EAAE,UAAU,GAAG,IAAI,CAAC;CACxB;AAED,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,SAAS,GAAG,WAAW,CAyEjE;AAMD;;;;;kBAKkB;AAClB,wBAAgB,kBAAkB,CAAC,CAAC,EAAE;IACpC,OAAO,EAAE,OAAO,CAAC;IACjB,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,YAAY,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7B,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB,GAAG,UAAU,CAMb;AAED;;;;;;;;;;;;;;;;;;;GAmBG;AACH;;;;;;;;GAQG;AACH,wBAAgB,iBAAiB,CAAC,MAAM,EAAE,OAAO,GAAG,MAAM,GAAG,IAAI,CAUhE;AAED,wBAAsB,cAAc,CAClC,aAAa,EAAE,MAAM,EACrB,EAAE,EAAE;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAA;CAAE,GACpC,OAAO,CAAC;IAAE,MAAM,EAAE,UAAU,CAAA;CAAE,GAAG;IAAE,OAAO,EAAE,MAAM,CAAA;CAAE,CAAC,CA2CvD"}
+{"version":3,"file":"gate.d.ts","sourceRoot":"","sources":["../../src/testsuite/gate.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,UAAU,CAAC;AACvD,OAAO,EAAiB,KAAK,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AAE1E;;;;;;;;;GASG;AAEH,MAAM,MAAM,WAAW,GACnB;IAAE,MAAM,EAAE,QAAQ,CAAC;IAAC,OAAO,EAAE,MAAM,CAAA;CAAE,GACrC;IAAE,MAAM,EAAE,SAAS,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,MAAM,EAAE,CAAA;CAAE,GACzD;IAAE,MAAM,EAAE,gBAAgB,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC;AAoBjD,MAAM,WAAW,SAAS;IACxB,OAAO,EAAE,MAAM,CAAC;IAChB,QAAQ,EAAE,MAAM,CAAC;IACjB,SAAS,EAAE;QAAE,WAAW,CAAC,EAAE,OAAO,CAAC;QAAC,YAAY,CAAC,EAAE,OAAO,CAAA;KAAE,CAAC;IAC7D;oDACgD;IAChD,GAAG,EAAE,UAAU,GAAG,IAAI,CAAC;CACxB;AAED,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,SAAS,GAAG,WAAW,CAyEjE;AAMD;;;;;kBAKkB;AAClB,wBAAgB,kBAAkB,CAAC,CAAC,EAAE;IACpC,OAAO,EAAE,OAAO,CAAC;IACjB,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,YAAY,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7B,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB,GAAG,UAAU,CAMb;AAED;;;;;;;;;;;;;;;;;;;GAmBG;AACH;;;;;;;;GAQG;AACH,wBAAgB,iBAAiB,CAAC,MAAM,EAAE,OAAO,GAAG,MAAM,GAAG,IAAI,CAUhE;AAED;;;;GAIG;AACH,wBAAsB,cAAc,CAClC,aAAa,EAAE,MAAM,EACrB,EAAE,EAAE;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAA;CAAE,EACrC,GAAG,GAAE;IAAE,MAAM,EAAE,gBAAgB,CAAA;CAAgC,GAC9D,OAAO,CAAC;IAAE,MAAM,EAAE,UAAU,CAAA;CAAE,GAAG;IAAE,OAAO,EAAE,MAAM,CAAA;CAAE,CAAC,CA2CvD"}

package/dist/testsuite/gate.js

@@ -7,6 +7,7 @@ exports.loadNodeRunner = loadNodeRunner;
 const node_url_1 = require("node:url");
 const load_js_1 = require("./load.js");
 const run_js_1 = require("./run.js");
+const index_js_1 = require("../memory/index.js");
 /**
  * The guidance lines are load-bearing, not decoration.
  *
@@ -148,7 +149,12 @@ function readErrorEnvelope(output) {
         : "gene refused the input";
     return `INVALID_INPUT: ${message}`;
 }
-async function loadNodeRunner(absSourcePath, l0) {
+/**
+ * `ctx` is what express() gets as its second argument. ctx.memory is never
+ * undefined: without an agent memory to hand over,
+ * every memory call is MEMORY_ACCESS_DENIED "no agent context".
+ */
+async function loadNodeRunner(absSourcePath, l0, ctx = { memory: (0, index_js_1.noAgentMemory)() }) {
     if (l0.kind === "violation") {
         return { refusal: `L0 gate blocked this gene: ${l0.detail ?? "no detail"}` };
     }
@@ -166,7 +172,7 @@ async function loadNodeRunner(absSourcePath, l0) {
     const runner = (input) => {
         const started = Date.now();
         try {
-            const output = expressFn(input);
+            const output = expressFn(input, ctx);
             // 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

package/dist/testsuite/gate.js.map

@@ -1 +1 @@
-{"version":3,"file":"gate.js","sourceRoot":"","sources":["../../src/testsuite/gate.ts"],"names":[],"mappings":";;AAgDA,kDAyEC;AAYD,gDAWC;AA+BD,8CAUC;AAED,wCA8CC;AAzOD,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;QACd,QAAQ,EAAE,KAAK,CAAC,QAAQ;KACzB,CAAC,CAAC;IAEH,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;QACtB,+DAA+D;QAC/D,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,6BAA6B,IAAI,CAAC,CAAC,OAAO,EAAE,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC;QACzH,OAAO;YACL,MAAM,EAAE,QAAQ;YAChB,OAAO,EACL,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;gBACjG,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,OAAO,CAAC,OAAO,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;SAC3C,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;wEACwE;AACxE,MAAM,sBAAsB,GAAG,iBAAiB,CAAC;AAEjD;;;;;kBAKkB;AAClB,SAAgB,kBAAkB,CAAC,CAKlC;IACC,IAAI,CAAC,CAAC,OAAO;QAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,UAAU,EAAE,CAAC,CAAC,UAAU,EAAE,CAAC;IACpF,IAAI,CAAC,CAAC,YAAY,EAAE,UAAU,CAAC,sBAAsB,CAAC,EAAE,CAAC;QACvD,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,YAAY,EAAE,CAAC,CAAC,YAAY,EAAE,UAAU,EAAE,CAAC,CAAC,UAAU,EAAE,CAAC;IACpF,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC,CAAC,YAAY,IAAI,SAAS,EAAE,CAAC;AACtF,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"}
+{"version":3,"file":"gate.js","sourceRoot":"","sources":["../../src/testsuite/gate.ts"],"names":[],"mappings":";;AAiDA,kDAyEC;AAYD,gDAWC;AA+BD,8CAUC;AAOD,wCA+CC;AAhPD,uCAAyC;AACzC,uCAA0C;AAC1C,qCAAiC;AAEjC,iDAA0E;AAkB1E;;;;;;;;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;QACd,QAAQ,EAAE,KAAK,CAAC,QAAQ;KACzB,CAAC,CAAC;IAEH,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;QACtB,+DAA+D;QAC/D,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,6BAA6B,IAAI,CAAC,CAAC,OAAO,EAAE,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC;QACzH,OAAO;YACL,MAAM,EAAE,QAAQ;YAChB,OAAO,EACL,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;gBACjG,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,OAAO,CAAC,OAAO,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;SAC3C,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;wEACwE;AACxE,MAAM,sBAAsB,GAAG,iBAAiB,CAAC;AAEjD;;;;;kBAKkB;AAClB,SAAgB,kBAAkB,CAAC,CAKlC;IACC,IAAI,CAAC,CAAC,OAAO;QAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,UAAU,EAAE,CAAC,CAAC,UAAU,EAAE,CAAC;IACpF,IAAI,CAAC,CAAC,YAAY,EAAE,UAAU,CAAC,sBAAsB,CAAC,EAAE,CAAC;QACvD,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,YAAY,EAAE,CAAC,CAAC,YAAY,EAAE,UAAU,EAAE,CAAC,CAAC,UAAU,EAAE,CAAC;IACpF,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC,CAAC,YAAY,IAAI,SAAS,EAAE,CAAC;AACtF,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;AAED;;;;GAIG;AACI,KAAK,UAAU,cAAc,CAClC,aAAqB,EACrB,EAAqC,EACrC,MAAoC,EAAE,MAAM,EAAE,IAAA,wBAAa,GAAE,EAAE;IAE/D,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,SAA6E,CAAC;IAClF,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,OAA2B,CAAC;IAC9C,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,EAAE,GAAG,CAAC,CAAC;YAErC,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/utils/arena-success.d.ts

@@ -17,6 +17,16 @@
  * sandbox success still counts; the contract is the Gene's to declare.
  */
 export type OutputValidator = (output: unknown) => boolean;
+/** null when the value conforms; otherwise the first violation, naming the field. */
+export type SchemaCheck = (value: unknown) => string | null;
+/**
+ * Compile one of a phenotype's schemas into a check. Returns null when the
+ * schema is absent, empty, or not compilable — the schema constrains nothing,
+ * and the caller says so if it matters. The Arena's verdict
+ * (compileOutputValidator) and `rotifer run`'s (#451) both come from here, so
+ * they cannot disagree about what violates a Gene's contract.
+ */
+export declare function compileSchemaCheck(schema: unknown): SchemaCheck | null;
 /**
  * Compile a phenotype's outputSchema into a validator. Returns null when the
  * schema is absent, empty, or not compilable — in which case the caller falls

package/dist/utils/arena-success.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"arena-success.d.ts","sourceRoot":"","sources":["../../src/utils/arena-success.ts"],"names":[],"mappings":"AAEA;;;;;;;;;;;;;;;;;GAiBG;AAEH,MAAM,MAAM,eAAe,GAAG,CAAC,MAAM,EAAE,OAAO,KAAK,OAAO,CAAC;AAE3D;;;;GAIG;AACH,wBAAgB,sBAAsB,CAAC,SAAS,EAAE;IAAE,YAAY,CAAC,EAAE,OAAO,CAAA;CAAE,GAAG,eAAe,GAAG,IAAI,CAUpG;AAED,MAAM,WAAW,UAAU;IACzB,wDAAwD;IACxD,cAAc,EAAE,OAAO,CAAC;IACxB,MAAM,EAAE,OAAO,CAAC;CACjB;AAED,oFAAoF;AACpF,wBAAgB,eAAe,CAAC,GAAG,EAAE,UAAU,EAAE,cAAc,EAAE,eAAe,GAAG,IAAI,GAAG,OAAO,CAIhG"}
+{"version":3,"file":"arena-success.d.ts","sourceRoot":"","sources":["../../src/utils/arena-success.ts"],"names":[],"mappings":"AAEA;;;;;;;;;;;;;;;;;GAiBG;AAEH,MAAM,MAAM,eAAe,GAAG,CAAC,MAAM,EAAE,OAAO,KAAK,OAAO,CAAC;AAE3D,qFAAqF;AACrF,MAAM,MAAM,WAAW,GAAG,CAAC,KAAK,EAAE,OAAO,KAAK,MAAM,GAAG,IAAI,CAAC;AAE5D;;;;;;GAMG;AACH,wBAAgB,kBAAkB,CAAC,MAAM,EAAE,OAAO,GAAG,WAAW,GAAG,IAAI,CAuBtE;AAED;;;;GAIG;AACH,wBAAgB,sBAAsB,CAAC,SAAS,EAAE;IAAE,YAAY,CAAC,EAAE,OAAO,CAAA;CAAE,GAAG,eAAe,GAAG,IAAI,CAGpG;AAED,MAAM,WAAW,UAAU;IACzB,wDAAwD;IACxD,cAAc,EAAE,OAAO,CAAC;IACxB,MAAM,EAAE,OAAO,CAAC;CACjB;AAED,oFAAoF;AACpF,wBAAgB,eAAe,CAAC,GAAG,EAAE,UAAU,EAAE,cAAc,EAAE,eAAe,GAAG,IAAI,GAAG,OAAO,CAIhG"}

package/dist/utils/arena-success.js

@@ -3,26 +3,53 @@ var __importDefault = (this && this.__importDefault) || function (mod) {
     return (mod && mod.__esModule) ? mod : { "default": mod };
 };
 Object.defineProperty(exports, "__esModule", { value: true });
+exports.compileSchemaCheck = compileSchemaCheck;
 exports.compileOutputValidator = compileOutputValidator;
 exports.isRunSuccessful = isRunSuccessful;
 const ajv_1 = __importDefault(require("ajv"));
 /**
- * Compile a phenotype's outputSchema into a validator. Returns null when the
- * schema is absent, empty, or not compilable — in which case the caller falls
- * back to sandbox success alone, and should say so.
+ * Compile one of a phenotype's schemas into a check. Returns null when the
+ * schema is absent, empty, or not compilable — the schema constrains nothing,
+ * and the caller says so if it matters. The Arena's verdict
+ * (compileOutputValidator) and `rotifer run`'s (#451) both come from here, so
+ * they cannot disagree about what violates a Gene's contract.
  */
-function compileOutputValidator(phenotype) {
-    const schema = phenotype.outputSchema;
+function compileSchemaCheck(schema) {
     if (!schema || typeof schema !== "object" || Object.keys(schema).length === 0)
         return null;
+    let validate;
     try {
-        const ajv = new ajv_1.default({ allErrors: false, strict: false });
-        const validate = ajv.compile(schema);
-        return (output) => validate(output) === true;
+        validate = new ajv_1.default({ allErrors: false, strict: false }).compile(schema);
     }
     catch {
         return null;
     }
+    return (value) => {
+        if (validate(value) === true)
+            return null;
+        const err = validate.errors?.[0];
+        if (!err)
+            return "does not match the schema";
+        const path = err.instancePath.replace(/^\//, "").replace(/\//g, ".");
+        if (err.keyword === "required") {
+            const missing = err.params.missingProperty;
+            return `${path ? path + "." : ""}${missing} is required`;
+        }
+        if (err.keyword === "additionalProperties") {
+            const extra = err.params.additionalProperty;
+            return `${path ? path + "." : ""}${extra} is not allowed`;
+        }
+        return `${path || "(the value)"} ${err.message ?? "does not match the schema"}`;
+    };
+}
+/**
+ * Compile a phenotype's outputSchema into a validator. Returns null when the
+ * schema is absent, empty, or not compilable — in which case the caller falls
+ * back to sandbox success alone, and should say so.
+ */
+function compileOutputValidator(phenotype) {
+    const check = compileSchemaCheck(phenotype.outputSchema);
+    return check ? (output) => check(output) === null : null;
 }
 /** Sandbox success alone is not success; the output has to be what was promised. */
 function isRunSuccessful(run, validateOutput) {

package/dist/utils/arena-success.js.map

@@ -1 +1 @@
-{"version":3,"file":"arena-success.js","sourceRoot":"","sources":["../../src/utils/arena-success.ts"],"names":[],"mappings":";;;;;AA4BA,wDAUC;AASD,0CAIC;AAnDD,8CAAiD;AAuBjD;;;;GAIG;AACH,SAAgB,sBAAsB,CAAC,SAAqC;IAC1E,MAAM,MAAM,GAAG,SAAS,CAAC,YAAY,CAAC;IACtC,IAAI,CAAC,MAAM,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,MAAM,CAAC,IAAI,CAAC,MAAgB,CAAC,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACrG,IAAI,CAAC;QACH,MAAM,GAAG,GAAG,IAAI,aAAG,CAAC,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC;QACzD,MAAM,QAAQ,GAAqB,GAAG,CAAC,OAAO,CAAC,MAAgB,CAAC,CAAC;QACjE,OAAO,CAAC,MAAe,EAAE,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,KAAK,IAAI,CAAC;IACxD,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAQD,oFAAoF;AACpF,SAAgB,eAAe,CAAC,GAAe,EAAE,cAAsC;IACrF,IAAI,CAAC,GAAG,CAAC,cAAc;QAAE,OAAO,KAAK,CAAC;IACtC,IAAI,CAAC,cAAc;QAAE,OAAO,IAAI,CAAC;IACjC,OAAO,cAAc,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;AACpC,CAAC"}
+{"version":3,"file":"arena-success.js","sourceRoot":"","sources":["../../src/utils/arena-success.ts"],"names":[],"mappings":";;;;;AAiCA,gDAuBC;AAOD,wDAGC;AASD,0CAIC;AA/ED,8CAAiD;AA0BjD;;;;;;GAMG;AACH,SAAgB,kBAAkB,CAAC,MAAe;IAChD,IAAI,CAAC,MAAM,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,MAAM,CAAC,IAAI,CAAC,MAAgB,CAAC,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACrG,IAAI,QAA0B,CAAC;IAC/B,IAAI,CAAC;QACH,QAAQ,GAAG,IAAI,aAAG,CAAC,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC,OAAO,CAAC,MAAgB,CAAC,CAAC;IACpF,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,CAAC,KAAc,EAAE,EAAE;QACxB,IAAI,QAAQ,CAAC,KAAK,CAAC,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QAC1C,MAAM,GAAG,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC;QACjC,IAAI,CAAC,GAAG;YAAE,OAAO,2BAA2B,CAAC;QAC7C,MAAM,IAAI,GAAG,GAAG,CAAC,YAAY,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QACrE,IAAI,GAAG,CAAC,OAAO,KAAK,UAAU,EAAE,CAAC;YAC/B,MAAM,OAAO,GAAI,GAAG,CAAC,MAAuC,CAAC,eAAe,CAAC;YAC7E,OAAO,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,GAAG,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,OAAO,cAAc,CAAC;QAC3D,CAAC;QACD,IAAI,GAAG,CAAC,OAAO,KAAK,sBAAsB,EAAE,CAAC;YAC3C,MAAM,KAAK,GAAI,GAAG,CAAC,MAA0C,CAAC,kBAAkB,CAAC;YACjF,OAAO,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,GAAG,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,KAAK,iBAAiB,CAAC;QAC5D,CAAC;QACD,OAAO,GAAG,IAAI,IAAI,aAAa,IAAI,GAAG,CAAC,OAAO,IAAI,2BAA2B,EAAE,CAAC;IAClF,CAAC,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,SAAgB,sBAAsB,CAAC,SAAqC;IAC1E,MAAM,KAAK,GAAG,kBAAkB,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC;IACzD,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC,MAAe,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;AACpE,CAAC;AAQD,oFAAoF;AACpF,SAAgB,eAAe,CAAC,GAAe,EAAE,cAAsC;IACrF,IAAI,CAAC,GAAG,CAAC,cAAc;QAAE,OAAO,KAAK,CAAC;IACtC,IAAI,CAAC,cAAc;QAAE,OAAO,IAAI,CAAC;IACjC,OAAO,cAAc,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;AACpC,CAAC"}

package/dist/utils/binding.d.ts

@@ -33,9 +33,13 @@ export interface NativeBinding {
     buildSearchGeneWasm(): Buffer;
     buildSummarizeGeneWasm(): Buffer;
     buildTranslateGeneWasm(): Buffer;
-    executeGene(wasmBytes: Buffer, inputJson: string, phenotypeJson: string, constraintsJson?: string): ExecutionResultView;
+    executeGene(wasmBytes: Buffer, inputJson: string, phenotypeJson: string, constraintsJson?: string, 
+    /** v0.9.4 AgentMemory: {"agentId","geneId"}; omitted → the gene has no agent memory. */
+    memoryContextJson?: string): ExecutionResultView;
     l0Check(phenotypeJson: string, permissionsJson?: string, constraintsJson?: string): L0CheckResultView;
-    executeAlgebra(algebraJson: string, geneEntriesJson: string, inputJson: string, constraintsJson?: string): AlgebraResultView;
+    executeAlgebra(algebraJson: string, geneEntriesJson: string, inputJson: string, constraintsJson?: string, 
+    /** v0.9.4 AgentMemory: {"agentId"}; each gene runs as its entry's v2Id. */
+    memoryContextJson?: string): AlgebraResultView;
 }
 export declare function tryLoadBinding(): NativeBinding | null;
 /** A gene announcement received from a peer (mirrors the Rust napi struct). */