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
| Name | IRI | Subclass Of | Disjoint With | Comment |
|---|---|---|---|---|
| Certificate | https://uor.foundation/cert/Certificate | http://www.w3.org/2002/07/owl#Thing | A kernel-produced attestation. The root class for all certificate types. | |
| TransformCertificate | https://uor.foundation/cert/TransformCertificate | https://uor.foundation/cert/Certificate | A certificate attesting to the properties of a morphism:Transform. Certifies that the transform maps source to target correctly. | |
| IsometryCertificate | https://uor.foundation/cert/IsometryCertificate | https://uor.foundation/cert/Certificate | A certificate attesting that a morphism:Isometry preserves metric distances. Certifies the transform is a metric isometry with respect to the specified metric. | |
| InvolutionCertificate | https://uor.foundation/cert/InvolutionCertificate | https://uor.foundation/cert/Certificate | A certificate attesting that an operation is an involution: f(f(x)) = x for all x in R_n. |
Properties
| Name | Kind | Functional | Domain | Range | Comment |
|---|---|---|---|---|---|
| transformType | Datatype | true | https://uor.foundation/cert/TransformCertificate | http://www.w3.org/2001/XMLSchema#string | The type of transform this certificate attests to (e.g., 'isometry', 'embedding', 'action'). |
| method | Datatype | true | https://uor.foundation/cert/Certificate | http://www.w3.org/2001/XMLSchema#string | The verification method used to produce this certificate (e.g., 'exhaustive_check', 'symbolic_proof', 'sampling'). |
| operation | Object | true | https://uor.foundation/cert/InvolutionCertificate | https://uor.foundation/op/Operation | The operation this certificate applies to. |
| verified | Datatype | true | https://uor.foundation/cert/Certificate | http://www.w3.org/2001/XMLSchema#boolean | Whether this certificate has been verified by the kernel. |
| quantum | Datatype | true | https://uor.foundation/cert/Certificate | http://www.w3.org/2001/XMLSchema#positiveInteger | The quantum level at which this certificate was produced. |
| timestamp | Datatype | true | https://uor.foundation/cert/Certificate | http://www.w3.org/2001/XMLSchema#dateTime | The time at which this certificate was issued. |