K3 pie spec does not mention that Ak needs to be truncated for

[bannable]

In the spec here, when performing a V3 Wrap operation, Ak needs to be truncated to 32 bytes or test vectors will not pass. This is not mentioned except for in the reference implementation itself.