4 pointsby owebeeone7 hours ago1 comment
  • cold_boot7 hours ago
    The byte-for-byte reconstruction check makes the AST split much easier to trust before touching module layout.
    • owebeeone3 hours ago
      That's the whole reason it's two passes - the first one you can prove (cat the chunks, cmp against the original), the second one the compiler proves. It's an assurance that the process is working.