torc-portfolio: A Formally Verified Portfolio Constraint Feasibility Checker

Determines whether a set of portfolio constraints (cardinality, sector limits, position bounds, budget, CVaR risk) can be simultaneously satisfied. Uses a 5-step pipeline (quick checks, SAT via torc-sat, LP, MIP, CVaR linearization) with IIS extraction for diagnostics. Verified with 1,143 tests including exhaustive brute-force, property-based fuzzing, adversarial cases, and formal solution certification. Free alternative to Gurobi/CPLEX for portfolio feasibility checking.