FA-58411 / Loan amortization schedules / Open access
Principal curtailment with recast or term shortening: recast mode gate · case 01
Borrowers who chose term shortening see their payment reduced.
ROOT CAUSE
Every curtailment recasts the payment regardless of mode.
VERIFIED REPAIR
Recast only in recast mode.
Unsuccessful approach: Recasting shorten-mode loans for large extras still changes their payment.
Case contract
x = {'principal', 'rate_bp', 'months', 'prepay': {'k': extra cents after payment k}, 'mode': 'shorten'|'recast'}. The level payment is the exact annuity rounded half-up. Each month: interest = round_half_up(balance*bp/120000); if balance + interest <= payment or it is month n, pay balance + interest and stop. Otherwise reduce the balance by payment - interest, then apply the extra (capped at the balance). In recast mode a nonzero extra that leaves a balance re-levels the payment over the n - k remaining months. An extra that clears the balance ends the loan with final payment = payment + extra. Return {'months_paid', 'total_interest', 'final_payment', 'payments': payment history}.
Why this case matters
Amortization engines drive borrower statements, payoff quotes and investor remittances; a misplaced rounding step, boundary or ordering rule compounds across hundreds of periods.
1 / The failure
Exit 1"""Failure Map reference implementation. Python standard library only."""
import json
import math
from fractions import Fraction
N = 1
observations = []
def solve(x):
def rnd(n, d):
q, r = divmod(n, d)
return q + (1 if 2 * r >= d else 0)
def level(P, n):
if n <= 0 or P <= 0:
return 0
if bp == 0:
exact = Fraction(P, n)
else:
r = Fraction(bp, 120000)
exact = P * r / (1 - (1 + r) ** -n)
return math.floor(exact + Fraction(1, 2))
bp = x['rate_bp']
n = x['months']
bal = x['principal']
pay = level(bal, n)
history = [pay]
total = 0
k = 0
final = 0
while bal > 0 and k < n:
k += 1
interest = rnd(bal * bp, 120000)
total += interest
if bal + interest <= pay or k == n:
final = bal + interest
bal = 0
break
bal -= pay - interest
extra = min(x['prepay'].get(str(k), 0), bal)
if extra:
bal -= extra
if bal > 0:
pay = level(bal, n - k)
history.append(pay)
if bal == 0:
final = pay + extra
return {'months_paid': k, 'total_interest': total, 'final_payment': final, 'payments': history}
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[['regression: recast mode gate', {'principal': 60000, 'rate_bp': 1200, 'months': 12, 'prepay': {'5': 5000, '11': 1000, '6': 200000}, 'mode': 'shorten'}, {'months_paid': 6, 'total_interest': 2832, 'final_payment': 31177, 'payments': [5331]}], ['regression: recast mode gate, partial-repair probe', {'principal': 100000, 'rate_bp': 600, 'months': 6, 'prepay': {'1': 20000, '6': 2000000}, 'mode': 'shorten'}, {'months_paid': 5, 'total_interest': 1270, 'final_payment': 13430, 'payments': [16960]}], ['control 1', {'principal': 60000, 'rate_bp': 0, 'months': 36, 'prepay': {'21': 5000, '12': 200000, '35': 2000000}, 'mode': 'recast'}, {'months_paid': 12, 'total_interest': 0, 'final_payment': 41663, 'payments': [1667]}], ['control 2', {'principal': 60000, 'rate_bp': 600, 'months': 12, 'prepay': {'8': 200000, '7': 20000}, 'mode': 'recast'}, {'months_paid': 8, 'total_interest': 1612, 'final_payment': 5464, 'payments': [5164, 1104]}], ['control 3', {'principal': 60000, 'rate_bp': 1200, 'months': 36, 'prepay': {'31': 200000, '10': 20000, '20': 1000}, 'mode': 'recast'}, {'months_paid': 31, 'total_interest': 8690, 'final_payment': 6130, 'payments': [1993, 1115, 1048]}], ['control 4', {'principal': 60000, 'rate_bp': 0, 'months': 36, 'prepay': {'26': 20000, '10': 5000, '3': 2000000}, 'mode': 'shorten'}, {'months_paid': 3, 'total_interest': 0, 'final_payment': 56666, 'payments': [1667]}], ['control 5', {'principal': 250000, 'rate_bp': 0, 'months': 12, 'prepay': {'10': 1000, '6': 5000, '7': 5000}, 'mode': 'recast'}, {'months_paid': 12, 'total_interest': 0, 'final_payment': 18501, 'payments': [20833, 20000, 19000, 18501]}]], [['regression: recast mode gate', {'principal': 60000, 'rate_bp': 0, 'months': 36, 'prepay': {'11': 20000, '19': 20000, '2': 1000}, 'mode': 'shorten'}, {'months_paid': 19, 'total_interest': 0, 'final_payment': 8994, 'payments': [1667]}], ['control 1', {'principal': 250000, 'rate_bp': 0, 'months': 24, 'prepay': {'24': 200000}, 'mode': 'recast'}, {'months_paid': 24, 'total_interest': 0, 'final_payment': 10409, 'payments': [10417]}], ['control 2', {'principal': 250000, 'rate_bp': 0, 'months': 6, 'prepay': {}, 'mode': 'recast'}, {'months_paid': 6, 'total_interest': 0, 'final_payment': 41665, 'payments': [41667]}], ['control 3', {'principal': 100000, 'rate_bp': 1200, 'months': 24, 'prepay': {'10': 5000}, 'mode': 'recast'}, {'months_paid': 24, 'total_interest': 12595, 'final_payment': 4326, 'payments': [4707, 4323]}], ['control 4', {'principal': 60000, 'rate_bp': 0, 'months': 12, 'prepay': {}, 'mode': 'recast'}, {'months_paid': 12, 'total_interest': 0, 'final_payment': 5000, 'payments': [5000]}], ['control 5', {'principal': 100000, 'rate_bp': 0, 'months': 24, 'prepay': {}, 'mode': 'recast'}, {'months_paid': 24, 'total_interest': 0, 'final_payment': 4159, 'payments': [4167]}], ['control 6', {'principal': 100000, 'rate_bp': 1200, 'months': 24, 'prepay': {}, 'mode': 'shorten'}, {'months_paid': 24, 'total_interest': 12979, 'final_payment': 4718, 'payments': [4707]}]], [['regression: recast mode gate', {'principal': 100000, 'rate_bp': 1200, 'months': 24, 'prepay': {'12': 5000, '20': 20000, '4': 1000}, 'mode': 'shorten'}, {'months_paid': 20, 'total_interest': 11928, 'final_payment': 16495, 'payments': [4707]}], ['control 1', {'principal': 100000, 'rate_bp': 600, 'months': 12, 'prepay': {'10': 1000}, 'mode': 'recast'}, {'months_paid': 12, 'total_interest': 3272, 'final_payment': 8101, 'payments': [8607, 8101]}], ['control 2', {'principal': 100000, 'rate_bp': 600, 'months': 6, 'prepay': {'5': 1000, '3': 20000}, 'mode': 'recast'}, {'months_paid': 6, 'total_interest': 1552, 'final_payment': 9220, 'payments': [16960, 10226, 9220]}], ['control 3', {'principal': 60000, 'rate_bp': 0, 'months': 36, 'prepay': {'23': 1000, '10': 1000, '33': 200000}, 'mode': 'recast'}, {'months_paid': 33, 'total_interest': 0, 'final_payment': 6207, 'payments': [1667, 1628, 1551]}], ['control 4', {'principal': 60000, 'rate_bp': 600, 'months': 24, 'prepay': {'15': 20000, '5': 1000}, 'mode': 'recast'}, {'months_paid': 24, 'total_interest': 3267, 'final_payment': 324, 'payments': [2659, 2604, 326]}], ['control 5', {'principal': 60000, 'rate_bp': 0, 'months': 6, 'prepay': {'5': 2000000, '1': 200000, '3': 20000}, 'mode': 'recast'}, {'months_paid': 1, 'total_interest': 0, 'final_payment': 60000, 'payments': [10000]}], ['control 6', {'principal': 60000, 'rate_bp': 1200, 'months': 12, 'prepay': {'4': 200000}, 'mode': 'recast'}, {'months_paid': 4, 'total_interest': 2115, 'final_payment': 46122, 'payments': [5331]}]], [['regression: recast mode gate', {'principal': 250000, 'rate_bp': 0, 'months': 12, 'prepay': {'7': 200000, '3': 5000}, 'mode': 'shorten'}, {'months_paid': 7, 'total_interest': 0, 'final_payment': 120002, 'payments': [20833]}], ['regression: recast mode gate, partial-repair probe', {'principal': 60000, 'rate_bp': 0, 'months': 24, 'prepay': {'9': 5000, '24': 5000}, 'mode': 'shorten'}, {'months_paid': 22, 'total_interest': 0, 'final_payment': 2500, 'payments': [2500]}], ['control 1', {'principal': 100000, 'rate_bp': 600, 'months': 36, 'prepay': {}, 'mode': 'shorten'}, {'months_paid': 36, 'total_interest': 9520, 'final_payment': 3050, 'payments': [3042]}], ['control 2', {'principal': 60000, 'rate_bp': 0, 'months': 24, 'prepay': {}, 'mode': 'recast'}, {'months_paid': 24, 'total_interest': 0, 'final_payment': 2500, 'payments': [2500]}], ['control 3', {'principal': 60000, 'rate_bp': 600, 'months': 36, 'prepay': {'24': 2000000, '33': 1000, '12': 2000000}, 'mode': 'shorten'}, {'months_paid': 12, 'total_interest': 3088, 'final_payment': 43013, 'payments': [1825]}], ['control 4', {'principal': 100000, 'rate_bp': 1200, 'months': 24, 'prepay': {'20': 5000, '18': 2000000, '15': 1000}, 'mode': 'recast'}, {'months_paid': 18, 'total_interest': 11987, 'final_payment': 31200, 'payments': [4707, 4591]}], ['control 5', {'principal': 250000, 'rate_bp': 1200, 'months': 12, 'prepay': {'1': 200000}, 'mode': 'recast'}, {'months_paid': 12, 'total_interest': 4349, 'final_payment': 2927, 'payments': [22212, 2921]}]], [['regression: recast mode gate', {'principal': 60000, 'rate_bp': 0, 'months': 6, 'prepay': {'4': 1000}, 'mode': 'shorten'}, {'months_paid': 6, 'total_interest': 0, 'final_payment': 9000, 'payments': [10000]}], ['regression: recast mode gate, partial-repair probe', {'principal': 60000, 'rate_bp': 0, 'months': 12, 'prepay': {'10': 5000}, 'mode': 'shorten'}, {'months_paid': 11, 'total_interest': 0, 'final_payment': 5000, 'payments': [5000]}], ['control 1', {'principal': 250000, 'rate_bp': 600, 'months': 12, 'prepay': {'8': 200000}, 'mode': 'shorten'}, {'months_paid': 8, 'total_interest': 7134, 'final_payment': 106515, 'payments': [21517]}], ['control 2', {'principal': 250000, 'rate_bp': 1200, 'months': 24, 'prepay': {}, 'mode': 'shorten'}, {'months_paid': 24, 'total_interest': 32442, 'final_payment': 11778, 'payments': [11768]}], ['control 3', {'principal': 100000, 'rate_bp': 0, 'months': 6, 'prepay': {'3': 1000}, 'mode': 'recast'}, {'months_paid': 6, 'total_interest': 0, 'final_payment': 16333, 'payments': [16667, 16333]}], ['control 4', {'principal': 100000, 'rate_bp': 600, 'months': 36, 'prepay': {'34': 2000000, '15': 200000}, 'mode': 'recast'}, {'months_paid': 15, 'total_interest': 6138, 'final_payment': 63550, 'payments': [3042]}], ['control 5', {'principal': 250000, 'rate_bp': 1200, 'months': 12, 'prepay': {'6': 2000000, '10': 20000}, 'mode': 'recast'}, {'months_paid': 6, 'total_interest': 12005, 'final_payment': 150945, 'payments': [22212]}]]]
for label, args, expected in fixtures[N-1]:
try:
actual = solve(args)
except Exception as exc:
actual = 'raised ' + type(exc).__name__
check(label, actual, expected)
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)
| Boundary fixture | Actual | Expected | Outcome |
|---|---|---|---|
| regression: recast mode gate | {'final_payment': 31177, 'months_paid': 6, 'payments': [5331, 4588], 'total_interest': 2832} | {'final_payment': 31177, 'months_paid': 6, 'payments': [5331], 'total_interest': 2832} | Failed |
| regression: recast mode gate, partial-repair probe | {'final_payment': 12901, 'months_paid': 6, 'payments': [16960, 12899], 'total_interest': 1457} | {'final_payment': 13430, 'months_paid': 5, 'payments': [16960], 'total_interest': 1270} | Failed |
| control 1 | {'final_payment': 41663, 'months_paid': 12, 'payments': [1667], 'total_interest': 0} | {'final_payment': 41663, 'months_paid': 12, 'payments': [1667], 'total_interest': 0} | Passed |
| control 2 | {'final_payment': 5464, 'months_paid': 8, 'payments': [5164, 1104], 'total_interest': 1612} | {'final_payment': 5464, 'months_paid': 8, 'payments': [5164, 1104], 'total_interest': 1612} | Passed |
| control 3 | {'final_payment': 6130, 'months_paid': 31, 'payments': [1993, 1115, 1048], 'total_interest': 8690} | {'final_payment': 6130, 'months_paid': 31, 'payments': [1993, 1115, 1048], 'total_interest': 8690} | Passed |
| control 4 | {'final_payment': 56666, 'months_paid': 3, 'payments': [1667], 'total_interest': 0} | {'final_payment': 56666, 'months_paid': 3, 'payments': [1667], 'total_interest': 0} | Passed |
| control 5 | {'final_payment': 18501, 'months_paid': 12, 'payments': [20833, 20000, 19000, 18501], 'total_interest': 0} | {'final_payment': 18501, 'months_paid': 12, 'payments': [20833, 20000, 19000, 18501], 'total_interest': 0} | Passed |
SHA-256 / a10d12f0018e6e680c2682f1bf671a568931dfdc88b1dc90bc01fd61ec49e916
2 / The unsuccessful fix
Exit 1"""Failure Map reference implementation. Python standard library only."""
import json
import math
from fractions import Fraction
N = 1
observations = []
def solve(x):
def rnd(n, d):
q, r = divmod(n, d)
return q + (1 if 2 * r >= d else 0)
def level(P, n):
if n <= 0 or P <= 0:
return 0
if bp == 0:
exact = Fraction(P, n)
else:
r = Fraction(bp, 120000)
exact = P * r / (1 - (1 + r) ** -n)
return math.floor(exact + Fraction(1, 2))
bp = x['rate_bp']
n = x['months']
bal = x['principal']
pay = level(bal, n)
history = [pay]
total = 0
k = 0
final = 0
while bal > 0 and k < n:
k += 1
interest = rnd(bal * bp, 120000)
total += interest
if bal + interest <= pay or k == n:
final = bal + interest
bal = 0
break
bal -= pay - interest
extra = min(x['prepay'].get(str(k), 0), bal)
if extra:
bal -= extra
if (x['mode'] == 'recast' or extra >= pay) and bal > 0:
pay = level(bal, n - k)
history.append(pay)
if bal == 0:
final = pay + extra
return {'months_paid': k, 'total_interest': total, 'final_payment': final, 'payments': history}
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[['regression: recast mode gate', {'principal': 60000, 'rate_bp': 1200, 'months': 12, 'prepay': {'5': 5000, '11': 1000, '6': 200000}, 'mode': 'shorten'}, {'months_paid': 6, 'total_interest': 2832, 'final_payment': 31177, 'payments': [5331]}], ['regression: recast mode gate, partial-repair probe', {'principal': 100000, 'rate_bp': 600, 'months': 6, 'prepay': {'1': 20000, '6': 2000000}, 'mode': 'shorten'}, {'months_paid': 5, 'total_interest': 1270, 'final_payment': 13430, 'payments': [16960]}], ['control 1', {'principal': 60000, 'rate_bp': 0, 'months': 36, 'prepay': {'21': 5000, '12': 200000, '35': 2000000}, 'mode': 'recast'}, {'months_paid': 12, 'total_interest': 0, 'final_payment': 41663, 'payments': [1667]}], ['control 2', {'principal': 60000, 'rate_bp': 600, 'months': 12, 'prepay': {'8': 200000, '7': 20000}, 'mode': 'recast'}, {'months_paid': 8, 'total_interest': 1612, 'final_payment': 5464, 'payments': [5164, 1104]}], ['control 3', {'principal': 60000, 'rate_bp': 1200, 'months': 36, 'prepay': {'31': 200000, '10': 20000, '20': 1000}, 'mode': 'recast'}, {'months_paid': 31, 'total_interest': 8690, 'final_payment': 6130, 'payments': [1993, 1115, 1048]}], ['control 4', {'principal': 60000, 'rate_bp': 0, 'months': 36, 'prepay': {'26': 20000, '10': 5000, '3': 2000000}, 'mode': 'shorten'}, {'months_paid': 3, 'total_interest': 0, 'final_payment': 56666, 'payments': [1667]}], ['control 5', {'principal': 250000, 'rate_bp': 0, 'months': 12, 'prepay': {'10': 1000, '6': 5000, '7': 5000}, 'mode': 'recast'}, {'months_paid': 12, 'total_interest': 0, 'final_payment': 18501, 'payments': [20833, 20000, 19000, 18501]}]], [['regression: recast mode gate', {'principal': 60000, 'rate_bp': 0, 'months': 36, 'prepay': {'11': 20000, '19': 20000, '2': 1000}, 'mode': 'shorten'}, {'months_paid': 19, 'total_interest': 0, 'final_payment': 8994, 'payments': [1667]}], ['control 1', {'principal': 250000, 'rate_bp': 0, 'months': 24, 'prepay': {'24': 200000}, 'mode': 'recast'}, {'months_paid': 24, 'total_interest': 0, 'final_payment': 10409, 'payments': [10417]}], ['control 2', {'principal': 250000, 'rate_bp': 0, 'months': 6, 'prepay': {}, 'mode': 'recast'}, {'months_paid': 6, 'total_interest': 0, 'final_payment': 41665, 'payments': [41667]}], ['control 3', {'principal': 100000, 'rate_bp': 1200, 'months': 24, 'prepay': {'10': 5000}, 'mode': 'recast'}, {'months_paid': 24, 'total_interest': 12595, 'final_payment': 4326, 'payments': [4707, 4323]}], ['control 4', {'principal': 60000, 'rate_bp': 0, 'months': 12, 'prepay': {}, 'mode': 'recast'}, {'months_paid': 12, 'total_interest': 0, 'final_payment': 5000, 'payments': [5000]}], ['control 5', {'principal': 100000, 'rate_bp': 0, 'months': 24, 'prepay': {}, 'mode': 'recast'}, {'months_paid': 24, 'total_interest': 0, 'final_payment': 4159, 'payments': [4167]}], ['control 6', {'principal': 100000, 'rate_bp': 1200, 'months': 24, 'prepay': {}, 'mode': 'shorten'}, {'months_paid': 24, 'total_interest': 12979, 'final_payment': 4718, 'payments': [4707]}]], [['regression: recast mode gate', {'principal': 100000, 'rate_bp': 1200, 'months': 24, 'prepay': {'12': 5000, '20': 20000, '4': 1000}, 'mode': 'shorten'}, {'months_paid': 20, 'total_interest': 11928, 'final_payment': 16495, 'payments': [4707]}], ['control 1', {'principal': 100000, 'rate_bp': 600, 'months': 12, 'prepay': {'10': 1000}, 'mode': 'recast'}, {'months_paid': 12, 'total_interest': 3272, 'final_payment': 8101, 'payments': [8607, 8101]}], ['control 2', {'principal': 100000, 'rate_bp': 600, 'months': 6, 'prepay': {'5': 1000, '3': 20000}, 'mode': 'recast'}, {'months_paid': 6, 'total_interest': 1552, 'final_payment': 9220, 'payments': [16960, 10226, 9220]}], ['control 3', {'principal': 60000, 'rate_bp': 0, 'months': 36, 'prepay': {'23': 1000, '10': 1000, '33': 200000}, 'mode': 'recast'}, {'months_paid': 33, 'total_interest': 0, 'final_payment': 6207, 'payments': [1667, 1628, 1551]}], ['control 4', {'principal': 60000, 'rate_bp': 600, 'months': 24, 'prepay': {'15': 20000, '5': 1000}, 'mode': 'recast'}, {'months_paid': 24, 'total_interest': 3267, 'final_payment': 324, 'payments': [2659, 2604, 326]}], ['control 5', {'principal': 60000, 'rate_bp': 0, 'months': 6, 'prepay': {'5': 2000000, '1': 200000, '3': 20000}, 'mode': 'recast'}, {'months_paid': 1, 'total_interest': 0, 'final_payment': 60000, 'payments': [10000]}], ['control 6', {'principal': 60000, 'rate_bp': 1200, 'months': 12, 'prepay': {'4': 200000}, 'mode': 'recast'}, {'months_paid': 4, 'total_interest': 2115, 'final_payment': 46122, 'payments': [5331]}]], [['regression: recast mode gate', {'principal': 250000, 'rate_bp': 0, 'months': 12, 'prepay': {'7': 200000, '3': 5000}, 'mode': 'shorten'}, {'months_paid': 7, 'total_interest': 0, 'final_payment': 120002, 'payments': [20833]}], ['regression: recast mode gate, partial-repair probe', {'principal': 60000, 'rate_bp': 0, 'months': 24, 'prepay': {'9': 5000, '24': 5000}, 'mode': 'shorten'}, {'months_paid': 22, 'total_interest': 0, 'final_payment': 2500, 'payments': [2500]}], ['control 1', {'principal': 100000, 'rate_bp': 600, 'months': 36, 'prepay': {}, 'mode': 'shorten'}, {'months_paid': 36, 'total_interest': 9520, 'final_payment': 3050, 'payments': [3042]}], ['control 2', {'principal': 60000, 'rate_bp': 0, 'months': 24, 'prepay': {}, 'mode': 'recast'}, {'months_paid': 24, 'total_interest': 0, 'final_payment': 2500, 'payments': [2500]}], ['control 3', {'principal': 60000, 'rate_bp': 600, 'months': 36, 'prepay': {'24': 2000000, '33': 1000, '12': 2000000}, 'mode': 'shorten'}, {'months_paid': 12, 'total_interest': 3088, 'final_payment': 43013, 'payments': [1825]}], ['control 4', {'principal': 100000, 'rate_bp': 1200, 'months': 24, 'prepay': {'20': 5000, '18': 2000000, '15': 1000}, 'mode': 'recast'}, {'months_paid': 18, 'total_interest': 11987, 'final_payment': 31200, 'payments': [4707, 4591]}], ['control 5', {'principal': 250000, 'rate_bp': 1200, 'months': 12, 'prepay': {'1': 200000}, 'mode': 'recast'}, {'months_paid': 12, 'total_interest': 4349, 'final_payment': 2927, 'payments': [22212, 2921]}]], [['regression: recast mode gate', {'principal': 60000, 'rate_bp': 0, 'months': 6, 'prepay': {'4': 1000}, 'mode': 'shorten'}, {'months_paid': 6, 'total_interest': 0, 'final_payment': 9000, 'payments': [10000]}], ['regression: recast mode gate, partial-repair probe', {'principal': 60000, 'rate_bp': 0, 'months': 12, 'prepay': {'10': 5000}, 'mode': 'shorten'}, {'months_paid': 11, 'total_interest': 0, 'final_payment': 5000, 'payments': [5000]}], ['control 1', {'principal': 250000, 'rate_bp': 600, 'months': 12, 'prepay': {'8': 200000}, 'mode': 'shorten'}, {'months_paid': 8, 'total_interest': 7134, 'final_payment': 106515, 'payments': [21517]}], ['control 2', {'principal': 250000, 'rate_bp': 1200, 'months': 24, 'prepay': {}, 'mode': 'shorten'}, {'months_paid': 24, 'total_interest': 32442, 'final_payment': 11778, 'payments': [11768]}], ['control 3', {'principal': 100000, 'rate_bp': 0, 'months': 6, 'prepay': {'3': 1000}, 'mode': 'recast'}, {'months_paid': 6, 'total_interest': 0, 'final_payment': 16333, 'payments': [16667, 16333]}], ['control 4', {'principal': 100000, 'rate_bp': 600, 'months': 36, 'prepay': {'34': 2000000, '15': 200000}, 'mode': 'recast'}, {'months_paid': 15, 'total_interest': 6138, 'final_payment': 63550, 'payments': [3042]}], ['control 5', {'principal': 250000, 'rate_bp': 1200, 'months': 12, 'prepay': {'6': 2000000, '10': 20000}, 'mode': 'recast'}, {'months_paid': 6, 'total_interest': 12005, 'final_payment': 150945, 'payments': [22212]}]]]
for label, args, expected in fixtures[N-1]:
try:
actual = solve(args)
except Exception as exc:
actual = 'raised ' + type(exc).__name__
check(label, actual, expected)
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)
| Boundary fixture | Actual | Expected | Outcome |
|---|---|---|---|
| regression: recast mode gate | {'final_payment': 31177, 'months_paid': 6, 'payments': [5331], 'total_interest': 2832} | {'final_payment': 31177, 'months_paid': 6, 'payments': [5331], 'total_interest': 2832} | Passed |
| regression: recast mode gate, partial-repair probe | {'final_payment': 12901, 'months_paid': 6, 'payments': [16960, 12899], 'total_interest': 1457} | {'final_payment': 13430, 'months_paid': 5, 'payments': [16960], 'total_interest': 1270} | Failed |
| control 1 | {'final_payment': 41663, 'months_paid': 12, 'payments': [1667], 'total_interest': 0} | {'final_payment': 41663, 'months_paid': 12, 'payments': [1667], 'total_interest': 0} | Passed |
| control 2 | {'final_payment': 5464, 'months_paid': 8, 'payments': [5164, 1104], 'total_interest': 1612} | {'final_payment': 5464, 'months_paid': 8, 'payments': [5164, 1104], 'total_interest': 1612} | Passed |
| control 3 | {'final_payment': 6130, 'months_paid': 31, 'payments': [1993, 1115, 1048], 'total_interest': 8690} | {'final_payment': 6130, 'months_paid': 31, 'payments': [1993, 1115, 1048], 'total_interest': 8690} | Passed |
| control 4 | {'final_payment': 56666, 'months_paid': 3, 'payments': [1667], 'total_interest': 0} | {'final_payment': 56666, 'months_paid': 3, 'payments': [1667], 'total_interest': 0} | Passed |
| control 5 | {'final_payment': 18501, 'months_paid': 12, 'payments': [20833, 20000, 19000, 18501], 'total_interest': 0} | {'final_payment': 18501, 'months_paid': 12, 'payments': [20833, 20000, 19000, 18501], 'total_interest': 0} | Passed |
SHA-256 / 884398efbf72f4afee3157fb4d3ee9d6dec4644c56f9b6cba2b3039b2f214f0c
3 / The verified repair
Exit 0"""Failure Map reference implementation. Python standard library only."""
import json
import math
from fractions import Fraction
N = 1
observations = []
def solve(x):
def rnd(n, d):
q, r = divmod(n, d)
return q + (1 if 2 * r >= d else 0)
def level(P, n):
if n <= 0 or P <= 0:
return 0
if bp == 0:
exact = Fraction(P, n)
else:
r = Fraction(bp, 120000)
exact = P * r / (1 - (1 + r) ** -n)
return math.floor(exact + Fraction(1, 2))
bp = x['rate_bp']
n = x['months']
bal = x['principal']
pay = level(bal, n)
history = [pay]
total = 0
k = 0
final = 0
while bal > 0 and k < n:
k += 1
interest = rnd(bal * bp, 120000)
total += interest
if bal + interest <= pay or k == n:
final = bal + interest
bal = 0
break
bal -= pay - interest
extra = min(x['prepay'].get(str(k), 0), bal)
if extra:
bal -= extra
if x['mode'] == 'recast' and bal > 0:
pay = level(bal, n - k)
history.append(pay)
if bal == 0:
final = pay + extra
return {'months_paid': k, 'total_interest': total, 'final_payment': final, 'payments': history}
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[['regression: recast mode gate', {'principal': 60000, 'rate_bp': 1200, 'months': 12, 'prepay': {'5': 5000, '11': 1000, '6': 200000}, 'mode': 'shorten'}, {'months_paid': 6, 'total_interest': 2832, 'final_payment': 31177, 'payments': [5331]}], ['regression: recast mode gate, partial-repair probe', {'principal': 100000, 'rate_bp': 600, 'months': 6, 'prepay': {'1': 20000, '6': 2000000}, 'mode': 'shorten'}, {'months_paid': 5, 'total_interest': 1270, 'final_payment': 13430, 'payments': [16960]}], ['control 1', {'principal': 60000, 'rate_bp': 0, 'months': 36, 'prepay': {'21': 5000, '12': 200000, '35': 2000000}, 'mode': 'recast'}, {'months_paid': 12, 'total_interest': 0, 'final_payment': 41663, 'payments': [1667]}], ['control 2', {'principal': 60000, 'rate_bp': 600, 'months': 12, 'prepay': {'8': 200000, '7': 20000}, 'mode': 'recast'}, {'months_paid': 8, 'total_interest': 1612, 'final_payment': 5464, 'payments': [5164, 1104]}], ['control 3', {'principal': 60000, 'rate_bp': 1200, 'months': 36, 'prepay': {'31': 200000, '10': 20000, '20': 1000}, 'mode': 'recast'}, {'months_paid': 31, 'total_interest': 8690, 'final_payment': 6130, 'payments': [1993, 1115, 1048]}], ['control 4', {'principal': 60000, 'rate_bp': 0, 'months': 36, 'prepay': {'26': 20000, '10': 5000, '3': 2000000}, 'mode': 'shorten'}, {'months_paid': 3, 'total_interest': 0, 'final_payment': 56666, 'payments': [1667]}], ['control 5', {'principal': 250000, 'rate_bp': 0, 'months': 12, 'prepay': {'10': 1000, '6': 5000, '7': 5000}, 'mode': 'recast'}, {'months_paid': 12, 'total_interest': 0, 'final_payment': 18501, 'payments': [20833, 20000, 19000, 18501]}]], [['regression: recast mode gate', {'principal': 60000, 'rate_bp': 0, 'months': 36, 'prepay': {'11': 20000, '19': 20000, '2': 1000}, 'mode': 'shorten'}, {'months_paid': 19, 'total_interest': 0, 'final_payment': 8994, 'payments': [1667]}], ['control 1', {'principal': 250000, 'rate_bp': 0, 'months': 24, 'prepay': {'24': 200000}, 'mode': 'recast'}, {'months_paid': 24, 'total_interest': 0, 'final_payment': 10409, 'payments': [10417]}], ['control 2', {'principal': 250000, 'rate_bp': 0, 'months': 6, 'prepay': {}, 'mode': 'recast'}, {'months_paid': 6, 'total_interest': 0, 'final_payment': 41665, 'payments': [41667]}], ['control 3', {'principal': 100000, 'rate_bp': 1200, 'months': 24, 'prepay': {'10': 5000}, 'mode': 'recast'}, {'months_paid': 24, 'total_interest': 12595, 'final_payment': 4326, 'payments': [4707, 4323]}], ['control 4', {'principal': 60000, 'rate_bp': 0, 'months': 12, 'prepay': {}, 'mode': 'recast'}, {'months_paid': 12, 'total_interest': 0, 'final_payment': 5000, 'payments': [5000]}], ['control 5', {'principal': 100000, 'rate_bp': 0, 'months': 24, 'prepay': {}, 'mode': 'recast'}, {'months_paid': 24, 'total_interest': 0, 'final_payment': 4159, 'payments': [4167]}], ['control 6', {'principal': 100000, 'rate_bp': 1200, 'months': 24, 'prepay': {}, 'mode': 'shorten'}, {'months_paid': 24, 'total_interest': 12979, 'final_payment': 4718, 'payments': [4707]}]], [['regression: recast mode gate', {'principal': 100000, 'rate_bp': 1200, 'months': 24, 'prepay': {'12': 5000, '20': 20000, '4': 1000}, 'mode': 'shorten'}, {'months_paid': 20, 'total_interest': 11928, 'final_payment': 16495, 'payments': [4707]}], ['control 1', {'principal': 100000, 'rate_bp': 600, 'months': 12, 'prepay': {'10': 1000}, 'mode': 'recast'}, {'months_paid': 12, 'total_interest': 3272, 'final_payment': 8101, 'payments': [8607, 8101]}], ['control 2', {'principal': 100000, 'rate_bp': 600, 'months': 6, 'prepay': {'5': 1000, '3': 20000}, 'mode': 'recast'}, {'months_paid': 6, 'total_interest': 1552, 'final_payment': 9220, 'payments': [16960, 10226, 9220]}], ['control 3', {'principal': 60000, 'rate_bp': 0, 'months': 36, 'prepay': {'23': 1000, '10': 1000, '33': 200000}, 'mode': 'recast'}, {'months_paid': 33, 'total_interest': 0, 'final_payment': 6207, 'payments': [1667, 1628, 1551]}], ['control 4', {'principal': 60000, 'rate_bp': 600, 'months': 24, 'prepay': {'15': 20000, '5': 1000}, 'mode': 'recast'}, {'months_paid': 24, 'total_interest': 3267, 'final_payment': 324, 'payments': [2659, 2604, 326]}], ['control 5', {'principal': 60000, 'rate_bp': 0, 'months': 6, 'prepay': {'5': 2000000, '1': 200000, '3': 20000}, 'mode': 'recast'}, {'months_paid': 1, 'total_interest': 0, 'final_payment': 60000, 'payments': [10000]}], ['control 6', {'principal': 60000, 'rate_bp': 1200, 'months': 12, 'prepay': {'4': 200000}, 'mode': 'recast'}, {'months_paid': 4, 'total_interest': 2115, 'final_payment': 46122, 'payments': [5331]}]], [['regression: recast mode gate', {'principal': 250000, 'rate_bp': 0, 'months': 12, 'prepay': {'7': 200000, '3': 5000}, 'mode': 'shorten'}, {'months_paid': 7, 'total_interest': 0, 'final_payment': 120002, 'payments': [20833]}], ['regression: recast mode gate, partial-repair probe', {'principal': 60000, 'rate_bp': 0, 'months': 24, 'prepay': {'9': 5000, '24': 5000}, 'mode': 'shorten'}, {'months_paid': 22, 'total_interest': 0, 'final_payment': 2500, 'payments': [2500]}], ['control 1', {'principal': 100000, 'rate_bp': 600, 'months': 36, 'prepay': {}, 'mode': 'shorten'}, {'months_paid': 36, 'total_interest': 9520, 'final_payment': 3050, 'payments': [3042]}], ['control 2', {'principal': 60000, 'rate_bp': 0, 'months': 24, 'prepay': {}, 'mode': 'recast'}, {'months_paid': 24, 'total_interest': 0, 'final_payment': 2500, 'payments': [2500]}], ['control 3', {'principal': 60000, 'rate_bp': 600, 'months': 36, 'prepay': {'24': 2000000, '33': 1000, '12': 2000000}, 'mode': 'shorten'}, {'months_paid': 12, 'total_interest': 3088, 'final_payment': 43013, 'payments': [1825]}], ['control 4', {'principal': 100000, 'rate_bp': 1200, 'months': 24, 'prepay': {'20': 5000, '18': 2000000, '15': 1000}, 'mode': 'recast'}, {'months_paid': 18, 'total_interest': 11987, 'final_payment': 31200, 'payments': [4707, 4591]}], ['control 5', {'principal': 250000, 'rate_bp': 1200, 'months': 12, 'prepay': {'1': 200000}, 'mode': 'recast'}, {'months_paid': 12, 'total_interest': 4349, 'final_payment': 2927, 'payments': [22212, 2921]}]], [['regression: recast mode gate', {'principal': 60000, 'rate_bp': 0, 'months': 6, 'prepay': {'4': 1000}, 'mode': 'shorten'}, {'months_paid': 6, 'total_interest': 0, 'final_payment': 9000, 'payments': [10000]}], ['regression: recast mode gate, partial-repair probe', {'principal': 60000, 'rate_bp': 0, 'months': 12, 'prepay': {'10': 5000}, 'mode': 'shorten'}, {'months_paid': 11, 'total_interest': 0, 'final_payment': 5000, 'payments': [5000]}], ['control 1', {'principal': 250000, 'rate_bp': 600, 'months': 12, 'prepay': {'8': 200000}, 'mode': 'shorten'}, {'months_paid': 8, 'total_interest': 7134, 'final_payment': 106515, 'payments': [21517]}], ['control 2', {'principal': 250000, 'rate_bp': 1200, 'months': 24, 'prepay': {}, 'mode': 'shorten'}, {'months_paid': 24, 'total_interest': 32442, 'final_payment': 11778, 'payments': [11768]}], ['control 3', {'principal': 100000, 'rate_bp': 0, 'months': 6, 'prepay': {'3': 1000}, 'mode': 'recast'}, {'months_paid': 6, 'total_interest': 0, 'final_payment': 16333, 'payments': [16667, 16333]}], ['control 4', {'principal': 100000, 'rate_bp': 600, 'months': 36, 'prepay': {'34': 2000000, '15': 200000}, 'mode': 'recast'}, {'months_paid': 15, 'total_interest': 6138, 'final_payment': 63550, 'payments': [3042]}], ['control 5', {'principal': 250000, 'rate_bp': 1200, 'months': 12, 'prepay': {'6': 2000000, '10': 20000}, 'mode': 'recast'}, {'months_paid': 6, 'total_interest': 12005, 'final_payment': 150945, 'payments': [22212]}]]]
for label, args, expected in fixtures[N-1]:
try:
actual = solve(args)
except Exception as exc:
actual = 'raised ' + type(exc).__name__
check(label, actual, expected)
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)
| Boundary fixture | Actual | Expected | Outcome |
|---|---|---|---|
| regression: recast mode gate | {'final_payment': 31177, 'months_paid': 6, 'payments': [5331], 'total_interest': 2832} | {'final_payment': 31177, 'months_paid': 6, 'payments': [5331], 'total_interest': 2832} | Passed |
| regression: recast mode gate, partial-repair probe | {'final_payment': 13430, 'months_paid': 5, 'payments': [16960], 'total_interest': 1270} | {'final_payment': 13430, 'months_paid': 5, 'payments': [16960], 'total_interest': 1270} | Passed |
| control 1 | {'final_payment': 41663, 'months_paid': 12, 'payments': [1667], 'total_interest': 0} | {'final_payment': 41663, 'months_paid': 12, 'payments': [1667], 'total_interest': 0} | Passed |
| control 2 | {'final_payment': 5464, 'months_paid': 8, 'payments': [5164, 1104], 'total_interest': 1612} | {'final_payment': 5464, 'months_paid': 8, 'payments': [5164, 1104], 'total_interest': 1612} | Passed |
| control 3 | {'final_payment': 6130, 'months_paid': 31, 'payments': [1993, 1115, 1048], 'total_interest': 8690} | {'final_payment': 6130, 'months_paid': 31, 'payments': [1993, 1115, 1048], 'total_interest': 8690} | Passed |
| control 4 | {'final_payment': 56666, 'months_paid': 3, 'payments': [1667], 'total_interest': 0} | {'final_payment': 56666, 'months_paid': 3, 'payments': [1667], 'total_interest': 0} | Passed |
| control 5 | {'final_payment': 18501, 'months_paid': 12, 'payments': [20833, 20000, 19000, 18501], 'total_interest': 0} | {'final_payment': 18501, 'months_paid': 12, 'payments': [20833, 20000, 19000, 18501], 'total_interest': 0} | Passed |
SHA-256 / e6b51395f677af113e221f9383dcb5d8f4ef326e6188e6ee8583bf380a2906d2
Verification & scope
A deterministic bounded teaching model with stipulated toy lending rules stated in the contract; money is integer cents and rates are basis points; it makes no claim of conformance to any regulation, servicing standard or product. This reproducer isolates one failure mechanism. Results cover the supplied fixtures. Variants within a family share a test contract and should remain grouped when constructing evaluation splits. Related mechanisms with a shared evaluation_group must also remain together; these controlled models are not independent production incidents.
Observations recorded using Python 3.12.14 at 2026-09-29T14:46:26.478898+00:00.
Case digest / 88a956573ca8d9e74e33af1bd3924e9cfcc1981917d1fce9c85119f2aa0a9199