@cardano-slips/flow 0.2.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/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"}

package/dist/tokens.css

@@ -10,7 +10,7 @@
  * already called `--ink`. Put `slip-root` on the element that wraps the Slip.
  *
  * There is no reset here and no rule that selects an element. Nothing sets a
- * font-family on anything — a component reads `var(--font-text)` — so a host
+ * font-family on anything — a component reads a `--type-*` role — so a host
  * page's own stack stays where it is until something of ours asks for a token.
  *
  * One theme. The sheet collapsed an earlier light/dark pair into a single
@@ -47,21 +47,26 @@
    * for and not about the ratio it happens to reach.
    */
   --accent-fill: #728ef3;
-  --accent-text: #2f4bc4; /* links */
-  --accent-action: #4361e8; /* button background */
-  --accent-hover: #2f4bc4;
+  --accent-text: #123cd3; /* links */
+  --accent-action: #123cd3; /* the outline and the label of a button */
+  --accent-hover: #0e2fa6;
   --accent-deep: #0c288d; /* headings */
-  --on-accent: #ffffff; /* anything drawn on --accent-action */
-  --focus: #4361e8;
+  --on-accent: #ffffff; /* anything drawn on a filled accent */
+  --focus: #123cd3;
+
+  /* The accent lightened for slate, where #123cd3 disappears into the ground. */
+  --accent-on-slate: #8fa9ff;
 
   /* Semantic, and rare. A page that colours everything says nothing. */
-  --pos: #1f7a5c; /* positive, refundable */
-  --warn: #8c5a12;
-  --bad: #b3261e;
-  --bad-tint: rgba(179, 38, 30, 0.06);
-  --bad-line: rgba(179, 38, 30, 0.24);
-  --warn-tint: rgba(233, 180, 76, 0.16);
-  --warn-line: rgba(233, 180, 76, 0.5);
+  --pos: #065708; /* value arriving */
+  --warn: #7a5200; /* held, taken, caution */
+  --bad: #d20a19; /* problem, blocked */
+  --bad-tint: rgba(210, 10, 25, 0.06);
+  --bad-line: rgba(210, 10, 25, 0.24);
+  --warn-tint: rgba(254, 206, 82, 0.22);
+  --warn-line: rgba(254, 206, 82, 0.85);
+  --warn-fill: #fece52; /* the warning as a fill, never as a word on a light ground */
+  --on-warn: #3a2600; /* words on the warning fill: the testnet bar */
 
   /* The alternating rows of the effects list, on and off. */
   --stripe-a: rgba(90, 110, 205, 0.16);
@@ -82,14 +87,19 @@
   --vault-border: rgba(255, 255, 255, 0.16);
   --vault-chip: rgba(168, 188, 255, 0.22);
   --vault-rule: rgba(168, 188, 255, 0.7);
-  --vault-pos: #5fd1a6;
-  --vault-warn: #e9b44c;
-  --vault-bad: #ffa39b;
-  --vault-bad-tint: rgba(255, 163, 155, 0.1);
-  --vault-bad-line: rgba(255, 163, 155, 0.45);
-  --vault-bad-chip: rgba(255, 163, 155, 0.18);
-  --vault-warn-tint: rgba(233, 180, 76, 0.12);
-  --vault-warn-line: rgba(233, 180, 76, 0.5);
+  --vault-pos: #6fcb72;
+  --vault-warn: #fece52;
+  /*
+   * #ff5247 on the sheet, lightened here: that value measures 4.42:1 on the
+   * vault and the sheet's own row calls it a pass. This is the colour the
+   * mismatch block is written in, so it clears AA or it does not ship.
+   */
+  --vault-bad: #ff5a50;
+  --vault-bad-tint: rgba(210, 10, 25, 0.16);
+  --vault-bad-line: rgba(255, 82, 71, 0.55);
+  --vault-bad-chip: rgba(210, 10, 25, 0.28);
+  --vault-warn-tint: rgba(254, 206, 82, 0.14);
+  --vault-warn-line: rgba(254, 206, 82, 0.55);
 
   /*
    * Code blocks in the docs and the Open Graph card. Both land on a ground we
@@ -101,21 +111,36 @@
   --dark-text: #ffffff;
   --dark-muted: #ccd6ff;
 
-  /* Type. Each stack ends in a generic family, so a missing webfont degrades. */
-  --font-display: Poppins, system-ui, sans-serif;
-  --font-text: Figtree, system-ui, sans-serif;
-  --font-mono: "IBM Plex Mono", ui-monospace, monospace;
+  /*
+   * One family, for everything. The sheet's earlier display/text/mono trio is
+   * gone: weight and size separate a heading from a label perfectly well, and
+   * three names for one face is three chances to drift apart. The stack ends in
+   * a generic family, so a missing webfont degrades rather than disappears.
+   */
+  --font: Poppins, system-ui, sans-serif;
 
   /* Whole roles, so half a role cannot be applied without the other half. */
-  --type-h1: 700 44px/48px var(--font-display);
+  --type-h1: 700 44px/48px var(--font);
   --type-h1-tracking: -0.01em;
-  --type-card-title: 700 18px/24px var(--font-display);
-  --type-numeral: 700 26px/32px var(--font-display); /* a figure is always Poppins 700 */
-  --type-body: 500 16px/24px var(--font-text);
-  --type-button: 500 14px/20px var(--font-text);
+  --type-card-title: 700 18px/24px var(--font);
+  --type-numeral: 700 26px/32px var(--font); /* a figure is always 700 */
+  --type-body: 400 16px/24px var(--font);
+  --type-button: 500 14px/20px var(--font);
   --type-button-tracking: 0.1px;
-  --type-label: 500 13px var(--font-text);
-  --type-mono: 400 12px/20px var(--font-mono); /* addresses, hashes, the tx block */
+  --type-label: 500 13px var(--font);
+  /* Addresses, hashes, error codes, the tx block — text meant for a machine. */
+  --type-technical: 400 12px/20px var(--font);
+
+  /* The transaction preview's own scale, from `4 · Anatomy` and `6 · Preview states`. */
+  --type-headline: 700 32px/38px var(--font); /* the one figure the person is deciding on */
+  --type-preview-title: 700 20px/26px var(--font);
+  --type-amount: 700 20px/26px var(--font); /* a row's figure, one size so the column scans */
+  --type-countdown: 700 16px/20px var(--font);
+  --type-row: 400 14px/20px var(--font);
+  --type-note: 400 13px/19px var(--font);
+  --type-kicker: 400 11px/16px var(--font);
+  --type-kicker-tracking: 0.12em;
+  --type-chip: 600 11px/20px var(--font);
 
   /* Spacing, on a 4px base. */
   --space-4: 4px;

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@cardano-slips/flow",
-  "version": "0.2.0",
+  "version": "0.3.0",
   "description": "The client side of Cardano Slips: CIP-30 orchestration, local balancing, and the React components that render a Slip and block a signature when its effects disagree",
   "keywords": [
     "cardano",
@@ -18,12 +18,16 @@
   },
   "license": "MIT",
   "type": "module",
-  "sideEffects": false,
+  "sideEffects": [
+    "*.css"
+  ],
   "exports": {
     ".": {
       "types": "./dist/index.d.ts",
       "default": "./dist/index.js"
     },
+    "./card.css": "./dist/card.css",
+    "./effects.css": "./dist/effects.css",
     "./tokens.css": "./dist/tokens.css",
     "./package.json": "./package.json"
   },
@@ -45,8 +49,8 @@
     "@evolution-sdk/evolution": "^0.5.13",
     "@noble/hashes": "^2.0.1",
     "effect": "^3.22.1",
-    "@cardano-slips/verifier": "^0.3.0",
-    "@cardano-slips/core": "^0.2.0"
+    "@cardano-slips/core": "^0.3.0",
+    "@cardano-slips/verifier": "^0.4.0"
   },
   "devDependencies": {
     "@testing-library/react": "^16.3.2",
@@ -58,7 +62,7 @@
     "@cardano-slips/example-slips": "^0.0.0"
   },
   "scripts": {
-    "build": "tsc -b tsconfig.build.json && mkdir -p dist && cp src/tokens.css dist/tokens.css",
+    "build": "tsc -b tsconfig.build.json && mkdir -p dist && cp src/*.css dist/",
     "typecheck": "tsc -b tsconfig.src.json && tsc -p tsconfig.test.json",
     "test": "vitest run",
     "lint": "eslint .",

package/src/address.ts

@@ -67,3 +67,56 @@ export const readWalletAddress = (hex: string): Either.Either<WalletAddress, str
     onRight: () => Either.right({ bech32, networkId: networkId as NetworkId })
   })
 }
+
+export type OwnAddress = {
+  /** Raw, as the verifier compares them against the body's addresses. */
+  readonly bytes: Uint8Array
+  /** Absent for a Byron address, whose header carries no network. */
+  readonly networkId?: NetworkId
+}
+
+const BYRON_TYPE = 8
+const FIRST_REWARD_TYPE = 14
+const LAST_REWARD_TYPE = 15
+
+/** A header byte and one or two 28-byte hashes. */
+const shelleyLengths: Readonly<Record<number, ReadonlyArray<number>>> = {
+  0: [57],
+  1: [57],
+  2: [57],
+  3: [57],
+  6: [29],
+  7: [29],
+  14: [29],
+  15: [29]
+}
+
+/**
+ * Reads an address the wallet calls its own: any payment address, a reward
+ * account, or a Byron address an old wallet still reports as used. Refusing
+ * the Byron one would stop the whole flow over an address nothing here spends.
+ */
+export const readOwnAddress = (hex: unknown): Either.Either<OwnAddress, string> => {
+  // Typed as hex by CIP-30, and sent by an extension under no obligation to.
+  const raw = typeof hex === "string" ? fromHex(hex.trim()) : undefined
+  if (raw === undefined) return refuse(`${String(hex).slice(0, 16)}… is not hex`)
+
+  const bytes = unwrapCbor(raw)
+  const header = bytes[0]
+  const type = header >> 4
+  if (type === BYRON_TYPE) return Either.right({ bytes })
+
+  const networkId = header & 0x0f
+  if (networkId !== 0 && networkId !== 1) return refuse(`the address header names network ${networkId}`)
+
+  const payment = type <= LAST_PAYMENT_TYPE
+  const reward = type >= FIRST_REWARD_TYPE && type <= LAST_REWARD_TYPE
+  if (!payment && !reward) return refuse(`address type ${type} is not one a wallet holds`)
+
+  // Pointer addresses (4, 5) end in variable-length integers, so only a floor applies.
+  const lengths = shelleyLengths[type]
+  const fits = lengths === undefined ? bytes.length > 29 : lengths.includes(bytes.length)
+  if (!fits) return refuse(`${bytes.length} bytes is the wrong length for address type ${type}`)
+
+  return Either.right({ bytes, networkId: networkId as NetworkId })
+}