Skip to content

openkal measurement: the pinned graph declares [c-abi], and a refused build is not a failed one - #444

Merged
Sunrisepeak merged 1 commit into
mainfrom
openkal-cenv-measure-and-refused
Sep 20, 2026
Merged

Sunrisepeak merged 1 commit into
mainfrom
openkal-cenv-measure-and-refused

Conversation

@Sunrisepeak

Copy link
Copy Markdown
Member

这个 PR 做两件事

1. 抬 tests/openkal/pins.tomlruntime:0.10.0 → 0.12.0

在 0.10.0 之下,这个 pin 解析出的图里没有任何包声明 [c-abi],因此 mcpp 对目标侧不做任何实现,Windows 腿按 x86_64-w64-windows-gnu 编译、_WIN32 定义着——而那正是被测成员里每一个 #ifdef _WIN32 分支选中的条件。

所以 0.10.0 下记录的每一条 Windows 结果,量的是这个声明存在的理由,而不是这个声明。mcpp-community/mcpp#674 正是针对这种形状的结果提出的。

两个包的描述符早已登记(#441#442),本次移动前逐字节比对过两侧镜像:openkal-musl 0.16.0openkal-llvm-runtime 0.12.0 的 GitHub archive 与 GitCode 资产 sha256 相同。

2. refused:一次拒绝不是一次失败

(随后推送)

判据

重测后 Windows 腿:按 _WIN32 / __MINGW32__ 选分支的成员应当自愈;未自愈的逐条记录原因。

…time

tests/openkal/pins.toml moved `runtime` from 0.10.0 to 0.12.0. Below that
version no package the pin resolves declares a `[c-abi]` block, so mcpp
realises nothing for the target side and the Windows leg compiles as
x86_64-w64-windows-gnu with `_WIN32` defined --- the condition every
`#ifdef _WIN32` branch in the measured members selects on. Every Windows
result recorded under 0.10.0 therefore measures the behaviour the
declaration exists to replace rather than the declaration.

The descriptors for both packages were already registered (#441, #442) and
their two mirrors compared byte for byte before this move: openkal-musl
0.16.0 and openkal-llvm-runtime 0.12.0 each answer the same sha256 from the
GitHub archive and the GitCode asset.

Co-authored-by: Claude Code <noreply@anthropic.com>
@Sunrisepeak
Sunrisepeak marked this pull request as ready for review September 20, 2026 10:51
@Sunrisepeak
Sunrisepeak merged commit 443b974 into main Sep 20, 2026
9 checks passed
@Sunrisepeak
Sunrisepeak deleted the openkal-cenv-measure-and-refused branch September 20, 2026 11:05
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant