A.6.RCD:0.1 - Name the exact blocker
Use three ordinary blocker phrases without turning them into a common result kind:
missing-governormeans that, for the stated participants and use, no current predicate definition, applicability condition, occurrence rule, or other governing rule can state or test the attempted relation claim. It says nothing about whether case facts exist.factually unsupportedmeans that the required governor and positive test exist, the available case basis is sufficient to apply that test, and the test fails. It stops the attempted affirmative; it does not establish the negative.missing-informationmeans that at least one fact needed to decide the current test is unavailable, so the test cannot yet return its positive, negative, or inapplicable result.
If an applicability rule exists and the available case basis establishes that the case is outside it, return that rule’s inapplicable result. State a negative claim only when an applicable non-obtaining criterion or complete closure basis exists and the available facts satisfy it; failure of the positive test alone is not that basis. If the governing rule itself is absent, use missing-governor; if a fact needed to decide its test is unavailable, use missing-information. missing-substrate remains the narrower section 4.2 stop for unavailable constructor semantics. These phrases are readable outcomes, not new U-kinds, result records, or an omnibus blocker ontology.