Skip to content

ROADMAP.adoc

Latest commit

 

History

History
337 lines (249 loc) · 9.97 KB

ROADMAP.adoc

File metadata and controls

337 lines (249 loc) · 9.97 KB

PanLL eNSAID — Development Roadmap

Table of Contents

What PanLL Is

PanLL is an eNSAID — Environment for NeSy-Agentic Integrated Development.

It is a three-pane neurosymbolic workbench for design, develop, do, and evaluate workflows across programming languages, databases, and protocols. Each pane serves a distinct cognitive role:

Pane Role Grounded In

Panel-L (Symbolic Mass)

Constraints, properties, formal guarantees

proven Safe* types, protocol-squisher compatibility classes, contractiles Mustfile/Trustfile contracts

Panel-N (Neural Stream)

Agent reasoning, proof search, inference

ECHIDNA theorem prover (30 backends), hypatia rule engine, gitbot-fleet orchestration

Panel-W (World / Barycentre)

Verified results, event chains, system state

panic-attack assault reports, reposystem graph + plans, VeriSimDB hexad queries, stapeln stack designs

PanLL is not a generic IDE, framework, or platform. It is a personal neurosymbolic workbench — a multi-monitor trader desk with formal verification behind each panel.

Current State (2026-03-29)

Metrics

  • 677 ReScript source files across src/

  • 123 panel components in src/components/

  • 615+ modules total (ReScript + Rust + Elixir)

  • 2462 tests (Deno.test + Rust backend)

  • Gossamer backend (Zig + WebKitGTK) — fully migrated from Tauri 2.0

What Works

  • Custom TEA runtime (Model-Update-View) — 18 modules, permanent (not rescript-tea)

  • Three panels render, persist (localStorage), respond to keyboard shortcuts

  • Anti-Crash circuit breaker gates neural tokens through symbolic validation

  • Vexometer tracks cognitive load (cancellations/corrections with exponential decay)

  • OrbitalSync detects panel drift via hash-based change monitoring

  • Contractiles enforces adaptive state contracts (Strict/Warn/Adaptive)

  • panic-attack integration: binary discovery, capability probe, ambush execution, event-chain import

  • VeriSimDB: 8 Gossamer commands wired (health, VCL query, list/get hexads, drift, normalise, telemetry, orch status)

  • TypeLL engine: cross-panel type intelligence service

  • ARIA accessibility across all components

  • Tailwind CSS 4.x + Deno build pipeline + Gossamer desktop app

  • Gossamer migration complete (src-gossamer/ Rust backend, all Tauri refs removed)

Roadmap

v0.1.0 — TEA Foundation (COMPLETE)

  • ✓ Custom TEA runtime (8 core files, deterministic state transitions)

  • ✓ Three-panel layout (Panel-L, Panel-N, Panel-W)

  • ✓ Anti-Crash circuit breaker

  • ✓ Vexometer cognitive load tracking

  • ✓ OrbitalSync drift detection

  • ✓ Contractiles adaptive state contracts

  • ✓ panic-attack integration (binary discovery, probe, ambush, event-chain import)

  • ✓ VeriSimDB query proxy (8 commands)

  • ✓ ARIA accessibility

  • ✓ Tailwind CSS 4.x + Deno build pipeline

v0.1.1 — Gossamer Migration (COMPLETE)

  • ✓ Migrated from Tauri 2.0 to Gossamer (Zig + WebKitGTK)

  • ✓ src-gossamer/ Rust backend (replaces src-tauri/)

  • ✓ RuntimeBridge for Gossamer IPC

  • ✓ Dialog and mobile FFI ported

  • ✓ Config schema updated

  • ✓ 66 files converted across PanLL

v0.1.2 — Scale-Up (COMPLETE)

  • ✓ 677 ReScript source files (from 31)

  • ✓ 123 panel components (from initial set)

  • ✓ 2462 tests passing

  • ✓ TypeLL engine integration (cross-panel type intelligence)

  • ✓ Custom TEA runtime expanded to 18 modules

  • ✓ Domain model modules in src/model/ (PaneModel, EchidnaModel, VeriSimModel, GovernanceModel, etc.)

  • ✓ Core engines in src/core/ (AntiCrash, OrbitalSync, Contractiles, TypeLLEngine, VabEngine, etc.)

  • ✓ Module registry + TypeLLService

  • ✓ Msg/Model split (domain types separated from composition root)

v0.2.0 — Connected Workbench (IN PROGRESS)

Goal: PanLL becomes a daily-use tool by connecting to real data sources.

Must Have

  • ❏ Reposystem event chain in Panel-W (import graph.json, display plan operations)

  • ❏ VeriSimDB as persistence layer (replace localStorage with VeriSimDB-backed persistence)

  • ❏ Protocol-squisher constraints in Panel-L (transport class compatibility)

  • ❏ Settings panel (VeriSimDB URL, panic-attack binary path, reposystem graph path)

  • ❏ Error boundary handling for failed Gossamer commands

  • ❏ Loading states for async operations

Should Have

  • ❏ Theme support (dark/light, follows system)

  • ❏ Onboarding tutorial (first-run walkthrough)

v0.3.0 — Neurosymbolic Core

Goal: The "NeSy" in eNSAID becomes real. Panel-N sends proof obligations to ECHIDNA; Panel-L draws constraints from proven’s formally verified catalog.

Must Have

  • ❏ ECHIDNA as Panel-N reasoning backend (GraphQL API, trust scores, portfolio solving)

  • ❏ proven as Panel-L constraint library (104 Safe* modules as selectable constraints)

  • ❏ Hypatia findings pipeline (consume scan findings from VeriSimDB, cross-repo patterns in Panel-W)

  • ❏ gitbot-fleet status in Panel-W (bot status, learning loop, rule approval)

  • ❏ Panel module interface contract (documented specification from working modules)

Should Have

  • ❏ Reasoning trace visualization

  • ❏ Performance monitoring for ECHIDNA queries

  • ❏ Panel-N agency indicator

v0.4.0 — Holistic Tool Integration

Goal: PanLL covers the full stack — languages, databases, protocols, containers, networks.

Must Have

  • ❏ stapeln container integration (Panel-W module — security scores, gap analysis)

  • ❏ Multi-agent coordination in Panel-N (panic-attack → echidnabot → sustainabot → glambot)

  • ❏ Eclexia as language playground (Panel-L module — syntax/type definitions)

Should Have

  • ❏ Network analysis module (panic-attack ambush against proven-bgp)

  • ❏ proven-bgp as first "server under test" in Panel-W

v0.5.0 — Development Workflows

Goal: PanLL becomes the command center for multi-repo development operations.

Must Have

  • ❏ VCL/protocol REPL in Panel-L

  • ❏ Reposystem plan execution (design multi-repo changes, dispatch via git-dispatcher)

  • ❏ contractiles enforcement (Mustfile/Trustfile/Dustfile/Intentfile display and verification)

  • ❏ claim-forge integration (timestamps, provenance records)

  • ❏ Pane Studio (scaffoldia profile for generating panel module skeletons)

v1.0.0 — Production eNSAID

Goal: Stable, documented, daily-driver quality.

Must Have

  • ❏ Stable panel module API (no breaking changes)

  • ❏ Comprehensive documentation (architecture, module dev, user guide)

  • ❏ Security audit (panic-attack self-scan + ECHIDNA verification)

  • ❏ All panel modules have integration tests against real backends

  • ❏ Test coverage 95%+

  • ❏ Performance: startup < 2s, query response < 500ms

Should Have

  • ❏ Plugin system for third-party panel modules

  • ❏ Multi-platform builds (Linux primary, macOS, Windows via Gossamer)

  • ❏ Headless mode for CI/CD integration

Panel Module Architecture

Each integration is a panel module — a self-contained unit that provides data to one or more panels.

Module Panel-L Panel-N Panel-W Milestone

panic-attack

Event chains, assault reports

v0.1.0 (done)

VeriSimDB

VCL queries

Hexad results, drift heatmaps

v0.1.0 (partial), v0.2.0 (persistence)

TypeLL

Type constraints

Type inference

Type verification results

v0.1.2 (done)

reposystem

Ecosystem graph, plan operations

v0.2.0

protocol-squisher

Format compatibility constraints

Adapter analysis results

v0.2.0

ECHIDNA

Proof search, trust scoring

Proof certificates

v0.3.0

proven

Safe* constraint catalog

v0.3.0

hypatia

Rule evaluation

Cross-repo scan findings

v0.3.0

gitbot-fleet

Bot orchestration

Fleet status, findings

v0.3.0

stapeln

Stack designs, security scores

v0.4.0

Eclexia

Language type constraints

v0.4.0

contractiles

Mustfile/Trustfile contracts

Contract satisfaction status

v0.5.0

claim-forge

IP timestamps, provenance

v0.5.0

scaffoldia

Repo structure generation

v0.5.0

Technical Stack

Layer Technology

Frontend

ReScript 12.x (custom TEA runtime, 18 modules), Tailwind CSS 4.x

Desktop shell

Gossamer (Zig + WebKitGTK backend, Rust bridge)

Persistence

VeriSimDB (octad hexads), localStorage (offline fallback)

Reasoning

ECHIDNA (GraphQL/gRPC/REST, 30 prover backends)

Type intelligence

TypeLL (10-level type safety kernel, JSON-RPC bridge)

Constraint library

proven (104 Idris2 Safe* modules, Zig FFI)

Testing

Deno.test (frontend), cargo test (backend), 2462 tests

Build

Deno (orchestration), npm (ReScript compiler only)

CI/CD

GitHub Actions (RSR-standard 17 workflows)

Technical Debt

High Priority

  • ❏ Robust error handling for VeriSimDB Gossamer commands

  • ❏ Integration tests against real backends (VeriSimDB, panic-attack)

  • ❏ cargo build for src-gossamer/ (281 errors to resolve)

  • ❏ .cmt audit across all modules

Medium Priority

  • ❏ Increase test coverage to 95%+ (currently ~87-91%)

  • ❏ Performance benchmarks (startup time, query latency)

  • ❏ API documentation generation

Low Priority

  • ✓ Custom TEA declared permanent (2026-03-08) — rescript-tea migration cancelled

  • ❏ Logo and branding

Post-v1.0

  • More proven apps as test targets — proven-httpd, proven-dns, proven-quic

  • PanLL as CI/CD gate — Headless mode: "do these changes satisfy Panel-L constraints?"

  • Distributed instances — Multiple PanLL workbenches sharing VeriSimDB state via BEAM

  • Academic publication — Three-pane neurosymbolic model (Binary Star architecture)

  • Community panel modules — Others write modules for their own tools/databases/protocols

License & Governance

License: PMPL-1.0-or-later (Palimpsest License)

Author: Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>

Last Updated: 2026-03-29