artifacts/standard-named

I.1 Telic Field Profile of W3C PROV

artifacts/standard-named/20260715__TELIC-FIELDS__PROV-PROFILE__WORKING__I-1__telic-field-prov.md

Rendered from markdown source. Open raw source on GitHub.

I.1 Telic Field Profile of W3C PROV

Status: candidate pre-production profile Content canon status: unset

1. Objective

The Telic Field profile reuses W3C PROV for source, activity, agent, derivation, revision, use, and attribution.

It adds constitutional properties that ordinary provenance does not attempt to represent:

  • standing;
  • evidence status;
  • authority operation;
  • consent state;
  • protected conditions;
  • participant recognition;
  • valid and transaction time;
  • contest;
  • propagation;
  • release;
  • consequence.

The profile does not modify the meaning of W3C PROV terms.

2. Candidate namespaces

@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix tf:   <https://example.invalid/telic-field/prov#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .

The example.invalid namespace is intentionally noncanonical.

A production namespace has not been selected.

3. Object mapping

Source and projection

tf:source-1 a prov:Entity ;
    prov:wasAttributedTo tf:participant-1 ;
    tf:evidenceStatus "direct" .

tf:projection-1 a prov:Entity ;
    prov:wasDerivedFrom tf:source-1 ;
    prov:wasGeneratedBy tf:projection-activity-1 ;
    tf:evidenceStatus "direct" ;
    tf:standingType "constitutional" .

Model mirror

tf:mirror-1 a prov:Entity ;
    prov:wasDerivedFrom tf:projection-1 ;
    prov:wasGeneratedBy tf:interpretation-activity-1 ;
    prov:wasAttributedTo tf:model-1 ;
    tf:evidenceStatus "inferred" ;
    tf:participantRecognition "partly" .

Correction

tf:projection-2 a prov:Entity ;
    prov:wasRevisionOf tf:projection-1 ;
    prov:wasGeneratedBy tf:correction-activity-1 ;
    tf:evidenceStatus "direct" .

tf:correction-activity-1 a prov:Activity ;
    prov:used tf:projection-1 ;
    prov:wasAssociatedWith tf:participant-1 ;
    tf:correctionType "source_correction" .

Action and witness

tf:action-1 a prov:Activity ;
    prov:used tf:route-1, tf:gate-1 ;
    prov:wasAssociatedWith tf:authority-agent-1 .

tf:witness-1 a prov:Bundle ;
    prov:hadMember
        tf:source-1,
        tf:projection-1,
        tf:projection-2,
        tf:mirror-1,
        tf:route-1,
        tf:gate-1,
        tf:action-1 .

4. Required extension properties

| Property | Meaning | |---|---| | tf:evidenceStatus | Direct, confirmed, delegated, observed, inferred, generated, retrieved, contested, unknown, stale, expired, revoked, or out of scope | | tf:standingType | Constitutional, legal, operational, temporal, internal representational, or unknown | | tf:authorityOperation | Describe, interpret, recommend, authorize, execute, adjudicate, or witness | | tf:consentState | Requested, active, conditional, declined, withdrawn, expired, contested, unknown, or not applicable | | tf:validFrom / tf:validTo | Represented-world validity | | tf:recordedAt | System transaction time | | tf:protectedCondition | Reference to a currently protected condition | | tf:participantRecognition | Yes, partly, no, out of scope, private, stale, unknown, or not requested | | tf:contestStatus | Current challenge state | | tf:propagationStatus | Status of correction propagation | | tf:omissionProof | Reference to a protected-omission proof | | tf:releaseStatus | Future-authority and lifecycle state | | tf:consequence | Reference to observed consequence |

5. Profile invariants

  1. prov:wasDerivedFrom does not change evidence status automatically.
  2. Repeated derivation never converts inferred into direct.
  3. prov:wasRevisionOf preserves historical lineage.
  4. A current revision does not erase the version that governed an earlier action.
  5. An expired authority entity remains provenance-visible and action-ineligible.
  6. A prov:Bundle may expose different selective-disclosure views.
  7. Provenance completeness does not imply truth, consent, authority, or legitimacy.
  8. Protected omission may replace source disclosure with a scoped attestation or commitment.
  9. Correction propagation must record unreachable material descendants.
  10. A participant export must preserve identifiers, versions, and omission markers independently of the originating model.

6. Event-to-PROV mapping

| I.1 event | PROV pattern | |---|---| | source_registered | Entity attribution | | projection_created | Entity generated by projection activity | | mirror_created | Derived entity generated by interpretation activity | | projection_corrected | Revision entity and correction activity | | route_generated | Route entity generated by planning activity | | gate_evaluated | Gate entity generated by evaluation activity | | action_authorized | Authorization entity or association linked to action | | action_executed | Activity associated with authorized agent | | consequence_recorded | Consequence entity generated by observation activity | | correction_propagated | Revision activity over descendant records | | record_released | Lifecycle activity changing future authority | | record_deleted | Deletion activity with bounded retained proof where permitted |

7. Open questions

  • final namespace ownership;
  • qualified-relation design for authority and consent;
  • representation of protected omission without inference leakage;
  • portable identifier resolution;
  • selective-disclosure serialization;
  • digital signatures;
  • federation and succession;
  • compatibility with domain-specific provenance profiles.

These questions belong to later I-branch increments.