{"format":"proofrun-protocol-note","schemaVersion":1,"noteId":"PN-001","slug":"separate-reasoning-and-artifact-budgets","status":"published","publishedAt":"2026-08-27","title":"Separating reasoning and artifact budgets","summary":"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.","effectiveProtocol":{"protocolId":"proofrun-review","version":"0.8","revision":3,"hash":"sha256:6bda63bb3ec8881dc9d84ffdc1bb1e4fbfd3faee9d850680bfaf862f20a5e1d6","effectiveDate":"2026-08-27"},"publicationTiming":{"publishedBeforeFirstPublicAffectedResult":true,"publicRevision3ResultsAtPublication":0},"evidence":{"completeHtmlAttemptCount":16,"medianVisibleTokens":6804,"largestCompleteVisibleTokens":9387,"partialVisibleTokenCounts":[7567,11882,12385],"triggeringConditions":[{"runId":"PR-MTB6NLVE-E1","reasoningEffort":"high","sharedCompletionCeiling":24000,"reasoningTokens":12118,"visibleTokens":11882,"outcome":"reviewable but truncated"},{"runId":"PR-MTBB9QY1-27","reasoningEffort":"medium","sharedCompletionCeiling":24000,"reasoningTokens":24000,"visibleTokens":0,"outcome":"no visible artifact"}]},"visibleArtifactProfiles":{"quick":16000,"standard":24000,"deep":32000,"extended":48000},"reasoningAllowanceProfiles":{"none":0,"low":4000,"medium":8000,"high":16000,"very-high":24000},"maximumTotalCompletionTokens":72000,"budgetMechanisms":{"directReasoningBudget":"The reasoning cap is enforced and the visible-artifact budget is protected.","providerNativeEffort":"The visible-artifact amount is disclosed as a target, not a guaranteed reserve.","mixedMechanismsInOneDuelAllowed":false},"historicalTreatment":"Revision-1 shared-ceiling results and the unused revision-2 50/50 contract remain unchanged and are not reinterpreted under revision 3.","firstPlannedApplication":{"test":"Triage Desk v1","model":"qwen/qwen3.8-flash","route":"Alibaba","visibleArtifactTokens":24000,"reasoningTokens":16000,"totalCompletionTokens":40000,"attemptLimit":1,"publicationPromised":false,"launchAuthorizedByThisNote":false},"limitations":["A larger budget reduces avoidable truncation; it cannot guarantee a complete or high-quality artifact.","Provider-native effort does not expose an enforceable reasoning-token maximum.","Tokenization varies across models, so equal token counts do not imply equal character counts.","Exhausting a generous declared artifact budget remains valid evidence about scope discipline under that condition."],"sources":[{"label":"OpenRouter reasoning-token documentation","url":"https://openrouter.ai/docs/guides/best-practices/reasoning-tokens"},{"label":"OpenRouter model and completion-limit documentation","url":"https://openrouter.ai/docs/guides/overview/models"}],"contentHash":"sha256:82f0298b980b5a8ddc81679d0ed953bc840c2062ce849220b3c4cb8f65a848bc"}