Skip to content

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

Case Status Reference Conformance kits Target
artifacts.fixed-reference-fsi-spatial-trajectory verified content-addressed-cpu-reference-spatial-trajectory Cargo: eqiora/fixed_reference_fsi_spatial_trajectory

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

Case Status Reference Conformance kits Target
differentiation.unstructured-shape-compliance verified independent-rebuild-centered-difference-and-continuous-series Cargo: eqiora/unstructured_shape_compliance

adjoint-gradient

Case Status Reference Conformance kits Target
differentiation.spatial-poisson-fem-fvm verified independent-centered-finite-difference Cargo: eqiora/spatial_poisson_differentiation

adjoint-shape-gradient

Case Status Reference Conformance kits Target
differentiation.spatial-shape-optimization verified independent-centered-finite-difference Cargo: eqiora/spatial_shape_optimization

affine-geometry-map-jvp

Case Status Reference Conformance kits Target
differentiation.spatial-shape-optimization verified independent-centered-finite-difference Cargo: eqiora/spatial_shape_optimization

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

Case Status Reference Conformance kits Target
numerics.physics-neutral-discrete-block-system verified structural-falsifier-and-existing-cpu-physics-regression Cargo: eqiora/fixed_reference_monolithic_fsi_step_2d

algebraic-constraint

Case Status Reference Conformance kits Target
time.general-implicit-dae verified analytic Cargo: eqiora/canonical_implicit_dae (table: expected/convergence.csv)

alias-file-formal-and-declaration-order-invariance

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

Case Status Reference Conformance kits Target
differentiation.spatial-poisson-fem-fvm verified independent-centered-finite-difference Cargo: eqiora/spatial_poisson_differentiation

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

Case Status Reference Conformance kits Target
fluid.fixed-domain-transient-navier-stokes-2d verified scaled-cpu-newton-krylov-step-doubling Cargo: eqiora/transient_mini_navier_stokes_2d (features: faer)

artifact-codec-independent-comparison

Case Status Reference Conformance kits Target
interfaces.structural-semantic-fingerprint verified public-rust-fingerprint-and-comparison Cargo: eqiora/structural_semantic_fingerprint

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

Case Status Reference Conformance kits Target
differentiation.spatial-poisson-fem-fvm verified independent-centered-finite-difference Cargo: eqiora/spatial_poisson_differentiation

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

Case Status Reference Conformance kits Target
fsi.fixed-reference-distributed-assembly-loopback-2d verified independent-complete-cpu-reference-assembly Cargo: eqiora/fixed_reference_fsi_distributed_assembly_loopback_2d

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

Case Status Reference Conformance kits Target
fsi.fixed-reference-distributed-assembly-loopback-2d verified independent-complete-cpu-reference-assembly Cargo: eqiora/fixed_reference_fsi_distributed_assembly_loopback_2d
fsi.fixed-reference-distributed-assembly-mpi-2d verified independent-complete-cpu-reference-assembly Cargo: eqiora/fixed_reference_fsi_distributed_assembly_mpi_2d (features: mpi)

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

Case Status Reference Conformance kits Target
fsi.fixed-reference-distributed-assembly-loopback-2d verified independent-complete-cpu-reference-assembly Cargo: eqiora/fixed_reference_fsi_distributed_assembly_loopback_2d
fsi.fixed-reference-distributed-assembly-mpi-2d verified independent-complete-cpu-reference-assembly Cargo: eqiora/fixed_reference_fsi_distributed_assembly_mpi_2d (features: mpi)

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

Case Status Reference Conformance kits Target
fluid.mixed-static-pressure-mini-stokes-2d verified exact-affine-pressure-facet-load-and-global-balance Cargo: eqiora/mixed_static_pressure_mini_stokes_2d

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

Case Status Reference Conformance kits Target
fsi.fixed-reference-distributed-assembly-mpi-2d verified independent-complete-cpu-reference-assembly Cargo: eqiora/fixed_reference_fsi_distributed_assembly_mpi_2d (features: mpi)

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

Case Status Reference Conformance kits Target
interfaces.structural-semantic-fingerprint verified public-rust-fingerprint-and-comparison Cargo: eqiora/structural_semantic_fingerprint

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)

bounded-xdmf-3-metadata-to-typed-import-plan

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

Case Status Reference Conformance kits Target
fluid.fixed-domain-transient-navier-stokes-2d verified scaled-cpu-newton-krylov-step-doubling Cargo: eqiora/transient_mini_navier_stokes_2d (features: faer)

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

Case Status Reference Conformance kits Target
numerics.physics-neutral-discrete-block-system verified structural-falsifier-and-existing-cpu-physics-regression Cargo: eqiora/fixed_reference_monolithic_fsi_step_2d

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

Case Status Reference Conformance kits Target
fsi.fixed-reference-distributed-assembly-loopback-2d verified independent-complete-cpu-reference-assembly Cargo: eqiora/fixed_reference_fsi_distributed_assembly_loopback_2d

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

Case Status Reference Conformance kits Target
hybrid.packaged-dc-motor-controller verified exact-sampled-linear-state-transition Cargo: eqiora/packaged_dc_motor_controller
packages.offline-model-package verified canonical-package-identities-provenance-and-analytic-dc Cargo: eqiora/offline_model_package

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

Case Status Reference Conformance kits Target
differentiation.spatial-poisson-fem-fvm verified independent-centered-finite-difference Cargo: eqiora/spatial_poisson_differentiation

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

capability-rooted-package-directory-input

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
fluid.cartesian-periodic-transport-fvm-2d verified transverse-spectral-oracle-and-nonsymmetric-seam-basis-action Cargo: eqiora-numerics/canonical_transport

cartesian-q1-one-through-three-dimensional-conformance

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

Case Status Reference Conformance kits Target
differentiation.unstructured-shape-compliance verified independent-rebuild-centered-difference-and-continuous-series Cargo: eqiora/unstructured_shape_compliance

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

Case Status Reference Conformance kits Target
numerics.physics-neutral-discrete-block-system verified structural-falsifier-and-existing-cpu-physics-regression Cargo: eqiora/fixed_reference_monolithic_fsi_step_2d

checked-assembly-target-membership

Case Status Reference Conformance kits Target
numerics.physics-neutral-discrete-block-system verified structural-falsifier-and-existing-cpu-physics-regression Cargo: eqiora/fixed_reference_monolithic_fsi_step_2d

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

Case Status Reference Conformance kits Target
differentiation.checkpointed-trajectory-adjoint verified centered-finite-difference Cargo: eqiora/checkpointed_trajectory_adjoint

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

Case Status Reference Conformance kits Target
interfaces.structural-semantic-fingerprint verified public-rust-fingerprint-and-comparison Cargo: eqiora/structural_semantic_fingerprint

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

Case Status Reference Conformance kits Target
artifacts.fixed-reference-fsi-spatial-trajectory verified content-addressed-cpu-reference-spatial-trajectory Cargo: eqiora/fixed_reference_fsi_spatial_trajectory

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

Case Status Reference Conformance kits Target
differentiation.spatial-poisson-fem-fvm verified independent-centered-finite-difference Cargo: eqiora/spatial_poisson_differentiation

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

Case Status Reference Conformance kits Target
differentiation.spatial-poisson-fem-fvm verified independent-centered-finite-difference Cargo: eqiora/spatial_poisson_differentiation

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

Case Status Reference Conformance kits Target
fluid.cartesian-periodic-transport-fvm-2d verified transverse-spectral-oracle-and-nonsymmetric-seam-basis-action Cargo: eqiora-numerics/canonical_transport

consistent-initial-restoration

Case Status Reference Conformance kits Target
hybrid.packaged-dc-motor-controller verified exact-sampled-linear-state-transition Cargo: eqiora/packaged_dc_motor_controller

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

Case Status Reference Conformance kits Target
hybrid.packaged-dc-motor-controller verified exact-sampled-linear-state-transition Cargo: eqiora/packaged_dc_motor_controller

constitutive-parameter-action

Case Status Reference Conformance kits Target
differentiation.spatial-poisson-fem-fvm verified independent-centered-finite-difference Cargo: eqiora/spatial_poisson_differentiation

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

Case Status Reference Conformance kits Target
geometry.fixed-reference-interface-identity-2d verified fixed-reference-two-body-incidence-and-revision-lineage Cargo: eqiora-artifact/geometry_identity_fsi_2d

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

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)
numerics.cartesian-poisson-fem-fvm verified analytic Cargo: eqiora-numerics/cartesian_poisson_fem_fvm (table: expected/convergence.csv)

continuous-rectangle-series-comparison

Case Status Reference Conformance kits Target
differentiation.unstructured-shape-compliance verified independent-rebuild-centered-difference-and-continuous-series Cargo: eqiora/unstructured_shape_compliance

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

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)
numerics.cartesian-poisson-fem-fvm verified analytic Cargo: eqiora-numerics/cartesian_poisson_fem_fvm (table: expected/convergence.csv)
numerics.poisson-fem-fvm verified analytic Cargo: eqiora-numerics/poisson_fem_fvm (table: expected/convergence.csv)

coordinate-and-parameter-expression-jvp

Case Status Reference Conformance kits Target
differentiation.spatial-shape-optimization verified independent-centered-finite-difference Cargo: eqiora/spatial_shape_optimization

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

cpu-f64-dlpack-input-staging

Case Status Reference Conformance kits Target
interfaces.python-differentiation verified centered-finite-difference-and-jvp-vjp-duality Cargo: eqiora-python/python_differentiation

cpu-f64-input-staging

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

Case Status Reference Conformance kits Target
fluid.fixed-domain-transient-navier-stokes-2d verified scaled-cpu-newton-krylov-step-doubling Cargo: eqiora/transient_mini_navier_stokes_2d (features: faer)

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

Case Status Reference Conformance kits Target
fsi.fixed-reference-distributed-assembly-loopback-2d verified independent-complete-cpu-reference-assembly Cargo: eqiora/fixed_reference_fsi_distributed_assembly_loopback_2d

deterministic-component-flattening

Case Status Reference Conformance kits Target
hybrid.packaged-dc-motor-controller verified exact-sampled-linear-state-transition Cargo: eqiora/packaged_dc_motor_controller

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

Case Status Reference Conformance kits Target
hybrid.packaged-dc-motor-controller verified exact-sampled-linear-state-transition Cargo: eqiora/packaged_dc_motor_controller

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

Case Status Reference Conformance kits Target
fluid.fixed-domain-transient-navier-stokes-2d verified scaled-cpu-newton-krylov-step-doubling Cargo: eqiora/transient_mini_navier_stokes_2d (features: faer)

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

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)
numerics.cartesian-poisson-fem-fvm verified analytic Cargo: eqiora-numerics/cartesian_poisson_fem_fvm (table: expected/convergence.csv)
numerics.poisson-fem-fvm verified analytic Cargo: eqiora-numerics/poisson_fem_fvm (table: expected/convergence.csv)

discrete-step-residual

Case Status Reference Conformance kits Target
differentiation.discrete-implicit-step verified analytic-and-centered-finite-difference Cargo: eqiora/discrete_time_differentiation

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

Case Status Reference Conformance kits Target
hybrid.packaged-dc-motor-controller verified exact-sampled-linear-state-transition Cargo: eqiora/packaged_dc_motor_controller

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

Case Status Reference Conformance kits Target
fluid.fixed-domain-transient-navier-stokes-2d verified scaled-cpu-newton-krylov-step-doubling Cargo: eqiora/transient_mini_navier_stokes_2d (features: faer)

equal-primal-distinct-derivative-falsifier

Case Status Reference Conformance kits Target
differentiation.spatial-poisson-fem-fvm verified independent-centered-finite-difference Cargo: eqiora/spatial_poisson_differentiation

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

Case Status Reference Conformance kits Target
fsi.fixed-reference-distributed-assembly-loopback-2d verified independent-complete-cpu-reference-assembly Cargo: eqiora/fixed_reference_fsi_distributed_assembly_loopback_2d
fsi.fixed-reference-distributed-assembly-mpi-2d verified independent-complete-cpu-reference-assembly Cargo: eqiora/fixed_reference_fsi_distributed_assembly_mpi_2d (features: mpi)

essential-bc

Case Status Reference Conformance kits Target
solid.axial-bar verified analytic Cargo: eqiora-numerics/canonical_axial_bar

essential-boundary-parameter-action

Case Status Reference Conformance kits Target
differentiation.spatial-poisson-fem-fvm verified independent-centered-finite-difference Cargo: eqiora/spatial_poisson_differentiation

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

Case Status Reference Conformance kits Target
interfaces.structural-semantic-fingerprint verified public-rust-fingerprint-and-comparison Cargo: eqiora/structural_semantic_fingerprint

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

exact-conforming-mini-p1-velocity-trace-quotient

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

Case Status Reference Conformance kits Target
differentiation.spatial-poisson-fem-fvm verified independent-centered-finite-difference Cargo: eqiora/spatial_poisson_differentiation

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

Case Status Reference Conformance kits Target
geometry.fixed-reference-interface-identity-2d verified fixed-reference-two-body-incidence-and-revision-lineage Cargo: eqiora-artifact/geometry_identity_fsi_2d

exact-model-realization-bound-program

Case Status Reference Conformance kits Target
differentiation.spatial-poisson-fem-fvm verified independent-centered-finite-difference Cargo: eqiora/spatial_poisson_differentiation

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

Case Status Reference Conformance kits Target
fluid.mixed-static-pressure-mini-stokes-2d verified exact-affine-pressure-facet-load-and-global-balance Cargo: eqiora/mixed_static_pressure_mini_stokes_2d

exact-offline-model-package-graph

Case Status Reference Conformance kits Target
hybrid.packaged-dc-motor-controller verified exact-sampled-linear-state-transition Cargo: eqiora/packaged_dc_motor_controller

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

Case Status Reference Conformance kits Target
hybrid.packaged-dc-motor-controller verified exact-sampled-linear-state-transition Cargo: eqiora/packaged_dc_motor_controller
packages.offline-model-package verified canonical-package-identities-provenance-and-analytic-dc Cargo: eqiora/offline_model_package

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

Case Status Reference Conformance kits Target
numerics.physics-neutral-discrete-block-system verified structural-falsifier-and-existing-cpu-physics-regression Cargo: eqiora/fixed_reference_monolithic_fsi_step_2d

exact-periodic-sample-and-hold

Case Status Reference Conformance kits Target
hybrid.packaged-dc-motor-controller verified exact-sampled-linear-state-transition Cargo: eqiora/packaged_dc_motor_controller

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

Case Status Reference Conformance kits Target
geometry.fixed-reference-interface-identity-2d verified fixed-reference-two-body-incidence-and-revision-lineage Cargo: eqiora-artifact/geometry_identity_fsi_2d

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

Case Status Reference Conformance kits Target
fsi.fixed-reference-distributed-assembly-loopback-2d verified independent-complete-cpu-reference-assembly Cargo: eqiora/fixed_reference_fsi_distributed_assembly_loopback_2d
fsi.fixed-reference-distributed-assembly-mpi-2d verified independent-complete-cpu-reference-assembly Cargo: eqiora/fixed_reference_fsi_distributed_assembly_mpi_2d (features: mpi)

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

Case Status Reference Conformance kits Target
fsi.fixed-reference-distributed-assembly-loopback-2d verified independent-complete-cpu-reference-assembly Cargo: eqiora/fixed_reference_fsi_distributed_assembly_loopback_2d

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

Case Status Reference Conformance kits Target
differentiation.unstructured-shape-compliance verified independent-rebuild-centered-difference-and-continuous-series Cargo: eqiora/unstructured_shape_compliance

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

Case Status Reference Conformance kits Target
differentiation.checkpointed-trajectory-adjoint verified centered-finite-difference Cargo: eqiora/checkpointed_trajectory_adjoint

explicit-model-v1-v5-replayable-geometry-boundary

Case Status Reference Conformance kits Target
geometry.fixed-reference-interface-identity-2d verified fixed-reference-two-body-incidence-and-revision-lineage Cargo: eqiora-artifact/geometry_identity_fsi_2d

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

Case Status Reference Conformance kits Target
differentiation.spatial-poisson-fem-fvm verified independent-centered-finite-difference Cargo: eqiora/spatial_poisson_differentiation

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

Case Status Reference Conformance kits Target
differentiation.discrete-implicit-step verified analytic-and-centered-finite-difference Cargo: eqiora/discrete_time_differentiation

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

Case Status Reference Conformance kits Target
differentiation.checkpointed-trajectory-adjoint verified centered-finite-difference Cargo: eqiora/checkpointed_trajectory_adjoint

explicit-total-one-to-one-revision-retention

Case Status Reference Conformance kits Target
geometry.fixed-reference-interface-identity-2d verified fixed-reference-two-body-incidence-and-revision-lineage Cargo: eqiora-artifact/geometry_identity_fsi_2d

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

Case Status Reference Conformance kits Target
numerics.linear-backends verified independent-backend-and-analytic Cargo: eqiora/faer_spatial
numerics.preconditioner-stress verified manufactured-congruence-scaled-diffusion Cargo: eqiora/preconditioner_stress

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

Case Status Reference Conformance kits Target
differentiation.spatial-poisson-fem-fvm verified independent-centered-finite-difference Cargo: eqiora/spatial_poisson_differentiation
interfaces.python-differentiation verified centered-finite-difference-and-jvp-vjp-duality Cargo: eqiora-python/python_differentiation

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

Case Status Reference Conformance kits Target
fluid.fixed-domain-transient-navier-stokes-2d verified scaled-cpu-newton-krylov-step-doubling Cargo: eqiora/transient_mini_navier_stokes_2d (features: faer)

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

Case Status Reference Conformance kits Target
differentiation.spatial-poisson-fem-fvm verified independent-centered-finite-difference Cargo: eqiora/spatial_poisson_differentiation

forward-shape-sensitivity

Case Status Reference Conformance kits Target
differentiation.spatial-shape-optimization verified independent-centered-finite-difference Cargo: eqiora/spatial_shape_optimization
differentiation.unstructured-shape-compliance verified independent-rebuild-centered-difference-and-continuous-series Cargo: eqiora/unstructured_shape_compliance

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

Case Status Reference Conformance kits Target
geometry.fixed-reference-interface-identity-2d verified fixed-reference-two-body-incidence-and-revision-lineage Cargo: eqiora-artifact/geometry_identity_fsi_2d

global-conservation

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)
numerics.cartesian-poisson-fem-fvm verified analytic Cargo: eqiora-numerics/cartesian_poisson_fem_fvm (table: expected/convergence.csv)
numerics.poisson-fem-fvm verified analytic Cargo: eqiora-numerics/poisson_fem_fvm (table: expected/convergence.csv)

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

Case Status Reference Conformance kits Target
differentiation.spatial-shape-optimization verified independent-centered-finite-difference Cargo: eqiora/spatial_shape_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

Case Status Reference Conformance kits Target
artifacts.fixed-reference-fsi-spatial-trajectory verified content-addressed-cpu-reference-spatial-trajectory Cargo: eqiora/fixed_reference_fsi_spatial_trajectory

immutable-selected-parameter-point-binding

Case Status Reference Conformance kits Target
differentiation.spatial-poisson-fem-fvm verified independent-centered-finite-difference Cargo: eqiora/spatial_poisson_differentiation

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

Case Status Reference Conformance kits Target
differentiation.discrete-implicit-step verified analytic-and-centered-finite-difference Cargo: eqiora/discrete_time_differentiation

implicit-step-forward-sensitivity

Case Status Reference Conformance kits Target
differentiation.discrete-implicit-step verified analytic-and-centered-finite-difference Cargo: eqiora/discrete_time_differentiation

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

Case Status Reference Conformance kits Target
differentiation.spatial-poisson-fem-fvm verified independent-centered-finite-difference Cargo: eqiora/spatial_poisson_differentiation

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

Case Status Reference Conformance kits Target
differentiation.unstructured-shape-compliance verified independent-rebuild-centered-difference-and-continuous-series Cargo: eqiora/unstructured_shape_compliance

independent-recompiled-centered-finite-difference

Case Status Reference Conformance kits Target
differentiation.spatial-shape-optimization verified independent-centered-finite-difference Cargo: eqiora/spatial_shape_optimization

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)

independent-serial-reference-conformance

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

Case Status Reference Conformance kits Target
differentiation.spatial-poisson-fem-fvm verified independent-centered-finite-difference Cargo: eqiora/spatial_poisson_differentiation

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

Case Status Reference Conformance kits Target
hybrid.packaged-dc-motor-controller verified exact-sampled-linear-state-transition Cargo: eqiora/packaged_dc_motor_controller

jvp-vjp-duality

Case Status Reference Conformance kits Target
differentiation.implicit-relation verified analytic-and-centered-finite-difference Cargo: eqiora/implicit_differentiation
differentiation.spatial-poisson-fem-fvm verified independent-centered-finite-difference Cargo: eqiora/spatial_poisson_differentiation
interfaces.python-differentiation verified centered-finite-difference-and-jvp-vjp-duality Cargo: eqiora-python/python_differentiation

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

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
hybrid.packaged-dc-motor-controller verified exact-sampled-linear-state-transition Cargo: eqiora/packaged_dc_motor_controller

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

Case Status Reference Conformance kits Target
artifacts.fixed-reference-fsi-spatial-trajectory verified content-addressed-cpu-reference-spatial-trajectory Cargo: eqiora/fixed_reference_fsi_spatial_trajectory

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)

malformed-input-and-resource-limit-rejection

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

Case Status Reference Conformance kits Target
artifacts.fixed-reference-fsi-spatial-trajectory verified content-addressed-cpu-reference-spatial-trajectory Cargo: eqiora/fixed_reference_fsi_spatial_trajectory

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

Case Status Reference Conformance kits Target
fluid.fixed-domain-transient-navier-stokes-2d verified scaled-cpu-newton-krylov-step-doubling Cargo: eqiora/transient_mini_navier_stokes_2d (features: faer)

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

Case Status Reference Conformance kits Target
fluid.cartesian-periodic-transport-fvm-2d verified transverse-spectral-oracle-and-nonsymmetric-seam-basis-action Cargo: eqiora-numerics/canonical_transport

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

Case Status Reference Conformance kits Target
differentiation.checkpointed-trajectory-adjoint verified centered-finite-difference Cargo: eqiora/checkpointed_trajectory_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

Case Status Reference Conformance kits Target
hybrid.packaged-dc-motor-controller verified exact-sampled-linear-state-transition Cargo: eqiora/packaged_dc_motor_controller

nominal-identity-and-rewiring-falsifiers

Case Status Reference Conformance kits Target
interfaces.structural-semantic-fingerprint verified public-rust-fingerprint-and-comparison Cargo: eqiora/structural_semantic_fingerprint

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

Case Status Reference Conformance kits Target
differentiation.spatial-poisson-fem-fvm verified independent-centered-finite-difference Cargo: eqiora/spatial_poisson_differentiation

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

Case Status Reference Conformance kits Target
differentiation.discrete-implicit-step verified analytic-and-centered-finite-difference Cargo: eqiora/discrete_time_differentiation
differentiation.implicit-relation verified analytic-and-centered-finite-difference Cargo: eqiora/implicit_differentiation

normal-transposed-solve-provenance

Case Status Reference Conformance kits Target
differentiation.spatial-poisson-fem-fvm verified independent-centered-finite-difference Cargo: eqiora/spatial_poisson_differentiation

normalized-block-identity

Case Status Reference Conformance kits Target
numerics.physics-neutral-discrete-block-system verified structural-falsifier-and-existing-cpu-physics-regression Cargo: eqiora/fixed_reference_monolithic_fsi_step_2d

normalized-cpu-cuda-field-conformance

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)

normalized-cpu-mpi-cuda-field-conformance

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)

normalized-cpu-mpi-field-conformance

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

Case Status Reference Conformance kits Target
fsi.fixed-reference-distributed-assembly-loopback-2d verified independent-complete-cpu-reference-assembly Cargo: eqiora/fixed_reference_fsi_distributed_assembly_loopback_2d

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

Case Status Reference Conformance kits Target
fsi.fixed-reference-distributed-assembly-mpi-2d verified independent-complete-cpu-reference-assembly Cargo: eqiora/fixed_reference_fsi_distributed_assembly_mpi_2d (features: mpi)
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)

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

Case Status Reference Conformance kits Target
fluid.mixed-static-pressure-mini-stokes-2d verified exact-affine-pressure-facet-load-and-global-balance Cargo: eqiora/mixed_static_pressure_mini_stokes_2d

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

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)
numerics.cartesian-poisson-fem-fvm verified analytic Cargo: eqiora-numerics/cartesian_poisson_fem_fvm (table: expected/convergence.csv)

orthogonality-preserving-cartesian-mesh-motion

Case Status Reference Conformance kits Target
differentiation.spatial-shape-optimization verified independent-centered-finite-difference Cargo: eqiora/spatial_shape_optimization

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

Case Status Reference Conformance kits Target
fsi.fixed-reference-distributed-assembly-loopback-2d verified independent-complete-cpu-reference-assembly Cargo: eqiora/fixed_reference_fsi_distributed_assembly_loopback_2d
fsi.fixed-reference-distributed-assembly-mpi-2d verified independent-complete-cpu-reference-assembly Cargo: eqiora/fixed_reference_fsi_distributed_assembly_mpi_2d (features: mpi)

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

Case Status Reference Conformance kits Target
differentiation.spatial-poisson-fem-fvm verified independent-centered-finite-difference Cargo: eqiora/spatial_poisson_differentiation

p1-fem-simplex-residual-action

Case Status Reference Conformance kits Target
differentiation.unstructured-shape-compliance verified independent-rebuild-centered-difference-and-continuous-series Cargo: eqiora/unstructured_shape_compliance

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

Case Status Reference Conformance kits Target
differentiation.spatial-poisson-fem-fvm verified independent-centered-finite-difference Cargo: eqiora/spatial_poisson_differentiation

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

Case Status Reference Conformance kits Target
geometry.fixed-reference-interface-identity-2d verified fixed-reference-two-body-incidence-and-revision-lineage Cargo: eqiora-artifact/geometry_identity_fsi_2d

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

Case Status Reference Conformance kits Target
fluid.cartesian-periodic-transport-fvm-2d verified transverse-spectral-oracle-and-nonsymmetric-seam-basis-action Cargo: eqiora-numerics/canonical_transport

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

Case Status Reference Conformance kits Target
fsi.fixed-reference-distributed-assembly-mpi-2d verified independent-complete-cpu-reference-assembly Cargo: eqiora/fixed_reference_fsi_distributed_assembly_mpi_2d (features: mpi)

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

Case Status Reference Conformance kits Target
numerics.physics-neutral-discrete-block-system verified structural-falsifier-and-existing-cpu-physics-regression Cargo: eqiora/fixed_reference_monolithic_fsi_step_2d

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

Case Status Reference Conformance kits Target
interfaces.python-reference-run-lifecycle verified in-process-pyo3-and-installed-wheel-lifecycle-falsifiers Cargo: eqiora-python/python_run_lifecycle

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

Case Status Reference Conformance kits Target
interfaces.python-scalar-elliptic-realization verified public-rust-application-service-through-pyo3 Cargo: eqiora-python/python_scalar_elliptic_realization

python-cartesian-field-logical-shape-1d-through-3d

Case Status Reference Conformance kits Target
interfaces.python-scalar-elliptic-realization verified public-rust-application-service-through-pyo3 Cargo: eqiora-python/python_scalar_elliptic_realization

python-coalesced-progress

Case Status Reference Conformance kits Target
interfaces.python-reference-run-lifecycle verified in-process-pyo3-and-installed-wheel-lifecycle-falsifiers Cargo: eqiora-python/python_run_lifecycle

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

Case Status Reference Conformance kits Target
interfaces.python-scalar-elliptic-realization verified public-rust-application-service-through-pyo3 Cargo: eqiora-python/python_scalar_elliptic_realization

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

Case Status Reference Conformance kits Target
interfaces.python-scalar-elliptic-realization verified public-rust-application-service-through-pyo3 Cargo: eqiora-python/python_scalar_elliptic_realization

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

Case Status Reference Conformance kits Target
interfaces.python-reference-run-lifecycle verified in-process-pyo3-and-installed-wheel-lifecycle-falsifiers Cargo: eqiora-python/python_run_lifecycle

python-host-serial-fem-fvm-run

Case Status Reference Conformance kits Target
interfaces.python-scalar-elliptic-realization verified public-rust-application-service-through-pyo3 Cargo: eqiora-python/python_scalar_elliptic_realization

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

Case Status Reference Conformance kits Target
interfaces.python-jax-differentiation verified eqiora-primal-jvp-vjp python-installed-wheel: tools/ci/python_jax_gate.py

python-jax-installed-wheel

Case Status Reference Conformance kits Target
interfaces.python-jax-differentiation verified eqiora-primal-jvp-vjp python-installed-wheel: tools/ci/python_jax_gate.py

python-jax-jit-custom-call

Case Status Reference Conformance kits Target
interfaces.python-jax-differentiation verified eqiora-primal-jvp-vjp python-installed-wheel: tools/ci/python_jax_gate.py

python-jax-static-abstract-evaluation

Case Status Reference Conformance kits Target
interfaces.python-jax-differentiation verified eqiora-primal-jvp-vjp python-installed-wheel: tools/ci/python_jax_gate.py

python-jax-typed-ffi

Case Status Reference Conformance kits Target
interfaces.python-jax-differentiation verified eqiora-primal-jvp-vjp python-installed-wheel: tools/ci/python_jax_gate.py

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

Case Status Reference Conformance kits Target
interfaces.python-reference-run-lifecycle verified in-process-pyo3-and-installed-wheel-lifecycle-falsifiers Cargo: eqiora-python/python_run_lifecycle

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

Case Status Reference Conformance kits Target
interfaces.python-scalar-elliptic-realization verified public-rust-application-service-through-pyo3 Cargo: eqiora-python/python_scalar_elliptic_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

Case Status Reference Conformance kits Target
interfaces.python-scalar-elliptic-realization verified public-rust-application-service-through-pyo3 Cargo: eqiora-python/python_scalar_elliptic_realization

python-pytorch-fake-kernel

Case Status Reference Conformance kits Target
interfaces.python-pytorch-differentiation verified eqiora-vjp-and-centered-finite-difference python-installed-wheel: tools/ci/python_torch_gate.py

python-pytorch-fullgraph-compile

Case Status Reference Conformance kits Target
interfaces.python-pytorch-differentiation verified eqiora-vjp-and-centered-finite-difference python-installed-wheel: tools/ci/python_torch_gate.py

python-pytorch-functional-custom-operator

Case Status Reference Conformance kits Target
interfaces.python-pytorch-differentiation verified eqiora-vjp-and-centered-finite-difference python-installed-wheel: tools/ci/python_torch_gate.py

python-pytorch-installed-wheel

Case Status Reference Conformance kits Target
interfaces.python-pytorch-differentiation verified eqiora-vjp-and-centered-finite-difference python-installed-wheel: tools/ci/python_torch_gate.py

python-pytorch-registered-vjp-autograd

Case Status Reference Conformance kits Target
interfaces.python-pytorch-differentiation verified eqiora-vjp-and-centered-finite-difference python-installed-wheel: tools/ci/python_torch_gate.py

python-realization-linkage-fail-closed

Case Status Reference Conformance kits Target
interfaces.python-scalar-elliptic-realization verified public-rust-application-service-through-pyo3 Cargo: eqiora-python/python_scalar_elliptic_realization

python-realization-preview-before-numerical-allocation

Case Status Reference Conformance kits Target
interfaces.python-scalar-elliptic-realization verified public-rust-application-service-through-pyo3 Cargo: eqiora-python/python_scalar_elliptic_realization

python-reference-run-lifecycle

Case Status Reference Conformance kits Target
interfaces.python-reference-run-lifecycle verified in-process-pyo3-and-installed-wheel-lifecycle-falsifiers Cargo: eqiora-python/python_run_lifecycle

python-result-owner-independent-read-only-numpy-view

Case Status Reference Conformance kits Target
interfaces.python-scalar-elliptic-realization verified public-rust-application-service-through-pyo3 Cargo: eqiora-python/python_scalar_elliptic_realization

python-scalar-elliptic-safe-point-cancellation

Case Status Reference Conformance kits Target
interfaces.python-scalar-elliptic-realization verified public-rust-application-service-through-pyo3 Cargo: eqiora-python/python_scalar_elliptic_realization

python-scalar-elliptic-summary-evidence

Case Status Reference Conformance kits Target
interfaces.python-scalar-elliptic-realization verified public-rust-application-service-through-pyo3 Cargo: eqiora-python/python_scalar_elliptic_realization

python-scalar-elliptic-sync-await-parity

Case Status Reference Conformance kits Target
interfaces.python-scalar-elliptic-realization verified public-rust-application-service-through-pyo3 Cargo: eqiora-python/python_scalar_elliptic_realization

python-scalar-elliptic-three-phase-progress

Case Status Reference Conformance kits Target
interfaces.python-scalar-elliptic-realization verified public-rust-application-service-through-pyo3 Cargo: eqiora-python/python_scalar_elliptic_realization

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

Case Status Reference Conformance kits Target
interfaces.python-scalar-elliptic-realization verified public-rust-application-service-through-pyo3 Cargo: eqiora-python/python_scalar_elliptic_realization

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

Case Status Reference Conformance kits Target
interfaces.python-reference-run-lifecycle verified in-process-pyo3-and-installed-wheel-lifecycle-falsifiers Cargo: eqiora-python/python_run_lifecycle

python-typed-scalar-elliptic-request

Case Status Reference Conformance kits Target
interfaces.python-scalar-elliptic-realization verified public-rust-application-service-through-pyo3 Cargo: eqiora-python/python_scalar_elliptic_realization

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

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)
numerics.cartesian-poisson-fem-fvm verified analytic Cargo: eqiora-numerics/cartesian_poisson_fem_fvm (table: expected/convergence.csv)

q1-fem-discrete-shape-action

Case Status Reference Conformance kits Target
differentiation.spatial-shape-optimization verified independent-centered-finite-difference Cargo: eqiora/spatial_shape_optimization

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

Case Status Reference Conformance kits Target
differentiation.spatial-poisson-fem-fvm verified independent-centered-finite-difference Cargo: eqiora/spatial_poisson_differentiation

quadrature-defined-continuous-field-compliance

Case Status Reference Conformance kits Target
differentiation.unstructured-shape-compliance verified independent-rebuild-centered-difference-and-continuous-series Cargo: eqiora/unstructured_shape_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

Case Status Reference Conformance kits Target
fsi.fixed-reference-distributed-assembly-mpi-2d verified independent-complete-cpu-reference-assembly Cargo: eqiora/fixed_reference_fsi_distributed_assembly_mpi_2d (features: mpi)

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

Case Status Reference Conformance kits Target
fsi.fixed-reference-distributed-assembly-mpi-2d verified independent-complete-cpu-reference-assembly Cargo: eqiora/fixed_reference_fsi_distributed_assembly_mpi_2d (features: mpi)

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

realization-owned-conforming-interface-map

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.linear-backends verified independent-backend-and-analytic Cargo: eqiora/faer_spatial
numerics.preconditioner-stress verified manufactured-congruence-scaled-diffusion Cargo: eqiora/preconditioner_stress

reference-cpu-conformance-tolerance

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

Case Status Reference Conformance kits Target
artifacts.fixed-reference-fsi-spatial-trajectory verified content-addressed-cpu-reference-spatial-trajectory Cargo: eqiora/fixed_reference_fsi_spatial_trajectory

reference-quadrature

Case Status Reference Conformance kits Target
numerics.poisson-fem-fvm verified analytic Cargo: eqiora-numerics/poisson_fem_fvm (table: expected/convergence.csv)

reference-writer-nonsemantic-information-metadata

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

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)
numerics.cartesian-poisson-fem-fvm verified analytic Cargo: eqiora-numerics/cartesian_poisson_fem_fvm (table: expected/convergence.csv)

runtime-dimensional-simplicial-topology

Case Status Reference Conformance kits Target
differentiation.unstructured-shape-compliance verified independent-rebuild-centered-difference-and-continuous-series Cargo: eqiora/unstructured_shape_compliance

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

Case Status Reference Conformance kits Target
differentiation.unstructured-shape-compliance verified independent-rebuild-centered-difference-and-continuous-series Cargo: eqiora/unstructured_shape_compliance

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

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)
numerics.cartesian-poisson-fem-fvm verified analytic Cargo: eqiora-numerics/cartesian_poisson_fem_fvm (table: expected/convergence.csv)
numerics.poisson-fem-fvm verified analytic Cargo: eqiora-numerics/poisson_fem_fvm (table: expected/convergence.csv)

shared-finalized-linear-solution-reacceptance

Case Status Reference Conformance kits Target
numerics.physics-neutral-discrete-block-system verified structural-falsifier-and-existing-cpu-physics-regression Cargo: eqiora/fixed_reference_monolithic_fsi_step_2d

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

Case Status Reference Conformance kits Target
interfaces.structural-semantic-fingerprint verified public-rust-fingerprint-and-comparison Cargo: eqiora/structural_semantic_fingerprint

source-parameter-action

Case Status Reference Conformance kits Target
differentiation.spatial-poisson-fem-fvm verified independent-centered-finite-difference Cargo: eqiora/spatial_poisson_differentiation

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

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)
numerics.cartesian-poisson-fem-fvm verified analytic Cargo: eqiora-numerics/cartesian_poisson_fem_fvm (table: expected/convergence.csv)
numerics.poisson-fem-fvm verified analytic Cargo: eqiora-numerics/poisson_fem_fvm (table: expected/convergence.csv)

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

Case Status Reference Conformance kits Target
fluid.cartesian-periodic-transport-fvm-2d verified transverse-spectral-oracle-and-nonsymmetric-seam-basis-action Cargo: eqiora-numerics/canonical_transport

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

Case Status Reference Conformance kits Target
differentiation.spatial-poisson-fem-fvm verified independent-centered-finite-difference Cargo: eqiora/spatial_poisson_differentiation

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

Case Status Reference Conformance kits Target
differentiation.discrete-implicit-step verified analytic-and-centered-finite-difference Cargo: eqiora/discrete_time_differentiation

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

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)
numerics.cartesian-poisson-fem-fvm verified analytic Cargo: eqiora-numerics/cartesian_poisson_fem_fvm (table: expected/convergence.csv)

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

Case Status Reference Conformance kits Target
differentiation.spatial-shape-optimization verified independent-centered-finite-difference Cargo: eqiora/spatial_shape_optimization

tpfa-fvm-parameter-assembly

Case Status Reference Conformance kits Target
differentiation.spatial-poisson-fem-fvm verified independent-centered-finite-difference Cargo: eqiora/spatial_poisson_differentiation

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

Case Status Reference Conformance kits Target
differentiation.checkpointed-trajectory-adjoint verified centered-finite-difference Cargo: eqiora/checkpointed_trajectory_adjoint

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

Case Status Reference Conformance kits Target
differentiation.checkpointed-trajectory-adjoint verified centered-finite-difference Cargo: eqiora/checkpointed_trajectory_adjoint

transverse-periodic-spectral-convergence

Case Status Reference Conformance kits Target
fluid.cartesian-periodic-transport-fvm-2d verified transverse-spectral-oracle-and-nonsymmetric-seam-basis-action Cargo: eqiora-numerics/canonical_transport

true-residual-acceptance

Case Status Reference Conformance kits Target
numerics.linear-backends verified independent-backend-and-analytic Cargo: eqiora/faer_spatial
numerics.preconditioner-stress verified manufactured-congruence-scaled-diffusion Cargo: eqiora/preconditioner_stress

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

Case Status Reference Conformance kits Target
interfaces.structural-semantic-fingerprint verified public-rust-fingerprint-and-comparison Cargo: eqiora/structural_semantic_fingerprint

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-essential-backward-euler-and-trace-quotient-transformations

Case Status Reference Conformance kits Target
numerics.physics-neutral-discrete-block-system verified structural-falsifier-and-existing-cpu-physics-regression Cargo: eqiora/fixed_reference_monolithic_fsi_step_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

typed-local-scalar-input-slots-without-semantic-placeholders

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

Case Status Reference Conformance kits Target
fluid.fixed-domain-transient-navier-stokes-2d verified scaled-cpu-newton-krylov-step-doubling Cargo: eqiora/transient_mini_navier_stokes_2d (features: faer)

typed-portable-realization-dag

Case Status Reference Conformance kits Target
fluid.fixed-domain-transient-navier-stokes-2d verified scaled-cpu-newton-krylov-step-doubling Cargo: eqiora/transient_mini_navier_stokes_2d (features: faer)

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

Case Status Reference Conformance kits Target
differentiation.unstructured-shape-compliance verified independent-rebuild-centered-difference-and-continuous-series Cargo: eqiora/unstructured_shape_compliance

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

Case Status Reference Conformance kits Target
differentiation.spatial-shape-optimization verified independent-centered-finite-difference Cargo: eqiora/spatial_shape_optimization

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

Case Status Reference Conformance kits Target
fluid.fixed-domain-transient-navier-stokes-2d verified scaled-cpu-newton-krylov-step-doubling Cargo: eqiora/transient_mini_navier_stokes_2d (features: faer)

unaccepted-step-rejection

Case Status Reference Conformance kits Target
differentiation.discrete-implicit-step verified analytic-and-centered-finite-difference Cargo: eqiora/discrete_time_differentiation

unchanged-canonical-fsi-acceptance

Case Status Reference Conformance kits Target
fsi.fixed-reference-distributed-assembly-loopback-2d verified independent-complete-cpu-reference-assembly Cargo: eqiora/fixed_reference_fsi_distributed_assembly_loopback_2d
fsi.fixed-reference-distributed-assembly-mpi-2d verified independent-complete-cpu-reference-assembly Cargo: eqiora/fixed_reference_fsi_distributed_assembly_mpi_2d (features: mpi)

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

uniform-tri3-xy-mesh-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)

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)

unrelated-relation-lowering-isolation

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

Case Status Reference Conformance kits Target
differentiation.checkpointed-trajectory-adjoint verified centered-finite-difference Cargo: eqiora/checkpointed_trajectory_adjoint

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

waited-input-action-output-completion-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)

waited-input-solve-and-output-fences

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
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