Exact

Exact Union RegExp

Repository files (latest commit first)

Filename	Latest commit message	Latest commit date
Transaction Science 5f991e87e8 wai: the record budget is counted alike by every sink ... staged-delivery §4.4: the counted bytes are the interoperable measure, so two sinks with the same record budget keep and forget the same bases; what an implementation allocates per counted byte is its own, stated beside its budget. The reference states its ratio (at most four allocated bytes per counted byte), which tests/staged_resources.rs asserts. Co-Authored-By: Claude Opus 5.5 <[email protected]>		2026-10-05 00:50:50 -04:00
..
avatars.md	wai: on-chip counters and calibrated instruments are separate energy classes, and every joule-carrying receipt can say which	2026-09-29 01:27:37 -04:00
capability-constraints.md	wai: one registry table, candidate capabilities, public-text checks	2026-09-30 22:38:09 -04:00
confidentiality.md	wai: a group's labelled leaves and total need their class's authority	2026-10-01 07:47:50 -04:00
derived-tracks.md	wai: a Prior may declare its artifact's wire form; register NNC and the derived-track operations	2026-09-28 18:38:59 -04:00
determinism-tiers.md	wai: the refinement-only role, base admission as one table, and refines	2026-10-02 00:02:12 -04:00
energy-binding.md	wai: energy reports, labelled JWP leaves and what signatures cover	2026-10-01 06:37:25 -04:00
energy-measurement.md	wai: key discovery, signing authority and module revocation	2026-10-01 07:12:20 -04:00
haptics.md	wai: on-chip counters and calibrated instruments are separate energy classes, and every joule-carrying receipt can say which	2026-09-29 01:27:37 -04:00
integer-payloads.md	wai: the reference sink applies the declared cost before decoding	2026-10-01 22:31:18 -04:00
interactive-worlds.md	wai: energy reports, labelled JWP leaves and what signatures cover	2026-10-01 06:37:25 -04:00
jwp-receipts.md	wai: an unpinned decode reads its set once and is checked by every identity	2026-10-01 23:08:03 -04:00
linear-film.md	wai: one registry table, candidate capabilities, public-text checks	2026-09-30 22:38:09 -04:00
moq-streaming-format.md	wai: energy reports, labelled JWP leaves and what signatures cover	2026-10-01 06:37:25 -04:00
oer-receipts.md	wai: typed receipt classes and the soft binding class, reading OER through the OER module	2026-09-30 01:42:45 -04:00
prior-carriage.md	wai: SPEC §5 pins the integer codecs' payloads; extensions/integer-payloads.md	2026-10-01 13:12:44 -04:00
provenance.md	wai: energy reports, labelled JWP leaves and what signatures cover	2026-10-01 06:37:25 -04:00
quantum-ops.md	wai: one registry table, candidate capabilities, public-text checks	2026-09-30 22:38:09 -04:00
quantum-sim.md	wai: state what CI builds, the meters' new feature, and the /verify change	2026-10-01 09:05:14 -04:00
reconstruction-binding.md	wai: state what each determinism tier guarantees, and make replicate mean it	2026-09-28 18:25:52 -04:00
score.md	wai: on-chip counters and calibrated instruments are separate energy classes, and every joule-carrying receipt can say which	2026-09-29 01:27:37 -04:00
spatial-audio.md	wai: restate the ranking phrases the retrofit left in research and extensions	2026-10-01 08:38:05 -04:00
staged-delivery.md	wai: the record budget is counted alike by every sink	2026-10-05 00:50:50 -04:00
state-feeds.md	wai: on-chip counters and calibrated instruments are separate energy classes, and every joule-carrying receipt can say which	2026-09-29 01:27:37 -04:00
task-fidelity.md	wai: state what each determinism tier guarantees, and make replicate mean it	2026-09-28 18:25:52 -04:00
ternary-tt.md	wai: restate the ranking phrases the retrofit left in research and extensions	2026-10-01 08:38:05 -04:00
transparency.md	wai: key discovery, signing authority and module revocation	2026-10-01 07:12:20 -04:00
unidirectional-delivery.md	wai: key discovery, signing authority and module revocation	2026-10-01 07:12:20 -04:00
volumetric.md	wai: on-chip counters and calibrated instruments are separate energy classes, and every joule-carrying receipt can say which	2026-09-29 01:27:37 -04:00