Публічний реєстрПомірний
Звіт про здоров'я програмного забезпеченнясхема 0.27.0 · метрики 1.13.0 · 2026-07-25 07:42 UTC
midspiral / LemmaScript
verification toolchain for TypeScript (Tech Preview)
midspiral/LemmaScript має індекс здоров’я 58 зі 100, що відповідає смузі «Помірний». Найвищий показник — Vitality (80/100), найнижчий — Community & Adoption (47/100). Останнє оновлення було 1 день тому. Більшість нещодавньої роботи виконує один учасник.
58
загалом / 100Індекс здоров'я програмного забезпечення
Метрики згруповано у зважені категорії на шкалі 1–100. Загальна оцінка починається як їхнє середнє; коли публічні дані активують Політику юрисдикцій високого ризику, рейтинг коригується й отримує верхню межу 49 («Під ризиком»). Готовність до ШІ не входить до індексу.
58
Відмінний85-100Зразковий; відповідає практично всім перевіреним критеріям
Добрий70-84Здоровий; незначні прогалини
Помірний50-69Прийнятний, але з помітними прогалинами; рекомендовано перевірку
У зоні ризику30-49Суттєві слабкі місця; впровадження потребує обережності
Критичний1-29Серйозні проблеми (покинутий, єдиний мейнтейнер, без базової гігієни)
Профіль оцінок
Кожна вісь — окрема категорія. Форма важить більше, ніж середнє: здоровий об'єкт заповнює всю фігуру, тоді як профіль із піками та провалами означає, що сила в одному вимірі маскує ризик в іншому.
Власність
midspiralОрганізація
26 підписників35 публічних репозиторіївз жовт. 2025 р.
За цим репозиторієм стоїть організація — спільна, підзвітна опіка, здатна пережити будь-якого окремого мейнтейнера.
Пакетні екосистеми
| Реєстр | Пакет | Версія | Завантажень / міс | Версії | Остання публікація | Теги |
|---|---|---|---|---|---|---|
| npm | lemmascript | 0.5.18 | 4 607 | 27 | 5 днів тому | lemmascriptverificationformal-verificationverifiedtypescriptlean4dafnyformal-methods |
Метрики за категоріями
Життєздатність
Чи живий проєкт — чи пишеться код і чи виходять релізи?
80
Активність розробки
75Добрий
Як обчислюється оцінка
| 36/36 | Свіжість push — останній push 1 дн. тому |
| 11.1/36 | Ритм комітів — 16/52 тижнів із комітами |
| 18/18 | Обсяг комітів — 1 018 комітів за останній рік |
| 10/10 | OpenSSF Scorecard: Maintained — 30 commit(s) and 2 issue activity found in the last 90 days -- score normalized to 10 |
Використані вхідні дані
| commits_last_year | 1 018 |
| human_commit_share | 1 |
| days_since_last_push | 1 |
| active_weeks_last_year | 16 |
Дисципліна релізів
88Відмінний
Як обчислюється оцінка
| 16.2/27 | Випускає релізи — 8 тегів версій (без релізів GitHub) |
| 36/36 | Свіжість релізів — останній реліз 5 дн. тому |
| 27/27 | Ритм релізів — реліз кожні ~1,9 дн. |
| 0/10 | OpenSSF Scorecard: Signed-Releases — немає даних |
Використані вхідні дані
| releases_count | 8 |
| latest_release_tag | v0.5.18 |
| releases_from_tags | так |
| days_since_latest_release | 5 |
| mean_days_between_releases | 1,9 |
Виключено з оцінювання (немає даних або не застосовно): OpenSSF Scorecard: Signed-Releases. Залишкові ваги перенормовано.
Спільнота та впровадження
Чи має проєкт користувачів, завантаження, увагу та влаштовані умови для контриб’юторів?
47
Популярність і впровадження
35У зоні ризику
Як обчислюється оцінка
| 30/60 | Зірки — 72 зірок |
| 5/25 | Форки — 5 форків |
| 0/15 | Спостерігачі — 1 спостерігачів |
Використані вхідні дані
| forks | 5 |
| stars | 72 |
| watchers | 1 |
| growth_state | unverified |
| growth_factor_pct | 100 |
| growth_unverified_reason | no_history |
Здоров'я спільноти
50Помірний
Як обчислюється оцінка
| 22.5/22.5 | README |
| 22.5/22.5 | Ліцензія — визнана ліцензія (MIT) |
| 0/18 | Настанови CONTRIBUTING |
| 0/13.5 | Кодекс поведінки |
| 0/7.2 | Шаблон issue |
| 0/6.3 | Шаблон PR |
Використані вхідні дані
| has_readme | так |
| has_license | так |
| has_contributing | ні |
| has_issue_template | ні |
| has_code_of_conduct | ні |
| has_pull_request_template | ні |
Впровадження в екосистемі (завантаження)
61Помірний
Як обчислюється оцінка
| 48.8/80 | Щомісячні завантаження — 4 607 завантажень/місяць у npm |
| 0/20 | Залежні пакети в реєстрі — ця екосистема цього не повідомляє |
Використані вхідні дані
| packages | lemmascript |
| dependents | — |
| ecosystems | npm |
| total_downloads | — |
| monthly_downloads | 4 607 |
Виключено з оцінювання (немає даних або не застосовно): Залежні пакети в реєстрі. Залишкові ваги перенормовано.
Сталість та врядування
Чи переживе проєкт своїх людей — бас-фактор, реактивність, хто за ним стоїть і як супроводжуються пакети?
56
Стійкість мейнтейнерів (бас-фактор)
24Критичний
Як обчислюється оцінка
| 9/54 | Бас-фактор — на 1 контриб’ютор(ів) припадає половина всіх комітів |
| 0.4/22.5 | Розподіл комітів — головний контриб’ютор — автор 98% комітів |
| 4.1/13.5 | Широта контриб’юторів — 3 контриб’юторів |
| 10/10 | OpenSSF Scorecard: Contributors — project has 7 contributing companies or organizations |
Використані вхідні дані
| bus_factor | 1 |
| contributors_sampled | 3 |
| top_contributor_share | 0,984 |
Реактивність на issue та PR
61Помірний
Як обчислюється оцінка
| 23.4/46.8 | Вирішення issue — закрито 50% issue |
| 37.6/38.3 | Прийняття PR — злито 167/170 вирішених PR |
| 0/15 | OpenSSF Scorecard: Code-Review — Found 0/5 approved changesets -- score normalized to 0 |
Використані вхідні дані
| merged_prs | 167 |
| open_issues | 1 |
| closed_issues | 1 |
| issue_closed_ratio | 0,5 |
| closed_unmerged_prs | 3 |
Власність та опіка
53Помірний
Як обчислюється оцінка
| 30/30 | Підтримка власника — у власності організації |
| 0/20 | Верифікований домен |
| 10.3/25 | Охоплення власника — 26 підписників у midspiral |
| 12.9/25 | Послужний список — 35 публічних репозиторіїв, вік облікового запису ~0 р. |
Використані вхідні дані
| followers | 26 |
| owner_type | Organization |
| is_verified | — |
| owner_login | midspiral |
| public_repos | 35 |
| account_age_days | 289 |
Супровід пакетів
100Відмінний
Як обчислюється оцінка
| 25/25 | Опубліковано й доступно — 1 пакет(ів) у npm |
| 35/35 | Свіжість публікацій — остання публікація 5 дн. тому |
| 20/20 | Історія версій — 27 опублікованих версій |
| 20/20 | Не застарілий — активний, не deprecated і не yanked |
Використані вхідні дані
| packages | lemmascript |
| ecosystems | npm |
| any_deprecated | ні |
| min_days_since_publish | 5 |
Інженерна якість
Чи наявні базові інженерні практики та документація?
52
Інженерні практики
44У зоні ризику
Як обчислюється оцінка
| 24/24 | Процеси CI — 6 процес(ів) CI |
| 0/24 | Наявні тести |
| 0/16 | Конфігурація лінтера |
| 0/9.6 | Pre-commit-хуки |
| 0/6.4 | .editorconfig |
| 20/20 | OpenSSF Scorecard: CI-Tests — 1 out of 1 merged PRs checked by a CI test -- score normalized to 10 |
Використані вхідні дані
| has_ci | так |
| has_tests | ні |
| has_editorconfig | ні |
| has_linter_config | ні |
| has_precommit_config | ні |
Документація
65Помірний
Як обчислюється оцінка
| 30/30 | README |
| 0/25 | Каталог документації |
| 15/15 | Сайт документації / домашня сторінка — https://lemmascript.org |
| 10/10 | Опис репозиторію |
| 10/10 | Теми — 8 тем |
| 0/10 | Wiki |
Використані вхідні дані
| topics | dafny, lean, lean4, lemmascript, typescript, ai, llm, verification |
| has_wiki | ні |
| homepage | https://lemmascript.org |
| has_readme | так |
| has_docs_dir | ні |
| has_description | так |
Безпека
Чи міцні видимі практики безпеки й ланцюга постачання, без непослабленої пов’язаності з юрисдикціями високого ризику?
49
Стан безпеки
42У зоні ризику
Як обчислюється оцінка
| 7.5/7.5 | Binary-Artifacts — no binaries found in the repo |
| 0/7.5 | Branch-Protection — branch protection not enabled on development/release branches |
| 2.5/2.5 | CI-Tests — 1 out of 1 merged PRs checked by a CI test -- score normalized to 10 |
| 0/2.5 | CII-Best-Practices — no effort to earn an OpenSSF best practices badge detected |
| 0/7.5 | Code-Review — Found 0/5 approved changesets -- score normalized to 0 |
| 2.5/2.5 | Contributors — project has 7 contributing companies or organizations |
| 10/10 | Dangerous-Workflow — no dangerous workflow patterns detected |
| 0/7.5 | Dependency-Update-Tool — no update tool detected |
| 0/5 | Fuzzing — project is not fuzzed |
| 2.5/2.5 | Ліцензія — license file detected |
| 7.5/7.5 | Maintained — 30 commit(s) and 2 issue activity found in the last 90 days -- score normalized to 10 |
| 5/5 | Packaging — packaging workflow detected |
| 3/5 | Pinned-Dependencies — dependency not pinned by hash detected -- score normalized to 6 |
| 0/5 | SAST — SAST tool is not run on all commits -- score normalized to 0 |
| 0/5 | Security-Policy — security policy file not detected |
| 0/7.5 | Signed-Releases — немає даних |
| 0/7.5 | Token-Permissions — detected GitHub workflow tokens with excessive permissions |
| 0/7.5 | Vulnerabilities — 16 existing vulnerabilities detected |
Використані вхідні дані
| source | openssf_scorecard |
| checks_evaluated | 17 |
| scorecard_version | v5.5.0 |
| checks_inconclusive | 1 |
| scorecard_aggregate | 4,2 |
Виключено з оцінювання (немає даних або не застосовно): signed_releases. Залишкові ваги перенормовано.
Сповіщення про залежності
77Добрий
Як обчислюється оцінка
| 35/35 | Прямі залежності без відомих сповіщень — жодна пряма залежність не має відомих сповіщень |
| 8.4/25 | Непрямі залежності без відомих сповіщень — уражено 2: brace-expansion 2.1.2 (high 7.5), uuid 9.0.1 (high 7.5) |
| 33.7/40 | Немає задавнених сповіщень — 1 пакет(ів) зі сповіщеннями без реакції понад 90 дн.; найдавніше опубліковано 93 дн. тому |
Використані вхідні дані
| source | osv |
| advisories | 2 |
| affected_packages | 2 |
| assessed_packages | 165 |
| unassessed_packages | 0 |
| affected_by_severity | high 2 |
| direct_affected_packages | 0 |
Звірено з runtime-замиканням залежностей npm:lemmascript@0.5.18 — тим, що тягне за собою встановлення опублікованого пакета, — 165 пакетів. Досяжність не аналізується.
Готовність до ШІ
Наскільки репозиторій оснащений для розробки та супроводу за участі ШІ-агентів? Незалежний, експериментальний бейдж — вага 0.0, тож він подається окремо і не впливає на загальний індекс здоров'я.
56
Контекст і настанови для агентів
70Добрий
Як обчислюється оцінка
| 45/45 | Інструкції для агентів — AGENTS.md |
| 15/15 | Машиночитана документація (llms.txt) — llms.txt наявний |
| 10.1/40 | Читабельна історія комітів — намір зазначено у 19 з 100 людських комітів (структурований заголовок або пояснювальний текст) |
Використані вхідні дані
| has_llms_txt | так |
| legible_history_share | 0,19 |
| agent_instruction_files | AGENTS.md |
| agent_instruction_max_bytes | 12 661 |
Як обчислюється оцінка
| 0/18 | Розгортання однією командою |
| 0/22 | Автоматизовані тести |
| 0/11 | Конфігурація лінтера / форматера |
| 11/11 | Статична перевірка типів — examples/tsconfig.json, site/tsconfig.json, tools/tsconfig.json |
| 10/10 | Відтворюване середовище — lockfile |
| 0/10 | Підтверджена практика роботи з агентами — серед останніх 100 комітів немає створених агентом |
| 0/8 | Автоматизоване супроводження — автоматичних оновлень залежностей не виявлено |
| 6/10 | OpenSSF Scorecard: Pinned-Dependencies — dependency not pinned by hash detected -- score normalized to 6 |
Використані вхідні дані
| has_nix | ні |
| has_tests | ні |
| lockfiles | package-lock.json |
| has_dockerfile | ні |
| typed_language | так |
| bootstrap_files | — |
| has_devcontainer | ні |
| has_linter_config | ні |
| typecheck_configs | examples/tsconfig.json, site/tsconfig.json, tools/tsconfig.json |
| agent_commit_share | 0 |
| toolchain_manifests | — |
| dependency_bot_commit_share | 0 |
Читабельність коду для моделей
98Відмінний
Як обчислюється оцінка
| 45/45 | Типізований код — TypeScript (статично типізована) |
| 52.5/55 | Керовані розміри файлів — 4/89 файлів вихідного коду понад 60 КБ |
Використані вхідні дані
| primary_language | TypeScript |
| largest_source_bytes | 120 099 |
| source_files_sampled | 89 |
| oversized_source_files | 4 |
Машиночитні інтерфейси
60Помірний
Як обчислюється оцінка
| 0/40 | Схема API (OpenAPI/GraphQL/proto) |
| 20/20 | Сервер MCP |
| 40/40 | Придатні до запуску приклади — examples |
Використані вхідні дані
| example_dirs | examples |
| has_mcp_signal | так |
| api_schema_files | — |
Ключові факти
72зірок GitHub
3контриб'юторів
1 018комітів за останні 12 місяців
1днів від останнього пушу
8релізів
1бас-фактор
1відкритих issue
npmпакетних екосистем
Попередження щодо збору даних
- Star history unavailable: GitHub GraphQL error: Resource not accessible by personal access token
- GitHub dependency-graph SBOM unavailable (404); the dependency graph may be disabled for this repository
Докладніше
Історія зірок і форків 0 ★ / 5 ⇿
0Зірки
5Форки
8Релізи
Коли додано кожну зірку й форк — зібрано з GitHub і згруповано за днями. Кумулятивне зростання розміщено просто над денними додаваннями, з яких воно складається, тож їх видно одне проти одного: рівномірне органічне накопичення виглядає зовсім інакше, ніж різкий короткочасний сплеск. Там, де цю різницю можна виміряти, її подано як автентичність росту.
Мажорні 0Мінорні 0Патчі 8
OpenSSF Scorecard 4.2 / 10
4.2сукупно
Незалежна, не прив'язана до інструментів оцінка безпеки від відкритого проєкту OpenSSF Scorecard. Кожна перевірка винагороджує практику безпеки, а не інструмент конкретного постачальника. Перевірки, які Scorecard не зміг визначити, позначено н/д і виключено з оцінки безпеки (вони ніколи не зараховуються як нуль).
| 10 | Binary-Artifacts | no binaries found in the repo |
| 0 | Branch-Protection | branch protection not enabled on development/release branches |
| 10 | CI-Tests | 1 out of 1 merged PRs checked by a CI test -- score normalized to 10 |
| 0 | CII-Best-Practices | no effort to earn an OpenSSF best practices badge detected |
| 0 | Code-Review | Found 0/5 approved changesets -- score normalized to 0 |
| 10 | Contributors | project has 7 contributing companies or organizations |
| 10 | Dangerous-Workflow | no dangerous workflow patterns detected |
| 0 | Dependency-Update-Tool | no update tool detected |
| 0 | Fuzzing | project is not fuzzed |
| 10 | License | license file detected |
| 10 | Maintained | 30 commit(s) and 2 issue activity found in the last 90 days -- score normalized to 10 |
| 10 | Packaging | packaging workflow detected |
| 6 | Pinned-Dependencies | dependency not pinned by hash detected -- score normalized to 6 |
| 0 | SAST | SAST tool is not run on all commits -- score normalized to 0 |
| 0 | Security-Policy | security policy file not detected |
| н/д | Signed-Releases | no releases found |
| 0 | Token-Permissions | detected GitHub workflow tokens with excessive permissions |
| 0 | Vulnerabilities | 16 existing vulnerabilities detected |
Прямі залежності 8
| Реєстр | Пакет | Обмеження версії | Маніфест |
|---|---|---|---|
| npm | lemmascript-claimcheck | ^0.2.0 | package.json |
| npm | ts-morph | ^25.0.0 | package.json |
| npm | @astrojs/starlight | ^0.39.2 | site/package.json |
| npm | @fontsource/dm-sans | ^5.2.8 | site/package.json |
| npm | @fontsource/jetbrains-mono | ^5.2.8 | site/package.json |
| npm | astro | ^6.3.7 | site/package.json |
| npm | sharp | ^0.34.5 | site/package.json |
| npm | ts-morph | ^25.0.0 | tools/package.json |
Усі залежності не зібрано
Не вдалося зібрати розв'язаний набір залежностей для цього звіту: GitHub dependency-graph SBOM unavailable (404); the dependency graph may be disabled for this repository
Сповіщення про залежності 2
Встановлення npm:lemmascript@0.5.18 тягне 165 пакетів, прямих і транзитивних: 2 мають відомі сповіщення, з них 0 — прямі залежності.
| Пакет | Версія | Зв'язок | Критичність | Сповіщень | Виправлено в |
|---|---|---|---|---|---|
| brace-expansion | 2.1.2 | непряма | висока | 1 | 5.0.8 |
| uuid | 9.0.1 | непряма | висока | 1 | 13.0.1 |
Сповіщення означає, що версія, записана в графі залежностей, потрапляє в уражений діапазон. Досяжність не аналізується, а граф містить піниї розробки й тестування — знахідка може стосуватися інструментів, а не поставленого коду.
Звіт у форматі JSON машиночитний
{
"data": {
"repo": {
"topics": [
"dafny",
"lean",
"lean4",
"lemmascript",
"typescript",
"ai",
"llm",
"verification"
],
"is_fork": false,
"size_kb": 2001,
"has_wiki": false,
"homepage": "https://lemmascript.org",
"languages": {
"CSS": 2144,
"Lean": 19323,
"Astro": 8874,
"Shell": 1783,
"JavaScript": 24575,
"TypeScript": 595570
},
"pushed_at": "2026-07-24T03:34:18Z",
"created_at": "2026-03-30T00:18:56Z",
"owner_type": "Organization",
"updated_at": "2026-07-25T01:27:02Z",
"description": "verification toolchain for TypeScript (Tech Preview)",
"is_archived": false,
"is_disabled": false,
"license_spdx": "MIT",
"default_branch": "main",
"license_spdx_raw": "MIT",
"primary_language": "TypeScript",
"significant_languages": [
"TypeScript"
]
},
"owner": {
"blog": "https://midspiral.com",
"name": null,
"type": "Organization",
"login": "midspiral",
"company": null,
"location": null,
"followers": 26,
"avatar_url": "https://avatars.githubusercontent.com/u/236881061?v=4",
"created_at": "2025-10-08T17:57:26Z",
"is_verified": null,
"public_repos": 35,
"account_age_days": 289
},
"license": {
"state": "standard",
"spdx_id": "MIT",
"raw_spdx": "MIT",
"file_present": true,
"scorecard_found": true,
"profile_has_license": true
},
"activity": {
"releases": [
{
"tag": "v0.5.18",
"kind": "patch",
"published_at": "2026-07-19T10:31:32Z"
},
{
"tag": "v0.5.17",
"kind": "patch",
"published_at": "2026-07-16T19:10:20Z"
},
{
"tag": "v0.5.16",
"kind": "patch",
"published_at": "2026-07-11T16:39:24Z"
},
{
"tag": "v0.5.15",
"kind": "patch",
"published_at": "2026-07-11T11:33:02Z"
},
{
"tag": "v0.5.14",
"kind": "patch",
"published_at": "2026-07-10T19:56:02Z"
},
{
"tag": "v0.5.13",
"kind": "patch",
"published_at": "2026-07-08T19:14:03Z"
},
{
"tag": "v0.5.12",
"kind": "patch",
"published_at": "2026-07-06T03:21:09Z"
},
{
"tag": "v0.5.11",
"kind": "patch",
"published_at": "2026-07-06T01:10:12Z"
}
],
"recent_commits": [
{
"oid": "e7f35c609dd952bda27a351495191100ad341ed5",
"body": null,
"is_bot": false,
"headline": "setup for verify",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-24T02:47:01Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "687721a05eab5446f8faefa6afa6e4e660fd14ba",
"body": "Extract condition-facts, builtins, and typedecls as single sources of truth",
"is_bot": false,
"headline": "Merge pull request #179 from midspiral/cherry",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-23T17:37:02Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "783369ea33ee37c67ef10a1f9be229cf04d683a8",
"body": null,
"is_bot": false,
"headline": "minor",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-23T17:27:14Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "ae07b6f69dbbcbde705ffb27502362f7f3f1192f",
"body": null,
"is_bot": false,
"headline": "doc update",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-23T17:24:02Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "d04ee625cd676d8779075df3dc2e9dfce974f462",
"body": null,
"is_bot": false,
"headline": "example for pure guard",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-23T17:20:51Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "d370cd67df69a851f5d646db2c55957df42ea509",
"body": null,
"is_bot": false,
"headline": "Merge branch 'main' into cherry",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-23T17:01:58Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "8ed4792719aa868bd84ff39d50a8353b1c257b4a",
"body": null,
"is_bot": false,
"headline": "condense quota case study desc",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-23T17:01:28Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "9b52e12678e193f3b97997c1705893895a2f9b93",
"body": null,
"is_bot": false,
"headline": "some updates to minor npm design doc file",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-23T16:59:17Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "9849516bfda2a5f68002b19b77dc41a20793f499",
"body": null,
"is_bot": false,
"headline": "minor",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-23T16:52:07Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "4dc4c286c356ccc966dfff8859442db343f2549c",
"body": null,
"is_bot": false,
"headline": "explain pure",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-23T16:48:38Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "97e5c08a4aff8b3a98a5ce2e37af6432f5c4c5e6",
"body": null,
"is_bot": false,
"headline": "fix comment, now that pure is pure",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-23T16:37:03Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "3304f0a3ac85bc997abef95091a29b257898898e",
"body": null,
"is_bot": false,
"headline": "use actual purity annotations, for decisions in narrowing",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-23T16:34:32Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "d8695ac40d20ddfdef75a3cb2283f4b045d86eba",
"body": null,
"is_bot": false,
"headline": "dry for builtins",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-23T16:17:04Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "04d7988ac52e427bda0495ad65b4738cdef1d252",
"body": null,
"is_bot": false,
"headline": "real LOCs in table of §8.3",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-23T13:01:05Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "a904027f4ee0ff371d023909d5b6b8ec98aeb4ab",
"body": null,
"is_bot": false,
"headline": "status line for §5.2 related to typedecls",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-23T12:59:15Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "d5e0fb1eeea6518c93a4084ff172b728f66bf8d7",
"body": null,
"is_bot": false,
"headline": "drop stale ref",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-23T12:56:31Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "21353ee944223daf5d37c4b8f22efb0c10968aef",
"body": null,
"is_bot": false,
"headline": "drop stale comment",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-23T12:53:59Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "66808d5c411a96749ff7c53125c1c80c1befc6bf",
"body": null,
"is_bot": false,
"headline": "more cleanup: share falsy-type set, refresh condition-facts docs",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-23T12:48:55Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "13578c6b054a348cc96f8a43f59e25107a78248f",
"body": null,
"is_bot": false,
"headline": "cleanup, with extractConjunct and binder renames",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-23T12:43:30Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "1c46f76bf86ded190b59ac86b980f3bfc8555a50",
"body": null,
"is_bot": false,
"headline": "Merge branch 'main' into cherry",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-23T12:17:17Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "28c3cf9e91d146c77783b8c05f43536da87b2a07",
"body": null,
"is_bot": false,
"headline": "define sorted predicate in typescript instead of dafny/lean backends",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-22T14:30:03Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "404fbb8d6f0dcec83936c53a85d08a4a296be7c2",
"body": null,
"is_bot": false,
"headline": "condition facts",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-21T20:21:46Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "30e5d39103744718b7dd13b1f18929d96ade6c37",
"body": null,
"is_bot": false,
"headline": "update doc with deferred generic handling",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-21T17:39:02Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "4be061c6c44675b5b4383d6abec9dd567cd3941a",
"body": null,
"is_bot": false,
"headline": "type decls",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-21T17:21:49Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "ff662e32d84e12d653c5597bec04ace319c99407",
"body": null,
"is_bot": false,
"headline": "update doc status",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-21T17:03:20Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "8f1584d96a1c440fadf90994b050465ddd665a8f",
"body": null,
"is_bot": false,
"headline": "lean build",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-21T16:57:03Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "733e87943b86a6bcdc66427c5072c012d34e662b",
"body": null,
"is_bot": false,
"headline": "example for pinned registry",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-21T16:50:05Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "2e868048025ad8b026e61165d21e36c31599db0b",
"body": null,
"is_bot": false,
"headline": "minor, import once",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-21T16:40:24Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "c513abb2d434c5094ecb8eb3a038de5a201a830c",
"body": null,
"is_bot": false,
"headline": "builtins registry",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-21T16:31:16Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "81c1c0e92ed7542ef743dc1113eae32ba9b21483",
"body": null,
"is_bot": false,
"headline": "init design",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-21T15:16:48Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "9307dce1b1b140d3bc08f77d333beea00d2ed792",
"body": null,
"is_bot": false,
"headline": "llms txt",
"author_name": "Fernanda Graciolli",
"author_login": "graciolli-f",
"committed_at": "2026-07-20T12:51:14Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "52c434980aec7b1e987f672f013883be82433d4e",
"body": null,
"is_bot": false,
"headline": "allow crawlers + training on docs",
"author_name": "Fernanda Graciolli",
"author_login": "graciolli-f",
"committed_at": "2026-07-20T12:48:31Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "42ce69955cd62ab3876b74a7dbb32555da2789f9",
"body": null,
"is_bot": false,
"headline": "Merge branch 'main' of github.com:midspiral/LemmaScript",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-19T10:31:49Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "602dbcbbc9fa5043118de9c677efb72ea9547654",
"body": null,
"is_bot": false,
"headline": "0.5.18",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-19T10:31:32Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "3b1b2db7f100c81a26d7f3e3b33f9db3b857db38",
"body": null,
"is_bot": false,
"headline": "bump version",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-19T10:31:27Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "3aa6da739adc9214f4ad00fc4c9ac9f4c2adc722",
"body": "add discord",
"is_bot": false,
"headline": "Merge pull request #177 from midspiral/site",
"author_name": "Fernanda Graciolli",
"author_login": "graciolli-f",
"committed_at": "2026-07-18T00:29:07Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "4ac8baf71c1b9ee7ed521ab40de86ca06ebc67c9",
"body": null,
"is_bot": false,
"headline": "add discord",
"author_name": "Fernanda Graciolli",
"author_login": "graciolli-f",
"committed_at": "2026-07-18T00:21:14Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "460736608a4b259cd585de6f6b00dc9d33dd54ef",
"body": "mostly style changes + auto update version in docs",
"is_bot": false,
"headline": "Merge pull request #176 from midspiral/site",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-17T18:34:40Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "33e37144961fcf7138dad6dc886db1f6af1c0295",
"body": "deal with terminators uniformly in narrowing and resolve",
"is_bot": false,
"headline": "Merge pull request #175 from midspiral/terminator",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-17T18:33:59Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "33c62e1d545f8953f3d274bed451ebdfac618066",
"body": null,
"is_bot": false,
"headline": "mostly style changes + auto update version in docs",
"author_name": "Fernanda Graciolli",
"author_login": "graciolli-f",
"committed_at": "2026-07-17T18:27:45Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "95cb1373a8d96024fdad019fd2588301f73c06d3",
"body": null,
"is_bot": false,
"headline": "deal with terminators uniformly in narrowing and resolve",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-17T18:23:31Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "6da428534273f0c00a886e9b7ab422687ddfe50a",
"body": "Site",
"is_bot": false,
"headline": "Merge pull request #174 from midspiral/site",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-17T17:35:54Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "4939d76c262da8ba5a49404a3f438818910b4ea5",
"body": null,
"is_bot": false,
"headline": "update brownfield doc title",
"author_name": "Fernanda Graciolli",
"author_login": "graciolli-f",
"committed_at": "2026-07-17T17:17:49Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "3185a0c3d0f3560b89890bd4be85b10a88859c9a",
"body": null,
"is_bot": false,
"headline": "edits to docs to bring them up to date",
"author_name": "Fernanda Graciolli",
"author_login": "graciolli-f",
"committed_at": "2026-07-17T17:08:53Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "4297b5b9deb0abacd3e51eeb1458a3330578abf5",
"body": null,
"is_bot": false,
"headline": "update version in docs",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-17T16:19:21Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "65767acea98a19ed4bdec1310e8ae95a2df79d2a",
"body": null,
"is_bot": false,
"headline": "update stale info",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-17T15:55:36Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "f3e2904da699ffe6574b4b41f2ed7abf314a06a9",
"body": null,
"is_bot": false,
"headline": "rm section",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-17T15:44:33Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "c70e366799fda9243a90d71a1517419939ae0339",
"body": null,
"is_bot": false,
"headline": "minimal edits for runtime guard layer",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-17T12:19:05Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "361487fa33744c65fa0ac975cc44490721094aa4",
"body": null,
"is_bot": false,
"headline": "bump kit on each change",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-16T19:39:48Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "6bee8ea1867452e7e62342383a8adaa524d47d88",
"body": null,
"is_bot": false,
"headline": "0.5.17",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-16T19:10:20Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "08efca04df196b2d733f79d5c48e9e43738f8a0b",
"body": null,
"is_bot": false,
"headline": "add continuous integration section",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-16T18:58:50Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "46580e3d0f103acc368d87714d7d93076ec239c9",
"body": "… (#173)",
"is_bot": false,
"headline": "tweaks for Lean: order of decls need toposort, plus minor parentheses…",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-16T18:54:28Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "c2b27c147cf394a5eaad5d030f7a0e755c5feaae",
"body": "support for some with named function and reduce",
"is_bot": false,
"headline": "Merge pull request #172 from midspiral/some-reduce",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-16T17:56:45Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "fe067b249c10d57d902b5a2d87d259ec7d2b6ba5",
"body": null,
"is_bot": false,
"headline": "support for some with named function and reduce",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-16T17:26:57Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "55c58790a7fd1e7cdd09d6f2dd392e4cb84a355a",
"body": "better safe slice function",
"is_bot": false,
"headline": "Merge pull request #171 from midspiral/safe-slice",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-13T05:17:08Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "5cdbbd86dc49fd6993744ef716a526f62e84773b",
"body": null,
"is_bot": false,
"headline": "retrigger CI after update of opencode case study",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-13T05:07:30Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "caca31f9c106a0b1b632c5d05f4ec83414baa993",
"body": null,
"is_bot": false,
"headline": "better safe slice function",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-13T05:02:02Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "4580ce8326ae13f2bdb6906a4a7e6a6de78ec029",
"body": null,
"is_bot": false,
"headline": "zigzag example",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-12T01:16:07Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "d5fd59969d1a90a9fa72718a69e092eac5893c2e",
"body": null,
"is_bot": false,
"headline": "upgrade to vickrey auction",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-12T01:08:30Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "2c86b3b501164282098d0735b3aa30fe51aea151",
"body": "Generalize or narrow",
"is_bot": false,
"headline": "Merge pull request #169 from midspiral/gen-or-narrow",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-11T20:51:45Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "c9d47189f3a248bb2bbdf3a03ce3ff283f57df31",
"body": null,
"is_bot": false,
"headline": "auction example",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-11T20:38:57Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "47e0c0003e64837839cd78aba3ae90799bfa7844",
"body": "coerce truthy objects for cond",
"is_bot": false,
"headline": "Merge pull request #168 from midspiral/coerce-truthy-object",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-11T20:28:56Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "6237a07bd763094995aae03239822bc4a4c440b8",
"body": null,
"is_bot": false,
"headline": "generalize or narrowing",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-11T20:18:33Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "cfcd23c4445764bff38bd2c5e2ce253d01c0ad44",
"body": null,
"is_bot": false,
"headline": "coerce truthy objects for cond",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-11T20:17:55Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "0b288a84ac9a66ccb3729394540310d5b03dbc55",
"body": "more ops, and update docs",
"is_bot": false,
"headline": "Merge pull request #167 from midspiral/more-tweaks",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-11T19:18:19Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "634a3c7bec7717a47b12ef6ba4102e77dcf6d201",
"body": null,
"is_bot": false,
"headline": "more ops, and update docs",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-11T19:06:22Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "3560d7d504aa7e7d63d8f9972907e6476ead6a5d",
"body": "Tweaks",
"is_bot": false,
"headline": "Merge pull request #166 from midspiral/tweaks",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-11T18:38:14Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "65bf7a7727f2df06476d775c82acae3115beeab3",
"body": null,
"is_bot": false,
"headline": "missing case for truthy int",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-11T18:27:40Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "675ef98ef99ee95847d21e45ce2aa61410098e8d",
"body": null,
"is_bot": false,
"headline": "accept ; as well for interfaces",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-11T18:27:25Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "2545d72ed95708e6600a694f1485404ab987470c",
"body": null,
"is_bot": false,
"headline": "0.5.16",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-11T16:39:24Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "6198327195c02d264046b3251d8593f3412bcadf",
"body": null,
"is_bot": false,
"headline": "bump version in docs",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-11T16:39:17Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "2eef05b07c0912cfef1ccf99d4780f793fe238d3",
"body": null,
"is_bot": false,
"headline": "minor",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-11T15:20:12Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "3c22bdec7d6d93021c6e8710c089700f14ac1f23",
"body": null,
"is_bot": false,
"headline": "update flue case study desc",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-11T15:09:25Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "355c091c4161ee3f777c1fd3621a033e19e0b6ae",
"body": "truthy object",
"is_bot": false,
"headline": "Merge pull request #165 from midspiral/truthy-object",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-11T15:00:49Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "4ea96f11b3341320b455b45b45c11375b6a08097",
"body": null,
"is_bot": false,
"headline": "truthy object",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-11T14:51:19Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "7f2cfe60932244e6f16941c6ba36e399261a191c",
"body": null,
"is_bot": false,
"headline": "flue case study",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-11T14:30:40Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "42470537798e84e232d754c6ae4abf7445697b5a",
"body": "more cases in narrowing",
"is_bot": false,
"headline": "Merge pull request #164 from midspiral/narrow-more",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-11T14:17:48Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "f9904958c8c8f75b3d9ada34aeea668d269aa5c6",
"body": null,
"is_bot": false,
"headline": "more cases in narrowing",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-11T14:09:05Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "b495a9b438b7965adfb7583258b7b9caed26dbda",
"body": "shard check of dafny examples in CI",
"is_bot": false,
"headline": "Merge pull request #163 from midspiral/ci-shard-dafny",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-11T14:03:44Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "6f596115e9f3a9c1e7dece4471bb4ed496659062",
"body": null,
"is_bot": false,
"headline": "shard check of dafny examples in CI",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-11T13:55:30Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "d59e97f2ce5735ccc96ee9f8f0635620f8dec628",
"body": "cache dafny on ci",
"is_bot": false,
"headline": "Merge pull request #162 from midspiral/ci-cache-dafny",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-11T13:45:03Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "bff56b5792d306d908b43f2d2fd646f062fbe39e",
"body": null,
"is_bot": false,
"headline": "tweak to regen as used in CI, to avoid verifying twice",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-11T13:35:26Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "a0f8095273577a53aac2baa2c274ac2696ce7326",
"body": null,
"is_bot": false,
"headline": "cache dafny on ci",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-11T13:27:46Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "961b35a9bf6d33111c84dd1bd6d796000989fab2",
"body": "lift artificial limitations with continue",
"is_bot": false,
"headline": "Merge pull request #161 from midspiral/enable-continue",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-11T13:10:10Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "bae990c1b7b3c852d1a93ac886f910e0e1214902",
"body": null,
"is_bot": false,
"headline": "lift artificial limitations with continue",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-11T12:55:26Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "fa1d07343132a16402738771736de20f435eebd3",
"body": "heterogenuous tuples, when needed",
"is_bot": false,
"headline": "Merge pull request #160 from midspiral/hetero-tuples",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-11T12:32:13Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "98d4b7f0f843423f804dbb7629c485924d4569e7",
"body": null,
"is_bot": false,
"headline": "heterogenuous tuples, when needed",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-11T12:18:40Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "c71bfc689c23e333f1e7a1d56affdf3ce2d0c2f1",
"body": null,
"is_bot": false,
"headline": "0.5.15",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-11T11:33:02Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "ff8c179c8d3a69edfe6de51f3841e2f0bb2462ea",
"body": null,
"is_bot": false,
"headline": "bump version in docs",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-11T11:32:57Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "b9b1e2a8d9a96ef957d1ddac3df4e3b850d214d8",
"body": "reset lean module",
"is_bot": false,
"headline": "Merge pull request #159 from midspiral/reset-lean",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-11T03:52:27Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "4b25972068bdad92d78a79481d5d796940fad8a4",
"body": null,
"is_bot": false,
"headline": "Merge branch 'main' into reset-lean",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-11T03:32:42Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "abfff93ffe887150b8a9dad8c6615a0f1001096c",
"body": null,
"is_bot": false,
"headline": "sweep doc update",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-11T03:32:28Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "ac6670aa7f5b016e0e24958fa2f100e6bb83cc92",
"body": null,
"is_bot": false,
"headline": "reset lean module",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-11T03:16:02Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "f03cd382ad8db82995fdd7b1f8be378c72c6e20b",
"body": null,
"is_bot": false,
"headline": "npm-publish env",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-11T01:44:29Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "8eb337a4a342ec60018564962e18ff234bcf29be",
"body": "JS-accurate trim",
"is_bot": false,
"headline": "Merge pull request #158 from midspiral/trim",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-10T20:58:44Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "6367977fa697df84f717072e3ec393b423386cb6",
"body": null,
"is_bot": false,
"headline": "copy favicon from main website",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-10T20:56:55Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "09b35ddb186fb85a73c50643a27c0e8d5d55a7f1",
"body": null,
"is_bot": false,
"headline": "retrigger CI after updates of case studies",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-10T20:48:40Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "11e1b8b3c6a8ccbb6e8155c220e6892e23ec7108",
"body": null,
"is_bot": false,
"headline": "JS-accurate trim",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-10T20:39:04Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "65e2471aeca8a493a6489511d88bf8f9c545f600",
"body": null,
"is_bot": false,
"headline": "Merge branch 'field-size'",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-10T19:57:00Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "c632171283492c74fe661bcc56ad4d8c4ae70e29",
"body": null,
"is_bot": false,
"headline": "0.5.14",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-10T19:56:02Z",
"body_truncated": false,
"is_coding_agent": false
}
],
"releases_count": 8,
"commits_last_year": 1018,
"latest_release_at": "2026-07-19T10:31:32Z",
"latest_release_tag": "v0.5.18",
"releases_from_tags": true,
"days_since_last_push": 1,
"active_weeks_last_year": 16,
"days_since_latest_release": 5,
"mean_days_between_releases": 1.9
},
"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": [
{
"name": "lemmascript",
"exists": true,
"license": "MIT",
"keywords": [
"lemmascript",
"verification",
"formal-verification",
"verified",
"typescript",
"lean4",
"dafny",
"formal-methods"
],
"ecosystem": "npm",
"matches_repo": true,
"registry_url": "https://www.npmjs.com/package/lemmascript",
"is_deprecated": false,
"latest_version": "0.5.18",
"repository_url": "https://github.com/midspiral/LemmaScript",
"versions_count": 27,
"total_downloads": null,
"dependents_count": null,
"deprecation_note": null,
"maintainers_count": 2,
"monthly_downloads": 4607,
"first_published_at": "2026-04-01T19:55:18.946000Z",
"latest_published_at": "2026-07-19T10:32:26.135000Z",
"latest_version_yanked": null,
"days_since_latest_publish": 5
}
]
},
"popularity": {
"forks": 5,
"stars": 72,
"watchers": 1,
"fork_history": {
"days": [
{
"date": "2026-05-19",
"count": 2
},
{
"date": "2026-06-30",
"count": 1
},
{
"date": "2026-07-08",
"count": 1
},
{
"date": "2026-07-20",
"count": 1
}
],
"complete": true,
"collected": 5,
"total_forks": 5
},
"star_history": null,
"open_issues_and_prs": 8
},
"ai_readiness": {
"has_nix": false,
"example_dirs": [
"examples"
],
"has_llms_txt": true,
"has_dockerfile": false,
"has_mcp_signal": true,
"bootstrap_files": [],
"api_schema_files": [],
"has_devcontainer": false,
"typecheck_configs": [
"examples/tsconfig.json",
"site/tsconfig.json",
"tools/tsconfig.json"
],
"toolchain_manifests": [],
"largest_source_bytes": 120099,
"source_files_sampled": 89,
"oversized_source_files": 4,
"agent_instruction_files": [
"AGENTS.md"
],
"agent_instruction_max_bytes": 12661
},
"dependencies": {
"manifests": [
"package.json",
"site/package.json",
"tools/package.json"
],
"advisories": {
"error": null,
"scope": "published_package",
"source": "osv",
"findings": [
{
"name": "brace-expansion",
"direct": false,
"version": "2.1.2",
"severity": "high",
"ecosystem": "npm",
"cvss_score": 7.5,
"advisory_ids": [
"GHSA-mh99-v99m-4gvg"
],
"fixed_version": "5.0.8",
"advisory_count": 1,
"oldest_advisory_days": 0
},
{
"name": "uuid",
"direct": false,
"version": "9.0.1",
"severity": "high",
"ecosystem": "npm",
"cvss_score": 7.5,
"advisory_ids": [
"GHSA-w5hq-g745-h8pq"
],
"fixed_version": "13.0.1",
"advisory_count": 1,
"oldest_advisory_days": 93
}
],
"collected": true,
"malicious": [],
"truncated": false,
"by_severity": {
"high": 2
},
"advisory_count": 2,
"affected_count": 2,
"assessed_count": 165,
"malicious_count": 0,
"assessed_package": "npm:lemmascript@0.5.18",
"unassessed_count": 0,
"direct_affected_count": 0
},
"ecosystems": [
"npm"
],
"dependencies": [
{
"name": "lemmascript-claimcheck",
"manifest": "package.json",
"ecosystem": "npm",
"version_constraint": "^0.2.0"
},
{
"name": "ts-morph",
"manifest": "package.json",
"ecosystem": "npm",
"version_constraint": "^25.0.0"
},
{
"name": "@astrojs/starlight",
"manifest": "site/package.json",
"ecosystem": "npm",
"version_constraint": "^0.39.2"
},
{
"name": "@fontsource/dm-sans",
"manifest": "site/package.json",
"ecosystem": "npm",
"version_constraint": "^5.2.8"
},
{
"name": "@fontsource/jetbrains-mono",
"manifest": "site/package.json",
"ecosystem": "npm",
"version_constraint": "^5.2.8"
},
{
"name": "astro",
"manifest": "site/package.json",
"ecosystem": "npm",
"version_constraint": "^6.3.7"
},
{
"name": "sharp",
"manifest": "site/package.json",
"ecosystem": "npm",
"version_constraint": "^0.34.5"
},
{
"name": "ts-morph",
"manifest": "tools/package.json",
"ecosystem": "npm",
"version_constraint": "^25.0.0"
}
],
"all_dependencies": {
"error": "GitHub dependency-graph SBOM unavailable (404); the dependency graph may be disabled for this repository",
"source": null,
"packages": [],
"collected": false,
"truncated": false,
"total_count": null,
"direct_count": null,
"indirect_count": null
}
},
"maintainership": {
"issues": {
"open_prs": 7,
"merged_prs": 167,
"open_issues": 1,
"closed_ratio": 0.5,
"closed_issues": 1,
"closed_unmerged_prs": 3
},
"bus_factor": 1,
"bot_contributors": 0,
"top_contributors": [
{
"type": "User",
"login": "namin",
"commits": 1002,
"avatar_url": "https://avatars.githubusercontent.com/u/6441?v=4"
},
{
"type": "User",
"login": "graciolli-f",
"commits": 12,
"avatar_url": "https://avatars.githubusercontent.com/u/26588811?v=4"
},
{
"type": "User",
"login": "hath995",
"commits": 4,
"avatar_url": "https://avatars.githubusercontent.com/u/381037?v=4"
}
],
"contributors_sampled": 3,
"top_contributor_share": 0.984
},
"quality_signals": {
"has_ci": true,
"has_tests": false,
"ci_workflows": [
"ci.yml",
"kit-bump.yml",
"release-sync.yml",
"release.yml",
"site.yml",
"verify.yml"
],
"has_docs_dir": false,
"linter_configs": [],
"has_editorconfig": false,
"has_linter_config": false,
"has_precommit_config": false
},
"security_signals": {
"lockfiles": [
"package-lock.json"
],
"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": 10,
"reason": "1 out of 1 merged PRs checked by a CI test -- score normalized to 10",
"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 0/5 approved changesets -- score normalized to 0",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#code-review"
},
{
"name": "Contributors",
"score": 10,
"reason": "project has 7 contributing companies or organizations",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#contributors"
},
{
"name": "Dangerous-Workflow",
"score": 10,
"reason": "no dangerous workflow patterns detected",
"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": "30 commit(s) and 2 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": 10,
"reason": "packaging workflow detected",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#packaging"
},
{
"name": "Pinned-Dependencies",
"score": 6,
"reason": "dependency not pinned by hash detected -- score normalized to 6",
"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": 0,
"reason": "detected GitHub workflow tokens with excessive permissions",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#token-permissions"
},
{
"name": "Vulnerabilities",
"score": 0,
"reason": "16 existing vulnerabilities detected",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#vulnerabilities"
}
],
"commit": "e7f35c609dd952bda27a351495191100ad341ed5",
"ran_at": "2026-07-25T07:42:36Z",
"aggregate_score": 4.2,
"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-24T02:59:17Z",
"oldest_open_prs": [
{
"number": 69,
"created_at": "2026-05-16T18:00:22Z",
"last_comment_at": null,
"last_comment_author": null
},
{
"number": 78,
"created_at": "2026-05-19T13:56:20Z",
"last_comment_at": "2026-05-26T04:21:58Z",
"last_comment_author": "namin"
},
{
"number": 87,
"created_at": "2026-05-23T21:24:39Z",
"last_comment_at": null,
"last_comment_author": null
},
{
"number": 101,
"created_at": "2026-05-26T21:47:15Z",
"last_comment_at": "2026-05-27T10:50:18Z",
"last_comment_author": "hath995"
},
{
"number": 141,
"created_at": "2026-06-26T01:17:04Z",
"last_comment_at": null,
"last_comment_author": null
},
{
"number": 170,
"created_at": "2026-07-12T01:27:34Z",
"last_comment_at": null,
"last_comment_author": null
},
{
"number": 178,
"created_at": "2026-07-21T16:33:23Z",
"last_comment_at": null,
"last_comment_author": null
}
],
"last_merged_pr_at": "2026-07-23T17:37:02Z",
"ci_last_conclusion": "SUCCESS",
"oldest_open_issues": [
{
"number": 142,
"created_at": "2026-06-28T19:37:04Z",
"last_comment_at": "2026-06-28T20:42:31Z",
"last_comment_author": "graciolli-f"
}
]
}
},
"config": {
"disabled_metrics": [],
"disabled_categories": [],
"disabled_components": {}
},
"source": {
"url": "https://github.com/midspiral/LemmaScript",
"host": "github.com",
"name": "LemmaScript",
"owner": "midspiral"
},
"metrics": {
"overall": {
"key": "overall",
"band": "moderate",
"name": "Overall health",
"note": null,
"notes": [],
"value": 58,
"inputs": {
"security": 49,
"vitality": 80,
"community": 47,
"governance": 56,
"engineering": 52
},
"components": []
},
"categories": [
{
"key": "vitality",
"band": "good",
"name": "Vitality",
"value": 80,
"weight": 0.22,
"metrics": [
{
"key": "development_activity",
"band": "good",
"name": "Development activity",
"note": null,
"notes": [],
"value": 75,
"inputs": {
"commits_last_year": 1018,
"human_commit_share": 1,
"days_since_last_push": 1,
"active_weeks_last_year": 16
},
"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": "16/52 weeks with commits",
"points": 11.1,
"status": "partial",
"details": [
{
"code": "commit_cadence_weeks",
"params": {
"weeks": 16
}
}
],
"max_points": 36
},
{
"key": "commit_volume",
"name": "Commit volume",
"detail": "1018 commits in the last year",
"points": 18,
"status": "met",
"details": [
{
"code": "commits_last_year",
"params": {
"count": 1018
}
}
],
"max_points": 18
},
{
"key": "openssf_scorecard_maintained",
"name": "OpenSSF Scorecard: Maintained",
"detail": "30 commit(s) and 2 issue activity found in the last 90 days -- score normalized to 10",
"points": 10,
"status": "met",
"details": [],
"max_points": 10
}
]
},
{
"key": "release_discipline",
"band": "excellent",
"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": 88,
"inputs": {
"releases_count": 8,
"latest_release_tag": "v0.5.18",
"releases_from_tags": true,
"days_since_latest_release": 5,
"mean_days_between_releases": 1.9
},
"components": [
{
"key": "ships_releases",
"name": "Ships releases",
"detail": "8 version tags (no GitHub releases)",
"points": 16.2,
"status": "partial",
"details": [
{
"code": "version_tags_no_releases",
"params": {
"count": 8
}
}
],
"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 ~1.9 days",
"points": 27,
"status": "met",
"details": [
{
"code": "release_cadence",
"params": {
"gap": 1.9
}
}
],
"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": "unverified",
"guards": [],
"signals": [],
"red_flag": false,
"multiplier_pct": 100,
"declared_reason": null,
"unverified_reason": "repository_too_young",
"unanswered_open_prs": null,
"unanswered_open_issues": null,
"days_since_last_merged_pr": null,
"days_since_last_human_commit": null,
"days_since_last_human_commit_is_floor": false
},
"components": [
{
"key": "project_is_still_maintained",
"name": "Project is still maintained",
"detail": "maintenance record not established from the collected data",
"points": 100,
"status": "met",
"details": [
{
"code": "abandonment_unverified",
"params": {}
}
],
"max_points": 100
}
]
}
],
"description": "Is the project alive — is code being written and are releases shipping?"
},
{
"key": "community",
"band": "at_risk",
"name": "Community & Adoption",
"value": 47,
"weight": 0.18,
"metrics": [
{
"key": "popularity",
"band": "at_risk",
"name": "Popularity & adoption",
"note": null,
"notes": [],
"value": 35,
"inputs": {
"forks": 5,
"stars": 72,
"watchers": 1,
"growth_state": "unverified",
"growth_factor_pct": 100,
"growth_unverified_reason": "no_history"
},
"components": [
{
"key": "stars",
"name": "Stars",
"detail": "72 stars",
"points": 30,
"status": "partial",
"details": [
{
"code": "stars",
"params": {
"count": 72
}
}
],
"max_points": 60
},
{
"key": "forks",
"name": "Forks",
"detail": "5 forks",
"points": 5,
"status": "partial",
"details": [
{
"code": "forks",
"params": {
"count": 5
}
}
],
"max_points": 25
},
{
"key": "watchers",
"name": "Watchers",
"detail": "1 watchers",
"points": 0,
"status": "missed",
"details": [
{
"code": "watchers",
"params": {
"count": 1
}
}
],
"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 (MIT)",
"points": 22.5,
"status": "met",
"details": [
{
"code": "license_standard",
"params": {}
},
{
"code": "license_spdx",
"params": {
"spdx": "MIT"
}
}
],
"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
}
]
},
{
"key": "ecosystem_adoption",
"band": "moderate",
"name": "Ecosystem adoption (downloads)",
"note": "Excluded from scoring (no data or not applicable): Registry dependents. Remaining weights renormalized.",
"notes": [
{
"code": "excluded_no_data",
"params": {
"components": [
"registry_dependents"
]
}
},
{
"code": "weights_renormalized",
"params": {}
}
],
"value": 61,
"inputs": {
"packages": [
"lemmascript"
],
"dependents": null,
"ecosystems": "npm",
"total_downloads": null,
"monthly_downloads": 4607
},
"components": [
{
"key": "monthly_downloads",
"name": "Monthly downloads",
"detail": "4,607 downloads/month across npm",
"points": 48.8,
"status": "partial",
"details": [
{
"code": "downloads_monthly",
"params": {
"count": 4607,
"ecosystems": "npm"
}
}
],
"max_points": 80
},
{
"key": "registry_dependents",
"name": "Registry dependents",
"detail": "not reported by this ecosystem",
"points": 0,
"status": "excluded",
"details": [
{
"code": "not_reported_by_this_ecosystem",
"params": {}
}
],
"max_points": 20
}
]
}
],
"description": "Does the project have users, downloads, attention, and a welcoming setup for contributors?"
},
{
"key": "governance",
"band": "moderate",
"name": "Sustainability & Governance",
"value": 56,
"weight": 0.24,
"metrics": [
{
"key": "maintainer_resilience",
"band": "critical",
"name": "Maintainer resilience (bus factor)",
"note": null,
"notes": [],
"value": 24,
"inputs": {
"bus_factor": 1,
"contributors_sampled": 3,
"top_contributor_share": 0.984
},
"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 98% of commits",
"points": 0.4,
"status": "partial",
"details": [
{
"code": "top_contributor_share",
"params": {
"share": 98
}
}
],
"max_points": 22.5
},
{
"key": "contributor_breadth",
"name": "Contributor breadth",
"detail": "3 contributors",
"points": 4.1,
"status": "partial",
"details": [
{
"code": "contributors_sampled",
"params": {
"count": 3
}
}
],
"max_points": 13.5
},
{
"key": "openssf_scorecard_contributors",
"name": "OpenSSF Scorecard: Contributors",
"detail": "project has 7 contributing companies or organizations",
"points": 10,
"status": "met",
"details": [],
"max_points": 10
}
]
},
{
"key": "responsiveness",
"band": "moderate",
"name": "Issue & PR responsiveness",
"note": null,
"notes": [],
"value": 61,
"inputs": {
"merged_prs": 167,
"open_issues": 1,
"closed_issues": 1,
"issue_closed_ratio": 0.5,
"closed_unmerged_prs": 3
},
"components": [
{
"key": "issue_resolution",
"name": "Issue resolution",
"detail": "50% of issues closed",
"points": 23.4,
"status": "partial",
"details": [
{
"code": "issues_closed_share",
"params": {
"share": 50
}
}
],
"max_points": 46.75
},
{
"key": "pr_acceptance",
"name": "PR acceptance",
"detail": "167/170 decided PRs merged",
"points": 37.6,
"status": "partial",
"details": [
{
"code": "decided_prs_merged",
"params": {
"merged": 167,
"decided": 170
}
}
],
"max_points": 38.25
},
{
"key": "openssf_scorecard_code_review",
"name": "OpenSSF Scorecard: Code-Review",
"detail": "Found 0/5 approved changesets -- score normalized to 0",
"points": 0,
"status": "missed",
"details": [],
"max_points": 15
}
]
},
{
"key": "stewardship",
"band": "moderate",
"name": "Ownership & stewardship",
"note": null,
"notes": [],
"value": 53,
"inputs": {
"followers": 26,
"owner_type": "Organization",
"is_verified": null,
"owner_login": "midspiral",
"public_repos": 35,
"account_age_days": 289
},
"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": "26 followers of midspiral",
"points": 10.3,
"status": "partial",
"details": [
{
"code": "owner_followers",
"params": {
"count": 26,
"login": "midspiral"
}
}
],
"max_points": 25
},
{
"key": "track_record",
"name": "Track record",
"detail": "35 public repos, account ~0 yr old",
"points": 12.9,
"status": "partial",
"details": [
{
"code": "public_repos",
"params": {
"count": 35
}
},
{
"code": "account_age_years",
"params": {
"years": 0
}
}
],
"max_points": 25
}
]
},
{
"key": "package_maintenance",
"band": "excellent",
"name": "Package maintenance",
"note": null,
"notes": [],
"value": 100,
"inputs": {
"packages": [
"lemmascript"
],
"ecosystems": "npm",
"any_deprecated": false,
"min_days_since_publish": 5
},
"components": [
{
"key": "published_resolvable",
"name": "Published & resolvable",
"detail": "1 package(s) on npm",
"points": 25,
"status": "met",
"details": [
{
"code": "packages_published",
"params": {
"count": 1,
"ecosystems": "npm"
}
}
],
"max_points": 25
},
{
"key": "publish_recency",
"name": "Publish recency",
"detail": "latest publish 5 days ago",
"points": 35,
"status": "met",
"details": [
{
"code": "publish_recency",
"params": {
"days": 5
}
}
],
"max_points": 35
},
{
"key": "version_history",
"name": "Version history",
"detail": "27 published versions",
"points": 20,
"status": "met",
"details": [
{
"code": "published_versions",
"params": {
"count": 27
}
}
],
"max_points": 20
},
{
"key": "not_deprecated",
"name": "Not deprecated",
"detail": "active, not deprecated or yanked",
"points": 20,
"status": "met",
"details": [
{
"code": "package_not_deprecated",
"params": {}
}
],
"max_points": 20
}
]
}
],
"description": "Will the project survive its people — bus factor, responsiveness, who backs it, and package upkeep?"
},
{
"key": "engineering",
"band": "moderate",
"name": "Engineering Quality",
"value": 52,
"weight": 0.2,
"metrics": [
{
"key": "engineering_practices",
"band": "at_risk",
"name": "Engineering practices",
"note": null,
"notes": [],
"value": 44,
"inputs": {
"has_ci": true,
"has_tests": false,
"has_editorconfig": false,
"has_linter_config": false,
"has_precommit_config": false
},
"components": [
{
"key": "ci_workflows",
"name": "CI workflows",
"detail": "6 workflow(s)",
"points": 24,
"status": "met",
"details": [
{
"code": "ci_workflows",
"params": {
"count": 6
}
}
],
"max_points": 24
},
{
"key": "tests_present",
"name": "Tests present",
"detail": null,
"points": 0,
"status": "missed",
"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": "1 out of 1 merged PRs checked by a CI test -- score normalized to 10",
"points": 20,
"status": "met",
"details": [],
"max_points": 20
}
]
},
{
"key": "documentation",
"band": "moderate",
"name": "Documentation",
"note": null,
"notes": [],
"value": 65,
"inputs": {
"topics": [
"dafny",
"lean",
"lean4",
"lemmascript",
"typescript",
"ai",
"llm",
"verification"
],
"has_wiki": false,
"homepage": "https://lemmascript.org",
"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": "https://lemmascript.org",
"points": 15,
"status": "met",
"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": "8 topics",
"points": 10,
"status": "met",
"details": [
{
"code": "topics_count",
"params": {
"count": 8
}
}
],
"max_points": 10
},
{
"key": "wiki",
"name": "Wiki",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 10
}
]
}
],
"description": "Are baseline engineering and documentation practices in place?"
},
{
"key": "security",
"band": "at_risk",
"name": "Security",
"value": 49,
"weight": 0.16,
"metrics": [
{
"key": "security_posture",
"band": "at_risk",
"name": "Security posture",
"note": "Excluded from scoring (no data or not applicable): Signed-Releases. Remaining weights renormalized.",
"notes": [
{
"code": "excluded_no_data",
"params": {
"components": [
"signed_releases"
]
}
},
{
"code": "weights_renormalized",
"params": {}
}
],
"value": 42,
"inputs": {
"source": "openssf_scorecard",
"checks_evaluated": 17,
"scorecard_version": "v5.5.0",
"checks_inconclusive": 1,
"scorecard_aggregate": 4.2
},
"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": "1 out of 1 merged PRs checked by a CI test -- score normalized to 10",
"points": 2.5,
"status": "met",
"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 0/5 approved changesets -- score normalized to 0",
"points": 0,
"status": "missed",
"details": [],
"max_points": 7.5
},
{
"key": "contributors",
"name": "Contributors",
"detail": "project has 7 contributing companies or organizations",
"points": 2.5,
"status": "met",
"details": [],
"max_points": 2.5
},
{
"key": "dangerous_workflow",
"name": "Dangerous-Workflow",
"detail": "no dangerous workflow patterns detected",
"points": 10,
"status": "met",
"details": [],
"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": "30 commit(s) and 2 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 detected",
"points": 5,
"status": "met",
"details": [],
"max_points": 5
},
{
"key": "pinned_dependencies",
"name": "Pinned-Dependencies",
"detail": "dependency not pinned by hash detected -- score normalized to 6",
"points": 3,
"status": "partial",
"details": [],
"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": "detected GitHub workflow tokens with excessive permissions",
"points": 0,
"status": "missed",
"details": [],
"max_points": 7.5
},
{
"key": "vulnerabilities",
"name": "Vulnerabilities",
"detail": "16 existing vulnerabilities detected",
"points": 0,
"status": "missed",
"details": [],
"max_points": 7.5
}
]
},
{
"key": "dependency_advisories",
"band": "good",
"name": "Dependency advisories",
"note": "Matched the npm:lemmascript@0.5.18 runtime dependency closure — what installing the published package pulls in — 165 packages. Reachability is not analyzed.",
"notes": [
{
"code": "advisories_scope_published",
"params": {
"package": "npm:lemmascript@0.5.18",
"assessed": 165
}
},
{
"code": "advisories_reachability",
"params": {}
}
],
"value": 77,
"inputs": {
"source": "osv",
"advisories": 2,
"affected_packages": 2,
"assessed_packages": 165,
"unassessed_packages": 0,
"affected_by_severity": "high 2",
"direct_affected_packages": 0
},
"components": [
{
"key": "direct_dependencies_free_of_known_advisories",
"name": "Direct dependencies free of known advisories",
"detail": "no direct dependency carries a known advisory",
"points": 35,
"status": "met",
"details": [
{
"code": "no_direct_advisories",
"params": {}
}
],
"max_points": 35
},
{
"key": "indirect_dependencies_free_of_known_advisories",
"name": "Indirect dependencies free of known advisories",
"detail": "2 affected: brace-expansion 2.1.2 (high 7.5), uuid 9.0.1 (high 7.5)",
"points": 8.4,
"status": "partial",
"details": [
{
"code": "advisories_affected",
"params": {
"count": 2,
"packages": "brace-expansion 2.1.2 (high 7.5), uuid 9.0.1 (high 7.5)"
}
}
],
"max_points": 25
},
{
"key": "no_advisories_left_outstanding",
"name": "No advisories left outstanding",
"detail": "1 advisory-carrying package(s) unaddressed past 90 days; oldest published 93 days ago",
"points": 33.7,
"status": "partial",
"details": [
{
"code": "advisories_stale",
"params": {
"days": 90,
"count": 1,
"oldest": 93
}
}
],
"max_points": 40
}
]
},
{
"key": "malicious_dependencies",
"band": "excellent",
"name": "Malicious dependencies",
"note": null,
"notes": [],
"value": 100,
"inputs": {
"source": "osv",
"meaning": "reported as a malicious package by the OpenSSF corpus; the remedy is removal or moving off the compromised name, never an upgrade of the same artifact. Versions the registry has since pulled are listed but not scored",
"packages": [],
"red_flag": false,
"assessed_packages": 165,
"malicious_packages": 0,
"direct_malicious_packages": 0,
"withdrawn_malicious_packages": 0,
"installable_malicious_packages": 0
},
"components": [
{
"key": "no_dependency_reported_as_a_malicious_package",
"name": "No dependency reported as a malicious package",
"detail": "no dependency is reported as a malicious package",
"points": 100,
"status": "met",
"details": [
{
"code": "no_malicious_dependencies",
"params": {}
}
],
"max_points": 100
}
]
},
{
"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": 4
},
"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": "moderate",
"name": "AI Readiness",
"value": 56,
"weight": 0,
"metrics": [
{
"key": "ai_agent_context",
"band": "good",
"name": "Agent context & guidance",
"note": null,
"notes": [],
"value": 70,
"inputs": {
"has_llms_txt": true,
"legible_history_share": 0.19,
"agent_instruction_files": [
"AGENTS.md"
],
"agent_instruction_max_bytes": 12661
},
"components": [
{
"key": "agent_instructions",
"name": "Agent instructions",
"detail": "AGENTS.md",
"points": 45,
"status": "met",
"details": [
{
"code": "file_list",
"params": {
"files": "AGENTS.md"
}
}
],
"max_points": 45
},
{
"key": "machine_readable_docs_llms_txt",
"name": "Machine-readable docs (llms.txt)",
"detail": "llms.txt present",
"points": 15,
"status": "met",
"details": [
{
"code": "llms_txt_present",
"params": {}
}
],
"max_points": 15
},
{
"key": "legible_commit_history",
"name": "Legible commit history",
"detail": "19 of 100 human commits state their intent (structured subject or explanatory body)",
"points": 10.1,
"status": "partial",
"details": [
{
"code": "legible_history",
"params": {
"legible": 19,
"sampled": 100
}
}
],
"max_points": 40
}
]
},
{
"key": "ai_verify_loop",
"band": "critical",
"name": "Verify loop (build / test / typecheck)",
"note": null,
"notes": [],
"value": 27,
"inputs": {
"has_nix": false,
"has_tests": false,
"lockfiles": [
"package-lock.json"
],
"has_dockerfile": false,
"typed_language": true,
"bootstrap_files": [],
"has_devcontainer": false,
"has_linter_config": false,
"typecheck_configs": [
"examples/tsconfig.json",
"site/tsconfig.json",
"tools/tsconfig.json"
],
"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": 0,
"status": "missed",
"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": "examples/tsconfig.json, site/tsconfig.json, tools/tsconfig.json",
"points": 11,
"status": "met",
"details": [
{
"code": "file_list",
"params": {
"files": "examples/tsconfig.json, site/tsconfig.json, tools/tsconfig.json"
}
}
],
"max_points": 11
},
{
"key": "reproducible_environment",
"name": "Reproducible environment",
"detail": "lockfile",
"points": 10,
"status": "met",
"details": [
{
"code": "file_list",
"params": {
"files": "lockfile"
}
}
],
"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": "dependency not pinned by hash detected -- score normalized to 6",
"points": 6,
"status": "partial",
"details": [],
"max_points": 10
}
]
},
{
"key": "ai_code_legibility",
"band": "excellent",
"name": "Code legibility for models",
"note": null,
"notes": [],
"value": 98,
"inputs": {
"primary_language": "TypeScript",
"largest_source_bytes": 120099,
"source_files_sampled": 89,
"oversized_source_files": 4
},
"components": [
{
"key": "type_checkable_code",
"name": "Type-checkable code",
"detail": "TypeScript (statically typed)",
"points": 45,
"status": "met",
"details": [
{
"code": "statically_typed_language",
"params": {
"language": "TypeScript"
}
}
],
"max_points": 45
},
{
"key": "manageable_file_sizes",
"name": "Manageable file sizes",
"detail": "4/89 source files over 60KB",
"points": 52.5,
"status": "partial",
"details": [
{
"code": "oversized_source_files",
"params": {
"kb": 60,
"sampled": 89,
"oversized": 4
}
}
],
"max_points": 55
}
]
},
{
"key": "ai_interfaces",
"band": "moderate",
"name": "Machine-readable interfaces",
"note": null,
"notes": [],
"value": 60,
"inputs": {
"example_dirs": [
"examples"
],
"has_mcp_signal": true,
"api_schema_files": []
},
"components": [
{
"key": "api_schema_openapi_graphql_proto",
"name": "API schema (OpenAPI/GraphQL/proto)",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 40
},
{
"key": "mcp_server",
"name": "MCP server",
"detail": null,
"points": 20,
"status": "met",
"details": [],
"max_points": 20
},
{
"key": "runnable_examples",
"name": "Runnable examples",
"detail": "examples",
"points": 40,
"status": "met",
"details": [
{
"code": "file_list",
"params": {
"files": "examples"
}
}
],
"max_points": 40
}
]
}
],
"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",
"GitHub dependency-graph SBOM unavailable (404); the dependency graph may be disabled for this repository"
],
"report_type": "repository",
"generated_at": "2026-07-25T07:42:50.145682Z",
"schema_version": "0.27.0",
"badge_url": "https://raw.githubusercontent.com/inspect-software/badges/main/v1/m/midspiral/LemmaScript.svg",
"full_name": "midspiral/LemmaScript",
"license_state": "standard",
"license_spdx": "MIT"
}Оцінки — це сигнали, а не гарантії. Вони відображають публічно видимі практики на GitHub — це не аудит коду й не гарантія безпеки.
Відсутні дані виключаються, а ваги перенормовуються — нуль за відсутність ніколи не ставиться. Методологія версіонована й відкрита: метрики v1.13.0, схема v0.27.0 — повна методологія · вікі метрик.
Як окремий результат виглядає на тлі всього реєстру: сукупна статистика — npm.