{"abstract":"Disclosure projection ignores which offer fields are approved for publication.","category":"Auction allocation rules","checks":11,"contract":"Toy auction disclosure views distinguish bidder self-view, public preclose statistics, anonymized postclose results, and auditor-only linkage. List records have fields [bidder, quantity, value]; suppression thresholds count distinct bidders, not submitted records. Named decision field-projection: For field projection, apply the stipulated decision [{k:r[i] for k,i in ((\"quantity\",1),(\"value\",2)) if k in x[\"published_fields\"]} for r in x[\"records\"]].","evaluation_group":"s3-auction-bid-disclosure","failed_approach":"The attempted repair uses [{\"quantity\":r[1]} for r in x[\"records\"]]; the explicit regression cases demonstrate that this still violates the stipulated auction rule.","family":"s3-auction-allocation-rules-bid-disclosure-field-projection","id":"FA-57326","implementations":{"attempt":{"sha256":"87d8c65c988de524f24a59953e1bd18100877d9b81b80de0f58f5a9e190c6f25","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(x):\n    v0 = [r for r in x[\"records\"] if r[0]==x[\"viewer\"]]\n    v1 = [r[2] for r in x[\"records\"]] if x[\"closed\"] else []\n    v2 = len({r[0] for r in x[\"records\"]})>=x[\"threshold\"]\n    v3 = [[x[\"aliases\"].get(r[0],\"anonymous\"),r[1]] for r in x[\"records\"]]\n    v4 = x[\"aliases\"] if x[\"auditor\"] else {}\n    v5 = [r[0] for r in x[\"records\"] if r[0] in x[\"consenting\"] and r[0] not in x[\"revoked\"]]\n    v6 = sum(r[1] for r in x[\"records\"] if r[0] not in x[\"withdrawn\"])\n    v7 = [{\"quantity\":r[1]} for r in x[\"records\"]]\n    v8 = x[\"winner\"] if x[\"closed\"] and not x[\"embargo\"] else None\n    v9 = x[\"records\"] if x[\"appeal_open\"] or x[\"auditor\"] else []\n    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}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [('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}]])]\ndef vary(value):\n if type(value) is int: return value*N\n if isinstance(value,list): return [vary(v) for v in value]\n 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()}\n return value\nfor label, request, expected in fixtures:\n check(label, solve(vary(request))['field-projection'], expected[N-1])\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"},"broken":{"sha256":"a8ce3bd5ececb6cab4cd16e965df46647067f244fbbecde36ed6f80f6419b610","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(x):\n    v0 = [r for r in x[\"records\"] if r[0]==x[\"viewer\"]]\n    v1 = [r[2] for r in x[\"records\"]] if x[\"closed\"] else []\n    v2 = len({r[0] for r in x[\"records\"]})>=x[\"threshold\"]\n    v3 = [[x[\"aliases\"].get(r[0],\"anonymous\"),r[1]] for r in x[\"records\"]]\n    v4 = x[\"aliases\"] if x[\"auditor\"] else {}\n    v5 = [r[0] for r in x[\"records\"] if r[0] in x[\"consenting\"] and r[0] not in x[\"revoked\"]]\n    v6 = sum(r[1] for r in x[\"records\"] if r[0] not in x[\"withdrawn\"])\n    v7 = [{\"quantity\":r[1],\"value\":r[2]} for r in x[\"records\"]]\n    v8 = x[\"winner\"] if x[\"closed\"] and not x[\"embargo\"] else None\n    v9 = x[\"records\"] if x[\"appeal_open\"] or x[\"auditor\"] else []\n    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}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [('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}]])]\ndef vary(value):\n if type(value) is int: return value*N\n if isinstance(value,list): return [vary(v) for v in value]\n 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()}\n return value\nfor label, request, expected in fixtures:\n check(label, solve(vary(request))['field-projection'], expected[N-1])\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"},"fixed":{"sha256":"72d2d0ac0876f1972a558dcec40688b7f998b81a471e7b60d184b9d622aca2f7","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(x):\n    v0 = [r for r in x[\"records\"] if r[0]==x[\"viewer\"]]\n    v1 = [r[2] for r in x[\"records\"]] if x[\"closed\"] else []\n    v2 = len({r[0] for r in x[\"records\"]})>=x[\"threshold\"]\n    v3 = [[x[\"aliases\"].get(r[0],\"anonymous\"),r[1]] for r in x[\"records\"]]\n    v4 = x[\"aliases\"] if x[\"auditor\"] else {}\n    v5 = [r[0] for r in x[\"records\"] if r[0] in x[\"consenting\"] and r[0] not in x[\"revoked\"]]\n    v6 = sum(r[1] for r in x[\"records\"] if r[0] not in x[\"withdrawn\"])\n    v7 = [{k:r[i] for k,i in ((\"quantity\",1),(\"value\",2)) if k in x[\"published_fields\"]} for r in x[\"records\"]]\n    v8 = x[\"winner\"] if x[\"closed\"] and not x[\"embargo\"] else None\n    v9 = x[\"records\"] if x[\"appeal_open\"] or x[\"auditor\"] else []\n    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}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [('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}]])]\ndef vary(value):\n if type(value) is int: return value*N\n if isinstance(value,list): return [vary(v) for v in value]\n 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()}\n return value\nfor label, request, expected in fixtures:\n check(label, solve(vary(request))['field-projection'], expected[N-1])\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"}},"limitations":"Stipulated toy auction rules, not a venue specification, financial advice, optimization claim, or live trading implementation. Nonnegative integer inputs and internally aligned list fields only. 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.","method":"Deterministic executable model with adversarial boundary fixtures.","provenance":{"created_by":"Failure Map","dependencies":"Python standard library","family":"s3-auction-allocation-rules-bid-disclosure-field-projection","generated_at":"2026-09-29T14:46:15.668441+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Offline administrative auction model for software failure analysis.","repair":"For field projection, apply the stipulated decision [{k:r[i] for k,i in ((\"quantity\",1),(\"value\",2)) if k in x[\"published_fields\"]} for r in x[\"records\"]].","root_cause":"Disclosure projection ignores which offer fields are approved for publication.","sha256":"b91bfda4050618211c629774da3f11bea8e95665843fa55f6307044147c594c5","title":"Bid disclosure: field projection · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":44.791,"exit_code":1,"observations":[{"actual":[{"quantity":2},{"quantity":3},{"quantity":1}],"check":"normal contract","expected":[{"quantity":2},{"quantity":3},{"quantity":1}],"passed":true},{"actual":[{"quantity":2},{"quantity":3},{"quantity":1}],"check":"closed","expected":[{"quantity":2},{"quantity":3},{"quantity":1}],"passed":true},{"actual":[{"quantity":2},{"quantity":3},{"quantity":1}],"check":"values allowed","expected":[{"quantity":2,"value":7},{"quantity":3,"value":9},{"quantity":1,"value":6}],"passed":false},{"actual":[{"quantity":2},{"quantity":3},{"quantity":1}],"check":"closed / values allowed","expected":[{"quantity":2,"value":7},{"quantity":3,"value":9},{"quantity":1,"value":6}],"passed":false},{"actual":[{"quantity":2},{"quantity":3},{"quantity":1}],"check":"auditor view","expected":[{"quantity":2},{"quantity":3},{"quantity":1}],"passed":true},{"actual":[{"quantity":2},{"quantity":3},{"quantity":1}],"check":"outsider view","expected":[{"quantity":2},{"quantity":3},{"quantity":1}],"passed":true},{"actual":[{"quantity":2},{"quantity":3},{"quantity":1}],"check":"threshold met","expected":[{"quantity":2},{"quantity":3},{"quantity":1}],"passed":true},{"actual":[{"quantity":2},{"quantity":3},{"quantity":1}],"check":"all consent","expected":[{"quantity":2},{"quantity":3},{"quantity":1}],"passed":true},{"actual":[{"quantity":2},{"quantity":3},{"quantity":1}],"check":"embargo active","expected":[{"quantity":2},{"quantity":3},{"quantity":1}],"passed":true},{"actual":[{"quantity":2},{"quantity":3},{"quantity":1}],"check":"no appeal","expected":[{"quantity":2},{"quantity":3},{"quantity":1}],"passed":true},{"actual":[{"quantity":2},{"quantity":3},{"quantity":1}],"check":"all revoked","expected":[{"quantity":2},{"quantity":3},{"quantity":1}],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"normal contract\", \"actual\": [{\"quantity\": 2}, {\"quantity\": 3}, {\"quantity\": 1}], \"expected\": [{\"quantity\": 2}, {\"quantity\": 3}, {\"quantity\": 1}], \"passed\": true}, {\"check\": \"closed\", \"actual\": [{\"quantity\": 2}, {\"quantity\": 3}, {\"quantity\": 1}], \"expected\": [{\"quantity\": 2}, {\"quantity\": 3}, {\"quantity\": 1}], \"passed\": true}, {\"check\": \"values allowed\", \"actual\": [{\"quantity\": 2}, {\"quantity\": 3}, {\"quantity\": 1}], \"expected\": [{\"quantity\": 2, \"value\": 7}, {\"quantity\": 3, \"value\": 9}, {\"quantity\": 1, \"value\": 6}], \"passed\": false}, {\"check\": \"closed / values allowed\", \"actual\": [{\"quantity\": 2}, {\"quantity\": 3}, {\"quantity\": 1}], \"expected\": [{\"quantity\": 2, \"value\": 7}, {\"quantity\": 3, \"value\": 9}, {\"quantity\": 1, \"value\": 6}], \"passed\": false}, {\"check\": \"auditor view\", \"actual\": [{\"quantity\": 2}, {\"quantity\": 3}, {\"quantity\": 1}], \"expected\": [{\"quantity\": 2}, {\"quantity\": 3}, {\"quantity\": 1}], \"passed\": true}, {\"check\": \"outsider view\", \"actual\": [{\"quantity\": 2}, {\"quantity\": 3}, {\"quantity\": 1}], \"expected\": [{\"quantity\": 2}, {\"quantity\": 3}, {\"quantity\": 1}], \"passed\": true}, {\"check\": \"threshold met\", \"actual\": [{\"quantity\": 2}, {\"quantity\": 3}, {\"quantity\": 1}], \"expected\": [{\"quantity\": 2}, {\"quantity\": 3}, {\"quantity\": 1}], \"passed\": true}, {\"check\": \"all consent\", \"actual\": [{\"quantity\": 2}, {\"quantity\": 3}, {\"quantity\": 1}], \"expected\": [{\"quantity\": 2}, {\"quantity\": 3}, {\"quantity\": 1}], \"passed\": true}, {\"check\": \"embargo active\", \"actual\": [{\"quantity\": 2}, {\"quantity\": 3}, {\"quantity\": 1}], \"expected\": [{\"quantity\": 2}, {\"quantity\": 3}, {\"quantity\": 1}], \"passed\": true}, {\"check\": \"no appeal\", \"actual\": [{\"quantity\": 2}, {\"quantity\": 3}, {\"quantity\": 1}], \"expected\": [{\"quantity\": 2}, {\"quantity\": 3}, {\"quantity\": 1}], \"passed\": true}, {\"check\": \"all revoked\", \"actual\": [{\"quantity\": 2}, {\"quantity\": 3}, {\"quantity\": 1}], \"expected\": [{\"quantity\": 2}, {\"quantity\": 3}, {\"quantity\": 1}], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":45.284,"exit_code":1,"observations":[{"actual":[{"quantity":2,"value":7},{"quantity":3,"value":9},{"quantity":1,"value":6}],"check":"normal contract","expected":[{"quantity":2},{"quantity":3},{"quantity":1}],"passed":false},{"actual":[{"quantity":2,"value":7},{"quantity":3,"value":9},{"quantity":1,"value":6}],"check":"closed","expected":[{"quantity":2},{"quantity":3},{"quantity":1}],"passed":false},{"actual":[{"quantity":2,"value":7},{"quantity":3,"value":9},{"quantity":1,"value":6}],"check":"values allowed","expected":[{"quantity":2,"value":7},{"quantity":3,"value":9},{"quantity":1,"value":6}],"passed":true},{"actual":[{"quantity":2,"value":7},{"quantity":3,"value":9},{"quantity":1,"value":6}],"check":"closed / values allowed","expected":[{"quantity":2,"value":7},{"quantity":3,"value":9},{"quantity":1,"value":6}],"passed":true},{"actual":[{"quantity":2,"value":7},{"quantity":3,"value":9},{"quantity":1,"value":6}],"check":"auditor view","expected":[{"quantity":2},{"quantity":3},{"quantity":1}],"passed":false},{"actual":[{"quantity":2,"value":7},{"quantity":3,"value":9},{"quantity":1,"value":6}],"check":"outsider view","expected":[{"quantity":2},{"quantity":3},{"quantity":1}],"passed":false},{"actual":[{"quantity":2,"value":7},{"quantity":3,"value":9},{"quantity":1,"value":6}],"check":"threshold met","expected":[{"quantity":2},{"quantity":3},{"quantity":1}],"passed":false},{"actual":[{"quantity":2,"value":7},{"quantity":3,"value":9},{"quantity":1,"value":6}],"check":"all consent","expected":[{"quantity":2},{"quantity":3},{"quantity":1}],"passed":false},{"actual":[{"quantity":2,"value":7},{"quantity":3,"value":9},{"quantity":1,"value":6}],"check":"embargo active","expected":[{"quantity":2},{"quantity":3},{"quantity":1}],"passed":false},{"actual":[{"quantity":2,"value":7},{"quantity":3,"value":9},{"quantity":1,"value":6}],"check":"no appeal","expected":[{"quantity":2},{"quantity":3},{"quantity":1}],"passed":false},{"actual":[{"quantity":2,"value":7},{"quantity":3,"value":9},{"quantity":1,"value":6}],"check":"all revoked","expected":[{"quantity":2},{"quantity":3},{"quantity":1}],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"normal contract\", \"actual\": [{\"quantity\": 2, \"value\": 7}, {\"quantity\": 3, \"value\": 9}, {\"quantity\": 1, \"value\": 6}], \"expected\": [{\"quantity\": 2}, {\"quantity\": 3}, {\"quantity\": 1}], \"passed\": false}, {\"check\": \"closed\", \"actual\": [{\"quantity\": 2, \"value\": 7}, {\"quantity\": 3, \"value\": 9}, {\"quantity\": 1, \"value\": 6}], \"expected\": [{\"quantity\": 2}, {\"quantity\": 3}, {\"quantity\": 1}], \"passed\": false}, {\"check\": \"values allowed\", \"actual\": [{\"quantity\": 2, \"value\": 7}, {\"quantity\": 3, \"value\": 9}, {\"quantity\": 1, \"value\": 6}], \"expected\": [{\"quantity\": 2, \"value\": 7}, {\"quantity\": 3, \"value\": 9}, {\"quantity\": 1, \"value\": 6}], \"passed\": true}, {\"check\": \"closed / values allowed\", \"actual\": [{\"quantity\": 2, \"value\": 7}, {\"quantity\": 3, \"value\": 9}, {\"quantity\": 1, \"value\": 6}], \"expected\": [{\"quantity\": 2, \"value\": 7}, {\"quantity\": 3, \"value\": 9}, {\"quantity\": 1, \"value\": 6}], \"passed\": true}, {\"check\": \"auditor view\", \"actual\": [{\"quantity\": 2, \"value\": 7}, {\"quantity\": 3, \"value\": 9}, {\"quantity\": 1, \"value\": 6}], \"expected\": [{\"quantity\": 2}, {\"quantity\": 3}, {\"quantity\": 1}], \"passed\": false}, {\"check\": \"outsider view\", \"actual\": [{\"quantity\": 2, \"value\": 7}, {\"quantity\": 3, \"value\": 9}, {\"quantity\": 1, \"value\": 6}], \"expected\": [{\"quantity\": 2}, {\"quantity\": 3}, {\"quantity\": 1}], \"passed\": false}, {\"check\": \"threshold met\", \"actual\": [{\"quantity\": 2, \"value\": 7}, {\"quantity\": 3, \"value\": 9}, {\"quantity\": 1, \"value\": 6}], \"expected\": [{\"quantity\": 2}, {\"quantity\": 3}, {\"quantity\": 1}], \"passed\": false}, {\"check\": \"all consent\", \"actual\": [{\"quantity\": 2, \"value\": 7}, {\"quantity\": 3, \"value\": 9}, {\"quantity\": 1, \"value\": 6}], \"expected\": [{\"quantity\": 2}, {\"quantity\": 3}, {\"quantity\": 1}], \"passed\": false}, {\"check\": \"embargo active\", \"actual\": [{\"quantity\": 2, \"value\": 7}, {\"quantity\": 3, \"value\": 9}, {\"quantity\": 1, \"value\": 6}], \"expected\": [{\"quantity\": 2}, {\"quantity\": 3}, {\"quantity\": 1}], \"passed\": false}, {\"check\": \"no appeal\", \"actual\": [{\"quantity\": 2, \"value\": 7}, {\"quantity\": 3, \"value\": 9}, {\"quantity\": 1, \"value\": 6}], \"expected\": [{\"quantity\": 2}, {\"quantity\": 3}, {\"quantity\": 1}], \"passed\": false}, {\"check\": \"all revoked\", \"actual\": [{\"quantity\": 2, \"value\": 7}, {\"quantity\": 3, \"value\": 9}, {\"quantity\": 1, \"value\": 6}], \"expected\": [{\"quantity\": 2}, {\"quantity\": 3}, {\"quantity\": 1}], \"passed\": false}], \"passed\": false}\n"},"fixed":{"elapsed_ms":49.105,"exit_code":0,"observations":[{"actual":[{"quantity":2},{"quantity":3},{"quantity":1}],"check":"normal contract","expected":[{"quantity":2},{"quantity":3},{"quantity":1}],"passed":true},{"actual":[{"quantity":2},{"quantity":3},{"quantity":1}],"check":"closed","expected":[{"quantity":2},{"quantity":3},{"quantity":1}],"passed":true},{"actual":[{"quantity":2,"value":7},{"quantity":3,"value":9},{"quantity":1,"value":6}],"check":"values allowed","expected":[{"quantity":2,"value":7},{"quantity":3,"value":9},{"quantity":1,"value":6}],"passed":true},{"actual":[{"quantity":2,"value":7},{"quantity":3,"value":9},{"quantity":1,"value":6}],"check":"closed / values allowed","expected":[{"quantity":2,"value":7},{"quantity":3,"value":9},{"quantity":1,"value":6}],"passed":true},{"actual":[{"quantity":2},{"quantity":3},{"quantity":1}],"check":"auditor view","expected":[{"quantity":2},{"quantity":3},{"quantity":1}],"passed":true},{"actual":[{"quantity":2},{"quantity":3},{"quantity":1}],"check":"outsider view","expected":[{"quantity":2},{"quantity":3},{"quantity":1}],"passed":true},{"actual":[{"quantity":2},{"quantity":3},{"quantity":1}],"check":"threshold met","expected":[{"quantity":2},{"quantity":3},{"quantity":1}],"passed":true},{"actual":[{"quantity":2},{"quantity":3},{"quantity":1}],"check":"all consent","expected":[{"quantity":2},{"quantity":3},{"quantity":1}],"passed":true},{"actual":[{"quantity":2},{"quantity":3},{"quantity":1}],"check":"embargo active","expected":[{"quantity":2},{"quantity":3},{"quantity":1}],"passed":true},{"actual":[{"quantity":2},{"quantity":3},{"quantity":1}],"check":"no appeal","expected":[{"quantity":2},{"quantity":3},{"quantity":1}],"passed":true},{"actual":[{"quantity":2},{"quantity":3},{"quantity":1}],"check":"all revoked","expected":[{"quantity":2},{"quantity":3},{"quantity":1}],"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"normal contract\", \"actual\": [{\"quantity\": 2}, {\"quantity\": 3}, {\"quantity\": 1}], \"expected\": [{\"quantity\": 2}, {\"quantity\": 3}, {\"quantity\": 1}], \"passed\": true}, {\"check\": \"closed\", \"actual\": [{\"quantity\": 2}, {\"quantity\": 3}, {\"quantity\": 1}], \"expected\": [{\"quantity\": 2}, {\"quantity\": 3}, {\"quantity\": 1}], \"passed\": true}, {\"check\": \"values allowed\", \"actual\": [{\"quantity\": 2, \"value\": 7}, {\"quantity\": 3, \"value\": 9}, {\"quantity\": 1, \"value\": 6}], \"expected\": [{\"quantity\": 2, \"value\": 7}, {\"quantity\": 3, \"value\": 9}, {\"quantity\": 1, \"value\": 6}], \"passed\": true}, {\"check\": \"closed / values allowed\", \"actual\": [{\"quantity\": 2, \"value\": 7}, {\"quantity\": 3, \"value\": 9}, {\"quantity\": 1, \"value\": 6}], \"expected\": [{\"quantity\": 2, \"value\": 7}, {\"quantity\": 3, \"value\": 9}, {\"quantity\": 1, \"value\": 6}], \"passed\": true}, {\"check\": \"auditor view\", \"actual\": [{\"quantity\": 2}, {\"quantity\": 3}, {\"quantity\": 1}], \"expected\": [{\"quantity\": 2}, {\"quantity\": 3}, {\"quantity\": 1}], \"passed\": true}, {\"check\": \"outsider view\", \"actual\": [{\"quantity\": 2}, {\"quantity\": 3}, {\"quantity\": 1}], \"expected\": [{\"quantity\": 2}, {\"quantity\": 3}, {\"quantity\": 1}], \"passed\": true}, {\"check\": \"threshold met\", \"actual\": [{\"quantity\": 2}, {\"quantity\": 3}, {\"quantity\": 1}], \"expected\": [{\"quantity\": 2}, {\"quantity\": 3}, {\"quantity\": 1}], \"passed\": true}, {\"check\": \"all consent\", \"actual\": [{\"quantity\": 2}, {\"quantity\": 3}, {\"quantity\": 1}], \"expected\": [{\"quantity\": 2}, {\"quantity\": 3}, {\"quantity\": 1}], \"passed\": true}, {\"check\": \"embargo active\", \"actual\": [{\"quantity\": 2}, {\"quantity\": 3}, {\"quantity\": 1}], \"expected\": [{\"quantity\": 2}, {\"quantity\": 3}, {\"quantity\": 1}], \"passed\": true}, {\"check\": \"no appeal\", \"actual\": [{\"quantity\": 2}, {\"quantity\": 3}, {\"quantity\": 1}], \"expected\": [{\"quantity\": 2}, {\"quantity\": 3}, {\"quantity\": 1}], \"passed\": true}, {\"check\": \"all revoked\", \"actual\": [{\"quantity\": 2}, {\"quantity\": 3}, {\"quantity\": 1}], \"expected\": [{\"quantity\": 2}, {\"quantity\": 3}, {\"quantity\": 1}], \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}