Invariant Engine Kit
Rules that ALWAYS must hold true, checked before and during every execution.
Halt on violation
0/6 invariants verified
Configuration
Invariants
6
Total Checks
0
Violations
0
Invariant Checks
budget-never-negative
state.budget >= 0
max-spend-limit
action.spend <= config.maxSpend
no-self-delegation
!action.target === agent.id
audit-log-complete
log.entries.length > 0
permission-check
action.requires(role.admin)
resource-quota
usage.cpu < quota.cpu
Integration Code
import { createInvariantEngine } from 'agent-tools-kit/verification'
const invariants = createInvariantEngine({ timing: 'pre-and-post' })
invariants.add('budget-never-negative', (state) => state.budget >= 0)
agent.use(invariants.middleware())