Effort meter

The effort meter sits in the chat header. It tells the loop how much budget — measured in time, tool calls, and token spend — it is permitted to consume for the current turn. A high effort budget lets the agent attempt larger refactors; a low budget keeps the loop tight.

The effort meter is paired with the P0 filter: low-signal intents are rejected regardless of budget.