docs(taxonomy): #498 PR-6 — Inconsistent definition cluster (borrow-root, 7 leaves, heterogeneous) - #708
Merged
Conversation
…t, 7 leaves) 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.
Scope
Sixth cluster of the #498 AIF chantier (defeasible exceptions to argument schemes, Walton paradigm). Models the Inconsistent definition sub-sub (pk 826-832) of the Inexact definition subfamily — the largest and most varied cluster of the chantier so far.
Predecessors: PR-1 #699, PR-2 #701, PR-3 #703 (Fallacious comparison complete), PR-4 #705 (Vague definition). Repo ref master
70bd1605.What the cluster looks like (code=truth)
The Inconsistent definition sub-sub has no in-sub-sub mapped anchor → it borrows the d2 root pk 799 (Définition biaisée, MAPPED, exception pattern:
VerbalClassification_Inferencedefeated byBiasedClassification_Conflict+ArbitraryVerbalClassification_Inference,skos:broadMatch). 7 leaves (pk 826-832, depth 3-5).The cluster is semantically heterogeneous — contradiction (826/827), stolen-concept (828), circularity (829), lexical rigidity (830), recursive vagueness (831), vague meta-fallacy (832). The leaves honestly split across three patterns rather than forcing one.
Proposed AIF structure (7 leaves)
VerbalClassification_InferenceLogical_Conflictskos:closeMatchLogical_Conflictskos:broadMatchInconsistentCommitment_Inferenceskos:closeMatchVerbalClassification_Inferenceskos:closeMatchVerbalClassification_InferenceArbitraryVerbalClassification_Inferenceskos:narrowMatchVagueVerbalClassification_Inferenceskos:narrowMatch7 leaves proposed: 5 fully-modeled (826, 827, 828, 830, 831) + 2 FAIL-LOUD (829, 832).
Patterns demonstrated
VerbalClassification_Inferencedefeated by a native conflict.AIF_skosOther, 0 fabrication.Cross-cluster scheme reuse
831 Sophome définiste honestly reuses PR-4's
VagueVerbalClassification_Inference(it is the recursive cousin of PR-4's 802 Indéfinissabilité) — documented in §3/§5, not forced onto the borrow-root's scheme.§7 I/RA/CA decomposition (jsboige enriched DoD)
All typed leaves are undercuts — consistent with jsboige's "most fallacies live in the undercut": definitional fallacies defeat the inference (term→classification), they do not deny the conclusion. No undermine, no rebut.
Logical_Conflictundercut onVerbalClassification_InferenceRA-nodeLogical_Conflictundercut (direct-conflict, scheme-untyped RA-node)InconsistentCommitment_Inference(degenerate undercut, self-undermining RA-node)ArbitraryVerbalClassification_Inferenceundercut onVerbalClassification_InferenceVagueVerbalClassification_Inference(degenerate undercut)Decomposition recorded but not serialized — pending jsboige's schema decision (PR #707 §4: ratify 2 new columns / defer / alternative JSON). This PR is borrow-root and independent of that decision.
DoD status (#498)
AIF_skosMappingTypecoherentGate boundaries (HARD)
aif:assertion emitted.VerbalClassification_Inference,Logical_Conflict,InconsistentCommitment_Inference,ArbitraryVerbalClassification_Inference,VagueVerbalClassification_Inference,BiasedClassification_Conflict).Circularity_Conflictappears only in the "do not fabricate" prohibition (L117), never as a proposal — 0 fabrication.Relates: dispatch
mkzt2v(tertiary), #498 (chantier), PR-1 #699, PR-2 #701, PR-3 #703, PR-4 #705, coverage-status #707, #133/#130 (existing OWL), #499 (inverse), #677 (0 fabrication), #192, #458.🤖 Generated with Claude Code