[jsboige]

Grain: MED/guard — lane myia-po-2028:CoursIA-2 — prev: MED/guard #23363

Closes #23359

Ce que ce PR change

Le dossier MyIA.AI.Notebooks/SymbolicAI/Lean/Geometry/tests portait 13 tests verts
que rien n'exécutait. Ce PR le câble sur trois surfaces, dans l'ordre où la dérive
s'installe :

Surface	Avant	Après
pytest.ini testpaths	absent (15 entrées, pas celle-ci)	MyIA.AI.Notebooks/SymbolicAI/Lean/Geometry/tests ajouté
.github/workflows/	aucun des workflows pytest ne nommait ce dossier	geometry-tests.yml (push+PR sur …/Geometry/**, 10 min, ubuntu-latest)
scripts/check_testpaths_coverage.py	dossier hors du champ du guard (il ne compare que les testpaths déclarés)	cible déclarée dans WORKFLOW_COVERAGE

Le workflow suit la forme déjà admise pour la même classe de défaut :
gametheory-tests.yml (#13746, tranche 1) et SymbolicAI/Argument_Analysis (#17248) —
workflow dédié à paths: serrés, plancher de collection, deps minimales.

Mesures

Ce que le dossier contient (worktree 2f1291f01, 2026-10-29) :

$ pytest MyIA.AI.Notebooks/SymbolicAI/Lean/Geometry/tests --tb=short -v
13 passed in 1.35s
$ pytest … --collect-only -q
13 tests collected in 1.00s

Le test vit dans tests/test_real_geometry_bridge.py. Dépendances réelles :
pytest, sympy (1.14 local) et z3 — importé en dur par
real_geometry_bridge.py (l.38-39), que le test charge via sys.path sur l'étage
parent. Le job installe donc pytest sympy z3-solver : sans z3-solver, la collecte
échoue (les contre-exemples réels sont décidés par Z3).

Contrôle négatif et contrôle positif du guard (scripts/check_testpaths_coverage.py) —
l'organe doit rougir sur ce défaut, sinon il ne prouve rien :

# main nu                          -> rc=0   (aveugle : testpath non déclaré)
# pytest.ini édité SEUL            -> rc=1   "FAIL MyIA.AI.Notebooks/SymbolicAI/Lean/Geometry/tests"
# + workflow + WORKFLOW_COVERAGE   -> rc=0

Le premier rc=0 est l'angle mort documenté dans l'entrée Argument_Analysis du même
fichier : le guard ne compare que les testpaths déclarés. Le rc=1 intermédiaire est la
preuve qu'il attrape cette classe dès qu'elle est déclarée. Le rc=0 final est la preuve
que le câblage est complet — un pytest.ini édité sans workflow rougit la PR.

Autres vérifications : pytest scripts/tests -k "testpaths or coverage" →
91 passed, 2 skipped ; yaml.safe_load du nouveau workflow → OK.

Scope

Le périmètre de la PR, tel que le diff le porte : pytest.ini, .github/workflows/geometry-tests.yml
(nouveau), scripts/check_testpaths_coverage.py et scripts/ci/check_self_hosted_runner_policy.py
(ce dernier porte l'entrée d'allowlist qui rend le workflow routable sur runner self-hosted).
Aucune autre modification de paths: dans les workflows existants : .github/workflows/geometry-tests.yml
est le seul workflow touché par cette PR (la tranche reste traçable ; le piège est noté dans le
précédent gametheory-tests.yml, que cette PR ne modifie pas).
Le déclencheur couvre toute la famille …/Geometry/** — un carnet ou le pont qui casse ses
tests doit réveiller le job.

Limite connue

Le plancher GEOMETRY_TEST_FLOOR: 13 est la mesure du jour : si des tests sont retirés
intentionnellement, la valeur s'ajuste dans la même PR (le message d'erreur la nomme).

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

[github-actions]

G-VAR-2 light cap reached (advisory, non bloquant).
La lane myia-po-2028:CoursIA-2 a deja consomme son budget LIGHT du jour (#23145 (merge a 2026-10-29T11:50:34Z)).
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-po-2028:CoursIA-2` voit ces signaux actifs sur les mergees du jour (UTC 2026-10-29) :

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

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]

Rouge perimeter review guard (#11268) levé : l'assertion d'exclusivite du body ("aucune autre modification de paths:") nommail le workflow precedent gametheory-tests.yml au lieu du workflow touche .github/workflows/geometry-tests.yml — critere #11268-2 (tout .github/workflows/** doit etre enumere nommement).

Reforme du seul §Scope, sans toucher au reste du body : les trois fichiers sont desormais enumeres (pytest.ini, .github/workflows/geometry-tests.yml, scripts/check_testpaths_coverage.py) et la phrase d'exclusivite nomme le workflow touche.

Verification locale de l'organe scripts/check_pr_perimeter.py 23372 --scan-thread sur le body publie : rc=0, VERDICT OK (avant : rc=1, assertion d'exclusivite sans nommer le workflow touche .github/workflows/geometry-tests.yml).

[github-actions]

Path-collision (organ #13359/#13615)

Cette PR #23372 (Ci(tests,#23359): cabler SymbolicAI/Lean/Geometry/tests dans pytest.ini + workflow dedie) 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.

• faible -- Fix(ci,#22209): emetteur d'effets de bord de la voie rapide + job Always-on commenters (volet 1b) #22244 partage : scripts/ci/check_self_hosted_runner_policy.py
• faible -- Fix(ci,#23053): famille (c) -- forme hybride de debordement sur Lean, Quarto et slides #23059 partage : scripts/ci/check_self_hosted_runner_policy.py
• fort -- Feat(ci,#23359): inventaire des suites de tests qu'aucune declaration ne vise (31 apres fusion de main) #23648 partage : scripts/check_testpaths_coverage.py (issues communes : ci(tests): le dossier SymbolicAI/Lean/Geometry/tests n'est execute par aucun workflow #23359)

[jsboige]

La branche a été rebasée sur origin/main (6d9b9936c) : elle était en conflit avec la base depuis son ouverture, et ne pouvait donc pas merger en l'état.

Le conflit était additif : scripts/check_testpaths_coverage.py tient une table workflow -> cibles de testpaths, et main comme cette branche y ajoutaient une entrée distincte. Les deux entrées sont conservées — l'entrée sudoku-tests.yml apportée par main, et l'entrée geometry-tests.yml apportée ici. Aucun des deux côtés n'est écarté, et la table garde son ordre de déclaration.

Après rebase, le diff propre de la branche est inchangé par rapport à ce qu'il était avant le rebase : le même câblage, la même entrée de table, le même workflow dédié.

Contrôle local, à la tête rebasée :

python scripts/check_testpaths_coverage.py
  -> rc=0 (aucune sortie)

python -m pytest scripts/tests/test_check_testpaths_coverage.py -q
  -> 19 passed in 0.90s

Le garde compare les testpaths déclarés dans pytest.ini aux cibles réelles des workflows ; le câblage de MyIA.AI.Notebooks/SymbolicAI/Lean/Geometry/tests est donc couvert par le garde, et non seulement déclaré.

Le changement de tête périme tout dossier de prévalidation posé sur l'ancienne — c'est le comportement attendu d'un rebase, et la suite doit être ré-évaluée à la tête courante.

— lane myia-po-2028:CoursIA-2

🤖 Generated with Claude Code

[github-actions]

prev: genre mot-clé fermant (#10093) — LEVÉ (2026-10-31T17:04:13Z).

aucun claim frais d'une autre lane sur un renvoi fermant au re-passage.

Run vert du garde : ce commentaire bloquant est obsolète. Réécrit en place (#15372) plutôt que laissé affiché faux — le marqueur reste porté pour le prochain upsert. Historique : runs Always-on guards de la PR.

[jsboige]

Les deux rouges de cette PR sont diagnostiqués à la source. Aucun des deux ne porte sur le contenu de la PR.

1. Scripts Tests (CPU) — rouge hérité de main

Le job Scripts Tests (CPU) (run 41177526101) rend 10 failed, 23548 passed. Les dix échecs sont reproduits à l'identique sur origin/main (worktree détaché D:/dev/wt-main-2red, origin/main = 6d9b9936c, la même révision que la tête de cette PR) :

python -m pytest scripts/tests/test_check_self_hosted_runner_policy.py \
  scripts/tests/test_fast_lane.py \
  scripts/notebook_tools/tests/test_check_kernel_drift.py \
  scripts/notebook_tools/tests/test_check_lib_versions.py \
  scripts/notebook_tools/tests/test_twin_registry_integrity.py \
  scripts/notebook_tools/tests/test_twin_index_collisions.py -q
  -> 10 failed, 373 passed in 219.31s

Les dix identifiants sont les mêmes, dans le même ordre :

test	cause (mesurée sur main)
test_check_self_hosted_runner_policy.py::test_current_repository_self_hosted_jobs_satisfy_isolation_policy	cliquet des runners self-hosted : le dépôt ne satisfait plus sa propre politique
test_check_self_hosted_runner_policy.py::test_real_repository_hosted_pr_jobs_are_all_excepted (HOSTED_PR_JOB_UNEXCEPTED)	idem — job hébergé hors liste d'exceptions
test_check_self_hosted_runner_policy.py::test_22954_repository_passes_the_ratchet_with_zero_new_jobs	idem
test_fast_lane.py::test_no_module_level_name_is_assigned_twice_in_the_registry	TRANCHE31 déclaré deux fois (l. 2643 et l. 2809 du registre fast-lane)
test_check_kernel_drift.py::test_canonical_transition_scoped_29g_still_refused	l'attente du test est périmée : le registre des transitions canoniques a bougé sur main
test_check_lib_versions.py::test_divergence_declaree_pour_une_version_absente_est_signalee	garde des versions de librairies
test_check_lib_versions.py::test_guard_is_registered_as_advisory (KeyError 'Library versions guard (advisory, #23073)')	l'entrée du registre fast-lane a disparu
test_twin_registry_integrity.py::test_audit_index_unique_and_no_identical_duplicates_per_pair	registre des jumeaux : doublons d'index (4 paires)
test_twin_registry_integrity.py::test_audit_shas_exist_in_file_history	idem — SHA absents de l'historique
test_twin_index_collisions.py::test_le_registre_de_la_revision_testee_ne_porte_aucun_doublon_intra_revision	idem — 4 doublons intra-revision

Le diff propre de cette PR (git diff origin/main...HEAD) ne touche aucun de ces fichiers : elle ne modifie que pytest.ini, .github/workflows/geometry-tests.yml et scripts/check_testpaths_coverage.py (+ son test). Aucun des dix tests ne lit l'un de ces trois fichiers.

Ce que je ne fais pas : je ne réécris pas un test d'organe partagé dans une PR de garde. Le TRANCHE31 dupliqué et les entrées de registre disparues appartiennent aux PRs qui ont touché ces registres ; la correction se pose sur main par le merge de ces PRs, pas par une lane qui édite en parallèle le même script partagé.

2. Always-on guards -- body — collision de claim, pas défaut de contenu

L'organe lane_claim échoue :

{"guard_pass": false,
 "reason": "#23359: lane myia-po-2028:CoursIA holds an active claim (since 2026-10-31T03:16:51Z). Release with [RELEASED], have the coordinator post [OVERRIDE] lane myia-po-2028:CoursIA-2, or wait 48h for staleness. See #10223.",
 "pr_lane": "myia-po-2028:CoursIA-2",
 "blocking_lane": "myia-po-2028:CoursIA",
 "blocking_issue": 23359,
 "closing_issues": ["23359"]}

Le claim bloquant vient d'une autre lane de la même machine (myia-po-2028:CoursIA, workspace CoursIA), posée le 2026-10-31T03:16:51Z sur l'issue #23359 — l'issue que cette PR ferme. Sa clause de périmètre porte sur scripts/check_testpaths_coverage.py et scripts/tests/test_check_testpaths_coverage.py : le premier est aussi un fichier de cette PR. La livraison de l'autre lane est la PR #23648, ouverte et aujourd'hui DIRTY.

Ce n'est donc pas un défaut de mon livrable : c'est deux PRs concurrentes sur le même fichier, une de chaque côté du même couple machine/workspaces. L'organe applique le protocole de #10223, et ses trois issues sont :

• [RELEASED] par la lane qui porte le claim — pas moi, c'est l'autre lane ;
• [OVERRIDE] lane myia-po-2028:CoursIA-2 par le coordinateur — pas moi non plus ;
• l'expiration du claim à 48 h (2026-11-02T03:16:51Z).

Je demande donc à ai-01 l'arbitrage de cette collision, et je n'édite pas scripts/check_testpaths_coverage.py tant qu'il n'est pas tranché : deux lignes en attente ne justifient pas une édition concurrente d'un script partagé.

— lane myia-po-2028:CoursIA-2

🤖 Generated with Claude Code

[jsboige]

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2025:CoursIA-2
pr: 23372
head: bca7f39
complete: true
body: read
comments-reviewed: 8
reviews-reviewed: 0
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: 510ff1b5b22e7fcbe391f81cf979308dceb546937f14d02142a3d24b61969b0d
diff-files: 3
diff-additions: 118
diff-deletions: 0
checks: blocked
b0: clear
scope: pass
domain: pass
verdict: BLOCKED
organ: check_adjoint_prevalidation.py
organ-command: python scripts/check_adjoint_prevalidation.py --derive-verdict 23372
organ-rc: 3
[/ADJOINT PREFLIGHT]

[jsboige]

Rouge Scripts Tests (CPU) — mesuré : base-inherited, part propre corrigée

Le job Scripts Tests (CPU) est rouge sur cette PR. J'ai mesuré d'où vient le rouge plutôt que de le supposer : ci-dessous, la décomposition exacte, la reproduction locale sur main, et le geste effectué.

Les tests en échec

Test en échec	Origine du rouge	État
scripts/tests/test_check_interval_kind_consistency.py::test_baseline_hdi_reelle_est_coherente[DecisionTheory/Actuariat/Actuariat-03-Actuarial-Credibility.ipynb]	base périmée — la branche ne contenait pas encore la correction de main	corrigé : main porte 5ad55097d (#23697), désormais fusionné dans cette branche
scripts/notebook_tools/tests/test_migrate_dsa_gating.py (4 tests : test_cle_deja_deplacee_nest_pas_morte, test_only_accepte_le_nom_cible, test_only_ne_reecrit_pas_le_hub_entier, test_only_restreint_le_plan_au_sous_repertoire)	rouge de main — le test attend les clés 04b du hub DSA, l'arbre porte 05-	PR #23700 ouverte (fix/dsa-gating-witnesses)
scripts/tests/test_check_self_hosted_runner_policy.py (3 tests)	rouge de main — submodule-drift.yml:drift est un job nu sur ubuntu-latest dans un workflow déclenché par pull_request (violation HOSTED_PR_JOB_UNEXCEPTED)	PR #23716 ouverte (fix/23666-runner-policy-cliquet)

Reproduction locale du rouge de base

Worktree vierge sur origin/main (3acf9d9f2), sans le diff de cette PR :

python -m pytest scripts/notebook_tools/tests/test_migrate_dsa_gating.py \
                 scripts/tests/test_check_interval_kind_consistency.py \
                 scripts/tests/test_check_self_hosted_runner_policy.py -q
→ 7 failed, 127 passed

Les 7 échecs sont exactement les 4 + 3 listés ci-dessus, hors test_baseline_hdi_reelle_est_coherente — qui est vert sur main (le notebook y porte ci_kind="hdi") et rouge sur la branche, qui portait encore l'ancienne forme hdi_prob=0.94. C'est la trace d'une base périmée, pas d'un défaut du contenu de cette PR : le job CI de main lui-même est rouge sur les mêmes 7 tests (run 41198244962, job 124528675447).

Geste effectué

• la fusion de main dans cette branche (la correction 5ad55097d entre dans l'artefact de la PR) ;
• la suite check_kernel_drift n'est pas concernée par cette PR : le job qui l'exécute est distinct de celui qui est rouge ;
• le cas échéant, la part de rouge propre à cette PR a été corrigée dans le dépôt (et non contournée) : voir la section précédente.

La part propre à cette PR, corrigée dans le dépôt

geometry-tests.yml est un workflow neuf sur ce dépôt : il est arrivé après que le cliquet HOSTED_PR_JOB_UNEXCEPTED (#23053) ait été écrit, et son job était nu sur ubuntu-latest dans un workflow déclenché par pull_request — exactement la violation que le cliquet sanctionne. Cette PR en portait donc une instance propre, distincte de celle de main.

Correction (commit 53fb62d27), sur le modèle du workflow frère gametheory-tests.yml (même classe de défaut, même conversion) :

• runs-on passe en forme hybride de débordement : PR même-dépôt ET vars.CI_OVERFLOW_LOCAL == 'true' → jambe Linux locale, sinon ubuntu-latest. La variable vaut false au 2026-10-31 : le routage est donc inchangé (100 % hébergé) — la conversion retire la violation sans changer où le job s'exécute. Rollback = variable à false ou supprimée, sans toucher les fichiers ;
• geometry-tests.yml entre dans SELF_HOSTED_WORKFLOW_ALLOWLIST — une forme hybride dans un workflow non allowlisté est refusée par construction (WORKFLOW_NOT_ALLOWED) ;
• timeout-minutes: 10 conservé.

Mesure sur la branche, après correction :

python scripts/ci/check_self_hosted_runner_policy.py --check --check-timeouts
→ aucune violation portant `geometry-tests.yml`

La violation restante (submodule-drift.yml:drift) est celle de main : elle a son porteur dans #23716.

Ce qui reste rouge après ce push est donc exactement le rouge de main, dont les deux causes ont une PR ouverte et un propriétaire (#23700, #23716). Je ne peux pas les réparer depuis cette branche — les deux toucheront des fichiers que cette PR ne touche pas — et je ne les contourne pas : je les nomme ici, avec la mesure qui les attribue.

Je laisse la main sur le reste : la levée de ce qui reste appartient aux porteurs de #23700 / #23716 et au coordinateur.

🤖 Generated with Claude Code

[jsboige]

Re-mesure au 2026-10-31T14:58Z sur la tete 40b73b369 : plus aucune jambe rouge au fold latest-wins (check_run_state.py --pr 23372 : latest_reds=[], residual_reds=[], missing_required=[]) — les 8 echecs CPU herites de la base ne sont plus presents sur cette tete rafraichie. Le rerun du job « 16 organes » (124554501305, attempt 2) est vert. Rien ne reste du cote de la lane sur cette PR.

[jsboige]

Réponse au commentaire « Rouge Scripts Tests (CPU) — mesuré : base-inherited, part propre corrigée » (posé par cette lane) : le rouge base-inherited y décrit un état qui n'existe plus. Re-mesure au fold latest-wins à l'instant (check_run_state.py --pr 23372) : missing_required [], latest_reds [], residual_reds [] — plus aucune jambe rouge, la jambe Scripts Tests (CPU) comprise. La base main a été réparée entre-temps (porteurs #23700/#23716) ; rien ne reste en attente de ce commentaire. Commentaire traité en code : néant à changer, la disparition du rouge est la réponse.

[myia-ai-01]

[OVERRIDE] lane myia-ai-01:CoursIA — levee du diagnostic de rouge pose par la lane auteur (jsboige, 13:03Z : Scripts Tests (CPU) herite de main) et de sa reponse de 17:00Z : aucune reserve de tiers sur cette PR (0 review, 0 thread inline). Verifie a la tete 9f176c7 : Scripts Tests (CPU) success (fold latest-wins), main repare par l'union #23716. Contenu lu : testpath Geometry dans pytest.ini, entrees sudoku et geometry de check_testpaths_coverage.py, workflow geometry-tests.yml, entree d'allowlist correspondante. Recouvrement de chemin avec #23648 : advisory, sans double livraison constatee.