FA-58756 / Loan amortization schedules / Open access

Mortgage insurance termination: request threshold · case 01

Borrowers at exactly 80 percent cannot request cancellation.

Verified by executionVariant 1 · 7 checks per implementationDownload source bundle ↓JSON ↗

ROOT CAUSE

The request test is strict.

VERIFIED REPAIR

Allow requests at or below 80 percent.

Unsuccessful approach: Using the scheduled balance ignores the borrower prepayments that qualify them early.

Case contract

x = {'principal', 'rate_bp', 'months' n, 'orig_value', 'prepay': {'k': extra}}. Level payment is the exact annuity half-up; interest round_half_up(balance*bp/120000). The scheduled balance ignores prepayments; the actual balance applies each extra after payment k (capped at the balance). The request month is the first k with actual*100 <= 80*orig_value; the automatic month is the first k with scheduled*100 <= 78*orig_value, but never later than the midpoint month n//2 + 1. Return {'request', 'automatic'}.

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']
    P = x['principal']
    n = x['months']
    pay = level(P, n)
    sched = actual = P
    auto = request = None
    for k in range(1, n + 1):
        sched -= pay - rnd(sched * bp, 120000)
        if actual > 0:
            actual -= pay - rnd(actual * bp, 120000)
            actual -= min(x['prepay'].get(str(k), 0), max(actual, 0))
        if request is None and actual * 100 < 80 * x['orig_value']:
            request = k
        if auto is None and sched * 100 <= 78 * x['orig_value']:
            auto = k
    mid = n // 2 + 1
    auto = mid if auto is None else min(auto, mid)
    return {'request': request, 'automatic': auto}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[['regression: actual balance exactly 80 percent', {'principal': 200000, 'rate_bp': 0, 'months': 20, 'orig_value': 225000, 'prepay': {}}, {'request': 2, 'automatic': 3}], ['regression: request threshold', {'principal': 180000, 'rate_bp': 0, 'months': 360, 'orig_value': 205000, 'prepay': {'1': 5000, '4': 5000}}, {'request': 12, 'automatic': 41}], ['control 1', {'principal': 180000, 'rate_bp': 1200, 'months': 360, 'orig_value': 250000, 'prepay': {'21': 5000}}, {'request': 1, 'automatic': 1}], ['control 2', {'principal': 200000, 'rate_bp': 1200, 'months': 120, 'orig_value': 220000, 'prepay': {'11': 5000, '18': 40000}}, {'request': 18, 'automatic': 29}], ['control 3', {'principal': 190000, 'rate_bp': 1500, 'months': 24, 'orig_value': 200000, 'prepay': {'6': 20000, '5': 5000}}, {'request': 5, 'automatic': 5}], ['control 4', {'principal': 200000, 'rate_bp': 1200, 'months': 24, 'orig_value': 220000, 'prepay': {}}, {'request': 4, 'automatic': 4}], ['control 5', {'principal': 215000, 'rate_bp': 0, 'months': 120, 'orig_value': 220000, 'prepay': {}}, {'request': 22, 'automatic': 25}]], [['regression: actual balance exactly 80 percent', {'principal': 200000, 'rate_bp': 0, 'months': 20, 'orig_value': 225000, 'prepay': {}}, {'request': 2, 'automatic': 3}], ['regression: request threshold', {'principal': 180000, 'rate_bp': 0, 'months': 360, 'orig_value': 220000, 'prepay': {}}, {'request': 8, 'automatic': 17}], ['regression: request threshold, partial-repair probe', {'principal': 200000, 'rate_bp': 1500, 'months': 360, 'orig_value': 205000, 'prepay': {'24': 5000, '2': 20000}}, {'request': 33, 'automatic': 181}], ['control 1', {'principal': 200000, 'rate_bp': 0, 'months': 24, 'orig_value': 205000, 'prepay': {'5': 20000}}, {'request': 5, 'automatic': 5}], ['control 2', {'principal': 160000, 'rate_bp': 1200, 'months': 48, 'orig_value': 205000, 'prepay': {'7': 40000}}, {'request': 1, 'automatic': 1}], ['control 3', {'principal': 215000, 'rate_bp': 600, 'months': 24, 'orig_value': 200000, 'prepay': {'21': 20000}}, {'request': 7, 'automatic': 7}], ['control 4', {'principal': 190000, 'rate_bp': 0, 'months': 360, 'orig_value': 220000, 'prepay': {'12': 5000}}, {'request': 18, 'automatic': 35}]], [['regression: actual balance exactly 80 percent', {'principal': 200000, 'rate_bp': 0, 'months': 20, 'orig_value': 225000, 'prepay': {}}, {'request': 2, 'automatic': 3}], ['regression: request threshold', {'principal': 180000, 'rate_bp': 0, 'months': 360, 'orig_value': 200000, 'prepay': {}}, {'request': 40, 'automatic': 48}], ['regression: request threshold, partial-repair probe', {'principal': 215000, 'rate_bp': 1200, 'months': 24, 'orig_value': 205000, 'prepay': {'2': 5000}}, {'request': 6, 'automatic': 7}], ['control 1', {'principal': 180000, 'rate_bp': 1200, 'months': 60, 'orig_value': 220000, 'prepay': {}}, {'request': 2, 'automatic': 4}], ['control 2', {'principal': 200000, 'rate_bp': 0, 'months': 48, 'orig_value': 220000, 'prepay': {}}, {'request': 6, 'automatic': 7}], ['control 3', {'principal': 160000, 'rate_bp': 1200, 'months': 360, 'orig_value': 250000, 'prepay': {'5': 40000}}, {'request': 1, 'automatic': 1}], ['control 4', {'principal': 215000, 'rate_bp': 600, 'months': 36, 'orig_value': 250000, 'prepay': {}}, {'request': 3, 'automatic': 4}]], [['regression: actual balance exactly 80 percent', {'principal': 200000, 'rate_bp': 0, 'months': 20, 'orig_value': 225000, 'prepay': {}}, {'request': 2, 'automatic': 3}], ['regression: request threshold, partial-repair probe', {'principal': 199000, 'rate_bp': 1500, 'months': 120, 'orig_value': 200000, 'prepay': {'22': 20000}}, {'request': 23, 'automatic': 45}], ['control 1', {'principal': 200000, 'rate_bp': 0, 'months': 120, 'orig_value': 250000, 'prepay': {}}, {'request': 1, 'automatic': 3}], ['control 2', {'principal': 190000, 'rate_bp': 1500, 'months': 36, 'orig_value': 250000, 'prepay': {}}, {'request': 1, 'automatic': 1}], ['control 3', {'principal': 200000, 'rate_bp': 600, 'months': 360, 'orig_value': 205000, 'prepay': {'17': 20000}}, {'request': 54, 'automatic': 140}], ['control 4', {'principal': 199000, 'rate_bp': 1200, 'months': 48, 'orig_value': 200000, 'prepay': {'1': 5000}}, {'request': 10, 'automatic': 13}], ['control 5', {'principal': 180000, 'rate_bp': 1500, 'months': 24, 'orig_value': 220000, 'prepay': {}}, {'request': 1, 'automatic': 2}]], [['regression: actual balance exactly 80 percent', {'principal': 200000, 'rate_bp': 0, 'months': 20, 'orig_value': 225000, 'prepay': {}}, {'request': 2, 'automatic': 3}], ['regression: request threshold', {'principal': 180000, 'rate_bp': 0, 'months': 360, 'orig_value': 220000, 'prepay': {'11': 20000}}, {'request': 8, 'automatic': 17}], ['regression: request threshold, partial-repair probe', {'principal': 199000, 'rate_bp': 600, 'months': 360, 'orig_value': 200000, 'prepay': {'22': 5000}}, {'request': 116, 'automatic': 148}], ['control 1', {'principal': 199000, 'rate_bp': 1500, 'months': 360, 'orig_value': 220000, 'prepay': {}}, {'request': 194, 'automatic': 181}], ['control 2', {'principal': 190000, 'rate_bp': 1500, 'months': 24, 'orig_value': 220000, 'prepay': {'6': 20000}}, {'request': 3, 'automatic': 3}], ['control 3', {'principal': 200000, 'rate_bp': 0, 'months': 36, 'orig_value': 250000, 'prepay': {}}, {'request': 1, 'automatic': 1}], ['control 4', {'principal': 190000, 'rate_bp': 600, 'months': 24, 'orig_value': 200000, 'prepay': {'9': 40000}}, {'request': 4, 'automatic': 5}]]]
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: actual balance exactly 80 percent	`{'automatic': 3, 'request': 3}`	`{'automatic': 3, 'request': 2}`	Failed
regression: request threshold	`{'automatic': 41, 'request': 13}`	`{'automatic': 41, 'request': 12}`	Failed
control 1	`{'automatic': 1, 'request': 1}`	`{'automatic': 1, 'request': 1}`	Passed
control 2	`{'automatic': 29, 'request': 18}`	`{'automatic': 29, 'request': 18}`	Passed
control 3	`{'automatic': 5, 'request': 5}`	`{'automatic': 5, 'request': 5}`	Passed
control 4	`{'automatic': 4, 'request': 4}`	`{'automatic': 4, 'request': 4}`	Passed
control 5	`{'automatic': 25, 'request': 22}`	`{'automatic': 25, 'request': 22}`	Passed

SHA-256 / 96b8e08ba603f70d2adf214df6243b7924106f7a5508f7aa5ffb3519410d0a4c

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']
    P = x['principal']
    n = x['months']
    pay = level(P, n)
    sched = actual = P
    auto = request = None
    for k in range(1, n + 1):
        sched -= pay - rnd(sched * bp, 120000)
        if actual > 0:
            actual -= pay - rnd(actual * bp, 120000)
            actual -= min(x['prepay'].get(str(k), 0), max(actual, 0))
        if request is None and sched * 100 <= 80 * x['orig_value']:
            request = k
        if auto is None and sched * 100 <= 78 * x['orig_value']:
            auto = k
    mid = n // 2 + 1
    auto = mid if auto is None else min(auto, mid)
    return {'request': request, 'automatic': auto}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[['regression: actual balance exactly 80 percent', {'principal': 200000, 'rate_bp': 0, 'months': 20, 'orig_value': 225000, 'prepay': {}}, {'request': 2, 'automatic': 3}], ['regression: request threshold', {'principal': 180000, 'rate_bp': 0, 'months': 360, 'orig_value': 205000, 'prepay': {'1': 5000, '4': 5000}}, {'request': 12, 'automatic': 41}], ['control 1', {'principal': 180000, 'rate_bp': 1200, 'months': 360, 'orig_value': 250000, 'prepay': {'21': 5000}}, {'request': 1, 'automatic': 1}], ['control 2', {'principal': 200000, 'rate_bp': 1200, 'months': 120, 'orig_value': 220000, 'prepay': {'11': 5000, '18': 40000}}, {'request': 18, 'automatic': 29}], ['control 3', {'principal': 190000, 'rate_bp': 1500, 'months': 24, 'orig_value': 200000, 'prepay': {'6': 20000, '5': 5000}}, {'request': 5, 'automatic': 5}], ['control 4', {'principal': 200000, 'rate_bp': 1200, 'months': 24, 'orig_value': 220000, 'prepay': {}}, {'request': 4, 'automatic': 4}], ['control 5', {'principal': 215000, 'rate_bp': 0, 'months': 120, 'orig_value': 220000, 'prepay': {}}, {'request': 22, 'automatic': 25}]], [['regression: actual balance exactly 80 percent', {'principal': 200000, 'rate_bp': 0, 'months': 20, 'orig_value': 225000, 'prepay': {}}, {'request': 2, 'automatic': 3}], ['regression: request threshold', {'principal': 180000, 'rate_bp': 0, 'months': 360, 'orig_value': 220000, 'prepay': {}}, {'request': 8, 'automatic': 17}], ['regression: request threshold, partial-repair probe', {'principal': 200000, 'rate_bp': 1500, 'months': 360, 'orig_value': 205000, 'prepay': {'24': 5000, '2': 20000}}, {'request': 33, 'automatic': 181}], ['control 1', {'principal': 200000, 'rate_bp': 0, 'months': 24, 'orig_value': 205000, 'prepay': {'5': 20000}}, {'request': 5, 'automatic': 5}], ['control 2', {'principal': 160000, 'rate_bp': 1200, 'months': 48, 'orig_value': 205000, 'prepay': {'7': 40000}}, {'request': 1, 'automatic': 1}], ['control 3', {'principal': 215000, 'rate_bp': 600, 'months': 24, 'orig_value': 200000, 'prepay': {'21': 20000}}, {'request': 7, 'automatic': 7}], ['control 4', {'principal': 190000, 'rate_bp': 0, 'months': 360, 'orig_value': 220000, 'prepay': {'12': 5000}}, {'request': 18, 'automatic': 35}]], [['regression: actual balance exactly 80 percent', {'principal': 200000, 'rate_bp': 0, 'months': 20, 'orig_value': 225000, 'prepay': {}}, {'request': 2, 'automatic': 3}], ['regression: request threshold', {'principal': 180000, 'rate_bp': 0, 'months': 360, 'orig_value': 200000, 'prepay': {}}, {'request': 40, 'automatic': 48}], ['regression: request threshold, partial-repair probe', {'principal': 215000, 'rate_bp': 1200, 'months': 24, 'orig_value': 205000, 'prepay': {'2': 5000}}, {'request': 6, 'automatic': 7}], ['control 1', {'principal': 180000, 'rate_bp': 1200, 'months': 60, 'orig_value': 220000, 'prepay': {}}, {'request': 2, 'automatic': 4}], ['control 2', {'principal': 200000, 'rate_bp': 0, 'months': 48, 'orig_value': 220000, 'prepay': {}}, {'request': 6, 'automatic': 7}], ['control 3', {'principal': 160000, 'rate_bp': 1200, 'months': 360, 'orig_value': 250000, 'prepay': {'5': 40000}}, {'request': 1, 'automatic': 1}], ['control 4', {'principal': 215000, 'rate_bp': 600, 'months': 36, 'orig_value': 250000, 'prepay': {}}, {'request': 3, 'automatic': 4}]], [['regression: actual balance exactly 80 percent', {'principal': 200000, 'rate_bp': 0, 'months': 20, 'orig_value': 225000, 'prepay': {}}, {'request': 2, 'automatic': 3}], ['regression: request threshold, partial-repair probe', {'principal': 199000, 'rate_bp': 1500, 'months': 120, 'orig_value': 200000, 'prepay': {'22': 20000}}, {'request': 23, 'automatic': 45}], ['control 1', {'principal': 200000, 'rate_bp': 0, 'months': 120, 'orig_value': 250000, 'prepay': {}}, {'request': 1, 'automatic': 3}], ['control 2', {'principal': 190000, 'rate_bp': 1500, 'months': 36, 'orig_value': 250000, 'prepay': {}}, {'request': 1, 'automatic': 1}], ['control 3', {'principal': 200000, 'rate_bp': 600, 'months': 360, 'orig_value': 205000, 'prepay': {'17': 20000}}, {'request': 54, 'automatic': 140}], ['control 4', {'principal': 199000, 'rate_bp': 1200, 'months': 48, 'orig_value': 200000, 'prepay': {'1': 5000}}, {'request': 10, 'automatic': 13}], ['control 5', {'principal': 180000, 'rate_bp': 1500, 'months': 24, 'orig_value': 220000, 'prepay': {}}, {'request': 1, 'automatic': 2}]], [['regression: actual balance exactly 80 percent', {'principal': 200000, 'rate_bp': 0, 'months': 20, 'orig_value': 225000, 'prepay': {}}, {'request': 2, 'automatic': 3}], ['regression: request threshold', {'principal': 180000, 'rate_bp': 0, 'months': 360, 'orig_value': 220000, 'prepay': {'11': 20000}}, {'request': 8, 'automatic': 17}], ['regression: request threshold, partial-repair probe', {'principal': 199000, 'rate_bp': 600, 'months': 360, 'orig_value': 200000, 'prepay': {'22': 5000}}, {'request': 116, 'automatic': 148}], ['control 1', {'principal': 199000, 'rate_bp': 1500, 'months': 360, 'orig_value': 220000, 'prepay': {}}, {'request': 194, 'automatic': 181}], ['control 2', {'principal': 190000, 'rate_bp': 1500, 'months': 24, 'orig_value': 220000, 'prepay': {'6': 20000}}, {'request': 3, 'automatic': 3}], ['control 3', {'principal': 200000, 'rate_bp': 0, 'months': 36, 'orig_value': 250000, 'prepay': {}}, {'request': 1, 'automatic': 1}], ['control 4', {'principal': 190000, 'rate_bp': 600, 'months': 24, 'orig_value': 200000, 'prepay': {'9': 40000}}, {'request': 4, 'automatic': 5}]]]
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: actual balance exactly 80 percent	`{'automatic': 3, 'request': 2}`	`{'automatic': 3, 'request': 2}`	Passed
regression: request threshold	`{'automatic': 41, 'request': 32}`	`{'automatic': 41, 'request': 12}`	Failed
control 1	`{'automatic': 1, 'request': 1}`	`{'automatic': 1, 'request': 1}`	Passed
control 2	`{'automatic': 29, 'request': 25}`	`{'automatic': 29, 'request': 18}`	Failed
control 3	`{'automatic': 5, 'request': 5}`	`{'automatic': 5, 'request': 5}`	Passed
control 4	`{'automatic': 4, 'request': 4}`	`{'automatic': 4, 'request': 4}`	Passed
control 5	`{'automatic': 25, 'request': 22}`	`{'automatic': 25, 'request': 22}`	Passed

SHA-256 / ed06eff436818d0ab65f6f1a57ad519900d0bb7a79f7b5e760d0067823438127

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']
    P = x['principal']
    n = x['months']
    pay = level(P, n)
    sched = actual = P
    auto = request = None
    for k in range(1, n + 1):
        sched -= pay - rnd(sched * bp, 120000)
        if actual > 0:
            actual -= pay - rnd(actual * bp, 120000)
            actual -= min(x['prepay'].get(str(k), 0), max(actual, 0))
        if request is None and actual * 100 <= 80 * x['orig_value']:
            request = k
        if auto is None and sched * 100 <= 78 * x['orig_value']:
            auto = k
    mid = n // 2 + 1
    auto = mid if auto is None else min(auto, mid)
    return {'request': request, 'automatic': auto}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[['regression: actual balance exactly 80 percent', {'principal': 200000, 'rate_bp': 0, 'months': 20, 'orig_value': 225000, 'prepay': {}}, {'request': 2, 'automatic': 3}], ['regression: request threshold', {'principal': 180000, 'rate_bp': 0, 'months': 360, 'orig_value': 205000, 'prepay': {'1': 5000, '4': 5000}}, {'request': 12, 'automatic': 41}], ['control 1', {'principal': 180000, 'rate_bp': 1200, 'months': 360, 'orig_value': 250000, 'prepay': {'21': 5000}}, {'request': 1, 'automatic': 1}], ['control 2', {'principal': 200000, 'rate_bp': 1200, 'months': 120, 'orig_value': 220000, 'prepay': {'11': 5000, '18': 40000}}, {'request': 18, 'automatic': 29}], ['control 3', {'principal': 190000, 'rate_bp': 1500, 'months': 24, 'orig_value': 200000, 'prepay': {'6': 20000, '5': 5000}}, {'request': 5, 'automatic': 5}], ['control 4', {'principal': 200000, 'rate_bp': 1200, 'months': 24, 'orig_value': 220000, 'prepay': {}}, {'request': 4, 'automatic': 4}], ['control 5', {'principal': 215000, 'rate_bp': 0, 'months': 120, 'orig_value': 220000, 'prepay': {}}, {'request': 22, 'automatic': 25}]], [['regression: actual balance exactly 80 percent', {'principal': 200000, 'rate_bp': 0, 'months': 20, 'orig_value': 225000, 'prepay': {}}, {'request': 2, 'automatic': 3}], ['regression: request threshold', {'principal': 180000, 'rate_bp': 0, 'months': 360, 'orig_value': 220000, 'prepay': {}}, {'request': 8, 'automatic': 17}], ['regression: request threshold, partial-repair probe', {'principal': 200000, 'rate_bp': 1500, 'months': 360, 'orig_value': 205000, 'prepay': {'24': 5000, '2': 20000}}, {'request': 33, 'automatic': 181}], ['control 1', {'principal': 200000, 'rate_bp': 0, 'months': 24, 'orig_value': 205000, 'prepay': {'5': 20000}}, {'request': 5, 'automatic': 5}], ['control 2', {'principal': 160000, 'rate_bp': 1200, 'months': 48, 'orig_value': 205000, 'prepay': {'7': 40000}}, {'request': 1, 'automatic': 1}], ['control 3', {'principal': 215000, 'rate_bp': 600, 'months': 24, 'orig_value': 200000, 'prepay': {'21': 20000}}, {'request': 7, 'automatic': 7}], ['control 4', {'principal': 190000, 'rate_bp': 0, 'months': 360, 'orig_value': 220000, 'prepay': {'12': 5000}}, {'request': 18, 'automatic': 35}]], [['regression: actual balance exactly 80 percent', {'principal': 200000, 'rate_bp': 0, 'months': 20, 'orig_value': 225000, 'prepay': {}}, {'request': 2, 'automatic': 3}], ['regression: request threshold', {'principal': 180000, 'rate_bp': 0, 'months': 360, 'orig_value': 200000, 'prepay': {}}, {'request': 40, 'automatic': 48}], ['regression: request threshold, partial-repair probe', {'principal': 215000, 'rate_bp': 1200, 'months': 24, 'orig_value': 205000, 'prepay': {'2': 5000}}, {'request': 6, 'automatic': 7}], ['control 1', {'principal': 180000, 'rate_bp': 1200, 'months': 60, 'orig_value': 220000, 'prepay': {}}, {'request': 2, 'automatic': 4}], ['control 2', {'principal': 200000, 'rate_bp': 0, 'months': 48, 'orig_value': 220000, 'prepay': {}}, {'request': 6, 'automatic': 7}], ['control 3', {'principal': 160000, 'rate_bp': 1200, 'months': 360, 'orig_value': 250000, 'prepay': {'5': 40000}}, {'request': 1, 'automatic': 1}], ['control 4', {'principal': 215000, 'rate_bp': 600, 'months': 36, 'orig_value': 250000, 'prepay': {}}, {'request': 3, 'automatic': 4}]], [['regression: actual balance exactly 80 percent', {'principal': 200000, 'rate_bp': 0, 'months': 20, 'orig_value': 225000, 'prepay': {}}, {'request': 2, 'automatic': 3}], ['regression: request threshold, partial-repair probe', {'principal': 199000, 'rate_bp': 1500, 'months': 120, 'orig_value': 200000, 'prepay': {'22': 20000}}, {'request': 23, 'automatic': 45}], ['control 1', {'principal': 200000, 'rate_bp': 0, 'months': 120, 'orig_value': 250000, 'prepay': {}}, {'request': 1, 'automatic': 3}], ['control 2', {'principal': 190000, 'rate_bp': 1500, 'months': 36, 'orig_value': 250000, 'prepay': {}}, {'request': 1, 'automatic': 1}], ['control 3', {'principal': 200000, 'rate_bp': 600, 'months': 360, 'orig_value': 205000, 'prepay': {'17': 20000}}, {'request': 54, 'automatic': 140}], ['control 4', {'principal': 199000, 'rate_bp': 1200, 'months': 48, 'orig_value': 200000, 'prepay': {'1': 5000}}, {'request': 10, 'automatic': 13}], ['control 5', {'principal': 180000, 'rate_bp': 1500, 'months': 24, 'orig_value': 220000, 'prepay': {}}, {'request': 1, 'automatic': 2}]], [['regression: actual balance exactly 80 percent', {'principal': 200000, 'rate_bp': 0, 'months': 20, 'orig_value': 225000, 'prepay': {}}, {'request': 2, 'automatic': 3}], ['regression: request threshold', {'principal': 180000, 'rate_bp': 0, 'months': 360, 'orig_value': 220000, 'prepay': {'11': 20000}}, {'request': 8, 'automatic': 17}], ['regression: request threshold, partial-repair probe', {'principal': 199000, 'rate_bp': 600, 'months': 360, 'orig_value': 200000, 'prepay': {'22': 5000}}, {'request': 116, 'automatic': 148}], ['control 1', {'principal': 199000, 'rate_bp': 1500, 'months': 360, 'orig_value': 220000, 'prepay': {}}, {'request': 194, 'automatic': 181}], ['control 2', {'principal': 190000, 'rate_bp': 1500, 'months': 24, 'orig_value': 220000, 'prepay': {'6': 20000}}, {'request': 3, 'automatic': 3}], ['control 3', {'principal': 200000, 'rate_bp': 0, 'months': 36, 'orig_value': 250000, 'prepay': {}}, {'request': 1, 'automatic': 1}], ['control 4', {'principal': 190000, 'rate_bp': 600, 'months': 24, 'orig_value': 200000, 'prepay': {'9': 40000}}, {'request': 4, 'automatic': 5}]]]
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: actual balance exactly 80 percent	`{'automatic': 3, 'request': 2}`	`{'automatic': 3, 'request': 2}`	Passed
regression: request threshold	`{'automatic': 41, 'request': 12}`	`{'automatic': 41, 'request': 12}`	Passed
control 1	`{'automatic': 1, 'request': 1}`	`{'automatic': 1, 'request': 1}`	Passed
control 2	`{'automatic': 29, 'request': 18}`	`{'automatic': 29, 'request': 18}`	Passed
control 3	`{'automatic': 5, 'request': 5}`	`{'automatic': 5, 'request': 5}`	Passed
control 4	`{'automatic': 4, 'request': 4}`	`{'automatic': 4, 'request': 4}`	Passed
control 5	`{'automatic': 25, 'request': 22}`	`{'automatic': 25, 'request': 22}`	Passed

SHA-256 / 280d9301997c937d0caecc8eb0e2f64dc893d62f5be3a49558ceeaf0a24460c4

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:29.721700+00:00.

Case digest / 0fced2ac1804e4b3eefffae19dd0e19db9dfe94151fa43b346aacd55d0a9f74a