wai: integer-operators (Draft), the operator set wai-ops/1, with its payload text in integer-payloads #202

Merged

dcharlot merged 5 commits from wai/d2a-operators-text into main 2026-10-10 07:40:43 -04:00

Conversation 0 Commits 5 Files changed 4 +1696 -9

2026-10-09

Transaction Science

wai: integer-operators §14.1, the checker recomputes profiles too ...

`profiles` decides which implementations must reproduce a vector, so an
independent checker that copies it checks nothing about it. The checker now
recomputes it from its own bounds pass (§8), as it does `load` and `expect`.

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

fee4516886

• View at this point in history

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

Transaction Science

wai: integer-operators §8.3, the interval of subpos_merge and crop_to ...

The movement row gave "the input's interval" and the hull only for concat.
subpos_merge reads four inputs and crop_to two; the row now says that
subpos_merge, like concat, takes the hull of its inputs' intervals, and that
crop_to takes its first input's, which a bounds pass written from the text
needs in order to agree with the certified tags.

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

7600816a40

• View at this point in history

2026-10-09 19:26:46 -04:00

Transaction Science

wai: integer-operators, the rules the corpus relied on, written into the text ...

A review of the D2a corpus found rules that only the crate and the corpus README
stated, and two width claims that do not hold. This writes each into the text.

- §5E: a condition an operator states is refused before any symbol, with
  model_mismatch (field_range for E2, geometry_mismatch for the shapes E11 and
  E12 read). E8's table and bound checks are model_mismatch; only its window
  refusals are stream_exhausted. E5, E6, E7 and E10 state their conditions.
- E9: the 32-bit form fits i32 only when lo − 131070 and hi + 131070 also do;
  near the i32 limits it does not.
- E12 and §7.4: rate_predict's product (b − a)·ρ reaches 2^48 and rdiv's
  2|n| + d passes it; every value fits i50, not 47 bits.
- §4: step 1 runs input by input; step 3 checks the sizes an operator forms
  against 2^26, then the shape rule, then max_elems; step 4 applies the inputs'
  policies first.
- §5.3: the cap is on the uncropped output, cout·uh·uw. §5.10: crop starts are
  at least 0, and at load a scalar start is planned at 0.
- §10.3: a refused decode changes no state. §10.4: chscale's m_bytes and
  layernorm_c's g_bytes are 4 or 8.
- §13.2: a tensor read by a ReLU, other than the network's input, is derived.
- §14.1: decode inputs are data inputs only; a refused load lists both
  profiles; stage modes, the predictors' fields and layouts, and coding_order's
  indices are normative; and `at`, mans_decode's position rule included.

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

64e37d8ebf

• View at this point in history

2026-10-09 18:58:30 -04:00

Transaction Science

wai: integer-operators lands beside its payload text ...

integer-payloads gains the text the operator set depends on:
- §9: the members and checks of entropy.json, and the layers'
  arithmetic is now integer-operators §13.2 (WHM1) and §13.3 (WAM1);
- §13: the wai.neural.int_synth payload and its set, int_synth.json,
  with the checks the reference decoder makes only once it decodes
  through its lowering listed as such;
- §14: WIM1 and the WMB1 bundle of wai.neural.int_mlicpp, including
  that the entropy network reads every element of y not yet decoded
  as 0, and the one afrac in 1..=30 its networks and tables share.

integer-operators is reconciled with that:
- §15.2 points at those sections instead of carrying a second copy,
  and the §13.5 payload column cites them (WIA1 and WIS1 now name
  integer-payloads, not this text's own §5 and §6);
- §15.1 separates what changes now from what lands with each
  capability's lowering, and §15.3 says each change takes effect then;
- §13.6.1: the hyper-scale shift members are [1, C, 1, 1] in the
  bundle, not [C]; a segment's payload is defined (after the marker
  and length field), and each is one entropy substream within the
  configuration determinism-tiers §5 scopes;
- §8.1: a product or sum of more than two operands written without
  Σ is a left fold as written, which keeps the saturated flag
  independent of evaluation order, and the 512-bit width is shown to
  be needed (igdn.x2 at ±2^255 forms 2^510);
- the status block says the reference crate, tool and corpus follow
  this Draft, and names the decoders that are the reference until then.

The README names the extension and the CHANGELOG records it.

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

116fcb520f

• View at this point in history

2026-10-09 16:18:36 -04:00

Transaction Science

wai: integer-operators, the integer operator set wai-ops/1 (Draft text) ...

The proposed extension text as drafted: the operators and their exact
integer arithmetic, the tensor range policies, the acc64 and acc32
profiles, the static bounds rules and the bounds certificate, the
accelerator subset, the WHG1 graph form, profile declaration, the
relation to the determinism tiers, the canonical lowerings of the
existing integer network forms, and conformance.

This commit is the text as drafted, unedited; the next commits
reconcile it with what lands beside it.

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

1f6834e98d

• View at this point in history

2026-10-09 15:33:57 -04:00