Transaction-Science/open-standards
Watch
1
0
Fork
You've already forked open-standards
 0
Code Issues Pull requests Projects Releases 17 Packages Wiki Activity Actions 117
open-standards/wai/wai-rs/src
History
Exact
Repository files (latest commit first)
Filename Latest commit message Latest commit date
Transaction Science 28de796b42 wai: a key log's revocation refuses a set at every sink that holds one 
SPEC §3.1's check 5 now has two parts. Revocation runs at every sink
that holds a key log, for every capability a pin applies to: a set whose
digest is in the revoked_modules of the head the sink reaches from any
anchor it holds is refused with prior_revoked. It needs no grant, status
or clock, so it no longer waits on the relying party holding the
capability to jwp-receipts §7.9, and it is reported as prior_revoked
whichever check of §7.9 a grant fails first, offline or with no grant
included. Authorisation is still the relying party's choice per
capability. SPEC §3.1 and §4, jwp-receipts §7.9 and the CHANGELOG say so.

An envelope that pins no set no longer escapes check 5. The neural
registry, given a key log, checks the set an unpinned decode reads under
each digest a pin over it could name (the file's SHA-256 for a one-file
set, and each listing beside it), and dispatch falls back when it is
refused. PinAuthority gains check_unpinned for this.

A family receipt now needs energy/<class> for each class its figures
carry, as Item::from_family already derived: the §7.5 row, the corpus
README, signer_verify.py and the corpus reader now agree. Item::for_group
and Item::for_family are crate-internal, the corpus's builders, and the
docs say that from_family takes signer_id and time from its caller.

signer-conformance gains vectors for a revoked set whose grant fails at
check 4, a revoked set with no grant, a set with no grant, and a family
receipt with two classes, regenerated by wai_signer_vectors gen; both
verifiers reproduce every verdict, and every earlier vector keeps its
declared outcome. The CI library tests cover the revocation part at a
sink that does not hold the capability to §7.9, and the neural key-log
gate covers the unpinned decode.

Docs say that a key log naming the subject's origin holds for one
envelope. ModelRegistry's key_log field is private, which the CHANGELOG
records. The pin corpus README says its cases model a sink with no key
log. The parameter-set entry's refusal list names check 5's two reasons,
and the did:web label test is described by the files it reads.

Co-Authored-By: Claude Opus 5.5 <[email protected]>
2026-10-01 09:36:49 -04:00
..
audio_scene 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
bin wai: key-discovery corpus is jwp-receipts §5.8; CI runs signer_verify.py 2026-10-01 07:47:50 -04:00
codecs Merge wai/land-12-registry-and-text into wai/land-13-parameter-set-identity 2026-10-01 08:41:44 -04:00
energy_figure wai: energy reports, labelled JWP leaves and what signatures cover 2026-10-01 06:37:25 -04:00
film wai: energy reports, labelled JWP leaves and what signatures cover 2026-10-01 06:37:25 -04:00
haptic 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
jwp_delivery wai: energy reports, labelled JWP leaves and what signatures cover 2026-10-01 06:37:25 -04:00
key_log wai: a key log's revocation refuses a set at every sink that holds one 2026-10-01 09:36:49 -04:00
neural wai: a key log's revocation refuses a set at every sink that holds one 2026-10-01 09:36:49 -04:00
score 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
splat4d 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
world wai: energy reports, labelled JWP leaves and what signatures cover 2026-10-01 06:37:25 -04:00
build_info.rs wai: energy reports, labelled JWP leaves and what signatures cover 2026-10-01 06:37:25 -04:00
c2pa_emit.rs wai: energy reports, labelled JWP leaves and what signatures cover 2026-10-01 06:37:25 -04:00
claim_receipt.rs wai: key discovery, signing authority and module revocation 2026-10-01 07:12:20 -04:00
claim_text.rs wai: typed receipt classes and the soft binding class, reading OER through the OER module 2026-09-30 01:42:45 -04:00
container.rs wai: module revocation through the parameter-set pin's check 5 2026-10-01 07:47:50 -04:00
energy_binding.rs wai: energy reports, labelled JWP leaves and what signatures cover 2026-10-01 06:37:25 -04:00
energy_burst.rs wai: energy reports, labelled JWP leaves and what signatures cover 2026-10-01 06:37:25 -04:00
energy_class.rs wai: energy reports, labelled JWP leaves and what signatures cover 2026-10-01 06:37:25 -04:00
energy_figure.rs wai: energy reports, labelled JWP leaves and what signatures cover 2026-10-01 06:37:25 -04:00
energy_meter.rs wai: energy reports, labelled JWP leaves and what signatures cover 2026-10-01 06:37:25 -04:00
energy_report.rs wai: energy reports, labelled JWP leaves and what signatures cover 2026-10-01 06:37:25 -04:00
ffi.rs wai: candidate tests on the pin-aware selection API and the C ABI 2026-10-01 05:58:02 -04:00
ffi_codecs.rs wai: the parameter-set pin, component identity, pin-aware selection 2026-10-01 05:51:50 -04:00
ffi_neural.rs wai: the parameter-set pin, component identity, pin-aware selection 2026-10-01 05:51:50 -04:00
float_repro.rs 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
generate.rs wai: one registry table, candidate capabilities, public-text checks 2026-09-30 22:38:09 -04:00
int_audio.rs wai: one registry table, candidate capabilities, public-text checks 2026-09-30 22:38:09 -04:00
int_entropy.rs wai: add wai.neural.int_mlicpp, the MLIC++ entropy topology integer end to end 2026-09-30 01:39:56 -04:00
int_hyper_synth.rs wai: one registry table, candidate capabilities, public-text checks 2026-09-30 22:38:09 -04:00
int_kernels.rs wai-rs: hold the fast integer kernels to the JPEG AI decode path's math-library guard 2026-09-28 18:44:11 -04:00
int_mlicpp.rs wai: add wai.neural.int_mlicpp, the MLIC++ entropy topology integer end to end 2026-09-30 01:39:56 -04:00
int_splat.rs wai: one registry table, candidate capabilities, public-text checks 2026-09-30 22:38:09 -04:00
int_synth.rs wai-rs: fast integer decode kernels that give the same integer for every output 2026-09-28 18:43:42 -04:00
int_transform.rs wai: one registry table, candidate capabilities, public-text checks 2026-09-30 22:38:09 -04:00
int_transformer.rs wai-rs: fast integer decode kernels that give the same integer for every output 2026-09-28 18:43:42 -04:00
int_video.rs wai: one registry table, candidate capabilities, public-text checks 2026-09-30 22:38:09 -04:00
int_world.rs wai: one registry table, candidate capabilities, public-text checks 2026-09-30 22:38:09 -04:00
jpegai_bitstream.rs 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
jpegai_decode.rs 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
jpegai_icci.rs 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
jpegai_mans.rs 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
jpegai_pipeline.rs 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
jpegai_synthesis.rs wai-rs: fast integer decode kernels that give the same integer for every output 2026-09-28 18:43:42 -04:00
jwp_delivery.rs wai: energy reports, labelled JWP leaves and what signatures cover 2026-10-01 06:37:25 -04:00
key_log.rs wai: a key log's revocation refuses a set at every sink that holds one 2026-10-01 09:36:49 -04:00
lib.rs Merge wai/land-14-energy-reporting into wai/land-15-key-discovery 2026-10-01 09:14:10 -04:00
oer.rs wai: typed receipt classes and the soft binding class, reading OER through the OER module 2026-09-30 01:42:45 -04:00
ort_session.rs wai/neural: the strict gate reads only dispatchable capabilities; a pinned model keeps no tensor outside the verified bytes 2026-10-01 08:53:25 -04:00
pin.rs wai: a key log's revocation refuses a set at every sink that holds one 2026-10-01 09:36:49 -04:00
provenance.rs wai: energy reports, labelled JWP leaves and what signatures cover 2026-10-01 06:37:25 -04:00
quantum_envelope.rs wai: the parameter-set pin, component identity, pin-aware selection 2026-10-01 05:51:50 -04:00
rans.rs fix(wai): make the rANS bypass escape total — the four defects the proofs found 2026-09-04 06:05:34 -04:00
receipt_pins.rs wai: energy reports, labelled JWP leaves and what signatures cover 2026-10-01 06:37:25 -04:00
reconstruction_binding.rs wai: state what each determinism tier guarantees, and make replicate mean it 2026-09-28 18:25:52 -04:00
semantic.rs wai: one registry table, candidate capabilities, public-text checks 2026-09-30 22:38:09 -04:00
signer_id.rs wai: key discovery, signing authority and module revocation 2026-10-01 07:12:20 -04:00
ternary.rs wai-ternary: Productionize wai.ternary.tt — WQTT container, registry entry, receipt, spec 2026-07-30 23:10:18 -04:00
ternary_receipt.rs wai: energy reports, labelled JWP leaves and what signatures cover 2026-10-01 06:37:25 -04:00
video_receipt.rs wai: energy reports, labelled JWP leaves and what signatures cover 2026-10-01 06:37:25 -04:00
wai_video_channel.rs wai: energy reports, labelled JWP leaves and what signatures cover 2026-10-01 06:37:25 -04:00
wai_video_keys.rs wai: energy reports, labelled JWP leaves and what signatures cover 2026-10-01 06:37:25 -04:00
wai_video_manifest.rs wai: energy reports, labelled JWP leaves and what signatures cover 2026-10-01 06:37:25 -04:00
wai_video_package.rs wai: energy reports, labelled JWP leaves and what signatures cover 2026-10-01 06:37:25 -04:00
wai_video_policy.rs wai: one registry table, candidate capabilities, public-text checks 2026-09-30 22:38:09 -04:00
wai_video_ssai.rs wai: energy reports, labelled JWP leaves and what signatures cover 2026-10-01 06:37:25 -04:00
world_model.rs wai: one registry table, candidate capabilities, public-text checks 2026-09-30 22:38:09 -04:00