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
924 B
Diff
15 lines
924 B
Diff
# must fail: timed_OS_200_before_base
|
|
# a refinement 200 keeps the whole object it carries (session::FetchSession::take)
|
|
diff --git a/wai/wai-rs/src/http_binding/session.rs b/wai/wai-rs/src/http_binding/session.rs
|
|
index ec31518e..6300eea5 100644
|
|
--- a/wai/wai-rs/src/http_binding/session.rs
|
|
+++ b/wai/wai-rs/src/http_binding/session.rs
|
|
@@ -533,7 +533,7 @@ impl FetchSession {
|
|
return Ok(());
|
|
};
|
|
match check_response(Some(r), meta, body.len() as u64, len) {
|
|
- Ok(got) if class == Class::Refinement => {
|
|
+ Ok(got) if false && class == Class::Refinement => {
|
|
// A refinement's response adds the bytes it was asked for and no
|
|
// others: a `200` carrying the whole object is cut to the range.
|
|
let (first, end) = (got.first.max(r.first), got.end().min(r.end()));
|