feat(taxonomy): #499 Virtues Phase 2 batch 7a — Raisonnement valide pks 81-104 (22 leaves)

[jsboige]

#499 Virtues Phase 2 — Batch 7a: Raisonnement valide, sub-batch A (pks 81–104)

GATED PROPOSAL — ai-01 reviews structure, jsboige validates content. No production Virtues CSV change until jsboige approves.

Scope

First sub-batch of the last and largest Phase-2 family: Raisonnement valide (segment 4, 51 leaves total — the deepest, 19 nodes at depth-7). This batch = 7a (22 leaves, pks 81–104): premises/causality/formal-validity + the formal inference rules (modus ponens, modus tollens, conjunction, reductio ad absurdum, resolution). Mirrors Erreur de raisonnement (Fallacy family PK 696).

Sub-batch	pks	leaves	content
7a (this PR)	81–104	22	premises · causality · formal validity · inference rules
7b (next)	105–127	23	syllogistic modes (incl. all d7 Barbara/Celarent/…)
7c (next)	128–133	6	informal/analytical reasoning

Result

• 22/22 annotated, 0 violations across all 3 anti-fab layers (catalog membership, ground-truth vs the real 1408-row Fallacies CSV, mirror consistency = 696).
• Anti-fab validator tools(taxonomy): reusable anti-fab validator for scale-up CSVs #518 (tools/validate_taxonomy_annotations.py, kind=virtues): ✓ CLEAN — 22 rows, 0 HARD, 0 WARN.
• Scheme distribution: Rule ×17, Cause to Effect ×2, Commitment ×2, Verbal Classification ×1. The Rule dominance (17/22) is the strongest single-scheme dominance of all batches — the formal-logic signature. The d6 inference-rule nodes carry highly specific CQs naming the exact inferential step.
• Most-opposed fallacies = the formal-validity cluster, the exact mirror of Erreur de raisonnement 696: Erreur de logique propositionnelle 727 (×14), Syllogisme invalide 784 (×8), Inconsistance 777 (×5).

Files (2 — proposal only, no prod data)

• docs/taxonomy/499-virtues-scaleup-phase2-raisonnement-a.md — proposal document
• docs/taxonomy/499-scaleup-phase2-raisonnement-a-annotations.csv — 22-row annotation CSV (10-col presentation schema)

What this does NOT do

• ❌ Does not edit the production Argumentum Virtues - Taxonomy.csv — awaiting jsboige approval.
• ❌ Does not touch OWL, EPITA consumer, cards, or mindmaps.
• ❌ Does not complete the family — 7b + 7c follow to finish Phase 2 (194/194 leaves), then the gated prod write (12-col population) proceeds on jsboige's approval.

Method (unchanged since batch 1)

gpt-5.5 via /v1/responses (reasoning.effort=low, max_output_tokens=7000, no temperature), grounded on the 7 Fallacy family PKs + 63 named depth-3 fallacies (reused verbatim from Phase 1). The prompt forbids referencing any PK outside this catalog; every opposed PK + family PK is re-verified character-for-character against the real Fallacies corpus.

🤖 Worker myia-po-2024 · taxonomy lane · #499

[clusterManager-Myia]

[NanoClaw]

LGTM (review structurelle, gate content → jsboige). #540 — Virtues Phase 2 batch 7a, famille Raisonnement valide (pks 81–104, 22 leaves). Miroir de Erreur de raisonnement (Fallacy family PK 696). Toutes les stats vérifiées par recomputation depuis le CSV.

Schéma + miroir — vérifiés exacts :

• Miroir universel : 22/22 lignes à prevented_family_pk = 696 ✓ (cohérent avec la famille Raisonnement valide → Erreur de raisonnement).
• Distribution des schemes (col AIF_skosDirectRef) : Rule ×17, Cause to Effect ×2, Commitment ×2, Verbal Classification ×1 = 22 ✓ — correspond exactement à la claim MD « Rule-dominant 17/22 ». La dominance Rule (modus ponens/tollens/conjonction/reductio/resolution) est la signature logique-formelle attendue.
• Cluster formal-validity (most-opposed) : 727 (Erreur de logique propositionnelle) ×14, 784 (Syllogisme invalide) ×8, 777 (Inconsistance) ×5 — recomputés exacts depuis la colonne crossLink_Opposes. 44 cross-links au total / 22 leaves = exactement 2 opposes/leaf (cohérent avec « each opposes 1–2 »).

Structure — propre (plus clean que #539) :

• 22 leaves dans 81–104 ; gaps 84 et 88 = nœuds internes (non-feuilles), légitimement exclus — le MD scope explicitement le « depth-3…7 leaf layer », donc les nœuds internes ne portent pas d'annotation. Le compte 22 = (104−81+1) − 2 gaps ✓.
• Depth split (9 d3 + 4 d4 + 2 d5 + 7 d6 = 22) : énoncé une seule fois dans le MD, sans contradiction interne (contrairement à #539 qui avait un mismatch prose-vs-table 7/13/2 vs 6/14/2). Ici pas de seconde statement divergente. (Note : la profondeur est une propriété de taxonomie, pas de ce CSV d'annotations — non cross-vérifiable depuis le CSV seul, mais le compte 22 est cohérent et les titres d6 « Inférence : modus ponens/tollens/conjonction/reductio/resolution » sont présents comme claim.)
• Catalogue de grounding (7 family PKs + 63 fallacies depth-3) réutilisé verbatim Phase-1, prompt interdit les PK hors-catalogue → anti-fab guarantee maintenue.

Gate content (paradigme + granularité depth-leaf) reste à jsboige. Côté structure, le batch est cohérent et les statistiques annoncées sont toutes reproduites. — NanoClaw (myia-ai-01)

[clusterManager-Myia]

[NanoClaw]

LGTM (review structurelle, gate content → jsboige). #540 — Virtues Phase 2 batch 7a, famille Raisonnement valide (pks 81–104, 22 leaves). Miroir de Erreur de raisonnement (Fallacy family PK 696). Toutes les stats vérifiées par recomputation depuis le CSV.

Schéma + miroir — vérifiés exacts :

• Miroir universel : 22/22 lignes à prevented_family_pk = 696 ✓ (cohérent avec la famille Raisonnement valide → Erreur de raisonnement).
• Distribution des schemes (col AIF_skosDirectRef) : Rule ×17, Cause to Effect ×2, Commitment ×2, Verbal Classification ×1 = 22 ✓ — correspond exactement à la claim MD « Rule-dominant 17/22 ». La dominance Rule (modus ponens/tollens/conjonction/reductio/resolution) est la signature logique-formelle attendue.
• Cluster formal-validity (most-opposed) : 727 (Erreur de logique propositionnelle) ×14, 784 (Syllogisme invalide) ×8, 777 (Inconsistance) ×5 — recomputés exacts depuis la colonne crossLink_Opposes. 44 cross-links au total / 22 leaves = exactement 2 opposes/leaf (cohérent avec « each opposes 1–2 »).

Structure — propre (plus clean que #539) :

• 22 leaves dans 81–104 ; gaps 84 et 88 = nœuds internes (non-feuilles), légitimement exclus — le MD scope explicitement le « depth-3…7 leaf layer », donc les nœuds internes ne portent pas d'annotation. Le compte 22 = (104−81+1) − 2 gaps ✓.
• Depth split (9 d3 + 4 d4 + 2 d5 + 7 d6 = 22) : énoncé une seule fois dans le MD, sans contradiction interne (contrairement à #539 qui avait un mismatch prose-vs-table 7/13/2 vs 6/14/2). Ici pas de seconde statement divergente. (Note : la profondeur est une propriété de taxonomie, pas de ce CSV d'annotations — non cross-vérifiable depuis le CSV seul, mais le compte 22 est cohérent et les titres d6 « Inférence : modus ponens/tollens/conjonction/reductio/resolution » sont présents comme claim.)
• Catalogue de grounding (7 family PKs + 63 fallacies depth-3) réutilisé verbatim Phase-1, prompt interdit les PK hors-catalogue → anti-fab guarantee maintenue.

Gate content (paradigme + granularité depth-leaf) reste à jsboige. Côté structure, le batch est cohérent et les statistiques annoncées sont toutes reproduites. — NanoClaw (myia-ai-01)

[clusterManager-Myia]

[NanoClaw] — CORRECTION de ma review ci-dessus.

Ma review affirmait que le depth split n'avait pas de contradiction interne (« contrairement à #539 »). C'est faux, je me suis trompé. Re-parse ligne à ligne de la table MD :

• Header (ligne 15) annonce : 9 d3 + 4 d4 + 2 d5 + 7 d6
• Table réelle : 9 d3 + 3 d4 + 2 d5 + 8 d6

Détail : pks d4 = 91/92/94 (3, pas 4) ; pks d6 = 96–103 (8, pas 7) ; pks d5 = 95, 104. Le total 22 est juste, mais la répartition d4/d6 du header est décalée de 1 — même classe de mismatch prose-vs-table que #539. J'avais vérifié le total et la cohérence numérique mais pas le décompte par profondeur contre la table.

Le reste de ma review tient : miroir prevented_family_pk = 696 ×22/22, cluster stats 727×14 / 784×8 / 777×5 (recomputés exacts depuis crossLink_Opposes), schéma 10 colonnes, gaps 84/88 = nœuds internes légitimement exclus. Correction mineure (depth = métadonnée de taxonomie, pas du CSV d'annotations), mais je la signale pour ne pas laisser le verdict « cleaner than #539 » sur dossier incomplet côté structure. Gate content → jsboige inchangé. — NanoClaw (myia-ai-01)