Module compiler 

Typed Eqiora Language lowering to Graph Federation transactions.

Modules

projection

Query projections retained outside canonical model meaning.

Structs

AnalyzedResolvedHierarchy

Completely parsed and globally indexed package hierarchy.

AuthoredFormulationProjection

Exact compiler-owned projection of one authored Formulation.

CanonicalDeclarationIdentity

File-layout-independent canonical declaration emitted by the compiler.

CompilationNamespaceId

Deterministic identity of one package compilation namespace.

CompiledAuthoredFormulation

One compiler-owned authored Formulation retained beside a freshly compiled Model.

CompiledModel

One typed model transaction ready for atomic Graph Federation commit.

ModelNotation

Labels resolved once against the complete Model, inherited unchanged by views.

ModelSymbols

Source-name to Semantic Kernel ID map produced with one compiled model.

PropertyContractDescriptor

Exact typed public property contract in an already admitted module graph.

QuantityIdentity

Identifies one quantity within a Model’s rendering scope.

ResolvedDependency

One direct package dependency authorized by an already-resolved graph.

ResolvedHierarchyInput

Complete input for one multi-package hierarchy analysis.

ResolvedNotation

One immutable quantity label with exact occurrence and source traceability.

ResolvedSourceUnit

One UTF-8 source unit belonging to a resolved package namespace.

UnitCatalog

The compiler’s closed multiplicative unit vocabulary.

ValidatedResolvedHierarchy

A resolved hierarchy in which every distributable definition has passed static validation.

Enums

CanonicalDeclarationKind

Top-level declaration families currently understood by package lowering.

QuantityRole

Physical role of a labelled quantity.

StaticBindingValue

One named static argument, interpreted by the selected signature’s category.

Functions

analyze_resolved_hierarchy

Parse and globally analyze every source unit of a resolved graph.

check_derived_interval_conservation

Derive and independently check the canonical interval content of one retained Law. No authored source identity or provenance is invented for derived mathematics. Returns None when the expression exceeds the closed projection inventory.

compile

Parse and type-lower every Model in one source file with no supplied bindings.

lower_module

Type-lower one client-neutral native model draft.

preflight_resolved_hierarchy

Validate the allocation footprint of one resolved hierarchy before source strings or alias records are copied into compiler-owned inputs.