Revue Owner - HEX20 lineaire et J2 - 0.2.3 alpha¶
Regle de soumission¶
Cette fiche a ete acceptee par l'Owner apres execution et archivage des gates
H20-G01 a H20-G12. La decision est accepted_for_release_0_2_3 et conserve
les limites et exclusions du domaine HEX20 documente.
Le code et les preuves sont archives sur GitHub. La publication PyPI reste une decision separee reservee a l'Owner.
Dossier de preuves¶
- plan V&V :
docs/verification/qf_solver_0_2_3_alpha_hex20_implementation_vnv_plan.md; - registre de gates :
docs/verification/qf_solver_0_2_3_alpha_hex20_release_gate.md; - campagne interne :
docs/assets/verification/hex20/internal/summary.json; - comparaison trois modeles :
docs/assets/verification/hex20/comparison/summary.json; - deck externe CalculiX :
docs/assets/verification/hex20/calculix/; - resultat externe Code_Aster :
docs/assets/verification/hex20/code_aster/; - tests unitaires et integration HEX20 ;
- rapport de non-regression et environnement a joindre avant signature.
Questions de decision¶
| ID | Question | Reponse Owner | Observation et preuve |
|---|---|---|---|
| Q1 | Les fonctions de forme HEX20, le Jacobien, les gradients, l'integration 3x3x3 et le rejet des geometries invalides couvrent-ils le domaine revendique ? | OUI |
Interpolation Gmsh, Jacobien positif, 27 points et geometries invalides : PASS_INTERNAL. |
| Q2 | Les matrices K, masse coherente et masse lumped restent-elles coherentes, symetriques et compatibles avec les modes rigides ? | CONDITIONNEL |
K, masse coherente, energie et modes rigides passent ; la masse lumped reste une option disponible mais non qualifiee pour cette release. |
| Q3 | Les forces volumiques, la gravite, les tractions et les pressions sur faces QUAD8 preservent-ils resultantes, normales et conventions de signe ? | OUI |
Body force, traction, pression QUAD8, normales et signes : PASS_INTERNAL. |
| Q4 | Le post-traitement aux 27 points de Gauss et la recuperation des champs aux 20 noeuds sont-ils suffisamment verifies ? | OUI |
27 points de Gauss, 20 noeuds, moyenne volumique, recuperation nodale et export VTK : PASS_INTERNAL. |
| Q5 | Les analyses statique, modale, Newmark et harmonique reutilisent-elles les chemins communs sans backend ou assembleur HEX20 special ? | OUI |
Les quatre analyses passent par l'assembleur et le backend communs : PASS_INTERNAL. |
| Q6 | Le chemin non lineaire J2 reutilise-t-il le Newton-Raphson et le stockage d'etat communs, avec une convergence explicite a chaque increment ? | OUI borne |
Quatre increments, états commités, 27 points et résidu relatif maximal 1,672e-10 ; preuve interne seulement. |
| Q7 | L'import Gmsh type 17 avec faces QUAD8 type 16 preserve-t-il connectivite, orientation, groupes physiques, chargements et conditions aux limites ? | OUI |
Types 17/16, connectivité, groupes, pression et résolution par l'importeur commun : PASS. |
| Q8 | Les cas internes de traction, compression, flexion, cisaillement, distorsion et nu=0.49/0.499 sont-ils couverts sans extrapolation ? |
OUI |
Les cas internes et les contrôles nu=0.49/0.499 passent ; le domaine reste linéaire et borné. |
| Q9 | La comparaison TET4/TET10/HEX8/HEX20 sur trois modeles fournit-elle des metriques de precision, DDL, temps, nnz, CSR et RSS interpretees avec prudence ? | CONDITIONNEL |
12 cas et métriques archivés ; maillages et ordres diffèrent, donc aucun classement universel ni scaling général. |
| Q10 | Les correlations CalculiX C3D20 et Code_Aster HEXA20 ont-elles ete executees sur le meme maillage, materiau, chargement et conditions aux limites ? | OUI |
CalculiX : 8,50e-7 global et 7,04e-7 au noeud ; Code_Aster : 5,42e-15 ; seuil 1 %. |
| Q11 | Les limites, exclusions J2, limites de taille et resultats non favorables sont-ils visibles dans la documentation publique ? | OUI |
Contact, grandes transformations, rupture, dommage, modal/dynamique externe, scaling multi-million et masse lumped sont explicitement bornés ou exclus. |
Decision finale¶
| Champ | Valeur |
|---|---|
| Decision Owner | accepted_for_release_0_2_3 - acceptee et signee par l'Owner |
| Justification | H20-G01 à H20-G12 sont PASS, les deux corrélations statiques externes sont PASS et la non-régression complète est PASS. |
| Conditions ou recommandations | Maintenir J2 comme preuve interne bornée ; qualifier séparément la masse lumped, la dynamique/modal externe et les grandes tailles avant toute extension. |
| Nom / role | Quentin Farinazzo / Owner |
| Date | 2026-08-24 |
| Signature | Validation Owner approuvee dans le cadre de la release 0.2.3a0 |
Decisions possibles : accepted_for_release_0_2_3,
accepted_with_recommendations ou more_evidence_required. La decision de
release est valable ici parce que H20-G01 a H20-G12 sont fermes et que les deux
correlations externes sont archivees. Elle ne qualifie pas la masse lumped,
la dynamique/modal externe ni le scaling multi-million.