ADR 0106: Shared source B.SUBVIEW uses per-PE offsets

Decision

B.SUBVIEW remains a source modifier and does not allocate a new architectural Tile. For a bound Shared parent, the effective offset for selected PE i is computed from that PE's private GPR plus the encoded unsigned immediate:

OffsetCells[i] = ReadPELocalGPR(i, RegSrc) + ZeroExtend(uimm11)

The encoded subview size is common, but selected PEs may derive different ranges of the same already-published parent. PE_MASK selects consumer side effects; it does not select fixed quarters or imply a common offset.

Boundary

The parent must already satisfy the whole-parent readiness/publication gate. Out-of-bounds, misaligned, or schema-incompatible per-PE ranges reject before payload or memory effects. The same rule applies to TSTORE, Shared-to-Local TMOV, and Shared-input cooperative TMATMUL.

Verification

Focused AVS points use distinct PE-local GPR values for four selected PEs and prove that each derived range is evaluated independently while the parent identity remains common.