FA-71992 / Error-correcting codes / Member archive

RS syndromes evaluate the polynomial reversed · case 02

Error-free codewords report nonzero syndromes.

Member previewVariant 2 · 3 implementations · 8 checks per implementation

Case contract

Reed-Solomon syndromes over GF(2^8) (0x11D, alpha = 2, first consecutive root alpha^0). msg lists coefficients from the highest degree down. S_j = msg(alpha^j) for j = 0..nsym-1 by Horner evaluation. Return [syndromes, whether any syndrome is nonzero].

Why this case matters

Storage and broadcast decoders start every Reed-Solomon block with a syndrome check.

One recorded failure

Sample boundary fixture

This sample comes from the broken implementation of a controlled reproducer.

Boundary fixture	Actual	Expected	Outcome
regression [[176, 102, 222, 44, 125, 89], 2]	`[[0, 50], true]`	`[[0, 0], false]`	Failed

MEMBER ARCHIVE

The complete case is available to members.

This record includes three runnable implementations, regression fixtures, execution results, and source hashes.

Member access is invitation-based. Sign in with your invited account to inspect the sources.