Transaction Science
e3375530f6
packaging §4.4: a piece is at most ten minutes and 2^24 units; floors counted before decoding
...
The new max_ms check bounded nothing, because a policy could set max_ms up to
2^53 − 1. A still's piece could then state 2^32 − 1 frames. Rust hashed once
per stated frame (about 29 minutes), and Python built a list of n references
(about 34 GB).
- **§3.4 item 5 and §4.4.** max_ms is at most 600000, and at most 2^24 units on
every component's timebase. Both are policy-piece-bounds, in both readers.
§4.4 gives the reason: a verifier takes a piece whole, so the longest piece
bounds its work. Ten minutes is far past any piece a delivery cuts, and 2^24
units bounds the work on any timebase, which may have up to 2^32 − 1 units a
second.
- **§11.3, before any frame is decoded.** Each piece's floor object, where its
framing reads, must hold one unit per frame of its piece
(floor-object-mismatch). Both verifiers make this check first.
- **Held stills.** Python holds a still's frame and its count (Held) and hashes
the digest a block at a time. Rust's held_digest also feeds a block at a time.
- **Corpus.**
- refusals: max_ms 600001; and the default max_ms on a timebase of 2^32 − 1
units a second.
- policy/max-piece.toml: accepted at both bounds.
- staged-mutations max-ms-past-cap (policy-piece-bounds).
- staged-mutations still-at-cap: the still given the longest piece the policy
allows, its manifest naming the frames, refused by the floor count in both
verifiers.
- **policy_diff.** Its random policies now reach both bounds.
Co-Authored-By: Claude Opus 5.5 <[email protected] >
2026-10-09 14:13:41 -04:00
..
capability-candidate.toml
wai-pack: emit only what the registry pins (R6), and the encoder's vectors
2026-10-05 08:10:36 -04:00
capability-not-payload.toml
wai-pack: emit only what the registry pins (R6), and the encoder's vectors
2026-10-05 08:10:36 -04:00
capability-role.toml
wai-pack: emit only what the registry pins (R6), and the encoder's vectors
2026-10-05 08:10:36 -04:00
capability-unknown.toml
wai-pack: emit only what the registry pins (R6), and the encoder's vectors
2026-10-05 08:10:36 -04:00
class-layer.toml
wai-pack: the policy, scene-cut segmentation and their corpus
2026-10-05 07:33:52 -04:00
dangling-refines.toml
wai-pack: the policy, scene-cut segmentation and their corpus
2026-10-05 07:33:52 -04:00
datetime.toml
wai-pack: the policy, scene-cut segmentation and their corpus
2026-10-05 07:33:52 -04:00
deadline-unreachable.toml
wai-pack: the policy, scene-cut segmentation and their corpus
2026-10-05 07:33:52 -04:00
duplicate-id-across-kinds.toml
wai-pack: ids are one namespace across components, rungs, classes, moments and rules
2026-10-05 09:17:16 -04:00
duplicate-id.toml
wai-pack: the policy, scene-cut segmentation and their corpus
2026-10-05 07:33:52 -04:00
float.toml
wai-pack: the policy, scene-cut segmentation and their corpus
2026-10-05 07:33:52 -04:00
integer-range.toml
wai-pack: the policy, scene-cut segmentation and their corpus
2026-10-05 07:33:52 -04:00
ladder-component.toml
wai-pack: the policy, scene-cut segmentation and their corpus
2026-10-05 07:33:52 -04:00
layer-lag.toml
wai-pack: the policy, scene-cut segmentation and their corpus
2026-10-05 07:33:52 -04:00
lead.toml
wai-pack: the policy, scene-cut segmentation and their corpus
2026-10-05 07:33:52 -04:00
license-refused.toml
wai-pack: emit only what the registry pins (R6), and the encoder's vectors
2026-10-05 08:10:36 -04:00
missing-key.toml
wai-pack: the policy, scene-cut segmentation and their corpus
2026-10-05 07:33:52 -04:00
negative.toml
wai-pack: the policy, scene-cut segmentation and their corpus
2026-10-05 07:33:52 -04:00
no-base.toml
wai-pack: the policy, scene-cut segmentation and their corpus
2026-10-05 07:33:52 -04:00
open-gop.toml
wai-pack: the policy, scene-cut segmentation and their corpus
2026-10-05 07:33:52 -04:00
piece-bounds-max-ms.toml
packaging §4.4: a piece is at most ten minutes and 2^24 units; floors counted before decoding
2026-10-09 14:13:41 -04:00
piece-bounds-units.toml
packaging §4.4: a piece is at most ten minutes and 2^24 units; floors counted before decoding
2026-10-09 14:13:41 -04:00
piece-bounds.toml
wai-pack: the policy, scene-cut segmentation and their corpus
2026-10-05 07:33:52 -04:00
refines-base.toml
wai-pack: the policy, scene-cut segmentation and their corpus
2026-10-05 07:33:52 -04:00
refines-branch.toml
wai-pack: the policy, scene-cut segmentation and their corpus
2026-10-05 07:33:52 -04:00
refines-cycle.toml
wai-pack: the policy, scene-cut segmentation and their corpus
2026-10-05 07:33:52 -04:00
refines-role.toml
wai-pack: the policy, scene-cut segmentation and their corpus
2026-10-05 07:33:52 -04:00
rule-ladder.toml
wai-pack: the policy, scene-cut segmentation and their corpus
2026-10-05 07:33:52 -04:00
schema.toml
wai-pack: the policy, scene-cut segmentation and their corpus
2026-10-05 07:33:52 -04:00
toml-bom.toml
wai-pack: a policy is read from its bytes: UTF-8, no byte-order mark, nesting capped at 32
2026-10-05 09:09:57 -04:00
toml-depth-33.toml
wai-pack: a policy is read from its bytes: UTF-8, no byte-order mark, nesting capped at 32
2026-10-05 09:09:57 -04:00
toml-depth-80.toml
wai-pack: a policy is read from its bytes: UTF-8, no byte-order mark, nesting capped at 32
2026-10-05 09:09:57 -04:00
toml-duplicate-key.toml
wai-pack: the policy, scene-cut segmentation and their corpus
2026-10-05 07:33:52 -04:00
toml-integer-64.toml
wai-pack: a policy is read from its bytes: UTF-8, no byte-order mark, nesting capped at 32
2026-10-05 09:09:57 -04:00
toml-non-utf8.toml
wai-pack: a policy is read from its bytes: UTF-8, no byte-order mark, nesting capped at 32
2026-10-05 09:09:57 -04:00
toml.toml
wai-pack: the policy, scene-cut segmentation and their corpus
2026-10-05 07:33:52 -04:00
too-many-components.toml
wai-pack: the policy, scene-cut segmentation and their corpus
2026-10-05 07:33:52 -04:00
too-many-deadlines.toml
wai-pack: the policy, scene-cut segmentation and their corpus
2026-10-05 07:33:52 -04:00
too-many-moments.toml
wai-pack: the policy, scene-cut segmentation and their corpus
2026-10-05 07:33:52 -04:00
too-many-rules.toml
wai-pack: the policy, scene-cut segmentation and their corpus
2026-10-05 07:33:52 -04:00
type.toml
wai-pack: the policy, scene-cut segmentation and their corpus
2026-10-05 07:33:52 -04:00
unknown-key-params.toml
wai-pack: the policy, scene-cut segmentation and their corpus
2026-10-05 07:33:52 -04:00
unknown-key.toml
wai-pack: the policy, scene-cut segmentation and their corpus
2026-10-05 07:33:52 -04:00
value-block.toml
wai-pack: the policy, scene-cut segmentation and their corpus
2026-10-05 07:33:52 -04:00
value-cut-window.toml
wai-pack: a cut window holds at least 3 scores
2026-10-05 09:14:20 -04:00
value-media.toml
wai-pack: the policy, scene-cut segmentation and their corpus
2026-10-05 07:33:52 -04:00