sectorlisp binary census

# sectorlisp Binary Census This document tracks known variations of the 512-byte `sectorlisp.bin` image across different toolchains and build configurations. Our goal is to build a high-fidelity mapping of every variant for formal verification. ## Contributing If you have built SectorLISP, please contribute your binary's checksum to this census. ### How to contribute: Run the following command on your `sectorlisp.bin`: ```bash sha256sum sectorlisp.bin ``` ### Please provide: 1. **SHA256 Sum** 2. **commit** (e.g., v2, master, or a specific commit hash) 3. **Build Config** (e.g., `.set .partition, 1` or `0`) 4. **Toolchain** (e.g., GCC version, binutils version) 5. **Operating System** --- ## Known Variations | SHA256 Checksum | commit | Partition | Toolchain | Notes | |:-------------------------------------------------------------------|:----------|:----------|:----------|:------------------------| | `cfa99b102f6dc4be073329433955252fa6c64a9e20595b519be2da1ba749a655` | `fc6fa33` | Yes | unknown | ./bin/sectorlisp.bin | | `310704b92684ec243c990436518d835ce96eb7b65f5eb7a4984ff7eb1d55de33` | `fc6fa33` | Yes | GCC 15.2 | Ubuntu 26.04 / 20260604 | | `d9883fcbc6cbfd3d264c931502fe0241b3639c28dada185d1e0ba11dca723743` | `8812d70` | Yes | GCC 15.2 | Ubuntu 26.04 / 20260604 |