Conformance Guide

Overview

The UOR conformance suite validates all workspace artifacts against professional standards. Run it with:

cargo run --bin uor-conformance

What Is Validated

Ontology Conformance

ArtifactStandardValidator
public/uor.foundation.jsonldJSON-LD 1.1validators/ontology/jsonld.rs
public/uor.foundation.jsonldOWL 2 DLvalidators/ontology/owl.rs
Inventory counts33/441/891/3356validators/ontology/inventory.rs
public/uor.foundation.ttlRDF 1.1 / Turtle 1.1validators/ontology/rdf.rs
public/uor.term.ebnfISO/IEC 14977 EBNFvalidators/ontology/ebnf.rs
276 test instance graphsSHACLvalidators/ontology/shacl.rs

Documentation Conformance

CheckValidator
All 441 classes documentedvalidators/docs/completeness.rs
Namespace pages accuratevalidators/docs/accuracy.rs
Diataxis structure presentvalidators/docs/structure.rs
No broken internal linksvalidators/docs/links.rs

Website Conformance

CheckStandardValidator
HTML5 structureHTML5validators/website/html.rs
AccessibilityWCAG 2.1 AAvalidators/website/accessibility.rs
Namespace page coverage—validators/website/coverage.rs
CSS validityCSSvalidators/website/css.rs
Internal links—validators/website/links.rs

SHACL Tests 34–53 (v3.4.0–v4.0.0)

TestWhat It Validates
test34CompletenessCandidate, CompletenessWitness, CompletenessResolver (Amendment 25)
test35CompletenessCertificate, CompletenessAuditTrail, witnessCount (Amendment 25)
test36W16Ring, W16bitWidth, W16capacity, nextWittLevel chain (Amendment 26)
test37WittLevelBinding, universallyValid, verifiedAtLevel (Amendment 26)
test38Session, BindingAccumulator, SessionResolver, SessionQuery (Amendment 27)
test39SessionBoundary, SessionBoundaryType vocabulary individuals (Amendment 27)
test40TypeSynthesisGoal, TypeSynthesisResolver, synthesisGoal (Amendment 28)
test41Full synthesis round-trip: Goal→Resolver→Result→SynthesizedType→MinimalConstraintBasis→SynthesisSignature→SynthesisStep (Amendment 28)
test42QuantumLift, LiftObstruction (obstructionTrivial=true), IncrementalCompletenessResolver (Amendment 29)
test43SpectralSequencePage: page 1 (differentialIsZero=false) → page 2 (convergedAt=2) (Amendment 29)
test44FlatType + HolonomyGroup (order=1) + Monodromy (isTrivialMonodromy=true) + ClosedConstraintPath (Amendment 30)
test45TwistedType + non-trivial HolonomyGroup + LiftObstruction (obstructionTrivial=false) + LiftObstructionClass + DihedralElement (Amendment 30)
test46MonodromyResolver end-to-end pipeline: ConstrainedType → HolonomyGroup → MonodromyClass → TwistedType (Amendment 30)
test47ThermoObservable + hardnessEstimate + ComputationTrace + residualEntropy (Amendment 31)
test48CatastropheObservable + phaseN/phaseG + PhaseBoundaryType + onResonanceLine (Amendment 31)
test49FreeRank + SiteIndex + ancillaSite + reversibleStrategy (Amendment 31)
test50JacobianGuidedResolver + ResolutionState + guidingJacobian (Amendment 31)
test51ProductType + component assertions + FreeRank (Amendment 31)
test52SumType + variant assertions (Amendment 31)
test53SuperposedSiteState + amplitude + SuperpositionResolver (Amendment 32)

SHACL Tests 54–100 (v4.1.0–v5.0.0)

TestWhat It Validates
test54GroundedContext + groundingDegree + contextTemperature + isGrounded (Amendment 33)
test55GroundingWitness + witnessBinding + witnessStep + residualFreeRank (Amendment 33)
test56DomainGroundingRecord + groundedDomain + domainFreeRank (Amendment 33)
test57GroundingPhase vocabulary: Open, PartialGrounding, FullGrounding (Amendment 33)
test58GroundingCertificate + certifiedGrounding + groundingWitness (Amendment 33)
test59GroundingAwareResolver + usedGrounding (Amendment 33)
test60ImpossibilityWitness + forbidsSignature + impossibilityReason (Amendment 34)
test61MorphospaceRecord + achievabilityStatus + verifiedAtLevel (Amendment 34)
test62MorphospaceBoundary + boundaryType (Amendment 34)
test63ForbiddenSignature + targetForbidden (Amendment 34)
test64AchievabilityStatus vocabulary: Achievable, Forbidden (Amendment 34)
test65GeodesicTrace + isGeodesic + geodesicCertificate + stepEntropyCost (Amendment 35)
test66GeodesicCertificate + certifiedGeodesic + geodesicTrace (Amendment 35)
test67GeodesicViolation + violationReason (Amendment 35)
test68GeodesicValidator + validateGeodesic (Amendment 35)
test69GeodesicTrace + adiabaticallyOrdered + jacobianAtStep (Amendment 35)
test70MeasurementResolver + collapseAmplitude + collapsedSite (Amendment 36)
test71MeasurementEvent + preCollapseEntropy + postCollapseLandauerCost (Amendment 36)
test72MeasurementCertificate + certifiedMeasurement + vonNeumannEntropy + landauerCost (Amendment 36)
test73CollapsedSiteState + collapsedFrom + survivingAmplitude (Amendment 36)
test74QuantumThermodynamicDomain + QuantumThermodynamic verification domain (Amendment 36)

SHACL Tests 75–84 (v4.2.0)

TestWhat It Validates
test75PartitionProduct + leftFactor + rightFactor + exteriorCriteria (Amendment 37)
test76PartitionCoproduct + leftSummand + rightSummand + isExhaustive (Amendment 37)
test77MeasurementOutcome + outcomeValue + outcomeProbability (Amendment 37)
test78GeodesicEvidenceBundle + evidenceBundle + isAR1Ordered + isDC10Selected (Amendment 37)
test79BornRuleVerification + bornRuleVerified (Amendment 37)
test80NormativeComputationType + normalizationVerified + holonomyClassified (Amendment 37)
test81SpectralSequencePage + wittLevelPredecessor linkage (Amendment 37)
test82amplitudeVector on resolver + priorAmplitudeVector (Amendment 37)
test83amplitudeVector on trace + rotationExponent + reflectionBit (Amendment 37)
test84VerificationDomain individual with enumVariant annotation (Amendment 37)

SHACL Tests 85–100 (v5.0.0)

TestWhat It Validates
test85W16Ring individual grounding at Witt level W16 (Amendment 39)
test86QuantumLift with trivial LiftObstruction — Q1 lift (Amendment 39)
test87SpectralSequencePage convergence at E2 — Q1 scale (Amendment 39)
test88Non-trivial LiftObstruction with TwistedType — Q1 scale (Amendment 39)
test89LiftRefinementSuggestion with obstructionClass — Q1 failure path (Amendment 39)
test90Resolved lift — SynthesizedType at Q1 with basisSize increment (Amendment 39)
test91TypeSynthesisGoal with Q1 target signature (Amendment 39)
test92SynthesisCheckpoint with checkpointStep and checkpointState (Amendment 38/39)
test93SynthesisSignature with achievabilityStatus — Q1 scale (Amendment 39)
test94SynthesizedType with TypeSynthesisResult + MinimalConstraintBasis (Amendment 39)
test95Unreachable signature rejection — Forbidden status (Amendment 39)
test96GeodesicTrace at Q1 ring scale with GeodesicCertificate (Amendment 40)
test97GeodesicEvidenceBundle with isAR1Ordered (Amendment 40)
test98GeodesicEvidenceBundle with isDC10Selected (Amendment 40)
test99MeasurementCertificate with BornRuleVerification at Q1 (Amendment 40)
test100Full normative chain — Trace → Certificate → EvidenceBundle (Amendment 40)

SHACL Tests 101–110 (v5.1.0)

TestWhat It Validates
test101Flat LiftChain Q0→Q3 with trivial ObstructionChain (Amendment 41)
test102Twisted LiftChain Q0→Q2 with non-trivial LiftObstruction (Amendment 41)
test103ObstructionChain with obstructionCount=0 and isFlat=true (Amendment 41)
test104ObstructionChain with 2 obstructionAt assertions, isFlat=false (Amendment 41)
test105LiftChainCertificate with certifiedChain, chainAuditTrail, levels (Amendment 41)
test106ChainAuditTrail with chainStepCount matching chain (Amendment 41)
test107TowerCompletenessResolver with Q0 source, Q47 target (Amendment 41)
test108InductiveProof with baseCase, inductiveStep, validForKAtLeast (Amendment 41)
test109Identity with validityKind=ParametricLower, validKMin=3 (Amendment 41)
test110Full tower round-trip: Q0 → LiftChain → LiftChainCertificate → Q_k (Amendment 41)

SHACL Tests 111–112 (v5.2.0)

TestWhat It Validates
test111Address with digestAlgorithm, canonicalBytes, blake3-prefixed digest (Amendment 43)
test112Address at Q1 with 6-byte canonical form and sha256 algorithm (Amendment 43)

SHACL Tests 113–123 (v5.3.0)

TestWhat It Validates
test113CC_PINS and CC_COST_SITE identity grounding (Amendment 44)
test114jsat_RR, jsat_CR, jsat_CC identity grounding (Amendment 44)
test115D_8 and D_9 identity grounding (Amendment 44)
test116EXP_1, EXP_2, EXP_3 identity grounding (Amendment 44)
test117ST_3, ST_4, ST_5 identity grounding (Amendment 44)
test118TS_8, TS_9, TS_10 identity grounding (Amendment 44)
test119QT_8 and QT_9 identity grounding (Amendment 44)
test120COEFF_1 identity grounding (Amendment 44)
test121GO_1 identity grounding (Amendment 44)
test122SR_6 and SR_7 identity grounding (Amendment 44)
test123QM_6 identity grounding (Amendment 44)

SHACL Tests 124–157 (v5.4.0)

TestWhat It Validates
test124(removed — Glyph deleted from foundation)
test125op:DihedralGroup class (Amendment 45)
test126op:ValidityScopeKind enum class (Amendment 45)
test127resolver:WittLevelResolver class (Amendment 45)
test128observable:StratumObservable class (Amendment 45)
test129observable:MetricObservable class (Amendment 45)
test130observable:PathObservable class (Amendment 45)
test131observable:ReductionObservable class (Amendment 45)
test132observable:HolonomyObservable class (Amendment 45)
test133observable:IncompatibilityMetric class (Amendment 45)
test134observable:StratumValue class (Amendment 45)
test135observable:StratumDelta class (Amendment 45)
test136observable:StratumTrajectory class (Amendment 45)
test137observable:PathLength class (Amendment 45)
test138observable:TotalVariation class (Amendment 45)
test139observable:WindingNumber class (Amendment 45)
test140observable:ReductionLength class (Amendment 45)
test141observable:ReductionCount class (Amendment 45)
test142observable:CatastropheThreshold class (Amendment 45)
test143observable:CatastropheCount class (Amendment 45)
test144observable:Commutator class (Amendment 45)
test145observable:CurvatureFlux class (Amendment 45)
test146observable:ParallelTransport class (Amendment 45)
test147observable:ReductionEntropy class (Amendment 45)
test148observable:PhaseBoundaryType enum class (Amendment 45)
test149homology:FaceMap class (Amendment 45)
test150homology:NerveFunctor class (Amendment 45)
test151homology:ChainFunctor class (Amendment 45)
test152cohomology:RestrictionMap class (Amendment 45)
test153proof:CoherenceProof class (Amendment 45)
test154derivation:DerivationStep class (Amendment 45)
test155trace:ComputationStep class (Amendment 45)
test156trace:TraceMetrics class (Amendment 45)
test157cert:IsometryCertificate class (Amendment 45)

SHACL Tests 158–159 (v5.4.0)

TestWhat It Validates
test158cert:LiftChainCertificate with verified + chainStepCount (Amendment 46)
test159cert:ChainAuditTrail class (Amendment 46)

SHACL Tests 160–163 (v5.6.0)

TestWhat It Validates
test160state:SharedContext + state:ContextLease multi-session leasing with two site-disjoint leases (Amendment 48)
test161resolver:ExecutionPolicy + resolver:ExecutionPolicyKind scheduling vocabulary (MinFreeCountFirst individual) (Amendment 48)
test162state:SessionComposition with composedFrom, compositionCompatible, compositionResult, towerConsistencyVerified (Amendment 48)
test163Distributed grounding: SharedContext → two ContextLeases → SessionComposition → GroundedContext (Amendment 48)

SHACL Tests 164–167 (v6.0.0)

TestWhat It Validates
test164morphism:Embedding with sourceQuantum and targetQuantum (Amendment 49)
test165morphism:Action with morphism:group=op:DihedralGroup and actionIsometry (Amendment 49)
test166state:SessionBoundaryType vocabulary — ExplicitReset named individual (Amendment 49)
test167type:MetricAxis vocabulary — verticalAxis named individual (Amendment 49)

Adding a New SHACL Test

  1. Create conformance/src/tests/fixtures/test<n>_<name>.rs
  2. Define a pub const TEST<N>_<NAME>: &str = r#"..."#; with Turtle source
  3. Export it from conformance/src/tests/fixtures/mod.rs
  4. Register it in conformance/src/validators/ontology/shacl.rs
  5. Add a check function validate_<name>(src: &str) -> Result<(), String>

Running Individual Validators

The conformance library is structured so each validator can be called independently:

use uor_conformance::validators::ontology::owl;

let report = owl::validate();
assert!(report.all_passed());

CI Integration

The CI workflow runs full conformance as the last step:

- run: cargo run --bin uor-conformance  # exits non-zero on failure