# State-Feeds Conformance Corpus

Vectors for the state-feeds extension (`wai.feed.state`). The criterion
is **replay-equivalence**, reused wholesale from interactive worlds:
given the same world container and the same signed op set, a conforming
sink MUST compute the identical BLAKE3 **state hash** at every
checkpoint — on every machine, no tolerance parameter. A state-feed is a
non-physics world whose sim (`wai.world.sim.feed0`) is the identity
step; convergence comes entirely from applying typed-field updates in
the canonical total order.

**Provenance.** Generated here: `wai_feed_vectors gen` writes every vector from feeds authored in code. No recorded data.

The container is the worlds `WWLD`; the node is a record of
self-describing typed cells (`Int` i64, `Fixed` Q32.32, `Text` UTF-8).
Mutations: `CREATE` / `DELETE` / `SET_CELL` (LWW) and `ADD_INT` /
`ADD_FIXED` (SUM — commutative accumulation).

## Layout

- `vectors/<name>.wwld` — a sealed `wai.world.replay` feed; the manifest
  carries its per-tick checkpoint hashes.
- `vectors/<name>.ops` — a raw op log delivered against `scene.wwld` in
  an adversarial arrival order; the manifest carries the one `final_hash`
  every conformant sink must reach.
- `expected_hashes.json` — per vector: `type`, and the expected hashes.

Vectors:
- `scoreboard` — two team records; scores rise by SUM increments
  (order-independent within a tick) with one LWW correction.
- `telemetry` — a sensor record; temperature set absolutely (LWW),
  packet count accumulated (SUM), including a negative `ADD_FIXED`.
- `market_ticks` — an instrument record; last price is LWW, volume is
  SUM.
- `scoreboard_shuffled_{1,2,3}` — the scoreboard op stream in three
  seeded shuffles; all converge to the sealed final hash.

## Running

```
cd ../wai-rs
cargo run --features world --bin wai_feed_vectors -- verify ../feed-conformance
cargo run --features world --bin wai_feed_vectors -- gen    ../feed-conformance   # regenerate
```

Pass = checkpoint/final hash equality.