no CandidateMathObject | If the problem still needs a mathematical lens for the next lens-use action, first name the ProblemStructureCue and write a MathLensUse.LensCandidateNote with the cheapest candidate lens family and next lens-use action; downgrade to ordinary prose or remove the mathematical claim only when no candidate lens changes action. |
no LensMappingMode | Choose a lens mapping mode or downgrade to analogy-only prompt. |
no PreservedStructure | Remove the claim-bearing mathematical phrase. |
no LostStructure account | Describe the omitted source distinctions. If none are lost for this use, explain why the relevant distinctions and operations are preserved. C.29.1 supplies the comparison. |
| no invariant, obstruction, distinction, or payoff | Keep the phrase as didactic recognition cue or orientation-only. |
no LensBoundedPredictionOrDistinction where decision, prediction, or model selection is being claimed | Block decision or assurance use; downgrade to analogy-only if no declared lens-use consequence is named. |
| evidence is analogy-only | Block decision, publication-as-established-model, assurance, release, and causal use unless evidence relation, validation regime, causal-use relation, or assurance result is supplied by its subject pattern. |
no LensUseBoundaryValue | Block decision, publication, assurance, benchmark, and release use. |
| causal, intervention, policy, or counterfactual overread | Apply C.28 or block causal use. |
| cross-context meaning, export, or substitution overread | Apply F.9 when the export or substitution needs semantic correspondence between local senses; otherwise use the direct subject pattern. Block unsupported export or substitution. |
| scale, universality, knee, exponent, or scale-advantage claim | Apply C.18.1 for scale-law adequacy, C.19.1 for general method scale preference, or C.31.ASAP for architecture scale preference when that claim is made; otherwise keep the lens local and bounded by stop condition. |
| assurance or release use | Apply the direct release pattern, A.10 for evidence reliance, B.3 only for an actual named assurance claim, or relevant G patterns for their claims; block unsupported assurance or release use. |
StopCondition is generic | Name the condition for narrowing or stopping, a no-lens exit, or source-return trigger. Include a blocked overread only when it passes F.19’s plausible-reader test. |