Repository navigation

Slice 144: N6 v0.1 verdicts (exit 7, the Ed25519 rule, the crossing) - #141

Merged

HackTuah merged 3 commits into

mainfrom

slice/144-n6-v01-verdicts

Oct 22, 2026

Merged

Slice 144: N6 v0.1 verdicts (exit 7, the Ed25519 rule, the crossing)#141
HackTuah merged 3 commits into
mainfrom
slice/144-n6-v01-verdicts

Commits on Oct 21, 2026
- feat(s144): complete slice 144 (N6 v0.1 verdicts: exit 7 with one finding for a defect in verified bytes, the Ed25519 rule of r7 section 5.3, the v3-to-v4 crossing reported, no legacy row after an …
  HackTuah
  committed
  7a1efd0
- fix(s144): the FIPS leg: the Ed25519 R and S checks decide on every runtime, and the tests no longer assume the runtime does Ed25519
  HackTuah
  committed
  643a4cf
Commits on Oct 22, 2026
- test(s144): a codec defect in bytes a verified ML-DSA-87 signature covers is exit 7, noncanonical
  HackTuah
  committed
  33be338