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 a report, proof, dataset, measurement file, standard, requirement, dashboard cell, model card, publication face, generated explanation, or other U.Episteme is being used as evidence, source, status bearer, assurance input, or causal-use input for a claim.

Keywords

  • evidence-use
  • status-use
  • source-use
  • episteme
  • claim
  • provenance.

Relations

A.2.4builds onRole Taxonomy
A.2.4coordinates withEvidence Graph Referring (C-4)
A.2.4coordinates withMulti‑View Publication Kit
A.2.4outline parentRole Taxonomy
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 referenceMulti‑View Publication Kit
A.2.4explicit referenceRole Taxonomy
A.2.4explicit referenceU.WorkPlan: The Schedule of Intent
A.2.4explicit referenceDecision Theory (Decsn-CAL)

Content

Problem Frame

Use this pattern when a report, proof, dataset, measurement file, standard, requirement, dashboard cell, model card, publication face, generated explanation, or other U.Episteme 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 bounded context, claim scope, 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. It is not U.Role, not U.RoleAssignment, and not a system performing work.

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. A document starts acting like an agent, a dataset is treated as if it held a work-facing role, a dashboard status becomes permission, a proof becomes global evidence without a theory fence, or a simulation-only counterfactual output is relabelled as realized causal evidence.

What this buys. A cheap first-use classification that keeps evidence-use and status-use available without turning the episteme into a role holder or letting the classification absorb performed work, a domain result, provenance, currentness, assurance, or receiving reliance.

Not this pattern when. Use A.15.1/A.6.1 for performed work and actual bindings; the exact formal, measurement, causal, diagnostic, conformance, comparison, selection, acceptance, gate, permission, commitment, role, or decision pattern for its local result; 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 name U.EvidenceRole or evidence-like role labels for a real need: an episteme can be used as evidence for a claim inside a bounded context, with scope, polarity, time, assurance use, weight, and provenance constraints. The FPF repair is to model that use as an evidence-use relation, not as a non-behavioral role held by the episteme through U.RoleAssignment.

That creates several failures:

  1. Episteme-as-holder drift. A paper, proof, dataset, standard, or dashboard cell is treated as if it held a work-facing role.
  2. Evidence role ontology drift. ModelFitEvidenceRole, MeasurementEvidenceRole, or AxiomaticProofRole look like role kinds instead of evidence-use relation classifications or local evidence-use labels.
  3. Claim relation collapse. Target claim, grounding holon, claim scope, polarity, relevance window, assurance use, weight model, and provenance constraints are hidden behind one role name.
  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-context leakage. Evidence accepted in one context is reused in another without an explicit bridge, source-currentness relation, or assurance-use statement.

Forces

ForceTension this pattern resolves
Episteme identity versus episteme useThe same episteme can be used for several claims without becoming several epistemes or several role-assignment holders.
Compact evidence statement versus full evidence graphUsers need a small evidence-use statement first; A.10 still owns 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-context reuseEvidence and status use are context-bound; reuse needs bridge, source-currentness, publication-use, or assurance-use relations.
Causal evidence classes versus ordinary evidence relationCausal-use evidence classes need C.28; A.2.4 only keeps the evidence-use relation from becoming a role assignment.

Solution

Do not create or use U.EvidenceRole as a durable role kind. Do not place an episteme in U.RoleAssignment 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
a system, person, team, organization, or acting holon holds a role 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, in which bounded context, with which scope, 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 governor; it does not re-express them as slots of a generic evidence result.

Evidence-Use Relation Slots

An evidence-use relation is a relation around an episteme and a claim or effect. It is not a role assignment.

SlotKindValueKindIdentity and currentness discipline
EvidenceEpistemeSlotexact U.Episteme classified for evidence useIdentity of the classified episteme; not an evidence kind, domain result, or work occurrence.
EvidenceTargetClaimSlotclaim or theory statementIdentity slot whenever the relation is claim-bound; a missing value blocks claim-bound evidence use.
EvidenceClaimGroundingHolonSlotU.Holon grounding the target claim, mirroring C.2.1 GroundingHolonSlotIdentity 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 owns the local disposition and B.3 owns 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; the slot does not establish source work, result, or use.

These SlotKinds are evidence-use relation positions. They are not work-role qualifier slots, not U.Role names, and not new U-kinds by themselves.

Status-Use Relation Slots

A status-use relation is a relation around a bearer, status value, scope, window, source, and use. It is not a status role held by an episteme.

SlotKindValueKindUse
StatusBearerSlotepisteme, claim, method description, publication, role assignment, 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/result pattern retains ownership.
StatusScopeSlotbounded-context scope, claim 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 owns 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 do not create a generic status ontic. They are repair vocabulary for status-use relations in the current role and relation-slot settlement. 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:
  BoundedContext:
  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:

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:

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 first-use classifications, not U.Role values or result kinds.

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 owns entailment, refutation, malformed-proof, timeout, or checker-failure results; C.2.1 owns the episteme that states the result. Proof-checking work is dated U.Work with exact method and bindings. 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. The producing or evaluating occurrence remains dated U.Work under A.15.1 with direct relations or A.6.1 bindings; 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 owns the causal-use question, estimand, support basis, identification, realizability, verdict, supported use, and unsupported use. A.2.4 may classify the exact C.2.1 episteme used at first contact; evidence wording cannot turn simulation-only 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 owns the status value, G.11 owns edition currentness, and a gate, permission, commitment, role, work, assurance, or decision pattern owns 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. the dated source-producing or evaluating work, performer, 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.

A.2.4 owns only the evidence-use or status-use classification around the episteme. A publication face, carrier, graph edge, MethodDescription, plan, compatible signature, result field, or stored reference does not establish work, participation, a domain result, actual use, currentness, or assurance.

When episteme inception through work matters, A.15.PROD supplies the local entity-identity inception claim. A.2.4 introduces no generic work-to-episteme or evidence-use result.

Shortcut cost and reopen condition

A.2.4 is the inexpensive first-use classifier. It may identify the episteme, target claim/status, bounded context, scope, polarity/value, window, intended use, direct governor, and unsupported overread. 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 direct pattern whose fact decides the use: A.15.1/A.6.1 for performed work and bindings, the domain result owner 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 direct owners. A.2.4 classifies the episteme as supporting Theorem-12 inside the theory-version fence. A.10 records source/provenance; later review work 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. Separate evaluation work 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 later C.11 decision work 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 still owns 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 simulationOnlyCounterfactualOutputBasis, model assumptions, validation basis, causal-use verdict, supported use, and unsupported use. A.2.4 cannot relabel the episteme as realized-counterfactual or interventional evidence; producing simulation work, local simulator result, result episteme, provenance, and later reliance remain separate.

Bias-Annotation

This pattern mainly blocks six biases:

  • episteme-as-role-holder bias: an episteme is placed in U.RoleAssignment because it is useful as evidence or status;
  • evidence-name-as-kind bias: local evidence-use labels become U.Role names;
  • 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 role-holder, or generic result kind is created.
CC-A2.4-3 ScopeBounded context, grounding holon, claim/status scope, polarity or value, and relevance/status window are explicit when they change the use.
CC-A2.4-4 WorkAny source-producing, measurement, proof-checking, evaluation, transformation, or receiving work is dated U.Work with role assignment, method, and direct/A.6.1 bindings.
CC-A2.4-5 Local resultThe domain-local result points to its exact formal, measurement, causal, diagnostic, conformance, comparison, selection, acceptance, gate, permission, commitment, role, 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/currentnessA.10/G.6 own source recovery and provenance; G.11 owns 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 owns the bounded RelianceDisposition; B.3 opens 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 owns causal-support classes and verdicts; source wording cannot promote simulation-only or observational evidence.
CC-A2.4-12 Unsupported overreadThe stronger claim not carried by this first-use classification and its reopen condition are stated.

Common Anti-Patterns and How to Avoid Them

Source wordingFailureRepair
"The report has EvidenceRole for Claim A."Puts an episteme into role ontology.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 governing pattern; dashboard display alone is not a decision.
"Simulation output is counterfactual evidence."Simulation-only output is promoted to realized or interventional causal evidence.Use C.28; keep simulationOnlyCounterfactualOutputBasis distinct unless the causal-use pattern admits another value.
"The work run is the evidence role."Work occurrence, local result, result episteme, and later evidence-use are collapsed.Use A.15.1/A.6.1 for dated work and 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 simpler role ontology. Systems and acting holons hold work-facing roles; epistemes are used through evidence-use, status-use, source-use, publication-use, requirement-use, definition-use, explanation-use, assurance-use, and 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 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 without becoming a work-facing role holder. 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 route assurance outward to 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/types, roles, relators/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 U.RoleAssignment holder.External Role, Relator, Situation, or OWL class vocabulary does not import a new FPF kind, replace an obtaining direct relation, or authorize episteme 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/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, or role assignment owned by a neighbouring pattern.

Relations

  • Builds on: A.2 for U.Role, A.2.1 for U.RoleAssignment, A.6.5 for SlotSpec discipline, and C.2.1 for episteme slot relation and episteme identity.
  • 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.15.1/A.6.1 for performed work and actual bindings; A.15.PROD for episteme inception when current; gate, permission, commitment, role, 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 owners: When source wording says "evidence role", "status role", "standard role", or another role-shaped phrase around an episteme, use A.6.RSIR for relation-slot or role-like slot recovery and E.10.ARCH for 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-08-04 — upstream FPF commit 7ba40a95 (github.com/ailev/FPF)