Withdrawal liability: withdrawal unit cap · case 01

"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(x):
    v0 = max(0,x["bid"]-x["resale"])
    v1 = 0 if x["excused"] else x["fee"]
    v2 = max(0,x["bid"]-x["resale"]) if x["awarded"] else 0
    v3 = 0 if x["notice"]<=x["cutoff"] else x["deposit"]
    v4 = max(0,x["bid"]-x["resale"]-x["deposit"])
    v5 = max(0,min(x["cap"],max(0,x["bid"]-x["resale"])+x["fee"])-x["already_paid"])
    v6 = x["bond"] if x["forfeit"] and not x["released"] else 0
    v7 = max(0,x["awarded_units"]-x["returned_units"])
    v8 = x["withdrawn_units"]
    v9 = [b for b in dict.fromkeys(b for op,b in x["events"]) if [op for op,c in x["events"] if c==b][-1]=="withdraw"]
    return {'resale-shortfall':v0,'excused-fee-waiver':v1,'award-liability-gate':v2,'notice-penalty':v3,'deposit-offset':v4,'paid-liability-credit':v5,'released-bond-exclusion':v6,'unreturned-award-units':v7,'withdrawal-unit-cap':v8,'reinstatement-after-withdrawal':v9}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [('all units returned', {'bid': 30, 'resale': 18, 'deposit': 8, 'fee': 3, 'excused': False, 'awarded': True, 'notice': 5, 'cutoff': 4, 'already_paid': 2, 'cap': 20, 'released': False, 'withdrawn_units': 2, 'awarded_units': 5, 'returned_units': 5, 'bond': 6, 'forfeit': True, 'withdrawals': ['a', 'b', 'a'], 'events': [['withdraw', 'a'], ['reinstate', 'a'], ['withdraw', 'b']]}, [0, 0, 0, 0, 0]), ('notice order retained / all units returned', {'bid': 30, 'resale': 18, 'deposit': 8, 'fee': 3, 'excused': False, 'awarded': True, 'notice': 5, 'cutoff': 4, 'already_paid': 2, 'cap': 20, 'released': False, 'withdrawn_units': 2, 'awarded_units': 5, 'returned_units': 5, 'bond': 6, 'forfeit': True, 'withdrawals': ['b', 'a', 'b'], 'events': [['withdraw', 'a'], ['reinstate', 'a'], ['withdraw', 'b']]}, [0, 0, 0, 0, 0]), ('normal contract', {'bid': 30, 'resale': 18, 'deposit': 8, 'fee': 3, 'excused': False, 'awarded': True, 'notice': 5, 'cutoff': 4, 'already_paid': 2, 'cap': 20, 'released': False, 'withdrawn_units': 2, 'awarded_units': 5, 'returned_units': 1, 'bond': 6, 'forfeit': True, 'withdrawals': ['a', 'b', 'a'], 'events': [['withdraw', 'a'], ['reinstate', 'a'], ['withdraw', 'b']]}, [2, 4, 6, 8, 10]), ('notice order retained', {'bid': 30, 'resale': 18, 'deposit': 8, 'fee': 3, 'excused': False, 'awarded': True, 'notice': 5, 'cutoff': 4, 'already_paid': 2, 'cap': 20, 'released': False, 'withdrawn_units': 2, 'awarded_units': 5, 'returned_units': 1, 'bond': 6, 'forfeit': True, 'withdrawals': ['b', 'a', 'b'], 'events': [['withdraw', 'a'], ['reinstate', 'a'], ['withdraw', 'b']]}, [2, 4, 6, 8, 10]), ('resale surplus', {'bid': 30, 'resale': 40, 'deposit': 8, 'fee': 3, 'excused': False, 'awarded': True, 'notice': 5, 'cutoff': 4, 'already_paid': 2, 'cap': 20, 'released': False, 'withdrawn_units': 2, 'awarded_units': 5, 'returned_units': 1, 'bond': 6, 'forfeit': True, 'withdrawals': ['a', 'b', 'a'], 'events': [['withdraw', 'a'], ['reinstate', 'a'], ['withdraw', 'b']]}, [2, 4, 6, 8, 10]), ('excused default', {'bid': 30, 'resale': 18, 'deposit': 8, 'fee': 3, 'excused': True, 'awarded': True, 'notice': 5, 'cutoff': 4, 'already_paid': 2, 'cap': 20, 'released': False, 'withdrawn_units': 2, 'awarded_units': 5, 'returned_units': 1, 'bond': 6, 'forfeit': True, 'withdrawals': ['a', 'b', 'a'], 'events': [['withdraw', 'a'], ['reinstate', 'a'], ['withdraw', 'b']]}, [2, 4, 6, 8, 10]), ('before award', {'bid': 30, 'resale': 18, 'deposit': 8, 'fee': 3, 'excused': False, 'awarded': False, 'notice': 5, 'cutoff': 4, 'already_paid': 2, 'cap': 20, 'released': False, 'withdrawn_units': 2, 'awarded_units': 5, 'returned_units': 1, 'bond': 6, 'forfeit': True, 'withdrawals': ['a', 'b', 'a'], 'events': [['withdraw', 'a'], ['reinstate', 'a'], ['withdraw', 'b']]}, [2, 4, 6, 8, 10]), ('timely notice', {'bid': 30, 'resale': 18, 'deposit': 8, 'fee': 3, 'excused': False, 'awarded': True, 'notice': 3, 'cutoff': 4, 'already_paid': 2, 'cap': 20, 'released': False, 'withdrawn_units': 2, 'awarded_units': 5, 'returned_units': 1, 'bond': 6, 'forfeit': True, 'withdrawals': ['a', 'b', 'a'], 'events': [['withdraw', 'a'], ['reinstate', 'a'], ['withdraw', 'b']]}, [2, 4, 6, 8, 10]), ('exact notice cutoff', {'bid': 30, 'resale': 18, 'deposit': 8, 'fee': 3, 'excused': False, 'awarded': True, 'notice': 4, 'cutoff': 4, 'already_paid': 2, 'cap': 20, 'released': False, 'withdrawn_units': 2, 'awarded_units': 5, 'returned_units': 1, 'bond': 6, 'forfeit': True, 'withdrawals': ['a', 'b', 'a'], 'events': [['withdraw', 'a'], ['reinstate', 'a'], ['withdraw', 'b']]}, [2, 4, 6, 8, 10]), ('liability already paid', {'bid': 30, 'resale': 18, 'deposit': 8, 'fee': 3, 'excused': False, 'awarded': True, 'notice': 5, 'cutoff': 4, 'already_paid': 40, 'cap': 20, 'released': False, 'withdrawn_units': 2, 'awarded_units': 5, 'returned_units': 1, 'bond': 6, 'forfeit': True, 'withdrawals': ['a', 'b', 'a'], 'events': [['withdraw', 'a'], ['reinstate', 'a'], ['withdraw', 'b']]}, [2, 4, 6, 8, 10]), ('bond released', {'bid': 30, 'resale': 18, 'deposit': 8, 'fee': 3, 'excused': False, 'awarded': True, 'notice': 5, 'cutoff': 4, 'already_paid': 2, 'cap': 20, 'released': True, 'withdrawn_units': 2, 'awarded_units': 5, 'returned_units': 1, 'bond': 6, 'forfeit': True, 'withdrawals': ['a', 'b', 'a'], 'events': [['withdraw', 'a'], ['reinstate', 'a'], ['withdraw', 'b']]}, [2, 4, 6, 8, 10])]
def vary(value):
 if type(value) is int: return value*N
 if isinstance(value,list): return [vary(v) for v in value]
 if isinstance(value,dict): return {k:(v if k in ['count', 'delivery_index', 'disputed', 'maximum_set', 'minimum_set', 'stage', 'threshold', 'waived'] else vary(v)) for k,v in value.items()}
 return value
for label, request, expected in fixtures:
 check(label, solve(vary(request))['withdrawal-unit-cap'], expected[N-1])
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)

SHA-256 / 6cd09b9a47eba00444d1a2e1170ec2d27917fe7a24a2c78398e0213098a6bba0

"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(x):
    v0 = max(0,x["bid"]-x["resale"])
    v1 = 0 if x["excused"] else x["fee"]
    v2 = max(0,x["bid"]-x["resale"]) if x["awarded"] else 0
    v3 = 0 if x["notice"]<=x["cutoff"] else x["deposit"]
    v4 = max(0,x["bid"]-x["resale"]-x["deposit"])
    v5 = max(0,min(x["cap"],max(0,x["bid"]-x["resale"])+x["fee"])-x["already_paid"])
    v6 = x["bond"] if x["forfeit"] and not x["released"] else 0
    v7 = max(0,x["awarded_units"]-x["returned_units"])
    v8 = min(x["withdrawn_units"],x["awarded_units"])
    v9 = [b for b in dict.fromkeys(b for op,b in x["events"]) if [op for op,c in x["events"] if c==b][-1]=="withdraw"]
    return {'resale-shortfall':v0,'excused-fee-waiver':v1,'award-liability-gate':v2,'notice-penalty':v3,'deposit-offset':v4,'paid-liability-credit':v5,'released-bond-exclusion':v6,'unreturned-award-units':v7,'withdrawal-unit-cap':v8,'reinstatement-after-withdrawal':v9}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [('all units returned', {'bid': 30, 'resale': 18, 'deposit': 8, 'fee': 3, 'excused': False, 'awarded': True, 'notice': 5, 'cutoff': 4, 'already_paid': 2, 'cap': 20, 'released': False, 'withdrawn_units': 2, 'awarded_units': 5, 'returned_units': 5, 'bond': 6, 'forfeit': True, 'withdrawals': ['a', 'b', 'a'], 'events': [['withdraw', 'a'], ['reinstate', 'a'], ['withdraw', 'b']]}, [0, 0, 0, 0, 0]), ('notice order retained / all units returned', {'bid': 30, 'resale': 18, 'deposit': 8, 'fee': 3, 'excused': False, 'awarded': True, 'notice': 5, 'cutoff': 4, 'already_paid': 2, 'cap': 20, 'released': False, 'withdrawn_units': 2, 'awarded_units': 5, 'returned_units': 5, 'bond': 6, 'forfeit': True, 'withdrawals': ['b', 'a', 'b'], 'events': [['withdraw', 'a'], ['reinstate', 'a'], ['withdraw', 'b']]}, [0, 0, 0, 0, 0]), ('normal contract', {'bid': 30, 'resale': 18, 'deposit': 8, 'fee': 3, 'excused': False, 'awarded': True, 'notice': 5, 'cutoff': 4, 'already_paid': 2, 'cap': 20, 'released': False, 'withdrawn_units': 2, 'awarded_units': 5, 'returned_units': 1, 'bond': 6, 'forfeit': True, 'withdrawals': ['a', 'b', 'a'], 'events': [['withdraw', 'a'], ['reinstate', 'a'], ['withdraw', 'b']]}, [2, 4, 6, 8, 10]), ('notice order retained', {'bid': 30, 'resale': 18, 'deposit': 8, 'fee': 3, 'excused': False, 'awarded': True, 'notice': 5, 'cutoff': 4, 'already_paid': 2, 'cap': 20, 'released': False, 'withdrawn_units': 2, 'awarded_units': 5, 'returned_units': 1, 'bond': 6, 'forfeit': True, 'withdrawals': ['b', 'a', 'b'], 'events': [['withdraw', 'a'], ['reinstate', 'a'], ['withdraw', 'b']]}, [2, 4, 6, 8, 10]), ('resale surplus', {'bid': 30, 'resale': 40, 'deposit': 8, 'fee': 3, 'excused': False, 'awarded': True, 'notice': 5, 'cutoff': 4, 'already_paid': 2, 'cap': 20, 'released': False, 'withdrawn_units': 2, 'awarded_units': 5, 'returned_units': 1, 'bond': 6, 'forfeit': True, 'withdrawals': ['a', 'b', 'a'], 'events': [['withdraw', 'a'], ['reinstate', 'a'], ['withdraw', 'b']]}, [2, 4, 6, 8, 10]), ('excused default', {'bid': 30, 'resale': 18, 'deposit': 8, 'fee': 3, 'excused': True, 'awarded': True, 'notice': 5, 'cutoff': 4, 'already_paid': 2, 'cap': 20, 'released': False, 'withdrawn_units': 2, 'awarded_units': 5, 'returned_units': 1, 'bond': 6, 'forfeit': True, 'withdrawals': ['a', 'b', 'a'], 'events': [['withdraw', 'a'], ['reinstate', 'a'], ['withdraw', 'b']]}, [2, 4, 6, 8, 10]), ('before award', {'bid': 30, 'resale': 18, 'deposit': 8, 'fee': 3, 'excused': False, 'awarded': False, 'notice': 5, 'cutoff': 4, 'already_paid': 2, 'cap': 20, 'released': False, 'withdrawn_units': 2, 'awarded_units': 5, 'returned_units': 1, 'bond': 6, 'forfeit': True, 'withdrawals': ['a', 'b', 'a'], 'events': [['withdraw', 'a'], ['reinstate', 'a'], ['withdraw', 'b']]}, [2, 4, 6, 8, 10]), ('timely notice', {'bid': 30, 'resale': 18, 'deposit': 8, 'fee': 3, 'excused': False, 'awarded': True, 'notice': 3, 'cutoff': 4, 'already_paid': 2, 'cap': 20, 'released': False, 'withdrawn_units': 2, 'awarded_units': 5, 'returned_units': 1, 'bond': 6, 'forfeit': True, 'withdrawals': ['a', 'b', 'a'], 'events': [['withdraw', 'a'], ['reinstate', 'a'], ['withdraw', 'b']]}, [2, 4, 6, 8, 10]), ('exact notice cutoff', {'bid': 30, 'resale': 18, 'deposit': 8, 'fee': 3, 'excused': False, 'awarded': True, 'notice': 4, 'cutoff': 4, 'already_paid': 2, 'cap': 20, 'released': False, 'withdrawn_units': 2, 'awarded_units': 5, 'returned_units': 1, 'bond': 6, 'forfeit': True, 'withdrawals': ['a', 'b', 'a'], 'events': [['withdraw', 'a'], ['reinstate', 'a'], ['withdraw', 'b']]}, [2, 4, 6, 8, 10]), ('liability already paid', {'bid': 30, 'resale': 18, 'deposit': 8, 'fee': 3, 'excused': False, 'awarded': True, 'notice': 5, 'cutoff': 4, 'already_paid': 40, 'cap': 20, 'released': False, 'withdrawn_units': 2, 'awarded_units': 5, 'returned_units': 1, 'bond': 6, 'forfeit': True, 'withdrawals': ['a', 'b', 'a'], 'events': [['withdraw', 'a'], ['reinstate', 'a'], ['withdraw', 'b']]}, [2, 4, 6, 8, 10]), ('bond released', {'bid': 30, 'resale': 18, 'deposit': 8, 'fee': 3, 'excused': False, 'awarded': True, 'notice': 5, 'cutoff': 4, 'already_paid': 2, 'cap': 20, 'released': True, 'withdrawn_units': 2, 'awarded_units': 5, 'returned_units': 1, 'bond': 6, 'forfeit': True, 'withdrawals': ['a', 'b', 'a'], 'events': [['withdraw', 'a'], ['reinstate', 'a'], ['withdraw', 'b']]}, [2, 4, 6, 8, 10])]
def vary(value):
 if type(value) is int: return value*N
 if isinstance(value,list): return [vary(v) for v in value]
 if isinstance(value,dict): return {k:(v if k in ['count', 'delivery_index', 'disputed', 'maximum_set', 'minimum_set', 'stage', 'threshold', 'waived'] else vary(v)) for k,v in value.items()}
 return value
for label, request, expected in fixtures:
 check(label, solve(vary(request))['withdrawal-unit-cap'], expected[N-1])
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)

SHA-256 / 9ebcb610dc5c18bb6bbae761beaec3aa5bb2dcac9f102a437447bc5e769552fe

"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(x):
    v0 = max(0,x["bid"]-x["resale"])
    v1 = 0 if x["excused"] else x["fee"]
    v2 = max(0,x["bid"]-x["resale"]) if x["awarded"] else 0
    v3 = 0 if x["notice"]<=x["cutoff"] else x["deposit"]
    v4 = max(0,x["bid"]-x["resale"]-x["deposit"])
    v5 = max(0,min(x["cap"],max(0,x["bid"]-x["resale"])+x["fee"])-x["already_paid"])
    v6 = x["bond"] if x["forfeit"] and not x["released"] else 0
    v7 = max(0,x["awarded_units"]-x["returned_units"])
    v8 = min(x["withdrawn_units"],max(0,x["awarded_units"]-x["returned_units"]))
    v9 = [b for b in dict.fromkeys(b for op,b in x["events"]) if [op for op,c in x["events"] if c==b][-1]=="withdraw"]
    return {'resale-shortfall':v0,'excused-fee-waiver':v1,'award-liability-gate':v2,'notice-penalty':v3,'deposit-offset':v4,'paid-liability-credit':v5,'released-bond-exclusion':v6,'unreturned-award-units':v7,'withdrawal-unit-cap':v8,'reinstatement-after-withdrawal':v9}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [('all units returned', {'bid': 30, 'resale': 18, 'deposit': 8, 'fee': 3, 'excused': False, 'awarded': True, 'notice': 5, 'cutoff': 4, 'already_paid': 2, 'cap': 20, 'released': False, 'withdrawn_units': 2, 'awarded_units': 5, 'returned_units': 5, 'bond': 6, 'forfeit': True, 'withdrawals': ['a', 'b', 'a'], 'events': [['withdraw', 'a'], ['reinstate', 'a'], ['withdraw', 'b']]}, [0, 0, 0, 0, 0]), ('notice order retained / all units returned', {'bid': 30, 'resale': 18, 'deposit': 8, 'fee': 3, 'excused': False, 'awarded': True, 'notice': 5, 'cutoff': 4, 'already_paid': 2, 'cap': 20, 'released': False, 'withdrawn_units': 2, 'awarded_units': 5, 'returned_units': 5, 'bond': 6, 'forfeit': True, 'withdrawals': ['b', 'a', 'b'], 'events': [['withdraw', 'a'], ['reinstate', 'a'], ['withdraw', 'b']]}, [0, 0, 0, 0, 0]), ('normal contract', {'bid': 30, 'resale': 18, 'deposit': 8, 'fee': 3, 'excused': False, 'awarded': True, 'notice': 5, 'cutoff': 4, 'already_paid': 2, 'cap': 20, 'released': False, 'withdrawn_units': 2, 'awarded_units': 5, 'returned_units': 1, 'bond': 6, 'forfeit': True, 'withdrawals': ['a', 'b', 'a'], 'events': [['withdraw', 'a'], ['reinstate', 'a'], ['withdraw', 'b']]}, [2, 4, 6, 8, 10]), ('notice order retained', {'bid': 30, 'resale': 18, 'deposit': 8, 'fee': 3, 'excused': False, 'awarded': True, 'notice': 5, 'cutoff': 4, 'already_paid': 2, 'cap': 20, 'released': False, 'withdrawn_units': 2, 'awarded_units': 5, 'returned_units': 1, 'bond': 6, 'forfeit': True, 'withdrawals': ['b', 'a', 'b'], 'events': [['withdraw', 'a'], ['reinstate', 'a'], ['withdraw', 'b']]}, [2, 4, 6, 8, 10]), ('resale surplus', {'bid': 30, 'resale': 40, 'deposit': 8, 'fee': 3, 'excused': False, 'awarded': True, 'notice': 5, 'cutoff': 4, 'already_paid': 2, 'cap': 20, 'released': False, 'withdrawn_units': 2, 'awarded_units': 5, 'returned_units': 1, 'bond': 6, 'forfeit': True, 'withdrawals': ['a', 'b', 'a'], 'events': [['withdraw', 'a'], ['reinstate', 'a'], ['withdraw', 'b']]}, [2, 4, 6, 8, 10]), ('excused default', {'bid': 30, 'resale': 18, 'deposit': 8, 'fee': 3, 'excused': True, 'awarded': True, 'notice': 5, 'cutoff': 4, 'already_paid': 2, 'cap': 20, 'released': False, 'withdrawn_units': 2, 'awarded_units': 5, 'returned_units': 1, 'bond': 6, 'forfeit': True, 'withdrawals': ['a', 'b', 'a'], 'events': [['withdraw', 'a'], ['reinstate', 'a'], ['withdraw', 'b']]}, [2, 4, 6, 8, 10]), ('before award', {'bid': 30, 'resale': 18, 'deposit': 8, 'fee': 3, 'excused': False, 'awarded': False, 'notice': 5, 'cutoff': 4, 'already_paid': 2, 'cap': 20, 'released': False, 'withdrawn_units': 2, 'awarded_units': 5, 'returned_units': 1, 'bond': 6, 'forfeit': True, 'withdrawals': ['a', 'b', 'a'], 'events': [['withdraw', 'a'], ['reinstate', 'a'], ['withdraw', 'b']]}, [2, 4, 6, 8, 10]), ('timely notice', {'bid': 30, 'resale': 18, 'deposit': 8, 'fee': 3, 'excused': False, 'awarded': True, 'notice': 3, 'cutoff': 4, 'already_paid': 2, 'cap': 20, 'released': False, 'withdrawn_units': 2, 'awarded_units': 5, 'returned_units': 1, 'bond': 6, 'forfeit': True, 'withdrawals': ['a', 'b', 'a'], 'events': [['withdraw', 'a'], ['reinstate', 'a'], ['withdraw', 'b']]}, [2, 4, 6, 8, 10]), ('exact notice cutoff', {'bid': 30, 'resale': 18, 'deposit': 8, 'fee': 3, 'excused': False, 'awarded': True, 'notice': 4, 'cutoff': 4, 'already_paid': 2, 'cap': 20, 'released': False, 'withdrawn_units': 2, 'awarded_units': 5, 'returned_units': 1, 'bond': 6, 'forfeit': True, 'withdrawals': ['a', 'b', 'a'], 'events': [['withdraw', 'a'], ['reinstate', 'a'], ['withdraw', 'b']]}, [2, 4, 6, 8, 10]), ('liability already paid', {'bid': 30, 'resale': 18, 'deposit': 8, 'fee': 3, 'excused': False, 'awarded': True, 'notice': 5, 'cutoff': 4, 'already_paid': 40, 'cap': 20, 'released': False, 'withdrawn_units': 2, 'awarded_units': 5, 'returned_units': 1, 'bond': 6, 'forfeit': True, 'withdrawals': ['a', 'b', 'a'], 'events': [['withdraw', 'a'], ['reinstate', 'a'], ['withdraw', 'b']]}, [2, 4, 6, 8, 10]), ('bond released', {'bid': 30, 'resale': 18, 'deposit': 8, 'fee': 3, 'excused': False, 'awarded': True, 'notice': 5, 'cutoff': 4, 'already_paid': 2, 'cap': 20, 'released': True, 'withdrawn_units': 2, 'awarded_units': 5, 'returned_units': 1, 'bond': 6, 'forfeit': True, 'withdrawals': ['a', 'b', 'a'], 'events': [['withdraw', 'a'], ['reinstate', 'a'], ['withdraw', 'b']]}, [2, 4, 6, 8, 10])]
def vary(value):
 if type(value) is int: return value*N
 if isinstance(value,list): return [vary(v) for v in value]
 if isinstance(value,dict): return {k:(v if k in ['count', 'delivery_index', 'disputed', 'maximum_set', 'minimum_set', 'stage', 'threshold', 'waived'] else vary(v)) for k,v in value.items()}
 return value
for label, request, expected in fixtures:
 check(label, solve(vary(request))['withdrawal-unit-cap'], expected[N-1])
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)

SHA-256 / bdb7e412b85e04614ca507edca1dc19e21831e61801d70211c288b993488e4d3