Decode a binary file containing length-delimited records into JSON lines. The binary format uses a custom…

Decode a binary file containing length-delimited records into JSON lines. The binary format uses a custom…: a task in TermGrade Environments: 1,004 executable Linux tasks (Harbor dataset). Binary format specification: - The file consists of a sequence of records. - Each record starts with a type…

The task

**Binary format specification:** - The file consists of a sequence of records. - Each record starts with a type byte: - `0x01` = unsigned integer - `0x02` = signed integer - `0x03` = UTF-8 string - `0x04` = raw bytes (encoded as base64 in JSON) - `0x05` = array of unsigned integers - Any other type byte value is…

Part of ai-and/termgrade-environments.