Informe de salud del softwareesquema 0.26.0 · métricas 1.13.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 ↗
#arm #compiler #embedded #formal-verification #webassembly #pulseengine #rust #aarch64 #riscv #wcet
pulseengine/synth tiene un índice de salud de 67 sobre 100, lo que lo sitúa en la banda Moderado. Su puntuación más alta es Vitality (87/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
Moderado
Í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.
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

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 · 22% del índice global
Actividad de desarrollo

80Bueno
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

98Excelente
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?
39En riesgo · 18% 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í
has_contributing	sí
has_issue_template	no
has_code_of_conduct	no
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
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?
61Moderado · 24% del índice global
Resiliencia de mantenedores (factor bus)

22Crítico
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

84Bueno
Cómo se puntúa
46.5/46.8	Resolución de issues — 100% de issues cerradas
37.8/38.3	Aceptación de PR — 626/634 PR decididos fusionados
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
issue_closed_ratio	0,995
closed_unmerged_prs	8
Propiedad y custodia

53Moderado
Cómo se puntúa
30/30	Respaldo de la propiedad — propiedad de una organización
0/20	Dominio verificado
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
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 — 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 · 20% 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	—
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? 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.
82Bueno · 0% 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
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

97Excelente
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

40En riesgo
Cómo se puntúa
0/40	Esquema de API (OpenAPI/GraphQL/proto)
0/20	Servidor MCP
40/40	Ejemplos ejecutables — examples
Datos de entrada utilizados
example_dirs	examples
has_mcp_signal	no
api_schema_files	—
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
{
  "data": {
    "repo": {
      "topics": [
        "arm",
        "compiler",
        "embedded",
        "formal-verification",
        "webassembly",
        "pulseengine",
        "rust",
        "aarch64",
        "riscv",
        "wcet"
      ],
      "is_fork": false,
      "size_kb": 8054,
      "has_wiki": false,
      "homepage": null,
      "languages": {
        "C": 13036,
        "Nix": 4864,
        "TeX": 35558,
        "Dune": 69,
        "Rust": 7331193,
        "Sail": 4194,
        "OCaml": 322267,
        "Shell": 102684,
        "Python": 1006392,
        "Assembly": 879,
        "Makefile": 2560,
        "Starlark": 62826,
        "JavaScript": 24446,
        "Go Template": 9497,
        "Rocq Prover": 598726,
        "WebAssembly": 364555,
        "Linker Script": 1864,
        "RobotFramework": 11908
      },
      "pushed_at": "2026-07-22T19:53:58Z",
      "created_at": "2025-11-16T19:57:17Z",
      "owner_type": "Organization",
      "updated_at": "2026-07-22T19:51:29Z",
      "description": "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.",
      "is_archived": false,
      "is_disabled": false,
      "license_spdx": "Apache-2.0",
      "default_branch": "main",
      "license_spdx_raw": "Apache-2.0",
      "primary_language": "Rust",
      "significant_languages": [
        "Rust",
        "Python"
      ]
    },
    "owner": {
      "blog": "pulseengine.eu",
      "name": null,
      "type": "Organization",
      "login": "pulseengine",
      "company": null,
      "location": "Germany",
      "followers": 13,
      "avatar_url": "https://avatars.githubusercontent.com/u/213124185?v=4",
      "created_at": "2025-05-23T20:54:38Z",
      "is_verified": null,
      "public_repos": 46,
      "account_age_days": 424
    },
    "license": {
      "state": "standard",
      "spdx_id": "Apache-2.0",
      "raw_spdx": "Apache-2.0",
      "file_present": true,
      "scorecard_found": true,
      "profile_has_license": true
    },
    "activity": {
      "releases": [
        {
          "tag": "v0.49.0",
          "kind": "minor",
          "published_at": "2026-07-17T15:25:11Z"
        },
        {
          "tag": "v0.48.0",
          "kind": "minor",
          "published_at": "2026-07-17T11:12:38Z"
        },
        {
          "tag": "v0.47.0",
          "kind": "minor",
          "published_at": "2026-07-17T05:37:09Z"
        },
        {
          "tag": "v0.46.1",
          "kind": "patch",
          "published_at": "2026-07-17T04:45:08Z"
        },
        {
          "tag": "v0.46.0",
          "kind": "minor",
          "published_at": "2026-07-16T22:42:48Z"
        },
        {
          "tag": "v0.45.2",
          "kind": "patch",
          "published_at": "2026-07-16T17:34:45Z"
        },
        {
          "tag": "v0.45.1",
          "kind": "patch",
          "published_at": "2026-07-16T09:14:01Z"
        },
        {
          "tag": "v0.45.0",
          "kind": "minor",
          "published_at": "2026-07-16T02:01:15Z"
        },
        {
          "tag": "v0.44.0",
          "kind": "minor",
          "published_at": "2026-07-15T19:23:46Z"
        },
        {
          "tag": "v0.43.1",
          "kind": "patch",
          "published_at": "2026-07-15T16:48:09Z"
        },
        {
          "tag": "v0.43.0",
          "kind": "minor",
          "published_at": "2026-07-15T13:34:21Z"
        },
        {
          "tag": "v0.42.0",
          "kind": "minor",
          "published_at": "2026-07-15T04:54:44Z"
        },
        {
          "tag": "v0.41.0",
          "kind": "minor",
          "published_at": "2026-07-11T15:53:43Z"
        },
        {
          "tag": "v0.40.0",
          "kind": "minor",
          "published_at": "2026-07-11T05:30:57Z"
        },
        {
          "tag": "v0.39.1",
          "kind": "patch",
          "published_at": "2026-07-10T23:38:28Z"
        },
        {
          "tag": "v0.39.0",
          "kind": "minor",
          "published_at": "2026-07-10T22:15:18Z"
        },
        {
          "tag": "v0.38.0",
          "kind": "minor",
          "published_at": "2026-07-10T18:10:33Z"
        },
        {
          "tag": "v0.37.1",
          "kind": "patch",
          "published_at": "2026-07-10T10:57:38Z"
        },
        {
          "tag": "v0.37.0",
          "kind": "minor",
          "published_at": "2026-07-08T22:32:50Z"
        },
        {
          "tag": "v0.36.0",
          "kind": "minor",
          "published_at": "2026-07-08T22:14:43Z"
        },
        {
          "tag": "v0.35.0",
          "kind": "minor",
          "published_at": "2026-07-08T19:58:55Z"
        },
        {
          "tag": "v0.34.0",
          "kind": "minor",
          "published_at": "2026-07-08T17:05:04Z"
        },
        {
          "tag": "v0.33.1",
          "kind": "patch",
          "published_at": "2026-07-08T14:08:49Z"
        },
        {
          "tag": "v0.33.0",
          "kind": "minor",
          "published_at": "2026-07-08T12:20:41Z"
        },
        {
          "tag": "v0.32.1",
          "kind": "patch",
          "published_at": "2026-07-08T05:26:38Z"
        },
        {
          "tag": "v0.32.0",
          "kind": "minor",
          "published_at": "2026-07-08T02:39:08Z"
        },
        {
          "tag": "v0.31.0",
          "kind": "minor",
          "published_at": "2026-07-08T00:54:08Z"
        },
        {
          "tag": "v0.30.2",
          "kind": "patch",
          "published_at": "2026-07-07T23:16:50Z"
        },
        {
          "tag": "v0.30.1",
          "kind": "patch",
          "published_at": "2026-07-03T17:46:16Z"
        },
        {
          "tag": "v0.29.0",
          "kind": "minor",
          "published_at": "2026-07-03T14:33:07Z"
        },
        {
          "tag": "v0.28.0",
          "kind": "minor",
          "published_at": "2026-07-03T10:18:08Z"
        },
        {
          "tag": "v0.27.0",
          "kind": "minor",
          "published_at": "2026-07-03T09:18:16Z"
        },
        {
          "tag": "v0.26.0",
          "kind": "minor",
          "published_at": "2026-07-03T01:52:22Z"
        },
        {
          "tag": "v0.25.0",
          "kind": "minor",
          "published_at": "2026-07-03T00:28:50Z"
        },
        {
          "tag": "v0.24.0",
          "kind": "minor",
          "published_at": "2026-07-02T20:53:19Z"
        },
        {
          "tag": "v0.23.0",
          "kind": "minor",
          "published_at": "2026-07-02T16:51:00Z"
        },
        {
          "tag": "v0.22.1",
          "kind": "patch",
          "published_at": "2026-07-02T12:49:14Z"
        },
        {
          "tag": "v0.22.0",
          "kind": "minor",
          "published_at": "2026-07-02T11:19:56Z"
        },
        {
          "tag": "v0.21.0",
          "kind": "minor",
          "published_at": "2026-07-02T08:50:44Z"
        },
        {
          "tag": "v0.20.0",
          "kind": "minor",
          "published_at": "2026-07-02T00:26:48Z"
        },
        {
          "tag": "v0.19.0",
          "kind": "minor",
          "published_at": "2026-07-01T21:50:03Z"
        },
        {
          "tag": "v0.18.1",
          "kind": "patch",
          "published_at": "2026-07-01T04:33:07Z"
        },
        {
          "tag": "v0.18.0",
          "kind": "minor",
          "published_at": "2026-06-30T20:32:29Z"
        },
        {
          "tag": "v0.17.0",
          "kind": "minor",
          "published_at": "2026-06-26T19:59:55Z"
        },
        {
          "tag": "v0.16.0",
          "kind": "minor",
          "published_at": "2026-06-26T05:42:42Z"
        },
        {
          "tag": "v0.15.1",
          "kind": "patch",
          "published_at": "2026-06-24T21:38:01Z"
        },
        {
          "tag": "v0.15.0",
          "kind": "minor",
          "published_at": "2026-06-24T17:01:32Z"
        },
        {
          "tag": "v0.14.0",
          "kind": "minor",
          "published_at": "2026-06-24T11:05:05Z"
        },
        {
          "tag": "v0.13.0",
          "kind": "minor",
          "published_at": "2026-06-24T04:28:01Z"
        },
        {
          "tag": "v0.12.0",
          "kind": "minor",
          "published_at": "2026-06-22T23:59:23Z"
        },
        {
          "tag": "v0.11.51",
          "kind": "patch",
          "published_at": "2026-06-22T08:48:28Z"
        },
        {
          "tag": "v0.11.50",
          "kind": "patch",
          "published_at": "2026-06-19T22:46:36Z"
        },
        {
          "tag": "v0.11.49",
          "kind": "patch",
          "published_at": "2026-06-19T10:55:09Z"
        },
        {
          "tag": "v0.11.48",
          "kind": "patch",
          "published_at": "2026-06-18T22:13:57Z"
        },
        {
          "tag": "v0.11.47",
          "kind": "patch",
          "published_at": "2026-06-18T05:17:12Z"
        },
        {
          "tag": "v0.11.46",
          "kind": "patch",
          "published_at": "2026-06-17T20:01:53Z"
        },
        {
          "tag": "v0.11.45",
          "kind": "patch",
          "published_at": "2026-06-14T18:03:59Z"
        },
        {
          "tag": "v0.11.44",
          "kind": "patch",
          "published_at": "2026-06-14T15:13:16Z"
        },
        {
          "tag": "v0.11.43",
          "kind": "patch",
          "published_at": "2026-06-14T09:43:33Z"
        },
        {
          "tag": "v0.11.42",
          "kind": "patch",
          "published_at": "2026-06-13T22:41:03Z"
        },
        {
          "tag": "v0.11.41",
          "kind": "patch",
          "published_at": "2026-06-13T17:18:10Z"
        },
        {
          "tag": "v0.11.40",
          "kind": "patch",
          "published_at": "2026-06-11T15:09:47Z"
        },
        {
          "tag": "v0.11.39",
          "kind": "patch",
          "published_at": "2026-06-11T12:09:47Z"
        },
        {
          "tag": "v0.11.38",
          "kind": "patch",
          "published_at": "2026-06-11T09:17:55Z"
        },
        {
          "tag": "v0.11.37",
          "kind": "patch",
          "published_at": "2026-06-11T02:34:04Z"
        },
        {
          "tag": "v0.11.36",
          "kind": "patch",
          "published_at": "2026-06-11T00:14:24Z"
        },
        {
          "tag": "v0.11.35",
          "kind": "patch",
          "published_at": "2026-06-09T20:48:37Z"
        },
        {
          "tag": "v0.11.34",
          "kind": "patch",
          "published_at": "2026-06-05T13:41:13Z"
        },
        {
          "tag": "v0.11.33",
          "kind": "patch",
          "published_at": "2026-06-05T12:47:09Z"
        },
        {
          "tag": "v0.11.32",
          "kind": "patch",
          "published_at": "2026-06-05T12:14:31Z"
        },
        {
          "tag": "v0.11.31",
          "kind": "patch",
          "published_at": "2026-06-05T05:21:38Z"
        },
        {
          "tag": "v0.11.30",
          "kind": "patch",
          "published_at": "2026-06-05T04:12:26Z"
        },
        {
          "tag": "v0.11.29",
          "kind": "patch",
          "published_at": "2026-06-04T15:53:29Z"
        },
        {
          "tag": "v0.11.28",
          "kind": "patch",
          "published_at": "2026-06-04T08:29:23Z"
        },
        {
          "tag": "v0.11.27",
          "kind": "patch",
          "published_at": "2026-06-03T13:12:26Z"
        },
        {
          "tag": "v0.11.26",
          "kind": "patch",
          "published_at": "2026-06-03T11:41:44Z"
        },
        {
          "tag": "v0.11.25",
          "kind": "patch",
          "published_at": "2026-06-03T10:13:28Z"
        },
        {
          "tag": "v0.11.24",
          "kind": "patch",
          "published_at": "2026-06-03T09:45:26Z"
        },
        {
          "tag": "v0.11.23",
          "kind": "patch",
          "published_at": "2026-06-03T07:55:23Z"
        },
        {
          "tag": "v0.11.22",
          "kind": "patch",
          "published_at": "2026-06-03T07:09:39Z"
        },
        {
          "tag": "v0.11.21",
          "kind": "patch",
          "published_at": "2026-06-03T05:44:26Z"
        },
        {
          "tag": "v0.11.20",
          "kind": "patch",
          "published_at": "2026-06-02T21:03:14Z"
        },
        {
          "tag": "v0.11.19",
          "kind": "patch",
          "published_at": "2026-06-02T19:47:09Z"
        },
        {
          "tag": "v0.11.18",
          "kind": "patch",
          "published_at": "2026-06-02T18:35:05Z"
        },
        {
          "tag": "v0.11.17",
          "kind": "patch",
          "published_at": "2026-06-02T18:13:44Z"
        },
        {
          "tag": "v0.11.16",
          "kind": "patch",
          "published_at": "2026-06-02T15:59:06Z"
        },
        {
          "tag": "v0.11.15",
          "kind": "patch",
          "published_at": "2026-06-01T23:08:18Z"
        },
        {
          "tag": "v0.11.14",
          "kind": "patch",
          "published_at": "2026-05-31T20:01:42Z"
        },
        {
          "tag": "v0.11.13",
          "kind": "patch",
          "published_at": "2026-05-31T17:31:20Z"
        },
        {
          "tag": "v0.11.12",
          "kind": "patch",
          "published_at": "2026-05-31T08:12:52Z"
        },
        {
          "tag": "v0.11.11",
          "kind": "patch",
          "published_at": "2026-05-30T21:53:40Z"
        },
        {
          "tag": "v0.11.10",
          "kind": "patch",
          "published_at": "2026-05-30T21:01:32Z"
        },
        {
          "tag": "v0.11.9",
          "kind": "patch",
          "published_at": "2026-05-30T15:17:04Z"
        },
        {
          "tag": "v0.11.8",
          "kind": "patch",
          "published_at": "2026-05-30T14:21:05Z"
        },
        {
          "tag": "v0.11.7",
          "kind": "patch",
          "published_at": "2026-05-30T12:47:50Z"
        },
        {
          "tag": "v0.11.6",
          "kind": "patch",
          "published_at": "2026-05-30T10:49:31Z"
        },
        {
          "tag": "v0.11.5",
          "kind": "patch",
          "published_at": "2026-05-30T09:57:26Z"
        },
        {
          "tag": "v0.11.4",
          "kind": "patch",
          "published_at": "2026-05-30T09:08:02Z"
        },
        {
          "tag": "v0.11.3",
          "kind": "patch",
          "published_at": "2026-05-30T05:27:42Z"
        },
        {
          "tag": "v0.11.2",
          "kind": "patch",
          "published_at": "2026-05-30T04:28:11Z"
        }
      ],
      "recent_commits": [
        {
          "oid": "88383e694b2eb571627b056ad0eef7861439290f",
          "body": "…(#839)\n\n* feat(#778): WCET phase-5 data-dependent masked-ceiling loop certificates\n\nExtend the --wcet-hints scry seam past const-trip/const-depth to a\nDATA-DEPENDENT masked bound (`i REL (x & K)`). The masked value is\nentry-independently bounded to [0, K] for ANY runtime x (x & K in [0,K]),\nso synt\n[…]\nops\n\nCo-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>\nClaude-Session: https://claude.ai/code/session_01YJK5LZZEkV5smCY1jKn18L\n\n---------\n\nCo-authored-by: Claude Opus 4.8 <noreply@anthropic.com>",
          "is_bot": false,
          "headline": "WCET phase 5 (#778): data-dependent masked-ceiling loop certificates …",
          "author_name": "Ralf Anton Beier",
          "author_login": "avrabe",
          "committed_at": "2026-07-22T19:50:46Z",
          "body_truncated": true,
          "is_coding_agent": true
        },
        {
          "oid": "59c543673a57b5e784d12950f79ae76abc55ae6a",
          "body": "* feat(aarch64): void-block control flow — block/br/br_if (#538, #242)\n\nLower forward VOID-result blocks with br/br_if to the aarch64 host-native\nbackend, the first control-flow construct in the #538 integer subset.\n\n- encoder: b (unconditional), cbnz, cbz — clang-verified ground truth.\n- selector: \n[…]\nk).\n\nCo-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>\nClaude-Session: https://claude.ai/code/session_01YJK5LZZEkV5smCY1jKn18L\n\n---------\n\nCo-authored-by: Claude Opus 4.8 <noreply@anthropic.com>",
          "is_bot": false,
          "headline": "feat(aarch64): void-block control flow — block/br/br_if (#538) (#842)",
          "author_name": "Ralf Anton Beier",
          "author_login": "avrabe",
          "committed_at": "2026-07-22T19:08:07Z",
          "body_truncated": true,
          "is_coding_agent": true
        },
        {
          "oid": "8ef4cbdfba5afbb58d2bbaabc798b42597758d50",
          "body": "…was havoc) (#844)\n\n* feat(verify): model i64.rem_u/rem_s with native BvTerm::Urem/bvsrem, add value+trap VC\n\nReplace the I64RemU/I64RemS HAVOC in arm_semantics with a real 64-bit\nremainder (native ordeal 0.12 BvTerm::Urem via BV::bvurem; signed via\nbvsrem). Compose the 64-bit operands from the pseu\n[…]\nut.\n\nCo-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>\nClaude-Session: https://claude.ai/code/session_01YJK5LZZEkV5smCY1jKn18L\n\n---------\n\nCo-authored-by: Claude Opus 4.8 <noreply@anthropic.com>",
          "is_bot": false,
          "headline": "feat(verify): model i64.rem_u/rem_s with native BvTerm::Urem/bvsrem (…",
          "author_name": "Ralf Anton Beier",
          "author_login": "avrabe",
          "committed_at": "2026-07-22T19:08:03Z",
          "body_truncated": true,
          "is_coding_agent": true
        },
        {
          "oid": "dc941345c8b0005cd22288d7349bcc9794939b97",
          "body": "…223/#232/#242) (#841)\n\n* feat(rv32): lower memory.size/memory.grow (VCR-SEL-005, #223/#242)\n\nRV32 selector now lowers memory.size (materialize fixed page count) and\nmemory.grow (fixed-memory -1). Share rewrite_memory_grow_zero into synth-core\nso grow(0) folds to size on BOTH backends (ARM+RV32) and\n[…]\nes.\n\nCo-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>\nClaude-Session: https://claude.ai/code/session_01YJK5LZZEkV5smCY1jKn18L\n\n---------\n\nCo-authored-by: Claude Opus 4.8 <noreply@anthropic.com>",
          "is_bot": false,
          "headline": "feat(rv32): close memory.size/memory.grow parity gaps (VCR-SEL-005, #…",
          "author_name": "Ralf Anton Beier",
          "author_login": "avrabe",
          "committed_at": "2026-07-22T19:07:59Z",
          "body_truncated": true,
          "is_coding_agent": true
        },
        {
          "oid": "56d66265217817acff9d53469125064bfdfba9f0",
          "body": "…#838)\n\nPatch/minor dep bumps were consuming the maintenance loop one at a time (each\nmerge moved main → staled the next → rebase → re-check — O(n^2) churn). Auto-merge\nthem: GitHub still requires every branch-protection gate to pass first, so a broken\nbump cannot land. MAJOR bumps of any dep are HE\n[…]\no.lock). Pulls\nthe v0.51 L6 dependabot-resilience governance forward.\n\n\nClaude-Session: https://claude.ai/code/session_01YJK5LZZEkV5smCY1jKn18L\n\nCo-authored-by: Claude Opus 4.8 <noreply@anthropic.com>",
          "is_bot": false,
          "headline": "ci: auto-merge patch/minor Dependabot bumps, hold majors for review (…",
          "author_name": "Ralf Anton Beier",
          "author_login": "avrabe",
          "committed_at": "2026-07-22T19:07:29Z",
          "body_truncated": true,
          "is_coding_agent": true
        },
        {
          "oid": "2414da2415bf55c506f893c2142680fedeab99d4",
          "body": "…, #242) (#843)\n\n* test(VCR-DEC-001): red-first probe — verify_allocation rejects same-colour-interfering assignment\n\nSettles the load-bearing acceptance-oracle claim for the SYNTH_GRAPH_ALLOC\ngraph-colouring spike: the allocator's own graph self-check\n(verify_allocation against the interference gra\n[…]\n01.\n\nCo-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>\nClaude-Session: https://claude.ai/code/session_01YJK5LZZEkV5smCY1jKn18L\n\n---------\n\nCo-authored-by: Claude Opus 4.8 <noreply@anthropic.com>",
          "is_bot": false,
          "headline": "VCR-DEC-001: whole-function graph-colouring allocator spike (flag-off…",
          "author_name": "Ralf Anton Beier",
          "author_login": "avrabe",
          "committed_at": "2026-07-22T19:07:15Z",
          "body_truncated": true,
          "is_coding_agent": true
        },
        {
          "oid": "5982d7a412e44a8a887ea6fa227c22e78df39d70",
          "body": "* fix(#837): lower frame-backing i64/f64 VALUE param across a call\n\nThe last uncovered #518 i64-param sub-case: a function whose signature\ncarries a 64-bit value param AND whose body makes a call loud-declined\n(\"an i64/f64 param in a frame-backing function ... is not yet lowered\")\nrather than loweri\n[…]\n242\n\nCo-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>\nClaude-Session: https://claude.ai/code/session_01YJK5LZZEkV5smCY1jKn18L\n\n---------\n\nCo-authored-by: Claude Opus 4.8 <noreply@anthropic.com>",
          "is_bot": false,
          "headline": "fix(#837): lower frame-backing i64/f64 VALUE param across a call (#840)",
          "author_name": "Ralf Anton Beier",
          "author_login": "avrabe",
          "committed_at": "2026-07-22T19:07:08Z",
          "body_truncated": true,
          "is_coding_agent": true
        },
        {
          "oid": "5542b2393361d3038b16b24252287dd388148c67",
          "body": "Bumps [bitflags](https://github.com/bitflags/bitflags) from 2.13.0 to 2.13.1.\n- [Release notes](https://github.com/bitflags/bitflags/releases)\n- [Changelog](https://github.com/bitflags/bitflags/blob/main/CHANGELOG.md)\n- [Commits](https://github.com/bitflags/bitflags/compare/2.13.0...2.13.1)\n\n---\nupd\n[…]\n-patch\n...\n\nSigned-off-by: dependabot[bot] <support@github.com>\nCo-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>\nCo-authored-by: Ralf Anton Beier <ralf_beier@me.com>",
          "is_bot": true,
          "headline": "chore(deps): bump bitflags from 2.13.0 to 2.13.1 (#831)",
          "author_name": "dependabot[bot]",
          "author_login": "dependabot[bot]",
          "committed_at": "2026-07-22T17:29:01Z",
          "body_truncated": true,
          "is_coding_agent": false
        },
        {
          "oid": "74dc1fbbab30e7edf942d08b70d1e50ddf4f8d52",
          "body": "Bumps [wast](https://github.com/bytecodealliance/wasm-tools) from 253.0.0 to 254.0.0.\n- [Release notes](https://github.com/bytecodealliance/wasm-tools/releases)\n- [Commits](https://github.com/bytecodealliance/wasm-tools/commits)\n\n---\nupdated-dependencies:\n- dependency-name: wast\n  dependency-version\n[…]\nirect:production\n  update-type: version-update:semver-major\n...\n\nSigned-off-by: dependabot[bot] <support@github.com>\nCo-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>",
          "is_bot": true,
          "headline": "chore(deps): bump wast from 253.0.0 to 254.0.0 (#826)",
          "author_name": "dependabot[bot]",
          "author_login": "dependabot[bot]",
          "committed_at": "2026-07-22T09:49:08Z",
          "body_truncated": true,
          "is_coding_agent": false
        },
        {
          "oid": "eeccf368685aefc27a73ee3039773e6985d9fe16",
          "body": "Bumps [wit-parser](https://github.com/bytecodealliance/wasm-tools) from 0.253.0 to 0.254.0.\n- [Release notes](https://github.com/bytecodealliance/wasm-tools/releases)\n- [Commits](https://github.com/bytecodealliance/wasm-tools/commits)\n\n---\nupdated-dependencies:\n- dependency-name: wit-parser\n  depend\n[…]\nirect:production\n  update-type: version-update:semver-minor\n...\n\nSigned-off-by: dependabot[bot] <support@github.com>\nCo-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>",
          "is_bot": true,
          "headline": "chore(deps): bump wit-parser from 0.253.0 to 0.254.0 (#832)",
          "author_name": "dependabot[bot]",
          "author_login": "dependabot[bot]",
          "committed_at": "2026-07-22T09:01:41Z",
          "body_truncated": true,
          "is_coding_agent": false
        },
        {
          "oid": "7ce274bbbbb8ae3c7ae648f128f763693db23367",
          "body": "Bumps [thiserror](https://github.com/dtolnay/thiserror) from 2.0.18 to 2.0.19.\n- [Release notes](https://github.com/dtolnay/thiserror/releases)\n- [Commits](https://github.com/dtolnay/thiserror/compare/2.0.18...2.0.19)\n\n---\nupdated-dependencies:\n- dependency-name: thiserror\n  dependency-version: 2.0.\n[…]\n-patch\n...\n\nSigned-off-by: dependabot[bot] <support@github.com>\nCo-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>\nCo-authored-by: Ralf Anton Beier <ralf_beier@me.com>",
          "is_bot": true,
          "headline": "chore(deps): bump thiserror from 2.0.18 to 2.0.19 (#829)",
          "author_name": "dependabot[bot]",
          "author_login": "dependabot[bot]",
          "committed_at": "2026-07-22T09:01:37Z",
          "body_truncated": true,
          "is_coding_agent": false
        },
        {
          "oid": "3a6db3b283cae436e4419c7a5d2715cefc67a2ab",
          "body": "Bumps [wat](https://github.com/bytecodealliance/wasm-tools) from 1.252.0 to 1.254.0.\n- [Release notes](https://github.com/bytecodealliance/wasm-tools/releases)\n- [Commits](https://github.com/bytecodealliance/wasm-tools/compare/v1.252.0...v1.254.0)\n\n---\nupdated-dependencies:\n- dependency-name: wat\n  \n[…]\nirect:production\n  update-type: version-update:semver-minor\n...\n\nSigned-off-by: dependabot[bot] <support@github.com>\nCo-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>",
          "is_bot": true,
          "headline": "chore(deps): bump wat from 1.252.0 to 1.254.0 (#835)",
          "author_name": "dependabot[bot]",
          "author_login": "dependabot[bot]",
          "committed_at": "2026-07-22T02:23:30Z",
          "body_truncated": true,
          "is_coding_agent": false
        },
        {
          "oid": "1bc98eb574cf108899285768aeeb62e88f6c0e12",
          "body": "…l 0.12 BvTerm::Urem (#836)\n\nMain was red and unbuildable from two dependabot-merge artifacts:\n\n1. Cargo.lock had a DUPLICATE `wasmparser 0.254.0` block (two [[package]]\n   entries, same version+checksum, differing only in the serde dep) — a 3-way\n   merge artifact cargo never produces, so the tree \n[…]\nfault AND z3-solver\nfeatures); fmt clean; frozen 10/10; claims 25/25.\n\n\nClaude-Session: https://claude.ai/code/session_01YJK5LZZEkV5smCY1jKn18L\n\nCo-authored-by: Claude Opus 4.8 <noreply@anthropic.com>",
          "is_bot": false,
          "headline": "fix(ci): repair red main — dedup Cargo.lock wasmparser + handle ordea…",
          "author_name": "Ralf Anton Beier",
          "author_login": "avrabe",
          "committed_at": "2026-07-22T02:20:54Z",
          "body_truncated": true,
          "is_coding_agent": true
        },
        {
          "oid": "f25eeb686a65bbf62b60dc2ab24f0e259c4339c6",
          "body": "Bumps [wit-component](https://github.com/bytecodealliance/wasm-tools) from 0.252.0 to 0.254.0.\n- [Release notes](https://github.com/bytecodealliance/wasm-tools/releases)\n- [Commits](https://github.com/bytecodealliance/wasm-tools/commits)\n\n---\nupdated-dependencies:\n- dependency-name: wit-component\n  \n[…]\nirect:production\n  update-type: version-update:semver-minor\n...\n\nSigned-off-by: dependabot[bot] <support@github.com>\nCo-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>",
          "is_bot": true,
          "headline": "chore(deps): bump wit-component from 0.252.0 to 0.254.0 (#834)",
          "author_name": "dependabot[bot]",
          "author_login": "dependabot[bot]",
          "committed_at": "2026-07-20T21:47:19Z",
          "body_truncated": true,
          "is_coding_agent": false
        },
        {
          "oid": "16995603fd7ba81b54948fe542a46ddb982eb90e",
          "body": "Bumps [serde_json](https://github.com/serde-rs/json) from 1.0.150 to 1.0.151.\n- [Release notes](https://github.com/serde-rs/json/releases)\n- [Commits](https://github.com/serde-rs/json/compare/v1.0.150...v1.0.151)\n\n---\nupdated-dependencies:\n- dependency-name: serde_json\n  dependency-version: 1.0.151\n\n[…]\nirect:production\n  update-type: version-update:semver-patch\n...\n\nSigned-off-by: dependabot[bot] <support@github.com>\nCo-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>",
          "is_bot": true,
          "headline": "chore(deps): bump serde_json from 1.0.150 to 1.0.151 (#833)",
          "author_name": "dependabot[bot]",
          "author_login": "dependabot[bot]",
          "committed_at": "2026-07-20T21:47:10Z",
          "body_truncated": true,
          "is_coding_agent": false
        },
        {
          "oid": "533ca45a42e39dfd48c3e429148c263aaa9d4e13",
          "body": "Bumps [anyhow](https://github.com/dtolnay/anyhow) from 1.0.103 to 1.0.104.\n- [Release notes](https://github.com/dtolnay/anyhow/releases)\n- [Commits](https://github.com/dtolnay/anyhow/compare/1.0.103...1.0.104)\n\n---\nupdated-dependencies:\n- dependency-name: anyhow\n  dependency-version: 1.0.104\n  depen\n[…]\nirect:production\n  update-type: version-update:semver-patch\n...\n\nSigned-off-by: dependabot[bot] <support@github.com>\nCo-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>",
          "is_bot": true,
          "headline": "chore(deps): bump anyhow from 1.0.103 to 1.0.104 (#830)",
          "author_name": "dependabot[bot]",
          "author_login": "dependabot[bot]",
          "committed_at": "2026-07-20T21:46:30Z",
          "body_truncated": true,
          "is_coding_agent": false
        },
        {
          "oid": "2bdccdad9830a5fd707e224ab667786e2e45ac6b",
          "body": "Bumps [scry-sai-core](https://github.com/pulseengine/scry) from 3.2.1 to 3.2.4.\n- [Release notes](https://github.com/pulseengine/scry/releases)\n- [Changelog](https://github.com/pulseengine/scry/blob/main/CHANGELOG.md)\n- [Commits](https://github.com/pulseengine/scry/compare/v3.2.1...v3.2.4)\n\n---\nupda\n[…]\nirect:production\n  update-type: version-update:semver-patch\n...\n\nSigned-off-by: dependabot[bot] <support@github.com>\nCo-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>",
          "is_bot": true,
          "headline": "chore(deps): bump scry-sai-core from 3.2.1 to 3.2.4 (#828)",
          "author_name": "dependabot[bot]",
          "author_login": "dependabot[bot]",
          "committed_at": "2026-07-20T21:46:07Z",
          "body_truncated": true,
          "is_coding_agent": false
        },
        {
          "oid": "8ea6512e2677a0c7554ac2a8c4f4b963fe257643",
          "body": "Bumps [wasmparser](https://github.com/bytecodealliance/wasm-tools) from 0.253.0 to 0.254.0.\n- [Release notes](https://github.com/bytecodealliance/wasm-tools/releases)\n- [Commits](https://github.com/bytecodealliance/wasm-tools/commits)\n\n---\nupdated-dependencies:\n- dependency-name: wasmparser\n  depend\n[…]\nirect:production\n  update-type: version-update:semver-minor\n...\n\nSigned-off-by: dependabot[bot] <support@github.com>\nCo-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>",
          "is_bot": true,
          "headline": "chore(deps): bump wasmparser from 0.253.0 to 0.254.0 (#827)",
          "author_name": "dependabot[bot]",
          "author_login": "dependabot[bot]",
          "committed_at": "2026-07-20T21:46:02Z",
          "body_truncated": true,
          "is_coding_agent": false
        },
        {
          "oid": "5cb5d335b0cc31f41065ed84281dfd927378178c",
          "body": "Bumps [ordeal](https://github.com/pulseengine/ordeal) from 0.9.1 to 0.12.0.\n- [Release notes](https://github.com/pulseengine/ordeal/releases)\n- [Changelog](https://github.com/pulseengine/ordeal/blob/main/CHANGELOG.md)\n- [Commits](https://github.com/pulseengine/ordeal/compare/v0.9.1...v0.12.0)\n\n---\nu\n[…]\nirect:production\n  update-type: version-update:semver-minor\n...\n\nSigned-off-by: dependabot[bot] <support@github.com>\nCo-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>",
          "is_bot": true,
          "headline": "chore(deps): bump ordeal from 0.9.1 to 0.12.0 (#825)",
          "author_name": "dependabot[bot]",
          "author_login": "dependabot[bot]",
          "committed_at": "2026-07-20T21:45:30Z",
          "body_truncated": true,
          "is_coding_agent": false
        },
        {
          "oid": "61acec997e8a0cb9e82a708aa8da98601512c0f8",
          "body": "Bumps [actions/setup-python](https://github.com/actions/setup-python) from 6 to 7.\n- [Release notes](https://github.com/actions/setup-python/releases)\n- [Commits](https://github.com/actions/setup-python/compare/v6...v7)\n\n---\nupdated-dependencies:\n- dependency-name: actions/setup-python\n  dependency-\n[…]\nirect:production\n  update-type: version-update:semver-major\n...\n\nSigned-off-by: dependabot[bot] <support@github.com>\nCo-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>",
          "is_bot": true,
          "headline": "chore(deps): bump actions/setup-python from 6 to 7 (#824)",
          "author_name": "dependabot[bot]",
          "author_login": "dependabot[bot]",
          "committed_at": "2026-07-20T21:45:23Z",
          "body_truncated": true,
          "is_coding_agent": false
        },
        {
          "oid": "6f111cffdd1b12e116e93e6d2e360033e9046849",
          "body": "Bumps [actions/setup-node](https://github.com/actions/setup-node) from 6 to 7.\n- [Release notes](https://github.com/actions/setup-node/releases)\n- [Commits](https://github.com/actions/setup-node/compare/v6...v7)\n\n---\nupdated-dependencies:\n- dependency-name: actions/setup-node\n  dependency-version: '\n[…]\nirect:production\n  update-type: version-update:semver-major\n...\n\nSigned-off-by: dependabot[bot] <support@github.com>\nCo-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>",
          "is_bot": true,
          "headline": "chore(deps): bump actions/setup-node from 6 to 7 (#823)",
          "author_name": "dependabot[bot]",
          "author_login": "dependabot[bot]",
          "committed_at": "2026-07-20T21:45:18Z",
          "body_truncated": true,
          "is_coding_agent": false
        },
        {
          "oid": "15c9bd838bffd0c8d5c5ed844f411b62672102a3",
          "body": "Bumps [pulseengine/rivet](https://github.com/pulseengine/rivet) from 0.26.0 to 0.28.0.\n- [Release notes](https://github.com/pulseengine/rivet/releases)\n- [Changelog](https://github.com/pulseengine/rivet/blob/main/CHANGELOG.md)\n- [Commits](https://github.com/pulseengine/rivet/compare/v0.26.0...v0.28.\n[…]\nirect:production\n  update-type: version-update:semver-minor\n...\n\nSigned-off-by: dependabot[bot] <support@github.com>\nCo-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>",
          "is_bot": true,
          "headline": "chore(deps): bump pulseengine/rivet from 0.26.0 to 0.28.0 (#822)",
          "author_name": "dependabot[bot]",
          "author_login": "dependabot[bot]",
          "committed_at": "2026-07-20T21:45:13Z",
          "body_truncated": true,
          "is_coding_agent": false
        },
        {
          "oid": "7b04efdbba8cd2d720433e1d921beefe266ad1e4",
          "body": "…gue of the ARM gate) (#821)",
          "is_bot": false,
          "headline": "feat(#815): VCR-RA-003 RV32 register-allocation validator (RV32 analo…",
          "author_name": "Ralf Anton Beier",
          "author_login": "avrabe",
          "committed_at": "2026-07-18T11:16:34Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "4256222ab9050a5c2b14bfebc6337284b88387a5",
          "body": "…str + executor-level refinement (#242) (#820)",
          "is_bot": false,
          "headline": "feat(vcr-wasm-001): wire i64 add/sub/mul/and/or/xor into exec_wasm_in…",
          "author_name": "Ralf Anton Beier",
          "author_login": "avrabe",
          "committed_at": "2026-07-18T11:11:24Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "67a3c4490db4b2c6ac8c64254c6ccaf6c218be74",
          "body": "…ub) (#818)\n\nWave 1 (real-module + soundness): #782 ARM32 i64 trunc_sat (falcon skip 4→0),\n#761 self-contained R9/linmem silent-alias fix (SOUNDNESS), WCET ph4 bounded\nrecursion (#778), #77 space-consistency + #80 async error-context.drop gate.\nWave 2 (verified core): VCR-RA-003 ph2 whole-function a\n[…]\n; status.json/FEATURE_MATRIX\nregenerated; 25/25 claims; frozen 10/10.\n\n\nClaude-Session: https://claude.ai/code/session_01YJK5LZZEkV5smCY1jKn18L\n\nCo-authored-by: Claude Opus 4.8 <noreply@anthropic.com>",
          "is_bot": false,
          "headline": "chore(release): v0.49.0 — phase-2 frontier + falcon to zero (7-lane h…",
          "author_name": "Ralf Anton Beier",
          "author_login": "avrabe",
          "committed_at": "2026-07-17T15:18:56Z",
          "body_truncated": true,
          "is_coding_agent": true
        },
        {
          "oid": "17f67514b964444100b87a915cc1d2463d72c103",
          "body": "… validation (whole-function) (#817)\n\n* feat(#242): VCR-RA-003 phase 2 — across-CALL + across-JOIN allocation validation\n\nExtend the unconditional per-compilation register-allocation validator past\nstraight-line to WHOLE-FUNCTION control flow:\n\n- Invariant 3 (across-CALL): a caller-saved reg R2/R3/R\n[…]\non.\n\nCo-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>\nClaude-Session: https://claude.ai/code/session_01YJK5LZZEkV5smCY1jKn18L\n\n---------\n\nCo-authored-by: Claude Opus 4.8 <noreply@anthropic.com>",
          "is_bot": false,
          "headline": "feat(#242): VCR-RA-003 phase 2 — across-CALL + across-JOIN allocation…",
          "author_name": "Ralf Anton Beier",
          "author_login": "avrabe",
          "committed_at": "2026-07-17T14:51:48Z",
          "body_truncated": true,
          "is_coding_agent": true
        },
        {
          "oid": "4997393c24976cafb8c26823d5a28536b91bc2fe",
          "body": "…urface 16 silent ARM/RV32 op-gaps (#242, #223, #232) (#816)\n\n* test(vcr-sel-005): universe-complete cross-backend op-parity gate (#242, #223, #232)\n\nUpgrade the curated 71-op parity oracle to a COMPILER-ENFORCED universe-complete\ngate. Every WasmOp variant is now assigned a ParityClass by a no-wild\n[…]\nve.\n\nCo-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>\nClaude-Session: https://claude.ai/code/session_01YJK5LZZEkV5smCY1jKn18L\n\n---------\n\nCo-authored-by: Claude Opus 4.8 <noreply@anthropic.com>",
          "is_bot": false,
          "headline": "test(vcr-sel-005): universe-complete cross-backend op-parity gate — s…",
          "author_name": "Ralf Anton Beier",
          "author_login": "avrabe",
          "committed_at": "2026-07-17T14:34:05Z",
          "body_truncated": true,
          "is_coding_agent": true
        },
        {
          "oid": "29d53d1538783c9acf66f466b0baa4d7f34fe253",
          "body": "…ed (#814)\n\nExtend the WasmCert-Coq refinement bridge (Track B, epic #242) to the i64\ninteger family, transcribed by hand from the SAME pinned coq9.0-wasm-2.2.0\nsources with line-level provenance, mirroring the i32 batch.\n\nWasmCertReference.v: i64 reference rules for add/sub/mul/and/or/xor/shl/\nshr_\n[…]\nivet\nSWVER-020 (verifies VCR-WASM-001). Frozen: no Rust/byte changes.\n\n\nClaude-Session: https://claude.ai/code/session_01YJK5LZZEkV5smCY1jKn18L\n\nCo-authored-by: Claude Opus 4.8 <noreply@anthropic.com>",
          "is_bot": false,
          "headline": "proof(#242): VCR-WASM-001 i64 transcription batch — 22 ops, 536→585 Q…",
          "author_name": "Ralf Anton Beier",
          "author_login": "avrabe",
          "committed_at": "2026-07-17T14:23:51Z",
          "body_truncated": true,
          "is_coding_agent": true
        },
        {
          "oid": "8cacaa3e213c2a5bab57d6a84efc7151e40da6bb",
          "body": "…contained --cortex-m alias (#811)\n\nThe self-contained --cortex-m startup placed the R9 globals table at\n`R11_base + memory_size` (0x2000_0000 + 64KB = 0x2001_0000), but the compiled\nfunctions address linear memory at `optimized_linmem_base` = R11 + 0x100 (the\n#687 gap). For `(memory 1)` a store to \n[…]\nt the frozen hashes cover; #649 boot oracle\nstays green) — no re-pin.\n\n\nClaude-Session: https://claude.ai/code/session_01YJK5LZZEkV5smCY1jKn18L\n\nCo-authored-by: Claude Opus 4.8 <noreply@anthropic.com>",
          "is_bot": false,
          "headline": "fix(#761): separate R9 globals base from linmem page — kill the self-…",
          "author_name": "Ralf Anton Beier",
          "author_login": "avrabe",
          "committed_at": "2026-07-17T13:53:31Z",
          "body_truncated": true,
          "is_coding_agent": true
        },
        {
          "oid": "2d22125fedb7feccd80fa9cd403bf36ebeef24a3",
          "body": "…h-hint (#813)\n\n* feat(#778/#49): WCET bounded self-recursion via a verified depth-hint\n\nConvert the phase-3 `recursion` decline for exactly the shape synth can prove\nsound: a SINGLE-self-call chain whose controlling value is entry-independently\nbounded by a mask (`m = param & K ∈ [0,K]`), decreasin\n[…]\n=0.\n\nCo-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>\nClaude-Session: https://claude.ai/code/session_01YJK5LZZEkV5smCY1jKn18L\n\n---------\n\nCo-authored-by: Claude Opus 4.8 <noreply@anthropic.com>",
          "is_bot": false,
          "headline": "feat(#778): WCET phase 4 — bounded self-recursion via a verified dept…",
          "author_name": "Ralf Anton Beier",
          "author_login": "avrabe",
          "committed_at": "2026-07-17T13:42:15Z",
          "body_truncated": true,
          "is_coding_agent": true
        },
        {
          "oid": "6c234f059661ce210e03b639d4839f110d202103",
          "body": "…falcon skip 4→0 (#812)\n\n* feat(#782): sound ARM32 i64 trunc_sat via branch-free FP word-decompose\n\nLower i64.trunc_sat_f32/f64_{s,u} on 32-bit ARM (select_with_stack path)\nas a trap-free, self-contained (no __aeabi link dep) register-pair\nconversion — the four forms previously LOUD-declined.\n\nAlgor\n[…]\n242\n\nCo-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>\nClaude-Session: https://claude.ai/code/session_01YJK5LZZEkV5smCY1jKn18L\n\n---------\n\nCo-authored-by: Claude Opus 4.8 <noreply@anthropic.com>",
          "is_bot": false,
          "headline": "feat(#782): sound ARM32 i64 trunc_sat via branch-free FP decompose — …",
          "author_name": "Ralf Anton Beier",
          "author_login": "avrabe",
          "committed_at": "2026-07-17T13:40:38Z",
          "body_truncated": true,
          "is_coding_agent": true
        },
        {
          "oid": "91d4bee5776c64d4270c999583416a36ad49e911",
          "body": "…context.drop lowering (#810)\n\n* feat(#77): platform space-consistency invariant (execution+memory space)\n\nFormalize the RAJA/Kokkos execution-space + memory-space choice as a CHECKED\nproperty, not a convention. New synth_memory::space model:\n\n- ExecutionSpace (BareMetal{core} | Hosted) + CortexM co\n[…]\nan.\n\nCo-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>\nClaude-Session: https://claude.ai/code/session_01YJK5LZZEkV5smCY1jKn18L\n\n---------\n\nCo-authored-by: Claude Opus 4.8 <noreply@anthropic.com>",
          "is_bot": false,
          "headline": "feat(#77,#80): platform space-consistency invariant + P3 async error-…",
          "author_name": "Ralf Anton Beier",
          "author_login": "avrabe",
          "committed_at": "2026-07-17T11:54:46Z",
          "body_truncated": true,
          "is_coding_agent": true
        },
        {
          "oid": "c8bf2d516b66339df4e75dbc0951b838bf06203d",
          "body": "… (#809)\n\nWave 1 (real-module + claim surface): #782a trunc_sat, #782b float select/return\n(+ i64-select hi-half miscompile + hard-float ABI hole, both fixed red-first),\n#798 RV32 data segments, docs claim-surface (status.json single-source + badges +\nstaleness gate). Wave 2 (verified core): VCR-RA-\n[…]\ntus.json/FEATURE_MATRIX regenerated;\n25/25 claims hold; frozen 10/10.\n\n\nClaude-Session: https://claude.ai/code/session_01YJK5LZZEkV5smCY1jKn18L\n\nCo-authored-by: Claude Opus 4.8 <noreply@anthropic.com>",
          "is_bot": false,
          "headline": "chore(release): v0.48.0 — real modules, verified allocator (8-PR hub)…",
          "author_name": "Ralf Anton Beier",
          "author_login": "avrabe",
          "committed_at": "2026-07-17T11:05:57Z",
          "body_truncated": true,
          "is_coding_agent": true
        },
        {
          "oid": "cec962f34ef344784b18b5d8a25aedcace147cd3",
          "body": "…ct call graph (#807)\n\n* feat(#778): WCET phase 3 — inter-procedural composition over the direct call graph\n\nConvert the per-function `call` decline into a SOUND composed bound. A caller\ncontaining a direct `BL func_N` to a LOCAL bounded callee is now bounded:\n\n    total(f) = own_cycles(f) + Σ_site \n[…]\nor.\n\nCo-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>\nClaude-Session: https://claude.ai/code/session_01YJK5LZZEkV5smCY1jKn18L\n\n---------\n\nCo-authored-by: Claude Opus 4.8 <noreply@anthropic.com>",
          "is_bot": false,
          "headline": "feat(#778): WCET phase 3 — inter-procedural composition over the dire…",
          "author_name": "Ralf Anton Beier",
          "author_login": "avrabe",
          "committed_at": "2026-07-17T10:22:57Z",
          "body_truncated": true,
          "is_coding_agent": true
        },
        {
          "oid": "2e15b354220b2452087dd7424c6b7972a07f151b",
          "body": "…ounded straight-line + spill/callee-saved) (#808)\n\n* feat(#242): VCR-RA-003 unconditional final register-allocation validator\n\nSingle-stream backward-dataflow checker (validate_final_allocation) run on\nevery ARM compile in the default --features riscv build (NOT verify-gated),\nhard-erroring the com\n[…]\npe.\n\nCo-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>\nClaude-Session: https://claude.ai/code/session_01YJK5LZZEkV5smCY1jKn18L\n\n---------\n\nCo-authored-by: Claude Opus 4.8 <noreply@anthropic.com>",
          "is_bot": false,
          "headline": "feat(#242): VCR-RA-003 unconditional register-allocation validator (b…",
          "author_name": "Ralf Anton Beier",
          "author_login": "avrabe",
          "committed_at": "2026-07-17T09:34:48Z",
          "body_truncated": true,
          "is_coding_agent": true
        },
        {
          "oid": "ca9c1303b1bf9c1e2d9c8de57839726fa76a40c3",
          "body": "…-pending on unfree CompCert) (#806)\n\n* feat(#242): land VCR-WASM-001 phase-3 extra-coq-package hook (dep-pending)\n\nGeneric extra-coq-package hook for rules_rocq_rust: a new\n`rocq.extra_coq_package(name=, attribute_path=)` tag pulls an arbitrary\ncoqPackages.<attr> from the pinned nixpkgs into the he\n[…]\nen.\n\nCo-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>\nClaude-Session: https://claude.ai/code/session_01YJK5LZZEkV5smCY1jKn18L\n\n---------\n\nCo-authored-by: Claude Opus 4.8 <noreply@anthropic.com>",
          "is_bot": false,
          "headline": "feat(#242): VCR-WASM-001 phase 3 — extra-coq-package hook landed (dep…",
          "author_name": "Ralf Anton Beier",
          "author_login": "avrabe",
          "committed_at": "2026-07-17T08:33:12Z",
          "body_truncated": true,
          "is_coding_agent": true
        },
        {
          "oid": "17d001d7a00fc78c2196be4833f31a2321833b72",
          "body": "…at ops (#805)\n\n#803 (trunc_sat, aarch64_selector_ops 99→107) and #804 (the generated\nartifacts) landed in sequence; #804's committed status.json/FEATURE_MATRIX\nsnapshotted the pre-#803 op count and merged textually-clean on top of #803,\nso the freshness gate went red on main (working as designed — \n[…]\n/25 claims\nhold. No behavior change; generated-artifact refresh only.\n\n\nClaude-Session: https://claude.ai/code/session_01YJK5LZZEkV5smCY1jKn18L\n\nCo-authored-by: Claude Opus 4.8 <noreply@anthropic.com>",
          "is_bot": false,
          "headline": "fix(claims): regenerate status.json + FEATURE_MATRIX for #803 trunc_s…",
          "author_name": "Ralf Anton Beier",
          "author_login": "avrabe",
          "committed_at": "2026-07-17T07:53:36Z",
          "body_truncated": true,
          "is_coding_agent": true
        },
        {
          "oid": "a724427cbe287a2555b7c6525035f3e71e1ea208",
          "body": "… badges, generated FEATURE_MATRIX, repo-metadata pin, README link tripwire, roadmap-doc deletion (#48-surface) (#804)\n\n* feat(claims): single machine-derived status.json + generated FEATURE_MATRIX + closed README link surface\n\n- scripts/claim_check.py: derive artifacts/status.json from claims.yaml\n\n[…]\novals\n\nCo-Authored-By: Claude Fable 5 <noreply@anthropic.com>\nClaude-Session: https://claude.ai/code/session_01YJK5LZZEkV5smCY1jKn18L\n\n---------\n\nCo-authored-by: Claude Fable 5 <noreply@anthropic.com>",
          "is_bot": false,
          "headline": "docs(claims): claim-surface extension — machine-derived status.json +…",
          "author_name": "Ralf Anton Beier",
          "author_login": "avrabe",
          "committed_at": "2026-07-17T07:34:14Z",
          "body_truncated": true,
          "is_coding_agent": true
        },
        {
          "oid": "25ee3d42937ee511797e55f948457607d6346157",
          "body": "…ting float→int (i32 forms on ARM32, all 8 on aarch64) (#803)\n\n* feat(#782a): un-drop the trunc_sat family — decoder + ARM32/aarch64 lowerings\n\nThe 8 nontrapping saturating float->int ops (0xFC prefix, WASM §4.3.2) now\ndecode. ARM32: i32-target forms lower as the bare saturating VCVT (round-\ntoward-\n[…]\nracle\n\nCo-Authored-By: Claude Fable 5 <noreply@anthropic.com>\nClaude-Session: https://claude.ai/code/session_01YJK5LZZEkV5smCY1jKn18L\n\n---------\n\nCo-authored-by: Claude Fable 5 <noreply@anthropic.com>",
          "is_bot": false,
          "headline": "feat(#782a): implement the WASM trunc_sat family — nontrapping satura…",
          "author_name": "Ralf Anton Beier",
          "author_login": "avrabe",
          "committed_at": "2026-07-17T07:30:25Z",
          "body_truncated": true,
          "is_coding_agent": true
        },
        {
          "oid": "172ef7a1d772024eeda5295f604ec750479ffa57",
          "body": "…ker placement + startup copy, read-back hard gate (#802)\n\n* test(#798): de-vacuate the control_step RV32 differential — linmem init from the SHIPPED .wasm_data records, not wasmtime's memory\n\nThe old harness copied wasmtime's instantiated memory image into unicorn,\nmasking the #798 silent initializ\n[…]\no fmt\n\nCo-Authored-By: Claude Fable 5 <noreply@anthropic.com>\nClaude-Session: https://claude.ai/code/session_01YJK5LZZEkV5smCY1jKn18L\n\n---------\n\nCo-authored-by: Claude Fable 5 <noreply@anthropic.com>",
          "is_bot": false,
          "headline": "feat(#798): RV32 active data segments SHIP — .wasm_data records + lin…",
          "author_name": "Ralf Anton Beier",
          "author_login": "avrabe",
          "committed_at": "2026-07-17T06:53:46Z",
          "body_truncated": true,
          "is_coding_agent": true
        },
        {
          "oid": "d9b0874520d0aede298ca80b366c32a4ed333588",
          "body": "…d f32' class is not pressure, it's the clamp idiom (+2 adversarial finds) (#801)\n\n* fix(#782b): float select + explicit float return — clear the 'integer popped f32' class\n\nThe 12-function 'GI-FPU-002: an integer operation popped an f32' class on\nfalcon's real fused core (incl. run-stabilization) i\n[…]\n; fmt\n\nCo-Authored-By: Claude Fable 5 <noreply@anthropic.com>\nClaude-Session: https://claude.ai/code/session_01YJK5LZZEkV5smCY1jKn18L\n\n---------\n\nCo-authored-by: Claude Fable 5 <noreply@anthropic.com>",
          "is_bot": false,
          "headline": "fix(#782b): float select + explicit float return — the 'integer poppe…",
          "author_name": "Ralf Anton Beier",
          "author_login": "avrabe",
          "committed_at": "2026-07-17T06:53:26Z",
          "body_truncated": true,
          "is_coding_agent": true
        },
        {
          "oid": "ac79fb3e49344558a55c4715194bed1b083a7c1c",
          "body": "* chore(release): v0.47.0 — close the loops (WCET ph2, aarch64 m4, #275 finale, VCR-VER-003 ph2, VCR-WASM ph2 536 Qed, #418 arena-bind)\n\nCo-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>\nClaude-Session: https://claude.ai/code/session_01YJK5LZZEkV5smCY1jKn18L\n\n* docs(release): v0.47.0 CHANGELOG\n[…]\n entries for m4/VCR-VER-003-ph2/VCR-WASM-ph2/#418, WCET refiled under Added\n\nCo-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>\n\n---------\n\nCo-authored-by: Claude Opus 4.8 <noreply@anthropic.com>",
          "is_bot": false,
          "headline": "chore(release): v0.47.0 — close the loops (#800)",
          "author_name": "Ralf Anton Beier",
          "author_login": "avrabe",
          "committed_at": "2026-07-17T05:29:28Z",
          "body_truncated": true,
          "is_coding_agent": true
        },
        {
          "oid": "2abb9ebbef180fdcf6443ded5e2d3dcecd3f723c",
          "body": "…M-image gate + RV32 coverage (#797)\n\n* feat(#777-ph2): span + dense-image static-data validators in synth-core\n\nVCR-VER-003 phase 2 core: validate_reloc_resolutions_spanned (conservative\nMAX_ACCESS_BYTES span per reloc against the EMITTED packed init blob, with\nthe documented unknown-width uncovere\n[…]\nbyte.\n\nCo-Authored-By: Claude Fable 5 <noreply@anthropic.com>\nClaude-Session: https://claude.ai/code/session_01YJK5LZZEkV5smCY1jKn18L\n\n---------\n\nCo-authored-by: Claude Fable 5 <noreply@anthropic.com>",
          "is_bot": false,
          "headline": "feat(#777): VCR-VER-003 phase 2 — span validation + self-contained RO…",
          "author_name": "Ralf Anton Beier",
          "author_login": "avrabe",
          "committed_at": "2026-07-17T05:10:49Z",
          "body_truncated": true,
          "is_coding_agent": true
        },
        {
          "oid": "a5a0fc329692637bf13a33aa95a357f76d30009e",
          "body": "…ssolve — synthesized in-module arena allocator (#799)\n\n* test(#418): red-first execution differential — self-contained arena-import dissolve vs wasmtime host arena\n\nThe fixture is the wit-bindgen cabi-realloc-extern / meld-dissolve shape\n(exported cabi_realloc routing to env::__cabi_arena_realloc, \n[…]\nre it\n\nCo-Authored-By: Claude Fable 5 <noreply@anthropic.com>\nClaude-Session: https://claude.ai/code/session_01YJK5LZZEkV5smCY1jKn18L\n\n---------\n\nCo-authored-by: Claude Fable 5 <noreply@anthropic.com>",
          "is_bot": false,
          "headline": "feat(#418): bind cabi-arena-realloc natively on the self-contained di…",
          "author_name": "Ralf Anton Beier",
          "author_login": "avrabe",
          "committed_at": "2026-07-17T05:10:10Z",
          "body_truncated": true,
          "is_coding_agent": true
        },
        {
          "oid": "c4d896b0e6479903057e12a6393e99d5da26e175",
          "body": "…op i32 refinement batch (49 Qed) (#796)\n\n* docs(VCR-WASM-001): phase-2 feasibility spike verdict — nix-feasible, bazel-deferred on 3 named blockers\n\ncoqPackages.wasmcert (coq9.0-wasm-2.2.0) exists in the exact pinned nixpkgs\ncommit (88d3861a) and nix-builds green against Rocq 9.0.1. Bazel wiring\nde\n[…]\nhold.\n\nCo-Authored-By: Claude Fable 5 <noreply@anthropic.com>\nClaude-Session: https://claude.ai/code/session_01YJK5LZZEkV5smCY1jKn18L\n\n---------\n\nCo-authored-by: Claude Fable 5 <noreply@anthropic.com>",
          "is_bot": false,
          "headline": "VCR-WASM-001 phase 2: WasmCert-Coq real-dep feasibility verdict + 19-…",
          "author_name": "Ralf Anton Beier",
          "author_login": "avrabe",
          "committed_at": "2026-07-17T04:48:06Z",
          "body_truncated": true,
          "is_coding_agent": true
        },
        {
          "oid": "ffa4b8b6a5630626d586d3d5fb6071cc2a2d68f5",
          "body": "…ive flash funcref table (converts the #717 loud-decline) (#792)\n\n* feat(#275): self-contained call_indirect via PC-relative flash funcref table\n\nThe v0.42 #717 loud-decline is converted into a real lowering on the\nThumb-2 --cortex-m image path: the funcref table ships in FLASH\n(appended after the f\n[…]\ntes\n\nCo-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>\nClaude-Session: https://claude.ai/code/session_01YJK5LZZEkV5smCY1jKn18L\n\n---------\n\nCo-authored-by: Claude Opus 4.8 <noreply@anthropic.com>",
          "is_bot": false,
          "headline": "feat(#275 finale): self-contained --cortex-m call_indirect — PC-relat…",
          "author_name": "Ralf Anton Beier",
          "author_login": "avrabe",
          "committed_at": "2026-07-17T04:36:57Z",
          "body_truncated": true,
          "is_coding_agent": true
        },
        {
          "oid": "92373097b974cea62ac1ec146a16dc18fb376208",
          "body": "…-wcet-hints sound-checker seam (#793)\n\n* feat(#778): WCET phase 2 — statically-proven loop trip counts + --wcet-hints sound-checker seam\n\nLoop regions over the final Thumb-2 stream (real-encoder byte layout, NOT\nthe estimator — high-reg SetCond widens 6→10 B and would shear reconstructed\nbranch tar\n[…]\nst.\n\nCo-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>\nClaude-Session: https://claude.ai/code/session_01YJK5LZZEkV5smCY1jKn18L\n\n---------\n\nCo-authored-by: Claude Opus 4.8 <noreply@anthropic.com>",
          "is_bot": false,
          "headline": "feat(#778): WCET phase 2 — statically-proven loop trip counts + the -…",
          "author_name": "Ralf Anton Beier",
          "author_login": "avrabe",
          "committed_at": "2026-07-17T04:01:15Z",
          "body_truncated": true,
          "is_coding_agent": true
        },
        {
          "oid": "4576f53ec67f3e5df11ebbffd5efe67366556bc8",
          "body": "…nst never set last_result_vreg (#794)\n\n* test(#791): RED execution differential — const-only-body exports return caller residue on the optimized path\n\nc100/clocals/stale/tailret return R0 sentinel (0xdeadbeef) instead of their\nconstants: the optimized path materializes a bare i32.const into r4 and \n[…]\nse/\ncontrol_step/gust_spill_fwd/self_contained_data differentials all PASS.)\n\nCo-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>\n\n---------\n\nCo-authored-by: Claude Fable 5 <noreply@anthropic.com>",
          "is_bot": false,
          "headline": "fix(#791): const-only-body exports return caller residue — Opcode::Co…",
          "author_name": "Ralf Anton Beier",
          "author_login": "avrabe",
          "committed_at": "2026-07-17T04:00:35Z",
          "body_truncated": true,
          "is_coding_agent": true
        },
        {
          "oid": "6312ec19541dca71bc74ed9a267f908e27f78a55",
          "body": "…rect min/max + copysign (#538) (#790)\n\n* feat(aarch64): m4 encoder — fcvtzs/fcvtzu, fmin/fmax, b.cond, bic + mov_imm64 halfword-shift fix (#538)\n\nNew clang-verified encodings for milestone 4: the guarded trapping\ntruncations (FCVTZS/FCVTZU w-from-s/d), IEEE-754-2019 FMIN/FMAX (the\nNaN-propagating, \n[…]\nen.\n\nCo-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>\nClaude-Session: https://claude.ai/code/session_01YJK5LZZEkV5smCY1jKn18L\n\n---------\n\nCo-authored-by: Claude Opus 4.8 <noreply@anthropic.com>",
          "is_bot": false,
          "headline": "feat(aarch64): milestone 4 — sound trapping float→int trunc + NaN-cor…",
          "author_name": "Ralf Anton Beier",
          "author_login": "avrabe",
          "committed_at": "2026-07-17T03:11:49Z",
          "body_truncated": true,
          "is_coding_agent": true
        },
        {
          "oid": "27f13fe4b4b4cba3c26b6e1deaccdafe51d30420",
          "body": "…CR-VER-003, sound WCET bounds, aarch64 floats, verify-ships closure) (#789)\n\nDepth: VCR-VER-003 per-compile addressing validator (#777, the #757 class\nunrepresentable); sound static WCET bounds (#778, --emit-wcet, gale spar C_i);\n#166 verify-ships 485→489 Qed / 5→3 Admitted (honest T3).\nBreadth: aa\n[…]\nchable-callgraph execution gate (refs — call_indirect residual open).\n\n\nClaude-Session: https://claude.ai/code/session_01YJK5LZZEkV5smCY1jKn18L\n\nCo-authored-by: Claude Opus 4.8 <noreply@anthropic.com>",
          "is_bot": false,
          "headline": "chore(release): v0.46.0 — qualification depth + capability breadth (V…",
          "author_name": "Ralf Anton Beier",
          "author_login": "avrabe",
          "committed_at": "2026-07-16T22:30:44Z",
          "body_truncated": true,
          "is_coding_agent": true
        },
        {
          "oid": "2d13c21eca2319569ebf43ad78ffbe2fdf842495",
          "body": "* feat(aarch64 m3): clang-verified scalar-float encoder (#538)\n\nAdd the A64 scalar-float instruction encodings (V/D/S register file):\nFADD/FSUB/FMUL/FDIV, FABS/FNEG/FSQRT (S+D), FCMP + the NaN-correct Mi\ncondition, the FMOV GP<->FP bridges, FCVT S<->D, and SCVTF/UCVTF int->float.\nEvery base is clang\n[…]\n meaningful; the now-supported floats are exercised by the m3 differential.\n\nCo-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>\n\n---------\n\nCo-authored-by: Claude Opus 4.8 <noreply@anthropic.com>",
          "is_bot": false,
          "headline": "feat(aarch64): milestone 3 — scalar floating point (#538) (#787)",
          "author_name": "Ralf Anton Beier",
          "author_login": "avrabe",
          "committed_at": "2026-07-16T21:20:29Z",
          "body_truncated": true,
          "is_coding_agent": true
        },
        {
          "oid": "c57e1237bb6f9ad4230421656d86c1384a4cbe30",
          "body": "…arged, 3 pinned as honest T3 (#788)\n\n* proof(#166): discharge 2 Compilation.v examples via vm_compute\n\nThe two example lemmas ex_compile_simple_add and ex_compile_increment_local\nwere Admitted because [simpl] cannot reduce the [Z.leb (I32.unsigned n) 65535]\nconstant-size guard (the mod 2^32 in unsi\n[…]\ner.\n\nCo-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>\nClaude-Session: https://claude.ai/code/session_01YJK5LZZEkV5smCY1jKn18L\n\n---------\n\nCo-authored-by: Claude Opus 4.8 <noreply@anthropic.com>",
          "is_bot": false,
          "headline": "proof(#166): close verify-what-ships proof residuals — 2 admits disch…",
          "author_name": "Ralf Anton Beier",
          "author_login": "avrabe",
          "committed_at": "2026-07-16T20:25:04Z",
          "body_truncated": true,
          "is_coding_agent": true
        },
        {
          "oid": "896fe6b5a5bd1cf9bcca61791a3f24aa6d4c1173",
          "body": "…wcet-v1) (#786)\n\n* feat(#778): synth-wcet-v1 sidecar schema (WcetReport/WcetFunction/WcetDecline)\n\nThe sound per-function worst-case cycle bound gale's spar T4 needs — a bound,\nnot a DWT observation. Schema carries the M3/M4 zero-wait precondition and a\nmachine-readable decline reason (loop/call/lo\n[…]\ne).\n\nCo-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>\nClaude-Session: https://claude.ai/code/session_01YJK5LZZEkV5smCY1jKn18L\n\n---------\n\nCo-authored-by: Claude Opus 4.8 <noreply@anthropic.com>",
          "is_bot": false,
          "headline": "feat(#778): sound static per-function WCET bound (--emit-wcet, synth-…",
          "author_name": "Ralf Anton Beier",
          "author_login": "avrabe",
          "committed_at": "2026-07-16T19:14:24Z",
          "body_truncated": true,
          "is_coding_agent": true
        },
        {
          "oid": "31b920583e6ad6b9968c5a34d7220b89df668560",
          "body": "…dation (the #757 miscompile class made unrepresentable) (#785)\n\n* feat(#777): VCR-VER-003 static-data addressing validator (core + red-first gate)\n\nNew synth-verify::addr module: per-compilation concrete byte-equality that\nevery static-data reloc resolves to the runtime-correct byte (active data\nse\n[…]\ned.\n\nCo-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>\nClaude-Session: https://claude.ai/code/session_01YJK5LZZEkV5smCY1jKn18L\n\n---------\n\nCo-authored-by: Claude Opus 4.8 <noreply@anthropic.com>",
          "is_bot": false,
          "headline": "feat(#777): VCR-VER-003 — per-compilation static-data addressing vali…",
          "author_name": "Ralf Anton Beier",
          "author_login": "avrabe",
          "committed_at": "2026-07-16T18:04:15Z",
          "body_truncated": true,
          "is_coding_agent": true
        },
        {
          "oid": "23601bfb86c3dc28f02cd5e1ab18fe5b2b2ee5c7",
          "body": "…h (#784)\n\n* test(#275): execution gate for the self-contained reachable call graph + non-vacuity hatch\n\nThe DIRECT reachable call graph on the self-contained --cortex-m image was\nalready implemented (#235, v0.11.28): compile_all_exports walks\nreachable_from_exports (transitive closure over static `\n[…]\nre.\n\nCo-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>\nClaude-Session: https://claude.ai/code/session_01YJK5LZZEkV5smCY1jKn18L\n\n---------\n\nCo-authored-by: Claude Opus 4.8 <noreply@anthropic.com>",
          "is_bot": false,
          "headline": "test(#275): execution gate for the self-contained reachable call grap…",
          "author_name": "Ralf Anton Beier",
          "author_login": "avrabe",
          "committed_at": "2026-07-16T17:33:44Z",
          "body_truncated": true,
          "is_coding_agent": true
        },
        {
          "oid": "1136d82387cc5ea175fb2bf15600408aef266177",
          "body": "i32/i64.rotl clobbered a computed rotate operand (neg scratch reused dst=alloc_temp\nwhich aliased n). Fix: neg(k,k);rorv(dst,n,k). Verified red→green (pre-fix 175/182,\nfixed 182/182 vs wasmtime). Introduced by #769 (m2). Closes #776.\n\n\nClaude-Session: https://claude.ai/code/session_01YJK5LZZEkV5smCY1jKn18L\n\nCo-authored-by: Claude Opus 4.8 <noreply@anthropic.com>",
          "is_bot": false,
          "headline": "chore(release): v0.45.2 — #776 aarch64 rotl clobber soundness fix (#783)",
          "author_name": "Ralf Anton Beier",
          "author_login": "avrabe",
          "committed_at": "2026-07-16T17:05:33Z",
          "body_truncated": false,
          "is_coding_agent": true
        },
        {
          "oid": "a8c9c92b55ab922dfc01773c472845b2e134364d",
          "body": "…tch must not be dst (#781)\n\ni32.rotl/i64.rotl lower to `neg + rorv` (A64 has no native rotate-left). The pre-fix\ncode reused `dst = alloc_temp()` as the neg scratch: `neg(dst,k); rorv(dst,n,dst)`.\nWhen the rotated operand `n` is a COMPUTED value, alloc_temp can hand back the\nregister that held it (\n[…]\n(182/182 vs wasmtime). Rides the already-CI-wired\naarch64-oracle job.\n\n\nClaude-Session: https://claude.ai/code/session_01YJK5LZZEkV5smCY1jKn18L\n\nCo-authored-by: Claude Opus 4.8 <noreply@anthropic.com>",
          "is_bot": false,
          "headline": "fix(#776): aarch64 rotl clobbers a computed rotate operand — neg scra…",
          "author_name": "Ralf Anton Beier",
          "author_login": "avrabe",
          "committed_at": "2026-07-16T16:36:37Z",
          "body_truncated": true,
          "is_coding_agent": true
        },
        {
          "oid": "5e2cdd408d4135a969fc6a3577188cf5c0e6b0b5",
          "body": "… segments bind reloc to the wrong segment) (#780)\n\ngale delivered the exact fused loom.wasm; root cause = 3 active data segments all\nat linmem 0x100000, WASM later-overwrites-earlier, but the #354 reloc retargeting\nused .position() (first match) → string source bound to stale seg_0 not seg_2.\nFix: \n[…]\n as permanent CI fixture. #757 closed.\nFollow-up: VCR-VER-003 (#777).\n\n\nClaude-Session: https://claude.ai/code/session_01YJK5LZZEkV5smCY1jKn18L\n\nCo-authored-by: Claude Opus 4.8 <noreply@anthropic.com>",
          "is_bot": false,
          "headline": "chore(release): v0.45.1 — #757 soundness fix (overlapping active data…",
          "author_name": "Ralf Anton Beier",
          "author_login": "avrabe",
          "committed_at": "2026-07-16T08:08:15Z",
          "body_truncated": true,
          "is_coding_agent": true
        },
        {
          "oid": "fa9a30e3b56d43dde6c677634f4ba0a935c0bd27",
          "body": "…ST-declared owner (#779)\n\ngale's fused os-tl node (loom.wasm) declares THREE active data segments ALL at\nwasm linear-memory offset 0x100000. In WASM, active segments apply in declaration\norder, so a LATER segment OVERWRITES an earlier one — seg_2 (last, 24 B) owns those\nbytes at runtime and holds \"\n[…]\ng, so this whole #739/#746/#757/#758 cluster\nbecomes unrepresentable.\n\n\nClaude-Session: https://claude.ai/code/session_01YJK5LZZEkV5smCY1jKn18L\n\nCo-authored-by: Claude Opus 4.8 <noreply@anthropic.com>",
          "is_bot": false,
          "headline": "fix(#757): overlapping active data segments — resolve reloc to the LA…",
          "author_name": "Ralf Anton Beier",
          "author_login": "avrabe",
          "committed_at": "2026-07-16T04:52:13Z",
          "body_truncated": true,
          "is_coding_agent": true
        },
        {
          "oid": "09fd6bef26f09812e5ea83d38ddc6ab3c7194efa",
          "body": "… WasmCert anchor + VCR-ISA 41→50, A64 7→50, 12× beat-LLVM, MC/DC provenance) (#775)\n\nFive oracle-gated lanes across semantics/capability/perf/assurance:\n- VCR-WASM-001 (#771): WasmCert-Coq source anchor (i32.add refinement, 474→476)\n- VCR-ISA-001 (#773): generate-not-mirror 41→50 ops (476→485 Qed)\n\n[…]\nnds them as regression guards). i64.trunc_f64 + #761 residuals noted.\n\n\nClaude-Session: https://claude.ai/code/session_01YJK5LZZEkV5smCY1jKn18L\n\nCo-authored-by: Claude Opus 4.8 <noreply@anthropic.com>",
          "is_bot": false,
          "headline": "chore(release): v0.45.0 — the Mega-Hub epic (all 3 North-Star tracks:…",
          "author_name": "Ralf Anton Beier",
          "author_login": "avrabe",
          "committed_at": "2026-07-16T01:50:34Z",
          "body_truncated": true,
          "is_coding_agent": true
        },
        {
          "oid": "27324fe8546a34862f3ae76904486f9b9ad7966f",
          "body": "…ation gate (VCR-DEC-003) (#774)\n\n* feat(#396): BranchClass/branch_map plumbing for synth-provenance-v1 (VCR-DEC-003)\n\nAdd the object-branch-class side-table the provenance emitter needs to\nenumerate real object conditional branches (line_map records which wasm op an\ninstruction came from, not wheth\n[…]\noc.\n\nCo-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>\nClaude-Session: https://claude.ai/code/session_01YJK5LZZEkV5smCY1jKn18L\n\n---------\n\nCo-authored-by: Claude Opus 4.8 <noreply@anthropic.com>",
          "is_bot": false,
          "headline": "feat(#396): synth-provenance-v1 branch-transformation map + reconcili…",
          "author_name": "Ralf Anton Beier",
          "author_login": "avrabe",
          "committed_at": "2026-07-16T00:40:19Z",
          "body_truncated": true,
          "is_coding_agent": true
        },
        {
          "oid": "d618a93cdd7a9c31a18075b2e14134e18b438d4b",
          "body": "…i64 pseudo-ops (41→50) (#773)\n\n* feat(VCR-ISA-001): extend generate-not-mirror Rocq ISA model to nine i64 pseudo-ops (41→50)\n\nWave-2 lane: add the single-pseudo-op i64 register-pair shapes the selector\nalready emits but were DSL-uncovered — i64.clz/ctz/popcnt (unary counts),\ni64.mul/shl/shr_u/shr_s\n[…]\n42.\n\nCo-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>\nClaude-Session: https://claude.ai/code/session_01YJK5LZZEkV5smCY1jKn18L\n\n---------\n\nCo-authored-by: Claude Opus 4.8 <noreply@anthropic.com>",
          "is_bot": false,
          "headline": "feat(VCR-ISA-001): extend generate-not-mirror Rocq ISA model to nine …",
          "author_name": "Ralf Anton Beier",
          "author_login": "avrabe",
          "committed_at": "2026-07-15T23:43:19Z",
          "body_truncated": true,
          "is_coding_agent": true
        },
        {
          "oid": "75d7da536dcb67b2e7c4404af92cd72475912ff4",
          "body": "…ll GREEN (bug needs gale's module; NO FIX) (#772)\n\n* test(#757): red-first repro harness sweep — 5 faithful memmove shapes\n\nReproduction lane for the #757 multi-chunk static-copy source-offset\nmiscompile (gale gust:os v0.4.0, RawVec-grow + memmove of a >=9B static\nabove wasm_data_base under --reloc\n[…]\nci(#757): wire the RawVec-grow memmove reconstruction as a regression guard\n\nCo-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>\n\n---------\n\nCo-authored-by: Claude Opus 4.8 <noreply@anthropic.com>",
          "is_bot": false,
          "headline": "investigate(#757): 7 faithful RawVec-grow+memmove reconstructions — a…",
          "author_name": "Ralf Anton Beier",
          "author_login": "avrabe",
          "committed_at": "2026-07-15T22:27:46Z",
          "body_truncated": true,
          "is_coding_agent": true
        },
        {
          "oid": "a979e00b154d2ce899371a72ea33bc0c759b4e75",
          "body": "…2.add bridge (bounded first increment) (#771)\n\n* feat(VCR-WASM-001): anchor WASM source semantics on WasmCert-Coq — i32.add bridge (bounded first increment)\n\nBounded first increment of VCR-WASM-001 (roadmap Track B, epic #242): anchor\nsynth's hand-written WasmSemantics.v stack machine on WasmCert-C\n[…]\nes.\n\nCo-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>\nClaude-Session: https://claude.ai/code/session_01YJK5LZZEkV5smCY1jKn18L\n\n---------\n\nCo-authored-by: Claude Opus 4.8 <noreply@anthropic.com>",
          "is_bot": false,
          "headline": "feat(VCR-WASM-001): anchor WASM source semantics on WasmCert-Coq — i3…",
          "author_name": "Ralf Anton Beier",
          "author_login": "avrabe",
          "committed_at": "2026-07-15T21:06:52Z",
          "body_truncated": true,
          "is_coding_agent": true
        },
        {
          "oid": "b69d503d4d3b0b20ff8cb20ee6f5a880e07e4c57",
          "body": "…2x beat over clang -Os (#770)\n\n* feat(#494): const-divisor rem_u identity elision — the total div/rem subset\n\nVCR-PERF-002 beyond-parity: a literal nonzero i32.const divisor makes\ni32.rem_u unconditionally total (traps only on divisor==0; no INT_MIN/-1\noverflow — that's div_s). Under a proven-narro\n[…]\nic.\n\nCo-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>\nClaude-Session: https://claude.ai/code/session_01YJK5LZZEkV5smCY1jKn18L\n\n---------\n\nCo-authored-by: Claude Opus 4.8 <noreply@anthropic.com>",
          "is_bot": false,
          "headline": "feat(#494): const-divisor rem_u identity elision — a proof-carrying 1…",
          "author_name": "Ralf Anton Beier",
          "author_login": "avrabe",
          "committed_at": "2026-07-15T20:53:49Z",
          "body_truncated": true,
          "is_coding_agent": true
        },
        {
          "oid": "79c1bc3a8f4216273426d47111ca4531c5542373",
          "body": "…→50 ops) (#769)\n\n* feat(#538): A64 encoder m2 — i64 x-forms, variable shifts, clz/rbit, cmp+cset\n\nBroaden the AArch64 encoder from the m1 i32 core to the full integer ALU,\neach new instruction clang-cross-verified (assemble + objdump ground truth):\n\n- i64 x-forms: add64/sub64/and64/orr64/eor64/mul6\n[…]\nme.\n\nCo-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>\nClaude-Session: https://claude.ai/code/session_01YJK5LZZEkV5smCY1jKn18L\n\n---------\n\nCo-authored-by: Claude Opus 4.8 <noreply@anthropic.com>",
          "is_bot": false,
          "headline": "feat(#538): aarch64 backend milestone 2 — full i32+i64 integer ALU (7…",
          "author_name": "Ralf Anton Beier",
          "author_login": "avrabe",
          "committed_at": "2026-07-15T20:29:46Z",
          "body_truncated": true,
          "is_coding_agent": true
        },
        {
          "oid": "659b1f5338252f64fbb52ab60537abe025c73576",
          "body": "…rified-selector 40→41, multi-mem coverage, size win, DWARF de-circularized) (#768)\n\n- #756: i64 div/rem + i32.trunc_f64 into the LIVE trap validator (5→7 classes);\n  i64.trunc_f64 residual documented (selector loud-declines it)\n- VCR-ISA-001 (#667): generate-not-mirror model 40→41 ops (i32.eqz), 47\n[…]\nlocked on reporter module — coverage widened, not fixed). #761 filed.\n\n\nClaude-Session: https://claude.ai/code/session_01YJK5LZZEkV5smCY1jKn18L\n\nCo-authored-by: Claude Opus 4.8 <noreply@anthropic.com>",
          "is_bot": false,
          "headline": "chore(release): v0.44.0 — five-lane hub (2 more live trap classes, ve…",
          "author_name": "Ralf Anton Beier",
          "author_login": "avrabe",
          "committed_at": "2026-07-15T19:17:23Z",
          "body_truncated": true,
          "is_coding_agent": true
        },
        {
          "oid": "bec727ed3df963058ae12c124a0d02ae5ccc9e76",
          "body": "…(VCR-VER-002 Lane A) (#766)\n\n* feat(#756): wire i64 div/rem + i32.trunc_f64 into the live trap validator\n\nVCR-VER-002 Lane A. Extends the derived-ARM-trap-term validator from five\nclasses to seven:\n\n- i64 div/rem: field-derived trap-condition VC. ARM32 has no 64-bit divide,\n  so the pseudo-op carri\n[…]\nld.\n\nCo-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>\nClaude-Session: https://claude.ai/code/session_01YJK5LZZEkV5smCY1jKn18L\n\n---------\n\nCo-authored-by: Claude Opus 4.8 <noreply@anthropic.com>",
          "is_bot": false,
          "headline": "feat(#756): i64 div/rem + i32.trunc_f64 into the LIVE trap validator …",
          "author_name": "Ralf Anton Beier",
          "author_login": "avrabe",
          "committed_at": "2026-07-15T18:41:22Z",
          "body_truncated": true,
          "is_coding_agent": true
        },
        {
          "oid": "fbc2b9c364fe3bd06a274ae67ba3d1cc84178683",
          "body": "…qz (40→41) (#767)\n\n* feat(VCR-ISA-001): extend generate-not-mirror to i32.eqz (40→41 rules)\n\nAdd i32.eqz to the shipped sel_dsl::RULES table (the Rocq-discharged\nselector DSL), regenerate the single-source Rocq model (Module Gen in\nVcrSelRulesGenerated.v) and the Rust lowering (generated.rs), and s\n[…]\n1).\n\nCo-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>\nClaude-Session: https://claude.ai/code/session_01YJK5LZZEkV5smCY1jKn18L\n\n---------\n\nCo-authored-by: Claude Opus 4.8 <noreply@anthropic.com>",
          "is_bot": false,
          "headline": "feat(VCR-ISA-001): extend generate-not-mirror Rocq ISA model to i32.e…",
          "author_name": "Ralf Anton Beier",
          "author_login": "avrabe",
          "committed_at": "2026-07-15T18:20:53Z",
          "body_truncated": true,
          "is_coding_agent": true
        },
        {
          "oid": "4c1e9066374991c2239c0d14a7286d342116c137",
          "body": "…st_poll 724→716 B (#765)\n\nVCR-PERF-001 Lane D (v0.44): extend the forward_stack_reloads holder lattice\nwith redundant-store elimination. A `str rd,[sp,#N]` whose slot #N the lattice\nPROVES already holds rd's value (a caller-save value re-spilled unchanged\nbetween two calls) writes bytes the slot al\n[…]\nwo new unit tests cover the delete and\nthe reg-reloaded-between keep.\n\n\nClaude-Session: https://claude.ai/code/session_01YJK5LZZEkV5smCY1jKn18L\n\nCo-authored-by: Claude Opus 4.8 <noreply@anthropic.com>",
          "is_bot": false,
          "headline": "perf(#390): redundant-store elimination in forward_stack_reloads — gu…",
          "author_name": "Ralf Anton Beier",
          "author_login": "avrabe",
          "committed_at": "2026-07-15T17:26:13Z",
          "body_truncated": true,
          "is_coding_agent": true
        },
        {
          "oid": "ab0fbc23c5954bcc4a59fcfb7392d451af949245",
          "body": "…isolation decline (#764)\n\n* test(#406): multi-segment static-data differential — self-contained + relocatable\n\nNew scripts/repro/multi_segment_static_data_differential.py widens static-data\ncoverage across BOTH the self-contained (--cortex-m) and --relocatable paths\nwith segments at varied offsets:\n[…]\n2).\n\nCo-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>\nClaude-Session: https://claude.ai/code/session_01YJK5LZZEkV5smCY1jKn18L\n\n---------\n\nCo-authored-by: Claude Opus 4.8 <noreply@anthropic.com>",
          "is_bot": false,
          "headline": "v0.44.0 Lane B: #406 multi-segment static-data coverage + honest MPU-…",
          "author_name": "Ralf Anton Beier",
          "author_login": "avrabe",
          "committed_at": "2026-07-15T17:16:42Z",
          "body_truncated": true,
          "is_coding_agent": true
        },
        {
          "oid": "4bde94062a09711156fa806bdfae5ff7f2bd0643",
          "body": "…tted DWARF (#394) (#763)\n\nOracles A–H validate synth's emitted `.debug_info`/`.debug_line` with\n`gimli::read` — the same library `gimli::write` produced the bytes with, so a\nself-consistent emitter bug (an encoding gimli round-trips but real toolchains\nreject) passes them. Oracle I closes that gap \n[…]\nicitly-named\ndeliverable that was unmet — an independent-parser gate.\n\n\nClaude-Session: https://claude.ai/code/session_01YJK5LZZEkV5smCY1jKn18L\n\nCo-authored-by: Claude Opus 4.8 <noreply@anthropic.com>",
          "is_bot": false,
          "headline": "test(dwarf): independent-parser gate — llvm-dwarfdump --verify on emi…",
          "author_name": "Ralf Anton Beier",
          "author_login": "avrabe",
          "committed_at": "2026-07-15T17:06:00Z",
          "body_truncated": true,
          "is_coding_agent": true
        },
        {
          "oid": "73c2718afae67d6cc4047fc0b534df97df5320a0",
          "body": "… data (#758 soundness) + wide-static-copy differential hardening (#760) (#762)\n\nSoundness patch on v0.43.0:\n- #758 (soundness, PRE-EXISTING not a regression): default self-contained\n  --cortex-m emitted .linear_memory as NoBits with no crt0 data-copy loop, so\n  active (data) segments read zero. Now\n[…]\n/globals\noverlap, impact unverified). This release does NOT fix #757.\n\n\nClaude-Session: https://claude.ai/code/session_01YJK5LZZEkV5smCY1jKn18L\n\nCo-authored-by: Claude Opus 4.8 <noreply@anthropic.com>",
          "is_bot": false,
          "headline": "chore(release): v0.43.1 — self-contained --cortex-m ships initialized…",
          "author_name": "Ralf Anton Beier",
          "author_login": "avrabe",
          "committed_at": "2026-07-15T16:41:01Z",
          "body_truncated": true,
          "is_coding_agent": true
        },
        {
          "oid": "a8f2430646d22d8444280375d47ae40b1416e96b",
          "body": "…HM_CALL-aware oracle (NO FIX — #757 stays open) (#760)\n\n* investigate(#757): triage mechanism DISPROVEN — control repros + THM_CALL harness\n\nCORRECTION of a false root-cause path. The #757 triage claimed the #746 fix\nmiscompiles the multi-chunk static copy by relocating the HEAD chunk's source\nADDR\n[…]\n242\n\nCo-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>\nClaude-Session: https://claude.ai/code/session_01YJK5LZZEkV5smCY1jKn18L\n\n---------\n\nCo-authored-by: Claude Opus 4.8 <noreply@anthropic.com>",
          "is_bot": false,
          "headline": "investigate(#757): disprove the wide-static-copy triage mechanism + T…",
          "author_name": "Ralf Anton Beier",
          "author_login": "avrabe",
          "committed_at": "2026-07-15T16:29:52Z",
          "body_truncated": true,
          "is_coding_agent": true
        },
        {
          "oid": "17b71e10a48eaca5ccbbdb8b3d4b71d4f3445afa",
          "body": "…t0 ROM→RAM copy) (#759)\n\nThe DEFAULT self-contained `--cortex-m` image (the documented\n`synth compile input.wat --cortex-m -o firmware.elf`) silently DROPPED active\n`(data …)` segments: `build_multi_func_cortex_m_elf` reserved `.linear_memory`\nas NoBits (BSS) and the generated `Reset_Handler` had n\n[…]\nxis passes too. CI-wired into trap-semantics-oracle.\n\nRefs #758, #242\n\n\nClaude-Session: https://claude.ai/code/session_01YJK5LZZEkV5smCY1jKn18L\n\nCo-authored-by: Claude Opus 4.8 <noreply@anthropic.com>",
          "is_bot": false,
          "headline": "fix(#758): self-contained --cortex-m ships active (data) segments (cr…",
          "author_name": "Ralf Anton Beier",
          "author_login": "avrabe",
          "committed_at": "2026-07-15T16:11:18Z",
          "body_truncated": true,
          "is_coding_agent": true
        },
        {
          "oid": "6c23833f2afd03a028f4dba815d2fb7c9b7dc6de",
          "body": "…ory, #73 closed, live trap-VC, float finish, 6 latent soundness bugs fixed) (#755)\n\nSeven-lane hub: multi-memory ph1 (#406), the LAST i32 div_s admit discharged\n(#73, 473 Qed/5 Admitted/0 division admits), live trap-preservation VC (#166),\nfalcon float complete (#369), bounds elision at the floor (\n[…]\ner branch-halving (#740), bounds wraparound (#752), i64 static\nreloc (#746), and 3 latent VFP bugs. Pin sweep 0.42→0.43 incl. npm; claim 18/18.\n\nCo-authored-by: Claude Opus 4.8 <noreply@anthropic.com>",
          "is_bot": false,
          "headline": "chore(release): v0.43.0 — isolation + verification closure (multi-mem…",
          "author_name": "Ralf Anton Beier",
          "author_login": "avrabe",
          "committed_at": "2026-07-15T13:33:46Z",
          "body_truncated": true,
          "is_coding_agent": true
        },
        {
          "oid": "0533258d3fb6c6017c553757584ba2c9e8c7607d",
          "body": "…nd address escaped the OOB trap at the top of the address space (#754)\n\n* fix(#752): wraparound-safe software bounds guard — SUB-from-bound shape, both ARM paths\n\nThe #359/#642-era guard computed the access end address with a WRAPPING\n32-bit ADD (addr + offset + size - 1) then CMP/BLO — for\naddr >=\n[…]\nard).\n\nCo-Authored-By: Claude Fable 5 <noreply@anthropic.com>\nClaude-Session: https://claude.ai/code/session_01YJK5LZZEkV5smCY1jKn18L\n\n---------\n\nCo-authored-by: Claude Fable 5 <noreply@anthropic.com>",
          "is_bot": false,
          "headline": "fix(#752): wraparound-safe software bounds guard — the ADD-computed e…",
          "author_name": "Ralf Anton Beier",
          "author_login": "avrabe",
          "committed_at": "2026-07-15T13:01:07Z",
          "body_truncated": true,
          "is_coding_agent": true
        },
        {
          "oid": "0aac09a4a058fde35d6ee15a8762d9ab079c9f36",
          "body": "…sses + the LAST i32 div_s admit discharged (#166, #73) (#753)\n\n* wip: session-limit salvage snapshot (agent died mid-lane; resume from here)\n\nCo-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>\n\n* feat(#166): live trap-preservation VC — derived ARM trap terms for div/rem, mem-OOB, trunc, unreac\n[…]\n#242\n\nCo-Authored-By: Claude Fable 5 <noreply@anthropic.com>\nClaude-Session: https://claude.ai/code/session_01YJK5LZZEkV5smCY1jKn18L\n\n---------\n\nCo-authored-by: Claude Opus 4.8 <noreply@anthropic.com>",
          "is_bot": false,
          "headline": "verification-arc closure: LIVE trap-preservation VC for five trap cla…",
          "author_name": "Ralf Anton Beier",
          "author_login": "avrabe",
          "committed_at": "2026-07-15T12:11:15Z",
          "body_truncated": true,
          "is_coding_agent": true
        },
        {
          "oid": "9688cf8bc5ea58a2523b2de7c248782427f0dd40",
          "body": "…D-homed params + f64 op tail (#369) (#751)\n\n* wip: session-limit salvage snapshot (agent died mid-lane; resume from here)\n\nCo-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>\n\n* feat(vfp): AAPCS-VFP call-boundary marshalling — float args into S0../D0.., results out of S0/D0 (#369)\n\nGI-FPU-002 p\n[…]\n: type aliases + scoped allow for the #369 ph3 signatures (rust-1.96 lints)\n\nCo-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>\n\n---------\n\nCo-authored-by: Claude Opus 4.8 <noreply@anthropic.com>",
          "is_bot": false,
          "headline": "feat(vfp): FINISH the float story — AAPCS-VFP call marshalling + f64 …",
          "author_name": "Ralf Anton Beier",
          "author_login": "avrabe",
          "committed_at": "2026-07-15T12:09:54Z",
          "body_truncated": true,
          "is_coding_agent": true
        },
        {
          "oid": "c4144d9e88f5e2f95ced776dfd71cc379968324a",
          "body": "…bool lane (v0.43.0 Lane F) (#750)\n\n* feat(#494/#390): fact-spec memory bounds-guard obligation — ordeal-certified elision marks\n\nTrack i32 loads/stores in the fact-spec walk (marks only, never deleted —\nan OOB access traps, same discipline as div/rem) and discharge per site:\n\n    UNSAT( P ∧ trap_me\n[…]\nrify.\n\nCo-Authored-By: Claude Fable 5 <noreply@anthropic.com>\nClaude-Session: https://claude.ai/code/session_01YJK5LZZEkV5smCY1jKn18L\n\n---------\n\nCo-authored-by: Claude Fable 5 <noreply@anthropic.com>",
          "is_bot": false,
          "headline": "feat(#494 x #390): ordeal-certified bounds-check elision — the guard_…",
          "author_name": "Ralf Anton Beier",
          "author_login": "avrabe",
          "committed_at": "2026-07-15T12:03:23Z",
          "body_truncated": true,
          "is_coding_agent": true
        },
        {
          "oid": "52676f42cac2e6113c2d4f6634590de71fb25ba5",
          "body": "…ve base regions (VCR-MEM-002) (#749)\n\n* wip: session-limit salvage snapshot (agent died mid-lane; resume from here)\n\nCo-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>\n\n* feat(#406): driver plumbing + per-memory ELF regions for multi-memory phase 1\n\n- compile_all_exports threads extra_memory_d\n[…]\nper)\n\nCo-Authored-By: Claude Fable 5 <noreply@anthropic.com>\nClaude-Session: https://claude.ai/code/session_01YJK5LZZEkV5smCY1jKn18L\n\n---------\n\nCo-authored-by: Claude Opus 4.8 <noreply@anthropic.com>",
          "is_bot": false,
          "headline": "feat(#406): multi-memory phase 1 — N wasm memories to N distinct nati…",
          "author_name": "Ralf Anton Beier",
          "author_login": "avrabe",
          "committed_at": "2026-07-15T11:03:55Z",
          "body_truncated": true,
          "is_coding_agent": true
        },
        {
          "oid": "bc3a2c5cadaa2ab881d3b04e587727bd5753f422",
          "body": "…ditional branches landed mid-shape (#748)\n\n* wip: session-limit salvage snapshot (agent died mid-lane; resume from here)\n\nCo-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>\n\n* fix(#740): B<cond>.W (T3) packed HALF the halfword offset — wide conditional branches landed mid-shape\n\nRoot cause (NO\n[…]\nane.\n\nCo-Authored-By: Claude Fable 5 <noreply@anthropic.com>\nClaude-Session: https://claude.ai/code/session_01YJK5LZZEkV5smCY1jKn18L\n\n---------\n\nCo-authored-by: Claude Opus 4.8 <noreply@anthropic.com>",
          "is_bot": false,
          "headline": "fix(#740): Thumb-2 B<cond>.W (T3) halved the branch offset — wide con…",
          "author_name": "Ralf Anton Beier",
          "author_login": "avrabe",
          "committed_at": "2026-07-15T10:42:51Z",
          "body_truncated": true,
          "is_coding_agent": true
        },
        {
          "oid": "9830bd81adf32a80fec68163417c3951f2d6647c",
          "body": "…n treatment (#747)\n\n* fix(#746): relocate i64/wide static-region loads/stores (#744 treatment for the wide arms)\n\nThe #744 fix relocated the i32 sub-word static-region arms under the\nnative-pointer ABI; the i64 arms (i64.load/i64.store pair accesses and\nthe i64 narrow load8/16/32 + store8/16/32) st\n[…]\n001).\n\nCo-Authored-By: Claude Fable 5 <noreply@anthropic.com>\nClaude-Session: https://claude.ai/code/session_01YJK5LZZEkV5smCY1jKn18L\n\n---------\n\nCo-authored-by: Claude Fable 5 <noreply@anthropic.com>",
          "is_bot": false,
          "headline": "fix(#746): i64/wide static-region loads/stores get the #744 relocatio…",
          "author_name": "Ralf Anton Beier",
          "author_login": "avrabe",
          "committed_at": "2026-07-15T10:21:08Z",
          "body_truncated": true,
          "is_coding_agent": true
        },
        {
          "oid": "cc3f6d9eadfe6732dd9ad7b2ce503dead18da414",
          "body": "…arity benchmark + #739 soundness hub (#745)\n\nSeven-lane hub: VCR-VER-002 Phases A+B (#166/ordeal#59), falcon float completion\n(#719/#369 + 2 latent soundness fixes), Rocq model generated-not-mirrored (#667,\n472 honest recount), parity benchmark (#735, 14B vs 26B gcc = 0.54x native),\nredundant-mask elision (#494), gust_poll 740->724B (#390), #739 baked-offset\nsilent-miscompile fix + oracle de-vacuation. Pin sweep 0.41.0->0.42.0 incl. npm.\n\nCo-authored-by: Claude Opus 4.8 <noreply@anthropic.com>",
          "is_bot": false,
          "headline": "chore(release): v0.42.0 — trap-preservation VC + float completion + p…",
          "author_name": "Ralf Anton Beier",
          "author_login": "avrabe",
          "committed_at": "2026-07-15T04:54:13Z",
          "body_truncated": false,
          "is_coding_agent": true
        },
        {
          "oid": "700b9794d0b6410ea1e6200deec75e64fe296a4a",
          "body": "…the in-range oracle (#744)\n\n* fix(#739): relocate above-sp_init statics in sub-word arms — never bake linmem offsets\n\nA meld --memory shared fused node places component statics ABOVE the shared\nSP (17-page linmem, sp_init 0x100000, static at 0x10000C). The wit-bindgen\nbyte-copy shape — dynamic inde\n[…]\ne Opus 4.8 (1M context) <noreply@anthropic.com>\nClaude-Session: https://claude.ai/code/session_01YJK5LZZEkV5smCY1jKn18L\n\n---------\n\nCo-authored-by: Claude Opus 4.8 (1M context) <noreply@anthropic.com>",
          "is_bot": false,
          "headline": "fix(#739): static ABOVE sp_init — relocate (never bake) + de-vacuate …",
          "author_name": "Ralf Anton Beier",
          "author_login": "avrabe",
          "committed_at": "2026-07-15T04:10:10Z",
          "body_truncated": true,
          "is_coding_agent": true
        },
        {
          "oid": "24a20de087e42a9714a7c3bafb56ca3c9d625181",
          "body": "… (#736)\n\nNew proof-carrying elision class in the fact-spec pass: a value proven narrow\nby a wsc.facts ValueRange premise makes an `i32.and` mask the identity, so the\nmask (and the `and`) are deleted. Obligation `UNSAT(P ∧ (value & mask) ≠ value)`\nis ordeal-certified per site (LRAT-checked QF_BV); i\n[…]\n 5 new pass-level unit tests (elide / Sat-decline /\nno-premise / signed-negative-retains / no-fact-unchanged).\n\nRefs #494, #242 (VCR-PERF-002).\n\nCo-authored-by: Claude Opus 4.8 <noreply@anthropic.com>",
          "is_bot": false,
          "headline": "feat(vcr-perf): redundant-mask elision — proof-carrying #494 phase 3+…",
          "author_name": "Ralf Anton Beier",
          "author_login": "avrabe",
          "committed_at": "2026-07-15T02:46:57Z",
          "body_truncated": true,
          "is_coding_agent": true
        },
        {
          "oid": "03dcfccf8c35591d6b4aa667b298ee41876e864c",
          "body": "…gust_poll 740→724 B (VCR-RA) (#743)\n\n* perf(#390): conditional-branch-transparent stack-reload forwarding (VCR-RA)\n\nUpgrade forward_stack_reloads from single-store source forwarding to a\nholder-lattice forward walk (the spill_forward_segment stage-1 lattice):\nper slot, track every register provably\n[…]\ne Opus 4.8 (1M context) <noreply@anthropic.com>\nClaude-Session: https://claude.ai/code/session_01YJK5LZZEkV5smCY1jKn18L\n\n---------\n\nCo-authored-by: Claude Opus 4.8 (1M context) <noreply@anthropic.com>",
          "is_bot": false,
          "headline": "perf(#390): conditional-branch-transparent stack-reload forwarding — …",
          "author_name": "Ralf Anton Beier",
          "author_login": "avrabe",
          "committed_at": "2026-07-15T02:44:07Z",
          "body_truncated": true,
          "is_coding_agent": true
        },
        {
          "oid": "6bbae7a858c774458e54722ca133c317c83894b7",
          "body": "…phase 2 for falcon (#369) (#741)\n\n* feat(f32): spill/rehome live f32 across calls — the #719 residual (GI-FPU-002 phase 2)\n\nThe last f32 gap from #719: a function with any f32 content and a call\ndeclined wholesale ('S0..S15 are caller-saved — declining'). Now:\n\n* live f32 values (operand-stack temp\n[…]\ne Opus 4.8 (1M context) <noreply@anthropic.com>\nClaude-Session: https://claude.ai/code/session_01YJK5LZZEkV5smCY1jKn18L\n\n---------\n\nCo-authored-by: Claude Opus 4.8 (1M context) <noreply@anthropic.com>",
          "is_bot": false,
          "headline": "feat(vfp): f32-across-call spill/rehome (#719 residual) + scalar f64 …",
          "author_name": "Ralf Anton Beier",
          "author_login": "avrabe",
          "committed_at": "2026-07-15T02:43:45Z",
          "body_truncated": true,
          "is_coding_agent": true
        },
        {
          "oid": "1f0707db8c764f05c4f9caaa3ae499fa720313d6",
          "body": "…deal 0.9.1 (#166) (#742)\n\n* feat(verify): float→int trunc trap class over ordeal 0.9.1 trap_trunc (VCR-VER-002 Phase B, #166)\n\nordeal 0.9.1 (ordeal#59/TR-020) adds the float→int truncation trap\nCLASSIFIER: the trap predicate (NaN ∨ ±∞ ∨ out-of-range) is built purely\nover the float operand's BIT PAT\n[…]\ne Opus 4.8 (1M context) <noreply@anthropic.com>\nClaude-Session: https://claude.ai/code/session_01YJK5LZZEkV5smCY1jKn18L\n\n---------\n\nCo-authored-by: Claude Opus 4.8 (1M context) <noreply@anthropic.com>",
          "is_bot": false,
          "headline": "feat(verify): VCR-VER-002 Phase B — float→int trunc trap class via or…",
          "author_name": "Ralf Anton Beier",
          "author_login": "avrabe",
          "committed_at": "2026-07-15T02:41:15Z",
          "body_truncated": true,
          "is_coding_agent": true
        },
        {
          "oid": "c7f1c33dd6501bd433bf0e2359c7c9e9356f4a60",
          "body": "…SelRules.v re-exports the generated model (#738)\n\n* feat(coq): VCR-ISA-001 #667 — VcrSelRules.v re-exports the GENERATED model (rule_X := Gen.rule_X)\n\nThe 40 covered ops' instruction sequences now have a single source:\ncoq/Synth/Synth/VcrSelRulesGenerated.v (Module Gen), emitted from the\nshipped se\n[…]\ne Opus 4.8 (1M context) <noreply@anthropic.com>\nClaude-Session: https://claude.ai/code/session_01YJK5LZZEkV5smCY1jKn18L\n\n---------\n\nCo-authored-by: Claude Opus 4.8 (1M context) <noreply@anthropic.com>",
          "is_bot": false,
          "headline": "feat(coq): VCR-ISA-001 #667 increment 2 — generate, don't mirror: Vcr…",
          "author_name": "Ralf Anton Beier",
          "author_login": "avrabe",
          "committed_at": "2026-07-15T02:40:58Z",
          "body_truncated": true,
          "is_coding_agent": true
        },
        {
          "oid": "e7def8df59e44150d3bb42aca64bb2d9d9422825",
          "body": "…ured bytes, cited baselines, cycles OPEN (#737)\n\n* feat(#735): reproducible parity-benchmark harness — 4 kernels, both compile paths, provenance-tagged\n\nscripts/repro/parity_benchmark/run.py measures per-function .text for\ngust_poll / gust_mix (Q8 + clamp shapes) / flat_flight / a new\nfalcon-style \n[…]\ne Opus 4.8 (1M context) <noreply@anthropic.com>\nClaude-Session: https://claude.ai/code/session_01YJK5LZZEkV5smCY1jKn18L\n\n---------\n\nCo-authored-by: Claude Opus 4.8 (1M context) <noreply@anthropic.com>",
          "is_bot": false,
          "headline": "feat(#735): reproducible wasm-AOT vs native-C parity benchmark — meas…",
          "author_name": "Ralf Anton Beier",
          "author_login": "avrabe",
          "committed_at": "2026-07-15T02:39:24Z",
          "body_truncated": true,
          "is_coding_agent": true
        },
        {
          "oid": "8e994db2615f637a7149be4064d9822ee1795cb3",
          "body": "Bumps [scry-sai-core](https://github.com/pulseengine/scry) from 3.0.0 to 3.2.1.\n- [Release notes](https://github.com/pulseengine/scry/releases)\n- [Changelog](https://github.com/pulseengine/scry/blob/main/CHANGELOG.md)\n- [Commits](https://github.com/pulseengine/scry/compare/v3.0.0...v3.2.1)\n\n---\nupda\n[…]\nirect:production\n  update-type: version-update:semver-minor\n...\n\nSigned-off-by: dependabot[bot] <support@github.com>\nCo-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>",
          "is_bot": true,
          "headline": "chore(deps): bump scry-sai-core from 3.0.0 to 3.2.1 (#734)",
          "author_name": "dependabot[bot]",
          "author_login": "dependabot[bot]",
          "committed_at": "2026-07-14T18:53:51Z",
          "body_truncated": true,
          "is_coding_agent": false
        },
        {
          "oid": "eb82f016c3e1e9a0a21c6fa0f59748c345a22ea3",
          "body": "Bumps [pulseengine/rivet](https://github.com/pulseengine/rivet) from 0.24.0 to 0.26.0.\n- [Release notes](https://github.com/pulseengine/rivet/releases)\n- [Changelog](https://github.com/pulseengine/rivet/blob/main/CHANGELOG.md)\n- [Commits](https://github.com/pulseengine/rivet/compare/v0.24.0...v0.26.\n[…]\nirect:production\n  update-type: version-update:semver-minor\n...\n\nSigned-off-by: dependabot[bot] <support@github.com>\nCo-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>",
          "is_bot": true,
          "headline": "chore(deps): bump pulseengine/rivet from 0.24.0 to 0.26.0 (#725)",
          "author_name": "dependabot[bot]",
          "author_login": "dependabot[bot]",
          "committed_at": "2026-07-14T18:53:49Z",
          "body_truncated": true,
          "is_coding_agent": false
        },
        {
          "oid": "d5ee2626e479e3172ec70c26ad265942c85b45d4",
          "body": "Bumps [actions/checkout](https://github.com/actions/checkout) from 4 to 7.\n- [Release notes](https://github.com/actions/checkout/releases)\n- [Changelog](https://github.com/actions/checkout/blob/main/CHANGELOG.md)\n- [Commits](https://github.com/actions/checkout/compare/v4...v7)\n\n---\nupdated-dependenc\n[…]\nirect:production\n  update-type: version-update:semver-major\n...\n\nSigned-off-by: dependabot[bot] <support@github.com>\nCo-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>",
          "is_bot": true,
          "headline": "chore(deps): bump actions/checkout from 4 to 7 (#724)",
          "author_name": "dependabot[bot]",
          "author_login": "dependabot[bot]",
          "committed_at": "2026-07-14T18:53:46Z",
          "body_truncated": true,
          "is_coding_agent": false
        },
        {
          "oid": "7706f2ccee1d801855da9dbaa3c35cf3752cf0d3",
          "body": "…(#166) (#723)\n\n* chore(verify): bump ordeal 0.4 → 0.9 for the trap module (VCR-VER-002, #166)\n\nordeal 0.9.0 adds `ordeal::trap` — QF_BV trap-condition builders and\ntrap-preservation VCs (ordeal#59/TR-019). API-compatible bump: synth-verify\nbuilds clean and all 53 unit tests pass unchanged.\n\nRefs #1\n[…]\nal-verification (valid enum).\n\nRivet: 0 non-xref errors. claim_check 18/18.\n\nCo-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>\n\n---------\n\nCo-authored-by: Claude Opus 4.8 <noreply@anthropic.com>",
          "is_bot": false,
          "headline": "feat(verify): VCR-VER-002 — trap-preservation gate over ordeal::trap …",
          "author_name": "Ralf Anton Beier",
          "author_login": "avrabe",
          "committed_at": "2026-07-14T18:35:49Z",
          "body_truncated": true,
          "is_coding_agent": true
        },
        {
          "oid": "6a757bc4c1e6d3f47d897cf8fe071f8325a1e541",
          "body": "Bumps [wast](https://github.com/bytecodealliance/wasm-tools) from 252.0.0 to 253.0.0.\n- [Release notes](https://github.com/bytecodealliance/wasm-tools/releases)\n- [Commits](https://github.com/bytecodealliance/wasm-tools/commits)\n\n---\nupdated-dependencies:\n- dependency-name: wast\n  dependency-version\n[…]\nirect:production\n  update-type: version-update:semver-major\n...\n\nSigned-off-by: dependabot[bot] <support@github.com>\nCo-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>",
          "is_bot": true,
          "headline": "chore(deps): bump wast from 252.0.0 to 253.0.0 (#728)",
          "author_name": "dependabot[bot]",
          "author_login": "dependabot[bot]",
          "committed_at": "2026-07-13T22:12:56Z",
          "body_truncated": true,
          "is_coding_agent": false
        },
        {
          "oid": "d2d1d28592a0198552807dfd28d9ddfa15214b27",
          "body": "Bumps [wasmparser](https://github.com/bytecodealliance/wasm-tools) from 0.252.0 to 0.253.0.\n- [Release notes](https://github.com/bytecodealliance/wasm-tools/releases)\n- [Commits](https://github.com/bytecodealliance/wasm-tools/commits)\n\n---\nupdated-dependencies:\n- dependency-name: wasmparser\n  depend\n[…]\nirect:production\n  update-type: version-update:semver-minor\n...\n\nSigned-off-by: dependabot[bot] <support@github.com>\nCo-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>",
          "is_bot": true,
          "headline": "chore(deps): bump wasmparser from 0.252.0 to 0.253.0 (#730)",
          "author_name": "dependabot[bot]",
          "author_login": "dependabot[bot]",
          "committed_at": "2026-07-13T22:08:22Z",
          "body_truncated": true,
          "is_coding_agent": false
        },
        {
          "oid": "2302b48b867b5c9938c4dda12351bf20bd88b5f9",
          "body": "Bumps [wat](https://github.com/bytecodealliance/wasm-tools) from 1.252.0 to 1.253.0.\n- [Release notes](https://github.com/bytecodealliance/wasm-tools/releases)\n- [Commits](https://github.com/bytecodealliance/wasm-tools/compare/v1.252.0...v1.253.0)\n\n---\nupdated-dependencies:\n- dependency-name: wat\n  \n[…]\nirect:production\n  update-type: version-update:semver-minor\n...\n\nSigned-off-by: dependabot[bot] <support@github.com>\nCo-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>",
          "is_bot": true,
          "headline": "chore(deps): bump wat from 1.252.0 to 1.253.0 (#732)",
          "author_name": "dependabot[bot]",
          "author_login": "dependabot[bot]",
          "committed_at": "2026-07-13T21:58:12Z",
          "body_truncated": true,
          "is_coding_agent": false
        },
        {
          "oid": "a0568d2259e84858725bcecc41d81af859050852",
          "body": "Bumps [wit-parser](https://github.com/bytecodealliance/wasm-tools) from 0.252.0 to 0.253.0.\n- [Release notes](https://github.com/bytecodealliance/wasm-tools/releases)\n- [Commits](https://github.com/bytecodealliance/wasm-tools/commits)\n\n---\nupdated-dependencies:\n- dependency-name: wit-parser\n  depend\n[…]\nirect:production\n  update-type: version-update:semver-minor\n...\n\nSigned-off-by: dependabot[bot] <support@github.com>\nCo-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>",
          "is_bot": true,
          "headline": "chore(deps): bump wit-parser from 0.252.0 to 0.253.0 (#731)",
          "author_name": "dependabot[bot]",
          "author_login": "dependabot[bot]",
          "committed_at": "2026-07-13T21:57:54Z",
          "body_truncated": true,
          "is_coding_agent": false
        },
        {
          "oid": "31cb6108291588b1a2ae2a1ac1775d00c5b91795",
          "body": "Bumps [z3](https://github.com/prove-rs/z3.rs) from 0.19.15 to 0.20.2.\n- [Release notes](https://github.com/prove-rs/z3.rs/releases)\n- [Changelog](https://github.com/prove-rs/z3.rs/blob/master/release-plz.toml)\n- [Commits](https://github.com/prove-rs/z3.rs/compare/z3-v0.19.15...z3-v0.20.2)\n\n---\nupdat\n[…]\nirect:production\n  update-type: version-update:semver-minor\n...\n\nSigned-off-by: dependabot[bot] <support@github.com>\nCo-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>",
          "is_bot": true,
          "headline": "chore(deps): bump z3 from 0.19.15 to 0.20.2 (#733)",
          "author_name": "dependabot[bot]",
          "author_login": "dependabot[bot]",
          "committed_at": "2026-07-13T21:47:02Z",
          "body_truncated": true,
          "is_coding_agent": false
        }
      ],
      "releases_count": 100,
      "commits_last_year": 813,
      "latest_release_at": "2026-07-17T15:25:11Z",
      "latest_release_tag": "v0.49.0",
      "releases_from_tags": false,
      "days_since_last_push": 0,
      "active_weeks_last_year": 23,
      "days_since_latest_release": 5,
      "mean_days_between_releases": 0.2
    },
    "community": {
      "has_readme": true,
      "has_license": true,
      "has_description": true,
      "has_contributing": true,
      "health_percentage": 62,
      "has_issue_template": false,
      "has_code_of_conduct": false,
      "has_pull_request_template": false
    },
    "ecosystem": {
      "packages": [
        {
          "name": "@pulseengine/synth",
          "exists": true,
          "license": "Apache-2.0",
          "keywords": [
            "webassembly",
            "wasm",
            "compiler",
            "arm",
            "cortex-m",
            "riscv",
            "aarch64",
            "embedded",
            "bare-metal",
            "verified",
            "rocq",
            "coq",
            "rust",
            "cli"
          ],
          "ecosystem": "npm",
          "matches_repo": true,
          "registry_url": "https://www.npmjs.com/package/@pulseengine/synth",
          "is_deprecated": false,
          "latest_version": "0.49.0",
          "repository_url": "https://github.com/pulseengine/synth",
          "versions_count": 16,
          "total_downloads": null,
          "dependents_count": null,
          "deprecation_note": null,
          "maintainers_count": 1,
          "monthly_downloads": 3199,
          "first_published_at": "2026-07-10T22:21:00.882000Z",
          "latest_published_at": "2026-07-17T15:25:55.337000Z",
          "latest_version_yanked": null,
          "days_since_latest_publish": 5
        }
      ]
    },
    "popularity": {
      "forks": 0,
      "stars": 2,
      "watchers": 0,
      "fork_history": {
        "days": [],
        "complete": true,
        "collected": 0,
        "total_forks": 0
      },
      "star_history": null,
      "open_issues_and_prs": 3
    },
    "ai_readiness": {
      "has_nix": true,
      "example_dirs": [
        "examples"
      ],
      "has_llms_txt": false,
      "has_dockerfile": false,
      "has_mcp_signal": false,
      "bootstrap_files": [
        "coq/Makefile"
      ],
      "api_schema_files": [],
      "has_devcontainer": false,
      "typecheck_configs": [],
      "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"
      ],
      "largest_source_bytes": 1201434,
      "source_files_sampled": 381,
      "oversized_source_files": 18,
      "agent_instruction_files": [
        "AGENTS.md",
        "CLAUDE.md"
      ],
      "agent_instruction_max_bytes": 16657
    },
    "dependencies": {
      "manifests": [
        "Cargo.toml",
        "fuzz/Cargo.toml",
        "npm/package.json"
      ],
      "advisories": {
        "error": null,
        "scope": null,
        "source": null,
        "findings": [],
        "collected": false,
        "malicious": [],
        "truncated": false,
        "by_severity": {},
        "advisory_count": 0,
        "affected_count": 0,
        "assessed_count": 0,
        "malicious_count": 0,
        "assessed_package": null,
        "unassessed_count": 0,
        "direct_affected_count": 0
      },
      "ecosystems": [
        "crates",
        "npm"
      ],
      "dependencies": [],
      "all_dependencies": {
        "error": "GitHub dependency-graph SBOM unavailable (404); the dependency graph may be disabled for this repository",
        "source": null,
        "packages": [],
        "collected": false,
        "truncated": false,
        "total_count": null,
        "direct_count": null,
        "indirect_count": null
      }
    },
    "maintainership": {
      "issues": {
        "open_prs": 2,
        "merged_prs": 626,
        "open_issues": 1,
        "closed_ratio": 0.995,
        "closed_issues": 206,
        "closed_unmerged_prs": 8
      },
      "bus_factor": 1,
      "bot_contributors": 2,
      "top_contributors": [
        {
          "type": "User",
          "login": "avrabe",
          "commits": 614,
          "avatar_url": "https://avatars.githubusercontent.com/u/10056645?v=4"
        },
        {
          "type": "User",
          "login": "claude",
          "commits": 143,
          "avatar_url": "https://avatars.githubusercontent.com/u/81847?v=4"
        }
      ],
      "contributors_sampled": 2,
      "top_contributor_share": 0.811
    },
    "quality_signals": {
      "has_ci": true,
      "has_tests": true,
      "ci_workflows": [
        "ci.yml",
        "compliance.yml",
        "dependabot-auto-merge.yml",
        "fuzz-smoke.yml",
        "publish-to-crates-io.yml",
        "release-npm.yml",
        "release.yml",
        "signing-e2e.yml"
      ],
      "has_docs_dir": true,
      "linter_configs": [],
      "has_editorconfig": false,
      "has_linter_config": true,
      "has_precommit_config": true
    },
    "security_signals": {
      "lockfiles": [
        "Cargo.lock"
      ],
      "scorecard": {
        "checks": [
          {
            "name": "Binary-Artifacts",
            "score": 0,
            "reason": "binaries present in source code",
            "documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#binary-artifacts"
          },
          {
            "name": "Branch-Protection",
            "score": null,
            "reason": "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",
            "documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#branch-protection"
          },
          {
            "name": "CI-Tests",
            "score": 9,
            "reason": "27 out of 30 merged PRs checked by a CI test -- score normalized to 9",
            "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/16 approved changesets -- score normalized to 0",
            "documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#code-review"
          },
          {
            "name": "Contributors",
            "score": 6,
            "reason": "project has 2 contributing companies or organizations -- score normalized to 6",
            "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": 10,
            "reason": "update tool detected",
            "documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#dependency-update-tool"
          },
          {
            "name": "Fuzzing",
            "score": 10,
            "reason": "project is 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 0 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": 0,
            "reason": "dependency not pinned by hash detected -- score normalized to 0",
            "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": 10,
            "reason": "security policy file detected",
            "documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#security-policy"
          },
          {
            "name": "Signed-Releases",
            "score": 8,
            "reason": "5 out of the last 5 releases have a total of 5 signed artifacts.",
            "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": 8,
            "reason": "2 existing vulnerabilities detected",
            "documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#vulnerabilities"
          }
        ],
        "commit": "88383e694b2eb571627b056ad0eef7861439290f",
        "ran_at": "2026-07-22T20:06:27Z",
        "aggregate_score": 6,
        "scorecard_version": "v5.5.0"
      },
      "has_codeql_workflow": false,
      "has_security_policy": true,
      "has_dependabot_config": true
    },
    "contribution_flow": {
      "collected": true,
      "ci_last_run_at": "2026-07-22T19:50:50Z",
      "oldest_open_prs": [
        {
          "number": 819,
          "created_at": "2026-07-17T16:02:29Z",
          "last_comment_at": "2026-07-22T03:24:05Z",
          "last_comment_author": "avrabe"
        },
        {
          "number": 845,
          "created_at": "2026-07-22T19:54:00Z",
          "last_comment_at": null,
          "last_comment_author": null
        }
      ],
      "last_merged_pr_at": "2026-07-22T19:50:47Z",
      "ci_last_conclusion": null,
      "oldest_open_issues": [
        {
          "number": 242,
          "created_at": "2026-06-04T17:07:39Z",
          "last_comment_at": "2026-07-22T19:15:54Z",
          "last_comment_author": "avrabe"
        }
      ]
    }
  },
  "config": {
    "disabled_metrics": [],
    "disabled_categories": [],
    "disabled_components": {}
  },
  "source": {
    "url": "https://github.com/pulseengine/synth",
    "host": "github.com",
    "name": "synth",
    "owner": "pulseengine"
  },
  "metrics": {
    "overall": {
      "key": "overall",
      "band": "moderate",
      "name": "Overall health",
      "note": null,
      "notes": [],
      "value": 67,
      "inputs": {
        "security": 60,
        "vitality": 87,
        "community": 39,
        "governance": 61,
        "engineering": 85
      },
      "components": []
    },
    "categories": [
      {
        "key": "vitality",
        "band": "excellent",
        "name": "Vitality",
        "value": 87,
        "weight": 0.22,
        "metrics": [
          {
            "key": "development_activity",
            "band": "good",
            "name": "Development activity",
            "note": null,
            "notes": [],
            "value": 80,
            "inputs": {
              "commits_last_year": 813,
              "human_commit_share": 0.78,
              "days_since_last_push": 0,
              "active_weeks_last_year": 23
            },
            "components": [
              {
                "key": "push_recency",
                "name": "Push recency",
                "detail": "last push 0 days ago",
                "points": 36,
                "status": "met",
                "details": [
                  {
                    "code": "push_recency",
                    "params": {
                      "days": 0
                    }
                  }
                ],
                "max_points": 36
              },
              {
                "key": "commit_cadence",
                "name": "Commit cadence",
                "detail": "23/52 weeks with commits",
                "points": 15.9,
                "status": "partial",
                "details": [
                  {
                    "code": "commit_cadence_weeks",
                    "params": {
                      "weeks": 23
                    }
                  }
                ],
                "max_points": 36
              },
              {
                "key": "commit_volume",
                "name": "Commit volume",
                "detail": "813 commits in the last year",
                "points": 18,
                "status": "met",
                "details": [
                  {
                    "code": "commits_last_year",
                    "params": {
                      "count": 813
                    }
                  }
                ],
                "max_points": 18
              },
              {
                "key": "openssf_scorecard_maintained",
                "name": "OpenSSF Scorecard: Maintained",
                "detail": "30 commit(s) and 0 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": null,
            "notes": [],
            "value": 98,
            "inputs": {
              "releases_count": 100,
              "latest_release_tag": "v0.49.0",
              "releases_from_tags": false,
              "days_since_latest_release": 5,
              "mean_days_between_releases": 0.2
            },
            "components": [
              {
                "key": "ships_releases",
                "name": "Ships releases",
                "detail": "100 releases published",
                "points": 27,
                "status": "met",
                "details": [
                  {
                    "code": "releases_published",
                    "params": {
                      "count": 100
                    }
                  }
                ],
                "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 ~0.2 days",
                "points": 27,
                "status": "met",
                "details": [
                  {
                    "code": "release_cadence",
                    "params": {
                      "gap": 0.2
                    }
                  }
                ],
                "max_points": 27
              },
              {
                "key": "openssf_scorecard_signed_releases",
                "name": "OpenSSF Scorecard: Signed-Releases",
                "detail": "5 out of the last 5 releases have a total of 5 signed artifacts.",
                "points": 8,
                "status": "partial",
                "details": [],
                "max_points": 10
              }
            ]
          },
          {
            "key": "abandonment",
            "band": "excellent",
            "name": "Abandonment",
            "note": null,
            "notes": [],
            "value": 100,
            "inputs": {
              "cap": null,
              "state": "maintained",
              "guards": [],
              "signals": [],
              "red_flag": false,
              "multiplier_pct": 100,
              "declared_reason": null,
              "unverified_reason": null,
              "unanswered_open_prs": null,
              "unanswered_open_issues": null,
              "days_since_last_merged_pr": null,
              "days_since_last_human_commit": 0,
              "days_since_last_human_commit_is_floor": false
            },
            "components": [
              {
                "key": "project_is_still_maintained",
                "name": "Project is still maintained",
                "detail": "last human commit 0 days ago",
                "points": 100,
                "status": "met",
                "details": [
                  {
                    "code": "abandonment_maintained",
                    "params": {
                      "days": 0
                    }
                  }
                ],
                "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": 39,
        "weight": 0.18,
        "metrics": [
          {
            "key": "popularity",
            "band": "critical",
            "name": "Popularity & adoption",
            "note": null,
            "notes": [],
            "value": 1,
            "inputs": {
              "forks": 0,
              "stars": 2,
              "watchers": 0,
              "growth_state": "unverified",
              "growth_factor_pct": 100,
              "growth_unverified_reason": "no_history"
            },
            "components": [
              {
                "key": "stars",
                "name": "Stars",
                "detail": "2 stars",
                "points": 0,
                "status": "missed",
                "details": [
                  {
                    "code": "stars",
                    "params": {
                      "count": 2
                    }
                  }
                ],
                "max_points": 60
              },
              {
                "key": "forks",
                "name": "Forks",
                "detail": "0 forks",
                "points": 0,
                "status": "missed",
                "details": [
                  {
                    "code": "forks",
                    "params": {
                      "count": 0
                    }
                  }
                ],
                "max_points": 25
              },
              {
                "key": "watchers",
                "name": "Watchers",
                "detail": "0 watchers",
                "points": 0,
                "status": "missed",
                "details": [
                  {
                    "code": "watchers",
                    "params": {
                      "count": 0
                    }
                  }
                ],
                "max_points": 15
              }
            ]
          },
          {
            "key": "community_health",
            "band": "good",
            "name": "Community health",
            "note": null,
            "notes": [],
            "value": 70,
            "inputs": {
              "has_readme": true,
              "has_license": true,
              "has_contributing": true,
              "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 (Apache-2.0)",
                "points": 22.5,
                "status": "met",
                "details": [
                  {
                    "code": "license_standard",
                    "params": {}
                  },
                  {
                    "code": "license_spdx",
                    "params": {
                      "spdx": "Apache-2.0"
                    }
                  }
                ],
                "max_points": 22.5
              },
              {
                "key": "contributing_guide",
                "name": "CONTRIBUTING guide",
                "detail": null,
                "points": 18,
                "status": "met",
                "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": 58,
            "inputs": {
              "packages": [
                "@pulseengine/synth"
              ],
              "dependents": null,
              "ecosystems": "npm",
              "total_downloads": null,
              "monthly_downloads": 3199
            },
            "components": [
              {
                "key": "monthly_downloads",
                "name": "Monthly downloads",
                "detail": "3,199 downloads/month across npm",
                "points": 46.7,
                "status": "partial",
                "details": [
                  {
                    "code": "downloads_monthly",
                    "params": {
                      "count": 3199,
                      "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": 61,
        "weight": 0.24,
        "metrics": [
          {
            "key": "maintainer_resilience",
            "band": "critical",
            "name": "Maintainer resilience (bus factor)",
            "note": null,
            "notes": [],
            "value": 22,
            "inputs": {
              "bus_factor": 1,
              "contributors_sampled": 2,
              "top_contributor_share": 0.811
            },
            "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 81% of commits",
                "points": 4.3,
                "status": "partial",
                "details": [
                  {
                    "code": "top_contributor_share",
                    "params": {
                      "share": 81
                    }
                  }
                ],
                "max_points": 22.5
              },
              {
                "key": "contributor_breadth",
                "name": "Contributor breadth",
                "detail": "2 contributors",
                "points": 2.7,
                "status": "partial",
                "details": [
                  {
                    "code": "contributors_sampled",
                    "params": {
                      "count": 2
                    }
                  }
                ],
                "max_points": 13.5
              },
              {
                "key": "openssf_scorecard_contributors",
                "name": "OpenSSF Scorecard: Contributors",
                "detail": "project has 2 contributing companies or organizations -- score normalized to 6",
                "points": 6,
                "status": "partial",
                "details": [],
                "max_points": 10
              }
            ]
          },
          {
            "key": "responsiveness",
            "band": "good",
            "name": "Issue & PR responsiveness",
            "note": null,
            "notes": [],
            "value": 84,
            "inputs": {
              "merged_prs": 626,
              "open_issues": 1,
              "closed_issues": 206,
              "issue_closed_ratio": 0.995,
              "closed_unmerged_prs": 8
            },
            "components": [
              {
                "key": "issue_resolution",
                "name": "Issue resolution",
                "detail": "100% of issues closed",
                "points": 46.5,
                "status": "partial",
                "details": [
                  {
                    "code": "issues_closed_share",
                    "params": {
                      "share": 100
                    }
                  }
                ],
                "max_points": 46.75
              },
              {
                "key": "pr_acceptance",
                "name": "PR acceptance",
                "detail": "626/634 decided PRs merged",
                "points": 37.8,
                "status": "partial",
                "details": [
                  {
                    "code": "decided_prs_merged",
                    "params": {
                      "merged": 626,
                      "decided": 634
                    }
                  }
                ],
                "max_points": 38.25
              },
              {
                "key": "openssf_scorecard_code_review",
                "name": "OpenSSF Scorecard: Code-Review",
                "detail": "Found 0/16 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": 13,
              "owner_type": "Organization",
              "is_verified": null,
              "owner_login": "pulseengine",
              "public_repos": 46,
              "account_age_days": 424
            },
            "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": "13 followers of pulseengine",
                "points": 8.2,
                "status": "partial",
                "details": [
                  {
                    "code": "owner_followers",
                    "params": {
                      "count": 13,
                      "login": "pulseengine"
                    }
                  }
                ],
                "max_points": 25
              },
              {
                "key": "track_record",
                "name": "Track record",
                "detail": "46 public repos, account ~1 yr old",
                "points": 14.5,
                "status": "partial",
                "details": [
                  {
                    "code": "public_repos",
                    "params": {
                      "count": 46
                    }
                  },
                  {
                    "code": "account_age_years",
                    "params": {
                      "years": 1
                    }
                  }
                ],
                "max_points": 25
              }
            ]
          },
          {
            "key": "package_maintenance",
            "band": "excellent",
            "name": "Package maintenance",
            "note": null,
            "notes": [],
            "value": 100,
            "inputs": {
              "packages": [
                "@pulseengine/synth"
              ],
              "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": "16 published versions",
                "points": 20,
                "status": "met",
                "details": [
                  {
                    "code": "published_versions",
                    "params": {
                      "count": 16
                    }
                  }
                ],
                "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": "excellent",
        "name": "Engineering Quality",
        "value": 85,
        "weight": 0.2,
        "metrics": [
          {
            "key": "engineering_practices",
            "band": "excellent",
            "name": "Engineering practices",
            "note": null,
            "notes": [],
            "value": 92,
            "inputs": {
              "has_ci": true,
              "has_tests": true,
              "has_editorconfig": false,
              "has_linter_config": true,
              "has_precommit_config": true
            },
            "components": [
              {
                "key": "ci_workflows",
                "name": "CI workflows",
                "detail": "8 workflow(s)",
                "points": 24,
                "status": "met",
                "details": [
                  {
                    "code": "ci_workflows",
                    "params": {
                      "count": 8
                    }
                  }
                ],
                "max_points": 24
              },
              {
                "key": "tests_present",
                "name": "Tests present",
                "detail": null,
                "points": 24,
                "status": "met",
                "details": [],
                "max_points": 24
              },
              {
                "key": "linter_config",
                "name": "Linter config",
                "detail": null,
                "points": 16,
                "status": "met",
                "details": [],
                "max_points": 16
              },
              {
                "key": "pre_commit_hooks",
                "name": "Pre-commit hooks",
                "detail": null,
                "points": 9.6,
                "status": "met",
                "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": "27 out of 30 merged PRs checked by a CI test -- score normalized to 9",
                "points": 18,
                "status": "partial",
                "details": [],
                "max_points": 20
              }
            ]
          },
          {
            "key": "documentation",
            "band": "good",
            "name": "Documentation",
            "note": null,
            "notes": [],
            "value": 75,
            "inputs": {
              "topics": [
                "arm",
                "compiler",
                "embedded",
                "formal-verification",
                "webassembly",
                "pulseengine",
                "rust",
                "aarch64",
                "riscv",
                "wcet"
              ],
              "has_wiki": false,
              "homepage": null,
              "has_readme": true,
              "has_docs_dir": true,
              "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": 25,
                "status": "met",
                "details": [],
                "max_points": 25
              },
              {
                "key": "documentation_homepage_site",
                "name": "Documentation / homepage site",
                "detail": null,
                "points": 0,
                "status": "missed",
                "details": [],
                "max_points": 15
              },
              {
                "key": "repository_description",
                "name": "Repository description",
                "detail": null,
                "points": 10,
                "status": "met",
                "details": [],
                "max_points": 10
              },
              {
                "key": "topics",
                "name": "Topics",
                "detail": "10 topics",
                "points": 10,
                "status": "met",
                "details": [
                  {
                    "code": "topics_count",
                    "params": {
                      "count": 10
                    }
                  }
                ],
                "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": "moderate",
        "name": "Security",
        "value": 60,
        "weight": 0.16,
        "metrics": [
          {
            "key": "security_posture",
            "band": "moderate",
            "name": "Security posture",
            "note": "Excluded from scoring (no data or not applicable): Branch-Protection. Remaining weights renormalized.",
            "notes": [
              {
                "code": "excluded_no_data",
                "params": {
                  "components": [
                    "branch_protection"
                  ]
                }
              },
              {
                "code": "weights_renormalized",
                "params": {}
              }
            ],
            "value": 60,
            "inputs": {
              "source": "openssf_scorecard",
              "checks_evaluated": 17,
              "scorecard_version": "v5.5.0",
              "checks_inconclusive": 1,
              "scorecard_aggregate": 6
            },
            "components": [
              {
                "key": "binary_artifacts",
                "name": "Binary-Artifacts",
                "detail": "binaries present in source code",
                "points": 0,
                "status": "missed",
                "details": [],
                "max_points": 7.5
              },
              {
                "key": "branch_protection",
                "name": "Branch-Protection",
                "detail": "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",
                "points": 0,
                "status": "excluded",
                "details": [
                  {
                    "code": "no_data",
                    "params": {}
                  }
                ],
                "max_points": 7.5
              },
              {
                "key": "ci_tests",
                "name": "CI-Tests",
                "detail": "27 out of 30 merged PRs checked by a CI test -- score normalized to 9",
                "points": 2.2,
                "status": "partial",
                "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/16 approved changesets -- score normalized to 0",
                "points": 0,
                "status": "missed",
                "details": [],
                "max_points": 7.5
              },
              {
                "key": "contributors",
                "name": "Contributors",
                "detail": "project has 2 contributing companies or organizations -- score normalized to 6",
                "points": 1.5,
                "status": "partial",
                "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": "update tool detected",
                "points": 7.5,
                "status": "met",
                "details": [],
                "max_points": 7.5
              },
              {
                "key": "fuzzing",
                "name": "Fuzzing",
                "detail": "project is fuzzed",
                "points": 5,
                "status": "met",
                "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 0 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 0",
                "points": 0,
                "status": "missed",
                "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 detected",
                "points": 5,
                "status": "met",
                "details": [],
                "max_points": 5
              },
              {
                "key": "signed_releases",
                "name": "Signed-Releases",
                "detail": "5 out of the last 5 releases have a total of 5 signed artifacts.",
                "points": 6,
                "status": "partial",
                "details": [],
                "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": "2 existing vulnerabilities detected",
                "points": 6,
                "status": "partial",
                "details": [],
                "max_points": 7.5
              }
            ]
          },
          {
            "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": 2
            },
            "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": "good",
        "name": "AI Readiness",
        "value": 82,
        "weight": 0,
        "metrics": [
          {
            "key": "ai_agent_context",
            "band": "excellent",
            "name": "Agent context & guidance",
            "note": null,
            "notes": [],
            "value": 85,
            "inputs": {
              "has_llms_txt": false,
              "legible_history_share": 1,
              "agent_instruction_files": [
                "AGENTS.md",
                "CLAUDE.md"
              ],
              "agent_instruction_max_bytes": 16657
            },
            "components": [
              {
                "key": "agent_instructions",
                "name": "Agent instructions",
                "detail": "AGENTS.md, CLAUDE.md",
                "points": 45,
                "status": "met",
                "details": [
                  {
                    "code": "file_list",
                    "params": {
                      "files": "AGENTS.md, CLAUDE.md"
                    }
                  }
                ],
                "max_points": 45
              },
              {
                "key": "machine_readable_docs_llms_txt",
                "name": "Machine-readable docs (llms.txt)",
                "detail": null,
                "points": 0,
                "status": "missed",
                "details": [],
                "max_points": 15
              },
              {
                "key": "legible_commit_history",
                "name": "Legible commit history",
                "detail": "78 of 78 human commits state their intent (structured subject or explanatory body)",
                "points": 40,
                "status": "met",
                "details": [
                  {
                    "code": "legible_history",
                    "params": {
                      "legible": 78,
                      "sampled": 78
                    }
                  }
                ],
                "max_points": 40
              }
            ]
          },
          {
            "key": "ai_verify_loop",
            "band": "excellent",
            "name": "Verify loop (build / test / typecheck)",
            "note": null,
            "notes": [],
            "value": 90,
            "inputs": {
              "has_nix": true,
              "has_tests": true,
              "lockfiles": [
                "Cargo.lock"
              ],
              "has_dockerfile": false,
              "typed_language": true,
              "bootstrap_files": [
                "coq/Makefile"
              ],
              "has_devcontainer": false,
              "has_linter_config": true,
              "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
            },
            "components": [
              {
                "key": "one_command_bootstrap",
                "name": "One-command bootstrap",
                "detail": "coq/Makefile",
                "points": 18,
                "status": "met",
                "details": [
                  {
                    "code": "file_list",
                    "params": {
                      "files": "coq/Makefile"
                    }
                  }
                ],
                "max_points": 18
              },
              {
                "key": "automated_tests",
                "name": "Automated tests",
                "detail": null,
                "points": 22,
                "status": "met",
                "details": [],
                "max_points": 22
              },
              {
                "key": "lint_format_config",
                "name": "Lint / format config",
                "detail": null,
                "points": 11,
                "status": "met",
                "details": [],
                "max_points": 11
              },
              {
                "key": "static_type_checking",
                "name": "Static type checking",
                "detail": "Rust (statically typed)",
                "points": 11,
                "status": "met",
                "details": [
                  {
                    "code": "statically_typed_language",
                    "params": {
                      "language": "Rust"
                    }
                  }
                ],
                "max_points": 11
              },
              {
                "key": "reproducible_environment",
                "name": "Reproducible environment",
                "detail": "Nix, lockfile",
                "points": 10,
                "status": "met",
                "details": [
                  {
                    "code": "file_list",
                    "params": {
                      "files": "Nix, lockfile"
                    }
                  }
                ],
                "max_points": 10
              },
              {
                "key": "demonstrated_agent_practice",
                "name": "Demonstrated agent practice",
                "detail": "76 of the last 100 commits agent-authored or agent-credited",
                "points": 10,
                "status": "met",
                "details": [
                  {
                    "code": "agent_authored_commits",
                    "params": {
                      "count": 76,
                      "sampled": 100
                    }
                  }
                ],
                "max_points": 10
              },
              {
                "key": "automated_maintenance",
                "name": "Automated maintenance",
                "detail": "22 of the last 100 commits are automated dependency updates",
                "points": 8,
                "status": "met",
                "details": [
                  {
                    "code": "dependency_bot_commits",
                    "params": {
                      "count": 22,
                      "sampled": 100
                    }
                  }
                ],
                "max_points": 8
              },
              {
                "key": "openssf_scorecard_pinned_dependencies",
                "name": "OpenSSF Scorecard: Pinned-Dependencies",
                "detail": "dependency not pinned by hash detected -- score normalized to 0",
                "points": 0,
                "status": "missed",
                "details": [],
                "max_points": 10
              }
            ]
          },
          {
            "key": "ai_code_legibility",
            "band": "excellent",
            "name": "Code legibility for models",
            "note": null,
            "notes": [],
            "value": 97,
            "inputs": {
              "primary_language": "Rust",
              "largest_source_bytes": 1201434,
              "source_files_sampled": 381,
              "oversized_source_files": 18
            },
            "components": [
              {
                "key": "type_checkable_code",
                "name": "Type-checkable code",
                "detail": "Rust (statically typed)",
                "points": 45,
                "status": "met",
                "details": [
                  {
                    "code": "statically_typed_language",
                    "params": {
                      "language": "Rust"
                    }
                  }
                ],
                "max_points": 45
              },
              {
                "key": "manageable_file_sizes",
                "name": "Manageable file sizes",
                "detail": "18/381 source files over 60KB",
                "points": 52.4,
                "status": "partial",
                "details": [
                  {
                    "code": "oversized_source_files",
                    "params": {
                      "kb": 60,
                      "sampled": 381,
                      "oversized": 18
                    }
                  }
                ],
                "max_points": 55
              }
            ]
          },
          {
            "key": "ai_interfaces",
            "band": "at_risk",
            "name": "Machine-readable interfaces",
            "note": null,
            "notes": [],
            "value": 40,
            "inputs": {
              "example_dirs": [
                "examples"
              ],
              "has_mcp_signal": false,
              "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": 0,
                "status": "missed",
                "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",
    "deps.dev does not index npm:@pulseengine/synth@0.49.0; advisories assessed against the repository dependency graph instead"
  ],
  "report_type": "repository",
  "generated_at": "2026-07-22T20:06:46.343518Z",
  "schema_version": "0.26.0",
  "badge_url": "https://raw.githubusercontent.com/inspect-software/badges/main/v1/p/pulseengine/synth.svg",
  "full_name": "pulseengine/synth",
  "license_state": "standard",
  "license_spdx": "Apache-2.0"
}
Las puntuaciones son señales, no garantías. Reflejan prácticas públicamente visibles en GitHub; no son una auditoría de código ni una garantía de seguridad.
Los datos ausentes se excluyen y los pesos se renormalizan; nunca se puntúan como cero. La metodología es versionada y abierta: métricas v1.13.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

Registros relacionados
