| Filename | Latest commit message | Latest commit date |
|---|---|---|
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]> |
||
| .. | ||
| vectors | ||
| expected_hashes.json | ||
| README.md | ||
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 sealedwai.world.replayfeed; the manifest carries its per-tick checkpoint hashes.vectors/<name>.ops— a raw op log delivered againstscene.wwldin an adversarial arrival order; the manifest carries the onefinal_hashevery 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 negativeADD_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.