de88226c00
Some checks failed
joule-moq-room room service / joule-moq-room · does this change touch it (pull_request) Successful in 6s
joule-moq-web browser client / joule-moq-web · does this change touch it (pull_request) Successful in 4s
wai-web reach builds / wai-web reach · does this change touch it (pull_request) Successful in 5s
wai-web reach builds / wai-web reach builds · the package of record, every output as recorded (pull_request) Successful in 2m58s
wai-web reach builds / wai-web reach builds · this tree's wai-web, every rung on its engine line (pull_request) Successful in 4m43s
standards workspaces build + test / which workspaces this change touches (pull_request) Successful in 7s
WAI conformance / does this change touch it (pull_request) Successful in 6s
WAI energy receipts / does this change touch it (pull_request) Successful in 5s
WAI HTTP delivery / WAI HTTP · does this change touch it (pull_request) Successful in 5s
WAI neural sink gates / does this change touch it (pull_request) Successful in 11s
wai-ops-gpu integer operators on GPUs / does this change touch it (pull_request) Successful in 6s
repository checks / lockfiles, tests in CI, workflow hygiene, spec and section references, public text (pull_request) Successful in 58s
wai-pack / wai-pack · does this change touch it (pull_request) Successful in 7s
wai-quantum studio and desktop / does this change touch it (pull_request) Successful in 16s
wai-web wasm32 / does this change touch it (pull_request) Successful in 28s
joule-moq-room room service / joule-moq-room, every target (pull_request) Successful in 1m17s
standards workspaces build + test / joule-code-rs (joule-code/joule-code-rs, joule-code-rs, linux-arm64, true) (pull_request) Successful in 3m53s
WAI conformance / v2 vocabulary · manifests validate as stated (pull_request) Successful in 18s
WAI conformance / delivery telemetry · CMCD and CMSD against an independent library (pull_request) Successful in 11s
WAI conformance / cross-arch byte-equality · linux-arm64 (pull_request) Successful in 26s
WAI conformance / C2PA manifest emission · signed, read back, validated (pull_request) Successful in 2m1s
WAI conformance / quantum core and corpus under wasm32-wasip2 (wasmtime) (pull_request) Successful in 2m5s
WAI conformance / cargo-class corpora · linux-arm64 (pull_request) Successful in 16m31s
WAI conformance / cross-arch byte-equality · linux (pull_request) Successful in 26s
WAI energy receipts / energy receipts · linux-arm64 (pull_request) Successful in 7m7s
WAI energy receipts / energy receipts · linux (pull_request) Successful in 10m13s
WAI neural sink gates / model-free refusals of the neural sink (pull_request) Successful in 1m20s
WAI conformance / cargo-class corpora · linux (pull_request) Successful in 18m50s
wai-ops-gpu integer operators on GPUs / builds · no adapter is not a pass (linux) (pull_request) Successful in 1m54s
wai-pack / wai-pack · linux (pull_request) Successful in 1m36s
WAI conformance / independent verifiers · claims, JWP, key discovery and integer payloads (Python) (pull_request) Successful in 29m20s
wai-quantum studio and desktop / studio · browser (pull_request) Successful in 2m36s
wai-web wasm32 / wai-web wasm32 build · corpus, menu and writers (pull_request) Successful in 4m20s
WAI HTTP delivery / HTTP corpus · falsify mutations 0/3 (pull_request) Successful in 48m58s
WAI HTTP delivery / HTTP corpus · falsify mutations 1/3 (pull_request) Successful in 47m33s
WAI HTTP delivery / HTTP corpus · falsify patches 0/3 (pull_request) Successful in 6m45s
WAI HTTP delivery / HTTP corpus · falsify patches 1/3 (pull_request) Successful in 6m13s
WAI HTTP delivery / HTTP corpus · every patch and mutation in exactly one shard (pull_request) Successful in 4s
WAI HTTP delivery / HTTP corpus · falsify mutations 2/3 (pull_request) Successful in 46m36s
WAI HTTP delivery / HTTP corpus · falsify patches 2/3 (pull_request) Successful in 6m0s
WAI HTTP delivery / HTTP corpus · verified both ways, and the differential (pull_request) Successful in 2m38s
WAI HTTP delivery / cache rules · controls and labelled caches (pull_request) Successful in 1m10s
wai-pack / wai-pack · the floor through a media prober (pull_request) Successful in 22s
wai-pack / wai-pack · linux-arm64 (pull_request) Successful in 1m16s
wai-pack / wai-pack · dependency licences (pull_request) Successful in 1m14s
wai-pack / wai-pack · independent verifier (Python) (pull_request) Successful in 4m12s
joule-moq-web browser client / joule-moq-web · browser end-to-end (macos) (pull_request) Successful in 6m23s
wai-quantum studio and desktop / desktop app · macos (pull_request) Has been cancelled
wai-pack / wai-pack · macos (pull_request) Has been cancelled
wai-ops-gpu integer operators on GPUs / Metal GPU and browser WebGPU (macos) (pull_request) Has been cancelled
WAI energy receipts / energy receipts · macos (pull_request) Has been cancelled
WAI conformance / cargo-class corpora · macos (pull_request) Has been cancelled
WAI conformance / cross-arch byte-equality · macos (pull_request) Has been cancelled
WAI conformance / codec wrappers · fuzz smoke, text decode limits, C entry points, provenance, the semantic path (pull_request) Has been cancelled
standards workspaces build + test / macOS energy backends (pull_request) Has been cancelled
The transmission and reconciliation arms now follow the reconstruct-session arm in receipts::step6, so the patch's context no longer matched and the falsify shard refused it. Same one-line mutation, same case it must fail. Co-Authored-By: Claude Opus 5.5 <[email protected]>
15 lines
901 B
Diff
15 lines
901 B
Diff
# must fail: receipts_reconstruct_session
|
|
# a reconstruct-session claim accepted with none of its context (receipts::step6)
|
|
diff --git a/wai/wai-rs/src/http_binding/receipts.rs b/wai/wai-rs/src/http_binding/receipts.rs
|
|
index 1079dd8c9..71471a4c0 100644
|
|
--- a/wai/wai-rs/src/http_binding/receipts.rs
|
|
+++ b/wai/wai-rs/src/http_binding/receipts.rs
|
|
@@ -685,7 +685,7 @@ fn step6(
|
|
}
|
|
// §2.4.12: its outputs, received objects and envelopes are the sink's, not
|
|
// served beside an object.
|
|
- ClaimBody::ReconstructSession(_) => Err(ReceiptRefusal::ContextNotHeld),
|
|
+ ClaimBody::ReconstructSession(_) => Ok(()),
|
|
// §2.4.14 (bearer-receipts §4.3): against the group of an item its subject names.
|
|
ClaimBody::Transmission(_) => {
|
|
let v = passed.iter().find(|v| v.group.link_hash() == claim.subject).ok_or(ReceiptRefusal::ContextNotHeld)?;
|