jepsen-io/elle має індекс здоров’я 52 зі 100, що відповідає смузі «Помірний». Найвищий показник — Vitality (72/100), найнижчий — AI Readiness (28/100). Останнє оновлення було 1 день тому. Більшість нещодавньої роботи виконує один учасник.
52
загалом / 100
Помірний
Індекс здоров'я програмного забезпечення
Метрики згруповано у зважені категорії на шкалі 1–100. Загальна оцінка починається як їхнє середнє; коли публічні дані активують Політику юрисдикцій високого ризику, рейтинг коригується й отримує верхню межу 49 («Під ризиком»). Готовність до ШІ не входить до індексу.
52
Відмінний85-100Зразковий; відповідає практично всім перевіреним критеріям
Добрий70-84Здоровий; незначні прогалини
Помірний50-69Прийнятний, але з помітними прогалинами; рекомендовано перевірку
У зоні ризику30-49Суттєві слабкі місця; впровадження потребує обережності
Критичний1-29Серйозні проблеми (покинутий, єдиний мейнтейнер, без базової гігієни)
Профіль оцінок
Кожна вісь — окрема категорія. Форма важить більше, ніж середнє: здоровий об'єкт заповнює всю фігуру, тоді як профіль із піками та провалами означає, що сила в одному вимірі маскує ризик в іншому.
Виключено з оцінювання (немає даних або не застосовно): dangerous_workflow, packaging, pinned_dependencies, signed_releases, token_permissions. Залишкові ваги перенормовано.
Наскільки репозиторій оснащений для розробки та супроводу за участі ШІ-агентів? Незалежний, експериментальний бейдж — вага 0.0, тож він подається окремо і не впливає на загальний індекс здоров'я.
Типізований код — Isabelle без конфігурації перевірки типів
55/55
Керовані розміри файлів — 0/2 файлів вихідного коду понад 60 КБ
Використані вхідні дані
primary_language
Isabelle
largest_source_bytes
11 147
source_files_sampled
2
oversized_source_files
0
Ключові факти
699зірок GitHub
7контриб'юторів
31комітів за останні 12 місяців
1днів від останнього пушу
16релізів
1бас-фактор
7відкритих issue
—пакетних екосистем
Попередження щодо збору даних
Star history unavailable: GitHub GraphQL error: Resource not accessible by personal access token
Докладніше
Історія зірок і форків 0 ★ / 40 ⇿
0Зірки
40Форки
15Релізи
Коли додано кожну зірку й форк — зібрано з GitHub і згруповано за днями. Кумулятивне зростання розміщено просто над денними додаваннями, з яких воно складається, тож їх видно одне проти одного: рівномірне органічне накопичення виглядає зовсім інакше, ніж різкий короткочасний сплеск. Там, де цю різницю можна виміряти, її подано як автентичність росту.
Мажорні 0Мінорні 1Патчі 14
Кожна точка охоплює 6 днів.
OpenSSF Scorecard 3.7 / 10
3.7сукупно
Незалежна, не прив'язана до інструментів оцінка безпеки від відкритого проєкту OpenSSF Scorecard. Кожна перевірка винагороджує практику безпеки, а не інструмент конкретного постачальника. Перевірки, які Scorecard не зміг визначити, позначено н/д і виключено з оцінки безпеки (вони ніколи не зараховуються як нуль).Scorecard v5.5.0 · 2026-07-23 09:46 UTC
Повний розв'язаний набір залежностей із графа залежностей GitHub: 0 прямих і 0 непрямих (транзитивних) пакетів. Транзитивне замикання є повним, коли в репозиторії закомічено lockfile.
Реєстр
Пакет
Версія
Зв'язок
Сповіщення про залежності не оцінено
Звірка сповіщень не відбулася для цього звіту: No resolved dependencies to assess
Звіт у форматі JSON машиночитний
{
"data": {
"repo": {
"topics": [],
"is_fork": false,
"size_kb": 13053,
"has_wiki": true,
"homepage": null,
"languages": {
"TeX": 1909,
"Java": 16929,
"Shell": 396,
"Clojure": 442521,
"Isabelle": 451798
},
"pushed_at": "2026-07-21T13:30:16Z",
"created_at": "2020-02-23T19:59:12Z",
"owner_type": "Organization",
"updated_at": "2026-07-21T13:31:50Z",
"description": "Black-box transactional safety checker based on cycle detection",
"is_archived": false,
"is_disabled": false,
"license_spdx": "EPL-2.0",
"default_branch": "main",
"license_spdx_raw": "EPL-2.0",
"primary_language": "Isabelle",
"significant_languages": [
"Isabelle",
"Clojure"
]
},
"owner": {
"blog": "https://jepsen.io",
"name": "Jepsen",
"type": "Organization",
"login": "jepsen-io",
"company": null,
"location": null,
"followers": 452,
"avatar_url": "https://avatars.githubusercontent.com/u/19334403?v=4",
"created_at": "2016-05-12T20:30:53Z",
"is_verified": null,
"public_repos": 51,
"account_age_days": 3723
},
"license": {
"state": "standard",
"spdx_id": "EPL-2.0",
"raw_spdx": "EPL-2.0",
"file_present": true,
"scorecard_found": true,
"profile_has_license": true
},
"activity": {
"releases": [
{
"tag": "v0.2.7",
"kind": "patch",
"published_at": "2026-07-17T21:44:09Z"
},
{
"tag": "v0.2.6",
"kind": "patch",
"published_at": "2026-03-09T23:44:59Z"
},
{
"tag": "v0.2.5",
"kind": "patch",
"published_at": "2025-12-02T20:40:09Z"
},
{
"tag": "v0.2.4",
"kind": "patch",
"published_at": "2025-05-07T13:30:23Z"
},
{
"tag": "v0.2.3",
"kind": "patch",
"published_at": "2025-03-07T16:55:52Z"
},
{
"tag": "v0.2.2",
"kind": "patch",
"published_at": "2024-10-04T16:11:36Z"
},
{
"tag": "v0.2.1",
"kind": "patch",
"published_at": "2024-01-26T01:24:30Z"
},
{
"tag": "v0.2.0",
"kind": "minor",
"published_at": "2023-12-08T03:42:18Z"
},
{
"tag": "v0.1.9",
"kind": "patch",
"published_at": "2023-10-26T18:13:04Z"
},
{
"tag": "v0.1.8",
"kind": "patch",
"published_at": "2023-10-19T02:54:11Z"
},
{
"tag": "v0.1.7",
"kind": "patch",
"published_at": "2023-08-18T17:23:56Z"
},
{
"tag": "v0.1.6",
"kind": "patch",
"published_at": "2022-12-06T03:41:22Z"
},
{
"tag": "v0.1.5",
"kind": "patch",
"published_at": "2022-06-29T19:17:55Z"
},
{
"tag": "v0.1.4",
"kind": "patch",
"published_at": "2022-01-26T16:26:22Z"
},
{
"tag": "v0.1.3",
"kind": "patch",
"published_at": "2021-11-03T17:44:17Z"
},
{
"tag": "0.1.1",
"kind": "patch",
"published_at": "2020-05-15T02:15:15Z"
}
],
"recent_commits": [
{
"oid": "ccdee6fab6c816a605ed24f72723747af054adf8",
"body": "Fix deadlock",
"is_bot": false,
"headline": "Merge pull request #33 from ligurio/ligurio/gh-32-fix-deadlock",
"author_name": "Kyle Kingsbury",
"author_login": "aphyr",
"committed_at": "2026-07-21T13:30:15Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "fa0e699ec3488b9dfc660be4fcf7e9547bbea4e0",
"body": "Fixes #32",
"is_bot": false,
"headline": "Fix deadlock",
"author_name": "Sergey Bronnikov",
"author_login": "ligurio",
"committed_at": "2026-07-21T13:19:17Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "0b49a46df1a78e0fb05eb6385fc10d426e409232",
"body": null,
"is_bot": false,
"headline": "README: doc badge",
"author_name": "Kyle Kingsbury",
"author_login": "aphyr",
"committed_at": "2026-07-20T19:05:32Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "12d948aeb78d2d0f290c60d69bc27d17c7a6c649",
"body": null,
"is_bot": false,
"headline": "Version 0.2.8-SNAPSHOT",
"author_name": "Kyle Kingsbury",
"author_login": "aphyr",
"committed_at": "2026-07-17T21:45:22Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "d1606aa7cf65146104d06d6a173e6f6d197237f7",
"body": null,
"is_bot": false,
"headline": "Version 0.2.7, for real this time",
"author_name": "Kyle Kingsbury",
"author_login": "aphyr",
"committed_at": "2026-07-17T21:44:09Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "ba684e9c9e427505b2438fd421ff6c91bd49a486",
"body": null,
"is_bot": false,
"headline": "Fix javac --release",
"author_name": "Kyle Kingsbury",
"author_login": "aphyr",
"committed_at": "2026-07-17T21:43:35Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "935f16dae8090ecbcd0c7a12790c6af7f653ffc6",
"body": null,
"is_bot": false,
"headline": "Version 0.2.7",
"author_name": "Kyle Kingsbury",
"author_login": "aphyr",
"committed_at": "2026-07-17T21:40:47Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "abde9b6226130e1130502d2cf0644ebff037aa3f",
"body": null,
"is_bot": false,
"headline": "Replace -source/target 1.8 with --release 21",
"author_name": "Kyle Kingsbury",
"author_login": "aphyr",
"committed_at": "2026-07-17T21:40:22Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "d2e7a90fbc421044538012eb8d0fbebf4139c5a3",
"body": "bifurcan-clj 0.1.4\nclojure 1.12.5\ndom-top 1.0.11\njepsen.history 0.1.8\njepsen.generator 0.1.2\njepsen.history.sim 0.1.3",
"is_bot": false,
"headline": "Dependency bumps",
"author_name": "Kyle Kingsbury",
"author_login": "aphyr",
"committed_at": "2026-07-17T21:35:01Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "d49b647e8f2412d4d3bc769d1ce9823c0f2b5bbe",
"body": null,
"is_bot": false,
"headline": "Bifurcan-clj 0.1.4-SNAPSHOT, dom-top 1.0.11-SNAPSHOT",
"author_name": "Kyle Kingsbury",
"author_login": "aphyr",
"committed_at": "2026-07-14T23:18:23Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "8a5e27b08efc7782df6c49624177c347a09dcd6b",
"body": "This should have been obvious, but we missed it; Elle treated a read of\n`nil` as an unknown value, rather than a definite read of \"there is\nnothing there\". Now both rw and append workloads catch this.",
"is_bot": false,
"headline": "Detect internal anomalies like [:r nil] [:r 1]",
"author_name": "Kyle Kingsbury",
"author_login": "aphyr",
"committed_at": "2026-06-22T14:51:30Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "8c681faef17ca83b0fbfd49438e0f3604a3a8355",
"body": "One of the things I've found repeatedly is that you want a mix of very\nshort writes per key (to ensure frequent creation of new objects) and\nvery long writes per key (which gives long chains of appends that link\ntogether big chunks of the history). Failing to generate short-lived\nkeys masks serious \n[…]\ns\nthe maximum writes per key zipfian-distributed. This, combined with our\nincrease to 256 max writes by default, should still give good long keys,\nbut also ensure lots of churning short-lived objects.",
"is_bot": false,
"headline": "txn/wr-txns: use zipfian-distributed max writes per key",
"author_name": "Kyle Kingsbury",
"author_login": "aphyr",
"committed_at": "2026-06-17T14:41:19Z",
"body_truncated": true,
"is_coding_agent": false
},
{
"oid": "99bd5d4c57daafad3ae6be0288f33997ab64e04d",
"body": "We now generate up to 4 mops per transaction by default, and up to 256\nwrites per key.",
"is_bot": false,
"headline": "txn/wr-txns: add :key-dist :zipf, tune defaults",
"author_name": "Kyle Kingsbury",
"author_login": "aphyr",
"committed_at": "2026-06-17T14:11:07Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "5cc2ecaf1a0619ea8a3d91adc4740073202c1045",
"body": "Under specific conditions, which I am *shocked* have not manifested\nuntil now, Elle's rw checker could infer that the version order for some\nkey k was cyclic, even though it was obviously not. The heart of the\nproblem is that we used a mutable LinearSet to track which\noperations were downstream of o\n[…]\n with k\nc.) And depended on the specific :index's of the transactions involved,\n because that controlled their hashcode, and the hashcode controlled the\n iteration order in various maps.\n\nYowza.",
"is_bot": false,
"headline": "Fix a gnarly bug: rw could incorrectly infer version order cycles",
"author_name": "Kyle Kingsbury",
"author_login": "aphyr",
"committed_at": "2026-06-16T17:30:42Z",
"body_truncated": true,
"is_coding_agent": false
},
{
"oid": "3c794fb39ca48d8f99ffd31aed2ae450f4e199e3",
"body": "Add optional `:transaction-order` argument to rw_register/check (addresses #30)",
"is_bot": false,
"headline": "Merge pull request #31 from will62794/txn-order",
"author_name": "Kyle Kingsbury",
"author_login": "aphyr",
"committed_at": "2026-04-07T20:02:02Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "9325f2878f6b86d0f0f7a4887ea390f4a101bf91",
"body": null,
"is_bot": false,
"headline": "Address review comments",
"author_name": "William Schultz",
"author_login": "will62794",
"committed_at": "2026-04-02T04:21:33Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "a7b0af2fb2e3cf31f85022a920d5a0fc4a00ade0",
"body": "This change allows optional transaction version order information to be passed\nin to the rw_register checker, enabling inference of a wider range of\ndependency edge types (e.g. ww/rw) than by default. It is expected to be\nused with a database system under test that can provide this type of whitebox\nversion order information e.g. an explicit total order over committed\ntransactions, which can then serve as the explicit version order for values\nwritten in the transaction history.",
"is_bot": false,
"headline": "Add optional :transaction-order argument to rw_register/check",
"author_name": "William Schultz",
"author_login": "will62794",
"committed_at": "2026-03-10T02:09:32Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "a4aa5aeec87f87c6f535662b903d5b624bce7568",
"body": null,
"is_bot": false,
"headline": "v0.2.7-SNAPSHOT",
"author_name": "Kyle Kingsbury",
"author_login": "aphyr",
"committed_at": "2026-03-09T23:49:07Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "acd24ec6a1ab9e44f148bbaed67c1dc40b586c20",
"body": null,
"is_bot": false,
"headline": "v0.2.6",
"author_name": "Kyle Kingsbury",
"author_login": "aphyr",
"committed_at": "2026-03-09T23:44:59Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "f0bcb986debca8055a3c7e4b685356b1df53f486",
"body": "We could get different results based on whether the cycle search timed\nout",
"is_bot": false,
"headline": "list-append-test/sim-prefix-perf-test: fix performance-sensitive test",
"author_name": "Kyle Kingsbury",
"author_login": "aphyr",
"committed_at": "2026-03-09T23:44:00Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "3ed5daa5d4acc75febd994bdcd5212efe2fbd179",
"body": null,
"is_bot": false,
"headline": "Fix incompatible dependency on jackson-core from unilog",
"author_name": "Kyle Kingsbury",
"author_login": "aphyr",
"committed_at": "2026-03-09T23:31:08Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "69fedaa3968726fd6c450e3a98c7fd6319686dba",
"body": "dom-top 1.0.10\njepsen.generator 0.1.1\njepsen.txn 0.1.3",
"is_bot": false,
"headline": "Dependency upgrades",
"author_name": "Kyle Kingsbury",
"author_login": "aphyr",
"committed_at": "2026-03-09T23:28:35Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "f43d72c4b12e7da12ba4b146dfd79321c5bd6b8f",
"body": null,
"is_bot": false,
"headline": "jepsen.history 0.1.7, jepsen.history.sim 0.1.2",
"author_name": "Kyle Kingsbury",
"author_login": "aphyr",
"committed_at": "2026-03-09T23:00:41Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "0f9fba634059a3248ec32e5c23a309df5fa0ca79",
"body": "clojure 1.12.4\ntools.logging 1.3.1\ntest.check 1.1.3",
"is_bot": false,
"headline": "Dependency bumps",
"author_name": "Kyle Kingsbury",
"author_login": "aphyr",
"committed_at": "2026-03-09T22:37:25Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "da4802cc0b9598a66e0fdfa1526ae950300b3d0e",
"body": "Stephen C. Gilardi sadly passed away; Sean Corfield has taken over\nmaintenance. RIP. <3",
"is_bot": false,
"headline": "Replace slingshot with org.clj-commons/slingshot",
"author_name": "Kyle Kingsbury",
"author_login": "aphyr",
"committed_at": "2025-12-13T16:22:50Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "61b449ad1d8fd6cecfe93deaa448d4609d8ab526",
"body": null,
"is_bot": false,
"headline": "Elle can visualize closed-predicate cycles now",
"author_name": "Kyle Kingsbury",
"author_login": "aphyr",
"committed_at": "2025-12-11T04:34:59Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "3edd3dc41fe7daf2ef3b3a4d703ab28512264753",
"body": null,
"is_bot": false,
"headline": "Minor doc formatting",
"author_name": "Kyle Kingsbury",
"author_login": "aphyr",
"committed_at": "2025-12-11T01:49:13Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "7faabae84456bd8fc11865cf099a5a2d041eb7cd",
"body": null,
"is_bot": false,
"headline": "Version 0.2.6-SNAPSHOT",
"author_name": "Kyle Kingsbury",
"author_login": "aphyr",
"committed_at": "2025-12-02T20:41:34Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "a674432d22aabc16032ff8c53732b8bb42e2742f",
"body": null,
"is_bot": false,
"headline": "Version 0.2.5",
"author_name": "Kyle Kingsbury",
"author_login": "aphyr",
"committed_at": "2025-12-02T20:40:09Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "d481229b07f1af350d70c579d03314e4b3d58abd",
"body": null,
"is_bot": false,
"headline": "Clojure 1.12.3, hiccup 2.0.0",
"author_name": "Kyle Kingsbury",
"author_login": "aphyr",
"committed_at": "2025-10-21T20:10:26Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "a96b6b6c9085595fc2e07f513ae6f5c785cbea52",
"body": null,
"is_bot": false,
"headline": "Replace randomness with jepsen.random",
"author_name": "Kyle Kingsbury",
"author_login": "aphyr",
"committed_at": "2025-10-21T19:36:39Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "e9cff9fe2a02cbd6a21a9d1539524813b1c275d5",
"body": null,
"is_bot": false,
"headline": "0.2.5-SNAPSHOT",
"author_name": "Kyle Kingsbury",
"author_login": "aphyr",
"committed_at": "2025-05-07T13:31:14Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "5a8c6422486e0136ce0dcc003798ce0998fee932",
"body": null,
"is_bot": false,
"headline": "Version 0.2.4",
"author_name": "Kyle Kingsbury",
"author_login": "aphyr",
"committed_at": "2025-05-07T13:30:23Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "2396642eb633e26692efb6ed6d6499251f72311a",
"body": null,
"is_bot": false,
"headline": "test.chuck 0.2.15",
"author_name": "Kyle Kingsbury",
"author_login": "aphyr",
"committed_at": "2025-05-07T13:30:06Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "ac8a0597b7a99a2feb688918ffa1f2e6b1dd2fe3",
"body": "We could occasionally crash when we inferred multiple contradictory\nversion orders for a key, and some of the values for that key were\nnon-numeric (e.g. nil).",
"is_bot": false,
"headline": "rw-register: fix an error in constructing errors for cyclic versions",
"author_name": "Kyle Kingsbury",
"author_login": "aphyr",
"committed_at": "2025-04-11T21:52:24Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "0cef8ca44a36721b23c3fd01194dad29b6a80dba",
"body": null,
"is_bot": false,
"headline": "Version 0.2.4-SNAPSHOT",
"author_name": "Kyle Kingsbury",
"author_login": "aphyr",
"committed_at": "2025-03-07T16:56:38Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "5cb7f1385f97d0be0876e4dfa4458407c2fa3e76",
"body": null,
"is_bot": false,
"headline": "Version 0.2.3",
"author_name": "Kyle Kingsbury",
"author_login": "aphyr",
"committed_at": "2025-03-07T16:55:52Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "2bea33170321adda8db85963210a25549971a08d",
"body": "bifurcan-clj 0.1.3\njepsen.history 0.1.5\njepsen.history.sim 0.1.1",
"is_bot": false,
"headline": "Dependency bumps",
"author_name": "Kyle Kingsbury",
"author_login": "aphyr",
"committed_at": "2025-03-07T16:53:50Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "bb60ea820d42b9c48d11090e3b7f819752d93028",
"body": null,
"is_bot": false,
"headline": "v0.2.3-SNAPSHOT",
"author_name": "Kyle Kingsbury",
"author_login": "aphyr",
"committed_at": "2024-10-04T16:12:34Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "15b2470496e9774b464d384f4caa9e4cd001da8e",
"body": null,
"is_bot": false,
"headline": "v0.2.2",
"author_name": "Kyle Kingsbury",
"author_login": "aphyr",
"committed_at": "2024-10-04T16:11:36Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "63035185f4c6f8ba248e8dbb3a215d1712fd902a",
"body": null,
"is_bot": false,
"headline": "update deps",
"author_name": "Kyle Kingsbury",
"author_login": "aphyr",
"committed_at": "2024-10-04T16:11:11Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "e029178b50ac373272f9c8a6c06be785f24d58ed",
"body": null,
"is_bot": false,
"headline": "0.2.2-SNAPSHOT",
"author_name": "Kyle Kingsbury",
"author_login": "aphyr",
"committed_at": "2024-01-26T01:44:30Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "c095a6030cc3da4a98af71dc34e5f6938a6b6817",
"body": null,
"is_bot": false,
"headline": "0.2.1",
"author_name": "Kyle Kingsbury",
"author_login": "aphyr",
"committed_at": "2024-01-26T01:24:30Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "9e8be8840ea2de1dbf1957bb23392a945ebc2c42",
"body": null,
"is_bot": false,
"headline": "Readme: performance notes",
"author_name": "Kyle Kingsbury",
"author_login": "aphyr",
"committed_at": "2024-01-26T01:24:20Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "b3258ff87afd02ccf88dc7a6b77bf42ba679641a",
"body": "process-graph was naive and performed O(n) separate passes over the\nhistory, each using a standard clojure sequence reduction. This commit\nreplaces that function with an optimized concurrent fold using Bifurcan\nstructures directly.",
"is_bot": false,
"headline": "core/process-graph: parallelize",
"author_name": "Kyle Kingsbury",
"author_login": "aphyr",
"committed_at": "2024-01-23T20:36:57Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "42a156445af5b9766acd58891b5ede50bc3b7551",
"body": null,
"is_bot": false,
"headline": "Finish renaming ROLA to update-atomic",
"author_name": "Kyle Kingsbury",
"author_login": "aphyr",
"committed_at": "2023-12-27T20:02:08Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "dda36d8306a434bd7e27cf9e7bcf5bc147898e7c",
"body": null,
"is_bot": false,
"headline": "consistency-model: rename ROLA to Update Atomic",
"author_name": "Kyle Kingsbury",
"author_login": "aphyr",
"committed_at": "2023-12-27T20:00:33Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "f339a53abfda98ccc0ebac0e14de06d380a78534",
"body": "to pass.",
"is_bot": false,
"headline": "list-append-test: tune up difficulty on a test that needs a hard problem",
"author_name": "Kyle Kingsbury",
"author_login": "aphyr",
"committed_at": "2023-12-27T19:43:47Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "04d7400ffec5c9cc838839bb858269602f01daa3",
"body": "ROLA is not, in fact, implied by causal-cerone. It's implied by PSI.",
"is_bot": false,
"headline": "consistency-model: relocate ROLA",
"author_name": "Kyle Kingsbury",
"author_login": "aphyr",
"committed_at": "2023-12-27T19:37:49Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "f5ea4eb733d9cbc65b10db28648663a4be05ec5e",
"body": null,
"is_bot": false,
"headline": "Version 0.2.1-SNAPSHOT",
"author_name": "Aphyr",
"author_login": "aphyr",
"committed_at": "2023-12-08T03:56:49Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "0b808d7efe3876851d8b60808fa8992a25376634",
"body": null,
"is_bot": false,
"headline": "Version 0.2.0",
"author_name": "Aphyr",
"author_login": "aphyr",
"committed_at": "2023-12-08T03:42:18Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "e5f23c5b97d458a1244ff223e98b4bcc740bb185",
"body": "bifurcan-clj 0.1.1\njepsen.history 0.1.3\njepsen.history.sim 0.1.0\n\nDrop unused java compilation experiment",
"is_bot": false,
"headline": "Dep upgrades",
"author_name": "Aphyr",
"author_login": "aphyr",
"committed_at": "2023-12-08T03:41:12Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "9a4bea6263db43a6d30d774b3a3c682bea8d138c",
"body": "This should save us some time, since projection is more expensive now.",
"is_bot": false,
"headline": "txn: re-use filtered-graphs memoization for cycle existence checks",
"author_name": "Aphyr",
"author_login": "aphyr",
"committed_at": "2023-12-08T03:10:28Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "a9f729e017d2abb9dc4f21c8f46e3f8fb1d8021e",
"body": "We burned a lot of time in projecting single large SSCs, as show up in\npoorly isolated databases like prefix. This commit changes three things:\n\n1. We move the SCC vertex projection into the async task where it\n belongs\n2. We project rels on large SCCs in parallel then merge them. This burns\n mo\n[…]\n is ~10% faster overall.\n3. We no longer warm filtered graphs--many of the filtered graphs are\n unnecessary now\n\nThis brings us from ~5000 ops/sec to ~15,000 ops/sec on the\nsim-prefix-perf benchmark",
"is_bot": false,
"headline": "Roughly triple throughput for large SCCs",
"author_name": "Aphyr",
"author_login": "aphyr",
"committed_at": "2023-12-08T02:55:54Z",
"body_truncated": true,
"is_coding_agent": false
},
{
"oid": "021fb14efcc41d1c216d468bb50cde7ebd2d5cd2",
"body": null,
"is_bot": false,
"headline": "list-append: render incompatible orders in tasks",
"author_name": "Aphyr",
"author_login": "aphyr",
"committed_at": "2023-12-08T00:37:47Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "de98fbd54adaa38901636452608b261e3be0d4cb",
"body": null,
"is_bot": false,
"headline": "Don't write text cycles without a directory.",
"author_name": "Aphyr",
"author_login": "aphyr",
"committed_at": "2023-12-08T00:27:51Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "93a8b1474acb0fd19d6500bcbf7de5a3202bf05f",
"body": "…ry nil",
"is_bot": false,
"headline": "Don't write out cycle text files or incompatible orders when :directo…",
"author_name": "Aphyr",
"author_login": "aphyr",
"committed_at": "2023-12-08T00:21:24Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "fe6a439ea6dd7b7a482a4668a0c5b75b8380fee3",
"body": "We defined an (in retrospect bad) variant of sequential extension which\nincluded intermediate vertices; this caused false positives in cycle\nexistence checks for certain kinds of graphs. Obvious in hindsight\n<sigh>.",
"is_bot": false,
"headline": "Fix a bug in cycle-exists due to sequential extension",
"author_name": "Aphyr",
"author_login": "aphyr",
"committed_at": "2023-12-07T04:33:39Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "eab614118d3b9f2bf97f6db5f5e07a4e655aebec",
"body": "Strips out basic utility functions from elle.graph: many of these are\nnow in bifurcan-clj. Wipes out the old BFS mechanisms in elle.graph\nwhich are now handled by elle.bfs. There's still a simple BFS used by\ndusty corner of elle.core, but I think that can be nuked soon.",
"is_bot": false,
"headline": "Spring cleaning!",
"author_name": "Aphyr",
"author_login": "aphyr",
"committed_at": "2023-12-06T00:10:24Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "e2930fd8aa996e2903d09c97c99ec5a7b30c0f1e",
"body": "RelGraph allowed constant-time union and projection once we'd built the\ngraphs for individual rels, but we paid a huge cost in materializing the\nvertices and out sets when doing Tarjan. Our new architecture makes two\ncosts cheaper:\n\n1. Operations on rel sets are now so cheap as to be invisible, than\n[…]\nhs and rel graph altogether, and obtain\na modest ~(10%?) speedup. We're hitting 50-55Khz in the sloppy test now.\n\nWe can also drop the materialize phase, since the full graph is\nmaterialized directly.",
"is_bot": false,
"headline": "Remove NamedGraph and RelGraph",
"author_name": "Aphyr",
"author_login": "aphyr",
"committed_at": "2023-12-05T23:50:31Z",
"body_truncated": true,
"is_coding_agent": false
},
{
"oid": "7729e8ae1fff99d9c4a383cc5d9be4ee452df41e",
"body": "We used to represent (e.g.) a predicate rw edge using :rw; we\ndistinguished between G2-item and G2 on the basis of a :predicate? field\nin the explainer's linkages once a cycle was found. We now build graphs\nwith separate wr and wrp, rw and rwp edges, etc.\n\nWe introduce new anomaly types :G-single-it\n[…]\n wrp rw].\n\nWe extend BFSPath so that its wanted rels are a *set* of rels, any of\nwhich may match. This lets us express a cycle which must have 'at least\none rw or rwp, and also at least one realtime'.",
"is_bot": false,
"headline": "Represent predicate edges using distinct rels",
"author_name": "Aphyr",
"author_login": "aphyr",
"committed_at": "2023-12-05T17:12:54Z",
"body_truncated": true,
"is_coding_agent": false
},
{
"oid": "09a218c44630592363d298c13bf2063e56ef77b8",
"body": null,
"is_bot": false,
"headline": "Ignore .vscode",
"author_name": "Aphyr",
"author_login": "aphyr",
"committed_at": "2023-12-04T23:19:22Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "bbae042c291e3ef12e70fc55f09ec1fcbc05643b",
"body": null,
"is_bot": false,
"headline": "Merge branch 'main' of github.com:jepsen-io/elle",
"author_name": "Aphyr",
"author_login": "aphyr",
"committed_at": "2023-12-04T23:19:10Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "0a2ad75d440af0f2edbb2796d5613a2ee92a578b",
"body": "We used to represent relationships as keywords or sets of keywords,\ne.g. :ww, #{:rw, :wr}. We now have a custom bitset representation,\nBitRels, which captures both a single rel and a set of rels in a single\nbyte, and provides primitive static functions for performing union,\nintersection, testing, et\n[…]\nstructing\nyour own relationship graphs, you'll need to name them using BitRels/WW,\nBitRels/REALTIME, etc., instead of :ww, :realtime, etc. You'll find\nconvenient references in the elle.rels namespace.",
"is_bot": false,
"headline": "Convert ISet<Keyword> rels in op graphs to custom bitsets.",
"author_name": "Aphyr",
"author_login": "aphyr",
"committed_at": "2023-12-04T23:12:20Z",
"body_truncated": true,
"is_coding_agent": false
},
{
"oid": "7483346120651ca99afe60ab73c9e96c8043eb68",
"body": "core/check: call write-cycles! correctly",
"is_bot": false,
"headline": "Merge pull request #24 from nurturenature/tests",
"author_name": "Kyle Kingsbury",
"author_login": "aphyr",
"committed_at": "2023-12-04T21:30:49Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "0d60134ae1cffc614255f2f2f7c44f1b604a8e22",
"body": null,
"is_bot": false,
"headline": "core/check: call write-cycles! correctly",
"author_name": "NurtureNature",
"author_login": "nurturenature",
"committed_at": "2023-12-04T20:28:38Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "9be9e92f08438d705f7bae32c87190247545cfa7",
"body": "We burned a lot of time searching RelGraphs via Tarjan because the graph\nlazily computed vertices and out sets. We now perform this phase in\nparallel for a ~10% overall speedup on the sloppy list-append benchmark.",
"is_bot": false,
"headline": "txn: materialize graph before Tarjan search",
"author_name": "Aphyr",
"author_login": "aphyr",
"committed_at": "2023-11-28T17:46:57Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "c27922d888b6e2660c663962759ab0c8c3913231",
"body": null,
"is_bot": false,
"headline": "Ignore some dev/test files",
"author_name": "Aphyr",
"author_login": "aphyr",
"committed_at": "2023-11-28T17:46:11Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "913cbff5ebb19ba850c0a06c7897b5ff0a3cd624",
"body": "When the BFS search finds a loop with a tail, it attempts to trim off\nthe tail and see if it can still find a loop in that subgraph.",
"is_bot": false,
"headline": "bfs: trim loops with tails",
"author_name": "Aphyr",
"author_login": "aphyr",
"committed_at": "2023-11-17T14:28:50Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "23b13cc083fe27a71f4d19bc4e4ccc50b5054fc3",
"body": null,
"is_bot": false,
"headline": "Fix up tests, optimize cycle search path",
"author_name": "Aphyr",
"author_login": "aphyr",
"committed_at": "2023-11-17T01:06:02Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "7c47e96bbe267dbeb4b5568fb3b78e76f836b1a1",
"body": "These consistency levels correspond to strong/strong-session\nserializable, SI, etc. We already had G0-realtime and G1c-realtime\nanomalies, but now they actually mean something.\n\nThis also makes our anomaly search trimming process more efficient: if\nwe find no SCC in WW U RT, we can prove that it's unnecessary to check\nfor G0-realtime, and so on. Before we only trimmed G0 itself, not\nrealtime or process variants.",
"is_bot": false,
"headline": "consistency-model: add strong and strong-session PL-1/PL-2",
"author_name": "Aphyr",
"author_login": "aphyr",
"committed_at": "2023-11-16T21:22:22Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "ee817e6a0aff86445e9381b5f61d629a2f40ca95",
"body": null,
"is_bot": false,
"headline": "list-append/sorted-values: Speed boost",
"author_name": "Aphyr",
"author_login": "aphyr",
"committed_at": "2023-11-15T18:06:05Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "c8188b11b5f7225adcde2976c816dc48b71839a8",
"body": "Had to patch some things in Bifurcan too, but we're now to the point\nwhere our RelGraphs actually use custom comparators throughout.",
"is_bot": false,
"headline": "RelGraph equality semantics are now preserved",
"author_name": "Aphyr",
"author_login": "aphyr",
"committed_at": "2023-11-15T17:28:55Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "0f516625587d94db6a6cb8b5a4c8c6a7840fdb57",
"body": "We were burning tons of time in the cycle evaluator. This is a\nhand-optimized BFS search which supercedes all three of our previous\nsearch tactics, and is (presently) a tad faster. 50,000 ops/sec on the\nlist-append sloppy-perf-test.",
"is_bot": false,
"headline": "Work in progress: add a new elle.bfs cycle search algo",
"author_name": "Aphyr",
"author_login": "aphyr",
"committed_at": "2023-11-15T05:27:05Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "834255f46c5fda868cf45e85c3394928ec49d104",
"body": "This adds a new, more precise, less informative, and more efficient\nphase to cycle detection in elle.txn. In addition to performing a series\nof BFS searches for specific exemplars of cycles, Elle now also computes\na series of graphs which must be acyclic under certain consistency\nmodels. For instanc\n[…]\napproximately 20%\nby adding this pass. We think it's still worth it. It catches several\nanomalies our test suite missed, and allows precise claims to be made in\nlinear, as opposed to exponential time.",
"is_bot": false,
"headline": "Add cycle-exists anomalies",
"author_name": "Aphyr",
"author_login": "aphyr",
"committed_at": "2023-11-10T02:36:11Z",
"body_truncated": true,
"is_coding_agent": false
},
{
"oid": "8ca7b5ef2c1c6f2dbf606c0e67a1899a78160e57",
"body": null,
"is_bot": false,
"headline": "list-append-test: add perf test for a sloppy db full of cycles",
"author_name": "Aphyr",
"author_login": "aphyr",
"committed_at": "2023-11-07T04:25:50Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "fdb7244bc66ffaf4557c01e44fbb5ea7ef1ac2a7",
"body": "Now that operation graphs directly support fast index-based hashing and\nequality, we can skip the graph renumbering process entirely.",
"is_bot": false,
"headline": "graph: remove graph renumbering.",
"author_name": "Aphyr",
"author_login": "aphyr",
"committed_at": "2023-11-07T03:13:39Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "47a0e58adda724021f3087a9612f2c8c3d6bb5ac",
"body": "Operations on op graphs are now significantly faster, thanks to custom\nequality semantics. This should hopefully let us get rid of graph\nrenumbering.",
"is_bot": false,
"headline": "Replace transaction graphs with index-based hash and equality",
"author_name": "Aphyr",
"author_login": "aphyr",
"committed_at": "2023-11-07T02:36:32Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "ea37e352f6eaf65adfdd43a12eebe75b954f8c3e",
"body": null,
"is_bot": false,
"headline": "rw-register: tweak iteration slightly, hoping for better perf",
"author_name": "Aphyr",
"author_login": "aphyr",
"committed_at": "2023-11-07T00:37:41Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "6b706c77ccc18decddd1f460aceb3bdd01c05a81",
"body": "We use the severity order and implication graph to avoid checking for\n(e.g.) G0-realtime if we've already found a G0.",
"is_bot": false,
"headline": "txn: cycle search now skips implied anomalies",
"author_name": "Aphyr",
"author_login": "aphyr",
"committed_at": "2023-11-07T00:26:45Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "c41bcf6ba366a8e85885bdf7aad72eb4cd36126c",
"body": "We now have a notion of sorting anomalies by implication and severity,\nwhich we'll use for guiding the search order in txn.",
"is_bot": false,
"headline": "consistency-model: move to DAGs, introduce severity ordering",
"author_name": "Aphyr",
"author_login": "aphyr",
"committed_at": "2023-11-06T23:49:35Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "96dd4e54ba4dc9487905b54c44b6120f397355b7",
"body": "We used to specify cyclic anomalies in terms of first-rels/rest-rels,\nwrote out process and realtime variants of anomalies by hand, and\nchecked them by running a general-purpose cycle search, explaining the\nfound cycle, then filtering the explanation. This... worked, but it was\neasy to forget to upd\n[…]\nup.\n\nLater on it might be worth profiling this and rewriting the whole\npathstate system in Java. Transition functions, loop checks, and\npredicates could all be folded into PathState validity directly.",
"is_bot": false,
"headline": "txn: redesign core anomaly specifications and rewrite cycle search",
"author_name": "Aphyr",
"author_login": "aphyr",
"committed_at": "2023-11-06T17:13:22Z",
"body_truncated": true,
"is_coding_agent": false
},
{
"oid": "1a62806f84a962b734bbb8757ac7d913f8dd5f1e",
"body": null,
"is_bot": false,
"headline": "elle.txn: drop superfluous pmap for filtered graphs",
"author_name": "Aphyr",
"author_login": "aphyr",
"committed_at": "2023-11-01T19:39:13Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "8ac01a6e289d50c9e649f89432ad8e553673e4fb",
"body": "We used to compute filtered graphs from the entire graph, then take each\nSCC and look for cycles in the whole graphs using just that SCC's\ntransactions. This meant we spent time materializing filtered graphs\nthat would never actually be used. This pulls the graph selection step\nall the way up: we fi\n[…]\nect, so there is no duplicated work. This also gets\nrid of the extra SCC arities for the various cycle-search routines in\ngraph: the graph IS the SCC. I'm also hopeful this gives improved\nparallelism.",
"is_bot": false,
"headline": "Txn: refactor cycle-search SCC partitioning approach",
"author_name": "Aphyr",
"author_login": "aphyr",
"committed_at": "2023-11-01T19:29:24Z",
"body_truncated": true,
"is_coding_agent": false
},
{
"oid": "438392c477532878979a21d9676bfeb9967d8627",
"body": null,
"is_bot": false,
"headline": "Version 0.1.10-SNAPSHOT",
"author_name": "Aphyr",
"author_login": "aphyr",
"committed_at": "2023-10-26T18:13:44Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "82ae6675a7a0ecdfd78ea3ffe21f36a0aa568dbc",
"body": null,
"is_bot": false,
"headline": "Version 0.1.9",
"author_name": "Aphyr",
"author_login": "aphyr",
"committed_at": "2023-10-26T18:13:04Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "d840fe3f9f6eed5489434d411b1ec3017109f2d4",
"body": "…riants\n\nWe've introduced a number of anomaly variants which incorporate process\nor realtime edges, but neglected to unify them into a full lattice. This\npatch adds several missing implications: G0-process, for instance, now\nimplies G1c-process.",
"is_bot": false,
"headline": "consistency-models: Add missing lattice edges for process/realtime va…",
"author_name": "Aphyr",
"author_login": "aphyr",
"committed_at": "2023-10-26T18:08:23Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "5f9618c3b8f58c3b0a892412841222b251482f99",
"body": "A future read occurs when a transaction reads a value it will write in\nthe future. This is an internal anomaly in the sense that it manifests\nin a single transaction, but under Cerone et al it's it's actually a\nviolation of EXT, not INT. In Adya terms it's a singleton cycle of G1c:\nT1 -wr-> T1.",
"is_bot": false,
"headline": "list-append: add future-read anomaly type",
"author_name": "Aphyr",
"author_login": "aphyr",
"committed_at": "2023-10-26T17:52:29Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "bd0f26c01c5da2909cbfab8fc148cf5c1f07ecb6",
"body": "Our definitions of strong session SI and strong SI were limited\nspecifically to G-nonadjacent-(process|realtime), respectively. We now\nconsider internal and G1-(process|realtime) anomalies as well.",
"is_bot": false,
"headline": "Expand strong-session-SI and strong-SI anomalies",
"author_name": "Aphyr",
"author_login": "aphyr",
"committed_at": "2023-10-26T13:45:56Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "55866a7bf537a7d7bde853cfb08d683afb044c89",
"body": null,
"is_bot": false,
"headline": "consistency-model: read-atomic now implies monotonic-atomic-view",
"author_name": "Aphyr",
"author_login": "aphyr",
"committed_at": "2023-10-25T17:46:35Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "919df28262225223ae6be1f51424ebf7ec0a68d6",
"body": null,
"is_bot": false,
"headline": "0.1.9-SNAPSHOT",
"author_name": "Aphyr",
"author_login": "aphyr",
"committed_at": "2023-10-19T02:54:56Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "a613c45407e3cee3bbc47703c7493eddd139af4e",
"body": null,
"is_bot": false,
"headline": "Version 0.1.8",
"author_name": "Aphyr",
"author_login": "aphyr",
"committed_at": "2023-10-19T02:54:11Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "d8d4b39b29716d5a83f1941cfa1a1af5662b0c68",
"body": null,
"is_bot": false,
"headline": "jepsen.history 0.1.2, dom-top 1.0.9",
"author_name": "Aphyr",
"author_login": "aphyr",
"committed_at": "2023-10-19T02:53:59Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "5d9bad6447a9720d286b36ad55af78d528bcc9f8",
"body": null,
"is_bot": false,
"headline": "Type hints",
"author_name": "Aphyr",
"author_login": "aphyr",
"committed_at": "2023-09-25T03:42:28Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "7241b745726ab8bd1fd93d83e09fb0161865c5d6",
"body": null,
"is_bot": false,
"headline": "closed-predicate: cache vsets",
"author_name": "Aphyr",
"author_login": "aphyr",
"committed_at": "2023-09-25T03:38:51Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "823b56c301e4215cf710c05946d9d3c971be7c96",
"body": null,
"is_bot": false,
"headline": "closed-predicate: use sorted maps for init to aid readability.",
"author_name": "Aphyr",
"author_login": "aphyr",
"committed_at": "2023-09-24T18:36:30Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "390606b76d42ae4d854a416acde65ae60474168c",
"body": null,
"is_bot": false,
"headline": "closed-predicate: fix write-mop-index matching only values, not keys",
"author_name": "Aphyr",
"author_login": "aphyr",
"committed_at": "2023-09-24T18:35:37Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "44d91aa7764c1a27595f1c5ec8bef6e1c784f22b",
"body": null,
"is_bot": false,
"headline": "closed-predicate: add :insert-only? option to generator",
"author_name": "Aphyr",
"author_login": "aphyr",
"committed_at": "2023-09-24T17:56:12Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "8c76414a71adbf8235ca42bc713621f938d0ee4f",
"body": "…ed edges",
"is_bot": false,
"headline": "closed-predicate: include version order in explaining predicate-relat…",
"author_name": "Aphyr",
"author_login": "aphyr",
"committed_at": "2023-09-24T17:35:28Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "b4a7552655a1b6356b298974f156c9472de64ef9",
"body": null,
"is_bot": false,
"headline": "closed-predicate: note that we're working around a bug",
"author_name": "Aphyr",
"author_login": "aphyr",
"committed_at": "2023-09-24T05:34:03Z",
"body_truncated": false,
"is_coding_agent": false
}
],
"releases_count": 16,
"commits_last_year": 31,
"latest_release_at": "2026-07-17T21:44:09Z",
"latest_release_tag": "v0.2.7",
"releases_from_tags": true,
"days_since_last_push": 1,
"active_weeks_last_year": 10,
"days_since_latest_release": 5,
"mean_days_between_releases": 111.4
},
"community": {
"has_readme": true,
"has_license": true,
"has_description": true,
"has_contributing": false,
"health_percentage": 37,
"has_issue_template": false,
"has_code_of_conduct": false,
"has_pull_request_template": false
},
"ecosystem": {
"packages": []
},
"popularity": {
"forks": 40,
"stars": 699,
"watchers": 14,
"fork_history": {
"days": [
{
"date": "2020-03-25",
"count": 1
},
{
"date": "2020-03-26",
"count": 7
},
{
"date": "2020-03-27",
"count": 1
},
{
"date": "2020-04-06",
"count": 1
},
{
"date": "2020-04-14",
"count": 1
},
{
"date": "2020-04-28",
"count": 1
},
{
"date": "2020-05-27",
"count": 1
},
{
"date": "2020-06-19",
"count": 1
},
{
"date": "2020-07-25",
"count": 1
},
{
"date": "2020-09-25",
"count": 1
},
{
"date": "2020-10-07",
"count": 1
},
{
"date": "2020-12-23",
"count": 1
},
{
"date": "2021-05-20",
"count": 1
},
{
"date": "2021-06-10",
"count": 1
},
{
"date": "2021-08-09",
"count": 1
},
{
"date": "2021-08-10",
"count": 1
},
{
"date": "2021-08-12",
"count": 1
},
{
"date": "2021-09-15",
"count": 1
},
{
"date": "2022-01-22",
"count": 1
},
{
"date": "2022-06-22",
"count": 1
},
{
"date": "2022-11-07",
"count": 1
},
{
"date": "2022-11-20",
"count": 2
},
{
"date": "2023-05-07",
"count": 1
},
{
"date": "2023-11-25",
"count": 1
},
{
"date": "2023-11-30",
"count": 1
},
{
"date": "2024-03-30",
"count": 1
},
{
"date": "2025-09-18",
"count": 1
},
{
"date": "2025-11-12",
"count": 1
},
{
"date": "2026-02-17",
"count": 1
},
{
"date": "2026-03-19",
"count": 1
},
{
"date": "2026-04-17",
"count": 1
},
{
"date": "2026-05-21",
"count": 1
},
{
"date": "2026-07-21",
"count": 1
}
],
"complete": true,
"collected": 40,
"total_forks": 40
},
"star_history": null,
"open_issues_and_prs": 7
},
"ai_readiness": {
"has_nix": false,
"example_dirs": [],
"has_llms_txt": false,
"has_dockerfile": false,
"has_mcp_signal": false,
"bootstrap_files": [],
"api_schema_files": [],
"has_devcontainer": false,
"typecheck_configs": [],
"toolchain_manifests": [],
"largest_source_bytes": 11147,
"source_files_sampled": 2,
"oversized_source_files": 0,
"agent_instruction_files": [],
"agent_instruction_max_bytes": null
},
"dependencies": {
"manifests": [],
"advisories": {
"error": "No resolved dependencies to assess",
"scope": "repository_graph",
"source": null,
"findings": [],
"collected": false,
"malicious": [],
"truncated": false,
"by_severity": {},
"advisory_count": 0,
"affected_count": 0,
"assessed_count": 0,
"malicious_count": 0,
"assessed_package": null,
"unassessed_count": 0,
"direct_affected_count": 0
},
"ecosystems": [],
"dependencies": [],
"all_dependencies": {
"error": null,
"source": "github-sbom",
"packages": [],
"collected": true,
"truncated": false,
"total_count": 0,
"direct_count": 0,
"indirect_count": 0
}
},
"maintainership": {
"issues": {
"open_prs": 0,
"merged_prs": 12,
"open_issues": 7,
"closed_ratio": 0.65,
"closed_issues": 13,
"closed_unmerged_prs": 1
},
"bus_factor": 1,
"bot_contributors": 0,
"top_contributors": [
{
"type": "User",
"login": "aphyr",
"commits": 257,
"avatar_url": "https://avatars.githubusercontent.com/u/3748?v=4"
},
{
"type": "User",
"login": "nano-o",
"commits": 3,
"avatar_url": "https://avatars.githubusercontent.com/u/2411520?v=4"
},
{
"type": "User",
"login": "ligurio",
"commits": 3,
"avatar_url": "https://avatars.githubusercontent.com/u/1151557?v=4"
},
{
"type": "User",
"login": "will62794",
"commits": 2,
"avatar_url": "https://avatars.githubusercontent.com/u/6131840?v=4"
},
{
"type": "User",
"login": "nurturenature",
"commits": 1,
"avatar_url": "https://avatars.githubusercontent.com/u/86082495?v=4"
},
{
"type": "User",
"login": "stevana",
"commits": 1,
"avatar_url": "https://avatars.githubusercontent.com/u/5664010?v=4"
},
{
"type": "User",
"login": "Groxx",
"commits": 1,
"avatar_url": "https://avatars.githubusercontent.com/u/77197?v=4"
}
],
"contributors_sampled": 7,
"top_contributor_share": 0.959
},
"quality_signals": {
"has_ci": false,
"has_tests": true,
"ci_workflows": [],
"has_docs_dir": false,
"linter_configs": [],
"has_editorconfig": false,
"has_linter_config": false,
"has_precommit_config": false
},
"security_signals": {
"lockfiles": [],
"scorecard": {
"checks": [
{
"name": "Binary-Artifacts",
"score": 10,
"reason": "no binaries found in the repo",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#binary-artifacts"
},
{
"name": "Branch-Protection",
"score": 0,
"reason": "branch protection not enabled on development/release branches",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#branch-protection"
},
{
"name": "CI-Tests",
"score": 0,
"reason": "0 out of 2 merged PRs checked by a CI test -- score normalized to 0",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#ci-tests"
},
{
"name": "CII-Best-Practices",
"score": 0,
"reason": "no effort to earn an OpenSSF best practices badge detected",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#cii-best-practices"
},
{
"name": "Code-Review",
"score": 0,
"reason": "Found 2/27 approved changesets -- score normalized to 0",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#code-review"
},
{
"name": "Contributors",
"score": 3,
"reason": "project has 1 contributing companies or organizations -- score normalized to 3",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#contributors"
},
{
"name": "Dangerous-Workflow",
"score": null,
"reason": "no workflows found",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#dangerous-workflow"
},
{
"name": "Dependency-Update-Tool",
"score": 0,
"reason": "no update tool detected",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#dependency-update-tool"
},
{
"name": "Fuzzing",
"score": 0,
"reason": "project is not fuzzed",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#fuzzing"
},
{
"name": "License",
"score": 10,
"reason": "license file detected",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#license"
},
{
"name": "Maintained",
"score": 10,
"reason": "14 commit(s) and 0 issue activity found in the last 90 days -- score normalized to 10",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#maintained"
},
{
"name": "Packaging",
"score": null,
"reason": "packaging workflow not detected",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#packaging"
},
{
"name": "Pinned-Dependencies",
"score": null,
"reason": "no dependencies found",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#pinned-dependencies"
},
{
"name": "SAST",
"score": 0,
"reason": "SAST tool is not run on all commits -- score normalized to 0",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#sast"
},
{
"name": "Security-Policy",
"score": 0,
"reason": "security policy file not detected",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#security-policy"
},
{
"name": "Signed-Releases",
"score": null,
"reason": "no releases found",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#signed-releases"
},
{
"name": "Token-Permissions",
"score": null,
"reason": "No tokens found",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#token-permissions"
},
{
"name": "Vulnerabilities",
"score": 10,
"reason": "0 existing vulnerabilities detected",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#vulnerabilities"
}
],
"commit": "ccdee6fab6c816a605ed24f72723747af054adf8",
"ran_at": "2026-07-23T09:46:36Z",
"aggregate_score": 3.7,
"scorecard_version": "v5.5.0"
},
"has_codeql_workflow": false,
"has_security_policy": false,
"has_dependabot_config": false
},
"contribution_flow": {
"collected": true,
"ci_last_run_at": "2026-07-21T13:30:17Z",
"oldest_open_prs": [],
"last_merged_pr_at": "2026-07-21T13:30:16Z",
"ci_last_conclusion": null,
"oldest_open_issues": [
{
"number": 8,
"created_at": "2020-10-15T07:58:57Z",
"last_comment_at": null,
"last_comment_author": null
},
{
"number": 20,
"created_at": "2022-12-06T14:39:28Z",
"last_comment_at": "2024-01-22T08:54:40Z",
"last_comment_author": "ligurio"
},
{
"number": 21,
"created_at": "2023-05-03T15:48:53Z",
"last_comment_at": "2023-11-15T15:56:31Z",
"last_comment_author": "siliunobi"
},
{
"number": 25,
"created_at": "2023-12-19T03:11:40Z",
"last_comment_at": "2023-12-19T05:03:20Z",
"last_comment_author": "nurturenature"
},
{
"number": 27,
"created_at": "2024-02-12T10:36:28Z",
"last_comment_at": "2024-02-13T21:39:42Z",
"last_comment_author": "aphyr"
},
{
"number": 29,
"created_at": "2025-04-04T09:24:06Z",
"last_comment_at": "2025-04-04T21:24:06Z",
"last_comment_author": "aphyr"
},
{
"number": 30,
"created_at": "2026-02-17T04:51:57Z",
"last_comment_at": "2026-03-02T19:57:49Z",
"last_comment_author": "aphyr"
}
]
}
},
"config": {
"disabled_metrics": [],
"disabled_categories": [],
"disabled_components": {}
},
"source": {
"url": "https://github.com/jepsen-io/elle",
"host": "github.com",
"name": "elle",
"owner": "jepsen-io"
},
"metrics": {
"overall": {
"key": "overall",
"band": "moderate",
"name": "Overall health",
"note": null,
"notes": [],
"value": 52,
"inputs": {
"security": 37,
"vitality": 72,
"community": 59,
"governance": 52,
"engineering": 34
},
"components": []
},
"categories": [
{
"key": "vitality",
"band": "good",
"name": "Vitality",
"value": 72,
"weight": 0.22,
"metrics": [
{
"key": "development_activity",
"band": "moderate",
"name": "Development activity",
"note": null,
"notes": [],
"value": 66,
"inputs": {
"commits_last_year": 31,
"human_commit_share": 1,
"days_since_last_push": 1,
"active_weeks_last_year": 10
},
"components": [
{
"key": "push_recency",
"name": "Push recency",
"detail": "last push 1 days ago",
"points": 36,
"status": "met",
"details": [
{
"code": "push_recency",
"params": {
"days": 1
}
}
],
"max_points": 36
},
{
"key": "commit_cadence",
"name": "Commit cadence",
"detail": "10/52 weeks with commits",
"points": 6.9,
"status": "partial",
"details": [
{
"code": "commit_cadence_weeks",
"params": {
"weeks": 10
}
}
],
"max_points": 36
},
{
"key": "commit_volume",
"name": "Commit volume",
"detail": "31 commits in the last year",
"points": 13.5,
"status": "partial",
"details": [
{
"code": "commits_last_year",
"params": {
"count": 31
}
}
],
"max_points": 18
},
{
"key": "openssf_scorecard_maintained",
"name": "OpenSSF Scorecard: Maintained",
"detail": "14 commit(s) and 0 issue activity found in the last 90 days -- score normalized to 10",
"points": 10,
"status": "met",
"details": [],
"max_points": 10
}
]
},
{
"key": "release_discipline",
"band": "good",
"name": "Release discipline",
"note": "Excluded from scoring (no data or not applicable): OpenSSF Scorecard: Signed-Releases. Remaining weights renormalized.",
"notes": [
{
"code": "excluded_no_data",
"params": {
"components": [
"openssf_scorecard_signed_releases"
]
}
},
{
"code": "weights_renormalized",
"params": {}
}
],
"value": 80,
"inputs": {
"releases_count": 16,
"latest_release_tag": "v0.2.7",
"releases_from_tags": true,
"days_since_latest_release": 5,
"mean_days_between_releases": 111.4
},
"components": [
{
"key": "ships_releases",
"name": "Ships releases",
"detail": "16 version tags (no GitHub releases)",
"points": 16.2,
"status": "partial",
"details": [
{
"code": "version_tags_no_releases",
"params": {
"count": 16
}
}
],
"max_points": 27
},
{
"key": "release_recency",
"name": "Release recency",
"detail": "latest release 5 days ago",
"points": 36,
"status": "met",
"details": [
{
"code": "release_recency",
"params": {
"days": 5
}
}
],
"max_points": 36
},
{
"key": "release_cadence",
"name": "Release cadence",
"detail": "a release every ~111.4 days",
"points": 19.8,
"status": "partial",
"details": [
{
"code": "release_cadence",
"params": {
"gap": 111.4
}
}
],
"max_points": 27
},
{
"key": "openssf_scorecard_signed_releases",
"name": "OpenSSF Scorecard: Signed-Releases",
"detail": "no releases found",
"points": 0,
"status": "excluded",
"details": [
{
"code": "no_data",
"params": {}
}
],
"max_points": 10
}
]
},
{
"key": "abandonment",
"band": "excellent",
"name": "Abandonment",
"note": null,
"notes": [],
"value": 100,
"inputs": {
"cap": null,
"state": "maintained",
"guards": [],
"signals": [],
"red_flag": false,
"multiplier_pct": 100,
"declared_reason": null,
"unverified_reason": null,
"unanswered_open_prs": null,
"unanswered_open_issues": null,
"days_since_last_merged_pr": null,
"days_since_last_human_commit": 1,
"days_since_last_human_commit_is_floor": false
},
"components": [
{
"key": "project_is_still_maintained",
"name": "Project is still maintained",
"detail": "last human commit 1 days ago",
"points": 100,
"status": "met",
"details": [
{
"code": "abandonment_maintained",
"params": {
"days": 1
}
}
],
"max_points": 100
}
]
}
],
"description": "Is the project alive — is code being written and are releases shipping?"
},
{
"key": "community",
"band": "moderate",
"name": "Community & Adoption",
"value": 59,
"weight": 0.18,
"metrics": [
{
"key": "popularity",
"band": "moderate",
"name": "Popularity & adoption",
"note": null,
"notes": [],
"value": 66,
"inputs": {
"forks": 40,
"stars": 699,
"watchers": 14,
"growth_state": "unverified",
"growth_factor_pct": 100,
"growth_unverified_reason": "no_history"
},
"components": [
{
"key": "stars",
"name": "Stars",
"detail": "699 stars",
"points": 46.1,
"status": "partial",
"details": [
{
"code": "stars",
"params": {
"count": 699
}
}
],
"max_points": 60
},
{
"key": "forks",
"name": "Forks",
"detail": "40 forks",
"points": 13.3,
"status": "partial",
"details": [
{
"code": "forks",
"params": {
"count": 40
}
}
],
"max_points": 25
},
{
"key": "watchers",
"name": "Watchers",
"detail": "14 watchers",
"points": 6.2,
"status": "partial",
"details": [
{
"code": "watchers",
"params": {
"count": 14
}
}
],
"max_points": 15
}
]
},
{
"key": "community_health",
"band": "moderate",
"name": "Community health",
"note": null,
"notes": [],
"value": 50,
"inputs": {
"has_readme": true,
"has_license": true,
"has_contributing": false,
"has_issue_template": false,
"has_code_of_conduct": false,
"has_pull_request_template": false
},
"components": [
{
"key": "readme",
"name": "README",
"detail": null,
"points": 22.5,
"status": "met",
"details": [],
"max_points": 22.5
},
{
"key": "license",
"name": "License",
"detail": "recognized license (EPL-2.0)",
"points": 22.5,
"status": "met",
"details": [
{
"code": "license_standard",
"params": {}
},
{
"code": "license_spdx",
"params": {
"spdx": "EPL-2.0"
}
}
],
"max_points": 22.5
},
{
"key": "contributing_guide",
"name": "CONTRIBUTING guide",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 18
},
{
"key": "code_of_conduct",
"name": "Code of conduct",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 13.5
},
{
"key": "issue_template",
"name": "Issue template",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 7.2
},
{
"key": "pr_template",
"name": "PR template",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 6.3
}
]
}
],
"description": "Does the project have users, downloads, attention, and a welcoming setup for contributors?"
},
{
"key": "governance",
"band": "moderate",
"name": "Sustainability & Governance",
"value": 52,
"weight": 0.24,
"metrics": [
{
"key": "maintainer_resilience",
"band": "critical",
"name": "Maintainer resilience (bus factor)",
"note": null,
"notes": [],
"value": 22,
"inputs": {
"bus_factor": 1,
"contributors_sampled": 7,
"top_contributor_share": 0.959
},
"components": [
{
"key": "bus_factor",
"name": "Bus factor",
"detail": "1 contributor(s) cover half of all commits",
"points": 9,
"status": "partial",
"details": [
{
"code": "bus_factor",
"params": {
"count": 1
}
}
],
"max_points": 54
},
{
"key": "commit_distribution",
"name": "Commit distribution",
"detail": "top contributor authored 96% of commits",
"points": 0.9,
"status": "partial",
"details": [
{
"code": "top_contributor_share",
"params": {
"share": 96
}
}
],
"max_points": 22.5
},
{
"key": "contributor_breadth",
"name": "Contributor breadth",
"detail": "7 contributors",
"points": 9.5,
"status": "partial",
"details": [
{
"code": "contributors_sampled",
"params": {
"count": 7
}
}
],
"max_points": 13.5
},
{
"key": "openssf_scorecard_contributors",
"name": "OpenSSF Scorecard: Contributors",
"detail": "project has 1 contributing companies or organizations -- score normalized to 3",
"points": 3,
"status": "partial",
"details": [],
"max_points": 10
}
]
},
{
"key": "responsiveness",
"band": "moderate",
"name": "Issue & PR responsiveness",
"note": null,
"notes": [],
"value": 66,
"inputs": {
"merged_prs": 12,
"open_issues": 7,
"closed_issues": 13,
"issue_closed_ratio": 0.65,
"closed_unmerged_prs": 1
},
"components": [
{
"key": "issue_resolution",
"name": "Issue resolution",
"detail": "65% of issues closed",
"points": 30.4,
"status": "partial",
"details": [
{
"code": "issues_closed_share",
"params": {
"share": 65
}
}
],
"max_points": 46.75
},
{
"key": "pr_acceptance",
"name": "PR acceptance",
"detail": "12/13 decided PRs merged",
"points": 35.3,
"status": "partial",
"details": [
{
"code": "decided_prs_merged",
"params": {
"merged": 12,
"decided": 13
}
}
],
"max_points": 38.25
},
{
"key": "openssf_scorecard_code_review",
"name": "OpenSSF Scorecard: Code-Review",
"detail": "Found 2/27 approved changesets -- score normalized to 0",
"points": 0,
"status": "missed",
"details": [],
"max_points": 15
}
]
},
{
"key": "stewardship",
"band": "good",
"name": "Ownership & stewardship",
"note": null,
"notes": [],
"value": 74,
"inputs": {
"followers": 452,
"owner_type": "Organization",
"is_verified": null,
"owner_login": "jepsen-io",
"public_repos": 51,
"account_age_days": 3723
},
"components": [
{
"key": "ownership_backing",
"name": "Ownership backing",
"detail": "organization-owned",
"points": 30,
"status": "met",
"details": [
{
"code": "owner_organization",
"params": {}
}
],
"max_points": 30
},
{
"key": "verified_domain",
"name": "Verified domain",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 20
},
{
"key": "owner_reach",
"name": "Owner reach",
"detail": "452 followers of jepsen-io",
"points": 19.1,
"status": "partial",
"details": [
{
"code": "owner_followers",
"params": {
"count": 452,
"login": "jepsen-io"
}
}
],
"max_points": 25
},
{
"key": "track_record",
"name": "Track record",
"detail": "51 public repos, account ~10 yr old",
"points": 24.5,
"status": "partial",
"details": [
{
"code": "public_repos",
"params": {
"count": 51
}
},
{
"code": "account_age_years",
"params": {
"years": 10
}
}
],
"max_points": 25
}
]
}
],
"description": "Will the project survive its people — bus factor, responsiveness, who backs it, and package upkeep?"
},
{
"key": "engineering",
"band": "at_risk",
"name": "Engineering Quality",
"value": 34,
"weight": 0.2,
"metrics": [
{
"key": "engineering_practices",
"band": "critical",
"name": "Engineering practices",
"note": null,
"notes": [],
"value": 24,
"inputs": {
"has_ci": false,
"has_tests": true,
"has_editorconfig": false,
"has_linter_config": false,
"has_precommit_config": false
},
"components": [
{
"key": "ci_workflows",
"name": "CI workflows",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 24
},
{
"key": "tests_present",
"name": "Tests present",
"detail": null,
"points": 24,
"status": "met",
"details": [],
"max_points": 24
},
{
"key": "linter_config",
"name": "Linter config",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 16
},
{
"key": "pre_commit_hooks",
"name": "Pre-commit hooks",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 9.6
},
{
"key": "editorconfig",
"name": ".editorconfig",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 6.4
},
{
"key": "openssf_scorecard_ci_tests",
"name": "OpenSSF Scorecard: CI-Tests",
"detail": "0 out of 2 merged PRs checked by a CI test -- score normalized to 0",
"points": 0,
"status": "missed",
"details": [],
"max_points": 20
}
]
},
{
"key": "documentation",
"band": "moderate",
"name": "Documentation",
"note": null,
"notes": [],
"value": 50,
"inputs": {
"topics": [],
"has_wiki": true,
"homepage": null,
"has_readme": true,
"has_docs_dir": false,
"has_description": true
},
"components": [
{
"key": "readme",
"name": "README",
"detail": null,
"points": 30,
"status": "met",
"details": [],
"max_points": 30
},
{
"key": "documentation_directory",
"name": "Documentation directory",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 25
},
{
"key": "documentation_homepage_site",
"name": "Documentation / homepage site",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 15
},
{
"key": "repository_description",
"name": "Repository description",
"detail": null,
"points": 10,
"status": "met",
"details": [],
"max_points": 10
},
{
"key": "topics",
"name": "Topics",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 10
},
{
"key": "wiki",
"name": "Wiki",
"detail": null,
"points": 10,
"status": "met",
"details": [],
"max_points": 10
}
]
}
],
"description": "Are baseline engineering and documentation practices in place?"
},
{
"key": "security",
"band": "at_risk",
"name": "Security",
"value": 37,
"weight": 0.16,
"metrics": [
{
"key": "security_posture",
"band": "at_risk",
"name": "Security posture",
"note": "Excluded from scoring (no data or not applicable): Dangerous-Workflow, Packaging, Pinned-Dependencies, Signed-Releases, Token-Permissions. Remaining weights renormalized.",
"notes": [
{
"code": "excluded_no_data",
"params": {
"components": [
"dangerous_workflow",
"packaging",
"pinned_dependencies",
"signed_releases",
"token_permissions"
]
}
},
{
"code": "weights_renormalized",
"params": {}
}
],
"value": 37,
"inputs": {
"source": "openssf_scorecard",
"checks_evaluated": 13,
"scorecard_version": "v5.5.0",
"checks_inconclusive": 5,
"scorecard_aggregate": 3.7
},
"components": [
{
"key": "binary_artifacts",
"name": "Binary-Artifacts",
"detail": "no binaries found in the repo",
"points": 7.5,
"status": "met",
"details": [],
"max_points": 7.5
},
{
"key": "branch_protection",
"name": "Branch-Protection",
"detail": "branch protection not enabled on development/release branches",
"points": 0,
"status": "missed",
"details": [],
"max_points": 7.5
},
{
"key": "ci_tests",
"name": "CI-Tests",
"detail": "0 out of 2 merged PRs checked by a CI test -- score normalized to 0",
"points": 0,
"status": "missed",
"details": [],
"max_points": 2.5
},
{
"key": "cii_best_practices",
"name": "CII-Best-Practices",
"detail": "no effort to earn an OpenSSF best practices badge detected",
"points": 0,
"status": "missed",
"details": [],
"max_points": 2.5
},
{
"key": "code_review",
"name": "Code-Review",
"detail": "Found 2/27 approved changesets -- score normalized to 0",
"points": 0,
"status": "missed",
"details": [],
"max_points": 7.5
},
{
"key": "contributors",
"name": "Contributors",
"detail": "project has 1 contributing companies or organizations -- score normalized to 3",
"points": 0.8,
"status": "partial",
"details": [],
"max_points": 2.5
},
{
"key": "dangerous_workflow",
"name": "Dangerous-Workflow",
"detail": "no workflows found",
"points": 0,
"status": "excluded",
"details": [
{
"code": "no_data",
"params": {}
}
],
"max_points": 10
},
{
"key": "dependency_update_tool",
"name": "Dependency-Update-Tool",
"detail": "no update tool detected",
"points": 0,
"status": "missed",
"details": [],
"max_points": 7.5
},
{
"key": "fuzzing",
"name": "Fuzzing",
"detail": "project is not fuzzed",
"points": 0,
"status": "missed",
"details": [],
"max_points": 5
},
{
"key": "license",
"name": "License",
"detail": "license file detected",
"points": 2.5,
"status": "met",
"details": [],
"max_points": 2.5
},
{
"key": "maintained",
"name": "Maintained",
"detail": "14 commit(s) and 0 issue activity found in the last 90 days -- score normalized to 10",
"points": 7.5,
"status": "met",
"details": [],
"max_points": 7.5
},
{
"key": "packaging",
"name": "Packaging",
"detail": "packaging workflow not detected",
"points": 0,
"status": "excluded",
"details": [
{
"code": "no_data",
"params": {}
}
],
"max_points": 5
},
{
"key": "pinned_dependencies",
"name": "Pinned-Dependencies",
"detail": "no dependencies found",
"points": 0,
"status": "excluded",
"details": [
{
"code": "no_data",
"params": {}
}
],
"max_points": 5
},
{
"key": "sast",
"name": "SAST",
"detail": "SAST tool is not run on all commits -- score normalized to 0",
"points": 0,
"status": "missed",
"details": [],
"max_points": 5
},
{
"key": "security_policy",
"name": "Security-Policy",
"detail": "security policy file not detected",
"points": 0,
"status": "missed",
"details": [],
"max_points": 5
},
{
"key": "signed_releases",
"name": "Signed-Releases",
"detail": "no releases found",
"points": 0,
"status": "excluded",
"details": [
{
"code": "no_data",
"params": {}
}
],
"max_points": 7.5
},
{
"key": "token_permissions",
"name": "Token-Permissions",
"detail": "No tokens found",
"points": 0,
"status": "excluded",
"details": [
{
"code": "no_data",
"params": {}
}
],
"max_points": 7.5
},
{
"key": "vulnerabilities",
"name": "Vulnerabilities",
"detail": "0 existing vulnerabilities detected",
"points": 7.5,
"status": "met",
"details": [],
"max_points": 7.5
}
]
},
{
"key": "high_risk_jurisdiction_exposure",
"band": "excellent",
"name": "High-Risk Jurisdiction Exposure",
"note": "Only high-confidence self-published location evidence affects this multiplier. Ambiguous matches are review-only; country evidence is not proof of nationality, citizenship, legal registration, malicious intent, or sanctions status.",
"notes": [
{
"code": "jurisdiction_evidence_limits",
"params": {}
}
],
"value": 100,
"inputs": {
"meaning": "self-published location evidence; not nationality or citizenship",
"red_flag": false,
"exposures": [],
"policy_countries": [
"Russia",
"Iran",
"North Korea"
],
"review_only_matches": 0,
"assessed_self_published_locations": 3
},
"components": [
{
"key": "policy_exposure_multiplier",
"name": "Policy exposure multiplier",
"detail": "no confirmed policy-scope location match",
"points": 100,
"status": "met",
"details": [
{
"code": "jurisdiction_no_match",
"params": {}
}
],
"max_points": 100
}
]
}
],
"description": "Are visible security and supply-chain practices strong, with no malicious dependency and no unresolved high-risk jurisdiction exposure?"
},
{
"key": "ai_readiness",
"band": "critical",
"name": "AI Readiness",
"value": 28,
"weight": 0,
"metrics": [
{
"key": "ai_agent_context",
"band": "critical",
"name": "Agent context & guidance",
"note": null,
"notes": [],
"value": 19,
"inputs": {
"has_llms_txt": false,
"legible_history_share": 0.35,
"agent_instruction_files": [],
"agent_instruction_max_bytes": null
},
"components": [
{
"key": "agent_instructions",
"name": "Agent instructions",
"detail": "no CLAUDE.md / AGENTS.md / editor rules",
"points": 0,
"status": "missed",
"details": [
{
"code": "no_agent_instructions",
"params": {}
}
],
"max_points": 45
},
{
"key": "machine_readable_docs_llms_txt",
"name": "Machine-readable docs (llms.txt)",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 15
},
{
"key": "legible_commit_history",
"name": "Legible commit history",
"detail": "35 of 100 human commits state their intent (structured subject or explanatory body)",
"points": 18.7,
"status": "partial",
"details": [
{
"code": "legible_history",
"params": {
"legible": 35,
"sampled": 100
}
}
],
"max_points": 40
}
]
},
{
"key": "ai_verify_loop",
"band": "critical",
"name": "Verify loop (build / test / typecheck)",
"note": "Excluded from scoring (no data or not applicable): OpenSSF Scorecard: Pinned-Dependencies. Remaining weights renormalized.",
"notes": [
{
"code": "excluded_no_data",
"params": {
"components": [
"openssf_scorecard_pinned_dependencies"
]
}
},
{
"code": "weights_renormalized",
"params": {}
}
],
"value": 24,
"inputs": {
"has_nix": false,
"has_tests": true,
"lockfiles": [],
"has_dockerfile": false,
"typed_language": false,
"bootstrap_files": [],
"has_devcontainer": false,
"has_linter_config": false,
"typecheck_configs": [],
"agent_commit_share": 0,
"toolchain_manifests": [],
"dependency_bot_commit_share": 0
},
"components": [
{
"key": "one_command_bootstrap",
"name": "One-command bootstrap",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 18
},
{
"key": "automated_tests",
"name": "Automated tests",
"detail": null,
"points": 22,
"status": "met",
"details": [],
"max_points": 22
},
{
"key": "lint_format_config",
"name": "Lint / format config",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 11
},
{
"key": "static_type_checking",
"name": "Static type checking",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 11
},
{
"key": "reproducible_environment",
"name": "Reproducible environment",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 10
},
{
"key": "demonstrated_agent_practice",
"name": "Demonstrated agent practice",
"detail": "no agent-authored commits among the last 100",
"points": 0,
"status": "missed",
"details": [
{
"code": "no_agent_authored_commits",
"params": {
"sampled": 100
}
}
],
"max_points": 10
},
{
"key": "automated_maintenance",
"name": "Automated maintenance",
"detail": "no automated dependency updates observed",
"points": 0,
"status": "missed",
"details": [
{
"code": "no_dependency_automation",
"params": {}
}
],
"max_points": 8
},
{
"key": "openssf_scorecard_pinned_dependencies",
"name": "OpenSSF Scorecard: Pinned-Dependencies",
"detail": "no dependencies found",
"points": 0,
"status": "excluded",
"details": [
{
"code": "no_data",
"params": {}
}
],
"max_points": 10
}
]
},
{
"key": "ai_code_legibility",
"band": "moderate",
"name": "Code legibility for models",
"note": null,
"notes": [],
"value": 55,
"inputs": {
"primary_language": "Isabelle",
"largest_source_bytes": 11147,
"source_files_sampled": 2,
"oversized_source_files": 0
},
"components": [
{
"key": "type_checkable_code",
"name": "Type-checkable code",
"detail": "Isabelle without a type-check config",
"points": 0,
"status": "missed",
"details": [
{
"code": "no_typecheck_config_language",
"params": {
"language": "Isabelle"
}
}
],
"max_points": 45
},
{
"key": "manageable_file_sizes",
"name": "Manageable file sizes",
"detail": "0/2 source files over 60KB",
"points": 55,
"status": "met",
"details": [
{
"code": "oversized_source_files",
"params": {
"kb": 60,
"sampled": 2,
"oversized": 0
}
}
],
"max_points": 55
}
]
}
],
"description": "How well is the repo equipped to be developed and maintained with AI coding agents? An independent, experimental badge — weight 0.0, so it is surfaced on its own and does not affect the overall health score."
}
],
"metrics_version": "1.13.0"
},
"warnings": [
"Star history unavailable: GitHub GraphQL error: Resource not accessible by personal access token"
],
"report_type": "repository",
"generated_at": "2026-07-23T09:46:47.458533Z",
"schema_version": "0.27.0",
"badge_url": "https://raw.githubusercontent.com/inspect-software/badges/main/v1/j/jepsen-io/elle.svg",
"full_name": "jepsen-io/elle",
"license_state": "standard",
"license_spdx": "EPL-2.0"
}
Оцінки — це сигнали, а не гарантії. Вони відображають публічно видимі практики на GitHub — це не аудит коду й не гарантія безпеки.
Відсутні дані виключаються, а ваги перенормовуються — нуль за відсутність ніколи не ставиться. Методологія версіонована й відкрита: метрики v1.13.0, схема v0.27.0 — повна методологія · вікі метрик.
Як окремий результат виглядає на тлі всього реєстру: сукупна статистика.
