Pressure-test cleanup + project-directory rename script

Three small residues from the rename pass, plus the helper for the
one rename I cannot do from inside the working tree.

codifide/__main__.py — CLI module docstring still described files
as .nm and was missing the verify and capability subcommands.
Now accurate.

tests/test_parser_fuzz.py — inner docstring said "random .nm-ish
source"; now says "random .cod-ish source".

docs/CANONICAL.md — opener still read "CBOR and a content-addressed
store are planned". Both shipped. Now reads: "canonical form
serializes to both JSON (primary, human-inspectable) and CBOR
(binary, RFC 8949 §4.2 deterministic subset, about 25-30% smaller
than JSON). Content addressing over either byte form is operational
through the symbol store described below."

scripts/rename-project-directory.sh — the parent directory on disk
is still /Users/douglasjones/Projects/Noema. No file inside the
repository depends on that path (imports and references are all
relative), so the rename is purely a disk-layout change. The script
verifies preconditions, performs the mv, and checks the result.
Run from outside the project directory:

    cd ~/Projects
    bash Noema/scripts/rename-project-directory.sh

This is the only remaining rename. After it runs, the project will
live at ~/Projects/Codifide and every reference to "Noema" that
should be historical stays historical (dispatches, session state),
every reference that should be current is Codifide (code, docs,
logos, governance).

Tests: 122 Python, 10 Rust, still green.

Author: Douglas Jones

codifide/__main__.py

@@ -1,14 +1,20 @@
 """Codifide CLI.
 
 Subcommands:
-    run <file.nm>            Parse and execute a Codifide program.
-    canonical <file.nm>      Print the canonical JSON projection.
-    test                     Run the Codifide test suite.
-    store put <file.nm>      Store every symbol in a module by content hash.
-    store get <hash>         Print the canonical JSON for a stored symbol.
-    store list               List every stored symbol identity.
-    store hash <file.nm>     Print (name, hash) pairs for a module's symbols.
-    store index name=<id>... Publish an index module bundling name->id pairs.
+    run <file.cod>            Parse and execute a Codifide program.
+    canonical <file.cod>      Print the canonical JSON projection.
+    verify <file.cod>         Verify a program parses, type-checks,
+                              and canonicalizes cleanly; print per-
+                              symbol content hashes.
+    capability                Print the capability manifest.
+    test                      Run the Codifide test suite.
+    store put <file.cod>      Store every symbol in a module by content hash.
+    store get <hash>          Print the canonical JSON for a stored symbol.
+    store list                List every stored symbol identity.
+    store hash <file.cod>     Print (name, hash) pairs for a module's symbols.
+    store index name=<id>...  Publish an index module bundling name->id pairs.
+    store verify <hash>       Walk a stored module's imports and report
+                              any pointees missing from the store.
 
 The CLI is deliberately minimal. Codifide's surface is a projection; a richer
 interaction is better done over the canonical form (see codifide.projection).

docs/CANONICAL.md

@@ -4,8 +4,11 @@ The canonical form is the source of truth. Surface text is a projection. Two
 programs are the same program iff their canonical forms are equal under the
 normalization rules below.
 
-In v0 we serialize canonical form as JSON. CBOR and a content-addressed store
-are planned.
+In v0.1 the canonical form serializes to both JSON (primary,
+human-inspectable) and CBOR (binary, RFC 8949 §4.2 deterministic
+subset, about 25-30% smaller than JSON). Content addressing over
+either byte form is operational through the symbol store described
+in §Symbol store below.
 
 This document is the specification an independent implementer should be able
 to follow without reading the reference Python source. Where the reference

scripts/rename-project-directory.sh

@@ -0,0 +1,67 @@
+#!/usr/bin/env bash
+# Rename the project's parent directory from Noema to Codifide.
+#
+# This script exists because the Codifide language codebase sits at
+# /Users/douglasjones/Projects/Noema — the parent directory still
+# carries the old name from before the rename. No file inside the
+# repository depends on that path (all imports and paths inside
+# the code are relative), so moving the directory is purely a
+# disk-layout change.
+#
+# Run this script from *outside* the project directory. It cannot
+# rename the directory it is executing inside. After the move, cd
+# into the new location and verify the test suite still passes.
+#
+# Usage:
+#   cd ~/Projects            (or wherever Noema/ lives)
+#   bash Noema/scripts/rename-project-directory.sh
+
+set -euo pipefail
+
+OLD="Noema"
+NEW="Codifide"
+
+here="$(pwd)"
+old_path="${here}/${OLD}"
+new_path="${here}/${NEW}"
+
+if [ ! -d "$old_path" ]; then
+    echo "error: ${old_path} does not exist."
+    echo "Run this script from the directory that contains ${OLD}/"
+    exit 1
+fi
+
+if [ -e "$new_path" ]; then
+    echo "error: ${new_path} already exists. Refusing to clobber."
+    exit 1
+fi
+
+# Guard against running from inside the directory we're moving.
+# `pwd -P` resolves symlinks, matching what macOS gives us.
+case "$here" in
+    "$old_path"|"$old_path"/*)
+        echo "error: you are inside ${old_path}. cd out before running."
+        exit 1
+        ;;
+esac
+
+echo "Moving ${old_path} -> ${new_path}"
+mv "$old_path" "$new_path"
+
+echo "Verifying the move..."
+if [ -d "$new_path/codifide" ] && [ -f "$new_path/README.md" ]; then
+    echo "OK: directory contents look right."
+else
+    echo "warning: expected contents not found. Inspect ${new_path}."
+    exit 1
+fi
+
+echo
+echo "Done. Next steps:"
+echo "  cd ${new_path}"
+echo "  python3 -m codifide test    # confirm 122 passing"
+echo "  cargo test --release -p codifide-canonical  # confirm 10 passing"
+echo
+echo "If you use shell history, IDE workspaces, or Git remotes that"
+echo "reference the old path, update those separately. Nothing inside"
+echo "the repository depends on the parent directory name."

tests/test_parser_fuzz.py

@@ -456,7 +456,7 @@ def _rand_cand_block(rng: random.Random) -> str:
 
 
 def _generate_grammar_adjacent_source(rng: random.Random) -> str:
-    """Compose a random .nm-ish source from mostly-valid fragments."""
+    """Compose a random .cod-ish source from mostly-valid fragments."""
     parts: list[str] = []
     # Maybe a module line.
     if rng.random() < 0.3: