Bid disclosure: field projection · case 01

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

N = 1
observations = []
def solve(x):
    v0 = [r for r in x["records"] if r[0]==x["viewer"]]
    v1 = [r[2] for r in x["records"]] if x["closed"] else []
    v2 = len({r[0] for r in x["records"]})>=x["threshold"]
    v3 = [[x["aliases"].get(r[0],"anonymous"),r[1]] for r in x["records"]]
    v4 = x["aliases"] if x["auditor"] else {}
    v5 = [r[0] for r in x["records"] if r[0] in x["consenting"] and r[0] not in x["revoked"]]
    v6 = sum(r[1] for r in x["records"] if r[0] not in x["withdrawn"])
    v7 = [{"quantity":r[1],"value":r[2]} for r in x["records"]]
    v8 = x["winner"] if x["closed"] and not x["embargo"] else None
    v9 = x["records"] if x["appeal_open"] or x["auditor"] else []
    return {'self-view-scope':v0,'preclose-value-embargo':v1,'distinct-bidder-suppression':v2,'alias-result-view':v3,'auditor-linkage':v4,'consent-qualified-disclosure':v5,'withdrawn-demand-statistic':v6,'field-projection':v7,'embargo-final-result':v8,'appeal-audit-retention':v9}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [('normal contract', {'records': [['a', 2, 7], ['b', 3, 9], ['a', 1, 6]], 'viewer': 'a', 'closed': False, 'auditor': False, 'consenting': ['a'], 'threshold': 3, 'aliases': {'a': 'X', 'b': 'Y'}, 'withdrawn': ['b'], 'embargo': False, 'published_fields': ['quantity'], 'appeal_open': True, 'winner': 'b', 'revoked': ['a']}, [[{'quantity': 2}, {'quantity': 3}, {'quantity': 1}], [{'quantity': 4}, {'quantity': 6}, {'quantity': 2}], [{'quantity': 6}, {'quantity': 9}, {'quantity': 3}], [{'quantity': 8}, {'quantity': 12}, {'quantity': 4}], [{'quantity': 10}, {'quantity': 15}, {'quantity': 5}]]), ('closed', {'records': [['a', 2, 7], ['b', 3, 9], ['a', 1, 6]], 'viewer': 'a', 'closed': True, 'auditor': False, 'consenting': ['a'], 'threshold': 3, 'aliases': {'a': 'X', 'b': 'Y'}, 'withdrawn': ['b'], 'embargo': False, 'published_fields': ['quantity'], 'appeal_open': True, 'winner': 'b', 'revoked': ['a']}, [[{'quantity': 2}, {'quantity': 3}, {'quantity': 1}], [{'quantity': 4}, {'quantity': 6}, {'quantity': 2}], [{'quantity': 6}, {'quantity': 9}, {'quantity': 3}], [{'quantity': 8}, {'quantity': 12}, {'quantity': 4}], [{'quantity': 10}, {'quantity': 15}, {'quantity': 5}]]), ('values allowed', {'records': [['a', 2, 7], ['b', 3, 9], ['a', 1, 6]], 'viewer': 'a', 'closed': False, 'auditor': False, 'consenting': ['a'], 'threshold': 3, 'aliases': {'a': 'X', 'b': 'Y'}, 'withdrawn': ['b'], 'embargo': False, 'published_fields': ['quantity', 'value'], 'appeal_open': True, 'winner': 'b', 'revoked': ['a']}, [[{'quantity': 2, 'value': 7}, {'quantity': 3, 'value': 9}, {'quantity': 1, 'value': 6}], [{'quantity': 4, 'value': 14}, {'quantity': 6, 'value': 18}, {'quantity': 2, 'value': 12}], [{'quantity': 6, 'value': 21}, {'quantity': 9, 'value': 27}, {'quantity': 3, 'value': 18}], [{'quantity': 8, 'value': 28}, {'quantity': 12, 'value': 36}, {'quantity': 4, 'value': 24}], [{'quantity': 10, 'value': 35}, {'quantity': 15, 'value': 45}, {'quantity': 5, 'value': 30}]]), ('closed / values allowed', {'records': [['a', 2, 7], ['b', 3, 9], ['a', 1, 6]], 'viewer': 'a', 'closed': True, 'auditor': False, 'consenting': ['a'], 'threshold': 3, 'aliases': {'a': 'X', 'b': 'Y'}, 'withdrawn': ['b'], 'embargo': False, 'published_fields': ['quantity', 'value'], 'appeal_open': True, 'winner': 'b', 'revoked': ['a']}, [[{'quantity': 2, 'value': 7}, {'quantity': 3, 'value': 9}, {'quantity': 1, 'value': 6}], [{'quantity': 4, 'value': 14}, {'quantity': 6, 'value': 18}, {'quantity': 2, 'value': 12}], [{'quantity': 6, 'value': 21}, {'quantity': 9, 'value': 27}, {'quantity': 3, 'value': 18}], [{'quantity': 8, 'value': 28}, {'quantity': 12, 'value': 36}, {'quantity': 4, 'value': 24}], [{'quantity': 10, 'value': 35}, {'quantity': 15, 'value': 45}, {'quantity': 5, 'value': 30}]]), ('auditor view', {'records': [['a', 2, 7], ['b', 3, 9], ['a', 1, 6]], 'viewer': 'a', 'closed': False, 'auditor': True, 'consenting': ['a'], 'threshold': 3, 'aliases': {'a': 'X', 'b': 'Y'}, 'withdrawn': ['b'], 'embargo': False, 'published_fields': ['quantity'], 'appeal_open': True, 'winner': 'b', 'revoked': ['a']}, [[{'quantity': 2}, {'quantity': 3}, {'quantity': 1}], [{'quantity': 4}, {'quantity': 6}, {'quantity': 2}], [{'quantity': 6}, {'quantity': 9}, {'quantity': 3}], [{'quantity': 8}, {'quantity': 12}, {'quantity': 4}], [{'quantity': 10}, {'quantity': 15}, {'quantity': 5}]]), ('outsider view', {'records': [['a', 2, 7], ['b', 3, 9], ['a', 1, 6]], 'viewer': 'z', 'closed': False, 'auditor': False, 'consenting': ['a'], 'threshold': 3, 'aliases': {'a': 'X', 'b': 'Y'}, 'withdrawn': ['b'], 'embargo': False, 'published_fields': ['quantity'], 'appeal_open': True, 'winner': 'b', 'revoked': ['a']}, [[{'quantity': 2}, {'quantity': 3}, {'quantity': 1}], [{'quantity': 4}, {'quantity': 6}, {'quantity': 2}], [{'quantity': 6}, {'quantity': 9}, {'quantity': 3}], [{'quantity': 8}, {'quantity': 12}, {'quantity': 4}], [{'quantity': 10}, {'quantity': 15}, {'quantity': 5}]]), ('threshold met', {'records': [['a', 2, 7], ['b', 3, 9], ['a', 1, 6]], 'viewer': 'a', 'closed': False, 'auditor': False, 'consenting': ['a'], 'threshold': 2, 'aliases': {'a': 'X', 'b': 'Y'}, 'withdrawn': ['b'], 'embargo': False, 'published_fields': ['quantity'], 'appeal_open': True, 'winner': 'b', 'revoked': ['a']}, [[{'quantity': 2}, {'quantity': 3}, {'quantity': 1}], [{'quantity': 4}, {'quantity': 6}, {'quantity': 2}], [{'quantity': 6}, {'quantity': 9}, {'quantity': 3}], [{'quantity': 8}, {'quantity': 12}, {'quantity': 4}], [{'quantity': 10}, {'quantity': 15}, {'quantity': 5}]]), ('all consent', {'records': [['a', 2, 7], ['b', 3, 9], ['a', 1, 6]], 'viewer': 'a', 'closed': False, 'auditor': False, 'consenting': ['a', 'b'], 'threshold': 3, 'aliases': {'a': 'X', 'b': 'Y'}, 'withdrawn': ['b'], 'embargo': False, 'published_fields': ['quantity'], 'appeal_open': True, 'winner': 'b', 'revoked': ['a']}, [[{'quantity': 2}, {'quantity': 3}, {'quantity': 1}], [{'quantity': 4}, {'quantity': 6}, {'quantity': 2}], [{'quantity': 6}, {'quantity': 9}, {'quantity': 3}], [{'quantity': 8}, {'quantity': 12}, {'quantity': 4}], [{'quantity': 10}, {'quantity': 15}, {'quantity': 5}]]), ('embargo active', {'records': [['a', 2, 7], ['b', 3, 9], ['a', 1, 6]], 'viewer': 'a', 'closed': False, 'auditor': False, 'consenting': ['a'], 'threshold': 3, 'aliases': {'a': 'X', 'b': 'Y'}, 'withdrawn': ['b'], 'embargo': True, 'published_fields': ['quantity'], 'appeal_open': True, 'winner': 'b', 'revoked': ['a']}, [[{'quantity': 2}, {'quantity': 3}, {'quantity': 1}], [{'quantity': 4}, {'quantity': 6}, {'quantity': 2}], [{'quantity': 6}, {'quantity': 9}, {'quantity': 3}], [{'quantity': 8}, {'quantity': 12}, {'quantity': 4}], [{'quantity': 10}, {'quantity': 15}, {'quantity': 5}]]), ('no appeal', {'records': [['a', 2, 7], ['b', 3, 9], ['a', 1, 6]], 'viewer': 'a', 'closed': False, 'auditor': False, 'consenting': ['a'], 'threshold': 3, 'aliases': {'a': 'X', 'b': 'Y'}, 'withdrawn': ['b'], 'embargo': False, 'published_fields': ['quantity'], 'appeal_open': False, 'winner': 'b', 'revoked': ['a']}, [[{'quantity': 2}, {'quantity': 3}, {'quantity': 1}], [{'quantity': 4}, {'quantity': 6}, {'quantity': 2}], [{'quantity': 6}, {'quantity': 9}, {'quantity': 3}], [{'quantity': 8}, {'quantity': 12}, {'quantity': 4}], [{'quantity': 10}, {'quantity': 15}, {'quantity': 5}]]), ('all revoked', {'records': [['a', 2, 7], ['b', 3, 9], ['a', 1, 6]], 'viewer': 'a', 'closed': False, 'auditor': False, 'consenting': ['a'], 'threshold': 3, 'aliases': {'a': 'X', 'b': 'Y'}, 'withdrawn': ['b'], 'embargo': False, 'published_fields': ['quantity'], 'appeal_open': True, 'winner': 'b', 'revoked': ['a', 'b']}, [[{'quantity': 2}, {'quantity': 3}, {'quantity': 1}], [{'quantity': 4}, {'quantity': 6}, {'quantity': 2}], [{'quantity': 6}, {'quantity': 9}, {'quantity': 3}], [{'quantity': 8}, {'quantity': 12}, {'quantity': 4}], [{'quantity': 10}, {'quantity': 15}, {'quantity': 5}]])]
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))['field-projection'], 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 / a8ce3bd5ececb6cab4cd16e965df46647067f244fbbecde36ed6f80f6419b610

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

N = 1
observations = []
def solve(x):
    v0 = [r for r in x["records"] if r[0]==x["viewer"]]
    v1 = [r[2] for r in x["records"]] if x["closed"] else []
    v2 = len({r[0] for r in x["records"]})>=x["threshold"]
    v3 = [[x["aliases"].get(r[0],"anonymous"),r[1]] for r in x["records"]]
    v4 = x["aliases"] if x["auditor"] else {}
    v5 = [r[0] for r in x["records"] if r[0] in x["consenting"] and r[0] not in x["revoked"]]
    v6 = sum(r[1] for r in x["records"] if r[0] not in x["withdrawn"])
    v7 = [{"quantity":r[1]} for r in x["records"]]
    v8 = x["winner"] if x["closed"] and not x["embargo"] else None
    v9 = x["records"] if x["appeal_open"] or x["auditor"] else []
    return {'self-view-scope':v0,'preclose-value-embargo':v1,'distinct-bidder-suppression':v2,'alias-result-view':v3,'auditor-linkage':v4,'consent-qualified-disclosure':v5,'withdrawn-demand-statistic':v6,'field-projection':v7,'embargo-final-result':v8,'appeal-audit-retention':v9}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [('normal contract', {'records': [['a', 2, 7], ['b', 3, 9], ['a', 1, 6]], 'viewer': 'a', 'closed': False, 'auditor': False, 'consenting': ['a'], 'threshold': 3, 'aliases': {'a': 'X', 'b': 'Y'}, 'withdrawn': ['b'], 'embargo': False, 'published_fields': ['quantity'], 'appeal_open': True, 'winner': 'b', 'revoked': ['a']}, [[{'quantity': 2}, {'quantity': 3}, {'quantity': 1}], [{'quantity': 4}, {'quantity': 6}, {'quantity': 2}], [{'quantity': 6}, {'quantity': 9}, {'quantity': 3}], [{'quantity': 8}, {'quantity': 12}, {'quantity': 4}], [{'quantity': 10}, {'quantity': 15}, {'quantity': 5}]]), ('closed', {'records': [['a', 2, 7], ['b', 3, 9], ['a', 1, 6]], 'viewer': 'a', 'closed': True, 'auditor': False, 'consenting': ['a'], 'threshold': 3, 'aliases': {'a': 'X', 'b': 'Y'}, 'withdrawn': ['b'], 'embargo': False, 'published_fields': ['quantity'], 'appeal_open': True, 'winner': 'b', 'revoked': ['a']}, [[{'quantity': 2}, {'quantity': 3}, {'quantity': 1}], [{'quantity': 4}, {'quantity': 6}, {'quantity': 2}], [{'quantity': 6}, {'quantity': 9}, {'quantity': 3}], [{'quantity': 8}, {'quantity': 12}, {'quantity': 4}], [{'quantity': 10}, {'quantity': 15}, {'quantity': 5}]]), ('values allowed', {'records': [['a', 2, 7], ['b', 3, 9], ['a', 1, 6]], 'viewer': 'a', 'closed': False, 'auditor': False, 'consenting': ['a'], 'threshold': 3, 'aliases': {'a': 'X', 'b': 'Y'}, 'withdrawn': ['b'], 'embargo': False, 'published_fields': ['quantity', 'value'], 'appeal_open': True, 'winner': 'b', 'revoked': ['a']}, [[{'quantity': 2, 'value': 7}, {'quantity': 3, 'value': 9}, {'quantity': 1, 'value': 6}], [{'quantity': 4, 'value': 14}, {'quantity': 6, 'value': 18}, {'quantity': 2, 'value': 12}], [{'quantity': 6, 'value': 21}, {'quantity': 9, 'value': 27}, {'quantity': 3, 'value': 18}], [{'quantity': 8, 'value': 28}, {'quantity': 12, 'value': 36}, {'quantity': 4, 'value': 24}], [{'quantity': 10, 'value': 35}, {'quantity': 15, 'value': 45}, {'quantity': 5, 'value': 30}]]), ('closed / values allowed', {'records': [['a', 2, 7], ['b', 3, 9], ['a', 1, 6]], 'viewer': 'a', 'closed': True, 'auditor': False, 'consenting': ['a'], 'threshold': 3, 'aliases': {'a': 'X', 'b': 'Y'}, 'withdrawn': ['b'], 'embargo': False, 'published_fields': ['quantity', 'value'], 'appeal_open': True, 'winner': 'b', 'revoked': ['a']}, [[{'quantity': 2, 'value': 7}, {'quantity': 3, 'value': 9}, {'quantity': 1, 'value': 6}], [{'quantity': 4, 'value': 14}, {'quantity': 6, 'value': 18}, {'quantity': 2, 'value': 12}], [{'quantity': 6, 'value': 21}, {'quantity': 9, 'value': 27}, {'quantity': 3, 'value': 18}], [{'quantity': 8, 'value': 28}, {'quantity': 12, 'value': 36}, {'quantity': 4, 'value': 24}], [{'quantity': 10, 'value': 35}, {'quantity': 15, 'value': 45}, {'quantity': 5, 'value': 30}]]), ('auditor view', {'records': [['a', 2, 7], ['b', 3, 9], ['a', 1, 6]], 'viewer': 'a', 'closed': False, 'auditor': True, 'consenting': ['a'], 'threshold': 3, 'aliases': {'a': 'X', 'b': 'Y'}, 'withdrawn': ['b'], 'embargo': False, 'published_fields': ['quantity'], 'appeal_open': True, 'winner': 'b', 'revoked': ['a']}, [[{'quantity': 2}, {'quantity': 3}, {'quantity': 1}], [{'quantity': 4}, {'quantity': 6}, {'quantity': 2}], [{'quantity': 6}, {'quantity': 9}, {'quantity': 3}], [{'quantity': 8}, {'quantity': 12}, {'quantity': 4}], [{'quantity': 10}, {'quantity': 15}, {'quantity': 5}]]), ('outsider view', {'records': [['a', 2, 7], ['b', 3, 9], ['a', 1, 6]], 'viewer': 'z', 'closed': False, 'auditor': False, 'consenting': ['a'], 'threshold': 3, 'aliases': {'a': 'X', 'b': 'Y'}, 'withdrawn': ['b'], 'embargo': False, 'published_fields': ['quantity'], 'appeal_open': True, 'winner': 'b', 'revoked': ['a']}, [[{'quantity': 2}, {'quantity': 3}, {'quantity': 1}], [{'quantity': 4}, {'quantity': 6}, {'quantity': 2}], [{'quantity': 6}, {'quantity': 9}, {'quantity': 3}], [{'quantity': 8}, {'quantity': 12}, {'quantity': 4}], [{'quantity': 10}, {'quantity': 15}, {'quantity': 5}]]), ('threshold met', {'records': [['a', 2, 7], ['b', 3, 9], ['a', 1, 6]], 'viewer': 'a', 'closed': False, 'auditor': False, 'consenting': ['a'], 'threshold': 2, 'aliases': {'a': 'X', 'b': 'Y'}, 'withdrawn': ['b'], 'embargo': False, 'published_fields': ['quantity'], 'appeal_open': True, 'winner': 'b', 'revoked': ['a']}, [[{'quantity': 2}, {'quantity': 3}, {'quantity': 1}], [{'quantity': 4}, {'quantity': 6}, {'quantity': 2}], [{'quantity': 6}, {'quantity': 9}, {'quantity': 3}], [{'quantity': 8}, {'quantity': 12}, {'quantity': 4}], [{'quantity': 10}, {'quantity': 15}, {'quantity': 5}]]), ('all consent', {'records': [['a', 2, 7], ['b', 3, 9], ['a', 1, 6]], 'viewer': 'a', 'closed': False, 'auditor': False, 'consenting': ['a', 'b'], 'threshold': 3, 'aliases': {'a': 'X', 'b': 'Y'}, 'withdrawn': ['b'], 'embargo': False, 'published_fields': ['quantity'], 'appeal_open': True, 'winner': 'b', 'revoked': ['a']}, [[{'quantity': 2}, {'quantity': 3}, {'quantity': 1}], [{'quantity': 4}, {'quantity': 6}, {'quantity': 2}], [{'quantity': 6}, {'quantity': 9}, {'quantity': 3}], [{'quantity': 8}, {'quantity': 12}, {'quantity': 4}], [{'quantity': 10}, {'quantity': 15}, {'quantity': 5}]]), ('embargo active', {'records': [['a', 2, 7], ['b', 3, 9], ['a', 1, 6]], 'viewer': 'a', 'closed': False, 'auditor': False, 'consenting': ['a'], 'threshold': 3, 'aliases': {'a': 'X', 'b': 'Y'}, 'withdrawn': ['b'], 'embargo': True, 'published_fields': ['quantity'], 'appeal_open': True, 'winner': 'b', 'revoked': ['a']}, [[{'quantity': 2}, {'quantity': 3}, {'quantity': 1}], [{'quantity': 4}, {'quantity': 6}, {'quantity': 2}], [{'quantity': 6}, {'quantity': 9}, {'quantity': 3}], [{'quantity': 8}, {'quantity': 12}, {'quantity': 4}], [{'quantity': 10}, {'quantity': 15}, {'quantity': 5}]]), ('no appeal', {'records': [['a', 2, 7], ['b', 3, 9], ['a', 1, 6]], 'viewer': 'a', 'closed': False, 'auditor': False, 'consenting': ['a'], 'threshold': 3, 'aliases': {'a': 'X', 'b': 'Y'}, 'withdrawn': ['b'], 'embargo': False, 'published_fields': ['quantity'], 'appeal_open': False, 'winner': 'b', 'revoked': ['a']}, [[{'quantity': 2}, {'quantity': 3}, {'quantity': 1}], [{'quantity': 4}, {'quantity': 6}, {'quantity': 2}], [{'quantity': 6}, {'quantity': 9}, {'quantity': 3}], [{'quantity': 8}, {'quantity': 12}, {'quantity': 4}], [{'quantity': 10}, {'quantity': 15}, {'quantity': 5}]]), ('all revoked', {'records': [['a', 2, 7], ['b', 3, 9], ['a', 1, 6]], 'viewer': 'a', 'closed': False, 'auditor': False, 'consenting': ['a'], 'threshold': 3, 'aliases': {'a': 'X', 'b': 'Y'}, 'withdrawn': ['b'], 'embargo': False, 'published_fields': ['quantity'], 'appeal_open': True, 'winner': 'b', 'revoked': ['a', 'b']}, [[{'quantity': 2}, {'quantity': 3}, {'quantity': 1}], [{'quantity': 4}, {'quantity': 6}, {'quantity': 2}], [{'quantity': 6}, {'quantity': 9}, {'quantity': 3}], [{'quantity': 8}, {'quantity': 12}, {'quantity': 4}], [{'quantity': 10}, {'quantity': 15}, {'quantity': 5}]])]
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))['field-projection'], 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 / 87d8c65c988de524f24a59953e1bd18100877d9b81b80de0f58f5a9e190c6f25

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

N = 1
observations = []
def solve(x):
    v0 = [r for r in x["records"] if r[0]==x["viewer"]]
    v1 = [r[2] for r in x["records"]] if x["closed"] else []
    v2 = len({r[0] for r in x["records"]})>=x["threshold"]
    v3 = [[x["aliases"].get(r[0],"anonymous"),r[1]] for r in x["records"]]
    v4 = x["aliases"] if x["auditor"] else {}
    v5 = [r[0] for r in x["records"] if r[0] in x["consenting"] and r[0] not in x["revoked"]]
    v6 = sum(r[1] for r in x["records"] if r[0] not in x["withdrawn"])
    v7 = [{k:r[i] for k,i in (("quantity",1),("value",2)) if k in x["published_fields"]} for r in x["records"]]
    v8 = x["winner"] if x["closed"] and not x["embargo"] else None
    v9 = x["records"] if x["appeal_open"] or x["auditor"] else []
    return {'self-view-scope':v0,'preclose-value-embargo':v1,'distinct-bidder-suppression':v2,'alias-result-view':v3,'auditor-linkage':v4,'consent-qualified-disclosure':v5,'withdrawn-demand-statistic':v6,'field-projection':v7,'embargo-final-result':v8,'appeal-audit-retention':v9}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [('normal contract', {'records': [['a', 2, 7], ['b', 3, 9], ['a', 1, 6]], 'viewer': 'a', 'closed': False, 'auditor': False, 'consenting': ['a'], 'threshold': 3, 'aliases': {'a': 'X', 'b': 'Y'}, 'withdrawn': ['b'], 'embargo': False, 'published_fields': ['quantity'], 'appeal_open': True, 'winner': 'b', 'revoked': ['a']}, [[{'quantity': 2}, {'quantity': 3}, {'quantity': 1}], [{'quantity': 4}, {'quantity': 6}, {'quantity': 2}], [{'quantity': 6}, {'quantity': 9}, {'quantity': 3}], [{'quantity': 8}, {'quantity': 12}, {'quantity': 4}], [{'quantity': 10}, {'quantity': 15}, {'quantity': 5}]]), ('closed', {'records': [['a', 2, 7], ['b', 3, 9], ['a', 1, 6]], 'viewer': 'a', 'closed': True, 'auditor': False, 'consenting': ['a'], 'threshold': 3, 'aliases': {'a': 'X', 'b': 'Y'}, 'withdrawn': ['b'], 'embargo': False, 'published_fields': ['quantity'], 'appeal_open': True, 'winner': 'b', 'revoked': ['a']}, [[{'quantity': 2}, {'quantity': 3}, {'quantity': 1}], [{'quantity': 4}, {'quantity': 6}, {'quantity': 2}], [{'quantity': 6}, {'quantity': 9}, {'quantity': 3}], [{'quantity': 8}, {'quantity': 12}, {'quantity': 4}], [{'quantity': 10}, {'quantity': 15}, {'quantity': 5}]]), ('values allowed', {'records': [['a', 2, 7], ['b', 3, 9], ['a', 1, 6]], 'viewer': 'a', 'closed': False, 'auditor': False, 'consenting': ['a'], 'threshold': 3, 'aliases': {'a': 'X', 'b': 'Y'}, 'withdrawn': ['b'], 'embargo': False, 'published_fields': ['quantity', 'value'], 'appeal_open': True, 'winner': 'b', 'revoked': ['a']}, [[{'quantity': 2, 'value': 7}, {'quantity': 3, 'value': 9}, {'quantity': 1, 'value': 6}], [{'quantity': 4, 'value': 14}, {'quantity': 6, 'value': 18}, {'quantity': 2, 'value': 12}], [{'quantity': 6, 'value': 21}, {'quantity': 9, 'value': 27}, {'quantity': 3, 'value': 18}], [{'quantity': 8, 'value': 28}, {'quantity': 12, 'value': 36}, {'quantity': 4, 'value': 24}], [{'quantity': 10, 'value': 35}, {'quantity': 15, 'value': 45}, {'quantity': 5, 'value': 30}]]), ('closed / values allowed', {'records': [['a', 2, 7], ['b', 3, 9], ['a', 1, 6]], 'viewer': 'a', 'closed': True, 'auditor': False, 'consenting': ['a'], 'threshold': 3, 'aliases': {'a': 'X', 'b': 'Y'}, 'withdrawn': ['b'], 'embargo': False, 'published_fields': ['quantity', 'value'], 'appeal_open': True, 'winner': 'b', 'revoked': ['a']}, [[{'quantity': 2, 'value': 7}, {'quantity': 3, 'value': 9}, {'quantity': 1, 'value': 6}], [{'quantity': 4, 'value': 14}, {'quantity': 6, 'value': 18}, {'quantity': 2, 'value': 12}], [{'quantity': 6, 'value': 21}, {'quantity': 9, 'value': 27}, {'quantity': 3, 'value': 18}], [{'quantity': 8, 'value': 28}, {'quantity': 12, 'value': 36}, {'quantity': 4, 'value': 24}], [{'quantity': 10, 'value': 35}, {'quantity': 15, 'value': 45}, {'quantity': 5, 'value': 30}]]), ('auditor view', {'records': [['a', 2, 7], ['b', 3, 9], ['a', 1, 6]], 'viewer': 'a', 'closed': False, 'auditor': True, 'consenting': ['a'], 'threshold': 3, 'aliases': {'a': 'X', 'b': 'Y'}, 'withdrawn': ['b'], 'embargo': False, 'published_fields': ['quantity'], 'appeal_open': True, 'winner': 'b', 'revoked': ['a']}, [[{'quantity': 2}, {'quantity': 3}, {'quantity': 1}], [{'quantity': 4}, {'quantity': 6}, {'quantity': 2}], [{'quantity': 6}, {'quantity': 9}, {'quantity': 3}], [{'quantity': 8}, {'quantity': 12}, {'quantity': 4}], [{'quantity': 10}, {'quantity': 15}, {'quantity': 5}]]), ('outsider view', {'records': [['a', 2, 7], ['b', 3, 9], ['a', 1, 6]], 'viewer': 'z', 'closed': False, 'auditor': False, 'consenting': ['a'], 'threshold': 3, 'aliases': {'a': 'X', 'b': 'Y'}, 'withdrawn': ['b'], 'embargo': False, 'published_fields': ['quantity'], 'appeal_open': True, 'winner': 'b', 'revoked': ['a']}, [[{'quantity': 2}, {'quantity': 3}, {'quantity': 1}], [{'quantity': 4}, {'quantity': 6}, {'quantity': 2}], [{'quantity': 6}, {'quantity': 9}, {'quantity': 3}], [{'quantity': 8}, {'quantity': 12}, {'quantity': 4}], [{'quantity': 10}, {'quantity': 15}, {'quantity': 5}]]), ('threshold met', {'records': [['a', 2, 7], ['b', 3, 9], ['a', 1, 6]], 'viewer': 'a', 'closed': False, 'auditor': False, 'consenting': ['a'], 'threshold': 2, 'aliases': {'a': 'X', 'b': 'Y'}, 'withdrawn': ['b'], 'embargo': False, 'published_fields': ['quantity'], 'appeal_open': True, 'winner': 'b', 'revoked': ['a']}, [[{'quantity': 2}, {'quantity': 3}, {'quantity': 1}], [{'quantity': 4}, {'quantity': 6}, {'quantity': 2}], [{'quantity': 6}, {'quantity': 9}, {'quantity': 3}], [{'quantity': 8}, {'quantity': 12}, {'quantity': 4}], [{'quantity': 10}, {'quantity': 15}, {'quantity': 5}]]), ('all consent', {'records': [['a', 2, 7], ['b', 3, 9], ['a', 1, 6]], 'viewer': 'a', 'closed': False, 'auditor': False, 'consenting': ['a', 'b'], 'threshold': 3, 'aliases': {'a': 'X', 'b': 'Y'}, 'withdrawn': ['b'], 'embargo': False, 'published_fields': ['quantity'], 'appeal_open': True, 'winner': 'b', 'revoked': ['a']}, [[{'quantity': 2}, {'quantity': 3}, {'quantity': 1}], [{'quantity': 4}, {'quantity': 6}, {'quantity': 2}], [{'quantity': 6}, {'quantity': 9}, {'quantity': 3}], [{'quantity': 8}, {'quantity': 12}, {'quantity': 4}], [{'quantity': 10}, {'quantity': 15}, {'quantity': 5}]]), ('embargo active', {'records': [['a', 2, 7], ['b', 3, 9], ['a', 1, 6]], 'viewer': 'a', 'closed': False, 'auditor': False, 'consenting': ['a'], 'threshold': 3, 'aliases': {'a': 'X', 'b': 'Y'}, 'withdrawn': ['b'], 'embargo': True, 'published_fields': ['quantity'], 'appeal_open': True, 'winner': 'b', 'revoked': ['a']}, [[{'quantity': 2}, {'quantity': 3}, {'quantity': 1}], [{'quantity': 4}, {'quantity': 6}, {'quantity': 2}], [{'quantity': 6}, {'quantity': 9}, {'quantity': 3}], [{'quantity': 8}, {'quantity': 12}, {'quantity': 4}], [{'quantity': 10}, {'quantity': 15}, {'quantity': 5}]]), ('no appeal', {'records': [['a', 2, 7], ['b', 3, 9], ['a', 1, 6]], 'viewer': 'a', 'closed': False, 'auditor': False, 'consenting': ['a'], 'threshold': 3, 'aliases': {'a': 'X', 'b': 'Y'}, 'withdrawn': ['b'], 'embargo': False, 'published_fields': ['quantity'], 'appeal_open': False, 'winner': 'b', 'revoked': ['a']}, [[{'quantity': 2}, {'quantity': 3}, {'quantity': 1}], [{'quantity': 4}, {'quantity': 6}, {'quantity': 2}], [{'quantity': 6}, {'quantity': 9}, {'quantity': 3}], [{'quantity': 8}, {'quantity': 12}, {'quantity': 4}], [{'quantity': 10}, {'quantity': 15}, {'quantity': 5}]]), ('all revoked', {'records': [['a', 2, 7], ['b', 3, 9], ['a', 1, 6]], 'viewer': 'a', 'closed': False, 'auditor': False, 'consenting': ['a'], 'threshold': 3, 'aliases': {'a': 'X', 'b': 'Y'}, 'withdrawn': ['b'], 'embargo': False, 'published_fields': ['quantity'], 'appeal_open': True, 'winner': 'b', 'revoked': ['a', 'b']}, [[{'quantity': 2}, {'quantity': 3}, {'quantity': 1}], [{'quantity': 4}, {'quantity': 6}, {'quantity': 2}], [{'quantity': 6}, {'quantity': 9}, {'quantity': 3}], [{'quantity': 8}, {'quantity': 12}, {'quantity': 4}], [{'quantity': 10}, {'quantity': 15}, {'quantity': 5}]])]
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))['field-projection'], 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 / 72d2d0ac0876f1972a558dcec40688b7f998b81a471e7b60d184b9d622aca2f7