Публічний реєстрУ зоні ризику
Звіт про здоров'я програмного забезпеченнясхема 0.27.0 · метрики 2.3.1 · 2026-08-01 08:21 UTC
olaure01 / yalla
Yet Another deep embedding of Linear Logic in Rocq
olaure01/yalla має індекс здоров’я 25 зі 100, що відповідає смузі «У зоні ризику». Найвищий показник — Sustainability & Governance (42/100), найнижчий — AI Readiness (10/100). Останнє оновлення було 109 днів тому. Більшість нещодавньої роботи виконує один учасник.
25
загалом / 100Індекс здоров'я програмного забезпечення
Метрики згруповано у зважені категорії на шкалі 1–100. Загальна оцінка починається як їхнє зважене середнє, відкаліброване за розподілом публічного реєстру, тож діапазони мають перцентильний зміст; коли публічні дані активують Політику юрисдикцій високого ризику, рейтинг коригується й отримує верхню межу 34 («У зоні ризику»).
25
Винятковий93-100Верхній щабель реєстру (≈ топ-5%); відповідає практично всім перевіреним критеріям
Відмінний80-92Сильний за всіма напрямами; незначні прогалини
Добрий65-79Здоровий; прогалини обмежені та керовані
Помірний50-64Прийнятний, але з помітними прогалинами; рекомендовано перевірку
Слабкий35-49Суттєві недоліки в кількох сферах
У зоні ризику20-34Суттєві слабкі місця; впровадження потребує обережності
Критичний1-19Серйозні проблеми (покинутий, єдиний мейнтейнер, без базової гігієни)
Профіль оцінок
Кожна вісь — окрема категорія. Форма важить більше, ніж середнє: здоровий об'єкт заповнює всю фігуру, тоді як профіль із піками та провалами означає, що сила в одному вимірі маскує ризик в іншому.
Зважений загальний бал 31 калібровано до 25 за шкалою опублікованого індексу (калібрування реєстру 2026-08-02).
Власність
Olivier LaurentОсобистий обліковий запис
19 підписників38 публічних репозиторіївз лип. 2017 р.
Цей репозиторій належить особистому обліковому запису. Проєкт з єдиним власником несе більший ризик безперервності, ніж підтримуваний організацією.
Метрики за категоріями
Життєздатність
Чи живий проєкт — чи пишеться код і чи виходять релізи?
30
Активність розробки
23У зоні ризику
Як обчислюється оцінка
| 9.9/36 | Свіжість push — останній push 109 дн. тому |
| 4.2/36 | Ритм комітів — 6/52 тижнів із комітами |
| 8.6/18 | Обсяг комітів — 8 комітів за останній рік |
| 0/10 | OpenSSF Scorecard: Maintained — 0 commit(s) and 0 issue activity found in the last 90 days -- score normalized to 0 |
Використані вхідні дані
| commits_last_year | 8 |
| human_commit_share | 1 |
| days_since_last_push | 109 |
| active_weeks_last_year | 6 |
Дисципліна релізів
40Слабкий
Як обчислюється оцінка
| 16.2/27 | Випускає релізи — 7 тегів версій (без релізів GitHub) |
| 7.2/36 | Свіжість релізів — останній реліз 492 дн. тому |
| 12.6/27 | Ритм релізів — реліз кожні ~282 дн. |
| 0/10 | OpenSSF Scorecard: Signed-Releases — немає даних |
Використані вхідні дані
| releases_count | 7 |
| latest_release_tag | v2.0.7 |
| releases_from_tags | так |
| days_since_latest_release | 492 |
| mean_days_between_releases | 282 |
Виключено з оцінювання (немає даних або не застосовно): OpenSSF Scorecard: Signed-Releases. Залишкові ваги перенормовано.
Спільнота та впровадження
Чи має проєкт користувачів, завантаження, увагу та влаштовані умови для контриб’юторів?
37
Популярність і впровадження
26У зоні ризику
Як обчислюється оцінка
| 19.1/60 | Зірки — 16 зірок |
| 5/25 | Форки — 5 форків |
| 1.7/15 | Спостерігачі — 3 спостерігачів |
Використані вхідні дані
| forks | 5 |
| stars | 16 |
| watchers | 3 |
| growth_state | unverified |
| growth_factor_pct | 100 |
| growth_unverified_reason | no_history |
Здоров'я спільноти
50Помірний
Як обчислюється оцінка
| 22.5/22.5 | README |
| 22.5/22.5 | Ліцензія — визнана ліцензія (LGPL-3.0) |
| 0/18 | Настанови CONTRIBUTING |
| 0/13.5 | Кодекс поведінки |
| 0/7.2 | Шаблон issue |
| 0/6.3 | Шаблон PR |
Використані вхідні дані
| has_readme | так |
| has_license | так |
| readme_badges | — |
| has_contributing | ні |
| has_issue_template | ні |
| has_code_of_conduct | ні |
| readme_badge_services | — |
| has_pull_request_template | ні |
Сталість та врядування
Чи переживе проєкт своїх людей — бас-фактор, реактивність, хто за ним стоїть і як супроводжуються пакети?
42
Стійкість мейнтейнерів (бас-фактор)
12Критичний
Як обчислюється оцінка
| 9/54 | Бас-фактор — на 1 контриб’ютор(ів) припадає половина всіх комітів |
| 0.5/22.5 | Розподіл комітів — головний контриб’ютор — автор 98% комітів |
| 2.7/13.5 | Широта контриб’юторів — 2 контриб’юторів |
| 0/10 | OpenSSF Scorecard: Contributors — project has 0 contributing companies or organizations -- score normalized to 0 |
Використані вхідні дані
| bus_factor | 1 |
| contributors_sampled | 2 |
| top_contributor_share | 0,976 |
Реактивність на issue та PR
67Добрий
Як обчислюється оцінка
| 0/42 | Вирішення issue — немає issue або даних |
| 30/30 | Прийняття PR — злито 2/2 вирішених PR |
| 0/13 | Newcomer PR acceptance — за 30 дн. не вирішено жодного PR від новачка |
| 0/15 | OpenSSF Scorecard: Code-Review — Found 0/30 approved changesets -- score normalized to 0 |
Використані вхідні дані
| merged_prs | 2 |
| open_issues | 0 |
| closed_issues | 0 |
| prs_merged_7d | — |
| prs_decided_7d | — |
| prs_merged_30d | — |
| prs_decided_30d | — |
| issue_closed_ratio | — |
| closed_unmerged_prs | 0 |
| first_time_authors_30d | — |
| first_time_prs_merged_30d | — |
| first_time_prs_decided_30d | — |
Виключено з оцінювання (немає даних або не застосовно): Вирішення issue, newcomer_pr_acceptance. Залишкові ваги перенормовано.
Власність та опіка
54Помірний
Як обчислюється оцінка
| 10/30 | Підтримка власника — особистий (користувацький) обліковий запис |
| 0/20 | Верифікований домен — не застосовно до користувацьких облікових записів |
| 9.4/25 | Охоплення власника — 19 підписників у olaure01 |
| 23.6/25 | Послужний список — 38 публічних репозиторіїв, вік облікового запису ~9 р. |
Використані вхідні дані
| followers | 19 |
| owner_type | User |
| is_verified | — |
| owner_login | olaure01 |
| public_repos | 38 |
| account_age_days | 3 287 |
Виключено з оцінювання (немає даних або не застосовно): Верифікований домен. Залишкові ваги перенормовано.
Інженерна якість
Чи наявні базові інженерні практики та документація?
21
Інженерні практики
1Критичний
Як обчислюється оцінка
| 0/24 | Процеси CI |
| 0/24 | Наявні тести |
| 0/16 | Конфігурація лінтера |
| 0/9.6 | Pre-commit-хуки |
| 0/6.4 | .editorconfig |
| 0/20 | OpenSSF Scorecard: CI-Tests — немає даних |
Використані вхідні дані
| has_ci | ні |
| has_tests | ні |
| has_editorconfig | ні |
| has_linter_config | ні |
| has_precommit_config | ні |
Виключено з оцінювання (немає даних або не застосовно): OpenSSF Scorecard: CI-Tests. Залишкові ваги перенормовано.
Документація
50Помірний
Як обчислюється оцінка
| 30/30 | README |
| 0/25 | Каталог документації |
| 0/15 | Сайт документації / домашня сторінка |
| 10/10 | Опис репозиторію |
| 0/10 | Теми |
| 10/10 | Wiki |
Використані вхідні дані
| topics | — |
| has_wiki | так |
| homepage | — |
| has_readme | так |
| has_docs_dir | ні |
| has_description | так |
Безпека
Чи міцні видимі практики безпеки й ланцюга постачання, без непослабленої пов’язаності з юрисдикціями високого ризику?
26
Стан безпеки
26У зоні ризику
Як обчислюється оцінка
| 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 |
| 0/2.5 | CI-Tests — немає даних |
| 0/2.5 | CII-Best-Practices — no effort to earn an OpenSSF best practices badge detected |
| 0/7.5 | Code-Review — Found 0/30 approved changesets -- score normalized to 0 |
| 0/2.5 | Contributors — project has 0 contributing companies or organizations -- score normalized to 0 |
| 0/10 | Dangerous-Workflow — немає даних |
| 0/7.5 | Dependency-Update-Tool — no update tool detected |
| 0/5 | Fuzzing — project is not fuzzed |
| 2.5/2.5 | Ліцензія — license file detected |
| 0/7.5 | Maintained — 0 commit(s) and 0 issue activity found in the last 90 days -- score normalized to 0 |
| 0/5 | Packaging — немає даних |
| 0/5 | Pinned-Dependencies — немає даних |
| 0/5 | SAST — no SAST tool detected |
| 0/5 | Security-Policy — security policy file not detected |
| 0/7.5 | Signed-Releases — немає даних |
| 0/7.5 | Token-Permissions — немає даних |
| 7.5/7.5 | Vulnerabilities — 0 existing vulnerabilities detected |
Використані вхідні дані
| source | openssf_scorecard |
| checks_evaluated | 12 |
| scorecard_version | v5.5.0 |
| checks_inconclusive | 6 |
| scorecard_aggregate | 2,6 |
Виключено з оцінювання (немає даних або не застосовно): ci_tests, dangerous_workflow, packaging, pinned_dependencies, signed_releases, token_permissions. Залишкові ваги перенормовано.
Готовність до ШІ
Наскільки репозиторій оснащений для розробки та супроводу за участі ШІ-агентів? Має свідомо малу вагу (4%): агентний інструментарій — реальний сигнал супроводу, але репозиторій без нього все одно може отримати 100/100.
10
Контекст і настанови для агентів
1Критичний
Як обчислюється оцінка
| 0/45 | Інструкції для агентів — немає CLAUDE.md / AGENTS.md / правил редактора |
| 0/15 | Машиночитана документація (llms.txt) |
| 1.1/40 | Читабельна історія комітів — намір зазначено у 2 з 100 людських комітів (структурований заголовок або пояснювальний текст) |
Використані вхідні дані
| has_llms_txt | ні |
| legible_history_share | 0,02 |
| agent_instruction_files | — |
| agent_instruction_max_bytes | — |
Цикл верифікації (збірка / тести / перевірка типів)
20У зоні ризику
Як обчислюється оцінка
| 18/18 | Розгортання однією командою — microyalla/Makefile, yalla/Makefile |
| 0/22 | Автоматизовані тести |
| 0/11 | Конфігурація лінтера / форматера |
| 0/11 | Статична перевірка типів |
| 0/10 | Відтворюване середовище |
| 0/10 | Підтверджена практика роботи з агентами — серед останніх 100 комітів немає створених агентом |
| 0/8 | Автоматизоване супроводження — автоматичних оновлень залежностей не виявлено |
| 0/10 | OpenSSF Scorecard: Pinned-Dependencies — немає даних |
Використані вхідні дані
| has_nix | ні |
| has_tests | ні |
| lockfiles | — |
| has_dockerfile | ні |
| typed_language | ні |
| bootstrap_files | microyalla/Makefile, yalla/Makefile |
| has_devcontainer | ні |
| has_linter_config | ні |
| typecheck_configs | — |
| agent_commit_share | 0 |
| toolchain_manifests | — |
| dependency_bot_commit_share | 0 |
Виключено з оцінювання (немає даних або не застосовно): OpenSSF Scorecard: Pinned-Dependencies. Залишкові ваги перенормовано.
Читабельність коду для моделей
1Критичний
Як обчислюється оцінка
| 0/45 | Типізований код — Rocq Prover без конфігурації перевірки типів |
| 0/55 | Керовані розміри файлів — файлів вихідного коду не виявлено |
Використані вхідні дані
| primary_language | Rocq Prover |
| largest_source_bytes | — |
| source_files_sampled | 0 |
| oversized_source_files | 0 |
Виключено з оцінювання (немає даних або не застосовно): Керовані розміри файлів. Залишкові ваги перенормовано.
Ключові факти
16зірок GitHub
2контриб'юторів
8комітів за останні 12 місяців
109днів від останнього пушу
7релізів
1бас-фактор
0відкритих issue
—пакетних екосистем
Попередження щодо збору даних
- 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Форки
2Релізи
Коли додано кожну зірку й форк — зібрано з GitHub і згруповано за днями. Кумулятивне зростання розміщено просто над денними додаваннями, з яких воно складається, тож їх видно одне проти одного: рівномірне органічне накопичення виглядає зовсім інакше, ніж різкий короткочасний сплеск. Там, де цю різницю можна виміряти, її подано як автентичність росту.
Мажорні 0Мінорні 0Патчі 2
Кожна точка охоплює 3 днів.
OpenSSF Scorecard 2.6 / 10
2.6сукупно
Незалежна, не прив'язана до інструментів оцінка безпеки від відкритого проєкту OpenSSF Scorecard. Кожна перевірка винагороджує практику безпеки, а не інструмент конкретного постачальника. Перевірки, які Scorecard не зміг визначити, позначено н/д і виключено з оцінки безпеки (вони ніколи не зараховуються як нуль).
| 10 | Binary-Artifacts | no binaries found in the repo |
| 0 | Branch-Protection | branch protection not enabled on development/release branches |
| н/д | CI-Tests | no pull request found |
| 0 | CII-Best-Practices | no effort to earn an OpenSSF best practices badge detected |
| 0 | Code-Review | Found 0/30 approved changesets -- score normalized to 0 |
| 0 | Contributors | project has 0 contributing companies or organizations -- score normalized to 0 |
| н/д | Dangerous-Workflow | no workflows found |
| 0 | Dependency-Update-Tool | no update tool detected |
| 0 | Fuzzing | project is not fuzzed |
| 10 | License | license file detected |
| 0 | Maintained | 0 commit(s) and 0 issue activity found in the last 90 days -- score normalized to 0 |
| н/д | Packaging | packaging workflow not detected |
| н/д | Pinned-Dependencies | no dependencies found |
| 0 | SAST | no SAST tool detected |
| 0 | Security-Policy | security policy file not detected |
| н/д | Signed-Releases | no releases found |
| н/д | Token-Permissions | No tokens found |
| 10 | Vulnerabilities | 0 existing vulnerabilities detected |
Усі залежності не зібрано
Не вдалося зібрати розв'язаний набір залежностей для цього звіту: GitHub dependency-graph SBOM unavailable (404); the dependency graph may be disabled for this repository
Звіт у форматі JSON машиночитний
{
"data": {
"repo": {
"topics": [],
"is_fork": false,
"size_kb": 3946,
"has_wiki": true,
"homepage": null,
"languages": {
"Makefile": 160,
"Rocq Prover": 947588
},
"pushed_at": "2026-04-13T11:55:23Z",
"created_at": "2018-05-28T21:08:55Z",
"owner_type": "User",
"updated_at": "2026-04-13T12:01:30Z",
"description": "Yet Another deep embedding of Linear Logic in Rocq",
"is_archived": false,
"is_disabled": false,
"license_spdx": "LGPL-3.0",
"default_branch": "master",
"license_spdx_raw": "LGPL-3.0",
"primary_language": "Rocq Prover",
"significant_languages": [
"Rocq Prover"
]
},
"owner": {
"blog": "https://perso.ens-lyon.fr/olivier.laurent/",
"name": "Olivier Laurent",
"type": "User",
"login": "olaure01",
"company": null,
"location": null,
"followers": 19,
"avatar_url": "https://avatars.githubusercontent.com/u/30601497?v=4",
"created_at": "2017-07-31T16:26:53Z",
"is_verified": null,
"public_repos": 38,
"account_age_days": 3287
},
"license": {
"state": "standard",
"spdx_id": "LGPL-3.0",
"raw_spdx": "LGPL-3.0",
"file_present": true,
"scorecard_found": true,
"profile_has_license": true
},
"activity": {
"releases": [
{
"tag": "v2.0.7",
"kind": "patch",
"published_at": "2025-03-26T08:28:03Z"
},
{
"tag": "v2.0.6",
"kind": "patch",
"published_at": "2024-09-16T12:57:18Z"
},
{
"tag": "v2.0.5",
"kind": "patch",
"published_at": "2024-09-15T21:02:12Z"
},
{
"tag": "v2.0.4",
"kind": "patch",
"published_at": "2023-04-09T06:53:41Z"
},
{
"tag": "v2.0.3",
"kind": "patch",
"published_at": "2022-02-06T20:54:40Z"
},
{
"tag": "v2.0.2",
"kind": "patch",
"published_at": "2021-01-13T11:28:53Z"
},
{
"tag": "v2.0.1",
"kind": "patch",
"published_at": "2020-08-07T10:34:13Z"
}
],
"recent_commits": [
{
"oid": "a138437625f5bb39221cd6171b7dc464e15bbf8b",
"body": null,
"is_bot": false,
"headline": "Merge branch 'working'",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2026-04-13T11:45:21Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "a87aa091fbc73e77435b576366a08a0324ab6b33",
"body": null,
"is_bot": false,
"headline": "update metadata",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2026-04-13T11:36:44Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "d74cbf110dda8571577adcffa19daae7e3a38759",
"body": null,
"is_bot": false,
"headline": "add is_true as coercion",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2026-03-25T08:01:53Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "388eab55fad7831018be79b09b0b6937a6d4f686",
"body": null,
"is_bot": false,
"headline": "remove use of PermutationT_app_swap",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2026-03-04T12:45:38Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "6786ab1942ad3b4cc0c028f008e6e0bfaaf29072",
"body": null,
"is_bot": false,
"headline": "cleaning",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2026-02-02T07:06:31Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "50d52cb8f4ce3367f3ee285d606cc09a15885259",
"body": null,
"is_bot": false,
"headline": "simplify statement of bipos_top_surf",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2025-11-11T18:09:06Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "609ec355403bfa3ca111373cb2f8c531d7105735",
"body": null,
"is_bot": false,
"headline": "use LogicNotations",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2025-11-11T16:39:24Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "fd8940a4d53296f0d502e5c920a418d144ea905e",
"body": null,
"is_bot": false,
"headline": "cleaning sizes defs",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2025-09-29T10:57:56Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "c46617d24c6cc07180ae22547a3c935aa3fba285",
"body": " rename decomp_map into decomp_map_eq\n use list_reflexivity instead of list_simpl; reflexivity\n new list_simpl (one occurrence of old list_esimpl required)\n modified *Permutation*_vs_elt_subst\n no more subst in decomp_elt_eq_elt\n renamings for some autogenerated names\n use decomp_list_eq",
"is_bot": false,
"headline": "adapt to OLlibs",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2025-08-25T09:08:41Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "1c53536e0416563d21ffaa0f6a44423c2df75230",
"body": null,
"is_bot": false,
"headline": "cleaning intuitionistic permutation instances",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2025-05-04T08:02:32Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "65bb14b4d1f6048e4cbb1396d32754af3a245c0b",
"body": null,
"is_bot": false,
"headline": "adapt to OLlibs",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2025-05-04T07:01:08Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "af79733ee5c523201fb1e07933e65774630f0bf3",
"body": " (from OLlibs v2.1.0)",
"is_bot": false,
"headline": "use finite multiset carrier coercion",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2025-04-22T11:55:15Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "4c649f9983d23bfe4cff85f7270fb977e7695b9d",
"body": null,
"is_bot": false,
"headline": "standard Lambek Calculus",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2025-04-15T08:24:38Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "bff06e28dc4ac8c1a35590a7b627bd51e2d1114d",
"body": null,
"is_bot": false,
"headline": "rename lambek.v into lambek_cart.v",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2025-04-15T08:24:13Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "d9e68c4bc1b94fea60ad385a6d897e64ce3908b7",
"body": null,
"is_bot": false,
"headline": "adapt to OLlibs (rename Datatypes_more into Logic_Datatypes_more)",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2025-04-08T14:53:20Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "7497e8c0e542331a2bc00bdcf3e517098a572e9e",
"body": null,
"is_bot": false,
"headline": "add AUTHORS",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2025-04-07T11:19:22Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "43ef7da4347b80b115be170eae32047079e69338",
"body": null,
"is_bot": false,
"headline": "towards OLlibs 2.1 (renamings *_inf and *_Type into *T)",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2025-04-06T12:53:15Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "c80ef35c65dcd18eae905d65df1206de5cb4666b",
"body": null,
"is_bot": false,
"headline": "cleaning",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2025-03-20T17:59:21Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "88964f7959c2442e415d05b5ea63f23771813776",
"body": null,
"is_bot": false,
"headline": "adapt to Rocq 9.0",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2025-03-20T11:54:02Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "8c4e56cbe3619d28460a802448bc2892e8ec75cd",
"body": null,
"is_bot": false,
"headline": "more compact _CoqProject using directories",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2025-03-11T09:34:49Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "16262231a75f5ed0187f8392a5d33dfb4454e400",
"body": " decomposition of nat_bijective_self\n nil case for decomp_map",
"is_bot": false,
"headline": "adapt to ollibs",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2025-03-11T09:34:46Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "04b4f7e69651509b3cd9619a491b24381c321f84",
"body": null,
"is_bot": false,
"headline": "adapt to ollibs",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2025-02-07T07:34:08Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "8dce2c94ddc713c820f6be42d11a46634ad511d5",
"body": null,
"is_bot": false,
"headline": "adapt to modified fmsetlist in ollibs",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2025-01-30T21:48:07Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "607084a37d2e51f0a0833f99e8ad00140fc32d72",
"body": null,
"is_bot": false,
"headline": "use setoid_rewrite for applications of exchange",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2025-01-24T17:57:37Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "c7dcff4ed1f96f50a23c7ea415c924bb0a0e0920",
"body": " for improved readability",
"is_bot": false,
"headline": "add axext_*pfrag and axmodif_*pfrag",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2025-01-22T14:05:29Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "8bbbf7170d6ccdbb5562a06549c3f475e55c2826",
"body": " and cleaning",
"is_bot": false,
"headline": "introduce gax_excludes",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2025-01-20T15:56:32Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "46a03072ab5bb7937baab0a68091cabc4f181fe7",
"body": null,
"is_bot": false,
"headline": "adapt to OLlibs",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2025-01-14T10:00:34Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "e1acfea64ec5016b15f2913e619e32302777a1ab",
"body": null,
"is_bot": false,
"headline": "adapt to Coq 8.20",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2024-09-15T21:32:38Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "fd0c7e91593af1fad16ec8044fcfba0e73624184",
"body": null,
"is_bot": false,
"headline": "use destr_eq rather than inversion",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2024-09-11T10:26:20Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "508c94f962cc7836ae14e61c3a341e93cc4a5aba",
"body": null,
"is_bot": false,
"headline": "adapt to OLlibs v2.0.6",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2024-09-11T08:41:42Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "e39a5cd52e02218dda773c717b57bb9dfd400b54",
"body": null,
"is_bot": false,
"headline": "cleaning",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2024-09-06T07:52:35Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "ee5bdd47fd3d309eed6aeb6280a259e05f4aab2c",
"body": null,
"is_bot": false,
"headline": "strengthening back cut_oc_comm",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2024-09-04T09:23:48Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "196eddda26c12b82dba7c9d9eac65b956e8b9d0e",
"body": null,
"is_bot": false,
"headline": "slightly more constrained llFoc",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2024-09-04T09:23:48Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "aac3b5c3f9a6c14b2eeb7396e87eb0412ff49f31",
"body": "cleaning",
"is_bot": false,
"headline": "cleaning",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2024-09-04T09:23:45Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "a59d1d0e9dec07b25e91d2b033515283c161ff7d",
"body": "more use of in_inf_eq",
"is_bot": false,
"headline": "cleaning",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2023-08-05T08:28:19Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "7fcaea538bd2fa3c02566ec07c0530cf658da48b",
"body": null,
"is_bot": false,
"headline": "put back cut elimination proof for ll through ill",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2023-05-10T07:32:53Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "353bddcf3f2b0a150cebf49910fd946a2dd0c1a4",
"body": null,
"is_bot": false,
"headline": "cleaning",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2023-05-09T13:17:32Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "31e417e5c337fa139e996b7784d7290efe3e2eb6",
"body": null,
"is_bot": false,
"headline": "adapt to renaming in OLlibs (following Coq PR #17027)",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2023-04-14T10:04:59Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "01fef789e6ac0a0fe45f5ec598480c1814b85b15",
"body": null,
"is_bot": false,
"headline": "cleaning and update RELEASE_NOTES",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2023-04-08T10:05:21Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "c63a7895705a34a93cdc40b11a9240041c54017d",
"body": null,
"is_bot": false,
"headline": "cleaning",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2023-03-31T09:36:59Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "75857be35f895477bd40da68acafef5dae89be57",
"body": null,
"is_bot": false,
"headline": "cleaning",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2023-03-30T07:44:04Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "c20efa82d8e658634957c39ae81babc20314f8f0",
"body": null,
"is_bot": false,
"headline": "remove ateq and iateq",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2023-03-26T21:10:32Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "3a714a689bdd4e6abe7069ecdfd0005161a32589",
"body": null,
"is_bot": false,
"headline": "add wn_rev and zero_rev and cleaning",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2023-03-02T15:05:14Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "d5443cc338eee2beb9eec136b3b999cb5a2a6ba7",
"body": null,
"is_bot": false,
"headline": "generalize reversibility statements",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2023-02-28T13:04:56Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "aec320363f5d9f4b2818d5d0e3897150d8647ff9",
"body": null,
"is_bot": false,
"headline": "cleaning",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2023-02-27T16:29:57Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "493c5fdc3a039c8b14b9bcbac86fd2535a339646",
"body": null,
"is_bot": false,
"headline": "focusing equivalence proof: Andreoli triadic system vs Girard system",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2023-02-22T20:52:35Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "64a947002ef6286ece87e7a2a6ea2e6cd9dc97f0",
"body": null,
"is_bot": false,
"headline": "remove rewrite_all",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2023-02-21T16:34:58Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "20ee067a5d37b40b2b63a628d899bd6dcb72e3cb",
"body": " (adapt to new version of OLlibs)",
"is_bot": false,
"headline": "rename fresh_prop into fresh_spec",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2023-02-13T07:55:03Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "15058985e1c4588ddcf05f37f160d4de43e0a83c",
"body": null,
"is_bot": false,
"headline": "moves to OLlibs and cleaning",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2023-02-13T07:49:23Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "34be7c92a80672275335832da3a7eda89dabd434",
"body": null,
"is_bot": false,
"headline": "monotony of substitution",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2023-01-19T16:00:40Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "fd8a15933899fc75c03cf0cd9b17c329368f71fc",
"body": null,
"is_bot": false,
"headline": "remove use of Permutation_Type_solve",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2023-01-18T22:12:03Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "8abc2dcb2261b74ee23f04b3d4ffe453925bcaf1",
"body": null,
"is_bot": false,
"headline": "generalization of the cutp parameter to formula -> bool",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2023-01-15T16:38:33Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "20226ae0b32f85ddb708699deeb5bfe37647b45e",
"body": null,
"is_bot": false,
"headline": "cleaning",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2023-01-12T17:52:39Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "9b656fa065637c8dfb0d8e5871c12f5b76ee5afe",
"body": null,
"is_bot": false,
"headline": "cleaning",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2023-01-10T16:40:06Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "ec75a7b3d445b434404fa10ab79c72922708d413",
"body": "…roofs",
"is_bot": false,
"headline": "generalize the definition of fragments through predicate applied to p…",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2023-01-07T23:17:55Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "4a9b39e343adc98109f50bace06570dc10909ae6",
"body": null,
"is_bot": false,
"headline": "cleaning",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2023-01-06T13:23:01Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "464fa4a371bc91b6675d1e6bb150a73f62025d18",
"body": null,
"is_bot": false,
"headline": "turn fragment into a property over proofs through Forall_sequent",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2023-01-05T13:44:26Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "18baaa1dc97e70dc058619d974bfd9c85a7629b7",
"body": null,
"is_bot": false,
"headline": "cleaning",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2023-01-05T09:12:09Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "f198d871e386e9869ef475a3def506075c19d9cb",
"body": null,
"is_bot": false,
"headline": "clean uses of intuition tactic",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2022-12-30T19:07:09Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "a90cc8b5de0e335ee07e00fd36ceb7d381c1eb7f",
"body": null,
"is_bot": false,
"headline": "use [repeat] instead of [map (fun _ => ?) ?]",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2022-12-23T14:38:58Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "c190fc7bcf8783c1000cfa861167a2d216385f2f",
"body": null,
"is_bot": false,
"headline": "generalize subs to non infinite atom sets",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2022-11-15T08:38:13Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "e0195f1522a9a57b51e3c62ad315a6b9ccc37cb9",
"body": null,
"is_bot": false,
"headline": "Andreoli's style triadic focusing",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2022-09-02T14:55:15Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "d66b656a518c0827b2bf9bff3773a7910140e846",
"body": null,
"is_bot": false,
"headline": "cleaning",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2022-06-20T20:40:41Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "816aff0c9ce4b182d5dfcb0d843e6cdfc9a0e92c",
"body": null,
"is_bot": false,
"headline": "cleaning",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2022-04-23T16:41:49Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "509043f173dbeaa5ec53fac2a2781659325155d3",
"body": null,
"is_bot": false,
"headline": "Simplified hypotheses in cut_oc_comm and substitution_oc",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2022-04-15T14:00:48Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "09428ddf396cc00e8cf8f5ac525d25fc29291099",
"body": null,
"is_bot": false,
"headline": "cleaning",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2022-04-13T07:21:10Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "ad7b59b675490c8af772c1b75bd511c06ec2638a",
"body": null,
"is_bot": false,
"headline": "bnf-style definitions of formulas",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2022-04-08T13:07:32Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "715441958a0c9ce8b25ea46fe32efd425dda8578",
"body": null,
"is_bot": false,
"headline": "cleaning",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2022-04-07T12:22:56Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "16c9f654003284a6674de1ab2ca40799d4d18825",
"body": null,
"is_bot": false,
"headline": "more Set Implicit Arguments",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2022-04-06T17:34:07Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "a1095f0eb3c5bd204911761234029cf5b013fc4a",
"body": null,
"is_bot": false,
"headline": "Atomic cut elimination in ILL",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2022-04-06T08:47:27Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "b7c825de6ccd484b86bc4e5d7ee4ac7bd91af55e",
"body": null,
"is_bot": false,
"headline": "use option_eval_default",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2022-03-28T11:55:43Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "5d7d4f24a9280b9ed7c0b857910e51eb4cdb132c",
"body": null,
"is_bot": false,
"headline": "cleaning",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2022-03-28T11:55:38Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "9dcb380b7fcf2f353275071e7b60344566dd9bdc",
"body": null,
"is_bot": false,
"headline": "add consistency properties",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2022-02-20T16:58:02Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "06d9a8ddf8f75a7d11ebc26ab43ae17a805a2377",
"body": null,
"is_bot": false,
"headline": "cleaning",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2022-02-20T16:57:48Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "cc650e570658c08784b8fb6cb79b5a09884db13d",
"body": null,
"is_bot": false,
"headline": "remove use of deprecated arith files",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2022-02-05T19:12:02Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "63d80a4bd0229745b1fa8d076719286e8db7918a",
"body": null,
"is_bot": false,
"headline": "turn some #[global] into #[export]",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2022-02-05T19:11:39Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "623909fa8a7658bedb00f1d90b828510cefae0bf",
"body": null,
"is_bot": false,
"headline": "use new format for attributes",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2022-01-05T10:54:35Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "c3f60bc26b1db5d8f8d7ce0526f70e1cecbae0be",
"body": null,
"is_bot": false,
"headline": "Proper with CRelationClasses.arrow rather than Basics.arrow",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2022-01-05T10:44:08Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "2d0d3eb897cdf4440932c50050762e817bd6e4aa",
"body": null,
"is_bot": false,
"headline": "adapt to ollibs v2.0.2",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2022-01-03T10:30:36Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "6e9c8fb79f5015396a51e6c5be9fc1b4790eead3",
"body": null,
"is_bot": false,
"headline": "cleaning",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2021-12-26T16:23:45Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "dbc22881520f2d11dea68553aecc726b5c0033c7",
"body": null,
"is_bot": false,
"headline": "add #[local] attribute to Instance",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2021-12-15T07:07:05Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "90ed75aee7fe25ceb1721dae3334b08a426c5e2e",
"body": null,
"is_bot": false,
"headline": "introduction of option_test",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2021-11-25T14:43:50Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "c592fd5c178d4e049de0a48db6ea2790cc99f0b2",
"body": null,
"is_bot": false,
"headline": "remove \"Proof with\" in some files",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2021-11-22T09:12:50Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "cf978ef9ab028790eb7bd02903a8548ca900b678",
"body": "(may destroy backwards compatibility)",
"is_bot": false,
"headline": "manage implicits through Set Implicit Arguments",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2021-07-14T18:04:11Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "e18999489767ab8262b250e789e4511492c6f366",
"body": null,
"is_bot": false,
"headline": "more constrained llFoc and direct focusing proof",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2021-07-11T10:08:58Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "3e193564f4ca5cfdd84a421d37c5abd6c66c05e6",
"body": null,
"is_bot": false,
"headline": "cleaning",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2021-07-11T10:04:50Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "105381e1b80c6081b871057b0473b1ccca4e556f",
"body": null,
"is_bot": false,
"headline": "inline definition of List.map in nanoyalla",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2021-04-05T17:44:47Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "d257762858d9846e3ddc97c40b2eb4540e48caed",
"body": null,
"is_bot": false,
"headline": "remove myeasy_perm_Type",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2021-01-26T07:22:41Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "40bcfd11d30eedfffbccb404d4b5b9b4612297dc",
"body": null,
"is_bot": false,
"headline": "update version number for OLlibs",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2021-01-26T07:20:51Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "d4bbe27f4cfea6e6c72d2bd78b7ed6c74758232a",
"body": null,
"is_bot": false,
"headline": "use cbn rather than simpl",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2021-01-21T11:10:01Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "1b691d9a4142055eb24b4fff02e45d4adcbecae1",
"body": null,
"is_bot": false,
"headline": "cleaning",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2021-01-16T22:00:54Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "717c9350178e6f45c5bc3d0cd7fb47906fa6a2e0",
"body": null,
"is_bot": false,
"headline": "update with v2.0.2",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2021-01-13T11:50:39Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "9a450fdbee4de644d02ef4a093b6515c5f654a58",
"body": null,
"is_bot": false,
"headline": "update to Coq 8.13.0",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2021-01-12T22:13:23Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "1841a9ace06bd729c4963693e4b07f092e8092af",
"body": null,
"is_bot": false,
"headline": "cleaning",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2020-12-29T08:55:59Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "10dec030fc55755775060593a66b175670dd422c",
"body": null,
"is_bot": false,
"headline": "cleaning",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2020-12-27T09:39:51Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "8817c2882dda4b1875d7677e33c3616a7ef422ce",
"body": null,
"is_bot": false,
"headline": "update with v2.0.1",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2020-08-07T11:16:27Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "be06cf3f81031420c9442f35e4772536536d97b8",
"body": null,
"is_bot": false,
"headline": "add installation instructions with external OLlibs",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2020-08-07T11:10:08Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "0886a89d41c01645afacd54a9a53aa584788f6ba",
"body": null,
"is_bot": false,
"headline": "atom sets are now parameters",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2020-07-29T15:37:42Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "3a760fec555db27c68d20d3bc78b41638426beb3",
"body": null,
"is_bot": false,
"headline": "update version number",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2020-05-23T08:16:54Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "99cb5f10e94cd5fb36be6bd7eb2cb8df7f5a2441",
"body": null,
"is_bot": false,
"headline": "adapt to external OLlibs",
"author_name": "Olivier Laurent",
"author_login": "olaure01",
"committed_at": "2020-05-19T20:40:09Z",
"body_truncated": false,
"is_coding_agent": false
}
],
"releases_count": 7,
"commits_last_year": 8,
"latest_release_at": "2025-03-26T08:28:03Z",
"latest_release_tag": "v2.0.7",
"releases_from_tags": true,
"days_since_last_push": 109,
"active_weeks_last_year": 6,
"days_since_latest_release": 492,
"mean_days_between_releases": 282
},
"community": {
"has_readme": true,
"has_license": true,
"has_description": true,
"has_contributing": false,
"health_percentage": 42,
"has_issue_template": false,
"has_code_of_conduct": false,
"has_pull_request_template": false
},
"ecosystem": {
"packages": []
},
"popularity": {
"forks": 5,
"stars": 16,
"watchers": 3,
"fork_history": {
"days": [
{
"date": "2018-11-07",
"count": 1
},
{
"date": "2018-12-04",
"count": 1
},
{
"date": "2020-04-24",
"count": 1
},
{
"date": "2021-01-31",
"count": 2
}
],
"complete": true,
"collected": 5,
"total_forks": 5
},
"star_history": null,
"open_issues_and_prs": 0
},
"ai_readiness": {
"has_nix": false,
"example_dirs": [],
"has_llms_txt": false,
"has_dockerfile": false,
"has_mcp_signal": false,
"bootstrap_files": [
"microyalla/Makefile",
"yalla/Makefile"
],
"api_schema_files": [],
"has_devcontainer": false,
"typecheck_configs": [],
"toolchain_manifests": [],
"largest_source_bytes": null,
"source_files_sampled": 0,
"oversized_source_files": 0,
"agent_instruction_files": [],
"agent_instruction_max_bytes": null
},
"dependencies": {
"manifests": [],
"advisories": {
"error": null,
"scope": null,
"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": "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": 0,
"merged_prs": 2,
"open_issues": 0,
"closed_ratio": null,
"closed_issues": 0,
"closed_unmerged_prs": 0
},
"bus_factor": 1,
"bot_contributors": 0,
"top_contributors": [
{
"type": "User",
"login": "olaure01",
"commits": 320,
"avatar_url": "https://avatars.githubusercontent.com/u/30601497?v=4"
},
{
"type": "User",
"login": "clucas26e4",
"commits": 8,
"avatar_url": "https://avatars.githubusercontent.com/u/39555907?v=4"
}
],
"contributors_sampled": 2,
"top_contributor_share": 0.976
},
"quality_signals": {
"has_ci": false,
"has_tests": false,
"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": null,
"reason": "no pull request found",
"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/30 approved changesets -- score normalized to 0",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#code-review"
},
{
"name": "Contributors",
"score": 0,
"reason": "project has 0 contributing companies or organizations -- score normalized to 0",
"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": 0,
"reason": "0 commit(s) and 0 issue activity found in the last 90 days -- score normalized to 0",
"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": "no SAST tool detected",
"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": "a138437625f5bb39221cd6171b7dc464e15bbf8b",
"ran_at": "2026-08-01T08:21:30Z",
"aggregate_score": 2.6,
"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": null,
"oldest_open_prs": [],
"last_merged_pr_at": "2019-08-16T17:57:05Z",
"ci_last_conclusion": null,
"oldest_open_issues": []
}
},
"config": {
"disabled_metrics": [],
"disabled_categories": [],
"disabled_components": {}
},
"source": {
"url": "https://github.com/olaure01/yalla",
"host": "github.com",
"name": "yalla",
"owner": "olaure01"
},
"metrics": {
"overall": {
"key": "overall",
"band": "at_risk",
"name": "Overall health",
"note": "The weighted overall 31 is calibrated to 25 on the published index scale (record calibration 2026-08-02).",
"notes": [
{
"code": "overall_calibration",
"params": {
"raw": 31,
"calibrated": 25,
"calibration": "2026-08-02"
}
}
],
"value": 25,
"inputs": {
"security": 26,
"vitality": 30,
"community": 37,
"governance": 42,
"calibration": "2026-08-02",
"engineering": 21,
"ai_readiness": 10,
"weighted_overall_raw": 31
},
"components": []
},
"categories": [
{
"key": "vitality",
"band": "at_risk",
"name": "Vitality",
"value": 30,
"weight": 0.21,
"metrics": [
{
"key": "development_activity",
"band": "at_risk",
"name": "Development activity",
"note": null,
"notes": [],
"value": 23,
"inputs": {
"commits_last_year": 8,
"human_commit_share": 1,
"days_since_last_push": 109,
"active_weeks_last_year": 6
},
"components": [
{
"key": "push_recency",
"name": "Push recency",
"detail": "last push 109 days ago",
"points": 9.9,
"status": "partial",
"details": [
{
"code": "push_recency",
"params": {
"days": 109
}
}
],
"max_points": 36
},
{
"key": "commit_cadence",
"name": "Commit cadence",
"detail": "6/52 weeks with commits",
"points": 4.2,
"status": "partial",
"details": [
{
"code": "commit_cadence_weeks",
"params": {
"weeks": 6
}
}
],
"max_points": 36
},
{
"key": "commit_volume",
"name": "Commit volume",
"detail": "8 commits in the last year",
"points": 8.6,
"status": "partial",
"details": [
{
"code": "commits_last_year",
"params": {
"count": 8
}
}
],
"max_points": 18
},
{
"key": "openssf_scorecard_maintained",
"name": "OpenSSF Scorecard: Maintained",
"detail": "0 commit(s) and 0 issue activity found in the last 90 days -- score normalized to 0",
"points": 0,
"status": "missed",
"details": [],
"max_points": 10
}
]
},
{
"key": "release_discipline",
"band": "weak",
"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": 40,
"inputs": {
"releases_count": 7,
"latest_release_tag": "v2.0.7",
"releases_from_tags": true,
"days_since_latest_release": 492,
"mean_days_between_releases": 282
},
"components": [
{
"key": "ships_releases",
"name": "Ships releases",
"detail": "7 version tags (no GitHub releases)",
"points": 16.2,
"status": "partial",
"details": [
{
"code": "version_tags_no_releases",
"params": {
"count": 7
}
}
],
"max_points": 27
},
{
"key": "release_recency",
"name": "Release recency",
"detail": "latest release 492 days ago",
"points": 7.2,
"status": "partial",
"details": [
{
"code": "release_recency",
"params": {
"days": 492
}
}
],
"max_points": 36
},
{
"key": "release_cadence",
"name": "Release cadence",
"detail": "a release every ~282 days",
"points": 12.6,
"status": "partial",
"details": [
{
"code": "release_cadence",
"params": {
"gap": 282
}
}
],
"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": "exceptional",
"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": 111,
"days_since_last_human_commit_is_floor": false
},
"components": [
{
"key": "project_is_still_maintained",
"name": "Project is still maintained",
"detail": "last human commit 111 days ago",
"points": 100,
"status": "met",
"details": [
{
"code": "abandonment_maintained",
"params": {
"days": 111
}
}
],
"max_points": 100
}
]
}
],
"description": "Is the project alive — is code being written and are releases shipping?"
},
{
"key": "community",
"band": "weak",
"name": "Community & Adoption",
"value": 37,
"weight": 0.17,
"metrics": [
{
"key": "popularity",
"band": "at_risk",
"name": "Popularity & adoption",
"note": null,
"notes": [],
"value": 26,
"inputs": {
"forks": 5,
"stars": 16,
"watchers": 3,
"growth_state": "unverified",
"growth_factor_pct": 100,
"growth_unverified_reason": "no_history"
},
"components": [
{
"key": "stars",
"name": "Stars",
"detail": "16 stars",
"points": 19.1,
"status": "partial",
"details": [
{
"code": "stars",
"params": {
"count": 16
}
}
],
"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": "3 watchers",
"points": 1.7,
"status": "partial",
"details": [
{
"code": "watchers",
"params": {
"count": 3
}
}
],
"max_points": 15
}
]
},
{
"key": "community_health",
"band": "moderate",
"name": "Community health",
"note": null,
"notes": [],
"value": 50,
"inputs": {
"has_readme": true,
"has_license": true,
"readme_badges": null,
"has_contributing": false,
"has_issue_template": false,
"has_code_of_conduct": false,
"readme_badge_services": [],
"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 (LGPL-3.0)",
"points": 22.5,
"status": "met",
"details": [
{
"code": "license_standard",
"params": {}
},
{
"code": "license_spdx",
"params": {
"spdx": "LGPL-3.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": "weak",
"name": "Sustainability & Governance",
"value": 42,
"weight": 0.23,
"metrics": [
{
"key": "maintainer_resilience",
"band": "critical",
"name": "Maintainer resilience (bus factor)",
"note": null,
"notes": [],
"value": 12,
"inputs": {
"bus_factor": 1,
"contributors_sampled": 2,
"top_contributor_share": 0.976
},
"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.5,
"status": "partial",
"details": [
{
"code": "top_contributor_share",
"params": {
"share": 98
}
}
],
"max_points": 22.5
},
{
"key": "contributor_breadth",
"name": "Contributor breadth",
"detail": "2 contributors",
"points": 2.7,
"status": "partial",
"details": [
{
"code": "contributors_sampled",
"params": {
"count": 2
}
}
],
"max_points": 13.5
},
{
"key": "openssf_scorecard_contributors",
"name": "OpenSSF Scorecard: Contributors",
"detail": "project has 0 contributing companies or organizations -- score normalized to 0",
"points": 0,
"status": "missed",
"details": [],
"max_points": 10
}
]
},
{
"key": "responsiveness",
"band": "good",
"name": "Issue & PR responsiveness",
"note": "Excluded from scoring (no data or not applicable): Issue resolution, Newcomer PR acceptance. Remaining weights renormalized.",
"notes": [
{
"code": "excluded_no_data",
"params": {
"components": [
"issue_resolution",
"newcomer_pr_acceptance"
]
}
},
{
"code": "weights_renormalized",
"params": {}
}
],
"value": 67,
"inputs": {
"merged_prs": 2,
"open_issues": 0,
"closed_issues": 0,
"prs_merged_7d": null,
"prs_decided_7d": null,
"prs_merged_30d": null,
"prs_decided_30d": null,
"issue_closed_ratio": null,
"closed_unmerged_prs": 0,
"first_time_authors_30d": null,
"first_time_prs_merged_30d": null,
"first_time_prs_decided_30d": null
},
"components": [
{
"key": "issue_resolution",
"name": "Issue resolution",
"detail": "no issues or no data",
"points": 0,
"status": "excluded",
"details": [
{
"code": "no_issues_or_data",
"params": {}
}
],
"max_points": 42
},
{
"key": "pr_acceptance",
"name": "PR acceptance",
"detail": "2/2 decided PRs merged",
"points": 30,
"status": "met",
"details": [
{
"code": "decided_prs_merged",
"params": {
"merged": 2,
"decided": 2
}
}
],
"max_points": 30
},
{
"key": "newcomer_pr_acceptance",
"name": "Newcomer PR acceptance",
"detail": "no first-time contributor's PR decided in 30d",
"points": 0,
"status": "excluded",
"details": [
{
"code": "no_newcomer_prs",
"params": {
"days": 30
}
}
],
"max_points": 13
},
{
"key": "openssf_scorecard_code_review",
"name": "OpenSSF Scorecard: Code-Review",
"detail": "Found 0/30 approved changesets -- score normalized to 0",
"points": 0,
"status": "missed",
"details": [],
"max_points": 15
}
]
},
{
"key": "stewardship",
"band": "moderate",
"name": "Ownership & stewardship",
"note": "Excluded from scoring (no data or not applicable): Verified domain. Remaining weights renormalized.",
"notes": [
{
"code": "excluded_no_data",
"params": {
"components": [
"verified_domain"
]
}
},
{
"code": "weights_renormalized",
"params": {}
}
],
"value": 54,
"inputs": {
"followers": 19,
"owner_type": "User",
"is_verified": null,
"owner_login": "olaure01",
"public_repos": 38,
"account_age_days": 3287
},
"components": [
{
"key": "ownership_backing",
"name": "Ownership backing",
"detail": "personal (user) account",
"points": 10,
"status": "partial",
"details": [
{
"code": "owner_personal",
"params": {}
}
],
"max_points": 30
},
{
"key": "verified_domain",
"name": "Verified domain",
"detail": "not applicable to user accounts",
"points": 0,
"status": "excluded",
"details": [
{
"code": "not_applicable_to_user_accounts",
"params": {}
}
],
"max_points": 20
},
{
"key": "owner_reach",
"name": "Owner reach",
"detail": "19 followers of olaure01",
"points": 9.4,
"status": "partial",
"details": [
{
"code": "owner_followers",
"params": {
"count": 19,
"login": "olaure01"
}
}
],
"max_points": 25
},
{
"key": "track_record",
"name": "Track record",
"detail": "38 public repos, account ~9 yr old",
"points": 23.6,
"status": "partial",
"details": [
{
"code": "public_repos",
"params": {
"count": 38
}
},
{
"code": "account_age_years",
"params": {
"years": 9
}
}
],
"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": 21,
"weight": 0.19,
"metrics": [
{
"key": "engineering_practices",
"band": "critical",
"name": "Engineering practices",
"note": "Excluded from scoring (no data or not applicable): OpenSSF Scorecard: CI-Tests. Remaining weights renormalized.",
"notes": [
{
"code": "excluded_no_data",
"params": {
"components": [
"openssf_scorecard_ci_tests"
]
}
},
{
"code": "weights_renormalized",
"params": {}
}
],
"value": 1,
"inputs": {
"has_ci": false,
"has_tests": false,
"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": 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": "no pull request found",
"points": 0,
"status": "excluded",
"details": [
{
"code": "no_data",
"params": {}
}
],
"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": 26,
"weight": 0.16,
"metrics": [
{
"key": "security_posture",
"band": "at_risk",
"name": "Security posture",
"note": "Excluded from scoring (no data or not applicable): CI-Tests, Dangerous-Workflow, Packaging, Pinned-Dependencies, Signed-Releases, Token-Permissions. Remaining weights renormalized.",
"notes": [
{
"code": "excluded_no_data",
"params": {
"components": [
"ci_tests",
"dangerous_workflow",
"packaging",
"pinned_dependencies",
"signed_releases",
"token_permissions"
]
}
},
{
"code": "weights_renormalized",
"params": {}
}
],
"value": 26,
"inputs": {
"source": "openssf_scorecard",
"checks_evaluated": 12,
"scorecard_version": "v5.5.0",
"checks_inconclusive": 6,
"scorecard_aggregate": 2.6
},
"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": "no pull request found",
"points": 0,
"status": "excluded",
"details": [
{
"code": "no_data",
"params": {}
}
],
"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/30 approved changesets -- score normalized to 0",
"points": 0,
"status": "missed",
"details": [],
"max_points": 7.5
},
{
"key": "contributors",
"name": "Contributors",
"detail": "project has 0 contributing companies or organizations -- score normalized to 0",
"points": 0,
"status": "missed",
"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": "0 commit(s) and 0 issue activity found in the last 90 days -- score normalized to 0",
"points": 0,
"status": "missed",
"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": "no SAST tool detected",
"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
}
]
}
],
"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": 10,
"weight": 0.04,
"metrics": [
{
"key": "ai_agent_context",
"band": "critical",
"name": "Agent context & guidance",
"note": null,
"notes": [],
"value": 1,
"inputs": {
"has_llms_txt": false,
"legible_history_share": 0.02,
"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": "2 of 100 human commits state their intent (structured subject or explanatory body)",
"points": 1.1,
"status": "partial",
"details": [
{
"code": "legible_history",
"params": {
"legible": 2,
"sampled": 100
}
}
],
"max_points": 40
}
]
},
{
"key": "ai_verify_loop",
"band": "at_risk",
"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": 20,
"inputs": {
"has_nix": false,
"has_tests": false,
"lockfiles": [],
"has_dockerfile": false,
"typed_language": false,
"bootstrap_files": [
"microyalla/Makefile",
"yalla/Makefile"
],
"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": "microyalla/Makefile, yalla/Makefile",
"points": 18,
"status": "met",
"details": [
{
"code": "file_list",
"params": {
"files": "microyalla/Makefile, yalla/Makefile"
}
}
],
"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": 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": "critical",
"name": "Code legibility for models",
"note": "Excluded from scoring (no data or not applicable): Manageable file sizes. Remaining weights renormalized.",
"notes": [
{
"code": "excluded_no_data",
"params": {
"components": [
"manageable_file_sizes"
]
}
},
{
"code": "weights_renormalized",
"params": {}
}
],
"value": 1,
"inputs": {
"primary_language": "Rocq Prover",
"largest_source_bytes": null,
"source_files_sampled": 0,
"oversized_source_files": 0
},
"components": [
{
"key": "type_checkable_code",
"name": "Type-checkable code",
"detail": "Rocq Prover without a type-check config",
"points": 0,
"status": "missed",
"details": [
{
"code": "no_typecheck_config_language",
"params": {
"language": "Rocq Prover"
}
}
],
"max_points": 45
},
{
"key": "manageable_file_sizes",
"name": "Manageable file sizes",
"detail": "no source files detected",
"points": 0,
"status": "excluded",
"details": [
{
"code": "no_source_files",
"params": {}
}
],
"max_points": 55
}
]
}
],
"description": "How well is the repo equipped to be developed and maintained with AI coding agents? Carries a deliberately small weight: agent tooling is a real maintenance signal, but its absence must never gate the top of the scale (calibration saturates at raw 91, so 100/100 remains reachable with AI Readiness at zero)."
}
],
"classification": {
"labels": [],
"scores": {},
"primary": null,
"evidence": [],
"artifacts": [],
"confidence": "none",
"host_extension": false,
"runs_as_process": false,
"consumed_by_code": false
},
"metrics_version": "2.3.1"
},
"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-08-01T08:21:34.370482Z",
"schema_version": "0.27.0",
"badge_url": "https://raw.githubusercontent.com/inspect-software/badges/main/v1/o/olaure01/yalla.svg",
"full_name": "olaure01/yalla",
"license_state": "standard",
"license_spdx": "LGPL-3.0"
}Оцінки — це сигнали, а не гарантії. Вони відображають публічно видимі практики на GitHub — це не аудит коду й не гарантія безпеки.
Відсутні дані виключаються, а ваги перенормовуються — нуль за відсутність ніколи не ставиться. Методологія версіонована й відкрита: метрики v2.3.1, схема v0.27.0 — повна методологія · вікі метрик.
Як окремий результат виглядає на тлі всього реєстру: сукупна статистика.