UOR Proofs

IRI
https://uor.foundation/proof/
Prefix
proof:
Space
bridge
Comment
Kernel-produced verification proofs attesting to algebraic properties of UOR objects and operations.

Imports

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

Classes

NameIRISubclass OfDisjoint WithComment
Proofhttps://uor.foundation/proof/Proofhttp://www.w3.org/2002/07/owl#ThingA kernel-produced attestation that a given algebraic property holds. The root class for all proof types.
CoherenceProofhttps://uor.foundation/proof/CoherenceProofhttps://uor.foundation/proof/ProofA proof of coherence: the type system and ring structure are mutually consistent at a given quantum level.
CriticalIdentityProofhttps://uor.foundation/proof/CriticalIdentityProofhttps://uor.foundation/proof/ProofA proof of the critical identity: neg(bnot(x)) = succ(x) for all x in R_n. This is the foundational theorem of the UOR kernel.
WitnessDatahttps://uor.foundation/proof/WitnessDatahttp://www.w3.org/2002/07/owl#ThingSupporting data for a proof: specific examples, counter-examples checked, or intermediate computation results.

Properties

NameKindFunctionalDomainRangeComment
quantumDatatypetruehttps://uor.foundation/proof/Proofhttp://www.w3.org/2001/XMLSchema#positiveIntegerThe quantum level at which this proof was verified.
verifiedDatatypetruehttps://uor.foundation/proof/Proofhttp://www.w3.org/2001/XMLSchema#booleanWhether this proof has been verified by the kernel.
timestampDatatypetruehttps://uor.foundation/proof/Proofhttp://www.w3.org/2001/XMLSchema#dateTimeThe time at which this proof was produced.
witnessObjectfalsehttps://uor.foundation/proof/Proofhttps://uor.foundation/proof/WitnessDataSupporting witness data for this proof.
criticalIdentityDatatypetruehttps://uor.foundation/proof/CriticalIdentityProofhttp://www.w3.org/2001/XMLSchema#stringHuman-readable statement of the critical identity proven. E.g., 'neg(bnot(x)) = succ(x) for all x in R_n'.
xDatatypefalsehttps://uor.foundation/proof/WitnessDatahttp://www.w3.org/2001/XMLSchema#integerA specific input value used as a witness for the critical identity check.
bnot_xDatatypefalsehttps://uor.foundation/proof/WitnessDatahttp://www.w3.org/2001/XMLSchema#integerThe value bnot(x) for a witness x.
neg_bnot_xDatatypefalsehttps://uor.foundation/proof/WitnessDatahttp://www.w3.org/2001/XMLSchema#integerThe value neg(bnot(x)) for a witness x.
succ_xDatatypefalsehttps://uor.foundation/proof/WitnessDatahttp://www.w3.org/2001/XMLSchema#integerThe value succ(x) for a witness x.
holdsDatatypefalsehttps://uor.foundation/proof/WitnessDatahttp://www.w3.org/2001/XMLSchema#booleanWhether the identity neg(bnot(x)) = succ(x) holds for this specific witness.
provesIdentityObjecttruehttps://uor.foundation/proof/Proofhttps://uor.foundation/op/IdentityThe algebraic identity this proof establishes. Provides a canonical object reference alongside the existing proof:criticalIdentity string property, which remains for human readability.