| receiving boundary | Decision, situation, consequence, candidate accounts, and unresolved claims. |
| claim-to-evidence matrix | Claim, discriminating observation, selected evidence form, support/contradiction/split/lowering rule, and stopping use. |
| sample and occurrences | Decision-relevant variation, each Work occurrence, source access, missing fields, and evidence-form limits. |
| synthesis | Scoped accounts, retained variants/rivals, contradiction disposition, and attribution of each synthesis move. |
| selected further checks, when needed | Claim and use at issue, why the attainable answer warrants the burden, actual result and remaining uncertainty. For a held-out check, also preserve predictions made before inspection, surprise and revision. When existing evidence suffices, state that basis in the return; no empty held-out record is needed. |
| return | Account(s) or lower result, evidence limits, next receiving use, and reopen condition. |