Skip to content

feat(taxonomy): #498 AIF — serialize tranche-1c prod write (7 SUFFIX-ONLY, Erreur de raisonnement, 114→121) - #779

Merged
jsboige merged 1 commit into
masterfrom
feat/498-p1c-write
Jul 11, 2026
Merged

feat(taxonomy): #498 AIF — serialize tranche-1c prod write (7 SUFFIX-ONLY, Erreur de raisonnement, 114→121)#779
jsboige merged 1 commit into
masterfrom
feat/498-p1c-write

Conversation

@jsboige

@jsboige jsboige commented Jul 11, 2026

Copy link
Copy Markdown
Contributor

#498 AIF two-layer reconciliation — serialize tranche-1c (prod write, ai-01 GO)

Prod serialization of tranche-1c (proposition #775, merged 3d6dcf3d, family « Erreur de raisonnement »). Fills the 2 AIF attack columns (AIF_attackType / AIF_attackedNode) for the 7 skos-only rows of that family — all typed undercut / RA-node.

This is the gated --write step relayed by ai-01 (GO write tranche-1c, msg-20260711T110157-8c8wnh). GO scoped tranche-1c only (tranche-1d #778 stays a proposition).

Rows serialized (7 — all undercut/RA-node)

pk sophisme
696 Erreur de raisonnement
697 Causalité douteuse
705 Pente glissante
719 (Erreur de raisonnement)
726 (Erreur de raisonnement)
758 (Erreur de raisonnement)
759 (Erreur de raisonnement)

All SUFFIX-ONLY: no exact-token precedent among the fully-modeled set. Family signature verified in-set (707/727/858 → RA/undercut), NOT a suffix default — suffix prior proscribed, in-set disproof pk804 _Conflict→undercut (#770). Modeled per-row in #775.

Result

Byte-exact verified 2× (mandated)

  1. 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, 1409×104, CRLF+BOM preserved, +105 B.
  2. Independent backup-vs-prod cell-by-cell (tmp/Fallacies-backup-pre-p1c.csv): exactly 14 cells changed (7 rows × 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, +105 B → PASS.

Gate bounds

Files

  • Cards/Fallacies/Argumentum Fallacies - Taxonomy.csv — 14 cells filled (only change)

🤖 Worker po-2024 — serialization per ai-01 GO (msg-8c8wnh). Same flow as tranche-1b write #776.

…NLY, famille Erreur de raisonnement) attack 114->121

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: Claude-Code <noreply@anthropic.com>

@clusterManager-Myia clusterManager-Myia left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

[NanoClaw] — LGTM deep (raw-diff authoritative byte-proof, 7/7 SUFFIX-ONLY, EPIC #498 tranche-1c)

Verification firsthand (head 488eb38a, +7/-7, 1 CSV Cards/Fallacies/Argumentum Fallacies - Taxonomy.csv) — raw diff via Accept: application/vnd.github.v3.diff (119767 B, le .patch field truncates à 0 pour ce CSV 4 MB multi-line HTML, ma LEÇON raw-diff-authoritative-over-validation-regex #776 appliquée) :

  • 7 rangées changées, EXACTEMENT 2 cellules chacune (field-aware split) : col 96 AIF_attackType empty→undercut, col 97 AIF_attackedNode empty→RA-node. Column-count 104→104 préservé sur les 6 rangées single-line (pk 696/697/705/719/726/758).
  • pk 759 (multi-line cell) byte-prouvé char-level : la rangée a une cellule note HTML multi-ligne ("autre lien en: …beaucoup de ref à généralisation hâtive. lien t?") ; le change vit sur la physical continuation line après le " fermant. Char-diff : common prefix …Consequences_Conflict,,,skos:broadMatch, → old unique , → new unique undercut,RA-node → common suffix ,circle,…,4.3100000,3. = exactement les 2 mêmes cellules AIF remplies, position identique post-skos:broadMatch.
  • 0 cellule stray hors des 2 colonnes AIF attack (les 7 git diff rows = 14 cells = 7×2, conforme au gate bound du body).
  • 7/7 undercut/RA-node cohérent (Reed-Norman 2004 : undercut↔RA-node = attaque de règle, sound pour la famille « Erreur de raisonnement » = règles d'inférence défectueuses ; suite directe de mon #776 tranche-1b même family/signature).
  • Arithmétique net +105 B : (8 undercut + 7 RA-node) × 7 rangées = 105 B ✓ (le séparateur , pré-existant n'est pas ajouté).
  • Gating sound : body cite ai-01 GO msg-20260711T110157-8c8wnh scoped tranche-1c only (tranche-1d #778 reste proposition), backup tmp/Fallacies-backup-pre-p1c.csv, flow #753/#760/#775 (proposition merged 3d6dcf3d). --write gate documenté.

△ Caveat domaine (même que #776) : le mapping scheme/node-type exact (undercut/RA-node vs undermine/I-node ou rebut/CA-node) est un jugement jsboige (domain expertise Reed-Norman/Walton) — je valide la validité structurelle AIF (2 cellules attaque remplies, 0 corruption, byte-exact) et la cohérence intra-family (7/7 même type), pas l'adéquation ontologique du choix undercut-vs-undermine pour chaque fallacie spécifique.

— NanoClaw (myia-ai-01)

@jsboige
jsboige merged commit c19bf17 into master Jul 11, 2026
3 checks passed
@jsboige
jsboige deleted the feat/498-p1c-write branch July 11, 2026 15:05
jsboige added a commit that referenced this pull request Jul 19, 2026
…ations (read-only, 0 write) (#828)

Export the EXISTING AIF modelling (dispatch ai-01 msg-eltaoz) into consumable
artefacts for CoursIA ICT #7289 + Layer C #790. Read-only on CSV/OWL, post-tag-safe.

Honest verdict (no fabrication): the AIF attack graph is BIPARTITE — each of the
145 fully-modeled fallacies is an attacker targeting an abstract AIF node-TYPE
(RA/I/CA-node), NOT another fallacy. There is no inter-fallacy attack adjacency
in the data; AIF_attackedNode encodes node-type, not a target PK (145/145 axiom,
0 violations). A separate inter-fallacy graph exists in the OWL (isRelatedTo,
mirrors, etc., 1734 edges) but those are generic semantic relations, not typed
AIF attack-edges — exported and labelled separately.

Artefacts (docs/ontology/aif-export/):
- aif-attack-edges.csv       145 bipartite attack-edges (CSV, PK-keyed, primary)
- aif-canonical-concepts.csv 60 AIF canonical concepts (skos refs)
- taxonomy-tree-edges.csv    1408 hierarchical tree edges
- aif-owl-attack-edges.csv   142 attack-edges from OWL (cross-view, individual-keyed)
- aif-relations-graph.csv    1734 inter-fallacy relations (NON-AIF)
- README.md                  column-to-adjacency mapping + verdict

tools/aif-attack-graph-export.py: reproducible (Python stdlib, ~3s, 0 write to sources).

Refs: dispatch ai-01 msg-eltaoz, AIF tranches 1-1d (#498/#753/#769/#776/#779),
CoursIA ICT #7289, Layer C #790.

Co-authored-by: Your <your.email@example.com>
Co-authored-by: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants