As noted by @flynd in #934, some level-specific is included unconditionally, but should be guarded by a check for the parameter set. Example: https://github.com/pq-code-package/mldsa-native/blob/main/mldsa/src/native/x86_64/src/pointwise_acc_l4.S
For comparison, this seems to be correct in mlkem-native.
As noted by @flynd in #934, some level-specific is included unconditionally, but should be guarded by a check for the parameter set. Example: https://github.com/pq-code-package/mldsa-native/blob/main/mldsa/src/native/x86_64/src/pointwise_acc_l4.S
For comparison, this seems to be correct in mlkem-native.