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]>
110 lines
4.9 KiB
YAML
110 lines
4.9 KiB
YAML
name: wai-web wasm32
|
|
|
|
# The browser sink (wai/wai-web) is the same Rust as the native reference,
|
|
# compiled to wasm32-unknown-unknown. This job builds it and runs, under node:
|
|
#
|
|
# - demo/verify_int_synth_wasm.mjs against the committed conformance corpus
|
|
# wai/neural-conformance/ (not the demo's staged copies): the wasm32
|
|
# int_synth decode must hash to the corpus's frozen native hashes;
|
|
# - demo/verify_menu.mjs: every capability the browser sink advertises is
|
|
# registered in wai/registry/capabilities.json as a payload or companion
|
|
# capability, none is a candidate (SPEC §5), and the wasm build's own
|
|
# registry agrees with the export on every candidate;
|
|
# - demo/verify_pack.mjs: the browser writers `pack` and `packMulti` refuse
|
|
# every candidate the export lists, in every place an envelope can name one;
|
|
# - a byte comparison of the demo's staged int_synth copies with the corpus;
|
|
# - the crate's wasm_tests under wasm-bindgen-test-runner.
|
|
#
|
|
# The full-scale int_hyper wasm decode needs vectors regenerated from a
|
|
# pretrained model; wai-sota-vectors.yml runs it after regenerating them.
|
|
|
|
on:
|
|
push:
|
|
branches: [main]
|
|
paths:
|
|
- 'wai/wai-web/**'
|
|
- 'wai/wai-rs/**'
|
|
- 'wai/wai-quantum/**'
|
|
- 'wai/neural-conformance/**'
|
|
- 'wai/registry/**'
|
|
- '.github/workflows/wai-web-wasm.yml'
|
|
pull_request:
|
|
paths:
|
|
- 'wai/wai-web/**'
|
|
- 'wai/wai-rs/**'
|
|
- 'wai/wai-quantum/**'
|
|
- 'wai/neural-conformance/**'
|
|
- 'wai/registry/**'
|
|
- '.github/workflows/wai-web-wasm.yml'
|
|
|
|
jobs:
|
|
wasm32:
|
|
name: wai-web wasm32 build · corpus, menu and writers
|
|
runs-on: linux
|
|
timeout-minutes: 45
|
|
steps:
|
|
- uses: actions/checkout@v5
|
|
# The docker runner image ships no Rust.
|
|
- name: Install Rust 1.98.0 with the wasm32 target
|
|
shell: bash
|
|
run: |
|
|
export PATH="$HOME/.cargo/bin:$PATH"
|
|
command -v rustup >/dev/null 2>&1 || \
|
|
curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | sh -s -- -y --profile minimal --default-toolchain 1.98.0
|
|
rustup toolchain install 1.98.0 --profile minimal
|
|
rustup default 1.98.0
|
|
rustup target add wasm32-unknown-unknown
|
|
echo "$HOME/.cargo/bin" >> "$GITHUB_PATH"
|
|
# Pinned to the wasm-bindgen version in wai-web/Cargo.lock: the CLI and the
|
|
# crate must match exactly.
|
|
- name: wasm-bindgen CLI 0.2.127
|
|
shell: bash
|
|
run: cargo install --locked wasm-bindgen-cli --version 0.2.127
|
|
- uses: actions/setup-node@v4
|
|
with:
|
|
node-version: '22'
|
|
- name: Build wai-web for wasm32 (node bindings)
|
|
shell: bash
|
|
working-directory: wai/wai-web
|
|
run: |
|
|
set -euo pipefail
|
|
cargo build --locked --release --target wasm32-unknown-unknown
|
|
wasm-bindgen --target nodejs --out-dir demo/pkg-node --out-name wai_web \
|
|
target/wasm32-unknown-unknown/release/wai_web.wasm
|
|
# The JS surface itself (pick, companionsOf, verifyPin, rendition() and
|
|
# companion() refusing what is never presented or does not match its digest,
|
|
# the held-sets conversion, and the WAI2 parse at 32-bit usize) runs only on
|
|
# wasm32 (`mod wasm_tests`). wasm-bindgen-test-runner, installed above at the
|
|
# version Cargo.lock pins, runs it under Node. The count check turns a test
|
|
# that stopped being compiled into a failure instead of a silent "0 passed".
|
|
- name: wai-web JS surface (wasm32 tests under Node)
|
|
shell: bash
|
|
working-directory: wai/wai-web
|
|
run: |
|
|
set -euo pipefail
|
|
CARGO_TARGET_WASM32_UNKNOWN_UNKNOWN_RUNNER=wasm-bindgen-test-runner \
|
|
cargo test --locked --target wasm32-unknown-unknown 2>&1 | tee "$RUNNER_TEMP/wai-web-wasm.log"
|
|
grep -q "test result: ok. 4 passed; 0 failed" "$RUNNER_TEMP/wai-web-wasm.log"
|
|
- name: wasm32 int_synth decode equals the frozen native corpus
|
|
shell: bash
|
|
working-directory: wai/wai-web
|
|
run: node demo/verify_int_synth_wasm.mjs ./pkg-node/wai_web.js ../neural-conformance
|
|
- name: The browser menu is registered and names no candidate
|
|
shell: bash
|
|
working-directory: wai/wai-web
|
|
run: node demo/verify_menu.mjs ./pkg-node/wai_web.js ../registry/capabilities.json
|
|
- name: The browser writers refuse every candidate
|
|
shell: bash
|
|
working-directory: wai/wai-web
|
|
run: node demo/verify_pack.mjs ./pkg-node/wai_web.js ../registry/capabilities.json
|
|
- name: The demo's staged int_synth vectors are byte copies of the corpus
|
|
shell: bash
|
|
working-directory: wai
|
|
run: |
|
|
set -euo pipefail
|
|
cmp wai-web/demo/int_synth/expected_hashes.json neural-conformance/expected_hashes.json
|
|
for n in gradient bloom facade photo; do
|
|
for f in latent.bin int_synth.json; do
|
|
cmp "wai-web/demo/int_synth/$n/$f" "neural-conformance/vectors/$n/$f"
|
|
done
|
|
done
|