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]>
44 lines
1.9 KiB
Markdown
44 lines
1.9 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.
|
|
|
|
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.
|