docs: Nexia-List — complete the rename, enshrine the North Star, record ADR-0003 (LambdaDelta) (#31)

hyperpolymath · claude · web-flow · commit 768d2c6ba4b1 · 2026-07-03T22:40:13.000+01:00
* docs: rename product to Nexia-List throughout The project is Nexia-List (nexialist) — the "-List" is load-bearing. Renamed the product name in all documentation and user-facing display strings (README/ROADMAP/TOPOLOGY/QUICKSTART/CONTRIBUTING/CODE_OF_CONDUCT, the governance a2ml/contractile files, humans.txt, desktop README), the web app's title/meta/manifest/icon label, the desktop shell's product name/window title, and doc comments + user-visible error strings. Deliberately left as-is (technical identifiers, not the product name): the nexia-core / nexia-desktop crate names, the nexia_core WASM module and its import paths, the .nexia.json save extension, the com.hyperpolymath.nexia bundle id, and the nexia-list repo slug. Verified: cargo test (29), deno test:ui (10), build:res + build:web green. Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01PAEqVP7Y3bZDhtAaPUTbps * docs: enshrine the North Star and record ADR-0003 (LambdaDelta) Capture the converged vision durably so it can't drift: - The animating purpose, quoted from The Tinderbox Way — "A note is a letter we send to our future self" — added to the README Philosophy and to INTENT.contractile as a first-class (north-star ...) form. Framed as liberation, never constraint: power exists to enlarge the correspondence, measured by the generative question "does this help the letter reach a richer future self?" - ADR-0003: LambdaDelta (λδ), a homoiconic Lisp-power substrate in the Rust/WASM core, with progressive disclosure (L0 Tinderbox-basic → L4 computational notes), the notebook-as-data architecture, a Tinderbox capability-coverage table, an honest gap list, and the liberating benefits beyond Tinderbox. Proposed; no code yet. Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01PAEqVP7Y3bZDhtAaPUTbps --------- Co-authored-by: Claude <noreply@anthropic.com>
diff --git a/.machine_readable/INTENT.contractile b/.machine_readable/INTENT.contractile
@@ -30,12 +30,22 @@
 ; ── End Definitions ──────────────────────────────────────────────
 
 (intent-contractile
-  (version "1.0.0")
+  (version "1.1.0")
   (repo "nexia-list")
 
+  ; === North Star (the animating purpose — read this first) ===
+  ; Framed as a liberation, never a constraint: every feature exists to
+  ; enlarge this, not to be fenced by it.
+  (north-star
+    (quote "A note is a letter we send to our future self.")
+    (attribution "Mark Bernstein, The Tinderbox Way")
+    (meaning
+      "Everything Nexia-List builds serves this correspondence and aims to enlarge it: to help the letter reach a richer future self — resurfaced at the right moment, connected to your other letters, searched and computed over across years. Added power (see the LambdaDelta substrate, docs/adr/0003) is here to liberate and augment the correspondence, not to constrain what the product is or can become. When weighing a feature, ask the generative question: does this help the letter reach a richer future self?")
+  )
+
   ; === Purpose (what this repo IS) ===
   (purpose
-    "Nexia is a local-first, spatial personal knowledge management tool: notes arranged on a spatial canvas, first-class bidirectional links between them, and (planned) agents implemented as persistent queries that continuously organise the notebook. It is web-first — a ReScript TEA-style UI drives a Rust core compiled to WASM in the browser — and all user data lives on the user's device in human-readable JSON."
+    "Nexia-List is a local-first, spatial personal knowledge management tool: notes arranged on a spatial canvas, first-class bidirectional links between them, and (planned) agents implemented as persistent queries that continuously organise the notebook. It is web-first — a ReScript TEA-style UI drives a Rust core compiled to WASM in the browser — and all user data lives on the user's device in human-readable JSON."
   )
 
   ; === Anti-Purpose (what this repo is NOT — prevents scope creep) ===
diff --git a/.well-known/humans.txt b/.well-known/humans.txt
@@ -8,6 +8,6 @@ Site: https://github.com/hyperpolymath
 Location: United Kingdom
 
 /* SITE */
-Software: Nexia — Cross-platform personal knowledge management
+Software: Nexia-List — Cross-platform personal knowledge management
 Standards: MPL-2.0, RSR (Rhodium Standard Repository)
 Components: Rust core, ReScript TEA UI, Tauri 2.0 desktop/mobile, WASM/PWA web
diff --git a/0-AI-MANIFEST.a2ml b/0-AI-MANIFEST.a2ml
@@ -48,7 +48,7 @@ Bot-specific instructions for:
 
 ## REPOSITORY STRUCTURE
 
-Nexia is a local-first, web-first personal knowledge management tool inspired
+Nexia-List is a local-first, web-first personal knowledge management tool inspired
 by Tinderbox. It provides spatial canvas note arrangement, bidirectional
 linking, and (planned) intelligent agents and prototype inheritance. Built
 with a Rust core compiled to WASM (wasm-bindgen), a ReScript TEA-style UI on
diff --git a/CODE_OF_CONDUCT.md b/CODE_OF_CONDUCT.md
@@ -3,7 +3,7 @@
 
 ## Our Pledge
 
-We as members, contributors, and leaders pledge to make participation in Nexia a harassment-free experience for everyone, regardless of age, body size, visible or invisible disability, ethnicity, sex characteristics, gender identity and expression, level of experience, education, socio-economic status, nationality, personal appearance, race, caste, colour, religion, or sexual identity and orientation.
+We as members, contributors, and leaders pledge to make participation in Nexia-List a harassment-free experience for everyone, regardless of age, body size, visible or invisible disability, ethnicity, sex characteristics, gender identity and expression, level of experience, education, socio-economic status, nationality, personal appearance, race, caste, colour, religion, or sexual identity and orientation.
 
 We pledge to act and interact in ways that contribute to an open, welcoming, diverse, inclusive, and healthy community.
 
@@ -134,7 +134,7 @@ If you experience or witness unacceptable behaviour, or have any other concerns,
 **What Happens Next**
 
 1. You will receive acknowledgment within **48 hours**
-2. The Nexia Maintainers will review the report
+2. The Nexia-List Maintainers will review the report
 3. We may ask for additional information
 4. We will determine appropriate action
 5. We will inform you of the outcome (respecting others' privacy)
@@ -150,7 +150,7 @@ All reports will be handled with discretion:
 
 ### Conflicts of Interest
 
-If a Nexia Maintainers member is involved in an incident:
+If a Nexia-List Maintainers member is involved in an incident:
 
 - They will recuse themselves from the process
 - Another maintainer or external party will handle the report
@@ -160,7 +160,7 @@ If a Nexia Maintainers member is involved in an incident:
 
 ## Enforcement Guidelines
 
-The Nexia Maintainers will follow these guidelines in determining consequences:
+The Nexia-List Maintainers will follow these guidelines in determining consequences:
 
 ### 1. Correction
 
@@ -218,7 +218,7 @@ If you believe an enforcement decision was made in error:
 
 **Appeals Process**
 
-- Appeals are reviewed by a different Nexia Maintainers member than the original
+- Appeals are reviewed by a different Nexia-List Maintainers member than the original
 - You will receive a response within 14 days
 - The appeals decision is final
 - You may only appeal once per incident
diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
@@ -1,5 +1,5 @@
 <!-- SPDX-License-Identifier: CC-BY-SA-4.0 -->
-# Contributing to Nexia
+# Contributing to Nexia-List
 
 ## Development Setup
 
diff --git a/EXPLAINME.adoc b/EXPLAINME.adoc
@@ -1,13 +1,13 @@
 // SPDX-License-Identifier: CC-BY-SA-4.0
-= Nexia — Show Me The Receipts
+= Nexia-List — Show Me The Receipts
 :toc:
 :icons: font
 
 The README makes claims. This file backs them up.
 
 [quote, README]
 ____
-Nexia is an open-source, local-first knowledge management tool inspired by https://www.eastgate.com/Tinderbox/[Tinderbox].
+Nexia-List is an open-source, local-first knowledge management tool inspired by https://www.eastgate.com/Tinderbox/[Tinderbox].
 ____
 
 == Technology Choices
diff --git a/QUICKSTART-USER.adoc b/QUICKSTART-USER.adoc
@@ -6,7 +6,7 @@
 
 == What is nexia-list?
 
-Nexia is a local-first personal knowledge management tool: notes on a spatial
+Nexia-List is a local-first personal knowledge management tool: notes on a spatial
 canvas with bidirectional links and (planned) intelligent agents. It runs in
 your browser — your data stays on your device as human-readable JSON. See
 link:README.adoc[README.adoc] for the full pitch.
@@ -45,7 +45,7 @@ just run
 
 Then open http://localhost:5173 in your browser.
 
-NOTE: Nexia is pre-release (v0.1, in active development). You can create,
+NOTE: Nexia-List is pre-release (v0.1, in active development). You can create,
 edit, delete, and search notes; the spatial canvas supports pan/zoom and
 double-click note creation. Drag-and-drop and a desktop app are not available
 yet.
@@ -70,7 +70,7 @@ and suggests fixes if not.
 
 == Uninstall
 
-Nexia makes no system-wide changes. To remove it, delete the cloned
+Nexia-List makes no system-wide changes. To remove it, delete the cloned
 directory. Your notebooks are plain JSON files — export/download them first
 if you want to keep them (browser data lives in IndexedDB for the site until
 you clear it).
diff --git a/README.adoc b/README.adoc
@@ -1,5 +1,5 @@
 // SPDX-License-Identifier: CC-BY-SA-4.0
-= Nexia
+= Nexia-List
 :toc: macro
 :toc-title: Contents
 :toclevels: 3
@@ -28,10 +28,24 @@ Nexia-List is an open-source, local-first knowledge management tool inspired by
 
 == Philosophy
 
+=== North Star
+
+[quote, Mark Bernstein, The Tinderbox Way]
+A note is a letter we send to our future self.
+
+This is the animating purpose everything in Nexia-List serves — and, as the tool
+grows more powerful, aims to *enlarge*. Every capability exists to help that
+letter reach a richer future self: to resurface it at the right moment, connect
+it to your other letters, and let a decade of them be searched, computed over,
+and rediscovered. Power here is something to liberate the correspondence, never
+to constrain it.
+
+=== Local-first
+
 [quote]
 Your knowledge is yours. Not in a cloud you don't control. Not locked in a proprietary format. Not dependent on a company's survival.
 
-Nexia follows the **local-first** philosophy:
+Nexia-List follows the **local-first** philosophy:
 
 . Data stored in human-readable formats (JSON)
 . Works offline by default
@@ -40,7 +54,7 @@ Nexia follows the **local-first** philosophy:
 
 == Architecture
 
-Nexia is **web-first**. The primary target is the browser: the Rust core is
+Nexia-List is **web-first**. The primary target is the browser: the Rust core is
 compiled to WebAssembly so the real engine runs client-side, with no server
 required. A desktop shell is optional and external.
 
@@ -130,6 +144,15 @@ These appear in older docs as if they existed — they do not, yet:
 * A dedicated TEA library and URL router (the current TEA loop is hand-rolled;
   `rescript-tea` and `cadre-tea-router` were removed as unused/unresolvable)
 
+=== LambdaDelta: the programmable substrate (planned)
+
+The larger direction — treating the notebook as live, homoiconic data that a
+real Lisp (LambdaDelta, λδ) can read, query, transform, and extend — is
+recorded in link:docs/adr/0003-lambdadelta-lisp-substrate.md[ADR-0003]. The
+guiding constraint is that this power is opt-in and *invisible by default*:
+Nexia-List stays a Tinderbox-like tool you can use for life without ever seeing
+a parenthesis, while power users gain the full expressive reach of Lisp.
+
 == Features
 
 === MVP (v0.1)
diff --git a/ROADMAP.adoc b/ROADMAP.adoc
@@ -1,16 +1,16 @@
 // SPDX-License-Identifier: CC-BY-SA-4.0
-= Nexia Roadmap
+= Nexia-List Roadmap
 :toc: macro
 :toc-title: Phases
 :toclevels: 2
 :icons: font
 
-This document outlines the development phases for Nexia, from MVP to full-featured knowledge management platform.
+This document outlines the development phases for Nexia-List, from MVP to full-featured knowledge management platform.
 
 .Revised sequencing (2026-07)
 [NOTE]
 ====
-Nexia is now **web-first**: the Rust core is compiled to WASM and the browser
+Nexia-List is now **web-first**: the Rust core is compiled to WASM and the browser
 is the primary target (see link:docs/adr/0001-wasm-core-web-first.md[ADR-0001]).
 The desktop shell (Gossamer) is optional and external. Current sequencing:
 
diff --git a/TOPOLOGY.md b/TOPOLOGY.md
@@ -2,11 +2,11 @@
 <!-- TOPOLOGY.md — Project architecture map and completion dashboard -->
 <!-- Last updated: 2026-07-02 -->
 
-# Nexia — Project Topology
+# Nexia-List — Project Topology
 
 ## System Architecture
 
-Nexia is **web-first**: the browser is the primary target, running the real
+Nexia-List is **web-first**: the browser is the primary target, running the real
 Rust core compiled to WebAssembly. The desktop shell is optional and depends
 on an **external** sibling checkout of `hyperpolymath/gossamer`; it is
 intentionally not built in this repo's CI.
diff --git a/contractiles/intend/Intentfile.a2ml b/contractiles/intend/Intentfile.a2ml
@@ -3,12 +3,12 @@
 # Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath)
 
 @abstract:
-Declared intent and purpose for Nexia List.
+Declared intent and purpose for Nexia-List List.
 @end
 
 ## Purpose
 
-Nexia List — local-first spatial knowledge management: notes on a spatial canvas with bidirectional links, web-first (Rust core compiled to WASM, ReScript TEA-style UI), data stored as user-readable JSON.
+Nexia-List List — local-first spatial knowledge management: notes on a spatial canvas with bidirectional links, web-first (Rust core compiled to WASM, ReScript TEA-style UI), data stored as user-readable JSON.
 
 ## Anti-Purpose
 
diff --git a/contractiles/must/Mustfile.a2ml b/contractiles/must/Mustfile.a2ml
@@ -3,7 +3,7 @@
 # Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath)
 
 @abstract:
-Physical State contract for Nexia List. Baseline UX Manifesto invariants
+Physical State contract for Nexia-List List. Baseline UX Manifesto invariants
 that MUST hold at all times.
 @end
 
diff --git a/contractiles/trust/Trustfile.a2ml b/contractiles/trust/Trustfile.a2ml
@@ -3,7 +3,7 @@
 # Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath)
 
 @abstract:
-Trust and provenance verification for Nexia List.
+Trust and provenance verification for Nexia-List List.
 Maximal trust by default — LLM may read, build, test, lint, format.
 @end
 
diff --git a/core/Cargo.toml b/core/Cargo.toml
@@ -5,7 +5,7 @@ version = "0.1.0"
 edition = "2021"
 license = "MPL-2.0"
 authors = ["Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>"]
-description = "Core engine for Nexia knowledge management"
+description = "Core engine for Nexia-List knowledge management"
 repository = "https://github.com/hyperpolymath/nexia-list"
 
 [lib]
diff --git a/core/src/agent.rs b/core/src/agent.rs
@@ -1,5 +1,5 @@
 // SPDX-License-Identifier: MPL-2.0
-//! Agents — persistent saved queries, the feature Nexia is named for.
+//! Agents — persistent saved queries, the feature Nexia-List is named for.
 //!
 //! An agent stores a small query written in a whitespace-separated DSL; the
 //! terms are ANDed together. Supported terms:
diff --git a/core/src/lib.rs b/core/src/lib.rs
@@ -1,8 +1,8 @@
 // SPDX-License-Identifier: MPL-2.0
 
-//! Nexia Core — Knowledge Graph and Note Engine.
+//! Nexia-List Core — Knowledge Graph and Note Engine.
 //!
-//! This crate provides the foundational data structures for the Nexia
+//! This crate provides the foundational data structures for the Nexia-List
 //! ecosystem. It treats notes as nodes in a multi-dimensional graph,
 //! supporting bidirectional linking and spatial arrangement.
 //!
diff --git a/desktop/Cargo.toml b/desktop/Cargo.toml
@@ -5,7 +5,7 @@ version = "0.1.0"
 edition = "2021"
 license = "MPL-2.0"
 authors = ["Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>"]
-description = "Nexia desktop application — Gossamer webview shell"
+description = "Nexia-List desktop application — Gossamer webview shell"
 
 [dependencies]
 gossamer-rs = { path = "../../gossamer/bindings/rust" }
diff --git a/desktop/README.md b/desktop/README.md
@@ -1,7 +1,7 @@
 <!-- SPDX-License-Identifier: CC-BY-SA-4.0 -->
-# Nexia Desktop Shell (optional, external dependency)
+# Nexia-List Desktop Shell (optional, external dependency)
 
-This crate is the Gossamer webview shell for Nexia. **It does not build from
+This crate is the Gossamer webview shell for Nexia-List. **It does not build from
 this repository alone** and that is intentional:
 
 - `Cargo.toml` depends on `gossamer-rs = { path = "../../gossamer/bindings/rust" }`,
diff --git a/desktop/gossamer-bridge.js b/desktop/gossamer-bridge.js
@@ -2,7 +2,7 @@
 // Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath)
 
 /**
- * gossamer-bridge.js — Unified IPC bridge for Nexia desktop app.
+ * gossamer-bridge.js — Unified IPC bridge for Nexia-List desktop app.
  *
  * Detects the available runtime (Gossamer or browser-only) and
  * dispatches `invoke` / `listen` calls to the appropriate backend.
diff --git a/desktop/gossamer.conf.json b/desktop/gossamer.conf.json
@@ -1,6 +1,6 @@
 {
   "$schema": "https://gossamer.dev/schemas/config/v1",
-  "productName": "Nexia",
+  "productName": "Nexia-List",
   "version": "0.1.0",
   "identifier": "com.hyperpolymath.nexia",
   "build": {
@@ -13,7 +13,7 @@
     "windows": [
       {
         "label": "main",
-        "title": "Nexia",
+        "title": "Nexia-List",
         "width": 1200,
         "height": 800,
         "minWidth": 800,
@@ -83,7 +83,7 @@
     "resources": [],
     "copyright": "Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath)",
     "license": "MPL-2.0",
-    "shortDescription": "Nexia desktop application",
+    "shortDescription": "Nexia-List desktop application",
     "longDescription": "",
     "linux": {
       "desktopEntry": true,
diff --git a/desktop/src/lib.rs b/desktop/src/lib.rs
@@ -1,5 +1,5 @@
 // SPDX-License-Identifier: MPL-2.0
-//! Nexia desktop library (for mobile targets)
+//! Nexia-List desktop library (for mobile targets)
 
 #![forbid(unsafe_code)]
 pub use nexia_core::*;
diff --git a/desktop/src/main.rs b/desktop/src/main.rs
@@ -1,7 +1,7 @@
 // SPDX-License-Identifier: MPL-2.0
 // Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>
 //
-//! Nexia desktop application entry point — Gossamer webview shell.
+//! Nexia-List desktop application entry point — Gossamer webview shell.
 //!
 //! All 11 note-management commands are registered via `gossamer_rs::App::command()`.
 //! Each handler receives a `serde_json::Value` payload and returns
@@ -99,7 +99,7 @@ fn main() -> Result<(), gossamer_rs::Error> {
     let state = std::sync::Arc::new(AppState::default());
 
     // Create the Gossamer webview window matching gossamer.conf.json dimensions.
-    let mut app = App::new("Nexia", 1200, 800)?;
+    let mut app = App::new("Nexia-List", 1200, 800)?;
 
     // -- create_note ----------------------------------------------------------
     {
diff --git a/docs/adr/0003-lambdadelta-lisp-substrate.md b/docs/adr/0003-lambdadelta-lisp-substrate.md
diff --git a/scripts/dev.js b/scripts/dev.js
diff --git a/ui/src/Main.res b/ui/src/Main.res
diff --git a/ui/src/Types.res b/ui/src/Types.res
diff --git a/web/icon.svg b/web/icon.svg
diff --git a/web/index.html b/web/index.html
diff --git a/web/manifest.webmanifest b/web/manifest.webmanifest
diff --git a/web/styles.css b/web/styles.css
