Repository navigation
docs(semanticweb): auditer le README après l'ajout de SW-16 #16904
Description
Activity
[INFO] mesure de la porte —
#16904est gated par le merge de #16900 (SW-16 absent demain)Mesure firsthand du 2026-09-20 (lane
myia-po-2023:CoursIA, surorigin/main) :Constat Valeur mesurée SW-16-Python-ProofCarryingOntologies.ipynbsurmainabsent ( git ls-tree -r --name-only origin/main | grep -i SW-16-> vide)#16900OPEN, mergeStateStatus=CLEAN, headf989458fSW-*-Python.ipynb14 SW-*-CSharp.ipynb12 total SW-*.ipynb26 RDF.Net-Legacy/RDF.Net.ipynb1 (26 + 1 = 27, ce que déclare le bloc CATALOG-STATUS)prose l.73 « Suivez les notebooks SW-1 à SW-15 » arbre de structure (l.542) se termine à SW-15-Python-Coup-Argumentatif.ipynbPourquoi je ne livre pas l'audit maintenant : les corrections que l'audit doit apporter sont exactement celles qui dépendent de SW-16 (périmètre « SW-1 à SW-16 », ligne de table, arbre, compteur Python 14 -> 15, durées). Les écrire pre-merge produirait une ligne de navigation vers un fichier inexistant — or l'acceptation exige « liens de navigation valides », et le dépôt porte un garde de liens (
scripts/check_docs_links.py). Faire la moitié maintenant, c'est livrer un README faux dans l'autre sens et repayer la passe au merge.Ce que la mesure donne au repreneur : le reste du fichier est déjà cohérent avec le disque aujourd'hui — le chiffre « 14 notebooks Python » (cité par l'issue) est exact sur
main, etCATALOG-STATUS(27) égale 26SW-*+ 1 legacy. La passe post-merge est donc ciblée : les 5 surfaces listées ci-dessus, pas un audit exploratoire.WAIT_FOR : merge de #16900. RESUME_WHEN :
SW-16-Python-ProofCarryingOntologies.ipynbprésent surorigin/main(alorsgit ls-tree -r --name-only origin/main | grep -i SW-16rend 1 ligne, etSW-*-Pythonpasse à 15). Lane qui reprend : la première disponible — je ne pose pas de claim sur un grain dont la porte n'est pas ouverte.- added a commit that references this issue
on Sep 23, 2026 - added a commit that references this issue
on Sep 24, 2026 - added a commit that references this issue
on Sep 24, 2026 - added a commit that references this issue
on Sep 29, 2026 Urne
delivered: ce n'est pas encore livré, je la rends au tapis (ai-01, vérifié surorigin/mainle 05/10)La pièce maîtresse de la requalification du 24/09 manque : la section
####qui présente SW-16 (au niveau de SW-11 à SW-13) n'existe pas dans le README de main, et aucun commit ne l'a jamais posée. Il reste aussi le commentaire Quick Start (l. 403), qui dit encore « SW-8 a SW-13 », et les parcours alternatifs, qui n'intègrent pas SW-14 à SW-16.[CLAIMED] lane myia-po-2024:CoursIA-2 -- tapis central 2026-10-06 (repartition ai-01, file a arc coherent) : Livrer la PR docs : section #### SW-16 + enrichissement SW-14/15 + intégration Concepts clés/Partie 4/Acquis/Parcours/Quick Start, contenu fidèle aux notebooks lus beforehand, totaux laissés au catalogue.. Rendre la main par [DELIVERED] ou [RELEASED].
[DELIVERED] lane myia-po-2024:CoursIA-2 (c.52) — PR #19507 — scope strict #16904
Livré :
- Section
#### SW-16-Python-ProofCarryingOntologiesau niveau des sections SW-11/12/13 (concept, outils, points clés, pont Lean) - SW-14 enrichi (ontologie jouet, pipeline compose, coup nul, provenance) — mention « enregistrement retroactif » retiree
- SW-15 enrichi (conventions de nommage Argumentum, reification classique + PROV note rdflib 7.6)
- Acquis d'apprentissage : section « Extensions (Bonus Python) » items 8/9/10
- Parcours : nouveau « Parcours extensions (~3h, bonus Python) »
- Quick Start : scope Python « SW-8 a SW-16 », note binaire open-ontologies 58 Mo + SHA256
- Structure des fichiers : commentaire SW-14 aligne
Hors perimetre respecte :
- CATALOG-STATUS byte-identique a main (aucune ligne du diff ne touche le bloc catalogue)
- COURSE_CATALOG.generated.* non touche
- Aucune mise a jour manuelle de totaux
- Pas de regeneration du catalogue par cette lane
Diff : 1 file changed, 45 insertions(+), 7 deletions(-) (commit
dba9a79c92)Verification substance avant ecriture (Tell c.18590) :
- SW-14, SW-15, SW-16 dumpes depuis origin/main via
git show+ parsing JSON - Chaque notebook lu firsthand (SW-15 conclusion 4 gestes, SW-16 sections 1-9) avant redaction
- Faits non verifiables non promis (bascule
{RA4}->{RA3, RA5}prise a la cellule 17 du notebook) - Lien externe open-ontologies pointe la release v1.4.0 taggee et SHA256-ee
- Section
- added 6 commits that reference this issue
on Oct 7, 2026 - added a commit that references this issue
on Oct 8, 2026
Requalification — arbitrage user du 2026-09-24 (fait foi sur le reste de ce body)
La première livraison, #17029, a mis à jour les totaux (26→27, 14→15) et a été revertée par #17632. Le périmètre de cette issue devient :
À livrer — le corps du README qui présente les notebooks récents :
####pour SW-16-Python-ProofCarryingOntologies (aujourd'hui absente), au niveau de détail des sections SW-11 à SW-13 : ce que le notebook démontre, ses outils (Lean, rdflib…), ses points clés, sa place dans le fil de la série ;Hors périmètre — ne pas toucher :
CATALOG-STATUS), cf. le mandat user du 2026-08-04 (Les donnees quantitatives appartiennent au CI, pas a la prose — supprimer les compteurs manuels (44 notebooks + ~30 README) #9377, « les données quantitatives doivent être tenues par le CI, pas dans la prose manuelle ») et docs(semantic-web): drop stale count bandeau + structure learning objectives (See #2651) #3246. Une ligne de compte fausse se supprime au profit du renvoi au catalogue, elle ne se remet pas à jour à la main ;COURSE_CATALOG.generated.*et le blocCATALOG-STATUS(automatisation seule).Les critères d'acceptation ci-dessous qui portent sur les comptes (« comptages par sous-dossier reproductibles », « réconciliation disque/prose/catalogue ») sont caducs. Restent valides : liens de navigation valides, rendu Markdown vérifié, catalogue byte-identique à
main.Constat
La PR #16900 ajoute
SW-16-Python-ProofCarryingOntologies.ipynbsans modifier le README de la série afin de conserver un périmètre atomique. Après merge, le README actuel deviendra obsolète : il annonce encore « SW-1 à SW-15 » et « 14 notebooks Python », et SW-16 ne figurera pas dans la table de navigation.Travail attendu
Auditer le fichier
MyIA.AI.Notebooks/SymbolicAI/SemanticWeb/README.mden entier contre le disque, puis corriger dans une PR dédiée et cohérente :CATALOG-STATUS, sans régénérer manuellement le catalogue automatisé.Critères d'acceptation
COURSE_CATALOG.generated.*sur la branche feature ;Issue de suivi ouverte en réponse au nit de review NanoClaw sur #16900. La livraison du notebook reste dans #16900 ; cette issue porte exclusivement l'audit README de série.