Some checks failed
WAI breaking changes and the conformance runner / WAI breaking · does this change touch WAI (push) Successful in 21s
wai-fleet service / does this change touch it (push) Successful in 17s
joule-moq-web browser client / joule-moq-web · does this change touch it (push) Successful in 26s
joule-moq-room room service / joule-moq-room · does this change touch it (push) Successful in 28s
wai-app and Create / wai-app · does this change touch it (push) Successful in 22s
wai-quantum energy-landscape jobs / does this change touch it (push) Successful in 15s
joule-code conformance gate / joule-moq-relay, its own energy on a counter (macos) (push) Successful in 50s
wai-quantum editors / does this change touch it (push) Successful in 31s
wai-quantum for JavaScript / does this change touch it (push) Successful in 29s
wai-app and Create / wai-app · tests, clippy, the line language's verifier (linux) (push) Successful in 40s
wai-audit collector and player integration / does this change touch it (push) Successful in 1m23s
wai-quantum studio and desktop / does this change touch it (push) Successful in 30s
wai-fleet service / service · macos (push) Successful in 59s
wai-quantum for Python / does this change touch it (push) Successful in 31s
wai-quantum docs, course and locales / does this change touch it (push) Successful in 1m27s
wai-quantum views in agent hosts / does this change touch it (push) Successful in 21s
joule-moq-remote host agent / joule-moq-remote · does this change touch it (push) Successful in 2m4s
wai-key-proxy / does this change touch it (push) Successful in 1m55s
WAI operation catalogue / does this change touch it (push) Successful in 1m56s
wai-quantum command line / does this change touch it (push) Successful in 1m40s
wai-ledger service / does this change touch it (push) Successful in 1m50s
wai-quantum contract / does this change touch it (push) Successful in 1m41s
WAI Studio / does this change touch it (push) Successful in 12s
wai-sink-swift native sink package / does this change touch it (push) Successful in 25s
WAI breaking changes and the conformance runner / WAI breaking · wire, record and API against main · linux (push) Successful in 1m43s
wai-sink-android native sink library / does this change touch it (push) Successful in 42s
joule-code conformance gate / Build + round-trip C1-C4 vectors (push) Successful in 2m45s
wai-quantum editors / editors · macos (push) Successful in 2m2s
wai-audit collector and player integration / collector, player integration and the browser end to end · macos (push) Successful in 2m21s
wai-fleet service / service · linux (push) Successful in 3m36s
wai-quantum docs, course and locales / the Studio's words in every locale · linux (push) Successful in 12s
joule-moq-remote host agent / joule-moq-remote, every target (macos) (push) Successful in 52s
joule-moq-remote host agent / joule-moq-remote, every target (linux-arm64) (push) Successful in 2m37s
wai-quantum for Python / python · macos (push) Successful in 2m57s
wai-ledger service / service · macos (push) Successful in 1m16s
wai-quantum editors / editors · linux (push) Successful in 3m46s
wai-audit collector and player integration / collector · linux (push) Successful in 3m39s
wai-quantum docs, course and locales / the course and the command line's languages · linux (push) Successful in 3m23s
wai-quantum for Python / python · linux (push) Successful in 4m26s
repository checks / lockfiles, advisories, tests in CI, workflow hygiene, spec and section references, public text (push) Failing after 6m38s
wai-quantum studio and desktop / desktop app · macos (push) Successful in 5m7s
wai-quantum command line / command line · macos (push) Successful in 2m33s
wai-quantum for JavaScript / javascript · linux (push) Successful in 5m35s
wai-key-proxy / proxy · linux (push) Successful in 1m12s
joule-moq-room room service / joule-moq-room, every target (push) Successful in 7m3s
WAI breaking changes and the conformance runner / WAI breaking and conform · their tests, and the independent verifiers through wai conform · linux (push) Successful in 7m40s
wai-quantum energy-landscape jobs / native against WebAssembly, over many seeds (push) Successful in 7m39s
wai-ledger service / service · linux (push) Successful in 2m5s
wai-quantum contract / the policy is linked, and the deprecations page reads (push) Successful in 7s
wai-app and Create / wai-app · Create, browser end-to-end (macos) (push) Successful in 8m36s
wai-quantum energy-landscape jobs / the same bits · macos (push) Successful in 8m36s
WAI Studio / the catalogue's actions, the unit tests and the core · linux (push) Successful in 1m10s
wai-quantum views in agent hosts / views · a scripted host (push) Successful in 4m26s
wai-quantum views in agent hosts / views · the page and its engine (push) Successful in 6m33s
wai-quantum contract / API compatibility · linux (push) Successful in 4m44s
wai-quantum energy-landscape jobs / the same bits · linux-arm64 (push) Successful in 13m4s
wai-sink-android native sink library / every ABI, the AAR, and the instrumented tests in a headless emulator · macos (push) Successful in 6m46s
wai-quantum energy-landscape jobs / reader, kernels, answers and the stated result · linux, release (push) Successful in 14m11s
wai-quantum energy-landscape jobs / the module under wasm32-wasip2 (wasmtime) (push) Successful in 14m12s
wai-quantum studio and desktop / desktop app · linux (push) Successful in 13m18s
WAI operation catalogue / the catalogue and every door · linux (push) Successful in 10m49s
WAI Studio / Studio in Chromium and Firefox · macos (push) Successful in 11m36s
wai-sink-swift native sink package / libwai slices, desktop tests, simulator tests · macos (push) Successful in 12m10s
joule-moq-web browser client / joule-moq-web · browser end-to-end (macos) (push) Successful in 16m36s
wai-quantum contract / schemas and the committed tool lists · linux (push) Successful in 9m58s
wai-quantum studio and desktop / studio · browser (push) Successful in 16m35s
WAI Studio / Studio in WebKit · linux (push) Successful in 12m22s
wai-quantum docs, course and locales / every command and snippet in the docs · linux (push) Successful in 22m0s
wai release binaries build on Windows / the seven release binaries · windows (push) Successful in 24m31s
joule-code conformance gate / joule-moq-ingest, every target (push) Successful in 28m51s
joule-code conformance gate / joule-moq-relay, every target (push) Successful in 28m59s
wai-sink-android native sink library / the JNI layer and the platform-free half on the host JVM · linux-arm64 (push) Successful in 29m41s
wai-quantum studio and desktop / desktop app · windows (push) Successful in 11m58s
wai-quantum command line / command line · linux (push) Successful in 48m17s
Folds, each the program it folds run as itself, so what it prints and its exit status are the program's for the same arguments: wai audit report|check|verify (audit.create, audit.check, audit.verify) is wai-audit, --owner its WAI_AUDIT_OWNER; wai serve <role> [--config F] [--check] (service.start) starts wai-<role>: relay, room, ingest and key-release from a file, audit, fleet, ledger and quantum-service from their environment; wai quantum run|plan|lint|verify|methods (quantum.run, .inspect, .check, .verify, .list) is wai-quantum with that verb, and no other verb of it is reached. A program is its flag, WAI_<NAME>_BIN, beside wai, or on PATH; one not there is exit 5, program-not-found. report is not an N3 verb, so wai audit report is the operation audit.create. --check on the daemons: wai-relay, wai-room (its keys too) and wai-ingest --config F --check, and wai-key-release serve F --check, read the configuration as each starts from it and start nothing, exit 1 with the reason when it does not read. The proxy is installed as wai-key-release; wai-key-proxy is the same program under its earlier name. wai cmcd encode|decode|verify is wai_telemetry's tool compiled in (cmcd.rs, one module behind both; telemetry joins full). wai receipt create <file>... --from <input>... [--key] signs the operation receipt a toolchain write leaves, for files made elsewhere. wai verify reads every record by its kind: by name, and a JSON record by what it holds (a delivery receipt or claim as receipt_verify answers it, a room session, an audit bundle as wai-audit verify does with --owner/--channel, a sealed playlist by its mr/<blake3>.json as check-playlist does); a file of no kind is exit 2, unknown-record. wai mcp --toolset quantum starts wai-quantum mcp and answers each quantum_* tool with that server's own answer and schemas. wai media score build|render alias wai score. The quantum operations' SDK names are registered labels. Tests, each fold against what it folds: cli_folds (cmcd over the whole corpus, receipt create against wrap's receipt, verify on the claim, JWP, room and audit corpora and a sealed playlist, audit|serve|quantum against stand-ins); wai-audit tests/fold.rs, wai-quantum-cli tests/wai_fold.rs and joule-moq-room tests/cli_serve.rs against the real programs; cli_mcp's quantum toolset; the daemons' --check (config_check.rs, check.rs). ops.json, mcp.json, the registry export and Studio's actions regenerated. Co-Authored-By: Claude Opus 5.5 <[email protected]>
187 lines
8.8 KiB
Rust
187 lines
8.8 KiB
Rust
//! `wai audit report|check|verify` and `wai verify` on an audit bundle, against this crate's own program,
|
|
//! on the same input: the stream-audit corpus (`live-conformance/audit/`) stored by the collector,
|
|
//! a channel's report from that store, the report checked against its bundles, and each bundle
|
|
//! verified. Each folded command prints what `wai-audit` prints and exits as it exits, byte for
|
|
//! byte; `--owner` is `WAI_AUDIT_OWNER` to the program, and a fold that dropped it would be told
|
|
//! apart here (the program refuses to check without an owner).
|
|
//!
|
|
//! `wai` is built from `wai/wai-rs` with the feature `quickstart`, into a target directory of this
|
|
//! test's own.
|
|
|
|
use ed25519_dalek::SigningKey;
|
|
use serde_json::Value;
|
|
use sha2::{Digest, Sha256};
|
|
use std::path::{Path, PathBuf};
|
|
use std::process::{Command, Output, Stdio};
|
|
use wai_audit::collector::{Collector, Config};
|
|
|
|
fn cargo() -> String {
|
|
std::env::var("CARGO").unwrap_or_else(|_| "cargo".into())
|
|
}
|
|
|
|
fn exe(name: &str) -> String {
|
|
format!("{name}{}", std::env::consts::EXE_SUFFIX)
|
|
}
|
|
|
|
/// The `wai` binary, built with the feature quickstart.
|
|
fn wai_bin() -> PathBuf {
|
|
let manifest = Path::new(env!("CARGO_MANIFEST_DIR")).join("../wai-rs/Cargo.toml");
|
|
let target = Path::new(env!("CARGO_TARGET_TMPDIR")).join("wai-quickstart");
|
|
let status = Command::new(cargo())
|
|
.args(["build", "--locked", "--no-default-features", "--features", "quickstart", "--bin", "wai", "--manifest-path"])
|
|
.arg(&manifest)
|
|
.env("CARGO_TARGET_DIR", &target)
|
|
.status()
|
|
.expect("cargo runs");
|
|
assert!(status.success(), "the wai binary builds with the feature quickstart");
|
|
target.join("debug").join(exe("wai"))
|
|
}
|
|
|
|
fn corpus() -> Value {
|
|
let p = Path::new(env!("CARGO_MANIFEST_DIR")).join("../live-conformance/audit/vectors.json");
|
|
serde_json::from_slice(&std::fs::read(&p).unwrap()).unwrap()
|
|
}
|
|
|
|
/// The corpus's owner key: SHA-256 of its label and index 0 (its README).
|
|
fn owner_seed() -> [u8; 32] {
|
|
let mut h = Sha256::new();
|
|
h.update(b"wai:stream-audit/corpus/key\x00");
|
|
h.update([0u8]);
|
|
h.finalize().into()
|
|
}
|
|
|
|
fn bundle_bytes(v: &Value) -> Vec<u8> {
|
|
match &v["bundle_text"] {
|
|
Value::String(s) => s.clone().into_bytes(),
|
|
_ => serde_json::to_vec(&v["bundle"]).unwrap(),
|
|
}
|
|
}
|
|
|
|
fn run(bin: &Path, args: &[&str], envs: &[(&str, &str)]) -> Output {
|
|
let mut c = Command::new(bin);
|
|
c.args(args).env_remove("WAI_AUDIT_OWNER").env_remove("WAI_AUDIT_KEY").stdin(Stdio::null());
|
|
for (k, v) in envs {
|
|
c.env(k, v);
|
|
}
|
|
c.output().expect("it runs")
|
|
}
|
|
|
|
fn text(o: &Output) -> String {
|
|
format!("{}{}", String::from_utf8_lossy(&o.stdout), String::from_utf8_lossy(&o.stderr))
|
|
}
|
|
|
|
fn same(a: &Output, b: &Output, what: &str) {
|
|
assert_eq!(a.status.code(), b.status.code(), "{what}: the exit status\n{}\n---\n{}", text(a), text(b));
|
|
assert_eq!(String::from_utf8_lossy(&a.stdout), String::from_utf8_lossy(&b.stdout), "{what}: standard output");
|
|
assert_eq!(String::from_utf8_lossy(&a.stderr), String::from_utf8_lossy(&b.stderr), "{what}: standard error");
|
|
}
|
|
|
|
#[test]
|
|
fn the_folds_print_what_wai_audit_prints() {
|
|
let wai = wai_bin();
|
|
let me = Path::new(env!("CARGO_BIN_EXE_wai-audit"));
|
|
let m = me.to_str().unwrap();
|
|
let doc = corpus();
|
|
let dir = Path::new(env!("CARGO_TARGET_TMPDIR")).join("fold");
|
|
let _ = std::fs::remove_dir_all(&dir);
|
|
std::fs::create_dir_all(&dir).unwrap();
|
|
// The collector's store, every session of the corpus posted to it, and its key's file.
|
|
let channels: Vec<String> = doc["channels"].as_array().unwrap().iter().map(|c| c.as_str().unwrap().to_string()).collect();
|
|
let data = dir.join("data");
|
|
let config = Config { channels: channels.clone(), data: data.clone(), allow_origins: vec![], max_bundle: 4 << 20, max_batch: 64 << 10, per_minute: u32::MAX };
|
|
let collector = Collector::new(config, SigningKey::from_bytes(&owner_seed()));
|
|
for s in doc["sessions"].as_array().unwrap() {
|
|
collector.submit(&bundle_bytes(s));
|
|
}
|
|
let key = dir.join("owner.key");
|
|
std::fs::write(&key, owner_seed()).unwrap();
|
|
let k = key.to_str().unwrap();
|
|
let owner = doc["owner"].as_str().unwrap();
|
|
|
|
for r in doc["reports"].as_array().unwrap().iter().filter(|r| r["outcome"]["outcome"] == "accept") {
|
|
let name = r["name"].as_str().unwrap();
|
|
let chan = r["channel"].as_str().unwrap();
|
|
let rep = &r["served"]["report"];
|
|
let (from, to) = (rep["from"].to_string(), rep["to"].to_string());
|
|
// The report: wai-audit's, byte for byte, and the corpus's.
|
|
let theirs = run(me, &["report", data.to_str().unwrap(), chan, &from, &to], &[("WAI_AUDIT_KEY", k)]);
|
|
let ours = run(&wai, &["audit", "report", data.to_str().unwrap(), chan, &from, &to, "--audit", m], &[("WAI_AUDIT_KEY", k)]);
|
|
same(&ours, &theirs, &format!("{name}: report"));
|
|
if !theirs.status.success() {
|
|
continue;
|
|
}
|
|
let served: Value = serde_json::from_slice(&theirs.stdout).unwrap();
|
|
assert_eq!(served, r["served"], "{name}: the report is the corpus's");
|
|
let served_file = dir.join(format!("{name}.served.json"));
|
|
std::fs::write(&served_file, &theirs.stdout).unwrap();
|
|
// With --json, the envelope carries its JSON.
|
|
let j = run(&wai, &["audit", "report", data.to_str().unwrap(), chan, &from, &to, "--audit", m, "--json"], &[("WAI_AUDIT_KEY", k)]);
|
|
let e: Value = serde_json::from_slice(&j.stdout).unwrap_or_else(|e| panic!("{e}: {}", text(&j)));
|
|
assert_eq!(e["data"], served, "{name}: --json");
|
|
|
|
// The report checked against the bundles it reads.
|
|
let bundles: Vec<PathBuf> = r["sessions"]
|
|
.as_array()
|
|
.unwrap()
|
|
.iter()
|
|
.map(|n| {
|
|
let s = doc["sessions"].as_array().unwrap().iter().find(|s| s["name"] == *n).unwrap();
|
|
let f = dir.join(format!("{}.bundle.json", n.as_str().unwrap()));
|
|
std::fs::write(&f, bundle_bytes(s)).unwrap();
|
|
f
|
|
})
|
|
.collect();
|
|
let mut check = vec!["check", served_file.to_str().unwrap(), chan];
|
|
check.extend(bundles.iter().map(|b| b.to_str().unwrap()));
|
|
let theirs = run(me, &check, &[("WAI_AUDIT_OWNER", owner)]);
|
|
let mut fold = vec!["audit"];
|
|
fold.extend(&check);
|
|
fold.extend(["--owner", owner, "--audit", m]);
|
|
let ours = run(&wai, &fold, &[]);
|
|
same(&ours, &theirs, &format!("{name}: check"));
|
|
assert!(theirs.status.success(), "{name}: {}", text(&theirs));
|
|
// Without the owner the program refuses: a fold that dropped --owner is told apart.
|
|
let ownerless = run(me, &check, &[]);
|
|
assert_ne!(ownerless.status.code(), ours.status.code(), "{name}: the owner matters to the check");
|
|
// A bundle left out: refused by both alike.
|
|
if bundles.len() > 1 {
|
|
let short: Vec<&str> = check[..check.len() - 1].to_vec();
|
|
let theirs = run(me, &short, &[("WAI_AUDIT_OWNER", owner)]);
|
|
let mut f = vec!["audit"];
|
|
f.extend(&short);
|
|
f.extend(["--owner", owner, "--audit", m]);
|
|
let ours = run(&wai, &f, &[]);
|
|
assert_eq!(theirs.status.code(), Some(1), "{name}: {}", text(&theirs));
|
|
same(&ours, &theirs, &format!("{name}: a bundle left out"));
|
|
}
|
|
}
|
|
|
|
// Each bundle verified: `wai audit verify` is wai-audit verify, byte for byte, and wai verify's
|
|
// answer for the bundle is the same JSON.
|
|
let mut flags = Vec::new();
|
|
for c in &channels {
|
|
flags.extend(["--channel", c.as_str()]);
|
|
}
|
|
let mut n = 0;
|
|
for s in doc["sessions"].as_array().unwrap().iter().filter(|s| s["bundle"].is_object()) {
|
|
let name = s["name"].as_str().unwrap();
|
|
let f = dir.join(format!("verify-{name}.json"));
|
|
std::fs::write(&f, bundle_bytes(s)).unwrap();
|
|
let file = f.to_str().unwrap();
|
|
let mut a = vec!["verify", file];
|
|
a.extend(channels.iter().map(String::as_str));
|
|
let theirs = run(me, &a, &[("WAI_AUDIT_OWNER", owner)]);
|
|
let mut folded = vec!["audit"];
|
|
folded.extend(&a);
|
|
folded.extend(["--owner", owner, "--audit", m]);
|
|
same(&run(&wai, &folded, &[]), &theirs, &format!("{name}: audit verify"));
|
|
let mut v = vec!["verify", file, "--owner", owner];
|
|
v.extend(&flags);
|
|
let ours = run(&wai, &v, &[]);
|
|
assert_eq!(ours.status.code(), theirs.status.code(), "{name}: {}\n{}", text(&ours), text(&theirs));
|
|
let body: String = String::from_utf8_lossy(&ours.stdout).lines().skip(1).take_while(|l| !l.starts_with("wai verify:")).map(|l| l.strip_prefix(" ").unwrap_or(l)).collect::<Vec<_>>().join("\n");
|
|
assert_eq!(format!("{body}\n"), String::from_utf8_lossy(&theirs.stdout), "{name}: wai-audit verify's JSON");
|
|
n += 1;
|
|
}
|
|
assert!(n > 80, "{n} bundles");
|
|
}
|