This page answers what can Eqiora do today, and how was that conclusion reached?
It is organized by problem family. The
repository capability
matrix remains the maintained complete product map.
These labels describe different facts; they are not a single maturity ladder.
Available — a user-visible contract or surface exists.Executable — at least one described path runs end to end.Checked — focused product tests exercise the stated behavior.Verified — reproducible registered evidence supports the stated result.
Every summary names the exact current path. Eqiora remains alpha software.
Problem family
Current public boundary
Status
Foundations and numerics
Bounded Cartesian and affine-triangle Poisson paths
Verified
Fluid
Exact-cylinder steady Stokes product path
Checked
Fluid
Transient cylinder-flow startup presentation
Executable
Solid
Bounded mixed-boundary linear elasticity
Verified
Thermal
Passive-scalar temperature transport only
Not available as a general thermal package
Circuits and hybrid systems
Packaged DC motor and sampled controller
Verified
Geometry and meshing
Exact circular-hole planar geometry
Verified
Differentiation and optimization
Bounded spatial Poisson differentiation
Verified
Execution
Common scalar first-order ODE lifecycle
Verified
Interfaces
Local CLI compile and check
Verified
The summaries below state the current boundary, status basis, and main limits.
Poisson problems run on generated Cartesian meshes in 1D–3D through finite elements or finite volumes; one fixed 2D triangular finite-element path is also covered.
Exact boundary Generated Cartesian meshes in 1D–3D and one fixed affine-triangle 2D path, within the formulations and solvers named by the matrix.
What this establishes Bounded numerical execution and independently registered checks for the listed Poisson paths.
Current limits Fixed Poisson formulations and the listed Cartesian or affine-triangle meshes. Understand the Poisson checking problem Case manifest
One installed-Python path authors exact planar geometry, meshes it with Gmsh, resolves a steady Stokes plan, and publishes finite Result observations.
Exact boundary One 2D exact circular-hole geometry and the named Gmsh, MINI/P1, linear, and result-projection policies used by the walkthrough.
What this establishes Focused product tests cover the current Geometry → Mesh → Plan → Run → Result lifecycle.
Current limits One steady Stokes setup; convergence and force coefficients are not included. Open the bounded Gallery walkthrough Case manifest
One bounded installed-Python startup path advances accepted states and exposes typed vorticity, force, and pressure observations for caller-owned media.
Exact boundary The fixed exact-cylinder setup, policies, time window, and serial execution shown in the Gallery page.
What this establishes The bounded lifecycle produces accepted observations suitable for an illustrative walkthrough.
Current limits A short startup interval, not a developed-wake benchmark. Open the illustrative Gallery walkthrough
One bounded 2D linear-elasticity problem executes through direct and exact-package authoring to the same common result.
Exact boundary A Cartesian Q1 realization with complete trace-zero sides, zero weak traction, and the registered manufactured mixed-boundary case.
What this establishes The registered case checks direct/package equivalence, convergence, traction recovery, reaction balance, and fail-closed binding.
Current limits Linear small-strain behavior on the listed 2D Cartesian realization. Open the bounded Gallery walkthrough Case manifest
Eqiora does not yet ship a general thermal component package. The current
temperature-dimension example exercises passive-scalar transport. See the
thermal and
transport rows in the complete matrix .
One serial model combines an ideal linear DC motor, viscous load, and proportional sampled controller.
Exact boundary Exactly three packages, scalar electrical and rotational coordinates, one 10 ms clock, host-serial f64, dense Newton, and backward Euler.
What this establishes Registered evidence checks package composition, continuous and sampled semantics, typed physical observations, and the bounded trajectory.
Current limits Ideal linear devices and one fixed-rate sampled controller on the serial host path. Find electrical and drive declarations Case manifest
Python authors one axis-aligned rectangle minus one strictly interior exact circle with complete named region and boundary membership.
Exact boundary One tolerance-free planar geometry family and its bounded Gmsh realization path.
What this establishes Registered cases check canonical geometry identity, named membership, Python projection, and fail-closed replay.
Current limits One planar rectangle-minus-circle family with its named boundaries. See the geometry in a Gallery walkthrough Case manifest
Selected Poisson objectives expose parameter derivatives through the admitted differentiation paths.
Exact boundary The exact FEM/FVM formulations, scalar parameters, objectives, and host reference environments named by the registered case.
What this establishes Registered comparisons include independently evaluated centered finite differences for the bounded derivative claims.
Current limits The listed Poisson objectives, scalar parameters, and host paths. Read the Python differentiation guide Case manifest
Canonical scalar first-order models resolve without a mesh and run through the common Python Plan, State, Run, and Trajectory lifecycle.
Exact boundary Admitted non-stiff scalar problems using exact field-bound tolerances, Diffsol Tsitouras 5(4), and strictly increasing requested output times.
What this establishes Registered interface and time cases check execution, immutable field-selected series, replay, and retained model lineage.
Current limits Non-stiff scalar first-order models with requested output times. Read the execution and arrays guide Case manifest
The installed `eqiora check` command compiles and checks one local Eqiora Model source file and returns bounded diagnostics.
Exact boundary The exact command, help, exit behavior, source size, diagnostic envelope, and local-file contract documented by the CLI reference.
What this establishes Registered interface checks bind the current command surface and its compile/check behavior.
Current limits One local source file per invocation; compilation and checking only. Open the exact CLI reference Case manifest
See Checking a claim to find the underlying manifests and run a
selected check. The repository’s capability matrix records implementation and
verification independently.
