A.6.P.WMR:4.3 - Choose one of four truthful exits

Choose by the kind of answer the receiving use needs:

If one direct subject pattern or declaration defines the relation between the exact participants, use the direct relation exit.
If the claim is only that one identified operation application used or returned one value, use the declaration-local A.6.1 binding exit.
If the question is production-work participation, entity inception, production completion, or another substrate-admitted local conjunction, use the local A.15.PROD or A.6.RCD claim exit.
If none of those positive exits has its required basis, stop with the exact reason: failed fact, unavailable fact, or absent governor.

The exit determines the next action; it is not a fifth claim classification.

Exit	Use it when	Result
Exact direct subject relation claim	The direct governor supplies the `RelationKind`, participant meanings, predicate, applicability, and defining source. A positive claim has separate case facts satisfying the predicate. A negative claim additionally has an explicit applicable non-obtaining criterion and separate facts satisfying it.	The shortest positive or negative direct sentence. A positive occurrence, assertion episteme, local id, and evidence remain distinct; a governed negative claim individuates no occurrence.
Exact `A.6.1` operation-application binding	One identified application and exact bound value satisfy the declaration-local argument or result predicate, extent, kind, cardinality, and identity rule.	A sentence stating only the binding. It says neither that dated work occurred nor that work produced, constituted, delivered, or accepted the bound entity.
Local `A.15.PROD` or `A.6.RCD` claim	One local production question or another local compound question admitted by the selected substrate is current, and no new occurrence kind is needed.	The readable local claim under its exact base governors and the lightest sufficient disposition.
Exact non-assertability result	The governor is known but the required fact fails (`factually unsupported`) or is unavailable (`missing-information`), or no current direct relation, truthful binding, or admitted local claim closes the exact participants and use (`missing-governor`).	A sentence naming the proposed polarity and extent, then the known governor and failed fact, the known governor and unavailable fact, or the exact absent definition. Only `missing-governor` names the affected use; it names a future pattern or declaration need only when one is identifiable. No fallback relation or opposite polarity follows.

A case-local positive direct relation needs two independent premises. An already published project relation-declaration episteme names the exact RelationKind, participant meanings, predicate, applicability, and defining source. A separate didactic world-side fact says that the exact participants at the exact extent satisfy that predicate. A positive sentence needs both. If the governor exists and the fact fails or is unavailable, return factually unsupported or missing-information; reserve missing-governor for absence of the governor. WMR neither publishes the token nor copies its declaration.

A governed negative sentence needs the analogous negative or non-obtaining criterion and separate facts satisfying it. Failure to support a positive claim, an absent record, or an unobserved event is not a negative premise.

The rejected MethodDescriptionSlotFillingInWorkRelation is not a fallback. A method-description field, planned filling, compatible type, stored reference, matching token, work-card row, or nearby result record establishes no actual participant relation by itself.