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.
`InteractionShape`	`Shape`	Shape describing the required surface of an InteractionDeclaration consumed by the foundation's InteractionDeclarationBuilder: peer protocol, convergence predicate, and commutator state class. Rejects builders missing any of the three.
`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.
`PreludeExport`	`Thing`	An ontology fact recording that a particular OWL class should appear in the foundation crate's `prelude` module re-exports. The v0.2.1 Rust codegen walks PreludeExport individuals filtered by exportsClass to assemble the prelude membership list.

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.
`surfaceForm`	Datatype	true	`Shape`	`string`	Top-level EBNF non-terminal name this Shape generates (e.g., "compile-unit-decl" for CompileUnitShape).
`surfaceKeyword`	Datatype	true	`PropertyConstraint`	`string`	Literal surface keyword used in the conformance grammar for this property constraint (e.g., "root_term", "witt_level_ceiling").
`surfaceProduction`	Datatype	true	`PropertyConstraint`	`string`	EBNF non-terminal that the value at this constraint slot must match (e.g., "program" for Term ranges, "name" for WittLevel ranges, "decimal-literal" for xsd:decimal, "domain-set" for non-functional IRI lists).
`exportsClass`	Object	true	`PreludeExport`	`Class`	The OWL class IRI that the foundation crate's prelude module should re-export.
`exportRustName`	Datatype	true	`PreludeExport`	`string`	The Rust identifier under which the prelude exposes this symbol. Codegen uses this when the class's generated Rust name differs from a desired prelude alias.

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` `surfaceForm`: compile-unit-decl `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 `surfaceKeyword`: root_term `surfaceProduction`: program
`compileUnit_unitWittLevel_constraint`	`PropertyConstraint`	Exactly one quantum level is required. Range is schema:WittLevel.
`constraintProperty`: `unitWittLevel` `constraintRange`: `WittLevel` `minCount`: 1 `maxCount`: 1 `surfaceKeyword`: witt_level_ceiling `surfaceProduction`: name
`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 `surfaceKeyword`: thermodynamic_budget `surfaceProduction`: decimal-literal
`compileUnit_targetDomains_constraint`	`PropertyConstraint`	At least one target verification domain is required. maxCount 0 means unbounded.
`constraintProperty`: `targetDomains` `constraintRange`: `VerificationDomain` `minCount`: 1 `maxCount`: 0 `surfaceKeyword`: target_domains `surfaceProduction`: domain-set
`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.
`DispatchShapeInstance`	`Shape`	Shape instance validating predicate:DispatchRule declarations against the dispatch-rule-decl grammar.
`targetClass`: `DispatchRule` `surfaceForm`: dispatch-rule-decl `requiredProperty`: `dispatch_predicate_constraint` `requiredProperty`: `dispatch_target_constraint` `requiredProperty`: `dispatch_priority_constraint`
`dispatch_predicate_constraint`	`PropertyConstraint`	Exactly one predicate term selecting this dispatch rule.
`constraintProperty`: `dispatchPredicate` `constraintRange`: `Term` `minCount`: 1 `maxCount`: 1 `surfaceKeyword`: predicate `surfaceProduction`: term
`dispatch_target_constraint`	`PropertyConstraint`	The resolver class invoked when the predicate holds.
`constraintProperty`: `dispatchTarget` `constraintRange`: `Resolver` `minCount`: 1 `maxCount`: 1 `surfaceKeyword`: target_resolver `surfaceProduction`: name
`dispatch_priority_constraint`	`PropertyConstraint`	Non-negative integer evaluation order; lower values evaluate first.
`constraintProperty`: `dispatchPriority` `constraintRange`: `nonNegativeInteger` `minCount`: 1 `maxCount`: 1 `surfaceKeyword`: priority `surfaceProduction`: integer-literal
`WittLevelShapeInstance`	`Shape`	Shape instance validating schema:WittLevel declarations against the witt-level-decl grammar.
`targetClass`: `WittLevel` `surfaceForm`: witt-level-decl `requiredProperty`: `wittLevel_bitWidth_constraint` `requiredProperty`: `wittLevel_cycleSize_constraint` `requiredProperty`: `wittLevel_predecessorLevel_constraint`
`wittLevel_bitWidth_constraint`	`PropertyConstraint`	Bit width must equal 8·(k+1) for some non-negative integer k.
`constraintProperty`: `bitsWidth` `constraintRange`: `positiveInteger` `minCount`: 1 `maxCount`: 1 `surfaceKeyword`: bit_width `surfaceProduction`: integer-literal
`wittLevel_cycleSize_constraint`	`PropertyConstraint`	Cycle size must equal 2^bit_width.
`constraintProperty`: `cycleSize` `constraintRange`: `nonNegativeInteger` `minCount`: 1 `maxCount`: 1 `surfaceKeyword`: cycle_size `surfaceProduction`: integer-literal
`wittLevel_predecessorLevel_constraint`	`PropertyConstraint`	The predecessor WittLevel individual whose nextWittLevel will be updated to point at this new level.
`constraintProperty`: `wittLevelPredecessor` `constraintRange`: `WittLevel` `minCount`: 1 `maxCount`: 1 `surfaceKeyword`: predecessor_level `surfaceProduction`: name
`PredicateShapeInstance`	`Shape`	Shape instance for predicate:Predicate declarations.
`targetClass`: `Predicate` `surfaceForm`: predicate-decl `requiredProperty`: `predicate_inputType_constraint` `requiredProperty`: `predicate_evaluator_constraint` `requiredProperty`: `predicate_terminationWitness_constraint`
`predicate_inputType_constraint`	`PropertyConstraint`	Input type the predicate evaluates over.
`constraintProperty`: `evaluatesOver` `constraintRange`: `TypeDefinition` `minCount`: 1 `maxCount`: 1 `surfaceKeyword`: input_type `surfaceProduction`: type-expr
`predicate_evaluator_constraint`	`PropertyConstraint`	The evaluator term producing a boolean.
`constraintProperty`: `evaluatorTerm` `constraintRange`: `Term` `minCount`: 1 `maxCount`: 1 `surfaceKeyword`: evaluator `surfaceProduction`: term
`predicate_terminationWitness_constraint`	`PropertyConstraint`	IRI of a proof:Proof attesting that the evaluator halts on all inputs.
`constraintProperty`: `terminationWitness` `constraintRange`: `string` `minCount`: 1 `maxCount`: 1 `surfaceKeyword`: termination_witness `surfaceProduction`: string-literal
`ParallelShapeInstance`	`Shape`	Shape instance for parallel:ParallelProduct declarations.
`targetClass`: `ParallelProduct` `surfaceForm`: parallel-decl `requiredProperty`: `parallel_sitePartition_constraint` `requiredProperty`: `parallel_disjointnessWitness_constraint`
`parallel_sitePartition_constraint`	`PropertyConstraint`	The site partition this parallel product is over.
`constraintProperty`: `sitePartition` `constraintRange`: `Partition` `minCount`: 1 `maxCount`: 1 `surfaceKeyword`: site_partition `surfaceProduction`: name
`parallel_disjointnessWitness_constraint`	`PropertyConstraint`	IRI of a proof of pairwise disjointness of the partition components.
`constraintProperty`: `disjointnessWitness` `constraintRange`: `string` `minCount`: 1 `maxCount`: 1 `surfaceKeyword`: disjointness_witness `surfaceProduction`: string-literal
`StreamShapeInstance`	`Shape`	Shape instance for stream:ProductiveStream declarations.
`targetClass`: `ProductiveStream` `surfaceForm`: stream-decl `requiredProperty`: `stream_unfoldSeed_constraint` `requiredProperty`: `stream_step_constraint` `requiredProperty`: `stream_productivityWitness_constraint`
`stream_unfoldSeed_constraint`	`PropertyConstraint`	Initial seed value from which the stream unfolds.
`constraintProperty`: `unfoldSeed` `constraintRange`: `Term` `minCount`: 1 `maxCount`: 1 `surfaceKeyword`: unfold_seed `surfaceProduction`: term
`stream_step_constraint`	`PropertyConstraint`	Function from current seed to (head, next_seed).
`constraintProperty`: `stepTerm` `constraintRange`: `Term` `minCount`: 1 `maxCount`: 1 `surfaceKeyword`: step `surfaceProduction`: term
`stream_productivityWitness_constraint`	`PropertyConstraint`	IRI of a proof of stream productivity (coinductive well-foundedness).
`constraintProperty`: `productivityWitness` `constraintRange`: `string` `minCount`: 1 `maxCount`: 1 `surfaceKeyword`: productivity_witness `surfaceProduction`: string-literal
`LeaseShapeInstance`	`Shape`	Shape instance for state:ContextLease declarations.
`targetClass`: `ContextLease` `surfaceForm`: lease-decl `requiredProperty`: `lease_linearSite_constraint` `requiredProperty`: `lease_leaseScope_constraint`
`lease_linearSite_constraint`	`PropertyConstraint`	Site coordinate allocated linearly by this lease.
`constraintProperty`: `linearSite` `constraintRange`: `nonNegativeInteger` `minCount`: 1 `maxCount`: 1 `surfaceKeyword`: linear_site `surfaceProduction`: integer-literal
`lease_leaseScope_constraint`	`PropertyConstraint`	Lexical or session scope within which the lease is valid.
`constraintProperty`: `leaseScope` `constraintRange`: `string` `minCount`: 1 `maxCount`: 1 `surfaceKeyword`: lease_scope `surfaceProduction`: string-literal
`preludeExport_Datum`	`PreludeExport`	Prelude re-export for schema:Datum.
`exportsClass`: `Datum`
`preludeExport_Term`	`PreludeExport`	Prelude re-export for schema:Term.
`exportsClass`: `Term`
`preludeExport_WittLevel`	`PreludeExport`	Prelude re-export for schema:WittLevel.
`exportsClass`: `WittLevel`
`preludeExport_CompileUnit`	`PreludeExport`	Prelude re-export for reduction:CompileUnit.
`exportsClass`: `CompileUnit`
`preludeExport_CompileUnitBuilder`	`PreludeExport`	Prelude re-export for conformance:CompileUnitBuilder.
`exportsClass`: `CompileUnitBuilder`
`preludeExport_ValidatedWrapper`	`PreludeExport`	Prelude re-export for conformance:ValidatedWrapper (exposed in Rust as `Validated`).
`exportsClass`: `ValidatedWrapper` `exportRustName`: Validated
`preludeExport_ShapeViolationReport`	`PreludeExport`	Prelude re-export for conformance:ShapeViolationReport.
`exportsClass`: `ShapeViolationReport`
`preludeExport_ValidationResult`	`PreludeExport`	Prelude re-export for conformance:ValidationResult.
`exportsClass`: `ValidationResult`
`preludeExport_GroundingCertificate`	`PreludeExport`	Prelude re-export for cert:GroundingCertificate.
`exportsClass`: `GroundingCertificate`
`preludeExport_LiftChainCertificate`	`PreludeExport`	Prelude re-export for cert:LiftChainCertificate.
`exportsClass`: `LiftChainCertificate`
`preludeExport_InhabitanceCertificate`	`PreludeExport`	Prelude re-export for cert:InhabitanceCertificate (v0.2.1).
`exportsClass`: `InhabitanceCertificate`
`preludeExport_CompletenessCertificate`	`PreludeExport`	Prelude re-export for cert:CompletenessCertificate.
`exportsClass`: `CompletenessCertificate`
`preludeExport_ConstrainedType`	`PreludeExport`	Prelude re-export for type:ConstrainedType.
`exportsClass`: `ConstrainedType`
`preludeExport_CompleteType`	`PreludeExport`	Prelude re-export for type:CompleteType.
`exportsClass`: `CompleteType`
`preludeExport_GroundedContext`	`PreludeExport`	Prelude re-export for state:GroundedContext.
`exportsClass`: `GroundedContext`
`preludeExport_TermArena`	`PreludeExport`	Prelude re-export for the foundation enforcement TermArena type. Backed by conformance:WitnessDatum since TermArena has no direct OWL class but is the term-storage container.
`exportsClass`: `WitnessDatum` `exportRustName`: TermArena