diff --git a/ARCHITECTURE.md b/ARCHITECTURE.md
deleted file mode 100644
index 607e3d8..0000000
--- a/ARCHITECTURE.md
+++ /dev/null
@@ -1,47 +0,0 @@
-# Architecture
-
-## Overview
-
-This repository follows a modular, maintainable architecture designed for clarity, scalability, and long-term sustainability.
-
-## Directory Structure
-
-```
-.
-├── src/           # Source code
-├── tests/        # Test suites
-├── docs/         # Documentation
-├── scripts/      # Utility scripts
-├── config/       # Configuration files
-├── LICENSE       # License file
-├── LICENSES/     # Full license texts
-└── README.adoc   # Project documentation
-```
-
-## Design Principles
-
-- **Separation of Concerns**: Each module has a single responsibility
-- **Testability**: Code is written to be easily testable
-- **Documentation**: All public APIs are documented
-- **Configuration**: Environment-specific settings are externalized
-
-## Dependencies
-
-- External dependencies are minimized and clearly declared
-- Version pinning is used for reproducibility
-
-## Security Considerations
-
-- Sensitive data is never committed to the repository
-- Secrets are managed through environment variables or secure vaults
-- Regular dependency audits are performed
-
-## Maintainability
-
-- Code follows consistent style guidelines
-- Pull requests require review and CI checks
-- Issues and discussions are tracked transparently
-
----
-
-*Last updated: 2026-07-18*
diff --git a/docs/status/CICD-REMEDIATION.adoc b/docs/status/CICD-REMEDIATION.adoc
index 3a790b2..97bd9c0 100644
--- a/docs/status/CICD-REMEDIATION.adoc
+++ b/docs/status/CICD-REMEDIATION.adoc
@@ -36,7 +36,7 @@ in CI today because the checks that would catch them are either vacuous or unwir
 | `Types.idr` / `Foreign.idr` / `Layout.idr` all fail `idris2 --check` with
   `Expected a capitalised identifier, got: the` — the `module the-nash-equilibrium.ABI.*`
   declaration has hyphens + a lowercase-leading segment (invalid namespace). *Never
-  compiled.* `Layout.idr` also has 3 unfilled proof holes. Root cause: `{{PROJECT_NAME}}`
+  compiled.* `Layout.idr` also has 3 unfilled proof holes. Root cause: `The Nash Equilibrium (Econosphere)`
   substituted literally into identifier position.
 | PUSHABLE-NOW (rename namespace) + follow-up (fill proofs)
 
@@ -115,7 +115,7 @@ file/grep contractiles.
 == Remediation buckets
 
 *PUSHABLE-NOW* (non-workflow files; no scope needed)::
-Rename the Idris2/Zig namespaces off the hyphenated `{{PROJECT_NAME}}`; wire the Zig
+Rename the Idris2/Zig namespaces off the hyphenated `The Nash Equilibrium (Econosphere)`; wire the Zig
 test step; fix `validate-state`/`validate-rsr`/`verify` paths to `6a2/`; fix
 `crg-grade`/`crg-badge` `$$` bug; fill placeholder tokens (where owner values are
 known); create `docs/AI_INSTALLATION_GUIDE.adoc`; de-`rsr-template-repo` the Justfile.