verification result

• CURIE: gmeow:verificationResult
• IRI: https://blackcatinformatics.ca/gmeow/verificationResult
• Category: property
• Defined by: gmeow:slices/attestation
• Box roles: CBox role, RBox role (What is this?)

The result of a verification activity applied to an attestation. Non-functional: multiple verification results may coexist from different verifiers or at different times.

Structure

Property shape: object property; gmeow:Attestation -> gmeow:VerificationResult

Practical Pattern

Use gmeow:verificationResult from gmeow:Attestation to gmeow:VerificationResult when the relationship itself belongs in the native GMEOW graph.

Example Snippets

These snippets are generated from canonical slice examples and trimmed to the Turtle blocks where this term appears.

Software Release

• Source: slices/core/attestation/examples/software-release.ttl
• Examples catalog: open in catalog#example-slices-core-attestation-examples-software-release

# --- The attestation: the CI system vouches for the release as SLSA provenance.
ex:slsaAttestation a gmeow:Attestation ;
    gmeow:attester           ex:ciSystem ;
    gmeow:attestedSubject    ex:release ;
    gmeow:attestationType    gmeow:attestationTypeSLSAProvenance ;
    gmeow:issuedAt           "2026-06-14T12:00:00Z"^^xsd:dateTime ;
    gmeow:attestationArtifact ex:artifact ;
    gmeow:hasSignature       ex:sig ;
    gmeow:verificationResult ex:verifyResult .

Common Companion Terms

gmeow:Attestation, gmeow:VerificationResult

Usage Advice

Use when

• Use to link an attestation to a gmeow:VerificationResult — the outcome perspective, when you care about the verdict (verified, failed, expired) rather than the checking process.

Avoid when

• Avoid for the checking act itself (use gmeow:verificationActivity) and avoid collapsing competing verdicts — results from different verifiers or times coexist (Principle 9), so it is non-functional.

How to use

• Point the Attestation at each gmeow:VerificationResult; read the categorical verdict through gmeow:hasVerificationStatus and keep every coexisting result rather than overwriting the latest one.

Examples

• ex:provAtt gmeow:verificationResult ex:verifyOutcome.