@mem-cash/validation 0.0.1

package/README.md

@@ -0,0 +1,45 @@
+# @mem-cash/validation
+
+Stateless transaction evaluator for Bitcoin Cash. Validates raw transaction hex against consensus rules, policy checks, and libauth VM script verification.
+
+## Usage
+
+```typescript
+import { createTxVerifier } from "@mem-cash/validation";
+
+const verifier = await createTxVerifier({
+  vmVersion: "BCH_2025_05",
+  standard: true,
+});
+
+const result = verifier.verify(rawHex, sourceOutputs, chainState);
+if (result.success) {
+  console.log(result.txid, result.fee, result.validatedTx);
+} else {
+  console.log(result.code, result.error); // BCHN reject code + reason
+}
+```
+
+## Verification Pipeline
+
+Matches BCHN's `AcceptToMemoryPool` order:
+
+1. Decode transaction hex
+2. Null prevout check (`bad-txns-prevout-null`)
+3. Validate sourceOutputs count matches inputs (`bad-txns-inputs-missingorspent`)
+4. Locktime finality (`bad-txns-nonfinal`)
+5. Coinbase maturity (`bad-txns-premature-spend-of-coinbase`)
+6. Unspendable inputs (`bad-txns-input-scriptpubkey-unspendable`)
+7. Input value ranges (`bad-txns-inputvalues-outofrange`)
+8. Output value ranges and fee computation (`bad-txns-outputvalues-outofrange`, `bad-txns-in-belowout`) -- per-output and cumulative sum checked against `MAX_MONEY`
+9. BIP68 sequence locks (`non-BIP68-final`)
+10. Min relay fee (`min relay fee not met`)
+11. Absurd fee guard (`absurdly-high-fee`)
+12. Dust check (`dust`)
+13. VM script verification (`mandatory-script-verify-flag-failed` / `non-mandatory-script-verify-flag`)
+
+All error strings and reject codes match BCHN exactly. The verifier implements BCHN's two-pass script verification to distinguish mandatory from non-mandatory failures.
+
+## Config Validation
+
+`createTxVerifier` rejects non-positive `minRelayFeePerKb` and `maxFee` values at construction time to prevent bypassing fee policy checks.

package/dist/checks.d.ts

@@ -0,0 +1,90 @@
+/**
+ * Result of a consensus/policy check.
+ * On failure, `code` is the BCHN reject code, `error` is the BCHN
+ * strRejectReason, and `debugMessage` is optional extra context
+ * (matching BCHN's strDebugMessage).
+ */
+export type CheckResult = {
+    ok: true;
+} | {
+    ok: false;
+    code: number;
+    error: string;
+    debugMessage?: string;
+};
+/** Input descriptor for null prevout check. */
+interface PrevoutInput {
+    readonly txid: string;
+    readonly vout: number;
+}
+/**
+ * Reject inputs referencing the null outpoint (all-zero txid + vout 0xFFFFFFFF).
+ * BCHN: CheckRegularTransaction → "bad-txns-prevout-null" (REJECT_INVALID, DoS 10).
+ */
+export declare function checkNullPrevout(inputs: readonly PrevoutInput[]): CheckResult;
+/**
+ * Validate each input value is within range and cumulative sum does not exceed MAX_MONEY.
+ * BCHN: CheckTxInputs → "bad-txns-inputvalues-outofrange" (REJECT_INVALID, DoS 100).
+ */
+export declare function checkInputValueRanges(inputValues: readonly bigint[]): CheckResult;
+/** Input descriptor for coinbase maturity check. */
+interface MaturityInput {
+    readonly isCoinbase?: boolean | undefined;
+    readonly height: number;
+}
+/**
+ * Check that coinbase outputs have sufficient maturity (>= 100 blocks deep).
+ * BCHN: CheckTxInputs → "bad-txns-premature-spend-of-coinbase" (REJECT_INVALID).
+ */
+export declare function checkCoinbaseMaturity(inputs: readonly MaturityInput[], spendHeight: number): CheckResult;
+/** Input descriptor for unspendable check. */
+interface ScriptInput {
+    readonly lockingBytecode: Uint8Array;
+}
+/**
+ * Reject inputs whose locking script starts with OP_RETURN or exceeds MAX_SCRIPT_SIZE.
+ * BCHN: CheckTxInputs → "bad-txns-input-scriptpubkey-unspendable" (REJECT_INVALID, DoS 100).
+ */
+export declare function checkUnspendableInputs(inputs: readonly ScriptInput[]): CheckResult;
+/** Input descriptor for locktime finality check. */
+interface SequenceInput {
+    readonly sequenceNumber: number;
+}
+/**
+ * Check IsFinalTx logic from BCHN.
+ * BCHN: ContextualCheckTransaction → "bad-txns-nonfinal" (REJECT_INVALID, DoS 10).
+ */
+export declare function checkLocktimeFinality(locktime: number, inputs: readonly SequenceInput[], blockHeight: number, mtp: number): CheckResult;
+/** Input descriptor for BIP68 sequence lock check. */
+interface SequenceLockInput {
+    readonly sequenceNumber: number;
+    readonly height: number;
+    /** MTP at height-1. Required for time-based locks. */
+    readonly medianTimePast?: number;
+}
+/**
+ * Check BIP68 relative sequence locks.
+ * Only applies when txVersion >= 2.
+ * BCHN: AcceptToMemoryPoolWorker → "non-BIP68-final" (REJECT_NONSTANDARD, DoS 0).
+ */
+export declare function checkSequenceLocks(txVersion: number, inputs: readonly SequenceLockInput[], spendHeight: number, spendMtp: number): CheckResult;
+/**
+ * Check that fee meets the minimum relay fee rate.
+ * BCHN: AcceptToMemoryPoolWorker → "min relay fee not met" (REJECT_INSUFFICIENTFEE, DoS 0).
+ */
+export declare function checkMinRelayFee(fee: bigint, txSize: number, minFeePerKb: bigint): CheckResult;
+/**
+ * Guard against absurdly high fees.
+ * BCHN: AcceptToMemoryPoolWorker → "absurdly-high-fee" (REJECT_HIGHFEE).
+ */
+export declare function checkAbsurdFee(fee: bigint, maxFee: bigint): CheckResult;
+/**
+ * Check that no non-OP_RETURN output is dust.
+ * BCHN: IsStandardTx → "dust" (REJECT_NONSTANDARD, DoS 0).
+ */
+export declare function checkDustOutputs(outputs: readonly {
+    readonly lockingBytecode: Uint8Array;
+    readonly valueSatoshis: bigint;
+}[], dustRelayFeePerKb: bigint): CheckResult;
+export {};
+//# sourceMappingURL=checks.d.ts.map

package/dist/checks.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"checks.d.ts","sourceRoot":"","sources":["../src/checks.ts"],"names":[],"mappings":"AAmBA;;;;;GAKG;AACH,MAAM,MAAM,WAAW,GACpB;IAAE,EAAE,EAAE,IAAI,CAAA;CAAE,GACZ;IAAE,EAAE,EAAE,KAAK,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,YAAY,CAAC,EAAE,MAAM,CAAA;CAAE,CAAC;AAIrE,+CAA+C;AAC/C,UAAU,YAAY;IACrB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACtB;AAED;;;GAGG;AACH,wBAAgB,gBAAgB,CAAC,MAAM,EAAE,SAAS,YAAY,EAAE,GAAG,WAAW,CAO7E;AAED;;;GAGG;AACH,wBAAgB,qBAAqB,CAAC,WAAW,EAAE,SAAS,MAAM,EAAE,GAAG,WAAW,CAYjF;AAED,oDAAoD;AACpD,UAAU,aAAa;IACtB,QAAQ,CAAC,UAAU,CAAC,EAAE,OAAO,GAAG,SAAS,CAAC;IAC1C,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACxB;AAED;;;GAGG;AACH,wBAAgB,qBAAqB,CACpC,MAAM,EAAE,SAAS,aAAa,EAAE,EAChC,WAAW,EAAE,MAAM,GACjB,WAAW,CAeb;AAED,8CAA8C;AAC9C,UAAU,WAAW;IACpB,QAAQ,CAAC,eAAe,EAAE,UAAU,CAAC;CACrC;AAED;;;GAGG;AACH,wBAAgB,sBAAsB,CAAC,MAAM,EAAE,SAAS,WAAW,EAAE,GAAG,WAAW,CAqBlF;AAED,oDAAoD;AACpD,UAAU,aAAa;IACtB,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;CAChC;AAED;;;GAGG;AACH,wBAAgB,qBAAqB,CACpC,QAAQ,EAAE,MAAM,EAChB,MAAM,EAAE,SAAS,aAAa,EAAE,EAChC,WAAW,EAAE,MAAM,EACnB,GAAG,EAAE,MAAM,GACT,WAAW,CAkBb;AAED,sDAAsD;AACtD,UAAU,iBAAiB;IAC1B,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,sDAAsD;IACtD,QAAQ,CAAC,cAAc,CAAC,EAAE,MAAM,CAAC;CACjC;AAED;;;;GAIG;AACH,wBAAgB,kBAAkB,CACjC,SAAS,EAAE,MAAM,EACjB,MAAM,EAAE,SAAS,iBAAiB,EAAE,EACpC,WAAW,EAAE,MAAM,EACnB,QAAQ,EAAE,MAAM,GACd,WAAW,CA2Bb;AAED;;;GAGG;AACH,wBAAgB,gBAAgB,CAAC,GAAG,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,GAAG,WAAW,CAM9F;AAED;;;GAGG;AACH,wBAAgB,cAAc,CAAC,GAAG,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,WAAW,CAUvE;AAED;;;GAGG;AACH,wBAAgB,gBAAgB,CAC/B,OAAO,EAAE,SAAS;IAAE,QAAQ,CAAC,eAAe,EAAE,UAAU,CAAC;IAAC,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAA;CAAE,EAAE,EAC5F,iBAAiB,EAAE,MAAM,GACvB,WAAW,CAwBb"}

package/dist/checks.js

@@ -0,0 +1,187 @@
+import { REJECT_HIGHFEE, REJECT_INSUFFICIENTFEE, REJECT_INVALID, REJECT_NONSTANDARD, } from "@mem-cash/types";
+import { COINBASE_MATURITY, LOCKTIME_THRESHOLD, MAX_MONEY, MAX_SCRIPT_SIZE, OP_RETURN, SEQUENCE_FINAL, SEQUENCE_LOCKTIME_DISABLE_FLAG, SEQUENCE_LOCKTIME_GRANULARITY, SEQUENCE_LOCKTIME_MASK, SEQUENCE_LOCKTIME_TYPE_FLAG, } from "./constants.js";
+const CHECK_OK = { ok: true };
+/**
+ * Reject inputs referencing the null outpoint (all-zero txid + vout 0xFFFFFFFF).
+ * BCHN: CheckRegularTransaction → "bad-txns-prevout-null" (REJECT_INVALID, DoS 10).
+ */
+export function checkNullPrevout(inputs) {
+    for (const input of inputs) {
+        if (input.txid === "00".repeat(32) && input.vout === 0xffffffff) {
+            return { ok: false, code: REJECT_INVALID, error: "bad-txns-prevout-null" };
+        }
+    }
+    return CHECK_OK;
+}
+/**
+ * Validate each input value is within range and cumulative sum does not exceed MAX_MONEY.
+ * BCHN: CheckTxInputs → "bad-txns-inputvalues-outofrange" (REJECT_INVALID, DoS 100).
+ */
+export function checkInputValueRanges(inputValues) {
+    let sum = 0n;
+    for (const value of inputValues) {
+        if (value > MAX_MONEY) {
+            return { ok: false, code: REJECT_INVALID, error: "bad-txns-inputvalues-outofrange" };
+        }
+        sum += value;
+        if (sum > MAX_MONEY) {
+            return { ok: false, code: REJECT_INVALID, error: "bad-txns-inputvalues-outofrange" };
+        }
+    }
+    return CHECK_OK;
+}
+/**
+ * Check that coinbase outputs have sufficient maturity (>= 100 blocks deep).
+ * BCHN: CheckTxInputs → "bad-txns-premature-spend-of-coinbase" (REJECT_INVALID).
+ */
+export function checkCoinbaseMaturity(inputs, spendHeight) {
+    for (const input of inputs) {
+        if (input.isCoinbase) {
+            const depth = spendHeight - input.height;
+            if (depth < COINBASE_MATURITY) {
+                return {
+                    ok: false,
+                    code: REJECT_INVALID,
+                    error: "bad-txns-premature-spend-of-coinbase",
+                    debugMessage: `tried to spend coinbase at depth ${depth}`,
+                };
+            }
+        }
+    }
+    return CHECK_OK;
+}
+/**
+ * Reject inputs whose locking script starts with OP_RETURN or exceeds MAX_SCRIPT_SIZE.
+ * BCHN: CheckTxInputs → "bad-txns-input-scriptpubkey-unspendable" (REJECT_INVALID, DoS 100).
+ */
+export function checkUnspendableInputs(inputs) {
+    for (const entry of inputs) {
+        const script = entry.lockingBytecode;
+        if (script.length > 0 && script[0] === OP_RETURN) {
+            return {
+                ok: false,
+                code: REJECT_INVALID,
+                error: "bad-txns-input-scriptpubkey-unspendable",
+                debugMessage: "input scriptPubKey is unspendable",
+            };
+        }
+        if (script.length > MAX_SCRIPT_SIZE) {
+            return {
+                ok: false,
+                code: REJECT_INVALID,
+                error: "bad-txns-input-scriptpubkey-unspendable",
+                debugMessage: "input scriptPubKey is unspendable",
+            };
+        }
+    }
+    return CHECK_OK;
+}
+/**
+ * Check IsFinalTx logic from BCHN.
+ * BCHN: ContextualCheckTransaction → "bad-txns-nonfinal" (REJECT_INVALID, DoS 10).
+ */
+export function checkLocktimeFinality(locktime, inputs, blockHeight, mtp) {
+    if (locktime === 0)
+        return CHECK_OK;
+    const threshold = locktime < LOCKTIME_THRESHOLD ? blockHeight : mtp;
+    if (locktime < threshold)
+        return CHECK_OK;
+    // Locktime not satisfied by height/time — check if all inputs are final
+    for (const input of inputs) {
+        if (input.sequenceNumber !== SEQUENCE_FINAL) {
+            return {
+                ok: false,
+                code: REJECT_INVALID,
+                error: "bad-txns-nonfinal",
+                debugMessage: "non-final transaction",
+            };
+        }
+    }
+    return CHECK_OK;
+}
+/**
+ * Check BIP68 relative sequence locks.
+ * Only applies when txVersion >= 2.
+ * BCHN: AcceptToMemoryPoolWorker → "non-BIP68-final" (REJECT_NONSTANDARD, DoS 0).
+ */
+export function checkSequenceLocks(txVersion, inputs, spendHeight, spendMtp) {
+    if (txVersion < 2)
+        return CHECK_OK;
+    for (const input of inputs) {
+        const seq = input.sequenceNumber;
+        // Bit 31 set → relative lock disabled for this input
+        if (seq & SEQUENCE_LOCKTIME_DISABLE_FLAG)
+            continue;
+        const maskedSeq = seq & SEQUENCE_LOCKTIME_MASK;
+        if (seq & SEQUENCE_LOCKTIME_TYPE_FLAG) {
+            // Time-based lock: compare MTP difference
+            const prevMtp = input.medianTimePast ?? 0;
+            const requiredTime = maskedSeq * SEQUENCE_LOCKTIME_GRANULARITY;
+            if (spendMtp - prevMtp < requiredTime) {
+                return { ok: false, code: REJECT_NONSTANDARD, error: "non-BIP68-final" };
+            }
+        }
+        else {
+            // Height-based lock
+            const requiredDepth = maskedSeq;
+            if (spendHeight - input.height < requiredDepth) {
+                return { ok: false, code: REJECT_NONSTANDARD, error: "non-BIP68-final" };
+            }
+        }
+    }
+    return CHECK_OK;
+}
+/**
+ * Check that fee meets the minimum relay fee rate.
+ * BCHN: AcceptToMemoryPoolWorker → "min relay fee not met" (REJECT_INSUFFICIENTFEE, DoS 0).
+ */
+export function checkMinRelayFee(fee, txSize, minFeePerKb) {
+    const minFee = (minFeePerKb * BigInt(txSize) + 999n) / 1000n;
+    if (fee < minFee) {
+        return { ok: false, code: REJECT_INSUFFICIENTFEE, error: "min relay fee not met" };
+    }
+    return CHECK_OK;
+}
+/**
+ * Guard against absurdly high fees.
+ * BCHN: AcceptToMemoryPoolWorker → "absurdly-high-fee" (REJECT_HIGHFEE).
+ */
+export function checkAbsurdFee(fee, maxFee) {
+    if (fee > maxFee) {
+        return {
+            ok: false,
+            code: REJECT_HIGHFEE,
+            error: "absurdly-high-fee",
+            debugMessage: `${fee} > ${maxFee}`,
+        };
+    }
+    return CHECK_OK;
+}
+/**
+ * Check that no non-OP_RETURN output is dust.
+ * BCHN: IsStandardTx → "dust" (REJECT_NONSTANDARD, DoS 0).
+ */
+export function checkDustOutputs(outputs, dustRelayFeePerKb) {
+    for (const output of outputs) {
+        // OP_RETURN outputs are exempt from dust checks
+        if (output.lockingBytecode.length > 0 && output.lockingBytecode[0] === OP_RETURN) {
+            continue;
+        }
+        // Empty scripts are unspendable — also exempt
+        if (output.lockingBytecode.length === 0) {
+            continue;
+        }
+        // Serialize size of a CTxOut: 8 (value) + compactSize(scriptLen) + scriptLen
+        // For scripts < 253 bytes, compactSize is 1 byte
+        const scriptLen = output.lockingBytecode.length;
+        const outputSize = 8 + (scriptLen < 253 ? 1 : 3) + scriptLen;
+        // 148 = estimated input size to spend (32 prevhash + 4 previndex + 1 scriptLen + 107 sigScript + 4 sequence)
+        const spendSize = outputSize + 148;
+        const dustThreshold = (3n * dustRelayFeePerKb * BigInt(spendSize)) / 1000n;
+        if (output.valueSatoshis < dustThreshold) {
+            return { ok: false, code: REJECT_NONSTANDARD, error: "dust" };
+        }
+    }
+    return CHECK_OK;
+}
+//# sourceMappingURL=checks.js.map

package/dist/checks.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"checks.js","sourceRoot":"","sources":["../src/checks.ts"],"names":[],"mappings":"AAAA,OAAO,EACN,cAAc,EACd,sBAAsB,EACtB,cAAc,EACd,kBAAkB,GAClB,MAAM,iBAAiB,CAAC;AACzB,OAAO,EACN,iBAAiB,EACjB,kBAAkB,EAClB,SAAS,EACT,eAAe,EACf,SAAS,EACT,cAAc,EACd,8BAA8B,EAC9B,6BAA6B,EAC7B,sBAAsB,EACtB,2BAA2B,GAC3B,MAAM,gBAAgB,CAAC;AAYxB,MAAM,QAAQ,GAAgB,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC;AAQ3C;;;GAGG;AACH,MAAM,UAAU,gBAAgB,CAAC,MAA+B;IAC/D,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC5B,IAAI,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YACjE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,cAAc,EAAE,KAAK,EAAE,uBAAuB,EAAE,CAAC;QAC5E,CAAC;IACF,CAAC;IACD,OAAO,QAAQ,CAAC;AACjB,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,qBAAqB,CAAC,WAA8B;IACnE,IAAI,GAAG,GAAG,EAAE,CAAC;IACb,KAAK,MAAM,KAAK,IAAI,WAAW,EAAE,CAAC;QACjC,IAAI,KAAK,GAAG,SAAS,EAAE,CAAC;YACvB,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,cAAc,EAAE,KAAK,EAAE,iCAAiC,EAAE,CAAC;QACtF,CAAC;QACD,GAAG,IAAI,KAAK,CAAC;QACb,IAAI,GAAG,GAAG,SAAS,EAAE,CAAC;YACrB,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,cAAc,EAAE,KAAK,EAAE,iCAAiC,EAAE,CAAC;QACtF,CAAC;IACF,CAAC;IACD,OAAO,QAAQ,CAAC;AACjB,CAAC;AAQD;;;GAGG;AACH,MAAM,UAAU,qBAAqB,CACpC,MAAgC,EAChC,WAAmB;IAEnB,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC5B,IAAI,KAAK,CAAC,UAAU,EAAE,CAAC;YACtB,MAAM,KAAK,GAAG,WAAW,GAAG,KAAK,CAAC,MAAM,CAAC;YACzC,IAAI,KAAK,GAAG,iBAAiB,EAAE,CAAC;gBAC/B,OAAO;oBACN,EAAE,EAAE,KAAK;oBACT,IAAI,EAAE,cAAc;oBACpB,KAAK,EAAE,sCAAsC;oBAC7C,YAAY,EAAE,oCAAoC,KAAK,EAAE;iBACzD,CAAC;YACH,CAAC;QACF,CAAC;IACF,CAAC;IACD,OAAO,QAAQ,CAAC;AACjB,CAAC;AAOD;;;GAGG;AACH,MAAM,UAAU,sBAAsB,CAAC,MAA8B;IACpE,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC5B,MAAM,MAAM,GAAG,KAAK,CAAC,eAAe,CAAC;QACrC,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,KAAK,SAAS,EAAE,CAAC;YAClD,OAAO;gBACN,EAAE,EAAE,KAAK;gBACT,IAAI,EAAE,cAAc;gBACpB,KAAK,EAAE,yCAAyC;gBAChD,YAAY,EAAE,mCAAmC;aACjD,CAAC;QACH,CAAC;QACD,IAAI,MAAM,CAAC,MAAM,GAAG,eAAe,EAAE,CAAC;YACrC,OAAO;gBACN,EAAE,EAAE,KAAK;gBACT,IAAI,EAAE,cAAc;gBACpB,KAAK,EAAE,yCAAyC;gBAChD,YAAY,EAAE,mCAAmC;aACjD,CAAC;QACH,CAAC;IACF,CAAC;IACD,OAAO,QAAQ,CAAC;AACjB,CAAC;AAOD;;;GAGG;AACH,MAAM,UAAU,qBAAqB,CACpC,QAAgB,EAChB,MAAgC,EAChC,WAAmB,EACnB,GAAW;IAEX,IAAI,QAAQ,KAAK,CAAC;QAAE,OAAO,QAAQ,CAAC;IAEpC,MAAM,SAAS,GAAG,QAAQ,GAAG,kBAAkB,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,GAAG,CAAC;IACpE,IAAI,QAAQ,GAAG,SAAS;QAAE,OAAO,QAAQ,CAAC;IAE1C,wEAAwE;IACxE,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC5B,IAAI,KAAK,CAAC,cAAc,KAAK,cAAc,EAAE,CAAC;YAC7C,OAAO;gBACN,EAAE,EAAE,KAAK;gBACT,IAAI,EAAE,cAAc;gBACpB,KAAK,EAAE,mBAAmB;gBAC1B,YAAY,EAAE,uBAAuB;aACrC,CAAC;QACH,CAAC;IACF,CAAC;IACD,OAAO,QAAQ,CAAC;AACjB,CAAC;AAUD;;;;GAIG;AACH,MAAM,UAAU,kBAAkB,CACjC,SAAiB,EACjB,MAAoC,EACpC,WAAmB,EACnB,QAAgB;IAEhB,IAAI,SAAS,GAAG,CAAC;QAAE,OAAO,QAAQ,CAAC;IAEnC,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC5B,MAAM,GAAG,GAAG,KAAK,CAAC,cAAc,CAAC;QAEjC,qDAAqD;QACrD,IAAI,GAAG,GAAG,8BAA8B;YAAE,SAAS;QAEnD,MAAM,SAAS,GAAG,GAAG,GAAG,sBAAsB,CAAC;QAE/C,IAAI,GAAG,GAAG,2BAA2B,EAAE,CAAC;YACvC,0CAA0C;YAC1C,MAAM,OAAO,GAAG,KAAK,CAAC,cAAc,IAAI,CAAC,CAAC;YAC1C,MAAM,YAAY,GAAG,SAAS,GAAG,6BAA6B,CAAC;YAC/D,IAAI,QAAQ,GAAG,OAAO,GAAG,YAAY,EAAE,CAAC;gBACvC,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,kBAAkB,EAAE,KAAK,EAAE,iBAAiB,EAAE,CAAC;YAC1E,CAAC;QACF,CAAC;aAAM,CAAC;YACP,oBAAoB;YACpB,MAAM,aAAa,GAAG,SAAS,CAAC;YAChC,IAAI,WAAW,GAAG,KAAK,CAAC,MAAM,GAAG,aAAa,EAAE,CAAC;gBAChD,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,kBAAkB,EAAE,KAAK,EAAE,iBAAiB,EAAE,CAAC;YAC1E,CAAC;QACF,CAAC;IACF,CAAC;IACD,OAAO,QAAQ,CAAC;AACjB,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,gBAAgB,CAAC,GAAW,EAAE,MAAc,EAAE,WAAmB;IAChF,MAAM,MAAM,GAAG,CAAC,WAAW,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,KAAK,CAAC;IAC7D,IAAI,GAAG,GAAG,MAAM,EAAE,CAAC;QAClB,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,sBAAsB,EAAE,KAAK,EAAE,uBAAuB,EAAE,CAAC;IACpF,CAAC;IACD,OAAO,QAAQ,CAAC;AACjB,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,cAAc,CAAC,GAAW,EAAE,MAAc;IACzD,IAAI,GAAG,GAAG,MAAM,EAAE,CAAC;QAClB,OAAO;YACN,EAAE,EAAE,KAAK;YACT,IAAI,EAAE,cAAc;YACpB,KAAK,EAAE,mBAAmB;YAC1B,YAAY,EAAE,GAAG,GAAG,MAAM,MAAM,EAAE;SAClC,CAAC;IACH,CAAC;IACD,OAAO,QAAQ,CAAC;AACjB,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,gBAAgB,CAC/B,OAA4F,EAC5F,iBAAyB;IAEzB,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC9B,gDAAgD;QAChD,IAAI,MAAM,CAAC,eAAe,CAAC,MAAM,GAAG,CAAC,IAAI,MAAM,CAAC,eAAe,CAAC,CAAC,CAAC,KAAK,SAAS,EAAE,CAAC;YAClF,SAAS;QACV,CAAC;QACD,8CAA8C;QAC9C,IAAI,MAAM,CAAC,eAAe,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACzC,SAAS;QACV,CAAC;QAED,6EAA6E;QAC7E,iDAAiD;QACjD,MAAM,SAAS,GAAG,MAAM,CAAC,eAAe,CAAC,MAAM,CAAC;QAChD,MAAM,UAAU,GAAG,CAAC,GAAG,CAAC,SAAS,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC;QAC7D,6GAA6G;QAC7G,MAAM,SAAS,GAAG,UAAU,GAAG,GAAG,CAAC;QACnC,MAAM,aAAa,GAAG,CAAC,EAAE,GAAG,iBAAiB,GAAG,MAAM,CAAC,SAAS,CAAC,CAAC,GAAG,KAAK,CAAC;QAE3E,IAAI,MAAM,CAAC,aAAa,GAAG,aAAa,EAAE,CAAC;YAC1C,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,kBAAkB,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;QAC/D,CAAC;IACF,CAAC;IACD,OAAO,QAAQ,CAAC;AACjB,CAAC"}

package/dist/constants.d.ts

@@ -0,0 +1,31 @@
+/** Maximum total supply of BCH in satoshis (21 million × 10^8). */
+export declare const MAX_MONEY = 2100000000000000n;
+/** Number of blocks before a coinbase output can be spent. */
+export declare const COINBASE_MATURITY = 100;
+/** Locktime values below this are interpreted as block heights; above as Unix timestamps. */
+export declare const LOCKTIME_THRESHOLD = 500000000;
+/** Sequence number indicating no relative lock-time or finality. */
+export declare const SEQUENCE_FINAL = 4294967295;
+/** BIP68: if bit 31 is set, sequence lock is disabled for this input. */
+export declare const SEQUENCE_LOCKTIME_DISABLE_FLAG: number;
+/** BIP68: if bit 22 is set, lock is time-based; otherwise height-based. */
+export declare const SEQUENCE_LOCKTIME_TYPE_FLAG: number;
+/** BIP68: mask for the 16-bit relative lock value. */
+export declare const SEQUENCE_LOCKTIME_MASK = 65535;
+/** BIP68: time-based granularity in seconds (2^9 = 512). */
+export declare const SEQUENCE_LOCKTIME_GRANULARITY = 512;
+/** Coinbase transaction prevout txid (all zeros). */
+export declare const NULL_TXID: string;
+/** Coinbase transaction prevout vout. */
+export declare const NULL_VOUT = 4294967295;
+/** OP_RETURN opcode — marks an output as provably unspendable. */
+export declare const OP_RETURN = 106;
+/** Maximum locking script size in bytes. */
+export declare const MAX_SCRIPT_SIZE = 10000;
+/** BIP113: number of previous blocks used to compute Median Time Past. */
+export declare const MTP_BLOCK_COUNT = 11;
+/** Default minimum relay fee in satoshis per kilobyte. */
+export declare const DEFAULT_MIN_RELAY_FEE_PER_KB = 1000n;
+/** Default maximum acceptable fee in satoshis (0.1 BCH). */
+export declare const DEFAULT_MAX_FEE = 10000000n;
+//# sourceMappingURL=constants.d.ts.map

package/dist/constants.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"constants.d.ts","sourceRoot":"","sources":["../src/constants.ts"],"names":[],"mappings":"AAAA,mEAAmE;AACnE,eAAO,MAAM,SAAS,oBAAyB,CAAC;AAEhD,8DAA8D;AAC9D,eAAO,MAAM,iBAAiB,MAAM,CAAC;AAErC,6FAA6F;AAC7F,eAAO,MAAM,kBAAkB,YAAc,CAAC;AAE9C,oEAAoE;AACpE,eAAO,MAAM,cAAc,aAAa,CAAC;AAEzC,yEAAyE;AACzE,eAAO,MAAM,8BAA8B,QAAU,CAAC;AAEtD,2EAA2E;AAC3E,eAAO,MAAM,2BAA2B,QAAU,CAAC;AAEnD,sDAAsD;AACtD,eAAO,MAAM,sBAAsB,QAAa,CAAC;AAEjD,4DAA4D;AAC5D,eAAO,MAAM,6BAA6B,MAAM,CAAC;AAEjD,qDAAqD;AACrD,eAAO,MAAM,SAAS,QAAkB,CAAC;AAEzC,yCAAyC;AACzC,eAAO,MAAM,SAAS,aAAa,CAAC;AAEpC,kEAAkE;AAClE,eAAO,MAAM,SAAS,MAAO,CAAC;AAE9B,4CAA4C;AAC5C,eAAO,MAAM,eAAe,QAAS,CAAC;AAEtC,0EAA0E;AAC1E,eAAO,MAAM,eAAe,KAAK,CAAC;AAElC,0DAA0D;AAC1D,eAAO,MAAM,4BAA4B,QAAQ,CAAC;AAElD,4DAA4D;AAC5D,eAAO,MAAM,eAAe,YAAc,CAAC"}

package/dist/constants.js

@@ -0,0 +1,31 @@
+/** Maximum total supply of BCH in satoshis (21 million × 10^8). */
+export const MAX_MONEY = 2100000000000000n;
+/** Number of blocks before a coinbase output can be spent. */
+export const COINBASE_MATURITY = 100;
+/** Locktime values below this are interpreted as block heights; above as Unix timestamps. */
+export const LOCKTIME_THRESHOLD = 500_000_000;
+/** Sequence number indicating no relative lock-time or finality. */
+export const SEQUENCE_FINAL = 0xffffffff;
+/** BIP68: if bit 31 is set, sequence lock is disabled for this input. */
+export const SEQUENCE_LOCKTIME_DISABLE_FLAG = 1 << 31;
+/** BIP68: if bit 22 is set, lock is time-based; otherwise height-based. */
+export const SEQUENCE_LOCKTIME_TYPE_FLAG = 1 << 22;
+/** BIP68: mask for the 16-bit relative lock value. */
+export const SEQUENCE_LOCKTIME_MASK = 0x0000ffff;
+/** BIP68: time-based granularity in seconds (2^9 = 512). */
+export const SEQUENCE_LOCKTIME_GRANULARITY = 512;
+/** Coinbase transaction prevout txid (all zeros). */
+export const NULL_TXID = "00".repeat(32);
+/** Coinbase transaction prevout vout. */
+export const NULL_VOUT = 0xffffffff;
+/** OP_RETURN opcode — marks an output as provably unspendable. */
+export const OP_RETURN = 0x6a;
+/** Maximum locking script size in bytes. */
+export const MAX_SCRIPT_SIZE = 10_000;
+/** BIP113: number of previous blocks used to compute Median Time Past. */
+export const MTP_BLOCK_COUNT = 11;
+/** Default minimum relay fee in satoshis per kilobyte. */
+export const DEFAULT_MIN_RELAY_FEE_PER_KB = 1000n;
+/** Default maximum acceptable fee in satoshis (0.1 BCH). */
+export const DEFAULT_MAX_FEE = 10000000n;
+//# sourceMappingURL=constants.js.map

package/dist/constants.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"constants.js","sourceRoot":"","sources":["../src/constants.ts"],"names":[],"mappings":"AAAA,mEAAmE;AACnE,MAAM,CAAC,MAAM,SAAS,GAAG,iBAAsB,CAAC;AAEhD,8DAA8D;AAC9D,MAAM,CAAC,MAAM,iBAAiB,GAAG,GAAG,CAAC;AAErC,6FAA6F;AAC7F,MAAM,CAAC,MAAM,kBAAkB,GAAG,WAAW,CAAC;AAE9C,oEAAoE;AACpE,MAAM,CAAC,MAAM,cAAc,GAAG,UAAU,CAAC;AAEzC,yEAAyE;AACzE,MAAM,CAAC,MAAM,8BAA8B,GAAG,CAAC,IAAI,EAAE,CAAC;AAEtD,2EAA2E;AAC3E,MAAM,CAAC,MAAM,2BAA2B,GAAG,CAAC,IAAI,EAAE,CAAC;AAEnD,sDAAsD;AACtD,MAAM,CAAC,MAAM,sBAAsB,GAAG,UAAU,CAAC;AAEjD,4DAA4D;AAC5D,MAAM,CAAC,MAAM,6BAA6B,GAAG,GAAG,CAAC;AAEjD,qDAAqD;AACrD,MAAM,CAAC,MAAM,SAAS,GAAG,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;AAEzC,yCAAyC;AACzC,MAAM,CAAC,MAAM,SAAS,GAAG,UAAU,CAAC;AAEpC,kEAAkE;AAClE,MAAM,CAAC,MAAM,SAAS,GAAG,IAAI,CAAC;AAE9B,4CAA4C;AAC5C,MAAM,CAAC,MAAM,eAAe,GAAG,MAAM,CAAC;AAEtC,0EAA0E;AAC1E,MAAM,CAAC,MAAM,eAAe,GAAG,EAAE,CAAC;AAElC,0DAA0D;AAC1D,MAAM,CAAC,MAAM,4BAA4B,GAAG,KAAK,CAAC;AAElD,4DAA4D;AAC5D,MAAM,CAAC,MAAM,eAAe,GAAG,SAAW,CAAC"}

package/dist/index.d.ts

@@ -0,0 +1,6 @@
+export type { CheckResult } from "./checks.js";
+export { checkAbsurdFee, checkCoinbaseMaturity, checkDustOutputs, checkInputValueRanges, checkLocktimeFinality, checkMinRelayFee, checkNullPrevout, checkSequenceLocks, checkUnspendableInputs, } from "./checks.js";
+export { COINBASE_MATURITY, DEFAULT_MAX_FEE, DEFAULT_MIN_RELAY_FEE_PER_KB, LOCKTIME_THRESHOLD, MAX_MONEY, MAX_SCRIPT_SIZE, MTP_BLOCK_COUNT, OP_RETURN, SEQUENCE_FINAL, SEQUENCE_LOCKTIME_DISABLE_FLAG, SEQUENCE_LOCKTIME_GRANULARITY, SEQUENCE_LOCKTIME_MASK, SEQUENCE_LOCKTIME_TYPE_FLAG, } from "./constants.js";
+export type { ChainState, DebugFailure, DebugInputResult, DebugResult, DebugSuccess, SourceOutput, Transaction, TxVerifier, TxVerifierConfig, ValidatedTransaction, VerifyFailure, VerifyResult, VerifySuccess, VmVersion, } from "./types.js";
+export { createTxVerifier } from "./verifier.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,YAAY,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAC/C,OAAO,EACN,cAAc,EACd,qBAAqB,EACrB,gBAAgB,EAChB,qBAAqB,EACrB,qBAAqB,EACrB,gBAAgB,EAChB,gBAAgB,EAChB,kBAAkB,EAClB,sBAAsB,GACtB,MAAM,aAAa,CAAC;AACrB,OAAO,EACN,iBAAiB,EACjB,eAAe,EACf,4BAA4B,EAC5B,kBAAkB,EAClB,SAAS,EACT,eAAe,EACf,eAAe,EACf,SAAS,EACT,cAAc,EACd,8BAA8B,EAC9B,6BAA6B,EAC7B,sBAAsB,EACtB,2BAA2B,GAC3B,MAAM,gBAAgB,CAAC;AACxB,YAAY,EACX,UAAU,EACV,YAAY,EACZ,gBAAgB,EAChB,WAAW,EACX,YAAY,EACZ,YAAY,EACZ,WAAW,EACX,UAAU,EACV,gBAAgB,EAChB,oBAAoB,EACpB,aAAa,EACb,YAAY,EACZ,aAAa,EACb,SAAS,GACT,MAAM,YAAY,CAAC;AACpB,OAAO,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC"}

package/dist/index.js

@@ -0,0 +1,4 @@
+export { checkAbsurdFee, checkCoinbaseMaturity, checkDustOutputs, checkInputValueRanges, checkLocktimeFinality, checkMinRelayFee, checkNullPrevout, checkSequenceLocks, checkUnspendableInputs, } from "./checks.js";
+export { COINBASE_MATURITY, DEFAULT_MAX_FEE, DEFAULT_MIN_RELAY_FEE_PER_KB, LOCKTIME_THRESHOLD, MAX_MONEY, MAX_SCRIPT_SIZE, MTP_BLOCK_COUNT, OP_RETURN, SEQUENCE_FINAL, SEQUENCE_LOCKTIME_DISABLE_FLAG, SEQUENCE_LOCKTIME_GRANULARITY, SEQUENCE_LOCKTIME_MASK, SEQUENCE_LOCKTIME_TYPE_FLAG, } from "./constants.js";
+export { createTxVerifier } from "./verifier.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":"AACA,OAAO,EACN,cAAc,EACd,qBAAqB,EACrB,gBAAgB,EAChB,qBAAqB,EACrB,qBAAqB,EACrB,gBAAgB,EAChB,gBAAgB,EAChB,kBAAkB,EAClB,sBAAsB,GACtB,MAAM,aAAa,CAAC;AACrB,OAAO,EACN,iBAAiB,EACjB,eAAe,EACf,4BAA4B,EAC5B,kBAAkB,EAClB,SAAS,EACT,eAAe,EACf,eAAe,EACf,SAAS,EACT,cAAc,EACd,8BAA8B,EAC9B,6BAA6B,EAC7B,sBAAsB,EACtB,2BAA2B,GAC3B,MAAM,gBAAgB,CAAC;AAiBxB,OAAO,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC"}

package/dist/types.d.ts

@@ -0,0 +1,105 @@
+import type { decodeTransactionBch, Output } from "@bitauth/libauth";
+/** Supported BCH virtual machine versions (matches libauth identifiers). */
+export type VmVersion = "BCH_2023_05" | "BCH_2025_05" | "BCH_2026_05" | "BCH_SPEC";
+/** Configuration for the transaction verifier. */
+export interface TxVerifierConfig {
+    /** VM version to use (default: "BCH_2025_05"). */
+    vmVersion?: VmVersion;
+    /** Whether to enforce standard transaction rules (default: true). */
+    standard?: boolean;
+    /** Minimum relay fee in satoshis per kilobyte (default: 1000). */
+    minRelayFeePerKb?: bigint;
+    /** Maximum acceptable fee in satoshis (default: 10_000_000 = 0.1 BCH). */
+    maxFee?: bigint;
+}
+/**
+ * Chain state required for consensus checks.
+ * The caller derives these from their storage/headers.
+ */
+export interface ChainState {
+    /** Current chain tip height. */
+    readonly height: number;
+    /** BIP113 Median Time Past at the current tip. */
+    readonly medianTimePast: number;
+}
+/**
+ * Source output with consensus-relevant metadata.
+ * Extends libauth's Output with confirmation height and coinbase flag.
+ */
+export interface SourceOutput extends Output {
+    /** Confirmation height. 0 = mempool/unconfirmed. Defaults to 1 if omitted. */
+    readonly height?: number;
+    /** Whether this output was created by a coinbase transaction. */
+    readonly isCoinbase?: boolean;
+    /** BIP113 MTP at height-1. Required for BIP68 time-based sequence locks. */
+    readonly medianTimePast?: number;
+}
+/** Decoded BCH transaction (non-error result from decodeTransactionBch). */
+export type Transaction = Exclude<ReturnType<typeof decodeTransactionBch>, string>;
+/** Validated transaction data returned by verify/debug. */
+export interface ValidatedTransaction {
+    readonly txid: string;
+    readonly rawHex: string;
+    readonly fee: bigint;
+    readonly size: number;
+    /** The decoded libauth transaction. */
+    readonly transaction: Transaction;
+    /** The source outputs as provided by the caller. */
+    readonly sourceOutputs: readonly SourceOutput[];
+}
+/** Successful transaction verification result. */
+export interface VerifySuccess {
+    readonly success: true;
+    readonly txid: string;
+    readonly fee: bigint;
+    readonly size: number;
+    readonly validatedTx: ValidatedTransaction;
+}
+/** Failed transaction verification result. */
+export interface VerifyFailure {
+    readonly success: false;
+    /** BCHN reject code (e.g. REJECT_INVALID, REJECT_NONSTANDARD). */
+    readonly code: number;
+    /** BCHN strRejectReason (e.g. "bad-txns-prevout-null"). */
+    readonly error: string;
+    /** BCHN strDebugMessage — optional extra context. */
+    readonly debugMessage?: string;
+}
+/** Result of verifying a transaction. */
+export type VerifyResult = VerifySuccess | VerifyFailure;
+/** Per-input debug trace. */
+export interface DebugInputResult {
+    readonly inputIndex: number;
+    readonly success: boolean;
+    readonly error?: string;
+}
+/** Successful debug result with per-input traces. */
+export interface DebugSuccess {
+    readonly success: true;
+    readonly txid: string;
+    readonly fee: bigint;
+    readonly size: number;
+    readonly validatedTx: ValidatedTransaction;
+    readonly inputResults: readonly DebugInputResult[];
+}
+/** Failed debug result with optional partial traces. */
+export interface DebugFailure {
+    readonly success: false;
+    /** BCHN reject code. */
+    readonly code: number;
+    /** BCHN strRejectReason. */
+    readonly error: string;
+    /** BCHN strDebugMessage — optional extra context. */
+    readonly debugMessage?: string;
+    readonly inputResults?: readonly DebugInputResult[];
+}
+/** Result of debugging a transaction. */
+export type DebugResult = DebugSuccess | DebugFailure;
+/** Transaction verifier interface. */
+export interface TxVerifier {
+    /** Verify a raw transaction hex. Returns ValidatedTransaction on success. */
+    verify(rawHex: string, sourceOutputs: readonly SourceOutput[], chainState: ChainState): VerifyResult;
+    /** Debug a raw transaction hex with per-input traces. Returns ValidatedTransaction on success. */
+    debug(rawHex: string, sourceOutputs: readonly SourceOutput[], chainState: ChainState): DebugResult;
+}
+//# sourceMappingURL=types.d.ts.map

package/dist/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAErE,4EAA4E;AAC5E,MAAM,MAAM,SAAS,GAAG,aAAa,GAAG,aAAa,GAAG,aAAa,GAAG,UAAU,CAAC;AAEnF,kDAAkD;AAClD,MAAM,WAAW,gBAAgB;IAChC,kDAAkD;IAClD,SAAS,CAAC,EAAE,SAAS,CAAC;IACtB,qEAAqE;IACrE,QAAQ,CAAC,EAAE,OAAO,CAAC;IACnB,kEAAkE;IAClE,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B,0EAA0E;IAC1E,MAAM,CAAC,EAAE,MAAM,CAAC;CAChB;AAED;;;GAGG;AACH,MAAM,WAAW,UAAU;IAC1B,gCAAgC;IAChC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,kDAAkD;IAClD,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;CAChC;AAED;;;GAGG;AACH,MAAM,WAAW,YAAa,SAAQ,MAAM;IAC3C,8EAA8E;IAC9E,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,iEAAiE;IACjE,QAAQ,CAAC,UAAU,CAAC,EAAE,OAAO,CAAC;IAC9B,4EAA4E;IAC5E,QAAQ,CAAC,cAAc,CAAC,EAAE,MAAM,CAAC;CACjC;AAED,4EAA4E;AAC5E,MAAM,MAAM,WAAW,GAAG,OAAO,CAAC,UAAU,CAAC,OAAO,oBAAoB,CAAC,EAAE,MAAM,CAAC,CAAC;AAEnF,2DAA2D;AAC3D,MAAM,WAAW,oBAAoB;IACpC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,uCAAuC;IACvC,QAAQ,CAAC,WAAW,EAAE,WAAW,CAAC;IAClC,oDAAoD;IACpD,QAAQ,CAAC,aAAa,EAAE,SAAS,YAAY,EAAE,CAAC;CAChD;AAED,kDAAkD;AAClD,MAAM,WAAW,aAAa;IAC7B,QAAQ,CAAC,OAAO,EAAE,IAAI,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,WAAW,EAAE,oBAAoB,CAAC;CAC3C;AAED,8CAA8C;AAC9C,MAAM,WAAW,aAAa;IAC7B,QAAQ,CAAC,OAAO,EAAE,KAAK,CAAC;IACxB,kEAAkE;IAClE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,2DAA2D;IAC3D,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,qDAAqD;IACrD,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;CAC/B;AAED,yCAAyC;AACzC,MAAM,MAAM,YAAY,GAAG,aAAa,GAAG,aAAa,CAAC;AAEzD,6BAA6B;AAC7B,MAAM,WAAW,gBAAgB;IAChC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;CACxB;AAED,qDAAqD;AACrD,MAAM,WAAW,YAAY;IAC5B,QAAQ,CAAC,OAAO,EAAE,IAAI,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,WAAW,EAAE,oBAAoB,CAAC;IAC3C,QAAQ,CAAC,YAAY,EAAE,SAAS,gBAAgB,EAAE,CAAC;CACnD;AAED,wDAAwD;AACxD,MAAM,WAAW,YAAY;IAC5B,QAAQ,CAAC,OAAO,EAAE,KAAK,CAAC;IACxB,wBAAwB;IACxB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,4BAA4B;IAC5B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,qDAAqD;IACrD,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,YAAY,CAAC,EAAE,SAAS,gBAAgB,EAAE,CAAC;CACpD;AAED,yCAAyC;AACzC,MAAM,MAAM,WAAW,GAAG,YAAY,GAAG,YAAY,CAAC;AAEtD,sCAAsC;AACtC,MAAM,WAAW,UAAU;IAC1B,6EAA6E;IAC7E,MAAM,CACL,MAAM,EAAE,MAAM,EACd,aAAa,EAAE,SAAS,YAAY,EAAE,EACtC,UAAU,EAAE,UAAU,GACpB,YAAY,CAAC;IAChB,kGAAkG;IAClG,KAAK,CACJ,MAAM,EAAE,MAAM,EACd,aAAa,EAAE,SAAS,YAAY,EAAE,EACtC,UAAU,EAAE,UAAU,GACpB,WAAW,CAAC;CACf"}

package/dist/types.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=types.js.map

package/dist/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":""}

package/dist/verifier.d.ts

@@ -0,0 +1,23 @@
+import type { TxVerifier, TxVerifierConfig } from "./types.js";
+/**
+ * Create a stateless transaction verifier.
+ * All context (source outputs, chain state) is provided per call.
+ *
+ * Pipeline order (matching BCHN AcceptToMemoryPool):
+ *  1. Decode tx hex
+ *  2. Null prevout check
+ *  3. Validate sourceOutputs length
+ *  4. Locktime finality check
+ *  5. Coinbase maturity check
+ *  6. Unspendable inputs check
+ *  7. Input value ranges check
+ *  8. Compute fee
+ *  9. BIP68 sequence locks check
+ * 10. Min relay fee check (policy, before VM)
+ * 11. Absurd fee guard (policy, before VM)
+ * 12. Dust output check (policy, standard only)
+ * 13. VM verify (most expensive — last)
+ * 14. Build ValidatedTransaction
+ */
+export declare function createTxVerifier(config?: TxVerifierConfig): Promise<TxVerifier>;
+//# sourceMappingURL=verifier.d.ts.map

package/dist/verifier.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"verifier.d.ts","sourceRoot":"","sources":["../src/verifier.ts"],"names":[],"mappings":"AAqBA,OAAO,KAAK,EAMX,UAAU,EACV,gBAAgB,EAIhB,MAAM,YAAY,CAAC;AAqFpB;;;;;;;;;;;;;;;;;;;GAmBG;AACH,wBAAsB,gBAAgB,CAAC,MAAM,CAAC,EAAE,gBAAgB,GAAG,OAAO,CAAC,UAAU,CAAC,CAqTrF"}

package/dist/verifier.js

@@ -0,0 +1,333 @@
+import { binToHex, decodeTransactionBch, encodeTransactionBch, hashTransactionUiOrder, hexToBin, } from "@bitauth/libauth";
+import { REJECT_INVALID, REJECT_MALFORMED, REJECT_NONSTANDARD } from "@mem-cash/types";
+import { checkAbsurdFee, checkCoinbaseMaturity, checkDustOutputs, checkInputValueRanges, checkLocktimeFinality, checkMinRelayFee, checkNullPrevout, checkSequenceLocks, checkUnspendableInputs, } from "./checks.js";
+import { DEFAULT_MAX_FEE, DEFAULT_MIN_RELAY_FEE_PER_KB, MAX_MONEY } from "./constants.js";
+/**
+ * Dynamically import and create a libauth VM for the given version.
+ * Only the requested VM version is loaded, keeping other versions tree-shakeable.
+ */
+async function createVmFacade(version, standard) {
+    const lib = await import("@bitauth/libauth");
+    const createFn = (() => {
+        switch (version) {
+            case "BCH_2023_05":
+                return lib.createVirtualMachineBch2023;
+            case "BCH_2025_05":
+                return lib.createVirtualMachineBch2025;
+            case "BCH_2026_05":
+                return lib.createVirtualMachineBch2026;
+            case "BCH_SPEC":
+                return lib.createVirtualMachineBchSpec;
+        }
+    })();
+    const vm = createFn(standard);
+    return {
+        verify(resolved) {
+            return vm.verify(resolved);
+        },
+        debugInput(program) {
+            const debugTrace = vm.debug(program);
+            const keys = Object.keys(debugTrace);
+            const stateCount = keys.length;
+            if (stateCount === 0) {
+                return { success: false, error: "No execution states produced" };
+            }
+            const lastState = debugTrace[stateCount - 1];
+            const stateResult = vm.stateSuccess(lastState);
+            if (stateResult === true) {
+                return { success: true };
+            }
+            return { success: false, error: stateResult };
+        },
+    };
+}
+/** Strip consensus metadata from SourceOutput[], keeping only libauth Output fields. */
+function toVmOutputs(sourceOutputs) {
+    return sourceOutputs.map((so) => {
+        const output = {
+            lockingBytecode: so.lockingBytecode,
+            valueSatoshis: so.valueSatoshis,
+        };
+        if (so.token) {
+            output.token = so.token;
+        }
+        return output;
+    });
+}
+/**
+ * Create a stateless transaction verifier.
+ * All context (source outputs, chain state) is provided per call.
+ *
+ * Pipeline order (matching BCHN AcceptToMemoryPool):
+ *  1. Decode tx hex
+ *  2. Null prevout check
+ *  3. Validate sourceOutputs length
+ *  4. Locktime finality check
+ *  5. Coinbase maturity check
+ *  6. Unspendable inputs check
+ *  7. Input value ranges check
+ *  8. Compute fee
+ *  9. BIP68 sequence locks check
+ * 10. Min relay fee check (policy, before VM)
+ * 11. Absurd fee guard (policy, before VM)
+ * 12. Dust output check (policy, standard only)
+ * 13. VM verify (most expensive — last)
+ * 14. Build ValidatedTransaction
+ */
+export async function createTxVerifier(config) {
+    const version = config?.vmVersion ?? "BCH_2025_05";
+    const standard = config?.standard ?? true;
+    const minRelayFeePerKb = config?.minRelayFeePerKb ?? DEFAULT_MIN_RELAY_FEE_PER_KB;
+    const maxFee = config?.maxFee ?? DEFAULT_MAX_FEE;
+    if (minRelayFeePerKb <= 0n) {
+        throw new Error("minRelayFeePerKb must be positive");
+    }
+    if (maxFee <= 0n) {
+        throw new Error("maxFee must be positive");
+    }
+    const vm = await createVmFacade(version, standard);
+    // Consensus-only VM for two-pass script verification (BCHN CheckInputs pattern).
+    // When standard=true, a script failure is re-checked with consensus-only flags to
+    // distinguish mandatory vs non-mandatory violations.
+    const consensusVm = standard ? await createVmFacade(version, false) : null;
+    /** Run pre-VM pipeline steps 1-12. Returns validated data or error. */
+    function preVmPipeline(rawHex, sourceOutputs, chainState) {
+        const spendHeight = chainState.height + 1;
+        // 1. Decode tx hex
+        const rawBytes = hexToBin(rawHex);
+        const decoded = decodeTransactionBch(rawBytes);
+        if (typeof decoded === "string") {
+            return {
+                ok: false,
+                code: REJECT_MALFORMED,
+                error: "TX decode failed",
+                debugMessage: decoded,
+            };
+        }
+        // 2. Null prevout check
+        const prevoutInputs = decoded.inputs.map((inp) => ({
+            txid: binToHex(inp.outpointTransactionHash),
+            vout: inp.outpointIndex,
+        }));
+        const nullCheck = checkNullPrevout(prevoutInputs);
+        if (!nullCheck.ok)
+            return nullCheck;
+        // 3. Validate sourceOutputs count matches inputs
+        if (sourceOutputs.length !== decoded.inputs.length) {
+            return {
+                ok: false,
+                code: REJECT_INVALID,
+                error: "bad-txns-inputs-missingorspent",
+                debugMessage: `sourceOutputs length (${sourceOutputs.length}) does not match inputs length (${decoded.inputs.length})`,
+            };
+        }
+        // 4. Locktime finality check
+        const locktimeCheck = checkLocktimeFinality(decoded.locktime, decoded.inputs, spendHeight, chainState.medianTimePast);
+        if (!locktimeCheck.ok)
+            return locktimeCheck;
+        // Re-encode to get canonical bytes for size and txid
+        const encodedBytes = encodeTransactionBch(decoded);
+        const txid = binToHex(hashTransactionUiOrder(encodedBytes));
+        // 5. Coinbase maturity check
+        const maturityCheck = checkCoinbaseMaturity(sourceOutputs.map((so) => ({
+            isCoinbase: so.isCoinbase,
+            height: so.height ?? 1,
+        })), spendHeight);
+        if (!maturityCheck.ok)
+            return maturityCheck;
+        // 6. Unspendable inputs check
+        const unspendableCheck = checkUnspendableInputs(sourceOutputs);
+        if (!unspendableCheck.ok)
+            return unspendableCheck;
+        // 7. Input value ranges check
+        const valueCheck = checkInputValueRanges(sourceOutputs.map((so) => so.valueSatoshis));
+        if (!valueCheck.ok)
+            return valueCheck;
+        // 8. Compute fee (validate output values first)
+        let inputSum = 0n;
+        for (const so of sourceOutputs) {
+            inputSum += so.valueSatoshis;
+        }
+        let outputSum = 0n;
+        for (const output of decoded.outputs) {
+            if (output.valueSatoshis < 0n || output.valueSatoshis > MAX_MONEY) {
+                return {
+                    ok: false,
+                    code: REJECT_INVALID,
+                    error: "bad-txns-outputvalues-outofrange",
+                };
+            }
+            outputSum += output.valueSatoshis;
+            if (outputSum > MAX_MONEY) {
+                return {
+                    ok: false,
+                    code: REJECT_INVALID,
+                    error: "bad-txns-outputvalues-outofrange",
+                };
+            }
+        }
+        const fee = inputSum - outputSum;
+        if (fee < 0n) {
+            return {
+                ok: false,
+                code: REJECT_INVALID,
+                error: "bad-txns-in-belowout",
+                debugMessage: `value in (${inputSum}) < value out (${outputSum})`,
+            };
+        }
+        // 9. BIP68 sequence locks check
+        const seqCheck = checkSequenceLocks(decoded.version, sourceOutputs.map((so, idx) => {
+            const input = {
+                sequenceNumber: decoded.inputs[idx]?.sequenceNumber ?? 0xffffffff,
+                height: so.height ?? 1,
+            };
+            if (so.medianTimePast != null)
+                input.medianTimePast = so.medianTimePast;
+            return input;
+        }), spendHeight, chainState.medianTimePast);
+        if (!seqCheck.ok)
+            return seqCheck;
+        // 10. Min relay fee check (policy)
+        const size = encodedBytes.length;
+        const feeCheck = checkMinRelayFee(fee, size, minRelayFeePerKb);
+        if (!feeCheck.ok)
+            return feeCheck;
+        // 11. Absurd fee guard (policy)
+        const absurdCheck = checkAbsurdFee(fee, maxFee);
+        if (!absurdCheck.ok)
+            return absurdCheck;
+        // 12. Dust output check (policy, matches BCHN IsStandardTx)
+        if (standard) {
+            const dustCheck = checkDustOutputs(decoded.outputs, minRelayFeePerKb);
+            if (!dustCheck.ok)
+                return dustCheck;
+        }
+        return { ok: true, decoded, txid, encodedBytes, fee };
+    }
+    /**
+     * Classify a VM script error as mandatory or non-mandatory by re-checking
+     * with the consensus-only VM (BCHN CheckInputs two-pass pattern).
+     */
+    function classifyScriptError(primaryError, consensusCheck) {
+        if (consensusVm) {
+            const consensusResult = consensusCheck();
+            if (consensusResult === true) {
+                return {
+                    code: REJECT_NONSTANDARD,
+                    error: `non-mandatory-script-verify-flag (${primaryError})`,
+                };
+            }
+            return {
+                code: REJECT_INVALID,
+                error: `mandatory-script-verify-flag-failed (${consensusResult})`,
+            };
+        }
+        return {
+            code: REJECT_INVALID,
+            error: `mandatory-script-verify-flag-failed (${primaryError})`,
+        };
+    }
+    /** Convert a pipeline failure to a result failure, avoiding undefined in optional fields. */
+    function pipelineToFailure(f) {
+        const result = {
+            success: false,
+            code: f.code,
+            error: f.error,
+        };
+        if (f.debugMessage != null)
+            result.debugMessage = f.debugMessage;
+        return result;
+    }
+    function verify(rawHex, sourceOutputs, chainState) {
+        const pipeline = preVmPipeline(rawHex, sourceOutputs, chainState);
+        if (!pipeline.ok)
+            return pipelineToFailure(pipeline);
+        const { decoded, txid, encodedBytes, fee } = pipeline;
+        // 13. VM verify (most expensive — last)
+        const vmOutputs = toVmOutputs(sourceOutputs);
+        const verifyResult = vm.verify({ sourceOutputs: vmOutputs, transaction: decoded });
+        if (verifyResult !== true) {
+            const { code, error } = classifyScriptError(verifyResult, () => consensusVm
+                ? consensusVm.verify({ sourceOutputs: vmOutputs, transaction: decoded })
+                : verifyResult);
+            return { success: false, code, error };
+        }
+        // 14. Build ValidatedTransaction
+        const size = encodedBytes.length;
+        const validatedTx = {
+            txid,
+            rawHex,
+            fee,
+            size,
+            transaction: decoded,
+            sourceOutputs,
+        };
+        return { success: true, txid, fee, size, validatedTx };
+    }
+    function debug(rawHex, sourceOutputs, chainState) {
+        const pipeline = preVmPipeline(rawHex, sourceOutputs, chainState);
+        if (!pipeline.ok)
+            return pipelineToFailure(pipeline);
+        const { decoded, txid, encodedBytes, fee } = pipeline;
+        const vmOutputs = toVmOutputs(sourceOutputs);
+        // 13. Debug each input individually
+        const inputResults = [];
+        for (let i = 0; i < decoded.inputs.length; i++) {
+            try {
+                const result = vm.debugInput({
+                    inputIndex: i,
+                    sourceOutputs: vmOutputs,
+                    transaction: decoded,
+                });
+                if (result.success) {
+                    inputResults.push({ inputIndex: i, success: true });
+                }
+                else {
+                    const scriptError = result.error ?? "Script evaluation failed";
+                    inputResults.push({ inputIndex: i, success: false, error: scriptError });
+                    const { code, error } = classifyScriptError(scriptError, () => consensusVm
+                        ? (() => {
+                            const r = consensusVm.debugInput({
+                                inputIndex: i,
+                                sourceOutputs: vmOutputs,
+                                transaction: decoded,
+                            });
+                            return r.success ? true : (r.error ?? scriptError);
+                        })()
+                        : scriptError);
+                    return { success: false, code, error, inputResults };
+                }
+            }
+            catch (e) {
+                const errorMsg = e instanceof Error ? e.message : "Unknown VM error";
+                inputResults.push({ inputIndex: i, success: false, error: errorMsg });
+                return {
+                    success: false,
+                    code: REJECT_INVALID,
+                    error: `mandatory-script-verify-flag-failed (${errorMsg})`,
+                    inputResults,
+                };
+            }
+        }
+        const verifyResult = vm.verify({ sourceOutputs: vmOutputs, transaction: decoded });
+        if (verifyResult !== true) {
+            const { code, error } = classifyScriptError(verifyResult, () => consensusVm
+                ? consensusVm.verify({ sourceOutputs: vmOutputs, transaction: decoded })
+                : verifyResult);
+            return { success: false, code, error, inputResults };
+        }
+        // 14. Build ValidatedTransaction
+        const size = encodedBytes.length;
+        const validatedTx = {
+            txid,
+            rawHex,
+            fee,
+            size,
+            transaction: decoded,
+            sourceOutputs,
+        };
+        return { success: true, txid, fee, size, validatedTx, inputResults };
+    }
+    return { verify, debug };
+}
+//# sourceMappingURL=verifier.js.map

package/dist/verifier.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"verifier.js","sourceRoot":"","sources":["../src/verifier.ts"],"names":[],"mappings":"AAAA,OAAO,EACN,QAAQ,EACR,oBAAoB,EACpB,oBAAoB,EACpB,sBAAsB,EACtB,QAAQ,GAER,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,cAAc,EAAE,gBAAgB,EAAE,kBAAkB,EAAE,MAAM,iBAAiB,CAAC;AACvF,OAAO,EACN,cAAc,EACd,qBAAqB,EACrB,gBAAgB,EAChB,qBAAqB,EACrB,qBAAqB,EACrB,gBAAgB,EAChB,gBAAgB,EAChB,kBAAkB,EAClB,sBAAsB,GACtB,MAAM,aAAa,CAAC;AACrB,OAAO,EAAE,eAAe,EAAE,4BAA4B,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAuB1F;;;GAGG;AACH,KAAK,UAAU,cAAc,CAAC,OAAkB,EAAE,QAAiB;IAClE,MAAM,GAAG,GAAG,MAAM,MAAM,CAAC,kBAAkB,CAAC,CAAC;IAC7C,MAAM,QAAQ,GAAG,CAAC,GAAG,EAAE;QACtB,QAAQ,OAAO,EAAE,CAAC;YACjB,KAAK,aAAa;gBACjB,OAAO,GAAG,CAAC,2BAA2B,CAAC;YACxC,KAAK,aAAa;gBACjB,OAAO,GAAG,CAAC,2BAA2B,CAAC;YACxC,KAAK,aAAa;gBACjB,OAAO,GAAG,CAAC,2BAA2B,CAAC;YACxC,KAAK,UAAU;gBACd,OAAO,GAAG,CAAC,2BAA2B,CAAC;QACzC,CAAC;IACF,CAAC,CAAC,EAAE,CAAC;IACL,MAAM,EAAE,GAAG,QAAQ,CAAC,QAAQ,CAAC,CAAC;IAE9B,OAAO;QACN,MAAM,CAAC,QAAQ;YACd,OAAO,EAAE,CAAC,MAAM,CAAC,QAA2C,CAAC,CAAC;QAC/D,CAAC;QACD,UAAU,CAAC,OAAO;YACjB,MAAM,UAAU,GAAG,EAAE,CAAC,KAAK,CAAC,OAAyC,CAAC,CAAC;YACvE,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YACrC,MAAM,UAAU,GAAG,IAAI,CAAC,MAAM,CAAC;YAC/B,IAAI,UAAU,KAAK,CAAC,EAAE,CAAC;gBACtB,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,8BAA8B,EAAE,CAAC;YAClE,CAAC;YACD,MAAM,SAAS,GAAI,UAAsC,CAAC,UAAU,GAAG,CAAC,CAAC,CAAC;YAC1E,MAAM,WAAW,GAAI,EAAE,CAAC,YAAkD,CAAC,SAAS,CAAC,CAAC;YACtF,IAAI,WAAW,KAAK,IAAI,EAAE,CAAC;gBAC1B,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;YAC1B,CAAC;YACD,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,WAAW,EAAE,CAAC;QAC/C,CAAC;KACD,CAAC;AACH,CAAC;AAED,wFAAwF;AACxF,SAAS,WAAW,CAAC,aAAsC;IAC1D,OAAO,aAAa,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE;QAC/B,MAAM,MAAM,GAAW;YACtB,eAAe,EAAE,EAAE,CAAC,eAAe;YACnC,aAAa,EAAE,EAAE,CAAC,aAAa;SAC/B,CAAC;QACF,IAAI,EAAE,CAAC,KAAK,EAAE,CAAC;YACb,MAAkD,CAAC,KAAK,GAAG,EAAE,CAAC,KAAK,CAAC;QACtE,CAAC;QACD,OAAO,MAAM,CAAC;IACf,CAAC,CAAC,CAAC;AACJ,CAAC;AAqBD;;;;;;;;;;;;;;;;;;;GAmBG;AACH,MAAM,CAAC,KAAK,UAAU,gBAAgB,CAAC,MAAyB;IAC/D,MAAM,OAAO,GAAG,MAAM,EAAE,SAAS,IAAI,aAAa,CAAC;IACnD,MAAM,QAAQ,GAAG,MAAM,EAAE,QAAQ,IAAI,IAAI,CAAC;IAC1C,MAAM,gBAAgB,GAAG,MAAM,EAAE,gBAAgB,IAAI,4BAA4B,CAAC;IAClF,MAAM,MAAM,GAAG,MAAM,EAAE,MAAM,IAAI,eAAe,CAAC;IACjD,IAAI,gBAAgB,IAAI,EAAE,EAAE,CAAC;QAC5B,MAAM,IAAI,KAAK,CAAC,mCAAmC,CAAC,CAAC;IACtD,CAAC;IACD,IAAI,MAAM,IAAI,EAAE,EAAE,CAAC;QAClB,MAAM,IAAI,KAAK,CAAC,yBAAyB,CAAC,CAAC;IAC5C,CAAC;IACD,MAAM,EAAE,GAAG,MAAM,cAAc,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;IACnD,iFAAiF;IACjF,kFAAkF;IAClF,qDAAqD;IACrD,MAAM,WAAW,GAAG,QAAQ,CAAC,CAAC,CAAC,MAAM,cAAc,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAE3E,uEAAuE;IACvE,SAAS,aAAa,CACrB,MAAc,EACd,aAAsC,EACtC,UAAsB;QAEtB,MAAM,WAAW,GAAG,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC;QAE1C,mBAAmB;QACnB,MAAM,QAAQ,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC;QAClC,MAAM,OAAO,GAAG,oBAAoB,CAAC,QAAQ,CAAC,CAAC;QAC/C,IAAI,OAAO,OAAO,KAAK,QAAQ,EAAE,CAAC;YACjC,OAAO;gBACN,EAAE,EAAE,KAAK;gBACT,IAAI,EAAE,gBAAgB;gBACtB,KAAK,EAAE,kBAAkB;gBACzB,YAAY,EAAE,OAAO;aACrB,CAAC;QACH,CAAC;QAED,wBAAwB;QACxB,MAAM,aAAa,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;YAClD,IAAI,EAAE,QAAQ,CAAC,GAAG,CAAC,uBAAuB,CAAC;YAC3C,IAAI,EAAE,GAAG,CAAC,aAAa;SACvB,CAAC,CAAC,CAAC;QACJ,MAAM,SAAS,GAAG,gBAAgB,CAAC,aAAa,CAAC,CAAC;QAClD,IAAI,CAAC,SAAS,CAAC,EAAE;YAAE,OAAO,SAAS,CAAC;QAEpC,iDAAiD;QACjD,IAAI,aAAa,CAAC,MAAM,KAAK,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC;YACpD,OAAO;gBACN,EAAE,EAAE,KAAK;gBACT,IAAI,EAAE,cAAc;gBACpB,KAAK,EAAE,gCAAgC;gBACvC,YAAY,EAAE,yBAAyB,aAAa,CAAC,MAAM,mCAAmC,OAAO,CAAC,MAAM,CAAC,MAAM,GAAG;aACtH,CAAC;QACH,CAAC;QAED,6BAA6B;QAC7B,MAAM,aAAa,GAAG,qBAAqB,CAC1C,OAAO,CAAC,QAAQ,EAChB,OAAO,CAAC,MAAM,EACd,WAAW,EACX,UAAU,CAAC,cAAc,CACzB,CAAC;QACF,IAAI,CAAC,aAAa,CAAC,EAAE;YAAE,OAAO,aAAa,CAAC;QAE5C,qDAAqD;QACrD,MAAM,YAAY,GAAG,oBAAoB,CAAC,OAAO,CAAC,CAAC;QACnD,MAAM,IAAI,GAAG,QAAQ,CAAC,sBAAsB,CAAC,YAAY,CAAC,CAAC,CAAC;QAE5D,6BAA6B;QAC7B,MAAM,aAAa,GAAG,qBAAqB,CAC1C,aAAa,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;YAC1B,UAAU,EAAE,EAAE,CAAC,UAAU;YACzB,MAAM,EAAE,EAAE,CAAC,MAAM,IAAI,CAAC;SACtB,CAAC,CAAC,EACH,WAAW,CACX,CAAC;QACF,IAAI,CAAC,aAAa,CAAC,EAAE;YAAE,OAAO,aAAa,CAAC;QAE5C,8BAA8B;QAC9B,MAAM,gBAAgB,GAAG,sBAAsB,CAAC,aAAa,CAAC,CAAC;QAC/D,IAAI,CAAC,gBAAgB,CAAC,EAAE;YAAE,OAAO,gBAAgB,CAAC;QAElD,8BAA8B;QAC9B,MAAM,UAAU,GAAG,qBAAqB,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC;QACtF,IAAI,CAAC,UAAU,CAAC,EAAE;YAAE,OAAO,UAAU,CAAC;QAEtC,gDAAgD;QAChD,IAAI,QAAQ,GAAG,EAAE,CAAC;QAClB,KAAK,MAAM,EAAE,IAAI,aAAa,EAAE,CAAC;YAChC,QAAQ,IAAI,EAAE,CAAC,aAAa,CAAC;QAC9B,CAAC;QACD,IAAI,SAAS,GAAG,EAAE,CAAC;QACnB,KAAK,MAAM,MAAM,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC;YACtC,IAAI,MAAM,CAAC,aAAa,GAAG,EAAE,IAAI,MAAM,CAAC,aAAa,GAAG,SAAS,EAAE,CAAC;gBACnE,OAAO;oBACN,EAAE,EAAE,KAAK;oBACT,IAAI,EAAE,cAAc;oBACpB,KAAK,EAAE,kCAAkC;iBACzC,CAAC;YACH,CAAC;YACD,SAAS,IAAI,MAAM,CAAC,aAAa,CAAC;YAClC,IAAI,SAAS,GAAG,SAAS,EAAE,CAAC;gBAC3B,OAAO;oBACN,EAAE,EAAE,KAAK;oBACT,IAAI,EAAE,cAAc;oBACpB,KAAK,EAAE,kCAAkC;iBACzC,CAAC;YACH,CAAC;QACF,CAAC;QACD,MAAM,GAAG,GAAG,QAAQ,GAAG,SAAS,CAAC;QACjC,IAAI,GAAG,GAAG,EAAE,EAAE,CAAC;YACd,OAAO;gBACN,EAAE,EAAE,KAAK;gBACT,IAAI,EAAE,cAAc;gBACpB,KAAK,EAAE,sBAAsB;gBAC7B,YAAY,EAAE,aAAa,QAAQ,kBAAkB,SAAS,GAAG;aACjE,CAAC;QACH,CAAC;QAED,gCAAgC;QAChC,MAAM,QAAQ,GAAG,kBAAkB,CAClC,OAAO,CAAC,OAAO,EACf,aAAa,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,GAAG,EAAE,EAAE;YAC7B,MAAM,KAAK,GAAwE;gBAClF,cAAc,EAAE,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,cAAc,IAAI,UAAU;gBACjE,MAAM,EAAE,EAAE,CAAC,MAAM,IAAI,CAAC;aACtB,CAAC;YACF,IAAI,EAAE,CAAC,cAAc,IAAI,IAAI;gBAAE,KAAK,CAAC,cAAc,GAAG,EAAE,CAAC,cAAc,CAAC;YACxE,OAAO,KAAK,CAAC;QACd,CAAC,CAAC,EACF,WAAW,EACX,UAAU,CAAC,cAAc,CACzB,CAAC;QACF,IAAI,CAAC,QAAQ,CAAC,EAAE;YAAE,OAAO,QAAQ,CAAC;QAElC,mCAAmC;QACnC,MAAM,IAAI,GAAG,YAAY,CAAC,MAAM,CAAC;QACjC,MAAM,QAAQ,GAAG,gBAAgB,CAAC,GAAG,EAAE,IAAI,EAAE,gBAAgB,CAAC,CAAC;QAC/D,IAAI,CAAC,QAAQ,CAAC,EAAE;YAAE,OAAO,QAAQ,CAAC;QAElC,gCAAgC;QAChC,MAAM,WAAW,GAAG,cAAc,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;QAChD,IAAI,CAAC,WAAW,CAAC,EAAE;YAAE,OAAO,WAAW,CAAC;QAExC,4DAA4D;QAC5D,IAAI,QAAQ,EAAE,CAAC;YACd,MAAM,SAAS,GAAG,gBAAgB,CAAC,OAAO,CAAC,OAAO,EAAE,gBAAgB,CAAC,CAAC;YACtE,IAAI,CAAC,SAAS,CAAC,EAAE;gBAAE,OAAO,SAAS,CAAC;QACrC,CAAC;QAED,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,GAAG,EAAE,CAAC;IACvD,CAAC;IAED;;;OAGG;IACH,SAAS,mBAAmB,CAC3B,YAAoB,EACpB,cAAmC;QAEnC,IAAI,WAAW,EAAE,CAAC;YACjB,MAAM,eAAe,GAAG,cAAc,EAAE,CAAC;YACzC,IAAI,eAAe,KAAK,IAAI,EAAE,CAAC;gBAC9B,OAAO;oBACN,IAAI,EAAE,kBAAkB;oBACxB,KAAK,EAAE,qCAAqC,YAAY,GAAG;iBAC3D,CAAC;YACH,CAAC;YACD,OAAO;gBACN,IAAI,EAAE,cAAc;gBACpB,KAAK,EAAE,wCAAwC,eAAe,GAAG;aACjE,CAAC;QACH,CAAC;QACD,OAAO;YACN,IAAI,EAAE,cAAc;YACpB,KAAK,EAAE,wCAAwC,YAAY,GAAG;SAC9D,CAAC;IACH,CAAC;IAED,6FAA6F;IAC7F,SAAS,iBAAiB,CAAC,CAAkB;QAM5C,MAAM,MAAM,GAA2E;YACtF,OAAO,EAAE,KAAK;YACd,IAAI,EAAE,CAAC,CAAC,IAAI;YACZ,KAAK,EAAE,CAAC,CAAC,KAAK;SACd,CAAC;QACF,IAAI,CAAC,CAAC,YAAY,IAAI,IAAI;YAAE,MAAM,CAAC,YAAY,GAAG,CAAC,CAAC,YAAY,CAAC;QACjE,OAAO,MAAM,CAAC;IACf,CAAC;IAED,SAAS,MAAM,CACd,MAAc,EACd,aAAsC,EACtC,UAAsB;QAEtB,MAAM,QAAQ,GAAG,aAAa,CAAC,MAAM,EAAE,aAAa,EAAE,UAAU,CAAC,CAAC;QAClE,IAAI,CAAC,QAAQ,CAAC,EAAE;YAAE,OAAO,iBAAiB,CAAC,QAAQ,CAAC,CAAC;QAErD,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,GAAG,EAAE,GAAG,QAAQ,CAAC;QAEtD,wCAAwC;QACxC,MAAM,SAAS,GAAG,WAAW,CAAC,aAAa,CAAC,CAAC;QAC7C,MAAM,YAAY,GAAG,EAAE,CAAC,MAAM,CAAC,EAAE,aAAa,EAAE,SAAS,EAAE,WAAW,EAAE,OAAO,EAAE,CAAC,CAAC;QACnF,IAAI,YAAY,KAAK,IAAI,EAAE,CAAC;YAC3B,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,mBAAmB,CAAC,YAAY,EAAE,GAAG,EAAE,CAC9D,WAAW;gBACV,CAAC,CAAC,WAAW,CAAC,MAAM,CAAC,EAAE,aAAa,EAAE,SAAS,EAAE,WAAW,EAAE,OAAO,EAAE,CAAC;gBACxE,CAAC,CAAC,YAAY,CACf,CAAC;YACF,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;QACxC,CAAC;QAED,iCAAiC;QACjC,MAAM,IAAI,GAAG,YAAY,CAAC,MAAM,CAAC;QACjC,MAAM,WAAW,GAAyB;YACzC,IAAI;YACJ,MAAM;YACN,GAAG;YACH,IAAI;YACJ,WAAW,EAAE,OAAO;YACpB,aAAa;SACb,CAAC;QAEF,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;IACxD,CAAC;IAED,SAAS,KAAK,CACb,MAAc,EACd,aAAsC,EACtC,UAAsB;QAEtB,MAAM,QAAQ,GAAG,aAAa,CAAC,MAAM,EAAE,aAAa,EAAE,UAAU,CAAC,CAAC;QAClE,IAAI,CAAC,QAAQ,CAAC,EAAE;YAAE,OAAO,iBAAiB,CAAC,QAAQ,CAAC,CAAC;QAErD,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,GAAG,EAAE,GAAG,QAAQ,CAAC;QACtD,MAAM,SAAS,GAAG,WAAW,CAAC,aAAa,CAAC,CAAC;QAE7C,oCAAoC;QACpC,MAAM,YAAY,GAAuB,EAAE,CAAC;QAC5C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAChD,IAAI,CAAC;gBACJ,MAAM,MAAM,GAAG,EAAE,CAAC,UAAU,CAAC;oBAC5B,UAAU,EAAE,CAAC;oBACb,aAAa,EAAE,SAAS;oBACxB,WAAW,EAAE,OAAO;iBACpB,CAAC,CAAC;gBAEH,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;oBACpB,YAAY,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;gBACrD,CAAC;qBAAM,CAAC;oBACP,MAAM,WAAW,GAAG,MAAM,CAAC,KAAK,IAAI,0BAA0B,CAAC;oBAC/D,YAAY,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,WAAW,EAAE,CAAC,CAAC;oBACzE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,mBAAmB,CAAC,WAAW,EAAE,GAAG,EAAE,CAC7D,WAAW;wBACV,CAAC,CAAC,CAAC,GAAG,EAAE;4BACN,MAAM,CAAC,GAAG,WAAW,CAAC,UAAU,CAAC;gCAChC,UAAU,EAAE,CAAC;gCACb,aAAa,EAAE,SAAS;gCACxB,WAAW,EAAE,OAAO;6BACpB,CAAC,CAAC;4BACH,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,IAAI,WAAW,CAAC,CAAC;wBACpD,CAAC,CAAC,EAAE;wBACL,CAAC,CAAC,WAAW,CACd,CAAC;oBACF,OAAO,EAAE,OAAO,EAAE,KAAc,EAAE,IAAI,EAAE,KAAK,EAAE,YAAY,EAAE,CAAC;gBAC/D,CAAC;YACF,CAAC;YAAC,OAAO,CAAU,EAAE,CAAC;gBACrB,MAAM,QAAQ,GAAG,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,kBAAkB,CAAC;gBACrE,YAAY,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,CAAC;gBACtE,OAAO;oBACN,OAAO,EAAE,KAAc;oBACvB,IAAI,EAAE,cAAc;oBACpB,KAAK,EAAE,wCAAwC,QAAQ,GAAG;oBAC1D,YAAY;iBACZ,CAAC;YACH,CAAC;QACF,CAAC;QAED,MAAM,YAAY,GAAG,EAAE,CAAC,MAAM,CAAC,EAAE,aAAa,EAAE,SAAS,EAAE,WAAW,EAAE,OAAO,EAAE,CAAC,CAAC;QACnF,IAAI,YAAY,KAAK,IAAI,EAAE,CAAC;YAC3B,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,mBAAmB,CAAC,YAAY,EAAE,GAAG,EAAE,CAC9D,WAAW;gBACV,CAAC,CAAC,WAAW,CAAC,MAAM,CAAC,EAAE,aAAa,EAAE,SAAS,EAAE,WAAW,EAAE,OAAO,EAAE,CAAC;gBACxE,CAAC,CAAC,YAAY,CACf,CAAC;YACF,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,YAAY,EAAE,CAAC;QACtD,CAAC;QAED,iCAAiC;QACjC,MAAM,IAAI,GAAG,YAAY,CAAC,MAAM,CAAC;QACjC,MAAM,WAAW,GAAyB;YACzC,IAAI;YACJ,MAAM;YACN,GAAG;YACH,IAAI;YACJ,WAAW,EAAE,OAAO;YACpB,aAAa;SACb,CAAC;QAEF,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,WAAW,EAAE,YAAY,EAAE,CAAC;IACtE,CAAC;IAED,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC;AAC1B,CAAC"}

package/package.json

@@ -0,0 +1,42 @@
+{
+	"name": "@mem-cash/validation",
+	"version": "0.0.1",
+	"description": "Stateless BCH transaction evaluator with BCHN-compatible consensus and policy checks",
+	"type": "module",
+	"sideEffects": false,
+	"main": "./dist/index.js",
+	"types": "./dist/index.d.ts",
+	"exports": {
+		".": {
+			"types": "./dist/index.d.ts",
+			"import": "./dist/index.js"
+		}
+	},
+	"files": [
+		"dist/",
+		"README.md",
+		"LICENSE"
+	],
+	"license": "MIT",
+	"repository": {
+		"type": "git",
+		"url": "https://github.com/mainnet-pat/mem-cash.git",
+		"directory": "packages/validation"
+	},
+	"keywords": [
+		"bitcoin-cash",
+		"electrum",
+		"validation",
+		"transaction",
+		"consensus"
+	],
+	"engines": {
+		"node": ">=20"
+	},
+	"scripts": {
+		"prepublishOnly": "tsc -b"
+	},
+	"dependencies": {
+		"@bitauth/libauth": "^3.1.0-next.8"
+	}
+}