Transaction Science 603a0b803d wai-ops: a tensor a ReLU reads inside a WHM1 network is derived, as §13.2 says ...

§13.2 gives `check` only to an x_ℓ that a layer of tag 0, 1, 2 or 4 reads,
and `check [−2^63, I64]` to a network input that no such layer reads; every
other tensor is `derived`. The lowering and the checker both gave every x_ℓ a
ReLU reads `check [−2^63, I64]`, so a reader of the text could not reproduce
three committed graphs.

Both now follow the text. The checker's `x_record` is rewritten from the
§13.2 wording, not from the crate. Regenerated: the h_s graph of the int_hyper
set 7aceaa1a… and of the int_mlicpp sets 07e1835d… and 7ef44f3b…, and the
lower_whm1 and lower_wmb1 vectors that embed them. No output changes: the
range they drop held every i64.

Co-Authored-By: Claude Opus 5.5 <[email protected]>

2026-10-09 19:31:39 -04:00

8.5 KiB

Raw Permalink History

View raw