@cardano-slips/flow 0.1.0 → 0.3.0

package/dist/parameter-form.js

@@ -0,0 +1,42 @@
+"use client";
+import { jsx as _jsx, jsxs as _jsxs } from "react/jsx-runtime";
+import { valueOf } from "./card.js";
+/**
+ * The bounds line. The spec requires it beside the field rather than only on
+ * failure, so a person can tell what will be accepted before they type.
+ */
+export const boundsOf = (parameter) => {
+    if (parameter.type === "select") {
+        const labels = parameter.options.map((option) => option.label);
+        if (labels.length > 3)
+            return `${labels.length} options`;
+        if (labels.length === 1)
+            return labels[0];
+        return `${labels.slice(0, -1).join(", ")} or ${labels.at(-1)}`;
+    }
+    // On `text` the bounds count characters; on `number` they bound the value.
+    const unit = parameter.type === "text" ? " characters" : "";
+    if (parameter.min !== undefined && parameter.max !== undefined) {
+        return `Between ${parameter.min} and ${parameter.max}${unit}`;
+    }
+    // The same words `checkValues` uses, so the bounds and the sentence a broken
+    // value produces read as one voice rather than two.
+    if (parameter.min !== undefined)
+        return `At least ${parameter.min}${unit}`;
+    if (parameter.max !== undefined)
+        return `At most ${parameter.max}${unit}`;
+    return undefined;
+};
+const errorOf = (errors, name) => errors !== undefined && Object.hasOwn(errors, name) ? errors[name] : undefined;
+const Field = ({ parameter, value, error, id, onChange }) => {
+    const helpId = `${id}-help`;
+    const invalid = error === undefined ? undefined : "";
+    const change = (next) => onChange(parameter.name, next);
+    return (_jsxs("div", { className: "slip-field", "data-invalid": invalid, children: [_jsx("label", { className: "slip-field__label", htmlFor: id, children: parameter.label }), _jsx("div", { className: "slip-field__control", children: parameter.type === "select" ? (_jsxs("select", { id: id, className: "slip-field__input", value: value, "aria-describedby": helpId, "aria-invalid": error === undefined ? undefined : true, onChange: (event) => change(event.target.value), children: [parameter.required === true && value !== "" ? undefined : _jsx("option", { value: "" }), parameter.options.map((option) => (_jsx("option", { value: option.value, children: option.label }, option.value)))] })) : (_jsx("input", { id: id, className: parameter.type === "number" ? "slip-field__input slip-field__input--numeral" : "slip-field__input", type: "text", 
+                    // Never `type="number"`: it hands back an empty string for anything
+                    // the browser dislikes, which hides the very value `checkValues` is
+                    // there to judge — and the person never learns what was wrong.
+                    inputMode: parameter.type === "number" ? "decimal" : undefined, value: value, "aria-describedby": helpId, "aria-invalid": error === undefined ? undefined : true, onChange: (event) => change(event.target.value) })) }), _jsxs("div", { className: "slip-field__help", id: helpId, children: [_jsx("span", { className: "slip-field__bounds", children: error?.message ?? boundsOf(parameter) }), error?.code === undefined ? (_jsx("span", { className: "slip-field__note", children: parameter.required === true ? "Required" : "Optional" })) : (_jsx("span", { className: "slip-field__code", children: error.code }))] })] }));
+};
+export const ParameterForm = ({ parameters, values, errors, onChange, idPrefix = "slip" }) => (_jsx("div", { className: "slip-fields", children: parameters.map((parameter) => (_jsx(Field, { parameter: parameter, value: valueOf(values, parameter.name), error: errorOf(errors, parameter.name), id: `${idPrefix}-${parameter.name}`, onChange: onChange }, parameter.name))) }));
+//# sourceMappingURL=parameter-form.js.map

package/dist/parameter-form.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"parameter-form.js","sourceRoot":"","sources":["../src/parameter-form.tsx"],"names":[],"mappings":"AAAA,YAAY,CAAA;;AAQZ,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AAkBnC;;;GAGG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,SAAoB,EAAsB,EAAE;IACnE,IAAI,SAAS,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAChC,MAAM,MAAM,GAAG,SAAS,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;QAC9D,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;YAAE,OAAO,GAAG,MAAM,CAAC,MAAM,UAAU,CAAA;QACxD,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,MAAM,CAAC,CAAC,CAAC,CAAA;QACzC,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAA;IAChE,CAAC;IAED,2EAA2E;IAC3E,MAAM,IAAI,GAAG,SAAS,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAA;IAC3D,IAAI,SAAS,CAAC,GAAG,KAAK,SAAS,IAAI,SAAS,CAAC,GAAG,KAAK,SAAS,EAAE,CAAC;QAC/D,OAAO,WAAW,SAAS,CAAC,GAAG,QAAQ,SAAS,CAAC,GAAG,GAAG,IAAI,EAAE,CAAA;IAC/D,CAAC;IACD,6EAA6E;IAC7E,oDAAoD;IACpD,IAAI,SAAS,CAAC,GAAG,KAAK,SAAS;QAAE,OAAO,YAAY,SAAS,CAAC,GAAG,GAAG,IAAI,EAAE,CAAA;IAC1E,IAAI,SAAS,CAAC,GAAG,KAAK,SAAS;QAAE,OAAO,WAAW,SAAS,CAAC,GAAG,GAAG,IAAI,EAAE,CAAA;IACzE,OAAO,SAAS,CAAA;AAClB,CAAC,CAAA;AAED,MAAM,OAAO,GAAG,CAAC,MAAwD,EAAE,IAAY,EAA0B,EAAE,CACjH,MAAM,KAAK,SAAS,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAA;AAUhF,MAAM,KAAK,GAAG,CAAC,EAAE,SAAS,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,EAAE,QAAQ,EAAc,EAAqB,EAAE;IACzF,MAAM,MAAM,GAAG,GAAG,EAAE,OAAO,CAAA;IAC3B,MAAM,OAAO,GAAG,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAA;IACpD,MAAM,MAAM,GAAG,CAAC,IAAY,EAAQ,EAAE,CAAC,QAAQ,CAAC,SAAS,CAAC,IAAI,EAAE,IAAI,CAAC,CAAA;IAErE,OAAO,CACL,eAAK,SAAS,EAAC,YAAY,kBAAe,OAAO,aAC/C,gBAAO,SAAS,EAAC,mBAAmB,EAAC,OAAO,EAAE,EAAE,YAC7C,SAAS,CAAC,KAAK,GACV,EACR,cAAK,SAAS,EAAC,qBAAqB,YACjC,SAAS,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,CAC7B,kBACE,EAAE,EAAE,EAAE,EACN,SAAS,EAAC,mBAAmB,EAC7B,KAAK,EAAE,KAAK,sBACM,MAAM,kBACV,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,EACpD,QAAQ,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,aAE9C,SAAS,CAAC,QAAQ,KAAK,IAAI,IAAI,KAAK,KAAK,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,iBAAQ,KAAK,EAAC,EAAE,GAAG,EAC7E,SAAS,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CACjC,iBAA2B,KAAK,EAAE,MAAM,CAAC,KAAK,YAC3C,MAAM,CAAC,KAAK,IADF,MAAM,CAAC,KAAK,CAEhB,CACV,CAAC,IACK,CACV,CAAC,CAAC,CAAC,CACF,gBACE,EAAE,EAAE,EAAE,EACN,SAAS,EACP,SAAS,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,8CAA8C,CAAC,CAAC,CAAC,mBAAmB,EAEpG,IAAI,EAAC,MAAM;oBACX,oEAAoE;oBACpE,oEAAoE;oBACpE,+DAA+D;oBAC/D,SAAS,EAAE,SAAS,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,EAC9D,KAAK,EAAE,KAAK,sBACM,MAAM,kBACV,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,EACpD,QAAQ,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,GAC/C,CACH,GACG,EACN,eAAK,SAAS,EAAC,kBAAkB,EAAC,EAAE,EAAE,MAAM,aAC1C,eAAM,SAAS,EAAC,oBAAoB,YAAE,KAAK,EAAE,OAAO,IAAI,QAAQ,CAAC,SAAS,CAAC,GAAQ,EAClF,KAAK,EAAE,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,CAC3B,eAAM,SAAS,EAAC,kBAAkB,YAAE,SAAS,CAAC,QAAQ,KAAK,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,UAAU,GAAQ,CAClG,CAAC,CAAC,CAAC,CACF,eAAM,SAAS,EAAC,kBAAkB,YAAE,KAAK,CAAC,IAAI,GAAQ,CACvD,IACG,IACF,CACP,CAAA;AACH,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,EAC5B,UAAU,EACV,MAAM,EACN,MAAM,EACN,QAAQ,EACR,QAAQ,GAAG,MAAM,EACE,EAAqB,EAAE,CAAC,CAC3C,cAAK,SAAS,EAAC,aAAa,YACzB,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAC7B,KAAC,KAAK,IAEJ,SAAS,EAAE,SAAS,EACpB,KAAK,EAAE,OAAO,CAAC,MAAM,EAAE,SAAS,CAAC,IAAI,CAAC,EACtC,KAAK,EAAE,OAAO,CAAC,MAAM,EAAE,SAAS,CAAC,IAAI,CAAC,EACtC,EAAE,EAAE,GAAG,QAAQ,IAAI,SAAS,CAAC,IAAI,EAAE,EACnC,QAAQ,EAAE,QAAQ,IALb,SAAS,CAAC,IAAI,CAMnB,CACH,CAAC,GACE,CACP,CAAA"}

package/dist/resolve.d.ts

@@ -0,0 +1,11 @@
+/**
+ * The wallet's own unspent outputs, in the form the verifier's derivation takes
+ * them. The engine is handed the value of every input the body spends because
+ * it never looks one up (invariant 1) — this is where the client, which does
+ * know, says so.
+ */
+import type { ResolvedInput } from "@cardano-slips/verifier";
+import type { UTxO } from "@evolution-sdk/evolution";
+export declare const asResolvedInput: (utxo: UTxO.UTxO) => ResolvedInput;
+export declare const asResolvedInputs: (utxos: ReadonlyArray<UTxO.UTxO>) => ReadonlyArray<ResolvedInput>;
+//# sourceMappingURL=resolve.d.ts.map

package/dist/resolve.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"resolve.d.ts","sourceRoot":"","sources":["../src/resolve.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,OAAO,KAAK,EAAc,aAAa,EAAE,MAAM,yBAAyB,CAAA;AAUxE,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,0BAA0B,CAAA;AAgBpD,eAAO,MAAM,eAAe,GAAI,MAAM,IAAI,CAAC,IAAI,KAAG,aAIhD,CAAA;AAEF,eAAO,MAAM,gBAAgB,GAAI,OAAO,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,KAAG,aAAa,CAAC,aAAa,CAClE,CAAA"}

package/dist/resolve.js

@@ -0,0 +1,21 @@
+import { Address, AssetName, Assets, MultiAsset as Multi, PolicyId, Schema, TransactionHash } from "@evolution-sdk/evolution";
+const addressBytes = Schema.encodeSync(Address.FromBytes);
+const multiAssetOf = (assets) => {
+    const held = Assets.getMultiAsset(assets);
+    if (held === undefined)
+        return [];
+    return Multi.getPolicyIds(held).map((policyId) => ({
+        policyId: PolicyId.toBytes(policyId),
+        assets: Multi.getAssetsByPolicy(held, policyId).map(([name, quantity]) => ({
+            name: AssetName.toBytes(name),
+            quantity
+        }))
+    }));
+};
+export const asResolvedInput = (utxo) => ({
+    input: { transactionId: TransactionHash.toBytes(utxo.transactionId), index: utxo.index },
+    address: addressBytes(utxo.address),
+    value: { coin: Assets.lovelaceOf(utxo.assets), assets: multiAssetOf(utxo.assets) }
+});
+export const asResolvedInputs = (utxos) => utxos.map(asResolvedInput);
+//# sourceMappingURL=resolve.js.map

package/dist/resolve.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"resolve.js","sourceRoot":"","sources":["../src/resolve.ts"],"names":[],"mappings":"AAOA,OAAO,EACL,OAAO,EACP,SAAS,EACT,MAAM,EACN,UAAU,IAAI,KAAK,EACnB,QAAQ,EACR,MAAM,EACN,eAAe,EAChB,MAAM,0BAA0B,CAAA;AAGjC,MAAM,YAAY,GAAG,MAAM,CAAC,UAAU,CAAC,OAAO,CAAC,SAAS,CAAC,CAAA;AAEzD,MAAM,YAAY,GAAG,CAAC,MAAqB,EAAc,EAAE;IACzD,MAAM,IAAI,GAAG,MAAM,CAAC,aAAa,CAAC,MAAM,CAAC,CAAA;IACzC,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,EAAE,CAAA;IACjC,OAAO,KAAK,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;QACjD,QAAQ,EAAE,QAAQ,CAAC,OAAO,CAAC,QAAQ,CAAC;QACpC,MAAM,EAAE,KAAK,CAAC,iBAAiB,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,QAAQ,CAAC,EAAE,EAAE,CAAC,CAAC;YACzE,IAAI,EAAE,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC;YAC7B,QAAQ;SACT,CAAC,CAAC;KACJ,CAAC,CAAC,CAAA;AACL,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,IAAe,EAAiB,EAAE,CAAC,CAAC;IAClE,KAAK,EAAE,EAAE,aAAa,EAAE,eAAe,CAAC,OAAO,CAAC,IAAI,CAAC,aAAa,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE;IACxF,OAAO,EAAE,YAAY,CAAC,IAAI,CAAC,OAAO,CAAC;IACnC,KAAK,EAAE,EAAE,IAAI,EAAE,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE;CACnF,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,KAA+B,EAAgC,EAAE,CAChG,KAAK,CAAC,GAAG,CAAC,eAAe,CAAC,CAAA"}

package/dist/sign-error.d.ts

@@ -0,0 +1,62 @@
+/**
+ * Why a transaction was not signed, or not submitted. One error, a closed set
+ * of refusals, because the client renders a state per refusal and a state
+ * nothing can produce is a screen nobody sees.
+ */
+import { type ClientErrorCode } from "@cardano-slips/core";
+import { type Cip30ApiError } from "./cip30.js";
+export type SignRefusal = 
+/** The bytes we hold are not a transaction these bytes can be read as. */
+"UnreadableTransaction"
+/** This is not the body the effects were derived from, so nothing may be signed into it. */
+ | "WrongBody"
+/** The person said no in the wallet. Not a fault. */
+ | "Declined"
+/** The wallet tried to sign and could not, or rejected for a reason of its own. */
+ | "SignFailed"
+/** What came back is not a witness set — a whole transaction included. */
+ | "UnreadableWitnesses"
+/** The set carries script or datum material the body was never judged with. */
+ | "UnexpectedWitnessMaterial"
+/** The set carries no signature, so assembling it would leave the transaction unsigned. */
+ | "NoWitnesses"
+/** Submission failed because an input was spent between building and signing. */
+ | "InputsSpent"
+/** The validity interval passed before the transaction reached the chain. */
+ | "IntervalPassed"
+/** Submission failed for any other reason. */
+ | "SubmitFailed"
+/** The wallet submitted, and named a transaction other than the one we assembled. */
+ | "WrongTransactionId";
+/**
+ * Exhaustive by type: adding a refusal above without listing it here fails to
+ * compile, and `test/sign.test.ts` fails if any of them stops being reachable.
+ */
+export declare const signRefusals: Readonly<Record<SignRefusal, true>>;
+/**
+ * Only the passed interval has a spec code, because only it is a failure of the
+ * exchange the spec describes — the intent outlived its own `validUntil`. The
+ * rest are states of a wallet or of the chain, and a protocol code on one of
+ * those would say the endpoint answered when nothing was ever asked of it
+ * (`wallet-error.ts` draws the same line).
+ */
+export declare const slipErrorCodeFor: (refusal: SignRefusal) => ClientErrorCode | undefined;
+declare const SigningError_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: "SigningError";
+} & Readonly<A>;
+/** `cip30` is the wallet's own `{ code, info }`, kept so a decline stays distinguishable from a crash. */
+export declare class SigningError extends SigningError_base<{
+    readonly refusal: SignRefusal;
+    readonly detail: string;
+    readonly cip30?: Cip30ApiError;
+    readonly cause?: unknown;
+}> {
+    get message(): string;
+    get code(): ClientErrorCode | undefined;
+}
+export declare const refuse: (refusal: SignRefusal, detail: string, extra?: {
+    readonly cip30?: Cip30ApiError;
+    readonly cause?: unknown;
+}) => SigningError;
+export {};
+//# sourceMappingURL=sign-error.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"sign-error.d.ts","sourceRoot":"","sources":["../src/sign-error.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,OAAO,EAAE,KAAK,eAAe,EAAE,MAAM,qBAAqB,CAAA;AAG1D,OAAO,EAAE,KAAK,aAAa,EAAE,MAAM,YAAY,CAAA;AAE/C,MAAM,MAAM,WAAW;AACrB,0EAA0E;AACxE,uBAAuB;AACzB,4FAA4F;GAC1F,WAAW;AACb,qDAAqD;GACnD,UAAU;AACZ,mFAAmF;GACjF,YAAY;AACd,0EAA0E;GACxE,qBAAqB;AACvB,+EAA+E;GAC7E,2BAA2B;AAC7B,2FAA2F;GACzF,aAAa;AACf,iFAAiF;GAC/E,aAAa;AACf,6EAA6E;GAC3E,gBAAgB;AAClB,8CAA8C;GAC5C,cAAc;AAChB,qFAAqF;GACnF,oBAAoB,CAAA;AAExB;;;GAGG;AACH,eAAO,MAAM,YAAY,EAAE,QAAQ,CAAC,MAAM,CAAC,WAAW,EAAE,IAAI,CAAC,CAY5D,CAAA;AAED;;;;;;GAMG;AACH,eAAO,MAAM,gBAAgB,GAAI,SAAS,WAAW,KAAG,eAAe,GAAG,SACb,CAAA;;;;AAE7D,0GAA0G;AAC1G,qBAAa,YAAa,SAAQ,kBAAiC;IACjE,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAA;IAC7B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,KAAK,CAAC,EAAE,aAAa,CAAA;IAC9B,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,WAAW,EACpB,QAAQ,MAAM,EACd,QAAO;IAAE,QAAQ,CAAC,KAAK,CAAC,EAAE,aAAa,CAAC;IAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,OAAO,CAAA;CAAO,KACvE,YAMC,CAAA"}

package/dist/sign-error.js

@@ -0,0 +1,42 @@
+import { Data } from "effect";
+/**
+ * Exhaustive by type: adding a refusal above without listing it here fails to
+ * compile, and `test/sign.test.ts` fails if any of them stops being reachable.
+ */
+export const signRefusals = {
+    UnreadableTransaction: true,
+    WrongBody: true,
+    Declined: true,
+    SignFailed: true,
+    UnreadableWitnesses: true,
+    UnexpectedWitnessMaterial: true,
+    NoWitnesses: true,
+    InputsSpent: true,
+    IntervalPassed: true,
+    SubmitFailed: true,
+    WrongTransactionId: true
+};
+/**
+ * Only the passed interval has a spec code, because only it is a failure of the
+ * exchange the spec describes — the intent outlived its own `validUntil`. The
+ * rest are states of a wallet or of the chain, and a protocol code on one of
+ * those would say the endpoint answered when nothing was ever asked of it
+ * (`wallet-error.ts` draws the same line).
+ */
+export const slipErrorCodeFor = (refusal) => refusal === "IntervalPassed" ? "INTENT_EXPIRED" : undefined;
+/** `cip30` is the wallet's own `{ code, info }`, kept so a decline stays distinguishable from a crash. */
+export class SigningError extends Data.TaggedError("SigningError") {
+    get message() {
+        return this.detail;
+    }
+    get code() {
+        return slipErrorCodeFor(this.refusal);
+    }
+}
+export const refuse = (refusal, detail, extra = {}) => new SigningError({
+    refusal,
+    detail,
+    ...(extra.cip30 === undefined ? {} : { cip30: extra.cip30 }),
+    ...(extra.cause === undefined ? {} : { cause: extra.cause })
+});
+//# sourceMappingURL=sign-error.js.map

package/dist/sign-error.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"sign-error.js","sourceRoot":"","sources":["../src/sign-error.ts"],"names":[],"mappings":"AAMA,OAAO,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAA;AA4B7B;;;GAGG;AACH,MAAM,CAAC,MAAM,YAAY,GAAwC;IAC/D,qBAAqB,EAAE,IAAI;IAC3B,SAAS,EAAE,IAAI;IACf,QAAQ,EAAE,IAAI;IACd,UAAU,EAAE,IAAI;IAChB,mBAAmB,EAAE,IAAI;IACzB,yBAAyB,EAAE,IAAI;IAC/B,WAAW,EAAE,IAAI;IACjB,WAAW,EAAE,IAAI;IACjB,cAAc,EAAE,IAAI;IACpB,YAAY,EAAE,IAAI;IAClB,kBAAkB,EAAE,IAAI;CACzB,CAAA;AAED;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,OAAoB,EAA+B,EAAE,CACpF,OAAO,KAAK,gBAAgB,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,SAAS,CAAA;AAE7D,0GAA0G;AAC1G,MAAM,OAAO,YAAa,SAAQ,IAAI,CAAC,WAAW,CAAC,cAAc,CAK/D;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,OAAoB,EACpB,MAAc,EACd,QAAsE,EAAE,EAC1D,EAAE,CAChB,IAAI,YAAY,CAAC;IACf,OAAO;IACP,MAAM;IACN,GAAG,CAAC,KAAK,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,CAAC;IAC5D,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/sign.d.ts

@@ -0,0 +1,38 @@
+/**
+ * `signTx` → witness assembly → `submitTx`. CIP-30 returns a **witness set**,
+ * never a signed transaction (invariant 4), so the body a person was shown and
+ * the body that reaches the chain are joined here or nowhere.
+ */
+import { Effect } from "effect";
+import { type CborHex, type Cip30Api } from "./cip30.js";
+import { type SigningError } from "./sign-error.js";
+export type SignRequest = {
+    readonly api: Cip30Api;
+    /** The complete unsigned transaction. */
+    readonly transaction: CborHex;
+    /**
+     * The id of the body the effects were derived from, from `transactionIdOf`.
+     * Required, not derived here: a signature is bound to the body a person was
+     * shown, and a function that recomputed the id from the bytes in front of it
+     * would bind it to whatever it was handed.
+     */
+    readonly transactionId: string;
+};
+export type SignedTransaction = {
+    /** The body with the witnesses in it: what `submitTx` takes. */
+    readonly cbor: CborHex;
+    /** Unchanged by signing, because witnesses live outside the body. */
+    readonly transactionId: string;
+};
+/**
+ * Signs, or says why not. Nothing is asked of the wallet until the transaction
+ * is known to be the one the effects were derived from.
+ */
+export declare const signTransaction: ({ api, transaction, transactionId }: SignRequest) => Effect.Effect<SignedTransaction, SigningError>;
+/**
+ * Submits, and holds the wallet to the transaction it was given: an id other
+ * than the one we assembled is a receipt for something else, and showing it
+ * would tell a person their transaction is on the chain when another one is.
+ */
+export declare const submitTransaction: (api: Cip30Api, signed: SignedTransaction) => Effect.Effect<string, SigningError>;
+//# sourceMappingURL=sign.d.ts.map

package/dist/sign.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"sign.d.ts","sourceRoot":"","sources":["../src/sign.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAE/B,OAAO,EAAE,KAAK,OAAO,EAAE,KAAK,QAAQ,EAAwC,MAAM,YAAY,CAAA;AAC9F,OAAO,EAAU,KAAK,YAAY,EAAE,MAAM,iBAAiB,CAAA;AAG3D,MAAM,MAAM,WAAW,GAAG;IACxB,QAAQ,CAAC,GAAG,EAAE,QAAQ,CAAA;IACtB,yCAAyC;IACzC,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAA;IAC7B;;;;;OAKG;IACH,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAA;CAC/B,CAAA;AAED,MAAM,MAAM,iBAAiB,GAAG;IAC9B,gEAAgE;IAChE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAA;IACtB,qEAAqE;IACrE,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAA;CAC/B,CAAA;AASD;;;GAGG;AACH,eAAO,MAAM,eAAe,GAAI,qCAI7B,WAAW,KAAG,MAAM,CAAC,MAAM,CAAC,iBAAiB,EAAE,YAAY,CAwB1D,CAAA;AAsBJ;;;;GAIG;AACH,eAAO,MAAM,iBAAiB,GAAI,KAAK,QAAQ,EAAE,QAAQ,iBAAiB,KAAG,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,YAAY,CAoB3G,CAAA"}

package/dist/sign.js

@@ -0,0 +1,79 @@
+/**
+ * `signTx` → witness assembly → `submitTx`. CIP-30 returns a **witness set**,
+ * never a signed transaction (invariant 4), so the body a person was shown and
+ * the body that reaches the chain are joined here or nowhere.
+ */
+import { Effect } from "effect";
+import { readApiError, REFUSED, USER_DECLINED } from "./cip30.js";
+import { refuse } from "./sign-error.js";
+import { assembleWitnesses, requireSameBody } from "./witness.js";
+/** What the wallet said, kept whole so a message names its own cause. */
+const said = (cause) => {
+    const error = readApiError(cause);
+    if (error === undefined)
+        return String(cause);
+    return error.info === "" ? `code ${error.code}` : error.info;
+};
+/**
+ * Signs, or says why not. Nothing is asked of the wallet until the transaction
+ * is known to be the one the effects were derived from.
+ */
+export const signTransaction = ({ api, transaction, transactionId }) => Effect.gen(function* () {
+    yield* requireSameBody(transaction, transactionId);
+    const witnesses = yield* Effect.tryPromise({
+        // `partialSign: true`: the wallet signs what it holds keys for and leaves
+        // the rest, rather than refusing a transaction a co-signer completes.
+        try: () => api.signTx(transaction, true),
+        catch: (cause) => {
+            const error = readApiError(cause);
+            // `-3` is `APIError`'s refusal, which wallets send from `signTx` in
+            // practice even though CIP-30 numbers a decline `2` here.
+            if (error?.code === USER_DECLINED || error?.code === REFUSED) {
+                return refuse("Declined", "The signature was declined in the wallet.", { cip30: error, cause });
+            }
+            return refuse("SignFailed", `The wallet could not sign this transaction: ${said(cause)}`, {
+                ...(error === undefined ? {} : { cip30: error }),
+                cause
+            });
+        }
+    });
+    const cbor = yield* assembleWitnesses(transaction, witnesses, transactionId);
+    return { cbor, transactionId };
+});
+/** The ledger's own name for an input that is no longer there — what the rebuild path watches for. */
+const spentInputs = /BadInputsUTxO/i;
+/** The ledger's name for a transaction that arrived outside its validity interval. */
+const outsideInterval = /OutsideValidityInterval/i;
+const submissionFailure = (cause) => {
+    const error = readApiError(cause);
+    const detail = said(cause);
+    const extra = { ...(error === undefined ? {} : { cip30: error }), cause };
+    if (spentInputs.test(detail)) {
+        return refuse("InputsSpent", "The wallet's funds moved before this transaction reached the chain.", extra);
+    }
+    if (outsideInterval.test(detail)) {
+        return refuse("IntervalPassed", "This transaction expired before it reached the chain.", extra);
+    }
+    return refuse("SubmitFailed", `This transaction was not accepted: ${detail}`, extra);
+};
+/**
+ * Submits, and holds the wallet to the transaction it was given: an id other
+ * than the one we assembled is a receipt for something else, and showing it
+ * would tell a person their transaction is on the chain when another one is.
+ */
+export const submitTransaction = (api, signed) => Effect.gen(function* () {
+    const returned = yield* Effect.tryPromise({
+        try: () => api.submitTx(signed.cbor),
+        catch: submissionFailure
+    });
+    // Typed to answer with the id and under no obligation to: reading a method
+    // off whatever it did answer would reach a person as a stack trace.
+    if (typeof returned !== "string") {
+        return yield* Effect.fail(refuse("WrongTransactionId", "The wallet did not name the transaction it submitted."));
+    }
+    if (returned.toLowerCase() !== signed.transactionId.toLowerCase()) {
+        return yield* Effect.fail(refuse("WrongTransactionId", "The wallet submitted a different transaction from the one it was given."));
+    }
+    return signed.transactionId;
+});
+//# sourceMappingURL=sign.js.map

package/dist/sign.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"sign.js","sourceRoot":"","sources":["../src/sign.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAE/B,OAAO,EAA+B,YAAY,EAAE,OAAO,EAAE,aAAa,EAAE,MAAM,YAAY,CAAA;AAC9F,OAAO,EAAE,MAAM,EAAqB,MAAM,iBAAiB,CAAA;AAC3D,OAAO,EAAE,iBAAiB,EAAE,eAAe,EAAE,MAAM,cAAc,CAAA;AAsBjE,yEAAyE;AACzE,MAAM,IAAI,GAAG,CAAC,KAAc,EAAU,EAAE;IACtC,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,CAAC,CAAA;IACjC,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,MAAM,CAAC,KAAK,CAAC,CAAA;IAC7C,OAAO,KAAK,CAAC,IAAI,KAAK,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAA;AAC9D,CAAC,CAAA;AAED;;;GAGG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,EAC9B,GAAG,EACH,WAAW,EACX,aAAa,EACD,EAAkD,EAAE,CAChE,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,KAAK,CAAC,CAAC,eAAe,CAAC,WAAW,EAAE,aAAa,CAAC,CAAA;IAElD,MAAM,SAAS,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC;QACzC,0EAA0E;QAC1E,sEAAsE;QACtE,GAAG,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,WAAW,EAAE,IAAI,CAAC;QACxC,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE;YACf,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,CAAC,CAAA;YACjC,oEAAoE;YACpE,0DAA0D;YAC1D,IAAI,KAAK,EAAE,IAAI,KAAK,aAAa,IAAI,KAAK,EAAE,IAAI,KAAK,OAAO,EAAE,CAAC;gBAC7D,OAAO,MAAM,CAAC,UAAU,EAAE,2CAA2C,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAA;YACjG,CAAC;YACD,OAAO,MAAM,CAAC,YAAY,EAAE,+CAA+C,IAAI,CAAC,KAAK,CAAC,EAAE,EAAE;gBACxF,GAAG,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;gBAChD,KAAK;aACN,CAAC,CAAA;QACJ,CAAC;KACF,CAAC,CAAA;IAEF,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,iBAAiB,CAAC,WAAW,EAAE,SAAS,EAAE,aAAa,CAAC,CAAA;IAC5E,OAAO,EAAE,IAAI,EAAE,aAAa,EAAE,CAAA;AAChC,CAAC,CAAC,CAAA;AAEJ,sGAAsG;AACtG,MAAM,WAAW,GAAG,gBAAgB,CAAA;AAEpC,sFAAsF;AACtF,MAAM,eAAe,GAAG,0BAA0B,CAAA;AAElD,MAAM,iBAAiB,GAAG,CAAC,KAAc,EAAgB,EAAE;IACzD,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,CAAC,CAAA;IACjC,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,CAAA;IAC1B,MAAM,KAAK,GAAG,EAAE,GAAG,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,CAAA;IAEzE,IAAI,WAAW,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;QAC7B,OAAO,MAAM,CAAC,aAAa,EAAE,qEAAqE,EAAE,KAAK,CAAC,CAAA;IAC5G,CAAC;IACD,IAAI,eAAe,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;QACjC,OAAO,MAAM,CAAC,gBAAgB,EAAE,uDAAuD,EAAE,KAAK,CAAC,CAAA;IACjG,CAAC;IACD,OAAO,MAAM,CAAC,cAAc,EAAE,sCAAsC,MAAM,EAAE,EAAE,KAAK,CAAC,CAAA;AACtF,CAAC,CAAA;AAED;;;;GAIG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,GAAa,EAAE,MAAyB,EAAuC,EAAE,CACjH,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,CAAC,MAAM,CAAC,IAAI,CAAC;QACpC,KAAK,EAAE,iBAAiB;KACzB,CAAC,CAAA;IAEF,2EAA2E;IAC3E,oEAAoE;IACpE,IAAI,OAAO,QAAQ,KAAK,QAAQ,EAAE,CAAC;QACjC,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,oBAAoB,EAAE,uDAAuD,CAAC,CAAC,CAAA;IAClH,CAAC;IAED,IAAI,QAAQ,CAAC,WAAW,EAAE,KAAK,MAAM,CAAC,aAAa,CAAC,WAAW,EAAE,EAAE,CAAC;QAClE,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACvB,MAAM,CAAC,oBAAoB,EAAE,yEAAyE,CAAC,CACxG,CAAA;IACH,CAAC;IAED,OAAO,MAAM,CAAC,aAAa,CAAA;AAC7B,CAAC,CAAC,CAAA"}

package/dist/slip-card.d.ts

@@ -0,0 +1,55 @@
+/**
+ * The rendered face of a Slip link — `2 · Action card` on the design sheet.
+ * It renders what the endpoint declared and collects what the endpoint asked
+ * for; it makes no claim about the transaction, which is the effects panel's
+ * job and is checked against the bytes rather than against this card.
+ *
+ * The Slip is assumed to have been decoded and passed `checkTemplates`: a
+ * response with a placeholder naming no parameter is one a client never renders.
+ */
+import { type LinkedAction, type ParameterValues, type Slip } from "@cardano-slips/core";
+import { type FieldError } from "./parameter-form.js";
+/** What the person chose, ready to `POST`. */
+export type SlipSubmission = {
+    readonly action: LinkedAction;
+    /** Only what this action asked for. A caller is handed no answer it did not request. */
+    readonly values: ParameterValues;
+    /** Absolute, with every placeholder percent-encoded, so no typed value can move the request. */
+    readonly href: string;
+};
+export type SlipCardProps = {
+    readonly slip: Slip;
+    /**
+     * Where the metadata came from. Every `href` resolves against it and its host
+     * is the publisher the card names, so the card cannot be rendered without it.
+     */
+    readonly discoveryUrl: string;
+    readonly onSubmit?: (submission: SlipSubmission) => void;
+    /**
+     * What the endpoint refused, by parameter name. The only failure that lands
+     * on a field instead of replacing the card, because there is something to fix.
+     * It is the caller's to clear, since only the caller knows which answer the
+     * endpoint was refusing.
+     */
+    readonly rejected?: Readonly<Record<string, FieldError>>;
+    /** True while a request is in flight: every button stops taking presses. */
+    readonly busy?: boolean;
+    /** Prefixes generated ids, so two cards on one page do not collide. */
+    readonly idPrefix?: string;
+};
+export declare const SlipCard: ({ slip, discoveryUrl, onSubmit, rejected, busy, idPrefix }: SlipCardProps) => React.JSX.Element;
+/** The same box and the same rhythm while the metadata is in flight, so nothing shifts when it lands. */
+export declare const SlipCardSkeleton: () => React.JSX.Element;
+export type SlipCardErrorProps = {
+    /** The endpoint that did not answer, in full: the person is being asked to judge it. */
+    readonly url: string;
+    readonly message: string;
+    readonly onRetry?: () => void;
+};
+/**
+ * The endpoint did not answer, or answered with something that is not a Slip.
+ * This replaces the card rather than landing on a field, because there is
+ * nothing here for the person to fix.
+ */
+export declare const SlipCardError: ({ url, message, onRetry }: SlipCardErrorProps) => React.JSX.Element;
+//# sourceMappingURL=slip-card.d.ts.map

package/dist/slip-card.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"slip-card.d.ts","sourceRoot":"","sources":["../src/slip-card.tsx"],"names":[],"mappings":"AAEA;;;;;;;;GAQG;AACH,OAAO,EAAyB,KAAK,YAAY,EAAE,KAAK,eAAe,EAAE,KAAK,IAAI,EAAE,MAAM,qBAAqB,CAAA;AAK/G,OAAO,EAAE,KAAK,UAAU,EAAiB,MAAM,qBAAqB,CAAA;AAEpE,8CAA8C;AAC9C,MAAM,MAAM,cAAc,GAAG;IAC3B,QAAQ,CAAC,MAAM,EAAE,YAAY,CAAA;IAC7B,wFAAwF;IACxF,QAAQ,CAAC,MAAM,EAAE,eAAe,CAAA;IAChC,gGAAgG;IAChG,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CACtB,CAAA;AAED,MAAM,MAAM,aAAa,GAAG;IAC1B,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAA;IACnB;;;OAGG;IACH,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAA;IAC7B,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC,UAAU,EAAE,cAAc,KAAK,IAAI,CAAA;IACxD;;;;;OAKG;IACH,QAAQ,CAAC,QAAQ,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC,CAAA;IACxD,4EAA4E;IAC5E,QAAQ,CAAC,IAAI,CAAC,EAAE,OAAO,CAAA;IACvB,uEAAuE;IACvE,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAA;CAC3B,CAAA;AAQD,eAAO,MAAM,QAAQ,GAAI,4DAOtB,aAAa,KAAG,KAAK,CAAC,GAAG,CAAC,OAiI5B,CAAA;AAED,yGAAyG;AACzG,eAAO,MAAM,gBAAgB,QAAO,KAAK,CAAC,GAAG,CAAC,OAgB7C,CAAA;AAED,MAAM,MAAM,kBAAkB,GAAG;IAC/B,wFAAwF;IACxF,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;IACpB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,IAAI,CAAA;CAC9B,CAAA;AAED;;;;GAIG;AACH,eAAO,MAAM,aAAa,GAAI,2BAA2B,kBAAkB,KAAG,KAAK,CAAC,GAAG,CAAC,OAoBvF,CAAA"}

package/dist/slip-card.js

@@ -0,0 +1,89 @@
+"use client";
+import { jsx as _jsx, jsxs as _jsxs } from "react/jsx-runtime";
+/**
+ * The rendered face of a Slip link — `2 · Action card` on the design sheet.
+ * It renders what the endpoint declared and collects what the endpoint asked
+ * for; it makes no claim about the transaction, which is the effects panel's
+ * job and is checked against the bytes rather than against this card.
+ *
+ * The Slip is assumed to have been decoded and passed `checkTemplates`: a
+ * response with a placeholder naming no parameter is one a client never renders.
+ */
+import { checkValues, fillHref } from "@cardano-slips/core";
+import { Either } from "effect";
+import { useState } from "react";
+import { actionLabel, actionsOf, blockedLabel, closureOf, monogramOf, originOf, valuesFor } from "./card.js";
+import { ParameterForm } from "./parameter-form.js";
+/** The line that is the whole point of the card, and the reason it is worth pressing. */
+const promise = "You'll see the exact effects, checked against this card, before you sign.";
+/** Nothing to choose between means the one action is already the open one. */
+const opened = (count) => (count === 1 ? 0 : undefined);
+export const SlipCard = ({ slip, discoveryUrl, onSubmit, rejected, busy = false, idPrefix = "slip" }) => {
+    const actions = actionsOf(slip, discoveryUrl);
+    const [values, setValues] = useState({});
+    // Errors stay quiet until a send is attempted: a card that opens red is
+    // scolding someone for not having typed yet.
+    const [attempted, setAttempted] = useState(false);
+    const [open, setOpen] = useState(opened(actions.length));
+    const [failedIcon, setFailedIcon] = useState(undefined);
+    // Resetting during render is React's own answer to a prop moving out from
+    // under the state derived from it. A second Slip must not open pre-filled
+    // with the first one's answers, and remembering to pass a `key` is not a
+    // thing to leave to whoever embeds this.
+    const [shown, setShown] = useState(discoveryUrl);
+    if (shown !== discoveryUrl) {
+        setShown(discoveryUrl);
+        setValues({});
+        setAttempted(false);
+        setOpen(opened(actions.length));
+        setFailedIcon(undefined);
+    }
+    const closed = slip.disabled === true;
+    const parameters = (open === undefined ? undefined : actions[open]?.parameters) ?? [];
+    const issues = checkValues(parameters, values);
+    const blocked = attempted && issues.length > 0;
+    // `??=` would be wrong here: a parameter may be called `constructor`, and a
+    // plain object already answers to that with something that is not nullish.
+    const errors = {};
+    const note = (name, error) => {
+        if (!Object.hasOwn(errors, name))
+            errors[name] = error;
+    };
+    if (attempted)
+        for (const issue of issues)
+            note(issue.name, { message: issue.message });
+    for (const [name, error] of Object.entries(rejected ?? {}))
+        note(name, error);
+    const press = (index) => {
+        const action = actions[index];
+        // The spec: an action without parameters is submitted as soon as it is
+        // chosen. One that has them opens its form instead of sending blind.
+        if (action.parameters !== undefined && index !== open) {
+            setOpen(index);
+            setAttempted(false);
+            return;
+        }
+        const target = fillHref(action, values, discoveryUrl);
+        if (Either.isLeft(target)) {
+            setAttempted(true);
+            return;
+        }
+        onSubmit?.({ action, values: valuesFor(action, values), href: target.right });
+    };
+    const monogram = monogramOf(discoveryUrl);
+    const origin = originOf(discoveryUrl);
+    return (_jsxs("div", { className: "slip-root slip-card", "data-closed": closed ? "" : undefined, "data-busy": busy ? "" : undefined, children: [_jsxs("div", { className: "slip-card__head", children: [_jsx("div", { className: "slip-card__icon", children: failedIcon !== slip.icon ? (_jsx("img", { className: "slip-card__image", src: slip.icon, alt: "", onError: () => setFailedIcon(slip.icon) })) : monogram === undefined ? (_jsx("span", { className: "slip-card__pattern" })) : (_jsx("span", { className: "slip-card__monogram", children: monogram })) }), _jsxs("div", { className: "slip-card__identity", children: [_jsx("h2", { className: "slip-card__title", children: slip.title }), origin === undefined ? undefined : _jsx("span", { className: "slip-card__origin", children: origin })] })] }), _jsx("p", { className: "slip-card__description", children: slip.description }), parameters.length === 0 ? undefined : (_jsx(ParameterForm, { parameters: parameters, values: values, errors: errors, idPrefix: idPrefix, onChange: (name, value) => setValues((held) => ({ ...held, [name]: value })) })), _jsx("div", { className: "slip-card__actions", children: actions.map((action, index) => {
+                    const closure = closureOf(slip, action);
+                    const stopped = index === (open ?? 0) && blocked;
+                    return (_jsx("button", { type: "button", className: "slip-card__action", "data-primary": index === (open ?? 0) ? "" : undefined, disabled: busy || closure !== undefined || stopped, onClick: () => press(index), children: stopped ? blockedLabel(issues) : actionLabel(slip, action, values) }, index));
+                }) }), closed ? (_jsx("p", { className: "slip-card__reason", children: slip.reason?.message })) : (actions.map((action, index) => action.disabled === true && action.reason !== undefined ? (_jsx("p", { className: "slip-card__reason", children: action.reason.message }, index)) : undefined)), closed ? undefined : _jsx("p", { className: "slip-card__note", children: promise })] }));
+};
+/** The same box and the same rhythm while the metadata is in flight, so nothing shifts when it lands. */
+export const SlipCardSkeleton = () => (_jsxs("div", { className: "slip-root slip-card slip-card--loading", role: "status", "aria-busy": "true", children: [_jsx("span", { className: "slip-hidden", children: "Loading this Slip" }), _jsxs("div", { className: "slip-card__head", children: [_jsx("span", { className: "slip-skeleton slip-skeleton--icon" }), _jsxs("div", { className: "slip-card__identity", children: [_jsx("span", { className: "slip-skeleton slip-skeleton--title" }), _jsx("span", { className: "slip-skeleton slip-skeleton--origin" })] })] }), _jsxs("div", { className: "slip-skeleton__lines", children: [_jsx("span", { className: "slip-skeleton slip-skeleton--line" }), _jsx("span", { className: "slip-skeleton slip-skeleton--line slip-skeleton--short" })] }), _jsx("span", { className: "slip-skeleton slip-skeleton--action" })] }));
+/**
+ * The endpoint did not answer, or answered with something that is not a Slip.
+ * This replaces the card rather than landing on a field, because there is
+ * nothing here for the person to fix.
+ */
+export const SlipCardError = ({ url, message, onRetry }) => (_jsxs("div", { className: "slip-root slip-card slip-card--failed", role: "alert", children: [_jsxs("div", { className: "slip-card__head", children: [_jsx("span", { className: "slip-card__alarm", "aria-hidden": "true", children: "!" }), _jsxs("div", { className: "slip-card__identity", children: [_jsx("h2", { className: "slip-card__title", children: "This Slip didn't load" }), _jsx("span", { className: "slip-card__origin", children: url })] })] }), _jsx("p", { className: "slip-card__description", children: message }), onRetry === undefined ? undefined : (_jsx("div", { className: "slip-card__actions", children: _jsx("button", { type: "button", className: "slip-card__action", onClick: onRetry, children: "Try again" }) }))] }));
+//# sourceMappingURL=slip-card.js.map

package/dist/slip-card.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"slip-card.js","sourceRoot":"","sources":["../src/slip-card.tsx"],"names":[],"mappings":"AAAA,YAAY,CAAA;;AAEZ;;;;;;;;GAQG;AACH,OAAO,EAAE,WAAW,EAAE,QAAQ,EAAsD,MAAM,qBAAqB,CAAA;AAC/G,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAC/B,OAAO,EAAE,QAAQ,EAAE,MAAM,OAAO,CAAA;AAEhC,OAAO,EAAE,WAAW,EAAE,SAAS,EAAE,YAAY,EAAE,SAAS,EAAE,UAAU,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,WAAW,CAAA;AAC5G,OAAO,EAAmB,aAAa,EAAE,MAAM,qBAAqB,CAAA;AAgCpE,yFAAyF;AACzF,MAAM,OAAO,GAAG,2EAA2E,CAAA;AAE3F,8EAA8E;AAC9E,MAAM,MAAM,GAAG,CAAC,KAAa,EAAsB,EAAE,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAA;AAEnF,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,EACvB,IAAI,EACJ,YAAY,EACZ,QAAQ,EACR,QAAQ,EACR,IAAI,GAAG,KAAK,EACZ,QAAQ,GAAG,MAAM,EACH,EAAqB,EAAE;IACrC,MAAM,OAAO,GAAG,SAAS,CAAC,IAAI,EAAE,YAAY,CAAC,CAAA;IAE7C,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,GAAG,QAAQ,CAAkB,EAAE,CAAC,CAAA;IACzD,wEAAwE;IACxE,6CAA6C;IAC7C,MAAM,CAAC,SAAS,EAAE,YAAY,CAAC,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAA;IACjD,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,GAAG,QAAQ,CAAqB,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAA;IAC5E,MAAM,CAAC,UAAU,EAAE,aAAa,CAAC,GAAG,QAAQ,CAAqB,SAAS,CAAC,CAAA;IAE3E,0EAA0E;IAC1E,0EAA0E;IAC1E,yEAAyE;IACzE,yCAAyC;IACzC,MAAM,CAAC,KAAK,EAAE,QAAQ,CAAC,GAAG,QAAQ,CAAC,YAAY,CAAC,CAAA;IAChD,IAAI,KAAK,KAAK,YAAY,EAAE,CAAC;QAC3B,QAAQ,CAAC,YAAY,CAAC,CAAA;QACtB,SAAS,CAAC,EAAE,CAAC,CAAA;QACb,YAAY,CAAC,KAAK,CAAC,CAAA;QACnB,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAA;QAC/B,aAAa,CAAC,SAAS,CAAC,CAAA;IAC1B,CAAC;IAED,MAAM,MAAM,GAAG,IAAI,CAAC,QAAQ,KAAK,IAAI,CAAA;IACrC,MAAM,UAAU,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,UAAU,CAAC,IAAI,EAAE,CAAA;IACrF,MAAM,MAAM,GAAG,WAAW,CAAC,UAAU,EAAE,MAAM,CAAC,CAAA;IAC9C,MAAM,OAAO,GAAG,SAAS,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,CAAA;IAE9C,4EAA4E;IAC5E,2EAA2E;IAC3E,MAAM,MAAM,GAA+B,EAAE,CAAA;IAC7C,MAAM,IAAI,GAAG,CAAC,IAAY,EAAE,KAAiB,EAAQ,EAAE;QACrD,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC;YAAE,MAAM,CAAC,IAAI,CAAC,GAAG,KAAK,CAAA;IACxD,CAAC,CAAA;IACD,IAAI,SAAS;QAAE,KAAK,MAAM,KAAK,IAAI,MAAM;YAAE,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC,CAAA;IACvF,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,QAAQ,IAAI,EAAE,CAAC;QAAE,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,CAAA;IAE7E,MAAM,KAAK,GAAG,CAAC,KAAa,EAAQ,EAAE;QACpC,MAAM,MAAM,GAAG,OAAO,CAAC,KAAK,CAAC,CAAA;QAE7B,uEAAuE;QACvE,qEAAqE;QACrE,IAAI,MAAM,CAAC,UAAU,KAAK,SAAS,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;YACtD,OAAO,CAAC,KAAK,CAAC,CAAA;YACd,YAAY,CAAC,KAAK,CAAC,CAAA;YACnB,OAAM;QACR,CAAC;QAED,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,EAAE,MAAM,EAAE,YAAY,CAAC,CAAA;QACrD,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;YAC1B,YAAY,CAAC,IAAI,CAAC,CAAA;YAClB,OAAM;QACR,CAAC;QACD,QAAQ,EAAE,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,KAAK,EAAE,CAAC,CAAA;IAC/E,CAAC,CAAA;IAED,MAAM,QAAQ,GAAG,UAAU,CAAC,YAAY,CAAC,CAAA;IACzC,MAAM,MAAM,GAAG,QAAQ,CAAC,YAAY,CAAC,CAAA;IAErC,OAAO,CACL,eAAK,SAAS,EAAC,qBAAqB,iBAAc,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,eAAa,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,aACzG,eAAK,SAAS,EAAC,iBAAiB,aAC9B,cAAK,SAAS,EAAC,iBAAiB,YAC7B,UAAU,KAAK,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAC1B,cAAK,SAAS,EAAC,kBAAkB,EAAC,GAAG,EAAE,IAAI,CAAC,IAAI,EAAE,GAAG,EAAC,EAAE,EAAC,OAAO,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,GAAI,CACrG,CAAC,CAAC,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,CAC3B,eAAM,SAAS,EAAC,oBAAoB,GAAG,CACxC,CAAC,CAAC,CAAC,CACF,eAAM,SAAS,EAAC,qBAAqB,YAAE,QAAQ,GAAQ,CACxD,GACG,EACN,eAAK,SAAS,EAAC,qBAAqB,aAClC,aAAI,SAAS,EAAC,kBAAkB,YAAE,IAAI,CAAC,KAAK,GAAM,EACjD,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,eAAM,SAAS,EAAC,mBAAmB,YAAE,MAAM,GAAQ,IACnF,IACF,EAGN,YAAG,SAAS,EAAC,wBAAwB,YAAE,IAAI,CAAC,WAAW,GAAK,EAE3D,UAAU,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CACrC,KAAC,aAAa,IACZ,UAAU,EAAE,UAAU,EACtB,MAAM,EAAE,MAAM,EACd,MAAM,EAAE,MAAM,EACd,QAAQ,EAAE,QAAQ,EAClB,QAAQ,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,GAC5E,CACH,EAED,cAAK,SAAS,EAAC,oBAAoB,YAChC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE;oBAC7B,MAAM,OAAO,GAAG,SAAS,CAAC,IAAI,EAAE,MAAM,CAAC,CAAA;oBACvC,MAAM,OAAO,GAAG,KAAK,KAAK,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,OAAO,CAAA;oBAChD,OAAO,CACL,iBAEE,IAAI,EAAC,QAAQ,EACb,SAAS,EAAC,mBAAmB,kBACf,KAAK,KAAK,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,EACpD,QAAQ,EAAE,IAAI,IAAI,OAAO,KAAK,SAAS,IAAI,OAAO,EAClD,OAAO,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,YAE1B,OAAO,CAAC,CAAC,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC,IAP9D,KAAK,CAQH,CACV,CAAA;gBACH,CAAC,CAAC,GACE,EAOL,MAAM,CAAC,CAAC,CAAC,CACR,YAAG,SAAS,EAAC,mBAAmB,YAAE,IAAI,CAAC,MAAM,EAAE,OAAO,GAAK,CAC5D,CAAC,CAAC,CAAC,CACF,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAC5B,MAAM,CAAC,QAAQ,KAAK,IAAI,IAAI,MAAM,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,CACxD,YAAG,SAAS,EAAC,mBAAmB,YAC7B,MAAM,CAAC,MAAM,CAAC,OAAO,IADc,KAAK,CAEvC,CACL,CAAC,CAAC,CAAC,SAAS,CACd,CACF,EAEA,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,YAAG,SAAS,EAAC,iBAAiB,YAAE,OAAO,GAAK,IAC9D,CACP,CAAA;AACH,CAAC,CAAA;AAED,yGAAyG;AACzG,MAAM,CAAC,MAAM,gBAAgB,GAAG,GAAsB,EAAE,CAAC,CACvD,eAAK,SAAS,EAAC,wCAAwC,EAAC,IAAI,EAAC,QAAQ,eAAW,MAAM,aACpF,eAAM,SAAS,EAAC,aAAa,kCAAyB,EACtD,eAAK,SAAS,EAAC,iBAAiB,aAC9B,eAAM,SAAS,EAAC,mCAAmC,GAAG,EACtD,eAAK,SAAS,EAAC,qBAAqB,aAClC,eAAM,SAAS,EAAC,oCAAoC,GAAG,EACvD,eAAM,SAAS,EAAC,qCAAqC,GAAG,IACpD,IACF,EACN,eAAK,SAAS,EAAC,sBAAsB,aACnC,eAAM,SAAS,EAAC,mCAAmC,GAAG,EACtD,eAAM,SAAS,EAAC,wDAAwD,GAAG,IACvE,EACN,eAAM,SAAS,EAAC,qCAAqC,GAAG,IACpD,CACP,CAAA;AASD;;;;GAIG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,EAAE,GAAG,EAAE,OAAO,EAAE,OAAO,EAAsB,EAAqB,EAAE,CAAC,CACjG,eAAK,SAAS,EAAC,uCAAuC,EAAC,IAAI,EAAC,OAAO,aACjE,eAAK,SAAS,EAAC,iBAAiB,aAC9B,eAAM,SAAS,EAAC,kBAAkB,iBAAa,MAAM,kBAE9C,EACP,eAAK,SAAS,EAAC,qBAAqB,aAClC,aAAI,SAAS,EAAC,kBAAkB,sCAA2B,EAC3D,eAAM,SAAS,EAAC,mBAAmB,YAAE,GAAG,GAAQ,IAC5C,IACF,EACN,YAAG,SAAS,EAAC,wBAAwB,YAAE,OAAO,GAAK,EAClD,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CACnC,cAAK,SAAS,EAAC,oBAAoB,YACjC,iBAAQ,IAAI,EAAC,QAAQ,EAAC,SAAS,EAAC,mBAAmB,EAAC,OAAO,EAAE,OAAO,0BAE3D,GACL,CACP,IACG,CACP,CAAA"}