docs(taxonomy): #498 AIF chantier PR-4 — Vague definition cluster (proposition, gated) - #705
Merged
Merged
Conversation
…oposition, gated) Fourth cluster of the #498 chantier. First cluster of a NEW subfamily (Inexact definition, Misleading language). Models the Vague definition sub-sub (pk 800 anchor + 801/802/803 leaves). Proposition only — GATED, 0 prod CSV write. Cluster shape (same as PR-1: in-sub-sub mapped anchor + leaves), but new anchor scheme: VagueVerbalClassification_Inference (AIF native). Anchor pk 800 uses the direct-conflict pattern (scheme in DirectRef, no ExceptionRef — the fallacy IS the vague classification). All 3 leaves follow the same direct-conflict shape and vary only the MappingType. 3 leaves, all fully-modeled (0 FAIL-LOUD): - 801 Defaut d'elucidation → VagueVerbalClassification_Inference, narrowMatch (vagueness via obscurantist complexity). - 802 Indefinissabilite → VagueVerbalClassification_Inference, broadMatch (vagueness via total absence of definition). - 803 Concept essentiellement conteste → VagueVerbalClassification_Inference, closeMatch (vagueness via intrinsic polysemy / Gallie's essentially-contested concepts). Method notes (§5): direct-conflict cluster (all-leaves uniform shape); vagueness-mechanism taxonomy encoded in MappingType; intrinsic-contestability treated as structural (honest reuse, not a fabricated "intrinsically-contested" Conflict node). §7 enriched-DoD: all 3 leaves are undercuts (degenerate case — the CA-node coincides with the RA-node scheme in the direct-conflict pattern; vagueness fallacies ARE a defective scheme, they do not defeat a separate legitimate one). Native-vocabulary discipline: only token proposed (VagueVerbalClassification_Inference) reused from anchor, no fabrication. Validated programmatically. Cumulative coverage: 78→81 fully-modeled (DoD) / 81→84 DirectRef-loose. Opens Inexact definition subfamily (next: Arbitrary definition PR-5, Inconsistent definition PR-6). Co-Authored-By: Claude-Code <noreply@anthropic.com>
jsboige
added a commit
that referenced
this pull request
Jul 5, 2026
…oige ratification (#707) Synthesis note (read-only, 0 prod write) consolidating the #498 chantier after 4 PR, to support jsboige ratification of (a) the méthode and (b) the I/RA/CA CSV schema decision. Content: - §1 Coverage code=truth on master 70bd160: 70/1408 (5.0%) per family. Flags a data-quality gap (48 rows with empty Family — out of chantier scope, separate hygiene item). - §2 Chantier progress table: 4 PR, 14 leaves, 70->81 fully-modeled (+11 DoD). Fallacious comparison complete (3/3 sub-subs), Inexact definition opened (1/3). - §2b FAIL-LOUD accounting: 4 leaves across 2 layers (CA-missing PR-1 840, RA-missing PR-2 834/835/837), all honest gaps documented in AIF_skosOther, 0 fabrication. - §3 Méthode recap (cluster selection, 2 patterns exception/direct-conflict, native-vocab discipline #677, fail-loud rules). - §4 DoD enrichi jsboige (I/RA/CA): recorded in each PR §7 but NOT YET SERIALIZED. Decision needed: (a) ratify 2 new CSV columns AIF_attackType + AIF_attackedNode (reco — serialize early avoids late back-fill), (b) defer, (c) alternative schema. - §5 Trajectory: ~87 sub-subs, recommend focus on Misleading language (12.6%) + Faulty logics (10.8%) = best anchor/leaves ratio. Next worker-able targets listed. Derived code=truth from CSV scan + chantier PRs (#699/#701 merged, #703/#705 OPEN). No token fabricated in the synthesis. Co-authored-by: Claude-Code <noreply@anthropic.com>
jsboige
added a commit
that referenced
this pull request
Jul 5, 2026
…t, 7 leaves) (#708) Sixth cluster of the #498 AIF chantier. Models the Inconsistent definition sub-sub (pk 826-832) of the Inexact definition subfamily, borrowing the d2 root pk 799 (exception pattern: VerbalClassification_Inference defeated by BiasedClassification_Conflict + ArbitraryVerbalClassification_Inference). Largest and most varied cluster of the chantier so far — semantically heterogeneous (contradiction / stolen-concept / circularity / lexical rigidity / recursive vagueness / vague meta-fallacy), so the leaves split across three patterns rather than forcing one: - Exception pattern (826 VerbalClassification + Logical_Conflict, 830 VerbalClassification + ArbitraryVerbalClassification) - Direct-conflict pattern (827 Logical_Conflict, 828 InconsistentCommitment, 831 VagueVerbalClassification) - FAIL-LOUD (829 circularity CA-missing like PR-1 840, 832 vague meta-fallacy RA-missing like PR-2 834/835/837) 7 leaves proposed: 5 fully-modeled + 2 FAIL-LOUD (documented in AIF_skosOther, 0 fabrication). Cross-cluster scheme reuse: 831 reuses PR-4's VagueVerbalClassification_Inference. §7 I/RA/CA decomposition recorded but not serialized (pending jsboige schema decision #707 §4). Borrow-root shape = independent of that decision. PROPOSITION ONLY — GATED, 0 prod CSV write, no DB write, no OWL regen. Native vocabulary validated programmatically (all backticked scheme/conflict tokens native; Circularity_Conflict appears only in the "do not fabricate" prohibition, never as a proposal). Relates: dispatch mkzt2v (tertiary), #498, PR-1 #699, PR-2 #701, PR-3 #703, PR-4 #705, coverage-status #707, #133/#130 (OWL), #499, #677 (0 fabrication), #192, #458. Co-authored-by: Claude-Code <noreply@anthropic.com>
This was referenced Jul 5, 2026
jsboige
added a commit
that referenced
this pull request
Jul 5, 2026
…k of 5 clusters (ratification-ready) (#709) Independent read-only audit of po-2023's 5 #498 cluster propositions (PR-1 #699 False analogy, PR-2 #701 Faulty comparison, PR-3 #703 Association fallacy, PR-4 #705 Vague definition, PR-6 #708 Inconsistent definition), triggered by ai-01 dispatch `awhj8g` (PRIMARY) to de-risk jsboige's ratification before any prod CSV write. Method: a deterministic stdlib script (498_audit_extract.py, read-only, scratchpad) extracts the CSV columns for every cited pk (25 pks: 799, 800-803, 826-832, 833-845) and builds the native AIF vocabulary inventory (every *_Inference/*_Conflict token in any AIF column). Verdicts computed by crossing the docs' claims against this extraction — no LLM judgment on the data, only on the semantic legitimacy of FAIL-LOUD cases. Findings — the 5 propositions are code=truth-clean: - 25/25 cited pks present; cluster boundaries match Soussousfamille/Subsubfamily_en for all 5 clusters. - 4/4 mapped anchors (799, 800, 833, 839) match byte-exact on text_fr + DirectRef + ExceptionRef + MappingType. - 10/10 proposed tokens native (inventory of 54 tokens) → 0 fabrication (#677 discipline upheld). - 21/21 cited desc_fr match byte-close (1 cosmetic apostrophe diff on 841). - 6/6 FAIL-LOUD cases legitimate (Comparison_Inference + circularity node genuinely absent from inventory). Two FAIL-LOUD layers verified: CA-missing (840, 829 circularity) + RA-missing (832, 834/835/837). 1 FLAG raised (not a rubber-stamp) — coverage-accounting consistency: - PR-1 counts 840 (CA-missing: RA exists, CA absent) in its "+4 mapped", but PR-6 excludes 829 (same CA-missing shape) from its "+5 fully-modeled". The chantier headline "86 fully-modeled" depends on which PR's convention applies; uniform strict criterion → 85. Recommend jsboige ratify a single criterion. Does not block ratification of the propositions themselves. Secondary (ratification-ready note) integrated as §7 of the audit: verified native-token inventory + the two FAIL-LOUD layers, for jsboige's schema decision (I/RA/CA serialization, per #707 §4). Read-only: 0 write under Cards/, audit doc only. Adversarial (1 FLAG, not rubber-stamp). Dispatch awhj8g (PRIMARY + SECONDARY integrated). Base 34c7702. Co-authored-by: Your <your.email@example.com> Co-authored-by: Claude-Code <noreply@anthropic.com>
jsboige
added a commit
that referenced
this pull request
Jul 5, 2026
#711) Seventh cluster of the #498 AIF chantier. Opens the Ambiguïté subfamily (Abus de language / Misleading language family). Models the Amphibologie sub-sub (pk 847 anchor + 848-854), borrowing the d2 subfamily root pk 846 (direct-conflict pattern: ArbitraryVerbalClassification_Inference + OppositeConsequences_Conflict + SignFromOtherEvents_Conflict). Structurally coherent cluster — all leaves are syntactic/structural/prosodic ambiguity mechanisms (sentence-level), distinct from the Equivoque sub-sub (term-level). This coherence drives an honest scheme-divergence from the borrow-root: amphiboly is syntactic, the borrow-root's classification framing is term-level, so leaves split across native schemes that honestly fit their mechanism rather than forcing the borrow-root's scheme onto syntactic defects: - Exception pattern (849 modal scope, 850 quantifier shift): Deductive_Inference + Logical_Conflict (genuine logical-scope defects, first chantier use of Deductive_Inference for a fallacy) - Direct-conflict pattern (851 accent, 852 illicit contrast): ArbitraryVerbalClassification_Inference (borrowed from 846 — prosody is term-level, classification framing fits) - Direct-conflict + cross-cluster reuse (854 barbarism): VagueVerbalClassification_Inference (PR-4 scheme — barbarism is vagueness not ambiguity; the desc word 'incertain' signals it) - FAIL-LOUD (847 amphiboly anchor, 848 punctuation, 853 solecism): structural/syntactic ambiguity — THIRD recurring AIF ontology gap after circularity (PR-1/PR-6); no native syntactic-ambiguity CQ, documented in AIF_skosOther, 0 fabrication 8 rows proposed: 5 fully-modeled + 3 FAIL-LOUD (most FAIL-LOUD in a single cluster). §7 I/RA/CA decomposition: all typed leaves undercuts (consistent jsboige). Decomposition recorded but not serialized (pending jsboige schema decision #707 §4). Borrow-root shape = independent of that decision. PROPOSITION ONLY — GATED, 0 prod CSV write, no DB write, no OWL regen. Native vocabulary validated programmatically (all backticked scheme/conflict tokens native; Ambiguity_Conflict and Amphiboly_Conflict appear only in the 'do not fabricate' prohibition L105, never as proposals). Relates: dispatch ih617l (primary), #498, PR-1 #699, PR-2 #701, PR-3 #703, PR-4 #705, PR-6 #708, coverage-status #707, verification-audit #709, #133/#130 (OWL), #499, #677 (0 fabrication), #192, #458. Co-authored-by: Claude-Code <noreply@anthropic.com>
jsboige
added a commit
that referenced
this pull request
Jul 5, 2026
…in-sub-sub anchor, 4 leaves) (#713) Eighth cluster of the #498 AIF chantier. Second cluster of the Ambiguïté subfamily (opened by PR-7 Amphibologie). Models the insinuation mechanism of the Ambiguïté narrative sub-sub: in-sub-sub anchor pk 876 (ConflictingGoals_ Conflict, direct-conflict) + 4 leaves (pk 877-880). In-sub-sub anchor shape (cleanest, PR-1/PR-4-like). The sub-sub has 10 leaves spanning 3 mechanisms (insinuation / propaganda / interrogation), so PR-8 scopes to the insinuation mechanism (4 leaves); propaganda + interrogation deferred to PR-9 (different AIF schemes). All 4 leaves are say-without-saying variants — the narrative serves conflicting communicative goals (benign surface + deniable insinuated payload), the anchor 876 mechanism. Two patterns: - Direct-conflict reusing anchor token (877 false implication, 878 innuendo): ConflictingGoals_Conflict (borrowed from 876), narrow/closeMatch - Direct-conflict with semantic-closer native conflict (879 poisoned compliment): OpposedCommitment_Conflict (praise/discredit opposition beats conflicting-goals) - Genuine exception pattern with distinct scheme (880 anonymous sourcing): PositionToKnow_Inference + LackOfCompleteKnowledge_Conflict (epistemic defect, anonymity hides whether source is in position to know) 4 leaves, 4 fully-modeled, 0 FAIL-LOUD (cleanest since PR-3). First chantier use of OpposedCommitment_Conflict and LackOfCompleteKnowledge_Conflict (both native, 2x/1x in existing usage). Palette now 17 distinct native tokens. §6 accounting transparency (re po-2024 audit #709): this PR's +4 is criterion-independent (all leaves have both scheme AND conflict). Cumulative reported under both strict (94) and inclusive (95) criteria — the 1-row discrepancy is the PR-1 baseline (pk 840, RA-exists/CA-missing), pending jsboige criterion decision. §7 I/RA/CA: all 4 undercuts (insinuation defeats the audience's inference, not the surface statement). RA-nodes untyped for 877/878/879 (Gricean implicature — no native Implicature_Inference scheme, 4th ontology gap shape, documented not fabricated). Decomposition recorded, not serialized (in-sub-sub anchor = independent of I/RA/CA schema decision #707 §4). PROPOSITION ONLY — GATED, 0 prod CSV write, no DB write, no OWL regen. Native vocabulary validated programmatically (Implicature_Inference appears only as named gap L281/L283/L303, never as a proposal). Relates: dispatch ih617l (tertiary), #498, PR-1 #699, PR-2 #701, PR-3 #703, PR-4 #705, PR-6 #708, PR-7 #711, coverage-status #707, verification-audit #709, family-gap #712, #133/#130 (OWL), #499, #677 (0 fabrication), #192, #458. Co-authored-by: Claude-Code <noreply@anthropic.com>
jsboige
added a commit
that referenced
this pull request
Jul 5, 2026
…leaves, completes subfamily) (#714) Ninth cluster of the #498 AIF chantier. Completes the Ambiguïté subfamily (3/3 sub-subs). Second half of the Ambiguïté narrative sub-sub: the deferred mechanisms from PR-8 — source-deception (881-883), interrogation (884-885), and polytélie (886). In-sub-sub anchor pk 876 (ConflictingGoals_Conflict). Source-deception and interrogation leaves honestly diverge from the anchor's ConflictingGoals_Conflict to epistemic/action schemes that fit their semantics: - Source-deception (881 grey, 883 black): ExpertOpinion_Inference + ExpertiseInconsistency_Conflict. Omission (concealment, narrow) vs commission (falsification, close) distinguished by MappingType — graded source-deception. - Whisper campaign (882): PositionToKnow_Inference + LackOfCompleteKnowledge_ Conflict (cross-PR-8 reuse of 880 epistemic pair, organized-campaign flavor). - Clandestine interrogation (884): PracticalReasoning_Inference + ConflictingGoals_Conflict (anchor reuse — friendly surface + extraction goal). - Preach the false (885): Bias_Inference direct-conflict (scheme as defect — evidence biased by false-premise collection, degenerate undercut like PR-4 800). - Polytélie (886): ConflictingGoals_Conflict direct reuse (literal multiple goals). 6 leaves, 6 fully-modeled, 0 FAIL-LOUD (2nd consecutive clean cluster). 4 new chantier native tokens: ExpertOpinion_Inference, ExpertiseInconsistency_Conflict, PracticalReasoning_Inference, Bias_Inference (all native 1x/1x/2x/2x). Palette now 21 distinct native tokens across 9 PR. §6 completes Ambiguïté subfamily 3/3 (18/18 leaves). Second fully-complete subfamily after Fallacious comparison. Cumulative 70→100 strict / 101 inclusive (+30). §6 dual criterion re po-2024 audit #709 (this PR's +6 criterion-independent). §7 I/RA/CA: all 6 undercuts (deception defeats the inference audience/target is manipulated to draw). Decomposition recorded, not serialized (in-sub-sub anchor = independent of I/RA/CA schema decision #707 §4). PROPOSITION ONLY — GATED, 0 prod CSV write, no DB write, no OWL regen. Native vocabulary validated programmatically — PASS, 0 fabrication. Relates: dispatch ih617l (tertiary), #498, PR-1 #699, PR-2 #701, PR-3 #703, PR-4 #705, PR-6 #708, PR-7 #711, PR-8 #713, coverage-status #707, verification-audit #709, family-gap #712, #133/#130 (OWL), #499, #677 (0 fabrication), #192, #458. Co-authored-by: Claude-Code <noreply@anthropic.com>
This was referenced Jul 6, 2026
Merged
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.
Summary
Fourth cluster of the #498 chantier. First cluster of a new subfamily — Inexact definition (Misleading language family), following PR-3 #703 which completed the Fallacious comparison subfamily. Models the Vague definition sub-sub (pk 800 anchor + 801/802/803 leaves). Proposition only — GATED, 0 write to prod CSV.
Cluster shape (same as PR-1, new anchor scheme)
In-sub-sub mapped anchor pk 800 ("Acception vague", MAPPED
VagueVerbalClassification_Inference) + 3 leaves. New anchor schemeVagueVerbalClassification_Inference(AIF native). Anchor uses the direct-conflict pattern (scheme in DirectRef, no ExceptionRef — the fallacy is the vague classification). All 3 leaves follow the same direct-conflict shape, varying only the MappingType.3 leaves, all fully-modeled (0 FAIL-LOUD)
VagueVerbalClassification_Inference,narrowMatch(vagueness via obscurantist complexity).VagueVerbalClassification_Inference,broadMatch(vagueness via total absence of definition).VagueVerbalClassification_Inference,closeMatch(vagueness via intrinsic polysemy / Gallie's essentially-contested concepts).Method notes (§5)
jsboige enriched-DoD compliance (§7)
All 3 leaves are undercuts — degenerate case where the CA-node coincides with the RA-node scheme (direct-conflict pattern): vagueness fallacies are a defective scheme, they do not defeat a separate legitimate one. Honest representation of the direct-conflict anchor pattern.
Native-vocabulary discipline
Only token proposed (
VagueVerbalClassification_Inference) reused from the anchor — 0 fabrication, 0 FAIL-LOUD.Analogy_Inferenceappears only as a cross-PR reference. Validated programmatically.Cumulative coverage (chantier-wide)
Fallacious comparison subfamily: complete (3/3 sub-subs). Inexact definition subfamily: opened (1/3 sub-subs). Next candidates: Arbitrary definition (PR-5, 3/19), Inconsistent definition (PR-6, 0/7 borrow-root).
Gate (HARD)
aif:assertion emitted.Relates
dispatch
mkzt2v(secondary), #498 (chantier), PR-1 #699, PR-2 #701, PR-3 #703, #133/#130 (OWL), #499 (inverse), #192, #458.— po-2023