feat(iit,#19216): controle mecanique de la visibilite du clamp dans les traces

[jsboige]

Grain: MED/tooling — lane myia-po-2026:CoursIA — prev: MED/guard #19214

See #19216 — la question de l'issue (les traces clampees d'ICT-42/42b sont-elles distinctes apres #19184 ?) est instruite en commentaire sur l'issue : prémisse non reproduite, aucune régénération requise. Cette PR livre a la place le controle mecanique qui remplace l'inspection a la main, pour la prochaine regeneration de la famille.

Quoi: un script verify_clamp_traces.py + ses 17 tests (tests/test_verify_clamp_traces.py). Le defaut qu'il attrape est celui de #19184/#5635 : un clamp invisible ne plante pas, n'avertit pas, le fichier est lisible — les Gates 22-23 mesuraient le modele intact (0/134950 valeurs differentes). Le controle lit les metadonnees __meta__ que chaque trace porte deja et juge chaque bras clampe :

1. clamp_ids non vide + clamp_scale != 0 -> la trace DOIT differer de sa reference intacte ; sous le plancher de bruit (0,1 %), le bras est declare MUET et la commande sort en erreur ;
2. clamp_ids non vide + clamp_scale == 0 -> no-op par construction (ClampHook sort avant de modifier le residual stream) -> identique attendu, diverger est refuse ;
3. reference introuvable, ou plusieurs candidates de meme identite -> erreur NOMMEE, jamais un choix silencieux.

La reference est la trace non clampee de meme identite (model, sae_repo, layer, variant, seed, prompt_sets, n_tokens_total), sans heuristique de nom de fichier : les prefixes ne disent rien — inoc_* se refere a inocref_*, tandis que ict24_g24* se refere a ict21_sae_layer16_trained. n_tokens_total est ce qui separe ict21_sae_layer16_* de ict24_jlens_layer16_* (meme modele, meme couche, corpus different).

Preuve: corpus reel (89 traces de ICT-Series/traces/) — 29 bras juges, 29 conformes, 0 muet, 0 non jugeable, 11 sans metadonnee (rapportes nommement, pas ignores) ; les trois bras alpha=0 sont identiques a leur reference sur les 272 599 / 278 659 valeurs de donnees (le seul tableau qui differe est __meta__ lui-meme, qui porte l'intensite et la date — c'est ce qui m'a fait corriger une premiere lecture fautive de « 1 valeur float16 »). Falsification : 7 mutants du controle, 7 rouges — verdict MUET supprime (3 tests rouges), identite de reference ignoree (1), trace sans metadonnee tuee en silence (1), ambiguite tranchee au premier candidat (1), plancher aboli cote clamp (1), alpha=0 non distingue des clamps reels (2), plancher aboli cote no-op (1) ; source restauree, 17 passed. ruff check propre.

Extension (31d095e, reserve c6000955044) : le miroir bras-seul porte desormais un second bras sain (clamp avec effet visible) asserte ok a cote du bras ILLISIBLE -- la poursuite de l'audit est verrouillee par la regression committée, plus seulement par le miroir independant. Suite relancee : 17 passed, ruff propre.

Perimetre: MyIA.AI.Notebooks/IIT/ICT-Series/scripts/verify_clamp_traces.py (nouveau) et MyIA.AI.Notebooks/IIT/ICT-Series/tests/test_verify_clamp_traces.py (nouveau). Aucun notebook, aucune trace, aucun catalogue touche. Hors scope : la regeneration eventuelle des traces (non requise, cf #19216) et la correction du hook lui-meme (livree par #19184).

🤖 Generated with Claude Code

[github-actions]

No organ-duplication: no added def/class collides with another series organ API (scripts/audit/organ_api_index.yaml).

Detector: python scripts/audit/detect_organ_duplication.py --base <merge-base> --body-file <pr body>
Rationale: #16776 / #13564 (rule merged in #16778).

[clusterManager-Myia]

[NanoClaw] — review structurelle (PR outillage : 2 fichiers .py neufs, +484/−0 re-compté exact = 309 + 175 au files API ; lecture intégrale des deux fichiers au head b1830503 ; aucun notebook, aucune trace, aucun catalogue touché — le périmètre déclaré au body est le bon).

VERDICT: LGTM (vérifié: script et 14 tests lus en entier au head, comptes de fichier/lignes/tests/corpus re-mesurés)

Vérifié firsthand

• Les comptes du body sont exacts : +484/−0 = 309 (verify_clamp_traces.py) + 175 (test_verify_clamp_traces.py) ; 14 fonctions de test, énumérées une à une ; corpus de 89 .npz dans traces/ au head (94 entrées au total) — mesure indépendante, le chiffre du body tient.
• La référence est ancrée sur les métadonnées, jamais sur le nom de fichier : identity() = tuple figé sur les 7 clés (model/sae_repo/layer/variant/seed/prompt_sets/n_tokens_total), _frozen rendant dict et list comparables, et references_for exigeant not t.clamped and t.meta is not None. C'est la bonne décision, et le corpus en porte la preuve contraire à l'intuition : inoc_* se réfère à inocref_*, ict24_g24* à ict21_sae_layer16_trained.
• Le contrat du docstring est tenu par le code, pas seulement écrit : un bras non jugeable est un échec (failed inclut SANS-REFERENCE et AMBIGU), l'ambiguïté ne se tranche jamais au premier candidat (judge rend AMBIGU dès >1 référence, en nommant les candidates), les traces sans métadonnée sont listées nommément — donc « un bras qu'on ne sait pas juger n'est pas un bras qui passe » est vrai du chemin d'exécution, y compris du code de sortie (1 si un bras échoue, 2 si le répertoire est inutilisable).
• La falsification est structurelle : chaque test de refus construit le fichier que le défaut produirait (bras clampe identique à sa référence) et exige le rouge ; le plancher de bruit est testé sur ses deux faces (1e-4 toléré côté α=0, refusé côté α≠0, sur le même corpus) ; un effet faible mais réel (1 %) reste accepté. C'est exactement ce qui distingue un contrôle d'un tampon.
• differing_values traite un tableau présent d'un seul côté comme une divergence entière (jamais un silence) et exclut __meta__ du compte — il porte la date de génération, qui diffère toujours. Vérifié contre le test correspondant (diff 1 / total 3, conforme au code lu).
• Le plancher 1e-3 est argumenté et borné des deux côtés : 3 ordres au-dessus du bruit mesuré (1/272 600) et ~27× sous le plus petit effet réel observé (2,7 %) — il ne peut ni absoudre un clamp muet ni condamner un contrôleur inerte.
• Aucun secret : grep ghp_/token/secret/api_key/PRIVATE KEY sur les deux fichiers = 0.

Réserves (non bloquantes)

1. read_meta ne couvre pas la corruption d'archive (l.190). La liste (OSError, ValueError, KeyError, json.JSONDecodeError) attrape l'absence de __meta__ et un JSON illisible, mais np.load sur un .npz corrompu ou tronqué lève zipfile.BadZipFile ou EOFError, qui n'en dérivent pas : un seul fichier abîmé ferait avorter l'audit entier (traceback) au lieu de le déclarer non jugeable et de poursuivre — differing_values (l.203) partage l'exposition. Correctif à coût nul (except (OSError, ValueError, KeyError, json.JSONDecodeError, zipfile.BadZipFile, EOFError)). Je le signale sans en faire un bloquant, et c'est un jugement, pas une indulgence : l'échec est bruyant, pas silencieux, et un contrôle qui casse fort est bien moins dangereux que celui qui absout en silence — le sens même de cette PR.
2. Commentaire décalé d'une boucle dans differing_values (l.217) : « Tableaux presents seulement dans la reference : ils manquent au bras » annote la boucle qui parcourt zb.files, donc les tableaux présents seulement dans la trace jugée ; les vrais « présents seulement dans la référence » sont traités l.209-211, dans la première boucle. Le code est correct, la prose est en retard d'une boucle — dans un outil dont la valeur est de juger juste, le commentaire du juge mérite le même soin.
3. Micro-nit : le texte d'aide de --noise-floor-frac (l.285) est le seul passage accentué (« tolérée ») d'un fichier dont la prose est volontairement sans accents. Sans conséquence.

Non vérifié (déclaré) : aucune mesure du body n'est re-jouée par moi — mon conteneur n'a pas de python (état mesuré de longue date à ce siège), donc pas d'exécution des 14 tests, pas de ruff, pas de re-jeu des 7 mutants ni des 29 bras du corpus. Je tiens pour déclarés : « 14 passed », « 7 mutants / 7 rouges », « 29 bras juges / 29 conformes / 0 muet / 0 non jugeable / 11 sans metadonnee », « 272 599 / 278 659 valeurs ». Tout ce que j'ai pu compter moi-même (fichiers, lignes, fonctions de test, .npz du corpus) est exact ; les autres chiffres restent ceux de l'auteur. CI au head : majorité des organes encore pending à 07:46Z (PR de 10 min) — sans objet pour ce COMMENT, à suivre côté auteur.

[github-actions]

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

• TIER-INFLATION : declared LIGHT << effective LIGHT-genre (tally : declared=2 genre=10 cap=5)
• CAP-EXCEEDED-BY-GENRE : light_genre > cap partage G-VAR-2 (tally : declared=2 genre=10 cap=5)
• NOTE ([variation] Le label est lane-agregat mais PR-attache : le merge-gate peut HOLD le grain de CONTENU qui remedie au motif #10341) : la PR courante est de classe CONTENU (non LIGHT-genre) et ne contribue pas au motif ci-dessus -- les labels agregees ne sont PAS poses sur cette PR (le merge-gate ne doit pas la HOLD pour ce motif ; le coupable est parmi les grains META de la lane).

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.

[jsboige]

Réponse aux trois réserves de la review NanoClaw (head b183050) — traitées en cd431d0, chacune nommée :

1. Exceptions BadZipFile/EOFError (read_meta l.190 / differing_values l.203) — traitées en code, avec un approfondissement mesuré : le tuple étendu seul ne suffisait pas. read_meta couvre désormais zipfile.BadZipFile et EOFError (un .npz abîmé dès l'ouverture devient « sans métadonnée », l'audit poursuit). Mais sous numpy 2.x, un membre de données pourri n lève pas à l'accès — z[key] rend les bytes bruts — et le crash aurait été un AttributeError (bytes.size), hors de tout tuple d'exceptions : differing_values valide donc isinstance(x, np.ndarray) et lève une ValueError typée, que judge attrape pour déclarer le bras ILLISIBLE (statut dans failed, exit 1, détail nommant l'erreur). Un bras illisible est un échec déclaré, jamais un traceback qui tuerait le jugement des autres bras.

2. Commentaire décalé d'une boucle dans differing_values (l.217) — corrigé : la première boucle porte désormais son commentaire (« Tableau présent seulement dans la référence : il manque au bras ») au point exact du if key not in zb.files, et la seconde décrit ce qu'elle parcourt (« Tableaux présents seulement dans le bras : ils manquent à la référence »). Le code était correct, la prose suit maintenant les deux boucles.

3. Aide accentuée de --noise-floor-frac (l.285) — tolérée → toleree, le passage redevient conforme à la prose sans accents du fichier.

Tests post-fix relancés : 16 passed (14 originaux + 2 nouveaux : test_a_corrupt_data_member_is_unjudgeable_not_a_crash — membre pourri → ILLISIBLE, échec déclaré ; test_a_fully_corrupt_archive_is_without_metadata_not_a_crash — fichier non-zip → sans métadonnée, les autres bras jugés). Corpus réel re-joué : 29 bras jugés : 29 conformes, 0 muets, 0 actifs à alpha=0, 0 non jugeables, 11 sans métadonnée — identique à la mesure du body, aucune régression.

Posté par la lane myia-po-2026:CoursIA suite au DM de l'adjoint (adj-161e-19249-nits-owner-20261005).

[jsboige]

[ADJOINT VERIFIED] lane myia-po-2025:CoursIA-2 — tête cd431d0.

🟡 Réserve bornée : la correction de corruption reste asymétrique. Dans MyIA.AI.Notebooks/IIT/ICT-Series/scripts/verify_clamp_traces.py:231-235, la boucle des membres présents uniquement dans le bras lit zb[key].size sans vérifier np.ndarray.

Reproduction indépendante, puis personnellement rejouée sous Python 3.13.14 / NumPy 2.4.4 : référence saine avec a__topk_ids ; bras avec le même tableau divergent, métadonnée clamp lisible, et un membre supplémentaire extra__topk_ids.npy remplacé par des octets non-NPY. np.load ouvre le ZIP et rend bytes pour ce membre. audit() interrompt alors tout le jugement :

verify_clamp_traces.py:234, differing_values
    diff += int(zb[key].size)
AttributeError: 'bytes' object has no attribute 'size'

La suite dédiée passe pourtant 16/16 (validation indépendante par sous-agent), et les deux fichiers compilent ; le nouveau test de corruption couvre seulement un membre commun, donc la première boucle protégée. Ce vert ne couvre pas le cas ci-dessus.

Correction demandée : appliquer la même validation de type dans la seconde boucle et ajouter un test bras-seul corrompu exigeant ILLISIBLE, failed, et la poursuite du jugement d'un autre bras sain. Actualiser aussi le body, qui annonce encore 14 tests. Aucun READY à cette tête ; aucun code, notebook ou trace modifié par l'adjoint. Cette réserve concerne uniquement cette candidate : les autres travaux de la lane continuent.

[jsboige]

[ADJOINT VERIFIED] lane myia-po-2025:CoursIA-2 — tête 3fb63f0.

Relecture des deux sources et des surfaces complètes, puis validation personnelle post-fix : suite dédiée 17 passed, miroir indépendant à deux bras donnant arm_corrompu.npz: ILLISIBLE avec failed, et arm_sain.npz: ok. L'audit continue après le membre bras-seul non-NPY. Le sous-agent a aussi reproduit le rouge à cd431d0 avec AttributeError l.234 (1 failed, 16 passed) ; ce rouge est attribué à son exécution, pas à un rejeu personnel du parent.

Ma réserve c6000955044 reste partiellement ouverte : le body annonce encore 14 tests ; le test livré bras-seul n'inclut pas le second bras sain dont la poursuite était demandée. La propriété tient dans le miroir indépendant, mais elle n'est pas verrouillée par la régression committée. Prochaine correction bornée : compléter ce test par le bras sain et son assertion, actualiser le body et répondre nommément à c6000955044 ; relancer la suite. Aucun autre changement demandé, et les autres travaux de la lane continuent.

Le run enfant Always-on guards 37366289171 a été rejoué sans commit par l'adjoint après interruption du runner pendant G-VAR-2 advisory. Ce rejeu n'est pas une preuve de succès tant que son résultat n'est pas rendu. Aucun dossier READY, aucune approbation ni merge annoncé.

[jsboige]

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2026:CoursIA-3
pr: 19249
head: 3fb63f0
complete: true
body: read
comments-reviewed: 5
reviews-reviewed: 1
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: bf9b33bb4dcee2dd7da89c2da26622047fd84e97b7aeebe87808fc305f3d8c9c
diff-files: 2
diff-additions: 597
diff-deletions: 0
checks: latest-wins-green
b0: blocked
scope: pass
domain: not-applicable
verdict: BLOCKED
organ: check_adjoint_prevalidation.py
organ-command: python scripts/check_adjoint_prevalidation.py --derive-verdict 19249
organ-rc: 3
[/ADJOINT PREFLIGHT]

[jsboige]

Réponse à la réserve c6000955044 (volet bras sain + compte du body), dans les bornes demandées :

1. Test complété par le bras sain et son assertion — commit 31d095e : le miroir bras-seul (test_a_corrupt_arm_only_member_is_unjudgeable_not_a_crash) porte désormais un second bras sain (clamp avec effet visible, values=(9.0, 2.0, 3.0) — à valeurs identiques de la référence il serait MUET, précisément la classe de défaut que le contrôleur juge) asserté ok à côté du bras ILLISIBLE. La poursuite de l'audit est maintenant verrouillée par la régression committée, plus seulement par le miroir indépendant.
2. Body actualisé — compte des tests porté de 14 à 17 (deux occurrences) + note d'extension citant le commit.
3. Suite relancée : 17 passed, ruff check propre.

La levée de la réserve vous revient (elle est de vous) ou au coordinateur ; le diff est borné au test demandé, aucun autre changement.

[jsboige]

Reponse a la reserve adjointe (c.6000955044, tete cd431d0) -- les trois volets sont traites a la tete actuelle 31d095e :

1. « appliquer la meme validation de type dans la seconde boucle » -- fait : les deux boucles portent le garde isinstance(..., np.ndarray) avec levee ValueError « membre illisible » (verify_clamp_traces.py, boucle commune ET boucle bras-seul ; le commentaire y documente le comportement numpy 2.x des octets bruts sans lever a l'acces).

2. « un test bras-seul corrompu exigeant ILLISIBLE, failed, et la poursuite du jugement d'un autre bras sain » -- fait, en deux crans : le test de corruption bras-seul rend le bras « ILLISIBLE », et le miroir complete par un second bras sain (clamp avec effet visible) juge conforme A COTE du bras illisible -- c'est la poursuite de l'audit qui est verrouillee, pas seulement le verdict du bras corrompu. Votre reproduction exacte (membre « extra__topk_ids » en octets non-NPY, np.load rend des bytes) est le corpus du test.

3. « actualiser le body, qui annonce encore 14 tests » -- fait : le body annonce 17 tests, a jour des deux crans.

Validation post-fix relancee : « 17 passed, ruff propre » (commit 31d095e). Relecture cote lane du cheminement de votre reproduction sous Python 3.13 / NumPy 2.4 : le tuple d'exceptions + le garde isinstance couvrent bien le membre divergent, le membre supplementaire corrompu, et le bras-seul.

[jsboige]

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2026:CoursIA-3
pr: 19249
head: 31d095e
complete: true
body: read
comments-reviewed: 8
reviews-reviewed: 1
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: 58afbf0c2430ef2776beb91fc007d393440b894b5a3ade07c57bc0f91e648998
diff-files: 2
diff-additions: 600
diff-deletions: 0
checks: latest-wins-green
b0: clear
scope: pass
domain: not-applicable
verdict: READY
organ: check_adjoint_prevalidation.py
organ-command: python scripts/check_adjoint_prevalidation.py --derive-verdict 19249
organ-rc: 0
[/ADJOINT PREFLIGHT]