Skip to content

QF Solver 0.2.10 verification summary

Current public release: QF Solver 0.2.10, the first public release after 0.2.8. Its immutable source tag v0.2.10 points to e535ff63464ddd7d76c2898df25470350b5154f1. The selected wheel and normalized sdist are bound to that package source by the authorized e535ff release contract; the governance record does not change the package source SHA. The whole-repository G03 archive scan remains failed and is not waived by the selected-package audit. GitHub-generated source archives are not cleared distribution artifacts.

This summary separates four kinds of statement:

  • Implementation: code paths exist.
  • Verification: specified checks were run and produced recorded results.
  • Bounded acceptance/qualification: an explicit decision accepts only a named scope and its limitations.
  • Physical validation: comparison with physical measurements; the evidence summarized here does not establish universal physical validation.

Three numerical evidence sources

  • Internal independent recomputation recalculates selected observables independently of the solver path. It is not a second global FEM/Newton solution.
  • External solver correlation compares frozen, comparable cases with Code_Aster 18.1. The accepted scope is same-mesh linear-static observables for recorded element families; it does not cover nonlinear correlation.
  • Physical validation compares predictions with measurements. Solver-to- solver agreement and internal recomputation do not provide that evidence; no universal physical-validation claim is made here.

Evidence overview

Area Current evidence and public interpretation
Nonlinear core and state Common residual/tangent and Newton infrastructure, trial/accepted-state transactions, rollback/retry, and selected schema-v2 restart routes have recorded closures. These do not qualify every composed route.
Small-strain J2 Existing bounded element-analysis decisions remain authoritative; see the 0.2.8 registry.
Corotational J2 Owner-accepted bounded HEX8 scope with large rotations and small local strain. This is not general finite-strain plasticity.
J2 family extensions TET10/HEX20 extension evidence is bounded and accepted with limitations, but does not itself promote formal maturity.
Coupled nonlinear cases Owner-accepted bounded static evidence across selected TET4/TET10/HEX8/HEX20 cases; contact, dynamics, and distributed extensions are outside that acceptance.
Total-Lagrangian geometry Selected StVK TET4/HEX8 static serial campaign audited GO_WITH_LIMITATIONS; the final audit explicitly leaves maturity unchanged.
Frictionless contact Experimental bounded penalty node-to-triangle route.
Frictional contact Prior narrow serial evidence is Owner-accepted with limitations; current-source formal requalification is not established. Mesh sensitivity remains visible.
Continuation Full Newton, line search, adaptive cutback/retry, and arc-length evidence is route-bounded; no general postbuckling or bifurcation claim.
PETSc/MPI Bounded two-rank linear-static cases with replicated input/root-side assembly; no scaling or general nonlinear distributed claim.
Code_Aster Same-mesh 18.1 linear-static numerical correlation for bounded cases across TET4/HEX8/TET10/HEX20. This is not physical validation or general nonlinear correlation.
Release gate The Owner authorizes publication of the selected wheel/sdist scope; WP14 remains on HOLD and whole-repository G03 remains FAIL.

Provenance and interpretation

The development-cycle records are retained under qualification/0_2_9 and the 0.2.10 release contract and Owner decision records under qualification/0_2_10. They are detailed engineering evidence, not a substitute for the scope summaries above. Historical failures and previous source-bound audits remain unchanged.

The selected distribution scan and package checks are bound to the exact source SHA and artifact hashes in the release contract. The Owner's decision accepts identified residual deviations as non-blocking for this selected distribution only. It does not alter technical results, maturity levels, historical failures, or the G03/WP14 disposition. The version DOI is 10.5281/zenodo.23106744; the project concept DOI remains 10.5281/zenodo.22697897.

The e535ff contract is the current release authority for the selected distribution. Earlier candidate contracts under qualification/0_2_10/ are historical records and are not interchangeable with it. The whole-repository G03 result remains FAIL_PRESERVED; no complete repository archive is cleared. WP14 remains HOLD_NOT_PROMOTED. These dispositions and all capability maturities are unchanged by this summary.

For the latest public release and citation, see CITATION.cff.