Exact

Exact Union RegExp

Repository files (latest commit first)

Filename	Latest commit message	Latest commit date
Transaction Science 8a409172f9 receipt-ledger: tariff version 6 prices an endpoint and a third party's usage, and bills an upscale and a tone mapping by what re-derives them ... Two providers of one capability have different list prices, and one price per capability overprices one or underprices the other. A job price now names an endpoint, or none for every endpoint. A price of any endpoint beside a price of one is refused: it would bill one job at both. A third party's hop is billed by what its record states the provider bills (route-record §6.2), in a new unit, `usage`, at the price of its endpoint and its unit. Only the billed hop's record reaches a line: what a provider billed for a failed hop is what the router's operator owes, and no line reads it. A record's `charge` reaches no line either, since a line adds jobs and a provider's figure is in its own terms; the line cites the record, which states it signed. The proposal to put it on the line is dropped. An upscale and a tone mapping get their own output forms. Each record is proved by its own extension's verifier from what it read, and what the hop delivered is held to what that proves, so the subpixels billed are what the derivation gives. Their records are evidence, as an output receipt is, and a new hop's run may cite them again. These three moves share one version, so a buyer signs one new tariff and not two. The tariff of versions 1 to 5 reads and bills as before. The corpus's `invoice_version` control used version 6 as unknown, and now uses 7. The fixtures are small enough that the corpus's debug test takes as long as it did without them, about 11.5 minutes on the Framework, and the README's commands use a release build, which regenerates it in about a minute. Co-Authored-By: Claude Opus 5.5 <[email protected]>		2026-11-02 22:40:02 -05:00
..
examples	wai: platform-encode extension text, the encode corpus (fixture streams from each interface, generated records and negative controls), the stream checks in the text's order	2026-10-26 02:30:52 -04:00
fuzz	wai 0.4.0	2026-10-28 11:20:02 -04:00
include	wai-rs: include/wai.h as build.rs regenerates it on the train	2026-10-26 08:56:04 -04:00
src	receipt-ledger: tariff version 6 prices an endpoint and a third party's usage, and bills an upscale and a tone mapping by what re-derives them	2026-11-02 22:40:02 -05:00
tests	receipt-ledger: tariff version 6 prices an endpoint and a third party's usage, and bills an upscale and a tone mapping by what re-derives them	2026-11-02 22:40:02 -05:00
build.rs	wai: the native sink core and its C ABI (wai_sink_*)	2026-10-25 22:14:40 -04:00
Cargo.lock	sec: RUSTSEC-2026-0429, a zip archive that aborts the process on extract	2026-11-02 06:31:12 -05:00
Cargo.toml	receipt-ledger: tariff version 6 prices an endpoint and a third party's usage, and bills an upscale and a tone mapping by what re-derives them	2026-11-02 22:40:02 -05:00
cbindgen.toml	wai: the native sink core and its C ABI (wai_sink_*)	2026-10-25 22:14:40 -04:00
clippy.toml	wai-rs: the JPEG AI exact decoder calls no platform math library, and its output is pinned	2026-09-28 18:30:35 -04:00
deny.toml	wai http receipts: anchor an origin over TLS only	2026-10-08 04:11:01 -04:00