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

NameIRISubclass OfDisjoint WithComment
Shapehttps://uor.foundation/conformance/Shapehttp://www.w3.org/2002/07/owl#ThingA constraint shape that a Prism-declared extension must satisfy. Analogous to sh:NodeShape in SHACL.
PropertyConstrainthttps://uor.foundation/conformance/PropertyConstrainthttp://www.w3.org/2002/07/owl#ThingA single required property within a shape: the property URI, its expected range, minimum and maximum cardinality.
WittLevelShapehttps://uor.foundation/conformance/WittLevelShapehttps://uor.foundation/conformance/ShapeShape for declaring a new WittLevel beyond Q3.
EffectShapehttps://uor.foundation/conformance/EffectShapehttps://uor.foundation/conformance/ShapeShape for declaring an ExternalEffect.
ParallelShapehttps://uor.foundation/conformance/ParallelShapehttps://uor.foundation/conformance/ShapeShape for declaring a ParallelProduct.
StreamShapehttps://uor.foundation/conformance/StreamShapehttps://uor.foundation/conformance/ShapeShape for declaring a ProductiveStream (targets stream:Unfold, the coinductive constructor).
DispatchShapehttps://uor.foundation/conformance/DispatchShapehttps://uor.foundation/conformance/ShapeShape for declaring a new DispatchRule in a DispatchTable.
LeaseShapehttps://uor.foundation/conformance/LeaseShapehttps://uor.foundation/conformance/ShapeShape for declaring a Lease with LinearSite allocation.
GroundingShapehttps://uor.foundation/conformance/GroundingShapehttps://uor.foundation/conformance/ShapeShape for declaring a GroundingMap from surface data to the ring.
ValidationResulthttps://uor.foundation/conformance/ValidationResulthttp://www.w3.org/2002/07/owl#ThingThe result of validating an extension against a shape: conforms (boolean), and violation details if non-conformant.
PredicateShapehttps://uor.foundation/conformance/PredicateShapehttps://uor.foundation/conformance/ShapeShape for user-declared predicates. Requires a bounded evaluator (termination witness) and input type declaration.
InteractionShapehttps://uor.foundation/conformance/InteractionShapehttps://uor.foundation/conformance/ShapeShape 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.
WitnessDatumhttps://uor.foundation/conformance/WitnessDatumhttp://www.w3.org/2002/07/owl#ThingOpaque ring element witness. Cannot be constructed outside the foundation crate — only produced by reduction evaluation or the two-phase minting boundary.
GroundedCoordinatehttps://uor.foundation/conformance/GroundedCoordinatehttp://www.w3.org/2002/07/owl#ThingBoundary crossing intermediate for a single grounded coordinate value. Not a WitnessDatum — must be validated and minted by the foundation.
GroundedTuplehttps://uor.foundation/conformance/GroundedTuplehttp://www.w3.org/2002/07/owl#ThingBoundary crossing intermediate for a fixed-size array of GroundedCoordinate values. Stack-resident, no heap allocation.
GroundedValueMarkerhttps://uor.foundation/conformance/GroundedValueMarkerhttp://www.w3.org/2002/07/owl#ThingSealed marker trait class. Implemented only for GroundedCoordinate and GroundedTuple. Prevents downstream crates from substituting arbitrary types.
ValidatedWrapperhttps://uor.foundation/conformance/ValidatedWrapperhttp://www.w3.org/2002/07/owl#ThingGeneric validation-proof wrapper. Proves that the inner value was produced by the conformance checker, not fabricated by Prism code.
WitnessDerivationhttps://uor.foundation/conformance/WitnessDerivationhttp://www.w3.org/2002/07/owl#ThingOpaque derivation trace that can only be extended by the rewrite engine. Records rewrite step count and root term content address.
WitnessSiteBudgethttps://uor.foundation/conformance/WitnessSiteBudgethttp://www.w3.org/2002/07/owl#ThingOpaque site budget that can only be decremented by PinningEffect and incremented by UnbindingEffect — never by direct mutation.
ShapeViolationReporthttps://uor.foundation/conformance/ShapeViolationReporthttp://www.w3.org/2002/07/owl#ThingStructured violation diagnostic carrying the shape IRI, constraint IRI, property IRI, expected range, cardinality bounds, and violation kind.
ViolationKindhttps://uor.foundation/conformance/ViolationKindhttp://www.w3.org/2002/07/owl#ThingThe kind of shape violation: Missing, TypeMismatch, CardinalityViolation, ValueCheck, or LevelMismatch.
CompileUnitBuilderhttps://uor.foundation/conformance/CompileUnitBuilderhttp://www.w3.org/2002/07/owl#ThingBuilder for CompileUnit admission. Collects rootTerm, quantumLevelCeiling, thermodynamicBudget, and targetDomains. Validates against CompileUnitShape.
EffectDeclarationhttps://uor.foundation/conformance/EffectDeclarationhttp://www.w3.org/2002/07/owl#ThingBuilder for EffectShape. Collects effect name, target sites, budget delta, and commutation flag.
GroundingDeclarationhttps://uor.foundation/conformance/GroundingDeclarationhttp://www.w3.org/2002/07/owl#ThingBuilder for GroundingShape. Collects source type, ring mapping, and invertibility contract.
DispatchDeclarationhttps://uor.foundation/conformance/DispatchDeclarationhttp://www.w3.org/2002/07/owl#ThingBuilder for DispatchShape. Collects predicate, target resolver, and dispatch priority.
LeaseDeclarationhttps://uor.foundation/conformance/LeaseDeclarationhttp://www.w3.org/2002/07/owl#ThingBuilder for LeaseShape. Collects linear site and lease scope.
StreamDeclarationhttps://uor.foundation/conformance/StreamDeclarationhttp://www.w3.org/2002/07/owl#ThingBuilder for StreamShape. Collects unfold seed, step term, and productivity witness.
PredicateDeclarationhttps://uor.foundation/conformance/PredicateDeclarationhttp://www.w3.org/2002/07/owl#ThingBuilder for PredicateShape. Collects input type, evaluator term, and termination witness.
ParallelDeclarationhttps://uor.foundation/conformance/ParallelDeclarationhttp://www.w3.org/2002/07/owl#ThingBuilder for ParallelShape. Collects site partition and disjointness witness.
WittLevelDeclarationhttps://uor.foundation/conformance/WittLevelDeclarationhttp://www.w3.org/2002/07/owl#ThingBuilder for WittLevelShape. Collects declared bit width, cycle size, and predecessor level.
MintingSessionhttps://uor.foundation/conformance/MintingSessionhttp://www.w3.org/2002/07/owl#ThingBoundary session state tracker. Records crossing count and idempotency flag for the two-phase minting boundary.
PreludeExporthttps://uor.foundation/conformance/PreludeExporthttp://www.w3.org/2002/07/owl#ThingAn 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

NameKindFunctionalDomainRangeComment
targetClassObjecttruehttps://uor.foundation/conformance/Shapehttp://www.w3.org/2002/07/owl#ClassThe OWL class that instances of this shape must belong to.
requiredPropertyObjectfalsehttps://uor.foundation/conformance/Shapehttps://uor.foundation/conformance/PropertyConstraintA required property in this shape.
constraintPropertyObjecttruehttps://uor.foundation/conformance/PropertyConstrainthttp://www.w3.org/2002/07/owl#ThingThe property URI that must be present.
constraintRangeObjecttruehttps://uor.foundation/conformance/PropertyConstrainthttp://www.w3.org/2002/07/owl#ClassThe expected range of the required property.
validationShapeObjecttruehttps://uor.foundation/conformance/ValidationResulthttps://uor.foundation/conformance/ShapeThe shape that was validated against.
validationTargetObjecttruehttps://uor.foundation/conformance/ValidationResulthttp://www.w3.org/2002/07/owl#ThingThe instance that was validated.
minCountDatatypetruehttps://uor.foundation/conformance/PropertyConstrainthttp://www.w3.org/2001/XMLSchema#nonNegativeIntegerMinimum cardinality of the required property.
maxCountDatatypetruehttps://uor.foundation/conformance/PropertyConstrainthttp://www.w3.org/2001/XMLSchema#nonNegativeIntegerMaximum cardinality (0 = unbounded).
conformsDatatypetruehttps://uor.foundation/conformance/ValidationResulthttp://www.w3.org/2001/XMLSchema#booleanTrue iff the target satisfies all constraints of the shape.
witnessLevelDatatypetruehttps://uor.foundation/conformance/WitnessDatumhttp://www.w3.org/2001/XMLSchema#nonNegativeIntegerThe quantum level at which this witness datum was minted.
witnessBytesDatatypetruehttps://uor.foundation/conformance/WitnessDatumhttp://www.w3.org/2001/XMLSchema#hexBinaryThe raw byte representation of this witness datum.
coordinateLevelObjecttruehttps://uor.foundation/conformance/GroundedCoordinatehttps://uor.foundation/schema/WittLevelThe quantum level tag of this grounded coordinate.
validatedInnerObjecttruehttps://uor.foundation/conformance/ValidatedWrapperhttp://www.w3.org/2002/07/owl#ThingThe validated inner value wrapped by this proof.
shapeIriDatatypetruehttps://uor.foundation/conformance/ShapeViolationReporthttp://www.w3.org/2001/XMLSchema#stringIRI of the conformance:Shape that was validated against.
constraintIriDatatypetruehttps://uor.foundation/conformance/ShapeViolationReporthttp://www.w3.org/2001/XMLSchema#stringIRI of the specific PropertyConstraint that failed.
propertyIriDatatypetruehttps://uor.foundation/conformance/ShapeViolationReporthttp://www.w3.org/2001/XMLSchema#stringIRI of the property that was missing or invalid.
expectedRangeDatatypetruehttps://uor.foundation/conformance/ShapeViolationReporthttp://www.w3.org/2001/XMLSchema#stringThe expected range class IRI for the violated property.
violationMinCountDatatypetruehttps://uor.foundation/conformance/ShapeViolationReporthttp://www.w3.org/2001/XMLSchema#nonNegativeIntegerThe minimum cardinality from the violated constraint.
violationMaxCountDatatypetruehttps://uor.foundation/conformance/ShapeViolationReporthttp://www.w3.org/2001/XMLSchema#nonNegativeIntegerThe maximum cardinality from the violated constraint (0 = unbounded).
violationKindObjecttruehttps://uor.foundation/conformance/ShapeViolationReporthttps://uor.foundation/conformance/ViolationKindThe kind of violation that occurred.
builderRootTermObjecttruehttps://uor.foundation/conformance/CompileUnitBuilderhttps://uor.foundation/schema/TermThe root term expression for the CompileUnit.
builderWittLevelCeilingObjecttruehttps://uor.foundation/conformance/CompileUnitBuilderhttps://uor.foundation/schema/WittLevelThe widest quantum level the computation may reference.
builderThermodynamicBudgetDatatypetruehttps://uor.foundation/conformance/CompileUnitBuilderhttp://www.w3.org/2001/XMLSchema#decimalLandauer-bounded energy budget in kBT ln 2 units.
builderTargetDomainsObjectfalsehttps://uor.foundation/conformance/CompileUnitBuilderhttps://uor.foundation/op/VerificationDomainVerification domains targeted by the CompileUnit.
effectNameDatatypetruehttps://uor.foundation/conformance/EffectDeclarationhttp://www.w3.org/2001/XMLSchema#stringThe name of the declared effect.
targetSitesDatatypefalsehttps://uor.foundation/conformance/EffectDeclarationhttp://www.w3.org/2001/XMLSchema#nonNegativeIntegerSite coordinates this effect reads or writes.
budgetDeltaDatatypetruehttps://uor.foundation/conformance/EffectDeclarationhttp://www.w3.org/2001/XMLSchema#integerThe site budget delta (positive = increment, negative = decrement).
commutationFlagDatatypetruehttps://uor.foundation/conformance/EffectDeclarationhttp://www.w3.org/2001/XMLSchema#booleanWhether this effect commutes with effects on disjoint sites.
groundingSourceTypeObjecttruehttps://uor.foundation/conformance/GroundingDeclarationhttps://uor.foundation/type/TypeDefinitionThe source type of incoming external data.
ringMappingDatatypetruehttps://uor.foundation/conformance/GroundingDeclarationhttp://www.w3.org/2001/XMLSchema#stringDescription of the mapping from surface data to ring.
invertibilityContractDatatypetruehttps://uor.foundation/conformance/GroundingDeclarationhttp://www.w3.org/2001/XMLSchema#booleanWhether the grounding map is invertible.
dispatchPredicateObjecttruehttps://uor.foundation/conformance/DispatchDeclarationhttps://uor.foundation/reduction/PredicateExpressionThe predicate expression guarding this dispatch rule.
targetResolverObjecttruehttps://uor.foundation/conformance/DispatchDeclarationhttps://uor.foundation/resolver/ResolverThe resolver to dispatch to when the predicate holds.
dispatchPriorityDatatypetruehttps://uor.foundation/conformance/DispatchDeclarationhttp://www.w3.org/2001/XMLSchema#nonNegativeIntegerPriority ordering for this dispatch rule (lower = first).
linearSiteDatatypetruehttps://uor.foundation/conformance/LeaseDeclarationhttp://www.w3.org/2001/XMLSchema#nonNegativeIntegerThe site coordinate allocated linearly by this lease.
leaseScopeDatatypetruehttps://uor.foundation/conformance/LeaseDeclarationhttp://www.w3.org/2001/XMLSchema#stringThe scope within which this lease is valid.
unfoldSeedObjecttruehttps://uor.foundation/conformance/StreamDeclarationhttps://uor.foundation/schema/TermThe seed term for the stream unfold constructor.
stepTermObjecttruehttps://uor.foundation/conformance/StreamDeclarationhttps://uor.foundation/schema/TermThe step function term for the stream unfold.
productivityWitnessDatatypetruehttps://uor.foundation/conformance/StreamDeclarationhttp://www.w3.org/2001/XMLSchema#stringEvidence that the stream is productive (always produces a next element).
predicateInputTypeObjecttruehttps://uor.foundation/conformance/PredicateDeclarationhttps://uor.foundation/type/TypeDefinitionThe input type for the declared predicate.
evaluatorTermObjecttruehttps://uor.foundation/conformance/PredicateDeclarationhttps://uor.foundation/schema/TermThe evaluator term for the declared predicate.
terminationWitnessDatatypetruehttps://uor.foundation/conformance/PredicateDeclarationhttp://www.w3.org/2001/XMLSchema#stringEvidence that the predicate evaluator terminates on all inputs.
sitePartitionObjecttruehttps://uor.foundation/conformance/ParallelDeclarationhttps://uor.foundation/partition/PartitionThe site partition for the parallel composition.
disjointnessWitnessDatatypetruehttps://uor.foundation/conformance/ParallelDeclarationhttp://www.w3.org/2001/XMLSchema#stringEvidence that the site partition components are pairwise disjoint.
declaredBitWidthDatatypetruehttps://uor.foundation/conformance/WittLevelDeclarationhttp://www.w3.org/2001/XMLSchema#positiveIntegerThe declared bit width for this quantum level.
declaredCycleSizeDatatypetruehttps://uor.foundation/conformance/WittLevelDeclarationhttp://www.w3.org/2001/XMLSchema#nonNegativeIntegerThe declared number of ring states at this level.
predecessorLevelObjecttruehttps://uor.foundation/conformance/WittLevelDeclarationhttps://uor.foundation/schema/WittLevelThe predecessor quantum level in the chain.
sessionCrossingCountDatatypetruehttps://uor.foundation/conformance/MintingSessionhttp://www.w3.org/2001/XMLSchema#nonNegativeIntegerTotal boundary crossings in this minting session.
sessionIsIdempotentDatatypetruehttps://uor.foundation/conformance/MintingSessionhttp://www.w3.org/2001/XMLSchema#booleanWhether applying this session's boundary effect twice equals applying it once.
surfaceFormDatatypetruehttps://uor.foundation/conformance/Shapehttp://www.w3.org/2001/XMLSchema#stringTop-level EBNF non-terminal name this Shape generates (e.g., "compile-unit-decl" for CompileUnitShape).
surfaceKeywordDatatypetruehttps://uor.foundation/conformance/PropertyConstrainthttp://www.w3.org/2001/XMLSchema#stringLiteral surface keyword used in the conformance grammar for this property constraint (e.g., "root_term", "witt_level_ceiling").
surfaceProductionDatatypetruehttps://uor.foundation/conformance/PropertyConstrainthttp://www.w3.org/2001/XMLSchema#stringEBNF 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).
exportsClassObjecttruehttps://uor.foundation/conformance/PreludeExporthttp://www.w3.org/2002/07/owl#ClassThe OWL class IRI that the foundation crate's prelude module should re-export.
exportRustNameDatatypetruehttps://uor.foundation/conformance/PreludeExporthttp://www.w3.org/2001/XMLSchema#stringThe 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

NameTypePropertiesComment
CompileUnitShapehttps://uor.foundation/conformance/Shape
  • targetClass: https://uor.foundation/reduction/CompileUnit
  • surfaceForm: compile-unit-decl
  • requiredProperty: https://uor.foundation/conformance/compileUnit_rootTerm_constraint
  • requiredProperty: https://uor.foundation/conformance/compileUnit_unitWittLevel_constraint
  • requiredProperty: https://uor.foundation/conformance/compileUnit_thermodynamicBudget_constraint
  • requiredProperty: https://uor.foundation/conformance/compileUnit_targetDomains_constraint
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_constrainthttps://uor.foundation/conformance/PropertyConstraint
  • constraintProperty: https://uor.foundation/reduction/rootTerm
  • constraintRange: https://uor.foundation/schema/Term
  • minCount: 1
  • maxCount: 1
  • surfaceKeyword: root_term
  • surfaceProduction: program
Exactly one root term is required. Range is schema:Term.
compileUnit_unitWittLevel_constrainthttps://uor.foundation/conformance/PropertyConstraint
  • constraintProperty: https://uor.foundation/reduction/unitWittLevel
  • constraintRange: https://uor.foundation/schema/WittLevel
  • minCount: 1
  • maxCount: 1
  • surfaceKeyword: witt_level_ceiling
  • surfaceProduction: name
Exactly one quantum level is required. Range is schema:WittLevel.
compileUnit_thermodynamicBudget_constrainthttps://uor.foundation/conformance/PropertyConstraint
  • constraintProperty: https://uor.foundation/reduction/thermodynamicBudget
  • constraintRange: http://www.w3.org/2001/XMLSchema#decimal
  • minCount: 1
  • maxCount: 1
  • surfaceKeyword: thermodynamic_budget
  • surfaceProduction: decimal-literal
Exactly one thermodynamic budget is required. Shape validates presence and type; the BudgetSolvencyCheck preflight validates the value against the Landauer bound.
compileUnit_targetDomains_constrainthttps://uor.foundation/conformance/PropertyConstraint
  • constraintProperty: https://uor.foundation/reduction/targetDomains
  • constraintRange: https://uor.foundation/op/VerificationDomain
  • minCount: 1
  • maxCount: 0
  • surfaceKeyword: target_domains
  • surfaceProduction: domain-set
At least one target verification domain is required. maxCount 0 means unbounded.
Missinghttps://uor.foundation/conformance/ViolationKind—Required property was not set on the builder.
TypeMismatchhttps://uor.foundation/conformance/ViolationKind—Property was set but its value is not an instance of the constraintRange.
CardinalityViolationhttps://uor.foundation/conformance/ViolationKind—Cardinality violated: too few or too many values provided.
ValueCheckhttps://uor.foundation/conformance/ViolationKind—Value-dependent check failed (Tier 2). For example, thermodynamic budget insufficient for Landauer bound.
LevelMismatchhttps://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.
DispatchShapeInstancehttps://uor.foundation/conformance/Shape
  • targetClass: https://uor.foundation/predicate/DispatchRule
  • surfaceForm: dispatch-rule-decl
  • requiredProperty: https://uor.foundation/conformance/dispatch_predicate_constraint
  • requiredProperty: https://uor.foundation/conformance/dispatch_target_constraint
  • requiredProperty: https://uor.foundation/conformance/dispatch_priority_constraint
Shape instance validating predicate:DispatchRule declarations against the dispatch-rule-decl grammar.
dispatch_predicate_constrainthttps://uor.foundation/conformance/PropertyConstraint
  • constraintProperty: https://uor.foundation/predicate/dispatchPredicate
  • constraintRange: https://uor.foundation/schema/Term
  • minCount: 1
  • maxCount: 1
  • surfaceKeyword: predicate
  • surfaceProduction: term
Exactly one predicate term selecting this dispatch rule.
dispatch_target_constrainthttps://uor.foundation/conformance/PropertyConstraint
  • constraintProperty: https://uor.foundation/predicate/dispatchTarget
  • constraintRange: https://uor.foundation/resolver/Resolver
  • minCount: 1
  • maxCount: 1
  • surfaceKeyword: target_resolver
  • surfaceProduction: name
The resolver class invoked when the predicate holds.
dispatch_priority_constrainthttps://uor.foundation/conformance/PropertyConstraint
  • constraintProperty: https://uor.foundation/predicate/dispatchPriority
  • constraintRange: http://www.w3.org/2001/XMLSchema#nonNegativeInteger
  • minCount: 1
  • maxCount: 1
  • surfaceKeyword: priority
  • surfaceProduction: integer-literal
Non-negative integer evaluation order; lower values evaluate first.
WittLevelShapeInstancehttps://uor.foundation/conformance/Shape
  • targetClass: https://uor.foundation/schema/WittLevel
  • surfaceForm: witt-level-decl
  • requiredProperty: https://uor.foundation/conformance/wittLevel_bitWidth_constraint
  • requiredProperty: https://uor.foundation/conformance/wittLevel_cycleSize_constraint
  • requiredProperty: https://uor.foundation/conformance/wittLevel_predecessorLevel_constraint
Shape instance validating schema:WittLevel declarations against the witt-level-decl grammar.
wittLevel_bitWidth_constrainthttps://uor.foundation/conformance/PropertyConstraint
  • constraintProperty: https://uor.foundation/schema/bitsWidth
  • constraintRange: http://www.w3.org/2001/XMLSchema#positiveInteger
  • minCount: 1
  • maxCount: 1
  • surfaceKeyword: bit_width
  • surfaceProduction: integer-literal
Bit width must equal 8·(k+1) for some non-negative integer k.
wittLevel_cycleSize_constrainthttps://uor.foundation/conformance/PropertyConstraint
  • constraintProperty: https://uor.foundation/schema/cycleSize
  • constraintRange: http://www.w3.org/2001/XMLSchema#nonNegativeInteger
  • minCount: 1
  • maxCount: 1
  • surfaceKeyword: cycle_size
  • surfaceProduction: integer-literal
Cycle size must equal 2^bit_width.
wittLevel_predecessorLevel_constrainthttps://uor.foundation/conformance/PropertyConstraint
  • constraintProperty: https://uor.foundation/schema/wittLevelPredecessor
  • constraintRange: https://uor.foundation/schema/WittLevel
  • minCount: 1
  • maxCount: 1
  • surfaceKeyword: predecessor_level
  • surfaceProduction: name
The predecessor WittLevel individual whose nextWittLevel will be updated to point at this new level.
PredicateShapeInstancehttps://uor.foundation/conformance/Shape
  • targetClass: https://uor.foundation/predicate/Predicate
  • surfaceForm: predicate-decl
  • requiredProperty: https://uor.foundation/conformance/predicate_inputType_constraint
  • requiredProperty: https://uor.foundation/conformance/predicate_evaluator_constraint
  • requiredProperty: https://uor.foundation/conformance/predicate_terminationWitness_constraint
Shape instance for predicate:Predicate declarations.
predicate_inputType_constrainthttps://uor.foundation/conformance/PropertyConstraint
  • constraintProperty: https://uor.foundation/predicate/evaluatesOver
  • constraintRange: https://uor.foundation/type/TypeDefinition
  • minCount: 1
  • maxCount: 1
  • surfaceKeyword: input_type
  • surfaceProduction: type-expr
Input type the predicate evaluates over.
predicate_evaluator_constrainthttps://uor.foundation/conformance/PropertyConstraint
  • constraintProperty: https://uor.foundation/predicate/evaluatorTerm
  • constraintRange: https://uor.foundation/schema/Term
  • minCount: 1
  • maxCount: 1
  • surfaceKeyword: evaluator
  • surfaceProduction: term
The evaluator term producing a boolean.
predicate_terminationWitness_constrainthttps://uor.foundation/conformance/PropertyConstraint
  • constraintProperty: https://uor.foundation/predicate/terminationWitness
  • constraintRange: http://www.w3.org/2001/XMLSchema#string
  • minCount: 1
  • maxCount: 1
  • surfaceKeyword: termination_witness
  • surfaceProduction: string-literal
IRI of a proof:Proof attesting that the evaluator halts on all inputs.
ParallelShapeInstancehttps://uor.foundation/conformance/Shape
  • targetClass: https://uor.foundation/parallel/ParallelProduct
  • surfaceForm: parallel-decl
  • requiredProperty: https://uor.foundation/conformance/parallel_sitePartition_constraint
  • requiredProperty: https://uor.foundation/conformance/parallel_disjointnessWitness_constraint
Shape instance for parallel:ParallelProduct declarations.
parallel_sitePartition_constrainthttps://uor.foundation/conformance/PropertyConstraint
  • constraintProperty: https://uor.foundation/parallel/sitePartition
  • constraintRange: https://uor.foundation/partition/Partition
  • minCount: 1
  • maxCount: 1
  • surfaceKeyword: site_partition
  • surfaceProduction: name
The site partition this parallel product is over.
parallel_disjointnessWitness_constrainthttps://uor.foundation/conformance/PropertyConstraint
  • constraintProperty: https://uor.foundation/parallel/disjointnessWitness
  • constraintRange: http://www.w3.org/2001/XMLSchema#string
  • minCount: 1
  • maxCount: 1
  • surfaceKeyword: disjointness_witness
  • surfaceProduction: string-literal
IRI of a proof of pairwise disjointness of the partition components.
StreamShapeInstancehttps://uor.foundation/conformance/Shape
  • targetClass: https://uor.foundation/stream/ProductiveStream
  • surfaceForm: stream-decl
  • requiredProperty: https://uor.foundation/conformance/stream_unfoldSeed_constraint
  • requiredProperty: https://uor.foundation/conformance/stream_step_constraint
  • requiredProperty: https://uor.foundation/conformance/stream_productivityWitness_constraint
Shape instance for stream:ProductiveStream declarations.
stream_unfoldSeed_constrainthttps://uor.foundation/conformance/PropertyConstraint
  • constraintProperty: https://uor.foundation/stream/unfoldSeed
  • constraintRange: https://uor.foundation/schema/Term
  • minCount: 1
  • maxCount: 1
  • surfaceKeyword: unfold_seed
  • surfaceProduction: term
Initial seed value from which the stream unfolds.
stream_step_constrainthttps://uor.foundation/conformance/PropertyConstraint
  • constraintProperty: https://uor.foundation/stream/stepTerm
  • constraintRange: https://uor.foundation/schema/Term
  • minCount: 1
  • maxCount: 1
  • surfaceKeyword: step
  • surfaceProduction: term
Function from current seed to (head, next_seed).
stream_productivityWitness_constrainthttps://uor.foundation/conformance/PropertyConstraint
  • constraintProperty: https://uor.foundation/stream/productivityWitness
  • constraintRange: http://www.w3.org/2001/XMLSchema#string
  • minCount: 1
  • maxCount: 1
  • surfaceKeyword: productivity_witness
  • surfaceProduction: string-literal
IRI of a proof of stream productivity (coinductive well-foundedness).
LeaseShapeInstancehttps://uor.foundation/conformance/Shape
  • targetClass: https://uor.foundation/state/ContextLease
  • surfaceForm: lease-decl
  • requiredProperty: https://uor.foundation/conformance/lease_linearSite_constraint
  • requiredProperty: https://uor.foundation/conformance/lease_leaseScope_constraint
Shape instance for state:ContextLease declarations.
lease_linearSite_constrainthttps://uor.foundation/conformance/PropertyConstraint
  • constraintProperty: https://uor.foundation/state/linearSite
  • constraintRange: http://www.w3.org/2001/XMLSchema#nonNegativeInteger
  • minCount: 1
  • maxCount: 1
  • surfaceKeyword: linear_site
  • surfaceProduction: integer-literal
Site coordinate allocated linearly by this lease.
lease_leaseScope_constrainthttps://uor.foundation/conformance/PropertyConstraint
  • constraintProperty: https://uor.foundation/state/leaseScope
  • constraintRange: http://www.w3.org/2001/XMLSchema#string
  • minCount: 1
  • maxCount: 1
  • surfaceKeyword: lease_scope
  • surfaceProduction: string-literal
Lexical or session scope within which the lease is valid.
preludeExport_Datumhttps://uor.foundation/conformance/PreludeExport
  • exportsClass: https://uor.foundation/schema/Datum
Prelude re-export for schema:Datum.
preludeExport_Termhttps://uor.foundation/conformance/PreludeExport
  • exportsClass: https://uor.foundation/schema/Term
Prelude re-export for schema:Term.
preludeExport_WittLevelhttps://uor.foundation/conformance/PreludeExport
  • exportsClass: https://uor.foundation/schema/WittLevel
Prelude re-export for schema:WittLevel.
preludeExport_CompileUnithttps://uor.foundation/conformance/PreludeExport
  • exportsClass: https://uor.foundation/reduction/CompileUnit
Prelude re-export for reduction:CompileUnit.
preludeExport_CompileUnitBuilderhttps://uor.foundation/conformance/PreludeExport
  • exportsClass: https://uor.foundation/conformance/CompileUnitBuilder
Prelude re-export for conformance:CompileUnitBuilder.
preludeExport_ValidatedWrapperhttps://uor.foundation/conformance/PreludeExport
  • exportsClass: https://uor.foundation/conformance/ValidatedWrapper
  • exportRustName: Validated
Prelude re-export for conformance:ValidatedWrapper (exposed in Rust as `Validated`).
preludeExport_ShapeViolationReporthttps://uor.foundation/conformance/PreludeExport
  • exportsClass: https://uor.foundation/conformance/ShapeViolationReport
Prelude re-export for conformance:ShapeViolationReport.
preludeExport_ValidationResulthttps://uor.foundation/conformance/PreludeExport
  • exportsClass: https://uor.foundation/conformance/ValidationResult
Prelude re-export for conformance:ValidationResult.
preludeExport_GroundingCertificatehttps://uor.foundation/conformance/PreludeExport
  • exportsClass: https://uor.foundation/cert/GroundingCertificate
Prelude re-export for cert:GroundingCertificate.
preludeExport_LiftChainCertificatehttps://uor.foundation/conformance/PreludeExport
  • exportsClass: https://uor.foundation/cert/LiftChainCertificate
Prelude re-export for cert:LiftChainCertificate.
preludeExport_InhabitanceCertificatehttps://uor.foundation/conformance/PreludeExport
  • exportsClass: https://uor.foundation/cert/InhabitanceCertificate
Prelude re-export for cert:InhabitanceCertificate (v0.2.1).
preludeExport_CompletenessCertificatehttps://uor.foundation/conformance/PreludeExport
  • exportsClass: https://uor.foundation/cert/CompletenessCertificate
Prelude re-export for cert:CompletenessCertificate.
preludeExport_ConstrainedTypehttps://uor.foundation/conformance/PreludeExport
  • exportsClass: https://uor.foundation/type/ConstrainedType
Prelude re-export for type:ConstrainedType.
preludeExport_CompleteTypehttps://uor.foundation/conformance/PreludeExport
  • exportsClass: https://uor.foundation/type/CompleteType
Prelude re-export for type:CompleteType.
preludeExport_GroundedContexthttps://uor.foundation/conformance/PreludeExport
  • exportsClass: https://uor.foundation/state/GroundedContext
Prelude re-export for state:GroundedContext.
preludeExport_TermArenahttps://uor.foundation/conformance/PreludeExport
  • exportsClass: https://uor.foundation/conformance/WitnessDatum
  • exportRustName: TermArena
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.