@lyteboat/tool-policy 0.0.0-stage → 0.1.0

package/LICENSE

@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) 2026 lyteboat
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.

package/README.md

@@ -1,3 +1,5 @@
-# Temporary Holding Version
+# @lyteboat/tool-policy
 
-This version is a temporary placeholder for this package. An operational version to replace this has been submitted for review and is awaiting a staged release.
+lyteboat's tool policy over the dsh tool registry: visibility (always/auto + activation, and whether an agent's undeclared inherited tools stay visible) and tool-result state deltas folded into the lyteboatState projection.
+
+Part of [lyteboat](https://github.com/lyteboat/lyteboat), an agent harness for business agents built on DeepSeek Harness. Its source is [`lyteboat/plugins/tool-policy`](https://github.com/lyteboat/lyteboat/tree/master/lyteboat/plugins/tool-policy); the repository README explains how the packages fit together and how a project outside the repository installs them.

package/lib/index.d.ts

@@ -0,0 +1,120 @@
+/**
+ * @lyteboat/tool-policy — lyteboat's tool policy over the dsh tool registry. One host
+ * service, `ctx.toolPolicy`, holds lyteboat-side metadata for tools registered in
+ * the global layer or a preset's standing layer, and enforces it at two dsh
+ * seams:
+ *
+ * - visibility: an `auto` tool stays out of the model's schemas until a
+ *   plugin activates it for the agent (`activate`); a scope can hide every
+ *   inherited tool its policy does not declare (`declareInherited('hidden')`),
+ *   and such a tool stays hidden: only declared tools are activated. The
+ *   agent's restriction is recomputed after every `lyteboat/pre-assemble` and
+ *   reissued only when the denied set changed;
+ * - state: a tool registered with `stateDelta` carries its delta on the
+ *   result's presentation meta (`meta.lyteboat.stateDelta`), and a delta the
+ *   state cannot hold fails the call instead; the `lyteboatState` projection
+ *   folds it straight from the `tool/result` node (successful, top-level calls
+ *   only) and renders it to the model as the `lyteboat:state` runtime context.
+ *   No lyteboat node is written: dsh's persistence refuses logs with event
+ *   types it does not know.
+ *
+ * Only inherited tools can be hidden — dsh's `restrict` never filters an
+ * agent's own layer — so register and declare through the host or a preset
+ * row, never through `agent.ctx`.
+ * @module @lyteboat/tool-policy
+ */
+import { Context, Service } from '@deepseek-ai/cordis';
+import type { Agent } from '@deepseek-ai/dsh-agent';
+import type { ScopeKey } from '@deepseek-ai/dsh-scope';
+import type { ToolDefinition } from '@deepseek-ai/dsh-tools';
+import type { LyteboatInheritedToolVisibility, LyteboatToolMeta } from '@lyteboat/contracts';
+declare module '@deepseek-ai/cordis' {
+    interface Context {
+        toolPolicy: ToolPolicyService;
+    }
+}
+/** Metadata a composition file can declare for a tool registered elsewhere: everything but the code-only delta. */
+export type LyteboatToolPolicy = Omit<LyteboatToolMeta, 'stateDelta'>;
+/** Host service: lyteboat tool metadata plus its enforcement at the dsh tool seams. */
+export declare class ToolPolicyService extends Service {
+    static inject: string[];
+    private readonly layers;
+    private readonly agents;
+    constructor(ctx: Context);
+    /**
+     * Register a tool in the calling scope's layer together with its lyteboat
+     * metadata. A `stateDelta` is folded into the tool's presentation meta.
+     * @param definition - the dsh tool definition.
+     * @param meta - lyteboat-side metadata; `visibility` defaults to `always`.
+     * @returns the exact disposer that unregisters both.
+     */
+    register(definition: ToolDefinition, meta?: LyteboatToolMeta): () => void;
+    /**
+     * Declare metadata for a tool registered elsewhere (an official dsh tool, a
+     * agent row's tool), in the calling scope's layer. Nearest scope wins.
+     * @param name - the tool name as registered.
+     * @param meta - lyteboat-side metadata.
+     * @returns the exact disposer that withdraws the declaration.
+     */
+    declare(name: string, meta: LyteboatToolMeta): () => void;
+    /**
+     * Declare, in the calling scope's layer, whether the tools its agents
+     * inherit and no declaration on their chain names reach the model. Nearest
+     * scope wins; without one they are `visible`. A hidden inherited tool stays
+     * hidden: `activate` names declared tools only.
+     * @param visibility - `visible` or `hidden`.
+     * @returns the exact disposer that withdraws the declaration.
+     * @throws when the scope already declared it.
+     */
+    declareInherited(visibility: LyteboatInheritedToolVisibility): () => void;
+    /**
+     * The metadata a scope resolves for a tool: its own chain, nearest scope last.
+     * An agent is its own scope key (the agent loop keys each agent's scope by
+     * the agent), so an agent and a preset's standing scope resolve alike.
+     * @param name - the tool name.
+     * @param scope - the viewing agent or scope; omitted for the global view.
+     */
+    metaOf(name: string, scope?: ScopeKey): LyteboatToolMeta | undefined;
+    /**
+     * Make `auto` tools visible to one agent from its next assembly on (or this
+     * step's, when called inside `lyteboat/pre-assemble`). Names must be declared.
+     * @param agent - the agent whose visibility changes.
+     * @param names - declared tool names.
+     */
+    activate(agent: Agent, names: readonly string[]): void;
+    /**
+     * Withdraw every activation of one agent; its `auto` tools hide again.
+     * @param agent - the agent to reset.
+     */
+    clear(agent: Agent): void;
+    /** The names one agent activated, sorted. */
+    activated(agent: Agent): string[];
+    /**
+     * The tool names an agent started under a scope (a preset's standing scope)
+     * sees before anything is activated, in registry order: its `auto` tools and,
+     * with inherited tools hidden, every undeclared inherited tool, are left out.
+     * A running agent's current view is `ctx.tools.schemas(agent)`.
+     * @param scope - the standing scope a new agent inherits from.
+     */
+    visible(scope: ScopeKey): string[];
+    private stateOf;
+    /** Whether one scope's undeclared inherited tools reach the model: the nearest declaration on its chain, `visible` without one. */
+    private inheritedOf;
+    /**
+     * The names an agent of `scope`, inheriting `inheritedView`, is denied: every
+     * declared `auto` tool not activated and, with inherited tools `hidden`, every
+     * inherited tool no declaration names. Sorted.
+     */
+    private deniedFor;
+    /**
+     * Recompute one agent's restriction: every `auto` tool it inherits and has
+     * not activated is denied, and with inherited tools `hidden` every inherited
+     * tool no declaration names. Reissued only when the set changed.
+     * @throws when a declared name reaches the agent registered by no row, or
+     * an `auto` tool sits in the agent's own layer, where `restrict` cannot hide
+     * it: both are composition mistakes and never silently pass.
+     */
+    private reconcile;
+}
+export default ToolPolicyService;
+//# sourceMappingURL=index.d.ts.map

package/lib/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AAEH,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,qBAAqB,CAAA;AACtD,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,wBAAwB,CAAA;AAEnD,OAAO,KAAK,EAAE,QAAQ,EAAc,MAAM,wBAAwB,CAAA;AAElE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,wBAAwB,CAAA;AAI5D,OAAO,KAAK,EAAE,+BAA+B,EAAE,gBAAgB,EAAa,MAAM,qBAAqB,CAAA;AAGvG,OAAO,QAAQ,qBAAqB,CAAC;IACnC,UAAU,OAAO;QACf,UAAU,EAAE,iBAAiB,CAAA;KAC9B;CACF;AAED,mHAAmH;AACnH,MAAM,MAAM,kBAAkB,GAAG,IAAI,CAAC,gBAAgB,EAAE,YAAY,CAAC,CAAA;AAwDrE,uFAAuF;AACvF,qBAAa,iBAAkB,SAAQ,OAAO;IAE5C,MAAM,CAAC,MAAM,WAAoE;IAEjF,OAAO,CAAC,QAAQ,CAAC,MAAM,CAA8D;IACrF,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAyC;gBAEpD,GAAG,EAAE,OAAO;IAqBxB;;;;;;OAMG;IACH,QAAQ,CAAC,UAAU,EAAE,cAAc,EAAE,IAAI,GAAE,gBAAqB,GAAG,MAAM,IAAI;IAgB7E;;;;;;OAMG;IACH,OAAO,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,gBAAgB,GAAG,MAAM,IAAI;IAQzD;;;;;;;;OAQG;IACH,gBAAgB,CAAC,UAAU,EAAE,+BAA+B,GAAG,MAAM,IAAI;IAYzE;;;;;;OAMG;IACH,MAAM,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,EAAE,QAAQ,GAAG,gBAAgB,GAAG,SAAS;IAIpE;;;;;OAKG;IACH,QAAQ,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,SAAS,MAAM,EAAE,GAAG,IAAI;IAWtD;;;OAGG;IACH,KAAK,CAAC,KAAK,EAAE,KAAK,GAAG,IAAI;IAOzB,6CAA6C;IAC7C,SAAS,CAAC,KAAK,EAAE,KAAK,GAAG,MAAM,EAAE;IAIjC;;;;;;OAMG;IACH,OAAO,CAAC,KAAK,EAAE,QAAQ,GAAG,MAAM,EAAE;IAKlC,OAAO,CAAC,OAAO;IASf,mIAAmI;IACnI,OAAO,CAAC,WAAW;IAMnB;;;;OAIG;IACH,OAAO,CAAC,SAAS;IAejB;;;;;;;OAOG;IACH,OAAO,CAAC,SAAS;CA2BlB;AAED,eAAe,iBAAiB,CAAA"}

package/lib/index.js

@@ -0,0 +1,279 @@
+/**
+ * @lyteboat/tool-policy — lyteboat's tool policy over the dsh tool registry. One host
+ * service, `ctx.toolPolicy`, holds lyteboat-side metadata for tools registered in
+ * the global layer or a preset's standing layer, and enforces it at two dsh
+ * seams:
+ *
+ * - visibility: an `auto` tool stays out of the model's schemas until a
+ *   plugin activates it for the agent (`activate`); a scope can hide every
+ *   inherited tool its policy does not declare (`declareInherited('hidden')`),
+ *   and such a tool stays hidden: only declared tools are activated. The
+ *   agent's restriction is recomputed after every `lyteboat/pre-assemble` and
+ *   reissued only when the denied set changed;
+ * - state: a tool registered with `stateDelta` carries its delta on the
+ *   result's presentation meta (`meta.lyteboat.stateDelta`), and a delta the
+ *   state cannot hold fails the call instead; the `lyteboatState` projection
+ *   folds it straight from the `tool/result` node (successful, top-level calls
+ *   only) and renders it to the model as the `lyteboat:state` runtime context.
+ *   No lyteboat node is written: dsh's persistence refuses logs with event
+ *   types it does not know.
+ *
+ * Only inherited tools can be hidden — dsh's `restrict` never filters an
+ * agent's own layer — so register and declare through the host or a preset
+ * row, never through `agent.ctx`.
+ * @module @lyteboat/tool-policy
+ */
+import { Service } from '@deepseek-ai/cordis';
+import { NamedEntries, ScopedLayers, scopeOf, scopeParentOf } from '@deepseek-ai/dsh-scope';
+import { RUN_CODE_NAME } from '@deepseek-ai/dsh-tools';
+import { LYTEBOAT_STATE_CONTEXT_ORDER } from '@lyteboat/contracts';
+import { lyteboatStateProjectionDefinition, isJsonObject, mergeStateDelta, renderLyteboatState } from "./state.js";
+/** One scope's policy contribution. */
+class PolicyLayer {
+    metas;
+    /** The visibility of the inherited tools no declaration on the chain names; one cell, since two answers contradict. */
+    inherited;
+    constructor(scope) {
+        this.metas = new NamedEntries(name => new Error(scope === undefined
+            ? `lyteboat tool policy for "${name}" is already declared globally`
+            : `lyteboat tool policy for "${name}" is already declared in this scope`));
+    }
+    isEmpty() {
+        return this.metas.isEmpty() && this.inherited === undefined;
+    }
+}
+/** Wrap a definition so its presentation meta carries the lyteboat state delta beside the tool's own meta. */
+function withStateDelta(definition, stateDelta) {
+    const output = definition.output;
+    const inner = output.presentationMeta?.bind(output);
+    return {
+        ...definition,
+        output: {
+            ...output,
+            presentationMeta(args, value) {
+                const base = inner?.(args, value);
+                const delta = stateDelta(args, value);
+                // dsh refuses an undefined presentation meta, so a call with neither a delta
+                // nor a meta of the tool's own records an empty object.
+                if (delta === undefined)
+                    return base ?? {};
+                // The lyteboatState fold refuses a delta it cannot merge, and a refused result
+                // stops every projection of the session; thrown here, dsh fails the call instead.
+                mergeStateDelta({}, delta);
+                if (base === undefined)
+                    return { lyteboat: { stateDelta: delta } };
+                // A tool's own `lyteboat` object (a rendered card) merges with the delta instead of losing it.
+                if (isJsonObject(base))
+                    return { ...base, lyteboat: { ...isJsonObject(base['lyteboat']) ? base['lyteboat'] : {}, stateDelta: delta } };
+                return { presentation: base, lyteboat: { stateDelta: delta } };
+            },
+        },
+    };
+}
+function sameNames(left, right) {
+    return left.length === right.length && left.every((name, index) => name === right[index]);
+}
+/** Host service: lyteboat tool metadata plus its enforcement at the dsh tool seams. */
+export class ToolPolicyService extends Service {
+    // lyteboatDistro: visibility is reconciled in the kernel extension agent-loop-pre-assemble.
+    static inject = ['tools', 'sessionProjections', 'systemPrompt', 'lyteboatDistro'];
+    layers = new ScopedLayers(scope => new PolicyLayer(scope), () => { });
+    agents = new WeakMap();
+    constructor(ctx) {
+        super(ctx, 'toolPolicy');
+        ctx.sessionProjections.register(lyteboatStateProjectionDefinition);
+        ctx.systemPrompt.context({
+            name: 'lyteboat:state',
+            order: LYTEBOAT_STATE_CONTEXT_ORDER,
+            text: (context) => {
+                const agent = context.agent;
+                if (agent === undefined)
+                    return '';
+                return renderLyteboatState(ctx.sessionProjections.stateOf(agent.session, 'lyteboatState'));
+            },
+        });
+        // After `next()`: listeners registered later (a `--plugin` row, a preset
+        // row) activate inside the same waterfall, and the restriction they need
+        // is computed once they returned.
+        ctx.on('lyteboat/pre-assemble', async (payload, next) => {
+            await next();
+            this.reconcile(payload.agent);
+        });
+    }
+    /**
+     * Register a tool in the calling scope's layer together with its lyteboat
+     * metadata. A `stateDelta` is folded into the tool's presentation meta.
+     * @param definition - the dsh tool definition.
+     * @param meta - lyteboat-side metadata; `visibility` defaults to `always`.
+     * @returns the exact disposer that unregisters both.
+     */
+    register(definition, meta = {}) {
+        const wrapped = meta.stateDelta === undefined ? definition : withStateDelta(definition, meta.stateDelta);
+        const disposeTool = this.ctx.tools.register(wrapped);
+        let disposeMeta;
+        try {
+            disposeMeta = this.declare(definition.name, meta);
+        }
+        catch (error) {
+            disposeTool();
+            throw error;
+        }
+        return () => {
+            disposeMeta();
+            disposeTool();
+        };
+    }
+    /**
+     * Declare metadata for a tool registered elsewhere (an official dsh tool, a
+     * agent row's tool), in the calling scope's layer. Nearest scope wins.
+     * @param name - the tool name as registered.
+     * @param meta - lyteboat-side metadata.
+     * @returns the exact disposer that withdraws the declaration.
+     */
+    declare(name, meta) {
+        return this.layers.effect(this.ctx, layer => layer.metas.insert(name, meta), { label: 'toolPolicy.declare()', notify: false });
+    }
+    /**
+     * Declare, in the calling scope's layer, whether the tools its agents
+     * inherit and no declaration on their chain names reach the model. Nearest
+     * scope wins; without one they are `visible`. A hidden inherited tool stays
+     * hidden: `activate` names declared tools only.
+     * @param visibility - `visible` or `hidden`.
+     * @returns the exact disposer that withdraws the declaration.
+     * @throws when the scope already declared it.
+     */
+    declareInherited(visibility) {
+        return this.layers.effect(this.ctx, (layer) => {
+            if (layer.inherited !== undefined)
+                throw new Error(`lyteboat tool policy: the visibility of inherited tools is already declared in this scope (${layer.inherited})`);
+            layer.inherited = visibility;
+            return () => { layer.inherited = undefined; };
+        }, { label: 'toolPolicy.declareInherited()', notify: false });
+    }
+    /**
+     * The metadata a scope resolves for a tool: its own chain, nearest scope last.
+     * An agent is its own scope key (the agent loop keys each agent's scope by
+     * the agent), so an agent and a preset's standing scope resolve alike.
+     * @param name - the tool name.
+     * @param scope - the viewing agent or scope; omitted for the global view.
+     */
+    metaOf(name, scope) {
+        return this.layers.merge(scope, layer => layer.metas).get(name);
+    }
+    /**
+     * Make `auto` tools visible to one agent from its next assembly on (or this
+     * step's, when called inside `lyteboat/pre-assemble`). Names must be declared.
+     * @param agent - the agent whose visibility changes.
+     * @param names - declared tool names.
+     */
+    activate(agent, names) {
+        const known = this.layers.merge(scopeOf(agent.ctx), layer => layer.metas);
+        const unknown = names.filter(name => !known.has(name));
+        if (unknown.length > 0) {
+            throw new Error(`lyteboat tool policy: cannot activate undeclared tool${unknown.length > 1 ? 's' : ''} ${unknown.map(name => JSON.stringify(name)).join(', ')}; declared: ${[...known.keys()].sort().join(', ') || '(none)'}`);
+        }
+        const state = this.stateOf(agent);
+        for (const name of names)
+            state.activated.add(name);
+        this.reconcile(agent);
+    }
+    /**
+     * Withdraw every activation of one agent; its `auto` tools hide again.
+     * @param agent - the agent to reset.
+     */
+    clear(agent) {
+        const state = this.agents.get(agent);
+        if (state === undefined)
+            return;
+        state.activated.clear();
+        this.reconcile(agent);
+    }
+    /** The names one agent activated, sorted. */
+    activated(agent) {
+        return [...this.agents.get(agent)?.activated ?? []].sort();
+    }
+    /**
+     * The tool names an agent started under a scope (a preset's standing scope)
+     * sees before anything is activated, in registry order: its `auto` tools and,
+     * with inherited tools hidden, every undeclared inherited tool, are left out.
+     * A running agent's current view is `ctx.tools.schemas(agent)`.
+     * @param scope - the standing scope a new agent inherits from.
+     */
+    visible(scope) {
+        const denied = new Set(this.deniedFor(scope, scope, new Set()));
+        return this.ctx.tools.schemas(scope).map(schema => schema.name).filter(name => !denied.has(name));
+    }
+    stateOf(agent) {
+        let state = this.agents.get(agent);
+        if (state === undefined) {
+            state = { activated: new Set(), deny: [], dispose: undefined };
+            this.agents.set(agent, state);
+        }
+        return state;
+    }
+    /** Whether one scope's undeclared inherited tools reach the model: the nearest declaration on its chain, `visible` without one. */
+    inheritedOf(key) {
+        let visibility = 'visible';
+        for (const layer of [this.layers.global, ...this.layers.chainLayers(key)])
+            visibility = layer.inherited ?? visibility;
+        return visibility;
+    }
+    /**
+     * The names an agent of `scope`, inheriting `inheritedView`, is denied: every
+     * declared `auto` tool not activated and, with inherited tools `hidden`, every
+     * inherited tool no declaration names. Sorted.
+     */
+    deniedFor(scope, inheritedView, activated) {
+        const declared = [...this.layers.merge(scope, layer => layer.metas)];
+        const declaredNames = new Set(declared.map(([name]) => name));
+        // The parent's view is what the agent inherits before its own restriction;
+        // the PTC transport sits outside every restriction and is never named.
+        const hiddenInherited = this.inheritedOf(scope) === 'hidden'
+            ? this.ctx.tools.schemas(inheritedView).map(schema => schema.name).filter(name => name !== RUN_CODE_NAME && !declaredNames.has(name))
+            : [];
+        return declared
+            .filter(([name, meta]) => meta.visibility === 'auto' && !activated.has(name))
+            .map(([name]) => name)
+            .concat(hiddenInherited)
+            .sort();
+    }
+    /**
+     * Recompute one agent's restriction: every `auto` tool it inherits and has
+     * not activated is denied, and with inherited tools `hidden` every inherited
+     * tool no declaration names. Reissued only when the set changed.
+     * @throws when a declared name reaches the agent registered by no row, or
+     * an `auto` tool sits in the agent's own layer, where `restrict` cannot hide
+     * it: both are composition mistakes and never silently pass.
+     */
+    reconcile(agent) {
+        const key = scopeOf(agent.ctx);
+        if (key === undefined)
+            return;
+        const state = this.stateOf(agent);
+        const inheritedView = scopeParentOf(key);
+        const declared = [...this.layers.merge(key, layer => layer.metas)];
+        // `get` answers from the visible view, which the agent's own restriction
+        // filters; the parent's view is unrestricted, and an own-layer tool is
+        // never restricted, so between the two every registered name shows.
+        const unregistered = declared
+            .filter(([name]) => this.ctx.tools.get(name, inheritedView) === undefined && this.ctx.tools.get(name, key) === undefined)
+            .map(([name]) => name);
+        if (unregistered.length > 0) {
+            throw new Error(`lyteboat tool policy: declared tool${unregistered.length > 1 ? 's' : ''} ${unregistered.map(name => JSON.stringify(name)).join(', ')} registered by no row reachable from agent "${agent.id}"`);
+        }
+        const unrestrictable = declared
+            .filter(([name, meta]) => meta.visibility === 'auto' && this.ctx.tools.get(name, inheritedView) === undefined)
+            .map(([name]) => name);
+        if (unrestrictable.length > 0) {
+            throw new Error(`lyteboat tool policy: auto tool${unrestrictable.length > 1 ? 's' : ''} ${unrestrictable.map(name => JSON.stringify(name)).join(', ')} registered in agent "${agent.id}"'s own layer, which restrict() cannot hide; register through the host or an agent row`);
+        }
+        const deny = this.deniedFor(key, inheritedView, state.activated);
+        if (sameNames(deny, state.deny))
+            return;
+        state.dispose?.();
+        state.dispose = deny.length === 0 ? undefined : agent.ctx.tools.restrict({ deny });
+        state.deny = deny;
+    }
+}
+export default ToolPolicyService;
+//# sourceMappingURL=index.js.map

package/lib/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AAEH,OAAO,EAAW,OAAO,EAAE,MAAM,qBAAqB,CAAA;AAEtD,OAAO,EAAE,YAAY,EAAE,YAAY,EAAE,OAAO,EAAE,aAAa,EAAE,MAAM,wBAAwB,CAAA;AAE3F,OAAO,EAAE,aAAa,EAAE,MAAM,wBAAwB,CAAA;AAItD,OAAO,EAAE,4BAA4B,EAAE,MAAM,qBAAqB,CAAA;AAElE,OAAO,EAAE,iCAAiC,EAAE,YAAY,EAAE,eAAe,EAAE,mBAAmB,EAAE,MAAM,YAAY,CAAA;AAWlH,uCAAuC;AACvC,MAAM,WAAW;IACN,KAAK,CAAgC;IAC9C,uHAAuH;IACvH,SAAS,CAA6C;IAEtD,YAAY,KAA2B;QACrC,IAAI,CAAC,KAAK,GAAG,IAAI,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,KAAK,CAAC,KAAK,KAAK,SAAS;YACjE,CAAC,CAAC,6BAA6B,IAAI,gCAAgC;YACnE,CAAC,CAAC,6BAA6B,IAAI,qCAAqC,CAAC,CAAC,CAAA;IAC9E,CAAC;IAED,OAAO;QACL,OAAO,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,IAAI,IAAI,CAAC,SAAS,KAAK,SAAS,CAAA;IAC7D,CAAC;CACF;AASD,8GAA8G;AAC9G,SAAS,cAAc,CAAC,UAA0B,EAAE,UAAuD;IACzG,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,CAAA;IAChC,MAAM,KAAK,GAAG,MAAM,CAAC,gBAAgB,EAAE,IAAI,CAAC,MAAM,CAAC,CAAA;IACnD,OAAO;QACL,GAAG,UAAU;QACb,MAAM,EAAE;YACN,GAAG,MAAM;YACT,gBAAgB,CAAC,IAAa,EAAE,KAAgB;gBAC9C,MAAM,IAAI,GAAG,KAAK,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,CAAA;gBACjC,MAAM,KAAK,GAAG,UAAU,CAAC,IAAI,EAAE,KAAK,CAAC,CAAA;gBACrC,6EAA6E;gBAC7E,wDAAwD;gBACxD,IAAI,KAAK,KAAK,SAAS;oBAAE,OAAO,IAAI,IAAI,EAAE,CAAA;gBAC1C,+EAA+E;gBAC/E,kFAAkF;gBAClF,eAAe,CAAC,EAAE,EAAE,KAAK,CAAC,CAAA;gBAC1B,IAAI,IAAI,KAAK,SAAS;oBAAE,OAAO,EAAE,QAAQ,EAAE,EAAE,UAAU,EAAE,KAAK,EAAE,EAAE,CAAA;gBAClE,+FAA+F;gBAC/F,IAAI,YAAY,CAAC,IAAI,CAAC;oBAAE,OAAO,EAAE,GAAG,IAAI,EAAE,QAAQ,EAAE,EAAE,GAAG,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,UAAU,EAAE,KAAK,EAAE,EAAE,CAAA;gBACtI,OAAO,EAAE,YAAY,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,UAAU,EAAE,KAAK,EAAE,EAAE,CAAA;YAChE,CAAC;SACF;KACF,CAAA;AACH,CAAC;AAED,SAAS,SAAS,CAAC,IAAuB,EAAE,KAAwB;IAClE,OAAO,IAAI,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,KAAK,KAAK,CAAC,KAAK,CAAC,CAAC,CAAA;AAC3F,CAAC;AAED,uFAAuF;AACvF,MAAM,OAAO,iBAAkB,SAAQ,OAAO;IAC5C,4FAA4F;IAC5F,MAAM,CAAC,MAAM,GAAG,CAAC,OAAO,EAAE,oBAAoB,EAAE,cAAc,EAAE,gBAAgB,CAAC,CAAA;IAEhE,MAAM,GAAG,IAAI,YAAY,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,WAAW,CAAC,KAAK,CAAC,EAAE,GAAG,EAAE,GAAE,CAAC,CAAC,CAAA;IACpE,MAAM,GAAG,IAAI,OAAO,EAA2B,CAAA;IAEhE,YAAY,GAAY;QACtB,KAAK,CAAC,GAAG,EAAE,YAAY,CAAC,CAAA;QACxB,GAAG,CAAC,kBAAkB,CAAC,QAAQ,CAAC,iCAAiC,CAAC,CAAA;QAClE,GAAG,CAAC,YAAY,CAAC,OAAO,CAAC;YACvB,IAAI,EAAE,gBAAgB;YACtB,KAAK,EAAE,4BAA4B;YACnC,IAAI,EAAE,CAAC,OAAO,EAAE,EAAE;gBAChB,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAA;gBAC3B,IAAI,KAAK,KAAK,SAAS;oBAAE,OAAO,EAAE,CAAA;gBAClC,OAAO,mBAAmB,CAAC,GAAG,CAAC,kBAAkB,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,EAAE,eAAe,CAAC,CAAC,CAAA;YAC5F,CAAC;SACF,CAAC,CAAA;QACF,yEAAyE;QACzE,yEAAyE;QACzE,kCAAkC;QAClC,GAAG,CAAC,EAAE,CAAC,uBAAuB,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE;YACtD,MAAM,IAAI,EAAE,CAAA;YACZ,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,KAAK,CAAC,CAAA;QAC/B,CAAC,CAAC,CAAA;IACJ,CAAC;IAED;;;;;;OAMG;IACH,QAAQ,CAAC,UAA0B,EAAE,OAAyB,EAAE;QAC9D,MAAM,OAAO,GAAG,IAAI,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,cAAc,CAAC,UAAU,EAAE,IAAI,CAAC,UAAU,CAAC,CAAA;QACxG,MAAM,WAAW,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAA;QACpD,IAAI,WAAuB,CAAA;QAC3B,IAAI,CAAC;YACH,WAAW,GAAG,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,IAAI,EAAE,IAAI,CAAC,CAAA;QACnD,CAAC;QAAC,OAAO,KAAc,EAAE,CAAC;YACxB,WAAW,EAAE,CAAA;YACb,MAAM,KAAK,CAAA;QACb,CAAC;QACD,OAAO,GAAG,EAAE;YACV,WAAW,EAAE,CAAA;YACb,WAAW,EAAE,CAAA;QACf,CAAC,CAAA;IACH,CAAC;IAED;;;;;;OAMG;IACH,OAAO,CAAC,IAAY,EAAE,IAAsB;QAC1C,OAAO,IAAI,CAAC,MAAM,CAAC,MAAM,CACvB,IAAI,CAAC,GAAG,EACR,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,EACvC,EAAE,KAAK,EAAE,sBAAsB,EAAE,MAAM,EAAE,KAAK,EAAE,CACjD,CAAA;IACH,CAAC;IAED;;;;;;;;OAQG;IACH,gBAAgB,CAAC,UAA2C;QAC1D,OAAO,IAAI,CAAC,MAAM,CAAC,MAAM,CACvB,IAAI,CAAC,GAAG,EACR,CAAC,KAAK,EAAE,EAAE;YACR,IAAI,KAAK,CAAC,SAAS,KAAK,SAAS;gBAAE,MAAM,IAAI,KAAK,CAAC,8FAA8F,KAAK,CAAC,SAAS,GAAG,CAAC,CAAA;YACpK,KAAK,CAAC,SAAS,GAAG,UAAU,CAAA;YAC5B,OAAO,GAAG,EAAE,GAAG,KAAK,CAAC,SAAS,GAAG,SAAS,CAAA,CAAC,CAAC,CAAA;QAC9C,CAAC,EACD,EAAE,KAAK,EAAE,+BAA+B,EAAE,MAAM,EAAE,KAAK,EAAE,CAC1D,CAAA;IACH,CAAC;IAED;;;;;;OAMG;IACH,MAAM,CAAC,IAAY,EAAE,KAAgB;QACnC,OAAO,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;IACjE,CAAC;IAED;;;;;OAKG;IACH,QAAQ,CAAC,KAAY,EAAE,KAAwB;QAC7C,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAA;QACzE,MAAM,OAAO,GAAG,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAA;QACtD,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACvB,MAAM,IAAI,KAAK,CAAC,wDAAwD,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,eAAe,CAAC,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,QAAQ,EAAE,CAAC,CAAA;QAChO,CAAC;QACD,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAA;QACjC,KAAK,MAAM,IAAI,IAAI,KAAK;YAAE,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;QACnD,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAA;IACvB,CAAC;IAED;;;OAGG;IACH,KAAK,CAAC,KAAY;QAChB,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAA;QACpC,IAAI,KAAK,KAAK,SAAS;YAAE,OAAM;QAC/B,KAAK,CAAC,SAAS,CAAC,KAAK,EAAE,CAAA;QACvB,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAA;IACvB,CAAC;IAED,6CAA6C;IAC7C,SAAS,CAAC,KAAY;QACpB,OAAO,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,SAAS,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAA;IAC5D,CAAC;IAED;;;;;;OAMG;IACH,OAAO,CAAC,KAAe;QACrB,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC,CAAA;QAC/D,OAAO,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAA;IACnG,CAAC;IAEO,OAAO,CAAC,KAAY;QAC1B,IAAI,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAA;QAClC,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACxB,KAAK,GAAG,EAAE,SAAS,EAAE,IAAI,GAAG,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,OAAO,EAAE,SAAS,EAAE,CAAA;YAC9D,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;QAC/B,CAAC;QACD,OAAO,KAAK,CAAA;IACd,CAAC;IAED,mIAAmI;IAC3H,WAAW,CAAC,GAAa;QAC/B,IAAI,UAAU,GAAoC,SAAS,CAAA;QAC3D,KAAK,MAAM,KAAK,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,GAAG,IAAI,CAAC,MAAM,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;YAAE,UAAU,GAAG,KAAK,CAAC,SAAS,IAAI,UAAU,CAAA;QACrH,OAAO,UAAU,CAAA;IACnB,CAAC;IAED;;;;OAIG;IACK,SAAS,CAAC,KAAe,EAAE,aAAmC,EAAE,SAA8B;QACpG,MAAM,QAAQ,GAAG,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAA;QACpE,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,CAAA;QAC7D,2EAA2E;QAC3E,uEAAuE;QACvE,MAAM,eAAe,GAAG,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,KAAK,QAAQ;YAC1D,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,KAAK,aAAa,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACrI,CAAC,CAAC,EAAE,CAAA;QACN,OAAO,QAAQ;aACZ,MAAM,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,UAAU,KAAK,MAAM,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;aAC5E,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC;aACrB,MAAM,CAAC,eAAe,CAAC;aACvB,IAAI,EAAE,CAAA;IACX,CAAC;IAED;;;;;;;OAOG;IACK,SAAS,CAAC,KAAY;QAC5B,MAAM,GAAG,GAAG,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAA;QAC9B,IAAI,GAAG,KAAK,SAAS;YAAE,OAAM;QAC7B,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAA;QACjC,MAAM,aAAa,GAAG,aAAa,CAAC,GAAG,CAAC,CAAA;QACxC,MAAM,QAAQ,GAAG,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAA;QAClE,yEAAyE;QACzE,uEAAuE;QACvE,oEAAoE;QACpE,MAAM,YAAY,GAAG,QAAQ;aAC1B,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,aAAa,CAAC,KAAK,SAAS,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,KAAK,SAAS,CAAC;aACxH,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,CAAA;QACxB,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC5B,MAAM,IAAI,KAAK,CAAC,sCAAsC,YAAY,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,+CAA+C,KAAK,CAAC,EAAE,GAAG,CAAC,CAAA;QAClN,CAAC;QACD,MAAM,cAAc,GAAG,QAAQ;aAC5B,MAAM,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,UAAU,KAAK,MAAM,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,aAAa,CAAC,KAAK,SAAS,CAAC;aAC7G,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,CAAA;QACxB,IAAI,cAAc,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC9B,MAAM,IAAI,KAAK,CAAC,kCAAkC,cAAc,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,yBAAyB,KAAK,CAAC,EAAE,wFAAwF,CAAC,CAAA;QACjR,CAAC;QACD,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,EAAE,aAAa,EAAE,KAAK,CAAC,SAAS,CAAC,CAAA;QAChE,IAAI,SAAS,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC;YAAE,OAAM;QACvC,KAAK,CAAC,OAAO,EAAE,EAAE,CAAA;QACjB,KAAK,CAAC,OAAO,GAAG,IAAI,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,CAAC,CAAA;QAClF,KAAK,CAAC,IAAI,GAAG,IAAI,CAAA;IACnB,CAAC;;AAGH,eAAe,iBAAiB,CAAA"}

package/lib/state.d.ts

@@ -0,0 +1,35 @@
+/**
+ * The `lyteboatState` projection: the session's accumulated tool state, folded
+ * from the `stateDelta` a successful `tool/result` carries on
+ * `meta.lyteboat.stateDelta`. A delta is a JSON object whose top-level keys are
+ * dot paths (`assets.total`); each path is assigned into the state, nested
+ * plain objects deep-merge (the reference `apply_state_delta` overwrites the leaf
+ * instead; lyteboat keeps sibling fields a partial refresh did not mention),
+ * every other value replaces. The fold is immutable and returns the same
+ * reference when nothing changed.
+ * @module @lyteboat/tool-policy/state
+ */
+import type { JsonValue, LyteboatStateValue } from '@lyteboat/contracts';
+/** Whether a JSON value is a plain object (the only shape that merges). */
+export declare function isJsonObject(value: JsonValue | undefined): value is LyteboatStateValue;
+/**
+ * Fold one delta into the state.
+ * @param state - the state before the delta.
+ * @param delta - a JSON object keyed by dot paths.
+ * @returns the next state, or `state` itself when the delta changed nothing.
+ */
+export declare function mergeStateDelta(state: LyteboatStateValue, delta: JsonValue): LyteboatStateValue;
+export declare const lyteboatStateProjectionDefinition: {
+    key: "lyteboatState";
+    stateSchema: import("zod").ZodType<LyteboatStateValue, unknown, import("zod/v4/core").$ZodTypeInternals<LyteboatStateValue, unknown>>;
+    init: () => LyteboatStateValue;
+    apply(state: LyteboatStateValue, event: import("@deepseek-ai/dsh-session").SessionEvent): LyteboatStateValue;
+    wire: {
+        viewSchema: import("zod").ZodType<LyteboatStateValue, unknown, import("zod/v4/core").$ZodTypeInternals<LyteboatStateValue, unknown>>;
+        view: (state: LyteboatStateValue) => LyteboatStateValue;
+    };
+    stateVersion: number;
+};
+/** The model-facing rendering of the current state; empty when there is none. */
+export declare function renderLyteboatState(state: LyteboatStateValue | undefined): string;
+//# sourceMappingURL=state.d.ts.map

package/lib/state.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"state.d.ts","sourceRoot":"","sources":["../src/state.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAIH,OAAO,KAAK,EAAE,SAAS,EAAsB,kBAAkB,EAAE,MAAM,qBAAqB,CAAA;AAE5F,2EAA2E;AAC3E,wBAAgB,YAAY,CAAC,KAAK,EAAE,SAAS,GAAG,SAAS,GAAG,KAAK,IAAI,kBAAkB,CAEtF;AA2BD;;;;;GAKG;AACH,wBAAgB,eAAe,CAAC,KAAK,EAAE,kBAAkB,EAAE,KAAK,EAAE,SAAS,GAAG,kBAAkB,CAS/F;AAaD,eAAO,MAAM,iCAAiC;;;gBAGlC,kBAAkB;iBACf,kBAAkB;;;sBAgB6B,kBAAkB;;;CAEX,CAAA;AAErE,iFAAiF;AACjF,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,kBAAkB,GAAG,SAAS,GAAG,MAAM,CAGjF"}

package/lib/state.js

@@ -0,0 +1,107 @@
+/**
+ * The `lyteboatState` projection: the session's accumulated tool state, folded
+ * from the `stateDelta` a successful `tool/result` carries on
+ * `meta.lyteboat.stateDelta`. A delta is a JSON object whose top-level keys are
+ * dot paths (`assets.total`); each path is assigned into the state, nested
+ * plain objects deep-merge (the reference `apply_state_delta` overwrites the leaf
+ * instead; lyteboat keeps sibling fields a partial refresh did not mention),
+ * every other value replaces. The fold is immutable and returns the same
+ * reference when nothing changed.
+ * @module @lyteboat/tool-policy/state
+ */
+import { lyteboatResultMetaSchema, lyteboatStateValueSchema } from '@lyteboat/contracts';
+/** Whether a JSON value is a plain object (the only shape that merges). */
+export function isJsonObject(value) {
+    return typeof value === 'object' && value !== null && !Array.isArray(value);
+}
+/** Deep-merge two plain objects without splitting keys; returns `target` when nothing changed. */
+function deepMerge(target, source) {
+    let next = target;
+    for (const [key, value] of Object.entries(source)) {
+        const current = next[key];
+        const replacement = isJsonObject(value) && isJsonObject(current) ? deepMerge(current, value) : value;
+        if (Object.is(replacement, current))
+            continue;
+        next = { ...next, [key]: replacement };
+    }
+    return next;
+}
+function assignPath(target, path, value) {
+    const [head, ...rest] = path;
+    /* v8 ignore next -- mergeStateDelta rejects an empty path before descending */
+    if (head === undefined)
+        throw new Error('state delta path must not be empty');
+    const current = target[head];
+    let replacement;
+    if (rest.length > 0)
+        replacement = assignPath(isJsonObject(current) ? current : {}, rest, value);
+    else if (isJsonObject(value) && isJsonObject(current))
+        replacement = deepMerge(current, value);
+    else
+        replacement = value;
+    if (Object.is(replacement, current))
+        return target;
+    return { ...target, [head]: replacement };
+}
+/**
+ * Fold one delta into the state.
+ * @param state - the state before the delta.
+ * @param delta - a JSON object keyed by dot paths.
+ * @returns the next state, or `state` itself when the delta changed nothing.
+ */
+export function mergeStateDelta(state, delta) {
+    if (!isJsonObject(delta))
+        throw new Error('state delta must be a JSON object keyed by dot paths');
+    let next = state;
+    for (const [path, value] of Object.entries(delta)) {
+        const segments = path.split('.');
+        if (segments.some(segment => segment === ''))
+            throw new Error(`state delta path ${JSON.stringify(path)} has an empty segment`);
+        next = assignPath(next, segments, value);
+    }
+    return next;
+}
+/**
+ * The delta a result's presentation meta carries under `lyteboat.stateDelta`.
+ * @param meta - a tool result's presentation meta.
+ * @returns the delta; undefined when the meta carries no `lyteboat` envelope or it has no delta.
+ * @throws when the `lyteboat` envelope fails its schema.
+ */
+function stateDeltaOfMeta(meta) {
+    if (!isJsonObject(meta) || meta['lyteboat'] === undefined)
+        return undefined;
+    return lyteboatResultMetaSchema.parse(meta['lyteboat']).stateDelta;
+}
+export const lyteboatStateProjectionDefinition = {
+    key: 'lyteboatState',
+    stateSchema: lyteboatStateValueSchema,
+    init: () => ({}),
+    apply(state, event) {
+        // dsh computes no presentation meta for a PTC sub-dispatch (a tool the
+        // `run_code` SDK calls, `exec.parent` set), so only model-direct calls carry
+        // a delta; an errored result carries no delta worth folding.
+        // A surface replacement (compaction pruning, an agent shortening an old
+        // result) must keep the original meta, so folding it would apply an old delta
+        // over newer state: only the appended result counts.
+        if (event.type !== 'tool/result' || event.surfaceOp !== 'append')
+            return state;
+        if (event.data.message.isError === true)
+            return state;
+        try {
+            const delta = stateDeltaOfMeta(event.data.meta);
+            return delta === undefined ? state : mergeStateDelta(state, delta);
+        }
+        catch (error) {
+            throw new Error(`tool result at session seq ${String(event.seq)} carries an invalid meta.lyteboat`, { cause: error });
+        }
+    },
+    wire: { viewSchema: lyteboatStateValueSchema, view: (state) => state },
+    stateVersion: 1,
+};
+/** The model-facing rendering of the current state; empty when there is none. */
+export function renderLyteboatState(state) {
+    if (state === undefined || Object.keys(state).length === 0)
+        return '';
+    return `Session state, accumulated from tool results (JSON):\n${JSON.stringify(state)}`;
+}
+//# sourceMappingURL=state.js.map

package/lib/state.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"state.js","sourceRoot":"","sources":["../src/state.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAGH,OAAO,EAAE,wBAAwB,EAAE,wBAAwB,EAAE,MAAM,qBAAqB,CAAA;AAGxF,2EAA2E;AAC3E,MAAM,UAAU,YAAY,CAAC,KAA4B;IACvD,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAA;AAC7E,CAAC;AAED,kGAAkG;AAClG,SAAS,SAAS,CAAC,MAA0B,EAAE,MAA0B;IACvE,IAAI,IAAI,GAAG,MAAM,CAAA;IACjB,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;QAClD,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,CAAA;QACzB,MAAM,WAAW,GAAG,YAAY,CAAC,KAAK,CAAC,IAAI,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAA;QACpG,IAAI,MAAM,CAAC,EAAE,CAAC,WAAW,EAAE,OAAO,CAAC;YAAE,SAAQ;QAC7C,IAAI,GAAG,EAAE,GAAG,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,WAAW,EAAE,CAAA;IACxC,CAAC;IACD,OAAO,IAAI,CAAA;AACb,CAAC;AAED,SAAS,UAAU,CAAC,MAA0B,EAAE,IAAuB,EAAE,KAAgB;IACvF,MAAM,CAAC,IAAI,EAAE,GAAG,IAAI,CAAC,GAAG,IAAI,CAAA;IAC5B,+EAA+E;IAC/E,IAAI,IAAI,KAAK,SAAS;QAAE,MAAM,IAAI,KAAK,CAAC,oCAAoC,CAAC,CAAA;IAC7E,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,CAAA;IAC5B,IAAI,WAAsB,CAAA;IAC1B,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC;QAAE,WAAW,GAAG,UAAU,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,CAAA;SAC3F,IAAI,YAAY,CAAC,KAAK,CAAC,IAAI,YAAY,CAAC,OAAO,CAAC;QAAE,WAAW,GAAG,SAAS,CAAC,OAAO,EAAE,KAAK,CAAC,CAAA;;QACzF,WAAW,GAAG,KAAK,CAAA;IACxB,IAAI,MAAM,CAAC,EAAE,CAAC,WAAW,EAAE,OAAO,CAAC;QAAE,OAAO,MAAM,CAAA;IAClD,OAAO,EAAE,GAAG,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,WAAW,EAAE,CAAA;AAC3C,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,eAAe,CAAC,KAAyB,EAAE,KAAgB;IACzE,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,sDAAsD,CAAC,CAAA;IACjG,IAAI,IAAI,GAAG,KAAK,CAAA;IAChB,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QAClD,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAA;QAChC,IAAI,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,OAAO,KAAK,EAAE,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,oBAAoB,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAA;QAC9H,IAAI,GAAG,UAAU,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAA;IAC1C,CAAC;IACD,OAAO,IAAI,CAAA;AACb,CAAC;AAED;;;;;GAKG;AACH,SAAS,gBAAgB,CAAC,IAA2B;IACnD,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,KAAK,SAAS;QAAE,OAAO,SAAS,CAAA;IAC3E,OAAO,wBAAwB,CAAC,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,UAAU,CAAA;AACpE,CAAC;AAED,MAAM,CAAC,MAAM,iCAAiC,GAAG;IAC/C,GAAG,EAAE,eAAe;IACpB,WAAW,EAAE,wBAAwB;IACrC,IAAI,EAAE,GAAuB,EAAE,CAAC,CAAC,EAAE,CAAC;IACpC,KAAK,CAAC,KAAyB,EAAE,KAAK;QACpC,uEAAuE;QACvE,6EAA6E;QAC7E,6DAA6D;QAC7D,wEAAwE;QACxE,8EAA8E;QAC9E,qDAAqD;QACrD,IAAI,KAAK,CAAC,IAAI,KAAK,aAAa,IAAI,KAAK,CAAC,SAAS,KAAK,QAAQ;YAAE,OAAO,KAAK,CAAA;QAC9E,IAAI,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,KAAK,IAAI;YAAE,OAAO,KAAK,CAAA;QACrD,IAAI,CAAC;YACH,MAAM,KAAK,GAAG,gBAAgB,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;YAC/C,OAAO,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,eAAe,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;QACpE,CAAC;QAAC,OAAO,KAAc,EAAE,CAAC;YACxB,MAAM,IAAI,KAAK,CAAC,8BAA8B,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,mCAAmC,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAA;QACvH,CAAC;IACH,CAAC;IACD,IAAI,EAAE,EAAE,UAAU,EAAE,wBAAwB,EAAE,IAAI,EAAE,CAAC,KAAyB,EAAE,EAAE,CAAC,KAAK,EAAE;IAC1F,YAAY,EAAE,CAAC;CACoD,CAAA;AAErE,iFAAiF;AACjF,MAAM,UAAU,mBAAmB,CAAC,KAAqC;IACvE,IAAI,KAAK,KAAK,SAAS,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAA;IACrE,OAAO,yDAAyD,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAAA;AACzF,CAAC"}

package/package.json

@@ -1,6 +1,48 @@
 {
   "name": "@lyteboat/tool-policy",
-  "version": "0.0.0-stage",
-  "stub": true,
-  "description": "Temporary package placeholder for staged publishing"
+  "version": "0.1.0",
+  "license": "MIT",
+  "description": "lyteboat's tool policy over the dsh tool registry: visibility (always/auto + activation, and whether an agent's undeclared inherited tools stay visible) and tool-result state deltas folded into the lyteboatState projection",
+  "repository": {
+    "type": "git",
+    "url": "git+https://github.com/lyteboat/lyteboat.git",
+    "directory": "lyteboat/plugins/tool-policy"
+  },
+  "homepage": "https://github.com/lyteboat/lyteboat#readme",
+  "type": "module",
+  "exports": {
+    ".": {
+      "@lyteboat/source": "./src/index.ts",
+      "types": "./lib/index.d.ts",
+      "default": "./lib/index.js"
+    }
+  },
+  "files": [
+    "lib"
+  ],
+  "dependencies": {
+    "@deepseek-ai/dsh-scope": "0.2.0-rc.2",
+    "@lyteboat/contracts": "0.1.0"
+  },
+  "peerDependencies": {
+    "@deepseek-ai/cordis": "4.0.4",
+    "@deepseek-ai/dsh-agent": "0.2.0-rc.2",
+    "@deepseek-ai/dsh-session": "0.2.0-rc.2",
+    "@deepseek-ai/dsh-system-prompt": "0.2.0-rc.2",
+    "@deepseek-ai/dsh-session-projection": "0.2.0-rc.2",
+    "@deepseek-ai/dsh-tools": "0.2.0-rc.2"
+  },
+  "devDependencies": {
+    "@deepseek-ai/cordis": "4.0.4",
+    "@lyteboat/testkit": "0.1.0",
+    "@deepseek-ai/dsh-agent": "0.2.0-rc.2",
+    "@deepseek-ai/dsh-session": "0.2.0-rc.2",
+    "@lyteboat/distro": "0.1.0",
+    "@deepseek-ai/dsh-session-projection": "0.2.0-rc.2",
+    "@deepseek-ai/dsh-system-prompt": "0.2.0-rc.2",
+    "@deepseek-ai/dsh-tools": "0.2.0-rc.2"
+  },
+  "publishConfig": {
+    "access": "public"
+  }
 }