# datasets/rustlite — distillation seed corpus (telemetry #82)
50 task/solution pairs for rustlite codegen fine-tuning. Each `NNN.json` is
`{id, prompt, solution_rl, tags}`; every `solution_rl` compiles (the compiler is
the referee — no aspirational syntax). Strategy + pipeline: `design/local-models.md`.
Coverage: display primitives, `dims()`, pointer input, state slots, arrays,
match/ranges, unit enums, loops/recursion, LCG PRNG, `host::audio`, complete
small games, library-style fn modules, `host::compose` (lib + module halves).
Prompts state the subset boundaries the compiler enforces (no struct literals,
unit-only enums, per-frame locals) so a fine-tune learns the negative space.
Verify (requires `cargo build` first):
```sh
node datasets/rustlite/verify.mjs # pass table; exits 0 only on N/N
```
## Wave 2 (051-170) + compiler boundaries the corpus encodes
120 pairs added 2026-07-30 (4 themed generators, every solution
compiler-gated): 051-080 simulation/motion, 081-110 interaction/UI widgets,
111-140 complete mini-games, 141-170 audio/libraries/host::compose.
Boundaries PROBED GREEN that the 001-050 style hid (teach them as legal):
`else if` chains, `for i in 0..n` (exclusive only), `break`/`continue`, early
`return` in value-returning fns, unary minus on variables (`0 - v` is style,
not requirement), negative literals in array literals + match arms,
variable-amount shifts, i32-wrapping big literals, if/match as expressions.
Conventions that avoid real traps:
- Always parenthesize bit tests: `((mask >> i) & 1) == 1` (precedence unprobed).
- `idx & 31` on a possibly-negative i32 is the safe sin-table index idiom
(two's-complement AND is non-negative for power-of-two-minus-one masks).
- (FIXED 2026-07-30) the old LH0202 trap — a fn tail starting with `(` after a
block statement mis-parsed as a call of the block — is gone; the parser now
refuses call-postfix on block-like expressions (they are never callable).
## Wave 3 (171-300) additions
130 pairs added 2026-07-30: 171-203 data-viz/time, 204-236 generative art,
237-268 simulation systems, 269-300 host bridge APIs (net/http/mp/agent) +
multi-feature apps. New boundaries the corpus now encodes:
- Comparisons are Bool-typed: `let s: i32 = x == 0;` is LH0204 — route through
`if x == 0 { 1 } else { 0 }`.
- `bool == bool` is rejected (LH0300 unsupported binop) — bools compose via
`&&`/`||`/`!`, never `==`/`!=`.
- Array literals accept computed expressions (`[t + 1, hh / 10]`), not just
literals; shift-by-zero is legal.
- (FIXED 2026-07-30, telemetry #84) `net::open(url)`/`net::send(h, msg)` now
take string LITERALS like `http::get`; rows still teach `open(..) == -1` as
a first-class OFFLINE state, and host-held text (`http::draw_line`,
`body_lines`) stays the reading idiom.
Rows 301-320 teach `host::math::sin/cos` (post-#83: angle = 1/256 turn, values
scaled by 256) as THE trig path; earlier rows' hand-rolled tables remain valid
history.
## Training export
`node datasets/rustlite/export.mjs` writes `train.jsonl` (gitignored — a
derived artifact): one chat-shaped line per pair (system pins the real
language contract, user = prompt, assistant = solution). `--stats` prints
tag/size distributions. The JSONs stay the source of truth; regenerate the
JSONL at training time.