Creative Commons Attribution 4.0 International (CC BY 4.0)

Copyright 2026 Idris Ali Shaik.

The author-provided manuscript text, LaTeX source, and accompanying figure are licensed under CC BY 4.0.
License: https://creativecommons.org/licenses/by/4.0/
Legal code: https://creativecommons.org/licenses/by/4.0/legalcode.en

The separately referenced Lean formalization has its own MIT license and is not included in this paper source archive.