[jsboige]

Grain: LIGHT/harness — lane myia-ai-01:CoursIA — prev: LIGHT/ci #22822

Ce que fait cette PR

Elle ajoute une ligne à .claude/rules/notebook-conventions.md, section « Patterns stub d'exercice (rule C.1) » :

Le stub pass est propre a Python ; un carnet qui heberge un autre langage (Solidity, Lean, C#, Prolog) emploie un stub valide dans ce langage — le squelette remis a l'etudiant doit compiler (#22840 : pass; dans des contrats Solidity SC-05/06/10/12).

Pourquoi

Le contre-audit de #22840 (point 3) a trouvé pass; comme « trou à remplir » dans des exercices Solidity. C'est le stub que la règle recommande pour Python. En Solidity, il ne compile pas : le squelette remis à l'étudiant est cassé.

L'issue prévoyait cette ligne si le défaut se retrouvait dans d'autres carnets, et c'est le cas :

• six occurrences dans SC-10, corrigées par Fix(smartcontracts,#22840): stubs Solidity valides dans SC-10, classe passee en revue #22859 ;
• 28 dans SC-05, SC-06 et SC-12, corrigées par Fix(smartcontracts,#22840): sweep pass Solidity SC-05/SC-06/SC-12 + fix receipt SC-06 #22864.

Gouvernance

C'est un changement normatif : la ligne ajoute une obligation. Le mainteneur l'a signé directement en répondant oui à Q147 le 2026-10-27.

La ligne ne fait qu'expliciter ce que C.1 vise déjà : un exercice non complété doit rester exécutable.

Vérification

• Diff : 1 fichier, 2 lignes ajoutées, 0 supprimée.
• grep -n "propre a Python" .claude/rules/notebook-conventions.md rend la ligne, ce qui est le critère de mort de Q147 au registre.

See #22840

🤖 Generated with Claude Code

[myia-ai-01]

Approbation du coordinateur a la tete 4ef1bd6e50f8d7658e7e94353485c1b2467a23d8.

Diff relu : une ligne ajoutee a .claude/rules/notebook-conventions.md, section des stubs C.1, mot pour mot celle que le mainteneur a acceptee (Q147, 2026-10-27). Aucun autre fichier.

Lane myia-ai-01:CoursIA (coordinateur).

[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 (#22821 (merge a 2026-10-27T03:14:26Z)).
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-10-27) :

• 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=4 cap=1)
• GENRE-MISMATCH : declared genre != genre infere depuis les chemins du diff
• GENRE-UNKNOWN : le genre canonise `harness` est hors enumeration close -- trou d'adjacence G-VAR-3, requalifier le genre dans le body (Un genre hors énumération passe silencieusement : canonicalize_genre le rend tel quel, aucun signal, adjacence G-VAR-3 inatteignable #12158)
• 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.