{"abstract":"The user's own @everyone message counts as an unread 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":"Exempting only non-@everyone own messages still counts the user's own broadcast. The attempted `or (author == me and '@everyone' not in mentions):` still disagrees with a fixture.","family":"w2-chat_ordering_and_read_receipts-mention-jump-self-authored","id":"FA-76306","implementations":{"attempt":{"sha256":"5fa21ab31545ea0bbf838eb4a6cca2b7e0d499d403a50b2b77287680db42d901","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 and '@everyone' not in mentions):\n            continue\n        if me in mentions or ('@everyone' in mentions and not 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":"e3a53b1f69f5a1e4e1392c9247982c780a5fa289a246d840c55bc03beb301746","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 :\n            continue\n        if me in mentions or ('@everyone' in mentions and not 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"}},"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-self-authored","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 self authored decision evaluates `:` where the contract requires `or author == me:`.","sha256":"a321f4eebb00dac4835aa917878acb475047491f859cf3eda92f7e53ab19f2b8","title":"Count unread mentions and choose the jump target: self authored · 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":37.973,"exit_code":1,"observations":[{"actual":{"count":1,"jump":7},"check":"suppressed everyone","expected":{"count":1,"jump":7},"passed":true},{"actual":{"count":1,"jump":3},"check":"own everyone ping","expected":{"count":0,"jump":null},"passed":false},{"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\": 1, \"jump\": 7}, \"expected\": {\"count\": 1, \"jump\": 7}, \"passed\": true}, {\"check\": \"own everyone ping\", \"actual\": {\"count\": 1, \"jump\": 3}, \"expected\": {\"count\": 0, \"jump\": null}, \"passed\": false}, {\"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":37.865,"exit_code":1,"observations":[{"actual":{"count":1,"jump":7},"check":"suppressed everyone","expected":{"count":1,"jump":7},"passed":true},{"actual":{"count":1,"jump":3},"check":"own everyone ping","expected":{"count":0,"jump":null},"passed":false},{"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\": 1, \"jump\": 7}, \"expected\": {\"count\": 1, \"jump\": 7}, \"passed\": true}, {\"check\": \"own everyone ping\", \"actual\": {\"count\": 1, \"jump\": 3}, \"expected\": {\"count\": 0, \"jump\": null}, \"passed\": false}, {\"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."}}