Transaction-Science/open-standards
Watch
1
0
Fork
You've already forked open-standards
 0
Code Issues Pull requests Projects Releases 15 Packages Wiki Activity Actions 5
open-standards/wai/pack-conformance/refusals/policy
History
Exact
Repository files (latest commit first)
Filename Latest commit message Latest commit date
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