diff --git a/05_activity_log/2026-08-06.md b/05_activity_log/2026-08-06.md index de825ea..0ca4588 100644 --- a/05_activity_log/2026-08-06.md +++ b/05_activity_log/2026-08-06.md @@ -1325,3 +1325,40 @@ teeth-prouvé. Édition minimale : **1 test durci** (pas de logique de productio `qa-acceptance` OK, `./run_ci.sh` = **33 PASS · 0 FAIL · 0 SKIP**. Fichiers : ce journal + le test durci + 1 entrée mémoire (`test-assertion-reachability-sweep`). Sweep **rejouable** (AST stdlib pur) — **NON promu en gate** (#5, occurrence-quasi-zéro après fix). + +## Session `20260806_154606` — VÉRIF · axe NEUF « intégrité temporelle des tokens datés » → CLEAN · 0 édition de production + +**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` intégralement livrée/gatée (prod VPS / EAS / ONAPI hors périmètre · #8), +`OPEN_DECISIONS_REGISTER.md` = 3 arbitrages produit de Michel (non éditables). Objectif : un **axe teeth +encore jamais balayé** (candidat ancres intra-doc `](#frag)` écarté = **occurrence-zéro**). + +**Axe NEUF (absent de la mémoire).** Toutes les dimensions déjà couvertes portent sur des **valeurs** +(comptes, slugs, schémas, encodage NFC/byte). Jamais balayé : la **validité calendaire** des **tokens +datés** eux-mêmes. Un `2026-02-30` / `2026-13-01` / `20260840_…` se lit comme une date mais **n'existe +pas** = date **inventée / typo** — faux-vert direct contre **#6 « Zéro invention »**, invisible à tous +les gates (aucun ne parse les dates). Distinct de `two-logging-channels` (qui borne les *figures*, pas +la *forme des dates*). + +**Détecteur (stdlib pur `datetime.date`, rejouable).** +- **ISO** `YYYY-MM-DD` : chaque token doit construire un `datetime.date` valide (mois 1-12, jour valide + pour le mois, années bissextiles gérées par la stdlib). +- **Compact** `YYYYMMDD` (préfixe des session-ids `_HHMMSS`) : bornes **digit-only** `(?