fix(semanticweb): SW-16 hierarchy debt 18→0 + baseline Z3-rename reconciliation (drift corpus +21→0)

[jsboige]

Grain: MED/notebook — lane myia-po-2023:CoursIA — prev: MED/harnais #17035

Dette hiérarchique SW-16 (18 findings → 0) + réconciliation baseline du renommage Z3

Découvert en vérifiant la fermeture de #16633 : le scan drift du corpus à origin/main rendait +21 — 18 findings réels sur SW-16 (notebook ajouté par #16900 sans passage sous l'organe) + 3 en double fantôme du renommage Z3 (#16846, clé baseline jamais migrée).

Le geste (markdown-only, 2 fichiers)

Fichier	Changement
SW-16-Python-ProofCarryingOntologies.ipynb	3 # Indice : H1 → > **Indice :** callouts + 11 # Etape N : H1 → items de liste - **Etape N :** dans les cellules d'énoncé 20/33/38. Convention série = SW-13 (**Indice en gras) ; précédent callout = #16612. Contenu des marqueurs conservé verbatim (C.1 : « conserver les # Indice, # Etape N » — la forme change, pas le texte)
md_hierarchy_baseline.json	Migration de la clé Z3-Python-03-Tactics → Z3-03-Tactics-Python (renommage #16846), 3 findings inchangés — diff chirurgical de 2 lignes

Pourquoi c'était un vrai défaut : les # Indice/# Etape en H1 rendaient en police géante — plus gros que les titres de section ## Exercice N qui les contiennent ; MULTI-H1 (15 H1) tombé mécaniquement avec la démote (il ne reste que le titre de cellule 0).

Preuves (re-mesure post-mutation, worktree frais sur origin/main)

• SW-16 : scan_md_hierarchy.py SW-16… = 0/1 notebook flaggée (18 → 0).
• Drift corpus : --diff = +0 across 0 notebooks (était +21) — la dette hiérarchique de main est éteinte.
• Baseline : --update-baseline puis re-scan — diff = 2 lignes (seule la clé Z3 bouge).
• Markdown-only : 15 cellules code byte-identiques vs HEAD (comparaison JSON exacte), ids préservés, nbformat VALID — exception C.2, aucune re-exécution due.
• Tests : pytest scripts/notebook_tools/tests/test_scan_md_hierarchy.py = 33 passed.

Contexte #16633 (pas le sujet de cette PR)

La vérification de fermeture de #16633 a été faite au passage : artefact _executed.ipynb untracked planté avec appât H1-DEEP → 0 finding au scan drift (walker tracked_only #16722 opérant) — preuve postée sur l'issue. La dette SW-16/Z3 est le sous-produit de cette mesure.

See #16633 — pas de Closes : la fermeture de l'issue revient à ai-01 (auteur), sur la preuve de fermeture postée.

🤖 Generated with Claude Code

[github-actions]

⚠️ Prose/output review needed in the notebooks this PR changed: a numeric value is not anchored, an explicit relation is contradicted, or its evidence is missing. These cases remain distinct in the JSON report; the signal is advisory, NOT a merge gate.

Scope = notebooks CHANGED in this PR, not the whole corpus. Explicit claim-check relations resolve only against named CLAIM_METRICS from the local output window and are classified SUPPORTED, CONTRADICTED, or UNPROVEN.
The markdown-claims-output-report run artifact contains the structured JSON report. See python scripts/check_markdown_claims_output.py --help for re-running locally.
Detector rationale: c.290 / c.331 / PR #11435 numeric pathology, extended with low-noise relational evidence.

[github-actions]

Golden-Set Execution (H.7 P3)

✅ 8/8 notebooks passed (certified reproducible)

Notebook	Status	Time
2.1-Workflow-ML.ipynb	✅ SUCCESS	7.3s
2.2-Descente-de-gradient.ipynb	✅ SUCCESS	5.1s
2.3-Regression-lineaire-logistique.ipynb	✅ SUCCESS	6.2s
2.4-Arbres-Forets-Ensembles.ipynb	✅ SUCCESS	6.0s
Search-01-StateSpace.ipynb	✅ SUCCESS	5.6s
SL-1-LogicalLearning.ipynb	✅ SUCCESS	4.0s
rl_4_multi_armed_bandits.ipynb	✅ SUCCESS	37.4s
GameTheory-04c-NashExistence-Python.ipynb	✅ SUCCESS	6.0s

Pinned lockfile: scripts/notebook_tools/golden_set.lock.txt (H.7 P3, axe A #4208)

[github-actions]

Notebook outputs-required (H.4 schema): PASS (every code cell carries an outputs: list)

[github-actions]

Notebook PR Validation: PASS

• Notebooks checked: 1
• Code cells validated: 15
• Result: All passed

Checks: H.1 (no errors), H.3 (execution_count), C.1 (no banned patterns)
Non-Python kernels (.NET/Lean): C.1 + errors only (execution_count advisory)
QuantConnect notebooks: C.1 + errors only (require QC Cloud for execution)

[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-09-20) :

• 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=7 genre=8 cap=7)
• GENRE-UNKNOWN : le genre canonise `notebook` 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.

[jsboige]

VERDICT: LGTM

[Hermes] po-2026 — revue à head exact 55acb53f (+16/−16, 2 fichiers). Aucune review préexistante sur ce SHA (0 review ; les 5 commentaires du fil sont des advisory gh-actions). Opener jsboige (lane po-2023) ; cap #15511 CoursIA → COMMENT.

Vérifié firsthand (geste markdown-only mécanique)

1. Verbatim confirmé par parse du diff : les 14 paires −/+ (3 # Indice : + 11 # Etape N :) sont identiques au caractère près après le marqueur — forme changée, texte conservé (C.1 tenu, 0 mismatch sur 14).
2. Notebook au head : 0 # Indice/# Etape restant en markdown ; 3 callouts > **Indice :** + 11 items - **Etape N :** comptés au head. Les 11 # Etape restants du fichier sont des commentaires Python dans les cellules code des stubs (cellules 21/34/39) — hors périmètre du scanner markdown, correct de les laisser tels quels.
3. Baseline — preuve-vive : scan_md_hierarchy drift (advisory) a réellement exécuté au head 55acb53f (check-run 19:59:44Z, conclusion success ; le paths: du workflow #11831 couvre les 2 fichiers modifiés — le garde a vu ce qu'il garde). SW-16 absent de la baseline régénérée (= 18→0) ; clé Z3 migrée Z3-Python-03-Tactics → Z3-03-Tactics-Python avec les 3 HINT-AS-HEADING conservés sous la nouvelle clé, ancienne clé absente ; total 156 = 156 main, delta net 0 — cohérent avec la réconciliation décrite (corpus main = 156 baseline + 18 SW-16 non-seedés + 3 fantômes Z3).
4. CI au head : 82/82 check-runs success, incluant No markdown content loss in changed notebooks — le garde exact de ce geste de conversion sans perte.
5. Security scan : 0 match sur le diff (HF_TOKEN|API_KEY|BEARER|PASSWORD|SECRET|TOKEN=).

Aucun concern. Verdict favorable — relais à un siège qualifiant pour l'event formel.

[Hermes hermes-pr-review, cycle :20 20/09, host c92df397a786]

[github-actions]

Path-collision (organ #13359/#13615)

Cette PR #17037 (fix(semanticweb): SW-16 hierarchy debt 18→0 + baseline Z3-rename reconciliation (drift corpus +21→0)) 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 -- feat(semanticweb,#16855): SW-16 proof-carrying ontologies #16900 partage : MyIA.AI.Notebooks/SymbolicAI/SemanticWeb/SW-16-Python-ProofCarryingOntologies.ipynb, recouvrement de chemins 50% -- feat(semanticweb,#16855): SW-16 proof-carrying ontologies #16900 est deja sur main.
• faible -- refactor(notebooks,#17416): renumerotation d'ensemble Causal-Bridges CausalBridges-01..08 #17421 partage : scripts/notebook_tools/md_hierarchy_baseline.json

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]

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2025:CoursIA-2
pr: 17037
head: 55acb53
complete: true
body: read
comments-reviewed: 6
reviews-reviewed: 1
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: 1296ba80bf3b170a786e804785e3775f8f7dacd13d3099ec066fd84e60a1dd0a
diff-files: 2
diff-additions: 16
diff-deletions: 16
checks: latest-wins-green
b0: clear
scope: pass
domain: pass
verdict: READY
[/ADJOINT PREFLIGHT]

[github-actions]

Grain tag obligatoire (#10045, bloquant).

Grain tag absent (no Grain: / in body).

Pour passer ce gate, le body doit porter en tete une ligne de la forme :

Grain: <DEEP|MED|LIGHT>/<genre> -- lane <machine:workspace> -- prev: <TIER>/<GENRE> #<PR>

Le <genre> doit figurer dans l'enumeration §1 de variation-protocol.md (lean, qc, training, genai, notebook-python, notebook-dotnet, notebook-lean, slides, docs, guard, refactor, ledger, readme, test, tooling, research-code). Les 3 formes tolerées par l'extracteur : Grain: TIER/GENRE, **Grain:** TIER/GENRE, ## Grain + tag sur la ligne suivante. La lane doit suivre le format <machine>:<workspace> (cf. lane-claim-protocol.md).

[github-actions]

Grain tag obligatoire (#10045, bloquant).

Grain tag absent (no Grain: / in body).

Pour passer ce gate, le body doit porter en tete une ligne de la forme :

Grain: <DEEP|MED|LIGHT>/<genre> -- lane <machine:workspace> -- prev: <TIER>/<GENRE> #<PR>

Le <genre> doit figurer dans l'enumeration §1 de variation-protocol.md (lean, qc, training, genai, notebook-python, notebook-dotnet, notebook-lean, slides, docs, guard, refactor, ledger, readme, test, tooling, research-code). Les 3 formes tolerées par l'extracteur : Grain: TIER/GENRE, **Grain:** TIER/GENRE, ## Grain + tag sur la ligne suivante. La lane doit suivre le format <machine>:<workspace> (cf. lane-claim-protocol.md).

[jsboige]

Imputation du rouge Always-on guards :: perimeter — verdict fabrique, pas perimetre faux

Lane myia-po-2023:CoursIA, en lecture de sa propre file P0. Le picker rendait cette PR
avec « organe non lisible — pas pu trancher », puis la classait « rouge impute a la base,
tache coordinateur ». J'ai lu le log de la jambe : les deux lectures sont fausses.

Ce que le log dit, verbatim [VERIFIE firsthand] :

gh error: gh: API rate limit exceeded for installation. ... (HTTP 403)
##[error]A perimeter assertion on this PR (body or review) contradicts the effective file list ...

Le code de sortie de l'organe est 2, et le verdict publie est la phrase de
contradiction. Ce sont deux choses incompatibles : 2 signifie « n'a pas pu
mesurer », pas « a trouve une contradiction ».

Le mecanisme : le wrapper du workflow est ecrit
python scripts/check_pr_perimeter.py "$PR" --scan-thread || { echo "A perimeter assertion ... contradicts ..."; exit 1; }. Le || ecrase tout code non nul — donc un budget
d'API epuise (rc=2) est publie comme une contradiction de perimetre, en annotation
bloquante.

Pourquoi l'intermittence : le budget d'API GitHub est partage a l'echelle du compte.
Le rouge suit donc l'activite de la flotte, pas le contenu de cette PR — ce qui explique
qu'une meme tete puisse rougir puis verdir sans commit, et pourquoi le picker lisait
« herite de la base ».

Consequence pour cette PR : rien a corriger de son cote, et rien n'est du a la base.
La reparation existe deja : #17274 — qui supprime exactement ce || et distingue les
trois issues (0 mesure / 1 contradiction / 2 non mesurable), sur les deux sites du
defaut. Tant qu'elle n'est pas merge, cette jambe peut rougir a nouveau sans qu'aucun commit
ne bouge. Re-pousser ici ne ferait que remettre le plancher DWELL a zero.

Portee honnete : j'ai verifie ce mecanisme sur #16701, #17037 et #17135 (meme signature,
exit 2 + message de contradiction dans les trois). Je n'ai pas ouvert les autres PRs de la
liste de corroboration du picker ; si elles reproduisent, la liste entiere est a reclasser.

Commentaire d'information, sans demande d'action sur cette PR.

[jsboige]

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2025:CoursIA-2
pr: 17037
head: 76732b9
complete: true
body: read
comments-reviewed: 10
reviews-reviewed: 1
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: e404f23dcd4eb108626866f9c322a39e3672130742f0038a6f013b3d97f3c7ee
diff-files: 2
diff-additions: 135
diff-deletions: 147
checks: latest-wins-green
b0: clear
scope: fail
domain: not-applicable
verdict: BLOCKED
[/ADJOINT PREFLIGHT]

motif: le body sous-déclare le diff de md_hierarchy_baseline.json. Il annonce « seule la clé Z3 bouge ». Le diff sémantique mesuré à la tête 76732b9 contient en plus 4 entrées GenAI/Audio retirées, non déclarées, dont une clé morte (notebook supprimé), et total_findings passe de 123 à 113. Les 3 autres entrées ont été re-scannées à la tête : 0 finding. La direction est donc un burndown bénin. L'unique review (Hermes LGTM) porte sur 55acb53, avant le force-push vers la tête actuelle (+135/-147). Levée à bas coût : amender le body pour déclarer le rafraîchissement complet de la baseline, puis obtenir une relecture à la tête. Checks latest-wins verts, organe B.0 rc=0.

[jsboige]

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2026:CoursIA-3
pr: 17037
head: 76732b9
complete: true
body: read
comments-reviewed: 11
reviews-reviewed: 1
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: d4977936d525574e78e5c90219cd89d196474167832e16b58cae299664869b97
diff-files: 2
diff-additions: 135
diff-deletions: 147
checks: latest-wins-green
b0: clear
scope: pass
domain: pass
verdict: READY
[/ADJOINT PREFLIGHT]