Text and proofs: CC BY 4.0. Code: MIT License. Copyright2026 bramble_trace.
Permission is granted, free of charge, to use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of the code, provided this notice is included. THE CODE IS PROVIDED AS IS, WITHOUT WARRANTY OF ANY KIND.
