Black-box transactional safety checker based on cycle detection
Isabelle · ClojureEPL-2.0★ 699 estrellas⑂ 40 forksdesde feb 2020Ver en GitHub ↗
jepsen-io/elle tiene un índice de salud de 52 sobre 100, lo que lo sitúa en la banda Moderado. Su puntuación más alta es Vitality (72/100) y la más baja, AI Readiness (28/100). Se actualizó por última vez hace 1 día. Una sola persona concentra la mayor parte del trabajo reciente.
52
global / 100
Moderado
Índice de salud del software
Las métricas se agrupan en categorías ponderadas sobre una escala de 1 a 100. El resultado global parte de su media; cuando la evidencia pública activa la Política de Jurisdicciones de Alto Riesgo, la calificación se ajusta y recibe el límite 49 (En riesgo). Preparación para IA queda fuera.
52
Excelente85-100Ejemplar; cumple prácticamente todos los criterios evaluados
Bueno70-84Saludable; carencias menores
Moderado50-69Aceptable con carencias notables; se recomienda revisión
En riesgo30-49Debilidades significativas; su adopción exige cautela
Crítico1-29Problemas graves (proyecto abandonado, un solo mantenedor, sin higiene)
Perfil de puntuación
Cada eje es una categoría. La forma importa más que la media: un proyecto sano llena toda la figura, mientras que un perfil de picos y cráteres indica que la fortaleza en una dimensión enmascara el riesgo en otra.
Excluidos de la puntuación (sin datos o no aplicable): dangerous_workflow, packaging, pinned_dependencies, signed_releases, token_permissions. Los pesos restantes se han renormalizado.
¿Hasta qué punto está el repositorio preparado para desarrollarse y mantenerse con agentes de codificación de IA? Es una insignia independiente y experimental — peso 0,0, de modo que se presenta por separado y no afecta a la puntuación de salud global.
Código verificable por tipos — Isabelle sin configuración de verificación de tipos
55/55
Tamaños de archivo manejables — 0/2 archivos fuente de más de 60 KB
Datos de entrada utilizados
primary_language
Isabelle
largest_source_bytes
11.147
source_files_sampled
2
oversized_source_files
0
Datos clave
699estrellas de GitHub
7contribuidores
31commits en los últimos 12 meses
1días desde el último push
16versiones publicadas
1factor bus
7issues abiertas
—ecosistemas de paquetes
Advertencias de recopilación de datos
Star history unavailable: GitHub GraphQL error: Resource not accessible by personal access token
Más detalle
Historial de estrellas y forks 0 ★ / 40 ⇿
0Estrellas
40Forks
15Versiones
Cuándo se añadió cada estrella y fork, recopilado de GitHub y agrupado por día. El crecimiento acumulado se sitúa justo encima de las adiciones diarias que lo componen, de modo que ambos se leen en conjunto: la acumulación orgánica sostenida no se parece en nada a un pico abrupto y efímero. Cuando esa diferencia es medible, se informa como autenticidad del crecimiento.
Mayor 0Menor 1Parche 14
Cada punto abarca 6 días.
OpenSSF Scorecard 3.7 / 10
3.7agregado
Evaluación de seguridad independiente y agnóstica en cuanto a herramientas, procedente del proyecto de código abierto OpenSSF Scorecard. Cada comprobación premia una práctica de seguridad, no la herramienta de un proveedor concreto. Las comprobaciones que Scorecard no pudo determinar se marcan como n/d y se excluyen de la puntuación de seguridad (nunca se cuentan como cero).Scorecard v5.5.0 · 2026-07-23 09:46 UTC
Conjunto completo de dependencias resueltas según el grafo de dependencias de GitHub: 0 paquetes directos y 0 indirectos (transitivos). El cierre transitivo es completo cuando el repositorio incluye un lockfile.
Registro
Paquete
Versión
Relación
Avisos de dependencias sin evaluar
El cotejo de avisos no pudo ejecutarse para este informe: No resolved dependencies to assess
Informe JSON sin procesar legible por máquina
{
"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"
}
Las puntuaciones son señales, no garantías. Reflejan prácticas públicamente visibles en GitHub; no son una auditoría de código ni una garantía de seguridad.
Los datos ausentes se excluyen y los pesos se renormalizan; nunca se puntúan como cero. La metodología es versionada y abierta: métricas v1.13.0, esquema v0.27.0 — metodología completa · wiki de métricas.
