{"abstract":"Appending an earlier event breaks chronological dispatch.","category":"Audio playback scheduling","checks":4,"contract":"Insert one [frame,event] into time-ordered events; equal timestamps preserve arrival order and do not sort payloads.","contract_signature":"events, incoming","evaluation_group":"xaud-schedule-insert-stable-time-order","failed_approach":"Sorting the full tuple reorders simultaneous events by payload.","family":"xaud-schedule-insert-stable-time-order","id":"FA-10951","implementations":{"attempt":{"sha256":"6a33b13b76672e84b397b30bbe82a0a337fa58bae061b7a955358ba5c2ebe2a0","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport math\nN = 1\nobservations = []\ndef solve(events, incoming):\n    return sorted(list(events)+[incoming])\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('fixture 1',solve(*([[2, 'z'], [4, 'a']], [1, 'b'])),[[1, 'b'], [2, 'z'], [4, 'a']])\ncheck('fixture 2',solve(*([[2, 'z']], [2, 'a'])),[[2, 'z'], [2, 'a']])\ncheck('fixture 3',solve(*([], [0, 'x'])),[[0, 'x']])\ncheck('fixture 4',solve(*([[1, 'a']], [3, 'b'])),[[1, 'a'], [3, 'b']])\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":"07365a36250e1bf24fafa3fb29966970847144dc37b15872a7dce3e1f38407c5","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport math\nN = 1\nobservations = []\ndef solve(events, incoming):\n    return list(events)+[incoming]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('fixture 1',solve(*([[2, 'z'], [4, 'a']], [1, 'b'])),[[1, 'b'], [2, 'z'], [4, 'a']])\ncheck('fixture 2',solve(*([[2, 'z']], [2, 'a'])),[[2, 'z'], [2, 'a']])\ncheck('fixture 3',solve(*([], [0, 'x'])),[[0, 'x']])\ncheck('fixture 4',solve(*([[1, 'a']], [3, 'b'])),[[1, 'a'], [3, 'b']])\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":" 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":"xaud-schedule-insert-stable-time-order","generated_at":"2026-09-29T14:38:43.719437+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"A pure Python local audio pipeline stage with explicit sample formats and frame conventions; no real-time device or signal-spectrum claims.","root_cause":"Appending an earlier event breaks chronological dispatch.","sha256":"0ae1ce2af5cf80ec7b572e257b6bb05888783dc01e55c876d5ee724c6f1655ef","title":"Schedule insert stable time order · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verified":true,"visibility":"public","verification":{"attempt":{"elapsed_ms":42.058,"exit_code":1,"observations":[{"actual":[[1,"b"],[2,"z"],[4,"a"]],"check":"fixture 1","expected":[[1,"b"],[2,"z"],[4,"a"]],"passed":true},{"actual":[[2,"a"],[2,"z"]],"check":"fixture 2","expected":[[2,"z"],[2,"a"]],"passed":false},{"actual":[[0,"x"]],"check":"fixture 3","expected":[[0,"x"]],"passed":true},{"actual":[[1,"a"],[3,"b"]],"check":"fixture 4","expected":[[1,"a"],[3,"b"]],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"fixture 1\", \"actual\": [[1, \"b\"], [2, \"z\"], [4, \"a\"]], \"expected\": [[1, \"b\"], [2, \"z\"], [4, \"a\"]], \"passed\": true}, {\"check\": \"fixture 2\", \"actual\": [[2, \"a\"], [2, \"z\"]], \"expected\": [[2, \"z\"], [2, \"a\"]], \"passed\": false}, {\"check\": \"fixture 3\", \"actual\": [[0, \"x\"]], \"expected\": [[0, \"x\"]], \"passed\": true}, {\"check\": \"fixture 4\", \"actual\": [[1, \"a\"], [3, \"b\"]], \"expected\": [[1, \"a\"], [3, \"b\"]], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":37.978,"exit_code":1,"observations":[{"actual":[[2,"z"],[4,"a"],[1,"b"]],"check":"fixture 1","expected":[[1,"b"],[2,"z"],[4,"a"]],"passed":false},{"actual":[[2,"z"],[2,"a"]],"check":"fixture 2","expected":[[2,"z"],[2,"a"]],"passed":true},{"actual":[[0,"x"]],"check":"fixture 3","expected":[[0,"x"]],"passed":true},{"actual":[[1,"a"],[3,"b"]],"check":"fixture 4","expected":[[1,"a"],[3,"b"]],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"fixture 1\", \"actual\": [[2, \"z\"], [4, \"a\"], [1, \"b\"]], \"expected\": [[1, \"b\"], [2, \"z\"], [4, \"a\"]], \"passed\": false}, {\"check\": \"fixture 2\", \"actual\": [[2, \"z\"], [2, \"a\"]], \"expected\": [[2, \"z\"], [2, \"a\"]], \"passed\": true}, {\"check\": \"fixture 3\", \"actual\": [[0, \"x\"]], \"expected\": [[0, \"x\"]], \"passed\": true}, {\"check\": \"fixture 4\", \"actual\": [[1, \"a\"], [3, \"b\"]], \"expected\": [[1, \"a\"], [3, \"b\"]], \"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."}}