open-standards/wai/project-conformance
Repository files (latest commit first)
Filename Latest commit message Latest commit date
Transaction Science 5d51591b6d
Some checks failed
joule-moq-remote host agent / joule-moq-remote, every target (linux-arm64) (push) Has been cancelled
joule-moq-remote host agent / joule-moq-remote, every target (macos) (push) Has been cancelled
joule-moq-room room service / joule-moq-room, every target (push) Has been cancelled
joule-moq-web browser client / joule-moq-web · browser end-to-end (macos) (push) Has been cancelled
repository checks / lockfiles, advisories, tests in CI, workflow hygiene, spec and section references, public text (push) Has been cancelled
wai-app and Create / wai-app · tests, clippy, the line language's verifier (linux) (push) Has been cancelled
wai-app and Create / wai-app · Create, browser end-to-end (macos) (push) Has been cancelled
wai-audit collector and player integration / collector · linux (push) Has been cancelled
wai-audit collector and player integration / collector, player integration and the browser end to end · macos (push) Has been cancelled
WAI operation catalogue / the catalogue and every door · linux (push) Has been cancelled
wai-fleet service / service · linux (push) Has been cancelled
wai-fleet service / service · macos (push) Has been cancelled
wai-key-proxy / proxy · linux (push) Has been cancelled
wai-ledger service / does this change touch it (push) Has been cancelled
wai-ledger service / service · linux (push) Has been cancelled
wai-ledger service / service · macos (push) Has been cancelled
wai-quantum for JavaScript / does this change touch it (push) Has been cancelled
wai-quantum for JavaScript / javascript · linux (push) Has been cancelled
wai-quantum energy-landscape jobs / does this change touch it (push) Has been cancelled
wai-quantum energy-landscape jobs / reader, kernels, answers and the stated result · linux, release (push) Has been cancelled
wai-quantum energy-landscape jobs / the same bits · linux-arm64 (push) Has been cancelled
wai-quantum energy-landscape jobs / the same bits · macos (push) Has been cancelled
wai-quantum energy-landscape jobs / the module under wasm32-wasip2 (wasmtime) (push) Has been cancelled
wai-quantum energy-landscape jobs / native against WebAssembly, over many seeds (push) Has been cancelled
wai-quantum studio and desktop / does this change touch it (push) Has been cancelled
wai-quantum studio and desktop / studio · browser (push) Has been cancelled
wai-quantum studio and desktop / desktop app · macos (push) Has been cancelled
wai-quantum studio and desktop / desktop app · linux (push) Has been cancelled
wai-quantum studio and desktop / desktop app · windows (push) Has been cancelled
wai-sink-android native sink library / does this change touch it (push) Has been cancelled
wai-sink-android native sink library / the JNI layer and the platform-free half on the host JVM · linux-arm64 (push) Has been cancelled
wai-sink-android native sink library / every ABI, the AAR, and the instrumented tests in a headless emulator · macos (push) Has been cancelled
wai-sink-swift native sink package / does this change touch it (push) Has been cancelled
wai-sink-swift native sink package / libwai slices, desktop tests, simulator tests · macos (push) Has been cancelled
WAI Studio / does this change touch it (push) Has been cancelled
WAI Studio / the catalogue's actions, the unit tests and the core · linux (push) Has been cancelled
WAI Studio / Studio in Chromium and Firefox · macos (push) Has been cancelled
WAI Studio / Studio in WebKit · linux (push) Has been cancelled
joule-moq-remote host agent / joule-moq-remote · does this change touch it (push) Has been cancelled
wai-app and Create / wai-app · does this change touch it (push) Has been cancelled
wai-audit collector and player integration / does this change touch it (push) Has been cancelled
WAI operation catalogue / does this change touch it (push) Has been cancelled
joule-moq-room room service / joule-moq-room · does this change touch it (push) Has been cancelled
wai-key-proxy / does this change touch it (push) Has been cancelled
joule-moq-web browser client / joule-moq-web · does this change touch it (push) Has been cancelled
wai-fleet service / does this change touch it (push) Has been cancelled
joule-code conformance gate / joule-moq-relay, its own energy on a counter (macos) (push) Successful in 51s
joule-code conformance gate / Build + round-trip C1-C4 vectors (push) Has been cancelled
joule-code conformance gate / joule-moq-relay, every target (push) Has been cancelled
joule-code conformance gate / joule-moq-ingest, every target (push) Has been cancelled
WAI breaking changes and the conformance runner / WAI breaking · does this change touch WAI (push) Successful in 18s
WAI breaking changes and the conformance runner / WAI breaking · wire, record and API against main · linux (push) Successful in 1m44s
WAI breaking changes and the conformance runner / WAI breaking and conform · their tests, and the independent verifiers through wai conform · linux (push) Successful in 6m32s
wai conform relay --suite moqt holds a relay to the MOQT interop cases, pq joins the verifier suites, and wai conformance gen writes a corpus by its generator
- relay, a kind of its own, with the suite moqt in the live area: the new corpus
  moqt-conformance/cases.json lists the eight interop test cases and wai-receipts, each with
  the drafts it is a test at, so a record names its corpus by digest. joule-moq-interop runs
  each case against the relay's moqt:// or https:// URL at --draft 22, 18 or 16, and its TAP
  version 14 is read as the cases: ok passes; not ok, TODO, no point, exit 127 or a timeout
  fails; a skip passes only at a draft the case lists no test for. The client is found as wai
  dev finds its daemons (WAI_MOQ_INTEROP_BIN, beside wai, PATH). The record's adapter is
  command, its impl the client's command line with the URL and draft, its files the client.
- joule-moq-interop closes every session's endpoint and waits it idle after each test: run a
  test a process, it exited before the CONNECTION_CLOSE left, the relay kept the dead
  publisher's namespace, and subscribe-before-announce and announce-subscribe failed against
  wai-relay at every draft. Now every case passes at 22, 18 and 16 over QUIC and at 22 over
  WebTransport.
- verifier pq: pq-conformance case by case, each case given as the corpus with it alone; its
  independent verifier pq_verify.py now has its verdicts file in its # independent: line.
- wai conformance gen --suite <corpus>[,...] [--verify] [--bin-dir <dir>] (conformance.generate,
  maintainer toolset): build.rs reads .github/wai-conformance/corpora/*.txt into the table of
  generators, and a corpus file whose dir: names no corpus, or whose bin: is no [[bin]] of
  wai-rs, fails the build. The files gain gen: where a tool's generator is not its gen mode
  (pin, staged-measure; oer: none). One cargo build serves every tool a run names.
- wai-breaking.yml runs the new tests with pq_signatures, pq_verify.py through wai conform beside
  the claim, JWP and signer verifiers, and the reference relay at each draft, every record
  admitted.

Co-Authored-By: Claude Opus 5.5 <[email protected]>
2026-11-08 14:44:52 -05:00
..
fixture wai lock, wai check and wai build: a project pinned, validated and built 2026-11-06 17:28:16 -05:00
.gitattributes wai lock, wai check and wai build: a project pinned, validated and built 2026-11-06 17:28:16 -05:00
project_verify.py wai conform relay --suite moqt holds a relay to the MOQT interop cases, pq joins the verifier suites, and wai conformance gen writes a corpus by its generator 2026-11-08 14:44:52 -05:00
README.md wai lock, wai check and wai build: a project pinned, validated and built 2026-11-06 17:28:16 -05:00
vectors.json wai lock, wai check and wai build: an integer tone, a fix for every stale lock, and a lock from wai create 2026-11-06 17:28:40 -05:00

project-conformance

The bytes of wai.lock (schema/README.md), and a second reader of them and of a build record, so that the formats are not defined only by the Rust that writes them.

Provenance. Written here, from the schema's text. Each outcome in vectors.json is set from those rules and never copied from a reader. Every digest in a case is an example: no case states a toolchain, a template or a corpus that exists.

File What it is
vectors.json The reader's cases. An accepted case's bytes are written back byte for byte and have the sha256 stated. A refused case's are refused with the code stated: lock-not-canonical (the same values, in other bytes: a line ending added, indented, members out of order, an escape), lock-repeated-member, lock-not-json, lock-version, lock-unknown-member or lock-member-invalid
fixture/plain/, fixture/plain.lock.expected A project, and the bytes wai lock writes for it. What moves with the toolchain is a placeholder (@VERSION@, @CATALOGUE@, @REGISTRY@), filled in from the committed files, so a change to the catalogue changes no line here
fixture/full/, fixture/full.lock.expected A project that names everything a lock pins: a template, parameter sets, a packaging policy and a conformance suite (@TEMPLATE@, @CLAIM@ as well)
project_verify.py The second reader, standard library only, sharing no code with wai-rs. It takes the policy's digest from pack-conformance/pack_verify.py, the packaging corpus's own second implementation
python3 -I project_verify.py vectors vectors.json             # each case's bytes read
python3 -I project_verify.py selftest vectors.json            # each of its rules dropped in turn, and the corpus catches it
python3 -I project_verify.py project <dir> --wai <wai-dir>    # every digest <dir>/wai.lock pins recomputed, and dist/wai-build.json held to the tree

wai-rs/tests/cli_project.rs runs it on what the binary wrote, and on each change the binary refuses. The directory is * -text: its bytes are what it pins.