@aztec/pxe 5.0.0-rc.1 → 5.0.0

package/dest/contract_function_simulator/oracle/oracle_registry.js

@@ -2,8 +2,8 @@
 import { Fr } from '@aztec/foundation/curves/bn254';
 import { FieldReader } from '@aztec/foundation/serialize';
 import { toACVMField } from '@aztec/simulator/client';
-import { ARRAY, AZTEC_ADDRESS, BLOCK_HASH, BLOCK_HEADER, BLOCK_NUMBER, BOOL, BOUNDED_VEC, BUFFER, BYTE, CALL_PRIVATE_RESULT, CONTRACT_CLASS_LOG_INPUT, CONTRACT_INSTANCE, DELIVERY_MODE, EPHEMERAL_ARRAY, EVENT_VALIDATION_REQUEST, FIELD, FUNCTION_SELECTOR, KEY_VALIDATION_REQUEST, LOG_RETRIEVAL_REQUEST, LOG_RETRIEVAL_RESPONSE, MEMBERSHIP_WITNESS, MESSAGE_CONTEXT, MESSAGE_LOAD_ORACLE_INPUTS, NOTE, NOTE_SELECTOR, NOTE_VALIDATION_REQUEST, NULLIFIER_MEMBERSHIP_WITNESS, OPTION, PENDING_TAGGED_LOG, POINT, PROVIDED_SECRET, PUBLIC_DATA_WITNESS, PUBLIC_KEYS_AND_PARTIAL_ADDRESS, STR, TX_EFFECT, TX_HASH, U32, UTILITY_CONTEXT, assertReadersConsumed } from './oracle_type_mappings.js';
-export { ARRAY, AZTEC_ADDRESS, BIGINT, BLOCK_NUMBER, BOOL, BOUNDED_VEC, BUFFER, BYTE, DELIVERY_MODE, EPHEMERAL_ARRAY, EVENT_VALIDATION_REQUEST, FIELD, FUNCTION_SELECTOR, LOG_RETRIEVAL_REQUEST, LOG_RETRIEVAL_RESPONSE, MEMBERSHIP_WITNESS, MESSAGE_CONTEXT, NOTE_VALIDATION_REQUEST, OPTION, PENDING_TAGGED_LOG, POINT, PROVIDED_SECRET, STR, U32 } from './oracle_type_mappings.js';
+import { ARRAY, AZTEC_ADDRESS, BLOCK_HASH, BLOCK_HEADER, BLOCK_NUMBER, BOOL, BOUNDED_VEC, BUFFER, BYTE, CALL_PRIVATE_RESULT, CONTRACT_CLASS_LOG, CONTRACT_INSTANCE, DELIVERY_MODE, EPHEMERAL_ARRAY, EVENT_VALIDATION_REQUEST, FACT_COLLECTION, FIELD, FUNCTION_SELECTOR, KEY_VALIDATION_REQUEST, LOG_RETRIEVAL_REQUEST, LOG_RETRIEVAL_RESPONSE, MEMBERSHIP_WITNESS, MESSAGE_LOAD_ORACLE_INPUTS, NOTE, NOTE_SELECTOR, NOTE_VALIDATION_REQUEST, NULLIFIER_MEMBERSHIP_WITNESS, OPTION, ORIGIN_BLOCK, PENDING_TAGGED_LOG, POINT, PROVIDED_SECRET, PUBLIC_DATA_WITNESS, PUBLIC_KEYS_AND_PARTIAL_ADDRESS, RESOLVED_TAGGING_STRATEGY, RESOLVED_TX, STR, STRUCT, TX_EFFECT, TX_HASH, U32, UTILITY_CONTEXT, assertReadersConsumed, slotsOf } from './oracle_type_mappings.js';
+export { ARRAY, AZTEC_ADDRESS, BIGINT, BLOCK_NUMBER, BOOL, BOUNDED_VEC, BUFFER, BYTE, CONTRACT_CLASS_LOG, DELIVERY_MODE, RESOLVED_TAGGING_STRATEGY, EPHEMERAL_ARRAY, EVENT_VALIDATION_REQUEST, FIELD, FUNCTION_SELECTOR, LOG_RETRIEVAL_REQUEST, LOG_RETRIEVAL_RESPONSE, MEMBERSHIP_WITNESS, NOTE_VALIDATION_REQUEST, OPTION, PENDING_TAGGED_LOG, POINT, PROVIDED_SECRET, RESOLVED_TX, STR, U32, slotsOf } from './oracle_type_mappings.js';
 export const ORACLE_REGISTRY = {
     aztec_misc_assertCompatibleOracleVersion: makeEntry({
         params: [
@@ -48,6 +48,10 @@ export const ORACLE_REGISTRY = {
             {
                 name: 'pkMHash',
                 type: FIELD
+            },
+            {
+                name: 'keyIndex',
+                type: FIELD
             }
         ],
         returnType: KEY_VALIDATION_REQUEST
@@ -87,6 +91,19 @@ export const ORACLE_REGISTRY = {
         ],
         returnType: OPTION(MEMBERSHIP_WITNESS(ARCHIVE_HEIGHT))
     }),
+    aztec_utl_areBlockHashesInArchive: makeEntry({
+        params: [
+            {
+                name: 'anchorBlockHash',
+                type: BLOCK_HASH
+            },
+            {
+                name: 'blockHashes',
+                type: EPHEMERAL_ARRAY(BLOCK_HASH)
+            }
+        ],
+        returnType: EPHEMERAL_ARRAY(BOOL)
+    }),
     aztec_utl_getNullifierMembershipWitness: makeEntry({
         params: [
             {
@@ -162,19 +179,24 @@ export const ORACLE_REGISTRY = {
         ],
         returnType: BOOL
     }),
-    aztec_utl_getL1ToL2MembershipWitness: makeEntry({
+    aztec_utl_getL1ToL2MembershipWitnessV2: makeEntry({
         params: [
-            {
-                name: 'contractAddress',
-                type: AZTEC_ADDRESS
-            },
             {
                 name: 'messageHash',
                 type: FIELD
             },
             {
-                name: 'secret',
-                type: FIELD
+                name: 'nullifier',
+                type: OPTION(STRUCT([
+                    {
+                        name: 'contractAddress',
+                        type: AZTEC_ADDRESS
+                    },
+                    {
+                        name: 'nullifier',
+                        type: FIELD
+                    }
+                ]))
             }
         ],
         returnType: MESSAGE_LOAD_ORACLE_INPUTS
@@ -273,7 +295,7 @@ export const ORACLE_REGISTRY = {
         ],
         returnType: BOUNDED_VEC(NOTE)
     }),
-    aztec_utl_getPendingTaggedLogs: makeEntry({
+    aztec_utl_getPendingTaggedLogsV2: makeEntry({
         params: [
             {
                 name: 'scope',
@@ -302,7 +324,7 @@ export const ORACLE_REGISTRY = {
             }
         ]
     }),
-    aztec_utl_getLogsByTag: makeEntry({
+    aztec_utl_getLogsByTagV2: makeEntry({
         params: [
             {
                 name: 'requests',
@@ -311,14 +333,14 @@ export const ORACLE_REGISTRY = {
         ],
         returnType: EPHEMERAL_ARRAY(EPHEMERAL_ARRAY(LOG_RETRIEVAL_RESPONSE))
     }),
-    aztec_utl_getMessageContextsByTxHash: makeEntry({
+    aztec_utl_getResolvedTxs: makeEntry({
         params: [
             {
                 name: 'requests',
                 type: EPHEMERAL_ARRAY(FIELD)
             }
         ],
-        returnType: EPHEMERAL_ARRAY(OPTION(MESSAGE_CONTEXT))
+        returnType: EPHEMERAL_ARRAY(OPTION(RESOLVED_TX))
     }),
     aztec_utl_getTxEffect: makeEntry({
         params: [
@@ -418,11 +440,11 @@ export const ORACLE_REGISTRY = {
             },
             {
                 name: 'iv',
-                type: BUFFER(8)
+                type: BUFFER(8, 16)
             },
             {
                 name: 'symKey',
-                type: BUFFER(8)
+                type: BUFFER(8, 16)
             }
         ],
         returnType: OPTION(BOUNDED_VEC(BYTE))
@@ -464,6 +486,96 @@ export const ORACLE_REGISTRY = {
             }
         ]
     }),
+    aztec_utl_recordFact: makeEntry({
+        params: [
+            {
+                name: 'contractAddress',
+                type: AZTEC_ADDRESS
+            },
+            {
+                name: 'scope',
+                type: AZTEC_ADDRESS
+            },
+            {
+                name: 'factCollectionTypeId',
+                type: FIELD
+            },
+            {
+                name: 'factCollectionId',
+                type: FIELD
+            },
+            {
+                name: 'factTypeId',
+                type: FIELD
+            },
+            {
+                name: 'payload',
+                type: EPHEMERAL_ARRAY(FIELD)
+            },
+            {
+                name: 'originBlock',
+                type: OPTION(ORIGIN_BLOCK)
+            }
+        ]
+    }),
+    aztec_utl_deleteFactCollection: makeEntry({
+        params: [
+            {
+                name: 'contractAddress',
+                type: AZTEC_ADDRESS
+            },
+            {
+                name: 'scope',
+                type: AZTEC_ADDRESS
+            },
+            {
+                name: 'factCollectionTypeId',
+                type: FIELD
+            },
+            {
+                name: 'factCollectionId',
+                type: FIELD
+            }
+        ]
+    }),
+    aztec_utl_getFactCollection: makeEntry({
+        params: [
+            {
+                name: 'contractAddress',
+                type: AZTEC_ADDRESS
+            },
+            {
+                name: 'scope',
+                type: AZTEC_ADDRESS
+            },
+            {
+                name: 'factCollectionTypeId',
+                type: FIELD
+            },
+            {
+                name: 'factCollectionId',
+                type: FIELD
+            }
+        ],
+        returnType: OPTION(FACT_COLLECTION)
+    }),
+    aztec_utl_getFactCollectionsByType: makeEntry({
+        params: [
+            {
+                name: 'contractAddress',
+                type: AZTEC_ADDRESS
+            },
+            {
+                name: 'scope',
+                type: AZTEC_ADDRESS
+            },
+            {
+                name: 'factCollectionTypeId',
+                type: FIELD
+            }
+        ],
+        returnType: EPHEMERAL_ARRAY(FACT_COLLECTION)
+    }),
     aztec_utl_callUtilityFunction: makeEntry({
         params: [
             {
@@ -735,7 +847,7 @@ export const ORACLE_REGISTRY = {
         params: [
             {
                 name: 'log',
-                type: CONTRACT_CLASS_LOG_INPUT
+                type: CONTRACT_CLASS_LOG
             },
             {
                 name: 'counter',
@@ -821,20 +933,52 @@ export const ORACLE_REGISTRY = {
     }),
     aztec_prv_getSenderForTags: makeEntry({
         returnType: OPTION(AZTEC_ADDRESS)
+    }),
+    aztec_prv_resolveTaggingStrategy: makeEntry({
+        params: [
+            {
+                name: 'sender',
+                type: AZTEC_ADDRESS
+            },
+            {
+                name: 'recipient',
+                type: AZTEC_ADDRESS
+            },
+            {
+                name: 'deliveryMode',
+                type: DELIVERY_MODE
+            }
+        ],
+        returnType: RESOLVED_TAGGING_STRATEGY
+    }),
+    aztec_prv_resolveCustomRequest: makeEntry({
+        params: [
+            {
+                name: 'kind',
+                type: FIELD
+            },
+            {
+                name: 'payload',
+                type: ARRAY(FIELD)
+            }
+        ],
+        returnType: ARRAY(FIELD)
     })
 };
 export function makeEntry({ params, returnType } = {}) {
     return {
+        params: params ?? [],
+        returnType,
         deserializeParams (inputs) {
             const resolvedParams = params ?? [];
             // Walk the input slots left-to-right, advancing by each param's slot count.
             let offset = 0;
-            return resolvedParams.map((param)=>{
+            const named = resolvedParams.map((param)=>{
                 if (!param.type.deserialization) {
                     throw new Error(`Param '${param.name}' has no deserialization defined`);
                 }
                 // Collect the slots for this param and wrap each in a FieldReader.
-                const slotCount = param.type.deserialization.slots;
+                const slotCount = slotsOf(param.type);
                 const readers = inputs.slice(offset, offset + slotCount).map((slot)=>new FieldReader(slot.map((hex)=>Fr.fromString(hex))));
                 offset += slotCount;
                 // Delegate to the TypeMapping's deserializer, assert the param's slots are fully consumed, and tag the
@@ -846,6 +990,12 @@ export function makeEntry({ params, returnType } = {}) {
                     value
                 };
             });
+            // Every input slot must be specified by a param: oracles whose Noir decl passes an extra field must declare it
+            // (the handler can ignore it). Otherwise an under-declared shape would silently drop a field into nothing.
+            if (offset !== inputs.length) {
+                throw new Error(`Oracle received ${inputs.length} input slot(s) but the registry specifies ${offset}`);
+            }
+            return named;
         },
         serializeReturn (result) {
             if (returnType?.serialization === undefined) {

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

@@ -1,34 +1,59 @@
 import { L1_TO_L2_MSG_TREE_HEIGHT } from '@aztec/constants';
-import { BlockNumber } from '@aztec/foundation/branded-types';
+import { BlockNumber, type SlotNumber } from '@aztec/foundation/branded-types';
 import { Fr } from '@aztec/foundation/curves/bn254';
-import { Point } from '@aztec/foundation/curves/grumpkin';
+import { EthAddress } from '@aztec/foundation/eth-address';
 import { FieldReader } from '@aztec/foundation/serialize';
 import { MembershipWitness } from '@aztec/foundation/trees';
 import { type ACVMField } from '@aztec/simulator/client';
 import { FunctionSelector, NoteSelector } from '@aztec/stdlib/abi';
 import { AztecAddress } from '@aztec/stdlib/aztec-address';
 import { BlockHash } from '@aztec/stdlib/block';
-import type { ContractInstance, PartialAddress } from '@aztec/stdlib/contract';
+import type { ContractInstancePreimage, PartialAddress } from '@aztec/stdlib/contract';
 import { KeyValidationRequest } from '@aztec/stdlib/kernel';
 import type { PublicKeys } from '@aztec/stdlib/keys';
-import { type AppTaggingSecretKind, ContractClassLog, MessageContext, PendingTaggedLog, Tag } from '@aztec/stdlib/logs';
+import { type AppTaggingSecretKind } from '@aztec/stdlib/logs';
 import { NullifierMembershipWitness, PublicDataWitness } from '@aztec/stdlib/trees';
-import { BlockHeader, TxEffect, TxHash } from '@aztec/stdlib/tx';
+import { BlockHeader, TxHash } from '@aztec/stdlib/tx';
+import type { OriginBlock, RetractableFactOrigin } from '../../storage/fact_store/index.js';
 import { BoundedVec } from '../noir-structs/bounded_vec.js';
+import type { ContractClassLogData } from '../noir-structs/contract_class_log_data.js';
+import type { EmbeddedCurvePoint } from '../noir-structs/embedded_curve_point.js';
 import { EphemeralArray } from '../noir-structs/ephemeral_array.js';
 import { EventValidationRequest } from '../noir-structs/event_validation_request.js';
-import { LogRetrievalRequest } from '../noir-structs/log_retrieval_request.js';
-import { LogRetrievalResponse } from '../noir-structs/log_retrieval_response.js';
+import type { Fact } from '../noir-structs/fact.js';
+import type { FactCollection } from '../noir-structs/fact_collection.js';
+import { type LogRetrievalRequest } from '../noir-structs/log_retrieval_request.js';
+import type { LogRetrievalResponse } from '../noir-structs/log_retrieval_response.js';
 import type { NoteData } from '../noir-structs/note_data.js';
 import { NoteValidationRequest } from '../noir-structs/note_validation_request.js';
 import { Option } from '../noir-structs/option.js';
-import { ProvidedSecret } from '../noir-structs/provided_secret.js';
-import { UtilityContext } from '../noir-structs/utility_context.js';
-import { MessageLoadOracleInputs } from './message_load_oracle_inputs.js';
+import type { PendingTaggedLog } from '../noir-structs/pending_tagged_log.js';
+import type { ProvidedSecret } from '../noir-structs/provided_secret.js';
+import { type ResolvedTaggingStrategy } from '../noir-structs/resolved_tagging_strategy.js';
+import type { ResolvedTx } from '../noir-structs/resolved_tx.js';
+import type { TxEffectData } from '../noir-structs/tx_effect_data.js';
+import type { UtilityContext } from '../noir-structs/utility_context.js';
+import type { MessageLoadOracleInputs } from './message_load_oracle_inputs.js';
+export type { AppTaggingSecretKind, BlockHash, BlockHeader, ContractInstancePreimage, MembershipWitness, NullifierMembershipWitness, PendingTaggedLog, PublicDataWitness, TxHash, };
 /** One ACVM input slot: an array of hex-encoded field strings. */
 export type InputSlot = ACVMField[];
 /** One ACVM output slot: a scalar hex string or an array of hex strings. */
 export type OutputSlot = ACVMField | ACVMField[];
+/**
+ * Wire layout of a single slot:
+ * - `'scalar'` — a bare field (one `Fr`); on the ACVM/Noir wire a `Field`.
+ * - `{ len }`  — an array of exactly `len` fields (`Fr[]`); a `[Field; len]`.
+ * - `'variable'` — a slot whose field count is not statically known and cannot be sized on demand (a string, a
+ *   length-prefixed struct). It contributes to the slot count but can never be zero-filled.
+ * - `{ lenFrom: fn }` — like `'variable'`, but its field count can be resolved from a runtime size descriptor. The
+ *   descriptor's shape is type-specific (e.g. `{ length }`, `{ maxLength }`), so `size` is typed `any`: a single union
+ *   can't type each mapping's distinct `lenFrom` under parameter contravariance.
+ */
+export type SlotShape = 'scalar' | {
+    len: number;
+} | 'variable' | {
+    lenFrom: (size: any) => number;
+};
 /**
  * Describes how to serialize and/or deserialize a single typed value to/from ACVM wire format.
  * Either side is optional — output-only types omit `deserialization`, input-only types omit `serialization`.
@@ -39,18 +64,18 @@ export interface TypeMapping<T = any> {
         fn: (value: T) => (Fr | Fr[])[];
     };
     deserialization?: {
-        /** Read a typed value from one FieldReader per consumed slot. */
+        /** Read a typed value from its slots — one {@link FieldReader} per slot, as laid out by {@link shape}. */
         fn: (readers: FieldReader[]) => T;
-        /**
-         * Number of InputSlots this type reads from. `deserialization.fn` receives one FieldReader per slot in `readers`.
-         *
-         * Examples:
-         * - `FIELD`, `U32`, `AZTEC_ADDRESS` — single slot         → `slots: 1`
-         * - `OPTION(T)` — discriminant + inner slots              → `slots: T.slots + 1`
-         * - `CONTRACT_CLASS_LOG_INPUT` — [addr], [fields], [len]  → `slots: 3`
-         */
-        slots: number;
     };
+    /**
+     * The type's wire layout, one entry per slot.
+     *
+     * Examples:
+     * - `FIELD` → `['scalar']` // single slot
+     * - `OPTION(T)` → `['scalar', ...T.shape]` // [discriminant], [...inner.shape]
+     * - `CONTRACT_CLASS_LOG` → `['scalar', { len: N }, 'scalar']` // [addr], [fields], [len]
+     */
+    shape: SlotShape[];
 }
 export type MaybePromise<T> = T | Promise<T>;
 /**
@@ -64,6 +89,7 @@ export declare const BLOCK_NUMBER: TypeMapping<BlockNumber>;
 /** A u8 byte: serializes to a single Fr; deserializes from a single Fr to a number in [0, 255]. */
 export declare const BYTE: TypeMapping<number>;
 export declare const DELIVERY_MODE: TypeMapping<AppTaggingSecretKind>;
+export declare const RESOLVED_TAGGING_STRATEGY: TypeMapping<ResolvedTaggingStrategy>;
 export declare const BIGINT: TypeMapping<bigint>;
 /** Reads every field in the slot as a UTF-8 character code. */
 export declare const STR: TypeMapping<string>;
@@ -72,11 +98,12 @@ export declare const BLOCK_HASH: TypeMapping<BlockHash>;
 export declare const FUNCTION_SELECTOR: TypeMapping<FunctionSelector>;
 export declare const NOTE_SELECTOR: TypeMapping<NoteSelector>;
 export declare const TX_HASH: TypeMapping<TxHash>;
-export declare const TAG: TypeMapping<Tag>;
-export declare const POINT: TypeMapping<Point>;
+export declare const POINT: TypeMapping<EmbeddedCurvePoint>;
+export declare const ETH_ADDRESS: TypeMapping<EthAddress>;
+export declare const SLOT_NUMBER: TypeMapping<SlotNumber>;
 export declare const BLOCK_HEADER: TypeMapping<BlockHeader>;
 export declare const KEY_VALIDATION_REQUEST: TypeMapping<KeyValidationRequest>;
-export declare const CONTRACT_INSTANCE: TypeMapping<ContractInstance>;
+export declare const CONTRACT_INSTANCE: TypeMapping<ContractInstancePreimage>;
 export declare const NULLIFIER_MEMBERSHIP_WITNESS: TypeMapping<NullifierMembershipWitness>;
 export declare const PUBLIC_DATA_WITNESS: TypeMapping<PublicDataWitness>;
 export declare const MESSAGE_LOAD_ORACLE_INPUTS: TypeMapping<MessageLoadOracleInputs<typeof L1_TO_L2_MSG_TREE_HEIGHT>>;
@@ -89,19 +116,36 @@ export declare const PUBLIC_KEYS_AND_PARTIAL_ADDRESS: TypeMapping<{
     publicKeys: PublicKeys;
     partialAddress: PartialAddress;
 }>;
-export declare const CONTRACT_CLASS_LOG_INPUT: TypeMapping<ContractClassLog>;
-export declare const TX_EFFECT: TypeMapping<TxEffect>;
+export declare const CONTRACT_CLASS_LOG: TypeMapping<ContractClassLogData>;
+export declare const TX_EFFECT: TypeMapping<TxEffectData>;
 export declare const NOTE: TypeMapping<NoteData>;
-export declare const PENDING_TAGGED_LOG: TypeMapping<PendingTaggedLog>;
 export declare const NOTE_VALIDATION_REQUEST: TypeMapping<NoteValidationRequest>;
 export declare const EVENT_VALIDATION_REQUEST: TypeMapping<EventValidationRequest>;
 export declare const LOG_RETRIEVAL_REQUEST: TypeMapping<LogRetrievalRequest>;
 export declare const LOG_RETRIEVAL_RESPONSE: TypeMapping<LogRetrievalResponse>;
-export declare const MESSAGE_CONTEXT: TypeMapping<MessageContext>;
+export declare const RESOLVED_TX: TypeMapping<ResolvedTx>;
+export declare const PENDING_TAGGED_LOG: TypeMapping<PendingTaggedLog>;
+export declare const ORIGIN_BLOCK: TypeMapping<OriginBlock>;
+/** Read-side origin of a retractable fact, carrying the chain state of its origin block. */
+export declare const RETRACTABLE_FACT_ORIGIN: TypeMapping<RetractableFactOrigin>;
+export declare const FACT: TypeMapping<Fact>;
+export declare const FACT_COLLECTION: TypeMapping<FactCollection>;
 export declare const PROVIDED_SECRET: TypeMapping<ProvidedSecret>;
-/** `_height` is unused at runtime but lets TypeScript infer the exact `N` for `MembershipWitness<N>`. */
-export declare function MEMBERSHIP_WITNESS<N extends number>(_height: N): TypeMapping<MembershipWitness<N>>;
-export declare function ARRAY<T>(element: TypeMapping<T>): TypeMapping<T[]>;
+export declare function MEMBERSHIP_WITNESS<N extends number>(height: N): TypeMapping<MembershipWitness<N>>;
+export declare function ARRAY<T>(inner: TypeMapping<T>): TypeMapping<T[]> & {
+    kind: 'array';
+    inner: TypeMapping<T>;
+};
+/**
+ * Noir's fixed-length array `[T; length]` in one slot: serializes `values` (each flattened via `element`)
+ * zero-padded to exactly `length * elementWidth` fields, and deserializes all `length` elements back. An absent
+ * element is the zero encoding, so the padding is derived from the shape.
+ */
+export declare function FIXED_ARRAY<T>(element: TypeMapping<T>, length: number): TypeMapping<T[]> & {
+    kind: 'fixed-array';
+    inner: TypeMapping<T>;
+    length: number;
+};
 /**
  * Maps Noir's `BoundedVec<T, MaxLen>` ↔ TS `BoundedVec<T>` over 2 slots:
  *   slot 0 — flat storage, padded/parsed as `maxLength * elementSize` fields
@@ -115,25 +159,64 @@ export declare function ARRAY<T>(element: TypeMapping<T>): TypeMapping<T[]>;
  * slot 1: Fr(2)                                  // actual length
  * ```
  */
-export declare function BOUNDED_VEC<T>(element: TypeMapping<T>): TypeMapping<BoundedVec<T>>;
+export declare function BOUNDED_VEC<T>(inner: TypeMapping<T>): TypeMapping<BoundedVec<T>> & {
+    kind: 'bounded-vec';
+    inner: TypeMapping<T>;
+};
 /**
- * Wraps an inner TypeMapping in Noir-style `Option<T>`. Adds a discriminant slot and uses the handler-provided
- * `Option.none(shape)` template to produce a correctly-sized zero-filled output for the None case.
+ * Noir's `BoundedVec<T, MaxLen>` in its padded form (one fixed-width slot): `maxLength * elementWidth` storage fields
+ * (zero-padded) followed by the actual length, with no length prefix, so the width is statically known. Serialize-only.
+ * Throws if the input exceeds `maxLength`.
+ */
+export declare function FIXED_BOUNDED_VEC<T>(element: TypeMapping<T>, maxLength: number): TypeMapping<T[]> & {
+    kind: 'fixed-bounded-vec';
+    inner: TypeMapping<T>;
+    maxLength: number;
+};
+/**
+ * Wraps an inner TypeMapping in Noir-style `Option<T>`, adding a leading discriminant slot.
+ *
+ * For the `None` case, the inner's slots must still be present on the wire as zero-padding (so `Some` and `None` have
+ * identical size). That padding is derived entirely from `inner.shape`.
  *
- * @example Serializing `Option.some(AztecAddress.fromField(Fr(42)))` with `OPTION(AZTEC_ADDRESS)`:
+ * @example Serializing `Option.some(AztecAddress.fromFieldUnsafe(Fr(42)))` with `OPTION(AZTEC_ADDRESS)`:
  * ```
  * slot 0: Fr(1)    // discriminant: Some
  * slot 1: Fr(42)   // inner value
  * ```
  *
- * @example Serializing `Option.empty(AztecAddress.ZERO)` with `OPTION(AZTEC_ADDRESS)`:
+ * @example Serializing `Option.none()` with `OPTION(AZTEC_ADDRESS)`:
  * ```
  * slot 0: Fr(0)    // discriminant: None
- * slot 1: Fr(0)    // zero-filled using shape
+ * slot 1: Fr(0)    // zero-filled from AZTEC_ADDRESS.shape
  * ```
  */
-export declare function OPTION<T>(inner: TypeMapping<T>): TypeMapping<Option<T>>;
-/** A packed uint buffer (e.g. `[u8; N]` in Noir): 1 slot of packed uint values ↔ `Buffer`. */
-export declare function BUFFER(bitSize: number): TypeMapping<Buffer>;
+export declare function OPTION<T>(inner: TypeMapping<T>): TypeMapping<Option<T>> & {
+    kind: 'option';
+    inner: TypeMapping<T>;
+};
+/**
+ * A fixed packed uint buffer (Noir `[u8; length]` at `bitSize` 8): one slot of `length` packed uint values ↔ `Buffer`.
+ * `length` is the field count, which equals the byte count at `bitSize` 8.
+ */
+export declare function BUFFER(bitSize: number, length: number): TypeMapping<Buffer>;
 export declare function EPHEMERAL_ARRAY<T>(element: TypeMapping<T>): TypeMapping<EphemeralArray<T>>;
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoib3JhY2xlX3R5cGVfbWFwcGluZ3MuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9jb250cmFjdF9mdW5jdGlvbl9zaW11bGF0b3Ivb3JhY2xlL29yYWNsZV90eXBlX21hcHBpbmdzLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sRUFHTCx3QkFBd0IsRUFPekIsTUFBTSxrQkFBa0IsQ0FBQztBQUMxQixPQUFPLEVBQUUsV0FBVyxFQUFFLE1BQU0saUNBQWlDLENBQUM7QUFFOUQsT0FBTyxFQUFFLEVBQUUsRUFBRSxNQUFNLGdDQUFnQyxDQUFDO0FBQ3BELE9BQU8sRUFBRSxLQUFLLEVBQUUsTUFBTSxtQ0FBbUMsQ0FBQztBQUMxRCxPQUFPLEVBQUUsV0FBVyxFQUFFLE1BQU0sNkJBQTZCLENBQUM7QUFDMUQsT0FBTyxFQUFFLGlCQUFpQixFQUFFLE1BQU0seUJBQXlCLENBQUM7QUFDNUQsT0FBTyxFQUFFLEtBQUssU0FBUyxFQUFpQixNQUFNLHlCQUF5QixDQUFDO0FBQ3hFLE9BQU8sRUFBRSxnQkFBZ0IsRUFBRSxZQUFZLEVBQUUsTUFBTSxtQkFBbUIsQ0FBQztBQUVuRSxPQUFPLEVBQUUsWUFBWSxFQUFFLE1BQU0sNkJBQTZCLENBQUM7QUFDM0QsT0FBTyxFQUFFLFNBQVMsRUFBRSxNQUFNLHFCQUFxQixDQUFDO0FBQ2hELE9BQU8sS0FBSyxFQUFFLGdCQUFnQixFQUFFLGNBQWMsRUFBRSxNQUFNLHdCQUF3QixDQUFDO0FBQy9FLE9BQU8sRUFBRSxvQkFBb0IsRUFBRSxNQUFNLHNCQUFzQixDQUFDO0FBQzVELE9BQU8sS0FBSyxFQUFFLFVBQVUsRUFBRSxNQUFNLG9CQUFvQixDQUFDO0FBQ3JELE9BQU8sRUFDTCxLQUFLLG9CQUFvQixFQUN6QixnQkFBZ0IsRUFHaEIsY0FBYyxFQUNkLGdCQUFnQixFQUVoQixHQUFHLEVBRUosTUFBTSxvQkFBb0IsQ0FBQztBQUM1QixPQUFPLEVBQUUsMEJBQTBCLEVBQUUsaUJBQWlCLEVBQUUsTUFBTSxxQkFBcUIsQ0FBQztBQUNwRixPQUFPLEVBQUUsV0FBVyxFQUFFLFFBQVEsRUFBRSxNQUFNLEVBQUUsTUFBTSxrQkFBa0IsQ0FBQztBQUVqRSxPQUFPLEVBQUUsVUFBVSxFQUFFLE1BQU0sZ0NBQWdDLENBQUM7QUFDNUQsT0FBTyxFQUFFLGNBQWMsRUFBRSxNQUFNLG9DQUFvQyxDQUFDO0FBQ3BFLE9BQU8sRUFBRSxzQkFBc0IsRUFBRSxNQUFNLDZDQUE2QyxDQUFDO0FBQ3JGLE9BQU8sRUFBRSxtQkFBbUIsRUFBRSxNQUFNLDBDQUEwQyxDQUFDO0FBQy9FLE9BQU8sRUFBRSxvQkFBb0IsRUFBRSxNQUFNLDJDQUEyQyxDQUFDO0FBQ2pGLE9BQU8sS0FBSyxFQUFFLFFBQVEsRUFBRSxNQUFNLDhCQUE4QixDQUFDO0FBQzdELE9BQU8sRUFBRSxxQkFBcUIsRUFBRSxNQUFNLDRDQUE0QyxDQUFDO0FBQ25GLE9BQU8sRUFBRSxNQUFNLEVBQUUsTUFBTSwyQkFBMkIsQ0FBQztBQUNuRCxPQUFPLEVBQUUsY0FBYyxFQUFFLE1BQU0sb0NBQW9DLENBQUM7QUFDcEUsT0FBTyxFQUFFLGNBQWMsRUFBRSxNQUFNLG9DQUFvQyxDQUFDO0FBQ3BFLE9BQU8sRUFBRSx1QkFBdUIsRUFBRSxNQUFNLGlDQUFpQyxDQUFDO0FBSzFFLGtFQUFrRTtBQUNsRSxNQUFNLE1BQU0sU0FBUyxHQUFHLFNBQVMsRUFBRSxDQUFDO0FBRXBDLDRFQUE0RTtBQUM1RSxNQUFNLE1BQU0sVUFBVSxHQUFHLFNBQVMsR0FBRyxTQUFTLEVBQUUsQ0FBQztBQUVqRDs7O0dBR0c7QUFDSCxNQUFNLFdBQVcsV0FBVyxDQUFDLENBQUMsR0FBRyxHQUFHO0lBQ2xDLGFBQWEsQ0FBQyxFQUFFO1FBQ2Qsb0RBQW9EO1FBQ3BELEVBQUUsRUFBRSxDQUFDLEtBQUssRUFBRSxDQUFDLEtBQUssQ0FBQyxFQUFFLEdBQUcsRUFBRSxFQUFFLENBQUMsRUFBRSxDQUFDO0tBQ2pDLENBQUM7SUFDRixlQUFlLENBQUMsRUFBRTtRQUNoQixpRUFBaUU7UUFDakUsRUFBRSxFQUFFLENBQUMsT0FBTyxFQUFFLFdBQVcsRUFBRSxLQUFLLENBQUMsQ0FBQztRQUNsQzs7Ozs7OztXQU9HO1FBQ0gsS0FBSyxFQUFFLE1BQU0sQ0FBQztLQUNmLENBQUM7Q0FDSDtBQUVELE1BQU0sTUFBTSxZQUFZLENBQUMsQ0FBQyxJQUFJLENBQUMsR0FBRyxPQUFPLENBQUMsQ0FBQyxDQUFDLENBQUM7QUFFN0M7O0dBRUc7QUFDSCx3QkFBZ0IscUJBQXFCLENBQUMsT0FBTyxFQUFFLFdBQVcsRUFBRSxHQUFHLElBQUksQ0FRbEU7QUFJRCxlQUFPLE1BQU0sS0FBSyxFQUFFLFdBQVcsQ0FBQyxFQUFFLENBR2pDLENBQUM7QUFFRixlQUFPLE1BQU0sSUFBSSxFQUFFLFdBQVcsQ0FBQyxPQUFPLENBR3JDLENBQUM7QUFFRixlQUFPLE1BQU0sR0FBRyxFQUFFLFdBQVcsQ0FBQyxNQUFNLENBWW5DLENBQUM7QUFFRixlQUFPLE1BQU0sWUFBWSxFQUFFLFdBQVcsQ0FBQyxXQUFXLENBR2pELENBQUM7QUFFRixtR0FBbUc7QUFDbkcsZUFBTyxNQUFNLElBQUksRUFBRSxXQUFXLENBQUMsTUFBTSxDQVlwQyxDQUFDO0FBR0YsZUFBTyxNQUFNLGFBQWEsRUFBRSxXQUFXLENBQUMsb0JBQW9CLENBSzNELENBQUM7QUFFRixlQUFPLE1BQU0sTUFBTSxFQUFFLFdBQVcsQ0FBQyxNQUFNLENBR3RDLENBQUM7QUFFRiwrREFBK0Q7QUFDL0QsZUFBTyxNQUFNLEdBQUcsRUFBRSxXQUFXLENBQUMsTUFBTSxDQVluQyxDQUFDO0FBRUYsZUFBTyxNQUFNLGFBQWEsRUFBRSxXQUFXLENBQUMsWUFBWSxDQUduRCxDQUFDO0FBRUYsZUFBTyxNQUFNLFVBQVUsRUFBRSxXQUFXLENBQUMsU0FBUyxDQUc3QyxDQUFDO0FBRUYsZUFBTyxNQUFNLGlCQUFpQixFQUFFLFdBQVcsQ0FBQyxnQkFBZ0IsQ0FHM0QsQ0FBQztBQUVGLGVBQU8sTUFBTSxhQUFhLEVBQUUsV0FBVyxDQUFDLFlBQVksQ0FHbkQsQ0FBQztBQUVGLGVBQU8sTUFBTSxPQUFPLEVBQUUsV0FBVyxDQUFDLE1BQU0sQ0FHdkMsQ0FBQztBQUVGLGVBQU8sTUFBTSxHQUFHLEVBQUUsV0FBVyxDQUFDLEdBQUcsQ0FHaEMsQ0FBQztBQUVGLGVBQU8sTUFBTSxLQUFLLEVBQUUsV0FBVyxDQUFDLEtBQUssQ0FNcEMsQ0FBQztBQUlGLGVBQU8sTUFBTSxZQUFZLEVBQUUsV0FBVyxDQUFDLFdBQVcsQ0FHakQsQ0FBQztBQUVGLGVBQU8sTUFBTSxzQkFBc0IsRUFBRSxXQUFXLENBQUMsb0JBQW9CLENBTXBFLENBQUM7QUFFRixlQUFPLE1BQU0saUJBQWlCLEVBQUUsV0FBVyxDQUFDLGdCQUFnQixDQVczRCxDQUFDO0FBRUYsZUFBTyxNQUFNLDRCQUE0QixFQUFFLFdBQVcsQ0FBQywwQkFBMEIsQ0FPaEYsQ0FBQztBQUVGLGVBQU8sTUFBTSxtQkFBbUIsRUFBRSxXQUFXLENBQUMsaUJBQWlCLENBTzlELENBQUM7QUFFRixlQUFPLE1BQU0sMEJBQTBCLEVBQUUsV0FBVyxDQUFDLHVCQUF1QixDQUFDLE9BQU8sd0JBQXdCLENBQUMsQ0FPNUcsQ0FBQztBQUVGLGVBQU8sTUFBTSxlQUFlLEVBQUUsV0FBVyxDQUFDLGNBQWMsQ0FJdkQsQ0FBQztBQUVGLGVBQU8sTUFBTSxtQkFBbUIsRUFBRSxXQUFXLENBQUM7SUFBRSxvQkFBb0IsRUFBRSxFQUFFLENBQUM7SUFBQyxXQUFXLEVBQUUsRUFBRSxDQUFBO0NBQUUsQ0FFMUYsQ0FBQztBQUVGLGVBQU8sTUFBTSwrQkFBK0IsRUFBRSxXQUFXLENBQUM7SUFDeEQsVUFBVSxFQUFFLFVBQVUsQ0FBQztJQUN2QixjQUFjLEVBQUUsY0FBYyxDQUFDO0NBQ2hDLENBSUEsQ0FBQztBQUVGLGVBQU8sTUFBTSx3QkFBd0IsRUFBRSxXQUFXLENBQUMsZ0JBQWdCLENBV2xFLENBQUM7QUFFRixlQUFPLE1BQU0sU0FBUyxFQUFFLFdBQVcsQ0FBQyxRQUFRLENBMkIzQyxDQUFDO0FBRUYsZUFBTyxNQUFNLElBQUksRUFBRSxXQUFXLENBQUMsUUFBUSxDQWF0QyxDQUFDO0FBRUYsZUFBTyxNQUFNLGtCQUFrQixFQUFFLFdBQVcsQ0FBQyxnQkFBZ0IsQ0FFNUQsQ0FBQztBQUVGLGVBQU8sTUFBTSx1QkFBdUIsRUFBRSxXQUFXLENBQUMscUJBQXFCLENBS3RFLENBQUM7QUFFRixlQUFPLE1BQU0sd0JBQXdCLEVBQUUsV0FBVyxDQUFDLHNCQUFzQixDQUt4RSxDQUFDO0FBRUYsZUFBTyxNQUFNLHFCQUFxQixFQUFFLFdBQVcsQ0FBQyxtQkFBbUIsQ0FNbEUsQ0FBQztBQUVGLGVBQU8sTUFBTSxzQkFBc0IsRUFBRSxXQUFXLENBQUMsb0JBQW9CLENBRXBFLENBQUM7QUFFRixlQUFPLE1BQU0sZUFBZSxFQUFFLFdBQVcsQ0FBQyxjQUFjLENBRXZELENBQUM7QUFFRixlQUFPLE1BQU0sZUFBZSxFQUFFLFdBQVcsQ0FBQyxjQUFjLENBS3ZELENBQUM7QUFJRix5R0FBeUc7QUFDekcsd0JBQWdCLGtCQUFrQixDQUFDLENBQUMsU0FBUyxNQUFNLEVBQUUsT0FBTyxFQUFFLENBQUMsR0FBRyxXQUFXLENBQUMsaUJBQWlCLENBQUMsQ0FBQyxDQUFDLENBQUMsQ0FNbEc7QUFFRCx3QkFBZ0IsS0FBSyxDQUFDLENBQUMsRUFBRSxPQUFPLEVBQUUsV0FBVyxDQUFDLENBQUMsQ0FBQyxHQUFHLFdBQVcsQ0FBQyxDQUFDLEVBQUUsQ0FBQyxDQWtCbEU7QUFFRDs7Ozs7Ozs7Ozs7O0dBWUc7QUFDSCx3QkFBZ0IsV0FBVyxDQUFDLENBQUMsRUFBRSxPQUFPLEVBQUUsV0FBVyxDQUFDLENBQUMsQ0FBQyxHQUFHLFdBQVcsQ0FBQyxVQUFVLENBQUMsQ0FBQyxDQUFDLENBQUMsQ0ErQmxGO0FBRUQ7Ozs7Ozs7Ozs7Ozs7OztHQWVHO0FBQ0gsd0JBQWdCLE1BQU0sQ0FBQyxDQUFDLEVBQUUsS0FBSyxFQUFFLFdBQVcsQ0FBQyxDQUFDLENBQUMsR0FBRyxXQUFXLENBQUMsTUFBTSxDQUFDLENBQUMsQ0FBQyxDQUFDLENBbUN2RTtBQUVELGdHQUE4RjtBQUM5Rix3QkFBZ0IsTUFBTSxDQUFDLE9BQU8sRUFBRSxNQUFNLEdBQUcsV0FBVyxDQUFDLE1BQU0sQ0FBQyxDQWEzRDtBQUVELHdCQUFnQixlQUFlLENBQUMsQ0FBQyxFQUFFLE9BQU8sRUFBRSxXQUFXLENBQUMsQ0FBQyxDQUFDLEdBQUcsV0FBVyxDQUFDLGNBQWMsQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQXVCMUYifQ==
+/** A named field within a {@link STRUCT}: it owns however many wire slots its {@link TypeMapping} declares. */
+export type StructField<TName extends string = string, T = any> = {
+    name: TName;
+    type: TypeMapping<T>;
+};
+/**
+ * A Noir struct: its `shape` and (de)serialization are the concatenation of its fields', so callers never hand-write a
+ * `shape`. `T` is the struct's TS value type and must match the field layout — serialization reads each field by name
+ * off the value, deserialization returns the decoded bag as `T`; convert in the handler, not here, when `T` differs.
+ */
+export declare function STRUCT<T>(fields: readonly StructField[]): TypeMapping<T> & {
+    kind: 'struct';
+    fields: readonly StructField[];
+};
+/** Number of InputSlots a deserializable type spans, derived from its {@link TypeMapping.shape}. */
+export declare function slotsOf(mapping: TypeMapping): number;
+/** Number of fields a fully-static shape occupies, or `undefined` if any slot is variable-width. */
+export declare function tryFieldWidth(shape: SlotShape[]): number | undefined;
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoib3JhY2xlX3R5cGVfbWFwcGluZ3MuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9jb250cmFjdF9mdW5jdGlvbl9zaW11bGF0b3Ivb3JhY2xlL29yYWNsZV90eXBlX21hcHBpbmdzLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sRUFHTCx3QkFBd0IsRUFXekIsTUFBTSxrQkFBa0IsQ0FBQztBQUMxQixPQUFPLEVBQUUsV0FBVyxFQUFFLEtBQUssVUFBVSxFQUFFLE1BQU0saUNBQWlDLENBQUM7QUFFL0UsT0FBTyxFQUFFLEVBQUUsRUFBRSxNQUFNLGdDQUFnQyxDQUFDO0FBQ3BELE9BQU8sRUFBRSxVQUFVLEVBQUUsTUFBTSwrQkFBK0IsQ0FBQztBQUMzRCxPQUFPLEVBQUUsV0FBVyxFQUFFLE1BQU0sNkJBQTZCLENBQUM7QUFDMUQsT0FBTyxFQUFFLGlCQUFpQixFQUFvQixNQUFNLHlCQUF5QixDQUFDO0FBQzlFLE9BQU8sRUFBRSxLQUFLLFNBQVMsRUFBaUIsTUFBTSx5QkFBeUIsQ0FBQztBQUN4RSxPQUFPLEVBQUUsZ0JBQWdCLEVBQUUsWUFBWSxFQUFFLE1BQU0sbUJBQW1CLENBQUM7QUFFbkUsT0FBTyxFQUFFLFlBQVksRUFBRSxNQUFNLDZCQUE2QixDQUFDO0FBQzNELE9BQU8sRUFBRSxTQUFTLEVBQUUsTUFBTSxxQkFBcUIsQ0FBQztBQUNoRCxPQUFPLEtBQUssRUFBRSx3QkFBd0IsRUFBRSxjQUFjLEVBQUUsTUFBTSx3QkFBd0IsQ0FBQztBQUV2RixPQUFPLEVBQUUsb0JBQW9CLEVBQUUsTUFBTSxzQkFBc0IsQ0FBQztBQUM1RCxPQUFPLEtBQUssRUFBRSxVQUFVLEVBQUUsTUFBTSxvQkFBb0IsQ0FBQztBQUNyRCxPQUFPLEVBQ0wsS0FBSyxvQkFBb0IsRUFLMUIsTUFBTSxvQkFBb0IsQ0FBQztBQUM1QixPQUFPLEVBSUwsMEJBQTBCLEVBRzFCLGlCQUFpQixFQUNsQixNQUFNLHFCQUFxQixDQUFDO0FBQzdCLE9BQU8sRUFDTCxXQUFXLEVBSVgsTUFBTSxFQUNQLE1BQU0sa0JBQWtCLENBQUM7QUFFMUIsT0FBTyxLQUFLLEVBQUUsV0FBVyxFQUFFLHFCQUFxQixFQUFFLE1BQU0sbUNBQW1DLENBQUM7QUFDNUYsT0FBTyxFQUFFLFVBQVUsRUFBRSxNQUFNLGdDQUFnQyxDQUFDO0FBQzVELE9BQU8sS0FBSyxFQUFFLG9CQUFvQixFQUFFLE1BQU0sNENBQTRDLENBQUM7QUFDdkYsT0FBTyxLQUFLLEVBQUUsa0JBQWtCLEVBQUUsTUFBTSx5Q0FBeUMsQ0FBQztBQUNsRixPQUFPLEVBQUUsY0FBYyxFQUFFLE1BQU0sb0NBQW9DLENBQUM7QUFDcEUsT0FBTyxFQUFFLHNCQUFzQixFQUFFLE1BQU0sNkNBQTZDLENBQUM7QUFDckYsT0FBTyxLQUFLLEVBQUUsSUFBSSxFQUFFLE1BQU0seUJBQXlCLENBQUM7QUFDcEQsT0FBTyxLQUFLLEVBQUUsY0FBYyxFQUFFLE1BQU0sb0NBQW9DLENBQUM7QUFDekUsT0FBTyxFQUFFLEtBQUssbUJBQW1CLEVBQXNDLE1BQU0sMENBQTBDLENBQUM7QUFDeEgsT0FBTyxLQUFLLEVBQUUsb0JBQW9CLEVBQUUsTUFBTSwyQ0FBMkMsQ0FBQztBQUN0RixPQUFPLEtBQUssRUFBRSxRQUFRLEVBQUUsTUFBTSw4QkFBOEIsQ0FBQztBQUM3RCxPQUFPLEVBQUUscUJBQXFCLEVBQUUsTUFBTSw0Q0FBNEMsQ0FBQztBQUNuRixPQUFPLEVBQUUsTUFBTSxFQUFFLE1BQU0sMkJBQTJCLENBQUM7QUFDbkQsT0FBTyxLQUFLLEVBQUUsZ0JBQWdCLEVBQUUsTUFBTSx1Q0FBdUMsQ0FBQztBQUM5RSxPQUFPLEtBQUssRUFBRSxjQUFjLEVBQUUsTUFBTSxvQ0FBb0MsQ0FBQztBQUN6RSxPQUFPLEVBQ0wsS0FBSyx1QkFBdUIsRUFHN0IsTUFBTSw4Q0FBOEMsQ0FBQztBQUN0RCxPQUFPLEtBQUssRUFBRSxVQUFVLEVBQUUsTUFBTSxnQ0FBZ0MsQ0FBQztBQUNqRSxPQUFPLEtBQUssRUFBRSxZQUFZLEVBQUUsTUFBTSxtQ0FBbUMsQ0FBQztBQUN0RSxPQUFPLEtBQUssRUFBRSxjQUFjLEVBQUUsTUFBTSxvQ0FBb0MsQ0FBQztBQUN6RSxPQUFPLEtBQUssRUFBRSx1QkFBdUIsRUFBRSxNQUFNLGlDQUFpQyxDQUFDO0FBTS9FLFlBQVksRUFDVixvQkFBb0IsRUFDcEIsU0FBUyxFQUNULFdBQVcsRUFDWCx3QkFBd0IsRUFDeEIsaUJBQWlCLEVBQ2pCLDBCQUEwQixFQUMxQixnQkFBZ0IsRUFDaEIsaUJBQWlCLEVBQ2pCLE1BQU0sR0FDUCxDQUFDO0FBSUYsa0VBQWtFO0FBQ2xFLE1BQU0sTUFBTSxTQUFTLEdBQUcsU0FBUyxFQUFFLENBQUM7QUFFcEMsNEVBQTRFO0FBQzVFLE1BQU0sTUFBTSxVQUFVLEdBQUcsU0FBUyxHQUFHLFNBQVMsRUFBRSxDQUFDO0FBRWpEOzs7Ozs7Ozs7R0FTRztBQUNILE1BQU0sTUFBTSxTQUFTLEdBQUcsUUFBUSxHQUFHO0lBQUUsR0FBRyxFQUFFLE1BQU0sQ0FBQTtDQUFFLEdBQUcsVUFBVSxHQUFHO0lBQUUsT0FBTyxFQUFFLENBQUMsSUFBSSxFQUFFLEdBQUcsS0FBSyxNQUFNLENBQUE7Q0FBRSxDQUFDO0FBRXJHOzs7R0FHRztBQUNILE1BQU0sV0FBVyxXQUFXLENBQUMsQ0FBQyxHQUFHLEdBQUc7SUFDbEMsYUFBYSxDQUFDLEVBQUU7UUFDZCxvREFBb0Q7UUFDcEQsRUFBRSxFQUFFLENBQUMsS0FBSyxFQUFFLENBQUMsS0FBSyxDQUFDLEVBQUUsR0FBRyxFQUFFLEVBQUUsQ0FBQyxFQUFFLENBQUM7S0FDakMsQ0FBQztJQUNGLGVBQWUsQ0FBQyxFQUFFO1FBQ2hCLDRHQUEwRztRQUMxRyxFQUFFLEVBQUUsQ0FBQyxPQUFPLEVBQUUsV0FBVyxFQUFFLEtBQUssQ0FBQyxDQUFDO0tBQ25DLENBQUM7SUFDRjs7Ozs7OztPQU9HO0lBQ0gsS0FBSyxFQUFFLFNBQVMsRUFBRSxDQUFDO0NBQ3BCO0FBRUQsTUFBTSxNQUFNLFlBQVksQ0FBQyxDQUFDLElBQUksQ0FBQyxHQUFHLE9BQU8sQ0FBQyxDQUFDLENBQUMsQ0FBQztBQUU3Qzs7R0FFRztBQUNILHdCQUFnQixxQkFBcUIsQ0FBQyxPQUFPLEVBQUUsV0FBVyxFQUFFLEdBQUcsSUFBSSxDQVFsRTtBQUlELGVBQU8sTUFBTSxLQUFLLEVBQUUsV0FBVyxDQUFDLEVBQUUsQ0FJakMsQ0FBQztBQUVGLGVBQU8sTUFBTSxJQUFJLEVBQUUsV0FBVyxDQUFDLE9BQU8sQ0FJckMsQ0FBQztBQUVGLGVBQU8sTUFBTSxHQUFHLEVBQUUsV0FBVyxDQUFDLE1BQU0sQ0FZbkMsQ0FBQztBQUVGLGVBQU8sTUFBTSxZQUFZLEVBQUUsV0FBVyxDQUFDLFdBQVcsQ0FJakQsQ0FBQztBQUVGLG1HQUFtRztBQUNuRyxlQUFPLE1BQU0sSUFBSSxFQUFFLFdBQVcsQ0FBQyxNQUFNLENBWXBDLENBQUM7QUFHRixlQUFPLE1BQU0sYUFBYSxFQUFFLFdBQVcsQ0FBQyxvQkFBb0IsQ0FLM0QsQ0FBQztBQUVGLGVBQU8sTUFBTSx5QkFBeUIsRUFBRSxXQUFXLENBQUMsdUJBQXVCLENBTzFFLENBQUM7QUFFRixlQUFPLE1BQU0sTUFBTSxFQUFFLFdBQVcsQ0FBQyxNQUFNLENBSXRDLENBQUM7QUFFRiwrREFBK0Q7QUFDL0QsZUFBTyxNQUFNLEdBQUcsRUFBRSxXQUFXLENBQUMsTUFBTSxDQVluQyxDQUFDO0FBRUYsZUFBTyxNQUFNLGFBQWEsRUFBRSxXQUFXLENBQUMsWUFBWSxDQUluRCxDQUFDO0FBRUYsZUFBTyxNQUFNLFVBQVUsRUFBRSxXQUFXLENBQUMsU0FBUyxDQUk3QyxDQUFDO0FBRUYsZUFBTyxNQUFNLGlCQUFpQixFQUFFLFdBQVcsQ0FBQyxnQkFBZ0IsQ0FJM0QsQ0FBQztBQUVGLGVBQU8sTUFBTSxhQUFhLEVBQUUsV0FBVyxDQUFDLFlBQVksQ0FJbkQsQ0FBQztBQUVGLGVBQU8sTUFBTSxPQUFPLEVBQUUsV0FBVyxDQUFDLE1BQU0sQ0FJdkMsQ0FBQztBQVFGLGVBQU8sTUFBTSxLQUFLLEVBQUUsV0FBVyxDQUFDLGtCQUFrQixDQUdoRCxDQUFDO0FBUUgsZUFBTyxNQUFNLFdBQVcsRUFBRSxXQUFXLENBQUMsVUFBVSxDQUkvQyxDQUFDO0FBRUYsZUFBTyxNQUFNLFdBQVcsRUFBRSxXQUFXLENBQUMsVUFBVSxDQUcvQyxDQUFDO0FBa0NGLGVBQU8sTUFBTSxZQUFZLEVBQUUsV0FBVyxDQUFDLFdBQVcsQ0FPaEQsQ0FBQztBQUVILGVBQU8sTUFBTSxzQkFBc0IsRUFBRSxXQUFXLENBQUMsb0JBQW9CLENBR25FLENBQUM7QUFXSCxlQUFPLE1BQU0saUJBQWlCLEVBQUUsV0FBVyxDQUFDLHdCQUF3QixDQVFsRSxDQUFDO0FBVUgsZUFBTyxNQUFNLDRCQUE0QixFQUFFLFdBQVcsQ0FBQywwQkFBMEIsQ0FNaEYsQ0FBQztBQWFGLGVBQU8sTUFBTSxtQkFBbUIsRUFBRSxXQUFXLENBQUMsaUJBQWlCLENBSTdELENBQUM7QUFFSCxlQUFPLE1BQU0sMEJBQTBCLEVBQUUsV0FBVyxDQUFDLHVCQUF1QixDQUFDLE9BQU8sd0JBQXdCLENBQUMsQ0FLM0csQ0FBQztBQUVILGVBQU8sTUFBTSxlQUFlLEVBQUUsV0FBVyxDQUFDLGNBQWMsQ0FJdEQsQ0FBQztBQUVILGVBQU8sTUFBTSxtQkFBbUIsRUFBRSxXQUFXLENBQUM7SUFBRSxvQkFBb0IsRUFBRSxFQUFFLENBQUM7SUFBQyxXQUFXLEVBQUUsRUFBRSxDQUFBO0NBQUUsQ0FHekYsQ0FBQztBQUVILGVBQU8sTUFBTSwrQkFBK0IsRUFBRSxXQUFXLENBQUM7SUFDeEQsVUFBVSxFQUFFLFVBQVUsQ0FBQztJQUN2QixjQUFjLEVBQUUsY0FBYyxDQUFDO0NBQ2hDLENBR0MsQ0FBQztBQUVILGVBQU8sTUFBTSxrQkFBa0IsRUFBRSxXQUFXLENBQUMsb0JBQW9CLENBSS9ELENBQUM7QUFpQ0gsZUFBTyxNQUFNLFNBQVMsRUFBRSxXQUFXLENBQUMsWUFBWSxDQVc5QyxDQUFDO0FBRUgsZUFBTyxNQUFNLElBQUksRUFBRSxXQUFXLENBQUMsUUFBUSxDQWdCdEMsQ0FBQztBQUVGLGVBQU8sTUFBTSx1QkFBdUIsRUFBRSxXQUFXLENBQUMscUJBQXFCLENBS3RFLENBQUM7QUFFRixlQUFPLE1BQU0sd0JBQXdCLEVBQUUsV0FBVyxDQUFDLHNCQUFzQixDQUt4RSxDQUFDO0FBRUYsZUFBTyxNQUFNLHFCQUFxQixFQUFFLFdBQVcsQ0FBQyxtQkFBbUIsQ0FNakUsQ0FBQztBQUVILGVBQU8sTUFBTSxzQkFBc0IsRUFBRSxXQUFXLENBQUMsb0JBQW9CLENBUW5FLENBQUM7QUFJSCxlQUFPLE1BQU0sV0FBVyxFQUFFLFdBQVcsQ0FBQyxVQUFVLENBRy9DLENBQUM7QUFFRixlQUFPLE1BQU0sa0JBQWtCLEVBQUUsV0FBVyxDQUFDLGdCQUFnQixDQUczRCxDQUFDO0FBRUgsZUFBTyxNQUFNLFlBQVksRUFBRSxXQUFXLENBQUMsV0FBVyxDQVNqRCxDQUFDO0FBRUYsNEZBQTRGO0FBQzVGLGVBQU8sTUFBTSx1QkFBdUIsRUFBRSxXQUFXLENBQUMscUJBQXFCLENBR3RFLENBQUM7QUFJRixlQUFPLE1BQU0sSUFBSSxFQUFFLFdBQVcsQ0FBQyxJQUFJLENBU2xDLENBQUM7QUFFRixlQUFPLE1BQU0sZUFBZSxFQUFFLFdBQVcsQ0FBQyxjQUFjLENBV3ZELENBQUM7QUFFRixlQUFPLE1BQU0sZUFBZSxFQUFFLFdBQVcsQ0FBQyxjQUFjLENBUXZELENBQUM7QUFXRix3QkFBZ0Isa0JBQWtCLENBQUMsQ0FBQyxTQUFTLE1BQU0sRUFBRSxNQUFNLEVBQUUsQ0FBQyxHQUFHLFdBQVcsQ0FBQyxpQkFBaUIsQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUtqRztBQUVELHdCQUFnQixLQUFLLENBQUMsQ0FBQyxFQUFFLEtBQUssRUFBRSxXQUFXLENBQUMsQ0FBQyxDQUFDLEdBQUcsV0FBVyxDQUFDLENBQUMsRUFBRSxDQUFDLEdBQUc7SUFBRSxJQUFJLEVBQUUsT0FBTyxDQUFDO0lBQUMsS0FBSyxFQUFFLFdBQVcsQ0FBQyxDQUFDLENBQUMsQ0FBQTtDQUFFLENBYzNHO0FBRUQ7Ozs7R0FJRztBQUNILHdCQUFnQixXQUFXLENBQUMsQ0FBQyxFQUMzQixPQUFPLEVBQUUsV0FBVyxDQUFDLENBQUMsQ0FBQyxFQUN2QixNQUFNLEVBQUUsTUFBTSxHQUNiLFdBQVcsQ0FBQyxDQUFDLEVBQUUsQ0FBQyxHQUFHO0lBQUUsSUFBSSxFQUFFLGFBQWEsQ0FBQztJQUFDLEtBQUssRUFBRSxXQUFXLENBQUMsQ0FBQyxDQUFDLENBQUM7SUFBQyxNQUFNLEVBQUUsTUFBTSxDQUFBO0NBQUUsQ0FjbkY7QUFFRDs7Ozs7Ozs7Ozs7O0dBWUc7QUFDSCx3QkFBZ0IsV0FBVyxDQUFDLENBQUMsRUFDM0IsS0FBSyxFQUFFLFdBQVcsQ0FBQyxDQUFDLENBQUMsR0FDcEIsV0FBVyxDQUFDLFVBQVUsQ0FBQyxDQUFDLENBQUMsQ0FBQyxHQUFHO0lBQUUsSUFBSSxFQUFFLGFBQWEsQ0FBQztJQUFDLEtBQUssRUFBRSxXQUFXLENBQUMsQ0FBQyxDQUFDLENBQUE7Q0FBRSxDQWtDN0U7QUFFRDs7OztHQUlHO0FBQ0gsd0JBQWdCLGlCQUFpQixDQUFDLENBQUMsRUFDakMsT0FBTyxFQUFFLFdBQVcsQ0FBQyxDQUFDLENBQUMsRUFDdkIsU0FBUyxFQUFFLE1BQU0sR0FDaEIsV0FBVyxDQUFDLENBQUMsRUFBRSxDQUFDLEdBQUc7SUFBRSxJQUFJLEVBQUUsbUJBQW1CLENBQUM7SUFBQyxLQUFLLEVBQUUsV0FBVyxDQUFDLENBQUMsQ0FBQyxDQUFDO0lBQUMsU0FBUyxFQUFFLE1BQU0sQ0FBQTtDQUFFLENBbUI1RjtBQUVEOzs7Ozs7Ozs7Ozs7Ozs7OztHQWlCRztBQUNILHdCQUFnQixNQUFNLENBQUMsQ0FBQyxFQUFFLEtBQUssRUFBRSxXQUFXLENBQUMsQ0FBQyxDQUFDLEdBQUcsV0FBVyxDQUFDLE1BQU0sQ0FBQyxDQUFDLENBQUMsQ0FBQyxHQUFHO0lBQUUsSUFBSSxFQUFFLFFBQVEsQ0FBQztJQUFDLEtBQUssRUFBRSxXQUFXLENBQUMsQ0FBQyxDQUFDLENBQUE7Q0FBRSxDQTRCbkg7QUFFRDs7O0dBR0c7QUFDSCx3QkFBZ0IsTUFBTSxDQUFDLE9BQU8sRUFBRSxNQUFNLEVBQUUsTUFBTSxFQUFFLE1BQU0sR0FBRyxXQUFXLENBQUMsTUFBTSxDQUFDLENBYzNFO0FBRUQsd0JBQWdCLGVBQWUsQ0FBQyxDQUFDLEVBQUUsT0FBTyxFQUFFLFdBQVcsQ0FBQyxDQUFDLENBQUMsR0FBRyxXQUFXLENBQUMsY0FBYyxDQUFDLENBQUMsQ0FBQyxDQUFDLENBd0IxRjtBQUVELCtHQUErRztBQUMvRyxNQUFNLE1BQU0sV0FBVyxDQUFDLEtBQUssU0FBUyxNQUFNLEdBQUcsTUFBTSxFQUFFLENBQUMsR0FBRyxHQUFHLElBQUk7SUFBRSxJQUFJLEVBQUUsS0FBSyxDQUFDO0lBQUMsSUFBSSxFQUFFLFdBQVcsQ0FBQyxDQUFDLENBQUMsQ0FBQTtDQUFFLENBQUM7QUFFeEc7Ozs7R0FJRztBQUNILHdCQUFnQixNQUFNLENBQUMsQ0FBQyxFQUN0QixNQUFNLEVBQUUsU0FBUyxXQUFXLEVBQUUsR0FDN0IsV0FBVyxDQUFDLENBQUMsQ0FBQyxHQUFHO0lBQUUsSUFBSSxFQUFFLFFBQVEsQ0FBQztJQUFDLE1BQU0sRUFBRSxTQUFTLFdBQVcsRUFBRSxDQUFBO0NBQUUsQ0E0QnJFO0FBRUQsb0dBQW9HO0FBQ3BHLHdCQUFnQixPQUFPLENBQUMsT0FBTyxFQUFFLFdBQVcsR0FBRyxNQUFNLENBRXBEO0FBRUQsb0dBQW9HO0FBQ3BHLHdCQUFnQixhQUFhLENBQUMsS0FBSyxFQUFFLFNBQVMsRUFBRSxHQUFHLE1BQU0sR0FBRyxTQUFTLENBWXBFIn0=

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

@@ -1 +1 @@
-{"version":3,"file":"oracle_type_mappings.d.ts","sourceRoot":"","sources":["../../../src/contract_function_simulator/oracle/oracle_type_mappings.ts"],"names":[],"mappings":"AAAA,OAAO,EAGL,wBAAwB,EAOzB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,WAAW,EAAE,MAAM,iCAAiC,CAAC;AAE9D,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AACpD,OAAO,EAAE,KAAK,EAAE,MAAM,mCAAmC,CAAC;AAC1D,OAAO,EAAE,WAAW,EAAE,MAAM,6BAA6B,CAAC;AAC1D,OAAO,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAC5D,OAAO,EAAE,KAAK,SAAS,EAAiB,MAAM,yBAAyB,CAAC;AACxE,OAAO,EAAE,gBAAgB,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AAEnE,OAAO,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAC3D,OAAO,EAAE,SAAS,EAAE,MAAM,qBAAqB,CAAC;AAChD,OAAO,KAAK,EAAE,gBAAgB,EAAE,cAAc,EAAE,MAAM,wBAAwB,CAAC;AAC/E,OAAO,EAAE,oBAAoB,EAAE,MAAM,sBAAsB,CAAC;AAC5D,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AACrD,OAAO,EACL,KAAK,oBAAoB,EACzB,gBAAgB,EAGhB,cAAc,EACd,gBAAgB,EAEhB,GAAG,EAEJ,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EAAE,0BAA0B,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AACpF,OAAO,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAEjE,OAAO,EAAE,UAAU,EAAE,MAAM,gCAAgC,CAAC;AAC5D,OAAO,EAAE,cAAc,EAAE,MAAM,oCAAoC,CAAC;AACpE,OAAO,EAAE,sBAAsB,EAAE,MAAM,6CAA6C,CAAC;AACrF,OAAO,EAAE,mBAAmB,EAAE,MAAM,0CAA0C,CAAC;AAC/E,OAAO,EAAE,oBAAoB,EAAE,MAAM,2CAA2C,CAAC;AACjF,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,8BAA8B,CAAC;AAC7D,OAAO,EAAE,qBAAqB,EAAE,MAAM,4CAA4C,CAAC;AACnF,OAAO,EAAE,MAAM,EAAE,MAAM,2BAA2B,CAAC;AACnD,OAAO,EAAE,cAAc,EAAE,MAAM,oCAAoC,CAAC;AACpE,OAAO,EAAE,cAAc,EAAE,MAAM,oCAAoC,CAAC;AACpE,OAAO,EAAE,uBAAuB,EAAE,MAAM,iCAAiC,CAAC;AAK1E,kEAAkE;AAClE,MAAM,MAAM,SAAS,GAAG,SAAS,EAAE,CAAC;AAEpC,4EAA4E;AAC5E,MAAM,MAAM,UAAU,GAAG,SAAS,GAAG,SAAS,EAAE,CAAC;AAEjD;;;GAGG;AACH,MAAM,WAAW,WAAW,CAAC,CAAC,GAAG,GAAG;IAClC,aAAa,CAAC,EAAE;QACd,oDAAoD;QACpD,EAAE,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,CAAC,EAAE,GAAG,EAAE,EAAE,CAAC,EAAE,CAAC;KACjC,CAAC;IACF,eAAe,CAAC,EAAE;QAChB,iEAAiE;QACjE,EAAE,EAAE,CAAC,OAAO,EAAE,WAAW,EAAE,KAAK,CAAC,CAAC;QAClC;;;;;;;WAOG;QACH,KAAK,EAAE,MAAM,CAAC;KACf,CAAC;CACH;AAED,MAAM,MAAM,YAAY,CAAC,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;AAE7C;;GAEG;AACH,wBAAgB,qBAAqB,CAAC,OAAO,EAAE,WAAW,EAAE,GAAG,IAAI,CAQlE;AAID,eAAO,MAAM,KAAK,EAAE,WAAW,CAAC,EAAE,CAGjC,CAAC;AAEF,eAAO,MAAM,IAAI,EAAE,WAAW,CAAC,OAAO,CAGrC,CAAC;AAEF,eAAO,MAAM,GAAG,EAAE,WAAW,CAAC,MAAM,CAYnC,CAAC;AAEF,eAAO,MAAM,YAAY,EAAE,WAAW,CAAC,WAAW,CAGjD,CAAC;AAEF,mGAAmG;AACnG,eAAO,MAAM,IAAI,EAAE,WAAW,CAAC,MAAM,CAYpC,CAAC;AAGF,eAAO,MAAM,aAAa,EAAE,WAAW,CAAC,oBAAoB,CAK3D,CAAC;AAEF,eAAO,MAAM,MAAM,EAAE,WAAW,CAAC,MAAM,CAGtC,CAAC;AAEF,+DAA+D;AAC/D,eAAO,MAAM,GAAG,EAAE,WAAW,CAAC,MAAM,CAYnC,CAAC;AAEF,eAAO,MAAM,aAAa,EAAE,WAAW,CAAC,YAAY,CAGnD,CAAC;AAEF,eAAO,MAAM,UAAU,EAAE,WAAW,CAAC,SAAS,CAG7C,CAAC;AAEF,eAAO,MAAM,iBAAiB,EAAE,WAAW,CAAC,gBAAgB,CAG3D,CAAC;AAEF,eAAO,MAAM,aAAa,EAAE,WAAW,CAAC,YAAY,CAGnD,CAAC;AAEF,eAAO,MAAM,OAAO,EAAE,WAAW,CAAC,MAAM,CAGvC,CAAC;AAEF,eAAO,MAAM,GAAG,EAAE,WAAW,CAAC,GAAG,CAGhC,CAAC;AAEF,eAAO,MAAM,KAAK,EAAE,WAAW,CAAC,KAAK,CAMpC,CAAC;AAIF,eAAO,MAAM,YAAY,EAAE,WAAW,CAAC,WAAW,CAGjD,CAAC;AAEF,eAAO,MAAM,sBAAsB,EAAE,WAAW,CAAC,oBAAoB,CAMpE,CAAC;AAEF,eAAO,MAAM,iBAAiB,EAAE,WAAW,CAAC,gBAAgB,CAW3D,CAAC;AAEF,eAAO,MAAM,4BAA4B,EAAE,WAAW,CAAC,0BAA0B,CAOhF,CAAC;AAEF,eAAO,MAAM,mBAAmB,EAAE,WAAW,CAAC,iBAAiB,CAO9D,CAAC;AAEF,eAAO,MAAM,0BAA0B,EAAE,WAAW,CAAC,uBAAuB,CAAC,OAAO,wBAAwB,CAAC,CAO5G,CAAC;AAEF,eAAO,MAAM,eAAe,EAAE,WAAW,CAAC,cAAc,CAIvD,CAAC;AAEF,eAAO,MAAM,mBAAmB,EAAE,WAAW,CAAC;IAAE,oBAAoB,EAAE,EAAE,CAAC;IAAC,WAAW,EAAE,EAAE,CAAA;CAAE,CAE1F,CAAC;AAEF,eAAO,MAAM,+BAA+B,EAAE,WAAW,CAAC;IACxD,UAAU,EAAE,UAAU,CAAC;IACvB,cAAc,EAAE,cAAc,CAAC;CAChC,CAIA,CAAC;AAEF,eAAO,MAAM,wBAAwB,EAAE,WAAW,CAAC,gBAAgB,CAWlE,CAAC;AAEF,eAAO,MAAM,SAAS,EAAE,WAAW,CAAC,QAAQ,CA2B3C,CAAC;AAEF,eAAO,MAAM,IAAI,EAAE,WAAW,CAAC,QAAQ,CAatC,CAAC;AAEF,eAAO,MAAM,kBAAkB,EAAE,WAAW,CAAC,gBAAgB,CAE5D,CAAC;AAEF,eAAO,MAAM,uBAAuB,EAAE,WAAW,CAAC,qBAAqB,CAKtE,CAAC;AAEF,eAAO,MAAM,wBAAwB,EAAE,WAAW,CAAC,sBAAsB,CAKxE,CAAC;AAEF,eAAO,MAAM,qBAAqB,EAAE,WAAW,CAAC,mBAAmB,CAMlE,CAAC;AAEF,eAAO,MAAM,sBAAsB,EAAE,WAAW,CAAC,oBAAoB,CAEpE,CAAC;AAEF,eAAO,MAAM,eAAe,EAAE,WAAW,CAAC,cAAc,CAEvD,CAAC;AAEF,eAAO,MAAM,eAAe,EAAE,WAAW,CAAC,cAAc,CAKvD,CAAC;AAIF,yGAAyG;AACzG,wBAAgB,kBAAkB,CAAC,CAAC,SAAS,MAAM,EAAE,OAAO,EAAE,CAAC,GAAG,WAAW,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,CAMlG;AAED,wBAAgB,KAAK,CAAC,CAAC,EAAE,OAAO,EAAE,WAAW,CAAC,CAAC,CAAC,GAAG,WAAW,CAAC,CAAC,EAAE,CAAC,CAkBlE;AAED;;;;;;;;;;;;GAYG;AACH,wBAAgB,WAAW,CAAC,CAAC,EAAE,OAAO,EAAE,WAAW,CAAC,CAAC,CAAC,GAAG,WAAW,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CA+BlF;AAED;;;;;;;;;;;;;;;GAeG;AACH,wBAAgB,MAAM,CAAC,CAAC,EAAE,KAAK,EAAE,WAAW,CAAC,CAAC,CAAC,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAmCvE;AAED,gGAA8F;AAC9F,wBAAgB,MAAM,CAAC,OAAO,EAAE,MAAM,GAAG,WAAW,CAAC,MAAM,CAAC,CAa3D;AAED,wBAAgB,eAAe,CAAC,CAAC,EAAE,OAAO,EAAE,WAAW,CAAC,CAAC,CAAC,GAAG,WAAW,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,CAuB1F"}
+{"version":3,"file":"oracle_type_mappings.d.ts","sourceRoot":"","sources":["../../../src/contract_function_simulator/oracle/oracle_type_mappings.ts"],"names":[],"mappings":"AAAA,OAAO,EAGL,wBAAwB,EAWzB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,WAAW,EAAE,KAAK,UAAU,EAAE,MAAM,iCAAiC,CAAC;AAE/E,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AACpD,OAAO,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAC3D,OAAO,EAAE,WAAW,EAAE,MAAM,6BAA6B,CAAC;AAC1D,OAAO,EAAE,iBAAiB,EAAoB,MAAM,yBAAyB,CAAC;AAC9E,OAAO,EAAE,KAAK,SAAS,EAAiB,MAAM,yBAAyB,CAAC;AACxE,OAAO,EAAE,gBAAgB,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AAEnE,OAAO,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAC3D,OAAO,EAAE,SAAS,EAAE,MAAM,qBAAqB,CAAC;AAChD,OAAO,KAAK,EAAE,wBAAwB,EAAE,cAAc,EAAE,MAAM,wBAAwB,CAAC;AAEvF,OAAO,EAAE,oBAAoB,EAAE,MAAM,sBAAsB,CAAC;AAC5D,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AACrD,OAAO,EACL,KAAK,oBAAoB,EAK1B,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EAIL,0BAA0B,EAG1B,iBAAiB,EAClB,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EACL,WAAW,EAIX,MAAM,EACP,MAAM,kBAAkB,CAAC;AAE1B,OAAO,KAAK,EAAE,WAAW,EAAE,qBAAqB,EAAE,MAAM,mCAAmC,CAAC;AAC5F,OAAO,EAAE,UAAU,EAAE,MAAM,gCAAgC,CAAC;AAC5D,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,4CAA4C,CAAC;AACvF,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,yCAAyC,CAAC;AAClF,OAAO,EAAE,cAAc,EAAE,MAAM,oCAAoC,CAAC;AACpE,OAAO,EAAE,sBAAsB,EAAE,MAAM,6CAA6C,CAAC;AACrF,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,yBAAyB,CAAC;AACpD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,oCAAoC,CAAC;AACzE,OAAO,EAAE,KAAK,mBAAmB,EAAsC,MAAM,0CAA0C,CAAC;AACxH,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,2CAA2C,CAAC;AACtF,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,8BAA8B,CAAC;AAC7D,OAAO,EAAE,qBAAqB,EAAE,MAAM,4CAA4C,CAAC;AACnF,OAAO,EAAE,MAAM,EAAE,MAAM,2BAA2B,CAAC;AACnD,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,uCAAuC,CAAC;AAC9E,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,oCAAoC,CAAC;AACzE,OAAO,EACL,KAAK,uBAAuB,EAG7B,MAAM,8CAA8C,CAAC;AACtD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,gCAAgC,CAAC;AACjE,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,mCAAmC,CAAC;AACtE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,oCAAoC,CAAC;AACzE,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,iCAAiC,CAAC;AAM/E,YAAY,EACV,oBAAoB,EACpB,SAAS,EACT,WAAW,EACX,wBAAwB,EACxB,iBAAiB,EACjB,0BAA0B,EAC1B,gBAAgB,EAChB,iBAAiB,EACjB,MAAM,GACP,CAAC;AAIF,kEAAkE;AAClE,MAAM,MAAM,SAAS,GAAG,SAAS,EAAE,CAAC;AAEpC,4EAA4E;AAC5E,MAAM,MAAM,UAAU,GAAG,SAAS,GAAG,SAAS,EAAE,CAAC;AAEjD;;;;;;;;;GASG;AACH,MAAM,MAAM,SAAS,GAAG,QAAQ,GAAG;IAAE,GAAG,EAAE,MAAM,CAAA;CAAE,GAAG,UAAU,GAAG;IAAE,OAAO,EAAE,CAAC,IAAI,EAAE,GAAG,KAAK,MAAM,CAAA;CAAE,CAAC;AAErG;;;GAGG;AACH,MAAM,WAAW,WAAW,CAAC,CAAC,GAAG,GAAG;IAClC,aAAa,CAAC,EAAE;QACd,oDAAoD;QACpD,EAAE,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,CAAC,EAAE,GAAG,EAAE,EAAE,CAAC,EAAE,CAAC;KACjC,CAAC;IACF,eAAe,CAAC,EAAE;QAChB,4GAA0G;QAC1G,EAAE,EAAE,CAAC,OAAO,EAAE,WAAW,EAAE,KAAK,CAAC,CAAC;KACnC,CAAC;IACF;;;;;;;OAOG;IACH,KAAK,EAAE,SAAS,EAAE,CAAC;CACpB;AAED,MAAM,MAAM,YAAY,CAAC,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;AAE7C;;GAEG;AACH,wBAAgB,qBAAqB,CAAC,OAAO,EAAE,WAAW,EAAE,GAAG,IAAI,CAQlE;AAID,eAAO,MAAM,KAAK,EAAE,WAAW,CAAC,EAAE,CAIjC,CAAC;AAEF,eAAO,MAAM,IAAI,EAAE,WAAW,CAAC,OAAO,CAIrC,CAAC;AAEF,eAAO,MAAM,GAAG,EAAE,WAAW,CAAC,MAAM,CAYnC,CAAC;AAEF,eAAO,MAAM,YAAY,EAAE,WAAW,CAAC,WAAW,CAIjD,CAAC;AAEF,mGAAmG;AACnG,eAAO,MAAM,IAAI,EAAE,WAAW,CAAC,MAAM,CAYpC,CAAC;AAGF,eAAO,MAAM,aAAa,EAAE,WAAW,CAAC,oBAAoB,CAK3D,CAAC;AAEF,eAAO,MAAM,yBAAyB,EAAE,WAAW,CAAC,uBAAuB,CAO1E,CAAC;AAEF,eAAO,MAAM,MAAM,EAAE,WAAW,CAAC,MAAM,CAItC,CAAC;AAEF,+DAA+D;AAC/D,eAAO,MAAM,GAAG,EAAE,WAAW,CAAC,MAAM,CAYnC,CAAC;AAEF,eAAO,MAAM,aAAa,EAAE,WAAW,CAAC,YAAY,CAInD,CAAC;AAEF,eAAO,MAAM,UAAU,EAAE,WAAW,CAAC,SAAS,CAI7C,CAAC;AAEF,eAAO,MAAM,iBAAiB,EAAE,WAAW,CAAC,gBAAgB,CAI3D,CAAC;AAEF,eAAO,MAAM,aAAa,EAAE,WAAW,CAAC,YAAY,CAInD,CAAC;AAEF,eAAO,MAAM,OAAO,EAAE,WAAW,CAAC,MAAM,CAIvC,CAAC;AAQF,eAAO,MAAM,KAAK,EAAE,WAAW,CAAC,kBAAkB,CAGhD,CAAC;AAQH,eAAO,MAAM,WAAW,EAAE,WAAW,CAAC,UAAU,CAI/C,CAAC;AAEF,eAAO,MAAM,WAAW,EAAE,WAAW,CAAC,UAAU,CAG/C,CAAC;AAkCF,eAAO,MAAM,YAAY,EAAE,WAAW,CAAC,WAAW,CAOhD,CAAC;AAEH,eAAO,MAAM,sBAAsB,EAAE,WAAW,CAAC,oBAAoB,CAGnE,CAAC;AAWH,eAAO,MAAM,iBAAiB,EAAE,WAAW,CAAC,wBAAwB,CAQlE,CAAC;AAUH,eAAO,MAAM,4BAA4B,EAAE,WAAW,CAAC,0BAA0B,CAMhF,CAAC;AAaF,eAAO,MAAM,mBAAmB,EAAE,WAAW,CAAC,iBAAiB,CAI7D,CAAC;AAEH,eAAO,MAAM,0BAA0B,EAAE,WAAW,CAAC,uBAAuB,CAAC,OAAO,wBAAwB,CAAC,CAK3G,CAAC;AAEH,eAAO,MAAM,eAAe,EAAE,WAAW,CAAC,cAAc,CAItD,CAAC;AAEH,eAAO,MAAM,mBAAmB,EAAE,WAAW,CAAC;IAAE,oBAAoB,EAAE,EAAE,CAAC;IAAC,WAAW,EAAE,EAAE,CAAA;CAAE,CAGzF,CAAC;AAEH,eAAO,MAAM,+BAA+B,EAAE,WAAW,CAAC;IACxD,UAAU,EAAE,UAAU,CAAC;IACvB,cAAc,EAAE,cAAc,CAAC;CAChC,CAGC,CAAC;AAEH,eAAO,MAAM,kBAAkB,EAAE,WAAW,CAAC,oBAAoB,CAI/D,CAAC;AAiCH,eAAO,MAAM,SAAS,EAAE,WAAW,CAAC,YAAY,CAW9C,CAAC;AAEH,eAAO,MAAM,IAAI,EAAE,WAAW,CAAC,QAAQ,CAgBtC,CAAC;AAEF,eAAO,MAAM,uBAAuB,EAAE,WAAW,CAAC,qBAAqB,CAKtE,CAAC;AAEF,eAAO,MAAM,wBAAwB,EAAE,WAAW,CAAC,sBAAsB,CAKxE,CAAC;AAEF,eAAO,MAAM,qBAAqB,EAAE,WAAW,CAAC,mBAAmB,CAMjE,CAAC;AAEH,eAAO,MAAM,sBAAsB,EAAE,WAAW,CAAC,oBAAoB,CAQnE,CAAC;AAIH,eAAO,MAAM,WAAW,EAAE,WAAW,CAAC,UAAU,CAG/C,CAAC;AAEF,eAAO,MAAM,kBAAkB,EAAE,WAAW,CAAC,gBAAgB,CAG3D,CAAC;AAEH,eAAO,MAAM,YAAY,EAAE,WAAW,CAAC,WAAW,CASjD,CAAC;AAEF,4FAA4F;AAC5F,eAAO,MAAM,uBAAuB,EAAE,WAAW,CAAC,qBAAqB,CAGtE,CAAC;AAIF,eAAO,MAAM,IAAI,EAAE,WAAW,CAAC,IAAI,CASlC,CAAC;AAEF,eAAO,MAAM,eAAe,EAAE,WAAW,CAAC,cAAc,CAWvD,CAAC;AAEF,eAAO,MAAM,eAAe,EAAE,WAAW,CAAC,cAAc,CAQvD,CAAC;AAWF,wBAAgB,kBAAkB,CAAC,CAAC,SAAS,MAAM,EAAE,MAAM,EAAE,CAAC,GAAG,WAAW,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,CAKjG;AAED,wBAAgB,KAAK,CAAC,CAAC,EAAE,KAAK,EAAE,WAAW,CAAC,CAAC,CAAC,GAAG,WAAW,CAAC,CAAC,EAAE,CAAC,GAAG;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,KAAK,EAAE,WAAW,CAAC,CAAC,CAAC,CAAA;CAAE,CAc3G;AAED;;;;GAIG;AACH,wBAAgB,WAAW,CAAC,CAAC,EAC3B,OAAO,EAAE,WAAW,CAAC,CAAC,CAAC,EACvB,MAAM,EAAE,MAAM,GACb,WAAW,CAAC,CAAC,EAAE,CAAC,GAAG;IAAE,IAAI,EAAE,aAAa,CAAC;IAAC,KAAK,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAcnF;AAED;;;;;;;;;;;;GAYG;AACH,wBAAgB,WAAW,CAAC,CAAC,EAC3B,KAAK,EAAE,WAAW,CAAC,CAAC,CAAC,GACpB,WAAW,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,GAAG;IAAE,IAAI,EAAE,aAAa,CAAC;IAAC,KAAK,EAAE,WAAW,CAAC,CAAC,CAAC,CAAA;CAAE,CAkC7E;AAED;;;;GAIG;AACH,wBAAgB,iBAAiB,CAAC,CAAC,EACjC,OAAO,EAAE,WAAW,CAAC,CAAC,CAAC,EACvB,SAAS,EAAE,MAAM,GAChB,WAAW,CAAC,CAAC,EAAE,CAAC,GAAG;IAAE,IAAI,EAAE,mBAAmB,CAAC;IAAC,KAAK,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC;IAAC,SAAS,EAAE,MAAM,CAAA;CAAE,CAmB5F;AAED;;;;;;;;;;;;;;;;;GAiBG;AACH,wBAAgB,MAAM,CAAC,CAAC,EAAE,KAAK,EAAE,WAAW,CAAC,CAAC,CAAC,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,KAAK,EAAE,WAAW,CAAC,CAAC,CAAC,CAAA;CAAE,CA4BnH;AAED;;;GAGG;AACH,wBAAgB,MAAM,CAAC,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,WAAW,CAAC,MAAM,CAAC,CAc3E;AAED,wBAAgB,eAAe,CAAC,CAAC,EAAE,OAAO,EAAE,WAAW,CAAC,CAAC,CAAC,GAAG,WAAW,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,CAwB1F;AAED,+GAA+G;AAC/G,MAAM,MAAM,WAAW,CAAC,KAAK,SAAS,MAAM,GAAG,MAAM,EAAE,CAAC,GAAG,GAAG,IAAI;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,IAAI,EAAE,WAAW,CAAC,CAAC,CAAC,CAAA;CAAE,CAAC;AAExG;;;;GAIG;AACH,wBAAgB,MAAM,CAAC,CAAC,EACtB,MAAM,EAAE,SAAS,WAAW,EAAE,GAC7B,WAAW,CAAC,CAAC,CAAC,GAAG;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,MAAM,EAAE,SAAS,WAAW,EAAE,CAAA;CAAE,CA4BrE;AAED,oGAAoG;AACpG,wBAAgB,OAAO,CAAC,OAAO,EAAE,WAAW,GAAG,MAAM,CAEpD;AAED,oGAAoG;AACpG,wBAAgB,aAAa,CAAC,KAAK,EAAE,SAAS,EAAE,GAAG,MAAM,GAAG,SAAS,CAYpE"}