@avow-finance/sdk 0.0.0-stage → 0.2.0

package/dist/session/service-check.js

@@ -0,0 +1,86 @@
+import { lockRecordDifferences, lockTerms, } from '@avow-finance/spec';
+import { verifyJobVerification, } from '@avow-finance/verifier';
+import { isAddressEqual } from 'viem';
+/**
+ * The customer's commitment and its reserve, read at one finalized block. `verifyJobVerification`
+ * reads the commitment and each compute booking the job relies on at that block, and the lock's
+ * whole record is read at the same block, so every field the lock enforces is checked against the
+ * job's terms as of the block the check names.
+ */
+export async function verifyCommitment(job, chain, now) {
+    const refuse = (code, block, index = null) => ({ ok: false, code, block, index });
+    const read = await verifyJobVerification({ verification: job.verification, now }, { readers: chain.readers });
+    if (read.outcome === 'refused')
+        return refuse(read.reason, read.block, read.index);
+    if (read.outcome !== 'awaiting_acceptance' && read.outcome !== 'stands') {
+        return refuse('chain.reserve_missing', read.job.block);
+    }
+    const block = read.job.block;
+    if (!isAddressEqual(read.supplier, job.supplier.account)) {
+        return refuse('approval.parties_mismatch', block);
+    }
+    const c = job.commitment;
+    const held = await chain.backing(c.lock, c.commitmentId, c.side, block.number);
+    if (!held)
+        return refuse('chain.reserve_missing', block);
+    const fits = isAddressEqual(held.token, job.token.address) &&
+        isAddressEqual(held.supplier, job.supplier.account) &&
+        isAddressEqual(held.supplierSigner, job.supplier.signingKey) &&
+        isAddressEqual(held.payee, job.supplier.payee) &&
+        held.termsHash.toLowerCase() === c.termsHash.toLowerCase() &&
+        held.held === held.amount &&
+        lockRecordDifferences(held, lockTerms(job.terms, job.token.decimals)).length === 0;
+    if (!fits)
+        return refuse('chain.reserve_mismatch', block);
+    return {
+        ok: true,
+        state: read.outcome === 'stands' ? 'accepted' : 'reserved',
+        reserve: held.amount,
+        block,
+        bookings: read.bookings.flatMap((b) => b.standing ? [{ reference: { ...b.booking }, block: b.readAt }] : []),
+    };
+}
+/** The checks bound to one chain, as `checkBeforeWork` gets them. */
+export function serviceChecks(chain, now) {
+    return { verifyCommitment: (job) => verifyCommitment(job, chain, now()) };
+}
+/** A snapshot's chain, read as a live one is. */
+export function snapshotChain(snapshot) {
+    const lockAt = (lock) => snapshot.locks.find((l) => isAddressEqual(l.address, lock));
+    const recordOf = (lock, commitmentId, side) => lockAt(lock)?.records.find((r) => r.side === side && r.commitmentId.toLowerCase() === commitmentId.toLowerCase())?.record ?? null;
+    const reader = {
+        chainId: snapshot.chainId,
+        factory: snapshot.factory,
+        head: async () => snapshot.block,
+        blockHash: async (n) => (n === snapshot.block.number ? snapshot.block.hash : null),
+        isLock: async (lock) => lockAt(lock) !== undefined,
+        lockFields: async (lock) => {
+            const found = lockAt(lock);
+            if (!found)
+                throw new Error(`No contract at ${lock}`);
+            return { factory: snapshot.factory, account: found.account };
+        },
+        commitment: async (lock, commitmentId, side) => {
+            const r = recordOf(lock, commitmentId, side);
+            return r
+                ? {
+                    state: r.state,
+                    hasReport: r.hasReport,
+                    termsHash: r.termsHash,
+                    supplier: r.supplier,
+                    freeCancelBy: r.freeCancelBy,
+                }
+                : null;
+        },
+    };
+    return {
+        readers: [reader],
+        backing: async (lock, commitmentId, side) => recordOf(lock, commitmentId, side),
+    };
+}
+/** The references of a job's commitment and its bookings, whose records a snapshot has to hold. */
+export const snapshotReferences = (job) => [
+    job.commitment,
+    ...job.verification.dependencies.map((d) => d.on),
+];
+//# sourceMappingURL=service-check.js.map

package/dist/session/service-check.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"service-check.js","sourceRoot":"","sources":["../../src/session/service-check.ts"],"names":[],"mappings":"AAAA,OAAO,EAEL,qBAAqB,EACrB,SAAS,GAGV,MAAM,oBAAoB,CAAA;AAC3B,OAAO,EAIL,qBAAqB,GACtB,MAAM,wBAAwB,CAAA;AAC/B,OAAO,EAA0B,cAAc,EAAE,MAAM,MAAM,CAAA;AAgB7D;;;;;GAKG;AACH,MAAM,CAAC,KAAK,UAAU,gBAAgB,CACpC,GAAgB,EAChB,KAAsB,EACtB,GAAW;IAEX,MAAM,MAAM,GAAG,CACb,IAAqD,EACrD,KAAyB,EACzB,KAAK,GAAkB,IAAI,EACV,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAA;IACzD,MAAM,IAAI,GAAG,MAAM,qBAAqB,CACtC,EAAE,YAAY,EAAE,GAAG,CAAC,YAAY,EAAE,GAAG,EAAE,EACvC,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,CAC3B,CAAA;IACD,IAAI,IAAI,CAAC,OAAO,KAAK,SAAS;QAAE,OAAO,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,CAAA;IAClF,IAAI,IAAI,CAAC,OAAO,KAAK,qBAAqB,IAAI,IAAI,CAAC,OAAO,KAAK,QAAQ,EAAE,CAAC;QACxE,OAAO,MAAM,CAAC,uBAAuB,EAAE,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAA;IACxD,CAAC;IACD,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAA;IAC5B,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;QACzD,OAAO,MAAM,CAAC,2BAA2B,EAAE,KAAK,CAAC,CAAA;IACnD,CAAC;IACD,MAAM,CAAC,GAAG,GAAG,CAAC,UAAU,CAAA;IACxB,MAAM,IAAI,GAAG,MAAM,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,YAAY,EAAE,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,MAAM,CAAC,CAAA;IAC9E,IAAI,CAAC,IAAI;QAAE,OAAO,MAAM,CAAC,uBAAuB,EAAE,KAAK,CAAC,CAAA;IACxD,MAAM,IAAI,GACR,cAAc,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC;QAC7C,cAAc,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC;QACnD,cAAc,CAAC,IAAI,CAAC,cAAc,EAAE,GAAG,CAAC,QAAQ,CAAC,UAAU,CAAC;QAC5D,cAAc,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC;QAC9C,IAAI,CAAC,SAAS,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC,SAAS,CAAC,WAAW,EAAE;QAC1D,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,MAAM;QACzB,qBAAqB,CAAC,IAAI,EAAE,SAAS,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,KAAK,CAAC,CAAA;IACpF,IAAI,CAAC,IAAI;QAAE,OAAO,MAAM,CAAC,wBAAwB,EAAE,KAAK,CAAC,CAAA;IACzD,OAAO;QACL,EAAE,EAAE,IAAI;QACR,KAAK,EAAE,IAAI,CAAC,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,UAAU;QAC1D,OAAO,EAAE,IAAI,CAAC,MAAM;QACpB,KAAK;QACL,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CACpC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,EAAE,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CACrE;KACF,CAAA;AACH,CAAC;AAED,qEAAqE;AACrE,MAAM,UAAU,aAAa,CAAC,KAAsB,EAAE,GAAiB;IACrE,OAAO,EAAE,gBAAgB,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,gBAAgB,CAAC,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,EAAE,CAAA;AAC3E,CAAC;AAkBD,iDAAiD;AACjD,MAAM,UAAU,aAAa,CAAC,QAAuB;IACnD,MAAM,MAAM,GAAG,CAAC,IAAa,EAAE,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,CAAA;IAC7F,MAAM,QAAQ,GAAG,CAAC,IAAa,EAAE,YAAiB,EAAE,IAAU,EAAE,EAAE,CAChE,MAAM,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC,IAAI,CACxB,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,IAAI,CAAC,CAAC,YAAY,CAAC,WAAW,EAAE,KAAK,YAAY,CAAC,WAAW,EAAE,CACtF,EAAE,MAAM,IAAI,IAAI,CAAA;IACnB,MAAM,MAAM,GAAqB;QAC/B,OAAO,EAAE,QAAQ,CAAC,OAAO;QACzB,OAAO,EAAE,QAAQ,CAAC,OAAO;QACzB,IAAI,EAAE,KAAK,IAAI,EAAE,CAAC,QAAQ,CAAC,KAAK;QAChC,SAAS,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;QAClF,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,SAAS;QAClD,UAAU,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE;YACzB,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,CAAA;YAC1B,IAAI,CAAC,KAAK;gBAAE,MAAM,IAAI,KAAK,CAAC,kBAAkB,IAAI,EAAE,CAAC,CAAA;YACrD,OAAO,EAAE,OAAO,EAAE,QAAQ,CAAC,OAAO,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,CAAA;QAC9D,CAAC;QACD,UAAU,EAAE,KAAK,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAoC,EAAE;YAC/E,MAAM,CAAC,GAAG,QAAQ,CAAC,IAAI,EAAE,YAAY,EAAE,IAAI,CAAC,CAAA;YAC5C,OAAO,CAAC;gBACN,CAAC,CAAC;oBACE,KAAK,EAAE,CAAC,CAAC,KAAK;oBACd,SAAS,EAAE,CAAC,CAAC,SAAS;oBACtB,SAAS,EAAE,CAAC,CAAC,SAAS;oBACtB,QAAQ,EAAE,CAAC,CAAC,QAAQ;oBACpB,YAAY,EAAE,CAAC,CAAC,YAAY;iBAC7B;gBACH,CAAC,CAAC,IAAI,CAAA;QACV,CAAC;KACF,CAAA;IACD,OAAO;QACL,OAAO,EAAE,CAAC,MAAM,CAAC;QACjB,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,EAAE,YAAY,EAAE,IAAI,CAAC;KAChF,CAAA;AACH,CAAC;AAED,mGAAmG;AACnG,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,GAAgB,EAAyB,EAAE,CAAC;IAC7E,GAAG,CAAC,UAAU;IACd,GAAG,GAAG,CAAC,YAAY,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;CAClD,CAAA"}

package/dist/session/service.d.ts

@@ -0,0 +1,128 @@
+import { type ChainedJobTerms, type CommitmentReference, type JobVerification, type PinnedBlock, type ReasonCode } from '@avow-finance/spec';
+import type { Address, Hex } from 'viem';
+/**
+ * The developer's job service, which `service.ts` defines. Its budget and compute switch are what
+ * the tool layer applies before the SDK books anything, and its `checkBeforeWork` is the
+ * developer's own check of the customer's commitment before the business accepts it or any work
+ * starts. The session runs both in a process of their own with no keys, and takes back only data.
+ * The model reads none of it and can't change it.
+ */
+export interface ServiceFile {
+    /**
+     * The most a compute booking may cost per GPU-hour, in dollars, such as 3 or 2.40. The tool layer
+     * refuses an offer over it with `service.over_budget`.
+     */
+    computeBudgetPerGpuHour: number;
+    /**
+     * The compute switch. While it's true the agent books compute for each job and names the booking
+     * in its quote. While it's false the tool layer refuses every booking with `service.compute_off`,
+     * and a quote goes out naming no booking.
+     */
+    bookCompute: boolean;
+    /**
+     * Runs once the customer has reserved for a job, before the business accepts the job. The
+     * business accepts and work starts only when it returns `start`. It runs with no keys, and
+     * `avow` reads the chain and nothing else.
+     */
+    checkBeforeWork(job: ReservedJob, avow: ServiceChecks): Promise<Verdict>;
+}
+/** A job the customer has reserved for, as `checkBeforeWork` gets it. Everything in it is public. */
+export interface ReservedJob {
+    orderId: string;
+    /** The customer's commitment, on the buyer side of the customer's lock. */
+    commitment: CommitmentReference;
+    /** What a link to verify the job carries, which `verifyCommitment` checks on the chain. */
+    verification: JobVerification;
+    /** The job's terms as the business quoted them, and their salt. */
+    terms: ChainedJobTerms;
+    salt: Hex;
+    /** The business as the job's supplier, which the customer's lock has to name. */
+    supplier: {
+        account: Address;
+        signingKey: Address;
+        payee: Address;
+    };
+    /** The lock's token, which the reserve is held in. */
+    token: {
+        address: Address;
+        decimals: number;
+    };
+}
+/** The checks `checkBeforeWork` can run, each reading the chain and nothing else. */
+export interface ServiceChecks {
+    /**
+     * Reads the customer's commitment and its reserve on its lock, at one finalized block. The lock
+     * has to be from Avow's factory and hold the commitment under the job's terms hash, reserved or
+     * already accepted, naming this business as supplier, with its signing key and payout. Every
+     * value the lock enforces has to be what the job's terms set, and the reserve has to be held in
+     * full. Each compute booking the job relies on has to stand at the same block.
+     */
+    verifyCommitment(job: ReservedJob): Promise<CommitmentCheck>;
+}
+/** What `verifyCommitment` read, at one block, or why the commitment doesn't stand. */
+export type CommitmentCheck = {
+    ok: true;
+    state: 'reserved' | 'accepted';
+    /** What the customer's reserve holds, in micros. */
+    reserve: bigint;
+    block: PinnedBlock;
+    /** Each compute booking the job relies on, as read at the same block. */
+    bookings: {
+        reference: CommitmentReference;
+        block: PinnedBlock;
+    }[];
+} | {
+    ok: false;
+    code: ReasonCode;
+    block: PinnedBlock | null;
+    index: number | null;
+};
+/** Whether work starts, with the check it rests on or why not. */
+export type Verdict = {
+    start: true;
+    check: Extract<CommitmentCheck, {
+        ok: true;
+    }>;
+} | {
+    start: false;
+    code: ReasonCode;
+    block: PinnedBlock | null;
+    index: number | null;
+};
+/** Work starts, on the check that passed. */
+export declare function start(check: CommitmentCheck): Verdict;
+/** Work doesn't start, for the reason a failed check gave or one the developer names. */
+export declare function dontStart(why: Extract<CommitmentCheck, {
+    ok: false;
+}> | {
+    code: ReasonCode;
+}): Verdict;
+/** The policy the tool layer applies, in micros. */
+export interface ServicePolicy {
+    budgetPerGpuHour: bigint;
+    computeSwitch: 'on' | 'off';
+}
+/** The developer's service as `defineService` checked it. */
+export interface Service {
+    readonly kind: 'avow-job-service';
+    readonly policy: ServicePolicy;
+    checkBeforeWork(job: ReservedJob, avow: ServiceChecks): Promise<Verdict>;
+}
+/**
+ * Reads the developer's service, refusing anything that isn't a budget in dollars, a switch and a
+ * function, so a typo in `service.ts` fails when the session loads it and never inside a job.
+ */
+export declare function defineService(file: ServiceFile): Service;
+/** Whether a value is a service `defineService` made, as a loaded `service.ts` exports by default. */
+export declare function isService(value: unknown): value is Service;
+/** A policy as the child process wrote it, or null when it doesn't read. */
+export declare function readPolicy(json: unknown): ServicePolicy | null;
+/**
+ * A verdict as the child process wrote it, or null when it doesn't read. The verdict comes from
+ * the developer's own code, so every field is read here, at the boundary, and anything else is
+ * dropped. A start names the block its check read and the compute bookings it read with it.
+ */
+export declare function readVerdict(json: unknown): Verdict | null;
+/** One quiet line for each way a re-read policy differs from the last one. */
+export declare function policyChanges(before: ServicePolicy, after: ServicePolicy): string[];
+//# sourceMappingURL=service.d.ts.map

package/dist/session/service.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"service.d.ts","sourceRoot":"","sources":["../../src/session/service.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,KAAK,eAAe,EACpB,KAAK,mBAAmB,EAExB,KAAK,eAAe,EACpB,KAAK,WAAW,EAEhB,KAAK,UAAU,EAChB,MAAM,oBAAoB,CAAA;AAC3B,OAAO,KAAK,EAAE,OAAO,EAAE,GAAG,EAAE,MAAM,MAAM,CAAA;AAExC;;;;;;GAMG;AACH,MAAM,WAAW,WAAW;IAC1B;;;OAGG;IACH,uBAAuB,EAAE,MAAM,CAAA;IAC/B;;;;OAIG;IACH,WAAW,EAAE,OAAO,CAAA;IACpB;;;;OAIG;IACH,eAAe,CAAC,GAAG,EAAE,WAAW,EAAE,IAAI,EAAE,aAAa,GAAG,OAAO,CAAC,OAAO,CAAC,CAAA;CACzE;AAED,qGAAqG;AACrG,MAAM,WAAW,WAAW;IAC1B,OAAO,EAAE,MAAM,CAAA;IACf,2EAA2E;IAC3E,UAAU,EAAE,mBAAmB,CAAA;IAC/B,2FAA2F;IAC3F,YAAY,EAAE,eAAe,CAAA;IAC7B,mEAAmE;IACnE,KAAK,EAAE,eAAe,CAAA;IACtB,IAAI,EAAE,GAAG,CAAA;IACT,iFAAiF;IACjF,QAAQ,EAAE;QAAE,OAAO,EAAE,OAAO,CAAC;QAAC,UAAU,EAAE,OAAO,CAAC;QAAC,KAAK,EAAE,OAAO,CAAA;KAAE,CAAA;IACnE,sDAAsD;IACtD,KAAK,EAAE;QAAE,OAAO,EAAE,OAAO,CAAC;QAAC,QAAQ,EAAE,MAAM,CAAA;KAAE,CAAA;CAC9C;AAED,qFAAqF;AACrF,MAAM,WAAW,aAAa;IAC5B;;;;;;OAMG;IACH,gBAAgB,CAAC,GAAG,EAAE,WAAW,GAAG,OAAO,CAAC,eAAe,CAAC,CAAA;CAC7D;AAED,uFAAuF;AACvF,MAAM,MAAM,eAAe,GACvB;IACE,EAAE,EAAE,IAAI,CAAA;IACR,KAAK,EAAE,UAAU,GAAG,UAAU,CAAA;IAC9B,oDAAoD;IACpD,OAAO,EAAE,MAAM,CAAA;IACf,KAAK,EAAE,WAAW,CAAA;IAClB,yEAAyE;IACzE,QAAQ,EAAE;QAAE,SAAS,EAAE,mBAAmB,CAAC;QAAC,KAAK,EAAE,WAAW,CAAA;KAAE,EAAE,CAAA;CACnE,GACD;IAAE,EAAE,EAAE,KAAK,CAAC;IAAC,IAAI,EAAE,UAAU,CAAC;IAAC,KAAK,EAAE,WAAW,GAAG,IAAI,CAAC;IAAC,KAAK,EAAE,MAAM,GAAG,IAAI,CAAA;CAAE,CAAA;AAEpF,kEAAkE;AAClE,MAAM,MAAM,OAAO,GACf;IAAE,KAAK,EAAE,IAAI,CAAC;IAAC,KAAK,EAAE,OAAO,CAAC,eAAe,EAAE;QAAE,EAAE,EAAE,IAAI,CAAA;KAAE,CAAC,CAAA;CAAE,GAC9D;IAAE,KAAK,EAAE,KAAK,CAAC;IAAC,IAAI,EAAE,UAAU,CAAC;IAAC,KAAK,EAAE,WAAW,GAAG,IAAI,CAAC;IAAC,KAAK,EAAE,MAAM,GAAG,IAAI,CAAA;CAAE,CAAA;AAEvF,6CAA6C;AAC7C,wBAAgB,KAAK,CAAC,KAAK,EAAE,eAAe,GAAG,OAAO,CAGrD;AAED,yFAAyF;AACzF,wBAAgB,SAAS,CACvB,GAAG,EAAE,OAAO,CAAC,eAAe,EAAE;IAAE,EAAE,EAAE,KAAK,CAAA;CAAE,CAAC,GAAG;IAAE,IAAI,EAAE,UAAU,CAAA;CAAE,GAClE,OAAO,CAOT;AAED,oDAAoD;AACpD,MAAM,WAAW,aAAa;IAC5B,gBAAgB,EAAE,MAAM,CAAA;IACxB,aAAa,EAAE,IAAI,GAAG,KAAK,CAAA;CAC5B;AAED,6DAA6D;AAC7D,MAAM,WAAW,OAAO;IACtB,QAAQ,CAAC,IAAI,EAAE,kBAAkB,CAAA;IACjC,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAA;IAC9B,eAAe,CAAC,GAAG,EAAE,WAAW,EAAE,IAAI,EAAE,aAAa,GAAG,OAAO,CAAC,OAAO,CAAC,CAAA;CACzE;AAkBD;;;GAGG;AACH,wBAAgB,aAAa,CAAC,IAAI,EAAE,WAAW,GAAG,OAAO,CAexD;AAED,sGAAsG;AACtG,wBAAgB,SAAS,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,OAAO,CAM1D;AASD,4EAA4E;AAC5E,wBAAgB,UAAU,CAAC,IAAI,EAAE,OAAO,GAAG,aAAa,GAAG,IAAI,CAM9D;AAUD;;;;GAIG;AACH,wBAAgB,WAAW,CAAC,IAAI,EAAE,OAAO,GAAG,OAAO,GAAG,IAAI,CAwDzD;AAED,8EAA8E;AAC9E,wBAAgB,aAAa,CAAC,MAAM,EAAE,aAAa,EAAE,KAAK,EAAE,aAAa,GAAG,MAAM,EAAE,CAWnF"}

package/dist/session/service.js

@@ -0,0 +1,150 @@
+import { formatUsd, REASON_CODES, } from '@avow-finance/spec';
+/** Work starts, on the check that passed. */
+export function start(check) {
+    if (!check.ok)
+        return dontStart(check);
+    return { start: true, check };
+}
+/** Work doesn't start, for the reason a failed check gave or one the developer names. */
+export function dontStart(why) {
+    return {
+        start: false,
+        code: why.code,
+        block: 'block' in why ? why.block : null,
+        index: 'index' in why ? why.index : null,
+    };
+}
+/** Dollars as micros, refusing anything but a positive amount with at most whole cents. */
+function budgetMicros(amount) {
+    const cents = typeof amount === 'number' ? Math.round(amount * 100) : Number.NaN;
+    if (typeof amount !== 'number' ||
+        !Number.isFinite(amount) ||
+        amount <= 0 ||
+        Math.abs(amount * 100 - cents) > 1e-6) {
+        throw new TypeError('computeBudgetPerGpuHour in service.ts has to be a positive amount of dollars, such as 3 or 2.40');
+    }
+    return BigInt(cents) * 10000n;
+}
+/**
+ * Reads the developer's service, refusing anything that isn't a budget in dollars, a switch and a
+ * function, so a typo in `service.ts` fails when the session loads it and never inside a job.
+ */
+export function defineService(file) {
+    if (typeof file !== 'object' || file === null)
+        throw new TypeError('service.ts defines no service');
+    if (typeof file.bookCompute !== 'boolean') {
+        throw new TypeError('bookCompute in service.ts has to be true or false');
+    }
+    if (typeof file.checkBeforeWork !== 'function') {
+        throw new TypeError('checkBeforeWork in service.ts has to be a function');
+    }
+    const budgetPerGpuHour = budgetMicros(file.computeBudgetPerGpuHour);
+    return Object.freeze({
+        kind: 'avow-job-service',
+        policy: Object.freeze({ budgetPerGpuHour, computeSwitch: file.bookCompute ? 'on' : 'off' }),
+        checkBeforeWork: file.checkBeforeWork.bind(file),
+    });
+}
+/** Whether a value is a service `defineService` made, as a loaded `service.ts` exports by default. */
+export function isService(value) {
+    return (typeof value === 'object' &&
+        value !== null &&
+        value.kind === 'avow-job-service');
+}
+/** A whole number of micros as the child process writes it, as a decimal string. */
+const microsOf = (v) => typeof v === 'string' && /^(0|[1-9][0-9]{0,30})$/.test(v) ? BigInt(v) : null;
+const isHex = (v, bytes) => typeof v === 'string' && new RegExp(`^0x[0-9a-fA-F]{${bytes * 2}}$`).test(v);
+/** A policy as the child process wrote it, or null when it doesn't read. */
+export function readPolicy(json) {
+    const p = json;
+    const budgetPerGpuHour = microsOf(p?.budgetPerGpuHour);
+    if (budgetPerGpuHour === null || budgetPerGpuHour === 0n)
+        return null;
+    if (p?.computeSwitch !== 'on' && p?.computeSwitch !== 'off')
+        return null;
+    return { budgetPerGpuHour, computeSwitch: p.computeSwitch };
+}
+function readBlock(json) {
+    const b = json;
+    const number = microsOf(b?.number);
+    const timestamp = microsOf(b?.timestamp);
+    if (number === null || timestamp === null || !isHex(b?.hash, 32))
+        return null;
+    return { number, hash: b.hash.toLowerCase(), timestamp };
+}
+/**
+ * A verdict as the child process wrote it, or null when it doesn't read. The verdict comes from
+ * the developer's own code, so every field is read here, at the boundary, and anything else is
+ * dropped. A start names the block its check read and the compute bookings it read with it.
+ */
+export function readVerdict(json) {
+    const v = json;
+    if (typeof v !== 'object' || v === null)
+        return null;
+    if (v.start === false) {
+        const code = v.code;
+        if (typeof code !== 'string' || !Object.hasOwn(REASON_CODES, code))
+            return null;
+        const block = v.block === null ? null : readBlock(v.block);
+        if (v.block !== null && block === null)
+            return null;
+        const index = v.index;
+        if (index !== null &&
+            !(Number.isInteger(index) && index >= 0 && index < 4)) {
+            return null;
+        }
+        return { start: false, code: code, block, index: index };
+    }
+    if (v.start !== true)
+        return null;
+    const c = v.check;
+    if (typeof c !== 'object' || c === null || c.ok !== true)
+        return null;
+    if (c.state !== 'reserved' && c.state !== 'accepted')
+        return null;
+    const reserve = microsOf(c.reserve);
+    const block = readBlock(c.block);
+    if (reserve === null || block === null || !Array.isArray(c.bookings) || c.bookings.length > 4) {
+        return null;
+    }
+    const bookings = [];
+    for (const b of c.bookings) {
+        const r = b?.reference;
+        const at = readBlock(b?.block);
+        if (!at ||
+            typeof r !== 'object' ||
+            r === null ||
+            r.kind !== 'commitment' ||
+            !Number.isInteger(r.chainId) ||
+            !isHex(r.lock, 20) ||
+            !isHex(r.commitmentId, 32) ||
+            (r.side !== 'buyer' && r.side !== 'supplier') ||
+            !isHex(r.termsHash, 32)) {
+            return null;
+        }
+        bookings.push({
+            reference: {
+                kind: 'commitment',
+                chainId: r.chainId,
+                lock: r.lock.toLowerCase(),
+                commitmentId: r.commitmentId.toLowerCase(),
+                side: r.side,
+                termsHash: r.termsHash.toLowerCase(),
+            },
+            block: at,
+        });
+    }
+    return { start: true, check: { ok: true, state: c.state, reserve, block, bookings } };
+}
+/** One quiet line for each way a re-read policy differs from the last one. */
+export function policyChanges(before, after) {
+    const lines = [];
+    if (before.computeSwitch !== after.computeSwitch) {
+        lines.push(`service.ts changed: compute booking is ${after.computeSwitch}`);
+    }
+    if (before.budgetPerGpuHour !== after.budgetPerGpuHour) {
+        lines.push(`service.ts changed: budget is now ${formatUsd(after.budgetPerGpuHour)} per GPU-hour`);
+    }
+    return lines;
+}
+//# sourceMappingURL=service.js.map

package/dist/session/service.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"service.js","sourceRoot":"","sources":["../../src/session/service.ts"],"names":[],"mappings":"AAAA,OAAO,EAGL,SAAS,EAGT,YAAY,GAEb,MAAM,oBAAoB,CAAA;AA4E3B,6CAA6C;AAC7C,MAAM,UAAU,KAAK,CAAC,KAAsB;IAC1C,IAAI,CAAC,KAAK,CAAC,EAAE;QAAE,OAAO,SAAS,CAAC,KAAK,CAAC,CAAA;IACtC,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,CAAA;AAC/B,CAAC;AAED,yFAAyF;AACzF,MAAM,UAAU,SAAS,CACvB,GAAmE;IAEnE,OAAO;QACL,KAAK,EAAE,KAAK;QACZ,IAAI,EAAE,GAAG,CAAC,IAAI;QACd,KAAK,EAAE,OAAO,IAAI,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI;QACxC,KAAK,EAAE,OAAO,IAAI,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI;KACzC,CAAA;AACH,CAAC;AAeD,2FAA2F;AAC3F,SAAS,YAAY,CAAC,MAAe;IACnC,MAAM,KAAK,GAAG,OAAO,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAA;IAChF,IACE,OAAO,MAAM,KAAK,QAAQ;QAC1B,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC;QACxB,MAAM,IAAI,CAAC;QACX,IAAI,CAAC,GAAG,CAAC,MAAM,GAAG,GAAG,GAAG,KAAK,CAAC,GAAG,IAAI,EACrC,CAAC;QACD,MAAM,IAAI,SAAS,CACjB,iGAAiG,CAClG,CAAA;IACH,CAAC;IACD,OAAO,MAAM,CAAC,KAAK,CAAC,GAAG,MAAO,CAAA;AAChC,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,aAAa,CAAC,IAAiB;IAC7C,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,IAAI;QAC3C,MAAM,IAAI,SAAS,CAAC,+BAA+B,CAAC,CAAA;IACtD,IAAI,OAAO,IAAI,CAAC,WAAW,KAAK,SAAS,EAAE,CAAC;QAC1C,MAAM,IAAI,SAAS,CAAC,mDAAmD,CAAC,CAAA;IAC1E,CAAC;IACD,IAAI,OAAO,IAAI,CAAC,eAAe,KAAK,UAAU,EAAE,CAAC;QAC/C,MAAM,IAAI,SAAS,CAAC,oDAAoD,CAAC,CAAA;IAC3E,CAAC;IACD,MAAM,gBAAgB,GAAG,YAAY,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAA;IACnE,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,IAAI,EAAE,kBAAkB;QACxB,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,gBAAgB,EAAE,aAAa,EAAE,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC;QAC3F,eAAe,EAAE,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC;KACxC,CAAC,CAAA;AACb,CAAC;AAED,sGAAsG;AACtG,MAAM,UAAU,SAAS,CAAC,KAAc;IACtC,OAAO,CACL,OAAO,KAAK,KAAK,QAAQ;QACzB,KAAK,KAAK,IAAI;QACb,KAA4B,CAAC,IAAI,KAAK,kBAAkB,CAC1D,CAAA;AACH,CAAC;AAED,oFAAoF;AACpF,MAAM,QAAQ,GAAG,CAAC,CAAU,EAAiB,EAAE,CAC7C,OAAO,CAAC,KAAK,QAAQ,IAAI,wBAAwB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAA;AAE9E,MAAM,KAAK,GAAG,CAAC,CAAU,EAAE,KAAa,EAAY,EAAE,CACpD,OAAO,CAAC,KAAK,QAAQ,IAAI,IAAI,MAAM,CAAC,kBAAkB,KAAK,GAAG,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;AAE9E,4EAA4E;AAC5E,MAAM,UAAU,UAAU,CAAC,IAAa;IACtC,MAAM,CAAC,GAAG,IAAsE,CAAA;IAChF,MAAM,gBAAgB,GAAG,QAAQ,CAAC,CAAC,EAAE,gBAAgB,CAAC,CAAA;IACtD,IAAI,gBAAgB,KAAK,IAAI,IAAI,gBAAgB,KAAK,EAAE;QAAE,OAAO,IAAI,CAAA;IACrE,IAAI,CAAC,EAAE,aAAa,KAAK,IAAI,IAAI,CAAC,EAAE,aAAa,KAAK,KAAK;QAAE,OAAO,IAAI,CAAA;IACxE,OAAO,EAAE,gBAAgB,EAAE,aAAa,EAAE,CAAC,CAAC,aAAa,EAAE,CAAA;AAC7D,CAAC;AAED,SAAS,SAAS,CAAC,IAAa;IAC9B,MAAM,CAAC,GAAG,IAAwE,CAAA;IAClF,MAAM,MAAM,GAAG,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC,CAAA;IAClC,MAAM,SAAS,GAAG,QAAQ,CAAC,CAAC,EAAE,SAAS,CAAC,CAAA;IACxC,IAAI,MAAM,KAAK,IAAI,IAAI,SAAS,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,CAAC;QAAE,OAAO,IAAI,CAAA;IAC7E,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,WAAW,EAAS,EAAE,SAAS,EAAE,CAAA;AACjE,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,WAAW,CAAC,IAAa;IACvC,MAAM,CAAC,GAAG,IAAsC,CAAA;IAChD,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI;QAAE,OAAO,IAAI,CAAA;IACpD,IAAI,CAAC,CAAC,KAAK,KAAK,KAAK,EAAE,CAAC;QACtB,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,CAAA;QACnB,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,YAAY,EAAE,IAAI,CAAC;YAAE,OAAO,IAAI,CAAA;QAC/E,MAAM,KAAK,GAAG,CAAC,CAAC,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAA;QAC1D,IAAI,CAAC,CAAC,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,IAAI;YAAE,OAAO,IAAI,CAAA;QACnD,MAAM,KAAK,GAAG,CAAC,CAAC,KAAK,CAAA;QACrB,IACE,KAAK,KAAK,IAAI;YACd,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,IAAK,KAAgB,IAAI,CAAC,IAAK,KAAgB,GAAG,CAAC,CAAC,EAC7E,CAAC;YACD,OAAO,IAAI,CAAA;QACb,CAAC;QACD,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,IAAkB,EAAE,KAAK,EAAE,KAAK,EAAE,KAAsB,EAAE,CAAA;IACzF,CAAC;IACD,IAAI,CAAC,CAAC,KAAK,KAAK,IAAI;QAAE,OAAO,IAAI,CAAA;IACjC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAuC,CAAA;IACnD,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,CAAC,EAAE,KAAK,IAAI;QAAE,OAAO,IAAI,CAAA;IACrE,IAAI,CAAC,CAAC,KAAK,KAAK,UAAU,IAAI,CAAC,CAAC,KAAK,KAAK,UAAU;QAAE,OAAO,IAAI,CAAA;IACjE,MAAM,OAAO,GAAG,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,CAAA;IACnC,MAAM,KAAK,GAAG,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAA;IAChC,IAAI,OAAO,KAAK,IAAI,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC9F,OAAO,IAAI,CAAA;IACb,CAAC;IACD,MAAM,QAAQ,GAA6D,EAAE,CAAA;IAC7E,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,QAAqC,EAAE,CAAC;QACxD,MAAM,CAAC,GAAG,CAAC,EAAE,SAA2C,CAAA;QACxD,MAAM,EAAE,GAAG,SAAS,CAAC,CAAC,EAAE,KAAK,CAAC,CAAA;QAC9B,IACE,CAAC,EAAE;YACH,OAAO,CAAC,KAAK,QAAQ;YACrB,CAAC,KAAK,IAAI;YACV,CAAC,CAAC,IAAI,KAAK,YAAY;YACvB,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC;YAC5B,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;YAClB,CAAC,KAAK,CAAC,CAAC,CAAC,YAAY,EAAE,EAAE,CAAC;YAC1B,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU,CAAC;YAC7C,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,EACvB,CAAC;YACD,OAAO,IAAI,CAAA;QACb,CAAC;QACD,QAAQ,CAAC,IAAI,CAAC;YACZ,SAAS,EAAE;gBACT,IAAI,EAAE,YAAY;gBAClB,OAAO,EAAE,CAAC,CAAC,OAAiB;gBAC5B,IAAI,EAAG,CAAC,CAAC,IAAe,CAAC,WAAW,EAAa;gBACjD,YAAY,EAAG,CAAC,CAAC,YAAuB,CAAC,WAAW,EAAS;gBAC7D,IAAI,EAAE,CAAC,CAAC,IAAI;gBACZ,SAAS,EAAG,CAAC,CAAC,SAAoB,CAAC,WAAW,EAAS;aACxD;YACD,KAAK,EAAE,EAAE;SACV,CAAC,CAAA;IACJ,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,EAAE,CAAA;AACvF,CAAC;AAED,8EAA8E;AAC9E,MAAM,UAAU,aAAa,CAAC,MAAqB,EAAE,KAAoB;IACvE,MAAM,KAAK,GAAa,EAAE,CAAA;IAC1B,IAAI,MAAM,CAAC,aAAa,KAAK,KAAK,CAAC,aAAa,EAAE,CAAC;QACjD,KAAK,CAAC,IAAI,CAAC,0CAA0C,KAAK,CAAC,aAAa,EAAE,CAAC,CAAA;IAC7E,CAAC;IACD,IAAI,MAAM,CAAC,gBAAgB,KAAK,KAAK,CAAC,gBAAgB,EAAE,CAAC;QACvD,KAAK,CAAC,IAAI,CACR,qCAAqC,SAAS,CAAC,KAAK,CAAC,gBAAgB,CAAC,eAAe,CACtF,CAAA;IACH,CAAC;IACD,OAAO,KAAK,CAAA;AACd,CAAC"}

package/dist/session/session.d.ts

@@ -0,0 +1,95 @@
+import { type OrderScenario, type SessionEvent } from '@avow-finance/spec';
+import { type JobOutcome } from './executor.js';
+import type { ModelProvider } from './provider.js';
+import { type ReservedJob, type ServicePolicy, type Verdict } from './service.js';
+import type { JobWorld } from './world.js';
+/**
+ * The agent session: a model with the seven job tools, the developer typing to it, and the
+ * executor following each quote to its end. The first job runs on its own. After that, each line
+ * the developer types starts a turn of its own, one turn at a time, while the executor goes on
+ * with any job under way. Typing never undoes a transaction already sent, and a line typed while
+ * one is in flight gets a notice saying so.
+ */
+/** What the session draws that isn't an event: the provider, notices, evidence, speech arriving. */
+export interface SessionView {
+    intro(lines: readonly string[]): void;
+    event(event: SessionEvent): void;
+    speak(model: string): {
+        write: (piece: string) => void;
+        end: () => void;
+    };
+    quiet(line: string): void;
+    fail(line: string): void;
+    /** The recorded results beside an answer to "why". */
+    evidence(table: {
+        title: string;
+        columns: readonly string[];
+        rows: readonly (readonly string[])[];
+        marked?: number;
+        notes: readonly string[];
+    }): void;
+}
+/** The developer's lines, as they type them. */
+export interface SessionInput {
+    /** The next line, or null once the developer stops the session. */
+    next(): Promise<string | null>;
+    /**
+     * What's in flight, whenever that changes, or null once nothing is. A line typed while something
+     * is in flight gets a notice that typing can't undo it.
+     */
+    inFlight(what: string | null): void;
+}
+export interface SessionDeps {
+    world: JobWorld;
+    provider: ModelProvider;
+    /** Reads `service.ts` again, in its own process. */
+    readPolicy: () => Promise<ServicePolicy>;
+    /** Runs `checkBeforeWork` in `service.ts`, in its own process with no keys. */
+    checkBeforeWork: (job: ReservedJob) => Promise<Verdict | {
+        failed: string;
+    }>;
+    /** Posts an event to the session's screen and draws it. */
+    emit: (event: SessionEvent) => void;
+    view: SessionView;
+    /** The developer's lines, or null for a run that takes no input and ends with its first job. */
+    input: SessionInput | null;
+    /** The run number the next run takes. */
+    nextRun: () => number;
+    /**
+     * Set on a guided first run. The session waits for each job to end before it reads a line, and
+     * calls this with how the job ended, so the guide can say what's next before the next prompt.
+     */
+    afterJob?: (outcome: JobOutcome | null) => void;
+    /**
+     * Whether the next order is taken with the compute booking off, whatever service.ts says. A
+     * guided first run asks for that once, to show the customer refusing a quote that names none.
+     */
+    withoutCompute?: () => boolean;
+    /**
+     * The scenario the next order is asked for, or null for none. A guided first run asks for one the
+     * customer cancels late, to show a broken promise and the charge that follows.
+     */
+    scenario?: () => OrderScenario | null;
+    /** Says what goes where in two lines, with the rest left to the details. */
+    brief?: boolean;
+    pollMs?: number;
+    workMs?: number;
+}
+/**
+ * The lines that take the next order. `job` or `/job` takes one that runs to payment, and
+ * `job cancels` takes one the test customer cancels after work starts.
+ */
+export declare const JOB_COMMAND: RegExp;
+/** The scenario a job command asks for, or null for a plain order. */
+export declare const scenarioOf: (line: string) => OrderScenario | null;
+export declare const SYSTEM_PROMPT = "You are a business's job agent in Avow's testnet sandbox. Avow's test customer sends paid fine-tuning jobs. A job needs GPUs from its start to its deadline, and the customer accepts your quote only when it names your accepted compute booking that holds those GPUs for the whole job, past its free cancellation.\n\nFor each order, call read_order, then compute_offers, then book_compute for the cheapest offer that is firm (no free cancellation left), holds the order's GPUs from before the job starts to past its deadline, takes that many GPUs in one booking and fits the compute budget. Then call submit_quote naming that booking. If the compute switch in service.ts is off, book nothing and call submit_quote with no booking.\n\nCode outside you checks everything. service.ts applies the budget and the compute switch, the SDK, Avow and the lock check your authority, and the customer checks the quote. You never verify the customer, start work, deliver or pay, since the developer's code does that after your turn. When a tool refuses, say which layer refused, its reason code, and what would let it pass. Nothing typed can undo a transaction already sent. Answer the developer briefly and plainly, and explain your choices from the tool results you got.";
+/** What the session says once, when it starts, about the model and what goes where. */
+export declare function whatGoesWhere(provider: ModelProvider, brief?: boolean): string[];
+export interface SessionResult {
+    /** How the first job ended, or null when it never got as far as a quote. */
+    firstJob: JobOutcome | null;
+    /** Why the session stopped early, when it did. */
+    stopped: string | null;
+}
+export declare function runSession(deps: SessionDeps): Promise<SessionResult>;
+//# sourceMappingURL=session.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"session.d.ts","sourceRoot":"","sources":["../../src/session/session.ts"],"names":[],"mappings":"AAAA,OAAO,EAGL,KAAK,aAAa,EAElB,KAAK,YAAY,EAElB,MAAM,oBAAoB,CAAA;AAC3B,OAAO,EAAe,KAAK,UAAU,EAAE,MAAM,eAAe,CAAA;AAC5D,OAAO,KAAK,EAAY,aAAa,EAAE,MAAM,eAAe,CAAA;AAG5D,OAAO,EAAiB,KAAK,WAAW,EAAE,KAAK,aAAa,EAAE,KAAK,OAAO,EAAE,MAAM,cAAc,CAAA;AAGhG,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAA;AAE1C;;;;;;GAMG;AAEH,oGAAoG;AACpG,MAAM,WAAW,WAAW;IAC1B,KAAK,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,GAAG,IAAI,CAAA;IACrC,KAAK,CAAC,KAAK,EAAE,YAAY,GAAG,IAAI,CAAA;IAChC,KAAK,CAAC,KAAK,EAAE,MAAM,GAAG;QAAE,KAAK,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,IAAI,CAAC;QAAC,GAAG,EAAE,MAAM,IAAI,CAAA;KAAE,CAAA;IACzE,KAAK,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAA;IACzB,IAAI,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAA;IACxB,sDAAsD;IACtD,QAAQ,CAAC,KAAK,EAAE;QACd,KAAK,EAAE,MAAM,CAAA;QACb,OAAO,EAAE,SAAS,MAAM,EAAE,CAAA;QAC1B,IAAI,EAAE,SAAS,CAAC,SAAS,MAAM,EAAE,CAAC,EAAE,CAAA;QACpC,MAAM,CAAC,EAAE,MAAM,CAAA;QACf,KAAK,EAAE,SAAS,MAAM,EAAE,CAAA;KACzB,GAAG,IAAI,CAAA;CACT;AAED,gDAAgD;AAChD,MAAM,WAAW,YAAY;IAC3B,mEAAmE;IACnE,IAAI,IAAI,OAAO,CAAC,MAAM,GAAG,IAAI,CAAC,CAAA;IAC9B;;;OAGG;IACH,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,GAAG,IAAI,CAAA;CACpC;AAED,MAAM,WAAW,WAAW;IAC1B,KAAK,EAAE,QAAQ,CAAA;IACf,QAAQ,EAAE,aAAa,CAAA;IACvB,oDAAoD;IACpD,UAAU,EAAE,MAAM,OAAO,CAAC,aAAa,CAAC,CAAA;IACxC,+EAA+E;IAC/E,eAAe,EAAE,CAAC,GAAG,EAAE,WAAW,KAAK,OAAO,CAAC,OAAO,GAAG;QAAE,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC,CAAA;IAC5E,2DAA2D;IAC3D,IAAI,EAAE,CAAC,KAAK,EAAE,YAAY,KAAK,IAAI,CAAA;IACnC,IAAI,EAAE,WAAW,CAAA;IACjB,gGAAgG;IAChG,KAAK,EAAE,YAAY,GAAG,IAAI,CAAA;IAC1B,yCAAyC;IACzC,OAAO,EAAE,MAAM,MAAM,CAAA;IACrB;;;OAGG;IACH,QAAQ,CAAC,EAAE,CAAC,OAAO,EAAE,UAAU,GAAG,IAAI,KAAK,IAAI,CAAA;IAC/C;;;OAGG;IACH,cAAc,CAAC,EAAE,MAAM,OAAO,CAAA;IAC9B;;;OAGG;IACH,QAAQ,CAAC,EAAE,MAAM,aAAa,GAAG,IAAI,CAAA;IACrC,4EAA4E;IAC5E,KAAK,CAAC,EAAE,OAAO,CAAA;IACf,MAAM,CAAC,EAAE,MAAM,CAAA;IACf,MAAM,CAAC,EAAE,MAAM,CAAA;CAChB;AAED;;;GAGG;AACH,eAAO,MAAM,WAAW,QAA2B,CAAA;AAEnD,sEAAsE;AACtE,eAAO,MAAM,UAAU,SAAU,MAAM,KAAG,aAAa,GAAG,IACE,CAAA;AAK5D,eAAO,MAAM,aAAa,8uCAIqf,CAAA;AAE/gB,uFAAuF;AACvF,wBAAgB,aAAa,CAAC,QAAQ,EAAE,aAAa,EAAE,KAAK,UAAQ,GAAG,MAAM,EAAE,CAiB9E;AAeD,MAAM,WAAW,aAAa;IAC5B,4EAA4E;IAC5E,QAAQ,EAAE,UAAU,GAAG,IAAI,CAAA;IAC3B,kDAAkD;IAClD,OAAO,EAAE,MAAM,GAAG,IAAI,CAAA;CACvB;AAED,wBAAsB,UAAU,CAAC,IAAI,EAAE,WAAW,GAAG,OAAO,CAAC,aAAa,CAAC,CAqQ1E"}