@avow-finance/verifier 0.0.0-stage → 0.1.0

package/dist/disclosure.d.ts

@@ -0,0 +1,88 @@
+import { type Approval, type ChargeKind, type ChargeReport, type LockTiming, type RailToken, type ReleaseConsent } from '@avow-finance/spec';
+import { type Address, type Hex } from 'viem';
+export interface DisclosureSection {
+    heading: string;
+    lines: readonly string[];
+}
+/**
+ * What a person sees before the supplier signs. The signing call takes `id` back, so the
+ * integration has to fetch this disclosure and confirm it before anything is signed. It can't
+ * make a person read it, so an integration shows every section in full.
+ */
+export interface Disclosure {
+    title: string;
+    /** The EIP-712 digest the signature covers. */
+    digest: Hex;
+    sections: readonly DisclosureSection[];
+    /** Set when a release consent names a later report count than the commitment has. */
+    preauthorization: {
+        currentCount: number;
+        consentCount: number;
+    } | null;
+    /** The keccak256 of the canonical JSON of everything above. */
+    id: Hex;
+}
+/** The id of a disclosure, from everything it shows. */
+export declare function disclosureId(d: Omit<Disclosure, 'id'>): Hex;
+/** A unix time as an ISO 8601 time in UTC, to the second. */
+export declare function formatTime(t: bigint): string;
+/** A duration in the largest whole unit it fits. */
+export declare function formatDuration(seconds: bigint): string;
+/** A length of time in days, hours, minutes and seconds, leaving out the parts that are zero. */
+export declare function formatLength(seconds: bigint): string;
+/** Base units of a token as an amount of its currency, with the base units beside it. */
+export declare function formatAmount(units: bigint, token: RailToken): string;
+/** The token a supplier lists that a lock on its chain holds reserves in, or null when it lists none. */
+export declare function listedToken(tokens: readonly RailToken[], chainId: number, token: Address): RailToken | null;
+/** Base units of a lock's token as an amount of its currency, or as base units when it isn't listed. */
+export declare function formatLockAmount(units: bigint, token: RailToken | null): string;
+/** Basis points as a percentage. */
+export declare function formatShare(bps: number): string;
+/** How each kind of charge reads to a person, at the start of a sentence. */
+export declare const CHARGE_NAMES: Record<ChargeKind, string>;
+/** The disclosure for an acceptance, built from the approval the lock holds and the lock's timing. */
+export declare function acceptanceDisclosure(args: {
+    digest: Hex;
+    /** When the acceptance itself stops working. */
+    expiry: bigint;
+    approval: Approval;
+    approvalDigest: Hex;
+    lock: Address;
+    chainId: number;
+    account: Address;
+    token: RailToken;
+    timing: LockTiming;
+}): Disclosure;
+/** The disclosure for a report of a charge, built from what the lock holds for the commitment. */
+export declare function reportDisclosure(args: {
+    digest: Hex;
+    report: ChargeReport;
+    lock: Address;
+    chainId: number;
+    /** The business account the lock holds the reserve for. */
+    account: Address;
+    /** Where a charge pays, as the lock stores it. */
+    payee: Address;
+    /** The lock's token, or null when the supplier doesn't list it. */
+    token: RailToken | null;
+    chargeDeadline: bigint;
+    contestWindow: bigint;
+    day90SupplierShareBps: number;
+    timing: LockTiming;
+    /** The reports filed on the commitment before this one. */
+    reportCount: number;
+}): Disclosure;
+/** The disclosure for a release consent. */
+export declare function releaseConsentDisclosure(args: {
+    digest: Hex;
+    consent: ReleaseConsent;
+    lock: Address;
+    chainId: number;
+    account: Address;
+    held: bigint;
+    token: RailToken | null;
+    currentCount: number;
+    /** When the consent was prepared. */
+    now: bigint;
+}): Disclosure;
+//# sourceMappingURL=disclosure.d.ts.map

package/dist/disclosure.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"disclosure.d.ts","sourceRoot":"","sources":["../src/disclosure.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,KAAK,QAAQ,EAEb,KAAK,UAAU,EACf,KAAK,YAAY,EAEjB,KAAK,UAAU,EACf,KAAK,SAAS,EACd,KAAK,cAAc,EAEpB,MAAM,oBAAoB,CAAA;AAC3B,OAAO,EACL,KAAK,OAAO,EAGZ,KAAK,GAAG,EAIT,MAAM,MAAM,CAAA;AAEb,MAAM,WAAW,iBAAiB;IAChC,OAAO,EAAE,MAAM,CAAA;IACf,KAAK,EAAE,SAAS,MAAM,EAAE,CAAA;CACzB;AAED;;;;GAIG;AACH,MAAM,WAAW,UAAU;IACzB,KAAK,EAAE,MAAM,CAAA;IACb,+CAA+C;IAC/C,MAAM,EAAE,GAAG,CAAA;IACX,QAAQ,EAAE,SAAS,iBAAiB,EAAE,CAAA;IACtC,qFAAqF;IACrF,gBAAgB,EAAE;QAAE,YAAY,EAAE,MAAM,CAAC;QAAC,YAAY,EAAE,MAAM,CAAA;KAAE,GAAG,IAAI,CAAA;IACvE,+DAA+D;IAC/D,EAAE,EAAE,GAAG,CAAA;CACR;AAED,wDAAwD;AACxD,wBAAgB,YAAY,CAAC,CAAC,EAAE,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,GAAG,GAAG,CAW3D;AAMD,6DAA6D;AAC7D,wBAAgB,UAAU,CAAC,CAAC,EAAE,MAAM,GAAG,MAAM,CAE5C;AAED,oDAAoD;AACpD,wBAAgB,cAAc,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,CAatD;AAED,iGAAiG;AACjG,wBAAgB,YAAY,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,CAiBpD;AAED,yFAAyF;AACzF,wBAAgB,YAAY,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,SAAS,GAAG,MAAM,CAEpE;AAED,yGAAyG;AACzG,wBAAgB,WAAW,CACzB,MAAM,EAAE,SAAS,SAAS,EAAE,EAC5B,OAAO,EAAE,MAAM,EACf,KAAK,EAAE,OAAO,GACb,SAAS,GAAG,IAAI,CAElB;AAED,wGAAwG;AACxG,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,SAAS,GAAG,IAAI,GAAG,MAAM,CAE/E;AAED,oCAAoC;AACpC,wBAAgB,WAAW,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,CAE/C;AAED,6EAA6E;AAC7E,eAAO,MAAM,YAAY,EAAE,MAAM,CAAC,UAAU,EAAE,MAAM,CAGnD,CAAA;AAOD,sGAAsG;AACtG,wBAAgB,oBAAoB,CAAC,IAAI,EAAE;IACzC,MAAM,EAAE,GAAG,CAAA;IACX,gDAAgD;IAChD,MAAM,EAAE,MAAM,CAAA;IACd,QAAQ,EAAE,QAAQ,CAAA;IAClB,cAAc,EAAE,GAAG,CAAA;IACnB,IAAI,EAAE,OAAO,CAAA;IACb,OAAO,EAAE,MAAM,CAAA;IACf,OAAO,EAAE,OAAO,CAAA;IAChB,KAAK,EAAE,SAAS,CAAA;IAChB,MAAM,EAAE,UAAU,CAAA;CACnB,GAAG,UAAU,CAgDb;AAED,kGAAkG;AAClG,wBAAgB,gBAAgB,CAAC,IAAI,EAAE;IACrC,MAAM,EAAE,GAAG,CAAA;IACX,MAAM,EAAE,YAAY,CAAA;IACpB,IAAI,EAAE,OAAO,CAAA;IACb,OAAO,EAAE,MAAM,CAAA;IACf,2DAA2D;IAC3D,OAAO,EAAE,OAAO,CAAA;IAChB,kDAAkD;IAClD,KAAK,EAAE,OAAO,CAAA;IACd,mEAAmE;IACnE,KAAK,EAAE,SAAS,GAAG,IAAI,CAAA;IACvB,cAAc,EAAE,MAAM,CAAA;IACtB,aAAa,EAAE,MAAM,CAAA;IACrB,qBAAqB,EAAE,MAAM,CAAA;IAC7B,MAAM,EAAE,UAAU,CAAA;IAClB,2DAA2D;IAC3D,WAAW,EAAE,MAAM,CAAA;CACpB,GAAG,UAAU,CAwCb;AAED,4CAA4C;AAC5C,wBAAgB,wBAAwB,CAAC,IAAI,EAAE;IAC7C,MAAM,EAAE,GAAG,CAAA;IACX,OAAO,EAAE,cAAc,CAAA;IACvB,IAAI,EAAE,OAAO,CAAA;IACb,OAAO,EAAE,MAAM,CAAA;IACf,OAAO,EAAE,OAAO,CAAA;IAChB,IAAI,EAAE,MAAM,CAAA;IACZ,KAAK,EAAE,SAAS,GAAG,IAAI,CAAA;IACvB,YAAY,EAAE,MAAM,CAAA;IACpB,qCAAqC;IACrC,GAAG,EAAE,MAAM,CAAA;CACZ,GAAG,UAAU,CAuCb"}

package/dist/disclosure.js

@@ -0,0 +1,210 @@
+import { CHARGE_KINDS, canonicalJson, } from '@avow-finance/spec';
+import { formatUnits, getAddress, isAddressEqual, keccak256, stringToHex, } from 'viem';
+/** The id of a disclosure, from everything it shows. */
+export function disclosureId(d) {
+    return keccak256(stringToHex(canonicalJson({
+        title: d.title,
+        digest: d.digest,
+        sections: d.sections.map((s) => ({ heading: s.heading, lines: [...s.lines] })),
+        preauthorization: d.preauthorization,
+    })));
+}
+function seal(d) {
+    return { ...d, id: disclosureId(d) };
+}
+/** A unix time as an ISO 8601 time in UTC, to the second. */
+export function formatTime(t) {
+    return new Date(Number(t) * 1000).toISOString().replace('.000Z', 'Z');
+}
+/** A duration in the largest whole unit it fits. */
+export function formatDuration(seconds) {
+    const units = [
+        [86400n, 'day'],
+        [3600n, 'hour'],
+        [60n, 'minute'],
+    ];
+    for (const [size, name] of units) {
+        if (seconds >= size && seconds % size === 0n) {
+            const n = seconds / size;
+            return `${n} ${name}${n === 1n ? '' : 's'}`;
+        }
+    }
+    return `${seconds} second${seconds === 1n ? '' : 's'}`;
+}
+/** A length of time in days, hours, minutes and seconds, leaving out the parts that are zero. */
+export function formatLength(seconds) {
+    const units = [
+        [86400n, 'day'],
+        [3600n, 'hour'],
+        [60n, 'minute'],
+        [1n, 'second'],
+    ];
+    const parts = [];
+    let rest = seconds;
+    for (const [size, name] of units) {
+        const n = rest / size;
+        rest %= size;
+        if (n > 0n)
+            parts.push(`${n} ${name}${n === 1n ? '' : 's'}`);
+    }
+    const last = parts.pop();
+    if (last === undefined)
+        return '0 seconds';
+    return parts.length === 0 ? last : `${parts.join(', ')} and ${last}`;
+}
+/** Base units of a token as an amount of its currency, with the base units beside it. */
+export function formatAmount(units, token) {
+    return `${token.currency} ${formatUnits(units, token.decimals)} (${units} base units of ${getAddress(token.token)})`;
+}
+/** The token a supplier lists that a lock on its chain holds reserves in, or null when it lists none. */
+export function listedToken(tokens, chainId, token) {
+    return tokens.find((t) => t.chainId === chainId && isAddressEqual(t.token, token)) ?? null;
+}
+/** Base units of a lock's token as an amount of its currency, or as base units when it isn't listed. */
+export function formatLockAmount(units, token) {
+    return token ? formatAmount(units, token) : `${units} base units of the lock's token`;
+}
+/** Basis points as a percentage. */
+export function formatShare(bps) {
+    return `${Number((bps / 100).toFixed(2))}%`;
+}
+/** How each kind of charge reads to a person, at the start of a sentence. */
+export const CHARGE_NAMES = {
+    lateCancellation: 'A late cancellation',
+    noShow: 'A no-show',
+};
+const REASON_NAMES = {
+    kept: 'the commitment was kept',
+    supplierFailed: 'the supplier failed to provide the capacity',
+};
+/** The disclosure for an acceptance, built from the approval the lock holds and the lock's timing. */
+export function acceptanceDisclosure(args) {
+    const { approval: a, token, timing } = args;
+    const amount = (units) => formatAmount(units, token);
+    const charges = [...a.charges].sort((x, y) => CHARGE_KINDS[x.kind] - CHARGE_KINDS[y.kind]);
+    return seal({
+        title: 'Accept a reserve',
+        digest: args.digest,
+        preauthorization: null,
+        sections: [
+            {
+                heading: "What you're accepting",
+                lines: [
+                    `You accept the reserve for commitment ${a.commitmentId} on lock ${getAddress(args.lock)}, chain ${args.chainId}, held for business account ${getAddress(args.account)}.`,
+                    `Your acceptance binds you to every term of Avow's approval with digest ${args.approvalDigest}, which the lock stores.`,
+                ],
+            },
+            {
+                heading: 'Your exposure',
+                lines: [
+                    `The business reserved ${amount(a.amount)}. None of it reaches you unless a charge you report is confirmed and its contest window closes, or a ruling or the day-90 split pays it.`,
+                    ...charges.map((c) => `${CHARGE_NAMES[c.kind]} can charge up to ${amount(c.most)}, reported from ${formatTime(c.earliest)} and before ${formatTime(a.chargeDeadline)}.`),
+                    `Charges pay to ${getAddress(a.payee)}.`,
+                ],
+            },
+            {
+                heading: 'Deadlines',
+                lines: [
+                    `Free cancellation ends at ${formatTime(a.freeCancelBy)}. Until then the business can take the whole reserve back without your consent.`,
+                    `This acceptance stops working at ${formatTime(args.expiry)}, and the lock takes no acceptance from ${formatTime(a.acceptBy)}.`,
+                    `Report any charge before ${formatTime(a.chargeDeadline)}.`,
+                    `With no report, the reserve goes back to the business at ${formatTime(a.releaseDate)}.`,
+                ],
+            },
+            {
+                heading: 'Disputes',
+                lines: [
+                    `Avow confirms or refers each report within ${formatDuration(timing.confirmWindow)}, and a report it doesn't answer in time goes to a ruling.`,
+                    `The business can contest a confirmed charge for ${formatDuration(a.contestWindow)}, and a report Avow hasn't confirmed at any time. Avow can also pause a confirmed charge before its contest window closes. Each of these sends the charge to a ruling.`,
+                    'The commitment takes at most two reports, one at a time.',
+                    `A contested or referred charge is paused. Avow's ruling key can rule for ${formatDuration(timing.rulingKeyEnd)} after the pause, then the arbiter ${getAddress(a.arbiter)} can rule until ${formatDuration(timing.day90)} after it, and a ruling takes effect ${formatDuration(timing.rulingDelay)} after it's posted.`,
+                    `A confirmed charge still unruled ${formatDuration(timing.day90)} after the pause pays you ${formatShare(a.day90SupplierShareBps)} of it, and the rest goes back to the business. A charge Avow never confirmed goes back to the business in full.`,
+                ],
+            },
+        ],
+    });
+}
+/** The disclosure for a report of a charge, built from what the lock holds for the commitment. */
+export function reportDisclosure(args) {
+    const { report: r, timing } = args;
+    const amount = formatLockAmount(r.amount, args.token);
+    return seal({
+        title: 'Report a charge',
+        digest: args.digest,
+        preauthorization: null,
+        sections: [
+            {
+                heading: "What you're reporting",
+                lines: [
+                    `You report ${CHARGE_NAMES[r.kind].toLowerCase()} on commitment ${r.commitmentId} on lock ${getAddress(args.lock)}, chain ${args.chainId}, held for business account ${getAddress(args.account)}.`,
+                    `It charges ${amount}, paid to ${getAddress(args.payee)}.`,
+                    `It names the evidence with hash ${r.evidenceHash}, so keep what that hash covers for a ruling.`,
+                ],
+            },
+            {
+                heading: 'What happens next',
+                lines: [
+                    `Avow confirms or refers the report within ${formatDuration(timing.confirmWindow)} of the first report of its kind on this commitment, and a report it doesn't answer by then goes to a ruling.`,
+                    'Once Avow answers the report, or it goes to a ruling unanswered, the lock keeps only the charge and gives the rest of the reserve back to the business.',
+                    `A confirmed charge pays once its contest window of ${formatDuration(args.contestWindow)} closes, unless the business contests it or Avow pauses it first.`,
+                    `The business can contest a report Avow hasn't confirmed at any time. A contested, paused or referred charge waits for a ruling, and one still unruled ${formatDuration(timing.day90)} after its pause pays you ${formatShare(args.day90SupplierShareBps)} of it if Avow confirmed it and nothing if Avow didn't.`,
+                ],
+            },
+            {
+                heading: 'Reports',
+                lines: [
+                    `This is report ${args.reportCount + 1} of the two the commitment takes, and the lock takes no other report while it stands.`,
+                    "Your supplier account's root key can withdraw it before Avow answers it and before its deadline.",
+                ],
+            },
+            {
+                heading: 'Expiry',
+                lines: [
+                    `It stops working at ${formatTime(r.expiry)}, and the lock takes no report from ${formatTime(args.chargeDeadline)}.`,
+                ],
+            },
+        ],
+    });
+}
+/** The disclosure for a release consent. */
+export function releaseConsentDisclosure(args) {
+    const { consent: c } = args;
+    const held = formatLockAmount(args.held, args.token);
+    const later = c.reportCount > args.currentCount;
+    const until = formatTime(c.expiry);
+    return seal({
+        title: 'Consent to release a reserve',
+        digest: args.digest,
+        preauthorization: later
+            ? { currentCount: args.currentCount, consentCount: c.reportCount }
+            : null,
+        sections: [
+            {
+                heading: "What you're consenting to",
+                lines: [
+                    `This consent releases everything lock ${getAddress(args.lock)}, chain ${args.chainId}, holds for commitment ${c.commitmentId} back to the business account ${getAddress(args.account)}, ${held} now.`,
+                    'You give up any charge on the commitment, reported or not, including one Avow has confirmed.',
+                    `It records that ${REASON_NAMES[c.reason]}.`,
+                ],
+            },
+            {
+                heading: 'Report count',
+                lines: later
+                    ? [
+                        `It names report count ${c.reportCount}, and the commitment has ${args.currentCount}, so the lock refuses it now.`,
+                        `Once the commitment has ${c.reportCount} reports, anyone holding this consent can send it until ${until} and release the reserve, which gives up the charge in that report. That's preauthorization, so sign it only if you mean to give that charge up in advance.`,
+                    ]
+                    : [
+                        `It names report count ${c.reportCount}, the count the commitment has now. Anyone holding it can send it until ${until} and release the reserve, and it stops working if another report is filed first.`,
+                    ],
+            },
+            {
+                heading: 'Expiry',
+                lines: [
+                    `It stops working at ${until}, ${formatLength(c.expiry - args.now)} after it was prepared, or sooner once a ruling is posted or the commitment ends.`,
+                ],
+            },
+        ],
+    });
+}
+//# sourceMappingURL=disclosure.js.map

package/dist/disclosure.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"disclosure.js","sourceRoot":"","sources":["../src/disclosure.ts"],"names":[],"mappings":"AAAA,OAAO,EAEL,YAAY,EAGZ,aAAa,GAKd,MAAM,oBAAoB,CAAA;AAC3B,OAAO,EAEL,WAAW,EACX,UAAU,EAEV,cAAc,EACd,SAAS,EACT,WAAW,GACZ,MAAM,MAAM,CAAA;AAuBb,wDAAwD;AACxD,MAAM,UAAU,YAAY,CAAC,CAAyB;IACpD,OAAO,SAAS,CACd,WAAW,CACT,aAAa,CAAC;QACZ,KAAK,EAAE,CAAC,CAAC,KAAK;QACd,MAAM,EAAE,CAAC,CAAC,MAAM;QAChB,QAAQ,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QAC9E,gBAAgB,EAAE,CAAC,CAAC,gBAAgB;KACrC,CAAC,CACH,CACF,CAAA;AACH,CAAC;AAED,SAAS,IAAI,CAAC,CAAyB;IACrC,OAAO,EAAE,GAAG,CAAC,EAAE,EAAE,EAAE,YAAY,CAAC,CAAC,CAAC,EAAE,CAAA;AACtC,CAAC;AAED,6DAA6D;AAC7D,MAAM,UAAU,UAAU,CAAC,CAAS;IAClC,OAAO,IAAI,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,WAAW,EAAE,CAAC,OAAO,CAAC,OAAO,EAAE,GAAG,CAAC,CAAA;AACvE,CAAC;AAED,oDAAoD;AACpD,MAAM,UAAU,cAAc,CAAC,OAAe;IAC5C,MAAM,KAAK,GAAuB;QAChC,CAAC,MAAO,EAAE,KAAK,CAAC;QAChB,CAAC,KAAK,EAAE,MAAM,CAAC;QACf,CAAC,GAAG,EAAE,QAAQ,CAAC;KAChB,CAAA;IACD,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC;QACjC,IAAI,OAAO,IAAI,IAAI,IAAI,OAAO,GAAG,IAAI,KAAK,EAAE,EAAE,CAAC;YAC7C,MAAM,CAAC,GAAG,OAAO,GAAG,IAAI,CAAA;YACxB,OAAO,GAAG,CAAC,IAAI,IAAI,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAA;QAC7C,CAAC;IACH,CAAC;IACD,OAAO,GAAG,OAAO,UAAU,OAAO,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAA;AACxD,CAAC;AAED,iGAAiG;AACjG,MAAM,UAAU,YAAY,CAAC,OAAe;IAC1C,MAAM,KAAK,GAAuB;QAChC,CAAC,MAAO,EAAE,KAAK,CAAC;QAChB,CAAC,KAAK,EAAE,MAAM,CAAC;QACf,CAAC,GAAG,EAAE,QAAQ,CAAC;QACf,CAAC,EAAE,EAAE,QAAQ,CAAC;KACf,CAAA;IACD,MAAM,KAAK,GAAa,EAAE,CAAA;IAC1B,IAAI,IAAI,GAAG,OAAO,CAAA;IAClB,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC;QACjC,MAAM,CAAC,GAAG,IAAI,GAAG,IAAI,CAAA;QACrB,IAAI,IAAI,IAAI,CAAA;QACZ,IAAI,CAAC,GAAG,EAAE;YAAE,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,IAAI,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAA;IAC9D,CAAC;IACD,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,EAAE,CAAA;IACxB,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,WAAW,CAAA;IAC1C,OAAO,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,IAAI,EAAE,CAAA;AACtE,CAAC;AAED,yFAAyF;AACzF,MAAM,UAAU,YAAY,CAAC,KAAa,EAAE,KAAgB;IAC1D,OAAO,GAAG,KAAK,CAAC,QAAQ,IAAI,WAAW,CAAC,KAAK,EAAE,KAAK,CAAC,QAAQ,CAAC,KAAK,KAAK,kBAAkB,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAA;AACtH,CAAC;AAED,yGAAyG;AACzG,MAAM,UAAU,WAAW,CACzB,MAA4B,EAC5B,OAAe,EACf,KAAc;IAEd,OAAO,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,OAAO,IAAI,cAAc,CAAC,CAAC,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,IAAI,IAAI,CAAA;AAC5F,CAAC;AAED,wGAAwG;AACxG,MAAM,UAAU,gBAAgB,CAAC,KAAa,EAAE,KAAuB;IACrE,OAAO,KAAK,CAAC,CAAC,CAAC,YAAY,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,iCAAiC,CAAA;AACvF,CAAC;AAED,oCAAoC;AACpC,MAAM,UAAU,WAAW,CAAC,GAAW;IACrC,OAAO,GAAG,MAAM,CAAC,CAAC,GAAG,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG,CAAA;AAC7C,CAAC;AAED,6EAA6E;AAC7E,MAAM,CAAC,MAAM,YAAY,GAA+B;IACtD,gBAAgB,EAAE,qBAAqB;IACvC,MAAM,EAAE,WAAW;CACpB,CAAA;AAED,MAAM,YAAY,GAAkC;IAClD,IAAI,EAAE,yBAAyB;IAC/B,cAAc,EAAE,6CAA6C;CAC9D,CAAA;AAED,sGAAsG;AACtG,MAAM,UAAU,oBAAoB,CAAC,IAWpC;IACC,MAAM,EAAE,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,IAAI,CAAA;IAC3C,MAAM,MAAM,GAAG,CAAC,KAAa,EAAE,EAAE,CAAC,YAAY,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;IAC5D,MAAM,OAAO,GAAG,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAA;IAC1F,OAAO,IAAI,CAAC;QACV,KAAK,EAAE,kBAAkB;QACzB,MAAM,EAAE,IAAI,CAAC,MAAM;QACnB,gBAAgB,EAAE,IAAI;QACtB,QAAQ,EAAE;YACR;gBACE,OAAO,EAAE,uBAAuB;gBAChC,KAAK,EAAE;oBACL,yCAAyC,CAAC,CAAC,YAAY,YAAY,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,IAAI,CAAC,OAAO,+BAA+B,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG;oBACzK,0EAA0E,IAAI,CAAC,cAAc,0BAA0B;iBACxH;aACF;YACD;gBACE,OAAO,EAAE,eAAe;gBACxB,KAAK,EAAE;oBACL,yBAAyB,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,0IAA0I;oBACnL,GAAG,OAAO,CAAC,GAAG,CACZ,CAAC,CAAC,EAAE,EAAE,CACJ,GAAG,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,qBAAqB,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,mBAAmB,UAAU,CAAC,CAAC,CAAC,QAAQ,CAAC,eAAe,UAAU,CAAC,CAAC,CAAC,cAAc,CAAC,GAAG,CACpJ;oBACD,kBAAkB,UAAU,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG;iBACzC;aACF;YACD;gBACE,OAAO,EAAE,WAAW;gBACpB,KAAK,EAAE;oBACL,6BAA6B,UAAU,CAAC,CAAC,CAAC,YAAY,CAAC,iFAAiF;oBACxI,oCAAoC,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,2CAA2C,UAAU,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG;oBAC/H,4BAA4B,UAAU,CAAC,CAAC,CAAC,cAAc,CAAC,GAAG;oBAC3D,4DAA4D,UAAU,CAAC,CAAC,CAAC,WAAW,CAAC,GAAG;iBACzF;aACF;YACD;gBACE,OAAO,EAAE,UAAU;gBACnB,KAAK,EAAE;oBACL,8CAA8C,cAAc,CAAC,MAAM,CAAC,aAAa,CAAC,4DAA4D;oBAC9I,mDAAmD,cAAc,CAAC,CAAC,CAAC,aAAa,CAAC,wKAAwK;oBAC1P,0DAA0D;oBAC1D,4EAA4E,cAAc,CAAC,MAAM,CAAC,YAAY,CAAC,sCAAsC,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC,mBAAmB,cAAc,CAAC,MAAM,CAAC,KAAK,CAAC,wCAAwC,cAAc,CAAC,MAAM,CAAC,WAAW,CAAC,qBAAqB;oBACxT,oCAAoC,cAAc,CAAC,MAAM,CAAC,KAAK,CAAC,6BAA6B,WAAW,CAAC,CAAC,CAAC,qBAAqB,CAAC,kHAAkH;iBACpP;aACF;SACF;KACF,CAAC,CAAA;AACJ,CAAC;AAED,kGAAkG;AAClG,MAAM,UAAU,gBAAgB,CAAC,IAiBhC;IACC,MAAM,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,GAAG,IAAI,CAAA;IAClC,MAAM,MAAM,GAAG,gBAAgB,CAAC,CAAC,CAAC,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,CAAA;IACrD,OAAO,IAAI,CAAC;QACV,KAAK,EAAE,iBAAiB;QACxB,MAAM,EAAE,IAAI,CAAC,MAAM;QACnB,gBAAgB,EAAE,IAAI;QACtB,QAAQ,EAAE;YACR;gBACE,OAAO,EAAE,uBAAuB;gBAChC,KAAK,EAAE;oBACL,cAAc,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,kBAAkB,CAAC,CAAC,YAAY,YAAY,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,IAAI,CAAC,OAAO,+BAA+B,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG;oBAClM,cAAc,MAAM,aAAa,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG;oBAC1D,mCAAmC,CAAC,CAAC,YAAY,+CAA+C;iBACjG;aACF;YACD;gBACE,OAAO,EAAE,mBAAmB;gBAC5B,KAAK,EAAE;oBACL,6CAA6C,cAAc,CAAC,MAAM,CAAC,aAAa,CAAC,+GAA+G;oBAChM,yJAAyJ;oBACzJ,sDAAsD,cAAc,CAAC,IAAI,CAAC,aAAa,CAAC,mEAAmE;oBAC3J,yJAAyJ,cAAc,CAAC,MAAM,CAAC,KAAK,CAAC,6BAA6B,WAAW,CAAC,IAAI,CAAC,qBAAqB,CAAC,yDAAyD;iBACnT;aACF;YACD;gBACE,OAAO,EAAE,SAAS;gBAClB,KAAK,EAAE;oBACL,kBAAkB,IAAI,CAAC,WAAW,GAAG,CAAC,uFAAuF;oBAC7H,kGAAkG;iBACnG;aACF;YACD;gBACE,OAAO,EAAE,QAAQ;gBACjB,KAAK,EAAE;oBACL,uBAAuB,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC,uCAAuC,UAAU,CAAC,IAAI,CAAC,cAAc,CAAC,GAAG;iBACrH;aACF;SACF;KACF,CAAC,CAAA;AACJ,CAAC;AAED,4CAA4C;AAC5C,MAAM,UAAU,wBAAwB,CAAC,IAWxC;IACC,MAAM,EAAE,OAAO,EAAE,CAAC,EAAE,GAAG,IAAI,CAAA;IAC3B,MAAM,IAAI,GAAG,gBAAgB,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,CAAA;IACpD,MAAM,KAAK,GAAG,CAAC,CAAC,WAAW,GAAG,IAAI,CAAC,YAAY,CAAA;IAC/C,MAAM,KAAK,GAAG,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC,CAAA;IAClC,OAAO,IAAI,CAAC;QACV,KAAK,EAAE,8BAA8B;QACrC,MAAM,EAAE,IAAI,CAAC,MAAM;QACnB,gBAAgB,EAAE,KAAK;YACrB,CAAC,CAAC,EAAE,YAAY,EAAE,IAAI,CAAC,YAAY,EAAE,YAAY,EAAE,CAAC,CAAC,WAAW,EAAE;YAClE,CAAC,CAAC,IAAI;QACR,QAAQ,EAAE;YACR;gBACE,OAAO,EAAE,2BAA2B;gBACpC,KAAK,EAAE;oBACL,yCAAyC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,IAAI,CAAC,OAAO,0BAA0B,CAAC,CAAC,YAAY,iCAAiC,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,IAAI,OAAO;oBACtM,8FAA8F;oBAC9F,mBAAmB,YAAY,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG;iBAC7C;aACF;YACD;gBACE,OAAO,EAAE,cAAc;gBACvB,KAAK,EAAE,KAAK;oBACV,CAAC,CAAC;wBACE,yBAAyB,CAAC,CAAC,WAAW,4BAA4B,IAAI,CAAC,YAAY,+BAA+B;wBAClH,2BAA2B,CAAC,CAAC,WAAW,2DAA2D,KAAK,6JAA6J;qBACtQ;oBACH,CAAC,CAAC;wBACE,yBAAyB,CAAC,CAAC,WAAW,2EAA2E,KAAK,kFAAkF;qBACzM;aACN;YACD;gBACE,OAAO,EAAE,QAAQ;gBACjB,KAAK,EAAE;oBACL,uBAAuB,KAAK,KAAK,YAAY,CAAC,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,mFAAmF;iBACtJ;aACF;SACF;KACF,CAAC,CAAA;AACJ,CAAC"}

package/dist/index.d.ts

@@ -0,0 +1,17 @@
+/**
+ * Avow verifier. A supplier checks a commitment's authorization, its terms and the reserve on
+ * the chain without calling Avow.
+ *
+ * Pre-release. Every interface may change before 1.0.
+ */
+export * from './accept.js';
+export * from './chain.js';
+export * from './consent.js';
+export * from './dependency.js';
+export * from './disclosure.js';
+export * from './lock-abi.js';
+export * from './references.js';
+export * from './report.js';
+export * from './tempo.js';
+export * from './verify.js';
+//# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,cAAc,aAAa,CAAA;AAC3B,cAAc,YAAY,CAAA;AAC1B,cAAc,cAAc,CAAA;AAC5B,cAAc,iBAAiB,CAAA;AAC/B,cAAc,iBAAiB,CAAA;AAC/B,cAAc,eAAe,CAAA;AAC7B,cAAc,iBAAiB,CAAA;AAC/B,cAAc,aAAa,CAAA;AAC3B,cAAc,YAAY,CAAA;AAC1B,cAAc,aAAa,CAAA"}

package/dist/index.js

@@ -0,0 +1,17 @@
+/**
+ * Avow verifier. A supplier checks a commitment's authorization, its terms and the reserve on
+ * the chain without calling Avow.
+ *
+ * Pre-release. Every interface may change before 1.0.
+ */
+export * from './accept.js';
+export * from './chain.js';
+export * from './consent.js';
+export * from './dependency.js';
+export * from './disclosure.js';
+export * from './lock-abi.js';
+export * from './references.js';
+export * from './report.js';
+export * from './tempo.js';
+export * from './verify.js';
+//# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,cAAc,aAAa,CAAA;AAC3B,cAAc,YAAY,CAAA;AAC1B,cAAc,cAAc,CAAA;AAC5B,cAAc,iBAAiB,CAAA;AAC/B,cAAc,iBAAiB,CAAA;AAC/B,cAAc,eAAe,CAAA;AAC7B,cAAc,iBAAiB,CAAA;AAC/B,cAAc,aAAa,CAAA;AAC3B,cAAc,YAAY,CAAA;AAC1B,cAAc,aAAa,CAAA"}

package/dist/issued.d.ts

@@ -0,0 +1,5 @@
+/** Freezes a prepared result all the way down and records it as one this library built. */
+export declare function issue<T extends object>(value: T): T;
+/** Whether this library built the value and nothing has replaced it. */
+export declare function wasIssued(value: unknown): boolean;
+//# sourceMappingURL=issued.d.ts.map

package/dist/issued.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"issued.d.ts","sourceRoot":"","sources":["../src/issued.ts"],"names":[],"mappings":"AAaA,2FAA2F;AAC3F,wBAAgB,KAAK,CAAC,CAAC,SAAS,MAAM,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,CAInD;AAED,wEAAwE;AACxE,wBAAgB,SAAS,CAAC,KAAK,EAAE,OAAO,GAAG,OAAO,CAEjD"}

package/dist/issued.js

@@ -0,0 +1,24 @@
+/**
+ * The prepared messages this library built. A signing call signs only one of these, as it was
+ * built, so a copy or an edit can't carry a message past the checks or past the disclosure the
+ * person confirmed.
+ */
+const issued = new WeakSet();
+function freeze(value) {
+    if (typeof value !== 'object' || value === null || Object.isFrozen(value))
+        return;
+    for (const inner of Object.values(value))
+        freeze(inner);
+    Object.freeze(value);
+}
+/** Freezes a prepared result all the way down and records it as one this library built. */
+export function issue(value) {
+    freeze(value);
+    issued.add(value);
+    return value;
+}
+/** Whether this library built the value and nothing has replaced it. */
+export function wasIssued(value) {
+    return typeof value === 'object' && value !== null && issued.has(value);
+}
+//# sourceMappingURL=issued.js.map

package/dist/issued.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"issued.js","sourceRoot":"","sources":["../src/issued.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,MAAM,MAAM,GAAG,IAAI,OAAO,EAAU,CAAA;AAEpC,SAAS,MAAM,CAAC,KAAc;IAC5B,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC;QAAE,OAAM;IACjF,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC;QAAE,MAAM,CAAC,KAAK,CAAC,CAAA;IACvD,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;AACtB,CAAC;AAED,2FAA2F;AAC3F,MAAM,UAAU,KAAK,CAAmB,KAAQ;IAC9C,MAAM,CAAC,KAAK,CAAC,CAAA;IACb,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAA;IACjB,OAAO,KAAK,CAAA;AACd,CAAC;AAED,wEAAwE;AACxE,MAAM,UAAU,SAAS,CAAC,KAAc;IACtC,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAA;AACzE,CAAC"}