Description
eqiora — the public facade.
This is the only crate downstream users and physics packages depend on.
Its stable and transitional exports are enumerated in
api/eqiora-facade-v1.json; internal crates may refactor without silently
expanding the curated surface. Physics packages must not depend on
eqiora-* crates directly; that rule is enforced socially now and by the
package toolchain later.
The repository’s docs/architecture.md#dependency-layers section is the
human-readable contract; cargo xtask check-layers and
cargo xtask check-facade enforce the two boundaries.
Each underlying crate is also independently usable: depending on
eqiora-core alone for its unit system is a legitimate use of Eqiora.
Modules§
- aliases
- Convenient aliases for common quantities (
f64by default). - api
- Shared application operations used by thin language and Studio clients.
- artifact
- Versioned model/run artifacts and deterministic content identity.
- assembly
- Backend-neutral local contributions, assembly maps, and sparse algebra.
- backends
- Optional production execution adapters.
- compiler
- Typed Eqiora Language lowering to Graph Federation transactions.
- control
- Versioned control-v2 wire values and adapter for thin clients.
- device
- Backend-neutral device identity, capability, residency, and evidence.
- diagnostic
- Engineering-aware diagnostics.
- differentiation
- Implicit forward and adjoint differentiation over lowered relations.
- dim
- Standard dimension markers.
- distributed
- Transport-neutral distributed ownership, halo, and collective contracts.
- entity
- Entity and graph kinds of the Graph Federation.
- geometry
- Geometry identity, geometry-to-mesh correspondence, and kernel-neutral CAD contracts.
- graph
- Graph Federation: stores, typed transactions, semantic diff.
- io
- External-format adapters. Imported data is always reconstructed
through the backend-neutral contracts exposed by
meshing. - ir
- Backend-independent lowered representations.
- kernel
- Closed Semantic Kernel node definitions and residual expressions.
- kinds
- Zero-sized marker types for use as
Id<kinds::Field>etc. - language
- Eqiora Language syntax, lossless tokens, parser, and canonical formatter.
- meshing
- Backend-neutral mesh topology, affine geometry, and quality contracts.
- numerics
- Numerical realizations kept separate from canonical model meaning.
- ontology
- Standard Ontology: typed named subgraphs, never graph nodes.
- package
- Exact, offline model-package contracts and the locked compilation facade.
- quantity
- Two-layer unit system for compile-time and dynamic quantities.
- realization
- Typed Realization Graph policies kept separate from model meaning.
- runtime
- Lowered Rust CPU execution and backend conformance.
- sem
- Reference semantics: the interpreter that defines what programs mean.
- solver
- Backend-neutral solver plans, operators, capabilities, and evidence.
- time
- Backend-neutral lowered time problems, adaptive plans, and evidence.
Structs§
- Code
- Stable diagnostic code (e.g.
EQ0401). - Diagnostic
- An engineering diagnostic.
- DimExponents
- Canonical rational SI exponents, in kg, m, s, A, K, mol, cd order.
Numerator magnitudes and positive denominators are at most
i32::MAX. - DynQuantity
- Runtime-dimensioned quantity — exists only at external-data boundaries (rule 2). Never appears inside Eqiora Language semantics.
- Finite
Basis - A declared component basis or its coordinate dual. Its extent is checked against the FiniteSpace during semantic validation.
- Graph
Path - Dot-separated path to the graph node that caused a diagnostic.
- Id
- Strongly typed identifier for an entity in the Graph Federation.
- Invalid
Value Shape - Construction failure for an exact mathematical value shape.
- Patch
- Machine-applicable fix shared by agents and Studio clients.
- Quantity
- Statically dimensioned quantity — the only representation of physical values inside the platform (rule 1).
- RawId
- Type-erased identifier for storage and wire boundaries.
- Span
- Source location in an Eqiora Language file (byte offsets).
- Time
State Coordinate - One real coordinate of a complete Field value or its time derivative.
- Value
Literal - A complete finite mathematical value, with domain-specific exact payloads.
- Value
Shape - Exact, storage-independent shape of one mathematical value.
- Value
Type - Checked mathematical value type. Support and activation belong to its use site.
Enums§
- Entity
Kind - Runtime discriminant for entity kinds.
- Graph
Class - Runtime discriminant for the four graphs in the federation.
- Invalid
Value Literal - A literal cannot initialize the requested mathematical type.
- Invalid
Value Type - Invalid mathematical shape/frame combination.
- Scalar
Domain - Mathematical scalar domain, independent of numerical storage precision.
- Scalar
Type - Scalar storage representation shared by lowering, realization, and execution contracts.
- Severity
- Diagnostic severity.
- Value
Frame - Coordinate-frame meaning of mathematical value components.
Constants§
- VERSION
- Exact Cargo SemVer release identity of the public Eqiora facade.