jepsen-io/elle erreicht einen Gesundheitsindex von 52 von 100 und liegt damit im Bereich Mittel. Am stärksten schneidet es bei Vitality (72/100) ab, am schwächsten bei AI Readiness (28/100). Zuletzt vor 1 Tag aktualisiert. Ein einzelner Mitwirkender trägt den Großteil der jüngsten Arbeit.
52
gesamt / 100
Mittel
Software-Gesundheitsindex
Metriken werden auf einer Skala von 1–100 in gewichtete Kategorien gruppiert. Der Gesamtwert beginnt als ihr Mittel; sobald öffentliche Evidenz die Richtlinie für Hochrisikojurisdiktionen auslöst, wird die Bewertung angepasst und erhält die Obergrenze 49 (Gefährdet). AI Readiness liegt außerhalb.
52
Exzellent85-100Vorbildlich; erfüllt im Wesentlichen alle geprüften Kriterien
Gut70-84Gesund; geringfügige Lücken
Mittel50-69Akzeptabel mit deutlichen Lücken; Überprüfung empfohlen
Gefährdet30-49Erhebliche Schwächen; eine Übernahme erfordert Vorsicht
Kritisch1-29Schwerwiegende Probleme (aufgegeben, nur ein Maintainer, keine Hygiene)
Bewertungsprofil
Jede Achse ist eine Kategorie. Die Form zählt mehr als der Durchschnitt — ein gesundes Projekt füllt die gesamte Fläche, während ein Profil aus Spitzen und Kratern bedeutet, dass Stärke in einer Dimension Risiken in einer anderen verdeckt.
Dieses Repository wird von einer Organisation getragen — geteilte, rechenschaftspflichtige Trägerschaft, die jeden einzelnen Maintainer überdauern kann.
Liefert Releases aus — 16 Versions-Tags (keine GitHub-Releases)
36/36
Release-Aktualität — letztes Release vor 5 Tagen
19.8/27
Release-Rhythmus — ein Release etwa alle 111,4 Tage
0/10
OpenSSF Scorecard: Signed-Releases — keine Daten
Verwendete Eingangsdaten
releases_count
16
latest_release_tag
v0.2.7
releases_from_tags
ja
days_since_latest_release
5
mean_days_between_releases
111,4
Von der Bewertung ausgeschlossen (keine Daten oder nicht anwendbar): OpenSSF Scorecard: Signed-Releases. Die verbleibenden Gewichte wurden renormalisiert.
Von der Bewertung ausgeschlossen (keine Daten oder nicht anwendbar): dangerous_workflow, packaging, pinned_dependencies, signed_releases, token_permissions. Die verbleibenden Gewichte wurden renormalisiert.
Wie gut ist das Repository dafür ausgestattet, mit KI-Coding-Agenten entwickelt und gepflegt zu werden? Ein unabhängiges, experimentelles Badge — Gewicht 0,0, es wird eigenständig ausgewiesen und verändert den Gesamt-Gesundheitswert nicht.
Belegte Agentenpraxis — keine von Agenten verfassten Commits unter den letzten 100
0/8
Automatisierte Wartung — keine automatisierten Abhängigkeits-Updates beobachtet
0/10
OpenSSF Scorecard: Pinned-Dependencies — keine Daten
Verwendete Eingangsdaten
has_nix
nein
has_tests
ja
lockfiles
—
has_dockerfile
nein
typed_language
nein
bootstrap_files
—
has_devcontainer
nein
has_linter_config
nein
typecheck_configs
—
agent_commit_share
0
toolchain_manifests
—
dependency_bot_commit_share
0
Von der Bewertung ausgeschlossen (keine Daten oder nicht anwendbar): OpenSSF Scorecard: Pinned-Dependencies. Die verbleibenden Gewichte wurden renormalisiert.
Typprüfbarer Code — Isabelle ohne Typprüfungs-Konfiguration
55/55
Handhabbare Dateigrößen — 0/2 Quelldateien über 60 KB
Verwendete Eingangsdaten
primary_language
Isabelle
largest_source_bytes
11.147
source_files_sampled
2
oversized_source_files
0
Eckdaten
699GitHub-Sterne
7Mitwirkende
31Commits, letzte 12 Monate
1Tage seit letztem Push
16Releases
1Bus-Faktor
7offene Issues
—Paket-Ökosysteme
Warnungen zur Datenerhebung
Star history unavailable: GitHub GraphQL error: Resource not accessible by personal access token
Weitere Details
Stern- und Fork-Verlauf 0 ★ / 40 ⇿
0Sterne
40Forks
15Releases
Wann jeder Stern und Fork hinzugefügt wurde, von GitHub erfasst und nach Tagen gruppiert. Das kumulierte Wachstum steht direkt über den täglichen Zugängen, aus denen es besteht, sodass beide gegeneinander lesbar sind: stetiger organischer Zuwachs sieht ganz anders aus als ein abrupter, kurzlebiger Ausschlag. Wo dieser Unterschied messbar ist, wird er als Wachstumsauthentizität ausgewiesen.
Major 0Minor 1Patch 14
Jeder Punkt umfasst 6 Tage.
OpenSSF Scorecard 3.7 / 10
3.7Gesamtwert
Unabhängige, werkzeugneutrale Sicherheitsbewertung durch das quelloffene OpenSSF Scorecard. Jede Prüfung honoriert eine Sicherheits-Praxis, nicht das Werkzeug eines bestimmten Anbieters. Prüfungen, die Scorecard nicht ermitteln konnte, sind mit k. A. markiert und vom Sicherheitswert ausgeschlossen (nie als null gezählt).Scorecard v5.5.0 · 2026-07-23 09:46 UTC
Vollständig aufgelöster Abhängigkeitssatz aus dem GitHub-Abhängigkeitsgraphen: 0 direkte und 0 indirekte (transitive) Pakete. Die transitive Hülle ist vollständig, wenn das Repository eine Lockfile eincheckt.
Registry
Paket
Version
Beziehung
Abhängigkeits-Advisories nicht bewertet
Der Advisory-Abgleich konnte für diesen Bericht nicht ausgeführt werden: No resolved dependencies to assess
JSON-Rohbericht maschinenlesbar
{
"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"
}
Bewertungen sind Signale, keine Garantien. Sie spiegeln öffentlich sichtbare Praxis auf GitHub wider — kein Code-Audit und keine Sicherheitsgarantie.
Fehlende Daten werden ausgeschlossen und die Gewichte neu normiert, nie als null bewertet. Die Methodik ist versioniert und offen: Metriken v1.13.0, Schema v0.27.0 — vollständige Methodik · Metriken-Wiki.
