@cardano-slips/flow 0.1.0 → 0.3.0

package/dist/complete-error.d.ts

@@ -0,0 +1,57 @@
+/**
+ * Why a Slip did not reach the chain, for the failures that belong to the whole
+ * path rather than to building, signing or submitting alone. `Blocked` is the
+ * one that matters: it is invariant 3 in the error channel, and there is no
+ * field on it that lets anyone past.
+ */
+import { type ClientErrorCode } from "@cardano-slips/core";
+import type { Reason } from "@cardano-slips/verifier";
+import type { Derived } from "./derived.js";
+export type CompletionRefusal = 
+/** The wallet reported no unspent outputs, so there is nothing to build from. */
+"NoUtxos"
+/** What `getUtxos` answered is not something these bytes can be read as. */
+ | "UnreadableUtxos"
+/** The wallet would not say which addresses are its own, or named one that cannot be read. */
+ | "UnreadableAddresses"
+/** The effects could not be derived from the transaction, or compared with the declaration. */
+ | "CannotJudge"
+/** The derived effects disagree with what the endpoint declared. Nothing signs after this. */
+ | "Blocked"
+/** The caller could not put the effects in front of a person, so nothing may be signed. */
+ | "NotShown"
+/** The person closed the transaction without signing it. Not a fault. */
+ | "Cancelled"
+/** The funds kept moving, and the transaction has been rebuilt as often as it will be. */
+ | "OutOfAttempts";
+/**
+ * Exhaustive by type: adding a refusal above without listing it here fails to
+ * compile, and `test/complete.test.ts` fails if any of them stops being reachable.
+ */
+export declare const completionRefusals: Readonly<Record<CompletionRefusal, true>>;
+export declare const slipErrorCodeFor: (refusal: CompletionRefusal) => ClientErrorCode | undefined;
+declare const CompletionError_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").VoidIfEmpty<{ readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }>) => import("effect/Cause").YieldableError & {
+    readonly _tag: "CompletionError";
+} & Readonly<A>;
+/**
+ * `reasons` is what the transaction actually does against what was declared,
+ * and `derived` is the whole of what it does, for the block to render. There is no way to carry on from one — a mismatch
+ * hard-blocks, with no override, no allowlist and no confirmation.
+ */
+export declare class CompletionError extends CompletionError_base<{
+    readonly refusal: CompletionRefusal;
+    readonly detail: string;
+    readonly reasons?: ReadonlyArray<Reason>;
+    readonly derived?: Derived;
+    readonly cause?: unknown;
+}> {
+    get message(): string;
+    get code(): ClientErrorCode | undefined;
+}
+export declare const refuse: (refusal: CompletionRefusal, detail: string, extra?: {
+    readonly reasons?: ReadonlyArray<Reason>;
+    readonly derived?: Derived;
+    readonly cause?: unknown;
+}) => CompletionError;
+export {};
+//# sourceMappingURL=complete-error.d.ts.map

package/dist/complete-error.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"complete-error.d.ts","sourceRoot":"","sources":["../src/complete-error.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,OAAO,EAAE,KAAK,eAAe,EAAE,MAAM,qBAAqB,CAAA;AAC1D,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,yBAAyB,CAAA;AAGrD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAA;AAE3C,MAAM,MAAM,iBAAiB;AAC3B,iFAAiF;AAC/E,SAAS;AACX,4EAA4E;GAC1E,iBAAiB;AACnB,8FAA8F;GAC5F,qBAAqB;AACvB,+FAA+F;GAC7F,aAAa;AACf,8FAA8F;GAC5F,SAAS;AACX,2FAA2F;GACzF,UAAU;AACZ,yEAAyE;GACvE,WAAW;AACb,0FAA0F;GACxF,eAAe,CAAA;AAEnB;;;GAGG;AACH,eAAO,MAAM,kBAAkB,EAAE,QAAQ,CAAC,MAAM,CAAC,iBAAiB,EAAE,IAAI,CAAC,CASxE,CAAA;AAED,eAAO,MAAM,gBAAgB,GAAI,SAAS,iBAAiB,KAAG,eAAe,GAAG,SAe/E,CAAA;;;;AAED;;;;GAIG;AACH,qBAAa,eAAgB,SAAQ,qBAAoC;IACvE,QAAQ,CAAC,OAAO,EAAE,iBAAiB,CAAA;IACnC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,OAAO,CAAC,EAAE,aAAa,CAAC,MAAM,CAAC,CAAA;IACxC,QAAQ,CAAC,OAAO,CAAC,EAAE,OAAO,CAAA;IAC1B,QAAQ,CAAC,KAAK,CAAC,EAAE,OAAO,CAAA;CACzB,CAAC;IACA,IAAa,OAAO,IAAI,MAAM,CAE7B;IAED,IAAI,IAAI,IAAI,eAAe,GAAG,SAAS,CAEtC;CACF;AAED,eAAO,MAAM,MAAM,GACjB,SAAS,iBAAiB,EAC1B,QAAQ,MAAM,EACd,QAAO;IAAE,QAAQ,CAAC,OAAO,CAAC,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;IAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,OAAO,CAAA;CAAO,KAC7G,eAOC,CAAA"}

package/dist/complete-error.js

@@ -0,0 +1,52 @@
+import { Data } from "effect";
+/**
+ * Exhaustive by type: adding a refusal above without listing it here fails to
+ * compile, and `test/complete.test.ts` fails if any of them stops being reachable.
+ */
+export const completionRefusals = {
+    NoUtxos: true,
+    UnreadableUtxos: true,
+    UnreadableAddresses: true,
+    CannotJudge: true,
+    Blocked: true,
+    NotShown: true,
+    Cancelled: true,
+    OutOfAttempts: true
+};
+export const slipErrorCodeFor = (refusal) => {
+    switch (refusal) {
+        case "Blocked":
+            return "EFFECTS_MISMATCH";
+        case "NoUtxos":
+            return "INSUFFICIENT_FUNDS";
+        case "CannotJudge":
+            return "CANNOT_BALANCE";
+        case "UnreadableUtxos":
+        case "UnreadableAddresses":
+        case "NotShown":
+        case "Cancelled":
+        case "OutOfAttempts":
+            return undefined;
+    }
+};
+/**
+ * `reasons` is what the transaction actually does against what was declared,
+ * and `derived` is the whole of what it does, for the block to render. There is no way to carry on from one — a mismatch
+ * hard-blocks, with no override, no allowlist and no confirmation.
+ */
+export class CompletionError extends Data.TaggedError("CompletionError") {
+    get message() {
+        return this.detail;
+    }
+    get code() {
+        return slipErrorCodeFor(this.refusal);
+    }
+}
+export const refuse = (refusal, detail, extra = {}) => new CompletionError({
+    refusal,
+    detail,
+    ...(extra.reasons === undefined ? {} : { reasons: extra.reasons }),
+    ...(extra.derived === undefined ? {} : { derived: extra.derived }),
+    ...(extra.cause === undefined ? {} : { cause: extra.cause })
+});
+//# sourceMappingURL=complete-error.js.map

package/dist/complete-error.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"complete-error.js","sourceRoot":"","sources":["../src/complete-error.ts"],"names":[],"mappings":"AAQA,OAAO,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAA;AAsB7B;;;GAGG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAA8C;IAC3E,OAAO,EAAE,IAAI;IACb,eAAe,EAAE,IAAI;IACrB,mBAAmB,EAAE,IAAI;IACzB,WAAW,EAAE,IAAI;IACjB,OAAO,EAAE,IAAI;IACb,QAAQ,EAAE,IAAI;IACd,SAAS,EAAE,IAAI;IACf,aAAa,EAAE,IAAI;CACpB,CAAA;AAED,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,OAA0B,EAA+B,EAAE;IAC1F,QAAQ,OAAO,EAAE,CAAC;QAChB,KAAK,SAAS;YACZ,OAAO,kBAAkB,CAAA;QAC3B,KAAK,SAAS;YACZ,OAAO,oBAAoB,CAAA;QAC7B,KAAK,aAAa;YAChB,OAAO,gBAAgB,CAAA;QACzB,KAAK,iBAAiB,CAAC;QACvB,KAAK,qBAAqB,CAAC;QAC3B,KAAK,UAAU,CAAC;QAChB,KAAK,WAAW,CAAC;QACjB,KAAK,eAAe;YAClB,OAAO,SAAS,CAAA;IACpB,CAAC;AACH,CAAC,CAAA;AAED;;;;GAIG;AACH,MAAM,OAAO,eAAgB,SAAQ,IAAI,CAAC,WAAW,CAAC,iBAAiB,CAMrE;IACA,IAAa,OAAO;QAClB,OAAO,IAAI,CAAC,MAAM,CAAA;IACpB,CAAC;IAED,IAAI,IAAI;QACN,OAAO,gBAAgB,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;IACvC,CAAC;CACF;AAED,MAAM,CAAC,MAAM,MAAM,GAAG,CACpB,OAA0B,EAC1B,MAAc,EACd,QAA4G,EAAE,EAC7F,EAAE,CACnB,IAAI,eAAe,CAAC;IAClB,OAAO;IACP,MAAM;IACN,GAAG,CAAC,KAAK,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC;IAClE,GAAG,CAAC,KAAK,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC;IAClE,GAAG,CAAC,KAAK,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,CAAC;CAC7D,CAAC,CAAA"}

package/dist/complete.d.ts

@@ -0,0 +1,77 @@
+/**
+ * The whole path: build against what the wallet holds, judge it with the
+ * verifier's own engine, sign, submit. When the funds move underneath, every
+ * one of those happens again — a rebuilt transaction is a different transaction,
+ * and asking for a signature on it without deriving its effects first would put
+ * a person's name on something nobody read.
+ */
+import type { Intent, Network } from "@cardano-slips/core";
+import { type Effects } from "@cardano-slips/verifier";
+import { Effect } from "effect";
+import { type BalancingParameters } from "./balance.js";
+import type { BalanceError } from "./balance-error.js";
+import { type Cip30Api } from "./cip30.js";
+import { type CompletionError } from "./complete-error.js";
+import type { Derived } from "./derived.js";
+import type { SigningError } from "./sign-error.js";
+export type Attempt = Derived & {
+    /** Counting from one, so a rendered "attempt 2 of 3" reads as a person would say it. */
+    readonly number: number;
+    readonly transactionId: string;
+};
+/** Where the path has got to after the person agreed, for a screen that says so. */
+export type Progress = 
+/** The wallet has been asked for a signature on this transaction. */
+{
+    readonly _tag: "Signing";
+    readonly transactionId: string;
+}
+/** The witnesses are in the body and the wallet has been asked to submit it. */
+ | {
+    readonly _tag: "Submitting";
+    readonly transactionId: string;
+}
+/** The funds moved under the last transaction; attempt `number` of `of` is being built. */
+ | {
+    readonly _tag: "Rebuilding";
+    readonly number: number;
+    readonly of: number;
+};
+export type CompletionRequest = {
+    readonly api: Cip30Api;
+    /** What the endpoint declared, and what the transaction is judged against. */
+    readonly intent: Intent;
+    readonly network: Network;
+    readonly changeAddress: string;
+    readonly parameters: BalancingParameters;
+    readonly rewardBalance?: bigint;
+    /** Read once per attempt: a rebuilt transaction gets its own validity window. */
+    readonly now?: () => number;
+    /** How many times the transaction may be built. Beyond this the funds are moving faster than we can follow. */
+    readonly attempts?: number;
+    /** Called once per attempt, after the effects are derived and before the wallet is asked to sign. */
+    readonly onAttempt?: (attempt: Attempt) => void;
+    /**
+     * Resolves `true` once the person has pressed sign on this attempt, `false`
+     * if they turned it down. Asked again for every rebuilt transaction, because
+     * agreeing to one body is not agreeing to the next. Without it, showing the
+     * effects is taken as agreement.
+     */
+    readonly confirm?: (attempt: Attempt) => Promise<boolean>;
+    readonly onProgress?: (progress: Progress) => void;
+};
+export type Receipt = {
+    readonly transactionId: string;
+    readonly effects: Effects;
+    /** How many transactions it took, which is how many times the funds moved plus one. */
+    readonly attempts: number;
+};
+type Failure = BalanceError | CompletionError | SigningError;
+/**
+ * Completes the Slip, or says why not. A submission that failed because an
+ * input was spent is the one failure worth repeating: everything else either
+ * cannot be helped by a rebuild or is a person having said no.
+ */
+export declare const completeIntent: (request: CompletionRequest) => Effect.Effect<Receipt, Failure>;
+export {};
+//# sourceMappingURL=complete.d.ts.map

package/dist/complete.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"complete.d.ts","sourceRoot":"","sources":["../src/complete.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AACH,OAAO,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,qBAAqB,CAAA;AAC1D,OAAO,EAOL,KAAK,OAAO,EAEb,MAAM,yBAAyB,CAAA;AAChC,OAAO,EAAE,MAAM,EAAU,MAAM,QAAQ,CAAA;AAGvC,OAAO,EAAiB,KAAK,mBAAmB,EAAE,MAAM,cAAc,CAAA;AACtE,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAA;AACtD,OAAO,EAAE,KAAK,QAAQ,EAAkC,MAAM,YAAY,CAAA;AAC1E,OAAO,EAAE,KAAK,eAAe,EAAU,MAAM,qBAAqB,CAAA;AAElE,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAA;AAG3C,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAA;AAOnD,MAAM,MAAM,OAAO,GAAG,OAAO,GAAG;IAC9B,wFAAwF;IACxF,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAA;CAC/B,CAAA;AAED,oFAAoF;AACpF,MAAM,MAAM,QAAQ;AAClB,qEAAqE;AACnE;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAA;CAAE;AAC9D,gFAAgF;GAC9E;IAAE,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAAC,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAA;CAAE;AACjE,2FAA2F;GACzF;IAAE,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;CAAE,CAAA;AAEjF,MAAM,MAAM,iBAAiB,GAAG;IAC9B,QAAQ,CAAC,GAAG,EAAE,QAAQ,CAAA;IACtB,8EAA8E;IAC9E,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;IACzB,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAA;IAC9B,QAAQ,CAAC,UAAU,EAAE,mBAAmB,CAAA;IACxC,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAA;IAC/B,iFAAiF;IACjF,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,MAAM,CAAA;IAC3B,+GAA+G;IAC/G,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAA;IAC1B,qGAAqG;IACrG,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC,OAAO,EAAE,OAAO,KAAK,IAAI,CAAA;IAC/C;;;;;OAKG;IACH,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC,OAAO,EAAE,OAAO,KAAK,OAAO,CAAC,OAAO,CAAC,CAAA;IACzD,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC,QAAQ,EAAE,QAAQ,KAAK,IAAI,CAAA;CACnD,CAAA;AAED,MAAM,MAAM,OAAO,GAAG;IACpB,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAA;IAC9B,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;IACzB,uFAAuF;IACvF,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;CAC1B,CAAA;AAED,KAAK,OAAO,GAAG,YAAY,GAAG,eAAe,GAAG,YAAY,CAAA;AAgL5D;;;;GAIG;AACH,eAAO,MAAM,cAAc,GAAI,SAAS,iBAAiB,KAAG,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,OAAO,CA2CtF,CAAA"}

package/dist/complete.js

@@ -0,0 +1,182 @@
+import { compare, decodeBech32, decodeTransaction, deriveAssets, deriveEffects, deriveLovelace } from "@cardano-slips/verifier";
+import { Effect, Either } from "effect";
+import { readOwnAddress } from "./address.js";
+import { balanceIntent } from "./balance.js";
+import { describeApiError, readApiError } from "./cip30.js";
+import { refuse } from "./complete-error.js";
+import { networkIdFor } from "./connect.js";
+import { asResolvedInputs } from "./resolve.js";
+import { signTransaction, submitTransaction } from "./sign.js";
+import { readWalletUtxos } from "./utxo.js";
+import { transactionIdOf } from "./witness.js";
+/** Enough rebuilds to outlast an unlucky moment, few enough that nobody is asked forever. */
+const defaultAttempts = 3;
+const fromHex = (hex) => Uint8Array.from({ length: hex.length / 2 }, (_, index) => Number.parseInt(hex.slice(index * 2, index * 2 + 2), 16));
+const walletUtxos = (api) => Effect.gen(function* () {
+    const answered = yield* Effect.tryPromise({
+        try: () => api.getUtxos(),
+        catch: (cause) => refuse("UnreadableUtxos", "The wallet could not say what it holds.", { cause })
+    });
+    // `null` is CIP-30's own answer for a wallet with nothing to give.
+    const hexes = answered ?? [];
+    const read = readWalletUtxos(hexes);
+    if (Either.isLeft(read)) {
+        return yield* Effect.fail(refuse("UnreadableUtxos", `The wallet's unspent outputs could not be read: ${read.left}`));
+    }
+    if (read.right.length === 0) {
+        return yield* Effect.fail(refuse("NoUtxos", "This wallet holds nothing to pay with."));
+    }
+    return read.right;
+});
+const addressesFrom = (api, method) => Effect.tryPromise({
+    try: () => api[method](),
+    catch: (cause) => {
+        const cip30 = readApiError(cause);
+        const said = cip30 === undefined ? String(cause) : describeApiError(cip30);
+        return refuse("UnreadableAddresses", `The wallet could not say which addresses are its own: ${said}`, { cause });
+    }
+}).pipe(Effect.filterOrFail((answered) => Array.isArray(answered), () => refuse("UnreadableAddresses", `The wallet answered ${method} with something that is not a list.`)));
+/**
+ * Every address the wallet vouches for: those CIP-30 lists, the change address,
+ * and the address of every output it said it holds. Read with the outputs on
+ * each attempt, since both can change when the funds move. One missing is read
+ * as a stranger's, and its value would be shown as someone else's. The outputs'
+ * addresses are ahead of the spec's list, until
+ * https://github.com/emmanuel-musau/cardano-slips/issues/186 brings it into line.
+ */
+const ownAddresses = (request, inputs) => Effect.gen(function* () {
+    const listed = [
+        ...(yield* addressesFrom(request.api, "getUsedAddresses")),
+        ...(yield* addressesFrom(request.api, "getUnusedAddresses")),
+        ...(yield* addressesFrom(request.api, "getRewardAddresses"))
+    ];
+    const network = networkIdFor(request.network);
+    const read = [];
+    for (const hex of listed) {
+        const address = readOwnAddress(hex);
+        if (Either.isLeft(address)) {
+            return yield* Effect.fail(refuse("UnreadableAddresses", `The wallet named an address of its own that cannot be read: ${address.left}`));
+        }
+        if (address.right.networkId !== undefined && address.right.networkId !== network) {
+            return yield* Effect.fail(refuse("UnreadableAddresses", "The wallet named an address on another network as its own."));
+        }
+        read.push(address.right.bytes);
+    }
+    const change = decodeBech32(request.changeAddress);
+    if (Either.isLeft(change)) {
+        return yield* Effect.fail(refuse("UnreadableAddresses", "The change address is not an address."));
+    }
+    return [...read, change.right.bytes, ...inputs.map((input) => input.address)];
+});
+/**
+ * One transaction, from the wallet's outputs to a verdict. The judging happens
+ * here rather than at the caller so that no path reaches `signTransaction`
+ * without having passed it.
+ */
+const buildAndJudge = (request, number) => Effect.gen(function* () {
+    const utxos = yield* walletUtxos(request.api);
+    const now = (request.now ?? Date.now)();
+    const built = yield* balanceIntent({
+        intent: request.intent,
+        network: request.network,
+        changeAddress: request.changeAddress,
+        utxos,
+        parameters: request.parameters,
+        ...(request.rewardBalance === undefined ? {} : { rewardBalance: request.rewardBalance }),
+        now
+    });
+    const transaction = decodeTransaction(fromHex(built.cbor));
+    if (Either.isLeft(transaction)) {
+        return yield* Effect.fail(refuse("CannotJudge", `This transaction could not be read back: ${transaction.left.message}`));
+    }
+    const resolvedInputs = asResolvedInputs(utxos);
+    const derivation = {
+        transaction: transaction.right,
+        userAddresses: yield* ownAddresses(request, resolvedInputs),
+        resolvedInputs,
+        protocolParameters: request.parameters
+    };
+    const read = Either.all({
+        effects: deriveEffects(derivation),
+        lovelace: deriveLovelace(derivation),
+        assets: deriveAssets(derivation)
+    });
+    if (Either.isLeft(read)) {
+        return yield* Effect.fail(refuse("CannotJudge", `What this transaction does could not be worked out: ${read.left.message}`));
+    }
+    const derived = read.right;
+    const verdict = compare({
+        effects: derived.effects,
+        declared: request.intent,
+        changeAddress: request.changeAddress,
+        now: BigInt(now),
+        protocolParameters: request.parameters
+    });
+    if (Either.isLeft(verdict)) {
+        return yield* Effect.fail(refuse("CannotJudge", `This transaction could not be checked against what was declared: ${verdict.left.message}`));
+    }
+    if (verdict.right._tag === "mismatch") {
+        return yield* Effect.fail(refuse("Blocked", "This transaction does not do what the Slip said it would, so it will not be signed.", {
+            reasons: verdict.right.reasons,
+            derived
+        }));
+    }
+    const transactionId = yield* transactionIdOf(built.cbor);
+    const attempt = { ...derived, number, transactionId };
+    // The caller is what puts these effects in front of a person. If that
+    // throws, the person has not seen them, so this fails closed rather than
+    // carrying on to a signature — and as a refusal rather than a stack trace.
+    yield* Effect.try({
+        try: () => request.onAttempt?.(attempt),
+        catch: (cause) => refuse("NotShown", "This transaction could not be shown, so it will not be signed.", { cause })
+    });
+    return { cbor: built.cbor, attempt };
+});
+/** A progress report is a courtesy to the screen; one that throws must not stop a submission already under way. */
+const report = (request, progress) => {
+    try {
+        request.onProgress?.(progress);
+    }
+    catch {
+        // Nothing to do: the flow carries on, and the next state the screen is given corrects it.
+    }
+};
+/**
+ * Completes the Slip, or says why not. A submission that failed because an
+ * input was spent is the one failure worth repeating: everything else either
+ * cannot be helped by a rebuild or is a person having said no.
+ */
+export const completeIntent = (request) => Effect.gen(function* () {
+    const allowed = Math.max(1, request.attempts ?? defaultAttempts);
+    for (let number = 1; number <= allowed; number += 1) {
+        const { attempt, cbor } = yield* buildAndJudge(request, number);
+        const { confirm } = request;
+        if (confirm !== undefined) {
+            const agreed = yield* Effect.tryPromise({
+                try: () => confirm(attempt),
+                catch: (cause) => refuse("NotShown", "This transaction could not be put to you, so it will not be signed.", { cause })
+            });
+            if (!agreed) {
+                return yield* Effect.fail(refuse("Cancelled", "The transaction was closed without signing."));
+            }
+        }
+        report(request, { _tag: "Signing", transactionId: attempt.transactionId });
+        const signed = yield* signTransaction({
+            api: request.api,
+            transaction: cbor,
+            transactionId: attempt.transactionId
+        });
+        report(request, { _tag: "Submitting", transactionId: attempt.transactionId });
+        const submitted = yield* Effect.either(submitTransaction(request.api, signed));
+        if (Either.isRight(submitted)) {
+            return { transactionId: submitted.right, effects: attempt.effects, attempts: number };
+        }
+        if (submitted.left.refusal !== "InputsSpent") {
+            return yield* Effect.fail(submitted.left);
+        }
+        if (number < allowed)
+            report(request, { _tag: "Rebuilding", number: number + 1, of: allowed });
+    }
+    return yield* Effect.fail(refuse("OutOfAttempts", `The wallet's funds moved every time this was built, ${allowed} times over. Try again in a moment.`));
+});
+//# sourceMappingURL=complete.js.map

package/dist/complete.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"complete.js","sourceRoot":"","sources":["../src/complete.ts"],"names":[],"mappings":"AAQA,OAAO,EACL,OAAO,EACP,YAAY,EACZ,iBAAiB,EACjB,YAAY,EACZ,aAAa,EACb,cAAc,EAGf,MAAM,yBAAyB,CAAA;AAChC,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAEvC,OAAO,EAAE,cAAc,EAAE,MAAM,cAAc,CAAA;AAC7C,OAAO,EAAE,aAAa,EAA4B,MAAM,cAAc,CAAA;AAEtE,OAAO,EAAiB,gBAAgB,EAAE,YAAY,EAAE,MAAM,YAAY,CAAA;AAC1E,OAAO,EAAwB,MAAM,EAAE,MAAM,qBAAqB,CAAA;AAClE,OAAO,EAAE,YAAY,EAAE,MAAM,cAAc,CAAA;AAE3C,OAAO,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAA;AAC/C,OAAO,EAAE,eAAe,EAAE,iBAAiB,EAAE,MAAM,WAAW,CAAA;AAE9D,OAAO,EAAE,eAAe,EAAE,MAAM,WAAW,CAAA;AAC3C,OAAO,EAAE,eAAe,EAAE,MAAM,cAAc,CAAA;AAE9C,6FAA6F;AAC7F,MAAM,eAAe,GAAG,CAAC,CAAA;AAkDzB,MAAM,OAAO,GAAG,CAAC,GAAW,EAAc,EAAE,CAC1C,UAAU,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAA;AAErH,MAAM,WAAW,GAAG,CAAC,GAAa,EAAE,EAAE,CACpC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC;QACxC,GAAG,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,QAAQ,EAAE;QACzB,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,iBAAiB,EAAE,yCAAyC,EAAE,EAAE,KAAK,EAAE,CAAC;KAClG,CAAC,CAAA;IAEF,mEAAmE;IACnE,MAAM,KAAK,GAAG,QAAQ,IAAI,EAAE,CAAA;IAC5B,MAAM,IAAI,GAAG,eAAe,CAAC,KAAK,CAAC,CAAA;IACnC,IAAI,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;QACxB,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACvB,MAAM,CAAC,iBAAiB,EAAE,mDAAmD,IAAI,CAAC,IAAI,EAAE,CAAC,CAC1F,CAAA;IACH,CAAC;IACD,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5B,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,SAAS,EAAE,wCAAwC,CAAC,CAAC,CAAA;IACxF,CAAC;IACD,OAAO,IAAI,CAAC,KAAK,CAAA;AACnB,CAAC,CAAC,CAAA;AAEJ,MAAM,aAAa,GAAG,CAAC,GAAa,EAAE,MAAwE,EAAE,EAAE,CAChH,MAAM,CAAC,UAAU,CAAC;IAChB,GAAG,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE;IACxB,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE;QACf,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,CAAC,CAAA;QACjC,MAAM,IAAI,GAAG,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,gBAAgB,CAAC,KAAK,CAAC,CAAA;QAC1E,OAAO,MAAM,CAAC,qBAAqB,EAAE,yDAAyD,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,CAAA;IAClH,CAAC;CACF,CAAC,CAAC,IAAI,CACL,MAAM,CAAC,YAAY,CACjB,CAAC,QAAQ,EAAqC,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,EACxE,GAAG,EAAE,CAAC,MAAM,CAAC,qBAAqB,EAAE,uBAAuB,MAAM,qCAAqC,CAAC,CACxG,CACF,CAAA;AAEH;;;;;;;GAOG;AACH,MAAM,YAAY,GAAG,CAAC,OAA0B,EAAE,MAAoC,EAAE,EAAE,CACxF,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,MAAM,GAAG;QACb,GAAG,CAAC,KAAK,CAAC,CAAC,aAAa,CAAC,OAAO,CAAC,GAAG,EAAE,kBAAkB,CAAC,CAAC;QAC1D,GAAG,CAAC,KAAK,CAAC,CAAC,aAAa,CAAC,OAAO,CAAC,GAAG,EAAE,oBAAoB,CAAC,CAAC;QAC5D,GAAG,CAAC,KAAK,CAAC,CAAC,aAAa,CAAC,OAAO,CAAC,GAAG,EAAE,oBAAoB,CAAC,CAAC;KAC7D,CAAA;IAED,MAAM,OAAO,GAAG,YAAY,CAAC,OAAO,CAAC,OAAO,CAAC,CAAA;IAC7C,MAAM,IAAI,GAAsB,EAAE,CAAA;IAClC,KAAK,MAAM,GAAG,IAAI,MAAM,EAAE,CAAC;QACzB,MAAM,OAAO,GAAG,cAAc,CAAC,GAAG,CAAC,CAAA;QACnC,IAAI,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;YAC3B,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACvB,MAAM,CAAC,qBAAqB,EAAE,+DAA+D,OAAO,CAAC,IAAI,EAAE,CAAC,CAC7G,CAAA;QACH,CAAC;QACD,IAAI,OAAO,CAAC,KAAK,CAAC,SAAS,KAAK,SAAS,IAAI,OAAO,CAAC,KAAK,CAAC,SAAS,KAAK,OAAO,EAAE,CAAC;YACjF,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACvB,MAAM,CAAC,qBAAqB,EAAE,4DAA4D,CAAC,CAC5F,CAAA;QACH,CAAC;QACD,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,CAAA;IAChC,CAAC;IAED,MAAM,MAAM,GAAG,YAAY,CAAC,OAAO,CAAC,aAAa,CAAC,CAAA;IAClD,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;QAC1B,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,qBAAqB,EAAE,uCAAuC,CAAC,CAAC,CAAA;IACnG,CAAC;IAED,OAAO,CAAC,GAAG,IAAI,EAAE,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAA;AAC/E,CAAC,CAAC,CAAA;AAEJ;;;;GAIG;AACH,MAAM,aAAa,GAAG,CAAC,OAA0B,EAAE,MAAc,EAAE,EAAE,CACnE,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,WAAW,CAAC,OAAO,CAAC,GAAG,CAAC,CAAA;IAC7C,MAAM,GAAG,GAAG,CAAC,OAAO,CAAC,GAAG,IAAI,IAAI,CAAC,GAAG,CAAC,EAAE,CAAA;IAEvC,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,aAAa,CAAC;QACjC,MAAM,EAAE,OAAO,CAAC,MAAM;QACtB,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,aAAa,EAAE,OAAO,CAAC,aAAa;QACpC,KAAK;QACL,UAAU,EAAE,OAAO,CAAC,UAAU;QAC9B,GAAG,CAAC,OAAO,CAAC,aAAa,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,OAAO,CAAC,aAAa,EAAE,CAAC;QACxF,GAAG;KACJ,CAAC,CAAA;IAEF,MAAM,WAAW,GAAG,iBAAiB,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAA;IAC1D,IAAI,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,EAAE,CAAC;QAC/B,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACvB,MAAM,CAAC,aAAa,EAAE,4CAA4C,WAAW,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,CAC9F,CAAA;IACH,CAAC;IAED,MAAM,cAAc,GAAG,gBAAgB,CAAC,KAAK,CAAC,CAAA;IAC9C,MAAM,UAAU,GAAG;QACjB,WAAW,EAAE,WAAW,CAAC,KAAK;QAC9B,aAAa,EAAE,KAAK,CAAC,CAAC,YAAY,CAAC,OAAO,EAAE,cAAc,CAAC;QAC3D,cAAc;QACd,kBAAkB,EAAE,OAAO,CAAC,UAAU;KACvC,CAAA;IACD,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,CAAC;QACtB,OAAO,EAAE,aAAa,CAAC,UAAU,CAAC;QAClC,QAAQ,EAAE,cAAc,CAAC,UAAU,CAAC;QACpC,MAAM,EAAE,YAAY,CAAC,UAAU,CAAC;KACjC,CAAC,CAAA;IACF,IAAI,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;QACxB,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACvB,MAAM,CAAC,aAAa,EAAE,uDAAuD,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,CAClG,CAAA;IACH,CAAC;IACD,MAAM,OAAO,GAAY,IAAI,CAAC,KAAK,CAAA;IAEnC,MAAM,OAAO,GAAG,OAAO,CAAC;QACtB,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,QAAQ,EAAE,OAAO,CAAC,MAAM;QACxB,aAAa,EAAE,OAAO,CAAC,aAAa;QACpC,GAAG,EAAE,MAAM,CAAC,GAAG,CAAC;QAChB,kBAAkB,EAAE,OAAO,CAAC,UAAU;KACvC,CAAC,CAAA;IACF,IAAI,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;QAC3B,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACvB,MAAM,CACJ,aAAa,EACb,oEAAoE,OAAO,CAAC,IAAI,CAAC,OAAO,EAAE,CAC3F,CACF,CAAA;IACH,CAAC;IAED,IAAI,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QACtC,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACvB,MAAM,CAAC,SAAS,EAAE,qFAAqF,EAAE;YACvG,OAAO,EAAE,OAAO,CAAC,KAAK,CAAC,OAAO;YAC9B,OAAO;SACR,CAAC,CACH,CAAA;IACH,CAAC;IAED,MAAM,aAAa,GAAG,KAAK,CAAC,CAAC,eAAe,CAAC,KAAK,CAAC,IAAI,CAAC,CAAA;IACxD,MAAM,OAAO,GAAY,EAAE,GAAG,OAAO,EAAE,MAAM,EAAE,aAAa,EAAE,CAAA;IAE9D,sEAAsE;IACtE,yEAAyE;IACzE,2EAA2E;IAC3E,KAAK,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC;QAChB,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,SAAS,EAAE,CAAC,OAAO,CAAC;QACvC,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,UAAU,EAAE,gEAAgE,EAAE,EAAE,KAAK,EAAE,CAAC;KAClH,CAAC,CAAA;IAEF,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,OAAO,EAAE,CAAA;AACtC,CAAC,CAAC,CAAA;AAEJ,mHAAmH;AACnH,MAAM,MAAM,GAAG,CAAC,OAA0B,EAAE,QAAkB,EAAQ,EAAE;IACtE,IAAI,CAAC;QACH,OAAO,CAAC,UAAU,EAAE,CAAC,QAAQ,CAAC,CAAA;IAChC,CAAC;IAAC,MAAM,CAAC;QACP,0FAA0F;IAC5F,CAAC;AACH,CAAC,CAAA;AAED;;;;GAIG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,OAA0B,EAAmC,EAAE,CAC5F,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,OAAO,CAAC,QAAQ,IAAI,eAAe,CAAC,CAAA;IAEhE,KAAK,IAAI,MAAM,GAAG,CAAC,EAAE,MAAM,IAAI,OAAO,EAAE,MAAM,IAAI,CAAC,EAAE,CAAC;QACpD,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,KAAK,CAAC,CAAC,aAAa,CAAC,OAAO,EAAE,MAAM,CAAC,CAAA;QAE/D,MAAM,EAAE,OAAO,EAAE,GAAG,OAAO,CAAA;QAC3B,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YAC1B,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC;gBACtC,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC;gBAC3B,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CACf,MAAM,CAAC,UAAU,EAAE,qEAAqE,EAAE,EAAE,KAAK,EAAE,CAAC;aACvG,CAAC,CAAA;YACF,IAAI,CAAC,MAAM,EAAE,CAAC;gBACZ,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,WAAW,EAAE,6CAA6C,CAAC,CAAC,CAAA;YAC/F,CAAC;QACH,CAAC;QAED,MAAM,CAAC,OAAO,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,aAAa,EAAE,OAAO,CAAC,aAAa,EAAE,CAAC,CAAA;QAC1E,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,eAAe,CAAC;YACpC,GAAG,EAAE,OAAO,CAAC,GAAG;YAChB,WAAW,EAAE,IAAI;YACjB,aAAa,EAAE,OAAO,CAAC,aAAa;SACrC,CAAC,CAAA;QAEF,MAAM,CAAC,OAAO,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,aAAa,EAAE,OAAO,CAAC,aAAa,EAAE,CAAC,CAAA;QAC7E,MAAM,SAAS,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,iBAAiB,CAAC,OAAO,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,CAAA;QAC9E,IAAI,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC;YAC9B,OAAO,EAAE,aAAa,EAAE,SAAS,CAAC,KAAK,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAA;QACvF,CAAC;QACD,IAAI,SAAS,CAAC,IAAI,CAAC,OAAO,KAAK,aAAa,EAAE,CAAC;YAC7C,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAA;QAC3C,CAAC;QACD,IAAI,MAAM,GAAG,OAAO;YAAE,MAAM,CAAC,OAAO,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,GAAG,CAAC,EAAE,EAAE,EAAE,OAAO,EAAE,CAAC,CAAA;IAChG,CAAC;IAED,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACvB,MAAM,CACJ,eAAe,EACf,uDAAuD,OAAO,qCAAqC,CACpG,CACF,CAAA;AACH,CAAC,CAAC,CAAA"}

package/dist/derived.d.ts

@@ -0,0 +1,8 @@
+/** What a transaction does, read from its own bytes: the part the comparison judges, and the figures a person is shown. */
+import type { AssetEffects, Effects, LovelaceEffects } from "@cardano-slips/verifier";
+export type Derived = {
+    readonly effects: Effects;
+    readonly lovelace: LovelaceEffects;
+    readonly assets: AssetEffects;
+};
+//# sourceMappingURL=derived.d.ts.map

package/dist/derived.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"derived.d.ts","sourceRoot":"","sources":["../src/derived.ts"],"names":[],"mappings":"AAAA,2HAA2H;AAC3H,OAAO,KAAK,EAAE,YAAY,EAAE,OAAO,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAA;AAErF,MAAM,MAAM,OAAO,GAAG;IACpB,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;IACzB,QAAQ,CAAC,QAAQ,EAAE,eAAe,CAAA;IAClC,QAAQ,CAAC,MAAM,EAAE,YAAY,CAAA;CAC9B,CAAA"}

package/dist/derived.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=derived.js.map

package/dist/derived.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"derived.js","sourceRoot":"","sources":["../src/derived.ts"],"names":[],"mappings":""}

package/dist/effects-panel.d.ts

@@ -0,0 +1,37 @@
+/**
+ * The transaction preview, drawn from `4 · Anatomy` and `6 · Preview states` on
+ * the design sheet. Every figure is derived from the transaction; the claim is
+ * only the title it is held against. A mismatch removes the sign button rather
+ * than disabling it, and no prop brings it back.
+ */
+import type { Verdict } from "@cardano-slips/verifier";
+import type { Derived } from "./derived.js";
+import { type Row } from "./ledger.js";
+export type EffectsPanelProps = {
+    /** What the card promised, restated so it can be compared with what follows. */
+    readonly claim: string;
+    /** The card's description, set beside the transaction when the two disagree. */
+    readonly description?: string;
+    /** The host that served the link, as a host only. Whether it is verified is the identity chip's to say. */
+    readonly origin?: string;
+    readonly derived: Derived;
+    /** The verifier's own verdict. Required, so no caller renders a match by leaving the reasons out. */
+    readonly verdict: Verdict;
+    /** Read once a second for the countdown. */
+    readonly clock?: () => number;
+    readonly onSign?: () => void;
+    readonly onCancel?: () => void;
+    readonly onRebuild?: () => void;
+    /** "Report this link" is offered only where there is somewhere to send the report. */
+    readonly onReport?: () => void;
+};
+/**
+ * Past eight rows each group folds to its header and a count. A group holding
+ * a marked row never starts folded: the one thing the block points at is not
+ * something a person should have to open.
+ */
+export declare const Ledger: ({ rows }: {
+    readonly rows: ReadonlyArray<Row>;
+}) => React.JSX.Element;
+export declare const EffectsPanel: ({ claim, description, origin, derived, verdict, clock, onSign, onCancel, onRebuild, onReport }: EffectsPanelProps) => React.JSX.Element;
+//# sourceMappingURL=effects-panel.d.ts.map

package/dist/effects-panel.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"effects-panel.d.ts","sourceRoot":"","sources":["../src/effects-panel.tsx"],"names":[],"mappings":"AAEA;;;;;GAKG;AACH,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,yBAAyB,CAAA;AAGtD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAA;AAE3C,OAAO,EAWL,KAAK,GAAG,EACT,MAAM,aAAa,CAAA;AAEpB,MAAM,MAAM,iBAAiB,GAAG;IAC9B,gFAAgF;IAChF,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,gFAAgF;IAChF,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAA;IAC7B,2GAA2G;IAC3G,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;IACzB,qGAAqG;IACrG,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;IACzB,4CAA4C;IAC5C,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,MAAM,CAAA;IAC7B,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,IAAI,CAAA;IAC5B,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,IAAI,CAAA;IAC9B,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,IAAI,CAAA;IAC/B,sFAAsF;IACtF,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,IAAI,CAAA;CAC/B,CAAA;AA8DD;;;;GAIG;AACH,eAAO,MAAM,MAAM,GAAI,UAAU;IAAE,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC,GAAG,CAAC,CAAA;CAAE,KAAG,KAAK,CAAC,GAAG,CAAC,OA0BlF,CAAA;AA2FD,eAAO,MAAM,YAAY,GAAI,gGAW1B,iBAAiB,KAAG,KAAK,CAAC,GAAG,CAAC,OAkJhC,CAAA"}

package/dist/effects-panel.js

@@ -0,0 +1,64 @@
+"use client";
+import { jsx as _jsx, jsxs as _jsxs, Fragment as _Fragment } from "react/jsx-runtime";
+import { useEffect, useId, useState } from "react";
+import { formatCountdown, secondsLeft } from "./explain.js";
+import { blockedLine, evidenceOf, groupsOf, headlineOf, isCollapsed, isGrouped, ledgerOf, matchLine, rawLines } from "./ledger.js";
+/** Under this, the countdown leaves the meta row and takes the headline's place (state f). */
+const expiringUnder = 60;
+const groupNames = {
+    arriving: "Arriving",
+    leaving: "Leaving",
+    unmoved: "No value moved"
+};
+const markWords = { "not-in-the-link": "Not in the link", "not-as-the-link-says": "Not as the link says" };
+const chipWords = { refundable: "Refundable", "as-stated": "As stated" };
+const useNow = (clock) => {
+    const [now, setNow] = useState(clock);
+    useEffect(() => {
+        const timer = setInterval(() => setNow(clock()), 1000);
+        return () => clearInterval(timer);
+    }, [clock]);
+    return now;
+};
+const LedgerRow = ({ row }) => (_jsxs("div", { className: "slip-panel__row", "data-mark": row.mark, children: [_jsxs("div", { className: "slip-panel__row-name", children: [_jsxs("div", { className: "slip-panel__row-label", children: [_jsx("span", { className: "slip-panel__label", children: row.label }), row.chip === undefined ? undefined : (_jsx("span", { className: "slip-panel__chip", "data-chip": row.chip, children: chipWords[row.chip] })), row.mark === undefined ? undefined : (_jsx("span", { className: "slip-panel__chip", "data-chip": "mark", children: markWords[row.mark] }))] }), row.detail === undefined ? undefined : _jsx("span", { className: "slip-panel__detail", children: row.detail })] }), _jsxs("div", { className: "slip-panel__amounts", children: [row.identifier === undefined ? undefined : _jsx("span", { className: "slip-panel__identifier", children: row.identifier }), row.amounts.map((amount, index) => (_jsx("span", { className: "slip-panel__amount", "data-tone": amount.tone, children: amount.text }, index)))] }), row.note === undefined ? undefined : _jsx("p", { className: "slip-panel__note", children: row.note })] }));
+const Rows = ({ rows }) => (_jsx("div", { className: "slip-panel__ledger", children: rows.map((row) => (_jsx(LedgerRow, { row: row }, row.key))) }));
+/**
+ * Past eight rows each group folds to its header and a count. A group holding
+ * a marked row never starts folded: the one thing the block points at is not
+ * something a person should have to open.
+ */
+export const Ledger = ({ rows }) => {
+    if (!isGrouped(rows))
+        return _jsx(Rows, { rows: rows });
+    const collapsed = isCollapsed(rows);
+    return (_jsx("div", { className: "slip-panel__groups", children: groupsOf(rows).map(({ group, rows: inGroup }) => collapsed ? (_jsxs("details", { className: "slip-panel__group", open: inGroup.some((row) => row.mark !== undefined) || undefined, children: [_jsxs("summary", { className: "slip-panel__group-name", children: [groupNames[group], " \u00B7 ", inGroup.length] }), _jsx(Rows, { rows: inGroup })] }, group)) : (_jsxs("div", { className: "slip-panel__group", children: [_jsx("p", { className: "slip-panel__group-name", children: groupNames[group] }), _jsx(Rows, { rows: inGroup })] }, group))) }));
+};
+const Raw = ({ derived }) => (_jsx("pre", { className: "slip-panel__raw-lines", children: rawLines(derived).join("\n") }));
+const Countdown = ({ seconds }) => (_jsx("span", { suppressHydrationWarning: true, children: formatCountdown(seconds) }));
+const Blocked = ({ claim, description, derived, reasons, onCancel, onReport }) => {
+    const [rawOpen, setRawOpen] = useState(false);
+    const title = useId();
+    const rows = ledgerOf(derived, reasons);
+    return (_jsxs("section", { className: "slip-root slip-panel", "data-blocked": "", "aria-labelledby": title, children: [_jsxs("div", { className: "slip-panel__claim", role: "alert", children: [_jsx("p", { className: "slip-panel__kicker", "data-tone": "bad", children: "Signing blocked" }), _jsx("h2", { className: "slip-panel__title", id: title, children: "This transaction doesn't do what the link says" }), _jsx("p", { className: "slip-panel__lead", children: blockedLine(reasons) })] }), _jsxs("div", { className: "slip-panel__compare", children: [_jsxs("div", { className: "slip-panel__side", children: [_jsx("p", { className: "slip-panel__kicker", children: "The link claims" }), _jsx("p", { className: "slip-panel__claimed", children: claim }), description === undefined ? undefined : _jsx("p", { className: "slip-panel__note", children: description })] }), _jsxs("div", { className: "slip-panel__side", "data-tone": "bad", children: [_jsx("p", { className: "slip-panel__kicker", "data-tone": "bad", children: "The transaction does" }), reasons.map((reason, index) => {
+                                const { figure, lines } = evidenceOf(reason, derived);
+                                return (_jsxs("div", { className: "slip-panel__evidence", children: [figure === undefined ? undefined : _jsx("p", { className: "slip-panel__evidence-figure", children: figure }), lines.map((line) => (_jsx("p", { className: "slip-panel__detail", children: line }, line)))] }, index));
+                            })] })] }), _jsx(Ledger, { rows: rows }), rawOpen ? _jsx(Raw, { derived: derived }) : undefined, _jsxs("div", { className: "slip-panel__exits", children: [_jsx("button", { type: "button", className: "slip-panel__button", "data-kind": "close", onClick: onCancel, children: "Close without signing" }), _jsxs("div", { className: "slip-panel__quiet", children: [_jsx("button", { type: "button", className: "slip-panel__button", "data-kind": "quiet", "aria-expanded": rawOpen, onClick: () => setRawOpen((open) => !open), children: rawOpen ? "Hide raw transaction" : "Show raw transaction" }), onReport === undefined ? undefined : (_jsx("button", { type: "button", className: "slip-panel__button", "data-kind": "quiet", onClick: onReport, children: "Report this link" }))] })] })] }));
+};
+export const EffectsPanel = ({ claim, description, origin, derived, verdict, clock = Date.now, onSign, onCancel, onRebuild, onReport }) => {
+    const now = useNow(clock);
+    const [rawOpen, setRawOpen] = useState(false);
+    const title = useId();
+    if (verdict._tag === "mismatch") {
+        return (_jsx(Blocked, { claim: claim, derived: derived, reasons: verdict.reasons, ...(description === undefined ? {} : { description }), ...(onCancel === undefined ? {} : { onCancel }), ...(onReport === undefined ? {} : { onReport }) }));
+    }
+    const rows = ledgerOf(derived);
+    const until = derived.effects.validity.validUntil;
+    const seconds = until === null ? undefined : secondsLeft(until.time, BigInt(now));
+    if (seconds === 0) {
+        return (_jsxs("section", { className: "slip-root slip-panel", "data-expired": "", "aria-labelledby": title, children: [_jsxs("div", { className: "slip-panel__claim", children: [_jsx("p", { className: "slip-panel__kicker", "data-tone": "warn", children: "Expired" }), _jsx("h2", { className: "slip-panel__title", id: title, children: "This transaction ran out of time" }), _jsx("p", { className: "slip-panel__lead", children: "Nothing was signed and nothing left your wallet. Building a new one takes a second, and the amounts will be checked again." })] }), _jsx("div", { className: "slip-panel__stale", children: _jsx(Ledger, { rows: rows }) }), _jsxs("div", { className: "slip-panel__buttons", children: [_jsx("button", { type: "button", className: "slip-panel__button", "data-kind": "cancel", onClick: onCancel, children: "Cancel" }), _jsx("button", { type: "button", className: "slip-panel__button", "data-kind": "primary", onClick: onRebuild, children: "Build a new transaction" })] })] }));
+    }
+    const headline = headlineOf(derived);
+    const expiring = seconds !== undefined && seconds < expiringUnder;
+    return (_jsxs("section", { className: "slip-root slip-panel", "aria-labelledby": title, children: [_jsxs("div", { className: "slip-panel__claim", children: [_jsx("p", { className: "slip-panel__kicker", children: "What you're signing" }), _jsx("h2", { className: "slip-panel__title", id: title, children: claim }), origin === undefined ? undefined : _jsx("span", { className: "slip-panel__origin", children: origin })] }), expiring ? (_jsxs("div", { className: "slip-panel__expiring", role: "timer", children: [_jsxs("div", { className: "slip-panel__expiring-head", children: [_jsx("span", { children: "This transaction expires in" }), _jsx("span", { className: "slip-panel__expiring-clock", children: _jsx(Countdown, { seconds: seconds }) })] }), _jsx("div", { className: "slip-panel__bar", "aria-hidden": "true", children: _jsx("span", { className: "slip-panel__bar-fill", suppressHydrationWarning: true, style: { width: `${(seconds / expiringUnder) * 100}%` } }) }), _jsx("p", { className: "slip-panel__note", children: "After that the amounts could be stale, so we'll build a fresh one." })] })) : (_jsxs("div", { className: "slip-panel__headline", children: [_jsxs("div", { className: "slip-panel__figure", children: [_jsx("span", { className: "slip-panel__note", children: headline.label }), _jsx("span", { className: "slip-panel__figure-amount", "data-tone": headline.tone, children: headline.amount }), headline.fee === undefined ? undefined : _jsx("span", { className: "slip-panel__note", children: headline.fee })] }), headline.held === undefined ? undefined : (_jsxs(_Fragment, { children: [_jsx("span", { className: "slip-panel__rule", "aria-hidden": "true" }), _jsxs("div", { className: "slip-panel__figure", children: [_jsx("span", { className: "slip-panel__note", children: headline.held.label }), _jsx("span", { className: "slip-panel__figure-amount", "data-tone": headline.held.tone, children: headline.held.amount })] })] }))] })), _jsx(Ledger, { rows: rows }), expiring || seconds === undefined ? undefined : (_jsxs("div", { className: "slip-panel__expiry", children: [_jsx("span", { className: "slip-panel__note", children: "Expires in" }), _jsx("span", { className: "slip-panel__clock", children: _jsx(Countdown, { seconds: seconds }) })] })), _jsxs("p", { className: "slip-panel__verdict", children: [_jsx("span", { className: "slip-panel__tick", "aria-hidden": "true", children: "\u2713" }), _jsx("span", { children: matchLine(derived, rows) })] }), _jsxs("div", { className: "slip-panel__buttons", children: [_jsx("button", { type: "button", className: "slip-panel__button", "data-kind": "cancel", onClick: onCancel, children: "Cancel" }), _jsx("button", { type: "button", className: "slip-panel__button", "data-kind": "primary", onClick: onSign, children: "Sign transaction" })] }), _jsxs("div", { className: "slip-panel__raw", children: [_jsxs("button", { type: "button", className: "slip-panel__raw-toggle", "aria-expanded": rawOpen, onClick: () => setRawOpen((open) => !open), children: [_jsx("span", { "aria-hidden": "true", children: rawOpen ? "▾" : "▸" }), _jsx("span", { children: "Raw transaction" })] }), rawOpen ? _jsx(Raw, { derived: derived }) : undefined] })] }));
+};
+//# sourceMappingURL=effects-panel.js.map

package/dist/effects-panel.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"effects-panel.js","sourceRoot":"","sources":["../src/effects-panel.tsx"],"names":[],"mappings":"AAAA,YAAY,CAAA;;AASZ,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,OAAO,CAAA;AAGlD,OAAO,EAAE,eAAe,EAAE,WAAW,EAAE,MAAM,cAAc,CAAA;AAC3D,OAAO,EACL,WAAW,EACX,UAAU,EACV,QAAQ,EACR,UAAU,EACV,WAAW,EACX,SAAS,EACT,QAAQ,EACR,SAAS,EACT,QAAQ,EAGT,MAAM,aAAa,CAAA;AAqBpB,8FAA8F;AAC9F,MAAM,aAAa,GAAG,EAAE,CAAA;AAExB,MAAM,UAAU,GAA0C;IACxD,QAAQ,EAAE,UAAU;IACpB,OAAO,EAAE,SAAS;IAClB,OAAO,EAAE,gBAAgB;CAC1B,CAAA;AAED,MAAM,SAAS,GAAG,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,sBAAsB,EAAE,sBAAsB,EAAW,CAAA;AAEnH,MAAM,SAAS,GAAG,EAAE,UAAU,EAAE,YAAY,EAAE,WAAW,EAAE,WAAW,EAAW,CAAA;AAEjF,MAAM,MAAM,GAAG,CAAC,KAAmB,EAAU,EAAE;IAC7C,MAAM,CAAC,GAAG,EAAE,MAAM,CAAC,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAA;IACrC,SAAS,CAAC,GAAG,EAAE;QACb,MAAM,KAAK,GAAG,WAAW,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,EAAE,IAAI,CAAC,CAAA;QACtD,OAAO,GAAG,EAAE,CAAC,aAAa,CAAC,KAAK,CAAC,CAAA;IACnC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;IACX,OAAO,GAAG,CAAA;AACZ,CAAC,CAAA;AAED,MAAM,SAAS,GAAG,CAAC,EAAE,GAAG,EAAyB,EAAqB,EAAE,CAAC,CACvE,eAAK,SAAS,EAAC,iBAAiB,eAAY,GAAG,CAAC,IAAI,aAClD,eAAK,SAAS,EAAC,sBAAsB,aACnC,eAAK,SAAS,EAAC,uBAAuB,aACpC,eAAM,SAAS,EAAC,mBAAmB,YAAE,GAAG,CAAC,KAAK,GAAQ,EACrD,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CACpC,eAAM,SAAS,EAAC,kBAAkB,eAAY,GAAG,CAAC,IAAI,YACnD,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,GACf,CACR,EACA,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CACpC,eAAM,SAAS,EAAC,kBAAkB,eAAW,MAAM,YAChD,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,GACf,CACR,IACG,EACL,GAAG,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,eAAM,SAAS,EAAC,oBAAoB,YAAE,GAAG,CAAC,MAAM,GAAQ,IAC5F,EACN,eAAK,SAAS,EAAC,qBAAqB,aACjC,GAAG,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,eAAM,SAAS,EAAC,wBAAwB,YAAE,GAAG,CAAC,UAAU,GAAQ,EAC3G,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC,CAClC,eAAkB,SAAS,EAAC,oBAAoB,eAAY,MAAM,CAAC,IAAI,YACpE,MAAM,CAAC,IAAI,IADH,KAAK,CAET,CACR,CAAC,IACE,EACL,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,YAAG,SAAS,EAAC,kBAAkB,YAAE,GAAG,CAAC,IAAI,GAAK,IAChF,CACP,CAAA;AAED,MAAM,IAAI,GAAG,CAAC,EAAE,IAAI,EAAyC,EAAqB,EAAE,CAAC,CACnF,cAAK,SAAS,EAAC,oBAAoB,YAChC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CACjB,KAAC,SAAS,IAAe,GAAG,EAAE,GAAG,IAAjB,GAAG,CAAC,GAAG,CAAc,CACtC,CAAC,GACE,CACP,CAAA;AAED;;;;GAIG;AACH,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,EAAE,IAAI,EAAyC,EAAqB,EAAE;IAC3F,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC;QAAE,OAAO,KAAC,IAAI,IAAC,IAAI,EAAE,IAAI,GAAI,CAAA;IACjD,MAAM,SAAS,GAAG,WAAW,CAAC,IAAI,CAAC,CAAA;IACnC,OAAO,CACL,cAAK,SAAS,EAAC,oBAAoB,YAChC,QAAQ,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,CAC/C,SAAS,CAAC,CAAC,CAAC,CACV,mBAEE,SAAS,EAAC,mBAAmB,EAC7B,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,IAAI,SAAS,aAEhE,mBAAS,SAAS,EAAC,wBAAwB,aACxC,UAAU,CAAC,KAAK,CAAC,cAAK,OAAO,CAAC,MAAM,IAC7B,EACV,KAAC,IAAI,IAAC,IAAI,EAAE,OAAO,GAAI,KAPlB,KAAK,CAQF,CACX,CAAC,CAAC,CAAC,CACF,eAAiB,SAAS,EAAC,mBAAmB,aAC5C,YAAG,SAAS,EAAC,wBAAwB,YAAE,UAAU,CAAC,KAAK,CAAC,GAAK,EAC7D,KAAC,IAAI,IAAC,IAAI,EAAE,OAAO,GAAI,KAFf,KAAK,CAGT,CACP,CACF,GACG,CACP,CAAA;AACH,CAAC,CAAA;AAED,MAAM,GAAG,GAAG,CAAC,EAAE,OAAO,EAAiC,EAAqB,EAAE,CAAC,CAC7E,cAAK,SAAS,EAAC,uBAAuB,YAAE,QAAQ,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAO,CAC5E,CAAA;AAED,MAAM,SAAS,GAAG,CAAC,EAAE,OAAO,EAAgC,EAAqB,EAAE,CAAC,CAElF,eAAM,wBAAwB,kBAAE,eAAe,CAAC,OAAO,CAAC,GAAQ,CACjE,CAAA;AAED,MAAM,OAAO,GAAG,CAAC,EACf,KAAK,EACL,WAAW,EACX,OAAO,EACP,OAAO,EACP,QAAQ,EACR,QAAQ,EAGT,EAAqB,EAAE;IACtB,MAAM,CAAC,OAAO,EAAE,UAAU,CAAC,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAA;IAC7C,MAAM,KAAK,GAAG,KAAK,EAAE,CAAA;IACrB,MAAM,IAAI,GAAG,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC,CAAA;IACvC,OAAO,CACL,mBAAS,SAAS,EAAC,sBAAsB,kBAAc,EAAE,qBAAkB,KAAK,aAC9E,eAAK,SAAS,EAAC,mBAAmB,EAAC,IAAI,EAAC,OAAO,aAC7C,YAAG,SAAS,EAAC,oBAAoB,eAAW,KAAK,gCAE7C,EACJ,aAAI,SAAS,EAAC,mBAAmB,EAAC,EAAE,EAAE,KAAK,+DAEtC,EACL,YAAG,SAAS,EAAC,kBAAkB,YAAE,WAAW,CAAC,OAAO,CAAC,GAAK,IACtD,EAEN,eAAK,SAAS,EAAC,qBAAqB,aAClC,eAAK,SAAS,EAAC,kBAAkB,aAC/B,YAAG,SAAS,EAAC,oBAAoB,gCAAoB,EACrD,YAAG,SAAS,EAAC,qBAAqB,YAAE,KAAK,GAAK,EAC7C,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,YAAG,SAAS,EAAC,kBAAkB,YAAE,WAAW,GAAK,IACtF,EACN,eAAK,SAAS,EAAC,kBAAkB,eAAW,KAAK,aAC/C,YAAG,SAAS,EAAC,oBAAoB,eAAW,KAAK,qCAE7C,EACH,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE;gCAC7B,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,UAAU,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;gCACrD,OAAO,CACL,eAAiB,SAAS,EAAC,sBAAsB,aAC9C,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,YAAG,SAAS,EAAC,6BAA6B,YAAE,MAAM,GAAK,EAC1F,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CACnB,YAAc,SAAS,EAAC,oBAAoB,YACzC,IAAI,IADC,IAAI,CAER,CACL,CAAC,KANM,KAAK,CAOT,CACP,CAAA;4BACH,CAAC,CAAC,IACE,IACF,EAEN,KAAC,MAAM,IAAC,IAAI,EAAE,IAAI,GAAI,EAErB,OAAO,CAAC,CAAC,CAAC,KAAC,GAAG,IAAC,OAAO,EAAE,OAAO,GAAI,CAAC,CAAC,CAAC,SAAS,EAEhD,eAAK,SAAS,EAAC,mBAAmB,aAChC,iBAAQ,IAAI,EAAC,QAAQ,EAAC,SAAS,EAAC,oBAAoB,eAAW,OAAO,EAAC,OAAO,EAAE,QAAQ,sCAE/E,EACT,eAAK,SAAS,EAAC,mBAAmB,aAChC,iBACE,IAAI,EAAC,QAAQ,EACb,SAAS,EAAC,oBAAoB,eACpB,OAAO,mBACF,OAAO,EACtB,OAAO,EAAE,GAAG,EAAE,CAAC,UAAU,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,YAEzC,OAAO,CAAC,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,sBAAsB,GACnD,EACR,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CACpC,iBAAQ,IAAI,EAAC,QAAQ,EAAC,SAAS,EAAC,oBAAoB,eAAW,OAAO,EAAC,OAAO,EAAE,QAAQ,iCAE/E,CACV,IACG,IACF,IACE,CACX,CAAA;AACH,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,EAC3B,KAAK,EACL,WAAW,EACX,MAAM,EACN,OAAO,EACP,OAAO,EACP,KAAK,GAAG,IAAI,CAAC,GAAG,EAChB,MAAM,EACN,QAAQ,EACR,SAAS,EACT,QAAQ,EACU,EAAqB,EAAE;IACzC,MAAM,GAAG,GAAG,MAAM,CAAC,KAAK,CAAC,CAAA;IACzB,MAAM,CAAC,OAAO,EAAE,UAAU,CAAC,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAA;IAC7C,MAAM,KAAK,GAAG,KAAK,EAAE,CAAA;IAErB,IAAI,OAAO,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAChC,OAAO,CACL,KAAC,OAAO,IACN,KAAK,EAAE,KAAK,EACZ,OAAO,EAAE,OAAO,EAChB,OAAO,EAAE,OAAO,CAAC,OAAO,KACpB,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC,KAClD,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,KAC5C,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,GAChD,CACH,CAAA;IACH,CAAC;IAED,MAAM,IAAI,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAA;IAC9B,MAAM,KAAK,GAAG,OAAO,CAAC,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAA;IACjD,MAAM,OAAO,GAAG,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,KAAK,CAAC,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAA;IAEjF,IAAI,OAAO,KAAK,CAAC,EAAE,CAAC;QAClB,OAAO,CACL,mBAAS,SAAS,EAAC,sBAAsB,kBAAc,EAAE,qBAAkB,KAAK,aAC9E,eAAK,SAAS,EAAC,mBAAmB,aAChC,YAAG,SAAS,EAAC,oBAAoB,eAAW,MAAM,wBAE9C,EACJ,aAAI,SAAS,EAAC,mBAAmB,EAAC,EAAE,EAAE,KAAK,iDAEtC,EACL,YAAG,SAAS,EAAC,kBAAkB,2IAG3B,IACA,EACN,cAAK,SAAS,EAAC,mBAAmB,YAChC,KAAC,MAAM,IAAC,IAAI,EAAE,IAAI,GAAI,GAClB,EACN,eAAK,SAAS,EAAC,qBAAqB,aAClC,iBAAQ,IAAI,EAAC,QAAQ,EAAC,SAAS,EAAC,oBAAoB,eAAW,QAAQ,EAAC,OAAO,EAAE,QAAQ,uBAEhF,EACT,iBAAQ,IAAI,EAAC,QAAQ,EAAC,SAAS,EAAC,oBAAoB,eAAW,SAAS,EAAC,OAAO,EAAE,SAAS,wCAElF,IACL,IACE,CACX,CAAA;IACH,CAAC;IAED,MAAM,QAAQ,GAAG,UAAU,CAAC,OAAO,CAAC,CAAA;IACpC,MAAM,QAAQ,GAAG,OAAO,KAAK,SAAS,IAAI,OAAO,GAAG,aAAa,CAAA;IAEjE,OAAO,CACL,mBAAS,SAAS,EAAC,sBAAsB,qBAAkB,KAAK,aAC9D,eAAK,SAAS,EAAC,mBAAmB,aAChC,YAAG,SAAS,EAAC,oBAAoB,oCAAwB,EACzD,aAAI,SAAS,EAAC,mBAAmB,EAAC,EAAE,EAAE,KAAK,YACxC,KAAK,GACH,EACJ,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,eAAM,SAAS,EAAC,oBAAoB,YAAE,MAAM,GAAQ,IACpF,EAEL,QAAQ,CAAC,CAAC,CAAC,CACV,eAAK,SAAS,EAAC,sBAAsB,EAAC,IAAI,EAAC,OAAO,aAChD,eAAK,SAAS,EAAC,2BAA2B,aACxC,yDAAwC,EACxC,eAAM,SAAS,EAAC,4BAA4B,YAC1C,KAAC,SAAS,IAAC,OAAO,EAAE,OAAO,GAAI,GAC1B,IACH,EACN,cAAK,SAAS,EAAC,iBAAiB,iBAAa,MAAM,YACjD,eACE,SAAS,EAAC,sBAAsB,EAChC,wBAAwB,QACxB,KAAK,EAAE,EAAE,KAAK,EAAE,GAAG,CAAC,OAAO,GAAG,aAAa,CAAC,GAAG,GAAG,GAAG,EAAE,GACvD,GACE,EACN,YAAG,SAAS,EAAC,kBAAkB,mFAAuE,IAClG,CACP,CAAC,CAAC,CAAC,CACF,eAAK,SAAS,EAAC,sBAAsB,aACnC,eAAK,SAAS,EAAC,oBAAoB,aACjC,eAAM,SAAS,EAAC,kBAAkB,YAAE,QAAQ,CAAC,KAAK,GAAQ,EAC1D,eAAM,SAAS,EAAC,2BAA2B,eAAY,QAAQ,CAAC,IAAI,YACjE,QAAQ,CAAC,MAAM,GACX,EACN,QAAQ,CAAC,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,eAAM,SAAS,EAAC,kBAAkB,YAAE,QAAQ,CAAC,GAAG,GAAQ,IAC9F,EACL,QAAQ,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CACzC,8BACE,eAAM,SAAS,EAAC,kBAAkB,iBAAa,MAAM,GAAG,EACxD,eAAK,SAAS,EAAC,oBAAoB,aACjC,eAAM,SAAS,EAAC,kBAAkB,YAAE,QAAQ,CAAC,IAAI,CAAC,KAAK,GAAQ,EAC/D,eAAM,SAAS,EAAC,2BAA2B,eAAY,QAAQ,CAAC,IAAI,CAAC,IAAI,YACtE,QAAQ,CAAC,IAAI,CAAC,MAAM,GAChB,IACH,IACL,CACJ,IACG,CACP,EAED,KAAC,MAAM,IAAC,IAAI,EAAE,IAAI,GAAI,EAErB,QAAQ,IAAI,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAC/C,eAAK,SAAS,EAAC,oBAAoB,aACjC,eAAM,SAAS,EAAC,kBAAkB,2BAAkB,EACpD,eAAM,SAAS,EAAC,mBAAmB,YACjC,KAAC,SAAS,IAAC,OAAO,EAAE,OAAO,GAAI,GAC1B,IACH,CACP,EAED,aAAG,SAAS,EAAC,qBAAqB,aAChC,eAAM,SAAS,EAAC,kBAAkB,iBAAa,MAAM,uBAE9C,EACP,yBAAO,SAAS,CAAC,OAAO,EAAE,IAAI,CAAC,GAAQ,IACrC,EAEJ,eAAK,SAAS,EAAC,qBAAqB,aAClC,iBAAQ,IAAI,EAAC,QAAQ,EAAC,SAAS,EAAC,oBAAoB,eAAW,QAAQ,EAAC,OAAO,EAAE,QAAQ,uBAEhF,EACT,iBAAQ,IAAI,EAAC,QAAQ,EAAC,SAAS,EAAC,oBAAoB,eAAW,SAAS,EAAC,OAAO,EAAE,MAAM,iCAE/E,IACL,EAEN,eAAK,SAAS,EAAC,iBAAiB,aAC9B,kBACE,IAAI,EAAC,QAAQ,EACb,SAAS,EAAC,wBAAwB,mBACnB,OAAO,EACtB,OAAO,EAAE,GAAG,EAAE,CAAC,UAAU,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,aAE1C,8BAAkB,MAAM,YAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,GAAQ,EACrD,6CAA4B,IACrB,EACR,OAAO,CAAC,CAAC,CAAC,KAAC,GAAG,IAAC,OAAO,EAAE,OAAO,GAAI,CAAC,CAAC,CAAC,SAAS,IAC5C,IACE,CACX,CAAA;AACH,CAAC,CAAA"}