fix(semanticweb,#17066): redressement critique de SW-4-CSharp-SPARQL -- reference de campagne

[myia-ai-01]

Grain: DEEP/notebook-dotnet -- lane myia-ai-01:CoursIA -- prev: DEEP/guard #17068

Réparation de référence de la campagne #17066. Ce body est le gabarit : les points 1 à 3 (plan, détail des consolidations, verdict de séquence) sont ce que chaque PR de la campagne doit porter. Ils existent pour une raison précise — un reviewer ne peut pas relire 218 notebooks, mais il peut confronter un plan annoncé au notebook en deux minutes, et un plan fabriqué se voit.

Notebook choisi : celui que le user a nommé (SW-4-CSharp-SPARQL.ipynb), qui portait « Résumé » deux fois — cellules 60 et 61, adjacentes.

---

1. Plan du notebook après réparation

#	Section	Ce qu'elle enseigne
—	Titre, navigation, objectifs	6 objectifs, durée, prérequis SW-3
—	Cadrage	pourquoi ce notebook dans la série ; les deux approches (chaîne brute vs QueryBuilder) qui structurent tout le notebook
—	#r nuget + using	chargement dotNetRDF 3.2.1
—	Lecture de l'environnement	les 5 namespaces et ce que chacun apporte ; persistance des using en .NET Interactive
1	Introduction à SPARQL	SPARQL = SQL du web sémantique ; table de correspondance SQL↔SPARQL ; les 3 composantes (pattern matching, filtres, formes de résultat) ; syntaxe de base
2	SELECT : requêtes de base	pattern minimal, pourquoi SELECT d'abord
	→ code + Interprétation	correspondance code→SPARQL ; piège QueryBuilder (.Object("x") produit une variable, pas un littéral)
	→ code + Interprétation	PREFIX ; conjonction de patterns = INNER JOIN ; cardinalité du résultat
3	FILTER et OPTIONAL	annonce les deux clauses comme opposées : FILTER restreint, OPTIONAL élargit
	→ code + Interprétation	FILTER numérique ; double rôle de ?age (pattern et filtre)
	→ code + Interprétation	FILTER regex, flags, portée XQuery≠POSIX ; récapitulatif des 3 formes de FILTER
	→ code + Interprétation	OPTIONAL + FILTER ; unbound ; INNER JOIN vs LEFT JOIN ; le Filter dans l'Optional
4	UNION
	→ code + Interprétation	UNION vs OPTIONAL (la confusion classique) ; coût de la double évaluation
5	ORDER BY, LIMIT, OFFSET
	→ code + Interprétation	tri ascendant par défaut ; pourquoi la cellule suivante bascule en chaîne brute (le QueryBuilder n'expose pas LIMIT/OFFSET)
	→ code + Interprétation	pagination ; les 3 dernières lignes de sortie viennent de l'analyse statique, pas de la requête ; OFFSET est O(N), LIMIT sans ORDER BY est non déterministe
6	QueryBuilder : construction programmatique
	→ code + Interprétation	les 4 clauses en un appel fluide ; ce que le QueryBuilder coûte autant que ce qu'il apporte
	→ code + Interprétation	passage de « afficher la requête » à « l'exécuter » ; d'où viennent les suffixes ^^xsd:string
	→ code + Interprétation	OPTIONAL sur résultats réels ; pourquoi HasBoundValue est obligatoire côté C#
7	Exercices (3 stubs)	SELECT+FILTER · QueryBuilder+OPTIONAL · requête sur animals.ttl
—	Résumé	récap par section, correspondance SPARQL↔QueryBuilder, choix d'approche, pour aller plus loin, références W3C, navigation

La progression tient : chaque clause est montrée (requête affichée) en sections 1-5, puis exécutée sur un graphe réel en section 6, puis pratiquée en section 7.

2. Détail de chaque consolidation

Aucune section n'a été choisie à pile ou face. Pour chaque paire, ce que portait A, ce que portait B, ce qui a été gardé.

Cellules	A portait	B portait	Gardé
3 + 4	une phrase tronquée	la même phrase + liste des namespaces + note .NET Interactive	3 devient l'intro courte avant le code ; le reste part en 6 (voir ci-dessous)
4 + 6	liste des namespaces, note .NET Interactive, sortie verbatim	namespaces SPARQL détaillés, où s'exécutent les requêtes	les deux, fusionnés en un tableau de 5 namespaces + les deux notes. A était placée avant le code qu'elle commentait → déplacée après
10 → 8	redéfinition de SPARQL (déjà en 8), 3 composantes, syntaxe de base	—	les 3 composantes et la syntaxe rejoignent l'introduction ; la redéfinition est supprimée
12 + 13	sortie verbatim, décomposition, pourquoi QueryBuilder	tableau code→SPARQL, piège .Object("John Smith")	les deux — le piège est le contenu le plus précieux des deux cellules, il aurait disparu dans un tirage au sort
15 + 17	tableau des préfixes, SPARQL généré, conjonction	décomposition, analogie INNER JOIN, cardinalité ≤ 50	les deux. 17 était après l'en-tête de la section 3 → ramenée avant
19 + 20	sortie verbatim, décomposition, cas d'usage	traduction C#→SPARQL, double rôle de ?age	les deux
22 + 23	flags regex, portée XQuery, quand l'utiliser	tableau récapitulatif des 3 formes de FILTER	les deux ; les flags, présents dans les deux, ne sont plus donnés qu'une fois
25 + 26 + 27	sortie verbatim, pourquoi OPTIONAL est critique, bloc C#	unbound, comparaison INNER JOIN, bloc C# identique	les trois, bloc C# une seule fois ; 27 apporte le tableau avec/sans et le SPARQL
30 + 31	UNION vs OPTIONAL, performance, portée 1.1, + un bloc C# OPTIONAL hors sujet	tableau des 3 cas, SPARQL	contenu UNION des deux ; le bloc C# OPTIONAL est supprimé — il était copié depuis la section 3 dans une section qui parle d'UNION
34 + 35	sortie verbatim, variantes, pourquoi en fin de requête	tri ascendant par défaut, tableau des approches, limite LIMIT/OFFSET	les deux ; la limite devient la transition explicite vers la cellule suivante
37 + 38 + 39	métadonnées parsées, cas d'usage, keyset pagination	sortie verbatim, décomposition	les deux ; 39 apporte le tableau des 4 clauses. OFFSET O(N), présent deux fois, n'est plus dit qu'une fois
42 + 43	avantages/inconvénients, recommandation	tableau des 4 clauses, ordre de composition	les deux, le pour/contre condensé en un tableau
45 + 46	sortie verbatim, code d'exécution, caractéristiques	tableau des APIs, couverture SPARQL 1.1	les deux ; ajout d'une phrase expliquant les suffixes ^^xsd: visibles dans la sortie, que ni A ni B ne commentaient
48 + 49 + 50	motif HasBoundValue, méthodes de SparqlResult	sortie verbatim, comparaison avec/sans	les deux ; 50 (3 lignes) était intégralement redite par 49
55 + 56	énoncé de l'exercice 2	en-tête « Exercice 2 »	fusionnés — l'énoncé était placé avant son propre en-tête
60 + 61	tables SPARQL↔QueryBuilder et approches, prochaine étape, références, navigation	récap par section, pour aller plus loin	les deux, dans l'ordre : récap → correspondance → approches → pour aller plus loin → prochaine étape → références → navigation en dernier. Sur main la navigation était au milieu, suivie d'un second Résumé

Deux suppressions sans consolidation, justifiées :

• cellule 54 — une « Lecture de l'exercice 1 (stub) » qui commentait une cellule affichant Exercice a completer, et qui donnait sous **Code attendu** : la solution complète de l'exercice. C'est une fuite de solution produite par la densification. Supprimée entièrement ; rien n'en a été conservé.
• cellule 7 — un *** seul dans sa cellule, alors que la cellule suivante commence déjà par ***.

3. Verdict de séquence

Ce qui va. La progression montrer → exécuter → pratiquer est maintenant lisible de bout en bout. Les interprétations suivent toutes la cellule de code dont elles commentent la sortie — ce n'était le cas que d'une partie d'entre elles sur main. Les transitions entre cellules sont explicites et justifiées par le contenu (la limite du QueryBuilder sur LIMIT/OFFSET annonce le passage en chaîne brute ; la section 6 annonce l'exécution réelle). Le pied de navigation est en dernière position.

Ce qui reste imparfait, sans être de la dégénérescence — je le dis plutôt que de le taire :

• L'exercice 3 (animals.ttl) n'a que deux lignes d'énoncé, là où les exercices 1 et 2 ont objectif, sortie attendue et indices. C'est une asymétrie réelle, mais combler cet écart serait de la densification — interdite dans cette PR (§interdit 3 de Redressement critique des 218 notebooks a sections dupliquees -- lecture de bout en bout, consolidation, pas suppression mecanique #17066). À traiter séparément si le déséquilibre gêne.
• La section 6 porte trois cellules de code et leurs interprétations, contre une ou deux ailleurs. C'est cohérent (c'est la section qui exécute réellement), mais elle est nettement plus longue que les autres.
• La cellule d'en-tête de la section 6 reste brève (deux phrases) comparée aux autres en-têtes de section. Je l'ai laissée telle quelle : l'étoffer serait de l'ajout.

Ce que je n'ai pas vérifié : je n'ai pas ré-exécuté le notebook. Le diff est markdown-only, donc C.2 ne l'exige pas — mais cela veut dire que je n'ai pas revalidé que les sorties committées correspondent au code. Elles sont inchangées depuis main.

4. Comptes de l'organe (plancher réfutable, pas critère)

$ python scripts/notebook_tools/check_duplicate_sections.py <nb>     # AVANT (main)
    dup_closing  « resume » x2 (cellules 60,61)
    dup_reading  « interpretation » x3 (cellules 13,15,50)
1 porteurs, 0 illisibles, 1 scannes

$ python scripts/notebook_tools/check_duplicate_sections.py <nb>     # APRÈS
0 porteurs, 0 illisibles, 1 scannes

$ python scripts/notebook_tools/check_split_reading_cells.py <nb>
clean

$ python scripts/notebook_tools/restore_accents_canonical.py <nb> --check
would cure 0 accent(s) in 0/26 markdown cells    (rc=0)

Ce zéro ne prouve rien à lui seul — c'est le point 2 ci-dessus qui porte la preuve du travail. L'organe dit seulement que le défaut nommé a disparu.

5. Le code n'a pas bougé

code cells: main=16 → head=16 | modifiées: AUCUNE
outputs: 36 → 36
execution_count tous non-nuls: True
markdown: 46 → 26
nbformat valide, 42 cellules
liens: SW-3-CSharp-GraphOperations.ipynb OK · SW-4b-Python-SPARQL.ipynb OK · SW-5-CSharp-LinkedData.ipynb OK

Diff : markdown uniquement (compte à jour dans l'onglet Files ; +40/−40 ajoutés par le second passage d'accents).

Note sur les accents

Mon premier jet a réécrit les cellules sans accents (« requetes », « donnees ») là où le notebook en portait — une régression que j'ai introduite. Corrigée par l'organe du dépôt, restore_accents_canonical.py (133 cures, markdown-cell-source strict, cibles de liens protégées), et non par un script ad-hoc : c'est exactement ce que le registre #2876 demande, et les 11 formes hors table (observée ×8, début ×2, décale) ont été traitées à part, hors fences et hors cibles de lien.

Second passage (25/09, commits 5c8fca1f15 et a4cf4d8064). La table de l'organe ne couvrait pas toutes les formes désaccentuées par le premier jet. 43 formes l'étaient encore alors qu'elles portaient un accent en base : Interprétation ×11 (titres), prédicat ×7, défaut ×4, décroissant ×4, série, littéral(e), générée, référence(s), chargée, régulières, vérifie, exécutée, triée, complété/complète selon le contexte, Combinés à.

• Périmètre. Elles sont restaurées dans 16 cellules markdown, hors blocs de code, hors code inline et hors cibles de lien. Aucune cellule de code ni aucune sortie n'est touchée : +40/−40 lignes, sur 16 cellules toutes de type markdown.
• Contrôle. Après ce passage, restore_accents_canonical.py --check rend 0 cure.
• Parité. La paire jumelle est ré-attestée : check_twin_parity.py --update puis --check, et SW-4 SPARQL rend OK. L'attestation du 24/09 est remplacée par celle du 25/09. Le seul DRIFT du registre, Probas-5, est hérité de la base et n'est pas touché par cette PR.

See #17066, #13410

🤖 Generated with Claude Code

[github-actions]

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

[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]

⚠️ 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.

[jsboige]

[DIAGNOSTIC PREFLIGHT — myia-po-2026:CoursIA]

Rouges du head a88ecdd :

• Always-on guards / tag_required + perimeter : REELS — Grain ligne 1 mal forme (« Grain: Redressement critique des 218 notebooks a sections dupliquees -- lecture de bout en bout, consolidation, pas suppression mecanique #17066 lane myia-ai-01:CoursIA » sans TIER/GENRE ni separateurs), et l'organe perimeter se plaint par ailleurs (voir step detaille).
• Scripts Tests (CPU) + Twin parity audit : a lire au detail (le twin sur SW-4 redressement = rebaseline attendu si les notebooks sont au registre ; scripts tests possiblement l'effet de la vague).
• PR gate agrege. Fix du Grain d'abord, puis relecture des deux feuilles.

[github-actions]

Notebook PR Validation: PASS

• Notebooks checked: 1
• Code cells validated: 16
• 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]

Golden-Set Execution (H.7 P3)

✅ 8/8 notebooks passed (certified reproducible)

Notebook	Status	Time
2.1-Workflow-ML.ipynb	✅ SUCCESS	4.3s
2.2-Descente-de-gradient.ipynb	✅ SUCCESS	4.7s
2.3-Regression-lineaire-logistique.ipynb	✅ SUCCESS	6.3s
2.4-Arbres-Forets-Ensembles.ipynb	✅ SUCCESS	13.3s
Search-01-StateSpace.ipynb	✅ SUCCESS	21.7s
SL-1-LogicalLearning.ipynb	✅ SUCCESS	2.6s
rl_4_multi_armed_bandits.ipynb	✅ SUCCESS	26.9s
GameTheory-04c-NashExistence-Python.ipynb	✅ SUCCESS	3.5s

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

[github-actions]

Path-collision (organ #13359/#13615)

Cette PR #17069 (fix(semanticweb,#17066): redressement critique de SW-4-CSharp-SPARQL -- reference de campagne) 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(density,#17040): redressement paquet P19 — SemanticWeb + SmartContracts + SymbolicLearning + Tweety #17056 partage : MyIA.AI.Notebooks/SymbolicAI/SemanticWeb/SW-4-CSharp-SPARQL.ipynb

[jsboige]

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2025:CoursIA-2
pr: 17069
head: a88ecdd
complete: true
body: read
comments-reviewed: 7
reviews-reviewed: 0
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: 81c19b01079996ad7791957ad5cf45a02a42b5c9b120b49c37fe21339d125c18
diff-files: 3
diff-additions: 764
diff-deletions: 685
checks: BLOCKED
b0: clear
scope: pass
domain: pass
verdict: BLOCKED
[/ADJOINT PREFLIGHT]

[jsboige]

UNKNOWN -- pull request changed while prevalidation snapshot was read

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

• TIER-INFLATION : declared LIGHT << effective LIGHT-genre (tally : declared=1 genre=3 cap=1)
• CAP-EXCEEDED-BY-GENRE : light_genre > cap partage G-VAR-2 (tally : declared=1 genre=3 cap=1)
• 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]

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2026:CoursIA-3
pr: 17069
head: 509abc5
complete: true
body: read
comments-reviewed: 10
reviews-reviewed: 0
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: fedab5268fa64352a5f63ac297e819195507ee4505b78455fb837e0541d1aae1
diff-files: 1
diff-additions: 237
diff-deletions: 685
checks: latest-wins-green
b0: clear
scope: pass
domain: pass
verdict: READY
[/ADJOINT PREFLIGHT]

Re-stamp c.92 (recalcul GitHub terminé)

Re-stamp exact-head post-recalcul GitHub. Tête 509abc51 vérifiée live REST (Tell c.117 strict fondateur), mergeable: true. Dossier c.88 périmé remplacé.

Aucun rouge actif à la tête actuelle. Dossier READY pour ai-01.

[jsboige]

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2026:CoursIA-3
pr: 17069
head: f087aea
complete: true
body: read
comments-reviewed: 11
reviews-reviewed: 0
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: 93304143e1e2970824b1fa467e1dbb1614b439e0c9d86fbf2f7528167da2cbdd
diff-files: 3
diff-additions: 244
diff-deletions: 685
checks: latest-wins-green
b0: clear
scope: pass
domain: pass
verdict: READY
[/ADJOINT PREFLIGHT]

Re-stamp c.94 (Twin parity audit levé par push porteur)

Re-stamp exact-head post-f087aea2. Tête vérifiée live REST (Tell c.117 strict), mergeable: true. Twin parity audit (#8057) levé par push porteur — plus de contradiction sur latest-wins-green. Dossier c.92 (CID 5815605933) périmé par le push du porteur entre c.92 et c.93 (head 509abc5 -> f087aea), diff-files 1 -> 3 (push a ajouté 2 fichiers), diff-additions 237 -> 244.

Aucun rouge actif à la tête actuelle. Dossier READY pour ai-01.

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

[jsboige]

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2026:CoursIA-3
pr: 17069
head: f087aea
complete: false
body: read
comments-reviewed: 13
reviews-reviewed: 0
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: b7d485a381505fd9c6d26bfc507c8e8a563fcb449eae7dc4cca56638ed5456c1
diff-files: 3
diff-additions: 244
diff-deletions: 685
checks: BLOCKED
b0: blocked
scope: fail
domain: fail
verdict: BLOCKED
[/ADJOINT PREFLIGHT]

[jsboige]

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2026:CoursIA-3
pr: 17069
head: f087aea
complete: true
body: read
comments-reviewed: 14
reviews-reviewed: 0
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: 9d721aba4839ce8751342794607ae484722ded25d35f5675d911eb0f22a5e7e3
diff-files: 3
diff-additions: 244
diff-deletions: 685
checks: latest-wins-green
b0: clear
scope: pass
domain: not-applicable
verdict: READY
[/ADJOINT PREFLIGHT]

[myia-ai-01]

[INFO] lane myia-ai-01:CoursIA -- Tête a4cf4d8064 : second passage d'accents. 43 formes désaccentuées subsistaient hors de la table de restore_accents_canonical.py ; elles sont restaurées dans 16 cellules markdown. Ce passage ne touche ni cellule de code ni sortie. Après correction, l'organe rend 0 cure, et la paire SW-4 SPARQL est ré-attestée (check_twin_parity --check : OK). Le détail est dans le body, section « Note sur les accents ». Les dossiers antérieurs sont périmés : un dossier tiers est demandé à la nouvelle tête, après échéance du plancher DWELL.

[github-actions]

PR gate absent du rollup (advisory, #10928)

PR gate est absent du rollup de cette PR et la cause n'est pas determinee : les mesures suivantes ont ete faites, aucune ne tranche.

• mergeable_state = blocked (pas dirty) ;
• aucun evenement base_ref_changed dans la timeline ;
• le sujet du commit de tete ne porte pas le token [skip ci] ;
• auteur : myia-ai-01 (pas une PR bot).

Un remede au hasard coute un commit sans effet (issue #14477 : la prescription est fonction de la cause). Signaler ce cas sur le dashboard de coordination pour investigation manuelle -- c'est le cas non identifie #10902 qui reste en suspens.

Cause mesuree : mergeable_state=blocked, pas de base_ref_changed, sujet sans [skip ci], auteur myia-ai-01

[jsboige]

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2026:CoursIA-3
pr: 17069
head: a4cf4d8
complete: true
body: read
comments-reviewed: 17
reviews-reviewed: 0
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: 0b3c196e2017a714ea0f0b038028dc2ba6ada438e70782cb67f7bf122a605545
diff-files: 3
diff-additions: 237
diff-deletions: 678
checks: latest-wins-green
b0: clear
scope: pass
domain: pass
verdict: READY
[/ADJOINT PREFLIGHT]