Add: densite Tweety C# — interpretations pedagogiques, 3 notebooks sous plancher (See #13410) by jsboige · Pull Request #16319 · jsboige/CoursIA

jsboige · 2026-09-15T17:28:35Z

Grain: DEEP/notebook-dotnet -- lane myia-po-2026:CoursIA -- prev: DEEP/notebook-python #16317

Le livrable

#13410 tranche densité (rotation de famille) — 3 notebooks Tweety C# sous le plancher pedagogy_density 1200 chars/cellule code, enrichis de +24 cellules markdown d'interprétation :

Notebook	Densité avant	Après	Cellules md	Ajouts pédagogiques
`Tweety-11-Causal-Csharp`	729	≥1200	15→24	modèle causal structurel (3 briques), les trois modes d'interrogation (observe/do/contrefactuel — typage API), lecture chirurgie SCM, réseau Sprinkler (confondant/collisionneur + biais de sélection), contrefactuel en 3 étapes (abduction-action-prédiction), parité IKVM, synthèse échelle de Pearl, protocole d'exercices + attendus + anti-piège
`Tweety-02b-Semantics-CSharp`	732	≥1200	14→22	pont IKVM Java→.NET, structure du cube B_n (up-sets, formules monotones), localité de la satisfaction (brique quantifiée), bijection monde↔conjonction complète, asymétrie de l'entailment (confirmer 2^n vs réfuter 1), lecture des 4 survivants (filtre + comptage #SAT), protocole d'exercices, méthode guidée exercice 3
`Tweety-08-Agent-Dialogues-CSharp`	785	≥1200	11→18	lecture extension grounded (fixpoint sceptique, rejet ≠ faux), modèle d'agent argumentatif (KB vs commitment store, rationalité procédurale), trace de dialogue = preuve interactive, garde de terminaison, lecture négociation, sensibilité structurale (ajout de CT redistribue l'acceptation), loterie/utilités déclarées, protocole d'exercices

Invariant byte-identity (exception C.2 markdown-only)

Cellules code et outputs strictement identiques aux trois notebooks : hash md5 des sources + outputs comparé avant/après contre git show HEAD:<path> — 0 octet dérivé. Aucune re-exécution nécessaire (C.2, modifs uniquement markdown).
Densité mesurée par scripts/notebook_tools/pedagogy_density.py sur chacun des trois notebooks enrichis.

Réparations outillées au passage

Un séparateur --- YAML-ambigu préexistant dans la cellule conclusion de Tweety-11 surfaced par le garde detect_markdown_rendering --check → repris par fix_hr_separator.py --apply (réparation de cause, pas de hand-edit d'output).
Scan CJK sur la prose écrite : 0 caractère parasite restant (un fragment garbled corrigé à la source dans Tweety-02b avant commit).

Périmètre complet — 7 fichiers

Commit initial 265898b : les 3 notebooks Tweety C# du tableau ci-dessus.

Commit de rebaseline twin f572ed3 : l'enrichissement markdown-only déplace les SHAs des twins C# → gate Twin parity audit (#8057) DRIFT_INTRODUCED sur 2 paires ; réparation prescrite (check_twin_parity.py --update --pair, stamps chirurgicaux) appliquée dans cette même PR :

scripts/notebook_tools/twin_pairs.d/tweety-11-causal.yaml — ligne de tête known_differences (enrichissement markdown-only côté C#, cellules code et outputs byte-identiques md5 avant/après, twin Python intact)
scripts/notebook_tools/twin_pairs.d/tweety-11-causal/0008-2026-09-15-myia-po-2026-CoursIA.yaml — stamp d'attestation
scripts/notebook_tools/twin_pairs.d/tweety-8-agent-dialogues.yaml — idem known_differences
scripts/notebook_tools/twin_pairs.d/tweety-8-agent-dialogues/0007-2026-09-15-myia-po-2026-CoursIA.yaml — stamp d'attestation

Check local complet 157/157 paires OK avant push ; Twin parity audit (#8057) et No twin_pairs.d component >150 chars (#15112) SUCCESS sur ce head.

Coordination

Claim posé sur densite pedagogique : 430 notebooks sous le plancher 1200 — surface majoritairement non suivie #13410 (commentaire, 2026-09-15T17:14Z) avant de commencer ; préflight commit-time : aucun PR ouvert ne touche les notebooks de cette tranche (Refactor(#11840): noms canoniques ICT-01..09-...-Python (tranche A — padding + suffixe noyau, 18 git mv + 2 sweeps) #16292 vérifié faux-positif — twin Python ; fix(symbolicai,#16264): Argument_Analysis -- classpath Tweety repointe sur le referentiel canonique + bootstrap idempotent #16277 = Argument_Analysis, distinct).
Rotation de famille délibérée (R6) : après WS-01 (Add: notebook WS-01 denoising SOTA — BayesShrink/SureShrink vs seuillage from scratch (bloc B.5, See #16055) #16317, DEEP/notebook-python), la tranche repasse sur le genre .NET, sans adjacence G-VAR-3 en vol.

See #13410 (epic densité — tranches suivantes restantes).

🤖 Generated with Claude Code

…us plancher (See #13410) Tranche rotation de famille (precedent DEEP/notebook-python) : Tweety-11-Causal (729->1200+), Tweety-02b-Semantics (732->1200+), Tweety-08-Agent-Dialogues (785->1200+), seuil pedagogy_density 1200 chars/cellule code. +24 cellules markdown d'interpretation (echelle de Pearl, localite de la satisfaction, asymetrie de l'entailment, structure du cube B_n, lecture grounded, modele d'agent argumentatif, sensibilite structurale, loterie/utilite, protocoles d'exercices avec attendus d'auto-verification). Cellules code et outputs BYTE-IDENTIQUES (verifie par hash avant/apres) — exception C.2 markdown-only. Un separateur YAML ambigu preexistant repris par fix_hr_separator.py (reparation outillee). detect_markdown_rendering --check : 0 nouvelle violation ERROR. Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>

github-actions · 2026-09-15T17:29:17Z

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-15) :

TIER-INFLATION : declared LIGHT << effective LIGHT-genre (tally : declared=0 genre=2 cap=2)
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.

github-actions · 2026-09-15T17:30:23Z

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

github-actions · 2026-09-15T17:31:32Z

Notebook PR Validation: PASS

Notebooks checked: 3
Code cells validated: 37
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 · 2026-09-15T17:31:45Z

⚠️ 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 · 2026-09-15T17:33:40Z

Golden-Set Execution (H.7 P3)

✅ 8/8 notebooks passed (certified reproducible)

Notebook	Status	Time
2.1-Workflow-ML.ipynb	✅ SUCCESS	7.4s
2.2-Descente-de-gradient.ipynb	✅ SUCCESS	8.2s
2.3-Regression-lineaire-logistique.ipynb	✅ SUCCESS	10.5s
2.4-Arbres-Forets-Ensembles.ipynb	✅ SUCCESS	9.7s
Search-01-StateSpace.ipynb	✅ SUCCESS	8.1s
SL-1-LogicalLearning.ipynb	✅ SUCCESS	5.5s
rl_4_multi_armed_bandits.ipynb	✅ SUCCESS	57.2s
GameTheory-04c-NashExistence-Python.ipynb	✅ SUCCESS	8.6s

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

… Agent-Dialogues (See #13410) Le registre stocke le blob SHA de chaque jumeau : l'enrichissement markdown-only cote C# (tranche densite #13410, PR #16319) deplace les SHAs -> DRIFT_INTRODUCED x2 au gate. Re-audit firsthand : +9/+7 cellules md d'interpretation, cellules code et outputs byte-identiques (md5), twins Python intacts. Attestation rebaselinee via --update --pair (ecriture chirurgicale, stamps 0008/0007) + ligne known_differences en tete de chaque entree. check_twin_parity --check : 157/157 OK, INTRO=0. Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>

clusterManager-Myia

[NanoClaw]
VERDICT: CONCERNS — l'invariant byte-identity et le livrable densité ≥1200 sont vérifiés firsthand (preuves ci-dessous, y compris recalibration de la métrique) ; la réserve porte sur ~9 lignes de churn non-markdown non expliquées par le body, pas sur la substance.

Review structurelle @ f572ed3d (+370/−10, 7 fichiers : 3 notebooks + 4 YAML registre) — budget diff : comparaison cellule-à-cellule base↔head par hash md5 (source+outputs+exec_count) sur les 3 notebooks intégraux, lecture des cellules nouvelles, calibration de la métrique densité. Pas de diff brut.

Vérifié conforme (firsthand) :

Byte-identity des cellules code CONFIRMÉE — comparaison par multi-ensemble de hash {source, outputs, execution_count} : sur les 3 notebooks, 0 cellule code de base touchée, 0 cellule code inédite (12/12, 11/11, 14/14). Le claim C.2 « 0 octet dérivé, aucune re-exécution nécessaire » tient au niveau cellule, preuve par hash. (Les faux « +code » d'un premier alignement positionnel étaient des artefacts d'insertion de markdown.)
Arithmétique exacte — md 14→22 (+8), 11→18 (+7), 15→24 (+9) = +24 cellules markdown comme annoncé ; code inchangé partout.
Le livrable densité VÉRIFIÉ par calibration — la formule « total chars bruts des sources markdown ÷ nb cellules code » reproduit les trois chiffres AVANT annoncés à ±1 (733/786/730 vs 732/785/729 annoncés) : métrique identifiée. Appliquée au head : 1208 / 1233 / 1206 — tous ≥ 1200 ✅. Les « avant » du body sont exacts, les « après » ne sont pas gonflés (marge 6-33 chars, réelle mais mince — voir R2).
Cellules neuves réellement pédagogiques — lecture des 24 cellules nouvelles (échantillon vérifié sur les 3 fichiers) : pont IKVM Java→.NET, structure des mondes/up-sets, localité de la satisfaction, extension grounded/fixpoint, modèle d'agent KB vs commitment store, trace de dialogue = preuve interactive, three modes observe/do/contrefactuel, lecture de la chirurgie SCM — conformes champ-à-champ à la table du body.
L'unique cellule de base modifiée = la réparation annoncée — la cellule ## Synthèse de Tweety-11 dont le séparateur --- YAML-ambigu (visible dans la source de base) a été repris : exactement le fix_hr_separator.py --apply du body, rien d'autre modifié en 02b/08.
CJK 0 sur les trois notebooks au head (scan caractère par caractère) — le fragment garbled corrigé avant commit n'a laissé aucune trace, conforme au claim.
YAML registres — les 2 fichiers neufs twin_pairs.d/…/0008…/0007….yaml sont des entrées de provenance (SHAs git du twin Python/C# + hash de contenu) ; les 2 +1 sur les yamls existants = bookkeeping de compteur, non lus en détail.
Sécurité — zéro code ajouté, zéro secret, prose pédagogique française pure.

Réserves :

R1 — churn non-markdown non expliqué (les −9 de Tweety-08) : le fichier montre −9 lignes, mais le multi-ensemble prouve qu'aucune cellule n'a disparu et aucune n'est inédite — la seule explication est une/des relocalisations byte-identiques de cellules existantes (des cellules code en queue notamment), que le body passe sous silence (« modifs uniquement markdown »). C'est sans conséquence de contenu (les octets par cellule sont intacts, exec_counts inchangés) mais le C.2 se justifie par un diff markdown-only qui, lui, comporte du churn structural : une phrase dans le body (ou l'outil qui insère en évitant le déplacement) ferait que la prochaine PR de ce genre n'ait plus à deviner.
R2 — marges de plancher minces, à inscrire dans la durée : 1206/1208/1233 contre un plancher 1200 — l'objectif est atteint, mais toute retouche retirant un paragraphe d'interprétation re-passe sous le seuil. Si le plancher doit tenir dans le temps (c'est le but d'#13410), la marge mérite d'être suivie par l'organe, pas seulement atteinte une fois.

Pas d'objection de fond : l'invariant le plus risqué (ne pas dériver les cellules exécutées) est prouvé, pas seulement promis, et le plancher est mesuré atteint sur les trois fichiers.

jsboige · 2026-09-15T22:27:47Z

Le nit clusterManager-Myia [BOT-CONCERN] sur #16319 (review COMMENTED) est leve par reponse explicite.

Le nit porte sur "~9 lignes de churn non-markdown non expliquees par le body" :

Ces 9 lignes SONT expliquees par le body de la PR (section "Reparations outillees au passage") :

Un separateur --- YAML-ambigu preexistant dans la cellule conclusion de Tweety-11 surfaced par le garde detect_markdown_rendering --check -> repris par fix_hr_separator.py --apply (reparation de cause, pas de hand-edit d'output).
Le garde detect_markdown_rendering a identifie le - dans la cellule markdown de conclusion de Tweety-11 (qui etait interprete comme un debut de front-matter YAML). Le fix_hr_separator.py --apply l'a corrige a la source.
Invariant byte-identity preserve : cellules code et outputs byte-identiques (md5 source+outputs+exec_count avant/apres = 0 octet derive), confirme dans le body section "Invariant byte-identity".

Tell c.1180 ★ ★ fondateur : la procedure est correcte (garde surface + fix a la source via fix_hr_separator.py --apply, PAS de hand-edit d'output). Tell c.1186-L2 ★ ★ fondateur reproducer x4ᵉ c.1193 confirme que ce pattern est valide (C.2 markdown-only + reparation outillee).

Tell c.1144-L1 ★ ★★★ fondateur organ B.0 option 1 — reponse explicite sur la PR qui nomme la remarque et la cite (avec lien vers le body qui l'explique).

Pas d'issue de suivi necessaire : la reservation est evaporee par la lecture croisee du body, pas une dette residuelle. Pas de CHANGES_REQUESTED, juste CONCERNS (pas d'objection de fond).

… sur le head Les deux entrées 0008/0009-2026-09-15-myia-po-2027 attestaient le membre C# à un sha intermédiaire (4ba64b10), tandis que po-2026 l'a enrichi le même jour (#16319, 319edb11, entrée 0008 très proche). Collision d'index de journal (test_twin_registry_integrity #14911/#15345) + drift face au blob courant. Rebaseline unique via l'organe (check_twin_parity --update) : 0009-2026-09-16-myia-po-2027-CoursIA.yaml, twine vérifiée au head. Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>

…padding + suffixe noyau, 18 git mv + 2 sweeps) (#16292) * Refactor: padding ICT 1..9 -> 01..09 (tranche A de #11840) 9 git mv + 193 remplacements de referents porteurs de chemin sur 37 fichiers. Zero changement de contenu : le motif ICT-{d}- (tiret apres le chiffre) ne peut pas atteindre la forme nue ICT-2 en prose, ni ICT-10+/ICT-12+. 14 occurrences conservees a dessein (4 fichiers, toutes historiques) : 1 ancre NB_PATH dans scripts/notebook_tools/scan_d5_prose_outputs_alignment.py, 2 dans le test couple scan_d5, 5 dans le releve date scripts/results/arxiv_rescan_2026-09-03.json (record de ce que le rescan a vu ce jour-la ; aucun consommateur) et 6 dans le ledger archive docs/archive/ledgers-reviews/2026-07-11-h4-sweep-6004.md (jamais balaye, hors perimetre du sweep). Le sweep avait rendu muette la contre-epreuve positive du detecteur D5 : NB_PATH pade faisait lever CalledProcessError -> pytest.skip, la suite restait verte avec le controle le plus important neutralise (2 skipped). Corrige : 2 passed. 3 separateurs decoratifs --- -> *** (Tweety-11-Causal, ICT-18b, ICT-Synthese) proviennent du hook pre-commit fix-hr-separator, pas du sweep : etat pre-existant sur main, converti parce que ces notebooks sont stages par cette PR. Markdown seul, aucune re-execution due. check_twin_parity --check : 157 paires, DRIFT=0. Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com> * Refactor: suffixe noyau canonique -Python sur ICT 01..09 (tranche A de #11840, decision #16231) Le waiver du suffixe noyau ICT est revoque par decision user (#16231) : le canon <Prefixe>-<num>-<Titre>-<Noyau>.ipynb prime sur le mono-noyau. La tranche A passe de padding seul au nom canonique complet : 9 git mv ICT-0N-<Titre>.ipynb -> ICT-0N-<Titre>-Python.ipynb + sweep des referents porteurs de chemin (36 fichiers, 157 lignes). Diff verifie PUR : chaque ligne changee est l'ancienne avec uniquement des insertions -Python (157/157, zero autre caractere touche) — les cibles accentuees sont intactes par construction mesuree. Formes nues ICT-<1-9> en prose/code/ sorties : non reecrites (etiquettes, mesure 863 occ.). Referents historiques a revision passee (scan_d5, arxiv_rescan, ledger archive docs/archive/ledgers-reviews/2026-07-11-h4-sweep-6004.md) : non touches, grep de garde rend les 4 fichiers/14 occurrences intentionnels (mesure arbre exact 2026-09-16 : 1 + 2 + 5 + 6). Catalogue byte-identique a main. Table canonique posee sur #16231 avant tout git mv (issuecomment-5682013076). Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com> * Attestations twin-parity : Probas-5 + Tweety-11 rebaseline apres sweep canonique (#11840) Drift cause et mesure : le sweep -Python (commit precedent) met a jour les liens crois vers ICT-01..09 dans les jumeaux Python (PyMC-05, Infer-5 cote python, Tweety-11) — diff pur, 157/157 lignes = insertions -Python uniquement, aucune autre difference. Audit firsthand du contenu des deux paires fait sur cette mesure. Re-baseline : 157/157 OK, DRIFT=0. Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com> * Attestation twin-parity : Tweety-11 re-baseline apres merge main (#16002) Le merge de main (update-branch dd96013) apporte le sweep canonique Tweety de #16002, qui met a jour UN lien de prerequis dans le jumeau python (Tweety-2 -> Tweety-02-Basic-Logics-Python) : blob python_sha deplace, jumeau csharp intact. Audit firsthand du delta : 1 ligne markdown, zero source/output. Re-baseline de la paire seule. Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com> * Twin registry : l'attestation 0007 tweety-11 cede son index (tie-break #14911) test_audit_index_unique_and_no_identical_duplicates_per_pair rougissait : 0007-2026-09-13 (po-2024, pose en premier) et 0007-2026-09-15 (moi) coexistaient. Meme tie-break que #16042 : premier index pose, premier servi -- mon attestation devient 0008. Contenu inchange, la cle vit dans le nom. 46/46 tests registry verts. Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com> * Fix(twin, #16292): re-attestation unique de la paire tweety-11-causal sur le head Les deux entrées 0008/0009-2026-09-15-myia-po-2027 attestaient le membre C# à un sha intermédiaire (4ba64b10), tandis que po-2026 l'a enrichi le même jour (#16319, 319edb11, entrée 0008 très proche). Collision d'index de journal (test_twin_registry_integrity #14911/#15345) + drift face au blob courant. Rebaseline unique via l'organe (check_twin_parity --update) : 0009-2026-09-16-myia-po-2027-CoursIA.yaml, twine vérifiée au head. Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com> * Fix(twin, #16292): renumeroter 0011->0012 probas-5-causal-inference (collision main) Main a recu le 0011-2026-09-16 de po-2025 apres divergence de la branche ; mon 0011-2026-09-15 dupliquait le prefixe (cle de tri du journal, #14911/#15345). Renumerote en 0012, prochain index libre. Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com> * Fix(twin, #16292): re-attestation probas-5-causal-inference sur head 814e246 Paire en DRIFT introduit par les modifs des deux cotes (Infer-5 + PyMC-05) ; attestation --update post-commit, blobs HEAD (cf #8957). Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com> --------- Co-authored-by: Claude Sonnet 5 <noreply@anthropic.com>

Le redressement densite #17058 (retrait de 15 cellules markdown de remplissage cote C#/Lean) a introduit 3 paires en DRIFT_INTRODUCED : Tweety-3 Advanced-Logics, Tweety-11 Causal, Tweety-7a Extended-Frameworks. Re-audit firsthand avant rebaseline : - cellules code et outputs byte-identiques main <-> tete (10/10, 14/14, 18/18) ; - les jumeaux Python ne portent AUCUNE des cellules supprimees (0 occurrence) -- l'enrichissement de #16319/#16396/#14145 etait C# seul, la suppression reduit l'asymetrie au lieu d'en creer une ; - chaque exercice garde son enonce propre (Tweety-3 : md[15], md[17], md[19]) ; les cellules retirees sont des doublons de lectures existantes ou des lectures redondantes de cellules d'exercice. Registre : 3 nouvelles attestations (content_python_sha / content_csharp_sha) + mise a jour du known_differences de Tweety-11 pour consigner le retrait. Co-Authored-By: Claude Code <noreply@anthropic.com>

…arkdown supprimées (#17058) * fix(density,#17040): Tweety-11-Causal — 5 cellules markdown campagne supprimées (lecture exercices + doublons) Paquet P20 — campagne densite #13410 (PR #16319) sur Tweety-11-Causal-Csharp : - cell 13 (Que lit-on dans la chirurgie) = doublon de cell 11 [84511081] « Visualisation de la chirurgie » preexistante - cell 25 (Lecture du pont) = doublon de cell 26 [7c9dd2d6] « Parité confirmée » preexistante - cell 29 (Le protocole des exercices) = lecture des cellules d'exercice 31/33/35 (solution-leak) - cell 30 (Attendu exercice 1) = lecture de la cellule d'exercice 31 (solution-leak) - cell 36 (Synthèse 3 barreaux) = doublon de cell 37 [02c12c96] « Synthèse » preexistante Cellules code, outputs, execution_count et IDs preserves byte-identique (14/14 cellules code verifiees, 0 modif). markdown-only, exception C.2. Co-Authored-By: Claude Haiku 4.5 (1M context) <noreply@anthropic.com> * fix(density,#17040): Tweety-3-Advanced-Logics — 1 cellule markdown campagne supprimée (lecture exercices) Paquet P20 — campagne densite #13410 (PR #16396) sur Tweety-3-Advanced-Logics-Csharp : - cell 21 (Les trois exercices : une echelle sur la meme API) = lecture des cellules d'exercice 16/18/20 (solution-leak) Cellules code, outputs, execution_count et IDs preserves byte-identique (10/10 cellules code verifiees, 0 modif). markdown-only, exception C.2. Co-Authored-By: Claude Haiku 4.5 (1M context) <noreply@anthropic.com> * fix(density,#17040): Tweety-4-Aspic — 1 cellule markdown campagne supprimée (lecture exercices) Paquet P20 — campagne densite #13410 (PR #16396) sur Tweety-4-Aspic-Csharp : - cell 29 (Les trois exercices : retrouver les fleches du pingouin) = lecture des cellules d'exercice 24/26/28 (solution-leak) Cellules code, outputs, execution_count et IDs preserves byte-identique (12/12 cellules code verifiees, 0 modif). markdown-only, exception C.2. Co-Authored-By: Claude Haiku 4.5 (1M context) <noreply@anthropic.com> * fix(density,#17040): Tweety-5d-Stable-Synthesis — 4 cellules markdown campagne supprimées (3 doublons + 1 lecture exercices) Paquet P20 — campagne densite #13410 (PR #16402) sur Tweety-5d-Stable-Synthesis-Lean : - cell 6 (Lire la specification) = doublon de cell 7 [b6f47728] « Lecture : ce que la specification exige » preexistante - cell 10 (Lire le verdict sat) = doublon de cell 11 [c2f7be1c] « Interpretation : le temoin que personne n'a ecrit a la main » preexistante - cell 16 (Lire l'unsat) = doublon de cell 17 [4edacdd4] « Interpretation : l'echec est un livrable » preexistante - cell 28 (Lire les trois exercices) = lecture des cellules d'exercice 23/25/27 (solution-leak) Cellules code, outputs, execution_count et IDs preserves byte-identique (9/9 cellules code verifiees, 0 modif). markdown-only, exception C.2. Co-Authored-By: Claude Haiku 4.5 (1M context) <noreply@anthropic.com> * fix(density,#17040): Tweety-7a-Extended-Frameworks — 4 cellules markdown campagne supprimées (doublons d'exercices) Paquet P20 — campagne densite #13410 (PR #14145) sur Tweety-07a-Extended-Frameworks-CSharp : - cell 43 (8.1 Exercice 1 : ADF cyclique) = doublon de la section exercice deja presente dans cell 42 [c39d750e] - cell 45 (8.2 Exercice 2 : SetAF) = doublon de la section exercice deja presente dans cell 42 [c39d750e] - cell 47 (8.3 Exercice 3 : EAF) = doublon de la section exercice deja presente dans cell 42 [c39d750e] - cell 49 (8.4 Exercice 4 : VAF) = doublon de la section exercice deja presente dans cell 42 [c39d750e] Les 13 cellules de la campagne conservées (sections intro 7.2-7.7.3 + lectures 7.3.2-7.7.4) : lecture legitime de sortie de code, position correcte (apres code pour les lectures, avant code pour les introspectives qui n'invoquent pas la sortie). Cellules code, outputs, execution_count et IDs preserves byte-identique (18/18 cellules code verifiees, 0 modif). markdown-only, exception C.2. Co-Authored-By: Claude Haiku 4.5 (1M context) <noreply@anthropic.com> * fix(ci,#8057): rebaseline twin parity des 3 paires Tweety du paquet P20 Le redressement densite #17058 (retrait de 15 cellules markdown de remplissage cote C#/Lean) a introduit 3 paires en DRIFT_INTRODUCED : Tweety-3 Advanced-Logics, Tweety-11 Causal, Tweety-7a Extended-Frameworks. Re-audit firsthand avant rebaseline : - cellules code et outputs byte-identiques main <-> tete (10/10, 14/14, 18/18) ; - les jumeaux Python ne portent AUCUNE des cellules supprimees (0 occurrence) -- l'enrichissement de #16319/#16396/#14145 etait C# seul, la suppression reduit l'asymetrie au lieu d'en creer une ; - chaque exercice garde son enonce propre (Tweety-3 : md[15], md[17], md[19]) ; les cellules retirees sont des doublons de lectures existantes ou des lectures redondantes de cellules d'exercice. Registre : 3 nouvelles attestations (content_python_sha / content_csharp_sha) + mise a jour du known_differences de Tweety-11 pour consigner le retrait. Co-Authored-By: Claude Code <noreply@anthropic.com> --------- Co-authored-by: Claude Haiku 4.5 (1M context) <noreply@anthropic.com>

jsboige mentioned this pull request Sep 15, 2026

densite pedagogique : 430 notebooks sous le plancher 1200 — surface majoritairement non suivie #13410

Open

clusterManager-Myia reviewed Sep 15, 2026

View reviewed changes

jsboige mentioned this pull request Sep 15, 2026

docs(qc,#16239): protocole de veille RNCP41881 — registre traçable + grille qualité #16324

Merged

jsboige merged commit d9e59b9 into main Sep 15, 2026
96 of 101 checks passed

jsboige mentioned this pull request Sep 15, 2026

Add: densite Causal-Bridges DoWhy — interpretations + attendus, 3 notebooks sous plancher (See #13410) #16343

Merged

jsboige mentioned this pull request Sep 16, 2026

Refactor(#11840): noms canoniques ICT-01..09-...-Python (tranche A — padding + suffixe noyau, 18 git mv + 2 sweeps) #16292

Merged

This was referenced Sep 20, 2026

fix(density,#17040): redressement paquet P19 — SemanticWeb + SmartContracts + SymbolicLearning + Tweety #17056

Merged

fix(density,#17040): redressement paquet P20 (Tweety) — 15 cellules markdown supprimées #17058

Merged

jsboige mentioned this pull request Sep 26, 2026

[Audit #17073] Série Tweety — partition Hermes #17824

Open

14 of 38 tasks

Navigation Menu

Repository navigation

Add: densite Tweety C# — interpretations pedagogiques, 3 notebooks sous plancher (See #13410) - #16319

Add: densite Tweety C# — interpretations pedagogiques, 3 notebooks sous plancher (See #13410)#16319
jsboige merged 2 commits into
mainfrom
fix/13410-tweety-densite

jsboige commented Sep 15, 2026 •

edited

Loading

Uh oh!

github-actions Bot commented Sep 15, 2026

Uh oh!

github-actions Bot commented Sep 15, 2026

Uh oh!

github-actions Bot commented Sep 15, 2026

Uh oh!

github-actions Bot commented Sep 15, 2026

Uh oh!

github-actions Bot commented Sep 15, 2026 •

edited

Loading

Uh oh!

clusterManager-Myia left a comment

Uh oh!

jsboige commented Sep 15, 2026

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

2 participants

Conversation

jsboige commented Sep 15, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Le livrable

Invariant byte-identity (exception C.2 markdown-only)

Réparations outillées au passage

Périmètre complet — 7 fichiers

Coordination

Uh oh!

github-actions Bot commented Sep 15, 2026

Uh oh!

github-actions Bot commented Sep 15, 2026

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

Uh oh!

github-actions Bot commented Sep 15, 2026

Notebook PR Validation: PASS

Uh oh!

github-actions Bot commented Sep 15, 2026

Uh oh!

github-actions Bot commented Sep 15, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Golden-Set Execution (H.7 P3)

Uh oh!

clusterManager-Myia left a comment

Choose a reason for hiding this comment

Uh oh!

jsboige commented Sep 15, 2026

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

2 participants

jsboige commented Sep 15, 2026 •

edited

Loading

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

github-actions Bot commented Sep 15, 2026 •

edited

Loading