<?xml version="1.0" encoding="UTF-8"?>
<rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom" xmlns:dc="http://purl.org/dc/elements/1.1/">
  <channel>
    <title>DEV Community: Satvik Mishra</title>
    <description>The latest articles on DEV Community by Satvik Mishra (@satvik-19).</description>
    <link>https://dev.to/satvik-19</link>
    <image>
      <url>https://media2.dev.to/dynamic/image/width=90,height=90,fit=cover,gravity=auto,format=auto/https:%2F%2Fdev-to-uploads.s3.us-east-2.amazonaws.com%2Fuploads%2Fuser%2Fprofile_image%2F4036577%2F7a92ea2a-9052-4fdc-8094-439e9ca77a86.jpg</url>
      <title>DEV Community: Satvik Mishra</title>
      <link>https://dev.to/satvik-19</link>
    </image>
    <atom:link rel="self" type="application/rss+xml" href="https://dev.to/feed/satvik-19"/>
    <language>en</language>
    <item>
      <title>KNOT — an experimental reasoning architecture that argues with itself (first prototype showcase)</title>
      <dc:creator>Satvik Mishra</dc:creator>
      <pubDate>Sun, 19 Jul 2026 13:41:52 +0000</pubDate>
      <link>https://dev.to/satvik-19/knot-an-experimental-reasoning-architecture-that-argues-with-itself-first-prototype-showcase-29l5</link>
      <guid>https://dev.to/satvik-19/knot-an-experimental-reasoning-architecture-that-argues-with-itself-first-prototype-showcase-29l5</guid>
      <description>&lt;p&gt;Meet the &lt;em&gt;knot&lt;/em&gt;. I spent a month making him argue with himself.&lt;br&gt;
&lt;a href="https://media2.dev.to/dynamic/image/width=800%2Cheight=%2Cfit=scale-down%2Cgravity=auto%2Cformat=auto/https%3A%2F%2Fdev-to-uploads.s3.us-east-2.amazonaws.com%2Fuploads%2Farticles%2Fh3mkynf8uexyafduxct8.png" class="article-body-image-wrapper"&gt;&lt;img src="https://media2.dev.to/dynamic/image/width=800%2Cheight=%2Cfit=scale-down%2Cgravity=auto%2Cformat=auto/https%3A%2F%2Fdev-to-uploads.s3.us-east-2.amazonaws.com%2Fuploads%2Farticles%2Fh3mkynf8uexyafduxct8.png" alt=" " width="800" height="600"&gt;&lt;/a&gt;&lt;/p&gt;

&lt;p&gt;This is &lt;em&gt;KNOT&lt;/em&gt;, and this is its first public prototype showcase — one month of building, breaking, and rebuilding, and it's finally at a place worth writing up properly.&lt;/p&gt;

&lt;p&gt;&lt;em&gt;KNOT&lt;/em&gt; isn't a chatbot. It's an experiment in making reasoning itself inspectable — a system built to examine how a claim is reasoned about, not just what conclusion comes out the other end.&lt;/p&gt;

&lt;h2&gt;
  
  
  Why
&lt;/h2&gt;

&lt;p&gt;Most LLM tooling optimizes for a good final answer. KNOT does the opposite on purpose: it slows down, surfaces the assumptions a claim depends on, runs adversarial agents against each other, and refuses to collapse a genuine contradiction into a fake resolution just because a fake resolution sounds cleaner.&lt;/p&gt;

&lt;p&gt;The clearest way to show that wasn't a diagram — it was to point KNOT at itself and let it run.&lt;/p&gt;

&lt;p&gt;&lt;strong&gt;What's actually in the carousel below&lt;/strong&gt;&lt;br&gt;
This isn't a UI mockup and nothing here is fabricated for effect. Every slide is reconstructed from an actual reasoning trace, produced by running KNOT against one of its own design principles: should a system built to interrogate contradiction be trusted to interrogate itself?&lt;br&gt;
The visuals are mine. The reasoning traces are KNOT's.&lt;/p&gt;

&lt;p&gt;&lt;a href="https://media2.dev.to/dynamic/image/width=800%2Cheight=%2Cfit=scale-down%2Cgravity=auto%2Cformat=auto/https%3A%2F%2Fdev-to-uploads.s3.us-east-2.amazonaws.com%2Fuploads%2Farticles%2Fx6ddufoutyf9kxrbuzjp.png" class="article-body-image-wrapper"&gt;&lt;img src="https://media2.dev.to/dynamic/image/width=800%2Cheight=%2Cfit=scale-down%2Cgravity=auto%2Cformat=auto/https%3A%2F%2Fdev-to-uploads.s3.us-east-2.amazonaws.com%2Fuploads%2Farticles%2Fx6ddufoutyf9kxrbuzjp.png" alt=" " width="800" height="600"&gt;&lt;/a&gt;&lt;br&gt;
&lt;a href="https://media2.dev.to/dynamic/image/width=800%2Cheight=%2Cfit=scale-down%2Cgravity=auto%2Cformat=auto/https%3A%2F%2Fdev-to-uploads.s3.us-east-2.amazonaws.com%2Fuploads%2Farticles%2Fzfl1fp0f4ifvem59v5x6.png" class="article-body-image-wrapper"&gt;&lt;img src="https://media2.dev.to/dynamic/image/width=800%2Cheight=%2Cfit=scale-down%2Cgravity=auto%2Cformat=auto/https%3A%2F%2Fdev-to-uploads.s3.us-east-2.amazonaws.com%2Fuploads%2Farticles%2Fzfl1fp0f4ifvem59v5x6.png" alt=" " width="800" height="600"&gt;&lt;/a&gt;&lt;br&gt;
&lt;a href="https://media2.dev.to/dynamic/image/width=800%2Cheight=%2Cfit=scale-down%2Cgravity=auto%2Cformat=auto/https%3A%2F%2Fdev-to-uploads.s3.us-east-2.amazonaws.com%2Fuploads%2Farticles%2F2d59n3gm43ixdqvhe91i.png" class="article-body-image-wrapper"&gt;&lt;img src="https://media2.dev.to/dynamic/image/width=800%2Cheight=%2Cfit=scale-down%2Cgravity=auto%2Cformat=auto/https%3A%2F%2Fdev-to-uploads.s3.us-east-2.amazonaws.com%2Fuploads%2Farticles%2F2d59n3gm43ixdqvhe91i.png" alt=" " width="800" height="600"&gt;&lt;/a&gt;&lt;br&gt;
&lt;a href="https://media2.dev.to/dynamic/image/width=800%2Cheight=%2Cfit=scale-down%2Cgravity=auto%2Cformat=auto/https%3A%2F%2Fdev-to-uploads.s3.us-east-2.amazonaws.com%2Fuploads%2Farticles%2Ftj27ohxbvscik6ou1y2x.png" class="article-body-image-wrapper"&gt;&lt;img src="https://media2.dev.to/dynamic/image/width=800%2Cheight=%2Cfit=scale-down%2Cgravity=auto%2Cformat=auto/https%3A%2F%2Fdev-to-uploads.s3.us-east-2.amazonaws.com%2Fuploads%2Farticles%2Ftj27ohxbvscik6ou1y2x.png" alt=" " width="800" height="600"&gt;&lt;/a&gt;&lt;br&gt;
&lt;a href="https://media2.dev.to/dynamic/image/width=800%2Cheight=%2Cfit=scale-down%2Cgravity=auto%2Cformat=auto/https%3A%2F%2Fdev-to-uploads.s3.us-east-2.amazonaws.com%2Fuploads%2Farticles%2Fda2ot9q19srhsmluiyx0.png" class="article-body-image-wrapper"&gt;&lt;img src="https://media2.dev.to/dynamic/image/width=800%2Cheight=%2Cfit=scale-down%2Cgravity=auto%2Cformat=auto/https%3A%2F%2Fdev-to-uploads.s3.us-east-2.amazonaws.com%2Fuploads%2Farticles%2Fda2ot9q19srhsmluiyx0.png" alt=" " width="800" height="600"&gt;&lt;/a&gt;&lt;/p&gt;

&lt;h2&gt;
  
  
  Architecture
&lt;/h2&gt;

&lt;p&gt;The current prototype stitches together local LLM inference, semantic retrieval, contradiction detection, rule-based reasoning, and persistent reasoning artifacts into a single pipeline.&lt;/p&gt;

&lt;p&gt;&lt;strong&gt;Stack:&lt;/strong&gt;&lt;/p&gt;

&lt;ul&gt;
&lt;li&gt;Backend: FastAPI + Python&lt;/li&gt;
&lt;li&gt;Inference: Ollama-hosted local LLMs (no external API calls in the reasoning loop)&lt;/li&gt;
&lt;li&gt;Semantic similarity: Sentence-Transformers&lt;/li&gt;
&lt;li&gt;Contradiction detection: DeBERTa-v3 NLI&lt;/li&gt;
&lt;li&gt;Reasoning control flow: rule-based routing between reasoning stages&lt;/li&gt;
&lt;li&gt;Persistence layer: reasoning artifacts I call "Paradox Seeds" — atomic, storable units of a reasoning episode, not just the final output&lt;/li&gt;
&lt;li&gt;Evaluation: structured pipeline for benchmarking and regression testing, still being hardened&lt;/li&gt;
&lt;/ul&gt;

&lt;p&gt;Reasoning pipeline, roughly:&lt;/p&gt;

&lt;ol&gt;
&lt;li&gt;Shadow Recovery — reconstructs the suppressed claim, cost, or consequence the original framing depends on leaving unspoken&lt;/li&gt;
&lt;li&gt;Fight Club — two adversarial agents (Axiom, a structural adversary that attacks hidden assumptions and false equivalences; Virtus, a human-cost witness that tracks who gets made invisible when an argument becomes efficient) argue directly, including rebuttals, not parallel monologues&lt;/li&gt;
&lt;li&gt;Forge — compresses the two positions until the unresolved core becomes impossible to evade, rather than averaging them into a bland synthesis&lt;/li&gt;
&lt;li&gt;DoubleSpace — holds two genuinely incompatible truths active at once, without subordinating either&lt;/li&gt;
&lt;li&gt;Belief Autopsy — compares the system's initial claim against what examination exposed, and names the defense mechanism the original claim was using to protect itself&lt;/li&gt;
&lt;li&gt;Archive — the case, including everything unresolved, gets persisted as a lineage artifact instead of discarded once an answer is reached&lt;/li&gt;
&lt;/ol&gt;

&lt;p&gt;What I actually learned pointing it at itself&lt;br&gt;
The most useful output wasn't a clean answer. It was this line, which KNOT produced when I asked it whether a system that remembers your contradictions should be trusted to also judge them:&lt;/p&gt;

&lt;blockquote&gt;
&lt;p&gt;&lt;em&gt;"The danger isn't that KNOT remembers. The danger is that remembering can become judging."&lt;/em&gt;&lt;/p&gt;
&lt;/blockquote&gt;

&lt;p&gt;That's the kind of finding that's hard to get a model to produce honestly when it's being asked to evaluate itself — the easy failure mode is a system that either praises its own design or performs fake self-criticism. Getting Belief Autopsy to actually name a real defense mechanism, rather than a token concession, took several iterations of prompt and pipeline design.&lt;/p&gt;

&lt;h2&gt;
  
  
  Where it actually is right now
&lt;/h2&gt;

&lt;p&gt;Being straight about this: KNOT is an early research prototype, not a finished product.&lt;br&gt;
Built and being stress-tested:&lt;/p&gt;

&lt;ul&gt;
&lt;li&gt;Contradiction detection and Shadow Recovery&lt;/li&gt;
&lt;li&gt;Adversarial synthesis (Fight Club, Forge, DoubleSpace)&lt;/li&gt;
&lt;li&gt;Belief Autopsy&lt;/li&gt;
&lt;li&gt;Persistent reasoning artifacts (Paradox Seeds)&lt;/li&gt;
&lt;/ul&gt;

&lt;p&gt;Still on the drawing board:&lt;/p&gt;

&lt;ul&gt;
&lt;li&gt;Longitudinal memory across sessions&lt;/li&gt;
&lt;li&gt;Identity drift detection over time&lt;/li&gt;
&lt;li&gt;Temporal/future-projection reasoning modules&lt;/li&gt;
&lt;/ul&gt;

&lt;p&gt;&lt;strong&gt;Not released. Not open source — yet.&lt;/strong&gt; I'm validating the core reasoning architecture properly before I think seriously about public access, rather than shipping something half-proven because a launch feels good.&lt;/p&gt;

&lt;h2&gt;
  
  
  If you're working in this space
&lt;/h2&gt;

&lt;p&gt;I'd genuinely like to compare notes with anyone working on reasoning systems, LLM evaluation, contradiction/consistency detection, or cognitive architectures more broadly. Happy to go deeper on any part of the pipeline in the comments — including the parts that didn't work on the first few tries.&lt;/p&gt;

</description>
      <category>ai</category>
      <category>python</category>
      <category>machinelearning</category>
      <category>llm</category>
    </item>
  </channel>
</rss>
