@bsv/wallet-toolbox 2.1.23 → 2.1.25

package/out/src/storage/schema/v7Backfill.runner.js

@@ -0,0 +1,62 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.runV7Backfill = runV7Backfill;
+const v7Backfill_1 = require("./v7Backfill");
+/**
+ * Orchestrates §3 Steps 2-5 of PROD_REQ_V7_TS.md.
+ *
+ * Strategy:
+ *  1. Walk every `proven_tx_reqs` row (joined with its proof) and upsert a row
+ *     in `transactions_v7`. Build a `txid -> transactionId` map.
+ *  2. Walk every legacy `transactions` row.
+ *     - If the row has a txid AND it is not in the map, upsert a tx-only V7
+ *       row (locally-created actions that never reached the broadcast queue).
+ *     - Compute the V7 `transactionId` for this legacy row. Rows without a
+ *       txid (unsigned, unprocessed) are skipped — they have no canonical V7
+ *       representation yet and are surfaced as gaps in the stats.
+ *  3. Upsert an `actions` row per legacy `transactions` row that has a V7
+ *     transactionId.
+ *  4. Re-point `tx_labels_map.transactionId` from legacy PK to new `actionId`.
+ *
+ * The driver is invoked one row at a time so that the entire pass can run as
+ * a single Knex transaction or a single IDB readwrite transaction without
+ * holding the full row set in memory.
+ */
+async function runV7Backfill(driver, now = new Date()) {
+    const stats = {
+        reqsBackfilled: 0,
+        legacyTxOnlyBackfilled: 0,
+        actionsBackfilled: 0,
+        labelMapsRepointed: 0
+    };
+    const txidToV7Id = new Map();
+    for await (const { req, proven } of driver.streamLegacyReqs()) {
+        const v7Row = (0, v7Backfill_1.buildTransactionV7Row)(req, proven, now);
+        const id = await driver.upsertTransactionV7(v7Row);
+        txidToV7Id.set(v7Row.txid, id);
+        stats.reqsBackfilled += 1;
+    }
+    for await (const legacy of driver.streamLegacyTransactions()) {
+        let v7Id;
+        if (legacy.txid != null) {
+            v7Id = txidToV7Id.get(legacy.txid);
+            if (v7Id === undefined) {
+                const v7Row = (0, v7Backfill_1.buildTransactionV7RowFromLegacyTx)(legacy, now);
+                if (v7Row !== undefined) {
+                    v7Id = await driver.upsertTransactionV7(v7Row);
+                    txidToV7Id.set(legacy.txid, v7Id);
+                    stats.legacyTxOnlyBackfilled += 1;
+                }
+            }
+        }
+        if (v7Id === undefined)
+            continue;
+        const actionRow = (0, v7Backfill_1.buildActionRow)(legacy, v7Id, now);
+        const actionId = await driver.upsertAction(actionRow);
+        stats.actionsBackfilled += 1;
+        await driver.repointTxLabelMap(legacy.transactionId, actionId);
+        stats.labelMapsRepointed += 1;
+    }
+    return stats;
+}
+//# sourceMappingURL=v7Backfill.runner.js.map

package/out/src/storage/schema/v7Backfill.runner.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"v7Backfill.runner.js","sourceRoot":"","sources":["../../../../src/storage/schema/v7Backfill.runner.ts"],"names":[],"mappings":";;AAoEA,sCAyCC;AA7GD,6CAAuG;AAgDvG;;;;;;;;;;;;;;;;;;;GAmBG;AACI,KAAK,UAAU,aAAa,CAAE,MAAwB,EAAE,MAAY,IAAI,IAAI,EAAE;IACnF,MAAM,KAAK,GAAoB;QAC7B,cAAc,EAAE,CAAC;QACjB,sBAAsB,EAAE,CAAC;QACzB,iBAAiB,EAAE,CAAC;QACpB,kBAAkB,EAAE,CAAC;KACtB,CAAA;IAED,MAAM,UAAU,GAAG,IAAI,GAAG,EAAkB,CAAA;IAE5C,IAAI,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,MAAM,CAAC,gBAAgB,EAAE,EAAE,CAAC;QAC9D,MAAM,KAAK,GAAG,IAAA,kCAAqB,EAAC,GAAG,EAAE,MAAM,EAAE,GAAG,CAAC,CAAA;QACrD,MAAM,EAAE,GAAG,MAAM,MAAM,CAAC,mBAAmB,CAAC,KAAK,CAAC,CAAA;QAClD,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE,EAAE,CAAC,CAAA;QAC9B,KAAK,CAAC,cAAc,IAAI,CAAC,CAAA;IAC3B,CAAC;IAED,IAAI,KAAK,EAAE,MAAM,MAAM,IAAI,MAAM,CAAC,wBAAwB,EAAE,EAAE,CAAC;QAC7D,IAAI,IAAwB,CAAA;QAC5B,IAAI,MAAM,CAAC,IAAI,IAAI,IAAI,EAAE,CAAC;YACxB,IAAI,GAAG,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;YAClC,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;gBACvB,MAAM,KAAK,GAAG,IAAA,8CAAiC,EAAC,MAAM,EAAE,GAAG,CAAC,CAAA;gBAC5D,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;oBACxB,IAAI,GAAG,MAAM,MAAM,CAAC,mBAAmB,CAAC,KAAK,CAAC,CAAA;oBAC9C,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,CAAA;oBACjC,KAAK,CAAC,sBAAsB,IAAI,CAAC,CAAA;gBACnC,CAAC;YACH,CAAC;QACH,CAAC;QACD,IAAI,IAAI,KAAK,SAAS;YAAE,SAAQ;QAEhC,MAAM,SAAS,GAAG,IAAA,2BAAc,EAAC,MAAM,EAAE,IAAI,EAAE,GAAG,CAAC,CAAA;QACnD,MAAM,QAAQ,GAAG,MAAM,MAAM,CAAC,YAAY,CAAC,SAAS,CAAC,CAAA;QACrD,KAAK,CAAC,iBAAiB,IAAI,CAAC,CAAA;QAE5B,MAAM,MAAM,CAAC,iBAAiB,CAAC,MAAM,CAAC,aAAa,EAAE,QAAQ,CAAC,CAAA;QAC9D,KAAK,CAAC,kBAAkB,IAAI,CAAC,CAAA;IAC/B,CAAC;IAED,OAAO,KAAK,CAAA;AACd,CAAC"}

package/out/src/storage/schema/v7Crud.d.ts

@@ -0,0 +1,39 @@
+import { Knex } from 'knex';
+import * as sdk from '../../sdk';
+import { TableAction, TableChainTip, TableTransactionV7 } from './tables';
+/** Read a single `transactions_v7` row by txid, returning `undefined` if absent. */
+export declare function findTransactionV7ByTxid(knex: Knex, txid: string): Promise<TableTransactionV7 | undefined>;
+/** Read a single `transactions_v7` row by PK. */
+export declare function findTransactionV7(knex: Knex, transactionId: number): Promise<TableTransactionV7 | undefined>;
+/** Insert a new `transactions_v7` row. Caller supplies the full body. */
+export declare function insertTransactionV7(knex: Knex, row: Omit<TableTransactionV7, 'transactionId' | 'created_at' | 'updated_at'>, now?: Date): Promise<number>;
+/**
+ * Transition the processing column atomically and append a `tx_audit` row.
+ * Returns the new `TableTransactionV7` on success and `undefined` when the
+ * source state did not match the row (CAS failed) or the transition was
+ * rejected by the FSM.
+ *
+ * Optimistic concurrency: the caller passes the `expectedFromState` they
+ * read in the same logical operation; the update only fires when the row's
+ * current `processing` still equals that value.
+ */
+export declare function transitionProcessing(knex: Knex, args: {
+    transactionId: number;
+    expectedFromState: sdk.ProcessingStatus;
+    toState: sdk.ProcessingStatus;
+    details?: Record<string, unknown>;
+    provider?: string;
+    providerStatus?: string;
+}, now?: Date): Promise<TableTransactionV7 | undefined>;
+/** Find an action row by `(userId, transactionId)`. */
+export declare function findAction(knex: Knex, userId: number, transactionId: number): Promise<TableAction | undefined>;
+export declare function insertAction(knex: Knex, row: Omit<TableAction, 'actionId' | 'created_at' | 'updated_at'>, now?: Date): Promise<number>;
+/** Get the singleton chain tip row (`id = 1`). */
+export declare function getChainTip(knex: Knex): Promise<TableChainTip | undefined>;
+/** Upsert the singleton chain tip. Always uses `id = 1`. */
+export declare function setChainTip(knex: Knex, args: {
+    height: number;
+    blockHash: string;
+    merkleRoot?: string;
+}, now?: Date): Promise<void>;
+//# sourceMappingURL=v7Crud.d.ts.map

package/out/src/storage/schema/v7Crud.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"v7Crud.d.ts","sourceRoot":"","sources":["../../../../src/storage/schema/v7Crud.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,MAAM,CAAA;AAC3B,OAAO,KAAK,GAAG,MAAM,WAAW,CAAA;AAChC,OAAO,EACL,WAAW,EACX,aAAa,EACb,kBAAkB,EACnB,MAAM,UAAU,CAAA;AAGjB,oFAAoF;AACpF,wBAAsB,uBAAuB,CAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC,kBAAkB,GAAG,SAAS,CAAC,CAGhH;AAED,iDAAiD;AACjD,wBAAsB,iBAAiB,CAAE,IAAI,EAAE,IAAI,EAAE,aAAa,EAAE,MAAM,GAAG,OAAO,CAAC,kBAAkB,GAAG,SAAS,CAAC,CAGnH;AAED,yEAAyE;AACzE,wBAAsB,mBAAmB,CACvC,IAAI,EAAE,IAAI,EACV,GAAG,EAAE,IAAI,CAAC,kBAAkB,EAAE,eAAe,GAAG,YAAY,GAAG,YAAY,CAAC,EAC5E,GAAG,GAAE,IAAiB,GACrB,OAAO,CAAC,MAAM,CAAC,CAKjB;AAED;;;;;;;;;GASG;AACH,wBAAsB,oBAAoB,CACxC,IAAI,EAAE,IAAI,EACV,IAAI,EAAE;IACJ,aAAa,EAAE,MAAM,CAAA;IACrB,iBAAiB,EAAE,GAAG,CAAC,gBAAgB,CAAA;IACvC,OAAO,EAAE,GAAG,CAAC,gBAAgB,CAAA;IAC7B,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;IACjC,QAAQ,CAAC,EAAE,MAAM,CAAA;IACjB,cAAc,CAAC,EAAE,MAAM,CAAA;CACxB,EACD,GAAG,GAAE,IAAiB,GACrB,OAAO,CAAC,kBAAkB,GAAG,SAAS,CAAC,CAsBzC;AAED,uDAAuD;AACvD,wBAAsB,UAAU,CAC9B,IAAI,EAAE,IAAI,EACV,MAAM,EAAE,MAAM,EACd,aAAa,EAAE,MAAM,GACpB,OAAO,CAAC,WAAW,GAAG,SAAS,CAAC,CAGlC;AAED,wBAAsB,YAAY,CAChC,IAAI,EAAE,IAAI,EACV,GAAG,EAAE,IAAI,CAAC,WAAW,EAAE,UAAU,GAAG,YAAY,GAAG,YAAY,CAAC,EAChE,GAAG,GAAE,IAAiB,GACrB,OAAO,CAAC,MAAM,CAAC,CAmBjB;AAED,kDAAkD;AAClD,wBAAsB,WAAW,CAAE,IAAI,EAAE,IAAI,GAAG,OAAO,CAAC,aAAa,GAAG,SAAS,CAAC,CAGjF;AAED,4DAA4D;AAC5D,wBAAsB,WAAW,CAC/B,IAAI,EAAE,IAAI,EACV,IAAI,EAAE;IAAE,MAAM,EAAE,MAAM,CAAC;IAAC,SAAS,EAAE,MAAM,CAAC;IAAC,UAAU,CAAC,EAAE,MAAM,CAAA;CAAE,EAChE,GAAG,GAAE,IAAiB,GACrB,OAAO,CAAC,IAAI,CAAC,CAqBf"}

package/out/src/storage/schema/v7Crud.js

@@ -0,0 +1,203 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.findTransactionV7ByTxid = findTransactionV7ByTxid;
+exports.findTransactionV7 = findTransactionV7;
+exports.insertTransactionV7 = insertTransactionV7;
+exports.transitionProcessing = transitionProcessing;
+exports.findAction = findAction;
+exports.insertAction = insertAction;
+exports.getChainTip = getChainTip;
+exports.setChainTip = setChainTip;
+const v7TxAudit_1 = require("./v7TxAudit");
+/** Read a single `transactions_v7` row by txid, returning `undefined` if absent. */
+async function findTransactionV7ByTxid(knex, txid) {
+    const row = await knex('transactions_v7').where({ txid }).first();
+    return row != null ? mapTransactionRow(row) : undefined;
+}
+/** Read a single `transactions_v7` row by PK. */
+async function findTransactionV7(knex, transactionId) {
+    const row = await knex('transactions_v7').where({ transactionId }).first();
+    return row != null ? mapTransactionRow(row) : undefined;
+}
+/** Insert a new `transactions_v7` row. Caller supplies the full body. */
+async function insertTransactionV7(knex, row, now = new Date()) {
+    const [id] = await knex('transactions_v7').insert(unmapTransactionRow(row, now));
+    if (typeof id === 'number' && id > 0)
+        return id;
+    const r = await knex('transactions_v7').where({ txid: row.txid }).first('transactionId');
+    return r.transactionId;
+}
+/**
+ * Transition the processing column atomically and append a `tx_audit` row.
+ * Returns the new `TableTransactionV7` on success and `undefined` when the
+ * source state did not match the row (CAS failed) or the transition was
+ * rejected by the FSM.
+ *
+ * Optimistic concurrency: the caller passes the `expectedFromState` they
+ * read in the same logical operation; the update only fires when the row's
+ * current `processing` still equals that value.
+ */
+async function transitionProcessing(knex, args, now = new Date()) {
+    var _a, _b;
+    const ok = await (0, v7TxAudit_1.auditProcessingTransition)(knex, args.transactionId, args.expectedFromState, args.toState, args.details, now);
+    if (!ok)
+        return undefined;
+    const updated = await knex('transactions_v7')
+        .where({ transactionId: args.transactionId, processing: args.expectedFromState })
+        .update({
+        processing: args.toState,
+        processing_changed_at: now,
+        last_provider: (_a = args.provider) !== null && _a !== void 0 ? _a : null,
+        last_provider_status: (_b = args.providerStatus) !== null && _b !== void 0 ? _b : null,
+        updated_at: now
+    });
+    if (updated === 0)
+        return undefined;
+    const row = await knex('transactions_v7').where({ transactionId: args.transactionId }).first();
+    return mapTransactionRow(row);
+}
+/** Find an action row by `(userId, transactionId)`. */
+async function findAction(knex, userId, transactionId) {
+    const row = await knex('actions').where({ userId, transactionId }).first();
+    return row != null ? mapActionRow(row) : undefined;
+}
+async function insertAction(knex, row, now = new Date()) {
+    var _a;
+    const [id] = await knex('actions').insert({
+        userId: row.userId,
+        transactionId: row.transactionId,
+        reference: row.reference,
+        description: row.description,
+        isOutgoing: row.isOutgoing,
+        satoshis_delta: row.satoshisDelta,
+        user_nosend: row.userNosend,
+        hidden: row.hidden,
+        user_aborted: row.userAborted,
+        notify_json: (_a = row.notifyJson) !== null && _a !== void 0 ? _a : null,
+        row_version: row.rowVersion,
+        created_at: now,
+        updated_at: now
+    });
+    if (typeof id === 'number' && id > 0)
+        return id;
+    const r = await knex('actions').where({ userId: row.userId, transactionId: row.transactionId }).first('actionId');
+    return r.actionId;
+}
+/** Get the singleton chain tip row (`id = 1`). */
+async function getChainTip(knex) {
+    const row = await knex('chain_tip').where({ id: 1 }).first();
+    return row != null ? mapChainTipRow(row) : undefined;
+}
+/** Upsert the singleton chain tip. Always uses `id = 1`. */
+async function setChainTip(knex, args, now = new Date()) {
+    var _a, _b;
+    const existing = await knex('chain_tip').where({ id: 1 }).first('id');
+    if (existing == null) {
+        await knex('chain_tip').insert({
+            id: 1,
+            height: args.height,
+            block_hash: args.blockHash,
+            merkle_root: (_a = args.merkleRoot) !== null && _a !== void 0 ? _a : null,
+            observed_at: now,
+            created_at: now,
+            updated_at: now
+        });
+        return;
+    }
+    await knex('chain_tip').where({ id: 1 }).update({
+        height: args.height,
+        block_hash: args.blockHash,
+        merkle_root: (_b = args.merkleRoot) !== null && _b !== void 0 ? _b : null,
+        observed_at: now,
+        updated_at: now
+    });
+}
+function mapTransactionRow(row) {
+    var _a, _b, _c, _d, _e, _f, _g, _h, _j;
+    return {
+        created_at: new Date(row.created_at),
+        updated_at: new Date(row.updated_at),
+        transactionId: row.transactionId,
+        txid: row.txid,
+        processing: row.processing,
+        processingChangedAt: new Date(row.processing_changed_at),
+        nextActionAt: row.next_action_at != null ? new Date(row.next_action_at) : undefined,
+        attempts: row.attempts,
+        rebroadcastCycles: row.rebroadcast_cycles,
+        wasBroadcast: !!row.was_broadcast,
+        idempotencyKey: (_a = row.idempotency_key) !== null && _a !== void 0 ? _a : undefined,
+        batch: (_b = row.batch) !== null && _b !== void 0 ? _b : undefined,
+        rawTx: row.raw_tx != null ? Array.from(row.raw_tx.values()) : undefined,
+        inputBeef: row.input_beef != null ? Array.from(row.input_beef.values()) : undefined,
+        height: (_c = row.height) !== null && _c !== void 0 ? _c : undefined,
+        merkleIndex: (_d = row.merkle_index) !== null && _d !== void 0 ? _d : undefined,
+        merklePath: row.merkle_path != null ? Array.from(row.merkle_path.values()) : undefined,
+        merkleRoot: (_e = row.merkle_root) !== null && _e !== void 0 ? _e : undefined,
+        blockHash: (_f = row.block_hash) !== null && _f !== void 0 ? _f : undefined,
+        isCoinbase: !!row.is_coinbase,
+        lastProvider: (_g = row.last_provider) !== null && _g !== void 0 ? _g : undefined,
+        lastProviderStatus: (_h = row.last_provider_status) !== null && _h !== void 0 ? _h : undefined,
+        frozenReason: (_j = row.frozen_reason) !== null && _j !== void 0 ? _j : undefined,
+        rowVersion: row.row_version
+    };
+}
+function unmapTransactionRow(row, now) {
+    var _a, _b, _c, _d, _e, _f, _g, _h, _j, _k;
+    return {
+        txid: row.txid,
+        processing: row.processing,
+        processing_changed_at: row.processingChangedAt,
+        next_action_at: (_a = row.nextActionAt) !== null && _a !== void 0 ? _a : null,
+        attempts: row.attempts,
+        rebroadcast_cycles: row.rebroadcastCycles,
+        was_broadcast: row.wasBroadcast,
+        idempotency_key: (_b = row.idempotencyKey) !== null && _b !== void 0 ? _b : null,
+        batch: (_c = row.batch) !== null && _c !== void 0 ? _c : null,
+        raw_tx: row.rawTx != null ? Buffer.from(row.rawTx) : null,
+        input_beef: row.inputBeef != null ? Buffer.from(row.inputBeef) : null,
+        height: (_d = row.height) !== null && _d !== void 0 ? _d : null,
+        merkle_index: (_e = row.merkleIndex) !== null && _e !== void 0 ? _e : null,
+        merkle_path: row.merklePath != null ? Buffer.from(row.merklePath) : null,
+        merkle_root: (_f = row.merkleRoot) !== null && _f !== void 0 ? _f : null,
+        block_hash: (_g = row.blockHash) !== null && _g !== void 0 ? _g : null,
+        is_coinbase: row.isCoinbase,
+        last_provider: (_h = row.lastProvider) !== null && _h !== void 0 ? _h : null,
+        last_provider_status: (_j = row.lastProviderStatus) !== null && _j !== void 0 ? _j : null,
+        frozen_reason: (_k = row.frozenReason) !== null && _k !== void 0 ? _k : null,
+        row_version: row.rowVersion,
+        created_at: now,
+        updated_at: now
+    };
+}
+function mapActionRow(row) {
+    var _a;
+    return {
+        created_at: new Date(row.created_at),
+        updated_at: new Date(row.updated_at),
+        actionId: row.actionId,
+        userId: row.userId,
+        transactionId: row.transactionId,
+        reference: row.reference,
+        description: row.description,
+        isOutgoing: !!row.isOutgoing,
+        satoshisDelta: row.satoshis_delta,
+        userNosend: !!row.user_nosend,
+        hidden: !!row.hidden,
+        userAborted: !!row.user_aborted,
+        notifyJson: (_a = row.notify_json) !== null && _a !== void 0 ? _a : undefined,
+        rowVersion: row.row_version
+    };
+}
+function mapChainTipRow(row) {
+    var _a;
+    return {
+        created_at: new Date(row.created_at),
+        updated_at: new Date(row.updated_at),
+        id: row.id,
+        height: row.height,
+        blockHash: row.block_hash,
+        merkleRoot: (_a = row.merkle_root) !== null && _a !== void 0 ? _a : undefined,
+        observedAt: new Date(row.observed_at)
+    };
+}
+//# sourceMappingURL=v7Crud.js.map

package/out/src/storage/schema/v7Crud.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"v7Crud.js","sourceRoot":"","sources":["../../../../src/storage/schema/v7Crud.ts"],"names":[],"mappings":";;AAUA,0DAGC;AAGD,8CAGC;AAGD,kDASC;AAYD,oDAiCC;AAGD,gCAOC;AAED,oCAuBC;AAGD,kCAGC;AAGD,kCAyBC;AA1ID,2CAAuD;AAEvD,oFAAoF;AAC7E,KAAK,UAAU,uBAAuB,CAAE,IAAU,EAAE,IAAY;IACrE,MAAM,GAAG,GAAG,MAAM,IAAI,CAAC,iBAAiB,CAAC,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,KAAK,EAAE,CAAA;IACjE,OAAO,GAAG,IAAI,IAAI,CAAC,CAAC,CAAC,iBAAiB,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAA;AACzD,CAAC;AAED,iDAAiD;AAC1C,KAAK,UAAU,iBAAiB,CAAE,IAAU,EAAE,aAAqB;IACxE,MAAM,GAAG,GAAG,MAAM,IAAI,CAAC,iBAAiB,CAAC,CAAC,KAAK,CAAC,EAAE,aAAa,EAAE,CAAC,CAAC,KAAK,EAAE,CAAA;IAC1E,OAAO,GAAG,IAAI,IAAI,CAAC,CAAC,CAAC,iBAAiB,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAA;AACzD,CAAC;AAED,yEAAyE;AAClE,KAAK,UAAU,mBAAmB,CACvC,IAAU,EACV,GAA4E,EAC5E,MAAY,IAAI,IAAI,EAAE;IAEtB,MAAM,CAAC,EAAE,CAAC,GAAG,MAAM,IAAI,CAAC,iBAAiB,CAAC,CAAC,MAAM,CAAC,mBAAmB,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAA;IAChF,IAAI,OAAO,EAAE,KAAK,QAAQ,IAAI,EAAE,GAAG,CAAC;QAAE,OAAO,EAAE,CAAA;IAC/C,MAAM,CAAC,GAAG,MAAM,IAAI,CAAC,iBAAiB,CAAC,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,eAAe,CAAC,CAAA;IACxF,OAAO,CAAC,CAAC,aAAa,CAAA;AACxB,CAAC;AAED;;;;;;;;;GASG;AACI,KAAK,UAAU,oBAAoB,CACxC,IAAU,EACV,IAOC,EACD,MAAY,IAAI,IAAI,EAAE;;IAEtB,MAAM,EAAE,GAAG,MAAM,IAAA,qCAAyB,EACxC,IAAI,EACJ,IAAI,CAAC,aAAa,EAClB,IAAI,CAAC,iBAAiB,EACtB,IAAI,CAAC,OAAO,EACZ,IAAI,CAAC,OAAO,EACZ,GAAG,CACJ,CAAA;IACD,IAAI,CAAC,EAAE;QAAE,OAAO,SAAS,CAAA;IACzB,MAAM,OAAO,GAAG,MAAM,IAAI,CAAC,iBAAiB,CAAC;SAC1C,KAAK,CAAC,EAAE,aAAa,EAAE,IAAI,CAAC,aAAa,EAAE,UAAU,EAAE,IAAI,CAAC,iBAAiB,EAAE,CAAC;SAChF,MAAM,CAAC;QACN,UAAU,EAAE,IAAI,CAAC,OAAO;QACxB,qBAAqB,EAAE,GAAG;QAC1B,aAAa,EAAE,MAAA,IAAI,CAAC,QAAQ,mCAAI,IAAI;QACpC,oBAAoB,EAAE,MAAA,IAAI,CAAC,cAAc,mCAAI,IAAI;QACjD,UAAU,EAAE,GAAG;KAChB,CAAC,CAAA;IACJ,IAAI,OAAO,KAAK,CAAC;QAAE,OAAO,SAAS,CAAA;IACnC,MAAM,GAAG,GAAG,MAAM,IAAI,CAAC,iBAAiB,CAAC,CAAC,KAAK,CAAC,EAAE,aAAa,EAAE,IAAI,CAAC,aAAa,EAAE,CAAC,CAAC,KAAK,EAAE,CAAA;IAC9F,OAAO,iBAAiB,CAAC,GAAG,CAAC,CAAA;AAC/B,CAAC;AAED,uDAAuD;AAChD,KAAK,UAAU,UAAU,CAC9B,IAAU,EACV,MAAc,EACd,aAAqB;IAErB,MAAM,GAAG,GAAG,MAAM,IAAI,CAAC,SAAS,CAAC,CAAC,KAAK,CAAC,EAAE,MAAM,EAAE,aAAa,EAAE,CAAC,CAAC,KAAK,EAAE,CAAA;IAC1E,OAAO,GAAG,IAAI,IAAI,CAAC,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAA;AACpD,CAAC;AAEM,KAAK,UAAU,YAAY,CAChC,IAAU,EACV,GAAgE,EAChE,MAAY,IAAI,IAAI,EAAE;;IAEtB,MAAM,CAAC,EAAE,CAAC,GAAG,MAAM,IAAI,CAAC,SAAS,CAAC,CAAC,MAAM,CAAC;QACxC,MAAM,EAAE,GAAG,CAAC,MAAM;QAClB,aAAa,EAAE,GAAG,CAAC,aAAa;QAChC,SAAS,EAAE,GAAG,CAAC,SAAS;QACxB,WAAW,EAAE,GAAG,CAAC,WAAW;QAC5B,UAAU,EAAE,GAAG,CAAC,UAAU;QAC1B,cAAc,EAAE,GAAG,CAAC,aAAa;QACjC,WAAW,EAAE,GAAG,CAAC,UAAU;QAC3B,MAAM,EAAE,GAAG,CAAC,MAAM;QAClB,YAAY,EAAE,GAAG,CAAC,WAAW;QAC7B,WAAW,EAAE,MAAA,GAAG,CAAC,UAAU,mCAAI,IAAI;QACnC,WAAW,EAAE,GAAG,CAAC,UAAU;QAC3B,UAAU,EAAE,GAAG;QACf,UAAU,EAAE,GAAG;KAChB,CAAC,CAAA;IACF,IAAI,OAAO,EAAE,KAAK,QAAQ,IAAI,EAAE,GAAG,CAAC;QAAE,OAAO,EAAE,CAAA;IAC/C,MAAM,CAAC,GAAG,MAAM,IAAI,CAAC,SAAS,CAAC,CAAC,KAAK,CAAC,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,EAAE,GAAG,CAAC,aAAa,EAAE,CAAC,CAAC,KAAK,CAAC,UAAU,CAAC,CAAA;IACjH,OAAO,CAAC,CAAC,QAAQ,CAAA;AACnB,CAAC;AAED,kDAAkD;AAC3C,KAAK,UAAU,WAAW,CAAE,IAAU;IAC3C,MAAM,GAAG,GAAG,MAAM,IAAI,CAAC,WAAW,CAAC,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,KAAK,EAAE,CAAA;IAC5D,OAAO,GAAG,IAAI,IAAI,CAAC,CAAC,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAA;AACtD,CAAC;AAED,4DAA4D;AACrD,KAAK,UAAU,WAAW,CAC/B,IAAU,EACV,IAAgE,EAChE,MAAY,IAAI,IAAI,EAAE;;IAEtB,MAAM,QAAQ,GAAG,MAAM,IAAI,CAAC,WAAW,CAAC,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAA;IACrE,IAAI,QAAQ,IAAI,IAAI,EAAE,CAAC;QACrB,MAAM,IAAI,CAAC,WAAW,CAAC,CAAC,MAAM,CAAC;YAC7B,EAAE,EAAE,CAAC;YACL,MAAM,EAAE,IAAI,CAAC,MAAM;YACnB,UAAU,EAAE,IAAI,CAAC,SAAS;YAC1B,WAAW,EAAE,MAAA,IAAI,CAAC,UAAU,mCAAI,IAAI;YACpC,WAAW,EAAE,GAAG;YAChB,UAAU,EAAE,GAAG;YACf,UAAU,EAAE,GAAG;SAChB,CAAC,CAAA;QACF,OAAM;IACR,CAAC;IACD,MAAM,IAAI,CAAC,WAAW,CAAC,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC;QAC9C,MAAM,EAAE,IAAI,CAAC,MAAM;QACnB,UAAU,EAAE,IAAI,CAAC,SAAS;QAC1B,WAAW,EAAE,MAAA,IAAI,CAAC,UAAU,mCAAI,IAAI;QACpC,WAAW,EAAE,GAAG;QAChB,UAAU,EAAE,GAAG;KAChB,CAAC,CAAA;AACJ,CAAC;AAED,SAAS,iBAAiB,CAAE,GAAQ;;IAClC,OAAO;QACL,UAAU,EAAE,IAAI,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC;QACpC,UAAU,EAAE,IAAI,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC;QACpC,aAAa,EAAE,GAAG,CAAC,aAAa;QAChC,IAAI,EAAE,GAAG,CAAC,IAAI;QACd,UAAU,EAAE,GAAG,CAAC,UAAU;QAC1B,mBAAmB,EAAE,IAAI,IAAI,CAAC,GAAG,CAAC,qBAAqB,CAAC;QACxD,YAAY,EAAE,GAAG,CAAC,cAAc,IAAI,IAAI,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,SAAS;QACnF,QAAQ,EAAE,GAAG,CAAC,QAAQ;QACtB,iBAAiB,EAAE,GAAG,CAAC,kBAAkB;QACzC,YAAY,EAAE,CAAC,CAAC,GAAG,CAAC,aAAa;QACjC,cAAc,EAAE,MAAA,GAAG,CAAC,eAAe,mCAAI,SAAS;QAChD,KAAK,EAAE,MAAA,GAAG,CAAC,KAAK,mCAAI,SAAS;QAC7B,KAAK,EAAE,GAAG,CAAC,MAAM,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAE,GAAG,CAAC,MAAiB,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS;QACnF,SAAS,EAAE,GAAG,CAAC,UAAU,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAE,GAAG,CAAC,UAAqB,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS;QAC/F,MAAM,EAAE,MAAA,GAAG,CAAC,MAAM,mCAAI,SAAS;QAC/B,WAAW,EAAE,MAAA,GAAG,CAAC,YAAY,mCAAI,SAAS;QAC1C,UAAU,EAAE,GAAG,CAAC,WAAW,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAE,GAAG,CAAC,WAAsB,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS;QAClG,UAAU,EAAE,MAAA,GAAG,CAAC,WAAW,mCAAI,SAAS;QACxC,SAAS,EAAE,MAAA,GAAG,CAAC,UAAU,mCAAI,SAAS;QACtC,UAAU,EAAE,CAAC,CAAC,GAAG,CAAC,WAAW;QAC7B,YAAY,EAAE,MAAA,GAAG,CAAC,aAAa,mCAAI,SAAS;QAC5C,kBAAkB,EAAE,MAAA,GAAG,CAAC,oBAAoB,mCAAI,SAAS;QACzD,YAAY,EAAE,MAAA,GAAG,CAAC,aAAa,mCAAI,SAAS;QAC5C,UAAU,EAAE,GAAG,CAAC,WAAW;KAC5B,CAAA;AACH,CAAC;AAED,SAAS,mBAAmB,CAC1B,GAA4E,EAC5E,GAAS;;IAET,OAAO;QACL,IAAI,EAAE,GAAG,CAAC,IAAI;QACd,UAAU,EAAE,GAAG,CAAC,UAAU;QAC1B,qBAAqB,EAAE,GAAG,CAAC,mBAAmB;QAC9C,cAAc,EAAE,MAAA,GAAG,CAAC,YAAY,mCAAI,IAAI;QACxC,QAAQ,EAAE,GAAG,CAAC,QAAQ;QACtB,kBAAkB,EAAE,GAAG,CAAC,iBAAiB;QACzC,aAAa,EAAE,GAAG,CAAC,YAAY;QAC/B,eAAe,EAAE,MAAA,GAAG,CAAC,cAAc,mCAAI,IAAI;QAC3C,KAAK,EAAE,MAAA,GAAG,CAAC,KAAK,mCAAI,IAAI;QACxB,MAAM,EAAE,GAAG,CAAC,KAAK,IAAI,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI;QACzD,UAAU,EAAE,GAAG,CAAC,SAAS,IAAI,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI;QACrE,MAAM,EAAE,MAAA,GAAG,CAAC,MAAM,mCAAI,IAAI;QAC1B,YAAY,EAAE,MAAA,GAAG,CAAC,WAAW,mCAAI,IAAI;QACrC,WAAW,EAAE,GAAG,CAAC,UAAU,IAAI,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI;QACxE,WAAW,EAAE,MAAA,GAAG,CAAC,UAAU,mCAAI,IAAI;QACnC,UAAU,EAAE,MAAA,GAAG,CAAC,SAAS,mCAAI,IAAI;QACjC,WAAW,EAAE,GAAG,CAAC,UAAU;QAC3B,aAAa,EAAE,MAAA,GAAG,CAAC,YAAY,mCAAI,IAAI;QACvC,oBAAoB,EAAE,MAAA,GAAG,CAAC,kBAAkB,mCAAI,IAAI;QACpD,aAAa,EAAE,MAAA,GAAG,CAAC,YAAY,mCAAI,IAAI;QACvC,WAAW,EAAE,GAAG,CAAC,UAAU;QAC3B,UAAU,EAAE,GAAG;QACf,UAAU,EAAE,GAAG;KAChB,CAAA;AACH,CAAC;AAED,SAAS,YAAY,CAAE,GAAQ;;IAC7B,OAAO;QACL,UAAU,EAAE,IAAI,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC;QACpC,UAAU,EAAE,IAAI,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC;QACpC,QAAQ,EAAE,GAAG,CAAC,QAAQ;QACtB,MAAM,EAAE,GAAG,CAAC,MAAM;QAClB,aAAa,EAAE,GAAG,CAAC,aAAa;QAChC,SAAS,EAAE,GAAG,CAAC,SAAS;QACxB,WAAW,EAAE,GAAG,CAAC,WAAW;QAC5B,UAAU,EAAE,CAAC,CAAC,GAAG,CAAC,UAAU;QAC5B,aAAa,EAAE,GAAG,CAAC,cAAc;QACjC,UAAU,EAAE,CAAC,CAAC,GAAG,CAAC,WAAW;QAC7B,MAAM,EAAE,CAAC,CAAC,GAAG,CAAC,MAAM;QACpB,WAAW,EAAE,CAAC,CAAC,GAAG,CAAC,YAAY;QAC/B,UAAU,EAAE,MAAA,GAAG,CAAC,WAAW,mCAAI,SAAS;QACxC,UAAU,EAAE,GAAG,CAAC,WAAW;KAC5B,CAAA;AACH,CAAC;AAED,SAAS,cAAc,CAAE,GAAQ;;IAC/B,OAAO;QACL,UAAU,EAAE,IAAI,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC;QACpC,UAAU,EAAE,IAAI,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC;QACpC,EAAE,EAAE,GAAG,CAAC,EAAE;QACV,MAAM,EAAE,GAAG,CAAC,MAAM;QAClB,SAAS,EAAE,GAAG,CAAC,UAAU;QACzB,UAAU,EAAE,MAAA,GAAG,CAAC,WAAW,mCAAI,SAAS;QACxC,UAAU,EAAE,IAAI,IAAI,CAAC,GAAG,CAAC,WAAW,CAAC;KACtC,CAAA;AACH,CAAC"}

package/out/src/storage/schema/v7Fsm.d.ts

@@ -0,0 +1,27 @@
+import * as sdk from '../../sdk';
+export interface FsmTransitionResult {
+    ok: boolean;
+    reason?: string;
+}
+/**
+ * Returns true when `from -> to` is a permitted V7 processing transition.
+ * Identity transitions (`from === to`) are always allowed — they represent a
+ * status refresh without state change.
+ */
+export declare function isValidProcessingTransition(from: sdk.ProcessingStatus, to: sdk.ProcessingStatus): boolean;
+/**
+ * As `isValidProcessingTransition` but returns a structured result with a
+ * human-readable reason for any rejection. Useful for `tx_audit` payloads.
+ */
+export declare function validateProcessingTransition(from: sdk.ProcessingStatus, to: sdk.ProcessingStatus): FsmTransitionResult;
+/** Snapshot of the transition table for documentation + tests. */
+export declare function processingTransitionMap(): Readonly<Record<sdk.ProcessingStatus, readonly sdk.ProcessingStatus[]>>;
+/**
+ * True when the given state implies the transaction has been seen / accepted
+ * by at least one network provider — the precondition for output spendability
+ * in §4.
+ */
+export declare function isProcessingSpendable(s: sdk.ProcessingStatus): boolean;
+/** True when the state is terminal (no further automatic transitions). */
+export declare function isProcessingTerminal(s: sdk.ProcessingStatus): boolean;
+//# sourceMappingURL=v7Fsm.d.ts.map

package/out/src/storage/schema/v7Fsm.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"v7Fsm.d.ts","sourceRoot":"","sources":["../../../../src/storage/schema/v7Fsm.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,GAAG,MAAM,WAAW,CAAA;AA+BhC,MAAM,WAAW,mBAAmB;IAClC,EAAE,EAAE,OAAO,CAAA;IACX,MAAM,CAAC,EAAE,MAAM,CAAA;CAChB;AAED;;;;GAIG;AACH,wBAAgB,2BAA2B,CACzC,IAAI,EAAE,GAAG,CAAC,gBAAgB,EAC1B,EAAE,EAAE,GAAG,CAAC,gBAAgB,GACvB,OAAO,CAGT;AAED;;;GAGG;AACH,wBAAgB,4BAA4B,CAC1C,IAAI,EAAE,GAAG,CAAC,gBAAgB,EAC1B,EAAE,EAAE,GAAG,CAAC,gBAAgB,GACvB,mBAAmB,CAMrB;AAED,kEAAkE;AAClE,wBAAgB,uBAAuB,IAAK,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,gBAAgB,EAAE,SAAS,GAAG,CAAC,gBAAgB,EAAE,CAAC,CAAC,CAElH;AAED;;;;GAIG;AACH,wBAAgB,qBAAqB,CAAE,CAAC,EAAE,GAAG,CAAC,gBAAgB,GAAG,OAAO,CAEvE;AAED,0EAA0E;AAC1E,wBAAgB,oBAAoB,CAAE,CAAC,EAAE,GAAG,CAAC,gBAAgB,GAAG,OAAO,CAEtE"}

package/out/src/storage/schema/v7Fsm.js

@@ -0,0 +1,108 @@
+"use strict";
+var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    var desc = Object.getOwnPropertyDescriptor(m, k);
+    if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
+      desc = { enumerable: true, get: function() { return m[k]; } };
+    }
+    Object.defineProperty(o, k2, desc);
+}) : (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    o[k2] = m[k];
+}));
+var __setModuleDefault = (this && this.__setModuleDefault) || (Object.create ? (function(o, v) {
+    Object.defineProperty(o, "default", { enumerable: true, value: v });
+}) : function(o, v) {
+    o["default"] = v;
+});
+var __importStar = (this && this.__importStar) || (function () {
+    var ownKeys = function(o) {
+        ownKeys = Object.getOwnPropertyNames || function (o) {
+            var ar = [];
+            for (var k in o) if (Object.prototype.hasOwnProperty.call(o, k)) ar[ar.length] = k;
+            return ar;
+        };
+        return ownKeys(o);
+    };
+    return function (mod) {
+        if (mod && mod.__esModule) return mod;
+        var result = {};
+        if (mod != null) for (var k = ownKeys(mod), i = 0; i < k.length; i++) if (k[i] !== "default") __createBinding(result, mod, k[i]);
+        __setModuleDefault(result, mod);
+        return result;
+    };
+})();
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.isValidProcessingTransition = isValidProcessingTransition;
+exports.validateProcessingTransition = validateProcessingTransition;
+exports.processingTransitionMap = processingTransitionMap;
+exports.isProcessingSpendable = isProcessingSpendable;
+exports.isProcessingTerminal = isProcessingTerminal;
+const sdk = __importStar(require("../../sdk"));
+/**
+ * V7 processing-state machine.
+ *
+ * Maps each `ProcessingStatus` to the set of states it may legally transition
+ * to. Terminal states (`proven`, `invalid`, `doubleSpend`) have no outgoing
+ * transitions except via the `unfail` operator override.
+ *
+ * The transition table is intentionally permissive — the goal is to *reject
+ * impossible* moves (e.g. `queued -> proven` without ever broadcasting) rather
+ * than to enumerate the happy path. Stateful preconditions (proof present,
+ * provider acknowledged) are enforced at the call site.
+ */
+const TRANSITIONS = {
+    queued: ['sending', 'sent', 'nosend', 'frozen', 'nonfinal', 'invalid'],
+    sending: ['sent', 'seen', 'seen_multi', 'invalid', 'doubleSpend', 'frozen', 'queued'],
+    sent: ['seen', 'seen_multi', 'unconfirmed', 'proven', 'invalid', 'doubleSpend', 'frozen', 'sending'],
+    seen: ['seen_multi', 'unconfirmed', 'proven', 'invalid', 'doubleSpend', 'reorging', 'frozen'],
+    seen_multi: ['unconfirmed', 'proven', 'invalid', 'doubleSpend', 'reorging', 'frozen'],
+    unconfirmed: ['proven', 'invalid', 'reorging', 'frozen', 'seen', 'seen_multi'],
+    proven: ['reorging'],
+    reorging: ['proven', 'seen', 'seen_multi', 'unconfirmed', 'invalid', 'doubleSpend', 'frozen'],
+    invalid: ['unfail'],
+    doubleSpend: ['unfail'],
+    unfail: ['queued', 'sending', 'sent', 'seen', 'seen_multi', 'unconfirmed', 'proven', 'invalid', 'doubleSpend'],
+    frozen: ['queued', 'sending', 'sent', 'seen', 'seen_multi', 'unconfirmed', 'invalid', 'doubleSpend'],
+    nosend: ['queued', 'sent', 'seen', 'invalid', 'frozen'],
+    nonfinal: ['queued', 'sending', 'sent', 'invalid', 'frozen']
+};
+/**
+ * Returns true when `from -> to` is a permitted V7 processing transition.
+ * Identity transitions (`from === to`) are always allowed — they represent a
+ * status refresh without state change.
+ */
+function isValidProcessingTransition(from, to) {
+    if (from === to)
+        return true;
+    return TRANSITIONS[from].includes(to);
+}
+/**
+ * As `isValidProcessingTransition` but returns a structured result with a
+ * human-readable reason for any rejection. Useful for `tx_audit` payloads.
+ */
+function validateProcessingTransition(from, to) {
+    if (isValidProcessingTransition(from, to))
+        return { ok: true };
+    return {
+        ok: false,
+        reason: `illegal transition ${from} -> ${to}; legal next: ${TRANSITIONS[from].join(', ')}`
+    };
+}
+/** Snapshot of the transition table for documentation + tests. */
+function processingTransitionMap() {
+    return TRANSITIONS;
+}
+/**
+ * True when the given state implies the transaction has been seen / accepted
+ * by at least one network provider — the precondition for output spendability
+ * in §4.
+ */
+function isProcessingSpendable(s) {
+    return sdk.ProcessingSpendableStatus.includes(s);
+}
+/** True when the state is terminal (no further automatic transitions). */
+function isProcessingTerminal(s) {
+    return sdk.ProcessingTerminalStatus.includes(s);
+}
+//# sourceMappingURL=v7Fsm.js.map

package/out/src/storage/schema/v7Fsm.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"v7Fsm.js","sourceRoot":"","sources":["../../../../src/storage/schema/v7Fsm.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAyCA,kEAMC;AAMD,oEASC;AAGD,0DAEC;AAOD,sDAEC;AAGD,oDAEC;AAjFD,+CAAgC;AAEhC;;;;;;;;;;;GAWG;AACH,MAAM,WAAW,GAAyD;IACxE,MAAM,EAAE,CAAC,SAAS,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,UAAU,EAAE,SAAS,CAAC;IACtE,OAAO,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,YAAY,EAAE,SAAS,EAAE,aAAa,EAAE,QAAQ,EAAE,QAAQ,CAAC;IACrF,IAAI,EAAE,CAAC,MAAM,EAAE,YAAY,EAAE,aAAa,EAAE,QAAQ,EAAE,SAAS,EAAE,aAAa,EAAE,QAAQ,EAAE,SAAS,CAAC;IACpG,IAAI,EAAE,CAAC,YAAY,EAAE,aAAa,EAAE,QAAQ,EAAE,SAAS,EAAE,aAAa,EAAE,UAAU,EAAE,QAAQ,CAAC;IAC7F,UAAU,EAAE,CAAC,aAAa,EAAE,QAAQ,EAAE,SAAS,EAAE,aAAa,EAAE,UAAU,EAAE,QAAQ,CAAC;IACrF,WAAW,EAAE,CAAC,QAAQ,EAAE,SAAS,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,EAAE,YAAY,CAAC;IAC9E,MAAM,EAAE,CAAC,UAAU,CAAC;IACpB,QAAQ,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,YAAY,EAAE,aAAa,EAAE,SAAS,EAAE,aAAa,EAAE,QAAQ,CAAC;IAC7F,OAAO,EAAE,CAAC,QAAQ,CAAC;IACnB,WAAW,EAAE,CAAC,QAAQ,CAAC;IACvB,MAAM,EAAE,CAAC,QAAQ,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE,YAAY,EAAE,aAAa,EAAE,QAAQ,EAAE,SAAS,EAAE,aAAa,CAAC;IAC9G,MAAM,EAAE,CAAC,QAAQ,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE,YAAY,EAAE,aAAa,EAAE,SAAS,EAAE,aAAa,CAAC;IACpG,MAAM,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,QAAQ,CAAC;IACvD,QAAQ,EAAE,CAAC,QAAQ,EAAE,SAAS,EAAE,MAAM,EAAE,SAAS,EAAE,QAAQ,CAAC;CAC7D,CAAA;AAOD;;;;GAIG;AACH,SAAgB,2BAA2B,CACzC,IAA0B,EAC1B,EAAwB;IAExB,IAAI,IAAI,KAAK,EAAE;QAAE,OAAO,IAAI,CAAA;IAC5B,OAAO,WAAW,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAA;AACvC,CAAC;AAED;;;GAGG;AACH,SAAgB,4BAA4B,CAC1C,IAA0B,EAC1B,EAAwB;IAExB,IAAI,2BAA2B,CAAC,IAAI,EAAE,EAAE,CAAC;QAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,CAAA;IAC9D,OAAO;QACL,EAAE,EAAE,KAAK;QACT,MAAM,EAAE,sBAAsB,IAAI,OAAO,EAAE,iBAAiB,WAAW,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;KAC3F,CAAA;AACH,CAAC;AAED,kEAAkE;AAClE,SAAgB,uBAAuB;IACrC,OAAO,WAAW,CAAA;AACpB,CAAC;AAED;;;;GAIG;AACH,SAAgB,qBAAqB,CAAE,CAAuB;IAC5D,OAAO,GAAG,CAAC,yBAAyB,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAA;AAClD,CAAC;AAED,0EAA0E;AAC1E,SAAgB,oBAAoB,CAAE,CAAuB;IAC3D,OAAO,GAAG,CAAC,wBAAwB,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAA;AACjD,CAAC"}

package/out/src/storage/schema/v7MonitorLease.d.ts

@@ -0,0 +1,57 @@
+import { Knex } from 'knex';
+import { TableMonitorLease } from './tables';
+/**
+ * V7 monitor lease primitive.
+ *
+ * A `monitor_lease` row records the owner that may currently execute a named
+ * task. Acquisition is opportunistic: a Monitor calls `tryClaimLease()` to
+ * insert or take over a stale row; if it succeeds it owns the task until
+ * `expiresAt`. While running it calls `renewLease()` to extend the deadline.
+ * On clean shutdown it calls `releaseLease()`.
+ *
+ * The Knex driver expresses claim + takeover as a single conditional UPDATE
+ * so that two contending Monitors cannot both believe they own the task — at
+ * most one row write will succeed per (task, expiry) pair.
+ */
+export interface MonitorLeaseClaim {
+    taskName: string;
+    ownerId: string;
+    ttlMs: number;
+    note?: string;
+}
+export interface MonitorLeaseRenew {
+    taskName: string;
+    ownerId: string;
+    ttlMs: number;
+    note?: string;
+}
+export interface MonitorLeaseRelease {
+    taskName: string;
+    ownerId: string;
+}
+export interface MonitorLeaseResult {
+    acquired: boolean;
+    lease?: TableMonitorLease;
+}
+/**
+ * Try to claim a lease on `taskName`. Succeeds iff:
+ *   - no row exists for the task, OR
+ *   - the existing row has `expiresAt <= now`, OR
+ *   - the existing row's `ownerId` already equals the requested owner.
+ *
+ * On success the row is upserted with `expiresAt = now + ttlMs` and
+ * `renewCount = renewCount + 1` (0 for fresh rows).
+ */
+export declare function tryClaimLease(knex: Knex, claim: MonitorLeaseClaim, now?: Date): Promise<MonitorLeaseResult>;
+/**
+ * Extend the current owner's lease. Fails (returns `acquired: false`) when the
+ * row does not exist, is owned by someone else, or has already expired.
+ */
+export declare function renewLease(knex: Knex, renew: MonitorLeaseRenew, now?: Date): Promise<MonitorLeaseResult>;
+/**
+ * Release the lease (no-op when not owned by the caller).
+ * The row is deleted so subsequent claimants do not see an inherited
+ * `renew_count`.
+ */
+export declare function releaseLease(knex: Knex, release: MonitorLeaseRelease): Promise<boolean>;
+//# sourceMappingURL=v7MonitorLease.d.ts.map

package/out/src/storage/schema/v7MonitorLease.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"v7MonitorLease.d.ts","sourceRoot":"","sources":["../../../../src/storage/schema/v7MonitorLease.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,MAAM,CAAA;AAC3B,OAAO,EAAE,iBAAiB,EAAE,MAAM,UAAU,CAAA;AAE5C;;;;;;;;;;;;GAYG;AACH,MAAM,WAAW,iBAAiB;IAChC,QAAQ,EAAE,MAAM,CAAA;IAChB,OAAO,EAAE,MAAM,CAAA;IACf,KAAK,EAAE,MAAM,CAAA;IACb,IAAI,CAAC,EAAE,MAAM,CAAA;CACd;AAED,MAAM,WAAW,iBAAiB;IAChC,QAAQ,EAAE,MAAM,CAAA;IAChB,OAAO,EAAE,MAAM,CAAA;IACf,KAAK,EAAE,MAAM,CAAA;IACb,IAAI,CAAC,EAAE,MAAM,CAAA;CACd;AAED,MAAM,WAAW,mBAAmB;IAClC,QAAQ,EAAE,MAAM,CAAA;IAChB,OAAO,EAAE,MAAM,CAAA;CAChB;AAED,MAAM,WAAW,kBAAkB;IACjC,QAAQ,EAAE,OAAO,CAAA;IACjB,KAAK,CAAC,EAAE,iBAAiB,CAAA;CAC1B;AAED;;;;;;;;GAQG;AACH,wBAAsB,aAAa,CACjC,IAAI,EAAE,IAAI,EACV,KAAK,EAAE,iBAAiB,EACxB,GAAG,GAAE,IAAiB,GACrB,OAAO,CAAC,kBAAkB,CAAC,CAmC7B;AAED;;;GAGG;AACH,wBAAsB,UAAU,CAC9B,IAAI,EAAE,IAAI,EACV,KAAK,EAAE,iBAAiB,EACxB,GAAG,GAAE,IAAiB,GACrB,OAAO,CAAC,kBAAkB,CAAC,CAkB7B;AAED;;;;GAIG;AACH,wBAAsB,YAAY,CAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,mBAAmB,GAAG,OAAO,CAAC,OAAO,CAAC,CAK9F"}

package/out/src/storage/schema/v7MonitorLease.js

@@ -0,0 +1,101 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.tryClaimLease = tryClaimLease;
+exports.renewLease = renewLease;
+exports.releaseLease = releaseLease;
+/**
+ * Try to claim a lease on `taskName`. Succeeds iff:
+ *   - no row exists for the task, OR
+ *   - the existing row has `expiresAt <= now`, OR
+ *   - the existing row's `ownerId` already equals the requested owner.
+ *
+ * On success the row is upserted with `expiresAt = now + ttlMs` and
+ * `renewCount = renewCount + 1` (0 for fresh rows).
+ */
+async function tryClaimLease(knex, claim, now = new Date()) {
+    const expiresAt = new Date(now.getTime() + claim.ttlMs);
+    return await knex.transaction(async (trx) => {
+        var _a, _b;
+        const existing = await trx('monitor_lease').where({ task_name: claim.taskName }).forUpdate().first();
+        const canClaim = existing == null ||
+            new Date(existing.expires_at).getTime() <= now.getTime() ||
+            existing.owner_id === claim.ownerId;
+        if (!canClaim)
+            return { acquired: false };
+        if (existing == null) {
+            await trx('monitor_lease').insert({
+                task_name: claim.taskName,
+                owner_id: claim.ownerId,
+                expires_at: expiresAt,
+                renew_count: 0,
+                note: (_a = claim.note) !== null && _a !== void 0 ? _a : null,
+                created_at: now,
+                updated_at: now
+            });
+        }
+        else {
+            await trx('monitor_lease')
+                .where({ task_name: claim.taskName })
+                .update({
+                owner_id: claim.ownerId,
+                expires_at: expiresAt,
+                renew_count: existing.owner_id === claim.ownerId ? existing.renew_count + 1 : 0,
+                note: (_b = claim.note) !== null && _b !== void 0 ? _b : existing.note,
+                updated_at: now
+            });
+        }
+        const row = await trx('monitor_lease').where({ task_name: claim.taskName }).first();
+        return { acquired: true, lease: mapRow(row) };
+    });
+}
+/**
+ * Extend the current owner's lease. Fails (returns `acquired: false`) when the
+ * row does not exist, is owned by someone else, or has already expired.
+ */
+async function renewLease(knex, renew, now = new Date()) {
+    const expiresAt = new Date(now.getTime() + renew.ttlMs);
+    return await knex.transaction(async (trx) => {
+        var _a;
+        const existing = await trx('monitor_lease').where({ task_name: renew.taskName }).forUpdate().first();
+        if (existing == null)
+            return { acquired: false };
+        if (existing.owner_id !== renew.ownerId)
+            return { acquired: false };
+        if (new Date(existing.expires_at).getTime() <= now.getTime())
+            return { acquired: false };
+        await trx('monitor_lease')
+            .where({ task_name: renew.taskName })
+            .update({
+            expires_at: expiresAt,
+            renew_count: existing.renew_count + 1,
+            note: (_a = renew.note) !== null && _a !== void 0 ? _a : existing.note,
+            updated_at: now
+        });
+        const row = await trx('monitor_lease').where({ task_name: renew.taskName }).first();
+        return { acquired: true, lease: mapRow(row) };
+    });
+}
+/**
+ * Release the lease (no-op when not owned by the caller).
+ * The row is deleted so subsequent claimants do not see an inherited
+ * `renew_count`.
+ */
+async function releaseLease(knex, release) {
+    const deleted = await knex('monitor_lease')
+        .where({ task_name: release.taskName, owner_id: release.ownerId })
+        .delete();
+    return deleted > 0;
+}
+function mapRow(row) {
+    var _a;
+    return {
+        created_at: new Date(row.created_at),
+        updated_at: new Date(row.updated_at),
+        taskName: row.task_name,
+        ownerId: row.owner_id,
+        expiresAt: new Date(row.expires_at),
+        renewCount: row.renew_count,
+        note: (_a = row.note) !== null && _a !== void 0 ? _a : undefined
+    };
+}
+//# sourceMappingURL=v7MonitorLease.js.map

package/out/src/storage/schema/v7MonitorLease.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"v7MonitorLease.js","sourceRoot":"","sources":["../../../../src/storage/schema/v7MonitorLease.ts"],"names":[],"mappings":";;AAiDA,sCAuCC;AAMD,gCAsBC;AAOD,oCAKC;AAxFD;;;;;;;;GAQG;AACI,KAAK,UAAU,aAAa,CACjC,IAAU,EACV,KAAwB,EACxB,MAAY,IAAI,IAAI,EAAE;IAEtB,MAAM,SAAS,GAAG,IAAI,IAAI,CAAC,GAAG,CAAC,OAAO,EAAE,GAAG,KAAK,CAAC,KAAK,CAAC,CAAA;IACvD,OAAO,MAAM,IAAI,CAAC,WAAW,CAAC,KAAK,EAAC,GAAG,EAAC,EAAE;;QACxC,MAAM,QAAQ,GAAG,MAAM,GAAG,CAAC,eAAe,CAAC,CAAC,KAAK,CAAC,EAAE,SAAS,EAAE,KAAK,CAAC,QAAQ,EAAE,CAAC,CAAC,SAAS,EAAE,CAAC,KAAK,EAAE,CAAA;QACpG,MAAM,QAAQ,GACZ,QAAQ,IAAI,IAAI;YAChB,IAAI,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,OAAO,EAAE,IAAI,GAAG,CAAC,OAAO,EAAE;YACxD,QAAQ,CAAC,QAAQ,KAAK,KAAK,CAAC,OAAO,CAAA;QACrC,IAAI,CAAC,QAAQ;YAAE,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAA;QAEzC,IAAI,QAAQ,IAAI,IAAI,EAAE,CAAC;YACrB,MAAM,GAAG,CAAC,eAAe,CAAC,CAAC,MAAM,CAAC;gBAChC,SAAS,EAAE,KAAK,CAAC,QAAQ;gBACzB,QAAQ,EAAE,KAAK,CAAC,OAAO;gBACvB,UAAU,EAAE,SAAS;gBACrB,WAAW,EAAE,CAAC;gBACd,IAAI,EAAE,MAAA,KAAK,CAAC,IAAI,mCAAI,IAAI;gBACxB,UAAU,EAAE,GAAG;gBACf,UAAU,EAAE,GAAG;aAChB,CAAC,CAAA;QACJ,CAAC;aAAM,CAAC;YACN,MAAM,GAAG,CAAC,eAAe,CAAC;iBACvB,KAAK,CAAC,EAAE,SAAS,EAAE,KAAK,CAAC,QAAQ,EAAE,CAAC;iBACpC,MAAM,CAAC;gBACN,QAAQ,EAAE,KAAK,CAAC,OAAO;gBACvB,UAAU,EAAE,SAAS;gBACrB,WAAW,EAAE,QAAQ,CAAC,QAAQ,KAAK,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,WAAW,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;gBAC/E,IAAI,EAAE,MAAA,KAAK,CAAC,IAAI,mCAAI,QAAQ,CAAC,IAAI;gBACjC,UAAU,EAAE,GAAG;aAChB,CAAC,CAAA;QACN,CAAC;QAED,MAAM,GAAG,GAAG,MAAM,GAAG,CAAC,eAAe,CAAC,CAAC,KAAK,CAAC,EAAE,SAAS,EAAE,KAAK,CAAC,QAAQ,EAAE,CAAC,CAAC,KAAK,EAAE,CAAA;QACnF,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,CAAC,GAAG,CAAC,EAAE,CAAA;IAC/C,CAAC,CAAC,CAAA;AACJ,CAAC;AAED;;;GAGG;AACI,KAAK,UAAU,UAAU,CAC9B,IAAU,EACV,KAAwB,EACxB,MAAY,IAAI,IAAI,EAAE;IAEtB,MAAM,SAAS,GAAG,IAAI,IAAI,CAAC,GAAG,CAAC,OAAO,EAAE,GAAG,KAAK,CAAC,KAAK,CAAC,CAAA;IACvD,OAAO,MAAM,IAAI,CAAC,WAAW,CAAC,KAAK,EAAC,GAAG,EAAC,EAAE;;QACxC,MAAM,QAAQ,GAAG,MAAM,GAAG,CAAC,eAAe,CAAC,CAAC,KAAK,CAAC,EAAE,SAAS,EAAE,KAAK,CAAC,QAAQ,EAAE,CAAC,CAAC,SAAS,EAAE,CAAC,KAAK,EAAE,CAAA;QACpG,IAAI,QAAQ,IAAI,IAAI;YAAE,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAA;QAChD,IAAI,QAAQ,CAAC,QAAQ,KAAK,KAAK,CAAC,OAAO;YAAE,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAA;QACnE,IAAI,IAAI,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,OAAO,EAAE,IAAI,GAAG,CAAC,OAAO,EAAE;YAAE,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAA;QACxF,MAAM,GAAG,CAAC,eAAe,CAAC;aACvB,KAAK,CAAC,EAAE,SAAS,EAAE,KAAK,CAAC,QAAQ,EAAE,CAAC;aACpC,MAAM,CAAC;YACN,UAAU,EAAE,SAAS;YACrB,WAAW,EAAE,QAAQ,CAAC,WAAW,GAAG,CAAC;YACrC,IAAI,EAAE,MAAA,KAAK,CAAC,IAAI,mCAAI,QAAQ,CAAC,IAAI;YACjC,UAAU,EAAE,GAAG;SAChB,CAAC,CAAA;QACJ,MAAM,GAAG,GAAG,MAAM,GAAG,CAAC,eAAe,CAAC,CAAC,KAAK,CAAC,EAAE,SAAS,EAAE,KAAK,CAAC,QAAQ,EAAE,CAAC,CAAC,KAAK,EAAE,CAAA;QACnF,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,CAAC,GAAG,CAAC,EAAE,CAAA;IAC/C,CAAC,CAAC,CAAA;AACJ,CAAC;AAED;;;;GAIG;AACI,KAAK,UAAU,YAAY,CAAE,IAAU,EAAE,OAA4B;IAC1E,MAAM,OAAO,GAAG,MAAM,IAAI,CAAC,eAAe,CAAC;SACxC,KAAK,CAAC,EAAE,SAAS,EAAE,OAAO,CAAC,QAAQ,EAAE,QAAQ,EAAE,OAAO,CAAC,OAAO,EAAE,CAAC;SACjE,MAAM,EAAE,CAAA;IACX,OAAO,OAAO,GAAG,CAAC,CAAA;AACpB,CAAC;AAED,SAAS,MAAM,CAAE,GAAQ;;IACvB,OAAO;QACL,UAAU,EAAE,IAAI,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC;QACpC,UAAU,EAAE,IAAI,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC;QACpC,QAAQ,EAAE,GAAG,CAAC,SAAS;QACvB,OAAO,EAAE,GAAG,CAAC,QAAQ;QACrB,SAAS,EAAE,IAAI,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC;QACnC,UAAU,EAAE,GAAG,CAAC,WAAW;QAC3B,IAAI,EAAE,MAAA,GAAG,CAAC,IAAI,mCAAI,SAAS;KAC5B,CAAA;AACH,CAAC"}