Registro públicoModerado
Informe de salud del softwareesquema 0.27.0 · métricas 1.13.0 · 2026-07-25 07:42 UTC
midspiral / LemmaScript
verification toolchain for TypeScript (Tech Preview)
midspiral/LemmaScript tiene un índice de salud de 58 sobre 100, lo que lo sitúa en la banda Moderado. Su puntuación más alta es Vitality (80/100) y la más baja, Community & Adoption (47/100). Se actualizó por última vez hace 1 día. Una sola persona concentra la mayor parte del trabajo reciente.
58
global / 100Índice de salud del software
Las métricas se agrupan en categorías ponderadas sobre una escala de 1 a 100. El resultado global parte de su media; cuando la evidencia pública activa la Política de Jurisdicciones de Alto Riesgo, la calificación se ajusta y recibe el límite 49 (En riesgo). Preparación para IA queda fuera.
58
Excelente85-100Ejemplar; cumple prácticamente todos los criterios evaluados
Bueno70-84Saludable; carencias menores
Moderado50-69Aceptable con carencias notables; se recomienda revisión
En riesgo30-49Debilidades significativas; su adopción exige cautela
Crítico1-29Problemas 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.
Titularidad
midspiralOrganización
26 seguidores35 repositorios públicosdesde oct 2025
Este repositorio está respaldado por una organización: una custodia compartida y responsable que puede sobrevivir a cualquier mantenedor individual.
Ecosistemas de paquetes
| Registro | Paquete | Versión | Descargas / mes | Versiones | Última publicación | Etiquetas |
|---|---|---|---|---|---|---|
| npm | lemmascript | 0.5.18 | 4607 | 27 | hace 5 días | lemmascriptverificationformal-verificationverifiedtypescriptlean4dafnyformal-methods |
Métricas por categoría
Vitalidad
¿Está vivo el proyecto: se escribe código y se publican versiones?
80
Actividad de desarrollo
75Bueno
Cómo se puntúa
| 36/36 | Recencia de push — último push hace 1 días |
| 11.1/36 | Cadencia de commits — 16/52 semanas con commits |
| 18/18 | Volumen de commits — 1018 commits en el último año |
| 10/10 | OpenSSF Scorecard: Maintained — 30 commit(s) and 2 issue activity found in the last 90 days -- score normalized to 10 |
Datos de entrada utilizados
| commits_last_year | 1018 |
| human_commit_share | 1 |
| days_since_last_push | 1 |
| active_weeks_last_year | 16 |
Disciplina de publicación
88Excelente
Cómo se puntúa
| 16.2/27 | Publica versiones — 8 etiquetas de versión (sin releases de GitHub) |
| 36/36 | Recencia de las versiones — última versión hace 5 días |
| 27/27 | Cadencia de publicación — una versión cada ~1,9 días |
| 0/10 | OpenSSF Scorecard: Signed-Releases — sin datos |
Datos de entrada utilizados
| releases_count | 8 |
| latest_release_tag | v0.5.18 |
| releases_from_tags | sí |
| days_since_latest_release | 5 |
| mean_days_between_releases | 1,9 |
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?
47
Popularidad y adopción
35En riesgo
Cómo se puntúa
| 30/60 | Estrellas — 72 estrellas |
| 5/25 | Forks — 5 forks |
| 0/15 | Observadores — 1 observadores |
Datos de entrada utilizados
| forks | 5 |
| stars | 72 |
| watchers | 1 |
| 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 (MIT) |
| 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í |
| has_contributing | no |
| has_issue_template | no |
| has_code_of_conduct | no |
| has_pull_request_template | no |
Adopción en el ecosistema (descargas)
61Moderado
Cómo se puntúa
| 48.8/80 | Descargas mensuales — 4607 descargas/mes en npm |
| 0/20 | Dependientes en el registro — no lo informa este ecosistema |
Datos de entrada utilizados
| packages | lemmascript |
| dependents | — |
| ecosystems | npm |
| total_downloads | — |
| monthly_downloads | 4607 |
Excluidos de la puntuación (sin datos o no aplicable): Dependientes en el registro. Los pesos restantes se han renormalizado.
Sostenibilidad y Gobernanza
¿Sobrevivirá el proyecto a sus personas: factor bus, capacidad de respuesta, quién lo respalda y mantenimiento del paquete?
56
Cómo se puntúa
| 9/54 | Factor bus — la mitad de los commits recae en 1 contribuyente(s) |
| 0.4/22.5 | Distribución de commits — el principal contribuyente firma el 98% de los commits |
| 4.1/13.5 | Amplitud de contribuyentes — 3 contribuyentes |
| 10/10 | OpenSSF Scorecard: Contributors — project has 7 contributing companies or organizations |
Datos de entrada utilizados
| bus_factor | 1 |
| contributors_sampled | 3 |
| top_contributor_share | 0,984 |
Capacidad de respuesta a issues y PR
61Moderado
Cómo se puntúa
| 23.4/46.8 | Resolución de issues — 50% de issues cerradas |
| 37.6/38.3 | Aceptación de PR — 167/170 PR decididos fusionados |
| 0/15 | OpenSSF Scorecard: Code-Review — Found 0/5 approved changesets -- score normalized to 0 |
Datos de entrada utilizados
| merged_prs | 167 |
| open_issues | 1 |
| closed_issues | 1 |
| issue_closed_ratio | 0,5 |
| closed_unmerged_prs | 3 |
Propiedad y custodia
53Moderado
Cómo se puntúa
| 30/30 | Respaldo de la propiedad — propiedad de una organización |
| 0/20 | Dominio verificado |
| 10.3/25 | Alcance del propietario — 26 seguidores de midspiral |
| 12.9/25 | Trayectoria — 35 repos públicos, cuenta de ~0 años |
Datos de entrada utilizados
| followers | 26 |
| owner_type | Organization |
| is_verified | — |
| owner_login | midspiral |
| public_repos | 35 |
| account_age_days | 289 |
Mantenimiento de paquetes
100Excelente
Cómo se puntúa
| 25/25 | Publicado y resoluble — 1 paquete(s) en npm |
| 35/35 | Recencia de publicación — última publicación hace 5 días |
| 20/20 | Historial de versiones — 27 versiones en el registro |
| 20/20 | No obsoleto — activo, ni obsoleto ni retirado |
Datos de entrada utilizados
| packages | lemmascript |
| ecosystems | npm |
| any_deprecated | no |
| min_days_since_publish | 5 |
Calidad de Ingeniería
¿Existen unas prácticas mínimas de ingeniería y documentación?
52
Prácticas de ingeniería
44En riesgo
Cómo se puntúa
| 24/24 | Flujos de trabajo de CI — 6 flujo(s) de trabajo |
| 0/24 | Pruebas presentes |
| 0/16 | Configuración de linter |
| 0/9.6 | Hooks de pre-commit |
| 0/6.4 | .editorconfig |
| 20/20 | OpenSSF Scorecard: CI-Tests — 1 out of 1 merged PRs checked by a CI test -- score normalized to 10 |
Datos de entrada utilizados
| has_ci | sí |
| has_tests | no |
| has_editorconfig | no |
| has_linter_config | no |
| has_precommit_config | no |
Documentación
65Moderado
Cómo se puntúa
| 30/30 | README |
| 0/25 | Directorio de documentación |
| 15/15 | Sitio de documentación / página del proyecto — https://lemmascript.org |
| 10/10 | Descripción del repositorio |
| 10/10 | Topics — 8 topics |
| 0/10 | Wiki |
Datos de entrada utilizados
| topics | dafny, lean, lean4, lemmascript, typescript, ai, llm, verification |
| has_wiki | no |
| homepage | https://lemmascript.org |
| 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?
49
Postura de seguridad
42En 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 |
| 2.5/2.5 | CI-Tests — 1 out of 1 merged PRs checked by a CI test -- score normalized to 10 |
| 0/2.5 | CII-Best-Practices — no effort to earn an OpenSSF best practices badge detected |
| 0/7.5 | Code-Review — Found 0/5 approved changesets -- score normalized to 0 |
| 2.5/2.5 | Contributors — project has 7 contributing companies or organizations |
| 10/10 | Dangerous-Workflow — no dangerous workflow patterns detected |
| 0/7.5 | Dependency-Update-Tool — no update tool detected |
| 0/5 | Fuzzing — project is not fuzzed |
| 2.5/2.5 | Licencia — license file detected |
| 7.5/7.5 | Maintained — 30 commit(s) and 2 issue activity found in the last 90 days -- score normalized to 10 |
| 5/5 | Packaging — packaging workflow detected |
| 3/5 | Pinned-Dependencies — dependency not pinned by hash detected -- score normalized to 6 |
| 0/5 | SAST — SAST tool is not run on all commits -- score normalized to 0 |
| 0/5 | Security-Policy — security policy file not detected |
| 0/7.5 | Signed-Releases — sin datos |
| 0/7.5 | Token-Permissions — detected GitHub workflow tokens with excessive permissions |
| 0/7.5 | Vulnerabilities — 16 existing vulnerabilities detected |
Datos de entrada utilizados
| source | openssf_scorecard |
| checks_evaluated | 17 |
| scorecard_version | v5.5.0 |
| checks_inconclusive | 1 |
| scorecard_aggregate | 4,2 |
Excluidos de la puntuación (sin datos o no aplicable): signed_releases. Los pesos restantes se han renormalizado.
Avisos de dependencias
77Bueno
Cómo se puntúa
| 35/35 | Dependencias directas libres de avisos conocidos — ninguna dependencia directa tiene un aviso conocido |
| 8.4/25 | Dependencias indirectas libres de avisos conocidos — 2 afectados: brace-expansion 2.1.2 (high 7.5), uuid 9.0.1 (high 7.5) |
| 33.7/40 | Sin avisos pendientes — 1 paquete(s) con avisos sin atender más allá de 90 días; el más antiguo publicado hace 93 días |
Datos de entrada utilizados
| source | osv |
| advisories | 2 |
| affected_packages | 2 |
| assessed_packages | 165 |
| unassessed_packages | 0 |
| affected_by_severity | high 2 |
| direct_affected_packages | 0 |
Se cotejó el cierre de dependencias en tiempo de ejecución de npm:lemmascript@0.5.18 —lo que arrastra la instalación del paquete publicado—: 165 paquetes. No se analiza la alcanzabilidad.
Preparación para IA
¿Hasta qué punto está el repositorio preparado para desarrollarse y mantenerse con agentes de codificación de IA? Es una insignia independiente y experimental — peso 0,0, de modo que se presenta por separado y no afecta a la puntuación de salud global.
56
Contexto y guía para agentes
70Bueno
Cómo se puntúa
| 45/45 | Instrucciones para agentes — AGENTS.md |
| 15/15 | Documentación legible por máquinas (llms.txt) — llms.txt presente |
| 10.1/40 | Historial de commits legible — 19 de 100 commits humanos declaran su intención (asunto estructurado o cuerpo explicativo) |
Datos de entrada utilizados
| has_llms_txt | sí |
| legible_history_share | 0,19 |
| agent_instruction_files | AGENTS.md |
| agent_instruction_max_bytes | 12.661 |
Cómo se puntúa
| 0/18 | Arranque con un solo comando |
| 0/22 | Pruebas automatizadas |
| 0/11 | Configuración de lint / formato |
| 11/11 | Verificación estática de tipos — examples/tsconfig.json, site/tsconfig.json, tools/tsconfig.json |
| 10/10 | Entorno reproducible — lockfile |
| 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 |
| 6/10 | OpenSSF Scorecard: Pinned-Dependencies — dependency not pinned by hash detected -- score normalized to 6 |
Datos de entrada utilizados
| has_nix | no |
| has_tests | no |
| lockfiles | package-lock.json |
| has_dockerfile | no |
| typed_language | sí |
| bootstrap_files | — |
| has_devcontainer | no |
| has_linter_config | no |
| typecheck_configs | examples/tsconfig.json, site/tsconfig.json, tools/tsconfig.json |
| agent_commit_share | 0 |
| toolchain_manifests | — |
| dependency_bot_commit_share | 0 |
Legibilidad del código para modelos
98Excelente
Cómo se puntúa
| 45/45 | Código verificable por tipos — TypeScript (tipado estático) |
| 52.5/55 | Tamaños de archivo manejables — 4/89 archivos fuente de más de 60 KB |
Datos de entrada utilizados
| primary_language | TypeScript |
| largest_source_bytes | 120.099 |
| source_files_sampled | 89 |
| oversized_source_files | 4 |
Interfaces legibles por máquina
60Moderado
Cómo se puntúa
| 0/40 | Esquema de API (OpenAPI/GraphQL/proto) |
| 20/20 | Servidor MCP |
| 40/40 | Ejemplos ejecutables — examples |
Datos de entrada utilizados
| example_dirs | examples |
| has_mcp_signal | sí |
| api_schema_files | — |
Datos clave
72estrellas de GitHub
3contribuidores
1018commits en los últimos 12 meses
1días desde el último push
8versiones publicadas
1factor bus
1issues abiertas
npmecosistemas 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
8Versiones
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 8
OpenSSF Scorecard 4.2 / 10
4.2agregado
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 |
| 10 | CI-Tests | 1 out of 1 merged PRs checked by a CI test -- score normalized to 10 |
| 0 | CII-Best-Practices | no effort to earn an OpenSSF best practices badge detected |
| 0 | Code-Review | Found 0/5 approved changesets -- score normalized to 0 |
| 10 | Contributors | project has 7 contributing companies or organizations |
| 10 | Dangerous-Workflow | no dangerous workflow patterns detected |
| 0 | Dependency-Update-Tool | no update tool detected |
| 0 | Fuzzing | project is not fuzzed |
| 10 | License | license file detected |
| 10 | Maintained | 30 commit(s) and 2 issue activity found in the last 90 days -- score normalized to 10 |
| 10 | Packaging | packaging workflow detected |
| 6 | Pinned-Dependencies | dependency not pinned by hash detected -- score normalized to 6 |
| 0 | SAST | SAST tool is not run on all commits -- score normalized to 0 |
| 0 | Security-Policy | security policy file not detected |
| n/d | Signed-Releases | no releases found |
| 0 | Token-Permissions | detected GitHub workflow tokens with excessive permissions |
| 0 | Vulnerabilities | 16 existing vulnerabilities detected |
Dependencias directas 8
| Registro | Paquete | Restricción de versión | Manifiesto |
|---|---|---|---|
| npm | lemmascript-claimcheck | ^0.2.0 | package.json |
| npm | ts-morph | ^25.0.0 | package.json |
| npm | @astrojs/starlight | ^0.39.2 | site/package.json |
| npm | @fontsource/dm-sans | ^5.2.8 | site/package.json |
| npm | @fontsource/jetbrains-mono | ^5.2.8 | site/package.json |
| npm | astro | ^6.3.7 | site/package.json |
| npm | sharp | ^0.34.5 | site/package.json |
| npm | ts-morph | ^25.0.0 | tools/package.json |
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
Avisos de dependencias 2
Instalar npm:lemmascript@0.5.18 arrastra 165 paquetes, directos y transitivos: 2 tienen avisos conocidos, de los cuales 0 son dependencias directas.
| Paquete | Versión | Relación | Gravedad | Avisos | Corregido en |
|---|---|---|---|---|---|
| brace-expansion | 2.1.2 | indirecta | alta | 1 | 5.0.8 |
| uuid | 9.0.1 | indirecta | alta | 1 | 13.0.1 |
Un aviso significa que la versión registrada en el grafo de dependencias cae dentro del rango afectado de un aviso. No se analiza la alcanzabilidad, y el grafo incluye fijaciones de desarrollo y prueba: un hallazgo puede referirse al utillaje y no al software distribuido.
Informe JSON sin procesar legible por máquina
{
"data": {
"repo": {
"topics": [
"dafny",
"lean",
"lean4",
"lemmascript",
"typescript",
"ai",
"llm",
"verification"
],
"is_fork": false,
"size_kb": 2001,
"has_wiki": false,
"homepage": "https://lemmascript.org",
"languages": {
"CSS": 2144,
"Lean": 19323,
"Astro": 8874,
"Shell": 1783,
"JavaScript": 24575,
"TypeScript": 595570
},
"pushed_at": "2026-07-24T03:34:18Z",
"created_at": "2026-03-30T00:18:56Z",
"owner_type": "Organization",
"updated_at": "2026-07-25T01:27:02Z",
"description": "verification toolchain for TypeScript (Tech Preview)",
"is_archived": false,
"is_disabled": false,
"license_spdx": "MIT",
"default_branch": "main",
"license_spdx_raw": "MIT",
"primary_language": "TypeScript",
"significant_languages": [
"TypeScript"
]
},
"owner": {
"blog": "https://midspiral.com",
"name": null,
"type": "Organization",
"login": "midspiral",
"company": null,
"location": null,
"followers": 26,
"avatar_url": "https://avatars.githubusercontent.com/u/236881061?v=4",
"created_at": "2025-10-08T17:57:26Z",
"is_verified": null,
"public_repos": 35,
"account_age_days": 289
},
"license": {
"state": "standard",
"spdx_id": "MIT",
"raw_spdx": "MIT",
"file_present": true,
"scorecard_found": true,
"profile_has_license": true
},
"activity": {
"releases": [
{
"tag": "v0.5.18",
"kind": "patch",
"published_at": "2026-07-19T10:31:32Z"
},
{
"tag": "v0.5.17",
"kind": "patch",
"published_at": "2026-07-16T19:10:20Z"
},
{
"tag": "v0.5.16",
"kind": "patch",
"published_at": "2026-07-11T16:39:24Z"
},
{
"tag": "v0.5.15",
"kind": "patch",
"published_at": "2026-07-11T11:33:02Z"
},
{
"tag": "v0.5.14",
"kind": "patch",
"published_at": "2026-07-10T19:56:02Z"
},
{
"tag": "v0.5.13",
"kind": "patch",
"published_at": "2026-07-08T19:14:03Z"
},
{
"tag": "v0.5.12",
"kind": "patch",
"published_at": "2026-07-06T03:21:09Z"
},
{
"tag": "v0.5.11",
"kind": "patch",
"published_at": "2026-07-06T01:10:12Z"
}
],
"recent_commits": [
{
"oid": "e7f35c609dd952bda27a351495191100ad341ed5",
"body": null,
"is_bot": false,
"headline": "setup for verify",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-24T02:47:01Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "687721a05eab5446f8faefa6afa6e4e660fd14ba",
"body": "Extract condition-facts, builtins, and typedecls as single sources of truth",
"is_bot": false,
"headline": "Merge pull request #179 from midspiral/cherry",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-23T17:37:02Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "783369ea33ee37c67ef10a1f9be229cf04d683a8",
"body": null,
"is_bot": false,
"headline": "minor",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-23T17:27:14Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "ae07b6f69dbbcbde705ffb27502362f7f3f1192f",
"body": null,
"is_bot": false,
"headline": "doc update",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-23T17:24:02Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "d04ee625cd676d8779075df3dc2e9dfce974f462",
"body": null,
"is_bot": false,
"headline": "example for pure guard",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-23T17:20:51Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "d370cd67df69a851f5d646db2c55957df42ea509",
"body": null,
"is_bot": false,
"headline": "Merge branch 'main' into cherry",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-23T17:01:58Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "8ed4792719aa868bd84ff39d50a8353b1c257b4a",
"body": null,
"is_bot": false,
"headline": "condense quota case study desc",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-23T17:01:28Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "9b52e12678e193f3b97997c1705893895a2f9b93",
"body": null,
"is_bot": false,
"headline": "some updates to minor npm design doc file",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-23T16:59:17Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "9849516bfda2a5f68002b19b77dc41a20793f499",
"body": null,
"is_bot": false,
"headline": "minor",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-23T16:52:07Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "4dc4c286c356ccc966dfff8859442db343f2549c",
"body": null,
"is_bot": false,
"headline": "explain pure",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-23T16:48:38Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "97e5c08a4aff8b3a98a5ce2e37af6432f5c4c5e6",
"body": null,
"is_bot": false,
"headline": "fix comment, now that pure is pure",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-23T16:37:03Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "3304f0a3ac85bc997abef95091a29b257898898e",
"body": null,
"is_bot": false,
"headline": "use actual purity annotations, for decisions in narrowing",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-23T16:34:32Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "d8695ac40d20ddfdef75a3cb2283f4b045d86eba",
"body": null,
"is_bot": false,
"headline": "dry for builtins",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-23T16:17:04Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "04d7988ac52e427bda0495ad65b4738cdef1d252",
"body": null,
"is_bot": false,
"headline": "real LOCs in table of §8.3",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-23T13:01:05Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "a904027f4ee0ff371d023909d5b6b8ec98aeb4ab",
"body": null,
"is_bot": false,
"headline": "status line for §5.2 related to typedecls",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-23T12:59:15Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "d5e0fb1eeea6518c93a4084ff172b728f66bf8d7",
"body": null,
"is_bot": false,
"headline": "drop stale ref",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-23T12:56:31Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "21353ee944223daf5d37c4b8f22efb0c10968aef",
"body": null,
"is_bot": false,
"headline": "drop stale comment",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-23T12:53:59Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "66808d5c411a96749ff7c53125c1c80c1befc6bf",
"body": null,
"is_bot": false,
"headline": "more cleanup: share falsy-type set, refresh condition-facts docs",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-23T12:48:55Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "13578c6b054a348cc96f8a43f59e25107a78248f",
"body": null,
"is_bot": false,
"headline": "cleanup, with extractConjunct and binder renames",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-23T12:43:30Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "1c46f76bf86ded190b59ac86b980f3bfc8555a50",
"body": null,
"is_bot": false,
"headline": "Merge branch 'main' into cherry",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-23T12:17:17Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "28c3cf9e91d146c77783b8c05f43536da87b2a07",
"body": null,
"is_bot": false,
"headline": "define sorted predicate in typescript instead of dafny/lean backends",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-22T14:30:03Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "404fbb8d6f0dcec83936c53a85d08a4a296be7c2",
"body": null,
"is_bot": false,
"headline": "condition facts",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-21T20:21:46Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "30e5d39103744718b7dd13b1f18929d96ade6c37",
"body": null,
"is_bot": false,
"headline": "update doc with deferred generic handling",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-21T17:39:02Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "4be061c6c44675b5b4383d6abec9dd567cd3941a",
"body": null,
"is_bot": false,
"headline": "type decls",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-21T17:21:49Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "ff662e32d84e12d653c5597bec04ace319c99407",
"body": null,
"is_bot": false,
"headline": "update doc status",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-21T17:03:20Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "8f1584d96a1c440fadf90994b050465ddd665a8f",
"body": null,
"is_bot": false,
"headline": "lean build",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-21T16:57:03Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "733e87943b86a6bcdc66427c5072c012d34e662b",
"body": null,
"is_bot": false,
"headline": "example for pinned registry",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-21T16:50:05Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "2e868048025ad8b026e61165d21e36c31599db0b",
"body": null,
"is_bot": false,
"headline": "minor, import once",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-21T16:40:24Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "c513abb2d434c5094ecb8eb3a038de5a201a830c",
"body": null,
"is_bot": false,
"headline": "builtins registry",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-21T16:31:16Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "81c1c0e92ed7542ef743dc1113eae32ba9b21483",
"body": null,
"is_bot": false,
"headline": "init design",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-21T15:16:48Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "9307dce1b1b140d3bc08f77d333beea00d2ed792",
"body": null,
"is_bot": false,
"headline": "llms txt",
"author_name": "Fernanda Graciolli",
"author_login": "graciolli-f",
"committed_at": "2026-07-20T12:51:14Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "52c434980aec7b1e987f672f013883be82433d4e",
"body": null,
"is_bot": false,
"headline": "allow crawlers + training on docs",
"author_name": "Fernanda Graciolli",
"author_login": "graciolli-f",
"committed_at": "2026-07-20T12:48:31Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "42ce69955cd62ab3876b74a7dbb32555da2789f9",
"body": null,
"is_bot": false,
"headline": "Merge branch 'main' of github.com:midspiral/LemmaScript",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-19T10:31:49Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "602dbcbbc9fa5043118de9c677efb72ea9547654",
"body": null,
"is_bot": false,
"headline": "0.5.18",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-19T10:31:32Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "3b1b2db7f100c81a26d7f3e3b33f9db3b857db38",
"body": null,
"is_bot": false,
"headline": "bump version",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-19T10:31:27Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "3aa6da739adc9214f4ad00fc4c9ac9f4c2adc722",
"body": "add discord",
"is_bot": false,
"headline": "Merge pull request #177 from midspiral/site",
"author_name": "Fernanda Graciolli",
"author_login": "graciolli-f",
"committed_at": "2026-07-18T00:29:07Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "4ac8baf71c1b9ee7ed521ab40de86ca06ebc67c9",
"body": null,
"is_bot": false,
"headline": "add discord",
"author_name": "Fernanda Graciolli",
"author_login": "graciolli-f",
"committed_at": "2026-07-18T00:21:14Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "460736608a4b259cd585de6f6b00dc9d33dd54ef",
"body": "mostly style changes + auto update version in docs",
"is_bot": false,
"headline": "Merge pull request #176 from midspiral/site",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-17T18:34:40Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "33e37144961fcf7138dad6dc886db1f6af1c0295",
"body": "deal with terminators uniformly in narrowing and resolve",
"is_bot": false,
"headline": "Merge pull request #175 from midspiral/terminator",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-17T18:33:59Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "33c62e1d545f8953f3d274bed451ebdfac618066",
"body": null,
"is_bot": false,
"headline": "mostly style changes + auto update version in docs",
"author_name": "Fernanda Graciolli",
"author_login": "graciolli-f",
"committed_at": "2026-07-17T18:27:45Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "95cb1373a8d96024fdad019fd2588301f73c06d3",
"body": null,
"is_bot": false,
"headline": "deal with terminators uniformly in narrowing and resolve",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-17T18:23:31Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "6da428534273f0c00a886e9b7ab422687ddfe50a",
"body": "Site",
"is_bot": false,
"headline": "Merge pull request #174 from midspiral/site",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-17T17:35:54Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "4939d76c262da8ba5a49404a3f438818910b4ea5",
"body": null,
"is_bot": false,
"headline": "update brownfield doc title",
"author_name": "Fernanda Graciolli",
"author_login": "graciolli-f",
"committed_at": "2026-07-17T17:17:49Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "3185a0c3d0f3560b89890bd4be85b10a88859c9a",
"body": null,
"is_bot": false,
"headline": "edits to docs to bring them up to date",
"author_name": "Fernanda Graciolli",
"author_login": "graciolli-f",
"committed_at": "2026-07-17T17:08:53Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "4297b5b9deb0abacd3e51eeb1458a3330578abf5",
"body": null,
"is_bot": false,
"headline": "update version in docs",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-17T16:19:21Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "65767acea98a19ed4bdec1310e8ae95a2df79d2a",
"body": null,
"is_bot": false,
"headline": "update stale info",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-17T15:55:36Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "f3e2904da699ffe6574b4b41f2ed7abf314a06a9",
"body": null,
"is_bot": false,
"headline": "rm section",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-17T15:44:33Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "c70e366799fda9243a90d71a1517419939ae0339",
"body": null,
"is_bot": false,
"headline": "minimal edits for runtime guard layer",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-17T12:19:05Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "361487fa33744c65fa0ac975cc44490721094aa4",
"body": null,
"is_bot": false,
"headline": "bump kit on each change",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-16T19:39:48Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "6bee8ea1867452e7e62342383a8adaa524d47d88",
"body": null,
"is_bot": false,
"headline": "0.5.17",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-16T19:10:20Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "08efca04df196b2d733f79d5c48e9e43738f8a0b",
"body": null,
"is_bot": false,
"headline": "add continuous integration section",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-16T18:58:50Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "46580e3d0f103acc368d87714d7d93076ec239c9",
"body": "… (#173)",
"is_bot": false,
"headline": "tweaks for Lean: order of decls need toposort, plus minor parentheses…",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-16T18:54:28Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "c2b27c147cf394a5eaad5d030f7a0e755c5feaae",
"body": "support for some with named function and reduce",
"is_bot": false,
"headline": "Merge pull request #172 from midspiral/some-reduce",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-16T17:56:45Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "fe067b249c10d57d902b5a2d87d259ec7d2b6ba5",
"body": null,
"is_bot": false,
"headline": "support for some with named function and reduce",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-16T17:26:57Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "55c58790a7fd1e7cdd09d6f2dd392e4cb84a355a",
"body": "better safe slice function",
"is_bot": false,
"headline": "Merge pull request #171 from midspiral/safe-slice",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-13T05:17:08Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "5cdbbd86dc49fd6993744ef716a526f62e84773b",
"body": null,
"is_bot": false,
"headline": "retrigger CI after update of opencode case study",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-13T05:07:30Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "caca31f9c106a0b1b632c5d05f4ec83414baa993",
"body": null,
"is_bot": false,
"headline": "better safe slice function",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-13T05:02:02Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "4580ce8326ae13f2bdb6906a4a7e6a6de78ec029",
"body": null,
"is_bot": false,
"headline": "zigzag example",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-12T01:16:07Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "d5fd59969d1a90a9fa72718a69e092eac5893c2e",
"body": null,
"is_bot": false,
"headline": "upgrade to vickrey auction",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-12T01:08:30Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "2c86b3b501164282098d0735b3aa30fe51aea151",
"body": "Generalize or narrow",
"is_bot": false,
"headline": "Merge pull request #169 from midspiral/gen-or-narrow",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-11T20:51:45Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "c9d47189f3a248bb2bbdf3a03ce3ff283f57df31",
"body": null,
"is_bot": false,
"headline": "auction example",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-11T20:38:57Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "47e0c0003e64837839cd78aba3ae90799bfa7844",
"body": "coerce truthy objects for cond",
"is_bot": false,
"headline": "Merge pull request #168 from midspiral/coerce-truthy-object",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-11T20:28:56Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "6237a07bd763094995aae03239822bc4a4c440b8",
"body": null,
"is_bot": false,
"headline": "generalize or narrowing",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-11T20:18:33Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "cfcd23c4445764bff38bd2c5e2ce253d01c0ad44",
"body": null,
"is_bot": false,
"headline": "coerce truthy objects for cond",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-11T20:17:55Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "0b288a84ac9a66ccb3729394540310d5b03dbc55",
"body": "more ops, and update docs",
"is_bot": false,
"headline": "Merge pull request #167 from midspiral/more-tweaks",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-11T19:18:19Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "634a3c7bec7717a47b12ef6ba4102e77dcf6d201",
"body": null,
"is_bot": false,
"headline": "more ops, and update docs",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-11T19:06:22Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "3560d7d504aa7e7d63d8f9972907e6476ead6a5d",
"body": "Tweaks",
"is_bot": false,
"headline": "Merge pull request #166 from midspiral/tweaks",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-11T18:38:14Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "65bf7a7727f2df06476d775c82acae3115beeab3",
"body": null,
"is_bot": false,
"headline": "missing case for truthy int",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-11T18:27:40Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "675ef98ef99ee95847d21e45ce2aa61410098e8d",
"body": null,
"is_bot": false,
"headline": "accept ; as well for interfaces",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-11T18:27:25Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "2545d72ed95708e6600a694f1485404ab987470c",
"body": null,
"is_bot": false,
"headline": "0.5.16",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-11T16:39:24Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "6198327195c02d264046b3251d8593f3412bcadf",
"body": null,
"is_bot": false,
"headline": "bump version in docs",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-11T16:39:17Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "2eef05b07c0912cfef1ccf99d4780f793fe238d3",
"body": null,
"is_bot": false,
"headline": "minor",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-11T15:20:12Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "3c22bdec7d6d93021c6e8710c089700f14ac1f23",
"body": null,
"is_bot": false,
"headline": "update flue case study desc",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-11T15:09:25Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "355c091c4161ee3f777c1fd3621a033e19e0b6ae",
"body": "truthy object",
"is_bot": false,
"headline": "Merge pull request #165 from midspiral/truthy-object",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-11T15:00:49Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "4ea96f11b3341320b455b45b45c11375b6a08097",
"body": null,
"is_bot": false,
"headline": "truthy object",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-11T14:51:19Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "7f2cfe60932244e6f16941c6ba36e399261a191c",
"body": null,
"is_bot": false,
"headline": "flue case study",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-11T14:30:40Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "42470537798e84e232d754c6ae4abf7445697b5a",
"body": "more cases in narrowing",
"is_bot": false,
"headline": "Merge pull request #164 from midspiral/narrow-more",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-11T14:17:48Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "f9904958c8c8f75b3d9ada34aeea668d269aa5c6",
"body": null,
"is_bot": false,
"headline": "more cases in narrowing",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-11T14:09:05Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "b495a9b438b7965adfb7583258b7b9caed26dbda",
"body": "shard check of dafny examples in CI",
"is_bot": false,
"headline": "Merge pull request #163 from midspiral/ci-shard-dafny",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-11T14:03:44Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "6f596115e9f3a9c1e7dece4471bb4ed496659062",
"body": null,
"is_bot": false,
"headline": "shard check of dafny examples in CI",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-11T13:55:30Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "d59e97f2ce5735ccc96ee9f8f0635620f8dec628",
"body": "cache dafny on ci",
"is_bot": false,
"headline": "Merge pull request #162 from midspiral/ci-cache-dafny",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-11T13:45:03Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "bff56b5792d306d908b43f2d2fd646f062fbe39e",
"body": null,
"is_bot": false,
"headline": "tweak to regen as used in CI, to avoid verifying twice",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-11T13:35:26Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "a0f8095273577a53aac2baa2c274ac2696ce7326",
"body": null,
"is_bot": false,
"headline": "cache dafny on ci",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-11T13:27:46Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "961b35a9bf6d33111c84dd1bd6d796000989fab2",
"body": "lift artificial limitations with continue",
"is_bot": false,
"headline": "Merge pull request #161 from midspiral/enable-continue",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-11T13:10:10Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "bae990c1b7b3c852d1a93ac886f910e0e1214902",
"body": null,
"is_bot": false,
"headline": "lift artificial limitations with continue",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-11T12:55:26Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "fa1d07343132a16402738771736de20f435eebd3",
"body": "heterogenuous tuples, when needed",
"is_bot": false,
"headline": "Merge pull request #160 from midspiral/hetero-tuples",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-11T12:32:13Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "98d4b7f0f843423f804dbb7629c485924d4569e7",
"body": null,
"is_bot": false,
"headline": "heterogenuous tuples, when needed",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-11T12:18:40Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "c71bfc689c23e333f1e7a1d56affdf3ce2d0c2f1",
"body": null,
"is_bot": false,
"headline": "0.5.15",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-11T11:33:02Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "ff8c179c8d3a69edfe6de51f3841e2f0bb2462ea",
"body": null,
"is_bot": false,
"headline": "bump version in docs",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-11T11:32:57Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "b9b1e2a8d9a96ef957d1ddac3df4e3b850d214d8",
"body": "reset lean module",
"is_bot": false,
"headline": "Merge pull request #159 from midspiral/reset-lean",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-11T03:52:27Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "4b25972068bdad92d78a79481d5d796940fad8a4",
"body": null,
"is_bot": false,
"headline": "Merge branch 'main' into reset-lean",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-11T03:32:42Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "abfff93ffe887150b8a9dad8c6615a0f1001096c",
"body": null,
"is_bot": false,
"headline": "sweep doc update",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-11T03:32:28Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "ac6670aa7f5b016e0e24958fa2f100e6bb83cc92",
"body": null,
"is_bot": false,
"headline": "reset lean module",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-11T03:16:02Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "f03cd382ad8db82995fdd7b1f8be378c72c6e20b",
"body": null,
"is_bot": false,
"headline": "npm-publish env",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-11T01:44:29Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "8eb337a4a342ec60018564962e18ff234bcf29be",
"body": "JS-accurate trim",
"is_bot": false,
"headline": "Merge pull request #158 from midspiral/trim",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-10T20:58:44Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "6367977fa697df84f717072e3ec393b423386cb6",
"body": null,
"is_bot": false,
"headline": "copy favicon from main website",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-10T20:56:55Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "09b35ddb186fb85a73c50643a27c0e8d5d55a7f1",
"body": null,
"is_bot": false,
"headline": "retrigger CI after updates of case studies",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-10T20:48:40Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "11e1b8b3c6a8ccbb6e8155c220e6892e23ec7108",
"body": null,
"is_bot": false,
"headline": "JS-accurate trim",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-10T20:39:04Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "65e2471aeca8a493a6489511d88bf8f9c545f600",
"body": null,
"is_bot": false,
"headline": "Merge branch 'field-size'",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-10T19:57:00Z",
"body_truncated": false,
"is_coding_agent": false
},
{
"oid": "c632171283492c74fe661bcc56ad4d8c4ae70e29",
"body": null,
"is_bot": false,
"headline": "0.5.14",
"author_name": "Nada Amin",
"author_login": "namin",
"committed_at": "2026-07-10T19:56:02Z",
"body_truncated": false,
"is_coding_agent": false
}
],
"releases_count": 8,
"commits_last_year": 1018,
"latest_release_at": "2026-07-19T10:31:32Z",
"latest_release_tag": "v0.5.18",
"releases_from_tags": true,
"days_since_last_push": 1,
"active_weeks_last_year": 16,
"days_since_latest_release": 5,
"mean_days_between_releases": 1.9
},
"community": {
"has_readme": true,
"has_license": true,
"has_description": true,
"has_contributing": false,
"health_percentage": 37,
"has_issue_template": false,
"has_code_of_conduct": false,
"has_pull_request_template": false
},
"ecosystem": {
"packages": [
{
"name": "lemmascript",
"exists": true,
"license": "MIT",
"keywords": [
"lemmascript",
"verification",
"formal-verification",
"verified",
"typescript",
"lean4",
"dafny",
"formal-methods"
],
"ecosystem": "npm",
"matches_repo": true,
"registry_url": "https://www.npmjs.com/package/lemmascript",
"is_deprecated": false,
"latest_version": "0.5.18",
"repository_url": "https://github.com/midspiral/LemmaScript",
"versions_count": 27,
"total_downloads": null,
"dependents_count": null,
"deprecation_note": null,
"maintainers_count": 2,
"monthly_downloads": 4607,
"first_published_at": "2026-04-01T19:55:18.946000Z",
"latest_published_at": "2026-07-19T10:32:26.135000Z",
"latest_version_yanked": null,
"days_since_latest_publish": 5
}
]
},
"popularity": {
"forks": 5,
"stars": 72,
"watchers": 1,
"fork_history": {
"days": [
{
"date": "2026-05-19",
"count": 2
},
{
"date": "2026-06-30",
"count": 1
},
{
"date": "2026-07-08",
"count": 1
},
{
"date": "2026-07-20",
"count": 1
}
],
"complete": true,
"collected": 5,
"total_forks": 5
},
"star_history": null,
"open_issues_and_prs": 8
},
"ai_readiness": {
"has_nix": false,
"example_dirs": [
"examples"
],
"has_llms_txt": true,
"has_dockerfile": false,
"has_mcp_signal": true,
"bootstrap_files": [],
"api_schema_files": [],
"has_devcontainer": false,
"typecheck_configs": [
"examples/tsconfig.json",
"site/tsconfig.json",
"tools/tsconfig.json"
],
"toolchain_manifests": [],
"largest_source_bytes": 120099,
"source_files_sampled": 89,
"oversized_source_files": 4,
"agent_instruction_files": [
"AGENTS.md"
],
"agent_instruction_max_bytes": 12661
},
"dependencies": {
"manifests": [
"package.json",
"site/package.json",
"tools/package.json"
],
"advisories": {
"error": null,
"scope": "published_package",
"source": "osv",
"findings": [
{
"name": "brace-expansion",
"direct": false,
"version": "2.1.2",
"severity": "high",
"ecosystem": "npm",
"cvss_score": 7.5,
"advisory_ids": [
"GHSA-mh99-v99m-4gvg"
],
"fixed_version": "5.0.8",
"advisory_count": 1,
"oldest_advisory_days": 0
},
{
"name": "uuid",
"direct": false,
"version": "9.0.1",
"severity": "high",
"ecosystem": "npm",
"cvss_score": 7.5,
"advisory_ids": [
"GHSA-w5hq-g745-h8pq"
],
"fixed_version": "13.0.1",
"advisory_count": 1,
"oldest_advisory_days": 93
}
],
"collected": true,
"malicious": [],
"truncated": false,
"by_severity": {
"high": 2
},
"advisory_count": 2,
"affected_count": 2,
"assessed_count": 165,
"malicious_count": 0,
"assessed_package": "npm:lemmascript@0.5.18",
"unassessed_count": 0,
"direct_affected_count": 0
},
"ecosystems": [
"npm"
],
"dependencies": [
{
"name": "lemmascript-claimcheck",
"manifest": "package.json",
"ecosystem": "npm",
"version_constraint": "^0.2.0"
},
{
"name": "ts-morph",
"manifest": "package.json",
"ecosystem": "npm",
"version_constraint": "^25.0.0"
},
{
"name": "@astrojs/starlight",
"manifest": "site/package.json",
"ecosystem": "npm",
"version_constraint": "^0.39.2"
},
{
"name": "@fontsource/dm-sans",
"manifest": "site/package.json",
"ecosystem": "npm",
"version_constraint": "^5.2.8"
},
{
"name": "@fontsource/jetbrains-mono",
"manifest": "site/package.json",
"ecosystem": "npm",
"version_constraint": "^5.2.8"
},
{
"name": "astro",
"manifest": "site/package.json",
"ecosystem": "npm",
"version_constraint": "^6.3.7"
},
{
"name": "sharp",
"manifest": "site/package.json",
"ecosystem": "npm",
"version_constraint": "^0.34.5"
},
{
"name": "ts-morph",
"manifest": "tools/package.json",
"ecosystem": "npm",
"version_constraint": "^25.0.0"
}
],
"all_dependencies": {
"error": "GitHub dependency-graph SBOM unavailable (404); the dependency graph may be disabled for this repository",
"source": null,
"packages": [],
"collected": false,
"truncated": false,
"total_count": null,
"direct_count": null,
"indirect_count": null
}
},
"maintainership": {
"issues": {
"open_prs": 7,
"merged_prs": 167,
"open_issues": 1,
"closed_ratio": 0.5,
"closed_issues": 1,
"closed_unmerged_prs": 3
},
"bus_factor": 1,
"bot_contributors": 0,
"top_contributors": [
{
"type": "User",
"login": "namin",
"commits": 1002,
"avatar_url": "https://avatars.githubusercontent.com/u/6441?v=4"
},
{
"type": "User",
"login": "graciolli-f",
"commits": 12,
"avatar_url": "https://avatars.githubusercontent.com/u/26588811?v=4"
},
{
"type": "User",
"login": "hath995",
"commits": 4,
"avatar_url": "https://avatars.githubusercontent.com/u/381037?v=4"
}
],
"contributors_sampled": 3,
"top_contributor_share": 0.984
},
"quality_signals": {
"has_ci": true,
"has_tests": false,
"ci_workflows": [
"ci.yml",
"kit-bump.yml",
"release-sync.yml",
"release.yml",
"site.yml",
"verify.yml"
],
"has_docs_dir": false,
"linter_configs": [],
"has_editorconfig": false,
"has_linter_config": false,
"has_precommit_config": false
},
"security_signals": {
"lockfiles": [
"package-lock.json"
],
"scorecard": {
"checks": [
{
"name": "Binary-Artifacts",
"score": 10,
"reason": "no binaries found in the repo",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#binary-artifacts"
},
{
"name": "Branch-Protection",
"score": 0,
"reason": "branch protection not enabled on development/release branches",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#branch-protection"
},
{
"name": "CI-Tests",
"score": 10,
"reason": "1 out of 1 merged PRs checked by a CI test -- score normalized to 10",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#ci-tests"
},
{
"name": "CII-Best-Practices",
"score": 0,
"reason": "no effort to earn an OpenSSF best practices badge detected",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#cii-best-practices"
},
{
"name": "Code-Review",
"score": 0,
"reason": "Found 0/5 approved changesets -- score normalized to 0",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#code-review"
},
{
"name": "Contributors",
"score": 10,
"reason": "project has 7 contributing companies or organizations",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#contributors"
},
{
"name": "Dangerous-Workflow",
"score": 10,
"reason": "no dangerous workflow patterns detected",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#dangerous-workflow"
},
{
"name": "Dependency-Update-Tool",
"score": 0,
"reason": "no update tool detected",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#dependency-update-tool"
},
{
"name": "Fuzzing",
"score": 0,
"reason": "project is not fuzzed",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#fuzzing"
},
{
"name": "License",
"score": 10,
"reason": "license file detected",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#license"
},
{
"name": "Maintained",
"score": 10,
"reason": "30 commit(s) and 2 issue activity found in the last 90 days -- score normalized to 10",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#maintained"
},
{
"name": "Packaging",
"score": 10,
"reason": "packaging workflow detected",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#packaging"
},
{
"name": "Pinned-Dependencies",
"score": 6,
"reason": "dependency not pinned by hash detected -- score normalized to 6",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#pinned-dependencies"
},
{
"name": "SAST",
"score": 0,
"reason": "SAST tool is not run on all commits -- score normalized to 0",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#sast"
},
{
"name": "Security-Policy",
"score": 0,
"reason": "security policy file not detected",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#security-policy"
},
{
"name": "Signed-Releases",
"score": null,
"reason": "no releases found",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#signed-releases"
},
{
"name": "Token-Permissions",
"score": 0,
"reason": "detected GitHub workflow tokens with excessive permissions",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#token-permissions"
},
{
"name": "Vulnerabilities",
"score": 0,
"reason": "16 existing vulnerabilities detected",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#vulnerabilities"
}
],
"commit": "e7f35c609dd952bda27a351495191100ad341ed5",
"ran_at": "2026-07-25T07:42:36Z",
"aggregate_score": 4.2,
"scorecard_version": "v5.5.0"
},
"has_codeql_workflow": false,
"has_security_policy": false,
"has_dependabot_config": false
},
"contribution_flow": {
"collected": true,
"ci_last_run_at": "2026-07-24T02:59:17Z",
"oldest_open_prs": [
{
"number": 69,
"created_at": "2026-05-16T18:00:22Z",
"last_comment_at": null,
"last_comment_author": null
},
{
"number": 78,
"created_at": "2026-05-19T13:56:20Z",
"last_comment_at": "2026-05-26T04:21:58Z",
"last_comment_author": "namin"
},
{
"number": 87,
"created_at": "2026-05-23T21:24:39Z",
"last_comment_at": null,
"last_comment_author": null
},
{
"number": 101,
"created_at": "2026-05-26T21:47:15Z",
"last_comment_at": "2026-05-27T10:50:18Z",
"last_comment_author": "hath995"
},
{
"number": 141,
"created_at": "2026-06-26T01:17:04Z",
"last_comment_at": null,
"last_comment_author": null
},
{
"number": 170,
"created_at": "2026-07-12T01:27:34Z",
"last_comment_at": null,
"last_comment_author": null
},
{
"number": 178,
"created_at": "2026-07-21T16:33:23Z",
"last_comment_at": null,
"last_comment_author": null
}
],
"last_merged_pr_at": "2026-07-23T17:37:02Z",
"ci_last_conclusion": "SUCCESS",
"oldest_open_issues": [
{
"number": 142,
"created_at": "2026-06-28T19:37:04Z",
"last_comment_at": "2026-06-28T20:42:31Z",
"last_comment_author": "graciolli-f"
}
]
}
},
"config": {
"disabled_metrics": [],
"disabled_categories": [],
"disabled_components": {}
},
"source": {
"url": "https://github.com/midspiral/LemmaScript",
"host": "github.com",
"name": "LemmaScript",
"owner": "midspiral"
},
"metrics": {
"overall": {
"key": "overall",
"band": "moderate",
"name": "Overall health",
"note": null,
"notes": [],
"value": 58,
"inputs": {
"security": 49,
"vitality": 80,
"community": 47,
"governance": 56,
"engineering": 52
},
"components": []
},
"categories": [
{
"key": "vitality",
"band": "good",
"name": "Vitality",
"value": 80,
"weight": 0.22,
"metrics": [
{
"key": "development_activity",
"band": "good",
"name": "Development activity",
"note": null,
"notes": [],
"value": 75,
"inputs": {
"commits_last_year": 1018,
"human_commit_share": 1,
"days_since_last_push": 1,
"active_weeks_last_year": 16
},
"components": [
{
"key": "push_recency",
"name": "Push recency",
"detail": "last push 1 days ago",
"points": 36,
"status": "met",
"details": [
{
"code": "push_recency",
"params": {
"days": 1
}
}
],
"max_points": 36
},
{
"key": "commit_cadence",
"name": "Commit cadence",
"detail": "16/52 weeks with commits",
"points": 11.1,
"status": "partial",
"details": [
{
"code": "commit_cadence_weeks",
"params": {
"weeks": 16
}
}
],
"max_points": 36
},
{
"key": "commit_volume",
"name": "Commit volume",
"detail": "1018 commits in the last year",
"points": 18,
"status": "met",
"details": [
{
"code": "commits_last_year",
"params": {
"count": 1018
}
}
],
"max_points": 18
},
{
"key": "openssf_scorecard_maintained",
"name": "OpenSSF Scorecard: Maintained",
"detail": "30 commit(s) and 2 issue activity found in the last 90 days -- score normalized to 10",
"points": 10,
"status": "met",
"details": [],
"max_points": 10
}
]
},
{
"key": "release_discipline",
"band": "excellent",
"name": "Release discipline",
"note": "Excluded from scoring (no data or not applicable): OpenSSF Scorecard: Signed-Releases. Remaining weights renormalized.",
"notes": [
{
"code": "excluded_no_data",
"params": {
"components": [
"openssf_scorecard_signed_releases"
]
}
},
{
"code": "weights_renormalized",
"params": {}
}
],
"value": 88,
"inputs": {
"releases_count": 8,
"latest_release_tag": "v0.5.18",
"releases_from_tags": true,
"days_since_latest_release": 5,
"mean_days_between_releases": 1.9
},
"components": [
{
"key": "ships_releases",
"name": "Ships releases",
"detail": "8 version tags (no GitHub releases)",
"points": 16.2,
"status": "partial",
"details": [
{
"code": "version_tags_no_releases",
"params": {
"count": 8
}
}
],
"max_points": 27
},
{
"key": "release_recency",
"name": "Release recency",
"detail": "latest release 5 days ago",
"points": 36,
"status": "met",
"details": [
{
"code": "release_recency",
"params": {
"days": 5
}
}
],
"max_points": 36
},
{
"key": "release_cadence",
"name": "Release cadence",
"detail": "a release every ~1.9 days",
"points": 27,
"status": "met",
"details": [
{
"code": "release_cadence",
"params": {
"gap": 1.9
}
}
],
"max_points": 27
},
{
"key": "openssf_scorecard_signed_releases",
"name": "OpenSSF Scorecard: Signed-Releases",
"detail": "no releases found",
"points": 0,
"status": "excluded",
"details": [
{
"code": "no_data",
"params": {}
}
],
"max_points": 10
}
]
},
{
"key": "abandonment",
"band": "excellent",
"name": "Abandonment",
"note": null,
"notes": [],
"value": 100,
"inputs": {
"cap": null,
"state": "unverified",
"guards": [],
"signals": [],
"red_flag": false,
"multiplier_pct": 100,
"declared_reason": null,
"unverified_reason": "repository_too_young",
"unanswered_open_prs": null,
"unanswered_open_issues": null,
"days_since_last_merged_pr": null,
"days_since_last_human_commit": null,
"days_since_last_human_commit_is_floor": false
},
"components": [
{
"key": "project_is_still_maintained",
"name": "Project is still maintained",
"detail": "maintenance record not established from the collected data",
"points": 100,
"status": "met",
"details": [
{
"code": "abandonment_unverified",
"params": {}
}
],
"max_points": 100
}
]
}
],
"description": "Is the project alive — is code being written and are releases shipping?"
},
{
"key": "community",
"band": "at_risk",
"name": "Community & Adoption",
"value": 47,
"weight": 0.18,
"metrics": [
{
"key": "popularity",
"band": "at_risk",
"name": "Popularity & adoption",
"note": null,
"notes": [],
"value": 35,
"inputs": {
"forks": 5,
"stars": 72,
"watchers": 1,
"growth_state": "unverified",
"growth_factor_pct": 100,
"growth_unverified_reason": "no_history"
},
"components": [
{
"key": "stars",
"name": "Stars",
"detail": "72 stars",
"points": 30,
"status": "partial",
"details": [
{
"code": "stars",
"params": {
"count": 72
}
}
],
"max_points": 60
},
{
"key": "forks",
"name": "Forks",
"detail": "5 forks",
"points": 5,
"status": "partial",
"details": [
{
"code": "forks",
"params": {
"count": 5
}
}
],
"max_points": 25
},
{
"key": "watchers",
"name": "Watchers",
"detail": "1 watchers",
"points": 0,
"status": "missed",
"details": [
{
"code": "watchers",
"params": {
"count": 1
}
}
],
"max_points": 15
}
]
},
{
"key": "community_health",
"band": "moderate",
"name": "Community health",
"note": null,
"notes": [],
"value": 50,
"inputs": {
"has_readme": true,
"has_license": true,
"has_contributing": false,
"has_issue_template": false,
"has_code_of_conduct": false,
"has_pull_request_template": false
},
"components": [
{
"key": "readme",
"name": "README",
"detail": null,
"points": 22.5,
"status": "met",
"details": [],
"max_points": 22.5
},
{
"key": "license",
"name": "License",
"detail": "recognized license (MIT)",
"points": 22.5,
"status": "met",
"details": [
{
"code": "license_standard",
"params": {}
},
{
"code": "license_spdx",
"params": {
"spdx": "MIT"
}
}
],
"max_points": 22.5
},
{
"key": "contributing_guide",
"name": "CONTRIBUTING guide",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 18
},
{
"key": "code_of_conduct",
"name": "Code of conduct",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 13.5
},
{
"key": "issue_template",
"name": "Issue template",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 7.2
},
{
"key": "pr_template",
"name": "PR template",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 6.3
}
]
},
{
"key": "ecosystem_adoption",
"band": "moderate",
"name": "Ecosystem adoption (downloads)",
"note": "Excluded from scoring (no data or not applicable): Registry dependents. Remaining weights renormalized.",
"notes": [
{
"code": "excluded_no_data",
"params": {
"components": [
"registry_dependents"
]
}
},
{
"code": "weights_renormalized",
"params": {}
}
],
"value": 61,
"inputs": {
"packages": [
"lemmascript"
],
"dependents": null,
"ecosystems": "npm",
"total_downloads": null,
"monthly_downloads": 4607
},
"components": [
{
"key": "monthly_downloads",
"name": "Monthly downloads",
"detail": "4,607 downloads/month across npm",
"points": 48.8,
"status": "partial",
"details": [
{
"code": "downloads_monthly",
"params": {
"count": 4607,
"ecosystems": "npm"
}
}
],
"max_points": 80
},
{
"key": "registry_dependents",
"name": "Registry dependents",
"detail": "not reported by this ecosystem",
"points": 0,
"status": "excluded",
"details": [
{
"code": "not_reported_by_this_ecosystem",
"params": {}
}
],
"max_points": 20
}
]
}
],
"description": "Does the project have users, downloads, attention, and a welcoming setup for contributors?"
},
{
"key": "governance",
"band": "moderate",
"name": "Sustainability & Governance",
"value": 56,
"weight": 0.24,
"metrics": [
{
"key": "maintainer_resilience",
"band": "critical",
"name": "Maintainer resilience (bus factor)",
"note": null,
"notes": [],
"value": 24,
"inputs": {
"bus_factor": 1,
"contributors_sampled": 3,
"top_contributor_share": 0.984
},
"components": [
{
"key": "bus_factor",
"name": "Bus factor",
"detail": "1 contributor(s) cover half of all commits",
"points": 9,
"status": "partial",
"details": [
{
"code": "bus_factor",
"params": {
"count": 1
}
}
],
"max_points": 54
},
{
"key": "commit_distribution",
"name": "Commit distribution",
"detail": "top contributor authored 98% of commits",
"points": 0.4,
"status": "partial",
"details": [
{
"code": "top_contributor_share",
"params": {
"share": 98
}
}
],
"max_points": 22.5
},
{
"key": "contributor_breadth",
"name": "Contributor breadth",
"detail": "3 contributors",
"points": 4.1,
"status": "partial",
"details": [
{
"code": "contributors_sampled",
"params": {
"count": 3
}
}
],
"max_points": 13.5
},
{
"key": "openssf_scorecard_contributors",
"name": "OpenSSF Scorecard: Contributors",
"detail": "project has 7 contributing companies or organizations",
"points": 10,
"status": "met",
"details": [],
"max_points": 10
}
]
},
{
"key": "responsiveness",
"band": "moderate",
"name": "Issue & PR responsiveness",
"note": null,
"notes": [],
"value": 61,
"inputs": {
"merged_prs": 167,
"open_issues": 1,
"closed_issues": 1,
"issue_closed_ratio": 0.5,
"closed_unmerged_prs": 3
},
"components": [
{
"key": "issue_resolution",
"name": "Issue resolution",
"detail": "50% of issues closed",
"points": 23.4,
"status": "partial",
"details": [
{
"code": "issues_closed_share",
"params": {
"share": 50
}
}
],
"max_points": 46.75
},
{
"key": "pr_acceptance",
"name": "PR acceptance",
"detail": "167/170 decided PRs merged",
"points": 37.6,
"status": "partial",
"details": [
{
"code": "decided_prs_merged",
"params": {
"merged": 167,
"decided": 170
}
}
],
"max_points": 38.25
},
{
"key": "openssf_scorecard_code_review",
"name": "OpenSSF Scorecard: Code-Review",
"detail": "Found 0/5 approved changesets -- score normalized to 0",
"points": 0,
"status": "missed",
"details": [],
"max_points": 15
}
]
},
{
"key": "stewardship",
"band": "moderate",
"name": "Ownership & stewardship",
"note": null,
"notes": [],
"value": 53,
"inputs": {
"followers": 26,
"owner_type": "Organization",
"is_verified": null,
"owner_login": "midspiral",
"public_repos": 35,
"account_age_days": 289
},
"components": [
{
"key": "ownership_backing",
"name": "Ownership backing",
"detail": "organization-owned",
"points": 30,
"status": "met",
"details": [
{
"code": "owner_organization",
"params": {}
}
],
"max_points": 30
},
{
"key": "verified_domain",
"name": "Verified domain",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 20
},
{
"key": "owner_reach",
"name": "Owner reach",
"detail": "26 followers of midspiral",
"points": 10.3,
"status": "partial",
"details": [
{
"code": "owner_followers",
"params": {
"count": 26,
"login": "midspiral"
}
}
],
"max_points": 25
},
{
"key": "track_record",
"name": "Track record",
"detail": "35 public repos, account ~0 yr old",
"points": 12.9,
"status": "partial",
"details": [
{
"code": "public_repos",
"params": {
"count": 35
}
},
{
"code": "account_age_years",
"params": {
"years": 0
}
}
],
"max_points": 25
}
]
},
{
"key": "package_maintenance",
"band": "excellent",
"name": "Package maintenance",
"note": null,
"notes": [],
"value": 100,
"inputs": {
"packages": [
"lemmascript"
],
"ecosystems": "npm",
"any_deprecated": false,
"min_days_since_publish": 5
},
"components": [
{
"key": "published_resolvable",
"name": "Published & resolvable",
"detail": "1 package(s) on npm",
"points": 25,
"status": "met",
"details": [
{
"code": "packages_published",
"params": {
"count": 1,
"ecosystems": "npm"
}
}
],
"max_points": 25
},
{
"key": "publish_recency",
"name": "Publish recency",
"detail": "latest publish 5 days ago",
"points": 35,
"status": "met",
"details": [
{
"code": "publish_recency",
"params": {
"days": 5
}
}
],
"max_points": 35
},
{
"key": "version_history",
"name": "Version history",
"detail": "27 published versions",
"points": 20,
"status": "met",
"details": [
{
"code": "published_versions",
"params": {
"count": 27
}
}
],
"max_points": 20
},
{
"key": "not_deprecated",
"name": "Not deprecated",
"detail": "active, not deprecated or yanked",
"points": 20,
"status": "met",
"details": [
{
"code": "package_not_deprecated",
"params": {}
}
],
"max_points": 20
}
]
}
],
"description": "Will the project survive its people — bus factor, responsiveness, who backs it, and package upkeep?"
},
{
"key": "engineering",
"band": "moderate",
"name": "Engineering Quality",
"value": 52,
"weight": 0.2,
"metrics": [
{
"key": "engineering_practices",
"band": "at_risk",
"name": "Engineering practices",
"note": null,
"notes": [],
"value": 44,
"inputs": {
"has_ci": true,
"has_tests": false,
"has_editorconfig": false,
"has_linter_config": false,
"has_precommit_config": false
},
"components": [
{
"key": "ci_workflows",
"name": "CI workflows",
"detail": "6 workflow(s)",
"points": 24,
"status": "met",
"details": [
{
"code": "ci_workflows",
"params": {
"count": 6
}
}
],
"max_points": 24
},
{
"key": "tests_present",
"name": "Tests present",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 24
},
{
"key": "linter_config",
"name": "Linter config",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 16
},
{
"key": "pre_commit_hooks",
"name": "Pre-commit hooks",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 9.6
},
{
"key": "editorconfig",
"name": ".editorconfig",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 6.4
},
{
"key": "openssf_scorecard_ci_tests",
"name": "OpenSSF Scorecard: CI-Tests",
"detail": "1 out of 1 merged PRs checked by a CI test -- score normalized to 10",
"points": 20,
"status": "met",
"details": [],
"max_points": 20
}
]
},
{
"key": "documentation",
"band": "moderate",
"name": "Documentation",
"note": null,
"notes": [],
"value": 65,
"inputs": {
"topics": [
"dafny",
"lean",
"lean4",
"lemmascript",
"typescript",
"ai",
"llm",
"verification"
],
"has_wiki": false,
"homepage": "https://lemmascript.org",
"has_readme": true,
"has_docs_dir": false,
"has_description": true
},
"components": [
{
"key": "readme",
"name": "README",
"detail": null,
"points": 30,
"status": "met",
"details": [],
"max_points": 30
},
{
"key": "documentation_directory",
"name": "Documentation directory",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 25
},
{
"key": "documentation_homepage_site",
"name": "Documentation / homepage site",
"detail": "https://lemmascript.org",
"points": 15,
"status": "met",
"details": [],
"max_points": 15
},
{
"key": "repository_description",
"name": "Repository description",
"detail": null,
"points": 10,
"status": "met",
"details": [],
"max_points": 10
},
{
"key": "topics",
"name": "Topics",
"detail": "8 topics",
"points": 10,
"status": "met",
"details": [
{
"code": "topics_count",
"params": {
"count": 8
}
}
],
"max_points": 10
},
{
"key": "wiki",
"name": "Wiki",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 10
}
]
}
],
"description": "Are baseline engineering and documentation practices in place?"
},
{
"key": "security",
"band": "at_risk",
"name": "Security",
"value": 49,
"weight": 0.16,
"metrics": [
{
"key": "security_posture",
"band": "at_risk",
"name": "Security posture",
"note": "Excluded from scoring (no data or not applicable): Signed-Releases. Remaining weights renormalized.",
"notes": [
{
"code": "excluded_no_data",
"params": {
"components": [
"signed_releases"
]
}
},
{
"code": "weights_renormalized",
"params": {}
}
],
"value": 42,
"inputs": {
"source": "openssf_scorecard",
"checks_evaluated": 17,
"scorecard_version": "v5.5.0",
"checks_inconclusive": 1,
"scorecard_aggregate": 4.2
},
"components": [
{
"key": "binary_artifacts",
"name": "Binary-Artifacts",
"detail": "no binaries found in the repo",
"points": 7.5,
"status": "met",
"details": [],
"max_points": 7.5
},
{
"key": "branch_protection",
"name": "Branch-Protection",
"detail": "branch protection not enabled on development/release branches",
"points": 0,
"status": "missed",
"details": [],
"max_points": 7.5
},
{
"key": "ci_tests",
"name": "CI-Tests",
"detail": "1 out of 1 merged PRs checked by a CI test -- score normalized to 10",
"points": 2.5,
"status": "met",
"details": [],
"max_points": 2.5
},
{
"key": "cii_best_practices",
"name": "CII-Best-Practices",
"detail": "no effort to earn an OpenSSF best practices badge detected",
"points": 0,
"status": "missed",
"details": [],
"max_points": 2.5
},
{
"key": "code_review",
"name": "Code-Review",
"detail": "Found 0/5 approved changesets -- score normalized to 0",
"points": 0,
"status": "missed",
"details": [],
"max_points": 7.5
},
{
"key": "contributors",
"name": "Contributors",
"detail": "project has 7 contributing companies or organizations",
"points": 2.5,
"status": "met",
"details": [],
"max_points": 2.5
},
{
"key": "dangerous_workflow",
"name": "Dangerous-Workflow",
"detail": "no dangerous workflow patterns detected",
"points": 10,
"status": "met",
"details": [],
"max_points": 10
},
{
"key": "dependency_update_tool",
"name": "Dependency-Update-Tool",
"detail": "no update tool detected",
"points": 0,
"status": "missed",
"details": [],
"max_points": 7.5
},
{
"key": "fuzzing",
"name": "Fuzzing",
"detail": "project is not fuzzed",
"points": 0,
"status": "missed",
"details": [],
"max_points": 5
},
{
"key": "license",
"name": "License",
"detail": "license file detected",
"points": 2.5,
"status": "met",
"details": [],
"max_points": 2.5
},
{
"key": "maintained",
"name": "Maintained",
"detail": "30 commit(s) and 2 issue activity found in the last 90 days -- score normalized to 10",
"points": 7.5,
"status": "met",
"details": [],
"max_points": 7.5
},
{
"key": "packaging",
"name": "Packaging",
"detail": "packaging workflow detected",
"points": 5,
"status": "met",
"details": [],
"max_points": 5
},
{
"key": "pinned_dependencies",
"name": "Pinned-Dependencies",
"detail": "dependency not pinned by hash detected -- score normalized to 6",
"points": 3,
"status": "partial",
"details": [],
"max_points": 5
},
{
"key": "sast",
"name": "SAST",
"detail": "SAST tool is not run on all commits -- score normalized to 0",
"points": 0,
"status": "missed",
"details": [],
"max_points": 5
},
{
"key": "security_policy",
"name": "Security-Policy",
"detail": "security policy file not detected",
"points": 0,
"status": "missed",
"details": [],
"max_points": 5
},
{
"key": "signed_releases",
"name": "Signed-Releases",
"detail": "no releases found",
"points": 0,
"status": "excluded",
"details": [
{
"code": "no_data",
"params": {}
}
],
"max_points": 7.5
},
{
"key": "token_permissions",
"name": "Token-Permissions",
"detail": "detected GitHub workflow tokens with excessive permissions",
"points": 0,
"status": "missed",
"details": [],
"max_points": 7.5
},
{
"key": "vulnerabilities",
"name": "Vulnerabilities",
"detail": "16 existing vulnerabilities detected",
"points": 0,
"status": "missed",
"details": [],
"max_points": 7.5
}
]
},
{
"key": "dependency_advisories",
"band": "good",
"name": "Dependency advisories",
"note": "Matched the npm:lemmascript@0.5.18 runtime dependency closure — what installing the published package pulls in — 165 packages. Reachability is not analyzed.",
"notes": [
{
"code": "advisories_scope_published",
"params": {
"package": "npm:lemmascript@0.5.18",
"assessed": 165
}
},
{
"code": "advisories_reachability",
"params": {}
}
],
"value": 77,
"inputs": {
"source": "osv",
"advisories": 2,
"affected_packages": 2,
"assessed_packages": 165,
"unassessed_packages": 0,
"affected_by_severity": "high 2",
"direct_affected_packages": 0
},
"components": [
{
"key": "direct_dependencies_free_of_known_advisories",
"name": "Direct dependencies free of known advisories",
"detail": "no direct dependency carries a known advisory",
"points": 35,
"status": "met",
"details": [
{
"code": "no_direct_advisories",
"params": {}
}
],
"max_points": 35
},
{
"key": "indirect_dependencies_free_of_known_advisories",
"name": "Indirect dependencies free of known advisories",
"detail": "2 affected: brace-expansion 2.1.2 (high 7.5), uuid 9.0.1 (high 7.5)",
"points": 8.4,
"status": "partial",
"details": [
{
"code": "advisories_affected",
"params": {
"count": 2,
"packages": "brace-expansion 2.1.2 (high 7.5), uuid 9.0.1 (high 7.5)"
}
}
],
"max_points": 25
},
{
"key": "no_advisories_left_outstanding",
"name": "No advisories left outstanding",
"detail": "1 advisory-carrying package(s) unaddressed past 90 days; oldest published 93 days ago",
"points": 33.7,
"status": "partial",
"details": [
{
"code": "advisories_stale",
"params": {
"days": 90,
"count": 1,
"oldest": 93
}
}
],
"max_points": 40
}
]
},
{
"key": "malicious_dependencies",
"band": "excellent",
"name": "Malicious dependencies",
"note": null,
"notes": [],
"value": 100,
"inputs": {
"source": "osv",
"meaning": "reported as a malicious package by the OpenSSF corpus; the remedy is removal or moving off the compromised name, never an upgrade of the same artifact. Versions the registry has since pulled are listed but not scored",
"packages": [],
"red_flag": false,
"assessed_packages": 165,
"malicious_packages": 0,
"direct_malicious_packages": 0,
"withdrawn_malicious_packages": 0,
"installable_malicious_packages": 0
},
"components": [
{
"key": "no_dependency_reported_as_a_malicious_package",
"name": "No dependency reported as a malicious package",
"detail": "no dependency is reported as a malicious package",
"points": 100,
"status": "met",
"details": [
{
"code": "no_malicious_dependencies",
"params": {}
}
],
"max_points": 100
}
]
},
{
"key": "high_risk_jurisdiction_exposure",
"band": "excellent",
"name": "High-Risk Jurisdiction Exposure",
"note": "Only high-confidence self-published location evidence affects this multiplier. Ambiguous matches are review-only; country evidence is not proof of nationality, citizenship, legal registration, malicious intent, or sanctions status.",
"notes": [
{
"code": "jurisdiction_evidence_limits",
"params": {}
}
],
"value": 100,
"inputs": {
"meaning": "self-published location evidence; not nationality or citizenship",
"red_flag": false,
"exposures": [],
"policy_countries": [
"Russia",
"Iran",
"North Korea"
],
"review_only_matches": 0,
"assessed_self_published_locations": 4
},
"components": [
{
"key": "policy_exposure_multiplier",
"name": "Policy exposure multiplier",
"detail": "no confirmed policy-scope location match",
"points": 100,
"status": "met",
"details": [
{
"code": "jurisdiction_no_match",
"params": {}
}
],
"max_points": 100
}
]
}
],
"description": "Are visible security and supply-chain practices strong, with no malicious dependency and no unresolved high-risk jurisdiction exposure?"
},
{
"key": "ai_readiness",
"band": "moderate",
"name": "AI Readiness",
"value": 56,
"weight": 0,
"metrics": [
{
"key": "ai_agent_context",
"band": "good",
"name": "Agent context & guidance",
"note": null,
"notes": [],
"value": 70,
"inputs": {
"has_llms_txt": true,
"legible_history_share": 0.19,
"agent_instruction_files": [
"AGENTS.md"
],
"agent_instruction_max_bytes": 12661
},
"components": [
{
"key": "agent_instructions",
"name": "Agent instructions",
"detail": "AGENTS.md",
"points": 45,
"status": "met",
"details": [
{
"code": "file_list",
"params": {
"files": "AGENTS.md"
}
}
],
"max_points": 45
},
{
"key": "machine_readable_docs_llms_txt",
"name": "Machine-readable docs (llms.txt)",
"detail": "llms.txt present",
"points": 15,
"status": "met",
"details": [
{
"code": "llms_txt_present",
"params": {}
}
],
"max_points": 15
},
{
"key": "legible_commit_history",
"name": "Legible commit history",
"detail": "19 of 100 human commits state their intent (structured subject or explanatory body)",
"points": 10.1,
"status": "partial",
"details": [
{
"code": "legible_history",
"params": {
"legible": 19,
"sampled": 100
}
}
],
"max_points": 40
}
]
},
{
"key": "ai_verify_loop",
"band": "critical",
"name": "Verify loop (build / test / typecheck)",
"note": null,
"notes": [],
"value": 27,
"inputs": {
"has_nix": false,
"has_tests": false,
"lockfiles": [
"package-lock.json"
],
"has_dockerfile": false,
"typed_language": true,
"bootstrap_files": [],
"has_devcontainer": false,
"has_linter_config": false,
"typecheck_configs": [
"examples/tsconfig.json",
"site/tsconfig.json",
"tools/tsconfig.json"
],
"agent_commit_share": 0,
"toolchain_manifests": [],
"dependency_bot_commit_share": 0
},
"components": [
{
"key": "one_command_bootstrap",
"name": "One-command bootstrap",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 18
},
{
"key": "automated_tests",
"name": "Automated tests",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 22
},
{
"key": "lint_format_config",
"name": "Lint / format config",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 11
},
{
"key": "static_type_checking",
"name": "Static type checking",
"detail": "examples/tsconfig.json, site/tsconfig.json, tools/tsconfig.json",
"points": 11,
"status": "met",
"details": [
{
"code": "file_list",
"params": {
"files": "examples/tsconfig.json, site/tsconfig.json, tools/tsconfig.json"
}
}
],
"max_points": 11
},
{
"key": "reproducible_environment",
"name": "Reproducible environment",
"detail": "lockfile",
"points": 10,
"status": "met",
"details": [
{
"code": "file_list",
"params": {
"files": "lockfile"
}
}
],
"max_points": 10
},
{
"key": "demonstrated_agent_practice",
"name": "Demonstrated agent practice",
"detail": "no agent-authored commits among the last 100",
"points": 0,
"status": "missed",
"details": [
{
"code": "no_agent_authored_commits",
"params": {
"sampled": 100
}
}
],
"max_points": 10
},
{
"key": "automated_maintenance",
"name": "Automated maintenance",
"detail": "no automated dependency updates observed",
"points": 0,
"status": "missed",
"details": [
{
"code": "no_dependency_automation",
"params": {}
}
],
"max_points": 8
},
{
"key": "openssf_scorecard_pinned_dependencies",
"name": "OpenSSF Scorecard: Pinned-Dependencies",
"detail": "dependency not pinned by hash detected -- score normalized to 6",
"points": 6,
"status": "partial",
"details": [],
"max_points": 10
}
]
},
{
"key": "ai_code_legibility",
"band": "excellent",
"name": "Code legibility for models",
"note": null,
"notes": [],
"value": 98,
"inputs": {
"primary_language": "TypeScript",
"largest_source_bytes": 120099,
"source_files_sampled": 89,
"oversized_source_files": 4
},
"components": [
{
"key": "type_checkable_code",
"name": "Type-checkable code",
"detail": "TypeScript (statically typed)",
"points": 45,
"status": "met",
"details": [
{
"code": "statically_typed_language",
"params": {
"language": "TypeScript"
}
}
],
"max_points": 45
},
{
"key": "manageable_file_sizes",
"name": "Manageable file sizes",
"detail": "4/89 source files over 60KB",
"points": 52.5,
"status": "partial",
"details": [
{
"code": "oversized_source_files",
"params": {
"kb": 60,
"sampled": 89,
"oversized": 4
}
}
],
"max_points": 55
}
]
},
{
"key": "ai_interfaces",
"band": "moderate",
"name": "Machine-readable interfaces",
"note": null,
"notes": [],
"value": 60,
"inputs": {
"example_dirs": [
"examples"
],
"has_mcp_signal": true,
"api_schema_files": []
},
"components": [
{
"key": "api_schema_openapi_graphql_proto",
"name": "API schema (OpenAPI/GraphQL/proto)",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 40
},
{
"key": "mcp_server",
"name": "MCP server",
"detail": null,
"points": 20,
"status": "met",
"details": [],
"max_points": 20
},
{
"key": "runnable_examples",
"name": "Runnable examples",
"detail": "examples",
"points": 40,
"status": "met",
"details": [
{
"code": "file_list",
"params": {
"files": "examples"
}
}
],
"max_points": 40
}
]
}
],
"description": "How well is the repo equipped to be developed and maintained with AI coding agents? An independent, experimental badge — weight 0.0, so it is surfaced on its own and does not affect the overall health score."
}
],
"metrics_version": "1.13.0"
},
"warnings": [
"Star history unavailable: GitHub GraphQL error: Resource not accessible by personal access token",
"GitHub dependency-graph SBOM unavailable (404); the dependency graph may be disabled for this repository"
],
"report_type": "repository",
"generated_at": "2026-07-25T07:42:50.145682Z",
"schema_version": "0.27.0",
"badge_url": "https://raw.githubusercontent.com/inspect-software/badges/main/v1/m/midspiral/LemmaScript.svg",
"full_name": "midspiral/LemmaScript",
"license_state": "standard",
"license_spdx": "MIT"
}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 v1.13.0, 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 — npm.