Contractual Underpayment Modeling is a computational framework that belongs to the class of underpayment recovery methods, distinguished by its formal specification of contractual obligations and algorithmic detection of discrepancies between stipulated and actual payments.