Skip to content

fix(notebook,#18497): convert Argumentation-07c from CRLF to LF + note d'exhaustivite 8e mode #18676

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
myia-ai-01 merged 1 commit into from
Oct 1, 2026
Merged

fix(notebook,#18497): convert Argumentation-07c from CRLF to LF + note d'exhaustivite 8e mode #18676

Changes from all commits
Commits
Show all changes
1 commit
Select commit
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
9 changes: 7 additions & 2 deletions ...Notebooks/SymbolicAI/Argument_Analysis/Argumentation-07c-Orchestration-Modes-Python.ipynb
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -64,14 +64,19 @@
"mesures le sont), l'introspection vivante des workflows est remplacee par les\n",
"constantes mesurees, et la plage de delegation degeneree « 4-4 » est conservee\n",
"comme distribution, pas comme entier.\n",
"\n",
"",
"Le fil de lecture du carnet suit la structure de la source : un tableau\n",
"sous-budget qui a l'air juste (§1), la preuve que ses colonnes ne mesurent\n",
"pas la meme chose (§2), le meme tableau a budget calibre qui le renverse\n",
"(§3), et la regle qui derive un budget d'une mesure — avec la limite\n",
"casee de sa forme naive (§4). Chaque section lit son output **apres**\n",
"l'avoir produit : les valeurs citees dans la prose sont celles des cellules\n",
"precedentes, pas des souvenirs du carnet source."
"precedentes, pas des souvenirs du carnet source.\n",
"",
"**Perimetre du snapshot (signale par audit #18435, mesure du 2026-09-30).** Les 14 records embarques (7 modes x 2 budgets) datent du 2026-09-15. Depuis, l'instrument du tronc en balaie **huit** : la livraison #2456 du 2026-09-23 a ajoute `conversation_real` (builder dedie, kernel dedie, runner dedie, scope : \"ConversationOrchestrator(mode=real, informal + FOL agents, LLM + Tweety)\"). Ce huitieme mode est **annonce** dans l'organe via la constante `KNOWN_UNMEASURED_MODES = (\"conversation_real\",)` mais ne figure pas dans `RUNS` (les mesures n'ont pas ete re-integrees).\n",
"",
"Consequence pour le lecteur : les exercices et les tableaux qui suivent (verdicts, bascules du filet, projections lineaires, derivation de budget) restent exacts sur leur perimetre de 7 modes ; aucune valeur citee n'est fausse -- c'est l'exhaustivite qui est perimee. Le mode manquant est precisement celui qui complete la lecon du §2 (non-comparabilite des axes) : meme DAG conversationnel que `conversation_deterministic`, mais avec de vrais agents informels et FOL, LLM + Tweety -- le seul mode conversationnel qui exerce le raisonnement formel.\n",
""
]
},
{
Expand Down
Loading