8925c221f4
#433 extended the comment above step6's binding-recovery arm, and the train moved its lines, so decision-unchecked and recovery-record-unchecked no longer applied (HTTP corpus falsify shards 0/3 and 2/3 failed). Each patch makes the same edit as before, against the new context. Co-Authored-By: Claude Opus 5.5 <[email protected]>
17 lines
986 B
Diff
17 lines
986 B
Diff
# must fail: receipts_lawful_basis receipts_lawful_basis_declaration_not_served receipts_lawful_basis_declaration_renamed
|
|
# a lawful-basis decision accepted without its declaration (receipts::step6)
|
|
diff --git a/wai/wai-rs/src/http_binding/receipts.rs b/wai/wai-rs/src/http_binding/receipts.rs
|
|
index a9ad67595..02ea0c3d1 100644
|
|
--- a/wai/wai-rs/src/http_binding/receipts.rs
|
|
+++ b/wai/wai-rs/src/http_binding/receipts.rs
|
|
@@ -661,8 +661,8 @@ fn step6(
|
|
}
|
|
// §2.4.6: against the declaration it names, fetched by its link.
|
|
ClaimBody::LawfulBasis(LawfulBasisClaim::Decision { declaration, .. }) => {
|
|
- let d = declaration_of(declaration, fetch)?;
|
|
- claim.check_decision_against(&d).map_err(c)
|
|
+ let _ = (declaration, &fetch);
|
|
+ Ok(())
|
|
}
|
|
// §2.6.3: against its declaration together with the publisher key of a verified
|
|
// delivery receipt for the declaration's subject; for a span declaration
|