{"abstract":"Rooms that suppress @everyone still count it as a personal mention.","category":"Chat ordering and read receipts","checks":6,"contract":"messages are [seq, author, mentions]. A message after the marker, not written by me, counts when it mentions me directly or mentions \"@everyone\" while the room does not suppress @everyone. Messages are evaluated in seq order and the jump target is the earliest counted seq. Result {count, jump}.","contract_signature":"messages, me, marker, suppress_everyone","evaluation_group":"w2-chat_ordering_and_read_receipts-mention-jump","failed_approach":"Comparing the mention flag with the suppression flag counts ordinary messages in suppressed rooms. The attempted `(('@everyone' in mentions) != suppress_everyone)` still disagrees with a fixture.","family":"w2-chat_ordering_and_read_receipts-mention-jump-everyone-suppression","id":"FA-76301","implementations":{"attempt":{"sha256":"87ecdf644e91ba1e96a788affdcfb46142eb4f0b193f4564e08c080aec542ce1","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(messages, me, marker, suppress_everyone):\n    hits = []\n    for seq, author, mentions in sorted(messages):\n        if seq <= marker or author == me:\n            continue\n        if me in mentions or (('@everyone' in mentions) != suppress_everyone):\n            hits.append(seq)\n    return {'count': len(hits), 'jump': hits[0] if hits else None}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\n_CASES = {1: [('suppressed everyone', ([[6, 'bo', ['@everyone']], [7, 'bo', ['me']], [8, 'cy', []]], 'me', 0, True), {'count': 1, 'jump': 7}), ('own everyone ping', ([[3, 'me', ['@everyone']], [4, 'bo', []]], 'me', 1, False), {'count': 0, 'jump': None}), ('out of order arrival', ([[10, 'bo', ['me']], [4, 'cy', ['me']]], 'me', 2, False), {'count': 2, 'jump': 4}), ('everyone allowed', ([[2, 'bo', ['@everyone']]], 'me', 1, False), {'count': 1, 'jump': 2}), ('already read', ([[1, 'bo', ['me']]], 'me', 2, False), {'count': 0, 'jump': None}), ('direct mention when suppressed', ([[7, 'bo', ['me', '@everyone']]], 'me', 3, True), {'count': 1, 'jump': 7})], 2: [('suppressed everyone', ([[7, 'bo', ['@everyone']], [8, 'bo', ['me']], [9, 'cy', []]], 'me', 0, True), {'count': 1, 'jump': 8}), ('own everyone ping', ([[3, 'me', ['@everyone']], [4, 'bo', []]], 'me', 1, False), {'count': 0, 'jump': None}), ('out of order arrival', ([[11, 'bo', ['me']], [4, 'cy', ['me']]], 'me', 2, False), {'count': 2, 'jump': 4}), ('everyone allowed', ([[2, 'bo', ['@everyone']]], 'me', 1, False), {'count': 1, 'jump': 2}), ('already read', ([[1, 'bo', ['me']]], 'me', 3, False), {'count': 0, 'jump': None}), ('direct mention when suppressed', ([[7, 'bo', ['me', '@everyone']]], 'me', 3, True), {'count': 1, 'jump': 7})], 3: [('suppressed everyone', ([[8, 'bo', ['@everyone']], [9, 'bo', ['me']], [10, 'cy', []]], 'me', 0, True), {'count': 1, 'jump': 9}), ('own everyone ping', ([[3, 'me', ['@everyone']], [4, 'bo', []]], 'me', 1, False), {'count': 0, 'jump': None}), ('out of order arrival', ([[12, 'bo', ['me']], [4, 'cy', ['me']]], 'me', 2, False), {'count': 2, 'jump': 4}), ('everyone allowed', ([[2, 'bo', ['@everyone']]], 'me', 1, False), {'count': 1, 'jump': 2}), ('already read', ([[1, 'bo', ['me']]], 'me', 4, False), {'count': 0, 'jump': None}), ('direct mention when suppressed', ([[7, 'bo', ['me', '@everyone']]], 'me', 3, True), {'count': 1, 'jump': 7})], 4: [('suppressed everyone', ([[9, 'bo', ['@everyone']], [10, 'bo', ['me']], [11, 'cy', []]], 'me', 0, True), {'count': 1, 'jump': 10}), ('own everyone ping', ([[3, 'me', ['@everyone']], [4, 'bo', []]], 'me', 1, False), {'count': 0, 'jump': None}), ('out of order arrival', ([[13, 'bo', ['me']], [4, 'cy', ['me']]], 'me', 2, False), {'count': 2, 'jump': 4}), ('everyone allowed', ([[2, 'bo', ['@everyone']]], 'me', 1, False), {'count': 1, 'jump': 2}), ('already read', ([[1, 'bo', ['me']]], 'me', 5, False), {'count': 0, 'jump': None}), ('direct mention when suppressed', ([[7, 'bo', ['me', '@everyone']]], 'me', 3, True), {'count': 1, 'jump': 7})], 5: [('suppressed everyone', ([[10, 'bo', ['@everyone']], [11, 'bo', ['me']], [12, 'cy', []]], 'me', 0, True), {'count': 1, 'jump': 11}), ('own everyone ping', ([[3, 'me', ['@everyone']], [4, 'bo', []]], 'me', 1, False), {'count': 0, 'jump': None}), ('out of order arrival', ([[14, 'bo', ['me']], [4, 'cy', ['me']]], 'me', 2, False), {'count': 2, 'jump': 4}), ('everyone allowed', ([[2, 'bo', ['@everyone']]], 'me', 1, False), {'count': 1, 'jump': 2}), ('already read', ([[1, 'bo', ['me']]], 'me', 6, False), {'count': 0, 'jump': None}), ('direct mention when suppressed', ([[7, 'bo', ['me', '@everyone']]], 'me', 3, True), {'count': 1, 'jump': 7})]}\nfor _label, _args, _expected in _CASES[N]:\n    check(_label, solve(*_args), _expected)\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":"8f2d42e35c6d534df51f418774fd760247b4d6e625f664315359287b2c50e264","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(messages, me, marker, suppress_everyone):\n    hits = []\n    for seq, author, mentions in sorted(messages):\n        if seq <= marker or author == me:\n            continue\n        if me in mentions or '@everyone' in mentions:\n            hits.append(seq)\n    return {'count': len(hits), 'jump': hits[0] if hits else None}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\n_CASES = {1: [('suppressed everyone', ([[6, 'bo', ['@everyone']], [7, 'bo', ['me']], [8, 'cy', []]], 'me', 0, True), {'count': 1, 'jump': 7}), ('own everyone ping', ([[3, 'me', ['@everyone']], [4, 'bo', []]], 'me', 1, False), {'count': 0, 'jump': None}), ('out of order arrival', ([[10, 'bo', ['me']], [4, 'cy', ['me']]], 'me', 2, False), {'count': 2, 'jump': 4}), ('everyone allowed', ([[2, 'bo', ['@everyone']]], 'me', 1, False), {'count': 1, 'jump': 2}), ('already read', ([[1, 'bo', ['me']]], 'me', 2, False), {'count': 0, 'jump': None}), ('direct mention when suppressed', ([[7, 'bo', ['me', '@everyone']]], 'me', 3, True), {'count': 1, 'jump': 7})], 2: [('suppressed everyone', ([[7, 'bo', ['@everyone']], [8, 'bo', ['me']], [9, 'cy', []]], 'me', 0, True), {'count': 1, 'jump': 8}), ('own everyone ping', ([[3, 'me', ['@everyone']], [4, 'bo', []]], 'me', 1, False), {'count': 0, 'jump': None}), ('out of order arrival', ([[11, 'bo', ['me']], [4, 'cy', ['me']]], 'me', 2, False), {'count': 2, 'jump': 4}), ('everyone allowed', ([[2, 'bo', ['@everyone']]], 'me', 1, False), {'count': 1, 'jump': 2}), ('already read', ([[1, 'bo', ['me']]], 'me', 3, False), {'count': 0, 'jump': None}), ('direct mention when suppressed', ([[7, 'bo', ['me', '@everyone']]], 'me', 3, True), {'count': 1, 'jump': 7})], 3: [('suppressed everyone', ([[8, 'bo', ['@everyone']], [9, 'bo', ['me']], [10, 'cy', []]], 'me', 0, True), {'count': 1, 'jump': 9}), ('own everyone ping', ([[3, 'me', ['@everyone']], [4, 'bo', []]], 'me', 1, False), {'count': 0, 'jump': None}), ('out of order arrival', ([[12, 'bo', ['me']], [4, 'cy', ['me']]], 'me', 2, False), {'count': 2, 'jump': 4}), ('everyone allowed', ([[2, 'bo', ['@everyone']]], 'me', 1, False), {'count': 1, 'jump': 2}), ('already read', ([[1, 'bo', ['me']]], 'me', 4, False), {'count': 0, 'jump': None}), ('direct mention when suppressed', ([[7, 'bo', ['me', '@everyone']]], 'me', 3, True), {'count': 1, 'jump': 7})], 4: [('suppressed everyone', ([[9, 'bo', ['@everyone']], [10, 'bo', ['me']], [11, 'cy', []]], 'me', 0, True), {'count': 1, 'jump': 10}), ('own everyone ping', ([[3, 'me', ['@everyone']], [4, 'bo', []]], 'me', 1, False), {'count': 0, 'jump': None}), ('out of order arrival', ([[13, 'bo', ['me']], [4, 'cy', ['me']]], 'me', 2, False), {'count': 2, 'jump': 4}), ('everyone allowed', ([[2, 'bo', ['@everyone']]], 'me', 1, False), {'count': 1, 'jump': 2}), ('already read', ([[1, 'bo', ['me']]], 'me', 5, False), {'count': 0, 'jump': None}), ('direct mention when suppressed', ([[7, 'bo', ['me', '@everyone']]], 'me', 3, True), {'count': 1, 'jump': 7})], 5: [('suppressed everyone', ([[10, 'bo', ['@everyone']], [11, 'bo', ['me']], [12, 'cy', []]], 'me', 0, True), {'count': 1, 'jump': 11}), ('own everyone ping', ([[3, 'me', ['@everyone']], [4, 'bo', []]], 'me', 1, False), {'count': 0, 'jump': None}), ('out of order arrival', ([[14, 'bo', ['me']], [4, 'cy', ['me']]], 'me', 2, False), {'count': 2, 'jump': 4}), ('everyone allowed', ([[2, 'bo', ['@everyone']]], 'me', 1, False), {'count': 1, 'jump': 2}), ('already read', ([[1, 'bo', ['me']]], 'me', 6, False), {'count': 0, 'jump': None}), ('direct mention when suppressed', ([[7, 'bo', ['me', '@everyone']]], 'me', 3, True), {'count': 1, 'jump': 7})]}\nfor _label, _args, _expected in _CASES[N]:\n    check(_label, solve(*_args), _expected)\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 offline chat model; not a complete messaging protocol, client or server implementation. 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":"w2-chat_ordering_and_read_receipts-mention-jump-everyone-suppression","generated_at":"2026-09-29T14:49:15.211701+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Mention counters and \"jump to mention\" buttons need the same filter as the unread state.","root_cause":"The everyone suppression decision evaluates `'@everyone' in mentions` where the contract requires `('@everyone' in mentions and not suppress_everyone)`.","sha256":"2aa8156ed506cc609d71c16b39289b86c59f9f029285fe0b45bbcab7715913d1","title":"Count unread mentions and choose the jump target: everyone suppression · case 01","variant":1,"variant_policy":"N selects a different enumerated fixture set (shifted clocks, identifiers and sizes); boundary fixtures recur across variants.","verified":true,"visibility":"public","verification":{"attempt":{"elapsed_ms":40.261,"exit_code":1,"observations":[{"actual":{"count":2,"jump":7},"check":"suppressed everyone","expected":{"count":1,"jump":7},"passed":false},{"actual":{"count":0,"jump":null},"check":"own everyone ping","expected":{"count":0,"jump":null},"passed":true},{"actual":{"count":2,"jump":4},"check":"out of order arrival","expected":{"count":2,"jump":4},"passed":true},{"actual":{"count":1,"jump":2},"check":"everyone allowed","expected":{"count":1,"jump":2},"passed":true},{"actual":{"count":0,"jump":null},"check":"already read","expected":{"count":0,"jump":null},"passed":true},{"actual":{"count":1,"jump":7},"check":"direct mention when suppressed","expected":{"count":1,"jump":7},"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"suppressed everyone\", \"actual\": {\"count\": 2, \"jump\": 7}, \"expected\": {\"count\": 1, \"jump\": 7}, \"passed\": false}, {\"check\": \"own everyone ping\", \"actual\": {\"count\": 0, \"jump\": null}, \"expected\": {\"count\": 0, \"jump\": null}, \"passed\": true}, {\"check\": \"out of order arrival\", \"actual\": {\"count\": 2, \"jump\": 4}, \"expected\": {\"count\": 2, \"jump\": 4}, \"passed\": true}, {\"check\": \"everyone allowed\", \"actual\": {\"count\": 1, \"jump\": 2}, \"expected\": {\"count\": 1, \"jump\": 2}, \"passed\": true}, {\"check\": \"already read\", \"actual\": {\"count\": 0, \"jump\": null}, \"expected\": {\"count\": 0, \"jump\": null}, \"passed\": true}, {\"check\": \"direct mention when suppressed\", \"actual\": {\"count\": 1, \"jump\": 7}, \"expected\": {\"count\": 1, \"jump\": 7}, \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":45.665,"exit_code":1,"observations":[{"actual":{"count":2,"jump":6},"check":"suppressed everyone","expected":{"count":1,"jump":7},"passed":false},{"actual":{"count":0,"jump":null},"check":"own everyone ping","expected":{"count":0,"jump":null},"passed":true},{"actual":{"count":2,"jump":4},"check":"out of order arrival","expected":{"count":2,"jump":4},"passed":true},{"actual":{"count":1,"jump":2},"check":"everyone allowed","expected":{"count":1,"jump":2},"passed":true},{"actual":{"count":0,"jump":null},"check":"already read","expected":{"count":0,"jump":null},"passed":true},{"actual":{"count":1,"jump":7},"check":"direct mention when suppressed","expected":{"count":1,"jump":7},"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"suppressed everyone\", \"actual\": {\"count\": 2, \"jump\": 6}, \"expected\": {\"count\": 1, \"jump\": 7}, \"passed\": false}, {\"check\": \"own everyone ping\", \"actual\": {\"count\": 0, \"jump\": null}, \"expected\": {\"count\": 0, \"jump\": null}, \"passed\": true}, {\"check\": \"out of order arrival\", \"actual\": {\"count\": 2, \"jump\": 4}, \"expected\": {\"count\": 2, \"jump\": 4}, \"passed\": true}, {\"check\": \"everyone allowed\", \"actual\": {\"count\": 1, \"jump\": 2}, \"expected\": {\"count\": 1, \"jump\": 2}, \"passed\": true}, {\"check\": \"already read\", \"actual\": {\"count\": 0, \"jump\": null}, \"expected\": {\"count\": 0, \"jump\": null}, \"passed\": true}, {\"check\": \"direct mention when suppressed\", \"actual\": {\"count\": 1, \"jump\": 7}, \"expected\": {\"count\": 1, \"jump\": 7}, \"passed\": true}], \"passed\": false}\n"}},"member_only":{"stages":["fixed"],"fields":["implementations.fixed","verification.fixed","harness","repair"],"note":"The verified repair, its recorded checks, the repair description, and the scoring harness are available to members."}}