Cross-repo audit after colibri PR #75 and clawdie-iso PR #59. Four items:
1. CRITICAL: clippy broken on colibri main (serve() returns io::Result,
4 test call sites don't handle it)
2. build.sh bare $(hostname) in rc.conf write
3. build.sh chmod 0755 too wide for colibri service dirs
4. Colibri staging script stale vs ISO repo version
Includes context on what was already fixed and what's not a bug.
Keep the actual tests; remove the meta-ceremony around them.
- Delete the `proof-gate-tracker` bin (tools/proof-gate-tracker.rs + its
Cargo.toml [[bin]] entry): it was a status reporter that re-checked golden
fixtures the real tests already cover — not a test itself.
- Delete tools/README.md (its only subject was the tracker + a duplicate handoff
template; tools/ is now empty).
- AGENTS.md: drop the "Proof gate tracker" and "Platform matrix" bullets from
the Multiagent Workflow ritual.
Kept: tests/platform-matrix.rs (a real `cargo test`, still runs under
`cargo test --workspace`), the external MCP smoke, and all unit/integration
tests. The anti-fixed-count guidance in AGENTS.md already stands.
Checks: cargo metadata OK; ./scripts/check-format.sh clean.
Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
