metered-protocol 1.0.0

package/dist/tools/covenant-binding.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"covenant-binding.js","sourceRoot":"","sources":["../../tools/covenant-binding.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAQH,6FAA6F;AAC7F,MAAM,UAAU,gBAAgB,CAAC,GAAQ,EAAE,EAAO,EAAE,IAAS,EAAE,KAAc;IAC3E,IAAI,CAAC,KAAK;QAAE,OAAO,MAAM,CAAC;IAC1B,MAAM,SAAS,GAAG,IAAI,CAAC,UAAU,IAAI,IAAI,CAAC,KAAK,EAAE,UAAU,IAAI,IAAI,CAAC,SAAS,EAAE,UAAU,CAAC;IAC1F,IAAI,SAAS,EAAE,CAAC;QACd,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,GAAG,IAAI,GAAG,CAAC,eAAe,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC;QAC/D,OAAO,WAAW,CAAC;IACrB,CAAC;IACD,EAAE,CAAC,wBAAwB,CAAC,CAAC,EAAE,gBAAgB,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACrE,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,sGAAsG;AACtG,MAAM,UAAU,cAAc,CAAC,EAAO,EAAE,KAAc;IACpD,kFAAkF;IAClF,IAAI,KAAK;QAAE,EAAE,CAAC,wBAAwB,CAAC,CAAC,EAAE,gBAAgB,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AAClF,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,YAAY,CAAC,EAAO;IAClC,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,mBAAmB,EAAE,CAA0D,CAAC;IAC3G,OAAO,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,UAAU,IAAI,QAAQ,CAAC;AAC3D,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,eAAe,CAAC,IAAiB,EAAE,YAAiB,EAAE,KAAU;IAC9E,IAAI,IAAI,KAAK,WAAW,EAAE,CAAC;QACzB,MAAM,IAAI,KAAK,CAAC,iFAAiF,CAAC,CAAC;IACrG,CAAC;IACD,IAAI,YAAY,CAAC,YAAY,CAAC,KAAK,YAAY,CAAC,KAAK,CAAC,EAAE,CAAC;QACvD,MAAM,IAAI,KAAK,CAAC,kFAAkF,CAAC,CAAC;IACtG,CAAC;AACH,CAAC"}

package/dist/tools/covenant-profile.d.ts

@@ -0,0 +1,41 @@
+/** Everything either covenant's continuation can depend on. */
+export interface SessionState {
+    parties: string;
+    sessionId: string;
+    window: number;
+    seq: number;
+    sompi: number;
+}
+export interface CovenantProfile {
+    /** The source to compile before running, when the contract is generated rather than written. */
+    source?: string;
+    key: string;
+    /** The SilverScript the simulator executes. For Argent that is argentc's generated output. */
+    contract: string;
+    suite: string;
+    /**
+     * The continuation state `validateOutputState` checks, in this covenant's own field names.
+     *
+     * Takes the WHOLE session rather than just the mutable pair, because Argent's state carries the
+     * session's identity too. Reaching for fixture constants here instead cost a failed pre-flight:
+     * the live tools use their own parties and window, and a state block built from test values
+     * describes a different session -- which is precisely what validateOutputState exists to refuse.
+     */
+    outState(session: SessionState): Record<string, unknown>;
+    /** Whether a settle's continuation output needs a KIP-20 covenant binding. */
+    binds: boolean;
+    /**
+     * Whether the session's identity lives in the STATE rather than in constructor constants.
+     * When it does, a continuation can be asked to rewrite it, so the refusal can be tested;
+     * when it does not, the case cannot be expressed at all -- the field is not in the state block.
+     */
+    identityInState: boolean;
+}
+/** Any 32 bytes: a covenant id only has to be CONSISTENT between an input and the outputs it authorises. */
+export declare const COVENANT_ID: string;
+export declare const HAND_WRITTEN: CovenantProfile;
+export declare const ARGENT: CovenantProfile;
+export declare const PROFILES: Record<string, CovenantProfile>;
+/** `--profile ag`, defaulting to the covenant that is actually proven on chain. */
+export declare function profileFromArgv(argv?: string[]): CovenantProfile;
+//# sourceMappingURL=covenant-profile.d.ts.map

package/dist/tools/covenant-profile.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"covenant-profile.d.ts","sourceRoot":"","sources":["../../tools/covenant-profile.ts"],"names":[],"mappings":"AAqCA,+DAA+D;AAC/D,MAAM,WAAW,YAAY;IAC3B,OAAO,EAAE,MAAM,CAAC;IAChB,SAAS,EAAE,MAAM,CAAC;IAClB,MAAM,EAAE,MAAM,CAAC;IACf,GAAG,EAAE,MAAM,CAAC;IACZ,KAAK,EAAE,MAAM,CAAC;CACf;AAED,MAAM,WAAW,eAAe;IAC9B,gGAAgG;IAChG,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,GAAG,EAAE,MAAM,CAAC;IACZ,8FAA8F;IAC9F,QAAQ,EAAE,MAAM,CAAC;IACjB,KAAK,EAAE,MAAM,CAAC;IACd;;;;;;;OAOG;IACH,QAAQ,CAAC,OAAO,EAAE,YAAY,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACzD,8EAA8E;IAC9E,KAAK,EAAE,OAAO,CAAC;IACf;;;;OAIG;IACH,eAAe,EAAE,OAAO,CAAC;CAC1B;AAED,4GAA4G;AAC5G,eAAO,MAAM,WAAW,QAAyB,CAAC;AAElD,eAAO,MAAM,YAAY,EAAE,eAO1B,CAAC;AAEF,eAAO,MAAM,MAAM,EAAE,eAcpB,CAAC;AAEF,eAAO,MAAM,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,eAAe,CAAqC,CAAC;AAE3F,mFAAmF;AACnF,wBAAgB,eAAe,CAAC,IAAI,GAAE,MAAM,EAAiB,GAAG,eAAe,CAO9E"}

package/dist/tools/covenant-profile.js

@@ -0,0 +1,74 @@
+/**
+ * The two covenants this project holds, described well enough for ONE test generator to drive both.
+ *
+ * `contracts/metered_session.sil` is hand-written and proven on chain. `contracts/metered.ag` is
+ * the Argent port, which compiles THROUGH SilverScript to 520 bytes. They implement the same
+ * SPEC.md rules and differ in exactly two ways that a test file can see:
+ *
+ *   THE STATE SPAN. The hand-written covenant carries `parties`, `sessionId` and `window` as
+ *   CONSTRUCTOR CONSTANTS and only `pendingSeq`/`pendingSompi` as state, so a continuation re-emits
+ *   18 bytes. Argent has no per-instance immutable parameter -- everything an instance is
+ *   configured with lives in `state` and `become` rewrites all of it -- so its continuation
+ *   re-emits all five fields, and the COMPILER checks the session's identity is preserved where
+ *   the hand-written version trusted the author. That is what the 16 bytes bought.
+ *
+ *   THE OUTPUT AUTHORISATION. Argent's `settle` lowers `emits next` to a real KIP-20 check,
+ *   `OpAuthOutputCount(activeInput) == 1`, so its continuation output MUST carry a covenant
+ *   binding or the entry cannot run at all. The hand-written version constrains `outputs[0]` by
+ *   convention instead. `expire` is the mirror image: `emits {}` lowers to a count of ZERO, which
+ *   is what an unbound P2PK payout already is, so it needs no binding either way.
+ *
+ * A profile rather than a second generator, because the cases ARE the same cases -- forking them
+ * would let the two covenants drift apart silently, which is the one thing this suite exists to
+ * prevent.
+ */
+import { fileURLToPath } from 'node:url';
+import { join } from 'node:path';
+/**
+ * Paths are resolved against the PACKAGE, not the working directory.
+ *
+ * They used to be plain relative strings, which worked for as long as everything that compiled a
+ * covenant was run from the root of this repository. The first program to depend on metered from
+ * outside it got "failed to read contracts/metered_session.sil" -- because the file was exactly
+ * where it always is, and the process was somewhere else.
+ */
+const PACKAGE_ROOT = fileURLToPath(new URL('..', import.meta.url));
+const inPackage = (p) => join(PACKAGE_ROOT, p);
+/** Any 32 bytes: a covenant id only has to be CONSISTENT between an input and the outputs it authorises. */
+export const COVENANT_ID = `0x${'7c'.repeat(32)}`;
+export const HAND_WRITTEN = {
+    key: 'sil',
+    contract: inPackage('contracts/metered_session.sil'),
+    suite: inPackage('contracts/metered_session.tests.json'),
+    outState: ({ seq, sompi }) => ({ pendingSeq: seq, pendingSompi: sompi }),
+    binds: false,
+    identityInState: false,
+};
+export const ARGENT = {
+    key: 'ag',
+    source: inPackage('contracts/metered.ag'),
+    contract: inPackage('build/ag/sil/MeteredSession.sil'),
+    suite: inPackage('contracts/metered_ag.tests.json'),
+    outState: ({ parties, sessionId, window, seq, sompi }) => ({
+        parties: `0x${parties}`,
+        session_id: `0x${sessionId}`,
+        window,
+        pending_seq: seq,
+        pending_sompi: sompi,
+    }),
+    binds: true,
+    identityInState: true,
+};
+export const PROFILES = { sil: HAND_WRITTEN, ag: ARGENT };
+/** `--profile ag`, defaulting to the covenant that is actually proven on chain. */
+export function profileFromArgv(argv = process.argv) {
+    const i = argv.indexOf('--profile');
+    const key = i >= 0 ? argv[i + 1] : undefined;
+    if (!key)
+        return HAND_WRITTEN;
+    const profile = PROFILES[key];
+    if (!profile)
+        throw new Error(`unknown profile ${key}; expected one of ${Object.keys(PROFILES).join(', ')}`);
+    return profile;
+}
+//# sourceMappingURL=covenant-profile.js.map

package/dist/tools/covenant-profile.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"covenant-profile.js","sourceRoot":"","sources":["../../tools/covenant-profile.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AACzC,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC;;;;;;;GAOG;AACH,MAAM,YAAY,GAAG,aAAa,CAAC,IAAI,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;AACnE,MAAM,SAAS,GAAG,CAAC,CAAS,EAAU,EAAE,CAAC,IAAI,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC;AAqC/D,4GAA4G;AAC5G,MAAM,CAAC,MAAM,WAAW,GAAG,KAAK,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC;AAElD,MAAM,CAAC,MAAM,YAAY,GAAoB;IAC3C,GAAG,EAAE,KAAK;IACV,QAAQ,EAAE,SAAS,CAAC,+BAA+B,CAAC;IACpD,KAAK,EAAE,SAAS,CAAC,sCAAsC,CAAC;IACxD,QAAQ,EAAE,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,UAAU,EAAE,GAAG,EAAE,YAAY,EAAE,KAAK,EAAE,CAAC;IACxE,KAAK,EAAE,KAAK;IACZ,eAAe,EAAE,KAAK;CACvB,CAAC;AAEF,MAAM,CAAC,MAAM,MAAM,GAAoB;IACrC,GAAG,EAAE,IAAI;IACT,MAAM,EAAE,SAAS,CAAC,sBAAsB,CAAC;IACzC,QAAQ,EAAE,SAAS,CAAC,iCAAiC,CAAC;IACtD,KAAK,EAAE,SAAS,CAAC,iCAAiC,CAAC;IACnD,QAAQ,EAAE,CAAC,EAAE,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC;QACzD,OAAO,EAAE,KAAK,OAAO,EAAE;QACvB,UAAU,EAAE,KAAK,SAAS,EAAE;QAC5B,MAAM;QACN,WAAW,EAAE,GAAG;QAChB,aAAa,EAAE,KAAK;KACrB,CAAC;IACF,KAAK,EAAE,IAAI;IACX,eAAe,EAAE,IAAI;CACtB,CAAC;AAEF,MAAM,CAAC,MAAM,QAAQ,GAAoC,EAAE,GAAG,EAAE,YAAY,EAAE,EAAE,EAAE,MAAM,EAAE,CAAC;AAE3F,mFAAmF;AACnF,MAAM,UAAU,eAAe,CAAC,OAAiB,OAAO,CAAC,IAAI;IAC3D,MAAM,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;IACpC,MAAM,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAC7C,IAAI,CAAC,GAAG;QAAE,OAAO,YAAY,CAAC;IAC9B,MAAM,OAAO,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC;IAC9B,IAAI,CAAC,OAAO;QAAE,MAAM,IAAI,KAAK,CAAC,mBAAmB,GAAG,qBAAqB,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC7G,OAAO,OAAO,CAAC;AACjB,CAAC"}

package/dist/tools/covenant.d.ts

@@ -0,0 +1,30 @@
+import { type Network } from './kaspa.js';
+export declare const SILVERC: string;
+export interface CovenantState {
+    parties: string;
+    sessionId: string;
+    window: number;
+    seq: number;
+    sompi: number;
+}
+export interface Compiled {
+    hex: string;
+    span: {
+        offset: number;
+        len: number;
+    };
+    entries: Record<string, {
+        dispatch_tag: string;
+    }>;
+}
+/**
+ * Compile with the given constructor arguments and return the redeem script.
+ *
+ * `contract` selects which covenant: the hand-written SilverScript, or argentc's generated
+ * output. Both take the SAME five constructor arguments in the same order, which is why one
+ * function serves both -- see tools/covenant-profile.ts.
+ */
+export declare function compileWithState(dir: string, state: CovenantState, contractPath?: string): Compiled;
+/** The P2SH address a redeem script locks to -- where the session's funds actually sit. */
+export declare function covenantAddress(redeemHex: string, network: Network): Promise<string>;
+//# sourceMappingURL=covenant.d.ts.map

package/dist/tools/covenant.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"covenant.d.ts","sourceRoot":"","sources":["../../tools/covenant.ts"],"names":[],"mappings":"AAYA,OAAO,EAAW,KAAK,OAAO,EAAE,MAAM,YAAY,CAAC;AAGnD,eAAO,MAAM,OAAO,QAAmF,CAAC;AAExG,MAAM,WAAW,aAAa;IAC5B,OAAO,EAAE,MAAM,CAAC;IAChB,SAAS,EAAE,MAAM,CAAC;IAClB,MAAM,EAAE,MAAM,CAAC;IACf,GAAG,EAAE,MAAM,CAAC;IACZ,KAAK,EAAE,MAAM,CAAC;CACf;AAED,MAAM,WAAW,QAAQ;IACvB,GAAG,EAAE,MAAM,CAAC;IACZ,IAAI,EAAE;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,GAAG,EAAE,MAAM,CAAA;KAAE,CAAC;IACtC,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE;QAAE,YAAY,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;CACnD;AAED;;;;;;GAMG;AACH,wBAAgB,gBAAgB,CAAC,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE,aAAa,EAAE,YAAY,SAAwB,GAAG,QAAQ,CA6BlH;AAED,2FAA2F;AAC3F,wBAAsB,eAAe,CAAC,SAAS,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,CAI1F"}

package/dist/tools/covenant.js

@@ -0,0 +1,54 @@
+/**
+ * Compiling the covenant with real constructor arguments, and deriving its address.
+ *
+ * kaspa-depin compiles once with placeholders and swaps hex at runtime, because its SDK consumers
+ * must not need a Rust toolchain. This project already requires `silverc` for `npm run contracts`,
+ * so it compiles with the real values instead -- no placeholder table to keep in step with the
+ * contract, and no chance of a swap count silently going stale when a constant gains a use site.
+ */
+import { execFileSync } from 'node:child_process';
+import { writeFileSync, readFileSync, existsSync } from 'node:fs';
+import { join } from 'node:path';
+import { homedir } from 'node:os';
+import { loadSdk } from './kaspa.js';
+import { HAND_WRITTEN } from './covenant-profile.js';
+export const SILVERC = process.env.METERED_SILVERC ?? join(homedir(), '.metered', 'bin', 'silverc.exe');
+/**
+ * Compile with the given constructor arguments and return the redeem script.
+ *
+ * `contract` selects which covenant: the hand-written SilverScript, or argentc's generated
+ * output. Both take the SAME five constructor arguments in the same order, which is why one
+ * function serves both -- see tools/covenant-profile.ts.
+ */
+export function compileWithState(dir, state, contractPath = HAND_WRITTEN.contract) {
+    if (!existsSync(SILVERC)) {
+        throw new Error(`silverc not found at ${SILVERC}; set METERED_SILVERC`);
+    }
+    const bytes = (hex) => ({ kind: 'bytes', value: Array.from(Buffer.from(hex, 'hex')) });
+    const ctorPath = join(dir, `ctor-${state.seq}-${state.sompi}.json`);
+    const outPath = join(dir, `art-${state.seq}-${state.sompi}.json`);
+    writeFileSync(ctorPath, JSON.stringify([
+        bytes(state.parties),
+        bytes(state.sessionId),
+        { kind: 'int', value: state.window },
+        { kind: 'int', value: state.seq },
+        { kind: 'int', value: state.sompi },
+    ]));
+    execFileSync(SILVERC, [contractPath, '--constructor-args', ctorPath, '-o', outPath], { stdio: 'pipe' });
+    const artifact = JSON.parse(readFileSync(outPath, 'utf8'));
+    const contract = artifact.contracts.MeteredSession;
+    if (!contract)
+        throw new Error('artifact has no MeteredSession contract');
+    return {
+        hex: Buffer.from(contract.compiled.bytecode).toString('hex'),
+        span: contract.compiled.state_span,
+        entries: contract.entries,
+    };
+}
+/** The P2SH address a redeem script locks to -- where the session's funds actually sit. */
+export async function covenantAddress(redeemHex, network) {
+    const sdk = await loadSdk();
+    const spk = sdk.payToScriptHashScript(redeemHex);
+    return sdk.addressFromScriptPublicKey(spk, new sdk.NetworkId(network)).toString();
+}
+//# sourceMappingURL=covenant.js.map

package/dist/tools/covenant.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"covenant.js","sourceRoot":"","sources":["../../tools/covenant.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AACH,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAClD,OAAO,EAAE,aAAa,EAAE,YAAY,EAAE,UAAU,EAAE,MAAM,SAAS,CAAC;AAClE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,OAAO,EAAE,MAAM,SAAS,CAAC;AAClC,OAAO,EAAE,OAAO,EAAgB,MAAM,YAAY,CAAC;AACnD,OAAO,EAAE,YAAY,EAAE,MAAM,uBAAuB,CAAC;AAErD,MAAM,CAAC,MAAM,OAAO,GAAG,OAAO,CAAC,GAAG,CAAC,eAAe,IAAI,IAAI,CAAC,OAAO,EAAE,EAAE,UAAU,EAAE,KAAK,EAAE,aAAa,CAAC,CAAC;AAgBxG;;;;;;GAMG;AACH,MAAM,UAAU,gBAAgB,CAAC,GAAW,EAAE,KAAoB,EAAE,YAAY,GAAG,YAAY,CAAC,QAAQ;IACtG,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,EAAE,CAAC;QACzB,MAAM,IAAI,KAAK,CAAC,wBAAwB,OAAO,uBAAuB,CAAC,CAAC;IAC1E,CAAC;IACD,MAAM,KAAK,GAAG,CAAC,GAAW,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC;IAC/F,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,EAAE,QAAQ,KAAK,CAAC,GAAG,IAAI,KAAK,CAAC,KAAK,OAAO,CAAC,CAAC;IACpE,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,EAAE,OAAO,KAAK,CAAC,GAAG,IAAI,KAAK,CAAC,KAAK,OAAO,CAAC,CAAC;IAClE,aAAa,CACX,QAAQ,EACR,IAAI,CAAC,SAAS,CAAC;QACb,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC;QACpB,KAAK,CAAC,KAAK,CAAC,SAAS,CAAC;QACtB,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,MAAM,EAAE;QACpC,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,GAAG,EAAE;QACjC,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE;KACpC,CAAC,CACH,CAAC;IACF,YAAY,CAAC,OAAO,EAAE,CAAC,YAAY,EAAE,oBAAoB,EAAE,QAAQ,EAAE,IAAI,EAAE,OAAO,CAAC,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC;IAExG,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,OAAO,EAAE,MAAM,CAAC,CAExD,CAAC;IACF,MAAM,QAAQ,GAAG,QAAQ,CAAC,SAAS,CAAC,cAAc,CAAC;IACnD,IAAI,CAAC,QAAQ;QAAE,MAAM,IAAI,KAAK,CAAC,yCAAyC,CAAC,CAAC;IAC1E,OAAO;QACL,GAAG,EAAE,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC;QAC5D,IAAI,EAAE,QAAQ,CAAC,QAAQ,CAAC,UAAU;QAClC,OAAO,EAAE,QAAQ,CAAC,OAAO;KAC1B,CAAC;AACJ,CAAC;AAED,2FAA2F;AAC3F,MAAM,CAAC,KAAK,UAAU,eAAe,CAAC,SAAiB,EAAE,OAAgB;IACvE,MAAM,GAAG,GAAG,MAAM,OAAO,EAAE,CAAC;IAC5B,MAAM,GAAG,GAAG,GAAG,CAAC,qBAAqB,CAAC,SAAS,CAAC,CAAC;IACjD,OAAO,GAAG,CAAC,0BAA0B,CAAC,GAAG,EAAE,IAAI,GAAG,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;AACpF,CAAC"}

package/dist/tools/demo-report.d.ts

@@ -0,0 +1,24 @@
+/**
+ * What the demo SAYS about what happened, kept apart from what it does.
+ *
+ * `demo.ts` drives a real session: HTTP, a covenant, transactions, coins. Nothing here moves money
+ * or signs anything -- these functions only read back what landed and describe it. Keeping the two
+ * apart means a change to the wording can never be a change to the path that spends.
+ */
+import { type Any } from './live-steps.js';
+import type { ModelSource } from './model.js';
+/** Read the close back off the chain and say which of the three shapes it took. */
+export declare function reportClose(rpc: Any, outs: {
+    address: string;
+    amount: bigint;
+}[], providerAddr: string, owed: number, units: number): Promise<void>;
+/** Checkpoint records, with the txid that makes one usable as evidence. */
+export declare function reportCheckpoints(records: {
+    seq: number;
+    status: string;
+    txid?: string;
+    error?: string;
+}[]): void;
+/** Say what is behind the meter, so a reader never has to guess whether it was real. */
+export declare function announceModel(source: ModelSource | null): void;
+//# sourceMappingURL=demo-report.d.ts.map

package/dist/tools/demo-report.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"demo-report.d.ts","sourceRoot":"","sources":["../../tools/demo-report.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AACH,OAAO,EAAa,KAAK,GAAG,EAAE,MAAM,iBAAiB,CAAC;AACtD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAE9C,mFAAmF;AACnF,wBAAsB,WAAW,CAC/B,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE;IAAE,OAAO,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,EAAE,EAAE,YAAY,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GACvG,OAAO,CAAC,IAAI,CAAC,CAaf;AAED,2EAA2E;AAC3E,wBAAgB,iBAAiB,CAAC,OAAO,EAAE;IAAE,GAAG,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IAAC,KAAK,CAAC,EAAE,MAAM,CAAA;CAAE,EAAE,GAAG,IAAI,CAKjH;AAED,wFAAwF;AACxF,wBAAgB,aAAa,CAAC,MAAM,EAAE,WAAW,GAAG,IAAI,GAAG,IAAI,CAI9D"}

package/dist/tools/demo-report.js

@@ -0,0 +1,40 @@
+/**
+ * What the demo SAYS about what happened, kept apart from what it does.
+ *
+ * `demo.ts` drives a real session: HTTP, a covenant, transactions, coins. Nothing here moves money
+ * or signs anything -- these functions only read back what landed and describe it. Keeping the two
+ * apart means a change to the wording can never be a change to the path that spends.
+ */
+import { awaitUtxo } from './live-steps.js';
+/** Read the close back off the chain and say which of the three shapes it took. */
+export async function reportClose(rpc, outs, providerAddr, owed, units) {
+    const first = outs[0];
+    if (!first)
+        throw new Error('no close outputs');
+    if (!(await awaitUtxo(rpc, first.address, first.amount)))
+        throw new Error('the close did not land');
+    if (outs.length === 1) {
+        const to = first.address === providerAddr ? 'provider' : 'buyer';
+        console.log(`\n     ${owed} sompi earned is BELOW the KIP-9 floor, so it cannot be paid as`);
+        console.log(`     its own output. It folded into the ${to}'s ${Number(first.amount) / 1e8} TKAS.`);
+        console.log('     Before Finding G was fixed, a session this small locked the balance forever.\n');
+        return;
+    }
+    console.log(`\n     provider earned ${Number(first.amount) / 1e8} TKAS for ${units} units`);
+    console.log(`     buyer refunded  ${Number(outs[1].amount) / 1e8} TKAS\n`);
+}
+/** Checkpoint records, with the txid that makes one usable as evidence. */
+export function reportCheckpoints(records) {
+    for (const c of records) {
+        const where = c.txid ? `   ${c.txid}` : c.error ? `   ${c.error}` : '';
+        console.log(`     seq ${c.seq}       ${c.status}${where}`);
+    }
+}
+/** Say what is behind the meter, so a reader never has to guess whether it was real. */
+export function announceModel(source) {
+    if (!source)
+        return;
+    console.log(`\n  0. MODEL      ${source.model}, ${source.reportedTokens.length} completions`);
+    console.log(`                the model reports ${source.reportedTokens.join(', ')} output tokens`);
+}
+//# sourceMappingURL=demo-report.js.map

package/dist/tools/demo-report.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"demo-report.js","sourceRoot":"","sources":["../../tools/demo-report.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AACH,OAAO,EAAE,SAAS,EAAY,MAAM,iBAAiB,CAAC;AAGtD,mFAAmF;AACnF,MAAM,CAAC,KAAK,UAAU,WAAW,CAC/B,GAAQ,EAAE,IAA2C,EAAE,YAAoB,EAAE,IAAY,EAAE,KAAa;IAExG,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;IACtB,IAAI,CAAC,KAAK;QAAE,MAAM,IAAI,KAAK,CAAC,kBAAkB,CAAC,CAAC;IAChD,IAAI,CAAC,CAAC,MAAM,SAAS,CAAC,GAAG,EAAE,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,wBAAwB,CAAC,CAAC;IACpG,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACtB,MAAM,EAAE,GAAG,KAAK,CAAC,OAAO,KAAK,YAAY,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC;QACjE,OAAO,CAAC,GAAG,CAAC,UAAU,IAAI,iEAAiE,CAAC,CAAC;QAC7F,OAAO,CAAC,GAAG,CAAC,2CAA2C,EAAE,MAAM,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,GAAG,QAAQ,CAAC,CAAC;QACnG,OAAO,CAAC,GAAG,CAAC,qFAAqF,CAAC,CAAC;QACnG,OAAO;IACT,CAAC;IACD,OAAO,CAAC,GAAG,CAAC,0BAA0B,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,GAAG,aAAa,KAAK,QAAQ,CAAC,CAAC;IAC5F,OAAO,CAAC,GAAG,CAAC,wBAAwB,MAAM,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,MAAM,CAAC,GAAG,GAAG,SAAS,CAAC,CAAC;AAC9E,CAAC;AAED,2EAA2E;AAC3E,MAAM,UAAU,iBAAiB,CAAC,OAAyE;IACzG,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;QACxB,MAAM,KAAK,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACvE,OAAO,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC,GAAG,UAAU,CAAC,CAAC,MAAM,GAAG,KAAK,EAAE,CAAC,CAAC;IAC7D,CAAC;AACH,CAAC;AAED,wFAAwF;AACxF,MAAM,UAAU,aAAa,CAAC,MAA0B;IACtD,IAAI,CAAC,MAAM;QAAE,OAAO;IACpB,OAAO,CAAC,GAAG,CAAC,qBAAqB,MAAM,CAAC,KAAK,KAAK,MAAM,CAAC,cAAc,CAAC,MAAM,cAAc,CAAC,CAAC;IAC9F,OAAO,CAAC,GAAG,CAAC,qCAAqC,MAAM,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;AACrG,CAAC"}

package/dist/tools/demo.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=demo.d.ts.map

package/dist/tools/demo.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"demo.d.ts","sourceRoot":"","sources":["../../tools/demo.ts"],"names":[],"mappings":""}

package/dist/tools/demo.js

@@ -0,0 +1,204 @@
+/**
+ * `npm run demo` -- the whole thing, end to end, on testnet-10.
+ *
+ * A buyer discovers terms over HTTP, runs a metered session against a real server, and then
+ * settles the result on Kaspa. Every piece this project has built, in one command:
+ *
+ *   402 handshake -> the provider states its terms and signs them
+ *   covenant       -> compiled with those exact terms, funded on chain
+ *   chunks         -> delivered over HTTP, counted by BOTH sides, doubly signed
+ *   settle         -> the final State posted to the covenant under real consensus
+ *   expire         -> the money splits: provider paid what it earned, buyer refunded
+ *
+ * WHAT IS REAL AND WHAT IS NOT, stated plainly. The transport, the signatures, the covenant, the
+ * transactions and the coins are all real, and so is the COUNTING: both sides run a real meter from
+ * src/meter.ts over a real unit from SPEC.md 6 -- `o200k_base` over `llm.output_tokens.v1`, pinned
+ * id-for-id against the Python tiktoken every number in SPEC.md was measured with, or `octets`
+ * over `net.bytes_delivered.v1` with `--bytes`.
+ *
+ * What is still not real is the CONTENT: generated text rather than model output, because
+ * metering something is the claim being demonstrated and wiring a model in would add an API key
+ * and prove nothing further. Earlier this demo also counted words under a `words.v1` unit of its
+ * own invention, which meant the one thing it existed to show was the one thing it faked.
+ */
+import { mkdtempSync } from 'node:fs';
+import { tmpdir } from 'node:os';
+import { join } from 'node:path';
+import { randomBytes } from 'node:crypto';
+import { bytesToHex } from '@noble/hashes/utils';
+import { meterFor } from '../src/meter.js';
+import { demoModel } from './model.js';
+import { fileStore } from '../src/store.js';
+import { publicKeyHex, signState } from '../src/encoding.js';
+import { serveMetered } from '../src/http/serve.js';
+import { MeteredService } from '../src/http/service.js';
+import { kaspaAnchor } from './anchor.js';
+import { openSession, runBabel } from '../src/http/client.js';
+import { loadSdk, loadAnchorKey } from './kaspa.js';
+import { openCovenant, fundCovenant, settleClaim, closeCovenant } from './session-chain.js';
+import { reportClose, reportCheckpoints, announceModel } from './demo-report.js';
+const NETWORK = 'testnet-10';
+const FUND = 50000000n;
+const WINDOW = 2;
+// DELIBERATELY BELOW THE KIP-9 FLOOR. Thirty words at 3,630 sompi earns 108,900 -- about
+// eighteen times too small to be paid out as its own output. That is the exact session that
+// LOCKED THE FUNDS and produced Finding G, and it is kept here on purpose: the covenant now
+// folds a dust payout into the buyer's refund rather than demanding an output the chain cannot
+// create, so this run closes. A demo priced safely above the floor would never touch that path.
+const PRICE = 3630;
+const CHUNK = 10;
+const CHUNKS = 3;
+/**
+ * `npm run demo -- --bytes` meters net.bytes_delivered.v1 instead, which is the second unit and
+ * the exact one: no tolerance is needed, because agreeing on contentDigest already means agreeing
+ * on the length. Nothing but these three lines changes -- that is the point of the exercise.
+ */
+const BYTES = process.argv.includes('--bytes');
+const UNIT = BYTES ? 'net.bytes_delivered.v1' : 'llm.output_tokens.v1';
+const METER = BYTES ? 'octets' : 'o200k_base';
+const dir = mkdtempSync(join(tmpdir(), 'metered-demo-'));
+const meter = meterFor(METER);
+const encoder = new TextEncoder();
+const generated = (prompt, max) => encoder.encode(Array.from({ length: max }, (_, i) => `${prompt}${i}`).join(' '));
+/**
+ * `npm run demo -- --model` meters a REAL language model instead of generated text.
+ *
+ * Everything else is identical, which is the point: the protocol never knew what it was metering.
+ * Without the flag, or without a key, the demo runs on generated text and says so.
+ */
+const USE_MODEL = process.argv.includes('--model');
+/**
+ * Open a session, let the caller fund its covenant, THEN run the chunks.
+ *
+ * The order matters for a reason worth writing down: a checkpoint anchor SPENDS a UTXO, and in
+ * this demo the anchoring wallet and the funding wallet are the same one. Running chunks first
+ * meant the anchor consumed the UTXO the funding transaction was about to use, and the covenant
+ * was never funded. In a real deployment the provider anchors from its own wallet and the buyer
+ * funds the covenant from another, so they never contend -- the demo has to be explicit about an
+ * order that reality gets for free.
+ */
+async function runSession(terms, providerSk, buyerSk, funder, afterOpen, deliver = generated) {
+    // A REAL anchor. SPEC.md 8's checkpoints go to testnet-10 while the session is still running,
+    // which is the point of them being non-blocking: the chunks below do not wait for a block.
+    const service = new MeteredService({
+        terms, providerSk, providerPubkey: publicKeyHex(providerSk), meter, deliver,
+        // SPEC.md 4, durably. A provider holding money must not forget what it has signed, and the
+        // default store forgets on restart -- so the demo uses the real one, in its temp directory.
+        store: fileStore(join(dir, 'signer.jsonl')),
+        anchor: kaspaAnchor({ network: NETWORK, privateKeyHex: funder }),
+    });
+    const server = serveMetered({ service });
+    await new Promise((r) => server.listen(0, '127.0.0.1', r));
+    const base = `http://127.0.0.1:${server.address().port}`;
+    try {
+        const { offer, session } = await openSession(base, buyerSk, meter, 'kaspa:testnet-10');
+        await afterOpen(offer);
+        let last = null;
+        for (let i = 0; i < CHUNKS; i += 1) {
+            const out = await runBabel(base, session, `word${i}-`);
+            console.log(`     chunk ${i}: ${out.billedUnits} units, ${out.state.cumulativeSompi} sompi owed`);
+            last = out.state;
+        }
+        if (!last)
+            throw new Error('no chunks ran');
+        return { offer, state: last, sigs: [signState(last, buyerSk), signState(last, providerSk)], service };
+    }
+    finally {
+        await new Promise((r) => server.close(() => r()));
+    }
+}
+/**
+ * TERMS ONLY -- no sessionId, no buyer, no parties commitment. The server mints those when a buyer
+ * asks, because an Offer commits to blake3(buyer || provider) and cannot be signed for someone who
+ * has not turned up yet. That is also what lets one server hold many sessions.
+ *
+ * The tolerance comes from the METER (SPEC.md 6.0): 0 for octets, which is exact, and 1 for a
+ * tokeniser, which is not.
+ */
+function announceTerms() {
+    const terms = {
+        v: 1, scheme: 'metered', network: 'kaspa:testnet-10', asset: 'KAS',
+        unit: UNIT, meter: METER,
+        unitPriceSompi: PRICE, babelUnits: CHUNK, maxBabels: 16,
+        toleranceAbs: BYTES ? 0 : 1, checkpointEvery: 2, responseWindowDaa: WINDOW,
+    };
+    console.log(`
+  1. TERMS      ${CHUNK} units of ${UNIT} per babel at ${PRICE} sompi each`);
+    console.log(`                meter ${METER}, tolerance ${terms.toleranceAbs}`);
+    return terms;
+}
+async function main() {
+    const funder = loadAnchorKey();
+    if (!funder)
+        throw new Error('no anchor key; run: npm run anchor -- address');
+    const buyerSk = bytesToHex(randomBytes(32));
+    const providerSk = bytesToHex(randomBytes(32));
+    const buyerPk = publicKeyHex(buyerSk);
+    const providerPk = publicKeyHex(providerSk);
+    // A REAL MODEL, if asked for. Replies are fetched up front because `Deliver` is synchronous --
+    // reconciliation is -- and capped at CHUNK output tokens each, so the babel is enforced by the
+    // model itself rather than trusted.
+    const source = await demoModel(USE_MODEL, CHUNK);
+    announceModel(source);
+    const terms = announceTerms();
+    const sdk = await loadSdk();
+    const networkId = new sdk.NetworkId(NETWORK);
+    const rpc = new sdk.RpcClient({ resolver: new sdk.Resolver(), encoding: sdk.Encoding.Borsh, networkId });
+    await rpc.connect();
+    try {
+        let covenant = null;
+        console.log(`
+  2. SESSION    opening, funding, then running ${CHUNKS} chunks over HTTP`);
+        const { offer, state, sigs, service } = await runSession(terms, providerSk, buyerSk, funder, async (o) => {
+            // THE COVENANT IS BUILT FROM THE OFFER THE SERVER ACTUALLY ISSUED, so its constructor
+            // constants are that session's parties commitment and id. The address is derived from the
+            // agreement rather than the agreement being fitted to an address.
+            const op = await openCovenant(dir, o, WINDOW, NETWORK);
+            const utxo = await fundCovenant(rpc, sdk, op, funder, FUND, NETWORK);
+            covenant = { ...op, utxo };
+            console.log(`     funded     ${Number(FUND) / 1e8} TKAS -> ${op.address.slice(0, 28)}...`);
+        }, source?.deliver ?? generated);
+        if (!covenant)
+            throw new Error('the covenant was never funded');
+        const opened = covenant;
+        const sessionId = offer.sessionId;
+        console.log(`     final      seq ${state.seq}, ${state.cumulativeUnits} units, ${state.cumulativeSompi} sompi`);
+        // SPEC.md 8 checkpoints were dispatched DURING the session, without it waiting for a block.
+        const checkpoints = service.checkpointsFor(sessionId);
+        console.log(`\n  3. ANCHORED   ${checkpoints.length} checkpoint(s), dispatched mid-session without it waiting`);
+        reportCheckpoints(checkpoints);
+        // THE SIGNATURE SCRIPT IS BUILT, not printed by a patched simulator: before that changed, a
+        // metered session could be settled on exactly one machine. tools/sigscript-check.ts proves the
+        // built script and the simulator's agree byte for byte.
+        const claim = await settleClaim(rpc, sdk, opened, opened.utxo, state, {
+            buyerPubkey: buyerPk, providerPubkey: providerPk, buyerSig: sigs[0], providerSig: sigs[1],
+        }, NETWORK);
+        console.log(`
+  4. SETTLED    the HTTP session's State, on chain   ${claim.txid}`);
+        const buyerAddr = new sdk.PrivateKey(buyerSk).toKeypair().toAddress(networkId).toString();
+        const providerAddr = new sdk.PrivateKey(providerSk).toKeypair().toAddress(networkId).toString();
+        const closed = await closeCovenant(rpc, sdk, opened, claim, {
+            buyerPubkey: buyerPk, providerPubkey: providerPk, signerSk: providerSk,
+            buyerAddress: buyerAddr, providerAddress: providerAddr,
+        }, state.cumulativeSompi);
+        console.log(`  5. CLOSED     ${closed.txid}`);
+        await reportClose(rpc, closed.outputs, providerAddr, state.cumulativeSompi, state.cumulativeUnits);
+        // The same checkpoints, read again now the session is over. They said `pending` above because
+        // the session did not wait for them, which is SPEC.md 8's rule; they have since resolved on
+        // their own. The wait happens ONCE, here, rather than in the session -- and a checkpoint
+        // carries its txid so a future reader can fetch the block and check the payload rather than
+        // taking this process's word for it.
+        await service.checkpointsSettled(sessionId);
+        console.log('  6. CHECKPOINTS, re-read now the session is done:');
+        reportCheckpoints(service.checkpointsFor(sessionId));
+        console.log('');
+    }
+    finally {
+        await rpc.disconnect().catch(() => undefined);
+    }
+}
+main().catch((err) => {
+    console.error(`\n  ${err instanceof Error ? err.message : String(err)}\n`);
+    process.exit(1);
+});
+//# sourceMappingURL=demo.js.map

package/dist/tools/demo.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"demo.js","sourceRoot":"","sources":["../../tools/demo.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,OAAO,EAAE,WAAW,EAAE,MAAM,SAAS,CAAC;AACtC,OAAO,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AACjC,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAE1C,OAAO,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAC;AACjD,OAAO,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAC;AAC3C,OAAO,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AACvC,OAAO,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAC5C,OAAO,EAAE,YAAY,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AAC7D,OAAO,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAC;AAEpD,OAAO,EAAE,cAAc,EAAmB,MAAM,wBAAwB,CAAC;AACzE,OAAO,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAC1C,OAAO,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,uBAAuB,CAAC;AAC9D,OAAO,EAAE,OAAO,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAEpD,OAAO,EAAE,YAAY,EAAE,YAAY,EAAE,WAAW,EAAE,aAAa,EAAe,MAAM,oBAAoB,CAAC;AACzG,OAAO,EAAE,WAAW,EAAE,iBAAiB,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAC;AAGjF,MAAM,OAAO,GAAG,YAAqB,CAAC;AACtC,MAAM,IAAI,GAAG,SAAW,CAAC;AACzB,MAAM,MAAM,GAAG,CAAC,CAAC;AACjB,yFAAyF;AACzF,4FAA4F;AAC5F,4FAA4F;AAC5F,+FAA+F;AAC/F,gGAAgG;AAChG,MAAM,KAAK,GAAG,IAAI,CAAC;AACnB,MAAM,KAAK,GAAG,EAAE,CAAC;AACjB,MAAM,MAAM,GAAG,CAAC,CAAC;AAEjB;;;;GAIG;AACH,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC;AAC/C,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,wBAAwB,CAAC,CAAC,CAAC,sBAAsB,CAAC;AACvE,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,YAAY,CAAC;AAC9C,MAAM,GAAG,GAAG,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,eAAe,CAAC,CAAC,CAAC;AACzD,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC;AAC9B,MAAM,OAAO,GAAG,IAAI,WAAW,EAAE,CAAC;AAClC,MAAM,SAAS,GAAG,CAAC,MAAc,EAAE,GAAW,EAAc,EAAE,CAC5D,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,MAAM,GAAG,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;AAEnF;;;;;GAKG;AACH,MAAM,SAAS,GAAG,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC;AAEnD;;;;;;;;;GASG;AACH,KAAK,UAAU,UAAU,CACvB,KAAiB,EAAE,UAAkB,EAAE,OAAe,EAAE,MAAc,EACtE,SAA0C,EAC1C,UAAmB,SAAS;IAE5B,8FAA8F;IAC9F,2FAA2F;IAC3F,MAAM,OAAO,GAAG,IAAI,cAAc,CAAC;QACjC,KAAK,EAAE,UAAU,EAAE,cAAc,EAAE,YAAY,CAAC,UAAU,CAAC,EAAE,KAAK,EAAE,OAAO;QAC3E,2FAA2F;QAC3F,4FAA4F;QAC5F,KAAK,EAAE,SAAS,CAAC,IAAI,CAAC,GAAG,EAAE,cAAc,CAAC,CAAC;QAC3C,MAAM,EAAE,WAAW,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,aAAa,EAAE,MAAM,EAAE,CAAC;KACjE,CAAC,CAAC;IACH,MAAM,MAAM,GAAG,YAAY,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC;IACzC,MAAM,IAAI,OAAO,CAAO,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC,CAAC,CAAC;IACjE,MAAM,IAAI,GAAG,oBAAqB,MAAM,CAAC,OAAO,EAAkB,CAAC,IAAI,EAAE,CAAC;IAC1E,IAAI,CAAC;QACH,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,GAAG,MAAM,WAAW,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,kBAAkB,CAAC,CAAC;QACvF,MAAM,SAAS,CAAC,KAAK,CAAC,CAAC;QACvB,IAAI,IAAI,GAAiB,IAAI,CAAC;QAC9B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;YACnC,MAAM,GAAG,GAAG,MAAM,QAAQ,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC;YACvD,OAAO,CAAC,GAAG,CAAC,cAAc,CAAC,KAAK,GAAG,CAAC,WAAW,WAAW,GAAG,CAAC,KAAK,CAAC,eAAe,aAAa,CAAC,CAAC;YAClG,IAAI,GAAG,GAAG,CAAC,KAAK,CAAC;QACnB,CAAC;QACD,IAAI,CAAC,IAAI;YAAE,MAAM,IAAI,KAAK,CAAC,eAAe,CAAC,CAAC;QAC5C,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,SAAS,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,SAAS,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC;IACxG,CAAC;YAAS,CAAC;QACT,MAAM,IAAI,OAAO,CAAO,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC1D,CAAC;AACH,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,aAAa;IACpB,MAAM,KAAK,GAAe;QACxB,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,SAAS,EAAE,OAAO,EAAE,kBAAkB,EAAE,KAAK,EAAE,KAAK;QAClE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK;QACxB,cAAc,EAAE,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,SAAS,EAAE,EAAE;QACvD,YAAY,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,eAAe,EAAE,CAAC,EAAE,iBAAiB,EAAE,MAAM;KAC3E,CAAC;IACF,OAAO,CAAC,GAAG,CAAC;kBACI,KAAK,aAAa,IAAI,iBAAiB,KAAK,aAAa,CAAC,CAAC;IAC3E,OAAO,CAAC,GAAG,CAAC,yBAAyB,KAAK,eAAe,KAAK,CAAC,YAAY,EAAE,CAAC,CAAC;IAC/E,OAAO,KAAK,CAAC;AACf,CAAC;AAED,KAAK,UAAU,IAAI;IACjB,MAAM,MAAM,GAAG,aAAa,EAAE,CAAC;IAC/B,IAAI,CAAC,MAAM;QAAE,MAAM,IAAI,KAAK,CAAC,+CAA+C,CAAC,CAAC;IAE9E,MAAM,OAAO,GAAG,UAAU,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC,CAAC;IAC5C,MAAM,UAAU,GAAG,UAAU,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC,CAAC;IAC/C,MAAM,OAAO,GAAG,YAAY,CAAC,OAAO,CAAC,CAAC;IACtC,MAAM,UAAU,GAAG,YAAY,CAAC,UAAU,CAAC,CAAC;IAE5C,+FAA+F;IAC/F,+FAA+F;IAC/F,oCAAoC;IACpC,MAAM,MAAM,GAAG,MAAM,SAAS,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;IACjD,aAAa,CAAC,MAAM,CAAC,CAAC;IAEtB,MAAM,KAAK,GAAG,aAAa,EAAE,CAAC;IAE9B,MAAM,GAAG,GAAG,MAAM,OAAO,EAAE,CAAC;IAC5B,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;IAC7C,MAAM,GAAG,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,EAAE,QAAQ,EAAE,IAAI,GAAG,CAAC,QAAQ,EAAE,EAAE,QAAQ,EAAE,GAAG,CAAC,QAAQ,CAAC,KAAK,EAAE,SAAS,EAAE,CAAC,CAAC;IACzG,MAAM,GAAG,CAAC,OAAO,EAAE,CAAC;IACpB,IAAI,CAAC;QACH,IAAI,QAAQ,GAAoC,IAAI,CAAC;QAErD,OAAO,CAAC,GAAG,CAAC;iDACiC,MAAM,mBAAmB,CAAC,CAAC;QACxE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,MAAM,UAAU,CAAC,KAAK,EAAE,UAAU,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE;YACvG,sFAAsF;YACtF,0FAA0F;YAC1F,kEAAkE;YAClE,MAAM,EAAE,GAAG,MAAM,YAAY,CAAC,GAAG,EAAE,CAAC,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;YACvD,MAAM,IAAI,GAAG,MAAM,YAAY,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;YACrE,QAAQ,GAAG,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,CAAC;YAC3B,OAAO,CAAC,GAAG,CAAC,mBAAmB,MAAM,CAAC,IAAI,CAAC,GAAG,GAAG,YAAY,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC;QAC7F,CAAC,EAAE,MAAM,EAAE,OAAO,IAAI,SAAS,CAAC,CAAC;QACjC,IAAI,CAAC,QAAQ;YAAE,MAAM,IAAI,KAAK,CAAC,+BAA+B,CAAC,CAAC;QAChE,MAAM,MAAM,GAA2B,QAAQ,CAAC;QAChD,MAAM,SAAS,GAAG,KAAK,CAAC,SAAS,CAAC;QAElC,OAAO,CAAC,GAAG,CAAC,uBAAuB,KAAK,CAAC,GAAG,KAAK,KAAK,CAAC,eAAe,WAAW,KAAK,CAAC,eAAe,QAAQ,CAAC,CAAC;QAEhH,4FAA4F;QAC5F,MAAM,WAAW,GAAG,OAAO,CAAC,cAAc,CAAC,SAAS,CAAC,CAAC;QACtD,OAAO,CAAC,GAAG,CAAC,qBAAqB,WAAW,CAAC,MAAM,2DAA2D,CAAC,CAAC;QAChH,iBAAiB,CAAC,WAAW,CAAC,CAAC;QAE/B,4FAA4F;QAC5F,+FAA+F;QAC/F,wDAAwD;QACxD,MAAM,KAAK,GAAG,MAAM,WAAW,CAAC,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE;YACpE,WAAW,EAAE,OAAO,EAAE,cAAc,EAAE,UAAU,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,IAAI,CAAC,CAAC,CAAC;SAC1F,EAAE,OAAO,CAAC,CAAC;QACZ,OAAO,CAAC,GAAG,CAAC;uDACuC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;QAEjE,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,SAAS,EAAE,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC,QAAQ,EAAE,CAAC;QAC1F,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC,SAAS,EAAE,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC,QAAQ,EAAE,CAAC;QAChG,MAAM,MAAM,GAAG,MAAM,aAAa,CAAC,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE;YAC1D,WAAW,EAAE,OAAO,EAAE,cAAc,EAAE,UAAU,EAAE,QAAQ,EAAE,UAAU;YACtE,YAAY,EAAE,SAAS,EAAE,eAAe,EAAE,YAAY;SACvD,EAAE,KAAK,CAAC,eAAe,CAAC,CAAC;QAC1B,OAAO,CAAC,GAAG,CAAC,mBAAmB,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;QAC9C,MAAM,WAAW,CAAC,GAAG,EAAE,MAAM,CAAC,OAAO,EAAE,YAAY,EAAE,KAAK,CAAC,eAAe,EAAE,KAAK,CAAC,eAAe,CAAC,CAAC;QAEnG,8FAA8F;QAC9F,4FAA4F;QAC5F,yFAAyF;QACzF,4FAA4F;QAC5F,qCAAqC;QACrC,MAAM,OAAO,CAAC,kBAAkB,CAAC,SAAS,CAAC,CAAC;QAC5C,OAAO,CAAC,GAAG,CAAC,oDAAoD,CAAC,CAAC;QAClE,iBAAiB,CAAC,OAAO,CAAC,cAAc,CAAC,SAAS,CAAC,CAAC,CAAC;QACrD,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAClB,CAAC;YAAS,CAAC;QACT,MAAM,GAAG,CAAC,UAAU,EAAE,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,CAAC;IAChD,CAAC;AACH,CAAC;AAED,IAAI,EAAE,CAAC,KAAK,CAAC,CAAC,GAAY,EAAE,EAAE;IAC5B,OAAO,CAAC,KAAK,CAAC,OAAO,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAC3E,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AAClB,CAAC,CAAC,CAAC"}

package/dist/tools/dust-map.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=dust-map.d.ts.map

package/dist/tools/dust-map.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"dust-map.d.ts","sourceRoot":"","sources":["../../tools/dust-map.ts"],"names":[],"mappings":""}

package/dist/tools/dust-map.js

@@ -0,0 +1,63 @@
+/**
+ * Map every legal close, and find the claims that have none.
+ *
+ * SPEC.md 7.4a names three close shapes and gates them on the constant 2,000,000. That constant is
+ * the ASYMPTOTIC KIP-9 floor -- the value an output approaches when everything else in the
+ * transaction is large. The real floor is not a constant: storage mass prices an output by its
+ * reciprocal and subtracts the input's, so what is payable depends on the other output and on how
+ * much the covenant holds.
+ *
+ * So this does not argue about it. For a covenant balance it walks every pendingSompi and asks the
+ * node's own formula which of the three shapes, if any, consensus would accept. A claim with no
+ * accepted shape is a session whose funds cannot move.
+ *
+ *     mass = 10^12/out_1 + 10^12/out_2 - 10^12/in   and a transaction is refused above 500,000
+ */
+const LIMIT = 500_000;
+const RECIP = 1_000_000_000_000;
+const FEE = 400_000;
+const DUST = Number(process.env.METERED_DUST ?? 2_000_000);
+const FOLD = DUST + FEE;
+const massOf = (outs, input) => outs.reduce((m, o) => m + Math.floor(RECIP / o), 0) - Math.floor(RECIP / input);
+/** What the covenant would DEMAND for this claim, following contracts/metered_session.sil. */
+function demandedShape(pending, total) {
+    if (pending < DUST)
+        return { outs: [total - FEE], name: 'fold-to-buyer' };
+    if (pending + FOLD >= total)
+        return { outs: [pending], name: 'fold-to-provider' };
+    return { outs: [pending, total - pending - FEE], name: 'two-output' };
+}
+function scan(total) {
+    const gaps = [];
+    let open = null;
+    let checked = 0;
+    // Step finely near the dust boundary, coarsely elsewhere: that is where the edges live.
+    for (let pending = 0; pending <= total; pending += pending > 1_900_000 && pending < 3_000_000 ? 1 : 1_009) {
+        checked += 1;
+        const { outs } = demandedShape(pending, total);
+        const legal = outs.every((o) => o > 0) && massOf(outs, total) <= LIMIT;
+        if (!legal && open === null)
+            open = pending;
+        if (legal && open !== null) {
+            gaps.push([open, pending - 1]);
+            open = null;
+        }
+    }
+    if (open !== null)
+        gaps.push([open, total]);
+    return { gaps, checked };
+}
+const balances = (process.env.METERED_BALANCES ?? '50000000,20000000,10000000,5000000,100000000')
+    .split(',').map(Number);
+console.log('\n  KIP-9 CLOSE FEASIBILITY -- claims with no legal close shape\n');
+console.log(`  ${'covenant'.padStart(12)}  ${'checked'.padStart(9)}  unclosable range of pendingSompi`);
+for (const total of balances) {
+    const { gaps, checked } = scan(total);
+    const shown = gaps.length === 0
+        ? 'none'
+        : gaps.map(([a, b]) => `${a.toLocaleString()}..${b.toLocaleString()}`).join(', ');
+    console.log(`  ${total.toLocaleString().padStart(12)}  ${String(checked).padStart(9)}  ${shown}`);
+}
+console.log('');
+export {};
+//# sourceMappingURL=dust-map.js.map

package/dist/tools/dust-map.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"dust-map.js","sourceRoot":"","sources":["../../tools/dust-map.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AACH,MAAM,KAAK,GAAG,OAAO,CAAC;AACtB,MAAM,KAAK,GAAG,iBAAiB,CAAC;AAChC,MAAM,GAAG,GAAG,OAAO,CAAC;AACpB,MAAM,IAAI,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,YAAY,IAAI,SAAS,CAAC,CAAC;AAC3D,MAAM,IAAI,GAAG,IAAI,GAAG,GAAG,CAAC;AAExB,MAAM,MAAM,GAAG,CAAC,IAAc,EAAE,KAAa,EAAU,EAAE,CACvD,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,GAAG,KAAK,CAAC,CAAC;AAElF,8FAA8F;AAC9F,SAAS,aAAa,CAAC,OAAe,EAAE,KAAa;IACnD,IAAI,OAAO,GAAG,IAAI;QAAE,OAAO,EAAE,IAAI,EAAE,CAAC,KAAK,GAAG,GAAG,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,CAAC;IAC1E,IAAI,OAAO,GAAG,IAAI,IAAI,KAAK;QAAE,OAAO,EAAE,IAAI,EAAE,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,kBAAkB,EAAE,CAAC;IAClF,OAAO,EAAE,IAAI,EAAE,CAAC,OAAO,EAAE,KAAK,GAAG,OAAO,GAAG,GAAG,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC;AACxE,CAAC;AAED,SAAS,IAAI,CAAC,KAAa;IACzB,MAAM,IAAI,GAAuB,EAAE,CAAC;IACpC,IAAI,IAAI,GAAkB,IAAI,CAAC;IAC/B,IAAI,OAAO,GAAG,CAAC,CAAC;IAChB,wFAAwF;IACxF,KAAK,IAAI,OAAO,GAAG,CAAC,EAAE,OAAO,IAAI,KAAK,EAAE,OAAO,IAAI,OAAO,GAAG,SAAS,IAAI,OAAO,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC;QAC1G,OAAO,IAAI,CAAC,CAAC;QACb,MAAM,EAAE,IAAI,EAAE,GAAG,aAAa,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;QAC/C,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,KAAK,CAAC;QACvE,IAAI,CAAC,KAAK,IAAI,IAAI,KAAK,IAAI;YAAE,IAAI,GAAG,OAAO,CAAC;QAC5C,IAAI,KAAK,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;YAC3B,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,OAAO,GAAG,CAAC,CAAC,CAAC,CAAC;YAC/B,IAAI,GAAG,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IACD,IAAI,IAAI,KAAK,IAAI;QAAE,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;IAC5C,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;AAC3B,CAAC;AAED,MAAM,QAAQ,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,gBAAgB,IAAI,8CAA8C,CAAC;KAC9F,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;AAC1B,OAAO,CAAC,GAAG,CAAC,mEAAmE,CAAC,CAAC;AACjF,OAAO,CAAC,GAAG,CAAC,KAAK,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC,KAAK,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC,oCAAoC,CAAC,CAAC;AACxG,KAAK,MAAM,KAAK,IAAI,QAAQ,EAAE,CAAC;IAC7B,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC;IACtC,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,KAAK,CAAC;QAC7B,CAAC,CAAC,MAAM;QACR,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,cAAc,EAAE,KAAK,CAAC,CAAC,cAAc,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACpF,OAAO,CAAC,GAAG,CAAC,KAAK,KAAK,CAAC,cAAc,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,KAAK,MAAM,CAAC,OAAO,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,KAAK,EAAE,CAAC,CAAC;AACpG,CAAC;AACD,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC"}

package/dist/tools/expire-cases.d.ts

@@ -0,0 +1,4 @@
+import { type Case } from './fixtures.js';
+/** Ask the VM for each case's sighash, sign it, and return the cases with real signatures. */
+export declare function buildExpireCases(contractPath: string): Case[];
+//# sourceMappingURL=expire-cases.d.ts.map

package/dist/tools/expire-cases.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"expire-cases.d.ts","sourceRoot":"","sources":["../../tools/expire-cases.ts"],"names":[],"mappings":"AAOA,OAAO,EAA2F,KAAK,IAAI,EAAE,MAAM,eAAe,CAAC;AAuMnI,8FAA8F;AAC9F,wBAAgB,gBAAgB,CAAC,YAAY,EAAE,MAAM,GAAG,IAAI,EAAE,CAO7D"}