Expand description
Immersive SPARQL (QISP) profile — Phase 2 typed values, dense-asset registry,
and (integrated here) the typed function descriptor registry. See
docs/plans/immersive-sparql-hypermedia-profile.md.
Immersive SPARQL (QISP) — Phase 2 core: typed values + generation-safe
dense-asset registry + typed function descriptors.
This module is the Phase 2 slice of the Qualia Immersive SPARQL Profile
(QISP) described in docs/plans/immersive-sparql-hypermedia-profile.md. It is
a profile and extension layer over the existing SPARQL engine — not a fork of
the query language and not a second parser/registry. It contributes three
things, each in its own single-purpose submodule (CLAUDE.md §11):
- [
value] — the typed function descriptor ([ImmersiveFunctionDescriptor]), its [ImmersiveValueKind]/[ExecutionClass]/[ExactnessClass] classification, and the stable [QispError] codes (plan §4.2–§4.4). - [
asset_registry] — the bounded, generation-safe [DenseAssetRegistry] and its fail-closed [DenseAssetRef] handle. A handle carries only numeric, validated fields; no Rust address is ever stored in an NQuin/RDF term (plan §3.4, §10.1 QISP-R03/R04). - [
profile] — the fixed Tensor10D dimension order and honest classification, plus inline-value validation (plan §3.5, §3.6).
§Standards posture
These are Editor’s-Draft, provisional IRIs (plan §2.4): the vocabulary and semantics may change and there is no compatibility promise until the profile advances. Nothing here claims W3C or OGC standard status. The namespace owner and continuity plan are governance items tracked in the plan (§15 QISP-D02).
The functions submodule (the concrete typed-function registry that uses
these descriptors) is added by the integrating session — it is intentionally
not declared here.
Re-exports§
pub use value::ExactnessClass;pub use value::ExecutionClass;pub use value::ImmersiveFunctionDescriptor;pub use value::ImmersiveValueKind;pub use value::QispError;pub use asset_registry::AssetRecord;pub use asset_registry::DenseAssetRef;pub use asset_registry::DenseAssetRegistry;pub use asset_registry::SectionKind;pub use asset_registry::MAX_ASSETS;pub use profile::validate_inline_tensor10d;pub use profile::DimClass;pub use profile::TENSOR10D_DIMS;pub use profile::TENSOR10D_PROFILE_IRI;pub use functions::admit_inline;pub use functions::entry_for_iri;pub use functions::entry_for_iri_hash;pub use functions::tensor_distance;pub use functions::tensor_knn_into;pub use functions::tensor_within;pub use functions::FunctionEntry;pub use functions::TensorNeighbor;pub use functions::FUNCTIONS;
Modules§
- asset_
registry - QISP dense-asset registry — generation-safe, fail-closed handles to content-addressed dense assets (plan §3.4, §3.6, §10.1 QISP-R03/R04).
- functions
- QISP typed function registry (Phase 4) — the concrete descriptor table that
makes the §4.2 “no untyped
u64 -> u64public function contract” real. - profile
- QISP Tensor10D profile — the fixed ordered dimensions and their honest classification, plus inline-value validation (plan §3.5, §3.6).
- value
- QISP typed value model — the typed function descriptor, execution/exactness classification, and the stable QISP error codes.