Convergence

Structural analysis adapters for external agent orchestration systems.

The operon_ai.convergence package bridges 5 external agent frameworks (Swarms, DeerFlow, AnimaWorks, Ralph, A-Evolve) into Operon's structural analysis layer. All adapters operate on serializable dicts — no external dependencies.

Five-Layer Architecture

┌─────────────────────────────────────────────┐
│  A-Evolve (evolution layer)                 │
├─────────────────────────────────────────────┤
│  AnimaWorks (cognitive layer)               │
├─────────────────────────────────────────────┤
│  AsyncThink (thinking layer)                │
├─────────────────────────────────────────────┤
│  Ralph / DeerFlow / Swarms (orchestration)  │
├─────────────────────────────────────────────┤
│  Operon (structural layer)                  │
└─────────────────────────────────────────────┘

Phase C1 — Foundation Adapters

Type-level bridges to Swarms, DeerFlow, AnimaWorks, Ralph, and A-Evolve. All produce ExternalTopology, consumed by analyze_external_topology() to apply Operon's four epistemic theorems as a structural linter.

• parse_swarm_topology() — Swarms workflow patterns
• parse_animaworks_org() — AnimaWorks org hierarchies
• parse_deerflow_session() — DeerFlow session configs
• parse_ralph_config() — Ralph hat definitions
• parse_aevolve_workspace() — A-Evolve workspace manifests

Phase C2 — Template Exchange

Seed Operon's PatternLibrary from external catalogs:

• seed_library_from_swarms() — 10 built-in Swarms patterns
• seed_library_from_deerflow() — DeerFlow sessions
• seed_library_from_acg_survey() — 8 ACG survey method categories
• skill_to_template() / template_to_skill() — bidirectional DeerFlow bridge
• hybrid_skill_organism() — library-first + generator fallback

Phase C3 — Memory + Thinking

• PrimingView — multi-channel SubstrateView with trust, telemetry, experience
• bridge_animaworks_memory() / bridge_deerflow_memory() — import into BiTemporalMemory
• HeartbeatDaemon — idle-time consolidation
• AsyncOrganizer — Fork/Join execution within stages

Phase C4 — Formal Verification

• 4 TLA+ specs: TemplateExchangeProtocol, DevelopmentalGating, ConvergenceDetection, EvolutionGating
• EvolutionGating.tla — models the A-Evolve Solve→Observe→Evolve→Gate→Reload loop with monotonic score safety
• DesignProblem + compose_series/parallel + feedback_fixed_point — Zardini co-design

Phase C6 — Evaluation Harness

• 20 benchmark tasks across 7 configurations (single, pipeline, fan-out, fan-in, diamond, full, stress)
• MockEvaluator using real structural analysis (topology advice, epistemic bounds, pattern scoring)
• Structural variation analysis: measures how topology metrics change across task configurations
• Credit assignment: attributes evaluation outcomes to individual stage contributions

Phase C7 — Prompt Optimization + Workflow Generation

• PromptOptimizer protocol with NoOpOptimizer reference implementation; EvolutionaryOptimizer extended protocol
• attach_optimizer — attach optimizer to any SkillStage for prompt-level tuning
• WorkflowGenerator protocol with HeuristicGenerator reference implementation; ReasoningGenerator extended protocol
• generate_and_register — generate workflow topology and register it in PatternLibrary

Phase C8 — Harness Search + Live Evaluation (Planned)

Integrates Meta-Harness (Lee et al., Stanford/MIT 2026) insights: filesystem-backed trace stores for evolutionary search, Pareto convergence detection, causal diagnosis safety properties, and cross-framework harness template exchange.

• FilesystemOptimizer — extends EvolutionaryOptimizer with full-history filesystem access (source + traces + scores per candidate)
• HarnessSearchDP — wraps Meta-Harness outer loop as a Zardini DesignProblem
• LiveEvaluator — real LLM evaluation across Gemini API, Claude CLI, Codex CLI
• Pareto convergence criterion for ConvergenceDetection.tla
• Causal diagnosis safety property for EvolutionGating.tla

Examples

• 86–88: Adapter demos (Swarms, AnimaWorks, DeerFlow)
• 89–91: Template exchange, hybrid assembly, skill bridge
• 92–95: Memory bridge, PrimingView, heartbeat, async thinking
• 96: Co-design adapter composition
• 97–98: Ralph hat analysis, A-Evolve workspace analysis
• 99–103: Production runtime — 4 compilers and distributed watcher
• 104: Evaluation harness with MockEvaluator
• 105: Prompt optimization protocols
• 106: Workflow generation and registration
• 107: Live evaluation with real LLM providers