Transaction Science
83e7fe6b20
wai: a sink keeps only non-empty records, within a declared record budget
...
remove_base kept a record for every unit of every dropped base, outside any
budget: twenty dropped bases of 4096 units with no layer held 5 MB.
- A unit record that holds nothing (no stage, nothing passed step 8, not
frozen) is not kept, nor a base all of whose records are empty and that is
not attested.
- ChainConfig::record_budget bounds what the sink keeps of the bases it does
not hold, records and attestations together, counted as §4.4 states (32
bytes a base; 8 a kept record, 32 a recorded stage, 32 an envelope that
passed step 8 unapplied). Past it, the bases written longest ago are
forgotten whole, with forget_base's meaning: as never decoded and never
attested. StageSink::kept_bytes reports the count.
- §4.4 and §14 state the budget and the eviction; staged_verify.py keeps the
same records and evicts the same bases; every case states its record
budget, and the case record_budget evicts one base and keeps another.
- records_within_their_budget and tests/staged_resources.rs check that bases
with nothing recorded keep nothing, that distinct dropped bases stay within
the budget, and that an evicted base decoded again starts with no history.
Co-Authored-By: Claude Opus 5.5 <[email protected] >
2026-10-04 23:57:00 -04:00
..
support
wai/tests: serialize sha256.json sidecar writes and document their regeneration
2026-10-01 08:53:26 -04:00
vectors
wai-rs: int_payload — the WIV1, WIH1, WIA1 and WIS1 payloads, and decode_int
2026-10-01 12:20:06 -04:00
carriage.rs
wai: the carriage tests hold a refinement to its own role
2026-10-02 00:42:28 -04:00
cli_registry.rs
wai: give each CLI registry test its own payload directory
2026-10-01 06:09:30 -04:00
cli_stage.rs
wai: wai stage refine takes the layer's shape from --out-dims
2026-10-04 20:29:32 -04:00
cli_wrap_intent.rs
wai: an encrypted integer payload is checked after decryption
2026-10-01 21:13:36 -04:00
ffi_envelope.rs
wai: the reference sink applies the declared cost before decoding
2026-10-01 22:31:18 -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: the sidecar coverage test names where the staged corpus states its digests
2026-10-04 15:54:49 -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_payload.rs
wai: integer payload streams must end canonically
2026-10-01 19:18:08 -04:00
int_payload_cost.rs
wai: the reference sink applies the declared cost before decoding
2026-10-01 22:31:18 -04:00
int_payload_preflight.rs
wai: the one-frame preflight clip has the canonical header
2026-10-01 21:23:20 -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
wai.video.int_motion: deterministic integer inter-frame video (byte-exact)
2026-06-27 07:22:53 -04:00
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
wai: derive JPEG-AI residual coding mask from the bitstream (not a fixture)
2026-06-21 08:06:19 -04:00
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_cost_limit.rs
wai: the reference sink applies the declared cost before decoding
2026-10-01 22:31:18 -04:00
neural_native_decode.rs
wai: an unpinned decode reads its set once and is checked by every identity
2026-10-01 23:08:03 -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
staged_resources.rs
wai: a sink keeps only non-empty records, within a declared record budget
2026-10-04 23:57:00 -04:00
video_receipt.rs
wai: receipt decode refusals are codes; the Python decode allocates as it goes
2026-10-01 21:15:43 -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