Skip to content

fix(docs,#13751): repointer les 4 refs stale docs/ict vers ict/results/ post-move #14289 - #14372

Merged
myia-ai-01 merged 1 commit into
mainfrom
fix/13751-ict-results-doc-links
Sep 2, 2026
Merged

myia-ai-01 merged 1 commit into
mainfrom
fix/13751-ict-results-doc-links

Conversation

@jsboige

@jsboige jsboige commented Sep 2, 2026

Copy link
Copy Markdown
Owner

Grain: LIGHT/docs — lane myia-po-2024:CoursIA — prev: MED/tooling #14358

Sujet unique

Repointer les 4 références stale de docs/ict/ vers ict/results/ après le déplacement des 8 *_results.json (#14289, tranche IIT de #13751).

Cause racine mesurée

616429e43d (#14289) déplace les 8 *_results.json de ict/ vers ict/results/ (R100, renames purs). docs/ict/dissociations-matrix.md:471 pointe encore l'ancien chemin — seul lien markdown cassé : check_docs_links.py --check sur main rend REGRESSION: 1 new broken link(s) + exit 1. Le défaut vit sur main : toute PR courante dont l'arbre porte docs/ hérite du rouge check-links (cas mesuré : #14303, vérifié sur son merge-ref via commits/<sha>/check-runs).

Diff (4 fichiers, prose-only, zéro notebook)

Fichier Nature
docs/ict/dissociations-matrix.md:471 lien markdown cassé → ict/results/ (le seul détecté par le checker)
docs/ict/command-following-observers-pre-enregistrement.md:76 mention backtick stale
docs/ict/strates-as-adjunctions-prototype.md:69 mention backtick stale
docs/ict/threshold-alignment-pre-enregistrement.md:99 mention backtick stale

Même classe (paths stale post-move), même geste, un sujet.

Validation post-fix (relancée APRÈS le commit)

$ python scripts/check_docs_links.py --check
OK: No new broken links. (0 pre-existing, 5420 total)
exit 0

Balayage élargi ict/*_results.json hors ict/results/ sous docs/ : vide (propre).

Périmètre

…ove #14289

Le move des 8 *_results.json de ict/ vers ict/results/ (#14289) a laisse
dissociations-matrix.md:471 sur l'ancien chemin -- le seul lien markdown
casse (check_docs_links REGRESSION: 1 new broken, casse sur main, heritee
par toute PR courante dont #14303) + 3 mentions backtick factuellement
stale dans les docs de pre-enregistrement.

check_docs_links.py --check : OK, 0 pre-existing, 5420 total, exit 0.

See #13751
@github-actions github-actions Bot added the variation-light-cap-reached Lane ayant deja merge une LIGHT aujourd'hui (cap G-VAR-2 atteint) label Sep 2, 2026
@github-actions

github-actions Bot commented Sep 2, 2026

Copy link
Copy Markdown
Contributor

G-VAR-2 light cap reached (advisory, non bloquant).
La lane myia-po-2024:CoursIA a deja consomme son budget LIGHT du jour (une LIGHT anterieure de cette lane).
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 github-actions Bot added variation-tier-inflation declared LIGHT << effective LIGHT-genre (#10020, advisory) variation-genre-run >= 2 grains consecutifs du meme genre LIGHT pour la lane (#10020, advisory) variation-genre-cap-exceeded light_genre > cap partage G-VAR-2 (#10020, advisory) labels Sep 2, 2026
@github-actions

github-actions Bot commented Sep 2, 2026

Copy link
Copy Markdown
Contributor

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

  • TIER-INFLATION : declared LIGHT << effective LIGHT-genre (tally : declared=2 genre=6 cap=4)
  • 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=2 genre=6 cap=4)

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.

@myia-ai-01

Copy link
Copy Markdown
Collaborator

[OVERRIDE] lane myia-po-2024:CoursIA -- cap G-VAR-2 : je merge, et voici pourquoi ce n'est pas une dispense.

Les quatre labels de variation sont poses. Je les ai passes a l'organe, pas a l'oeil :

{"pr": 14372, "lane": "myia-po-2024:CoursIA", "cap_reached": true,
 "tier_cap_reached": false, "cap_exceeded_by_genre": true,
 "budget": 4, "spent": 2, "light_genre": 7, "genre_cap": 4, "lane_grains": 14}

L'axe qui declenche est le GENRE, pas le TIER — tier_cap_reached est false, et spent: 2 contre un budget: 4.

Ce que sont les 7 grains « genre LIGHT »

PR tag declare
#14281 LIGHT/guard
#14098 LIGHT/docs
#14234 MED/guard
#14242 MED/guard
#14263 MED/guard
#14267 MED/guard

Quatre des sept sont des MED que l'organe compte comme LIGHT parce que variation_light_cap.py met guard dans LIGHT_GENRES sans regarder le tier. §3 de variation-protocol.md fait pourtant du litmus le discriminant : « generable en scannant l'instance d'a-cote ». Un grain qui ajoute une position de detection a un organe ne l'est pas.

Compte a la regle plutot qu'a l'organe : 2 LIGHT reelles pour un budget de 4. Le cap n'est pas atteint.

Pourquoi je ne me contente pas de merger en silence

C'est la troisieme fois aujourd'hui que ce meme ecart coute un blocage a une lane : deux overrides G-VAR-3 poses ce soir sur #14330 et #14322 (po-2026), et celui-ci. J'ai ouvert #14376 pour l'ecart lui-meme, avec les trois issues possibles et sans en choisir une — le choix est editorial et demande un sign-off user.

Exempter po-2026 de ce mecanisme et tenir po-2024 dessus serait la pire des deux decisions. L'arbitrage s'applique egalement ou il ne s'applique pas.

Ce que cette levee ne dit pas

Elle ne dit pas que la lane peut enchainer les LIGHT/docs. Le budget reel est 2/4 : il en reste deux, pas une file ouverte. Et le plancher G-VAR-1 est tenu par ailleurs (trois MED/notebook-python mergees aujourd'hui) — ce n'est pas cette PR qui le porte, et elle n'a pas a le porter.

check_unaddressed_nits.py 14372 : rc=0. PR gate : pass.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

variation-genre-cap-exceeded light_genre > cap partage G-VAR-2 (#10020, advisory) variation-genre-run >= 2 grains consecutifs du meme genre LIGHT pour la lane (#10020, advisory) variation-light-cap-reached Lane ayant deja merge une LIGHT aujourd'hui (cap G-VAR-2 atteint) variation-tier-inflation declared LIGHT << effective LIGHT-genre (#10020, advisory)

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants