Registro públicoEn riesgo
Informe de salud del softwareesquema 0.27.0 · métricas 2.3.1 · 2026-08-01 08:21 UTC
olaure01 / yalla
Yet Another deep embedding of Linear Logic in Rocq
olaure01/yalla tiene un índice de salud de 25 sobre 100, lo que lo sitúa en la banda En riesgo. Su puntuación más alta es Sustainability & Governance (42/100) y la más baja, AI Readiness (10/100). Se actualizó por última vez hace 109 días. Una sola persona concentra la mayor parte del trabajo reciente.
25
global / 100Índice de salud del software
Las métricas se agrupan en categorías ponderadas sobre una escala estandarizada de 1 a 100. El resultado global parte de su media ponderada, calibrada contra la distribución del registro público para que las bandas tengan significado percentil; cuando la evidencia pública activa la Política de Jurisdicciones de Alto Riesgo, la calificación se ajusta y recibe un límite «En riesgo» de 34.
25
Excepcional93-100El nivel más alto del registro (≈ el 5% superior); cumple prácticamente todos los criterios evaluados
Excelente80-92Sólido en todos los frentes; carencias menores
Bueno65-79Saludable; carencias limitadas y manejables
Moderado50-64Aceptable con carencias notables; se recomienda revisión
Débil35-49Debilidades sustanciales en varias áreas
En riesgo20-34Debilidades significativas; su adopción exige cautela
Crítico1-19Problemas graves (proyecto abandonado, un solo mantenedor, sin higiene)
Perfil de puntuación
Cada eje es una categoría. La forma importa más que la media: un proyecto sano llena toda la figura, mientras que un perfil de picos y cráteres indica que la fortaleza en una dimensión enmascara el riesgo en otra.
El resultado global ponderado 31 se calibra a 25 en la escala publicada del índice (calibración del registro 2026-08-02).
Titularidad
Olivier LaurentCuenta personal
19 seguidores38 repositorios públicosdesde jul 2017
Este repositorio pertenece a una cuenta personal. Un proyecto con un único propietario conlleva más riesgo de continuidad que uno respaldado por una organización.
Métricas por categoría
Vitalidad
¿Está vivo el proyecto: se escribe código y se publican versiones?
30
Actividad de desarrollo
23En riesgo
Cómo se puntúa
| 9.9/36 | Recencia de push — último push hace 109 días |
| 4.2/36 | Cadencia de commits — 6/52 semanas con commits |
| 8.6/18 | Volumen de commits — 8 commits en el último año |
| 0/10 | OpenSSF Scorecard: Maintained — 0 commit(s) and 0 issue activity found in the last 90 days -- score normalized to 0 |
Datos de entrada utilizados
| commits_last_year | 8 |
| human_commit_share | 1 |
| days_since_last_push | 109 |
| active_weeks_last_year | 6 |
Disciplina de publicación
40Débil
Cómo se puntúa
| 16.2/27 | Publica versiones — 7 etiquetas de versión (sin releases de GitHub) |
| 7.2/36 | Recencia de las versiones — última versión hace 492 días |
| 12.6/27 | Cadencia de publicación — una versión cada ~282 días |
| 0/10 | OpenSSF Scorecard: Signed-Releases — sin datos |
Datos de entrada utilizados
| releases_count | 7 |
| latest_release_tag | v2.0.7 |
| releases_from_tags | sí |
| days_since_latest_release | 492 |
| mean_days_between_releases | 282 |
Excluidos de la puntuación (sin datos o no aplicable): OpenSSF Scorecard: Signed-Releases. Los pesos restantes se han renormalizado.
Comunidad y Adopción
¿Tiene el proyecto usuarios, descargas, atención y unas condiciones acogedoras para quienes contribuyen?
37
Popularidad y adopción
26En riesgo
Cómo se puntúa
| 19.1/60 | Estrellas — 16 estrellas |
| 5/25 | Forks — 5 forks |
| 1.7/15 | Observadores — 3 observadores |
Datos de entrada utilizados
| forks | 5 |
| stars | 16 |
| watchers | 3 |
| growth_state | unverified |
| growth_factor_pct | 100 |
| growth_unverified_reason | no_history |
Salud de la comunidad
50Moderado
Cómo se puntúa
| 22.5/22.5 | README |
| 22.5/22.5 | Licencia — licencia reconocida (LGPL-3.0) |
| 0/18 | Guía CONTRIBUTING |
| 0/13.5 | Código de conducta |
| 0/7.2 | Plantilla de issues |
| 0/6.3 | Plantilla de PR |
Datos de entrada utilizados
| has_readme | sí |
| has_license | sí |
| readme_badges | — |
| has_contributing | no |
| has_issue_template | no |
| has_code_of_conduct | no |
| readme_badge_services | — |
| has_pull_request_template | no |
Sostenibilidad y Gobernanza
¿Sobrevivirá el proyecto a sus personas: factor bus, capacidad de respuesta, quién lo respalda y mantenimiento del paquete?
42
Cómo se puntúa
| 9/54 | Factor bus — la mitad de los commits recae en 1 contribuyente(s) |
| 0.5/22.5 | Distribución de commits — el principal contribuyente firma el 98% de los commits |
| 2.7/13.5 | Amplitud de contribuyentes — 2 contribuyentes |
| 0/10 | OpenSSF Scorecard: Contributors — project has 0 contributing companies or organizations -- score normalized to 0 |
Datos de entrada utilizados
| bus_factor | 1 |
| contributors_sampled | 2 |
| top_contributor_share | 0,976 |
Cómo se puntúa
| 0/42 | Resolución de issues — sin issues o sin datos |
| 30/30 | Aceptación de PR — 2/2 PR decididos fusionados |
| 0/13 | Newcomer PR acceptance — ningún PR de un contribuyente primerizo decidido en 30 d |
| 0/15 | OpenSSF Scorecard: Code-Review — Found 0/30 approved changesets -- score normalized to 0 |
Datos de entrada utilizados
| 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 | — |
Excluidos de la puntuación (sin datos o no aplicable): Resolución de issues, newcomer_pr_acceptance. Los pesos restantes se han renormalizado.
Propiedad y custodia
54Moderado
Cómo se puntúa
| 10/30 | Respaldo de la propiedad — cuenta personal (usuario) |
| 0/20 | Dominio verificado — no aplicable a cuentas de usuario |
| 9.4/25 | Alcance del propietario — 19 seguidores de olaure01 |
| 23.6/25 | Trayectoria — 38 repos públicos, cuenta de ~9 años |
Datos de entrada utilizados
| followers | 19 |
| owner_type | User |
| is_verified | — |
| owner_login | olaure01 |
| public_repos | 38 |
| account_age_days | 3287 |
Excluidos de la puntuación (sin datos o no aplicable): Dominio verificado. Los pesos restantes se han renormalizado.
Calidad de Ingeniería
¿Existen unas prácticas mínimas de ingeniería y documentación?
21
Prácticas de ingeniería
1Crítico
Cómo se puntúa
| 0/24 | Flujos de trabajo de CI |
| 0/24 | Pruebas presentes |
| 0/16 | Configuración de linter |
| 0/9.6 | Hooks de pre-commit |
| 0/6.4 | .editorconfig |
| 0/20 | OpenSSF Scorecard: CI-Tests — sin datos |
Datos de entrada utilizados
| has_ci | no |
| has_tests | no |
| has_editorconfig | no |
| has_linter_config | no |
| has_precommit_config | no |
Excluidos de la puntuación (sin datos o no aplicable): OpenSSF Scorecard: CI-Tests. Los pesos restantes se han renormalizado.
Documentación
50Moderado
Cómo se puntúa
| 30/30 | README |
| 0/25 | Directorio de documentación |
| 0/15 | Sitio de documentación / página del proyecto |
| 10/10 | Descripción del repositorio |
| 0/10 | Topics |
| 10/10 | Wiki |
Datos de entrada utilizados
| topics | — |
| has_wiki | sí |
| homepage | — |
| has_readme | sí |
| has_docs_dir | no |
| has_description | sí |
Seguridad
¿Son sólidas las prácticas visibles de seguridad y de cadena de suministro, sin exposición jurisdiccional de alto riesgo sin resolver?
26
Postura de seguridad
26En riesgo
Cómo se puntúa
| 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 — sin datos |
| 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 — sin datos |
| 0/7.5 | Dependency-Update-Tool — no update tool detected |
| 0/5 | Fuzzing — project is not fuzzed |
| 2.5/2.5 | Licencia — 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 — sin datos |
| 0/5 | Pinned-Dependencies — sin datos |
| 0/5 | SAST — no SAST tool detected |
| 0/5 | Security-Policy — security policy file not detected |
| 0/7.5 | Signed-Releases — sin datos |
| 0/7.5 | Token-Permissions — sin datos |
| 7.5/7.5 | Vulnerabilities — 0 existing vulnerabilities detected |
Datos de entrada utilizados
| source | openssf_scorecard |
| checks_evaluated | 12 |
| scorecard_version | v5.5.0 |
| checks_inconclusive | 6 |
| scorecard_aggregate | 2,6 |
Excluidos de la puntuación (sin datos o no aplicable): ci_tests, dangerous_workflow, packaging, pinned_dependencies, signed_releases, token_permissions. Los pesos restantes se han renormalizado.
Preparación para IA
¿Hasta qué punto está el repositorio preparado para desarrollarse y mantenerse con agentes de codificación de IA? Tiene un peso deliberadamente pequeño (4%): las herramientas para agentes son una señal real de mantenimiento, pero un repositorio sin ninguna puede alcanzar igualmente 100/100.
10
Contexto y guía para agentes
1Crítico
Cómo se puntúa
| 0/45 | Instrucciones para agentes — sin CLAUDE.md / AGENTS.md / reglas de editor |
| 0/15 | Documentación legible por máquinas (llms.txt) |
| 1.1/40 | Historial de commits legible — 2 de 100 commits humanos declaran su intención (asunto estructurado o cuerpo explicativo) |
Datos de entrada utilizados
| has_llms_txt | no |
| legible_history_share | 0,02 |
| agent_instruction_files | — |
| agent_instruction_max_bytes | — |
Cómo se puntúa
| 18/18 | Arranque con un solo comando — microyalla/Makefile, yalla/Makefile |
| 0/22 | Pruebas automatizadas |
| 0/11 | Configuración de lint / formato |
| 0/11 | Verificación estática de tipos |
| 0/10 | Entorno reproducible |
| 0/10 | Práctica demostrada con agentes — ningún commit con autoría de agente entre los últimos 100 |
| 0/8 | Mantenimiento automatizado — no se observan actualizaciones automáticas de dependencias |
| 0/10 | OpenSSF Scorecard: Pinned-Dependencies — sin datos |
Datos de entrada utilizados
| has_nix | no |
| has_tests | no |
| lockfiles | — |
| has_dockerfile | no |
| typed_language | no |
| bootstrap_files | microyalla/Makefile, yalla/Makefile |
| has_devcontainer | no |
| has_linter_config | no |
| typecheck_configs | — |
| agent_commit_share | 0 |
| toolchain_manifests | — |
| dependency_bot_commit_share | 0 |
Excluidos de la puntuación (sin datos o no aplicable): OpenSSF Scorecard: Pinned-Dependencies. Los pesos restantes se han renormalizado.
Cómo se puntúa
| 0/45 | Código verificable por tipos — Rocq Prover sin configuración de verificación de tipos |
| 0/55 | Tamaños de archivo manejables — no se detectaron archivos fuente |
Datos de entrada utilizados
| primary_language | Rocq Prover |
| largest_source_bytes | — |
| source_files_sampled | 0 |
| oversized_source_files | 0 |
Excluidos de la puntuación (sin datos o no aplicable): Tamaños de archivo manejables. Los pesos restantes se han renormalizado.
Datos clave
16estrellas de GitHub
2contribuidores
8commits en los últimos 12 meses
109días desde el último push
7versiones publicadas
1factor bus
0issues abiertas
—ecosistemas de paquetes
Advertencias de recopilación de datos
- 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
Más detalle
Historial de estrellas y forks 0 ★ / 5 ⇿
0Estrellas
5Forks
2Versiones
Cuándo se añadió cada estrella y fork, recopilado de GitHub y agrupado por día. El crecimiento acumulado se sitúa justo encima de las adiciones diarias que lo componen, de modo que ambos se leen en conjunto: la acumulación orgánica sostenida no se parece en nada a un pico abrupto y efímero. Cuando esa diferencia es medible, se informa como autenticidad del crecimiento.
Mayor 0Menor 0Parche 2
Cada punto abarca 3 días.
OpenSSF Scorecard 2.6 / 10
2.6agregado
Evaluación de seguridad independiente y agnóstica en cuanto a herramientas, procedente del proyecto de código abierto OpenSSF Scorecard. Cada comprobación premia una práctica de seguridad, no la herramienta de un proveedor concreto. Las comprobaciones que Scorecard no pudo determinar se marcan como n/d y se excluyen de la puntuación de seguridad (nunca se cuentan como cero).
| 10 | Binary-Artifacts | no binaries found in the repo |
| 0 | Branch-Protection | branch protection not enabled on development/release branches |
| n/d | 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 |
| n/d | 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 |
| n/d | Packaging | packaging workflow not detected |
| n/d | Pinned-Dependencies | no dependencies found |
| 0 | SAST | no SAST tool detected |
| 0 | Security-Policy | security policy file not detected |
| n/d | Signed-Releases | no releases found |
| n/d | Token-Permissions | No tokens found |
| 10 | Vulnerabilities | 0 existing vulnerabilities detected |
Todas las dependencias no recopilado
No fue posible recopilar el conjunto de dependencias resuelto para este informe: GitHub dependency-graph SBOM unavailable (404); the dependency graph may be disabled for this repository
Informe JSON sin procesar legible por máquina
{
"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"
}Las puntuaciones son señales, no garantías. Reflejan prácticas públicamente visibles en GitHub; no son una auditoría de código ni una garantía de seguridad.
Los datos ausentes se excluyen y los pesos se renormalizan; nunca se puntúan como cero. La metodología es versionada y abierta: métricas v2.3.1, esquema v0.27.0 — metodología completa · wiki de métricas.
Cómo se sitúa un resultado dentro del registro general: estadísticas agregadas.