Informe de salud del softwareesquema 0.26.0 · métricas 2.10.0 · 2026-07-22 20:06 UTC

pulseengine / synth

Synth — WebAssembly-to-native compiler for ARM Cortex-M/R (Thumb-2/A32), RISC-V RV32, and AArch64, with mechanized Rocq correctness proofs, per-compilation translation validation, and sound WCET bounds. Part of the PulseEngine toolchain.

Rust · PythonApache-2.0★ 2 estrellas⑂ 0 forksdesde nov 2025Ver en GitHub ↗

TipoBibliotecacómo se determina

#arm #compiler #embedded #formal-verification #webassembly #pulseengine #rust #aarch64 #riscv #wcet

pulseengine/synth tiene un índice de salud de 81 sobre 100, lo que lo sitúa en la banda Excelente. Su puntuación más alta es AI Readiness (91/100) y la más baja, Community & Adoption (39/100). Se actualizó por última vez hoy. Una sola persona concentra la mayor parte del trabajo reciente.

global / 100

Excelente

Í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.

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 69 se calibra a 81 en la escala publicada del índice (calibración del registro 2026-08-02).

Titularidad

pulseengineOrganización

13 seguidores46 repositorios públicosdesde may 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	@pulseengine/synth	0.49.0	3199	16	hace 5 días	webassembly wasm compiler arm cortex-m riscv aarch64 embedded bare-metal verified rocq coq rust cli

Métricas por categoría

Vitalidad

¿Está vivo el proyecto: se escribe código y se publican versiones?

87Excelente · 21% del índice global

Actividad de desarrollo

80Excelente

Cómo se puntúa

36/36	Recencia de push — último push hace 0 días
15.9/36	Cadencia de commits — 23/52 semanas con commits
18/18	Volumen de commits — 813 commits en el último año
10/10	OpenSSF Scorecard: Maintained — 30 commit(s) and 0 issue activity found in the last 90 days -- score normalized to 10

Datos de entrada utilizados

commits_last_year	813
human_commit_share	0,78
days_since_last_push	0
active_weeks_last_year	23

Disciplina de publicación

98Excepcional

Cómo se puntúa

27/27	Publica versiones — 100 versiones publicadas
36/36	Recencia de las versiones — última versión hace 5 días
27/27	Cadencia de publicación — una versión cada ~0,2 días
8/10	OpenSSF Scorecard: Signed-Releases — 5 out of the last 5 releases have a total of 5 signed artifacts.

Datos de entrada utilizados

releases_count	100
latest_release_tag	v0.49.0
releases_from_tags	no
days_since_latest_release	5
mean_days_between_releases	0,2

Comunidad y Adopción

¿Tiene el proyecto usuarios, descargas, atención y unas condiciones acogedoras para quienes contribuyen?

39Débil · 17% del índice global

Popularidad y adopción

1Crítico

Cómo se puntúa

0/60	Estrellas — 2 estrellas
0/25	Forks — 0 forks
0/15	Observadores — 0 observadores

Datos de entrada utilizados

forks	0
stars	2
watchers	0
growth_state	unverified
growth_factor_pct	100
growth_unverified_reason	no_history

Salud de la comunidad

70Bueno

Cómo se puntúa

22.5/22.5	README
22.5/22.5	Licencia — licencia reconocida (Apache-2.0)
18/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	sí
has_issue_template	no
has_code_of_conduct	no
readme_badge_services	—
has_pull_request_template	no

Adopción en el ecosistema (descargas)

58Moderado

Cómo se puntúa

46.7/80	Descargas mensuales — 3199 descargas/mes en npm
0/20	Dependientes en el registro — no lo informa este ecosistema

Datos de entrada utilizados

packages	@pulseengine/synth
dependents	—
ecosystems	npm
total_downloads	—
monthly_downloads	3199
unverified_packages_excluded	—

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?

64Moderado · 23% del índice global

Resiliencia de mantenedores (factor bus)

22En riesgo

Cómo se puntúa

9/54	Factor bus — la mitad de los commits recae en 1 contribuyente(s)
4.3/22.5	Distribución de commits — el principal contribuyente firma el 81% de los commits
2.7/13.5	Amplitud de contribuyentes — 2 contribuyentes
6/10	OpenSSF Scorecard: Contributors — project has 2 contributing companies or organizations -- score normalized to 6

Datos de entrada utilizados

bus_factor	1
contributors_sampled	2
top_contributor_share	0,811

Capacidad de respuesta a issues y PR

82Excelente

Cómo se puntúa

41.8/42	Resolución de issues — 100% de issues cerradas
29.6/30	Aceptación de PR — 626/634 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/16 approved changesets -- score normalized to 0

Datos de entrada utilizados

merged_prs	626
open_issues	1
closed_issues	206
prs_merged_7d	—
prs_decided_7d	—
prs_merged_30d	—
prs_decided_30d	—
issue_closed_ratio	0,995
closed_unmerged_prs	8
first_time_authors_30d	—
first_time_prs_merged_30d	—
first_time_prs_decided_30d	—

Excluidos de la puntuación (sin datos o no aplicable): Newcomer PR acceptance. Los pesos restantes se han renormalizado.

Propiedad y custodia

66Bueno

Cómo se puntúa

30/30	Respaldo de la propiedad — propiedad de una organización
0/20	Dominio verificado — el estado de dominio verificado no se leyó para esta organización
8.2/25	Alcance del propietario — 13 seguidores de pulseengine
14.5/25	Trayectoria — 46 repos públicos, cuenta de ~1 años

Datos de entrada utilizados

followers	13
owner_type	Organization
is_verified	—
owner_login	pulseengine
public_repos	46
account_age_days	424

Excluidos de la puntuación (sin datos o no aplicable): Dominio verificado. Los pesos restantes se han renormalizado.

Mantenimiento de paquetes

100Excepcional

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 — 16 versiones en el registro
20/20	No obsoleto — activo, ni obsoleto ni retirado

Datos de entrada utilizados

packages	@pulseengine/synth
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?

85Excelente · 19% del índice global

Prácticas de ingeniería

92Excelente

Cómo se puntúa

24/24	Flujos de trabajo de CI — 8 flujo(s) de trabajo
24/24	Pruebas presentes
16/16	Configuración de linter
9.6/9.6	Hooks de pre-commit
0/6.4	.editorconfig
18/20	OpenSSF Scorecard: CI-Tests — 27 out of 30 merged PRs checked by a CI test -- score normalized to 9

Datos de entrada utilizados

has_ci	sí
has_tests	sí
has_editorconfig	no
has_linter_config	sí
has_precommit_config	sí

Documentación

75Bueno

Cómo se puntúa

30/30	README
25/25	Directorio de documentación
0/15	Sitio de documentación / página del proyecto
10/10	Descripción del repositorio
10/10	Topics — 10 topics
0/10	Wiki

Datos de entrada utilizados

topics	arm, compiler, embedded, formal-verification, webassembly, pulseengine, rust, aarch64, riscv, wcet
has_wiki	no
homepage	—
docs_site	—
has_readme	sí
has_docs_dir	sí
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?

60Moderado · 16% del índice global

Postura de seguridad

60Moderado

Cómo se puntúa

0/7.5	Binary-Artifacts — binaries present in source code
0/7.5	Branch-Protection — sin datos
2.2/2.5	CI-Tests — 27 out of 30 merged PRs checked by a CI test -- score normalized to 9
0/2.5	CII-Best-Practices — no effort to earn an OpenSSF best practices badge detected
0/7.5	Code-Review — Found 0/16 approved changesets -- score normalized to 0
1.5/2.5	Contributors — project has 2 contributing companies or organizations -- score normalized to 6
10/10	Dangerous-Workflow — no dangerous workflow patterns detected
7.5/7.5	Dependency-Update-Tool — update tool detected
5/5	Fuzzing — project is fuzzed
2.5/2.5	Licencia — license file detected
7.5/7.5	Maintained — 30 commit(s) and 0 issue activity found in the last 90 days -- score normalized to 10
5/5	Packaging — packaging workflow detected
0/5	Pinned-Dependencies — dependency not pinned by hash detected -- score normalized to 0
0/5	SAST — SAST tool is not run on all commits -- score normalized to 0
5/5	Security-Policy — security policy file detected
6/7.5	Signed-Releases — 5 out of the last 5 releases have a total of 5 signed artifacts.
0/7.5	Token-Permissions — detected GitHub workflow tokens with excessive permissions
6/7.5	Vulnerabilities — 2 existing vulnerabilities detected

Datos de entrada utilizados

source	openssf_scorecard
checks_evaluated	17
scorecard_version	v5.5.0
checks_inconclusive	1
scorecard_aggregate	6

Excluidos de la puntuación (sin datos o no aplicable): Branch-Protection. 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.

91Excelente · 4% del índice global

Contexto y guía para agentes

85Excelente

Cómo se puntúa

45/45	Instrucciones para agentes — AGENTS.md, CLAUDE.md
0/15	Documentación legible por máquinas (llms.txt)
40/40	Historial de commits legible — 78 de 78 commits humanos declaran su intención (asunto estructurado o cuerpo explicativo)

Datos de entrada utilizados

has_llms_txt	no
llms_txt_url	—
legible_history_share	1
agent_instruction_files	AGENTS.md, CLAUDE.md
agent_instruction_max_bytes	16.657

Bucle de verificación (compilación / pruebas / verificación de tipos)

90Excelente

Cómo se puntúa

18/18	Arranque con un solo comando — coq/Makefile
22/22	Pruebas automatizadas
11/11	Configuración de lint / formato
11/11	Verificación estática de tipos — Rust (tipado estático)
10/10	Entorno reproducible — Nix, lockfile
10/10	Práctica demostrada con agentes — 76 de los últimos 100 commits con autoría o crédito de agente
8/8	Mantenimiento automatizado — 22 de los últimos 100 commits son actualizaciones automáticas de dependencias
0/10	OpenSSF Scorecard: Pinned-Dependencies — dependency not pinned by hash detected -- score normalized to 0

Datos de entrada utilizados

has_nix	sí
has_tests	sí
lockfiles	Cargo.lock
has_dockerfile	no
typed_language	sí
bootstrap_files	coq/Makefile
has_devcontainer	no
has_linter_config	sí
typecheck_configs	—
agent_commit_share	0,76
toolchain_manifests	Cargo.toml, crates/synth-abi/Cargo.toml, crates/synth-analysis/Cargo.toml, crates/synth-backend-aarch64/Cargo.toml, crates/synth-backend-awsm/Cargo.toml, crates/synth-backend-riscv/Cargo.toml, crates/synth-backend-wasker/Cargo.toml, crates/synth-backend/Cargo.toml, crates/synth-cfg/Cargo.toml, crates/synth-cli/Cargo.toml, crates/synth-core/Cargo.toml, crates/synth-frontend/Cargo.toml, crates/synth-memory/Cargo.toml, crates/synth-opt/Cargo.toml, crates/synth-qemu/Cargo.toml, crates/synth-synthesis/Cargo.toml, crates/synth-test/Cargo.toml, crates/synth-verify/Cargo.toml, crates/synth-wit/Cargo.toml, fuzz/Cargo.toml
dependency_bot_commit_share	0,22

Legibilidad del código para modelos

97Excepcional

Cómo se puntúa

45/45	Código verificable por tipos — Rust (tipado estático)
52.4/55	Tamaños de archivo manejables — 18/381 archivos fuente de más de 60 KB

Datos de entrada utilizados

primary_language	Rust
largest_source_bytes	1.201.434
source_files_sampled	381
oversized_source_files	18

Interfaces legibles por máquina

100Excepcional

Cómo se puntúa

0/40	Esquema de API (OpenAPI/GraphQL/proto) — no aplicable a este tipo de software
0/20	Servidor MCP — no aplicable a este tipo de software
40/40	Ejemplos ejecutables — examples

Datos de entrada utilizados

example_dirs	examples
has_mcp_signal	no
api_schema_files	—
interfaces_expected_of	—

Excluidos de la puntuación (sin datos o no aplicable): Esquema de API (OpenAPI/GraphQL/proto), Servidor MCP. Los pesos restantes se han renormalizado.

Datos clave

2estrellas de GitHub

2contribuidores

813commits en los últimos 12 meses

0días desde el último push

100versiones publicadas

1factor bus

1issues abiertas

crates.io, 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
deps.dev does not index npm:@pulseengine/synth@0.49.0; advisories assessed against the repository dependency graph instead

Más detalle

OpenSSF Scorecard 6.0 / 10

6.0agregado

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).Scorecard v5.5.0 · 2026-07-22 20:06 UTC

0	Binary-Artifacts	binaries present in source code
n/d	Branch-Protection	internal error: error during branchesHandler.setup: internal error: some github tokens can't read classic branch protection rules: https://github.com/ossf/scorecard-action/blob/main/docs/authentication/fine-grained-auth-token.md
9	CI-Tests	27 out of 30 merged PRs checked by a CI test -- score normalized to 9
0	CII-Best-Practices	no effort to earn an OpenSSF best practices badge detected
0	Code-Review	Found 0/16 approved changesets -- score normalized to 0
6	Contributors	project has 2 contributing companies or organizations -- score normalized to 6
10	Dangerous-Workflow	no dangerous workflow patterns detected
10	Dependency-Update-Tool	update tool detected
10	Fuzzing	project is fuzzed
10	License	license file detected
10	Maintained	30 commit(s) and 0 issue activity found in the last 90 days -- score normalized to 10
10	Packaging	packaging workflow detected
0	Pinned-Dependencies	dependency not pinned by hash detected -- score normalized to 0
0	SAST	SAST tool is not run on all commits -- score normalized to 0
10	Security-Policy	security policy file detected
8	Signed-Releases	5 out of the last 5 releases have a total of 5 signed artifacts.
0	Token-Permissions	detected GitHub workflow tokens with excessive permissions
8	Vulnerabilities	2 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

Comentarios

¿Algo no cuadra en este informe, o hay ideas que compartir? Mediciones erróneas, herramientas no detectadas, ideas, preguntas: todo es bienvenido. Cada mensaje se lee y recibe respuesta.

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.10.0, esquema v0.26.0 — metodología completa · wiki de métricas.

Cómo se sitúa un resultado dentro del registro general: estadísticas agregadas — npm.

Índice de salud del software

Perfil de puntuación

Titularidad

Ecosistemas de paquetes

Métricas por categoría

Datos clave

Advertencias de recopilación de datos

Más detalle

Comentarios

Registros relacionados