c84ca0ec44
tests/int_ops_differential.rs gains two halves, each behind its decoder's feature (video_int, staged), which the fast-kernel steps and now the nightly workflow carry: - int_video_random_clips_decode_alike: random clips (partial block grids, both precisions, q to 65535, tables of 3 to 64 entries at offsets to the ends of i32, vectors anywhere in i16, keyframe 1 with its I-frame, escaped and extreme residuals, a broken field one clip in 64, damaged streams) through int_video::ops and int_video::legacy: the same frames or the same refusal, and no panic. - wir1_random_layers_apply_alike: random layers of every kind and predictor (rates to 2^20, small tables so most residuals escape, q to 65535, one table or one per unit) coded by the reference encoder, a stream damaged one layer in eight, a unit applied to another shape or type one in sixteen: every unit and the streams' check alike, no panic. There is no planned break: integer-operators §15.3 lists none for these decoders, so the oracle is equality. Co-Authored-By: Claude Opus 5.5 <[email protected]>
71 lines
3.2 KiB
YAML
71 lines
3.2 KiB
YAML
name: wai-ops differential (nightly)
|
|
|
|
# Each integer decoder that decodes through the integer operator set
|
|
# (wai/extensions/integer-operators.md) against its direct decode (the test-only
|
|
# `legacy_int` feature), on random parameter sets and payloads, for an hour under each
|
|
# build profile: with overflow checks on and with them off. Outside the planned breaks
|
|
# of integer-operators §15.3 the two decode to the same bytes or both refuse, and the
|
|
# direct decode never panics; under a planned break the decode through the operator set
|
|
# refuses (wai/wai-rs/tests/int_ops_differential.rs). Today: wai.neural.int_synth,
|
|
# wai.splat.int_codec, wai.audio.int_codec, wai.neural.int_hyper (whose decode is
|
|
# also the keyframe of wai.video.int_hyper), wai.neural.int_mlicpp, wai.world.model's
|
|
# integer renderer, against its direct renderer with the direct guard, and
|
|
# wai.image.jpegai's scale path and entropy decodes, against its direct computation,
|
|
# which panics (or, without overflow checks, may compute on) where the operator set
|
|
# refuses a stream; and WIV1 (wai.video.int_motion, the P-frames of wai.video.int_hyper)
|
|
# and WIR1 (the four int_refine capabilities), which decode through the stage operators
|
|
# alone and make no planned break.
|
|
#
|
|
# Each night starts from its own seed, the date, which the log prints; a failing case
|
|
# names its seed, and `WAI_DIFF_SEED=<seed>` re-runs it. The same tests run for a fixed
|
|
# count on every push, in wai-conformance.yml's fast-kernel steps.
|
|
|
|
# One run per branch at a time. A push supersedes the run before it.
|
|
concurrency:
|
|
group: ${{ github.workflow }}-${{ github.ref }}
|
|
cancel-in-progress: true
|
|
|
|
on:
|
|
schedule:
|
|
- cron: '41 2 * * *'
|
|
# A change to this file runs it for two minutes per profile, so a broken job is seen
|
|
# before the night.
|
|
pull_request:
|
|
paths:
|
|
- '.github/workflows/wai-ops-differential.yml'
|
|
|
|
jobs:
|
|
differential:
|
|
name: differential · ${{ matrix.profile }}
|
|
runs-on: linux
|
|
timeout-minutes: 120
|
|
strategy:
|
|
fail-fast: false
|
|
matrix:
|
|
profile: [debug, release]
|
|
steps:
|
|
- uses: actions/checkout@v4
|
|
|
|
# The docker image ships no Rust.
|
|
- name: Install Rust 1.98.0
|
|
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
|
|
echo "$HOME/.cargo/bin" >> "$GITHUB_PATH"
|
|
|
|
- name: Through the operator set against the direct decode, random sets and payloads
|
|
working-directory: wai/wai-rs
|
|
shell: bash
|
|
env:
|
|
WAI_DIFF_SECS: ${{ github.event_name == 'schedule' && '3600' || '120' }}
|
|
run: |
|
|
set -euo pipefail
|
|
P=""
|
|
if [ "${{ matrix.profile }}" = release ]; then P="--release"; fi
|
|
export WAI_DIFF_SEED="$(date -u +%Y%m%d)"
|
|
echo "WAI_DIFF_SECS=$WAI_DIFF_SECS WAI_DIFF_SEED=$WAI_DIFF_SEED"
|
|
cargo test $P --locked --no-default-features --features legacy_int,splat_int,audio_int,world_int,video_int,staged --test int_ops_differential -- --nocapture
|