Transaction-Science/open-standards
Watch
1
0
Fork
You've already forked open-standards
 0
Code Issues Pull requests Projects Releases 15 Packages Wiki Activity Actions 8
open-standards/wai/feed-conformance/README.md
Transaction Science 3fac029a71 wai: every corpus states the provenance of its content 
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]>
2026-10-07 10:09:21 -04:00

2 KiB
Raw Permalink Blame History

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.