A.7.1:4.4 - Perform only consequence-changing ontology work
- Select the first locus capable of resolving the delta.
- Have the admitted system perform the required domain, wording, typing, evidence, or construction work.
- Use exact
A.7.CPclaim IDs throughClaimUsedAsReasoningBasisRelation@Contextonly when those claims are load-bearing in the work. Do not traverse the compact by default. - Preserve direct evidence, currentness, source-use, kind-admission, and subject-construction patterns.
- Return the repaired result immediately when the next action is truthful at the declared guarantee.
The method result uses one of these closed local dispositions in its result episteme: repairedEngineeringStatement, methodChoice, actionSelected, noOntologyIntervention, returnToDirectOwner, or unresolvedWithBlocker. These are method-result dispositions, not new U-kinds. Each names the affected use, practical result or blocked claim, and stop/reopen condition.