AaveV3HorizonOperationSafetyAssertion

Title: AaveV3HorizonOperationSafetyAssertion

Author: Phylax Systems

Example single-entry assertion bundle for Aave v3 Horizon.

Usage: cl.assertion({ adopter: aaveV3HorizonPool, createData: abi.encodePacked(type(AaveV3HorizonOperationSafetyAssertion).creationCode, abi.encode(aaveV3HorizonPool)), fnSelector: AaveV3HorizonOperationSafetyAssertion.assertOperationSafety.selector })

Constants

SUITE

Dedicated Horizon suite deployed by this assertion bundle.

Keeping the suite in a helper contract preserves the one-create-data UX while keeping the assertion runtime below the EIP-170 size limit enforced by CI.

ILendingProtectionSuite internal immutable SUITE

Functions

constructor

Creates an Aave v3 Horizon assertion bundle with an internally deployed suite.

constructor(address pool_) ;

Parameters

Name	Type	Description
`pool_`	`address`	Aave v3 Horizon pool used both as the suite data source and assertion adopter.

_suite

Returns the suite implementation used by the generic lending assertion base.

The assertion keeps protocol-specific logic in a dedicated helper suite contract so the assertion runtime stays within CI’s contract-size limit.

function _suite() internal view override returns (ILendingProtectionSuite);

Returns

Name	Type	Description
`<none>`	`ILendingProtectionSuite`	suite The internally deployed common lending suite implementation.