@assertions:invoke!

Call a read-only function with live arguments at assertion time: the target and any argument may be a :: call or an on-chain helper, compiled to the combinators invoke primitive.

Returns: any

Syntax

@assertions:invoke!(target abi ...params)

Arguments

Name	Type	Description
target	address	Contract address, or a :: call expression resolving to one
abi	read-abi	Signature with return types, e.g. balanceOf(address)(uint256)
[...params]	any	Function arguments: constants, :: calls or on-chain helpers

Where std's @get calls the function at script build time and freezes the result, @invoke! constructs the call at assertion time on-chain: the combinators resolve the target and every live argument, concatenate the calldata segments and staticcall the function when the batch executes. Reach for it when an argument (or the target itself) is only known on-chain — the same live-argument compilation the ::{...} syntax uses for nested calls, exposed as a helper for any deployed view or pure function.

Any deployed view/pure contract extends the assertion vocabulary this way: deploy the function once, @invoke! it with composed operands.

Examples

load assertions

set $vault 0x83F20F44975D03b1b09e64809B757c47f942BEeA

# Convert the vault's LIVE total supply to assets, on-chain
assertions:assert @invoke!($vault "convertToAssets(uint256)(uint256)" $vault::{totalSupply()(uint256)}) > 0

# The target itself is runtime-resolved: balanceOf on whatever token the vault reports
assertions:assert @invoke!($vault::{asset()(address)} "balanceOf(address)(uint256)" $vault) > 0

# Compose with arithmetic helpers as arguments
assertions:assert @invoke!($vault "previewRedeem(uint256)(uint256)" @num!($vault::{balanceOf(address)(uint256) @me} / 2)) >= 1e18

Notes

• The signature must declare exactly one return type; it decides how the value is judged (uint/int/address/bool/bytes32 as words, string/bytes via keccak of the envelope).
• Live word arguments fill single-word parameters (uint/int, address, bool, bytes32); a dynamic-typed live argument (array/string/bytes selected by a lens) must be the last argument of its call, at most one per call.
• With only constant arguments prefer the plain ::{...} call syntax — the calldata is fixed at build time and needs no combinator hop.

See Also

• assertions:assert