Software-GesundheitsberichtSchema 0.26.0 · Metriken 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 Sterne⑂ 0 Forksseit Nov. 2025Auf GitHub ansehen ↗
#arm #compiler #embedded #formal-verification #webassembly #pulseengine #rust #aarch64 #riscv #wcet
pulseengine/synth erreicht einen Gesundheitsindex von 67 von 100 und liegt damit im Bereich Mittel. Am stärksten schneidet es bei Vitality (87/100) ab, am schwächsten bei Community & Adoption (39/100). Zuletzt heute aktualisiert. Ein einzelner Mitwirkender trägt den Großteil der jüngsten Arbeit.
gesamt / 100
Mittel
Software-Gesundheitsindex

Metriken werden auf einer Skala von 1–100 in gewichtete Kategorien gruppiert. Der Gesamtwert beginnt als ihr Mittel; sobald öffentliche Evidenz die Richtlinie für Hochrisikojurisdiktionen auslöst, wird die Bewertung angepasst und erhält die Obergrenze 49 (Gefährdet). AI Readiness liegt außerhalb.
Exzellent85-100Vorbildlich; erfüllt im Wesentlichen alle geprüften Kriterien
Gut70-84Gesund; geringfügige Lücken
Mittel50-69Akzeptabel mit deutlichen Lücken; Überprüfung empfohlen
Gefährdet30-49Erhebliche Schwächen; eine Übernahme erfordert Vorsicht
Kritisch1-29Schwerwiegende Probleme (aufgegeben, nur ein Maintainer, keine Hygiene)
Bewertungsprofil

Jede Achse ist eine Kategorie. Die Form zählt mehr als der Durchschnitt — ein gesundes Projekt füllt die gesamte Fläche, während ein Profil aus Spitzen und Kratern bedeutet, dass Stärke in einer Dimension Risiken in einer anderen verdeckt.
Eigentümerschaft

pulseengineOrganisation
13 Follower46 öffentliche Reposseit Mai 2025
Dieses Repository wird von einer Organisation getragen — geteilte, rechenschaftspflichtige Trägerschaft, die jeden einzelnen Maintainer überdauern kann.
Paket-Ökosysteme

Registry	Paket	Version	Downloads / Monat	Versionen	Zuletzt veröffentlicht	Tags
npm	@pulseengine/synth	0.49.0	3.199	16	vor 5 Tagen	webassembly wasm compiler arm cortex-m riscv aarch64 embedded bare-metal verified rocq coq rust cli
Metriken nach Kategorie

Vitalität

Lebt das Projekt — wird Code geschrieben und werden Releases ausgeliefert?
87Exzellent · 22 % des Gesamtindex
Entwicklungsaktivität

80Gut
Wie die Bewertung erfolgt
36/36	Push-Aktualität — letzter Push vor 0 Tagen
15.9/36	Commit-Rhythmus — 23/52 Wochen mit Commits
18/18	Commit-Volumen — 813 Commits im letzten Jahr
10/10	OpenSSF Scorecard: Maintained — 30 commit(s) and 0 issue activity found in the last 90 days -- score normalized to 10
Verwendete Eingangsdaten
commits_last_year	813
human_commit_share	0,78
days_since_last_push	0
active_weeks_last_year	23
Release-Disziplin

98Exzellent
Wie die Bewertung erfolgt
27/27	Liefert Releases aus — 100 Releases veröffentlicht
36/36	Release-Aktualität — letztes Release vor 5 Tagen
27/27	Release-Rhythmus — ein Release etwa alle 0,2 Tage
8/10	OpenSSF Scorecard: Signed-Releases — 5 out of the last 5 releases have a total of 5 signed artifacts.
Verwendete Eingangsdaten
releases_count	100
latest_release_tag	v0.49.0
releases_from_tags	nein
days_since_latest_release	5
mean_days_between_releases	0,2
Community & Verbreitung

Hat das Projekt Nutzer, Downloads, Aufmerksamkeit und ein einladendes Umfeld für Beitragende?
39Gefährdet · 18 % des Gesamtindex
Popularität & Verbreitung

1Kritisch
Wie die Bewertung erfolgt
0/60	Stars — 2 Stars
0/25	Forks — 0 Forks
0/15	Watcher — 0 Watcher
Verwendete Eingangsdaten
forks	0
stars	2
watchers	0
growth_state	unverified
growth_factor_pct	100
growth_unverified_reason	no_history
Community-Gesundheit

70Gut
Wie die Bewertung erfolgt
22.5/22.5	README
22.5/22.5	Lizenz — anerkannte Lizenz (Apache-2.0)
18/18	CONTRIBUTING-Leitfaden
0/13.5	Verhaltenskodex
0/7.2	Issue-Vorlage
0/6.3	PR-Vorlage
Verwendete Eingangsdaten
has_readme	ja
has_license	ja
has_contributing	ja
has_issue_template	nein
has_code_of_conduct	nein
has_pull_request_template	nein
Ökosystem-Verbreitung (Downloads)

58Mittel
Wie die Bewertung erfolgt
46.7/80	Downloads pro Monat — 3.199 Downloads/Monat über npm
0/20	Abhängige in der Registry — von diesem Ökosystem nicht ausgewiesen
Verwendete Eingangsdaten
packages	@pulseengine/synth
dependents	—
ecosystems	npm
total_downloads	—
monthly_downloads	3.199
Von der Bewertung ausgeschlossen (keine Daten oder nicht anwendbar): Abhängige in der Registry. Die verbleibenden Gewichte wurden renormalisiert.
Nachhaltigkeit & Governance

Überdauert das Projekt die Menschen, die es tragen — Bus-Faktor, Reaktionsfähigkeit, Trägerschaft und Paketpflege?
61Mittel · 24 % des Gesamtindex
Maintainer-Resilienz (Bus-Faktor)

22Kritisch
Wie die Bewertung erfolgt
9/54	Bus-Faktor — 1 Beitragende decken die Hälfte aller Commits ab
4.3/22.5	Commit-Verteilung — wichtigste beitragende Person verfasste 81 % der Commits
2.7/13.5	Breite der Beitragenden — 2 Beitragende
6/10	OpenSSF Scorecard: Contributors — project has 2 contributing companies or organizations -- score normalized to 6
Verwendete Eingangsdaten
bus_factor	1
contributors_sampled	2
top_contributor_share	0,811
Reaktionsfähigkeit bei Issues & PRs

84Gut
Wie die Bewertung erfolgt
46.5/46.8	Issue-Lösungsquote — 100 % der Issues geschlossen
37.8/38.3	PR-Annahme — 626/634 entschiedene PRs gemergt
0/15	OpenSSF Scorecard: Code-Review — Found 0/16 approved changesets -- score normalized to 0
Verwendete Eingangsdaten
merged_prs	626
open_issues	1
closed_issues	206
issue_closed_ratio	0,995
closed_unmerged_prs	8
Eigentümerschaft & Trägerschaft

53Mittel
Wie die Bewertung erfolgt
30/30	Organisatorische Trägerschaft — im Besitz einer Organisation
0/20	Verifizierte Domain
8.2/25	Reichweite des Inhabers — 13 Follower von pulseengine
14.5/25	Kontohistorie — 46 öffentliche Repos, Kontoalter ca. 1 Jahre
Verwendete Eingangsdaten
followers	13
owner_type	Organization
is_verified	—
owner_login	pulseengine
public_repos	46
account_age_days	424
Paketpflege

100Exzellent
Wie die Bewertung erfolgt
25/25	Veröffentlicht & auflösbar — 1 Paket(e) auf npm
35/35	Veröffentlichungsaktualität — letzte Veröffentlichung vor 5 Tagen
20/20	Versionshistorie — 16 veröffentlichte Versionen
20/20	Nicht veraltet — aktiv, nicht veraltet oder zurückgezogen
Verwendete Eingangsdaten
packages	@pulseengine/synth
ecosystems	npm
any_deprecated	nein
min_days_since_publish	5
Engineering-Qualität

Sind grundlegende Engineering- und Dokumentationspraktiken vorhanden?
85Exzellent · 20 % des Gesamtindex
Engineering-Praktiken

92Exzellent
Wie die Bewertung erfolgt
24/24	CI-Workflows — 8 Workflow(s)
24/24	Tests vorhanden
16/16	Linter-Konfiguration
9.6/9.6	Pre-Commit-Hooks
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
Verwendete Eingangsdaten
has_ci	ja
has_tests	ja
has_editorconfig	nein
has_linter_config	ja
has_precommit_config	ja
Dokumentation

75Gut
Wie die Bewertung erfolgt
30/30	README
25/25	Dokumentationsverzeichnis
0/15	Dokumentations-/Homepage-Site
10/10	Repository-Beschreibung
10/10	Topics — 10 Topics
0/10	Wiki
Verwendete Eingangsdaten
topics	arm, compiler, embedded, formal-verification, webassembly, pulseengine, rust, aarch64, riscv, wcet
has_wiki	nein
homepage	—
has_readme	ja
has_docs_dir	ja
has_description	ja
Sicherheit

Sind die sichtbaren Sicherheits- und Lieferkettenpraktiken belastbar, ohne ungeklärte Exposition gegenüber Hochrisikojurisdiktionen?
60Mittel · 16 % des Gesamtindex
Sicherheitslage

60Mittel
Wie die Bewertung erfolgt
0/7.5	Binary-Artifacts — binaries present in source code
0/7.5	Branch-Protection — keine Daten
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	Lizenz — 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
Verwendete Eingangsdaten
source	openssf_scorecard
checks_evaluated	17
scorecard_version	v5.5.0
checks_inconclusive	1
scorecard_aggregate	6
Von der Bewertung ausgeschlossen (keine Daten oder nicht anwendbar): branch_protection. Die verbleibenden Gewichte wurden renormalisiert.
AI Readiness

Wie gut ist das Repository dafür ausgestattet, mit KI-Coding-Agenten entwickelt und gepflegt zu werden? Ein unabhängiges, experimentelles Badge — Gewicht 0,0, es wird eigenständig ausgewiesen und verändert den Gesamt-Gesundheitswert nicht.
82Gut · 0 % des Gesamtindex
AI-Agentenkontext & Leitlinien

85Exzellent
Wie die Bewertung erfolgt
45/45	Agentenanweisungen — AGENTS.md, CLAUDE.md
0/15	Maschinenlesbare Doku (llms.txt)
40/40	Lesbare Commit-Historie — 78 von 78 menschlichen Commits benennen ihre Absicht (strukturierter Betreff oder erläuternder Text)
Verwendete Eingangsdaten
has_llms_txt	nein
legible_history_share	1
agent_instruction_files	AGENTS.md, CLAUDE.md
agent_instruction_max_bytes	16.657
AI-Verify-Loop (Build / Test / Typprüfung)

90Exzellent
Wie die Bewertung erfolgt
18/18	Bootstrap mit einem Befehl — coq/Makefile
22/22	Automatisierte Tests
11/11	Lint-/Format-Konfiguration
11/11	Statische Typprüfung — Rust (statisch typisiert)
10/10	Reproduzierbare Umgebung — Nix, lockfile
10/10	Belegte Agentenpraxis — 76 der letzten 100 Commits von Agenten verfasst oder ihnen zugeschrieben
8/8	Automatisierte Wartung — 22 der letzten 100 Commits sind automatisierte Abhängigkeits-Updates
0/10	OpenSSF Scorecard: Pinned-Dependencies — dependency not pinned by hash detected -- score normalized to 0
Verwendete Eingangsdaten
has_nix	ja
has_tests	ja
lockfiles	Cargo.lock
has_dockerfile	nein
typed_language	ja
bootstrap_files	coq/Makefile
has_devcontainer	nein
has_linter_config	ja
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
AI-Code-Lesbarkeit für Modelle

97Exzellent
Wie die Bewertung erfolgt
45/45	Typprüfbarer Code — Rust (statisch typisiert)
52.4/55	Handhabbare Dateigrößen — 18/381 Quelldateien über 60 KB
Verwendete Eingangsdaten
primary_language	Rust
largest_source_bytes	1.201.434
source_files_sampled	381
oversized_source_files	18
Maschinenlesbare AI-Schnittstellen

40Gefährdet
Wie die Bewertung erfolgt
0/40	API-Schema (OpenAPI/GraphQL/proto)
0/20	MCP-Server
40/40	Lauffähige Beispiele — examples
Verwendete Eingangsdaten
example_dirs	examples
has_mcp_signal	nein
api_schema_files	—
Eckdaten

2GitHub-Sterne
2Mitwirkende
813Commits, letzte 12 Monate
0Tage seit letztem Push
100Releases
1Bus-Faktor
1offene Issues
crates.io, npmPaket-Ökosysteme
Warnungen zur Datenerhebung

Star history unavailable: GitHub GraphQL error: Resource not accessible by personal access token
GitHub dependency-graph SBOM unavailable (404); the dependency graph may be disabled for this repository
deps.dev does not index npm:@pulseengine/synth@0.49.0; advisories assessed against the repository dependency graph instead
Weitere Details

OpenSSF Scorecard 6.0 / 10
6.0Gesamtwert
Unabhängige, werkzeugneutrale Sicherheitsbewertung durch das quelloffene OpenSSF Scorecard. Jede Prüfung honoriert eine Sicherheits-Praxis, nicht das Werkzeug eines bestimmten Anbieters. Prüfungen, die Scorecard nicht ermitteln konnte, sind mit k. A. markiert und vom Sicherheitswert ausgeschlossen (nie als null gezählt).Scorecard v5.5.0 · 2026-07-22 20:06 UTC
0	Binary-Artifacts	binaries present in source code
k. A.	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
Alle Abhängigkeiten nicht erhoben
Der aufgelöste Abhängigkeitssatz konnte für diesen Bericht nicht erhoben werden: GitHub dependency-graph SBOM unavailable (404); the dependency graph may be disabled for this repository
JSON-Rohbericht maschinenlesbar
{
  "data": {
    "repo": {
      "topics": [
        "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"
}
Bewertungen sind Signale, keine Garantien. Sie spiegeln öffentlich sichtbare Praxis auf GitHub wider — kein Code-Audit und keine Sicherheitsgarantie.
Fehlende Daten werden ausgeschlossen und die Gewichte neu normiert, nie als null bewertet. Die Methodik ist versioniert und offen: Metriken v1.13.0, Schema v0.26.0 — vollständige Methodik · Metriken-Wiki.
Wie ein einzelnes Ergebnis im Gesamtregister steht: aggregierte Statistiken — npm.
Software-Gesundheitsindex

Bewertungsprofil

Eigentümerschaft

Paket-Ökosysteme

Metriken nach Kategorie

Eckdaten

Warnungen zur Datenerhebung

Weitere Details

Verwandte Einträge
