3fac029a71
Each *-conformance/README.md now has a line that begins **Provenance.**: the generator that writes the corpus and its input, and for an input not generated here its source and licence. OER/2's corpus is settled and left as it is. byte-exact-conformance and quantum-ops-conformance get a README. wai-rs/tests/vectors/README.md gives a row per vector directory. Where the staged-delivery, staged-measurement and telemetry READMEs called their content "synthetic", that sentence is now their provenance line. Two vectors are recorded as not generated, from the provenance audit: int_video's video_real (a pan over a third-party picture) and neural-conformance's photo (a third-party picture, with a decoder trained on unrecorded images). Their lines say so and that they are to be replaced; the photo bullet no longer names the picture's source product. tests/corpus_provenance.rs requires the line in every corpus and a row for every vector directory; CI runs it with the carriage tests. CONTRIBUTING states the rule: corpus content is generated here, or recorded with a licence that permits redistribution, and a word like "synthetic" is not a provenance line. Co-Authored-By: Claude Opus 5.5 <[email protected]>
46 lines
2 KiB
Markdown
46 lines
2 KiB
Markdown
# 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.
|