ledger inclusion proof

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

A cryptographic inclusion proof for a transaction, event, or transparency log entry. Domain-free: applies to LedgerTransaction, LedgerEvent, TransparencyLogEntry, and Block.

Structure

Property shape: datatype property; ? -> rdfs:Literal

Practical Pattern

Use gmeow:ledgerInclusionProof from ? to rdfs:Literal when the relationship itself belongs in the native GMEOW graph.

Usage Advice

Use when

• Use to carry the cryptographic inclusion proof (e.g. a Merkle proof) for a ledger transaction, event, block, or transparency-log entry — the domain-free evidence that the record is present in its log or chain.

Avoid when

• Avoid reading a present inclusion proof as correctness — it proves inclusion, NOT real-world truth (module boundaries) — and avoid it for the verdict of checking the proof (that is a gmeow:VerificationResult).

How to use

• Attach the proof literal to the transaction, event, block, or transparency-log entry; the proof is verified in the solver layer (Principle 12), which produces a gmeow:VerificationResult rather than asserting truth.

Examples

• ex:rekorEntry gmeow:ledgerInclusionProof "".