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

  • https://uor.foundation/op/
  • https://uor.foundation/proof/

Classes

NameIRISubclass OfDisjoint WithComment
Certificatehttps://uor.foundation/cert/Certificatehttp://www.w3.org/2002/07/owl#ThingA kernel-produced attestation. The root class for all certificate types.
TransformCertificatehttps://uor.foundation/cert/TransformCertificatehttps://uor.foundation/cert/CertificateA certificate attesting to the properties of a morphism:Transform. Certifies that the transform maps source to target correctly.
IsometryCertificatehttps://uor.foundation/cert/IsometryCertificatehttps://uor.foundation/cert/CertificateA certificate attesting that a morphism:Isometry preserves metric distances. Certifies the transform is a metric isometry with respect to the specified metric.
InvolutionCertificatehttps://uor.foundation/cert/InvolutionCertificatehttps://uor.foundation/cert/CertificateA certificate attesting that an operation is an involution: f(f(x)) = x for all x in R_n.

Properties

NameKindFunctionalDomainRangeComment
transformTypeDatatypetruehttps://uor.foundation/cert/TransformCertificatehttp://www.w3.org/2001/XMLSchema#stringThe type of transform this certificate attests to (e.g., 'isometry', 'embedding', 'action').
methodDatatypetruehttps://uor.foundation/cert/Certificatehttp://www.w3.org/2001/XMLSchema#stringThe verification method used to produce this certificate (e.g., 'exhaustive_check', 'symbolic_proof', 'sampling').
operationObjecttruehttps://uor.foundation/cert/InvolutionCertificatehttps://uor.foundation/op/OperationThe operation this certificate applies to.
verifiedDatatypetruehttps://uor.foundation/cert/Certificatehttp://www.w3.org/2001/XMLSchema#booleanWhether this certificate has been verified by the kernel.
quantumDatatypetruehttps://uor.foundation/cert/Certificatehttp://www.w3.org/2001/XMLSchema#positiveIntegerThe quantum level at which this certificate was produced.
timestampDatatypetruehttps://uor.foundation/cert/Certificatehttp://www.w3.org/2001/XMLSchema#dateTimeThe time at which this certificate was issued.