[DTP-Worker 20260806_104533] FIX couverture · oracle orphelin brief.schema.json câblé à un test → le SEUL des 26 *.schema.json non enforced

Constat: faisabilite/generator/brief.schema.json, documenté « Contrat d'entrée »
et sibling de version/projets_master (tous deux test-enforced), n'était validé
par AUCUN test — _validate_brief() ne garde que le code projet, jamais la forme
complète du brief; un brief drifté hors contrat passait inaperçu.

Fix (teeth): test_input_briefs_validate_against_brief_schema valide les 2 fixtures
contre brief.schema.json via le validateur maison Publiciste (zéro-pip, toujours
exécuté, pas de skip sous python -S). Conformité pré-vérifiée sous validateur
maison ET oracle jsonschema. L'« incomplet » est conforme au sens schéma
(null admis) — incomplet seulement au sens sémantique (prix→placeholders #6).

Cascade régénérée (générateurs, jamais à la main #6): regression_plan/run/MANIFEST
16→17 · totaux 624→625 exécutés / 607→608 passés / 17 skippés · quality_report
evidence 16→17. Prose gatée réalignée (le gate check-readme-claims a mordu):
README module + fiches faisabilite/qa/erpnext_backend. Prose ungatée: GAP_ANALYSIS
16→17 + nouveau bloc daily_report (blocs currency antérieurs = snapshots datés,
non réécrits).

0 gate ajouté (#5) · 0 chiffre à la main (#6) · 0 commande VPS (#8).
run_ci.sh = 33 PASS · 0 FAIL · 0 SKIP.

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
This commit is contained in:
Claude Code DTP Worker
2026-08-06 10:56:35 +00:00
parent d9668d6079
commit 3710253c02
12 changed files with 114 additions and 16 deletions
+1 -1
View File
@@ -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** 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 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 tests** (10 + 11 + 12 + 11 + 16) + **e-CF 39 tests**, tous gated dans le CI (matrice
de régression du repo : **624 tests · 24 suites** · verdict `PASS`, source de régression du repo : **625 tests · 24 suites** · verdict `PASS`, source
`qa/regression/out/regression_run.json` — jamais compté à la main · #6). `qa/regression/out/regression_run.json` — jamais compté à la main · #6).
## Hand-off reçus (à appliquer sur le VPS, dans l'ordre) ## Hand-off reçus (à appliquer sur le VPS, dans l'ordre)
+1 -1
View File
@@ -19,7 +19,7 @@ les composants runtime OTOIA/VPS listés plus bas (`otoia/capabilities/…`, sys
| Module | Sprint | Rôle | Entrée CLI | Job CI | Tests | | Module | Sprint | Rôle | Entrée CLI | Job CI | Tests |
|---|---|---|---|---|---| |---|---|---|---|---|---|
| [`TEMPLATE_FAISABILITE_CANONIQUE_v1.0.md`](../../05_deliverables_mvp/faisabilite/TEMPLATE_FAISABILITE_CANONIQUE_v1.0.md) | 1 (roadmap L41-46) | **Template canonique v1.0** — contrat des 4 volets + champs obligatoires (§Livrable S1 ci-dessous) | — (doc contrat) | `check-docs` | — | | [`TEMPLATE_FAISABILITE_CANONIQUE_v1.0.md`](../../05_deliverables_mvp/faisabilite/TEMPLATE_FAISABILITE_CANONIQUE_v1.0.md) | 1 (roadmap L41-46) | **Template canonique v1.0** — contrat des 4 volets + champs obligatoires (§Livrable S1 ci-dessous) | — (doc contrat) | `check-docs` | — |
| [`generator/`](../../05_deliverables_mvp/faisabilite/generator/README.md) | 2 (roadmap L44) | **Générateur 4 volets** : `brief.json``data_room/PXX/` (template v1.0), round-trip via le parser Publiciste | `faisabilite_gen.py score\|scaffold\|generate\|batch` | `faisabilite-gen-tests` | 16 | | [`generator/`](../../05_deliverables_mvp/faisabilite/generator/README.md) | 2 (roadmap L44) | **Générateur 4 volets** : `brief.json``data_room/PXX/` (template v1.0), round-trip via le parser Publiciste | `faisabilite_gen.py score\|scaffold\|generate\|batch` | `faisabilite-gen-tests` | 17 |
| [`bancable/`](../../05_deliverables_mvp/faisabilite/bancable/README.md) | 3 (roadmap L46) | **Dossier bancable trilingue** : `brief.json``50_financier_bancable/{fr,en,es}.md` + manifest, figures sourcées verbatim + agrégats recalculés | `bancable_gen.py build\|validate` | `bancable-tests` | 22 | | [`bancable/`](../../05_deliverables_mvp/faisabilite/bancable/README.md) | 3 (roadmap L46) | **Dossier bancable trilingue** : `brief.json``50_financier_bancable/{fr,en,es}.md` + manifest, figures sourcées verbatim + agrégats recalculés | `bancable_gen.py build\|validate` | `bancable-tests` | 22 |
**Anti-invention (#6)** : `generator` et `bancable` ne **fabriquent aucun chiffre** — les figures **Anti-invention (#6)** : `generator` et `bancable` ne **fabriquent aucun chiffre** — les figures
+1 -1
View File
@@ -32,7 +32,7 @@ périmètre — un auditeur ne s'audite jamais.
**conformité** normative des hand-off. **conformité** normative des hand-off.
## Verdict agrégé courant (source `qa/regression/out/regression_run.json`) ## Verdict agrégé courant (source `qa/regression/out/regression_run.json`)
**24 suites gated · 624 tests · 607 passés · 0 échec · 0 erreur → verdict `PASS`.** **24 suites gated · 625 tests · 608 passés · 0 échec · 0 erreur → verdict `PASS`.**
Ce compte est **découvert automatiquement depuis le CI** (`q4lib.registry.parse_ci`, Ce compte est **découvert automatiquement depuis le CI** (`q4lib.registry.parse_ci`,
réutilisé sans duplication) — jamais compté à la main. réutilisé sans duplication) — jamais compté à la main.
Les **17 tests restants sont ignorés** (`skipped`) : ce sont les *oracles optionnels* Les **17 tests restants sont ignorés** (`skipped`) : ce sont les *oracles optionnels*
+52
View File
@@ -882,3 +882,55 @@ lecture-seule, occurrence-zéro, rejouable → **pas un gate** (#5), sibling de
(#5), **0 chiffre saisi à la main** (#6 — `26`/`57` recomputés par balayage), **0 commande VPS** (#8). (#5), **0 chiffre saisi à la main** (#6 — `26`/`57` recomputés par balayage), **0 commande VPS** (#8).
`./run_ci.sh` = **33 PASS · 0 FAIL · 0 SKIP** (inchangé). Seules éditions : ce journal + mémoire `./run_ci.sh` = **33 PASS · 0 FAIL · 0 SKIP** (inchangé). Seules éditions : ce journal + mémoire
`schema-oracle-teeth-audit` (+ pointeur `MEMORY.md`). `schema-oracle-teeth-audit` (+ pointeur `MEMORY.md`).
---
## Session `20260806_104533` — FIX couverture · oracle orphelin `brief.schema.json` câblé à un test (le seul des 26 schémas non enforced) · +1 test · 4 artefacts régénérés · CI verte
**Choix de tâche.** `./run_ci.sh` au démarrage = **33 PASS · 0 FAIL · 0 SKIP**, arbre propre,
roadmap `ROADMAP_8_WEEKS_OR_LESS.md` livrée/gatée, `OPEN_DECISIONS_REGISTER.md` = 3 arbitrages
produit appartenant à Michel (non éditables worker). Plutôt qu'un énième sweep zéro-trouvaille,
recherche d'une **lacune de couverture réelle et corrigeable**.
**Axe.** Câblage des 26 oracles `*.schema.json` aux tests (distinct du *teeth-audit* qui prouvait
la non-vacuité des schémas, et de la *closedness* : ici « le schéma valide-t-il réellement
quelque chose ? »). Balayage `grep -rl <basename>.schema.json --include='*.py'` sur tout le dépôt :
**25/26 schémas référencés par au moins un `.py`** ; **1 orphelin** →
`faisabilite/generator/brief.schema.json` (**0 référence** dans aucun `.py`).
**Constat — orphelin authentique, pas by-design.**
- Le README du module documente `brief.schema.json` comme **« Contrat d'entrée »** (avec lien) et
ses deux siblings (`version.schema.json`, `projets_master.schema.json`) SONT test-enforced
(`test_version_json_validates_against_schema`, `test_full_pipeline_master_validates`).
- Le garde-fou runtime `faisabilite_gen.py::_validate_brief()` ne vérifie QUE le code `projet`
(`P01..P09`), **jamais** la forme complète du brief (masterplan/architecture/typologies…).
- Donc un brief drifté hors contrat (type erroné, clé renommée/droppée) passait **inaperçu** :
l'asymétrie vs les 2 siblings est le tell.
**Correction (teeth, pas churn).** Ajout de `test_input_briefs_validate_against_brief_schema`
dans `tests/test_generator.py` : valide `brief_complete.json` **et** `brief_incomplete.json` contre
`brief.schema.json` via le **validateur maison Publiciste** (zéro-pip → toujours exécuté, **pas** de
skip sous `python -S`, donc `skipped` reste 17). Vérifié empiriquement AVANT d'écrire le test : les
deux fixtures conforment sous le validateur maison **ET** l'oracle `jsonschema` (`errs=[]` / OK).
L'« incomplet » est conforme au **sens schéma** (null/champ absent admis, seul `projet` requis) ; il
n'est « incomplet » qu'au **sens sémantique** (prix→placeholders/rétrogradation · anti-invention #6).
**Cascade gatée régénérée** (générateurs, jamais à la main · #6) :
- `count_tests` (faits disque) → `regression_plan.json` : `faisabilite/generator` 16→**17**.
- `regression_gen.py build` + `run` → `regression_run.json` + `MANIFEST.json` : totaux
**624→625** exécutés · **607→608** passés · **17** skippés inchangés · 24/24 vertes · PASS byte-repro.
- `audit_4big_gen.py build` → `quality_report.json` : evidence « 16 méthodes test_* » → **17** (24/24 ≥95).
**Prose gatée réalignée** (le gate `check-readme-claims` a mordu, comme prévu, sur 4 surfaces) :
README module (`16 tests`→`17`, + mention du contrat d'entrée), fiches
`03_agents/faisabilite/AGENT.md:22` (col Tests 16→17), `03_agents/qa/AGENT.md` (624/607→625/608),
`03_agents/erpnext_backend/AGENT.md` (624→625). **Prose ungatée present-tense réalignée** :
`GAP_ANALYSIS_SPRINT1.md` (16→17 tests). **Canal stakeholder** : nouveau bloc de session appendé à
`daily_reports/2026-08-06.md` (les 3 blocs de currency antérieurs = snapshots datés à leur HEAD,
**non réécrits** — leur 624/607 était juste à leur instant).
**Portée / anti-churn.** **0 gate ajouté** (#5 — le gate `check-readme-claims` existant a suffi à
prouver la cohérence, il a mordu sur les 4 fiches/README stales) · **0 chiffre saisi à la main**
(#6 — tous recomputés par les générateurs) · **0 commande VPS** (#8). `./run_ci.sh` =
**33 PASS · 0 FAIL · 0 SKIP**. Fichiers touchés : 1 test (+1 méthode) · 4 artefacts régénérés ·
5 surfaces prose · ce journal.
+1 -1
View File
@@ -71,7 +71,7 @@ et la cible plancher **4-5 semaines**.
- ✅ P01, P08, P09 : prix documentés dans `commercial.md`. - ✅ P01, P08, P09 : prix documentés dans `commercial.md`.
-**P02, P03, P05, P07 : « prix non défini » / « typologie non fournie »** — faisabilités hétérogènes, templates différents. -**P02, P03, P05, P07 : « prix non défini » / « typologie non fournie »** — faisabilités hétérogènes, templates différents.
- **Cause** : générations avec templates non versionnés / anciens. - **Cause** : générations avec templates non versionnés / anciens.
- **À faire** : ~~template canonique v1.0~~**livré S1**~~générateur 4 volets~~**livré S2** (`faisabilite/generator/` : brief JSON → `data_room/PXX/` template v1.0 + scoring §7 + `version.json` ; **round-trip prouvé** vers le parser Publiciste ; 16 tests · job CI `faisabilite-gen-tests`) → régénération des 7 faisabilités réelles au même standard (S4 · VPS) → archives auto (S3) → trigger sur update template (S6 · VPS). - **À faire** : ~~template canonique v1.0~~**livré S1**~~générateur 4 volets~~**livré S2** (`faisabilite/generator/` : brief JSON → `data_room/PXX/` template v1.0 + scoring §7 + `version.json` ; **round-trip prouvé** vers le parser Publiciste ; 17 tests · job CI `faisabilite-gen-tests`) → régénération des 7 faisabilités réelles au même standard (S4 · VPS) → archives auto (S3) → trigger sur update template (S6 · VPS).
- **Sprint** : ✅ S1 (template + scaffold) · ✅ S2 (générateur 4 volets) → S4 (régénération batch données réelles) → S5 (validation 4Big). - **Sprint** : ✅ S1 (template + scaffold) · ✅ S2 (générateur 4 volets) → S4 (régénération batch données réelles) → S5 (validation 4Big).
### 3 · Rendu Agent — 🟡 Refactor (gain ~40 %) ### 3 · Rendu Agent — 🟡 Refactor (gain ~40 %)
@@ -166,3 +166,34 @@ re-sweep de vérification. **0 artefact reconstruit**, **0 gate ajouté** (#5),
saisi à la main** (#6`8`/`25`/`33`/`624`/`607`/`17` recomputés de `git ls-files` · saisi à la main** (#6`8`/`25`/`33`/`624`/`607`/`17` recomputés de `git ls-files` ·
`run_ci.sh` · `ci.yml` · `regression_run.json`), **aucune commande VPS** (#8). Seules `run_ci.sh` · `ci.yml` · `regression_run.json`), **aucune commande VPS** (#8). Seules
éditions : cette section de currency + le journal `05_activity_log/`. éditions : cette section de currency + le journal `05_activity_log/`.
---
## FIX couverture — oracle orphelin `brief.schema.json` câblé au test (session `104533`)
**Édition de dépôt cette session : OUI (générateur de tests + 4 artefacts régénérés).**
Contrairement aux sessions de currency ci-dessus, cette session livre une **amélioration de
couverture réelle**, pas un sweep lecture-seule.
**Constat.** `faisabilite/generator/brief.schema.json` — documenté comme **« Contrat d'entrée »**
dans le README du module et sibling des deux autres schémas faisabilité — était le **seul des 26
oracles `*.schema.json` non câblé à un test** : `_validate_brief()` ne garde que le code `projet`
(`^P0[1-9]$`), jamais la forme complète du brief ; aucun test ne validait les fixtures contre le
schéma. Un brief drifté hors contrat (type erroné, clé renommée) passait donc inaperçu.
**Correction.** Ajout de `test_input_briefs_validate_against_brief_schema` : valide
`brief_complete.json` **et** `brief_incomplete.json` contre `brief.schema.json` via le **validateur
maison Publiciste** (zéro-pip, toujours exécuté — pas de skip sous `python -S`). L'« incomplet »
est conforme au sens schéma (null/champ absent admis) ; il n'est « incomplet » qu'au sens
sémantique (prix→placeholders). Confirmé par les **deux** validateurs (maison + oracle `jsonschema`).
| Chiffre | Avant | Après | Source régénérée |
|---|---|---|---|
| Tests `faisabilite/generator` | 16 | **17** | `count_tests` (disque) → `regression_plan.json` |
| Matrice de régression (exécutés) | 624 | **625** | `qa/regression/out/regression_run.json` (`totals`) |
| Matrice de régression (passés) | 607 | **608** | idem (17 skippés inchangés) |
**Artefacts régénérés** (jamais édités à la main · #6) : `regression_plan.json`,
`regression_run.json`, `regression/out/MANIFEST.json`, `audit_4big/out/quality_report.json`.
**Prose gatée réalignée** : README module (`17 tests`), fiches `03_agents/{faisabilite,qa,erpnext_backend}`.
`run_ci.sh` = **33 PASS · 0 FAIL · 0 SKIP** · **0 gate ajouté** (#5) · **aucune commande VPS** (#8).
@@ -93,8 +93,9 @@ Voir [`brief.schema.json`](./brief.schema.json). Les fixtures sont **synthétiqu
python3 -m unittest discover -s tests -v python3 -m unittest discover -s tests -v
``` ```
16 tests `unittest` (stdlib pur, **zéro pip**) : scoring, rétrogradation, 17 tests `unittest` (stdlib pur, **zéro pip**) : scoring, rétrogradation,
paramètres canoniques, et **round-trip end-to-end** generator → parser Publiciste paramètres canoniques, conformité des fixtures au **contrat d'entrée**
(`brief.schema.json`), et **round-trip end-to-end** generator → parser Publiciste
`projets_master.json` validé contre le schéma. Réutilise le parser + le `projets_master.json` validé contre le schéma. Réutilise le parser + le
validateur du Publiciste (aucune duplication · workflow #5). Un oracle validateur du Publiciste (aucune duplication · workflow #5). Un oracle
`jsonschema` est activé en plus s'il est installé. `jsonschema` est activé en plus s'il est installé.
@@ -175,6 +175,20 @@ class RoundTripTest(unittest.TestCase):
errs = pub_validator.validate(version, _schema("version.schema.json")) errs = pub_validator.validate(version, _schema("version.schema.json"))
self.assertEqual(errs, [], f"version.json non conforme : {errs}") self.assertEqual(errs, [], f"version.json non conforme : {errs}")
def test_input_briefs_validate_against_brief_schema(self):
# `brief.schema.json` est le « Contrat d'entrée » documenté (README §Contrat
# d'entrée) : les deux fixtures DOIVENT s'y conformer. Le brief « incomplet »
# l'est au sens SÉMANTIQUE (prix absents → placeholders/rétrogradation), pas au
# sens SCHÉMA (le schéma admet null/champ absent, seul `projet` est requis).
# Sans ce test, le contrat d'entrée resterait un oracle orphelin : `_validate_brief`
# ne garde que le code `projet`, jamais la forme complète du brief.
with open(os.path.join(_GEN, "brief.schema.json"), encoding="utf-8") as fh:
brief_schema = json.load(fh)
_, pub_validator = _pub()
for name in ("brief_complete.json", "brief_incomplete.json"):
errs = pub_validator.validate(_brief(name), brief_schema)
self.assertEqual(errs, [], f"{name} viole brief.schema.json : {errs}")
def test_full_pipeline_master_validates(self): def test_full_pipeline_master_validates(self):
# Génère 2 projets → parcours build_master → projets_master.json conforme. # Génère 2 projets → parcours build_master → projets_master.json conforme.
for name in ("brief_complete.json", "brief_incomplete.json"): for name in ("brief_complete.json", "brief_incomplete.json"):
@@ -318,7 +318,7 @@
"criterion": "DOC", "criterion": "DOC",
"weight": 20, "weight": 20,
"passed": true, "passed": true,
"evidence": "README.md (4797 octets)" "evidence": "README.md (4870 octets)"
}, },
{ {
"criterion": "CONTRAT", "criterion": "CONTRAT",
@@ -330,7 +330,7 @@
"criterion": "TESTS", "criterion": "TESTS",
"weight": 25, "weight": 25,
"passed": true, "passed": true,
"evidence": "16 méthodes test_* dans 1 fichier(s) (seuil 8)" "evidence": "17 méthodes test_* dans 1 fichier(s) (seuil 8)"
}, },
{ {
"criterion": "CLI", "criterion": "CLI",
@@ -5,7 +5,7 @@
"version": "1.0", "version": "1.0",
"verdict": "PASS", "verdict": "PASS",
"suites": 24, "suites": 24,
"test_methods": 624, "test_methods": 625,
"coverage_ok": true, "coverage_ok": true,
"artifacts": [ "artifacts": [
"regression_plan.json" "regression_plan.json"
@@ -112,7 +112,7 @@
"in_gate": true, "in_gate": true,
"has_tests_dir": true, "has_tests_dir": true,
"test_files": 1, "test_files": 1,
"test_methods": 16 "test_methods": 17
}, },
{ {
"id": "fiscal.ecf_dgii", "id": "fiscal.ecf_dgii",
@@ -295,7 +295,7 @@
"totals": { "totals": {
"suites": 24, "suites": 24,
"test_files": 24, "test_files": 24,
"test_methods": 624, "test_methods": 625,
"min_methods": 10, "min_methods": 10,
"under_threshold": 0 "under_threshold": 0
}, },
@@ -90,9 +90,9 @@
{ {
"id": "faisabilite.generator", "id": "faisabilite.generator",
"path": "faisabilite/generator", "path": "faisabilite/generator",
"expected_methods": 16, "expected_methods": 17,
"ran": 16, "ran": 17,
"passed": 15, "passed": 16,
"failures": 0, "failures": 0,
"errors": 0, "errors": 0,
"skipped": 1, "skipped": 1,
@@ -296,8 +296,8 @@
"suites": 24, "suites": 24,
"green": 24, "green": 24,
"red": 0, "red": 0,
"ran": 624, "ran": 625,
"passed": 607, "passed": 608,
"failures": 0, "failures": 0,
"errors": 0, "errors": 0,
"skipped": 17 "skipped": 17