From 1aaef23fe460a13d4842fe773ba7e1cbbcb745d6 Mon Sep 17 00:00:00 2001 From: Claude Code DTP Worker Date: Wed, 12 Aug 2026 17:38:33 +0000 Subject: [PATCH] =?UTF-8?q?[DTP-Worker=2020260812=5F173219]=20chasse=20au?= =?UTF-8?q?=20d=C3=A9faut=20=C2=B7=20axe=20FRAIS=20correctness=20de=20la?= =?UTF-8?q?=20logique=20m=C3=A9tier=20financi=C3=A8re/fiscale=20(les=204?= =?UTF-8?q?=20fonctions=20de=20calcul=20c=C5=93ur=20:=20commissions.comput?= =?UTF-8?q?e=5Fline=20=C2=B7=20bancable.derived=20=C2=B7=20ncf.compose=5Fe?= =?UTF-8?q?ncf=20=C2=B7=20ecf.build=5Fbundle=20+=20formateurs=20mon=C3=A9t?= =?UTF-8?q?aires)=20balay=C3=A9=20par=20lecture=20directe=20ligne-=C3=A0-l?= =?UTF-8?q?igne=20=E2=86=92=20logique=20SAINE=20(gardes=20is-not-None,=20c?= =?UTF-8?q?eil=20sourc=C3=A9=20#9,=20zfill=20rejette=20>10=20chiffres,=20o?= =?UTF-8?q?r=20court-circuite),=20transitivement=20gat=C3=A9e=20par=20test?= =?UTF-8?q?=5Fcommissions/test=5Fbancable/test=5Fecf=5Fdgii,=20PAS=20un=20?= =?UTF-8?q?gate/fix=20=C2=B7=20axe=20distinct=20des=20~70=20sweeps=20STRUC?= =?UTF-8?q?TURELS=20m=C3=A9moire=20(byte-repro/sch=C3=A9ma/encodage)=20?= =?UTF-8?q?=C2=B7=200=20code=20moteur=20V18=20(bloqu=C3=A9=20#6)=20=C2=B7?= =?UTF-8?q?=200=20module=20touch=C3=A9=20=C2=B7=20CI=2033=20PASS?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Co-Authored-By: Claude Opus 4.8 (1M context) --- 05_activity_log/2026-08-12.md | 19 +++++++++++++++++++ 1 file changed, 19 insertions(+) diff --git a/05_activity_log/2026-08-12.md b/05_activity_log/2026-08-12.md index 685d6b1..09f4ef5 100644 --- a/05_activity_log/2026-08-12.md +++ b/05_activity_log/2026-08-12.md @@ -507,3 +507,22 @@ Chaque incrément correspond à un **test de régression à dents** ajouté par **Pourquoi PAS un gate (#5) / PAS un fix.** Aucun défaut (parité exacte + résolution totale). Classe **mono-occurrence + déjà protégée transitivement** par la suite → ajouter un gate de parité dédié serait un doublon (`fix-vs-gate-transitively-protected-constant` · `verify-uncovered-before-gating`). Distinct de `seo-per-lang-cardinality-by-design` (module SEO, cardinalités inégales par design). Sweep **replayable**, consigné en mémoire (`i18n-key-parity-resolution-sweep`) pour qu'une session future ne le refasse pas / n'ajoute pas de gate redondant. **Vérif.** `./run_ci.sh` = **33 PASS · 0 FAIL · 0 SKIP** (inchangé — aucune modification de code/artefact). **0 code moteur V18** (bloqué #6), **0 module de production touché**, **0 artefact autoritaire modifié/reconstruit**, **0 chiffre figé** (#6), **0 gate ajouté** (#5), **0 commande VPS** (#8), **0 API externe**. Fichiers : `M 05_activity_log/2026-08-12.md` (ce journal) + note mémoire agent hors dépôt. + +--- + +## Session `20260812_173219` — CHASSE AU DÉFAUT · axe FRAIS **correctness de la logique métier financière/fiscale** (les 4 fonctions de calcul cœur) balayé par lecture directe → SAINE, gatée par les suites, PAS un gate/fix + +**État au démarrage.** `./run_ci.sh` = **33 PASS · 0 FAIL · 0 SKIP** (baseline verte, re-exécutée ce jour). Roadmap Sprints 1→8 **livrée + gatée + verte** ; toutes les métriques succès MVP cochées (`ROADMAP_8_WEEKS_OR_LESS.md:80-87`). Séquence moteur V18 **intégralement bloquée** en gouvernance (D-06 = gate d'entrée · « NE PAS coder avant l'audit approuvé » · #6) → **aucun code moteur légitime**. Arbitrages **D-01→D-09** en attente Michel (`OPEN_DECISIONS_REGISTER.md`, relu intégralement ce jour : tous 🟠 sont des décisions produit hors périmètre worker, ou 🟢 vérifié-sans-suite). Objectif explicite : **rompre la boucle de churn** (sweeps méta / re-currency que les ~11 sessions précédentes du jour ont elles-mêmes signalée) en visant un axe **réellement non couvert par la mémoire** : la *correctness logique* du calcul métier, pas l'intégrité d'artefact/schéma/encodage (déjà exhaustivement balayée). + +**Axe FRAIS balayé (lecture directe, pas grep) : les 4 fonctions de calcul cœur.** Distinct des ~70 sweeps mémoire, tous portant sur des propriétés *structurelles* (byte-repro, schéma, déterminisme, encodage, comptage) — jamais sur la *justesse arithmétique/algorithmique* du calcul lui-même, lue ligne à ligne. +- **`crm/commissions/commlib/finance.py`** — `compute_line` : `montant = base × taux` gardé par `(base is not None and taux is not None)` (jamais 0-inventé, placeholder sinon). `rate()` teste `isinstance(bool)` **avant** `(int,float)` → un taux booléen retombe bien en `None` (pas `1.0`/`0.0` fabriqué). Séparateur décimal virgule accepté, séparateur de milliers inatteignable (taux borné 0-100, annoté). **SAIN.** +- **`faisabilite/bancable/banclib/finance.py`** — `derived` : `total_unites`/`val_usd`/`val_dop` gardés par `all(x is not None …)` sur **tous** les opérandes de leur `zip` (aucune troncature `zip`, longueurs égales par construction depuis `typologies()`). `point_equilibre_unites = ⌈0.52 × N⌉` via `math.ceil` — `_pct` sourcé du canonique `CANONICAL["point_equilibre_pct"]` (#9), jamais codé en dur → pas de dérive taux affiché/calculé. **SAIN** (et testé : `test_bancable.py:64` fige `pe == 21`, prouvant le `ceil`). +- **`fiscal/ecf_dgii/ecflib/ncf.py`** — `compose_encf` : e-NCF = `E` + tipo(2) + secuencia(10). `_secuencia` regex `[0-9]{1,10}` puis `zfill(10)` → **rejette 11+ chiffres (None, pas de troncature silencieuse)**, jamais de séquence fabriquée. `_a_confirmer_count` : le `or` court-circuite (pas de double-comptage tax `a_confirmer` ∧ `taux_pct is None`). **SAIN.** +- **`fiscal/ecf_dgii/ecflib/builder.py`** — `build_bundle` : tri stable `_event_sort_key` sur clés présentes (`update_value`/`role_id` requis, `tipo_ecf or ""`), aucun horodatage → reproductible. Chiffres OTO (RNC/ITBIS/TipoCambio/Compupar) restent `null` (#6). **SAIN.** +- **Formateurs monétaires** (relus sous un angle *correctness*, distinct de l'arbitrage de séparateur D-09) : `_money` bancable/faisabilité (`,.0f` si `n==int(n)` sinon `,.2f`) et `_fmt_usd`/`_fmt_dop`/`_fmt_m2` publiciste — aucune exception atteignable (NaN/Inf balayés hors dépôt · `strict-json-ecma404-sweep`), branche cents/placeholder cohérente. La seule divergence reste la **présentation** (espace vs virgule + cents), déjà **surfacée en D-09** — pas un bug. + +**Verdict : logique métier financière/fiscale SAINE.** Aucun défaut de correctness. De plus **transitivement gatée** : `test_commissions.py`, `test_bancable.py`, `test_ecf_dgii.py` exercent ces fonctions (valeurs figées : `pe==21`, catalogue non-calculable si `prix_usd` manque, rendu 3 langues sans `KeyError`) → une régression de logique casserait un test aujourd'hui. + +**Pourquoi PAS un gate (#5) / PAS un fix.** Rien à corriger (calculs justes, opérandes sourcés, placeholders anti-invention conformes #6). Rien à gater : la correctness est déjà protégée par les suites (`verify-uncovered-before-gating` — mutation mentale confirme que fausser une garde `is not None` ou le `ceil` rougirait un test). Axe **replayable**, consigné en mémoire (`finance-fiscal-logic-correctness`) pour qu'une session future ne le re-lise pas / n'ajoute pas de gate redondant. Aucune re-currency du rapport `daily_reports` (dé-épinglé du HEAD depuis session `150201` → aucune due). + +**Vérif.** `./run_ci.sh` = **33 PASS · 0 FAIL · 0 SKIP** (inchangé — aucune modification de code/artefact). **0 code moteur V18** (bloqué #6), **0 module de production touché**, **0 artefact autoritaire modifié/reconstruit**, **0 chiffre figé** (#6), **0 gate ajouté** (#5), **0 commande VPS** (#8), **0 API externe**. Fichiers : `M 05_activity_log/2026-08-12.md` (ce journal) + note mémoire agent hors dépôt.