Card Registry — INDEX (Rust projection)

**Discipline v0.2 · BETA · T2 · Rust**

*The navigable registry of the Rust projection's cards. The harness uses this to resolve a trigger to a card and to deliver the Band-3 extract for a `.rs` edit. These are the Rust shape of the nine language-neutral scaffold patterns catalogued in the core `02-EXECUTABLE-SCAFFOLDS.xml`; this stack ships its own `cards/` so the weak-reader runtime surface for Rust is a Rust Band-3 block, never another language's. Generated/maintained as a derived index (A2/R-030); hand edits are a defect.*

Card Layer Mechanism Trigger mode Transfer Checker status
`scaffold-a-generators` A+C scaffold A raid/gate [E-strong] specified
`scaffold-b-typed-builders` E scaffold B gate [E-mid] specified
`scaffold-c-runnable-contracts` E scaffold C inline [E-mid] specified
`scaffold-d-differential-oracle` E scaffold D gate [E-mid] shipped: oracle-presence (`cell-has-oracle`, rust-ai-native-conform); the oracle itself stays authored
`scaffold-e-fast-loop` E+H scaffold E gate [E-strong] shipped (`rust-ai-native fast-loop`)
`scaffold-f-structured-diagnostics` E+C scaffold F inline [E-mid] shipped (`error-enum/message-cites-req`, rust-ai-native-conform)
`scaffold-g-doctests` C+G scaffold G gate [E-strong] shipped (`seam-has-doctest` + `pub-doctest`, rust-ai-native-conform)
`scaffold-h-simulators` E+H scaffold H gate [E-strong] specified
`scaffold-i-codemods` H+A scaffold I raid **[E-hyp]** pilot prototype shipped (`rust-ai-native codemod add-cell`); free parameterization stays the open R4 question

*Authored as their checkers ship. The first three:*

Card Layer Mechanism Trigger mode Transfer Checker status
`rule-position-is-a-resource` D+H rule gate [E-mid] shipped (`invariant-comment-position`, core-ai-native-conform)
`rule-closed-vocabulary-naming` B+H rule gate [E-mid] shipped (`cell-name-is-computed`, core-ai-native-conform; serves Go too; composition only — the closed-vocabulary / one-referent / no-synonym halves of R3-004 are unbuilt)
`rule-declared-test-matrices` E+H rule gate [E-mid] shipped (`declared-test-matrices`, core-ai-native-conform; serves Go and TypeScript too; vacuum on host — shown on fixtures)
**inline** (per-edit, lint-detectable): C, F. Most frequent; cheapest. **gate** (per-merge): B, D, E, G, H. **raid** (scheduled/on-adoption): A, I. **review** (human/strong-agent): none yet; reserved for judgment-heavy cards.
A language-shape: A (generators), I (codemods) B names & tokens: covered by guide §2 (naming rules) — `rule-closed-vocabulary-naming` (shipped `cell-name-is-computed`, composition only; the closed-vocabulary half of R3-004 stays unbuilt) C meta-layer: A, F, G D context & repo: covered by guide §1 (cells, closure) — candidate `rule-cell-closure` E verification: B, C, D, E, F, H F spec-binding: specmap (PROP-014, guide §7) — mechanism, not a card G empirics: G H weak-reader: E, H, I
`rule-cell-closure` (R3-001) — editable units declare their full semantic dependency set. `rule-contract-first-ordering` (R3-002) — intent before body. `rule-uniformity` (R3-006/H6) — one idiom per operation; mark exceptions. `antipattern-god-file` (R3-013) — fan-in per file bounds swarm throughput. `antipattern-lying-prose` (R2C-004/H4) — unverified prose claims near code.

These are deferred not because they are unimportant but to honor minimal sufficiency: the nine scaffold cards are the runnable-capital core; rule/anti-pattern cards are added as their checkers ship — `rule-position-is-a-resource`, `rule-closed-vocabulary-naming`, and `rule-declared-test-matrices` (above) are the first three, their `invariant-comment-position`, `cell-name-is-computed`, and `declared-test-matrices` checkers now live.

**shipped** = the checker ships in this stack (rust-ai-native-conform / rust-ai-native) and runs on any consumer tree. **specified** = checker is defined but not yet shipped. **specified (pilot)** = checker defined; implementation is a named pilot task. **WISH** = no checker yet (A5); the card is advisory until one exists. A card graduates from BETA when its checker is implemented AND its evidence IDs are non-empty AND pilot evidence has not falsified it.