agentfootprint/dist/mcp/pool/lease.js

The explainable agent framework — backtrack a wrong answer to the exact context that caused it (evidence, not guesses). Built on footprintjs.

"use strict";
/**
 * lease — the app's explicit, bounded hold on one conversation's client.
 *
 * Pattern: a handle that releases at most once, by hand or by `await using`.
 * Role:    § 3.3 and § 5.2 of the design. `acquire` is for code that drives a
 *          sequence itself, or a host that must keep a conversation's client
 *          from eviction for a whole turn (it holds one around `agent.run()`, and
 *          the provider then finds the same client). It is the only way to
 *          protect a client between calls: there is no hidden grace period.
 *
 * The `acquire` that opened it was the operation; the held lease is not one. It
 * is bounded by `maxLeaseMs`: past it, it is revoked at the next pool
 * interaction and reported, and its next use throws `lease-expired`. Calls
 * already in flight keep their own leases until they settle.
 */
Object.defineProperty(exports, "__esModule", { value: true });
exports.leaseHandle = void 0;
const lifecycle_js_1 = require("../../strategies/lifecycle.js");
const boundTool_js_1 = require("./boundTool.js");
const listTools_js_1 = require("./listTools.js");
const record_js_1 = require("./record.js");
/** The lease handle for `held`, on `key`'s client. */
function leaseHandle(pool, key, held) {
    const release = () => {
        if (held.released)
            return;
        held.released = true;
        pool.endLease(held);
        pool.interact();
    };
    const handle = {
        async tools(options) {
            pool.interact();
            if (held.revoked || held.released)
                throw pool.refused('lease-expired');
            const facts = new record_js_1.UseFacts(pool.settings.name, 'list');
            try {
                return await (0, listTools_js_1.listTools)(pool, key, options?.signal, facts);
            }
            catch (error) {
                (0, boundTool_js_1.noteRefusal)(facts, error);
                throw error;
            }
        },
        release,
        [lifecycle_js_1.ASYNC_DISPOSE]: async () => release(),
    };
    // The computed key gives TypeScript a symbol index rather than the one
    // well-known member `AsyncDisposable` names; at runtime it IS
    // `Symbol.asyncDispose` on every engine this package supports.
    return handle;
}
exports.leaseHandle = leaseHandle;
//# sourceMappingURL=lease.js.map