Add hero banner + complete StatistEase → Statistikles rename (#28)

The repo was renamed to `statistikles` on GitHub, but the project
identity still read `statistease`/`StatistEase` throughout the tree.
This finishes propagating the rename and adds the hero image to the
README.

## Image
- New `assets/statistikles-hero.png` referenced as a banner under the
README title.

## Rename (82 files)
- **Julia:** `module StatistEase` → `Statistikles`; `src/StatistEase.jl`
→ `src/Statistikles.jl`; `Project.toml` name (UUID unchanged).
- **Agda:** `proofs/StatistEase/` → `proofs/Statistikles/`, module
decls, and `statistease-proofs.agda-lib` →
`statistikles-proofs.agda-lib`.
- **FFI / C-ABI:** `statistease_*` → `statistikles_*`, `libstatistease`,
`statistease.h`.
- **Env vars:** `STATISTEASE_*` → `STATISTIKLES_*`; container tags
`statistease:latest`.
- **URLs:** `github.com/hyperpolymath/statistease` → `.../statistikles`.
- **PLACEHOLDERS.md:** template now tracks `statistikles` as the current
project name.

Case-sensitive substitution across all four casings; slug in URLs kept
lowercase. `git grep -i statistease` now returns 0.

🤖 Generated with [Claude Code](https://claude.com/claude-code)

Co-authored-by: Claude Opus 4.8 (1M context) <noreply@anthropic.com>

Author: hyperpolymath

.conflow.yaml

@@ -2,7 +2,7 @@
 // Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 # conflow pipeline - Full generate → validate → export
 version: "1"
-name: "statistease"
+name: "statistikles"
 
 stages:
   - name: "generate"

.devcontainer/Containerfile

@@ -1,9 +1,9 @@
 # SPDX-License-Identifier: MPL-2.0
 # Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>
 #
-# Dev Container image for StatistEase
+# Dev Container image for Statistikles
 # Base: Chainguard Wolfi (minimal, supply-chain-secure)
-# Build: podman build -t StatistEase-dev -f .devcontainer/Containerfile .
+# Build: podman build -t Statistikles-dev -f .devcontainer/Containerfile .
 
 FROM cgr.dev/chainguard/wolfi-base:latest
 
@@ -24,7 +24,7 @@ RUN groupadd -g 1000 nonroot || true \
     && useradd -m -u 1000 -g 1000 -s /bin/bash nonroot || true
 
 # Set workspace directory
-WORKDIR /workspaces/StatistEase
+WORKDIR /workspaces/Statistikles
 
 # Default shell
 ENV SHELL=/bin/bash

.devcontainer/README.adoc

@@ -25,4 +25,4 @@ This dev container uses `cgr.dev/chainguard/wolfi-base` with git, curl, bash, an
 
 == Customization
 
-Replace `StatistEase` placeholders in both `devcontainer.json` and `Containerfile` with your actual project name. Run `just deps` to verify the environment after first launch.
+Replace `Statistikles` placeholders in both `devcontainer.json` and `Containerfile` with your actual project name. Run `just deps` to verify the environment after first launch.

.devcontainer/devcontainer.json

@@ -1,11 +1,11 @@
 // SPDX-License-Identifier: MPL-2.0
 // Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>
 //
-// Dev Container configuration for StatistEase
+// Dev Container configuration for Statistikles
 // Works with: VS Code Dev Containers, GitHub Codespaces, Gitpod
 // Container runtime: Podman (recommended) or any OCI-compliant runtime
 {
-  "name": "StatistEase",
+  "name": "Statistikles",
 
   "build": {
     "dockerfile": "Containerfile",

.editorconfig

@@ -1,4 +1,4 @@
-# statistease - Editor Configuration
+# statistikles - Editor Configuration
 # https://editorconfig.org
 
 root = true

.envrc

@@ -18,7 +18,7 @@ if has nix && [ -f flake.nix ]; then
 fi
 
 # Project environment variables
-export PROJECT_NAME="StatistEase"
+export PROJECT_NAME="Statistikles"
 export RSR_TIER="infrastructure"
 # export DATABASE_URL="..."
 # export API_KEY="..."

.github/workflows/e2e.yml

@@ -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>
 #
-# StatistEase — E2E + Aspect Tests
+# Statistikles — E2E + Aspect Tests
 #
 # Runs the Julia test suite (478 tests, 10 Agda proofs, 8 integrations).
 

.machine_readable/6a2/ECOSYSTEM.a2ml

@@ -8,7 +8,7 @@ version = "0.1.0"
 last-updated = "2026-02-20"
 
 [project]
-name = "StatistEase"
+name = "Statistikles"
 purpose = "Neurosymbolic statistical analysis — LLMs route, Julia computes, nothing is fabricated"
 role = "application"
 
@@ -22,7 +22,7 @@ projects = [
   { name = "echidna", relationship = "integration", note = "Proof verification via GraphQL — explain_that/prove_that functions" },
   { name = "hypatia", relationship = "integration", note = "Neurosymbolic CI/CD scanning" },
   { name = "verisimdb", relationship = "data-source", note = "Vulnerability and verification data" },
-  { name = "panic-attacker", relationship = "tooling", note = "Security scanning of statistease itself" },
+  { name = "panic-attacker", relationship = "tooling", note = "Security scanning of statistikles itself" },
   { name = "gitbot-fleet", relationship = "automation", note = "Bot orchestration for CI/CD" },
   { name = "eclexia", relationship = "sibling", note = "Programming language with shadow pricing — parallel neurosymbolic approach" },
 ]

.machine_readable/6a2/NEUROSYM.a2ml

@@ -3,7 +3,7 @@
 #
 # NEUROSYM.a2ml — Neurosymbolic integration metadata
 #
-# StatistEase is a TEXTBOOK example of Kautz Type 1 neurosymbolic architecture.
+# Statistikles is a TEXTBOOK example of Kautz Type 1 neurosymbolic architecture.
 # This file documents the neural-symbolic boundary and the MOLLOCK RULE.
 
 [metadata]
@@ -19,7 +19,7 @@ boundary = "src/tools/executor.jl — the execute_tool() function is the neural
 
 [mollock-rule]
 # A MOLLOCK is a plausible-sounding fabricated statistical output from neural inference.
-# This is the CORE INVARIANT of StatistEase.
+# This is the CORE INVARIANT of Statistikles.
 definition = "No statistical value may ever be produced by neural inference"
 enforcement = [
   "Tool dispatch architecture — LLM can only call predefined Julia functions",

.machine_readable/6a2/STATE.a2ml

@@ -3,13 +3,13 @@
 # STATE.a2ml — Project state checkpoint
 
 [metadata]
-project = "StatistEase"
+project = "Statistikles"
 version = "0.1.0"
 last-updated = "2026-03-29"
 status = "active"
 
 [project-context]
-name = "StatistEase"
+name = "Statistikles"
 purpose = "Neurosymbolic statistical analysis assistant — Julia symbolic computation + LLM natural language interface"
 completion-percentage = 70