Skip to content
Closed
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Original file line number Diff line number Diff line change
Expand Up @@ -6,6 +6,7 @@
bridge_verdict: SOTA-OK
bridge_verdict_reason: "Modele #10382 solver-free par conception : theorie des jeux algorithmique enseignee from-scratch des deux cotes (l algorithme - induction arriere, existence Nash, SPE, formes extensive/combinatoire/cooperative - EST la lecon ; il n existe pas de bibliotheque .NET canonique de solveur de jeu a invoquer, contrairement aux paires lib-vs-lib comme PyMC/Infer.NET ou scikit/ML.NET). Les deux cotes atteignent le SOTA de leur ecosysteme pour cet objectif pedagogique : reimplementation didactique du formalisme mathematique. Pair verifiee firsthand (census moteur : CS=scratch, PY=scratch)."
known_differences:
- "Purge 2026-10-24 (myia-ai-01:CoursIA-2, #22334) : retrait des attestations 0019 et 0020 (lane myia-po-2025:CoursIA), qui ne decrivaient aucun etat porte par `main` -- leur `csharp_sha` 4d5abfde n'est blob d'aucune revision du carnet, et leur `content_csharp_sha` 2b5880c3 n'egale le contenu d'aucun commit touchant le fichier (recherche sur tout l'historique du path). Elles rendaient rouge `test_audit_shas_exist_in_file_history`. L'attestation 0018 (2026-10-22, myia-po-2024:CoursIA) redevient la derniere du journal ; etat de parite de la paire inchange (DRIFT cote C#, comme avant la purge)."
- "2026-10-22 (myia-po-2024:CoursIA, #14442 tranche 3 volet pieds de page) : cote C# seul edite, markdown seul -- chronologie de workflow (#4956/#3801/Prong B, provenances de cycle) retiree des cellules de conclusion, remplacee par des liens durables vers les carnets suivants. Aucune cellule code touchee (exception C.2, pas de re-execution due), 0 ligne execution_count/outputs dans le diff. Attestation refaite a l'ordinal 0018, apres l'edit (cf #8957)."
- "Re-baseline 2026-10-01 (myia-po-2023:CoursIA, PR partition #17107) : titre du twin C# corrige -- la cellule d'en-tete se nommait 'GameTheory-08-CombinatorialGames-Python (C#)' (nom de fichier recopie, auto-trompeur) et devient 'GameTheory 8 - Jeux Combinatoires (Twin C#)' au pattern de la serie (GT-10/GT-15). Markdown-only : cellule 0 du cote C# seul, toutes les cellules de code et leurs sorties sont byte-identiques."
- "PR #17062 (redressement densite #17040, lane myia-po-2025:CoursIA-2) : cote C# seul edite, markdown seul -- fusion de 3 couples de lectures de campagne en 3 cellules (le remede prescrit « une sortie = une lecture ») ; les 11 cellules de code et leurs sorties sont byte-identiques a la base."
Expand Down

This file was deleted.

This file was deleted.

Original file line number Diff line number Diff line change
Expand Up @@ -6,6 +6,7 @@
bridge_verdict: SOTA-OK
bridge_verdict_reason: "Python = stdlib + networkx (helper viz graph + heuristic lookup) + heapq (priority queue A*/Greedy/Best-First). Pas de lib SOTA-tier Python pour informed search pure (`aima-python` est jouet non maintained, `pySearch` est un essai), le port pedagogique AIMA ch.4 from-scratch reste canonique. C# = `QuikGraph` NuGet (Pelikan521, MIT-license, lib SOTA graphe .NET : `using QuikGraph;` + `using QuikGraph.Algorithms.ShortestPath;` + `DijkstraShortestPathAlgorithm<TVertex,TEdge>` / `AStarShortestPathAlgorithm<TVertex,TEdge>`, version 2.5.0). Verdict SOTA-OK (modèle owner PR #10412 MERGED pour Sudoku-09 / PR #10387 MERGED pour Search-02b NetworkX) : QuikGraph EST la lib SOTA graphe canonique .NET (Bellman-Ford, Dijkstra, A*, BFS, DFS -- tout y est), l'API `AStarShortestPathAlgorithm` permet un bridge direct A* avec heuristique. Asymetrie documentee : PY from-scratch (algos pedagogiques AIMA), C# bridge via lib SOTA (algo canonique)."
known_differences:
- 'Purge 2026-10-24 (myia-ai-01:CoursIA-2, #22334) : retrait des attestations 0026 a 0029 (toutes du 2026-10-21, lane myia-ai-01:CoursIA-2), qui ne decrivaient aucun etat porte par `main` -- leurs `python_sha` ne sont blob d''aucune revision du carnet, et leurs `content_python_sha` n''egalent le contenu d''aucun commit touchant le fichier (recherche sur tout l''historique du path). Elles rendaient rouges `test_audit_shas_exist_in_file_history`. L''attestation 0025 (2026-10-17, myia-po-2024:CoursIA) redevient la derniere du journal ; etat de parite de la paire inchange (DRIFT cote Python, comme avant la purge).'
- 'Re-baseline 2026-10-17 (myia-po-2024:CoursIA, #19297 -> #21172) : edition unilaterale cote Python seul, MARKDOWN UNIQUEMENT -- blocs de fin canoniques de la finition de serie (#19297) : renommages "### Ce qu''il faut retenir" -> "### A retenir" et "### References" -> "### Pour aller plus loin", insertion "### Verifiez votre comprehension" (4 questions a reponses repliees, tirees des sorties reelles du carnet) et renvoi aux carnets suivants Search-03e / Search-04. Aucune ligne executable touchee, aucun `execution_count` ni sortie modifie ; le cote C# est byte-identique a main (sa re-baseline suit dans #21176 des le merge de celle-ci, meme traitement canonique). Parite semantique inchangee : attestation de parite (le blob SHA du Python se deplace), pas une reparation.'
- 'Re-baseline 2026-10-05 (myia-po-2026:CoursIA, #19245 -> #19259) : edition unilaterale cote C# seul, COMMENTAIRES UNIQUEMENT -- la casse canonique `-CSharp` des noms de carnets jumeaux etait perdue dans les commentaires de code (`Search-02-Csharp` -> `Search-02-CSharp` (cellules 2, 4 et 19)). Aucune ligne executable touchee, aucun `execution_count` ni sortie modifie ; le cote Python est byte-identique a main. Parite semantique inchangee, seule la reference textuelle au jumeau redevient exacte : c''est une attestation de parite (le blob SHA du C# se deplace), pas une reparation. Re-baseline du csharp_sha.'
- "Tranche #19143 (2026-10-04) : arc narratif du jumeau Python retravaille (enchainement des lectures de resultat ; markdown seul, aucun changement d'algorithme ni de sortie calculee), puis re-execute sous Python 3.11 pour annuler une derive de kernel (3.13 -> 3.11, `Kernel drift guard base vs PR`). Le jumeau C# est intact : `csharp_sha` identique entre les audits 0016 et 0017."
Expand Down

This file was deleted.

This file was deleted.

This file was deleted.

This file was deleted.

Loading