This is a bridge-space namespace in the Resolve stage of the PRISM pipeline. It provides the resolution infrastructure — queries, partitions, observables, proofs, derivations, and traces that transform inputs into certified results.
A request for information from the UOR kernel. The root abstraction for all query types.
CoordinateQuery
Query
A query for the ring-coordinate position of a datum: its stratum, spectrum, and address within the ring geometry.
MetricQuery
Query
A query for a metric value between two datums: ring distance, Hamming distance, or their divergence (curvature).
RepresentationQuery
Query
A query for the canonical representation of a datum or term: its normal form under the active resolver strategy.
RelationQuery
Query
A Query with a known source address, a typed relation constraint, and an open target partition:FreeRank. Represents any question of the form: given this source symbol and relation type, what is the target? The relation type is read from the observable coordinate triple (d_R, d_H, d_I) — not externally supplied. Applies across NLP, ARC-AGI grids, music, images, sensor streams, and logical formulae.
TriadProjection
Thing
A classification of coordinate types that a CoordinateQuery can extract. Each TriadProjection individual names a specific coordinate system (stratum, spectrum, address) replacing the string-valued query:coordinate property.
SessionQuery
RelationQuery
A RelationQuery that explicitly declares its session membership, allowing the conformance suite to validate session-scoped site reduction across multi-turn Prism deployments.
Properties
Name
Kind
Functional
Domain
Range
Comment
inputType
Object
true
Query
Class
The type of input the query accepts.
outputType
Object
true
Query
Class
The type of output the query produces.
hasTriadProjection
Object
true
CoordinateQuery
TriadProjection
The typed coordinate kind this query extracts. Replaces the string-valued query:coordinate property with a typed reference to a TriadProjection individual.
sourceAddress
Object
true
RelationQuery
Element
The ring address of the grounded source symbol.
relationType
Object
true
RelationQuery
Constraint
The transformation type, expressed as a type:CompositeConstraint composed from the primitive basis. At inference time this is the output of an observable coordinate read on example pairs — computed from (d_R, d_H, d_I). Not an externally supplied input; read from the representation space.
targetSite
Object
true
RelationQuery
FreeRank
The open site budget for the unknown target. Begins fully free; closes to isClosed = true upon resolution.
groundingMap
Object
true
RelationQuery
GroundingMap
The GroundingMap that resolved the source symbol to its ring address.
projectionMap
Object
true
RelationQuery
ProjectionMap
The ProjectionMap that will render the resolved address neighbourhood back to surface symbols.
sessionContext
Object
true
RelationQuery
Context
Accumulated session state carrying all state:Binding instances produced by prior queries. Each binding records a resolved address, its datum, and the type under which it was resolved. Prior bindings monotonically reduce the free site space for subsequent queries.
sessionMembership
Object
true
SessionQuery
Session
The session this query belongs to.
Named Individuals
Name
Type
Comment
TwoAdicValuation
TriadProjection
The stratum coordinate: the layer position of a datum within the ring's stratification.
WalshHadamardImage
TriadProjection
The spectrum coordinate: the spectral decomposition of a datum under the ring's Fourier analysis.
RingElement
TriadProjection
The address coordinate: the content-addressable position of a datum in the Braille glyph encoding.