@inhuman.tools/harness 0.1.0 → 0.2.0

package/dist/daemon/session/TurnRunner.js

@@ -1,269 +0,0 @@
-/**
- * ReACT loop for a SessionTurn. Completions and tool calls are PEW;
- * this loop only mints them and waits. `scheme_repl` is orchestration
- * (like compact), not PEW — the loop runs the interpreter and waits on
- * the inner tool Work it admits. Previous-turn ordering is the
- * completion's dependency on `turn.tail` — we do not wait on the turn.
- *
- * Triggered by a SessionTurn appearing in the work walk, not by the
- * `turn` RPC. A new turn already queues TurnPromptChunk; `/compact`
- * queues TurnCompactChunk instead. Tools plus ReACTChunk continue the
- * loop. Finished phases move to `turn.doneWork`.
- *
- * Live iff the turn is in the session head's tail ancestry. Leaving that
- * set aborts the loop. The loop pulls `signal` at chunk boundaries
- * (before the next shift) and races in-flight `await chunk` against it.
- * Abort-win returns; leftover Approvables (remaining queue, unstarted
- * doneWork, scheme-repl invocations `walkWork` reaches) are `fail("cancel",
- * "terminate", "null")` — an awareness hop would drop on restart. In-flight
- * BODY that already has an Actor seals on its own. `closed` means the
- * reducer exited, written once in the loop's `finally`. `JobHub.resolved`
- * is both planes; do not assign it.
- *
- * MindTurnRunner: live iff the turn's job is not done and the session is
- * open — not head-ancestry. Membership in `session.mindTurns` picks this
- * subclass; the scheduler never double-kicks (one runner per turn).
- */
-import { ApprovableExpectation, walkWork } from "@inhuman.tools/plexus-expectations";
-import { normalizeMessage } from "@inhuman.tools/tool-call-normalize";
-import { DEFAULT_COMPACT_TRIGGERS } from "../../models/kernel/KernelRoot.js";
-import { CompletionExpectation, ReACTChunk, SchemeReplChunk, SessionTurn, ToolCallExpectation, TurnCompactChunk, TurnPromptChunk, TurnRecallChunk, } from "../../models/session/index.js";
-import { fail, step } from "../../step.js";
-import { KernelToolCatalog, sessionCatalog } from "../../drivers/toolkit/tool-table.js";
-import { interpretSchemeRepl } from "../../experimental/scheme-repl/interpret.js";
-import { Runner } from "../Runner.js";
-import { ToolCallHandler } from "../project/ToolCallHandler.js";
-import { compactDue, compactRejectReason, loadCompactProgram, parseCompactTrigger } from "./compact.js";
-import { applyCompact } from "./compact-env.js";
-import { MessageChunk, Transcript, walkTranscript } from "./transcript.js";
-export class TurnRunner extends Runner {
-    session;
-    toolCalls;
-    constructor(session, turn, toolCalls) {
-        super(turn);
-        this.session = session;
-        this.toolCalls =
-            toolCalls ??
-                new ToolCallHandler(null, {
-                    catalog: sessionCatalog(session) ?? new KernelToolCatalog(),
-                });
-    }
-    isLive() {
-        return this.session.liveTurns.has(this.entity);
-    }
-    abort() {
-        super.abort();
-        failLeftoverApprovables(this.entity);
-    }
-    async run() {
-        const session = this.session;
-        const turn = this.entity;
-        const signal = this.signal;
-        if (turn.closed)
-            return;
-        try {
-            const connectionId = (session.kvs.connection ?? "").trim();
-            const model = (session.kvs.model ?? "").trim();
-            const ratio = parseCompactTrigger(DEFAULT_COMPACT_TRIGGERS.hard);
-            while (true) {
-                if (signal.aborted)
-                    return;
-                const chunk = turn.queue.shift();
-                if (chunk === undefined)
-                    break;
-                turn.doneWork.push(chunk);
-                switch (true) {
-                    case chunk instanceof TurnCompactChunk: {
-                        const rejected = compactRejectReason(turn, chunk);
-                        if (rejected != null) {
-                            step(`compact ${rejected}`);
-                            continue;
-                        }
-                        try {
-                            const eat = Transcript.fromCells(historyBehind(turn));
-                            const result = await applyCompact(loadCompactProgram(), eat, eat, { tape: turn.tape });
-                            if (!result.ok) {
-                                fail("compact strategy", result.reason);
-                                continue;
-                            }
-                            chunk.representation = result.card.filter((cell) => !(cell instanceof MessageChunk));
-                            chunk.folded = true;
-                        }
-                        catch (error) {
-                            fail("compact strategy", error);
-                        }
-                        continue;
-                    }
-                    case chunk instanceof TurnPromptChunk:
-                    case chunk instanceof ReACTChunk: {
-                        if (connectionId === "")
-                            return;
-                        const tape = turn.tape;
-                        if (tape.length > 0) {
-                            turn.consumedBackgroundWork.push(...tape);
-                            for (const job of tape) {
-                                if (job.routing !== "inject")
-                                    continue;
-                                const recall = new TurnRecallChunk({ job });
-                                turn.pushChild(recall);
-                                turn.doneWork.push(recall);
-                            }
-                        }
-                        turn.enqueue(new CompletionExpectation({
-                            promptText: chunk instanceof TurnPromptChunk ? turn.prompt : "",
-                            connectionId,
-                            model,
-                            messages: historyBehind(turn),
-                        }));
-                        step(`turn round ${turn.doneWork.length + turn.queue.length} ${turn.prompt}`);
-                        break;
-                    }
-                    case chunk instanceof CompletionExpectation: {
-                        if ((await settleOrAbort(chunk, signal)) === "aborted")
-                            return;
-                        if (chunk.outcome !== "successful")
-                            return;
-                        let natives;
-                        try {
-                            const parsed = JSON.parse(chunk.responseCallsJson === "" ? "[]" : chunk.responseCallsJson);
-                            if (Array.isArray(parsed))
-                                natives = parsed;
-                        }
-                        catch {
-                            /* recover from responseText */
-                        }
-                        const tools = normalizeMessage({
-                            content: chunk.responseText,
-                            tool_calls: natives,
-                            reasoning_content: chunk.responseThought || null,
-                        }).tool_calls.map((call) => this.toolCalls.admit(call));
-                        if (tools.length === 0)
-                            break;
-                        for (const tool of tools)
-                            turn.enqueue(tool);
-                        if (compactDue(turn, ratio))
-                            turn.enqueue(new TurnCompactChunk());
-                        turn.enqueue(new ReACTChunk());
-                        break;
-                    }
-                    case chunk instanceof ToolCallExpectation: {
-                        if ((await settleOrAbort(chunk, signal)) === "aborted")
-                            return;
-                        break;
-                    }
-                    case chunk instanceof SchemeReplChunk: {
-                        const catalog = sessionCatalog(session) ?? new KernelToolCatalog();
-                        const root = session.path.trim() !== "" ? session.path : process.cwd();
-                        await interpretSchemeRepl(chunk, {
-                            catalog,
-                            root,
-                            signal,
-                            sessionId: session.sessionId,
-                            admit: (call) => this.toolCalls.admit(call),
-                        });
-                        if (signal.aborted)
-                            return;
-                        break;
-                    }
-                }
-            }
-        }
-        catch (error) {
-            fail("TurnRunner", error);
-        }
-        finally {
-            turn.closed = true;
-        }
-    }
-}
-export class MindTurnRunner extends TurnRunner {
-    sessionOpen;
-    constructor(session, turn, sessionOpen = () => true, toolCalls) {
-        super(session, turn, toolCalls);
-        this.sessionOpen = sessionOpen;
-    }
-    isLive() {
-        const job = this.entity.job;
-        return this.sessionOpen() && job != null && !job.isDone;
-    }
-}
-/**
- * Unstarted leftovers wedge after previous-Approvable wait. `fail` on
- * already-done is a no-op. In-flight BODY (`workerPresent`) seals on its own.
- */
-function failLeftoverApprovables(turn) {
-    for (const node of walkWork(turn)) {
-        if (!(node instanceof ApprovableExpectation) || node.isDone)
-            continue;
-        if (node.workerPresent)
-            continue;
-        node.fail("cancel", "terminate", "null");
-    }
-}
-/** Abort-win leaves `chunk` in `doneWork` to seal on its own. Do not unshift. */
-async function settleOrAbort(chunk, signal) {
-    if (signal.aborted)
-        return "aborted";
-    let onAbort;
-    const aborted = new Promise((resolve) => {
-        onAbort = () => resolve("aborted");
-        signal.addEventListener("abort", onAbort, { once: true });
-    });
-    try {
-        return await Promise.race([Promise.resolve(chunk).then(() => "settled"), aborted]);
-    }
-    finally {
-        if (onAbort !== undefined)
-            signal.removeEventListener("abort", onAbort);
-    }
-}
-function historyBehind(turn) {
-    const own = messagesFrom(spine(turn));
-    if (own.anchored)
-        return own.messages;
-    const prefix = own.messages.length > 0
-        ? own.messages
-        : turn.tail instanceof SessionTurn
-            ? messagesFrom(spine(turn.tail)).messages
-            : [];
-    return [...prefix, ...own.pending];
-}
-function spine(turn) {
-    return [...turn.doneWork, ...turn.queue];
-}
-/**
- * `anchored` is a completion on this spine. Unanchored `messages` is the fold
- * representation (possibly empty); `pending` is recall cells since the fold.
- * Tail history concatenates only when unanchored and the fold base is empty —
- * a fresh turn with drained recalls must not drop the tail or the recalls.
- */
-function messagesFrom(chunks) {
-    let folded = null;
-    let last = null;
-    const tools = [];
-    const recalls = [];
-    for (const event of walkTranscript(chunks)) {
-        if (event.kind === "fold") {
-            folded = [...event.chunk.representation];
-            last = null;
-            tools.length = 0;
-            recalls.length = 0;
-        }
-        else if (event.kind === "completion") {
-            last = event.chunk;
-            tools.length = 0;
-            recalls.length = 0;
-        }
-        else if (event.kind === "tool" || event.kind === "scheme") {
-            tools.push(event.chunk);
-        }
-        else if (event.kind === "recall") {
-            recalls.push(event.chunk);
-        }
-    }
-    if (last != null) {
-        return { messages: [...last.messages, last, ...tools, ...recalls], anchored: true, pending: [] };
-    }
-    return { messages: folded ?? [], anchored: false, pending: recalls };
-}
-//# sourceMappingURL=TurnRunner.js.map

package/dist/daemon/session/TurnRunner.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"TurnRunner.js","sourceRoot":"","sources":["../../../src/daemon/session/TurnRunner.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AACH,OAAO,EAAE,qBAAqB,EAAE,QAAQ,EAAE,MAAM,oCAAoC,CAAC;AACrF,OAAO,EAAE,gBAAgB,EAAiB,MAAM,oCAAoC,CAAC;AAErF,OAAO,EAAE,wBAAwB,EAAE,MAAM,mCAAmC,CAAC;AAC7E,OAAO,EACL,qBAAqB,EACrB,UAAU,EACV,eAAe,EACf,WAAW,EACX,mBAAmB,EACnB,gBAAgB,EAChB,eAAe,EACf,eAAe,GAIhB,MAAM,+BAA+B,CAAC;AACvC,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,eAAe,CAAC;AAC3C,OAAO,EAAE,iBAAiB,EAAE,cAAc,EAAE,MAAM,qCAAqC,CAAC;AACxF,OAAO,EAAE,mBAAmB,EAAE,MAAM,6CAA6C,CAAC;AAClF,OAAO,EAAE,MAAM,EAAE,MAAM,cAAc,CAAC;AACtC,OAAO,EAAE,eAAe,EAAE,MAAM,+BAA+B,CAAC;AAChE,OAAO,EAAE,UAAU,EAAE,mBAAmB,EAAE,kBAAkB,EAAE,mBAAmB,EAAE,MAAM,cAAc,CAAC;AACxG,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AAChD,OAAO,EAAE,YAAY,EAAE,UAAU,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAC;AAE3E,MAAM,OAAO,UAAW,SAAQ,MAAmB;IAItC,OAAO;IAHT,SAAS,CAAkB;IAEpC,YACW,OAAoB,EAC7B,IAAiB,EACjB,SAA2B;QAE3B,KAAK,CAAC,IAAI,CAAC,CAAC;uBAJH,OAAO;QAKhB,IAAI,CAAC,SAAS;YACZ,SAAS;gBACT,IAAI,eAAe,CAAC,IAAI,EAAE;oBACxB,OAAO,EAAE,cAAc,CAAC,OAAO,CAAC,IAAI,IAAI,iBAAiB,EAAE;iBAC5D,CAAC,CAAC;IACP,CAAC;IAED,MAAM;QACJ,OAAO,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACjD,CAAC;IAEQ,KAAK;QACZ,KAAK,CAAC,KAAK,EAAE,CAAC;QACd,uBAAuB,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACvC,CAAC;IAEkB,KAAK,CAAC,GAAG;QAC1B,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC;QAC7B,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC;QACzB,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;QAC3B,IAAI,IAAI,CAAC,MAAM;YAAE,OAAO;QACxB,IAAI,CAAC;YACH,MAAM,YAAY,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;YAC3D,MAAM,KAAK,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;YAC/C,MAAM,KAAK,GAAG,mBAAmB,CAAC,wBAAwB,CAAC,IAAI,CAAC,CAAC;YACjE,OAAO,IAAI,EAAE,CAAC;gBACZ,IAAI,MAAM,CAAC,OAAO;oBAAE,OAAO;gBAC3B,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC;gBACjC,IAAI,KAAK,KAAK,SAAS;oBAAE,MAAM;gBAC/B,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBAC1B,QAAQ,IAAI,EAAE,CAAC;oBACb,KAAK,KAAK,YAAY,gBAAgB,EAAE,CAAC;wBACvC,MAAM,QAAQ,GAAG,mBAAmB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;wBAClD,IAAI,QAAQ,IAAI,IAAI,EAAE,CAAC;4BACrB,IAAI,CAAC,WAAW,QAAQ,EAAE,CAAC,CAAC;4BAC5B,SAAS;wBACX,CAAC;wBACD,IAAI,CAAC;4BACH,MAAM,GAAG,GAAG,UAAU,CAAC,SAAS,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC;4BACtD,MAAM,MAAM,GAAG,MAAM,YAAY,CAAC,kBAAkB,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;4BACvF,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC;gCACf,IAAI,CAAC,kBAAkB,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC;gCACxC,SAAS;4BACX,CAAC;4BACD,KAAK,CAAC,cAAc,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,CACvC,CAAC,IAAI,EAA6B,EAAE,CAAC,CAAC,CAAC,IAAI,YAAY,YAAY,CAAC,CACrE,CAAC;4BACF,KAAK,CAAC,MAAM,GAAG,IAAI,CAAC;wBACtB,CAAC;wBAAC,OAAO,KAAK,EAAE,CAAC;4BACf,IAAI,CAAC,kBAAkB,EAAE,KAAK,CAAC,CAAC;wBAClC,CAAC;wBACD,SAAS;oBACX,CAAC;oBACD,KAAK,KAAK,YAAY,eAAe,CAAC;oBACtC,KAAK,KAAK,YAAY,UAAU,EAAE,CAAC;wBACjC,IAAI,YAAY,KAAK,EAAE;4BAAE,OAAO;wBAChC,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;wBACvB,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;4BACpB,IAAI,CAAC,sBAAsB,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,CAAC;4BAC1C,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;gCACvB,IAAI,GAAG,CAAC,OAAO,KAAK,QAAQ;oCAAE,SAAS;gCACvC,MAAM,MAAM,GAAG,IAAI,eAAe,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;gCAC5C,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;gCACvB,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;4BAC7B,CAAC;wBACH,CAAC;wBACD,IAAI,CAAC,OAAO,CACV,IAAI,qBAAqB,CAAC;4BACxB,UAAU,EAAE,KAAK,YAAY,eAAe,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE;4BAC/D,YAAY;4BACZ,KAAK;4BACL,QAAQ,EAAE,aAAa,CAAC,IAAI,CAAC;yBAC9B,CAAC,CACH,CAAC;wBACF,IAAI,CAAC,cAAc,IAAI,CAAC,QAAQ,CAAC,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;wBAC9E,MAAM;oBACR,CAAC;oBACD,KAAK,KAAK,YAAY,qBAAqB,EAAE,CAAC;wBAC5C,IAAI,CAAC,MAAM,aAAa,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,KAAK,SAAS;4BAAE,OAAO;wBAC/D,IAAI,KAAK,CAAC,OAAO,KAAK,YAAY;4BAAE,OAAO;wBAC3C,IAAI,OAA+B,CAAC;wBACpC,IAAI,CAAC;4BACH,MAAM,MAAM,GAAY,IAAI,CAAC,KAAK,CAChC,KAAK,CAAC,iBAAiB,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,iBAAiB,CAChE,CAAC;4BACF,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC;gCAAE,OAAO,GAAG,MAAoB,CAAC;wBAC5D,CAAC;wBAAC,MAAM,CAAC;4BACP,+BAA+B;wBACjC,CAAC;wBACD,MAAM,KAAK,GAAG,gBAAgB,CAAC;4BAC7B,OAAO,EAAE,KAAK,CAAC,YAAY;4BAC3B,UAAU,EAAE,OAAO;4BACnB,iBAAiB,EAAE,KAAK,CAAC,eAAe,IAAI,IAAI;yBACjD,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;wBACxD,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;4BAAE,MAAM;wBAC9B,KAAK,MAAM,IAAI,IAAI,KAAK;4BAAE,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;wBAC7C,IAAI,UAAU,CAAC,IAAI,EAAE,KAAK,CAAC;4BAAE,IAAI,CAAC,OAAO,CAAC,IAAI,gBAAgB,EAAE,CAAC,CAAC;wBAClE,IAAI,CAAC,OAAO,CAAC,IAAI,UAAU,EAAE,CAAC,CAAC;wBAC/B,MAAM;oBACR,CAAC;oBACD,KAAK,KAAK,YAAY,mBAAmB,EAAE,CAAC;wBAC1C,IAAI,CAAC,MAAM,aAAa,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,KAAK,SAAS;4BAAE,OAAO;wBAC/D,MAAM;oBACR,CAAC;oBACD,KAAK,KAAK,YAAY,eAAe,EAAE,CAAC;wBACtC,MAAM,OAAO,GAAG,cAAc,CAAC,OAAO,CAAC,IAAI,IAAI,iBAAiB,EAAE,CAAC;wBACnE,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC;wBACvE,MAAM,mBAAmB,CAAC,KAAK,EAAE;4BAC/B,OAAO;4BACP,IAAI;4BACJ,MAAM;4BACN,SAAS,EAAE,OAAO,CAAC,SAAS;4BAC5B,KAAK,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC;yBAC5C,CAAC,CAAC;wBACH,IAAI,MAAM,CAAC,OAAO;4BAAE,OAAO;wBAC3B,MAAM;oBACR,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,IAAI,CAAC,YAAY,EAAE,KAAK,CAAC,CAAC;QAC5B,CAAC;gBAAS,CAAC;YACT,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC;QACrB,CAAC;IACH,CAAC;CACF;AAED,MAAM,OAAO,cAAe,SAAQ,UAAU;IAIzB,WAAW;IAH9B,YACE,OAAoB,EACpB,IAAiB,EACA,WAAW,GAAkB,GAAG,EAAE,CAAC,IAAI,EACxD,SAA2B;QAE3B,KAAK,CAAC,OAAO,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC;2BAHf,WAAW;IAI9B,CAAC;IAEQ,MAAM;QACb,MAAM,GAAG,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC;QAC5B,OAAO,IAAI,CAAC,WAAW,EAAE,IAAI,GAAG,IAAI,IAAI,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC;IAC1D,CAAC;CACF;AAED;;;GAGG;AACH,SAAS,uBAAuB,CAAC,IAAiB;IAChD,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;QAClC,IAAI,CAAC,CAAC,IAAI,YAAY,qBAAqB,CAAC,IAAI,IAAI,CAAC,MAAM;YAAE,SAAS;QACtE,IAAI,IAAI,CAAC,aAAa;YAAE,SAAS;QACjC,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,WAAW,EAAE,MAAM,CAAC,CAAC;IAC3C,CAAC;AACH,CAAC;AAED,iFAAiF;AACjF,KAAK,UAAU,aAAa,CAC1B,KAAkD,EAClD,MAAmB;IAEnB,IAAI,MAAM,CAAC,OAAO;QAAE,OAAO,SAAS,CAAC;IACrC,IAAI,OAAiC,CAAC;IACtC,MAAM,OAAO,GAAG,IAAI,OAAO,CAAY,CAAC,OAAO,EAAE,EAAE;QACjD,OAAO,GAAG,GAAG,EAAE,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;QACnC,MAAM,CAAC,gBAAgB,CAAC,OAAO,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;IACH,IAAI,CAAC;QACH,OAAO,MAAM,OAAO,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,SAAkB,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC;IAC9F,CAAC;YAAS,CAAC;QACT,IAAI,OAAO,KAAK,SAAS;YAAE,MAAM,CAAC,mBAAmB,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;IAC1E,CAAC;AACH,CAAC;AAED,SAAS,aAAa,CAAC,IAAiB;IACtC,MAAM,GAAG,GAAG,YAAY,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;IACtC,IAAI,GAAG,CAAC,QAAQ;QAAE,OAAO,GAAG,CAAC,QAAQ,CAAC;IACtC,MAAM,MAAM,GACV,GAAG,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC;QACrB,CAAC,CAAC,GAAG,CAAC,QAAQ;QACd,CAAC,CAAC,IAAI,CAAC,IAAI,YAAY,WAAW;YAChC,CAAC,CAAC,YAAY,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ;YACzC,CAAC,CAAC,EAAE,CAAC;IACX,OAAO,CAAC,GAAG,MAAM,EAAE,GAAG,GAAG,CAAC,OAAO,CAAC,CAAC;AACrC,CAAC;AAED,SAAS,KAAK,CAAC,IAAiB;IAC9B,OAAO,CAAC,GAAG,IAAI,CAAC,QAAQ,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC;AAC3C,CAAC;AAED;;;;;GAKG;AACH,SAAS,YAAY,CAAC,MAA4B;IAKhD,IAAI,MAAM,GAA+B,IAAI,CAAC;IAC9C,IAAI,IAAI,GAAiC,IAAI,CAAC;IAC9C,MAAM,KAAK,GAAiD,EAAE,CAAC;IAC/D,MAAM,OAAO,GAAsB,EAAE,CAAC;IACtC,KAAK,MAAM,KAAK,IAAI,cAAc,CAAC,MAAM,CAAC,EAAE,CAAC;QAC3C,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YAC1B,MAAM,GAAG,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC;YACzC,IAAI,GAAG,IAAI,CAAC;YACZ,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;YACjB,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC;QACrB,CAAC;aAAM,IAAI,KAAK,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;YACvC,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC;YACnB,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;YACjB,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC;QACrB,CAAC;aAAM,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC5D,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAC1B,CAAC;aAAM,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YACnC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAC5B,CAAC;IACH,CAAC;IACD,IAAI,IAAI,IAAI,IAAI,EAAE,CAAC;QACjB,OAAO,EAAE,QAAQ,EAAE,CAAC,GAAG,IAAI,CAAC,QAAQ,EAAE,IAAI,EAAE,GAAG,KAAK,EAAE,GAAG,OAAO,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;IACnG,CAAC;IACD,OAAO,EAAE,QAAQ,EAAE,MAAM,IAAI,EAAE,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC;AACvE,CAAC"}

package/dist/daemon/session/approval/dist.d.ts

@@ -1,11 +0,0 @@
-export declare const HOST_INTRINSIC_IDS: readonly ["manual", "yolo"];
-export type HostIntrinsicId = (typeof HOST_INTRINSIC_IDS)[number];
-export type HostIntrinsicPolicy = {
-    readonly id: HostIntrinsicId;
-    readonly vote: "ask" | "approve";
-    readonly hasJudge: false;
-};
-export declare function hostIntrinsicPolicy(id: string): HostIntrinsicPolicy | undefined;
-export declare function distAutoPath(): string;
-export declare function distAutoSource(): string;
-//# sourceMappingURL=dist.d.ts.map

package/dist/daemon/session/approval/dist.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"dist.d.ts","sourceRoot":"","sources":["../../../../src/daemon/session/approval/dist.ts"],"names":[],"mappings":"AAaA,eAAO,MAAM,kBAAkB,YAAI,QAAQ,EAAE,MAAM,CAAU,CAAC;AAC9D,MAAM,MAAM,eAAe,GAAG,CAAC,OAAO,kBAAkB,CAAC,CAAC,MAAM,CAAC,CAAC;AAElE,MAAM,MAAM,mBAAmB,GAAG;IAChC,QAAQ,CAAC,EAAE,EAAE,eAAe,CAAC;IAC7B,QAAQ,CAAC,IAAI,EAAE,KAAK,GAAG,SAAS,CAAC;IACjC,QAAQ,CAAC,QAAQ,EAAE,KAAK,CAAC;CAC1B,CAAC;AAOF,wBAAgB,mBAAmB,CAAC,EAAE,EAAE,MAAM,GAAG,mBAAmB,GAAG,SAAS,CAG/E;AAOD,wBAAgB,YAAY,IAAI,MAAM,CAErC;AAED,wBAAgB,cAAc,IAAI,MAAM,CAEvC"}

package/dist/daemon/session/approval/dist.js

@@ -1,33 +0,0 @@
-/**
- * Dist approval policy ids. `manual` and `yolo` have no Scheme body — the
- * host writes ask / approve. `auto` is the shipped program at
- * `@inhuman.tools/harness/auto.scm` (next to `compact.scm`). The Permission
- * plugin is not loaded and is not the sole home.
- *
- * `always-approve` is not a product id. `plan` / `act` are modes, not
- * policy ids.
- */
-import { readFileSync } from "node:fs";
-import { join } from "node:path";
-import { fileURLToPath } from "node:url";
-export const HOST_INTRINSIC_IDS = ["manual", "yolo"];
-const INTRINSICS = {
-    manual: { id: "manual", vote: "ask", hasJudge: false },
-    yolo: { id: "yolo", vote: "approve", hasJudge: false },
-};
-export function hostIntrinsicPolicy(id) {
-    if (id === "manual" || id === "yolo")
-        return INTRINSICS[id];
-    return undefined;
-}
-/** Both `src/daemon/session/approval/` and `dist/daemon/session/approval/` are four up from the package root. */
-function packageRoot() {
-    return fileURLToPath(new URL("../../../../", import.meta.url));
-}
-export function distAutoPath() {
-    return join(packageRoot(), "auto.scm");
-}
-export function distAutoSource() {
-    return readFileSync(distAutoPath(), "utf8");
-}
-//# sourceMappingURL=dist.js.map

package/dist/daemon/session/approval/dist.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"dist.js","sourceRoot":"","sources":["../../../../src/daemon/session/approval/dist.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AACH,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACvC,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AAEzC,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAU,CAAC;AAS9D,MAAM,UAAU,GAA2D;IACzE,MAAM,EAAE,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE;IACtD,IAAI,EAAE,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,QAAQ,EAAE,KAAK,EAAE;CACvD,CAAC;AAEF,MAAM,UAAU,mBAAmB,CAAC,EAAU;IAC5C,IAAI,EAAE,KAAK,QAAQ,IAAI,EAAE,KAAK,MAAM;QAAE,OAAO,UAAU,CAAC,EAAE,CAAC,CAAC;IAC5D,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,iHAAiH;AACjH,SAAS,WAAW;IAClB,OAAO,aAAa,CAAC,IAAI,GAAG,CAAC,cAAc,EAAE,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;AACjE,CAAC;AAED,MAAM,UAAU,YAAY;IAC1B,OAAO,IAAI,CAAC,WAAW,EAAE,EAAE,UAAU,CAAC,CAAC;AACzC,CAAC;AAED,MAAM,UAAU,cAAc;IAC5B,OAAO,YAAY,CAAC,YAAY,EAAE,EAAE,MAAM,CAAC,CAAC;AAC9C,CAAC"}

package/dist/daemon/session/approval/evaluate.d.ts

@@ -1,28 +0,0 @@
-import { type ClassifyVote, type JudgeCrashDecision, type JudgeVote } from "./votes.js";
-export type PolicyTool = {
-    readonly name: string;
-    readonly arguments: Readonly<Record<string, unknown>>;
-};
-export type PolicyEvalOk<T> = {
-    readonly ok: true;
-    readonly value: T;
-};
-export type PolicyEvalErr = {
-    readonly ok: false;
-    readonly reason: string;
-};
-export type PolicyEvalResult<T> = PolicyEvalOk<T> | PolicyEvalErr;
-/**
- * Run `(classify tool)` and compose through the host lattice. Missing
- * classify, illegal vote, or throw → `{ ok: false }` (caller writes ask).
- */
-export declare function evaluateClassify(program: string, tool: PolicyTool): Promise<PolicyEvalResult<ClassifyVote>>;
-/**
- * Run `(judge tool)` when defined. `no-verdict`, illegal vote, throw, or
- * missing judge → `{ ok: false }` (caller writes ask, or follows
- * `decisionOnJudgeCrash` on a throw).
- */
-export declare function evaluateJudge(program: string, tool: PolicyTool): Promise<PolicyEvalResult<JudgeVote>>;
-/** Missing, illegal, or unloadable → `'ask`. */
-export declare function decisionOnJudgeCrash(program: string): Promise<JudgeCrashDecision>;
-//# sourceMappingURL=evaluate.d.ts.map

package/dist/daemon/session/approval/evaluate.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"evaluate.d.ts","sourceRoot":"","sources":["../../../../src/daemon/session/approval/evaluate.ts"],"names":[],"mappings":"AAwBA,OAAO,EAML,KAAK,YAAY,EACjB,KAAK,kBAAkB,EACvB,KAAK,SAAS,EACf,MAAM,YAAY,CAAC;AAEpB,MAAM,MAAM,UAAU,GAAG;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,SAAS,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;CACvD,CAAC;AAEF,MAAM,MAAM,YAAY,CAAC,CAAC,IAAI;IAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAA;CAAE,CAAC;AACvE,MAAM,MAAM,aAAa,GAAG;IAAE,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC;AAC5E,MAAM,MAAM,gBAAgB,CAAC,CAAC,IAAI,YAAY,CAAC,CAAC,CAAC,GAAG,aAAa,CAAC;AA6ElE;;;GAGG;AACH,wBAAsB,gBAAgB,CACpC,OAAO,EAAE,MAAM,EACf,IAAI,EAAE,UAAU,GACf,OAAO,CAAC,gBAAgB,CAAC,YAAY,CAAC,CAAC,CAYzC;AAED;;;;GAIG;AACH,wBAAsB,aAAa,CAAC,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,UAAU,GAAG,OAAO,CAAC,gBAAgB,CAAC,SAAS,CAAC,CAAC,CAkB3G;AAED,gDAAgD;AAChD,wBAAsB,oBAAoB,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC,kBAAkB,CAAC,CAGvF"}

package/dist/daemon/session/approval/evaluate.js

@@ -1,135 +0,0 @@
-/**
- * Hermetic Arrival eval for approval `classify` / `judge`.
- *
- * HERMETIC EXEC. `capabilities: []` — Arrival still folds BASE_ROSTER (stdlib
- * plus IO doors that throw). No catalog tools, no compact env, no
- * `resourcePaths`, no EnvCapability that can touch the world. Reusing
- * `experimental/scheme-repl/interpret.ts` binds toolkit names; reusing
- * `compact-env.ts` is an EnvCapability over transcripts. Either is license
- * to effect. A throw or illegal vote is a Result — it does not escape the
- * host. The caller writes `policyAsk`.
- *
- * Load is `execState` then `applyCallback` on the looked-up define — same
- * shape as compact fold, without compact's capability.
- */
-import { execState, jsToScheme, makeCallCtx, toJS, } from "@inhuman.tools/arrival";
-import { applyCallback, is_callable_value } from "@inhuman.tools/arrival/host-internals";
-import { composeVotes, parseAuthorableVote, parseJudgeCrashDecision, parseJudgeVote, } from "./votes.js";
-const HERMETIC = { capabilities: [] };
-function fail(reason) {
-    return { ok: false, reason };
-}
-function ok(value) {
-    return { ok: true, value };
-}
-function errorReason(error) {
-    return error instanceof Error ? error.message : String(error);
-}
-async function loadProgram(source) {
-    if (source.trim() === "")
-        return fail("policy program is empty");
-    try {
-        const state = await execState(source, HERMETIC);
-        const classify = state.scope.lookup("classify");
-        const judge = state.scope.lookup("judge");
-        const crashRaw = state.scope.lookup("decision-on-judge-crash");
-        let crash = "ask";
-        if (crashRaw !== undefined) {
-            try {
-                crash = parseJudgeCrashDecision(toJS(crashRaw)) ?? "ask";
-            }
-            catch {
-                crash = "ask";
-            }
-        }
-        return ok({
-            runCtx: state.runCtx,
-            classify: is_callable_value(classify) ? classify : undefined,
-            judge: is_callable_value(judge) ? judge : undefined,
-            crash,
-        });
-    }
-    catch (error) {
-        return fail(errorReason(error));
-    }
-}
-function toolPlain(tool) {
-    return { name: tool.name, arguments: { ...tool.arguments } };
-}
-async function callUnary(runCtx, fn, tool) {
-    const boxed = await applyCallback(fn, [jsToScheme(runCtx, toolPlain(tool))], makeCallCtx(runCtx));
-    return toJS(boxed);
-}
-function votesFromClassify(raw) {
-    if (raw === undefined)
-        return undefined;
-    if (Array.isArray(raw)) {
-        const votes = [];
-        for (const item of raw) {
-            const vote = parseAuthorableVote(item);
-            if (vote === undefined)
-                return undefined;
-            votes.push(vote);
-        }
-        return votes;
-    }
-    const vote = parseAuthorableVote(raw);
-    return vote === undefined ? undefined : [vote];
-}
-/**
- * Run `(classify tool)` and compose through the host lattice. Missing
- * classify, illegal vote, or throw → `{ ok: false }` (caller writes ask).
- */
-export async function evaluateClassify(program, tool) {
-    const loaded = await loadProgram(program);
-    if (!loaded.ok)
-        return loaded;
-    if (loaded.value.classify === undefined)
-        return fail("policy program does not define classify");
-    try {
-        const raw = await callUnary(loaded.value.runCtx, loaded.value.classify, tool);
-        const votes = votesFromClassify(raw);
-        if (votes === undefined)
-            return fail("classify emitted an illegal vote");
-        return ok(composeVotes(votes, { hasJudge: loaded.value.judge !== undefined }));
-    }
-    catch (error) {
-        return fail(errorReason(error));
-    }
-}
-/**
- * Run `(judge tool)` when defined. `no-verdict`, illegal vote, throw, or
- * missing judge → `{ ok: false }` (caller writes ask, or follows
- * `decisionOnJudgeCrash` on a throw).
- */
-export async function evaluateJudge(program, tool) {
-    const loaded = await loadProgram(program);
-    if (!loaded.ok)
-        return loaded;
-    if (loaded.value.judge === undefined)
-        return fail("policy program does not define judge");
-    try {
-        const raw = await callUnary(loaded.value.runCtx, loaded.value.judge, tool);
-        if (Array.isArray(raw)) {
-            if (raw.length !== 1)
-                return fail("judge must emit a single vote");
-            const vote = parseJudgeVote(raw[0]);
-            if (vote === undefined)
-                return fail("judge emitted an illegal vote");
-            return ok(vote);
-        }
-        const vote = parseJudgeVote(raw);
-        if (vote === undefined)
-            return fail("judge emitted an illegal vote");
-        return ok(vote);
-    }
-    catch (error) {
-        return fail(errorReason(error));
-    }
-}
-/** Missing, illegal, or unloadable → `'ask`. */
-export async function decisionOnJudgeCrash(program) {
-    const loaded = await loadProgram(program);
-    return loaded.ok ? loaded.value.crash : "ask";
-}
-//# sourceMappingURL=evaluate.js.map

package/dist/daemon/session/approval/evaluate.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"evaluate.js","sourceRoot":"","sources":["../../../../src/daemon/session/approval/evaluate.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AACH,OAAO,EACL,SAAS,EACT,UAAU,EACV,WAAW,EACX,IAAI,GAGL,MAAM,wBAAwB,CAAC;AAChC,OAAO,EAAE,aAAa,EAAE,iBAAiB,EAAkB,MAAM,uCAAuC,CAAC;AAEzG,OAAO,EACL,YAAY,EACZ,mBAAmB,EACnB,uBAAuB,EACvB,cAAc,GAKf,MAAM,YAAY,CAAC;AAWpB,MAAM,QAAQ,GAAG,EAAE,YAAY,EAAE,EAAW,EAAE,CAAC;AAE/C,SAAS,IAAI,CAAC,MAAc;IAC1B,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;AAC/B,CAAC;AAED,SAAS,EAAE,CAAI,KAAQ;IACrB,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;AAC7B,CAAC;AAED,SAAS,WAAW,CAAC,KAAc;IACjC,OAAO,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAChE,CAAC;AASD,KAAK,UAAU,WAAW,CAAC,MAAc;IACvC,IAAI,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE;QAAE,OAAO,IAAI,CAAC,yBAAyB,CAAC,CAAC;IACjE,IAAI,CAAC;QACH,MAAM,KAAK,GAAG,MAAM,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;QAChD,MAAM,QAAQ,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;QAChD,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;QAC1C,MAAM,QAAQ,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,yBAAyB,CAAC,CAAC;QAC/D,IAAI,KAAK,GAAuB,KAAK,CAAC;QACtC,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;YAC3B,IAAI,CAAC;gBACH,KAAK,GAAG,uBAAuB,CAAC,IAAI,CAAC,QAAuB,CAAC,CAAC,IAAI,KAAK,CAAC;YAC1E,CAAC;YAAC,MAAM,CAAC;gBACP,KAAK,GAAG,KAAK,CAAC;YAChB,CAAC;QACH,CAAC;QACD,OAAO,EAAE,CAAC;YACR,MAAM,EAAE,KAAK,CAAC,MAAM;YACpB,QAAQ,EAAE,iBAAiB,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS;YAC5D,KAAK,EAAE,iBAAiB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS;YACnD,KAAK;SACN,CAAC,CAAC;IACL,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,OAAO,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC;IAClC,CAAC;AACH,CAAC;AAED,SAAS,SAAS,CAAC,IAAgB;IACjC,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,SAAS,EAAE,EAAE,GAAG,IAAI,CAAC,SAAS,EAAE,EAAE,CAAC;AAC/D,CAAC;AAED,KAAK,UAAU,SAAS,CAAC,MAAkB,EAAE,EAAa,EAAE,IAAgB;IAC1E,MAAM,KAAK,GAAG,MAAM,aAAa,CAC/B,EAAE,EACF,CAAC,UAAU,CAAC,MAAM,EAAE,SAAS,CAAC,IAAI,CAAC,CAAgB,CAAC,EACpD,WAAW,CAAC,MAAM,CAAC,CACpB,CAAC;IACF,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC;AACrB,CAAC;AAED,SAAS,iBAAiB,CAAC,GAAY;IACrC,IAAI,GAAG,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IACxC,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;QACvB,MAAM,KAAK,GAAqB,EAAE,CAAC;QACnC,KAAK,MAAM,IAAI,IAAI,GAAG,EAAE,CAAC;YACvB,MAAM,IAAI,GAAG,mBAAmB,CAAC,IAAI,CAAC,CAAC;YACvC,IAAI,IAAI,KAAK,SAAS;gBAAE,OAAO,SAAS,CAAC;YACzC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnB,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,IAAI,GAAG,mBAAmB,CAAC,GAAG,CAAC,CAAC;IACtC,OAAO,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;AACjD,CAAC;AAED;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,gBAAgB,CACpC,OAAe,EACf,IAAgB;IAEhB,MAAM,MAAM,GAAG,MAAM,WAAW,CAAC,OAAO,CAAC,CAAC;IAC1C,IAAI,CAAC,MAAM,CAAC,EAAE;QAAE,OAAO,MAAM,CAAC;IAC9B,IAAI,MAAM,CAAC,KAAK,CAAC,QAAQ,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC,yCAAyC,CAAC,CAAC;IAChG,IAAI,CAAC;QACH,MAAM,GAAG,GAAG,MAAM,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;QAC9E,MAAM,KAAK,GAAG,iBAAiB,CAAC,GAAG,CAAC,CAAC;QACrC,IAAI,KAAK,KAAK,SAAS;YAAE,OAAO,IAAI,CAAC,kCAAkC,CAAC,CAAC;QACzE,OAAO,EAAE,CAAC,YAAY,CAAC,KAAK,EAAE,EAAE,QAAQ,EAAE,MAAM,CAAC,KAAK,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC,CAAC,CAAC;IACjF,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,OAAO,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC;IAClC,CAAC;AACH,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,aAAa,CAAC,OAAe,EAAE,IAAgB;IACnE,MAAM,MAAM,GAAG,MAAM,WAAW,CAAC,OAAO,CAAC,CAAC;IAC1C,IAAI,CAAC,MAAM,CAAC,EAAE;QAAE,OAAO,MAAM,CAAC;IAC9B,IAAI,MAAM,CAAC,KAAK,CAAC,KAAK,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC,sCAAsC,CAAC,CAAC;IAC1F,IAAI,CAAC;QACH,MAAM,GAAG,GAAG,MAAM,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QAC3E,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;YACvB,IAAI,GAAG,CAAC,MAAM,KAAK,CAAC;gBAAE,OAAO,IAAI,CAAC,+BAA+B,CAAC,CAAC;YACnE,MAAM,IAAI,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;YACpC,IAAI,IAAI,KAAK,SAAS;gBAAE,OAAO,IAAI,CAAC,+BAA+B,CAAC,CAAC;YACrE,OAAO,EAAE,CAAC,IAAI,CAAC,CAAC;QAClB,CAAC;QACD,MAAM,IAAI,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC;QACjC,IAAI,IAAI,KAAK,SAAS;YAAE,OAAO,IAAI,CAAC,+BAA+B,CAAC,CAAC;QACrE,OAAO,EAAE,CAAC,IAAI,CAAC,CAAC;IAClB,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,OAAO,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC;IAClC,CAAC;AACH,CAAC;AAED,gDAAgD;AAChD,MAAM,CAAC,KAAK,UAAU,oBAAoB,CAAC,OAAe;IACxD,MAAM,MAAM,GAAG,MAAM,WAAW,CAAC,OAAO,CAAC,CAAC;IAC1C,OAAO,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC;AAChD,CAAC"}

package/dist/daemon/session/approval/index.d.ts

@@ -1,7 +0,0 @@
-/** Approval policy programs: hermetic classify/judge exec, host lattice, dist ids, session pipeline. */
-export { composeVotes, foldSymbolName, isAuthorableVote, isJudgeVote, parseAuthorableVote, parseJudgeCrashDecision, parseJudgeVote, AUTHORABLE_VOTES, JUDGE_VOTES, type AuthorableVote, type ClassifyVote, type ComposeVotesOpts, type JudgeCrashDecision, type JudgeVote, } from "./votes.js";
-export { decisionOnJudgeCrash, evaluateClassify, evaluateJudge, type PolicyEvalErr, type PolicyEvalOk, type PolicyEvalResult, type PolicyTool, } from "./evaluate.js";
-export { HOST_INTRINSIC_IDS, distAutoPath, distAutoSource, hostIntrinsicPolicy, type HostIntrinsicId, type HostIntrinsicPolicy, } from "./dist.js";
-export { applyJudgeSettlement, failOpenJudgesExcept, hostJudgePrompt, runNeedJudge, } from "./judge.js";
-export { applyClassifySlot, applySessionApprove, disabledPluginNames, loadEnabledPolicySource, resolvePolicyId, toolClassOf, type LoadPolicyProgram, type SessionApproveOpts, type ToolClass, } from "./session.js";
-//# sourceMappingURL=index.d.ts.map

package/dist/daemon/session/approval/index.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/daemon/session/approval/index.ts"],"names":[],"mappings":"AAAA,wGAAwG;AACxG,OAAO,EACL,YAAY,EACZ,cAAc,EACd,gBAAgB,EAChB,WAAW,EACX,mBAAmB,EACnB,uBAAuB,EACvB,cAAc,EACd,gBAAgB,EAChB,WAAW,EACX,KAAK,cAAc,EACnB,KAAK,YAAY,EACjB,KAAK,gBAAgB,EACrB,KAAK,kBAAkB,EACvB,KAAK,SAAS,GACf,MAAM,YAAY,CAAC;AACpB,OAAO,EACL,oBAAoB,EACpB,gBAAgB,EAChB,aAAa,EACb,KAAK,aAAa,EAClB,KAAK,YAAY,EACjB,KAAK,gBAAgB,EACrB,KAAK,UAAU,GAChB,MAAM,eAAe,CAAC;AACvB,OAAO,EACL,kBAAkB,EAClB,YAAY,EACZ,cAAc,EACd,mBAAmB,EACnB,KAAK,eAAe,EACpB,KAAK,mBAAmB,GACzB,MAAM,WAAW,CAAC;AACnB,OAAO,EACL,oBAAoB,EACpB,oBAAoB,EACpB,eAAe,EACf,YAAY,GACb,MAAM,YAAY,CAAC;AACpB,OAAO,EACL,iBAAiB,EACjB,mBAAmB,EACnB,mBAAmB,EACnB,uBAAuB,EACvB,eAAe,EACf,WAAW,EACX,KAAK,iBAAiB,EACtB,KAAK,kBAAkB,EACvB,KAAK,SAAS,GACf,MAAM,cAAc,CAAC"}

package/dist/daemon/session/approval/index.js

@@ -1,7 +0,0 @@
-/** Approval policy programs: hermetic classify/judge exec, host lattice, dist ids, session pipeline. */
-export { composeVotes, foldSymbolName, isAuthorableVote, isJudgeVote, parseAuthorableVote, parseJudgeCrashDecision, parseJudgeVote, AUTHORABLE_VOTES, JUDGE_VOTES, } from "./votes.js";
-export { decisionOnJudgeCrash, evaluateClassify, evaluateJudge, } from "./evaluate.js";
-export { HOST_INTRINSIC_IDS, distAutoPath, distAutoSource, hostIntrinsicPolicy, } from "./dist.js";
-export { applyJudgeSettlement, failOpenJudgesExcept, hostJudgePrompt, runNeedJudge, } from "./judge.js";
-export { applyClassifySlot, applySessionApprove, disabledPluginNames, loadEnabledPolicySource, resolvePolicyId, toolClassOf, } from "./session.js";
-//# sourceMappingURL=index.js.map

package/dist/daemon/session/approval/index.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../src/daemon/session/approval/index.ts"],"names":[],"mappings":"AAAA,wGAAwG;AACxG,OAAO,EACL,YAAY,EACZ,cAAc,EACd,gBAAgB,EAChB,WAAW,EACX,mBAAmB,EACnB,uBAAuB,EACvB,cAAc,EACd,gBAAgB,EAChB,WAAW,GAMZ,MAAM,YAAY,CAAC;AACpB,OAAO,EACL,oBAAoB,EACpB,gBAAgB,EAChB,aAAa,GAKd,MAAM,eAAe,CAAC;AACvB,OAAO,EACL,kBAAkB,EAClB,YAAY,EACZ,cAAc,EACd,mBAAmB,GAGpB,MAAM,WAAW,CAAC;AACnB,OAAO,EACL,oBAAoB,EACpB,oBAAoB,EACpB,eAAe,EACf,YAAY,GACb,MAAM,YAAY,CAAC;AACpB,OAAO,EACL,iBAAiB,EACjB,mBAAmB,EACnB,mBAAmB,EACnB,uBAAuB,EACvB,eAAe,EACf,WAAW,GAIZ,MAAM,cAAc,CAAC"}

package/dist/daemon/session/approval/judge.d.ts

@@ -1,37 +0,0 @@
-/**
- * Judge after classify composes to `need-judge`. Two faces only: hermetic
- * `evaluateJudge`, or a `CompletionExpectation` on `judges[id]`. Not a
- * third classify exec.
- *
- * REUSE. Unsettled `judges[id]` is the same child after restart / re-entry.
- * Assigning a second member under that key drops the first wait and
- * double-spends the speculative cap.
- *
- * FLIP. Pickup late-binds `id`. Open members keyed by any other policy id
- * are `fail("cancel", "terminate", "null")`. Parent-ending already fails
- * tree-orphans — this file does not.
- *
- * EMPTY CONNECTION. Trimmed `session.kvs.connection` empty → Scheme
- * `evaluateJudge` / `decisionOnJudgeCrash`. Do not mint a child that cannot
- * ride a completion connection. Do not `ensure()`.
- *
- * A minted child's parent is the Approvable (`judges` is a child record) so
- * catalog tools stay empty. Wait is `when(() => child.isDone)` with no hang
- * timeout. docs/design/approval.md §5 Judge, §6 `decision-on-judge-crash`.
- */
-import type { ApprovableExpectation, WorkExpectation } from "@inhuman.tools/plexus-expectations";
-import { type PolicyTool } from "./evaluate.js";
-/** Host-built user text. The judge cannot tool-call; reply is one vote string. */
-export declare function hostJudgePrompt(tool: PolicyTool): string;
-/**
- * Fail open judges that are not this pickup's id. Does not touch `judges[id]`
- * (reuse) and does not delete keys (a flip is a new slot, not a clear).
- */
-export declare function failOpenJudgesExcept(work: ApprovableExpectation, id: string): void;
-/**
- * Read a sealed child. Failed / empty / illegal / `no-verdict` follow
- * `decision-on-judge-crash` (`'ask` when missing).
- */
-export declare function applyJudgeSettlement(work: ApprovableExpectation, id: string, child: WorkExpectation, program: string): Promise<void>;
-export declare function runNeedJudge(work: ApprovableExpectation, id: string, program: string, tool: PolicyTool, connectionId: string, model?: string): Promise<void>;
-//# sourceMappingURL=judge.d.ts.map

package/dist/daemon/session/approval/judge.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"judge.d.ts","sourceRoot":"","sources":["../../../../src/daemon/session/approval/judge.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,OAAO,KAAK,EAAE,qBAAqB,EAAE,eAAe,EAAE,MAAM,oCAAoC,CAAC;AAIjG,OAAO,EAAuC,KAAK,UAAU,EAAE,MAAM,eAAe,CAAC;AAGrF,kFAAkF;AAClF,wBAAgB,eAAe,CAAC,IAAI,EAAE,UAAU,GAAG,MAAM,CAOxD;AAED;;;GAGG;AACH,wBAAgB,oBAAoB,CAAC,IAAI,EAAE,qBAAqB,EAAE,EAAE,EAAE,MAAM,GAAG,IAAI,CAKlF;AAyBD;;;GAGG;AACH,wBAAsB,oBAAoB,CACxC,IAAI,EAAE,qBAAqB,EAC3B,EAAE,EAAE,MAAM,EACV,KAAK,EAAE,eAAe,EACtB,OAAO,EAAE,MAAM,GACd,OAAO,CAAC,IAAI,CAAC,CAWf;AAED,wBAAsB,YAAY,CAChC,IAAI,EAAE,qBAAqB,EAC3B,EAAE,EAAE,MAAM,EACV,OAAO,EAAE,MAAM,EACf,IAAI,EAAE,UAAU,EAChB,YAAY,EAAE,MAAM,EACpB,KAAK,SAAK,GACT,OAAO,CAAC,IAAI,CAAC,CAsBf"}