Exemplar S009 — Claims & evidence paired report

`claim-with-vouch-evidence`

Residency claim supported by an SRA-solicitor vouch: vouch evidence caps at eIDAS Low.

Input instance (ABox)

# Diagnostic exemplar — ODR-0004 §8a, IC-only — input to ODR-0009 (Claims, Evidence & Provenance).
# Situation: a residency claim supported by a vouch from a professional adviser (regulated
# solicitor) — qualitatively weaker than document or electronic-record evidence; eIDAS Low.
# Tests vouch-evidence type; Q2 prov:qualifiedAttribution with prov:hadRole for the voucher;
# Q3 assurance-level downgrade for vouch-only evidence.
# Status: ratified. Namespace: https://opda.org.uk/pdtf/ (Session 003b + ADR-0006).
# ODR-0004 status: accepted (council: session-004; wg-decision: session-003b).
# ODR-0009 status: proposed (S009 to ratify).

@prefix opda:    <https://opda.org.uk/pdtf/> .
@prefix opda-x:  <https://opda.org.uk/pdtf/harness/data/exemplar/claim-with-vouch-evidence/> .
@prefix prov:    <http://www.w3.org/ns/prov#> .
@prefix dct:     <http://purl.org/dc/terms/> .
@prefix rdfs:    <http://www.w3.org/2000/01/rdf-schema#> .
@prefix skos:    <http://www.w3.org/2004/02/skos/core#> .
@prefix xsd:     <http://www.w3.org/2001/XMLSchema#> .

opda-x:exemplar
    a opda:DiagnosticExemplar ;
    dct:title "Claim with vouch evidence — SRA-regulated solicitor vouches for residency" ;
    dct:status "ratified" ;
    dct:references <ODR-0009> , <ODR-0006> , <ODR-0004> ;
    skos:scopeNote
        "Tests vouch-evidence type — a person's professional-regulator-licensed adviser confirms the claim via formal attestation. Under S009 Q1 the PROV-O backbone applies but the assurance-level downgrades: vouch-only evidence is eIDAS 'Low' (Q3 SKOS scheme; S011 Quality Region) regardless of voucher quality — confirmation by a regulated professional is corroborative, not authoritative. Q2 qualified attribution: prov:qualifiedAttribution + prov:hadRole opda:Voucher captures the voucher's role. Q7 SHACL-over-PROV: the `sh:xone` dispatch on evidence-type validates voucher-specific properties (regulator-licence-number, attestation-date) without firing for document or electronic-record." .

# The claim — residency assertion
opda-x:claim
    a opda:Claim ;
    rdfs:label "Residency claim: Aaron Patel is resident at 22 Maple Court" ;
    opda:claimType "residency" ;
    opda:claimContent "Aaron Patel resident at 22 Maple Court, Bristol, BS1 5RT for >12 months" ;
    # opda:assuranceLevel "Low" ; -- REMOVED 2026-07-05 (zero PDTF schema
    # basis; see ODR-0009's removal amendment). Historical text preserved.
    prov:wasDerivedFrom opda-x:vouch-attestation ;
    dct:conformsTo <opda:UKPropertyDataTrustFramework> .

# The verification activity (PROV-O backbone)
opda-x:verification-activity
    a prov:Activity , opda:VerificationActivity ;
    rdfs:label "Solicitor vouch verification activity (2024-06-04)" ;
    prov:atTime "2024-06-04T15:42:00Z"^^xsd:dateTime ;
    prov:used opda-x:vouch-attestation ;
    opda:verificationMethod "vouch" .

# The vouch (the evidence) — a formal attestation by a regulated professional
opda-x:vouch-attestation
    a opda:Evidence , prov:Entity ;
    rdfs:label "Solicitor vouch of residency for Aaron Patel (signed 2024-06-04)" ;
    opda:evidenceType <https://opda.org.uk/pdtf/scheme/evidenceMethod/Vouch> ;
    opda:attestedBy opda-x:solicitor-andrea-kessler ;
    opda:voucherRegulator <opda:SRA> ;
    opda:voucherLicenseNumber "SRA-541234" ;
    opda:attestationDate "2024-06-04"^^xsd:date ;
    opda:attestationStatement "I confirm that Aaron Patel has resided at 22 Maple Court, Bristol, BS1 5RT for over 12 months." .

# Qualified attribution — claim attributed via the verifier with explicit voucher Role
opda-x:claim-attribution
    a prov:Attribution ;
    prov:agent opda-x:aaron-patel ;
    prov:hadRole opda:VerifiedResidencySubjectRole .

opda-x:vouch-attribution
    a prov:Attribution ;
    prov:agent opda-x:solicitor-andrea-kessler ;
    prov:hadRole opda:VoucherRole .

opda-x:claim prov:qualifiedAttribution opda-x:claim-attribution , opda-x:vouch-attribution .
opda-x:claim prov:wasGeneratedBy opda-x:verification-activity .

# The claim subject + the voucher
opda-x:aaron-patel
    a opda:Person ;
    rdfs:label "Aaron Patel (claim subject)" .

opda-x:solicitor-andrea-kessler
    a opda:Person , prov:Agent ;
    rdfs:label "Andrea Kessler (voucher; SRA-regulated solicitor)" .

# Cryptographic digest (S009 Q4)
opda-x:claim
    opda:digest "sha256:b94d27b9934d3e08a52e52d7da7dabfac484efe37a5380ee9088f7ace2efcde9" .

Expected SHACL validation report

# claim-with-vouch-evidence-expected-report.ttl — paired SHACL validation report
# Generated by opda-gen 1.0.2; DO NOT HAND-EDIT.
# Specification: https://opda.org.uk/pdtf/harness/adr/ADR-0007-ontology-generator-specification
# Implementation: https://opda.org.uk/pdtf/harness/adr/ADR-0014-baspi5-round-trip-mvp-harness
# Ratifying ODR: ODR-0004 §8a (diagnostic exemplar pairing).
# Comparison is semantic-equivalence (focusNode, resultPath, severity, constraint, message) per tests/baspi5_round_trip/compare_reports.py.

@prefix dct: <http://purl.org/dc/terms/> .
@prefix opda: <https://opda.org.uk/pdtf/> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix sh: <http://www.w3.org/ns/shacl#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

<https://opda.org.uk/pdtf/harness/data/exemplar-reports/report>
    rdf:type sh:ValidationReport ;
    dct:source <https://opda.org.uk/pdtf/harness/data/exemplar/claim-with-vouch-evidence> ;
    sh:conforms "true"^^xsd:boolean .

The full exemplar catalogue and round-trip contract: Exemplars; the shapes this graph validates against: SHACL shapes; the overlay profiles it loads: Overlay profiles.

Input instance (ABox)

Expected SHACL validation report

Related