# rust-ai-native-lang

> AI-Native Rust - the Rust projection of the Discipline v0.2: cells, naming, contract-first ordering, the nine scaffolds in Rust, errors as contract surface, and the vibe-tcg tool vision

A community documentation of nothing it declares, published by org.vibevm.ai-native, in en.
Read it at /doc/org.vibevm.ai-native/rust-ai-native-lang/1.0.0/. Rendered 2026-09-12.

AI-Native Rust - the Rust projection of the Discipline v0.2: cells, naming, contract-first ordering, the nine scaffolds in Rust, errors as contract surface, and the vibe-tcg tool vision

## For agents

- [Boot snippet](/doc/org.vibevm.ai-native/rust-ai-native-lang/1.0.0/boot-snippet/): `org.vibevm.ai-native/rust-ai-native-lang@1.0.0` contributes a boot snippet: text that a session reads before it starts work, placed into the project's generated boot lane by `vibe install`. It is not read on this page — it is read by the agent. (1 min · user, agent)

## Pages

- [AI-Native Rust (Discipline v0.2) — boot snippet](/doc/org.vibevm.ai-native/rust-ai-native-lang/1.0.0/boot/20-stack-rust-ai-native-lang/): Rust code in this project follows the AI-Native Rust guide (`spec/rust/GUIDE-AI-NATIVE-RUST.xml` in this package). (2 min)
- [Card Registry — INDEX (Rust projection)](/doc/org.vibevm.ai-native/rust-ai-native-lang/1.0.0/cards/INDEX/): **Discipline v0.2 · BETA · T2 · Rust** (3 min)
- [CARD: rule-closed-vocabulary-naming — A cell's name is computed from its manifest](/doc/org.vibevm.ai-native/rust-ai-native-lang/1.0.0/cards/rule-closed-vocabulary-naming/): **Discipline v0.2 · BETA · T2 · Rust (lineage home of the shared rule; the checker serves Go too)** (6 min)
- [CARD: rule-declared-test-matrices — Test matrices are declared, never swept](/doc/org.vibevm.ai-native/rust-ai-native-lang/1.0.0/cards/rule-declared-test-matrices/): **Discipline v0.2 · BETA · T2 · Rust (lineage home of the shared rule; the checker serves Go and TypeScript too)** (8 min)
- [CARD: rule-position-is-a-resource — Position is a resource](/doc/org.vibevm.ai-native/rust-ai-native-lang/1.0.0/cards/rule-position-is-a-resource/): **Discipline v0.2 · BETA · T2 · Rust** (4 min)
- [CARD: scaffold-a-generators — Generators / Codegen](/doc/org.vibevm.ai-native/rust-ai-native-lang/1.0.0/cards/scaffold-a-generators/): **Discipline v0.2 · BETA** (3 min)
- [CARD: scaffold-b-typed-builders — Typed Builders / Typestate](/doc/org.vibevm.ai-native/rust-ai-native-lang/1.0.0/cards/scaffold-b-typed-builders/): **Discipline v0.2 · BETA** (2 min)
- [CARD: scaffold-c-runnable-contracts — Runnable Contracts](/doc/org.vibevm.ai-native/rust-ai-native-lang/1.0.0/cards/scaffold-c-runnable-contracts/): **Discipline v0.2 · BETA** (2 min)
- [CARD: scaffold-d-differential-oracle — Differential / Characterization Oracle](/doc/org.vibevm.ai-native/rust-ai-native-lang/1.0.0/cards/scaffold-d-differential-oracle/): *Reference instance of the AI-Native Pattern Card format.* (5 min)
- [CARD: scaffold-e-fast-loop — Per-Cell Fast Verification Loop](/doc/org.vibevm.ai-native/rust-ai-native-lang/1.0.0/cards/scaffold-e-fast-loop/): **Discipline v0.2 · BETA** (2 min)
- [CARD: scaffold-f-structured-diagnostics — Structured, Requirement-Citing Diagnostics](/doc/org.vibevm.ai-native/rust-ai-native-lang/1.0.0/cards/scaffold-f-structured-diagnostics/): **Discipline v0.2 · BETA** (2 min)
- [CARD: scaffold-g-doctests — Executable Examples / Doctests](/doc/org.vibevm.ai-native/rust-ai-native-lang/1.0.0/cards/scaffold-g-doctests/): **Discipline v0.2 · BETA** (2 min)
- [CARD: scaffold-h-simulators — Local Simulators / Reference Models](/doc/org.vibevm.ai-native/rust-ai-native-lang/1.0.0/cards/scaffold-h-simulators/): **Discipline v0.2 · BETA** (2 min)
- [CARD: scaffold-i-codemods — Scaffolded Edit Operations / Codemods](/doc/org.vibevm.ai-native/rust-ai-native-lang/1.0.0/cards/scaffold-i-codemods/): **Discipline v0.2 · BETA · [E-hyp] — validate before relying on it** (3 min)
- [Package manifest](/doc/org.vibevm.ai-native/rust-ai-native-lang/1.0.0/manifest/): What `org.vibevm.ai-native/rust-ai-native-lang@1.0.0` declares about itself. Everything on this page is the package's own manifest, read and shown — nothing here is an opinion about the package. (3 min · user, dev)
- [rust-ai-native-lang — README](/doc/org.vibevm.ai-native/rust-ai-native-lang/1.0.0/readme/): The README of `org.vibevm.ai-native/rust-ai-native-lang@1.0.0`, as the package ships it. (3 min · user, dev)
- [AI-Native Rust — The Guide](/doc/org.vibevm.ai-native/rust-ai-native-lang/1.0.0/rust/GUIDE-AI-NATIVE-RUST/): **Discipline v0.2 · status: BETA · T2 · supersedes GUIDE-RUST-v0.1** (14 min)
- [TCG-ORACLE-RUST v0.1 — the rust-analyzer oracle process model](/doc/org.vibevm.ai-native/rust-ai-native-lang/1.0.0/rust/mechanisms/TCG-ORACLE-RUST-v0.1/): **Status: v0.1 — authored with AGENTIC-TCG-RUST-PLAN v0.1 (Phase 1), implemented by its Phases 3–4.** (7 min)
- [TCG-PROTOCOL-RUST v0.1 — the rust relay's wire contract](/doc/org.vibevm.ai-native/rust-ai-native-lang/1.0.0/rust/mechanisms/TCG-PROTOCOL-RUST-v0.1/): **Status: v0.1 — authored with AGENTIC-TCG-RUST-PLAN v0.1 (Phase 1), implemented by its Phases 3–4.** (6 min)
- [Tool Spec: `rust-ai-native-conform-frontend` — the Rust frontend for the language-neutral conform engine](/doc/org.vibevm.ai-native/rust-ai-native-lang/1.0.0/rust/tools/conform-frontend-rust/): *Status: **SHIPPED with this package** — `crates/rust-ai-native-conform-frontend` (`id = "rust-syn"`) + `crates/rust-ai-native-conform` (binary **`rust-ai-native-conform`**), parsing `.rs` in-process with `syn`.* (8 min)
- [Tool Spec (high-level): `rust-ai-native-tcg` — Type-Aware Constrained Generation for Rust](/doc/org.vibevm.ai-native/rust-ai-native-lang/1.0.0/rust/tools/rust-ai-native-tcg/): *Status: vision / component brief for the vibevm tool suite. NOT an implementation plan.* (6 min)
- [Tool Spec: `vibe-agentic-tcg-rust` — the Agentic Type Oracle for Rust](/doc/org.vibevm.ai-native/rust-ai-native-lang/1.0.0/rust/tools/vibe-agentic-tcg-rust/): *Status: component brief at FULL seven-section parity (problem · design stance · component shape · staged ambition · licensing · risk register · summary).* (7 min)