docs(semanticweb,#16904): section SW-16 + enrichissement SW-14/15 + integration parcours/acquis/quickstart

[jsboige]

Grain: MED/docs — lane myia-po-2024:CoursIA-2 — prev: DEEP/lean #19489

README SemanticWeb — section #### SW-16 + enrichissement SW-14/15

Issue : #16904 — la PR #16900 a livré SW-16 sans modifier le README de la série, laissant SW-16 absent de la table de navigation. La première livraison #17029 (totaux 26→27) a été revertée par #17632 et le périmètre est resserré par l'arbitrage user du 2026-09-24.

Livraison :

1. Section #### SW-16-Python-ProofCarryingOntologies au niveau des sections SW-11/12/13 : concept (proof-carrying inference), outils (moteur Horn Python, rdflib, open-ontologies v1.4.0 Rust + checker Lean 4), points clés (5 forges rejetées, deux verdicts entailed vs entailed_under_supplied_rules, limites load-bearing écrites), pont vers la série Lean.
2. SW-14 enrichi : ontologie jouet (Book / Member / Loan), pipeline composé OWL+SHACL+owlrl+RDF-star, coup nul, provenance. Mention « Enregistrement rétroactif » retirée.
3. SW-15 enrichi : conventions de nommage Argumentum (<Nom>_Inference / <Nom>_Conflict), reification RDF classique + PROV (note rdflib 7.6 sans quoted-triple natif), taxonomie complète Walton et sémantiques preferred/stable comme prolongement.
4. Acquis d'apprentissage : nouvelle section « Extensions (Bonus Python) » items 8/9/10.
5. Parcours alternatifs : nouveau « Parcours extensions (~3h, bonus Python) » SW-14 → SW-15 → SW-16.
6. Quick Start : scope Python passe de « SW-8 a SW-13 » à « SW-8 a SW-16 » ; note binaire open-ontologies 58 Mo + SHA256 vérifié (substitue l'affirmation « aucune API key requise » par une note factuelle).
7. Structure des fichiers : commentaire SW-14 aligné sur le contenu (« diff de graphe executable ») — ne dit plus « enregistrement retroactif ».

Hors périmètre respecté :

• CATALOG-STATUS byte-identique à main (vérifié : aucune ligne du diff ne touche le bloc catalogue).
• COURSE_CATALOG.generated.* non touché.
• Aucune mise à jour de totaux/comptes à la main (cf. E. prose-counts blocker).
• Pas de régénération de catalogue par cette lane (mandat catalog-pr-hygiene.md R1).

Vérification substance avant écriture (Tell c.18590 strict fondateur) :

• SW-14, SW-15, SW-16 dumpés depuis origin/main via git show + parsing JSON, chaque notebook a été lu firsthand (premières cellules markdown + sections clés : SW-15 conclusion 4 gestes, SW-16 sections 1-9) avant rédaction des sections README correspondantes.
• Faits invérifiables localement non promis (ex : SW-15 bascule {RA4} → {RA3, RA5} : pris tel quel dans la cellule 17 d'interprétation du notebook, donc attesté).
• Lien externe open-ontologies pointe sur la release v1.4.0 taggée et SHA256-ée dans le notebook source — pas une URL inventée.

Diff : 1 file changed, 45 insertions(+), 7 deletions(-) (commit dba9a79c92).

Refs #16904

🤖 Generated with Claude Code

[github-actions]

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

• GENRE-MISMATCH : declared genre != genre infere depuis les chemins du diff

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.

[github-actions]

Trivial-diff advisory (#15740, non bloquant).
genre docs dans la famille META (docs/guard/ledger/readme/test) + diff de 52 lignes changees (<= 100) + aucune exception ecrite dans le body : le litmus de la trivialite (une douzaine d'instances scannees a la suite) est credible. Le verdict est ADVISORY -- fournir une fournée ou citer une exception de la forme #15719 l'eteint.
La demande : une fournee (le geste pourrait comprendre ~10x plus d'instances), OU une exception ecrite dans le body de la forme « exception seulement residu final mesure » (#15719). Editer le body re-deroule cet organe et retire le label.

[jsboige]

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2025:CoursIA-2
pr: 19507
head: dba9a79
complete: true
body: read
comments-reviewed: 2
reviews-reviewed: 0
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: c68038a098e959bd5f3fb34ddad454892dbcefd8e300196f8178e37a956e4f3c
diff-files: 1
diff-additions: 45
diff-deletions: 7
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 19507
organ-rc: 3
[/ADJOINT PREFLIGHT]

[github-actions]

Path-collision (organ #13359/#13615)

Cette PR #19507 (docs(semanticweb,#16904): section SW-16 + enrichissement SW-14/15 + integration parcours/acquis/quickstart) 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.

• fort -- docs(semanticweb,#16904): enrichir SW-14 / ajouter SW-16 / Quick Start #19614 partage : MyIA.AI.Notebooks/SymbolicAI/SemanticWeb/README.md (issues communes : docs(semanticweb): auditer le README après l'ajout de SW-16 #16904)