specsmith: add bdd scenarios for gate and cockpit 🧪

[EffortlessSteven]

Added BDD-style documentation tests (bdd_gate_scenarios_w50.rs and bdd_cockpit_scenarios_w50.rs) to formally document and verify the Given/When/Then user-facing contracts around CI ratchet failures and PR Markdown generation. This increases regression protection for the CLI interfaces.

---

PR created automatically by Jules for task 1016234727876789539 started by @EffortlessSteven

[google-labs-jules]

👋 Jules, reporting for duty! I'm here to lend a hand with this pull request.

When you start a review, I'll add a 👀 emoji to each comment to let you know I've read it. I'll focus on feedback directed at me and will do my best to stay out of conversations between you and other bots or reviewers to keep the noise down.

I'll push a commit with your requested changes shortly after. Please note there might be a delay between these steps, but rest assured I'm on the job!

For more direct control, you can switch me to Reactive Mode. When this mode is on, I will only act on comments where you specifically mention me with @jules. You can find this option in the Pull Request section of your global Jules UI settings. You can always switch back!

New to Jules? Learn more at jules.google/docs.

---

For security, I will only act on instructions from the user who triggered this task.

[gemini-code-assist]

Warning

You have reached your daily quota limit. Please wait up to 24 hours and I will start processing your requests again!

[coderabbitai]

Warning

Review limit reached

@EffortlessSteven, we couldn't start this review because you've reached your PR review rate limit.

More reviews will be available in 39 minutes and 20 seconds. Learn how PR review limits work.

Your organization has used up its prepaid credits, and credit purchases are no longer available. Enable the review add-on in the billing tab to keep reviews running — you're only billed for reviews past your plan's rate limits ($0.25/file).

⌛ How to resolve this issue?

After more reviews become available, a review can be triggered using the @coderabbitai review command as a PR comment. Alternatively, push new commits to this PR.

We recommend that you space out your commits to avoid hitting the rate limit.

🚦 How do rate limits work?

CodeRabbit enforces hourly rate limits for each developer per organization.

Our paid plans include higher PR review limits than trial, open-source, and free plans. In all cases, reviews become available again over time. During sustained high-volume PR review activity, CodeRabbit may temporarily slow when the next review becomes available.

Please see our Fair Usage Limits Policy for further information.

ℹ️ Review info

⚙️ Run configuration

Configuration used: Organization UI

Review profile: ASSERTIVE

Plan: Pro

Run ID: ae27e361-0677-4bb5-b70c-c4bf213dfc17

📥 Commits

Reviewing files that changed from the base of the PR and between a6b9118 and dbe3812.

📒 Files selected for processing (9)

• .jules/runs/run-specsmith-interfaces/decision.md
• .jules/runs/run-specsmith-interfaces/envelope.json
• .jules/runs/run-specsmith-interfaces/plan.md
• .jules/runs/run-specsmith-interfaces/pr_body.md
• .jules/runs/run-specsmith-interfaces/receipts.jsonl
• .jules/runs/run-specsmith-interfaces/result.json
• ci/proof.toml
• crates/tokmd/tests/bdd_cockpit_scenarios_w50.rs
• crates/tokmd/tests/bdd_gate_scenarios_w50.rs

✨ Finishing Touches

🧪 Generate unit tests (beta)

• Create PR with unit tests
• Commit unit tests in branch specsmith-interfaces-bdd-coverage-1016234727876789539

---

Thanks for using CodeRabbit! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out.

❤️ Share

• X
• Mastodon
• Reddit
• LinkedIn

_{Comment @coderabbitai help to get the list of available commands and usage tips.}

[factory-droid]

Droid encountered an error —— View job

---

Droid is reviewing code and running a security check…

[github-actions]

Glass Cockpit

Base: origin/main
Head: HEAD

Change Surface:

• Files: 9
• Insertions: 388
• Deletions: 0

Composition:

• Code: 0.0%
• Test: 25.0%
• Docs: 37.5%
• Config: 37.5%

Contracts:

• API: No
• CLI: No
• Schema: No

Health: 100/100 (A)
Risk: low (0/100)

Review Plan

• ci/proof.toml (priority: 1)
• .jules/runs/run-specsmith-interfaces/pr_body.md (priority: 2)
• crates/tokmd/tests/bdd_cockpit_scenarios_w50.rs (priority: 2)
• crates/tokmd/tests/bdd_gate_scenarios_w50.rs (priority: 2)
• .jules/runs/run-specsmith-interfaces/decision.md (priority: 3)
• .jules/runs/run-specsmith-interfaces/envelope.json (priority: 3)
• .jules/runs/run-specsmith-interfaces/plan.md (priority: 3)
• .jules/runs/run-specsmith-interfaces/receipts.jsonl (priority: 3)
• .jules/runs/run-specsmith-interfaces/result.json (priority: 3)

Receipts

Full receipt data available in JSON format.

[factory-droid]

Droid finished @EffortlessSteven's task —— View job

---

✅ Droid review complete — no actionable findings.

Summary: This PR is a clean, additive test-only change that adds BDD scenario tests for the gate and cockpit CLI commands and updates ci/proof.toml to include the new test files in the appropriate scope paths. The new test files follow the existing BDD test patterns (bdd_analyze_scenarios_w50.rs, bdd_lang_scenarios_w50.rs, etc.) and use the shared common test helper module. All assertions were verified to match production output: the gate ratchet error message format, the gate pass/fail output (PASSED/FAILED), the cockpit markdown section headers, and the cockpit JSON envelope structure. The ci/proof.toml change correctly adds the new test files to the tokmd_gate and tokmd_cockpit scope blocks in alphabetical order. No high-confidence actionable bugs found.