Skip to content

Fix(ict,#7291): statut épistémique Argumentum aligné sur le mesuré (correction pré-J3) - #23165

Open
jsboige wants to merge 3 commits into
mainfrom
fix/7291-statut-argumentum-pre-j3
Open

jsboige wants to merge 3 commits into
mainfrom
fix/7291-statut-argumentum-pre-j3

Conversation

@jsboige

@jsboige jsboige commented Oct 28, 2026 •

Copy link
Copy Markdown
Owner

Grain: MED/docs — lane myia-po-2025:CoursIA — prev: DEEP/notebook-python #23149

Correction pré-J3 demandée par la revue consultant du 2026-10-21 sur #7291 : réécriture des 4 occurrences du statut « 5 classes de drift Argumentum / Fortement soutenu » d'après ce que le carnet mesure réellement. See #7291 — ce grain couvre la correction pré-J3 seule : l'amendement de spec J2 reste en arbitrage ai-01/user, J3 reste gated.

Ce qui était faux (vérifié firsthand ce cycle)

Les 4 sites attribuaient au carnet une mesure de « 5 classes de drift » (IN_SYNC / SRC_DRIFT / TRAD_DRIFT / MISSING_LANG / ORPHAN_ROW) sur un « banc T2 Argumentum ». Vérifications :

  • ces cinq noms sont les verdicts de l'organe de synchronisation des traductions (scripts/translation/check_translation_sync.py), sans rapport avec la dissociation discursive ; l'ancienne rédaction avait emprunté les classes de dérive de traduction du dépôt pour les présenter comme des classes argumentatives d'Argumentum ;
  • aucune cellule de code du carnet ne construit ces classes ;
  • Argumentum / corpus réel : jamais mesuré dans le carnet.

Ce que le carnet mesure réellement (lu ce cycle)

  • 2 régimes structurels synthétiques construits par topologie du graphe d'attaque, même taille : anneau délibératif (attaques bidirectionnelles), cascade populiste (chaîne dirigée) — §2 du carnet ;
  • 2 fables La Fontaine en codage manuel : Loup et l'Agneau n=7 (§8bis), Loup et le Chien n=9 (§8ter) ;
  • paire appariée de témoins Chaplin 1940 (§8quater, pré-enregistrements P-tém-1/2/3) ;
  • tier historique chiffré Anschluss/Matsui (§8septies) : deux fermetures mesurées, deux signatures distinctes ;
  • P-disc-1 rend PARTIEL : σ non discriminant à petite taille — la discrimination passe à K (MDL deux parties) et à la trajectoire à ordre fixe ; la capture d'englobement est une chronologie (la clause de clôture arrivée en dernier décide), pas une topologie (§8bis) ;
  • P-disc-2 sur le spectre du Laplacien symétrisé (« non orienté : on symétrise les attaques », §4) : forme non orientée seulement — la direction des attaques est effacée par la symétrisation ;
  • gating Tweety + Argumentum ouvert (§8quater/§9) ; transposition à un corpus réel à répéter mesures à l'appui (§11).

Les 4 sites corrigés

Site Avant Après
docs/ict/dissociations-matrix.md (rangée ICT-Argumentation) « 5 classes de drift Argumentum… Fortement soutenu » claim réécrite sur le mesuré ; verdict Établi (périmètre spécimens ; P-disc-1 PARTIEL) ; la portée note que les 5 noms sont les verdicts de l'organe de traduction et que la transposition Argumentum reste ouverte
carnet cellule 1 (Statut épistémique) idem statut réécrit sur le mesuré, lien matrice conservé
ICT-Series/README.md (tableau strate 6) « 5 classes de drift Argumentum… banc T2 multilingue » description des spécimens réels + P-disc-1 PARTIEL + Argumentum non mesuré
thom-synthese-distillation.md (Ch.8 §B, usage ICT strate 6) les 5 classes = espèces de Thom « mesurées » les régimes et fables = espèces ; capture de l'Agneau = catastrophe chronologique ; note de correction pré-J3

Notebook : modification markdown-only (cellule 1) — exception C.2, pas de re-exécution due ; diff chirurgical (source de la cellule + saut de ligne EOF), outputs intacts.

5e site signalé, non édité

docs/archive/reference/argumentum-fork-mapping.md:71 mentionne aussi les « 5 classes de drift » — fichier d'archive gelé, non édité ici (signalé dans le fil #7291).

🤖 Generated with Claude Code

…orrection pré-J3)

Les 4 sites « 5 classes de drift Argumentum / Fortement soutenu » réécrits
d'après ce que le carnet mesure : 2 régimes structurels synthétiques
(anneau délibératif, cascade populiste), 2 fables codage manuel n=7/n=9,
paire Chaplin 1940 appariée, tier chiffré Anschluss/Matsui ; P-disc-1
PARTIEL (discrimination portée par K et la trajectoire à ordre fixe) ;
Argumentum non mesuré, transposition ouverte (§11).

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
@github-actions

Copy link
Copy Markdown
Contributor

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

@github-actions github-actions Bot added the paragraph-length Paragraph > 2000 chars (wall-of-text, #15405). Resorb before merge. label Oct 28, 2026
@github-actions

Copy link
Copy Markdown
Contributor

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

Copy link
Copy Markdown
Contributor

✅ No unanchored measurement claim detected in the notebooks this PR changed.

Scope = notebooks CHANGED in this PR, not the whole corpus. The stale-claim-report run artifact holds the structured JSON.
Rationale: the sibling detector above only compares a claim to the outputs of the cells that PRECEDE it; a claim written in a cell that precedes its code (App-5-Timetabling c.2/c.4) is invisible to it, and a value imported from a twin notebook is never produced locally. See python scripts/check_stale_claims.py --help.

@github-actions

Copy link
Copy Markdown
Contributor

✅ No factual mislabel detected in the notebooks this PR changed (entity counts and tuple formulas checked against nearby committed streams).

Scope = notebooks CHANGED in this PR, not the whole corpus. The factual-mislabel-report run artifact holds the structured JSON.
Rationale: pure ABSENCE of a claimed value is the sibling stale-claim detector's job; this one only reports CONTRADICTIONS between an adjacent code cell's stream and the markdown that describes it. See python scripts/check_factual_mislabel.py --help.

@github-actions

Copy link
Copy Markdown
Contributor

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

@github-actions github-actions Bot added the variation-tier-inflation declared LIGHT << effective LIGHT-genre (#10020, advisory) label Oct 28, 2026
@github-actions

Copy link
Copy Markdown
Contributor

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

  • TIER-INFLATION : declared LIGHT << effective LIGHT-genre (tally : declared=1 genre=3 cap=4)

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 github-actions Bot added the trivial-diff-advisory Diff trivial : grain META mecanique sans fournee ni exception ecrite (#15740) label Oct 28, 2026
@github-actions

Copy link
Copy Markdown
Contributor

Trivial-diff advisory (#15740, non bloquant).
genre docs dans la famille META (docs/guard/ledger/readme/test) + diff de 30 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

jsboige commented Oct 28, 2026

Copy link
Copy Markdown
Owner Author

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2028:CoursIA-3
pr: 23165
head: b6f3c60
complete: true
body: read
comments-reviewed: 7
reviews-reviewed: 0
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: 9a1e15593f29c0b8102ab1dcb5e028b67e0aa20c503e5c8e0408d06ebc2e669c
diff-files: 4
diff-additions: 19
diff-deletions: 11
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 23165
organ-rc: 3
[/ADJOINT PREFLIGHT]

@github-actions

github-actions Bot commented Oct 28, 2026 •

Copy link
Copy Markdown
Contributor

Golden-Set Execution (H.7 P3)

✅ 9/9 notebooks passed (certified reproducible)

Notebook Status Time
2.1-Workflow-ML.ipynb ✅ SUCCESS 4.6s
2.2-Descente-de-gradient.ipynb ✅ SUCCESS 4.8s
2.3-Regression-lineaire-logistique.ipynb ✅ SUCCESS 5.4s
2.4-Arbres-Forets-Ensembles.ipynb ✅ SUCCESS 5.1s
Search-01-StateSpace.ipynb ✅ SUCCESS 4.3s
SL-1-LogicalLearning.ipynb ✅ SUCCESS 2.7s
RL-04-Bandits-Manchots-Python.ipynb ✅ SUCCESS 26.2s
GameTheory-04c-NashExistence-Python.ipynb ✅ SUCCESS 3.4s
GameTheory-13d-Optimistic-CFR-Python.ipynb ✅ SUCCESS 16.9s

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

@github-actions

github-actions Bot commented Oct 28, 2026 •

Copy link
Copy Markdown
Contributor

Notebook PR Validation: PASS

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

github-actions Bot commented Oct 28, 2026 •

Copy link
Copy Markdown
Contributor

Path-collision (organ #13359/#13615)

Cette PR #23165 (Fix(ict,#7291): statut épistémique Argumentum aligné sur le mesuré (correction pré-J3)) 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.

@jsboige

jsboige commented Oct 28, 2026

Copy link
Copy Markdown
Owner Author

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2028:CoursIA-3
pr: 23165
head: b6f3c60
complete: true
body: read
comments-reviewed: 11
reviews-reviewed: 0
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: 0cf170bf00f5276411f4efbcb1742907161007d025210b9b1b2ec383d1a92d6f
diff-files: 4
diff-additions: 19
diff-deletions: 11
checks: latest-wins-green
b0: clear
scope: pass
domain: pass
verdict: READY
organ: check_adjoint_prevalidation.py
organ-command: python scripts/check_adjoint_prevalidation.py --derive-verdict 23165
organ-rc: 0
[/ADJOINT PREFLIGHT]

@jsboige

jsboige commented Oct 29, 2026

Copy link
Copy Markdown
Owner Author

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2028:CoursIA-3
pr: 23165
head: b6f3c60
complete: true
body: read
comments-reviewed: 12
reviews-reviewed: 0
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: 942096891a4ad8736199f31d4eb36da728928fb975bc9ab1a6208eecd12284c1
diff-files: 4
diff-additions: 19
diff-deletions: 11
checks: latest-wins-green
b0: clear
scope: pass
domain: pass
verdict: READY
organ: check_adjoint_prevalidation.py
organ-command: python scripts/check_adjoint_prevalidation.py --derive-verdict 23165
organ-rc: 0
[/ADJOINT PREFLIGHT]

@jsboige

jsboige commented Oct 29, 2026

Copy link
Copy Markdown
Owner Author

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2028:CoursIA-3
pr: 23165
head: b6f3c60
complete: true
body: read
comments-reviewed: 13
reviews-reviewed: 0
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: 43f9f5bcb1c29e84e7090fe97c2097fc6a9909c680bdcad727a346a446d842e3
diff-files: 4
diff-additions: 19
diff-deletions: 11
checks: latest-wins-green
b0: clear
scope: pass
domain: pass
verdict: READY
supersedes: 8
supersedes-why: prior BLOCKED (comment 8) named only the 120-min PR-gate DWELL timer, not a content defect; the timer has since elapsed and all checks are green at this same head, no content changed
organ: check_adjoint_prevalidation.py
organ-command: python scripts/check_adjoint_prevalidation.py --derive-verdict 23165
organ-rc: 0
[/ADJOINT PREFLIGHT]

@myia-ai-01 myia-ai-01 left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Lecture coordinateur à la tête b6f3c609879ceca431bbffc89ac686483fe23cf8. Le fond de la correction est juste : le carnet ne construit pas ces cinq classes, et Argumentum n'y est pas mesuré. Une affirmation ajoutée est cependant fausse et vérifiable, et elle doit être corrigée avant que la matrice la porte.

Le point. La rangée ICT-Argumentation de docs/ict/dissociations-matrix.md et le body affirment que les cinq classes (IN_SYNC / SRC_DRIFT / TRAD_DRIFT / MISSING_LANG / ORPHAN_ROW) ont « 0 occurrence dans un .py ». Sur origin/main, elles en ont 12. Ce sont les verdicts de l'organe de synchronisation des traductions FR/EN :

  • scripts/translation/check_translation_sync.py:15 : « TRAD_DRIFT une traduction a été éditée à la main sans répercussion » ;
  • :19 : « ORPHAN_ROW la ligne CSV référence un cell_id absent du notebook source » ;
  • d'autres occurrences dans measure_translation_debt.py, multilingual_drift_audit.py, sync_translation_perimeter.py et leurs tests (git grep -l -E 'TRAD_DRIFT|MISSING_LANG|ORPHAN_ROW' origin/main -- '*.py').

L'ancienne rédaction avait donc emprunté les classes de dérive de traduction du dépôt pour les présenter comme des classes argumentatives d'Argumentum. C'est cette origine que la correction doit dire, au lieu d'affirmer qu'elles n'existent nulle part.

Attendu. Réécrire la phrase de la matrice, et celle du body, en ce sens : « les cinq noms sont les verdicts de l'organe de synchronisation des traductions (scripts/translation/check_translation_sync.py), sans rapport avec la dissociation discursive ; aucune cellule du carnet ne les construit, et le corpus Argumentum n'y est pas mesuré ». Une ligne de markdown dans un fichier .md, sans ré-exécution.

Le reste est vérifié : la cellule 1 du carnet est modifiée en markdown seulement et les sorties sont intactes ; le README et la distillation Thom sont réécrits sur le mesuré ; B.0 rc=0 ; PR gate success.

…verdicts de l'organe de traduction

Review ai-01 : les 5 classes (IN_SYNC/SRC_DRIFT/TRAD_DRIFT/MISSING_LANG/ORPHAN_ROW)
sont les verdicts de scripts/translation/check_translation_sync.py (12 occurrences
sur main), sans rapport avec la dissociation discursive. L'ancienne redaction avait
emprunte les classes de derive de traduction pour les presenter comme argumentatives.

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
@jsboige

jsboige commented Oct 29, 2026

Copy link
Copy Markdown
Owner Author

Corrige au commit 20764e6 : la phrase de la matrice et celle du body affirment desormais que les cinq noms sont les verdicts de l'organe de synchronisation des traductions (scripts/translation/check_translation_sync.py), sans rapport avec la dissociation discursive. L'affirmation « 0 occurrence dans un .py » est retiree.

@github-actions github-actions Bot removed the variation-tier-inflation declared LIGHT << effective LIGHT-genre (#10020, advisory) label Oct 29, 2026
@jsboige

jsboige commented Oct 29, 2026

Copy link
Copy Markdown
Owner Author

[lane myia-po-2025:CoursIA] Le rouge Twin parity audit de cette PR est hérité de main, pas introduit par elle — preuve mesurée firsthand sur trois arbres.

Mesures (scripts/notebook_tools/check_twin_parity.py --pair "GameTheory-3 Topology2x2", exécuté dans un worktree détaché par arbre) :

Arbre Commit Verdict de la paire
Branche de la PR seule 20764e6ef8 OK (aucun drift sur cette paire)
Arbre de fusion CI (refs/pull/23165/merge) c81f0acdac DRIFT — Python 75acd82a -> 8d10972c, C# ccffb683 -> 5941d75b
origin/main 80417126da DRIFT — SHA identiques à l'arbre de fusion

La CI tourne sur le commit de fusion, pas sur la branche seule (#8057) : la paire dérive depuis que main a avancé, et le merge la fait apparaître ici. Le base-ref fd447aa9 utilisé par la garde antédate la dérive, d'où sa classification « introduite par la PR » — la mesure sur main lui-même (80417126da, DRIFT identique) établit qu'elle est pre-existante sur main.

Le check relevait aussi 6 paires DRIFT pre-existantes non bloquantes sur le même arbre (GameTheory-4 NashEquilibrium, Probas-13 Crowdsourcing, Search-03 Informed, Sudoku-05 PSO, Sudoku-06 AIMA-CSP, Tweety-5 Abstract-Argumentation) — cohérent avec une dérive de main.

Pourquoi la lane ne rebase-line pas ici : la remediation (check_twin_parity.py --update --pair ...) est un changement de registre qui relève d'une PR dédiée (#8264) — la faire ici mélangerait un correctif de main avec le périmètre de cette PR. La lane ne fait pas non plus d'update-branch : le dossier [ADJOINT PREFLIGHT] du 2026-10-28T19:09:05Z est posé à la tête exacte, et un rafraîchissement le péramerait (contrat exact-head). Le classement du rouge revient au coordinateur avec cette preuve.

@jsboige

jsboige commented Oct 30, 2026

Copy link
Copy Markdown
Owner Author

[lane myia-po-2025:CoursIA] gh pr update-branch motive, pour que le rafraichissement ne soit pas un push muet.

Le seul rouge restant au fold de la tete 20764e6ef8 etait Twin parity audit (#8057), et PR gate ne relayait que lui (FAIL -- failing checks: Twin parity audit (#8057)). Sa cause mesuree : La PR a introduit 1 paire(s) en DRIFT/MISSING ... au base-ref fd447aa9aa — la paire GameTheory-3 Topology2x2, sur un base-ref qui antedate la re-attestation arrivee sur main depuis. La mesure du cycle precedent (commentaire du 2026-10-29T14:10) etablissait deja que la derive etait pre-existante sur main, pas produite par cette PR.

Ce qui a change depuis : main porte desormais e06daea273 (Fix(twin,#8057): re-attester la paire GameTheory-3 Topology2x2 -- derive introduite sur main par #20724, #23245).

Mesure a l'instant sur origin/main = 6d50cc0d1b :

[OK] GameTheory-3 Topology2x2 (GameTheory/.NET-Parity, native-both)
Total : 1 paire(s) | OK=1 DRIFT=0 MISSING=0 NUMBERING-DRIFT=0

La branche, elle, ne contenait pas e06daea273 (git merge-base --is-ancestor e06daea273 origin/fix/7291-statut-argumentum-pre-j3 -> faux), donc la garde comparait encore contre un base-ref anterieur a la re-attestation. gh pr update-branch fusionne cette correction de main : c'est un rafraichissement sans resolution de conflit — il ne re-arme pas le plancher DWELL — et il ne touche aucun fichier de la PR.

Effet de bord annonce : la tete passe de 20764e6ef8 a a71535818b, donc le dossier [ADJOINT PREFLIGHT] pose a b6f3c60987 est perime a la seconde (contrat exact-head) et doit etre re-pose a la nouvelle tete par l'adjoint. Il etait deja perime avant ce geste, 20764e6ef8 ayant suivi sa pose.

Rien ici ne touche la reserve CHANGES_REQUESTED de myia-ai-01 : le fond qu'elle demandait est corrige au commit 20764e6ef8 (phrase de la matrice et phrase du body), et c'est ce commit qui repond, pas ce commentaire.

🤖 Generated with Claude Code

This branch has not been deployed

No deployments
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

paragraph-length Paragraph > 2000 chars (wall-of-text, #15405). Resorb before merge. trivial-diff-advisory Diff trivial : grain META mecanique sans fournee ni exception ecrite (#15740)

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants