| Filename | Latest commit message | Latest commit date |
|---|---|---|
df20c392d8
Adds the "carries whatever it can reconstruct, verifies whatever it
carries" surface on top of the existing neural/codec WAI. All builds
green against this base (wai-rs all-features tests + clippy, wai-web
wasm, wai-spz-gen, wai-relay).
Reconstruct half — each a spec + conformance corpus + in-tab browser
sink that re-derives the corpus hash, over one wai.det.fixed64 floor:
- interactive worlds replay-equivalence (3 sim registrants,
relay multiplayer, session receipts, glTF + real-SPZ assets)
- spatial audio mixdown-equivalence
- haptics sample-equivalence
- state-feeds replay-equivalence (non-physics sim)
- avatars / digital humans pose-equivalence (+ telepresence)
- volumetric / 4D splats frame-state-equivalence (WebGPU EWA render)
Verify half (lever 4):
- asset provenance — signed, energy-accounted lineage for opaque
captured content WAI does not reconstruct; tamper-evident in-tab.
Cross-cutting: per-class JWP receipt profiles; a native energy meter
(IOReport via macmon, no sudo) emitting receipts with real measured
joules. Codecs gated behind a `codecs` feature (default on) so the
world/wasm sinks build without the C codec chain.
Excludes the separately-evolving neural subsystem (semantic path, GLC
rANS, ONNX tooling) to avoid reverting newer origin work.
Co-Authored-By: Claude Opus 4.8 <[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.
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.