ci: stop gating generated specs and SDKs at PR time

[Verdenroz]

Description

The generator behind openapi.yaml, asyncapi.yaml, mcp-tools.json and the Python SDK reads the hand-authored manifests in server/spec/routes.rs and finance-query-mcp/spec/routes.rs, not the axum router or the #[tool] impls. A route missing from its manifest is missing from both sides of a spec gen --check comparison, so the check passes green on exactly the mistake it looks like it would catch. spec check, which reconciles the manifests against the actual handlers, is the step with teeth there and it stays. Dropping the three --check steps lets the bot land the regenerated files after merge and makes make sdk convenience rather than a required step before opening a PR.

The workflow half of #482 is here. The documentation half cannot be. CLAUDE.md and .claude/** are gitignored (.gitignore:9 and .gitignore:22) and exist only as untracked files in each clone, so no commit can reach them. They still tell the reader that CI gates the generated specs with spec gen --check and sdk gen --check, which stops being true when this merges. The issue stays open until that drift is handled.

Type of Change

• Bug fix (non-breaking change which fixes an issue)
• New feature (non-breaking change which adds functionality)
• Breaking change (fix or feature that causes existing functionality to change)
• Documentation update
• Refactoring (no functional changes)
• Performance improvement

Changes

• Removed the spec gen --check and sdk gen --check steps from the Spec & SDK (server) job.
• Removed the spec gen --check step from the Spec (MCP) job.
• Kept spec check in both jobs. It reconciles the route and tool manifests against the handlers and is unaffected by this change.
• Kept spec gate and its --from-committed flag, with a comment recording why the flag is there and what a stale base spec looks like.

Breaking Changes

None. No library, server, or MCP code changes. The generated artifacts are still generated and still must not be hand-edited; only the point at which they get regenerated moves from before the PR to after the merge.

Testing

• Unit tests added/updated
• Integration tests added/updated
• Manual testing performed
• All tests pass (cargo test)

The change is YAML only, so no cargo gate applies and the boxes above stay unticked. What ran:

• python3 -c "import yaml; yaml.safe_load(open('.github/workflows/soothfast.yml'))" parses.
• zizmor --no-online-audits .github/workflows/soothfast.yml reports no findings (10 suppressed).
• prek run --files .github/workflows/soothfast.yml passes.
• actionlint did not run. It is not installed on the machine this was written on.

The real verification is post-merge and cannot be performed here. The signal to watch: the first PR that changes a route or a tool without running make sdk should pass CI, and the regenerated openapi.yaml, asyncapi.yaml, mcp-tools.json and sdks/** should then show up in the bot's bot/derived-artifacts PR.

Documentation

• Code documentation updated (doc comments)
• README updated (if needed)
• CHANGELOG.md updated (if releasing)
• Examples updated (if API changed)

The documentation that needs this change is untracked. See the Description.

Checklist

• Code compiles without warnings (cargo check)
• Tests pass (cargo test)
• Code formatted (cargo fmt)
• Clippy checks pass (cargo clippy)
• Documentation builds (cargo doc --no-deps)
• Commit messages follow Conventional Commits

Related Issues

Refs #482

Stacks on #486. Base is ci/collapse-bot-regeneration and this must merge after it. #486 already routes the generated specs and SDKs through the bot's single land.sh call, which is what makes removing these gates safe.

[soothfast-bot]

soothfast gate

finance-query

ok    finance_query::ticker_quote_then_cached allocs 4 -> 4 (allowed <= 4)
ok    finance_query::ticker_quote_then_cached alloc_bytes 43864 -> 43864 (allowed <= 46057)
ok    finance_query::tickers_batch_quote_then_cached walltime_median_ns 9836.9 -> 9836.9 (+0.0%)
ok    finance_query::tickers_batch_quote_then_cached allocs 16 -> 16 (allowed <= 16)
ok    finance_query::tickers_batch_quote_then_cached alloc_bytes 134810 -> 134810 (allowed <= 141550)
ok    finance_query::translate_dictionary walltime_median_ns 1882.2 -> 1882.2 (+0.0%)
ok    finance_query::translate_dictionary allocs 49 -> 49 (allowed <= 51)
ok    finance_query::translate_dictionary alloc_bytes 2880 -> 2880 (allowed <= 3024)
ok    finance_query::translation_set_backend walltime_median_ns 18.0 -> 18.0 (+0.0%)
ok    finance_query::translation_set_backend allocs 1 -> 1 (allowed <= 1)
ok    finance_query::translation_set_backend alloc_bytes 16 -> 16 (allowed <= 16)
ok    finance_query::translation_translate walltime_median_ns 3561.7 -> 3561.7 (+0.0%)
ok    finance_query::translation_translate allocs 79 -> 79 (allowed <= 82)
ok    finance_query::translation_translate alloc_bytes 6298 -> 6298 (allowed <= 6612)
ok    finance_query::translation_translate_with walltime_median_ns 3468.1 -> 3468.1 (+0.0%)
ok    finance_query::translation_translate_with allocs 77 -> 77 (allowed <= 80)
ok    finance_query::translation_translate_with alloc_bytes 6294 -> 6294 (allowed <= 6608)
ok    finance_query::bt_base_to_htf_index assert complexity: claimed O(n); growth drift x1.21 over sizes [1024, 4096, 16384] (limit x2.5)
ok    finance_query::bt_resample assert complexity: claimed O(n); growth drift x0.95 over sizes [1024, 4096, 16384] (limit x2.5)
ok    finance_query::bt_sma_crossover assert complexity: claimed O(n); growth drift x1.04 over sizes [1024, 4096, 16384] (limit x2.5)
ok    finance_query::capability_name assert alloc: allocs 0 <= 0
ok    finance_query::de_quote assert p99: p99 1018654ns <= 3000000ns
ok    finance_query::dispatch_select assert alloc: allocs 0 <= 0
ok    finance_query::ind_patterns assert complexity: claimed O(n); growth drift x0.95 over sizes [1024, 4096, 16384] (limit x2.5)
ok    finance_query::ind_sma assert alloc: allocs 1 <= 1
ok    finance_query::ind_sma assert p99: p99 384262ns <= 1000000ns
ok    finance_query::ind_sma assert complexity: claimed O(n); growth drift x1.01 over sizes [1000, 10000, 100000] (limit x2.5)
ok    finance_query::risk_beta assert alloc: allocs 0 <= 0
ok    finance_query::risk_beta assert complexity: claimed O(n); growth drift x1.02 over sizes [1024, 4096, 16384] (limit x2.5)
ok    finance_query::risk_calmar assert alloc: allocs 0 <= 0
ok    finance_query::risk_historical_var assert alloc: allocs 2 <= 2
ok    finance_query::risk_historical_var assert complexity: claimed O(n log n); growth drift x1.18 over sizes [1000, 10000, 100000] (limit x2.5)
ok    finance_query::risk_max_drawdown assert alloc: allocs 1 <= 1
ok    finance_query::risk_parametric_var assert alloc: allocs 0 <= 0
ok    finance_query::risk_parametric_var assert complexity: claimed O(n); growth drift x1.01 over sizes [1024, 4096, 16384] (limit x2.5)
ok    finance_query::risk_sharpe assert alloc: allocs 0 <= 0
ok    finance_query::risk_sharpe assert complexity: claimed O(n); growth drift x1.00 over sizes [1024, 4096, 16384] (limit x2.5)
ok    finance_query::risk_sortino assert alloc: allocs 0 <= 0
ok    finance_query::risk_sortino assert complexity: claimed O(n); growth drift x1.01 over sizes [1024, 4096, 16384] (limit x2.5)
gate: passed (180 item(s))