A.6.P.WMR - Exact Relation Recovery for Method and Work Claims
Plain label: recover the exact relation hidden by input, result, and handoff wording Type: Architectural precision-restoration pattern (A) Status: Stable Normativity: Normative unless explicitly marked informative Specializes:
A.6.PRelational Precision Restoration
A.6.P.WMR:1 - Problem Frame
Use this when. Practitioners SHOULD use this pattern after A.6.P generic relation recovery has isolated one current method-or-work boundary claim and the exact entity is already in view, but words such as input, raw material, source data, source material, output, result, outcome, deliverable, or handoff still do not reveal the direct relation that makes the sentence true. They SHOULD also use it when method, intended-work, actual-work, production, evaluation, delivery, acceptance, transfer, or receiving-use wording leaves that claim’s participant meaning or orthogonal claim dimensions unclear.
The primary EntityOfConcern is one relation-bearing claim in an episteme. The trigger word helps a practitioner notice the problem; it is not the governed object, a participant kind, a relation kind, or a universal family of inputs and results.
Primary working reader, concern, and viewpoint. The primary reader is a practitioner or engineer whose current task is to make one boundary-word claim safe for a named use. Their concern is which exact relation and claim dimensions can be stated safely for that use now; the viewpoint is that use. The SubjectPatternLocator identifies the pattern description containing the defining or constraining ClaimGraph, while current case facts determine whether the relation obtains.
First useful result. Start at the boundary-word sentence and answer three ordinary questions: what exact thing is being named, relative to what exact method, plan, work, operation application, transformation, delivery, or receiving use, and what direct verb can safely be said now—or why can it not yet be said.
For example, a note says, inspection report R-17 is the result of inspection. R-17 is an exact report episteme. If the current related object is independently identified inspection application P-17 and its declaration-local result-binding predicate actually holds, write: Inspection application P-17 returned report R-17. Then stop unless the current use separately asks about report inception, inspection Work, evidence, publication, delivery, or acceptance.
The nearest three failures keep the same thing and related object while changing only the deciding deficit:
- if the binding governor is known and the case facts fail its positive predicate, the proposed positive binding is
factually unsupported; - if the governor is known but the fact needed to decide whether P-17 returned R-17 is unavailable, return
missing-information; - if no current result-binding predicate or direct report relation governs that pair, return
missing-governorand name the exact participants, proposed predicate, affected use, and absent definition; name a future pattern or declaration need only when one is actually identifiable.
Only when another reading could change the answer should the practitioner make the formal distinctions explicit: reusable declaration versus intended, committed, current, or historical subject relation; exact extent; polarity; and whether the claim is assertable. A direct relation additionally names its exact RelationKind and resolving direct pattern or relation-declaration episteme. An operation binding or local claim instead names its declaration-local or admitted predicate and defining declaration. These assurance details check the ordinary answer; they are not prerequisites for understanding a simple positive past-tense sentence.
What changes in practice. The engineer stops debating which broad word is correct. They name the thing, the exact object it is relative to, and the direct verb they can safely say now; if no verb is yet justified, they state the exact failed fact, unavailable fact, or absent governor. Formal claim dimensions and assurance apparatus appear only when they can change or check that answer. Planning, actual participation, production, evaluation, delivery, acceptance, and transfer no longer inherit one another through vocabulary.
Adoption test. Given one compressed sentence, the reader can replace it with either the shortest direct sentence under its exact governor or an exact factually-unsupported, missing-information, or missing-governor result, without turning a plan, description, binding, record, or label into actuality.
What goes wrong if missed. A plan is read as actual participation; a method description is treated as a work occurrence; an operation result binding is mistaken for a produced entity; a changed continuing entity becomes a new output; a delivery or handoff package is treated as the transfer; or a convenient missing relation is replaced by a new universal kind.
Ordinary non-use boundary. Practitioners SHOULD NOT use this pattern when the exact direct relation and all claim dimensions needed by the receiving use are already readable; they SHOULD apply that direct pattern and stop. They SHOULD use C.2.P first when the unresolved question is which source expression, episteme, publication, or source-to-use relation is current; A.15.PROD directly when the only current question is production-work participation, entity-identity inception, or production completion and its participants are already exact; and the direct measurement, evaluation, commitment, delivery, acceptance, transfer, resource, premise, transformation, method, planning, or work pattern when that relation is already selected.
A.6.P.WMR:2 - Problem
Boundary words are useful in ordinary language because they compress a relation into a role-like label. The compression becomes unsafe when a later claim depends on which relation actually obtains. The same entity can be a resource used by work, an argument bound in one operation application, an affected referent changed by work, a constituent of another entity, a premise used in reasoning, a newly constituted episteme, a delivered item, or an object used by receiving work. Those are not interchangeable positions.
The repair preserves ordinary readability without manufacturing a universal work-result ontology. It also recovers, without collapsing them, the claim subject, modality and temporal extent, polarity, and recovery or support state. A reusable declaration, an intended relation, an obtaining commitment, an actually obtaining or historically obtained subject relation, and an unresolved claim can overlap across those dimensions; they are not one posture axis. A sentence can be ontologically precise and still be false or unsupported; evidence and assurance remain separate questions.
A.6.P.WMR:3 - Forces
| Force | Tension |
|---|---|
| Ordinary language vs exact relation | Practitioners need short sentences, while the receiving use needs exact participants and an obtaining condition. |
| Method semantics vs dated work | A reusable way of doing and its description can name participant roles without assigning or binding an entity in one actual occurrence. |
| Plan vs actuality | Intended work and planned fillings guide action but do not establish dated work or actual participation. |
| Operation binding vs work relation | An A.6.1 application can bind an argument or result value without producing that entity or identifying the surrounding work. |
| Change vs production | Work can cause an actual change without constituting a new entity or completing production. |
| Readability vs ontology economy | A familiar label is cheap, but one universal input, output, result, or handoff kind would erase direct subject semantics. |
| Local blocker vs broad invention | A missing governor stops only the affected claim; independent claims continue, and ontology does not expand by convenience. |
A.6.P.WMR:4 - Solution
Normative method boundary. The Conformance Checklist states each method requirement once; the explanatory sections add none. A generic prescription states what one exact policy or other normative episteme requires; it does not create an individual duty bearer or commitment occurrence. A claim that one actual System or separately governed party has that duty instead cites one separately obtaining A.2.8 U.Commitment. WMR opens that individual branch only when the source sentence actually makes that claim. Ontic identity, obtaining, polarity, non-entailment, and admissibility remain declarative.
Stable WMR lens. Treat the boundary wording as one use-specific claim about an exact thing relative to an exact object. Recover the direct verb or reason-specific stop first. Keep claim subject, time, polarity, and assertability independently recoverable when any of them can change the answer; do not turn the wording into a participant kind, relation kind, or universal input or result family.
The method handles one relation-bearing claim at a time. The trigger word stays in view only until the exact thing, related object, and safe direct verb or stop are recoverable. The result replaces the compressed phrase with the shortest ordinary sentence. If a neighboring claim is still needed, apply the pattern whose Solution answers that exact question.
A.6.P.WMR:4.0 - Thin recovery core and conditional interfaces
The stable ordinary core is one A.6.P-isolated relation-bearing claim, one exact thing, one exact related object, one direct verb or reason-specific stop, exactly one of four truthful exit families, and one readable sentence. The fourth family is an exact non-assertability result whose reason is independently factually unsupported, missing-information, or missing-governor; only missing-governor is an ontology blocker that names the affected use and absent definition, applicability, or occurrence rule. It names a future pattern or declaration need only when one is actually identifiable.
Claim subject, modality and temporal extent, polarity, and recovery or support state remain four independent assurance controls. Their values must be recoverable whenever they can change the answer, but a practitioner does not have to recite the four labels when an ordinary sentence already makes the only material reading clear. WMR supplies this recovery and stop. It does not absorb the algorithms, checklists, or ontics of rules applied to a separate question.
| Additional question and applicable rule | Apply it only when | Result used here |
|---|---|---|
the rule that defines or tests the exact direct relation, or A.6.1 | the exact relation or one declared operation application is the current question | one readable direct subject-relation claim, one exact declaration-local application binding, or its exact non-assertability result |
A.6.RCD | no direct relation closes the named use, and a substrate-admitted compound claim, repeated predicate semantics, or relation-kind question is current | its lightest local claim, reusable-definition or conditional kind-admission continuation, or exact blocker; WMR does not reproduce the derivation or disposition algorithm |
A.15.PROD | production-work participation, entity-identity inception, or production completion is explicitly the current question | one local production claim or that branch’s exact blocker; WMR does not reproduce the branch basis |
A.15.1, then F.18 when naming is needed | an action nominal or plan-like label is being relied on as one performed occurrence | one exact Work occurrence admitted under U.Work at the required granularity or the exact lowered neighboring object or blocker; apply F.18 only after that result when durable naming is needed |
A.3.4 and the rule for the current transformation-composition claim | the current claim actually depends on an actual change or positive transformation composition | one independently identified transformation, one governed composition result, or the exact missing-governor or missing-substrate blocker |
| the rule for evidence use, assurance, naming, delivery, acceptance, transfer, publication, or another subject | the current use additionally needs that distinct claim | only the separately established claim, judgment, name, occurrence, or blocker; none becomes a WMR field or makes the recovered relation obtain |
The substantial interfaces retained below distinguish exits or show why tempting exits differ. Repetition of another rule’s full basis is not evidence of correctness; use only the separately established result needed by the current claim.
A.6.P.WMR:4.1 - Three ordinary questions and two conditional assurance questions
| Ask | Write |
|---|---|
| 1. What exact thing is this? | Name one exact referent under its admitted kind. Input, Output, Result, Outcome, Deliverable, and Handoff do not become kinds. |
| 2. Relative to what exact object is it being named? | Name one exact method description, plan, dated Work, operation application, transformation, evaluation, delivery, transfer, receiving work, or another directly governed object. Split several current related objects into separate claims. |
| 3. What direct verb can be said now—or why not? | Write the shortest direct relation sentence, declaration-local binding, local claim, or reason-specific non-assertability result. A synonym, shared time, plan row, diagram edge, or nearby record is not the deciding relation. |
| 4. Could a claim dimension change the answer? | Only then state the material claim subject, modality and extent, polarity, or recovery or support distinction. Keep them independent. |
| 5. Does a named later use need the formal governor or assurance replay? | Name the PatternID locator for the defining or testing content, exact RelationKind and relation-declaration episteme, declaration-local predicate, or local-claim rule that makes the answer checkable. Add occurrence identity, evidence, publication, or assurance only when that later use needs it. |
The practitioner stops after question 3 when the ordinary answer has one clear reading and no named later use needs more apparatus. Questions 4 and 5 inspect or reuse that answer; they do not replace it.
A.6.P.WMR:4.2 - Use the four claim dimensions only when they can change the answer
The four dimensions remain independent. Make a dimension explicit when two plausible values would change the sentence, the next action, or the stop. Otherwise let ordinary grammar carry it: CF-17 was consumed by W-204 during I-204 already states a positive historical subject relation at one extent and does not require the reader to label four axes.
| Claim dimension | Recovered answer | Non-inference guard |
|---|---|---|
| Claim subject | One reusable declaration, particular intended relation, commitment relation, or particular subject relation. | Selecting the subject decides neither whether it obtains nor its polarity, time, or support. |
| Modality and temporal extent | generic; intended or planned; actually obtaining at the current exact extent; or historically obtained at one exact past extent. State commitment fulfilment separately. | An obtaining commitment does not make the promised relation fulfilled; a past relation remains a historical claim at its governed extent. |
| Polarity | Positive or negative under one exact predicate, condition, and governor. | A governed negative claim individuates no obtaining relation occurrence. Absent support or missing information does not establish negative polarity. |
| Recovery or support state | governed-and-assertable, factually unsupported, missing-information, or missing-governor. | This state reports whether the selected claim can be asserted; it neither makes nor prevents the subject relation from obtaining. |
Well-formedness constraint WMR-WF1 — orthogonal claim dimensions. Whenever one of the four dimensions can alter the result, its value must be separately recoverable from the sentence or its immediate governed basis. No dimension supplies another. Explicit axis vocabulary is required only for a material ambiguity, comparison, assurance replay, or reusable formalization; it is not a prerequisite for every simple direct sentence.
Factually unsupported applies when an applicable governor is known but the available facts fail to support the proposed assertion; no opposite polarity follows without its own basis. Missing-information applies when the governor is known but one named fact needed for the answer is unavailable. Missing-governor applies when the exact participants and question are known but no current direct predicate, condition, or defining pattern or declaration closes it.
A current commitment is expressible without collapsing fulfilment only when its exact commitment RelationKind, participant meanings, extent, obtaining predicate, and the SubjectPatternLocator for its defining or constraining content are named; a local id such as COM-17 is not that settlement. The promised delivery remains intended and unfulfilled until its own exact token, fulfilment predicate, and facts establish fulfilment. A separately stated past case fact remains positive at its governed extent after its named participants satisfy the governor’s predicate; it need not obtain now to remain historically true.
A change in any dimension is substantive. A plan does not become an actually obtaining relation because its date arrives; a later observation does not retroactively manufacture a missing relation; and stronger support does not substitute for the subject relation’s own facts.
A.6.P.WMR:4.3 - Choose one of four truthful exits
Choose by the kind of answer the receiving use needs:
- If one direct subject pattern or declaration defines the relation between the exact participants, use the direct relation exit.
- If the claim is only that one identified operation application used or returned one value, use the declaration-local
A.6.1binding exit. - If the question is production-work participation, entity inception, production completion, or another substrate-admitted local conjunction, use the local
A.15.PRODorA.6.RCDclaim exit. - If none of those positive exits has its required basis, stop with the exact reason: failed fact, unavailable fact, or absent governor.
The exit determines the next action; it is not a fifth claim classification.
| Exit | Use it when | Result |
|---|---|---|
| Exact direct subject relation claim | The direct governor supplies the RelationKind, participant meanings, predicate, applicability, and defining source. A positive claim has separate case facts satisfying the predicate. A negative claim additionally has an explicit applicable non-obtaining criterion and separate facts satisfying it. | The shortest positive or negative direct sentence. A positive occurrence, assertion episteme, local id, and evidence remain distinct; a governed negative claim individuates no occurrence. |
Exact A.6.1 operation-application binding | One identified application and exact bound value satisfy the declaration-local argument or result predicate, extent, kind, cardinality, and identity rule. | A sentence stating only the binding. It says neither that dated work occurred nor that work produced, constituted, delivered, or accepted the bound entity. |
Local A.15.PROD or A.6.RCD claim | One local production question or another local compound question admitted by the selected substrate is current, and no new occurrence kind is needed. | The readable local claim under its exact base governors and the lightest sufficient disposition. |
| Exact non-assertability result | The governor is known but the required fact fails (factually unsupported) or is unavailable (missing-information), or no current direct relation, truthful binding, or admitted local claim closes the exact participants and use (missing-governor). | A sentence naming the proposed polarity and extent, then the known governor and failed fact, the known governor and unavailable fact, or the exact absent definition. Only missing-governor names the affected use; it names a future pattern or declaration need only when one is identifiable. No fallback relation or opposite polarity follows. |
A case-local positive direct relation needs two independent premises. An already published project relation-declaration episteme names the exact RelationKind, participant meanings, predicate, applicability, and defining source. A separate didactic world-side fact says that the exact participants at the exact extent satisfy that predicate. A positive sentence needs both. If the governor exists and the fact fails or is unavailable, return factually unsupported or missing-information; reserve missing-governor for absence of the governor. WMR neither publishes the token nor copies its declaration.
A governed negative sentence needs the analogous negative or non-obtaining criterion and separate facts satisfying it. Failure to support a positive claim, an absent record, or an unobserved event is not a negative premise.
The rejected MethodDescriptionSlotFillingInWorkRelation is not a fallback. A method-description field, planned filling, compatible type, stored reference, matching token, work-card row, or nearby result record establishes no actual participant relation by itself.
A.6.P.WMR:4.4 - Ordinary sentence shapes
These shapes are informative drafting aids. A practitioner MAY use one after the ordinary answer is known. Only distinctions current for the receiving use appear. In either direct-relation shape, the relation wording is an ordinary reading of one exact RelationKind with its resolving direct pattern or relation-declaration episteme; any assertion id remains outside that governor position. The actually-obtaining and historically-obtained shapes are available only after a separate fact says that their exact participants and extent satisfy the predicate; the compact sentence need not copy the fact fixture or evidence package.
Reusable declaration:
Under <applicability>, <exact declaration> declares that <exact entity position>
has <participant or predicate meaning>; no particular intended or obtaining relation follows.
Particular intended relation:
<exact WorkPlan or other intended-work episteme> states that <exact entity>
is intended to <direct relation> <exact related object> under <condition>;
actual obtaining remains open.
Actually obtaining now:
<exact entity> <direct relation in ordinary words> <exact related object>
during <current exact extent>; governed by <RelationKind token> under <direct pattern or relation-declaration episteme>.
Historically obtained:
<exact entity> <direct relation in ordinary words> <exact related object>
during <exact past extent>; governed by <RelationKind token> under <direct pattern or relation-declaration episteme>.
Governed negative:
During <exact extent>, <exact entity> did not <direct relation in ordinary words> <exact related object>
under <RelationKind token>, with defining or constraining content at <SubjectPatternLocator>; <separate case facts> satisfy
<the direct pattern's or declaration's explicit negative or non-obtaining criterion or closure basis>,
and no relation occurrence is individuated.
Obtaining `U.Commitment`, promised relation separate:
<U.Commitment occurrence> obtains for <actual duty-bearing System or separately governed party>, with <modality>, <referents>, <scope>, and <validity interval>;
<current prescription>, <exact constitutive rule>, <rule-required actual instituting basis>, and <actual facts> satisfy the A.2.8 direct predicate;
the promised relation remains <intended | unfulfilled | fulfilled at exact extent> under its own <RelationKind token> and <SubjectPatternLocator>.
Factually unsupported:
Under <known governor>, the <positive or negative> claim that <exact relation sentence> is not assertable
because <available facts> fail <applicable named condition>; no opposite polarity follows.
Missing information:
Under <known governor>, whether <exact entity> <candidate direct relation> <exact related object> obtains
is unresolved because <named deciding fact> is unavailable.
Missing governor:
Whether <exact participant> <proposed direct relation> <exact related participant> obtains
is unresolved for <named use> because no current definition supplies <predicate, applicability, or occurrence rule>;
name a future pattern or declaration need only when one is identifiable. No PatternID or case fact is required for a rule that does not exist.
For example, CF-17 was not consumed by W-204 does not follow merely because the positive consumption fact fails or is unavailable. It closes as a governed negative sentence only if the direct pattern or declaration for machining resource consumption supplies an applicable non-consumption criterion or complete closure basis for the exact quantity, work, and extent and separate case facts satisfy it. Otherwise the proposed positive claim remains factually unsupported or missing-information, or the relation question remains missing-governor, according to the independently recovered deficit.
A practitioner MAY retain the trigger word as optional Plain orientation after the direct sentence is recoverable. The direct sentence and its dimensions, not the familiar label or support state, carry the claim into planning, work, evaluation, delivery, acceptance, transfer, or receiving use.
A.6.P.WMR:4.5 - Composition and universal-result stop
Invariant WMR-I1 — ontology economy. No universal work-result, transformation-result, production, input, output, outcome, deliverable, handoff, evidence, actual-filling, or status relation or kind follows from boundary-word recovery. Invariant WMR-I2 — transformation non-entailment. No actual transformation follows from a method, plan, desired state, model, description, evaluation result, publication, transfer, flow arrow, adjacency, shared work, or common affected referent.
When the repaired claim depends on transformation composition, state its exact participants and question, then apply A.3.4 and the rule for that composition claim. Keep only the resulting independently identified transformations plus either one governed composition claim or the exact missing-governor or missing-substrate blocker. WMR does not restate or evaluate their contribution, compatibility, composition, or reidentification algorithm.
The blocker reaches only the composition-dependent claim; independent work, change, production, evaluation, delivery, acceptance, transfer, and receiving-use questions continue under their own governors.
A.6.P.WMR:4.6 - Recognition and assurance remain separate
For ordinary recognition, the first three questions and one of four truthful exits are enough. Use the two assurance questions and explicit claim-dimension vocabulary only when they can change the answer or a named later use needs to inspect it.
A practitioner MAY open a separate assurance branch when the receiving use additionally needs evidence, warrant, assurance, gate, currentness, publication, or reliance. Apply the relevant evidence, assurance, gate, currentness, publication, or reliance check to the exact direct subject claim, A.6.1 application binding, local A.15.PROD or A.6.RCD claim, or non-assertability result together with its governor. Preserve factually unsupported, missing-information, and missing-governor as different reasons; only the last can name a future pattern or declaration need, and only when that need is identifiable. Support or assurance changes neither polarity nor whether the subject relation obtains.
DPF or FPF authoring may trigger the applicable E.19, A.10, B.3, or other assurance checks. Those checks remain with their subject patterns rather than becoming a second WMR checklist.
A.6.P.WMR:4.7 - Recover a result and reuse its established meaning
Start with the receiving question: what may someone do because this result is available? Applying a description, accepting a produced entity, closing Work, and relying on a later effect need different answers. When the trigger is result, use the deciding fact before any catalogue:
- if the statement describes what successful enactment should obtain or preserve, use A.3.1 for the Method’s intended effect, or A.15.2 for the particular WorkPlan’s target;
- if the same entity continues and changed, recover that continuing entity and its separately governed change;
- if a condition continued to hold, state that condition over its required extent; attribute its maintenance to Work only through the applicable maintenance predicate and its facts;
- if an entity first began to exist, or that is the question, open A.15.PROD’s entity-inception branch;
- if one operation application returned a value, state only its A.6.1 result binding;
- if the referent is a measured characteristic value, keep that exact value and its direct measurement relation; if it is a comparison, diagnosis, or evaluation claim, identify that exact C.2.1 episteme and its direct basis;
- if an entity was delivered or transferred, use the direct delivery or transfer occurrence;
- if the question concerns fulfilment of a promise, use A.2.3’s specified outcome and acceptance conditions;
- if the claim is a downstream effect, apply the pattern whose Solution answers that exact effect-relation question;
- if
resultnames aC.11ChoiceResult, an acceptance verdict, a decision occurrence or record, or another value, entity, fact, or claim already identified under its applicable identity or occurrence rule, keep that exact kind and write only the direct relation current for this use.
If the selected reading lacks a deciding fact or governor, return its reason-specific non-assertability result. The word result does not establish one kind or relation family shared by these different readings. This does not prevent the same established meaning from recurring with different participants, including entities of different kinds.
Reuse the meaning, then obtain the facts of this case. A.15.PROD supplies one such repeated meaning: a produced result of Work is an entity that first exists through that Work’s governed effects under its applicable identity specification. This is a readable summary of its local inception claim, not a new binary predicate. Keep the entity’s own kind. A ship and an episteme use different identity specifications while instantiating this same production meaning. The Work, specification and applicability, first-existence boundary, and Work-to-change and change-to-identity grounds remain available in each claim. Use A.15.PROD:4.3–4.5 to obtain that answer; reusing its meaning does not supply a missing fact or subject rule.
The same discipline applies to other established relations. A.2.3:8.1 defines deliversPromisedOutcome(W, OS) and fulfilsPromiseContent(W, SC); the latter additionally tests acceptance. Their second participants are the OutcomeSpec and PromiseContent epistemes respectively, even when the promised condition concerns a physical entity. Substituting the affected thing for the specification changes the predicate. A Method’s intended effect or a plan target does not by itself establish a promise or fulfilment. A.2.8 separately governs an individual duty.
For another occurrence of the same claim, retrieve its existing predicate or compound definition and retain its participant meanings, applicability and limits. Substitute the new participants and check their facts. A changed entity kind calls for the applicable identity or subject rule; it does not by itself call for a new result meaning. A different receiving question may require another relation even when the entity is unchanged.
When the same needed rule is repeatedly missing, use A.6.RCD:4.1–4.5. Reuse a direct predicate where one suffices; keep a one-use compound claim local; define a repeated compound rule once in its subject practice. Distinguish a law limited to one exact subject from a predicate definition reusable across subjects. The latter has the definition itself as its EntityOfConcern. Only a use that consumes the identity of an obtaining relation occurrence opens relation-kind admission. Neither repeated wording nor heterogeneous participants requires that additional ontology.
Keep useful preservation and later use visible. Work may achieve its intended benefit by keeping an existing condition within limits. A.3.1 supplies the Method’s intended preserved condition. The subject rule and observations over the required interval decide whether that condition held; a further Work-to-maintenance claim needs its own applicable basis. Unchanged endpoints alone establish neither continuous preservation nor its attribution. A new object is unnecessary for this benefit. Performing Work alone does not establish a change of the referent whose condition was preserved.
Likewise, an existing description can be used in several later actions without being produced again. State what was used and how. A.6.1 can supply a binding when the receiving action is an application of that declared operation. A.6.RCD:4.5a supplies repeated formal rule-content derivation and criterion-selection semantics for exact ClaimGraphs; it does not assert consultation, Work use or causal benefit. Use the receiving subject’s rule for those claims. If the rule is known but the use fact is unavailable, obtain that fact. If the required use meaning has no definition, develop that definition. Do not turn either gap into a claim that the existing result was useless.
Joint work and project results use the same subject meanings. For jointly necessary work parts, A.15.PROD:4.5 uses their independently established A.15.1 composite Work as identity-closing Work. A.15.6:4.1 adds the qualifications for an actual project. A plan, a shared document or several contributors does not establish either whole. Once the whole and its effects satisfy the production claim, its produced entity has the same result meaning as for another Work occurrence.
A supported part result can already be reported: “Within P, W1 obtained x under this rule.” That conjunction preserves the result and work parthood. To claim that P itself obtained x, closed its production, fulfilled its promise or caused a downstream effect, establish the grounds of that further claim at P’s extent. Work composition supplies no universal rule for inheriting results or adding unlike measures. Preserve independently supported part results when the whole claim remains open.
The broader boundary-word palette below is an informative recognition aid. A row suggests a likely related object and candidate semantics; the result then leaves the palette for the direct governor. Several rows may apply to the same entity at different times or for different uses, and they remain separate claims.
| Encountered wording | Recovery direction |
|---|---|
input | Name the exact entity and related object. Test the concrete affected-referent, resource-use, parameter-binding, constituent-supply, premise-use, reference-use, operation-argument, transformation-participation, planned-filling, or other direct relation current in the case. No input family follows. |
raw material or physical source material | Keep the physical entity distinct from its constituent, affected-referent, consumed-resource, transfer, supply, or transformation relation. Source alone does not open C.2.P. |
epistemic source data or source material | Let C.2.P recover the exact source expression, episteme, publication, and source-to-use relation; then recover the separate relation to the current method, plan, work, transformation, evaluation, or receiver. |
output | Apply the result split above. A changed continuing entity is not newly constituted merely because it is called an output. |
result | Apply the deciding branches above. Keep the referent under its own kind and write only the direct relation or binding that makes this use true. |
outcome | Distinguish a downstream subject effect from a measured value, comparison, or evaluation verdict. Each has its own related object and governor. |
deliverable | Recover the entity separately in each planning, commitment, delivery, and acceptance claim. Planned, produced, delivered, and accepted are not inherited from one another. |
handoff | Recover the actual transfer work or direct transfer relation. A package or record is a separate episteme; transfer, delivery, and receiving use remain distinct. Use E.10.MOVE only when that exact process-move question is current. |
When no direct governor closes a selected row, name the exact participants, proposed predicate and question, affected use, and absent definition, applicability, or occurrence rule. Name a future pattern or declaration need only when one is identifiable. A broader hypernym, another boundary word, or a new universal record does not settle the missing relation.
A.6.P.WMR:4.8 - Work-name grounding by morphology and occurrence
An action nominal such as testing, assembly, maintenance, evaluation, or inspection is a morphology cue, not an occurrence identification or recovered kind. Placement in function- or flow-structure prose does not identify a U.Function or any other object by itself. When the use remains function-like and claim-bearing while its exact FPF object or relation is hidden, A.6.F is the next subject pattern. When the object is already recoverable, the label resolves to the exact U.Method, U.MethodDescription, required or desired behavior or effect claim, actual U.Transformation independently grounded under A.3.4, selected TransformationFlowStructure, selected functional U.Structure and its ArchitectureStructuralView, C.2.1 FunctionalElementClaim episteme, FunctionalStructureViewUse, candidate bearer, qualified ability claim about the bearer System under A.2.2, functional-port declaration, allocation or correspondence claim, plan content, performed Work occurrence admitted under U.Work, or another object actually defined by its direct pattern. The view branch cites these separate values; it does not create an individual from the action word. In a WBS element, activity, or Work Package the nominal ordinarily names plan or assignment content about intended work; none of these uses identifies an already performed Work occurrence.
A use that needs only the recovered method, method description, plan, structure, or other already governed value closes under that direct pattern. Only reliance on the label as one performed occurrence handles the candidate designation and required granularity under A.15.1.
For a performed-occurrence question, apply A.15.1 and use only its established result: one exact Work occurrence admitted under U.Work at the granularity needed by the current use, an exact lowering to the neighboring method, description, plan, evidence, telemetry, temporal, or other supported object, or an exact blocker. A materially needed workContinuityPolicyRef remains part of the A.15.1 identity judgment rather than a WMR field. Apply F.18 only after one occurrence is established and needs a durable name.
Any output, result, outcome, production, delivery, or acceptance wording is a separate WMR claim only while its direct relation or claim dimensions remain hidden. Once readable, apply the rule for that relation or claim; it does not become part of work identity.
The preceding action-nominal classification is an FPF-scoped synthesis from recurring morphology-and-subject ambiguity, not a rule imported from PMI, PRINCE2, IDEF0, or IDEF3. A domain may conventionally use an action nominal as the durable name of an already grounded method, plan item, functional-view record, or dated work occurrence; that direct identity and exact predicate win over morphology. The synthesis reopens if repeated practice shows that the cue classifies a directly grounded value under the wrong predicate family, or if a trigger case cannot close through A.6.F, the exact subject predicate, or A.15.1 without new ontology.
| Planning or description lineage | Bounded use here | Prohibited inference |
|---|---|---|
| PMBOK WBS practice | Its deliverable-oriented naming pressure is used only to recognize that WBS elements and Work Packages are often named from expected deliverables. | The named plan element proves no dated occurrence, enacted method, actual participant, produced entity, result, or outcome. |
| PRINCE2 7 public Foundation page | The page is used only as currentness evidence that PeopleCert presents Version 7 and describes seven recurring project-management practices. It does not expose detailed product, product-description, activity, or Work Package distinctions, so those distinctions are not source authority here. | Neither the page nor PRINCE2 terminology supplies occurrence identity, a positive FPF kind inference, or any production, delivery, or acceptance claim. |
| IDEF0 historical recognition lineage (non-authoritative here) | A box label remains source-side function-model wording. A still-hidden FPF claim requires A.6.F; otherwise the label names the already recovered required-transformation or required-effect claim, actual U.Transformation, functional-view record, method description, TransformationFlowStructure locus, or other exact governed value under its direct pattern. | This lineage supplies no positive FPF kind inference: neither box form nor function wording identifies U.Function or supplies identity evidence for a performed Work occurrence admitted under U.Work. |
| IDEF3 Units-of-Behavior historical recognition lineage (non-authoritative here) | The terminology remains only as wording that may occur in inherited process descriptions. | This lineage supplies no positive FPF kind or relation inference; a Unit-of-Behavior description or label is never identity evidence for a dated Work occurrence admitted under U.Work. |
Inspection contrast. inspection method names the way of doing. planned Pump-14 inspection work is intended-work content. Pump-14 inspection on 2026-07-15 09:10-09:34 becomes an exact performed occurrence only when applying A.15.1 establishes it at the required granularity; otherwise retain the lowered object or blocker. If the current question is whether the work first constituted an inspection-report episteme, apply A.15.PROD and use its local entity-identity-inception claim or exact branch blocker. A measured or diagnostic result uses its direct result rule, and a pass/fail verdict remains a separately governed evaluation-result episteme rather than the inspected entity or a downstream effect.
A.6.P.WMR:5 - Archetypal Grounding
Informative worked examples. Start each case with the ordinary decision and result. Section 5.1 then expands one machining case as the sole author-side relation-declaration replay. Sections 5.2-5.7 retain only the situation, deciding fact or blocker, ordinary result, and stop needed to demonstrate a different branch. These cases add no RFC duty. Their identifiers, relation tokens, and assumed project settlements add no FPF ontology.
A.6.P.WMR:5.1 - Inspection and machining: one ordinary result, one assurance replay
A source says, the inspection report is the result of inspection. First identify report episteme R-17 and ask what it is relative to. If exact inspection application P-17 actually returned R-17 under its declaration-local result predicate, write: Inspection application P-17 returned report R-17. If the current question is when exact Work first constituted the report, apply A.15.PROD. If neither relation is governed, return missing-governor naming R-17, the proposed application or Work participant, proposed predicate, affected use, and absent definition; name a future pattern or declaration need only when one is identifiable. Do not invent WorkResult.
Now a traveler says, raw stock WP-204 and cutting fluid CF-17 are inputs; the machined part and inspection report are outputs of machining. Exact machining Work W-204-MACHINE and continuing workpiece WP-204 are already identified. The ordinary result is:
Applying A.15.1 identifies W-204-MACHINE with affectedReferent WP-204.Cutting-fluid quantity CF-17 was consumed by W-204-MACHINE during I-204 under MachiningWorkConsumesResource.T-WP204-GEOMETRY is the bounded geometry change of continuing WP-204; W-204-MACHINE caused it under MachiningWorkCausesGeometryChange.
The workpiece remains WP-204, not a newly constituted output. A report binding or inception claim stays open until its own application or A.15.PROD basis is present. If the consumption fact fails, the proposed positive fluid claim is factually unsupported; if it is unavailable, return missing-information; if the relation governor is absent, return missing-governor and name the missing machining-resource predicate and its defining pattern or declaration.
A later measurement-result episteme R-204, diagnostic finding, evaluation verdict, or accepted-deliverable claim is a separately governed claim; delivery or physical transfer of continuing WP-204, and transfer or publication of R-204, are separate again. Shared chronology and one machining case entail none of them: each current claim needs its own direct governor and facts.
Author-side assurance replay — the one fully expanded relation-declaration fixture. Exact published relation-declaration episteme MFG-WORK-REL-2026 contains the defining ClaimGraph for these case-local predicates:
| RelationKind | Direct participants and extent | Obtaining condition and applicability |
|---|---|---|
MachiningWorkConsumesResource | exact consumed resource quantity, exact Work individual admitted under U.Work, and Γ_time | the quantity was actually consumed by that Work during the named extent; applicable only to Plant-7 machining Work |
MachiningWorkCausesGeometryChange | exact Work, independently A.3.4-grounded geometry transformation, and governed extent | that Work actually caused that transformation at the extent; applicable only to the named Plant-7 case |
Separately stipulated world-side facts say that CF-17 was consumed by W-204-MACHINE during I-204 and that this Work caused T-WP204-GEOMETRY. The declaration episteme, work and transformation identities, chronology, and assertion epistemes MFG-RU-CF17-W204 and MFG-WC-W204-TWP204 supply none of those facts. The formal replay therefore yields the same ordinary sentences and the same three failure reasons. This is assurance for the result above, not the entry price for reading it.
A.6.P.WMR:5.2 - ETL data: direct participation, then a receiving-use stop
An ETL note says, RawOrders is the source input and WarehouseOrders is the delivered output. Exact Work ETL_Nightly_0811 and both dataset entities under their admitted subject kinds are known. Exact relation-declaration episteme ETL-DATA-REL-2025 contains the defining ClaimGraph for SourceDatasetParticipatesInETLWork and DestinationDatasetParticipatesInETLWork; separate case facts say that RawOrders_0811 and WarehouseOrders_0811 satisfy the declared source-dataset and destination-dataset participant meanings and predicates for that job.
Write: RawOrders_0811 participated as the source dataset in ETL_Nightly_0811, and WarehouseOrders_0811 participated as the destination dataset in ETL_Nightly_0811. Those facts establish neither delivery nor use by analytics. If decision Work D-0811 is now claimed to use WarehouseOrders_0811 as a premise but no premise-use, reference-use, or application-binding governor is available, stop with missing-governor and name the missing analytics-decision predicate and receiving use. This case demonstrates a positive direct relation followed by a distinct blocked receiving use.
Before calling WarehouseOrders_0811 a new output, decide which dataset continues. If the ETL job updates the same dataset in place, identify that dataset’s bounded change under A.3.4. If a derived dataset begins, apply its dataset-identity rule and use A.15.PROD only when the exact inception basis closes. When a catalog entry, lineage view, or publication is the source from which a reader reaches either dataset, use C.2.P to identify the exact source expression, source-to-use path, allowed use, and reopen condition. An E.17 face or form, or an E.24.PUB publication or availability occurrence, neither creates the dataset nor proves that analytics used it. Row-count, quality, latency, and drift results remain separate measurement or evaluation objects; each evaluation names its own criterion and predicate and cites the SubjectPatternLocator for their defining or constraining content.
A.6.P.WMR:5.3 - Clinical work: administration is not a health outcome
A case note says, the patient and dose were inputs; the summary and good outcome were results. Exact clinical Work Appendectomy_Case_8472 has affected referent Patient_8472. Exact relation-declaration episteme MED-ADM-2026 contains the defining ClaimGraph for ClinicalWorkAdministersDoseToPatient; a separate case fact says that MedicineDose_8472 was actually administered during the named interval.
Write: Appendectomy_Case_8472 administered MedicineDose_8472 to Patient_8472 during the named interval. Keep DischargeSummary_8472 as an episteme whose binding or inception needs its own basis. The phrase good outcome names no health-effect relation here, so return missing-governor for the proposed patient effect rather than treating a summary, discharge, or verdict as that effect. This case demonstrates a positive administration claim and an independently blocked downstream effect.
Administration is only one possible relation for MedicineDose_8472. The same medicine quantity may instead be a constituent of an administered preparation or compound therapy, or a resource consumed by the clinical Work; each alternative needs its own exact direct governor and case fact, and the positive administration sentence proves neither. If a patient-state change is current, first identify that exact transformation under A.3.4. Then ask separately whether a declared work-to-patient-change predicate with the exact Work, transformation, applicability, and a satisfying case fact obtains. Administration alone proves neither the change nor that the clinical Work caused it.
Keep a measured value, diagnostic finding, evaluation verdict, and claimed health effect as four different objects or claims. A discharge summary may cite any of them without becoming them. Each current claim names its own participants, temporal extent, predicate, criterion when applicable, and the content that supplies that predicate or criterion; a measurement or diagnosis does not establish a verdict, and a verdict does not establish the patient’s later health effect.
A.6.P.WMR:5.4 - Pump 14: continuing entity and later decision use
A P2W note says, the pressure problem was the input, adjustment was the work, and restored pressure was the result. Keep accepted ProblemCard@Context PC-P14-PRESSURE as the separate problem-side object. Do not say that this accepted pressure-problem claim guided U.WorkPlan WP-P14-2026-07-15: the case supplies no direct relation for that use. Return missing-governor naming the ProblemCard and WorkPlan participants, proposed planning-use predicate, affected planning use, and absent definition; name a future declaration need only if one is identifiable. Do not infer that the problem caused W-P14-ADJUST-1010-1020. A.15.1 identifies that Work; A.3.4 identifies T-P14-PRESSURE-RISE as a bounded change of continuing HydraulicLoop_P14. Exact relation-declaration episteme P14-REL-2026 contains the defining ClaimGraph for AdjustmentWorkCausesPressureRise and MeasurementResultUsedByDecisionWork; separate case facts satisfy both predicates.
Keep four values separate: SetPointAdjustment@PlantOps-v3 is the selected U.Method; an A.3.2 U.MethodDescription episteme carries reusable claims about how that Method is done; WP-P14-2026-07-15 states intended Work; and W-P14-ADJUST-1010-1020 is the dated Work occurrence. Naming any of them neither identifies an additional relation nor makes one obtain, so the unsupported ProblemCard-to-plan guidance claim remains missing-governor.
P14-REL-2026 is available in the current case record. Independently, a separately stipulated world-side fact satisfies its actual-causation predicate, so write: W-P14-ADJUST-1010-1020 caused T-P14-PRESSURE-RISE. In the explicitly earlier case record, P14-REL-2026 is absent; at that epistemic stage, keep that Work and transformation separate and return missing-governor naming both participants, the proposed causation predicate, the affected use, and the absent definition. No receiver or future declaration is required to state that blocker. Separately write: Decision Work D-P14 used measurement-result episteme MR-P14-AFTER as its declared basis. The loop continues; no entity begins, no production-completion criterion is current, and no transformation-composition claim follows. This case demonstrates work-caused change and later epistemic use without a production reading.
A.6.P.WMR:5.5 - Hair styling: a changed referent and an unresolved configuration
A salon record says, hair and gel were inputs; the hairstyle, photo, and satisfaction were outputs. A.15.1 identifies styling Work W-STYLE-27 with affected referent Hair_27; A.3.4 identifies T-HAIR-27 as the arrangement change of that continuing hair. Exact relation-declaration episteme SALON-RESOURCE-USE-2026 contains the defining ClaimGraph for StylingWorkConsumesResource and StylingWorkCausesHairArrangementChange; separate case facts support the work-change claim and, when known, the gel-consumption claim.
Write: Applying A.15.1 identifies W-STYLE-27 with affectedReferent Hair_27, and W-STYLE-27 caused T-HAIR-27 under StylingWorkCausesHairArrangementChange. When the separate consumption fact is present, also write: W-STYLE-27 consumed StylingGel_27 under StylingWorkConsumesResource. Do not yet write EveningArrangement_27 is the resulting configuration: the case has selected neither an A.22 structure, a characteristic-state fact, a relation occurrence, nor a description episteme and therefore has no direct configuration governor. Return that blocker. This case demonstrates a continuing changed entity plus a blocked attempt to turn result into an unnamed configuration kind.
Client_27 is the person receiving the service; Hair_27 is the continuing affected referent. A hair-to-person part claim, a service-recipient claim, or a person-level effect claim needs its own exact direct governor and case fact; naming the client beside the hair establishes none of them. Ordinary styling changes continuing Hair_27 and does not create a new entity. A separately individuated wig, extension, or other artifact may instead open its own identity-inception question under A.15.PROD when its identity rule and inception basis close.
For gel use, distinguish the three stops. With a current StylingWorkConsumesResource governor, a case fact that fails its predicate is factually unsupported, while an unavailable consumption fact is missing-information; an absent conforming declaration, predicate, or applicability condition is missing-governor. A method-description ingredient field or appointment-plan row substitutes for none of those bases. Photo_27 remains separately identified: its identity, photography or record-forming Work, representation of Hair_27, and publication are separate questions. A measured satisfaction response, an evaluation verdict, and any downstream effect of the service likewise require separate predicates and subject patterns; none constitutes the hairstyle or follows from the photo.
A.6.P.WMR:5.6 - Car 42: completion without inception
A finishing note says, the last nut was the input and completed Car 42 was the output. Car 42 already satisfies its identity rule before NutFasteningWork-42. Exact relation-declaration episteme CAR42-WORK-REL-2026 contains the defining ClaimGraph for FastenerParticipatesInFasteningWork and FasteningWorkCausesFastenerChange; separate case facts say that Nut-42-LAST participated and the Work caused the two independently identified fastening transformations.
Write: Nut-42-LAST participated in NutFasteningWork-42 under FastenerParticipatesInFasteningWork, and NutFasteningWork-42 caused the two named fastening transformations under FasteningWorkCausesFastenerChange. Do not open entity inception: the car continues.
For the narrowly bounded finishing use, NutFasteningWork-42 can be the whole Work selected by a local A.15.PROD production-work claim only when the fastening method’s intended production effect and applicability, the exact work-to-change facts, and the current completion facts supply that narrow production basis. For the broader factory use, the same occurrence can be a proper operational part of CarProductionWork-42 only when an exact A.15.1 work-part relation obtains and the containing Work has its own separate production basis. Neither reading supplies the other, and neither proves that the two fastening transformations are parts of one composite transformation.
When completion is current, use exact completion-criterion episteme CAR-COMP-ED-42, its named applicability basis, exact boundary state, and production Work to ask A.15.PROD for the historically indexed completion claim. The suffix ED-42 and the criterion’s publication establish no edition continuity. If a later criterion episteme continues an earlier one, state the separate C.2.1 EpistemeEditionRelation; otherwise treat it as a non-continuing replacement. If Car 42 had already completed earlier, classify the fastening separately as rework, repair, or maintenance. This case demonstrates completion distinct from inception and from automatic criterion lineage.
Production completion establishes neither delivery, acceptance, release, nor Car 42’s present condition. Each current claim needs its own direct governor and facts.
A.6.P.WMR:5.7 - Authoring: a produced explanation, its continuing use, and the next missing fact
An authoring note says, research notes were inputs; the draft was the output handed off to review. The reader needs to decide whether to review an available explanation, finish its construction, or recover a missing basis. This constructed case first obtains a positive answer through the existing suppliers, then changes one fact.
Identify what the author obtained. Under C.2.1, DraftEpisteme_31 has ClaimGraph G31, exact EntityOfConcern PreparationMethodProposal_31, and effective ReferenceScheme StudioPreparation-2026. G31 explains a proposed timing-correction procedure, its independently supplied error bound, and different limits for analysis and viewing. It is an episteme about a proposed way; writing it does not establish that the proposal is an identified Method or that a recording was edited.