@obbyx/obyte 0.1.0 → 0.1.1

package/dist/unit/exact-unit.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"exact-unit.d.ts","sourceRoot":"","sources":["../../src/unit/exact-unit.ts"],"names":[],"mappings":"AAaA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AACxD,OAAO,EAAE,KAAK,OAAO,EAA8C,MAAM,mBAAmB,CAAC;AAC7F,OAAO,EAAE,KAAK,aAAa,EAAoC,MAAM,8BAA8B,CAAC;AAEpG;;;;;;;;;;;GAWG;AAEH,eAAO,MAAM,aAAa;;;;;;;;;;;;;;;CAehB,CAAC;AAEX,+CAA+C;AAC/C,eAAO,MAAM,mBAAmB;;;CAA+C,CAAC;AAGhF,eAAO,MAAM,sBAAsB,QAAY,CAAC;AAEhD,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,OAAO,EAAE,YAAY,CAAC;IAC/B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,0EAA0E;IAC1E,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,iEAAiE;IACjE,QAAQ,CAAC,oBAAoB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAClD,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;CAChC;AAED,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;CAC9B;AAED,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,MAAM,EAAE,SAAS,QAAQ,EAAE,CAAC;IACrC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;IACxC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,iFAAiF;IACjF,QAAQ,CAAC,YAAY,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IACxD,QAAQ,CAAC,WAAW,EAAE;QAAE,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;KAAE,CAAC;IAC7E,iFAAiF;IACjF,QAAQ,CAAC,oBAAoB,EAAE,OAAO,CAAC;CACxC;AA6BD,wBAAgB,iBAAiB,CAC/B,IAAI,EAAE,OAAO,EACb,MAAM,EAAE,gBAAgB,EACxB,OAAO,GAAE;IAAE,gBAAgB,CAAC,EAAE,aAAa,CAAA;CAAO,GACjD,OAAO,CAAC,cAAc,CAAC,CAiOzB;AAKD;;;;;;;GAOG;AACH,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,MAAM,GAAG;IAAE,OAAO,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,CAAA;CAAE,CAKtF;AAED,wBAAgB,cAAc,CAC5B,CAAC,EAAE;IAAE,OAAO,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,EACtC,CAAC,EAAE;IAAE,OAAO,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,GACrC,MAAM,CAGR"}
+{"version":3,"file":"exact-unit.d.ts","sourceRoot":"","sources":["../../src/unit/exact-unit.ts"],"names":[],"mappings":"AAaA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AACxD,OAAO,EAAE,KAAK,OAAO,EAA8C,MAAM,mBAAmB,CAAC;AAC7F,OAAO,EAAE,KAAK,aAAa,EAAoC,MAAM,8BAA8B,CAAC;AAEpG;;;;;;;;;;;GAWG;AAEH,eAAO,MAAM,aAAa;;;;;;;;;;;;;;;CAehB,CAAC;AAEX,+CAA+C;AAC/C,eAAO,MAAM,mBAAmB;;;CAA+C,CAAC;AAGhF,eAAO,MAAM,sBAAsB,QAAY,CAAC;AAEhD,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,OAAO,EAAE,YAAY,CAAC;IAC/B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,0EAA0E;IAC1E,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,iEAAiE;IACjE,QAAQ,CAAC,oBAAoB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAClD,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;CAChC;AAED,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;CAC9B;AAED,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,MAAM,EAAE,SAAS,QAAQ,EAAE,CAAC;IACrC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;IACxC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,iFAAiF;IACjF,QAAQ,CAAC,YAAY,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IACxD,QAAQ,CAAC,WAAW,EAAE;QAAE,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;KAAE,CAAC;IAC7E,iFAAiF;IACjF,QAAQ,CAAC,oBAAoB,EAAE,OAAO,CAAC;CACxC;AA6BD,wBAAgB,iBAAiB,CAC/B,IAAI,EAAE,OAAO,EACb,MAAM,EAAE,gBAAgB,EACxB,OAAO,GAAE;IAAE,gBAAgB,CAAC,EAAE,aAAa,CAAA;CAAO,GACjD,OAAO,CAAC,cAAc,CAAC,CAoCzB;AA+PD;;;;;;;GAOG;AACH,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,MAAM,GAAG;IAAE,OAAO,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,CAAA;CAAE,CAKtF;AAED,wBAAgB,cAAc,CAC5B,CAAC,EAAE;IAAE,OAAO,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,EACtC,CAAC,EAAE;IAAE,OAAO,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,GACrC,MAAM,CAGR"}

package/dist/unit/exact-unit.js

@@ -65,9 +65,49 @@ const isHash = (v) => typeof v === 'string' && HASH_RE.test(v);
 const isIndex = (v) => Number.isSafeInteger(v) && v >= 0;
 const isPositiveAmount = (v) => Number.isSafeInteger(v) && v > 0;
 export function validateExactUnit(unit, expect, options = {}) {
-    const R = EXACT_REASONS;
-    const unsupported = (why) => reject(R.unsupported, why);
-    // --- structure & size ---------------------------------------------------
+    // The order of the checks is part of the contract: the first failing one
+    // decides the reason code.
+    const shaped = checkShape(unit, expect);
+    if (!shaped.ok)
+        return shaped;
+    const u = shaped.value;
+    const hashed = checkUnitHash(u);
+    if (!hashed.ok)
+        return hashed;
+    const { unitHash, messages, authors } = hashed.value;
+    const author = checkAuthor(u, authors, options.authorDefinition);
+    if (!author.ok)
+        return author;
+    const { payer, definitionFromLedger } = author.value;
+    const roles = checkPayer(payer, expect);
+    if (!roles.ok)
+        return roles;
+    const payments = checkMessages(messages, expect);
+    if (!payments.ok)
+        return payments;
+    const transfers = checkTransfers(payments.value, payer, expect);
+    if (!transfers.ok)
+        return transfers;
+    const commissions = expectedCommissions(u);
+    if (commissions.headers !== u['headers_commission'] ||
+        commissions.payload !== u['payload_commission']) {
+        return reject(EXACT_REASONS.commissions, 'Commissions do not match the unit size');
+    }
+    return accept({
+        unitHash,
+        payer,
+        inputs: transfers.value.inputs,
+        lastBallUnit: u['last_ball_unit'],
+        parentUnits: u['parent_units'],
+        timestamp: u['timestamp'],
+        outputTotals: transfers.value.outputTotals,
+        commissions,
+        definitionFromLedger,
+    });
+}
+const unsupported = (why) => reject(EXACT_REASONS.unsupported, why);
+/** Structure, size, network and header fields. */
+function checkShape(unit, expect) {
     if (!isPlainObject(unit))
         return unsupported('Unit must be an object');
     let serialized;
@@ -78,16 +118,14 @@ export function validateExactUnit(unit, expect, options = {}) {
         return unsupported('Unit is not serializable');
     }
     if (serialized.length > (expect.maxUnitBytes ?? DEFAULT_MAX_UNIT_BYTES)) {
-        return reject(R.tooLarge, 'Unit exceeds the size limit');
+        return reject(EXACT_REASONS.tooLarge, 'Unit exceeds the size limit');
     }
     if (!hasOnlyKeys(unit, UNIT_KEYS))
         return unsupported('Unit has fields outside the profile');
-    // --- network --------------------------------------------------------------
     const net = expect.network.name;
     if (unit['version'] !== EXACT_UNIT_VERSIONS[net] || unit['alt'] !== ALT[net]) {
-        return reject(R.network, `Unit version/alt do not match ${expect.network.caip2}`);
+        return reject(EXACT_REASONS.network, `Unit version/alt do not match ${expect.network.caip2}`);
     }
-    // --- headers --------------------------------------------------------------
     const parents = unit['parent_units'];
     if (!Array.isArray(parents) || parents.length === 0 || !parents.every(isHash)) {
         return unsupported('Invalid parent_units');
@@ -106,9 +144,12 @@ export function validateExactUnit(unit, expect, options = {}) {
         if (fee in unit && !isIndex(unit[fee]))
             return unsupported(`Invalid ${fee}`);
     }
-    // --- unit hash --------------------------------------------------------------
+    return accept(unit);
+}
+/** The unit hash is present and matches the content. */
+function checkUnitHash(unit) {
     if (!isHash(unit['unit']))
-        return reject(R.unitHash, 'Missing unit hash');
+        return reject(EXACT_REASONS.unitHash, 'Missing unit hash');
     const messages = unit['messages'];
     const authors = unit['authors'];
     if (!Array.isArray(messages) || !Array.isArray(authors))
@@ -118,37 +159,33 @@ export function validateExactUnit(unit, expect, options = {}) {
         unitHash = getUnitHash(unit);
     }
     catch {
-        return reject(R.unitHash, 'Unit cannot be hashed');
+        return reject(EXACT_REASONS.unitHash, 'Unit cannot be hashed');
+    }
+    if (unitHash !== unit['unit']) {
+        return reject(EXACT_REASONS.unitHash, 'Unit hash does not match content');
     }
-    if (unitHash !== unit['unit'])
-        return reject(R.unitHash, 'Unit hash does not match content');
-    // --- author, definition, signature -----------------------------------------
+    return accept({ unitHash, messages, authors });
+}
+/** One author with a single-sig definition (embedded or from the ledger) and a valid signature. */
+function checkAuthor(unit, authors, ledgerDefinition) {
+    const R = EXACT_REASONS;
     if (authors.length !== 1)
         return unsupported('Exactly one author is supported');
     const author = authors[0];
-    if (!isPlainObject(author) || !hasOnlyKeys(author, AUTHOR_KEYS))
+    if (!isPlainObject(author) || !hasOnlyKeys(author, AUTHOR_KEYS)) {
         return unsupported('Malformed author');
+    }
     const payer = author['address'];
     if (!isAddress(payer))
         return unsupported('Invalid author address');
-    let definition;
-    let definitionFromLedger = false;
-    if ('definition' in author) {
-        if (!isSigDefinition(author['definition'])) {
-            return reject(R.definition, "Only ['sig', {pubkey}] author definitions are supported");
-        }
-        definition = author['definition'];
-    }
-    else if (options.authorDefinition !== undefined) {
-        if (!isSigDefinition(options.authorDefinition)) {
-            return reject(R.definition, "Only ['sig', {pubkey}] author definitions are supported");
-        }
-        definition = options.authorDefinition;
-        definitionFromLedger = true;
-    }
-    else {
+    const embedded = 'definition' in author;
+    const definition = embedded ? author['definition'] : ledgerDefinition;
+    if (definition === undefined) {
         return reject(R.definitionRequired, 'Author definition is not embedded; fetch it from the ledger');
     }
+    if (!isSigDefinition(definition)) {
+        return reject(R.definition, "Only ['sig', {pubkey}] author definitions are supported");
+    }
     if (obyte.utils.getChash160([...definition]) !== payer) {
         return reject(R.definition, 'Definition does not match the author address');
     }
@@ -159,13 +196,23 @@ export function validateExactUnit(unit, expect, options = {}) {
     if (!verifySignature(getUnitHashToSign(unit), authentifiers['r'], definition[1].pubkey)) {
         return reject(R.signature, 'Signature is invalid');
     }
-    // --- payer / recipient sanity -------------------------------------------------
+    return accept({ payer, definitionFromLedger: !embedded });
+}
+/** The payer is neither the recipient nor the facilitator. */
+function checkPayer(payer, expect) {
     if (payer === expect.payTo)
-        return reject(R.payer, 'Payer and payTo must differ');
+        return reject(EXACT_REASONS.payer, 'Payer and payTo must differ');
     if (expect.facilitatorAddresses?.includes(payer)) {
-        return reject(R.payer, 'A facilitator address must never be the payer');
+        return reject(EXACT_REASONS.payer, 'A facilitator address must never be the payer');
     }
-    // --- messages -----------------------------------------------------------------
+    return accept(null);
+}
+/**
+ * Inline messages with matching hashes: exactly one data message carrying the
+ * binding, one payment per asset, bytes always and only the expected asset besides.
+ */
+function checkMessages(messages, expect) {
+    const R = EXACT_REASONS;
     let dataCount = 0;
     const payments = new Map();
     for (const message of messages) {
@@ -186,34 +233,49 @@ export function validateExactUnit(unit, expect, options = {}) {
                 return binding;
         }
         else if (message['app'] === 'payment') {
-            if (!isPlainObject(payload) || !hasOnlyKeys(payload, PAYMENT_KEYS)) {
-                return unsupported('Malformed payment');
-            }
-            const asset = 'asset' in payload ? payload['asset'] : 'base';
-            if (asset === 'base' && 'asset' in payload)
-                return unsupported('Bytes payment must omit asset');
-            if (!isAssetId(asset))
-                return unsupported('Invalid payment asset');
-            if (payments.has(asset))
+            const asset = paymentAsset(payload);
+            if (!asset.ok)
+                return asset;
+            if (payments.has(asset.value))
                 return unsupported('One payment message per asset');
-            payments.set(asset, payload);
+            payments.set(asset.value, payload);
         }
         else {
             return unsupported('Only payment and data messages are supported');
         }
     }
-    if (dataCount !== 1)
+    if (dataCount !== 1) {
         return reject(R.binding, 'Exactly one data message with the binding is required');
+    }
     if (!payments.has('base'))
         return unsupported('A bytes payment message is required');
-    const allowedAssets = new Set(['base', expect.asset]);
     for (const asset of payments.keys()) {
-        if (!allowedAssets.has(asset))
+        if (asset !== 'base' && asset !== expect.asset) {
             return reject(R.asset, 'Payment in an unexpected asset');
+        }
     }
     if (!payments.has(expect.asset))
         return reject(R.asset, 'No payment in the required asset');
-    // --- inputs & outputs -----------------------------------------------------------
+    return accept(payments);
+}
+/** The asset of a payment message ('base' when omitted). */
+function paymentAsset(payload) {
+    if (!isPlainObject(payload) || !hasOnlyKeys(payload, PAYMENT_KEYS)) {
+        return unsupported('Malformed payment');
+    }
+    const asset = 'asset' in payload ? payload['asset'] : 'base';
+    if (asset === 'base' && 'asset' in payload)
+        return unsupported('Bytes payment must omit asset');
+    if (!isAssetId(asset))
+        return unsupported('Invalid payment asset');
+    return accept(asset);
+}
+/**
+ * Transfer inputs only (no duplicates); sorted outputs that go to payTo
+ * (exactly once, the exact amount, the expected asset) or back to the payer.
+ */
+function checkTransfers(payments, payer, expect) {
+    const R = EXACT_REASONS;
     const inputs = [];
     const seenInputs = new Set();
     const outputTotals = {};
@@ -226,23 +288,14 @@ export function validateExactUnit(unit, expect, options = {}) {
             return unsupported('Payment needs inputs and outputs');
         }
         for (const input of ins) {
-            if (!isPlainObject(input) ||
-                !hasOnlyKeys(input, INPUT_KEYS) ||
-                !isHash(input['unit']) ||
-                !isIndex(input['message_index']) ||
-                !isIndex(input['output_index'])) {
+            const ref = transferInput(input, asset);
+            if (ref === undefined)
                 return unsupported('Only transfer inputs are supported');
-            }
-            const key = `${input['unit']}:${input['message_index']}:${input['output_index']}`;
+            const key = `${ref.unit}:${ref.messageIndex}:${ref.outputIndex}`;
             if (seenInputs.has(key))
                 return unsupported('Duplicate input');
             seenInputs.add(key);
-            inputs.push({
-                asset,
-                unit: input['unit'],
-                messageIndex: input['message_index'],
-                outputIndex: input['output_index'],
-            });
+            inputs.push(ref);
         }
         let total = 0n;
         let previous;
@@ -260,15 +313,14 @@ export function validateExactUnit(unit, expect, options = {}) {
                 return unsupported('Outputs must be sorted by address and amount without duplicates');
             }
             previous = current;
-            const amount = BigInt(output['amount']);
-            total += amount;
-            if (output['address'] === expect.payTo) {
+            total += BigInt(current.amount);
+            if (current.address === expect.payTo) {
                 if (asset !== expect.asset)
                     return reject(R.recipient, 'payTo receives an unexpected asset');
                 outputsToPayTo += 1;
-                paidToPayTo += amount;
+                paidToPayTo += BigInt(current.amount);
             }
-            else if (output['address'] !== payer) {
+            else if (current.address !== payer) {
                 return reject(R.recipient, 'Outputs may only go to payTo or back to the payer');
             }
         }
@@ -278,23 +330,23 @@ export function validateExactUnit(unit, expect, options = {}) {
         return reject(R.recipient, 'Exactly one output to payTo is required');
     if (paidToPayTo !== expect.amount)
         return reject(R.amount, 'Amount paid to payTo does not match');
-    // --- commissions ------------------------------------------------------------------
-    const commissions = expectedCommissions(unit);
-    if (commissions.headers !== unit['headers_commission'] ||
-        commissions.payload !== unit['payload_commission']) {
-        return reject(R.commissions, 'Commissions do not match the unit size');
+    return accept({ inputs, outputTotals });
+}
+/** A transfer input (unit, message_index, output_index), or undefined for anything else. */
+function transferInput(input, asset) {
+    if (!isPlainObject(input) ||
+        !hasOnlyKeys(input, INPUT_KEYS) ||
+        !isHash(input['unit']) ||
+        !isIndex(input['message_index']) ||
+        !isIndex(input['output_index'])) {
+        return undefined;
     }
-    return accept({
-        unitHash,
-        payer,
-        inputs,
-        lastBallUnit: unit['last_ball_unit'],
-        parentUnits: parents,
-        timestamp: unit['timestamp'],
-        outputTotals,
-        commissions,
-        definitionFromLedger,
-    });
+    return {
+        asset,
+        unit: input['unit'],
+        messageIndex: input['message_index'],
+        outputIndex: input['output_index'],
+    };
 }
 /** Length of one base64 secp256k1 signature, as counted by obyte.js. */
 const SIGNATURE_SIZE = 88;
@@ -317,6 +369,7 @@ export function compareOutputs(a, b) {
         return a.address < b.address ? -1 : 1;
     return a.amount - b.amount;
 }
+/** The data message is exactly `{x402: {binding, quoteId}}` of this operation (undefined when it is). */
 function checkBinding(payload, expect) {
     const R = EXACT_REASONS;
     if (!isPlainObject(payload) || !hasOnlyKeys(payload, new Set(['x402']))) {

package/dist/unit/exact-unit.js.map

@@ -1 +1 @@
-{"version":3,"file":"exact-unit.js","sourceRoot":"","sources":["../../src/unit/exact-unit.ts"],"names":[],"mappings":"AAAA,qFAAqF;AACrF,uFAAuF;AACvF,qEAAqE;AACrE,qDAAqD;AACrD,OAAO,KAAK,MAAM,OAAO,CAAC;AAC1B,OAAO,EACL,aAAa,EACb,cAAc,EACd,mBAAmB,EACnB,WAAW,EACX,iBAAiB,GAClB,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,0BAA0B,CAAC;AAEhE,OAAO,EAAgB,MAAM,EAAE,WAAW,EAAE,aAAa,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAC7F,OAAO,EAAsB,eAAe,EAAE,eAAe,EAAE,MAAM,8BAA8B,CAAC;AAEpG;;;;;;;;;;;GAWG;AAEH,MAAM,CAAC,MAAM,aAAa,GAAG;IAC3B,WAAW,EAAE,sCAAsC;IACnD,QAAQ,EAAE,oCAAoC;IAC9C,OAAO,EAAE,6BAA6B;IACtC,QAAQ,EAAE,+BAA+B;IACzC,WAAW,EAAE,kCAAkC;IAC/C,UAAU,EAAE,gCAAgC;IAC5C,kBAAkB,EAAE,yCAAyC;IAC7D,SAAS,EAAE,+BAA+B;IAC1C,WAAW,EAAE,iCAAiC;IAC9C,SAAS,EAAE,wCAAwC;IACnD,MAAM,EAAE,qCAAqC;IAC7C,KAAK,EAAE,oCAAoC;IAC3C,OAAO,EAAE,sCAAsC;IAC/C,KAAK,EAAE,2BAA2B;CAC1B,CAAC;AAEX,+CAA+C;AAC/C,MAAM,CAAC,MAAM,mBAAmB,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,EAAW,CAAC;AAChF,MAAM,GAAG,GAAG,EAAE,OAAO,EAAE,GAAG,EAAE,OAAO,EAAE,GAAG,EAAW,CAAC;AAEpD,MAAM,CAAC,MAAM,sBAAsB,GAAG,EAAE,GAAG,IAAI,CAAC;AAoChD,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC;IACxB,SAAS;IACT,KAAK;IACL,UAAU;IACV,SAAS;IACT,cAAc;IACd,WAAW;IACX,gBAAgB;IAChB,WAAW;IACX,oBAAoB;IACpB,oBAAoB;IACpB,SAAS;IACT,UAAU;IACV,kBAAkB;IAClB,MAAM;CACP,CAAC,CAAC;AACH,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,CAAC,SAAS,EAAE,eAAe,EAAE,YAAY,CAAC,CAAC,CAAC;AACxE,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,CAAC,KAAK,EAAE,kBAAkB,EAAE,cAAc,EAAE,SAAS,CAAC,CAAC,CAAC;AACrF,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,CAAC,OAAO,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC,CAAC;AAC7D,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,CAAC,MAAM,EAAE,eAAe,EAAE,cAAc,CAAC,CAAC,CAAC;AACtE,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC,CAAC;AACnD,MAAM,OAAO,GAAG,sBAAsB,CAAC;AAEvC,MAAM,MAAM,GAAG,CAAC,CAAU,EAAe,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AACrF,MAAM,OAAO,GAAG,CAAC,CAAU,EAAe,EAAE,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,IAAK,CAAY,IAAI,CAAC,CAAC;AAC3F,MAAM,gBAAgB,GAAG,CAAC,CAAU,EAAe,EAAE,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,IAAK,CAAY,GAAG,CAAC,CAAC;AAEnG,MAAM,UAAU,iBAAiB,CAC/B,IAAa,EACb,MAAwB,EACxB,UAAgD,EAAE;IAElD,MAAM,CAAC,GAAG,aAAa,CAAC;IACxB,MAAM,WAAW,GAAG,CAAC,GAAW,EAAE,EAAE,CAAC,MAAM,CAAiB,CAAC,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC;IAEhF,2EAA2E;IAC3E,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC;QAAE,OAAO,WAAW,CAAC,wBAAwB,CAAC,CAAC;IACvE,IAAI,UAAkB,CAAC;IACvB,IAAI,CAAC;QACH,UAAU,GAAG,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IACpC,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,WAAW,CAAC,0BAA0B,CAAC,CAAC;IACjD,CAAC;IACD,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,MAAM,CAAC,YAAY,IAAI,sBAAsB,CAAC,EAAE,CAAC;QACxE,OAAO,MAAM,CAAC,CAAC,CAAC,QAAQ,EAAE,6BAA6B,CAAC,CAAC;IAC3D,CAAC;IACD,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,SAAS,CAAC;QAAE,OAAO,WAAW,CAAC,qCAAqC,CAAC,CAAC;IAE7F,6EAA6E;IAC7E,MAAM,GAAG,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC;IAChC,IAAI,IAAI,CAAC,SAAS,CAAC,KAAK,mBAAmB,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;QAC7E,OAAO,MAAM,CAAC,CAAC,CAAC,OAAO,EAAE,iCAAiC,MAAM,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC;IACpF,CAAC;IAED,6EAA6E;IAC7E,MAAM,OAAO,GAAG,IAAI,CAAC,cAAc,CAAC,CAAC;IACrC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;QAC9E,OAAO,WAAW,CAAC,sBAAsB,CAAC,CAAC;IAC7C,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC,EAAE,CAAC;QAClE,OAAO,WAAW,CAAC,mBAAmB,CAAC,CAAC;IAC1C,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QAAE,OAAO,WAAW,CAAC,mBAAmB,CAAC,CAAC;IACtF,KAAK,MAAM,GAAG,IAAI,CAAC,oBAAoB,EAAE,oBAAoB,CAAU,EAAE,CAAC;QACxE,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAK,IAAI,CAAC,GAAG,CAAY,IAAI,CAAC,EAAE,CAAC;YACnE,OAAO,WAAW,CAAC,WAAW,GAAG,EAAE,CAAC,CAAC;QACvC,CAAC;IACH,CAAC;IACD,KAAK,MAAM,GAAG,IAAI,CAAC,SAAS,EAAE,UAAU,EAAE,kBAAkB,CAAU,EAAE,CAAC;QACvE,IAAI,GAAG,IAAI,IAAI,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YAAE,OAAO,WAAW,CAAC,WAAW,GAAG,EAAE,CAAC,CAAC;IAC/E,CAAC;IAED,+EAA+E;IAC/E,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAAE,OAAO,MAAM,CAAC,CAAC,CAAC,QAAQ,EAAE,mBAAmB,CAAC,CAAC;IAC1E,MAAM,QAAQ,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC;IAClC,MAAM,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC;IAChC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC;QAAE,OAAO,WAAW,CAAC,gBAAgB,CAAC,CAAC;IAC9F,IAAI,QAAgB,CAAC;IACrB,IAAI,CAAC;QACH,QAAQ,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;IAC/B,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,MAAM,CAAC,CAAC,CAAC,QAAQ,EAAE,uBAAuB,CAAC,CAAC;IACrD,CAAC;IACD,IAAI,QAAQ,KAAK,IAAI,CAAC,MAAM,CAAC;QAAE,OAAO,MAAM,CAAC,CAAC,CAAC,QAAQ,EAAE,kCAAkC,CAAC,CAAC;IAE7F,8EAA8E;IAC9E,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,WAAW,CAAC,iCAAiC,CAAC,CAAC;IAChF,MAAM,MAAM,GAAY,OAAO,CAAC,CAAC,CAAC,CAAC;IACnC,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,MAAM,EAAE,WAAW,CAAC;QAC7D,OAAO,WAAW,CAAC,kBAAkB,CAAC,CAAC;IACzC,MAAM,KAAK,GAAG,MAAM,CAAC,SAAS,CAAC,CAAC;IAChC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC;QAAE,OAAO,WAAW,CAAC,wBAAwB,CAAC,CAAC;IAEpE,IAAI,UAAyB,CAAC;IAC9B,IAAI,oBAAoB,GAAG,KAAK,CAAC;IACjC,IAAI,YAAY,IAAI,MAAM,EAAE,CAAC;QAC3B,IAAI,CAAC,eAAe,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,EAAE,CAAC;YAC3C,OAAO,MAAM,CAAC,CAAC,CAAC,UAAU,EAAE,yDAAyD,CAAC,CAAC;QACzF,CAAC;QACD,UAAU,GAAG,MAAM,CAAC,YAAY,CAAC,CAAC;IACpC,CAAC;SAAM,IAAI,OAAO,CAAC,gBAAgB,KAAK,SAAS,EAAE,CAAC;QAClD,IAAI,CAAC,eAAe,CAAC,OAAO,CAAC,gBAAgB,CAAC,EAAE,CAAC;YAC/C,OAAO,MAAM,CAAC,CAAC,CAAC,UAAU,EAAE,yDAAyD,CAAC,CAAC;QACzF,CAAC;QACD,UAAU,GAAG,OAAO,CAAC,gBAAgB,CAAC;QACtC,oBAAoB,GAAG,IAAI,CAAC;IAC9B,CAAC;SAAM,CAAC;QACN,OAAO,MAAM,CACX,CAAC,CAAC,kBAAkB,EACpB,6DAA6D,CAC9D,CAAC;IACJ,CAAC;IACD,IAAI,KAAK,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,GAAG,UAAU,CAAC,CAAC,KAAK,KAAK,EAAE,CAAC;QACvD,OAAO,MAAM,CAAC,CAAC,CAAC,UAAU,EAAE,8CAA8C,CAAC,CAAC;IAC9E,CAAC;IACD,MAAM,aAAa,GAAG,MAAM,CAAC,eAAe,CAAC,CAAC;IAC9C,IAAI,CAAC,aAAa,CAAC,aAAa,CAAC,IAAI,CAAC,WAAW,CAAC,aAAa,EAAE,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;QACjF,OAAO,MAAM,CAAC,CAAC,CAAC,SAAS,EAAE,oCAAoC,CAAC,CAAC;IACnE,CAAC;IACD,IAAI,CAAC,eAAe,CAAC,iBAAiB,CAAC,IAAI,CAAC,EAAE,aAAa,CAAC,GAAG,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC;QACxF,OAAO,MAAM,CAAC,CAAC,CAAC,SAAS,EAAE,sBAAsB,CAAC,CAAC;IACrD,CAAC;IAED,iFAAiF;IACjF,IAAI,KAAK,KAAK,MAAM,CAAC,KAAK;QAAE,OAAO,MAAM,CAAC,CAAC,CAAC,KAAK,EAAE,6BAA6B,CAAC,CAAC;IAClF,IAAI,MAAM,CAAC,oBAAoB,EAAE,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QACjD,OAAO,MAAM,CAAC,CAAC,CAAC,KAAK,EAAE,+CAA+C,CAAC,CAAC;IAC1E,CAAC;IAED,iFAAiF;IACjF,IAAI,SAAS,GAAG,CAAC,CAAC;IAClB,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAmC,CAAC;IAC5D,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC/B,IAAI,CAAC,aAAa,CAAC,OAAO,CAAC,IAAI,CAAC,WAAW,CAAC,OAAO,EAAE,YAAY,CAAC,EAAE,CAAC;YACnE,OAAO,WAAW,CAAC,mBAAmB,CAAC,CAAC;QAC1C,CAAC;QACD,IAAI,OAAO,CAAC,kBAAkB,CAAC,KAAK,QAAQ,IAAI,CAAC,CAAC,SAAS,IAAI,OAAO,CAAC,EAAE,CAAC;YACxE,OAAO,WAAW,CAAC,oCAAoC,CAAC,CAAC;QAC3D,CAAC;QACD,IAAI,aAAa,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,IAAI,CAAC,KAAK,OAAO,CAAC,cAAc,CAAC,EAAE,CAAC;YACxE,OAAO,MAAM,CAAC,CAAC,CAAC,WAAW,EAAE,qCAAqC,CAAC,CAAC;QACtE,CAAC;QACD,MAAM,OAAO,GAAG,OAAO,CAAC,SAAS,CAAC,CAAC;QACnC,IAAI,OAAO,CAAC,KAAK,CAAC,KAAK,MAAM,EAAE,CAAC;YAC9B,SAAS,IAAI,CAAC,CAAC;YACf,MAAM,OAAO,GAAG,YAAY,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;YAC9C,IAAI,OAAO,KAAK,SAAS;gBAAE,OAAO,OAAO,CAAC;QAC5C,CAAC;aAAM,IAAI,OAAO,CAAC,KAAK,CAAC,KAAK,SAAS,EAAE,CAAC;YACxC,IAAI,CAAC,aAAa,CAAC,OAAO,CAAC,IAAI,CAAC,WAAW,CAAC,OAAO,EAAE,YAAY,CAAC,EAAE,CAAC;gBACnE,OAAO,WAAW,CAAC,mBAAmB,CAAC,CAAC;YAC1C,CAAC;YACD,MAAM,KAAK,GAAG,OAAO,IAAI,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;YAC7D,IAAI,KAAK,KAAK,MAAM,IAAI,OAAO,IAAI,OAAO;gBACxC,OAAO,WAAW,CAAC,+BAA+B,CAAC,CAAC;YACtD,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC;gBAAE,OAAO,WAAW,CAAC,uBAAuB,CAAC,CAAC;YACnE,IAAI,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC;gBAAE,OAAO,WAAW,CAAC,+BAA+B,CAAC,CAAC;YAC7E,QAAQ,CAAC,GAAG,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;QAC/B,CAAC;aAAM,CAAC;YACN,OAAO,WAAW,CAAC,8CAA8C,CAAC,CAAC;QACrE,CAAC;IACH,CAAC;IACD,IAAI,SAAS,KAAK,CAAC;QACjB,OAAO,MAAM,CAAC,CAAC,CAAC,OAAO,EAAE,uDAAuD,CAAC,CAAC;IACpF,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC;QAAE,OAAO,WAAW,CAAC,qCAAqC,CAAC,CAAC;IACrF,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;IACtD,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,IAAI,EAAE,EAAE,CAAC;QACpC,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,KAAK,CAAC;YAAE,OAAO,MAAM,CAAC,CAAC,CAAC,KAAK,EAAE,gCAAgC,CAAC,CAAC;IAC1F,CAAC;IACD,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC;QAAE,OAAO,MAAM,CAAC,CAAC,CAAC,KAAK,EAAE,kCAAkC,CAAC,CAAC;IAE5F,mFAAmF;IACnF,MAAM,MAAM,GAAe,EAAE,CAAC;IAC9B,MAAM,UAAU,GAAG,IAAI,GAAG,EAAU,CAAC;IACrC,MAAM,YAAY,GAA2B,EAAE,CAAC;IAChD,IAAI,WAAW,GAAG,EAAE,CAAC;IACrB,IAAI,cAAc,GAAG,CAAC,CAAC;IACvB,KAAK,MAAM,CAAC,KAAK,EAAE,OAAO,CAAC,IAAI,QAAQ,EAAE,CAAC;QACxC,MAAM,GAAG,GAAG,OAAO,CAAC,QAAQ,CAAC,CAAC;QAC9B,MAAM,IAAI,GAAG,OAAO,CAAC,SAAS,CAAC,CAAC;QAChC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACzF,OAAO,WAAW,CAAC,kCAAkC,CAAC,CAAC;QACzD,CAAC;QACD,KAAK,MAAM,KAAK,IAAI,GAAG,EAAE,CAAC;YACxB,IACE,CAAC,aAAa,CAAC,KAAK,CAAC;gBACrB,CAAC,WAAW,CAAC,KAAK,EAAE,UAAU,CAAC;gBAC/B,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;gBACtB,CAAC,OAAO,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC;gBAChC,CAAC,OAAO,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC,EAC/B,CAAC;gBACD,OAAO,WAAW,CAAC,oCAAoC,CAAC,CAAC;YAC3D,CAAC;YACD,MAAM,GAAG,GAAG,GAAG,KAAK,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC,eAAe,CAAC,IAAI,KAAK,CAAC,cAAc,CAAC,EAAE,CAAC;YAClF,IAAI,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC;gBAAE,OAAO,WAAW,CAAC,iBAAiB,CAAC,CAAC;YAC/D,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YACpB,MAAM,CAAC,IAAI,CAAC;gBACV,KAAK;gBACL,IAAI,EAAE,KAAK,CAAC,MAAM,CAAC;gBACnB,YAAY,EAAE,KAAK,CAAC,eAAe,CAAC;gBACpC,WAAW,EAAE,KAAK,CAAC,cAAc,CAAC;aACnC,CAAC,CAAC;QACL,CAAC;QACD,IAAI,KAAK,GAAG,EAAE,CAAC;QACf,IAAI,QAAyD,CAAC;QAC9D,KAAK,MAAM,MAAM,IAAI,IAAI,EAAE,CAAC;YAC1B,IACE,CAAC,aAAa,CAAC,MAAM,CAAC;gBACtB,CAAC,WAAW,CAAC,MAAM,EAAE,WAAW,CAAC;gBACjC,CAAC,SAAS,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;gBAC7B,CAAC,gBAAgB,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,EACnC,CAAC;gBACD,OAAO,WAAW,CAAC,kBAAkB,CAAC,CAAC;YACzC,CAAC;YACD,wEAAwE;YACxE,uBAAuB;YACvB,MAAM,OAAO,GAAG,EAAE,OAAO,EAAE,MAAM,CAAC,SAAS,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC;YACzE,IAAI,QAAQ,KAAK,SAAS,IAAI,cAAc,CAAC,QAAQ,EAAE,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;gBACrE,OAAO,WAAW,CAAC,iEAAiE,CAAC,CAAC;YACxF,CAAC;YACD,QAAQ,GAAG,OAAO,CAAC;YACnB,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC;YACxC,KAAK,IAAI,MAAM,CAAC;YAChB,IAAI,MAAM,CAAC,SAAS,CAAC,KAAK,MAAM,CAAC,KAAK,EAAE,CAAC;gBACvC,IAAI,KAAK,KAAK,MAAM,CAAC,KAAK;oBACxB,OAAO,MAAM,CAAC,CAAC,CAAC,SAAS,EAAE,oCAAoC,CAAC,CAAC;gBACnE,cAAc,IAAI,CAAC,CAAC;gBACpB,WAAW,IAAI,MAAM,CAAC;YACxB,CAAC;iBAAM,IAAI,MAAM,CAAC,SAAS,CAAC,KAAK,KAAK,EAAE,CAAC;gBACvC,OAAO,MAAM,CAAC,CAAC,CAAC,SAAS,EAAE,mDAAmD,CAAC,CAAC;YAClF,CAAC;QACH,CAAC;QACD,YAAY,CAAC,KAAK,CAAC,GAAG,KAAK,CAAC;IAC9B,CAAC;IACD,IAAI,cAAc,KAAK,CAAC;QAAE,OAAO,MAAM,CAAC,CAAC,CAAC,SAAS,EAAE,yCAAyC,CAAC,CAAC;IAChG,IAAI,WAAW,KAAK,MAAM,CAAC,MAAM;QAAE,OAAO,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,qCAAqC,CAAC,CAAC;IAElG,qFAAqF;IACrF,MAAM,WAAW,GAAG,mBAAmB,CAAC,IAAI,CAAC,CAAC;IAC9C,IACE,WAAW,CAAC,OAAO,KAAK,IAAI,CAAC,oBAAoB,CAAC;QAClD,WAAW,CAAC,OAAO,KAAK,IAAI,CAAC,oBAAoB,CAAC,EAClD,CAAC;QACD,OAAO,MAAM,CAAC,CAAC,CAAC,WAAW,EAAE,wCAAwC,CAAC,CAAC;IACzE,CAAC;IAED,OAAO,MAAM,CAAC;QACZ,QAAQ;QACR,KAAK;QACL,MAAM;QACN,YAAY,EAAE,IAAI,CAAC,gBAAgB,CAAC;QACpC,WAAW,EAAE,OAAO;QACpB,SAAS,EAAE,IAAI,CAAC,WAAW,CAAW;QACtC,YAAY;QACZ,WAAW;QACX,oBAAoB;KACrB,CAAC,CAAC;AACL,CAAC;AAED,wEAAwE;AACxE,MAAM,cAAc,GAAG,EAAE,CAAC;AAE1B;;;;;;;GAOG;AACH,MAAM,UAAU,mBAAmB,CAAC,IAAY;IAC9C,OAAO;QACL,OAAO,EAAE,cAAc,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,cAAc;QACpD,OAAO,EAAE,mBAAmB,CAAC,IAAI,EAAE,IAAI,CAAC;KACzC,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,cAAc,CAC5B,CAAsC,EACtC,CAAsC;IAEtC,IAAI,CAAC,CAAC,OAAO,KAAK,CAAC,CAAC,OAAO;QAAE,OAAO,CAAC,CAAC,OAAO,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACnE,OAAO,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC;AAC7B,CAAC;AAED,SAAS,YAAY,CACnB,OAAgB,EAChB,MAAwB;IAExB,MAAM,CAAC,GAAG,aAAa,CAAC;IACxB,IAAI,CAAC,aAAa,CAAC,OAAO,CAAC,IAAI,CAAC,WAAW,CAAC,OAAO,EAAE,IAAI,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC;QACxE,OAAO,MAAM,CAAC,CAAC,CAAC,OAAO,EAAE,yDAAyD,CAAC,CAAC;IACtF,CAAC;IACD,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;IAC7B,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,IAAI,GAAG,CAAC,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC;QAChF,OAAO,MAAM,CAAC,CAAC,CAAC,OAAO,EAAE,yDAAyD,CAAC,CAAC;IACtF,CAAC;IACD,IAAI,IAAI,CAAC,SAAS,CAAC,KAAK,MAAM,CAAC,OAAO,IAAI,IAAI,CAAC,SAAS,CAAC,KAAK,MAAM,CAAC,OAAO,EAAE,CAAC;QAC7E,OAAO,MAAM,CAAC,CAAC,CAAC,OAAO,EAAE,8CAA8C,CAAC,CAAC;IAC3E,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC"}
+{"version":3,"file":"exact-unit.js","sourceRoot":"","sources":["../../src/unit/exact-unit.ts"],"names":[],"mappings":"AAAA,qFAAqF;AACrF,uFAAuF;AACvF,qEAAqE;AACrE,qDAAqD;AACrD,OAAO,KAAK,MAAM,OAAO,CAAC;AAC1B,OAAO,EACL,aAAa,EACb,cAAc,EACd,mBAAmB,EACnB,WAAW,EACX,iBAAiB,GAClB,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,0BAA0B,CAAC;AAEhE,OAAO,EAAgB,MAAM,EAAE,WAAW,EAAE,aAAa,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAC7F,OAAO,EAAsB,eAAe,EAAE,eAAe,EAAE,MAAM,8BAA8B,CAAC;AAEpG;;;;;;;;;;;GAWG;AAEH,MAAM,CAAC,MAAM,aAAa,GAAG;IAC3B,WAAW,EAAE,sCAAsC;IACnD,QAAQ,EAAE,oCAAoC;IAC9C,OAAO,EAAE,6BAA6B;IACtC,QAAQ,EAAE,+BAA+B;IACzC,WAAW,EAAE,kCAAkC;IAC/C,UAAU,EAAE,gCAAgC;IAC5C,kBAAkB,EAAE,yCAAyC;IAC7D,SAAS,EAAE,+BAA+B;IAC1C,WAAW,EAAE,iCAAiC;IAC9C,SAAS,EAAE,wCAAwC;IACnD,MAAM,EAAE,qCAAqC;IAC7C,KAAK,EAAE,oCAAoC;IAC3C,OAAO,EAAE,sCAAsC;IAC/C,KAAK,EAAE,2BAA2B;CAC1B,CAAC;AAEX,+CAA+C;AAC/C,MAAM,CAAC,MAAM,mBAAmB,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,EAAW,CAAC;AAChF,MAAM,GAAG,GAAG,EAAE,OAAO,EAAE,GAAG,EAAE,OAAO,EAAE,GAAG,EAAW,CAAC;AAEpD,MAAM,CAAC,MAAM,sBAAsB,GAAG,EAAE,GAAG,IAAI,CAAC;AAoChD,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC;IACxB,SAAS;IACT,KAAK;IACL,UAAU;IACV,SAAS;IACT,cAAc;IACd,WAAW;IACX,gBAAgB;IAChB,WAAW;IACX,oBAAoB;IACpB,oBAAoB;IACpB,SAAS;IACT,UAAU;IACV,kBAAkB;IAClB,MAAM;CACP,CAAC,CAAC;AACH,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,CAAC,SAAS,EAAE,eAAe,EAAE,YAAY,CAAC,CAAC,CAAC;AACxE,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,CAAC,KAAK,EAAE,kBAAkB,EAAE,cAAc,EAAE,SAAS,CAAC,CAAC,CAAC;AACrF,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,CAAC,OAAO,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC,CAAC;AAC7D,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,CAAC,MAAM,EAAE,eAAe,EAAE,cAAc,CAAC,CAAC,CAAC;AACtE,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC,CAAC;AACnD,MAAM,OAAO,GAAG,sBAAsB,CAAC;AAEvC,MAAM,MAAM,GAAG,CAAC,CAAU,EAAe,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AACrF,MAAM,OAAO,GAAG,CAAC,CAAU,EAAe,EAAE,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,IAAK,CAAY,IAAI,CAAC,CAAC;AAC3F,MAAM,gBAAgB,GAAG,CAAC,CAAU,EAAe,EAAE,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,IAAK,CAAY,GAAG,CAAC,CAAC;AAEnG,MAAM,UAAU,iBAAiB,CAC/B,IAAa,EACb,MAAwB,EACxB,UAAgD,EAAE;IAElD,yEAAyE;IACzE,2BAA2B;IAC3B,MAAM,MAAM,GAAG,UAAU,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IACxC,IAAI,CAAC,MAAM,CAAC,EAAE;QAAE,OAAO,MAAM,CAAC;IAC9B,MAAM,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC;IACvB,MAAM,MAAM,GAAG,aAAa,CAAC,CAAC,CAAC,CAAC;IAChC,IAAI,CAAC,MAAM,CAAC,EAAE;QAAE,OAAO,MAAM,CAAC;IAC9B,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,MAAM,CAAC,KAAK,CAAC;IACrD,MAAM,MAAM,GAAG,WAAW,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,gBAAgB,CAAC,CAAC;IACjE,IAAI,CAAC,MAAM,CAAC,EAAE;QAAE,OAAO,MAAM,CAAC;IAC9B,MAAM,EAAE,KAAK,EAAE,oBAAoB,EAAE,GAAG,MAAM,CAAC,KAAK,CAAC;IACrD,MAAM,KAAK,GAAG,UAAU,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;IACxC,IAAI,CAAC,KAAK,CAAC,EAAE;QAAE,OAAO,KAAK,CAAC;IAC5B,MAAM,QAAQ,GAAG,aAAa,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;IACjD,IAAI,CAAC,QAAQ,CAAC,EAAE;QAAE,OAAO,QAAQ,CAAC;IAClC,MAAM,SAAS,GAAG,cAAc,CAAC,QAAQ,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;IAChE,IAAI,CAAC,SAAS,CAAC,EAAE;QAAE,OAAO,SAAS,CAAC;IACpC,MAAM,WAAW,GAAG,mBAAmB,CAAC,CAAC,CAAC,CAAC;IAC3C,IACE,WAAW,CAAC,OAAO,KAAK,CAAC,CAAC,oBAAoB,CAAC;QAC/C,WAAW,CAAC,OAAO,KAAK,CAAC,CAAC,oBAAoB,CAAC,EAC/C,CAAC;QACD,OAAO,MAAM,CAAC,aAAa,CAAC,WAAW,EAAE,wCAAwC,CAAC,CAAC;IACrF,CAAC;IACD,OAAO,MAAM,CAAC;QACZ,QAAQ;QACR,KAAK;QACL,MAAM,EAAE,SAAS,CAAC,KAAK,CAAC,MAAM;QAC9B,YAAY,EAAE,CAAC,CAAC,gBAAgB,CAAW;QAC3C,WAAW,EAAE,CAAC,CAAC,cAAc,CAAa;QAC1C,SAAS,EAAE,CAAC,CAAC,WAAW,CAAW;QACnC,YAAY,EAAE,SAAS,CAAC,KAAK,CAAC,YAAY;QAC1C,WAAW;QACX,oBAAoB;KACrB,CAAC,CAAC;AACL,CAAC;AAED,MAAM,WAAW,GAAG,CAAC,GAAW,EAAE,EAAE,CAAC,MAAM,CAAQ,aAAa,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC;AAEnF,kDAAkD;AAClD,SAAS,UAAU,CAAC,IAAa,EAAE,MAAwB;IACzD,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC;QAAE,OAAO,WAAW,CAAC,wBAAwB,CAAC,CAAC;IACvE,IAAI,UAAkB,CAAC;IACvB,IAAI,CAAC;QACH,UAAU,GAAG,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IACpC,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,WAAW,CAAC,0BAA0B,CAAC,CAAC;IACjD,CAAC;IACD,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,MAAM,CAAC,YAAY,IAAI,sBAAsB,CAAC,EAAE,CAAC;QACxE,OAAO,MAAM,CAAC,aAAa,CAAC,QAAQ,EAAE,6BAA6B,CAAC,CAAC;IACvE,CAAC;IACD,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,SAAS,CAAC;QAAE,OAAO,WAAW,CAAC,qCAAqC,CAAC,CAAC;IAE7F,MAAM,GAAG,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC;IAChC,IAAI,IAAI,CAAC,SAAS,CAAC,KAAK,mBAAmB,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;QAC7E,OAAO,MAAM,CAAC,aAAa,CAAC,OAAO,EAAE,iCAAiC,MAAM,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC;IAChG,CAAC;IAED,MAAM,OAAO,GAAG,IAAI,CAAC,cAAc,CAAC,CAAC;IACrC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;QAC9E,OAAO,WAAW,CAAC,sBAAsB,CAAC,CAAC;IAC7C,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC,EAAE,CAAC;QAClE,OAAO,WAAW,CAAC,mBAAmB,CAAC,CAAC;IAC1C,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QAAE,OAAO,WAAW,CAAC,mBAAmB,CAAC,CAAC;IACtF,KAAK,MAAM,GAAG,IAAI,CAAC,oBAAoB,EAAE,oBAAoB,CAAU,EAAE,CAAC;QACxE,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAK,IAAI,CAAC,GAAG,CAAY,IAAI,CAAC,EAAE,CAAC;YACnE,OAAO,WAAW,CAAC,WAAW,GAAG,EAAE,CAAC,CAAC;QACvC,CAAC;IACH,CAAC;IACD,KAAK,MAAM,GAAG,IAAI,CAAC,SAAS,EAAE,UAAU,EAAE,kBAAkB,CAAU,EAAE,CAAC;QACvE,IAAI,GAAG,IAAI,IAAI,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YAAE,OAAO,WAAW,CAAC,WAAW,GAAG,EAAE,CAAC,CAAC;IAC/E,CAAC;IACD,OAAO,MAAM,CAAC,IAAI,CAAC,CAAC;AACtB,CAAC;AAED,wDAAwD;AACxD,SAAS,aAAa,CACpB,IAA6B;IAE7B,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAAE,OAAO,MAAM,CAAC,aAAa,CAAC,QAAQ,EAAE,mBAAmB,CAAC,CAAC;IACtF,MAAM,QAAQ,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC;IAClC,MAAM,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC;IAChC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC;QAAE,OAAO,WAAW,CAAC,gBAAgB,CAAC,CAAC;IAC9F,IAAI,QAAgB,CAAC;IACrB,IAAI,CAAC;QACH,QAAQ,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;IAC/B,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,MAAM,CAAC,aAAa,CAAC,QAAQ,EAAE,uBAAuB,CAAC,CAAC;IACjE,CAAC;IACD,IAAI,QAAQ,KAAK,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;QAC9B,OAAO,MAAM,CAAC,aAAa,CAAC,QAAQ,EAAE,kCAAkC,CAAC,CAAC;IAC5E,CAAC;IACD,OAAO,MAAM,CAAC,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC,CAAC;AACjD,CAAC;AAED,mGAAmG;AACnG,SAAS,WAAW,CAClB,IAA6B,EAC7B,OAAkB,EAClB,gBAA2C;IAE3C,MAAM,CAAC,GAAG,aAAa,CAAC;IACxB,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,WAAW,CAAC,iCAAiC,CAAC,CAAC;IAChF,MAAM,MAAM,GAAY,OAAO,CAAC,CAAC,CAAC,CAAC;IACnC,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,MAAM,EAAE,WAAW,CAAC,EAAE,CAAC;QAChE,OAAO,WAAW,CAAC,kBAAkB,CAAC,CAAC;IACzC,CAAC;IACD,MAAM,KAAK,GAAG,MAAM,CAAC,SAAS,CAAC,CAAC;IAChC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC;QAAE,OAAO,WAAW,CAAC,wBAAwB,CAAC,CAAC;IAEpE,MAAM,QAAQ,GAAG,YAAY,IAAI,MAAM,CAAC;IACxC,MAAM,UAAU,GAAY,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,gBAAgB,CAAC;IAC/E,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;QAC7B,OAAO,MAAM,CACX,CAAC,CAAC,kBAAkB,EACpB,6DAA6D,CAC9D,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,eAAe,CAAC,UAAU,CAAC,EAAE,CAAC;QACjC,OAAO,MAAM,CAAC,CAAC,CAAC,UAAU,EAAE,yDAAyD,CAAC,CAAC;IACzF,CAAC;IACD,IAAI,KAAK,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,GAAG,UAAU,CAAC,CAAC,KAAK,KAAK,EAAE,CAAC;QACvD,OAAO,MAAM,CAAC,CAAC,CAAC,UAAU,EAAE,8CAA8C,CAAC,CAAC;IAC9E,CAAC;IACD,MAAM,aAAa,GAAG,MAAM,CAAC,eAAe,CAAC,CAAC;IAC9C,IAAI,CAAC,aAAa,CAAC,aAAa,CAAC,IAAI,CAAC,WAAW,CAAC,aAAa,EAAE,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;QACjF,OAAO,MAAM,CAAC,CAAC,CAAC,SAAS,EAAE,oCAAoC,CAAC,CAAC;IACnE,CAAC;IACD,IAAI,CAAC,eAAe,CAAC,iBAAiB,CAAC,IAAI,CAAC,EAAE,aAAa,CAAC,GAAG,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC;QACxF,OAAO,MAAM,CAAC,CAAC,CAAC,SAAS,EAAE,sBAAsB,CAAC,CAAC;IACrD,CAAC;IACD,OAAO,MAAM,CAAC,EAAE,KAAK,EAAE,oBAAoB,EAAE,CAAC,QAAQ,EAAE,CAAC,CAAC;AAC5D,CAAC;AAED,8DAA8D;AAC9D,SAAS,UAAU,CAAC,KAAa,EAAE,MAAwB;IACzD,IAAI,KAAK,KAAK,MAAM,CAAC,KAAK;QAAE,OAAO,MAAM,CAAC,aAAa,CAAC,KAAK,EAAE,6BAA6B,CAAC,CAAC;IAC9F,IAAI,MAAM,CAAC,oBAAoB,EAAE,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QACjD,OAAO,MAAM,CAAC,aAAa,CAAC,KAAK,EAAE,+CAA+C,CAAC,CAAC;IACtF,CAAC;IACD,OAAO,MAAM,CAAC,IAAI,CAAC,CAAC;AACtB,CAAC;AAED;;;GAGG;AACH,SAAS,aAAa,CACpB,QAAmB,EACnB,MAAwB;IAExB,MAAM,CAAC,GAAG,aAAa,CAAC;IACxB,IAAI,SAAS,GAAG,CAAC,CAAC;IAClB,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAmC,CAAC;IAC5D,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC/B,IAAI,CAAC,aAAa,CAAC,OAAO,CAAC,IAAI,CAAC,WAAW,CAAC,OAAO,EAAE,YAAY,CAAC,EAAE,CAAC;YACnE,OAAO,WAAW,CAAC,mBAAmB,CAAC,CAAC;QAC1C,CAAC;QACD,IAAI,OAAO,CAAC,kBAAkB,CAAC,KAAK,QAAQ,IAAI,CAAC,CAAC,SAAS,IAAI,OAAO,CAAC,EAAE,CAAC;YACxE,OAAO,WAAW,CAAC,oCAAoC,CAAC,CAAC;QAC3D,CAAC;QACD,IAAI,aAAa,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,IAAI,CAAC,KAAK,OAAO,CAAC,cAAc,CAAC,EAAE,CAAC;YACxE,OAAO,MAAM,CAAC,CAAC,CAAC,WAAW,EAAE,qCAAqC,CAAC,CAAC;QACtE,CAAC;QACD,MAAM,OAAO,GAAG,OAAO,CAAC,SAAS,CAAC,CAAC;QACnC,IAAI,OAAO,CAAC,KAAK,CAAC,KAAK,MAAM,EAAE,CAAC;YAC9B,SAAS,IAAI,CAAC,CAAC;YACf,MAAM,OAAO,GAAG,YAAY,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;YAC9C,IAAI,OAAO,KAAK,SAAS;gBAAE,OAAO,OAAO,CAAC;QAC5C,CAAC;aAAM,IAAI,OAAO,CAAC,KAAK,CAAC,KAAK,SAAS,EAAE,CAAC;YACxC,MAAM,KAAK,GAAG,YAAY,CAAC,OAAO,CAAC,CAAC;YACpC,IAAI,CAAC,KAAK,CAAC,EAAE;gBAAE,OAAO,KAAK,CAAC;YAC5B,IAAI,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC;gBAAE,OAAO,WAAW,CAAC,+BAA+B,CAAC,CAAC;YACnF,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,EAAE,OAAkC,CAAC,CAAC;QAChE,CAAC;aAAM,CAAC;YACN,OAAO,WAAW,CAAC,8CAA8C,CAAC,CAAC;QACrE,CAAC;IACH,CAAC;IACD,IAAI,SAAS,KAAK,CAAC,EAAE,CAAC;QACpB,OAAO,MAAM,CAAC,CAAC,CAAC,OAAO,EAAE,uDAAuD,CAAC,CAAC;IACpF,CAAC;IACD,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC;QAAE,OAAO,WAAW,CAAC,qCAAqC,CAAC,CAAC;IACrF,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,IAAI,EAAE,EAAE,CAAC;QACpC,IAAI,KAAK,KAAK,MAAM,IAAI,KAAK,KAAK,MAAM,CAAC,KAAK,EAAE,CAAC;YAC/C,OAAO,MAAM,CAAC,CAAC,CAAC,KAAK,EAAE,gCAAgC,CAAC,CAAC;QAC3D,CAAC;IACH,CAAC;IACD,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC;QAAE,OAAO,MAAM,CAAC,CAAC,CAAC,KAAK,EAAE,kCAAkC,CAAC,CAAC;IAC5F,OAAO,MAAM,CAAC,QAAQ,CAAC,CAAC;AAC1B,CAAC;AAED,4DAA4D;AAC5D,SAAS,YAAY,CAAC,OAAgB;IACpC,IAAI,CAAC,aAAa,CAAC,OAAO,CAAC,IAAI,CAAC,WAAW,CAAC,OAAO,EAAE,YAAY,CAAC,EAAE,CAAC;QACnE,OAAO,WAAW,CAAC,mBAAmB,CAAC,CAAC;IAC1C,CAAC;IACD,MAAM,KAAK,GAAG,OAAO,IAAI,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;IAC7D,IAAI,KAAK,KAAK,MAAM,IAAI,OAAO,IAAI,OAAO;QAAE,OAAO,WAAW,CAAC,+BAA+B,CAAC,CAAC;IAChG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC;QAAE,OAAO,WAAW,CAAC,uBAAuB,CAAC,CAAC;IACnE,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC;AACvB,CAAC;AAED;;;GAGG;AACH,SAAS,cAAc,CACrB,QAA8C,EAC9C,KAAa,EACb,MAAwB;IAExB,MAAM,CAAC,GAAG,aAAa,CAAC;IACxB,MAAM,MAAM,GAAe,EAAE,CAAC;IAC9B,MAAM,UAAU,GAAG,IAAI,GAAG,EAAU,CAAC;IACrC,MAAM,YAAY,GAA2B,EAAE,CAAC;IAChD,IAAI,WAAW,GAAG,EAAE,CAAC;IACrB,IAAI,cAAc,GAAG,CAAC,CAAC;IACvB,KAAK,MAAM,CAAC,KAAK,EAAE,OAAO,CAAC,IAAI,QAAQ,EAAE,CAAC;QACxC,MAAM,GAAG,GAAG,OAAO,CAAC,QAAQ,CAAC,CAAC;QAC9B,MAAM,IAAI,GAAG,OAAO,CAAC,SAAS,CAAC,CAAC;QAChC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACzF,OAAO,WAAW,CAAC,kCAAkC,CAAC,CAAC;QACzD,CAAC;QACD,KAAK,MAAM,KAAK,IAAI,GAAG,EAAE,CAAC;YACxB,MAAM,GAAG,GAAG,aAAa,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;YACxC,IAAI,GAAG,KAAK,SAAS;gBAAE,OAAO,WAAW,CAAC,oCAAoC,CAAC,CAAC;YAChF,MAAM,GAAG,GAAG,GAAG,GAAG,CAAC,IAAI,IAAI,GAAG,CAAC,YAAY,IAAI,GAAG,CAAC,WAAW,EAAE,CAAC;YACjE,IAAI,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC;gBAAE,OAAO,WAAW,CAAC,iBAAiB,CAAC,CAAC;YAC/D,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YACpB,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACnB,CAAC;QACD,IAAI,KAAK,GAAG,EAAE,CAAC;QACf,IAAI,QAAyD,CAAC;QAC9D,KAAK,MAAM,MAAM,IAAI,IAAI,EAAE,CAAC;YAC1B,IACE,CAAC,aAAa,CAAC,MAAM,CAAC;gBACtB,CAAC,WAAW,CAAC,MAAM,EAAE,WAAW,CAAC;gBACjC,CAAC,SAAS,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;gBAC7B,CAAC,gBAAgB,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,EACnC,CAAC;gBACD,OAAO,WAAW,CAAC,kBAAkB,CAAC,CAAC;YACzC,CAAC;YACD,wEAAwE;YACxE,uBAAuB;YACvB,MAAM,OAAO,GAAG,EAAE,OAAO,EAAE,MAAM,CAAC,SAAS,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC;YACzE,IAAI,QAAQ,KAAK,SAAS,IAAI,cAAc,CAAC,QAAQ,EAAE,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;gBACrE,OAAO,WAAW,CAAC,iEAAiE,CAAC,CAAC;YACxF,CAAC;YACD,QAAQ,GAAG,OAAO,CAAC;YACnB,KAAK,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;YAChC,IAAI,OAAO,CAAC,OAAO,KAAK,MAAM,CAAC,KAAK,EAAE,CAAC;gBACrC,IAAI,KAAK,KAAK,MAAM,CAAC,KAAK;oBACxB,OAAO,MAAM,CAAC,CAAC,CAAC,SAAS,EAAE,oCAAoC,CAAC,CAAC;gBACnE,cAAc,IAAI,CAAC,CAAC;gBACpB,WAAW,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;YACxC,CAAC;iBAAM,IAAI,OAAO,CAAC,OAAO,KAAK,KAAK,EAAE,CAAC;gBACrC,OAAO,MAAM,CAAC,CAAC,CAAC,SAAS,EAAE,mDAAmD,CAAC,CAAC;YAClF,CAAC;QACH,CAAC;QACD,YAAY,CAAC,KAAK,CAAC,GAAG,KAAK,CAAC;IAC9B,CAAC;IACD,IAAI,cAAc,KAAK,CAAC;QAAE,OAAO,MAAM,CAAC,CAAC,CAAC,SAAS,EAAE,yCAAyC,CAAC,CAAC;IAChG,IAAI,WAAW,KAAK,MAAM,CAAC,MAAM;QAAE,OAAO,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,qCAAqC,CAAC,CAAC;IAClG,OAAO,MAAM,CAAC,EAAE,MAAM,EAAE,YAAY,EAAE,CAAC,CAAC;AAC1C,CAAC;AAED,4FAA4F;AAC5F,SAAS,aAAa,CAAC,KAAc,EAAE,KAAa;IAClD,IACE,CAAC,aAAa,CAAC,KAAK,CAAC;QACrB,CAAC,WAAW,CAAC,KAAK,EAAE,UAAU,CAAC;QAC/B,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QACtB,CAAC,OAAO,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC;QAChC,CAAC,OAAO,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC,EAC/B,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,OAAO;QACL,KAAK;QACL,IAAI,EAAE,KAAK,CAAC,MAAM,CAAC;QACnB,YAAY,EAAE,KAAK,CAAC,eAAe,CAAC;QACpC,WAAW,EAAE,KAAK,CAAC,cAAc,CAAC;KACnC,CAAC;AACJ,CAAC;AAED,wEAAwE;AACxE,MAAM,cAAc,GAAG,EAAE,CAAC;AAE1B;;;;;;;GAOG;AACH,MAAM,UAAU,mBAAmB,CAAC,IAAY;IAC9C,OAAO;QACL,OAAO,EAAE,cAAc,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,cAAc;QACpD,OAAO,EAAE,mBAAmB,CAAC,IAAI,EAAE,IAAI,CAAC;KACzC,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,cAAc,CAC5B,CAAsC,EACtC,CAAsC;IAEtC,IAAI,CAAC,CAAC,OAAO,KAAK,CAAC,CAAC,OAAO;QAAE,OAAO,CAAC,CAAC,OAAO,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACnE,OAAO,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC;AAC7B,CAAC;AAED,yGAAyG;AACzG,SAAS,YAAY,CAAC,OAAgB,EAAE,MAAwB;IAC9D,MAAM,CAAC,GAAG,aAAa,CAAC;IACxB,IAAI,CAAC,aAAa,CAAC,OAAO,CAAC,IAAI,CAAC,WAAW,CAAC,OAAO,EAAE,IAAI,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC;QACxE,OAAO,MAAM,CAAC,CAAC,CAAC,OAAO,EAAE,yDAAyD,CAAC,CAAC;IACtF,CAAC;IACD,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;IAC7B,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,IAAI,GAAG,CAAC,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC;QAChF,OAAO,MAAM,CAAC,CAAC,CAAC,OAAO,EAAE,yDAAyD,CAAC,CAAC;IACtF,CAAC;IACD,IAAI,IAAI,CAAC,SAAS,CAAC,KAAK,MAAM,CAAC,OAAO,IAAI,IAAI,CAAC,SAAS,CAAC,KAAK,MAAM,CAAC,OAAO,EAAE,CAAC;QAC7E,OAAO,MAAM,CAAC,CAAC,CAAC,OAAO,EAAE,8CAA8C,CAAC,CAAC;IAC3E,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@obbyx/obyte",
-  "version": "0.1.0",
+  "version": "0.1.1",
   "description": "Obyte primitives for x402: networks (CAIP-2), BigInt amounts, unit and signed-message validation, wallet, logging",
   "keywords": [
     "obyte",

package/src/unit/exact-unit.ts

@@ -117,10 +117,47 @@ export function validateExactUnit(
   expect: ExactExpectation,
   options: { authorDefinition?: SigDefinition } = {},
 ): Verdict<ExactUnitFacts> {
-  const R = EXACT_REASONS;
-  const unsupported = (why: string) => reject<ExactUnitFacts>(R.unsupported, why);
+  // The order of the checks is part of the contract: the first failing one
+  // decides the reason code.
+  const shaped = checkShape(unit, expect);
+  if (!shaped.ok) return shaped;
+  const u = shaped.value;
+  const hashed = checkUnitHash(u);
+  if (!hashed.ok) return hashed;
+  const { unitHash, messages, authors } = hashed.value;
+  const author = checkAuthor(u, authors, options.authorDefinition);
+  if (!author.ok) return author;
+  const { payer, definitionFromLedger } = author.value;
+  const roles = checkPayer(payer, expect);
+  if (!roles.ok) return roles;
+  const payments = checkMessages(messages, expect);
+  if (!payments.ok) return payments;
+  const transfers = checkTransfers(payments.value, payer, expect);
+  if (!transfers.ok) return transfers;
+  const commissions = expectedCommissions(u);
+  if (
+    commissions.headers !== u['headers_commission'] ||
+    commissions.payload !== u['payload_commission']
+  ) {
+    return reject(EXACT_REASONS.commissions, 'Commissions do not match the unit size');
+  }
+  return accept({
+    unitHash,
+    payer,
+    inputs: transfers.value.inputs,
+    lastBallUnit: u['last_ball_unit'] as string,
+    parentUnits: u['parent_units'] as string[],
+    timestamp: u['timestamp'] as number,
+    outputTotals: transfers.value.outputTotals,
+    commissions,
+    definitionFromLedger,
+  });
+}
+
+const unsupported = (why: string) => reject<never>(EXACT_REASONS.unsupported, why);
 
-  // --- structure & size ---------------------------------------------------
+/** Structure, size, network and header fields. */
+function checkShape(unit: unknown, expect: ExactExpectation): Verdict<Record<string, unknown>> {
   if (!isPlainObject(unit)) return unsupported('Unit must be an object');
   let serialized: string;
   try {
@@ -129,17 +166,15 @@ export function validateExactUnit(
     return unsupported('Unit is not serializable');
   }
   if (serialized.length > (expect.maxUnitBytes ?? DEFAULT_MAX_UNIT_BYTES)) {
-    return reject(R.tooLarge, 'Unit exceeds the size limit');
+    return reject(EXACT_REASONS.tooLarge, 'Unit exceeds the size limit');
   }
   if (!hasOnlyKeys(unit, UNIT_KEYS)) return unsupported('Unit has fields outside the profile');
 
-  // --- network --------------------------------------------------------------
   const net = expect.network.name;
   if (unit['version'] !== EXACT_UNIT_VERSIONS[net] || unit['alt'] !== ALT[net]) {
-    return reject(R.network, `Unit version/alt do not match ${expect.network.caip2}`);
+    return reject(EXACT_REASONS.network, `Unit version/alt do not match ${expect.network.caip2}`);
   }
 
-  // --- headers --------------------------------------------------------------
   const parents = unit['parent_units'];
   if (!Array.isArray(parents) || parents.length === 0 || !parents.every(isHash)) {
     return unsupported('Invalid parent_units');
@@ -156,9 +191,14 @@ export function validateExactUnit(
   for (const fee of ['tps_fee', 'burn_fee', 'max_aa_responses'] as const) {
     if (fee in unit && !isIndex(unit[fee])) return unsupported(`Invalid ${fee}`);
   }
+  return accept(unit);
+}
 
-  // --- unit hash --------------------------------------------------------------
-  if (!isHash(unit['unit'])) return reject(R.unitHash, 'Missing unit hash');
+/** The unit hash is present and matches the content. */
+function checkUnitHash(
+  unit: Record<string, unknown>,
+): Verdict<{ unitHash: string; messages: unknown[]; authors: unknown[] }> {
+  if (!isHash(unit['unit'])) return reject(EXACT_REASONS.unitHash, 'Missing unit hash');
   const messages = unit['messages'];
   const authors = unit['authors'];
   if (!Array.isArray(messages) || !Array.isArray(authors)) return unsupported('Malformed unit');
@@ -166,37 +206,40 @@ export function validateExactUnit(
   try {
     unitHash = getUnitHash(unit);
   } catch {
-    return reject(R.unitHash, 'Unit cannot be hashed');
+    return reject(EXACT_REASONS.unitHash, 'Unit cannot be hashed');
   }
-  if (unitHash !== unit['unit']) return reject(R.unitHash, 'Unit hash does not match content');
+  if (unitHash !== unit['unit']) {
+    return reject(EXACT_REASONS.unitHash, 'Unit hash does not match content');
+  }
+  return accept({ unitHash, messages, authors });
+}
 
-  // --- author, definition, signature -----------------------------------------
+/** One author with a single-sig definition (embedded or from the ledger) and a valid signature. */
+function checkAuthor(
+  unit: Record<string, unknown>,
+  authors: unknown[],
+  ledgerDefinition: SigDefinition | undefined,
+): Verdict<{ payer: string; definitionFromLedger: boolean }> {
+  const R = EXACT_REASONS;
   if (authors.length !== 1) return unsupported('Exactly one author is supported');
   const author: unknown = authors[0];
-  if (!isPlainObject(author) || !hasOnlyKeys(author, AUTHOR_KEYS))
+  if (!isPlainObject(author) || !hasOnlyKeys(author, AUTHOR_KEYS)) {
     return unsupported('Malformed author');
+  }
   const payer = author['address'];
   if (!isAddress(payer)) return unsupported('Invalid author address');
 
-  let definition: SigDefinition;
-  let definitionFromLedger = false;
-  if ('definition' in author) {
-    if (!isSigDefinition(author['definition'])) {
-      return reject(R.definition, "Only ['sig', {pubkey}] author definitions are supported");
-    }
-    definition = author['definition'];
-  } else if (options.authorDefinition !== undefined) {
-    if (!isSigDefinition(options.authorDefinition)) {
-      return reject(R.definition, "Only ['sig', {pubkey}] author definitions are supported");
-    }
-    definition = options.authorDefinition;
-    definitionFromLedger = true;
-  } else {
+  const embedded = 'definition' in author;
+  const definition: unknown = embedded ? author['definition'] : ledgerDefinition;
+  if (definition === undefined) {
     return reject(
       R.definitionRequired,
       'Author definition is not embedded; fetch it from the ledger',
     );
   }
+  if (!isSigDefinition(definition)) {
+    return reject(R.definition, "Only ['sig', {pubkey}] author definitions are supported");
+  }
   if (obyte.utils.getChash160([...definition]) !== payer) {
     return reject(R.definition, 'Definition does not match the author address');
   }
@@ -207,14 +250,27 @@ export function validateExactUnit(
   if (!verifySignature(getUnitHashToSign(unit), authentifiers['r'], definition[1].pubkey)) {
     return reject(R.signature, 'Signature is invalid');
   }
+  return accept({ payer, definitionFromLedger: !embedded });
+}
 
-  // --- payer / recipient sanity -------------------------------------------------
-  if (payer === expect.payTo) return reject(R.payer, 'Payer and payTo must differ');
+/** The payer is neither the recipient nor the facilitator. */
+function checkPayer(payer: string, expect: ExactExpectation): Verdict<null> {
+  if (payer === expect.payTo) return reject(EXACT_REASONS.payer, 'Payer and payTo must differ');
   if (expect.facilitatorAddresses?.includes(payer)) {
-    return reject(R.payer, 'A facilitator address must never be the payer');
+    return reject(EXACT_REASONS.payer, 'A facilitator address must never be the payer');
   }
+  return accept(null);
+}
 
-  // --- messages -----------------------------------------------------------------
+/**
+ * Inline messages with matching hashes: exactly one data message carrying the
+ * binding, one payment per asset, bytes always and only the expected asset besides.
+ */
+function checkMessages(
+  messages: unknown[],
+  expect: ExactExpectation,
+): Verdict<Map<string, Record<string, unknown>>> {
+  const R = EXACT_REASONS;
   let dataCount = 0;
   const payments = new Map<string, Record<string, unknown>>();
   for (const message of messages) {
@@ -233,29 +289,48 @@ export function validateExactUnit(
       const binding = checkBinding(payload, expect);
       if (binding !== undefined) return binding;
     } else if (message['app'] === 'payment') {
-      if (!isPlainObject(payload) || !hasOnlyKeys(payload, PAYMENT_KEYS)) {
-        return unsupported('Malformed payment');
-      }
-      const asset = 'asset' in payload ? payload['asset'] : 'base';
-      if (asset === 'base' && 'asset' in payload)
-        return unsupported('Bytes payment must omit asset');
-      if (!isAssetId(asset)) return unsupported('Invalid payment asset');
-      if (payments.has(asset)) return unsupported('One payment message per asset');
-      payments.set(asset, payload);
+      const asset = paymentAsset(payload);
+      if (!asset.ok) return asset;
+      if (payments.has(asset.value)) return unsupported('One payment message per asset');
+      payments.set(asset.value, payload as Record<string, unknown>);
     } else {
       return unsupported('Only payment and data messages are supported');
     }
   }
-  if (dataCount !== 1)
+  if (dataCount !== 1) {
     return reject(R.binding, 'Exactly one data message with the binding is required');
+  }
   if (!payments.has('base')) return unsupported('A bytes payment message is required');
-  const allowedAssets = new Set(['base', expect.asset]);
   for (const asset of payments.keys()) {
-    if (!allowedAssets.has(asset)) return reject(R.asset, 'Payment in an unexpected asset');
+    if (asset !== 'base' && asset !== expect.asset) {
+      return reject(R.asset, 'Payment in an unexpected asset');
+    }
   }
   if (!payments.has(expect.asset)) return reject(R.asset, 'No payment in the required asset');
+  return accept(payments);
+}
+
+/** The asset of a payment message ('base' when omitted). */
+function paymentAsset(payload: unknown): Verdict<string> {
+  if (!isPlainObject(payload) || !hasOnlyKeys(payload, PAYMENT_KEYS)) {
+    return unsupported('Malformed payment');
+  }
+  const asset = 'asset' in payload ? payload['asset'] : 'base';
+  if (asset === 'base' && 'asset' in payload) return unsupported('Bytes payment must omit asset');
+  if (!isAssetId(asset)) return unsupported('Invalid payment asset');
+  return accept(asset);
+}
 
-  // --- inputs & outputs -----------------------------------------------------------
+/**
+ * Transfer inputs only (no duplicates); sorted outputs that go to payTo
+ * (exactly once, the exact amount, the expected asset) or back to the payer.
+ */
+function checkTransfers(
+  payments: Map<string, Record<string, unknown>>,
+  payer: string,
+  expect: ExactExpectation,
+): Verdict<{ inputs: InputRef[]; outputTotals: Record<string, bigint> }> {
+  const R = EXACT_REASONS;
   const inputs: InputRef[] = [];
   const seenInputs = new Set<string>();
   const outputTotals: Record<string, bigint> = {};
@@ -268,24 +343,12 @@ export function validateExactUnit(
       return unsupported('Payment needs inputs and outputs');
     }
     for (const input of ins) {
-      if (
-        !isPlainObject(input) ||
-        !hasOnlyKeys(input, INPUT_KEYS) ||
-        !isHash(input['unit']) ||
-        !isIndex(input['message_index']) ||
-        !isIndex(input['output_index'])
-      ) {
-        return unsupported('Only transfer inputs are supported');
-      }
-      const key = `${input['unit']}:${input['message_index']}:${input['output_index']}`;
+      const ref = transferInput(input, asset);
+      if (ref === undefined) return unsupported('Only transfer inputs are supported');
+      const key = `${ref.unit}:${ref.messageIndex}:${ref.outputIndex}`;
       if (seenInputs.has(key)) return unsupported('Duplicate input');
       seenInputs.add(key);
-      inputs.push({
-        asset,
-        unit: input['unit'],
-        messageIndex: input['message_index'],
-        outputIndex: input['output_index'],
-      });
+      inputs.push(ref);
     }
     let total = 0n;
     let previous: { address: string; amount: number } | undefined;
@@ -305,14 +368,13 @@ export function validateExactUnit(
         return unsupported('Outputs must be sorted by address and amount without duplicates');
       }
       previous = current;
-      const amount = BigInt(output['amount']);
-      total += amount;
-      if (output['address'] === expect.payTo) {
+      total += BigInt(current.amount);
+      if (current.address === expect.payTo) {
         if (asset !== expect.asset)
           return reject(R.recipient, 'payTo receives an unexpected asset');
         outputsToPayTo += 1;
-        paidToPayTo += amount;
-      } else if (output['address'] !== payer) {
+        paidToPayTo += BigInt(current.amount);
+      } else if (current.address !== payer) {
         return reject(R.recipient, 'Outputs may only go to payTo or back to the payer');
       }
     }
@@ -320,27 +382,26 @@ export function validateExactUnit(
   }
   if (outputsToPayTo !== 1) return reject(R.recipient, 'Exactly one output to payTo is required');
   if (paidToPayTo !== expect.amount) return reject(R.amount, 'Amount paid to payTo does not match');
+  return accept({ inputs, outputTotals });
+}
 
-  // --- commissions ------------------------------------------------------------------
-  const commissions = expectedCommissions(unit);
+/** A transfer input (unit, message_index, output_index), or undefined for anything else. */
+function transferInput(input: unknown, asset: string): InputRef | undefined {
   if (
-    commissions.headers !== unit['headers_commission'] ||
-    commissions.payload !== unit['payload_commission']
+    !isPlainObject(input) ||
+    !hasOnlyKeys(input, INPUT_KEYS) ||
+    !isHash(input['unit']) ||
+    !isIndex(input['message_index']) ||
+    !isIndex(input['output_index'])
   ) {
-    return reject(R.commissions, 'Commissions do not match the unit size');
+    return undefined;
   }
-
-  return accept({
-    unitHash,
-    payer,
-    inputs,
-    lastBallUnit: unit['last_ball_unit'],
-    parentUnits: parents,
-    timestamp: unit['timestamp'] as number,
-    outputTotals,
-    commissions,
-    definitionFromLedger,
-  });
+  return {
+    asset,
+    unit: input['unit'],
+    messageIndex: input['message_index'],
+    outputIndex: input['output_index'],
+  };
 }
 
 /** Length of one base64 secp256k1 signature, as counted by obyte.js. */
@@ -369,10 +430,8 @@ export function compareOutputs(
   return a.amount - b.amount;
 }
 
-function checkBinding(
-  payload: unknown,
-  expect: ExactExpectation,
-): Verdict<ExactUnitFacts> | undefined {
+/** The data message is exactly `{x402: {binding, quoteId}}` of this operation (undefined when it is). */
+function checkBinding(payload: unknown, expect: ExactExpectation): Verdict<never> | undefined {
   const R = EXACT_REASONS;
   if (!isPlainObject(payload) || !hasOnlyKeys(payload, new Set(['x402']))) {
     return reject(R.binding, 'Data message must be exactly {x402: {binding, quoteId}}');