docs(harness,#15204): deporter le recit de sota-not-workaround vers son detail (-370 o/requete)

[myia-ai-01]

Grain: MED/docs — lane myia-ai-01:CoursIA — prev: MED/docs #16010

Ce que fait cette PR

Troisième tranche du levier B de #15204, sur sota-not-workaround.md (10 196 o auto-chargés).

Mesure — organe scripts/audit/measure_autoloaded_harness.py :

	avant (origin/main @ ddbd773501)	après
.claude/rules/sota-not-workaround.md	10 196 o	9 828 o
règles auto-chargées (total)	145 580 o	145 210 o
docs/reference/sota-verdicts-detail.md (cible, coût nul)	7 501 o	8 351 o

−370 o par requête. Indépendante de #16010 (−722 o) : les deux branches partent du même ddbd773501 et ne partagent aucun fichier ; mergées ensemble, −1 092 o.

Préservation AVANT réduction

Un seul témoin ne vivait que dans la rule — et il a fallu le chercher pour s'en apercevoir :

Témoin	cible avant	cible après
8905f8845 — le correctif BFS vs A*	0	1
planners-3 — le notebook concerné	0	2
DSATUR (contexte de l'anti-exemple)	0	2

Il est fusionné dans sota-verdicts-detail.md §3 sous une sous-section neuve — Cas canonique corrigé — qui écrit l'instance en entier (A* dégénère en BFS sur coût uniforme ; le correctif repondère le terrain pour rendre la supériorité visible dans la sortie) au lieu de la parenthèse d'un SHA.

Un faux positif d'instrument, attrapé avant d'agir. Mon premier grep ASCII rendait Erdos = 0 dans la cible et me faisait conclure à une seconde perte. La cible écrit Erdős-Rényi avec diacritiques : le contenu était préservé depuis toujours. Fusionner sur cette lecture aurait dupliqué le cas discriminant dans deux fichiers — l'inverse exact du but de cette PR. Un témoin absent d'un grep n'est pas un témoin absent du dépôt.

Trois duplications retirées — dont une qui avait déjà divergé

1. Récit PythonNet absent de la taxonomie bucket-3 : 3 verdicts INTRINSIC OpenSpiel a reclasser en RECOVERABLE-LOCAL #10459 (3 verdicts INTRINSIC convergents ayant sauté l'axe PythonNet) — intégralement en détail §2, y compris les 5 PRs de preuve et le verbatim user. Réduit à un pointeur ; la règle d'enforcement et la checklist 6 axes restent.
2. Anti-exemple Mycielski / faux signal MiniZinc — intégralement en détail §3. Réduit à un pointeur.
3. « sept entrées postées sur l'EPIC après sa fermeture » — écrit deux fois dans la rule (§Registre et §Voir aussi) et une troisième en détail §4.

Le cas qui justifie à lui seul la passe : §Stop & Repair re-énonçait secrets-hygiene.md règle 6. Les deux rules sont auto-chargées simultanément — le lecteur avait donc les deux énoncés en contexte, et ils avaient déjà divergé : secrets-hygiene porte trois tolérances (quantbooks QC, metadata.papermill, strip probeAddresses post-re-exec .NET), ce résumé n'en listait que deux. Un agent qui tombait sur la copie courte pouvait refuser un strip probeAddresses légitime. Le résumé cède la place à un renvoi vers l'autorité, en le disant.

Ce qui ne bouge pas

Les 5 verdicts (SOTA-OK / RECOVERABLE-LOCAL / -MACHINE / -USER-HAND / INTRINSIC), la checklist 6 axes et sa règle d'enforcement, Mermaid comme moteur canonique de flowchart, Prong B et ses pièges, les critères bots (A)/(B)/(C), l'exception PR étudiante. grep -c des interdits : INTRINSIC ×6, CHANGES_REQUESTED ×4, BANNI ×1, chaque verdict ×1.

Vérification

• python scripts/audit/measure_autoloaded_harness.py --root . --with-machine.
• git grep par témoin : chaque phrase retirée est ≥ 1 dans docs/reference/sota-verdicts-detail.md.
• L898 : aucune PR ouverte ne touche sota-not-workaround.md ni sota-verdicts-detail.md (vérifié avant édition) ; claim étendu sur harnais: redescendre le contexte auto-charge sous 70k tokens (mesure: 98,5k, cible -29%) #15204 (issuecomment-5654958540) avant d'éditer.

Variation

MED/docs, genre META — ne tient pas le plancher G-VAR-1, assumé : mandat user explicite de slimming du harnais.
G-VAR-3 : docs consécutif après #16010, couvert par l'exception #14357 — second grain MED et intersection de fichiers vide (#16010 touche CLAUDE.md + pr-review-context.md ; aucun n'est touché ici).

See #15204.

🤖 Generated with Claude Code

[github-actions]

G-VAR-2 light cap reached (advisory, non bloquant).
La lane myia-ai-01:CoursIA a deja consomme son budget LIGHT du jour (#15887 (merge a 2026-09-13T04:56:00Z)).
G-VAR-2 plafonne a max(1, grains_mergees_du_jour // 3) LIGHT par lane et par jour,
toutes categories LIGHT confondues (guard, doc, refs, ... partagent un seul budget) :
c'est un RATIO, pas un plafond plat. La decision de merge reste au coordinateur.

[github-actions]

G-VAR-2/3 GENRE signals (advisory, non bloquant, #10020).
La lane `myia-ai-01:CoursIA` voit ces signaux actifs sur les mergees du jour (UTC 2026-09-13) :

• CAP-EXCEEDED-BY-GENRE : light_genre > cap partage G-VAR-2 (tally : declared=2 genre=3 cap=1)

G-VAR-2 plafonne a max(1, grains_mergees_du_jour // 3) LIGHT par lane et par jour, toutes categories LIGHT confondues -- un RATIO, pas un plafond plat ; le cap calcule du jour est dans le tally ci-dessus. G-VAR-3 interdit deux genres LIGHT consecutifs. Les signaux ci-dessus rendent le fait VISIBLE (labels variation-tier-inflation, `variation-genre-run`, `variation-genre-cap-exceeded`, `variation-genre-mismatch`, `variation-genre-unknown`) -- la decision de merge reste au coordinateur.

[github-actions]

Trivial-diff advisory (#15740, non bloquant).
genre docs dans la famille META (docs/guard/ledger/readme/test) + diff de 26 lignes changees (<= 100) + aucune exception ecrite dans le body : le litmus de la trivialite (une douzaine d'instances scannees a la suite) est credible. Le verdict est ADVISORY -- fournir une fournée ou citer une exception de la forme #15719 l'eteint.
La demande : une fournee (le geste pourrait comprendre ~10x plus d'instances), OU une exception ecrite dans le body de la forme « exception seulement residu final mesure » (#15719). Editer le body re-deroule cet organe et retire le label.