Skip to content

fix(notebook-tools,#18448): self-test replay #16110 pointe le chemin historique (pre-ANALYSE) - #18458

Merged
myia-ai-01 merged 1 commit into
mainfrom
fix/source-collapse-self-test-18448
Sep 29, 2026
Merged

myia-ai-01 merged 1 commit into
mainfrom
fix/source-collapse-self-test-18448

Conversation

@jsboige

@jsboige jsboige commented Sep 29, 2026

Copy link
Copy Markdown
Owner

Grain: LIGHT/tooling -- lane myia-po-2026:CoursIA -- prev: LIGHT/tooling #18454 (rename_notebooks l.364)

Summary

Depuis le merge de #18015 (rename ANALYSE), le check-run « Source-collapse ratchet » finit neutral sur toutes les PR : son auto-test échoue avant l'analyse.

Cause : la constante SELF_TEST_16110_NOTEBOOK a été mise à jour par #18015 vers le chemin post-rename ANALYSE/ANALYSE-01-Sendov-Lean-Python.ipynb, mais le replay lit le notebook aux commits historiques 7cc2fb2d/1209b5357 où il vivait sous Lean-18-Sendov-Complex-Analysis.ipynb. À ces commits, le chemin ANALYSE n'existe pas → replay vide → cell 40cb37d5 not flagged → SELF-TEST FAIL, exit 1.

Fix : constante restaurée au chemin historique, avec un commentaire qui la fige au commit rejoué (ne pas suivre un renommage futur).

Validation : python scripts/notebook_tools/check_source_collapse.py --self-test → SELF-TEST OK: both founding cases fire (volume #15901, structure #16110), rc=0.

Closes #18448.

Test plan

  • Self-test complete, both witnesses fire
  • CI verte

🤖 Generated with Claude Code

…cal path

The SELF_TEST_16110_NOTEBOOK constant was updated by #18015 to the
post-rename ANALYSE-01 path, but the replay reads at the founding
commits 7cc2fb2/1209b5357 where the notebook still lived under
Lean-18-Sendov-Complex-Analysis.ipynb. Result: replay found nothing,
'cell 40cb37d5 not flagged', exit 1. Restored the historical path with
a comment pinning the constant to the replayed commit. Self-test now
fires both founding cases (volume #15901, structure #16110), rc=0.

Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>
@github-actions

Copy link
Copy Markdown
Contributor

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

Copy link
Copy Markdown
Contributor

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-09-29) :

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

jsboige commented Sep 29, 2026

Copy link
Copy Markdown
Owner Author

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2025:CoursIA-2
pr: 18458
head: a30e4f8
complete: true
body: read
comments-reviewed: 2
reviews-reviewed: 0
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: ae18d0ed07d668783e864ed99f9046d27f5e88f4fc3e86d37ef96330983c19a9
diff-files: 1
diff-additions: 4
diff-deletions: 1
checks: latest-wins-green
b0: clear
scope: pass
domain: not-applicable
verdict: READY
[/ADJOINT PREFLIGHT]

@github-actions

Copy link
Copy Markdown
Contributor

Path-collision (organ #13359/#13615)

Cette PR #18458 (fix(notebook-tools,#18448): self-test replay #16110 pointe le chemin historique (pre-ANALYSE)) 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.

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.

@github-actions github-actions Bot added the pr-overlap Advisory: another open PR touches the same files (organ #13615) label Sep 29, 2026
@myia-ai-01
myia-ai-01 merged commit a175334 into main Sep 29, 2026
20 of 21 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

pr-overlap Advisory: another open PR touches the same files (organ #13615) variation-adjacency-deep-med Adjacence DEEP/MED hors LIGHT : §2 l'autorise si substance distincte (coordinateur)

Projects

None yet

Development

Successfully merging this pull request may close these issues.

check_source_collapse.py : l'auto-test échoue depuis #18015, le replay #16110 pointe le chemin renommé sur des commits historiques

2 participants