Source changed 2026-10-03 07:42:37 UTC · snapshot created 2026-10-03 07:43:27 UTC · last check 2026-10-03 07:55:10 UTC
A.7.2:4.1 - Recover the exact conflict
Name the smallest disputed receiving ontology claim and its current edition.
For each dated application, name its resulting ontology-claim or decision episteme, the practical consequence the receiving use would take from it, and the exact method clause, premise, or source-use occurrence on which the work relied.
Recover the exact FPF claim epistemes, dated application-work occurrences, direct kinds and relations, A.7.CP reasoning-basis occurrences, source-use occurrences, scope, and currentness.
Test whether the result claims support incompatible answers to the same receiving claim or practical consequence in the same scope. If not, return noConflictStop or contextSplit.
Compare exact source content through direct evidence, formal-semantics, domain, scope, and currentness patterns. Do not rank source labels.
Translate candidate distinctions into FPF objects and constructive consequences. Test them against subject evidence and only the A7CP-* claims used by the reconciliation work.
Reopen the smallest FPF decision set, preserve unaffected subject-pattern decisions, and repair the method clause or subject-pattern decision that caused the dated applications to yield incompatible results. Run enough of the affected application again to obtain a checked result; do not stop at rewriting a premise list.
Return one declared result with affected use, stop, and reopen condition.