2c1056f0d3
- Corpus: OPf, OPe, OPw (wai.text.zstd with refines false, {}, well formed) are
dispatched, described by their capability and not_a_layer when listed as layers;
ORN's refinement with no sha256 is dropped (component_digest_absent) at 900 and
1001 permille alike. The O10L1 declared cases name their base; the layer in
another alt, and with no base held, is codecs_undeclared. The generator holds
each of these outcomes.
- http_verify.py: a layer is a WAI1 whose capability is refinement-only; the
whole path drops a refinement stating no digest; check_declared takes the base
the sink holds and accepts a layer only after + in that base's alt; the declared
union and the base are read before anything is fetched.
- wai_http_vectors fuzz: a refusal is an outcome compared by its code (the sink's
declared union, its base, the producer's proof and a WAI2 that does not parse now
refuse with codes); a case with no outcome stops the run; per family it prints
the cases generated and refused. New families: WAI1 refines over payload and
refinement-only capabilities, layers declared against their own base / another
alt / no base / another base, layers over WAI2 components, refinements with a
right, wrong and absent digest, and WAI2 objects past the first request through
an origin tampered one way.
Co-Authored-By: Claude Opus 5.5 <[email protected]>
213 B
213 B