UOR Certificates
Imports
https://uor.foundation/op/https://uor.foundation/proof/
Classes
| Name | Subclass Of | Disjoint With | Comment |
|---|---|---|---|
Certificate | Thing | A kernel-produced attestation. The root class for all certificate types. | |
TransformCertificate | Certificate | A certificate attesting to the properties of a morphism:Transform. Certifies that the transform maps source to target correctly. | |
IsometryCertificate | 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 | 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 | TransformCertificate | string | The type of transform this certificate attests to (e.g., 'isometry', 'embedding', 'action'). |
method | Datatype | true | Certificate | string | The verification method used to produce this certificate (e.g., 'exhaustive_check', 'symbolic_proof', 'sampling'). |
operation | Object | true | InvolutionCertificate | Operation | The operation this certificate applies to. |
verified | Datatype | true | Certificate | boolean | Whether this certificate has been verified by the kernel. |
quantum | Datatype | true | Certificate | positiveInteger | The quantum level at which this certificate was produced. |
timestamp | Datatype | true | Certificate | dateTime | The time at which this certificate was issued. |