9786590154
- wai_http_vectors: op fetch_timed (a script of base / base_once / refinement / tick steps, each at a time on the caller's clock) and ten timed_OS_* cases, held at generation to their outcomes: the base ready at the first step; deadlines that pass exactly at verification plus the deadline whether the clock was never told, told 0, stepped back before or after, or near the end of u64; a refinement 200 carrying the whole object with a base or enhancement byte changed, after the base is ready and before. - http_verify.py: the session keeps the caller's clock (on_response carries it), the base and its time, frozen verified parts and a tick; a refinement's response keeps only its range; fetch_timed. Mutations base-at-done, tick-noop and refinement-unclipped each fail the timed cases; falsify/run.sh runs them. - Falsify patches: base-ready-at-done, tick-noop, refinement-200-whole, response-no-clock, deadline-wraps; reuse-stale regenerated for the moved context. Co-Authored-By: Claude Opus 5.5 <[email protected]>
15 lines
787 B
Diff
15 lines
787 B
Diff
# must fail: fetch_OD_stale fetch_OT_stale_small
|
|
# bytes past covered_len are reused after a mismatch (session::advance_components)
|
|
diff --git a/wai/wai-rs/src/http_binding/session.rs b/wai/wai-rs/src/http_binding/session.rs
|
|
index ec31518e..d7874048 100644
|
|
--- a/wai/wai-rs/src/http_binding/session.rs
|
|
+++ b/wai/wai-rs/src/http_binding/session.rs
|
|
@@ -728,7 +728,7 @@ impl FetchSession {
|
|
self.abandoned.clear();
|
|
self.dropped.clear();
|
|
self.verified.clear();
|
|
- self.drop_from(head.covered_len());
|
|
+ let _ = head.covered_len();
|
|
self.to_rest(&head, WhyWhole::DigestMismatch { index: i }, Class::Base);
|
|
return self.advance_rest();
|
|
}
|