Exact

Exact Union RegExp

Repository files (latest commit first)

Filename	Latest commit message	Latest commit date
Transaction Science 75898a5b97 quantum-ops: the encoding in the text, four more records registered, and an unmetered form that never reads zero joules ... quantum-ops named its records' fields and deferred everything else to the reference, so no verifier could be written from the text, and it allowed `0` as the unmetered marker, which quantum-landscape and wasmQ/2 forbid. - extensions/quantum-ops.md §3, written from quantum_ops.rs and quantum_energy.rs: the primitives and their framing (§3.1), reading a receipt's JSON (§3.2), each kind's payload and Merkle leaves (§3.3), the identity (§3.4), the energy forms (§3.5), the reasons a verifier gives (§3.6), and the links and content hashes (§3.7). What is read and decides nothing is named: the written receipt_hash, a decode/compile/rearrange receipt's written merkle_root, an evidence summary (not sealed), members no text names. - Registered: wai.quantum.mitigate, .decode, .compile, .rearrange (SPEC §5, quantum-ops §1.3 to §1.6; registry.rs, the export regenerated). wai.quantum.qbom and .fabric are stated not to be part of the standard (quantum-ops §8) and stay unregistered with that reason. §5 of the text no longer names third-party tools. - The unmetered form (quantum-ops §3.5, energy-measurement §2.8): quantum_energy::Unmetered, for every Labellable family (calibration, job, mitigation, decode, compile, rearrange, circuit, phasor, sparse-Pauli, resource). Under the 0x02 domain the figure 0 is followed by tag 0 and the reason (u32 BE length, UTF-8); its JSON writes joules_micro null beside energy_unmetered. MaybeLabelled gains the variant and unmetered()/joules_micro(), the latter never Some(0); an unlabelled 0 still verifies and reads as unmetered (legacy). wai_quantum_meter and wai-quantum-serve seal unmetered runs in the new form, and serve's POST /verify verdict says why. quantum-sim's receipt text says so. - Reading tightened where the JSON showed what the seal does not say: a member named twice (sig::unique_members), a kind of another family, rounds/swaps/atoms_moved past u32 (read before as their low 32 bits), a funds_ceiling that is no count and an optional hash that is no string (each read before as none) no longer read; a str()-framed string holding U+0000 no longer verifies (two receipts could sign the same bytes). Vectors (wai/quantum-ops-conformance): 12 receipts the reference made, every kind and every energy form (the three earlier ones byte-identical), and 49 crafted by generate.py, each one defect away or one change that decides nothing, with hand-written reasons. ops_verify.py, written from §3 alone and sharing no code with the engine, gives the 12 their identities and the 49 their exact reasons; wai_quantum_ops_vectors verify gives all 61 their verdicts and stages. CI: the corpus's verify in cargo-classes as before; ops_verify.py and generate.py --check as a new independent verifier (verifiers/quantum-ops.sh). Failing first: the crafted receipts given to the reader before this change (origin/main 1f5bc7225, a scratch test over MaybeLabelled::from_json and verify) verified nine of the defects this change refuses: a member named twice (plain and escaped), a calibration whose kind is a job's, one with no kind, rounds of 2^32 + 1 sealed as 1, a funds_ceiling "50" sealed as none, a parent_receipt_hash of 0 sealed as none, and a device_id and a grant capability holding U+0000. The six crafted receipts of the unmetered form did not read there, since the form did not exist. Tested on the build host: wai-quantum --features full --lib --tests (lib 1560 passed, 26 ignored; every integration test passed, landscape_conformance's 54 among them); default features (127), quantum_ops alone (51), quantum_receipt alone (50); wai-rs with the energy-receipts workflow's feature set, --lib --bins --test video_receipt (906, 4, 15, 130); wai-rs codecs::registry (15) and `wai registry export --check`; wai-quantum-serve (12); wai-quantum-cli's test build; wai-web cargo check; wai_quantum_ops_vectors verify and ops_verify.py on the corpus; clippy: no finding on a changed file of wai-quantum, serve or the two wai-rs bins. Locally: check-wai-section-refs, check-spec-refs, check-wai-quantum-names, check-public-names --maintainer-products-only, changelog-assemble --check, check-tests-in-ci, check-wai-core-freeze, wai-conformance-lists check, check-wai-corpus-licences: clean. wai breaking against main: the two breaks the changelog entry acknowledges. quantum_ops.rs is one of the sources the wasmQ modules of record pin (quantum-conformance/wasmq/modules/modules.json): its digest is updated, and on x86_64 Linux (build.sh --check) both modules still build byte for byte as committed. Rebased on 15b7f810d: the registry export is up to date, and the registry, ops, energy, pins and sig tests, serve's tests and wai_quantum_ops_vectors verify pass again. Changelog entry: wai/changes/2026-11-10-quantum-ops-encoding-and-unmetered-form.md Co-Authored-By: Claude Opus 5.5 <[email protected]>		2026-11-10 15:30:53 -05:00
..
access-services.sh	wai conform prints JUnit and HTML reports, runs the independent verifiers beside an implementation or alone, and is the corpus union in one command	2026-11-07 10:56:00 -05:00
ad-presentation.sh	wai conform prints JUnit and HTML reports, runs the independent verifiers beside an implementation or alone, and is the corpus union in one command	2026-11-07 10:56:00 -05:00
age-assurance.sh	wai conform prints JUnit and HTML reports, runs the independent verifiers beside an implementation or alone, and is the corpus union in one command	2026-11-07 10:56:00 -05:00
ai-usage.sh	wai conform prints JUnit and HTML reports, runs the independent verifiers beside an implementation or alone, and is the corpus union in one command	2026-11-07 10:56:00 -05:00
audience-decision.sh	wai: audience decisions and territories — blackouts decided from a location aggregated in the session, and where a publisher may be shown	2026-11-09 19:55:54 -05:00
audio-mark.sh	wai: register wai-mark:band64, a watermark for sound, peer of tent64	2026-11-08 16:20:24 -05:00
audio-renditions.sh	wai: AC-3 and E-AC-3 registered, and a programme's audio renditions written for HLS and DASH	2026-11-08 15:11:47 -05:00
avatar-face.sh	wai conform prints JUnit and HTML reports, runs the independent verifiers beside an implementation or alone, and is the corpus union in one command	2026-11-07 10:56:00 -05:00
bearer-receipts.sh	wai conform prints JUnit and HTML reports, runs the independent verifiers beside an implementation or alone, and is the corpus union in one command	2026-11-07 10:56:00 -05:00
browser-sink.sh	wai: platform decode for every user-agent codec, video and audio, in the composing sink's dispatch	2026-11-09 16:06:44 -05:00
c2pa-envelope.sh	wai: a C2PA Manifest Store bound to a stored WAI1 or WAI2 envelope, and to the receipt that delivered it	2026-11-09 10:50:25 -05:00
c2pa-identity.sh	C2PA stores carry identity assertions, soft bindings and the ISCC identifier, trust lists are pinned by digest, and a detection verdict is a claim of its own	2026-11-10 15:25:49 -05:00
cache-authority.sh	The corpora that reached main beside wai conform join its table, and the release's files say what has run	2026-11-07 10:56:00 -05:00
capture-take.sh	wai conform prints JUnit and HTML reports, runs the independent verifiers beside an implementation or alone, and is the corpus union in one command	2026-11-07 10:56:00 -05:00
carousel.sh	wai conform prints JUnit and HTML reports, runs the independent verifiers beside an implementation or alone, and is the corpus union in one command	2026-11-07 10:56:00 -05:00
catalogue-harness.sh	The catalogue-prior rule's learned image arm: a harness from a catalogue of titles to K4	2026-11-10 12:51:32 -05:00
catalogue-prior.sh	wai conform prints JUnit and HTML reports, runs the independent verifiers beside an implementation or alone, and is the corpus union in one command	2026-11-07 10:56:00 -05:00
channel-lineup.sh	Each independent verifier's needs= is what a run without packages shows, and the nightly run holds that	2026-11-07 10:56:00 -05:00
claims-jwp-signers.sh	wai conform prints JUnit and HTML reports, runs the independent verifiers beside an implementation or alone, and is the corpus union in one command	2026-11-07 10:56:00 -05:00
cmsd-read.sh	wai conform prints JUnit and HTML reports, runs the independent verifiers beside an implementation or alone, and is the corpus union in one command	2026-11-07 10:56:00 -05:00
co-performance.sh	wai conform prints JUnit and HTML reports, runs the independent verifiers beside an implementation or alone, and is the corpus union in one command	2026-11-07 10:56:00 -05:00
co-watch.sh	wai conform prints JUnit and HTML reports, runs the independent verifiers beside an implementation or alone, and is the corpus union in one command	2026-11-07 10:56:00 -05:00
compact-return-profile.sh	The corpora that reached main beside wai conform join its table, and the release's files say what has run	2026-11-07 10:56:00 -05:00
compose-ad-track.sh	wai: sink-evaluated predicates and per-session ad tracks — targeting and frequency caps decided on the sink from its own state, and a session's own ad bound into a room's ad frame	2026-11-09 21:15:45 -05:00
conformance-results.sh	wai conform prints JUnit and HTML reports, runs the independent verifiers beside an implementation or alone, and is the corpus union in one command	2026-11-07 10:56:00 -05:00
contribution.sh	wai conform prints JUnit and HTML reports, runs the independent verifiers beside an implementation or alone, and is the corpus union in one command	2026-11-07 10:56:00 -05:00
cue-injection-ertmp.sh	wai conform prints JUnit and HTML reports, runs the independent verifiers beside an implementation or alone, and is the corpus union in one command	2026-11-07 10:56:00 -05:00
dcvc-drift.sh	wai-conformance starts on a change to the dcvc-drift and text-dictionary records	2026-11-07 03:34:51 -05:00
delivery-sim.sh	wai conform prints JUnit and HTML reports, runs the independent verifiers beside an implementation or alone, and is the corpus union in one command	2026-11-07 10:56:00 -05:00
deriving-edge.sh	wai conform prints JUnit and HTML reports, runs the independent verifiers beside an implementation or alone, and is the corpus union in one command	2026-11-07 10:56:00 -05:00
detection.sh	C2PA stores carry identity assertions, soft bindings and the ISCC identifier, trust lists are pinned by digest, and a detection verdict is a claim of its own	2026-11-10 15:25:49 -05:00
determinism-cost.sh	wai conform prints JUnit and HTML reports, runs the independent verifiers beside an implementation or alone, and is the corpus union in one command	2026-11-07 10:56:00 -05:00
direction.sh	wai conform prints JUnit and HTML reports, runs the independent verifiers beside an implementation or alone, and is the corpus union in one command	2026-11-07 10:56:00 -05:00
e2ee.sh	wai conform prints JUnit and HTML reports, runs the independent verifiers beside an implementation or alone, and is the corpus union in one command	2026-11-07 10:56:00 -05:00
energy-steering.sh	wai conform prints JUnit and HTML reports, runs the independent verifiers beside an implementation or alone, and is the corpus union in one command	2026-11-07 10:56:00 -05:00
exact-splats.sh	wai conform prints JUnit and HTML reports, runs the independent verifiers beside an implementation or alone, and is the corpus union in one command	2026-11-07 10:56:00 -05:00
exact-tonemap.sh	wai conform prints JUnit and HTML reports, runs the independent verifiers beside an implementation or alone, and is the corpus union in one command	2026-11-07 10:56:00 -05:00
exact-upscale.sh	wai conform prints JUnit and HTML reports, runs the independent verifiers beside an implementation or alone, and is the corpus union in one command	2026-11-07 10:56:00 -05:00
exploration.sh	wai conform prints JUnit and HTML reports, runs the independent verifiers beside an implementation or alone, and is the corpus union in one command	2026-11-07 10:56:00 -05:00
fleet.sh	wai conform prints JUnit and HTML reports, runs the independent verifiers beside an implementation or alone, and is the corpus union in one command	2026-11-07 10:56:00 -05:00
floor.sh	SPEC §5: a sink that presents video decodes AV1, the video floor, with its decoder suite	2026-11-10 13:42:23 -05:00
forensic-watermark.sh	wai conform prints JUnit and HTML reports, runs the independent verifiers beside an implementation or alone, and is the corpus union in one command	2026-11-07 10:56:00 -05:00
grain-free-av1.sh	wai: a refinement over the platform-decoded floor, wai.video.int_refine over a grain-free AV1 base	2026-11-09 10:46:06 -05:00
header-probes.sh	wai: header probes for AV2, AC-4, IAMF and IVAS, their codec strings, and why EVC has none	2026-11-10 15:29:02 -05:00
holdings.sh	wai conform prints JUnit and HTML reports, runs the independent verifiers beside an implementation or alone, and is the corpus union in one command	2026-11-07 10:56:00 -05:00
http-differential.sh	Changelog entries and the conformance workflow's lists move into files a change adds	2026-11-05 01:41:29 -05:00
http.sh	wai conform prints JUnit and HTML reports, runs the independent verifiers beside an implementation or alone, and is the corpus union in one command	2026-11-07 10:56:00 -05:00
hybrid-signatures.sh	wai conform relay --suite moqt holds a relay to the MOQT interop cases, pq joins the verifier suites, and wai conformance gen writes a corpus by its generator	2026-11-08 14:44:52 -05:00
impression-aggregates.sh	The corpora that reached main beside wai conform join its table, and the release's files say what has run	2026-11-07 10:56:00 -05:00
influence.sh	wai conform prints JUnit and HTML reports, runs the independent verifiers beside an implementation or alone, and is the corpus union in one command	2026-11-07 10:56:00 -05:00
int-fields.sh	wai: a neural field's levels as refinements, wai.field.int_refine	2026-11-09 17:32:12 -05:00
int-hyper-set.sh	wai.neural.int_hyper: leaves, a parameter set of WAI's own, trained on generated pictures and held to one decode natively and in WebAssembly	2026-11-10 13:41:55 -05:00
int-payload.sh	wai conform prints JUnit and HTML reports, runs the independent verifiers beside an implementation or alone, and is the corpus union in one command	2026-11-07 10:56:00 -05:00
iscc.sh	C2PA stores carry identity assertions, soft bindings and the ISCC identifier, trust lists are pinned by digest, and a detection verdict is a claim of its own	2026-11-10 15:25:49 -05:00
key-release.sh	wai conform prints JUnit and HTML reports, runs the independent verifiers beside an implementation or alone, and is the corpus union in one command	2026-11-07 10:56:00 -05:00
live-ads.sh	wai conform prints JUnit and HTML reports, runs the independent verifiers beside an implementation or alone, and is the corpus union in one command	2026-11-07 10:56:00 -05:00
live-compose.sh	wai conform prints JUnit and HTML reports, runs the independent verifiers beside an implementation or alone, and is the corpus union in one command	2026-11-07 10:56:00 -05:00
live-contribution.sh	wai conform prints JUnit and HTML reports, runs the independent verifiers beside an implementation or alone, and is the corpus union in one command	2026-11-07 10:56:00 -05:00
live-events.sh	wai conform prints JUnit and HTML reports, runs the independent verifiers beside an implementation or alone, and is the corpus union in one command	2026-11-07 10:56:00 -05:00
live-messaging.sh	wai conform prints JUnit and HTML reports, runs the independent verifiers beside an implementation or alone, and is the corpus union in one command	2026-11-07 10:56:00 -05:00
live-metering.sh	wai conform prints JUnit and HTML reports, runs the independent verifiers beside an implementation or alone, and is the corpus union in one command	2026-11-07 10:56:00 -05:00
live-moderation.sh	wai conform prints JUnit and HTML reports, runs the independent verifiers beside an implementation or alone, and is the corpus union in one command	2026-11-07 10:56:00 -05:00
live-provenance.sh	wai conform prints JUnit and HTML reports, runs the independent verifiers beside an implementation or alone, and is the corpus union in one command	2026-11-07 10:56:00 -05:00
live-recording.sh	wai conform prints JUnit and HTML reports, runs the independent verifiers beside an implementation or alone, and is the corpus union in one command	2026-11-07 10:56:00 -05:00
live-rooms.sh	wai conform prints JUnit and HTML reports, runs the independent verifiers beside an implementation or alone, and is the corpus union in one command	2026-11-07 10:56:00 -05:00
live-worlds.sh	wai conform prints JUnit and HTML reports, runs the independent verifiers beside an implementation or alone, and is the corpus union in one command	2026-11-07 10:56:00 -05:00
loc.sh	wai conform prints JUnit and HTML reports, runs the independent verifiers beside an implementation or alone, and is the corpus union in one command	2026-11-07 10:56:00 -05:00
loudness.sh	wai: loudness measured in integers, with the gain to a target in a signed statement	2026-11-08 15:23:58 -05:00
media-identification.sh	wai conform prints JUnit and HTML reports, runs the independent verifiers beside an implementation or alone, and is the corpus union in one command	2026-11-07 10:56:00 -05:00
modef.sh	Mode F: WAI envelopes as the samples of a fragmented MP4 track, written, read and checked against CTA-5005-B	2026-11-10 14:26:36 -05:00
model-governance.sh	wai.sink.models: which models a fleet's sinks may run, and what they ran	2026-11-10 14:23:40 -05:00
module-check.sh	wai-det-jpegai: the JPEG AI exact decoder as the float level's module of record, with F1 and F2 on two instruction sets	2026-11-09 18:37:15 -05:00
native-sink.sh	Each independent verifier's needs= is what a run without packages shows, and the nightly run holds that	2026-11-07 10:56:00 -05:00
oer.sh	wai conform prints JUnit and HTML reports, runs the independent verifiers beside an implementation or alone, and is the corpus union in one command	2026-11-07 10:56:00 -05:00
opportunity-report.sh	Each independent verifier's needs= is what a run without packages shows, and the nightly run holds that	2026-11-07 10:56:00 -05:00
opus-dred.sh	Changelog entries and the conformance workflow's lists move into files a change adds	2026-11-05 01:41:29 -05:00
pin.sh	wai conform prints JUnit and HTML reports, runs the independent verifiers beside an implementation or alone, and is the corpus union in one command	2026-11-07 10:56:00 -05:00
platform-encode.sh	wai conform prints JUnit and HTML reports, runs the independent verifiers beside an implementation or alone, and is the corpus union in one command	2026-11-07 10:56:00 -05:00
prior-carriage.sh	The corpora that reached main beside wai conform join its table, and the release's files say what has run	2026-11-07 10:56:00 -05:00
prior-forms.sh	wai conform prints JUnit and HTML reports, runs the independent verifiers beside an implementation or alone, and is the corpus union in one command	2026-11-07 10:56:00 -05:00
project.sh	wai: operation receipts on every developer-facing write, and a signed origin claim for each generated picture	2026-11-09 15:26:12 -05:00
qoe-aggregation.sh	wai conform prints JUnit and HTML reports, runs the independent verifiers beside an implementation or alone, and is the corpus union in one command	2026-11-07 10:56:00 -05:00
quantum-ops.sh	quantum-ops: the encoding in the text, four more records registered, and an unmetered form that never reads zero joules	2026-11-10 15:30:53 -05:00
quantum-receipts.sh	Landscape receipts in the corpus, judged by form by both verifiers	2026-11-10 15:19:26 -05:00
quantum-referee.sh	wai conform prints JUnit and HTML reports, runs the independent verifiers beside an implementation or alone, and is the corpus union in one command	2026-11-07 10:56:00 -05:00
receipt-ledger.sh	Tariff version 8 bills storage held over time by byte-days, each record's byte-seconds recomputed from the holder's signed snapshots	2026-11-10 10:42:44 -05:00
remote-desktop.sh	wai conform prints JUnit and HTML reports, runs the independent verifiers beside an implementation or alone, and is the corpus union in one command	2026-11-07 10:56:00 -05:00
revenue-share.sh	Each independent verifier's needs= is what a run without packages shows, and the nightly run holds that	2026-11-07 10:56:00 -05:00
robustness.sh	wai conform prints JUnit and HTML reports, runs the independent verifiers beside an implementation or alone, and is the corpus union in one command	2026-11-07 10:56:00 -05:00
route-record.sh	wai conform prints JUnit and HTML reports, runs the independent verifiers beside an implementation or alone, and is the corpus union in one command	2026-11-07 10:56:00 -05:00
rung-price.sh	Each independent verifier's needs= is what a run without packages shows, and the nightly run holds that	2026-11-07 10:56:00 -05:00
scene-carriage.sh	wai conform prints JUnit and HTML reports, runs the independent verifiers beside an implementation or alone, and is the corpus union in one command	2026-11-07 10:56:00 -05:00
sdp-caps.sh	wai: capability attributes in a WHEP offer, so the gateway forwards each player the rendition its sink dispatches first	2026-11-09 16:08:15 -05:00
settlement.sh	wai conform prints JUnit and HTML reports, runs the independent verifiers beside an implementation or alone, and is the corpus union in one command	2026-11-07 10:56:00 -05:00
signal-health.sh	wai: signal health — what a monitor measured on an input, signed, and the switch that acts on it	2026-11-08 14:48:46 -05:00
sim-diff.sh	Changelog entries and the conformance workflow's lists move into files a change adds	2026-11-05 01:41:29 -05:00
sink-energy.sh	wai conform prints JUnit and HTML reports, runs the independent verifiers beside an implementation or alone, and is the corpus union in one command	2026-11-07 10:56:00 -05:00
sink-predicate.sh	wai: sink-evaluated predicates and per-session ad tracks — targeting and frequency caps decided on the sink from its own state, and a session's own ad bound into a room's ad frame	2026-11-09 21:15:45 -05:00
staged-measure.sh	wai conform prints JUnit and HTML reports, runs the independent verifiers beside an implementation or alone, and is the corpus union in one command	2026-11-07 10:56:00 -05:00
staged.sh	wai: a refinement conditioned on side information both ends hold, wai.image.int_cond_refine	2026-11-09 17:50:44 -05:00
stitched-presentation.sh	wai conform prints JUnit and HTML reports, runs the independent verifiers beside an implementation or alone, and is the corpus union in one command	2026-11-07 10:56:00 -05:00
stream-audit.sh	wai conform prints JUnit and HTML reports, runs the independent verifiers beside an implementation or alone, and is the corpus union in one command	2026-11-07 10:56:00 -05:00
stream-termination.sh	wai conform prints JUnit and HTML reports, runs the independent verifiers beside an implementation or alone, and is the corpus union in one command	2026-11-07 10:56:00 -05:00
synthesis-mark.sh	wai conform prints JUnit and HTML reports, runs the independent verifiers beside an implementation or alone, and is the corpus union in one command	2026-11-07 10:56:00 -05:00
synthesis.sh	wai conform prints JUnit and HTML reports, runs the independent verifiers beside an implementation or alone, and is the corpus union in one command	2026-11-07 10:56:00 -05:00
takedown.sh	Each independent verifier's needs= is what a run without packages shows, and the nightly run holds that	2026-11-07 10:56:00 -05:00
text-dictionary.sh	wai-conformance starts on a change to the dcvc-drift and text-dictionary records	2026-11-07 03:34:51 -05:00
timed-text.sh	wai conform prints JUnit and HTML reports, runs the independent verifiers beside an implementation or alone, and is the corpus union in one command	2026-11-07 10:56:00 -05:00
timeliness.sh	The corpora that reached main beside wai conform join its table, and the release's files say what has run	2026-11-07 10:56:00 -05:00
weft.sh	wai: the DCVC family and NNVC registered as candidates, and WFT1 tensor frames registered with their decoder	2026-11-09 09:54:31 -05:00