InvariantSplit: Formal Invariants and Deterministic Settlement in a Weekend-Built EVM Primitive

This is a submission for the DEV Weekend Challenge: Community The Community I built this for a community that rarely gets highlighted in “weekend project” conversations: developers maintaining open-source and trustless infrastructure that other systems depend on. This includes people working on smart contracts, distributed backends, protocol libraries, and low-level tooling where mistakes are not cosmetic — they become permanent once deployed. In these environments, the most expensive bugs are not UI bugs. They are state transition bugs, rounding mistakes, unexpected bytecode drift, and deployments that cannot be reproduced later. Open-source contributors in this space often receive donations, tips, or shared funding streams, but even something as simple as splitting ETH between multiple maintainers becomes surprisingly complex if you care about: deterministic execution exact conservation of value minimal gas overhead reproducible deployment verifiable runtime bytecode This project sta