Skip to content

QF Solver 0.2.8 WP05 — final Owner gate

This Owner gate audits commit e9d83047b310cd85380551d8096d898090a7cba9 and applies only the WP05 decision. The machine-readable record is wp05_owner_gate_final.json. No numerical source, tolerance or 0.2.7 evidence is changed.

Decision

Combination Owner decision Resulting state
WEDGE6 linear static APPROVE_WITH_LIMITATIONS QUALIFIED_BOUNDED
WEDGE6 modal Not in this gate unchanged
WEDGE6 Newmark Not in this gate unchanged
WEDGE6 harmonic Not in this gate unchanged

The evidence record is WP05 WEDGE6 V&V, with the pre-declared contract, machine-readable results and maturity delta linked from that page. The approved scope is Gmsh Prism 6 WEDGE6, homogeneous isotropic small-strain linear elasticity, linear static analysis, the declared nodal, body/gravity, TRI3-pressure, QUAD4-pressure and surface-traction contracts, conforming prism assemblies, declared valid distortions and explicit failure of invalid geometry. It includes the recorded displacement, Gauss-point strain/stress, energy, reactions and global equilibrium checks.

External-oracle limitation

The external result is PASS_WITH_LIMITATIONS, not a universal correlation claim. WP05 audits the controlled 0.2.7 Code_Aster 18.1 PENTA6 artifact by reference; it does not present that artifact as a new WP05 Code_Aster run. The artifact contains 12 comparable primary-observable cases and all 12 pass, with the current numerical source unchanged since the external source commit.

CalculiX C3D6 remains NOT_COMPARABLE because its integration convention does not match the QF TRI3_X_GAUSS2 contract. No external stress qualification is claimed without an equivalent sampling contract. This limitation is compatible with the bounded static promotion because the public claim is restricted to the recorded QF checks and Code_Aster primary observables.

Additional limitations

  • Modal, Newmark and harmonic WEDGE6 routes are not promoted.
  • Nonlinear, J2, Total-Lagrangian, contact, WEDGE15, mixed-mesh and unbounded arbitrary-distortion claims remain excluded.
  • Automatic orientation repair is not claimed; coincident, nonfinite, inverted, wrong-order and negative-Jacobian geometry must fail explicitly.
  • The external correlation is limited to the declared tolerance classes and primary observables; it does not qualify arbitrary stress sampling.

Registry reconciliation

The 46 record_kind=combination records are counted directly from capability_registry_v2.json. The prior WP03 and WP04 decisions are preserved, then the single WP05 promotion is applied:

State Source 0.2.7 After WP05 Owner gate
QUALIFIED_BOUNDED 20 32
EXPERIMENTAL 25 13
NOT_QUALIFIED 1 1
Total 46 46

The sole NOT_QUALIFIED combination remains COMB-HEX8-linear_buckling. COMB-WEDGE6-linear_static is distinct from that record and is now QUALIFIED_BOUNDED only within the scope above.

Integrity result

  • all WP05 gates and two deterministic replay lots pass;
  • the external limitation is retained rather than hidden or generalized;
  • no opportunistic numerical-core or tolerance change was found;
  • no 0.2.7 evidence was rewritten;
  • no WP06 work is started by this gate.