Copyright (c) 2026 Alper Ferudun.

This original manuscript, its source, and the accompanying original verification
material are licensed under the Creative Commons Attribution 4.0 International
License (CC BY 4.0): https://creativecommons.org/licenses/by/4.0/

The license does not relicense separately cited third-party works or third-party
software dependencies. Third-party research PDFs and rendered source pages must
not be included in the public source package.

This is an unrefereed preprint. Publication and a DOI are not certification of
mathematical correctness or novelty. Independent human mathematical review and
proof-assistant verification have not been completed.
