ac602599d0
Patches (falsify/run.sh), each failing the corpus cases it names: bytes-unchecked, decision-unchecked, recovery-record-unchecked, operating-point-unchecked, session-accepted, declaration-unnamed, first-publisher, matchers-need-object and set-sha-faults; claim-through-any-receipt, fetch-unmemoised, fetch-budget-unchecked and file-cap-unchecked regenerated against the new receipts.rs. Co-Authored-By: Claude Opus 5.5 <[email protected]>
16 lines
905 B
Diff
16 lines
905 B
Diff
# must fail: receipts_operating_point receipts_operating_point_not_held
|
|
# an operating-point claim accepted without its figure (receipts::step6)
|
|
diff --git a/wai/wai-rs/src/http_binding/receipts.rs b/wai/wai-rs/src/http_binding/receipts.rs
|
|
index 83cd7ccb..865e7bb4 100644
|
|
--- a/wai/wai-rs/src/http_binding/receipts.rs
|
|
+++ b/wai/wai-rs/src/http_binding/receipts.rs
|
|
@@ -628,7 +628,8 @@ fn step6(
|
|
}
|
|
// §2.4.8, §2.4.9: against the receipt carrying the figure — for `moq-jwp:object`,
|
|
// an object receipt accepted under the group the claim names.
|
|
- ClaimBody::Measurement(_) | ClaimBody::OperatingPoint(_) => {
|
|
+ ClaimBody::OperatingPoint(_) => Ok(()),
|
|
+ ClaimBody::Measurement(_) => {
|
|
let group = match &claim.body {
|
|
ClaimBody::Measurement(m) => m.figure.group,
|
|
ClaimBody::OperatingPoint(o) => o.figure.group,
|