@0xsequence/catapult 1.3.17 → 1.4.0

package/src/lib/types/actions.ts

@@ -68,8 +68,28 @@ export interface JsonRequestAction {
   };
 }
 
+export interface AssertAction {
+  type: 'assert';
+  arguments: {
+    /** Source of the ACTUAL value: either `to`+`signature` (eth_call) or `actual` (a value). */
+    to?: AddressValue;
+    signature?: string;
+    values?: any[];
+    actual?: Value<any>;
+    /** Exactly one comparator key whose value is the EXPECTED value. */
+    eq?: Value<any>;
+    neq?: Value<any>;
+    gt?: Value<any>;
+    lt?: Value<any>;
+    gte?: Value<any>;
+    lte?: Value<any>;
+    /** Optional message for the error. */
+    message?: string;
+  };
+}
+
 // A union of all primitive action types.
-export type PrimitiveAction = SendTransactionAction | SendSignedTransactionAction | VerifyContractAction | StaticAction | CreateContractAction | TestNicksMethodAction | JsonRequestAction;
+export type PrimitiveAction = SendTransactionAction | SendSignedTransactionAction | VerifyContractAction | StaticAction | CreateContractAction | TestNicksMethodAction | JsonRequestAction | AssertAction;
 
 const primitiveActionTypes = [
   'send-transaction',
@@ -79,6 +99,7 @@ const primitiveActionTypes = [
   'create-contract',
   'test-nicks-method',
   'json-request',
+  'assert',
 ] as const;
 
 /**

package/src/lib/types/contracts.ts

@@ -1,4 +1,5 @@
 import { CompilerInfo } from './artifacts'
+import { SourceProvenance } from './source'
 
 export interface Contract {
   // The ultimate, unambiguous identifier
@@ -17,7 +18,9 @@ export interface Contract {
   // Compilation Information
   compiler?: CompilerInfo
   buildInfoId?: string // The ID from the build-info file it was found in
+  sourceProvenance?: SourceProvenance // Repository/ref/build metadata for the preferred build-info source
 
   // Internal Management - tracks all file paths from which this contract's data was hydrated
   _sources: Set<string>
-}
+  _sourceProvenance?: Map<string, SourceProvenance>
+}

package/src/lib/types/definitions.ts

@@ -55,6 +55,13 @@ export interface Job {
     /** Minimum EVM hardfork required to run this job (e.g. "london", "paris", "shanghai", "cancun") */
     min_evm_version?: string
     skip_condition?: Condition[];
+    /**
+     * Pure gate conditions: if ANY condition is true, the job is skipped BEFORE execution.
+     * Unlike skip_condition, these are NOT post-execution-checked. Use this for jobs that
+     * generate artifacts (e.g., Safe/multisig transaction payloads) and should skip when
+     * already in desired state, without requiring convergence within the run.
+     */
+    skip_if?: Condition[];
     constants?: Record<string, Value<any>>; // Optional job-level constants
     deprecated?: boolean; // Optional flag to mark the job as deprecated
     _path?: string; // Path to the job file for relative artifact resolution

package/src/lib/types/index.ts

@@ -6,3 +6,4 @@ export * from './actions'
 export * from './definitions'
 export * from './artifacts'
 export * from './buildinfo'
+export * from './source'

package/src/lib/types/source.ts

@@ -0,0 +1,26 @@
+export interface SourceProvenance {
+  repo: string
+  ref?: string
+  commit?: string
+  build?: string
+  sourceDocumentPath?: string
+  buildInfoPath?: string
+}
+
+export interface SourceProvenanceOverride {
+  repo?: string
+  ref?: string
+  commit?: string
+  build?: string
+}
+
+export interface BuildInfoSourceProvenance extends SourceProvenance {
+  contracts?: Record<string, SourceProvenanceOverride>
+}
+
+export interface SourceDocument {
+  type: 'source'
+  build_info: Record<string, BuildInfoSourceProvenance>
+  warnings?: string[]
+  _path?: string
+}

package/src/lib/types/values.ts

@@ -56,6 +56,75 @@ export interface ReadBalanceValue {
   };
 }
 
+export interface GetStorageAtValue {
+  type: 'get-storage-at';
+  arguments: {
+    address: AddressValue;
+    slot: Value<string | number>;
+  };
+}
+
+/**
+ * Computes EVM storage slots for common Solidity storage layouts.
+ *
+ * The result is always returned as a 32-byte, 0x-prefixed lowercase hex string,
+ * so it can be fed directly into `get-storage-at` or nested as the `slot` of
+ * another `compute-slot` (e.g. for nested mappings).
+ */
+export type ComputeSlotArguments =
+  | {
+      /** Value at `mapping[key]`: keccak256(h(key) . slot). */
+      kind: 'mapping';
+      /** Declaration slot of the mapping. */
+      slot: Value<string | number>;
+      /** The mapping key. */
+      key: Value<string | number | boolean>;
+      /**
+       * Solidity type of the key, used to encode it (default: "uint256").
+       * Value types (address, uint*, int*, bytes32, bool, ...) are ABI-encoded
+       * and left-padded; dynamic types ("string", "bytes") are packed.
+       */
+      keyType?: Value<string>;
+    }
+  | {
+      /** Element of a dynamic array: keccak256(slot) + index * elementSize. */
+      kind: 'dynamic-array';
+      /** Declaration slot of the array (also where its length lives). */
+      slot: Value<string | number>;
+      /** Element index (default: 0). */
+      index?: Value<string | number>;
+      /** Number of slots each element occupies (default: 1). */
+      elementSize?: Value<string | number>;
+    }
+  | {
+      /** Field of a struct or fixed-size array element: slot + offset. */
+      kind: 'struct-field';
+      /** Base slot of the struct / array element. */
+      slot: Value<string | number>;
+      /** Field offset in slots from the base. */
+      offset: Value<string | number>;
+    }
+  | {
+      /**
+       * ERC-7201 namespaced storage root:
+       * keccak256(abi.encode(uint256(keccak256(id)) - 1)) & ~bytes32(uint256(0xff)).
+       */
+      kind: 'erc7201';
+      /** The namespace id, e.g. "openzeppelin.storage.Ownable". */
+      id: Value<string>;
+    }
+  | {
+      /** Well-known EIP-1967 proxy slot: keccak256("eip1967.proxy.<name>") - 1. */
+      kind: 'eip1967';
+      /** Which proxy slot to compute. */
+      name: Value<'implementation' | 'admin' | 'beacon'>;
+    };
+
+export interface ComputeSlotValue {
+  type: 'compute-slot';
+  arguments: ComputeSlotArguments;
+}
+
 export interface BasicArithmeticValue {
   type: 'basic-arithmetic';
   arguments: {
@@ -127,6 +196,8 @@ export type ValueResolver =
   | ComputeCreateValue
   | ComputeCreate2Value
   | ReadBalanceValue
+  | GetStorageAtValue
+  | ComputeSlotValue
   | BasicArithmeticValue
   | CallValue
   | ContractExistsValue