46c5688b86
Commit the WAI standard source: a content + capability-dispatch standard
whose thesis is "carries whatever it can reconstruct, verifies whatever
it carries." Source only — large vendored/model assets and build output
are gitignored.
Reconstruct classes (each: spec + conformance corpus + in-tab browser
sink that re-derives the corpus hash, one wai.det.fixed64 fixed-point
floor, one *-equivalence apiece):
- interactive worlds (replay-equivalence) + 3 sim registrants,
multiplayer over a relay, 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 over the relay
- volumetric / 4D splats (frame-state-equivalence) + WebGPU EWA render,
real-SPZ-derived clip
Verify half (lever 4):
- asset provenance: a signed, energy-accounted lineage for opaque
captured content WAI does not reconstruct; tamper-evident, in-tab.
Cross-cutting: JWP receipt profiles per class; a native energy meter
(IOReport via macmon, no sudo) emitting receipts with REAL measured
joules; the learned-image/neural codec family and JPEG AI entropy port
from earlier 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.
|