diff --git a/03_agents/crm/AGENT.md b/03_agents/crm/AGENT.md index 727a00d..b243b2c 100644 --- a/03_agents/crm/AGENT.md +++ b/03_agents/crm/AGENT.md @@ -23,13 +23,13 @@ AVANT le Workflow** qui le cible. |---|---|---|---|---|---| | [`workflow_vente/`](../../05_deliverables_mvp/crm/workflow_vente/README.md) | 4 (roadmap L50) | Graphe **Workflow** ERPNext : le pipeline `lead → visite → devis → réservation → contrat → CONFOTUR` (states + transitions + actions) | `workflow_vente_gen.py build\|validate` | `crm-workflow-vente-tests` | 25 | | [`dossier_vente/`](../../05_deliverables_mvp/crm/dossier_vente/README.md) | 4 (roadmap L50) | **DocType porteur** `OTO Dossier Vente` : le document réel qui circule dans le Workflow ; sans lui le pipeline n'a rien à quoi s'attacher | `doctype_dossier_vente_gen.py build\|validate` | `crm-dossier-vente-tests` | 31 | -| [`commissions/`](../../05_deliverables_mvp/crm/commissions/README.md) | 4 (roadmap L51) | Barème **commissions vendeurs** : quel évènement du pipeline paie, à quel rôle, sur quel montant + calculateur traçable `commission = base × taux` | `commissions_gen.py build\|validate` | `crm-commissions-tests` | 25 | +| [`commissions/`](../../05_deliverables_mvp/crm/commissions/README.md) | 4 (roadmap L51) | Barème **commissions vendeurs** : quel évènement du pipeline paie, à quel rôle, sur quel montant + calculateur traçable `commission = base × taux` | `commissions_gen.py build\|validate` | `crm-commissions-tests` | 27 | **Trois modules cross-cohérents, une source unique** (CLAUDE.md #5 · éliminer les doublons) : le nom du DocType, son champ d'état, ses valeurs de statut et son caractère *submittable* sont **dérivés** de `workflow_vente_spec.json` (anti-dérive) ; les rôles sont **résolus** depuis `rbac/rbac_50_roles.json` — jamais un nom Frappe -en dur. Total CRM : **81 tests** (25 + 31 + 25), tous gated dans le CI — c'est le +en dur. Total CRM : **83 tests** (25 + 31 + 27), tous gated dans le CI — c'est le total du **trio pipeline** ; le module financement bancaire ci-dessous porte ses **35 tests** à part (source distincte). diff --git a/03_agents/erpnext_backend/AGENT.md b/03_agents/erpnext_backend/AGENT.md index eec1f89..892b6b4 100644 --- a/03_agents/erpnext_backend/AGENT.md +++ b/03_agents/erpnext_backend/AGENT.md @@ -37,7 +37,7 @@ le VPS reçoit — jamais l'inverse. vente, le barème commissions, le DocType Dossier Vente et le plan e-CF **résolvent** leurs rôles depuis ce fichier, jamais un nom Frappe en dur. Total backend **RBAC 60 tests** (10 + 11 + 12 + 11 + 16) + **e-CF 39 tests**, tous gated dans le CI (matrice -de régression du repo : **631 tests · 24 suites** · verdict `PASS`, source +de régression du repo : **633 tests · 24 suites** · verdict `PASS`, source `qa/regression/out/regression_run.json` — jamais compté à la main · #6). ## Hand-off reçus (à appliquer sur le VPS, dans l'ordre) diff --git a/03_agents/qa/AGENT.md b/03_agents/qa/AGENT.md index 46279e7..27046a0 100644 --- a/03_agents/qa/AGENT.md +++ b/03_agents/qa/AGENT.md @@ -32,7 +32,7 @@ périmètre — un auditeur ne s'audite jamais. **conformité** normative des hand-off. ## Verdict agrégé courant (source `qa/regression/out/regression_run.json`) -**24 suites gated · 631 tests · 614 passés · 0 échec · 0 erreur → verdict `PASS`.** +**24 suites gated · 633 tests · 616 passés · 0 échec · 0 erreur → verdict `PASS`.** Ce compte est **découvert automatiquement depuis le CI** (`q4lib.registry.parse_ci`, réutilisé sans duplication) — jamais compté à la main. Les **17 tests restants sont ignorés** (`skipped`) : ce sont les *oracles optionnels* diff --git a/05_activity_log/2026-08-12.md b/05_activity_log/2026-08-12.md index 5fba5c5..4b3a1f8 100644 --- a/05_activity_log/2026-08-12.md +++ b/05_activity_log/2026-08-12.md @@ -152,3 +152,27 @@ Les trois sont des travaux de vérif/hardening à **artefacts byte-identiques** **Pourquoi pas un gate (#5).** Robustesse portée par le code (`quote`) + le test à dents ; aucune nouvelle classe de drift. Occurrence isolée (uniformité d'un fix du même jour). **Vérif.** `./run_ci.sh` = **33 PASS · 0 FAIL · 0 SKIP**. Fichiers édités **NFC-clean** (vérifié). **0 code moteur V18** (bloqué #6), **0 chiffre/fixture inventé** (#6 · compteurs re-dérivés), **0 gate ajouté** (#5), **0 commande VPS** (#8), **0 API externe**. Fichiers : `M generator.py` (`quote(code)`) · `M test_publiciste.py` (test à dents) · `M` 4 artefacts régénérés (regression×3 + quality_report) · `M` 3 fiches AGENT.md (compteurs) + ce journal. + +## Session `20260812_080104` — FIX correctness (bug latent réel) · commissions vendeurs : la formule traçable `base × taux` cassait sur les montants réels (`:g` → exponentiel ≥ 1e6 + arrondi silencieux à 6 chiffres) + 2 tests à dents + +**État au démarrage.** `./run_ci.sh` = **33 PASS · 0 FAIL · 0 SKIP** (baseline verte). `regression_run.json totals` = **631 exécutés · 614 passés · 17 skippés · 0 échec** (PASS). `quality_report.json` = **PASS · 24 modules · min 100/100 · bijection 24↔24**. Séquence moteur V18 toujours **bloquée** en gouvernance (D-06 = gate d'entrée · directive « NE PAS coder avant l'audit » · #6) — **aucun code moteur légitime**. Arbitrages produit D-01→D-08 en attente Michel (`OPEN_DECISIONS_REGISTER.md`). + +**Chasse au défaut d'abord (Explore very-thorough sur 5 modules jamais ré-audités ce cycle : legal/confotur · crm/commissions+workflow_vente · rbac · devops/deploy_runbook · seo) → 4 modules CLEAN, 1 BUG LATENT RÉEL.** L'Explore a confirmé 0 défaut sur legal, workflow_vente, rbac (4 sous-modules), deploy_runbook, seo (schemaorg/hreflang/builder — dedup + offer + hreflang tous corrects), et a remonté **1 candidat haute confiance** : `crm/commissions/commlib/finance.py:75`. + +**Le bug (correctness de sortie, entrée financière réaliste RD).** `compute_line` composait le libellé de la base de la formule traçable via `base_lbl = f"{base:g}"`. Le format `:g` casse **deux fois** sur des montants immobiliers réels — omniprésents en RD (une unité à USD 300k ≈ **18 000 000 DOP**) : +1. **Notation exponentielle dès 1e6** : `18000000` → `1.8e+07` — illisible et **non auditable** dans une formule dont tout le sens (docstring du module) est d'être « traçable, reproductible et entièrement sourcée ». +2. **Arrondi silencieux à 6 chiffres significatifs** : `123456.78` → `123457` — le libellé affiche une base **différente de la réelle**, c'est-à-dire **une base fabriquée** : exactement l'invention interdite par CLAUDE.md #6, dans le module même dont la docstring proclame l'anti-invention. + +**Preuve de dents (2 tests de régression).** `test_formule_base_millions_pas_exponentiel` (base `18000000.0` → assert `18000000` présent **et** `e+`/`E+` absents) + `test_formule_base_preserve_les_decimales` (base `123456.78` → assert `123456.78` présent). Vérifié **teeth** par harnais scripté : en restaurant `f"{base:g}"`, les **DEUX tests ÉCHOUENT** ; avec le fix, **PASS**. Suite commissions **25 → 27**. + +**Le fix (fidèle, sans dérive).** Nouveau helper `_amount_label(x)` : `f"{x:f}"` (jamais exponentiel) puis strip des zéros/point superflus → décimal **fidèle** et lisible, **identique à l'ancien pour tous les montants simples** (`200000` reste `200000`, `2500.5` reste `2500.5`). Le changement de sortie ne concerne QUE les cas buggés (≥ 1e6 ou > 6 chiffres significatifs). `_rate_label` (ligne taux, `:g`) laissé tel quel : un taux est borné (0-100), sans risque exponentiel ni > 6 chiffres → défensif-seul, non touché (`verify-non-defects` · #6). + +**Byte-repro : aucun impact d'artefact autoritaire.** `compute_line`/`compute_dossier` sont du code **runtime** (prennent une instance Dossier Vente live) — **jamais** appelés par `commissions_gen.py` (qui n'utilise que `finance.is_filled`). Aucun `formule`/`base` n'est sérialisé dans `out/commission_plan.json` ni `out/MANIFEST.json` (vérifié). Donc **0 régénération de l'artefact du module**. + +**Cascade de régénération (compteur de suite uniquement · mémoire `artifact-reproducibility-gate`).** Les 2 tests ajoutés font croître la matrice **631/614 → 633/616** (17 skips inchangés). Régénéré dans l'ordre (`quality_report` en DERNIER · mémoire `audit4big-rebuild-after-doc-edits`) : `qa/regression/{regression_plan,MANIFEST,regression_run}.json` puis `qa/audit_4big/quality_report.json`. Surfaces à compteurs dérivés réalignées (gate `check_readme_claims`) : `03_agents/qa/AGENT.md` (631/614→633/616), `03_agents/erpnext_backend/AGENT.md` (631→633), `03_agents/crm/AGENT.md` (cellule commissions 25→27 + « Total CRM » 81→83 trio `25 + 31 + 27`), `crm/commissions/README.md` (2× « 25 tests »→27). Tous diffs = **pure propagation de compteur** (vérifié). + +**Pourquoi pas un gate (#5).** Robustesse portée par le code (`_amount_label`) + les 2 tests à dents ; aucune nouvelle classe de drift à surveiller. Occurrence isolée (mauvais encodeur de contexte, sœur de la classe déjà fixée en publiciste `070054`/`073055` — même leçon : « le contexte de sortie dicte l'encodeur, pas la donnée courante »). + +**Canal stakeholder laissé à une session dédiée.** `daily_reports/2026-08-12.md` cite encore `629/612` ; la réconciliation batchée (630 `070054` + 631 `073055` + 633 cette session) reste pour une future session stakeholder (canal snapshot batché par design, cf. `3a40aee`) — pas d'invention, chiffres re-dérivables des artefacts commités (#6). + +**Vérif.** `./run_ci.sh` = **33 PASS · 0 FAIL · 0 SKIP**. Fichiers édités **compilent** + **NFC-clean** (vérifié). **0 code moteur V18** (bloqué #6), **0 chiffre/fixture inventé** (#6 · compteurs re-dérivés des artefacts régénérés), **0 gate ajouté** (#5), **0 commande VPS** (#8), **0 API externe**. Fichiers : `M commlib/finance.py` (`_amount_label`) · `M tests/test_commissions.py` (2 tests à dents) · `M crm/commissions/README.md` (compteurs) · `M` 4 artefacts régénérés (regression×3 + quality_report) · `M` 3 fiches AGENT.md (compteurs) + ce journal. diff --git a/05_deliverables_mvp/crm/commissions/README.md b/05_deliverables_mvp/crm/commissions/README.md index 123f027..3018eca 100644 --- a/05_deliverables_mvp/crm/commissions/README.md +++ b/05_deliverables_mvp/crm/commissions/README.md @@ -58,7 +58,7 @@ duplication · workflow #5) : ```bash python3 commissions_gen.py build # écrit out/ (refuse si invalide) python3 commissions_gen.py validate # schéma + 10 invariants, sans écrire -python3 -m unittest discover -s tests -v # 25 tests (stdlib pur) +python3 -m unittest discover -s tests -v # 27 tests (stdlib pur) ``` ## Les 10 invariants (le CLI refuse d'écrire si l'un casse) @@ -89,5 +89,5 @@ sert **uniquement aux tests** : ses chiffres sont des exemples fictifs portant u **Auto-score 4Big : 96/100.** Réserve −4 : confirmation des taux réels + câblage du calcul en production côté VPS (agent ERPNext Backend · #8) ; ce module valide -statiquement en-repo (25 tests verts + schéma + 10 invariants de cross-cohérence +statiquement en-repo (27 tests verts + schéma + 10 invariants de cross-cohérence + gate CI). diff --git a/05_deliverables_mvp/crm/commissions/commlib/finance.py b/05_deliverables_mvp/crm/commissions/commlib/finance.py index 1525378..5658c45 100644 --- a/05_deliverables_mvp/crm/commissions/commlib/finance.py +++ b/05_deliverables_mvp/crm/commissions/commlib/finance.py @@ -51,6 +51,22 @@ def rate(value: Any) -> Optional[float]: return None +def _amount_label(x: float) -> str: + """Montant affiché dans la formule : décimal FIDÈLE. + + `:g` (l'ancien encodeur) cassait deux fois sur des montants réels : (1) il bascule + en notation exponentielle dès 1e6 (« 18000000 » → « 1.8e+07 » — illisible dans une + formule censée être auditable) et (2) il arrondit à 6 chiffres significatifs + (« 123456.78 » → « 123457 ») ce qui FABRIQUE une base différente de la réelle — + exactement l'invention interdite par CLAUDE.md #6. `:f` (jamais exponentiel) puis + strip des zéros/point superflus donne un décimal fidèle et lisible, identique à + l'ancien pour les montants simples (« 200000 » reste « 200000 »).""" + s = f"{x:f}" # décimal complet, jamais de notation exponentielle + if "." in s: + s = s.rstrip("0").rstrip(".") + return s + + def _rate_label(value: Any) -> str: """Libellé du taux tel qu'affiché dans la formule (verbatim si texte).""" if not is_filled(value): @@ -72,7 +88,7 @@ def compute_line(dossier: dict, event: dict) -> dict: devise = dossier.get("devise") montant = base * taux if (base is not None and taux is not None) else None - base_lbl = f"{base:g}" if base is not None else f"{{{base_field}}}" + base_lbl = _amount_label(base) if base is not None else f"{{{base_field}}}" formule = f"{base_lbl} × {_rate_label(event.get('taux_pct'))}" manquants: list[str] = [] diff --git a/05_deliverables_mvp/crm/commissions/tests/test_commissions.py b/05_deliverables_mvp/crm/commissions/tests/test_commissions.py index bc123bc..029b7c7 100644 --- a/05_deliverables_mvp/crm/commissions/tests/test_commissions.py +++ b/05_deliverables_mvp/crm/commissions/tests/test_commissions.py @@ -214,6 +214,24 @@ class TraceableCalc(unittest.TestCase): self.assertIn("2.5", line["formule"]) self.assertEqual(line["devise"], "USD") + def test_formule_base_millions_pas_exponentiel(self): + # Régression : `:g` cassait les bases réelles ≥ 1e6 en notation exponentielle + # (« 18000000 » → « 1.8e+07 ») — illisible et non auditable dans la formule. + ev = {"update_value": "contrat", "role_id": "ventes-conseiller", + "base_field": "montant_contrat", "taux_pct": self.taux} + line = finance.compute_line({"montant_contrat": 18000000.0, "devise": "DOP"}, ev) + self.assertIn("18000000", line["formule"]) + self.assertNotIn("e+", line["formule"]) + self.assertNotIn("E+", line["formule"]) + + def test_formule_base_preserve_les_decimales(self): + # Régression : `:g` arrondissait à 6 chiffres significatifs (« 123456.78 » + # → « 123457 »), fabriquant une base ≠ de la réelle (anti-invention #6). + ev = {"update_value": "contrat", "role_id": "ventes-conseiller", + "base_field": "montant_contrat", "taux_pct": self.taux} + line = finance.compute_line({"montant_contrat": 123456.78, "devise": "USD"}, ev) + self.assertIn("123456.78", line["formule"]) + def test_none_si_taux_absent(self): ev = {"update_value": "contrat", "role_id": "ventes-conseiller", "base_field": "montant_contrat", "taux_pct": None} diff --git a/05_deliverables_mvp/qa/audit_4big/out/quality_report.json b/05_deliverables_mvp/qa/audit_4big/out/quality_report.json index 2811418..516af7c 100644 --- a/05_deliverables_mvp/qa/audit_4big/out/quality_report.json +++ b/05_deliverables_mvp/qa/audit_4big/out/quality_report.json @@ -366,7 +366,7 @@ "criterion": "TESTS", "weight": 25, "passed": true, - "evidence": "25 méthodes test_* dans 1 fichier(s) (seuil 8)" + "evidence": "27 méthodes test_* dans 1 fichier(s) (seuil 8)" }, { "criterion": "CLI", diff --git a/05_deliverables_mvp/qa/regression/out/MANIFEST.json b/05_deliverables_mvp/qa/regression/out/MANIFEST.json index b346d1a..962c533 100644 --- a/05_deliverables_mvp/qa/regression/out/MANIFEST.json +++ b/05_deliverables_mvp/qa/regression/out/MANIFEST.json @@ -5,7 +5,7 @@ "version": "1.0", "verdict": "PASS", "suites": 24, - "test_methods": 631, + "test_methods": 633, "coverage_ok": true, "artifacts": [ "regression_plan.json" diff --git a/05_deliverables_mvp/qa/regression/out/regression_plan.json b/05_deliverables_mvp/qa/regression/out/regression_plan.json index 4183f65..3a7cf8f 100644 --- a/05_deliverables_mvp/qa/regression/out/regression_plan.json +++ b/05_deliverables_mvp/qa/regression/out/regression_plan.json @@ -35,7 +35,7 @@ "in_gate": true, "has_tests_dir": true, "test_files": 1, - "test_methods": 25 + "test_methods": 27 }, { "id": "crm.dossier_vente", @@ -295,7 +295,7 @@ "totals": { "suites": 24, "test_files": 24, - "test_methods": 631, + "test_methods": 633, "min_methods": 10, "under_threshold": 0 }, diff --git a/05_deliverables_mvp/qa/regression/out/regression_run.json b/05_deliverables_mvp/qa/regression/out/regression_run.json index 1f17177..5efffcc 100644 --- a/05_deliverables_mvp/qa/regression/out/regression_run.json +++ b/05_deliverables_mvp/qa/regression/out/regression_run.json @@ -6,9 +6,9 @@ { "id": "crm.commissions", "path": "crm/commissions", - "expected_methods": 25, - "ran": 25, - "passed": 24, + "expected_methods": 27, + "ran": 27, + "passed": 26, "failures": 0, "errors": 0, "skipped": 1, @@ -296,8 +296,8 @@ "suites": 24, "green": 24, "red": 0, - "ran": 631, - "passed": 614, + "ran": 633, + "passed": 616, "failures": 0, "errors": 0, "skipped": 17