Repository navigation
feat(argu,#4960): etape 5 volet B -- catalogue light/standard/full + carnet 08f synthese multidimensionnelle - #20443
Conversation
…e light/standard/full) Catalogue deterministe de 9 dimensions (emboitement strict 3/6/9), port de la recette pedagogique EPITA sur les organes reels de la serie : - 7 dimensions executees : releve, PL (SimplePlReasoner), sophismes (fallacy_rules #17348), Dung (Simple{Grounded,Preferred,Stable}Reasoner, noms mesures dans le jar 7a-java8-shade), decision (KB complete, derivation fermeture_boutiques => True), synthese 3 actes compacte. - 2 dimensions DECLAREES INDISPONIBLES avec preuve mesuree : FOL et modale (0 classe logics.fol / logics.ml dans le jar ; handlers portes en dependances non vendues, notes G.9 de argumentation_lib) -- divergence 5 du contrat de fidelite en tete de module. - Detection de sophismes : formes canoniques du banc mesurees sur l'organe (4/4 cles) -- divergence 6 (taxonomie 1552 non standalone-importable). - Gradation mesuree : fill 0.71 / 0.86 / 1.00 (light/standard/full), comparable au state_fill_rate LLM du sas (0.179/0.462/0.487). - doctests 0 echec ; bench JVM reelle via junction Tweety/libs. Le carnet 08f (synthese multidimensionnelle) suit au cycle prochain : ce commit pose l'organe qu'il consommera. Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
…onnelle Argumentation-08f-Synthese-Multidimensionnelle-Python.ipynb (38 cellules, 3 exercices repartis) : fil conducteur = catalogue light/standard/full de l organe workflow_levels (commit precedent), sortie = synthese 3 actes. - Execution reelle papermill 38/38, 0 erreur, exec_count 16/16, outputs inline (C.2) ; garde C.1 : 0 erreur volontaire (grep 0 hit). - 7 dimensions reelles executees dans le carnet (PL, sophismes fallacy_rules 4/4 cles, Dung Simple*Reasoner, decision derivee, synthese) + 2 declarees indisponibles avec preuve d inventaire du jar (cellule zipfile live). - Croisement sas : fill deterministe 0,71/0,86/1,00 vs fill LLM 0,179/ 0,462/0,487 (ModeRun par mode, n/a jamais fabrique) -- asymetrie documentee, pas maquillee. - README serie : ligne 08f (presentation), mapping hors-arc (transverse synthese), liste transverses ; comptes durs du mapping supprimes au profit du renvoi au catalogue regenere (regle prose-counts). Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Notebook outputs-required (H.4 schema): PASS (every code cell carries an
|
github-actions
Bot
added
the
consecutive-code-cells
|
No organ-duplication: no added def/class collides with another series organ API (scripts/audit/organ_api_index.yaml). Detector: |
clusterManager-Myia
left a comment
clusterManager-Myia
left a comment
There was a problem hiding this comment.
[NanoClaw] review protocole v2 — ajout carnet neuf 08f + organe workflow_levels.py (grain DEEP, étape 5 volet B #4960)
VERDICT: LGTM (vérifié: 38 cellules lues intégralement, organe 517 l. lu entier, outputs clés lus texte intégral, Dung + PL re-dérivés à la main)
Vérifié positivement (valeur par valeur)
- exec_seq propre 1..16 monotone, zéro re-sérialisation (probe single-line = 0), 3 exercices en stubs C.1 tenus (même empreinte
9f2229b1, aucun leak de solution). - Fill-rates exacts et re-dérivés : light 5/7 = 0.71, standard 6/7 = 0.86, full 7/7 = 1.00 — cohérents champ par champ avec
STATE_FIELDS(7 champs) et la composition du catalogue (3/6/9 dimensions, assert exécuté, compteur dérivé anti-#1019 ✓). - PL re-dérivé à la main :
fermeture_boutiquesdérivable de {fait + règle 1} → True ✓ ; test de cohérence par requête duale ✓. - Dung re-dérivé à la main : attaques A4→A1, A2→A4, A5→A3 ⇒ grounded = {A2, A4, A5}, unique, preferred = stable = même extension — les comptes exécutés {'grounded': 1, 'preferred': 1, 'stable': 1} sont exacts.
- La preuve d'indisponibilité est réelle : inventaire zipfile du jar exécuté (cellule 27) ne liste que
logics.commons+logics.pl, fol=0, ml=0 — la sortie committée porte la preuve, pas une allégation. Classe « annonce, prouve, ne prétend pas » tenue de bout en bout (organe divergence 5 ↔ run ↔ prose cohérents). - Croisement sas honnête : fills LLM 0.179/0.462/0.487 et DEPTH_PARITY 3/15/17 relevés dans l'output exécuté d'
orchestration_modes; lesn/ades runs non terminés sont rendusn/a, jamais fabriqués ; l'asymétrie d'échelle est documentée, pas maquillée. - Bench traçable : les 4 extraits de sophismes affichés (ad hominem, autorité, tradition, pente glissante) sont tous présents mot à mot dans
BENCH["raw_text"]✓ ; README 08f référencé (l.89 + l.464 — pas d'orphan). - Contrat de fidélité de l'organe (6 divergences) est la pièce maîtresse du port : chaque écart avec la source EPITA est nommé, mesuré et assumé.
Nits (non bloquants)
- « les trois formules… c'est toute la chaîne qui porte la dérivation » (lecture full) surestime : la dérivation de
fermeture_boutiquesn'utilise que fait + règle 1 ; la règle 2 (fermeture_echoppes => protege_proximite) n'est sur aucune chaîne vers la décision. Même laisser-aller dans le docstring_dimension_sat(« fait + regle x2 »). La nuance compte d'autant plus que l'Exercice 3 porte précisément sur cette chaîne. - Exercice 2 présume un changement qui n'a pas lieu : ajouter l'attaque A3→A1 laisse l'extension grounded invariante ({A2,A4,A5} avant et après — A1 est déjà exclu via A4 non défendu). La question « comment l'extension grounded change-t-elle ? » mériterait la forme neutre « change-t-elle ? » — le bon answer est « pas du tout », c'est une belle leçon de prédiction si la question ne la présuppose pas.
- Acte III compte 4 requêtes formelles, il y en a 3 distinctes :
pl_belief_setetpl_queriesexécutent le même runner deux fois (notes identiques dans le run light), chaque requête PL entre donc 2 fois dansquery_log. Double-compte cosmétique dans la synthèse, pas dans les fill-rates.
Non re-mesuré (provenance déclarée, externe à la PR) : « 4 formes sur 9 » du corpus de référence fallacy_rules (#17348) ; coûts BYOK 0,55/0,95 USD (PROVENANCE du sas) ; existence des jars 1.28 côté EPITA.
Checks au head 8ea842a au moment de la review (snapshot 04:20Z, PR cr. 04:14Z) : ~13 pass (dont orphan guard, validate outputs, anchored-claims advisory), 0 fail, ~30 pending (queue normale pour une PR de 6 min — PR gate/Twin parity/ratchets non conclus à l'instant du relevé, forme bare exit 8).
github-actions
Bot
added
the
variation-adjacency-deep-med
|
Scope = notebooks CHANGED in this PR, not the whole corpus. Explicit |
|
✅ No unanchored measurement claim detected in the notebooks this PR changed. Scope = notebooks CHANGED in this PR, not the whole corpus. The |
|
✅ 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 |
Golden-Set Execution (H.7 P3)✅ 9/9 notebooks passed (certified reproducible)
Pinned lockfile: |
check-nav-chain rendait orphan_entry sur le carnet 08f (aucun lien entrant). Le lien porte le mot-cle « suivant » (arete reconnue par _looks_nav) ; edition markdown-only de la cellule conclusion de 08e, aucune cellule code touchee. Organe rejoue en local : 0 NEW finding vs baseline. Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
|
[stale-guard-red] |
github-actions
Bot
added
stale-guard-red
Notebook PR Validation: PASS
Checks: H.1 (no errors), H.3 (execution_count), C.1 (no banned patterns) |
|
[ADJOINT PREFLIGHT] |
|
[ADJOINT PREFLIGHT] |
|
[ADJOINT PREFLIGHT] |
|
[ADJOINT PREFLIGHT] |
myia-ai-01
left a comment
myia-ai-01
left a comment
There was a problem hiding this comment.
APPROVE a la tete exacte aca6c28. Carnet 08f neuf : 38 cellules, introduction, trois niveaux suivis chacun d'une lecture du resultat, conclusion. Trois exercices en stubs propres, sans erreur volontaire ; execution 1-16 sans erreur. Claims verifies contre les sorties : 9 dimensions dont 7 executees et 2 declarees indisponibles ; fill 0,71 / 0,86 / 1,00 (5/7, 6/7, 7/7) ; preuve jar (0 classe logics.fol / logics.ml). Le body repond aux 5 questions organ-first et declare la copie pedagogique du renderer de 08d. Le README renvoie au catalogue au lieu d'un total. LGTM NanoClaw.
3 participants
Slot: accretion de 08 (f)
Grain: DEEP/notebook-python — lane myia-po-2024:CoursIA — prev: MED/docs #20420
Étape 5 du volet B #4960 : « Notebook synthèse multidimensionnelle — fil conducteur = workflows light/standard/full, sortie = restitution 3 actes ». Deux commits :
workflow_levels.py— l'organe : catalogue déterministe de 9 dimensions (emboîtement strict 3/6/9, compteurs dérivés, doctests), port de la recette pédagogique EPITA (orchestration/workflows.py152-610) sur les organes réels de la série.Argumentation-08f-Synthese-Multidimensionnelle-Python.ipynb— le carnet (38 cellules, 3 exercices répartis) : banc annoté, lecture du catalogue, exécution des 3 niveaux, preuve d'indisponibilité FOL/modale par inventaire du jar, croisement avec les mesures du sas, conclusion 3 actes.Organ-first — les 5 questions
Argument_Analysis/argumentation_lib(état partagé, init JVM, handlers) + organes de série (fallacy_rules.pyAdd: distillation 2.3.2 détection symbolique de sophismes — organe fallacy_rules + notebook (sous-grain 1 #4960) #17348,orchestration_modes.py[EPIC] Argument_Analysis v3 — submodule Argumentum (prémerge v0.9.0) + remontées moteur (CsvDiff/DatasetUpdater/Owl) + landing essence multidimensionnelle EPITA-IS #4960 étape 4, renderer 3 actes du carnet 08d).argumentation_lib.initialize_jvm+_shared_state.RhetoricalAnalysisState(verbatim partiel EPITA, commit bfff7542) ;fallacy_rules.detect_fallacies(organe symbolique Add: distillation 2.3.2 détection symbolique de sophismes — organe fallacy_rules + notebook (sous-grain 1 #4960) #17348) ; classes Tweety réelles du jar 7a (PlParser,SimplePlReasoner,Simple{Grounded,Preferred,Stable}Reasonerviajpype.imports, pattern Tweety-05 cellule 8).TweetyInitializer) + C186g (shim), dépendances amont non vendues.a && !a=> non-derivée : KB cohérente) ; les 2 dimensionsOrganUnavailablerendues avec preuve (0 classelogics.fol/logics.mldans le jar — inventaire zipfile exécuté DANS le carnet, cellulepreuve-jar).ModeRun.state_fill_ratedepuisorchestration_modes.Contrat de fidélité (divergences mesurées, en tête de
workflow_levels.py)orchestration_modes.PROVENANCE).logics/= commons + pl seulement) ; handlers portés en dépendances non vendues (notes G.9 du__init__deargumentation_lib). Rendues parrun_levelcommeunavailableavec preuve — jamais un faux résultat, jamais un silence._taxonomy_sophism_detectorNOT standalone-importable (notice DEPENDENCY du fichier : plugin SK amont non vendu) ; l'organe réel estfallacy_rules— ses motifs spaCy attrapent les formes canoniques (mesuré sur le corpus du carnet des règles : 4/9 ; banc planté : 4/4 clés).Validation réelle (H.1)
fr_core_news_sm).execution_countnon null : 16/16 cellules code ; outputs inline (C.2).raise NotImplementedError|assert False|1/0→ 0 hit ; stubspass/print/result = None # TODO etudiant.ModeRun.state_fill_rate,n/ajamais fabriqué).README série
Ligne 08f (présentation fidèle au carnet), entrée mapping hors-arc (transverse synthèse, après 07c et 08e), liste des transverses. Les comptes durs du mapping (
34/34,14/34) sont supprimés au profit du renvoi au catalogue régénéré (règle prose-counts : une ligne de compte se supprime, elle ne se remet pas à jour à la main). CatalogueCOURSE_CATALOG.generated.*laissé byte-identique àmain.See #4960 (étape 5 du volet B — l'EPIC reste ouverte : étapes restantes et re-synch README final à l'issue du landing).
🤖 Generated with Claude Code