@inhuman.tools/harness 0.0.0-stage → 0.2.0

package/dist/extensions/state.js

@@ -0,0 +1,242 @@
+import { behaviorAls } from "./behavior.js";
+import { applyLambda, makeCtx } from "./eval.js";
+import { PluginSurfaceError } from "./surface-error.js";
+import { Dict, Refusal, deepEqual, emptyRegistry, toJS, } from "./value.js";
+export class CallerLedger {
+    calls = new Map();
+}
+export class StateOwner {
+    id;
+    scope;
+    abi;
+    reducer;
+    revision;
+    log;
+    methods;
+    constructor(id, scope, abi, reducer, methods, log) {
+        this.id = id;
+        this.scope = scope;
+        this.abi = abi;
+        this.reducer = reducer;
+        this.methods = methods;
+        this.log = log;
+        this.revision = log.length;
+    }
+}
+/**
+ * Owner logs. Rebuilding an owner from the same log is a restart. Without a
+ * store they live in memory only.
+ */
+export class StateDirectory {
+    store;
+    #logs = new Map();
+    #owners = new Map();
+    constructor(store) {
+        this.store = store;
+    }
+    ownerId(plugin, scope, scopeId, namespace) {
+        return `${plugin}\0${scope}\0${scopeId}\0${namespace}`;
+    }
+    parts(id) {
+        const [plugin = "", scope = "", scopeId = "", namespace = ""] = id.split("\0");
+        PluginSurfaceError.invariant(scope === "private" || scope === "session" || scope === "project" || scope === "global", `malformed state owner ${id}`);
+        return { plugin, scope, scopeId, namespace };
+    }
+    open(id, scope, abi, reducer, methods) {
+        const existing = this.#owners.get(id);
+        if (existing != null)
+            return existing;
+        const log = this.#logs.get(id) ?? [...(this.store?.load(this.parts(id)) ?? [])];
+        this.#logs.set(id, log);
+        const owner = new StateOwner(id, scope, abi, reducer, methods, log);
+        this.#owners.set(id, owner);
+        return owner;
+    }
+    has(id) {
+        return this.#owners.has(id);
+    }
+    get(id) {
+        const owner = this.#owners.get(id);
+        PluginSurfaceError.invariant(owner != null, `unknown state owner ${id}`);
+        return owner;
+    }
+    /** Drop the live owner and replay the same durable log. */
+    restart(id) {
+        const owner = this.get(id);
+        this.#owners.delete(id);
+        return this.open(id, owner.scope, owner.abi, owner.reducer, owner.methods);
+    }
+    /** Caller rollback moves session and private logs. Project and global refuse. */
+    rollback(id, revision) {
+        const owner = this.get(id);
+        PluginSurfaceError.invariant(!(owner.scope === "project" || owner.scope === "global"), "caller rollback does not undo accepted project/global changes");
+        owner.log.splice(revision);
+        this.commit(owner);
+    }
+    /** The owner's log changed: bump its revision and write it through. */
+    commit(owner) {
+        owner.revision = owner.log.length;
+        this.store?.save(this.parts(owner.id), owner.log);
+    }
+    /** Session owners of one scope id, opened or only logged. */
+    sessionOwners(scopeId) {
+        return [...this.#logs.keys()].filter((id) => {
+            const parts = this.parts(id);
+            return parts.scope === "session" && parts.scopeId === scopeId;
+        });
+    }
+    /**
+     * Replace a session owner's log, as when the session moves to another
+     * turn. The store already holds the new log; this only updates memory.
+     */
+    reset(id, log) {
+        PluginSurfaceError.invariant(this.parts(id).scope === "session", "only session state follows the session");
+        const kept = this.#logs.get(id);
+        if (kept == null)
+            return;
+        kept.splice(0, kept.length, ...log);
+        const owner = this.#owners.get(id);
+        if (owner != null)
+            owner.revision = owner.log.length;
+    }
+}
+function registryOf(owner, methods) {
+    const registry = emptyRegistry(owner.id, owner.abi, new Dict({}));
+    registry.reducer = owner.reducer;
+    for (const [name, method] of methods)
+        registry.methods.set(name, method);
+    return registry;
+}
+async function projectionUntil(owner, until) {
+    const ctx = makeCtx({
+        mode: "pure",
+        agentId: owner.id,
+        sourceText: "",
+        file: owner.id,
+        root: "/",
+        read: () => {
+            PluginSurfaceError.invariant(false, "missing source");
+        },
+        config: new Dict({}),
+        registry: registryOf(owner, new Map()),
+    });
+    let state = await applyLambda(owner.reducer.initial, [], ctx);
+    for (const action of owner.log.slice(0, until)) {
+        state = await applyLambda(owner.reducer.reduce, [state, action], ctx);
+    }
+    return state;
+}
+async function isProtected(owner, action) {
+    if (owner.reducer.hostOnly == null)
+        return false;
+    const ctx = makeCtx({
+        mode: "pure",
+        agentId: owner.id,
+        sourceText: "",
+        file: owner.id,
+        root: "/",
+        read: () => {
+            PluginSurfaceError.invariant(false, "missing source");
+        },
+        config: new Dict({}),
+        registry: registryOf(owner, new Map()),
+    });
+    return (await applyLambda(owner.reducer.hostOnly, [action], ctx)) === true;
+}
+export function hostPropose(directory, owner, action) {
+    owner.log.push(action);
+    directory.commit(owner);
+}
+export async function callMethod(opts) {
+    const binding = opts.bindings.get(opts.receiver);
+    PluginSurfaceError.invariant(binding != null, `unbound receiver ${opts.receiver}`);
+    PluginSurfaceError.invariant(binding.methods.has(opts.method), "method not granted");
+    const owner = opts.directory.get(binding.ownerId);
+    PluginSurfaceError.invariant(binding.abi === owner.abi, "revision mismatch");
+    const decl = owner.methods.get(opts.method);
+    PluginSurfaceError.invariant(decl != null, `unknown method ${opts.method}`);
+    const input = new Dict(opts.args);
+    const inputIssue = decl.input.check(input);
+    PluginSurfaceError.invariant(inputIssue == null, `schema ${inputIssue}`);
+    const inputHash = JSON.stringify(toJS(input));
+    const prior = opts.caller.calls.get(opts.callId);
+    if (prior != null) {
+        PluginSurfaceError.invariant(prior.input === inputHash, "call id reuse");
+        return prior.result;
+    }
+    const observed = opts.observedRevision ?? owner.revision;
+    const lineage = [...(opts.lineage ?? behaviorAls.getStore()?.lineage ?? [])];
+    const registration = `method:${owner.id}:${decl.name}`;
+    const active = lineage.filter((item) => item === registration).length;
+    PluginSurfaceError.invariant(active <= decl.reentrantDepth, `re-entrant registration ${registration}`);
+    lineage.push(registration);
+    const ctx = makeCtx({
+        mode: "run",
+        agentId: owner.id,
+        sourceText: decl.handler.source,
+        file: owner.id,
+        root: "/",
+        read: () => {
+            PluginSurfaceError.invariant(false, "missing source");
+        },
+        config: new Dict({}),
+        registry: registryOf(owner, new Map([[decl.name, decl]])),
+    });
+    ctx.lineage = lineage;
+    ctx.hostAuthority = opts.hostAuthority === true;
+    ctx.admit = opts.admit ?? null;
+    ctx.proposals = decl.kind === "mutation" ? [] : null;
+    ctx.onMethod = (receiver, name, kw) => callMethod({
+        ...opts,
+        receiver,
+        method: name,
+        args: Object.fromEntries(kw),
+        callId: `${opts.callId}>${receiver}.${name}`,
+        lineage,
+        observedRevision: undefined,
+    });
+    const state = await projectionUntil(owner, observed);
+    let result;
+    try {
+        result = await applyLambda(decl.handler, [input, state], ctx);
+    }
+    finally {
+        lineage.pop();
+    }
+    if (result instanceof Refusal)
+        return result;
+    const outputIssue = decl.output.check(result);
+    PluginSurfaceError.invariant(outputIssue == null, `schema ${outputIssue}`);
+    if (decl.kind === "query") {
+        opts.caller.calls.set(opts.callId, {
+            id: opts.callId,
+            input: inputHash,
+            result,
+            ownerRevision: observed,
+        });
+        return result;
+    }
+    PluginSurfaceError.invariant(owner.revision === observed, "stale commit");
+    if (opts.hostAuthority !== true) {
+        for (const action of ctx.proposals ?? []) {
+            PluginSurfaceError.invariant(!(await isProtected(owner, action)), "protected action");
+        }
+    }
+    for (const action of ctx.proposals ?? [])
+        owner.log.push(action);
+    opts.directory.commit(owner);
+    opts.caller.calls.set(opts.callId, {
+        id: opts.callId,
+        input: inputHash,
+        result,
+        ownerRevision: owner.revision,
+    });
+    return result;
+}
+export function projectionOf(owner) {
+    return projectionUntil(owner, owner.revision);
+}
+export function sameState(left, right) {
+    return deepEqual(left, right);
+}
+//# sourceMappingURL=state.js.map

package/dist/extensions/state.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"state.js","sourceRoot":"","sources":["../../src/extensions/state.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,MAAM,eAAe,CAAC;AAC5C,OAAO,EAAE,WAAW,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACjD,OAAO,EAAE,kBAAkB,EAAE,MAAM,oBAAoB,CAAC;AACxD,OAAO,EACL,IAAI,EACJ,OAAO,EACP,SAAS,EACT,aAAa,EACb,IAAI,GAKL,MAAM,YAAY,CAAC;AAgBpB,MAAM,OAAO,YAAY;IACd,KAAK,GAAG,IAAI,GAAG,EAA4B,CAAC;CACtD;AAED,MAAM,OAAO,UAAU;IAMV;IACA;IACA;IACA;IARX,QAAQ,CAAS;IACR,GAAG,CAAQ;IACX,OAAO,CAAkC;IAElD,YACW,EAAU,EACV,KAAmD,EACnD,GAAW,EACX,OAAoB,EAC7B,OAAwC,EACxC,GAAU;QALD,OAAE,GAAF,EAAE,CAAQ;QACV,UAAK,GAAL,KAAK,CAA8C;QACnD,QAAG,GAAH,GAAG,CAAQ;QACX,YAAO,GAAP,OAAO,CAAa;QAI7B,IAAI,CAAC,OAAO,GAAG,OAAO,CAAC;QACvB,IAAI,CAAC,GAAG,GAAG,GAAG,CAAC;QACf,IAAI,CAAC,QAAQ,GAAG,GAAG,CAAC,MAAM,CAAC;IAC7B,CAAC;CACF;AAeD;;;GAGG;AACH,MAAM,OAAO,cAAc;IAII;IAHpB,KAAK,GAAG,IAAI,GAAG,EAAiB,CAAC;IACjC,OAAO,GAAG,IAAI,GAAG,EAAsB,CAAC;IAEjD,YAA6B,KAAkB;QAAlB,UAAK,GAAL,KAAK,CAAa;IAAG,CAAC;IAEnD,OAAO,CAAC,MAAc,EAAE,KAA0B,EAAE,OAAe,EAAE,SAAiB;QACpF,OAAO,GAAG,MAAM,KAAK,KAAK,KAAK,OAAO,KAAK,SAAS,EAAE,CAAC;IACzD,CAAC;IAED,KAAK,CAAC,EAAU;QACd,MAAM,CAAC,MAAM,GAAG,EAAE,EAAE,KAAK,GAAG,EAAE,EAAE,OAAO,GAAG,EAAE,EAAE,SAAS,GAAG,EAAE,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAC/E,kBAAkB,CAAC,SAAS,CAC1B,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,QAAQ,EACvF,yBAAyB,EAAE,EAAE,CAC9B,CAAC;QACF,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,SAAS,EAAE,CAAC;IAC/C,CAAC;IAED,IAAI,CACF,EAAU,EACV,KAA0B,EAC1B,GAAW,EACX,OAAoB,EACpB,OAAwC;QAExC,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACtC,IAAI,QAAQ,IAAI,IAAI;YAAE,OAAO,QAAQ,CAAC;QACtC,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;QAChF,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;QACxB,MAAM,KAAK,GAAG,IAAI,UAAU,CAAC,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC;QACpE,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;QAC5B,OAAO,KAAK,CAAC;IACf,CAAC;IAED,GAAG,CAAC,EAAU;QACZ,OAAO,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAC9B,CAAC;IAED,GAAG,CAAC,EAAU;QACZ,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACnC,kBAAkB,CAAC,SAAS,CAAC,KAAK,IAAI,IAAI,EAAE,uBAAuB,EAAE,EAAE,CAAC,CAAC;QACzE,OAAO,KAAK,CAAC;IACf,CAAC;IAED,2DAA2D;IAC3D,OAAO,CAAC,EAAU;QAChB,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC3B,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QACxB,OAAO,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC;IAC7E,CAAC;IAED,iFAAiF;IACjF,QAAQ,CAAC,EAAU,EAAE,QAAgB;QACnC,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC3B,kBAAkB,CAAC,SAAS,CAC1B,CAAC,CAAC,KAAK,CAAC,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,KAAK,KAAK,QAAQ,CAAC,EACxD,+DAA+D,CAChE,CAAC;QACF,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;QAC3B,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IACrB,CAAC;IAED,uEAAuE;IACvE,MAAM,CAAC,KAAiB;QACtB,KAAK,CAAC,QAAQ,GAAG,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC;QAClC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC;IACpD,CAAC;IAED,6DAA6D;IAC7D,aAAa,CAAC,OAAe;QAC3B,OAAO,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE;YAC1C,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;YAC7B,OAAO,KAAK,CAAC,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,OAAO,KAAK,OAAO,CAAC;QAChE,CAAC,CAAC,CAAC;IACL,CAAC;IAED;;;OAGG;IACH,KAAK,CAAC,EAAU,EAAE,GAAmB;QACnC,kBAAkB,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,KAAK,KAAK,SAAS,EAAE,wCAAwC,CAAC,CAAC;QAC3G,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAChC,IAAI,IAAI,IAAI,IAAI;YAAE,OAAO;QACzB,IAAI,CAAC,MAAM,CAAC,CAAC,EAAE,IAAI,CAAC,MAAM,EAAE,GAAG,GAAG,CAAC,CAAC;QACpC,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACnC,IAAI,KAAK,IAAI,IAAI;YAAE,KAAK,CAAC,QAAQ,GAAG,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC;IACvD,CAAC;CACF;AAED,SAAS,UAAU,CAAC,KAAiB,EAAE,OAAwC;IAC7E,MAAM,QAAQ,GAAG,aAAa,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,GAAG,EAAE,IAAI,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;IAClE,QAAQ,CAAC,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC;IACjC,KAAK,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,OAAO;QAAE,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IACzE,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,KAAK,UAAU,eAAe,CAAC,KAAiB,EAAE,KAAa;IAC7D,MAAM,GAAG,GAAG,OAAO,CAAC;QAClB,IAAI,EAAE,MAAM;QACZ,OAAO,EAAE,KAAK,CAAC,EAAE;QACjB,UAAU,EAAE,EAAE;QACd,IAAI,EAAE,KAAK,CAAC,EAAE;QACd,IAAI,EAAE,GAAG;QACT,IAAI,EAAE,GAAG,EAAE;YACT,kBAAkB,CAAC,SAAS,CAAC,KAAK,EAAE,gBAAgB,CAAC,CAAC;QACxD,CAAC;QACD,MAAM,EAAE,IAAI,IAAI,CAAC,EAAE,CAAC;QACpB,QAAQ,EAAE,UAAU,CAAC,KAAK,EAAE,IAAI,GAAG,EAAE,CAAC;KACvC,CAAC,CAAC;IACH,IAAI,KAAK,GAAG,MAAM,WAAW,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC;IAC9D,KAAK,MAAM,MAAM,IAAI,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,CAAC;QAC/C,KAAK,GAAG,MAAM,WAAW,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,KAAK,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,CAAC;IACxE,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,KAAK,UAAU,WAAW,CAAC,KAAiB,EAAE,MAAW;IACvD,IAAI,KAAK,CAAC,OAAO,CAAC,QAAQ,IAAI,IAAI;QAAE,OAAO,KAAK,CAAC;IACjD,MAAM,GAAG,GAAG,OAAO,CAAC;QAClB,IAAI,EAAE,MAAM;QACZ,OAAO,EAAE,KAAK,CAAC,EAAE;QACjB,UAAU,EAAE,EAAE;QACd,IAAI,EAAE,KAAK,CAAC,EAAE;QACd,IAAI,EAAE,GAAG;QACT,IAAI,EAAE,GAAG,EAAE;YACT,kBAAkB,CAAC,SAAS,CAAC,KAAK,EAAE,gBAAgB,CAAC,CAAC;QACxD,CAAC;QACD,MAAM,EAAE,IAAI,IAAI,CAAC,EAAE,CAAC;QACpB,QAAQ,EAAE,UAAU,CAAC,KAAK,EAAE,IAAI,GAAG,EAAE,CAAC;KACvC,CAAC,CAAC;IACH,OAAO,CAAC,MAAM,WAAW,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,CAAC,KAAK,IAAI,CAAC;AAC7E,CAAC;AAED,MAAM,UAAU,WAAW,CAAC,SAAyB,EAAE,KAAiB,EAAE,MAAW;IACnF,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACvB,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAC1B,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,UAAU,CAAC,IAYhC;IACC,MAAM,OAAO,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACjD,kBAAkB,CAAC,SAAS,CAAC,OAAO,IAAI,IAAI,EAAE,oBAAoB,IAAI,CAAC,QAAQ,EAAE,CAAC,CAAC;IACnF,kBAAkB,CAAC,SAAS,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,oBAAoB,CAAC,CAAC;IACrF,MAAM,KAAK,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;IAClD,kBAAkB,CAAC,SAAS,CAAC,OAAO,CAAC,GAAG,KAAK,KAAK,CAAC,GAAG,EAAE,mBAAmB,CAAC,CAAC;IAC7E,MAAM,IAAI,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC5C,kBAAkB,CAAC,SAAS,CAAC,IAAI,IAAI,IAAI,EAAE,kBAAkB,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;IAC5E,MAAM,KAAK,GAAG,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClC,MAAM,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IAC3C,kBAAkB,CAAC,SAAS,CAAC,UAAU,IAAI,IAAI,EAAE,UAAU,UAAU,EAAE,CAAC,CAAC;IACzE,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;IAC9C,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACjD,IAAI,KAAK,IAAI,IAAI,EAAE,CAAC;QAClB,kBAAkB,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,KAAK,SAAS,EAAE,eAAe,CAAC,CAAC;QACzE,OAAO,KAAK,CAAC,MAAM,CAAC;IACtB,CAAC;IACD,MAAM,QAAQ,GAAG,IAAI,CAAC,gBAAgB,IAAI,KAAK,CAAC,QAAQ,CAAC;IACzD,MAAM,OAAO,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,IAAI,WAAW,CAAC,QAAQ,EAAE,EAAE,OAAO,IAAI,EAAE,CAAC,CAAC,CAAC;IAC7E,MAAM,YAAY,GAAG,UAAU,KAAK,CAAC,EAAE,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;IACvD,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,MAAM,CAAC;IACtE,kBAAkB,CAAC,SAAS,CAAC,MAAM,IAAI,IAAI,CAAC,cAAc,EAAE,2BAA2B,YAAY,EAAE,CAAC,CAAC;IACvG,OAAO,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;IAC3B,MAAM,GAAG,GAAG,OAAO,CAAC;QAClB,IAAI,EAAE,KAAK;QACX,OAAO,EAAE,KAAK,CAAC,EAAE;QACjB,UAAU,EAAE,IAAI,CAAC,OAAO,CAAC,MAAM;QAC/B,IAAI,EAAE,KAAK,CAAC,EAAE;QACd,IAAI,EAAE,GAAG;QACT,IAAI,EAAE,GAAG,EAAE;YACT,kBAAkB,CAAC,SAAS,CAAC,KAAK,EAAE,gBAAgB,CAAC,CAAC;QACxD,CAAC;QACD,MAAM,EAAE,IAAI,IAAI,CAAC,EAAE,CAAC;QACpB,QAAQ,EAAE,UAAU,CAAC,KAAK,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;KAC1D,CAAC,CAAC;IACH,GAAG,CAAC,OAAO,GAAG,OAAO,CAAC;IACtB,GAAG,CAAC,aAAa,GAAG,IAAI,CAAC,aAAa,KAAK,IAAI,CAAC;IAChD,GAAG,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC;IAC/B,GAAG,CAAC,SAAS,GAAG,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;IACrD,GAAG,CAAC,QAAQ,GAAG,CAAC,QAAQ,EAAE,IAAI,EAAE,EAAE,EAAE,EAAE,CACpC,UAAU,CAAC;QACT,GAAG,IAAI;QACP,QAAQ;QACR,MAAM,EAAE,IAAI;QACZ,IAAI,EAAE,MAAM,CAAC,WAAW,CAAC,EAAE,CAAC;QAC5B,MAAM,EAAE,GAAG,IAAI,CAAC,MAAM,IAAI,QAAQ,IAAI,IAAI,EAAE;QAC5C,OAAO;QACP,gBAAgB,EAAE,SAAS;KAC5B,CAAC,CAAC;IACL,MAAM,KAAK,GAAG,MAAM,eAAe,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IACrD,IAAI,MAAW,CAAC;IAChB,IAAI,CAAC;QACH,MAAM,GAAG,MAAM,WAAW,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,GAAG,CAAC,CAAC;IAChE,CAAC;YAAS,CAAC;QACT,OAAO,CAAC,GAAG,EAAE,CAAC;IAChB,CAAC;IACD,IAAI,MAAM,YAAY,OAAO;QAAE,OAAO,MAAM,CAAC;IAC7C,MAAM,WAAW,GAAG,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IAC9C,kBAAkB,CAAC,SAAS,CAAC,WAAW,IAAI,IAAI,EAAE,UAAU,WAAW,EAAE,CAAC,CAAC;IAC3E,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC1B,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,EAAE;YACjC,EAAE,EAAE,IAAI,CAAC,MAAM;YACf,KAAK,EAAE,SAAS;YAChB,MAAM;YACN,aAAa,EAAE,QAAQ;SACxB,CAAC,CAAC;QACH,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,kBAAkB,CAAC,SAAS,CAAC,KAAK,CAAC,QAAQ,KAAK,QAAQ,EAAE,cAAc,CAAC,CAAC;IAC1E,IAAI,IAAI,CAAC,aAAa,KAAK,IAAI,EAAE,CAAC;QAChC,KAAK,MAAM,MAAM,IAAI,GAAG,CAAC,SAAS,IAAI,EAAE,EAAE,CAAC;YACzC,kBAAkB,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,WAAW,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,EAAE,kBAAkB,CAAC,CAAC;QACxF,CAAC;IACH,CAAC;IACD,KAAK,MAAM,MAAM,IAAI,GAAG,CAAC,SAAS,IAAI,EAAE;QAAE,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACjE,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IAC7B,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,EAAE;QACjC,EAAE,EAAE,IAAI,CAAC,MAAM;QACf,KAAK,EAAE,SAAS;QAChB,MAAM;QACN,aAAa,EAAE,KAAK,CAAC,QAAQ;KAC9B,CAAC,CAAC;IACH,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,KAAiB;IAC5C,OAAO,eAAe,CAAC,KAAK,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC;AAChD,CAAC;AAED,MAAM,UAAU,SAAS,CAAC,IAAS,EAAE,KAAU;IAC7C,OAAO,SAAS,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;AAChC,CAAC"}

package/dist/extensions/surface-error.d.ts

@@ -0,0 +1,5 @@
+import { ErrorWithInvariant } from "@inhuman.tools/error-with-invariant";
+/** A plugin program broke the surface contract. Callers match `message`. */
+export declare class PluginSurfaceError extends ErrorWithInvariant {
+}
+//# sourceMappingURL=surface-error.d.ts.map

package/dist/extensions/surface-error.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"surface-error.d.ts","sourceRoot":"","sources":["../../src/extensions/surface-error.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,kBAAkB,EAAE,MAAM,qCAAqC,CAAC;AAEzE,4EAA4E;AAC5E,qBAAa,kBAAmB,SAAQ,kBAAkB;CAAG"}

package/dist/extensions/surface-error.js

@@ -0,0 +1,5 @@
+import { ErrorWithInvariant } from "@inhuman.tools/error-with-invariant";
+/** A plugin program broke the surface contract. Callers match `message`. */
+export class PluginSurfaceError extends ErrorWithInvariant {
+}
+//# sourceMappingURL=surface-error.js.map

package/dist/extensions/surface-error.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"surface-error.js","sourceRoot":"","sources":["../../src/extensions/surface-error.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,kBAAkB,EAAE,MAAM,qCAAqC,CAAC;AAEzE,4EAA4E;AAC5E,MAAM,OAAO,kBAAmB,SAAQ,kBAAkB;CAAG"}

package/dist/extensions/value.d.ts

@@ -0,0 +1,176 @@
+export declare class Sym {
+    readonly name: string;
+    constructor(name: string);
+}
+export declare class Dict {
+    readonly entries: Readonly<Record<string, Val>>;
+    constructor(entries: Readonly<Record<string, Val>>);
+}
+/** Arrival lambda crossed with `toJS`. Callbacks passed in are reverse-Rosetta. */
+export declare class Lambda {
+    readonly call: (...args: unknown[]) => Promise<unknown>;
+    readonly source: string;
+    constructor(call: (...args: unknown[]) => Promise<unknown>, source: string);
+}
+export declare class Proc {
+    readonly name: string;
+    readonly call: (args: readonly Val[], kw: ReadonlyMap<string, Val>, frame: Frame) => Val;
+    /** Host function the scheme body calls. Reverse Rosetta round-trips it. */
+    readonly hostFn?: ((...args: unknown[]) => unknown) | undefined;
+    constructor(name: string, call: (args: readonly Val[], kw: ReadonlyMap<string, Val>, frame: Frame) => Val, 
+    /** Host function the scheme body calls. Reverse Rosetta round-trips it. */
+    hostFn?: ((...args: unknown[]) => unknown) | undefined);
+}
+export declare class SchemaV {
+    /** JSON Schema the model sees for this shape. */
+    readonly json: Readonly<Record<string, unknown>>;
+    readonly check: (value: Val) => string | null;
+    /** An object field under this schema may be absent. */
+    readonly optional: boolean;
+    constructor(
+    /** JSON Schema the model sees for this shape. */
+    json: Readonly<Record<string, unknown>>, check: (value: Val) => string | null, 
+    /** An object field under this schema may be absent. */
+    optional?: boolean);
+}
+export declare class Refusal {
+    readonly message: string;
+    constructor(message: string);
+}
+export declare class Marked {
+    readonly value: Val;
+    readonly marks: readonly string[];
+    constructor(value: Val, marks: readonly string[]);
+}
+export declare class RetrySignal extends Error {
+    constructor();
+}
+export type Val = boolean | number | string | Sym | Dict | Lambda | Proc | SchemaV | Refusal | Marked | readonly Val[];
+/** One admitted read or outbound send. `value` is what replay hands back. */
+export type DeliveryRecord = {
+    readonly id: string;
+    readonly name: string;
+    readonly payload: string;
+    readonly value: Val;
+};
+export type NotifyBoundary = "" | "turn-start" | "turn-end" | "round-start" | "round-end";
+export type Frame = {
+    bindings: Map<string, Val>;
+    parent: Frame | null;
+    ctx: Ctx;
+};
+export type Mode = "register" | "run" | "pure";
+export type Ctx = {
+    mode: Mode;
+    agentId: string;
+    sourceText: string;
+    file: string;
+    root: string;
+    read: (path: string) => string;
+    config: Dict;
+    proposals: Val[] | null;
+    hostAuthority: boolean;
+    lineage: string[];
+    notify: ((mode: "ambient" | "activating" | "origin", message: string, boundary: NotifyBoundary) => void) | null;
+    onMethod: ((receiver: string, method: string, kw: ReadonlyMap<string, Val>) => Val | Promise<Val>) | null;
+    admit: ((id: string) => Val) | null;
+    replay: boolean;
+    /** Replay answers admits from these records by id. */
+    recorded: ReadonlyMap<string, DeliveryRecord>;
+    /** Prefix for delivery ids, so equal payloads in two invocations stay distinct. */
+    invocationId: string;
+    deliveries: DeliveryRecord[];
+    originAtoms: string[];
+    environment: ReadonlyMap<string, Proc>;
+    cancelled: boolean;
+    boundary: NotifyBoundary;
+    /**
+     * True only inside a guard that has not called `invoke` yet. Hooks and
+     * guards past `invoke` cannot ask for a retry.
+     */
+    retryable: boolean;
+    registry: Registry;
+};
+export type GuardPoint = "read" | "write" | "shell" | "edit" | "mcp" | "agent" | "turn" | "round";
+export type ToolDecl = {
+    readonly name: string;
+    readonly expose: "procedure" | "tool" | "both";
+    readonly description: string;
+    readonly toolClass: string;
+    /** Mustache lines the TUI paints. Null when `define/tool` omits the face. */
+    readonly question: string | null;
+    readonly effect: string | null;
+    readonly caption: string | null;
+    readonly triggersReactLoop: boolean;
+    /** Skips the license floor. Default false. */
+    readonly isSideChannel: boolean;
+    /** Model face. Omitted `define/tool` rows are symbols. */
+    readonly representation: "tool" | "symbol" | "both";
+    readonly input: SchemaV | null;
+    readonly handler: Lambda;
+    readonly reentrantDepth: number;
+    readonly declarationId: string;
+};
+export type GuardDecl = {
+    readonly point: GuardPoint;
+    readonly matchers: readonly string[];
+    readonly guardCapability: "narrow" | "replace";
+    readonly contract: "" | "redaction" | "summarize";
+    readonly handler: Lambda;
+    readonly reentrantDepth: number;
+    /** Consent hash. Empty when the program registered no guard. */
+    readonly hash: string;
+    readonly program: string;
+    readonly declarationId: string;
+    readonly source: string;
+};
+export type HookDecl = {
+    readonly point: GuardPoint;
+    readonly matchers: readonly string[];
+    readonly pre: Lambda | null;
+    readonly post: Lambda | null;
+    readonly postFail: Lambda | null;
+    readonly reentrantDepth: number;
+    readonly declarationId: string;
+};
+export type ReducerDecl = {
+    readonly initial: Lambda;
+    readonly reduce: Lambda;
+    readonly hostOnly: Lambda | null;
+};
+export type MethodDecl = {
+    readonly name: string;
+    readonly kind: "query" | "mutation";
+    readonly input: SchemaV;
+    readonly output: SchemaV;
+    readonly handler: Lambda;
+    readonly reentrantDepth: number;
+};
+export type SubscriberDecl = {
+    readonly name: string;
+    readonly webhook: string;
+};
+export type Registry = {
+    readonly agentId: string;
+    readonly revision: string;
+    readonly tools: Map<string, ToolDecl>;
+    readonly guards: GuardDecl[];
+    readonly hooks: HookDecl[];
+    reducer: ReducerDecl | null;
+    readonly methods: Map<string, MethodDecl>;
+    readonly subscribers: SubscriberDecl[];
+    /** Every module the program read, entry first: path to source text. */
+    readonly loaded: Map<string, string>;
+    readonly config: Dict;
+    readonly environment: Map<string, Proc>;
+};
+export declare function emptyRegistry(agentId: string, revision: string, config: Dict): Registry;
+export declare function toJS(value: Val): unknown;
+export declare function deepEqual(left: Val, right: Val): boolean;
+export declare function dictGet(value: Val, key: string): Val;
+export declare function asString(value: Val, what: string): string;
+export declare function unwrap(value: Val): {
+    readonly value: Val;
+    readonly marks: readonly string[];
+};
+//# sourceMappingURL=value.d.ts.map

package/dist/extensions/value.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"value.d.ts","sourceRoot":"","sources":["../../src/extensions/value.ts"],"names":[],"mappings":"AAGA,qBAAa,GAAG;IACF,QAAQ,CAAC,IAAI,EAAE,MAAM;gBAAZ,IAAI,EAAE,MAAM;CAClC;AAED,qBAAa,IAAI;IACH,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;gBAAtC,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;CAC5D;AAED,mFAAmF;AACnF,qBAAa,MAAM;IAEf,QAAQ,CAAC,IAAI,EAAE,CAAC,GAAG,IAAI,EAAE,OAAO,EAAE,KAAK,OAAO,CAAC,OAAO,CAAC;IACvD,QAAQ,CAAC,MAAM,EAAE,MAAM;gBADd,IAAI,EAAE,CAAC,GAAG,IAAI,EAAE,OAAO,EAAE,KAAK,OAAO,CAAC,OAAO,CAAC,EAC9C,MAAM,EAAE,MAAM;CAE1B;AAED,qBAAa,IAAI;IAEb,QAAQ,CAAC,IAAI,EAAE,MAAM;IACrB,QAAQ,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,SAAS,GAAG,EAAE,EAAE,EAAE,EAAE,WAAW,CAAC,MAAM,EAAE,GAAG,CAAC,EAAE,KAAK,EAAE,KAAK,KAAK,GAAG;IACxF,2EAA2E;IAC3E,QAAQ,CAAC,MAAM,CAAC,GAAE,CAAC,GAAG,IAAI,EAAE,OAAO,EAAE,KAAK,OAAO;gBAHxC,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,CAAC,IAAI,EAAE,SAAS,GAAG,EAAE,EAAE,EAAE,EAAE,WAAW,CAAC,MAAM,EAAE,GAAG,CAAC,EAAE,KAAK,EAAE,KAAK,KAAK,GAAG;IACxF,2EAA2E;IAClE,MAAM,CAAC,GAAE,CAAC,GAAG,IAAI,EAAE,OAAO,EAAE,KAAK,OAAO,aAAA;CAEpD;AAED,qBAAa,OAAO;IAEhB,iDAAiD;IACjD,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAChD,QAAQ,CAAC,KAAK,EAAE,CAAC,KAAK,EAAE,GAAG,KAAK,MAAM,GAAG,IAAI;IAC7C,uDAAuD;IACvD,QAAQ,CAAC,QAAQ;;IAJjB,iDAAiD;IACxC,IAAI,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EACvC,KAAK,EAAE,CAAC,KAAK,EAAE,GAAG,KAAK,MAAM,GAAG,IAAI;IAC7C,uDAAuD;IAC9C,QAAQ,UAAQ;CAE5B;AAED,qBAAa,OAAO;IACN,QAAQ,CAAC,OAAO,EAAE,MAAM;gBAAf,OAAO,EAAE,MAAM;CACrC;AAED,qBAAa,MAAM;IAEf,QAAQ,CAAC,KAAK,EAAE,GAAG;IACnB,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE;gBADxB,KAAK,EAAE,GAAG,EACV,KAAK,EAAE,SAAS,MAAM,EAAE;CAEpC;AAED,qBAAa,WAAY,SAAQ,KAAK;;CAKrC;AAED,MAAM,MAAM,GAAG,GAAG,OAAO,GAAG,MAAM,GAAG,MAAM,GAAG,GAAG,GAAG,IAAI,GAAG,MAAM,GAAG,IAAI,GAAG,OAAO,GAAG,OAAO,GAAG,MAAM,GAAG,SAAS,GAAG,EAAE,CAAC;AAEvH,6EAA6E;AAC7E,MAAM,MAAM,cAAc,GAAG;IAC3B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,KAAK,EAAE,GAAG,CAAC;CACrB,CAAC;AAEF,MAAM,MAAM,cAAc,GAAG,EAAE,GAAG,YAAY,GAAG,UAAU,GAAG,aAAa,GAAG,WAAW,CAAC;AAE1F,MAAM,MAAM,KAAK,GAAG;IAClB,QAAQ,EAAE,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;IAC3B,MAAM,EAAE,KAAK,GAAG,IAAI,CAAC;IACrB,GAAG,EAAE,GAAG,CAAC;CACV,CAAC;AAEF,MAAM,MAAM,IAAI,GAAG,UAAU,GAAG,KAAK,GAAG,MAAM,CAAC;AAE/C,MAAM,MAAM,GAAG,GAAG;IAChB,IAAI,EAAE,IAAI,CAAC;IACX,OAAO,EAAE,MAAM,CAAC;IAChB,UAAU,EAAE,MAAM,CAAC;IACnB,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,MAAM,CAAC;IAC/B,MAAM,EAAE,IAAI,CAAC;IACb,SAAS,EAAE,GAAG,EAAE,GAAG,IAAI,CAAC;IACxB,aAAa,EAAE,OAAO,CAAC;IACvB,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,MAAM,EAAE,CAAC,CAAC,IAAI,EAAE,SAAS,GAAG,YAAY,GAAG,QAAQ,EAAE,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,cAAc,KAAK,IAAI,CAAC,GAAG,IAAI,CAAC;IAChH,QAAQ,EAAE,CAAC,CAAC,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE,WAAW,CAAC,MAAM,EAAE,GAAG,CAAC,KAAK,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC;IAC1G,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,MAAM,KAAK,GAAG,CAAC,GAAG,IAAI,CAAC;IACpC,MAAM,EAAE,OAAO,CAAC;IAChB,sDAAsD;IACtD,QAAQ,EAAE,WAAW,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;IAC9C,mFAAmF;IACnF,YAAY,EAAE,MAAM,CAAC;IACrB,UAAU,EAAE,cAAc,EAAE,CAAC;IAC7B,WAAW,EAAE,MAAM,EAAE,CAAC;IACtB,WAAW,EAAE,WAAW,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;IACvC,SAAS,EAAE,OAAO,CAAC;IACnB,QAAQ,EAAE,cAAc,CAAC;IACzB;;;OAGG;IACH,SAAS,EAAE,OAAO,CAAC;IACnB,QAAQ,EAAE,QAAQ,CAAC;CACpB,CAAC;AAEF,MAAM,MAAM,UAAU,GAAG,MAAM,GAAG,OAAO,GAAG,OAAO,GAAG,MAAM,GAAG,KAAK,GAAG,OAAO,GAAG,MAAM,GAAG,OAAO,CAAC;AAElG,MAAM,MAAM,QAAQ,GAAG;IACrB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,WAAW,GAAG,MAAM,GAAG,MAAM,CAAC;IAC/C,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,6EAA6E;IAC7E,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;IACjC,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IAC/B,QAAQ,CAAC,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IAChC,QAAQ,CAAC,iBAAiB,EAAE,OAAO,CAAC;IACpC,8CAA8C;IAC9C,QAAQ,CAAC,aAAa,EAAE,OAAO,CAAC;IAChC,0DAA0D;IAC1D,QAAQ,CAAC,cAAc,EAAE,MAAM,GAAG,QAAQ,GAAG,MAAM,CAAC;IACpD,QAAQ,CAAC,KAAK,EAAE,OAAO,GAAG,IAAI,CAAC;IAC/B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;CAChC,CAAC;AAEF,MAAM,MAAM,SAAS,GAAG;IACtB,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC;IAC3B,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;IACrC,QAAQ,CAAC,eAAe,EAAE,QAAQ,GAAG,SAAS,CAAC;IAC/C,QAAQ,CAAC,QAAQ,EAAE,EAAE,GAAG,WAAW,GAAG,WAAW,CAAC;IAClD,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,gEAAgE;IAChE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB,CAAC;AAEF,MAAM,MAAM,QAAQ,GAAG;IACrB,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC;IAC3B,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;IACrC,QAAQ,CAAC,GAAG,EAAE,MAAM,GAAG,IAAI,CAAC;IAC5B,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7B,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;IACjC,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;CAChC,CAAC;AAEF,MAAM,MAAM,WAAW,GAAG;IACxB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;CAClC,CAAC;AAEF,MAAM,MAAM,UAAU,GAAG;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,OAAO,GAAG,UAAU,CAAC;IACpC,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;IACxB,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IACzB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;CACjC,CAAC;AAEF,MAAM,MAAM,cAAc,GAAG;IAC3B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B,CAAC;AAEF,MAAM,MAAM,QAAQ,GAAG;IACrB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,KAAK,EAAE,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IACtC,QAAQ,CAAC,MAAM,EAAE,SAAS,EAAE,CAAC;IAC7B,QAAQ,CAAC,KAAK,EAAE,QAAQ,EAAE,CAAC;IAC3B,OAAO,EAAE,WAAW,GAAG,IAAI,CAAC;IAC5B,QAAQ,CAAC,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;IAC1C,QAAQ,CAAC,WAAW,EAAE,cAAc,EAAE,CAAC;IACvC,uEAAuE;IACvE,QAAQ,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACrC,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC;IACtB,QAAQ,CAAC,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;CACzC,CAAC;AAEF,wBAAgB,aAAa,CAAC,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,GAAG,QAAQ,CAcvF;AAED,wBAAgB,IAAI,CAAC,KAAK,EAAE,GAAG,GAAG,OAAO,CAaxC;AAED,wBAAgB,SAAS,CAAC,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,GAAG,OAAO,CAExD;AAED,wBAAgB,OAAO,CAAC,KAAK,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,GAAG,GAAG,CAGpD;AAED,wBAAgB,QAAQ,CAAC,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM,CAGzD;AAED,wBAAgB,MAAM,CAAC,KAAK,EAAE,GAAG,GAAG;IAClC,QAAQ,CAAC,KAAK,EAAE,GAAG,CAAC;IACpB,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;CACnC,CAGA"}

package/dist/extensions/value.js

@@ -0,0 +1,120 @@
+/** Runtime values for the behavior register and callback ambients. */
+import { PluginSurfaceError } from "./surface-error.js";
+export class Sym {
+    name;
+    constructor(name) {
+        this.name = name;
+    }
+}
+export class Dict {
+    entries;
+    constructor(entries) {
+        this.entries = entries;
+    }
+}
+/** Arrival lambda crossed with `toJS`. Callbacks passed in are reverse-Rosetta. */
+export class Lambda {
+    call;
+    source;
+    constructor(call, source) {
+        this.call = call;
+        this.source = source;
+    }
+}
+export class Proc {
+    name;
+    call;
+    hostFn;
+    constructor(name, call, 
+    /** Host function the scheme body calls. Reverse Rosetta round-trips it. */
+    hostFn) {
+        this.name = name;
+        this.call = call;
+        this.hostFn = hostFn;
+    }
+}
+export class SchemaV {
+    json;
+    check;
+    optional;
+    constructor(
+    /** JSON Schema the model sees for this shape. */
+    json, check, 
+    /** An object field under this schema may be absent. */
+    optional = false) {
+        this.json = json;
+        this.check = check;
+        this.optional = optional;
+    }
+}
+export class Refusal {
+    message;
+    constructor(message) {
+        this.message = message;
+    }
+}
+export class Marked {
+    value;
+    marks;
+    constructor(value, marks) {
+        this.value = value;
+        this.marks = marks;
+    }
+}
+export class RetrySignal extends Error {
+    constructor() {
+        super("guard retry");
+        this.name = "RetrySignal";
+    }
+}
+export function emptyRegistry(agentId, revision, config) {
+    return {
+        agentId,
+        revision,
+        tools: new Map(),
+        guards: [],
+        hooks: [],
+        reducer: null,
+        methods: new Map(),
+        subscribers: [],
+        loaded: new Map(),
+        config,
+        environment: new Map(),
+    };
+}
+export function toJS(value) {
+    if (value instanceof Sym)
+        return { symbol: value.name };
+    if (value instanceof Dict) {
+        const out = {};
+        for (const [key, entry] of Object.entries(value.entries))
+            out[key] = toJS(entry);
+        return out;
+    }
+    if (value instanceof Refusal)
+        return { refusal: value.message };
+    if (value instanceof Marked)
+        return { value: toJS(value.value), marks: [...value.marks] };
+    if (value instanceof Lambda || value instanceof Proc || value instanceof SchemaV)
+        return { form: value.constructor.name };
+    if (Array.isArray(value))
+        return value.map((entry) => toJS(entry));
+    return value;
+}
+export function deepEqual(left, right) {
+    return JSON.stringify(toJS(left)) === JSON.stringify(toJS(right));
+}
+export function dictGet(value, key) {
+    PluginSurfaceError.invariant(value instanceof Dict, `expected dict for :${key}`);
+    return value.entries[key] ?? false;
+}
+export function asString(value, what) {
+    PluginSurfaceError.invariant(typeof value === "string", `${what} must be a string`);
+    return value;
+}
+export function unwrap(value) {
+    if (value instanceof Marked)
+        return { value: value.value, marks: value.marks };
+    return { value, marks: [] };
+}
+//# sourceMappingURL=value.js.map

package/dist/extensions/value.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"value.js","sourceRoot":"","sources":["../../src/extensions/value.ts"],"names":[],"mappings":"AAAA,sEAAsE;AACtE,OAAO,EAAE,kBAAkB,EAAE,MAAM,oBAAoB,CAAC;AAExD,MAAM,OAAO,GAAG;IACO;IAArB,YAAqB,IAAY;QAAZ,SAAI,GAAJ,IAAI,CAAQ;IAAG,CAAC;CACtC;AAED,MAAM,OAAO,IAAI;IACM;IAArB,YAAqB,OAAsC;QAAtC,YAAO,GAAP,OAAO,CAA+B;IAAG,CAAC;CAChE;AAED,mFAAmF;AACnF,MAAM,OAAO,MAAM;IAEN;IACA;IAFX,YACW,IAA8C,EAC9C,MAAc;QADd,SAAI,GAAJ,IAAI,CAA0C;QAC9C,WAAM,GAAN,MAAM,CAAQ;IACtB,CAAC;CACL;AAED,MAAM,OAAO,IAAI;IAEJ;IACA;IAEA;IAJX,YACW,IAAY,EACZ,IAA+E;IACxF,2EAA2E;IAClE,MAAwC;QAHxC,SAAI,GAAJ,IAAI,CAAQ;QACZ,SAAI,GAAJ,IAAI,CAA2E;QAE/E,WAAM,GAAN,MAAM,CAAkC;IAChD,CAAC;CACL;AAED,MAAM,OAAO,OAAO;IAGP;IACA;IAEA;IALX;IACE,iDAAiD;IACxC,IAAuC,EACvC,KAAoC;IAC7C,uDAAuD;IAC9C,WAAW,KAAK;QAHhB,SAAI,GAAJ,IAAI,CAAmC;QACvC,UAAK,GAAL,KAAK,CAA+B;QAEpC,aAAQ,GAAR,QAAQ,CAAQ;IACxB,CAAC;CACL;AAED,MAAM,OAAO,OAAO;IACG;IAArB,YAAqB,OAAe;QAAf,YAAO,GAAP,OAAO,CAAQ;IAAG,CAAC;CACzC;AAED,MAAM,OAAO,MAAM;IAEN;IACA;IAFX,YACW,KAAU,EACV,KAAwB;QADxB,UAAK,GAAL,KAAK,CAAK;QACV,UAAK,GAAL,KAAK,CAAmB;IAChC,CAAC;CACL;AAED,MAAM,OAAO,WAAY,SAAQ,KAAK;IACpC;QACE,KAAK,CAAC,aAAa,CAAC,CAAC;QACrB,IAAI,CAAC,IAAI,GAAG,aAAa,CAAC;IAC5B,CAAC;CACF;AAuID,MAAM,UAAU,aAAa,CAAC,OAAe,EAAE,QAAgB,EAAE,MAAY;IAC3E,OAAO;QACL,OAAO;QACP,QAAQ;QACR,KAAK,EAAE,IAAI,GAAG,EAAE;QAChB,MAAM,EAAE,EAAE;QACV,KAAK,EAAE,EAAE;QACT,OAAO,EAAE,IAAI;QACb,OAAO,EAAE,IAAI,GAAG,EAAE;QAClB,WAAW,EAAE,EAAE;QACf,MAAM,EAAE,IAAI,GAAG,EAAE;QACjB,MAAM;QACN,WAAW,EAAE,IAAI,GAAG,EAAE;KACvB,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,IAAI,CAAC,KAAU;IAC7B,IAAI,KAAK,YAAY,GAAG;QAAE,OAAO,EAAE,MAAM,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC;IACxD,IAAI,KAAK,YAAY,IAAI,EAAE,CAAC;QAC1B,MAAM,GAAG,GAA4B,EAAE,CAAC;QACxC,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC;YAAE,GAAG,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC;QACjF,OAAO,GAAG,CAAC;IACb,CAAC;IACD,IAAI,KAAK,YAAY,OAAO;QAAE,OAAO,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC;IAChE,IAAI,KAAK,YAAY,MAAM;QAAE,OAAO,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;IAC1F,IAAI,KAAK,YAAY,MAAM,IAAI,KAAK,YAAY,IAAI,IAAI,KAAK,YAAY,OAAO;QAC9E,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC;IAC1C,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;IACnE,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,UAAU,SAAS,CAAC,IAAS,EAAE,KAAU;IAC7C,OAAO,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;AACpE,CAAC;AAED,MAAM,UAAU,OAAO,CAAC,KAAU,EAAE,GAAW;IAC7C,kBAAkB,CAAC,SAAS,CAAC,KAAK,YAAY,IAAI,EAAE,sBAAsB,GAAG,EAAE,CAAC,CAAC;IACjF,OAAO,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC;AACrC,CAAC;AAED,MAAM,UAAU,QAAQ,CAAC,KAAU,EAAE,IAAY;IAC/C,kBAAkB,CAAC,SAAS,CAAC,OAAO,KAAK,KAAK,QAAQ,EAAE,GAAG,IAAI,mBAAmB,CAAC,CAAC;IACpF,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,UAAU,MAAM,CAAC,KAAU;IAI/B,IAAI,KAAK,YAAY,MAAM;QAAE,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,CAAC;IAC/E,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC;AAC9B,CAAC"}

package/dist/hypervisor/child-runtime.d.ts

@@ -0,0 +1,21 @@
+import { type ServerRole, type ShutdownCutoff, type SupervisionIdentity } from "../protocol/schemas/index.js";
+export type SupervisedChildFlags = {
+    role: ServerRole;
+    identity: SupervisionIdentity;
+    lockPath: string | undefined;
+    lockKind: "root" | "runtime" | undefined;
+    ignoreParentLoss: boolean;
+    ignoreShutdown: boolean;
+    unready: boolean;
+};
+export declare function parseSupervisedChildFlags(argv?: string[], env?: NodeJS.ProcessEnv): SupervisedChildFlags;
+/** Production children start their server, then publish role readiness. */
+export declare function runSupervisedProcess(options?: {
+    readonly start?: (ctx: {
+        readonly role: ServerRole;
+        readonly identity: SupervisionIdentity;
+    }) => Promise<(() => void | Promise<void | ShutdownCutoff["flush"]>) | void>;
+    readonly argv?: string[];
+    readonly env?: NodeJS.ProcessEnv;
+}): Promise<number>;
+//# sourceMappingURL=child-runtime.d.ts.map

package/dist/hypervisor/child-runtime.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"child-runtime.d.ts","sourceRoot":"","sources":["../../src/hypervisor/child-runtime.ts"],"names":[],"mappings":"AAEA,OAAO,EAKL,KAAK,UAAU,EACf,KAAK,cAAc,EACnB,KAAK,mBAAmB,EACzB,MAAM,oBAAoB,CAAC;AAK5B,MAAM,MAAM,oBAAoB,GAAG;IACjC,IAAI,EAAE,UAAU,CAAC;IACjB,QAAQ,EAAE,mBAAmB,CAAC;IAC9B,QAAQ,EAAE,MAAM,GAAG,SAAS,CAAC;IAC7B,QAAQ,EAAE,MAAM,GAAG,SAAS,GAAG,SAAS,CAAC;IACzC,gBAAgB,EAAE,OAAO,CAAC;IAC1B,cAAc,EAAE,OAAO,CAAC;IACxB,OAAO,EAAE,OAAO,CAAC;CAClB,CAAC;AAEF,wBAAgB,yBAAyB,CACvC,IAAI,WAAwB,EAC5B,GAAG,GAAE,MAAM,CAAC,UAAwB,GACnC,oBAAoB,CAiBtB;AAED,2EAA2E;AAC3E,wBAAsB,oBAAoB,CACxC,OAAO,GAAE;IACP,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC,GAAG,EAAE;QACrB,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;QAC1B,QAAQ,CAAC,QAAQ,EAAE,mBAAmB,CAAC;KACxC,KAAK,OAAO,CAAC,CAAC,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,GAAG,cAAc,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC;IAC7E,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC;IACzB,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC,UAAU,CAAC;CAC7B,GACL,OAAO,CAAC,MAAM,CAAC,CAyIjB"}