Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 2 additions & 2 deletions .claude/CLAUDE.generated.md
Original file line number Diff line number Diff line change
Expand Up @@ -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

Expand Down
2 changes: 1 addition & 1 deletion .claude/CLAUDE.md
Original file line number Diff line number Diff line change
Expand Up @@ -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

Expand Down
4 changes: 2 additions & 2 deletions .clinerules
Original file line number Diff line number Diff line change
Expand Up @@ -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

Expand Down
4 changes: 2 additions & 2 deletions .cursorrules
Original file line number Diff line number Diff line change
Expand Up @@ -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

Expand Down
4 changes: 2 additions & 2 deletions .github/copilot-instructions.md
Original file line number Diff line number Diff line change
Expand Up @@ -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

Expand Down
4 changes: 2 additions & 2 deletions .junie/guidelines.md
Original file line number Diff line number Diff line change
Expand Up @@ -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

Expand Down
5 changes: 3 additions & 2 deletions .machine_readable/6a2/ECOSYSTEM.a2ml
Original file line number Diff line number Diff line change
Expand Up @@ -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."

Expand Down
10 changes: 7 additions & 3 deletions .machine_readable/6a2/META.a2ml
Original file line number Diff line number Diff line change
Expand Up @@ -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)",
Expand Down Expand Up @@ -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.
Expand Down
4 changes: 2 additions & 2 deletions .q/rules/coordination.md
Original file line number Diff line number Diff line change
Expand Up @@ -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

Expand Down
2 changes: 1 addition & 1 deletion README.adoc
Original file line number Diff line number Diff line change
Expand Up @@ -89,7 +89,7 @@ It is:

== Architecture

=== The Three-Pane Parallel Layout
=== The Four-Pane Parallel Layout

[cols="1,3"]

Expand Down
12 changes: 6 additions & 6 deletions src/core/HelpContent.res
Original file line number Diff line number Diff line change
Expand Up @@ -41,7 +41,7 @@ let allEntries = (): array<HelpModel.helpEntry> => {
{
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: [
Expand All @@ -53,14 +53,14 @@ let allEntries = (): array<HelpModel.helpEntry> => {
"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.
{
Expand Down
Loading