Transaction Science
e1acae7881
energy meters on real hardware / RAPL and NVML on jetson-hub (pull_request) Successful in 32s
standards workspaces build + test / jouleclaw-rs (pull_request) Successful in 12m48s
standards workspaces build + test / aac-rs (pull_request) Successful in 4m30s
standards workspaces build + test / joule-code-rs (pull_request) Successful in 2m14s
joule-code conformance gate / Build + round-trip C1-C4 vectors (pull_request) Successful in 2m0s
standards workspaces build + test / joulecontract-rs (pull_request) Successful in 1m1s
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 3s
no-vanity-metrics / WAI public text names no company or product (pull_request) Successful in 3s
jouleclaw public surface must stay documented / Public-surface audit (jouleclaw-rs) (pull_request) Successful in 59s
standards workspaces build + test / map-rs (pull_request) Successful in 55s
standards workspaces build + test / arl-rs (pull_request) Successful in 1m9s
standards workspaces build + test / mesh-rs (pull_request) Successful in 57s
standards workspaces build + test / eoc-rs (pull_request) Successful in 1m57s
standards workspaces build + test / jcp-rs (pull_request) Successful in 1m36s
standards workspaces build + test / joule-ui-rs (pull_request) Successful in 1m10s
standards workspaces build + test / joulehook-rs (pull_request) Successful in 1m13s
standards workspaces build + test / proof-rs (pull_request) Successful in 1m15s
standards workspaces build + test / openpay (pull_request) Successful in 3m50s
standards workspaces build + test / sense-rs (pull_request) Successful in 1m13s
wai cross-architecture byte-equality / linux-aarch64 (pull_request) Successful in 1m2s
standards workspaces build + test / sandbox-rs (pull_request) Successful in 2m20s
wai cross-architecture byte-equality / linux-x86_64 (pull_request) Successful in 35s
standards workspaces build + test / smart-byte-rs (pull_request) Successful in 4m5s
WAI conformance / quantum core and corpus under wasm32-wasip2 (wasmtime) (pull_request) Failing after 1m29s
WAI conformance / v2 vocabulary · manifests validate as stated (pull_request) Successful in 14s
WAI conformance / cargo-class corpora · linux (pull_request) Successful in 8m23s
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 50s
WAI energy receipts / energy receipts · linux (pull_request) Successful in 1m55s
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 decoders end-to-end / synthetic fixtures → Rust decode → reference (±4) (pull_request) Successful in 1m9s
WAI neural sink gates / model-free refusals of the neural sink (pull_request) Successful in 1m12s
wai-ops integer operators / linux-x86_64 (pull_request) Successful in 22s
wai-ops integer operators / wasm32-wasip2 (wasmtime) (pull_request) Successful in 20s
wai-ops integer operators / wasm32 under Node (pull_request) Successful in 20s
wai-ops integer operators / independent checker (Python) (pull_request) Successful in 11s
wai-pack / wai-pack · does this change touch it (pull_request) Successful in 4s
WAI section references / cited sections exist (pull_request) Successful in 10s
WAI conformance / cargo-class corpora · linux-arm64 (pull_request) Successful in 18m48s
WAI conformance / cross-arch byte-equality · linux-arm64 (pull_request) Successful in 56s
WAI energy receipts / energy receipts · linux-arm64 (pull_request) Successful in 2m32s
WAI mbt2018_mean integer decode (regenerated vectors) / regenerate mbt2018_mean integer vectors → Rust decode, required (pull_request) Successful in 4m30s
wai-web reach builds / wai-web reach · does this change touch it (pull_request) Successful in 4s
WAI conformance / independent verifiers · claims, JWP, key discovery and integer payloads (Python) (pull_request) Successful in 17m2s
wai-ops integer operators / linux-aarch64 (pull_request) Successful in 24s
workflow hygiene / every workflow supersedes its own queue (pull_request) Successful in 4s
wai-web wasm32 / wai-web wasm32 build · corpus, menu and writers (pull_request) Successful in 3m5s
standards workspaces build + test / jouledesk-rs (pull_request) Successful in 5m15s
standards workspaces build + test / macOS energy backends (pull_request) Successful in 7m56s
wai cross-architecture byte-equality / macos-arm64 (reference) (pull_request) Successful in 31s
WAI conformance / cargo-class corpora · macos (pull_request) Successful in 12m35s
WAI conformance / cross-arch byte-equality · macos (pull_request) Successful in 31s
wai-pack / wai-pack · linux-arm64 (pull_request) Successful in 1m10s
WAI energy receipts / energy receipts · macos (pull_request) Successful in 3m26s
wai-ops integer operators / macos-arm64 (pull_request) Successful in 26s
wai-pack / wai-pack · macos (pull_request) Successful in 2m28s
WAI HTTP delivery / HTTP corpus · falsify mutations 0/3 (pull_request) Successful in 36m19s
WAI HTTP delivery / HTTP corpus · falsify mutations 1/3 (pull_request) Successful in 36m22s
WAI HTTP delivery / HTTP corpus · falsify patches 0/3 (pull_request) Successful in 4m34s
WAI HTTP delivery / HTTP corpus · falsify patches 1/3 (pull_request) Successful in 5m17s
WAI HTTP delivery / HTTP corpus · falsify patches 2/3 (pull_request) Successful in 4m39s
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 2m26s
WAI HTTP delivery / cache rules · controls and labelled caches (pull_request) Successful in 1m13s
wai-pack / wai-pack · linux (pull_request) Successful in 1m15s
wai-pack / wai-pack · independent verifier (Python) (pull_request) Successful in 3m56s
wai-pack / wai-pack · the floor through a media prober (pull_request) Successful in 21s
wai-pack / wai-pack · dependency licences (pull_request) Successful in 1m19s
wai-web reach builds / wai-web reach builds · the package of record, every output as recorded (pull_request) Failing after 1m58s
wai-web reach builds / wai-web reach builds · this tree's wai-web, every rung on its engine line (pull_request) Successful in 4m15s
WAI HTTP delivery / HTTP corpus · falsify mutations 2/3 (pull_request) Successful in 37m20s
Merge wai/d1-record-true (with #205 , #197 and main) into wai/w4-4-staged-packages
...
Brings in #201 , #205 and #197 and, through them, main as of #200 and #206 .
- .github/workflows/wai-conformance.yml: both sides added a step after
sim_verify.py. Kept both: this branch's sim_diff.py differential, then
main's quantum referee.py. wai-pack.yml merged without conflict: this
branch's test-count floors (--lib 34, --test=staged 10) and differential
steps, and main's cargo deny step for the wai binary's TLS client.
- wai/CHANGELOG.md: both sides added entries at the top of v0.4.0. Kept
every entry, newest first: this branch's "Packaging: refinement layers,
stills, ...", then #201 's, #205 's and #197 's, then main's unchanged.
- wai/http-conformance/cases.json: regenerated with wai_http_vectors gen;
the generator's output equals the merged text (1051 cases, with
union_O10_repeated_layer_after_first and _after_second), and both
wai_http_vectors verify and http_verify.py give every outcome.
- falsify/union-no-layer.patch, regenerated on this branch, applies to the
merged codecs.rs unchanged and names the two repeated-layer cases among
its must-fail cases; it is patches 0/3 of the sharded runner. This
branch adds no http_verify.py mutation, so mutations.txt is unchanged.
Co-Authored-By: Claude Opus 5.5 <[email protected] >
2026-10-10 17:40:02 -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
manifest-limit-dropped.patch
wai: the HTTP corpus holds the manifest reader limit at its edge
2026-10-09 16:56:04 -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
Merge wai/reach-builds (with #197 and main) into wai/d1-record-true
2026-10-10 17:35:03 -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
http falsification: union-no-layer against this branch's described()
2026-10-10 01:21:31 -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