| 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 | ||
Interactive-Worlds Conformance Corpus
Vectors for the interactive-worlds extension's replay-equivalence criterion: given the same world container and op set, a conforming sink MUST produce the identical BLAKE3 state hash at every checkpoint, on every machine, under every permitted arrival order. Verification is hash equality — there is no tolerance parameter.
Vectors run the registered sim capabilities wai.world.sim.kinematic0,
wai.world.sim.ballistic0, and wai.world.sim.truss0 (the
solver-backed registrant: position-based dynamics, 8 Gauss–Seidel
iterations, strain + fracture) under the wai.det.fixed64 numeric
profile; the verifier dispatches on each container's contract.sim.
Keys are fixed test keys (actors [1;32], [2;32]; publisher
[9;32]) — the corpus is fully deterministic and regenerable
byte-for-byte.
Layout
vectors/*.wwld— sealedwai.world.replaycontainers. Verify the seal against the publisher key inexpected_hashes.json, replay, and compare every checkpoint hash.basic_kinematics— two actors: creates, cross-actor impulse, scalar set, reposition, delete; 200 ticks.conflict_lww— same tick, same node, two SET_SCALAR writers; the canonical-order last writer must win.conflict_sum— same tick, same node, equal-and-opposite IMPULSE; both must act (net zero — the no-impulse hash).ballistic_bounce—ballistic0sim: a restitution-½ ball dropped from y=10, nudged mid-flight; 300 ticks of gravity and ground bounces, bit-exact through every bounce.truss_fracture—truss0sim: two actors pull the two ends of a yield-10% member in opposite directions at the same tick; the constraint violation exceeds yield and the member fractures — the SUM conflict rule feeding the solver, failure as an emergent, bit-exact consequence.
vectors/scene.wwld— the shared tick-0 scene for live vectors.vectors/*.ops— live-ingestion vectors: concatenated signed CausalOps in a fixed adversarial arrival order. Ingest in file order, advance tofinal_tick, comparefinal_hash.dep_gap— the dependent op arrives before its dep (must buffer, then drain).past_tick— an op for tick 30 arrives after tick-90 ops (must re-derive).basic_shuffled_1..3— seeded shuffles ofbasic_kinematics's op set (must reach the sealed vector's hashes).
expected_hashes.json— per-vector expectations.
Running
cd ../wai-rs
cargo run --features world --bin wai_world_vectors -- verify ../world-conformance
cargo run --features world --bin wai_world_vectors -- gen ../world-conformance # regenerate
An independent implementation conforms iff verify (or its equivalent)
passes against vectors it did not generate. A failed vector is a
conformance failure of either the file or the sink — report it failed,
never approximately right.