[gHashTag]

Summary

• Fix compile-all: Auto-detects the repo root by searching for specs/ directory up from CWD (up to 3 parent levels). Previously returned 0 files when run from bootstrap/ or any subdirectory. Added --specs-dir flag for explicit override.
• Add stats command: t27c stats displays repository statistics — spec files, functions, tests, invariants, benchmarks, conformance files, seals, backends, CLI commands, compiler LOC, and fixed point ring status.

Example output

$ t27c stats
T27 Repository Statistics
========================
Spec files:     43 (28 in specs/, 15 in compiler/)
Functions:      363
Tests:          1121
Invariants:     641
Benchmarks:     301
Conformance:    11 JSON files
Seals:          43 saved
Backends:       3 (Zig, Verilog, C)
CLI commands:   10
Compiler LOC:   4957
Fixed point:    REACHED (ring-17)
phi^2 + 1/phi^2 = 3 | TRINITY

Closes #62

Test plan

• t27c compile-all from repo root produces 43 files
• t27c compile-all from bootstrap/ subdirectory auto-detects and produces 43 files
• t27c compile-all --specs-dir <path> works with explicit path
• t27c stats shows correct counts matching actual file/line analysis
• cargo build passes with no errors

🤖 Generated with Claude Code