[DTP-Worker] Sprint 8 · buffer · Fiscal/ecf_dgii : le JEU DE DEVISES moneda (USD/DOP) ANCRÉ sur CLAUDE.md #10

Le champ que `Encabezado.TipoMoneda` porte dans chaque e-CF DGII —
`moneda.options = ["USD","DOP"]` — vit dans `ecf_spec.json` ET, byte-gaté par
check_artifacts, dans `out/ecf_plan.json`. C'est une valeur CANONIQUE de CLAUDE.md
#10 (« **USD + DOP** devises ») dont le README se réclame « #10 » (README:37/57/77).
Or byte-gater une constante prouve la REPRODUCTIBILITÉ, PAS l'ANCRAGE :
check_artifacts prouve ecf_plan==build depuis le spec, JAMAIS que spec[moneda]==#10.
Les blocs fiscaux amont gatent le FormaPago (Cardnet · #10) + états/champs
émetteurs, AVEUGLES au jeu de devises ; le bloc « Fiches #10 » ancre les fiches
ERPNext/CRM, AVEUGLE au module fiscal.

Piège #6 : RENOMMER/ÉTENDRE les devises dans CLAUDE.md #10 (`USD + DOP`→`USD + EUR`,
ou +`EUR`) ET dans le spec de façon cohérente reste byte-VERT tout en faisant
émettre à l'e-CF un `TipoMoneda` d'une devise qui CONTREDIT le mandat — « vert
trompeur » de la classe de la marque SEO §Entités, la persona Chat OTOIA ou les
tokens branding #4, qu'aucune suite tests/ (FONCTIONS de génération, jamais l'ancre
à CLAUDE.md) n'attrape. L'agent ERPNext Backend câblerait TipoMoneda hors mandat.

Correctif de déclaration : nouveau champ `moneda.options_source` (ecf_spec.json +
requis dans ecf.schema.json) citant « CLAUDE.md #10 — devises **USD + DOP** »,
DISTINCT de `source` (taux TipoCambio, reste null/a_confirmer côté VPS · #8).
Artefact régénéré (byte-gate re-verte · 39 tests module verts).

Gate ajouté (ci/check_readme_claims.sh, bloc « Fiscal · ecf_dgii — le JEU DE
DEVISES `moneda` … ANCRÉ sur CLAUDE.md #10 ») : RÉUTILISE exp["devises"] déjà
recomputé depuis #10 (zéro duplication) ; (a) spec[moneda].options == devises #10
ORDRE exact ; (b) artefact byte-gaté idem ; (c) options_source cite CLAUDE.md #10 +
chaque devise ; (d) prose README qui se réclame de #10 == jeu exact + toute mention
moneda/devise d'une paire concordante (scan ancré sur contexte, évite le faux
positif `RNC / ITBIS`). 7 morsures vérifiées (CLAUDE.md #10 rename = 4 bites en
cascade · spec options régénéré = le vrai silent green · artefact seul · reorder ·
options_source sans ancre · README ligne #10 · README table), restauré vert, 7
gates re-verts.

ci/README.md (clause récap + paragraphe « 4e surface du MÊME README ») mis à jour.

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>

05_activity_log/2026-08-01.md

@@ -851,3 +851,68 @@ mentions == 54 · ligne source cite roadmap · exit 0. Working tree byte-restaur
   édition **hors** `05_deliverables_mvp/*/out` ⇒ 0 dérive d'artefact ; `eas build`/
   `eas submit` App Store #32 / Play Store restent côté agent Mobile · VPS).
 - **Auto-score 4Big** : 96/100.
+
+## Session `20260801_073239` · Buffer S8 · Fiscal/ecf_dgii : le JEU DE DEVISES `moneda` (`USD`/`DOP`) ANCRÉ sur CLAUDE.md #10 — le champ que `TipoMoneda` porte dans chaque e-CF DGII, byte-gaté pour la REPRODUCTIBILITÉ mais JAMAIS ancré à la contrainte. Le README s'en réclame « #10 » (README:37/57/77) ; les blocs fiscaux amont gatent le FormaPago (Cardnet · #10) + états/champs émetteurs, AVEUGLES au jeu de devises ; le bloc « Fiches #10 » ancre les fiches ERPNext/CRM, AVEUGLE au module fiscal.
+
+**Tâche** : **Sprint 8 · buffer** (DevOps CI/CD · QA). Roadmap fonctionnellement
+close ; poursuite de la série anti-dérive (CLAUDE.md #6). Même patron d'ANCRAGE que
+les paramètres canoniques `faisabilite/generator` (#9/#10), la marque SEO §Entités
+(`Helios RD`), la persona Chat OTOIA (§Architecture cible) ou les tokens branding #4
+— appliqué ici à une valeur ancrée sur **CLAUDE.md #10** (« **USD + DOP** devises »).
+
+**Dérive silencieuse fermée** :
+- `05_deliverables_mvp/fiscal/ecf_dgii` — `moneda.options = ["USD","DOP"]` dans le
+  spec ET (byte-gaté par `check_artifacts`) dans `out/ecf_plan.json`.
+- Chaîne de dérivation : CLAUDE.md #10 « **USD + DOP** devises » (INPUT faisant
+  autorité) → `ecf_spec.json[moneda].options` → `out/ecf_plan.json.moneda.options`
+  (copie verbatim par `ecflib/builder.py:79`).
+- Piège #6 : **byte-gater une constante prouve la REPRODUCTIBILITÉ, PAS l'ANCRAGE**.
+  `check_artifacts` prouve `ecf_plan==build` depuis le spec, JAMAIS que
+  `spec[moneda]==#10`. RENOMMER/ÉTENDRE les devises dans CLAUDE.md #10
+  (`USD + DOP`→`USD + EUR`, ou +`EUR`) ET dans le spec de façon cohérente reste
+  byte-VERT tout en faisant émettre à l'e-CF un `TipoMoneda` d'une devise qui
+  CONTREDIT le mandat — « vert trompeur » qu'aucune suite `tests/` (FONCTIONS de
+  génération, jamais l'ancre à CLAUDE.md) n'attrape. L'agent ERPNext Backend
+  câblerait `Encabezado.TipoMoneda` sur une devise hors mandat (le risque même que
+  la cross-cohérence e-CF veut prévenir).
+- **État courant** : aucune dérive — spec/artefact/README concordent avec #10
+  (anti-invention #6). Le défaut était la **surface byte-gatée mais non ancrée** +
+  l'absence de déclaration d'ancrage (`moneda.source` legitimement `null` car il
+  source le **taux TipoCambio**, à confirmer côté VPS · #8 — l'ancre des OPTIONS
+  devait vivre dans un champ DISTINCT).
+
+**Correctif de déclaration** : nouveau champ `moneda.options_source` dans
+`ecf_spec.json` (+ requis dans `ecf.schema.json`) citant « CLAUDE.md #10 — devises
+**USD + DOP** » ; distinct de `source` (taux, reste `null`/`a_confirmer`). Artefact
+`out/ecf_plan.json` régénéré (byte-gate re-verte · 39 tests module verts · le compte
+`a_confirmer` inchangé, il ne teste que `moneda.a_confirmer`).
+
+**Gate ajouté** (`ci/check_readme_claims.sh`, bloc « Fiscal · ecf_dgii — le JEU DE
+DEVISES `moneda` … ANCRÉ sur CLAUDE.md #10 », inséré après la famille « Fiches
+#10 ») : RÉUTILISE `exp["devises"]` déjà recomputé depuis #10 (zéro duplication),
+`want_cur = re.findall("[A-Z]{3}", exp["devises"])`, puis (a) `spec[moneda].options`
+== `want_cur` ORDRE EXACT (mord ajout/retrait/réordonnancement) ; (b) l'artefact
+byte-gaté idem ; (c) `moneda.options_source` cite `CLAUDE.md #10` + chaque devise ;
+(d1) la ligne README « devise (…USD/DOP… · #10) » cite le jeu EXACT ; (d2) toute
+mention `moneda`/`devise` d'une paire de devises (scan ancré sur le contexte, évite
+le faux positif `RNC / ITBIS`) == le jeu (aucune périmée). Un claim absent échoue
+AUSSI (traçabilité).
+
+**7 morsures vérifiées** : CLAUDE.md #10 `USD+DOP→USD+EUR` (l'ancre est vive →
+mord a+b+c+d1 en cascade) · **spec** `options USD/DOP→USD/EUR` régénéré (le vrai
+*silent green* → mord a) · **artefact** seul `USD→EUR` (spec+README périmés → mord
+b) · **reorder** spec `[DOP,USD]` (ordre exact → mord a) · `options_source` sans
+« CLAUDE.md #10 » (ancre déclarée manquante → mord c) · **README** ligne #10
+`USD/DOP→USD/EUR` (prose périmée → mord d1) · **README** table `moneda USD/DOP→
+USD/EUR` (mention périmée → mord d2) ; restauré = vert (a+b+c+d, 3 mentions
+README concordantes · exit 0). Working tree byte-restauré (`git checkout --`,
+**JAMAIS** `git clean`) · **7 gates re-verts** (validate_json · check_artifacts ·
+check_readme_claims · check_docs · guard_constraints · check_ci_integrity ·
+check_regression).
+
+- `ci/README.md` (clause de récap du pipeline + paragraphe détaillé « jeu de
+  DEVISES `moneda` … 4e surface du MÊME README, ancré sur #10 ») mis à jour.
+- **Hors périmètre worker (VPS · #8)** : néant (gate bash/python3 stdlib en-repo ;
+  la confirmation du **TipoCambio** USD→DOP + l'émission réelle via Compupar
+  restent côté agent ERPNext Backend / Compta · VPS).
+- **Auto-score 4Big** : 96/100.

05_deliverables_mvp/fiscal/ecf_dgii/ecf.schema.json

@@ -150,7 +150,7 @@
         },
         "moneda": {
           "type": "object",
-          "required": ["tipo_moneda_field", "options", "tipo_cambio", "note_cambio", "source", "a_confirmer"],
+          "required": ["tipo_moneda_field", "options", "options_source", "tipo_cambio", "note_cambio", "source", "a_confirmer"],
           "additionalProperties": false,
           "properties": {
             "tipo_moneda_field": { "type": "string" },
@@ -158,6 +158,7 @@
               "type": "array",
               "items": { "type": "string" }
             },
+            "options_source": { "type": "string" },
             "tipo_cambio": { "type": ["number", "string", "null"] },
             "note_cambio": { "type": "string" },
             "source": { "type": ["string", "null"] },

05_deliverables_mvp/fiscal/ecf_dgii/ecf_spec.json

@@ -59,6 +59,7 @@
   "moneda": {
     "tipo_moneda_field": "devise",
     "options": ["USD", "DOP"],
+    "options_source": "CLAUDE.md #10 — devises **USD + DOP** (source unique · jamais inventé · #6). Distinct de `source` (taux TipoCambio) qui reste null/a_confirmer.",
     "tipo_cambio": null,
     "note_cambio": "Un e-CF libelle en USD exige un TipoCambio (DOP/USD) SOURCE (taux du jour BCRD/DGII) — jamais fabrique (#6). En DOP, TipoCambio non requis.",
     "source": null,

05_deliverables_mvp/fiscal/ecf_dgii/out/ecf_plan.json

@@ -131,6 +131,7 @@
       "USD",
       "DOP"
     ],
+    "options_source": "CLAUDE.md #10 — devises **USD + DOP** (source unique · jamais inventé · #6). Distinct de `source` (taux TipoCambio) qui reste null/a_confirmer.",
     "tipo_cambio": null,
     "note_cambio": "Un e-CF libelle en USD exige un TipoCambio (DOP/USD) SOURCE (taux du jour BCRD/DGII) — jamais fabrique (#6). En DOP, TipoCambio non requis.",
     "source": null,

ci/check_readme_claims.sh

@@ -3113,6 +3113,105 @@ if exp is not None:
                      (f" · (pas {exp_excl})" if cites_excl and exp_excl else "")
             good(f"Fiches #10 · {label} — cite {_cited} == CLAUDE.md #10")
 
+# ============================================================================
+# Fiscal · ecf_dgii — le JEU DE DEVISES `moneda` (`USD`/`DOP`) ANCRÉ sur CLAUDE.md
+# #10 — même classe d'ANCRAGE que la CITATION #10 des fiches ci-dessus, mais sur
+# une SURFACE distincte : la LISTE d'options de devise de l'e-CF, byte-gatée mais
+# JAMAIS ancrée à la contrainte.
+# ----------------------------------------------------------------------------
+# `moneda.options = ["USD","DOP"]` — le jeu de devises que `TipoMoneda` peut porter
+# dans un e-CF DGII — vit dans le spec ET, byte-gaté par check_artifacts, dans
+# out/ecf_plan.json. C'est une valeur CANONIQUE de CLAUDE.md #10 (« **USD + DOP**
+# devises ») : le README s'en réclame « #10 » (README:57 « **`devise`** (USD/DOP ·
+# #10) », README:37/77) MAIS AUCUN gate ne liait cette liste à la contrainte —
+# le bloc « Fiscal cross-cohérence » amont gate le FormaPago (Cardnet · #10) et les
+# ÉTATS/champs émetteurs, AVEUGLE au jeu de devises ; le bloc « Fiches #10 » ancre
+# la prose des fiches ERPNext/CRM, AVEUGLE au module fiscal ; et le `source` du bloc
+# moneda est legitimement `null` (il source le TAUX TipoCambio, à confirmer · #8),
+# donc l'ancre des OPTIONS vit dans un champ DISTINCT `options_source`.
+# Byte-gater une constante canonique prouve la REPRODUCTIBILITÉ, PAS l'ANCRAGE
+# (check_artifacts prouve ecf_plan==build depuis le spec, jamais spec[moneda]==#10) :
+# renommer/étendre les devises dans CLAUDE.md #10 (`USD + DOP` → `USD + EUR`, ou
+# +`EUR`) ET dans le spec de façon cohérente reste byte-VERT tout en faisant émettre
+# à l'e-CF un `TipoMoneda` d'une devise qui CONTREDIT le mandat — « vert trompeur »
+# de la MÊME classe que la marque SEO §Entités, la persona Chat OTOIA ou les tokens
+# branding #4, qu'aucune suite tests/ (FONCTIONS de génération, jamais l'ancre à
+# CLAUDE.md) n'attrape. On RÉUTILISE `exp["devises"]` déjà recomputé depuis #10 (zéro
+# duplication) et on exige : (a) spec `moneda.options` == devises de #10 (ORDRE exact
+# · mord un ajout/retrait/réordonnancement) ; (b) l'artefact byte-gaté idem ; (c) le
+# spec DÉCLARE l'ancrage (`options_source` cite « CLAUDE.md #10 » + chaque devise) ;
+# (d) la prose README qui se réclame de #10 cite le jeu EXACT + toute mention
+# `moneda`/`devise` de paire de devises == le jeu (aucune périmée). Un claim absent
+# échoue AUSSI (traçabilité).
+# ============================================================================
+if exp is not None:
+    ECF_MON_RD = f"{D}/fiscal/ecf_dgii/README.md"
+    want_cur = re.findall(r"[A-Z]{3}", exp["devises"])          # #10 « USD + DOP » → [USD, DOP]
+    want_set = set(want_cur)
+    try:
+        _mon_plan = load("fiscal/ecf_dgii/out/ecf_plan.json")["moneda"]
+        _mon_spec = json.load(open(f"{D}/fiscal/ecf_dgii/ecf_spec.json",
+                                   encoding="utf-8"))["moneda"]
+    except (OSError, KeyError, ValueError, TypeError) as e:
+        bad(f"Fiscal devises · moneda spec/artefact illisible/inattendu : {e}")
+        _mon_plan = _mon_spec = None
+    if not want_cur:
+        bad(f"Fiscal devises · CLAUDE.md #10 devises illisibles : {exp['devises']!r}")
+    elif _mon_plan is not None:
+        _sp_opt = [str(o).upper() for o in _mon_spec.get("options", [])]
+        _pl_opt = [str(o).upper() for o in _mon_plan.get("options", [])]
+        # (a) ANCRAGE — spec moneda.options == devises #10 (ordre exact)
+        if _sp_opt == want_cur:
+            good(f"Fiscal devises · (a) spec moneda.options {_sp_opt} == CLAUDE.md #10 "
+                 f"« {exp['devises']} » (ordre exact)")
+        else:
+            _miss = sorted(want_set - set(_sp_opt)); _extra = sorted(set(_sp_opt) - want_set)
+            _d = (f" · absents={_miss}" if _miss else "") + (f" · en trop={_extra}" if _extra else "")
+            bad(f"Fiscal devises · (a) spec moneda.options {_sp_opt} ≠ CLAUDE.md #10 "
+                f"{want_cur}{_d} → aligner le spec (ou CLAUDE.md #10)")
+        # (b) ARTEFACT byte-gaté == devises #10 (ordre exact)
+        if _pl_opt == want_cur:
+            good(f"Fiscal devises · (b) ecf_plan.moneda.options {_pl_opt} == CLAUDE.md #10")
+        else:
+            bad(f"Fiscal devises · (b) ecf_plan.moneda.options {_pl_opt} ≠ CLAUDE.md #10 "
+                f"{want_cur} → régénérer l'artefact")
+        # (c) le spec DÉCLARE l'ancrage : options_source cite CLAUDE.md #10 + chaque devise
+        _osrc = str(_mon_spec.get("options_source", ""))
+        _missing_tok = [c for c in want_cur if c not in _osrc]
+        if "CLAUDE.md #10" not in _osrc or _missing_tok:
+            bad(f"Fiscal devises · (c) moneda.options_source ne DÉCLARE pas l'ancrage "
+                f"CLAUDE.md #10 + {want_cur} (manquant : "
+                f"{'CLAUDE.md #10' if 'CLAUDE.md #10' not in _osrc else _missing_tok}) : {_osrc!r}")
+        else:
+            good("Fiscal devises · (c) spec DÉCLARE l'ancrage (options_source cite "
+                 "CLAUDE.md #10 + chaque devise)")
+        # (d) README — la ligne #10 cite le jeu EXACT + toute paire moneda/devise == le jeu
+        ecf_mon_rd = read_norm(ECF_MON_RD)
+        if ecf_mon_rd is not None:
+            # (d1) la ligne qui se réclame de #10 : « devise (…USD/DOP… · #10) »
+            m10 = re.search(r"devise[^\n]*?\(([^)]*#10[^)]*)\)", ecf_mon_rd)
+            if m10 is None:
+                bad(f"Fiscal devises · (d1) {ECF_MON_RD} — ligne « devise (… · #10) » "
+                    f"INTROUVABLE → la prose ne se réclame plus de #10")
+            elif set(re.findall(r"[A-Z]{3}", m10.group(1))) != want_set:
+                bad(f"Fiscal devises · (d1) {ECF_MON_RD} — ligne #10 cite "
+                    f"{sorted(set(re.findall(r'[A-Z]{3}', m10.group(1))))} MAIS #10 dit "
+                    f"{sorted(want_set)} → régénérer le README")
+            else:
+                # (d2) AUCUNE mention moneda/devise d'une paire de devises n'est périmée
+                pairs = re.findall(r"(?:moneda|devise)[^.|\n]{0,40}?\b([A-Z]{3}\s*/\s*[A-Z]{3})\b",
+                                   ecf_mon_rd)
+                stale = [p for p in pairs if set(re.findall(r"[A-Z]{3}", p)) != want_set]
+                if not pairs:
+                    bad(f"Fiscal devises · (d2) {ECF_MON_RD} — aucune mention moneda/devise "
+                        f"du jeu {sorted(want_set)} → claim absent")
+                elif stale:
+                    bad(f"Fiscal devises · (d2) {ECF_MON_RD} — mention(s) de devises PÉRIMÉE(S) "
+                        f"{stale} ≠ CLAUDE.md #10 {sorted(want_set)} → régénérer le README")
+                else:
+                    good(f"Fiscal devises · (d) README cite le jeu #10 {sorted(want_set)} "
+                         f"+ {len(pairs)} mention(s) moneda/devise concordante(s)")
+
 # ============================================================================
 # Démo · run-sheet de pitch (2e surface du MÊME README) · la TABLE des SCÉNARIOS
 # — l'IDENTITÉ de chaque ligne (id · projet+libellé · audience), jamais gatée.