feat(taxonomy): #498 Fallacies AIF — P1 tranche-1c (7 SUFFIX-ONLY, famille Erreur de raisonnement, gated) - #775
Merged
Merged
Conversation
…FIX-ONLY, famille Erreur de raisonnement, gated) Back-fill proposal for the 2 AIF attack columns (AIF_attackType / AIF_attackedNode) on the whole "Erreur de raisonnement" family — 7 skos-only rows, all SUFFIX-ONLY (no exact-token precedent among the 18 fully-modeled anchors, audited CLEAN #770). Rows: 696 Erreur de raisonnement (parente), 697 Causalite douteuse, 705 Pente glissante, 719 Effet cigogne, 726 Composition fautive, 758 Deduction invalide, 759 Conclusion hative. Distribution 7 undercut / 0 undermine / 0 rebut -> all RA-node. The uniformity is the expected signature of a reasoning-error family (the defect is in the INFERENTIAL step), coherence-checked against in-set anchors 707 CauseToEffect / 727 ModusPonens / 858 VerbalSlipperySlope (all undercut) — NOT a suffix default (suffix prior proscribed, in-set disproof pk804 _Conflict->undercut). Each row modeled per-row from its OWN Walton scheme + desc_fr; 2 nuances flagged MED with explicit alternatives (696 vs undermine-if-premises; 759 vs undermine-if- insufficient-evidence), 5 HIGH (697/705/719/726/758). Docs + gated dry-run apply script only — 0 prod CSV write in this diff. --write held for ai-01 relay (pilote GO #498). Dry-run: 107 -> 114 attack-typed, 0 byte-preservation mismatch, 1409x104, CRLF+BOM preserved, +105 B. Baseline read dynamically (write-driven, not merge-driven; targets disjoint from tranche-1's 14 and tranche-1b's 7). Files: - docs/taxonomy/498-reconciliation-p1c.md — proposition (per-row + uniformity rationale) - docs/taxonomy/498-reconciliation-p1c-annotations.csv — machine-readable source (12 cols, node/type 7/7) - tools/498-p1c-apply.py — byte-exact cell-fill, re-verifies map vs annotation CSV, gated --write Co-authored-by: Claude-Code <noreply@anthropic.com>
jsboige
added a commit
that referenced
this pull request
Jul 11, 2026
…NLY, famille Erreur de raisonnement) attack 114->121 (#779) Prod serialization of tranche-1c (proposition #775, merged 3d6dcf3). Fills the 2 AIF attack columns (AIF_attackType / AIF_attackedNode) for the 7 skos-only rows of the whole "Erreur de raisonnement" family — all typed undercut/RA-node. Rows: 696 Erreur de raisonnement, 697 Causalite douteuse, 705 Pente glissante, 719, 726, 758, 759 (all SUFFIX-ONLY; family signature verified in-set via 707/727/858, NOT a suffix default — suffix prior proscribed, in-set disproof pk804 _Conflict->undercut, #770). attack-typed 114 -> 121, fully-modeled 39 -> 46. Executed via `python tools/498-p1c-apply.py --write` (flow #753/#760, ai-01 GO msg-20260711T110157-8c8wnh, GO scoped tranche-1c only). Byte-exact verified 2x: - script self-proof (load-bearing re-verify P1C_MAP vs annotation CSV 7/7, pre-state targets empty + carry skos, only ATI/ANI of the 7 PK may differ): 0 mismatch, +105 B, 1409x104, CRLF+BOM preserved. - independent backup-vs-prod cell-by-cell (tmp/Fallacies-backup-pre-p1c.csv): exactly 14 cells changed (7 rows x 2 cols), changed PKs == {696,697,705,719, 726,758,759}, 0 stray (nothing outside AIF attack cols / target PKs), all empty->value, node/type 7/7 consistent, delta +105 B, PASS. Co-authored-by: Your <your.email@example.com> Co-authored-by: Claude-Code <noreply@anthropic.com>
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
#498 AIF two-layer reconciliation — P1 tranche-1c (gated proposition)
Continuation of tranche-1 (#769 method + #771 write, 14 PRECEDENT rows in prod) and tranche-1b (#773, proposition merged; prod
--writestill gated). This PR back-fills the 2 AIF attack columns (AIF_attackType/AIF_attackedNode) for 7 more skos-only rows — the complete "Erreur de raisonnement" family.Docs + gated dry-run apply script only — 0 prod CSV write.
--writeis held for ai-01 relay (pilote GO #498).What tranche-1c is
7 SUFFIX-ONLY rows (no exact-token precedent among the 18 fully-modeled anchors, audited CLEAN #770 — precedent-check: all
precedent_votes={}):Each modeled per-row from the fallacy's OWN Walton scheme +
desc_fr(« que défait le CQ »); suffix prior (_Conflict/_Inference→undermine) PROSCRIBED (in-set disproof pk804_Conflict→undercut, #770).Verdicts (7 undercut / 0 undermine / 0 rebut — all RA-node)
All type undercut: a reasoning-error family defeats the inferential step, not a premise (undermine) nor a conclusion/dialogue-block (rebut). This uniformity is a verified family signature, not a suffix default — coherence-checked against the in-set inference anchors 707 CauseToEffect / 727 ModusPonens / 858 VerbalSlipperySlope (all undercut). Each row modeled separately; 2 nuances flagged MED with explicit alternatives:
Logical_Conflicttargets the reasoning, not premises; distinct from pk777 Inconsistance=undermine — premise-contradiction; undermine alt flagged)CorrelationToCause_Inferencechallenged)Priority MED-flags for ai-01 review: 696 and 759.
NODE map (deterministic, #707§4 Option a)
undercut → RA-node · undermine → I-node · rebut → CA-node. No AIF token fabricated (#677) — we type rows already carrying a vetted skos.Serialization (gated)
Dry-run (master
7406bb8e):107 → 114attack-typed, 0 byte-preservation mismatch, 1409×104, CRLF+BOM preserved, +105 B. Baseline read dynamically (write-driven, not merge-driven) — the 7 target PKs are disjoint from tranche-1's 14 and tranche-1b's 7, so serialization order is immaterial.Gate bounds
git diff 7406bb8e -- Cards/…/Taxonomy.csvempty)Files
docs/taxonomy/498-reconciliation-p1c.md— proposition (per-row + uniformity rationale §3)docs/taxonomy/498-reconciliation-p1c-annotations.csv— machine-readable source (12 cols, node/type 7/7 consistent)tools/498-p1c-apply.py— byte-exact cell-fill, re-verifies P1C_MAP vs annotation CSV, gated--writeAfter tranche-1c: 24 SUFFIX-ONLY remain (Tricherie 8, Abus de langage 7, Insuffisance 5, Erreur mathématique 4) for the next family sub-lots.
🤖 Worker po-2024 — autonomous continuation of ai-01's GO "suite SUFFIX-ONLY par sous-lots famille". Review gated.