UOR Certificates

IRI
https://uor.foundation/cert/
Prefix
cert:
Space
bridge
Comment
Kernel-produced attestation certificates for transforms, isometries, and involutions. Each certificate verifies that a specific structural property holds.

Imports

Classes

NameSubclass OfDisjoint WithComment
CertificateThingA kernel-produced attestation. The root class for all certificate types.
TransformCertificateCertificateA certificate attesting to the properties of a morphism:Transform. Certifies that the transform maps source to target correctly.
IsometryCertificateCertificateA certificate attesting that a morphism:Isometry preserves metric distances. Certifies the transform is a metric isometry with respect to the specified metric.
InvolutionCertificateCertificateA certificate attesting that an operation is an involution: f(f(x)) = x for all x in R_n.

Properties

NameKindFunctionalDomainRangeComment
transformTypeDatatypetrueTransformCertificatestringThe type of transform this certificate attests to (e.g., 'isometry', 'embedding', 'action').
methodDatatypetrueCertificatestringThe verification method used to produce this certificate (e.g., 'exhaustive_check', 'symbolic_proof', 'sampling').
operationObjecttrueInvolutionCertificateOperationThe operation this certificate applies to.
verifiedDatatypetrueCertificatebooleanWhether this certificate has been verified by the kernel.
quantumDatatypetrueCertificatepositiveIntegerThe quantum level at which this certificate was produced.
timestampDatatypetrueCertificatedateTimeThe time at which this certificate was issued.