ElementShape
type: NodeShape
target class: Element
property:
  path: length
  min count: 1
  max count: 1
  datatype: nonNegativeInteger
property:
  path: addresses
  min count: 1
  max count: 1
  class: Thing
property:
  path: digest
  min count: 1
  max count: 1
  datatype: string
property:
  path: digestAlgorithm
  min count: 1
  max count: 1
  datatype: string
property:
  path: canonicalBytes
  min count: 1
  max count: 1
  datatype: hexBinary
property:
  path: wittLength
  min count: 1
  max count: 1
  datatype: positiveInteger

DatumShape
type: NodeShape
target class: Datum
property:
  path: value
  min count: 1
  max count: 1
  datatype: nonNegativeInteger
property:
  path: wittLength
  min count: 1
  max count: 1
  datatype: positiveInteger
property:
  path: stratum
  min count: 1
  max count: 1
  datatype: nonNegativeInteger
property:
  path: spectrum
  min count: 1
  max count: 1
  datatype: nonNegativeInteger
property:
  path: element
  min count: 1
  max count: 1
  class: Element

TermShape
type: NodeShape
target class: Term

TriadShape
type: NodeShape
target class: Triad

LiteralShape
type: NodeShape
target class: Literal
property:
  path: denotes
  min count: 1
  max count: 1
  class: Datum

ApplicationShape
type: NodeShape
target class: Application
property:
  path: operator
  min count: 1
  max count: 1
  class: Operation
property:
  path: argument
  class: Term

RingShape
type: NodeShape
target class: Ring
property:
  path: ringWittLength
  min count: 1
  max count: 1
  datatype: positiveInteger
property:
  path: modulus
  min count: 1
  max count: 1
  datatype: positiveInteger
property:
  path: generator
  min count: 1
  max count: 1
  class: Datum
property:
  path: negation
  min count: 1
  max count: 1
  class: Involution
property:
  path: complement
  min count: 1
  max count: 1
  class: Involution
property:
  path: atWittLevel
  min count: 1
  max count: 1
  class: WittLevel

W16RingShape
type: NodeShape
target class: W16Ring
property:
  path: W16bitWidth
  min count: 1
  max count: 1
  datatype: positiveInteger
property:
  path: W16capacity
  min count: 1
  max count: 1
  datatype: positiveInteger

WittLevelShape
type: NodeShape
target class: WittLevel
property:
  path: bitsWidth
  min count: 1
  max count: 1
  datatype: positiveInteger
property:
  path: cycleSize
  min count: 1
  max count: 1
  datatype: positiveInteger
property:
  path: nextWittLevel
  min count: 1
  max count: 1
  class: WittLevel
property:
  path: wittLevelPredecessor
  min count: 1
  max count: 1
  class: WittLevel

TermExpressionShape
type: NodeShape
target class: TermExpression

LiteralExpressionShape
type: NodeShape
target class: LiteralExpression
property:
  path: literalValue
  min count: 1
  max count: 1
  datatype: string

ApplicationExpressionShape
type: NodeShape
target class: ApplicationExpression
property:
  path: expressionOperator
  min count: 1
  max count: 1
  class: Operation
property:
  path: arguments
  class: TermExpression

InfixExpressionShape
type: NodeShape
target class: InfixExpression
property:
  path: leftOperand
  min count: 1
  max count: 1
  class: TermExpression
property:
  path: rightOperand
  min count: 1
  max count: 1
  class: TermExpression
property:
  path: infixOperator
  min count: 1
  max count: 1
  datatype: string

SetExpressionShape
type: NodeShape
target class: SetExpression

CompositionExpressionShape
type: NodeShape
target class: CompositionExpression

ForAllDeclarationShape
type: NodeShape
target class: ForAllDeclaration
property:
  path: boundVariables
  class: VariableBinding
property:
  path: quantifierKind
  min count: 1
  max count: 1
  class: QuantifierKind

VariableBindingShape
type: NodeShape
target class: VariableBinding
property:
  path: variableDomain
  min count: 1
  max count: 1
  class: Class
property:
  path: variableName
  min count: 1
  max count: 1
  datatype: string

QuantifierKindShape
type: NodeShape
target class: QuantifierKind

SurfaceSymbolShape
type: NodeShape
target class: SurfaceSymbol

HostValueShape
type: NodeShape
target class: HostValue

HostStringLiteralShape
type: NodeShape
target class: HostStringLiteral
property:
  path: hostString
  min count: 1
  max count: 1
  datatype: string

HostBooleanLiteralShape
type: NodeShape
target class: HostBooleanLiteral
property:
  path: hostBoolean
  min count: 1
  max count: 1
  datatype: boolean

OperationShape
type: NodeShape
target class: Operation
property:
  path: arity
  min count: 1
  max count: 1
  datatype: nonNegativeInteger
property:
  path: hasGeometricCharacter
  min count: 1
  max count: 1
  class: GeometricCharacter
property:
  path: inverse
  min count: 1
  max count: 1
  class: Operation
property:
  path: composedOf
  min count: 1
  max count: 1
  class: List

UnaryOpShape
type: NodeShape
target class: UnaryOp

BinaryOpShape
type: NodeShape
target class: BinaryOp
property:
  path: commutative
  min count: 1
  max count: 1
  datatype: boolean
property:
  path: associative
  min count: 1
  max count: 1
  datatype: boolean
property:
  path: identity
  min count: 1
  max count: 1
  datatype: integer

InvolutionShape
type: NodeShape
target class: Involution

IdentityShape
type: NodeShape
target class: Identity
property:
  path: lhs
  min count: 1
  max count: 1
  class: TermExpression
property:
  path: rhs
  min count: 1
  max count: 1
  class: TermExpression
property:
  path: forAll
  min count: 1
  max count: 1
  class: ForAllDeclaration
property:
  path: verificationDomain
  class: VerificationDomain
property:
  path: verifiedAtLevel
  class: WittLevelBinding
property:
  path: universallyValid
  min count: 1
  max count: 1
  datatype: boolean
property:
  path: validityKind
  min count: 1
  max count: 1
  class: ValidityScopeKind
property:
  path: validKMin
  min count: 1
  max count: 1
  datatype: nonNegativeInteger
property:
  path: validKMax
  min count: 1
  max count: 1
  datatype: nonNegativeInteger
property:
  path: identityOn
  min count: 1
  max count: 1
  class: TypeDefinition

GroupShape
type: NodeShape
target class: Group
property:
  path: generatedBy
  class: Operation
property:
  path: order
  min count: 1
  max count: 1
  datatype: positiveInteger

DihedralGroupShape
type: NodeShape
target class: DihedralGroup

VerificationDomainShape
type: NodeShape
target class: VerificationDomain
property:
  path: enumVariant
  min count: 1
  max count: 1
  class: VerificationDomain

GeometricCharacterShape
type: NodeShape
target class: GeometricCharacter

WittLevelBindingShape
type: NodeShape
target class: WittLevelBinding
property:
  path: bindingLevel
  min count: 1
  max count: 1
  class: WittLevel

QuantumThermodynamicDomainShape
type: NodeShape
target class: QuantumThermodynamicDomain

ValidityScopeKindShape
type: NodeShape
target class: ValidityScopeKind

ComposedOperationShape
type: NodeShape
target class: ComposedOperation
property:
  path: composedOfOps
  class: Operation
property:
  path: operatorDomainType
  min count: 1
  max count: 1
  class: TypeDefinition
property:
  path: operatorRangeType
  min count: 1
  max count: 1
  class: TypeDefinition
property:
  path: operatorComplexity
  min count: 1
  max count: 1
  datatype: string
property:
  path: operatorIdempotent
  min count: 1
  max count: 1
  datatype: boolean
property:
  path: composedOperatorCount
  min count: 1
  max count: 1
  datatype: nonNegativeInteger
property:
  path: isInvolutory
  min count: 1
  max count: 1
  datatype: boolean
property:
  path: convergenceGuarantee
  min count: 1
  max count: 1
  class: TermExpression

DispatchOperationShape
type: NodeShape
target class: DispatchOperation
property:
  path: dispatchSource
  min count: 1
  max count: 1
  class: Operation
property:
  path: dispatchTarget
  min count: 1
  max count: 1
  class: Operation

InferenceOperationShape
type: NodeShape
target class: InferenceOperation
property:
  path: inferenceSource
  min count: 1
  max count: 1
  class: Operation
property:
  path: inferenceTarget
  min count: 1
  max count: 1
  class: Operation
property:
  path: inferencePipeline
  min count: 1
  max count: 1
  class: Operation

AccumulationOperationShape
type: NodeShape
target class: AccumulationOperation
property:
  path: accumulationBase
  min count: 1
  max count: 1
  class: TermExpression
property:
  path: accumulationBinding
  min count: 1
  max count: 1
  class: TermExpression

LeasePartitionOperationShape
type: NodeShape
target class: LeasePartitionOperation
property:
  path: leaseSource
  min count: 1
  max count: 1
  class: Operation
property:
  path: leaseFactor
  min count: 1
  max count: 1
  class: Operation
property:
  path: leasePartitionCount
  min count: 1
  max count: 1
  datatype: nonNegativeInteger

SessionCompositionOperationShape
type: NodeShape
target class: SessionCompositionOperation
property:
  path: compositionLeftSession
  min count: 1
  max count: 1
  class: Operation
property:
  path: compositionRightSession
  min count: 1
  max count: 1
  class: Operation

GroupPresentationShape
type: NodeShape
target class: GroupPresentation

QueryShape
type: NodeShape
target class: Query
property:
  path: inputType
  min count: 1
  max count: 1
  class: Class
property:
  path: outputType
  min count: 1
  max count: 1
  class: Class

CoordinateQueryShape
type: NodeShape
target class: CoordinateQuery
property:
  path: hasTriadProjection
  min count: 1
  max count: 1
  class: TriadProjection

MetricQueryShape
type: NodeShape
target class: MetricQuery

RepresentationQueryShape
type: NodeShape
target class: RepresentationQuery

RelationQueryShape
type: NodeShape
target class: RelationQuery
property:
  path: sourceAddress
  min count: 1
  max count: 1
  class: Element
property:
  path: relationType
  min count: 1
  max count: 1
  class: Constraint
property:
  path: targetSite
  min count: 1
  max count: 1
  class: FreeRank
property:
  path: groundingMap
  min count: 1
  max count: 1
  class: GroundingMap
property:
  path: projectionMap
  min count: 1
  max count: 1
  class: ProjectionMap
property:
  path: sessionContext
  min count: 1
  max count: 1
  class: Context

TriadProjectionShape
type: NodeShape
target class: TriadProjection

SessionQueryShape
type: NodeShape
target class: SessionQuery
property:
  path: sessionMembership
  min count: 1
  max count: 1
  class: Session

ResolverShape
type: NodeShape
target class: Resolver
property:
  path: inputType
  min count: 1
  max count: 1
  class: TypeDefinition
property:
  path: outputType
  min count: 1
  max count: 1
  class: Partition
property:
  path: strategy
  min count: 1
  max count: 1
  class: TermExpression
property:
  path: resolutionState
  min count: 1
  max count: 1
  class: ResolutionState
property:
  path: hasComplexityClass
  min count: 1
  max count: 1
  class: ComplexityClass
property:
  path: dispatchTable
  min count: 1
  max count: 1
  class: DispatchTable
property:
  path: resolverPredicate
  min count: 1
  max count: 1
  class: TypePredicate

DihedralFactorizationResolverShape
type: NodeShape
target class: DihedralFactorizationResolver

CanonicalFormResolverShape
type: NodeShape
target class: CanonicalFormResolver

EvaluationResolverShape
type: NodeShape
target class: EvaluationResolver

ResolutionStateShape
type: NodeShape
target class: ResolutionState
property:
  path: isComplete
  min count: 1
  max count: 1
  datatype: boolean
property:
  path: iterationCount
  min count: 1
  max count: 1
  datatype: nonNegativeInteger
property:
  path: siteDeficit
  min count: 1
  max count: 1
  class: FreeRank
property:
  path: suggestion
  class: RefinementSuggestion
property:
  path: convergenceRate
  min count: 1
  max count: 1
  datatype: decimal
property:
  path: cechNerve
  min count: 1
  max count: 1
  class: CechNerve
property:
  path: residualEntropy
  min count: 1
  max count: 1
  datatype: decimal
property:
  path: topologicallyComplete
  min count: 1
  max count: 1
  datatype: boolean
property:
  path: nerveEulerCharacteristic
  min count: 1
  max count: 1
  datatype: integer
property:
  path: guidingJacobian
  min count: 1
  max count: 1
  class: Jacobian

RefinementSuggestionShape
type: NodeShape
target class: RefinementSuggestion
property:
  path: suggestedAxis
  min count: 1
  max count: 1
  class: MetricAxis
property:
  path: suggestedClass
  min count: 1
  max count: 1
  class: Class
property:
  path: targetSites
  class: SiteIndex

ComplexityClassShape
type: NodeShape
target class: ComplexityClass

CechNerveShape
type: NodeShape
target class: CechNerve

CompletenessResolverShape
type: NodeShape
target class: CompletenessResolver
property:
  path: completenessTarget
  min count: 1
  max count: 1
  class: CompletenessCandidate

WittLevelResolverShape
type: NodeShape
target class: WittLevelResolver
property:
  path: quantumLevel
  min count: 1
  max count: 1
  class: WittLevel

SessionResolverShape
type: NodeShape
target class: SessionResolver
property:
  path: sessionAccumulator
  min count: 1
  max count: 1
  class: BindingAccumulator
property:
  path: executionPolicy
  min count: 1
  max count: 1
  class: ExecutionPolicy

TypeSynthesisResolverShape
type: NodeShape
target class: TypeSynthesisResolver
property:
  path: synthesisGoal
  min count: 1
  max count: 1
  class: TypeSynthesisGoal

ConstraintSearchStateShape
type: NodeShape
target class: ConstraintSearchState
property:
  path: exploredCount
  min count: 1
  max count: 1
  datatype: nonNegativeInteger
property:
  path: currentCandidate
  min count: 1
  max count: 1
  class: ConstrainedType

IncrementalCompletenessResolverShape
type: NodeShape
target class: IncrementalCompletenessResolver
property:
  path: liftTarget
  min count: 1
  max count: 1
  class: WittLift

LiftRefinementSuggestionShape
type: NodeShape
target class: LiftRefinementSuggestion
property:
  path: liftSitePosition
  min count: 1
  max count: 1
  class: SiteIndex
property:
  path: obstructionClass
  min count: 1
  max count: 1
  class: LiftObstructionClass

MonodromyResolverShape
type: NodeShape
target class: MonodromyResolver
property:
  path: monodromyTarget
  min count: 1
  max count: 1
  class: ConstrainedType
property:
  path: holonomyResult
  min count: 1
  max count: 1
  class: HolonomyGroup

JacobianGuidedResolverShape
type: NodeShape
target class: JacobianGuidedResolver

SuperpositionResolverShape
type: NodeShape
target class: SuperpositionResolver
property:
  path: amplitudeVector
  min count: 1
  max count: 1
  datatype: decimal

GroundingAwareResolverShape
type: NodeShape
target class: GroundingAwareResolver
property:
  path: usedGrounding
  min count: 1
  max count: 1
  datatype: boolean

GeodesicValidatorShape
type: NodeShape
target class: GeodesicValidator
property:
  path: validateGeodesic
  min count: 1
  max count: 1
  class: GeodesicTrace

MeasurementResolverShape
type: NodeShape
target class: MeasurementResolver
property:
  path: collapseAmplitude
  min count: 1
  max count: 1
  datatype: decimal
property:
  path: collapsedSite
  min count: 1
  max count: 1
  datatype: nonNegativeInteger
property:
  path: measurementOutcome
  min count: 1
  max count: 1
  datatype: nonNegativeInteger
property:
  path: priorAmplitudeVector
  min count: 1
  max count: 1
  datatype: decimal

TowerCompletenessResolverShape
type: NodeShape
target class: TowerCompletenessResolver
property:
  path: towerSourceLevel
  min count: 1
  max count: 1
  class: WittLevel
property:
  path: towerTargetLevel
  min count: 1
  max count: 1
  class: WittLevel
property:
  path: currentChain
  min count: 1
  max count: 1
  class: LiftChain
property:
  path: towerStepResolver
  min count: 1
  max count: 1
  class: IncrementalCompletenessResolver

ExecutionPolicyShape
type: NodeShape
target class: ExecutionPolicy

ExecutionPolicyKindShape
type: NodeShape
target class: ExecutionPolicyKind

HomotopyResolverShape
type: NodeShape
target class: HomotopyResolver
property:
  path: homotopyTarget
  min count: 1
  max count: 1
  class: CechNerve
property:
  path: homotopyResult
  class: HomotopyGroup

ModuliResolverShape
type: NodeShape
target class: ModuliResolver
property:
  path: moduliTarget
  min count: 1
  max count: 1
  class: CompleteType
property:
  path: moduliDeformation
  min count: 1
  max count: 1
  class: DeformationComplex

TypeDefinitionShape
type: NodeShape
target class: TypeDefinition
property:
  path: contentAddress
  min count: 1
  max count: 1
  class: Element

PrimitiveTypeShape
type: NodeShape
target class: PrimitiveType
property:
  path: bitWidth
  min count: 1
  max count: 1
  datatype: positiveInteger

ProductTypeShape
type: NodeShape
target class: ProductType
property:
  path: component
  class: TypeDefinition

SumTypeShape
type: NodeShape
target class: SumType

ConstrainedTypeShape
type: NodeShape
target class: ConstrainedType
property:
  path: baseType
  min count: 1
  max count: 1
  class: TypeDefinition
property:
  path: hasConstraint
  class: Constraint
property:
  path: holonomyGroup
  min count: 1
  max count: 1
  class: HolonomyGroup
property:
  path: monodromyClass
  min count: 1
  max count: 1
  class: MonodromyClass
property:
  path: holonomyClassified
  min count: 1
  max count: 1
  datatype: boolean

ConstraintShape
type: NodeShape
target class: Constraint
property:
  path: metricAxis
  min count: 1
  max count: 1
  class: MetricAxis
property:
  path: pinsSites
  class: SiteIndex
property:
  path: crossingCost
  min count: 1
  max count: 1
  datatype: nonNegativeInteger

ResidueConstraintShape
type: NodeShape
target class: ResidueConstraint
property:
  path: modulus
  min count: 1
  max count: 1
  datatype: positiveInteger
property:
  path: residue
  min count: 1
  max count: 1
  datatype: nonNegativeInteger

CarryConstraintShape
type: NodeShape
target class: CarryConstraint
property:
  path: carryPattern
  min count: 1
  max count: 1
  class: Datum

DepthConstraintShape
type: NodeShape
target class: DepthConstraint
property:
  path: minDepth
  min count: 1
  max count: 1
  datatype: nonNegativeInteger
property:
  path: maxDepth
  min count: 1
  max count: 1
  datatype: nonNegativeInteger

CompositeConstraintShape
type: NodeShape
target class: CompositeConstraint
property:
  path: composedFrom
  class: Constraint

HammingConstraintShape
type: NodeShape
target class: HammingConstraint
property:
  path: hammingBound
  min count: 1
  max count: 1
  datatype: nonNegativeInteger

SiteConstraintShape
type: NodeShape
target class: SiteConstraint
property:
  path: siteIndex
  min count: 1
  max count: 1
  datatype: nonNegativeInteger
property:
  path: siteValue
  min count: 1
  max count: 1
  class: Datum

AffineConstraintShape
type: NodeShape
target class: AffineConstraint
property:
  path: affineOffset
  min count: 1
  max count: 1
  class: Datum
property:
  path: affineGenerator
  class: Datum

MetricAxisShape
type: NodeShape
target class: MetricAxis

CompleteTypeShape
type: NodeShape
target class: CompleteType

CompletenessCandidateShape
type: NodeShape
target class: CompletenessCandidate
property:
  path: completenessCandidate
  class: ConstrainedType
property:
  path: candidateNerve
  min count: 1
  max count: 1
  class: CechNerve

CompletenessWitnessShape
type: NodeShape
target class: CompletenessWitness
property:
  path: witnessConstraint
  min count: 1
  max count: 1
  class: Constraint
property:
  path: sitesClosed
  min count: 1
  max count: 1
  datatype: nonNegativeInteger

TypeSynthesisGoalShape
type: NodeShape
target class: TypeSynthesisGoal
property:
  path: targetEulerCharacteristic
  min count: 1
  max count: 1
  datatype: integer
property:
  path: targetBettiNumber
  datatype: nonNegativeInteger
property:
  path: targetForbidden
  min count: 1
  max count: 1
  datatype: boolean

TypeSynthesisResultShape
type: NodeShape
target class: TypeSynthesisResult

SynthesizedTypeShape
type: NodeShape
target class: SynthesizedType
property:
  path: synthesisResult
  min count: 1
  max count: 1
  class: TypeSynthesisResult

MinimalConstraintBasisShape
type: NodeShape
target class: MinimalConstraintBasis
property:
  path: basisConstraint
  class: Constraint
property:
  path: basisSize
  min count: 1
  max count: 1
  datatype: nonNegativeInteger

WittLiftShape
type: NodeShape
target class: WittLift
property:
  path: liftBase
  min count: 1
  max count: 1
  class: ConstrainedType
property:
  path: liftTargetLevel
  min count: 1
  max count: 1
  class: WittLevel
property:
  path: liftObstruction
  min count: 1
  max count: 1
  class: LiftObstruction

LiftObstructionShape
type: NodeShape
target class: LiftObstruction
property:
  path: obstructionTrivial
  min count: 1
  max count: 1
  datatype: boolean
property:
  path: obstructionSite
  min count: 1
  max count: 1
  class: SiteIndex

TwistedTypeShape
type: NodeShape
target class: TwistedType

FlatTypeShape
type: NodeShape
target class: FlatType

SuperposedSiteStateShape
type: NodeShape
target class: SuperposedSiteState
property:
  path: amplitude
  min count: 1
  max count: 1
  datatype: decimal
property:
  path: normalizationVerified
  min count: 1
  max count: 1
  datatype: boolean

ForbiddenSignatureShape
type: NodeShape
target class: ForbiddenSignature

CollapsedSiteStateShape
type: NodeShape
target class: CollapsedSiteState
property:
  path: collapsedFrom
  min count: 1
  max count: 1
  class: SuperposedSiteState
property:
  path: survivingAmplitude
  min count: 1
  max count: 1
  datatype: decimal

LiftChainShape
type: NodeShape
target class: LiftChain
property:
  path: liftSourceLevel
  min count: 1
  max count: 1
  class: WittLevel
property:
  path: chainLength
  min count: 1
  max count: 1
  datatype: nonNegativeInteger
property:
  path: chainStep
  class: WittLift
property:
  path: chainObstructionProfile
  min count: 1
  max count: 1
  class: ObstructionChain
property:
  path: resolvedBasisSize
  min count: 1
  max count: 1
  datatype: nonNegativeInteger

ObstructionChainShape
type: NodeShape
target class: ObstructionChain
property:
  path: obstructionAt
  class: LiftObstruction
property:
  path: obstructionCount
  min count: 1
  max count: 1
  datatype: nonNegativeInteger
property:
  path: isFlat
  min count: 1
  max count: 1
  datatype: boolean

ModuliSpaceShape
type: NodeShape
target class: ModuliSpace
property:
  path: moduliWittLevel
  min count: 1
  max count: 1
  class: WittLevel
property:
  path: moduliPoint
  class: CompleteType
property:
  path: moduliDimension
  min count: 1
  max count: 1
  datatype: nonNegativeInteger

HolonomyStratumShape
type: NodeShape
target class: HolonomyStratum
property:
  path: stratumHolonomyClass
  min count: 1
  max count: 1
  class: MonodromyClass
property:
  path: stratumCodimension
  min count: 1
  max count: 1
  datatype: nonNegativeInteger
property:
  path: stratumModuli
  min count: 1
  max count: 1
  class: ModuliSpace

DeformationFamilyShape
type: NodeShape
target class: DeformationFamily
property:
  path: familyParameter
  class: CompleteType
property:
  path: familyPreservesCompleteness
  min count: 1
  max count: 1
  datatype: boolean

VersalDeformationShape
type: NodeShape
target class: VersalDeformation
property:
  path: versalBase
  min count: 1
  max count: 1
  class: CompleteType
property:
  path: versalDimension
  min count: 1
  max count: 1
  datatype: nonNegativeInteger

ModuliTowerMapShape
type: NodeShape
target class: ModuliTowerMap
property:
  path: towerMapSource
  min count: 1
  max count: 1
  class: ModuliSpace

GaloisConnectionShape
type: NodeShape
target class: GaloisConnection
property:
  path: upperAdjoint
  min count: 1
  max count: 1
  class: TermExpression
property:
  path: lowerAdjoint
  min count: 1
  max count: 1
  class: TermExpression
property:
  path: fixpointCondition
  min count: 1
  max count: 1
  class: TermExpression
property:
  path: refinementDirection
  min count: 1
  max count: 1
  datatype: nonNegativeInteger
property:
  path: galoisClosureProperty
  min count: 1
  max count: 1
  class: TermExpression
property:
  path: galoisInteriorProperty
  min count: 1
  max count: 1
  class: TermExpression

TypeInclusionShape
type: NodeShape
target class: TypeInclusion
property:
  path: inclusionSource
  min count: 1
  max count: 1
  class: ConstrainedType
property:
  path: inclusionTarget
  min count: 1
  max count: 1
  class: ConstrainedType
property:
  path: inclusionWitness
  min count: 1
  max count: 1
  datatype: boolean

VarianceAnnotationShape
type: NodeShape
target class: VarianceAnnotation

SubtypingLatticeShape
type: NodeShape
target class: SubtypingLattice
property:
  path: latticeDepth
  min count: 1
  max count: 1
  datatype: nonNegativeInteger

PartitionShape
type: NodeShape
target class: Partition
property:
  path: irreducibles
  min count: 1
  max count: 1
  class: IrreducibleSet
property:
  path: reducibles
  min count: 1
  max count: 1
  class: ReducibleSet
property:
  path: units
  min count: 1
  max count: 1
  class: UnitGroup
property:
  path: exterior
  min count: 1
  max count: 1
  class: Complement
property:
  path: density
  min count: 1
  max count: 1
  datatype: decimal
property:
  path: sourceType
  min count: 1
  max count: 1
  class: TypeDefinition
property:
  path: wittLength
  min count: 1
  max count: 1
  datatype: positiveInteger
property:
  path: siteBudget
  min count: 1
  max count: 1
  class: FreeRank
property:
  path: isExhaustive
  min count: 1
  max count: 1
  datatype: boolean

ComponentShape
type: NodeShape
target class: Component
property:
  path: member
  class: Datum
property:
  path: cardinality
  min count: 1
  max count: 1
  datatype: nonNegativeInteger

IrreducibleSetShape
type: NodeShape
target class: IrreducibleSet

ReducibleSetShape
type: NodeShape
target class: ReducibleSet

UnitGroupShape
type: NodeShape
target class: UnitGroup

ComplementShape
type: NodeShape
target class: Complement
property:
  path: exteriorCriteria
  min count: 1
  max count: 1
  class: TermExpression

SiteIndexShape
type: NodeShape
target class: SiteIndex
property:
  path: sitePosition
  min count: 1
  max count: 1
  datatype: nonNegativeInteger
property:
  path: siteState
  min count: 1
  max count: 1
  datatype: nonNegativeInteger
property:
  path: ancillaSite
  min count: 1
  max count: 1
  class: SiteIndex

FreeRankShape
type: NodeShape
target class: FreeRank
property:
  path: totalSites
  min count: 1
  max count: 1
  datatype: nonNegativeInteger
property:
  path: pinnedCount
  min count: 1
  max count: 1
  datatype: nonNegativeInteger
property:
  path: freeRank
  min count: 1
  max count: 1
  datatype: nonNegativeInteger
property:
  path: isClosed
  min count: 1
  max count: 1
  datatype: boolean
property:
  path: hasSite
  class: SiteIndex
property:
  path: hasBinding
  class: SiteBinding
property:
  path: reversibleStrategy
  min count: 1
  max count: 1
  datatype: boolean

SiteBindingShape
type: NodeShape
target class: SiteBinding
property:
  path: pinnedBy
  min count: 1
  max count: 1
  class: Constraint
property:
  path: pinsCoordinate
  min count: 1
  max count: 1
  class: SiteIndex

PartitionProductShape
type: NodeShape
target class: PartitionProduct
property:
  path: leftFactor
  min count: 1
  max count: 1
  class: Partition
property:
  path: rightFactor
  min count: 1
  max count: 1
  class: Partition

PartitionCoproductShape
type: NodeShape
target class: PartitionCoproduct
property:
  path: leftSummand
  min count: 1
  max count: 1
  class: Partition
property:
  path: rightSummand
  min count: 1
  max count: 1
  class: Partition

ObservableShape
type: NodeShape
target class: Observable
property:
  path: value
  min count: 1
  max count: 1
  datatype: decimal
property:
  path: source
  min count: 1
  max count: 1
  class: Thing
property:
  path: target
  min count: 1
  max count: 1
  class: Thing
property:
  path: hasUnit
  min count: 1
  max count: 1
  class: MeasurementUnit

StratumObservableShape
type: NodeShape
target class: StratumObservable

MetricObservableShape
type: NodeShape
target class: MetricObservable

PathObservableShape
type: NodeShape
target class: PathObservable

ReductionObservableShape
type: NodeShape
target class: ReductionObservable

CatastropheObservableShape
type: NodeShape
target class: CatastropheObservable
property:
  path: phaseN
  min count: 1
  max count: 1
  datatype: positiveInteger
property:
  path: phaseG
  min count: 1
  max count: 1
  datatype: positiveInteger
property:
  path: onResonanceLine
  min count: 1
  max count: 1
  datatype: boolean
property:
  path: phaseBoundaryType
  min count: 1
  max count: 1
  class: PhaseBoundaryType

CurvatureObservableShape
type: NodeShape
target class: CurvatureObservable

HolonomyObservableShape
type: NodeShape
target class: HolonomyObservable

RingMetricShape
type: NodeShape
target class: RingMetric

HammingMetricShape
type: NodeShape
target class: HammingMetric

IncompatibilityMetricShape
type: NodeShape
target class: IncompatibilityMetric

StratumValueShape
type: NodeShape
target class: StratumValue

StratumDeltaShape
type: NodeShape
target class: StratumDelta

StratumTrajectoryShape
type: NodeShape
target class: StratumTrajectory

PathLengthShape
type: NodeShape
target class: PathLength

TotalVariationShape
type: NodeShape
target class: TotalVariation

WindingNumberShape
type: NodeShape
target class: WindingNumber

ReductionLengthShape
type: NodeShape
target class: ReductionLength

ReductionCountShape
type: NodeShape
target class: ReductionCount

CatastropheThresholdShape
type: NodeShape
target class: CatastropheThreshold

CatastropheCountShape
type: NodeShape
target class: CatastropheCount

CommutatorShape
type: NodeShape
target class: Commutator

CurvatureFluxShape
type: NodeShape
target class: CurvatureFlux

MonodromyShape
type: NodeShape
target class: Monodromy
property:
  path: monodromyLoop
  min count: 1
  max count: 1
  class: ClosedConstraintPath
property:
  path: monodromyElement
  min count: 1
  max count: 1
  class: DihedralElement
property:
  path: isTrivialMonodromy
  min count: 1
  max count: 1
  datatype: boolean

ParallelTransportShape
type: NodeShape
target class: ParallelTransport

DihedralElementShape
type: NodeShape
target class: DihedralElement
property:
  path: dihedralElementValue
  class: Operation
property:
  path: isIdentityElement
  min count: 1
  max count: 1
  datatype: boolean
property:
  path: elementOrder
  min count: 1
  max count: 1
  datatype: positiveInteger
property:
  path: rotationExponent
  min count: 1
  max count: 1
  datatype: nonNegativeInteger
property:
  path: reflectionBit
  min count: 1
  max count: 1
  datatype: boolean

MeasurementUnitShape
type: NodeShape
target class: MeasurementUnit

JacobianShape
type: NodeShape
target class: Jacobian
property:
  path: sitePosition
  min count: 1
  max count: 1
  datatype: nonNegativeInteger
property:
  path: derivativeValue
  min count: 1
  max count: 1
  datatype: decimal

TopologicalObservableShape
type: NodeShape
target class: TopologicalObservable
property:
  path: dimension
  min count: 1
  max count: 1
  datatype: nonNegativeInteger

BettiNumberShape
type: NodeShape
target class: BettiNumber

SpectralGapShape
type: NodeShape
target class: SpectralGap

ThermoObservableShape
type: NodeShape
target class: ThermoObservable
property:
  path: hardnessEstimate
  min count: 1
  max count: 1
  datatype: decimal

ResidualEntropyShape
type: NodeShape
target class: ResidualEntropy

LandauerCostShape
type: NodeShape
target class: LandauerCost

ReductionEntropyShape
type: NodeShape
target class: ReductionEntropy

SynthesisSignatureShape
type: NodeShape
target class: SynthesisSignature
property:
  path: realisedEuler
  min count: 1
  max count: 1
  datatype: integer
property:
  path: realisedBetti
  datatype: nonNegativeInteger
property:
  path: achievabilityStatus
  min count: 1
  max count: 1
  class: AchievabilityStatus
property:
  path: isAchievable
  min count: 1
  max count: 1
  datatype: boolean
property:
  path: isForbidden
  min count: 1
  max count: 1
  datatype: boolean
property:
  path: achievabilityWitness
  min count: 1
  max count: 1
  class: Proof

SpectralSequencePageShape
type: NodeShape
target class: SpectralSequencePage
property:
  path: pageIndex
  min count: 1
  max count: 1
  datatype: nonNegativeInteger
property:
  path: differentialIsZero
  min count: 1
  max count: 1
  datatype: boolean
property:
  path: convergedAt
  min count: 1
  max count: 1
  datatype: nonNegativeInteger
property:
  path: postnikovTruncation
  min count: 1
  max count: 1
  class: PostnikovTruncation

LiftObstructionClassShape
type: NodeShape
target class: LiftObstructionClass
property:
  path: obstructionClass
  min count: 1
  max count: 1
  class: CohomologyGroup

MonodromyClassShape
type: NodeShape
target class: MonodromyClass

HolonomyGroupShape
type: NodeShape
target class: HolonomyGroup
property:
  path: holonomyGroup
  class: DihedralElement
property:
  path: holonomyGroupOrder
  min count: 1
  max count: 1
  datatype: positiveInteger

ClosedConstraintPathShape
type: NodeShape
target class: ClosedConstraintPath
property:
  path: pathLength
  min count: 1
  max count: 1
  datatype: nonNegativeInteger
property:
  path: pathConstraints
  class: Constraint

PhaseBoundaryTypeShape
type: NodeShape
target class: PhaseBoundaryType

AchievabilityStatusShape
type: NodeShape
target class: AchievabilityStatus

HomotopyGroupShape
type: NodeShape
target class: HomotopyGroup
property:
  path: homotopyDimension
  min count: 1
  max count: 1
  datatype: nonNegativeInteger
property:
  path: homotopyRank
  min count: 1
  max count: 1
  datatype: nonNegativeInteger
property:
  path: homotopyBasepoint
  min count: 1
  max count: 1
  class: Constraint

HigherMonodromyShape
type: NodeShape
target class: HigherMonodromy
property:
  path: higherMonodromyDimension
  min count: 1
  max count: 1
  datatype: nonNegativeInteger

WhiteheadProductShape
type: NodeShape
target class: WhiteheadProduct
property:
  path: whiteheadTrivial
  min count: 1
  max count: 1
  datatype: boolean

StratificationRecordShape
type: NodeShape
target class: StratificationRecord
property:
  path: stratificationLevel
  min count: 1
  max count: 1
  class: WittLevel
property:
  path: stratificationStratum
  class: HolonomyStratum

BaseMetricShape
type: NodeShape
target class: BaseMetric
property:
  path: metricDomain
  min count: 1
  max count: 1
  datatype: string
property:
  path: metricRange
  min count: 1
  max count: 1
  datatype: string
property:
  path: metricComposition
  min count: 1
  max count: 1
  class: TermExpression
property:
  path: referencesClass
  min count: 1
  max count: 1
  class: Observable
property:
  path: referencesIdentity
  min count: 1
  max count: 1
  class: Identity
property:
  path: metricUnit
  min count: 1
  max count: 1
  class: MeasurementUnit
property:
  path: metricPrecision
  min count: 1
  max count: 1
  datatype: nonNegativeInteger
property:
  path: metricMonotonicity
  min count: 1
  max count: 1
  class: TermExpression
property:
  path: metricDecomposition
  min count: 1
  max count: 1
  class: TermExpression
property:
  path: metricTowerPosition
  min count: 1
  max count: 1
  datatype: nonNegativeInteger
property:
  path: metricComputationCost
  min count: 1
  max count: 1
  class: TermExpression
property:
  path: metricBound
  min count: 1
  max count: 1
  class: TermExpression

GroundingObservableShape
type: NodeShape
target class: GroundingObservable
property:
  path: saturationNumerator
  min count: 1
  max count: 1
  datatype: nonNegativeInteger
property:
  path: saturationDenominator
  min count: 1
  max count: 1
  datatype: positiveInteger

EulerCharacteristicObservableShape
type: NodeShape
target class: EulerCharacteristicObservable
property:
  path: alternatingSum
  min count: 1
  max count: 1
  class: TermExpression

CarryChainShape
type: NodeShape
target class: CarryChain
property:
  path: chainLength
  min count: 1
  max count: 1
  datatype: nonNegativeInteger
property:
  path: generateMask
  min count: 1
  max count: 1
  datatype: nonNegativeInteger
property:
  path: propagateMask
  min count: 1
  max count: 1
  datatype: nonNegativeInteger
property:
  path: killMask
  min count: 1
  max count: 1
  datatype: nonNegativeInteger

CarryEventShape
type: NodeShape
target class: CarryEvent
property:
  path: eventKind
  min count: 1
  max count: 1
  datatype: nonNegativeInteger
property:
  path: sitePosition
  min count: 1
  max count: 1
  datatype: nonNegativeInteger

CarryProfileShape
type: NodeShape
target class: CarryProfile
property:
  path: carryCount
  min count: 1
  max count: 1
  datatype: nonNegativeInteger
property:
  path: maxPropagationLength
  min count: 1
  max count: 1
  datatype: nonNegativeInteger
property:
  path: profileChain
  min count: 1
  max count: 1
  class: CarryChain

EncodingConfigurationShape
type: NodeShape
target class: EncodingConfiguration
property:
  path: symbolSetSize
  min count: 1
  max count: 1
  datatype: positiveInteger
property:
  path: quantizationBits
  min count: 1
  max count: 1
  datatype: positiveInteger
property:
  path: encodingMap
  min count: 1
  max count: 1
  class: TermExpression

EncodingQualityShape
type: NodeShape
target class: EncodingQuality
property:
  path: meanDelta
  min count: 1
  max count: 1
  datatype: decimal
property:
  path: discriminationRatio
  min count: 1
  max count: 1
  datatype: decimal
property:
  path: isOptimalEncoding
  min count: 1
  max count: 1
  datatype: boolean

SimplexShape
type: NodeShape
target class: Simplex
property:
  path: dimension
  min count: 1
  max count: 1
  datatype: integer
property:
  path: vertex
  class: Constraint
property:
  path: vertexCount
  min count: 1
  max count: 1
  datatype: positiveInteger
property:
  path: isFaceOf
  class: Simplex
property:
  path: pinIntersection
  class: SiteIndex

SimplicialComplexShape
type: NodeShape
target class: SimplicialComplex
property:
  path: hasSimplex
  class: Simplex
property:
  path: maxDimension
  min count: 1
  max count: 1
  datatype: integer
property:
  path: eulerCharacteristic
  min count: 1
  max count: 1
  datatype: integer
property:
  path: simplicialVertexCount
  min count: 1
  max count: 1
  datatype: nonNegativeInteger

FaceMapShape
type: NodeShape
target class: FaceMap
property:
  path: removesVertex
  min count: 1
  max count: 1
  datatype: nonNegativeInteger
property:
  path: sourceSimplex
  min count: 1
  max count: 1
  class: Simplex
property:
  path: targetFace
  min count: 1
  max count: 1
  class: Simplex

ChainGroupShape
type: NodeShape
target class: ChainGroup
property:
  path: degree
  min count: 1
  max count: 1
  datatype: integer
property:
  path: generatedBy
  class: Simplex

BoundaryOperatorShape
type: NodeShape
target class: BoundaryOperator
property:
  path: sourceGroup
  min count: 1
  max count: 1
  class: ChainGroup
property:
  path: targetGroup
  min count: 1
  max count: 1
  class: ChainGroup
property:
  path: satisfiesBoundarySquaredZero
  min count: 1
  max count: 1
  datatype: boolean

ChainComplexShape
type: NodeShape
target class: ChainComplex
property:
  path: hasChainGroup
  class: ChainGroup
property:
  path: hasBoundary
  class: BoundaryOperator

HomologyGroupShape
type: NodeShape
target class: HomologyGroup
property:
  path: homologyDegree
  min count: 1
  max count: 1
  datatype: integer
property:
  path: bettiNumber
  min count: 1
  max count: 1
  datatype: nonNegativeInteger

NerveFunctorShape
type: NodeShape
target class: NerveFunctor

ChainFunctorShape
type: NodeShape
target class: ChainFunctor

KanComplexShape
type: NodeShape
target class: KanComplex
property:
  path: kanWitness
  class: HornFiller

HornFillerShape
type: NodeShape
target class: HornFiller
property:
  path: hornDimension
  min count: 1
  max count: 1
  datatype: nonNegativeInteger
property:
  path: hornPosition
  min count: 1
  max count: 1
  datatype: nonNegativeInteger

PostnikovTruncationShape
type: NodeShape
target class: PostnikovTruncation
property:
  path: truncationLevel
  min count: 1
  max count: 1
  datatype: nonNegativeInteger
property:
  path: truncationSource
  min count: 1
  max count: 1
  class: KanComplex
property:
  path: kInvariant
  min count: 1
  max count: 1
  class: KInvariant

KInvariantShape
type: NodeShape
target class: KInvariant
property:
  path: kInvariantTrivial
  min count: 1
  max count: 1
  datatype: boolean

DeformationComplexShape
type: NodeShape
target class: DeformationComplex
property:
  path: deformationBase
  min count: 1
  max count: 1
  class: CompleteType
property:
  path: tangentDimension
  min count: 1
  max count: 1
  datatype: nonNegativeInteger
property:
  path: obstructionDimension
  min count: 1
  max count: 1
  datatype: nonNegativeInteger

CochainGroupShape
type: NodeShape
target class: CochainGroup
property:
  path: cochainDegree
  min count: 1
  max count: 1
  datatype: integer
property:
  path: cochainRank
  min count: 1
  max count: 1
  datatype: nonNegativeInteger
property:
  path: dualOf
  min count: 1
  max count: 1
  class: ChainGroup

CoboundaryOperatorShape
type: NodeShape
target class: CoboundaryOperator
property:
  path: coboundarySource
  min count: 1
  max count: 1
  class: CochainGroup
property:
  path: coboundaryTarget
  min count: 1
  max count: 1
  class: CochainGroup
property:
  path: satisfiesCoboundarySquaredZero
  min count: 1
  max count: 1
  datatype: boolean

CochainComplexShape
type: NodeShape
target class: CochainComplex
property:
  path: hasCochainGroup
  class: CochainGroup
property:
  path: hasCoboundary
  class: CoboundaryOperator

CohomologyGroupShape
type: NodeShape
target class: CohomologyGroup
property:
  path: cohomologyDegree
  min count: 1
  max count: 1
  datatype: integer
property:
  path: cohomologyRank
  min count: 1
  max count: 1
  datatype: nonNegativeInteger

SheafShape
type: NodeShape
target class: Sheaf
property:
  path: sheafOver
  min count: 1
  max count: 1
  class: SimplicialComplex
property:
  path: coefficientIn
  min count: 1
  max count: 1
  class: Ring
property:
  path: hasStalks
  class: Stalk
property:
  path: hasGlobalSection
  class: Section

StalkShape
type: NodeShape
target class: Stalk
property:
  path: stalkAt
  min count: 1
  max count: 1
  class: Simplex

SectionShape
type: NodeShape
target class: Section

LocalSectionShape
type: NodeShape
target class: LocalSection

RestrictionMapShape
type: NodeShape
target class: RestrictionMap
property:
  path: restrictsFrom
  min count: 1
  max count: 1
  class: Simplex
property:
  path: restrictsTo
  min count: 1
  max count: 1
  class: Simplex

GluingObstructionShape
type: NodeShape
target class: GluingObstruction
property:
  path: obstructionClass
  min count: 1
  max count: 1
  class: CohomologyGroup
property:
  path: addressesSuggestion
  class: RefinementSuggestion

ProofShape
type: NodeShape
target class: Proof
property:
  path: verified
  min count: 1
  max count: 1
  datatype: boolean
property:
  path: timestamp
  min count: 1
  max count: 1
  datatype: dateTime
property:
  path: witness
  class: WitnessData
property:
  path: provesIdentity
  min count: 1
  max count: 1
  class: Identity
property:
  path: verifiedAtLevel
  class: WittLevel
property:
  path: strategy
  min count: 1
  max count: 1
  class: ProofStrategy
property:
  path: dependsOn
  class: Identity
property:
  path: formalDerivation
  min count: 1
  max count: 1
  class: DerivationTerm

CoherenceProofShape
type: NodeShape
target class: CoherenceProof

ComputationCertificateShape
type: NodeShape
target class: ComputationCertificate
property:
  path: atWittLevel
  min count: 1
  max count: 1
  class: WittLevel

AxiomaticDerivationShape
type: NodeShape
target class: AxiomaticDerivation
property:
  path: universalScope
  min count: 1
  max count: 1
  datatype: boolean
property:
  path: derivationWitness
  class: Derivation

CriticalIdentityProofShape
type: NodeShape
target class: CriticalIdentityProof

WitnessDataShape
type: NodeShape
target class: WitnessData
property:
  path: https://uor.foundation/proof/x
  datatype: integer
property:
  path: bnot x
  datatype: integer
property:
  path: neg bnot x
  datatype: integer
property:
  path: succ x
  datatype: integer
property:
  path: holds
  datatype: boolean

ImpossibilityWitnessShape
type: NodeShape
target class: ImpossibilityWitness
property:
  path: impossibilityReason
  min count: 1
  max count: 1
  datatype: string
property:
  path: impossibilityDomain
  min count: 1
  max count: 1
  class: VerificationDomain
property:
  path: achievabilityStatus
  min count: 1
  max count: 1
  class: AchievabilityStatus

MorphospaceRecordShape
type: NodeShape
target class: MorphospaceRecord
property:
  path: boundaryType
  min count: 1
  max count: 1
  class: AchievabilityStatus

MorphospaceBoundaryShape
type: NodeShape
target class: MorphospaceBoundary
property:
  path: morphospaceRecord
  class: MorphospaceRecord

InductiveProofShape
type: NodeShape
target class: InductiveProof
property:
  path: baseCase
  min count: 1
  max count: 1
  class: Proof
property:
  path: inductiveStep
  min count: 1
  max count: 1
  class: Proof
property:
  path: validForKAtLeast
  min count: 1
  max count: 1
  datatype: nonNegativeInteger

ProofStrategyShape
type: NodeShape
target class: ProofStrategy

DerivationTermShape
type: NodeShape
target class: DerivationTerm

TacticApplicationShape
type: NodeShape
target class: TacticApplication

LemmaInvocationShape
type: NodeShape
target class: LemmaInvocation

InductionStepShape
type: NodeShape
target class: InductionStep

ComputationStepShape
type: NodeShape
target class: ComputationStep
property:
  path: from
  min count: 1
  max count: 1
  class: Datum
property:
  path: to
  min count: 1
  max count: 1
  class: Datum
property:
  path: operation
  min count: 1
  max count: 1
  class: Operation
property:
  path: index
  min count: 1
  max count: 1
  datatype: nonNegativeInteger
property:
  path: stepEntropyCost
  min count: 1
  max count: 1
  datatype: decimal
property:
  path: jacobianAtStep
  min count: 1
  max count: 1
  datatype: decimal

DerivationShape
type: NodeShape
target class: Derivation
property:
  path: originalTerm
  min count: 1
  max count: 1
  class: Term
property:
  path: canonicalTerm
  min count: 1
  max count: 1
  class: Term
property:
  path: result
  min count: 1
  max count: 1
  class: Datum
property:
  path: step
  class: RewriteStep
property:
  path: termMetrics
  min count: 1
  max count: 1
  class: TermMetrics

DerivationStepShape
type: NodeShape
target class: DerivationStep

RewriteStepShape
type: NodeShape
target class: RewriteStep
property:
  path: from
  min count: 1
  max count: 1
  class: Term
property:
  path: to
  min count: 1
  max count: 1
  class: Term
property:
  path: hasRewriteRule
  min count: 1
  max count: 1
  class: RewriteRule

RefinementStepShape
type: NodeShape
target class: RefinementStep
property:
  path: previousType
  min count: 1
  max count: 1
  class: TypeDefinition
property:
  path: appliedConstraint
  min count: 1
  max count: 1
  class: Constraint
property:
  path: refinedType
  min count: 1
  max count: 1
  class: TypeDefinition
property:
  path: sitesClosed
  min count: 1
  max count: 1
  datatype: nonNegativeInteger

RewriteRuleShape
type: NodeShape
target class: RewriteRule
property:
  path: groundedIn
  min count: 1
  max count: 1
  class: Identity

TermMetricsShape
type: NodeShape
target class: TermMetrics
property:
  path: stepCount
  min count: 1
  max count: 1
  datatype: nonNegativeInteger
property:
  path: termSize
  min count: 1
  max count: 1
  datatype: nonNegativeInteger

SynthesisStepShape
type: NodeShape
target class: SynthesisStep
property:
  path: stepIndex
  min count: 1
  max count: 1
  datatype: nonNegativeInteger
property:
  path: addedConstraint
  min count: 1
  max count: 1
  class: Constraint
property:
  path: signatureBefore
  min count: 1
  max count: 1
  class: SynthesisSignature
property:
  path: signatureAfter
  min count: 1
  max count: 1
  class: SynthesisSignature

SynthesisCheckpointShape
type: NodeShape
target class: SynthesisCheckpoint
property:
  path: checkpointStep
  min count: 1
  max count: 1
  class: SynthesisStep
property:
  path: checkpointState
  min count: 1
  max count: 1
  class: ConstraintSearchState

ComputationTraceShape
type: NodeShape
target class: ComputationTrace
property:
  path: input
  min count: 1
  max count: 1
  class: Datum
property:
  path: output
  min count: 1
  max count: 1
  class: Datum
property:
  path: step
  class: ComputationStep
property:
  path: monodromy
  min count: 1
  max count: 1
  class: DihedralElement
property:
  path: certifiedBy
  min count: 1
  max count: 1
  class: Certificate
property:
  path: residualEntropy
  min count: 1
  max count: 1
  class: ResidualEntropy
property:
  path: isGeodesic
  min count: 1
  max count: 1
  datatype: boolean
property:
  path: geodesicViolation
  class: GeodesicViolation
property:
  path: cumulativeEntropyCost
  min count: 1
  max count: 1
  datatype: decimal
property:
  path: adiabaticallyOrdered
  min count: 1
  max count: 1
  datatype: boolean
property:
  path: measurementEvent
  class: MeasurementEvent
property:
  path: isAR1Ordered
  min count: 1
  max count: 1
  datatype: boolean
property:
  path: isDC10Selected
  min count: 1
  max count: 1
  datatype: boolean

TraceMetricsShape
type: NodeShape
target class: TraceMetrics
property:
  path: stepCount
  min count: 1
  max count: 1
  datatype: nonNegativeInteger
property:
  path: totalRingDistance
  min count: 1
  max count: 1
  datatype: nonNegativeInteger
property:
  path: totalHammingDistance
  min count: 1
  max count: 1
  datatype: nonNegativeInteger

GeodesicTraceShape
type: NodeShape
target class: GeodesicTrace
property:
  path: geodesicCertificate
  min count: 1
  max count: 1
  class: GeodesicCertificate

GeodesicViolationShape
type: NodeShape
target class: GeodesicViolation
property:
  path: violationReason
  min count: 1
  max count: 1
  datatype: string

MeasurementEventShape
type: NodeShape
target class: MeasurementEvent
property:
  path: preCollapseEntropy
  min count: 1
  max count: 1
  datatype: decimal
property:
  path: postCollapseLandauerCost
  min count: 1
  max count: 1
  datatype: decimal
property:
  path: collapseStep
  min count: 1
  max count: 1
  datatype: nonNegativeInteger
property:
  path: amplitudeVector
  min count: 1
  max count: 1
  datatype: decimal

MeasurementOutcomeShape
type: NodeShape
target class: MeasurementOutcome
property:
  path: outcomeValue
  min count: 1
  max count: 1
  datatype: nonNegativeInteger
property:
  path: outcomeProbability
  min count: 1
  max count: 1
  datatype: decimal

CertificateShape
type: NodeShape
target class: Certificate
property:
  path: method
  min count: 1
  max count: 1
  class: ProofStrategy
property:
  path: verified
  min count: 1
  max count: 1
  datatype: boolean
property:
  path: wittLength
  min count: 1
  max count: 1
  datatype: positiveInteger
property:
  path: timestamp
  min count: 1
  max count: 1
  datatype: dateTime
property:
  path: certifies
  min count: 1
  max count: 1
  class: Thing

TransformCertificateShape
type: NodeShape
target class: TransformCertificate
property:
  path: transformType
  min count: 1
  max count: 1
  class: TermExpression

IsometryCertificateShape
type: NodeShape
target class: IsometryCertificate

InvolutionCertificateShape
type: NodeShape
target class: InvolutionCertificate
property:
  path: operation
  min count: 1
  max count: 1
  class: Operation

CompletenessCertificateShape
type: NodeShape
target class: CompletenessCertificate
property:
  path: certifiedType
  min count: 1
  max count: 1
  class: CompleteType
property:
  path: auditTrail
  min count: 1
  max count: 1
  class: CompletenessAuditTrail

CompletenessAuditTrailShape
type: NodeShape
target class: CompletenessAuditTrail
property:
  path: witnessCount
  min count: 1
  max count: 1
  datatype: nonNegativeInteger

GroundingCertificateShape
type: NodeShape
target class: GroundingCertificate
property:
  path: certifiedGrounding
  min count: 1
  max count: 1
  class: GroundedContext
property:
  path: groundingWitness
  min count: 1
  max count: 1
  class: GroundingWitness
property:
  path: groundingCertMap
  min count: 1
  max count: 1
  class: GroundingMap
property:
  path: groundingCertProjection
  min count: 1
  max count: 1
  class: ProjectionMap
property:
  path: groundingCertSourceSymbol
  min count: 1
  max count: 1
  class: Literal
property:
  path: groundingCertAddress
  min count: 1
  max count: 1
  class: Element

GeodesicCertificateShape
type: NodeShape
target class: GeodesicCertificate
property:
  path: certifiedGeodesic
  min count: 1
  max count: 1
  class: GeodesicTrace
property:
  path: geodesicTrace
  min count: 1
  max count: 1
  class: GeodesicTrace
property:
  path: evidenceBundle
  min count: 1
  max count: 1
  class: GeodesicEvidenceBundle

MeasurementCertificateShape
type: NodeShape
target class: MeasurementCertificate
property:
  path: certifiedMeasurement
  min count: 1
  max count: 1
  class: MeasurementEvent
property:
  path: vonNeumannEntropy
  min count: 1
  max count: 1
  datatype: decimal
property:
  path: landauerCost
  min count: 1
  max count: 1
  datatype: decimal

GeodesicEvidenceBundleShape
type: NodeShape
target class: GeodesicEvidenceBundle
property:
  path: isAR1Ordered
  min count: 1
  max count: 1
  datatype: boolean
property:
  path: isDC10Selected
  min count: 1
  max count: 1
  datatype: boolean

BornRuleVerificationShape
type: NodeShape
target class: BornRuleVerification
property:
  path: bornRuleVerified
  min count: 1
  max count: 1
  datatype: boolean

LiftChainCertificateShape
type: NodeShape
target class: LiftChainCertificate
property:
  path: certifiedChain
  min count: 1
  max count: 1
  class: LiftChain
property:
  path: chainAuditTrail
  min count: 1
  max count: 1
  class: ChainAuditTrail
property:
  path: targetLevel
  min count: 1
  max count: 1
  class: WittLevel
property:
  path: sourceLevel
  min count: 1
  max count: 1
  class: WittLevel

ChainAuditTrailShape
type: NodeShape
target class: ChainAuditTrail
property:
  path: chainStepCount
  min count: 1
  max count: 1
  datatype: nonNegativeInteger

TransformShape
type: NodeShape
target class: Transform
property:
  path: source
  min count: 1
  max count: 1
  class: Thing
property:
  path: target
  min count: 1
  max count: 1
  class: Thing
property:
  path: preserves
  class: Thing
property:
  path: trace
  min count: 1
  max count: 1
  class: ComputationTrace
property:
  path: composesWith
  class: Transform
property:
  path: preservedInvariant
  min count: 1
  max count: 1
  class: Identity
property:
  path: inputClass
  min count: 1
  max count: 1
  class: Class
property:
  path: outputClass
  min count: 1
  max count: 1
  class: Class
property:
  path: hasWitness
  class: Witness

IsometryShape
type: NodeShape
target class: Isometry
property:
  path: preservesMetric
  class: MetricObservable

EmbeddingShape
type: NodeShape
target class: Embedding
property:
  path: sourceQuantum
  min count: 1
  max count: 1
  datatype: positiveInteger
property:
  path: targetQuantum
  min count: 1
  max count: 1
  datatype: positiveInteger
property:
  path: addressCoherence
  min count: 1
  max count: 1
  class: Identity

ActionShape
type: NodeShape
target class: Action
property:
  path: group
  min count: 1
  max count: 1
  class: Group
property:
  path: actingOn
  min count: 1
  max count: 1
  class: Thing
property:
  path: actionIsometry
  min count: 1
  max count: 1
  datatype: boolean

CompositionShape
type: NodeShape
target class: Composition
property:
  path: compositionResult
  min count: 1
  max count: 1
  class: Transform
property:
  path: compositionComponents
  class: Transform

CompositionLawShape
type: NodeShape
target class: CompositionLaw
property:
  path: isAssociative
  min count: 1
  max count: 1
  datatype: boolean
property:
  path: isCommutative
  min count: 1
  max count: 1
  datatype: boolean
property:
  path: lawComponents
  class: Operation
property:
  path: lawResult
  min count: 1
  max count: 1
  class: Operation

GroundingMapShape
type: NodeShape
target class: GroundingMap
property:
  path: groundingDerivation
  min count: 1
  max count: 1
  class: Derivation
property:
  path: symbolConstraints
  class: Constraint

ProjectionMapShape
type: NodeShape
target class: ProjectionMap
property:
  path: projectionFrame
  min count: 1
  max count: 1
  class: Frame
property:
  path: projectionOrder
  min count: 1
  max count: 1
  class: CompositeConstraint
property:
  path: roundTripCoherence
  min count: 1
  max count: 1
  datatype: boolean
property:
  path: outputElementClass
  min count: 1
  max count: 1
  class: Class

TopologicalDeltaShape
type: NodeShape
target class: TopologicalDelta
property:
  path: bettisBefore
  min count: 1
  max count: 1
  class: BettiNumber
property:
  path: bettisAfter
  min count: 1
  max count: 1
  class: BettiNumber
property:
  path: eulerBefore
  min count: 1
  max count: 1
  datatype: integer
property:
  path: eulerAfter
  min count: 1
  max count: 1
  datatype: integer
property:
  path: nerveBefore
  min count: 1
  max count: 1
  class: SimplicialComplex
property:
  path: nerveAfter
  min count: 1
  max count: 1
  class: SimplicialComplex

ComputationDatumShape
type: NodeShape
target class: ComputationDatum
property:
  path: referencedCertificate
  min count: 1
  max count: 1
  class: TransformCertificate
property:
  path: computationAddress
  min count: 1
  max count: 1
  class: Element

ApplicationMorphismShape
type: NodeShape
target class: ApplicationMorphism
property:
  path: applicationTarget
  min count: 1
  max count: 1
  class: ComputationDatum
property:
  path: applicationInput
  min count: 1
  max count: 1
  class: Datum

PartialApplicationShape
type: NodeShape
target class: PartialApplication
property:
  path: partialBase
  min count: 1
  max count: 1
  class: ComputationDatum
property:
  path: boundArguments
  class: Datum
property:
  path: remainingArity
  min count: 1
  max count: 1
  datatype: positiveInteger

TransformCompositionShape
type: NodeShape
target class: TransformComposition
property:
  path: compositionLeft
  min count: 1
  max count: 1
  class: ComputationDatum
property:
  path: compositionRight
  min count: 1
  max count: 1
  class: ComputationDatum

WitnessShape
type: NodeShape
target class: Witness

GroundingWitnessShape
type: NodeShape
target class: GroundingWitness
property:
  path: surfaceSymbol
  min count: 1
  max count: 1
  class: SurfaceSymbol
property:
  path: groundedAddress
  min count: 1
  max count: 1
  class: Element
property:
  path: witnessBinding
  class: Binding
property:
  path: witnessStep
  min count: 1
  max count: 1
  datatype: nonNegativeInteger

ProjectionWitnessShape
type: NodeShape
target class: ProjectionWitness
property:
  path: projectionSource
  min count: 1
  max count: 1
  class: Partition
property:
  path: projectionOutput
  min count: 1
  max count: 1
  class: SymbolSequence

SymbolSequenceShape
type: NodeShape
target class: SymbolSequence
property:
  path: hasElement
  class: SequenceElement

SequenceElementShape
type: NodeShape
target class: SequenceElement
property:
  path: elementValue
  min count: 1
  max count: 1
  class: SurfaceSymbol
property:
  path: elementIndex
  min count: 1
  max count: 1
  datatype: nonNegativeInteger

ContextShape
type: NodeShape
target class: Context
property:
  path: binding
  class: Binding
property:
  path: capacity
  min count: 1
  max count: 1
  datatype: positiveInteger
property:
  path: contentAddress
  min count: 1
  max count: 1
  datatype: string
property:
  path: wittLength
  min count: 1
  max count: 1
  datatype: positiveInteger
property:
  path: groundingDegree
  min count: 1
  max count: 1
  datatype: decimal
property:
  path: contextTemperature
  min count: 1
  max count: 1
  datatype: decimal
property:
  path: isGrounded
  min count: 1
  max count: 1
  datatype: boolean
property:
  path: groundingPhase
  min count: 1
  max count: 1
  class: GroundingPhase
property:
  path: residualFreeCount
  min count: 1
  max count: 1
  datatype: nonNegativeInteger

BindingShape
type: NodeShape
target class: Binding
property:
  path: address
  min count: 1
  max count: 1
  class: Element
property:
  path: content
  min count: 1
  max count: 1
  class: Datum
property:
  path: boundType
  class: TypeDefinition
property:
  path: timestamp
  min count: 1
  max count: 1
  datatype: dateTime

FrameShape
type: NodeShape
target class: Frame
property:
  path: activeBindings
  class: Binding
property:
  path: context
  min count: 1
  max count: 1
  class: Context
property:
  path: constraint
  min count: 1
  max count: 1
  class: Constraint

TransitionShape
type: NodeShape
target class: Transition
property:
  path: from
  min count: 1
  max count: 1
  class: Context
property:
  path: to
  min count: 1
  max count: 1
  class: Context
property:
  path: addedBindings
  class: Binding
property:
  path: removedBindings
  class: Binding
property:
  path: trace
  min count: 1
  max count: 1
  class: ComputationTrace
property:
  path: topologicalSnapshot
  min count: 1
  max count: 1
  class: TopologicalDelta

SessionBoundaryTypeShape
type: NodeShape
target class: SessionBoundaryType

SessionShape
type: NodeShape
target class: Session
property:
  path: sessionBindings
  min count: 1
  max count: 1
  class: Context
property:
  path: sessionQueries
  min count: 1
  max count: 1
  datatype: nonNegativeInteger

BindingAccumulatorShape
type: NodeShape
target class: BindingAccumulator
property:
  path: aggregateSiteDeficit
  min count: 1
  max count: 1
  class: FreeRank
property:
  path: accumulatedBindings
  class: Binding

SessionBoundaryShape
type: NodeShape
target class: SessionBoundary
property:
  path: boundaryReason
  min count: 1
  max count: 1
  datatype: string
property:
  path: boundaryType
  min count: 1
  max count: 1
  class: SessionBoundaryType
property:
  path: priorContext
  min count: 1
  max count: 1
  class: Context
property:
  path: freshContext
  min count: 1
  max count: 1
  class: Context

GroundedContextShape
type: NodeShape
target class: GroundedContext
property:
  path: groundingCertificate
  min count: 1
  max count: 1
  class: GroundingCertificate

DomainGroundingRecordShape
type: NodeShape
target class: DomainGroundingRecord
property:
  path: groundedContext
  min count: 1
  max count: 1
  class: GroundedContext
property:
  path: groundedDomain
  min count: 1
  max count: 1
  class: TypeDefinition
property:
  path: domainFreeCount
  min count: 1
  max count: 1
  datatype: nonNegativeInteger

GroundingPhaseShape
type: NodeShape
target class: GroundingPhase

SharedContextShape
type: NodeShape
target class: SharedContext
property:
  path: leaseSet
  class: ContextLease

ContextLeaseShape
type: NodeShape
target class: ContextLease
property:
  path: leasedSites
  min count: 1
  max count: 1
  class: FreeRank
property:
  path: leaseHolder
  min count: 1
  max count: 1
  class: Session

SessionCompositionShape
type: NodeShape
target class: SessionComposition
property:
  path: composedFrom
  class: Session
property:
  path: compositionCompatible
  min count: 1
  max count: 1
  datatype: boolean
property:
  path: compositionResult
  min count: 1
  max count: 1
  class: Context
property:
  path: towerConsistencyVerified
  min count: 1
  max count: 1
  datatype: boolean

EulerReductionShape
type: NodeShape
target class: EulerReduction
property:
  path: phaseParameter
  min count: 1
  max count: 1
  datatype: decimal
property:
  path: stageCount
  min count: 1
  max count: 1
  datatype: nonNegativeInteger
property:
  path: convergenceAngle
  min count: 1
  max count: 1
  datatype: decimal
property:
  path: composedOfMaps
  class: TermExpression

PhaseRotationSchedulerShape
type: NodeShape
target class: PhaseRotationScheduler
property:
  path: rotationSchedule
  min count: 1
  max count: 1
  datatype: decimal
property:
  path: baseAngle
  min count: 1
  max count: 1
  datatype: decimal

TargetConvergenceAngleShape
type: NodeShape
target class: TargetConvergenceAngle
property:
  path: targetAngle
  min count: 1
  max count: 1
  datatype: decimal

PhaseGateAttestationShape
type: NodeShape
target class: PhaseGateAttestation
property:
  path: gateStage
  min count: 1
  max count: 1
  class: ReductionStep
property:
  path: gateExpectedPhase
  min count: 1
  max count: 1
  datatype: decimal
property:
  path: gateResult
  min count: 1
  max count: 1
  datatype: boolean

ComplexConjugateRollbackShape
type: NodeShape
target class: ComplexConjugateRollback
property:
  path: rollbackTarget
  min count: 1
  max count: 1
  class: ReductionStep

ReductionStepShape
type: NodeShape
target class: ReductionStep
property:
  path: stageIndex
  min count: 1
  max count: 1
  datatype: nonNegativeInteger
property:
  path: stageName
  min count: 1
  max count: 1
  datatype: string
property:
  path: expectedPhase
  min count: 1
  max count: 1
  datatype: decimal
property:
  path: entryGuard
  min count: 1
  max count: 1
  class: StatePredicate
property:
  path: exitGuard
  min count: 1
  max count: 1
  class: StatePredicate
property:
  path: stageEffect
  min count: 1
  max count: 1
  class: Effect

ReductionStateShape
type: NodeShape
target class: ReductionState
property:
  path: currentStage
  min count: 1
  max count: 1
  class: ReductionStep
property:
  path: phaseAngle
  min count: 1
  max count: 1
  datatype: decimal
property:
  path: pinnedMask
  min count: 1
  max count: 1
  datatype: nonNegativeInteger
property:
  path: freeRank
  min count: 1
  max count: 1
  datatype: nonNegativeInteger
property:
  path: siteState
  min count: 1
  max count: 1
  class: TermExpression

ReductionRuleShape
type: NodeShape
target class: ReductionRule
property:
  path: transitionGuard
  min count: 1
  max count: 1
  class: GuardedTransition
property:
  path: transitionEffect
  min count: 1
  max count: 1
  class: TermExpression
property:
  path: transitionAdvance
  min count: 1
  max count: 1
  datatype: boolean

EpochShape
type: NodeShape
target class: Epoch
property:
  path: epochIndex
  min count: 1
  max count: 1
  datatype: nonNegativeInteger
property:
  path: epochDatum
  min count: 1
  max count: 1
  class: TermExpression
property:
  path: epochReduction
  min count: 1
  max count: 1
  class: EulerReduction
property:
  path: epochOutput
  min count: 1
  max count: 1
  class: Datum
property:
  path: epochContext
  min count: 1
  max count: 1
  class: Context
property:
  path: epochIndex
  min count: 1
  max count: 1
  datatype: nonNegativeInteger

EpochBoundaryShape
type: NodeShape
target class: EpochBoundary
property:
  path: epochBoundaryType
  min count: 1
  max count: 1
  class: TermExpression
property:
  path: preservedGrounding
  min count: 1
  max count: 1
  datatype: boolean
property:
  path: boundaryFrom
  min count: 1
  max count: 1
  class: Epoch
property:
  path: boundaryTo
  min count: 1
  max count: 1
  class: Epoch
property:
  path: continuationContext
  min count: 1
  max count: 1
  class: Context

PredicateExpressionShape
type: NodeShape
target class: PredicateExpression
property:
  path: predicateField
  min count: 1
  max count: 1
  datatype: string
property:
  path: predicateOperator
  min count: 1
  max count: 1
  datatype: string
property:
  path: predicateValue
  min count: 1
  max count: 1
  datatype: string

GuardExpressionShape
type: NodeShape
target class: GuardExpression
property:
  path: guardPredicates
  class: PredicateExpression

TransitionEffectShape
type: NodeShape
target class: TransitionEffect
property:
  path: effectBindings
  class: PropertyBind

PropertyBindShape
type: NodeShape
target class: PropertyBind
property:
  path: bindTarget
  min count: 1
  max count: 1
  datatype: string
property:
  path: bindValue
  min count: 1
  max count: 1
  datatype: string

ReductionAdvanceShape
type: NodeShape
target class: ReductionAdvance
property:
  path: advanceFrom
  min count: 1
  max count: 1
  class: ReductionStep
property:
  path: advanceTo
  min count: 1
  max count: 1
  class: ReductionStep

ServiceWindowShape
type: NodeShape
target class: ServiceWindow
property:
  path: windowSize
  min count: 1
  max count: 1
  datatype: nonNegativeInteger
property:
  path: windowOffset
  min count: 1
  max count: 1
  datatype: nonNegativeInteger
property:
  path: baseContextRef
  min count: 1
  max count: 1
  class: TermExpression

ReductionTransactionShape
type: NodeShape
target class: ReductionTransaction
property:
  path: transactionPolicy
  min count: 1
  max count: 1
  datatype: string
property:
  path: transactionOutcome
  min count: 1
  max count: 1
  class: TermExpression
property:
  path: transactionScope
  min count: 1
  max count: 1
  class: TermExpression
property:
  path: transactionStatus
  min count: 1
  max count: 1
  class: TermExpression

PipelineSuccessShape
type: NodeShape
target class: PipelineSuccess
property:
  path: groundingReached
  min count: 1
  max count: 1
  datatype: boolean
property:
  path: finalGrounding
  min count: 1
  max count: 1
  datatype: decimal

PipelineFailureReasonShape
type: NodeShape
target class: PipelineFailureReason
property:
  path: failureKind
  min count: 1
  max count: 1
  datatype: string
property:
  path: failureStage
  min count: 1
  max count: 1
  class: TermExpression

PreflightCheckShape
type: NodeShape
target class: PreflightCheck
property:
  path: preflightKind
  min count: 1
  max count: 1
  datatype: string
property:
  path: preflightResult
  min count: 1
  max count: 1
  class: TermExpression
property:
  path: preflightOrder
  min count: 1
  max count: 1
  datatype: nonNegativeInteger

FeasibilityResultShape
type: NodeShape
target class: FeasibilityResult
property:
  path: feasibilityKind
  min count: 1
  max count: 1
  datatype: string
property:
  path: feasibilityWitness
  min count: 1
  max count: 1
  datatype: string
property:
  path: infeasibilityKind
  min count: 1
  max count: 1
  class: TermExpression

LeaseStateShape
type: NodeShape
target class: LeaseState
property:
  path: leasePhase
  min count: 1
  max count: 1
  datatype: string

ManagedLeaseShape
type: NodeShape
target class: ManagedLease
property:
  path: managedLeaseId
  min count: 1
  max count: 1
  class: TermExpression
property:
  path: leaseLifecycle
  min count: 1
  max count: 1
  class: LeaseState
property:
  path: expiryEpoch
  min count: 1
  max count: 1
  datatype: nonNegativeInteger
property:
  path: leaseBudget
  min count: 1
  max count: 1
  datatype: nonNegativeInteger

LeaseCheckpointShape
type: NodeShape
target class: LeaseCheckpoint
property:
  path: checkpointEpoch
  min count: 1
  max count: 1
  datatype: nonNegativeInteger
property:
  path: checkpointState
  min count: 1
  max count: 1
  class: ReductionState
property:
  path: leaseRemainingBudget
  min count: 1
  max count: 1
  datatype: nonNegativeInteger

BackPressureSignalShape
type: NodeShape
target class: BackPressureSignal
property:
  path: pressureLevel
  min count: 1
  max count: 1
  datatype: string
property:
  path: pressureThreshold
  min count: 1
  max count: 1
  datatype: decimal
property:
  path: sourceStage
  min count: 1
  max count: 1
  class: TermExpression
property:
  path: targetStage
  min count: 1
  max count: 1
  class: TermExpression

DeferredQuerySetShape
type: NodeShape
target class: DeferredQuerySet
property:
  path: deferredCount
  min count: 1
  max count: 1
  datatype: nonNegativeInteger
property:
  path: deferralEpoch
  min count: 1
  max count: 1
  datatype: nonNegativeInteger
property:
  path: deferralReason
  min count: 1
  max count: 1
  class: TermExpression

SubleaseTransferShape
type: NodeShape
target class: SubleaseTransfer
property:
  path: sourceLeaseRef
  min count: 1
  max count: 1
  class: TermExpression
property:
  path: targetLeaseRef
  min count: 1
  max count: 1
  class: TermExpression
property:
  path: transferredBudget
  min count: 1
  max count: 1
  datatype: nonNegativeInteger
property:
  path: transferCompleted
  min count: 1
  max count: 1
  datatype: boolean

ComparisonPredicateShape
type: NodeShape
target class: ComparisonPredicate
property:
  path: comparisonField
  min count: 1
  max count: 1
  class: TermExpression
property:
  path: comparisonOperator
  min count: 1
  max count: 1
  class: TermExpression
property:
  path: comparisonValue
  min count: 1
  max count: 1
  class: TermExpression

ConjunctionPredicateShape
type: NodeShape
target class: ConjunctionPredicate
property:
  path: conjuncts
  class: TermExpression

DisjunctionPredicateShape
type: NodeShape
target class: DisjunctionPredicate
property:
  path: disjuncts
  class: TermExpression

NegationPredicateShape
type: NodeShape
target class: NegationPredicate
property:
  path: negatedPredicate
  min count: 1
  max count: 1
  class: TermExpression

MembershipPredicateShape
type: NodeShape
target class: MembershipPredicate
property:
  path: membershipSet
  min count: 1
  max count: 1
  class: TermExpression
property:
  path: membershipElement
  min count: 1
  max count: 1
  class: TermExpression

GroundingPredicateShape
type: NodeShape
target class: GroundingPredicate
property:
  path: groundingThreshold
  min count: 1
  max count: 1
  datatype: nonNegativeInteger

SiteCoveragePredicateShape
type: NodeShape
target class: SiteCoveragePredicate
property:
  path: coverageTarget
  min count: 1
  max count: 1
  datatype: nonNegativeInteger

EqualsPredicateShape
type: NodeShape
target class: EqualsPredicate
property:
  path: equalityLeft
  min count: 1
  max count: 1
  class: TermExpression
property:
  path: equalityRight
  min count: 1
  max count: 1
  class: TermExpression

NonNullPredicateShape
type: NodeShape
target class: NonNullPredicate
property:
  path: nonNullField
  min count: 1
  max count: 1
  datatype: nonNegativeInteger

QuerySubtypePredicateShape
type: NodeShape
target class: QuerySubtypePredicate
property:
  path: queryTypeRef
  min count: 1
  max count: 1
  class: TermExpression

CompileUnitShape
type: NodeShape
target class: CompileUnit
property:
  path: rootTerm
  min count: 1
  max count: 1
  class: TermExpression
property:
  path: unitWittLevel
  min count: 1
  max count: 1
  class: WittLevel
property:
  path: thermodynamicBudget
  min count: 1
  max count: 1
  datatype: decimal
property:
  path: targetDomains
  class: VerificationDomain
property:
  path: unitAddress
  min count: 1
  max count: 1
  class: Element

ConvergenceLevelShape
type: NodeShape
target class: ConvergenceLevel
property:
  path: algebraDimension
  min count: 1
  max count: 1
  datatype: nonNegativeInteger
property:
  path: bettiSignature
  min count: 1
  max count: 1
  datatype: string
property:
  path: fiberType
  min count: 1
  max count: 1
  class: HopfFiber
property:
  path: characteristicIdentity
  min count: 1
  max count: 1
  datatype: string
property:
  path: levelName
  min count: 1
  max count: 1
  datatype: string

HopfFiberShape
type: NodeShape
target class: HopfFiber
property:
  path: fiberDimension
  min count: 1
  max count: 1
  datatype: nonNegativeInteger
property:
  path: totalSpace
  min count: 1
  max count: 1
  datatype: string
property:
  path: baseSpace
  min count: 1
  max count: 1
  datatype: string
property:
  path: fiberSphere
  min count: 1
  max count: 1
  datatype: string

ConvergenceResidualShape
type: NodeShape
target class: ConvergenceResidual
property:
  path: residualBetti
  min count: 1
  max count: 1
  datatype: nonNegativeInteger
property:
  path: residualDimension
  min count: 1
  max count: 1
  datatype: nonNegativeInteger

CommutativeSubspaceShape
type: NodeShape
target class: CommutativeSubspace
property:
  path: subspaceRef
  min count: 1
  max count: 1
  class: CommutativeSubspace
property:
  path: commutatorRef
  min count: 1
  max count: 1
  class: Commutator

AssociativeSubalgebraShape
type: NodeShape
target class: AssociativeSubalgebra
property:
  path: subalgebraRef
  min count: 1
  max count: 1
  class: AssociativeSubalgebra
property:
  path: associatorRef
  min count: 1
  max count: 1
  class: AssociatorTriple

NormedDivisionAlgebraShape
type: NodeShape
target class: NormedDivisionAlgebra
property:
  path: algebraDimension
  min count: 1
  max count: 1
  datatype: nonNegativeInteger
property:
  path: isCommutative
  min count: 1
  max count: 1
  datatype: boolean
property:
  path: isAssociative
  min count: 1
  max count: 1
  datatype: boolean
property:
  path: basisElements
  min count: 1
  max count: 1
  datatype: string
property:
  path: algebraMultiplicationTable
  min count: 1
  max count: 1
  class: MultiplicationTable

CayleyDicksonConstructionShape
type: NodeShape
target class: CayleyDicksonConstruction
property:
  path: cayleyDicksonSource
  min count: 1
  max count: 1
  class: NormedDivisionAlgebra
property:
  path: cayleyDicksonTarget
  min count: 1
  max count: 1
  class: NormedDivisionAlgebra
property:
  path: adjoinedElement
  min count: 1
  max count: 1
  datatype: string
property:
  path: conjugationRule
  min count: 1
  max count: 1
  datatype: string

MultiplicationTableShape
type: NodeShape
target class: MultiplicationTable

AlgebraCommutatorShape
type: NodeShape
target class: AlgebraCommutator

AlgebraAssociatorShape
type: NodeShape
target class: AlgebraAssociator

InteractionContextShape
type: NodeShape
target class: InteractionContext
property:
  path: entityA
  min count: 1
  max count: 1
  class: TermExpression
property:
  path: entityB
  min count: 1
  max count: 1
  class: TermExpression
property:
  path: sharedSiteMask
  min count: 1
  max count: 1
  datatype: nonNegativeInteger
property:
  path: commutatorNorm
  min count: 1
  max count: 1
  datatype: decimal

CommutatorStateShape
type: NodeShape
target class: CommutatorState
property:
  path: commutatorValue
  min count: 1
  max count: 1
  datatype: decimal

AssociatorStateShape
type: NodeShape
target class: AssociatorState
property:
  path: associatorNorm
  min count: 1
  max count: 1
  datatype: decimal

AssociatorTripleShape
type: NodeShape
target class: AssociatorTriple
property:
  path: tripleComponentA
  min count: 1
  max count: 1
  class: Datum
property:
  path: tripleComponentB
  min count: 1
  max count: 1
  class: Datum
property:
  path: tripleComponentC
  min count: 1
  max count: 1
  class: Datum
property:
  path: associatorProfileRef
  min count: 1
  max count: 1
  class: Observable
property:
  path: associatorNormValue
  min count: 1
  max count: 1
  datatype: decimal

ThreeWaySiteShape
type: NodeShape
target class: ThreeWaySite
property:
  path: sitePosition
  min count: 1
  max count: 1
  datatype: nonNegativeInteger
property:
  path: leftGroupingValue
  min count: 1
  max count: 1
  datatype: decimal
property:
  path: rightGroupingValue
  min count: 1
  max count: 1
  datatype: decimal
property:
  path: isPinned
  min count: 1
  max count: 1
  datatype: boolean
property:
  path: pinningPair
  min count: 1
  max count: 1
  class: TermExpression

NegotiationTraceShape
type: NodeShape
target class: NegotiationTrace
property:
  path: negotiationSteps
  min count: 1
  max count: 1
  datatype: nonNegativeInteger
property:
  path: isConvergent
  min count: 1
  max count: 1
  datatype: boolean
property:
  path: traceLength
  min count: 1
  max count: 1
  datatype: nonNegativeInteger
property:
  path: convergenceRate
  min count: 1
  max count: 1
  datatype: decimal
property:
  path: terminalValue
  min count: 1
  max count: 1
  class: TermExpression

MutualModelTraceShape
type: NodeShape
target class: MutualModelTrace
property:
  path: modelConvergent
  min count: 1
  max count: 1
  datatype: boolean

InteractionNerveShape
type: NodeShape
target class: InteractionNerve
property:
  path: nerveDimension
  min count: 1
  max count: 1
  datatype: nonNegativeInteger
property:
  path: nerveBettiNumbers
  min count: 1
  max count: 1
  datatype: nonNegativeInteger

InteractionCompositionShape
type: NodeShape
target class: InteractionComposition
property:
  path: reificationDepth
  min count: 1
  max count: 1
  datatype: nonNegativeInteger

MonoidalProductShape
type: NodeShape
target class: MonoidalProduct
property:
  path: leftOperand
  min count: 1
  max count: 1
  class: ComputationDatum
property:
  path: rightOperand
  min count: 1
  max count: 1
  class: ComputationDatum
property:
  path: composedResult
  min count: 1
  max count: 1
  class: Datum
property:
  path: saturationValue
  min count: 1
  max count: 1
  datatype: decimal

MonoidalUnitShape
type: NodeShape
target class: MonoidalUnit
property:
  path: unitWitnessRef
  min count: 1
  max count: 1
  class: Certificate

MonoidalAssociatorShape
type: NodeShape
target class: MonoidalAssociator
property:
  path: associatorLeft
  min count: 1
  max count: 1
  class: MonoidalProduct
property:
  path: associatorRight
  min count: 1
  max count: 1
  class: MonoidalProduct
property:
  path: associatorWitnessRef
  min count: 1
  max count: 1
  class: Certificate

StructuralOperadShape
type: NodeShape
target class: StructuralOperad
property:
  path: operadStructure
  min count: 1
  max count: 1
  class: StructuralOperad

OperadCompositionShape
type: NodeShape
target class: OperadComposition
property:
  path: outerType
  min count: 1
  max count: 1
  class: TypeDefinition
property:
  path: innerType
  min count: 1
  max count: 1
  class: TypeDefinition
property:
  path: composedType
  min count: 1
  max count: 1
  class: TypeDefinition
property:
  path: composedSiteCount
  min count: 1
  max count: 1
  datatype: nonNegativeInteger
property:
  path: composedGrounding
  min count: 1
  max count: 1
  class: GroundingMap

EffectShape
type: NodeShape
target class: Effect
property:
  path: effectTarget
  min count: 1
  max count: 1
  class: EffectTarget
property:
  path: preContext
  min count: 1
  max count: 1
  class: Context
property:
  path: postContext
  min count: 1
  max count: 1
  class: Context
property:
  path: freeRankDelta
  min count: 1
  max count: 1
  datatype: integer
property:
  path: compositeIndex
  min count: 1
  max count: 1
  datatype: nonNegativeInteger
property:
  path: isCommutativeWith
  min count: 1
  max count: 1
  datatype: boolean

ReversibleEffectShape
type: NodeShape
target class: ReversibleEffect

PinningEffectShape
type: NodeShape
target class: PinningEffect

UnbindingEffectShape
type: NodeShape
target class: UnbindingEffect

PhaseEffectShape
type: NodeShape
target class: PhaseEffect
property:
  path: phaseAngleDelta
  min count: 1
  max count: 1
  datatype: decimal

CompositeEffectShape
type: NodeShape
target class: CompositeEffect
property:
  path: compositeHead
  min count: 1
  max count: 1
  class: Effect
property:
  path: compositeTail
  class: Effect

ExternalEffectShape
type: NodeShape
target class: ExternalEffect
property:
  path: externalEffectShape
  min count: 1
  max count: 1
  class: EffectShape

EffectTargetShape
type: NodeShape
target class: EffectTarget
property:
  path: targetSites
  class: SiteIndex
property:
  path: targetCardinality
  min count: 1
  max count: 1
  datatype: nonNegativeInteger

DisjointnessWitnessShape
type: NodeShape
target class: DisjointnessWitness
property:
  path: disjointnessLeft
  min count: 1
  max count: 1
  class: EffectTarget
property:
  path: disjointnessRight
  min count: 1
  max count: 1
  class: EffectTarget

PredicateShape
type: NodeShape
target class: Predicate
property:
  path: evaluatesOver
  min count: 1
  max count: 1
  class: Class
property:
  path: boundedEvaluator
  class: DescentMeasure

TypePredicateShape
type: NodeShape
target class: TypePredicate

StatePredicateShape
type: NodeShape
target class: StatePredicate

SitePredicateShape
type: NodeShape
target class: SitePredicate

DispatchRuleShape
type: NodeShape
target class: DispatchRule
property:
  path: dispatchPredicate
  min count: 1
  max count: 1
  class: Predicate
property:
  path: dispatchTarget
  min count: 1
  max count: 1
  class: Resolver
property:
  path: dispatchIndex
  min count: 1
  max count: 1
  datatype: nonNegativeInteger

DispatchTableShape
type: NodeShape
target class: DispatchTable
property:
  path: dispatchRules
  class: DispatchRule
property:
  path: isExhaustive
  min count: 1
  max count: 1
  datatype: boolean
property:
  path: isMutuallyExclusive
  min count: 1
  max count: 1
  datatype: boolean

GuardedTransitionShape
type: NodeShape
target class: GuardedTransition
property:
  path: guardPredicate
  min count: 1
  max count: 1
  class: StatePredicate
property:
  path: guardEffect
  min count: 1
  max count: 1
  class: Effect
property:
  path: guardTarget
  min count: 1
  max count: 1
  class: ReductionStep

MatchArmShape
type: NodeShape
target class: MatchArm
property:
  path: armPredicate
  min count: 1
  max count: 1
  class: Predicate
property:
  path: armResult
  min count: 1
  max count: 1
  class: Term
property:
  path: armIndex
  min count: 1
  max count: 1
  datatype: nonNegativeInteger

MatchExpressionShape
type: NodeShape
target class: MatchExpression
property:
  path: matchArms
  class: MatchArm

ParallelProductShape
type: NodeShape
target class: ParallelProduct
property:
  path: leftComputation
  min count: 1
  max count: 1
  class: MonoidalProduct
property:
  path: rightComputation
  min count: 1
  max count: 1
  class: MonoidalProduct
property:
  path: disjointnessCert
  min count: 1
  max count: 1
  class: DisjointnessCertificate
property:
  path: isFullyDisjoint
  min count: 1
  max count: 1
  datatype: boolean
property:
  path: disjointnessCommutation
  min count: 1
  max count: 1
  datatype: boolean

DisjointnessCertificateShape
type: NodeShape
target class: DisjointnessCertificate
property:
  path: certLeftTarget
  min count: 1
  max count: 1
  class: EffectTarget
property:
  path: certRightTarget
  min count: 1
  max count: 1
  class: EffectTarget

SynchronizationPointShape
type: NodeShape
target class: SynchronizationPoint
property:
  path: syncSites
  class: SiteIndex

ParallelTraceShape
type: NodeShape
target class: ParallelTrace

SitePartitioningShape
type: NodeShape
target class: SitePartitioning
property:
  path: partitionComponents
  class: EffectTarget
property:
  path: componentCount
  min count: 1
  max count: 1
  datatype: positiveInteger

ProductiveStreamShape
type: NodeShape
target class: ProductiveStream
property:
  path: isProductive
  min count: 1
  max count: 1
  datatype: boolean

StreamPrefixShape
type: NodeShape
target class: StreamPrefix
property:
  path: prefixEpochs
  class: Epoch
property:
  path: prefixLength
  min count: 1
  max count: 1
  datatype: positiveInteger

StreamMorphismShape
type: NodeShape
target class: StreamMorphism

UnfoldShape
type: NodeShape
target class: Unfold
property:
  path: unfoldSeed
  min count: 1
  max count: 1
  class: Context
property:
  path: unfoldStep
  min count: 1
  max count: 1
  class: ComputationDatum
property:
  path: unfoldResult
  min count: 1
  max count: 1
  class: ProductiveStream

ComputationResultShape
type: NodeShape
target class: ComputationResult

SuccessShape
type: NodeShape
target class: Success
property:
  path: resultDatum
  min count: 1
  max count: 1
  class: Datum
property:
  path: resultCertificate
  min count: 1
  max count: 1
  class: ComputationCertificate

FailureShape
type: NodeShape
target class: Failure
property:
  path: failureReason
  min count: 1
  max count: 1
  class: FailureReason
property:
  path: failureState
  min count: 1
  max count: 1
  class: ReductionState
property:
  path: failureStage
  min count: 1
  max count: 1
  class: ReductionStep
property:
  path: recoveryStrategy
  class: Recovery
property:
  path: failureDepth
  min count: 1
  max count: 1
  datatype: nonNegativeInteger

FailureReasonShape
type: NodeShape
target class: FailureReason

GuardFailureShape
type: NodeShape
target class: GuardFailure

ConstraintContradictionShape
type: NodeShape
target class: ConstraintContradiction

SiteExhaustionShape
type: NodeShape
target class: SiteExhaustion

LiftObstructionFailureShape
type: NodeShape
target class: LiftObstructionFailure

PartialComputationShape
type: NodeShape
target class: PartialComputation
property:
  path: isTotal
  min count: 1
  max count: 1
  datatype: boolean

TotalComputationShape
type: NodeShape
target class: TotalComputation

RecoveryShape
type: NodeShape
target class: Recovery
property:
  path: recoveryEffect
  min count: 1
  max count: 1
  class: Effect
property:
  path: recoveryTarget
  min count: 1
  max count: 1
  class: ReductionStep

FailurePropagationShape
type: NodeShape
target class: FailurePropagation
property:
  path: propagationRule
  class: FailureReason

LinearSiteShape
type: NodeShape
target class: LinearSite

LinearEffectShape
type: NodeShape
target class: LinearEffect
property:
  path: linearTarget
  min count: 1
  max count: 1
  class: LinearSite

LinearTraceShape
type: NodeShape
target class: LinearTrace

LinearBudgetShape
type: NodeShape
target class: LinearBudget
property:
  path: budgetSites
  class: LinearSite
property:
  path: budgetContext
  min count: 1
  max count: 1
  class: Context
property:
  path: remainingCount
  min count: 1
  max count: 1
  datatype: nonNegativeInteger

LeaseAllocationShape
type: NodeShape
target class: LeaseAllocation
property:
  path: leaseTarget
  class: LinearSite
property:
  path: leaseSource
  min count: 1
  max count: 1
  class: ContextLease
property:
  path: leaseCardinality
  min count: 1
  max count: 1
  datatype: positiveInteger

AffineSiteShape
type: NodeShape
target class: AffineSite

BoundedRecursionShape
type: NodeShape
target class: BoundedRecursion
property:
  path: measure
  min count: 1
  max count: 1
  class: DescentMeasure
property:
  path: baseCase
  min count: 1
  max count: 1
  class: BaseCase
property:
  path: recursiveCase
  min count: 1
  max count: 1
  class: RecursiveCase
property:
  path: basePredicate
  min count: 1
  max count: 1
  class: Predicate
property:
  path: recursionBody
  min count: 1
  max count: 1
  class: ComputationDatum
property:
  path: initialMeasure
  min count: 1
  max count: 1
  datatype: nonNegativeInteger

DescentMeasureShape
type: NodeShape
target class: DescentMeasure
property:
  path: measureValue
  min count: 1
  max count: 1
  datatype: nonNegativeInteger

BaseCaseShape
type: NodeShape
target class: BaseCase

RecursiveCaseShape
type: NodeShape
target class: RecursiveCase

RecursiveStepShape
type: NodeShape
target class: RecursiveStep
property:
  path: stepDecomposition
  min count: 1
  max count: 1
  class: Transform
property:
  path: stepMeasurePre
  min count: 1
  max count: 1
  class: DescentMeasure
property:
  path: stepMeasurePost
  min count: 1
  max count: 1
  class: DescentMeasure

RecursionTraceShape
type: NodeShape
target class: RecursionTrace

StructuralRecursionShape
type: NodeShape
target class: StructuralRecursion

AddressRegionShape
type: NodeShape
target class: AddressRegion
property:
  path: regionBound
  min count: 1
  max count: 1
  class: RegionBound
property:
  path: localityMetric
  min count: 1
  max count: 1
  class: LocalityMetric
property:
  path: regionCardinality
  min count: 1
  max count: 1
  datatype: nonNegativeInteger

RegionBoundShape
type: NodeShape
target class: RegionBound
property:
  path: regionLower
  min count: 1
  max count: 1
  class: Element
property:
  path: regionUpper
  min count: 1
  max count: 1
  class: Element

LocalityMetricShape
type: NodeShape
target class: LocalityMetric

WorkingSetShape
type: NodeShape
target class: WorkingSet
property:
  path: workingSetRegions
  class: AddressRegion
property:
  path: workingSetStage
  min count: 1
  max count: 1
  class: ReductionStep
property:
  path: workingSetType
  min count: 1
  max count: 1
  class: TypeDefinition
property:
  path: workingSetSize
  min count: 1
  max count: 1
  datatype: nonNegativeInteger

RegionAllocationShape
type: NodeShape
target class: RegionAllocation
property:
  path: allocationStage
  class: ReductionStep
property:
  path: allocationWorkingSet
  class: WorkingSet

IOBoundaryShape
type: NodeShape
target class: IOBoundary

SourceShape
type: NodeShape
target class: Source
property:
  path: sourceType
  min count: 1
  max count: 1
  class: TypeDefinition
property:
  path: sourceGrounding
  min count: 1
  max count: 1
  class: GroundingMap

SinkShape
type: NodeShape
target class: Sink
property:
  path: sinkType
  min count: 1
  max count: 1
  class: TypeDefinition
property:
  path: sinkProjection
  min count: 1
  max count: 1
  class: ProjectionMap

BoundaryEffectShape
type: NodeShape
target class: BoundaryEffect
property:
  path: effectBoundary
  min count: 1
  max count: 1
  class: IOBoundary
property:
  path: isIdempotent
  min count: 1
  max count: 1
  datatype: boolean

IngestEffectShape
type: NodeShape
target class: IngestEffect
property:
  path: ingestSource
  min count: 1
  max count: 1
  class: Source

EmitEffectShape
type: NodeShape
target class: EmitEffect
property:
  path: emitSink
  min count: 1
  max count: 1
  class: Sink

BoundaryProtocolShape
type: NodeShape
target class: BoundaryProtocol
property:
  path: protocolType
  min count: 1
  max count: 1
  class: TypeDefinition
property:
  path: protocolOrdering
  min count: 1
  max count: 1
  class: CompositeConstraint

BoundarySessionShape
type: NodeShape
target class: BoundarySession
property:
  path: sessionBoundaries
  class: IOBoundary
property:
  path: crossingCount
  min count: 1
  max count: 1
  datatype: nonNegativeInteger

ShapeShape
type: NodeShape
target class: Shape
property:
  path: targetClass
  min count: 1
  max count: 1
  class: Class
property:
  path: requiredProperty
  class: PropertyConstraint

PropertyConstraintShape
type: NodeShape
target class: PropertyConstraint
property:
  path: constraintProperty
  min count: 1
  max count: 1
  class: Thing
property:
  path: constraintRange
  min count: 1
  max count: 1
  class: Class
property:
  path: minCount
  min count: 1
  max count: 1
  datatype: nonNegativeInteger
property:
  path: maxCount
  min count: 1
  max count: 1
  datatype: nonNegativeInteger

WittLevelShapeShape
type: NodeShape
target class: WittLevelShape

EffectShapeShape
type: NodeShape
target class: EffectShape

ParallelShapeShape
type: NodeShape
target class: ParallelShape

StreamShapeShape
type: NodeShape
target class: StreamShape

DispatchShapeShape
type: NodeShape
target class: DispatchShape

LeaseShapeShape
type: NodeShape
target class: LeaseShape

GroundingShapeShape
type: NodeShape
target class: GroundingShape

ValidationResultShape
type: NodeShape
target class: ValidationResult
property:
  path: validationShape
  min count: 1
  max count: 1
  class: Shape
property:
  path: validationTarget
  min count: 1
  max count: 1
  class: Thing
property:
  path: conforms
  min count: 1
  max count: 1
  datatype: boolean

PredicateShapeShape
type: NodeShape
target class: PredicateShape

WitnessDatumShape
type: NodeShape
target class: WitnessDatum
property:
  path: witnessLevel
  min count: 1
  max count: 1
  datatype: nonNegativeInteger
property:
  path: witnessBytes
  min count: 1
  max count: 1
  datatype: hexBinary

GroundedCoordinateShape
type: NodeShape
target class: GroundedCoordinate
property:
  path: coordinateLevel
  min count: 1
  max count: 1
  class: WittLevel

GroundedTupleShape
type: NodeShape
target class: GroundedTuple

GroundedValueMarkerShape
type: NodeShape
target class: GroundedValueMarker

ValidatedWrapperShape
type: NodeShape
target class: ValidatedWrapper
property:
  path: validatedInner
  min count: 1
  max count: 1
  class: Thing

WitnessDerivationShape
type: NodeShape
target class: WitnessDerivation

WitnessSiteBudgetShape
type: NodeShape
target class: WitnessSiteBudget

ShapeViolationReportShape
type: NodeShape
target class: ShapeViolationReport
property:
  path: shapeIri
  min count: 1
  max count: 1
  datatype: string
property:
  path: constraintIri
  min count: 1
  max count: 1
  datatype: string
property:
  path: propertyIri
  min count: 1
  max count: 1
  datatype: string
property:
  path: expectedRange
  min count: 1
  max count: 1
  datatype: string
property:
  path: violationMinCount
  min count: 1
  max count: 1
  datatype: nonNegativeInteger
property:
  path: violationMaxCount
  min count: 1
  max count: 1
  datatype: nonNegativeInteger
property:
  path: violationKind
  min count: 1
  max count: 1
  class: ViolationKind

ViolationKindShape
type: NodeShape
target class: ViolationKind

CompileUnitBuilderShape
type: NodeShape
target class: CompileUnitBuilder
property:
  path: builderRootTerm
  min count: 1
  max count: 1
  class: Term
property:
  path: builderWittLevelCeiling
  min count: 1
  max count: 1
  class: WittLevel
property:
  path: builderThermodynamicBudget
  min count: 1
  max count: 1
  datatype: decimal
property:
  path: builderTargetDomains
  class: VerificationDomain

EffectDeclarationShape
type: NodeShape
target class: EffectDeclaration
property:
  path: effectName
  min count: 1
  max count: 1
  datatype: string
property:
  path: targetSites
  datatype: nonNegativeInteger
property:
  path: budgetDelta
  min count: 1
  max count: 1
  datatype: integer
property:
  path: commutationFlag
  min count: 1
  max count: 1
  datatype: boolean

GroundingDeclarationShape
type: NodeShape
target class: GroundingDeclaration
property:
  path: groundingSourceType
  min count: 1
  max count: 1
  class: TypeDefinition
property:
  path: ringMapping
  min count: 1
  max count: 1
  datatype: string
property:
  path: invertibilityContract
  min count: 1
  max count: 1
  datatype: boolean

DispatchDeclarationShape
type: NodeShape
target class: DispatchDeclaration
property:
  path: dispatchPredicate
  min count: 1
  max count: 1
  class: PredicateExpression
property:
  path: targetResolver
  min count: 1
  max count: 1
  class: Resolver
property:
  path: dispatchPriority
  min count: 1
  max count: 1
  datatype: nonNegativeInteger

LeaseDeclarationShape
type: NodeShape
target class: LeaseDeclaration
property:
  path: linearSite
  min count: 1
  max count: 1
  datatype: nonNegativeInteger
property:
  path: leaseScope
  min count: 1
  max count: 1
  datatype: string

StreamDeclarationShape
type: NodeShape
target class: StreamDeclaration
property:
  path: unfoldSeed
  min count: 1
  max count: 1
  class: Term
property:
  path: stepTerm
  min count: 1
  max count: 1
  class: Term
property:
  path: productivityWitness
  min count: 1
  max count: 1
  datatype: string

PredicateDeclarationShape
type: NodeShape
target class: PredicateDeclaration
property:
  path: predicateInputType
  min count: 1
  max count: 1
  class: TypeDefinition
property:
  path: evaluatorTerm
  min count: 1
  max count: 1
  class: Term
property:
  path: terminationWitness
  min count: 1
  max count: 1
  datatype: string

ParallelDeclarationShape
type: NodeShape
target class: ParallelDeclaration
property:
  path: sitePartition
  min count: 1
  max count: 1
  class: Partition
property:
  path: disjointnessWitness
  min count: 1
  max count: 1
  datatype: string

WittLevelDeclarationShape
type: NodeShape
target class: WittLevelDeclaration
property:
  path: declaredBitWidth
  min count: 1
  max count: 1
  datatype: positiveInteger
property:
  path: declaredCycleSize
  min count: 1
  max count: 1
  datatype: nonNegativeInteger
property:
  path: predecessorLevel
  min count: 1
  max count: 1
  class: WittLevel

MintingSessionShape
type: NodeShape
target class: MintingSession
property:
  path: sessionCrossingCount
  min count: 1
  max count: 1
  datatype: nonNegativeInteger
property:
  path: sessionIsIdempotent
  min count: 1
  max count: 1
  datatype: boolean