@aztec/pxe 0.0.1-commit.f504929 → 0.0.1-commit.f5a9928

package/dest/contract_function_simulator/noir-structs/option.js

@@ -0,0 +1,67 @@
+/**
+ * TypeScript counterpart of Noir's `Option<T>`.
+ *
+ * Wraps a value that may or may not be present. Use {@link Option.some} to wrap a present value and
+ * {@link Option.none} for an absent one. The type guards {@link isSome} and {@link isNone} narrow
+ * `value` in conditional branches.
+ */ export class Option {
+    value;
+    size;
+    constructor(value, // `unknown` (not the descriptor shape) keeps this generic Option decoupled from the serialization layer's
+    // `{ length }`/`{ maxLength }` size descriptors; only the None-serialization path inspects it.
+    size){
+        this.value = value;
+        this.size = size;
+    }
+    /**
+   * Wrap a present value.
+   *
+   * @example
+   * ```ts
+   * return Option.some(values);
+   * ```
+   */ static some(value) {
+        return new Option(value, undefined);
+    }
+    /**
+   * Construct an absent Option.
+   *
+   * When serialized back to ACVM, the `None` case must produce the same number of fields as `Some`. For an inner type whose
+   * wire size varies per call site (`BoundedVec`, an array), pass a `size` descriptor so the inner type's shape can
+   * resolve how many zero fields to emit; fixed-size inners take no argument.
+   *
+   * @example None for a fixed-size type:
+   * ```ts
+   * return Option.none();
+   * ```
+   *
+   * @example None for a dynamic-size type:
+   * ```ts
+   * return Option.none({ maxLength: ciphertext.maxLength });
+   * ```
+   */ static none(size) {
+        return new Option(undefined, size);
+    }
+    /**
+   * Type guard: narrows `value` to `T` in the truthy branch.
+   *
+   * @example
+   * ```ts
+   * const opt = await handler.getSenderForTags();
+   * if (opt.isSome()) {
+   *   console.log(opt.value); // narrowed to T
+   * }
+   * ```
+   */ isSome() {
+        return this.value !== undefined;
+    }
+    /** Type guard: narrows `value` to `undefined` in the truthy branch. */ isNone() {
+        return this.value === undefined;
+    }
+    equals(other, innerEquals) {
+        if (this.isSome() && other.isSome()) {
+            return innerEquals(this.value, other.value);
+        }
+        return this.isNone() && other.isNone();
+    }
+}

package/dest/contract_function_simulator/noir-structs/origin_block.d.ts

@@ -0,0 +1,11 @@
+import type { Fr } from '@aztec/foundation/curves/bn254';
+/**
+ * The block a retractable fact originates from.
+ *
+ * A TS version of the `OriginBlock` struct in `facts/mod.nr`.
+ */
+export type OriginBlock = {
+    blockNumber: number;
+    blockHash: Fr;
+};
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoib3JpZ2luX2Jsb2NrLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi8uLi9zcmMvY29udHJhY3RfZnVuY3Rpb25fc2ltdWxhdG9yL25vaXItc3RydWN0cy9vcmlnaW5fYmxvY2sudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsT0FBTyxLQUFLLEVBQUUsRUFBRSxFQUFFLE1BQU0sZ0NBQWdDLENBQUM7QUFFekQ7Ozs7R0FJRztBQUNILE1BQU0sTUFBTSxXQUFXLEdBQUc7SUFBRSxXQUFXLEVBQUUsTUFBTSxDQUFDO0lBQUMsU0FBUyxFQUFFLEVBQUUsQ0FBQTtDQUFFLENBQUMifQ==

package/dest/contract_function_simulator/noir-structs/origin_block.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"origin_block.d.ts","sourceRoot":"","sources":["../../../src/contract_function_simulator/noir-structs/origin_block.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AAEzD;;;;GAIG;AACH,MAAM,MAAM,WAAW,GAAG;IAAE,WAAW,EAAE,MAAM,CAAC;IAAC,SAAS,EAAE,EAAE,CAAA;CAAE,CAAC"}

package/dest/contract_function_simulator/noir-structs/origin_block.js

@@ -0,0 +1,5 @@
+/**
+ * The block a retractable fact originates from.
+ *
+ * A TS version of the `OriginBlock` struct in `facts/mod.nr`.
+ */ export { };

package/dest/contract_function_simulator/noir-structs/pending_tagged_log.d.ts

@@ -0,0 +1,11 @@
+import type { Fr } from '@aztec/foundation/curves/bn254';
+import type { ResolvedTx } from './resolved_tx.js';
+/**
+ * Represents a pending tagged log as it is stored in the pending tagged log array to which the fetchTaggedLogs oracle
+ * inserts found private logs. A TS version of `pending_tagged_log.nr`.
+ */
+export type PendingTaggedLog = {
+    log: Fr[];
+    context: ResolvedTx;
+};
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicGVuZGluZ190YWdnZWRfbG9nLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi8uLi9zcmMvY29udHJhY3RfZnVuY3Rpb25fc2ltdWxhdG9yL25vaXItc3RydWN0cy9wZW5kaW5nX3RhZ2dlZF9sb2cudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsT0FBTyxLQUFLLEVBQUUsRUFBRSxFQUFFLE1BQU0sZ0NBQWdDLENBQUM7QUFFekQsT0FBTyxLQUFLLEVBQUUsVUFBVSxFQUFFLE1BQU0sa0JBQWtCLENBQUM7QUFFbkQ7OztHQUdHO0FBQ0gsTUFBTSxNQUFNLGdCQUFnQixHQUFHO0lBQzdCLEdBQUcsRUFBRSxFQUFFLEVBQUUsQ0FBQztJQUNWLE9BQU8sRUFBRSxVQUFVLENBQUM7Q0FDckIsQ0FBQyJ9

package/dest/contract_function_simulator/noir-structs/pending_tagged_log.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"pending_tagged_log.d.ts","sourceRoot":"","sources":["../../../src/contract_function_simulator/noir-structs/pending_tagged_log.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AAEzD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAEnD;;;GAGG;AACH,MAAM,MAAM,gBAAgB,GAAG;IAC7B,GAAG,EAAE,EAAE,EAAE,CAAC;IACV,OAAO,EAAE,UAAU,CAAC;CACrB,CAAC"}

package/dest/contract_function_simulator/noir-structs/pending_tagged_log.js

@@ -0,0 +1,4 @@
+/**
+ * Represents a pending tagged log as it is stored in the pending tagged log array to which the fetchTaggedLogs oracle
+ * inserts found private logs. A TS version of `pending_tagged_log.nr`.
+ */ export { };

package/dest/contract_function_simulator/noir-structs/provided_secret.d.ts

@@ -0,0 +1,8 @@
+import type { Fr } from '@aztec/foundation/curves/bn254';
+import type { AppTaggingSecretKind } from '@aztec/stdlib/logs';
+/** A tagging secret an app supplies explicitly to `getPendingTaggedLogsV2` when PXE cannot derive it internally. */
+export type ProvidedSecret = {
+    secret: Fr;
+    mode: AppTaggingSecretKind;
+};
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicHJvdmlkZWRfc2VjcmV0LmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi8uLi9zcmMvY29udHJhY3RfZnVuY3Rpb25fc2ltdWxhdG9yL25vaXItc3RydWN0cy9wcm92aWRlZF9zZWNyZXQudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsT0FBTyxLQUFLLEVBQUUsRUFBRSxFQUFFLE1BQU0sZ0NBQWdDLENBQUM7QUFDekQsT0FBTyxLQUFLLEVBQUUsb0JBQW9CLEVBQUUsTUFBTSxvQkFBb0IsQ0FBQztBQUUvRCxvSEFBb0g7QUFDcEgsTUFBTSxNQUFNLGNBQWMsR0FBRztJQUFFLE1BQU0sRUFBRSxFQUFFLENBQUM7SUFBQyxJQUFJLEVBQUUsb0JBQW9CLENBQUE7Q0FBRSxDQUFDIn0=

package/dest/contract_function_simulator/noir-structs/provided_secret.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"provided_secret.d.ts","sourceRoot":"","sources":["../../../src/contract_function_simulator/noir-structs/provided_secret.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AACzD,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,oBAAoB,CAAC;AAE/D,oHAAoH;AACpH,MAAM,MAAM,cAAc,GAAG;IAAE,MAAM,EAAE,EAAE,CAAC;IAAC,IAAI,EAAE,oBAAoB,CAAA;CAAE,CAAC"}

package/dest/contract_function_simulator/noir-structs/provided_secret.js

@@ -0,0 +1 @@
+/** A tagging secret an app supplies explicitly to `getPendingTaggedLogsV2` when PXE cannot derive it internally. */ export { };

package/dest/contract_function_simulator/noir-structs/resolved_tagging_strategy.d.ts

@@ -0,0 +1,28 @@
+import { Fr } from '@aztec/foundation/curves/bn254';
+/**
+ * The tagging secret PXE hands to the contract after applying the wallet's {@link TaggingSecretStrategy} choice
+ * (and app-siloing). The contract uses it directly to derive the message tag, so it never sees raw key material.
+ */
+export type ResolvedTaggingStrategy = {
+    /** A non-interactive handshake: the recipient re-derives the secret from the onchain handshake registry. */
+    type: 'non-interactive-handshake';
+} | {
+    /**
+     * An interactive handshake: the registry obtains the recipient's signed authorization through the custom
+     * request oracle, and the recipient learns the secret while signing. Nothing announcing the handshake is
+     * published onchain.
+     */
+    type: 'interactive-handshake';
+} | {
+    /**
+     * An app-siloed, recipient-directional secret, ready to use. Only sound for unconstrained delivery.
+     */
+    type: 'unconstrained-secret';
+    /** The app-siloed directional tagging secret. */
+    secret: Fr;
+};
+/** Serializes a {@link ResolvedTaggingStrategy} to its Noir `[kind, secret]` field layout, zero-filling absent fields. */
+export declare function resolvedTaggingStrategyToFields(resolved: ResolvedTaggingStrategy): Fr[];
+/** Deserializes a {@link ResolvedTaggingStrategy} from its `kind` discriminant and `secret` field. */
+export declare function resolvedTaggingStrategyFromFields(kind: number, secret: Fr): ResolvedTaggingStrategy;
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicmVzb2x2ZWRfdGFnZ2luZ19zdHJhdGVneS5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vLi4vc3JjL2NvbnRyYWN0X2Z1bmN0aW9uX3NpbXVsYXRvci9ub2lyLXN0cnVjdHMvcmVzb2x2ZWRfdGFnZ2luZ19zdHJhdGVneS50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxPQUFPLEVBQUUsRUFBRSxFQUFFLE1BQU0sZ0NBQWdDLENBQUM7QUFPcEQ7OztHQUdHO0FBQ0gsTUFBTSxNQUFNLHVCQUF1QixHQUMvQjtJQUNFLDRHQUE0RztJQUM1RyxJQUFJLEVBQUUsMkJBQTJCLENBQUM7Q0FDbkMsR0FDRDtJQUNFOzs7O09BSUc7SUFDSCxJQUFJLEVBQUUsdUJBQXVCLENBQUM7Q0FDL0IsR0FDRDtJQUNFOztPQUVHO0lBQ0gsSUFBSSxFQUFFLHNCQUFzQixDQUFDO0lBQzdCLGlEQUFpRDtJQUNqRCxNQUFNLEVBQUUsRUFBRSxDQUFDO0NBQ1osQ0FBQztBQUVOLDBIQUEwSDtBQUMxSCx3QkFBZ0IsK0JBQStCLENBQUMsUUFBUSxFQUFFLHVCQUF1QixHQUFHLEVBQUUsRUFBRSxDQVN2RjtBQUVELHNHQUFzRztBQUN0Ryx3QkFBZ0IsaUNBQWlDLENBQUMsSUFBSSxFQUFFLE1BQU0sRUFBRSxNQUFNLEVBQUUsRUFBRSxHQUFHLHVCQUF1QixDQWFuRyJ9

package/dest/contract_function_simulator/noir-structs/resolved_tagging_strategy.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"resolved_tagging_strategy.d.ts","sourceRoot":"","sources":["../../../src/contract_function_simulator/noir-structs/resolved_tagging_strategy.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AAOpD;;;GAGG;AACH,MAAM,MAAM,uBAAuB,GAC/B;IACE,4GAA4G;IAC5G,IAAI,EAAE,2BAA2B,CAAC;CACnC,GACD;IACE;;;;OAIG;IACH,IAAI,EAAE,uBAAuB,CAAC;CAC/B,GACD;IACE;;OAEG;IACH,IAAI,EAAE,sBAAsB,CAAC;IAC7B,iDAAiD;IACjD,MAAM,EAAE,EAAE,CAAC;CACZ,CAAC;AAEN,0HAA0H;AAC1H,wBAAgB,+BAA+B,CAAC,QAAQ,EAAE,uBAAuB,GAAG,EAAE,EAAE,CASvF;AAED,sGAAsG;AACtG,wBAAgB,iCAAiC,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,GAAG,uBAAuB,CAanG"}

package/dest/contract_function_simulator/noir-structs/resolved_tagging_strategy.js

@@ -0,0 +1,50 @@
+import { Fr } from '@aztec/foundation/curves/bn254';
+// Keep in sync with aztec::messages::delivery::ResolvedTaggingStrategy
+const NON_INTERACTIVE_HANDSHAKE = 1;
+const UNCONSTRAINED_SECRET = 2;
+const INTERACTIVE_HANDSHAKE = 3;
+/** Serializes a {@link ResolvedTaggingStrategy} to its Noir `[kind, secret]` field layout, zero-filling absent fields. */ export function resolvedTaggingStrategyToFields(resolved) {
+    switch(resolved.type){
+        case 'non-interactive-handshake':
+            return [
+                new Fr(NON_INTERACTIVE_HANDSHAKE),
+                Fr.ZERO
+            ];
+        case 'unconstrained-secret':
+            return [
+                new Fr(UNCONSTRAINED_SECRET),
+                resolved.secret
+            ];
+        case 'interactive-handshake':
+            return [
+                new Fr(INTERACTIVE_HANDSHAKE),
+                Fr.ZERO
+            ];
+    }
+}
+/** Deserializes a {@link ResolvedTaggingStrategy} from its `kind` discriminant and `secret` field. */ export function resolvedTaggingStrategyFromFields(kind, secret) {
+    switch(kind){
+        case NON_INTERACTIVE_HANDSHAKE:
+            assertAbsentSecret(kind, secret);
+            return {
+                type: 'non-interactive-handshake'
+            };
+        case INTERACTIVE_HANDSHAKE:
+            assertAbsentSecret(kind, secret);
+            return {
+                type: 'interactive-handshake'
+            };
+        case UNCONSTRAINED_SECRET:
+            return {
+                type: 'unconstrained-secret',
+                secret
+            };
+        default:
+            throw new Error(`Unrecognized resolved tagging strategy kind: ${kind}`);
+    }
+}
+function assertAbsentSecret(kind, secret) {
+    if (!secret.isZero()) {
+        throw new Error(`Resolved tagging strategy ${kind} must not include a secret`);
+    }
+}

package/dest/contract_function_simulator/noir-structs/resolved_tx.d.ts

@@ -0,0 +1,19 @@
+import type { Fr } from '@aztec/foundation/curves/bn254';
+import type { TxHash } from '@aztec/stdlib/tx';
+/**
+ * The resolved on-chain context of a transaction.
+ *
+ * Carries the note hashes and first nullifier needed to discover notes that originated from the transaction, plus the
+ * number and hash of the block in which it was mined.
+ *
+ * A TS version of the `ResolvedTx` struct in `oracle/tx_resolution.nr`; its wire layout lives in the `RESOLVED_TX`
+ * type mapping.
+ */
+export type ResolvedTx = {
+    txHash: TxHash;
+    uniqueNoteHashesInTx: Fr[];
+    firstNullifierInTx: Fr;
+    blockNumber: number;
+    blockHash: Fr;
+};
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicmVzb2x2ZWRfdHguZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9jb250cmFjdF9mdW5jdGlvbl9zaW11bGF0b3Ivbm9pci1zdHJ1Y3RzL3Jlc29sdmVkX3R4LnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sS0FBSyxFQUFFLEVBQUUsRUFBRSxNQUFNLGdDQUFnQyxDQUFDO0FBQ3pELE9BQU8sS0FBSyxFQUFFLE1BQU0sRUFBRSxNQUFNLGtCQUFrQixDQUFDO0FBRS9DOzs7Ozs7OztHQVFHO0FBQ0gsTUFBTSxNQUFNLFVBQVUsR0FBRztJQUN2QixNQUFNLEVBQUUsTUFBTSxDQUFDO0lBQ2Ysb0JBQW9CLEVBQUUsRUFBRSxFQUFFLENBQUM7SUFDM0Isa0JBQWtCLEVBQUUsRUFBRSxDQUFDO0lBQ3ZCLFdBQVcsRUFBRSxNQUFNLENBQUM7SUFDcEIsU0FBUyxFQUFFLEVBQUUsQ0FBQztDQUNmLENBQUMifQ==

package/dest/contract_function_simulator/noir-structs/resolved_tx.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"resolved_tx.d.ts","sourceRoot":"","sources":["../../../src/contract_function_simulator/noir-structs/resolved_tx.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AACzD,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAE/C;;;;;;;;GAQG;AACH,MAAM,MAAM,UAAU,GAAG;IACvB,MAAM,EAAE,MAAM,CAAC;IACf,oBAAoB,EAAE,EAAE,EAAE,CAAC;IAC3B,kBAAkB,EAAE,EAAE,CAAC;IACvB,WAAW,EAAE,MAAM,CAAC;IACpB,SAAS,EAAE,EAAE,CAAC;CACf,CAAC"}

package/dest/contract_function_simulator/noir-structs/resolved_tx.js

@@ -0,0 +1,9 @@
+/**
+ * The resolved on-chain context of a transaction.
+ *
+ * Carries the note hashes and first nullifier needed to discover notes that originated from the transaction, plus the
+ * number and hash of the block in which it was mined.
+ *
+ * A TS version of the `ResolvedTx` struct in `oracle/tx_resolution.nr`; its wire layout lives in the `RESOLVED_TX`
+ * type mapping.
+ */ export { };

package/dest/contract_function_simulator/noir-structs/tx_effect_data.d.ts

@@ -0,0 +1,15 @@
+import type { FieldsOf } from '@aztec/foundation/types';
+import type { FlatPublicLogs } from '@aztec/stdlib/logs';
+import type { TxEffect } from '@aztec/stdlib/tx';
+import type { ContractClassLogData } from './contract_class_log_data.js';
+/**
+ * Wire form of a {@link TxEffect} as the `getTxEffect` oracle returns it: identical to the domain type except its logs
+ * are flattened to their Noir layout and its revert code is the plain `u8` Noir declares. Keeping the conversion in
+ * the handler lets the `TX_EFFECT` mapping stay purely structural.
+ */
+export type TxEffectData = Omit<FieldsOf<TxEffect>, 'revertCode' | 'publicLogs' | 'contractClassLogs'> & {
+    revertCode: number;
+    publicLogs: FlatPublicLogs;
+    contractClassLogs: ContractClassLogData[];
+};
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoidHhfZWZmZWN0X2RhdGEuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9jb250cmFjdF9mdW5jdGlvbl9zaW11bGF0b3Ivbm9pci1zdHJ1Y3RzL3R4X2VmZmVjdF9kYXRhLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sS0FBSyxFQUFFLFFBQVEsRUFBRSxNQUFNLHlCQUF5QixDQUFDO0FBQ3hELE9BQU8sS0FBSyxFQUFFLGNBQWMsRUFBRSxNQUFNLG9CQUFvQixDQUFDO0FBQ3pELE9BQU8sS0FBSyxFQUFFLFFBQVEsRUFBRSxNQUFNLGtCQUFrQixDQUFDO0FBRWpELE9BQU8sS0FBSyxFQUFFLG9CQUFvQixFQUFFLE1BQU0sOEJBQThCLENBQUM7QUFFekU7Ozs7R0FJRztBQUNILE1BQU0sTUFBTSxZQUFZLEdBQUcsSUFBSSxDQUFDLFFBQVEsQ0FBQyxRQUFRLENBQUMsRUFBRSxZQUFZLEdBQUcsWUFBWSxHQUFHLG1CQUFtQixDQUFDLEdBQUc7SUFDdkcsVUFBVSxFQUFFLE1BQU0sQ0FBQztJQUNuQixVQUFVLEVBQUUsY0FBYyxDQUFDO0lBQzNCLGlCQUFpQixFQUFFLG9CQUFvQixFQUFFLENBQUM7Q0FDM0MsQ0FBQyJ9

package/dest/contract_function_simulator/noir-structs/tx_effect_data.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"tx_effect_data.d.ts","sourceRoot":"","sources":["../../../src/contract_function_simulator/noir-structs/tx_effect_data.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AACxD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AACzD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAEjD,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,8BAA8B,CAAC;AAEzE;;;;GAIG;AACH,MAAM,MAAM,YAAY,GAAG,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,YAAY,GAAG,YAAY,GAAG,mBAAmB,CAAC,GAAG;IACvG,UAAU,EAAE,MAAM,CAAC;IACnB,UAAU,EAAE,cAAc,CAAC;IAC3B,iBAAiB,EAAE,oBAAoB,EAAE,CAAC;CAC3C,CAAC"}

package/dest/contract_function_simulator/noir-structs/tx_effect_data.js

@@ -0,0 +1,5 @@
+/**
+ * Wire form of a {@link TxEffect} as the `getTxEffect` oracle returns it: identical to the domain type except its logs
+ * are flattened to their Noir layout and its revert code is the plain `u8` Noir declares. Keeping the conversion in
+ * the handler lets the `TX_EFFECT` mapping stay purely structural.
+ */ export { };

package/dest/contract_function_simulator/noir-structs/utility_context.d.ts

@@ -3,14 +3,9 @@ import type { BlockHeader } from '@aztec/stdlib/tx';
 /**
  * TypeScript counterpart of utility_context.nr. Used only as a return value for the utilityGetUtilityContext oracle.
  */
-export declare class UtilityContext {
-    readonly blockHeader: BlockHeader;
-    readonly contractAddress: AztecAddress;
-    constructor(blockHeader: BlockHeader, contractAddress: AztecAddress);
-    /**
-     * Returns a representation of the utility context as expected by intrinsic Noir deserialization.
-     * The order of the fields has to be the same as the order of the fields in the utility_context.nr.
-     */
-    toNoirRepresentation(): (string | string[])[];
-}
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoidXRpbGl0eV9jb250ZXh0LmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi8uLi9zcmMvY29udHJhY3RfZnVuY3Rpb25fc2ltdWxhdG9yL25vaXItc3RydWN0cy91dGlsaXR5X2NvbnRleHQudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQ0EsT0FBTyxLQUFLLEVBQUUsWUFBWSxFQUFFLE1BQU0sNkJBQTZCLENBQUM7QUFDaEUsT0FBTyxLQUFLLEVBQUUsV0FBVyxFQUFFLE1BQU0sa0JBQWtCLENBQUM7QUFFcEQ7O0dBRUc7QUFDSCxxQkFBYSxjQUFjO2FBRVAsV0FBVyxFQUFFLFdBQVc7YUFDeEIsZUFBZSxFQUFFLFlBQVk7SUFGL0MsWUFDa0IsV0FBVyxFQUFFLFdBQVcsRUFDeEIsZUFBZSxFQUFFLFlBQVksRUFDM0M7SUFFSjs7O09BR0c7SUFDSSxvQkFBb0IsSUFBSSxDQUFDLE1BQU0sR0FBRyxNQUFNLEVBQUUsQ0FBQyxFQUFFLENBSW5EO0NBQ0YifQ==
+export type UtilityContext = {
+    blockHeader: BlockHeader;
+    contractAddress: AztecAddress;
+    msgSender: AztecAddress;
+};
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoidXRpbGl0eV9jb250ZXh0LmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi8uLi9zcmMvY29udHJhY3RfZnVuY3Rpb25fc2ltdWxhdG9yL25vaXItc3RydWN0cy91dGlsaXR5X2NvbnRleHQudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsT0FBTyxLQUFLLEVBQUUsWUFBWSxFQUFFLE1BQU0sNkJBQTZCLENBQUM7QUFDaEUsT0FBTyxLQUFLLEVBQUUsV0FBVyxFQUFFLE1BQU0sa0JBQWtCLENBQUM7QUFFcEQ7O0dBRUc7QUFDSCxNQUFNLE1BQU0sY0FBYyxHQUFHO0lBQzNCLFdBQVcsRUFBRSxXQUFXLENBQUM7SUFDekIsZUFBZSxFQUFFLFlBQVksQ0FBQztJQUM5QixTQUFTLEVBQUUsWUFBWSxDQUFDO0NBQ3pCLENBQUMifQ==

package/dest/contract_function_simulator/noir-structs/utility_context.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"utility_context.d.ts","sourceRoot":"","sources":["../../../src/contract_function_simulator/noir-structs/utility_context.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAChE,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAEpD;;GAEG;AACH,qBAAa,cAAc;aAEP,WAAW,EAAE,WAAW;aACxB,eAAe,EAAE,YAAY;IAF/C,YACkB,WAAW,EAAE,WAAW,EACxB,eAAe,EAAE,YAAY,EAC3C;IAEJ;;;OAGG;IACI,oBAAoB,IAAI,CAAC,MAAM,GAAG,MAAM,EAAE,CAAC,EAAE,CAInD;CACF"}
+{"version":3,"file":"utility_context.d.ts","sourceRoot":"","sources":["../../../src/contract_function_simulator/noir-structs/utility_context.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAChE,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAEpD;;GAEG;AACH,MAAM,MAAM,cAAc,GAAG;IAC3B,WAAW,EAAE,WAAW,CAAC;IACzB,eAAe,EAAE,YAAY,CAAC;IAC9B,SAAS,EAAE,YAAY,CAAC;CACzB,CAAC"}

package/dest/contract_function_simulator/noir-structs/utility_context.js

@@ -1,22 +1,3 @@
-import { toACVMField } from '@aztec/simulator/client';
 /**
  * TypeScript counterpart of utility_context.nr. Used only as a return value for the utilityGetUtilityContext oracle.
- */ export class UtilityContext {
-    blockHeader;
-    contractAddress;
-    constructor(blockHeader, contractAddress){
-        this.blockHeader = blockHeader;
-        this.contractAddress = contractAddress;
-    }
-    /**
-   * Returns a representation of the utility context as expected by intrinsic Noir deserialization.
-   * The order of the fields has to be the same as the order of the fields in the utility_context.nr.
-   */ toNoirRepresentation() {
-        // TODO(#12874): remove the stupid as string conversion by modifying ForeignCallOutput type in acvm.js
-        const blockHeaderFields = this.blockHeader.toFields().map(toACVMField);
-        return [
-            ...blockHeaderFields,
-            this.contractAddress.toString()
-        ];
-    }
-}
+ */ export { };

package/dest/contract_function_simulator/oracle/acir_callback.d.ts

@@ -0,0 +1,21 @@
+import type { ACIRCallback } from '@aztec/simulator/client';
+import type { IMiscOracle, IPrivateExecutionOracle, IUtilityExecutionOracle } from './interfaces.js';
+import { type LegacyOracleEntry } from './legacy_oracle_registry.js';
+import { type OracleRegistryEntry } from './oracle_registry.js';
+export declare class UnavailableOracleError extends Error {
+    constructor(oracleName: string);
+}
+/**
+ * Builds an ACIR callback from the oracle registry and a handler object.
+ *
+ * Each oracle call is dispatched by matching the oracle name against the registry for serialization, parsing the
+ * `aztec_{scope}_{methodName}` convention to resolve the handler, and calling the method directly. Unknown oracle
+ * names produce enhanced error messages based on the contract's oracle version.
+ */
+export declare function buildACIRCallback(handler: OracleHandler, registries?: {
+    real?: Record<string, OracleRegistryEntry>;
+    legacy?: Record<string, LegacyOracleEntry>;
+}): ACIRCallback;
+type OracleHandler = IMiscOracle & (IUtilityExecutionOracle | IPrivateExecutionOracle);
+export {};
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiYWNpcl9jYWxsYmFjay5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vLi4vc3JjL2NvbnRyYWN0X2Z1bmN0aW9uX3NpbXVsYXRvci9vcmFjbGUvYWNpcl9jYWxsYmFjay50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxPQUFPLEtBQUssRUFBRSxZQUFZLEVBQWEsTUFBTSx5QkFBeUIsQ0FBQztBQUd2RSxPQUFPLEtBQUssRUFBRSxXQUFXLEVBQUUsdUJBQXVCLEVBQUUsdUJBQXVCLEVBQUUsTUFBTSxpQkFBaUIsQ0FBQztBQUNyRyxPQUFPLEVBQTBCLEtBQUssaUJBQWlCLEVBQUUsTUFBTSw2QkFBNkIsQ0FBQztBQUM3RixPQUFPLEVBQW9DLEtBQUssbUJBQW1CLEVBQWEsTUFBTSxzQkFBc0IsQ0FBQztBQUU3RyxxQkFBYSxzQkFBdUIsU0FBUSxLQUFLO0lBQy9DLFlBQVksVUFBVSxFQUFFLE1BQU0sRUFFN0I7Q0FDRjtBQUVEOzs7Ozs7R0FNRztBQUNILHdCQUFnQixpQkFBaUIsQ0FDL0IsT0FBTyxFQUFFLGFBQWEsRUFDdEIsVUFBVSxHQUFFO0lBQ1YsSUFBSSxDQUFDLEVBQUUsTUFBTSxDQUFDLE1BQU0sRUFBRSxtQkFBbUIsQ0FBQyxDQUFDO0lBQzNDLE1BQU0sQ0FBQyxFQUFFLE1BQU0sQ0FBQyxNQUFNLEVBQUUsaUJBQWlCLENBQUMsQ0FBQztDQUN2QyxHQUNMLFlBQVksQ0FzQ2Q7QUErREQsS0FBSyxhQUFhLEdBQUcsV0FBVyxHQUFHLENBQUMsdUJBQXVCLEdBQUcsdUJBQXVCLENBQUMsQ0FBQyJ9

package/dest/contract_function_simulator/oracle/acir_callback.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"acir_callback.d.ts","sourceRoot":"","sources":["../../../src/contract_function_simulator/oracle/acir_callback.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAa,MAAM,yBAAyB,CAAC;AAGvE,OAAO,KAAK,EAAE,WAAW,EAAE,uBAAuB,EAAE,uBAAuB,EAAE,MAAM,iBAAiB,CAAC;AACrG,OAAO,EAA0B,KAAK,iBAAiB,EAAE,MAAM,6BAA6B,CAAC;AAC7F,OAAO,EAAoC,KAAK,mBAAmB,EAAa,MAAM,sBAAsB,CAAC;AAE7G,qBAAa,sBAAuB,SAAQ,KAAK;IAC/C,YAAY,UAAU,EAAE,MAAM,EAE7B;CACF;AAED;;;;;;GAMG;AACH,wBAAgB,iBAAiB,CAC/B,OAAO,EAAE,aAAa,EACtB,UAAU,GAAE;IACV,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,mBAAmB,CAAC,CAAC;IAC3C,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,iBAAiB,CAAC,CAAC;CACvC,GACL,YAAY,CAsCd;AA+DD,KAAK,aAAa,GAAG,WAAW,GAAG,CAAC,uBAAuB,GAAG,uBAAuB,CAAC,CAAC"}

package/dest/contract_function_simulator/oracle/acir_callback.js

@@ -0,0 +1,115 @@
+import { ORACLE_VERSION_MAJOR, ORACLE_VERSION_MINOR } from '../../oracle_version.js';
+import { LEGACY_ORACLE_REGISTRY } from './legacy_oracle_registry.js';
+import { ORACLE_REGISTRY, makeEntry } from './oracle_registry.js';
+export class UnavailableOracleError extends Error {
+    constructor(oracleName){
+        super(`${oracleName} oracles not available with the current handler`);
+    }
+}
+/**
+ * Builds an ACIR callback from the oracle registry and a handler object.
+ *
+ * Each oracle call is dispatched by matching the oracle name against the registry for serialization, parsing the
+ * `aztec_{scope}_{methodName}` convention to resolve the handler, and calling the method directly. Unknown oracle
+ * names produce enhanced error messages based on the contract's oracle version.
+ */ export function buildACIRCallback(handler, registries = {}) {
+    const { real = ORACLE_REGISTRY, legacy: legacyRegistry = LEGACY_ORACLE_REGISTRY } = registries;
+    const target = {};
+    for (const [oracleKey, entry] of Object.entries(real)){
+        const { scope, methodName } = parseOracleName(oracleKey, 'Oracle');
+        target[oracleKey] = async (...inputs)=>{
+            assertHandlerSupportsScope(handler, scope);
+            const named = entry.deserializeParams(inputs);
+            const positional = named.map((p)=>p.value);
+            const result = await handler[methodName](...positional);
+            return entry.serializeReturn(result);
+        };
+    }
+    // Legacy oracle names: served for contracts compiled against a retired oracle version. Each reuses the current
+    // handler of its `modernOracle` and reshapes the wire (params and/or return) back to what the old bytecode expects.
+    for (const [legacyKey, legacy] of Object.entries(legacyRegistry)){
+        const { scope } = parseOracleName(legacyKey, 'Legacy oracle');
+        if (legacyKey in target) {
+            throw new Error(`Legacy oracle "${legacyKey}" collides with a live oracle of the same name in the registry`);
+        }
+        const modernEntry = real[legacy.modernOracle];
+        const { methodName } = parseOracleName(legacy.modernOracle, 'Oracle');
+        // Override only the side whose wire changed; inherit the other from the modern entry.
+        const paramOverride = legacy.params;
+        const paramSource = paramOverride ? makeEntry({
+            params: [
+                ...paramOverride.legacyType
+            ]
+        }) : modernEntry;
+        const returnOverride = legacy.returnType;
+        const returnSource = returnOverride ? makeEntry({
+            returnType: returnOverride.legacyType
+        }) : modernEntry;
+        target[legacyKey] = async (...inputs)=>{
+            assertHandlerSupportsScope(handler, scope);
+            const legacyArgs = paramSource.deserializeParams(inputs).map((p)=>p.value);
+            const positional = paramOverride ? await paramOverride.mapping(legacyArgs) : legacyArgs;
+            const result = await handler[methodName](...positional);
+            return returnSource.serializeReturn(returnOverride ? returnOverride.mapping(result) : result);
+        };
+    }
+    return new Proxy(target, makeUnknownOracleTrap(handler));
+}
+/** Parses an `aztec_{scope}_{method}` oracle name into its parts, throwing if it doesn't follow the convention. */ function parseOracleName(key, label) {
+    const match = key.match(/^aztec_(\w+?)_(.+)$/);
+    if (!match) {
+        throw new Error(`${label} "${key}" does not follow the aztec_{scope}_{method} convention`);
+    }
+    return {
+        scope: match[1],
+        methodName: match[2]
+    };
+}
+/**
+ * Proxy trap for the callback table: a known oracle name passes through; an unknown one throws a diagnostic keyed on
+ * the contract's oracle version (version unknown, contract newer than this environment, or a same-version mismatch).
+ */ function makeUnknownOracleTrap(handler) {
+    return {
+        get (obj, prop) {
+            // Own-property check only: `in` would match inherited `Object.prototype` keys (e.g. `constructor`, `toString`)
+            // and return the built-in instead of falling through to the unknown-oracle diagnostic below.
+            if (Object.hasOwn(obj, prop)) {
+                return obj[prop];
+            }
+            return ()=>{
+                let contractVersion = undefined;
+                if ('nonOracleFunctionGetContractOracleVersion' in handler) {
+                    contractVersion = handler.nonOracleFunctionGetContractOracleVersion();
+                }
+                if (!contractVersion) {
+                    throw new Error(`Oracle '${prop}' not found and the contract's oracle version is unknown (the version check oracle ` + `was not called before '${prop}'). This usually means the contract was not compiled with the ` + `#[aztec] macro, which injects the version check as the first oracle call in every private/utility ` + `external function. If you're using a custom entry point, ensure assert_compatible_oracle_version() ` + `is called before any other oracle calls. See https://docs.aztec.network/errors/8`);
+                } else if (contractVersion.minor > ORACLE_VERSION_MINOR) {
+                    throw new Error(`Oracle '${prop}' not found.` + ` This usually means the contract requires a newer private execution environment than you have.` + ` Upgrade your private execution environment to a compatible version. The contract was compiled with` + ` Aztec.nr oracle version ${contractVersion.major}.${contractVersion.minor}, but this private` + ` execution environment only supports up to ${ORACLE_VERSION_MAJOR}.${ORACLE_VERSION_MINOR}.` + ` See https://docs.aztec.network/errors/8`);
+                } else {
+                    throw new Error(`Oracle '${prop}' not found.` + ` The contract's oracle version (${contractVersion.major}.${contractVersion.minor}) is compatible` + ` with this private execution environment (${ORACLE_VERSION_MAJOR}.${ORACLE_VERSION_MINOR}), so all` + ` standard oracles should be available. This could mean the contract was compiled against a modified` + ` version of Aztec.nr, or that it references an oracle that does not exist.` + ` See https://docs.aztec.network/errors/8`);
+                }
+            };
+        }
+    };
+}
+function assertHandlerSupportsScope(handler, scope) {
+    switch(scope){
+        case 'misc':
+            if (!('isMisc' in handler)) {
+                throw new UnavailableOracleError('Misc');
+            }
+            break;
+        case 'utl':
+            if (!('isUtility' in handler)) {
+                throw new UnavailableOracleError('Utility');
+            }
+            break;
+        case 'prv':
+            if (!('isPrivate' in handler)) {
+                throw new UnavailableOracleError('Private');
+            }
+            break;
+        default:
+            throw new Error(`Unknown oracle scope: ${scope}`);
+    }
+}

package/dest/contract_function_simulator/oracle/index.d.ts

@@ -1,14 +1,3 @@
-import type { Oracle } from './oracle.js';
-export * from './oracle.js';
+export * from './acir_callback.js';
 export * from './interfaces.js';
-/**
- * A conditional type that takes a type `T` and returns a union of its method names.
- */
-type MethodNames<T> = {
-    [K in keyof T]: T[K] extends (...args: any[]) => any ? K : never;
-}[keyof T];
-/**
- * Available oracle function names.
- */
-export type ORACLE_NAMES = MethodNames<Oracle>;
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiaW5kZXguZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9jb250cmFjdF9mdW5jdGlvbl9zaW11bGF0b3Ivb3JhY2xlL2luZGV4LnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sS0FBSyxFQUFFLE1BQU0sRUFBRSxNQUFNLGFBQWEsQ0FBQztBQUUxQyxjQUFjLGFBQWEsQ0FBQztBQUM1QixjQUFjLGlCQUFpQixDQUFDO0FBRWhDOztHQUVHO0FBQ0gsS0FBSyxXQUFXLENBQUMsQ0FBQyxJQUFJO0tBQ25CLENBQUMsSUFBSSxNQUFNLENBQUMsR0FBRyxDQUFDLENBQUMsQ0FBQyxDQUFDLFNBQVMsQ0FBQyxHQUFHLElBQUksRUFBRSxHQUFHLEVBQUUsS0FBSyxHQUFHLEdBQUcsQ0FBQyxHQUFHLEtBQUs7Q0FDakUsQ0FBQyxNQUFNLENBQUMsQ0FBQyxDQUFDO0FBRVg7O0dBRUc7QUFDSCxNQUFNLE1BQU0sWUFBWSxHQUFHLFdBQVcsQ0FBQyxNQUFNLENBQUMsQ0FBQyJ9
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiaW5kZXguZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9jb250cmFjdF9mdW5jdGlvbl9zaW11bGF0b3Ivb3JhY2xlL2luZGV4LnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLGNBQWMsb0JBQW9CLENBQUM7QUFDbkMsY0FBYyxpQkFBaUIsQ0FBQyJ9

package/dest/contract_function_simulator/oracle/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/contract_function_simulator/oracle/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAE1C,cAAc,aAAa,CAAC;AAC5B,cAAc,iBAAiB,CAAC;AAEhC;;GAEG;AACH,KAAK,WAAW,CAAC,CAAC,IAAI;KACnB,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,IAAI,EAAE,GAAG,EAAE,KAAK,GAAG,GAAG,CAAC,GAAG,KAAK;CACjE,CAAC,MAAM,CAAC,CAAC,CAAC;AAEX;;GAEG;AACH,MAAM,MAAM,YAAY,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/contract_function_simulator/oracle/index.ts"],"names":[],"mappings":"AAAA,cAAc,oBAAoB,CAAC;AACnC,cAAc,iBAAiB,CAAC"}

package/dest/contract_function_simulator/oracle/index.js

@@ -1,2 +1,2 @@
-export * from './oracle.js';
+export * from './acir_callback.js';
 export * from './interfaces.js';