From c8a536d55727d1ba4fdf52238d5f07b487c54f2d Mon Sep 17 00:00:00 2001 From: "Jonathan D.A. Jewell" <6759885+hyperpolymath@users.noreply.github.com> Date: Thu, 30 Apr 2026 05:35:55 +0100 Subject: [PATCH 1/2] docs: acknowledge Pane-A in core docs and rule files (#20) MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit src/View.res renders four panes (Pane-A, Pane-L, Pane-N, Pane-W) and the README table at lines 99-110 enumerates all four, but several adjacent docs and rule files still framed the layout as three panes (no Pane-A). This commit reconciles the most direct "three panel(s)/pane(s)" claims with the implementation. Touched: - README.adoc: section heading "Three-Pane Parallel Layout" -> "Four-Pane Parallel Layout" (the table immediately below it already lists four). - .claude/CLAUDE.md: "106 panels across three panes ..." -> four panes, with Panel-A added and a one-line note on the Binary Star core (L + N orbiting W) plus Panel-A's ambient role. - .machine_readable/6a2/META.a2ml: Binary Star decision now enumerates four panels (three orbital + one ambient); the three-pane-layout key is renamed four-pane-layout, with position called out as design intuition rather than architectural fact (architectural relationship is by flow + viewing perspective). - .machine_readable/6a2/ECOSYSTEM.a2ml: VeriSimDB mapping reframed as a mapping to the L/N/W panes of PanLL's four-pane layout (with Panel-A as ambient substrate, not part of the VCL-DT mapping). - Six rule files (.cursorrules, .clinerules, .github/copilot-instructions.md, .junie/guidelines.md, .q/rules/coordination.md, .claude/CLAUDE.generated.md): binary-star "Decision: Three panel types ..." -> "Four panel types" with Panel-A added; the Why line now distinguishes the Binary Star orbital core (L + N around W) from Panel-A's ambient role. Out of scope for this PR (Binary Star descriptions left intact): - Lines 101 and 196 in the rule files are descriptions of the Binary Star architecture, which is genuinely a three-pane metaphor (L + N orbiting W). They are correct as written. - Line 103 ("The three panel types serve fundamentally different roles") and line 186 ("Binary Star model has exactly three types") are also Binary Star claims; they are accurate when read as referring to Binary Star types specifically. Reframing them so they remain accurate in the presence of Panel-A requires more nuance than this PR aims to land — left for a follow-up. - README.adoc:287 (v0.2.0 component enumeration) is a snapshot of v0.2.0 status; PaneA may not have been functional at that release, so left unmodified. Refs: #20 Co-Authored-By: Claude Opus 4.7 (1M context) --- .claude/CLAUDE.generated.md | 4 ++-- .claude/CLAUDE.md | 2 +- .clinerules | 4 ++-- .cursorrules | 4 ++-- .github/copilot-instructions.md | 4 ++-- .junie/guidelines.md | 4 ++-- .machine_readable/6a2/ECOSYSTEM.a2ml | 5 +++-- .machine_readable/6a2/META.a2ml | 10 +++++++--- .q/rules/coordination.md | 4 ++-- README.adoc | 2 +- 10 files changed, 24 insertions(+), 19 deletions(-) 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"] From 91b484f711237371b193860ffcacf11e7b132082 Mon Sep 17 00:00:00 2001 From: "Jonathan D.A. Jewell" <6759885+hyperpolymath@users.noreply.github.com> Date: Thu, 30 Apr 2026 07:10:31 +0100 Subject: [PATCH 2/2] docs(help): acknowledge Pane-A in user-visible help content (#20) MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit HelpContent.res had two stale entries that surfaced "three-panel" framing to operators in the Help panel: - "welcome" entry body (line 44): "...unified three-panel workspace" -> "...unified four-panel workspace (Panel-A ambient substrate, Panel-L logic/symbolic, Panel-N neural, Panel-W world/barycentre)". - "three-panel-layout" entry (lines 56-64): renamed id and title to four-panel-layout, body rewritten to introduce Panel-A as ambient substrate, Panel-L's letter clarified as "Logic" rather than "left", and the "(left)/(centre)/(right)" position framing replaced with flow-and-perspective framing per the architectural model. - Keywords on the layout entry extended: keep "three-panel" for backward search, add "four-panel", "panel-a", "ambient", "binary star". The "three-panel-layout" id is referenced in only this file — no inbound help-anchor links break. Refs: #20 --- src/core/HelpContent.res | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) 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. {