# Card Registry — INDEX (Rust projection)

[p01] **Discipline v0.2 · BETA · T2 · Rust**

[p02] *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.*

## Scaffold cards (the nine executable-scaffold patterns)

[p03]
| 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 |

## Rule cards

[p04] *Authored as their checkers ship. The first three:*

[p05]
| 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) |

## Trigger-mode delivery summary

- [p06] **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.

## Axis coverage (research frame A–H)

- [p07] 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

## Pending cards (named, not yet authored — pilot will prioritize)

- [p08] `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.

[p09] 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.

## Notes on status

- [p10] **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.