{"path":"conceptual-threads.md","content":"# Deliberus Conceptual Threads\n\nCross-cutting ideas that connect multiple research streams, historical conversations, and design documents. These are the deep structural tensions and convergences that will shape the architecture.\n\n---\n\n## Thread 1: The Structure-Adoption Paradox\n\n**The central tension of the entire project.** Every increase in structural rigor decreases adoption probability — until LLMs change the equation.\n\n| Source | Insight |\n|--------|---------|\n| Scheuer et al. (academic-foundations) | \"Too fine-grained ontology (~30 types) confuses users; too coarse limits analysis. Sweet spot: ~10 extensible types\" |\n| Kialo (research/kialo) | Survived with the SIMPLEST model (binary pro/con, 500 chars). Simplicity = adoption |\n| Chat logs, Sasha 2010 (history) | Fredrik: \"How much logic should be built into the system vs. provided by users? — one central question\" |\n| Vision | \"Structure vs friction\" identified as key tension |\n| Technical direction | \"The bet is that LLMs change the friction equation\" |\n| AIF paper (academic-foundations) | I-node/S-node model requires explicit reasoning schemes mediating EVERY connection — rigorous but demanding |\n| Claimify divergence (technical-direction) | Deliberus needs wider extraction (opinions too) — adding structure AND scope simultaneously |\n\n**The resolution has four parts**: (1) LLMs absorb the structuring burden — users \"just talk\" (like Polis), but the system decomposes their input into structured argument graphs (like Kialo, but richer). The user experiences Polis-level friction while the system maintains AIF-level rigor underneath. (2) **Progressive disclosure of complexity** — the same graph rendered at different cognitive resolutions. Casual user: vote, read summaries, trust the scaffolding. Curious user: expand argument bundles, check premises. Expert: drill into probabilistic weights, falsification history, causal counterfactuals. Adoption hinges on the first level being effortless; depth is always available but never forced. (See [vision.md §The Deeper Thesis](vision.md)) (3) **Single-player utility dissolves the cold-start problem** — the entry point is NOT \"create an argument map\" but **\"help me think about X.\"** The argument map emerges as output, not as the user's goal. Every successful knowledge platform (Roam, Obsidian, Notion) started as a tool useful to one person with zero community. Deliberus's single-player mode: paste a URL or speak naturally → get a structured argument analysis of your decision. The social layer emerges when personal thinking artifacts are selectively published, like Obsidian's digital gardens. (See [research/single-player-utility.md](research/single-player-utility.md)) (4) **`sorry`-driven contribution from Lean** — the system explicitly marks where reasoning is incomplete, making gaps *visible features* rather than hidden defects. Free-form text or voice → LLM extraction → argument structure with `sorry` placeholders where reasoning needs filling in. Each `sorry` is a bite-sized contribution opportunity for other users. This is how Lean's Mathlib grew: you fill in one lemma without understanding the whole library. The `sorry` pattern simultaneously lowers the contribution barrier (you don't need a complete argument) and enables parallel collaboration (different people fill in different gaps). (See [research/lean-deliberus-analogies.md §1](research/lean-deliberus-analogies.md))\n\n**The mobile unlock** ([research/mobile-argument-ux.md](research/mobile-argument-ux.md)): Every failed argumentation platform was desktop-only. The central reframe: **the graph is a map for orientation, not the primary experience.** Mobile uses card-based and feed-based UX for consuming and evaluating arguments; desktop uses graph navigation for deep analysis. Voice-to-argument contribution (speak 30-90 seconds, LLM extracts conclusion + premises, user confirms) dissolves the contribution barrier that killed every prior platform. Mobile users are the primary data source — their evaluations produce the quality scores that desktop analysts rely on — making them first-class citizens, not degraded-desktop users.\n\n**Implementation update (Apr 3, 2026):** The first concrete sequence predicted by this thread is now visible in code: claim-level clarification exists, definitional claims are first-class, concept pages expose shared sense memory, extraction pages surface an earlier interpretation checkpoint for ambiguous source usages, the landing route now runs a lightweight clarification/interpretation preflight for text and URL input, and decomposition is beginning to appear as a broader \"atomic for now\" affordance rather than a value-premise special case. The newer refinement is important: decomposition is no longer only signaled; it is increasingly guided. Claim pages can seed a non-blank starting structure, extraction pages and the `needs-help` feed can route directly into focused deepening, and untouched scaffold text is rejected so the guidance layer does not silently create junk structure. The next frontier is no longer \"bring clarification to the entry point at all,\" but deepen it across uploads, voice continuity, concept lifecycle, and recursive decomposition. See [research/execution-plan-clarification-first-roadmap.md](research/execution-plan-clarification-first-roadmap.md), [research/feed-algorithm-design.md](research/feed-algorithm-design.md).\n\n**Short-input update (Apr 8, 2026):** The structure-adoption paradox now has a sharper entry-point form. A short authored question or topic should not be forced through source-style extraction and then treated as failure when no complete argument is found. The low-friction path is \"answer and structure\": respond conversationally from the truth graph and clearly labeled background knowledge, derive private provisional structure, then ask for lightweight confirmation before durable graph writes. See [research/truth-graph-evidence-system.md](research/truth-graph-evidence-system.md), [research/disambiguation-ux-and-voice-first-contribution.md](research/disambiguation-ux-and-voice-first-contribution.md).\n\n**Cross-references**: [vision.md §Key Tensions](vision.md) ↔ [technical-direction.md §Claimify vs Deliberus](technical-direction.md) ↔ [research/kialo-deep-dive.md §Why Kialo Survived](research/kialo-deep-dive.md) ↔ [research/polis-deep-dive.md](research/polis-deep-dive.md) ↔ [academic-foundations.md §Scheuer](academic-foundations.md) ↔ [research/single-player-utility.md](research/single-player-utility.md) ↔ [research/mobile-argument-ux.md](research/mobile-argument-ux.md)\n\n---\n\n## Thread 2: The Hybrid Intelligence / Pseudo-AGI\n\n**The deepest philosophical thread.** The system + its human participants = a reasoning entity greater than either alone.\n\n| Source | Insight |\n|--------|---------|\n| Ivan Phillips, Dec 2011 (history) | \"A system of (argument map + human society) might be a hybrid AGI\" |\n| Fredrik to Curtis, Jan 2012 (history) | \"Psychological principles as microforces driving this pseudo-AGI, guided by checks and balances in the design\" |\n| Mercier & Sperber (academic-foundations) | Reasoning IS social/argumentative — individual reasoning is biased, group reasoning works. The platform IS the reasoning engine |\n| Fredrik to Sasha, 2010 (history) | \"As the system grows more intelligent, people will gradually be made redundant, replaced by AI modules\" — prescient for 2010 |\n| BIRD framework (inductive-reasoning) | Abduction (LLM identifies factors) → Entailment (NLI checks) → Deduction (Bayesian computes). Humans and AI at different layers of the same reasoning chain |\n| Habermas Machine (research/habermas) | AI synthesis works but lacks structure. Argument mapping has structure but lacks synthesis. **Combining them = novel contribution** |\n| Deliberation.io (competitive-landscape) | AI can mediate but doesn't structure — confirms the gap |\n| MArgE 2025 (inductive-reasoning) | Multiple LLMs independently generate argument trees, merge into unified structure. Multi-agent debate as \"devil's advocate\" |\n\n**The convergence**: In 2012, \"hybrid AGI\" was a metaphor. In 2026, with LLMs doing claim extraction, Bayesian models computing argument strength, and NLI checking entailment — the system literally IS a distributed reasoning engine with human and AI components. The metaphor became the architecture.\n\n**The deeper motivation** (Mar 27, 2026): \"Individual minds, no matter how bright, are not up to the task of engaging with the full complexity of any wicked or polarizing issue. The key to advancing as a species is productively weaving our intellects together and extracting into software the criteria for what constitutes well-founded knowledge.\" This reframes the hybrid intelligence not as a technical architecture but as an evolutionary necessity — the way the scientific method generalized beyond individual inquiry, Deliberus generalizes beyond empirical science to ALL domains of human deliberation. The guru/strongman/public-intellectual pattern is a cognitive coping mechanism for complexity that exceeds individual capacity; Deliberus provides a structural alternative.\n\n**The convergence thesis** (Mar 31, 2026): The hybrid AGI's axioms may be universal, not culturally relative. If human values converge when decomposed far enough (consciousness, suffering, shared humanity), then the reasoning verification system works like Lean's — trusted axioms, shared bedrock. AI agents verify reasoning against this convergence, not against \"what humans decided.\" See [vision.md §The Convergence Thesis](vision.md), [research/lean-deliberus-analogies.md §8](research/lean-deliberus-analogies.md), [research/session8-landing-page-and-civilizational-vision.md §8](research/session8-landing-page-and-civilizational-vision.md).\n\n**Non-zero-sum cooperation synthesis** (Apr 6, 2026): The hybrid intelligence frame now has an economic version. Deliberus is a distributed reasoning engine whose core output is not just \"better arguments\" but lower transaction costs for mutual understanding. Wright, Deutsch, Coase, Ostrom, mechanism design, false-polarization research, and cooperative AI converge on the same bottleneck: apparent zero-sum conflict often persists because the cooperative option is hidden by compressed language, missing information, low trust, or broken sensemaking. See [research/non-zero-sum-economics-and-civilizational-cooperation.md](research/non-zero-sum-economics-and-civilizational-cooperation.md).\n\n**Cross-references**: [history.md §Design Insights #4-5](history.md) ↔ [academic-foundations.md §Mercier & Sperber](academic-foundations.md) ↔ [inductive-reasoning-research.md §BIRD](inductive-reasoning-research.md) ↔ [research/habermas-machine.md](research/habermas-machine.md)\n\n---\n\n## Thread 3: The Fact/Value Boundary\n\n**The ontological fault line.** Everything upstream (extraction, verification, scoring, visualization) behaves differently on each side.\n\n| Source | Insight |\n|--------|---------|\n| Object model, 30°C example | \"It's 30°C\" = factual (measurable). \"It's hot\" = value-laden (subjective). Deliberus differentiates world facts from human category boundaries |\n| Chat logs, Edvin 2011 (history) | Ethical filters as overlays — users answer ethical dilemmas → compute similarity profile → view arguments through that lens. Skip the -isms entirely |\n| Chat logs, Edvin (history) | Felicific calculus overlay for decision support. \"More complicated than that\" |\n| Technical direction, Tier 4 | Classify claims as descriptive vs normative. For normative: score on importance + agreement, not true/false |\n| Claimify divergence (technical-direction) | Claimify discards opinions. Deliberus keeps them as root nodes, verifies their premises |\n| Prediction markets, Futarchy (research/prediction-markets) | \"Vote on values, bet on beliefs\" — normative claims get deliberation, factual premises get markets. EXACT mapping to the Deliberus fact/value split |\n| van Gelder, decision mapping (academic-foundations) | Arguments explore what IS TRUE (factual). Decisions choose what to DO (normative). Deliberus needs both views of the same data |\n| Inductive reasoning research, §Open Questions | \"Normative claims: All the above handles factual claims well. How to handle 'we should do X'?\" |\n\n**The design implication**: The ontology MUST have a first-class fact/value classifier. Every claim gets typed as descriptive or normative at extraction time. This typing determines: what scoring axes apply (truthiness vs agreement+importance), what verification methods work (NLI/markets vs deliberation), and what visualization signals appear (confidence intervals vs opinion distributions).\n\n**Refinement, 2026-08-18 — the boundary that governs verification is at the BOTTOM of a chain, not at each claim.** Claim-level typing (descriptive against normative, at extraction time) is the design implication above and it stands. It is not, however, the thing that decides whether an argument can be checked. A normative conclusion sits on a chain containing empirical premises; a factual conclusion can rest on an evaluative one. What settles the question is the **terminus type** — the residue work's `empirical` value means *this branch bottoms out in a checkable factual question*, while `fittingness`, `structural`, `axiom_choice` and `permissive_zone` mean it bottoms out in an evaluative posit. So the fact/value fault line appears twice, doing two jobs: at the claim it says what kind of assertion this is, and at the bottom it says what kind of ground the argument has. The practical consequence is that a caller checking a chain needs no separate fact and value interfaces — one interface, and the terminus tells it which kind of bottom it reached. Full reasoning: [research/agents-as-a-consumer-class.md](research/agents-as-a-consumer-class.md) § 2b.\n\n**Refinement, 2026-08-22 — the split is a commitment, and the schema cannot hold disagreement about it.** The terminus enum's first partition (`empirical` against the four evaluative types) *is* the fact/value distinction rendered as a data type. That means someone who denies the distinction — a thoroughgoing naturalist, or Heylighen at his strongest, for whom valence just *is* the self-maintenance signal — cannot have their terminus typed at all. It is probably the right position to hold, and it is currently held invisibly: nothing in the system marks it as a position or lets anything attack it. Three responses are available and ordered by cost. Full reasoning: [research/what-belongs-in-the-ontology.md](research/what-belongs-in-the-ontology.md).\n\n**Edvin's insight is underrated**: Computing personal ethical profiles via canonical dilemmas (not declared -isms) is more honest and more useful. Users don't know their own ethical framework, but they know their intuitions on trolley problems. The computed profile becomes a filter on how arguments are weighted in their personal view.\n\n**The discourse layer above semantics** ([research/voice-memo-emanuel-sofia.md](research/voice-memo-emanuel-sofia.md)): In a 2013 conversation, Emanuel (a linguistics student) identified a challenge deeper than the fact/value boundary — the **discourse layer**. Two people can give the *same definition* of a concept, both genuinely believe they mean the same thing, yet in *discursive practice* draw completely opposite conclusions. The Swedish \"barnfattigdom\" (child poverty) debate was pure semantics — everyone agreed on the facts, but different operative definitions of the same word generated a public fight about nothing. This means Claimify-style extraction operates at the semantic level, but real disagreement often lives at the discourse level above it. The system needs to detect not just what people *say* they believe, but what conclusions they *draw* from those beliefs.\n\n**Cross-references**: [object-model.md §30°C Example](object-model.md) ↔ [history.md §Design Insights #3](history.md) ↔ [technical-direction.md §Claimify vs Deliberus](technical-direction.md) ↔ [research/prediction-markets-argumentation.md §Futarchy](research/prediction-markets-argumentation.md) ↔ [academic-foundations.md §van Gelder](academic-foundations.md) ↔ [research/voice-memo-emanuel-sofia.md](research/voice-memo-emanuel-sofia.md)\n\n---\n\n## Thread 4: The Deduplication / Convergence Problem\n\n**The scaling bottleneck nobody has solved.** At 1000+ claims, duplicate/near-duplicate arguments dominate the graph.\n\n| Source | Insight |\n|--------|---------|\n| Sketches (Sketch 6) | \"Similar existing points should be visually available and interconnected. Accessible instantly when someone begins writing similar words\" — composing = retrieval + linking |\n| Chat logs, Sasha 2010 (history) | \"Multiple formulations of the same point should be grouped, best version (by vote) visible first, alternatives on double-click\" |\n| Claimify paper | Decontextualization makes claims self-contained — a prerequisite for meaningful comparison/dedup |\n| Technical direction | \"Embedding similarity + LLM verification\" for dedup |\n| Kialo (research/kialo) | No dedup — same argument restated hundreds of times in different branches. Major user complaint |\n| Polis (research/polis) | Does IMPLICIT dedup through vote-pattern clustering — similar opinions mathematically converge without explicit matching |\n| Technical direction, weakest links | \"False merges worse than missed merges\" — dedup errors are asymmetric |\n\n**The synthesis**: Deliberus needs THREE dedup layers working together, plus a growing automation layer: (1) Embedding similarity at write-time (\"this claim already exists — did you mean...?\"), (2) LLM verification for near-matches (\"these two claims say the same thing differently\"), (3) Polis-style vote-pattern clustering as a background signal (\"people who agree with claim A also agree with claim B — likely equivalent\"). Layer 1 prevents new duplicates, layer 2 catches existing ones, layer 3 discovers semantic equivalence that text similarity misses. (4) **The `@[simp]` flywheel from Lean** — each community-vetted claim makes the system better at auto-detecting duplicates and connections. Like Lean's `exact?` tactic that searches the entire Mathlib library for a lemma matching the current goal, Deliberus should auto-surface \"this claim already exists in discussion #X\" — and get better at it with every contribution. The curation aspect is critical: the community decides what's \"canonical\" enough for auto-referencing. (See [research/lean-deliberus-analogies.md §2](research/lean-deliberus-analogies.md))\n\n**Warning: false equivalence at the discourse level**: The inverse of the dedup problem is equally dangerous — merging claims that *look* identical but carry different operative meanings. This insight has TWO independent formulations: (1) Fredrik's 2012 Leverage Research notes asked \"Isomorphisms between paths to conclusion? Or just isomorphism between conclusions?\" and flagged \"Illusory agreement — common/pervasive?\" ([research/simplenote-archive-analysis.md §1](research/simplenote-archive-analysis.md)). (2) Emanuel Kumlien's 2013 conversation identified the discourse layer where semantic agreement masks operational disagreement ([research/voice-memo-emanuel-sofia.md](research/voice-memo-emanuel-sofia.md)). Same insight, arrived at independently from different angles — Fredrik from a logical/structural perspective (\"path isomorphism\"), Emanuel from a linguistic perspective (\"discourse practice\"). Two people can endorse the same claim with opposite practical implications. \"Passenger safety must be guaranteed\" means \"therefore regulate ride-hailing\" to taxi drivers and \"therefore require app-based ratings\" to ride-hailing advocates. Dedup that merges these erases the most interesting disagreement. Layer 3 (vote-pattern clustering) may actually help *detect* this: if two groups both endorse a claim but diverge on everything downstream, the claim is a discourse-level fork, not a genuine consensus.\n\n**Concept tracking as the solution** ([research/semantic-disambiguation-and-concept-tracking.md](research/semantic-disambiguation-and-concept-tracking.md)): Sketched in 2013 (directly influenced by Emanuel Kumlien), concept tracking treats word-sense disambiguation as a first-class graph operation. \"Sweet (sugar)\" and \"Sweet (nice)\" become SEPARATE nodes. \"Freedom (libertarian)\" and \"Freedom (socialist)\" become separate definitional claims linked to divergent downstream conclusions. Merge/split operations are crowdsourced, not top-down. Definitional claims are themselves arguments — \"by freedom I mean X\" is a MOVE, not metadata. The moment a user sees \"oh, we were using the same word differently — THAT'S why we disagree\" may be one of the most powerful the platform offers. ([sketches.md §Sketch 7](sketches.md))\n\n**Implementation update (Apr 3, 2026):** This thread now has a stronger operational foothold: claim-level sense clarification, explicit definitional claims, graph-level sense aggregation, dedicated concept pages, extraction-level interpretation checkpoints that bring concept disambiguation earlier for real source material, and now explicit lifecycle states on concept pages and APIs (underdefined, emerging, bifurcated, fragmented, locally stable) plus next-step diagnoses. What does **not** yet exist is the fuller governance layer implied by the thread: deliberate merge/split operations, stability ratification, and robust discourse-level detection of same-word/different-path cases. See [research/execution-plan-clarification-first-roadmap.md](research/execution-plan-clarification-first-roadmap.md), [research/semantic-disambiguation-and-concept-tracking.md](research/semantic-disambiguation-and-concept-tracking.md).\n\n**Further synthesis (Apr 3, 2026 evening):** The likely pragmatic answer is not hard auto-merge but **soft canonical clustering**. Claims and concept senses should remain separately stored with provenance, lineage, and audit trail intact, while the product may increasingly treat high-confidence near-duplicates as one operative cluster by default. Human labor should fall primarily on **splitting false sameness** rather than manually merging every obvious duplicate. This preserves the asymmetry already identified here — false merges are worse than missed merges — while making large-scale convergence more tractable. The key distinction is between recursive generation (still dangerous) and recursive retrieval/reuse of already-saturated graph substructure (increasingly plausible). See [research/soft-canonical-clustering-and-reversible-merge-semantics.md](research/soft-canonical-clustering-and-reversible-merge-semantics.md).\n\n**Cross-references**: [sketches.md §Sketch 6](sketches.md) ↔ [sketches.md §Sketch 7](sketches.md) ↔ [history.md §Design Insights #10](history.md) ↔ [technical-direction.md §Weakest Links](technical-direction.md) ↔ [research/kialo-deep-dive.md](research/kialo-deep-dive.md) ↔ [research/polis-deep-dive.md](research/polis-deep-dive.md) ↔ [research/voice-memo-emanuel-sofia.md](research/voice-memo-emanuel-sofia.md) ↔ [research/semantic-disambiguation-and-concept-tracking.md](research/semantic-disambiguation-and-concept-tracking.md)\n\n---\n\n## Thread 5: The Probabilistic Argument Graph\n\n**The technical frontier.** Turning \"this evidence kinda supports this claim\" into computable, composable, displayable probability.\n\n| Source | Insight |\n|--------|---------|\n| Chat logs, Curtis 2012 (history) | \"Inductive arguments are the hard problem. Deductive arguments are simpler. Probability estimates for all claims can get hairy\" |\n| QBAFs (inductive-reasoning) | Quantitative Bipolar Argumentation Frameworks — arguments with numeric strength, both attack AND support, deterministic gradual semantics |\n| BIRD (inductive-reasoning) | Abduction → Entailment → Deduction. Users contribute abductive factors, platform checks entailment, Bayesian model computes calibrated probability |\n| POPPER + Bayes reconciliation (inductive-reasoning) | Falsification is a special case of Bayesian updating. Claims aren't \"proven\" but accumulated evidence drives posterior up or down |\n| Prediction markets (research/prediction-markets) | LMSR provides calibrated probabilities even with few participants. Argument strength as a market price |\n| AIF (academic-foundations) | S-nodes mediate ALL connections with explicit reasoning schemes — makes the reasoning step auditable |\n| Metaculus (research/prediction-markets) | Conditional question pairs map to premise→conclusion dependencies. Already doing argument bundles without calling it that |\n| Polis (research/polis) | No logical structure — clusters opinions but doesn't verify reasoning. The anti-example |\n| Habermas Machine (research/habermas) | Optimizes for approval, not rational validity. Shows what happens when you skip the logic layer |\n\n**The architecture**: QBAF as the formal backbone, with BIRD-style decomposition at each node, LMSR markets for calibrated probabilities on factual claims, POPPER-style falsification tracking (\"battle-tested\" badges), and ARGORA counterfactual analysis for explanation (\"this conclusion depends critically on claim X\"). The probabilistic layer is what makes Deliberus more than another Kialo.\n\n**Bridging arguments as a QBAF extension** ([research/bridging-arguments.md](research/bridging-arguments.md)): QBAFs can be extended with **per-group strength vectors** rather than single scalar strength values. After Polis-style clustering identifies opinion groups, each argument node carries not just one strength score but a vector: [Group A strength, Group B strength, ...]. A **bridging argument** is one where the *reasoning quality* scores are high across groups even when conclusion-agreement diverges. This requires separating two voting axes: conclusion agreement vs. reasoning quality (see Thread 7). The detection mechanism: when Groups A and B both rate an argument \"well-reasoned\" while disagreeing on its conclusion, that argument occupies the richest deliberative territory — \"I can't refute this, which makes me reconsider.\" PAKT (Heidelberg, 2024) provides the closest existing data model (arguments annotated with premises, conclusions, frames, and values) but doesn't implement cross-group bridging as a search function. **No existing platform measures this** — it is potentially Deliberus's most distinctive theoretical contribution.\n\n**Scheme-bounded decomposition** (Mar 29, 2026): Walton's 96 argument schemes provide bounded templates for premise decomposition. Each scheme has a finite set of critical questions — and CQs ARE premises (statable in language, decomposable further). This resolves the auto-decomposition question: not unbounded recursive generation (pipedream), but scheme-guided decomposition where the scheme tells you WHICH premises to look for. Different schemes have different premise-conclusion relationships (deductive, inductive, abductive, from analogy, from authority) — the scheme TYPE determines what \"VALID\" means and what sorry markers appear. Evidence-as-subgraph: uploaded documents (meta-analyses, papers) are extracted by the same pipeline into claim subgraphs, not treated as black-box attachments. (See [research/scheme-bounded-decomposition-and-evidence-as-subgraph.md](research/scheme-bounded-decomposition-and-evidence-as-subgraph.md))\n\n**QEM selected as gradual semantics** (Mar 31, 2026): Nico Potyka's Quadratic Energy Model (KR 2018, KR 2024) chosen over DF-QuAD, Euler-based, h-categorizer, and the brand-new aggregative semantics (Munro et al., Mar 2026). QEM uniquely satisfies: no saturation (every CQ contributes proportionally), open-mindedness (arguments at 0/1 CAN change), gravity toward initial weight (unanswered CQs stay at 0.5), and symmetric attack/support treatment. Energy = sum(supporters) - sum(attackers); the quadratic impact function `h(x) = x²/(1+x²)` prevents both saturation and immutability. Key academic alignment: Francesca Toni's group at Imperial (ArgLLM-App, \"Argumentative Human-AI Decision-Making\" AAMAS 2026 — essentially Deliberus's thesis in academic form). (See [research/qbaf-gradual-semantics-research.md](research/qbaf-gradual-semantics-research.md))\n\n**Cross-references**: [history.md §Design Insights #6](history.md) ↔ [inductive-reasoning-research.md](inductive-reasoning-research.md) ↔ [research/prediction-markets-argumentation.md](research/prediction-markets-argumentation.md) ↔ [academic-foundations.md §AIF](academic-foundations.md) ↔ [technical-direction.md §Inductive Reasoning Problem](technical-direction.md) ↔ [research/bridging-arguments.md](research/bridging-arguments.md) ↔ [research/scheme-bounded-decomposition-and-evidence-as-subgraph.md](research/scheme-bounded-decomposition-and-evidence-as-subgraph.md) ↔ [research/qbaf-gradual-semantics-research.md](research/qbaf-gradual-semantics-research.md)\n\n---\n\n## Thread 6: The Visualization as Cognitive Prosthesis\n\n**The UX thesis.** Argument maps aren't just nice — they're cognitive necessities that compensate for working memory limits.\n\n| Source | Insight |\n|--------|---------|\n| Monk & van Gelder (academic-foundations) | Working memory holds ~4 items. Deliberation requires holding entire argument structures. Argument maps = \"external RAM\" |\n| van Gelder interview (academic-foundations) | \"Our eyes constitute the high-capacity bus connecting the argument map to our brains as the CPU\" |\n| Scheuer et al. (academic-foundations) | Graphs are most expressive but suffer spaghetti problem at scale |\n| Graph viz research (research/graph-visualization) | Semantic zoom is THE solution — galaxy (topics) → constellation (bundles) → star (claims) → planet (evidence) |\n| Lins project (research/graph-visualization) | Existing SvelteKit + Sigma.js + FalkorDB foundation. Extract shared rendering core |\n| Sketches (Sketch 2) | Argument BUNDLES as tab-navigable clusters — \"speed argument\", \"dream argument\", \"cobalt argument\". Key UX innovation |\n| Kialo (research/kialo) | Solved spaghetti with trees (not graphs) + sunburst minimap. But trees are too restrictive for real argument structure |\n| Uncertainty viz (inductive-reasoning) | Density strips produce best alignment between user perception and actual probabilities |\n\n**Empirical validation** (research/progressive-disclosure): Sweller's expertise reversal effect makes adaptive complexity mandatory — fixed complexity is always wrong for someone. XAI research shows the \"inspectability premium\" — mere availability of deeper inspection increases trust even when rarely used. Wikipedia data confirms: 60% of clicks go to lead sections, but deeper layers are load-bearing for quality. No direct study on progressive complexity in deliberation yet — a research opportunity for Deliberus to publish on. (See [research/progressive-disclosure.md](research/progressive-disclosure.md))\n\n**The design principle**: The visualization IS the product. Users don't interact with an ontology or a database — they interact with a visual representation of collective reasoning. Every architectural decision must pass the question: \"How does this render?\" If a QBAF node can't be meaningfully displayed, it doesn't belong in the model.\n\n**The Lins connection**: Lins already solves generic graph exploration on the same FalkorDB backend. Deliberus needs argument-SPECIFIC visualization: semantic zoom into argument bundles, claim-type-based styling (factual/normative), probability density strips on nodes, attack/support edge styling, \"battle-tested\" badges. Extract Lins's rendering core, layer argument semantics on top.\n\n**The graph is a map, not the product** ([research/mobile-argument-ux.md](research/mobile-argument-ux.md)): The failure of every existing platform comes from treating the graph AS the interface. The graph is for orientation and analysis (desktop). The primary experience — especially on mobile — is argument-first: cards, feeds, conversational AI. Semantic zoom still matters, but as a navigation tool for the 10% of users who do deep analysis, not as the default experience for the 90% who consume and evaluate. This inverts the traditional argument-mapping UX assumption and aligns with Wikipedia's empirical usage pattern: 60% of engagement is at the summary level.\n\n**Cross-references**: [academic-foundations.md §Monk & van Gelder](academic-foundations.md) ↔ [research/graph-visualization.md](research/graph-visualization.md) ↔ [sketches.md §Argument Bundles](sketches.md) ↔ [inductive-reasoning-research.md §Uncertainty Visualization](inductive-reasoning-research.md) ↔ [research/mobile-argument-ux.md](research/mobile-argument-ux.md) ↔ [research/progressive-disclosure.md](research/progressive-disclosure.md)\n\n---\n\n## Thread 7: Gaming, Trust, and Epistemic Reputation\n\n**The adversarial design problem.** Any system that claims to approach truth will be attacked by those who benefit from untruth.\n\n| Source | Insight |\n|--------|---------|\n| Chat logs, Edvin 2011 (history) | \"There will be enormous incentives to game the system\" |\n| Chat logs, Fredrik 2012 (history) | \"About 100 ways for every feature the system could be miscalibrated\" |\n| Prediction markets (research/prediction-markets) | Betting with reputation — skin in the game. Metaculus calibration scores track reliability over time |\n| Shneiderman (academic-foundations) | Reader → Contributor → Collaborator → Leader progression. Design participation tiers |\n| Chat logs, Curtis 2012 (history) | \"Logic is universal\" — no domain-specific validators. But who validates the validators? |\n| Polis (research/polis) | Uses ANONYMOUS voting — identity doesn't attach to positions, reducing social gaming pressure |\n| Kialo (research/kialo) | Popularity-based ranking over logical soundness — a form of gaming that's built into the design |\n\n**The design principle**: Trust must be EARNED through demonstrated epistemic competence, not declared through credentials. Users who consistently make calibrated probability estimates, whose supported claims survive falsification, and whose arguments are independently validated by others accumulate \"epistemic capital.\" This capital weights their future contributions — a Metaculus-style track record applied to argument quality, not just prediction accuracy. **The Lean analogy deepens this**: in Lean, strangers collaborate on proofs without prior trust because the compiler verifies correctness. Deliberus needs an analogous mechanism: structural verification (NLI entailment, consistency checks, argument-type validation) enables trustless contribution to the argument skeleton, while content judgment still requires human review. This creates a participation model where the *structure* is machine-checked and the *meaning* is community-judged — matching Lean's separation between kernel (machine) and definitions (community). (See [research/lean-deliberus-analogies.md §5](research/lean-deliberus-analogies.md))\n\n**Concrete reputation architecture** ([research/epistemic-gamification.md](research/epistemic-gamification.md)): Four independent, non-aggregated signals (deliberately NO single reputation number — that's Stack Overflow's failure mode): (1) **Calibration score** — domain-specific, Brier-scored, strictly proper (cannot be gamed by misreporting beliefs), inspired by Metaculus's log scoring rule. (2) **Argument quality record** — cross-adversarial ratings weighted most heavily (a \"well-argued\" vote from someone who disagrees with your conclusion carries more weight). (3) **Intellectual honesty record** — delta count (r/ChangeMyView pattern: public belief revision earns credit, not shame) + revision history. (4) **Evidence contribution** — sourcing claims, linking data, providing citations. Privilege unlocks tied to demonstrated behaviors, not aggregate totals.\n\n**The fundamental UX primitive**: Separating \"do I agree?\" from \"is this well-argued?\" is the epistemically essential distinction that every social media platform collapses. LessWrong and EA Forum implemented this since 2022 with mixed results (cognitive overhead on free-form comments). For Deliberus the problem is simpler because content is structured as explicit claims — the voting surface is cleaner. This two-axis voting is also the prerequisite for detecting bridging arguments (Thread 5).\n\n**Cross-references**: [history.md §Design Insights #8-9](history.md) ↔ [research/prediction-markets-argumentation.md §Reputation](research/prediction-markets-argumentation.md) ↔ [academic-foundations.md §Shneiderman](academic-foundations.md) ↔ [research/epistemic-gamification.md](research/epistemic-gamification.md) ↔ [research/bridging-arguments.md](research/bridging-arguments.md)\n\n---\n\n## Thread 8: Consensus vs Truth-Seeking\n\n**The philosophical divide.** Deliberus's soul is truth-seeking, but the world wants consensus.\n\n| Source | Insight |\n|--------|---------|\n| Vision | \"Truth-seeking over persuasion\" — explicit anti-goal |\n| Habermas Machine (research/habermas) | Optimizes for consensus/APPROVAL — critics say it replaces deliberation with aggregation |\n| Mercier & Sperber (academic-foundations) | Group POLARIZATION occurs when all agree (no genuine debate). DEPOLARIZATION when they genuinely disagree. Consensus without disagreement = degraded reasoning |\n| Polis bridging statements (research/polis) | Finding what bridges opinion groups — consensus as emergent property, not optimized target |\n| Chat logs, Fredrik (history) | Framed as truth-seeking, but warned about miscalibration: \"any miscalibration means biased decisions\" |\n| AI Reflectors 2025 (research/habermas) | Output is explicitly NOT definitive but material for further deliberation — more aligned with Deliberus |\n| Vision, anti-goals | \"Post-polarization: both/and synthesis\" — not eliminating disagreement but making it productive |\n\n**The memetic immune system** (research/memetic-immune-system): Snelson (1993) coined \"ideological immune system.\" Dennett's \"division of doxastic labor\" (2006) describes how theologians pre-digest challenges for believers — the \"mama bird\" function. Kunnas (2026) models the population distribution: 5-10% true believers as immune cells, 30-40% deference majority. This is the DEMAND side of guru worship — people outsource epistemic labor because complexity exceeds individual capacity. Deliberus replaces black-box pre-digestion with transparent structured reasoning at user-chosen depth, preserving the epistemic division of labor while making it auditable. Open question: does dissolving the mama bird function risk dissolving the group cohesion it supports? (See [research/memetic-immune-system.md](research/memetic-immune-system.md))\n\n**The resolution**: Deliberus does NOT seek consensus. It seeks **clarity** — making the structure of disagreement visible, the quality of evidence assessable, and the value assumptions explicit. Consensus may emerge as a byproduct, but the system succeeds even when people disagree, as long as they understand WHY they disagree and WHERE the evidence points. This is closer to the AI Reflectors model than the Habermas Machine.\n\n**The Polis connection, extended**: Polis's \"bridging statements\" are genuinely valuable — they find common ground across opinion clusters without forcing consensus. But bridging *statements* are weaker than bridging *arguments* ([research/bridging-arguments.md](research/bridging-arguments.md)). A bridging statement tells you THAT groups agree; a bridging argument tells you WHY — which reasoning structures are compelling across divides. Deliberus surfaces bridging arguments as a feature without making consensus the goal. The value divergence insight (Haidt's Moral Foundations Theory): most deep disagreement is not \"different values\" but \"different value weights on shared values.\" Making the precise divergence point visible — the exact premise where reasoning paths fork — is Deliberus's distinctive contribution. This is structurally opposite to the Habermas Machine's approach of optimizing for approval.\n\n**Consensus vs non-zero-sum discovery** (Apr 6, 2026): The cooperation research clarifies the target. Deliberus should not optimize for agreement; it should optimize for discovering which parts of a conflict are genuinely zero-sum, which are mixed-motive, and which were only made to look zero-sum by semantic confusion, information asymmetry, or false polarization. That keeps the truth-seeking stance intact while explaining why the platform may unlock cooperation as a byproduct. See [research/non-zero-sum-economics-and-civilizational-cooperation.md](research/non-zero-sum-economics-and-civilizational-cooperation.md) and [research/trust-economics-and-false-polarization.md](research/trust-economics-and-false-polarization.md).\n\n**The feed as truth-seeking infrastructure** ([research/feed-algorithm-design.md](research/feed-algorithm-design.md)): The feed algorithm is where the consensus-vs-truth tension becomes concrete. Engagement-maximizing feeds amplify outrage (social media's failure); consensus-maximizing feeds surface bland agreement (Habermas Machine's failure). A truth-seeking feed should optimize for **Bayesian surprise** — content that maximally updates beliefs. Fishkin's Deliberative Polling shows ~70% of participants change views given balanced, structured information. Deliberus's feed should surface: (1) arguments most likely to change YOUR mind (personalized counter-arguments), (2) claims with high controversy and low evidence (contribution invitations), (3) bridging arguments (cross-group reasoning). The \"organic redraw\" from the sketches is a continuously-recomputed dashboard where arguments don't fall off because they're old, but because they've been superseded. Bluesky's algorithmic marketplace — letting communities define their own ranking criteria — is the best governance model for this.\n\n**Cross-references**: [vision.md §Anti-Goals](vision.md) ↔ [research/habermas-machine.md](research/habermas-machine.md) ↔ [academic-foundations.md §Mercier & Sperber](academic-foundations.md) ↔ [research/polis-deep-dive.md §Bridging](research/polis-deep-dive.md) ↔ [research/bridging-arguments.md](research/bridging-arguments.md) ↔ [research/feed-algorithm-design.md](research/feed-algorithm-design.md)\n\n---\n\n## The Meta-Thread: Why Now?\n\nEvery thread above has a \"2012 vs 2026\" transformation. The idea was right in 2008. The execution was impossible. What changed:\n\n| Capability | 2012 | 2026 |\n|-----------|------|------|\n| Claim extraction | Manual | Claimify, LLM argument mining |\n| Probability estimation | Human guessing | LLMs approaching superforecaster calibration |\n| Argument structure | Manual mapping | QBAFs with gradual semantics + NL grounding |\n| Deduplication | Keyword matching | Embedding similarity + LLM verification |\n| Counterargument generation | None | Multi-agent debate (MArgE) |\n| Real-time collaboration | Meteor (basic) | CRDTs (Yjs), WebSockets |\n| Graph visualization | Basic D3 | Sigma.js WebGL (100K+ nodes), semantic zoom |\n| Formal verification | Too rigid | Defeasible argumentation (ASPIC+, QBAFs) |\n| Scientific method | Manual | POPPER, AutoDiscovery |\n| Adoption friction | Prohibitive | LLMs absorb structuring burden |\n| Single-player utility | None (requires community) | \"Paste URL → argument map\" as personal thinking tool |\n| Mobile contribution | Impossible (too complex) | Voice → LLM → structured argument (30-second contribution) |\n| Bridging detection | Manual mediation | Cross-group reasoning quality scoring (novel) |\n| Epistemic reputation | Karma / follower count | Calibration scoring, strictly proper, domain-specific |\n| Feed curation | Chronological or engagement-maximizing | Bayesian surprise, algorithmic marketplace (Bluesky model) |\n\nThe simultaneous maturation of ALL these capabilities is what makes Deliberus viable now. Any single advance wouldn't suffice — it's the combinatorial explosion of capabilities that creates the opening.\n\n---\n\n## Research Update: Key Findings Per Thread (Mar 31, 2026)\n\nComprehensive web research on unbuilt features surfaced breakthroughs and validated approaches for each thread:\n\n- **Thread 4 (Dedup)**: CLEF CheckThat! 2025 solved claim normalization: embeddings → LLM confirmation. Never auto-merge — the \"same conclusion, different evidence\" distinction requires human judgment.\n- **Thread 5 (Probabilistic)**: QEM implemented (Potyka, KR 2018). Metaculus log scoring rule is the gold standard for calibration. \"What are users predicting?\" → epistemic assessment, not social prediction.\n- **Thread 6 (Visualization)**: Cytoscape.js with compound nodes is the best fit for semantic zoom. Conch (IEEE VIS 2025) demonstrates LLM-extracted hierarchical debate structure.\n- **Thread 7 (Gaming)**: LessWrong's two-axis voting (2022) validated after 3 years. Key: agree/disagree must NOT affect visibility. The \"high-quality + high-disagreement\" quadrant IS the bridging signal.\n- **Thread 8 (Consensus)**: Blair et al. (\"Structure of Bridging\") solves the formal problem with partition-agnostic pairwise disagreement metrics. The vagueness-bridging tension (Puig Larrauri 2025) is the central unsolved challenge — Deliberus's four-type classification is a structural countermeasure.\n\n**The critical path**: Two-axis voting → bridging detection → feed algorithm. Each generates the data the next needs.\n\nFull analysis: [research/unbuilt-features-research-mar31.md](research/unbuilt-features-research-mar31.md)\n\n### Implementation Update (Mar 31, 2026 — Session 8)\n\nThe critical path is now **built and validated with real data**:\n\n- **Thread 1 validated**: 7 extractions (5 URLs + 2 PDFs) produced 318 claims with zero user structuring effort. The Structure-Adoption Paradox resolution works — LLMs absorb structuring, users \"just paste.\"\n- **Thread 4 validated**: The `@[simp]` flywheel produces 93 cross-extraction auto-connect edges. Each new extraction discovers connections to existing claims. The graph gets denser and more valuable over time.\n- **Thread 5 validated**: QEM gradual semantics running. 372 CQs generated from 92 scheme-detected edges (backfilled after fixing Gemini `GENAI_TOOLS` vs `GENAI_STRUCTURED_OUTPUTS` incompatibility). The correction UX is live — answering CQs shifts QBAF badges.\n- **Thread 3 emerging**: \"Moral urgency\" (CRITERION — deontological duties vs long-termist utilitarianism) surfaced as a contested concept from PDF extraction. \"Intelligence\" spans 2 sources with 17 claims — the first cross-extraction semantic disambiguation moment.\n- **Thread 7 + Thread 8**: Agree/disagree voting + 8-mode epistemic feed built. Bridging mode (`disagreement_factor × QBAF_strength`) computable once vote data accumulates. Needs real users.\n\n---\n\n## Thread Interactions: Emergent Tensions (Session 7, Mar 29, 2026)\n\nA full-corpus review (all 47 research docs read by 5 parallel agents) surfaced emergent tensions that arise when threads INTERACT — not visible in individual threads alone:\n\n- **Adoption × Gaming** (Threads 1+7): Extrinsic motivation systematically corrupts the behavior it rewards. Calibration optimization may cause users to avoid genuinely uncertain territory. Gamification solves cold-start but may degrade expert-layer quality.\n- **Hybrid Intelligence × Consensus** (Threads 2+8): If the system aggregates opinion → surfaces content → shapes opinion → feedback loop, it develops ideological drift. Early adopter bias seeds baseline norms. LLM extraction biases apply consistent political lens.\n- **Fact/Value × Probabilistic** (Threads 3+5): \"70% likely we should ban X\" conflates sociological fact, empirical probability, moral uncertainty, and framework-conditional probability. These are different. Conflating them is conceptual confusion.\n- **Scalability Paradox**: Governance overhead grows faster than content. Evidence suggests systems strain past ~150 concurrent participants on one topic. The civilizational graph vision assumes scaling far beyond what's been demonstrated.\n- **AI Dependency Risk**: The entire adoption thesis rests on \"LLMs absorb the structuring burden.\" Quality plateau risk is real. More capable models make more sophisticated errors, not fewer.\n\nFull analysis in [research/session7-deep-review-and-strategic-assessment.md](research/session7-deep-review-and-strategic-assessment.md) §Cross-Thread Synthesis and [research/cross-thread-synthesis.md](research/cross-thread-synthesis.md).\n"}