Exact

Exact Union RegExp

Repository files (latest commit first)

Filename	Latest commit message	Latest commit date
Transaction Science 379425e555 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
..
conformance.yml	ci: one run per branch at a time — no workflow declared a concurrency group	2026-10-05 12:01:57 -04:00
energy-hardware.yml	ci: energy-hardware.yml declares its concurrency group	2026-10-06 02:30:35 -04:00
joule-code-conformance.yml	joule-moq: receipt chains recover (P-J2, P-J3); public text by capability; the conformance gate parses its count	2026-10-06 10:39:21 -04:00
jouleclaw-public-surface-documented.yml	ci: one run per branch at a time — no workflow declared a concurrency group	2026-10-05 12:01:57 -04:00
no-vanity-metrics.yml	ci: touch one workflow to test that the new group supersedes its own queue	2026-10-05 12:03:07 -04:00
standards-build.yml	jcp-gateway: test tree-metered calls against an oracle on real servers	2026-10-09 10:49:24 -04:00
wai-byte-equality.yml	ci: one run per branch at a time — no workflow declared a concurrency group	2026-10-05 12:01:57 -04:00
wai-conformance.yml	Merge main (at db5b8094, with W5-4 #187) into wai/w3-3-http-receipts	2026-10-08 10:26:02 -04:00
wai-energy-receipts.yml	Leave wai-quantum on its own verifier; the rule goes back into wai-rs	2026-10-07 14:33:18 -04:00
wai-formal-verification.yml	ci: one run per branch at a time — no workflow declared a concurrency group	2026-10-05 12:01:57 -04:00
wai-http.yml	falsify: every mutation names the cases it must fail; receipt-surrogates reaches one	2026-10-10 01:42:38 -04:00
wai-jpegai-e2e.yml	ci: one run per branch at a time — no workflow declared a concurrency group	2026-10-05 12:01:57 -04:00
wai-neural-e2e.yml	ci: one run per branch at a time — no workflow declared a concurrency group	2026-10-05 12:01:57 -04:00
wai-neural-gates.yml	ci: one run per branch at a time — no workflow declared a concurrency group	2026-10-05 12:01:57 -04:00
wai-pack.yml	Merge main (at 17b7559a) into wai/w3-3-http-receipts	2026-10-09 10:50:54 -04:00
wai-section-refs.yml	ci: one run per branch at a time — no workflow declared a concurrency group	2026-10-05 12:01:57 -04:00
wai-sota-vectors.yml	ci: one run per branch at a time — no workflow declared a concurrency group	2026-10-05 12:01:57 -04:00
wai-web-wasm.yml	ci: wai-web's native test count is 24, with the WAI2 classical-length test	2026-10-08 07:42:21 -04:00
workflow-hygiene.yml	ci: a rebase ran every path-filtered workflow, because paths: matches the push delta	2026-10-08 11:40:23 -04:00