diff --git a/.claude/CLAUDE.generated.md b/.claude/CLAUDE.generated.md index 9aa2788..93d64fb 100644 --- a/.claude/CLAUDE.generated.md +++ b/.claude/CLAUDE.generated.md @@ -158,9 +158,9 @@ These choices may look unusual but are intentional: ### binary-star -**Decision:** Three panel types: Panel-L (symbolic/human), Panel-N (neural/machine), Panel-W (world/shared) +**Decision:** Four panel types: Panel-A (ambient/substrate), Panel-L (logic/symbolic), Panel-N (neural/machine), Panel-W (world/shared) -**Why:** Neurosymbolic architecture requires clear separation of human reasoning, machine inference, and shared world state +**Why:** L + N orbit W in the Binary Star core (clear separation of human reasoning, machine inference, and shared world state); Panel-A surrounds as ambient substrate for persistent context and ergonomic support. ### vexometer-cognitive-load diff --git a/.claude/CLAUDE.md b/.claude/CLAUDE.md index 3854ced..33d1ce0 100644 --- a/.claude/CLAUDE.md +++ b/.claude/CLAUDE.md @@ -48,7 +48,7 @@ deno task test:coverage - **TEA (The Elm Architecture)** in ReScript — Model/Msg/Update/View/Subscriptions - **Gossamer** (Zig + WebKitGTK) backend — migrated from Tauri 2.0 - **Elixir/BEAM** optional middleware (`beam/panll_beam`) -- **106 panels** across three panes: Panel-L (Symbolic), Panel-N (Neural), Panel-W (World) +- **106 panels** across four panes: Panel-A (Ambient), Panel-L (Logic, role: Symbolic), Panel-N (Neural), Panel-W (World). Panel-L + Panel-N orbit Panel-W in the Binary Star core; Panel-A surrounds as ambient substrate. ## Key Files diff --git a/.clinerules b/.clinerules index db062e7..3e306de 100644 --- a/.clinerules +++ b/.clinerules @@ -158,9 +158,9 @@ These choices may look unusual but are intentional: ### binary-star -**Decision:** Three panel types: Panel-L (symbolic/human), Panel-N (neural/machine), Panel-W (world/shared) +**Decision:** Four panel types: Panel-A (ambient/substrate), Panel-L (logic/symbolic), Panel-N (neural/machine), Panel-W (world/shared) -**Why:** Neurosymbolic architecture requires clear separation of human reasoning, machine inference, and shared world state +**Why:** L + N orbit W in the Binary Star core (clear separation of human reasoning, machine inference, and shared world state); Panel-A surrounds as ambient substrate for persistent context and ergonomic support. ### vexometer-cognitive-load diff --git a/.cursorrules b/.cursorrules index dca38f7..6b4b2cc 100644 --- a/.cursorrules +++ b/.cursorrules @@ -158,9 +158,9 @@ These choices may look unusual but are intentional: ### binary-star -**Decision:** Three panel types: Panel-L (symbolic/human), Panel-N (neural/machine), Panel-W (world/shared) +**Decision:** Four panel types: Panel-A (ambient/substrate), Panel-L (logic/symbolic), Panel-N (neural/machine), Panel-W (world/shared) -**Why:** Neurosymbolic architecture requires clear separation of human reasoning, machine inference, and shared world state +**Why:** L + N orbit W in the Binary Star core (clear separation of human reasoning, machine inference, and shared world state); Panel-A surrounds as ambient substrate for persistent context and ergonomic support. ### vexometer-cognitive-load diff --git a/.github/copilot-instructions.md b/.github/copilot-instructions.md index a30a03e..5fb8338 100644 --- a/.github/copilot-instructions.md +++ b/.github/copilot-instructions.md @@ -158,9 +158,9 @@ These choices may look unusual but are intentional: ### binary-star -**Decision:** Three panel types: Panel-L (symbolic/human), Panel-N (neural/machine), Panel-W (world/shared) +**Decision:** Four panel types: Panel-A (ambient/substrate), Panel-L (logic/symbolic), Panel-N (neural/machine), Panel-W (world/shared) -**Why:** Neurosymbolic architecture requires clear separation of human reasoning, machine inference, and shared world state +**Why:** L + N orbit W in the Binary Star core (clear separation of human reasoning, machine inference, and shared world state); Panel-A surrounds as ambient substrate for persistent context and ergonomic support. ### vexometer-cognitive-load diff --git a/.junie/guidelines.md b/.junie/guidelines.md index 5f0c2dc..b3a5a10 100644 --- a/.junie/guidelines.md +++ b/.junie/guidelines.md @@ -158,9 +158,9 @@ These choices may look unusual but are intentional: ### binary-star -**Decision:** Three panel types: Panel-L (symbolic/human), Panel-N (neural/machine), Panel-W (world/shared) +**Decision:** Four panel types: Panel-A (ambient/substrate), Panel-L (logic/symbolic), Panel-N (neural/machine), Panel-W (world/shared) -**Why:** Neurosymbolic architecture requires clear separation of human reasoning, machine inference, and shared world state +**Why:** L + N orbit W in the Binary Star core (clear separation of human reasoning, machine inference, and shared world state); Panel-A surrounds as ambient substrate for persistent context and ergonomic support. ### vexometer-cognitive-load diff --git a/.machine_readable/6a2/ECOSYSTEM.a2ml b/.machine_readable/6a2/ECOSYSTEM.a2ml index 1a3a071..d62dadc 100644 --- a/.machine_readable/6a2/ECOSYSTEM.a2ml +++ b/.machine_readable/6a2/ECOSYSTEM.a2ml @@ -73,8 +73,9 @@ notes = "Fleet panel wired with 6 bots and safety triangle. BoJ agent-mcp routes [related-projects.verisimdb] relationship = "primary-backend-module" -nature = """VeriSimDB is PanLL's first database backend. VCL-DT maps to three-panel layout: -Panel-L = proof obligations, Panel-N = agentic inference, Panel-W = query results.""" +nature = """VeriSimDB is PanLL's first database backend. VCL-DT maps to the L/N/W panes +of PanLL's four-pane layout: Panel-L = proof obligations, Panel-N = agentic inference, +Panel-W = query results. (Panel-A is ambient substrate and is not part of this mapping.)""" integration-status = "active" notes = "BoJ database-mcp cartridge routes VCL queries when bojRouting=true." diff --git a/.machine_readable/6a2/META.a2ml b/.machine_readable/6a2/META.a2ml index 8bffa75..6f32805 100644 --- a/.machine_readable/6a2/META.a2ml +++ b/.machine_readable/6a2/META.a2ml @@ -21,7 +21,9 @@ context = """Traditional IDEs treat AI as tool or assistant (Human-as-primary, M Need architecture that enables genuine co-working without subordination.""" decision = """Model Human and Machine as Binary Star system — two gravitationally bound entities orbiting a shared Barycentre (the task/artifact). Neither is primary. -Three panels: Panel-L (Symbolic/Human), Panel-N (Neural/Machine), Panel-W (World/Barycentre).""" +Four panels (three orbital + one ambient): Panel-L (Symbolic/Human), Panel-N (Neural/Machine), +Panel-W (World/Barycentre), Panel-A (Ambient substrate). The L + N orbiting W relationship is +the Binary Star core; Panel-A surrounds as ambient substrate for persistent context.""" consequences-positive = [ "Enables sustained co-working without constant context switching", "Operator can see Machine reasoning stream in real-time (Panel-N)", @@ -105,8 +107,10 @@ license-policy = "All original code PMPL-1.0-or-later. Third-party dependencies # --- Design Rationale --- [design-rationale] -three-pane-layout = """Parallel layout (L/N/W side-by-side) emphasises simultaneity. -Panel-L (left) = Symbolic, Panel-N (middle) = Neural, Panel-W (right) = World. +four-pane-layout = """Parallel layout (A/L/N/W) emphasises simultaneity. +Panel-A = Ambient substrate, Panel-L = Logic (role: Symbolic), Panel-N = Neural, +Panel-W = World/Barycentre. Position is design intuition (L on the left, W central) +not architectural; the architectural relationship is by flow + viewing perspective. Layout inspired by music production DAWs (multiple simultaneous views).""" binary-star-metaphor = """Metaphor from astrophysics: two stars orbiting shared centre of mass. Human = symbolic star, Machine = neural star. Barycentre = task/artifact. diff --git a/.q/rules/coordination.md b/.q/rules/coordination.md index 2fd0d38..f1da520 100644 --- a/.q/rules/coordination.md +++ b/.q/rules/coordination.md @@ -158,9 +158,9 @@ These choices may look unusual but are intentional: ### binary-star -**Decision:** Three panel types: Panel-L (symbolic/human), Panel-N (neural/machine), Panel-W (world/shared) +**Decision:** Four panel types: Panel-A (ambient/substrate), Panel-L (logic/symbolic), Panel-N (neural/machine), Panel-W (world/shared) -**Why:** Neurosymbolic architecture requires clear separation of human reasoning, machine inference, and shared world state +**Why:** L + N orbit W in the Binary Star core (clear separation of human reasoning, machine inference, and shared world state); Panel-A surrounds as ambient substrate for persistent context and ergonomic support. ### vexometer-cognitive-load diff --git a/README.adoc b/README.adoc index 660c753..6314b70 100644 --- a/README.adoc +++ b/README.adoc @@ -89,7 +89,7 @@ It is: == Architecture -=== The Three-Pane Parallel Layout +=== The Four-Pane Parallel Layout [cols="1,3"] diff --git a/src/core/HelpContent.res b/src/core/HelpContent.res index dfab1a6..46144bf 100644 --- a/src/core/HelpContent.res +++ b/src/core/HelpContent.res @@ -41,7 +41,7 @@ let allEntries = (): array => { { id: "welcome", title: "Welcome to PanLL", - body: "PanLL (formally eNSAID: Environment for NeSy-Agentic Integrated Development) is a neurosymbolic mission control interface. It combines symbolic reasoning (formal proofs, type systems, constraints) with neural computation (language models, learned heuristics) in a unified three-panel workspace. PanLL is designed for accessibility-first interaction, putting the operator in control of both symbolic and neural subsystems at all times.", + body: "PanLL (formally eNSAID: Environment for NeSy-Agentic Integrated Development) is a neurosymbolic mission control interface. It combines symbolic reasoning (formal proofs, type systems, constraints) with neural computation (language models, learned heuristics) in a unified four-panel workspace (Panel-A ambient substrate, Panel-L logic/symbolic, Panel-N neural, Panel-W world/barycentre). PanLL is designed for accessibility-first interaction, putting the operator in control of both symbolic and neural subsystems at all times.", category: GettingStarted, panelId: None, keywords: [ @@ -53,14 +53,14 @@ let allEntries = (): array => { "getting started", ], }, - /// Explains the fundamental three-panel layout. + /// Explains the fundamental four-panel layout. { - id: "three-panel-layout", - title: "Understanding the Three-Panel Layout", - body: "PanLL organises work into three panels. Panel-L (left) displays constraints, formal structure, and symbolic state — it is where you define what must be true. Panel-N (centre) hosts agent reasoning, OODA loops, and decision-making processes — it is where thinking happens. Panel-W (right) shows results, output, and verification status — it is where you see outcomes. This left-to-right flow mirrors the progression from specification through reasoning to results.", + id: "four-panel-layout", + title: "Understanding the Four-Panel Layout", + body: "PanLL organises work into four panels. Panel-A (Ambient) provides persistent context and ergonomic substrate around the workspace. Panel-L (Logic) displays constraints, formal structure, and symbolic state — it is where you define what must be true. Panel-N (Neural) hosts agent reasoning, OODA loops, and decision-making processes — it is where thinking happens. Panel-W (World/Barycentre) shows results, output, and verification status — it is where you see outcomes. The L + N orbiting W relationship is the Binary Star core; Panel-A surrounds as ambient substrate. Position is design intuition rather than architectural — the relationship is by flow and viewing perspective.", category: GettingStarted, panelId: None, - keywords: ["panels", "layout", "three-panel", "panel-l", "panel-n", "panel-w", "workspace"], + keywords: ["panels", "layout", "four-panel", "three-panel", "panel-a", "panel-l", "panel-n", "panel-w", "ambient", "binary star", "workspace"], }, /// How to use the panel switcher to navigate between tools. {