From numerical search to an O(1) closed-form solution
Reframed a numerical collateral-allocation routine as an analytically solvable optimization problem. Derived and proved a constant-time solution, validated it through parity testing against the source implementation, and improved numerical accuracy by removing approximation error.