| Filename | Latest commit message | Latest commit date |
|---|---|---|
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]>
|
||
| .. | ||
| 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.