22928147f3
SPEC §3.1 defines the pin a manifest carries (conditioning.prior, and a WAI2 rendition's prior): id, sha256, determinism, and the optional form, tier and supersedes. The digest covers the whole parameter set. A set of several files is pinned through its listing, the new registered prior form wai.prior.set. A sink verifies the pin before it decodes, reports a refusal with one of an ordered set of snake_case reasons, and decodes only from the set it verified. Tier is a closed vocabulary; supersedes is informative. A pin that does not resolve makes its capability unsupported for that envelope: SPEC §4 dispatch continues at the fallback, §7.1 selection at the next rendition, and an inert envelope's error names the reasons. A rendition entry may carry id, sha256 and, on a companion, companion_of_id. SPEC §7 gains a Digests subsection, and §8 says how a MINOR revision adds an optional member. In wai-rs: the manifest types are #[non_exhaustive] with builders; a new pin module verifies pins in memory and on disk; Wai::dispatch_verified, WaiMulti::pick and primary check pins and component digests; every neural decoder reads through ParamSource; a codec-free `ffi` feature carries the C envelope surface with wai_envelope_select and wai_neural_decode_ex. wai-web wraps wai::container. New vectors: the int_mlicpp set-form twin and the pin-conformance corpus with an independent Python verifier, plus sha256.json sidecars for the vectors of capabilities that decode against a parameter set. Squashed from wai/stream-a-parameter-set-identity onto link 12. Conflicts are resolved to keep both sides; the integration commits that follow make the two streams agree. Co-Authored-By: Claude Opus 5.5 <[email protected]>
41 lines
2.1 KiB
TOML
41 lines
2.1 KiB
TOML
[package]
|
|
name = "wai-web"
|
|
version = "0.3.0"
|
|
edition = "2021"
|
|
license = "Apache-2.0"
|
|
description = "WAI envelope parser + capability dispatch for the browser. Wasm-bindgen surface over the standard's container format. NOT a codec backend — backends are pluggable, the deployer chooses (WASM / WebGPU / WebNN / native ONNX / transformers.js / etc.)."
|
|
|
|
[lib]
|
|
crate-type = ["cdylib"]
|
|
|
|
[dependencies]
|
|
wasm-bindgen = { version = "0.2", features = ["serde-serialize"] }
|
|
serde-wasm-bindgen = "0.6"
|
|
serde = { version = "1", features = ["derive"] }
|
|
serde_json = { version = "1", features = ["preserve_order"] }
|
|
js-sys = "0.3"
|
|
|
|
# THE world engine — the same crate native sinks run, compiled to wasm32
|
|
# with the codec chain off. No second implementation: replay-equivalence
|
|
# in the browser is the identical Rust that generated the conformance
|
|
# corpus hashes.
|
|
wai = { path = "../wai-rs", default-features = false, features = ["world", "audio_scene", "haptic", "splat4d", "provenance", "score", "film", "neural_int", "generate", "video_int", "audio_int", "world_model", "world_int", "splat_int", "quantum", "quantum_ops", "quantum_cal", "quantum_mitigate", "quantum_qec", "quantum_control", "quantum_noise", "quantum_compile", "quantum_atom", "quantum_qbom", "quantum_receipt", "quantum_toolchain", "quantum_mps", "quantum_stabilizer", "quantum_pauli", "quantum_vml", "quantum_phasor", "quantum_qfhrr", "quantum_kernel", "quantum_phasor_meter", "quantum_qdata", "video_workflow"] }
|
|
ed25519-dalek = "2" # actor keys for browser-side op authoring (same version as wai-rs)
|
|
blake3 = "1" # in-page receipt check: hash a decoded image against a pinned digest
|
|
|
|
[dev-dependencies]
|
|
# Pinned to the wasm-bindgen release Cargo.lock holds, so the test runner and the
|
|
# bindings agree.
|
|
wasm-bindgen-test = "=0.3.77"
|
|
|
|
[profile.release]
|
|
opt-level = "s" # size, not speed — runtime is parse-only
|
|
lto = true
|
|
codegen-units = 1
|
|
strip = "symbols"
|
|
|
|
[package.metadata.wasm-pack.profile.release]
|
|
# The host's wasm-opt (binaryen) is behind the Rust toolchain's emitted
|
|
# wasm features; rustc already runs LTO + size opts so skipping wasm-opt
|
|
# costs little. Re-enable when binaryen catches up.
|
|
wasm-opt = false
|