软件健康报告模式 0.26.0 · 指标 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 星标⑂ 0 复刻始于 2025年11月在 GitHub 上查看 ↗
#arm #compiler #embedded #formal-verification #webassembly #pulseengine #rust #aarch64 #riscv #wcet
pulseengine/synth 的健康指数为 100 分中的 67 分，处于「中等」区间。其得分最高的类别是Vitality（87/100），最低的是Community & Adoption（39/100）。最近一次更新在今天。近期的大部分工作由 1 位贡献者完成。
总分 / 100
中等
软件健康指数

指标归入加权类别，统一采用 1–100 量表。总体分先取类别加权平均；当公开证据触发高风险司法辖区政策时，评级会按政策调整，并设置 49（有风险）的上限。AI 就绪度不计入总体分。
优秀85-100堪称典范；基本满足所有检验标准
良好70-84健康；仅有轻微不足
中等50-69可接受，但存在明显不足；建议进行审查
存在风险30-49存在重大薄弱环节；采用时应保持审慎
危急1-29问题严重（项目被弃置、仅有单一维护者、缺乏基本工程规范）
评分画像

每条轴代表一个类别。形状比平均值更重要——健康的对象会填满整个图形，而“一峰一谷”式画像意味着某一维度的优势正掩盖另一维度的风险。
所有权

pulseengine组织
13 关注者46 个公开仓库始于 2025年5月
该仓库由组织支持——共同承担、可问责的托管责任，可延续于任何单一维护者之后。
软件包生态系统

注册表	软件包	版本	月下载量	版本数	最近发布	标签
npm	@pulseengine/synth	0.49.0	3,199	16	5 天前	webassembly wasm compiler arm cortex-m riscv aarch64 embedded bare-metal verified rocq coq rust cli
按类别列示的指标

活力

项目是否仍有生命——是否仍在编写代码，是否仍在发布版本？
87优秀 · 占总体的 22%
开发活跃度

80良好
评分方式
36/36	推送新近度 — 最近一次推送于 0 天前
15.9/36	提交节奏 — 52 周中有 23 周有提交
18/18	提交量 — 最近一年 813 次提交
10/10	OpenSSF Scorecard：Maintained — 30 commit(s) and 0 issue activity found in the last 90 days -- score normalized to 10
所用输入
commits_last_year	813
human_commit_share	0.78
days_since_last_push	0
active_weeks_last_year	23
发布纪律

98优秀
评分方式
27/27	有发布版本 — 已发布 100 个发布版本
36/36	发布时效 — 最近一次发布版本于 5 天前
27/27	发布节奏 — 约每 0.2 天发布一次
8/10	OpenSSF Scorecard：Signed-Releases — 5 out of the last 5 releases have a total of 5 signed artifacts.
所用输入
releases_count	100
latest_release_tag	v0.49.0
releases_from_tags	否
days_since_latest_release	5
mean_days_between_releases	0.2
社区与采用

项目是否拥有用户、下载量与关注度，并具备欢迎贡献者参与的配置？
39存在风险 · 占总体的 18%
流行度与采用

1危急
评分方式
0/60	星标 — 2 个星标
0/25	复刻 — 0 个复刻
0/15	关注者 — 0 位关注者
所用输入
forks	0
stars	2
watchers	0
growth_state	unverified
growth_factor_pct	100
growth_unverified_reason	no_history
社区健康

70良好
评分方式
22.5/22.5	README
22.5/22.5	许可证 — 可识别的许可证（Apache-2.0）
18/18	CONTRIBUTING 指南
0/13.5	行为准则
0/7.2	议题模板
0/6.3	PR 模板
所用输入
has_readme	是
has_license	是
has_contributing	是
has_issue_template	否
has_code_of_conduct	否
has_pull_request_template	否
生态采用（下载量）

58中等
评分方式
46.7/80	月度下载量 — npm 合计每月 3,199 次下载
0/20	注册表被依赖数 — 该生态系统不报告此项
所用输入
packages	@pulseengine/synth
dependents	—
ecosystems	npm
total_downloads	—
monthly_downloads	3,199
已排除计分（无数据或不适用）：注册表被依赖数。其余权重已重新归一化。
可持续性与治理

项目能否在其成员之外延续——巴士系数、响应能力、由谁支持，以及软件包的维护状况？
61中等 · 占总体的 24%
维护者韧性（巴士系数）

22危急
评分方式
9/54	巴士系数 — 1 位贡献者贡献了半数提交
4.3/22.5	提交分布 — 头号贡献者编写了 81% 的提交
2.7/13.5	贡献者广度 — 2 位贡献者
6/10	OpenSSF Scorecard：Contributors — project has 2 contributing companies or organizations -- score normalized to 6
所用输入
bus_factor	1
contributors_sampled	2
top_contributor_share	0.811
议题与 PR 响应能力

84良好
评分方式
46.5/46.8	议题解决 — 100% 的议题已关闭
37.8/38.3	PR 接受 — 已裁定的 PR 中 626/634 已合并
0/15	OpenSSF Scorecard：Code-Review — Found 0/16 approved changesets -- score normalized to 0
所用输入
merged_prs	626
open_issues	1
closed_issues	206
issue_closed_ratio	0.995
closed_unmerged_prs	8
所有权与托管责任

53中等
评分方式
30/30	所有权背书 — 组织持有
0/20	已验证域名
8.2/25	所有者影响力 — pulseengine 有 13 位关注者
14.5/25	既往记录 — 46 个公开仓库，账户约 1 年
所用输入
followers	13
owner_type	Organization
is_verified	—
owner_login	pulseengine
public_repos	46
account_age_days	424
软件包维护

100优秀
评分方式
25/25	已发布且可解析 — npm 上有 1 个软件包
35/35	发布时效 — 最近一次发布于 5 天前
20/20	版本历史 — 16 个已发布版本
20/20	未被弃用 — 活跃，未被弃用或撤回
所用输入
packages	@pulseengine/synth
ecosystems	npm
any_deprecated	否
min_days_since_publish	5
工程质量

基础的工程与文档实践是否到位？
85优秀 · 占总体的 20%
工程实践

92优秀
评分方式
24/24	CI 工作流 — 8 个工作流
24/24	存在测试
16/16	Linter 配置
9.6/9.6	Pre-commit 钩子
0/6.4	.editorconfig
18/20	OpenSSF Scorecard：CI-Tests — 27 out of 30 merged PRs checked by a CI test -- score normalized to 9
所用输入
has_ci	是
has_tests	是
has_editorconfig	否
has_linter_config	是
has_precommit_config	是
文档

75良好
评分方式
30/30	README
25/25	文档目录
0/15	文档 / 主页站点
10/10	仓库描述
10/10	主题标签 — 10 个主题标签
0/10	Wiki
所用输入
topics	arm, compiler, embedded, formal-verification, webassembly, pulseengine, rust, aarch64, riscv, wcet
has_wiki	否
homepage	—
has_readme	是
has_docs_dir	是
has_description	是
安全

可见的安全与供应链实践是否稳固，且不存在未解决的高风险司法辖区暴露？
60中等 · 占总体的 16%
安全态势

60中等
评分方式
0/7.5	Binary-Artifacts — binaries present in source code
0/7.5	Branch-Protection — 无数据
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	许可证 — 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
所用输入
source	openssf_scorecard
checks_evaluated	17
scorecard_version	v5.5.0
checks_inconclusive	1
scorecard_aggregate	6
已排除计分（无数据或不适用）：branch_protection。其余权重已重新归一化。
AI 就绪度

该仓库在多大程度上具备与 AI 编码代理协同开发与维护的条件？这是一枚独立的实验性徽章——权重为 0.0，因此单独呈现，不影响总体健康评分。
82良好 · 占总体的 0%
AI 代理上下文与指引

85优秀
评分方式
45/45	代理指令 — AGENTS.md, CLAUDE.md
0/15	机器可读文档（llms.txt）
40/40	可读的提交历史 — 78 次人类提交中有 78 次说明了意图（结构化标题或解释性正文）
所用输入
has_llms_txt	否
legible_history_share	1
agent_instruction_files	AGENTS.md, CLAUDE.md
agent_instruction_max_bytes	16,657
验证循环（构建 / 测试 / 类型检查）

90优秀
评分方式
18/18	一条命令的引导启动 — coq/Makefile
22/22	自动化测试
11/11	Lint / 格式化配置
11/11	静态类型检查 — Rust（静态类型）
10/10	可复现环境 — Nix, lockfile
10/10	已体现的代理实践 — 最近 100 次提交中有 76 次由代理编写或署名代理
8/8	自动化维护 — 最近 100 次提交中有 22 次为自动依赖更新
0/10	OpenSSF Scorecard：Pinned-Dependencies — dependency not pinned by hash detected -- score normalized to 0
所用输入
has_nix	是
has_tests	是
lockfiles	Cargo.lock
has_dockerfile	否
typed_language	是
bootstrap_files	coq/Makefile
has_devcontainer	否
has_linter_config	是
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
面向模型的代码可读性

97优秀
评分方式
45/45	可类型检查的代码 — Rust（静态类型）
52.4/55	可控的文件大小 — 采样的 381 个源文件中有 18 个超过 60KB
所用输入
primary_language	Rust
largest_source_bytes	1,201,434
source_files_sampled	381
oversized_source_files	18
机器可读接口

40存在风险
评分方式
0/40	API 模式（OpenAPI/GraphQL/proto）
0/20	MCP 服务器
40/40	可运行示例 — examples
所用输入
example_dirs	examples
has_mcp_signal	否
api_schema_files	—
关键数据

2GitHub 星标
2贡献者
813最近 12 个月提交数
0距最近推送天数
100发布版本数
1巴士系数（bus factor）
1开放议题
crates.io, npm软件包生态系统数
数据采集警告

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
更多细节

OpenSSF Scorecard 6.0 / 10
6.0综合
来自开源项目 OpenSSF Scorecard 的独立、工具无关的安全评估。每项检查奖励的是安全实践本身，而非特定供应商的工具。Scorecard 无法判定的检查项标记为 不适用，并从安全评分中剔除（绝不按零分计）。Scorecard v5.5.0 · 2026-07-22 20:06 UTC
0	Binary-Artifacts	binaries present in source code
不适用	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
全部依赖未采集
本报告未能采集到解析后的依赖集合：GitHub dependency-graph SBOM unavailable (404); the dependency graph may be disabled for this repository
原始 JSON 报告机器可读
{
  "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"
}
评分是信号，而非担保。 评分反映的是 GitHub 上公开可见的实践——不是代码审计，也不是安全保证。
缺失数据将被剔除并重新归一化权重，绝不按零分计。方法论已版本化并公开：指标 v1.13.0、模式 v0.26.0—— 完整方法论 · 指标知识库.
单项结果在整体记录中的位置：汇总统计 — npm.
软件健康指数

评分画像

所有权

软件包生态系统

按类别列示的指标

关键数据

数据采集警告

更多细节

相关记录
