{"name":"Failure Map","version":"2026.09.3","count":97840,"public_count":19568,"families":19568,"generated_at":"2026-09-29T14:52:36.505830+00:00","license":"CC0-1.0","python":"3.12.14","evaluation_groups":4524,"category_count":224,"method":"97840 executable case variants across 19568 mechanisms; 293520 actual executions.","cases":[{"id":"FA-001","family":"idempotency","evaluation_group":"model-f4f1a054b861d854","variant":1,"category":"Queues","title":"Duplicate delivery changes an aggregate · case 01","abstract":"A replayed event increases a total that should change once per event identity.","visibility":"public","verified":true,"checks":3,"sha256":"392ecea4c3b80d482671512f7aa82cc0029e5117b51cc864c2cb16ff250f7271"},{"id":"FA-002","family":"idempotency","evaluation_group":"model-f4f1a054b861d854","variant":2,"category":"Queues","title":"Duplicate delivery changes an aggregate · case 02","abstract":"A replayed event increases a total that should change once per event identity.","visibility":"private","verified":true,"checks":3,"sha256":"2c02dcb5d5dfeea903381f03d5ecbbad029f0991ee1e4fcf2ac758507dea4a0e"},{"id":"FA-003","family":"idempotency","evaluation_group":"model-f4f1a054b861d854","variant":3,"category":"Queues","title":"Duplicate delivery changes an aggregate · case 03","abstract":"A replayed event increases a total that should change once per event identity.","visibility":"private","verified":true,"checks":3,"sha256":"7c3a9ca271104e07aa63a5fc0a3b0be155cfa0f40f41e6d3a878f609274837d7"},{"id":"FA-004","family":"idempotency","evaluation_group":"model-f4f1a054b861d854","variant":4,"category":"Queues","title":"Duplicate delivery changes an aggregate · case 04","abstract":"A replayed event increases a total that should change once per event identity.","visibility":"private","verified":true,"checks":3,"sha256":"ca71c12b2f53cea441f731c5ce526652d85953c26681837b0bdeee43cafd659c"},{"id":"FA-005","family":"idempotency","evaluation_group":"model-f4f1a054b861d854","variant":5,"category":"Queues","title":"Duplicate delivery changes an aggregate · case 05","abstract":"A replayed event increases a total that should change once per event identity.","visibility":"private","verified":true,"checks":3,"sha256":"26a75b9c0b1c3ba0bfe740747ff84f6567a2437af85bb106ccbe4f7ba29ca0c2"},{"id":"FA-006","family":"ttl-boundary","evaluation_group":"model-cb10a90c54731159","variant":1,"category":"Caching","title":"An expired cache entry survives its deadline · case 01","abstract":"An entry remains visible at precisely its expiration instant.","visibility":"public","verified":true,"checks":3,"sha256":"2945a1c4c96085530fcadb1a4d493c4c79a2df79c99c40d429dc8b71c13bd947"},{"id":"FA-007","family":"ttl-boundary","evaluation_group":"model-cb10a90c54731159","variant":2,"category":"Caching","title":"An expired cache entry survives its deadline · case 02","abstract":"An entry remains visible at precisely its expiration instant.","visibility":"private","verified":true,"checks":3,"sha256":"3d0884be0bb4f43f32a4c9d905b18cd5e45375522711717f452076e5783c7e2e"},{"id":"FA-008","family":"ttl-boundary","evaluation_group":"model-cb10a90c54731159","variant":3,"category":"Caching","title":"An expired cache entry survives its deadline · case 03","abstract":"An entry remains visible at precisely its expiration instant.","visibility":"private","verified":true,"checks":3,"sha256":"768521ee620e05d664a97acdcf904360ef187f5be342141ec471705a65ff0c5a"},{"id":"FA-009","family":"ttl-boundary","evaluation_group":"model-cb10a90c54731159","variant":4,"category":"Caching","title":"An expired cache entry survives its deadline · case 04","abstract":"An entry remains visible at precisely its expiration instant.","visibility":"private","verified":true,"checks":3,"sha256":"e404453de474f968881d2b7029efb7fbf59e3209d42ab1258d38a59d806db788"},{"id":"FA-010","family":"ttl-boundary","evaluation_group":"model-cb10a90c54731159","variant":5,"category":"Caching","title":"An expired cache entry survives its deadline · case 05","abstract":"An entry remains visible at precisely its expiration instant.","visibility":"private","verified":true,"checks":3,"sha256":"c83aa28c07321ef66a1fa2671ca679c1789ed3bf82e3d9e33248087784e6c0d8"},{"id":"FA-011","family":"cursor-ties","evaluation_group":"model-4d18ba257272c9fc","variant":1,"category":"Data systems","title":"A cursor skips records with equal sort keys · case 01","abstract":"The next page omits records sharing the final sort key of the previous page.","visibility":"public","verified":true,"checks":3,"sha256":"42ec68c8b0917bdcac3ec1bf7a1fb11874f2da91451a7a6ad37c758520fe2f41"},{"id":"FA-012","family":"cursor-ties","evaluation_group":"model-4d18ba257272c9fc","variant":2,"category":"Data systems","title":"A cursor skips records with equal sort keys · case 02","abstract":"The next page omits records sharing the final sort key of the previous page.","visibility":"private","verified":true,"checks":3,"sha256":"95917f12545540e60348cc2521a0ba174d5329a47bf1aeb34d46bfeef31e83c1"},{"id":"FA-013","family":"cursor-ties","evaluation_group":"model-4d18ba257272c9fc","variant":3,"category":"Data systems","title":"A cursor skips records with equal sort keys · case 03","abstract":"The next page omits records sharing the final sort key of the previous page.","visibility":"private","verified":true,"checks":3,"sha256":"b9cb10e15b943580918e5c9d17618643e8c29c37ca923fc2595d3a0059f1e320"},{"id":"FA-014","family":"cursor-ties","evaluation_group":"model-4d18ba257272c9fc","variant":4,"category":"Data systems","title":"A cursor skips records with equal sort keys · case 04","abstract":"The next page omits records sharing the final sort key of the previous page.","visibility":"private","verified":true,"checks":3,"sha256":"9615f12a34d558998033a8cc84345cd9788c54f4db6eb1b1a242d3d68a9356c9"},{"id":"FA-015","family":"cursor-ties","evaluation_group":"model-4d18ba257272c9fc","variant":5,"category":"Data systems","title":"A cursor skips records with equal sort keys · case 05","abstract":"The next page omits records sharing the final sort key of the previous page.","visibility":"private","verified":true,"checks":3,"sha256":"2eb10ba175600a6186943739b318a1e4a9d34c36725d79f0de42c3100d2d7b1b"},{"id":"FA-016","family":"lost-update","evaluation_group":"model-acda882c06bc5737","variant":1,"category":"Concurrency","title":"Stale snapshots erase a counter increment · case 01","abstract":"Two updates calculated from the same snapshot leave only one increment.","visibility":"public","verified":true,"checks":3,"sha256":"a9068f0b8bfe1d0684ddc19163ba50fd472eda5f439d5567b15c587a8e2866af"},{"id":"FA-017","family":"lost-update","evaluation_group":"model-acda882c06bc5737","variant":2,"category":"Concurrency","title":"Stale snapshots erase a counter increment · case 02","abstract":"Two updates calculated from the same snapshot leave only one increment.","visibility":"private","verified":true,"checks":3,"sha256":"996679b02db7168988eb90d6f2f0f9046a7ede1b4b33e9a3c7d17d9e31ff3d5c"},{"id":"FA-018","family":"lost-update","evaluation_group":"model-acda882c06bc5737","variant":3,"category":"Concurrency","title":"Stale snapshots erase a counter increment · case 03","abstract":"Two updates calculated from the same snapshot leave only one increment.","visibility":"private","verified":true,"checks":3,"sha256":"79dc22e0e4acb8a1f3a12a0c0b081385f5f30098d95b62752f5d85066a8aa081"},{"id":"FA-019","family":"lost-update","evaluation_group":"model-acda882c06bc5737","variant":4,"category":"Concurrency","title":"Stale snapshots erase a counter increment · case 04","abstract":"Two updates calculated from the same snapshot leave only one increment.","visibility":"private","verified":true,"checks":3,"sha256":"e39e88d97e5927c68e0467a3e27d3b6f89d0dbce6f531b1daefa2e9d629d55c9"},{"id":"FA-020","family":"lost-update","evaluation_group":"model-acda882c06bc5737","variant":5,"category":"Concurrency","title":"Stale snapshots erase a counter increment · case 05","abstract":"Two updates calculated from the same snapshot leave only one increment.","visibility":"private","verified":true,"checks":3,"sha256":"a8fe2dcc3ec641241d03e55ca59f3c2daaa0a60ce3062c248e7d2b032c5efbc0"},{"id":"FA-021","family":"decimal-rounding","evaluation_group":"model-a70522958bb0dbed","variant":1,"category":"Numerics","title":"A decimal halfway value rounds downward · case 01","abstract":"A value specified as a decimal rounds below the required half-up result.","visibility":"public","verified":true,"checks":3,"sha256":"4841f5465756b6c2031f4d88cd0db40c73962807ec2e1f25caff6c106bdc4a7a"},{"id":"FA-022","family":"decimal-rounding","evaluation_group":"model-a70522958bb0dbed","variant":2,"category":"Numerics","title":"A decimal halfway value rounds downward · case 02","abstract":"A value specified as a decimal rounds below the required half-up result.","visibility":"private","verified":true,"checks":3,"sha256":"ce85b3e2ef29ad85b43852f81d39fe57e2502fba7c12dcc4dbb0f439dcd5e09c"},{"id":"FA-023","family":"decimal-rounding","evaluation_group":"model-a70522958bb0dbed","variant":3,"category":"Numerics","title":"A decimal halfway value rounds downward · case 03","abstract":"A value specified as a decimal rounds below the required half-up result.","visibility":"private","verified":true,"checks":3,"sha256":"e21f047ef76640a42e28a8aadd246a4ee4260df9bfc259d27222bc159f615aaf"},{"id":"FA-024","family":"decimal-rounding","evaluation_group":"model-a70522958bb0dbed","variant":4,"category":"Numerics","title":"A decimal halfway value rounds downward · case 04","abstract":"A value specified as a decimal rounds below the required half-up result.","visibility":"private","verified":true,"checks":3,"sha256":"9c9a57da145090bf4121e8f06cf3961085b73327963454ff1f649f3a2a2e25ca"},{"id":"FA-025","family":"decimal-rounding","evaluation_group":"model-a70522958bb0dbed","variant":5,"category":"Numerics","title":"A decimal halfway value rounds downward · case 05","abstract":"A value specified as a decimal rounds below the required half-up result.","visibility":"private","verified":true,"checks":3,"sha256":"3fad251e47d499d4f61eac7d18ab1c2c0bfef210a50256d8b38de6a77af03e44"},{"id":"FA-026","family":"unicode-identity","evaluation_group":"model-b1337d8244951c2e","variant":1,"category":"Text processing","title":"Equivalent names create separate identities · case 01","abstract":"Case and Unicode composition produce multiple identities for equivalent names.","visibility":"public","verified":true,"checks":3,"sha256":"1d485484ea1a1f0634d95a8d3cb8854a9d6ca356af9e3e002cb09b1dc1c29cc1"},{"id":"FA-027","family":"unicode-identity","evaluation_group":"model-b1337d8244951c2e","variant":2,"category":"Text processing","title":"Equivalent names create separate identities · case 02","abstract":"Case and Unicode composition produce multiple identities for equivalent names.","visibility":"private","verified":true,"checks":3,"sha256":"599a01fe8c35d798eb27f895df596f84964f22d5bc2e4c751102804695634b42"},{"id":"FA-028","family":"unicode-identity","evaluation_group":"model-b1337d8244951c2e","variant":3,"category":"Text processing","title":"Equivalent names create separate identities · case 03","abstract":"Case and Unicode composition produce multiple identities for equivalent names.","visibility":"private","verified":true,"checks":3,"sha256":"df7aa632a3cc65ac46ffc3e84c73ca3130b7f760d3dc4cd56e90696c216084f9"},{"id":"FA-029","family":"unicode-identity","evaluation_group":"model-b1337d8244951c2e","variant":4,"category":"Text processing","title":"Equivalent names create separate identities · case 04","abstract":"Case and Unicode composition produce multiple identities for equivalent names.","visibility":"private","verified":true,"checks":3,"sha256":"f1468ff040002363f38be8651a82c3c31b500c4529a2511c6e1401a9c24371ef"},{"id":"FA-030","family":"unicode-identity","evaluation_group":"model-b1337d8244951c2e","variant":5,"category":"Text processing","title":"Equivalent names create separate identities · case 05","abstract":"Case and Unicode composition produce multiple identities for equivalent names.","visibility":"private","verified":true,"checks":3,"sha256":"e5913ec4e54a9cd389fadafe134a58bbad769310605de4d6751ed00396f67ff4"},{"id":"FA-031","family":"checkpoint","evaluation_group":"model-bea795411b7c52e2","variant":1,"category":"Queues","title":"A checkpoint advances past an unacknowledged item · case 01","abstract":"After a partial batch failure, resumption skips work that never completed.","visibility":"public","verified":true,"checks":3,"sha256":"44398ab763239ec3caeec50546a53c44e613098bcb472e440de543474d9fd16e"},{"id":"FA-032","family":"checkpoint","evaluation_group":"model-bea795411b7c52e2","variant":2,"category":"Queues","title":"A checkpoint advances past an unacknowledged item · case 02","abstract":"After a partial batch failure, resumption skips work that never completed.","visibility":"private","verified":true,"checks":3,"sha256":"609f50b9dc025154f8a6b27c2431980f3ac035b7c8191be963d106ccb1fc1aaa"},{"id":"FA-033","family":"checkpoint","evaluation_group":"model-bea795411b7c52e2","variant":3,"category":"Queues","title":"A checkpoint advances past an unacknowledged item · case 03","abstract":"After a partial batch failure, resumption skips work that never completed.","visibility":"private","verified":true,"checks":3,"sha256":"7cd631b8dfdf5ed477e5768af33af4e8d9e38bf83ded1cd9074b3bbfc65b3b1e"},{"id":"FA-034","family":"checkpoint","evaluation_group":"model-bea795411b7c52e2","variant":4,"category":"Queues","title":"A checkpoint advances past an unacknowledged item · case 04","abstract":"After a partial batch failure, resumption skips work that never completed.","visibility":"private","verified":true,"checks":3,"sha256":"304555e816fc8c9ff0e7344b231ce0ca0d7f303ae3425b94e8683c6d29183384"},{"id":"FA-035","family":"checkpoint","evaluation_group":"model-bea795411b7c52e2","variant":5,"category":"Queues","title":"A checkpoint advances past an unacknowledged item · case 05","abstract":"After a partial batch failure, resumption skips work that never completed.","visibility":"private","verified":true,"checks":3,"sha256":"fef6e5cf18e9f959fc49b9004e91235ea8f6aa3b290c1fb55f82d2a7c6425746"},{"id":"FA-036","family":"window-boundary","evaluation_group":"model-21d4faf29b891e6b","variant":1,"category":"Data systems","title":"Adjacent windows count a boundary twice · case 01","abstract":"A sample on a shared boundary is counted in both adjacent windows.","visibility":"public","verified":true,"checks":3,"sha256":"88fc21721db3dcf4c80fa20c3df23bd15ca587760b02578e821f05f103a2af36"},{"id":"FA-037","family":"window-boundary","evaluation_group":"model-21d4faf29b891e6b","variant":2,"category":"Data systems","title":"Adjacent windows count a boundary twice · case 02","abstract":"A sample on a shared boundary is counted in both adjacent windows.","visibility":"private","verified":true,"checks":3,"sha256":"130446500f7165d76657f77e3c0d4ab48708c501f89e584ae1b19882b182889d"},{"id":"FA-038","family":"window-boundary","evaluation_group":"model-21d4faf29b891e6b","variant":3,"category":"Data systems","title":"Adjacent windows count a boundary twice · case 03","abstract":"A sample on a shared boundary is counted in both adjacent windows.","visibility":"private","verified":true,"checks":3,"sha256":"d06c706094070c115d7daac3d7dd583a71d53f3cad66a7c680c6b7f620973155"},{"id":"FA-039","family":"window-boundary","evaluation_group":"model-21d4faf29b891e6b","variant":4,"category":"Data systems","title":"Adjacent windows count a boundary twice · case 04","abstract":"A sample on a shared boundary is counted in both adjacent windows.","visibility":"private","verified":true,"checks":3,"sha256":"63623c0a4e5948ac10df5f351f70d5ffa8db4abaa30839a187ccabe4cfd22418"},{"id":"FA-040","family":"window-boundary","evaluation_group":"model-21d4faf29b891e6b","variant":5,"category":"Data systems","title":"Adjacent windows count a boundary twice · case 05","abstract":"A sample on a shared boundary is counted in both adjacent windows.","visibility":"private","verified":true,"checks":3,"sha256":"54fe96a37e82990f8f22280faf5cf36c8b8e20d78571b0ba04a1e29a9b5e29e9"},{"id":"FA-041","family":"retry-backoff","evaluation_group":"model-d84170a834ec4717","variant":1,"category":"Reliability","title":"A retry counter produces an unbounded delay · case 01","abstract":"Repeated failures produce a retry delay larger than the configured limit.","visibility":"public","verified":true,"checks":3,"sha256":"512599dc4f465759f7aeffa1d57b8a39a6b50f4b39a4f4dc26fcd99a2c360d20"},{"id":"FA-042","family":"retry-backoff","evaluation_group":"model-d84170a834ec4717","variant":2,"category":"Reliability","title":"A retry counter produces an unbounded delay · case 02","abstract":"Repeated failures produce a retry delay larger than the configured limit.","visibility":"private","verified":true,"checks":3,"sha256":"283506ce76a64ce93b4d5f951b696d89790201a94fe9cb7204accf33771b4f82"},{"id":"FA-043","family":"retry-backoff","evaluation_group":"model-d84170a834ec4717","variant":3,"category":"Reliability","title":"A retry counter produces an unbounded delay · case 03","abstract":"Repeated failures produce a retry delay larger than the configured limit.","visibility":"private","verified":true,"checks":3,"sha256":"ce681b3efcf1fb80044cb0f3a8bd9a814b9cc9028b7a8daca1d2283c733912e9"},{"id":"FA-044","family":"retry-backoff","evaluation_group":"model-d84170a834ec4717","variant":4,"category":"Reliability","title":"A retry counter produces an unbounded delay · case 04","abstract":"Repeated failures produce a retry delay larger than the configured limit.","visibility":"private","verified":true,"checks":3,"sha256":"b26282e729b98aef4cc29890bc873cc85cb13dc0f5bc2bcf97bf3eeee3af0dee"},{"id":"FA-045","family":"retry-backoff","evaluation_group":"model-d84170a834ec4717","variant":5,"category":"Reliability","title":"A retry counter produces an unbounded delay · case 05","abstract":"Repeated failures produce a retry delay larger than the configured limit.","visibility":"private","verified":true,"checks":3,"sha256":"635f71194563f54f8719ad8b883000afc3d9232cd32f256abfb90542fa4d61ce"},{"id":"FA-046","family":"missing-values","evaluation_group":"model-e942c32c460c4012","variant":1,"category":"Numerics","title":"Missing measurements bias a mean · case 01","abstract":"Absent measurements change the mean even though no observation was recorded.","visibility":"public","verified":true,"checks":3,"sha256":"8a8e014b55285512649397e413207249f25999ca4f64072cebf460212fbb3c71"},{"id":"FA-047","family":"missing-values","evaluation_group":"model-e942c32c460c4012","variant":2,"category":"Numerics","title":"Missing measurements bias a mean · case 02","abstract":"Absent measurements change the mean even though no observation was recorded.","visibility":"private","verified":true,"checks":3,"sha256":"62d7185bc2529538127bb8f202e72f5e6a960f090ea6a2de2ceaddbe4724a92e"},{"id":"FA-048","family":"missing-values","evaluation_group":"model-e942c32c460c4012","variant":3,"category":"Numerics","title":"Missing measurements bias a mean · case 03","abstract":"Absent measurements change the mean even though no observation was recorded.","visibility":"private","verified":true,"checks":3,"sha256":"83ca581485ef3144c17317cec9ec0272fc003db0f6e7cc14d20f31285a85c7df"},{"id":"FA-049","family":"missing-values","evaluation_group":"model-e942c32c460c4012","variant":4,"category":"Numerics","title":"Missing measurements bias a mean · case 04","abstract":"Absent measurements change the mean even though no observation was recorded.","visibility":"private","verified":true,"checks":3,"sha256":"4b5401f32a4a72138c49be3773283d3eb1f23b8807fc6a1cd14d4cb409d3238b"},{"id":"FA-050","family":"missing-values","evaluation_group":"model-e942c32c460c4012","variant":5,"category":"Numerics","title":"Missing measurements bias a mean · case 05","abstract":"Absent measurements change the mean even though no observation was recorded.","visibility":"private","verified":true,"checks":3,"sha256":"da580bc3d590d8be02ed6f5aa9c0b240c21bc1a2e08a3bc2680e9683f63dd683"},{"id":"FA-051","family":"dist-fencing-epoch","evaluation_group":"model-d914f8dd50ece37b","variant":1,"category":"Distributed coordination","title":"A revoked writer overwrites its successor's state · case 01","abstract":"An old lease holder writes after a higher fencing epoch has already committed.","visibility":"public","verified":true,"checks":6,"sha256":"d494bdf725c04e518bedda59735f4657dbcf208fc3e8324c78a48bb3e3c2924c"},{"id":"FA-052","family":"dist-fencing-epoch","evaluation_group":"model-d914f8dd50ece37b","variant":2,"category":"Distributed coordination","title":"A revoked writer overwrites its successor's state · case 02","abstract":"An old lease holder writes after a higher fencing epoch has already committed.","visibility":"private","verified":true,"checks":6,"sha256":"6c1907736267c12934f51656f4786024a908ca4b217260e2cce71c5f4f3ccc50"},{"id":"FA-053","family":"dist-fencing-epoch","evaluation_group":"model-d914f8dd50ece37b","variant":3,"category":"Distributed coordination","title":"A revoked writer overwrites its successor's state · case 03","abstract":"An old lease holder writes after a higher fencing epoch has already committed.","visibility":"private","verified":true,"checks":6,"sha256":"84ea828476f6e845a425623807a0c1207214e6657ce82ee9447ff7709cdcf42e"},{"id":"FA-054","family":"dist-fencing-epoch","evaluation_group":"model-d914f8dd50ece37b","variant":4,"category":"Distributed coordination","title":"A revoked writer overwrites its successor's state · case 04","abstract":"An old lease holder writes after a higher fencing epoch has already committed.","visibility":"private","verified":true,"checks":6,"sha256":"827c7b3fb96637b26b4205c0f74329809b596d790093c2f4a8bd08f41cd2d535"},{"id":"FA-055","family":"dist-fencing-epoch","evaluation_group":"model-d914f8dd50ece37b","variant":5,"category":"Distributed coordination","title":"A revoked writer overwrites its successor's state · case 05","abstract":"An old lease holder writes after a higher fencing epoch has already committed.","visibility":"private","verified":true,"checks":6,"sha256":"bba0f8a9843b29c413a3964d7d59b9b2b8dd8570d83286755ed9e7b00d62fd56"},{"id":"FA-056","family":"dist-lease-renewal-aba","evaluation_group":"model-32fcdd36da6b322c","variant":1,"category":"Distributed coordination","title":"A stale renewal extends a later incarnation of a lease · case 01","abstract":"A delayed renewal is accepted after the same worker name has reacquired the lease.","visibility":"public","verified":true,"checks":6,"sha256":"9be317b3f1124ad1133df32d89092ee44ed30d0fa8e0ee3804cd8f08909d3574"},{"id":"FA-057","family":"dist-lease-renewal-aba","evaluation_group":"model-32fcdd36da6b322c","variant":2,"category":"Distributed coordination","title":"A stale renewal extends a later incarnation of a lease · case 02","abstract":"A delayed renewal is accepted after the same worker name has reacquired the lease.","visibility":"private","verified":true,"checks":6,"sha256":"66aacafbe1ba9d2e37e87647d702c58f002a7adcef4367fe5561d19b4cc7aa4b"},{"id":"FA-058","family":"dist-lease-renewal-aba","evaluation_group":"model-32fcdd36da6b322c","variant":3,"category":"Distributed coordination","title":"A stale renewal extends a later incarnation of a lease · case 03","abstract":"A delayed renewal is accepted after the same worker name has reacquired the lease.","visibility":"private","verified":true,"checks":6,"sha256":"6fcf7ce1b97d8f0378d3c4a4bded69ce15ca616476d9e6b1e2797c2fac4e1dc5"},{"id":"FA-059","family":"dist-lease-renewal-aba","evaluation_group":"model-32fcdd36da6b322c","variant":4,"category":"Distributed coordination","title":"A stale renewal extends a later incarnation of a lease · case 04","abstract":"A delayed renewal is accepted after the same worker name has reacquired the lease.","visibility":"private","verified":true,"checks":6,"sha256":"3ab83c8db3297ba19db814eb74fe9ebde1e7b6dd4801db2bc89eb80ad54be7e3"},{"id":"FA-060","family":"dist-lease-renewal-aba","evaluation_group":"model-32fcdd36da6b322c","variant":5,"category":"Distributed coordination","title":"A stale renewal extends a later incarnation of a lease · case 05","abstract":"A delayed renewal is accepted after the same worker name has reacquired the lease.","visibility":"private","verified":true,"checks":6,"sha256":"62e1554f0f4b1b95c7251f393f9ad1e642a938dde62ba2ca1b6159e9a499f485"},{"id":"FA-061","family":"dist-vector-clock-order","evaluation_group":"model-b10ca64c5437ec91","variant":1,"category":"Distributed coordination","title":"Concurrent revisions are mistaken for causal successors · case 01","abstract":"A scalar or lexicographic comparison imposes an order on independent replica updates.","visibility":"public","verified":true,"checks":7,"sha256":"8260dca246bf4f4d26d971caea78f960070d40214b640526a28599e6f358159d"},{"id":"FA-062","family":"dist-vector-clock-order","evaluation_group":"model-b10ca64c5437ec91","variant":2,"category":"Distributed coordination","title":"Concurrent revisions are mistaken for causal successors · case 02","abstract":"A scalar or lexicographic comparison imposes an order on independent replica updates.","visibility":"private","verified":true,"checks":7,"sha256":"5f3320b18a65c66adfdf44e4dd3dadf8e986fd70b7811f12afd5e43f522234c7"},{"id":"FA-063","family":"dist-vector-clock-order","evaluation_group":"model-b10ca64c5437ec91","variant":3,"category":"Distributed coordination","title":"Concurrent revisions are mistaken for causal successors · case 03","abstract":"A scalar or lexicographic comparison imposes an order on independent replica updates.","visibility":"private","verified":true,"checks":7,"sha256":"d3a76d991e58c37d6b2f7072b4cae338f5695cd95dacd4d79e88f45b7922f4fd"},{"id":"FA-064","family":"dist-vector-clock-order","evaluation_group":"model-b10ca64c5437ec91","variant":4,"category":"Distributed coordination","title":"Concurrent revisions are mistaken for causal successors · case 04","abstract":"A scalar or lexicographic comparison imposes an order on independent replica updates.","visibility":"private","verified":true,"checks":7,"sha256":"bfc0451b6a07559a6f2c0cc6ec1d9b79763a0c8af7626881f1041171746a2825"},{"id":"FA-065","family":"dist-vector-clock-order","evaluation_group":"model-b10ca64c5437ec91","variant":5,"category":"Distributed coordination","title":"Concurrent revisions are mistaken for causal successors · case 05","abstract":"A scalar or lexicographic comparison imposes an order on independent replica updates.","visibility":"private","verified":true,"checks":7,"sha256":"c962e4932500b20e554583a2acaeb8547b204361b3b83575b713963f171a34dc"},{"id":"FA-066","family":"dist-quorum-eligible-votes","evaluation_group":"model-cfae8736e001c4dc","variant":1,"category":"Distributed coordination","title":"Duplicate or foreign ballots manufacture a quorum · case 01","abstract":"A coordinator declares a decision after counting retries or ballots from outside the membership.","visibility":"public","verified":true,"checks":8,"sha256":"a259764003798ac762f6eeb69c38adbdf4be596b3dd6c4f52a01aa988715c27f"},{"id":"FA-067","family":"dist-quorum-eligible-votes","evaluation_group":"model-cfae8736e001c4dc","variant":2,"category":"Distributed coordination","title":"Duplicate or foreign ballots manufacture a quorum · case 02","abstract":"A coordinator declares a decision after counting retries or ballots from outside the membership.","visibility":"private","verified":true,"checks":8,"sha256":"89fd6c89994856eacc4a87aa66959dc6962f9c5785a526f0dd2532c4aa30ffc2"},{"id":"FA-068","family":"dist-quorum-eligible-votes","evaluation_group":"model-cfae8736e001c4dc","variant":3,"category":"Distributed coordination","title":"Duplicate or foreign ballots manufacture a quorum · case 03","abstract":"A coordinator declares a decision after counting retries or ballots from outside the membership.","visibility":"private","verified":true,"checks":8,"sha256":"9966c199d96e2d120ab328631d0e5b7ad597c3d158b53b94c08eee666718330d"},{"id":"FA-069","family":"dist-quorum-eligible-votes","evaluation_group":"model-cfae8736e001c4dc","variant":4,"category":"Distributed coordination","title":"Duplicate or foreign ballots manufacture a quorum · case 04","abstract":"A coordinator declares a decision after counting retries or ballots from outside the membership.","visibility":"private","verified":true,"checks":8,"sha256":"265b752b255a12eebdd4899fa038cb2123ccfbe2a9b1420e388ca4b62ea643d9"},{"id":"FA-070","family":"dist-quorum-eligible-votes","evaluation_group":"model-cfae8736e001c4dc","variant":5,"category":"Distributed coordination","title":"Duplicate or foreign ballots manufacture a quorum · case 05","abstract":"A coordinator declares a decision after counting retries or ballots from outside the membership.","visibility":"private","verified":true,"checks":8,"sha256":"5800658440b128d2ee7038d790dbd7d5ce4615300400b66b82f35d410f53e196"},{"id":"FA-071","family":"dist-monotonic-read-routing","evaluation_group":"model-d101a1b7b33da9b3","variant":1,"category":"Distributed coordination","title":"Failover routes a session behind its observed version · case 01","abstract":"The fastest replica returns data older than a version this session has already seen.","visibility":"public","verified":true,"checks":7,"sha256":"09669a25f5a3049cd5d1ff96fa31a7d176243acb887fea0f9487011088eb3cea"},{"id":"FA-072","family":"dist-monotonic-read-routing","evaluation_group":"model-d101a1b7b33da9b3","variant":2,"category":"Distributed coordination","title":"Failover routes a session behind its observed version · case 02","abstract":"The fastest replica returns data older than a version this session has already seen.","visibility":"private","verified":true,"checks":7,"sha256":"98f8fdfef8a0d1fb1d81b5d0a86ce26d1fcf86c0102b81bf4d52b0017bb700ad"},{"id":"FA-073","family":"dist-monotonic-read-routing","evaluation_group":"model-d101a1b7b33da9b3","variant":3,"category":"Distributed coordination","title":"Failover routes a session behind its observed version · case 03","abstract":"The fastest replica returns data older than a version this session has already seen.","visibility":"private","verified":true,"checks":7,"sha256":"141ed1076ded28a13e5af7638c87f003715b57861241724ab590646c0fd696d4"},{"id":"FA-074","family":"dist-monotonic-read-routing","evaluation_group":"model-d101a1b7b33da9b3","variant":4,"category":"Distributed coordination","title":"Failover routes a session behind its observed version · case 04","abstract":"The fastest replica returns data older than a version this session has already seen.","visibility":"private","verified":true,"checks":7,"sha256":"4f4c2ab95e32fd60475d6f63415f3bc2a7054c8339580ad74c30338ed46f4eef"},{"id":"FA-075","family":"dist-monotonic-read-routing","evaluation_group":"model-d101a1b7b33da9b3","variant":5,"category":"Distributed coordination","title":"Failover routes a session behind its observed version · case 05","abstract":"The fastest replica returns data older than a version this session has already seen.","visibility":"private","verified":true,"checks":7,"sha256":"3c9ca31d23355466717389686f7485f8c91972a7b9b3ad5b14a38fc571bd7917"},{"id":"FA-076","family":"dist-tombstone-reconciliation","evaluation_group":"model-e2f64c3fe46b7064","variant":1,"category":"Distributed coordination","title":"Read repair resurrects a deleted record · case 01","abstract":"A surviving old value wins because the merge removes deletion markers before comparing versions.","visibility":"public","verified":true,"checks":7,"sha256":"88aa78c61a37e369d20aa160fa77c631a86852117a06892198877921662b79ef"},{"id":"FA-077","family":"dist-tombstone-reconciliation","evaluation_group":"model-e2f64c3fe46b7064","variant":2,"category":"Distributed coordination","title":"Read repair resurrects a deleted record · case 02","abstract":"A surviving old value wins because the merge removes deletion markers before comparing versions.","visibility":"private","verified":true,"checks":7,"sha256":"6550da28a440ce048d3814aa1b9b88f33574d6c760ee3a7abc39492bc0e50d43"},{"id":"FA-078","family":"dist-tombstone-reconciliation","evaluation_group":"model-e2f64c3fe46b7064","variant":3,"category":"Distributed coordination","title":"Read repair resurrects a deleted record · case 03","abstract":"A surviving old value wins because the merge removes deletion markers before comparing versions.","visibility":"private","verified":true,"checks":7,"sha256":"f24aaf4dace315610bc8378c322d65886a063ac333473ab69355faac447a0c41"},{"id":"FA-079","family":"dist-tombstone-reconciliation","evaluation_group":"model-e2f64c3fe46b7064","variant":4,"category":"Distributed coordination","title":"Read repair resurrects a deleted record · case 04","abstract":"A surviving old value wins because the merge removes deletion markers before comparing versions.","visibility":"private","verified":true,"checks":7,"sha256":"957309e34f2a90cb83907dbae887b55f6edeb6e754b9a26f361e7d9252ab8061"},{"id":"FA-080","family":"dist-tombstone-reconciliation","evaluation_group":"model-e2f64c3fe46b7064","variant":5,"category":"Distributed coordination","title":"Read repair resurrects a deleted record · case 05","abstract":"A surviving old value wins because the merge removes deletion markers before comparing versions.","visibility":"private","verified":true,"checks":7,"sha256":"93daed57400eb865b8f7812b616bb998968315a3e7126e9f4bcb5203196e9269"},{"id":"FA-081","family":"dist-shared-fanout-retry-budget","evaluation_group":"model-e1f549083c0f78dc","variant":1,"category":"Distributed coordination","title":"Fanout multiplies a parent request's retry allowance · case 01","abstract":"Every child RPC spends the entire retry budget independently.","visibility":"public","verified":true,"checks":7,"sha256":"fa64d1c41195d91d8253d74f6371e287ed2294966993ee369757172829052ea3"},{"id":"FA-082","family":"dist-shared-fanout-retry-budget","evaluation_group":"model-e1f549083c0f78dc","variant":2,"category":"Distributed coordination","title":"Fanout multiplies a parent request's retry allowance · case 02","abstract":"Every child RPC spends the entire retry budget independently.","visibility":"private","verified":true,"checks":7,"sha256":"95e77153a75328d375dc42efca838e2ed462507574feeecad650bbee66dbfff8"},{"id":"FA-083","family":"dist-shared-fanout-retry-budget","evaluation_group":"model-e1f549083c0f78dc","variant":3,"category":"Distributed coordination","title":"Fanout multiplies a parent request's retry allowance · case 03","abstract":"Every child RPC spends the entire retry budget independently.","visibility":"private","verified":true,"checks":7,"sha256":"edbb4879a0799ae7c20c16d46f177f5be9cb2dbaaf567c673520256add82d05c"},{"id":"FA-084","family":"dist-shared-fanout-retry-budget","evaluation_group":"model-e1f549083c0f78dc","variant":4,"category":"Distributed coordination","title":"Fanout multiplies a parent request's retry allowance · case 04","abstract":"Every child RPC spends the entire retry budget independently.","visibility":"private","verified":true,"checks":7,"sha256":"0916a7ab1921f31731289fc6592b4e4490f30f1e987fc3fba6794651bccda30b"},{"id":"FA-085","family":"dist-shared-fanout-retry-budget","evaluation_group":"model-e1f549083c0f78dc","variant":5,"category":"Distributed coordination","title":"Fanout multiplies a parent request's retry allowance · case 05","abstract":"Every child RPC spends the entire retry budget independently.","visibility":"private","verified":true,"checks":7,"sha256":"d959ef1435751c9b7d2b772f74cc8ce7fb72bf3f89969de81d2f3a5d04993b68"},{"id":"FA-086","family":"dist-inflight-coalescing","evaluation_group":"model-af07ce79b3756c56","variant":1,"category":"Distributed coordination","title":"Overlapping identical reads start duplicate remote jobs · case 01","abstract":"Concurrent callers start separate fetches, or a completed fetch incorrectly absorbs a later request.","visibility":"public","verified":true,"checks":6,"sha256":"bc069681c78394aa0a59d2935f5c719b8b9b57e104f82407271165186be163b0"},{"id":"FA-087","family":"dist-inflight-coalescing","evaluation_group":"model-af07ce79b3756c56","variant":2,"category":"Distributed coordination","title":"Overlapping identical reads start duplicate remote jobs · case 02","abstract":"Concurrent callers start separate fetches, or a completed fetch incorrectly absorbs a later request.","visibility":"private","verified":true,"checks":6,"sha256":"f9dcc0ebda7ed84b4fda4df4ad7d8685a8a5d44c6131d65cdb3cef9b417574be"},{"id":"FA-088","family":"dist-inflight-coalescing","evaluation_group":"model-af07ce79b3756c56","variant":3,"category":"Distributed coordination","title":"Overlapping identical reads start duplicate remote jobs · case 03","abstract":"Concurrent callers start separate fetches, or a completed fetch incorrectly absorbs a later request.","visibility":"private","verified":true,"checks":6,"sha256":"48abc42cd80ed1691aad1c9665134e2da486052e1050bbe8b4a440249e1c4ef1"},{"id":"FA-089","family":"dist-inflight-coalescing","evaluation_group":"model-af07ce79b3756c56","variant":4,"category":"Distributed coordination","title":"Overlapping identical reads start duplicate remote jobs · case 04","abstract":"Concurrent callers start separate fetches, or a completed fetch incorrectly absorbs a later request.","visibility":"private","verified":true,"checks":6,"sha256":"d6bca9e4c43af065ef80ab3fa14916689f66dcd03fe05e8e392c7aedffaee373"},{"id":"FA-090","family":"dist-inflight-coalescing","evaluation_group":"model-af07ce79b3756c56","variant":5,"category":"Distributed coordination","title":"Overlapping identical reads start duplicate remote jobs · case 05","abstract":"Concurrent callers start separate fetches, or a completed fetch incorrectly absorbs a later request.","visibility":"private","verified":true,"checks":6,"sha256":"fd1e1ae43a7075a3229cfee3c22b93c7ec8aad73bc0d6c003e066db9af114cc3"},{"id":"FA-091","family":"dist-ack-assignment-generation","evaluation_group":"model-df2464e237d341a5","variant":1,"category":"Distributed coordination","title":"A revoked consumer acknowledges a new assignment's message · case 01","abstract":"An acknowledgment from a prior assignment is accepted after a rebalance reuses the message identifier.","visibility":"public","verified":true,"checks":7,"sha256":"e3d0978683ccbbfb54d47db6b642fd23e8049c7abfa55734290e0afb4d75974a"},{"id":"FA-092","family":"dist-ack-assignment-generation","evaluation_group":"model-df2464e237d341a5","variant":2,"category":"Distributed coordination","title":"A revoked consumer acknowledges a new assignment's message · case 02","abstract":"An acknowledgment from a prior assignment is accepted after a rebalance reuses the message identifier.","visibility":"private","verified":true,"checks":7,"sha256":"173c4f9d6ff217a9507f6775d7abf123144ec47c61bc8a8997cfc827bd029550"},{"id":"FA-093","family":"dist-ack-assignment-generation","evaluation_group":"model-df2464e237d341a5","variant":3,"category":"Distributed coordination","title":"A revoked consumer acknowledges a new assignment's message · case 03","abstract":"An acknowledgment from a prior assignment is accepted after a rebalance reuses the message identifier.","visibility":"private","verified":true,"checks":7,"sha256":"e94f48217287089a47e900c1eef5af8accb81ea21f7c8f6e467a6bbb20afa809"},{"id":"FA-094","family":"dist-ack-assignment-generation","evaluation_group":"model-df2464e237d341a5","variant":4,"category":"Distributed coordination","title":"A revoked consumer acknowledges a new assignment's message · case 04","abstract":"An acknowledgment from a prior assignment is accepted after a rebalance reuses the message identifier.","visibility":"private","verified":true,"checks":7,"sha256":"93ff7957511b07e49ec1b4543e106e6cecc93661627d2aab7a1708363892117c"},{"id":"FA-095","family":"dist-ack-assignment-generation","evaluation_group":"model-df2464e237d341a5","variant":5,"category":"Distributed coordination","title":"A revoked consumer acknowledges a new assignment's message · case 05","abstract":"An acknowledgment from a prior assignment is accepted after a rebalance reuses the message identifier.","visibility":"private","verified":true,"checks":7,"sha256":"54aeadbb412e38e7d53417cfcb7e9e1d6b4a062c62bbbac0e3cfc46835128243"},{"id":"FA-096","family":"dist-election-term-log-freshness","evaluation_group":"model-e8e00a50a6a39368","variant":1,"category":"Distributed coordination","title":"Election votes prefer a longer but older log · case 01","abstract":"A candidate with more entries from an older term receives a vote over the voter's newer history.","visibility":"public","verified":true,"checks":7,"sha256":"c5dc01051c335042f4298886033411be8f74a4550649d3435ef314119c363588"},{"id":"FA-097","family":"dist-election-term-log-freshness","evaluation_group":"model-e8e00a50a6a39368","variant":2,"category":"Distributed coordination","title":"Election votes prefer a longer but older log · case 02","abstract":"A candidate with more entries from an older term receives a vote over the voter's newer history.","visibility":"private","verified":true,"checks":7,"sha256":"4e66a161d11ccd1cdfbc6346a894d460d870454c0c37c448749261a09ee052f1"},{"id":"FA-098","family":"dist-election-term-log-freshness","evaluation_group":"model-e8e00a50a6a39368","variant":3,"category":"Distributed coordination","title":"Election votes prefer a longer but older log · case 03","abstract":"A candidate with more entries from an older term receives a vote over the voter's newer history.","visibility":"private","verified":true,"checks":7,"sha256":"4aa3eea6979fde6305366a117a1f69f2fc49eb218e11c00e896bfcca40013f96"},{"id":"FA-099","family":"dist-election-term-log-freshness","evaluation_group":"model-e8e00a50a6a39368","variant":4,"category":"Distributed coordination","title":"Election votes prefer a longer but older log · case 04","abstract":"A candidate with more entries from an older term receives a vote over the voter's newer history.","visibility":"private","verified":true,"checks":7,"sha256":"54ea5e8aa9ca8400ccc484b57ec3a61005c77bed7331b9ea644b480c841da97f"},{"id":"FA-100","family":"dist-election-term-log-freshness","evaluation_group":"model-e8e00a50a6a39368","variant":5,"category":"Distributed coordination","title":"Election votes prefer a longer but older log · case 05","abstract":"A candidate with more entries from an older term receives a vote over the voter's newer history.","visibility":"private","verified":true,"checks":7,"sha256":"c5b7bdc426e09a95969279b24c4ea01277db9932f0eceff1726d956357d203df"}],"pagination":{"page":1,"limit":100,"total":97840,"pages":979,"next":"/api/catalog?page=2&limit=100","prev":null}}