# rust-ai-native-mcp — the server brief {#root}

@status:spec/done

[p01] @fact:SERVED-OVER-MCP-AS-ONE-STDIO-BINARY **What it is.** The AI-Native Rust discipline served over MCP: one
stdio binary, eighteen tools, launched by an agent host straight from
this package's slot. @status:impl/done

[p02] @fact:SERVING-NEEDS-NO-VIBE-ON-THE-MACHINE Serving needs no vibe anywhere on the machine
(PROP-027 §2.6 in the consuming repo; the live chain scrubs PATH to
prove it). @status:impl/done

[p03] @fact:TRANSPORT-IS-THE-VENDORED-MCP-CORE Transport: the vendored `mcp-core` (line-delimited JSON-RPC
2.0, protocol `2024-11-05` — MCP-CORE-v0.1). @status:impl/done

[p04] @fact:THE-TOOLS-CALL-THE-SAME-LIB-FNS-THE-CLIS-CALL **One engine, one truth.** The tools call the SAME lib fns the CLIs
call, and the `=X.Y.Z` pin on `stack:org.vibevm.ai-native/rust-ai-native-lang` holds
this package's vendored copies and the consumer's installed stack to
one resolved version set. @status:impl/done

[p05] @fact:TOOL-LEVEL-FAILURE-IS-AN-ISERROR-RESULT Tool-level failure (a red gate, a refusing
oracle) is an `isError` RESULT carrying the report; protocol errors are
reserved for the transport grammar. @status:impl/done

[p06] @fact:REPORTS-CARRY-THE-RUNS-ENTIRE-STORY **Reports are whole.** Every discipline tool runs inside the
`mcp-core::capture` guard, so the agent's report carries the run's
entire story — the runner's own words AND its child processes (cargo,
rustfmt, clippy, nextest). @status:impl/done

## The parity map {#parity-map}

[p07] @fact:parity-map-lead Tool ↔ the CLI invocation it is parity-locked to (the enumeration test
pins the list; the descriptions in `tools/list` restate each row): @status:impl/done

[p08]
| Tool | CLI |
| --- | --- |
| @fact:ROW-INIT `init` @status:impl/done | @fact:ROW-INIT-CLI `rust-ai-native init [--namespace] [--force]` @status:impl/done |
| @fact:ROW-FLOOR `floor` @status:impl/done | @fact:ROW-FLOOR-CLI `rust-ai-native floor [--keep-going] [--fast-loop]` @status:impl/done |
| @fact:ROW-CONFORM-CHECK `conform_check` @status:impl/done | @fact:ROW-CONFORM-CHECK-CLI `rust-ai-native-conform check [--scope] [--baseline]` @status:impl/done |
| @fact:ROW-CONFORM-FREEZE `conform_freeze` @status:impl/done | @fact:ROW-CONFORM-FREEZE-CLI `rust-ai-native-conform freeze [--baseline]` @status:impl/done |
| @fact:ROW-SPECMAP-CHECK `specmap_check` @status:impl/done | @fact:ROW-SPECMAP-CHECK-CLI `rust-ai-native-specmap --check` @status:impl/done |
| @fact:ROW-SPECMAP-WRITE `specmap_write` @status:impl/done | @fact:ROW-SPECMAP-WRITE-CLI `rust-ai-native-specmap` @status:impl/done |
| @fact:ROW-TRACE-EXPLAIN `trace_explain` @status:impl/done | @fact:ROW-TRACE-EXPLAIN-CLI `rust-ai-native trace <target> [--json] [--prose]` @status:impl/done |
| @fact:ROW-TEST-GATE `test_gate` @status:impl/done | @fact:ROW-TEST-GATE-CLI `rust-ai-native test-gate [--baseline]` @status:impl/done |
| @fact:ROW-TRIPWIRE `tripwire` @status:impl/done | @fact:ROW-TRIPWIRE-CLI `rust-ai-native tripwire [--base] [--debt]` @status:impl/done |
| @fact:ROW-HEALTH `health` @status:impl/done | @fact:ROW-HEALTH-CLI `rust-ai-native health [--out]` @status:impl/done |
| @fact:ROW-FAST-LOOP `fast_loop` @status:impl/done | @fact:ROW-FAST-LOOP-CLI `rust-ai-native fast-loop [--cell] [--budget-secs] [--enforce-budget]` @status:impl/done |
| @fact:ROW-CODEMOD-ADD-CELL `codemod_add_cell` @status:impl/done | @fact:ROW-CODEMOD-ADD-CELL-CLI `rust-ai-native codemod add-cell <crate> <cell> <seam> <variant> <spec-uri>` @status:impl/done |
| @fact:ROW-LEDGER-RENDER `ledger_render` @status:impl/done | @fact:ROW-LEDGER-RENDER-CLI `rust-ai-native ledger render [--check]` @status:impl/done |
| @fact:ROW-TCG-VALIDATE `tcg_validate` @status:impl/done | @fact:ROW-TCG-VALIDATE-CLI `rust-ai-native-tcg validate <file> [--content-from]` @status:impl/done |
| @fact:ROW-TCG-SCOPE `tcg_scope` @status:impl/done | @fact:ROW-TCG-SCOPE-CLI `rust-ai-native-tcg scope <file> [--position]` @status:impl/done |
| @fact:ROW-TCG-COMPLETE `tcg_complete` @status:impl/done | @fact:ROW-TCG-COMPLETE-CLI `rust-ai-native-tcg complete <file> --position [--prefix] [--max]` @status:impl/done |
| @fact:ROW-TCG-TYPE `tcg_type` @status:impl/done | @fact:ROW-TCG-TYPE-CLI `rust-ai-native-tcg type <file> --position` @status:impl/done |
| @fact:ROW-TCG-BENCH `tcg_bench` @status:impl/done | @fact:ROW-TCG-BENCH-CLI `rust-ai-native-tcg bench --corpus --report` @status:impl/done |

[p09] @fact:THE-SPECMAP-GATE-FORM-STAYS-CLI-ONLY `rust-ai-native-specmap --gate` (the package-self-trace form) stays CLI-only: its
audience is package gates, not agents. @status:impl/done

## The discipline half {#discipline-tools}

[p10] @fact:THIRTEEN-THIN-ADAPTERS-OVER-THE-LIB-FNS Thirteen thin adapters over `rust_ai_native_cli` / `rust_ai_native_conform`
/ `rust_ai_native_specmap` lib fns. @status:impl/done

[p11] @fact:EVERY-SCHEMA-CARRIES-THE-OPTIONAL-LANGUAGE-PROPERTY Every schema carries the optional
`language` property; a non-`rust` value refuses with the recipe naming
that language's own server — never another language's fix surface
(PROP-026 §2 continuity). @status:impl/done

[p12] @fact:HEAVY-TOOLS-SAY-EXPECT-MINUTES-AND-NOTHING-PROMPTS Heavy tools (`floor`, `test_gate`,
`fast_loop`, `tcg_bench`) say «expect minutes» in their descriptions;
nothing prompts — `force`-class decisions are explicit parameters. @status:impl/done

## The tcg half {#tcg-tools}

[p13] @fact:ONE-PERSISTENT-ORACLE-SESSION-SHARED-BY-FIVE-TOOLS The four oracle ops + the bench harness over ONE persistent
rust-analyzer session shared by all five tools: lazy-spawned on first
use, respawned ONCE per op on a crashed session (the serve relay's
posture, server-local now). @status:impl/done

[p14] @fact:ENRICHMENT-GOES-THROUGH-ENRICH-VALIDATE Enrichment goes through
`rust_ai_native_tcg::enrich_validate` — the gate's own rules over the gate's
own frontend — and the policy (conform.toml + frozen ratchet) reloads
per call, so a mid-session freeze is honoured immediately. @status:impl/done

[p15] @fact:TCG-VALIDATE-ISERROR-MIRRORS-THE-ONE-SHOT-EXIT-CONTRACT `tcg_validate`'s `isError` mirrors the one-shot exit contract: an
error-grade diagnostic OR a non-baselined finding. @status:impl/done

[p16] @fact:THE-NDJSON-SERVE-RELAY-REMAINS-SHIPPED The NDJSON serve
relay (`rust-ai-native-tcg serve`, TCG-PROTOCOL-RUST-v0.1) remains shipped in the
stack as the non-MCP embedding form. @status:impl/done