Skip to content

Interface: CertificateBinding

@kortexya/reasoninglayer


@kortexya/reasoninglayer / CertificateBinding

Defined in: src/types/verification.ts:56

What a ProvenSafe certificate is bound to: the claim kind, the checker that issued it, and content hashes of the checked statement and context.

checker: string

Defined in: src/types/verification.ts:60

The checker that issued the certificate.


context: number[]

Defined in: src/types/verification.ts:64

Content hash of the context the statement was checked in, as bytes.


kind: ClaimKind

Defined in: src/types/verification.ts:58

The semantic fragment that was checked.


statement: number[]

Defined in: src/types/verification.ts:62

Content hash of the checked statement, as bytes.