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
..
support
wai/tests: serialize sha256.json sidecar writes and document their regeneration
2026-10-01 08:53:26 -04:00
vectors
wai: the parameter-set pin, component identity, pin-aware selection
2026-10-01 05:51:50 -04:00
carriage.rs
wai: the parameter-set pin, component identity, pin-aware selection
2026-10-01 05:51:50 -04:00
cli_registry.rs
wai: give each CLI registry test its own payload directory
2026-10-01 06:09:30 -04:00
cli_wrap_intent.rs
wai: one registry table, candidate capabilities, public-text checks
2026-09-30 22:38:09 -04:00
ffi_envelope.rs
wai: candidate tests on the pin-aware selection API and the C ABI
2026-10-01 05:58:02 -04:00
ffi_neural_pin.rs
wai: the parameter-set pin, component identity, pin-aware selection
2026-10-01 05:51:50 -04:00
ffi_robustness.rs
fuzz_smoke.rs
generate.rs
wai: the parameter-set pin, component identity, pin-aware selection
2026-10-01 05:51:50 -04:00
int_audio.rs
wai: learned integer-exact audio codec (wai.audio.int_codec) + conformance
2026-06-27 17:01:31 -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_geometry.rs
wai-rs: fast integer decode kernels that give the same integer for every output
2026-09-28 18:43:42 -04:00
int_kernels_vectors.rs
wai: name signer-conformance in the decoded-output sidecar exclusions
2026-10-01 07:47:50 -04:00
int_mlicpp.rs
wai: the parameter-set pin, component identity, pin-aware selection
2026-10-01 05:51:50 -04:00
int_mlicpp_preflight.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: learned integer-exact Gaussian-splat attribute codec (wai.splat.int_codec)
2026-06-28 09:14:46 -04:00
int_video.rs
int_video_halfpel.rs
wai: half-pel motion compensation for int_motion video + real-footage conformance
2026-06-27 11:10:48 -04:00
int_video_keyframe.rs
wai.video.int_hyper: neural-keyframe video — learned int_hyper I-frame + integer P-frames
2026-06-27 07:34:20 -04:00
int_video_sota_keyframe.rs
wai: the headline decode tests fail on a missing input, and CI supplies their inputs
2026-09-28 18:40:59 -04:00
int_world.rs
wai: integer-exact interactive world model — the byte-exact renderer for wai.world.model
2026-06-27 18:34:30 -04:00
int_world2.rs
wai: two-agent co-control world.model — both agents drive one byte-exact frame
2026-06-28 03:14:57 -04:00
int_world_shared.rs
wai: shared / multi-agent world.model — convergence on a GENERATED world
2026-06-27 19:21:42 -04:00
jpegai_bitstream_calibration.rs
wai: state what each determinism tier guarantees, and make replicate mean it
2026-09-28 18:25:52 -04:00
jpegai_color_calibration.rs
wai-rs: jpegai_pipeline::yuv_to_rgb / rgb_to_yuv — BT.709 colour combine (float-exact)
2026-07-14 10:38:43 -04:00
jpegai_cross_platform.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_symbols.rs
wai: one registry table, candidate capabilities, public-text checks
2026-09-30 22:38:09 -04:00
jpegai_dequant_calibration.rs
wai-rs: fix the RVS block statistic — sum the gain-adjusted scale, not |i_s|
2026-07-26 05:48:41 -04:00
jpegai_derive_calibration.rs
wai-rs: fix the RVS block statistic — sum the gain-adjusted scale, not |i_s|
2026-07-26 05:48:41 -04:00
jpegai_e2e.rs
jpegai_e2e_chain.rs
wai-rs: jpegai_bitstream — tools-header (TON) parser + codestream→z→i_s chain
2026-07-17 12:35:06 -04:00
jpegai_e2e_chroma.rs
wai-rs: chain the chroma plane — codestream to decoded U,V pixels
2026-07-26 05:48:42 -04:00
jpegai_e2e_dequant.rs
wai-rs: jpegai_pipeline::dequant + e2e integration (entropy→dequant byte-exact, synthesis Y/UV on real latent)
2026-07-08 07:14:26 -04:00
jpegai_e2e_frontend.rs
wai-rs: chain the chroma plane — codestream to decoded U,V pixels
2026-07-26 05:48:42 -04:00
jpegai_e2e_full.rs
wai: the parameter-set pin, component identity, pin-aware selection
2026-10-01 05:51:50 -04:00
jpegai_e2e_hyperlatent.rs
wai-rs: e2e — recover the hyper-latent z from the real codestream (byte-exact)
2026-07-17 03:14:04 -04:00
jpegai_e2e_synthesis.rs
wai-rs: jpegai_pipeline::dequant + e2e integration (entropy→dequant byte-exact, synthesis Y/UV on real latent)
2026-07-08 07:14:26 -04:00
jpegai_efl_calibration.rs
wai-rs: jpegai_pipeline::efl_chroma — EFE linear cross-component post-filter (float-exact)
2026-07-14 09:38:06 -04:00
jpegai_efn_calibration.rs
wai-rs: jpegai_pipeline::efn_filter — EFE luma-aided nonlinear chroma post-filter (float-exact)
2026-07-13 13:17:53 -04:00
jpegai_hyper_calibration.rs
wai-rs: jpegai_synthesis — restore chroma + hyper decoders, add hyper_scale (all byte-exact) ( #53 )
2026-07-07 15:08:25 -04:00
jpegai_hyperscale_calibration.rs
wai-rs: hyper_scale_decoder — floor (>>) not truncation; byte-exact vs the REFERENCE decoder
2026-07-09 07:01:28 -04:00
jpegai_icci_calibration.rs
wai-rs: validate jpegai_icci against the reference decoder (ground truth, 2.4e-07)
2026-07-18 09:51:44 -04:00
jpegai_icci_net_calibration.rs
wai-rs: validate eICCI as a whole filter against the reference dump
2026-07-26 05:48:42 -04:00
jpegai_lef_calibration.rs
wai-rs: jpegai_pipeline::lef_filter — LEF adaptive-sharpness post-filter (float-exact)
2026-07-14 05:13:39 -04:00
jpegai_live.rs
wai: the headline decode tests fail on a missing input, and CI supplies their inputs
2026-09-28 18:40:59 -04:00
jpegai_lsbs_calibration.rs
wai-rs: fix the LSBS block statistic, and chain LSBS onto the value path
2026-07-26 05:48:42 -04:00
jpegai_mans_calibration.rs
wai-rs: byte-exact mANS entropy decoder (jpegai_mans) — sgm + fac paths ( #55 )
2026-07-07 22:38:36 -04:00
jpegai_mans_golden.rs
jpegai_mcm_calibration.rs
wai-rs: jpegai_synthesis — add MCM context-model decoders (mcm_stage0/mcm_stage_n) ( #54 )
2026-07-07 17:26:51 -04:00
jpegai_postfilter_chain.rs
wai-rs: validate LEF — the post-filter chain is now complete
2026-07-26 05:48:42 -04:00
jpegai_reconstruct_calibration.rs
wai-rs: jpegai_pipeline::reconstruct_yhat — the SGMM autoregressive spine (real data 76.8 dB)
2026-07-12 22:14:14 -04:00
jpegai_reconstruction_binding.rs
wai: the headline decode tests fail on a missing input, and CI supplies their inputs
2026-09-28 18:40:59 -04:00
jpegai_scope_ort.rs
wai: state what each determinism tier guarantees, and make replicate mean it
2026-09-28 18:25:52 -04:00
jpegai_sigma_index_calibration.rs
wai-rs: jpegai_pipeline::sigma_index — close the scale path (byte-exact, both planes)
2026-07-12 12:22:40 -04:00
jpegai_synthesis_calibration.rs
wai-rs: jpegai_synthesis — whole-net integer JPEG-AI synthesis decoder (58 dB PSNR) ( #49 )
2026-07-07 07:42:11 -04:00
jpegai_uv_calibration.rs
wai-rs: jpegai_synthesis — restore chroma + hyper decoders, add hyper_scale (all byte-exact) ( #53 )
2026-07-07 15:08:25 -04:00
manifest_builders.rs
wai: the parameter-set pin, component identity, pin-aware selection
2026-10-01 05:51:50 -04:00
neural_native_decode.rs
wai: a key log's revocation refuses a set at every sink that holds one
2026-10-01 09:36:49 -04:00
require_vectors_rule.rs
wai: the headline decode tests fail on a missing input, and CI supplies their inputs
2026-09-28 18:40:59 -04:00
semantic_path.rs
wai: the parameter-set pin, component identity, pin-aware selection
2026-10-01 05:51:50 -04:00
signer_ids_are_labels.rs
wai: key discovery, signing authority and module revocation
2026-10-01 07:12:20 -04:00
video_receipt.rs
wai: energy reports, labelled JWP leaves and what signatures cover
2026-10-01 06:37:25 -04:00
wai_keys_cli.rs
wai: key discovery, signing authority and module revocation
2026-10-01 07:12:20 -04:00
world_model.rs
wai: wai.world.model — generative-world transport (replay-equivalent action trace + provenance)
2026-06-27 17:25:02 -04:00
world_replay.rs
wai: the parameter-set pin, component identity, pin-aware selection
2026-10-01 05:51:50 -04:00