@totemsdk/omnia-vtxo 0.1.1 → 0.2.1

package/dist/commitment.d.ts

@@ -1,4 +1,9 @@
 import { OmniaVtxo, VtxoId, VtxoProof } from './types.js';
+/** Domain-separated hash prefixes (#33) — a hash on one record cannot replay against another. */
+export declare const VTXO_ID_DOMAIN = "totemsdk/omnia-vtxo/vtxo/v1";
+export declare const VTXO_POOL_ID_DOMAIN = "totemsdk/omnia-vtxo/pool/v1";
+export declare const VTXO_LEAF_DOMAIN = "totemsdk/omnia-vtxo/leaf/v1";
+export declare const VTXO_RECEIPT_DOMAIN = "totemsdk/omnia-vtxo/receipt/v1";
 export declare function computeVtxoLeaf(vtxo: OmniaVtxo): string;
 export interface ComputeVtxoIdParams {
     poolId: string;

package/dist/commitment.js

@@ -1,5 +1,6 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
+exports.VTXO_RECEIPT_DOMAIN = exports.VTXO_LEAF_DOMAIN = exports.VTXO_POOL_ID_DOMAIN = exports.VTXO_ID_DOMAIN = void 0;
 exports.computeVtxoLeaf = computeVtxoLeaf;
 exports.computeVtxoId = computeVtxoId;
 exports.computePoolId = computePoolId;
@@ -9,6 +10,11 @@ exports.buildVtxoProofSet = buildVtxoProofSet;
 exports.computeReceiptId = computeReceiptId;
 const core_1 = require("@totemsdk/core");
 const constants_js_1 = require("./constants.js");
+/** Domain-separated hash prefixes (#33) — a hash on one record cannot replay against another. */
+exports.VTXO_ID_DOMAIN = 'totemsdk/omnia-vtxo/vtxo/v1';
+exports.VTXO_POOL_ID_DOMAIN = 'totemsdk/omnia-vtxo/pool/v1';
+exports.VTXO_LEAF_DOMAIN = 'totemsdk/omnia-vtxo/leaf/v1';
+exports.VTXO_RECEIPT_DOMAIN = 'totemsdk/omnia-vtxo/receipt/v1';
 function sha3hex(input) {
     const bytes = new TextEncoder().encode(input);
     return (0, core_1.bytesToHex)((0, core_1.sha3_256)(bytes));
@@ -21,6 +27,7 @@ function hashPair(a, b) {
 }
 function computeVtxoLeaf(vtxo) {
     const input = [
+        exports.VTXO_LEAF_DOMAIN,
         vtxo.vtxoId,
         vtxo.owner,
         vtxo.amount.toString(),
@@ -32,7 +39,7 @@ function computeVtxoLeaf(vtxo) {
 }
 function computeVtxoId(params) {
     const input = [
-        'vtxo',
+        exports.VTXO_ID_DOMAIN,
         params.poolId,
         params.owner,
         params.amount.toString(),
@@ -43,7 +50,7 @@ function computeVtxoId(params) {
 }
 function computePoolId(params) {
     const input = [
-        'pool',
+        exports.VTXO_POOL_ID_DOMAIN,
         params.operator,
         params.tokenId,
         params.nonce,
@@ -141,7 +148,7 @@ function buildVtxoProofSet(vtxos) {
 }
 function computeReceiptId(poolId, op, inputIds, outputIds, at) {
     const input = [
-        'receipt',
+        exports.VTXO_RECEIPT_DOMAIN,
         poolId,
         op,
         inputIds.sort().join(','),

package/dist/durable-store.d.ts

@@ -0,0 +1,33 @@
+/**
+ * Durable VTXO/pool snapshot store (RFC-007 G6).
+ *
+ * Drop-in replacement for `MemoryOmniaVtxoStore` — same `OmniaVtxoStore` port
+ * — backed by a storage adapter instead of heap maps: the whole pool/VTXO
+ * registry is a single revision-CAS snapshot record, so concurrent pool/VTXO
+ * transitions never lose an update, reopen restores every VTXO (incl. spent
+ * status and history), and corruption is surfaced — never treated as absence.
+ */
+import type { StorageAdapterWithCapabilities, CasStore, WriteAckMode } from '@totemsdk/storage/types';
+import type { OmniaVtxo, OmniaVtxoPool, OmniaVtxoStore } from './types.js';
+export interface OmniaVtxoRegistryState {
+    pools: Record<string, OmniaVtxoPool>;
+    vtxos: Record<string, OmniaVtxo>;
+}
+export interface DurableOmniaVtxoStoreOptions {
+    /** Key namespace prefix; default `totem_omnia_vtxo:v1:`. */
+    readonly namespace?: string;
+    /**
+     * Required write acknowledgment; default `durably-acknowledged`. Pass
+     * `volatile` only for tests/scratch adapters (e.g. `MemoryStore`).
+     */
+    readonly requireAckMode?: WriteAckMode;
+}
+export interface DurableOmniaVtxoStore extends OmniaVtxoStore {
+    /** Current registry transition counter (0 before the first write). */
+    getRevision(): Promise<number>;
+    /** True once any snapshot record has been persisted. */
+    hasState(): Promise<boolean>;
+    /** Current persisted snapshot state (pool + vtxo maps). */
+    getSnapshot(): Promise<OmniaVtxoRegistryState>;
+}
+export declare function createDurableOmniaVtxoStore(adapter: StorageAdapterWithCapabilities & CasStore, options?: DurableOmniaVtxoStoreOptions): DurableOmniaVtxoStore;

package/dist/durable-store.js

@@ -0,0 +1,93 @@
+"use strict";
+/**
+ * Durable VTXO/pool snapshot store (RFC-007 G6).
+ *
+ * Drop-in replacement for `MemoryOmniaVtxoStore` — same `OmniaVtxoStore` port
+ * — backed by a storage adapter instead of heap maps: the whole pool/VTXO
+ * registry is a single revision-CAS snapshot record, so concurrent pool/VTXO
+ * transitions never lose an update, reopen restores every VTXO (incl. spent
+ * status and history), and corruption is surfaced — never treated as absence.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.createDurableOmniaVtxoStore = createDurableOmniaVtxoStore;
+const snapshot_1 = require("@totemsdk/storage/snapshot");
+const errors_1 = require("@totemsdk/storage/errors");
+const errors_js_1 = require("./errors.js");
+const DEFAULT_NAMESPACE = 'totem_omnia_vtxo:v1:';
+function assertRegistryState(state) {
+    if (typeof state !== 'object' || state === null || Array.isArray(state)) {
+        throw new errors_1.StorageError('omnia-vtxo registry state is not an object', 'corrupt');
+    }
+    for (const section of ['pools', 'vtxos']) {
+        const value = state[section];
+        if (typeof value !== 'object' || value === null || Array.isArray(value)) {
+            throw new errors_1.StorageError(`omnia-vtxo registry state is missing section "${section}"`, 'corrupt');
+        }
+    }
+}
+function createDurableOmniaVtxoStore(adapter, options = {}) {
+    const snapshots = (0, snapshot_1.createRevisionedSnapshotStore)(adapter, {
+        namespace: options.namespace ?? DEFAULT_NAMESPACE,
+        requireAckMode: options.requireAckMode,
+        empty: () => ({ pools: {}, vtxos: {} }),
+        validate: assertRegistryState,
+    });
+    async function mutate(fn) {
+        await snapshots.mutate(fn);
+    }
+    return {
+        async savePool(pool) {
+            await mutate((state) => {
+                const pools = { ...state.pools, [pool.poolId]: pool };
+                return { ...state, pools };
+            });
+        },
+        async getPool(poolId) {
+            return (await snapshots.load()).pools[poolId];
+        },
+        async saveVtxo(vtxo) {
+            await mutate((state) => {
+                const vtxos = { ...state.vtxos, [vtxo.vtxoId]: vtxo };
+                return { ...state, vtxos };
+            });
+        },
+        async getVtxo(vtxoId) {
+            return (await snapshots.load()).vtxos[vtxoId];
+        },
+        async listVtxos(poolId) {
+            const state = await snapshots.load();
+            const all = Object.values(state.vtxos);
+            if (poolId === undefined)
+                return all;
+            return all.filter((v) => v.poolId === poolId);
+        },
+        async markVtxoSpent(vtxoId, now) {
+            await mutate((state) => {
+                const existing = state.vtxos[vtxoId];
+                if (!existing) {
+                    // Preserve MemoryOmniaVtxoStore error behaviour exactly.
+                    throw new Error(`VTXO ${vtxoId} not found`);
+                }
+                if (existing.status !== 'active') {
+                    throw new errors_js_1.VtxoStatusError(`Cannot mark VTXO ${vtxoId} as spent: status is '${existing.status}'`, existing.status);
+                }
+                const ts = now !== undefined ? now : Date.now();
+                const vtxos = {
+                    ...state.vtxos,
+                    [vtxoId]: {
+                        ...existing,
+                        status: 'spent',
+                        updatedAt: ts,
+                        history: [...existing.history, { op: 'spent', at: ts }],
+                    },
+                };
+                return { ...state, vtxos };
+            });
+        },
+        getRevision: () => snapshots.getRevision(),
+        hasState: () => snapshots.hasState(),
+        async getSnapshot() {
+            return snapshots.load();
+        },
+    };
+}

package/dist/exit.d.ts

@@ -10,10 +10,17 @@ export declare function markExiting(vtxo: OmniaVtxo, now?: number): OmniaVtxo;
  */
 export declare function markExited(vtxo: OmniaVtxo, now?: number): OmniaVtxo;
 /**
- * Creates a mock exit draft for a VTXO. Validates the proof leaf before drafting.
+ * Creates a mock exit draft for a VTXO. Validates the proof leaf before
+ * drafting, caps the exit at the verified share, and consumes the VTXO's
+ * receipt so a second exit draft is refused (double-exit prevention, #28).
  * @param now - Timestamp in ms. Defaults to Date.now() if omitted — pass explicitly for determinism.
  */
 export declare function createExitDraft(vtxo: OmniaVtxo, now?: number): {
     draft: ExitDraft;
     receipt: VtxoOperatorReceipt;
 };
+/**
+ * Consume a VTXO's exit receipt — the single-spend marker that prevents a
+ * second exit draft for the same VTXO. Returns the updated VTXO.
+ */
+export declare function consumeExitReceipt(vtxo: OmniaVtxo, receiptId: string, now?: number): OmniaVtxo;

package/dist/exit.js

@@ -3,6 +3,7 @@ Object.defineProperty(exports, "__esModule", { value: true });
 exports.markExiting = markExiting;
 exports.markExited = markExited;
 exports.createExitDraft = createExitDraft;
+exports.consumeExitReceipt = consumeExitReceipt;
 const errors_js_1 = require("./errors.js");
 const constants_js_1 = require("./constants.js");
 const commitment_js_1 = require("./commitment.js");
@@ -58,7 +59,9 @@ function assertProofLeafValid(vtxo) {
     }
 }
 /**
- * Creates a mock exit draft for a VTXO. Validates the proof leaf before drafting.
+ * Creates a mock exit draft for a VTXO. Validates the proof leaf before
+ * drafting, caps the exit at the verified share, and consumes the VTXO's
+ * receipt so a second exit draft is refused (double-exit prevention, #28).
  * @param now - Timestamp in ms. Defaults to Date.now() if omitted — pass explicitly for determinism.
  */
 function createExitDraft(vtxo, now) {
@@ -66,6 +69,9 @@ function createExitDraft(vtxo, now) {
     if (vtxo.status !== 'active' && vtxo.status !== 'exiting') {
         throw new errors_js_1.VtxoExitError(`Cannot create exit draft for VTXO ${vtxo.vtxoId}: status is '${vtxo.status}'`);
     }
+    if (vtxo.exitConsumedAt !== undefined) {
+        throw new errors_js_1.VtxoExitError(`Cannot create exit draft for VTXO ${vtxo.vtxoId}: exit already consumed by ${vtxo.exitReceiptId}`);
+    }
     assertProofLeafValid(vtxo);
     const draft = {
         vtxoId: vtxo.vtxoId,
@@ -76,6 +82,7 @@ function createExitDraft(vtxo, now) {
         draftType: 'mock-exit',
         timelockSeconds: 86400,
         createdAt: ts,
+        verifiedShare: vtxo.amount,
     };
     const receiptId = (0, commitment_js_1.computeReceiptId)(vtxo.poolId, 'exit_initiated', [vtxo.vtxoId], [], ts);
     const receipt = {
@@ -91,3 +98,18 @@ function createExitDraft(vtxo, now) {
     };
     return { draft, receipt };
 }
+/**
+ * Consume a VTXO's exit receipt — the single-spend marker that prevents a
+ * second exit draft for the same VTXO. Returns the updated VTXO.
+ */
+function consumeExitReceipt(vtxo, receiptId, now) {
+    if (vtxo.exitConsumedAt !== undefined) {
+        throw new errors_js_1.VtxoExitError(`VTXO ${vtxo.vtxoId} exit already consumed by ${vtxo.exitReceiptId}`);
+    }
+    return {
+        ...vtxo,
+        exitConsumedAt: now ?? Date.now(),
+        exitReceiptId: receiptId,
+        updatedAt: now ?? Date.now(),
+    };
+}

package/dist/index.d.ts

@@ -11,5 +11,6 @@ export * from './refresh.js';
 export * from './exit.js';
 export * from './verify.js';
 export * from './memory-store.js';
+export * from './durable-store.js';
 export * from './serialization.js';
 export * from './policy.js';

package/dist/index.js

@@ -27,5 +27,6 @@ __exportStar(require("./refresh.js"), exports);
 __exportStar(require("./exit.js"), exports);
 __exportStar(require("./verify.js"), exports);
 __exportStar(require("./memory-store.js"), exports);
+__exportStar(require("./durable-store.js"), exports);
 __exportStar(require("./serialization.js"), exports);
 __exportStar(require("./policy.js"), exports);

package/dist/types.d.ts

@@ -48,6 +48,11 @@ export interface OmniaVtxo {
     createdAt: number;
     updatedAt: number;
     expiresAt?: number;
+    /** The on-chain funding proof recorded at mint (deep proof, #28). */
+    fundingProof?: unknown;
+    /** Set when an exit draft consumed this VTXO — prevents double-exit. */
+    exitConsumedAt?: number;
+    exitReceiptId?: string;
 }
 export interface VtxoTransfer {
     inputId: VtxoId;
@@ -84,6 +89,8 @@ export interface MintVtxoParams {
     amount: bigint;
     nonce: string;
     expiresAt?: number;
+    /** The on-chain funding proof (deep proof) recorded at mint. */
+    fundingProof?: unknown;
 }
 export interface TransferVtxoParams {
     recipient: string;
@@ -135,6 +142,8 @@ export interface ExitDraft {
     draftType: 'mock-exit';
     timelockSeconds: number;
     createdAt: number;
+    /** The verified share this exit is capped at (the VTXO's amount). */
+    verifiedShare: bigint;
 }
 export interface VerifyVtxoResult {
     valid: boolean;

package/dist/vtxo.js

@@ -42,6 +42,7 @@ function mintVtxo(pool, params, now) {
             epoch: pool.epoch,
             batchId: constants_js_1.MOCK_BATCH_ID,
         },
+        fundingProof: params.fundingProof,
         history: [
             {
                 op: 'mint',

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@totemsdk/omnia-vtxo",
-  "version": "0.1.1",
+  "version": "0.2.1",
   "description": "Virtual UTXO / payment-pool claim layer for Omnia — cash-like off-chain balance primitive for Totem Edge",
   "main": "dist/index.js",
   "types": "dist/index.d.ts",
@@ -19,7 +19,8 @@
     "LICENSE"
   ],
   "dependencies": {
-    "@totemsdk/core": "^1.2.8"
+    "@totemsdk/core": "^1.2.11",
+    "@totemsdk/storage": "^0.1.0"
   },
   "devDependencies": {
     "@types/jest": "^30.0.0",
@@ -36,13 +37,13 @@
   },
   "license": "MIT",
   "author": "Totem SDK",
-  "homepage": "https://totem.ing",
+  "homepage": "https://docs.totem.ing",
   "bugs": {
-    "url": "https://github.com/totem-sdk/totem-sdk/issues"
+    "url": "https://github.com/Totem-Edge/totem-sdk/issues"
   },
   "repository": {
     "type": "git",
-    "url": "git+https://github.com/totem-sdk/totem-sdk.git",
+    "url": "git+https://github.com/Totem-Edge/totem-sdk.git",
     "directory": "packages/omnia-vtxo"
   },
   "keywords": [

package/rust/pkg/package.json

@@ -9,7 +9,7 @@
   "license": "MIT",
   "repository": {
     "type": "git",
-    "url": "https://github.com/totem-sdk/totem-sdk"
+    "url": "https://github.com/Totem-Edge/totem-sdk"
   },
   "files": [
     "omnia_vtxo_wasm_bg.wasm",

package/rust/pkg-node/package.json

@@ -8,7 +8,7 @@
   "license": "MIT",
   "repository": {
     "type": "git",
-    "url": "https://github.com/totem-sdk/totem-sdk"
+    "url": "https://github.com/Totem-Edge/totem-sdk"
   },
   "files": [
     "omnia_vtxo_wasm_bg.wasm",