@aztec/foundation 0.0.1-commit.b655e406 → 0.0.1-commit.b9865e97

package/dest/branded-types/epoch.d.ts

@@ -0,0 +1,42 @@
+import { z } from 'zod';
+import type { Branded } from './types.js';
+/**
+ * A branded type representing an epoch number.
+ * Epochs are used in the Aztec protocol to group slots and manage validator committees.
+ *
+ * This is a nominal type backed by a number, but TypeScript will treat it as
+ * incompatible with plain numbers and other branded numeric types (like Slot, BlockNumber, etc.).
+ *
+ * @example
+ * ```ts
+ * const epoch = EpochNumber(5);
+ * const plainNumber: number = epoch; // OK - EpochNumber is assignable to number
+ * const epochFromNumber: EpochNumber = 5;  // ERROR - number is not assignable to EpochNumber
+ * ```
+ */
+export type EpochNumber = Branded<number, 'EpochNumber'>;
+/**
+ * Creates an EpochNumber from a number.
+ * @param value - The epoch number (must be a non-negative integer)
+ * @returns The branded EpochNumber value
+ * @throws If the value is negative or not an integer
+ */
+export declare function EpochNumber(value: number): EpochNumber;
+export declare namespace EpochNumber {
+    var fromBigInt: (value: bigint) => EpochNumber;
+}
+export declare namespace EpochNumber {
+    var fromString: (value: string) => EpochNumber;
+}
+export declare namespace EpochNumber {
+    var isValid: (value: unknown) => value is EpochNumber;
+}
+export declare namespace EpochNumber {
+    var ZERO: EpochNumber;
+}
+/**
+ * Zod schema for parsing and validating EpochNumber values.
+ * Accepts numbers, bigints, or strings and coerces them to EpochNumber.
+ */
+export declare const EpochNumberSchema: z.ZodPipe<z.ZodPipe<z.ZodUnion<readonly [z.ZodNumber, z.ZodBigInt, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>, z.ZodTransform<EpochNumber, number>>;
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiZXBvY2guZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9icmFuZGVkLXR5cGVzL2Vwb2NoLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sRUFBRSxDQUFDLEVBQUUsTUFBTSxLQUFLLENBQUM7QUFFeEIsT0FBTyxLQUFLLEVBQUUsT0FBTyxFQUFFLE1BQU0sWUFBWSxDQUFDO0FBRTFDOzs7Ozs7Ozs7Ozs7O0dBYUc7QUFDSCxNQUFNLE1BQU0sV0FBVyxHQUFHLE9BQU8sQ0FBQyxNQUFNLEVBQUUsYUFBYSxDQUFDLENBQUM7QUFFekQ7Ozs7O0dBS0c7QUFDSCx3QkFBZ0IsV0FBVyxDQUFDLEtBQUssRUFBRSxNQUFNLEdBQUcsV0FBVyxDQVF0RDs7Ozs7Ozs7Ozs7OztBQThDRDs7O0dBR0c7QUFDSCxlQUFPLE1BQU0saUJBQWlCLHVLQUdXLENBQUMifQ==

package/dest/branded-types/epoch.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"epoch.d.ts","sourceRoot":"","sources":["../../src/branded-types/epoch.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,YAAY,CAAC;AAE1C;;;;;;;;;;;;;GAaG;AACH,MAAM,MAAM,WAAW,GAAG,OAAO,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC;AAEzD;;;;;GAKG;AACH,wBAAgB,WAAW,CAAC,KAAK,EAAE,MAAM,GAAG,WAAW,CAQtD;;;;;;;;;;;;;AA8CD;;;GAGG;AACH,eAAO,MAAM,iBAAiB,uKAGW,CAAC"}

package/dest/branded-types/epoch.js

@@ -0,0 +1,59 @@
+import { z } from 'zod';
+/**
+ * Creates an EpochNumber from a number.
+ * @param value - The epoch number (must be a non-negative integer)
+ * @returns The branded EpochNumber value
+ * @throws If the value is negative or not an integer
+ */ export function EpochNumber(value) {
+    if (!Number.isInteger(value)) {
+        throw new Error(`EpochNumber must be an integer, got ${value}`);
+    }
+    if (value < 0) {
+        throw new Error(`EpochNumber must be non-negative, got ${value}`);
+    }
+    return value;
+}
+/**
+ * Creates an EpochNumber from a bigint.
+ * @param value - The epoch number as bigint (must be a non-negative integer within safe integer range)
+ * @returns The branded EpochNumber value
+ * @throws If the value is negative or exceeds Number.MAX_SAFE_INTEGER
+ */ EpochNumber.fromBigInt = function(value) {
+    if (value < 0n) {
+        throw new Error(`EpochNumber must be non-negative, got ${value}`);
+    }
+    if (value > BigInt(Number.MAX_SAFE_INTEGER)) {
+        throw new Error(`EpochNumber ${value} exceeds MAX_SAFE_INTEGER`);
+    }
+    return Number(value);
+};
+/**
+ * Creates an EpochNumber from a string.
+ * @param value - The epoch number as a string
+ * @returns The branded EpochNumber value
+ * @throws If the string cannot be parsed as a valid epoch
+ */ EpochNumber.fromString = function(value) {
+    const parsed = parseInt(value, 10);
+    if (isNaN(parsed)) {
+        throw new Error(`Cannot parse EpochNumber from string: ${value}`);
+    }
+    return EpochNumber(parsed);
+};
+/**
+ * Type guard to check if a value is a valid EpochNumber.
+ * Note: At runtime, an EpochNumber is just a number, so this checks if the value
+ * is a non-negative integer.
+ */ EpochNumber.isValid = function(value) {
+    return typeof value === 'number' && Number.isInteger(value) && value >= 0;
+};
+/**
+ * The zero epoch value.
+ */ EpochNumber.ZERO = EpochNumber(0);
+/**
+ * Zod schema for parsing and validating EpochNumber values.
+ * Accepts numbers, bigints, or strings and coerces them to EpochNumber.
+ */ export const EpochNumberSchema = z.union([
+    z.number(),
+    z.bigint(),
+    z.string()
+]).pipe(z.coerce.number().int().min(0)).transform((value)=>EpochNumber(value));

package/dest/branded-types/index.d.ts

@@ -0,0 +1,8 @@
+export { BlockNumber, BlockNumberSchema, BlockNumberPositiveSchema } from './block_number.js';
+export { BlockProposalHash, CheckpointProposalHash } from './buffer32_hash.js';
+export { CheckpointNumber, CheckpointNumberSchema, CheckpointNumberPositiveSchema } from './checkpoint_number.js';
+export { EpochNumber, EpochNumberSchema } from './epoch.js';
+export { IndexWithinCheckpoint, IndexWithinCheckpointSchema } from './index_within_checkpoint.js';
+export { SlotNumber, SlotNumberSchema } from './slot.js';
+export type { Branded } from './types.js';
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiaW5kZXguZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9icmFuZGVkLXR5cGVzL2luZGV4LnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sRUFBRSxXQUFXLEVBQUUsaUJBQWlCLEVBQUUseUJBQXlCLEVBQUUsTUFBTSxtQkFBbUIsQ0FBQztBQUM5RixPQUFPLEVBQUUsaUJBQWlCLEVBQUUsc0JBQXNCLEVBQUUsTUFBTSxvQkFBb0IsQ0FBQztBQUMvRSxPQUFPLEVBQUUsZ0JBQWdCLEVBQUUsc0JBQXNCLEVBQUUsOEJBQThCLEVBQUUsTUFBTSx3QkFBd0IsQ0FBQztBQUNsSCxPQUFPLEVBQUUsV0FBVyxFQUFFLGlCQUFpQixFQUFFLE1BQU0sWUFBWSxDQUFDO0FBQzVELE9BQU8sRUFBRSxxQkFBcUIsRUFBRSwyQkFBMkIsRUFBRSxNQUFNLDhCQUE4QixDQUFDO0FBQ2xHLE9BQU8sRUFBRSxVQUFVLEVBQUUsZ0JBQWdCLEVBQUUsTUFBTSxXQUFXLENBQUM7QUFFekQsWUFBWSxFQUFFLE9BQU8sRUFBRSxNQUFNLFlBQVksQ0FBQyJ9

package/dest/branded-types/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/branded-types/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,iBAAiB,EAAE,yBAAyB,EAAE,MAAM,mBAAmB,CAAC;AAC9F,OAAO,EAAE,iBAAiB,EAAE,sBAAsB,EAAE,MAAM,oBAAoB,CAAC;AAC/E,OAAO,EAAE,gBAAgB,EAAE,sBAAsB,EAAE,8BAA8B,EAAE,MAAM,wBAAwB,CAAC;AAClH,OAAO,EAAE,WAAW,EAAE,iBAAiB,EAAE,MAAM,YAAY,CAAC;AAC5D,OAAO,EAAE,qBAAqB,EAAE,2BAA2B,EAAE,MAAM,8BAA8B,CAAC;AAClG,OAAO,EAAE,UAAU,EAAE,gBAAgB,EAAE,MAAM,WAAW,CAAC;AAEzD,YAAY,EAAE,OAAO,EAAE,MAAM,YAAY,CAAC"}

package/dest/branded-types/index.js

@@ -0,0 +1,6 @@
+export { BlockNumber, BlockNumberSchema, BlockNumberPositiveSchema } from './block_number.js';
+export { BlockProposalHash, CheckpointProposalHash } from './buffer32_hash.js';
+export { CheckpointNumber, CheckpointNumberSchema, CheckpointNumberPositiveSchema } from './checkpoint_number.js';
+export { EpochNumber, EpochNumberSchema } from './epoch.js';
+export { IndexWithinCheckpoint, IndexWithinCheckpointSchema } from './index_within_checkpoint.js';
+export { SlotNumber, SlotNumberSchema } from './slot.js';

package/dest/branded-types/index_within_checkpoint.d.ts

@@ -0,0 +1,42 @@
+import { z } from 'zod';
+import type { Branded } from './types.js';
+/**
+ * A branded type representing the index of a block within a checkpoint.
+ * The first block in a checkpoint has index 0, the second has index 1, etc.
+ *
+ * This is a nominal type backed by a number, but TypeScript will treat it as
+ * incompatible with plain numbers and other branded numeric types.
+ *
+ * @example
+ * ```ts
+ * const index = IndexWithinCheckpoint(0);
+ * const plainNumber: number = index; // OK - IndexWithinCheckpoint is assignable to number
+ * const indexFromNumber: IndexWithinCheckpoint = 0;  // ERROR - number is not assignable to IndexWithinCheckpoint
+ * ```
+ */
+export type IndexWithinCheckpoint = Branded<number, 'IndexWithinCheckpoint'>;
+/**
+ * Creates an IndexWithinCheckpoint from a number.
+ * @param value - The index (must be a non-negative integer)
+ * @returns The branded IndexWithinCheckpoint value
+ * @throws If the value is negative or not an integer
+ */
+export declare function IndexWithinCheckpoint(value: number): IndexWithinCheckpoint;
+export declare namespace IndexWithinCheckpoint {
+    var fromBigInt: (value: bigint) => IndexWithinCheckpoint;
+}
+export declare namespace IndexWithinCheckpoint {
+    var fromString: (value: string) => IndexWithinCheckpoint;
+}
+export declare namespace IndexWithinCheckpoint {
+    var isValid: (value: unknown) => value is IndexWithinCheckpoint;
+}
+export declare namespace IndexWithinCheckpoint {
+    var ZERO: IndexWithinCheckpoint;
+}
+/**
+ * Zod schema for parsing and validating IndexWithinCheckpoint values.
+ * Accepts numbers, bigints, or strings and coerces them to IndexWithinCheckpoint.
+ */
+export declare const IndexWithinCheckpointSchema: z.ZodPipe<z.ZodPipe<z.ZodUnion<readonly [z.ZodNumber, z.ZodBigInt, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>, z.ZodTransform<IndexWithinCheckpoint, number>>;
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiaW5kZXhfd2l0aGluX2NoZWNrcG9pbnQuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9icmFuZGVkLXR5cGVzL2luZGV4X3dpdGhpbl9jaGVja3BvaW50LnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sRUFBRSxDQUFDLEVBQUUsTUFBTSxLQUFLLENBQUM7QUFFeEIsT0FBTyxLQUFLLEVBQUUsT0FBTyxFQUFFLE1BQU0sWUFBWSxDQUFDO0FBRTFDOzs7Ozs7Ozs7Ozs7O0dBYUc7QUFDSCxNQUFNLE1BQU0scUJBQXFCLEdBQUcsT0FBTyxDQUFDLE1BQU0sRUFBRSx1QkFBdUIsQ0FBQyxDQUFDO0FBRTdFOzs7OztHQUtHO0FBQ0gsd0JBQWdCLHFCQUFxQixDQUFDLEtBQUssRUFBRSxNQUFNLEdBQUcscUJBQXFCLENBUTFFOzs7Ozs7Ozs7Ozs7O0FBOENEOzs7R0FHRztBQUNILGVBQU8sTUFBTSwyQkFBMkIsaUxBR1csQ0FBQyJ9

package/dest/branded-types/index_within_checkpoint.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index_within_checkpoint.d.ts","sourceRoot":"","sources":["../../src/branded-types/index_within_checkpoint.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,YAAY,CAAC;AAE1C;;;;;;;;;;;;;GAaG;AACH,MAAM,MAAM,qBAAqB,GAAG,OAAO,CAAC,MAAM,EAAE,uBAAuB,CAAC,CAAC;AAE7E;;;;;GAKG;AACH,wBAAgB,qBAAqB,CAAC,KAAK,EAAE,MAAM,GAAG,qBAAqB,CAQ1E;;;;;;;;;;;;;AA8CD;;;GAGG;AACH,eAAO,MAAM,2BAA2B,iLAGW,CAAC"}

package/dest/branded-types/index_within_checkpoint.js

@@ -0,0 +1,59 @@
+import { z } from 'zod';
+/**
+ * Creates an IndexWithinCheckpoint from a number.
+ * @param value - The index (must be a non-negative integer)
+ * @returns The branded IndexWithinCheckpoint value
+ * @throws If the value is negative or not an integer
+ */ export function IndexWithinCheckpoint(value) {
+    if (!Number.isInteger(value)) {
+        throw new Error(`IndexWithinCheckpoint must be an integer, got ${value}`);
+    }
+    if (value < 0) {
+        throw new Error(`IndexWithinCheckpoint must be non-negative, got ${value}`);
+    }
+    return value;
+}
+/**
+ * Creates an IndexWithinCheckpoint from a bigint.
+ * @param value - The index as bigint (must be a non-negative integer within safe integer range)
+ * @returns The branded IndexWithinCheckpoint value
+ * @throws If the value is negative or exceeds Number.MAX_SAFE_INTEGER
+ */ IndexWithinCheckpoint.fromBigInt = function(value) {
+    if (value < 0n) {
+        throw new Error(`IndexWithinCheckpoint must be non-negative, got ${value}`);
+    }
+    if (value > BigInt(Number.MAX_SAFE_INTEGER)) {
+        throw new Error(`IndexWithinCheckpoint ${value} exceeds MAX_SAFE_INTEGER`);
+    }
+    return Number(value);
+};
+/**
+ * Creates an IndexWithinCheckpoint from a string.
+ * @param value - The index as a string
+ * @returns The branded IndexWithinCheckpoint value
+ * @throws If the string cannot be parsed as a valid index
+ */ IndexWithinCheckpoint.fromString = function(value) {
+    const parsed = parseInt(value, 10);
+    if (isNaN(parsed)) {
+        throw new Error(`Cannot parse IndexWithinCheckpoint from string: ${value}`);
+    }
+    return IndexWithinCheckpoint(parsed);
+};
+/**
+ * Type guard to check if a value is a valid IndexWithinCheckpoint.
+ * Note: At runtime, an IndexWithinCheckpoint is just a number, so this checks if the value
+ * is a non-negative integer.
+ */ IndexWithinCheckpoint.isValid = function(value) {
+    return typeof value === 'number' && Number.isInteger(value) && value >= 0;
+};
+/**
+ * The zero index value (first block in checkpoint).
+ */ IndexWithinCheckpoint.ZERO = IndexWithinCheckpoint(0);
+/**
+ * Zod schema for parsing and validating IndexWithinCheckpoint values.
+ * Accepts numbers, bigints, or strings and coerces them to IndexWithinCheckpoint.
+ */ export const IndexWithinCheckpointSchema = z.union([
+    z.number(),
+    z.bigint(),
+    z.string()
+]).pipe(z.coerce.number().int().min(0)).transform((value)=>IndexWithinCheckpoint(value));

package/dest/branded-types/slot.d.ts

@@ -0,0 +1,45 @@
+import { z } from 'zod';
+import type { Branded } from './types.js';
+/**
+ * A branded type representing a slot number.
+ * Slots are the fundamental time unit in the Aztec protocol, with multiple slots comprising an epoch.
+ *
+ * This is a nominal type backed by a number, but TypeScript will treat it as
+ * incompatible with plain numbers and other branded numeric types (like EpochNumber, BlockNumber, etc.).
+ *
+ * @example
+ * ```ts
+ * const slot = SlotNumber(5);
+ * const plainNumber: number = slot; // OK - SlotNumber is assignable to number
+ * const slotFromNumber: SlotNumber = 5;  // ERROR - number is not assignable to SlotNumber
+ * ```
+ */
+export type SlotNumber = Branded<number, 'SlotNumber'>;
+/**
+ * Creates a SlotNumber from a number.
+ * @param value - The slot number (must be a non-negative integer)
+ * @returns The branded SlotNumber value
+ * @throws If the value is negative or not an integer
+ */
+export declare function SlotNumber(value: number): SlotNumber;
+export declare namespace SlotNumber {
+    var fromBigInt: (value: bigint) => SlotNumber;
+}
+export declare namespace SlotNumber {
+    var fromString: (value: string) => SlotNumber;
+}
+export declare namespace SlotNumber {
+    var isValid: (value: unknown) => value is SlotNumber;
+}
+export declare namespace SlotNumber {
+    var add: (sn: SlotNumber, increment: number) => SlotNumber;
+}
+export declare namespace SlotNumber {
+    var ZERO: SlotNumber;
+}
+/**
+ * Zod schema for parsing and validating SlotNumber values.
+ * Accepts numbers, bigints, or strings and coerces them to SlotNumber.
+ */
+export declare const SlotNumberSchema: z.ZodPipe<z.ZodPipe<z.ZodUnion<readonly [z.ZodNumber, z.ZodBigInt, z.ZodString]>, z.ZodCoercedNumber<string | number | bigint>>, z.ZodTransform<SlotNumber, number>>;
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoic2xvdC5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL2JyYW5kZWQtdHlwZXMvc2xvdC50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxPQUFPLEVBQUUsQ0FBQyxFQUFFLE1BQU0sS0FBSyxDQUFDO0FBRXhCLE9BQU8sS0FBSyxFQUFFLE9BQU8sRUFBRSxNQUFNLFlBQVksQ0FBQztBQUUxQzs7Ozs7Ozs7Ozs7OztHQWFHO0FBQ0gsTUFBTSxNQUFNLFVBQVUsR0FBRyxPQUFPLENBQUMsTUFBTSxFQUFFLFlBQVksQ0FBQyxDQUFDO0FBRXZEOzs7OztHQUtHO0FBQ0gsd0JBQWdCLFVBQVUsQ0FBQyxLQUFLLEVBQUUsTUFBTSxHQUFHLFVBQVUsQ0FRcEQ7Ozs7Ozs7Ozs7Ozs7Ozs7QUFtREQ7OztHQUdHO0FBQ0gsZUFBTyxNQUFNLGdCQUFnQixzS0FHVyxDQUFDIn0=

package/dest/branded-types/slot.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"slot.d.ts","sourceRoot":"","sources":["../../src/branded-types/slot.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,YAAY,CAAC;AAE1C;;;;;;;;;;;;;GAaG;AACH,MAAM,MAAM,UAAU,GAAG,OAAO,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;AAEvD;;;;;GAKG;AACH,wBAAgB,UAAU,CAAC,KAAK,EAAE,MAAM,GAAG,UAAU,CAQpD;;;;;;;;;;;;;;;;AAmDD;;;GAGG;AACH,eAAO,MAAM,gBAAgB,sKAGW,CAAC"}

package/dest/branded-types/slot.js

@@ -0,0 +1,62 @@
+import { z } from 'zod';
+/**
+ * Creates a SlotNumber from a number.
+ * @param value - The slot number (must be a non-negative integer)
+ * @returns The branded SlotNumber value
+ * @throws If the value is negative or not an integer
+ */ export function SlotNumber(value) {
+    if (!Number.isInteger(value)) {
+        throw new Error(`SlotNumber must be an integer, got ${value}`);
+    }
+    if (value < 0) {
+        throw new Error(`SlotNumber must be non-negative, got ${value}`);
+    }
+    return value;
+}
+/**
+ * Creates a SlotNumber from a bigint.
+ * @param value - The slot number as bigint (must be a non-negative integer within safe integer range)
+ * @returns The branded SlotNumber value
+ * @throws If the value is negative or exceeds Number.MAX_SAFE_INTEGER
+ */ SlotNumber.fromBigInt = function(value) {
+    if (value < 0n) {
+        throw new Error(`SlotNumber must be non-negative, got ${value}`);
+    }
+    if (value > BigInt(Number.MAX_SAFE_INTEGER)) {
+        throw new Error(`SlotNumber ${value} exceeds MAX_SAFE_INTEGER`);
+    }
+    return Number(value);
+};
+/**
+ * Creates a SlotNumber from a string.
+ * @param value - The slot number as a string
+ * @returns The branded SlotNumber value
+ * @throws If the string cannot be parsed as a valid slot
+ */ SlotNumber.fromString = function(value) {
+    const parsed = parseInt(value, 10);
+    if (isNaN(parsed)) {
+        throw new Error(`Cannot parse SlotNumber from string: ${value}`);
+    }
+    return SlotNumber(parsed);
+};
+/**
+ * Type guard to check if a value is a valid SlotNumber.
+ * Note: At runtime, a SlotNumber is just a number, so this checks if the value
+ * is a non-negative integer.
+ */ SlotNumber.isValid = function(value) {
+    return typeof value === 'number' && Number.isInteger(value) && value >= 0;
+};
+/** Increments a SlotNumber by a given value. */ SlotNumber.add = function(sn, increment) {
+    return SlotNumber(sn + increment);
+};
+/**
+ * The zero slot value.
+ */ SlotNumber.ZERO = SlotNumber(0);
+/**
+ * Zod schema for parsing and validating SlotNumber values.
+ * Accepts numbers, bigints, or strings and coerces them to SlotNumber.
+ */ export const SlotNumberSchema = z.union([
+    z.number(),
+    z.bigint(),
+    z.string()
+]).pipe(z.coerce.number().int().min(0)).transform((value)=>SlotNumber(value));

package/dest/branded-types/types.d.ts

@@ -0,0 +1,5 @@
+/** Adds a branding to a type for nominal typing. */
+export type Branded<T, Brand> = T & {
+    _branding: Brand;
+};
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoidHlwZXMuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9icmFuZGVkLXR5cGVzL3R5cGVzLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLG9EQUFvRDtBQUNwRCxNQUFNLE1BQU0sT0FBTyxDQUFDLENBQUMsRUFBRSxLQUFLLElBQUksQ0FBQyxHQUFHO0lBQUUsU0FBUyxFQUFFLEtBQUssQ0FBQTtDQUFFLENBQUMifQ==

package/dest/branded-types/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/branded-types/types.ts"],"names":[],"mappings":"AAAA,oDAAoD;AACpD,MAAM,MAAM,OAAO,CAAC,CAAC,EAAE,KAAK,IAAI,CAAC,GAAG;IAAE,SAAS,EAAE,KAAK,CAAA;CAAE,CAAC"}

package/dest/branded-types/types.js

@@ -0,0 +1 @@
+/** Adds a branding to a type for nominal typing. */ export { };

package/dest/buffer/buffer16.d.ts

@@ -1,4 +1,4 @@
-import type { Fr } from '@aztec/foundation/fields';
+import type { Fr } from '@aztec/foundation/curves/bn254';
 import { BufferReader } from '@aztec/foundation/serialize';
 import { inspect } from 'util';
 /**
@@ -9,6 +9,8 @@ export declare class Buffer16 {
      * The buffer containing the hash.
      */
     buffer: Buffer;
+    /** Branding for nominal typing. */
+    private readonly _branding;
     /**
      * The size of the hash in bytes.
      */
@@ -77,4 +79,4 @@ export declare class Buffer16 {
      */
     static random(): Buffer16;
 }
-//# sourceMappingURL=buffer16.d.ts.map
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiYnVmZmVyMTYuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9idWZmZXIvYnVmZmVyMTYudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQ0EsT0FBTyxLQUFLLEVBQUUsRUFBRSxFQUFFLE1BQU0sZ0NBQWdDLENBQUM7QUFDekQsT0FBTyxFQUFFLFlBQVksRUFBc0MsTUFBTSw2QkFBNkIsQ0FBQztBQUUvRixPQUFPLEVBQUUsT0FBTyxFQUFFLE1BQU0sTUFBTSxDQUFDO0FBSS9COztHQUVHO0FBQ0gscUJBQWEsUUFBUTtJQWVqQjs7T0FFRztJQUNJLE1BQU0sRUFBRSxNQUFNO0lBakJ2QixtQ0FBbUM7SUFDbkMsaUJBQXlCLFNBQVMsQ0FBYTtJQUUvQzs7T0FFRztJQUNILE9BQWMsSUFBSSxTQUFNO0lBRXhCOztPQUVHO0lBQ0gsT0FBYyxJQUFJLFdBQTZDO0lBRS9EO0lBQ0U7O09BRUc7SUFDSSxNQUFNLEVBQUUsTUFBTSxFQUt0QjtJQUVEOzs7T0FHRztJQUNJLFFBQVEsNEJBRWQ7SUFFRDs7OztPQUlHO0lBQ0gsT0FBYyxVQUFVLENBQUMsTUFBTSxFQUFFLE1BQU0sR0FBRyxZQUFZLFlBR3JEO0lBRUQ7Ozs7T0FJRztJQUNJLE1BQU0sQ0FBQyxJQUFJLEVBQUUsUUFBUSxHQUFHLE9BQU8sQ0FFckM7SUFFRDs7O09BR0c7SUFDSSxNQUFNLElBQUksT0FBTyxDQUV2QjtJQUVEOzs7T0FHRztJQUNJLFFBQVEsa0JBRWQ7SUFFRCxDQUFDLE9BQU8sQ0FBQyxNQUFNLENBQUMsV0FFZjtJQUVELE1BQU0sa0JBRUw7SUFFRDs7O09BR0c7SUFDSSxRQUFRLFdBRWQ7SUFFRDs7T0FFRztJQUNILE9BQWMsVUFBVSxDQUFDLElBQUksRUFBRSxNQUFNLFlBRXBDO0lBRUQsT0FBYyxTQUFTLENBQUMsSUFBSSxFQUFFLEVBQUUsWUFFL0I7SUFFRDs7T0FFRztJQUNILE9BQWMsVUFBVSxDQUFDLEdBQUcsRUFBRSxNQUFNLEdBQUcsUUFBUSxDQVE5QztJQUVEOzs7O09BSUc7SUFDSCxPQUFjLFVBQVUsQ0FBQyxHQUFHLEVBQUUsTUFBTSxHQUFHLFFBQVEsQ0FFOUM7SUFFRDs7O09BR0c7SUFDSCxPQUFjLE1BQU0sSUFBSSxRQUFRLENBRS9CO0NBQ0YifQ==

package/dest/buffer/buffer16.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"buffer16.d.ts","sourceRoot":"","sources":["../../src/buffer/buffer16.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AACnD,OAAO,EAAE,YAAY,EAAsC,MAAM,6BAA6B,CAAC;AAE/F,OAAO,EAAE,OAAO,EAAE,MAAM,MAAM,CAAC;AAI/B;;GAEG;AACH,qBAAa,QAAQ;IAYjB;;OAEG;IACI,MAAM,EAAE,MAAM;IAdvB;;OAEG;IACH,OAAc,IAAI,SAAM;IAExB;;OAEG;IACH,OAAc,IAAI,WAA6C;;IAG7D;;OAEG;IACI,MAAM,EAAE,MAAM;IAOvB;;;OAGG;IACI,QAAQ;IAIf;;;;OAIG;WACW,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;IAKtD;;;;OAIG;IACI,MAAM,CAAC,IAAI,EAAE,QAAQ,GAAG,OAAO;IAItC;;;OAGG;IACI,MAAM,IAAI,OAAO;IAIxB;;;OAGG;IACI,QAAQ;IAIf,CAAC,OAAO,CAAC,MAAM,CAAC;IAIhB,MAAM;IAIN;;;OAGG;IACI,QAAQ;IAIf;;OAEG;WACW,UAAU,CAAC,IAAI,EAAE,MAAM;WAIvB,SAAS,CAAC,IAAI,EAAE,EAAE;IAIhC;;OAEG;WACW,UAAU,CAAC,GAAG,EAAE,MAAM,GAAG,QAAQ;IAU/C;;;;OAIG;WACW,UAAU,CAAC,GAAG,EAAE,MAAM,GAAG,QAAQ;IAI/C;;;OAGG;WACW,MAAM,IAAI,QAAQ;CAGjC"}
+{"version":3,"file":"buffer16.d.ts","sourceRoot":"","sources":["../../src/buffer/buffer16.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AACzD,OAAO,EAAE,YAAY,EAAsC,MAAM,6BAA6B,CAAC;AAE/F,OAAO,EAAE,OAAO,EAAE,MAAM,MAAM,CAAC;AAI/B;;GAEG;AACH,qBAAa,QAAQ;IAejB;;OAEG;IACI,MAAM,EAAE,MAAM;IAjBvB,mCAAmC;IACnC,iBAAyB,SAAS,CAAa;IAE/C;;OAEG;IACH,OAAc,IAAI,SAAM;IAExB;;OAEG;IACH,OAAc,IAAI,WAA6C;IAE/D;IACE;;OAEG;IACI,MAAM,EAAE,MAAM,EAKtB;IAED;;;OAGG;IACI,QAAQ,4BAEd;IAED;;;;OAIG;IACH,OAAc,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,YAGrD;IAED;;;;OAIG;IACI,MAAM,CAAC,IAAI,EAAE,QAAQ,GAAG,OAAO,CAErC;IAED;;;OAGG;IACI,MAAM,IAAI,OAAO,CAEvB;IAED;;;OAGG;IACI,QAAQ,kBAEd;IAED,CAAC,OAAO,CAAC,MAAM,CAAC,WAEf;IAED,MAAM,kBAEL;IAED;;;OAGG;IACI,QAAQ,WAEd;IAED;;OAEG;IACH,OAAc,UAAU,CAAC,IAAI,EAAE,MAAM,YAEpC;IAED,OAAc,SAAS,CAAC,IAAI,EAAE,EAAE,YAE/B;IAED;;OAEG;IACH,OAAc,UAAU,CAAC,GAAG,EAAE,MAAM,GAAG,QAAQ,CAQ9C;IAED;;;;OAIG;IACH,OAAc,UAAU,CAAC,GAAG,EAAE,MAAM,GAAG,QAAQ,CAE9C;IAED;;;OAGG;IACH,OAAc,MAAM,IAAI,QAAQ,CAE/B;CACF"}

package/dest/buffer/buffer16.js

@@ -1,7 +1,9 @@
-import { randomBytes } from '@aztec/foundation/crypto';
+var _computedKey;
+import { randomBytes } from '@aztec/foundation/crypto/random';
 import { BufferReader, deserializeBigInt, serializeBigInt } from '@aztec/foundation/serialize';
 import { inspect } from 'util';
 import { bufferToHex } from '../string/index.js';
+_computedKey = inspect.custom;
 /**
  * A class representing a 16 byte Buffer.
  */ export class Buffer16 {
@@ -53,7 +55,7 @@ import { bufferToHex } from '../string/index.js';
    */ toString() {
         return bufferToHex(this.buffer);
     }
-    [inspect.custom]() {
+    [_computedKey]() {
         return `Buffer16<${this.toString()}>`;
     }
     toJSON() {

package/dest/buffer/buffer32.d.ts

@@ -1,87 +1,54 @@
-import type { Fr } from '@aztec/foundation/fields';
+import type { Fr } from '@aztec/foundation/curves/bn254';
 import { BufferReader } from '@aztec/foundation/serialize';
 import { inspect } from 'util';
 /**
- * A class representing a 32 byte Buffer.
+ * Abstract unbranded base class for 32-byte buffers.
+ * Extend this instead of Buffer32 when defining a branded subtype
+ * to avoid inheriting Buffer32's `_branding`.
  */
-export declare class Buffer32 {
-    /**
-     * The buffer containing the hash.
-     */
+export declare abstract class BaseBuffer32 {
+    /** The buffer containing the data. */
     buffer: Buffer;
-    /**
-     * The size of the hash in bytes.
-     */
+    /** The size of the buffer in bytes. */
     static SIZE: number;
-    /**
-     * Buffer32 with value zero.
-     */
-    static ZERO: Buffer32;
     constructor(
-    /**
-     * The buffer containing the hash.
-     */
+    /** The buffer containing the data. */
     buffer: Buffer);
-    /**
-     * Returns the raw buffer of the hash.
-     * @returns The buffer containing the hash.
-     */
+    /** Returns the raw buffer. */
     toBuffer(): Buffer<ArrayBufferLike>;
-    /**
-     * Creates a Buffer32 from a buffer.
-     * @param buffer - The buffer to create from.
-     * @returns A new Buffer32 object.
-     */
-    static fromBuffer(buffer: Buffer | BufferReader): Buffer32;
-    /**
-     * Checks if this hash and another hash are equal.
-     * @param hash - A hash to compare with.
-     * @returns True if the hashes are equal, false otherwise.
-     */
-    equals(hash: Buffer32): boolean;
-    /**
-     * Returns true if this hash is zero.
-     * @returns True if this hash is zero.
-     */
+    /** Checks if this and another buffer are equal. */
+    equals(hash: BaseBuffer32): boolean;
+    /** Returns true if all bytes are zero. */
     isZero(): boolean;
-    /**
-     * Convert this hash to a hex string.
-     * @returns The hex string.
-     */
+    /** Convert to a hex string. */
     toString(): `0x${string}`;
     [inspect.custom](): string;
     toJSON(): `0x${string}`;
-    /**
-     * Convert this hash to a big int.
-     * @returns The big int.
-     */
+    /** Convert to a big int. */
     toBigInt(): bigint;
-    /**
-     * Creates a Buffer32 from a bigint.
-     */
+}
+/** A branded 32-byte buffer. */
+export declare class Buffer32 extends BaseBuffer32 {
+    /** Branding for nominal typing. */
+    private readonly _branding;
+    /** Buffer32 with value zero. */
+    static ZERO: Buffer32;
+    /** Creates a Buffer32 from a buffer. */
+    static fromBuffer(buffer: Buffer | BufferReader): Buffer32;
+    /** Creates a Buffer32 from a bigint. */
     static fromBigInt(hash: bigint): Buffer32;
     static fromField(hash: Fr): Buffer32;
     /**
-     * Converts this hash from a buffer of 28 bytes.
-     * Verifies the input is 28 bytes.
+     * Converts from a buffer of 28 bytes.
      * @param buffer - The 28 byte buffer to construct from.
      * @returns A Buffer32 created from the input buffer with 4 bytes 0 padding at the front.
      */
     static fromBuffer28(buffer: Buffer): Buffer32;
-    /**
-     * Converts a string into a Buffer32 object.
-     */
+    /** Converts a string into a Buffer32 object. */
     static fromString(str: string): Buffer32;
-    /**
-     * Converts a number into a Buffer32 object.
-     * @param num - The number to convert.
-     * @returns A new Buffer32 object.
-     */
+    /** Converts a number into a Buffer32 object. */
     static fromNumber(num: number): Buffer32;
-    /**
-     * Generates a random Buffer32.
-     * @returns A new Buffer32 object.
-     */
+    /** Generates a random Buffer32. */
     static random(): Buffer32;
 }
-//# sourceMappingURL=buffer32.d.ts.map
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiYnVmZmVyMzIuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9idWZmZXIvYnVmZmVyMzIudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQ0EsT0FBTyxLQUFLLEVBQUUsRUFBRSxFQUFFLE1BQU0sZ0NBQWdDLENBQUM7QUFDekQsT0FBTyxFQUFFLFlBQVksRUFBc0MsTUFBTSw2QkFBNkIsQ0FBQztBQUUvRixPQUFPLEVBQUUsT0FBTyxFQUFFLE1BQU0sTUFBTSxDQUFDO0FBSS9COzs7O0dBSUc7QUFDSCw4QkFBc0IsWUFBWTtJQUs5QixzQ0FBc0M7SUFDL0IsTUFBTSxFQUFFLE1BQU07SUFMdkIsdUNBQXVDO0lBQ3ZDLE9BQWMsSUFBSSxTQUFNO0lBRXhCO0lBQ0Usc0NBQXNDO0lBQy9CLE1BQU0sRUFBRSxNQUFNLEVBS3RCO0lBRUQsOEJBQThCO0lBQ3ZCLFFBQVEsNEJBRWQ7SUFFRCxtREFBbUQ7SUFDNUMsTUFBTSxDQUFDLElBQUksRUFBRSxZQUFZLEdBQUcsT0FBTyxDQUV6QztJQUVELDBDQUEwQztJQUNuQyxNQUFNLElBQUksT0FBTyxDQUV2QjtJQUVELCtCQUErQjtJQUN4QixRQUFRLGtCQUVkO0lBRUQsQ0FBQyxPQUFPLENBQUMsTUFBTSxDQUFDLFdBRWY7SUFFRCxNQUFNLGtCQUVMO0lBRUQsNEJBQTRCO0lBQ3JCLFFBQVEsV0FFZDtDQUNGO0FBRUQsZ0NBQWdDO0FBQ2hDLHFCQUFhLFFBQVMsU0FBUSxZQUFZO0lBQ3hDLG1DQUFtQztJQUNuQyxpQkFBeUIsU0FBUyxDQUFhO0lBRS9DLGdDQUFnQztJQUNoQyxPQUFjLElBQUksV0FBNkM7SUFFL0Qsd0NBQXdDO0lBQ3hDLE9BQWMsVUFBVSxDQUFDLE1BQU0sRUFBRSxNQUFNLEdBQUcsWUFBWSxZQUdyRDtJQUVELHdDQUF3QztJQUN4QyxPQUFjLFVBQVUsQ0FBQyxJQUFJLEVBQUUsTUFBTSxZQUVwQztJQUVELE9BQWMsU0FBUyxDQUFDLElBQUksRUFBRSxFQUFFLFlBRS9CO0lBRUQ7Ozs7T0FJRztJQUNILE9BQWMsWUFBWSxDQUFDLE1BQU0sRUFBRSxNQUFNLFlBTXhDO0lBRUQsZ0RBQWdEO0lBQ2hELE9BQWMsVUFBVSxDQUFDLEdBQUcsRUFBRSxNQUFNLEdBQUcsUUFBUSxDQVE5QztJQUVELGdEQUFnRDtJQUNoRCxPQUFjLFVBQVUsQ0FBQyxHQUFHLEVBQUUsTUFBTSxHQUFHLFFBQVEsQ0FFOUM7SUFFRCxtQ0FBbUM7SUFDbkMsT0FBYyxNQUFNLElBQUksUUFBUSxDQUUvQjtDQUNGIn0=

package/dest/buffer/buffer32.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"buffer32.d.ts","sourceRoot":"","sources":["../../src/buffer/buffer32.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AACnD,OAAO,EAAE,YAAY,EAAsC,MAAM,6BAA6B,CAAC;AAE/F,OAAO,EAAE,OAAO,EAAE,MAAM,MAAM,CAAC;AAI/B;;GAEG;AACH,qBAAa,QAAQ;IAYjB;;OAEG;IACI,MAAM,EAAE,MAAM;IAdvB;;OAEG;IACH,OAAc,IAAI,SAAM;IAExB;;OAEG;IACH,OAAc,IAAI,WAA6C;;IAG7D;;OAEG;IACI,MAAM,EAAE,MAAM;IAOvB;;;OAGG;IACI,QAAQ;IAIf;;;;OAIG;WACW,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;IAKtD;;;;OAIG;IACI,MAAM,CAAC,IAAI,EAAE,QAAQ,GAAG,OAAO;IAItC;;;OAGG;IACI,MAAM,IAAI,OAAO;IAIxB;;;OAGG;IACI,QAAQ;IAIf,CAAC,OAAO,CAAC,MAAM,CAAC;IAIhB,MAAM;IAIN;;;OAGG;IACI,QAAQ;IAGf;;OAEG;WACW,UAAU,CAAC,IAAI,EAAE,MAAM;WAIvB,SAAS,CAAC,IAAI,EAAE,EAAE;IAIhC;;;;;OAKG;WACW,YAAY,CAAC,MAAM,EAAE,MAAM;IAQzC;;OAEG;WACW,UAAU,CAAC,GAAG,EAAE,MAAM,GAAG,QAAQ;IAU/C;;;;OAIG;WACW,UAAU,CAAC,GAAG,EAAE,MAAM,GAAG,QAAQ;IAI/C;;;OAGG;WACW,MAAM,IAAI,QAAQ;CAGjC"}
+{"version":3,"file":"buffer32.d.ts","sourceRoot":"","sources":["../../src/buffer/buffer32.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AACzD,OAAO,EAAE,YAAY,EAAsC,MAAM,6BAA6B,CAAC;AAE/F,OAAO,EAAE,OAAO,EAAE,MAAM,MAAM,CAAC;AAI/B;;;;GAIG;AACH,8BAAsB,YAAY;IAK9B,sCAAsC;IAC/B,MAAM,EAAE,MAAM;IALvB,uCAAuC;IACvC,OAAc,IAAI,SAAM;IAExB;IACE,sCAAsC;IAC/B,MAAM,EAAE,MAAM,EAKtB;IAED,8BAA8B;IACvB,QAAQ,4BAEd;IAED,mDAAmD;IAC5C,MAAM,CAAC,IAAI,EAAE,YAAY,GAAG,OAAO,CAEzC;IAED,0CAA0C;IACnC,MAAM,IAAI,OAAO,CAEvB;IAED,+BAA+B;IACxB,QAAQ,kBAEd;IAED,CAAC,OAAO,CAAC,MAAM,CAAC,WAEf;IAED,MAAM,kBAEL;IAED,4BAA4B;IACrB,QAAQ,WAEd;CACF;AAED,gCAAgC;AAChC,qBAAa,QAAS,SAAQ,YAAY;IACxC,mCAAmC;IACnC,iBAAyB,SAAS,CAAa;IAE/C,gCAAgC;IAChC,OAAc,IAAI,WAA6C;IAE/D,wCAAwC;IACxC,OAAc,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,YAGrD;IAED,wCAAwC;IACxC,OAAc,UAAU,CAAC,IAAI,EAAE,MAAM,YAEpC;IAED,OAAc,SAAS,CAAC,IAAI,EAAE,EAAE,YAE/B;IAED;;;;OAIG;IACH,OAAc,YAAY,CAAC,MAAM,EAAE,MAAM,YAMxC;IAED,gDAAgD;IAChD,OAAc,UAAU,CAAC,GAAG,EAAE,MAAM,GAAG,QAAQ,CAQ9C;IAED,gDAAgD;IAChD,OAAc,UAAU,CAAC,GAAG,EAAE,MAAM,GAAG,QAAQ,CAE9C;IAED,mCAAmC;IACnC,OAAc,MAAM,IAAI,QAAQ,CAE/B;CACF"}