Protocol
notes.
Short records of consequential changes to how Proofrun runs tests. They are published separately from model-review Issues, with exact protocol identities and historical treatment attached.
Published August 27, 2026
Separating reasoning and artifact budgets
Proofrun now assigns a visible-artifact budget from the test scope and adds a separate reasoning allowance, so hidden deliberation does not silently consume the artifact's declared room.
What belongs here
Change the method in public.
A Protocol Note explains what changed, why it changed, which future conditions it affects, and which historical records remain untouched. It does not contain a new model score, winner, or ranking.