Transaction-Science/open-standards
Watch
1
0
Fork
You've already forked open-standards
 0
Code Issues Pull requests Projects Releases 17 Packages Wiki Activity Actions 49
open-standards/wai/http-conformance/falsify
History
Exact
Repository files (latest commit first)
Filename Latest commit message Latest commit date
Transaction Science 1cffbc6ffd wai: HTTP reports a refinement by its refines.base alone; a conforming envelope's refinement tested 
- §7 step 4 as the text stands: a refinement of the pick is one whose refines.base, read
  on its own, is the pick's id (container::refinements_naming, refinements_naming in
  http_verify.py), so one whose refines is otherwise malformed is reported dropped
  (components_nonconforming). Of a conforming envelope the set is the same as before.
- Objects OCF (ONC's conforming twin: refinements [2], dropped []), ONM (refines
  {base: b} alone: reported) and ONX (refines {base: x}: not reported), on the whole and
  the range paths; fetch_OR_malformed_refines now reports its refinement; the generator
  checks each outcome.
- falsify: conforming-withheld and refines-read-whole, each with an http_verify.py
  --mutate, wired into falsify/run.sh; nonconforming-offered's must-fail list extended.

Co-Authored-By: Claude Opus 5.5 <[email protected]>
2026-10-08 03:11:46 -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
adjacency-dseq.patch
adjacency-pdt.patch
allow-trailing.patch
bandwidth-average-floor.patch
base-ready-at-done.patch
base-unanswered.patch
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
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
chain-bindings-dropped.patch
chain-key-unchecked.patch
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
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
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
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
decimal-truncates.patch
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
drop-domain.patch
dup-caps.patch
gap-carries.patch http-conformance: falsify the gap rule 2026-10-06 10:57:18 -04:00
gap-not-rendered.patch
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
ilog2-no-interp.patch
intersection.patch
layer-after-uri.patch
layer-any-alt.patch
layer-without-base.patch
layers-not-counted.patch
left-len.patch
listed-open-parts.patch
merge-classes.patch
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
no-root-flag.patch
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
order-by-table.patch
plus-sign.patch
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
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
record-alt.patch
refinement-200-whole.patch
refines-makes-layer.patch
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
render-parts-after-extinf.patch
response-no-clock.patch
reuse-stale.patch
run.sh wai: HTTP reports a refinement by its refines.base alone; a conforming envelope's refinement tested 2026-10-08 03:11:46 -04:00
select-no-digest.patch
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
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
skip-on-absent.patch
skip-read.patch
threshold-all.patch
tick-noop.patch
trust-content-range.patch
union-no-layer.patch
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
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
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