Concepts¶
Eqiora keeps scientific meaning distinct from the choices required to execute it.
Semantic model¶
A semantic model is a typed network of relations. A relation may be activated continuously, periodically, by an event, or by a guard. Connections are either causal signals or conserving physical connections.
The canonical layer says what must be true. It does not select a mesh, quadrature rule, nonlinear algorithm, task placement, or accelerator.
Lowered contract¶
Compilation validates the complete model and lowers accepted meaning into typed operator contracts. Continuous, discrete, spatial, and hybrid paths may lower differently, but they do not acquire a second authoring semantics.
Realization¶
A realization states how an accepted model will be made executable: geometry and mesh associations, discretization, solver capabilities, schedules, and execution providers. Distinct realizations may therefore share one model identity.
Evidence¶
An artifact records immutable identity and provenance. Registered verification adds a bounded claim, an independent reference or oracle, and a falsifier. Passing one case never silently establishes a broader capability.