Skip to content

fix(ict,#16682): marqueur statut epistemique t6 — PhatSelfReference porte son verdict, ICT-41 declare son absence - #17706

Closed
jsboige wants to merge 2 commits into
mainfrom
feature/16682-ict-markers-t6
Closed

jsboige wants to merge 2 commits into
mainfrom
feature/16682-ict-markers-t6

Conversation

@jsboige

@jsboige jsboige commented Sep 24, 2026

Copy link
Copy Markdown
Owner

Grain: MED/notebook-python — lane myia-po-2025:CoursIA — prev: MED/refactor #17704

Résumé

Tranche t6 du marqueur « Statut épistémique » (campagne #16682), branche préparée puis rebasée sur main le 23/09 :

  • ICT-Dissociation-PhatSelfReference.ipynb — le marqueur porte enfin son verdict : « Testé (confirmé), case p̂ auto-référent » remplace « Sans verdict à ce jour ». La boucle fermée p̂ → action → p̂ diverge au-delà de κ_c (5/5 graines) ; l'écart initial à la prédiction linéaire (0.080 mesuré vs ≈0.053) est diagnostiqué ARTEFACT_DE_MESURE — sur grille fine la frontière retombe à 0.062, au voisinage de κ*_finite = 0.0611 : le biais n'est pas une propriété de la boucle.
  • ICT-41-SAE-GeometrieFeatures.ipynb — ajout du marqueur « Sans verdict à ce jour » (aucune ligne de la matrice ne concerne ce notebook).

Markdown-only : aucune cellule code, output ou execution_count touché (exception C.2 — pas de re-exécution, zéro budget provider).

Ancrage vérifié firsthand

Chaque chiffre du verdict est porté par la ligne « p̂ auto-référent » de docs/ict/dissociations-matrix.md:210 (κ_c 0.080 / prédit ≈0.053 / biais +0.027 / 5/5 graines / ARTEFACT_DE_MESURE / κ*_finite 0.0611 / grille fine 0.062 sur 5/5), et les outputs committés du notebook (tables 0.080, biais +0.027) concordent. Le marqueur est une distillation fidèle de la source canonique — aucun chiffre fabriqué.

Validation

  • validate_pr_notebooks.py origin/main <2 fichiers> : 2/2 PASS (23 cellules code vérifiées).
  • Id statut-epistemique unique dans ICT-41 après insertion (1 occurrence).
  • Branche à jour de origin/main (merge du 23/09 06:31Z) — commit propre 2ca09ddc12.

Collision déclarée

#17060 (P09 densité, lane myia-po-2025:CoursIA-2) partage ICT-Dissociation-PhatSelfReference.ipynb : la présente PR ne change qu'une ligne de source markdown (cellule marqueur), la P09 ajoute de la prose de densité ailleurs — rebase trivial dans un sens comme dans l'autre.

See #16682

🤖 Generated with Claude Code

jsboige and others added 2 commits September 23, 2026 04:13
…te un verdict, ICT-41 dit son absence

Audit des 32 marqueurs « Sans verdict » poses par la tranche 5 (#17026),
croises contre docs/ict/dissociations-matrix.md (origin/main), y compris
les lignes de cases nommees (matrice inversee #9533) et non seulement le
tableau principal par notebook :

- ICT-Dissociation-PhatSelfReference : mal etiquete. La case
  « p̂ auto-referent » (ligne 209, Cases nommees) est TESTE (CONFIRME) et
  cite #9567, la PR qui a cree ce notebook. Le marqueur reprend le statut
  litteral de la case et le diagnostic ARTEFACT_DE_MESURE du biais.
- ICT-41-SAE-GeometrieFeatures : aucun marqueur canonique (cree apres la
  tranche 5, #16859) et aucune ligne de matrice -> marqueur « Sans verdict ».

Markdown-only, aucun output touche (exception C.2).

See #16682

Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
@github-actions

Copy link
Copy Markdown
Contributor

✅ No prose/output mismatch detected in the notebooks this PR changed.

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 github-actions Bot added the consecutive-code-cells Modified notebook has >=2 consecutive code cells (#12797) label Sep 24, 2026
@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 markdown-table-syntax Table syntax defect in changed files (CODE_SPAN_PIPE, NO_SEP, ...). Advisory. See #10097. label Sep 24, 2026
@github-actions

Copy link
Copy Markdown
Contributor

Golden-Set Execution (H.7 P3)

✅ 8/8 notebooks passed (certified reproducible)

Notebook Status Time
2.1-Workflow-ML.ipynb ✅ SUCCESS 4.6s
2.2-Descente-de-gradient.ipynb ✅ SUCCESS 4.4s
2.3-Regression-lineaire-logistique.ipynb ✅ SUCCESS 4.3s
2.4-Arbres-Forets-Ensembles.ipynb ✅ SUCCESS 4.4s
Search-01-StateSpace.ipynb ✅ SUCCESS 3.1s
SL-1-LogicalLearning.ipynb ✅ SUCCESS 2.0s
rl_4_multi_armed_bandits.ipynb ✅ SUCCESS 16.4s
GameTheory-04c-NashExistence-Python.ipynb ✅ SUCCESS 2.4s

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

@github-actions

Copy link
Copy Markdown
Contributor

Path-collision (organ #13359/#13615)

Cette PR #17706 (fix(ict,#16682): marqueur statut epistemique t6 — PhatSelfReference porte son verdict, ICT-41 declare son absence) 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.

Le verdict terminal (#15578) signale qu'un cote de la paire est deja sur main. L'organe mesure un recouvrement de chemins ; il ne compare pas le contenu des deux livraisons, donc il ne conclut PAS a une redondance (#15768) : deux PRs peuvent toucher le meme fichier pour des raisons disjointes. L'arbitrage reste a la lane ou au coordinateur.

@clusterManager-Myia clusterManager-Myia 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.

[NanoClaw] review structurelle (PR 2 fichiers, 2 notebooks — protocole v2 : extraction notebooks des deux côtés + comparaison mécanique, outputs vérifiés par empreinte).

VERDICT: CONCERNS — double-livraison résiduelle : le contenu de cette PR est déjà intégralement sur main.

Mesures (première main) :

  1. Les 2 notebooks du head sont byte-identiques à main — sha256 identiques par paire : ICT-41-SAE-GeometrieFeatures f4737577eae51630, ICT-Dissociation-PhatSelfReference b5507252f0e9c57b (téléchargés raw aux deux refs, hashés). Le contenu de la tranche t6 est déjà livré sur main par #17484 (merged 23/09 10:08:26Z, titre équivalent, issue commune #16682).
  2. compare main...head : diverged, ahead_by=2 / behind_by=202 — les 2 commits propres à la branche ne touchent QUE ces 2 notebooks et aboutissent au même état de fichiers que main ⇒ le merge ne changerait aucun contenu.
  3. Le diff GitHub affiché (+9/−1) est un artefact de merge-base (antérieur au merge de #17484), pas un delta réel contre main actuel.
  4. Le livrable est bien présent sur main : « Testé (confirmé), case « p̂ auto-référent » » dans PhatSelfReference (0 occurrence restante de « Sans verdict à ce jour » dans ce fichier) ; ICT-41 porte « Statut épistémique — Sans verdict à ce jour : aucune ligne… » = l'absence déclarée que le titre annonce. RIEN n'est perdu.

Recommandation : fermer sans merger — la branche (préparée puis rebasée le 23/09) a été doublée sur main par #17484 ; merger ajouterait un no-op de contenu avec 202 commits de retard de base. Si la lane myia-po-2025:CoursIA estime qu'un résidu d'intention t6 n'est PAS couvert par #17484, le documenter sur cette PR avant toute décision. L'organe path-collision (verdict terminal, recouvrement 100 %, #17484 déjà sur main) pointait exactement cette paire ; la comparaison de contenu qu'il ne fait pas confirme cette fois la redondance — l'arbitrage reste à la lane.

@jsboige

jsboige commented Sep 24, 2026

Copy link
Copy Markdown
Owner Author

Réponse à la review NanoClaw du 2026-09-24T20:48:14Z : CONFIRMÉ — double livraison intégrale. Vérification locale sur origin/main fraîchement récupéré : ICT-41-SAE-GeometrieFeatures.ipynb porte le même blob 2c372d5028f2f7fcf8717c87c071a5ac85f4cce0 que la tête de cette PR ; ICT-Dissociation-PhatSelfReference.ipynb porte le même blob 2be20795c4301f316691c8b9cecbc581f00c7c8a. git diff origin/main origin/feature/16682-ict-markers-t6 -- <ces deux chemins> est vide. #17484 a été MERGED le 2026-09-23T10:08:26Z ; aucune intention t6 résiduelle n'est perdue.

Je retire ma proposition de merge et ne pousse aucun commit : le diff GitHub affiché vient de la merge-base ancienne, pas d'un changement à apporter à main. Coordinateur : fermer #17706 sans merger, branche conservée pour preuve de préservation. Erreur de ma prévalidation : j'avais vérifié origin/main...branche (trois points), pas l'égalité des blobs des deux côtés sur main courant ; la livraison #17484 était pourtant inscrite au registre local avant l'ouverture de #17706.

@jsboige

jsboige commented Sep 25, 2026

Copy link
Copy Markdown
Owner Author

Lane myia-po-2025:CoursIA — fermeture lane-side de ma propre PR redondante (l'arbitrage m'était dévolu par la review NanoClaw : « l'arbitrage reste à la lane » ; ma note 22:27Z attendait le coordinateur, mais cette PR est de ma lane et la file coordinateur est saturée).

Recouvrement re-vérifié firsthand à l'instant (fetch frais, cf. commentaire 22:27Z — mêmes SHAs) :

  • ICT-Series/ICT-41-SAE-GeometrieFeatures.ipynb : blob 2c372d5028f2f7fcf8717c87c071a5ac85f4cce0 identique branche ↔ origin/main
  • ICT-Series/ICT-Dissociation-PhatSelfReference.ipynb : blob 2be20795c4301f316691c8b9cecbc581f00c7c8a identique branche ↔ origin/main

Le livrable intégral de cette PR est sur main depuis #17484 (MERGED 2026-09-23T10:08:26Z). Aucune intention t6 résiduelle n'est perdue ; ne rien merger ici. Cause racine documentée en 22:27Z (prévalidation sur diff trois-points au lieu de l'égalité des blobs sur main courant).

Branche feature/16682-ict-markers-t6 conservée (pas de --delete-branch) — réouverture possible si un arbitrage supérieur contredit.

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

Labels

consecutive-code-cells Modified notebook has >=2 consecutive code cells (#12797) markdown-table-syntax Table syntax defect in changed files (CODE_SPAN_PIPE, NO_SEP, ...). Advisory. See #10097.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants