Card Registry — INDEX (Rust projection)
01Discipline v0.2 · BETA · T2 · Rust
02The 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)
| 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
04Authored 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) |
Trigger-mode delivery summary
- 06inline (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)
- 07A language-shape: A (generators), I (codemods)
- B names & tokens: covered by guide §2 (naming rules) —
rule-closed-vocabulary-naming(shippedcell-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)
- 08
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.
09These 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
- 10shipped = 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.