46 lines
4.3 KiB
Markdown
46 lines
4.3 KiB
Markdown
# MEN1-C-ECART : écart de chiffres de CHG-329 (« 10 sur 60 » contre « 12 sur 100 »)
|
|
|
|
Fiche MEN1-C, session Low, 2026-10-14. Lecture seule : journal et sources non modifiés. Chemins relatifs à `D:\Game\LifePlay-master 5.8\Docs\`.
|
|
|
|
## Conclusion
|
|
|
|
**Pas de contradiction : deux mesures différentes de la même chose** (`New-Item` non atomique, 8 threads sur une barrière, pwsh 7.6.6).
|
|
CHG-329 cite la mesure de la VAL (OUTC-VAL-B, 60 tours) ; l'IMPL (OUTC-T2-IMPL) porte la mesure d'origine (100 tours).
|
|
Le défaut est de **rattachement** : CHG-329 écrit la mesure de la VAL à la place de celle de l'IMPL, sans le dire, alors que CHG-331 et VERR1 citent celle de l'IMPL.
|
|
|
|
## Chiffres à la source
|
|
|
|
| Source | Fichier, ligne | Citation exacte | Tours | Un seul succès | Plusieurs succès |
|
|
|---|---|---|---|---|---|
|
|
| IMPL (mesure d'origine) | `Migration\etat\OUTC\OUTC-T2-IMPL.md` l. 21 | « exactement 1 succès dans 12 tours, plusieurs succès dans 88 tours » | 100 | 12 | 88 |
|
|
| VAL B (contre-preuve) | `Migration\etat\OUTC\OUTC-VAL-B_essais.txt` l. 440 | « NewItem : exactement 1 succes = 10/60 ; plusieurs succes = 50/60 ; aucun = 0/60 » | 60 | 10 | 50 |
|
|
| VAL B (synthèse) | `Migration\etat\OUTC\OUTC-VAL-B.md` l. 16 et 46 | « `New-Item` 10/60 seulement » ; « `New-Item` 10/60 (plusieurs succès dans 50 tours : 2 à 8) » | 60 | 10 | 50 |
|
|
| CHG-329 | `Journal_Modifications.md` l. 1164 | « `New-Item` sans `-Force` n'est pas atomique, 10 tours sur 60 à un seul succès en threads contre 60 sur 60 » | 60 | 10 | (non cité) |
|
|
| CHG-331 | `Journal_Modifications.md` l. 1162 | « plusieurs succès dans 88 tours sur 100 ; `CreateDirectoryW` 1 succès dans 100 tours sur 100 » (renvoie à `OUTC-T2-IMPL.md` § 2) | 100 | 12 (implicite) | 88 |
|
|
| VERR1 SPEC | `Migration\etat\AG\VERR1\VERR1-SPEC.md` l. 11-13, 21-22 | « 1 seul succès dans 12 tours, plusieurs succès dans 88 tours » ; écart signalé : « CHG-329 écrit "10 tours sur 60 à un seul succès", l'IMPL "12 sur 100" » | 100 | 12 | 88 |
|
|
| Autre contre-essai (VERR1) | `Migration\etat\AG\VERR1\VERR1-essai-mkdir.txt` l. 8 | « pwsh-mkdir : exactement 1 succes=8 ; plusieurs succes=92 » | 100 | 8 | 92 |
|
|
|
|
Contre-partie `CreateDirectoryW` : IMPL l. 21 « 1 succès dans 100 tours sur 100 » (100/100) ; VAL B_essais l. 442 « exactement 1 succes = 60/60 ». CHG-329 cite « 60 sur 60 » : cohérent avec la VAL, pas avec l'IMPL (100 sur 100).
|
|
|
|
## Origine du « 12 sur 100 » dans la fiche de Big Boss
|
|
|
|
La fiche MEN1 dit « 12 sur 100 d'après BOSS l. 349 ». BOSS-JOURNAL l. 349 ne contient que le renvoi (« CHG-329 "10 sur 60" contre "12 sur 100" (OUTC-T2-IMPL) ») ; le chiffre mesuré est à `OUTC-T2-IMPL.md` l. 21.
|
|
|
|
## Limite de la preuve
|
|
|
|
La sortie brute des 100 tours de l'IMPL n'est pas dans `OUTC-T2_essais.txt` (aucune ligne de la mesure ; le fichier compte 124 appels pour le verrou et le numéroteur). L'IMPL la place « dans ce compte rendu » (l. 21, « tour 9 ») ; le script `stress2.ps1` est dans le scratchpad d'une ancienne session. Le « 12 sur 100 » est donc **établi par l'IMPL, non rejoué** ici ; le « 10 sur 60 » est établi par un fichier de sortie brute (VAL B_essais l. 439-444). Je n'ai rien rejoué (le tirage varie d'un essai à l'autre : 8, 10 ou 12 tours sur le total sont du même ordre).
|
|
|
|
## Correction proposée (CHG-329, journal l. 1164, à décider par l'utilisateur ; non faite)
|
|
|
|
Avant :
|
|
`écart E1 : New-Item sans -Force n'est pas atomique, 10 tours sur 60 à un seul succès en threads contre 60 sur 60`
|
|
|
|
Après (variante A, on garde la mesure de la VAL, on la rattache) :
|
|
`écart E1 : New-Item sans -Force n'est pas atomique (OUTC-T2-IMPL § 2 : 1 seul succès dans 12 tours sur 100 ; contre-preuve OUTC-VAL-B : 10 tours sur 60), alors que CreateDirectoryW donne 1 succès dans 100 tours sur 100 (IMPL) et 60 sur 60 (VAL B)`
|
|
|
|
Variante B (minimale) : remplacer `10 tours sur 60 à un seul succès en threads contre 60 sur 60` par `12 tours sur 100 à un seul succès en threads contre 100 sur 100 (OUTC-T2-IMPL § 2 ; contre-preuve de la VAL : 10 sur 60 contre 60 sur 60)`.
|
|
|
|
Recommandation : variante A (les deux mesures, chacune avec sa source). Aucun autre texte à corriger : CHG-331 et VERR1 citent déjà l'IMPL ; `OUTC-VAL-B.md` l. 92 (« 10 tours sur 60 ») est exact pour la VAL.
|
|
|
|
## Interdits tenus
|
|
Journal non touché ; aucune commande git qui écrit ; aucune copie UE.
|