refactor: rename stackur to stapeln (Swedish for 'the stack')

- Renamed project from stackur to stapeln to avoid conflict with existing tools
- stapeln follows Nordic naming pattern (Swedish)
- Added PAGES.md with 3-page architecture:
  - Page 1: Paragon view (vertical stack designer)
  - Page 2: Cisco view (network topology designer)
  - Page 3: Settings (preferences and defaults)

New features:
- Multi-shape containers (box, oval, gateway)
- Nested container support (sidecars)
- Security interface visualization
- Simulation mode (animated packet flow)
- Gap analysis (weak point detection)
- Tauri desktop app architecture
- Supply chain visualization at bottom
- Cerro Torre at pinnacle (top)

Weak points addressed that NO other tool covers:
- Build-time verification
- Transparency logging
- Policy as code
- Zero-copy IPC
- Formal proofs (Idris2)
- Attestation chaining
- Resource affinity
- Type safety
- Visual security indicators
- Audit trail
- Compliance reports

Co-Authored-By: Claude Sonnet 4.5 <noreply@anthropic.com>

Author: Jonathan D.A. Jewell

ARCHITECTURE.md

@@ -1,8 +1,8 @@
-# stackur Architecture
+# stapeln Architecture
 
 ## Overview
 
-stackur is a visual drag-and-drop container stack designer built with:
+stapeln is a visual drag-and-drop container stack designer built with:
 
 - **Frontend**: ReScript-TEA (The Elm Architecture) + Deno
 - **Backend**: Elixir (Phoenix) + Ephapax + Idris2 + Rust
@@ -134,7 +134,7 @@ noPortConflicts : (s : Stack) -> Dec (UniquePortBindings s)
 defmodule Stackur.Validator.Idris do
   # Calls compiled Idris2 executable via Port
   def prove_correctness(stack_json) do
-    Port.open({:spawn_executable, "/usr/local/bin/stackur-prover"},
+    Port.open({:spawn_executable, "/usr/local/bin/stapeln-prover"},
       [:binary, :use_stdio, {:args, [stack_json]}])
   end
 end
@@ -149,7 +149,7 @@ end
 - Memory safety guarantees
 
 ```rust
-// backend/native/stackur_codegen/src/lib.rs
+// backend/native/stapeln_codegen/src/lib.rs
 use rustler::{Encoder, Env, Term};
 use toml::Value;
 
@@ -172,7 +172,7 @@ fn compose_toml_from_stack(stack: &Stack) -> Result<Value, String> {
 **Elixir NIF wrapper**:
 ```elixir
 defmodule Stackur.Codegen do
-  use Rustler, otp_app: :stackur, crate: "stackur_codegen"
+  use Rustler, otp_app: :stapeln, crate: "stapeln_codegen"
 
   def generate_compose_toml(_stack_json), do: :erlang.nif_error(:nif_not_loaded)
   def generate_docker_compose(_stack_json), do: :erlang.nif_error(:nif_not_loaded)

ECOSYSTEM.scm

@@ -1,36 +1,36 @@
 ;; SPDX-License-Identifier: PMPL-1.0-or-later
-;; ECOSYSTEM.scm - stackur's position in the verified container ecosystem
+;; ECOSYSTEM.scm - stapeln's position in the verified container ecosystem
 
 (ecosystem
  (version "1.0")
- (name "stackur")
+ (name "stapeln")
  (type "ui-tool")
  (purpose "Visual drag-and-drop designer for creating container stacks using verified containers")
 
  (position-in-ecosystem
   (role "developer-tool")
   (layer "ui-orchestration")
-  (description "stackur provides a graphical interface for designing multi-container stacks using Cerro Torre, Svalinn, selur, and Vörðr. It generates compose.toml files for selur-compose and validates stack configurations using formal verification."))
+  (description "stapeln provides a graphical interface for designing multi-container stacks using Cerro Torre, Svalinn, selur, and Vörðr. It generates compose.toml files for selur-compose and validates stack configurations using formal verification."))
 
  (related-projects
   ((name . "selur-compose")
    (relationship . "sibling-standard")
-   (description . "stackur generates compose.toml files that selur-compose consumes for deployment"))
+   (description . "stapeln generates compose.toml files that selur-compose consumes for deployment"))
   ((name . "cerro-torre")
    (relationship . "sibling-standard")
-   (description . "stackur includes Cerro Torre as a draggable component for .ctp bundle creation"))
+   (description . "stapeln includes Cerro Torre as a draggable component for .ctp bundle creation"))
   ((name . "svalinn")
    (relationship . "sibling-standard")
-   (description . "stackur models Svalinn as an edge gateway component in the stack"))
+   (description . "stapeln models Svalinn as an edge gateway component in the stack"))
   ((name . "selur")
    (relationship . "sibling-standard")
-   (description . "stackur represents selur as the IPC bridge layer between components"))
+   (description . "stapeln represents selur as the IPC bridge layer between components"))
   ((name . "vordr")
    (relationship . "sibling-standard")
-   (description . "stackur models Vörðr as the container runtime/orchestrator"))
+   (description . "stapeln models Vörðr as the container runtime/orchestrator"))
   ((name . "verified-container-spec")
    (relationship . "protocol-specification")
-   (description . "stackur validates generated stacks against verified-container-spec schemas"))
+   (description . "stapeln validates generated stacks against verified-container-spec schemas"))
   ((name . "rescript-tea")
    (relationship . "inspiration")
    (description . "TEA architecture for predictable UI state management"))
@@ -62,22 +62,22 @@
  (integration-points
   ((component . "selur-compose")
    (method . "compose-toml-export")
-   (description . "stackur exports compose.toml files that selur-compose can deploy"))
+   (description . "stapeln exports compose.toml files that selur-compose can deploy"))
   ((component . "cerro-torre")
    (method . "ct-cli-integration")
-   (description . "stackur can invoke ct commands for bundle creation"))
+   (description . "stapeln can invoke ct commands for bundle creation"))
   ((component . "podman")
    (method . "api-client")
-   (description . "stackur can deploy directly to Podman via HTTP API"))
+   (description . "stapeln can deploy directly to Podman via HTTP API"))
   ((component . "docker")
    (method . "api-client")
-   (description . "stackur can deploy directly to Docker via HTTP API"))
+   (description . "stapeln can deploy directly to Docker via HTTP API"))
   ((component . "nerdctl")
    (method . "cli-wrapper")
-   (description . "stackur can deploy via nerdctl CLI")))
+   (description . "stapeln can deploy via nerdctl CLI")))
 
  (what-this-is
-  "A visual drag-and-drop web application for designing container stacks using the verified-container-spec ecosystem. Users drag components (Cerro Torre, Svalinn, selur, Vörðr, Podman/Docker/nerdctl) onto a canvas, connect them, configure them, and stackur generates compose.toml files for deployment. The backend uses Elixir/Phoenix for API, Ephapax for linear type validation, AffineScript for resource constraints, Idris2 for formal proofs, and Rust for code generation. The frontend is pure ReScript-TEA running on Deno. Named 'stackur' (Icelandic for 'stack' with designer suffix) to match the Nordic naming theme.")
+  "A visual drag-and-drop web application for designing container stacks using the verified-container-spec ecosystem. Users drag components (Cerro Torre, Svalinn, selur, Vörðr, Podman/Docker/nerdctl) onto a canvas, connect them, configure them, and stapeln generates compose.toml files for deployment. The backend uses Elixir/Phoenix for API, Ephapax for linear type validation, AffineScript for resource constraints, Idris2 for formal proofs, and Rust for code generation. The frontend is pure ReScript-TEA running on Deno. Named 'stapeln' (Icelandic for 'stack' with designer suffix) to match the Nordic naming theme.")
 
  (what-this-is-not
   "Not a container runtime (use Podman/Docker/nerdctl). Not a CLI tool (use selur-compose for CLI). Not a replacement for compose files (generates them). Not a general-purpose diagram tool (specific to verified containers). Not a monitoring dashboard (focused on design/configuration). Not a CI/CD system (generates configs for deployment)."))