When the right to adequate nutrition can be computed, the state's obligation becomes a question of mathematics, not judgment.

Article 11 of the International Covenant on Economic, Social and Cultural Rights obliges every ratifying state to ensure that every person has access to adequate food. Some national courts have consistently declined to treat this provision as directly applicable, holding that the adequacy standard is too indeterminate to generate individual, justiciable claims without implementing legislation.

This project challenges that reasoning at its root. Using a Mixed-Integer Linear Programme (MILP) with Branch-and-Cut solving, it demonstrates that the minimum cost of a nutritionally adequate seven-day diet is precisely computable from publicly available data: published dietary reference values, food composition databases and retail prices. If the minimum is computable, the indeterminacy objection dissolves.

The programme's objective function, minimize total food expenditure subject to nutritional constraints, directly mirrors the legal question a court must answer when reviewing the adequacy of a social assistance payment: does this amount purchase a nutritionally adequate diet? The model transforms that question from a matter of political judgment or household survey estimation into one of verifiable calculation.

The model operates as litigation support: an objective, reproducible benchmark for constitutional challenges, with Art. 11 ICESCR serving as interpretive authority for the content of the constitutional minimum.