Expand description
Compiler-independent checked identities and persisted value contracts.
The integer encodings here are project compatibility contracts. Compiler policy, ontology resolution, physical I/O, and execution belong to consumers.
Modules§
- heterogeneous
- Existing heterogeneous Arrow wire contracts, independent of DataFusion and I/O.
Structs§
- Entity
Type Id - Checked entity-label carrier, which cannot contain a runtime relation ID.
- Primary
Entity Type Id - Immutable primary property-routing label, independent of current membership.
- Property
Id - Compiler property reference with explicit ontology/runtime ownership.
- Relation
Type Id - Checked relation-type carrier, which cannot contain a runtime entity ID.
- Runtime
Catalog Data - Checked runtime catalog carrier and its encoding-preserving Arrow codec.
- Runtime
Entity Id - Checked runtime-catalog entity identity; distinct from relation and ontology IDs.
- Runtime
Prop Id - Checked owner-scoped runtime property identity, retaining its untagged integer encoding.
- Runtime
Relation Id - Checked runtime-catalog relation identity; distinct from entity and ontology IDs.
- Tagged
Type Id - Checked carrier for the persisted ontology/runtime type-ID integer space.
Enums§
- Catalog
IdError - A malformed identity or an attempted use in the wrong identity domain.
- Entity
Type Selection - Entity-label selection without conflating an unknown label with all labels.
- Literal
- A scalar constant value in the Graph IR.
- Relation
Type Selection - Relation selection with distinct wildcard and unresolved-name states.
- Type
IdKind - Identity domain encoded by a persisted type ID.
Constants§
- TYPE_
LOCAL_ ID_ LIMIT - Exclusive upper bound of ontology/semantic and runtime-local type IDs.
Statics§
- RUNTIME_
CATALOG_ SCHEMA - Arrow schema for
topology/runtime_catalog.parquet.