hacifootprint

checkActionContracts

Function: checkActionContracts()

checkActionContracts(declarations, environment): ActionContractReport

Defined in: src/action/contracts.ts:270

Classify every activation clause modeled by the supplied runtime, binding, and evidence snapshots, plus capabilities explicitly requested by binding rows. ok covers only the checks this function emits. In particular, input-schema activation belongs to ActionRuntime and is not modeled here.

Parameters

declarations

readonly ActionContractDeclaration<string>[]

environment

ActionContractEnvironment

Returns

ActionContractReport

On this page