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.
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 | IRI | Subclass Of | Disjoint With | Comment |
|---|---|---|---|---|
| Shape | https://uor.foundation/conformance/Shape | http://www.w3.org/2002/07/owl#Thing | A constraint shape that a Prism-declared extension must satisfy. Analogous to sh:NodeShape in SHACL. | |
| PropertyConstraint | https://uor.foundation/conformance/PropertyConstraint | http://www.w3.org/2002/07/owl#Thing | A single required property within a shape: the property URI, its expected range, minimum and maximum cardinality. | |
| WittLevelShape | https://uor.foundation/conformance/WittLevelShape | https://uor.foundation/conformance/Shape | Shape for declaring a new WittLevel beyond Q3. | |
| EffectShape | https://uor.foundation/conformance/EffectShape | https://uor.foundation/conformance/Shape | Shape for declaring an ExternalEffect. | |
| ParallelShape | https://uor.foundation/conformance/ParallelShape | https://uor.foundation/conformance/Shape | Shape for declaring a ParallelProduct. | |
| StreamShape | https://uor.foundation/conformance/StreamShape | https://uor.foundation/conformance/Shape | Shape for declaring a ProductiveStream (targets stream:Unfold, the coinductive constructor). | |
| DispatchShape | https://uor.foundation/conformance/DispatchShape | https://uor.foundation/conformance/Shape | Shape for declaring a new DispatchRule in a DispatchTable. | |
| LeaseShape | https://uor.foundation/conformance/LeaseShape | https://uor.foundation/conformance/Shape | Shape for declaring a Lease with LinearSite allocation. | |
| GroundingShape | https://uor.foundation/conformance/GroundingShape | https://uor.foundation/conformance/Shape | Shape for declaring a GroundingMap from surface data to the ring. | |
| ValidationResult | https://uor.foundation/conformance/ValidationResult | http://www.w3.org/2002/07/owl#Thing | The result of validating an extension against a shape: conforms (boolean), and violation details if non-conformant. | |
| PredicateShape | https://uor.foundation/conformance/PredicateShape | https://uor.foundation/conformance/Shape | Shape for user-declared predicates. Requires a bounded evaluator (termination witness) and input type declaration. | |
| WitnessDatum | https://uor.foundation/conformance/WitnessDatum | http://www.w3.org/2002/07/owl#Thing | Opaque ring element witness. Cannot be constructed outside the foundation crate — only produced by reduction evaluation or the two-phase minting boundary. | |
| GroundedCoordinate | https://uor.foundation/conformance/GroundedCoordinate | http://www.w3.org/2002/07/owl#Thing | Boundary crossing intermediate for a single grounded coordinate value. Not a WitnessDatum — must be validated and minted by the foundation. | |
| GroundedTuple | https://uor.foundation/conformance/GroundedTuple | http://www.w3.org/2002/07/owl#Thing | Boundary crossing intermediate for a fixed-size array of GroundedCoordinate values. Stack-resident, no heap allocation. | |
| GroundedValueMarker | https://uor.foundation/conformance/GroundedValueMarker | http://www.w3.org/2002/07/owl#Thing | Sealed marker trait class. Implemented only for GroundedCoordinate and GroundedTuple. Prevents downstream crates from substituting arbitrary types. | |
| ValidatedWrapper | https://uor.foundation/conformance/ValidatedWrapper | http://www.w3.org/2002/07/owl#Thing | Generic validation-proof wrapper. Proves that the inner value was produced by the conformance checker, not fabricated by Prism code. | |
| WitnessDerivation | https://uor.foundation/conformance/WitnessDerivation | http://www.w3.org/2002/07/owl#Thing | Opaque derivation trace that can only be extended by the rewrite engine. Records rewrite step count and root term content address. | |
| WitnessSiteBudget | https://uor.foundation/conformance/WitnessSiteBudget | http://www.w3.org/2002/07/owl#Thing | Opaque site budget that can only be decremented by PinningEffect and incremented by UnbindingEffect — never by direct mutation. | |
| ShapeViolationReport | https://uor.foundation/conformance/ShapeViolationReport | http://www.w3.org/2002/07/owl#Thing | Structured violation diagnostic carrying the shape IRI, constraint IRI, property IRI, expected range, cardinality bounds, and violation kind. | |
| ViolationKind | https://uor.foundation/conformance/ViolationKind | http://www.w3.org/2002/07/owl#Thing | The kind of shape violation: Missing, TypeMismatch, CardinalityViolation, ValueCheck, or LevelMismatch. | |
| CompileUnitBuilder | https://uor.foundation/conformance/CompileUnitBuilder | http://www.w3.org/2002/07/owl#Thing | Builder for CompileUnit admission. Collects rootTerm, quantumLevelCeiling, thermodynamicBudget, and targetDomains. Validates against CompileUnitShape. | |
| EffectDeclaration | https://uor.foundation/conformance/EffectDeclaration | http://www.w3.org/2002/07/owl#Thing | Builder for EffectShape. Collects effect name, target sites, budget delta, and commutation flag. | |
| GroundingDeclaration | https://uor.foundation/conformance/GroundingDeclaration | http://www.w3.org/2002/07/owl#Thing | Builder for GroundingShape. Collects source type, ring mapping, and invertibility contract. | |
| DispatchDeclaration | https://uor.foundation/conformance/DispatchDeclaration | http://www.w3.org/2002/07/owl#Thing | Builder for DispatchShape. Collects predicate, target resolver, and dispatch priority. | |
| LeaseDeclaration | https://uor.foundation/conformance/LeaseDeclaration | http://www.w3.org/2002/07/owl#Thing | Builder for LeaseShape. Collects linear site and lease scope. | |
| StreamDeclaration | https://uor.foundation/conformance/StreamDeclaration | http://www.w3.org/2002/07/owl#Thing | Builder for StreamShape. Collects unfold seed, step term, and productivity witness. | |
| PredicateDeclaration | https://uor.foundation/conformance/PredicateDeclaration | http://www.w3.org/2002/07/owl#Thing | Builder for PredicateShape. Collects input type, evaluator term, and termination witness. | |
| ParallelDeclaration | https://uor.foundation/conformance/ParallelDeclaration | http://www.w3.org/2002/07/owl#Thing | Builder for ParallelShape. Collects site partition and disjointness witness. | |
| WittLevelDeclaration | https://uor.foundation/conformance/WittLevelDeclaration | http://www.w3.org/2002/07/owl#Thing | Builder for WittLevelShape. Collects declared bit width, cycle size, and predecessor level. | |
| MintingSession | https://uor.foundation/conformance/MintingSession | http://www.w3.org/2002/07/owl#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 | https://uor.foundation/conformance/Shape | http://www.w3.org/2002/07/owl#Class | The OWL class that instances of this shape must belong to. |
| requiredProperty | Object | false | https://uor.foundation/conformance/Shape | https://uor.foundation/conformance/PropertyConstraint | A required property in this shape. |
| constraintProperty | Object | true | https://uor.foundation/conformance/PropertyConstraint | http://www.w3.org/2002/07/owl#Thing | The property URI that must be present. |
| constraintRange | Object | true | https://uor.foundation/conformance/PropertyConstraint | http://www.w3.org/2002/07/owl#Class | The expected range of the required property. |
| validationShape | Object | true | https://uor.foundation/conformance/ValidationResult | https://uor.foundation/conformance/Shape | The shape that was validated against. |
| validationTarget | Object | true | https://uor.foundation/conformance/ValidationResult | http://www.w3.org/2002/07/owl#Thing | The instance that was validated. |
| minCount | Datatype | true | https://uor.foundation/conformance/PropertyConstraint | http://www.w3.org/2001/XMLSchema#nonNegativeInteger | Minimum cardinality of the required property. |
| maxCount | Datatype | true | https://uor.foundation/conformance/PropertyConstraint | http://www.w3.org/2001/XMLSchema#nonNegativeInteger | Maximum cardinality (0 = unbounded). |
| conforms | Datatype | true | https://uor.foundation/conformance/ValidationResult | http://www.w3.org/2001/XMLSchema#boolean | True iff the target satisfies all constraints of the shape. |
| witnessLevel | Datatype | true | https://uor.foundation/conformance/WitnessDatum | http://www.w3.org/2001/XMLSchema#nonNegativeInteger | The quantum level at which this witness datum was minted. |
| witnessBytes | Datatype | true | https://uor.foundation/conformance/WitnessDatum | http://www.w3.org/2001/XMLSchema#hexBinary | The raw byte representation of this witness datum. |
| coordinateLevel | Object | true | https://uor.foundation/conformance/GroundedCoordinate | https://uor.foundation/schema/WittLevel | The quantum level tag of this grounded coordinate. |
| validatedInner | Object | true | https://uor.foundation/conformance/ValidatedWrapper | http://www.w3.org/2002/07/owl#Thing | The validated inner value wrapped by this proof. |
| shapeIri | Datatype | true | https://uor.foundation/conformance/ShapeViolationReport | http://www.w3.org/2001/XMLSchema#string | IRI of the conformance:Shape that was validated against. |
| constraintIri | Datatype | true | https://uor.foundation/conformance/ShapeViolationReport | http://www.w3.org/2001/XMLSchema#string | IRI of the specific PropertyConstraint that failed. |
| propertyIri | Datatype | true | https://uor.foundation/conformance/ShapeViolationReport | http://www.w3.org/2001/XMLSchema#string | IRI of the property that was missing or invalid. |
| expectedRange | Datatype | true | https://uor.foundation/conformance/ShapeViolationReport | http://www.w3.org/2001/XMLSchema#string | The expected range class IRI for the violated property. |
| violationMinCount | Datatype | true | https://uor.foundation/conformance/ShapeViolationReport | http://www.w3.org/2001/XMLSchema#nonNegativeInteger | The minimum cardinality from the violated constraint. |
| violationMaxCount | Datatype | true | https://uor.foundation/conformance/ShapeViolationReport | http://www.w3.org/2001/XMLSchema#nonNegativeInteger | The maximum cardinality from the violated constraint (0 = unbounded). |
| violationKind | Object | true | https://uor.foundation/conformance/ShapeViolationReport | https://uor.foundation/conformance/ViolationKind | The kind of violation that occurred. |
| builderRootTerm | Object | true | https://uor.foundation/conformance/CompileUnitBuilder | https://uor.foundation/schema/Term | The root term expression for the CompileUnit. |
| builderWittLevelCeiling | Object | true | https://uor.foundation/conformance/CompileUnitBuilder | https://uor.foundation/schema/WittLevel | The widest quantum level the computation may reference. |
| builderThermodynamicBudget | Datatype | true | https://uor.foundation/conformance/CompileUnitBuilder | http://www.w3.org/2001/XMLSchema#decimal | Landauer-bounded energy budget in kBT ln 2 units. |
| builderTargetDomains | Object | false | https://uor.foundation/conformance/CompileUnitBuilder | https://uor.foundation/op/VerificationDomain | Verification domains targeted by the CompileUnit. |
| effectName | Datatype | true | https://uor.foundation/conformance/EffectDeclaration | http://www.w3.org/2001/XMLSchema#string | The name of the declared effect. |
| targetSites | Datatype | false | https://uor.foundation/conformance/EffectDeclaration | http://www.w3.org/2001/XMLSchema#nonNegativeInteger | Site coordinates this effect reads or writes. |
| budgetDelta | Datatype | true | https://uor.foundation/conformance/EffectDeclaration | http://www.w3.org/2001/XMLSchema#integer | The site budget delta (positive = increment, negative = decrement). |
| commutationFlag | Datatype | true | https://uor.foundation/conformance/EffectDeclaration | http://www.w3.org/2001/XMLSchema#boolean | Whether this effect commutes with effects on disjoint sites. |
| groundingSourceType | Object | true | https://uor.foundation/conformance/GroundingDeclaration | https://uor.foundation/type/TypeDefinition | The source type of incoming external data. |
| ringMapping | Datatype | true | https://uor.foundation/conformance/GroundingDeclaration | http://www.w3.org/2001/XMLSchema#string | Description of the mapping from surface data to ring. |
| invertibilityContract | Datatype | true | https://uor.foundation/conformance/GroundingDeclaration | http://www.w3.org/2001/XMLSchema#boolean | Whether the grounding map is invertible. |
| dispatchPredicate | Object | true | https://uor.foundation/conformance/DispatchDeclaration | https://uor.foundation/reduction/PredicateExpression | The predicate expression guarding this dispatch rule. |
| targetResolver | Object | true | https://uor.foundation/conformance/DispatchDeclaration | https://uor.foundation/resolver/Resolver | The resolver to dispatch to when the predicate holds. |
| dispatchPriority | Datatype | true | https://uor.foundation/conformance/DispatchDeclaration | http://www.w3.org/2001/XMLSchema#nonNegativeInteger | Priority ordering for this dispatch rule (lower = first). |
| linearSite | Datatype | true | https://uor.foundation/conformance/LeaseDeclaration | http://www.w3.org/2001/XMLSchema#nonNegativeInteger | The site coordinate allocated linearly by this lease. |
| leaseScope | Datatype | true | https://uor.foundation/conformance/LeaseDeclaration | http://www.w3.org/2001/XMLSchema#string | The scope within which this lease is valid. |
| unfoldSeed | Object | true | https://uor.foundation/conformance/StreamDeclaration | https://uor.foundation/schema/Term | The seed term for the stream unfold constructor. |
| stepTerm | Object | true | https://uor.foundation/conformance/StreamDeclaration | https://uor.foundation/schema/Term | The step function term for the stream unfold. |
| productivityWitness | Datatype | true | https://uor.foundation/conformance/StreamDeclaration | http://www.w3.org/2001/XMLSchema#string | Evidence that the stream is productive (always produces a next element). |
| predicateInputType | Object | true | https://uor.foundation/conformance/PredicateDeclaration | https://uor.foundation/type/TypeDefinition | The input type for the declared predicate. |
| evaluatorTerm | Object | true | https://uor.foundation/conformance/PredicateDeclaration | https://uor.foundation/schema/Term | The evaluator term for the declared predicate. |
| terminationWitness | Datatype | true | https://uor.foundation/conformance/PredicateDeclaration | http://www.w3.org/2001/XMLSchema#string | Evidence that the predicate evaluator terminates on all inputs. |
| sitePartition | Object | true | https://uor.foundation/conformance/ParallelDeclaration | https://uor.foundation/partition/Partition | The site partition for the parallel composition. |
| disjointnessWitness | Datatype | true | https://uor.foundation/conformance/ParallelDeclaration | http://www.w3.org/2001/XMLSchema#string | Evidence that the site partition components are pairwise disjoint. |
| declaredBitWidth | Datatype | true | https://uor.foundation/conformance/WittLevelDeclaration | http://www.w3.org/2001/XMLSchema#positiveInteger | The declared bit width for this quantum level. |
| declaredCycleSize | Datatype | true | https://uor.foundation/conformance/WittLevelDeclaration | http://www.w3.org/2001/XMLSchema#nonNegativeInteger | The declared number of ring states at this level. |
| predecessorLevel | Object | true | https://uor.foundation/conformance/WittLevelDeclaration | https://uor.foundation/schema/WittLevel | The predecessor quantum level in the chain. |
| sessionCrossingCount | Datatype | true | https://uor.foundation/conformance/MintingSession | http://www.w3.org/2001/XMLSchema#nonNegativeInteger | Total boundary crossings in this minting session. |
| sessionIsIdempotent | Datatype | true | https://uor.foundation/conformance/MintingSession | http://www.w3.org/2001/XMLSchema#boolean | Whether applying this session's boundary effect twice equals applying it once. |
Named Individuals
| Name | Type | Properties | Comment |
|---|---|---|---|
| CompileUnitShape | https://uor.foundation/conformance/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. |
| compileUnit_rootTerm_constraint | https://uor.foundation/conformance/PropertyConstraint |
| Exactly one root term is required. Range is schema:Term. |
| compileUnit_unitWittLevel_constraint | https://uor.foundation/conformance/PropertyConstraint |
| Exactly one quantum level is required. Range is schema:WittLevel. |
| compileUnit_thermodynamicBudget_constraint | https://uor.foundation/conformance/PropertyConstraint |
| Exactly one thermodynamic budget is required. Shape validates presence and type; the BudgetSolvencyCheck preflight validates the value against the Landauer bound. |
| compileUnit_targetDomains_constraint | https://uor.foundation/conformance/PropertyConstraint |
| At least one target verification domain is required. maxCount 0 means unbounded. |
| Missing | https://uor.foundation/conformance/ViolationKind | — | Required property was not set on the builder. |
| TypeMismatch | https://uor.foundation/conformance/ViolationKind | — | Property was set but its value is not an instance of the constraintRange. |
| CardinalityViolation | https://uor.foundation/conformance/ViolationKind | — | Cardinality violated: too few or too many values provided. |
| ValueCheck | https://uor.foundation/conformance/ViolationKind | — | Value-dependent check failed (Tier 2). For example, thermodynamic budget insufficient for Landauer bound. |
| LevelMismatch | https://uor.foundation/conformance/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. |