公开记录
软件健康报告模式 0.27.0 · 指标 1.13.0 · 2026-07-23 09:46 UTC

jepsen-io / elle

Black-box transactional safety checker based on cycle detection

Isabelle · ClojureEPL-2.0★ 699 星标⑂ 40 复刻始于 2020年2月在 GitHub 上查看 ↗

jepsen-io/elle 的健康指数为 100 分中的 52 分，处于「中等」区间。 其得分最高的类别是Vitality（72/100），最低的是AI Readiness（28/100）。 最近一次更新在 1 天前。 近期的大部分工作由 1 位贡献者完成。

52
总分 / 100
中等

软件健康指数

指标归入加权类别，统一采用 1–100 量表。总体分先取类别加权平均；当公开证据触发高风险司法辖区政策时，评级会按政策调整，并设置 49（有风险）的上限。AI 就绪度不计入总体分。

52
优秀85-100堪称典范；基本满足所有检验标准
良好70-84健康；仅有轻微不足
中等50-69可接受，但存在明显不足；建议进行审查
存在风险30-49存在重大薄弱环节；采用时应保持审慎
危急1-29问题严重（项目被弃置、仅有单一维护者、缺乏基本工程规范）
活力社区与采用可持续性与治理工程质量安全AI 就绪度

评分画像

每条轴代表一个类别。形状比平均值更重要——健康的对象会填满整个图形，而“一峰一谷”式画像意味着某一维度的优势正掩盖另一维度的风险。

所有权

Jepsen组织
452 关注者51 个公开仓库始于 2016年5月

该仓库由组织支持——共同承担、可问责的托管责任，可延续于任何单一维护者之后。

按类别列示的指标

活力

项目是否仍有生命——是否仍在编写代码，是否仍在发布版本？

72良好 · 占总体的 22%

开发活跃度

66中等
评分方式
36/36推送新近度 — 最近一次推送于 1 天前
6.9/36提交节奏 — 52 周中有 10 周有提交
13.5/18提交量 — 最近一年 31 次提交
10/10OpenSSF Scorecard：Maintained — 14 commit(s) and 0 issue activity found in the last 90 days -- score normalized to 10
所用输入
commits_last_year31
human_commit_share1
days_since_last_push1
active_weeks_last_year10

发布纪律

80良好
评分方式
16.2/27有发布版本 — 16 个版本标签（无 GitHub 发布版本）
36/36发布时效 — 最近一次发布版本于 5 天前
19.8/27发布节奏 — 约每 111.4 天发布一次
0/10OpenSSF Scorecard：Signed-Releases — 无数据
所用输入
releases_count16
latest_release_tagv0.2.7
releases_from_tags是
days_since_latest_release5
mean_days_between_releases111.4
已排除计分（无数据或不适用）：OpenSSF Scorecard：Signed-Releases。 其余权重已重新归一化。

社区与采用

项目是否拥有用户、下载量与关注度，并具备欢迎贡献者参与的配置？

59中等 · 占总体的 18%

流行度与采用

66中等
评分方式
46.1/60星标 — 699 个星标
13.3/25复刻 — 40 个复刻
6.2/15关注者 — 14 位关注者
所用输入
forks40
stars699
watchers14
growth_stateunverified
growth_factor_pct100
growth_unverified_reasonno_history

社区健康

50中等
评分方式
22.5/22.5README
22.5/22.5许可证 — 可识别的许可证（EPL-2.0）
0/18CONTRIBUTING 指南
0/13.5行为准则
0/7.2议题模板
0/6.3PR 模板
所用输入
has_readme是
has_license是
has_contributing否
has_issue_template否
has_code_of_conduct否
has_pull_request_template否

可持续性与治理

项目能否在其成员之外延续——巴士系数、响应能力、由谁支持，以及软件包的维护状况？

52中等 · 占总体的 24%

维护者韧性（巴士系数）

22危急
评分方式
9/54巴士系数 — 1 位贡献者贡献了半数提交
0.9/22.5提交分布 — 头号贡献者编写了 96% 的提交
9.5/13.5贡献者广度 — 7 位贡献者
3/10OpenSSF Scorecard：Contributors — project has 1 contributing companies or organizations -- score normalized to 3
所用输入
bus_factor1
contributors_sampled7
top_contributor_share0.959

议题与 PR 响应能力

66中等
评分方式
30.4/46.8议题解决 — 65% 的议题已关闭
35.3/38.3PR 接受 — 已裁定的 PR 中 12/13 已合并
0/15OpenSSF Scorecard：Code-Review — Found 2/27 approved changesets -- score normalized to 0
所用输入
merged_prs12
open_issues7
closed_issues13
issue_closed_ratio0.65
closed_unmerged_prs1

所有权与托管责任

74良好
评分方式
30/30所有权背书 — 组织持有
0/20已验证域名
19.1/25所有者影响力 — jepsen-io 有 452 位关注者
24.5/25既往记录 — 51 个公开仓库，账户约 10 年
所用输入
followers452
owner_typeOrganization
is_verified—
owner_loginjepsen-io
public_repos51
account_age_days3,723

工程质量

基础的工程与文档实践是否到位？

34存在风险 · 占总体的 20%

工程实践

24危急
评分方式
0/24CI 工作流
24/24存在测试
0/16Linter 配置
0/9.6Pre-commit 钩子
0/6.4.editorconfig
0/20OpenSSF Scorecard：CI-Tests — 0 out of 2 merged PRs checked by a CI test -- score normalized to 0
所用输入
has_ci否
has_tests是
has_editorconfig否
has_linter_config否
has_precommit_config否

文档

50中等
评分方式
30/30README
0/25文档目录
0/15文档 / 主页站点
10/10仓库描述
0/10主题标签
10/10Wiki
所用输入
topics—
has_wiki是
homepage—
has_readme是
has_docs_dir否
has_description是

安全

可见的安全与供应链实践是否稳固，且不存在未解决的高风险司法辖区暴露？

37存在风险 · 占总体的 16%

安全态势

37存在风险
评分方式
7.5/7.5Binary-Artifacts — no binaries found in the repo
0/7.5Branch-Protection — branch protection not enabled on development/release branches
0/2.5CI-Tests — 0 out of 2 merged PRs checked by a CI test -- score normalized to 0
0/2.5CII-Best-Practices — no effort to earn an OpenSSF best practices badge detected
0/7.5Code-Review — Found 2/27 approved changesets -- score normalized to 0
0.8/2.5Contributors — project has 1 contributing companies or organizations -- score normalized to 3
0/10Dangerous-Workflow — 无数据
0/7.5Dependency-Update-Tool — no update tool detected
0/5Fuzzing — project is not fuzzed
2.5/2.5许可证 — license file detected
7.5/7.5Maintained — 14 commit(s) and 0 issue activity found in the last 90 days -- score normalized to 10
0/5Packaging — 无数据
0/5Pinned-Dependencies — 无数据
0/5SAST — SAST tool is not run on all commits -- score normalized to 0
0/5Security-Policy — security policy file not detected
0/7.5Signed-Releases — 无数据
0/7.5Token-Permissions — 无数据
7.5/7.5Vulnerabilities — 0 existing vulnerabilities detected
所用输入
sourceopenssf_scorecard
checks_evaluated13
scorecard_versionv5.5.0
checks_inconclusive5
scorecard_aggregate3.7
已排除计分（无数据或不适用）：dangerous_workflow, packaging, pinned_dependencies, signed_releases, token_permissions。 其余权重已重新归一化。

AI 就绪度

该仓库在多大程度上具备与 AI 编码代理协同开发与维护的条件？这是一枚独立的实验性徽章——权重为 0.0，因此单独呈现，不影响总体健康评分。

28危急 · 占总体的 0%

AI 代理上下文与指引

19危急
评分方式
0/45代理指令 — 没有 CLAUDE.md / AGENTS.md / 编辑器规则
0/15机器可读文档（llms.txt）
18.7/40可读的提交历史 — 100 次人类提交中有 35 次说明了意图（结构化标题或解释性正文）
所用输入
has_llms_txt否
legible_history_share0.35
agent_instruction_files—
agent_instruction_max_bytes—

验证循环（构建 / 测试 / 类型检查）

24危急
评分方式
0/18一条命令的引导启动
22/22自动化测试
0/11Lint / 格式化配置
0/11静态类型检查
0/10可复现环境
0/10已体现的代理实践 — 最近 100 次提交中没有代理编写的提交
0/8自动化维护 — 未观察到自动依赖更新
0/10OpenSSF Scorecard：Pinned-Dependencies — 无数据
所用输入
has_nix否
has_tests是
lockfiles—
has_dockerfile否
typed_language否
bootstrap_files—
has_devcontainer否
has_linter_config否
typecheck_configs—
agent_commit_share0
toolchain_manifests—
dependency_bot_commit_share0
已排除计分（无数据或不适用）：OpenSSF Scorecard：Pinned-Dependencies。 其余权重已重新归一化。

面向模型的代码可读性

55中等
评分方式
0/45可类型检查的代码 — Isabelle，未配置类型检查
55/55可控的文件大小 — 采样的 2 个源文件中有 0 个超过 60KB
所用输入
primary_languageIsabelle
largest_source_bytes11,147
source_files_sampled2
oversized_source_files0

关键数据

699GitHub 星标
7贡献者
31最近 12 个月提交数
1距最近推送天数
16发布版本数
1巴士系数（bus factor）
7开放议题
—软件包生态系统数

数据采集警告

  • Star history unavailable: GitHub GraphQL error: Resource not accessible by personal access token

更多细节

Star 与 Fork 历史 0 ★ / 40 ⇿
0Star
40Fork
15发布

每颗 star 和每个 fork 的添加时间，来自 GitHub 并按天汇总。累计增长位于其构成来源——每日新增——的正上方，二者可相互对照：稳定的自然增长与短暂的突增形态截然不同。当这一差别可被衡量时，它会作为增长真实性予以报告。

0102030404092020-032023-052026-07
主版本 0次版本 1修订 14

每个点涵盖 6 天。

OpenSSF Scorecard 3.7 / 10
3.7综合

来自开源项目 OpenSSF Scorecard 的独立、工具无关的安全评估。每项检查奖励的是安全实践本身，而非特定供应商的工具。Scorecard 无法判定的检查项标记为 不适用，并从安全评分中剔除（绝不按零分计）。Scorecard v5.5.0 · 2026-07-23 09:46 UTC

10Binary-Artifactsno binaries found in the repo
0Branch-Protectionbranch protection not enabled on development/release branches
0CI-Tests0 out of 2 merged PRs checked by a CI test -- score normalized to 0
0CII-Best-Practicesno effort to earn an OpenSSF best practices badge detected
0Code-ReviewFound 2/27 approved changesets -- score normalized to 0
3Contributorsproject has 1 contributing companies or organizations -- score normalized to 3
不适用Dangerous-Workflowno workflows found
0Dependency-Update-Toolno update tool detected
0Fuzzingproject is not fuzzed
10Licenselicense file detected
10Maintained14 commit(s) and 0 issue activity found in the last 90 days -- score normalized to 10
不适用Packagingpackaging workflow not detected
不适用Pinned-Dependenciesno dependencies found
0SASTSAST tool is not run on all commits -- score normalized to 0
0Security-Policysecurity policy file not detected
不适用Signed-Releasesno releases found
不适用Token-PermissionsNo tokens found
10Vulnerabilities0 existing vulnerabilities detected
全部依赖 0

来自 GitHub 依赖图的完整解析依赖集合：0 个直接依赖与 0 个间接（传递）软件包。仓库提交锁文件时，传递闭包才是完整的。

注册表软件包版本关系
依赖安全公告 未评估

本报告未能完成公告比对：No resolved dependencies to assess

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

评分是信号，而非担保。 评分反映的是 GitHub 上公开可见的实践——不是代码审计，也不是安全保证。

缺失数据将被剔除并重新归一化权重，绝不按零分计。方法论已版本化并公开：指标 v1.13.0、模式 v0.27.0—— 完整方法论 · 指标知识库.

单项结果在整体记录中的位置： 汇总统计.