Verification Activity

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

An activity that checks a signature, attestation, artifact, or ledger inclusion proof — performed by a verifier agent or software. The outcome is a gmeow:VerificationResult, not a global truth assertion.

Structure

Subclass of: gmeow:Activity

Practical Pattern

Use gmeow:VerificationActivity as a specialized kind of gmeow:Activity. Add statement metadata or a standpoint when the assertion needs provenance, confidence, or vantage.

Common Companion Terms

gmeow:Activity

External Equivalences

Equivalent or closely aligned targets: dqv, prov

Linkages

Generated from the canonical mapping DSL. SSSOM files are the generated public interchange form for term equivalences.

Term Equivalences

Usage Advice

Use when

• Use to model the ACT of checking an attestation, signature, or inclusion proof — the event a verifier (agent or software) performs — when you need the checking process with its inputs, agent, and time as a first-class occurrent.

Avoid when

• Avoid for the categorical outcome of the check (that is gmeow:VerificationResult / gmeow:VerificationStatus) and for the vouching act being checked (gmeow:Attestation); the activity is the checking, not the verdict or the thing checked.

How to use

• Mint the activity, link it from the Attestation with gmeow:verificationActivity, attribute it to a verifier with gmeow:wasAttributedTo, and let it produce a gmeow:VerificationResult; the cryptographic and policy checks themselves run in the solver layer (Principle 12).

Examples

• ex:verifyRun a gmeow:VerificationActivity; gmeow:wasAttributedTo ex:ciVerifier.