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> |
||
|---|---|---|
| .. | ||
| proof-gate-tracker.rs | ||
| README.md | ||
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
- Gate #1 - Contracts: Validates golden test fixtures exist and are valid JSON
- Gate #2 - Cache Manifest: Verifies DeepSeek cache hit manifests exist for osa + domedog
- Gate #3 - Runtime Inventory: Ensures runtime inventory parity across all platforms
- Gate #4 - Cross-Platform: Runs
cargo check --workspaceto ensure build passes - Gate #5 - Watchdog: Validates osa watchdog socket read successful
- Gate #6 - Caller Inventory: Checks caller inventory documentation exists (precondition check)
Exit Codes
0: All critical gates passing1: 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 manifestsfreebsd_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