UOR Conformance Shapes

IRI: https://uor.foundation/conformance/
Prefix: conformance:
Space: bridge
Comment: SHACL-equivalent constraint shapes defining what a Prism implementation must provide at each extension point. Machine-verifiable contracts.

This is a bridge-space namespace in the Resolve stage of the PRISM pipeline. It provides the resolution infrastructure — queries, partitions, observables, proofs, derivations, and traces that transform inputs into certified results.

Learn more: Pipeline Overview

Class hierarchy

Imports

https://uor.foundation/schema/
https://uor.foundation/type/
https://uor.foundation/op/
https://uor.foundation/effect/
https://uor.foundation/predicate/
https://uor.foundation/parallel/
https://uor.foundation/stream/
https://uor.foundation/linear/
https://uor.foundation/region/
https://uor.foundation/failure/
https://uor.foundation/recursion/
https://uor.foundation/boundary/
https://uor.foundation/reduction/
https://uor.foundation/cert/
https://uor.foundation/trace/
https://uor.foundation/state/
https://uor.foundation/morphism/

Classes

Name	Subclass Of	Comment
`Shape`	`Thing`	A constraint shape that a Prism-declared extension must satisfy. Analogous to sh:NodeShape in SHACL.
`PropertyConstraint`	`Thing`	A single required property within a shape: the property URI, its expected range, minimum and maximum cardinality.
`WittLevelShape`	`Shape`	Shape for declaring a new WittLevel beyond Q3.
`EffectShape`	`Shape`	Shape for declaring an ExternalEffect.
`ParallelShape`	`Shape`	Shape for declaring a ParallelProduct.
`StreamShape`	`Shape`	Shape for declaring a ProductiveStream (targets stream:Unfold, the coinductive constructor).
`DispatchShape`	`Shape`	Shape for declaring a new DispatchRule in a DispatchTable.
`LeaseShape`	`Shape`	Shape for declaring a Lease with LinearSite allocation.
`GroundingShape`	`Shape`	Shape for declaring a GroundingMap from surface data to the ring.
`ValidationResult`	`Thing`	The result of validating an extension against a shape: conforms (boolean), and violation details if non-conformant.
`PredicateShape`	`Shape`	Shape for user-declared predicates. Requires a bounded evaluator (termination witness) and input type declaration.
`WitnessDatum`	`Thing`	Opaque ring element witness. Cannot be constructed outside the foundation crate — only produced by reduction evaluation or the two-phase minting boundary.
`GroundedCoordinate`	`Thing`	Boundary crossing intermediate for a single grounded coordinate value. Not a WitnessDatum — must be validated and minted by the foundation.
`GroundedTuple`	`Thing`	Boundary crossing intermediate for a fixed-size array of GroundedCoordinate values. Stack-resident, no heap allocation.
`GroundedValueMarker`	`Thing`	Sealed marker trait class. Implemented only for GroundedCoordinate and GroundedTuple. Prevents downstream crates from substituting arbitrary types.
`ValidatedWrapper`	`Thing`	Generic validation-proof wrapper. Proves that the inner value was produced by the conformance checker, not fabricated by Prism code.
`WitnessDerivation`	`Thing`	Opaque derivation trace that can only be extended by the rewrite engine. Records rewrite step count and root term content address.
`WitnessSiteBudget`	`Thing`	Opaque site budget that can only be decremented by PinningEffect and incremented by UnbindingEffect — never by direct mutation.
`ShapeViolationReport`	`Thing`	Structured violation diagnostic carrying the shape IRI, constraint IRI, property IRI, expected range, cardinality bounds, and violation kind.
`ViolationKind`	`Thing`	The kind of shape violation: Missing, TypeMismatch, CardinalityViolation, ValueCheck, or LevelMismatch.
`CompileUnitBuilder`	`Thing`	Builder for CompileUnit admission. Collects rootTerm, quantumLevelCeiling, thermodynamicBudget, and targetDomains. Validates against CompileUnitShape.
`EffectDeclaration`	`Thing`	Builder for EffectShape. Collects effect name, target sites, budget delta, and commutation flag.
`GroundingDeclaration`	`Thing`	Builder for GroundingShape. Collects source type, ring mapping, and invertibility contract.
`DispatchDeclaration`	`Thing`	Builder for DispatchShape. Collects predicate, target resolver, and dispatch priority.
`LeaseDeclaration`	`Thing`	Builder for LeaseShape. Collects linear site and lease scope.
`StreamDeclaration`	`Thing`	Builder for StreamShape. Collects unfold seed, step term, and productivity witness.
`PredicateDeclaration`	`Thing`	Builder for PredicateShape. Collects input type, evaluator term, and termination witness.
`ParallelDeclaration`	`Thing`	Builder for ParallelShape. Collects site partition and disjointness witness.
`WittLevelDeclaration`	`Thing`	Builder for WittLevelShape. Collects declared bit width, cycle size, and predecessor level.
`MintingSession`	`Thing`	Boundary session state tracker. Records crossing count and idempotency flag for the two-phase minting boundary.

Properties

Name	Kind	Functional	Domain	Range	Comment
`targetClass`	Object	true	`Shape`	`Class`	The OWL class that instances of this shape must belong to.
`requiredProperty`	Object	false	`Shape`	`PropertyConstraint`	A required property in this shape.
`constraintProperty`	Object	true	`PropertyConstraint`	`Thing`	The property URI that must be present.
`constraintRange`	Object	true	`PropertyConstraint`	`Class`	The expected range of the required property.
`validationShape`	Object	true	`ValidationResult`	`Shape`	The shape that was validated against.
`validationTarget`	Object	true	`ValidationResult`	`Thing`	The instance that was validated.
`minCount`	Datatype	true	`PropertyConstraint`	`nonNegativeInteger`	Minimum cardinality of the required property.
`maxCount`	Datatype	true	`PropertyConstraint`	`nonNegativeInteger`	Maximum cardinality (0 = unbounded).
`conforms`	Datatype	true	`ValidationResult`	`boolean`	True iff the target satisfies all constraints of the shape.
`witnessLevel`	Datatype	true	`WitnessDatum`	`nonNegativeInteger`	The quantum level at which this witness datum was minted.
`witnessBytes`	Datatype	true	`WitnessDatum`	`hexBinary`	The raw byte representation of this witness datum.
`coordinateLevel`	Object	true	`GroundedCoordinate`	`WittLevel`	The quantum level tag of this grounded coordinate.
`validatedInner`	Object	true	`ValidatedWrapper`	`Thing`	The validated inner value wrapped by this proof.
`shapeIri`	Datatype	true	`ShapeViolationReport`	`string`	IRI of the conformance:Shape that was validated against.
`constraintIri`	Datatype	true	`ShapeViolationReport`	`string`	IRI of the specific PropertyConstraint that failed.
`propertyIri`	Datatype	true	`ShapeViolationReport`	`string`	IRI of the property that was missing or invalid.
`expectedRange`	Datatype	true	`ShapeViolationReport`	`string`	The expected range class IRI for the violated property.
`violationMinCount`	Datatype	true	`ShapeViolationReport`	`nonNegativeInteger`	The minimum cardinality from the violated constraint.
`violationMaxCount`	Datatype	true	`ShapeViolationReport`	`nonNegativeInteger`	The maximum cardinality from the violated constraint (0 = unbounded).
`violationKind`	Object	true	`ShapeViolationReport`	`ViolationKind`	The kind of violation that occurred.
`builderRootTerm`	Object	true	`CompileUnitBuilder`	`Term`	The root term expression for the CompileUnit.
`builderWittLevelCeiling`	Object	true	`CompileUnitBuilder`	`WittLevel`	The widest quantum level the computation may reference.
`builderThermodynamicBudget`	Datatype	true	`CompileUnitBuilder`	`decimal`	Landauer-bounded energy budget in kBT ln 2 units.
`builderTargetDomains`	Object	false	`CompileUnitBuilder`	`VerificationDomain`	Verification domains targeted by the CompileUnit.
`effectName`	Datatype	true	`EffectDeclaration`	`string`	The name of the declared effect.
`targetSites`	Datatype	false	`EffectDeclaration`	`nonNegativeInteger`	Site coordinates this effect reads or writes.
`budgetDelta`	Datatype	true	`EffectDeclaration`	`integer`	The site budget delta (positive = increment, negative = decrement).
`commutationFlag`	Datatype	true	`EffectDeclaration`	`boolean`	Whether this effect commutes with effects on disjoint sites.
`groundingSourceType`	Object	true	`GroundingDeclaration`	`TypeDefinition`	The source type of incoming external data.
`ringMapping`	Datatype	true	`GroundingDeclaration`	`string`	Description of the mapping from surface data to ring.
`invertibilityContract`	Datatype	true	`GroundingDeclaration`	`boolean`	Whether the grounding map is invertible.
`dispatchPredicate`	Object	true	`DispatchDeclaration`	`PredicateExpression`	The predicate expression guarding this dispatch rule.
`targetResolver`	Object	true	`DispatchDeclaration`	`Resolver`	The resolver to dispatch to when the predicate holds.
`dispatchPriority`	Datatype	true	`DispatchDeclaration`	`nonNegativeInteger`	Priority ordering for this dispatch rule (lower = first).
`linearSite`	Datatype	true	`LeaseDeclaration`	`nonNegativeInteger`	The site coordinate allocated linearly by this lease.
`leaseScope`	Datatype	true	`LeaseDeclaration`	`string`	The scope within which this lease is valid.
`unfoldSeed`	Object	true	`StreamDeclaration`	`Term`	The seed term for the stream unfold constructor.
`stepTerm`	Object	true	`StreamDeclaration`	`Term`	The step function term for the stream unfold.
`productivityWitness`	Datatype	true	`StreamDeclaration`	`string`	Evidence that the stream is productive (always produces a next element).
`predicateInputType`	Object	true	`PredicateDeclaration`	`TypeDefinition`	The input type for the declared predicate.
`evaluatorTerm`	Object	true	`PredicateDeclaration`	`Term`	The evaluator term for the declared predicate.
`terminationWitness`	Datatype	true	`PredicateDeclaration`	`string`	Evidence that the predicate evaluator terminates on all inputs.
`sitePartition`	Object	true	`ParallelDeclaration`	`Partition`	The site partition for the parallel composition.
`disjointnessWitness`	Datatype	true	`ParallelDeclaration`	`string`	Evidence that the site partition components are pairwise disjoint.
`declaredBitWidth`	Datatype	true	`WittLevelDeclaration`	`positiveInteger`	The declared bit width for this quantum level.
`declaredCycleSize`	Datatype	true	`WittLevelDeclaration`	`nonNegativeInteger`	The declared number of ring states at this level.
`predecessorLevel`	Object	true	`WittLevelDeclaration`	`WittLevel`	The predecessor quantum level in the chain.
`sessionCrossingCount`	Datatype	true	`MintingSession`	`nonNegativeInteger`	Total boundary crossings in this minting session.
`sessionIsIdempotent`	Datatype	true	`MintingSession`	`boolean`	Whether applying this session's boundary effect twice equals applying it once.

Named Individuals

Name	Type	Comment
`CompileUnitShape`	`Shape`	Shape validating that a CompileUnit carries all required properties before reduction admission. The unitAddress property is NOT required — it is computed by stage_initialization after shape validation passes.
`targetClass`: `CompileUnit` `requiredProperty`: `compileUnit_rootTerm_constraint` `requiredProperty`: `compileUnit_unitWittLevel_constraint` `requiredProperty`: `compileUnit_thermodynamicBudget_constraint` `requiredProperty`: `compileUnit_targetDomains_constraint`
`compileUnit_rootTerm_constraint`	`PropertyConstraint`	Exactly one root term is required. Range is schema:Term.
`constraintProperty`: `rootTerm` `constraintRange`: `Term` `minCount`: 1 `maxCount`: 1
`compileUnit_unitWittLevel_constraint`	`PropertyConstraint`	Exactly one quantum level is required. Range is schema:WittLevel.
`constraintProperty`: `unitWittLevel` `constraintRange`: `WittLevel` `minCount`: 1 `maxCount`: 1
`compileUnit_thermodynamicBudget_constraint`	`PropertyConstraint`	Exactly one thermodynamic budget is required. Shape validates presence and type; the BudgetSolvencyCheck preflight validates the value against the Landauer bound.
`constraintProperty`: `thermodynamicBudget` `constraintRange`: `decimal` `minCount`: 1 `maxCount`: 1
`compileUnit_targetDomains_constraint`	`PropertyConstraint`	At least one target verification domain is required. maxCount 0 means unbounded.
`constraintProperty`: `targetDomains` `constraintRange`: `VerificationDomain` `minCount`: 1 `maxCount`: 0
`Missing`	`ViolationKind`	Required property was not set on the builder.
`TypeMismatch`	`ViolationKind`	Property was set but its value is not an instance of the constraintRange.
`CardinalityViolation`	`ViolationKind`	Cardinality violated: too few or too many values provided.
`ValueCheck`	`ViolationKind`	Value-dependent check failed (Tier 2). For example, thermodynamic budget insufficient for Landauer bound.
`LevelMismatch`	`ViolationKind`	A term's quantum level annotation exceeds the CompileUnit ceiling, or binary operation operands are at different levels without an intervening lift or project.