Episteme Evidence-Use and Status-Use Relations

About this pattern

This is a generated FPF pattern page projected from the published FPF source. It is canonical FPF content for this ID; it is not a FPF Reference product feature page.

How to use this pattern

Read the ID, status, type, and normativity first. Use the content for exact wording, the relations for adjacent concepts, and citations to keep active work grounded without pasting the whole specification.

Type: Boundary and relation-use pattern Status: Stable Normativity: Normative

Use this pattern when an episteme, such as a report's content, is being used as evidence, source, status bearer, assurance input, or causal-use input for a claim.

Keywords

  • evidence-use relation
  • status-use relation
  • source-use wording
  • episteme
  • claim
  • provenance
  • role-shaped source phrase.

Relations

A.2.4coordinates withEvidence Graph Referring (C-4)
A.2.4coordinates withTrust and Assurance Calculus
A.2.4coordinates withMulti‑View Publication Kit
A.2.4outline prev siblingU.PromiseContent (Promise Content)
A.2.4explicit referenceEvidence Graph Referring (C-4)
A.2.4explicit referenceEvidence Graph & Provenance Ledger
A.2.4explicit referenceTrust and Assurance Calculus
A.2.4explicit referenceMulti‑View Publication Kit
A.2.4explicit referenceSystem-Role Kinds and Assignments
A.2.4explicit referenceU.WorkPlan: The Schedule of Intent
A.2.4explicit referenceDecision Theory (Decsn-CAL)

Content

Problem Frame

Use this pattern when an episteme, such as a report's content, is being used as evidence, source, status bearer, assurance input, or causal-use input for a claim.

Use it when the working question is:

  • which episteme is being used;
  • which claim, theory statement, status assertion, use, or causal-use question the episteme is being used for;
  • which effective source scheme (when interpretation depends on it), ClaimScope, grounding holon, polarity, relevance window, assurance use, weight model, and provenance constraints are current;
  • whether source wording such as "evidence role", "status role", "standard role", or "the report plays a role" hides an evidence-use, status-use, source-use, publication-use, assurance-use, gate-use, or causal-use relation;
  • whether the evidence-use or status-use relation is sufficiently specified for the intended reliance, or only enough for orientation, source-finding, a reversible probe, or a narrowed use.

Primary EntityOfConcern. The EntityOfConcern is the evidence-use relation or status-use relation around an episteme.

First useful move. Name the exact episteme and the claim or governed status for which it is being used. Then point outward, when current, to the dated producing/evaluating work and actual bindings, domain-local result and direct governor, C.2.1 result episteme, A.10/G.6 provenance, G.11 currentness, receiving work and direct use relation, local RelianceDisposition, and B.3 assurance boundary.

What goes wrong if missed. Producing or evaluating work is attributed to the document itself, a dataset is treated as if it were classified under a work-facing system-role kind, a dashboard status is used as permission, a proof is used outside its theory-version fence, or a simulation-only counterfactual output is relabelled as realized causal evidence.

What this buys. A cheap first-use classification that identifies the episteme and its evidence-use or status-use relation. The further questions in §4.6 are answered through their direct patterns.

Not this pattern when. Use A.13 to identify the actual performer and A.15.1 to admit performed Work independently. If the current result must also identify the assignment under which that Work was performed, check it separately through F.6. Use A.6.1 for actual bindings, and use the exact formal, measurement, causal, diagnostic, conformance, comparison, selection, acceptance, gate, permission, commitment, system-role-kind, assignment, or decision pattern for its local result. Use C.2.1 for the result episteme, A.10/G.6 for provenance and bounded reliance, G.11 for currentness, B.3 for assurance, F.10 or another direct status pattern for status, and E.17 for publication. A.2.4 classifies only the episteme's first evidence-use or status-use.

Problem

Source text may use U.EvidenceRole or another evidence-like role label for a real need: an episteme can be used as evidence for a claim under an effective source scheme and exact ClaimScope, with polarity, time, assurance use, weight, and provenance constraints. Treat those spellings as source-word triggers. The FPF repair states an evidence-use relation; it does not classify the episteme under a system-role kind or place it in a U.SystemRoleAssignment.

Unresolved role-shaped wording can lead to the following failures:

  1. Episteme-as-holder drift. A paper, proof, dataset, standard, or dashboard cell is treated as if it were classified under a work-facing system-role kind or filled the holder position of an assignment.
  2. Evidence-word ontology drift. ModelFitEvidenceRole, MeasurementEvidenceRole, or AxiomaticProofRole is treated as a kind merely because the source label ends in Role, instead of being resolved to an evidence-use relation classification or local evidence-use label.
  3. Claim relation collapse. Target claim, grounding holon, claim scope, polarity, relevance window, assurance use, weight model, and provenance constraints are hidden behind one source label ending in Role.
  4. Evidence and status collapse. A status badge, standard reference, approval-looking display, publication face, or requirement source is treated as evidence, status assertion, gate passage, permission, and assurance at once.
  5. Work confusion. The work that produced an episteme and the later use of that episteme as evidence are folded into one relation.
  6. Causal-use laundering. Observational association, intervention, realized counterfactual sample, identified counterfactual estimate, and simulation-only output are relabelled by evidence-wording instead of being governed by C.28.
  7. Cross-local leakage. Evidence accepted under one source scheme, ClaimScope, and use is reused under another without recovering the changed meaning, source currentness, reliance, or assurance-use conditions and any actual F.9 relation.

Forces

ForceTension this pattern resolves
Episteme identity versus episteme useThe same episteme can be used for several claims while retaining its identity.
Compact evidence statement versus full evidence graphUsers need a small evidence-use statement first; A.10 remains the pattern for full evidence-provenance graph detail.
Formal proof versus empirical evidenceA proof can be stable inside one theory version; empirical evidence usually needs relevance windows, freshness, and provenance constraints.
Status display versus status assertionA visible badge, cell, or label can cue status but does not by itself create permission, gate passage, assurance, or work evidence.
Local acceptance versus cross-local reuseEvidence and status use are bounded by their source scheme, ClaimScope, window, and intended use; reuse recovers the changed values and any required F.9, source-currentness, publication-use, reliance, or assurance-use relation.
Causal evidence classes versus ordinary evidence relationCausal-use evidence classes need C.28; A.2.4 keeps the evidence-use relation from being misread as a system-role kind or assignment.

Solution

Do not create or use source spelling U.EvidenceRole as a durable FPF kind. Do not place an episteme in U.SystemRoleAssignment merely because it is used as evidence, source, standard, requirement, definition, explanation, publication, status bearer, or assurance input.

Use direct relation patterns instead:

Current claimUse
one episteme is used as evidence for one claim, effect, or bounded reliance useA.10, with the A.2.4 evidence-use SlotKinds below
evidence use contributes to assurance, trust, readiness, compliance, safety, release confidence, F, G, R, or CLB.3, after A.10 source/provenance recovery and bounded-reliance classification; A.2.4 supplies only the first-use classification
the episteme itself is being identified, versioned, or distinguished from publication faces and publication carriersC.2.1
the use is causal, counterfactual, intervention-facing, or simulation-onlyC.28, with the A.10 descriptive source/provenance path and the A.2.4 first-use classification as inputs
the source says "status", "approved", "current", "valid", "stale", "ready", or another status-like valueF.10, A.10, B.3, a gate pattern, or a direct status pattern
the source is a publication face, view, description, source citation, standard, requirement, explanation, or specification-use caseE.17, E.17.0, E.17.2, E.17.EFP, E.10.D2, or the direct source-use pattern
an admitted system is classified under an exact local system-role kind, holds an obtaining assignment, and performs or prepares WorkA.2, A.2.1, A.15, A.15.1, or A.15.2

First-use split

An A.2.4 assertion answers only: which episteme is classified for which evidence-use or status-use, under which effective source scheme when interpretation matters, with which ClaimScope, polarity or status value, and window. When source production, evaluation, a local result, result episteme, provenance, currentness, receiving work, reliance, or assurance matters, the assertion names the direct object and the pattern passage that defines or constrains its claim; it does not re-express them as slots of a generic evidence result.

Evidence-Use Relation Slots

An evidence-use relation obtains around an episteme and a claim or effect.

SlotKindValueKindIdentity and currentness discipline
EvidenceEpistemeSlotexact U.Episteme classified for evidence useIdentity of the classified episteme.
EvidenceTargetClaimSlotclaim or theory statementIdentity slot whenever the relation is claim-bound; a missing value blocks claim-bound evidence use.
EvidenceClaimGroundingHolonSlotexact U.Holon that participates in an obtaining C.2.1 EpistemeEmpiricalGroundingRelation covering the target claimIdentity or currentness-required when changing the grounding holon changes the evidence relation or the claim being evidenced.
EvidenceClaimScopeSlotclaim-scope value governed by B.3, A.10, C.28, or a direct evidence patternIdentity qualifier when changing scope changes the relation; currentness-required when scope changes admissible use.
EvidencePolaritySlotevidential polarity value such as supports, refutes, constrains, or neutral when that value set is currentIdentity qualifier when changing polarity changes which evidence-use relation is asserted.
EvidenceRelevanceWindowSlottemporal relevance window, theory-version fence, freshness policy, or decay policyIdentity or currentness-required when time, version, or freshness changes the evidence use; consideration slot for formal uses where the theory-version fence already carries the boundary.
EvidenceAssuranceUseSlotthe named bounded reliance or assurance-facing useRecords the intended receiving use only; A.10 is the pattern for the local disposition and B.3 is the pattern for any assurance result.
EvidenceWeightModelSlotweight, confidence, reliability, likelihood, or scoring model referenceConsideration slot; currentness-required when weighted evidence is claimed.
EvidenceProvenanceConstraintSlotrefs to the exact A.10/G.6 source and provenance accountCurrentness-required when provenance or a rival explanation decides admissible use.

These SlotKinds are evidence-use relation positions.

Status-Use Relation Slots

A status-use relation is a relation around a bearer, status value, scope, window, source, and use.

SlotKindValueKindUse
StatusBearerSlotepisteme, claim, method description, publication, system-role-assignment occurrence, work occurrence, clause, gate record, or another governed bearer admitted by the direct patternThe value whose status is being asserted or read.
StatusTargetSlotclaim, method, episteme, publication, exact domain result or result episteme, clause, bearer, or another governed status targetRequired when the status is not simply about the bearer itself; the direct status or result pattern defines it.
StatusScopeSlotclaim scope, admission scope, requirement scope, or use scopeCurrentness-required when scope changes the status assertion.
StatusValueSlotstatus value governed by F.10 or a direct patternRequired for a status assertion.
StatusWindowSlottemporal validity window, freshness policy, or source/status windowRequired for time-sensitive use; G.11 is the pattern for an edition-currentness result when currentness is being judged.
StatusUseSlotgate, assurance, admission, source-currentness, work-plan readiness, or another exact receiving useIdentifies the intended use; its receiving work, direct relation, and result remain with their governors.
StatusProvenanceConstraintSlotsource order, authority source, publication, proof, verification, register, or provenance constraintCurrentness-required when provenance decides status use.

These names are repair vocabulary for status-use relations. Durable status families remain governed by F.10 or a direct status pattern.

Minimal Evidence-Use Statement

Write only fields that decide this first use:

Episteme evidence-use statement:
  EvidenceEpisteme:
  EffectiveReferenceScheme:              # when interpretation changes the use
  EvidenceTargetClaim:
  ClaimScopeAndPolarity:
  RelevanceWindow:
  DirectClaimOrResultGovernor:
  ProducingOrEvaluatingWorkRef:        # when current
  DomainLocalResultAndEpistemeRef:     # when current
  ProvenancePathRef:                   # A.10/G.6 when current
  CurrentnessRef:                      # G.11 when current
  ReceivingWorkAndUseRelationRef:      # when actual use is claimed
  RelianceDispositionRef:              # A.10 when reliance is judged
  UnsupportedOverread:                # only when grounded and consequential under F.19:4

Minimal Status-Use Statement

Episteme status-use statement:
  StatusBearer:
  StatusTarget:
  StatusScope:
  StatusValue:
  StatusWindow:
  DirectStatusGovernor:
  SourceAndProvenanceRef:
  CurrentnessRef:                      # G.11 when current
  ReceivingWorkAndUseRelationRef:      # when actual use is claimed
  RelianceDispositionRef:              # A.10 when reliance is judged
  UnsupportedOverread:                # only when grounded and consequential under F.19:4

A.2.4 does not fill a missing direct governor with a generic status, evidence, work-result, or evaluation-result relation.

Formal, empirical, causal, and status first uses

Source labels such as AxiomaticProofRole, ObservationEvidenceRole, MeasurementEvidenceRole, ModelFitEvidenceRole, CalibrationEvidenceRole, and BenchmarkEvidenceRole are wording triggers. Recover the exact first-use classification or relation; the labels are neither local system-role kinds nor result kinds by spelling.

Formal line. Classify the exact proof, derivation, counterexample, theory note, or proof-result episteme against the named theorem and theory-version fence. The formal pattern contains the defining content for entailment, refutation, malformed-proof, timeout, or checker-failure results; C.2.1 is the pattern for the episteme that states the result. When proof-checking is asserted as dated U.Work, use A.13 to identify the actual performer and A.15.1 to admit the occurrence independently. If the proof-checking account must also identify the assignment under which the Work was performed, check that relation separately through F.6. Keep the Method and bindings separate. A.2.4 states only how the episteme is used.

Empirical and measurement line. Classify the exact dataset, observation episteme, C.16 measurement-result episteme, replication result, calibration result, benchmark result, or model-fit result episteme against one named claim. For any producing or evaluating Work, use A.13 to identify the actual performer and A.15.1 to admit the dated occurrence independently. If that account must also identify the assignment under which the Work was performed, check it separately through F.6. Keep direct relations or A.6.1 bindings separate. Each local result remains with C.16 or its exact domain governor; A.10/G.6 retain provenance; G.11 retains currentness.

Causal line. C.28 is the pattern for the causal-use question, estimand, separate evidence/identification/estimate/sampling/simulation components, realizability, support result, supported use, and unsupported use. A.2.4 may classify the exact C.2.1 episteme used at first contact; evidence wording cannot turn simulator output into interventional or realized-counterfactual evidence.

Status line. A visible status carrier is classified separately from the governed status assertion. F.10 or the exact status pattern contains the defining content for the status value, G.11 is the pattern for edition currentness, and a gate, permission, commitment, system-role-kind, assignment, Work, assurance, or decision pattern contains the defining content for its own result. Display presence establishes none of them.

Work, result, provenance, and receiving-use boundary

Keep these objects separately recoverable whenever they are current:

  1. the classified episteme and the exact claim or status for which it is used;
  2. each actual performer identified through A.13; the dated source-producing or evaluating Work independently admitted through A.15.1; a separate F.6 check when the result must also identify the assignment under which that Work was performed; and separate Method, resources, and actual direct/A.6.1 bindings;
  3. the domain-local result and its direct governor;
  4. the distinct C.2.1 episteme that states that result;
  5. the A.10/G.6 source and provenance path;
  6. the G.11 currentness result when currentness affects use;
  7. the receiving dated work and exact premise, reference, decision-use, operation-argument, or other direct use relation; and
  8. the local A.10 RelianceDisposition, with B.3 entered only for an assurance claim or material reliance.

Use A.2.4 only to classify evidence use or status use around the episteme.

When episteme inception through work matters, A.15.PROD supplies the local entity-identity inception claim.

Shortcut cost and reopen condition

A.2.4 is the inexpensive first-use classifier. It may identify the episteme, target claim or status, effective source scheme when material, ClaimScope, polarity or value, window, intended use, applicable definition or constraint, and any unsupported overread grounded under F.19:4. It does not decide the source work, local result, provenance, currentness, assurance, causal support, gate passage, permission, commitment, publication interpretation, or receiving action.

Open only the exact subject question whose predicate decides the use: A.13 for the actual performer; A.15.1 for independent Work admission; F.6 when the result must also identify the assignment under which that Work was performed; A.6.1 for actual bindings; the domain result predicate plus C.2.1 for result content; A.10/G.6 for provenance and bounded reliance; G.11 for currentness; B.3 for assurance; C.28 for causal use; F.10 for a status family; or E.17 for publication. Reopen the A.2.4 classification when the episteme, target claim/status, scope, polarity/value, window, or intended use changes.

Archetypal Grounding

Proof result used as evidence

ProofResult-12 is a C.2.1 episteme stating an entailment under GraphTheory_v3.1. Dated checker work, its method, theory and proof bindings, and the formal entailment result are recovered under their subject patterns. A.2.4 classifies the episteme as supporting Theorem-12 inside the theory-version fence. A.10 records source/provenance; in later review work, a reviewer uses the episteme through an exact premise relation. Timeout or checker failure would remain distinct from refutation.

Measurement result used in acceptance

PressureResult-E is the C.16 measurement-result episteme for gas pressure at port P. It states the measurand, Characteristic, Scale, value, uncertainty, model, calibration basis, time stance, and dated measurement work. A.2.4 classifies it as evidence used for the exact pressure-limit claim. In separate evaluation work, an evaluator applies the G.4 clause through A.6.1 bindings and obtains unknown; a different C.2.1 episteme states that verdict. A.10/G.6 preserve provenance, G.11 currentness, and in later C.11 decision work, a decision-maker relies on the verdict episteme. Raw detector output, indication, pressure state, measurement result, verdict, and decision remain distinct.

Dashboard status cell

A release dashboard displays Ready. A.2.4 may classify the cell as a status-use carrier for one named status assertion. The source register, scope, window, status value, G.11 currentness, and provenance must be recoverable. A.21 remains the pattern for any gate decision, C.11 any release decision, A.2.8.PER any permission, A.15.1 any performed work, and B.3 any assurance claim. A copied or stale cell establishes none of them.

Simulation-only output

A simulation-output episteme is classified for one bounded C.28 claim. C.28 retains simulationResultRef, model assumptions, validation, the causal-use support result, supported use, and unsupported use. A.2.4 cannot relabel the episteme as realized-counterfactual or interventional evidence; simulation Work, simulator result, result episteme, provenance, and later reliance remain separate.

Bias-Annotation

This pattern mainly blocks six biases:

  • episteme-as-system-role-holder bias: an episteme is placed in U.SystemRoleAssignment because it is useful as evidence or status;
  • evidence-name-as-kind bias: an evidence-use label ending in Role is treated as a local system-role kind without a C.3 identity basis and membership criterion;
  • status-display-as-authority bias: a visible badge or status cell becomes gate passage, permission, or assurance;
  • work-as-evidence-use collapse: producing work, produced episteme, and later evidence use are treated as one relation;
  • scope-free evidence bias: target claim, grounding holon, claim scope, polarity, time, assurance use, or provenance constraints are omitted;
  • causal laundering bias: causal evidence classes are changed by source vocabulary rather than by C.28 causal-use reasoning.

The repair is to recover the episteme first, then recover the evidence-use, status-use, source-use, publication-use, assurance-use, or causal-use relation that is current.

Conformance Checklist

CheckPass condition
CC-A2.4-1 First-use objectOne exact episteme and one target claim or governed status assertion are named.
CC-A2.4-2 Admitted jobThe statement is only an evidence-use or status-use classification; no U.EvidenceRole, episteme-as-system-role-kind classification, assignment holder, or generic result kind is created.
CC-A2.4-3 Scope and interpretationEffective source scheme when material, grounding holon, claim or status scope, polarity or value, and relevance or status window are explicit when they change the use.
CC-A2.4-4 WorkFor any source-producing, measurement, proof-checking, evaluation, transformation, or receiving Work, A.13 identifies the actual performer and A.15.1 independently admits the dated occurrence. Add F.6 only when the result must also identify the assignment under which that Work was performed. The Method and direct-relation or A.6.1 bindings remain separate.
CC-A2.4-5 Local resultThe domain-local result points to its exact formal, measurement, causal, diagnostic, conformance, comparison, selection, acceptance, gate, permission, commitment, system-role-kind, assignment, or decision governor.
CC-A2.4-6 Result epistemeThe C.2.1 episteme that states the local result remains distinct from that result, carrier, and work.
CC-A2.4-7 Provenance/currentnessUse A.10 and G.6 for source recovery and provenance; use G.11 for currentness when it affects use.
CC-A2.4-8 Receiving useThe later dated work and exact premise/reference/decision-use/operation-argument relation are named; citation or availability does not establish actual use.
CC-A2.4-9 Reliance/assuranceA.10 defines the bounded RelianceDisposition; use B.3 only for an assurance claim or material reliance.
CC-A2.4-10 Publication/displayPublication face, generated explanation, credential view, evidence profile, ledger edge, or dashboard cell does not establish status, result, work, gate, permission, or decision by presence.
CC-A2.4-11 Causal boundaryC.28 is the pattern for causal-support components and results; source wording cannot promote simulation or observational evidence.
CC-A2.4-12 Unsupported overreadState the stronger claim not carried by this first-use classification and its reopen condition only when that warning passes F.19:4's full independent-ground, plausible-reader, contribution, and smallest-clear-correction test.

Common Anti-Patterns and How to Avoid Them

Source wordingFailureRepair
"The report has EvidenceRole for Claim A."Treats a source label as a system-role kind or assignment without recovering the actual relation.Use an evidence-use relation with EvidenceEpistemeSlot, EvidenceTargetClaimSlot, scope, polarity, window, and provenance constraints when current.
"Dataset X proves safety."Treats dataset presence as proof, assurance, and safety claim.Use A.10 for evidence, B.3 for assurance or safety assurance, and name unsupported attempted use.
"The standard has normative role."Role word hides standard-use, requirement-use, source-use, or publication-use.Recover the relation governed by the current claim and apply E.10.D2, E.17, F.10, or the direct requirement pattern.
"The badge is current, so release is allowed."Status display becomes gate passage or permission.Use status-use relation plus gate or release subject pattern; dashboard display alone is not a decision.
"Simulation output is counterfactual evidence."Simulator output is promoted to realized or interventional causal evidence.Use C.28; keep simulationResultRef, model assumptions, validation, and bounded supported/unsupported use distinct from empirical, identification, estimate, and direct-sampling results.
"The work run is the evidence role."Work occurrence, actual performer, assignment check, local result, result episteme, and later evidence-use are collapsed.Use A.13 for the actual performer and A.15.1 for independent admission of the dated Work. Add F.6 only if the use must also identify the assignment under which the Work was performed. Use A.6.1 for actual bindings, the domain pattern for the local result, C.2.1 for its episteme, A.10/G.6 for provenance, and A.2.4 only for first-use classification.

Consequences

The positive consequence is a smaller ontology and clearer use. Admitted systems may be classified under exact local system-role kinds and may hold obtaining system-role assignments; epistemes are instead used through direct evidence-use, status-use, source-use, publication-use, requirement-use, definition-use, explanation-use, assurance-use, or causal-use relations.

The cost is explicit relation recovery. A phrase such as "evidence role", "status role", "standard role", "proof role", or "benchmark role" no longer closes the claim. The user needs to recover which episteme, claim, scope, status, time window, provenance constraint, and direct pattern are current.

The payoff is that one episteme can be reused honestly across many claims. Each use can have a different target claim, grounding holon, scope, polarity, relevance window, assurance use, weight model, or provenance constraint without multiplying system-role kinds.

Rationale

Evidence-use and status-use remain admitted first-use relation positions because one episteme can be classified for different claims or governed statuses. The classification points outward to, and never replaces, performed Work, the domain-local result, the C.2.1 result episteme, provenance, currentness, receiving reliance, or assurance.

SoTA-Echoing

Source qualification was checked against the publishers' current surfaces on 2026-07-30. It remains qualified through 2027-07-30 unless a Recommendation, specification/tag, assurance standard, online causal edition, or adopted foundational-ontology account changes earlier. Only sources that change A.2.4's first-use classifier are decision-governing; other lineage examples remain non-governing.

Exact source and source-use decisionVisible A.2.4 mutationRejected overreadSmallest source-change replay
C2PA Content Credentials 2.4, April 2026, W3C Verifiable Credentials Data Model 2.0, Recommendation 15 May 2025, SLSA 1.2, and in-toto Attestation Framework 1.2 with Statement/v1adapt their subject, issuer/producer, verifier, proof/status, time, input, and relying-context separations.EvidenceProvenanceConstraintSlot, StatusProvenanceConstraintSlot, the dashboard-status case, and CC-A2.4-7/10 require the exact source/status/proof relation while keeping first-use classification separate from provenance and currentness.A valid credential, manifest, signature, attestation, SLSA level, or displayed status does not become truth, permission, gate passage, work, result, or assurance.Reopen only those two provenance-constraint SlotKinds, the dashboard-status case, and CC-A2.4-7/10 when one adopted source changes subject, status, proof, verifier, or version semantics.
ISO/IEC/IEEE 15026-2:2022, Systems and software assurance — Part 2: Assurance caseadapt the separation between cited evidence and the structure/maintenance of an assurance case.EvidenceAssuranceUseSlot, §4.6 object 8, and CC-A2.4-9 handle assurance outward under B.3 after A.10 provenance/reliance recovery.Evidence presence, a confidence label, or an A.2.4 classification is not an assurance claim, safety result, readiness result, compliance result, or release confidence.Reopen only EvidenceAssuranceUseSlot, §4.6 item 8, the measurement-use case's assurance exit, and CC-A2.4-9 if the adopted assurance-case structure or maintenance boundary changes.
Hernán and Robins, Causal Inference: What If, 2020 book, online 26 April 2024 editionadapt the explicit separation of observational data, interventions, target-trial questions, counterfactual outcomes/estimands, identification assumptions, and realized results; C.28 retains the actual value set and verdict.§4.5's causal line, the simulation-only case, and CC-A2.4-11 prevent first-use wording from promoting observational association or simulation output into interventional or realized-counterfactual evidence.A causal label, model, target-trial analogy, or simulated counterfactual does not establish intervention, identification, realized outcome, or a causal-use verdict.Reopen only §4.5's causal line, the simulation-only case, and CC-A2.4-11 if the adopted evidence-class or target-trial boundary changes.
Guizzardi et al., UFO: Unified Foundational Ontology, Applied Ontology 17(1), 2022adapt only its distinctions among kinds and types, roles, relators and relations, events, and situations as an anti-collapse comparator. The gUFO usage specification and Almeida et al., gUFO: A Gentle Foundational Ontology for Semantic Web Knowledge Graphs, 2026 preprint, are watch-only implementation evidence, not additional A.2.4 authority.§4.0, §4.1/4.2 SlotKind boundaries, and CC-A2.4-2 keep an episteme in a relation position without making it a new U-kind or a work-facing system-role-assignment holder.External Role, Relator, Situation, or OWL class vocabulary does not import a new FPF kind, replace an obtaining direct relation, or authorize an episteme system-role assignment.Reopen only the §4.0 anti-collapse sentence, the affected SlotKind boundary, the proof-result first-use case, and CC-A2.4-2 if the adopted role and relation-position distinction changes.

Source refresh is local: replay the row's named SlotKind or rule, one case, and checklist locus before widening. A changed source cannot by itself alter the domain-local result, Work, provenance, currentness, assurance, causal verdict, local system-role kind, or system-role assignment handled under a neighboring subject pattern.

Relations

  • Builds on: A.2 for exact local system-role kinds, A.2.1 for U.SystemRoleAssignment, A.6.5 for SlotSpec discipline, and C.2.1 for episteme identity and its distinct constitution, empirical-grounding, and edition relations.
  • Coordinates with: A.10 and G.6 for descriptive source/provenance paths; G.11 for currentness; B.3 for assurance; C.28 for causal-use results; F.10 for status families; C.2.1 for result epistemes; exact domain patterns for local results; and E.17/E.10.D2 for publication, view, explanation, and description-use cases.
  • Separates from: A.13 for actual performers; A.15.1 for independently admitted performed Work; F.6 when a receiving result must also identify the assignment under which that Work was performed; A.6.1 for actual bindings; A.15.PROD for episteme inception when current; gate, permission, commitment, system-role-kind, assignment, measurement, formal, diagnostic, conformance, comparison, selection, acceptance, causal, and decision patterns for their local results; and receiving-work patterns for actual later use.
  • Precision-restoration route: When source wording says "evidence role", "status role", "standard role", or another role-shaped phrase around an episteme, use E.10.ROLE to recover the governed object or relation. Use A.6.RSIR only when the result is a relation participant meaning, declaration place, interface place, or representation position; use E.10.ARCH for the wider ontology-first repair architecture.

Lowering, Repair, and Refresh

Lower an attempted A.2.4 use when the episteme is known but the target claim, scope, polarity, status value, time window, or provenance constraints are not recoverable. The lowered result may be source-finding, orientation, an evidence-needed note, a status-source request, or a narrowed reliance use.

Repair the use when a neighboring object is current: dated work and actual bindings, a domain-local result, its C.2.1 episteme, source/provenance, G.11 currentness, receiving work and direct use, A.10 reliance, B.3 assurance, gate passage, permission, commitment, publication, requirement, definition, or explanation.

Refresh the use when the episteme edition, target claim, grounding holon, claim scope, theory version, relevance window, source-currentness relation, status source, proof check, measurement trace, method description, or assurance-use relation changes.

A.2.4:End


Last Updated: 2026-09-10 — upstream FPF commit a87d0ef4 (github.com/ailev/FPF)