o lijj@sXdZddlmZddlmZGdddeZeGdddZddddZdddZ dS)aIntel HEX encode/decode. Intel HEX itself is a public, well-documented format (unlike the Roboteq bytecode it will eventually carry -- see docs/reverse_engineering.md), so this module is implemented for real rather than stubbed. It's also useful right now for reverse-engineering work: `read_intel_hex` can load .hex files exported from RoborunPlus so they can be diffed byte-for-byte. Only record types 00 (Data) and 01 (End Of File) are handled -- Roboteq scripts are small enough that extended segment/linear address records (02/03/04/05) are not expected to be needed, but that assumption should be verified against real exported files during reverse engineering. ) annotations) dataclassc@s eZdZdS)HexFormatErrorN)__name__ __module__ __qualname__rrO/sessions/funny-vibrant-bardeen/mnt/compiler/src/microbasic_compiler/hexfile.pyrsrc@sBeZdZUded<ded<ded<ded<ddd Zdd d Zd S) HexRecordint byte_countaddress record_typebytesdatareturncCs4|j|jd?|jd@|jt|j}| d@S)N)r r rsumr)selftotalrrr checksums zHexRecord.checksumstrcCsBt|j|jd?|jd@|jg|j}d||dS)Nrr:02X)rr r rrhexupperr)rbodyrrr to_line)s&zHexRecord.to_lineN)rr )rr)rrr__annotations__rrrrrr r s   r rr start_addressr bytes_per_linerrc Cs|dks|dkr tdt||}|r|d||}g}|}tdt||D]#}||||}tt||d@d|d}|||t|7}q(tddddd} || d |d S) a,Encode `data` as Intel HEX text (data records + trailing EOF record). CONFIRMED (gosub_distance corpus, 2026-07-28): real RoborunPlus-exported .hex always pads the final line out to a full `bytes_per_line` (16) bytes with 0xFF, rather than emitting a short last record for whatever remainder doesn't divide evenly. Every one of the 6 distance test cases (12/212/262/267/512/962 raw bytes) came back from RoborunPlus padded up to the next 16-byte boundary (16/224/272/272/... bytes) with the difference being solely trailing 0xFF -- 0 differing bytes in the shared range in all 6 cases, confirming GoSub codegen itself is correct (including across the 256-byte 1-vs-2-byte-address boundary). Padding here so our .hex output matches real compiler output byte-for-byte. rz(bytes_per_line must be between 1 and 255rir r rr ) ValueErrorlenranger appendrjoin) rr!r" remainderlinesaddroffsetchunkrecordeofrrr write_intel_hex.s r4textc Cs\t}t|ddD]\}}|}|sq |ds#td|dz t|dd}WntyC}z td|d|d}~wwt |dkrRtd|d |d |d|d |d f\}}} } |d d |} |d |} t ||d>| B| | d} | | krtd|d| d kr| | q | dkrt|Std|d| dt|S)zDecode Intel HEX text back into a flat byte string (data records only, concatenated in file order -- does not attempt to place bytes at their absolute addresses since that's not needed for diffing bytecode dumps). r#)startrzline z: missing ':' start codeNz: invalid hex dataz: record too shortrrr%z: checksum mismatchz: unsupported record type 0xr) bytearray enumerate splitlinesstrip startswithrrfromhexr(r)r rextend)r5outlinenoraw_linelinerexcr addr_hiaddr_lorpayloadrr2rrr read_intel_hexPs8  $   rJN)rr )rrr!r r"r rr)r5rrr) __doc__ __future__r dataclassesr Exceptionrr r4rJrrrr s   "