A.15.1:4.6 - Route a result or consequence without folding it into Work
Start with the ordinary sentence the reader needs, then select exactly one row for each separate claim. An absent row stays absent; the table is not a result record to fill.
| Reader’s sentence | What to identify | Stop / non-inference |
|---|---|---|
| This work happened. | A.15.1: exact W : U.Work, every actual performer’s A.13 basis, independently grounded performance history, enacted Method, extent, and at least one locally declared containing-system relation with its boundary | a log, plan, output, verdict, or F.6 assertion does not establish W |
| S performed W under RA. | F.6 after Work admission: the same obtaining A.13 assignment, declared species and participants, direct case fact for the exact pair, holder equality, and interval coverage | a covering assignment or admitted Work alone does not establish performedUnderAssignment |
| The application returned X or X is a result of W. | for an application return, the exact A.6.1 application and result binding; for a Work-to-result claim, its already declared domain predicate, exact W and X participants, and obtaining facts. If the required Work-to-result predicate is absent, retain any independently established application binding and return missing-governor[work-to-result]. Use A.6.P.WMR when the source wording hides which route is intended | a result binding is not production, delivery, acceptance, or a universal work-result relation |
| This referent changed through W. | A.3.4: one exact U.Transformation; then name the declared domain predicate with exact W and T participants, or one C.2.1 local compound claim under A.6.RCD disposition 2 with its substrate-admitted constructor, governed base predicates, actual participants, and case facts. Without either, return missing-governor[work-to-change] and keep W and T separately usable | temporal overlap, a delta picture, or common referent does not connect the change to W |
| W produced X, X first existed through changes attributed to W, or production completed. | the one current A.15.PROD branch: production-work participation, entity-identity inception, or production completion, each with its own criterion and boundary | one branch establishes neither of the other two nor delivery or acceptance |
| Evaluation found V. | separate evaluation U.Work; exact evaluation application and result binding or direct evaluation-result relation; when a durable claim is needed, one C.2.1 evaluation-result episteme | the evaluator’s work, returned value, and result episteme are three different objects |
| These observations support the claim. | A.10 account of the independently established evidence-provenance relations supporting the named claim, or A.2.4 for the lighter episteme evidence-use relation | evidence supports the named claim for the bounded use; it does not create the work, result, or verdict |
| X was delivered or transferred. | name the declared delivery or transfer predicate, its exact source, destination, transferred X, and any required occurrence or interval participants. Use A.2.3 for a separately current promise-content claim; if no delivery or transfer predicate governs the claimed transfer, return missing-governor[delivery-or-transfer] | production, a package, or a handoff label does not establish transfer |
| X was accepted. | name the criterion episteme, acceptance or evaluation Work, returned value or result episteme, and the declared acceptance predicate with its exact verdict and X participants. Use A.2.3 only for its current promise-content branch; if no acceptance predicate is present, return missing-governor[acceptance] | delivery, a passing evaluation value, or evidence alone does not establish acceptance |
Three-question result check. (1) Did the work occur? Name W, every actual performer’s A.13 basis, the grounded performance history, enacted Method, time, and at least one declared relation to a containing System under an exact boundary. If the use also needs exact assignment-bound attribution, run F.6 only after that admission and name its separate result. (2) What separate result or consequence is claimed? Name the exact returned value, entity, change, production claim, or transfer and use its row above. (3) Who judged or accepted what, by which criterion and evidence? Name the evaluation work, result, evidence relation, and acceptance relation separately. Stop after the last current question.