@hardkas/artifacts 0.1.0

package/dist/index.d.ts

@@ -0,0 +1,1736 @@
+import { ArtifactType, NetworkId, ExecutionMode, ContentHash, WorkflowId, ArtifactId, LineageId, EventSequence, KaspaAddress, TxId, EventEnvelope } from '@hardkas/core';
+import { z } from 'zod';
+import { TxOutput, Utxo, TxPlan as TxPlan$1 } from '@hardkas/tx-builder';
+
+declare const HARDKAS_VERSION = "0.2.0-alpha";
+declare const ARTIFACT_SCHEMAS: {
+    readonly LOCALNET_STATE: "hardkas.localnetState.v1";
+    readonly REAL_ACCOUNT_STORE: "hardkas.realAccountStore.v1";
+    readonly TX_PLAN: "hardkas.txPlan";
+    readonly SIGNED_TX: "hardkas.signedTx";
+    readonly TX_RECEIPT: "hardkas.txReceipt";
+    readonly TX_TRACE: "hardkas.txTrace";
+    readonly SNAPSHOT: "hardkas.snapshot";
+    readonly IGRA_TX_PLAN: "hardkas.igraTxPlan.v1";
+    readonly IGRA_SIGNED_TX: "hardkas.igraSignedTx.v1";
+    readonly IGRA_TX_RECEIPT: "hardkas.igraTxReceipt.v1";
+};
+type HardkasArtifactSchema = typeof ARTIFACT_SCHEMAS[keyof typeof ARTIFACT_SCHEMAS] | string;
+type HardkasArtifactMode = "simulated" | "node" | "rpc" | "l2-rpc" | "real";
+
+declare const ARTIFACT_VERSION = "1.0.0-alpha";
+declare const ArtifactLineageSchema: z.ZodObject<{
+    artifactId: z.ZodString;
+    lineageId: z.ZodString;
+    parentArtifactId: z.ZodOptional<z.ZodString>;
+    rootArtifactId: z.ZodString;
+    sequence: z.ZodOptional<z.ZodNumber>;
+}, "strip", z.ZodTypeAny, {
+    artifactId: string;
+    lineageId: string;
+    rootArtifactId: string;
+    parentArtifactId?: string | undefined;
+    sequence?: number | undefined;
+}, {
+    artifactId: string;
+    lineageId: string;
+    rootArtifactId: string;
+    parentArtifactId?: string | undefined;
+    sequence?: number | undefined;
+}>;
+declare const BaseArtifactSchema: z.ZodObject<{
+    schema: z.ZodString;
+    hardkasVersion: z.ZodString;
+    version: z.ZodLiteral<"1.0.0-alpha">;
+    networkId: z.ZodEnum<["mainnet", "testnet-10", "testnet-11", "testnet-12", "simnet", "simnet-1", "devnet"]>;
+    mode: z.ZodEnum<["simulated", "real", "readonly"]>;
+    contentHash: z.ZodOptional<z.ZodString>;
+    createdAt: z.ZodString;
+    lineage: z.ZodOptional<z.ZodObject<{
+        artifactId: z.ZodString;
+        lineageId: z.ZodString;
+        parentArtifactId: z.ZodOptional<z.ZodString>;
+        rootArtifactId: z.ZodString;
+        sequence: z.ZodOptional<z.ZodNumber>;
+    }, "strip", z.ZodTypeAny, {
+        artifactId: string;
+        lineageId: string;
+        rootArtifactId: string;
+        parentArtifactId?: string | undefined;
+        sequence?: number | undefined;
+    }, {
+        artifactId: string;
+        lineageId: string;
+        rootArtifactId: string;
+        parentArtifactId?: string | undefined;
+        sequence?: number | undefined;
+    }>>;
+}, "strip", z.ZodTypeAny, {
+    schema: string;
+    hardkasVersion: string;
+    version: "1.0.0-alpha";
+    networkId: "mainnet" | "testnet-10" | "testnet-11" | "testnet-12" | "simnet" | "simnet-1" | "devnet";
+    mode: "simulated" | "real" | "readonly";
+    createdAt: string;
+    contentHash?: string | undefined;
+    lineage?: {
+        artifactId: string;
+        lineageId: string;
+        rootArtifactId: string;
+        parentArtifactId?: string | undefined;
+        sequence?: number | undefined;
+    } | undefined;
+}, {
+    schema: string;
+    hardkasVersion: string;
+    version: "1.0.0-alpha";
+    networkId: "mainnet" | "testnet-10" | "testnet-11" | "testnet-12" | "simnet" | "simnet-1" | "devnet";
+    mode: "simulated" | "real" | "readonly";
+    createdAt: string;
+    contentHash?: string | undefined;
+    lineage?: {
+        artifactId: string;
+        lineageId: string;
+        rootArtifactId: string;
+        parentArtifactId?: string | undefined;
+        sequence?: number | undefined;
+    } | undefined;
+}>;
+declare const AccountRefSchema: z.ZodObject<{
+    address: z.ZodString;
+    accountName: z.ZodOptional<z.ZodString>;
+    input: z.ZodOptional<z.ZodString>;
+}, "strip", z.ZodTypeAny, {
+    address: string;
+    accountName?: string | undefined;
+    input?: string | undefined;
+}, {
+    address: string;
+    accountName?: string | undefined;
+    input?: string | undefined;
+}>;
+declare const TxPlanSchema: z.ZodObject<{
+    hardkasVersion: z.ZodString;
+    version: z.ZodLiteral<"1.0.0-alpha">;
+    contentHash: z.ZodOptional<z.ZodString>;
+    createdAt: z.ZodString;
+    lineage: z.ZodOptional<z.ZodObject<{
+        artifactId: z.ZodString;
+        lineageId: z.ZodString;
+        parentArtifactId: z.ZodOptional<z.ZodString>;
+        rootArtifactId: z.ZodString;
+        sequence: z.ZodOptional<z.ZodNumber>;
+    }, "strip", z.ZodTypeAny, {
+        artifactId: string;
+        lineageId: string;
+        rootArtifactId: string;
+        parentArtifactId?: string | undefined;
+        sequence?: number | undefined;
+    }, {
+        artifactId: string;
+        lineageId: string;
+        rootArtifactId: string;
+        parentArtifactId?: string | undefined;
+        sequence?: number | undefined;
+    }>>;
+} & {
+    schema: z.ZodLiteral<"hardkas.txPlan">;
+    networkId: z.ZodEnum<["mainnet", "testnet-10", "testnet-11", "testnet-12", "simnet", "simnet-1", "devnet"]>;
+    mode: z.ZodEnum<["simulated", "real", "readonly"]>;
+    planId: z.ZodString;
+    from: z.ZodObject<{
+        address: z.ZodString;
+        accountName: z.ZodOptional<z.ZodString>;
+        input: z.ZodOptional<z.ZodString>;
+    }, "strip", z.ZodTypeAny, {
+        address: string;
+        accountName?: string | undefined;
+        input?: string | undefined;
+    }, {
+        address: string;
+        accountName?: string | undefined;
+        input?: string | undefined;
+    }>;
+    to: z.ZodObject<{
+        address: z.ZodString;
+        accountName: z.ZodOptional<z.ZodString>;
+        input: z.ZodOptional<z.ZodString>;
+    }, "strip", z.ZodTypeAny, {
+        address: string;
+        accountName?: string | undefined;
+        input?: string | undefined;
+    }, {
+        address: string;
+        accountName?: string | undefined;
+        input?: string | undefined;
+    }>;
+    amountSompi: z.ZodString;
+    estimatedFeeSompi: z.ZodString;
+    estimatedMass: z.ZodString;
+    inputs: z.ZodArray<z.ZodObject<{
+        outpoint: z.ZodObject<{
+            transactionId: z.ZodString;
+            index: z.ZodNumber;
+        }, "strip", z.ZodTypeAny, {
+            transactionId: string;
+            index: number;
+        }, {
+            transactionId: string;
+            index: number;
+        }>;
+        amountSompi: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        amountSompi: string;
+        outpoint: {
+            transactionId: string;
+            index: number;
+        };
+    }, {
+        amountSompi: string;
+        outpoint: {
+            transactionId: string;
+            index: number;
+        };
+    }>, "many">;
+    outputs: z.ZodArray<z.ZodObject<{
+        address: z.ZodString;
+        amountSompi: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        address: string;
+        amountSompi: string;
+    }, {
+        address: string;
+        amountSompi: string;
+    }>, "many">;
+    change: z.ZodOptional<z.ZodObject<{
+        address: z.ZodString;
+        amountSompi: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        address: string;
+        amountSompi: string;
+    }, {
+        address: string;
+        amountSompi: string;
+    }>>;
+    rpcUrl: z.ZodOptional<z.ZodString>;
+}, "strip", z.ZodTypeAny, {
+    schema: "hardkas.txPlan";
+    hardkasVersion: string;
+    version: "1.0.0-alpha";
+    networkId: "mainnet" | "testnet-10" | "testnet-11" | "testnet-12" | "simnet" | "simnet-1" | "devnet";
+    mode: "simulated" | "real" | "readonly";
+    createdAt: string;
+    planId: string;
+    from: {
+        address: string;
+        accountName?: string | undefined;
+        input?: string | undefined;
+    };
+    to: {
+        address: string;
+        accountName?: string | undefined;
+        input?: string | undefined;
+    };
+    amountSompi: string;
+    estimatedFeeSompi: string;
+    estimatedMass: string;
+    inputs: {
+        amountSompi: string;
+        outpoint: {
+            transactionId: string;
+            index: number;
+        };
+    }[];
+    outputs: {
+        address: string;
+        amountSompi: string;
+    }[];
+    contentHash?: string | undefined;
+    lineage?: {
+        artifactId: string;
+        lineageId: string;
+        rootArtifactId: string;
+        parentArtifactId?: string | undefined;
+        sequence?: number | undefined;
+    } | undefined;
+    change?: {
+        address: string;
+        amountSompi: string;
+    } | undefined;
+    rpcUrl?: string | undefined;
+}, {
+    schema: "hardkas.txPlan";
+    hardkasVersion: string;
+    version: "1.0.0-alpha";
+    networkId: "mainnet" | "testnet-10" | "testnet-11" | "testnet-12" | "simnet" | "simnet-1" | "devnet";
+    mode: "simulated" | "real" | "readonly";
+    createdAt: string;
+    planId: string;
+    from: {
+        address: string;
+        accountName?: string | undefined;
+        input?: string | undefined;
+    };
+    to: {
+        address: string;
+        accountName?: string | undefined;
+        input?: string | undefined;
+    };
+    amountSompi: string;
+    estimatedFeeSompi: string;
+    estimatedMass: string;
+    inputs: {
+        amountSompi: string;
+        outpoint: {
+            transactionId: string;
+            index: number;
+        };
+    }[];
+    outputs: {
+        address: string;
+        amountSompi: string;
+    }[];
+    contentHash?: string | undefined;
+    lineage?: {
+        artifactId: string;
+        lineageId: string;
+        rootArtifactId: string;
+        parentArtifactId?: string | undefined;
+        sequence?: number | undefined;
+    } | undefined;
+    change?: {
+        address: string;
+        amountSompi: string;
+    } | undefined;
+    rpcUrl?: string | undefined;
+}>;
+declare const DagContextSchema: z.ZodObject<{
+    mode: z.ZodEnum<["linear", "dag-light"]>;
+    sink: z.ZodString;
+    selectedParent: z.ZodOptional<z.ZodString>;
+    branchId: z.ZodOptional<z.ZodString>;
+    acceptedTxIds: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+    displacedTxIds: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+    conflictSet: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        outpoint: z.ZodString;
+        winnerTxId: z.ZodString;
+        loserTxIds: z.ZodArray<z.ZodString, "many">;
+    }, "strip", z.ZodTypeAny, {
+        outpoint: string;
+        winnerTxId: string;
+        loserTxIds: string[];
+    }, {
+        outpoint: string;
+        winnerTxId: string;
+        loserTxIds: string[];
+    }>, "many">>;
+    nonSelectedContext: z.ZodOptional<z.ZodBoolean>;
+}, "strip", z.ZodTypeAny, {
+    mode: "linear" | "dag-light";
+    sink: string;
+    selectedParent?: string | undefined;
+    branchId?: string | undefined;
+    acceptedTxIds?: string[] | undefined;
+    displacedTxIds?: string[] | undefined;
+    conflictSet?: {
+        outpoint: string;
+        winnerTxId: string;
+        loserTxIds: string[];
+    }[] | undefined;
+    nonSelectedContext?: boolean | undefined;
+}, {
+    mode: "linear" | "dag-light";
+    sink: string;
+    selectedParent?: string | undefined;
+    branchId?: string | undefined;
+    acceptedTxIds?: string[] | undefined;
+    displacedTxIds?: string[] | undefined;
+    conflictSet?: {
+        outpoint: string;
+        winnerTxId: string;
+        loserTxIds: string[];
+    }[] | undefined;
+    nonSelectedContext?: boolean | undefined;
+}>;
+declare const LocalnetUtxoSchemaV2: z.ZodObject<{
+    id: z.ZodString;
+    address: z.ZodString;
+    amountSompi: z.ZodString;
+    spent: z.ZodBoolean;
+    createdAtDaaScore: z.ZodString;
+}, "strip", z.ZodTypeAny, {
+    address: string;
+    amountSompi: string;
+    id: string;
+    spent: boolean;
+    createdAtDaaScore: string;
+}, {
+    address: string;
+    amountSompi: string;
+    id: string;
+    spent: boolean;
+    createdAtDaaScore: string;
+}>;
+declare const SnapshotSchema: z.ZodObject<{
+    hardkasVersion: z.ZodString;
+    version: z.ZodLiteral<"1.0.0-alpha">;
+    networkId: z.ZodEnum<["mainnet", "testnet-10", "testnet-11", "testnet-12", "simnet", "simnet-1", "devnet"]>;
+    mode: z.ZodEnum<["simulated", "real", "readonly"]>;
+    contentHash: z.ZodOptional<z.ZodString>;
+    createdAt: z.ZodString;
+    lineage: z.ZodOptional<z.ZodObject<{
+        artifactId: z.ZodString;
+        lineageId: z.ZodString;
+        parentArtifactId: z.ZodOptional<z.ZodString>;
+        rootArtifactId: z.ZodString;
+        sequence: z.ZodOptional<z.ZodNumber>;
+    }, "strip", z.ZodTypeAny, {
+        artifactId: string;
+        lineageId: string;
+        rootArtifactId: string;
+        parentArtifactId?: string | undefined;
+        sequence?: number | undefined;
+    }, {
+        artifactId: string;
+        lineageId: string;
+        rootArtifactId: string;
+        parentArtifactId?: string | undefined;
+        sequence?: number | undefined;
+    }>>;
+} & {
+    schema: z.ZodLiteral<"hardkas.snapshot">;
+    name: z.ZodOptional<z.ZodString>;
+    daaScore: z.ZodString;
+    accountsHash: z.ZodOptional<z.ZodString>;
+    utxoSetHash: z.ZodOptional<z.ZodString>;
+    stateHash: z.ZodOptional<z.ZodString>;
+    accounts: z.ZodArray<z.ZodObject<{
+        name: z.ZodString;
+        address: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        address: string;
+        name: string;
+    }, {
+        address: string;
+        name: string;
+    }>, "many">;
+    utxos: z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        address: z.ZodString;
+        amountSompi: z.ZodString;
+        spent: z.ZodBoolean;
+        createdAtDaaScore: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        address: string;
+        amountSompi: string;
+        id: string;
+        spent: boolean;
+        createdAtDaaScore: string;
+    }, {
+        address: string;
+        amountSompi: string;
+        id: string;
+        spent: boolean;
+        createdAtDaaScore: string;
+    }>, "many">;
+}, "strip", z.ZodTypeAny, {
+    schema: "hardkas.snapshot";
+    hardkasVersion: string;
+    version: "1.0.0-alpha";
+    networkId: "mainnet" | "testnet-10" | "testnet-11" | "testnet-12" | "simnet" | "simnet-1" | "devnet";
+    mode: "simulated" | "real" | "readonly";
+    createdAt: string;
+    daaScore: string;
+    accounts: {
+        address: string;
+        name: string;
+    }[];
+    utxos: {
+        address: string;
+        amountSompi: string;
+        id: string;
+        spent: boolean;
+        createdAtDaaScore: string;
+    }[];
+    contentHash?: string | undefined;
+    lineage?: {
+        artifactId: string;
+        lineageId: string;
+        rootArtifactId: string;
+        parentArtifactId?: string | undefined;
+        sequence?: number | undefined;
+    } | undefined;
+    name?: string | undefined;
+    accountsHash?: string | undefined;
+    utxoSetHash?: string | undefined;
+    stateHash?: string | undefined;
+}, {
+    schema: "hardkas.snapshot";
+    hardkasVersion: string;
+    version: "1.0.0-alpha";
+    networkId: "mainnet" | "testnet-10" | "testnet-11" | "testnet-12" | "simnet" | "simnet-1" | "devnet";
+    mode: "simulated" | "real" | "readonly";
+    createdAt: string;
+    daaScore: string;
+    accounts: {
+        address: string;
+        name: string;
+    }[];
+    utxos: {
+        address: string;
+        amountSompi: string;
+        id: string;
+        spent: boolean;
+        createdAtDaaScore: string;
+    }[];
+    contentHash?: string | undefined;
+    lineage?: {
+        artifactId: string;
+        lineageId: string;
+        rootArtifactId: string;
+        parentArtifactId?: string | undefined;
+        sequence?: number | undefined;
+    } | undefined;
+    name?: string | undefined;
+    accountsHash?: string | undefined;
+    utxoSetHash?: string | undefined;
+    stateHash?: string | undefined;
+}>;
+declare const TxReceiptSchema: z.ZodObject<{
+    hardkasVersion: z.ZodString;
+    version: z.ZodLiteral<"1.0.0-alpha">;
+    contentHash: z.ZodOptional<z.ZodString>;
+    createdAt: z.ZodString;
+    lineage: z.ZodOptional<z.ZodObject<{
+        artifactId: z.ZodString;
+        lineageId: z.ZodString;
+        parentArtifactId: z.ZodOptional<z.ZodString>;
+        rootArtifactId: z.ZodString;
+        sequence: z.ZodOptional<z.ZodNumber>;
+    }, "strip", z.ZodTypeAny, {
+        artifactId: string;
+        lineageId: string;
+        rootArtifactId: string;
+        parentArtifactId?: string | undefined;
+        sequence?: number | undefined;
+    }, {
+        artifactId: string;
+        lineageId: string;
+        rootArtifactId: string;
+        parentArtifactId?: string | undefined;
+        sequence?: number | undefined;
+    }>>;
+} & {
+    schema: z.ZodLiteral<"hardkas.txReceipt">;
+    txId: z.ZodString;
+    status: z.ZodEnum<["pending", "submitted", "accepted", "confirmed", "failed"]>;
+    mode: z.ZodEnum<["simulated", "real", "readonly"]>;
+    networkId: z.ZodEnum<["mainnet", "testnet-10", "testnet-11", "testnet-12", "simnet", "simnet-1", "devnet"]>;
+    from: z.ZodObject<{
+        address: z.ZodString;
+        accountName: z.ZodOptional<z.ZodString>;
+        input: z.ZodOptional<z.ZodString>;
+    }, "strip", z.ZodTypeAny, {
+        address: string;
+        accountName?: string | undefined;
+        input?: string | undefined;
+    }, {
+        address: string;
+        accountName?: string | undefined;
+        input?: string | undefined;
+    }>;
+    to: z.ZodObject<{
+        address: z.ZodString;
+        accountName: z.ZodOptional<z.ZodString>;
+        input: z.ZodOptional<z.ZodString>;
+    }, "strip", z.ZodTypeAny, {
+        address: string;
+        accountName?: string | undefined;
+        input?: string | undefined;
+    }, {
+        address: string;
+        accountName?: string | undefined;
+        input?: string | undefined;
+    }>;
+    amountSompi: z.ZodString;
+    feeSompi: z.ZodString;
+    mass: z.ZodOptional<z.ZodString>;
+    changeSompi: z.ZodOptional<z.ZodString>;
+    spentUtxoIds: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+    createdUtxoIds: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+    daaScore: z.ZodOptional<z.ZodString>;
+    preStateHash: z.ZodOptional<z.ZodString>;
+    postStateHash: z.ZodOptional<z.ZodString>;
+    submittedAt: z.ZodOptional<z.ZodString>;
+    confirmedAt: z.ZodOptional<z.ZodString>;
+    dagContext: z.ZodOptional<z.ZodObject<{
+        mode: z.ZodEnum<["linear", "dag-light"]>;
+        sink: z.ZodString;
+        selectedParent: z.ZodOptional<z.ZodString>;
+        branchId: z.ZodOptional<z.ZodString>;
+        acceptedTxIds: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+        displacedTxIds: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+        conflictSet: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            outpoint: z.ZodString;
+            winnerTxId: z.ZodString;
+            loserTxIds: z.ZodArray<z.ZodString, "many">;
+        }, "strip", z.ZodTypeAny, {
+            outpoint: string;
+            winnerTxId: string;
+            loserTxIds: string[];
+        }, {
+            outpoint: string;
+            winnerTxId: string;
+            loserTxIds: string[];
+        }>, "many">>;
+        nonSelectedContext: z.ZodOptional<z.ZodBoolean>;
+    }, "strip", z.ZodTypeAny, {
+        mode: "linear" | "dag-light";
+        sink: string;
+        selectedParent?: string | undefined;
+        branchId?: string | undefined;
+        acceptedTxIds?: string[] | undefined;
+        displacedTxIds?: string[] | undefined;
+        conflictSet?: {
+            outpoint: string;
+            winnerTxId: string;
+            loserTxIds: string[];
+        }[] | undefined;
+        nonSelectedContext?: boolean | undefined;
+    }, {
+        mode: "linear" | "dag-light";
+        sink: string;
+        selectedParent?: string | undefined;
+        branchId?: string | undefined;
+        acceptedTxIds?: string[] | undefined;
+        displacedTxIds?: string[] | undefined;
+        conflictSet?: {
+            outpoint: string;
+            winnerTxId: string;
+            loserTxIds: string[];
+        }[] | undefined;
+        nonSelectedContext?: boolean | undefined;
+    }>>;
+    tracePath: z.ZodOptional<z.ZodString>;
+    rpcUrl: z.ZodOptional<z.ZodString>;
+    sourceSignedId: z.ZodOptional<z.ZodString>;
+    metadata: z.ZodOptional<z.ZodAny>;
+}, "strip", z.ZodTypeAny, {
+    status: "pending" | "submitted" | "accepted" | "confirmed" | "failed";
+    schema: "hardkas.txReceipt";
+    hardkasVersion: string;
+    version: "1.0.0-alpha";
+    networkId: "mainnet" | "testnet-10" | "testnet-11" | "testnet-12" | "simnet" | "simnet-1" | "devnet";
+    mode: "simulated" | "real" | "readonly";
+    createdAt: string;
+    from: {
+        address: string;
+        accountName?: string | undefined;
+        input?: string | undefined;
+    };
+    to: {
+        address: string;
+        accountName?: string | undefined;
+        input?: string | undefined;
+    };
+    amountSompi: string;
+    txId: string;
+    feeSompi: string;
+    contentHash?: string | undefined;
+    lineage?: {
+        artifactId: string;
+        lineageId: string;
+        rootArtifactId: string;
+        parentArtifactId?: string | undefined;
+        sequence?: number | undefined;
+    } | undefined;
+    rpcUrl?: string | undefined;
+    daaScore?: string | undefined;
+    mass?: string | undefined;
+    changeSompi?: string | undefined;
+    spentUtxoIds?: string[] | undefined;
+    createdUtxoIds?: string[] | undefined;
+    preStateHash?: string | undefined;
+    postStateHash?: string | undefined;
+    submittedAt?: string | undefined;
+    confirmedAt?: string | undefined;
+    dagContext?: {
+        mode: "linear" | "dag-light";
+        sink: string;
+        selectedParent?: string | undefined;
+        branchId?: string | undefined;
+        acceptedTxIds?: string[] | undefined;
+        displacedTxIds?: string[] | undefined;
+        conflictSet?: {
+            outpoint: string;
+            winnerTxId: string;
+            loserTxIds: string[];
+        }[] | undefined;
+        nonSelectedContext?: boolean | undefined;
+    } | undefined;
+    tracePath?: string | undefined;
+    sourceSignedId?: string | undefined;
+    metadata?: any;
+}, {
+    status: "pending" | "submitted" | "accepted" | "confirmed" | "failed";
+    schema: "hardkas.txReceipt";
+    hardkasVersion: string;
+    version: "1.0.0-alpha";
+    networkId: "mainnet" | "testnet-10" | "testnet-11" | "testnet-12" | "simnet" | "simnet-1" | "devnet";
+    mode: "simulated" | "real" | "readonly";
+    createdAt: string;
+    from: {
+        address: string;
+        accountName?: string | undefined;
+        input?: string | undefined;
+    };
+    to: {
+        address: string;
+        accountName?: string | undefined;
+        input?: string | undefined;
+    };
+    amountSompi: string;
+    txId: string;
+    feeSompi: string;
+    contentHash?: string | undefined;
+    lineage?: {
+        artifactId: string;
+        lineageId: string;
+        rootArtifactId: string;
+        parentArtifactId?: string | undefined;
+        sequence?: number | undefined;
+    } | undefined;
+    rpcUrl?: string | undefined;
+    daaScore?: string | undefined;
+    mass?: string | undefined;
+    changeSompi?: string | undefined;
+    spentUtxoIds?: string[] | undefined;
+    createdUtxoIds?: string[] | undefined;
+    preStateHash?: string | undefined;
+    postStateHash?: string | undefined;
+    submittedAt?: string | undefined;
+    confirmedAt?: string | undefined;
+    dagContext?: {
+        mode: "linear" | "dag-light";
+        sink: string;
+        selectedParent?: string | undefined;
+        branchId?: string | undefined;
+        acceptedTxIds?: string[] | undefined;
+        displacedTxIds?: string[] | undefined;
+        conflictSet?: {
+            outpoint: string;
+            winnerTxId: string;
+            loserTxIds: string[];
+        }[] | undefined;
+        nonSelectedContext?: boolean | undefined;
+    } | undefined;
+    tracePath?: string | undefined;
+    sourceSignedId?: string | undefined;
+    metadata?: any;
+}>;
+declare const SignedTxSchema: z.ZodObject<{
+    hardkasVersion: z.ZodString;
+    version: z.ZodLiteral<"1.0.0-alpha">;
+    contentHash: z.ZodOptional<z.ZodString>;
+    createdAt: z.ZodString;
+    lineage: z.ZodOptional<z.ZodObject<{
+        artifactId: z.ZodString;
+        lineageId: z.ZodString;
+        parentArtifactId: z.ZodOptional<z.ZodString>;
+        rootArtifactId: z.ZodString;
+        sequence: z.ZodOptional<z.ZodNumber>;
+    }, "strip", z.ZodTypeAny, {
+        artifactId: string;
+        lineageId: string;
+        rootArtifactId: string;
+        parentArtifactId?: string | undefined;
+        sequence?: number | undefined;
+    }, {
+        artifactId: string;
+        lineageId: string;
+        rootArtifactId: string;
+        parentArtifactId?: string | undefined;
+        sequence?: number | undefined;
+    }>>;
+} & {
+    schema: z.ZodLiteral<"hardkas.signedTx">;
+    status: z.ZodLiteral<"signed">;
+    signedId: z.ZodString;
+    sourcePlanId: z.ZodString;
+    networkId: z.ZodEnum<["mainnet", "testnet-10", "testnet-11", "testnet-12", "simnet", "simnet-1", "devnet"]>;
+    mode: z.ZodEnum<["simulated", "real", "readonly"]>;
+    from: z.ZodObject<{
+        address: z.ZodString;
+        accountName: z.ZodOptional<z.ZodString>;
+        input: z.ZodOptional<z.ZodString>;
+    }, "strip", z.ZodTypeAny, {
+        address: string;
+        accountName?: string | undefined;
+        input?: string | undefined;
+    }, {
+        address: string;
+        accountName?: string | undefined;
+        input?: string | undefined;
+    }>;
+    to: z.ZodObject<{
+        address: z.ZodString;
+        accountName: z.ZodOptional<z.ZodString>;
+        input: z.ZodOptional<z.ZodString>;
+    }, "strip", z.ZodTypeAny, {
+        address: string;
+        accountName?: string | undefined;
+        input?: string | undefined;
+    }, {
+        address: string;
+        accountName?: string | undefined;
+        input?: string | undefined;
+    }>;
+    amountSompi: z.ZodString;
+    signedTransaction: z.ZodObject<{
+        format: z.ZodString;
+        payload: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        format: string;
+        payload: string;
+    }, {
+        format: string;
+        payload: string;
+    }>;
+    txId: z.ZodOptional<z.ZodString>;
+    metadata: z.ZodOptional<z.ZodAny>;
+}, "strip", z.ZodTypeAny, {
+    status: "signed";
+    schema: "hardkas.signedTx";
+    hardkasVersion: string;
+    version: "1.0.0-alpha";
+    networkId: "mainnet" | "testnet-10" | "testnet-11" | "testnet-12" | "simnet" | "simnet-1" | "devnet";
+    mode: "simulated" | "real" | "readonly";
+    createdAt: string;
+    from: {
+        address: string;
+        accountName?: string | undefined;
+        input?: string | undefined;
+    };
+    to: {
+        address: string;
+        accountName?: string | undefined;
+        input?: string | undefined;
+    };
+    amountSompi: string;
+    signedId: string;
+    sourcePlanId: string;
+    signedTransaction: {
+        format: string;
+        payload: string;
+    };
+    contentHash?: string | undefined;
+    lineage?: {
+        artifactId: string;
+        lineageId: string;
+        rootArtifactId: string;
+        parentArtifactId?: string | undefined;
+        sequence?: number | undefined;
+    } | undefined;
+    txId?: string | undefined;
+    metadata?: any;
+}, {
+    status: "signed";
+    schema: "hardkas.signedTx";
+    hardkasVersion: string;
+    version: "1.0.0-alpha";
+    networkId: "mainnet" | "testnet-10" | "testnet-11" | "testnet-12" | "simnet" | "simnet-1" | "devnet";
+    mode: "simulated" | "real" | "readonly";
+    createdAt: string;
+    from: {
+        address: string;
+        accountName?: string | undefined;
+        input?: string | undefined;
+    };
+    to: {
+        address: string;
+        accountName?: string | undefined;
+        input?: string | undefined;
+    };
+    amountSompi: string;
+    signedId: string;
+    sourcePlanId: string;
+    signedTransaction: {
+        format: string;
+        payload: string;
+    };
+    contentHash?: string | undefined;
+    lineage?: {
+        artifactId: string;
+        lineageId: string;
+        rootArtifactId: string;
+        parentArtifactId?: string | undefined;
+        sequence?: number | undefined;
+    } | undefined;
+    txId?: string | undefined;
+    metadata?: any;
+}>;
+declare const TxTraceSchema: z.ZodObject<{
+    hardkasVersion: z.ZodString;
+    version: z.ZodLiteral<"1.0.0-alpha">;
+    contentHash: z.ZodOptional<z.ZodString>;
+    createdAt: z.ZodString;
+    lineage: z.ZodOptional<z.ZodObject<{
+        artifactId: z.ZodString;
+        lineageId: z.ZodString;
+        parentArtifactId: z.ZodOptional<z.ZodString>;
+        rootArtifactId: z.ZodString;
+        sequence: z.ZodOptional<z.ZodNumber>;
+    }, "strip", z.ZodTypeAny, {
+        artifactId: string;
+        lineageId: string;
+        rootArtifactId: string;
+        parentArtifactId?: string | undefined;
+        sequence?: number | undefined;
+    }, {
+        artifactId: string;
+        lineageId: string;
+        rootArtifactId: string;
+        parentArtifactId?: string | undefined;
+        sequence?: number | undefined;
+    }>>;
+} & {
+    schema: z.ZodLiteral<"hardkas.txTrace">;
+    txId: z.ZodString;
+    networkId: z.ZodEnum<["mainnet", "testnet-10", "testnet-11", "testnet-12", "simnet", "simnet-1", "devnet"]>;
+    mode: z.ZodEnum<["simulated", "real", "readonly"]>;
+    steps: z.ZodArray<z.ZodObject<{
+        phase: z.ZodString;
+        status: z.ZodString;
+        timestamp: z.ZodString;
+        details: z.ZodOptional<z.ZodAny>;
+    }, "strip", z.ZodTypeAny, {
+        status: string;
+        phase: string;
+        timestamp: string;
+        details?: any;
+    }, {
+        status: string;
+        phase: string;
+        timestamp: string;
+        details?: any;
+    }>, "many">;
+    dagContext: z.ZodOptional<z.ZodObject<{
+        mode: z.ZodEnum<["linear", "dag-light"]>;
+        sink: z.ZodString;
+        selectedParent: z.ZodOptional<z.ZodString>;
+        branchId: z.ZodOptional<z.ZodString>;
+        acceptedTxIds: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+        displacedTxIds: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+        conflictSet: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            outpoint: z.ZodString;
+            winnerTxId: z.ZodString;
+            loserTxIds: z.ZodArray<z.ZodString, "many">;
+        }, "strip", z.ZodTypeAny, {
+            outpoint: string;
+            winnerTxId: string;
+            loserTxIds: string[];
+        }, {
+            outpoint: string;
+            winnerTxId: string;
+            loserTxIds: string[];
+        }>, "many">>;
+        nonSelectedContext: z.ZodOptional<z.ZodBoolean>;
+    }, "strip", z.ZodTypeAny, {
+        mode: "linear" | "dag-light";
+        sink: string;
+        selectedParent?: string | undefined;
+        branchId?: string | undefined;
+        acceptedTxIds?: string[] | undefined;
+        displacedTxIds?: string[] | undefined;
+        conflictSet?: {
+            outpoint: string;
+            winnerTxId: string;
+            loserTxIds: string[];
+        }[] | undefined;
+        nonSelectedContext?: boolean | undefined;
+    }, {
+        mode: "linear" | "dag-light";
+        sink: string;
+        selectedParent?: string | undefined;
+        branchId?: string | undefined;
+        acceptedTxIds?: string[] | undefined;
+        displacedTxIds?: string[] | undefined;
+        conflictSet?: {
+            outpoint: string;
+            winnerTxId: string;
+            loserTxIds: string[];
+        }[] | undefined;
+        nonSelectedContext?: boolean | undefined;
+    }>>;
+}, "strip", z.ZodTypeAny, {
+    schema: "hardkas.txTrace";
+    hardkasVersion: string;
+    version: "1.0.0-alpha";
+    networkId: "mainnet" | "testnet-10" | "testnet-11" | "testnet-12" | "simnet" | "simnet-1" | "devnet";
+    mode: "simulated" | "real" | "readonly";
+    createdAt: string;
+    txId: string;
+    steps: {
+        status: string;
+        phase: string;
+        timestamp: string;
+        details?: any;
+    }[];
+    contentHash?: string | undefined;
+    lineage?: {
+        artifactId: string;
+        lineageId: string;
+        rootArtifactId: string;
+        parentArtifactId?: string | undefined;
+        sequence?: number | undefined;
+    } | undefined;
+    dagContext?: {
+        mode: "linear" | "dag-light";
+        sink: string;
+        selectedParent?: string | undefined;
+        branchId?: string | undefined;
+        acceptedTxIds?: string[] | undefined;
+        displacedTxIds?: string[] | undefined;
+        conflictSet?: {
+            outpoint: string;
+            winnerTxId: string;
+            loserTxIds: string[];
+        }[] | undefined;
+        nonSelectedContext?: boolean | undefined;
+    } | undefined;
+}, {
+    schema: "hardkas.txTrace";
+    hardkasVersion: string;
+    version: "1.0.0-alpha";
+    networkId: "mainnet" | "testnet-10" | "testnet-11" | "testnet-12" | "simnet" | "simnet-1" | "devnet";
+    mode: "simulated" | "real" | "readonly";
+    createdAt: string;
+    txId: string;
+    steps: {
+        status: string;
+        phase: string;
+        timestamp: string;
+        details?: any;
+    }[];
+    contentHash?: string | undefined;
+    lineage?: {
+        artifactId: string;
+        lineageId: string;
+        rootArtifactId: string;
+        parentArtifactId?: string | undefined;
+        sequence?: number | undefined;
+    } | undefined;
+    dagContext?: {
+        mode: "linear" | "dag-light";
+        sink: string;
+        selectedParent?: string | undefined;
+        branchId?: string | undefined;
+        acceptedTxIds?: string[] | undefined;
+        displacedTxIds?: string[] | undefined;
+        conflictSet?: {
+            outpoint: string;
+            winnerTxId: string;
+            loserTxIds: string[];
+        }[] | undefined;
+        nonSelectedContext?: boolean | undefined;
+    } | undefined;
+}>;
+type TxPlan = z.infer<typeof TxPlanSchema>;
+type Snapshot = z.infer<typeof SnapshotSchema>;
+type TxReceipt = z.infer<typeof TxReceiptSchema>;
+type SignedTx = z.infer<typeof SignedTxSchema>;
+type TxTrace = z.infer<typeof TxTraceSchema>;
+
+interface ArtifactValidationResult {
+    ok: boolean;
+    errors: string[];
+}
+declare function validateTxPlanArtifact(value: unknown): ArtifactValidationResult;
+declare function assertValidTxPlanArtifact(value: unknown): asserts value is TxPlan;
+declare function validateSignedTxArtifact(value: unknown): ArtifactValidationResult;
+declare function assertValidSignedTxArtifact(value: unknown): asserts value is SignedTx;
+declare function validateTxReceiptArtifact(value: unknown): ArtifactValidationResult;
+declare function assertValidTxReceiptArtifact(value: unknown): asserts value is TxReceipt;
+declare function validateArtifact(data: unknown): ArtifactValidationResult;
+
+interface IgraTxRequestArtifact {
+    readonly from?: string;
+    readonly to?: string;
+    readonly data: string;
+    readonly valueWei: string;
+    readonly gasLimit?: string;
+    readonly gasPriceWei?: string;
+    readonly nonce?: string;
+}
+interface IgraTxPlanArtifact {
+    readonly schema: "hardkas.igraTxPlan.v1";
+    readonly hardkasVersion: string;
+    readonly networkId: string;
+    readonly mode: "l2-rpc";
+    readonly createdAt: string;
+    readonly planId: string;
+    readonly l2Network: string;
+    readonly chainId: number;
+    readonly txType?: "call" | "contract-deploy";
+    readonly request: IgraTxRequestArtifact;
+    readonly estimatedGas?: string;
+    readonly estimatedFeeWei?: string;
+    readonly status: "built";
+}
+interface IgraSignedTxArtifact {
+    readonly schema: "hardkas.igraSignedTx.v1";
+    readonly hardkasVersion: string;
+    readonly networkId: string;
+    readonly mode: "l2-rpc";
+    readonly createdAt: string;
+    readonly signedId: string;
+    readonly sourcePlanId: string;
+    readonly sourcePlanPath?: string;
+    readonly l2Network: string;
+    readonly chainId: number;
+    readonly rawTransaction: string;
+    readonly txHash?: string;
+    readonly status: "signed";
+}
+interface IgraTxReceiptArtifact {
+    readonly schema: "hardkas.igraTxReceipt.v1";
+    readonly hardkasVersion: string;
+    readonly networkId: string;
+    readonly mode: "l2-rpc";
+    readonly createdAt: string;
+    readonly txHash: string;
+    readonly sourceSignedId?: string;
+    readonly sourceSignedPath?: string;
+    readonly l2Network: string;
+    readonly chainId: number;
+    readonly rpcUrl: string;
+    readonly blockNumber?: string;
+    readonly status: "submitted" | "confirmed" | "failed";
+}
+declare function isIgraTxPlanArtifact(value: unknown): value is IgraTxPlanArtifact;
+declare function validateIgraTxPlanArtifact(value: unknown): ArtifactValidationResult;
+declare function assertValidIgraTxPlanArtifact(value: unknown): asserts value is IgraTxPlanArtifact;
+declare function validateIgraSignedTxArtifact(value: unknown): ArtifactValidationResult;
+declare function assertValidIgraSignedTxArtifact(value: unknown): asserts value is IgraSignedTxArtifact;
+declare function validateIgraTxReceiptArtifact(value: unknown): ArtifactValidationResult;
+declare function assertValidIgraTxReceiptArtifact(value: unknown): asserts value is IgraTxReceiptArtifact;
+declare function assertDecimalBigIntString(value: any, field: string, errors: string[]): void;
+declare function assertHexData(value: any, field: string, errors: string[]): void;
+declare function assertEvmAddress(value: any, field: string, errors: string[]): void;
+declare function assertEvmTxHash(value: any, field: string, errors: string[]): void;
+declare function createIgraPlanId(): string;
+declare function createIgraSignedId(): string;
+declare function createIgraDeployPlanId(): string;
+
+type AssumptionLevel = "dev" | "trusted" | "network-observed";
+interface HardkasArtifactBase {
+    schema: HardkasArtifactSchema;
+    hardkasVersion: string;
+    version: string;
+    networkId: NetworkId;
+    mode: ExecutionMode;
+    createdAt: string;
+}
+interface BaseArtifact<T extends ArtifactType> {
+    schema: `hardkas.${T}`;
+    hardkasVersion: string;
+    version: string;
+    networkId: NetworkId;
+    mode: ExecutionMode;
+    createdAt: string;
+    contentHash?: ContentHash | undefined;
+    workflowId?: WorkflowId | undefined;
+    assumptionLevel?: AssumptionLevel | undefined;
+    executionMode?: ExecutionMode | undefined;
+    lineage?: {
+        artifactId: ArtifactId;
+        lineageId: LineageId;
+        parentArtifactId?: ArtifactId | undefined;
+        rootArtifactId: ArtifactId;
+        sequence?: EventSequence | number | undefined;
+    } | undefined;
+}
+interface DagContext {
+    mode: "linear" | "dag-light";
+    sink: string;
+    selectedParent?: string;
+    branchId?: string;
+    acceptedTxIds?: string[];
+    displacedTxIds?: string[];
+    conflictSet?: Array<{
+        outpoint: string;
+        winnerTxId: string;
+        loserTxIds: string[];
+    }>;
+    nonSelectedContext?: boolean;
+}
+interface UtxoArtifact {
+    readonly outpoint: {
+        readonly transactionId: TxId;
+        readonly index: number;
+    };
+    readonly address: KaspaAddress;
+    readonly amountSompi: string;
+    readonly scriptPublicKey: string;
+    readonly blockDaaScore?: string | undefined;
+    readonly isCoinbase?: boolean | undefined;
+}
+interface TxOutputArtifact {
+    readonly address: string;
+    readonly amountSompi: string;
+    readonly amount?: string | undefined;
+    readonly script?: string | undefined;
+}
+interface TxPlanArtifactV1 extends HardkasArtifactBase {
+    readonly schema: "hardkas.txPlan.v1";
+    readonly status: "built" | "unsigned";
+    readonly planId: string;
+    readonly from: {
+        readonly input: string;
+        readonly address: string;
+        readonly accountName?: string | undefined;
+    };
+    readonly to: {
+        readonly input: string;
+        readonly address: string;
+    };
+    readonly amountSompi: string;
+    readonly amount: string;
+    readonly selectedUtxos: readonly UtxoArtifact[];
+    readonly outputs: readonly TxOutputArtifact[];
+    readonly change?: TxOutputArtifact | undefined;
+    readonly estimatedMass: string;
+    readonly estimatedFeeSompi: string;
+    readonly estimatedFee: string;
+    readonly rpcUrl?: string | null | undefined;
+    readonly metadata?: Record<string, any> | undefined;
+}
+interface SignedTxArtifactV1 extends HardkasArtifactBase {
+    readonly schema: "hardkas.signedTx.v1";
+    readonly status: "signed";
+    readonly signedId: string;
+    readonly sourcePlanId: string;
+    readonly sourcePlanPath?: string | undefined;
+    readonly from: {
+        readonly input: string;
+        readonly address: string;
+        readonly accountName?: string | undefined;
+    };
+    readonly to: {
+        readonly input: string;
+        readonly address: string;
+    };
+    readonly amountSompi: string;
+    readonly amount: string;
+    readonly signedTransaction: {
+        readonly format: "kaspa-sdk" | "hex" | "simulated" | "unknown";
+        readonly payload: string;
+    };
+    readonly txId?: string | undefined;
+    readonly metadata?: Record<string, any> | undefined;
+}
+interface TxReceiptArtifactV1 extends HardkasArtifactBase {
+    readonly schema: "hardkas.txReceipt.v1";
+    readonly status: "submitted" | "accepted" | "confirmed" | "finalized" | "failed";
+    readonly txId: TxId;
+    readonly sourceSignedId?: ArtifactId | undefined;
+    readonly sourceSignedPath?: string | undefined;
+    readonly from: {
+        readonly address: string;
+        readonly accountName?: string | undefined;
+    };
+    readonly to: {
+        readonly address: string;
+    };
+    readonly amountSompi: string;
+    readonly amount: string;
+    readonly feeSompi: string;
+    readonly daaScore?: string | undefined;
+    readonly blueScore?: string | undefined;
+    readonly submittedAt: string;
+    readonly confirmedAt?: string | undefined;
+    readonly rpcUrl: string;
+    readonly receiptPath?: string | undefined;
+    readonly tracePath?: string | undefined;
+    readonly metadata?: Record<string, any> | undefined;
+}
+interface TxTraceArtifactV1 extends HardkasArtifactBase {
+    readonly schema: "hardkas.txTrace.v1";
+    readonly txId: TxId;
+    readonly steps: Array<{
+        phase: string;
+        status: string;
+        timestamp: string;
+        details?: any;
+    }>;
+}
+interface TxPlanArtifact extends BaseArtifact<"txPlan"> {
+    planId: string;
+    from: {
+        address: string;
+        accountName?: string | undefined;
+        input?: string | undefined;
+    };
+    to: {
+        address: string;
+        accountName?: string | undefined;
+        input?: string | undefined;
+    };
+    amountSompi: string;
+    estimatedFeeSompi: string;
+    estimatedMass: string;
+    inputs: Array<{
+        outpoint: {
+            transactionId: string;
+            index: number;
+        };
+        amountSompi: string;
+    }>;
+    outputs: Array<{
+        address: string;
+        amountSompi: string;
+    }>;
+    change?: {
+        address: string;
+        amountSompi: string;
+    } | undefined;
+}
+interface SignedTxArtifact extends BaseArtifact<"signedTx"> {
+    status: "signed";
+    signedId: ArtifactId;
+    sourcePlanId: string;
+    from: {
+        address: KaspaAddress;
+        accountName?: string | undefined;
+        input?: string | undefined;
+    };
+    to: {
+        address: KaspaAddress;
+        accountName?: string | undefined;
+        input?: string | undefined;
+    };
+    amountSompi: string;
+    signedTransaction: {
+        format: string;
+        payload: string;
+    };
+    txId?: TxId | undefined;
+    metadata?: any | undefined;
+}
+interface TxReceiptArtifact extends BaseArtifact<"txReceipt"> {
+    txId: TxId;
+    status: "pending" | "submitted" | "accepted" | "confirmed" | "failed";
+    from: {
+        address: KaspaAddress;
+    };
+    to: {
+        address: KaspaAddress;
+    };
+    amountSompi: string;
+    feeSompi: string;
+    mass?: string | undefined;
+    daaScore?: string | undefined;
+    submittedAt?: string | undefined;
+    confirmedAt?: string | undefined;
+    preStateHash?: string | undefined;
+    postStateHash?: string | undefined;
+    tracePath?: string | undefined;
+    rpcUrl?: string | undefined;
+    sourceSignedId?: ArtifactId | undefined;
+    metadata?: any | undefined;
+}
+interface SnapshotArtifact extends BaseArtifact<"snapshot"> {
+    name?: string | undefined;
+    daaScore: string;
+    accounts: Array<{
+        name: string;
+        address: string;
+    }>;
+    utxos: Array<{
+        id: string;
+        address: string;
+        amountSompi: string;
+        spent: boolean;
+        createdAtDaaScore: string;
+    }>;
+}
+interface TxTraceArtifact extends BaseArtifact<"txTrace"> {
+    txId: TxId;
+    steps: Array<{
+        phase: string;
+        status: string;
+        timestamp: string;
+        details?: any;
+    }>;
+    dagContext?: DagContext | undefined;
+}
+
+/**
+ * Deterministically stringifies an object by sorting keys recursively.
+ * Handles BigInt by converting to string.
+ * Excludes 'contentHash', 'artifactId', and 'lineage' fields during serialization.
+ * Skips keys with undefined values (matching JSON.stringify behavior).
+ */
+declare function canonicalStringify(obj: any): string;
+/**
+ * Calculates a SHA-256 hash of the canonical JSON representation.
+ * Always excludes the 'contentHash' field from the calculation.
+ */
+declare function calculateContentHash(obj: any): string;
+
+interface Clock {
+    now(): number;
+}
+declare const defaultClock: Clock;
+interface VerificationContext {
+    clock?: Clock;
+    strict?: boolean;
+    networkId?: NetworkId;
+    parent?: unknown;
+}
+type VerificationSeverity = "info" | "warning" | "error" | "critical";
+type VerificationIssue = {
+    code: string;
+    severity: VerificationSeverity;
+    message: string;
+    path?: string | undefined;
+    artifactId?: string | undefined;
+};
+type ArtifactVerificationResult = {
+    ok: boolean;
+    artifactType?: string;
+    version?: string;
+    expectedHash?: string;
+    actualHash?: string;
+    errors: string[];
+    issues: VerificationIssue[];
+};
+/**
+ * Sorts UTXOs deterministically by outpoint (transactionId:index).
+ */
+declare function sortUtxosByOutpoint(utxos: unknown[]): unknown[];
+/**
+ * Verifies an artifact's integrity.
+ * Can take a raw object or a file path.
+ */
+declare function verifyArtifactIntegrity(artifactOrPath: unknown): Promise<ArtifactVerificationResult>;
+/**
+ * Verifies an artifact's semantic and economic validity.
+ */
+declare function verifyArtifactSemantics(artifact: unknown, context?: VerificationContext): ArtifactVerificationResult;
+/**
+ * Verifies an artifact's replay consistency.
+ * Contract/Stub for Phase 4.
+ */
+declare function verifyArtifactReplay(artifact: unknown, context?: VerificationContext): Promise<ArtifactVerificationResult>;
+/**
+ * @deprecated Use verifyArtifactIntegrity instead.
+ */
+declare const verifyArtifact: typeof verifyArtifactIntegrity;
+declare const verifyArtifactFile: typeof verifyArtifactIntegrity;
+
+/**
+ * Invariant Violation details.
+ */
+interface InvariantViolation {
+    code: string;
+    severity: "info" | "warning" | "error" | "critical";
+    message: string;
+    metadata?: Record<string, unknown>;
+}
+/**
+ * Interface for looking up artifacts during invariant checks.
+ */
+interface ArtifactLookup {
+    getArtifact(idOrHash: string): Promise<unknown | null>;
+}
+/**
+ * Context provided to invariant checks.
+ * Uses unknown + narrowing instead of any.
+ */
+interface InvariantContext {
+    artifact?: unknown;
+    event?: EventEnvelope;
+    artifactStore?: ArtifactLookup | undefined;
+    clock?: Clock;
+    strict?: boolean;
+}
+/**
+ * Core Invariant interface.
+ */
+interface Invariant {
+    readonly id: string;
+    readonly description: string;
+    check(context: InvariantContext): Promise<InvariantViolation[]>;
+}
+
+/**
+ * Verifies that the artifact's contentHash field matches the calculated hash.
+ */
+declare class HashInvariant implements Invariant {
+    readonly id = "INVAR_HASH_MATCH";
+    readonly description = "Artifact content hash must match payload";
+    check(context: InvariantContext): Promise<InvariantViolation[]>;
+}
+/**
+ * Verifies that the artifact schema and version are supported.
+ */
+declare class SchemaInvariant implements Invariant {
+    readonly id = "INVAR_SCHEMA_SUPPORT";
+    readonly description = "Artifact schema and version must be supported";
+    check(context: InvariantContext): Promise<InvariantViolation[]>;
+}
+/**
+ * Basic correlation invariant: workflowId and correlationId should be present in events.
+ */
+declare class BasicCorrelationInvariant implements Invariant {
+    readonly id = "INVAR_BASIC_CORRELATION";
+    readonly description = "Events must have workflowId and correlationId";
+    check(context: InvariantContext): Promise<InvariantViolation[]>;
+}
+/**
+ * Basic lineage invariant: if parentArtifactId is present, it should ideally be resolvable.
+ */
+declare class BasicLineageInvariant implements Invariant {
+    readonly id = "INVAR_BASIC_LINEAGE";
+    readonly description = "Parent artifact should be resolvable if specified";
+    check(context: InvariantContext): Promise<InvariantViolation[]>;
+}
+/**
+ * Contract/Stub: Lifecycle invariant (ordering of events).
+ */
+declare class LifecycleInvariant implements Invariant {
+    readonly id = "INVAR_LIFECYCLE_ORDER";
+    readonly description = "Workflow events must follow valid lifecycle ordering";
+    check(): Promise<InvariantViolation[]>;
+}
+/**
+ * Contract/Stub: Network invariant (address prefix matching).
+ */
+declare class NetworkInvariant implements Invariant {
+    readonly id = "INVAR_NETWORK_PREFIX";
+    readonly description = "Network ID must match address prefixes";
+    check(): Promise<InvariantViolation[]>;
+}
+/**
+ * Contract/Stub: Replay invariant (re-execution consistency).
+ */
+declare class ReplayInvariant implements Invariant {
+    readonly id = "INVAR_REPLAY_CONSISTENCY";
+    readonly description = "Replay execution must produce consistent results";
+    check(): Promise<InvariantViolation[]>;
+}
+
+interface WatcherOptions {
+    invariants: Invariant[];
+    eventBus: {
+        subscribe(callback: (event: EventEnvelope) => void): () => void;
+        emit(event: EventEnvelope): void;
+    };
+    artifactStore?: ArtifactLookup | undefined;
+}
+/**
+ * Lightweight, opt-in watcher for system invariants.
+ * Listens to the event bus and performs validation.
+ * Non-global, non-singleton.
+ */
+declare class InvariantWatcher {
+    private invariants;
+    private eventBus;
+    private artifactStore?;
+    private unsubscribe;
+    constructor(options: WatcherOptions);
+    /**
+     * Starts watching for events.
+     */
+    start(): void;
+    /**
+     * Stops watching and clears subscriptions.
+     */
+    stop(): void;
+    /**
+     * Alias for stop().
+     */
+    dispose(): void;
+    private emitViolation;
+}
+
+/**
+ * Migrates a v1 artifact to canonical format by updating the schema, version,
+ * and calculating the contentHash.
+ */
+declare function migrateToCanonical(v1Artifact: any): any;
+
+declare const bigIntReplacer: (_key: string, value: any) => any;
+declare function writeArtifact(filePath: string, artifact: unknown): Promise<void>;
+declare function getDefaultReceiptPath(txId: string, cwd?: string): string;
+declare function readArtifact(filePath: string): Promise<any>;
+declare function readTxPlanArtifact(filePath: string): Promise<TxPlan>;
+declare function readSignedTxArtifact(filePath: string): Promise<SignedTx>;
+declare function readTxReceiptArtifact(filePath: string): Promise<TxReceipt>;
+
+/**
+ * Formats a v2 TxPlan artifact for display.
+ */
+declare function formatTxPlanArtifact(artifact: any): string;
+/**
+ * Formats a v2 TxReceipt artifact for display.
+ */
+declare function formatTxReceiptArtifact(artifact: any): string;
+/**
+ * Formats a v2 SignedTx artifact for display.
+ */
+declare function formatSignedTxArtifact(artifact: any): string;
+
+/**
+ * Converts a domain Utxo to a UtxoArtifact for persistence.
+ */
+declare function utxoToArtifact(utxo: Utxo): UtxoArtifact;
+/**
+ * Converts a UtxoArtifact back to a domain Utxo.
+ */
+declare function utxoFromArtifact(artifact: UtxoArtifact): Utxo;
+/**
+ * Converts a domain TxOutput to a TxOutputArtifact for persistence.
+ */
+declare function txOutputToArtifact(output: TxOutput): TxOutputArtifact;
+/**
+ * Converts a TxOutputArtifact back to a domain TxOutput.
+ */
+declare function txOutputFromArtifact(artifact: TxOutputArtifact): TxOutput;
+
+interface CreateTxPlanArtifactOptions {
+    networkId: NetworkId;
+    mode: ExecutionMode;
+    from: {
+        input: string;
+        address: string;
+        accountName?: string;
+    };
+    to: {
+        input: string;
+        address: string;
+    };
+    amountSompi: bigint;
+    plan: TxPlan$1;
+    rpcUrl?: string;
+}
+/**
+ * Creates a canonical TxPlan artifact from a TxBuilder plan.
+ */
+declare function createTxPlanArtifact(options: CreateTxPlanArtifactOptions): TxPlan;
+
+/**
+ * Creates a canonical simulated signed transaction artifact.
+ */
+declare function createSimulatedSignedTxArtifact(plan: TxPlan, payload: string): SignedTx;
+/**
+ * Creates a canonical simulated receipt.
+ */
+declare function createSimulatedTxReceipt(plan: TxPlan, txId: string, extra?: {
+    spentUtxoIds?: string[];
+    createdUtxoIds?: string[];
+    daaScore?: string;
+}): TxReceipt;
+/**
+ * Validates and extracts the raw transaction from a signed artifact.
+ */
+declare function getBroadcastableSignedTransaction(artifact: any): {
+    mode: string;
+    rawTransaction: string;
+};
+
+interface ArtifactExplanation {
+    summary: {
+        type: string;
+        version: string;
+        network: string;
+        mode: ExecutionMode;
+        createdAt: string;
+        status: "valid" | "invalid" | "legacy" | "corrupted";
+    };
+    identity: {
+        artifactId: string;
+        contentHash: string;
+        lineageId?: string;
+        rootArtifactId?: string;
+        parentArtifactId?: string;
+    };
+    economics?: {
+        ok: boolean;
+        mass: {
+            reported: bigint;
+            recomputed: bigint;
+            delta: bigint;
+        };
+        fee: {
+            reported: bigint;
+            recomputed: bigint;
+            delta: bigint;
+            rate: bigint;
+        };
+        balance: {
+            inputs: bigint;
+            outputs: bigint;
+            change: bigint;
+            impliedFee: bigint;
+        };
+    };
+    security: {
+        strictOk: boolean;
+        issues: Array<{
+            code: string;
+            severity: "warning" | "error" | "critical";
+            message: string;
+        }>;
+    };
+    metadata: Record<string, any>;
+}
+/**
+ * Generates a deep operational explanation of a HardKAS artifact.
+ */
+declare function explainArtifact(artifact: any): Promise<ArtifactExplanation>;
+
+declare function getDefaultL2ReceiptsDir(cwd?: string): string;
+declare function getL2ReceiptPath(txHash: string, options?: {
+    cwd?: string;
+}): string;
+declare function saveIgraTxReceiptArtifact(receipt: IgraTxReceiptArtifact, options?: {
+    cwd?: string;
+}): Promise<string>;
+declare function loadIgraTxReceiptArtifact(txHash: string, options?: {
+    cwd?: string;
+}): Promise<IgraTxReceiptArtifact>;
+declare function listIgraTxReceiptArtifacts(options?: {
+    cwd?: string;
+}): Promise<readonly IgraTxReceiptArtifact[]>;
+
+interface FeeAuditResult {
+    ok: boolean;
+    actualMass: bigint;
+    expectedMass: bigint;
+    actualFeeSompi: bigint;
+    expectedFeeSompi: bigint;
+    feeRateSompiPerMass: bigint;
+    deltaSompi: bigint;
+    issues: string[];
+}
+/**
+ * Recomputes mass for a transaction artifact.
+ */
+declare function recomputeMass(artifact: TxPlan | SignedTx | TxReceipt): bigint;
+/**
+ * Performs a deep economic audit of a transaction artifact.
+ */
+declare function verifyFeeSemantics(artifact: any): FeeAuditResult;
+
+interface LineageValidationResult {
+    ok: boolean;
+    issues: VerificationIssue[];
+}
+/**
+ * Validates the lineage relationship between an artifact and its parent.
+ */
+declare function verifyLineage(artifact: any, parent?: any): LineageValidationResult;
+
+export { ARTIFACT_SCHEMAS, ARTIFACT_VERSION, AccountRefSchema, type ArtifactExplanation, ArtifactLineageSchema, type ArtifactLookup, type ArtifactValidationResult, type ArtifactVerificationResult, type AssumptionLevel, type BaseArtifact, BaseArtifactSchema, BasicCorrelationInvariant, BasicLineageInvariant, type Clock, type CreateTxPlanArtifactOptions, type DagContext, DagContextSchema, type FeeAuditResult, HARDKAS_VERSION, type HardkasArtifactBase, type HardkasArtifactMode, type HardkasArtifactSchema, HashInvariant, type IgraSignedTxArtifact, type IgraTxPlanArtifact, type IgraTxReceiptArtifact, type IgraTxRequestArtifact, type Invariant, type InvariantContext, type InvariantViolation, InvariantWatcher, LifecycleInvariant, type LineageValidationResult, LocalnetUtxoSchemaV2, NetworkInvariant, ReplayInvariant, SchemaInvariant, type SignedTx, type SignedTxArtifact, type SignedTxArtifactV1, SignedTxSchema, type Snapshot, type SnapshotArtifact, SnapshotSchema, type TxOutputArtifact, type TxPlan, type TxPlanArtifact, type TxPlanArtifactV1, TxPlanSchema, type TxReceipt, type TxReceiptArtifact, type TxReceiptArtifactV1, TxReceiptSchema, type TxTrace, type TxTraceArtifact, type TxTraceArtifactV1, TxTraceSchema, type UtxoArtifact, type VerificationContext, type VerificationIssue, type VerificationSeverity, type WatcherOptions, assertDecimalBigIntString, assertEvmAddress, assertEvmTxHash, assertHexData, assertValidIgraSignedTxArtifact, assertValidIgraTxPlanArtifact, assertValidIgraTxReceiptArtifact, assertValidSignedTxArtifact, assertValidTxPlanArtifact, assertValidTxReceiptArtifact, bigIntReplacer, calculateContentHash, canonicalStringify, createIgraDeployPlanId, createIgraPlanId, createIgraSignedId, createSimulatedSignedTxArtifact, createSimulatedTxReceipt, createTxPlanArtifact, defaultClock, explainArtifact, formatSignedTxArtifact, formatTxPlanArtifact, formatTxReceiptArtifact, getBroadcastableSignedTransaction, getDefaultL2ReceiptsDir, getDefaultReceiptPath, getL2ReceiptPath, isIgraTxPlanArtifact, listIgraTxReceiptArtifacts, loadIgraTxReceiptArtifact, migrateToCanonical, readArtifact, readSignedTxArtifact, readTxPlanArtifact, readTxReceiptArtifact, recomputeMass, saveIgraTxReceiptArtifact, sortUtxosByOutpoint, txOutputFromArtifact, txOutputToArtifact, utxoFromArtifact, utxoToArtifact, validateArtifact, validateIgraSignedTxArtifact, validateIgraTxPlanArtifact, validateIgraTxReceiptArtifact, validateSignedTxArtifact, validateTxPlanArtifact, validateTxReceiptArtifact, verifyArtifact, verifyArtifactFile, verifyArtifactIntegrity, verifyArtifactReplay, verifyArtifactSemantics, verifyFeeSemantics, verifyLineage, writeArtifact };