A.6.P.WMR:4.0 - Thin recovery core and conditional interfaces
The stable ordinary core is one A.6.P-isolated relation-bearing claim, one exact thing, one exact related object, one direct verb or reason-specific stop, exactly one of four truthful exit families, and one readable sentence. The fourth family is an exact non-assertability result whose reason is independently factually unsupported, missing-information, or missing-governor; only missing-governor is an ontology blocker that names the affected use and absent definition, applicability, or occurrence rule. It names a future pattern or declaration need only when one is actually identifiable.
Claim subject, modality and temporal extent, polarity, and recovery or support state remain four independent assurance controls. Their values must be recoverable whenever they can change the answer, but a practitioner does not have to recite the four labels when an ordinary sentence already makes the only material reading clear. WMR supplies this recovery and stop. It does not absorb the algorithms, checklists, or ontics of rules applied to a separate question.
| Additional question and applicable rule | Apply it only when | Result used here |
|---|---|---|
the rule that defines or tests the exact direct relation, or A.6.1 | the exact relation or one declared operation application is the current question | one readable direct subject-relation claim, one exact declaration-local application binding, or its exact non-assertability result |
A.6.RCD | no direct relation closes the named use, and a substrate-admitted compound claim, repeated predicate semantics, or relation-kind question is current | its lightest local claim, reusable-definition or conditional kind-admission continuation, or exact blocker; WMR does not reproduce the derivation or disposition algorithm |
A.15.PROD | production-work participation, entity-identity inception, or production completion is explicitly the current question | one local production claim or that branch’s exact blocker; WMR does not reproduce the branch basis |
A.15.1, then F.18 when naming is needed | an action nominal or plan-like label is being relied on as one performed occurrence | one exact Work occurrence admitted under U.Work at the required granularity or the exact lowered neighboring object or blocker; apply F.18 only after that result when durable naming is needed |
A.3.4 and the rule for the current transformation-composition claim | the current claim actually depends on an actual change or positive transformation composition | one independently identified transformation, one governed composition result, or the exact missing-governor or missing-substrate blocker |
| the rule for evidence use, assurance, naming, delivery, acceptance, transfer, publication, or another subject | the current use additionally needs that distinct claim | only the separately established claim, judgment, name, occurrence, or blocker; none becomes a WMR field or makes the recovered relation obtain |
The substantial interfaces retained below distinguish exits or show why tempting exits differ. Repetition of another rule’s full basis is not evidence of correctness; use only the separately established result needed by the current claim.