Standardize workspace: Capitalize Justfile references in scripts and docs

Author: hyperpolymath

CLAUDE.adoc

@@ -64,7 +64,7 @@ absolute-zero/
 ├── README.md                 # Comprehensive research documentation
 ├── LICENSE-AGPL3.md          # AGPL 3.0 license
 ├── LICENSE-PALIMPSEST.md     # Palimpsest 0.5 academic license
-├── justfile                  # Build automation (used on GitLab)
+├── Justfile                  # Build automation (used on GitLab)
 │
 ├── interpreters/
 │   └── rescript/

CONTRIBUTING.md

@@ -42,7 +42,7 @@ just test    # Run test suite
 ├── README.adoc
 ├── SECURITY.md
 ├── flake.nix            # Nix flake (Perimeter 1)
-└── justfile             # Task runner (Perimeter 1)
+└── Justfile             # Task runner (Perimeter 1)
 ```
 
 ---

CURRENT-STATUS.md

@@ -16,7 +16,7 @@
 
 ### 3. ECHIDNA Integration ✅ DONE
 - **Time**: ~30 minutes
-- **Result**: Scripts, justfile recipes, ready to use
+- **Result**: Scripts, Justfile recipes, ready to use
 - **Status**: Can now run `just echidna-list`, `just echidna-suggest`, etc.
 - **Commit**: c181523
 

ECHIDNA-NEUROSYM-INTEGRATION.adoc

@@ -311,8 +311,8 @@ CNO-specific tactics:
 ```bash
 cd ~/Documents/hyperpolymath-repos/absolute-zero
 
-# Create justfile recipe
-cat >> justfile <<'EOF'
+# Create Justfile recipe
+cat >> Justfile <<'EOF'
 
 # ============================================================================
 # ECHIDNA Neurosymbolic Integration

INTEGRATION-STATUS-2026-02-05.adoc

@@ -48,7 +48,7 @@
 **Infrastructure Setup**:
 * Built ECHIDNA from source (cargo build --release)
 * Created `scripts/use-echidna.sh` wrapper script
-* Added justfile recipes:
+* Added Justfile recipes:
   - `just echidna-list` - List Admitted proofs
   - `just echidna-suggest <file>` - Get tactic suggestions
   - `just echidna-complete <file>` - Auto-complete attempts

PROOF-VS-TEST-SUBJECTS.adoc

@@ -130,7 +130,7 @@ absolute-zero/
 │   └── whitespace/            # ❌ README mentions Python, doesn't exist
 │
 ├── package.json               # ⚠️ Only TypeScript compilation
-└── justfile                   # ⚠️ References Python that doesn't exist
+└── Justfile                   # ⚠️ References Python that doesn't exist
 ```
 
 === What Needs to Change
@@ -146,7 +146,7 @@ cargo new --lib interpreters/brainfuck-rs
 cargo new --lib interpreters/whitespace-rs
 
 # 3. Update README.adoc to reflect reality
-# 4. Update justfile recipes
+# 4. Update Justfile recipes
 ```
 
 **Option B: Keep as Test Subjects (Acceptable Exception)**
@@ -282,7 +282,7 @@ Once we prove CNO for mainstream languages:
 * [ ] **Remove outdated Python references** from README
 * [ ] **Clarify package.json** is for TypeScript only (minimal)
 * [ ] **Document**: Malbolge formalization in Coq (already done)
-* [ ] **Update justfile**: Remove Python interpreter recipes
+* [ ] **Update Justfile**: Remove Python interpreter recipes
 
 ### Near-term (v2.0)
 

README.adoc

@@ -74,7 +74,7 @@ absolute-zero/
 ├── papers/                  # Research paper drafts
 │   └── .latex/
 │
-├── justfile                 # Build automation
+├── Justfile                 # Build automation
 ├── Containerfile            # Containerized verification (Podman/Docker)
 ├── VERIFICATION.md          # Detailed verification status
 └── .gitlab-ci.yml           # CI/CD pipeline

ROADMAP-UPDATED.adoc

@@ -80,7 +80,7 @@ absolute-zero/
 * [ ] **Language Policy Cleanup**
   - Remove outdated Python references from README
   - Document: Python is a TEST SUBJECT, not a dependency
-  - Update justfile to remove non-existent Python recipes
+  - Update Justfile to remove non-existent Python recipes
 
 * [ ] **Documentation Audit**
   - Clarify proof systems vs. test subjects

RSR_OUTLINE.adoc

@@ -17,7 +17,7 @@ This repository provides the standardized structure, configuration, and tooling
 
 * Bootstrap new projects with RSR compliance
 * Reference the standard directory structure
-* Copy configuration templates (justfile, STATE.scm, etc.)
+* Copy configuration templates (Justfile, STATE.scm, etc.)
 
 == Quick Start
 
@@ -32,7 +32,7 @@ rm -rf .git
 git init
 
 # Customize
-sed -i 's/RSR-template-repo/my-project/g' justfile guix.scm README.adoc
+sed -i 's/RSR-template-repo/my-project/g' Justfile guix.scm README.adoc
 
 # Enter development environment
 guix shell -D -f guix.scm
@@ -83,7 +83,7 @@ just validate-rsr
 
 == Justfile Features
 
-The template justfile provides:
+The template Justfile provides:
 
 * **~10 billion recipe combinations** via matrix recipes
 * **Cookbook generation**: `just cookbook` → `docs/just-cookbook.adoc`
@@ -109,7 +109,7 @@ just ci             # Full CI pipeline
 
 just validate       # RSR + STATE validation
 just docs           # Generate all docs
-just cookbook       # Generate justfile docs
+just cookbook       # Generate Justfile docs
 
 just guix-shell     # Guix dev environment
 just container-build # Build container
@@ -133,7 +133,7 @@ project/
 │   ├── man/
 │   └── just-cookbook.adoc
 ├── guix.scm               # Guix package
-├── justfile               # Task runner
+├── Justfile               # Task runner
 ├── LICENSE.txt            # Dual license
 ├── README.adoc            # Overview
 ├── RSR_COMPLIANCE.adoc    # Compliance

SESSION-COMPLETE-2026-02-05.adoc

@@ -149,7 +149,7 @@ $ head -1 src/rust/main.rs
 **Changes**:
 * Built ECHIDNA from source (Rust + Julia)
 * Created `scripts/use-echidna.sh` wrapper
-* Added 6 justfile recipes
+* Added 6 Justfile recipes
 * Documented integration status
 
 ---