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.