open-standards/wai/http-conformance/falsify
Repository files (latest commit first)
Filename Latest commit message Latest commit date
Transaction Science 379425e555
All checks were successful
no-vanity-metrics / Scan committed Markdown for vanity metrics (pull_request) Successful in 3s
no-vanity-metrics / WAI public text names no comparison (pull_request) Successful in 4s
no-vanity-metrics / WAI public text names no company or product (pull_request) Successful in 3s
standards workspaces build + test / arl-rs (pull_request) Successful in 1m10s
standards workspaces build + test / eoc-rs (pull_request) Successful in 1m58s
standards workspaces build + test / jcp-rs (pull_request) Successful in 1m30s
standards workspaces build + test / joule-ui-rs (pull_request) Successful in 1m14s
standards workspaces build + test / joulehook-rs (pull_request) Successful in 1m16s
standards workspaces build + test / proof-rs (pull_request) Successful in 1m18s
standards workspaces build + test / sandbox-rs (pull_request) Successful in 2m18s
standards workspaces build + test / sense-rs (pull_request) Successful in 1m7s
standards workspaces build + test / smart-byte-rs (pull_request) Successful in 3m49s
WAI conformance / cargo-class corpora · linux (pull_request) Successful in 7m51s
WAI conformance / v2 vocabulary · manifests validate as stated (pull_request) Successful in 14s
WAI conformance / independent verifiers · claims, JWP, key discovery and integer payloads (Python) (pull_request) Successful in 15m38s
WAI conformance / delivery telemetry · CMCD and CMSD against an independent library (pull_request) Successful in 9s
WAI conformance / cross-arch byte-equality · linux (pull_request) Successful in 24s
WAI conformance / C2PA manifest emission · signed, read back, validated (pull_request) Successful in 49s
WAI energy receipts / energy receipts · linux (pull_request) Successful in 1m54s
WAI HTTP delivery / WAI HTTP · does this change touch it (pull_request) Successful in 4s
WAI JPEG-AI whole decode (pinned inputs, required) / fetch pinned JPEG-AI inputs → whole decode + pixel hash, required (pull_request) Successful in 1m5s
WAI neural sink gates / model-free refusals of the neural sink (pull_request) Successful in 1m12s
wai-pack / wai-pack · does this change touch it (pull_request) Successful in 4s
WAI section references / cited sections exist (pull_request) Successful in 11s
WAI mbt2018_mean integer decode (regenerated vectors) / regenerate mbt2018_mean integer vectors → Rust decode, required (pull_request) Successful in 4m33s
wai-web wasm32 / wai-web wasm32 build · corpus, menu and writers (pull_request) Successful in 2m53s
workflow hygiene / every workflow supersedes its own queue (pull_request) Successful in 4s
WAI HTTP delivery / HTTP corpus · falsify mutations 1/3 (pull_request) Successful in 35m41s
WAI HTTP delivery / HTTP corpus · falsify mutations 0/3 (pull_request) Successful in 36m22s
WAI HTTP delivery / HTTP corpus · falsify patches 0/3 (pull_request) Successful in 4m31s
WAI HTTP delivery / HTTP corpus · falsify patches 1/3 (pull_request) Successful in 4m56s
WAI HTTP delivery / HTTP corpus · falsify patches 2/3 (pull_request) Successful in 4m42s
WAI HTTP delivery / HTTP corpus · every patch and mutation in exactly one shard (pull_request) Successful in 4s
WAI HTTP delivery / HTTP corpus · verified both ways, and the differential (pull_request) Successful in 2m17s
WAI HTTP delivery / cache rules · controls and labelled caches (pull_request) Successful in 1m6s
wai-pack / wai-pack · linux (pull_request) Successful in 1m5s
wai-pack / wai-pack · independent verifier (Python) (pull_request) Successful in 1m47s
wai-pack / wai-pack · the floor through a media prober (pull_request) Successful in 16s
wai-pack / wai-pack · dependency licences (pull_request) Successful in 1m20s
WAI HTTP delivery / HTTP corpus · falsify mutations 2/3 (pull_request) Successful in 36m54s
standards workspaces build + test / jouleclaw-rs (pull_request) Successful in 52m0s
standards workspaces build + test / aac-rs (pull_request) Successful in 8m54s
standards workspaces build + test / joule-code-rs (pull_request) Successful in 6m49s
standards workspaces build + test / joulecontract-rs (pull_request) Successful in 5m1s
standards workspaces build + test / map-rs (pull_request) Successful in 6m36s
standards workspaces build + test / mesh-rs (pull_request) Successful in 1m6s
standards workspaces build + test / openpay (pull_request) Successful in 1m31s
WAI conformance / cargo-class corpora · linux-arm64 (pull_request) Successful in 9m7s
WAI conformance / cross-arch byte-equality · linux-arm64 (pull_request) Successful in 1m7s
WAI energy receipts / energy receipts · linux-arm64 (pull_request) Successful in 3m18s
wai-pack / wai-pack · linux-arm64 (pull_request) Successful in 2m51s
standards workspaces build + test / jouledesk-rs (pull_request) Successful in 2m54s
standards workspaces build + test / macOS energy backends (pull_request) Successful in 7m5s
WAI conformance / cargo-class corpora · macos (pull_request) Successful in 11m1s
WAI conformance / cross-arch byte-equality · macos (pull_request) Successful in 29s
WAI energy receipts / energy receipts · macos (pull_request) Successful in 3m10s
wai-pack / wai-pack · macos (pull_request) Successful in 2m13s
falsify: every mutation names the cases it must fail; receipt-surrogates reaches one
A mutation used to pass when http_verify.py merely exited non-zero, so a crash
counted as a catch: receipt-surrogates printed "ok … 0 failures" because the
mutated verifier raised UnicodeEncodeError in lp() on the lone surrogate it had
just admitted.

- falsify/mutations.txt lists each of the 77 mutations with the cases it must
  fail, as each patch does; run.sh reads the mutations from it. A mutation passes
  only when http_verify.py exits non-zero and prints a FAIL line for every listed
  case; a traceback, or a non-zero exit with no named FAIL, is reported as a
  harness failure. The mutation count, and so the shard totals, are unchanged.
- receipt-surrogates models a reader that admits an unpaired surrogate
  (RFC 8259 §8.2) and carries it on. Receipt text is now encoded with
  text_bytes(), which never raises (the unpaired surrogate goes as the bytes a
  lenient reader would hash), so the mutated verifier reaches a verdict:
  playlist_receipt_lone_surrogate and playlist_receipt_lone_low_surrogate give
  playlist_receipt_invalid where the corpus says playlist_receipt_malformed. The
  unmutated reader still refuses such text first, by name
  (playlist_receipt_malformed), as wai-rs does; no corpus case changes.

Co-Authored-By: Claude Opus 5.5 <[email protected]>
2026-10-10 01:42:38 -04:00
..
abr-options-unbounded.patch http-conformance: falsify the budget rule, the bounds and the exact arithmetic of adaptation 2026-10-06 10:39:19 -04:00
abr-parameter-truncated.patch http-conformance: falsify the budget rule, the bounds and the exact arithmetic of adaptation 2026-10-06 10:39:19 -04:00
accept-gzip.patch wai: falsification patches for the fix round, and the four the rewrite moved, regenerated 2026-10-05 09:35:08 -04:00
adjacency-dseq.patch wai: falsification of the playlist side (W3-4, W3-5) 2026-10-06 06:31:05 -04:00
adjacency-pdt.patch wai: falsification of the playlist side (W3-4, W3-5) 2026-10-06 06:31:05 -04:00
allow-trailing.patch wai: http-conformance falsification patches and their runner 2026-10-05 07:52:43 -04:00
ancestor-as-object.patch http receipts: falsify the round-2 fixes 2026-10-07 22:30:00 -04:00
ancestor-unrecovered.patch http receipts: falsify the round-2 fixes 2026-10-07 22:30:00 -04:00
anchor-follows-redirect.patch http-conformance: falsify the receipt side — the receipt file's name, the parent walk and its bound, an object not received, a refused fetch, the ancestor rule, a claim's parent, the index's members, anchoring after a redirect, an older cached log, the grants file's module, a set held without the key log, and a non-string kind 2026-10-07 09:56:47 -04:00
bandwidth-average-floor.patch wai: falsification of the playlist side (W3-4, W3-5) 2026-10-06 06:31:05 -04:00
base-ready-at-done.patch wai: HTTP corpus round 4 — fetch_timed runs the session on a clock: the base ready before its refinement, the deadline from the verifying response, a refinement's whole-object 200 that never reaches the base 2026-10-06 02:46:20 -04:00
base-unanswered.patch wai: falsification patches for the fix round, and the four the rewrite moved, regenerated 2026-10-05 09:35:08 -04:00
bola-narrow-product.patch http-conformance: falsify the budget rule, the bounds and the exact arithmetic of adaptation 2026-10-06 10:39:19 -04:00
bola-waits.patch wai: falsification of the playlist side (W3-4, W3-5) 2026-10-06 06:31:05 -04:00
budget-raises.patch http-conformance: falsify the budget's never raising the choice and option 0 when unmet 2026-10-06 14:03:26 -04:00
budget-unlabelled-escapes.patch http-conformance: falsify the budget's never raising the choice and option 0 when unmet 2026-10-06 14:03:26 -04:00
budget-unlabelled.patch http-conformance: falsify the budget's never raising the choice and option 0 when unmet 2026-10-06 14:03:26 -04:00
budget-unmet-least-figure.patch http-conformance: falsify the budget's never raising the choice and option 0 when unmet 2026-10-06 14:03:26 -04:00
bytes-read-whole.patch http receipts round 4: falsify the bounded reads and the key-log cap 2026-10-09 14:46:34 -04:00
bytes-unchecked.patch http receipts round 4: falsify the bounded reads and the key-log cap 2026-10-09 14:46:34 -04:00
cached-rollback-unchecked.patch http-conformance: falsify the receipt side — the receipt file's name, the parent walk and its bound, an object not received, a refused fetch, the ancestor rule, a claim's parent, the index's members, anchoring after a redirect, an older cached log, the grants file's module, a set held without the key log, and a non-string kind 2026-10-07 09:56:47 -04:00
chain-bindings-dropped.patch http-conformance: falsify the live chain's walk, bound, reload, key and bindings, and the listing's rebinding refusals 2026-10-06 09:38:20 -04:00
chain-key-unchecked.patch http-conformance: falsify the live chain's walk, bound, reload, key and bindings, and the listing's rebinding refusals 2026-10-06 09:38:20 -04:00
chain-parent-unchecked.patch http-conformance: falsify re-anchoring, URL-keyed bindings, the gap rule, the walk's per-parent checks and URL resolution; chain and rebinding patches against the new code; Python mutations and a retention self-test 2026-10-06 14:42:56 -04:00
chain-reload-as-revision.patch http-conformance: falsify the live chain's walk, bound, reload, key and bindings, and the listing's rebinding refusals 2026-10-06 09:38:20 -04:00
chain-walk-unbounded.patch http-conformance: falsify re-anchoring, URL-keyed bindings, the gap rule, the walk's per-parent checks and URL resolution; chain and rebinding patches against the new code; Python mutations and a retention self-test 2026-10-06 14:42:56 -04:00
claim-parent-unfetched.patch http receipts: falsify the round-2 fixes 2026-10-07 22:30:00 -04:00
claim-through-any-receipt.patch http receipts round 3: falsify the fixes 2026-10-08 04:15:46 -04:00
conforming-withheld.patch wai: HTTP reports a refinement by its refines.base alone; a conforming envelope's refinement tested 2026-10-08 03:11:46 -04:00
counter.patch wai: http-conformance falsification patches and their runner 2026-10-05 07:52:43 -04:00
dash-order-unchecked.patch http-conformance: falsify the MPD reader's runs, its timeline bound and run ends, against the new reader; Python mutations for expansion, scanned attribute names and the timeline bound 2026-10-06 13:51:28 -04:00
dash-r-ignored.patch http-conformance: falsify the MPD reader's runs, its timeline bound and run ends, against the new reader; Python mutations for expansion, scanned attribute names and the timeline bound 2026-10-06 13:51:28 -04:00
dash-run-end-unchecked.patch http-conformance: falsify the MPD reader's runs, its timeline bound and run ends, against the new reader; Python mutations for expansion, scanned attribute names and the timeline bound 2026-10-06 13:51:28 -04:00
dash-start-unchecked.patch http-conformance: falsify DASH adjacency, the MPD reader's subset and bounds, MPD escaping and the gap left out 2026-10-06 10:10:01 -04:00
dash-timelines-unbounded.patch http-conformance: falsify the MPD reader's runs, its timeline bound and run ends, against the new reader; Python mutations for expansion, scanned attribute names and the timeline bound 2026-10-06 13:51:28 -04:00
dash-timescale-unchecked.patch http-conformance: falsify the MPD reader's runs, its timeline bound and run ends, against the new reader; Python mutations for expansion, scanned attribute names and the timeline bound 2026-10-06 13:51:28 -04:00
dash-zero-d.patch http-conformance: falsify the MPD reader's runs, its timeline bound and run ends, against the new reader; Python mutations for expansion, scanned attribute names and the timeline bound 2026-10-06 13:51:28 -04:00
deadline-wraps.patch wai: HTTP corpus round 4 — fetch_timed runs the session on a clock: the base ready before its refinement, the deadline from the verifying response, a refinement's whole-object 200 that never reaches the base 2026-10-06 02:46:20 -04:00
decimal-truncates.patch wai: falsification of the playlist side (W3-4, W3-5) 2026-10-06 06:31:05 -04:00
decision-unchecked.patch http receipts round 3: falsify the fixes 2026-10-08 04:15:46 -04:00
declaration-unnamed.patch http receipts round 3: falsify the fixes 2026-10-08 04:15:46 -04:00
depth-per-layer.patch http-conformance: falsify the budget rule, the bounds and the exact arithmetic of adaptation 2026-10-06 10:39:19 -04:00
depth-sum-saturates.patch http-conformance: falsify the budget rule, the bounds and the exact arithmetic of adaptation 2026-10-06 10:39:19 -04:00
dispatch-layer.patch wai: falsification patches for the fix round, and the four the rewrite moved, regenerated 2026-10-05 09:35:08 -04:00
drop-domain.patch wai: http-conformance falsification patches and their runner 2026-10-05 07:52:43 -04:00
dup-caps.patch wai: falsification patches for the fix round, and the four the rewrite moved, regenerated 2026-10-05 09:35:08 -04:00
energy-context-assumed.patch http receipts: falsify the round-2 fixes 2026-10-07 22:30:00 -04:00
established-on-refusal.patch http-conformance: falsify the receipt side — the receipt file's name, the parent walk and its bound, an object not received, a refused fetch, the ancestor rule, a claim's parent, the index's members, anchoring after a redirect, an older cached log, the grants file's module, a set held without the key log, and a non-string kind 2026-10-07 09:56:47 -04:00
fetch-budget-unchecked.patch http receipts round 4: falsify the bounded reads and the key-log cap 2026-10-09 14:46:34 -04:00
fetch-unmemoised.patch http receipts round 4: falsify the bounded reads and the key-log cap 2026-10-09 14:46:34 -04:00
figure-not-held-accepted.patch http receipts: falsify the round-2 fixes 2026-10-07 22:30:00 -04:00
file-cap-unchecked.patch http receipts round 3: falsify the fixes 2026-10-08 04:15:46 -04:00
first-publisher.patch http receipts round 3: falsify the fixes 2026-10-08 04:15:46 -04:00
gap-carries.patch http-conformance: falsify the gap rule 2026-10-06 10:57:18 -04:00
gap-coordinates-unchecked.patch http receipts: falsify the round-2 fixes 2026-10-07 22:30:00 -04:00
gap-not-rendered.patch wai: falsification follows the renderer: two patches re-cut, a gap and layer bytes added 2026-10-06 07:30:39 -04:00
gap-withdraws.patch http-conformance: falsify re-anchoring, URL-keyed bindings, the gap rule, the walk's per-parent checks and URL resolution; chain and rebinding patches against the new code; Python mutations and a retention self-test 2026-10-06 14:42:56 -04:00
grant-ceiling-written-out.patch http-conformance: falsify the grant's null ceiling and the receipt file's number bound 2026-10-06 11:25:08 -04:00
grants-module-unchecked.patch http-conformance: falsify the receipt side — the receipt file's name, the parent walk and its bound, an object not received, a refused fetch, the ancestor rule, a claim's parent, the index's members, anchoring after a redirect, an older cached log, the grants file's module, a set held without the key log, and a non-string kind 2026-10-07 09:56:47 -04:00
ilog2-no-interp.patch wai: falsification of the playlist side (W3-4, W3-5) 2026-10-06 06:31:05 -04:00
index-claims-uncapped.patch http receipts: falsify the round-2 fixes 2026-10-07 22:30:00 -04:00
index-items-uncapped.patch http receipts: falsify the round-2 fixes 2026-10-07 22:30:00 -04:00
index-member-added.patch http-conformance: falsify the receipt side — the receipt file's name, the parent walk and its bound, an object not received, a refused fetch, the ancestor rule, a claim's parent, the index's members, anchoring after a redirect, an older cached log, the grants file's module, a set held without the key log, and a non-string kind 2026-10-07 09:56:47 -04:00
index-size-unchecked.patch http receipts: falsify the round-2 fixes 2026-10-07 22:30:00 -04:00
intersection.patch wai: falsification patches for the fix round, and the four the rewrite moved, regenerated 2026-10-05 09:35:08 -04:00
key-log-uncapped.patch http receipts round 4: falsify the bounded reads and the key-log cap 2026-10-09 14:46:34 -04:00
kind-type-malformed.patch http-conformance: falsify the receipt side — the receipt file's name, the parent walk and its bound, an object not received, a refused fetch, the ancestor rule, a claim's parent, the index's members, anchoring after a redirect, an older cached log, the grants file's module, a set held without the key log, and a non-string kind 2026-10-07 09:56:47 -04:00
layer-after-uri.patch wai: falsification follows the renderer: two patches re-cut, a gap and layer bytes added 2026-10-06 07:30:39 -04:00
layer-any-alt.patch wai: falsification patches for round 3 — refines taken for a layer, a no-digest refinement applied whole, a layer declared in any alt or with no base 2026-10-05 10:47:59 -04:00
layer-without-base.patch wai: falsification patches for round 3 — refines taken for a layer, a no-digest refinement applied whole, a layer declared in any alt or with no base 2026-10-05 10:47:59 -04:00
layers-not-counted.patch wai: falsification follows the renderer: two patches re-cut, a gap and layer bytes added 2026-10-06 07:30:39 -04:00
left-len.patch wai: http-conformance falsification patches and their runner 2026-10-05 07:52:43 -04:00
legacy-group-read.patch http receipts: falsify the round-2 fixes 2026-10-07 22:30:00 -04:00
listed-open-parts.patch wai: falsification of the playlist side (W3-4, W3-5) 2026-10-06 06:31:05 -04:00
matchers-need-object.patch http receipts round 3: falsify the fixes 2026-10-08 04:15:46 -04:00
merge-classes.patch wai: http-conformance falsification patches and their runner 2026-10-05 07:52:43 -04:00
mpc-no-stall.patch http-conformance: falsify the budget rule, the bounds and the exact arithmetic of adaptation 2026-10-06 10:39:19 -04:00
mpd-char-unchecked.patch http-conformance: falsify DASH adjacency, the MPD reader's subset and bounds, MPD escaping and the gap left out 2026-10-06 10:10:01 -04:00
mpd-gap-listed.patch http-conformance: falsify DASH adjacency, the MPD reader's subset and bounds, MPD escaping and the gap left out 2026-10-06 10:10:01 -04:00
mutations.txt falsify: every mutation names the cases it must fail; receipt-surrogates reaches one 2026-10-10 01:42:38 -04:00
no-root-flag.patch wai: http-conformance falsification patches and their runner 2026-10-05 07:52:43 -04:00
nonconforming-offered.patch wai: HTTP reports a refinement by its refines.base alone; a conforming envelope's refinement tested 2026-10-08 03:11:46 -04:00
nothing-as-delivered.patch http-conformance: falsify the receipt side — the receipt file's name, the parent walk and its bound, an object not received, a refused fetch, the ancestor rule, a claim's parent, the index's members, anchoring after a redirect, an older cached log, the grants file's module, a set held without the key log, and a non-string kind 2026-10-07 09:56:47 -04:00
operating-point-unchecked.patch http receipts round 3: falsify the fixes 2026-10-08 04:15:46 -04:00
order-by-table.patch wai: falsification of the playlist side (W3-4, W3-5) 2026-10-06 06:31:05 -04:00
plus-sign.patch wai: falsification patches for the fix round, and the four the rewrite moved, regenerated 2026-10-05 09:35:08 -04:00
rcpt-name-unchecked.patch http receipts: falsify the round-2 fixes 2026-10-07 22:30:00 -04:00
reanchor-backwards.patch http-conformance: falsify re-anchoring, URL-keyed bindings, the gap rule, the walk's per-parent checks and URL resolution; chain and rebinding patches against the new code; Python mutations and a retention self-test 2026-10-06 14:42:56 -04:00
rebind-sequence.patch http-conformance: falsify re-anchoring, URL-keyed bindings, the gap rule, the walk's per-parent checks and URL resolution; chain and rebinding patches against the new code; Python mutations and a retention self-test 2026-10-06 14:42:56 -04:00
rebind-spelling.patch http-conformance: falsify re-anchoring, URL-keyed bindings, the gap rule, the walk's per-parent checks and URL resolution; chain and rebinding patches against the new code; Python mutations and a retention self-test 2026-10-06 14:42:56 -04:00
rebind-uri.patch http-conformance: falsify re-anchoring, URL-keyed bindings, the gap rule, the walk's per-parent checks and URL resolution; chain and rebinding patches against the new code; Python mutations and a retention self-test 2026-10-06 14:42:56 -04:00
receipt-duplicate-names-raw.patch http-conformance: falsify the receipt reader's duplicate-member refusal 2026-10-06 11:06:39 -04:00
receipt-duplicates.patch http-conformance: falsify the receipt reader's duplicate-member refusal 2026-10-06 11:06:39 -04:00
receipt-name-unchecked.patch wai: falsification of the playlist side (W3-4, W3-5) 2026-10-06 06:31:05 -04:00
receipt-numbers-unbounded.patch http-conformance: falsify the grant's null ceiling and the receipt file's number bound 2026-10-06 11:25:08 -04:00
receipt-render-unsigned.patch wai: falsification of the playlist side (W3-4, W3-5) 2026-10-06 06:31:05 -04:00
record-alt.patch wai: falsification patches for the fix round, and the four the rewrite moved, regenerated 2026-10-05 09:35:08 -04:00
recovery-record-unchecked.patch http receipts round 3: falsify the fixes 2026-10-08 04:15:46 -04:00
refinement-200-whole.patch wai: HTTP corpus round 4 — fetch_timed runs the session on a clock: the base ready before its refinement, the deadline from the verifying response, a refinement's whole-object 200 that never reaches the base 2026-10-06 02:46:20 -04:00
refines-makes-layer.patch wai: falsification patches for round 3 — refines taken for a layer, a no-digest refinement applied whole, a layer declared in any alt or with no base 2026-10-05 10:47:59 -04:00
refines-read-whole.patch wai: HTTP reports a refinement by its refines.base alone; a conforming envelope's refinement tested 2026-10-08 03:11:46 -04:00
refusal-ends.patch wai: falsification patches for the fix round, and the four the rewrite moved, regenerated 2026-10-05 09:35:08 -04:00
render-parts-after-extinf.patch wai: falsification follows the renderer: two patches re-cut, a gap and layer bytes added 2026-10-06 07:30:39 -04:00
response-no-clock.patch wai: HTTP corpus round 4 — fetch_timed runs the session on a clock: the base ready before its refinement, the deadline from the verifying response, a refinement's whole-object 200 that never reaches the base 2026-10-06 02:46:20 -04:00
reuse-stale.patch wai: HTTP corpus round 4 — fetch_timed runs the session on a clock: the base ready before its refinement, the deadline from the verifying response, a refinement's whole-object 200 that never reaches the base 2026-10-06 02:46:20 -04:00
run.sh falsify: every mutation names the cases it must fail; receipt-surrogates reaches one 2026-10-10 01:42:38 -04:00
select-no-digest.patch wai: http-conformance falsification patches and their runner 2026-10-05 07:52:43 -04:00
session-accepted.patch http receipts round 3: falsify the fixes 2026-10-08 04:15:46 -04:00
session-data-more-lines.patch http-conformance: falsify the session-data line's place and its being one line 2026-10-06 11:14:12 -04:00
session-data-position.patch http-conformance: falsify the session-data line's place and its being one line 2026-10-06 11:14:12 -04:00
set-sha-faults.patch http receipts round 3: falsify the fixes 2026-10-08 04:15:46 -04:00
set-sink-dropped.patch http-conformance: falsify the receipt side — the receipt file's name, the parent walk and its bound, an object not received, a refused fetch, the ancestor rule, a claim's parent, the index's members, anchoring after a redirect, an older cached log, the grants file's module, a set held without the key log, and a non-string kind 2026-10-07 09:56:47 -04:00
sig-key-lenient.patch Leave wai-quantum on its own verifier; the rule goes back into wai-rs 2026-10-07 14:33:18 -04:00
sig-verify-lenient.patch Leave wai-quantum on its own verifier; the rule goes back into wai-rs 2026-10-07 14:33:18 -04:00
skip-digest.patch wai: http-conformance falsification patches and their runner 2026-10-05 07:52:43 -04:00
skip-on-absent.patch wai: falsification patches for the fix round, and the four the rewrite moved, regenerated 2026-10-05 09:35:08 -04:00
skip-read.patch wai: falsification of the playlist side (W3-4, W3-5) 2026-10-06 06:31:05 -04:00
step6-skipped.patch http receipts: falsify the round-2 fixes 2026-10-07 22:30:00 -04:00
threshold-all.patch wai: falsification patches for the fix round, and the four the rewrite moved, regenerated 2026-10-05 09:35:08 -04:00
tick-noop.patch wai: HTTP corpus round 4 — fetch_timed runs the session on a clock: the base ready before its refinement, the deadline from the verifying response, a refinement's whole-object 200 that never reaches the base 2026-10-06 02:46:20 -04:00
trust-content-range.patch wai: falsification patches for the fix round, and the four the rewrite moved, regenerated 2026-10-05 09:35:08 -04:00
union-no-layer.patch wai: falsification patches for the fix round, and the four the rewrite moved, regenerated 2026-10-05 09:35:08 -04:00
uri-dots-kept.patch http-conformance: falsify re-anchoring, URL-keyed bindings, the gap rule, the walk's per-parent checks and URL resolution; chain and rebinding patches against the new code; Python mutations and a retention self-test 2026-10-06 14:42:56 -04:00
uri-percent-kept.patch http-conformance: falsify re-anchoring, URL-keyed bindings, the gap rule, the walk's per-parent checks and URL resolution; chain and rebinding patches against the new code; Python mutations and a retention self-test 2026-10-06 14:42:56 -04:00
wai-prefix-case.patch wai: falsification patches for the fix round, and the four the rewrite moved, regenerated 2026-10-05 09:35:08 -04:00
walk-exceeded-wedges.patch http-conformance: falsify re-anchoring, URL-keyed bindings, the gap rule, the walk's per-parent checks and URL resolution; chain and rebinding patches against the new code; Python mutations and a retention self-test 2026-10-06 14:42:56 -04:00
walk-parent-name-unchecked.patch http-conformance: falsify re-anchoring, URL-keyed bindings, the gap rule, the walk's per-parent checks and URL resolution; chain and rebinding patches against the new code; Python mutations and a retention self-test 2026-10-06 14:42:56 -04:00
walk-parent-unverified.patch http-conformance: falsify re-anchoring, URL-keyed bindings, the gap rule, the walk's per-parent checks and URL resolution; chain and rebinding patches against the new code; Python mutations and a retention self-test 2026-10-06 14:42:56 -04:00
walk-skipped.patch http receipts: falsify the round-2 fixes 2026-10-07 22:30:00 -04:00
walk-unbounded.patch http receipts: falsify the round-2 fixes 2026-10-07 22:30:00 -04:00
walk-unclamped.patch http receipts: falsify the round-2 fixes 2026-10-07 22:30:00 -04:00
whole-applies-no-digest.patch wai: the HTTP plan follows SPEC §7.1's offer rule 2026-10-08 01:38:05 -04:00
xml-attribute-twice.patch http-conformance: falsify the MPD reader's runs, its timeline bound and run ends, against the new reader; Python mutations for expansion, scanned attribute names and the timeline bound 2026-10-06 13:51:28 -04:00
xml-cdata-read.patch http-conformance: falsify DASH adjacency, the MPD reader's subset and bounds, MPD escaping and the gap left out 2026-10-06 10:10:01 -04:00
xml-char-ref-unchecked.patch http-conformance: falsify DASH adjacency, the MPD reader's subset and bounds, MPD escaping and the gap left out 2026-10-06 10:10:01 -04:00