openkal-linux 0.15.0 and openkal-windows 0.10.0: register descriptors - #445
Merged
Merged
Conversation
Both state `[kernel-abi] provides-interfaces`, generated from their own artefacts by the specification's `check-surface.sh --toml` and diffed against them in their CI. The two lists differ --- fifteen and fourteen, `openkal.space` being absent on Windows --- which is the property a name for a class of environment would have hidden and the reason openkal's specification withdrew the one such name it had (SPEC 0.14 clause 3.3). Both mirrors compared byte for byte before this commit: the GitHub archive and the GitCode asset answer the same sha256 for each version. No index floor is needed. `[kernel-abi]` is an unknown top-level table to an engine that predates it and is ignored, so these manifests load unchanged wherever the previous versions did; the resolution-time check is simply absent there, which is the behaviour those releases already had. Co-authored-by: Claude Code <noreply@anthropic.com>
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
两个实现都陈述了
[kernel-abi] provides-interfaces，由规范的check-surface.sh --toml从它们自己的产物生成，并在各自 CI 里与产物 diff。两份清单不同
openkal.space需要
openkal.space的消费者在 Windows 上被解析期拒绝、在 Linux 上构建。一个给环境类别起的名字会把这两个实现藏成一样——这正是 openkal 规范撤回hosted的理由（SPEC 0.14 clause 3.3）。镜像
提交前逐字节比对：两个版本的 GitHub archive 与 GitCode 资产 sha256 相同（GET 下载后
cmp，主机用gitcode.com而非api.）。d4a06cb5…e51c2add…不需要抬 floor
[kernel-abi]对早于这个键的引擎是未知顶层表，被忽略，因此这两份清单在此前版本能加载的每个地方照常加载；解析期检查在那里只是缺席，而那正是那些版本本来就有的行为。