FLX-8002: the fidelity record is malformed or its signature does not verify

Family: evidence/pack (the 8000 band)

SEAM-FIDELITY-SPEC §6 fixes the record's shape and signs it with the verifier key. A record whose fields are missing or mistyped, whose scope statement is not the generated one, or whose signature does not verify against the named key, is refused: an unreadable record is not a weaker record, it is no record.

Look it up offline

$ fluxsim explain FLX-8002

Every code is listed in the error index.