Wrong encoded or inconsistent data structure

[xDimon]

Some dispute-tests have fail at decode bin-file:

Field core-index of WorkReport has type CoreIndex aka U16 (fixed-length integer), but encoded as JAM-Compact-Integer (variable-length integer) in .bin files (1-2 bytes).

Field auth-gas-used of WorkReport has type Gas aka U64 (fixed-length integer), but encoded as zero-byte (I guess all of its fields have encoded as JAM-Compact-Integer) in .bin files.

Field refine-load of WorkResult has type RefineLoad aka (Gas,U16,U16,U32,U16), but encoded as five zero-bytes (I guess all of its fields have encoded as JAM-Compact-Integer).

Please, check encoding of that structure if it mistaken, or describe this types decodings as JAM-Compact-Integer.

[davxy]

I have not double-checked every field, but IIRC all the mentioned ones,
according to the GP, must be encoded as compact. The ASN.1 file defines
the syntax, not the encoding format (i.e., it cannot express whether a
field should use compact encoding). I should probably add a comment about
this in the ASN.1 file.

[davxy]

@xDimon pls close the issue if is sorted. I can't close issues in this repo