SafeTxShapeAssertion

Git Source

Inherits: SafeTxShapeHelpers

Title: SafeTxShapeAssertion

Author: Phylax Systems

Enforces direct Safe action-shape policy for owner and module executions.

Validates the Safe transaction tuple before settlement: known targets, exact selectors, delegatecall restrictions, approved MultiSend batch contents, and token approval spender/operator policy.

Functions

constructor

constructor(
    TargetPolicy[] memory targetPolicies_,
    SelectorPolicy[] memory selectorPolicies_,
    BatchExecutorPolicy[] memory batchExecutorPolicies_,
    ApprovalPolicy[] memory approvalPolicies_,
    bool moduleExecutionEnabled_,
    address[] memory allowedModules_
)
    SafeTxShapeHelpers(
        targetPolicies_,
        selectorPolicies_,
        batchExecutorPolicies_,
        approvalPolicies_,
        moduleExecutionEnabled_,
        allowedModules_
    );

triggers

function triggers() external view override;

assertSafeModulePolicy

Ensures module executions are disabled or sent by an allowlisted module.

function assertSafeModulePolicy() external view;

assertSafeDelegateCallPolicy

Blocks direct, module, and inner delegatecalls except configured top-level MultiSend execution.

function assertSafeDelegateCallPolicy() external view;

assertSafeTargetSelectorPolicy

Ensures every non-batch action uses a known target and allowed selector.

function assertSafeTargetSelectorPolicy() external view;

assertSafeBatchPolicy

Strictly parses configured MultiSend batches and rejects malformed or nested batches.

function assertSafeBatchPolicy() external view;

assertSafeApprovalPolicy

Enforces spender/operator and amount limits for approval-like calls.

function assertSafeApprovalPolicy() external view;