soniumMeshes, MeshLang & interchange · 89
Mesh validity and refinement, the MeshLang geometry compiler, and XEM schema envelopes with cross-language interop. Method shown on hover; tolerance is the pass gate. back to QA
| Case | Tier | Reference | Gate |
|---|---|---|---|
xem.artifact-bundle.v1 | smoke | independent XML marker and topology checks | exact node/cell counts and required external-format markers |
xem.consumer-adapters.v1 | smoke | independent typed-quantity recomputation and convention-sign matrix | wavenumber and phasor round-trip error <= 1e-14; six invalid convention paths rejected |
xem.consumer-provenance.v1 | smoke | canonical XEM pressure envelope, release provenance, serde identity, and borrowed consumer view | all four adoption invariants and two typed rejection paths must pass |
xem.schema-compatibility.v1 | smoke | independent legacy v0 migration and current-schema compatibility checks | five compatibility gates and non-empty migrated source/listener sets pass |
xem.duplicate-key-rejection.v1 | smoke | independent duplicate-key rejection at external and typed XEM reader boundaries | four duplicate-key rejection checks pass |
xem.speaker-frequency-quantities.v1 | smoke | XEM FrequencyHz quantity validation and speaker-grid contract | exact value/count preservation and malformed-order rejection |
mesher.box-quality.v1 | smoke | orientation/manifold/positive-quality invariants | min_quality > 0; non_manifold_faces = 0 |
mesher.pathological-corpus.v1 | smoke | typed input diagnostics, mesh validity, and explicit bounded constrained-recovery outcome | five invalid cases rejected deterministically; valid sliver mesh has no inverted/non-manifold elements; annular constrained surface either yields a valid mesh or reports a typed bounded diagnostic |
mesher.adaptive-refinement.v1 | smoke | transactional estimator rejection and post-refinement topology/quality invariants | at least one marked element/new node/new element; invalid/inverted/non-manifold counts = 0 |
mesher.high-order-refinement.v1 | physics-gate | P2 triangle/quadrilateral/tetrahedron and Hex27 child-layout/connectivity invariants | four families preserve polynomial order and valid connectivity |
mesher.product-plc-admission.v1 | smoke | box volume/surface conservation, circular driver aperture, boundary incidence and typed rejection invariants | volume and patch area errors <= 1e-10; driver area error <= 2e-2; all required patches/manifold/replay/rejections present |
mesher.coarsening.v1 | smoke | area conservation, boundary restoration, orientation/manifold checks, explicit orphan-node removal, deterministic replay, and typed incomplete-family rejection | area relative error <= 1e-12; restored/removed families and removed orphan nodes >= 1; deterministic replay = 1 |
mesher.motion.v1 | smoke | symmetric graph-harmonic interior displacement with analytic x-scale area/P1 Jacobian ratio, marker preservation, deterministic replay, and quality-barrier rollback | graph-harmonic residual <= 1e-13; area relative error and affine P1 measure/Jacobian ratios within 1e-12; marker preservation, replay, and quality rollback = 1 |
meshlang.nonported-multistatement-template.v1 | smoke | compiler regression fixture template-multi.mlg | two Box emissions, one BooleanUnion/occ.fuse, provenance present, repeat canonical IR identical |
meshlang.ported-template-reference.v1 | physics-gate | typed ported-template canonical IR and deterministic GEO/Python emission | exact GEO/Python canonical IR parity and deterministic typed-port emission |
meshlang.dynamic-binding-reference.v1 | physics-gate | deterministic canonical IR and GEO/Python backend parity for static control flow with dynamic multi-binding | eight parity checks, two backend Box emissions, and non-leaked control syntax |
meshlang.mixed-control-flow-reference.v1 | physics-gate | deterministic canonical IR GEO/Python parity for if/else loop bindings | nine parity checks and three loop-produced Box bindings |
meshlang.hessian-provider-reference.v1 | physics-gate | shared deterministic Hessian provider with GEO/Python tensor parity | nine provider, canonical-IR, manifest, and backend tensor checks |
meshlang.source-provenance-roundtrip.v1 | physics-gate | independent source-map JSON round trip and GEO/Python provenance parity | seventeen canonical-contract, identity, backend, comment, and provenance checks |
meshlang.materialized-span-reference.v1 | reference-only | deterministic AST span and generated-child parity checks | ten exact source-span, file, and generated-child checks |
meshlang.provenance-admission-reference.v1 | physics-gate | typed canonical provenance validation and compiler-produced IR round trip | five provenance-admission checks |
meshlang.dynamic-loop-reference.v1 | physics-gate | canonical loop-control IR plus deterministic GEO/Python runtime-loop and aggregate syntax | twenty-two deterministic loop-contract checks |
meshlang.nested-control-flow-reference.v1 | physics-gate | canonical IR, GEO/Python lowering, provenance, sensitivity, and composite-binding parity | four composite bindings; backend, provenance, and sensitivity parity |
meshlang.dynamic-multi-binding-reference.v1 | physics-gate | canonical IR branch topology, GEO/Python parity, deterministic multi-binding names, provenance, and sensitivity dependencies | three dynamic binding checks plus canonical parity and dependency preservation |
meshlang.multi-statement-function-reference.v1 | physics-gate | deterministic sequential local binding substitution with GEO/Python CSG parity | seven canonical-authority, parity, and emission checks |
meshlang.inline-control-flow-reference.v1 | physics-gate | deterministic inline-function branch and loop fixture | ten exact parity, pruning, and canonical-shape checks |
meshlang.parser-contract-reference.v1 | smoke | constructor CSG/pipeline AST, contextual Line(from:/to:) arguments, integer-overflow diagnostic, minimized recovery corpus, and JSON envelope | all exact contract checks pass and diagnostics remain within the configured bound |
meshlang.topology-diff-reference.v1 | smoke | deterministic topology-diff and change-contract fixture | all continuity and change-contract invariant checks pass |
meshlang.nested-ported-template-reference.v1 | smoke | deterministic nested typed-port template fixture | all nested port and parity checks pass |
meshlang.capability-contract-reference.v1 | smoke | deterministic capability and typed-port compatibility fixture | all capability and typed-port compatibility checks pass |
meshlang.parser-mutation-reference.v1 | smoke | deterministic parser mutation corpus | all 256 mutations return without panic and serialize deterministically |
meshlang.parser-recovery-fuzz-reference.v1 | smoke | zero-panic recovering parser, source-bounded spans, deterministic JSON reports | zero panics; all diagnostics/comments/source spans valid; reports byte-identical |
meshlang.parser-subtree-reference.v1 | smoke | bounded source-range parser/cache fixture | selected declaration has no diagnostics; repeated JSON and hashes are identical; invalid UTF-8 range rejected |
meshlang.import-policy-reference.v1 | smoke | deterministic versioned import fixture with exact module paths | all import policy checks pass and diagnostics retain requested selectors and separator policy |
meshlang.tooling-contract-reference.v1 | smoke | generated JSON Schema TypeScript and Python artifact fixture | all tooling artifacts validate and remain deterministic |
meshlang.visitor-reference.v1 | smoke | visitor inventory fixture with exact nested-expression visit counts | all visitor fixture counts match exactly |
meshlang.state-transfer-reference.v1 | smoke | deterministic canonical-IR entity state-transfer fixtures | all state-transfer actions and deterministic ordering checks pass |
meshlang.state-transfer-apply-reference.v1 | smoke | deterministic keyed-field transfer fixture | all checked state-transfer consumer actions pass exactly |
meshlang.state-transfer-chain-reference.v1 | smoke | deterministic two-stage keyed state-transfer chain | exact integer state and typed chain errors |
meshlang.spatial-interpolation-reference.v1 | smoke | analytic coordinate-weight fixture | finite normalized interpolation and positive-measure conservative weights, deterministic ordering, and fail-closed invalid geometry inputs |
meshlang.fem-state-transfer-reference.v1 | smoke | existing checked FEM nodal and conservative interpolation kernels | all seven checks exact; output entities >= 5 |
meshlang.fem-adaptive-h1-transfer-reference.v1 | smoke | analytic linear field through checked FEM adaptive lineage interpolation | maximum H1 error <= 1e-12; all action/rejection checks pass |
meshlang.fem-adaptive-h1-chain-transfer-reference.v1 | smoke | analytic linear field through checked FEM adaptive H1 plan-chain transfer | maximum refine and coarsen H1 errors <= 1e-12; all chain checks pass |
meshlang.fem-partitioned-adaptive-h1-transfer-reference.v1 | smoke | analytic linear field and checked malformed-layout rejection | owned and ghost values are non-empty; exchange and missing-ghost rejection pass; maximum error <= 1e-12; malformed layout rejected |
meshlang.fem-h1-p2-transfer-reference.v1 | smoke | analytic quadratic field through checked FEM P2 interpolation kernel | forward and reverse H1 P2 errors <= 1e-9; all checks pass |
meshlang.fem-h1-p2-adaptive-history-reference.v1 | smoke | analytic quadratic field through checked MeshLang/FEM history transfer in both directions | refinement and coarsening errors <= 1e-9; checked history round trip passes |
meshlang.fem-h1-p2-adaptive-chain-reference.v1 | smoke | analytic quadratic field through checked P2 MeshLang chain transfer in both directions | both chain directions errors <= 1e-9; all stages and maps validate |
meshlang.fem-h1-p3-transfer-reference.v1 | smoke | analytic cubic field through checked FEM P3 interpolation kernel | forward and reverse H1 P3 errors <= 1e-10; all checks pass |
meshlang.fem-h1-p3-adaptive-history-reference.v1 | smoke | analytic cubic field through checked MeshLang/FEM P3 history transfer in both directions | refinement and coarsening errors <= 1e-9; all checks pass |
meshlang.fem-h1-p3-adaptive-chain-reference.v1 | smoke | analytic cubic field through checked MeshLang/FEM P3 chain transfer in both directions | both chain directions errors <= 1e-9; all checks pass |
meshlang.fem-h1-p3-q3-adaptive-reference.v1 | smoke | analytic cubic field through checked MeshLang/FEM P3 Q3 history transfer in both directions | refinement and coarsening errors <= 1e-9; all checks pass |
meshlang.fem-h1-p3-tetra-adaptive-reference.v1 | smoke | analytic cubic field through checked MeshLang/FEM P3 tetrahedral history transfer in both directions | refinement and coarsening errors <= 1e-9; all checks pass |
meshlang.fem-h1-curved-p2-tetra-refinement-reference.v1 | smoke | analytic P2 parent-map midpoint with eight-child topology and connectivity validation | mapped midpoint error <= 1e-12; eight child tetrahedra; valid connectivity |
meshlang.fem-h1-curved-p2-hexa-reference.v1 | smoke | analytic linear field through checked MeshLang/FEM curved Hex27 refinement consumer | maximum curved P2 hexahedral transfer error <= 1e-10; all checks pass |
meshlang.fem-h1-p3-hexa-adaptive-reference.v1 | smoke | analytic cubic field through checked MeshLang/FEM P3 hexahedral history transfer in both directions | refinement and coarsening errors <= 1e-9; all checks pass |
meshlang.expression-emission-reference.v1 | smoke | deterministic parser/compiler fixture with canonical IR parity | all checks pass |
meshlang.fem-h1-curved-transfer-reference.v1 | smoke | analytic quadratic/cubic fields through checked curved H1 interpolation kernel | maximum curved P2/P3 error <= 5e-4; maximum mixed P1/curved-P2 error <= 2e-9; all checks pass |
meshlang.fem-h1-mixed-transfer-reference.v1 | smoke | analytic linear and quadratic fields through checked FEM nodal interpolation | maximum mixed-order H1 error <= 1e-12; all checks pass |
meshlang.fem-h1-mixed-adaptive-reference.v1 | smoke | analytic linear field sampled on mixed-order source/target nodes with parent-isoparametric curved refinement history | adaptive mixed-order errors <= 1e-12; curved P2-to-P3 error <= 1e-10; both directions present |
meshlang.fem-hcurl-state-transfer-reference.v1 | smoke | analytic Nedelec edge moments and checked FEM H(curl) transfer kernel | all edge moments and complex order-2 components agree within 1e-10; all rejection checks pass |
meshlang.fem-hcurl-order2-transfer-reference.v1 | smoke | same-mesh order-2 Nedelec state through checked FEM transfer kernel | maximum order-2 H(curl) error <= 1e-11; all checks pass |
meshlang.fem-hcurl-mixed-transfer-reference.v1 | smoke | both affine and curved transfer directions compared with the checked FEM interpolation kernel | maximum mixed-order H(curl) error <= 1e-11; all checks pass |
meshlang.fem-hcurl-order2-lineage-transfer-reference.v1 | smoke | round-trip through checked order-2 H(curl) refinement-history chain | maximum round-trip error <= 2e-9; real and complex plan-chain bridge errors <= 1e-12; all rejection checks pass |
meshlang.fem-hcurl-order1-lineage-transfer-reference.v1 | smoke | component-wise parity with checked order-1 H(curl) refinement-chain transfer | maximum real and complex errors <= 1e-11; conservative action rejected before callback |
meshlang.fem-hcurl-complex-transfer-reference.v1 | smoke | same-mesh complex Nedelec edge-moment parity | maximum complex edge-moment error <= 1e-12; all rejection checks pass |
meshlang.fem-hcurl-curved-transfer-reference.v1 | smoke | curved target edge moments agree with the checked H(curl) transfer kernel through the MeshLang plan bridge | all transferred edge moments agree within 2e-9 |
meshlang.fem-hcurl-order2-curved-transfer-reference.v1 | smoke | curved order-2 H(curl) edge/bubble moments agree with the checked interpolation kernel in both directions | maximum bridge/reference error <= 2e-9; all rejection checks pass |
meshlang.registry-reference.v1 | smoke | deterministic in-memory package/source registry fixtures | all registry ordering, version, cache, and provenance checks pass |
meshlang.registry-signature-reference.v1 | smoke | deterministic in-memory signed registry fixture | all signature, manifest, schema, and strict-rejection checks pass exactly |
meshlang.projection-reference.v1 | reference-only | deterministic in-process canonical projection fixtures | all bounded evaluator, iso-surface mesh, and metadata-only backend checks pass |
meshlang.grammar-contract-reference.v1 | reference-only | checked-in Rust grammar rows and tree-sitter grammar.js source | all grammar parity and parser fixture checks pass |
meshlang.wasm-boundary-reference.v1 | reference-only | versioned parser/compiler JSON envelopes and wasm-bindgen operation contract | twenty capability, schema, projection-artifact, manifest, rejection, registry, trusted-package, and cache checks |
meshlang.registry-package-reference.v1 | reference-only | deterministic in-memory package-index fixtures | all package-index policy checks pass without network fallback |
meshlang.registry-filesystem-transport-reference.v1 | smoke | deterministic temporary filesystem package-store fixture | all exact-version ordering, signature/trust, resolver, and selector checks pass |
meshlang.registry-key-transport-reference.v1 | smoke | deterministic temporary trust-store rotation fixture | all trust-store and transport checks pass exactly |
meshlang.projection-native-reference.v1 | physics-gate | deterministic canonical projection artifact and installed Gmsh executable | all native source and Gmsh execution checks pass exactly |
meshlang.projection-native-volume-reference.v1 | smoke | deterministic closed-shell source contract without backend-specific topology synthesis | all native volume source checks pass exactly |
meshlang.compound-reference.v1 | smoke | one validated IR mesh compound emitted exactly once by both backends | all compound source checks pass exactly |
meshlang.mesh-controls-reference.v1 | smoke | one validated IR control of each refine, metric, and mesh-control kind emitted exactly once by both backends | all mesh-control source checks pass exactly |
meshlang.wasm-package-reference.v1 | reference-only | publishable ESM adapter and generated-package contract | all exact package checks pass |
meshlang.transformed-parent-topology-reference.v1 | physics-gate | two-step transformed-parent topology selectors with GEO/Python canonical, comment, and provenance parity | exact canonical/backend sidecar parity and two derived topology groups |
meshlang.imported-provenance-reference.v1 | physics-gate | filesystem import flattening preserves nested transformed-parent chains, comments, spans, and GEO/Python parity | exact GEO/Python canonical, provenance, sensitivity, and comment parity |
meshlang.fem-hdiv-rt0-transfer-reference.v1 | smoke | analytic checked RT0 normal-flux moments through the MeshLang FEM bridge | all checked transfer and conservation errors <= 1e-12 |
meshlang.fem-hdiv-rt0-complex-transfer-reference.v1 | physics-gate | component-wise checked RT0 transfer parity | all real/imaginary flux-moment errors <= 1e-12 |
meshlang.fem-hdiv-rt1-transfer-reference.v1 | physics-gate | analytic checked RT1 real/imaginary edge and cell moment transfer | all checked real/imaginary transfer errors <= 1e-10 |
meshlang.fem-hdiv-rt1-curved-transfer-reference.v1 | smoke | curved RT1 edge/cell moments agree with the checked kernel in both directions | all bridge/reference errors <= 2e-10; both directions complete |
meshlang.fem-hdiv-rt1-chain-transfer-reference.v1 | physics-gate | checked RT1 chain kernel and MeshLang entity-plan bridge | all real/imaginary chain errors <= 1e-11 |
meshlang.fem-hdiv-rt1-3d-transfer-reference.v1 | physics-gate | checked RT1 real/imaginary moment transfer and typed RT0/RT1 mismatch rejection | all checked errors <= 1e-10; order rejection passes |
meshlang.shipping-corpus-reference.v1 | physics-gate | backend-neutral canonical IR parity and deterministic repeat compilation | all corpus sources produce non-empty deterministic backend output and equal canonical IR |