use crate::enums::AchievabilityStatus;
use crate::enums::ProofStrategy;
use crate::enums::VerificationDomain;
use crate::enums::WittLevel;
use crate::HostTypes;
pub trait Proof<H: HostTypes> {
fn verified(&self) -> bool;
fn timestamp(&self) -> &H::WitnessBytes;
type WitnessData: WitnessData<H>;
fn witness(&self) -> &[Self::WitnessData];
type Identity: crate::kernel::op::Identity<H>;
fn proves_identity(&self) -> &Self::Identity;
fn verified_at_level(&self) -> &[WittLevel];
fn strategy(&self) -> ProofStrategy;
fn depends_on(&self) -> &[Self::Identity];
type DerivationTerm: DerivationTerm<H>;
fn formal_derivation(&self) -> &Self::DerivationTerm;
}
pub trait CoherenceProof<H: HostTypes>: Proof<H> {}
pub trait ComputationCertificate<H: HostTypes>: Proof<H> {
fn at_witt_level(&self) -> WittLevel;
}
pub trait AxiomaticDerivation<H: HostTypes>: Proof<H> {
fn universal_scope(&self) -> bool;
type Derivation: crate::bridge::derivation::Derivation<H>;
fn derivation_witness(&self) -> &[Self::Derivation];
}
pub trait CriticalIdentityProof<H: HostTypes>: ComputationCertificate<H> {}
pub trait WitnessData<H: HostTypes> {
fn x(&self) -> &[i64];
fn bnot_x(&self) -> &[i64];
fn neg_bnot_x(&self) -> &[i64];
fn succ_x(&self) -> &[i64];
fn holds(&self) -> &[bool];
}
pub trait ImpossibilityWitness<H: HostTypes>: Proof<H> {
fn impossibility_reason(&self) -> &H::HostString;
fn impossibility_domain(&self) -> VerificationDomain;
fn achievability_status(&self) -> AchievabilityStatus;
}
pub trait MorphospaceRecord<H: HostTypes> {
fn boundary_type(&self) -> AchievabilityStatus;
}
pub trait MorphospaceBoundary<H: HostTypes> {
type MorphospaceRecord: MorphospaceRecord<H>;
fn morphospace_record(&self) -> &[Self::MorphospaceRecord];
}
pub trait InductiveProof<H: HostTypes>: Proof<H> {
type Proof: Proof<H>;
fn base_case(&self) -> &Self::Proof;
fn inductive_step(&self) -> &Self::Proof;
fn valid_for_kat_least(&self) -> u64;
}
pub trait DerivationTerm<H: HostTypes> {}
pub trait TacticApplication<H: HostTypes>: DerivationTerm<H> {}
pub trait LemmaInvocation<H: HostTypes>: DerivationTerm<H> {}
pub trait InductionStep<H: HostTypes>: DerivationTerm<H> {}
pub trait ComputationStep<H: HostTypes>: DerivationTerm<H> {}
pub trait InhabitanceImpossibilityWitness<H: HostTypes>: ImpossibilityWitness<H> {
fn contradiction_proof(&self) -> &H::HostString;
type ConstrainedType: crate::user::type_::ConstrainedType<H>;
fn grounded(&self) -> &Self::ConstrainedType;
type InhabitanceSearchTrace: crate::bridge::trace::InhabitanceSearchTrace<H>;
fn search_trace(&self) -> &Self::InhabitanceSearchTrace;
}
#[derive(Debug, Clone, Copy, PartialEq, Eq, Hash)]
pub struct NullProof<H: HostTypes> {
_phantom: core::marker::PhantomData<H>,
}
impl<H: HostTypes> Default for NullProof<H> {
fn default() -> Self {
Self {
_phantom: core::marker::PhantomData,
}
}
}
impl<H: HostTypes> NullProof<H> {
pub const ABSENT: NullProof<H> = NullProof {
_phantom: core::marker::PhantomData,
};
}
impl<H: HostTypes> Proof<H> for NullProof<H> {
fn verified(&self) -> bool {
false
}
fn timestamp(&self) -> &H::WitnessBytes {
H::EMPTY_WITNESS_BYTES
}
type WitnessData = NullWitnessData<H>;
fn witness(&self) -> &[Self::WitnessData] {
&[]
}
type Identity = crate::kernel::op::NullIdentity<H>;
fn proves_identity(&self) -> &Self::Identity {
&<crate::kernel::op::NullIdentity<H>>::ABSENT
}
fn verified_at_level(&self) -> &[WittLevel] {
&[]
}
fn strategy(&self) -> ProofStrategy {
<ProofStrategy>::default()
}
fn depends_on(&self) -> &[Self::Identity] {
&[]
}
type DerivationTerm = NullDerivationTerm<H>;
fn formal_derivation(&self) -> &Self::DerivationTerm {
&<NullDerivationTerm<H>>::ABSENT
}
}
#[derive(Debug, Clone, Copy, PartialEq, Eq, Hash)]
pub struct NullCoherenceProof<H: HostTypes> {
_phantom: core::marker::PhantomData<H>,
}
impl<H: HostTypes> Default for NullCoherenceProof<H> {
fn default() -> Self {
Self {
_phantom: core::marker::PhantomData,
}
}
}
impl<H: HostTypes> NullCoherenceProof<H> {
pub const ABSENT: NullCoherenceProof<H> = NullCoherenceProof {
_phantom: core::marker::PhantomData,
};
}
impl<H: HostTypes> Proof<H> for NullCoherenceProof<H> {
fn verified(&self) -> bool {
false
}
fn timestamp(&self) -> &H::WitnessBytes {
H::EMPTY_WITNESS_BYTES
}
type WitnessData = NullWitnessData<H>;
fn witness(&self) -> &[Self::WitnessData] {
&[]
}
type Identity = crate::kernel::op::NullIdentity<H>;
fn proves_identity(&self) -> &Self::Identity {
&<crate::kernel::op::NullIdentity<H>>::ABSENT
}
fn verified_at_level(&self) -> &[WittLevel] {
&[]
}
fn strategy(&self) -> ProofStrategy {
<ProofStrategy>::default()
}
fn depends_on(&self) -> &[Self::Identity] {
&[]
}
type DerivationTerm = NullDerivationTerm<H>;
fn formal_derivation(&self) -> &Self::DerivationTerm {
&<NullDerivationTerm<H>>::ABSENT
}
}
impl<H: HostTypes> CoherenceProof<H> for NullCoherenceProof<H> {}
#[derive(Debug, Clone, Copy, PartialEq, Eq, Hash)]
pub struct NullComputationCertificate<H: HostTypes> {
_phantom: core::marker::PhantomData<H>,
}
impl<H: HostTypes> Default for NullComputationCertificate<H> {
fn default() -> Self {
Self {
_phantom: core::marker::PhantomData,
}
}
}
impl<H: HostTypes> NullComputationCertificate<H> {
pub const ABSENT: NullComputationCertificate<H> = NullComputationCertificate {
_phantom: core::marker::PhantomData,
};
}
impl<H: HostTypes> Proof<H> for NullComputationCertificate<H> {
fn verified(&self) -> bool {
false
}
fn timestamp(&self) -> &H::WitnessBytes {
H::EMPTY_WITNESS_BYTES
}
type WitnessData = NullWitnessData<H>;
fn witness(&self) -> &[Self::WitnessData] {
&[]
}
type Identity = crate::kernel::op::NullIdentity<H>;
fn proves_identity(&self) -> &Self::Identity {
&<crate::kernel::op::NullIdentity<H>>::ABSENT
}
fn verified_at_level(&self) -> &[WittLevel] {
&[]
}
fn strategy(&self) -> ProofStrategy {
<ProofStrategy>::default()
}
fn depends_on(&self) -> &[Self::Identity] {
&[]
}
type DerivationTerm = NullDerivationTerm<H>;
fn formal_derivation(&self) -> &Self::DerivationTerm {
&<NullDerivationTerm<H>>::ABSENT
}
}
impl<H: HostTypes> ComputationCertificate<H> for NullComputationCertificate<H> {
fn at_witt_level(&self) -> WittLevel {
<WittLevel>::default()
}
}
#[derive(Debug, Clone, Copy, PartialEq, Eq, Hash)]
pub struct NullAxiomaticDerivation<H: HostTypes> {
_phantom: core::marker::PhantomData<H>,
}
impl<H: HostTypes> Default for NullAxiomaticDerivation<H> {
fn default() -> Self {
Self {
_phantom: core::marker::PhantomData,
}
}
}
impl<H: HostTypes> NullAxiomaticDerivation<H> {
pub const ABSENT: NullAxiomaticDerivation<H> = NullAxiomaticDerivation {
_phantom: core::marker::PhantomData,
};
}
impl<H: HostTypes> Proof<H> for NullAxiomaticDerivation<H> {
fn verified(&self) -> bool {
false
}
fn timestamp(&self) -> &H::WitnessBytes {
H::EMPTY_WITNESS_BYTES
}
type WitnessData = NullWitnessData<H>;
fn witness(&self) -> &[Self::WitnessData] {
&[]
}
type Identity = crate::kernel::op::NullIdentity<H>;
fn proves_identity(&self) -> &Self::Identity {
&<crate::kernel::op::NullIdentity<H>>::ABSENT
}
fn verified_at_level(&self) -> &[WittLevel] {
&[]
}
fn strategy(&self) -> ProofStrategy {
<ProofStrategy>::default()
}
fn depends_on(&self) -> &[Self::Identity] {
&[]
}
type DerivationTerm = NullDerivationTerm<H>;
fn formal_derivation(&self) -> &Self::DerivationTerm {
&<NullDerivationTerm<H>>::ABSENT
}
}
impl<H: HostTypes> AxiomaticDerivation<H> for NullAxiomaticDerivation<H> {
fn universal_scope(&self) -> bool {
false
}
type Derivation = crate::bridge::derivation::NullDerivation<H>;
fn derivation_witness(&self) -> &[Self::Derivation] {
&[]
}
}
#[derive(Debug, Clone, Copy, PartialEq, Eq, Hash)]
pub struct NullCriticalIdentityProof<H: HostTypes> {
_phantom: core::marker::PhantomData<H>,
}
impl<H: HostTypes> Default for NullCriticalIdentityProof<H> {
fn default() -> Self {
Self {
_phantom: core::marker::PhantomData,
}
}
}
impl<H: HostTypes> NullCriticalIdentityProof<H> {
pub const ABSENT: NullCriticalIdentityProof<H> = NullCriticalIdentityProof {
_phantom: core::marker::PhantomData,
};
}
impl<H: HostTypes> Proof<H> for NullCriticalIdentityProof<H> {
fn verified(&self) -> bool {
false
}
fn timestamp(&self) -> &H::WitnessBytes {
H::EMPTY_WITNESS_BYTES
}
type WitnessData = NullWitnessData<H>;
fn witness(&self) -> &[Self::WitnessData] {
&[]
}
type Identity = crate::kernel::op::NullIdentity<H>;
fn proves_identity(&self) -> &Self::Identity {
&<crate::kernel::op::NullIdentity<H>>::ABSENT
}
fn verified_at_level(&self) -> &[WittLevel] {
&[]
}
fn strategy(&self) -> ProofStrategy {
<ProofStrategy>::default()
}
fn depends_on(&self) -> &[Self::Identity] {
&[]
}
type DerivationTerm = NullDerivationTerm<H>;
fn formal_derivation(&self) -> &Self::DerivationTerm {
&<NullDerivationTerm<H>>::ABSENT
}
}
impl<H: HostTypes> ComputationCertificate<H> for NullCriticalIdentityProof<H> {
fn at_witt_level(&self) -> WittLevel {
<WittLevel>::default()
}
}
impl<H: HostTypes> CriticalIdentityProof<H> for NullCriticalIdentityProof<H> {}
#[derive(Debug, Clone, Copy, PartialEq, Eq, Hash)]
pub struct NullWitnessData<H: HostTypes> {
_phantom: core::marker::PhantomData<H>,
}
impl<H: HostTypes> Default for NullWitnessData<H> {
fn default() -> Self {
Self {
_phantom: core::marker::PhantomData,
}
}
}
impl<H: HostTypes> NullWitnessData<H> {
pub const ABSENT: NullWitnessData<H> = NullWitnessData {
_phantom: core::marker::PhantomData,
};
}
impl<H: HostTypes> WitnessData<H> for NullWitnessData<H> {
fn x(&self) -> &[i64] {
&[]
}
fn bnot_x(&self) -> &[i64] {
&[]
}
fn neg_bnot_x(&self) -> &[i64] {
&[]
}
fn succ_x(&self) -> &[i64] {
&[]
}
fn holds(&self) -> &[bool] {
&[]
}
}
#[derive(Debug, Clone, Copy, PartialEq, Eq, Hash)]
pub struct NullImpossibilityWitness<H: HostTypes> {
_phantom: core::marker::PhantomData<H>,
}
impl<H: HostTypes> Default for NullImpossibilityWitness<H> {
fn default() -> Self {
Self {
_phantom: core::marker::PhantomData,
}
}
}
impl<H: HostTypes> NullImpossibilityWitness<H> {
pub const ABSENT: NullImpossibilityWitness<H> = NullImpossibilityWitness {
_phantom: core::marker::PhantomData,
};
}
impl<H: HostTypes> Proof<H> for NullImpossibilityWitness<H> {
fn verified(&self) -> bool {
false
}
fn timestamp(&self) -> &H::WitnessBytes {
H::EMPTY_WITNESS_BYTES
}
type WitnessData = NullWitnessData<H>;
fn witness(&self) -> &[Self::WitnessData] {
&[]
}
type Identity = crate::kernel::op::NullIdentity<H>;
fn proves_identity(&self) -> &Self::Identity {
&<crate::kernel::op::NullIdentity<H>>::ABSENT
}
fn verified_at_level(&self) -> &[WittLevel] {
&[]
}
fn strategy(&self) -> ProofStrategy {
<ProofStrategy>::default()
}
fn depends_on(&self) -> &[Self::Identity] {
&[]
}
type DerivationTerm = NullDerivationTerm<H>;
fn formal_derivation(&self) -> &Self::DerivationTerm {
&<NullDerivationTerm<H>>::ABSENT
}
}
impl<H: HostTypes> ImpossibilityWitness<H> for NullImpossibilityWitness<H> {
fn impossibility_reason(&self) -> &H::HostString {
H::EMPTY_HOST_STRING
}
fn impossibility_domain(&self) -> VerificationDomain {
<VerificationDomain>::default()
}
fn achievability_status(&self) -> AchievabilityStatus {
<AchievabilityStatus>::default()
}
}
#[derive(Debug, Clone, Copy, PartialEq, Eq, Hash)]
pub struct NullMorphospaceRecord<H: HostTypes> {
_phantom: core::marker::PhantomData<H>,
}
impl<H: HostTypes> Default for NullMorphospaceRecord<H> {
fn default() -> Self {
Self {
_phantom: core::marker::PhantomData,
}
}
}
impl<H: HostTypes> NullMorphospaceRecord<H> {
pub const ABSENT: NullMorphospaceRecord<H> = NullMorphospaceRecord {
_phantom: core::marker::PhantomData,
};
}
impl<H: HostTypes> MorphospaceRecord<H> for NullMorphospaceRecord<H> {
fn boundary_type(&self) -> AchievabilityStatus {
<AchievabilityStatus>::default()
}
}
#[derive(Debug, Clone, Copy, PartialEq, Eq, Hash)]
pub struct NullMorphospaceBoundary<H: HostTypes> {
_phantom: core::marker::PhantomData<H>,
}
impl<H: HostTypes> Default for NullMorphospaceBoundary<H> {
fn default() -> Self {
Self {
_phantom: core::marker::PhantomData,
}
}
}
impl<H: HostTypes> NullMorphospaceBoundary<H> {
pub const ABSENT: NullMorphospaceBoundary<H> = NullMorphospaceBoundary {
_phantom: core::marker::PhantomData,
};
}
impl<H: HostTypes> MorphospaceBoundary<H> for NullMorphospaceBoundary<H> {
type MorphospaceRecord = NullMorphospaceRecord<H>;
fn morphospace_record(&self) -> &[Self::MorphospaceRecord] {
&[]
}
}
#[derive(Debug, Clone, Copy, PartialEq, Eq, Hash)]
pub struct NullInductiveProof<H: HostTypes> {
_phantom: core::marker::PhantomData<H>,
}
impl<H: HostTypes> Default for NullInductiveProof<H> {
fn default() -> Self {
Self {
_phantom: core::marker::PhantomData,
}
}
}
impl<H: HostTypes> NullInductiveProof<H> {
pub const ABSENT: NullInductiveProof<H> = NullInductiveProof {
_phantom: core::marker::PhantomData,
};
}
impl<H: HostTypes> Proof<H> for NullInductiveProof<H> {
fn verified(&self) -> bool {
false
}
fn timestamp(&self) -> &H::WitnessBytes {
H::EMPTY_WITNESS_BYTES
}
type WitnessData = NullWitnessData<H>;
fn witness(&self) -> &[Self::WitnessData] {
&[]
}
type Identity = crate::kernel::op::NullIdentity<H>;
fn proves_identity(&self) -> &Self::Identity {
&<crate::kernel::op::NullIdentity<H>>::ABSENT
}
fn verified_at_level(&self) -> &[WittLevel] {
&[]
}
fn strategy(&self) -> ProofStrategy {
<ProofStrategy>::default()
}
fn depends_on(&self) -> &[Self::Identity] {
&[]
}
type DerivationTerm = NullDerivationTerm<H>;
fn formal_derivation(&self) -> &Self::DerivationTerm {
&<NullDerivationTerm<H>>::ABSENT
}
}
impl<H: HostTypes> InductiveProof<H> for NullInductiveProof<H> {
type Proof = NullProof<H>;
fn base_case(&self) -> &Self::Proof {
&<NullProof<H>>::ABSENT
}
fn inductive_step(&self) -> &Self::Proof {
&<NullProof<H>>::ABSENT
}
fn valid_for_kat_least(&self) -> u64 {
0
}
}
#[derive(Debug, Clone, Copy, PartialEq, Eq, Hash)]
pub struct NullDerivationTerm<H: HostTypes> {
_phantom: core::marker::PhantomData<H>,
}
impl<H: HostTypes> Default for NullDerivationTerm<H> {
fn default() -> Self {
Self {
_phantom: core::marker::PhantomData,
}
}
}
impl<H: HostTypes> NullDerivationTerm<H> {
pub const ABSENT: NullDerivationTerm<H> = NullDerivationTerm {
_phantom: core::marker::PhantomData,
};
}
impl<H: HostTypes> DerivationTerm<H> for NullDerivationTerm<H> {}
#[derive(Debug, Clone, Copy, PartialEq, Eq, Hash)]
pub struct NullTacticApplication<H: HostTypes> {
_phantom: core::marker::PhantomData<H>,
}
impl<H: HostTypes> Default for NullTacticApplication<H> {
fn default() -> Self {
Self {
_phantom: core::marker::PhantomData,
}
}
}
impl<H: HostTypes> NullTacticApplication<H> {
pub const ABSENT: NullTacticApplication<H> = NullTacticApplication {
_phantom: core::marker::PhantomData,
};
}
impl<H: HostTypes> DerivationTerm<H> for NullTacticApplication<H> {}
impl<H: HostTypes> TacticApplication<H> for NullTacticApplication<H> {}
#[derive(Debug, Clone, Copy, PartialEq, Eq, Hash)]
pub struct NullLemmaInvocation<H: HostTypes> {
_phantom: core::marker::PhantomData<H>,
}
impl<H: HostTypes> Default for NullLemmaInvocation<H> {
fn default() -> Self {
Self {
_phantom: core::marker::PhantomData,
}
}
}
impl<H: HostTypes> NullLemmaInvocation<H> {
pub const ABSENT: NullLemmaInvocation<H> = NullLemmaInvocation {
_phantom: core::marker::PhantomData,
};
}
impl<H: HostTypes> DerivationTerm<H> for NullLemmaInvocation<H> {}
impl<H: HostTypes> LemmaInvocation<H> for NullLemmaInvocation<H> {}
#[derive(Debug, Clone, Copy, PartialEq, Eq, Hash)]
pub struct NullInductionStep<H: HostTypes> {
_phantom: core::marker::PhantomData<H>,
}
impl<H: HostTypes> Default for NullInductionStep<H> {
fn default() -> Self {
Self {
_phantom: core::marker::PhantomData,
}
}
}
impl<H: HostTypes> NullInductionStep<H> {
pub const ABSENT: NullInductionStep<H> = NullInductionStep {
_phantom: core::marker::PhantomData,
};
}
impl<H: HostTypes> DerivationTerm<H> for NullInductionStep<H> {}
impl<H: HostTypes> InductionStep<H> for NullInductionStep<H> {}
#[derive(Debug, Clone, Copy, PartialEq, Eq, Hash)]
pub struct NullComputationStep<H: HostTypes> {
_phantom: core::marker::PhantomData<H>,
}
impl<H: HostTypes> Default for NullComputationStep<H> {
fn default() -> Self {
Self {
_phantom: core::marker::PhantomData,
}
}
}
impl<H: HostTypes> NullComputationStep<H> {
pub const ABSENT: NullComputationStep<H> = NullComputationStep {
_phantom: core::marker::PhantomData,
};
}
impl<H: HostTypes> DerivationTerm<H> for NullComputationStep<H> {}
impl<H: HostTypes> ComputationStep<H> for NullComputationStep<H> {}
#[derive(Debug, Clone, Copy, PartialEq, Eq, Hash)]
pub struct NullInhabitanceImpossibilityWitness<H: HostTypes> {
_phantom: core::marker::PhantomData<H>,
}
impl<H: HostTypes> Default for NullInhabitanceImpossibilityWitness<H> {
fn default() -> Self {
Self {
_phantom: core::marker::PhantomData,
}
}
}
impl<H: HostTypes> NullInhabitanceImpossibilityWitness<H> {
pub const ABSENT: NullInhabitanceImpossibilityWitness<H> =
NullInhabitanceImpossibilityWitness {
_phantom: core::marker::PhantomData,
};
}
impl<H: HostTypes> Proof<H> for NullInhabitanceImpossibilityWitness<H> {
fn verified(&self) -> bool {
false
}
fn timestamp(&self) -> &H::WitnessBytes {
H::EMPTY_WITNESS_BYTES
}
type WitnessData = NullWitnessData<H>;
fn witness(&self) -> &[Self::WitnessData] {
&[]
}
type Identity = crate::kernel::op::NullIdentity<H>;
fn proves_identity(&self) -> &Self::Identity {
&<crate::kernel::op::NullIdentity<H>>::ABSENT
}
fn verified_at_level(&self) -> &[WittLevel] {
&[]
}
fn strategy(&self) -> ProofStrategy {
<ProofStrategy>::default()
}
fn depends_on(&self) -> &[Self::Identity] {
&[]
}
type DerivationTerm = NullDerivationTerm<H>;
fn formal_derivation(&self) -> &Self::DerivationTerm {
&<NullDerivationTerm<H>>::ABSENT
}
}
impl<H: HostTypes> ImpossibilityWitness<H> for NullInhabitanceImpossibilityWitness<H> {
fn impossibility_reason(&self) -> &H::HostString {
H::EMPTY_HOST_STRING
}
fn impossibility_domain(&self) -> VerificationDomain {
<VerificationDomain>::default()
}
fn achievability_status(&self) -> AchievabilityStatus {
<AchievabilityStatus>::default()
}
}
impl<H: HostTypes> InhabitanceImpossibilityWitness<H> for NullInhabitanceImpossibilityWitness<H> {
fn contradiction_proof(&self) -> &H::HostString {
H::EMPTY_HOST_STRING
}
type ConstrainedType = crate::user::type_::NullConstrainedType<H>;
fn grounded(&self) -> &Self::ConstrainedType {
&<crate::user::type_::NullConstrainedType<H>>::ABSENT
}
type InhabitanceSearchTrace = crate::bridge::trace::NullInhabitanceSearchTrace<H>;
fn search_trace(&self) -> &Self::InhabitanceSearchTrace {
&<crate::bridge::trace::NullInhabitanceSearchTrace<H>>::ABSENT
}
}
#[derive(Debug)]
pub struct ProofHandle<H: HostTypes> {
pub fingerprint: crate::enforcement::ContentFingerprint,
_phantom: core::marker::PhantomData<H>,
}
impl<H: HostTypes> Copy for ProofHandle<H> {}
impl<H: HostTypes> Clone for ProofHandle<H> {
#[inline]
fn clone(&self) -> Self {
*self
}
}
impl<H: HostTypes> PartialEq for ProofHandle<H> {
#[inline]
fn eq(&self, other: &Self) -> bool {
self.fingerprint == other.fingerprint
}
}
impl<H: HostTypes> Eq for ProofHandle<H> {}
impl<H: HostTypes> core::hash::Hash for ProofHandle<H> {
#[inline]
fn hash<S: core::hash::Hasher>(&self, state: &mut S) {
self.fingerprint.hash(state);
}
}
impl<H: HostTypes> ProofHandle<H> {
#[inline]
#[must_use]
pub const fn new(fingerprint: crate::enforcement::ContentFingerprint) -> Self {
Self {
fingerprint,
_phantom: core::marker::PhantomData,
}
}
}
pub trait ProofResolver<H: HostTypes> {
fn resolve(&self, handle: ProofHandle<H>) -> Option<ProofRecord<H>>;
}
#[derive(Clone, Debug, PartialEq, Eq, Hash)]
pub struct ProofRecord<H: HostTypes> {
pub verified: bool,
pub timestamp: &'static H::WitnessBytes,
pub proves_identity_handle: crate::kernel::op::IdentityHandle<H>,
pub strategy: ProofStrategy,
pub formal_derivation_handle: DerivationTermHandle<H>,
#[doc(hidden)]
pub _phantom: core::marker::PhantomData<H>,
}
pub struct ResolvedProof<'r, R: ProofResolver<H>, H: HostTypes> {
handle: ProofHandle<H>,
resolver: &'r R,
record: Option<ProofRecord<H>>,
}
impl<'r, R: ProofResolver<H>, H: HostTypes> ResolvedProof<'r, R, H> {
#[inline]
pub fn new(handle: ProofHandle<H>, resolver: &'r R) -> Self {
let record = resolver.resolve(handle);
Self {
handle,
resolver,
record,
}
}
#[inline]
#[must_use]
pub const fn handle(&self) -> ProofHandle<H> {
self.handle
}
#[inline]
#[must_use]
pub const fn resolver(&self) -> &'r R {
self.resolver
}
#[inline]
#[must_use]
pub const fn record(&self) -> Option<&ProofRecord<H>> {
self.record.as_ref()
}
}
impl<'r, R: ProofResolver<H>, H: HostTypes> Proof<H> for ResolvedProof<'r, R, H> {
fn verified(&self) -> bool {
match &self.record {
Some(r) => r.verified,
None => false,
}
}
fn timestamp(&self) -> &H::WitnessBytes {
match &self.record {
Some(r) => r.timestamp,
None => H::EMPTY_WITNESS_BYTES,
}
}
type WitnessData = NullWitnessData<H>;
fn witness(&self) -> &[Self::WitnessData] {
&[]
}
type Identity = crate::kernel::op::NullIdentity<H>;
fn proves_identity(&self) -> &Self::Identity {
&<crate::kernel::op::NullIdentity<H>>::ABSENT
}
fn verified_at_level(&self) -> &[WittLevel] {
&[]
}
fn strategy(&self) -> ProofStrategy {
match &self.record {
Some(r) => r.strategy,
None => <ProofStrategy>::default(),
}
}
fn depends_on(&self) -> &[Self::Identity] {
&[]
}
type DerivationTerm = NullDerivationTerm<H>;
fn formal_derivation(&self) -> &Self::DerivationTerm {
&<NullDerivationTerm<H>>::ABSENT
}
}
impl<'r, R: ProofResolver<H>, H: HostTypes> ResolvedProof<'r, R, H> {
#[inline]
pub fn resolve_proves_identity<'r2, R2: crate::kernel::op::IdentityResolver<H>>(
&self,
r: &'r2 R2,
) -> Option<crate::kernel::op::ResolvedIdentity<'r2, R2, H>> {
let record = self.record.as_ref()?;
Some(crate::kernel::op::ResolvedIdentity::new(
record.proves_identity_handle,
r,
))
}
#[inline]
pub fn resolve_formal_derivation<'r2, R2: DerivationTermResolver<H>>(
&self,
r: &'r2 R2,
) -> Option<ResolvedDerivationTerm<'r2, R2, H>> {
let record = self.record.as_ref()?;
Some(ResolvedDerivationTerm::new(
record.formal_derivation_handle,
r,
))
}
}
#[derive(Debug)]
pub struct CoherenceProofHandle<H: HostTypes> {
pub fingerprint: crate::enforcement::ContentFingerprint,
_phantom: core::marker::PhantomData<H>,
}
impl<H: HostTypes> Copy for CoherenceProofHandle<H> {}
impl<H: HostTypes> Clone for CoherenceProofHandle<H> {
#[inline]
fn clone(&self) -> Self {
*self
}
}
impl<H: HostTypes> PartialEq for CoherenceProofHandle<H> {
#[inline]
fn eq(&self, other: &Self) -> bool {
self.fingerprint == other.fingerprint
}
}
impl<H: HostTypes> Eq for CoherenceProofHandle<H> {}
impl<H: HostTypes> core::hash::Hash for CoherenceProofHandle<H> {
#[inline]
fn hash<S: core::hash::Hasher>(&self, state: &mut S) {
self.fingerprint.hash(state);
}
}
impl<H: HostTypes> CoherenceProofHandle<H> {
#[inline]
#[must_use]
pub const fn new(fingerprint: crate::enforcement::ContentFingerprint) -> Self {
Self {
fingerprint,
_phantom: core::marker::PhantomData,
}
}
}
pub trait CoherenceProofResolver<H: HostTypes> {
fn resolve(&self, handle: CoherenceProofHandle<H>) -> Option<CoherenceProofRecord<H>>;
}
#[derive(Clone, Debug, PartialEq, Eq, Hash)]
pub struct CoherenceProofRecord<H: HostTypes> {
#[doc(hidden)]
pub _phantom: core::marker::PhantomData<H>,
}
pub struct ResolvedCoherenceProof<'r, R: CoherenceProofResolver<H>, H: HostTypes> {
handle: CoherenceProofHandle<H>,
resolver: &'r R,
record: Option<CoherenceProofRecord<H>>,
}
impl<'r, R: CoherenceProofResolver<H>, H: HostTypes> ResolvedCoherenceProof<'r, R, H> {
#[inline]
pub fn new(handle: CoherenceProofHandle<H>, resolver: &'r R) -> Self {
let record = resolver.resolve(handle);
Self {
handle,
resolver,
record,
}
}
#[inline]
#[must_use]
pub const fn handle(&self) -> CoherenceProofHandle<H> {
self.handle
}
#[inline]
#[must_use]
pub const fn resolver(&self) -> &'r R {
self.resolver
}
#[inline]
#[must_use]
pub const fn record(&self) -> Option<&CoherenceProofRecord<H>> {
self.record.as_ref()
}
}
impl<'r, R: CoherenceProofResolver<H>, H: HostTypes> Proof<H> for ResolvedCoherenceProof<'r, R, H> {
fn verified(&self) -> bool {
false
}
fn timestamp(&self) -> &H::WitnessBytes {
H::EMPTY_WITNESS_BYTES
}
type WitnessData = NullWitnessData<H>;
fn witness(&self) -> &[Self::WitnessData] {
&[]
}
type Identity = crate::kernel::op::NullIdentity<H>;
fn proves_identity(&self) -> &Self::Identity {
&<crate::kernel::op::NullIdentity<H>>::ABSENT
}
fn verified_at_level(&self) -> &[WittLevel] {
&[]
}
fn strategy(&self) -> ProofStrategy {
<ProofStrategy>::default()
}
fn depends_on(&self) -> &[Self::Identity] {
&[]
}
type DerivationTerm = NullDerivationTerm<H>;
fn formal_derivation(&self) -> &Self::DerivationTerm {
&<NullDerivationTerm<H>>::ABSENT
}
}
impl<'r, R: CoherenceProofResolver<H>, H: HostTypes> CoherenceProof<H>
for ResolvedCoherenceProof<'r, R, H>
{
}
#[derive(Debug)]
pub struct ComputationCertificateHandle<H: HostTypes> {
pub fingerprint: crate::enforcement::ContentFingerprint,
_phantom: core::marker::PhantomData<H>,
}
impl<H: HostTypes> Copy for ComputationCertificateHandle<H> {}
impl<H: HostTypes> Clone for ComputationCertificateHandle<H> {
#[inline]
fn clone(&self) -> Self {
*self
}
}
impl<H: HostTypes> PartialEq for ComputationCertificateHandle<H> {
#[inline]
fn eq(&self, other: &Self) -> bool {
self.fingerprint == other.fingerprint
}
}
impl<H: HostTypes> Eq for ComputationCertificateHandle<H> {}
impl<H: HostTypes> core::hash::Hash for ComputationCertificateHandle<H> {
#[inline]
fn hash<S: core::hash::Hasher>(&self, state: &mut S) {
self.fingerprint.hash(state);
}
}
impl<H: HostTypes> ComputationCertificateHandle<H> {
#[inline]
#[must_use]
pub const fn new(fingerprint: crate::enforcement::ContentFingerprint) -> Self {
Self {
fingerprint,
_phantom: core::marker::PhantomData,
}
}
}
pub trait ComputationCertificateResolver<H: HostTypes> {
fn resolve(
&self,
handle: ComputationCertificateHandle<H>,
) -> Option<ComputationCertificateRecord<H>>;
}
#[derive(Clone, Debug, PartialEq, Eq, Hash)]
pub struct ComputationCertificateRecord<H: HostTypes> {
pub at_witt_level: WittLevel,
#[doc(hidden)]
pub _phantom: core::marker::PhantomData<H>,
}
pub struct ResolvedComputationCertificate<'r, R: ComputationCertificateResolver<H>, H: HostTypes> {
handle: ComputationCertificateHandle<H>,
resolver: &'r R,
record: Option<ComputationCertificateRecord<H>>,
}
impl<'r, R: ComputationCertificateResolver<H>, H: HostTypes>
ResolvedComputationCertificate<'r, R, H>
{
#[inline]
pub fn new(handle: ComputationCertificateHandle<H>, resolver: &'r R) -> Self {
let record = resolver.resolve(handle);
Self {
handle,
resolver,
record,
}
}
#[inline]
#[must_use]
pub const fn handle(&self) -> ComputationCertificateHandle<H> {
self.handle
}
#[inline]
#[must_use]
pub const fn resolver(&self) -> &'r R {
self.resolver
}
#[inline]
#[must_use]
pub const fn record(&self) -> Option<&ComputationCertificateRecord<H>> {
self.record.as_ref()
}
}
impl<'r, R: ComputationCertificateResolver<H>, H: HostTypes> Proof<H>
for ResolvedComputationCertificate<'r, R, H>
{
fn verified(&self) -> bool {
false
}
fn timestamp(&self) -> &H::WitnessBytes {
H::EMPTY_WITNESS_BYTES
}
type WitnessData = NullWitnessData<H>;
fn witness(&self) -> &[Self::WitnessData] {
&[]
}
type Identity = crate::kernel::op::NullIdentity<H>;
fn proves_identity(&self) -> &Self::Identity {
&<crate::kernel::op::NullIdentity<H>>::ABSENT
}
fn verified_at_level(&self) -> &[WittLevel] {
&[]
}
fn strategy(&self) -> ProofStrategy {
<ProofStrategy>::default()
}
fn depends_on(&self) -> &[Self::Identity] {
&[]
}
type DerivationTerm = NullDerivationTerm<H>;
fn formal_derivation(&self) -> &Self::DerivationTerm {
&<NullDerivationTerm<H>>::ABSENT
}
}
impl<'r, R: ComputationCertificateResolver<H>, H: HostTypes> ComputationCertificate<H>
for ResolvedComputationCertificate<'r, R, H>
{
fn at_witt_level(&self) -> WittLevel {
match &self.record {
Some(r) => r.at_witt_level,
None => <WittLevel>::default(),
}
}
}
#[derive(Debug)]
pub struct AxiomaticDerivationHandle<H: HostTypes> {
pub fingerprint: crate::enforcement::ContentFingerprint,
_phantom: core::marker::PhantomData<H>,
}
impl<H: HostTypes> Copy for AxiomaticDerivationHandle<H> {}
impl<H: HostTypes> Clone for AxiomaticDerivationHandle<H> {
#[inline]
fn clone(&self) -> Self {
*self
}
}
impl<H: HostTypes> PartialEq for AxiomaticDerivationHandle<H> {
#[inline]
fn eq(&self, other: &Self) -> bool {
self.fingerprint == other.fingerprint
}
}
impl<H: HostTypes> Eq for AxiomaticDerivationHandle<H> {}
impl<H: HostTypes> core::hash::Hash for AxiomaticDerivationHandle<H> {
#[inline]
fn hash<S: core::hash::Hasher>(&self, state: &mut S) {
self.fingerprint.hash(state);
}
}
impl<H: HostTypes> AxiomaticDerivationHandle<H> {
#[inline]
#[must_use]
pub const fn new(fingerprint: crate::enforcement::ContentFingerprint) -> Self {
Self {
fingerprint,
_phantom: core::marker::PhantomData,
}
}
}
pub trait AxiomaticDerivationResolver<H: HostTypes> {
fn resolve(&self, handle: AxiomaticDerivationHandle<H>)
-> Option<AxiomaticDerivationRecord<H>>;
}
#[derive(Clone, Debug, PartialEq, Eq, Hash)]
pub struct AxiomaticDerivationRecord<H: HostTypes> {
pub universal_scope: bool,
#[doc(hidden)]
pub _phantom: core::marker::PhantomData<H>,
}
pub struct ResolvedAxiomaticDerivation<'r, R: AxiomaticDerivationResolver<H>, H: HostTypes> {
handle: AxiomaticDerivationHandle<H>,
resolver: &'r R,
record: Option<AxiomaticDerivationRecord<H>>,
}
impl<'r, R: AxiomaticDerivationResolver<H>, H: HostTypes> ResolvedAxiomaticDerivation<'r, R, H> {
#[inline]
pub fn new(handle: AxiomaticDerivationHandle<H>, resolver: &'r R) -> Self {
let record = resolver.resolve(handle);
Self {
handle,
resolver,
record,
}
}
#[inline]
#[must_use]
pub const fn handle(&self) -> AxiomaticDerivationHandle<H> {
self.handle
}
#[inline]
#[must_use]
pub const fn resolver(&self) -> &'r R {
self.resolver
}
#[inline]
#[must_use]
pub const fn record(&self) -> Option<&AxiomaticDerivationRecord<H>> {
self.record.as_ref()
}
}
impl<'r, R: AxiomaticDerivationResolver<H>, H: HostTypes> Proof<H>
for ResolvedAxiomaticDerivation<'r, R, H>
{
fn verified(&self) -> bool {
false
}
fn timestamp(&self) -> &H::WitnessBytes {
H::EMPTY_WITNESS_BYTES
}
type WitnessData = NullWitnessData<H>;
fn witness(&self) -> &[Self::WitnessData] {
&[]
}
type Identity = crate::kernel::op::NullIdentity<H>;
fn proves_identity(&self) -> &Self::Identity {
&<crate::kernel::op::NullIdentity<H>>::ABSENT
}
fn verified_at_level(&self) -> &[WittLevel] {
&[]
}
fn strategy(&self) -> ProofStrategy {
<ProofStrategy>::default()
}
fn depends_on(&self) -> &[Self::Identity] {
&[]
}
type DerivationTerm = NullDerivationTerm<H>;
fn formal_derivation(&self) -> &Self::DerivationTerm {
&<NullDerivationTerm<H>>::ABSENT
}
}
impl<'r, R: AxiomaticDerivationResolver<H>, H: HostTypes> AxiomaticDerivation<H>
for ResolvedAxiomaticDerivation<'r, R, H>
{
fn universal_scope(&self) -> bool {
match &self.record {
Some(r) => r.universal_scope,
None => false,
}
}
type Derivation = crate::bridge::derivation::NullDerivation<H>;
fn derivation_witness(&self) -> &[Self::Derivation] {
&[]
}
}
#[derive(Debug)]
pub struct CriticalIdentityProofHandle<H: HostTypes> {
pub fingerprint: crate::enforcement::ContentFingerprint,
_phantom: core::marker::PhantomData<H>,
}
impl<H: HostTypes> Copy for CriticalIdentityProofHandle<H> {}
impl<H: HostTypes> Clone for CriticalIdentityProofHandle<H> {
#[inline]
fn clone(&self) -> Self {
*self
}
}
impl<H: HostTypes> PartialEq for CriticalIdentityProofHandle<H> {
#[inline]
fn eq(&self, other: &Self) -> bool {
self.fingerprint == other.fingerprint
}
}
impl<H: HostTypes> Eq for CriticalIdentityProofHandle<H> {}
impl<H: HostTypes> core::hash::Hash for CriticalIdentityProofHandle<H> {
#[inline]
fn hash<S: core::hash::Hasher>(&self, state: &mut S) {
self.fingerprint.hash(state);
}
}
impl<H: HostTypes> CriticalIdentityProofHandle<H> {
#[inline]
#[must_use]
pub const fn new(fingerprint: crate::enforcement::ContentFingerprint) -> Self {
Self {
fingerprint,
_phantom: core::marker::PhantomData,
}
}
}
pub trait CriticalIdentityProofResolver<H: HostTypes> {
fn resolve(
&self,
handle: CriticalIdentityProofHandle<H>,
) -> Option<CriticalIdentityProofRecord<H>>;
}
#[derive(Clone, Debug, PartialEq, Eq, Hash)]
pub struct CriticalIdentityProofRecord<H: HostTypes> {
#[doc(hidden)]
pub _phantom: core::marker::PhantomData<H>,
}
pub struct ResolvedCriticalIdentityProof<'r, R: CriticalIdentityProofResolver<H>, H: HostTypes> {
handle: CriticalIdentityProofHandle<H>,
resolver: &'r R,
record: Option<CriticalIdentityProofRecord<H>>,
}
impl<'r, R: CriticalIdentityProofResolver<H>, H: HostTypes>
ResolvedCriticalIdentityProof<'r, R, H>
{
#[inline]
pub fn new(handle: CriticalIdentityProofHandle<H>, resolver: &'r R) -> Self {
let record = resolver.resolve(handle);
Self {
handle,
resolver,
record,
}
}
#[inline]
#[must_use]
pub const fn handle(&self) -> CriticalIdentityProofHandle<H> {
self.handle
}
#[inline]
#[must_use]
pub const fn resolver(&self) -> &'r R {
self.resolver
}
#[inline]
#[must_use]
pub const fn record(&self) -> Option<&CriticalIdentityProofRecord<H>> {
self.record.as_ref()
}
}
impl<'r, R: CriticalIdentityProofResolver<H>, H: HostTypes> Proof<H>
for ResolvedCriticalIdentityProof<'r, R, H>
{
fn verified(&self) -> bool {
false
}
fn timestamp(&self) -> &H::WitnessBytes {
H::EMPTY_WITNESS_BYTES
}
type WitnessData = NullWitnessData<H>;
fn witness(&self) -> &[Self::WitnessData] {
&[]
}
type Identity = crate::kernel::op::NullIdentity<H>;
fn proves_identity(&self) -> &Self::Identity {
&<crate::kernel::op::NullIdentity<H>>::ABSENT
}
fn verified_at_level(&self) -> &[WittLevel] {
&[]
}
fn strategy(&self) -> ProofStrategy {
<ProofStrategy>::default()
}
fn depends_on(&self) -> &[Self::Identity] {
&[]
}
type DerivationTerm = NullDerivationTerm<H>;
fn formal_derivation(&self) -> &Self::DerivationTerm {
&<NullDerivationTerm<H>>::ABSENT
}
}
impl<'r, R: CriticalIdentityProofResolver<H>, H: HostTypes> ComputationCertificate<H>
for ResolvedCriticalIdentityProof<'r, R, H>
{
fn at_witt_level(&self) -> WittLevel {
<WittLevel>::default()
}
}
impl<'r, R: CriticalIdentityProofResolver<H>, H: HostTypes> CriticalIdentityProof<H>
for ResolvedCriticalIdentityProof<'r, R, H>
{
}
#[derive(Debug)]
pub struct WitnessDataHandle<H: HostTypes> {
pub fingerprint: crate::enforcement::ContentFingerprint,
_phantom: core::marker::PhantomData<H>,
}
impl<H: HostTypes> Copy for WitnessDataHandle<H> {}
impl<H: HostTypes> Clone for WitnessDataHandle<H> {
#[inline]
fn clone(&self) -> Self {
*self
}
}
impl<H: HostTypes> PartialEq for WitnessDataHandle<H> {
#[inline]
fn eq(&self, other: &Self) -> bool {
self.fingerprint == other.fingerprint
}
}
impl<H: HostTypes> Eq for WitnessDataHandle<H> {}
impl<H: HostTypes> core::hash::Hash for WitnessDataHandle<H> {
#[inline]
fn hash<S: core::hash::Hasher>(&self, state: &mut S) {
self.fingerprint.hash(state);
}
}
impl<H: HostTypes> WitnessDataHandle<H> {
#[inline]
#[must_use]
pub const fn new(fingerprint: crate::enforcement::ContentFingerprint) -> Self {
Self {
fingerprint,
_phantom: core::marker::PhantomData,
}
}
}
pub trait WitnessDataResolver<H: HostTypes> {
fn resolve(&self, handle: WitnessDataHandle<H>) -> Option<WitnessDataRecord<H>>;
}
#[derive(Clone, Debug, PartialEq, Eq, Hash)]
pub struct WitnessDataRecord<H: HostTypes> {
#[doc(hidden)]
pub _phantom: core::marker::PhantomData<H>,
}
pub struct ResolvedWitnessData<'r, R: WitnessDataResolver<H>, H: HostTypes> {
handle: WitnessDataHandle<H>,
resolver: &'r R,
record: Option<WitnessDataRecord<H>>,
}
impl<'r, R: WitnessDataResolver<H>, H: HostTypes> ResolvedWitnessData<'r, R, H> {
#[inline]
pub fn new(handle: WitnessDataHandle<H>, resolver: &'r R) -> Self {
let record = resolver.resolve(handle);
Self {
handle,
resolver,
record,
}
}
#[inline]
#[must_use]
pub const fn handle(&self) -> WitnessDataHandle<H> {
self.handle
}
#[inline]
#[must_use]
pub const fn resolver(&self) -> &'r R {
self.resolver
}
#[inline]
#[must_use]
pub const fn record(&self) -> Option<&WitnessDataRecord<H>> {
self.record.as_ref()
}
}
impl<'r, R: WitnessDataResolver<H>, H: HostTypes> WitnessData<H> for ResolvedWitnessData<'r, R, H> {
fn x(&self) -> &[i64] {
&[]
}
fn bnot_x(&self) -> &[i64] {
&[]
}
fn neg_bnot_x(&self) -> &[i64] {
&[]
}
fn succ_x(&self) -> &[i64] {
&[]
}
fn holds(&self) -> &[bool] {
&[]
}
}
#[derive(Debug)]
pub struct MorphospaceRecordHandle<H: HostTypes> {
pub fingerprint: crate::enforcement::ContentFingerprint,
_phantom: core::marker::PhantomData<H>,
}
impl<H: HostTypes> Copy for MorphospaceRecordHandle<H> {}
impl<H: HostTypes> Clone for MorphospaceRecordHandle<H> {
#[inline]
fn clone(&self) -> Self {
*self
}
}
impl<H: HostTypes> PartialEq for MorphospaceRecordHandle<H> {
#[inline]
fn eq(&self, other: &Self) -> bool {
self.fingerprint == other.fingerprint
}
}
impl<H: HostTypes> Eq for MorphospaceRecordHandle<H> {}
impl<H: HostTypes> core::hash::Hash for MorphospaceRecordHandle<H> {
#[inline]
fn hash<S: core::hash::Hasher>(&self, state: &mut S) {
self.fingerprint.hash(state);
}
}
impl<H: HostTypes> MorphospaceRecordHandle<H> {
#[inline]
#[must_use]
pub const fn new(fingerprint: crate::enforcement::ContentFingerprint) -> Self {
Self {
fingerprint,
_phantom: core::marker::PhantomData,
}
}
}
pub trait MorphospaceRecordResolver<H: HostTypes> {
fn resolve(&self, handle: MorphospaceRecordHandle<H>) -> Option<MorphospaceRecordRecord<H>>;
}
#[derive(Clone, Debug, PartialEq, Eq, Hash)]
pub struct MorphospaceRecordRecord<H: HostTypes> {
pub boundary_type: AchievabilityStatus,
#[doc(hidden)]
pub _phantom: core::marker::PhantomData<H>,
}
pub struct ResolvedMorphospaceRecord<'r, R: MorphospaceRecordResolver<H>, H: HostTypes> {
handle: MorphospaceRecordHandle<H>,
resolver: &'r R,
record: Option<MorphospaceRecordRecord<H>>,
}
impl<'r, R: MorphospaceRecordResolver<H>, H: HostTypes> ResolvedMorphospaceRecord<'r, R, H> {
#[inline]
pub fn new(handle: MorphospaceRecordHandle<H>, resolver: &'r R) -> Self {
let record = resolver.resolve(handle);
Self {
handle,
resolver,
record,
}
}
#[inline]
#[must_use]
pub const fn handle(&self) -> MorphospaceRecordHandle<H> {
self.handle
}
#[inline]
#[must_use]
pub const fn resolver(&self) -> &'r R {
self.resolver
}
#[inline]
#[must_use]
pub const fn record(&self) -> Option<&MorphospaceRecordRecord<H>> {
self.record.as_ref()
}
}
impl<'r, R: MorphospaceRecordResolver<H>, H: HostTypes> MorphospaceRecord<H>
for ResolvedMorphospaceRecord<'r, R, H>
{
fn boundary_type(&self) -> AchievabilityStatus {
match &self.record {
Some(r) => r.boundary_type,
None => <AchievabilityStatus>::default(),
}
}
}
#[derive(Debug)]
pub struct MorphospaceBoundaryHandle<H: HostTypes> {
pub fingerprint: crate::enforcement::ContentFingerprint,
_phantom: core::marker::PhantomData<H>,
}
impl<H: HostTypes> Copy for MorphospaceBoundaryHandle<H> {}
impl<H: HostTypes> Clone for MorphospaceBoundaryHandle<H> {
#[inline]
fn clone(&self) -> Self {
*self
}
}
impl<H: HostTypes> PartialEq for MorphospaceBoundaryHandle<H> {
#[inline]
fn eq(&self, other: &Self) -> bool {
self.fingerprint == other.fingerprint
}
}
impl<H: HostTypes> Eq for MorphospaceBoundaryHandle<H> {}
impl<H: HostTypes> core::hash::Hash for MorphospaceBoundaryHandle<H> {
#[inline]
fn hash<S: core::hash::Hasher>(&self, state: &mut S) {
self.fingerprint.hash(state);
}
}
impl<H: HostTypes> MorphospaceBoundaryHandle<H> {
#[inline]
#[must_use]
pub const fn new(fingerprint: crate::enforcement::ContentFingerprint) -> Self {
Self {
fingerprint,
_phantom: core::marker::PhantomData,
}
}
}
pub trait MorphospaceBoundaryResolver<H: HostTypes> {
fn resolve(&self, handle: MorphospaceBoundaryHandle<H>)
-> Option<MorphospaceBoundaryRecord<H>>;
}
#[derive(Clone, Debug, PartialEq, Eq, Hash)]
pub struct MorphospaceBoundaryRecord<H: HostTypes> {
#[doc(hidden)]
pub _phantom: core::marker::PhantomData<H>,
}
pub struct ResolvedMorphospaceBoundary<'r, R: MorphospaceBoundaryResolver<H>, H: HostTypes> {
handle: MorphospaceBoundaryHandle<H>,
resolver: &'r R,
record: Option<MorphospaceBoundaryRecord<H>>,
}
impl<'r, R: MorphospaceBoundaryResolver<H>, H: HostTypes> ResolvedMorphospaceBoundary<'r, R, H> {
#[inline]
pub fn new(handle: MorphospaceBoundaryHandle<H>, resolver: &'r R) -> Self {
let record = resolver.resolve(handle);
Self {
handle,
resolver,
record,
}
}
#[inline]
#[must_use]
pub const fn handle(&self) -> MorphospaceBoundaryHandle<H> {
self.handle
}
#[inline]
#[must_use]
pub const fn resolver(&self) -> &'r R {
self.resolver
}
#[inline]
#[must_use]
pub const fn record(&self) -> Option<&MorphospaceBoundaryRecord<H>> {
self.record.as_ref()
}
}
impl<'r, R: MorphospaceBoundaryResolver<H>, H: HostTypes> MorphospaceBoundary<H>
for ResolvedMorphospaceBoundary<'r, R, H>
{
type MorphospaceRecord = NullMorphospaceRecord<H>;
fn morphospace_record(&self) -> &[Self::MorphospaceRecord] {
&[]
}
}
#[derive(Debug)]
pub struct InductiveProofHandle<H: HostTypes> {
pub fingerprint: crate::enforcement::ContentFingerprint,
_phantom: core::marker::PhantomData<H>,
}
impl<H: HostTypes> Copy for InductiveProofHandle<H> {}
impl<H: HostTypes> Clone for InductiveProofHandle<H> {
#[inline]
fn clone(&self) -> Self {
*self
}
}
impl<H: HostTypes> PartialEq for InductiveProofHandle<H> {
#[inline]
fn eq(&self, other: &Self) -> bool {
self.fingerprint == other.fingerprint
}
}
impl<H: HostTypes> Eq for InductiveProofHandle<H> {}
impl<H: HostTypes> core::hash::Hash for InductiveProofHandle<H> {
#[inline]
fn hash<S: core::hash::Hasher>(&self, state: &mut S) {
self.fingerprint.hash(state);
}
}
impl<H: HostTypes> InductiveProofHandle<H> {
#[inline]
#[must_use]
pub const fn new(fingerprint: crate::enforcement::ContentFingerprint) -> Self {
Self {
fingerprint,
_phantom: core::marker::PhantomData,
}
}
}
pub trait InductiveProofResolver<H: HostTypes> {
fn resolve(&self, handle: InductiveProofHandle<H>) -> Option<InductiveProofRecord<H>>;
}
#[derive(Clone, Debug, PartialEq, Eq, Hash)]
pub struct InductiveProofRecord<H: HostTypes> {
pub base_case_handle: ProofHandle<H>,
pub inductive_step_handle: ProofHandle<H>,
pub valid_for_kat_least: u64,
#[doc(hidden)]
pub _phantom: core::marker::PhantomData<H>,
}
pub struct ResolvedInductiveProof<'r, R: InductiveProofResolver<H>, H: HostTypes> {
handle: InductiveProofHandle<H>,
resolver: &'r R,
record: Option<InductiveProofRecord<H>>,
}
impl<'r, R: InductiveProofResolver<H>, H: HostTypes> ResolvedInductiveProof<'r, R, H> {
#[inline]
pub fn new(handle: InductiveProofHandle<H>, resolver: &'r R) -> Self {
let record = resolver.resolve(handle);
Self {
handle,
resolver,
record,
}
}
#[inline]
#[must_use]
pub const fn handle(&self) -> InductiveProofHandle<H> {
self.handle
}
#[inline]
#[must_use]
pub const fn resolver(&self) -> &'r R {
self.resolver
}
#[inline]
#[must_use]
pub const fn record(&self) -> Option<&InductiveProofRecord<H>> {
self.record.as_ref()
}
}
impl<'r, R: InductiveProofResolver<H>, H: HostTypes> Proof<H> for ResolvedInductiveProof<'r, R, H> {
fn verified(&self) -> bool {
false
}
fn timestamp(&self) -> &H::WitnessBytes {
H::EMPTY_WITNESS_BYTES
}
type WitnessData = NullWitnessData<H>;
fn witness(&self) -> &[Self::WitnessData] {
&[]
}
type Identity = crate::kernel::op::NullIdentity<H>;
fn proves_identity(&self) -> &Self::Identity {
&<crate::kernel::op::NullIdentity<H>>::ABSENT
}
fn verified_at_level(&self) -> &[WittLevel] {
&[]
}
fn strategy(&self) -> ProofStrategy {
<ProofStrategy>::default()
}
fn depends_on(&self) -> &[Self::Identity] {
&[]
}
type DerivationTerm = NullDerivationTerm<H>;
fn formal_derivation(&self) -> &Self::DerivationTerm {
&<NullDerivationTerm<H>>::ABSENT
}
}
impl<'r, R: InductiveProofResolver<H>, H: HostTypes> InductiveProof<H>
for ResolvedInductiveProof<'r, R, H>
{
type Proof = NullProof<H>;
fn base_case(&self) -> &Self::Proof {
&<NullProof<H>>::ABSENT
}
fn inductive_step(&self) -> &Self::Proof {
&<NullProof<H>>::ABSENT
}
fn valid_for_kat_least(&self) -> u64 {
match &self.record {
Some(r) => r.valid_for_kat_least,
None => 0,
}
}
}
impl<'r, R: InductiveProofResolver<H>, H: HostTypes> ResolvedInductiveProof<'r, R, H> {
#[inline]
pub fn resolve_base_case<'r2, R2: ProofResolver<H>>(
&self,
r: &'r2 R2,
) -> Option<ResolvedProof<'r2, R2, H>> {
let record = self.record.as_ref()?;
Some(ResolvedProof::new(record.base_case_handle, r))
}
#[inline]
pub fn resolve_inductive_step<'r2, R2: ProofResolver<H>>(
&self,
r: &'r2 R2,
) -> Option<ResolvedProof<'r2, R2, H>> {
let record = self.record.as_ref()?;
Some(ResolvedProof::new(record.inductive_step_handle, r))
}
}
#[derive(Debug)]
pub struct DerivationTermHandle<H: HostTypes> {
pub fingerprint: crate::enforcement::ContentFingerprint,
_phantom: core::marker::PhantomData<H>,
}
impl<H: HostTypes> Copy for DerivationTermHandle<H> {}
impl<H: HostTypes> Clone for DerivationTermHandle<H> {
#[inline]
fn clone(&self) -> Self {
*self
}
}
impl<H: HostTypes> PartialEq for DerivationTermHandle<H> {
#[inline]
fn eq(&self, other: &Self) -> bool {
self.fingerprint == other.fingerprint
}
}
impl<H: HostTypes> Eq for DerivationTermHandle<H> {}
impl<H: HostTypes> core::hash::Hash for DerivationTermHandle<H> {
#[inline]
fn hash<S: core::hash::Hasher>(&self, state: &mut S) {
self.fingerprint.hash(state);
}
}
impl<H: HostTypes> DerivationTermHandle<H> {
#[inline]
#[must_use]
pub const fn new(fingerprint: crate::enforcement::ContentFingerprint) -> Self {
Self {
fingerprint,
_phantom: core::marker::PhantomData,
}
}
}
pub trait DerivationTermResolver<H: HostTypes> {
fn resolve(&self, handle: DerivationTermHandle<H>) -> Option<DerivationTermRecord<H>>;
}
#[derive(Clone, Debug, PartialEq, Eq, Hash)]
pub struct DerivationTermRecord<H: HostTypes> {
#[doc(hidden)]
pub _phantom: core::marker::PhantomData<H>,
}
pub struct ResolvedDerivationTerm<'r, R: DerivationTermResolver<H>, H: HostTypes> {
handle: DerivationTermHandle<H>,
resolver: &'r R,
record: Option<DerivationTermRecord<H>>,
}
impl<'r, R: DerivationTermResolver<H>, H: HostTypes> ResolvedDerivationTerm<'r, R, H> {
#[inline]
pub fn new(handle: DerivationTermHandle<H>, resolver: &'r R) -> Self {
let record = resolver.resolve(handle);
Self {
handle,
resolver,
record,
}
}
#[inline]
#[must_use]
pub const fn handle(&self) -> DerivationTermHandle<H> {
self.handle
}
#[inline]
#[must_use]
pub const fn resolver(&self) -> &'r R {
self.resolver
}
#[inline]
#[must_use]
pub const fn record(&self) -> Option<&DerivationTermRecord<H>> {
self.record.as_ref()
}
}
impl<'r, R: DerivationTermResolver<H>, H: HostTypes> DerivationTerm<H>
for ResolvedDerivationTerm<'r, R, H>
{
}
#[derive(Debug)]
pub struct TacticApplicationHandle<H: HostTypes> {
pub fingerprint: crate::enforcement::ContentFingerprint,
_phantom: core::marker::PhantomData<H>,
}
impl<H: HostTypes> Copy for TacticApplicationHandle<H> {}
impl<H: HostTypes> Clone for TacticApplicationHandle<H> {
#[inline]
fn clone(&self) -> Self {
*self
}
}
impl<H: HostTypes> PartialEq for TacticApplicationHandle<H> {
#[inline]
fn eq(&self, other: &Self) -> bool {
self.fingerprint == other.fingerprint
}
}
impl<H: HostTypes> Eq for TacticApplicationHandle<H> {}
impl<H: HostTypes> core::hash::Hash for TacticApplicationHandle<H> {
#[inline]
fn hash<S: core::hash::Hasher>(&self, state: &mut S) {
self.fingerprint.hash(state);
}
}
impl<H: HostTypes> TacticApplicationHandle<H> {
#[inline]
#[must_use]
pub const fn new(fingerprint: crate::enforcement::ContentFingerprint) -> Self {
Self {
fingerprint,
_phantom: core::marker::PhantomData,
}
}
}
pub trait TacticApplicationResolver<H: HostTypes> {
fn resolve(&self, handle: TacticApplicationHandle<H>) -> Option<TacticApplicationRecord<H>>;
}
#[derive(Clone, Debug, PartialEq, Eq, Hash)]
pub struct TacticApplicationRecord<H: HostTypes> {
#[doc(hidden)]
pub _phantom: core::marker::PhantomData<H>,
}
pub struct ResolvedTacticApplication<'r, R: TacticApplicationResolver<H>, H: HostTypes> {
handle: TacticApplicationHandle<H>,
resolver: &'r R,
record: Option<TacticApplicationRecord<H>>,
}
impl<'r, R: TacticApplicationResolver<H>, H: HostTypes> ResolvedTacticApplication<'r, R, H> {
#[inline]
pub fn new(handle: TacticApplicationHandle<H>, resolver: &'r R) -> Self {
let record = resolver.resolve(handle);
Self {
handle,
resolver,
record,
}
}
#[inline]
#[must_use]
pub const fn handle(&self) -> TacticApplicationHandle<H> {
self.handle
}
#[inline]
#[must_use]
pub const fn resolver(&self) -> &'r R {
self.resolver
}
#[inline]
#[must_use]
pub const fn record(&self) -> Option<&TacticApplicationRecord<H>> {
self.record.as_ref()
}
}
impl<'r, R: TacticApplicationResolver<H>, H: HostTypes> DerivationTerm<H>
for ResolvedTacticApplication<'r, R, H>
{
}
impl<'r, R: TacticApplicationResolver<H>, H: HostTypes> TacticApplication<H>
for ResolvedTacticApplication<'r, R, H>
{
}
#[derive(Debug)]
pub struct LemmaInvocationHandle<H: HostTypes> {
pub fingerprint: crate::enforcement::ContentFingerprint,
_phantom: core::marker::PhantomData<H>,
}
impl<H: HostTypes> Copy for LemmaInvocationHandle<H> {}
impl<H: HostTypes> Clone for LemmaInvocationHandle<H> {
#[inline]
fn clone(&self) -> Self {
*self
}
}
impl<H: HostTypes> PartialEq for LemmaInvocationHandle<H> {
#[inline]
fn eq(&self, other: &Self) -> bool {
self.fingerprint == other.fingerprint
}
}
impl<H: HostTypes> Eq for LemmaInvocationHandle<H> {}
impl<H: HostTypes> core::hash::Hash for LemmaInvocationHandle<H> {
#[inline]
fn hash<S: core::hash::Hasher>(&self, state: &mut S) {
self.fingerprint.hash(state);
}
}
impl<H: HostTypes> LemmaInvocationHandle<H> {
#[inline]
#[must_use]
pub const fn new(fingerprint: crate::enforcement::ContentFingerprint) -> Self {
Self {
fingerprint,
_phantom: core::marker::PhantomData,
}
}
}
pub trait LemmaInvocationResolver<H: HostTypes> {
fn resolve(&self, handle: LemmaInvocationHandle<H>) -> Option<LemmaInvocationRecord<H>>;
}
#[derive(Clone, Debug, PartialEq, Eq, Hash)]
pub struct LemmaInvocationRecord<H: HostTypes> {
#[doc(hidden)]
pub _phantom: core::marker::PhantomData<H>,
}
pub struct ResolvedLemmaInvocation<'r, R: LemmaInvocationResolver<H>, H: HostTypes> {
handle: LemmaInvocationHandle<H>,
resolver: &'r R,
record: Option<LemmaInvocationRecord<H>>,
}
impl<'r, R: LemmaInvocationResolver<H>, H: HostTypes> ResolvedLemmaInvocation<'r, R, H> {
#[inline]
pub fn new(handle: LemmaInvocationHandle<H>, resolver: &'r R) -> Self {
let record = resolver.resolve(handle);
Self {
handle,
resolver,
record,
}
}
#[inline]
#[must_use]
pub const fn handle(&self) -> LemmaInvocationHandle<H> {
self.handle
}
#[inline]
#[must_use]
pub const fn resolver(&self) -> &'r R {
self.resolver
}
#[inline]
#[must_use]
pub const fn record(&self) -> Option<&LemmaInvocationRecord<H>> {
self.record.as_ref()
}
}
impl<'r, R: LemmaInvocationResolver<H>, H: HostTypes> DerivationTerm<H>
for ResolvedLemmaInvocation<'r, R, H>
{
}
impl<'r, R: LemmaInvocationResolver<H>, H: HostTypes> LemmaInvocation<H>
for ResolvedLemmaInvocation<'r, R, H>
{
}
#[derive(Debug)]
pub struct InductionStepHandle<H: HostTypes> {
pub fingerprint: crate::enforcement::ContentFingerprint,
_phantom: core::marker::PhantomData<H>,
}
impl<H: HostTypes> Copy for InductionStepHandle<H> {}
impl<H: HostTypes> Clone for InductionStepHandle<H> {
#[inline]
fn clone(&self) -> Self {
*self
}
}
impl<H: HostTypes> PartialEq for InductionStepHandle<H> {
#[inline]
fn eq(&self, other: &Self) -> bool {
self.fingerprint == other.fingerprint
}
}
impl<H: HostTypes> Eq for InductionStepHandle<H> {}
impl<H: HostTypes> core::hash::Hash for InductionStepHandle<H> {
#[inline]
fn hash<S: core::hash::Hasher>(&self, state: &mut S) {
self.fingerprint.hash(state);
}
}
impl<H: HostTypes> InductionStepHandle<H> {
#[inline]
#[must_use]
pub const fn new(fingerprint: crate::enforcement::ContentFingerprint) -> Self {
Self {
fingerprint,
_phantom: core::marker::PhantomData,
}
}
}
pub trait InductionStepResolver<H: HostTypes> {
fn resolve(&self, handle: InductionStepHandle<H>) -> Option<InductionStepRecord<H>>;
}
#[derive(Clone, Debug, PartialEq, Eq, Hash)]
pub struct InductionStepRecord<H: HostTypes> {
#[doc(hidden)]
pub _phantom: core::marker::PhantomData<H>,
}
pub struct ResolvedInductionStep<'r, R: InductionStepResolver<H>, H: HostTypes> {
handle: InductionStepHandle<H>,
resolver: &'r R,
record: Option<InductionStepRecord<H>>,
}
impl<'r, R: InductionStepResolver<H>, H: HostTypes> ResolvedInductionStep<'r, R, H> {
#[inline]
pub fn new(handle: InductionStepHandle<H>, resolver: &'r R) -> Self {
let record = resolver.resolve(handle);
Self {
handle,
resolver,
record,
}
}
#[inline]
#[must_use]
pub const fn handle(&self) -> InductionStepHandle<H> {
self.handle
}
#[inline]
#[must_use]
pub const fn resolver(&self) -> &'r R {
self.resolver
}
#[inline]
#[must_use]
pub const fn record(&self) -> Option<&InductionStepRecord<H>> {
self.record.as_ref()
}
}
impl<'r, R: InductionStepResolver<H>, H: HostTypes> DerivationTerm<H>
for ResolvedInductionStep<'r, R, H>
{
}
impl<'r, R: InductionStepResolver<H>, H: HostTypes> InductionStep<H>
for ResolvedInductionStep<'r, R, H>
{
}
#[derive(Debug)]
pub struct ComputationStepHandle<H: HostTypes> {
pub fingerprint: crate::enforcement::ContentFingerprint,
_phantom: core::marker::PhantomData<H>,
}
impl<H: HostTypes> Copy for ComputationStepHandle<H> {}
impl<H: HostTypes> Clone for ComputationStepHandle<H> {
#[inline]
fn clone(&self) -> Self {
*self
}
}
impl<H: HostTypes> PartialEq for ComputationStepHandle<H> {
#[inline]
fn eq(&self, other: &Self) -> bool {
self.fingerprint == other.fingerprint
}
}
impl<H: HostTypes> Eq for ComputationStepHandle<H> {}
impl<H: HostTypes> core::hash::Hash for ComputationStepHandle<H> {
#[inline]
fn hash<S: core::hash::Hasher>(&self, state: &mut S) {
self.fingerprint.hash(state);
}
}
impl<H: HostTypes> ComputationStepHandle<H> {
#[inline]
#[must_use]
pub const fn new(fingerprint: crate::enforcement::ContentFingerprint) -> Self {
Self {
fingerprint,
_phantom: core::marker::PhantomData,
}
}
}
pub trait ComputationStepResolver<H: HostTypes> {
fn resolve(&self, handle: ComputationStepHandle<H>) -> Option<ComputationStepRecord<H>>;
}
#[derive(Clone, Debug, PartialEq, Eq, Hash)]
pub struct ComputationStepRecord<H: HostTypes> {
#[doc(hidden)]
pub _phantom: core::marker::PhantomData<H>,
}
pub struct ResolvedComputationStep<'r, R: ComputationStepResolver<H>, H: HostTypes> {
handle: ComputationStepHandle<H>,
resolver: &'r R,
record: Option<ComputationStepRecord<H>>,
}
impl<'r, R: ComputationStepResolver<H>, H: HostTypes> ResolvedComputationStep<'r, R, H> {
#[inline]
pub fn new(handle: ComputationStepHandle<H>, resolver: &'r R) -> Self {
let record = resolver.resolve(handle);
Self {
handle,
resolver,
record,
}
}
#[inline]
#[must_use]
pub const fn handle(&self) -> ComputationStepHandle<H> {
self.handle
}
#[inline]
#[must_use]
pub const fn resolver(&self) -> &'r R {
self.resolver
}
#[inline]
#[must_use]
pub const fn record(&self) -> Option<&ComputationStepRecord<H>> {
self.record.as_ref()
}
}
impl<'r, R: ComputationStepResolver<H>, H: HostTypes> DerivationTerm<H>
for ResolvedComputationStep<'r, R, H>
{
}
impl<'r, R: ComputationStepResolver<H>, H: HostTypes> ComputationStep<H>
for ResolvedComputationStep<'r, R, H>
{
}
pub mod ring_axiom {}
pub mod decide_q0 {}
pub mod bitwise_induction {}
pub mod group_presentation {}
pub mod simplification {}
pub mod chinese_remainder {}
pub mod euler_poincare {}
pub mod product_formula {}
pub mod composition {}
pub mod contradiction {}
pub mod computation {}
pub mod prf_critical_identity {
pub const AT_WITT_LEVEL: &str = "https://uor.foundation/schema/W8";
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/criticalIdentity";
pub const STRATEGY: &str = "https://uor.foundation/proof/Computation";
pub const VERIFIED: bool = true;
}
pub mod prf_critical_identity_axiomatic {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/criticalIdentity";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_phi_1 {
pub const AT_WITT_LEVEL: &str = "https://uor.foundation/schema/W8";
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/phi_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/Computation";
pub const VERIFIED: bool = true;
}
pub mod prf_phi_2 {
pub const AT_WITT_LEVEL: &str = "https://uor.foundation/schema/W8";
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/phi_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/Computation";
pub const VERIFIED: bool = true;
}
pub mod prf_phi_3 {
pub const AT_WITT_LEVEL: &str = "https://uor.foundation/schema/W8";
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/phi_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/Computation";
pub const VERIFIED: bool = true;
}
pub mod prf_phi_4 {
pub const AT_WITT_LEVEL: &str = "https://uor.foundation/schema/W8";
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/phi_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/Computation";
pub const VERIFIED: bool = true;
}
pub mod prf_phi_5 {
pub const AT_WITT_LEVEL: &str = "https://uor.foundation/schema/W8";
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/phi_5";
pub const STRATEGY: &str = "https://uor.foundation/proof/Computation";
pub const VERIFIED: bool = true;
}
pub mod prf_phi_6 {
pub const AT_WITT_LEVEL: &str = "https://uor.foundation/schema/W8";
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/phi_6";
pub const STRATEGY: &str = "https://uor.foundation/proof/Computation";
pub const VERIFIED: bool = true;
}
pub mod prf_ad_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/AD_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ad_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/AD_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_r_a1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/R_A1";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_r_a2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/R_A2";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_r_a3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/R_A3";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_r_a4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/R_A4";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_r_a5 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/R_A5";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_r_a6 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/R_A6";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_r_m1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/R_M1";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_r_m2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/R_M2";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_r_m3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/R_M3";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_r_m4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/R_M4";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_r_m5 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/R_M5";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_b_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/B_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/BitwiseInduction";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_b_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/B_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/BitwiseInduction";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_b_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/B_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/BitwiseInduction";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_b_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/B_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/BitwiseInduction";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_b_5 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/B_5";
pub const STRATEGY: &str = "https://uor.foundation/proof/BitwiseInduction";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_b_6 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/B_6";
pub const STRATEGY: &str = "https://uor.foundation/proof/BitwiseInduction";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_b_7 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/B_7";
pub const STRATEGY: &str = "https://uor.foundation/proof/BitwiseInduction";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_b_8 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/B_8";
pub const STRATEGY: &str = "https://uor.foundation/proof/BitwiseInduction";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_b_9 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/B_9";
pub const STRATEGY: &str = "https://uor.foundation/proof/BitwiseInduction";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_b_10 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/B_10";
pub const STRATEGY: &str = "https://uor.foundation/proof/BitwiseInduction";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_b_11 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/B_11";
pub const STRATEGY: &str = "https://uor.foundation/proof/BitwiseInduction";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_b_12 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/B_12";
pub const STRATEGY: &str = "https://uor.foundation/proof/BitwiseInduction";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_b_13 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/B_13";
pub const STRATEGY: &str = "https://uor.foundation/proof/BitwiseInduction";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_x_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/X_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_x_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/X_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_x_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/X_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_x_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/X_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_x_5 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/X_5";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_x_6 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/X_6";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_x_7 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/X_7";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_d_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/D_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_d_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/D_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_d_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/D_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_d_5 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/D_5";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_u_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/U_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/ChineseRemainder";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_u_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/U_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/ChineseRemainder";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_u_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/U_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/ChineseRemainder";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_u_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/U_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/ChineseRemainder";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_u_5 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/U_5";
pub const STRATEGY: &str = "https://uor.foundation/proof/ChineseRemainder";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ag_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/AG_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ag_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/AG_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ag_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/AG_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ag_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/AG_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ca_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/CA_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/BitwiseInduction";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ca_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/CA_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/BitwiseInduction";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ca_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/CA_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/BitwiseInduction";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ca_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/CA_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/BitwiseInduction";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ca_5 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/CA_5";
pub const STRATEGY: &str = "https://uor.foundation/proof/BitwiseInduction";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ca_6 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/CA_6";
pub const STRATEGY: &str = "https://uor.foundation/proof/BitwiseInduction";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_c_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/C_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_c_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/C_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_c_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/C_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_c_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/C_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_c_5 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/C_5";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_c_6 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/C_6";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_cdi {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/CDI";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_cl_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/CL_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_cl_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/CL_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_cl_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/CL_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_cl_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/CL_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_cl_5 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/CL_5";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_cm_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/CM_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_cm_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/CM_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_cm_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/CM_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_cr_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/CR_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_cr_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/CR_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_cr_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/CR_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_cr_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/CR_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_cr_5 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/CR_5";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_f_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/F_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/BitwiseInduction";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_f_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/F_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/BitwiseInduction";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_f_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/F_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/BitwiseInduction";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_f_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/F_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/BitwiseInduction";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_fl_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/FL_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_fl_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/FL_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_fl_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/FL_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_fl_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/FL_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_fpm_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/FPM_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_fpm_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/FPM_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_fpm_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/FPM_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_fpm_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/FPM_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_fpm_5 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/FPM_5";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_fpm_6 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/FPM_6";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_fpm_7 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/FPM_7";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_fs_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/FS_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_fs_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/FS_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_fs_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/FS_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_fs_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/FS_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_fs_5 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/FS_5";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_fs_6 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/FS_6";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_fs_7 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/FS_7";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_re_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/RE_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ir_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/IR_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ir_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/IR_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ir_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/IR_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ir_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/IR_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_sf_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/SF_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_sf_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/SF_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_rd_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/RD_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_rd_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/RD_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_se_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/SE_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_se_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/SE_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_se_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/SE_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_se_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/SE_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_oo_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/OO_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_oo_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/OO_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_oo_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/OO_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_oo_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/OO_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_oo_5 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/OO_5";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_cb_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/CB_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/BitwiseInduction";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_cb_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/CB_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/BitwiseInduction";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_cb_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/CB_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/BitwiseInduction";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_cb_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/CB_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/BitwiseInduction";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_cb_5 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/CB_5";
pub const STRATEGY: &str = "https://uor.foundation/proof/BitwiseInduction";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_cb_6 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/CB_6";
pub const STRATEGY: &str = "https://uor.foundation/proof/BitwiseInduction";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ob_m1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/OB_M1";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ob_m2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/OB_M2";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ob_m3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/OB_M3";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ob_m4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/OB_M4";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ob_m5 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/OB_M5";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ob_m6 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/OB_M6";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ob_c1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/OB_C1";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ob_c2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/OB_C2";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ob_c3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/OB_C3";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ob_h1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/OB_H1";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ob_h2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/OB_H2";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ob_h3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/OB_H3";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ob_p1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/OB_P1";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ob_p2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/OB_P2";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ob_p3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/OB_P3";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ct_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/CT_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ct_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/CT_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ct_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/CT_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ct_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/CT_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_cf_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/CF_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_cf_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/CF_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_cf_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/CF_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_cf_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/CF_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_hg_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/HG_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_hg_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/HG_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_hg_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/HG_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_hg_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/HG_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_hg_5 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/HG_5";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_t_c1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/T_C1";
pub const STRATEGY: &str = "https://uor.foundation/proof/GroupPresentation";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_t_c2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/T_C2";
pub const STRATEGY: &str = "https://uor.foundation/proof/GroupPresentation";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_t_c3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/T_C3";
pub const STRATEGY: &str = "https://uor.foundation/proof/GroupPresentation";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_t_c4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/T_C4";
pub const STRATEGY: &str = "https://uor.foundation/proof/GroupPresentation";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_t_i1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/T_I1";
pub const STRATEGY: &str = "https://uor.foundation/proof/GroupPresentation";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_t_i2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/T_I2";
pub const STRATEGY: &str = "https://uor.foundation/proof/GroupPresentation";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_t_i3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/T_I3";
pub const STRATEGY: &str = "https://uor.foundation/proof/GroupPresentation";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_t_i4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/T_I4";
pub const STRATEGY: &str = "https://uor.foundation/proof/GroupPresentation";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_t_i5 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/T_I5";
pub const STRATEGY: &str = "https://uor.foundation/proof/GroupPresentation";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_t_e1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/T_E1";
pub const STRATEGY: &str = "https://uor.foundation/proof/GroupPresentation";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_t_e2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/T_E2";
pub const STRATEGY: &str = "https://uor.foundation/proof/GroupPresentation";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_t_e3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/T_E3";
pub const STRATEGY: &str = "https://uor.foundation/proof/GroupPresentation";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_t_e4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/T_E4";
pub const STRATEGY: &str = "https://uor.foundation/proof/GroupPresentation";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_t_a1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/T_A1";
pub const STRATEGY: &str = "https://uor.foundation/proof/GroupPresentation";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_t_a2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/T_A2";
pub const STRATEGY: &str = "https://uor.foundation/proof/GroupPresentation";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_t_a3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/T_A3";
pub const STRATEGY: &str = "https://uor.foundation/proof/GroupPresentation";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_t_a4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/T_A4";
pub const STRATEGY: &str = "https://uor.foundation/proof/GroupPresentation";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_au_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/AU_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/GroupPresentation";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_au_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/AU_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/GroupPresentation";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_au_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/AU_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/GroupPresentation";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_au_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/AU_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/GroupPresentation";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_au_5 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/AU_5";
pub const STRATEGY: &str = "https://uor.foundation/proof/GroupPresentation";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ef_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/EF_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/GroupPresentation";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ef_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/EF_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/GroupPresentation";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ef_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/EF_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/GroupPresentation";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ef_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/EF_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/GroupPresentation";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ef_5 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/EF_5";
pub const STRATEGY: &str = "https://uor.foundation/proof/GroupPresentation";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ef_6 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/EF_6";
pub const STRATEGY: &str = "https://uor.foundation/proof/GroupPresentation";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ef_7 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/EF_7";
pub const STRATEGY: &str = "https://uor.foundation/proof/GroupPresentation";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_aa_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/AA_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_aa_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/AA_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_aa_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/AA_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_aa_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/AA_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_aa_5 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/AA_5";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_aa_6 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/AA_6";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_am_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/AM_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_am_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/AM_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_am_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/AM_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_am_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/AM_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_th_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/TH_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_th_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/TH_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_th_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/TH_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_th_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/TH_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_th_5 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/TH_5";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_th_6 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/TH_6";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_th_7 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/TH_7";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_th_8 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/TH_8";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_th_9 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/TH_9";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_th_10 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/TH_10";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ar_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/AR_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ar_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/AR_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ar_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/AR_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ar_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/AR_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ar_5 {
pub const BASE_CASE: &str = "https://uor.foundation/proof/prf_AR_5_base";
pub const INDUCTIVE_STEP: &str = "https://uor.foundation/proof/prf_AR_5_step";
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/AR_5";
pub const STRATEGY: &str = "https://uor.foundation/proof/BitwiseInduction";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VALID_FOR_KAT_LEAST: i64 = 0;
pub const VERIFIED: bool = true;
}
pub mod prf_pd_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/PD_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_pd_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/PD_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_pd_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/PD_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_pd_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/PD_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_pd_5 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/PD_5";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_rc_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/RC_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_rc_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/RC_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_rc_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/RC_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_rc_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/RC_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_rc_5 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/RC_5";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_dc_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/DC_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_dc_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/DC_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_dc_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/DC_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_dc_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/DC_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_dc_5 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/DC_5";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_dc_6 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/DC_6";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_dc_7 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/DC_7";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_dc_8 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/DC_8";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_dc_9 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/DC_9";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_dc_10 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/DC_10";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_dc_11 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/DC_11";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ha_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/HA_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/EulerPoincare";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ha_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/HA_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/EulerPoincare";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ha_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/HA_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/EulerPoincare";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_it_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/IT_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/EulerPoincare";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_it_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/IT_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/EulerPoincare";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_it_6 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/IT_6";
pub const STRATEGY: &str = "https://uor.foundation/proof/EulerPoincare";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_it_7a {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/IT_7a";
pub const STRATEGY: &str = "https://uor.foundation/proof/Composition";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_it_7b {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/IT_7b";
pub const STRATEGY: &str = "https://uor.foundation/proof/Composition";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_it_7c {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/IT_7c";
pub const STRATEGY: &str = "https://uor.foundation/proof/Composition";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_it_7d {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/IT_7d";
pub const STRATEGY: &str = "https://uor.foundation/proof/Composition";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_psi_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/psi_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/EulerPoincare";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_psi_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/psi_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/EulerPoincare";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_psi_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/psi_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/EulerPoincare";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_psi_5 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/psi_5";
pub const STRATEGY: &str = "https://uor.foundation/proof/EulerPoincare";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_psi_6 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/psi_6";
pub const STRATEGY: &str = "https://uor.foundation/proof/EulerPoincare";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_boundary_squared_zero {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/homology/boundarySquaredZero";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_psi_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/homology/psi_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_index_bridge {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/homology/indexBridge";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_coboundary_squared_zero {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/cohomology/coboundarySquaredZero";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_de_rham_duality {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/cohomology/deRhamDuality";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_sheaf_cohomology_bridge {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/cohomology/sheafCohomologyBridge";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_local_global_principle {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/cohomology/localGlobalPrinciple";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_surface_symmetry {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/surfaceSymmetry";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_cc_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/CC_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_cc_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/CC_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_cc_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/CC_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_cc_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/CC_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_cc_5 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/CC_5";
pub const STRATEGY: &str = "https://uor.foundation/proof/EulerPoincare";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ql_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/QL_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ql_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/QL_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ql_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/QL_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ql_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/QL_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ql_5 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/QL_5";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ql_6 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/QL_6";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ql_7 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/QL_7";
pub const STRATEGY: &str = "https://uor.foundation/proof/EulerPoincare";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_gr_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/GR_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_gr_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/GR_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_gr_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/GR_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_gr_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/GR_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_gr_5 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/GR_5";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ts_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/TS_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ts_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/TS_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ts_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/TS_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ts_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/TS_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ts_5 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/TS_5";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ts_6 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/TS_6";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ts_7 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/TS_7";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_wls_1 {
pub const BASE_CASE: &str = "https://uor.foundation/proof/prf_WLS_1_base";
pub const INDUCTIVE_STEP: &str = "https://uor.foundation/proof/prf_WLS_6";
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/WLS_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/BitwiseInduction";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VALID_FOR_KAT_LEAST: i64 = 0;
pub const VERIFIED: bool = true;
}
pub mod prf_wls_2 {
pub const BASE_CASE: &str = "https://uor.foundation/proof/prf_WLS_2_base";
pub const INDUCTIVE_STEP: &str = "https://uor.foundation/proof/prf_WLS_2_step";
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/WLS_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/BitwiseInduction";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VALID_FOR_KAT_LEAST: i64 = 0;
pub const VERIFIED: bool = true;
}
pub mod prf_wls_3 {
pub const BASE_CASE: &str = "https://uor.foundation/proof/prf_WLS_3_base";
pub const INDUCTIVE_STEP: &str = "https://uor.foundation/proof/prf_WLS_3_step";
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/WLS_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/BitwiseInduction";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VALID_FOR_KAT_LEAST: i64 = 0;
pub const VERIFIED: bool = true;
}
pub mod prf_wls_4 {
pub const BASE_CASE: &str = "https://uor.foundation/proof/prf_WLS_4_base";
pub const INDUCTIVE_STEP: &str = "https://uor.foundation/proof/prf_WLS_4_step";
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/WLS_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/BitwiseInduction";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VALID_FOR_KAT_LEAST: i64 = 0;
pub const VERIFIED: bool = true;
}
pub mod prf_wls_5 {
pub const BASE_CASE: &str = "https://uor.foundation/proof/prf_WLS_5_base";
pub const INDUCTIVE_STEP: &str = "https://uor.foundation/proof/prf_WLS_6";
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/WLS_5";
pub const STRATEGY: &str = "https://uor.foundation/proof/BitwiseInduction";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VALID_FOR_KAT_LEAST: i64 = 0;
pub const VERIFIED: bool = true;
}
pub mod prf_wls_6 {
pub const BASE_CASE: &str = "https://uor.foundation/proof/prf_WLS_6_base";
pub const INDUCTIVE_STEP: &str = "https://uor.foundation/proof/prf_WLS_6_step";
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/WLS_6";
pub const STRATEGY: &str = "https://uor.foundation/proof/BitwiseInduction";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VALID_FOR_KAT_LEAST: i64 = 0;
pub const VERIFIED: bool = true;
}
pub mod prf_wls_1_base {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/WLS_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/Composition";
pub const UNIVERSAL_SCOPE: bool = false;
pub const VERIFIED: bool = true;
}
pub mod prf_wls_2_base {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/WLS_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/Composition";
pub const UNIVERSAL_SCOPE: bool = false;
pub const VERIFIED: bool = true;
}
pub mod prf_wls_2_step {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/WLS_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/Composition";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_wls_3_base {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/WLS_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/Composition";
pub const UNIVERSAL_SCOPE: bool = false;
pub const VERIFIED: bool = true;
}
pub mod prf_wls_3_step {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/WLS_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/Composition";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_wls_4_base {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/WLS_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/Composition";
pub const UNIVERSAL_SCOPE: bool = false;
pub const VERIFIED: bool = true;
}
pub mod prf_wls_4_step {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/WLS_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/Composition";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_wls_5_base {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/WLS_5";
pub const STRATEGY: &str = "https://uor.foundation/proof/Composition";
pub const UNIVERSAL_SCOPE: bool = false;
pub const VERIFIED: bool = true;
}
pub mod prf_wls_6_base {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/WLS_6";
pub const STRATEGY: &str = "https://uor.foundation/proof/Composition";
pub const UNIVERSAL_SCOPE: bool = false;
pub const VERIFIED: bool = true;
}
pub mod prf_wls_6_step {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/WLS_6";
pub const STRATEGY: &str = "https://uor.foundation/proof/Composition";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_wt_3_base {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/WT_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/Composition";
pub const UNIVERSAL_SCOPE: bool = false;
pub const VERIFIED: bool = true;
}
pub mod prf_wt_5_base {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/WT_5";
pub const STRATEGY: &str = "https://uor.foundation/proof/Composition";
pub const UNIVERSAL_SCOPE: bool = false;
pub const VERIFIED: bool = true;
}
pub mod prf_ar_5_base {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/AR_5";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = false;
pub const VERIFIED: bool = true;
}
pub mod prf_ar_5_step {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/AR_5";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_qm_6_base {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/QM_6";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = false;
pub const VERIFIED: bool = true;
}
pub mod prf_qm_6_step {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/QM_6";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_mn_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/MN_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/EulerPoincare";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_mn_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/MN_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/EulerPoincare";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_mn_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/MN_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/EulerPoincare";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_mn_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/MN_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/EulerPoincare";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_mn_5 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/MN_5";
pub const STRATEGY: &str = "https://uor.foundation/proof/EulerPoincare";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_mn_6 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/MN_6";
pub const STRATEGY: &str = "https://uor.foundation/proof/EulerPoincare";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_mn_7 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/MN_7";
pub const STRATEGY: &str = "https://uor.foundation/proof/EulerPoincare";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_pt_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/PT_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_pt_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/PT_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/EulerPoincare";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_pt_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/PT_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/Composition";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_pt_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/PT_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_st_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/ST_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_st_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/ST_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_gs_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/GS_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_gs_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/GS_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_gs_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/GS_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_gs_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/GS_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_gs_5 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/GS_5";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_gs_6 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/GS_6";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_gs_7 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/GS_7";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ms_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/MS_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ms_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/MS_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ms_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/MS_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/EulerPoincare";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ms_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/MS_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ms_5 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/MS_5";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_gd_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/GD_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_gd_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/GD_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_gd_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/GD_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_gd_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/GD_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_gd_5 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/GD_5";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_qm_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/QM_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/ProductFormula";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_qm_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/QM_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/EulerPoincare";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_qm_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/QM_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/ProductFormula";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_qm_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/QM_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_qm_5 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/QM_5";
pub const STRATEGY: &str = "https://uor.foundation/proof/ProductFormula";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_rc_6 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/RC_6";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_fpm_8 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/FPM_8";
pub const STRATEGY: &str = "https://uor.foundation/proof/DecideQ0";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_fpm_9 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/FPM_9";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_mn_8 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/MN_8";
pub const STRATEGY: &str = "https://uor.foundation/proof/EulerPoincare";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ql_8 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/QL_8";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_d_7 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/D_7";
pub const STRATEGY: &str = "https://uor.foundation/proof/GroupPresentation";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_sp_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/SP_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_sp_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/SP_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/ProductFormula";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_sp_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/SP_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_sp_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/SP_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/ProductFormula";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_pt_2a {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/PT_2a";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_pt_2b {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/PT_2b";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_gd_6 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/GD_6";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod iw_beta0_bound {
pub const FORBIDS_SIGNATURE: &str = "β₀ = 0";
pub const IMPOSSIBILITY_DOMAIN: &str = "https://uor.foundation/op/Pipeline";
pub const IMPOSSIBILITY_REASON: &str =
"β₀ = 0 violates MS_1: constraint nerve of non-empty set is connected";
pub const STRATEGY: &str = "https://uor.foundation/proof/Contradiction";
pub const VERIFIED: bool = true;
}
pub mod iw_chi_ceiling {
pub const FORBIDS_SIGNATURE: &str = "χ > n";
pub const IMPOSSIBILITY_DOMAIN: &str = "https://uor.foundation/op/Algebraic";
pub const IMPOSSIBILITY_REASON: &str =
"χ > n violates MS_2: Euler characteristic bounded by quantum level";
pub const STRATEGY: &str = "https://uor.foundation/proof/Contradiction";
pub const VERIFIED: bool = true;
}
pub mod mr_completeness_target {
pub const BOUNDARY_TYPE: &str = "https://uor.foundation/observable/Achievable";
pub const VERIFIED: bool = true;
}
pub mod mr_connectivity_lower {
pub const BOUNDARY_TYPE: &str = "https://uor.foundation/observable/Forbidden";
pub const VERIFIED: bool = true;
}
pub mod prf_wt_1 {
pub const BASE_CASE: &str = "https://uor.foundation/proof/prf_WLS_1";
pub const INDUCTIVE_STEP: &str = "https://uor.foundation/proof/prf_WLS_6";
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/WT_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/BitwiseInduction";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VALID_FOR_KAT_LEAST: i64 = 0;
pub const VERIFIED: bool = true;
}
pub mod prf_wt_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/WT_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/Composition";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_wt_3 {
pub const BASE_CASE: &str = "https://uor.foundation/proof/prf_WT_3_base";
pub const INDUCTIVE_STEP: &str = "https://uor.foundation/proof/prf_WLS_3";
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/WT_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/BitwiseInduction";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VALID_FOR_KAT_LEAST: i64 = 0;
pub const VERIFIED: bool = true;
}
pub mod prf_wt_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/WT_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/EulerPoincare";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_wt_5 {
pub const BASE_CASE: &str = "https://uor.foundation/proof/prf_WT_5_base";
pub const INDUCTIVE_STEP: &str = "https://uor.foundation/proof/prf_WT_1";
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/WT_5";
pub const STRATEGY: &str = "https://uor.foundation/proof/BitwiseInduction";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VALID_FOR_KAT_LEAST: i64 = 0;
pub const VERIFIED: bool = true;
}
pub mod prf_wt_6 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/WT_6";
pub const STRATEGY: &str = "https://uor.foundation/proof/Composition";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_wt_7 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/WT_7";
pub const STRATEGY: &str = "https://uor.foundation/proof/Composition";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_cc_pins {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/CC_PINS";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_cc_cost_site {
pub const AT_WITT_LEVEL: &str = "https://uor.foundation/schema/W8";
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/CC_COST_SITE";
pub const STRATEGY: &str = "https://uor.foundation/proof/Computation";
pub const VERIFIED: bool = true;
}
pub mod prf_jsat_rr {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/jsat_RR";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_jsat_cr {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/jsat_CR";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_jsat_cc {
pub const AT_WITT_LEVEL: &str = "https://uor.foundation/schema/W8";
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/jsat_CC";
pub const STRATEGY: &str = "https://uor.foundation/proof/Computation";
pub const VERIFIED: bool = true;
}
pub mod prf_d_8 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/D_8";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_d_9 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/D_9";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_exp_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/EXP_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_exp_2 {
pub const AT_WITT_LEVEL: &str = "https://uor.foundation/schema/W8";
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/EXP_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/Computation";
pub const VERIFIED: bool = true;
}
pub mod prf_exp_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/EXP_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_st_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/ST_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/Composition";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_st_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/ST_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/EulerPoincare";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_st_5 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/ST_5";
pub const STRATEGY: &str = "https://uor.foundation/proof/Composition";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_st_6 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/ST_6";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_st_7 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/ST_7";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_st_8 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/ST_8";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_st_9 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/ST_9";
pub const STRATEGY: &str = "https://uor.foundation/proof/Composition";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_st_10 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/ST_10";
pub const STRATEGY: &str = "https://uor.foundation/proof/Composition";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_cpt_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/CPT_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_cpt_2a {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/CPT_2a";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_cpt_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/CPT_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_cpt_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/CPT_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_cpt_5 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/CPT_5";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_cpt_6 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/CPT_6";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ts_8 {
pub const BASE_CASE: &str = "https://uor.foundation/proof/prf_HA_1";
pub const INDUCTIVE_STEP: &str = "https://uor.foundation/proof/prf_TS_4";
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/TS_8";
pub const STRATEGY: &str = "https://uor.foundation/proof/BitwiseInduction";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VALID_FOR_KAT_LEAST: i64 = 1;
pub const VERIFIED: bool = true;
}
pub mod prf_ts_9 {
pub const BASE_CASE: &str = "https://uor.foundation/proof/prf_TS_1";
pub const INDUCTIVE_STEP: &str = "https://uor.foundation/proof/prf_TS_4";
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/TS_9";
pub const STRATEGY: &str = "https://uor.foundation/proof/BitwiseInduction";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VALID_FOR_KAT_LEAST: i64 = 1;
pub const VERIFIED: bool = true;
}
pub mod prf_ts_10 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/TS_10";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_wt_8 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/WT_8";
pub const STRATEGY: &str = "https://uor.foundation/proof/Composition";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_wt_9 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/WT_9";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_coeff_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/COEFF_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_go_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/GO_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/EulerPoincare";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_gr_6 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/GR_6";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_gr_7 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/GR_7";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_qm_6 {
pub const BASE_CASE: &str = "https://uor.foundation/proof/prf_QM_6_base";
pub const INDUCTIVE_STEP: &str = "https://uor.foundation/proof/prf_QM_6_step";
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/QM_6";
pub const STRATEGY: &str = "https://uor.foundation/proof/BitwiseInduction";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VALID_FOR_KAT_LEAST: i64 = 0;
pub const VERIFIED: bool = true;
}
pub mod prf_cic_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/CIC_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_cic_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/CIC_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/GroupPresentation";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_cic_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/CIC_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_cic_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/CIC_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_cic_5 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/CIC_5";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_cic_6 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/CIC_6";
pub const STRATEGY: &str = "https://uor.foundation/proof/ProductFormula";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_cic_7 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/CIC_7";
pub const STRATEGY: &str = "https://uor.foundation/proof/ProductFormula";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_gc_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/GC_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_gr_8 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/GR_8";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = false;
pub const VERIFIED: bool = true;
}
pub mod prf_gr_9 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/GR_9";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_gr_10 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/GR_10";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_mc_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/MC_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_mc_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/MC_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_mc_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/MC_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_mc_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/MC_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_mc_5 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/MC_5";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_mc_6 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/MC_6";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_mc_7 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/MC_7";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_mc_8 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/MC_8";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_wc_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/WC_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/BitwiseInduction";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_wc_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/WC_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/BitwiseInduction";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_wc_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/WC_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/BitwiseInduction";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_wc_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/WC_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/BitwiseInduction";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_wc_5 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/WC_5";
pub const STRATEGY: &str = "https://uor.foundation/proof/BitwiseInduction";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_wc_6 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/WC_6";
pub const STRATEGY: &str = "https://uor.foundation/proof/BitwiseInduction";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_wc_7 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/WC_7";
pub const STRATEGY: &str = "https://uor.foundation/proof/BitwiseInduction";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_wc_8 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/WC_8";
pub const STRATEGY: &str = "https://uor.foundation/proof/BitwiseInduction";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_wc_9 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/WC_9";
pub const STRATEGY: &str = "https://uor.foundation/proof/BitwiseInduction";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_wc_10 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/WC_10";
pub const STRATEGY: &str = "https://uor.foundation/proof/BitwiseInduction";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_wc_11 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/WC_11";
pub const STRATEGY: &str = "https://uor.foundation/proof/BitwiseInduction";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_wc_12 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/WC_12";
pub const STRATEGY: &str = "https://uor.foundation/proof/BitwiseInduction";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_oa_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/OA_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/ProductFormula";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_oa_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/OA_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/ProductFormula";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_oa_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/OA_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/ProductFormula";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_oa_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/OA_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/ProductFormula";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_oa_5 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/OA_5";
pub const STRATEGY: &str = "https://uor.foundation/proof/ProductFormula";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ht_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/HT_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/EulerPoincare";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ht_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/HT_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/EulerPoincare";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ht_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/HT_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/EulerPoincare";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ht_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/HT_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/EulerPoincare";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ht_5 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/HT_5";
pub const STRATEGY: &str = "https://uor.foundation/proof/EulerPoincare";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ht_6 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/HT_6";
pub const STRATEGY: &str = "https://uor.foundation/proof/Composition";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ht_7 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/HT_7";
pub const STRATEGY: &str = "https://uor.foundation/proof/Composition";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ht_8 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/HT_8";
pub const STRATEGY: &str = "https://uor.foundation/proof/EulerPoincare";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_psi_7 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/psi_7";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_psi_8 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/psi_8";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_psi_9 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/psi_9";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_hp_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/HP_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_hp_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/HP_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_hp_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/HP_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/Composition";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_hp_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/HP_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_md_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/MD_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_md_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/MD_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_md_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/MD_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_md_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/MD_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/Composition";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_md_5 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/MD_5";
pub const STRATEGY: &str = "https://uor.foundation/proof/EulerPoincare";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_md_6 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/MD_6";
pub const STRATEGY: &str = "https://uor.foundation/proof/EulerPoincare";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_md_7 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/MD_7";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_md_8 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/MD_8";
pub const STRATEGY: &str = "https://uor.foundation/proof/Composition";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_md_9 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/MD_9";
pub const STRATEGY: &str = "https://uor.foundation/proof/Composition";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_md_10 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/MD_10";
pub const STRATEGY: &str = "https://uor.foundation/proof/Composition";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_mr_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/MR_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_mr_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/MR_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/EulerPoincare";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_mr_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/MR_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_mr_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/MR_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_cy_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/CY_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_cy_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/CY_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_cy_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/CY_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_cy_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/CY_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_cy_5 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/CY_5";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_cy_6 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/CY_6";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_cy_7 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/CY_7";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_bm_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/BM_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/Composition";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_bm_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/BM_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/Composition";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_bm_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/BM_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/Composition";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_bm_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/BM_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/Composition";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_bm_5 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/BM_5";
pub const STRATEGY: &str = "https://uor.foundation/proof/Composition";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_bm_6 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/BM_6";
pub const STRATEGY: &str = "https://uor.foundation/proof/Composition";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_gl_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/GL_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/EulerPoincare";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_gl_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/GL_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/EulerPoincare";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_gl_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/GL_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/EulerPoincare";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_gl_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/GL_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/EulerPoincare";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_nv_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/NV_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/EulerPoincare";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_nv_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/NV_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/EulerPoincare";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_nv_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/NV_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/EulerPoincare";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_nv_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/NV_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/EulerPoincare";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_sd_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/SD_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_sd_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/SD_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_sd_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/SD_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_sd_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/SD_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_sd_5 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/SD_5";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_sd_6 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/SD_6";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_sd_7 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/SD_7";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_sd_8 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/SD_8";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_dd_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/DD_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/Composition";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_dd_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/DD_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/Composition";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_pi_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/PI_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/Composition";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_pi_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/PI_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/Composition";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_pi_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/PI_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/Composition";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_pi_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/PI_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/Composition";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_pi_5 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/PI_5";
pub const STRATEGY: &str = "https://uor.foundation/proof/Composition";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_pa_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/PA_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/Composition";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_pa_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/PA_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/Composition";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_pa_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/PA_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/Composition";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_pa_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/PA_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/Composition";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_pa_5 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/PA_5";
pub const STRATEGY: &str = "https://uor.foundation/proof/Composition";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_pl_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/PL_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/Composition";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_pl_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/PL_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/Composition";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_pl_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/PL_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/Composition";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_pk_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/PK_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/Composition";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_pk_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/PK_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/Composition";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_pp_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/PP_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/Composition";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_pe_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/PE_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_pe_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/PE_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_pe_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/PE_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_pe_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/PE_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_pe_5 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/PE_5";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_pe_6 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/PE_6";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_pe_7 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/PE_7";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_pm_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/PM_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_pm_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/PM_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_pm_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/PM_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_pm_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/PM_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_pm_5 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/PM_5";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_pm_6 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/PM_6";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_pm_7 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/PM_7";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_er_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/ER_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_er_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/ER_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_er_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/ER_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_er_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/ER_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ea_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/EA_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ea_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/EA_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ea_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/EA_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ea_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/EA_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_oe_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/OE_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_oe_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/OE_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_oe_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/OE_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_oe_4a {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/OE_4a";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_oe_4b {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/OE_4b";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_oe_4c {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/OE_4c";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_cs_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/CS_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_cs_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/CS_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_cs_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/CS_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_cs_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/CS_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_cs_5 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/CS_5";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_fa_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/FA_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_fa_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/FA_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_fa_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/FA_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_sw_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/SW_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_sw_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/SW_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_sw_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/SW_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_sw_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/SW_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ls_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/LS_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ls_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/LS_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ls_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/LS_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ls_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/LS_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_tj_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/TJ_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_tj_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/TJ_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_tj_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/TJ_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ap_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/AP_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ap_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/AP_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ap_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/AP_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ec_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/EC_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/EulerPoincare";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ec_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/EC_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/EulerPoincare";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ec_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/EC_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/EulerPoincare";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ec_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/EC_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/EulerPoincare";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ec_4a {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/EC_4a";
pub const STRATEGY: &str = "https://uor.foundation/proof/EulerPoincare";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ec_4b {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/EC_4b";
pub const STRATEGY: &str = "https://uor.foundation/proof/EulerPoincare";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ec_4c {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/EC_4c";
pub const STRATEGY: &str = "https://uor.foundation/proof/EulerPoincare";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ec_5 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/EC_5";
pub const STRATEGY: &str = "https://uor.foundation/proof/EulerPoincare";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_da_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/DA_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_da_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/DA_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_da_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/DA_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_da_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/DA_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_da_5 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/DA_5";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_da_6 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/DA_6";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_da_7 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/DA_7";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_in_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/IN_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/Composition";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_in_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/IN_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/Composition";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_in_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/IN_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/Composition";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_in_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/IN_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/Composition";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_in_5 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/IN_5";
pub const STRATEGY: &str = "https://uor.foundation/proof/Composition";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_in_6 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/IN_6";
pub const STRATEGY: &str = "https://uor.foundation/proof/Composition";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_in_7 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/IN_7";
pub const STRATEGY: &str = "https://uor.foundation/proof/Composition";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_in_8 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/IN_8";
pub const STRATEGY: &str = "https://uor.foundation/proof/Composition";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_in_9 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/IN_9";
pub const STRATEGY: &str = "https://uor.foundation/proof/Composition";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_as_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/AS_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/Composition";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_as_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/AS_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/Composition";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_as_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/AS_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/Composition";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_as_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/AS_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/Composition";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_mo_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/MO_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_mo_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/MO_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_mo_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/MO_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_mo_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/MO_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_mo_5 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/MO_5";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_op_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/OP_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_op_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/OP_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_op_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/OP_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_op_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/OP_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_op_5 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/OP_5";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_fx_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/FX_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_fx_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/FX_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_fx_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/FX_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_fx_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/FX_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_fx_5 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/FX_5";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_fx_6 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/FX_6";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_fx_7 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/FX_7";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_pr_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/PR_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_pr_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/PR_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_pr_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/PR_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_pr_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/PR_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_pr_5 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/PR_5";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_cg_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/CG_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_cg_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/CG_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_dis_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/DIS_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_dis_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/DIS_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_par_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/PAR_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_par_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/PAR_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_par_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/PAR_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_par_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/PAR_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_par_5 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/PAR_5";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ho_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/HO_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ho_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/HO_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ho_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/HO_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ho_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/HO_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_str_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/STR_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_str_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/STR_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_str_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/STR_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_str_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/STR_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_str_5 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/STR_5";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_str_6 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/STR_6";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_flr_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/FLR_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_flr_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/FLR_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_flr_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/FLR_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_flr_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/FLR_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_flr_5 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/FLR_5";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_flr_6 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/FLR_6";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ln_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/LN_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ln_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/LN_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ln_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/LN_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ln_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/LN_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ln_5 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/LN_5";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ln_6 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/LN_6";
pub const STRATEGY: &str = "https://uor.foundation/proof/EulerPoincare";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_sb_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/SB_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_sb_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/SB_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_sb_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/SB_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/EulerPoincare";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_sb_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/SB_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_sb_5 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/SB_5";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_sb_6 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/SB_6";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_br_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/BR_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_br_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/BR_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_br_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/BR_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_br_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/BR_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_br_5 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/BR_5";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_rg_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/RG_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/EulerPoincare";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_rg_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/RG_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_rg_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/RG_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_rg_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/RG_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_io_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/IO_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_io_2 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/IO_2";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_io_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/IO_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_io_4 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/IO_4";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_io_5 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/IO_5";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_cs_6 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/CS_6";
pub const STRATEGY: &str = "https://uor.foundation/proof/Simplification";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_cs_7 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/CS_7";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ih_1 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/IH_1";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ih_2a {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/IH_2a";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ih_2b {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/IH_2b";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}
pub mod prf_ih_3 {
pub const PROVES_IDENTITY: &str = "https://uor.foundation/op/IH_3";
pub const STRATEGY: &str = "https://uor.foundation/proof/RingAxiom";
pub const UNIVERSAL_SCOPE: bool = true;
pub const VERIFIED: bool = true;
}