@aztec/stdlib 0.0.1-commit.e558bd1c → 0.0.1-commit.e57c76e

package/dest/tx/tx_receipt.d.ts

@@ -1,7 +1,11 @@
-import { BlockNumber } from '@aztec/foundation/branded-types';
+import { BlockNumber, EpochNumber, SlotNumber } from '@aztec/foundation/branded-types';
+import type { DefineIfFlag, FieldsOf, PickDefined } from '@aztec/foundation/types';
 import { RevertCode } from '../avm/revert_code.js';
 import { BlockHash } from '../block/block_hash.js';
+import { DebugLog } from '../logs/debug_log.js';
 import { type ZodFor } from '../schemas/schemas.js';
+import { Tx } from './tx.js';
+import { TxEffect } from './tx_effect.js';
 import { TxHash } from './tx_hash.js';
 /** Block inclusion/finalization status. */
 export declare enum TxStatus {
@@ -14,70 +18,166 @@ export declare enum TxStatus {
 }
 /** Tx status sorted by finalization progress. */
 export declare const SortedTxStatuses: TxStatus[];
+/** The four statuses a mined transaction can hold, ordered by finalization progress. */
+export declare const MinedTxStatuses: readonly [TxStatus.PROPOSED, TxStatus.CHECKPOINTED, TxStatus.PROVEN, TxStatus.FINALIZED];
+/** Block finalization status of a mined transaction. */
+export type MinedTxStatus = (typeof MinedTxStatuses)[number];
 /** Execution result - only set when tx is in a block. */
 export declare enum TxExecutionResult {
     SUCCESS = "success",
-    APP_LOGIC_REVERTED = "app_logic_reverted",
-    TEARDOWN_REVERTED = "teardown_reverted",
-    BOTH_REVERTED = "both_reverted"
+    REVERTED = "reverted"
 }
-/**
- * Represents a transaction receipt in the Aztec network.
- * Contains essential information about the transaction including its status, origin, and associated addresses.
- * REFACTOR: TxReceipt should be returned only once the tx is mined, and all its fields should be required.
- * We should not be using a TxReceipt to answer a query for a pending or dropped tx.
- */
-export declare class TxReceipt {
-    /** A unique identifier for a transaction. */
-    txHash: TxHash;
+/** Returned from a `getTxReceipt` call to the node RPC API. */
+export interface TxReceiptInterface {
     /** The transaction's block finalization status. */
     status: TxStatus;
-    /** The execution result of the transaction, only set when tx is in a block. */
-    executionResult: TxExecutionResult | undefined;
-    /** Description of transaction error, if any. */
-    error: string | undefined;
+    /** The execution result of the transaction, only set when the tx is in a block. */
+    executionResult?: TxExecutionResult;
+    /** Description of the transaction error, if any. */
+    error?: string;
     /** The transaction fee paid for the transaction. */
-    transactionFee?: bigint | undefined;
+    transactionFee?: bigint;
     /** The hash of the block containing the transaction. */
-    blockHash?: BlockHash | undefined;
+    blockHash?: BlockHash;
     /** The block number in which the transaction was included. */
-    blockNumber?: BlockNumber | undefined;
-    constructor(
+    blockNumber?: BlockNumber;
+    /** The slot number in which the transaction's block was built. */
+    slotNumber?: SlotNumber;
+    /** The epoch number in which the transaction was included. */
+    epochNumber?: EpochNumber;
+    /** The index of the transaction within its block. */
+    txIndexInBlock?: number;
+    /** The full transaction effect, attached when requested via `includeTxEffect`. */
+    txEffect?: TxEffect;
+    /** The pending transaction, attached when requested via `includePendingTx`. */
+    tx?: Tx;
+    /**
+     * Debug logs collected during public function execution. Served only when the node is in test mode and placed on
+     * the receipt only because it's a convenient place for it (the logs are printed out by the wallet when a mined
+     * tx receipt is obtained).
+     */
+    debugLogs?: DebugLog[];
+    /** Returns true (and narrows) if the transaction has been included in a block. */
+    isMined(): this is MinedTxReceipt;
+    /** Returns true (and narrows) if the transaction is pending. */
+    isPending(): this is PendingTxReceipt;
+    /** Returns true (and narrows) if the transaction was dropped. */
+    isDropped(): this is DroppedTxReceipt;
+    /** Returns true if the transaction was executed successfully. */
+    hasExecutionSucceeded(): boolean;
+    /** Returns true if the transaction execution reverted. */
+    hasExecutionReverted(): boolean;
+}
+/**
+ * Common surface shared by every transaction receipt variant ({@link PendingTxReceipt}, {@link DroppedTxReceipt},
+ * {@link MinedTxReceipt}).
+ *
+ * Every cross-variant field is declared once here, optional except for `txHash` (always present) and `status`
+ * (abstract, narrowed by each subclass). Declaring the fields optional on the base lets callers read a bare
+ * {@link TxReceipt} union (without first narrowing) and keep compiling. Use the `is*` guards to narrow to the strong
+ * variant type and gain access to its required fields.
+ */
+declare abstract class TxReceiptBase {
     /** A unique identifier for a transaction. */
-    txHash: TxHash, 
+    readonly txHash: TxHash;
     /** The transaction's block finalization status. */
-    status: TxStatus, 
-    /** The execution result of the transaction, only set when tx is in a block. */
-    executionResult: TxExecutionResult | undefined, 
-    /** Description of transaction error, if any. */
-    error: string | undefined, 
-    /** The transaction fee paid for the transaction. */
-    transactionFee?: bigint | undefined, 
-    /** The hash of the block containing the transaction. */
-    blockHash?: BlockHash | undefined, 
-    /** The block number in which the transaction was included. */
-    blockNumber?: BlockNumber | undefined);
+    abstract readonly status: TxStatus;
+    /** Description of the transaction error, if any. */
+    readonly error?: string;
+    constructor(
+    /** A unique identifier for a transaction. */
+    txHash: TxHash);
+    /** Returns true (and narrows) if the transaction has been included in a block. */
+    isMined(): this is MinedTxReceipt;
+    /** Returns true (and narrows) if the transaction is pending. */
+    isPending(): this is PendingTxReceipt;
+    /** Returns true (and narrows) if the transaction was dropped. */
+    isDropped(): this is DroppedTxReceipt;
     /** Returns true if the transaction was executed successfully. */
     hasExecutionSucceeded(): boolean;
     /** Returns true if the transaction execution reverted. */
     hasExecutionReverted(): boolean;
-    /** Returns true if the transaction has been included in a block (proposed, checkpointed, proven, or finalized). */
-    isMined(): boolean;
-    /** Returns true if the transaction is pending. */
-    isPending(): boolean;
-    /** Returns true if the transaction was dropped. */
-    isDropped(): boolean;
-    static empty(): TxReceipt;
-    static get schema(): ZodFor<TxReceipt>;
-    static from(fields: {
-        txHash: TxHash;
-        status: TxStatus;
-        executionResult?: TxExecutionResult;
-        error?: string;
-        transactionFee?: bigint;
-        blockHash?: BlockHash;
-        blockNumber?: BlockNumber;
-    }): TxReceipt;
+}
+declare abstract class UnminedTxReceipt extends TxReceiptBase {
+    readonly executionResult: undefined;
+    readonly transactionFee: undefined;
+    readonly blockHash: undefined;
+    readonly blockNumber: undefined;
+    readonly slotNumber: undefined;
+    readonly txIndexInBlock: undefined;
+    readonly epochNumber: undefined;
+    readonly txEffect: undefined;
+}
+/**
+ * Receipt for a transaction that is in the mempool but not yet included in a block.
+ */
+export declare class PendingTxReceipt<Opts extends GetTxReceiptOptions = GetTxReceiptOptions> extends UnminedTxReceipt implements TxReceiptInterface {
+    /** The pending transaction, attached when requested via `includePendingTx`. */
+    readonly tx: DefineIfFlag<Opts, 'includePendingTx', Tx>;
+    readonly status = TxStatus.PENDING;
+    constructor(txHash: TxHash, 
+    /** The pending transaction, attached when requested via `includePendingTx`. */
+    tx: DefineIfFlag<Opts, 'includePendingTx', Tx>);
+    static empty(): PendingTxReceipt;
+    static from(fields: PickDefined<FieldsOf<PendingTxReceipt>>): PendingTxReceipt;
+    static get schema(): ZodFor<PendingTxReceipt>;
+}
+/**
+ * Receipt for a transaction that was dropped from the mempool without being mined.
+ */
+export declare class DroppedTxReceipt extends UnminedTxReceipt implements TxReceiptInterface {
+    readonly error?: string | undefined;
+    readonly status = TxStatus.DROPPED;
+    tx: undefined;
+    constructor(txHash: TxHash, error?: string | undefined);
+    static empty(): DroppedTxReceipt;
+    static from(fields: PickDefined<FieldsOf<DroppedTxReceipt>>): DroppedTxReceipt;
+    static get schema(): ZodFor<DroppedTxReceipt>;
+}
+/**
+ * Receipt for a transaction that has been included in a block (proposed, checkpointed, proven, or finalized).
+ * All block-related fields are required for this variant.
+ */
+export declare class MinedTxReceipt<Opts extends GetTxReceiptOptions = GetTxReceiptOptions> extends TxReceiptBase implements TxReceiptInterface {
+    readonly executionResult: TxExecutionResult;
+    readonly transactionFee: bigint;
+    readonly blockHash: BlockHash;
+    readonly blockNumber: BlockNumber;
+    readonly slotNumber: SlotNumber;
+    readonly txIndexInBlock: number;
+    readonly epochNumber: EpochNumber;
+    readonly txEffect: DefineIfFlag<Opts, 'includeTxEffect', TxEffect>;
+    debugLogs?: DebugLog[] | undefined;
+    readonly status: MinedTxStatus;
+    readonly tx: undefined;
+    constructor(txHash: TxHash, status: MinedTxStatus, executionResult: TxExecutionResult, transactionFee: bigint, blockHash: BlockHash, blockNumber: BlockNumber, slotNumber: SlotNumber, txIndexInBlock: number, epochNumber: EpochNumber, txEffect: DefineIfFlag<Opts, 'includeTxEffect', TxEffect>, debugLogs?: DebugLog[] | undefined);
+    hasExecutionSucceeded(): boolean;
+    hasExecutionReverted(): boolean;
+    static from(fields: PickDefined<FieldsOf<MinedTxReceipt>>): MinedTxReceipt;
+    static get schema(): ZodFor<MinedTxReceipt>;
     static executionResultFromRevertCode(revertCode: RevertCode): TxExecutionResult;
 }
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoidHhfcmVjZWlwdC5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL3R4L3R4X3JlY2VpcHQudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsT0FBTyxFQUFFLFdBQVcsRUFBcUIsTUFBTSxpQ0FBaUMsQ0FBQztBQUlqRixPQUFPLEVBQUUsVUFBVSxFQUFFLE1BQU0sdUJBQXVCLENBQUM7QUFDbkQsT0FBTyxFQUFFLFNBQVMsRUFBRSxNQUFNLHdCQUF3QixDQUFDO0FBQ25ELE9BQU8sRUFBRSxLQUFLLE1BQU0sRUFBVyxNQUFNLHVCQUF1QixDQUFDO0FBQzdELE9BQU8sRUFBRSxNQUFNLEVBQUUsTUFBTSxjQUFjLENBQUM7QUFFdEMsMkNBQTJDO0FBQzNDLG9CQUFZLFFBQVE7SUFDbEIsT0FBTyxZQUFZO0lBQ25CLE9BQU8sWUFBWTtJQUNuQixRQUFRLGFBQWE7SUFDckIsWUFBWSxpQkFBaUI7SUFDN0IsTUFBTSxXQUFXO0lBQ2pCLFNBQVMsY0FBYztDQUN4QjtBQUVELGlEQUFpRDtBQUNqRCxlQUFPLE1BQU0sZ0JBQWdCLEVBQUUsUUFBUSxFQU90QyxDQUFDO0FBRUYseURBQXlEO0FBQ3pELG9CQUFZLGlCQUFpQjtJQUMzQixPQUFPLFlBQVk7SUFDbkIsa0JBQWtCLHVCQUF1QjtJQUN6QyxpQkFBaUIsc0JBQXNCO0lBQ3ZDLGFBQWEsa0JBQWtCO0NBQ2hDO0FBRUQ7Ozs7O0dBS0c7QUFDSCxxQkFBYSxTQUFTO0lBRWxCLDZDQUE2QztJQUN0QyxNQUFNLEVBQUUsTUFBTTtJQUNyQixtREFBbUQ7SUFDNUMsTUFBTSxFQUFFLFFBQVE7SUFDdkIsK0VBQStFO0lBQ3hFLGVBQWUsRUFBRSxpQkFBaUIsR0FBRyxTQUFTO0lBQ3JELGdEQUFnRDtJQUN6QyxLQUFLLEVBQUUsTUFBTSxHQUFHLFNBQVM7SUFDaEMsb0RBQW9EO0lBQzdDLGNBQWMsQ0FBQztJQUN0Qix3REFBd0Q7SUFDakQsU0FBUyxDQUFDO0lBQ2pCLDhEQUE4RDtJQUN2RCxXQUFXLENBQUM7SUFkckI7SUFDRSw2Q0FBNkM7SUFDdEMsTUFBTSxFQUFFLE1BQU07SUFDckIsbURBQW1EO0lBQzVDLE1BQU0sRUFBRSxRQUFRO0lBQ3ZCLCtFQUErRTtJQUN4RSxlQUFlLEVBQUUsaUJBQWlCLEdBQUcsU0FBUztJQUNyRCxnREFBZ0Q7SUFDekMsS0FBSyxFQUFFLE1BQU0sR0FBRyxTQUFTO0lBQ2hDLG9EQUFvRDtJQUM3QyxjQUFjLENBQUMsb0JBQVE7SUFDOUIsd0RBQXdEO0lBQ2pELFNBQVMsQ0FBQyx1QkFBVztJQUM1Qiw4REFBOEQ7SUFDdkQsV0FBVyxDQUFDLHlCQUFhLEVBQzlCO0lBRUosaUVBQWlFO0lBQ2pFLHFCQUFxQixJQUFJLE9BQU8sQ0FFL0I7SUFFRCwwREFBMEQ7SUFDMUQsb0JBQW9CLElBQUksT0FBTyxDQUU5QjtJQUVELG1IQUFtSDtJQUNuSCxPQUFPLElBQUksT0FBTyxDQU9qQjtJQUVELGtEQUFrRDtJQUNsRCxTQUFTLElBQUksT0FBTyxDQUVuQjtJQUVELG1EQUFtRDtJQUNuRCxTQUFTLElBQUksT0FBTyxDQUVuQjtJQUVELE1BQU0sQ0FBQyxLQUFLLGNBRVg7SUFFRCxNQUFNLEtBQUssTUFBTSxJQUFJLE1BQU0sQ0FBQyxTQUFTLENBQUMsQ0FZckM7SUFFRCxNQUFNLENBQUMsSUFBSSxDQUFDLE1BQU0sRUFBRTtRQUNsQixNQUFNLEVBQUUsTUFBTSxDQUFDO1FBQ2YsTUFBTSxFQUFFLFFBQVEsQ0FBQztRQUNqQixlQUFlLENBQUMsRUFBRSxpQkFBaUIsQ0FBQztRQUNwQyxLQUFLLENBQUMsRUFBRSxNQUFNLENBQUM7UUFDZixjQUFjLENBQUMsRUFBRSxNQUFNLENBQUM7UUFDeEIsU0FBUyxDQUFDLEVBQUUsU0FBUyxDQUFDO1FBQ3RCLFdBQVcsQ0FBQyxFQUFFLFdBQVcsQ0FBQztLQUMzQixhQVVBO0lBRUQsT0FBYyw2QkFBNkIsQ0FBQyxVQUFVLEVBQUUsVUFBVSxHQUFHLGlCQUFpQixDQVlyRjtDQUNGIn0=
+/**
+ * A transaction receipt summarizing the lifecycle of a transaction in the Aztec network. Discriminated over the
+ * transaction's status: {@link PendingTxReceipt} while in the mempool, {@link DroppedTxReceipt} once dropped, and
+ * {@link MinedTxReceipt} once included in a block.
+ */
+export type TxReceipt<Opts extends GetTxReceiptOptions = GetTxReceiptOptions> = PendingTxReceipt<Opts> | DroppedTxReceipt | MinedTxReceipt<Opts>;
+/**
+ * Zod schema for {@link TxReceipt}. Each member constrains its `status` field so the union routes
+ * unambiguously, giving a deterministic serialization round-trip.
+ */
+export declare const TxReceiptSchema: ZodFor<TxReceipt>;
+/** Options controlling which optional data is attached to a {@link TxReceipt}. */
+export type GetTxReceiptOptions = {
+    /** Attach the full {@link TxEffect} (mined txs only). */
+    includeTxEffect?: boolean;
+    /** Attach the pending {@link Tx} (pending txs only). */
+    includePendingTx?: boolean;
+    /** Keep the proof on the attached pending {@link Tx}; only meaningful alongside `includePendingTx`. */
+    includeProof?: boolean;
+};
+/** Zod schema for {@link GetTxReceiptOptions}. */
+export declare const GetTxReceiptOptionsSchema: ZodFor<GetTxReceiptOptions>;
+export {};
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoidHhfcmVjZWlwdC5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL3R4L3R4X3JlY2VpcHQudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsT0FBTyxFQUNMLFdBQVcsRUFFWCxXQUFXLEVBRVgsVUFBVSxFQUVYLE1BQU0saUNBQWlDLENBQUM7QUFDekMsT0FBTyxLQUFLLEVBQUUsWUFBWSxFQUFFLFFBQVEsRUFBRSxXQUFXLEVBQUUsTUFBTSx5QkFBeUIsQ0FBQztBQUluRixPQUFPLEVBQUUsVUFBVSxFQUFFLE1BQU0sdUJBQXVCLENBQUM7QUFDbkQsT0FBTyxFQUFFLFNBQVMsRUFBRSxNQUFNLHdCQUF3QixDQUFDO0FBQ25ELE9BQU8sRUFBRSxRQUFRLEVBQUUsTUFBTSxzQkFBc0IsQ0FBQztBQUNoRCxPQUFPLEVBQUUsS0FBSyxNQUFNLEVBQVcsTUFBTSx1QkFBdUIsQ0FBQztBQUM3RCxPQUFPLEVBQUUsRUFBRSxFQUFFLE1BQU0sU0FBUyxDQUFDO0FBQzdCLE9BQU8sRUFBRSxRQUFRLEVBQUUsTUFBTSxnQkFBZ0IsQ0FBQztBQUMxQyxPQUFPLEVBQUUsTUFBTSxFQUFFLE1BQU0sY0FBYyxDQUFDO0FBRXRDLDJDQUEyQztBQUMzQyxvQkFBWSxRQUFRO0lBQ2xCLE9BQU8sWUFBWTtJQUNuQixPQUFPLFlBQVk7SUFDbkIsUUFBUSxhQUFhO0lBQ3JCLFlBQVksaUJBQWlCO0lBQzdCLE1BQU0sV0FBVztJQUNqQixTQUFTLGNBQWM7Q0FDeEI7QUFFRCxpREFBaUQ7QUFDakQsZUFBTyxNQUFNLGdCQUFnQixFQUFFLFFBQVEsRUFPdEMsQ0FBQztBQUVGLHdGQUF3RjtBQUN4RixlQUFPLE1BQU0sZUFBZSwwRkFBMkYsQ0FBQztBQUV4SCx3REFBd0Q7QUFDeEQsTUFBTSxNQUFNLGFBQWEsR0FBRyxDQUFDLE9BQU8sZUFBZSxDQUFDLENBQUMsTUFBTSxDQUFDLENBQUM7QUFFN0QseURBQXlEO0FBQ3pELG9CQUFZLGlCQUFpQjtJQUMzQixPQUFPLFlBQVk7SUFDbkIsUUFBUSxhQUFhO0NBQ3RCO0FBRUQsK0RBQStEO0FBQy9ELE1BQU0sV0FBVyxrQkFBa0I7SUFDakMsbURBQW1EO0lBQ25ELE1BQU0sRUFBRSxRQUFRLENBQUM7SUFDakIsbUZBQW1GO0lBQ25GLGVBQWUsQ0FBQyxFQUFFLGlCQUFpQixDQUFDO0lBQ3BDLG9EQUFvRDtJQUNwRCxLQUFLLENBQUMsRUFBRSxNQUFNLENBQUM7SUFDZixvREFBb0Q7SUFDcEQsY0FBYyxDQUFDLEVBQUUsTUFBTSxDQUFDO0lBQ3hCLHdEQUF3RDtJQUN4RCxTQUFTLENBQUMsRUFBRSxTQUFTLENBQUM7SUFDdEIsOERBQThEO0lBQzlELFdBQVcsQ0FBQyxFQUFFLFdBQVcsQ0FBQztJQUMxQixrRUFBa0U7SUFDbEUsVUFBVSxDQUFDLEVBQUUsVUFBVSxDQUFDO0lBQ3hCLDhEQUE4RDtJQUM5RCxXQUFXLENBQUMsRUFBRSxXQUFXLENBQUM7SUFDMUIscURBQXFEO0lBQ3JELGNBQWMsQ0FBQyxFQUFFLE1BQU0sQ0FBQztJQUN4QixrRkFBa0Y7SUFDbEYsUUFBUSxDQUFDLEVBQUUsUUFBUSxDQUFDO0lBQ3BCLCtFQUErRTtJQUMvRSxFQUFFLENBQUMsRUFBRSxFQUFFLENBQUM7SUFDUjs7OztPQUlHO0lBQ0gsU0FBUyxDQUFDLEVBQUUsUUFBUSxFQUFFLENBQUM7SUFFdkIsa0ZBQWtGO0lBQ2xGLE9BQU8sSUFBSSxJQUFJLElBQUksY0FBYyxDQUFDO0lBRWxDLGdFQUFnRTtJQUNoRSxTQUFTLElBQUksSUFBSSxJQUFJLGdCQUFnQixDQUFDO0lBRXRDLGlFQUFpRTtJQUNqRSxTQUFTLElBQUksSUFBSSxJQUFJLGdCQUFnQixDQUFDO0lBRXRDLGlFQUFpRTtJQUNqRSxxQkFBcUIsSUFBSSxPQUFPLENBQUM7SUFFakMsMERBQTBEO0lBQzFELG9CQUFvQixJQUFJLE9BQU8sQ0FBQztDQUNqQztBQUVEOzs7Ozs7OztHQVFHO0FBQ0gsdUJBQWUsYUFBYTtJQU94Qiw2Q0FBNkM7YUFDN0IsTUFBTSxFQUFFLE1BQU07SUFQaEMsbURBQW1EO0lBQ25ELGtCQUF5QixNQUFNLEVBQUUsUUFBUSxDQUFDO0lBQzFDLG9EQUFvRDtJQUNwRCxTQUFnQixLQUFLLENBQUMsRUFBRSxNQUFNLENBQUM7SUFFL0I7SUFDRSw2Q0FBNkM7SUFDN0IsTUFBTSxFQUFFLE1BQU0sRUFDNUI7SUFFSixrRkFBa0Y7SUFDM0UsT0FBTyxJQUFJLElBQUksSUFBSSxjQUFjLENBRXZDO0lBRUQsZ0VBQWdFO0lBQ3pELFNBQVMsSUFBSSxJQUFJLElBQUksZ0JBQWdCLENBRTNDO0lBRUQsaUVBQWlFO0lBQzFELFNBQVMsSUFBSSxJQUFJLElBQUksZ0JBQWdCLENBRTNDO0lBRUQsaUVBQWlFO0lBQzFELHFCQUFxQixJQUFJLE9BQU8sQ0FFdEM7SUFFRCwwREFBMEQ7SUFDbkQsb0JBQW9CLElBQUksT0FBTyxDQUVyQztDQUNGO0FBRUQsdUJBQWUsZ0JBQWlCLFNBQVEsYUFBYTtJQUNuRCxTQUFnQixlQUFlLEVBQUUsU0FBUyxDQUFhO0lBQ3ZELFNBQWdCLGNBQWMsRUFBRSxTQUFTLENBQWE7SUFDdEQsU0FBZ0IsU0FBUyxFQUFFLFNBQVMsQ0FBYTtJQUNqRCxTQUFnQixXQUFXLEVBQUUsU0FBUyxDQUFhO0lBQ25ELFNBQWdCLFVBQVUsRUFBRSxTQUFTLENBQWE7SUFDbEQsU0FBZ0IsY0FBYyxFQUFFLFNBQVMsQ0FBYTtJQUN0RCxTQUFnQixXQUFXLEVBQUUsU0FBUyxDQUFhO0lBQ25ELFNBQWdCLFFBQVEsRUFBRSxTQUFTLENBQWE7Q0FDakQ7QUFFRDs7R0FFRztBQUNILHFCQUFhLGdCQUFnQixDQUFDLElBQUksU0FBUyxtQkFBbUIsR0FBRyxtQkFBbUIsQ0FDbEYsU0FBUSxnQkFDUixZQUFXLGtCQUFrQjtJQU0zQiwrRUFBK0U7YUFDL0QsRUFBRSxFQUFFLFlBQVksQ0FBQyxJQUFJLEVBQUUsa0JBQWtCLEVBQUUsRUFBRSxDQUFDO0lBTGhFLFNBQXlCLE1BQU0sb0JBQW9CO0lBRW5ELFlBQ0UsTUFBTSxFQUFFLE1BQU07SUFDZCwrRUFBK0U7SUFDL0QsRUFBRSxFQUFFLFlBQVksQ0FBQyxJQUFJLEVBQUUsa0JBQWtCLEVBQUUsRUFBRSxDQUFDLEVBRy9EO0lBRUQsTUFBTSxDQUFDLEtBQUssSUFBSSxnQkFBZ0IsQ0FFL0I7SUFFRCxNQUFNLENBQUMsSUFBSSxDQUFDLE1BQU0sRUFBRSxXQUFXLENBQUMsUUFBUSxDQUFDLGdCQUFnQixDQUFDLENBQUMsR0FBRyxnQkFBZ0IsQ0FFN0U7SUFFRCxNQUFNLEtBQUssTUFBTSxJQUFJLE1BQU0sQ0FBQyxnQkFBZ0IsQ0FBQyxDQVE1QztDQUNGO0FBRUQ7O0dBRUc7QUFDSCxxQkFBYSxnQkFBaUIsU0FBUSxnQkFBaUIsWUFBVyxrQkFBa0I7YUFPdkQsS0FBSyxDQUFDO0lBTmpDLFNBQXlCLE1BQU0sb0JBQW9CO0lBRTVDLEVBQUUsRUFBRSxTQUFTLENBQWE7SUFFakMsWUFDRSxNQUFNLEVBQUUsTUFBTSxFQUNXLEtBQUssQ0FBQyxvQkFBUSxFQUd4QztJQUVELE1BQU0sQ0FBQyxLQUFLLElBQUksZ0JBQWdCLENBRS9CO0lBRUQsTUFBTSxDQUFDLElBQUksQ0FBQyxNQUFNLEVBQUUsV0FBVyxDQUFDLFFBQVEsQ0FBQyxnQkFBZ0IsQ0FBQyxDQUFDLEdBQUcsZ0JBQWdCLENBRTdFO0lBRUQsTUFBTSxLQUFLLE1BQU0sSUFBSSxNQUFNLENBQUMsZ0JBQWdCLENBQUMsQ0FRNUM7Q0FDRjtBQUVEOzs7R0FHRztBQUNILHFCQUFhLGNBQWMsQ0FBQyxJQUFJLFNBQVMsbUJBQW1CLEdBQUcsbUJBQW1CLENBQ2hGLFNBQVEsYUFDUixZQUFXLGtCQUFrQjthQVNYLGVBQWUsRUFBRSxpQkFBaUI7YUFDbEMsY0FBYyxFQUFFLE1BQU07YUFDdEIsU0FBUyxFQUFFLFNBQVM7YUFDcEIsV0FBVyxFQUFFLFdBQVc7YUFDeEIsVUFBVSxFQUFFLFVBQVU7YUFDdEIsY0FBYyxFQUFFLE1BQU07YUFDdEIsV0FBVyxFQUFFLFdBQVc7YUFDeEIsUUFBUSxFQUFFLFlBQVksQ0FBQyxJQUFJLEVBQUUsaUJBQWlCLEVBQUUsUUFBUSxDQUFDO0lBQ2xFLFNBQVMsQ0FBQztJQWZuQixTQUF5QixNQUFNLEVBQUUsYUFBYSxDQUFDO0lBRS9DLFNBQWdCLEVBQUUsWUFBYTtJQUUvQixZQUNFLE1BQU0sRUFBRSxNQUFNLEVBQ2QsTUFBTSxFQUFFLGFBQWEsRUFDTCxlQUFlLEVBQUUsaUJBQWlCLEVBQ2xDLGNBQWMsRUFBRSxNQUFNLEVBQ3RCLFNBQVMsRUFBRSxTQUFTLEVBQ3BCLFdBQVcsRUFBRSxXQUFXLEVBQ3hCLFVBQVUsRUFBRSxVQUFVLEVBQ3RCLGNBQWMsRUFBRSxNQUFNLEVBQ3RCLFdBQVcsRUFBRSxXQUFXLEVBQ3hCLFFBQVEsRUFBRSxZQUFZLENBQUMsSUFBSSxFQUFFLGlCQUFpQixFQUFFLFFBQVEsQ0FBQyxFQUNsRSxTQUFTLENBQUMsd0JBQVksRUFJOUI7SUFFZSxxQkFBcUIsSUFBSSxPQUFPLENBRS9DO0lBRWUsb0JBQW9CLElBQUksT0FBTyxDQUU5QztJQUVELE1BQU0sQ0FBQyxJQUFJLENBQUMsTUFBTSxFQUFFLFdBQVcsQ0FBQyxRQUFRLENBQUMsY0FBYyxDQUFDLENBQUMsR0FBRyxjQUFjLENBY3pFO0lBRUQsTUFBTSxLQUFLLE1BQU0sSUFBSSxNQUFNLENBQUMsY0FBYyxDQUFDLENBZ0IxQztJQUVELE9BQWMsNkJBQTZCLENBQUMsVUFBVSxFQUFFLFVBQVUsR0FBRyxpQkFBaUIsQ0FFckY7Q0FDRjtBQUVEOzs7O0dBSUc7QUFDSCxNQUFNLE1BQU0sU0FBUyxDQUFDLElBQUksU0FBUyxtQkFBbUIsR0FBRyxtQkFBbUIsSUFDeEUsZ0JBQWdCLENBQUMsSUFBSSxDQUFDLEdBQ3RCLGdCQUFnQixHQUNoQixjQUFjLENBQUMsSUFBSSxDQUFDLENBQUM7QUFFekI7OztHQUdHO0FBQ0gsZUFBTyxNQUFNLGVBQWUsRUFBRSxNQUFNLENBQUMsU0FBUyxDQUl2QixDQUFDO0FBRXhCLGtGQUFrRjtBQUNsRixNQUFNLE1BQU0sbUJBQW1CLEdBQUc7SUFDaEMseURBQXlEO0lBQ3pELGVBQWUsQ0FBQyxFQUFFLE9BQU8sQ0FBQztJQUMxQix3REFBd0Q7SUFDeEQsZ0JBQWdCLENBQUMsRUFBRSxPQUFPLENBQUM7SUFDM0IsdUdBQXVHO0lBQ3ZHLFlBQVksQ0FBQyxFQUFFLE9BQU8sQ0FBQztDQUN4QixDQUFDO0FBRUYsa0RBQWtEO0FBQ2xELGVBQU8sTUFBTSx5QkFBeUIsRUFBRSxNQUFNLENBQUMsbUJBQW1CLENBSWhFLENBQUMifQ==

package/dest/tx/tx_receipt.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"tx_receipt.d.ts","sourceRoot":"","sources":["../../src/tx/tx_receipt.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAqB,MAAM,iCAAiC,CAAC;AAIjF,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AACnD,OAAO,EAAE,SAAS,EAAE,MAAM,wBAAwB,CAAC;AACnD,OAAO,EAAE,KAAK,MAAM,EAAW,MAAM,uBAAuB,CAAC;AAC7D,OAAO,EAAE,MAAM,EAAE,MAAM,cAAc,CAAC;AAEtC,2CAA2C;AAC3C,oBAAY,QAAQ;IAClB,OAAO,YAAY;IACnB,OAAO,YAAY;IACnB,QAAQ,aAAa;IACrB,YAAY,iBAAiB;IAC7B,MAAM,WAAW;IACjB,SAAS,cAAc;CACxB;AAED,iDAAiD;AACjD,eAAO,MAAM,gBAAgB,EAAE,QAAQ,EAOtC,CAAC;AAEF,yDAAyD;AACzD,oBAAY,iBAAiB;IAC3B,OAAO,YAAY;IACnB,kBAAkB,uBAAuB;IACzC,iBAAiB,sBAAsB;IACvC,aAAa,kBAAkB;CAChC;AAED;;;;;GAKG;AACH,qBAAa,SAAS;IAElB,6CAA6C;IACtC,MAAM,EAAE,MAAM;IACrB,mDAAmD;IAC5C,MAAM,EAAE,QAAQ;IACvB,+EAA+E;IACxE,eAAe,EAAE,iBAAiB,GAAG,SAAS;IACrD,gDAAgD;IACzC,KAAK,EAAE,MAAM,GAAG,SAAS;IAChC,oDAAoD;IAC7C,cAAc,CAAC;IACtB,wDAAwD;IACjD,SAAS,CAAC;IACjB,8DAA8D;IACvD,WAAW,CAAC;IAdrB;IACE,6CAA6C;IACtC,MAAM,EAAE,MAAM;IACrB,mDAAmD;IAC5C,MAAM,EAAE,QAAQ;IACvB,+EAA+E;IACxE,eAAe,EAAE,iBAAiB,GAAG,SAAS;IACrD,gDAAgD;IACzC,KAAK,EAAE,MAAM,GAAG,SAAS;IAChC,oDAAoD;IAC7C,cAAc,CAAC,oBAAQ;IAC9B,wDAAwD;IACjD,SAAS,CAAC,uBAAW;IAC5B,8DAA8D;IACvD,WAAW,CAAC,yBAAa,EAC9B;IAEJ,iEAAiE;IACjE,qBAAqB,IAAI,OAAO,CAE/B;IAED,0DAA0D;IAC1D,oBAAoB,IAAI,OAAO,CAE9B;IAED,mHAAmH;IACnH,OAAO,IAAI,OAAO,CAOjB;IAED,kDAAkD;IAClD,SAAS,IAAI,OAAO,CAEnB;IAED,mDAAmD;IACnD,SAAS,IAAI,OAAO,CAEnB;IAED,MAAM,CAAC,KAAK,cAEX;IAED,MAAM,KAAK,MAAM,IAAI,MAAM,CAAC,SAAS,CAAC,CAYrC;IAED,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE;QAClB,MAAM,EAAE,MAAM,CAAC;QACf,MAAM,EAAE,QAAQ,CAAC;QACjB,eAAe,CAAC,EAAE,iBAAiB,CAAC;QACpC,KAAK,CAAC,EAAE,MAAM,CAAC;QACf,cAAc,CAAC,EAAE,MAAM,CAAC;QACxB,SAAS,CAAC,EAAE,SAAS,CAAC;QACtB,WAAW,CAAC,EAAE,WAAW,CAAC;KAC3B,aAUA;IAED,OAAc,6BAA6B,CAAC,UAAU,EAAE,UAAU,GAAG,iBAAiB,CAYrF;CACF"}
+{"version":3,"file":"tx_receipt.d.ts","sourceRoot":"","sources":["../../src/tx/tx_receipt.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,WAAW,EAEX,WAAW,EAEX,UAAU,EAEX,MAAM,iCAAiC,CAAC;AACzC,OAAO,KAAK,EAAE,YAAY,EAAE,QAAQ,EAAE,WAAW,EAAE,MAAM,yBAAyB,CAAC;AAInF,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AACnD,OAAO,EAAE,SAAS,EAAE,MAAM,wBAAwB,CAAC;AACnD,OAAO,EAAE,QAAQ,EAAE,MAAM,sBAAsB,CAAC;AAChD,OAAO,EAAE,KAAK,MAAM,EAAW,MAAM,uBAAuB,CAAC;AAC7D,OAAO,EAAE,EAAE,EAAE,MAAM,SAAS,CAAC;AAC7B,OAAO,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC1C,OAAO,EAAE,MAAM,EAAE,MAAM,cAAc,CAAC;AAEtC,2CAA2C;AAC3C,oBAAY,QAAQ;IAClB,OAAO,YAAY;IACnB,OAAO,YAAY;IACnB,QAAQ,aAAa;IACrB,YAAY,iBAAiB;IAC7B,MAAM,WAAW;IACjB,SAAS,cAAc;CACxB;AAED,iDAAiD;AACjD,eAAO,MAAM,gBAAgB,EAAE,QAAQ,EAOtC,CAAC;AAEF,wFAAwF;AACxF,eAAO,MAAM,eAAe,0FAA2F,CAAC;AAExH,wDAAwD;AACxD,MAAM,MAAM,aAAa,GAAG,CAAC,OAAO,eAAe,CAAC,CAAC,MAAM,CAAC,CAAC;AAE7D,yDAAyD;AACzD,oBAAY,iBAAiB;IAC3B,OAAO,YAAY;IACnB,QAAQ,aAAa;CACtB;AAED,+DAA+D;AAC/D,MAAM,WAAW,kBAAkB;IACjC,mDAAmD;IACnD,MAAM,EAAE,QAAQ,CAAC;IACjB,mFAAmF;IACnF,eAAe,CAAC,EAAE,iBAAiB,CAAC;IACpC,oDAAoD;IACpD,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,oDAAoD;IACpD,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,wDAAwD;IACxD,SAAS,CAAC,EAAE,SAAS,CAAC;IACtB,8DAA8D;IAC9D,WAAW,CAAC,EAAE,WAAW,CAAC;IAC1B,kEAAkE;IAClE,UAAU,CAAC,EAAE,UAAU,CAAC;IACxB,8DAA8D;IAC9D,WAAW,CAAC,EAAE,WAAW,CAAC;IAC1B,qDAAqD;IACrD,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,kFAAkF;IAClF,QAAQ,CAAC,EAAE,QAAQ,CAAC;IACpB,+EAA+E;IAC/E,EAAE,CAAC,EAAE,EAAE,CAAC;IACR;;;;OAIG;IACH,SAAS,CAAC,EAAE,QAAQ,EAAE,CAAC;IAEvB,kFAAkF;IAClF,OAAO,IAAI,IAAI,IAAI,cAAc,CAAC;IAElC,gEAAgE;IAChE,SAAS,IAAI,IAAI,IAAI,gBAAgB,CAAC;IAEtC,iEAAiE;IACjE,SAAS,IAAI,IAAI,IAAI,gBAAgB,CAAC;IAEtC,iEAAiE;IACjE,qBAAqB,IAAI,OAAO,CAAC;IAEjC,0DAA0D;IAC1D,oBAAoB,IAAI,OAAO,CAAC;CACjC;AAED;;;;;;;;GAQG;AACH,uBAAe,aAAa;IAOxB,6CAA6C;aAC7B,MAAM,EAAE,MAAM;IAPhC,mDAAmD;IACnD,kBAAyB,MAAM,EAAE,QAAQ,CAAC;IAC1C,oDAAoD;IACpD,SAAgB,KAAK,CAAC,EAAE,MAAM,CAAC;IAE/B;IACE,6CAA6C;IAC7B,MAAM,EAAE,MAAM,EAC5B;IAEJ,kFAAkF;IAC3E,OAAO,IAAI,IAAI,IAAI,cAAc,CAEvC;IAED,gEAAgE;IACzD,SAAS,IAAI,IAAI,IAAI,gBAAgB,CAE3C;IAED,iEAAiE;IAC1D,SAAS,IAAI,IAAI,IAAI,gBAAgB,CAE3C;IAED,iEAAiE;IAC1D,qBAAqB,IAAI,OAAO,CAEtC;IAED,0DAA0D;IACnD,oBAAoB,IAAI,OAAO,CAErC;CACF;AAED,uBAAe,gBAAiB,SAAQ,aAAa;IACnD,SAAgB,eAAe,EAAE,SAAS,CAAa;IACvD,SAAgB,cAAc,EAAE,SAAS,CAAa;IACtD,SAAgB,SAAS,EAAE,SAAS,CAAa;IACjD,SAAgB,WAAW,EAAE,SAAS,CAAa;IACnD,SAAgB,UAAU,EAAE,SAAS,CAAa;IAClD,SAAgB,cAAc,EAAE,SAAS,CAAa;IACtD,SAAgB,WAAW,EAAE,SAAS,CAAa;IACnD,SAAgB,QAAQ,EAAE,SAAS,CAAa;CACjD;AAED;;GAEG;AACH,qBAAa,gBAAgB,CAAC,IAAI,SAAS,mBAAmB,GAAG,mBAAmB,CAClF,SAAQ,gBACR,YAAW,kBAAkB;IAM3B,+EAA+E;aAC/D,EAAE,EAAE,YAAY,CAAC,IAAI,EAAE,kBAAkB,EAAE,EAAE,CAAC;IALhE,SAAyB,MAAM,oBAAoB;IAEnD,YACE,MAAM,EAAE,MAAM;IACd,+EAA+E;IAC/D,EAAE,EAAE,YAAY,CAAC,IAAI,EAAE,kBAAkB,EAAE,EAAE,CAAC,EAG/D;IAED,MAAM,CAAC,KAAK,IAAI,gBAAgB,CAE/B;IAED,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,WAAW,CAAC,QAAQ,CAAC,gBAAgB,CAAC,CAAC,GAAG,gBAAgB,CAE7E;IAED,MAAM,KAAK,MAAM,IAAI,MAAM,CAAC,gBAAgB,CAAC,CAQ5C;CACF;AAED;;GAEG;AACH,qBAAa,gBAAiB,SAAQ,gBAAiB,YAAW,kBAAkB;aAOvD,KAAK,CAAC;IANjC,SAAyB,MAAM,oBAAoB;IAE5C,EAAE,EAAE,SAAS,CAAa;IAEjC,YACE,MAAM,EAAE,MAAM,EACW,KAAK,CAAC,oBAAQ,EAGxC;IAED,MAAM,CAAC,KAAK,IAAI,gBAAgB,CAE/B;IAED,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,WAAW,CAAC,QAAQ,CAAC,gBAAgB,CAAC,CAAC,GAAG,gBAAgB,CAE7E;IAED,MAAM,KAAK,MAAM,IAAI,MAAM,CAAC,gBAAgB,CAAC,CAQ5C;CACF;AAED;;;GAGG;AACH,qBAAa,cAAc,CAAC,IAAI,SAAS,mBAAmB,GAAG,mBAAmB,CAChF,SAAQ,aACR,YAAW,kBAAkB;aASX,eAAe,EAAE,iBAAiB;aAClC,cAAc,EAAE,MAAM;aACtB,SAAS,EAAE,SAAS;aACpB,WAAW,EAAE,WAAW;aACxB,UAAU,EAAE,UAAU;aACtB,cAAc,EAAE,MAAM;aACtB,WAAW,EAAE,WAAW;aACxB,QAAQ,EAAE,YAAY,CAAC,IAAI,EAAE,iBAAiB,EAAE,QAAQ,CAAC;IAClE,SAAS,CAAC;IAfnB,SAAyB,MAAM,EAAE,aAAa,CAAC;IAE/C,SAAgB,EAAE,YAAa;IAE/B,YACE,MAAM,EAAE,MAAM,EACd,MAAM,EAAE,aAAa,EACL,eAAe,EAAE,iBAAiB,EAClC,cAAc,EAAE,MAAM,EACtB,SAAS,EAAE,SAAS,EACpB,WAAW,EAAE,WAAW,EACxB,UAAU,EAAE,UAAU,EACtB,cAAc,EAAE,MAAM,EACtB,WAAW,EAAE,WAAW,EACxB,QAAQ,EAAE,YAAY,CAAC,IAAI,EAAE,iBAAiB,EAAE,QAAQ,CAAC,EAClE,SAAS,CAAC,wBAAY,EAI9B;IAEe,qBAAqB,IAAI,OAAO,CAE/C;IAEe,oBAAoB,IAAI,OAAO,CAE9C;IAED,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,WAAW,CAAC,QAAQ,CAAC,cAAc,CAAC,CAAC,GAAG,cAAc,CAczE;IAED,MAAM,KAAK,MAAM,IAAI,MAAM,CAAC,cAAc,CAAC,CAgB1C;IAED,OAAc,6BAA6B,CAAC,UAAU,EAAE,UAAU,GAAG,iBAAiB,CAErF;CACF;AAED;;;;GAIG;AACH,MAAM,MAAM,SAAS,CAAC,IAAI,SAAS,mBAAmB,GAAG,mBAAmB,IACxE,gBAAgB,CAAC,IAAI,CAAC,GACtB,gBAAgB,GAChB,cAAc,CAAC,IAAI,CAAC,CAAC;AAEzB;;;GAGG;AACH,eAAO,MAAM,eAAe,EAAE,MAAM,CAAC,SAAS,CAIvB,CAAC;AAExB,kFAAkF;AAClF,MAAM,MAAM,mBAAmB,GAAG;IAChC,yDAAyD;IACzD,eAAe,CAAC,EAAE,OAAO,CAAC;IAC1B,wDAAwD;IACxD,gBAAgB,CAAC,EAAE,OAAO,CAAC;IAC3B,uGAAuG;IACvG,YAAY,CAAC,EAAE,OAAO,CAAC;CACxB,CAAC;AAEF,kDAAkD;AAClD,eAAO,MAAM,yBAAyB,EAAE,MAAM,CAAC,mBAAmB,CAIhE,CAAC"}

package/dest/tx/tx_receipt.js

@@ -1,8 +1,10 @@
-import { BlockNumberSchema } from '@aztec/foundation/branded-types';
+import { BlockNumberSchema, EpochNumberSchema, SlotNumberSchema } from '@aztec/foundation/branded-types';
 import { z } from 'zod';
-import { RevertCode } from '../avm/revert_code.js';
 import { BlockHash } from '../block/block_hash.js';
+import { DebugLog } from '../logs/debug_log.js';
 import { schemas } from '../schemas/schemas.js';
+import { Tx } from './tx.js';
+import { TxEffect } from './tx_effect.js';
 import { TxHash } from './tx_hash.js';
 /** Block inclusion/finalization status. */ export var TxStatus = /*#__PURE__*/ function(TxStatus) {
     TxStatus["DROPPED"] = "dropped";
@@ -21,78 +23,170 @@ import { TxHash } from './tx_hash.js';
     "proven",
     "finalized"
 ];
+/** The four statuses a mined transaction can hold, ordered by finalization progress. */ export const MinedTxStatuses = [
+    "proposed",
+    "checkpointed",
+    "proven",
+    "finalized"
+];
 /** Execution result - only set when tx is in a block. */ export var TxExecutionResult = /*#__PURE__*/ function(TxExecutionResult) {
     TxExecutionResult["SUCCESS"] = "success";
-    TxExecutionResult["APP_LOGIC_REVERTED"] = "app_logic_reverted";
-    TxExecutionResult["TEARDOWN_REVERTED"] = "teardown_reverted";
-    TxExecutionResult["BOTH_REVERTED"] = "both_reverted";
+    TxExecutionResult["REVERTED"] = "reverted";
     return TxExecutionResult;
 }({});
 /**
- * Represents a transaction receipt in the Aztec network.
- * Contains essential information about the transaction including its status, origin, and associated addresses.
- * REFACTOR: TxReceipt should be returned only once the tx is mined, and all its fields should be required.
- * We should not be using a TxReceipt to answer a query for a pending or dropped tx.
- */ export class TxReceipt {
+ * Common surface shared by every transaction receipt variant ({@link PendingTxReceipt}, {@link DroppedTxReceipt},
+ * {@link MinedTxReceipt}).
+ *
+ * Every cross-variant field is declared once here, optional except for `txHash` (always present) and `status`
+ * (abstract, narrowed by each subclass). Declaring the fields optional on the base lets callers read a bare
+ * {@link TxReceipt} union (without first narrowing) and keep compiling. Use the `is*` guards to narrow to the strong
+ * variant type and gain access to its required fields.
+ */ class TxReceiptBase {
     txHash;
-    status;
-    executionResult;
-    error;
-    transactionFee;
-    blockHash;
-    blockNumber;
-    constructor(/** A unique identifier for a transaction. */ txHash, /** The transaction's block finalization status. */ status, /** The execution result of the transaction, only set when tx is in a block. */ executionResult, /** Description of transaction error, if any. */ error, /** The transaction fee paid for the transaction. */ transactionFee, /** The hash of the block containing the transaction. */ blockHash, /** The block number in which the transaction was included. */ blockNumber){
+    /** Description of the transaction error, if any. */ error;
+    constructor(/** A unique identifier for a transaction. */ txHash){
         this.txHash = txHash;
-        this.status = status;
-        this.executionResult = executionResult;
-        this.error = error;
-        this.transactionFee = transactionFee;
-        this.blockHash = blockHash;
-        this.blockNumber = blockNumber;
+    }
+    /** Returns true (and narrows) if the transaction has been included in a block. */ isMined() {
+        return this instanceof MinedTxReceipt;
+    }
+    /** Returns true (and narrows) if the transaction is pending. */ isPending() {
+        return this instanceof PendingTxReceipt;
+    }
+    /** Returns true (and narrows) if the transaction was dropped. */ isDropped() {
+        return this instanceof DroppedTxReceipt;
     }
     /** Returns true if the transaction was executed successfully. */ hasExecutionSucceeded() {
-        return this.executionResult === "success";
+        return false;
     }
     /** Returns true if the transaction execution reverted. */ hasExecutionReverted() {
-        return this.executionResult !== undefined && this.executionResult !== "success";
+        return false;
+    }
+}
+class UnminedTxReceipt extends TxReceiptBase {
+    executionResult = undefined;
+    transactionFee = undefined;
+    blockHash = undefined;
+    blockNumber = undefined;
+    slotNumber = undefined;
+    txIndexInBlock = undefined;
+    epochNumber = undefined;
+    txEffect = undefined;
+}
+/**
+ * Receipt for a transaction that is in the mempool but not yet included in a block.
+ */ export class PendingTxReceipt extends UnminedTxReceipt {
+    tx;
+    status;
+    constructor(txHash, /** The pending transaction, attached when requested via `includePendingTx`. */ tx){
+        super(txHash), this.tx = tx, this.status = "pending";
+    }
+    static empty() {
+        return new PendingTxReceipt(TxHash.zero(), undefined);
     }
-    /** Returns true if the transaction has been included in a block (proposed, checkpointed, proven, or finalized). */ isMined() {
-        return this.status === "proposed" || this.status === "checkpointed" || this.status === "proven" || this.status === "finalized";
+    static from(fields) {
+        return new PendingTxReceipt(fields.txHash, fields.tx);
     }
-    /** Returns true if the transaction is pending. */ isPending() {
-        return this.status === "pending";
+    static get schema() {
+        return z.object({
+            txHash: TxHash.schema,
+            status: z.literal("pending"),
+            tx: Tx.schema.optional()
+        }).transform((fields)=>PendingTxReceipt.from({
+                tx: undefined,
+                ...fields
+            }));
     }
-    /** Returns true if the transaction was dropped. */ isDropped() {
-        return this.status === "dropped";
+}
+/**
+ * Receipt for a transaction that was dropped from the mempool without being mined.
+ */ export class DroppedTxReceipt extends UnminedTxReceipt {
+    error;
+    status;
+    tx;
+    constructor(txHash, error){
+        super(txHash), this.error = error, this.status = "dropped", this.tx = undefined;
     }
     static empty() {
-        return new TxReceipt(TxHash.zero(), "dropped", undefined, undefined);
+        return new DroppedTxReceipt(TxHash.zero());
+    }
+    static from(fields) {
+        return new DroppedTxReceipt(fields.txHash, fields.error);
     }
     static get schema() {
         return z.object({
             txHash: TxHash.schema,
-            status: z.nativeEnum(TxStatus),
-            executionResult: z.nativeEnum(TxExecutionResult).optional(),
-            error: z.string().optional(),
-            blockHash: BlockHash.schema.optional(),
-            blockNumber: BlockNumberSchema.optional(),
-            transactionFee: schemas.BigInt.optional()
-        }).transform((fields)=>TxReceipt.from(fields));
+            status: z.literal("dropped"),
+            error: z.string().optional()
+        }).transform(DroppedTxReceipt.from);
+    }
+}
+/**
+ * Receipt for a transaction that has been included in a block (proposed, checkpointed, proven, or finalized).
+ * All block-related fields are required for this variant.
+ */ export class MinedTxReceipt extends TxReceiptBase {
+    executionResult;
+    transactionFee;
+    blockHash;
+    blockNumber;
+    slotNumber;
+    txIndexInBlock;
+    epochNumber;
+    txEffect;
+    debugLogs;
+    status;
+    tx;
+    constructor(txHash, status, executionResult, transactionFee, blockHash, blockNumber, slotNumber, txIndexInBlock, epochNumber, txEffect, debugLogs){
+        super(txHash), this.executionResult = executionResult, this.transactionFee = transactionFee, this.blockHash = blockHash, this.blockNumber = blockNumber, this.slotNumber = slotNumber, this.txIndexInBlock = txIndexInBlock, this.epochNumber = epochNumber, this.txEffect = txEffect, this.debugLogs = debugLogs, this.tx = undefined;
+        this.status = status;
+    }
+    hasExecutionSucceeded() {
+        return this.executionResult === "success";
+    }
+    hasExecutionReverted() {
+        return this.executionResult !== "success";
     }
     static from(fields) {
-        return new TxReceipt(fields.txHash, fields.status, fields.executionResult, fields.error, fields.transactionFee, fields.blockHash, fields.blockNumber);
+        return new MinedTxReceipt(fields.txHash, fields.status, fields.executionResult, fields.transactionFee, fields.blockHash, fields.blockNumber, fields.slotNumber, fields.txIndexInBlock, fields.epochNumber, fields.txEffect, fields.debugLogs);
+    }
+    static get schema() {
+        return z.object({
+            txHash: TxHash.schema,
+            status: z.enum([
+                "proposed",
+                "checkpointed",
+                "proven",
+                "finalized"
+            ]),
+            executionResult: z.nativeEnum(TxExecutionResult),
+            transactionFee: schemas.BigInt,
+            blockHash: BlockHash.schema,
+            blockNumber: BlockNumberSchema,
+            slotNumber: SlotNumberSchema,
+            txIndexInBlock: schemas.Integer,
+            epochNumber: EpochNumberSchema,
+            txEffect: TxEffect.schema.optional(),
+            debugLogs: z.array(DebugLog.schema).optional()
+        }).transform((fields)=>MinedTxReceipt.from({
+                txEffect: undefined,
+                ...fields
+            }));
     }
     static executionResultFromRevertCode(revertCode) {
-        if (revertCode.equals(RevertCode.OK)) {
-            return "success";
-        } else if (revertCode.equals(RevertCode.APP_LOGIC_REVERTED)) {
-            return "app_logic_reverted";
-        } else if (revertCode.equals(RevertCode.TEARDOWN_REVERTED)) {
-            return "teardown_reverted";
-        } else if (revertCode.equals(RevertCode.BOTH_REVERTED)) {
-            return "both_reverted";
-        } else {
-            throw new Error(`Unknown revert code: ${revertCode.getCode()}`);
-        }
+        return revertCode.isOK() ? "success" : "reverted";
     }
 }
+/**
+ * Zod schema for {@link TxReceipt}. Each member constrains its `status` field so the union routes
+ * unambiguously, giving a deterministic serialization round-trip.
+ */ export const TxReceiptSchema = z.union([
+    PendingTxReceipt.schema,
+    DroppedTxReceipt.schema,
+    MinedTxReceipt.schema
+]);
+/** Zod schema for {@link GetTxReceiptOptions}. */ export const GetTxReceiptOptionsSchema = z.object({
+    includeTxEffect: z.boolean().optional(),
+    includePendingTx: z.boolean().optional(),
+    includeProof: z.boolean().optional()
+});

package/dest/tx/tx_request.js

@@ -1,4 +1,4 @@
-import { GeneratorIndex, TX_REQUEST_LENGTH } from '@aztec/constants';
+import { DomainSeparator, TX_REQUEST_LENGTH } from '@aztec/constants';
 import { poseidon2HashWithSeparator } from '@aztec/foundation/crypto/poseidon';
 import { Fr } from '@aztec/foundation/curves/bn254';
 import { BufferReader, serializeToBuffer, serializeToFields } from '@aztec/foundation/serialize';
@@ -58,7 +58,7 @@ import { TxContext } from './tx_context.js';
         return new TxRequest(reader.readObject(AztecAddress), Fr.fromBuffer(reader), reader.readObject(TxContext), reader.readObject(FunctionData), Fr.fromBuffer(reader));
     }
     hash() {
-        return poseidon2HashWithSeparator(this.toFields(), GeneratorIndex.TX_REQUEST);
+        return poseidon2HashWithSeparator(this.toFields(), DomainSeparator.TX_REQUEST);
     }
     static empty() {
         return new TxRequest(AztecAddress.ZERO, Fr.zero(), TxContext.empty(), FunctionData.empty(), Fr.zero());

package/dest/tx/validator/empty_validator.d.ts

@@ -1,5 +1,5 @@
 import type { AnyTx, TxValidationResult, TxValidator } from './tx_validator.js';
-export declare class EmptyTxValidator<T extends AnyTx = AnyTx> implements TxValidator<T> {
+export declare class EmptyTxValidator<T = AnyTx> implements TxValidator<T> {
     validateTx(_tx: T): Promise<TxValidationResult>;
 }
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiZW1wdHlfdmFsaWRhdG9yLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi8uLi9zcmMvdHgvdmFsaWRhdG9yL2VtcHR5X3ZhbGlkYXRvci50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxPQUFPLEtBQUssRUFBRSxLQUFLLEVBQUUsa0JBQWtCLEVBQUUsV0FBVyxFQUFFLE1BQU0sbUJBQW1CLENBQUM7QUFFaEYscUJBQWEsZ0JBQWdCLENBQUMsQ0FBQyxTQUFTLEtBQUssR0FBRyxLQUFLLENBQUUsWUFBVyxXQUFXLENBQUMsQ0FBQyxDQUFDO0lBQ3ZFLFVBQVUsQ0FBQyxHQUFHLEVBQUUsQ0FBQyxHQUFHLE9BQU8sQ0FBQyxrQkFBa0IsQ0FBQyxDQUVyRDtDQUNGIn0=
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiZW1wdHlfdmFsaWRhdG9yLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi8uLi9zcmMvdHgvdmFsaWRhdG9yL2VtcHR5X3ZhbGlkYXRvci50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxPQUFPLEtBQUssRUFBRSxLQUFLLEVBQUUsa0JBQWtCLEVBQUUsV0FBVyxFQUFFLE1BQU0sbUJBQW1CLENBQUM7QUFFaEYscUJBQWEsZ0JBQWdCLENBQUMsQ0FBQyxHQUFHLEtBQUssQ0FBRSxZQUFXLFdBQVcsQ0FBQyxDQUFDLENBQUM7SUFDekQsVUFBVSxDQUFDLEdBQUcsRUFBRSxDQUFDLEdBQUcsT0FBTyxDQUFDLGtCQUFrQixDQUFDLENBRXJEO0NBQ0YifQ==

package/dest/tx/validator/empty_validator.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"empty_validator.d.ts","sourceRoot":"","sources":["../../../src/tx/validator/empty_validator.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,kBAAkB,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAEhF,qBAAa,gBAAgB,CAAC,CAAC,SAAS,KAAK,GAAG,KAAK,CAAE,YAAW,WAAW,CAAC,CAAC,CAAC;IACvE,UAAU,CAAC,GAAG,EAAE,CAAC,GAAG,OAAO,CAAC,kBAAkB,CAAC,CAErD;CACF"}
+{"version":3,"file":"empty_validator.d.ts","sourceRoot":"","sources":["../../../src/tx/validator/empty_validator.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,kBAAkB,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAEhF,qBAAa,gBAAgB,CAAC,CAAC,GAAG,KAAK,CAAE,YAAW,WAAW,CAAC,CAAC,CAAC;IACzD,UAAU,CAAC,GAAG,EAAE,CAAC,GAAG,OAAO,CAAC,kBAAkB,CAAC,CAErD;CACF"}

package/dest/tx/validator/error_texts.d.ts

@@ -3,9 +3,13 @@ export declare const TX_ERROR_INSUFFICIENT_FEE_PAYER_BALANCE = "Insufficient fee
 export declare const TX_ERROR_INSUFFICIENT_GAS_LIMIT = "Gas limit is below the minimum fixed cost";
 export declare const TX_ERROR_GAS_LIMIT_TOO_HIGH = "Gas limit is higher than the amount of gas that the AVM can process";
 export declare const TX_ERROR_SETUP_FUNCTION_NOT_ALLOWED = "Setup function not on allow list";
+export declare const TX_ERROR_SETUP_FUNCTION_UNKNOWN_CONTRACT = "Setup function targets unknown contract";
+export declare const TX_ERROR_SETUP_ONLY_SELF_WRONG_SENDER = "Setup only_self function called with incorrect msg_sender";
+export declare const TX_ERROR_SETUP_NULL_MSG_SENDER = "Setup function called with null msg sender";
+export declare const TX_ERROR_SETUP_WRONG_CALLDATA_LENGTH = "Setup function called with wrong calldata length";
 export declare const TX_ERROR_DUPLICATE_NULLIFIER_IN_TX = "Duplicate nullifier in tx";
 export declare const TX_ERROR_EXISTING_NULLIFIER = "Existing nullifier";
-export declare const TX_ERROR_INVALID_INCLUDE_BY_TIMESTAMP = "Invalid expiration timestamp";
+export declare const TX_ERROR_INVALID_EXPIRATION_TIMESTAMP = "Invalid expiration timestamp";
 export declare const TX_ERROR_INCORRECT_L1_CHAIN_ID = "Incorrect L1 chain id";
 export declare const TX_ERROR_INCORRECT_ROLLUP_VERSION = "Incorrect rollup version";
 export declare const TX_ERROR_INCORRECT_VK_TREE_ROOT = "Incorrect verification keys tree root";
@@ -21,5 +25,9 @@ export declare const TX_ERROR_CONTRACT_CLASS_LOG_SORTING = "Incorrectly sorted c
 export declare const TX_ERROR_INCORRECT_HASH = "Incorrect tx hash";
 export declare const TX_ERROR_SIZE_ABOVE_LIMIT = "Transaction size above size limit";
 export declare const TX_ERROR_BLOCK_HEADER = "Block header not found";
+export declare const TX_ERROR_INCORRECT_CONTRACT_ADDRESS = "Incorrect contract instance deployment address";
+export declare const TX_ERROR_MALFORMED_CONTRACT_INSTANCE_LOG = "Failed to parse contract instance deployment log";
+export declare const TX_ERROR_INCORRECT_CONTRACT_CLASS_ID = "Incorrect contract class id";
+export declare const TX_ERROR_MALFORMED_CONTRACT_CLASS_LOG = "Failed to parse contract class registration log";
 export declare const TX_ERROR_DURING_VALIDATION = "Unexpected error during validation";
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiZXJyb3JfdGV4dHMuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy90eC92YWxpZGF0b3IvZXJyb3JfdGV4dHMudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQ0EsZUFBTyxNQUFNLGlDQUFpQyw2QkFBNkIsQ0FBQztBQUM1RSxlQUFPLE1BQU0sdUNBQXVDLG1DQUFtQyxDQUFDO0FBQ3hGLGVBQU8sTUFBTSwrQkFBK0IsOENBQThDLENBQUM7QUFDM0YsZUFBTyxNQUFNLDJCQUEyQix3RUFBd0UsQ0FBQztBQUdqSCxlQUFPLE1BQU0sbUNBQW1DLHFDQUFxQyxDQUFDO0FBR3RGLGVBQU8sTUFBTSxrQ0FBa0MsOEJBQThCLENBQUM7QUFDOUUsZUFBTyxNQUFNLDJCQUEyQix1QkFBdUIsQ0FBQztBQUdoRSxlQUFPLE1BQU0scUNBQXFDLGlDQUFpQyxDQUFDO0FBQ3BGLGVBQU8sTUFBTSw4QkFBOEIsMEJBQTBCLENBQUM7QUFDdEUsZUFBTyxNQUFNLGlDQUFpQyw2QkFBNkIsQ0FBQztBQUM1RSxlQUFPLE1BQU0sK0JBQStCLDBDQUEwQyxDQUFDO0FBQ3ZGLGVBQU8sTUFBTSwwQ0FBMEMsc0NBQXNDLENBQUM7QUFHOUYsZUFBTyxNQUFNLHNCQUFzQixrQkFBa0IsQ0FBQztBQUd0RCxlQUFPLE1BQU0sMkJBQTJCLHVDQUF1QyxDQUFDO0FBQ2hGLGVBQU8sTUFBTSxnQ0FBZ0MsOENBQThDLENBQUM7QUFDNUYsZUFBTyxNQUFNLGlDQUFpQyx1REFBdUQsQ0FBQztBQUN0RyxlQUFPLE1BQU0saUNBQWlDLDZDQUE2QyxDQUFDO0FBQzVGLGVBQU8sTUFBTSxrQ0FBa0MseUNBQXlDLENBQUM7QUFDekYsZUFBTyxNQUFNLDRCQUE0QixtQ0FBbUMsQ0FBQztBQUM3RSxlQUFPLE1BQU0sbUNBQW1DLDJDQUEyQyxDQUFDO0FBQzVGLGVBQU8sTUFBTSx1QkFBdUIsc0JBQXNCLENBQUM7QUFHM0QsZUFBTyxNQUFNLHlCQUF5QixzQ0FBc0MsQ0FBQztBQUc3RSxlQUFPLE1BQU0scUJBQXFCLDJCQUEyQixDQUFDO0FBRzlELGVBQU8sTUFBTSwwQkFBMEIsdUNBQXVDLENBQUMifQ==
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiZXJyb3JfdGV4dHMuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy90eC92YWxpZGF0b3IvZXJyb3JfdGV4dHMudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQ0EsZUFBTyxNQUFNLGlDQUFpQyw2QkFBNkIsQ0FBQztBQUM1RSxlQUFPLE1BQU0sdUNBQXVDLG1DQUFtQyxDQUFDO0FBQ3hGLGVBQU8sTUFBTSwrQkFBK0IsOENBQThDLENBQUM7QUFDM0YsZUFBTyxNQUFNLDJCQUEyQix3RUFBd0UsQ0FBQztBQUdqSCxlQUFPLE1BQU0sbUNBQW1DLHFDQUFxQyxDQUFDO0FBQ3RGLGVBQU8sTUFBTSx3Q0FBd0MsNENBQTRDLENBQUM7QUFDbEcsZUFBTyxNQUFNLHFDQUFxQyw4REFBOEQsQ0FBQztBQUNqSCxlQUFPLE1BQU0sOEJBQThCLCtDQUErQyxDQUFDO0FBQzNGLGVBQU8sTUFBTSxvQ0FBb0MscURBQXFELENBQUM7QUFHdkcsZUFBTyxNQUFNLGtDQUFrQyw4QkFBOEIsQ0FBQztBQUM5RSxlQUFPLE1BQU0sMkJBQTJCLHVCQUF1QixDQUFDO0FBR2hFLGVBQU8sTUFBTSxxQ0FBcUMsaUNBQWlDLENBQUM7QUFDcEYsZUFBTyxNQUFNLDhCQUE4QiwwQkFBMEIsQ0FBQztBQUN0RSxlQUFPLE1BQU0saUNBQWlDLDZCQUE2QixDQUFDO0FBQzVFLGVBQU8sTUFBTSwrQkFBK0IsMENBQTBDLENBQUM7QUFDdkYsZUFBTyxNQUFNLDBDQUEwQyxzQ0FBc0MsQ0FBQztBQUc5RixlQUFPLE1BQU0sc0JBQXNCLGtCQUFrQixDQUFDO0FBR3RELGVBQU8sTUFBTSwyQkFBMkIsdUNBQXVDLENBQUM7QUFDaEYsZUFBTyxNQUFNLGdDQUFnQyw4Q0FBOEMsQ0FBQztBQUM1RixlQUFPLE1BQU0saUNBQWlDLHVEQUF1RCxDQUFDO0FBQ3RHLGVBQU8sTUFBTSxpQ0FBaUMsNkNBQTZDLENBQUM7QUFDNUYsZUFBTyxNQUFNLGtDQUFrQyx5Q0FBeUMsQ0FBQztBQUN6RixlQUFPLE1BQU0sNEJBQTRCLG1DQUFtQyxDQUFDO0FBQzdFLGVBQU8sTUFBTSxtQ0FBbUMsMkNBQTJDLENBQUM7QUFDNUYsZUFBTyxNQUFNLHVCQUF1QixzQkFBc0IsQ0FBQztBQUczRCxlQUFPLE1BQU0seUJBQXlCLHNDQUFzQyxDQUFDO0FBRzdFLGVBQU8sTUFBTSxxQkFBcUIsMkJBQTJCLENBQUM7QUFHOUQsZUFBTyxNQUFNLG1DQUFtQyxtREFBbUQsQ0FBQztBQUNwRyxlQUFPLE1BQU0sd0NBQXdDLHFEQUFxRCxDQUFDO0FBRzNHLGVBQU8sTUFBTSxvQ0FBb0MsZ0NBQWdDLENBQUM7QUFDbEYsZUFBTyxNQUFNLHFDQUFxQyxvREFBb0QsQ0FBQztBQUd2RyxlQUFPLE1BQU0sMEJBQTBCLHVDQUF1QyxDQUFDIn0=

package/dest/tx/validator/error_texts.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"error_texts.d.ts","sourceRoot":"","sources":["../../../src/tx/validator/error_texts.ts"],"names":[],"mappings":"AACA,eAAO,MAAM,iCAAiC,6BAA6B,CAAC;AAC5E,eAAO,MAAM,uCAAuC,mCAAmC,CAAC;AACxF,eAAO,MAAM,+BAA+B,8CAA8C,CAAC;AAC3F,eAAO,MAAM,2BAA2B,wEAAwE,CAAC;AAGjH,eAAO,MAAM,mCAAmC,qCAAqC,CAAC;AAGtF,eAAO,MAAM,kCAAkC,8BAA8B,CAAC;AAC9E,eAAO,MAAM,2BAA2B,uBAAuB,CAAC;AAGhE,eAAO,MAAM,qCAAqC,iCAAiC,CAAC;AACpF,eAAO,MAAM,8BAA8B,0BAA0B,CAAC;AACtE,eAAO,MAAM,iCAAiC,6BAA6B,CAAC;AAC5E,eAAO,MAAM,+BAA+B,0CAA0C,CAAC;AACvF,eAAO,MAAM,0CAA0C,sCAAsC,CAAC;AAG9F,eAAO,MAAM,sBAAsB,kBAAkB,CAAC;AAGtD,eAAO,MAAM,2BAA2B,uCAAuC,CAAC;AAChF,eAAO,MAAM,gCAAgC,8CAA8C,CAAC;AAC5F,eAAO,MAAM,iCAAiC,uDAAuD,CAAC;AACtG,eAAO,MAAM,iCAAiC,6CAA6C,CAAC;AAC5F,eAAO,MAAM,kCAAkC,yCAAyC,CAAC;AACzF,eAAO,MAAM,4BAA4B,mCAAmC,CAAC;AAC7E,eAAO,MAAM,mCAAmC,2CAA2C,CAAC;AAC5F,eAAO,MAAM,uBAAuB,sBAAsB,CAAC;AAG3D,eAAO,MAAM,yBAAyB,sCAAsC,CAAC;AAG7E,eAAO,MAAM,qBAAqB,2BAA2B,CAAC;AAG9D,eAAO,MAAM,0BAA0B,uCAAuC,CAAC"}
+{"version":3,"file":"error_texts.d.ts","sourceRoot":"","sources":["../../../src/tx/validator/error_texts.ts"],"names":[],"mappings":"AACA,eAAO,MAAM,iCAAiC,6BAA6B,CAAC;AAC5E,eAAO,MAAM,uCAAuC,mCAAmC,CAAC;AACxF,eAAO,MAAM,+BAA+B,8CAA8C,CAAC;AAC3F,eAAO,MAAM,2BAA2B,wEAAwE,CAAC;AAGjH,eAAO,MAAM,mCAAmC,qCAAqC,CAAC;AACtF,eAAO,MAAM,wCAAwC,4CAA4C,CAAC;AAClG,eAAO,MAAM,qCAAqC,8DAA8D,CAAC;AACjH,eAAO,MAAM,8BAA8B,+CAA+C,CAAC;AAC3F,eAAO,MAAM,oCAAoC,qDAAqD,CAAC;AAGvG,eAAO,MAAM,kCAAkC,8BAA8B,CAAC;AAC9E,eAAO,MAAM,2BAA2B,uBAAuB,CAAC;AAGhE,eAAO,MAAM,qCAAqC,iCAAiC,CAAC;AACpF,eAAO,MAAM,8BAA8B,0BAA0B,CAAC;AACtE,eAAO,MAAM,iCAAiC,6BAA6B,CAAC;AAC5E,eAAO,MAAM,+BAA+B,0CAA0C,CAAC;AACvF,eAAO,MAAM,0CAA0C,sCAAsC,CAAC;AAG9F,eAAO,MAAM,sBAAsB,kBAAkB,CAAC;AAGtD,eAAO,MAAM,2BAA2B,uCAAuC,CAAC;AAChF,eAAO,MAAM,gCAAgC,8CAA8C,CAAC;AAC5F,eAAO,MAAM,iCAAiC,uDAAuD,CAAC;AACtG,eAAO,MAAM,iCAAiC,6CAA6C,CAAC;AAC5F,eAAO,MAAM,kCAAkC,yCAAyC,CAAC;AACzF,eAAO,MAAM,4BAA4B,mCAAmC,CAAC;AAC7E,eAAO,MAAM,mCAAmC,2CAA2C,CAAC;AAC5F,eAAO,MAAM,uBAAuB,sBAAsB,CAAC;AAG3D,eAAO,MAAM,yBAAyB,sCAAsC,CAAC;AAG7E,eAAO,MAAM,qBAAqB,2BAA2B,CAAC;AAG9D,eAAO,MAAM,mCAAmC,mDAAmD,CAAC;AACpG,eAAO,MAAM,wCAAwC,qDAAqD,CAAC;AAG3G,eAAO,MAAM,oCAAoC,gCAAgC,CAAC;AAClF,eAAO,MAAM,qCAAqC,oDAAoD,CAAC;AAGvG,eAAO,MAAM,0BAA0B,uCAAuC,CAAC"}

package/dest/tx/validator/error_texts.js

@@ -5,11 +5,15 @@ export const TX_ERROR_INSUFFICIENT_GAS_LIMIT = 'Gas limit is below the minimum f
 export const TX_ERROR_GAS_LIMIT_TOO_HIGH = 'Gas limit is higher than the amount of gas that the AVM can process';
 // Phases
 export const TX_ERROR_SETUP_FUNCTION_NOT_ALLOWED = 'Setup function not on allow list';
+export const TX_ERROR_SETUP_FUNCTION_UNKNOWN_CONTRACT = 'Setup function targets unknown contract';
+export const TX_ERROR_SETUP_ONLY_SELF_WRONG_SENDER = 'Setup only_self function called with incorrect msg_sender';
+export const TX_ERROR_SETUP_NULL_MSG_SENDER = 'Setup function called with null msg sender';
+export const TX_ERROR_SETUP_WRONG_CALLDATA_LENGTH = 'Setup function called with wrong calldata length';
 // Nullifiers
 export const TX_ERROR_DUPLICATE_NULLIFIER_IN_TX = 'Duplicate nullifier in tx';
 export const TX_ERROR_EXISTING_NULLIFIER = 'Existing nullifier';
 // Metadata
-export const TX_ERROR_INVALID_INCLUDE_BY_TIMESTAMP = 'Invalid expiration timestamp';
+export const TX_ERROR_INVALID_EXPIRATION_TIMESTAMP = 'Invalid expiration timestamp';
 export const TX_ERROR_INCORRECT_L1_CHAIN_ID = 'Incorrect L1 chain id';
 export const TX_ERROR_INCORRECT_ROLLUP_VERSION = 'Incorrect rollup version';
 export const TX_ERROR_INCORRECT_VK_TREE_ROOT = 'Incorrect verification keys tree root';
@@ -29,5 +33,11 @@ export const TX_ERROR_INCORRECT_HASH = 'Incorrect tx hash';
 export const TX_ERROR_SIZE_ABOVE_LIMIT = 'Transaction size above size limit';
 // Block header
 export const TX_ERROR_BLOCK_HEADER = 'Block header not found';
+// Contract instance
+export const TX_ERROR_INCORRECT_CONTRACT_ADDRESS = 'Incorrect contract instance deployment address';
+export const TX_ERROR_MALFORMED_CONTRACT_INSTANCE_LOG = 'Failed to parse contract instance deployment log';
+// Contract class
+export const TX_ERROR_INCORRECT_CONTRACT_CLASS_ID = 'Incorrect contract class id';
+export const TX_ERROR_MALFORMED_CONTRACT_CLASS_LOG = 'Failed to parse contract class registration log';
 // General
 export const TX_ERROR_DURING_VALIDATION = 'Unexpected error during validation';