Öffentliches RegisterGefährdet
Software-GesundheitsberichtSchema 0.27.0 · Metriken 2.3.1 · 2026-08-01 08:21 UTC
olaure01 / yalla
Yet Another deep embedding of Linear Logic in Rocq
olaure01/yalla erreicht einen Gesundheitsindex von 25 von 100 und liegt damit im Bereich Gefährdet. Am stärksten schneidet es bei Sustainability & Governance (42/100) ab, am schwächsten bei AI Readiness (10/100). Zuletzt vor 109 Tagen aktualisiert. Ein einzelner Mitwirkender trägt den Großteil der jüngsten Arbeit.
25
gesamt / 100Software-Gesundheitsindex
Metriken werden auf einer standardisierten Skala von 1–100 in gewichtete Kategorien gruppiert. Der Gesamtwert beginnt als ihr gewichtetes Mittel, kalibriert auf die Verteilung des öffentlichen Registers, sodass die Stufen Perzentilbedeutung tragen; sobald öffentliche Evidenz die Richtlinie für Hochrisikojurisdiktionen auslöst, wird die Bewertung angepasst und erhält die Obergrenze Gefährdet von 34.
25
Außergewöhnlich93-100Die Spitzengruppe des Registers (≈ obere 5 %); erfüllt im Wesentlichen alle geprüften Kriterien
Exzellent80-92Durchgehend stark; geringfügige Lücken
Gut65-79Gesund; Lücken sind begrenzt und beherrschbar
Mittel50-64Akzeptabel mit deutlichen Lücken; Überprüfung empfohlen
Schwach35-49Wesentliche Schwächen in mehreren Bereichen
Gefährdet20-34Erhebliche Schwächen; eine Übernahme erfordert Vorsicht
Kritisch1-19Schwerwiegende Probleme (aufgegeben, nur ein Maintainer, keine Hygiene)
Bewertungsprofil
Jede Achse ist eine Kategorie. Die Form zählt mehr als der Durchschnitt — ein gesundes Projekt füllt die gesamte Fläche, während ein Profil aus Spitzen und Kratern bedeutet, dass Stärke in einer Dimension Risiken in einer anderen verdeckt.
Der gewichtete Gesamtwert 31 wird auf der veröffentlichten Indexskala auf 25 kalibriert (Register-Kalibrierung 2026-08-02).
Eigentümerschaft
Olivier LaurentPersönliches Konto
19 Follower38 öffentliche Reposseit Juli 2017
Dieses Repository gehört einem persönlichen Konto. Ein Projekt mit nur einem Eigentümer trägt ein höheres Kontinuitätsrisiko als ein organisationsgetragenes.
Metriken nach Kategorie
Vitalität
Lebt das Projekt — wird Code geschrieben und werden Releases ausgeliefert?
30
Entwicklungsaktivität
23Gefährdet
Wie die Bewertung erfolgt
| 9.9/36 | Push-Aktualität — letzter Push vor 109 Tagen |
| 4.2/36 | Commit-Rhythmus — 6/52 Wochen mit Commits |
| 8.6/18 | Commit-Volumen — 8 Commits im letzten Jahr |
| 0/10 | OpenSSF Scorecard: Maintained — 0 commit(s) and 0 issue activity found in the last 90 days -- score normalized to 0 |
Verwendete Eingangsdaten
| commits_last_year | 8 |
| human_commit_share | 1 |
| days_since_last_push | 109 |
| active_weeks_last_year | 6 |
Release-Disziplin
40Schwach
Wie die Bewertung erfolgt
| 16.2/27 | Liefert Releases aus — 7 Versions-Tags (keine GitHub-Releases) |
| 7.2/36 | Release-Aktualität — letztes Release vor 492 Tagen |
| 12.6/27 | Release-Rhythmus — ein Release etwa alle 282 Tage |
| 0/10 | OpenSSF Scorecard: Signed-Releases — keine Daten |
Verwendete Eingangsdaten
| releases_count | 7 |
| latest_release_tag | v2.0.7 |
| releases_from_tags | ja |
| days_since_latest_release | 492 |
| mean_days_between_releases | 282 |
Von der Bewertung ausgeschlossen (keine Daten oder nicht anwendbar): OpenSSF Scorecard: Signed-Releases. Die verbleibenden Gewichte wurden renormalisiert.
Community & Verbreitung
Hat das Projekt Nutzer, Downloads, Aufmerksamkeit und ein einladendes Umfeld für Beitragende?
37
Popularität & Verbreitung
26Gefährdet
Wie die Bewertung erfolgt
| 19.1/60 | Stars — 16 Stars |
| 5/25 | Forks — 5 Forks |
| 1.7/15 | Watcher — 3 Watcher |
Verwendete Eingangsdaten
| forks | 5 |
| stars | 16 |
| watchers | 3 |
| growth_state | unverified |
| growth_factor_pct | 100 |
| growth_unverified_reason | no_history |
Community-Gesundheit
50Mittel
Wie die Bewertung erfolgt
| 22.5/22.5 | README |
| 22.5/22.5 | Lizenz — anerkannte Lizenz (LGPL-3.0) |
| 0/18 | CONTRIBUTING-Leitfaden |
| 0/13.5 | Verhaltenskodex |
| 0/7.2 | Issue-Vorlage |
| 0/6.3 | PR-Vorlage |
Verwendete Eingangsdaten
| has_readme | ja |
| has_license | ja |
| readme_badges | — |
| has_contributing | nein |
| has_issue_template | nein |
| has_code_of_conduct | nein |
| readme_badge_services | — |
| has_pull_request_template | nein |
Nachhaltigkeit & Governance
Überdauert das Projekt die Menschen, die es tragen — Bus-Faktor, Reaktionsfähigkeit, Trägerschaft und Paketpflege?
42
Maintainer-Resilienz (Bus-Faktor)
12Kritisch
Wie die Bewertung erfolgt
| 9/54 | Bus-Faktor — 1 Beitragende decken die Hälfte aller Commits ab |
| 0.5/22.5 | Commit-Verteilung — wichtigste beitragende Person verfasste 98 % der Commits |
| 2.7/13.5 | Breite der Beitragenden — 2 Beitragende |
| 0/10 | OpenSSF Scorecard: Contributors — project has 0 contributing companies or organizations -- score normalized to 0 |
Verwendete Eingangsdaten
| bus_factor | 1 |
| contributors_sampled | 2 |
| top_contributor_share | 0,976 |
Wie die Bewertung erfolgt
| 0/42 | Issue-Lösungsquote — keine Issues oder keine Daten |
| 30/30 | PR-Annahme — 2/2 entschiedene PRs gemergt |
| 0/13 | Newcomer PR acceptance — kein PR eines Erstbeitragenden in 30 Tagen entschieden |
| 0/15 | OpenSSF Scorecard: Code-Review — Found 0/30 approved changesets -- score normalized to 0 |
Verwendete Eingangsdaten
| 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 | — |
Von der Bewertung ausgeschlossen (keine Daten oder nicht anwendbar): Issue-Lösungsquote, newcomer_pr_acceptance. Die verbleibenden Gewichte wurden renormalisiert.
Eigentümerschaft & Trägerschaft
54Mittel
Wie die Bewertung erfolgt
| 10/30 | Organisatorische Trägerschaft — persönliches (Nutzer-)Konto |
| 0/20 | Verifizierte Domain — für Nutzerkonten nicht anwendbar |
| 9.4/25 | Reichweite des Inhabers — 19 Follower von olaure01 |
| 23.6/25 | Kontohistorie — 38 öffentliche Repos, Kontoalter ca. 9 Jahre |
Verwendete Eingangsdaten
| followers | 19 |
| owner_type | User |
| is_verified | — |
| owner_login | olaure01 |
| public_repos | 38 |
| account_age_days | 3.287 |
Von der Bewertung ausgeschlossen (keine Daten oder nicht anwendbar): Verifizierte Domain. Die verbleibenden Gewichte wurden renormalisiert.
Engineering-Qualität
Sind grundlegende Engineering- und Dokumentationspraktiken vorhanden?
21
Engineering-Praktiken
1Kritisch
Wie die Bewertung erfolgt
| 0/24 | CI-Workflows |
| 0/24 | Tests vorhanden |
| 0/16 | Linter-Konfiguration |
| 0/9.6 | Pre-Commit-Hooks |
| 0/6.4 | .editorconfig |
| 0/20 | OpenSSF Scorecard: CI-Tests — keine Daten |
Verwendete Eingangsdaten
| has_ci | nein |
| has_tests | nein |
| has_editorconfig | nein |
| has_linter_config | nein |
| has_precommit_config | nein |
Von der Bewertung ausgeschlossen (keine Daten oder nicht anwendbar): OpenSSF Scorecard: CI-Tests. Die verbleibenden Gewichte wurden renormalisiert.
Dokumentation
50Mittel
Wie die Bewertung erfolgt
| 30/30 | README |
| 0/25 | Dokumentationsverzeichnis |
| 0/15 | Dokumentations-/Homepage-Site |
| 10/10 | Repository-Beschreibung |
| 0/10 | Topics |
| 10/10 | Wiki |
Verwendete Eingangsdaten
| topics | — |
| has_wiki | ja |
| homepage | — |
| has_readme | ja |
| has_docs_dir | nein |
| has_description | ja |
Sicherheit
Sind die sichtbaren Sicherheits- und Lieferkettenpraktiken belastbar, ohne ungeklärte Exposition gegenüber Hochrisikojurisdiktionen?
26
Sicherheitslage
26Gefährdet
Wie die Bewertung erfolgt
| 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 — keine Daten |
| 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 — keine Daten |
| 0/7.5 | Dependency-Update-Tool — no update tool detected |
| 0/5 | Fuzzing — project is not fuzzed |
| 2.5/2.5 | Lizenz — 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 — keine Daten |
| 0/5 | Pinned-Dependencies — keine Daten |
| 0/5 | SAST — no SAST tool detected |
| 0/5 | Security-Policy — security policy file not detected |
| 0/7.5 | Signed-Releases — keine Daten |
| 0/7.5 | Token-Permissions — keine Daten |
| 7.5/7.5 | Vulnerabilities — 0 existing vulnerabilities detected |
Verwendete Eingangsdaten
| source | openssf_scorecard |
| checks_evaluated | 12 |
| scorecard_version | v5.5.0 |
| checks_inconclusive | 6 |
| scorecard_aggregate | 2,6 |
Von der Bewertung ausgeschlossen (keine Daten oder nicht anwendbar): ci_tests, dangerous_workflow, packaging, pinned_dependencies, signed_releases, token_permissions. Die verbleibenden Gewichte wurden renormalisiert.
AI Readiness
Wie gut ist das Repository dafür ausgestattet, mit KI-Coding-Agenten entwickelt und gepflegt zu werden? Trägt ein bewusst kleines Gewicht (4 %): Agenten-Tooling ist ein echtes Pflegesignal, doch ein Repository ohne jedes Signal kann weiterhin 100/100 erreichen.
10
AI-Agentenkontext & Leitlinien
1Kritisch
Wie die Bewertung erfolgt
| 0/45 | Agentenanweisungen — keine CLAUDE.md / AGENTS.md / Editor-Regeln |
| 0/15 | Maschinenlesbare Doku (llms.txt) |
| 1.1/40 | Lesbare Commit-Historie — 2 von 100 menschlichen Commits benennen ihre Absicht (strukturierter Betreff oder erläuternder Text) |
Verwendete Eingangsdaten
| has_llms_txt | nein |
| legible_history_share | 0,02 |
| agent_instruction_files | — |
| agent_instruction_max_bytes | — |
AI-Verify-Loop (Build / Test / Typprüfung)
20Gefährdet
Wie die Bewertung erfolgt
| 18/18 | Bootstrap mit einem Befehl — microyalla/Makefile, yalla/Makefile |
| 0/22 | Automatisierte Tests |
| 0/11 | Lint-/Format-Konfiguration |
| 0/11 | Statische Typprüfung |
| 0/10 | Reproduzierbare Umgebung |
| 0/10 | Belegte Agentenpraxis — keine von Agenten verfassten Commits unter den letzten 100 |
| 0/8 | Automatisierte Wartung — keine automatisierten Abhängigkeits-Updates beobachtet |
| 0/10 | OpenSSF Scorecard: Pinned-Dependencies — keine Daten |
Verwendete Eingangsdaten
| has_nix | nein |
| has_tests | nein |
| lockfiles | — |
| has_dockerfile | nein |
| typed_language | nein |
| bootstrap_files | microyalla/Makefile, yalla/Makefile |
| has_devcontainer | nein |
| has_linter_config | nein |
| typecheck_configs | — |
| agent_commit_share | 0 |
| toolchain_manifests | — |
| dependency_bot_commit_share | 0 |
Von der Bewertung ausgeschlossen (keine Daten oder nicht anwendbar): OpenSSF Scorecard: Pinned-Dependencies. Die verbleibenden Gewichte wurden renormalisiert.
AI-Code-Lesbarkeit für Modelle
1Kritisch
Wie die Bewertung erfolgt
| 0/45 | Typprüfbarer Code — Rocq Prover ohne Typprüfungs-Konfiguration |
| 0/55 | Handhabbare Dateigrößen — keine Quelldateien erkannt |
Verwendete Eingangsdaten
| primary_language | Rocq Prover |
| largest_source_bytes | — |
| source_files_sampled | 0 |
| oversized_source_files | 0 |
Von der Bewertung ausgeschlossen (keine Daten oder nicht anwendbar): Handhabbare Dateigrößen. Die verbleibenden Gewichte wurden renormalisiert.
Eckdaten
16GitHub-Sterne
2Mitwirkende
8Commits, letzte 12 Monate
109Tage seit letztem Push
7Releases
1Bus-Faktor
0offene Issues
—Paket-Ökosysteme
Warnungen zur Datenerhebung
- 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
Weitere Details
Stern- und Fork-Verlauf 0 ★ / 5 ⇿
0Sterne
5Forks
2Releases
Wann jeder Stern und Fork hinzugefügt wurde, von GitHub erfasst und nach Tagen gruppiert. Das kumulierte Wachstum steht direkt über den täglichen Zugängen, aus denen es besteht, sodass beide gegeneinander lesbar sind: stetiger organischer Zuwachs sieht ganz anders aus als ein abrupter, kurzlebiger Ausschlag. Wo dieser Unterschied messbar ist, wird er als Wachstumsauthentizität ausgewiesen.
Major 0Minor 0Patch 2
Jeder Punkt umfasst 3 Tage.
OpenSSF Scorecard 2.6 / 10
2.6Gesamtwert
Unabhängige, werkzeugneutrale Sicherheitsbewertung durch das quelloffene OpenSSF Scorecard. Jede Prüfung honoriert eine Sicherheits-Praxis, nicht das Werkzeug eines bestimmten Anbieters. Prüfungen, die Scorecard nicht ermitteln konnte, sind mit k. A. markiert und vom Sicherheitswert ausgeschlossen (nie als null gezählt).
| 10 | Binary-Artifacts | no binaries found in the repo |
| 0 | Branch-Protection | branch protection not enabled on development/release branches |
| k. A. | 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 |
| k. A. | 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 |
| k. A. | Packaging | packaging workflow not detected |
| k. A. | Pinned-Dependencies | no dependencies found |
| 0 | SAST | no SAST tool detected |
| 0 | Security-Policy | security policy file not detected |
| k. A. | Signed-Releases | no releases found |
| k. A. | Token-Permissions | No tokens found |
| 10 | Vulnerabilities | 0 existing vulnerabilities detected |
Alle Abhängigkeiten nicht erhoben
Der aufgelöste Abhängigkeitssatz konnte für diesen Bericht nicht erhoben werden: GitHub dependency-graph SBOM unavailable (404); the dependency graph may be disabled for this repository
JSON-Rohbericht maschinenlesbar
{
"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"
}Bewertungen sind Signale, keine Garantien. Sie spiegeln öffentlich sichtbare Praxis auf GitHub wider — kein Code-Audit und keine Sicherheitsgarantie.
Fehlende Daten werden ausgeschlossen und die Gewichte neu normiert, nie als null bewertet. Die Methodik ist versioniert und offen: Metriken v2.3.1, Schema v0.27.0 — vollständige Methodik · Metriken-Wiki.
Wie ein einzelnes Ergebnis im Gesamtregister steht: aggregierte Statistiken.