kbs 0.0.1 → 0.2.0

data/docs/assets/images/kb-components.svg

@@ -0,0 +1,43 @@
+<svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 500 420">
+  <defs>
+    <style>
+      .outer-box { fill: none; stroke: #60a5fa; stroke-width: 2; }
+      .inner-box { fill: #1e293b; stroke: #94a3b8; stroke-width: 1.5; }
+      .text { fill: #e2e8f0; font-family: 'Courier New', monospace; font-size: 13px; }
+      .title { fill: #60a5fa; font-family: 'Courier New', monospace; font-size: 15px; font-weight: bold; }
+      .subtitle { fill: #94a3b8; font-family: 'Courier New', monospace; font-size: 11px; }
+      .arrow { stroke: #60a5fa; stroke-width: 2; fill: none; marker-end: url(#arrowhead); }
+    </style>
+    <marker id="arrowhead" markerWidth="10" markerHeight="10" refX="9" refY="3" orient="auto">
+      <polygon points="0 0, 10 3, 0 6" fill="#60a5fa" />
+    </marker>
+  </defs>
+
+  <!-- Outer container -->
+  <rect x="20" y="20" width="460" height="380" rx="5" class="outer-box"/>
+  <text x="250" y="45" text-anchor="middle" class="title">Knowledge Base</text>
+
+  <!-- DSL Layer -->
+  <rect x="50" y="60" width="400" height="70" rx="5" class="inner-box"/>
+  <text x="250" y="80" text-anchor="middle" class="text">DSL Layer (Your Interface)</text>
+  <text x="250" y="100" text-anchor="middle" class="subtitle">- rule(), fact(), run()</text>
+
+  <!-- Arrow DSL to Working Memory -->
+  <path d="M 250 130 L 250 155" class="arrow"/>
+
+  <!-- Working Memory -->
+  <rect x="50" y="155" width="400" height="70" rx="5" class="inner-box"/>
+  <text x="250" y="175" text-anchor="middle" class="text">Working Memory</text>
+  <text x="250" y="195" text-anchor="middle" class="subtitle">- Stores facts</text>
+  <text x="250" y="210" text-anchor="middle" class="subtitle">- Notifies observers</text>
+
+  <!-- Arrow Working Memory to RETE Engine -->
+  <path d="M 250 225 L 250 250" class="arrow"/>
+
+  <!-- RETE Engine -->
+  <rect x="50" y="250" width="400" height="90" rx="5" class="inner-box"/>
+  <text x="250" y="270" text-anchor="middle" class="text">RETE Engine</text>
+  <text x="250" y="290" text-anchor="middle" class="subtitle">- Pattern matching</text>
+  <text x="250" y="305" text-anchor="middle" class="subtitle">- Rule compilation</text>
+  <text x="250" y="320" text-anchor="middle" class="subtitle">- Inference execution</text>
+</svg>

data/docs/assets/images/pattern-matching-trace.svg

@@ -0,0 +1,136 @@
+<svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 1000 800" style="background: transparent;">
+  <defs>
+    <style>
+      .title { font: bold 18px monospace; fill: #e0e0e0; }
+      .phase-title { font: bold 16px monospace; fill: #bb86fc; }
+      .step-label { font: bold 13px monospace; fill: #cf6679; }
+      .node-label { font: 12px monospace; fill: #e0e0e0; }
+      .code-label { font: 11px monospace; fill: #03dac6; }
+      .comment { font: italic 11px monospace; fill: #888; }
+      .box { fill: #2d2d2d; stroke: #bb86fc; stroke-width: 2; }
+      .alpha-box { fill: #3d2d4d; stroke: #bb86fc; stroke-width: 2; }
+      .beta-box { fill: #2d3d3d; stroke: #03dac6; stroke-width: 2; }
+      .negation-box { fill: #4d2d2d; stroke: #cf6679; stroke-width: 2; }
+      .production-box { fill: #2d2d3d; stroke: #ffd700; stroke-width: 2; }
+      .flow-arrow { stroke: #cf6679; stroke-width: 2.5; fill: none; marker-end: url(#arrow); }
+      .inhibit-arrow { stroke: #ff5555; stroke-width: 2.5; fill: none; marker-end: url(#inhibit); stroke-dasharray: 5,3; }
+    </style>
+    <marker id="arrow" markerWidth="10" markerHeight="10" refX="9" refY="3" orient="auto">
+      <polygon points="0 0, 10 3, 0 6" fill="#cf6679" />
+    </marker>
+    <marker id="inhibit" markerWidth="10" markerHeight="10" refX="9" refY="3" orient="auto">
+      <polygon points="0 0, 10 3, 0 6" fill="#ff5555" />
+    </marker>
+  </defs>
+
+  <!-- Title -->
+  <text x="500" y="25" class="title" text-anchor="middle">Pattern Matching Trace: Negation Example</text>
+  <text x="500" y="45" class="code-label" text-anchor="middle">Rule: Alert when AAPL stock exists but NO alert exists</text>
+
+  <!-- Network Structure -->
+  <text x="30" y="80" class="phase-title">Network Structure:</text>
+
+  <!-- Root Beta Memory -->
+  <rect x="30" y="95" width="140" height="60" class="beta-box" rx="5"/>
+  <text x="100" y="120" class="node-label" text-anchor="middle">Root Beta</text>
+  <text x="100" y="137" class="code-label" text-anchor="middle">[dummy token]</text>
+
+  <!-- Alpha 1: stock -->
+  <rect x="220" y="95" width="140" height="60" class="alpha-box" rx="5"/>
+  <text x="290" y="115" class="node-label" text-anchor="middle">Alpha Memory 1</text>
+  <text x="290" y="132" class="code-label" text-anchor="middle">stock(symbol:</text>
+  <text x="290" y="147" class="code-label" text-anchor="middle">"AAPL")</text>
+
+  <!-- Join Node 1 -->
+  <rect x="30" y="185" width="140" height="50" class="box" rx="5"/>
+  <text x="100" y="215" class="node-label" text-anchor="middle">Join Node 1</text>
+
+  <!-- Beta Memory 1 -->
+  <rect x="30" y="265" width="140" height="60" class="beta-box" rx="5"/>
+  <text x="100" y="290" class="node-label" text-anchor="middle">Beta Memory 1</text>
+  <text x="100" y="307" class="code-label" text-anchor="middle">[partial matches]</text>
+
+  <!-- Alpha 2: alert -->
+  <rect x="220" y="265" width="140" height="60" class="alpha-box" rx="5"/>
+  <text x="290" y="285" class="node-label" text-anchor="middle">Alpha Memory 2</text>
+  <text x="290" y="302" class="code-label" text-anchor="middle">alert(symbol:</text>
+  <text x="290" y="317" class="code-label" text-anchor="middle">"AAPL")</text>
+
+  <!-- Negation Node -->
+  <rect x="30" y="355" width="140" height="50" class="negation-box" rx="5"/>
+  <text x="100" y="385" class="node-label" text-anchor="middle">Negation Node</text>
+
+  <!-- Production Node -->
+  <rect x="30" y="435" width="140" height="50" class="production-box" rx="5"/>
+  <text x="100" y="465" class="node-label" text-anchor="middle">Production Node</text>
+
+  <!-- Network connections -->
+  <path d="M 100 155 L 100 185" class="flow-arrow"/>
+  <path d="M 290 155 L 150 185" class="flow-arrow"/>
+  <path d="M 100 235 L 100 265" class="flow-arrow"/>
+  <path d="M 100 325 L 100 355" class="flow-arrow"/>
+  <path d="M 290 325 L 150 365" class="flow-arrow"/>
+  <path d="M 100 405 L 100 435" class="flow-arrow"/>
+
+  <!-- Phase 1: Add stock fact -->
+  <text x="450" y="80" class="phase-title">Phase 1: Add Stock Fact</text>
+  <rect x="450" y="95" width="520" height="140" class="box" rx="5"/>
+
+  <text x="470" y="115" class="step-label">1. engine.add_fact(:stock, symbol: "AAPL", price: 150)</text>
+
+  <text x="470" y="138" class="code-label">✓ Matches Alpha Memory 1 → activates</text>
+  <text x="470" y="155" class="code-label">✓ Join Node 1: joins stock fact with root token</text>
+  <text x="470" y="172" class="code-label">✓ Creates Token(parent: root, fact: stock_fact)</text>
+  <text x="470" y="189" class="code-label">✓ Propagates to Beta Memory 1</text>
+
+  <text x="470" y="210" class="step-label">2. Negation Node.left_activate(token)</text>
+  <text x="470" y="227" class="code-label">✓ Checks Alpha Memory 2: NO alert facts found</text>
+
+  <!-- Success indicator -->
+  <rect x="450" y="250" width="520" height="50" class="production-box" rx="5"/>
+  <text x="710" y="275" class="step-label" text-anchor="middle">✓ RULE FIRES: "No alert for AAPL!"</text>
+  <text x="710" y="292" class="comment" text-anchor="middle">Token propagates to Production Node</text>
+
+  <!-- Phase 2: Add alert fact -->
+  <text x="450" y="330" class="phase-title">Phase 2: Add Alert Fact (Inhibit)</text>
+  <rect x="450" y="345" width="520" height="140" class="box" rx="5"/>
+
+  <text x="470" y="365" class="step-label">3. engine.add_fact(:alert, symbol: "AAPL", level: "warning")</text>
+
+  <text x="470" y="388" class="code-label">✓ Matches Alpha Memory 2 → activates</text>
+  <text x="470" y="405" class="code-label">✓ Negation Node.right_activate(alert_fact)</text>
+  <text x="470" y="422" class="code-label">✓ Finds existing token in Beta Memory 1</text>
+  <text x="470" y="439" class="code-label">✓ Alert fact now INHIBITS the negation condition</text>
+
+  <text x="470" y="460" class="step-label">4. Negation Node deactivates token</text>
+  <text x="470" y="477" class="code-label">✓ Removes token from Production Node</text>
+
+  <!-- Blocked indicator -->
+  <rect x="450" y="500" width="520" height="50" class="negation-box" rx="5"/>
+  <text x="710" y="525" class="step-label" text-anchor="middle">✗ RULE BLOCKED: Alert exists, rule does not fire</text>
+  <text x="710" y="542" class="comment" text-anchor="middle">Negation condition no longer satisfied</text>
+
+  <!-- Phase 3: Remove alert fact -->
+  <text x="450" y="580" class="phase-title">Phase 3: Remove Alert Fact (Reactivate)</text>
+  <rect x="450" y="595" width="520" height="130" class="box" rx="5"/>
+
+  <text x="470" y="615" class="step-label">5. engine.remove_fact(alert_fact)</text>
+
+  <text x="470" y="638" class="code-label">✓ Alpha Memory 2 deactivates alert fact</text>
+  <text x="470" y="655" class="code-label">✓ Negation Node.right_deactivate(alert_fact)</text>
+  <text x="470" y="672" class="code-label">✓ No more inhibiting facts → condition satisfied again</text>
+  <text x="470" y="689" class="code-label">✓ Creates new token and propagates to Production Node</text>
+
+  <text x="470" y="710" class="step-label">6. engine.run()</text>
+
+  <!-- Success indicator -->
+  <rect x="450" y="740" width="520" height="50" class="production-box" rx="5"/>
+  <text x="710" y="765" class="step-label" text-anchor="middle">✓ RULE FIRES AGAIN: "No alert for AAPL!"</text>
+  <text x="710" y="782" class="comment" text-anchor="middle">Negation condition satisfied once more</text>
+
+  <!-- Legend -->
+  <text x="30" y="540" class="comment">Purple: Alpha Memories</text>
+  <text x="30" y="560" class="comment">Teal: Beta Memories</text>
+  <text x="30" y="580" class="comment">Pink: Negation Node</text>
+  <text x="30" y="600" class="comment">Gold: Production Node</text>
+</svg>

data/docs/assets/images/rete-network-layers.svg

@@ -0,0 +1,96 @@
+<svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 800 600" style="background: transparent;">
+  <defs>
+    <style>
+      .title { font: bold 18px monospace; fill: #e0e0e0; }
+      .layer-label { font: bold 14px monospace; fill: #bb86fc; }
+      .node-label { font: 12px monospace; fill: #e0e0e0; }
+      .node-box { fill: #2d2d2d; stroke: #bb86fc; stroke-width: 2; }
+      .beta-box { fill: #2d2d2d; stroke: #03dac6; stroke-width: 2; }
+      .production-box { fill: #2d2d2d; stroke: #cf6679; stroke-width: 2; }
+      .connection { stroke: #bb86fc; stroke-width: 2; fill: none; marker-end: url(#arrowhead); }
+      .beta-connection { stroke: #03dac6; stroke-width: 2; fill: none; marker-end: url(#arrowhead-teal); }
+      .section-label { font: bold 16px monospace; fill: #bb86fc; }
+    </style>
+    <marker id="arrowhead" markerWidth="10" markerHeight="10" refX="9" refY="3" orient="auto">
+      <polygon points="0 0, 10 3, 0 6" fill="#bb86fc" />
+    </marker>
+    <marker id="arrowhead-teal" markerWidth="10" markerHeight="10" refX="9" refY="3" orient="auto">
+      <polygon points="0 0, 10 3, 0 6" fill="#03dac6" />
+    </marker>
+  </defs>
+
+  <!-- Title -->
+  <text x="400" y="30" class="title" text-anchor="middle">RETE Network Architecture</text>
+
+  <!-- Layer 1: Alpha Network -->
+  <text x="20" y="80" class="section-label">Layer 1: ALPHA NETWORK</text>
+  <text x="20" y="100" class="node-label">(Pattern Matching)</text>
+
+  <!-- Alpha Memory Nodes -->
+  <rect x="50" y="120" width="180" height="80" class="node-box" rx="5"/>
+  <text x="140" y="145" class="layer-label" text-anchor="middle">Alpha Memory 1</text>
+  <text x="140" y="165" class="node-label" text-anchor="middle">Pattern: stock(</text>
+  <text x="140" y="182" class="node-label" text-anchor="middle">symbol: "AAPL")</text>
+
+  <rect x="270" y="120" width="180" height="80" class="node-box" rx="5"/>
+  <text x="360" y="145" class="layer-label" text-anchor="middle">Alpha Memory 2</text>
+  <text x="360" y="165" class="node-label" text-anchor="middle">Pattern: alert(</text>
+  <text x="360" y="182" class="node-label" text-anchor="middle">symbol: "AAPL")</text>
+
+  <rect x="490" y="120" width="180" height="80" class="node-box" rx="5"/>
+  <text x="580" y="145" class="layer-label" text-anchor="middle">Alpha Memory 3</text>
+  <text x="580" y="165" class="node-label" text-anchor="middle">Pattern: order(</text>
+  <text x="580" y="182" class="node-label" text-anchor="middle">quantity: 100)</text>
+
+  <!-- Layer 2: Beta Network -->
+  <text x="20" y="280" class="section-label">Layer 2: BETA NETWORK</text>
+  <text x="20" y="300" class="node-label">(Join Processing)</text>
+
+  <!-- Root Beta Memory -->
+  <rect x="50" y="240" width="140" height="60" class="beta-box" rx="5"/>
+  <text x="120" y="262" class="layer-label" text-anchor="middle">Root Beta</text>
+  <text x="120" y="282" class="layer-label" text-anchor="middle">Memory</text>
+
+  <!-- Connection from Root to Join Node 1 -->
+  <path d="M 120 300 L 120 330" class="beta-connection"/>
+  <path d="M 140 200 L 210 330" class="connection"/>
+
+  <!-- Join Node 1 -->
+  <rect x="160" y="330" width="120" height="60" class="node-box" rx="5"/>
+  <text x="220" y="355" class="layer-label" text-anchor="middle">Join Node 1</text>
+  <text x="220" y="375" class="node-label" text-anchor="middle">(stock ⋈ root)</text>
+
+  <!-- Beta Memory 1 -->
+  <rect x="170" y="410" width="100" height="50" class="beta-box" rx="5"/>
+  <text x="220" y="440" class="layer-label" text-anchor="middle">Beta Mem 1</text>
+
+  <!-- Connection from Join Node 1 to Beta Memory 1 -->
+  <path d="M 220 390 L 220 410" class="beta-connection"/>
+
+  <!-- Connection from Beta Memory 1 to Join Node 2 -->
+  <path d="M 220 460 L 220 490" class="beta-connection"/>
+  <path d="M 360 200 L 330 490" class="connection"/>
+
+  <!-- Join Node 2 -->
+  <rect x="270" y="490" width="120" height="60" class="node-box" rx="5"/>
+  <text x="330" y="515" class="layer-label" text-anchor="middle">Join Node 2</text>
+  <text x="330" y="535" class="node-label" text-anchor="middle">(alert ⋈ β1)</text>
+
+  <!-- Layer 3: Production Nodes -->
+  <text x="480" y="440" class="section-label">Layer 3: PRODUCTION</text>
+  <text x="480" y="460" class="node-label">(Rule Firing)</text>
+
+  <!-- Production Node -->
+  <rect x="480" y="490" width="160" height="80" class="production-box" rx="5"/>
+  <text x="560" y="515" class="layer-label" text-anchor="middle">Production Node</text>
+  <text x="560" y="535" class="node-label" text-anchor="middle">Rule:</text>
+  <text x="560" y="552" class="node-label" text-anchor="middle">"alert_action"</text>
+
+  <!-- Connection from Join Node 2 to Production Node -->
+  <path d="M 390 520 L 480 520" class="connection"/>
+
+  <!-- Legend -->
+  <text x="50" y="585" class="node-label">Purple: Alpha/Join Nodes</text>
+  <text x="280" y="585" class="node-label">Teal: Beta Memories</text>
+  <text x="500" y="585" class="node-label">Pink: Production Nodes</text>
+</svg>

data/docs/assets/images/rule-structure.svg

@@ -0,0 +1,44 @@
+<svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 520 380">
+  <defs>
+    <style>
+      .outer-box { fill: none; stroke: #60a5fa; stroke-width: 2; }
+      .inner-box { fill: #1e293b; stroke: #94a3b8; stroke-width: 1.5; }
+      .text { fill: #e2e8f0; font-family: 'Courier New', monospace; font-size: 13px; }
+      .title { fill: #60a5fa; font-family: 'Courier New', monospace; font-size: 16px; font-weight: bold; }
+      .subtitle { fill: #94a3b8; font-family: 'Courier New', monospace; font-size: 12px; }
+      .check { fill: #22c55e; font-size: 16px; }
+      .arrow { stroke: #60a5fa; stroke-width: 2; fill: none; marker-end: url(#arrowhead); }
+    </style>
+    <marker id="arrowhead" markerWidth="10" markerHeight="10" refX="9" refY="3" orient="auto">
+      <polygon points="0 0, 10 3, 0 6" fill="#60a5fa" />
+    </marker>
+  </defs>
+
+  <!-- Main container -->
+  <rect x="20" y="20" width="480" height="340" rx="5" class="outer-box"/>
+  <text x="260" y="45" text-anchor="middle" class="title">Rule: "high_temperature_alert"</text>
+
+  <!-- Metadata section -->
+  <rect x="40" y="60" width="440" height="80" rx="5" class="inner-box"/>
+  <text x="260" y="80" text-anchor="middle" class="title" font-size="14">METADATA</text>
+  <text x="80" y="105" class="subtitle">- Name: "high_temperature_alert"</text>
+  <text x="80" y="125" class="subtitle">- Description: "Alert when..."</text>
+  <text x="350" y="125" class="subtitle">- Priority: 10</text>
+
+  <!-- Conditions section -->
+  <rect x="40" y="155" width="440" height="80" rx="5" class="inner-box"/>
+  <text x="260" y="175" text-anchor="middle" class="title" font-size="14">CONDITIONS (IF)</text>
+  <text x="80" y="200" class="check">✓</text>
+  <text x="100" y="200" class="subtitle">temperature in server_room > 80°F</text>
+  <text x="80" y="220" class="check">✓</text>
+  <text x="100" y="220" class="subtitle">sensor in server_room is active</text>
+
+  <!-- Arrow -->
+  <path d="M 260 235 L 260 255" class="arrow"/>
+  <text x="290" y="250" class="subtitle">(when ALL match)</text>
+
+  <!-- Action section -->
+  <rect x="40" y="255" width="440" height="80" rx="5" class="inner-box"/>
+  <text x="260" y="275" text-anchor="middle" class="title" font-size="14">ACTION (THEN)</text>
+  <text x="80" y="300" class="subtitle">→ send_alert(...)</text>
+</svg>

data/docs/assets/images/system-layers.svg

@@ -0,0 +1,69 @@
+<svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 800 700" style="background: transparent;">
+  <defs>
+    <style>
+      .title { font: bold 16px monospace; fill: #e0e0e0; }
+      .layer-title { font: bold 14px monospace; fill: #bb86fc; }
+      .label { font: 12px monospace; fill: #e0e0e0; }
+      .layer-box { fill: #2d2d2d; stroke: #bb86fc; stroke-width: 2; }
+      .storage-box { fill: #2d3d3d; stroke: #03dac6; stroke-width: 2; }
+      .arrow { stroke: #bb86fc; stroke-width: 3; fill: none; marker-end: url(#arrowhead); }
+    </style>
+    <marker id="arrowhead" markerWidth="10" markerHeight="10" refX="9" refY="3" orient="auto">
+      <polygon points="0 0, 10 3, 0 6" fill="#bb86fc" />
+    </marker>
+  </defs>
+
+  <!-- Title -->
+  <text x="400" y="30" class="title" text-anchor="middle">KBS System Layers</text>
+
+  <!-- Application Layer -->
+  <rect x="100" y="60" width="600" height="70" class="layer-box" rx="8"/>
+  <text x="400" y="90" class="layer-title" text-anchor="middle">Application Layer</text>
+  <text x="400" y="110" class="label" text-anchor="middle">(Your Rules, Facts, and Business Logic)</text>
+
+  <!-- Arrow -->
+  <path d="M 400 130 L 400 160" class="arrow"/>
+
+  <!-- DSL Layer -->
+  <rect x="100" y="160" width="600" height="70" class="layer-box" rx="8"/>
+  <text x="400" y="190" class="layer-title" text-anchor="middle">DSL Layer</text>
+  <text x="400" y="210" class="label" text-anchor="middle">(Declarative Rule Definition and Pattern Matching)</text>
+
+  <!-- Arrow -->
+  <path d="M 400 230 L 400 260" class="arrow"/>
+
+  <!-- RETE Engine -->
+  <rect x="100" y="260" width="600" height="70" class="layer-box" rx="8"/>
+  <text x="400" y="290" class="layer-title" text-anchor="middle">RETE Engine</text>
+  <text x="400" y="310" class="label" text-anchor="middle">(Alpha/Beta Networks, Join Nodes, Productions)</text>
+
+  <!-- Arrow -->
+  <path d="M 400 330 L 400 360" class="arrow"/>
+
+  <!-- Working Memory Layer -->
+  <rect x="100" y="360" width="600" height="70" class="layer-box" rx="8"/>
+  <text x="400" y="390" class="layer-title" text-anchor="middle">Working Memory Layer</text>
+  <text x="400" y="410" class="label" text-anchor="middle">(Transient or Persistent Fact Storage)</text>
+
+  <!-- Fork Arrow -->
+  <path d="M 400 430 L 400 460" class="arrow"/>
+  <path d="M 400 460 L 250 460 L 250 500" class="arrow"/>
+  <path d="M 400 460 L 550 460 L 550 500" class="arrow"/>
+
+  <!-- In-Memory Store -->
+  <rect x="120" y="500" width="260" height="120" class="storage-box" rx="8"/>
+  <text x="250" y="530" class="layer-title" text-anchor="middle">In-Memory Store</text>
+  <text x="250" y="555" class="label" text-anchor="middle">(WorkingMemory)</text>
+  <text x="250" y="580" class="label" text-anchor="middle">✓ Fast</text>
+  <text x="250" y="600" class="label" text-anchor="middle">✓ Simple</text>
+
+  <!-- Blackboard System -->
+  <rect x="420" y="500" width="260" height="120" class="storage-box" rx="8"/>
+  <text x="550" y="530" class="layer-title" text-anchor="middle">Blackboard System</text>
+  <text x="550" y="555" class="label" text-anchor="middle">(SQLite/Redis/Hybrid)</text>
+  <text x="550" y="580" class="label" text-anchor="middle">✓ Persistent</text>
+  <text x="550" y="600" class="label" text-anchor="middle">✓ Auditable</text>
+
+  <!-- Legend -->
+  <text x="400" y="660" class="label" text-anchor="middle" style="font-style: italic; fill: #888;">Fact flow from top to bottom, storage choice at bottom</text>
+</svg>

data/docs/assets/images/trading-signal-network.svg

@@ -0,0 +1,139 @@
+<svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 700 1100" style="background: transparent;">
+  <defs>
+    <style>
+      .title { font: bold 16px monospace; fill: #e0e0e0; }
+      .node-title { font: bold 11px monospace; fill: #bb86fc; }
+      .label { font: 10px monospace; fill: #e0e0e0; }
+      .detail { font: 9px monospace; fill: #888; font-style: italic; }
+      .beta-box { fill: #2d3d4d; stroke: #03dac6; stroke-width: 2; }
+      .alpha-box { fill: #3d2d4d; stroke: #bb86fc; stroke-width: 2; }
+      .join-box { fill: #2d4d3d; stroke: #4daf50; stroke-width: 2; }
+      .neg-box { fill: #4d2d2d; stroke: #cf6679; stroke-width: 2; }
+      .prod-box { fill: #4d4d2d; stroke: #ffa500; stroke-width: 2; }
+      .arrow { stroke: #03dac6; stroke-width: 2; fill: none; marker-end: url(#arrowhead-beta); }
+      .arrow-alpha { stroke: #bb86fc; stroke-width: 2; fill: none; marker-end: url(#arrowhead-alpha); }
+    </style>
+    <marker id="arrowhead-beta" markerWidth="10" markerHeight="10" refX="9" refY="3" orient="auto">
+      <polygon points="0 0, 10 3, 0 6" fill="#03dac6" />
+    </marker>
+    <marker id="arrowhead-alpha" markerWidth="10" markerHeight="10" refX="9" refY="3" orient="auto">
+      <polygon points="0 0, 10 3, 0 6" fill="#bb86fc" />
+    </marker>
+  </defs>
+
+  <!-- Title -->
+  <text x="350" y="30" class="title" text-anchor="middle">Trading Signal Network</text>
+  <text x="350" y="50" class="detail" text-anchor="middle">3-condition rule with negation and variable bindings</text>
+
+  <!-- Root Beta Memory -->
+  <rect x="200" y="80" width="300" height="60" class="beta-box" rx="5"/>
+  <text x="350" y="105" class="node-title" text-anchor="middle">Root Beta Memory</text>
+  <text x="350" y="125" class="label" text-anchor="middle">[Token(parent: nil, fact: nil)]</text>
+
+  <!-- Arrow to JoinNode1 -->
+  <path d="M 280 140 L 280 190" class="arrow"/>
+
+  <!-- AlphaMemory(:stock) on right -->
+  <rect x="520" y="150" width="160" height="80" class="alpha-box" rx="5"/>
+  <text x="600" y="175" class="node-title" text-anchor="middle">AlphaMemory</text>
+  <text x="600" y="195" class="label" text-anchor="middle">:stock</text>
+  <text x="600" y="210" class="detail" text-anchor="middle">pattern: {symbol: :sym?,</text>
+  <text x="600" y="222" class="detail" text-anchor="middle">price: :price?}</text>
+
+  <!-- Arrow from alpha to join -->
+  <path d="M 520 190 L 370 210" class="arrow-alpha"/>
+
+  <!-- JoinNode1 -->
+  <rect x="200" y="190" width="170" height="50" class="join-box" rx="5"/>
+  <text x="285" y="212" class="node-title" text-anchor="middle">JoinNode1</text>
+  <text x="285" y="228" class="label" text-anchor="middle">(test: none)</text>
+
+  <!-- Arrow to BetaMemory1 -->
+  <path d="M 285 240 L 285 280" class="arrow"/>
+
+  <!-- BetaMemory1 -->
+  <rect x="170" y="280" width="230" height="60" class="beta-box" rx="5"/>
+  <text x="285" y="305" class="node-title" text-anchor="middle">BetaMemory1</text>
+  <text x="285" y="325" class="label" text-anchor="middle">[Token(parent: root, fact: stock(...))]</text>
+
+  <!-- Arrow to JoinNode2 -->
+  <path d="M 290 340 L 290 390" class="arrow"/>
+
+  <!-- AlphaMemory(:threshold) on right -->
+  <rect x="520" y="360" width="160" height="80" class="alpha-box" rx="5"/>
+  <text x="600" y="385" class="node-title" text-anchor="middle">AlphaMemory</text>
+  <text x="600" y="405" class="label" text-anchor="middle">:threshold</text>
+  <text x="600" y="420" class="detail" text-anchor="middle">pattern: {symbol: :sym?,</text>
+  <text x="600" y="432" class="detail" text-anchor="middle">buy_below: :threshold?}</text>
+
+  <!-- Arrow from alpha to join -->
+  <path d="M 520 400 L 380 420" class="arrow-alpha"/>
+
+  <!-- JoinNode2 -->
+  <rect x="200" y="390" width="180" height="60" class="join-box" rx="5"/>
+  <text x="290" y="415" class="node-title" text-anchor="middle">JoinNode2</text>
+  <text x="290" y="435" class="label" text-anchor="middle">(test: :sym? equality)</text>
+
+  <!-- Arrow to BetaMemory2 -->
+  <path d="M 290 450 L 290 490" class="arrow"/>
+
+  <!-- BetaMemory2 -->
+  <rect x="130" y="490" width="320" height="60" class="beta-box" rx="5"/>
+  <text x="290" y="515" class="node-title" text-anchor="middle">BetaMemory2</text>
+  <text x="290" y="535" class="label" text-anchor="middle">[Token(parent: token1, fact: threshold(...))]</text>
+
+  <!-- Arrow to NegationNode -->
+  <path d="M 295 550 L 295 600" class="arrow"/>
+
+  <!-- AlphaMemory(:order) on right -->
+  <rect x="520" y="580" width="160" height="70" class="alpha-box" rx="5"/>
+  <text x="600" y="605" class="node-title" text-anchor="middle">AlphaMemory</text>
+  <text x="600" y="625" class="label" text-anchor="middle">:order</text>
+  <text x="600" y="640" class="detail" text-anchor="middle">pattern: {symbol: :sym?}</text>
+
+  <!-- Arrow from alpha to negation -->
+  <path d="M 520 615 L 410 625" class="arrow-alpha"/>
+
+  <!-- NegationNode -->
+  <rect x="190" y="600" width="220" height="60" class="neg-box" rx="5"/>
+  <text x="300" y="625" class="node-title" text-anchor="middle">NegationNode</text>
+  <text x="300" y="645" class="label" text-anchor="middle">(test: :sym? equality)</text>
+
+  <!-- Arrow to BetaMemory3 -->
+  <path d="M 300 660 L 300 700" class="arrow"/>
+
+  <!-- BetaMemory3 -->
+  <rect x="150" y="700" width="300" height="60" class="beta-box" rx="5"/>
+  <text x="300" y="725" class="node-title" text-anchor="middle">BetaMemory3</text>
+  <text x="300" y="745" class="label" text-anchor="middle">[Token(parent: token2, fact: nil)]</text>
+
+  <!-- Arrow to ProductionNode -->
+  <path d="M 300 760 L 300 810" class="arrow"/>
+
+  <!-- ProductionNode -->
+  <rect x="160" y="810" width="280" height="90" class="prod-box" rx="5"/>
+  <text x="300" y="840" class="node-title" text-anchor="middle">ProductionNode</text>
+  <text x="300" y="860" class="label" text-anchor="middle">(rule: "trading_signal")</text>
+  <text x="300" y="880" class="detail" text-anchor="middle">Action: if price &lt; threshold,</text>
+  <text x="300" y="892" class="detail" text-anchor="middle">BUY symbol</text>
+
+  <!-- Legend -->
+  <text x="50" y="970" class="label" style="font-size: 11px;">Network Flow:</text>
+  <text x="50" y="990" class="detail">1. Dummy token starts at root</text>
+  <text x="50" y="1005" class="detail">2. Join with :stock facts → tokens in Beta1</text>
+  <text x="50" y="1020" class="detail">3. Join with :threshold (test :sym?) → tokens in Beta2</text>
+  <text x="50" y="1035" class="detail">4. Check NO :order exists (test :sym?) → tokens in Beta3</text>
+  <text x="50" y="1050" class="detail">5. Tokens reach production node → rule can fire</text>
+
+  <text x="50" y="1080" class="label" style="font-size: 11px;">Color Key:</text>
+  <rect x="150" y="1068" width="30" height="15" class="beta-box" rx="2"/>
+  <text x="185" y="1080" class="detail">Beta</text>
+  <rect x="230" y="1068" width="30" height="15" class="alpha-box" rx="2"/>
+  <text x="265" y="1080" class="detail">Alpha</text>
+  <rect x="310" y="1068" width="30" height="15" class="join-box" rx="2"/>
+  <text x="345" y="1080" class="detail">Join</text>
+  <rect x="390" y="1068" width="30" height="15" class="neg-box" rx="2"/>
+  <text x="425" y="1080" class="detail">Negation</text>
+  <rect x="490" y="1068" width="30" height="15" class="prod-box" rx="2"/>
+  <text x="525" y="1080" class="detail">Production</text>
+</svg>

data/docs/assets/js/mathjax.js

@@ -0,0 +1,17 @@
+// MathJax configuration for KBS documentation
+window.MathJax = {
+  tex: {
+    inlineMath: [["\\(", "\\)"]],
+    displayMath: [["\\[", "\\]"]],
+    processEscapes: true,
+    processEnvironments: true
+  },
+  options: {
+    ignoreHtmlClass: ".*|",
+    processHtmlClass: "arithmatex"
+  }
+};
+
+document$.subscribe(() => {
+  MathJax.typesetPromise()
+})