fix(counter,#18741): declarations -- statuts declares PT_17/PT_18/TV-03, artefact genere hors corpus

[jsboige]

Grain: MED/guard — lane myia-po-2023:CoursIA — prev: MED/guard #19229

Volet Declarations du decoupage approuve sur #18741 (4e et dernier). Pilee sur la PR C (#19229, head eab7cf644c — reciblee sur main le 05/10 apres le merge de B #19226 ; la reference initiale 9faca9c517 est perimee). Diff = C+D empiles tant que C n'est pas mergee : les changements C (formes C# + exercices de lecture) apparaissent dans ce diff et vivent dans #19229.

Ce que la PR declare

Notebook	Avant	Apres	Source de la declaration
SemanticKernel/Notebook-Generated	0/3, non conf, in-corpus	hors corpus (kind artifact)	ledger #11 — artefact genere, double-compte en standard + template
PostTraining/PT_17_laya_proper_rewards_toy	1/3, non conf	declared-mono-exercise, budget 0, conforme	ledger #10 — mono-exercice de calibration, intention declaree dans le body #18741
PostTraining/PT_18_laya_ablation_distillation	1/3, non conf	declared-ablation-companion, budget 0, conforme	ledger #15 (post-scriptum) — compagnon d'ablation LAYA, meme famille declaree que PT_17
Texte/TransformerVariants/TV-03-Internalisation-CoT	0/3, non conf	declared-demo, budget 0, conforme	ledger #13 — body #18741 : statut demonstration declare OU ajout de taches ; le decoupage approuve retient le statut declare

Design

• Les trois declared-* restent DANS le corpus et son denominateur — ce ne sont pas des sorties silencieuses : le kind porte la raison, visible dans chaque scan de flotte et le tally by_kind. Budget 0 = les lignes setup/Lean de la table d'exceptions de la regle (le compte acceptable inclut zero), pas un seuil invente.
• DECLARED_STATUSES est consulte en DERNIER des regles structurelles : un stem declare deplace sous _archives/ reste archive d'abord (temoin dedie).
• L'artefact genere rejoint ARTIFACT_STEM_RE en forme stem exact ^notebook-generated$ — « Generated » seul est un mot-sujet ailleurs ; le stem complet nomme l'artefact.

Mesure corpus entier, PR C -> PR D, les deux sens

4 deltas exactement : les 3 kinds declares passent conformes, l'artefact quitte le corpus (1300 -> 1299 listes). 1295 carnets inchanges. Non-conformes in-corpus : 42 -> 38.

Tests

6 temoins nouveaux (TestDeclaredStatuses) : les trois budgets a zero, les kinds declares absents de OUT_OF_CORPUS_KINDS, l'artefact hors corpus, l'ombre archive-sur-declare. Suites : 162 passed (149 + 6 + 7 stub-gate), 2 skipped.

See #18741

🤖 Generated with Claude Code

[github-actions]

Base != main (advisory, #10918)

Cette PR ne livre pas sur main : son contenu attend le merge de fix/18741-countex-csharp-reading. Aucune PR ouverte de fix/18741-countex-csharp-reading vers main a cet instant -- si la base n'est jamais mergee, le livrable (fix(counter,#18741): declarations -- statuts declares PT_17/PT_18/TV-03, artefact genere hors corpus) devient un orphelin (personne ne le verra jamais, cf. #10918). Remede : ouvrir une PR de fix/18741-countex-csharp-reading vers main, ou rebaser cette PR sur main.

Couverture CI perdue sur cette base (mesure, #16194)

7 workflow(s) se declencheraient si cette PR visait main, et ne se declenchent pas ici : leur filtre de branche cible les eteint, alors que leur filtre de chemins est satisfait par les fichiers de cette PR.

• always-on-guards.yml
• notebook-exec-sequence-ratchet.yml
• notebook-plan-loss-gate.yml
• organ-duplication-advisory.yml
• pr-gate.yml
• scripts-tests.yml
• secret-scan.yml

Un check absent n'est pas un check vert. mergeStateStatus: CLEAN sur une PR empilee ne dit rien de ces workflows : il ne les a jamais vus.

[myia-ai-01]

[G-VAR-3 OVERRIDE] lane myia-po-2023:CoursIA -- next: notebook-python

Arbitrage du coordinateur. Cette PR fait partie de la série A-B-C-D du découpage de #18741, que j'ai moi-même demandé : une seule cause, découpée en quatre PR sur les mêmes fichiers (count_exercises.py et ses tests). L'exception mécanique #14357 ne peut donc pas s'appliquer, puisque les fichiers sont partagés par construction. Tenir B, C et D en HOLD ne produirait aucune variation : il n'y a pas d'autre travail à piocher sur cette cause.

Le grain suivant de la lane est un grain de contenu, notebook-python : l'étape 3 de #18286 (plan de distillation Borcherds, puis ouverture des grains de livraison), rendue à la lane ce matin.

🤖 Generated with Claude Code

[github-actions]

Path-collision (organ #13359/#13615)

Cette PR #19231 (fix(counter,#18741): declarations -- statuts declares PT_17/PT_18/TV-03, artefact genere hors corpus) touche au moins un chemin de fichier aussi modifie par d'autres PRs ouvertes. Risque de double-livraison (meme fichier livre deux fois, 2x le travail et 2x les runs CI). Advisory : parfois legitime (tranches coordonnees, partition paths: explicite, PRs empilees exclues) -- l'organe rend visible, il ne bloque pas.

• terminal -- Fix: compteur d'exercices -- accent du motif print + garde cellule-import (#18741 PR A) #19224 partage : scripts/notebook_tools/count_exercises.py, scripts/notebook_tools/tests/test_count_exercises.py, recouvrement de chemins 100% -- Fix: compteur d'exercices -- accent du motif print + garde cellule-import (#18741 PR A) #19224 est deja sur main. (issues communes : GenAI : qualifier les 14 notebooks sous le seuil du compteur canonique — faux négatifs, artefact hors parcours, vrais trous #18741) (issues communes : GenAI : qualifier les 14 notebooks sous le seuil du compteur canonique — faux négatifs, artefact hors parcours, vrais trous #18741)
• terminal -- fix(notebook-tools,#18741): PR B -- corps placeholder vs corps qui calcule (count_exercises) #19226 partage : scripts/notebook_tools/count_exercises.py, scripts/notebook_tools/tests/test_count_exercises.py, recouvrement de chemins 100% -- fix(notebook-tools,#18741): PR B -- corps placeholder vs corps qui calcule (count_exercises) #19226 est deja sur main. (issues communes : GenAI : qualifier les 14 notebooks sous le seuil du compteur canonique — faux négatifs, artefact hors parcours, vrais trous #18741) (issues communes : GenAI : qualifier les 14 notebooks sous le seuil du compteur canonique — faux négatifs, artefact hors parcours, vrais trous #18741)
• terminal -- fix(counter,#18741): PR C -- formes C# (sentinelle //, stubs externes) + exercices de lecture #19229 partage : scripts/notebook_tools/count_exercises.py, scripts/notebook_tools/tests/test_count_exercises.py, recouvrement de chemins 100% -- fix(counter,#18741): PR C -- formes C# (sentinelle //, stubs externes) + exercices de lecture #19229 est deja sur main. (issues communes : GenAI : qualifier les 14 notebooks sous le seuil du compteur canonique — faux négatifs, artefact hors parcours, vrais trous #18741) (issues communes : GenAI : qualifier les 14 notebooks sous le seuil du compteur canonique — faux négatifs, artefact hors parcours, vrais trous #18741)
• faible -- rename(#16231): serie RL -- 35 carnets en grammaire du depot, famille rlpt dans PostTraining/ (See #19255) #19359 partage : scripts/notebook_tools/count_exercises.py, scripts/notebook_tools/tests/test_count_exercises.py

Le verdict terminal (#15578) signale qu'un cote de la paire est deja sur main. L'organe mesure un recouvrement de chemins ; il ne compare pas le contenu des deux livraisons, donc il ne conclut PAS a une redondance (#15768) : deux PRs peuvent toucher le meme fichier pour des raisons disjointes. L'arbitrage reste a la lane ou au coordinateur.

[jsboige]

Ripe-signal #19231 — fix(counter,#18741) déclarations PT_17/PT_18/TV-03

Grain: LIGHT/ripe-signal -- lane myia-po-2023:CoursIA-2 -- prev: LIGHT/repair #19200 (c.1054)

Firsthand (Tell c.1190 ★★ + c.971 ★)

gh pr view 19231 --json ... direct :

• Tête : 7ef38ded7fd7d8f26d21eb76768e78b6d1172f7b (1 commit, base=main, CLEAN MERGEABLE).
• Author : jsboige (auto-ripe-signal).
• Review : aucune (auto-ripe, lane=po-2023).
• Status : CLEAN, ready to merge (PR gate introuvable dans la liste mais aucune réserve).

Substance

count_exercises.py : 3 statuts déclarés conformes (PT_17 mono-exercice calibration, PT_18 compagnon ablation LAYA, TV-03 statut démo déclaré) + 1 artefact hors corpus (SemanticKernel/Notebook-Generated). Total +86/0 lignes.

Mesure corpus entier : 1295 inchangées, 4 deltas exactement (3 kinds déclarés + 1 artefact quitte), 42 → 38 non-conformes in-corpus.

Tests : 162 passed (149 + 6 nouveaux + 7 stub-gate), 2 skipped.

Action attendue côté ai-01

Lecture B.0 rapide + signature de merge sous myia-ai-01 (gh pr merge 19231 --squash, sans --delete-branch).

[github-actions]

G-VAR-2 light cap reached (advisory, non bloquant).
La lane myia-po-2023:CoursIA a deja consomme son budget LIGHT du jour (axe genre G-VAR-2/3 (light-genre, quel que soit le tier declare) : #19064 (MED/readme, merge a 2026-10-05T00:25:15Z), #19224 (MED/guard, merge a 2026-10-05T07:18:03Z), #19226 (MED/guard, merge a 2026-10-05T09:33:29Z), #19125 (MED/docs, merge a 2026-10-05T12:00:31Z), #19262 (LIGHT/test, merge a 2026-10-05T12:28:16Z), #19273 (LIGHT/docs, merge a 2026-10-05T14:22:00Z), #19229 (MED/guard, merge a 2026-10-05T18:14:32Z), #19329 (LIGHT/docs, merge a 2026-10-05T18:18:19Z)).
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]

PR gate absent du rollup (advisory, #10928)

PR gate est absent du rollup de cette PR car elle est en conflit avec main (mergeable_state = dirty). Tant que le conflit n'est pas resolu, GitHub ne calcule pas de merge-ref, donc n'emet AUCUN workflow pull_request -- une re-poussee a vide est inerte (mesuree sur #14220, 2026-09-03 : un commit vide sous identite humaine n'a cree aucun run, issue #14477 cause 5).

• Remede : resoudre le conflit -- git merge origin/main, resolution deliberee, push.
• Ne pas depenser un commit vide : il ne sera pas lu tant que la PR reste dirty.

Cause mesuree : mergeable_state=dirty (PR en conflit avec main)

[github-actions]

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

• TIER-INFLATION : declared LIGHT << effective LIGHT-genre (tally : declared=4 genre=8 cap=5)
• GENRE-RUN : run consecutif d'un genre LIGHT (voir signals.runs dans le log du job)
• CAP-EXCEEDED-BY-GENRE : light_genre > cap partage G-VAR-2 (tally : declared=4 genre=8 cap=5)

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]

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).

[jsboige]

Rebasculée sur main suite au dispatch (base fix/18741-countex-body-placeholder déjà fusionnée) : git merge origin/main livré au commit 25f70b42be.

Conflit unique, lu des deux côtés : scripts/notebook_tools/tests/test_count_exercises.py, fin de fichier — notre côté ajoute TestDeclaredStatuses (ledger #10/#13/#15, statuts déclarés PT_17/PT_18/TV-03 + artefact hors corpus + ombre d'archive), le côté main n'ajoute rien à cet endroit. Bloc conservé tel quel ; count_exercises.py a auto-mergé.

Vérification à la tête mergée : pytest scripts/notebook_tools/tests/test_count_exercises.py → 155 passed. Le PR gate peut tirer sur ce push.

[github-actions]

Trivial-diff advisory (#15740, non bloquant).
genre guard dans la famille META (docs/guard/ledger/readme/test) + diff de 86 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.

[jsboige]

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2026:CoursIA-3
pr: 19231
head: 25f70b4
complete: true
body: read
comments-reviewed: 1
reviews-reviewed: 0
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: 209593e4257e63feeebfa46df286db9f4bcf72948284595a977ce03e97fe9ffd
diff-files: 2
diff-additions: 86
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 19231
organ-rc: 0
[/ADJOINT PREFLIGHT]

[jsboige]

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2026:CoursIA-3
pr: 19231
head: 25f70b4
complete: true
body: read
comments-reviewed: 11
reviews-reviewed: 0
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: 9002dbf1bbbb99cd90aee81aadd8b5b9836498ad2eef82d9f36bc2a16b36d311
diff-files: 2
diff-additions: 86
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 19231
organ-rc: 0
[/ADJOINT PREFLIGHT]