@aztec/pxe 5.3.0-nightly.20260924 → 5.3.0-rc.1

package/dest/pxe.d.ts

@@ -58,6 +58,18 @@ export type SimulateTxOpts = {
     /** Sender address used to derive discovery tags for private messages (notes, events, logs) this tx emits. */
     senderForTags?: AztecAddress;
 };
+/** Options for PXE.simulateAndProveTx. */
+export type SimulateAndProveTxOpts = SimulateTxOpts & {
+    /**
+     * Returns the request to prove and its options, given the simulation's result. Runs inside the operation: other PXE
+     * operations wait for it to return, and it must not call the PXE itself, since that call would wait for this
+     * operation to end.
+     */
+    prepareProve: (simulationResult: TxSimulationResult) => Promise<{
+        proveTxRequest: TxExecutionRequest;
+        proveOpts: ProveTxOpts;
+    }>;
+};
 /** Options for PXE.executeUtility. */
 export type ExecuteUtilityOpts = {
     /** The authentication witnesses required for the function call. */
@@ -336,7 +348,20 @@ export declare class PXE {
      *
      * TODO(#7456) Prevent msgSender being defined here for the first call
      */
-    simulateTx(txRequest: TxExecutionRequest, { simulatePublic, skipTxValidation, skipFeeEnforcement, skipKernels, overrides, scopes, senderForTags }: SimulateTxOpts): Promise<TxSimulationResult>;
+    simulateTx(txRequest: TxExecutionRequest, opts: SimulateTxOpts): Promise<TxSimulationResult>;
+    /**
+     * Combination of `simulateTx` and `proveTx`: a simulation is executed, its results inspected to produce a provable
+     * transaction, followed by witness generation and proof.
+     *
+     * The entire sequence runs as a single atomic PXE operation, with no private state sync between simulation and
+     * witness generation, resulting in them running over identical environments (e.g. the note store, tagging indices,
+     * etc.).
+     *
+     * The simulation result is passed to a `prepareProve` callback, which then returns the input to the equivalent
+     * `proveTx` call. Due to the atomic nature of this function, `prepareProve` must NOT call any PXE function, as that
+     * would result in a deadlock.
+     */
+    simulateAndProveTx(simulationTxRequest: TxExecutionRequest, { prepareProve, ...simulateOpts }: SimulateAndProveTxOpts): Promise<TxProvingResult>;
     /**
      * Executes a contract utility function.
      * @param call - The function call containing the function details, arguments, and target contract address.
@@ -361,4 +386,4 @@ export declare class PXE {
      */
     stop(): Promise<void>;
 }
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicHhlLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi9zcmMvcHhlLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sS0FBSyxFQUFFLGtCQUFrQixFQUFFLE1BQU0sd0JBQXdCLENBQUM7QUFFakUsT0FBTyxFQUFFLEVBQUUsRUFBRSxNQUFNLGdDQUFnQyxDQUFDO0FBQ3BELE9BQU8sRUFBRSxLQUFLLEVBQUUsTUFBTSxtQ0FBbUMsQ0FBQztBQUMxRCxPQUFPLEVBQUUsS0FBSyxNQUFNLEVBQXFDLE1BQU0sdUJBQXVCLENBQUM7QUFJdkYsT0FBTyxLQUFLLEVBQUUsa0JBQWtCLEVBQUUsd0JBQXdCLEVBQUUsTUFBTSxrQkFBa0IsQ0FBQztBQUNyRixPQUFPLEtBQUssRUFBRSxpQkFBaUIsRUFBRSxNQUFNLGlCQUFpQixDQUFDO0FBQ3pELE9BQU8sRUFBRSxLQUFLLHlCQUF5QixFQUF5QixNQUFNLDJCQUEyQixDQUFDO0FBQ2xHLE9BQU8sS0FBSyxFQUFFLGdCQUFnQixFQUFFLE1BQU0seUJBQXlCLENBQUM7QUFDaEUsT0FBTyxFQUNMLEtBQUssZ0JBQWdCLEVBQ3JCLGFBQWEsRUFDYixZQUFZLEVBSWIsTUFBTSxtQkFBbUIsQ0FBQztBQUMzQixPQUFPLEtBQUssRUFBRSxXQUFXLEVBQUUsTUFBTSw0QkFBNEIsQ0FBQztBQUM5RCxPQUFPLEtBQUssRUFBRSxZQUFZLEVBQUUsTUFBTSw2QkFBNkIsQ0FBQztBQUVoRSxPQUFPLEVBQ0wsZUFBZSxFQUNmLEtBQUssd0JBQXdCLEVBQzdCLEtBQUssbUNBQW1DLEVBQ3hDLEtBQUssMkJBQTJCLEVBQ2hDLEtBQUssY0FBYyxFQUVwQixNQUFNLHdCQUF3QixDQUFDO0FBRWhDLE9BQU8sS0FBSyxFQUFFLFNBQVMsRUFBRSxjQUFjLEVBQUUsbUJBQW1CLEVBQUUsTUFBTSxpQ0FBaUMsQ0FBQztBQVF0RyxPQUFPLEVBQ0wsV0FBVyxFQUVYLEtBQUssSUFBSSxFQUtULG1CQUFtQixFQUduQixrQkFBa0IsRUFDbEIsZUFBZSxFQUNmLGVBQWUsRUFDZixrQkFBa0IsRUFDbEIsc0JBQXNCLEVBQ3ZCLE1BQU0sa0JBQWtCLENBQUM7QUFLMUIsT0FBTyxLQUFLLEVBQUUsU0FBUyxFQUFFLE1BQU0sbUJBQW1CLENBQUM7QUFRbkQsT0FBTyxFQUFFLGFBQWEsRUFBRSxNQUFNLDRCQUE0QixDQUFDO0FBRzNELE9BQU8sS0FBSyxFQUFFLGNBQWMsRUFBRSxNQUFNLGtCQUFrQixDQUFDO0FBMEJ2RCxNQUFNLE1BQU0sa0JBQWtCLEdBQUcsSUFBSSxHQUFHO0lBQ3RDLFdBQVcsRUFBRSxFQUFFLEVBQUUsQ0FBQztJQUNsQixhQUFhLEVBQUUsYUFBYSxDQUFDO0NBQzlCLENBQUM7QUFFRiwrQkFBK0I7QUFDL0IsTUFBTSxNQUFNLFdBQVcsR0FBRztJQUN4QixzRkFBc0Y7SUFDdEYsTUFBTSxFQUFFLFlBQVksRUFBRSxDQUFDO0lBQ3ZCLDZHQUE2RztJQUM3RyxhQUFhLENBQUMsRUFBRSxZQUFZLENBQUM7Q0FDOUIsQ0FBQztBQUVGLGlDQUFpQztBQUNqQyxNQUFNLE1BQU0sYUFBYSxHQUFHO0lBQzFCLGlDQUFpQztJQUNqQyxXQUFXLEVBQUUsTUFBTSxHQUFHLGlCQUFpQixHQUFHLE9BQU8sQ0FBQztJQUNsRCwrRUFBK0U7SUFDL0UsbUJBQW1CLENBQUMsRUFBRSxPQUFPLENBQUM7SUFDOUIsc0ZBQXNGO0lBQ3RGLE1BQU0sRUFBRSxZQUFZLEVBQUUsQ0FBQztJQUN2Qiw2R0FBNkc7SUFDN0csYUFBYSxDQUFDLEVBQUUsWUFBWSxDQUFDO0NBQzlCLENBQUM7QUFFRixrQ0FBa0M7QUFDbEMsTUFBTSxNQUFNLGNBQWMsR0FBRztJQUMzQiw4REFBOEQ7SUFDOUQsY0FBYyxFQUFFLE9BQU8sQ0FBQztJQUN4QixrSEFBa0g7SUFDbEgsZ0JBQWdCLENBQUMsRUFBRSxPQUFPLENBQUM7SUFDM0IsbUNBQW1DO0lBQ25DLGtCQUFrQixDQUFDLEVBQUUsT0FBTyxDQUFDO0lBQzdCLDZEQUE2RDtJQUM3RCxXQUFXLENBQUMsRUFBRSxPQUFPLENBQUM7SUFDdEI7Ozs7T0FJRztJQUNILFNBQVMsQ0FBQyxFQUFFLG1CQUFtQixDQUFDO0lBQ2hDLHFGQUFxRjtJQUNyRixNQUFNLEVBQUUsWUFBWSxFQUFFLENBQUM7SUFDdkIsNkdBQTZHO0lBQzdHLGFBQWEsQ0FBQyxFQUFFLFlBQVksQ0FBQztDQUM5QixDQUFDO0FBRUYsc0NBQXNDO0FBQ3RDLE1BQU0sTUFBTSxrQkFBa0IsR0FBRztJQUMvQixtRUFBbUU7SUFDbkUsUUFBUSxDQUFDLEVBQUUsV0FBVyxFQUFFLENBQUM7SUFDekIsMERBQTBEO0lBQzFELE1BQU0sRUFBRSxZQUFZLEVBQUUsQ0FBQztDQUN4QixDQUFDO0FBRUY7Ozs7Ozs7OztHQVNHO0FBQ0gsTUFBTSxNQUFNLDBCQUEwQixHQUFHO0lBQ3ZDLHNGQUFzRjtJQUN0RixxQkFBcUIsRUFBRSxNQUFNLE9BQU8sQ0FBQyxLQUFLLENBQUM7UUFBRSxRQUFRLEVBQUUsMkJBQTJCLENBQUM7UUFBQyxRQUFRLEVBQUUsZ0JBQWdCLENBQUE7S0FBRSxDQUFDLENBQUMsQ0FBQztDQUNwSCxDQUFDO0FBRUYsMkJBQTJCO0FBQzNCLE1BQU0sTUFBTSxhQUFhLEdBQUc7SUFDMUIsb0NBQW9DO0lBQ3BDLElBQUksRUFBRSxTQUFTLENBQUM7SUFDaEI7OztPQUdHO0lBQ0gsU0FBUyxDQUFDLEVBQUUsY0FBYyxDQUFDO0lBQzNCLG9EQUFvRDtJQUNwRCxLQUFLLEVBQUUsaUJBQWlCLENBQUM7SUFDekIsdURBQXVEO0lBQ3ZELFlBQVksRUFBRSxtQkFBbUIsQ0FBQztJQUNsQyx5REFBeUQ7SUFDekQsU0FBUyxFQUFFLGdCQUFnQixDQUFDO0lBQzVCLDhEQUE4RDtJQUM5RCx5QkFBeUIsRUFBRSx5QkFBeUIsQ0FBQztJQUNyRDs7OztPQUlHO0lBQ0gsMEJBQTBCLEVBQUUsMEJBQTBCLENBQUM7SUFDdkQsaUNBQWlDO0lBQ2pDLE1BQU0sRUFBRSxTQUFTLENBQUM7SUFDbEIscUVBQXFFO0lBQ3JFLGNBQWMsQ0FBQyxFQUFFLE1BQU0sR0FBRyxNQUFNLENBQUM7SUFDakMsa0VBQWtFO0lBQ2xFLEtBQUssQ0FBQyxFQUFFLGNBQWMsQ0FBQztDQUN4QixDQUFDO0FBRUYsMEdBQTBHO0FBQzFHLE1BQU0sTUFBTSxtQkFBbUI7QUFDN0I7Ozs7R0FJRztBQUNEO0lBQUUsSUFBSSxFQUFFLGlCQUFpQixDQUFDO0lBQUMsTUFBTSxFQUFFLFlBQVksQ0FBQTtDQUFFO0FBQ25EOzs7R0FHRztHQUNEO0lBQUUsSUFBSSxFQUFFLGtCQUFrQixDQUFDO0lBQUMsU0FBUyxFQUFFLFlBQVksQ0FBQztJQUFDLE1BQU0sRUFBRSxLQUFLLENBQUE7Q0FBRTtBQUN0RTs7OztHQUlHO0dBQ0Q7SUFBRSxJQUFJLEVBQUUsV0FBVyxDQUFDO0lBQUMsU0FBUyxFQUFFLFlBQVksQ0FBQztJQUFDLEtBQUssRUFBRSxFQUFFLENBQUE7Q0FBRSxDQUFDO0FBRTlEOztHQUVHO0FBQ0gsTUFBTSxNQUFNLDZCQUE2QixHQUNyQyxPQUFPLENBQUMsbUJBQW1CLEVBQUU7SUFBRSxJQUFJLEVBQUUsV0FBVyxDQUFBO0NBQUUsQ0FBQztBQUNyRCx3R0FBd0c7R0FDdEc7SUFBRSxJQUFJLEVBQUUsV0FBVyxDQUFDO0lBQUMsU0FBUyxFQUFFLFlBQVksQ0FBQztJQUFDLE1BQU0sRUFBRSxLQUFLLENBQUE7Q0FBRSxDQUFDO0FBRWxFOzs7R0FHRztBQUNILHFCQUFhLEdBQUc7O0lBRVosT0FBTyxDQUFDLElBQUk7SUFDWixPQUFPLENBQUMsU0FBUztJQUNqQixPQUFPLENBQUMsRUFBRTtJQUNWLE9BQU8sQ0FBQyxzQkFBc0I7SUFDOUIsT0FBTyxDQUFDLFFBQVE7SUFDaEIsT0FBTyxDQUFDLGFBQWE7SUFDckIsT0FBTyxDQUFDLFNBQVM7SUFDakIsT0FBTyxDQUFDLFlBQVk7SUFDcEIsT0FBTyxDQUFDLFNBQVM7SUFDakIsT0FBTyxDQUFDLGdCQUFnQjtJQUN4QixPQUFPLENBQUMsa0JBQWtCO0lBQzFCLE9BQU8sQ0FBQyx5QkFBeUI7SUFDakMsT0FBTyxDQUFDLHFCQUFxQjtJQUM3QixPQUFPLENBQUMsWUFBWTtJQUNwQixPQUFPLENBQUMsaUJBQWlCO0lBQ3pCLE9BQU8sQ0FBQyxtQkFBbUI7SUFDM0IsT0FBTyxDQUFDLG9CQUFvQjtJQUM1QixPQUFPLENBQUMsVUFBVTtJQUNsQixPQUFPLENBQUMsV0FBVztJQUNuQixPQUFPLENBQUMsU0FBUztJQUNqQixPQUFPLENBQUMsYUFBYTtJQUNyQixPQUFPLENBQUMsWUFBWTtJQUNwQixPQUFPLENBQUMseUJBQXlCO0lBQ2pDLE9BQU8sQ0FBQywwQkFBMEI7SUFDbEMsT0FBTyxDQUFDLEdBQUc7SUFDWCxPQUFPLENBQUMsY0FBYztJQUNmLEtBQUssRUFBRSxhQUFhO0lBQzNCLE9BQU8sQ0FBQyxLQUFLO0lBNUJmLE9BQU8sZUE2Qkg7SUFFSjs7Ozs7O09BTUc7SUFDSCxPQUFvQixNQUFNLENBQUMsRUFDekIsSUFBSSxFQUNKLFNBQVMsRUFDVCxLQUFLLEVBQ0wsWUFBWSxFQUNaLFNBQVMsRUFDVCx5QkFBeUIsRUFDekIsMEJBQTBCLEVBQzFCLE1BQU0sRUFDTixjQUFjLEVBQ2QsS0FBSyxFQUNOLEVBQUUsYUFBYSxnQkFrSWY7SUFrUEQ7Ozs7T0FJRztJQUNJLElBQUksSUFBSSxPQUFPLENBQUMsSUFBSSxDQUFDLENBRTNCO0lBRUQ7OztPQUdHO0lBQ0ksb0JBQW9CLElBQUksT0FBTyxDQUFDLFdBQVcsQ0FBQyxDQUlsRDtJQUVEOzs7O09BSUc7SUFDSSxtQkFBbUIsQ0FBQyxPQUFPLEVBQUUsWUFBWSxHQUFHLE9BQU8sQ0FBQyxtQ0FBbUMsR0FBRyxTQUFTLENBQUMsQ0FFMUc7SUFFRDs7OztPQUlHO0lBQ1UsbUJBQW1CLENBQUMsRUFBRSxFQUFFLEVBQUUsR0FBRyxPQUFPLENBQUMsZ0JBQWdCLEdBQUcsU0FBUyxDQUFDLENBRTlFO0lBRUQ7Ozs7Ozs7Ozs7Ozs7T0FhRztJQUNVLGVBQWUsQ0FBQyxJQUFJLEVBQUUsa0JBQWtCLEVBQUUsY0FBYyxFQUFFLGNBQWMsR0FBRyxPQUFPLENBQUMsZUFBZSxDQUFDLENBYS9HO0lBRUQ7Ozs7Ozs7Ozs7Ozs7T0FhRztJQUNJLG9CQUFvQixDQUFDLE9BQU8sRUFBRSxZQUFZLEdBQUcsT0FBTyxDQUFDLHdCQUF3QixDQUFDLENBRXBGO0lBRUQ7Ozs7Ozs7T0FPRztJQUNVLDJCQUEyQixDQUFDLE1BQU0sRUFBRSxtQkFBbUIsR0FBRyxPQUFPLENBQUMsSUFBSSxDQUFDLENBMkJuRjtJQUVEOzs7T0FHRztJQUNVLHlCQUF5QixDQUFDLE1BQU0sRUFBRSw2QkFBNkIsR0FBRyxPQUFPLENBQUMsSUFBSSxDQUFDLENBNEIzRjtJQUVEOzs7T0FHRztJQUNJLHVCQUF1QixDQUFDLENBQUMsU0FBUyw2QkFBNkIsQ0FBQyxNQUFNLENBQUMsRUFBRSxNQUFNLEVBQUU7UUFDdEYsSUFBSSxFQUFFLENBQUMsQ0FBQztLQUNULEdBQUcsT0FBTyxDQUFDLE9BQU8sQ0FBQyw2QkFBNkIsRUFBRTtRQUFFLElBQUksRUFBRSxDQUFDLENBQUE7S0FBRSxDQUFDLEVBQUUsQ0FBQyxDQUFDO0lBQzVELHVCQUF1QixJQUFJLE9BQU8sQ0FBQyw2QkFBNkIsRUFBRSxDQUFDLENBQUM7SUEwRjNFOzs7T0FHRztJQUNVLHFCQUFxQixJQUFJLE9BQU8sQ0FBQyxlQUFlLEVBQUUsQ0FBQyxDQVEvRDtJQUVEOzs7O09BSUc7SUFDVSxxQkFBcUIsQ0FBQyxRQUFRLEVBQUUsZ0JBQWdCLEdBQUcsT0FBTyxDQUFDLElBQUksQ0FBQyxDQVc1RTtJQUVEOzs7Ozs7OztPQVFHO0lBQ0ksZ0JBQWdCLENBQUMsUUFBUSxFQUFFLHdCQUF3QixHQUFHLE9BQU8sQ0FBQyxZQUFZLENBQUMsQ0FRakY7SUFFRDs7O09BR0c7SUFDSSxZQUFZLElBQUksT0FBTyxDQUFDLFlBQVksRUFBRSxDQUFDLENBRTdDO0lBRUQ7Ozs7Ozs7OztPQVNHO0lBQ0ksT0FBTyxDQUFDLFNBQVMsRUFBRSxrQkFBa0IsRUFBRSxFQUFFLE1BQU0sRUFBRSxhQUFhLEVBQUUsRUFBRSxXQUFXLEdBQUcsT0FBTyxDQUFDLGVBQWUsQ0FBQyxDQXNFOUc7SUFFRDs7Ozs7T0FLRztJQUNJLFNBQVMsQ0FDZCxTQUFTLEVBQUUsa0JBQWtCLEVBQzdCLEVBQUUsV0FBVyxFQUFFLG1CQUEwQixFQUFFLE1BQU0sRUFBRSxhQUFhLEVBQUUsRUFBRSxhQUFhLEdBQ2hGLE9BQU8sQ0FBQyxlQUFlLENBQUMsQ0FvRTFCO0lBRUQ7Ozs7Ozs7Ozs7Ozs7Ozs7O09BaUJHO0lBQ0ksVUFBVSxDQUNmLFNBQVMsRUFBRSxrQkFBa0IsRUFDN0IsRUFDRSxjQUFjLEVBQ2QsZ0JBQXdCLEVBQ3hCLGtCQUEwQixFQUMxQixXQUFrQixFQUNsQixTQUFTLEVBQ1QsTUFBTSxFQUNOLGFBQWEsRUFDZCxFQUFFLGNBQWMsR0FDaEIsT0FBTyxDQUFDLGtCQUFrQixDQUFDLENBc0k3QjtJQUVEOzs7T0FHRztJQUNJLGNBQWMsQ0FDbkIsSUFBSSxFQUFFLFlBQVksRUFDbEIsRUFBRSxRQUFRLEVBQUUsTUFBTSxFQUFFLEdBQUUsa0JBQW1DLEdBQ3hELE9BQU8sQ0FBQyxzQkFBc0IsQ0FBQyxDQWtFakM7SUFFRDs7Ozs7Ozs7Ozs7O09BWUc7SUFDSSxnQkFBZ0IsQ0FBQyxhQUFhLEVBQUUsYUFBYSxFQUFFLE1BQU0sRUFBRSxrQkFBa0IsR0FBRyxPQUFPLENBQUMsa0JBQWtCLEVBQUUsQ0FBQyxDQThCL0c7SUFFRDs7T0FFRztJQUNVLElBQUksSUFBSSxPQUFPLENBQUMsSUFBSSxDQUFDLENBSWpDO0NBQ0YifQ==
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicHhlLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi9zcmMvcHhlLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sS0FBSyxFQUFFLGtCQUFrQixFQUFFLE1BQU0sd0JBQXdCLENBQUM7QUFFakUsT0FBTyxFQUFFLEVBQUUsRUFBRSxNQUFNLGdDQUFnQyxDQUFDO0FBQ3BELE9BQU8sRUFBRSxLQUFLLEVBQUUsTUFBTSxtQ0FBbUMsQ0FBQztBQUMxRCxPQUFPLEVBQUUsS0FBSyxNQUFNLEVBQXFDLE1BQU0sdUJBQXVCLENBQUM7QUFJdkYsT0FBTyxLQUFLLEVBQUUsa0JBQWtCLEVBQUUsd0JBQXdCLEVBQUUsTUFBTSxrQkFBa0IsQ0FBQztBQUNyRixPQUFPLEtBQUssRUFBRSxpQkFBaUIsRUFBRSxNQUFNLGlCQUFpQixDQUFDO0FBQ3pELE9BQU8sRUFBRSxLQUFLLHlCQUF5QixFQUF5QixNQUFNLDJCQUEyQixDQUFDO0FBQ2xHLE9BQU8sS0FBSyxFQUFFLGdCQUFnQixFQUFFLE1BQU0seUJBQXlCLENBQUM7QUFDaEUsT0FBTyxFQUNMLEtBQUssZ0JBQWdCLEVBQ3JCLGFBQWEsRUFDYixZQUFZLEVBSWIsTUFBTSxtQkFBbUIsQ0FBQztBQUMzQixPQUFPLEtBQUssRUFBRSxXQUFXLEVBQUUsTUFBTSw0QkFBNEIsQ0FBQztBQUM5RCxPQUFPLEtBQUssRUFBRSxZQUFZLEVBQUUsTUFBTSw2QkFBNkIsQ0FBQztBQUVoRSxPQUFPLEVBQ0wsZUFBZSxFQUNmLEtBQUssd0JBQXdCLEVBQzdCLEtBQUssbUNBQW1DLEVBQ3hDLEtBQUssMkJBQTJCLEVBQ2hDLEtBQUssY0FBYyxFQUVwQixNQUFNLHdCQUF3QixDQUFDO0FBRWhDLE9BQU8sS0FBSyxFQUFFLFNBQVMsRUFBRSxjQUFjLEVBQUUsbUJBQW1CLEVBQUUsTUFBTSxpQ0FBaUMsQ0FBQztBQVF0RyxPQUFPLEVBQ0wsV0FBVyxFQUVYLEtBQUssSUFBSSxFQUtULG1CQUFtQixFQUduQixrQkFBa0IsRUFDbEIsZUFBZSxFQUNmLGVBQWUsRUFDZixrQkFBa0IsRUFDbEIsc0JBQXNCLEVBQ3ZCLE1BQU0sa0JBQWtCLENBQUM7QUFLMUIsT0FBTyxLQUFLLEVBQUUsU0FBUyxFQUFFLE1BQU0sbUJBQW1CLENBQUM7QUFRbkQsT0FBTyxFQUFFLGFBQWEsRUFBRSxNQUFNLDRCQUE0QixDQUFDO0FBRzNELE9BQU8sS0FBSyxFQUFFLGNBQWMsRUFBRSxNQUFNLGtCQUFrQixDQUFDO0FBMEJ2RCxNQUFNLE1BQU0sa0JBQWtCLEdBQUcsSUFBSSxHQUFHO0lBQ3RDLFdBQVcsRUFBRSxFQUFFLEVBQUUsQ0FBQztJQUNsQixhQUFhLEVBQUUsYUFBYSxDQUFDO0NBQzlCLENBQUM7QUFFRiwrQkFBK0I7QUFDL0IsTUFBTSxNQUFNLFdBQVcsR0FBRztJQUN4QixzRkFBc0Y7SUFDdEYsTUFBTSxFQUFFLFlBQVksRUFBRSxDQUFDO0lBQ3ZCLDZHQUE2RztJQUM3RyxhQUFhLENBQUMsRUFBRSxZQUFZLENBQUM7Q0FDOUIsQ0FBQztBQUVGLGlDQUFpQztBQUNqQyxNQUFNLE1BQU0sYUFBYSxHQUFHO0lBQzFCLGlDQUFpQztJQUNqQyxXQUFXLEVBQUUsTUFBTSxHQUFHLGlCQUFpQixHQUFHLE9BQU8sQ0FBQztJQUNsRCwrRUFBK0U7SUFDL0UsbUJBQW1CLENBQUMsRUFBRSxPQUFPLENBQUM7SUFDOUIsc0ZBQXNGO0lBQ3RGLE1BQU0sRUFBRSxZQUFZLEVBQUUsQ0FBQztJQUN2Qiw2R0FBNkc7SUFDN0csYUFBYSxDQUFDLEVBQUUsWUFBWSxDQUFDO0NBQzlCLENBQUM7QUFFRixrQ0FBa0M7QUFDbEMsTUFBTSxNQUFNLGNBQWMsR0FBRztJQUMzQiw4REFBOEQ7SUFDOUQsY0FBYyxFQUFFLE9BQU8sQ0FBQztJQUN4QixrSEFBa0g7SUFDbEgsZ0JBQWdCLENBQUMsRUFBRSxPQUFPLENBQUM7SUFDM0IsbUNBQW1DO0lBQ25DLGtCQUFrQixDQUFDLEVBQUUsT0FBTyxDQUFDO0lBQzdCLDZEQUE2RDtJQUM3RCxXQUFXLENBQUMsRUFBRSxPQUFPLENBQUM7SUFDdEI7Ozs7T0FJRztJQUNILFNBQVMsQ0FBQyxFQUFFLG1CQUFtQixDQUFDO0lBQ2hDLHFGQUFxRjtJQUNyRixNQUFNLEVBQUUsWUFBWSxFQUFFLENBQUM7SUFDdkIsNkdBQTZHO0lBQzdHLGFBQWEsQ0FBQyxFQUFFLFlBQVksQ0FBQztDQUM5QixDQUFDO0FBRUYsMENBQTBDO0FBQzFDLE1BQU0sTUFBTSxzQkFBc0IsR0FBRyxjQUFjLEdBQUc7SUFDcEQ7Ozs7T0FJRztJQUNILFlBQVksRUFBRSxDQUNaLGdCQUFnQixFQUFFLGtCQUFrQixLQUNqQyxPQUFPLENBQUM7UUFBRSxjQUFjLEVBQUUsa0JBQWtCLENBQUM7UUFBQyxTQUFTLEVBQUUsV0FBVyxDQUFBO0tBQUUsQ0FBQyxDQUFDO0NBQzlFLENBQUM7QUFFRixzQ0FBc0M7QUFDdEMsTUFBTSxNQUFNLGtCQUFrQixHQUFHO0lBQy9CLG1FQUFtRTtJQUNuRSxRQUFRLENBQUMsRUFBRSxXQUFXLEVBQUUsQ0FBQztJQUN6QiwwREFBMEQ7SUFDMUQsTUFBTSxFQUFFLFlBQVksRUFBRSxDQUFDO0NBQ3hCLENBQUM7QUFFRjs7Ozs7Ozs7O0dBU0c7QUFDSCxNQUFNLE1BQU0sMEJBQTBCLEdBQUc7SUFDdkMsc0ZBQXNGO0lBQ3RGLHFCQUFxQixFQUFFLE1BQU0sT0FBTyxDQUFDLEtBQUssQ0FBQztRQUFFLFFBQVEsRUFBRSwyQkFBMkIsQ0FBQztRQUFDLFFBQVEsRUFBRSxnQkFBZ0IsQ0FBQTtLQUFFLENBQUMsQ0FBQyxDQUFDO0NBQ3BILENBQUM7QUFFRiwyQkFBMkI7QUFDM0IsTUFBTSxNQUFNLGFBQWEsR0FBRztJQUMxQixvQ0FBb0M7SUFDcEMsSUFBSSxFQUFFLFNBQVMsQ0FBQztJQUNoQjs7O09BR0c7SUFDSCxTQUFTLENBQUMsRUFBRSxjQUFjLENBQUM7SUFDM0Isb0RBQW9EO0lBQ3BELEtBQUssRUFBRSxpQkFBaUIsQ0FBQztJQUN6Qix1REFBdUQ7SUFDdkQsWUFBWSxFQUFFLG1CQUFtQixDQUFDO0lBQ2xDLHlEQUF5RDtJQUN6RCxTQUFTLEVBQUUsZ0JBQWdCLENBQUM7SUFDNUIsOERBQThEO0lBQzlELHlCQUF5QixFQUFFLHlCQUF5QixDQUFDO0lBQ3JEOzs7O09BSUc7SUFDSCwwQkFBMEIsRUFBRSwwQkFBMEIsQ0FBQztJQUN2RCxpQ0FBaUM7SUFDakMsTUFBTSxFQUFFLFNBQVMsQ0FBQztJQUNsQixxRUFBcUU7SUFDckUsY0FBYyxDQUFDLEVBQUUsTUFBTSxHQUFHLE1BQU0sQ0FBQztJQUNqQyxrRUFBa0U7SUFDbEUsS0FBSyxDQUFDLEVBQUUsY0FBYyxDQUFDO0NBQ3hCLENBQUM7QUFFRiwwR0FBMEc7QUFDMUcsTUFBTSxNQUFNLG1CQUFtQjtBQUM3Qjs7OztHQUlHO0FBQ0Q7SUFBRSxJQUFJLEVBQUUsaUJBQWlCLENBQUM7SUFBQyxNQUFNLEVBQUUsWUFBWSxDQUFBO0NBQUU7QUFDbkQ7OztHQUdHO0dBQ0Q7SUFBRSxJQUFJLEVBQUUsa0JBQWtCLENBQUM7SUFBQyxTQUFTLEVBQUUsWUFBWSxDQUFDO0lBQUMsTUFBTSxFQUFFLEtBQUssQ0FBQTtDQUFFO0FBQ3RFOzs7O0dBSUc7R0FDRDtJQUFFLElBQUksRUFBRSxXQUFXLENBQUM7SUFBQyxTQUFTLEVBQUUsWUFBWSxDQUFDO0lBQUMsS0FBSyxFQUFFLEVBQUUsQ0FBQTtDQUFFLENBQUM7QUFFOUQ7O0dBRUc7QUFDSCxNQUFNLE1BQU0sNkJBQTZCLEdBQ3JDLE9BQU8sQ0FBQyxtQkFBbUIsRUFBRTtJQUFFLElBQUksRUFBRSxXQUFXLENBQUE7Q0FBRSxDQUFDO0FBQ3JELHdHQUF3RztHQUN0RztJQUFFLElBQUksRUFBRSxXQUFXLENBQUM7SUFBQyxTQUFTLEVBQUUsWUFBWSxDQUFDO0lBQUMsTUFBTSxFQUFFLEtBQUssQ0FBQTtDQUFFLENBQUM7QUFFbEU7OztHQUdHO0FBQ0gscUJBQWEsR0FBRzs7SUFFWixPQUFPLENBQUMsSUFBSTtJQUNaLE9BQU8sQ0FBQyxTQUFTO0lBQ2pCLE9BQU8sQ0FBQyxFQUFFO0lBQ1YsT0FBTyxDQUFDLHNCQUFzQjtJQUM5QixPQUFPLENBQUMsUUFBUTtJQUNoQixPQUFPLENBQUMsYUFBYTtJQUNyQixPQUFPLENBQUMsU0FBUztJQUNqQixPQUFPLENBQUMsWUFBWTtJQUNwQixPQUFPLENBQUMsU0FBUztJQUNqQixPQUFPLENBQUMsZ0JBQWdCO0lBQ3hCLE9BQU8sQ0FBQyxrQkFBa0I7SUFDMUIsT0FBTyxDQUFDLHlCQUF5QjtJQUNqQyxPQUFPLENBQUMscUJBQXFCO0lBQzdCLE9BQU8sQ0FBQyxZQUFZO0lBQ3BCLE9BQU8sQ0FBQyxpQkFBaUI7SUFDekIsT0FBTyxDQUFDLG1CQUFtQjtJQUMzQixPQUFPLENBQUMsb0JBQW9CO0lBQzVCLE9BQU8sQ0FBQyxVQUFVO0lBQ2xCLE9BQU8sQ0FBQyxXQUFXO0lBQ25CLE9BQU8sQ0FBQyxTQUFTO0lBQ2pCLE9BQU8sQ0FBQyxhQUFhO0lBQ3JCLE9BQU8sQ0FBQyxZQUFZO0lBQ3BCLE9BQU8sQ0FBQyx5QkFBeUI7SUFDakMsT0FBTyxDQUFDLDBCQUEwQjtJQUNsQyxPQUFPLENBQUMsR0FBRztJQUNYLE9BQU8sQ0FBQyxjQUFjO0lBQ2YsS0FBSyxFQUFFLGFBQWE7SUFDM0IsT0FBTyxDQUFDLEtBQUs7SUE1QmYsT0FBTyxlQTZCSDtJQUVKOzs7Ozs7T0FNRztJQUNILE9BQW9CLE1BQU0sQ0FBQyxFQUN6QixJQUFJLEVBQ0osU0FBUyxFQUNULEtBQUssRUFDTCxZQUFZLEVBQ1osU0FBUyxFQUNULHlCQUF5QixFQUN6QiwwQkFBMEIsRUFDMUIsTUFBTSxFQUNOLGNBQWMsRUFDZCxLQUFLLEVBQ04sRUFBRSxhQUFhLGdCQWtJZjtJQWdjRDs7OztPQUlHO0lBQ0ksSUFBSSxJQUFJLE9BQU8sQ0FBQyxJQUFJLENBQUMsQ0FFM0I7SUFFRDs7O09BR0c7SUFDSSxvQkFBb0IsSUFBSSxPQUFPLENBQUMsV0FBVyxDQUFDLENBSWxEO0lBRUQ7Ozs7T0FJRztJQUNJLG1CQUFtQixDQUFDLE9BQU8sRUFBRSxZQUFZLEdBQUcsT0FBTyxDQUFDLG1DQUFtQyxHQUFHLFNBQVMsQ0FBQyxDQUUxRztJQUVEOzs7O09BSUc7SUFDVSxtQkFBbUIsQ0FBQyxFQUFFLEVBQUUsRUFBRSxHQUFHLE9BQU8sQ0FBQyxnQkFBZ0IsR0FBRyxTQUFTLENBQUMsQ0FFOUU7SUFFRDs7Ozs7Ozs7Ozs7OztPQWFHO0lBQ1UsZUFBZSxDQUFDLElBQUksRUFBRSxrQkFBa0IsRUFBRSxjQUFjLEVBQUUsY0FBYyxHQUFHLE9BQU8sQ0FBQyxlQUFlLENBQUMsQ0FhL0c7SUFFRDs7Ozs7Ozs7Ozs7OztPQWFHO0lBQ0ksb0JBQW9CLENBQUMsT0FBTyxFQUFFLFlBQVksR0FBRyxPQUFPLENBQUMsd0JBQXdCLENBQUMsQ0FFcEY7SUFFRDs7Ozs7OztPQU9HO0lBQ1UsMkJBQTJCLENBQUMsTUFBTSxFQUFFLG1CQUFtQixHQUFHLE9BQU8sQ0FBQyxJQUFJLENBQUMsQ0EyQm5GO0lBRUQ7OztPQUdHO0lBQ1UseUJBQXlCLENBQUMsTUFBTSxFQUFFLDZCQUE2QixHQUFHLE9BQU8sQ0FBQyxJQUFJLENBQUMsQ0E0QjNGO0lBRUQ7OztPQUdHO0lBQ0ksdUJBQXVCLENBQUMsQ0FBQyxTQUFTLDZCQUE2QixDQUFDLE1BQU0sQ0FBQyxFQUFFLE1BQU0sRUFBRTtRQUN0RixJQUFJLEVBQUUsQ0FBQyxDQUFDO0tBQ1QsR0FBRyxPQUFPLENBQUMsT0FBTyxDQUFDLDZCQUE2QixFQUFFO1FBQUUsSUFBSSxFQUFFLENBQUMsQ0FBQTtLQUFFLENBQUMsRUFBRSxDQUFDLENBQUM7SUFDNUQsdUJBQXVCLElBQUksT0FBTyxDQUFDLDZCQUE2QixFQUFFLENBQUMsQ0FBQztJQTBGM0U7OztPQUdHO0lBQ1UscUJBQXFCLElBQUksT0FBTyxDQUFDLGVBQWUsRUFBRSxDQUFDLENBUS9EO0lBRUQ7Ozs7T0FJRztJQUNVLHFCQUFxQixDQUFDLFFBQVEsRUFBRSxnQkFBZ0IsR0FBRyxPQUFPLENBQUMsSUFBSSxDQUFDLENBVzVFO0lBRUQ7Ozs7Ozs7O09BUUc7SUFDSSxnQkFBZ0IsQ0FBQyxRQUFRLEVBQUUsd0JBQXdCLEdBQUcsT0FBTyxDQUFDLFlBQVksQ0FBQyxDQVFqRjtJQUVEOzs7T0FHRztJQUNJLFlBQVksSUFBSSxPQUFPLENBQUMsWUFBWSxFQUFFLENBQUMsQ0FFN0M7SUFFRDs7Ozs7Ozs7O09BU0c7SUFDSSxPQUFPLENBQUMsU0FBUyxFQUFFLGtCQUFrQixFQUFFLEVBQUUsTUFBTSxFQUFFLGFBQWEsRUFBRSxFQUFFLFdBQVcsR0FBRyxPQUFPLENBQUMsZUFBZSxDQUFDLENBbUI5RztJQUVEOzs7OztPQUtHO0lBQ0ksU0FBUyxDQUNkLFNBQVMsRUFBRSxrQkFBa0IsRUFDN0IsRUFBRSxXQUFXLEVBQUUsbUJBQTBCLEVBQUUsTUFBTSxFQUFFLGFBQWEsRUFBRSxFQUFFLGFBQWEsR0FDaEYsT0FBTyxDQUFDLGVBQWUsQ0FBQyxDQW9FMUI7SUFFRDs7Ozs7Ozs7Ozs7Ozs7Ozs7T0FpQkc7SUFDSSxVQUFVLENBQUMsU0FBUyxFQUFFLGtCQUFrQixFQUFFLElBQUksRUFBRSxjQUFjLEdBQUcsT0FBTyxDQUFDLGtCQUFrQixDQUFDLENBT2xHO0lBRUQ7Ozs7Ozs7Ozs7O09BV0c7SUFDSSxrQkFBa0IsQ0FDdkIsbUJBQW1CLEVBQUUsa0JBQWtCLEVBQ3ZDLEVBQUUsWUFBWSxFQUFFLEdBQUcsWUFBWSxFQUFFLEVBQUUsc0JBQXNCLEdBQ3hELE9BQU8sQ0FBQyxlQUFlLENBQUMsQ0F3RDFCO0lBRUQ7OztPQUdHO0lBQ0ksY0FBYyxDQUNuQixJQUFJLEVBQUUsWUFBWSxFQUNsQixFQUFFLFFBQVEsRUFBRSxNQUFNLEVBQUUsR0FBRSxrQkFBbUMsR0FDeEQsT0FBTyxDQUFDLHNCQUFzQixDQUFDLENBa0VqQztJQUVEOzs7Ozs7Ozs7Ozs7T0FZRztJQUNJLGdCQUFnQixDQUFDLGFBQWEsRUFBRSxhQUFhLEVBQUUsTUFBTSxFQUFFLGtCQUFrQixHQUFHLE9BQU8sQ0FBQyxrQkFBa0IsRUFBRSxDQUFDLENBOEIvRztJQUVEOztPQUVHO0lBQ1UsSUFBSSxJQUFJLE9BQU8sQ0FBQyxJQUFJLENBQUMsQ0FJakM7Q0FDRiJ9

package/dest/pxe.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"pxe.d.ts","sourceRoot":"","sources":["../src/pxe.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,wBAAwB,CAAC;AAEjE,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AACpD,OAAO,EAAE,KAAK,EAAE,MAAM,mCAAmC,CAAC;AAC1D,OAAO,EAAE,KAAK,MAAM,EAAqC,MAAM,uBAAuB,CAAC;AAIvF,OAAO,KAAK,EAAE,kBAAkB,EAAE,wBAAwB,EAAE,MAAM,kBAAkB,CAAC;AACrF,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAC;AACzD,OAAO,EAAE,KAAK,yBAAyB,EAAyB,MAAM,2BAA2B,CAAC;AAClG,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,yBAAyB,CAAC;AAChE,OAAO,EACL,KAAK,gBAAgB,EACrB,aAAa,EACb,YAAY,EAIb,MAAM,mBAAmB,CAAC;AAC3B,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,4BAA4B,CAAC;AAC9D,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAEhE,OAAO,EACL,eAAe,EACf,KAAK,wBAAwB,EAC7B,KAAK,mCAAmC,EACxC,KAAK,2BAA2B,EAChC,KAAK,cAAc,EAEpB,MAAM,wBAAwB,CAAC;AAEhC,OAAO,KAAK,EAAE,SAAS,EAAE,cAAc,EAAE,mBAAmB,EAAE,MAAM,iCAAiC,CAAC;AAQtG,OAAO,EACL,WAAW,EAEX,KAAK,IAAI,EAKT,mBAAmB,EAGnB,kBAAkB,EAClB,eAAe,EACf,eAAe,EACf,kBAAkB,EAClB,sBAAsB,EACvB,MAAM,kBAAkB,CAAC;AAK1B,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,mBAAmB,CAAC;AAQnD,OAAO,EAAE,aAAa,EAAE,MAAM,4BAA4B,CAAC;AAG3D,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AA0BvD,MAAM,MAAM,kBAAkB,GAAG,IAAI,GAAG;IACtC,WAAW,EAAE,EAAE,EAAE,CAAC;IAClB,aAAa,EAAE,aAAa,CAAC;CAC9B,CAAC;AAEF,+BAA+B;AAC/B,MAAM,MAAM,WAAW,GAAG;IACxB,sFAAsF;IACtF,MAAM,EAAE,YAAY,EAAE,CAAC;IACvB,6GAA6G;IAC7G,aAAa,CAAC,EAAE,YAAY,CAAC;CAC9B,CAAC;AAEF,iCAAiC;AACjC,MAAM,MAAM,aAAa,GAAG;IAC1B,iCAAiC;IACjC,WAAW,EAAE,MAAM,GAAG,iBAAiB,GAAG,OAAO,CAAC;IAClD,+EAA+E;IAC/E,mBAAmB,CAAC,EAAE,OAAO,CAAC;IAC9B,sFAAsF;IACtF,MAAM,EAAE,YAAY,EAAE,CAAC;IACvB,6GAA6G;IAC7G,aAAa,CAAC,EAAE,YAAY,CAAC;CAC9B,CAAC;AAEF,kCAAkC;AAClC,MAAM,MAAM,cAAc,GAAG;IAC3B,8DAA8D;IAC9D,cAAc,EAAE,OAAO,CAAC;IACxB,kHAAkH;IAClH,gBAAgB,CAAC,EAAE,OAAO,CAAC;IAC3B,mCAAmC;IACnC,kBAAkB,CAAC,EAAE,OAAO,CAAC;IAC7B,6DAA6D;IAC7D,WAAW,CAAC,EAAE,OAAO,CAAC;IACtB;;;;OAIG;IACH,SAAS,CAAC,EAAE,mBAAmB,CAAC;IAChC,qFAAqF;IACrF,MAAM,EAAE,YAAY,EAAE,CAAC;IACvB,6GAA6G;IAC7G,aAAa,CAAC,EAAE,YAAY,CAAC;CAC9B,CAAC;AAEF,sCAAsC;AACtC,MAAM,MAAM,kBAAkB,GAAG;IAC/B,mEAAmE;IACnE,QAAQ,CAAC,EAAE,WAAW,EAAE,CAAC;IACzB,0DAA0D;IAC1D,MAAM,EAAE,YAAY,EAAE,CAAC;CACxB,CAAC;AAEF;;;;;;;;;GASG;AACH,MAAM,MAAM,0BAA0B,GAAG;IACvC,sFAAsF;IACtF,qBAAqB,EAAE,MAAM,OAAO,CAAC,KAAK,CAAC;QAAE,QAAQ,EAAE,2BAA2B,CAAC;QAAC,QAAQ,EAAE,gBAAgB,CAAA;KAAE,CAAC,CAAC,CAAC;CACpH,CAAC;AAEF,2BAA2B;AAC3B,MAAM,MAAM,aAAa,GAAG;IAC1B,oCAAoC;IACpC,IAAI,EAAE,SAAS,CAAC;IAChB;;;OAGG;IACH,SAAS,CAAC,EAAE,cAAc,CAAC;IAC3B,oDAAoD;IACpD,KAAK,EAAE,iBAAiB,CAAC;IACzB,uDAAuD;IACvD,YAAY,EAAE,mBAAmB,CAAC;IAClC,yDAAyD;IACzD,SAAS,EAAE,gBAAgB,CAAC;IAC5B,8DAA8D;IAC9D,yBAAyB,EAAE,yBAAyB,CAAC;IACrD;;;;OAIG;IACH,0BAA0B,EAAE,0BAA0B,CAAC;IACvD,iCAAiC;IACjC,MAAM,EAAE,SAAS,CAAC;IAClB,qEAAqE;IACrE,cAAc,CAAC,EAAE,MAAM,GAAG,MAAM,CAAC;IACjC,kEAAkE;IAClE,KAAK,CAAC,EAAE,cAAc,CAAC;CACxB,CAAC;AAEF,0GAA0G;AAC1G,MAAM,MAAM,mBAAmB;AAC7B;;;;GAIG;AACD;IAAE,IAAI,EAAE,iBAAiB,CAAC;IAAC,MAAM,EAAE,YAAY,CAAA;CAAE;AACnD;;;GAGG;GACD;IAAE,IAAI,EAAE,kBAAkB,CAAC;IAAC,SAAS,EAAE,YAAY,CAAC;IAAC,MAAM,EAAE,KAAK,CAAA;CAAE;AACtE;;;;GAIG;GACD;IAAE,IAAI,EAAE,WAAW,CAAC;IAAC,SAAS,EAAE,YAAY,CAAC;IAAC,KAAK,EAAE,EAAE,CAAA;CAAE,CAAC;AAE9D;;GAEG;AACH,MAAM,MAAM,6BAA6B,GACrC,OAAO,CAAC,mBAAmB,EAAE;IAAE,IAAI,EAAE,WAAW,CAAA;CAAE,CAAC;AACrD,wGAAwG;GACtG;IAAE,IAAI,EAAE,WAAW,CAAC;IAAC,SAAS,EAAE,YAAY,CAAC;IAAC,MAAM,EAAE,KAAK,CAAA;CAAE,CAAC;AAElE;;;GAGG;AACH,qBAAa,GAAG;;IAEZ,OAAO,CAAC,IAAI;IACZ,OAAO,CAAC,SAAS;IACjB,OAAO,CAAC,EAAE;IACV,OAAO,CAAC,sBAAsB;IAC9B,OAAO,CAAC,QAAQ;IAChB,OAAO,CAAC,aAAa;IACrB,OAAO,CAAC,SAAS;IACjB,OAAO,CAAC,YAAY;IACpB,OAAO,CAAC,SAAS;IACjB,OAAO,CAAC,gBAAgB;IACxB,OAAO,CAAC,kBAAkB;IAC1B,OAAO,CAAC,yBAAyB;IACjC,OAAO,CAAC,qBAAqB;IAC7B,OAAO,CAAC,YAAY;IACpB,OAAO,CAAC,iBAAiB;IACzB,OAAO,CAAC,mBAAmB;IAC3B,OAAO,CAAC,oBAAoB;IAC5B,OAAO,CAAC,UAAU;IAClB,OAAO,CAAC,WAAW;IACnB,OAAO,CAAC,SAAS;IACjB,OAAO,CAAC,aAAa;IACrB,OAAO,CAAC,YAAY;IACpB,OAAO,CAAC,yBAAyB;IACjC,OAAO,CAAC,0BAA0B;IAClC,OAAO,CAAC,GAAG;IACX,OAAO,CAAC,cAAc;IACf,KAAK,EAAE,aAAa;IAC3B,OAAO,CAAC,KAAK;IA5Bf,OAAO,eA6BH;IAEJ;;;;;;OAMG;IACH,OAAoB,MAAM,CAAC,EACzB,IAAI,EACJ,SAAS,EACT,KAAK,EACL,YAAY,EACZ,SAAS,EACT,yBAAyB,EACzB,0BAA0B,EAC1B,MAAM,EACN,cAAc,EACd,KAAK,EACN,EAAE,aAAa,gBAkIf;IAkPD;;;;OAIG;IACI,IAAI,IAAI,OAAO,CAAC,IAAI,CAAC,CAE3B;IAED;;;OAGG;IACI,oBAAoB,IAAI,OAAO,CAAC,WAAW,CAAC,CAIlD;IAED;;;;OAIG;IACI,mBAAmB,CAAC,OAAO,EAAE,YAAY,GAAG,OAAO,CAAC,mCAAmC,GAAG,SAAS,CAAC,CAE1G;IAED;;;;OAIG;IACU,mBAAmB,CAAC,EAAE,EAAE,EAAE,GAAG,OAAO,CAAC,gBAAgB,GAAG,SAAS,CAAC,CAE9E;IAED;;;;;;;;;;;;;OAaG;IACU,eAAe,CAAC,IAAI,EAAE,kBAAkB,EAAE,cAAc,EAAE,cAAc,GAAG,OAAO,CAAC,eAAe,CAAC,CAa/G;IAED;;;;;;;;;;;;;OAaG;IACI,oBAAoB,CAAC,OAAO,EAAE,YAAY,GAAG,OAAO,CAAC,wBAAwB,CAAC,CAEpF;IAED;;;;;;;OAOG;IACU,2BAA2B,CAAC,MAAM,EAAE,mBAAmB,GAAG,OAAO,CAAC,IAAI,CAAC,CA2BnF;IAED;;;OAGG;IACU,yBAAyB,CAAC,MAAM,EAAE,6BAA6B,GAAG,OAAO,CAAC,IAAI,CAAC,CA4B3F;IAED;;;OAGG;IACI,uBAAuB,CAAC,CAAC,SAAS,6BAA6B,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE;QACtF,IAAI,EAAE,CAAC,CAAC;KACT,GAAG,OAAO,CAAC,OAAO,CAAC,6BAA6B,EAAE;QAAE,IAAI,EAAE,CAAC,CAAA;KAAE,CAAC,EAAE,CAAC,CAAC;IAC5D,uBAAuB,IAAI,OAAO,CAAC,6BAA6B,EAAE,CAAC,CAAC;IA0F3E;;;OAGG;IACU,qBAAqB,IAAI,OAAO,CAAC,eAAe,EAAE,CAAC,CAQ/D;IAED;;;;OAIG;IACU,qBAAqB,CAAC,QAAQ,EAAE,gBAAgB,GAAG,OAAO,CAAC,IAAI,CAAC,CAW5E;IAED;;;;;;;;OAQG;IACI,gBAAgB,CAAC,QAAQ,EAAE,wBAAwB,GAAG,OAAO,CAAC,YAAY,CAAC,CAQjF;IAED;;;OAGG;IACI,YAAY,IAAI,OAAO,CAAC,YAAY,EAAE,CAAC,CAE7C;IAED;;;;;;;;;OASG;IACI,OAAO,CAAC,SAAS,EAAE,kBAAkB,EAAE,EAAE,MAAM,EAAE,aAAa,EAAE,EAAE,WAAW,GAAG,OAAO,CAAC,eAAe,CAAC,CAsE9G;IAED;;;;;OAKG;IACI,SAAS,CACd,SAAS,EAAE,kBAAkB,EAC7B,EAAE,WAAW,EAAE,mBAA0B,EAAE,MAAM,EAAE,aAAa,EAAE,EAAE,aAAa,GAChF,OAAO,CAAC,eAAe,CAAC,CAoE1B;IAED;;;;;;;;;;;;;;;;;OAiBG;IACI,UAAU,CACf,SAAS,EAAE,kBAAkB,EAC7B,EACE,cAAc,EACd,gBAAwB,EACxB,kBAA0B,EAC1B,WAAkB,EAClB,SAAS,EACT,MAAM,EACN,aAAa,EACd,EAAE,cAAc,GAChB,OAAO,CAAC,kBAAkB,CAAC,CAsI7B;IAED;;;OAGG;IACI,cAAc,CACnB,IAAI,EAAE,YAAY,EAClB,EAAE,QAAQ,EAAE,MAAM,EAAE,GAAE,kBAAmC,GACxD,OAAO,CAAC,sBAAsB,CAAC,CAkEjC;IAED;;;;;;;;;;;;OAYG;IACI,gBAAgB,CAAC,aAAa,EAAE,aAAa,EAAE,MAAM,EAAE,kBAAkB,GAAG,OAAO,CAAC,kBAAkB,EAAE,CAAC,CA8B/G;IAED;;OAEG;IACU,IAAI,IAAI,OAAO,CAAC,IAAI,CAAC,CAIjC;CACF"}
+{"version":3,"file":"pxe.d.ts","sourceRoot":"","sources":["../src/pxe.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,wBAAwB,CAAC;AAEjE,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AACpD,OAAO,EAAE,KAAK,EAAE,MAAM,mCAAmC,CAAC;AAC1D,OAAO,EAAE,KAAK,MAAM,EAAqC,MAAM,uBAAuB,CAAC;AAIvF,OAAO,KAAK,EAAE,kBAAkB,EAAE,wBAAwB,EAAE,MAAM,kBAAkB,CAAC;AACrF,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAC;AACzD,OAAO,EAAE,KAAK,yBAAyB,EAAyB,MAAM,2BAA2B,CAAC;AAClG,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,yBAAyB,CAAC;AAChE,OAAO,EACL,KAAK,gBAAgB,EACrB,aAAa,EACb,YAAY,EAIb,MAAM,mBAAmB,CAAC;AAC3B,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,4BAA4B,CAAC;AAC9D,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAEhE,OAAO,EACL,eAAe,EACf,KAAK,wBAAwB,EAC7B,KAAK,mCAAmC,EACxC,KAAK,2BAA2B,EAChC,KAAK,cAAc,EAEpB,MAAM,wBAAwB,CAAC;AAEhC,OAAO,KAAK,EAAE,SAAS,EAAE,cAAc,EAAE,mBAAmB,EAAE,MAAM,iCAAiC,CAAC;AAQtG,OAAO,EACL,WAAW,EAEX,KAAK,IAAI,EAKT,mBAAmB,EAGnB,kBAAkB,EAClB,eAAe,EACf,eAAe,EACf,kBAAkB,EAClB,sBAAsB,EACvB,MAAM,kBAAkB,CAAC;AAK1B,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,mBAAmB,CAAC;AAQnD,OAAO,EAAE,aAAa,EAAE,MAAM,4BAA4B,CAAC;AAG3D,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AA0BvD,MAAM,MAAM,kBAAkB,GAAG,IAAI,GAAG;IACtC,WAAW,EAAE,EAAE,EAAE,CAAC;IAClB,aAAa,EAAE,aAAa,CAAC;CAC9B,CAAC;AAEF,+BAA+B;AAC/B,MAAM,MAAM,WAAW,GAAG;IACxB,sFAAsF;IACtF,MAAM,EAAE,YAAY,EAAE,CAAC;IACvB,6GAA6G;IAC7G,aAAa,CAAC,EAAE,YAAY,CAAC;CAC9B,CAAC;AAEF,iCAAiC;AACjC,MAAM,MAAM,aAAa,GAAG;IAC1B,iCAAiC;IACjC,WAAW,EAAE,MAAM,GAAG,iBAAiB,GAAG,OAAO,CAAC;IAClD,+EAA+E;IAC/E,mBAAmB,CAAC,EAAE,OAAO,CAAC;IAC9B,sFAAsF;IACtF,MAAM,EAAE,YAAY,EAAE,CAAC;IACvB,6GAA6G;IAC7G,aAAa,CAAC,EAAE,YAAY,CAAC;CAC9B,CAAC;AAEF,kCAAkC;AAClC,MAAM,MAAM,cAAc,GAAG;IAC3B,8DAA8D;IAC9D,cAAc,EAAE,OAAO,CAAC;IACxB,kHAAkH;IAClH,gBAAgB,CAAC,EAAE,OAAO,CAAC;IAC3B,mCAAmC;IACnC,kBAAkB,CAAC,EAAE,OAAO,CAAC;IAC7B,6DAA6D;IAC7D,WAAW,CAAC,EAAE,OAAO,CAAC;IACtB;;;;OAIG;IACH,SAAS,CAAC,EAAE,mBAAmB,CAAC;IAChC,qFAAqF;IACrF,MAAM,EAAE,YAAY,EAAE,CAAC;IACvB,6GAA6G;IAC7G,aAAa,CAAC,EAAE,YAAY,CAAC;CAC9B,CAAC;AAEF,0CAA0C;AAC1C,MAAM,MAAM,sBAAsB,GAAG,cAAc,GAAG;IACpD;;;;OAIG;IACH,YAAY,EAAE,CACZ,gBAAgB,EAAE,kBAAkB,KACjC,OAAO,CAAC;QAAE,cAAc,EAAE,kBAAkB,CAAC;QAAC,SAAS,EAAE,WAAW,CAAA;KAAE,CAAC,CAAC;CAC9E,CAAC;AAEF,sCAAsC;AACtC,MAAM,MAAM,kBAAkB,GAAG;IAC/B,mEAAmE;IACnE,QAAQ,CAAC,EAAE,WAAW,EAAE,CAAC;IACzB,0DAA0D;IAC1D,MAAM,EAAE,YAAY,EAAE,CAAC;CACxB,CAAC;AAEF;;;;;;;;;GASG;AACH,MAAM,MAAM,0BAA0B,GAAG;IACvC,sFAAsF;IACtF,qBAAqB,EAAE,MAAM,OAAO,CAAC,KAAK,CAAC;QAAE,QAAQ,EAAE,2BAA2B,CAAC;QAAC,QAAQ,EAAE,gBAAgB,CAAA;KAAE,CAAC,CAAC,CAAC;CACpH,CAAC;AAEF,2BAA2B;AAC3B,MAAM,MAAM,aAAa,GAAG;IAC1B,oCAAoC;IACpC,IAAI,EAAE,SAAS,CAAC;IAChB;;;OAGG;IACH,SAAS,CAAC,EAAE,cAAc,CAAC;IAC3B,oDAAoD;IACpD,KAAK,EAAE,iBAAiB,CAAC;IACzB,uDAAuD;IACvD,YAAY,EAAE,mBAAmB,CAAC;IAClC,yDAAyD;IACzD,SAAS,EAAE,gBAAgB,CAAC;IAC5B,8DAA8D;IAC9D,yBAAyB,EAAE,yBAAyB,CAAC;IACrD;;;;OAIG;IACH,0BAA0B,EAAE,0BAA0B,CAAC;IACvD,iCAAiC;IACjC,MAAM,EAAE,SAAS,CAAC;IAClB,qEAAqE;IACrE,cAAc,CAAC,EAAE,MAAM,GAAG,MAAM,CAAC;IACjC,kEAAkE;IAClE,KAAK,CAAC,EAAE,cAAc,CAAC;CACxB,CAAC;AAEF,0GAA0G;AAC1G,MAAM,MAAM,mBAAmB;AAC7B;;;;GAIG;AACD;IAAE,IAAI,EAAE,iBAAiB,CAAC;IAAC,MAAM,EAAE,YAAY,CAAA;CAAE;AACnD;;;GAGG;GACD;IAAE,IAAI,EAAE,kBAAkB,CAAC;IAAC,SAAS,EAAE,YAAY,CAAC;IAAC,MAAM,EAAE,KAAK,CAAA;CAAE;AACtE;;;;GAIG;GACD;IAAE,IAAI,EAAE,WAAW,CAAC;IAAC,SAAS,EAAE,YAAY,CAAC;IAAC,KAAK,EAAE,EAAE,CAAA;CAAE,CAAC;AAE9D;;GAEG;AACH,MAAM,MAAM,6BAA6B,GACrC,OAAO,CAAC,mBAAmB,EAAE;IAAE,IAAI,EAAE,WAAW,CAAA;CAAE,CAAC;AACrD,wGAAwG;GACtG;IAAE,IAAI,EAAE,WAAW,CAAC;IAAC,SAAS,EAAE,YAAY,CAAC;IAAC,MAAM,EAAE,KAAK,CAAA;CAAE,CAAC;AAElE;;;GAGG;AACH,qBAAa,GAAG;;IAEZ,OAAO,CAAC,IAAI;IACZ,OAAO,CAAC,SAAS;IACjB,OAAO,CAAC,EAAE;IACV,OAAO,CAAC,sBAAsB;IAC9B,OAAO,CAAC,QAAQ;IAChB,OAAO,CAAC,aAAa;IACrB,OAAO,CAAC,SAAS;IACjB,OAAO,CAAC,YAAY;IACpB,OAAO,CAAC,SAAS;IACjB,OAAO,CAAC,gBAAgB;IACxB,OAAO,CAAC,kBAAkB;IAC1B,OAAO,CAAC,yBAAyB;IACjC,OAAO,CAAC,qBAAqB;IAC7B,OAAO,CAAC,YAAY;IACpB,OAAO,CAAC,iBAAiB;IACzB,OAAO,CAAC,mBAAmB;IAC3B,OAAO,CAAC,oBAAoB;IAC5B,OAAO,CAAC,UAAU;IAClB,OAAO,CAAC,WAAW;IACnB,OAAO,CAAC,SAAS;IACjB,OAAO,CAAC,aAAa;IACrB,OAAO,CAAC,YAAY;IACpB,OAAO,CAAC,yBAAyB;IACjC,OAAO,CAAC,0BAA0B;IAClC,OAAO,CAAC,GAAG;IACX,OAAO,CAAC,cAAc;IACf,KAAK,EAAE,aAAa;IAC3B,OAAO,CAAC,KAAK;IA5Bf,OAAO,eA6BH;IAEJ;;;;;;OAMG;IACH,OAAoB,MAAM,CAAC,EACzB,IAAI,EACJ,SAAS,EACT,KAAK,EACL,YAAY,EACZ,SAAS,EACT,yBAAyB,EACzB,0BAA0B,EAC1B,MAAM,EACN,cAAc,EACd,KAAK,EACN,EAAE,aAAa,gBAkIf;IAgcD;;;;OAIG;IACI,IAAI,IAAI,OAAO,CAAC,IAAI,CAAC,CAE3B;IAED;;;OAGG;IACI,oBAAoB,IAAI,OAAO,CAAC,WAAW,CAAC,CAIlD;IAED;;;;OAIG;IACI,mBAAmB,CAAC,OAAO,EAAE,YAAY,GAAG,OAAO,CAAC,mCAAmC,GAAG,SAAS,CAAC,CAE1G;IAED;;;;OAIG;IACU,mBAAmB,CAAC,EAAE,EAAE,EAAE,GAAG,OAAO,CAAC,gBAAgB,GAAG,SAAS,CAAC,CAE9E;IAED;;;;;;;;;;;;;OAaG;IACU,eAAe,CAAC,IAAI,EAAE,kBAAkB,EAAE,cAAc,EAAE,cAAc,GAAG,OAAO,CAAC,eAAe,CAAC,CAa/G;IAED;;;;;;;;;;;;;OAaG;IACI,oBAAoB,CAAC,OAAO,EAAE,YAAY,GAAG,OAAO,CAAC,wBAAwB,CAAC,CAEpF;IAED;;;;;;;OAOG;IACU,2BAA2B,CAAC,MAAM,EAAE,mBAAmB,GAAG,OAAO,CAAC,IAAI,CAAC,CA2BnF;IAED;;;OAGG;IACU,yBAAyB,CAAC,MAAM,EAAE,6BAA6B,GAAG,OAAO,CAAC,IAAI,CAAC,CA4B3F;IAED;;;OAGG;IACI,uBAAuB,CAAC,CAAC,SAAS,6BAA6B,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE;QACtF,IAAI,EAAE,CAAC,CAAC;KACT,GAAG,OAAO,CAAC,OAAO,CAAC,6BAA6B,EAAE;QAAE,IAAI,EAAE,CAAC,CAAA;KAAE,CAAC,EAAE,CAAC,CAAC;IAC5D,uBAAuB,IAAI,OAAO,CAAC,6BAA6B,EAAE,CAAC,CAAC;IA0F3E;;;OAGG;IACU,qBAAqB,IAAI,OAAO,CAAC,eAAe,EAAE,CAAC,CAQ/D;IAED;;;;OAIG;IACU,qBAAqB,CAAC,QAAQ,EAAE,gBAAgB,GAAG,OAAO,CAAC,IAAI,CAAC,CAW5E;IAED;;;;;;;;OAQG;IACI,gBAAgB,CAAC,QAAQ,EAAE,wBAAwB,GAAG,OAAO,CAAC,YAAY,CAAC,CAQjF;IAED;;;OAGG;IACI,YAAY,IAAI,OAAO,CAAC,YAAY,EAAE,CAAC,CAE7C;IAED;;;;;;;;;OASG;IACI,OAAO,CAAC,SAAS,EAAE,kBAAkB,EAAE,EAAE,MAAM,EAAE,aAAa,EAAE,EAAE,WAAW,GAAG,OAAO,CAAC,eAAe,CAAC,CAmB9G;IAED;;;;;OAKG;IACI,SAAS,CACd,SAAS,EAAE,kBAAkB,EAC7B,EAAE,WAAW,EAAE,mBAA0B,EAAE,MAAM,EAAE,aAAa,EAAE,EAAE,aAAa,GAChF,OAAO,CAAC,eAAe,CAAC,CAoE1B;IAED;;;;;;;;;;;;;;;;;OAiBG;IACI,UAAU,CAAC,SAAS,EAAE,kBAAkB,EAAE,IAAI,EAAE,cAAc,GAAG,OAAO,CAAC,kBAAkB,CAAC,CAOlG;IAED;;;;;;;;;;;OAWG;IACI,kBAAkB,CACvB,mBAAmB,EAAE,kBAAkB,EACvC,EAAE,YAAY,EAAE,GAAG,YAAY,EAAE,EAAE,sBAAsB,GACxD,OAAO,CAAC,eAAe,CAAC,CAwD1B;IAED;;;OAGG;IACI,cAAc,CACnB,IAAI,EAAE,YAAY,EAClB,EAAE,QAAQ,EAAE,MAAM,EAAE,GAAE,kBAAmC,GACxD,OAAO,CAAC,sBAAsB,CAAC,CAkEjC;IAED;;;;;;;;;;;;OAYG;IACI,gBAAgB,CAAC,aAAa,EAAE,aAAa,EAAE,MAAM,EAAE,kBAAkB,GAAG,OAAO,CAAC,kBAAkB,EAAE,CAAC,CA8B/G;IAED;;OAEG;IACU,IAAI,IAAI,OAAO,CAAC,IAAI,CAAC,CAIjC;CACF"}

package/dest/pxe.js

@@ -313,6 +313,141 @@ import { persistSenderTaggingIndexRangesForTx } from './tagging/index.js';
         this.log.debug(`Executing kernel trace prover (${JSON.stringify(config)})...`);
         return await kernelTraceProver.proveWithKernels(txExecutionRequest.toTxRequest(), privateExecutionResult, config);
     }
+    /** Simulates `txRequest` within an already-open operation, using its anchor block and change set. */ async #simulateTx({ changeSetId, syncTime, anchorBlockHeader, recording, totalMs }, txRequest, { simulatePublic, skipTxValidation = false, skipFeeEnforcement = false, skipKernels = true, overrides, scopes, senderForTags }) {
+        const txInfo = {
+            origin: txRequest.origin,
+            functionSelector: txRequest.functionSelector,
+            simulatePublic,
+            chainId: txRequest.txContext.chainId,
+            version: txRequest.txContext.version,
+            authWitnesses: txRequest.authWitnesses.map((w)=>w.requestHash)
+        };
+        this.log.info(`Simulating transaction execution request to ${txRequest.functionSelector} at ${txRequest.origin}`, txInfo);
+        if (overrides?.contracts && Object.keys(overrides.contracts).length > 0 && !skipKernels) {
+            throw new Error('Simulating with overridden contracts is not compatible with kernel execution. Please set skipKernels to true when simulating with overridden contracts.');
+        }
+        const contractFunctionSimulator = this.#getSimulatorForTx(overrides);
+        // Execution of private functions only; no proving, and no kernel logic.
+        const privateExecutionResult = await this.#executePrivate({
+            contractFunctionSimulator,
+            txRequest,
+            anchorBlockHeader,
+            scopes,
+            changeSetId,
+            senderForTags
+        });
+        let publicInputs;
+        let executionSteps = [];
+        if (skipKernels) {
+            ({ publicInputs, executionSteps } = await generateSimulatedProvingResult(privateExecutionResult, (addr, sel)=>this.#getDebugFunctionName(addr, sel, anchorBlockHeader), this.node));
+        } else {
+            // Kernel logic, plus proving of all private functions and kernels.
+            ({ publicInputs, executionSteps } = await this.#prove(txRequest, this.proofCreator, privateExecutionResult, anchorBlockHeader, {
+                simulate: true,
+                skipFeeEnforcement,
+                profileMode: 'none'
+            }));
+        }
+        const privateSimulationResult = new PrivateSimulationResult(privateExecutionResult, publicInputs);
+        const simulatedTx = await privateSimulationResult.toSimulatedTx();
+        let publicSimulationTime;
+        let publicOutput;
+        if (simulatePublic && publicInputs.forPublic) {
+            const publicSimulationTimer = new Timer();
+            publicOutput = await this.#simulatePublicCalls(simulatedTx, skipFeeEnforcement, overrides);
+            publicSimulationTime = publicSimulationTimer.ms();
+            if (publicOutput?.debugLogs?.length) {
+                await displayDebugLogs(publicOutput.debugLogs, (addr)=>this.#getDebugContractName(addr, anchorBlockHeader));
+            }
+        }
+        let validationTime;
+        if (!skipTxValidation) {
+            const validationTimer = new Timer();
+            const validationResult = await this.node.isValidTx(simulatedTx, {
+                isSimulation: true,
+                skipFeeEnforcement
+            });
+            validationTime = validationTimer.ms();
+            if (validationResult.result === 'invalid') {
+                const reason = validationResult.reason.length > 0 ? ` Reason: ${validationResult.reason.join(', ')}` : '';
+                throw new Error(`The simulated transaction is unable to be added to state and is invalid.${reason}`);
+            }
+        }
+        const txHash = simulatedTx.getTxHash();
+        const totalTime = totalMs();
+        const perFunction = executionSteps.map(({ functionName, timings: { witgen, oracles } })=>({
+                functionName,
+                time: witgen,
+                oracles
+            }));
+        const timings = {
+            total: totalTime,
+            sync: syncTime,
+            publicSimulation: publicSimulationTime,
+            validation: validationTime,
+            perFunction,
+            unaccounted: totalTime - (syncTime + (publicSimulationTime ?? 0) + (validationTime ?? 0) + perFunction.reduce((acc, { time })=>acc + time, 0))
+        };
+        this.log.info(`Simulation completed for ${txHash.toString()} in ${totalTime}ms`, {
+            txHash,
+            ...txInfo,
+            ...publicOutput ? {
+                gasUsed: publicOutput.gasUsed,
+                revertCode: publicOutput.txEffect.revertCode.getCode(),
+                revertReason: publicOutput.revertReason
+            } : {}
+        });
+        return TxSimulationResult.fromPrivateSimulationResultAndPublicOutput(privateSimulationResult, publicOutput, {
+            timings,
+            nodeRPCCalls: recording.stats()
+        });
+    }
+    /** Describes a simulation of `txRequest` for the errors it throws. */ #simulateTxErrorContext(txRequest, opts) {
+        return [
+            inspect(txRequest),
+            `simulatePublic=${opts.simulatePublic}`,
+            `skipTxValidation=${opts.skipTxValidation ?? false}`,
+            `scopes=${opts.scopes.map((s)=>s.toString()).join(', ')}`
+        ];
+    }
+    /**
+   * Proves `privateExecutionResult`, the private execution of `txRequest`, within an already-open operation, and stages
+   * the sender tagging indices the tx uses.
+   */ async #proveTx({ changeSetId, syncTime, anchorBlockHeader, recording, totalMs }, txRequest, privateExecutionResult) {
+        const { publicInputs, chonkProof, executionSteps, timings: { proving } = {} } = await this.#prove(txRequest, this.proofCreator, privateExecutionResult, anchorBlockHeader, {
+            simulate: false,
+            skipFeeEnforcement: false,
+            profileMode: 'none'
+        });
+        const totalTime = totalMs();
+        const perFunction = executionSteps.map(({ functionName, timings: { witgen, oracles } })=>({
+                functionName,
+                time: witgen,
+                oracles
+            }));
+        const timings = {
+            total: totalTime,
+            sync: syncTime,
+            proving,
+            perFunction,
+            unaccounted: totalTime - ((syncTime ?? 0) + (proving ?? 0) + perFunction.reduce((acc, { time })=>acc + time, 0))
+        };
+        this.log.debug(`Proving completed in ${totalTime}ms`, {
+            timings
+        });
+        const txProvingResult = new TxProvingResult(privateExecutionResult, publicInputs, chonkProof, {
+            timings,
+            nodeRPCCalls: recording.stats()
+        });
+        // We keep track of which tagging indices we've used in this tx so that we don't repeat them in future txs
+        // (which would link them) without having to rely on this tx being mined (and us seeing the indices being used
+        // onchain).
+        // Note that this must happen _after_ proving as it requires the proof's public inputs, from which the kernels
+        // may have removed some logs due to note-nullifier squashing - this may lead to range of tagging indices we've
+        // actually used to being reduced.
+        await persistSenderTaggingIndexRangesForTx(this.senderTaggingStore, privateExecutionResult.entrypoint.taggingIndexRanges, publicInputs, ()=>txProvingResult.getTxHash(), changeSetId, this.log);
+        return txProvingResult;
+    }
     // Public API
     /**
    * Triggers a sync of PXE state with the node, regardless of the `autoSync` config flag. Use this to
@@ -574,49 +709,17 @@ import { persistSenderTaggingIndexRangesForTx } from './tagging/index.js';
         let privateExecutionResult;
         // We disable proving concurrently mostly out of caution, since it accesses some of our stores. Proving is so
         // computationally demanding that it'd be rare for someone to try to do it concurrently regardless.
-        return this.operationQueue.runSynced(async ({ changeSetId, syncTime, anchorBlockHeader, recording, totalMs })=>{
+        return this.operationQueue.runSynced(async (ctx)=>{
             const contractFunctionSimulator = this.#getSimulatorForTx();
             privateExecutionResult = await this.#executePrivate({
                 contractFunctionSimulator,
                 txRequest,
-                anchorBlockHeader,
+                anchorBlockHeader: ctx.anchorBlockHeader,
                 scopes,
-                changeSetId,
+                changeSetId: ctx.changeSetId,
                 senderForTags
             });
-            const { publicInputs, chonkProof, executionSteps, timings: { proving } = {} } = await this.#prove(txRequest, this.proofCreator, privateExecutionResult, anchorBlockHeader, {
-                simulate: false,
-                skipFeeEnforcement: false,
-                profileMode: 'none'
-            });
-            const totalTime = totalMs();
-            const perFunction = executionSteps.map(({ functionName, timings: { witgen, oracles } })=>({
-                    functionName,
-                    time: witgen,
-                    oracles
-                }));
-            const timings = {
-                total: totalTime,
-                sync: syncTime,
-                proving,
-                perFunction,
-                unaccounted: totalTime - ((syncTime ?? 0) + (proving ?? 0) + perFunction.reduce((acc, { time })=>acc + time, 0))
-            };
-            this.log.debug(`Proving completed in ${totalTime}ms`, {
-                timings
-            });
-            const txProvingResult = new TxProvingResult(privateExecutionResult, publicInputs, chonkProof, {
-                timings,
-                nodeRPCCalls: recording.stats()
-            });
-            // We keep track of which tagging indices we've used in this tx so that we don't repeat them in future txs
-            // (which would link them) without having to rely on this tx being mined (and us seeing the indices being used
-            // onchain).
-            // Note that this must happen _after_ proving as it requires the proof's public inputs, from which the kernels
-            // may have removed some logs due to note-nullifier squashing - this may lead to range of tagging indices we've
-            // actually used to being reduced.
-            await persistSenderTaggingIndexRangesForTx(this.senderTaggingStore, privateExecutionResult.entrypoint.taggingIndexRanges, publicInputs, ()=>txProvingResult.getTxHash(), changeSetId, this.log);
-            return txProvingResult;
+            return this.#proveTx(ctx, txRequest, privateExecutionResult);
         }, {
             errorContext: ()=>[
                     inspect(txRequest),
@@ -701,104 +804,74 @@ import { persistSenderTaggingIndexRangesForTx } from './tagging/index.js';
    * Also throws if simulatePublic is true and public simulation reverts.
    *
    * TODO(#7456) Prevent msgSender being defined here for the first call
-   */ simulateTx(txRequest, { simulatePublic, skipTxValidation = false, skipFeeEnforcement = false, skipKernels = true, overrides, scopes, senderForTags }) {
+   */ simulateTx(txRequest, opts) {
         // We disable concurrent simulations since those might execute oracles which read and write to the PXE stores (e.g.
         // to the capsules), and we need to prevent concurrent runs from interfering with one another (e.g. attempting to
         // delete the same read value, or reading values that another simulation is currently modifying).
-        return this.operationQueue.runSynced(async ({ changeSetId, syncTime, anchorBlockHeader, recording, totalMs })=>{
-            const txInfo = {
-                origin: txRequest.origin,
-                functionSelector: txRequest.functionSelector,
-                simulatePublic,
-                chainId: txRequest.txContext.chainId,
-                version: txRequest.txContext.version,
-                authWitnesses: txRequest.authWitnesses.map((w)=>w.requestHash)
-            };
-            this.log.info(`Simulating transaction execution request to ${txRequest.functionSelector} at ${txRequest.origin}`, txInfo);
-            if (overrides?.contracts && Object.keys(overrides.contracts).length > 0 && !skipKernels) {
-                throw new Error('Simulating with overridden contracts is not compatible with kernel execution. Please set skipKernels to true when simulating with overridden contracts.');
-            }
-            const contractFunctionSimulator = this.#getSimulatorForTx(overrides);
-            // Execution of private functions only; no proving, and no kernel logic.
-            const privateExecutionResult = await this.#executePrivate({
-                contractFunctionSimulator,
-                txRequest,
-                anchorBlockHeader,
-                scopes,
-                changeSetId,
-                senderForTags
-            });
-            let publicInputs;
-            let executionSteps = [];
-            if (skipKernels) {
-                ({ publicInputs, executionSteps } = await generateSimulatedProvingResult(privateExecutionResult, (addr, sel)=>this.#getDebugFunctionName(addr, sel, anchorBlockHeader), this.node));
-            } else {
-                // Kernel logic, plus proving of all private functions and kernels.
-                ({ publicInputs, executionSteps } = await this.#prove(txRequest, this.proofCreator, privateExecutionResult, anchorBlockHeader, {
-                    simulate: true,
-                    skipFeeEnforcement,
-                    profileMode: 'none'
-                }));
-            }
-            const privateSimulationResult = new PrivateSimulationResult(privateExecutionResult, publicInputs);
-            const simulatedTx = await privateSimulationResult.toSimulatedTx();
-            let publicSimulationTime;
-            let publicOutput;
-            if (simulatePublic && publicInputs.forPublic) {
-                const publicSimulationTimer = new Timer();
-                publicOutput = await this.#simulatePublicCalls(simulatedTx, skipFeeEnforcement, overrides);
-                publicSimulationTime = publicSimulationTimer.ms();
-                if (publicOutput?.debugLogs?.length) {
-                    await displayDebugLogs(publicOutput.debugLogs, (addr)=>this.#getDebugContractName(addr, anchorBlockHeader));
-                }
-            }
-            let validationTime;
-            if (!skipTxValidation) {
-                const validationTimer = new Timer();
-                const validationResult = await this.node.isValidTx(simulatedTx, {
-                    isSimulation: true,
-                    skipFeeEnforcement
+        return this.operationQueue.runSynced((ctx)=>this.#simulateTx(ctx, txRequest, opts), {
+            errorContext: ()=>this.#simulateTxErrorContext(txRequest, opts)
+        });
+    }
+    /**
+   * Combination of `simulateTx` and `proveTx`: a simulation is executed, its results inspected to produce a provable
+   * transaction, followed by witness generation and proof.
+   *
+   * The entire sequence runs as a single atomic PXE operation, with no private state sync between simulation and
+   * witness generation, resulting in them running over identical environments (e.g. the note store, tagging indices,
+   * etc.).
+   *
+   * The simulation result is passed to a `prepareProve` callback, which then returns the input to the equivalent
+   * `proveTx` call. Due to the atomic nature of this function, `prepareProve` must NOT call any PXE function, as that
+   * would result in a deadlock.
+   */ simulateAndProveTx(simulationTxRequest, { prepareProve, ...simulateOpts }) {
+        let proveTxRequest;
+        let privateExecutionResult;
+        // We run the entire thing as a single operation, which blocks the queue. There are two other possible paths we
+        // could take here:
+        //  a) decouple the queue from a changeset to commit. This would let us hold the queue and have two changesets, one
+        //     for the simulation and its corresponding sync, and one for the prove. In case of failure of either the
+        //     `prepareProve` callback (e.g. user rejection) or the proof itself, we'd still have committed the simulation
+        //     work, including the private state sync, which could save time in future runs.
+        //  b) make this be two separate jobs, releasing the queue in between, but holding a second lock which would prevent
+        //     PXE from updating its anchor block and therefore re-syncing contracts. In the case of a long-running
+        //     callback, other unrelated operations (e.g. utility call invocations) would still be able to go through.
+        //
+        // We're not currently taking either of these paths due to uncertainty on this even being a good primitive for PXE
+        // to expose to wallets, and to not invest too heavily in this direction (as both approaches would require
+        // refactoring). Additionally, the gains those approaches provide are currently not valuable: for a) we expect it to
+        // be unlikely for a follow-up simulation to be executed on the same anchor block as the first one, so committing
+        // the sync achieves little if anything, and for b) the callback is expected to be fairly quick, and for there to be
+        // no need to execute any other PXE calls while it runs.
+        return this.operationQueue.runSynced(async (ctx)=>{
+            const simulationResult = await this.#simulateTx(ctx, simulationTxRequest, simulateOpts);
+            let proveOpts;
+            ({ proveTxRequest, proveOpts } = await prepareProve(simulationResult));
+            // The proving result's timings and node stats must cover proving alone, not the simulation before it.
+            const provingTimer = new Timer();
+            const recording = this.node.startRecording();
+            try {
+                privateExecutionResult = await this.#executePrivate({
+                    contractFunctionSimulator: this.#getSimulatorForTx(),
+                    txRequest: proveTxRequest,
+                    anchorBlockHeader: ctx.anchorBlockHeader,
+                    scopes: proveOpts.scopes,
+                    changeSetId: ctx.changeSetId,
+                    senderForTags: proveOpts.senderForTags
                 });
-                validationTime = validationTimer.ms();
-                if (validationResult.result === 'invalid') {
-                    const reason = validationResult.reason.length > 0 ? ` Reason: ${validationResult.reason.join(', ')}` : '';
-                    throw new Error(`The simulated transaction is unable to be added to state and is invalid.${reason}`);
-                }
+                return await this.#proveTx({
+                    ...ctx,
+                    syncTime: 0,
+                    recording,
+                    totalMs: ()=>provingTimer.ms()
+                }, proveTxRequest, privateExecutionResult);
+            } finally{
+                recording.stop();
             }
-            const txHash = simulatedTx.getTxHash();
-            const totalTime = totalMs();
-            const perFunction = executionSteps.map(({ functionName, timings: { witgen, oracles } })=>({
-                    functionName,
-                    time: witgen,
-                    oracles
-                }));
-            const timings = {
-                total: totalTime,
-                sync: syncTime,
-                publicSimulation: publicSimulationTime,
-                validation: validationTime,
-                perFunction,
-                unaccounted: totalTime - (syncTime + (publicSimulationTime ?? 0) + (validationTime ?? 0) + perFunction.reduce((acc, { time })=>acc + time, 0))
-            };
-            this.log.info(`Simulation completed for ${txHash.toString()} in ${totalTime}ms`, {
-                txHash,
-                ...txInfo,
-                ...publicOutput ? {
-                    gasUsed: publicOutput.gasUsed,
-                    revertCode: publicOutput.txEffect.revertCode.getCode(),
-                    revertReason: publicOutput.revertReason
-                } : {}
-            });
-            return TxSimulationResult.fromPrivateSimulationResultAndPublicOutput(privateSimulationResult, publicOutput, {
-                timings,
-                nodeRPCCalls: recording.stats()
-            });
         }, {
             errorContext: ()=>[
-                    inspect(txRequest),
-                    `simulatePublic=${simulatePublic}`,
-                    `skipTxValidation=${skipTxValidation}`,
-                    `scopes=${scopes.map((s)=>s.toString()).join(', ')}`
+                    ...this.#simulateTxErrorContext(simulationTxRequest, simulateOpts),
+                    inspect(proveTxRequest),
+                    inspect(privateExecutionResult)
                 ]
         });
     }

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@aztec/pxe",
-  "version": "5.3.0-nightly.20260924",
+  "version": "5.3.0-rc.1",
   "type": "module",
   "typedocOptions": {
     "entryPoints": [
@@ -71,20 +71,20 @@
     ]
   },
   "dependencies": {
-    "@aztec/bb-prover": "5.3.0-nightly.20260924",
-    "@aztec/bb.js": "5.3.0-nightly.20260924",
-    "@aztec/builder": "5.3.0-nightly.20260924",
-    "@aztec/constants": "5.3.0-nightly.20260924",
-    "@aztec/ethereum": "5.3.0-nightly.20260924",
-    "@aztec/foundation": "5.3.0-nightly.20260924",
-    "@aztec/key-store": "5.3.0-nightly.20260924",
-    "@aztec/kv-store": "5.3.0-nightly.20260924",
-    "@aztec/noir-protocol-circuits-types": "5.3.0-nightly.20260924",
-    "@aztec/noir-types": "5.3.0-nightly.20260924",
-    "@aztec/protocol-contracts": "5.3.0-nightly.20260924",
-    "@aztec/simulator": "5.3.0-nightly.20260924",
-    "@aztec/standard-contracts": "5.3.0-nightly.20260924",
-    "@aztec/stdlib": "5.3.0-nightly.20260924",
+    "@aztec/bb-prover": "5.3.0-rc.1",
+    "@aztec/bb.js": "5.3.0-rc.1",
+    "@aztec/builder": "5.3.0-rc.1",
+    "@aztec/constants": "5.3.0-rc.1",
+    "@aztec/ethereum": "5.3.0-rc.1",
+    "@aztec/foundation": "5.3.0-rc.1",
+    "@aztec/key-store": "5.3.0-rc.1",
+    "@aztec/kv-store": "5.3.0-rc.1",
+    "@aztec/noir-protocol-circuits-types": "5.3.0-rc.1",
+    "@aztec/noir-types": "5.3.0-rc.1",
+    "@aztec/protocol-contracts": "5.3.0-rc.1",
+    "@aztec/simulator": "5.3.0-rc.1",
+    "@aztec/standard-contracts": "5.3.0-rc.1",
+    "@aztec/stdlib": "5.3.0-rc.1",
     "koa": "^2.16.1",
     "koa-router": "^13.1.1",
     "lodash.omit": "^4.5.0",
@@ -93,8 +93,8 @@
     "viem": "npm:@aztec/viem@2.38.2"
   },
   "devDependencies": {
-    "@aztec/noir-test-contracts.js": "5.3.0-nightly.20260924",
-    "@aztec/world-state": "5.3.0-nightly.20260924",
+    "@aztec/noir-test-contracts.js": "5.3.0-rc.1",
+    "@aztec/world-state": "5.3.0-rc.1",
     "@jest/globals": "^30.0.0",
     "@types/jest": "^30.0.0",
     "@types/lodash.omit": "^4.5.7",

package/src/pxe.ts

@@ -73,7 +73,7 @@ import { PrivateEventFilterValidator } from './events/private_event_filter_valid
 import type { ExecutionHooks } from './hooks/index.js';
 import { TxResolverService } from './messages/tx_resolver_service.js';
 import { type CachingAztecNode, withCache } from './node/caching_aztec_node.js';
-import { OperationQueue } from './operation_queue.js';
+import { OperationQueue, type SyncedOperationContext } from './operation_queue.js';
 import {
   PrivateKernelExecutionProver,
   type PrivateKernelExecutionProverConfig,
@@ -143,6 +143,18 @@ export type SimulateTxOpts = {
   senderForTags?: AztecAddress;
 };
 
+/** Options for PXE.simulateAndProveTx. */
+export type SimulateAndProveTxOpts = SimulateTxOpts & {
+  /**
+   * Returns the request to prove and its options, given the simulation's result. Runs inside the operation: other PXE
+   * operations wait for it to return, and it must not call the PXE itself, since that call would wait for this
+   * operation to end.
+   */
+  prepareProve: (
+    simulationResult: TxSimulationResult,
+  ) => Promise<{ proveTxRequest: TxExecutionRequest; proveOpts: ProveTxOpts }>;
+};
+
 /** Options for PXE.executeUtility. */
 export type ExecuteUtilityOpts = {
   /** The authentication witnesses required for the function call. */
@@ -649,6 +661,212 @@ export class PXE {
     return await kernelTraceProver.proveWithKernels(txExecutionRequest.toTxRequest(), privateExecutionResult, config);
   }
 
+  /** Simulates `txRequest` within an already-open operation, using its anchor block and change set. */
+  async #simulateTx(
+    { changeSetId, syncTime, anchorBlockHeader, recording, totalMs }: SyncedOperationContext,
+    txRequest: TxExecutionRequest,
+    {
+      simulatePublic,
+      skipTxValidation = false,
+      skipFeeEnforcement = false,
+      skipKernels = true,
+      overrides,
+      scopes,
+      senderForTags,
+    }: SimulateTxOpts,
+  ): Promise<TxSimulationResult> {
+    const txInfo = {
+      origin: txRequest.origin,
+      functionSelector: txRequest.functionSelector,
+      simulatePublic,
+      chainId: txRequest.txContext.chainId,
+      version: txRequest.txContext.version,
+      authWitnesses: txRequest.authWitnesses.map(w => w.requestHash),
+    };
+    this.log.info(
+      `Simulating transaction execution request to ${txRequest.functionSelector} at ${txRequest.origin}`,
+      txInfo,
+    );
+
+    if (overrides?.contracts && Object.keys(overrides.contracts).length > 0 && !skipKernels) {
+      throw new Error(
+        'Simulating with overridden contracts is not compatible with kernel execution. Please set skipKernels to true when simulating with overridden contracts.',
+      );
+    }
+    const contractFunctionSimulator = this.#getSimulatorForTx(overrides);
+
+    // Execution of private functions only; no proving, and no kernel logic.
+    const privateExecutionResult = await this.#executePrivate({
+      contractFunctionSimulator,
+      txRequest,
+      anchorBlockHeader,
+      scopes,
+      changeSetId,
+      senderForTags,
+    });
+
+    let publicInputs: PrivateKernelTailCircuitPublicInputs | undefined;
+    let executionSteps: PrivateExecutionStep[] = [];
+
+    if (skipKernels) {
+      ({ publicInputs, executionSteps } = await generateSimulatedProvingResult(
+        privateExecutionResult,
+        (addr, sel) => this.#getDebugFunctionName(addr, sel, anchorBlockHeader),
+        this.node,
+      ));
+    } else {
+      // Kernel logic, plus proving of all private functions and kernels.
+      ({ publicInputs, executionSteps } = await this.#prove(
+        txRequest,
+        this.proofCreator,
+        privateExecutionResult,
+        anchorBlockHeader,
+        {
+          simulate: true,
+          skipFeeEnforcement,
+          profileMode: 'none',
+        },
+      ));
+    }
+
+    const privateSimulationResult = new PrivateSimulationResult(privateExecutionResult, publicInputs);
+    const simulatedTx = await privateSimulationResult.toSimulatedTx();
+    let publicSimulationTime: number | undefined;
+    let publicOutput: PublicSimulationOutput | undefined;
+    if (simulatePublic && publicInputs.forPublic) {
+      const publicSimulationTimer = new Timer();
+      publicOutput = await this.#simulatePublicCalls(simulatedTx, skipFeeEnforcement, overrides);
+      publicSimulationTime = publicSimulationTimer.ms();
+      if (publicOutput?.debugLogs?.length) {
+        await displayDebugLogs(publicOutput.debugLogs, addr => this.#getDebugContractName(addr, anchorBlockHeader));
+      }
+    }
+
+    let validationTime: number | undefined;
+    if (!skipTxValidation) {
+      const validationTimer = new Timer();
+      const validationResult = await this.node.isValidTx(simulatedTx, { isSimulation: true, skipFeeEnforcement });
+      validationTime = validationTimer.ms();
+      if (validationResult.result === 'invalid') {
+        const reason = validationResult.reason.length > 0 ? ` Reason: ${validationResult.reason.join(', ')}` : '';
+        throw new Error(`The simulated transaction is unable to be added to state and is invalid.${reason}`);
+      }
+    }
+
+    const txHash = simulatedTx.getTxHash();
+
+    const totalTime = totalMs();
+
+    const perFunction = executionSteps.map(({ functionName, timings: { witgen, oracles } }) => ({
+      functionName,
+      time: witgen,
+      oracles,
+    }));
+
+    const timings: SimulationTimings = {
+      total: totalTime,
+      sync: syncTime,
+      publicSimulation: publicSimulationTime,
+      validation: validationTime,
+      perFunction,
+      unaccounted:
+        totalTime -
+        (syncTime +
+          (publicSimulationTime ?? 0) +
+          (validationTime ?? 0) +
+          perFunction.reduce((acc, { time }) => acc + time, 0)),
+    };
+
+    this.log.info(`Simulation completed for ${txHash.toString()} in ${totalTime}ms`, {
+      txHash,
+      ...txInfo,
+      ...(publicOutput
+        ? {
+            gasUsed: publicOutput.gasUsed,
+            revertCode: publicOutput.txEffect.revertCode.getCode(),
+            revertReason: publicOutput.revertReason,
+          }
+        : {}),
+    });
+
+    return TxSimulationResult.fromPrivateSimulationResultAndPublicOutput(privateSimulationResult, publicOutput, {
+      timings,
+      nodeRPCCalls: recording.stats(),
+    });
+  }
+
+  /** Describes a simulation of `txRequest` for the errors it throws. */
+  #simulateTxErrorContext(txRequest: TxExecutionRequest, opts: SimulateTxOpts): string[] {
+    return [
+      inspect(txRequest),
+      `simulatePublic=${opts.simulatePublic}`,
+      `skipTxValidation=${opts.skipTxValidation ?? false}`,
+      `scopes=${opts.scopes.map(s => s.toString()).join(', ')}`,
+    ];
+  }
+
+  /**
+   * Proves `privateExecutionResult`, the private execution of `txRequest`, within an already-open operation, and stages
+   * the sender tagging indices the tx uses.
+   */
+  async #proveTx(
+    { changeSetId, syncTime, anchorBlockHeader, recording, totalMs }: SyncedOperationContext,
+    txRequest: TxExecutionRequest,
+    privateExecutionResult: PrivateExecutionResult,
+  ): Promise<TxProvingResult> {
+    const {
+      publicInputs,
+      chonkProof,
+      executionSteps,
+      timings: { proving } = {},
+    } = await this.#prove(txRequest, this.proofCreator, privateExecutionResult, anchorBlockHeader, {
+      simulate: false,
+      skipFeeEnforcement: false,
+      profileMode: 'none',
+    });
+
+    const totalTime = totalMs();
+
+    const perFunction = executionSteps.map(({ functionName, timings: { witgen, oracles } }) => ({
+      functionName,
+      time: witgen,
+      oracles,
+    }));
+
+    const timings: ProvingTimings = {
+      total: totalTime,
+      sync: syncTime,
+      proving,
+      perFunction,
+      unaccounted:
+        totalTime - ((syncTime ?? 0) + (proving ?? 0) + perFunction.reduce((acc, { time }) => acc + time, 0)),
+    };
+
+    this.log.debug(`Proving completed in ${totalTime}ms`, { timings });
+
+    const txProvingResult = new TxProvingResult(privateExecutionResult, publicInputs, chonkProof!, {
+      timings,
+      nodeRPCCalls: recording.stats(),
+    });
+
+    // We keep track of which tagging indices we've used in this tx so that we don't repeat them in future txs
+    // (which would link them) without having to rely on this tx being mined (and us seeing the indices being used
+    // onchain).
+    // Note that this must happen _after_ proving as it requires the proof's public inputs, from which the kernels
+    // may have removed some logs due to note-nullifier squashing - this may lead to range of tagging indices we've
+    // actually used to being reduced.
+    await persistSenderTaggingIndexRangesForTx(
+      this.senderTaggingStore,
+      privateExecutionResult.entrypoint.taggingIndexRanges,
+      publicInputs,
+      () => txProvingResult.getTxHash(),
+      changeSetId,
+      this.log,
+    );
+
+    return txProvingResult;
+  }
+
   // Public API
 
   /**
@@ -977,68 +1195,17 @@ export class PXE {
     // We disable proving concurrently mostly out of caution, since it accesses some of our stores. Proving is so
     // computationally demanding that it'd be rare for someone to try to do it concurrently regardless.
     return this.operationQueue.runSynced(
-      async ({ changeSetId, syncTime, anchorBlockHeader, recording, totalMs }) => {
+      async ctx => {
         const contractFunctionSimulator = this.#getSimulatorForTx();
         privateExecutionResult = await this.#executePrivate({
           contractFunctionSimulator,
           txRequest,
-          anchorBlockHeader,
+          anchorBlockHeader: ctx.anchorBlockHeader,
           scopes,
-          changeSetId,
+          changeSetId: ctx.changeSetId,
           senderForTags,
         });
-
-        const {
-          publicInputs,
-          chonkProof,
-          executionSteps,
-          timings: { proving } = {},
-        } = await this.#prove(txRequest, this.proofCreator, privateExecutionResult, anchorBlockHeader, {
-          simulate: false,
-          skipFeeEnforcement: false,
-          profileMode: 'none',
-        });
-
-        const totalTime = totalMs();
-
-        const perFunction = executionSteps.map(({ functionName, timings: { witgen, oracles } }) => ({
-          functionName,
-          time: witgen,
-          oracles,
-        }));
-
-        const timings: ProvingTimings = {
-          total: totalTime,
-          sync: syncTime,
-          proving,
-          perFunction,
-          unaccounted:
-            totalTime - ((syncTime ?? 0) + (proving ?? 0) + perFunction.reduce((acc, { time }) => acc + time, 0)),
-        };
-
-        this.log.debug(`Proving completed in ${totalTime}ms`, { timings });
-
-        const txProvingResult = new TxProvingResult(privateExecutionResult, publicInputs, chonkProof!, {
-          timings,
-          nodeRPCCalls: recording.stats(),
-        });
-
-        // We keep track of which tagging indices we've used in this tx so that we don't repeat them in future txs
-        // (which would link them) without having to rely on this tx being mined (and us seeing the indices being used
-        // onchain).
-        // Note that this must happen _after_ proving as it requires the proof's public inputs, from which the kernels
-        // may have removed some logs due to note-nullifier squashing - this may lead to range of tagging indices we've
-        // actually used to being reduced.
-        await persistSenderTaggingIndexRangesForTx(
-          this.senderTaggingStore,
-          privateExecutionResult.entrypoint.taggingIndexRanges,
-          publicInputs,
-          () => txProvingResult.getTxHash(),
-          changeSetId,
-          this.log,
-        );
-
-        return txProvingResult;
+        return this.#proveTx(ctx, txRequest, privateExecutionResult);
       },
       { errorContext: () => [inspect(txRequest), inspect(privateExecutionResult)] },
     );
@@ -1141,148 +1308,83 @@ export class PXE {
    *
    * TODO(#7456) Prevent msgSender being defined here for the first call
    */
-  public simulateTx(
-    txRequest: TxExecutionRequest,
-    {
-      simulatePublic,
-      skipTxValidation = false,
-      skipFeeEnforcement = false,
-      skipKernels = true,
-      overrides,
-      scopes,
-      senderForTags,
-    }: SimulateTxOpts,
-  ): Promise<TxSimulationResult> {
+  public simulateTx(txRequest: TxExecutionRequest, opts: SimulateTxOpts): Promise<TxSimulationResult> {
     // We disable concurrent simulations since those might execute oracles which read and write to the PXE stores (e.g.
     // to the capsules), and we need to prevent concurrent runs from interfering with one another (e.g. attempting to
     // delete the same read value, or reading values that another simulation is currently modifying).
-    return this.operationQueue.runSynced(
-      async ({ changeSetId, syncTime, anchorBlockHeader, recording, totalMs }) => {
-        const txInfo = {
-          origin: txRequest.origin,
-          functionSelector: txRequest.functionSelector,
-          simulatePublic,
-          chainId: txRequest.txContext.chainId,
-          version: txRequest.txContext.version,
-          authWitnesses: txRequest.authWitnesses.map(w => w.requestHash),
-        };
-        this.log.info(
-          `Simulating transaction execution request to ${txRequest.functionSelector} at ${txRequest.origin}`,
-          txInfo,
-        );
-
-        if (overrides?.contracts && Object.keys(overrides.contracts).length > 0 && !skipKernels) {
-          throw new Error(
-            'Simulating with overridden contracts is not compatible with kernel execution. Please set skipKernels to true when simulating with overridden contracts.',
-          );
-        }
-        const contractFunctionSimulator = this.#getSimulatorForTx(overrides);
-
-        // Execution of private functions only; no proving, and no kernel logic.
-        const privateExecutionResult = await this.#executePrivate({
-          contractFunctionSimulator,
-          txRequest,
-          anchorBlockHeader,
-          scopes,
-          changeSetId,
-          senderForTags,
-        });
+    return this.operationQueue.runSynced(ctx => this.#simulateTx(ctx, txRequest, opts), {
+      errorContext: () => this.#simulateTxErrorContext(txRequest, opts),
+    });
+  }
 
-        let publicInputs: PrivateKernelTailCircuitPublicInputs | undefined;
-        let executionSteps: PrivateExecutionStep[] = [];
+  /**
+   * Combination of `simulateTx` and `proveTx`: a simulation is executed, its results inspected to produce a provable
+   * transaction, followed by witness generation and proof.
+   *
+   * The entire sequence runs as a single atomic PXE operation, with no private state sync between simulation and
+   * witness generation, resulting in them running over identical environments (e.g. the note store, tagging indices,
+   * etc.).
+   *
+   * The simulation result is passed to a `prepareProve` callback, which then returns the input to the equivalent
+   * `proveTx` call. Due to the atomic nature of this function, `prepareProve` must NOT call any PXE function, as that
+   * would result in a deadlock.
+   */
+  public simulateAndProveTx(
+    simulationTxRequest: TxExecutionRequest,
+    { prepareProve, ...simulateOpts }: SimulateAndProveTxOpts,
+  ): Promise<TxProvingResult> {
+    let proveTxRequest: TxExecutionRequest | undefined;
+    let privateExecutionResult: PrivateExecutionResult | undefined;
+
+    // We run the entire thing as a single operation, which blocks the queue. There are two other possible paths we
+    // could take here:
+    //  a) decouple the queue from a changeset to commit. This would let us hold the queue and have two changesets, one
+    //     for the simulation and its corresponding sync, and one for the prove. In case of failure of either the
+    //     `prepareProve` callback (e.g. user rejection) or the proof itself, we'd still have committed the simulation
+    //     work, including the private state sync, which could save time in future runs.
+    //  b) make this be two separate jobs, releasing the queue in between, but holding a second lock which would prevent
+    //     PXE from updating its anchor block and therefore re-syncing contracts. In the case of a long-running
+    //     callback, other unrelated operations (e.g. utility call invocations) would still be able to go through.
+    //
+    // We're not currently taking either of these paths due to uncertainty on this even being a good primitive for PXE
+    // to expose to wallets, and to not invest too heavily in this direction (as both approaches would require
+    // refactoring). Additionally, the gains those approaches provide are currently not valuable: for a) we expect it to
+    // be unlikely for a follow-up simulation to be executed on the same anchor block as the first one, so committing
+    // the sync achieves little if anything, and for b) the callback is expected to be fairly quick, and for there to be
+    // no need to execute any other PXE calls while it runs.
 
-        if (skipKernels) {
-          ({ publicInputs, executionSteps } = await generateSimulatedProvingResult(
-            privateExecutionResult,
-            (addr, sel) => this.#getDebugFunctionName(addr, sel, anchorBlockHeader),
-            this.node,
-          ));
-        } else {
-          // Kernel logic, plus proving of all private functions and kernels.
-          ({ publicInputs, executionSteps } = await this.#prove(
-            txRequest,
-            this.proofCreator,
+    return this.operationQueue.runSynced(
+      async ctx => {
+        const simulationResult = await this.#simulateTx(ctx, simulationTxRequest, simulateOpts);
+        let proveOpts: ProveTxOpts;
+        ({ proveTxRequest, proveOpts } = await prepareProve(simulationResult));
+
+        // The proving result's timings and node stats must cover proving alone, not the simulation before it.
+        const provingTimer = new Timer();
+        const recording = this.node.startRecording();
+        try {
+          privateExecutionResult = await this.#executePrivate({
+            contractFunctionSimulator: this.#getSimulatorForTx(),
+            txRequest: proveTxRequest,
+            anchorBlockHeader: ctx.anchorBlockHeader,
+            scopes: proveOpts.scopes,
+            changeSetId: ctx.changeSetId,
+            senderForTags: proveOpts.senderForTags,
+          });
+          return await this.#proveTx(
+            { ...ctx, syncTime: 0, recording, totalMs: () => provingTimer.ms() },
+            proveTxRequest,
             privateExecutionResult,
-            anchorBlockHeader,
-            {
-              simulate: true,
-              skipFeeEnforcement,
-              profileMode: 'none',
-            },
-          ));
-        }
-
-        const privateSimulationResult = new PrivateSimulationResult(privateExecutionResult, publicInputs);
-        const simulatedTx = await privateSimulationResult.toSimulatedTx();
-        let publicSimulationTime: number | undefined;
-        let publicOutput: PublicSimulationOutput | undefined;
-        if (simulatePublic && publicInputs.forPublic) {
-          const publicSimulationTimer = new Timer();
-          publicOutput = await this.#simulatePublicCalls(simulatedTx, skipFeeEnforcement, overrides);
-          publicSimulationTime = publicSimulationTimer.ms();
-          if (publicOutput?.debugLogs?.length) {
-            await displayDebugLogs(publicOutput.debugLogs, addr => this.#getDebugContractName(addr, anchorBlockHeader));
-          }
-        }
-
-        let validationTime: number | undefined;
-        if (!skipTxValidation) {
-          const validationTimer = new Timer();
-          const validationResult = await this.node.isValidTx(simulatedTx, { isSimulation: true, skipFeeEnforcement });
-          validationTime = validationTimer.ms();
-          if (validationResult.result === 'invalid') {
-            const reason = validationResult.reason.length > 0 ? ` Reason: ${validationResult.reason.join(', ')}` : '';
-            throw new Error(`The simulated transaction is unable to be added to state and is invalid.${reason}`);
-          }
+          );
+        } finally {
+          recording.stop();
         }
-
-        const txHash = simulatedTx.getTxHash();
-
-        const totalTime = totalMs();
-
-        const perFunction = executionSteps.map(({ functionName, timings: { witgen, oracles } }) => ({
-          functionName,
-          time: witgen,
-          oracles,
-        }));
-
-        const timings: SimulationTimings = {
-          total: totalTime,
-          sync: syncTime,
-          publicSimulation: publicSimulationTime,
-          validation: validationTime,
-          perFunction,
-          unaccounted:
-            totalTime -
-            (syncTime +
-              (publicSimulationTime ?? 0) +
-              (validationTime ?? 0) +
-              perFunction.reduce((acc, { time }) => acc + time, 0)),
-        };
-
-        this.log.info(`Simulation completed for ${txHash.toString()} in ${totalTime}ms`, {
-          txHash,
-          ...txInfo,
-          ...(publicOutput
-            ? {
-                gasUsed: publicOutput.gasUsed,
-                revertCode: publicOutput.txEffect.revertCode.getCode(),
-                revertReason: publicOutput.revertReason,
-              }
-            : {}),
-        });
-
-        return TxSimulationResult.fromPrivateSimulationResultAndPublicOutput(privateSimulationResult, publicOutput, {
-          timings,
-          nodeRPCCalls: recording.stats(),
-        });
       },
       {
         errorContext: () => [
-          inspect(txRequest),
-          `simulatePublic=${simulatePublic}`,
-          `skipTxValidation=${skipTxValidation}`,
-          `scopes=${scopes.map(s => s.toString()).join(', ')}`,
+          ...this.#simulateTxErrorContext(simulationTxRequest, simulateOpts),
+          inspect(proveTxRequest),
+          inspect(privateExecutionResult),
         ],
       },
     );