Graph Architecture
The propose-verify-select cycle forms a reasoning graph ā a structured record of how Turbo thinks, proves, and decides.
Propose ā Verify ā Select as a Graph
Every Turbo query creates a directed acyclic graph (DAG) of reasoning. The prompt node fans out to candidate nodes, each connected to a verification node, which feeds into a scoring node. The best-scored candidate is selected as the final answer.
t=0.3
t=0.6
t=0.9
ā pass
ā pass
ā fail
Answer
Graph Node Types
The reasoning graph consists of five types of nodes, each representing a distinct phase of the Turbo pipeline:
- Prompt node: The root of each query sub-graph. Contains the original question and any context
- Candidate nodes: Fan out from the prompt ā one per temperature setting
- Verification nodes: One-to-one with candidates. Contain the test code and pass/fail result
- Score nodes: Fuzzy predicate scores (correctness, confidence, coherence)
- Selected node: The winning answer. Becomes context for future queries
The Graph Grows Over Time
Each query adds a new sub-graph to the overall reasoning graph. The selected answer from one query becomes context for the next, creating a knowledge chain:
This graph structure provides a complete audit trail of every decision. You can trace back through the graph to see exactly why any answer was selected, what alternatives were considered, and what verification evidence exists.
Graphs vs Linear Chains
Single path. No alternatives explored. No verification. Error in one step propagates to all subsequent steps. No way to backtrack or audit.
Multiple paths explored simultaneously. Each verified independently. Errors caught and filtered. Full audit trail. Knowledge compounds across queries.
- Parallelism: Graphs explore multiple solution paths simultaneously
- Error isolation: A bad candidate doesn't corrupt the others
- Auditability: Every decision can be traced and explained
- Context accumulation: Knowledge from verified answers compounds over time
- Resilience: If one path fails, others can still succeed
Relation to Knowledge Graphs
Turbo's reasoning graph shares principles with knowledge graphs used in modern AI systems:
- Structured knowledge: Facts and relationships stored as nodes and edges, not flat text
- Traversable reasoning: You can walk the graph to understand the chain of logic
- Composable: Sub-graphs from different queries can be connected when topics overlap
- Persistent memory: Unlike chat history (linear, lossy), graphs preserve the full reasoning structure
The Mikoshi team is researching cross-session graph persistence ā where verified knowledge from previous sessions can be reused without re-verification. Imagine: ask a question once, prove the answer, and never need to re-derive it. This is the foundation for truly cumulative AI intelligence.
See the reasoning graph in action
ā” Try Turbo in Synapse