@cardano-slips/flow 0.2.0 → 0.3.1

package/dist/card.d.ts

@@ -0,0 +1,41 @@
+/**
+ * The parts of a Slip card that need no React: which buttons a Slip asks for,
+ * whether each one may be pressed, and what a button says once the person's
+ * values are in it.
+ */
+import { type LinkedAction, type ParameterValues, type Reason, type Slip, type ValueIssue } from "@cardano-slips/core";
+/**
+ * The buttons the Slip asks for. `links` absent is one button labelled `label`
+ * whose target is the discovery URL itself — the spec's rule, not a default of
+ * ours, which is why it is written once here rather than in each component.
+ */
+export declare const actionsOf: (slip: Slip, discoveryUrl: string) => ReadonlyArray<LinkedAction>;
+/**
+ * Why this action cannot be used, or undefined while it can. The top level
+ * wins: an action carrying `disabled: false` under a disabled Slip stays
+ * closed, and is never reopened by its own field.
+ */
+export declare const closureOf: (slip: Slip, action: LinkedAction) => Reason | undefined;
+/** The host that served the link. Undefined where the URL is not one we can read. */
+export declare const originOf: (discoveryUrl: string) => string | undefined;
+/** The publisher's initial, for an icon that did not load. Never a generic glyph. */
+export declare const monogramOf: (discoveryUrl: string) => string | undefined;
+/**
+ * Own properties only. `ParameterName` admits `constructor`, `toString` and the
+ * rest of `Object.prototype`, and a plain object answers for every one of them —
+ * so a field nobody filled would be handed a function where a string belongs.
+ */
+export declare const valueOf: (values: ParameterValues, name: string) => string;
+/** Just the values this action asked for, so a caller is handed no answer it did not request. */
+export declare const valuesFor: (action: LinkedAction, values: ParameterValues) => ParameterValues;
+/**
+ * What the button says. A label made only of placeholders empties out, and the
+ * Slip's own call to action stands in rather than a blank button.
+ */
+export declare const actionLabel: (slip: Slip, action: LinkedAction, values: ParameterValues) => string;
+/**
+ * The label of a button that was pressed and cannot send. It counts fields
+ * rather than issues: one field can fail two ways and is still one thing to fix.
+ */
+export declare const blockedLabel: (issues: ReadonlyArray<ValueIssue>) => string;
+//# sourceMappingURL=card.d.ts.map

package/dist/card.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"card.d.ts","sourceRoot":"","sources":["../src/card.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,OAAO,EAEL,KAAK,YAAY,EACjB,KAAK,eAAe,EACpB,KAAK,MAAM,EACX,KAAK,IAAI,EACT,KAAK,UAAU,EAChB,MAAM,qBAAqB,CAAA;AAE5B;;;;GAIG;AACH,eAAO,MAAM,SAAS,GAAI,MAAM,IAAI,EAAE,cAAc,MAAM,KAAG,aAAa,CAAC,YAAY,CACnB,CAAA;AAEpE;;;;GAIG;AACH,eAAO,MAAM,SAAS,GAAI,MAAM,IAAI,EAAE,QAAQ,YAAY,KAAG,MAAM,GAAG,SAGrE,CAAA;AAED,qFAAqF;AACrF,eAAO,MAAM,QAAQ,GAAI,cAAc,MAAM,KAAG,MAAM,GAAG,SAMxD,CAAA;AAED,qFAAqF;AACrF,eAAO,MAAM,UAAU,GAAI,cAAc,MAAM,KAAG,MAAM,GAAG,SACY,CAAA;AAEvE;;;;GAIG;AACH,eAAO,MAAM,OAAO,GAAI,QAAQ,eAAe,EAAE,MAAM,MAAM,KAAG,MACf,CAAA;AAEjD,iGAAiG;AACjG,eAAO,MAAM,SAAS,GAAI,QAAQ,YAAY,EAAE,QAAQ,eAAe,KAAG,eAIzE,CAAA;AAWD;;;GAGG;AACH,eAAO,MAAM,WAAW,GAAI,MAAM,IAAI,EAAE,QAAQ,YAAY,EAAE,QAAQ,eAAe,KAAG,MAGvF,CAAA;AAED;;;GAGG;AACH,eAAO,MAAM,YAAY,GAAI,QAAQ,aAAa,CAAC,UAAU,CAAC,KAAG,MAGhE,CAAA"}

package/dist/card.js

@@ -0,0 +1,69 @@
+/**
+ * The parts of a Slip card that need no React: which buttons a Slip asks for,
+ * whether each one may be pressed, and what a button says once the person's
+ * values are in it.
+ */
+import { fillLabel } from "@cardano-slips/core";
+/**
+ * The buttons the Slip asks for. `links` absent is one button labelled `label`
+ * whose target is the discovery URL itself — the spec's rule, not a default of
+ * ours, which is why it is written once here rather than in each component.
+ */
+export const actionsOf = (slip, discoveryUrl) => slip.links?.actions ?? [{ label: slip.label, href: discoveryUrl }];
+/**
+ * Why this action cannot be used, or undefined while it can. The top level
+ * wins: an action carrying `disabled: false` under a disabled Slip stays
+ * closed, and is never reopened by its own field.
+ */
+export const closureOf = (slip, action) => {
+    if (slip.disabled === true)
+        return slip.reason;
+    return action.disabled === true ? action.reason : undefined;
+};
+/** The host that served the link. Undefined where the URL is not one we can read. */
+export const originOf = (discoveryUrl) => {
+    try {
+        return new URL(discoveryUrl).host;
+    }
+    catch {
+        return undefined;
+    }
+};
+/** The publisher's initial, for an icon that did not load. Never a generic glyph. */
+export const monogramOf = (discoveryUrl) => /\p{L}|\p{N}/u.exec(originOf(discoveryUrl) ?? "")?.[0]?.toUpperCase();
+/**
+ * Own properties only. `ParameterName` admits `constructor`, `toString` and the
+ * rest of `Object.prototype`, and a plain object answers for every one of them —
+ * so a field nobody filled would be handed a function where a string belongs.
+ */
+export const valueOf = (values, name) => Object.hasOwn(values, name) ? values[name] : "";
+/** Just the values this action asked for, so a caller is handed no answer it did not request. */
+export const valuesFor = (action, values) => {
+    const picked = {};
+    for (const parameter of action.parameters ?? [])
+        picked[parameter.name] = valueOf(values, parameter.name);
+    return picked;
+};
+const spelled = ["", "one", "two", "three", "four", "five", "six", "seven", "eight"];
+/**
+ * Runs of whitespace collapse because a label is a template: `Contribute
+ * {amount} {token}` with nothing typed is `Contribute`, not `Contribute  `.
+ */
+const filled = (action, values) => fillLabel(action, values).replace(/\s+/g, " ").trim();
+/**
+ * What the button says. A label made only of placeholders empties out, and the
+ * Slip's own call to action stands in rather than a blank button.
+ */
+export const actionLabel = (slip, action, values) => {
+    const label = filled(action, values);
+    return label === "" ? slip.label : label;
+};
+/**
+ * The label of a button that was pressed and cannot send. It counts fields
+ * rather than issues: one field can fail two ways and is still one thing to fix.
+ */
+export const blockedLabel = (issues) => {
+    const fields = new Set(issues.map((issue) => issue.name)).size;
+    return `Fix ${spelled[fields] ?? String(fields)} ${fields === 1 ? "field" : "fields"} to continue`;
+};
+//# sourceMappingURL=card.js.map

package/dist/card.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"card.js","sourceRoot":"","sources":["../src/card.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,OAAO,EACL,SAAS,EAMV,MAAM,qBAAqB,CAAA;AAE5B;;;;GAIG;AACH,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,IAAU,EAAE,YAAoB,EAA+B,EAAE,CACzF,IAAI,CAAC,KAAK,EAAE,OAAO,IAAI,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC,CAAA;AAEpE;;;;GAIG;AACH,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,IAAU,EAAE,MAAoB,EAAsB,EAAE;IAChF,IAAI,IAAI,CAAC,QAAQ,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC,MAAM,CAAA;IAC9C,OAAO,MAAM,CAAC,QAAQ,KAAK,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAA;AAC7D,CAAC,CAAA;AAED,qFAAqF;AACrF,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,YAAoB,EAAsB,EAAE;IACnE,IAAI,CAAC;QACH,OAAO,IAAI,GAAG,CAAC,YAAY,CAAC,CAAC,IAAI,CAAA;IACnC,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,SAAS,CAAA;IAClB,CAAC;AACH,CAAC,CAAA;AAED,qFAAqF;AACrF,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,YAAoB,EAAsB,EAAE,CACrE,cAAc,CAAC,IAAI,CAAC,QAAQ,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,CAAA;AAEvE;;;;GAIG;AACH,MAAM,CAAC,MAAM,OAAO,GAAG,CAAC,MAAuB,EAAE,IAAY,EAAU,EAAE,CACvE,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAA;AAEjD,iGAAiG;AACjG,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,MAAoB,EAAE,MAAuB,EAAmB,EAAE;IAC1F,MAAM,MAAM,GAA2B,EAAE,CAAA;IACzC,KAAK,MAAM,SAAS,IAAI,MAAM,CAAC,UAAU,IAAI,EAAE;QAAE,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,SAAS,CAAC,IAAI,CAAC,CAAA;IACzG,OAAO,MAAM,CAAA;AACf,CAAC,CAAA;AAED,MAAM,OAAO,GAAG,CAAC,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,OAAO,CAAC,CAAA;AAEpF;;;GAGG;AACH,MAAM,MAAM,GAAG,CAAC,MAAoB,EAAE,MAAuB,EAAU,EAAE,CACvE,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,CAAA;AAEvD;;;GAGG;AACH,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,IAAU,EAAE,MAAoB,EAAE,MAAuB,EAAU,EAAE;IAC/F,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;IACpC,OAAO,KAAK,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAA;AAC1C,CAAC,CAAA;AAED;;;GAGG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,MAAiC,EAAU,EAAE;IACxE,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAA;IAC9D,OAAO,OAAO,OAAO,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,MAAM,CAAC,IAAI,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,cAAc,CAAA;AACpG,CAAC,CAAA"}

package/dist/complete-error.d.ts

@@ -6,17 +6,22 @@
  */
 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";
 /**
@@ -30,13 +35,14 @@ declare const CompletionError_base: new <A extends Record<string, any> = {}>(arg
 } & Readonly<A>;
 /**
  * `reasons` is what the transaction actually does against what was declared,
- * for the block to render. There is no way to carry on from one — a mismatch
+ * 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;
@@ -44,6 +50,7 @@ export declare class CompletionError extends CompletionError_base<{
 }
 export declare const refuse: (refusal: CompletionRefusal, detail: string, extra?: {
     readonly reasons?: ReadonlyArray<Reason>;
+    readonly derived?: Derived;
     readonly cause?: unknown;
 }) => CompletionError;
 export {};

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

@@ -1 +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,MAAM,MAAM,iBAAiB;AAC3B,iFAAiF;AAC/E,SAAS;AACX,4EAA4E;GAC1E,iBAAiB;AACnB,+FAA+F;GAC7F,aAAa;AACf,8FAA8F;GAC5F,SAAS;AACX,2FAA2F;GACzF,UAAU;AACZ,0FAA0F;GACxF,eAAe,CAAA;AAEnB;;;GAGG;AACH,eAAO,MAAM,kBAAkB,EAAE,QAAQ,CAAC,MAAM,CAAC,iBAAiB,EAAE,IAAI,CAAC,CAOxE,CAAA;AAED,eAAO,MAAM,gBAAgB,GAAI,SAAS,iBAAiB,KAAG,eAAe,GAAG,SAa/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,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,KAAK,CAAC,EAAE,OAAO,CAAA;CAAO,KACjF,eAMC,CAAA"}
+{"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

@@ -6,9 +6,11 @@ import { Data } from "effect";
 export const completionRefusals = {
     NoUtxos: true,
     UnreadableUtxos: true,
+    UnreadableAddresses: true,
     CannotJudge: true,
     Blocked: true,
     NotShown: true,
+    Cancelled: true,
     OutOfAttempts: true
 };
 export const slipErrorCodeFor = (refusal) => {
@@ -20,14 +22,16 @@ export const slipErrorCodeFor = (refusal) => {
         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,
- * for the block to render. There is no way to carry on from one — a mismatch
+ * 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") {
@@ -42,6 +46,7 @@ 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

@@ -1 +1 @@
-{"version":3,"file":"complete-error.js","sourceRoot":"","sources":["../src/complete-error.ts"],"names":[],"mappings":"AAQA,OAAO,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAA;AAgB7B;;;GAGG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAA8C;IAC3E,OAAO,EAAE,IAAI;IACb,eAAe,EAAE,IAAI;IACrB,WAAW,EAAE,IAAI;IACjB,OAAO,EAAE,IAAI;IACb,QAAQ,EAAE,IAAI;IACd,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,UAAU,CAAC;QAChB,KAAK,eAAe;YAClB,OAAO,SAAS,CAAA;IACpB,CAAC;AACH,CAAC,CAAA;AAED;;;;GAIG;AACH,MAAM,OAAO,eAAgB,SAAQ,IAAI,CAAC,WAAW,CAAC,iBAAiB,CAKrE;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,QAAgF,EAAE,EACjE,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,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,CAAC;CAC7D,CAAC,CAAA"}
+{"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

@@ -10,15 +10,32 @@ 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 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 = {
+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;
-    /** What this transaction does, derived from its own bytes. */
-    readonly effects: Effects;
+};
+/** 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;
@@ -26,12 +43,6 @@ export type CompletionRequest = {
     readonly intent: Intent;
     readonly network: Network;
     readonly changeAddress: string;
-    /**
-     * Every address the wallet calls its own, its reward account included. An
-     * address missing from here is read as a stranger's, which turns the wallet's
-     * own change into an undeclared payment and blocks the Slip.
-     */
-    readonly userAddresses: ReadonlyArray<Uint8Array>;
     readonly parameters: BalancingParameters;
     readonly rewardBalance?: bigint;
     /** Read once per attempt: a rebuilt transaction gets its own validity window. */
@@ -40,6 +51,14 @@ export type CompletionRequest = {
     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;

package/dist/complete.d.ts.map

@@ -1 +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,EAA6C,KAAK,OAAO,EAAE,MAAM,yBAAyB,CAAA;AACjG,OAAO,EAAE,MAAM,EAAU,MAAM,QAAQ,CAAA;AAEvC,OAAO,EAAiB,KAAK,mBAAmB,EAAE,MAAM,cAAc,CAAA;AACtE,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAA;AACtD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAA;AAC1C,OAAO,EAAE,KAAK,eAAe,EAAU,MAAM,qBAAqB,CAAA;AAGlE,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAA;AAOnD,MAAM,MAAM,OAAO,GAAG;IACpB,wFAAwF;IACxF,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAA;IAC9B,8DAA8D;IAC9D,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;CAC1B,CAAA;AAED,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;;;;OAIG;IACH,QAAQ,CAAC,aAAa,EAAE,aAAa,CAAC,UAAU,CAAC,CAAA;IACjD,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;CAChD,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;AAuG5D;;;;GAIG;AACH,eAAO,MAAM,cAAc,GAAI,SAAS,iBAAiB,KAAG,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,OAAO,CA4BtF,CAAA"}
+{"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

@@ -1,7 +1,10 @@
-import { compare, decodeTransaction, deriveEffects } from "@cardano-slips/verifier";
+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";
@@ -25,6 +28,46 @@ const walletUtxos = (api) => Effect.gen(function* () {
     }
     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`
@@ -46,17 +89,24 @@ const buildAndJudge = (request, number) => Effect.gen(function* () {
     if (Either.isLeft(transaction)) {
         return yield* Effect.fail(refuse("CannotJudge", `This transaction could not be read back: ${transaction.left.message}`));
     }
-    const effects = deriveEffects({
+    const resolvedInputs = asResolvedInputs(utxos);
+    const derivation = {
         transaction: transaction.right,
-        userAddresses: request.userAddresses,
-        resolvedInputs: asResolvedInputs(utxos),
+        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(effects)) {
-        return yield* Effect.fail(refuse("CannotJudge", `What this transaction does could not be worked out: ${effects.left.message}`));
+    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: effects.right,
+        effects: derived.effects,
         declared: request.intent,
         changeAddress: request.changeAddress,
         now: BigInt(now),
@@ -67,11 +117,12 @@ const buildAndJudge = (request, number) => Effect.gen(function* () {
     }
     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
+            reasons: verdict.right.reasons,
+            derived
         }));
     }
     const transactionId = yield* transactionIdOf(built.cbor);
-    const attempt = { number, transactionId, effects: effects.right };
+    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.
@@ -81,6 +132,15 @@ const buildAndJudge = (request, number) => Effect.gen(function* () {
     });
     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
@@ -90,11 +150,23 @@ 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 };
@@ -102,6 +174,8 @@ export const completeIntent = (request) => Effect.gen(function* () {
         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.`));
 });

package/dist/complete.js.map

@@ -1 +1 @@
-{"version":3,"file":"complete.js","sourceRoot":"","sources":["../src/complete.ts"],"names":[],"mappings":"AAQA,OAAO,EAAE,OAAO,EAAE,iBAAiB,EAAE,aAAa,EAAgB,MAAM,yBAAyB,CAAA;AACjG,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAEvC,OAAO,EAAE,aAAa,EAA4B,MAAM,cAAc,CAAA;AAGtE,OAAO,EAAwB,MAAM,EAAE,MAAM,qBAAqB,CAAA;AAClE,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;AAyCzB,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;;;;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,OAAO,GAAG,aAAa,CAAC;QAC5B,WAAW,EAAE,WAAW,CAAC,KAAK;QAC9B,aAAa,EAAE,OAAO,CAAC,aAAa;QACpC,cAAc,EAAE,gBAAgB,CAAC,KAAK,CAAC;QACvC,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,CAAC,aAAa,EAAE,uDAAuD,OAAO,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,CACrG,CAAA;IACH,CAAC;IAED,MAAM,OAAO,GAAG,OAAO,CAAC;QACtB,OAAO,EAAE,OAAO,CAAC,KAAK;QACtB,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;SAC/B,CAAC,CACH,CAAA;IACH,CAAC;IAED,MAAM,aAAa,GAAG,KAAK,CAAC,CAAC,eAAe,CAAC,KAAK,CAAC,IAAI,CAAC,CAAA;IACxD,MAAM,OAAO,GAAY,EAAE,MAAM,EAAE,aAAa,EAAE,OAAO,EAAE,OAAO,CAAC,KAAK,EAAE,CAAA;IAE1E,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;;;;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,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,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;IACH,CAAC;IAED,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACvB,MAAM,CACJ,eAAe,EACf,uDAAuD,OAAO,qCAAqC,CACpG,CACF,CAAA;AACH,CAAC,CAAC,CAAA"}
+{"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"}