F.0.2:4.3 - Three result branches
Every result recorded for later authoring, review, or decision use is an ordinary claim-bearing episteme under C.2.1. Its identity remains <claim content, EntityOfConcern, effective ReferenceScheme>. Give every such result a stable local locator in its authoring source and cite that locator together with the source edition. The locator helps readers recover the claim but does not identify it by itself.
| Result | What the claim concerns | What it says | Required receiving disposition |
|---|---|---|---|
| Provisional synthesis claim | The proposed domain or pattern contribution, interpreted through the receiving scheme and the declared source-local correspondences used in the comparison. | A positive cross-source claim with scope, source roles, retained differences, and limits. Provisional means proposed for a later decision, not accepted framework meaning. | The named decision record cites the locator and source edition, then states that the proposal is used as written, revised into a newly identified claim, not used for the named purpose, or reopened. |
| Contrast claim | The candidate unification or proposed shared contribution being tested, interpreted through the receiving scheme and the source-local comparison rules. | Why the inspected comparison does not warrant that unification for the named use. It preserves the source-local claims and any narrower positive claim that remains supported. | The named decision record cites the locator and source edition, then keeps the source claims distinct for the named use, adopts a narrower or revised claim, does not use the contrast, or reopens the comparison. |
| Unresolved-inquiry claim | The bounded inquiry state, interpreted through the receiving scheme and the source-currentness, adequacy, and comparison rules actually available. | A named missing, stale, or too-weak source prevents the inquiry from choosing between a provisional synthesis and a contrast. It states what remains usable and the next source action; it does not assert that the disputed claim is false. | The named decision record cites the locator and source edition, then retains the bounded unresolved result and its usable remainder, commissions the named source action, ends the named use, or reopens the comparison. Any later substantive answer is a separately identified result. |
The source gap is the reason and closure condition for an unresolved-inquiry claim, not a fourth result branch. A temporary unrecorded pause is not an F.0.2 result that later work can cite.