"""Invented policy labels, route sets and cost units; not a research reproduction."""
all_cases=set(range(1,10001))
needs_block=set(range(1,51))
flagged=set(range(1,41))|set(range(51,211))
# For this arithmetic only, second stage is assumed perfect on the cases it sees.
blocked=flagged & needs_block
benign_escalated=flagged-needs_block
missed=needs_block-flagged
cost=len(all_cases)*1+len(flagged)*50
all_expensive=len(all_cases)*50
assert len(flagged)==200
assert len(blocked)==40
assert len(benign_escalated)==160
assert len(missed)==10
assert cost==20000
assert all_expensive==500000
print({'cases':10000,'flagged':200,'final_blocks':40,'benign_escalations':160,'missed_before_stage2':10,'cascade_cost':cost,'all_expensive_cost':all_expensive})
print('6/6 original arithmetic assertions passed. Labels and perfect second-stage assumption are invented, not model results.')