Exact

Exact Union RegExp

Repository files (latest commit first)

Filename	Latest commit message	Latest commit date
Transaction Science e7c7b209b4 wai-quantum provider protocol: a billing with no price, a provider's own record of the confirmation, and the cancel of a failed job ... Three gaps the first independent provider (waiQ's run endpoint) found in wai.quantum.provider/1, each closed within the version (section 10): - Section 5.1: describe's billing gains a third form, {"free": false, "priced": false}: not free, and no price set. It means an unknown cost everywhere: shown as unknown, run only on the person's confirmation, and sealed with its estimate unknown. `priced` is in that form only. The checker passes it and still refuses {} and {"free": false}. Billing gains the variant Unpriced; the conformance vectors gain `billing`, and the protocol's schema the third form, held to each other by a test. The client's own tests move from billing {} to the new form. - Section 8.1: a provider sealing its own record of a run that is not free records confirmed true and cost.confirmed_by "submit": it took the authenticated submit as the confirmation, which it cannot see. Both verifiers report cost_confirmation for a confirmed_by other than "submit" (null included) or "submit" beside a confirmed that is not true; a host's receipt, with no confirmed_by, is held as before. Four crafted receipts. - Section 5.6: a job that had already failed answers its cancel with failed and its reason. The checker now holds each cancel to how its job ended (done, failed with a reason, or unsupported); before, any answer passed. Co-Authored-By: Claude Opus 5.5 <[email protected]>		2026-11-09 21:32:26 -05:00
..
clients.rs	wai-quantum: the planner under a contract, its reasoning sealed, a provider's answer shadowed	2026-11-09 17:42:46 -05:00
protocol_schema.rs	wai-quantum provider protocol: a billing with no price, a provider's own record of the confirmation, and the cancel of a failed job	2026-11-09 21:32:26 -05:00
providers.rs	wai-quantum: receipts say where their counts come from and what was set at the provider, and a second verifier checks them	2026-11-05 15:09:03 -05:00