The scenario math
Applying a reported CreditSights 44¢ recovery to the $1.45B senior-lien stack:
$1.45B
Combined senior-lien claim
44¢
Recovery assumption (CreditSights, reported)
$812M
Gross shortfall at 44¢
~$540M
Illustrative probability-weighted shortfall
$174M
Public-finance expected loss to be paid
~$365M
Illustrative reserve gap
| Scenario | Weight | Net outcome | Sketch |
| Base | 50% | ~$175M | AGO funds the DIP, credit-bids the railroad |
| Adverse | 30% | $750–800M | Weak recovery on the railroad value |
| Severe | 20% | $1.0B+ | Deep haircut, prolonged process |
The non-acceleration mitigant. AGO's policies do not accelerate: on issuer default it pays scheduled debt service, not par up front. A $1.45B Brightline claim crystallizes as coupons + maturities over decades, not a wire at filing — converting stress from a liquidity event into an ultimate-loss / present-value event, with no run risk. This is the structural premise beneath the "own the railroad" workout and is credited in S&P's capital model. Caveat: a minority of policies carry acceleration triggers and commutations crystallize lump sums — verify per policy.