register what other bodies ratified: prior carriage, and derived-track operations #90

Merged
dcharlot merged 1 commit from wai/prior-carriage-and-derivations into main 2026-09-10 12:23:27 -04:00

2026-09-10

Transaction Science
register what other bodies ratified: prior carriage, and derived-track operations
Some checks failed
no-vanity-metrics / Scan committed Markdown for vanity metrics (pull_request) Successful in 3s
standards workspaces build + test / aac-rs (pull_request) Successful in 31s
standards workspaces build + test / joule-code-rs (pull_request) Successful in 37s
standards workspaces build + test / jouleclaw-rs (pull_request) Successful in 2m14s
standards workspaces build + test / joulecontract-rs (pull_request) Successful in 38s
standards workspaces build + test / map-rs (pull_request) Successful in 31s
standards workspaces build + test / mesh-rs (pull_request) Successful in 30s
standards workspaces build + test / openpay (pull_request) Successful in 1m13s
WAI conformance / cargo-class corpora · linux-arm64 (pull_request) Successful in 36s
WAI conformance / cross-arch byte-equality · linux-arm64 (pull_request) Successful in 17s
standards workspaces build + test / eoc-rs (pull_request) Successful in 1m47s
standards workspaces build + test / jcp-rs (pull_request) Successful in 1m18s
standards workspaces build + test / proof-rs (pull_request) Successful in 1m10s
standards workspaces build + test / sandbox-rs (pull_request) Successful in 2m0s
standards workspaces build + test / smart-byte-rs (pull_request) Successful in 2m33s
WAI conformance / cargo-class corpora · linux (pull_request) Successful in 34s
WAI conformance / cross-arch byte-equality · linux (pull_request) Successful in 15s
WAI conformance / C2PA manifest emission · signed, read back, validated (pull_request) Successful in 40s
standards workspaces build + test / arl-rs (pull_request) Successful in 9m31s
standards workspaces build + test / joule-ui-rs (pull_request) Successful in 10m8s
standards workspaces build + test / jouledesk-rs (pull_request) Successful in 10m41s
standards workspaces build + test / joulehook-rs (pull_request) Successful in 12m14s
standards workspaces build + test / sense-rs (pull_request) Successful in 9m48s
WAI conformance / cargo-class corpora · macos (pull_request) Successful in 1m26s
WAI conformance / cross-arch byte-equality · macos (pull_request) Successful in 21s
WAI conformance / cargo-class corpora · windows (pull_request) Has been cancelled
WAI conformance / cross-arch byte-equality · windows (pull_request) Has been cancelled
Two ingests of the same shape — name someone else's ratified work rather than
restate it, and add only the thing they left unspecified.

PRIOR CARRIAGE. WAI pins a prior's IDENTITY and says nothing about its FORM. The
digest fixes which bytes; nothing fixes how those bytes are packaged, so a prior
is in practice an informal directory — a layout convention between
implementations that happen to agree. Two conforming implementations can hold the
same digest over differently-arranged artifacts and neither is wrong, because the
specification never said what the artifact is.

That bites precisely where WAI is strongest: a determinism tier is a claim about
reproducing a computation, and a computation whose operand has no wire form is
reproducible only among parties already sharing an unwritten convention.

ISO/IEC 15938-17 is that form — the first international standard for neural
network compression, second edition 2024, covering trained parameters and their
incremental updates, with an open reference implementation. Where a prior is
carried in it the digest MUST cover the coded bitstream rather than an unpacked
directory (a digest over an unpacking is a digest over one implementation's
choices), and two priors MUST NOT be treated as interchangeable because their
unpacked parameters compare equal.

Scope discipline is explicit, because the survey's one unresolved flag sits here:
this is CARRIAGE, NOT AUTHENTICITY. Work on signing individual coded data units
within that standard is at amendment stage and could not be corroborated from
public sources, so nothing here depends on it and an implementation MUST NOT cite
this section as authority for a signing claim. Incremental update is likewise not
new — it landed in the published second edition.

DERIVED TRACKS. Stated plainly at the top because the tree needs it said: a track
carrying a process the receiver evaluates is NOT NEW. ISO/IEC 23001-16:2021
ratified derived visual tracks five years ago inside the container the industry
already ships. Any WAI text claiming instruction-carriage as its invention is
wrong and should be corrected on sight.

What that specification leaves unspecified is what WAI adds: a determinism
contract per operation, and a signed receipt binding the executed graph to
measured joules. So each operation MAY register as a capability and MUST state
its tier; an operation involving interpolation, blending or resampling MUST NOT
register at decode-equivalence unless the registration also pins the arithmetic —
naming an operation does not make it deterministic — and a derived sample's tier
is the WEAKEST among the operations it invokes, because a graph is as
reproducible as its least reproducible step.

Two qualifications kept in the text rather than dropped: the base operation set
includes blending operations with no bit-exactness requirement, so the tier work
is substantive; and derived visual tracks have negligible deployed player
support, so the collision is standards-level, not installed-base.

Neither extension makes WAI a renderer, and §3 of derived-tracks says so.

Ingest queue items 9 and 12 (#80 §6.4, §3.1).

Co-Authored-By: Claude Opus 5 <[email protected]>
2026-09-10 10:24:58 -04:00