Evidence catalog
This catalog is a deterministic projection of the validated
eqiora.capability-evidence-index/v3 index. It contains 832 capability-to-case
entries. Case manifests and their referenced evidence remain authoritative;
an entry here does not widen its bounded claim.
accepted-ale-fsi-state-to-topology-distinct-realization
| Case |
Status |
Reference |
Conformance kits |
Target |
fsi.remeshing-transfer-2d |
verified |
independent-common-refinement-cpu-reference |
— |
Cargo: eqiora/remeshing_transfer_2d (features: faer) |
accepted-complete-field-primal
| Case |
Status |
Reference |
Conformance kits |
Target |
interfaces.python-differentiation |
verified |
centered-finite-difference-and-jvp-vjp-duality |
— |
Cargo: eqiora-python/python_differentiation |
accepted-owner-row-payloads-as-sole-rank-local-csr-and-rhs-source
| Case |
Status |
Reference |
Conformance kits |
Target |
fsi.fixed-reference-distributed-solve-mpi-2d |
verified |
mpi-transport-independent-complete-cpu-path-sharing-canonical-physics-and-lowering |
— |
Cargo: eqiora/fixed_reference_fsi_distributed_solve_mpi_2d (features: mpi) |
accepted-owner-row-shards-as-sole-rank-local-csr-source
| Case |
Status |
Reference |
Conformance kits |
Target |
fsi.fixed-reference-distributed-cuda-solve-mpi-2d |
verified |
one-host-physical-mpi-cuda-with-complete-cpu-reference |
— |
Cargo: eqiora/fixed_reference_fsi_distributed_cuda_solve_mpi_2d (features: mpi-cuda; environment: physical-mpi-cuda) |
accepted-solution-reconstruction
| Case |
Status |
Reference |
Conformance kits |
Target |
numerics.finalized-spatial-handoff |
verified |
cpu-regression-and-falsifying-cross-wire |
— |
Cargo: eqiora/finalized_spatial_handoff |
accepted-state-derivative-checkpoint
| Case |
Status |
Reference |
Conformance kits |
Target |
artifacts.implicit-time-restart-lineage |
verified |
canonical-operator-replay-and-uninterrupted-reference-run |
— |
Cargo: eqiora/implicit_time_restart_lineage |
accepted-trajectory-public-result-asset
| Case |
Status |
Reference |
Conformance kits |
Target |
fsi.fixed-topology-ale-monolithic-3d |
verified |
independent-reassembly-step-refinement-and-artifact-replay-cpu-reference |
— |
Cargo: eqiora/fixed_topology_ale_fsi_3d (features: faer) |
actual-preallocated-bounded-collective-trace
| Case |
Status |
Reference |
Conformance kits |
Target |
numerics.canonical-cartesian-poisson-mpi |
verified |
analytic-and-independent-serial-reference |
— |
Cargo: eqiora/canonical_cartesian_poisson_mpi (features: mpi) |
acyclic-run-trajectory-output
additional-serial-host-receipt-replay
| Case |
Status |
Reference |
Conformance kits |
Target |
numerics.canonical-cartesian-poisson-cuda |
verified |
public-source-selected-device-observation-with-independent-host-replay |
— |
Cargo: eqiora/canonical_cartesian_poisson_cuda_evidence |
adjoint-compliance-gradient
adjoint-gradient
adjoint-shape-gradient
affine-geometry-map-jvp
affine-pressure-conservative-load-equilibrium
| Case |
Status |
Reference |
Conformance kits |
Target |
fluid.same-program-fem-fvm-navier-stokes-2d |
verified |
common-analytic-equilibrium-and-exact-identity-replay |
— |
Cargo: eqiora/same_program_fem_fvm_navier_stokes_2d (features: faer) |
affine-solve-after-hierarchical-package-lowering
| Case |
Status |
Reference |
Conformance kits |
Target |
packages.hierarchical-physical-boundary |
verified |
canonical-package-model-equivalence-and-analytic-dc |
hierarchical-conserving-connection-sets-v1 |
Cargo: eqiora/packaged_hierarchical_physical_boundary |
agent-authority-fail-closed
| Case |
Status |
Reference |
Conformance kits |
Target |
interfaces.agent-authored-model-change |
verified |
ordinary-public-control-edit-realization-run-and-evidence-composition |
— |
Cargo: eqiora/agent_authored_model_change |
aggregate-decoded-byte-work-and-ignored-element-bounds
| Case |
Status |
Reference |
Conformance kits |
Target |
artifacts.gmsh-imported-simplicial-realization |
verified |
official-generator-ascii-binary-equivalence-exact-digest-and-single-dof-solution |
— |
Cargo: eqiora/gmsh_imported_simplicial_realization (features: gmsh; table: expected/mesh.sha256) |
algebraic-closure-inventory
algebraic-constraint
| Case |
Status |
Reference |
Conformance kits |
Target |
time.general-implicit-dae |
verified |
analytic |
— |
Cargo: eqiora/canonical_implicit_dae (table: expected/convergence.csv) |
| Case |
Status |
Reference |
Conformance kits |
Target |
language.canonical-pure-operator |
verified |
direct-and-exact-package-identity-artifact-replay-and-component-scalarization |
canonical-pure-operator-v1 |
Cargo: eqiora/canonical_pure_operator |
alias-optional-field-presentation
| Case |
Status |
Reference |
Conformance kits |
Target |
interfaces.studio-scalar-field-view |
verified |
exact-semantic-layout-replay-and-fail-closed-client-projection |
— |
Cargo: eqiora-api/scalar_field_projection |
allocation-free-linear-operator
| Case |
Status |
Reference |
Conformance kits |
Target |
numerics.linear-backends |
verified |
independent-backend-and-analytic |
— |
Cargo: eqiora/faer_spatial |
allocation-free-token-dense-ascii-closure
| Case |
Status |
Reference |
Conformance kits |
Target |
artifacts.gmsh-imported-simplicial-realization |
verified |
official-generator-ascii-binary-equivalence-exact-digest-and-single-dof-solution |
— |
Cargo: eqiora/gmsh_imported_simplicial_realization (features: gmsh; table: expected/mesh.sha256) |
alternating-measurement-order
| Case |
Status |
Reference |
Conformance kits |
Target |
performance.cuda-csr-transfer-threshold |
verified |
serial-host-action-and-independent-raw-median-replay |
— |
Cargo: eqiora-backend-cuda/cuda_transfer_threshold_evidence |
always-reported-aggregate-gate
| Case |
Status |
Reference |
Conformance kits |
Target |
quality.ci-routing |
specified |
ownership-contract-and-live-actions-observation |
— |
No executable target |
analytic-hierarchical-parallel-dc
| Case |
Status |
Reference |
Conformance kits |
Target |
language.component-elaboration |
verified |
canonical-identity-provenance-flat-normalization-and-analytic-dc |
hierarchical-conserving-connection-sets-v1 |
Cargo: eqiora/component_hierarchy |
analytic-jvp-centered-reassembly
| Case |
Status |
Reference |
Conformance kits |
Target |
fluid.cell-centered-navier-stokes-fvm-2d |
verified |
retained-face-replay-pressure-mode-falsification-and-step-doubling |
— |
Cargo: eqiora/cell_centered_navier_stokes_2d |
analytic-packaged-parallel-dc
| Case |
Status |
Reference |
Conformance kits |
Target |
packages.offline-model-package |
verified |
canonical-package-identities-provenance-and-analytic-dc |
— |
Cargo: eqiora/offline_model_package |
analytic-spatial-expression-jvp
analytic-voltage-current-and-junction-balance
| Case |
Status |
Reference |
Conformance kits |
Target |
electrical.parallel-dc-network |
verified |
source-native-parity-analytic-and-canonical-dag-reacceptance |
— |
Cargo: eqiora/scalar_physical_dc |
application-owned-mpi-lifetime
| Case |
Status |
Reference |
Conformance kits |
Target |
numerics.mpi-distributed |
verified |
executable-admission-and-fault-falsification |
— |
Cargo: eqiora-backend-mpi/mpi_distributed (features: mpi-runtime, mpi-test-hooks) |
artifact-authenticated-mesh-revision
artifact-codec-independent-comparison
ascii-binary-canonical-mesh-equivalence
| Case |
Status |
Reference |
Conformance kits |
Target |
artifacts.gmsh-imported-simplicial-realization |
verified |
official-generator-ascii-binary-equivalence-exact-digest-and-single-dof-solution |
— |
Cargo: eqiora/gmsh_imported_simplicial_realization (features: gmsh; table: expected/mesh.sha256) |
assembled-csr-independent-acceptance
| Case |
Status |
Reference |
Conformance kits |
Target |
numerics.global-matrix-free-action |
verified |
hand-calculated-nonsymmetric-oracle-plus-independent-assembled-csr-and-affine-solution |
— |
Cargo: eqiora/global_matrix_free_action |
assembled-linearized-relation
assembly-derived-exact-solver-row-ownership
| Case |
Status |
Reference |
Conformance kits |
Target |
fsi.fixed-reference-distributed-solve-mpi-2d |
verified |
mpi-transport-independent-complete-cpu-path-sharing-canonical-physics-and-lowering |
— |
Cargo: eqiora/fixed_reference_fsi_distributed_solve_mpi_2d (features: mpi) |
atomic-local-package-store-installation
| Case |
Status |
Reference |
Conformance kits |
Target |
packages.offline-model-package |
verified |
canonical-package-identities-provenance-and-analytic-dc |
— |
Cargo: eqiora/offline_model_package |
atomic-reset
| Case |
Status |
Reference |
Conformance kits |
Target |
hybrid.bouncing-ball |
implemented |
analytic-first-impact |
— |
Cargo: eqiora-sem/reference_event |
authenticated-assembly-packet-set-binding
authenticated-fixed-affine-simplex-fsi-lineage
| Case |
Status |
Reference |
Conformance kits |
Target |
fsi.fixed-reference-distributed-solve-mpi-2d |
verified |
mpi-transport-independent-complete-cpu-path-sharing-canonical-physics-and-lowering |
— |
Cargo: eqiora/fixed_reference_fsi_distributed_solve_mpi_2d (features: mpi) |
authenticated-fixed-affine-simplex-mesh-identity
backend-neutral-preconditioner-policy
| Case |
Status |
Reference |
Conformance kits |
Target |
numerics.preconditioner-stress |
verified |
manufactured-congruence-scaled-diffusion |
— |
Cargo: eqiora/preconditioner_stress |
backend-neutral-solver-plan
| Case |
Status |
Reference |
Conformance kits |
Target |
numerics.linear-backends |
verified |
independent-backend-and-analytic |
— |
Cargo: eqiora/faer_spatial |
backend-root-proposal-linkage
| Case |
Status |
Reference |
Conformance kits |
Target |
hybrid.registered-event |
verified |
analytic-bouncing-ball-first-impact-and-flight |
— |
Cargo: eqiora/canonical_time_execution (features: diffsol) |
backward-euler-transport-time-refinement
| Case |
Status |
Reference |
Conformance kits |
Target |
fluid.cartesian-advection-diffusion-fvm-2d |
verified |
analytic-zero-initial-inflow-step-space-time-refinement-and-reflection |
— |
Cargo: eqiora-numerics/canonical_transport |
base-owned-ci-definition-trust-guard
| Case |
Status |
Reference |
Conformance kits |
Target |
quality.ci-routing |
specified |
ownership-contract-and-live-actions-observation |
— |
No executable target |
batch-request-preflight-before-read
| Case |
Status |
Reference |
Conformance kits |
Target |
artifacts.xdmf-hdf5-native-import |
verified |
checked-in-real-hdf5-source-exact-runtime-provenance-and-hostile-profile-corpus |
— |
Cargo: eqiora/xdmf_hdf5_native_import (features: hdf5; table: expected/source.sha256) |
bdf-stiff-ode
| Case |
Status |
Reference |
Conformance kits |
Target |
time.diffsol-adaptive |
verified |
analytic-solutions-and-algebraic-constraint |
— |
Cargo: eqiora-backend-diffsol/adaptive_time (features: diffsol-runtime) |
bit-identical-serial-and-ordered-rayon-assembly
| Case |
Status |
Reference |
Conformance kits |
Target |
fluid.simplicial-mini-stokes-2d |
verified |
analytic-manufactured-convergence-gauge-and-balance |
— |
Cargo: eqiora/simplicial_mini_stokes_2d |
bitwise-reduced-and-full-csr-rhs-reconstruction
bound-affine-scalar-operator-admission
| Case |
Status |
Reference |
Conformance kits |
Target |
electrical.parallel-dc-network |
verified |
source-native-parity-analytic-and-canonical-dag-reacceptance |
— |
Cargo: eqiora/scalar_physical_dc |
boundary-determined-pressure-without-gauge
bounded-ascii-gmsh-4-1-decoder
| Case |
Status |
Reference |
Conformance kits |
Target |
artifacts.gmsh-imported-simplicial-realization |
verified |
official-generator-ascii-binary-equivalence-exact-digest-and-single-dof-solution |
— |
Cargo: eqiora/gmsh_imported_simplicial_realization (features: gmsh; table: expected/mesh.sha256) |
bounded-axis-aligned-boolean-intersection
| Case |
Status |
Reference |
Conformance kits |
Target |
geometry.cad-semantic-selection-box |
verified |
content-bound-truck-cad-to-semantic-geometry-mesh-projection |
— |
Cargo: eqiora/cad_semantic_selection (features: cad-truck) |
bounded-binary-gmsh-4-1-decoder
| Case |
Status |
Reference |
Conformance kits |
Target |
artifacts.gmsh-imported-simplicial-realization |
verified |
official-generator-ascii-binary-equivalence-exact-digest-and-single-dof-solution |
— |
Cargo: eqiora/gmsh_imported_simplicial_realization (features: gmsh; table: expected/mesh.sha256) |
bounded-checked-mpi-route-transport
bounded-explicit-two-dimensional-studio-field-transfer
| Case |
Status |
Reference |
Conformance kits |
Target |
interfaces.studio-scalar-field-view |
verified |
exact-semantic-layout-replay-and-fail-closed-client-projection |
— |
Cargo: eqiora-api/scalar_field_projection |
bounded-face-reconstruction-and-courant-admission
| Case |
Status |
Reference |
Conformance kits |
Target |
fluid.cartesian-advection-diffusion-fvm-2d |
verified |
analytic-zero-initial-inflow-step-space-time-refinement-and-reflection |
— |
Cargo: eqiora-numerics/canonical_transport |
bounded-fail-closed-construction
bounded-field-and-manifest-decoding
| Case |
Status |
Reference |
Conformance kits |
Target |
artifacts.discrete-field-import-provenance |
verified |
public-facade-canonical-identity-and-fail-closed-reference-validation |
— |
Cargo: eqiora/discrete_field_import_provenance |
bounded-root-registration-wire
| Case |
Status |
Reference |
Conformance kits |
Target |
hybrid.registered-event |
verified |
analytic-bouncing-ball-first-impact-and-flight |
— |
Cargo: eqiora/canonical_time_execution (features: diffsol) |
bounded-source-declared-pure-operator
| Case |
Status |
Reference |
Conformance kits |
Target |
language.canonical-pure-operator |
verified |
direct-and-exact-package-identity-artifact-replay-and-component-scalarization |
canonical-pure-operator-v1 |
Cargo: eqiora/canonical_pure_operator |
bounded-step-cuboid-import
| Case |
Status |
Reference |
Conformance kits |
Target |
geometry.cad-semantic-selection-box |
verified |
content-bound-truck-cad-to-semantic-geometry-mesh-projection |
— |
Cargo: eqiora/cad_semantic_selection (features: cad-truck) |
bounded-vtu-xml-ascii-preflight
| Case |
Status |
Reference |
Conformance kits |
Target |
artifacts.vtu-unstructured-grid-import |
verified |
official-vtk-python-writer-and-independent-exact-decoded-summary |
— |
Cargo: eqiora/vtu_unstructured_grid_import (features: vtu; table: expected/summary.json) |
| Case |
Status |
Reference |
Conformance kits |
Target |
artifacts.xdmf-uniform-grid-import |
verified |
independently-readable-hdf5-source-exact-normalized-arrays-and-fail-closed-replay |
— |
Cargo: eqiora/xdmf_uniform_grid_import (features: xdmf; table: expected/source.sha256) |
builder-local-symbol-identity
| Case |
Status |
Reference |
Conformance kits |
Target |
language.native-modeling |
verified |
source-native-structure-artifact-and-trajectory-equivalence |
— |
Cargo: eqiora/native_modeling |
cad-design-and-build-evidence
| Case |
Status |
Reference |
Conformance kits |
Target |
geometry.cad-semantic-selection-box |
verified |
content-bound-truck-cad-to-semantic-geometry-mesh-projection |
— |
Cargo: eqiora/cad_semantic_selection (features: cad-truck) |
cad-geometry-mesh-physics-boundary-projection
| Case |
Status |
Reference |
Conformance kits |
Target |
geometry.cad-semantic-selection-box |
verified |
content-bound-truck-cad-to-semantic-geometry-mesh-projection |
— |
Cargo: eqiora/cad_semantic_selection (features: cad-truck) |
caller-owned-buffer-normal-row-and-transpose-action
| Case |
Status |
Reference |
Conformance kits |
Target |
numerics.global-matrix-free-action |
verified |
hand-calculated-nonsymmetric-oracle-plus-independent-assembled-csr-and-affine-solution |
— |
Cargo: eqiora/global_matrix_free_action |
caller-owned-external-array-resolution
| Case |
Status |
Reference |
Conformance kits |
Target |
artifacts.xdmf-uniform-grid-import |
verified |
independently-readable-hdf5-source-exact-normalized-arrays-and-fail-closed-replay |
— |
Cargo: eqiora/xdmf_uniform_grid_import (features: xdmf; table: expected/source.sha256) |
canonical-conservative-navier-stokes-semantics-2d
canonical-coordinate-expression
| Case |
Status |
Reference |
Conformance kits |
Target |
numerics.poisson-fem-fvm |
verified |
analytic |
— |
Cargo: eqiora-numerics/poisson_fem_fvm (table: expected/convergence.csv) |
canonical-csr-materialization-binding
canonical-fieldwise-coherent-si-mini-stokes-execution
| Case |
Status |
Reference |
Conformance kits |
Target |
fluid.fieldwise-si-mini-stokes-2d |
verified |
analytic-affine-solution-symmetric-congruence-and-artifact-replay |
— |
Cargo: eqiora/fieldwise_si_mini_stokes_2d |
canonical-fixed-reference-fluid-solid-interface-projection-2d
| Case |
Status |
Reference |
Conformance kits |
Target |
fsi.fixed-reference-monolithic-step-2d |
verified |
content-bound-cpu-reference-coupled-saddle-step |
— |
Cargo: eqiora/fixed_reference_monolithic_fsi_step_2d |
canonical-flat-relation-network
| Case |
Status |
Reference |
Conformance kits |
Target |
language.component-elaboration |
verified |
canonical-identity-provenance-flat-normalization-and-analytic-dc |
hierarchical-conserving-connection-sets-v1 |
Cargo: eqiora/component_hierarchy |
canonical-general-csr-handoff
| Case |
Status |
Reference |
Conformance kits |
Target |
electrical.parallel-dc-network |
verified |
source-native-parity-analytic-and-canonical-dag-reacceptance |
— |
Cargo: eqiora/scalar_physical_dc |
canonical-guard-linearization
| Case |
Status |
Reference |
Conformance kits |
Target |
differentiation.hybrid-event |
verified |
analytic-bouncing-ball-first-impact |
— |
Cargo: eqiora-runtime/canonical_hybrid_sensitivity |
canonical-inertial-incompressible-newtonian-semantics-2d
| Case |
Status |
Reference |
Conformance kits |
Target |
fsi.fixed-reference-monolithic-step-2d |
verified |
content-bound-cpu-reference-coupled-saddle-step |
— |
Cargo: eqiora/fixed_reference_monolithic_fsi_step_2d |
canonical-mesh-bytes-and-domain-separated-digest
| Case |
Status |
Reference |
Conformance kits |
Target |
artifacts.gmsh-imported-simplicial-realization |
verified |
official-generator-ascii-binary-equivalence-exact-digest-and-single-dof-solution |
— |
Cargo: eqiora/gmsh_imported_simplicial_realization (features: gmsh; table: expected/mesh.sha256) |
artifacts.imported-simplicial-realization |
verified |
typed-round-trip-exact-single-dof-and-worker-independent-ordered-assembly |
— |
Cargo: eqiora/imported_simplicial_realization |
canonical-model-artifact-round-trip
| Case |
Status |
Reference |
Conformance kits |
Target |
language.native-modeling |
verified |
source-native-structure-artifact-and-trajectory-equivalence |
— |
Cargo: eqiora/native_modeling |
canonical-model-compilation-record
| Case |
Status |
Reference |
Conformance kits |
Target |
packages.offline-model-package |
verified |
canonical-package-identities-provenance-and-analytic-dc |
— |
Cargo: eqiora/offline_model_package |
packages.typed-execution-lineage |
verified |
canonical-package-model-realization-run-lineage |
— |
Cargo: eqiora/typed_package_execution_lineage |
canonical-model-to-external-mesh-assembly
| Case |
Status |
Reference |
Conformance kits |
Target |
artifacts.gmsh-imported-simplicial-realization |
verified |
official-generator-ascii-binary-equivalence-exact-digest-and-single-dof-solution |
— |
Cargo: eqiora/gmsh_imported_simplicial_realization (features: gmsh; table: expected/mesh.sha256) |
canonical-model-to-imported-mesh-assembly
| Case |
Status |
Reference |
Conformance kits |
Target |
artifacts.imported-simplicial-realization |
verified |
typed-round-trip-exact-single-dof-and-worker-independent-ordered-assembly |
— |
Cargo: eqiora/imported_simplicial_realization |
canonical-packet-local-assembly-delta
canonical-parameter-jvp
| Case |
Status |
Reference |
Conformance kits |
Target |
time.canonical-first-order |
verified |
analytic-ode-and-constant-mass-systems |
— |
Cargo: eqiora/canonical_time_execution (features: diffsol) |
canonical-potential-driven-scalar-transport-2d
| Case |
Status |
Reference |
Conformance kits |
Target |
fluid.cartesian-advection-diffusion-fvm-2d |
verified |
analytic-zero-initial-inflow-step-space-time-refinement-and-reflection |
— |
Cargo: eqiora-numerics/canonical_transport |
canonical-relation-lowering
| Case |
Status |
Reference |
Conformance kits |
Target |
time.canonical-first-order |
verified |
analytic-ode-and-constant-mass-systems |
— |
Cargo: eqiora/canonical_time_execution (features: diffsol) |
canonical-residual-replay
| Case |
Status |
Reference |
Conformance kits |
Target |
artifacts.implicit-time-restart-lineage |
verified |
canonical-operator-replay-and-uninterrupted-reference-run |
— |
Cargo: eqiora/implicit_time_restart_lineage |
canonical-root-callback-order
| Case |
Status |
Reference |
Conformance kits |
Target |
hybrid.registered-event |
verified |
analytic-bouncing-ball-first-impact-and-flight |
— |
Cargo: eqiora/canonical_time_execution (features: diffsol) |
canonical-run-v1-lineage
canonical-scalar-initial-state-consumption
| Case |
Status |
Reference |
Conformance kits |
Target |
fluid.cartesian-advection-diffusion-fvm-2d |
verified |
analytic-zero-initial-inflow-step-space-time-refinement-and-reflection |
— |
Cargo: eqiora-numerics/canonical_transport |
canonical-six-artifact-roundtrip-and-rank-agreement
| Case |
Status |
Reference |
Conformance kits |
Target |
numerics.canonical-cartesian-poisson-mpi |
verified |
analytic-and-independent-serial-reference |
— |
Cargo: eqiora/canonical_cartesian_poisson_mpi (features: mpi) |
canonical-source-lowering-and-identity-parametric-semantic-typing
| Case |
Status |
Reference |
Conformance kits |
Target |
language.canonical-tensor-operators |
verified |
typed-semantics-component-scalarization-and-artifact-roundtrip |
canonical-tensor-structure-operators-v1 |
Cargo: eqiora/canonical_tensor_operators |
canonical-spatial-lowering
| Case |
Status |
Reference |
Conformance kits |
Target |
solid.axial-bar |
verified |
analytic |
— |
Cargo: eqiora-numerics/canonical_axial_bar |
canonical-spatial-parameter-identity
canonical-transient-navier-stokes-cell-centered-fvm-2d
| Case |
Status |
Reference |
Conformance kits |
Target |
fluid.cell-centered-navier-stokes-fvm-2d |
verified |
retained-face-replay-pressure-mode-falsification-and-step-doubling |
— |
Cargo: eqiora/cell_centered_navier_stokes_2d |
canonical-two-field-isotropic-elasticity-lowering
| Case |
Status |
Reference |
Conformance kits |
Target |
solid.isotropic-elasticity-2d |
verified |
analytic-local-patch-manufactured-convergence-and-component-balance |
canonical-tensor-structure-operators-v1 |
Cargo: eqiora/isotropic_elasticity_2d |
capability-fail-closed
| Case |
Status |
Reference |
Conformance kits |
Target |
numerics.linear-backends |
verified |
independent-backend-and-analytic |
— |
Cargo: eqiora/faer_spatial |
| Case |
Status |
Reference |
Conformance kits |
Target |
packages.offline-model-package |
verified |
canonical-package-identities-provenance-and-analytic-dc |
— |
Cargo: eqiora/offline_model_package |
cartesian-checkerboard-pressure-action
| Case |
Status |
Reference |
Conformance kits |
Target |
fluid.cell-centered-navier-stokes-fvm-2d |
verified |
retained-face-replay-pressure-mode-falsification-and-step-doubling |
— |
Cargo: eqiora/cell_centered_navier_stokes_2d |
cartesian-periodic-facet-bijection
| Case |
Status |
Reference |
Conformance kits |
Target |
numerics.global-matrix-free-action |
verified |
hand-calculated-nonsymmetric-oracle-plus-independent-assembled-csr-and-affine-solution |
— |
Cargo: eqiora/global_matrix_free_action |
cell-facet-local-fvm
| Case |
Status |
Reference |
Conformance kits |
Target |
numerics.poisson-fem-fvm |
verified |
analytic |
— |
Cargo: eqiora-numerics/poisson_fem_fvm (table: expected/convergence.csv) |
cell-local-fem
| Case |
Status |
Reference |
Conformance kits |
Target |
numerics.poisson-fem-fvm |
verified |
analytic |
— |
Cargo: eqiora-numerics/poisson_fem_fvm (table: expected/convergence.csv) |
cell-local-positive-orientation-gate
cell-vector2-field-reconstruction
| Case |
Status |
Reference |
Conformance kits |
Target |
artifacts.xdmf-uniform-grid-import |
verified |
independently-readable-hdf5-source-exact-normalized-arrays-and-fail-closed-replay |
— |
Cargo: eqiora/xdmf_uniform_grid_import (features: xdmf; table: expected/source.sha256) |
cell-vector2-field-selection
| Case |
Status |
Reference |
Conformance kits |
Target |
artifacts.vtu-unstructured-grid-import |
verified |
official-vtk-python-writer-and-independent-exact-decoded-summary |
— |
Cargo: eqiora/vtu_unstructured_grid_import (features: vtu; table: expected/summary.json) |
checked-ascii-extreme-declaration-closure
| Case |
Status |
Reference |
Conformance kits |
Target |
artifacts.gmsh-imported-simplicial-realization |
verified |
official-generator-ascii-binary-equivalence-exact-digest-and-single-dof-solution |
— |
Cargo: eqiora/gmsh_imported_simplicial_realization (features: gmsh; table: expected/mesh.sha256) |
checked-assembly-packet-partition
checked-assembly-target-membership
checkpoint-derived-provided-initial-data
| Case |
Status |
Reference |
Conformance kits |
Target |
artifacts.implicit-time-restart-lineage |
verified |
canonical-operator-replay-and-uninterrupted-reference-run |
— |
Cargo: eqiora/implicit_time_restart_lineage |
checkpoint-state-drift-rejection
child-run-time-linkage
| Case |
Status |
Reference |
Conformance kits |
Target |
artifacts.implicit-time-restart-lineage |
verified |
canonical-operator-replay-and-uninterrupted-reference-run |
— |
Cargo: eqiora/implicit_time_restart_lineage |
closed-assembly-receipt-and-complete-operator-replay
| Case |
Status |
Reference |
Conformance kits |
Target |
fluid.cartesian-advection-diffusion-fvm-2d |
verified |
analytic-zero-initial-inflow-step-space-time-refinement-and-reflection |
— |
Cargo: eqiora-numerics/canonical_transport |
closed-feature-digest-and-resource-falsifiers
| Case |
Status |
Reference |
Conformance kits |
Target |
language.canonical-pure-operator |
verified |
direct-and-exact-package-identity-artifact-replay-and-component-scalarization |
canonical-pure-operator-v1 |
Cargo: eqiora/canonical_pure_operator |
closed-model-package-manifest
| Case |
Status |
Reference |
Conformance kits |
Target |
packages.offline-model-package |
verified |
canonical-package-identities-provenance-and-analytic-dc |
— |
Cargo: eqiora/offline_model_package |
closed-semantic-model-projection
coincident-cross-package-boundary-connection
| Case |
Status |
Reference |
Conformance kits |
Target |
packages.field-valued-boundary-interface |
verified |
canonical-identity-and-analytic-pointwise-interface-balance |
field-valued-boundary-interface-v1 |
Cargo: eqiora/field_valued_boundary_interface |
coincident-event-grouping
| Case |
Status |
Reference |
Conformance kits |
Target |
hybrid.bouncing-ball |
implemented |
analytic-first-impact |
— |
Cargo: eqiora-sem/reference_event |
common-canonical-boundary-meaning-across-spatial-realizations
| Case |
Status |
Reference |
Conformance kits |
Target |
fluid.same-program-fem-fvm-navier-stokes-2d |
verified |
common-analytic-equilibrium-and-exact-identity-replay |
— |
Cargo: eqiora/same_program_fem_fvm_navier_stokes_2d (features: faer) |
compiler-derived-release-preparation
| Case |
Status |
Reference |
Conformance kits |
Target |
packages.offline-model-package |
verified |
canonical-package-identities-provenance-and-analytic-dc |
— |
Cargo: eqiora/offline_model_package |
compiler-source-recanonicalization
| Case |
Status |
Reference |
Conformance kits |
Target |
packages.offline-model-package |
verified |
canonical-package-identities-provenance-and-analytic-dc |
— |
Cargo: eqiora/offline_model_package |
complete-caller-owned-hdf5-file-image-capability
| Case |
Status |
Reference |
Conformance kits |
Target |
artifacts.xdmf-hdf5-native-import |
verified |
checked-in-real-hdf5-source-exact-runtime-provenance-and-hostile-profile-corpus |
— |
Cargo: eqiora/xdmf_hdf5_native_import (features: hdf5; table: expected/source.sha256) |
complete-connector-component-model-admission
| Case |
Status |
Reference |
Conformance kits |
Target |
packages.package-definition-validation |
verified |
frozen-package-identity-and-source-diagnostic-falsifiers |
— |
Cargo: eqiora/package_definition_validation |
complete-exterior-isotropic-traction-family
| Case |
Status |
Reference |
Conformance kits |
Target |
solid.packaged-elastic-boundary-2d |
verified |
canonical-package-model-identity-and-typed-boundary-relations |
— |
Cargo: eqiora/packaged_elastic_boundary_2d |
complete-fixed-reference-multiphysics-state
complete-host-reacceptance
| Case |
Status |
Reference |
Conformance kits |
Target |
numerics.mpi-distributed |
verified |
executable-admission-and-fault-falsification |
— |
Cargo: eqiora-backend-mpi/mpi_distributed (features: mpi-runtime, mpi-test-hooks) |
complete-host-residual-reacceptance-on-every-rank
| Case |
Status |
Reference |
Conformance kits |
Target |
fsi.fixed-reference-distributed-cuda-solve-mpi-2d |
verified |
one-host-physical-mpi-cuda-with-complete-cpu-reference |
— |
Cargo: eqiora/fixed_reference_fsi_distributed_cuda_solve_mpi_2d (features: mpi-cuda; environment: physical-mpi-cuda) |
complete-native-hdf5-file-image-export
| Case |
Status |
Reference |
Conformance kits |
Target |
artifacts.xdmf-hdf5-remeshing-trajectory |
verified |
replayed-content-addressed-cpu-trajectory-and-native-hdf5-audit |
— |
Cargo: eqiora/remeshing_transfer_2d (features: faer, hdf5) |
complete-operator-pressure-closure
| Case |
Status |
Reference |
Conformance kits |
Target |
fsi.fixed-reference-monolithic-step-2d |
verified |
content-bound-cpu-reference-coupled-saddle-step |
— |
Cargo: eqiora/fixed_reference_monolithic_fsi_step_2d |
complete-primary-field-output-projection
complete-solver-plan-wire
| Case |
Status |
Reference |
Conformance kits |
Target |
artifacts.realization-run-wire |
verified |
typed-round-trip-and-cross-artifact-invariants |
— |
Cargo: eqiora-artifact/realization_run_wire |
complete-source-identity-alpha-renaming
| Case |
Status |
Reference |
Conformance kits |
Target |
numerics.canonical-cartesian-poisson-cuda |
verified |
public-source-selected-device-observation-with-independent-host-replay |
— |
Cargo: eqiora/canonical_cartesian_poisson_cuda_evidence |
componentwise-vector-residual-scalarization
| Case |
Status |
Reference |
Conformance kits |
Target |
packages.field-valued-boundary-interface |
verified |
canonical-identity-and-analytic-pointwise-interface-balance |
field-valued-boundary-interface-v1 |
Cargo: eqiora/field_valued_boundary_interface |
compositional-scalar-physical-endpoint-closure
| Case |
Status |
Reference |
Conformance kits |
Target |
packages.package-definition-validation |
verified |
frozen-package-identity-and-source-diagnostic-falsifiers |
— |
Cargo: eqiora/package_definition_validation |
concurrent-evaluation-isolation
connection-partition-semantic-identity
| Case |
Status |
Reference |
Conformance kits |
Target |
packages.hierarchical-physical-boundary |
verified |
canonical-package-model-equivalence-and-analytic-dc |
hierarchical-conserving-connection-sets-v1 |
Cargo: eqiora/packaged_hierarchical_physical_boundary |
conservative-endpoint-ale-action-with-affine-gcl
| Case |
Status |
Reference |
Conformance kits |
Target |
fsi.fixed-topology-ale-monolithic-2d |
verified |
independent-reassembly-and-step-refinement-cpu-reference |
— |
Cargo: eqiora/fixed_topology_ale_fsi_2d (features: faer) |
conservative-endpoint-ale-action-with-affine-gcl-3d
| Case |
Status |
Reference |
Conformance kits |
Target |
fsi.fixed-topology-ale-monolithic-3d |
verified |
independent-reassembly-step-refinement-and-artifact-replay-cpu-reference |
— |
Cargo: eqiora/fixed_topology_ale_fsi_3d (features: faer) |
conservative-owner-neighbor-face-assembly
| Case |
Status |
Reference |
Conformance kits |
Target |
fluid.cartesian-advection-diffusion-fvm-2d |
verified |
analytic-zero-initial-inflow-step-space-time-refinement-and-reflection |
— |
Cargo: eqiora-numerics/canonical_transport |
conservative-periodic-fvm-seam
consistent-initial-restoration
consistent-initialization
| Case |
Status |
Reference |
Conformance kits |
Target |
time.canonical-first-order |
verified |
analytic-ode-and-constant-mass-systems |
— |
Cargo: eqiora/canonical_time_execution (features: diffsol) |
time.diffsol-adaptive |
verified |
analytic-solutions-and-algebraic-constraint |
— |
Cargo: eqiora-backend-diffsol/adaptive_time (features: diffsol-runtime) |
time.general-implicit-dae |
verified |
analytic |
— |
Cargo: eqiora/canonical_implicit_dae (table: expected/convergence.csv) |
constant-state-preservation-and-boundedness
| Case |
Status |
Reference |
Conformance kits |
Target |
fluid.cartesian-advection-diffusion-fvm-2d |
verified |
analytic-zero-initial-inflow-step-space-time-refinement-and-reflection |
— |
Cargo: eqiora-numerics/canonical_transport |
constitutive-and-junction-residual-reacceptance
constitutive-parameter-action
constraint-aware-matrix-free-rhs
| Case |
Status |
Reference |
Conformance kits |
Target |
numerics.global-matrix-free-action |
verified |
hand-calculated-nonsymmetric-oracle-plus-independent-assembled-csr-and-affine-solution |
— |
Cargo: eqiora/global_matrix_free_action |
content-addressed-capture-free-pure-operator-definition
| Case |
Status |
Reference |
Conformance kits |
Target |
language.pure-calculus-support-map |
verified |
typed-expansion-exact-proof-replay-and-support-identity-falsifiers |
pure-calculus-support-map-v1 |
Cargo: eqiora-ir/pure_calculus_support_map |
content-addressed-generic-application
| Case |
Status |
Reference |
Conformance kits |
Target |
language.canonical-pure-operator |
verified |
direct-and-exact-package-identity-artifact-replay-and-component-scalarization |
canonical-pure-operator-v1 |
Cargo: eqiora/canonical_pure_operator |
content-addressed-realization-mesh-reference
| Case |
Status |
Reference |
Conformance kits |
Target |
artifacts.gmsh-imported-simplicial-realization |
verified |
official-generator-ascii-binary-equivalence-exact-digest-and-single-dof-solution |
— |
Cargo: eqiora/gmsh_imported_simplicial_realization (features: gmsh; table: expected/mesh.sha256) |
artifacts.imported-simplicial-realization |
verified |
typed-round-trip-exact-single-dof-and-worker-independent-ordered-assembly |
— |
Cargo: eqiora/imported_simplicial_realization |
content-addressed-root-registration
| Case |
Status |
Reference |
Conformance kits |
Target |
hybrid.registered-event |
verified |
analytic-bouncing-ball-first-impact-and-flight |
— |
Cargo: eqiora/canonical_time_execution (features: diffsol) |
content-bound-two-body-interface-witness
content-linkage-without-semantic-derivation-falsification
| Case |
Status |
Reference |
Conformance kits |
Target |
numerics.canonical-cartesian-poisson-mpi |
verified |
analytic-and-independent-serial-reference |
— |
Cargo: eqiora/canonical_cartesian_poisson_mpi (features: mpi) |
continuous-forward-parameter-sensitivity
| Case |
Status |
Reference |
Conformance kits |
Target |
time.diffsol-adaptive |
verified |
analytic-solutions-and-algebraic-constraint |
— |
Cargo: eqiora-backend-diffsol/adaptive_time (features: diffsol-runtime) |
continuous-mini-p1-bubble-velocity-p1-pressure
| Case |
Status |
Reference |
Conformance kits |
Target |
fluid.simplicial-mini-stokes-2d |
verified |
analytic-manufactured-convergence-gauge-and-balance |
— |
Cargo: eqiora/simplicial_mini_stokes_2d |
continuous-p1-simplex-centroid-execution
| Case |
Status |
Reference |
Conformance kits |
Target |
artifacts.gmsh-imported-simplicial-realization |
verified |
official-generator-ascii-binary-equivalence-exact-digest-and-single-dof-solution |
— |
Cargo: eqiora/gmsh_imported_simplicial_realization (features: gmsh; table: expected/mesh.sha256) |
artifacts.imported-simplicial-realization |
verified |
typed-round-trip-exact-single-dof-and-worker-independent-ordered-assembly |
— |
Cargo: eqiora/imported_simplicial_realization |
continuous-reconstruction
continuous-rectangle-series-comparison
control-data-plane-separation
| Case |
Status |
Reference |
Conformance kits |
Target |
interfaces.control-plane-compile-check |
verified |
shared-wire-fixtures-and-ordinary-compiler-admission |
control-compile-check-v1 |
Cargo: eqiora/control_plane_compile_check |
controlled-diagonal-contrast-sequence
| Case |
Status |
Reference |
Conformance kits |
Target |
numerics.preconditioner-stress |
verified |
manufactured-congruence-scaled-diffusion |
— |
Cargo: eqiora/preconditioner_stress |
convergence
coordinate-and-parameter-expression-jvp
core-vfd-native-vol-resolution
| Case |
Status |
Reference |
Conformance kits |
Target |
artifacts.xdmf-hdf5-native-import |
verified |
checked-in-real-hdf5-source-exact-runtime-provenance-and-hostile-profile-corpus |
— |
Cargo: eqiora/xdmf_hdf5_native_import (features: hdf5; table: expected/source.sha256) |
coupled-realization-v3-and-run-v2-replay
| Case |
Status |
Reference |
Conformance kits |
Target |
fsi.fixed-reference-cuda-solve-2d |
verified |
privacy-safe-selected-device-collector-with-independent-cpu-and-host-reacceptance |
— |
Cargo: eqiora/fixed_reference_fsi_cuda_evidence (features: cuda) |
coupled-spd-operator
| Case |
Status |
Reference |
Conformance kits |
Target |
numerics.preconditioner-stress |
verified |
manufactured-congruence-scaled-diffusion |
— |
Cargo: eqiora/preconditioner_stress |
| Case |
Status |
Reference |
Conformance kits |
Target |
interfaces.python-differentiation |
verified |
centered-finite-difference-and-jvp-vjp-duality |
— |
Cargo: eqiora-python/python_differentiation |
| Case |
Status |
Reference |
Conformance kits |
Target |
interfaces.python-differentiation |
verified |
centered-finite-difference-and-jvp-vjp-duality |
— |
Cargo: eqiora-python/python_differentiation |
cpu-reference-newton-krylov
cross-client-compile-contract
| Case |
Status |
Reference |
Conformance kits |
Target |
interfaces.control-plane-compile-check |
verified |
shared-wire-fixtures-and-ordinary-compiler-admission |
control-compile-check-v1 |
Cargo: eqiora/control_plane_compile_check |
cross-client-current-profile
| Case |
Status |
Reference |
Conformance kits |
Target |
interfaces.current-authoring-profile |
verified |
shared-rust-python-studio-profile-and-exact-codec-falsifiers |
current-authoring-profile-v1 |
Cargo: eqiora/current_authoring_profile |
cross-package-connection-set-union
| Case |
Status |
Reference |
Conformance kits |
Target |
packages.hierarchical-physical-boundary |
verified |
canonical-package-model-equivalence-and-analytic-dc |
hierarchical-conserving-connection-sets-v1 |
Cargo: eqiora/packaged_hierarchical_physical_boundary |
cross-wire-substitution-fail-closed
| Case |
Status |
Reference |
Conformance kits |
Target |
artifacts.model-reference-lineage |
verified |
explicit-wire-round-trip-and-cross-domain-rejection |
— |
Cargo: eqiora/model_artifact_reference_lineage |
cross-wired-reference-rejection
| Case |
Status |
Reference |
Conformance kits |
Target |
artifacts.discrete-field-import-provenance |
verified |
public-facade-canonical-identity-and-fail-closed-reference-validation |
— |
Cargo: eqiora/discrete_field_import_provenance |
crossing-direction-admission
| Case |
Status |
Reference |
Conformance kits |
Target |
differentiation.hybrid-event |
verified |
analytic-bouncing-ball-first-impact |
— |
Cargo: eqiora-runtime/canonical_hybrid_sensitivity |
curated-rust-public-facade
| Case |
Status |
Reference |
Conformance kits |
Target |
interfaces.control-plane-compile-check |
verified |
shared-wire-fixtures-and-ordinary-compiler-admission |
control-compile-check-v1 |
Cargo: eqiora/control_plane_compile_check |
current-semantic-authoring-profile
| Case |
Status |
Reference |
Conformance kits |
Target |
interfaces.current-authoring-profile |
verified |
shared-rust-python-studio-profile-and-exact-codec-falsifiers |
current-authoring-profile-v1 |
Cargo: eqiora/current_authoring_profile |
cycle-free-content-lineage
| Case |
Status |
Reference |
Conformance kits |
Target |
artifacts.implicit-time-restart-lineage |
verified |
canonical-operator-replay-and-uninterrupted-reference-run |
— |
Cargo: eqiora/implicit_time_restart_lineage |
declaration-fragment-and-member-order-invariance
| Case |
Status |
Reference |
Conformance kits |
Target |
language.hierarchical-connection-sets |
verified |
canonical-artifact-equivalence-exposure-elimination-and-source-falsifiers |
hierarchical-conserving-connection-sets-v1 |
Cargo: eqiora/hierarchical_connection_sets |
declaration-path-diagnostics
| Case |
Status |
Reference |
Conformance kits |
Target |
language.native-modeling |
verified |
source-native-structure-artifact-and-trajectory-equivalence |
— |
Cargo: eqiora/native_modeling |
decoded-realization-semantic-derivation-replay
| Case |
Status |
Reference |
Conformance kits |
Target |
numerics.canonical-cartesian-poisson-mpi |
verified |
analytic-and-independent-serial-reference |
— |
Cargo: eqiora/canonical_cartesian_poisson_mpi (features: mpi) |
decoded-work-and-fallible-memory-budget
| Case |
Status |
Reference |
Conformance kits |
Target |
artifacts.gmsh-imported-simplicial-realization |
verified |
official-generator-ascii-binary-equivalence-exact-digest-and-single-dof-solution |
— |
Cargo: eqiora/gmsh_imported_simplicial_realization (features: gmsh; table: expected/mesh.sha256) |
default-realization
| Case |
Status |
Reference |
Conformance kits |
Target |
solid.axial-bar |
verified |
analytic |
— |
Cargo: eqiora-numerics/canonical_axial_bar |
definition-local-conserving-fragment-equivalence
| Case |
Status |
Reference |
Conformance kits |
Target |
language.hierarchical-connection-sets |
verified |
canonical-artifact-equivalence-exposure-elimination-and-source-falsifiers |
hierarchical-conserving-connection-sets-v1 |
Cargo: eqiora/hierarchical_connection_sets |
definition-local-physical-connection-partitions
| Case |
Status |
Reference |
Conformance kits |
Target |
packages.package-definition-validation |
verified |
frozen-package-identity-and-source-diagnostic-falsifiers |
— |
Cargo: eqiora/package_definition_validation |
deployment-bound-faer-provider-release
| Case |
Status |
Reference |
Conformance kits |
Target |
numerics.linear-backends |
verified |
independent-backend-and-analytic |
— |
Cargo: eqiora/faer_spatial |
deployment-bound-host-execution-receipt
| Case |
Status |
Reference |
Conformance kits |
Target |
numerics.threaded-cpu |
verified |
worker-independent-assembly-reaction-and-true-residual |
— |
Cargo: eqiora/threaded_cpu (features: threaded) |
derived-owned-ghost-entity-layout
deterministic-component-flattening
deterministic-dyadic-component-scalarization
| Case |
Status |
Reference |
Conformance kits |
Target |
language.canonical-pure-operator |
verified |
direct-and-exact-package-identity-artifact-replay-and-component-scalarization |
canonical-pure-operator-v1 |
Cargo: eqiora/canonical_pure_operator |
deterministic-finalized-fsi-operator
| Case |
Status |
Reference |
Conformance kits |
Target |
fsi.fixed-reference-monolithic-step-2d |
verified |
content-bound-cpu-reference-coupled-saddle-step |
— |
Cargo: eqiora/fixed_reference_monolithic_fsi_step_2d |
deterministic-nested-instance-paths
| Case |
Status |
Reference |
Conformance kits |
Target |
language.component-elaboration |
verified |
canonical-identity-provenance-flat-normalization-and-analytic-dc |
hierarchical-conserving-connection-sets-v1 |
Cargo: eqiora/component_hierarchy |
deterministic-pointwise-tensor-component-scalarization
| Case |
Status |
Reference |
Conformance kits |
Target |
language.canonical-tensor-operators |
verified |
typed-semantics-component-scalarization-and-artifact-roundtrip |
canonical-tensor-structure-operators-v1 |
Cargo: eqiora/canonical_tensor_operators |
deterministic-three-and-four-port-junction-residuals
| Case |
Status |
Reference |
Conformance kits |
Target |
electrical.parallel-dc-network |
verified |
source-native-parity-analytic-and-canonical-dag-reacceptance |
— |
Cargo: eqiora/scalar_physical_dc |
device-neutral-local-action-to-global-packet-projection
| Case |
Status |
Reference |
Conformance kits |
Target |
numerics.global-matrix-free-action |
verified |
hand-calculated-nonsymmetric-oracle-plus-independent-assembled-csr-and-affine-solution |
— |
Cargo: eqiora/global_matrix_free_action |
differential-algebraic-partition
| Case |
Status |
Reference |
Conformance kits |
Target |
time.general-implicit-dae |
verified |
analytic |
— |
Cargo: eqiora/canonical_implicit_dae (table: expected/convergence.csv) |
diffsol-adaptive-execution
| Case |
Status |
Reference |
Conformance kits |
Target |
time.canonical-first-order |
verified |
analytic-ode-and-constant-mass-systems |
— |
Cargo: eqiora/canonical_time_execution (features: diffsol) |
dimension-aware-unary-math
| Case |
Status |
Reference |
Conformance kits |
Target |
numerics.poisson-fem-fvm |
verified |
analytic |
— |
Cargo: eqiora-numerics/poisson_fem_fvm (table: expected/convergence.csv) |
dimension-parametric-direct-and-exact-package-ale-fsi-lowering
| Case |
Status |
Reference |
Conformance kits |
Target |
fsi.fixed-topology-ale-monolithic-3d |
verified |
independent-reassembly-step-refinement-and-artifact-replay-cpu-reference |
— |
Cargo: eqiora/fixed_topology_ale_fsi_3d (features: faer) |
dimensioned-physical-trajectory-observation
dimensionless-symmetric-congruence-assembly
| Case |
Status |
Reference |
Conformance kits |
Target |
fluid.fieldwise-si-mini-stokes-2d |
verified |
analytic-affine-solution-symmetric-congruence-and-artifact-replay |
— |
Cargo: eqiora/fieldwise_si_mini_stokes_2d |
direct-flat-scalar-physical-fragment-normalization
| Case |
Status |
Reference |
Conformance kits |
Target |
language.hierarchical-connection-sets |
verified |
canonical-artifact-equivalence-exposure-elimination-and-source-falsifiers |
hierarchical-conserving-connection-sets-v1 |
Cargo: eqiora/hierarchical_connection_sets |
direct-nonlinear-residual-and-analytic-jacobian
direct-package-coefficient-primal-jvp-vjp-equivalence
| Case |
Status |
Reference |
Conformance kits |
Target |
fluid.port-closed-si-mini-stokes-2d |
verified |
direct-package-boundary-role-equivalence-and-existing-stokes-oracle |
— |
Cargo: eqiora/port_closed_si_mini_stokes_2d |
solid.mixed-boundary-elasticity-2d |
verified |
analytic-inventory-csr-convergence-and-balance-equivalence |
canonical-tensor-structure-operators-v1 |
Cargo: eqiora/mixed_boundary_elasticity_2d |
direct-public-package-reference
| Case |
Status |
Reference |
Conformance kits |
Target |
packages.offline-model-package |
verified |
canonical-package-identities-provenance-and-analytic-dc |
— |
Cargo: eqiora/offline_model_package |
directed-zero-crossing
| Case |
Status |
Reference |
Conformance kits |
Target |
hybrid.bouncing-ball |
implemented |
analytic-first-impact |
— |
Cargo: eqiora-sem/reference_event |
dirichlet-elimination
discrete-step-residual
distributed-conjugate-gradient
| Case |
Status |
Reference |
Conformance kits |
Target |
numerics.mpi-distributed |
verified |
executable-admission-and-fault-falsification |
— |
Cargo: eqiora-backend-mpi/mpi_distributed (features: mpi-runtime, mpi-test-hooks) |
distributed-content-dag-validation
| Case |
Status |
Reference |
Conformance kits |
Target |
numerics.canonical-cartesian-poisson-mpi |
verified |
analytic-and-independent-serial-reference |
— |
Cargo: eqiora/canonical_cartesian_poisson_mpi (features: mpi) |
distributed-jacobi-preconditioning
| Case |
Status |
Reference |
Conformance kits |
Target |
numerics.mpi-distributed |
verified |
executable-admission-and-fault-falsification |
— |
Cargo: eqiora-backend-mpi/mpi_distributed (features: mpi-runtime, mpi-test-hooks) |
distributed-symmetric-indefinite-operator-admission
| Case |
Status |
Reference |
Conformance kits |
Target |
fsi.fixed-reference-distributed-solve-mpi-2d |
verified |
mpi-transport-independent-complete-cpu-path-sharing-canonical-physics-and-lowering |
— |
Cargo: eqiora/fixed_reference_fsi_distributed_solve_mpi_2d (features: mpi) |
domain-owned-application-projection-selection
| Case |
Status |
Reference |
Conformance kits |
Target |
geometry.cad-semantic-selection-box |
verified |
content-bound-truck-cad-to-semantic-geometry-mesh-projection |
— |
Cargo: eqiora/cad_semantic_selection (features: cad-truck) |
domain-separated-final-receipt-agreement-before-output-exposure
| Case |
Status |
Reference |
Conformance kits |
Target |
numerics.canonical-cartesian-poisson-mpi |
verified |
analytic-and-independent-serial-reference |
— |
Cargo: eqiora/canonical_cartesian_poisson_mpi (features: mpi) |
domain-separated-semantic-and-source-identity
| Case |
Status |
Reference |
Conformance kits |
Target |
packages.offline-model-package |
verified |
canonical-package-identities-provenance-and-analytic-dc |
— |
Cargo: eqiora/offline_model_package |
duplicate-fragment-idempotence-with-complete-origins
| Case |
Status |
Reference |
Conformance kits |
Target |
language.hierarchical-connection-sets |
verified |
canonical-artifact-equivalence-exposure-elimination-and-source-falsifiers |
hierarchical-conserving-connection-sets-v1 |
Cargo: eqiora/hierarchical_connection_sets |
duplicated-execution-communicator
| Case |
Status |
Reference |
Conformance kits |
Target |
numerics.mpi-distributed |
verified |
executable-admission-and-fault-falsification |
— |
Cargo: eqiora-backend-mpi/mpi_distributed (features: mpi-runtime, mpi-test-hooks) |
durable-crossing-rule
| Case |
Status |
Reference |
Conformance kits |
Target |
performance.cuda-csr-transfer-threshold |
verified |
serial-host-action-and-independent-raw-median-replay |
— |
Cargo: eqiora-backend-cuda/cuda_transfer_threshold_evidence |
elasticity-affine-patch
| Case |
Status |
Reference |
Conformance kits |
Target |
solid.isotropic-elasticity-2d |
verified |
analytic-local-patch-manufactured-convergence-and-component-balance |
canonical-tensor-structure-operators-v1 |
Cargo: eqiora/isotropic_elasticity_2d |
elasticity-componentwise-equilibrium
| Case |
Status |
Reference |
Conformance kits |
Target |
solid.isotropic-elasticity-2d |
verified |
analytic-local-patch-manufactured-convergence-and-component-balance |
canonical-tensor-structure-operators-v1 |
Cargo: eqiora/isotropic_elasticity_2d |
elasticity-continuous-l2-h1-convergence
| Case |
Status |
Reference |
Conformance kits |
Target |
solid.isotropic-elasticity-2d |
verified |
analytic-local-patch-manufactured-convergence-and-component-balance |
canonical-tensor-structure-operators-v1 |
Cargo: eqiora/isotropic_elasticity_2d |
elasticity-local-rigid-shear-dilatation-and-cross-block
| Case |
Status |
Reference |
Conformance kits |
Target |
solid.isotropic-elasticity-2d |
verified |
analytic-local-patch-manufactured-convergence-and-component-balance |
canonical-tensor-structure-operators-v1 |
Cargo: eqiora/isotropic_elasticity_2d |
electromechanical-power-balance
eliminated-field-exposure-catalog
| Case |
Status |
Reference |
Conformance kits |
Target |
packages.field-valued-boundary-interface |
verified |
canonical-identity-and-analytic-pointwise-interface-balance |
field-valued-boundary-interface-v1 |
Cargo: eqiora/field_valued_boundary_interface |
energy-skew-conservative-defect-identity
equal-primal-distinct-derivative-falsifier
equation-class-admission
| Case |
Status |
Reference |
Conformance kits |
Target |
time.diffsol-adaptive |
verified |
analytic-solutions-and-algebraic-constraint |
— |
Cargo: eqiora-backend-diffsol/adaptive_time (features: diffsol-runtime) |
equation-support-derived-target-row-ownership
essential-bc
| Case |
Status |
Reference |
Conformance kits |
Target |
solid.axial-bar |
verified |
analytic |
— |
Cargo: eqiora-numerics/canonical_axial_bar |
essential-boundary-parameter-action
event-time-forward-sensitivity
| Case |
Status |
Reference |
Conformance kits |
Target |
differentiation.hybrid-event |
verified |
analytic-bouncing-ball-first-impact |
— |
Cargo: eqiora-runtime/canonical_hybrid_sensitivity |
exact-alpha-normalized-graph-labeling
exact-base-transaction-preview
| Case |
Status |
Reference |
Conformance kits |
Target |
interfaces.agent-authored-model-change |
verified |
ordinary-public-control-edit-realization-run-and-evidence-composition |
— |
Cargo: eqiora/agent_authored_model_change |
exact-binary-rational-rank
| Case |
Status |
Reference |
Conformance kits |
Target |
time.canonical-first-order |
verified |
analytic-ode-and-constant-mass-systems |
— |
Cargo: eqiora/canonical_time_execution (features: diffsol) |
exact-call-site-capability-intersection
| Case |
Status |
Reference |
Conformance kits |
Target |
numerics.canonical-cartesian-poisson-cuda |
verified |
public-source-selected-device-observation-with-independent-host-replay |
— |
Cargo: eqiora/canonical_cartesian_poisson_cuda_evidence |
exact-cartesian-complete-exterior
| Case |
Status |
Reference |
Conformance kits |
Target |
packages.complete-exterior-port-families |
verified |
canonical-kernel-identity-provenance-and-fail-closed-diagnostics |
— |
Cargo: eqiora/complete_exterior_port_families |
exact-commit-manual-dispatch
| Case |
Status |
Reference |
Conformance kits |
Target |
quality.ci-routing |
specified |
ownership-contract-and-live-actions-observation |
— |
No executable target |
| Case |
Status |
Reference |
Conformance kits |
Target |
fsi.fixed-reference-monolithic-step-2d |
verified |
content-bound-cpu-reference-coupled-saddle-step |
— |
Cargo: eqiora/fixed_reference_monolithic_fsi_step_2d |
exact-cpu-cuda-finalized-csr-rhs-agreement
| Case |
Status |
Reference |
Conformance kits |
Target |
fsi.fixed-reference-cuda-solve-2d |
verified |
privacy-safe-selected-device-collector-with-independent-cpu-and-host-reacceptance |
— |
Cargo: eqiora/fixed_reference_fsi_cuda_evidence (features: cuda) |
exact-evaluation-point-evidence
exact-field-domain-layout-identity
| Case |
Status |
Reference |
Conformance kits |
Target |
interfaces.studio-scalar-field-view |
verified |
exact-semantic-layout-replay-and-fail-closed-client-projection |
— |
Cargo: eqiora-api/scalar_field_projection |
exact-field-value-shape-and-frame
| Case |
Status |
Reference |
Conformance kits |
Target |
packages.field-valued-boundary-interface |
verified |
canonical-identity-and-analytic-pointwise-interface-balance |
field-valued-boundary-interface-v1 |
Cargo: eqiora/field_valued_boundary_interface |
exact-fresh-dataset-replay
| Case |
Status |
Reference |
Conformance kits |
Target |
artifacts.ml-dataset-remeshing-2d |
verified |
fresh-content-addressed-cpu-derivation |
— |
Cargo: eqiora/remeshing_transfer_2d (features: faer) |
exact-geometry-entity-to-mesh-membership-correspondence
exact-model-realization-bound-program
exact-model-realization-run-output-replay
| Case |
Status |
Reference |
Conformance kits |
Target |
interfaces.agent-authored-model-change |
verified |
ordinary-public-control-edit-realization-run-and-evidence-composition |
— |
Cargo: eqiora/agent_authored_model_change |
exact-normal-pressure-boundary-load-package
exact-offline-model-package-graph
exact-offline-resolution-record
| Case |
Status |
Reference |
Conformance kits |
Target |
packages.offline-model-package |
verified |
canonical-package-identities-provenance-and-analytic-dc |
— |
Cargo: eqiora/offline_model_package |
exact-package-and-direct-flat-numerical-equivalence
| Case |
Status |
Reference |
Conformance kits |
Target |
fluid.fieldwise-si-mini-stokes-2d |
verified |
analytic-affine-solution-symmetric-congruence-and-artifact-replay |
— |
Cargo: eqiora/fieldwise_si_mini_stokes_2d |
exact-package-execution-binding
| Case |
Status |
Reference |
Conformance kits |
Target |
packages.typed-execution-lineage |
verified |
canonical-package-model-realization-run-lineage |
— |
Cargo: eqiora/typed_package_execution_lineage |
exact-package-field-binding-alias-invariance
| Case |
Status |
Reference |
Conformance kits |
Target |
packages.occurrence-bound-fields |
verified |
canonical-kernel-identity-provenance-and-fail-closed-diagnostics |
— |
Cargo: eqiora/occurrence_bound_fields |
exact-package-public-physical-port-forwarding
| Case |
Status |
Reference |
Conformance kits |
Target |
packages.hierarchical-physical-boundary |
verified |
canonical-package-model-equivalence-and-analytic-dc |
hierarchical-conserving-connection-sets-v1 |
Cargo: eqiora/packaged_hierarchical_physical_boundary |
exact-package-qualified-pure-operator
| Case |
Status |
Reference |
Conformance kits |
Target |
language.canonical-pure-operator |
verified |
direct-and-exact-package-identity-artifact-replay-and-component-scalarization |
canonical-pure-operator-v1 |
Cargo: eqiora/canonical_pure_operator |
exact-package-run-binding
exact-package-spatial-support-alias-invariance
| Case |
Status |
Reference |
Conformance kits |
Target |
packages.component-spatial-supports |
verified |
canonical-model-topology-provenance-and-fail-closed-diagnostics |
— |
Cargo: eqiora/component_spatial_supports |
exact-package-to-direct-lowered-meaning-equivalence
| Case |
Status |
Reference |
Conformance kits |
Target |
solid.dynamic-linear-solid-semantics-2d |
verified |
canonical-package-equivalence-and-fail-closed-structural-recognition |
— |
Cargo: eqiora/dynamic_linear_solid_semantics_2d |
exact-package-to-interface-execution-equivalence
| Case |
Status |
Reference |
Conformance kits |
Target |
solid.conforming-elasticity-pair-2d |
verified |
analytic-heterogeneous-interface-convergence-and-equilibrium |
canonical-tensor-structure-operators-v1 |
Cargo: eqiora/conforming_elasticity_pair_2d |
exact-package-to-realization-equivalence
| Case |
Status |
Reference |
Conformance kits |
Target |
solid.mixed-boundary-elasticity-2d |
verified |
analytic-inventory-csr-convergence-and-balance-equivalence |
canonical-tensor-structure-operators-v1 |
Cargo: eqiora/mixed_boundary_elasticity_2d |
exact-packaged-isotropic-balance-component
| Case |
Status |
Reference |
Conformance kits |
Target |
solid.packaged-isotropic-balance-2d |
verified |
identity-normalized-structure-lowered-equivalence-convergence-and-exact-lineage |
— |
Cargo: eqiora/packaged_isotropic_balance_2d |
exact-packaged-quasistatic-mechanical-boundary
| Case |
Status |
Reference |
Conformance kits |
Target |
solid.packaged-elastic-boundary-2d |
verified |
canonical-package-model-identity-and-typed-boundary-relations |
— |
Cargo: eqiora/packaged_elastic_boundary_2d |
exact-packaged-steady-incompressible-stokes-component
| Case |
Status |
Reference |
Conformance kits |
Target |
fluid.packaged-steady-stokes-2d |
verified |
semantic-entity-bijection-lowered-equivalence-and-exact-package-replay |
— |
Cargo: eqiora/packaged_steady_stokes_2d |
exact-parameter-coordinate-retention
exact-periodic-sample-and-hold
exact-provider-release-provenance
| Case |
Status |
Reference |
Conformance kits |
Target |
numerics.threaded-cpu |
verified |
worker-independent-assembly-reaction-and-true-residual |
— |
Cargo: eqiora/threaded_cpu (features: threaded) |
exact-python-artifact-replay
| Case |
Status |
Reference |
Conformance kits |
Target |
interfaces.python-native-modeling |
verified |
public-rust-replay-and-reference-execution |
— |
Cargo: eqiora-python/python_native_modeling |
exact-realization-admission-tuples
| Case |
Status |
Reference |
Conformance kits |
Target |
numerics.threaded-cpu |
verified |
worker-independent-assembly-reaction-and-true-residual |
— |
Cargo: eqiora/threaded_cpu (features: threaded) |
exact-semantic-domain-to-geometry-entity-correspondence
exact-three-package-component-closure
| Case |
Status |
Reference |
Conformance kits |
Target |
packages.composed-model-package |
verified |
frozen-package-artifact-identities-and-analytic-dc |
— |
Cargo: eqiora/composed_model_package |
exact-two-port-zero-terminal-elimination
| Case |
Status |
Reference |
Conformance kits |
Target |
solid.mixed-boundary-elasticity-2d |
verified |
analytic-inventory-csr-convergence-and-balance-equivalence |
canonical-tensor-structure-operators-v1 |
Cargo: eqiora/mixed_boundary_elasticity_2d |
exact-u64-and-f64-dataset-resolution
| Case |
Status |
Reference |
Conformance kits |
Target |
artifacts.xdmf-hdf5-native-import |
verified |
checked-in-real-hdf5-source-exact-runtime-provenance-and-hostile-profile-corpus |
— |
Cargo: eqiora/xdmf_hdf5_native_import (features: hdf5; table: expected/source.sha256) |
exact-unique-cell-ownership
exact-velocity-traction-mechanical-interface-package
| Case |
Status |
Reference |
Conformance kits |
Target |
fluid.port-closed-si-mini-stokes-2d |
verified |
direct-package-boundary-role-equivalence-and-existing-stokes-oracle |
— |
Cargo: eqiora/port_closed_si_mini_stokes_2d |
exactly-once-cell-packet-evaluation
execution-placement-evidence
| Case |
Status |
Reference |
Conformance kits |
Target |
numerics.threaded-cpu |
verified |
worker-independent-assembly-reaction-and-true-residual |
— |
Cargo: eqiora/threaded_cpu (features: threaded) |
explicit-cad-cross-revision-selection-retention
| Case |
Status |
Reference |
Conformance kits |
Target |
geometry.cad-semantic-selection-box |
verified |
content-bound-truck-cad-to-semantic-geometry-mesh-projection |
— |
Cargo: eqiora/cad_semantic_selection (features: cad-truck) |
explicit-canonical-initial-guess
| Case |
Status |
Reference |
Conformance kits |
Target |
electrical.parallel-dc-network |
verified |
source-native-parity-analytic-and-canonical-dag-reacceptance |
— |
Cargo: eqiora/scalar_physical_dc |
explicit-differentiation-roles
| Case |
Status |
Reference |
Conformance kits |
Target |
differentiation.implicit-relation |
verified |
analytic-and-centered-finite-difference |
— |
Cargo: eqiora/implicit_differentiation |
explicit-domain-coordinate-to-vertex-velocity-map
explicit-exact-model-codecs
| Case |
Status |
Reference |
Conformance kits |
Target |
interfaces.current-authoring-profile |
verified |
shared-rust-python-studio-profile-and-exact-codec-falsifiers |
current-authoring-profile-v1 |
Cargo: eqiora/current_authoring_profile |
explicit-flat-semantic-equivalence
| Case |
Status |
Reference |
Conformance kits |
Target |
language.component-elaboration |
verified |
canonical-identity-provenance-flat-normalization-and-analytic-dc |
hierarchical-conserving-connection-sets-v1 |
Cargo: eqiora/component_hierarchy |
explicit-global-index-complete-vector-gather
| Case |
Status |
Reference |
Conformance kits |
Target |
fsi.fixed-reference-distributed-solve-mpi-2d |
verified |
mpi-transport-independent-complete-cpu-path-sharing-canonical-physics-and-lowering |
— |
Cargo: eqiora/fixed_reference_fsi_distributed_solve_mpi_2d (features: mpi) |
explicit-index-owner-gather
| Case |
Status |
Reference |
Conformance kits |
Target |
numerics.mpi-distributed |
verified |
executable-admission-and-fault-falsification |
— |
Cargo: eqiora-backend-mpi/mpi_distributed (features: mpi-runtime, mpi-test-hooks) |
explicit-index-replication
| Case |
Status |
Reference |
Conformance kits |
Target |
numerics.canonical-cartesian-poisson-mpi |
verified |
analytic-and-independent-serial-reference |
— |
Cargo: eqiora/canonical_cartesian_poisson_mpi (features: mpi) |
explicit-model-and-transaction-wire-v4
| Case |
Status |
Reference |
Conformance kits |
Target |
language.canonical-tensor-operators |
verified |
typed-semantics-component-scalarization-and-artifact-roundtrip |
canonical-tensor-structure-operators-v1 |
Cargo: eqiora/canonical_tensor_operators |
explicit-model-and-transaction-wire-v5
| Case |
Status |
Reference |
Conformance kits |
Target |
language.canonical-pure-operator |
verified |
direct-and-exact-package-identity-artifact-replay-and-component-scalarization |
canonical-pure-operator-v1 |
Cargo: eqiora/canonical_pure_operator |
explicit-model-parameter-continuity
explicit-model-v1-v5-replayable-geometry-boundary
explicit-model-wire-v3
| Case |
Status |
Reference |
Conformance kits |
Target |
packages.field-valued-boundary-interface |
verified |
canonical-identity-and-analytic-pointwise-interface-balance |
field-valued-boundary-interface-v1 |
Cargo: eqiora/field_valued_boundary_interface |
explicit-parameter-role-selection
explicit-post-reset-restart
| Case |
Status |
Reference |
Conformance kits |
Target |
hybrid.registered-event |
verified |
analytic-bouncing-ball-first-impact-and-flight |
— |
Cargo: eqiora/canonical_time_execution (features: diffsol) |
explicit-previous-state-parameter-layout
explicit-public-model-document-v2-boundary
| Case |
Status |
Reference |
Conformance kits |
Target |
electrical.parallel-dc-network |
verified |
source-native-parity-analytic-and-canonical-dag-reacceptance |
— |
Cargo: eqiora/scalar_physical_dc |
explicit-step-state-continuity
explicit-total-one-to-one-revision-retention
external-import-lineage-assertion
| Case |
Status |
Reference |
Conformance kits |
Target |
artifacts.discrete-field-import-provenance |
verified |
public-facade-canonical-identity-and-fail-closed-reference-validation |
— |
Cargo: eqiora/discrete_field_import_provenance |
external-import-manifest-source-identity
| Case |
Status |
Reference |
Conformance kits |
Target |
artifacts.xdmf-uniform-grid-import |
verified |
independently-readable-hdf5-source-exact-normalized-arrays-and-fail-closed-replay |
— |
Cargo: eqiora/xdmf_uniform_grid_import (features: xdmf; table: expected/source.sha256) |
external-import-source-identity
| Case |
Status |
Reference |
Conformance kits |
Target |
artifacts.vtu-unstructured-grid-import |
verified |
official-vtk-python-writer-and-independent-exact-decoded-summary |
— |
Cargo: eqiora/vtu_unstructured_grid_import (features: vtu; table: expected/summary.json) |
faer-bicgstab
| Case |
Status |
Reference |
Conformance kits |
Target |
numerics.linear-backends |
verified |
independent-backend-and-analytic |
— |
Cargo: eqiora/faer_spatial |
faer-bicgstab-identity-fast-host-serial
| Case |
Status |
Reference |
Conformance kits |
Target |
electrical.parallel-dc-network |
verified |
source-native-parity-analytic-and-canonical-dag-reacceptance |
— |
Cargo: eqiora/scalar_physical_dc |
faer-cg
fail-closed-change-classification
| Case |
Status |
Reference |
Conformance kits |
Target |
quality.ci-routing |
specified |
ownership-contract-and-live-actions-observation |
— |
No executable target |
fail-closed-control-negotiation
| Case |
Status |
Reference |
Conformance kits |
Target |
interfaces.control-plane-compile-check |
verified |
shared-wire-fixtures-and-ordinary-compiler-admission |
control-compile-check-v1 |
Cargo: eqiora/control_plane_compile_check |
fail-closed-model-codec-selection
| Case |
Status |
Reference |
Conformance kits |
Target |
interfaces.current-authoring-profile |
verified |
shared-rust-python-studio-profile-and-exact-codec-falsifiers |
current-authoring-profile-v1 |
Cargo: eqiora/current_authoring_profile |
fem-eliminated-boundary-output-action
fem-fvm-centered-finite-difference
| Case |
Status |
Reference |
Conformance kits |
Target |
interfaces.python-differentiation |
verified |
centered-finite-difference-and-jvp-vjp-duality |
— |
Cargo: eqiora-python/python_differentiation |
fem-fvm-symmetric-boundary
| Case |
Status |
Reference |
Conformance kits |
Target |
numerics.finalized-spatial-handoff |
verified |
cpu-regression-and-falsifying-cross-wire |
— |
Cargo: eqiora/finalized_spatial_handoff |
field-binding-source-provenance
| Case |
Status |
Reference |
Conformance kits |
Target |
packages.occurrence-bound-fields |
verified |
canonical-kernel-identity-provenance-and-fail-closed-diagnostics |
— |
Cargo: eqiora/occurrence_bound_fields |
field-content-versus-source-layout-provenance-separation
| Case |
Status |
Reference |
Conformance kits |
Target |
artifacts.discrete-field-import-provenance |
verified |
public-facade-canonical-identity-and-fail-closed-reference-validation |
— |
Cargo: eqiora/discrete_field_import_provenance |
field-role-specific-conservative-transfer
| Case |
Status |
Reference |
Conformance kits |
Target |
fsi.remeshing-transfer-2d |
verified |
independent-common-refinement-cpu-reference |
— |
Cargo: eqiora/remeshing_transfer_2d (features: faer) |
field-slot-to-name-independent-elasticity-lowering
| Case |
Status |
Reference |
Conformance kits |
Target |
solid.packaged-isotropic-balance-2d |
verified |
identity-normalized-structure-lowered-equivalence-convergence-and-exact-lineage |
— |
Cargo: eqiora/packaged_isotropic_balance_2d |
field-slot-to-name-independent-steady-stokes-lowering
| Case |
Status |
Reference |
Conformance kits |
Target |
fluid.packaged-steady-stokes-2d |
verified |
semantic-entity-bijection-lowered-equivalence-and-exact-package-replay |
— |
Cargo: eqiora/packaged_steady_stokes_2d |
finalized-elasticity-csr-handoff
| Case |
Status |
Reference |
Conformance kits |
Target |
solid.mixed-boundary-elasticity-2d |
verified |
analytic-inventory-csr-convergence-and-balance-equivalence |
canonical-tensor-structure-operators-v1 |
Cargo: eqiora/mixed_boundary_elasticity_2d |
finalized-linear-system-handoff
| Case |
Status |
Reference |
Conformance kits |
Target |
numerics.finalized-spatial-handoff |
verified |
cpu-regression-and-falsifying-cross-wire |
— |
Cargo: eqiora/finalized_spatial_handoff |
finite-float-byte-round-trip
| Case |
Status |
Reference |
Conformance kits |
Target |
artifacts.implicit-time-restart-lineage |
verified |
canonical-operator-replay-and-uninterrupted-reference-run |
— |
Cargo: eqiora/implicit_time_restart_lineage |
first-order-displacement-velocity-kinematics
| Case |
Status |
Reference |
Conformance kits |
Target |
solid.dynamic-linear-solid-semantics-2d |
verified |
canonical-package-equivalence-and-fail-closed-structural-recognition |
— |
Cargo: eqiora/dynamic_linear_solid_semantics_2d |
first-order-state-dependent-mass-rejection
| Case |
Status |
Reference |
Conformance kits |
Target |
time.canonical-first-order |
verified |
analytic-ode-and-constant-mass-systems |
— |
Cargo: eqiora/canonical_time_execution (features: diffsol) |
first-order-upwind-flow-reversal
| Case |
Status |
Reference |
Conformance kits |
Target |
fluid.cartesian-advection-diffusion-fvm-2d |
verified |
analytic-zero-initial-inflow-step-space-time-refinement-and-reflection |
— |
Cargo: eqiora-numerics/canonical_transport |
fixed-domain-mini-p1-backward-euler
fixed-nine-step-distributed-execution-dag
| Case |
Status |
Reference |
Conformance kits |
Target |
numerics.canonical-cartesian-poisson-mpi |
verified |
analytic-and-independent-serial-reference |
— |
Cargo: eqiora/canonical_cartesian_poisson_mpi (features: mpi) |
fixed-order-parallel-inner-product
| Case |
Status |
Reference |
Conformance kits |
Target |
numerics.threaded-cpu |
verified |
worker-independent-assembly-reaction-and-true-residual |
— |
Cargo: eqiora/threaded_cpu (features: threaded) |
fixed-refinement-protocol
| Case |
Status |
Reference |
Conformance kits |
Target |
performance.cuda-csr-transfer-threshold |
verified |
serial-host-action-and-independent-raw-median-replay |
— |
Cargo: eqiora-backend-cuda/cuda_transfer_threshold_evidence |
forbidden-hdf5-storage-construct-rejection
| Case |
Status |
Reference |
Conformance kits |
Target |
artifacts.xdmf-hdf5-native-import |
verified |
checked-in-real-hdf5-source-exact-runtime-provenance-and-hostile-profile-corpus |
— |
Cargo: eqiora/xdmf_hdf5_native_import (features: hdf5; table: expected/source.sha256) |
foreign-identity-and-array-admission-falsifiers
| Case |
Status |
Reference |
Conformance kits |
Target |
interfaces.python-differentiation |
verified |
centered-finite-difference-and-jvp-vjp-duality |
— |
Cargo: eqiora-python/python_differentiation |
forged-quality-evidence-rejection
| Case |
Status |
Reference |
Conformance kits |
Target |
artifacts.imported-simplicial-realization |
verified |
typed-round-trip-exact-single-dof-and-worker-independent-ordered-assembly |
— |
Cargo: eqiora/imported_simplicial_realization |
forward-sensitivity
forward-shape-sensitivity
fresh-device-resources-per-sample
| Case |
Status |
Reference |
Conformance kits |
Target |
performance.cuda-csr-transfer-threshold |
verified |
serial-host-action-and-independent-raw-median-replay |
— |
Cargo: eqiora-backend-cuda/cuda_transfer_threshold_evidence |
frozen-realization-v1-v2-v3-golden-bytes
| Case |
Status |
Reference |
Conformance kits |
Target |
artifacts.realization-run-wire |
verified |
typed-round-trip-and-cross-artifact-invariants |
— |
Cargo: eqiora-artifact/realization_run_wire |
full-mass-matrix-lowering
| Case |
Status |
Reference |
Conformance kits |
Target |
time.canonical-first-order |
verified |
analytic-ode-and-constant-mass-systems |
— |
Cargo: eqiora/canonical_time_execution (features: diffsol) |
full-pressure-row-continuity-target-lineage-retention
| Case |
Status |
Reference |
Conformance kits |
Target |
fsi.fixed-reference-distributed-solve-mpi-2d |
verified |
mpi-transport-independent-complete-cpu-path-sharing-canonical-physics-and-lowering |
— |
Cargo: eqiora/fixed_reference_fsi_distributed_solve_mpi_2d (features: mpi) |
fully-constrained-rectangle-extrusion
| Case |
Status |
Reference |
Conformance kits |
Target |
geometry.cad-semantic-selection-box |
verified |
content-bound-truck-cad-to-semantic-geometry-mesh-projection |
— |
Cargo: eqiora/cad_semantic_selection (features: cad-truck) |
general-implicit-residual
| Case |
Status |
Reference |
Conformance kits |
Target |
time.general-implicit-dae |
verified |
analytic |
— |
Cargo: eqiora/canonical_implicit_dae (table: expected/convergence.csv) |
generic-graph-bound-cuda-execution-receipt
| Case |
Status |
Reference |
Conformance kits |
Target |
fsi.fixed-reference-cuda-solve-2d |
verified |
privacy-safe-selected-device-collector-with-independent-cpu-and-host-reacceptance |
— |
Cargo: eqiora/fixed_reference_fsi_cuda_evidence (features: cuda) |
geometry-owned-coherent-si-classification-tolerance
global-conservation
global-mean-pressure-gauge
| Case |
Status |
Reference |
Conformance kits |
Target |
fluid.simplicial-mini-stokes-2d |
verified |
analytic-manufactured-convergence-gauge-and-balance |
— |
Cargo: eqiora/simplicial_mini_stokes_2d |
global-transport-balance
| Case |
Status |
Reference |
Conformance kits |
Target |
fluid.cartesian-advection-diffusion-fvm-2d |
verified |
analytic-zero-initial-inflow-step-space-time-refinement-and-reflection |
— |
Cargo: eqiora-numerics/canonical_transport |
gradient-consuming-backtracking-optimization
graph-bound-implicit-zero-cuda-execution
| Case |
Status |
Reference |
Conformance kits |
Target |
numerics.canonical-cartesian-poisson-cuda |
verified |
public-source-selected-device-observation-with-independent-host-replay |
— |
Cargo: eqiora/canonical_cartesian_poisson_cuda_evidence |
grazing-fail-closed
| Case |
Status |
Reference |
Conformance kits |
Target |
differentiation.hybrid-event |
verified |
analytic-bouncing-ball-first-impact |
— |
Cargo: eqiora-runtime/canonical_hybrid_sensitivity |
grouped-implicit-reset
| Case |
Status |
Reference |
Conformance kits |
Target |
hybrid.registered-event |
verified |
analytic-bouncing-ball-first-impact-and-flight |
— |
Cargo: eqiora/canonical_time_execution (features: diffsol) |
grouped-implicit-reset-linearization
| Case |
Status |
Reference |
Conformance kits |
Target |
differentiation.hybrid-event |
verified |
analytic-bouncing-ball-first-impact |
— |
Cargo: eqiora-runtime/canonical_hybrid_sensitivity |
heterogeneous-piecewise-quadratic-convergence
| Case |
Status |
Reference |
Conformance kits |
Target |
solid.conforming-elasticity-pair-2d |
verified |
analytic-heterogeneous-interface-convergence-and-equilibrium |
canonical-tensor-structure-operators-v1 |
Cargo: eqiora/conforming_elasticity_pair_2d |
host-oracle-per-sample
| Case |
Status |
Reference |
Conformance kits |
Target |
performance.cuda-csr-transfer-threshold |
verified |
serial-host-action-and-independent-raw-median-replay |
— |
Cargo: eqiora-backend-cuda/cuda_transfer_threshold_evidence |
host-serial-q1-acceptance-gate
| Case |
Status |
Reference |
Conformance kits |
Target |
packages.typed-execution-lineage |
verified |
canonical-package-model-realization-run-lineage |
— |
Cargo: eqiora/typed_package_execution_lineage |
host-staged-halo-and-reproducible-mpi-minres
| Case |
Status |
Reference |
Conformance kits |
Target |
fsi.fixed-reference-distributed-cuda-solve-mpi-2d |
verified |
one-host-physical-mpi-cuda-with-complete-cpu-reference |
— |
Cargo: eqiora/fixed_reference_fsi_distributed_cuda_solve_mpi_2d (features: mpi-cuda; environment: physical-mpi-cuda) |
host-worker-capability-fail-closed
| Case |
Status |
Reference |
Conformance kits |
Target |
numerics.threaded-cpu |
verified |
worker-independent-assembly-reaction-and-true-residual |
— |
Cargo: eqiora/threaded_cpu (features: threaded) |
identity-and-membership-fail-closed
| Case |
Status |
Reference |
Conformance kits |
Target |
interfaces.python-native-modeling |
verified |
public-rust-replay-and-reference-execution |
— |
Cargo: eqiora-python/python_native_modeling |
identity-cg-over-matrix-free-operator
| Case |
Status |
Reference |
Conformance kits |
Target |
numerics.global-matrix-free-action |
verified |
hand-calculated-nonsymmetric-oracle-plus-independent-assembled-csr-and-affine-solution |
— |
Cargo: eqiora/global_matrix_free_action |
identity-jacobi-iteration-comparison
| Case |
Status |
Reference |
Conformance kits |
Target |
numerics.preconditioner-stress |
verified |
manufactured-congruence-scaled-diffusion |
— |
Cargo: eqiora/preconditioner_stress |
identity-preconditioned-reproducible-mpi-minres
| Case |
Status |
Reference |
Conformance kits |
Target |
fsi.fixed-reference-distributed-solve-mpi-2d |
verified |
mpi-transport-independent-complete-cpu-path-sharing-canonical-physics-and-lowering |
— |
Cargo: eqiora/fixed_reference_fsi_distributed_solve_mpi_2d (features: mpi) |
identity-preserving-component-coefficient-binding
| Case |
Status |
Reference |
Conformance kits |
Target |
fluid.port-closed-si-mini-stokes-2d |
verified |
direct-package-boundary-role-equivalence-and-existing-stokes-oracle |
— |
Cargo: eqiora/port_closed_si_mini_stokes_2d |
solid.mixed-boundary-elasticity-2d |
verified |
analytic-inventory-csr-convergence-and-balance-equivalence |
canonical-tensor-structure-operators-v1 |
Cargo: eqiora/mixed_boundary_elasticity_2d |
identity-preserving-component-parameter-binding
| Case |
Status |
Reference |
Conformance kits |
Target |
fluid.packaged-steady-stokes-2d |
verified |
semantic-entity-bijection-lowered-equivalence-and-exact-package-replay |
— |
Cargo: eqiora/packaged_steady_stokes_2d |
identity-preserving-component-scalarization
| Case |
Status |
Reference |
Conformance kits |
Target |
language.pure-calculus-support-map |
verified |
typed-expansion-exact-proof-replay-and-support-identity-falsifiers |
pure-calculus-support-map-v1 |
Cargo: eqiora-ir/pure_calculus_support_map |
identity-preserving-root-parameter-forwarding
| Case |
Status |
Reference |
Conformance kits |
Target |
solid.packaged-isotropic-balance-2d |
verified |
identity-normalized-structure-lowered-equivalence-convergence-and-exact-lineage |
— |
Cargo: eqiora/packaged_isotropic_balance_2d |
immutable-atomic-child-revision
| Case |
Status |
Reference |
Conformance kits |
Target |
interfaces.agent-authored-model-change |
verified |
ordinary-public-control-edit-realization-run-and-evidence-composition |
— |
Cargo: eqiora/agent_authored_model_change |
immutable-complete-host-output-execution-receipt
| Case |
Status |
Reference |
Conformance kits |
Target |
numerics.canonical-cartesian-poisson-cuda |
verified |
public-source-selected-device-observation-with-independent-host-replay |
— |
Cargo: eqiora/canonical_cartesian_poisson_cuda_evidence |
immutable-draft-local-domain-and-port-identity
| Case |
Status |
Reference |
Conformance kits |
Target |
electrical.parallel-dc-network |
verified |
source-native-parity-analytic-and-canonical-dag-reacceptance |
— |
Cargo: eqiora/scalar_physical_dc |
immutable-elaboration-provenance
| Case |
Status |
Reference |
Conformance kits |
Target |
language.component-elaboration |
verified |
canonical-identity-provenance-flat-normalization-and-analytic-dc |
hierarchical-conserving-connection-sets-v1 |
Cargo: eqiora/component_hierarchy |
immutable-native-declarations
| Case |
Status |
Reference |
Conformance kits |
Target |
language.native-modeling |
verified |
source-native-structure-artifact-and-trajectory-equivalence |
— |
Cargo: eqiora/native_modeling |
immutable-reference-topology-and-current-geometry-state
| Case |
Status |
Reference |
Conformance kits |
Target |
fsi.fixed-topology-ale-monolithic-2d |
verified |
independent-reassembly-and-step-refinement-cpu-reference |
— |
Cargo: eqiora/fixed_topology_ale_fsi_2d (features: faer) |
immutable-segmented-spatial-trajectory
immutable-selected-parameter-point-binding
immutable-tetrahedral-reference-topology-and-current-geometry-state
| Case |
Status |
Reference |
Conformance kits |
Target |
fsi.fixed-topology-ale-monolithic-3d |
verified |
independent-reassembly-step-refinement-and-artifact-replay-cpu-reference |
— |
Cargo: eqiora/fixed_topology_ale_fsi_3d (features: faer) |
implicit-adjoint-gradient
| Case |
Status |
Reference |
Conformance kits |
Target |
differentiation.implicit-relation |
verified |
analytic-and-centered-finite-difference |
— |
Cargo: eqiora/implicit_differentiation |
implicit-euler-reference
| Case |
Status |
Reference |
Conformance kits |
Target |
time.general-implicit-dae |
verified |
analytic |
— |
Cargo: eqiora/canonical_implicit_dae (table: expected/convergence.csv) |
implicit-forward-sensitivity
| Case |
Status |
Reference |
Conformance kits |
Target |
differentiation.implicit-relation |
verified |
analytic-and-centered-finite-difference |
— |
Cargo: eqiora/implicit_differentiation |
implicit-output-jvp
| Case |
Status |
Reference |
Conformance kits |
Target |
interfaces.python-differentiation |
verified |
centered-finite-difference-and-jvp-vjp-duality |
— |
Cargo: eqiora-python/python_differentiation |
implicit-output-vjp
| Case |
Status |
Reference |
Conformance kits |
Target |
interfaces.python-differentiation |
verified |
centered-finite-difference-and-jvp-vjp-duality |
— |
Cargo: eqiora-python/python_differentiation |
implicit-root-localization
| Case |
Status |
Reference |
Conformance kits |
Target |
hybrid.bouncing-ball |
implemented |
analytic-first-impact |
— |
Cargo: eqiora-sem/reference_event |
implicit-step-adjoint-gradient
implicit-step-forward-sensitivity
independent-backend-selection
| Case |
Status |
Reference |
Conformance kits |
Target |
numerics.finalized-spatial-handoff |
verified |
cpu-regression-and-falsifying-cross-wire |
— |
Cargo: eqiora/finalized_spatial_handoff |
independent-centered-finite-difference
independent-global-true-residual
| Case |
Status |
Reference |
Conformance kits |
Target |
numerics.mpi-distributed |
verified |
executable-admission-and-fault-falsification |
— |
Cargo: eqiora-backend-mpi/mpi_distributed (features: mpi-runtime, mpi-test-hooks) |
independent-lineage-replay
| Case |
Status |
Reference |
Conformance kits |
Target |
packages.typed-execution-lineage |
verified |
canonical-package-model-realization-run-lineage |
— |
Cargo: eqiora/typed_package_execution_lineage |
independent-momentum-and-continuity-replay
| Case |
Status |
Reference |
Conformance kits |
Target |
fluid.cell-centered-navier-stokes-fvm-2d |
verified |
retained-face-replay-pressure-mode-falsification-and-step-doubling |
— |
Cargo: eqiora/cell_centered_navier_stokes_2d |
independent-occurrence-partitions-and-explicit-join
| Case |
Status |
Reference |
Conformance kits |
Target |
language.hierarchical-connection-sets |
verified |
canonical-artifact-equivalence-exposure-elimination-and-source-falsifiers |
hierarchical-conserving-connection-sets-v1 |
Cargo: eqiora/hierarchical_connection_sets |
independent-receiving-system-residual-reacceptance
| Case |
Status |
Reference |
Conformance kits |
Target |
numerics.finalized-spatial-handoff |
verified |
cpu-regression-and-falsifying-cross-wire |
— |
Cargo: eqiora/finalized_spatial_handoff |
independent-recompile-remesh-centered-finite-difference
independent-recompiled-centered-finite-difference
independent-scientific-acceptance
| Case |
Status |
Reference |
Conformance kits |
Target |
interfaces.agent-authored-model-change |
verified |
ordinary-public-control-edit-realization-run-and-evidence-composition |
— |
Cargo: eqiora/agent_authored_model_change |
independent-serial-host-receipt-replay
| Case |
Status |
Reference |
Conformance kits |
Target |
numerics.canonical-cartesian-poisson-mpi |
verified |
analytic-and-independent-serial-reference |
— |
Cargo: eqiora/canonical_cartesian_poisson_mpi (features: mpi) |
independent-serial-host-true-residual-reacceptance
| Case |
Status |
Reference |
Conformance kits |
Target |
fsi.fixed-reference-cuda-solve-2d |
verified |
privacy-safe-selected-device-collector-with-independent-cpu-and-host-reacceptance |
— |
Cargo: eqiora/fixed_reference_fsi_cuda_evidence (features: cuda) |
| Case |
Status |
Reference |
Conformance kits |
Target |
numerics.canonical-cartesian-poisson-mpi |
verified |
analytic-and-independent-serial-reference |
— |
Cargo: eqiora/canonical_cartesian_poisson_mpi (features: mpi) |
inseparable-point-realization-solution-ownership
installed-transitive-component-execution
| Case |
Status |
Reference |
Conformance kits |
Target |
packages.composed-model-package |
verified |
frozen-package-artifact-identities-and-analytic-dc |
— |
Cargo: eqiora/composed_model_package |
jacobi-cg-fast-device-solve
| Case |
Status |
Reference |
Conformance kits |
Target |
numerics.canonical-cartesian-poisson-cuda |
verified |
public-source-selected-device-observation-with-independent-host-replay |
— |
Cargo: eqiora/canonical_cartesian_poisson_cuda_evidence |
jacobi-cg-reproducible-solve
| Case |
Status |
Reference |
Conformance kits |
Target |
numerics.canonical-cartesian-poisson-mpi |
verified |
analytic-and-independent-serial-reference |
— |
Cargo: eqiora/canonical_cartesian_poisson_mpi (features: mpi) |
jacobi-preconditioning
| Case |
Status |
Reference |
Conformance kits |
Target |
numerics.linear-backends |
verified |
independent-backend-and-analytic |
— |
Cargo: eqiora/faer_spatial |
joint-continuous-physical-residual
jvp-vjp-duality
legacy-finalizer-exact-operator-property-seal
| Case |
Status |
Reference |
Conformance kits |
Target |
solid.isotropic-elasticity-2d |
verified |
analytic-local-patch-manufactured-convergence-and-component-balance |
canonical-tensor-structure-operators-v1 |
Cargo: eqiora/isotropic_elasticity_2d |
legacy-source-identity-compatibility
| Case |
Status |
Reference |
Conformance kits |
Target |
packages.occurrence-bound-fields |
verified |
canonical-kernel-identity-provenance-and-fail-closed-diagnostics |
— |
Cargo: eqiora/occurrence_bound_fields |
legacy-wire-closure
| Case |
Status |
Reference |
Conformance kits |
Target |
language.canonical-tensor-operators |
verified |
typed-semantics-component-scalarization-and-artifact-roundtrip |
canonical-tensor-structure-operators-v1 |
Cargo: eqiora/canonical_tensor_operators |
lexical-component-parameter-forwarding
| Case |
Status |
Reference |
Conformance kits |
Target |
language.component-elaboration |
verified |
canonical-identity-provenance-flat-normalization-and-analytic-dc |
hierarchical-conserving-connection-sets-v1 |
Cargo: eqiora/component_hierarchy |
linear-elasticity
| Case |
Status |
Reference |
Conformance kits |
Target |
solid.axial-bar |
verified |
analytic |
— |
Cargo: eqiora-numerics/canonical_axial_bar |
linearly-exact-cell-centered-boundary-pressure
| Case |
Status |
Reference |
Conformance kits |
Target |
fluid.same-program-fem-fvm-navier-stokes-2d |
verified |
common-analytic-equilibrium-and-exact-identity-replay |
— |
Cargo: eqiora/same_program_fem_fvm_navier_stokes_2d (features: faer) |
literal-component-parameter-specialization
lock-derived-from-exact-releases
| Case |
Status |
Reference |
Conformance kits |
Target |
packages.offline-model-package |
verified |
canonical-package-identities-provenance-and-analytic-dc |
— |
Cargo: eqiora/offline_model_package |
logical-field-storage-layout-separation
loopback-halo-execution
| Case |
Status |
Reference |
Conformance kits |
Target |
numerics.distributed-layout |
verified |
global-action-versus-partitioned-loopback |
— |
Cargo: eqiora-distributed/distributed_loopback |
loopback-reproducible-collective
| Case |
Status |
Reference |
Conformance kits |
Target |
numerics.distributed-layout |
verified |
global-action-versus-partitioned-loopback |
— |
Cargo: eqiora-distributed/distributed_loopback |
lossless-hidden-mini-bubble-storage
| Case |
Status |
Reference |
Conformance kits |
Target |
artifacts.xdmf-hdf5-remeshing-trajectory |
verified |
replayed-content-addressed-cpu-trajectory-and-native-hdf5-audit |
— |
Cargo: eqiora/remeshing_transfer_2d (features: faer, hdf5) |
| Case |
Status |
Reference |
Conformance kits |
Target |
artifacts.gmsh-imported-simplicial-realization |
verified |
official-generator-ascii-binary-equivalence-exact-digest-and-single-dof-solution |
— |
Cargo: eqiora/gmsh_imported_simplicial_realization (features: gmsh; table: expected/mesh.sha256) |
material-and-current-spatial-common-refinement
| Case |
Status |
Reference |
Conformance kits |
Target |
fsi.remeshing-transfer-2d |
verified |
independent-common-refinement-cpu-reference |
— |
Cargo: eqiora/remeshing_transfer_2d (features: faer) |
matrix-free-diagonal-action
| Case |
Status |
Reference |
Conformance kits |
Target |
numerics.global-matrix-free-action |
verified |
hand-calculated-nonsymmetric-oracle-plus-independent-assembled-csr-and-affine-solution |
— |
Cargo: eqiora/global_matrix_free_action |
mesh-bound-multiblock-field-snapshot
mesh-independent-boundary-trace-flux-port
| Case |
Status |
Reference |
Conformance kits |
Target |
packages.field-valued-boundary-interface |
verified |
canonical-identity-and-analytic-pointwise-interface-balance |
field-valued-boundary-interface-v1 |
Cargo: eqiora/field_valued_boundary_interface |
mesh-kind-capability-admission
| Case |
Status |
Reference |
Conformance kits |
Target |
artifacts.imported-simplicial-realization |
verified |
typed-round-trip-exact-single-dof-and-worker-independent-ordered-assembly |
— |
Cargo: eqiora/imported_simplicial_realization |
method-native-reconstruction
| Case |
Status |
Reference |
Conformance kits |
Target |
numerics.canonical-cartesian-poisson-cuda |
verified |
public-source-selected-device-observation-with-independent-host-replay |
— |
Cargo: eqiora/canonical_cartesian_poisson_cuda_evidence |
method-native-reconstruction-and-balance
| Case |
Status |
Reference |
Conformance kits |
Target |
numerics.canonical-cartesian-poisson-mpi |
verified |
analytic-and-independent-serial-reference |
— |
Cargo: eqiora/canonical_cartesian_poisson_mpi (features: mpi) |
mini-mass-norm-first-order-time-refinement
minimum-maximum-python-pr-matrix
| Case |
Status |
Reference |
Conformance kits |
Target |
quality.ci-routing |
specified |
ownership-contract-and-live-actions-observation |
— |
No executable target |
mixed-essential-natural-cartesian-q1-elasticity
| Case |
Status |
Reference |
Conformance kits |
Target |
solid.mixed-boundary-elasticity-2d |
verified |
analytic-inventory-csr-convergence-and-balance-equivalence |
canonical-tensor-structure-operators-v1 |
Cargo: eqiora/mixed_boundary_elasticity_2d |
mixed-field-convergence-and-equilibrium
| Case |
Status |
Reference |
Conformance kits |
Target |
fluid.simplicial-mini-stokes-2d |
verified |
analytic-manufactured-convergence-gauge-and-balance |
— |
Cargo: eqiora/simplicial_mini_stokes_2d |
model-and-transaction-wire-v6
model-envelope-v2-roundtrip
| Case |
Status |
Reference |
Conformance kits |
Target |
electrical.parallel-dc-network |
verified |
source-native-parity-analytic-and-canonical-dag-reacceptance |
— |
Cargo: eqiora/scalar_physical_dc |
model-realization-content-linkage
| Case |
Status |
Reference |
Conformance kits |
Target |
artifacts.realization-run-wire |
verified |
typed-round-trip-and-cross-artifact-invariants |
— |
Cargo: eqiora-artifact/realization_run_wire |
model-wire-v1-v2-v3-realization-linkage
| Case |
Status |
Reference |
Conformance kits |
Target |
artifacts.model-reference-lineage |
verified |
explicit-wire-round-trip-and-cross-domain-rejection |
— |
Cargo: eqiora/model_artifact_reference_lineage |
monolithic-backward-euler-collocated-flow
| Case |
Status |
Reference |
Conformance kits |
Target |
fluid.cell-centered-navier-stokes-fvm-2d |
verified |
retained-face-replay-pressure-mode-falsification-and-step-doubling |
— |
Cargo: eqiora/cell_centered_navier_stokes_2d |
monolithic-backward-euler-fluid-solid-step
| Case |
Status |
Reference |
Conformance kits |
Target |
fsi.fixed-reference-monolithic-step-2d |
verified |
content-bound-cpu-reference-coupled-saddle-step |
— |
Cargo: eqiora/fixed_reference_monolithic_fsi_step_2d |
monolithic-first-order-navier-stokes-linear-solid-fsi-2d
| Case |
Status |
Reference |
Conformance kits |
Target |
fsi.fixed-topology-ale-monolithic-2d |
verified |
independent-reassembly-and-step-refinement-cpu-reference |
— |
Cargo: eqiora/fixed_topology_ale_fsi_2d (features: faer) |
monolithic-first-order-navier-stokes-linear-solid-fsi-3d
| Case |
Status |
Reference |
Conformance kits |
Target |
fsi.fixed-topology-ale-monolithic-3d |
verified |
independent-reassembly-step-refinement-and-artifact-replay-cpu-reference |
— |
Cargo: eqiora/fixed_topology_ale_fsi_3d (features: faer) |
monolithic-quotient-q1-elasticity-assembly
| Case |
Status |
Reference |
Conformance kits |
Target |
solid.conforming-elasticity-pair-2d |
verified |
analytic-heterogeneous-interface-convergence-and-equilibrium |
canonical-tensor-structure-operators-v1 |
Cargo: eqiora/conforming_elasticity_pair_2d |
monotonic-collective-step
| Case |
Status |
Reference |
Conformance kits |
Target |
numerics.mpi-distributed |
verified |
executable-admission-and-fault-falsification |
— |
Cargo: eqiora-backend-mpi/mpi_distributed (features: mpi-runtime, mpi-test-hooks) |
mpi-halo-exchange
| Case |
Status |
Reference |
Conformance kits |
Target |
numerics.mpi-distributed |
verified |
executable-admission-and-fault-falsification |
— |
Cargo: eqiora-backend-mpi/mpi_distributed (features: mpi-runtime, mpi-test-hooks) |
multi-origin-canonical-connection-provenance
| Case |
Status |
Reference |
Conformance kits |
Target |
language.hierarchical-connection-sets |
verified |
canonical-artifact-equivalence-exposure-elimination-and-source-falsifiers |
hierarchical-conserving-connection-sets-v1 |
Cargo: eqiora/hierarchical_connection_sets |
multi-origin-cross-package-connection-provenance
| Case |
Status |
Reference |
Conformance kits |
Target |
packages.hierarchical-physical-boundary |
verified |
canonical-package-model-equivalence-and-analytic-dc |
hierarchical-conserving-connection-sets-v1 |
Cargo: eqiora/packaged_hierarchical_physical_boundary |
multi-step-discrete-adjoint
multi-target-local-packet
| Case |
Status |
Reference |
Conformance kits |
Target |
numerics.threaded-cpu |
verified |
worker-independent-assembly-reaction-and-true-residual |
— |
Cargo: eqiora/threaded_cpu (features: threaded) |
native-binding-and-library-provenance
| Case |
Status |
Reference |
Conformance kits |
Target |
artifacts.xdmf-hdf5-native-import |
verified |
checked-in-real-hdf5-source-exact-runtime-provenance-and-hostile-profile-corpus |
— |
Cargo: eqiora/xdmf_hdf5_native_import (features: hdf5; table: expected/source.sha256) |
native-complete-host-reacceptance-on-every-rank
| Case |
Status |
Reference |
Conformance kits |
Target |
fsi.fixed-reference-distributed-solve-mpi-2d |
verified |
mpi-transport-independent-complete-cpu-path-sharing-canonical-physics-and-lowering |
— |
Cargo: eqiora/fixed_reference_fsi_distributed_solve_mpi_2d (features: mpi) |
native-fast-all-reduce
| Case |
Status |
Reference |
Conformance kits |
Target |
numerics.mpi-distributed |
verified |
executable-admission-and-fault-falsification |
— |
Cargo: eqiora-backend-mpi/mpi_distributed (features: mpi-runtime, mpi-test-hooks) |
native-serial-host-true-residual-acceptance-on-every-rank
| Case |
Status |
Reference |
Conformance kits |
Target |
numerics.canonical-cartesian-poisson-mpi |
verified |
analytic-and-independent-serial-reference |
— |
Cargo: eqiora/canonical_cartesian_poisson_mpi (features: mpi) |
natural-bc
| Case |
Status |
Reference |
Conformance kits |
Target |
solid.axial-bar |
verified |
analytic |
— |
Cargo: eqiora-numerics/canonical_axial_bar |
nested-complete-exterior-forwarding
| Case |
Status |
Reference |
Conformance kits |
Target |
packages.complete-exterior-port-families |
verified |
canonical-kernel-identity-provenance-and-fail-closed-diagnostics |
— |
Cargo: eqiora/complete_exterior_port_families |
nested-field-slot-forwarding
| Case |
Status |
Reference |
Conformance kits |
Target |
packages.occurrence-bound-fields |
verified |
canonical-kernel-identity-provenance-and-fail-closed-diagnostics |
— |
Cargo: eqiora/occurrence_bound_fields |
nested-spatial-support-forwarding
| Case |
Status |
Reference |
Conformance kits |
Target |
packages.component-spatial-supports |
verified |
canonical-model-topology-provenance-and-fail-closed-diagnostics |
— |
Cargo: eqiora/component_spatial_supports |
no-duplicate-main-push-suite
| Case |
Status |
Reference |
Conformance kits |
Target |
quality.ci-routing |
specified |
ownership-contract-and-live-actions-observation |
— |
No executable target |
node-scalar-field-reconstruction
| Case |
Status |
Reference |
Conformance kits |
Target |
artifacts.xdmf-uniform-grid-import |
verified |
independently-readable-hdf5-source-exact-normalized-arrays-and-fail-closed-replay |
— |
Cargo: eqiora/xdmf_uniform_grid_import (features: xdmf; table: expected/source.sha256) |
nominal-connector-elaboration
| Case |
Status |
Reference |
Conformance kits |
Target |
language.component-elaboration |
verified |
canonical-identity-provenance-flat-normalization-and-analytic-dc |
hierarchical-conserving-connection-sets-v1 |
Cargo: eqiora/component_hierarchy |
nominal-domain-identity
| Case |
Status |
Reference |
Conformance kits |
Target |
electrical.parallel-dc-network |
verified |
source-native-parity-analytic-and-canonical-dag-reacceptance |
— |
Cargo: eqiora/scalar_physical_dc |
nominal-electrical-and-rotational-connectors
nominal-identity-and-rewiring-falsifiers
nominal-physical-and-directed-signal-separation
| Case |
Status |
Reference |
Conformance kits |
Target |
language.hierarchical-connection-sets |
verified |
canonical-artifact-equivalence-exposure-elimination-and-source-falsifiers |
hierarchical-conserving-connection-sets-v1 |
Cargo: eqiora/hierarchical_connection_sets |
non-default-point-primal-jvp-vjp
non-unit-physical-scaling-invariance
| Case |
Status |
Reference |
Conformance kits |
Target |
fluid.cartesian-advection-diffusion-fvm-2d |
verified |
analytic-zero-initial-inflow-step-space-time-refinement-and-reflection |
— |
Cargo: eqiora-numerics/canonical_transport |
nonlinear-derivative-residual
| Case |
Status |
Reference |
Conformance kits |
Target |
time.general-implicit-dae |
verified |
analytic |
— |
Cargo: eqiora/canonical_implicit_dae (table: expected/convergence.csv) |
nonsymmetric-transpose-solve
normal-transposed-solve-provenance
normalized-block-identity
| Case |
Status |
Reference |
Conformance kits |
Target |
fsi.fixed-reference-cuda-solve-2d |
verified |
privacy-safe-selected-device-collector-with-independent-cpu-and-host-reacceptance |
— |
Cargo: eqiora/fixed_reference_fsi_cuda_evidence (features: cuda) |
| Case |
Status |
Reference |
Conformance kits |
Target |
fsi.fixed-reference-distributed-cuda-solve-mpi-2d |
verified |
one-host-physical-mpi-cuda-with-complete-cpu-reference |
— |
Cargo: eqiora/fixed_reference_fsi_distributed_cuda_solve_mpi_2d (features: mpi-cuda; environment: physical-mpi-cuda) |
| Case |
Status |
Reference |
Conformance kits |
Target |
fsi.fixed-reference-distributed-solve-mpi-2d |
verified |
mpi-transport-independent-complete-cpu-path-sharing-canonical-physics-and-lowering |
— |
Cargo: eqiora/fixed_reference_fsi_distributed_solve_mpi_2d (features: mpi) |
observed-mpi-run-provenance
| Case |
Status |
Reference |
Conformance kits |
Target |
numerics.canonical-cartesian-poisson-mpi |
verified |
analytic-and-independent-serial-reference |
— |
Cargo: eqiora/canonical_cartesian_poisson_mpi (features: mpi) |
occurrence-bound-component-fields
| Case |
Status |
Reference |
Conformance kits |
Target |
packages.occurrence-bound-fields |
verified |
canonical-kernel-identity-provenance-and-fail-closed-diagnostics |
— |
Cargo: eqiora/occurrence_bound_fields |
occurrence-bound-component-spatial-supports
| Case |
Status |
Reference |
Conformance kits |
Target |
packages.component-spatial-supports |
verified |
canonical-model-topology-provenance-and-fail-closed-diagnostics |
— |
Cargo: eqiora/component_spatial_supports |
occurrence-free-package-definition-validation
| Case |
Status |
Reference |
Conformance kits |
Target |
packages.package-definition-validation |
verified |
frozen-package-identity-and-source-diagnostic-falsifiers |
— |
Cargo: eqiora/package_definition_validation |
official-and-four-representation-truncation-closure
| Case |
Status |
Reference |
Conformance kits |
Target |
artifacts.gmsh-imported-simplicial-realization |
verified |
official-generator-ascii-binary-equivalence-exact-digest-and-single-dof-solution |
— |
Cargo: eqiora/gmsh_imported_simplicial_realization (features: gmsh; table: expected/mesh.sha256) |
offline-agent-proposed-model-change
| Case |
Status |
Reference |
Conformance kits |
Target |
interfaces.agent-authored-model-change |
verified |
ordinary-public-control-edit-realization-run-and-evidence-composition |
— |
Cargo: eqiora/agent_authored_model_change |
one-piece-homogeneous-tri3-reconstruction
| Case |
Status |
Reference |
Conformance kits |
Target |
artifacts.vtu-unstructured-grid-import |
verified |
official-vtk-python-writer-and-independent-exact-decoded-summary |
— |
Cargo: eqiora/vtu_unstructured_grid_import (features: vtu; table: expected/summary.json) |
one-two-four-partition-loopback-evidence
one-two-four-rank-and-device-one-host-evidence
| Case |
Status |
Reference |
Conformance kits |
Target |
fsi.fixed-reference-distributed-cuda-solve-mpi-2d |
verified |
one-host-physical-mpi-cuda-with-complete-cpu-reference |
— |
Cargo: eqiora/fixed_reference_fsi_distributed_cuda_solve_mpi_2d (features: mpi-cuda; environment: physical-mpi-cuda) |
one-two-four-rank-evidence
| Case |
Status |
Reference |
Conformance kits |
Target |
numerics.canonical-cartesian-poisson-mpi |
verified |
analytic-and-independent-serial-reference |
— |
Cargo: eqiora/canonical_cartesian_poisson_mpi (features: mpi) |
numerics.mpi-distributed |
verified |
executable-admission-and-fault-falsification |
— |
Cargo: eqiora-backend-mpi/mpi_distributed (features: mpi-runtime, mpi-test-hooks) |
one-two-four-rank-one-host-evidence
one-visible-ordinal-zero-cuda-device-per-mpi-rank
| Case |
Status |
Reference |
Conformance kits |
Target |
fsi.fixed-reference-distributed-cuda-solve-mpi-2d |
verified |
one-host-physical-mpi-cuda-with-complete-cpu-reference |
— |
Cargo: eqiora/fixed_reference_fsi_distributed_cuda_solve_mpi_2d (features: mpi-cuda; environment: physical-mpi-cuda) |
opaque-method-neutral-finalized-problem
| Case |
Status |
Reference |
Conformance kits |
Target |
numerics.finalized-spatial-handoff |
verified |
cpu-regression-and-falsifying-cross-wire |
— |
Cargo: eqiora/finalized_spatial_handoff |
ordered-host-global-linear-action
| Case |
Status |
Reference |
Conformance kits |
Target |
numerics.global-matrix-free-action |
verified |
hand-calculated-nonsymmetric-oracle-plus-independent-assembled-csr-and-affine-solution |
— |
Cargo: eqiora/global_matrix_free_action |
ordered-mini-traction-facet-assembly
ordered-owned-and-ghost-layout
| Case |
Status |
Reference |
Conformance kits |
Target |
numerics.distributed-layout |
verified |
global-action-versus-partitioned-loopback |
— |
Cargo: eqiora-distributed/distributed_loopback |
ordered-parallel-p1-assembly
| Case |
Status |
Reference |
Conformance kits |
Target |
numerics.threaded-cpu |
verified |
worker-independent-assembly-reaction-and-true-residual |
— |
Cargo: eqiora/threaded_cpu (features: threaded) |
ordered-parallel-q1-assembly-2d-3d
| Case |
Status |
Reference |
Conformance kits |
Target |
numerics.threaded-cpu |
verified |
worker-independent-assembly-reaction-and-true-residual |
— |
Cargo: eqiora/threaded_cpu (features: threaded) |
ordered-parallel-simplex-p1-assembly
| Case |
Status |
Reference |
Conformance kits |
Target |
artifacts.imported-simplicial-realization |
verified |
typed-round-trip-exact-single-dof-and-worker-independent-ordered-assembly |
— |
Cargo: eqiora/imported_simplicial_realization |
ordered-parallel-tpfa-cell-facet-assembly-2d-3d
| Case |
Status |
Reference |
Conformance kits |
Target |
numerics.threaded-cpu |
verified |
worker-independent-assembly-reaction-and-true-residual |
— |
Cargo: eqiora/threaded_cpu (features: threaded) |
ordered-reduced-and-full-mixed-assembly
| Case |
Status |
Reference |
Conformance kits |
Target |
fluid.simplicial-mini-stokes-2d |
verified |
analytic-manufactured-convergence-gauge-and-balance |
— |
Cargo: eqiora/simplicial_mini_stokes_2d |
ordinary-client-semantic-parity
| Case |
Status |
Reference |
Conformance kits |
Target |
interfaces.agent-authored-model-change |
verified |
ordinary-public-control-edit-realization-run-and-evidence-composition |
— |
Cargo: eqiora/agent_authored_model_change |
ordinary-positive-time-target-finalization
| Case |
Status |
Reference |
Conformance kits |
Target |
fsi.remeshing-transfer-2d |
verified |
independent-common-refinement-cpu-reference |
— |
Cargo: eqiora/remeshing_transfer_2d (features: faer) |
oriented-mesh
| Case |
Status |
Reference |
Conformance kits |
Target |
numerics.poisson-fem-fvm |
verified |
analytic |
— |
Cargo: eqiora-numerics/poisson_fem_fvm (table: expected/convergence.csv) |
orthogonal-facet-local-tpfa
orthogonality-preserving-cartesian-mesh-motion
outer-execution-wall-minus-recorded-acceptance
| Case |
Status |
Reference |
Conformance kits |
Target |
performance.cuda-csr-transfer-threshold |
verified |
serial-host-action-and-independent-raw-median-replay |
— |
Cargo: eqiora-backend-cuda/cuda_transfer_threshold_evidence |
owned-bounded-msh41-decoder
| Case |
Status |
Reference |
Conformance kits |
Target |
artifacts.gmsh-imported-simplicial-realization |
verified |
official-generator-ascii-binary-equivalence-exact-digest-and-single-dof-solution |
— |
Cargo: eqiora/gmsh_imported_simplicial_realization (features: gmsh; table: expected/mesh.sha256) |
owned-dense-output
| Case |
Status |
Reference |
Conformance kits |
Target |
time.diffsol-adaptive |
verified |
analytic-solutions-and-algebraic-constraint |
— |
Cargo: eqiora-backend-diffsol/adaptive_time (features: diffsol-runtime) |
owned-ragged-active-support-materialization
| Case |
Status |
Reference |
Conformance kits |
Target |
artifacts.ml-dataset-remeshing-2d |
verified |
fresh-content-addressed-cpu-derivation |
— |
Cargo: eqiora/remeshing_transfer_2d (features: faer) |
owned-row-csr-shards
| Case |
Status |
Reference |
Conformance kits |
Target |
numerics.distributed-layout |
verified |
global-action-versus-partitioned-loopback |
— |
Cargo: eqiora-distributed/distributed_loopback |
owner-routed-reproducible-row-reduction
ownerless-package-boundary-exposure-elimination
| Case |
Status |
Reference |
Conformance kits |
Target |
packages.hierarchical-physical-boundary |
verified |
canonical-package-model-equivalence-and-analytic-dc |
hierarchical-conserving-connection-sets-v1 |
Cargo: eqiora/packaged_hierarchical_physical_boundary |
ownerless-public-exposure-occurrence-cut-projection
| Case |
Status |
Reference |
Conformance kits |
Target |
language.hierarchical-connection-sets |
verified |
canonical-artifact-equivalence-exposure-elimination-and-source-falsifiers |
hierarchical-conserving-connection-sets-v1 |
Cargo: eqiora/hierarchical_connection_sets |
ownerless-public-port-elimination-without-entity-alias
| Case |
Status |
Reference |
Conformance kits |
Target |
language.hierarchical-connection-sets |
verified |
canonical-artifact-equivalence-exposure-elimination-and-source-falsifiers |
hierarchical-conserving-connection-sets-v1 |
Cargo: eqiora/hierarchical_connection_sets |
p0-p1-p0-repeatability
p1-fem-simplex-residual-action
package-component-source-lineage-permutation
| Case |
Status |
Reference |
Conformance kits |
Target |
packages.composed-model-package |
verified |
frozen-package-artifact-identities-and-analytic-dc |
— |
Cargo: eqiora/composed_model_package |
package-neutral-elasticity-boundary-inventory
| Case |
Status |
Reference |
Conformance kits |
Target |
solid.mixed-boundary-elasticity-2d |
verified |
analytic-inventory-csr-convergence-and-balance-equivalence |
canonical-tensor-structure-operators-v1 |
Cargo: eqiora/mixed_boundary_elasticity_2d |
package-neutral-elasticity-stokes-and-fsi-regression
| Case |
Status |
Reference |
Conformance kits |
Target |
language.pure-calculus-support-map |
verified |
typed-expansion-exact-proof-replay-and-support-identity-falsifiers |
pure-calculus-support-map-v1 |
Cargo: eqiora-ir/pure_calculus_support_map |
package-neutral-flat-boundary-network
| Case |
Status |
Reference |
Conformance kits |
Target |
solid.packaged-elastic-boundary-2d |
verified |
canonical-package-model-identity-and-typed-boundary-relations |
— |
Cargo: eqiora/packaged_elastic_boundary_2d |
package-neutral-stokes-boundary-inventory
| Case |
Status |
Reference |
Conformance kits |
Target |
fluid.port-closed-si-mini-stokes-2d |
verified |
direct-package-boundary-role-equivalence-and-existing-stokes-oracle |
— |
Cargo: eqiora/port_closed_si_mini_stokes_2d |
package-neutral-two-body-elasticity-lowering
| Case |
Status |
Reference |
Conformance kits |
Target |
solid.conforming-elasticity-pair-2d |
verified |
analytic-heterogeneous-interface-convergence-and-equilibrium |
canonical-tensor-structure-operators-v1 |
Cargo: eqiora/conforming_elasticity_pair_2d |
package-qualified-source-provenance
| Case |
Status |
Reference |
Conformance kits |
Target |
packages.offline-model-package |
verified |
canonical-package-identities-provenance-and-analytic-dc |
— |
Cargo: eqiora/offline_model_package |
packaged-and-direct-flat-steady-stokes-equivalence
| Case |
Status |
Reference |
Conformance kits |
Target |
fluid.packaged-steady-stokes-2d |
verified |
semantic-entity-bijection-lowered-equivalence-and-exact-package-replay |
— |
Cargo: eqiora/packaged_steady_stokes_2d |
packaged-and-explicit-flat-elasticity-equivalence
| Case |
Status |
Reference |
Conformance kits |
Target |
solid.packaged-isotropic-balance-2d |
verified |
identity-normalized-structure-lowered-equivalence-convergence-and-exact-lineage |
— |
Cargo: eqiora/packaged_isotropic_balance_2d |
packaged-elasticity-realization-and-run-lineage
| Case |
Status |
Reference |
Conformance kits |
Target |
solid.packaged-isotropic-balance-2d |
verified |
identity-normalized-structure-lowered-equivalence-convergence-and-exact-lineage |
— |
Cargo: eqiora/packaged_isotropic_balance_2d |
paired-output-jvp-vjp
parameter-independent-mass-forward-sensitivity
| Case |
Status |
Reference |
Conformance kits |
Target |
time.canonical-first-order |
verified |
analytic-ode-and-constant-mass-systems |
— |
Cargo: eqiora/canonical_time_execution (features: diffsol) |
time.diffsol-adaptive |
verified |
analytic-solutions-and-algebraic-constraint |
— |
Cargo: eqiora-backend-diffsol/adaptive_time (features: diffsol-runtime) |
parameter-point-owned-staging
| Case |
Status |
Reference |
Conformance kits |
Target |
interfaces.python-differentiation |
verified |
centered-finite-difference-and-jvp-vjp-duality |
— |
Cargo: eqiora-python/python_differentiation |
parent-output-linkage
| Case |
Status |
Reference |
Conformance kits |
Target |
artifacts.implicit-time-restart-lineage |
verified |
canonical-operator-replay-and-uninterrupted-reference-run |
— |
Cargo: eqiora/implicit_time_restart_lineage |
parent-outward-orientation-derived-from-incidence
parent-shared-canonical-model-artifact
| Case |
Status |
Reference |
Conformance kits |
Target |
numerics.canonical-cartesian-poisson-mpi |
verified |
analytic-and-independent-serial-reference |
— |
Cargo: eqiora/canonical_cartesian_poisson_mpi (features: mpi) |
partition-capability-fail-closed
| Case |
Status |
Reference |
Conformance kits |
Target |
numerics.distributed-layout |
verified |
global-action-versus-partitioned-loopback |
— |
Cargo: eqiora-distributed/distributed_loopback |
partitioned-row-operator
| Case |
Status |
Reference |
Conformance kits |
Target |
numerics.threaded-cpu |
verified |
worker-independent-assembly-reaction-and-true-residual |
— |
Cargo: eqiora/threaded_cpu (features: threaded) |
periodic-upwind-flow-reversal
persisted-native-import-replay
| Case |
Status |
Reference |
Conformance kits |
Target |
artifacts.xdmf-hdf5-native-import |
verified |
checked-in-real-hdf5-source-exact-runtime-provenance-and-hostile-profile-corpus |
— |
Cargo: eqiora/xdmf_hdf5_native_import (features: hdf5; table: expected/source.sha256) |
physical-owner-and-membership-fail-closed-admission
| Case |
Status |
Reference |
Conformance kits |
Target |
language.hierarchical-connection-sets |
verified |
canonical-artifact-equivalence-exposure-elimination-and-source-falsifiers |
hierarchical-conserving-connection-sets-v1 |
Cargo: eqiora/hierarchical_connection_sets |
physical-units
| Case |
Status |
Reference |
Conformance kits |
Target |
solid.axial-bar |
verified |
analytic |
— |
Cargo: eqiora-numerics/canonical_axial_bar |
plan-and-topology-fail-closed
| Case |
Status |
Reference |
Conformance kits |
Target |
numerics.finalized-spatial-handoff |
verified |
cpu-regression-and-falsifying-cross-wire |
— |
Cargo: eqiora/finalized_spatial_handoff |
plan-sealed-collective-admission
| Case |
Status |
Reference |
Conformance kits |
Target |
numerics.mpi-distributed |
verified |
executable-admission-and-fault-falsification |
— |
Cargo: eqiora-backend-mpi/mpi_distributed (features: mpi-runtime, mpi-test-hooks) |
plan-sealed-mpi-admission
| Case |
Status |
Reference |
Conformance kits |
Target |
numerics.canonical-cartesian-poisson-mpi |
verified |
analytic-and-independent-serial-reference |
— |
Cargo: eqiora/canonical_cartesian_poisson_mpi (features: mpi) |
point-scalar-field-selection
| Case |
Status |
Reference |
Conformance kits |
Target |
artifacts.vtu-unstructured-grid-import |
verified |
official-vtk-python-writer-and-independent-exact-decoded-summary |
— |
Cargo: eqiora/vtu_unstructured_grid_import (features: vtu; table: expected/summary.json) |
pointwise-boundary-connection-families
| Case |
Status |
Reference |
Conformance kits |
Target |
packages.complete-exterior-port-families |
verified |
canonical-kernel-identity-provenance-and-fail-closed-diagnostics |
— |
Cargo: eqiora/complete_exterior_port_families |
pointwise-trace-flux-power-diagnostics
| Case |
Status |
Reference |
Conformance kits |
Target |
packages.field-valued-boundary-interface |
verified |
canonical-identity-and-analytic-pointwise-interface-balance |
field-valued-boundary-interface-v1 |
Cargo: eqiora/field_valued_boundary_interface |
policy-drift-fail-closed
| Case |
Status |
Reference |
Conformance kits |
Target |
artifacts.realization-run-wire |
verified |
typed-round-trip-and-cross-artifact-invariants |
— |
Cargo: eqiora-artifact/realization_run_wire |
port-closed-canonical-si-mini-stokes-execution
| Case |
Status |
Reference |
Conformance kits |
Target |
fluid.port-closed-si-mini-stokes-2d |
verified |
direct-package-boundary-role-equivalence-and-existing-stokes-oracle |
— |
Cargo: eqiora/port_closed_si_mini_stokes_2d |
portable-endian-and-size-t-decoding
| Case |
Status |
Reference |
Conformance kits |
Target |
artifacts.gmsh-imported-simplicial-realization |
verified |
official-generator-ascii-binary-equivalence-exact-digest-and-single-dof-solution |
— |
Cargo: eqiora/gmsh_imported_simplicial_realization (features: gmsh; table: expected/mesh.sha256) |
portable-typed-realization-dag
| Case |
Status |
Reference |
Conformance kits |
Target |
fluid.fieldwise-si-mini-stokes-2d |
verified |
analytic-affine-solution-symmetric-congruence-and-artifact-replay |
— |
Cargo: eqiora/fieldwise_si_mini_stokes_2d |
fsi.fixed-reference-monolithic-step-2d |
verified |
content-bound-cpu-reference-coupled-saddle-step |
— |
Cargo: eqiora/fixed_reference_monolithic_fsi_step_2d |
numerics.threaded-cpu |
verified |
worker-independent-assembly-reaction-and-true-residual |
— |
Cargo: eqiora/threaded_cpu (features: threaded) |
positive-degree-eleven-duffy-simplex-quadrature
| Case |
Status |
Reference |
Conformance kits |
Target |
fsi.fixed-topology-ale-monolithic-3d |
verified |
independent-reassembly-step-refinement-and-artifact-replay-cpu-reference |
— |
Cargo: eqiora/fixed_topology_ale_fsi_3d (features: faer) |
positive-degree-four-assembly-and-degree-six-error-duffy-quadrature
| Case |
Status |
Reference |
Conformance kits |
Target |
fluid.simplicial-mini-stokes-2d |
verified |
analytic-manufactured-convergence-gauge-and-balance |
— |
Cargo: eqiora/simplicial_mini_stokes_2d |
positive-density-linear-momentum
| Case |
Status |
Reference |
Conformance kits |
Target |
solid.dynamic-linear-solid-semantics-2d |
verified |
canonical-package-equivalence-and-fail-closed-structural-recognition |
— |
Cargo: eqiora/dynamic_linear_solid_semantics_2d |
post-admission-common-failure
| Case |
Status |
Reference |
Conformance kits |
Target |
numerics.mpi-distributed |
verified |
executable-admission-and-fault-falsification |
— |
Cargo: eqiora-backend-mpi/mpi_distributed (features: mpi-runtime, mpi-test-hooks) |
post-run-physical-observation-binding
| Case |
Status |
Reference |
Conformance kits |
Target |
packages.hierarchical-physical-boundary |
verified |
canonical-package-model-equivalence-and-analytic-dc |
hierarchical-conserving-connection-sets-v1 |
Cargo: eqiora/packaged_hierarchical_physical_boundary |
power-conjugate-solid-velocity-traction-boundary
| Case |
Status |
Reference |
Conformance kits |
Target |
solid.dynamic-linear-solid-semantics-2d |
verified |
canonical-package-equivalence-and-fail-closed-structural-recognition |
— |
Cargo: eqiora/dynamic_linear_solid_semantics_2d |
pre-device-allocation-single-device-deployment-binding
| Case |
Status |
Reference |
Conformance kits |
Target |
numerics.canonical-cartesian-poisson-cuda |
verified |
public-source-selected-device-observation-with-independent-host-replay |
— |
Cargo: eqiora/canonical_cartesian_poisson_cuda_evidence |
pre-numerical-workspace-process-group-admission
| Case |
Status |
Reference |
Conformance kits |
Target |
numerics.canonical-cartesian-poisson-mpi |
verified |
analytic-and-independent-serial-reference |
— |
Cargo: eqiora/canonical_cartesian_poisson_mpi (features: mpi) |
pre-pool-capability-rejection
| Case |
Status |
Reference |
Conformance kits |
Target |
numerics.threaded-cpu |
verified |
worker-independent-assembly-reaction-and-true-residual |
— |
Cargo: eqiora/threaded_cpu (features: threaded) |
pre-post-event-sampling
| Case |
Status |
Reference |
Conformance kits |
Target |
hybrid.bouncing-ball |
implemented |
analytic-first-impact |
— |
Cargo: eqiora-sem/reference_event |
pre-variable-collective-layout-disagreement-rejection
preallocated-communication-workspace
| Case |
Status |
Reference |
Conformance kits |
Target |
numerics.mpi-distributed |
verified |
executable-admission-and-fault-falsification |
— |
Cargo: eqiora-backend-mpi/mpi_distributed (features: mpi-runtime, mpi-test-hooks) |
previewed-cartesian-scalar-field-projection
| Case |
Status |
Reference |
Conformance kits |
Target |
interfaces.studio-scalar-field-view |
verified |
exact-semantic-layout-replay-and-fail-closed-client-projection |
— |
Cargo: eqiora-api/scalar_field_projection |
previous-state-cartesian-minmod-imex-second-order
| Case |
Status |
Reference |
Conformance kits |
Target |
fluid.cartesian-advection-diffusion-fvm-2d |
verified |
analytic-zero-initial-inflow-step-space-time-refinement-and-reflection |
— |
Cargo: eqiora-numerics/canonical_transport |
privacy-bounded-environment-provenance
| Case |
Status |
Reference |
Conformance kits |
Target |
performance.cuda-csr-transfer-threshold |
verified |
serial-host-action-and-independent-raw-median-replay |
— |
Cargo: eqiora-backend-cuda/cuda_transfer_threshold_evidence |
private-component-scope
| Case |
Status |
Reference |
Conformance kits |
Target |
language.component-elaboration |
verified |
canonical-identity-provenance-flat-normalization-and-analytic-dc |
hierarchical-conserving-connection-sets-v1 |
Cargo: eqiora/component_hierarchy |
private-exact-field-relation-and-support-inventory
profile-invariant-physical-reconstruction
| Case |
Status |
Reference |
Conformance kits |
Target |
fluid.fieldwise-si-mini-stokes-2d |
verified |
analytic-affine-solution-symmetric-congruence-and-artifact-replay |
— |
Cargo: eqiora/fieldwise_si_mini_stokes_2d |
public-facade-feature-wiring
| Case |
Status |
Reference |
Conformance kits |
Target |
artifacts.gmsh-imported-simplicial-realization |
verified |
official-generator-ascii-binary-equivalence-exact-digest-and-single-dof-solution |
— |
Cargo: eqiora/gmsh_imported_simplicial_realization (features: gmsh; table: expected/mesh.sha256) |
public-optional-cuda-facade
| Case |
Status |
Reference |
Conformance kits |
Target |
numerics.canonical-cartesian-poisson-cuda |
verified |
public-source-selected-device-observation-with-independent-host-replay |
— |
Cargo: eqiora/canonical_cartesian_poisson_cuda_evidence |
python-accepted-boundary-cancellation
python-array-descriptor
| Case |
Status |
Reference |
Conformance kits |
Target |
interfaces.python-array-transport |
verified |
in-process-pyo3-and-installed-wheel-array-falsifiers |
— |
Cargo: eqiora-python/python_array_transport |
python-canonical-cartesian-field-order
python-cartesian-field-logical-shape-1d-through-3d
python-coalesced-progress
python-complete-pep-561-surface
| Case |
Status |
Reference |
Conformance kits |
Target |
interfaces.python-distribution-candidate |
verified |
clean-installed-artifact-matrix-and-runtime-stub-parity |
— |
python-installed-wheel: tools/ci/python_distribution_gate.py |
python-complete-primary-field-array
python-control-data-plane-separation
| Case |
Status |
Reference |
Conformance kits |
Target |
interfaces.python-control-plane |
verified |
in-process-pyo3-module-and-public-rust-facade-replay |
— |
Cargo: eqiora-python/python_control_plane |
python-distribution-candidate-provenance
| Case |
Status |
Reference |
Conformance kits |
Target |
interfaces.python-distribution-candidate |
verified |
clean-installed-artifact-matrix-and-runtime-stub-parity |
— |
python-installed-wheel: tools/ci/python_distribution_gate.py |
python-exact-artifact-replay
| Case |
Status |
Reference |
Conformance kits |
Target |
interfaces.python-control-plane |
verified |
in-process-pyo3-module-and-public-rust-facade-replay |
— |
Cargo: eqiora-python/python_control_plane |
python-exact-profile-run-replay
python-frozen-client-neutral-draft
| Case |
Status |
Reference |
Conformance kits |
Target |
interfaces.python-native-modeling |
verified |
public-rust-replay-and-reference-execution |
— |
Cargo: eqiora-python/python_native_modeling |
python-gil-released-wait
python-host-serial-fem-fvm-run
python-immutable-parameter-point-evaluation
| Case |
Status |
Reference |
Conformance kits |
Target |
interfaces.python-differentiation |
verified |
centered-finite-difference-and-jvp-vjp-duality |
— |
Cargo: eqiora-python/python_differentiation |
python-immutable-revision-identity
| Case |
Status |
Reference |
Conformance kits |
Target |
interfaces.python-control-plane |
verified |
in-process-pyo3-module-and-public-rust-facade-replay |
— |
Cargo: eqiora-python/python_control_plane |
python-jax-first-order-jvp-vjp
python-jax-installed-wheel
python-jax-jit-custom-call
python-jax-static-abstract-evaluation
python-jax-typed-ffi
python-manylinux-wheel-family
| Case |
Status |
Reference |
Conformance kits |
Target |
interfaces.python-distribution-candidate |
verified |
clean-installed-artifact-matrix-and-runtime-stub-parity |
— |
python-installed-wheel: tools/ci/python_distribution_gate.py |
python-model-bound-parameter-and-field-references
| Case |
Status |
Reference |
Conformance kits |
Target |
interfaces.python-differentiation |
verified |
centered-finite-difference-and-jvp-vjp-duality |
— |
Cargo: eqiora-python/python_differentiation |
python-native-cartesian-domain-representation-field-relation
| Case |
Status |
Reference |
Conformance kits |
Target |
interfaces.python-native-modeling |
verified |
public-rust-replay-and-reference-execution |
— |
Cargo: eqiora-python/python_native_modeling |
python-native-grad-div-trace
| Case |
Status |
Reference |
Conformance kits |
Target |
interfaces.python-native-modeling |
verified |
public-rust-replay-and-reference-execution |
— |
Cargo: eqiora-python/python_native_modeling |
python-native-multi-residual-relation
| Case |
Status |
Reference |
Conformance kits |
Target |
interfaces.python-native-modeling |
verified |
public-rust-replay-and-reference-execution |
— |
Cargo: eqiora-python/python_native_modeling |
python-native-scalar-field-parameter-relation
| Case |
Status |
Reference |
Conformance kits |
Target |
interfaces.python-native-modeling |
verified |
public-rust-replay-and-reference-execution |
— |
Cargo: eqiora-python/python_native_modeling |
python-native-scalar-physical-domain-port-connection
| Case |
Status |
Reference |
Conformance kits |
Target |
interfaces.python-native-modeling |
verified |
public-rust-replay-and-reference-execution |
— |
Cargo: eqiora-python/python_native_modeling |
python-numpy-readonly-zero-copy
| Case |
Status |
Reference |
Conformance kits |
Target |
interfaces.python-array-transport |
verified |
in-process-pyo3-and-installed-wheel-array-falsifiers |
— |
Cargo: eqiora-python/python_array_transport |
python-once-only-result-materialization
python-opaque-differentiable-program
| Case |
Status |
Reference |
Conformance kits |
Target |
interfaces.python-differentiation |
verified |
centered-finite-difference-and-jvp-vjp-duality |
— |
Cargo: eqiora-python/python_differentiation |
python-opaque-model-bound-realization
python-opaque-model-identity
| Case |
Status |
Reference |
Conformance kits |
Target |
interfaces.python-control-plane |
verified |
in-process-pyo3-module-and-public-rust-facade-replay |
— |
Cargo: eqiora-python/python_control_plane |
python-optimistic-value-edit
| Case |
Status |
Reference |
Conformance kits |
Target |
interfaces.python-control-plane |
verified |
in-process-pyo3-module-and-public-rust-facade-replay |
— |
Cargo: eqiora-python/python_control_plane |
python-panic-containment
| Case |
Status |
Reference |
Conformance kits |
Target |
interfaces.python-control-plane |
verified |
in-process-pyo3-module-and-public-rust-facade-replay |
— |
Cargo: eqiora-python/python_control_plane |
python-persisted-run-manifest-v2
python-pytorch-fake-kernel
python-pytorch-fullgraph-compile
python-pytorch-functional-custom-operator
python-pytorch-installed-wheel
python-pytorch-registered-vjp-autograd
python-realization-linkage-fail-closed
python-realization-preview-before-numerical-allocation
python-reference-run-lifecycle
python-result-owner-independent-read-only-numpy-view
python-scalar-elliptic-safe-point-cancellation
python-scalar-elliptic-summary-evidence
python-scalar-elliptic-sync-await-parity
python-scalar-elliptic-three-phase-progress
python-self-contained-source-distribution
| Case |
Status |
Reference |
Conformance kits |
Target |
interfaces.python-distribution-candidate |
verified |
clean-installed-artifact-matrix-and-runtime-stub-parity |
— |
python-installed-wheel: tools/ci/python_distribution_gate.py |
python-single-native-run-lifecycle
python-structured-failure-taxonomy
| Case |
Status |
Reference |
Conformance kits |
Target |
interfaces.python-control-plane |
verified |
in-process-pyo3-module-and-public-rust-facade-replay |
— |
Cargo: eqiora-python/python_control_plane |
python-sync-async-path-parity
python-typed-scalar-elliptic-request
python-versioned-dlpack-snapshot
| Case |
Status |
Reference |
Conformance kits |
Target |
interfaces.python-array-transport |
verified |
in-process-pyo3-and-installed-wheel-array-falsifiers |
— |
Cargo: eqiora-python/python_array_transport |
q1-cell-local-fem
q1-fem-discrete-shape-action
q1-fem-finalized-cuda-handoff
| Case |
Status |
Reference |
Conformance kits |
Target |
numerics.canonical-cartesian-poisson-cuda |
verified |
public-source-selected-device-observation-with-independent-host-replay |
— |
Cargo: eqiora/canonical_cartesian_poisson_cuda_evidence |
q1-fem-finalized-mpi-handoff
| Case |
Status |
Reference |
Conformance kits |
Target |
numerics.canonical-cartesian-poisson-mpi |
verified |
analytic-and-independent-serial-reference |
— |
Cargo: eqiora/canonical_cartesian_poisson_mpi (features: mpi) |
q1-fem-parameter-assembly
quadrature-defined-continuous-field-compliance
rank-agreed-distinct-physical-cuda-uuid-topology
| Case |
Status |
Reference |
Conformance kits |
Target |
fsi.fixed-reference-distributed-cuda-solve-mpi-2d |
verified |
one-host-physical-mpi-cuda-with-complete-cpu-reference |
— |
Cargo: eqiora/fixed_reference_fsi_distributed_cuda_solve_mpi_2d (features: mpi-cuda; environment: physical-mpi-cuda) |
rank-agreed-distributed-assembly-receipt
rank-agreed-observed-mpi-runtime-provenance
| Case |
Status |
Reference |
Conformance kits |
Target |
fsi.fixed-reference-distributed-solve-mpi-2d |
verified |
mpi-transport-independent-complete-cpu-path-sharing-canonical-physics-and-lowering |
— |
Cargo: eqiora/fixed_reference_fsi_distributed_solve_mpi_2d (features: mpi) |
rank-agreed-operator-output-partition-layout-and-admission-identities
| Case |
Status |
Reference |
Conformance kits |
Target |
numerics.canonical-cartesian-poisson-mpi |
verified |
analytic-and-independent-serial-reference |
— |
Cargo: eqiora/canonical_cartesian_poisson_mpi (features: mpi) |
rank-agreed-output-and-domain-separated-execution-summary
| Case |
Status |
Reference |
Conformance kits |
Target |
fsi.fixed-reference-distributed-solve-mpi-2d |
verified |
mpi-transport-independent-complete-cpu-path-sharing-canonical-physics-and-lowering |
— |
Cargo: eqiora/fixed_reference_fsi_distributed_solve_mpi_2d (features: mpi) |
rank-deficient-mass-matrix-dae
| Case |
Status |
Reference |
Conformance kits |
Target |
time.diffsol-adaptive |
verified |
analytic-solutions-and-algebraic-constraint |
— |
Cargo: eqiora-backend-diffsol/adaptive_time (features: diffsol-runtime) |
rank-deficient-mass-matrix-lowering
| Case |
Status |
Reference |
Conformance kits |
Target |
time.canonical-first-order |
verified |
analytic-ode-and-constant-mass-systems |
— |
Cargo: eqiora/canonical_time_execution (features: diffsol) |
rank-local-exactly-once-cell-packet-evaluation
rank-ordered-reproducible-reduction
| Case |
Status |
Reference |
Conformance kits |
Target |
numerics.mpi-distributed |
verified |
executable-admission-and-fault-falsification |
— |
Cargo: eqiora-backend-mpi/mpi_distributed (features: mpi-runtime, mpi-test-hooks) |
reaction-recovery
| Case |
Status |
Reference |
Conformance kits |
Target |
solid.axial-bar |
verified |
analytic |
— |
Cargo: eqiora-numerics/canonical_axial_bar |
realization-mesh-dimension-validation
| Case |
Status |
Reference |
Conformance kits |
Target |
artifacts.imported-simplicial-realization |
verified |
typed-round-trip-exact-single-dof-and-worker-independent-ordered-assembly |
— |
Cargo: eqiora/imported_simplicial_realization |
realization-only-convection-scheme-selection
| Case |
Status |
Reference |
Conformance kits |
Target |
fluid.cartesian-advection-diffusion-fvm-2d |
verified |
analytic-zero-initial-inflow-step-space-time-refinement-and-reflection |
— |
Cargo: eqiora-numerics/canonical_transport |
| Case |
Status |
Reference |
Conformance kits |
Target |
solid.conforming-elasticity-pair-2d |
verified |
analytic-heterogeneous-interface-convergence-and-equilibrium |
canonical-tensor-structure-operators-v1 |
Cargo: eqiora/conforming_elasticity_pair_2d |
realization-v2-and-run-v2-linked-replay
| Case |
Status |
Reference |
Conformance kits |
Target |
fluid.fieldwise-si-mini-stokes-2d |
verified |
analytic-affine-solution-symmetric-congruence-and-artifact-replay |
— |
Cargo: eqiora/fieldwise_si_mini_stokes_2d |
reconstructed-topology-geometry-and-quality-validation
| Case |
Status |
Reference |
Conformance kits |
Target |
artifacts.imported-simplicial-realization |
verified |
typed-round-trip-exact-single-dof-and-worker-independent-ordered-assembly |
— |
Cargo: eqiora/imported_simplicial_realization |
recovered-natural-traction-convergence
| Case |
Status |
Reference |
Conformance kits |
Target |
solid.mixed-boundary-elasticity-2d |
verified |
analytic-inventory-csr-convergence-and-balance-equivalence |
canonical-tensor-structure-operators-v1 |
Cargo: eqiora/mixed_boundary_elasticity_2d |
reference-bicgstab-general-jacobi
| Case |
Status |
Reference |
Conformance kits |
Target |
fluid.cartesian-advection-diffusion-fvm-2d |
verified |
analytic-zero-initial-inflow-step-space-time-refinement-and-reflection |
— |
Cargo: eqiora-numerics/canonical_transport |
reference-cg
| Case |
Status |
Reference |
Conformance kits |
Target |
numerics.canonical-cartesian-poisson-cuda |
verified |
public-source-selected-device-observation-with-independent-host-replay |
— |
Cargo: eqiora/canonical_cartesian_poisson_cuda_evidence |
reference-only-identity-dataset-view
reference-quadrature
| Case |
Status |
Reference |
Conformance kits |
Target |
numerics.poisson-fem-fvm |
verified |
analytic |
— |
Cargo: eqiora-numerics/poisson_fem_fvm (table: expected/convergence.csv) |
| Case |
Status |
Reference |
Conformance kits |
Target |
artifacts.vtu-unstructured-grid-import |
verified |
official-vtk-python-writer-and-independent-exact-decoded-summary |
— |
Cargo: eqiora/vtu_unstructured_grid_import (features: vtu; table: expected/summary.json) |
registration-mismatch-rejection
| Case |
Status |
Reference |
Conformance kits |
Target |
hybrid.registered-event |
verified |
analytic-bouncing-ball-first-impact-and-flight |
— |
Cargo: eqiora/canonical_time_execution (features: diffsol) |
relation-owned-public-port-retention
| Case |
Status |
Reference |
Conformance kits |
Target |
language.hierarchical-connection-sets |
verified |
canonical-artifact-equivalence-exposure-elimination-and-source-falsifiers |
hierarchical-conserving-connection-sets-v1 |
Cargo: eqiora/hierarchical_connection_sets |
remaining-encoded-byte-count-bounds
| Case |
Status |
Reference |
Conformance kits |
Target |
artifacts.gmsh-imported-simplicial-realization |
verified |
official-generator-ascii-binary-equivalence-exact-digest-and-single-dof-solution |
— |
Cargo: eqiora/gmsh_imported_simplicial_realization (features: gmsh; table: expected/mesh.sha256) |
replayable-exact-rational-normalization-proof
| Case |
Status |
Reference |
Conformance kits |
Target |
language.pure-calculus-support-map |
verified |
typed-expansion-exact-proof-replay-and-support-identity-falsifiers |
pure-calculus-support-map-v1 |
Cargo: eqiora-ir/pure_calculus_support_map |
replayable-fixed-topology-moving-state-lineage
| Case |
Status |
Reference |
Conformance kits |
Target |
fsi.fixed-topology-ale-monolithic-2d |
verified |
independent-reassembly-and-step-refinement-cpu-reference |
— |
Cargo: eqiora/fixed_topology_ale_fsi_2d (features: faer) |
replayable-remesh-and-continuation-trajectory-lineage
| Case |
Status |
Reference |
Conformance kits |
Target |
fsi.remeshing-transfer-2d |
verified |
independent-common-refinement-cpu-reference |
— |
Cargo: eqiora/remeshing_transfer_2d (features: faer) |
replayable-three-dimensional-moving-state-lineage
| Case |
Status |
Reference |
Conformance kits |
Target |
fsi.fixed-topology-ale-monolithic-3d |
verified |
independent-reassembly-step-refinement-and-artifact-replay-cpu-reference |
— |
Cargo: eqiora/fixed_topology_ale_fsi_3d (features: faer) |
reproducible-worker-independent-result
| Case |
Status |
Reference |
Conformance kits |
Target |
numerics.threaded-cpu |
verified |
worker-independent-assembly-reaction-and-true-residual |
— |
Cargo: eqiora/threaded_cpu (features: threaded) |
reset-state-and-parameter-jacobians
| Case |
Status |
Reference |
Conformance kits |
Target |
differentiation.hybrid-event |
verified |
analytic-bouncing-ball-first-impact |
— |
Cargo: eqiora-runtime/canonical_hybrid_sensitivity |
resident-deterministic-cuda-rectangular-csr-action
| Case |
Status |
Reference |
Conformance kits |
Target |
fsi.fixed-reference-distributed-cuda-solve-mpi-2d |
verified |
one-host-physical-mpi-cuda-with-complete-cpu-reference |
— |
Cargo: eqiora/fixed_reference_fsi_distributed_cuda_solve_mpi_2d (features: mpi-cuda; environment: physical-mpi-cuda) |
residual-jvp
| Case |
Status |
Reference |
Conformance kits |
Target |
time.general-implicit-dae |
verified |
analytic |
— |
Cargo: eqiora/canonical_implicit_dae (table: expected/convergence.csv) |
residual-native-run-provenance
| Case |
Status |
Reference |
Conformance kits |
Target |
time.general-implicit-dae |
verified |
analytic |
— |
Cargo: eqiora/canonical_implicit_dae (table: expected/convergence.csv) |
residual-permutation-scale-normalization
| Case |
Status |
Reference |
Conformance kits |
Target |
time.canonical-first-order |
verified |
analytic-ode-and-constant-mass-systems |
— |
Cargo: eqiora/canonical_time_execution (features: diffsol) |
resolved-array-and-accepted-artifact-cross-binding-rejection
| Case |
Status |
Reference |
Conformance kits |
Target |
artifacts.xdmf-uniform-grid-import |
verified |
independently-readable-hdf5-source-exact-normalized-arrays-and-fail-closed-replay |
— |
Cargo: eqiora/xdmf_uniform_grid_import (features: xdmf; table: expected/source.sha256) |
resolved-operator-property-sealing
| Case |
Status |
Reference |
Conformance kits |
Target |
numerics.threaded-cpu |
verified |
worker-independent-assembly-reaction-and-true-residual |
— |
Cargo: eqiora/threaded_cpu (features: threaded) |
resource-limited-mesh-decoding
| Case |
Status |
Reference |
Conformance kits |
Target |
artifacts.imported-simplicial-realization |
verified |
typed-round-trip-exact-single-dof-and-worker-independent-ordered-assembly |
— |
Cargo: eqiora/imported_simplicial_realization |
retained-flux-zero-and-live-port-dispositions
| Case |
Status |
Reference |
Conformance kits |
Target |
solid.dynamic-linear-solid-semantics-2d |
verified |
canonical-package-equivalence-and-fail-closed-structural-recognition |
— |
Cargo: eqiora/dynamic_linear_solid_semantics_2d |
retained-local-package-store-replay
| Case |
Status |
Reference |
Conformance kits |
Target |
packages.offline-model-package |
verified |
canonical-package-identities-provenance-and-analytic-dc |
— |
Cargo: eqiora/offline_model_package |
root-proposal-external-reset-restart
| Case |
Status |
Reference |
Conformance kits |
Target |
time.diffsol-adaptive |
verified |
analytic-solutions-and-algebraic-constraint |
— |
Cargo: eqiora-backend-diffsol/adaptive_time (features: diffsol-runtime) |
rotated-cyclic-unique-ownership
| Case |
Status |
Reference |
Conformance kits |
Target |
numerics.canonical-cartesian-poisson-mpi |
verified |
analytic-and-independent-serial-reference |
— |
Cargo: eqiora/canonical_cartesian_poisson_mpi (features: mpi) |
run-owned-rayon-pool
| Case |
Status |
Reference |
Conformance kits |
Target |
numerics.threaded-cpu |
verified |
worker-independent-assembly-reaction-and-true-residual |
— |
Cargo: eqiora/threaded_cpu (features: threaded) |
run-v2-content-lineage
| Case |
Status |
Reference |
Conformance kits |
Target |
artifacts.model-reference-lineage |
verified |
explicit-wire-round-trip-and-cross-domain-rejection |
— |
Cargo: eqiora/model_artifact_reference_lineage |
runtime-dimensional-cartesian-mesh
runtime-dimensional-simplicial-topology
saltation-after-localization
| Case |
Status |
Reference |
Conformance kits |
Target |
hybrid.registered-event |
verified |
analytic-bouncing-ball-first-impact-and-flight |
— |
Cargo: eqiora/canonical_time_execution (features: diffsol) |
saltation-matrix
| Case |
Status |
Reference |
Conformance kits |
Target |
differentiation.hybrid-event |
verified |
analytic-bouncing-ball-first-impact |
— |
Cargo: eqiora-runtime/canonical_hybrid_sensitivity |
same-id-provider-version-substitution-rejection
| Case |
Status |
Reference |
Conformance kits |
Target |
numerics.threaded-cpu |
verified |
worker-independent-assembly-reaction-and-true-residual |
— |
Cargo: eqiora/threaded_cpu (features: threaded) |
same-program-fem-fvm-transient-navier-stokes-2d
| Case |
Status |
Reference |
Conformance kits |
Target |
fluid.same-program-fem-fvm-navier-stokes-2d |
verified |
common-analytic-equilibrium-and-exact-identity-replay |
— |
Cargo: eqiora/same_program_fem_fvm_navier_stokes_2d (features: faer) |
same-runtime-deterministic-storage-regeneration
| Case |
Status |
Reference |
Conformance kits |
Target |
artifacts.xdmf-hdf5-remeshing-trajectory |
verified |
replayed-content-addressed-cpu-trajectory-and-native-hdf5-audit |
— |
Cargo: eqiora/remeshing_transfer_2d (features: faer, hdf5) |
scalar-ir-jvp
| Case |
Status |
Reference |
Conformance kits |
Target |
time.canonical-first-order |
verified |
analytic-ode-and-constant-mass-systems |
— |
Cargo: eqiora/canonical_time_execution (features: diffsol) |
scalar-ssa-jvp
| Case |
Status |
Reference |
Conformance kits |
Target |
differentiation.implicit-relation |
verified |
analytic-and-centered-finite-difference |
— |
Cargo: eqiora/implicit_differentiation |
scalar-ssa-primal
| Case |
Status |
Reference |
Conformance kits |
Target |
differentiation.implicit-relation |
verified |
analytic-and-centered-finite-difference |
— |
Cargo: eqiora/implicit_differentiation |
scalar-ssa-vjp
| Case |
Status |
Reference |
Conformance kits |
Target |
differentiation.implicit-relation |
verified |
analytic-and-centered-finite-difference |
— |
Cargo: eqiora/implicit_differentiation |
scale-invariant-mean-ratio-quality-gate
sealed-model-artifact-reference
| Case |
Status |
Reference |
Conformance kits |
Target |
artifacts.model-reference-lineage |
verified |
explicit-wire-round-trip-and-cross-domain-rejection |
— |
Cargo: eqiora/model_artifact_reference_lineage |
sealed-p1-harmonic-mesh-motion-action
| Case |
Status |
Reference |
Conformance kits |
Target |
fsi.fixed-topology-ale-monolithic-2d |
verified |
independent-reassembly-and-step-refinement-cpu-reference |
— |
Cargo: eqiora/fixed_topology_ale_fsi_2d (features: faer) |
sealed-vector-p1-harmonic-mesh-motion-action
| Case |
Status |
Reference |
Conformance kits |
Target |
fsi.fixed-topology-ale-monolithic-3d |
verified |
independent-reassembly-step-refinement-and-artifact-replay-cpu-reference |
— |
Cargo: eqiora/fixed_topology_ale_fsi_3d (features: faer) |
semantic-dag-residual-reacceptance
| Case |
Status |
Reference |
Conformance kits |
Target |
electrical.parallel-dc-network |
verified |
source-native-parity-analytic-and-canonical-dag-reacceptance |
— |
Cargo: eqiora/scalar_physical_dc |
semantic-parent-volume-to-boundary-trace-support-map
| Case |
Status |
Reference |
Conformance kits |
Target |
language.pure-calculus-support-map |
verified |
typed-expansion-exact-proof-replay-and-support-identity-falsifiers |
pure-calculus-support-map-v1 |
Cargo: eqiora-ir/pure_calculus_support_map |
semantic-restart-equivalence
| Case |
Status |
Reference |
Conformance kits |
Target |
artifacts.implicit-time-restart-lineage |
verified |
canonical-operator-replay-and-uninterrupted-reference-run |
— |
Cargo: eqiora/implicit_time_restart_lineage |
separate-assembly-and-solve-placement-evidence
| Case |
Status |
Reference |
Conformance kits |
Target |
artifacts.imported-simplicial-realization |
verified |
typed-round-trip-exact-single-dof-and-worker-independent-ordered-assembly |
— |
Cargo: eqiora/imported_simplicial_realization |
separate-assembly-placement-evidence
| Case |
Status |
Reference |
Conformance kits |
Target |
numerics.threaded-cpu |
verified |
worker-independent-assembly-reaction-and-true-residual |
— |
Cargo: eqiora/threaded_cpu (features: threaded) |
serial-host-true-residual-acceptance
| Case |
Status |
Reference |
Conformance kits |
Target |
numerics.canonical-cartesian-poisson-cuda |
verified |
public-source-selected-device-observation-with-independent-host-replay |
— |
Cargo: eqiora/canonical_cartesian_poisson_cuda_evidence |
serial-rayon-common-logical-execution-dag
| Case |
Status |
Reference |
Conformance kits |
Target |
numerics.threaded-cpu |
verified |
worker-independent-assembly-reaction-and-true-residual |
— |
Cargo: eqiora/threaded_cpu (features: threaded) |
shared-fem-fvm-lowering
shared-finalized-linear-solution-reacceptance
shared-instance-binding-budget
| Case |
Status |
Reference |
Conformance kits |
Target |
packages.occurrence-bound-fields |
verified |
canonical-kernel-identity-provenance-and-fail-closed-diagnostics |
— |
Cargo: eqiora/occurrence_bound_fields |
shared-rust-lowering-and-atomic-commit
| Case |
Status |
Reference |
Conformance kits |
Target |
interfaces.python-native-modeling |
verified |
public-rust-replay-and-reference-execution |
— |
Cargo: eqiora-python/python_native_modeling |
shared-simplicial-topology-geometry-and-quality-validation
| Case |
Status |
Reference |
Conformance kits |
Target |
artifacts.gmsh-imported-simplicial-realization |
verified |
official-generator-ascii-binary-equivalence-exact-digest-and-single-dof-solution |
— |
Cargo: eqiora/gmsh_imported_simplicial_realization (features: gmsh; table: expected/mesh.sha256) |
shared-source-native-typed-lowering
| Case |
Status |
Reference |
Conformance kits |
Target |
language.native-modeling |
verified |
source-native-structure-artifact-and-trajectory-equivalence |
— |
Cargo: eqiora/native_modeling |
shared-structural-semantic-fingerprint
| Case |
Status |
Reference |
Conformance kits |
Target |
language.native-modeling |
verified |
source-native-structure-artifact-and-trajectory-equivalence |
— |
Cargo: eqiora/native_modeling |
sibling-exposure-fragment-cut-separation
| Case |
Status |
Reference |
Conformance kits |
Target |
language.hierarchical-connection-sets |
verified |
canonical-artifact-equivalence-exposure-elimination-and-source-falsifiers |
hierarchical-conserving-connection-sets-v1 |
Cargo: eqiora/hierarchical_connection_sets |
signed-zero-semantic-canonicalization
| Case |
Status |
Reference |
Conformance kits |
Target |
fluid.packaged-steady-stokes-2d |
verified |
semantic-entity-bijection-lowered-equivalence-and-exact-package-replay |
— |
Cargo: eqiora/packaged_steady_stokes_2d |
single-device-fast-identity-preconditioned-minres
| Case |
Status |
Reference |
Conformance kits |
Target |
fsi.fixed-reference-cuda-solve-2d |
verified |
privacy-safe-selected-device-collector-with-independent-cpu-and-host-reacceptance |
— |
Cargo: eqiora/fixed_reference_fsi_cuda_evidence (features: cuda) |
single-matrix-upload-with-monotone-action-generations
| Case |
Status |
Reference |
Conformance kits |
Target |
fsi.fixed-reference-distributed-cuda-solve-mpi-2d |
verified |
one-host-physical-mpi-cuda-with-complete-cpu-reference |
— |
Cargo: eqiora/fixed_reference_fsi_distributed_cuda_solve_mpi_2d (features: mpi-cuda; environment: physical-mpi-cuda) |
sole-solver-plan-handoff
| Case |
Status |
Reference |
Conformance kits |
Target |
numerics.finalized-spatial-handoff |
verified |
cpu-regression-and-falsifying-cross-wire |
— |
Cargo: eqiora/finalized_spatial_handoff |
source-and-client-neutral-native-scalar-physical-domain-and-ports
| Case |
Status |
Reference |
Conformance kits |
Target |
electrical.parallel-dc-network |
verified |
source-native-parity-analytic-and-canonical-dag-reacceptance |
— |
Cargo: eqiora/scalar_physical_dc |
source-native-analytic-initial-residual-reacceptance
| Case |
Status |
Reference |
Conformance kits |
Target |
electrical.parallel-dc-network |
verified |
source-native-parity-analytic-and-canonical-dag-reacceptance |
— |
Cargo: eqiora/scalar_physical_dc |
source-native-route-comparison
source-parameter-action
source-python-structural-fingerprint-comparison
| Case |
Status |
Reference |
Conformance kits |
Target |
interfaces.python-native-modeling |
verified |
public-rust-replay-and-reference-execution |
— |
Cargo: eqiora-python/python_native_modeling |
sparse-assembly
sparse-tag-and-multiblock-reconstruction
| Case |
Status |
Reference |
Conformance kits |
Target |
artifacts.gmsh-imported-simplicial-realization |
verified |
official-generator-ascii-binary-equivalence-exact-digest-and-single-dof-solution |
— |
Cargo: eqiora/gmsh_imported_simplicial_realization (features: gmsh; table: expected/mesh.sha256) |
sparsity-derived-halo-plan
| Case |
Status |
Reference |
Conformance kits |
Target |
numerics.distributed-layout |
verified |
global-action-versus-partitioned-loopback |
— |
Cargo: eqiora-distributed/distributed_loopback |
sparsity-derived-solver-vector-halo
| Case |
Status |
Reference |
Conformance kits |
Target |
fsi.fixed-reference-distributed-solve-mpi-2d |
verified |
mpi-transport-independent-complete-cpu-path-sharing-canonical-physics-and-lowering |
— |
Cargo: eqiora/fixed_reference_fsi_distributed_solve_mpi_2d (features: mpi) |
spatial-periodic-boundary-connection
spatial-shape-support-definition-typing
| Case |
Status |
Reference |
Conformance kits |
Target |
packages.package-definition-validation |
verified |
frozen-package-identity-and-source-diagnostic-falsifiers |
— |
Cargo: eqiora/package_definition_validation |
square-spatial-cartesian-symmetric-part
| Case |
Status |
Reference |
Conformance kits |
Target |
language.canonical-tensor-operators |
verified |
typed-semantics-component-scalarization-and-artifact-roundtrip |
canonical-tensor-structure-operators-v1 |
Cargo: eqiora/canonical_tensor_operators |
state-dependent-derivative-jacobian
| Case |
Status |
Reference |
Conformance kits |
Target |
time.general-implicit-dae |
verified |
analytic |
— |
Cargo: eqiora/canonical_implicit_dae (table: expected/convergence.csv) |
static-program-multiple-accepted-evaluations
statically-elaborated-boundary-port-families
| Case |
Status |
Reference |
Conformance kits |
Target |
packages.complete-exterior-port-families |
verified |
canonical-kernel-identity-provenance-and-fail-closed-diagnostics |
— |
Cargo: eqiora/complete_exterior_port_families |
statically-elaborated-boundary-relation-families
| Case |
Status |
Reference |
Conformance kits |
Target |
packages.complete-exterior-port-families |
verified |
canonical-kernel-identity-provenance-and-fail-closed-diagnostics |
— |
Cargo: eqiora/complete_exterior_port_families |
step-jvp-vjp-duality
storage-independent-ml-dataset-lineage
| Case |
Status |
Reference |
Conformance kits |
Target |
artifacts.ml-dataset-remeshing-2d |
verified |
fresh-content-addressed-cpu-derivation |
— |
Cargo: eqiora/remeshing_transfer_2d (features: faer) |
structural-derivative-classification
| Case |
Status |
Reference |
Conformance kits |
Target |
time.canonical-first-order |
verified |
analytic-ode-and-constant-mass-systems |
— |
Cargo: eqiora/canonical_time_execution (features: diffsol) |
support-binding-source-provenance
| Case |
Status |
Reference |
Conformance kits |
Target |
packages.component-spatial-supports |
verified |
canonical-model-topology-provenance-and-fail-closed-diagnostics |
— |
Cargo: eqiora/component_spatial_supports |
supported-invariant-scalar-isotropic-lift
| Case |
Status |
Reference |
Conformance kits |
Target |
language.canonical-tensor-operators |
verified |
typed-semantics-component-scalarization-and-artifact-roundtrip |
canonical-tensor-structure-operators-v1 |
Cargo: eqiora/canonical_tensor_operators |
symbolic-required-public-parameters
| Case |
Status |
Reference |
Conformance kits |
Target |
packages.package-definition-validation |
verified |
frozen-package-identity-and-source-diagnostic-falsifiers |
— |
Cargo: eqiora/package_definition_validation |
symmetric-indefinite-reference-minres
| Case |
Status |
Reference |
Conformance kits |
Target |
fluid.simplicial-mini-stokes-2d |
verified |
analytic-manufactured-convergence-gauge-and-balance |
— |
Cargo: eqiora/simplicial_mini_stokes_2d |
synchronized-forged-owner-authority-falsifier
| Case |
Status |
Reference |
Conformance kits |
Target |
fsi.fixed-reference-distributed-solve-mpi-2d |
verified |
mpi-transport-independent-complete-cpu-path-sharing-canonical-physics-and-lowering |
— |
Cargo: eqiora/fixed_reference_fsi_distributed_solve_mpi_2d (features: mpi) |
temporal-convergence
| Case |
Status |
Reference |
Conformance kits |
Target |
time.general-implicit-dae |
verified |
analytic |
— |
Cargo: eqiora/canonical_implicit_dae (table: expected/convergence.csv) |
tensor-product-quadrature
thread-support-validation
| Case |
Status |
Reference |
Conformance kits |
Target |
numerics.mpi-distributed |
verified |
executable-admission-and-fault-falsification |
— |
Cargo: eqiora-backend-mpi/mpi_distributed (features: mpi-runtime, mpi-test-hooks) |
three-dimensional-canonical-lowering
| Case |
Status |
Reference |
Conformance kits |
Target |
numerics.cartesian-poisson-3d-fem-fvm |
verified |
analytic |
— |
Cargo: eqiora-numerics/cartesian_poisson_3d_fem_fvm (table: expected/convergence.csv) |
time-ordered-disjoint-train-validation-test-splits
| Case |
Status |
Reference |
Conformance kits |
Target |
artifacts.ml-dataset-remeshing-2d |
verified |
fresh-content-addressed-cpu-derivation |
— |
Cargo: eqiora/remeshing_transfer_2d (features: faer) |
timeout-bounded-liveness-falsification
| Case |
Status |
Reference |
Conformance kits |
Target |
numerics.mpi-distributed |
verified |
executable-admission-and-fault-falsification |
— |
Cargo: eqiora-backend-mpi/mpi_distributed (features: mpi-runtime, mpi-test-hooks) |
topology-identity-and-provenance-resource-limits
| Case |
Status |
Reference |
Conformance kits |
Target |
language.hierarchical-connection-sets |
verified |
canonical-artifact-equivalence-exposure-elimination-and-source-falsifiers |
hierarchical-conserving-connection-sets-v1 |
Cargo: eqiora/hierarchical_connection_sets |
tpfa-finalized-cuda-handoff
| Case |
Status |
Reference |
Conformance kits |
Target |
numerics.canonical-cartesian-poisson-cuda |
verified |
public-source-selected-device-observation-with-independent-host-replay |
— |
Cargo: eqiora/canonical_cartesian_poisson_cuda_evidence |
tpfa-finalized-mpi-handoff
| Case |
Status |
Reference |
Conformance kits |
Target |
numerics.canonical-cartesian-poisson-mpi |
verified |
analytic-and-independent-serial-reference |
— |
Cargo: eqiora/canonical_cartesian_poisson_mpi (features: mpi) |
tpfa-fvm-discrete-shape-action
tpfa-fvm-parameter-assembly
training-only-population-standardization
| Case |
Status |
Reference |
Conformance kits |
Target |
artifacts.ml-dataset-remeshing-2d |
verified |
fresh-content-addressed-cpu-derivation |
— |
Cargo: eqiora/remeshing_transfer_2d (features: faer) |
trajectory-gradient
transfer-inclusive-cuda-observation
| Case |
Status |
Reference |
Conformance kits |
Target |
performance.cuda-csr-transfer-threshold |
verified |
serial-host-action-and-independent-raw-median-replay |
— |
Cargo: eqiora-backend-cuda/cuda_transfer_threshold_evidence |
transient-consistent-momentum-weighted-face-flux
| Case |
Status |
Reference |
Conformance kits |
Target |
fluid.cell-centered-navier-stokes-fvm-2d |
verified |
retained-face-replay-pressure-mode-falsification-and-step-doubling |
— |
Cargo: eqiora/cell_centered_navier_stokes_2d |
transitive-composed-model-package
| Case |
Status |
Reference |
Conformance kits |
Target |
packages.composed-model-package |
verified |
frozen-package-artifact-identities-and-analytic-dc |
— |
Cargo: eqiora/composed_model_package |
transport-neutral-distributed-deployment-binding
| Case |
Status |
Reference |
Conformance kits |
Target |
numerics.canonical-cartesian-poisson-mpi |
verified |
analytic-and-independent-serial-reference |
— |
Cargo: eqiora/canonical_cartesian_poisson_mpi (features: mpi) |
transposed-step-solves
transverse-periodic-spectral-convergence
true-residual-acceptance
tsitouras45-nonstiff-ode
| Case |
Status |
Reference |
Conformance kits |
Target |
time.diffsol-adaptive |
verified |
analytic-solutions-and-algebraic-constraint |
— |
Cargo: eqiora-backend-diffsol/adaptive_time (features: diffsol-runtime) |
two-dimensional-affine-triangle-stokes-numerical-realization
| Case |
Status |
Reference |
Conformance kits |
Target |
fluid.simplicial-mini-stokes-2d |
verified |
analytic-manufactured-convergence-gauge-and-balance |
— |
Cargo: eqiora/simplicial_mini_stokes_2d |
two-dimensional-canonical-lowering
| Case |
Status |
Reference |
Conformance kits |
Target |
numerics.cartesian-poisson-fem-fvm |
verified |
analytic |
— |
Cargo: eqiora-numerics/cartesian_poisson_fem_fvm (table: expected/convergence.csv) |
two-dimensional-cartesian-q1-vector-elasticity
| Case |
Status |
Reference |
Conformance kits |
Target |
solid.isotropic-elasticity-2d |
verified |
analytic-local-patch-manufactured-convergence-and-component-balance |
canonical-tensor-structure-operators-v1 |
Cargo: eqiora/isotropic_elasticity_2d |
two-level-explicit-forwarding-connection-set-union
| Case |
Status |
Reference |
Conformance kits |
Target |
language.hierarchical-connection-sets |
verified |
canonical-artifact-equivalence-exposure-elimination-and-source-falsifiers |
hierarchical-conserving-connection-sets-v1 |
Cargo: eqiora/hierarchical_connection_sets |
type-support-clock-and-boundary-falsifiers
typed-cell-centered-fvm-transport-realization
| Case |
Status |
Reference |
Conformance kits |
Target |
fluid.cartesian-advection-diffusion-fvm-2d |
verified |
analytic-zero-initial-inflow-step-space-time-refinement-and-reflection |
— |
Cargo: eqiora-numerics/canonical_transport |
typed-collocated-pressure-velocity-realization
| Case |
Status |
Reference |
Conformance kits |
Target |
fluid.cell-centered-navier-stokes-fvm-2d |
verified |
retained-face-replay-pressure-mode-falsification-and-step-doubling |
— |
Cargo: eqiora/cell_centered_navier_stokes_2d |
typed-cuda-transfer-and-generation-trace
| Case |
Status |
Reference |
Conformance kits |
Target |
numerics.canonical-cartesian-poisson-cuda |
verified |
public-source-selected-device-observation-with-independent-host-replay |
— |
Cargo: eqiora/canonical_cartesian_poisson_cuda_evidence |
typed-elasticity-realization-and-run-lineage
| Case |
Status |
Reference |
Conformance kits |
Target |
solid.isotropic-elasticity-2d |
verified |
analytic-local-patch-manufactured-convergence-and-component-balance |
canonical-tensor-structure-operators-v1 |
Cargo: eqiora/isotropic_elasticity_2d |
typed-execution-topology
| Case |
Status |
Reference |
Conformance kits |
Target |
artifacts.realization-run-wire |
verified |
typed-round-trip-and-cross-artifact-invariants |
— |
Cargo: eqiora-artifact/realization_run_wire |
typed-feature-target-window-descriptors
| Case |
Status |
Reference |
Conformance kits |
Target |
artifacts.ml-dataset-remeshing-2d |
verified |
fresh-content-addressed-cpu-derivation |
— |
Cargo: eqiora/remeshing_transfer_2d (features: faer) |
typed-layout-and-partition-references
| Case |
Status |
Reference |
Conformance kits |
Target |
artifacts.realization-run-wire |
verified |
typed-round-trip-and-cross-artifact-invariants |
— |
Cargo: eqiora-artifact/realization_run_wire |
typed-local-component-definitions
| Case |
Status |
Reference |
Conformance kits |
Target |
language.component-elaboration |
verified |
canonical-identity-provenance-flat-normalization-and-analytic-dc |
hierarchical-conserving-connection-sets-v1 |
Cargo: eqiora/component_hierarchy |
| Case |
Status |
Reference |
Conformance kits |
Target |
language.pure-calculus-support-map |
verified |
typed-expansion-exact-proof-replay-and-support-identity-falsifiers |
pure-calculus-support-map-v1 |
Cargo: eqiora-ir/pure_calculus_support_map |
typed-normal-and-transposed-solve-evidence
| Case |
Status |
Reference |
Conformance kits |
Target |
interfaces.python-differentiation |
verified |
centered-finite-difference-and-jvp-vjp-duality |
— |
Cargo: eqiora-python/python_differentiation |
typed-outer-product-model-wire-v5
typed-portable-realization-dag
typed-realization-v1-lineage
| Case |
Status |
Reference |
Conformance kits |
Target |
packages.typed-execution-lineage |
verified |
canonical-package-model-realization-run-lineage |
— |
Cargo: eqiora/typed_package_execution_lineage |
typed-remeshing-trajectory-storage-lineage
| Case |
Status |
Reference |
Conformance kits |
Target |
artifacts.xdmf-hdf5-remeshing-trajectory |
verified |
replayed-content-addressed-cpu-trajectory-and-native-hdf5-audit |
— |
Cargo: eqiora/remeshing_transfer_2d (features: faer, hdf5) |
typed-run-v2-lineage
| Case |
Status |
Reference |
Conformance kits |
Target |
packages.typed-execution-lineage |
verified |
canonical-package-model-realization-run-lineage |
— |
Cargo: eqiora/typed_package_execution_lineage |
typed-scalar-objective-linearization
typed-scalar-parameter-binding
| Case |
Status |
Reference |
Conformance kits |
Target |
language.component-elaboration |
verified |
canonical-identity-provenance-flat-normalization-and-analytic-dc |
hierarchical-conserving-connection-sets-v1 |
Cargo: eqiora/component_hierarchy |
typed-spatial-design-coordinates
typed-symmetric-part-and-isotropic-lift-expansion
| Case |
Status |
Reference |
Conformance kits |
Target |
language.pure-calculus-support-map |
verified |
typed-expansion-exact-proof-replay-and-support-identity-falsifiers |
pure-calculus-support-map-v1 |
Cargo: eqiora-ir/pure_calculus_support_map |
typed-time-run-provenance
| Case |
Status |
Reference |
Conformance kits |
Target |
time.canonical-first-order |
verified |
analytic-ode-and-constant-mass-systems |
— |
Cargo: eqiora/canonical_time_execution (features: diffsol) |
typed-transient-fieldwise-realization
unaccepted-step-rejection
unchanged-canonical-fsi-acceptance
unchanged-fixed-reference-fsi-finish
| Case |
Status |
Reference |
Conformance kits |
Target |
fsi.fixed-reference-distributed-cuda-solve-mpi-2d |
verified |
one-host-physical-mpi-cuda-with-complete-cpu-reference |
— |
Cargo: eqiora/fixed_reference_fsi_distributed_cuda_solve_mpi_2d (features: mpi-cuda; environment: physical-mpi-cuda) |
fsi.fixed-reference-distributed-solve-mpi-2d |
verified |
mpi-transport-independent-complete-cpu-path-sharing-canonical-physics-and-lowering |
— |
Cargo: eqiora/fixed_reference_fsi_distributed_solve_mpi_2d (features: mpi) |
unchanged-fixed-reference-fsi-physical-finish
| Case |
Status |
Reference |
Conformance kits |
Target |
fsi.fixed-reference-cuda-solve-2d |
verified |
privacy-safe-selected-device-collector-with-independent-cpu-and-host-reacceptance |
— |
Cargo: eqiora/fixed_reference_fsi_cuda_evidence (features: cuda) |
unchanged-realization-v1-wire
| Case |
Status |
Reference |
Conformance kits |
Target |
artifacts.model-reference-lineage |
verified |
explicit-wire-round-trip-and-cross-domain-rejection |
— |
Cargo: eqiora/model_artifact_reference_lineage |
unconverged-point-rejection
| Case |
Status |
Reference |
Conformance kits |
Target |
differentiation.implicit-relation |
verified |
analytic-and-centered-finite-difference |
— |
Cargo: eqiora/implicit_differentiation |
| Case |
Status |
Reference |
Conformance kits |
Target |
artifacts.xdmf-uniform-grid-import |
verified |
independently-readable-hdf5-source-exact-normalized-arrays-and-fail-closed-replay |
— |
Cargo: eqiora/xdmf_uniform_grid_import (features: xdmf; table: expected/source.sha256) |
unique-global-ownership
| Case |
Status |
Reference |
Conformance kits |
Target |
numerics.distributed-layout |
verified |
global-action-versus-partitioned-loopback |
— |
Cargo: eqiora-distributed/distributed_loopback |
unproven-mass-parameter-dependence-rejection
| Case |
Status |
Reference |
Conformance kits |
Target |
time.diffsol-adaptive |
verified |
analytic-solutions-and-algebraic-constraint |
— |
Cargo: eqiora-backend-diffsol/adaptive_time (features: diffsol-runtime) |
| Case |
Status |
Reference |
Conformance kits |
Target |
electrical.parallel-dc-network |
verified |
source-native-parity-analytic-and-canonical-dag-reacceptance |
— |
Cargo: eqiora/scalar_physical_dc |
validated-semantic-restart-boundary
verifiable-lowering-artifact
| Case |
Status |
Reference |
Conformance kits |
Target |
time.canonical-first-order |
verified |
analytic-ode-and-constant-mass-systems |
— |
Cargo: eqiora/canonical_time_execution (features: diffsol) |
versioned-affine-simplex-mesh-envelope
| Case |
Status |
Reference |
Conformance kits |
Target |
artifacts.imported-simplicial-realization |
verified |
typed-round-trip-exact-single-dof-and-worker-independent-ordered-assembly |
— |
Cargo: eqiora/imported_simplicial_realization |
versioned-compile-check-control
| Case |
Status |
Reference |
Conformance kits |
Target |
interfaces.control-plane-compile-check |
verified |
shared-wire-fixtures-and-ordinary-compiler-admission |
control-compile-check-v1 |
Cargo: eqiora/control_plane_compile_check |
versioned-physical-exposure-catalog
| Case |
Status |
Reference |
Conformance kits |
Target |
packages.hierarchical-physical-boundary |
verified |
canonical-package-model-equivalence-and-analytic-dc |
hierarchical-conserving-connection-sets-v1 |
Cargo: eqiora/packaged_hierarchical_physical_boundary |
versioned-realization-envelope
| Case |
Status |
Reference |
Conformance kits |
Target |
artifacts.realization-run-wire |
verified |
typed-round-trip-and-cross-artifact-invariants |
— |
Cargo: eqiora-artifact/realization_run_wire |
versioned-run-provenance
| Case |
Status |
Reference |
Conformance kits |
Target |
artifacts.realization-run-wire |
verified |
typed-round-trip-and-cross-artifact-invariants |
— |
Cargo: eqiora-artifact/realization_run_wire |
versioned-transaction-atomic-commit
| Case |
Status |
Reference |
Conformance kits |
Target |
language.native-modeling |
verified |
source-native-structure-artifact-and-trajectory-equivalence |
— |
Cargo: eqiora/native_modeling |
vertex-scalar-and-cell-vector-field-identity
| Case |
Status |
Reference |
Conformance kits |
Target |
artifacts.discrete-field-import-provenance |
verified |
public-facade-canonical-identity-and-fail-closed-reference-validation |
— |
Cargo: eqiora/discrete_field_import_provenance |
| Case |
Status |
Reference |
Conformance kits |
Target |
fsi.fixed-reference-distributed-cuda-solve-mpi-2d |
verified |
one-host-physical-mpi-cuda-with-complete-cpu-reference |
— |
Cargo: eqiora/fixed_reference_fsi_distributed_cuda_solve_mpi_2d (features: mpi-cuda; environment: physical-mpi-cuda) |
| Case |
Status |
Reference |
Conformance kits |
Target |
numerics.canonical-cartesian-poisson-cuda |
verified |
public-source-selected-device-observation-with-independent-host-replay |
— |
Cargo: eqiora/canonical_cartesian_poisson_cuda_evidence |
weak-interface-action-equilibrium
| Case |
Status |
Reference |
Conformance kits |
Target |
solid.conforming-elasticity-pair-2d |
verified |
analytic-heterogeneous-interface-convergence-and-equilibrium |
canonical-tensor-structure-operators-v1 |
Cargo: eqiora/conforming_elasticity_pair_2d |
whole-hard-link-graph-audit-before-read
| Case |
Status |
Reference |
Conformance kits |
Target |
artifacts.xdmf-hdf5-native-import |
verified |
checked-in-real-hdf5-source-exact-runtime-provenance-and-hostile-profile-corpus |
— |
Cargo: eqiora/xdmf_hdf5_native_import (features: hdf5; table: expected/source.sha256) |
wire-domain-digest-preservation
| Case |
Status |
Reference |
Conformance kits |
Target |
artifacts.model-reference-lineage |
verified |
explicit-wire-round-trip-and-cross-domain-rejection |
— |
Cargo: eqiora/model_artifact_reference_lineage |
xdmf-request-selector-validation
| Case |
Status |
Reference |
Conformance kits |
Target |
artifacts.xdmf-uniform-grid-import |
verified |
independently-readable-hdf5-source-exact-normalized-arrays-and-fail-closed-replay |
— |
Cargo: eqiora/xdmf_uniform_grid_import (features: xdmf; table: expected/source.sha256) |
xdmf3-temporal-collection-export
| Case |
Status |
Reference |
Conformance kits |
Target |
artifacts.xdmf-hdf5-remeshing-trajectory |
verified |
replayed-content-addressed-cpu-trajectory-and-native-hdf5-audit |
— |
Cargo: eqiora/remeshing_transfer_2d (features: faer, hdf5) |
zero-time-remesh-presentation-seam
| Case |
Status |
Reference |
Conformance kits |
Target |
artifacts.xdmf-hdf5-remeshing-trajectory |
verified |
replayed-content-addressed-cpu-trajectory-and-native-hdf5-audit |
— |
Cargo: eqiora/remeshing_transfer_2d (features: faer, hdf5) |
zero-time-zeno-diagnostic
| Case |
Status |
Reference |
Conformance kits |
Target |
hybrid.bouncing-ball |
implemented |
analytic-first-impact |
— |
Cargo: eqiora-sem/reference_event |