SRBN Architecture

The Stabilized Recursive Barrier Network (SRBN) is Perspt’s core innovation for autonomous coding with mathematically guaranteed stability.

Overview

SRBN ensures that AI-generated code converges to a stable state before being committed, using concepts from control theory (Lyapunov stability) and software verification (LSP, tests).

digraph srbn { rankdir=TB; compound=true; node [shape=box, style="rounded,filled", fontname="Helvetica", fontsize=10]; subgraph cluster_models { label="Model Tiers"; style=dashed; arch [label="Architect\n(Deep Reasoning)", fillcolor="#E8F5E9"]; act [label="Actuator\n(Code Generation)", fillcolor="#E3F2FD"]; ver [label="Verifier\n(Stability Check)", fillcolor="#F3E5F5"]; spec [label="Speculator\n(Fast Lookahead)", fillcolor="#FFF3E0"]; } subgraph cluster_barriers { label="Stability Barriers"; style=dashed; lsp [label="LSP\n(V_syn)", fillcolor="#FFECB3"]; tests [label="Tests\n(V_log)", fillcolor="#FFECB3"]; struct [label="Structure\n(V_str)", fillcolor="#FFECB3"]; } subgraph cluster_output { label="Output"; style=dashed; ledger [label="Merkle Ledger", fillcolor="#C8E6C9"]; } arch -> act; act -> lsp; act -> tests; act -> struct; lsp -> ver; tests -> ver; struct -> ver; ver -> act [label="retry", style=dashed]; ver -> ledger [label="stable"]; }

SRBN Architecture

The Control Loop

The SRBN control loop executes 5 phases for each task:

#

Phase

Description

1

Sheafification

Architect model decomposes task into a JSON TaskPlan with dependency graph

2

Speculation

Actuator model generates code for each node with tool calls (write_file, etc.)

3

Verification

Compute Lyapunov Energy V(x) from LSP diagnostics, structure, and tests

4

Convergence

If V(x) > ε, retry with error feedback; otherwise proceed

5

Commit

Record changes in Merkle Ledger with cryptographic integrity

Lyapunov Energy

The stability of generated code is measured using a Lyapunov energy function:

Energy Formula

V(x) = α·V_syn + β·V_str + γ·V_log

Default weights: α = 1.0, β = 0.5, γ = 2.0

Components

Component

Source

Description

V_syn

LSP Diagnostics

Count of errors and warnings from ty (Python type checker)

V_str

Structural Analysis

Code complexity, dead code, pattern violations

V_log

Test Failures

Weighted sum of pytest failures (critical tests have higher weight)

Convergence Criterion

The system is considered stable when:

\[V(x) \leq \varepsilon\]

Default: ε = 0.1

Model Tiers

SRBN uses multiple specialized models:

Tier

Purpose

Recommended Model

Architect

Deep reasoning, task decomposition

GPT-5.2, Claude Opus 4.5

Actuator

Code generation, tool calls

Claude Opus 4.5, GPT-5.2

Verifier

Stability analysis

Gemini 3 Pro

Speculator

Fast lookahead, branch prediction

Gemini 3 Flash, Groq Llama

Configure model tiers via CLI:

perspt agent \
  --architect-model gpt-5.2 \
  --actuator-model claude-opus-4.5 \
  --verifier-model gemini-3-pro \
  --speculator-model gemini-3-flash \
  "Build a REST API"

Retry Policy

SRBN implements bounded retries per PSP-0004:

Error Type

Max Retries

Escalation

Compilation errors (LSP)

3

Escalate to user with context

Tool failures (file ops)

5

Escalate with error logs

Review rejections

3

Escalate with diff summary

TaskPlan Structure

The Architect generates a JSON TaskPlan:

{
  "nodes": [
    {
      "id": 1,
      "description": "Create Calculator class",
      "type": "create",
      "files": ["calculator.py"],
      "dependencies": []
    },
    {
      "id": 2,
      "description": "Add arithmetic methods",
      "type": "modify",
      "files": ["calculator.py"],
      "dependencies": [1]
    },
    {
      "id": 3,
      "description": "Write unit tests",
      "type": "create",
      "files": ["test_calculator.py"],
      "dependencies": [2]
    }
  ]
}

Merkle Ledger

All changes are recorded in a Merkle tree for:

  • Integrity — Cryptographic verification of change history

  • Rollback — Revert to any previous state

  • Audit — Complete trail of AI-generated changes

# View recent commits
perspt ledger --recent

# Rollback to commit
perspt ledger --rollback abc123

# Statistics
perspt ledger --stats

See Also