colibri/tools
Sam & Claude 78374d0871 chore: adopt markdown formatting gate + one-shot prettier sweep (Sam & Claude)
colibri had no Prettier config or gate, so its markdown drifted freely (22/31
files failed Prettier). Mirror the clawdie-iso gate so docs stay consistent:

- .prettierrc: same as clawdie-iso — proseWrap=preserve, printWidth=80, and
  embeddedLanguageFormatting=off for *.md so fenced code (JSON/mermaid/shell in
  the graph + design docs) is left exactly as written.
- .prettierignore: target/, scratch dirs, CHANGELOG.
- scripts/check-format.sh: `prettier@3 --check '**/*.md'` (run before pushing).
- AGENTS.md: "Markdown Formatting Gate" section documenting the workflow.
- One-shot `prettier --write` across all markdown. Pure formatting — only
  emphasis-marker (*x* -> _x_), list-bullet, table-padding, and blank-line
  normalization; no prose/command/code-fence content changed.

Gate now green (`./scripts/check-format.sh` → all matched files pass).
Docs-only + tooling — no Rust touched, no rebuild.

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
2026-06-04 20:13:47 +02:00
..
proof-gate-tracker.rs Add Colibri operator smoke CLI helpers 2026-05-27 12:19:24 +02:00
README.md chore: adopt markdown formatting gate + one-shot prettier sweep (Sam & Claude) 2026-06-04 20:13:47 +02:00

Colibri Tools

This directory contains utility tools for the Colibri multiagent development workflow.

proof-gate-tracker

Automated proof gate validation tool that checks the status of all 6 migration proof gates.

Usage

# Build and run
cargo run --release --bin proof-gate-tracker

# Or build and run directly
cargo build --release --bin proof-gate-tracker
./target/release/proof-gate-tracker

Proof Gates Checked

  1. Gate #1 - Contracts: Validates golden test fixtures exist and are valid JSON
  2. Gate #2 - Cache Manifest: Verifies DeepSeek cache hit manifests exist for osa + domedog
  3. Gate #3 - Runtime Inventory: Ensures runtime inventory parity across all platforms
  4. Gate #4 - Cross-Platform: Runs cargo check --workspace to ensure build passes
  5. Gate #5 - Watchdog: Validates osa watchdog socket read successful
  6. Gate #6 - Caller Inventory: Checks caller inventory documentation exists (precondition check)

Exit Codes

  • 0: All critical gates passing
  • 1: Some critical gates failing

Integration with CI/CD

# Example GitHub Actions
- name: Validate Proof Gates
  run: cargo run --release --bin proof-gate-tracker

Platform Matrix Tests

Cross-platform smoke tests are located in tests/platform-matrix.rs.

Usage

# Run all platform matrix tests
cargo test --test platform-matrix

# Run with output
cargo test --test platform-matrix -- --nocapture

# Run specific test
cargo test --test platform-matrix all_platforms_validate_core_features -- --nocapture

Tests Included

  • all_platforms_validate_core_features: Validates all platforms (FreeBSD/Linux) have valid manifests
  • freebsd_specific_tests: FreeBSD-specific validations (osa)
  • linux_specific_tests: Linux-specific validations (domedog, debby)
  • cache_economics_parity: Verifies cache hit rate consistency across platforms

Multiagent Workflow Tools

Agent Handoff Protocol

See .agent-handoff.md for the standardized handoff protocol used between agents.

Handoff Template

{
  "agent_from": "agent_name",
  "agent_to": "agent_name",
  "focus_area": "brief description",
  "proof_gates_pending": ["gate-1", "gate-2"],
  "known_limitations": ["limitation 1"],
  "next_steps": ["step 1", "step 2"],
  "context_files": ["file1.rs", "file2.md"],
  "test_evidence": ["manifests/file1.json"]
}

Handoff Checklist

  • All tests pass (cargo test --workspace)
  • Relevant proof gates documented
  • Cross-platform validation recorded
  • Next agent's entry point marked
  • Handoff entry added to .agent-handoff.md