Skip to content

feat(15-7b1): le chargement de la démonstration s'inscrit au journal d'audit — registre 105/112 (closes #544, refs #434) - #583

Merged
guycorbaz merged 15 commits into
mainfrom
story/15-7b1-trace-demonstration
Oct 9, 2026
Merged

guycorbaz merged 15 commits into
mainfrom
story/15-7b1-trace-demonstration

Conversation

@guycorbaz

Copy link
Copy Markdown
Owner

closes #544 · refs #434

⚠️ Même release que la 15-7a2 et la 15-7b2. Fusionner sur main dès maintenant ne pose pas de problème.

Ce qui change

Le journal d'audit du chargement de la démonstration. seed-demo écrit installation.demo_seeded, puis l'étape franchie, dans sa dernière transaction. Cette transaction est rejouée en cas d'interblocage (erreur 1213).

La course avec start-production. L'étape est revérifiée sous verrou. Si start-production passe entre-temps, la route rend 400.

La transaction. L'auteur du chargement, utilisateur ou clé d'API, est transmis jusqu'à l'écriture du journal. Le drapeau is_stub n'est plus levé hors transaction : il l'est sous verrou.

Le registre des routes. Il compte désormais 105 routes tracées, 5 exemptées et 2 sans matière, soit 112.

Le manuel utilisateur. Le § « Chemin A » décrit maintenant ce que seed_demo crée réellement, ce qui ferme #544. Il écrit aussi une limite connue : un chargement interrompu, ou refusé par la course, laisse ses données sans entrée au journal (#538).

Gate

Exécuté localement, sur l'état rebasé sur dc4bc58b :

Revues

  • Revue de code P1 (Sonnet ×3) : 1 MEDIUM distinct, qui relevait que la seule défense contre la course n'avait aucun test.
  • Remédiation : elle n'ajoute que des tests et des commentaires. Le rejeu sur 1213 est désormais prouvé par test.
  • P2 ciblée (Haiku) : 0.

🤖 Generated with Claude Code

guycorbaz and others added 15 commits October 9, 2026 11:10
…104/6/2 → 105/5/2), renvois relocalisés, colonne Rejeu et bras 422 tranchés (refs #434, refs #544)

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
… dans sa dernière transaction, rejouée sur 1213 ; acteur threadé, drapeau provisoire levé sous verrou, registre 105/5/2 (refs #434, refs #544)

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
… plus appelées par seed_demo, rejeu InactiveOrInvalidAccounts sans effet attendu, synthèse de démonstration, Pattern 5 et renvoi à #538 (refs #434)

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
…n au journal (lorsqu'il aboutit, #538), 105 + 5 + 2 = 112, § Chemin A réécrit sur ce que seed_demo crée et sortie par la réinitialisation (refs #434, refs #544)

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
…w (refs #434, refs #544)

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
…434)

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
…, rejeu sur 1213 prouvé, résidu de la course écrit (#538) (refs #434, refs #544)

Revue de code P1 (Sonnet ×3) : B 4 LOW ; E 1 MEDIUM, 3 LOW ; A 1 MEDIUM, 3 LOW.
- E-1 = A-1 : tests d'appel direct de kesh_seed::seed_demo aux étapes 3 et 4,
  et course start-production rendue déterministe (déclencheur) → 400.
- B-3 : prédicat is_seed_retryable sur une vraie 1213 (SIGNAL), rejeu de bout
  en bout (1213 levée une fois par déclencheur).
- B-4 = A-4 : garde de source 11 (b) normalisée (blancs, casse).
- B-1 = E-3, A-3 : résidu de la course et limite #538 au doc-comment, au
  CHANGELOG et aux deux manuels (PDF régénérés).
- A-2 : commentaires de profile.rs et fiscal_years.rs.
- E-4 : angle mort ui_mode retiré ; E-2 : dette ; B-2 : arbitrage de Guy.
Mutations M6-M9 rouges. Aucune ligne de code de production exécutable.
Choix C-15-7b1-2, C-15-7b1-3.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
…0), gates complets sur la tête, statut done (refs #434, refs #544)

Rebase sur origin/main sans objet (déjà sur 200f5e7). Partition du registre
recomptée depuis LIB_ROUTES : 105 / 5 / 2 = 112 (115 avec les routes de test).
Gates complets sur 0d711e7 : backend 2984/2984 (4 ignorés), Vitest
1095/1095, E2E 244 passés / 10 échecs tous attendus (7 KF-029, 2 KF-045,
sidebar-navigation:75 vert rejoué seul — pollution). Axe manuel de la P2
repris : PDF aplatis conformes.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
…15-6b) (refs #434)

Les deux PDF portaient, après résolution du conflit binaire, la version de la
15-7b1 seule. Régénérés depuis les .tex fusionnés (make fr, recompilation
forcée) et contrôlés aplatis : les ajouts de la 15-6b et ceux de la 15-7b1
y figurent tous.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
…lets 3017/3017, Vitest 1118/1118, E2E 10 échecs attendus (refs #434, refs #544)

Second rebase, main ayant avancé pendant les premiers gates : registre des
choix et sprint-status par union, PDF régénérés. Partition 105/5/2 = 112
recomptée depuis LIB_ROUTES. E2E : 7 KF-029, 2 KF-045, KF-052 (#424, rouge
rejoué seul).

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
…15-12b) (refs #434)

Recompilation forcée depuis les .tex fusionnés ; PDF aplatis contrôlés : les
ajouts de la 15-6b, de la 15-12b et de la 15-7b1 y figurent tous.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
…lets 3037/3037, Vitest 1139/1139, E2E 10 échecs attendus (refs #434, refs #544)

Troisième rebase, main ayant de nouveau avancé pendant les gates : registre des
choix et sprint-status par union, PDF régénérés. Partition 105/5/2 = 112
recomptée depuis LIB_ROUTES. E2E : 7 KF-029, 2 KF-045, KF-052 (#424, rouge
rejoué seul).

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
…15-13a) (refs #434)

Le PDF d'administration de la 15-13a et le .tex fusionné (105 + 5 + 2 = 112,
port 3306 non publié) recompilés ensemble ; manuel utilisateur recompilé par
cohérence. Contrôlés aplatis.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
…lets 3044/3044, Vitest 1139/1139, E2E 10 échecs attendus (refs #434, refs #544)

Quatrième rebase, main ayant reçu la 15-13a : registre des choix et
sprint-status par union (ligne renumérotée (41)), PDF d'administration
régénéré depuis le .tex fusionné. Partition 105/5/2 = 112 recomptée depuis
LIB_ROUTES. Compilation à froid. E2E 246 passés : 7 KF-029, 2 KF-045,
KF-052 (#424, rouge rejoué seul).

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
@guycorbaz
guycorbaz force-pushed the story/15-7b1-trace-demonstration branch from d1daf0e to d9139f9 Compare October 9, 2026 09:33
@guycorbaz
guycorbaz merged commit 245b91e into main Oct 9, 2026
3 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Manuel : le chemin « démonstration » promet des contacts, produits et écritures d'exemple que Kesh ne crée pas

1 participant