From 11247391cca0352acde1dc67a387cfa903c46e38 Mon Sep 17 00:00:00 2001 From: sunrisepeak Date: Sun, 30 Aug 2026 19:18:55 +0800 Subject: [PATCH] openkal 0.10 and the eight packages that move with it MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit A specification revision moves the whole graph or none of it: a version requirement here is exact and does not float up, and `openkal' is the shared dependency of every one of these packages. An implementation left at 0.9.0 while a consumer moves to 0.10.0 does not get its own older contract --- the two are irreconcilable and nothing resolves at all. - openkal 0.10.0 --- five declarations: kal_fs_lock/unlock, kal_process_spawn_bound, kal_task_parallelism, kal_fs_set_modified_at, kal_fs_capacity - openkal-linux 0.9.0, openkal-macos 0.7.0, openkal-windows 0.5.0 --- each implements them - openkal-opensbi 0.4.0, openkal-uefi 0.4.0 --- repins; neither provides an interface any of the five belongs to, so neither has anything to implement - openkal-musl 0.11.0 --- takes them up: real file locks, a bound spawn behind `execve', a real processor count, `statvfs', and a directory's time through the declaration rather than around it. Also three defects a consumer's test suite found, two of which needed no specification change - openkal-llvm-runtime 0.7.0 --- carries 0.11.0 ⚠️ Each version goes into all three platform tables, because a descriptor's platform table describes availability and not applicability --- which implementation applies is decided by a conditional dependency in the consumer. One table and not the others makes a package resolvable from one host and not another, which nobody notices until CI on a different runner goes red. Every sha256 is of the tarball GitHub serves, fetched at the moment the entry was written rather than passed in, and the byte-identical file was uploaded to gitcode and READ BACK AND COMPARED before this was committed --- an entry names one hash for both URLs, so a CN mirror built by repacking the tree would fail verification for every CN user and for nobody else. ⇒ `std-freestanding-alloc-kal` 0.1.3 is NOT here and cannot be: its CI resolves openkal 0.10.0 from the published index artifact, which republishes only when this branch lands. It follows in a second change once this one has. --- pkgs/o/openkal-linux.lua | 21 +++++++++++++++++++++ pkgs/o/openkal-llvm-runtime.lua | 21 +++++++++++++++++++++ pkgs/o/openkal-macos.lua | 21 +++++++++++++++++++++ pkgs/o/openkal-musl.lua | 21 +++++++++++++++++++++ pkgs/o/openkal-opensbi.lua | 21 +++++++++++++++++++++ pkgs/o/openkal-uefi.lua | 21 +++++++++++++++++++++ pkgs/o/openkal-windows.lua | 21 +++++++++++++++++++++ pkgs/o/openkal.lua | 21 +++++++++++++++++++++ 8 files changed, 168 insertions(+) diff --git a/pkgs/o/openkal-linux.lua b/pkgs/o/openkal-linux.lua index 341952d5..733264c2 100644 --- a/pkgs/o/openkal-linux.lua +++ b/pkgs/o/openkal-linux.lua @@ -19,6 +19,13 @@ package = { xpm = { linux = { + ["0.9.0"] = { + url = { + GLOBAL = "https://github.com/mcpplibs/openkal-linux/archive/refs/tags/0.9.0.tar.gz", + CN = "https://gitcode.com/mcpp-res/openkal-linux/releases/download/0.9.0/openkal-linux-0.9.0.tar.gz", + }, + sha256 = "0a4349cdd036526e163232149b8a9583a02e019c8cfca959aa5acf21f000da7d", + }, ["0.7.1"] = { url = { GLOBAL = "https://github.com/mcpplibs/openkal-linux/archive/refs/tags/0.7.1.tar.gz", @@ -77,6 +84,13 @@ package = { }, }, macosx = { + ["0.9.0"] = { + url = { + GLOBAL = "https://github.com/mcpplibs/openkal-linux/archive/refs/tags/0.9.0.tar.gz", + CN = "https://gitcode.com/mcpp-res/openkal-linux/releases/download/0.9.0/openkal-linux-0.9.0.tar.gz", + }, + sha256 = "0a4349cdd036526e163232149b8a9583a02e019c8cfca959aa5acf21f000da7d", + }, ["0.7.1"] = { url = { GLOBAL = "https://github.com/mcpplibs/openkal-linux/archive/refs/tags/0.7.1.tar.gz", @@ -135,6 +149,13 @@ package = { }, }, windows = { + ["0.9.0"] = { + url = { + GLOBAL = "https://github.com/mcpplibs/openkal-linux/archive/refs/tags/0.9.0.tar.gz", + CN = "https://gitcode.com/mcpp-res/openkal-linux/releases/download/0.9.0/openkal-linux-0.9.0.tar.gz", + }, + sha256 = "0a4349cdd036526e163232149b8a9583a02e019c8cfca959aa5acf21f000da7d", + }, ["0.7.1"] = { url = { GLOBAL = "https://github.com/mcpplibs/openkal-linux/archive/refs/tags/0.7.1.tar.gz", diff --git a/pkgs/o/openkal-llvm-runtime.lua b/pkgs/o/openkal-llvm-runtime.lua index 33925011..6de671a9 100644 --- a/pkgs/o/openkal-llvm-runtime.lua +++ b/pkgs/o/openkal-llvm-runtime.lua @@ -26,6 +26,13 @@ package = { xpm = { linux = { + ["0.7.0"] = { + url = { + GLOBAL = "https://github.com/mcpplibs/openkal-llvm-runtime/archive/refs/tags/0.7.0.tar.gz", + CN = "https://gitcode.com/mcpp-res/openkal-llvm-runtime/releases/download/0.7.0/openkal-llvm-runtime-0.7.0.tar.gz", + }, + sha256 = "dcfebb00cd4ed3f6a8f608a1e5d24d5018f33bcc4dd95f5cdc36b606e1a8dbf7", + }, ["0.6.0"] = { url = { GLOBAL = "https://github.com/mcpplibs/openkal-llvm-runtime/archive/refs/tags/0.6.0.tar.gz", @@ -98,6 +105,13 @@ package = { }, }, macosx = { + ["0.7.0"] = { + url = { + GLOBAL = "https://github.com/mcpplibs/openkal-llvm-runtime/archive/refs/tags/0.7.0.tar.gz", + CN = "https://gitcode.com/mcpp-res/openkal-llvm-runtime/releases/download/0.7.0/openkal-llvm-runtime-0.7.0.tar.gz", + }, + sha256 = "dcfebb00cd4ed3f6a8f608a1e5d24d5018f33bcc4dd95f5cdc36b606e1a8dbf7", + }, ["0.6.0"] = { url = { GLOBAL = "https://github.com/mcpplibs/openkal-llvm-runtime/archive/refs/tags/0.6.0.tar.gz", @@ -170,6 +184,13 @@ package = { }, }, windows = { + ["0.7.0"] = { + url = { + GLOBAL = "https://github.com/mcpplibs/openkal-llvm-runtime/archive/refs/tags/0.7.0.tar.gz", + CN = "https://gitcode.com/mcpp-res/openkal-llvm-runtime/releases/download/0.7.0/openkal-llvm-runtime-0.7.0.tar.gz", + }, + sha256 = "dcfebb00cd4ed3f6a8f608a1e5d24d5018f33bcc4dd95f5cdc36b606e1a8dbf7", + }, ["0.6.0"] = { url = { GLOBAL = "https://github.com/mcpplibs/openkal-llvm-runtime/archive/refs/tags/0.6.0.tar.gz", diff --git a/pkgs/o/openkal-macos.lua b/pkgs/o/openkal-macos.lua index a3bde0de..b4d7faa2 100644 --- a/pkgs/o/openkal-macos.lua +++ b/pkgs/o/openkal-macos.lua @@ -19,6 +19,13 @@ package = { xpm = { linux = { + ["0.7.0"] = { + url = { + GLOBAL = "https://github.com/mcpplibs/openkal-macos/archive/refs/tags/0.7.0.tar.gz", + CN = "https://gitcode.com/mcpp-res/openkal-macos/releases/download/0.7.0/openkal-macos-0.7.0.tar.gz", + }, + sha256 = "c724ffe3c8b672c8cb255d0826de693bc8fa22597cd8d3993bb3e657f2ce0055", + }, ["0.6.1"] = { url = { GLOBAL = "https://github.com/mcpplibs/openkal-macos/archive/refs/tags/0.6.1.tar.gz", @@ -84,6 +91,13 @@ package = { }, }, macosx = { + ["0.7.0"] = { + url = { + GLOBAL = "https://github.com/mcpplibs/openkal-macos/archive/refs/tags/0.7.0.tar.gz", + CN = "https://gitcode.com/mcpp-res/openkal-macos/releases/download/0.7.0/openkal-macos-0.7.0.tar.gz", + }, + sha256 = "c724ffe3c8b672c8cb255d0826de693bc8fa22597cd8d3993bb3e657f2ce0055", + }, ["0.6.1"] = { url = { GLOBAL = "https://github.com/mcpplibs/openkal-macos/archive/refs/tags/0.6.1.tar.gz", @@ -149,6 +163,13 @@ package = { }, }, windows = { + ["0.7.0"] = { + url = { + GLOBAL = "https://github.com/mcpplibs/openkal-macos/archive/refs/tags/0.7.0.tar.gz", + CN = "https://gitcode.com/mcpp-res/openkal-macos/releases/download/0.7.0/openkal-macos-0.7.0.tar.gz", + }, + sha256 = "c724ffe3c8b672c8cb255d0826de693bc8fa22597cd8d3993bb3e657f2ce0055", + }, ["0.6.1"] = { url = { GLOBAL = "https://github.com/mcpplibs/openkal-macos/archive/refs/tags/0.6.1.tar.gz", diff --git a/pkgs/o/openkal-musl.lua b/pkgs/o/openkal-musl.lua index cd6a9524..b54fb716 100644 --- a/pkgs/o/openkal-musl.lua +++ b/pkgs/o/openkal-musl.lua @@ -24,6 +24,13 @@ package = { xpm = { linux = { + ["0.11.0"] = { + url = { + GLOBAL = "https://github.com/mcpplibs/openkal-musl/archive/refs/tags/0.11.0.tar.gz", + CN = "https://gitcode.com/mcpp-res/openkal-musl/releases/download/0.11.0/openkal-musl-0.11.0.tar.gz", + }, + sha256 = "6b9212b047ae9a8995582baf59402bf29b46c3a2ff0a0c39c318a91db3013d4d", + }, ["0.10.0"] = { url = { GLOBAL = "https://github.com/mcpplibs/openkal-musl/archive/refs/tags/0.10.0.tar.gz", @@ -117,6 +124,13 @@ package = { }, }, macosx = { + ["0.11.0"] = { + url = { + GLOBAL = "https://github.com/mcpplibs/openkal-musl/archive/refs/tags/0.11.0.tar.gz", + CN = "https://gitcode.com/mcpp-res/openkal-musl/releases/download/0.11.0/openkal-musl-0.11.0.tar.gz", + }, + sha256 = "6b9212b047ae9a8995582baf59402bf29b46c3a2ff0a0c39c318a91db3013d4d", + }, ["0.10.0"] = { url = { GLOBAL = "https://github.com/mcpplibs/openkal-musl/archive/refs/tags/0.10.0.tar.gz", @@ -210,6 +224,13 @@ package = { }, }, windows = { + ["0.11.0"] = { + url = { + GLOBAL = "https://github.com/mcpplibs/openkal-musl/archive/refs/tags/0.11.0.tar.gz", + CN = "https://gitcode.com/mcpp-res/openkal-musl/releases/download/0.11.0/openkal-musl-0.11.0.tar.gz", + }, + sha256 = "6b9212b047ae9a8995582baf59402bf29b46c3a2ff0a0c39c318a91db3013d4d", + }, ["0.10.0"] = { url = { GLOBAL = "https://github.com/mcpplibs/openkal-musl/archive/refs/tags/0.10.0.tar.gz", diff --git a/pkgs/o/openkal-opensbi.lua b/pkgs/o/openkal-opensbi.lua index 5ebdc02c..63d56034 100644 --- a/pkgs/o/openkal-opensbi.lua +++ b/pkgs/o/openkal-opensbi.lua @@ -20,6 +20,13 @@ package = { xpm = { linux = { + ["0.4.0"] = { + url = { + GLOBAL = "https://github.com/mcpplibs/openkal-opensbi/archive/refs/tags/0.4.0.tar.gz", + CN = "https://gitcode.com/mcpp-res/openkal-opensbi/releases/download/0.4.0/openkal-opensbi-0.4.0.tar.gz", + }, + sha256 = "33df37a734340d6b17660f69e4e07d0c9c23b1175e08031b4a840f3702ec371f", + }, ["0.3.0"] = { url = { GLOBAL = "https://github.com/mcpplibs/openkal-opensbi/archive/refs/tags/0.3.0.tar.gz", @@ -71,6 +78,13 @@ package = { }, }, macosx = { + ["0.4.0"] = { + url = { + GLOBAL = "https://github.com/mcpplibs/openkal-opensbi/archive/refs/tags/0.4.0.tar.gz", + CN = "https://gitcode.com/mcpp-res/openkal-opensbi/releases/download/0.4.0/openkal-opensbi-0.4.0.tar.gz", + }, + sha256 = "33df37a734340d6b17660f69e4e07d0c9c23b1175e08031b4a840f3702ec371f", + }, ["0.3.0"] = { url = { GLOBAL = "https://github.com/mcpplibs/openkal-opensbi/archive/refs/tags/0.3.0.tar.gz", @@ -122,6 +136,13 @@ package = { }, }, windows = { + ["0.4.0"] = { + url = { + GLOBAL = "https://github.com/mcpplibs/openkal-opensbi/archive/refs/tags/0.4.0.tar.gz", + CN = "https://gitcode.com/mcpp-res/openkal-opensbi/releases/download/0.4.0/openkal-opensbi-0.4.0.tar.gz", + }, + sha256 = "33df37a734340d6b17660f69e4e07d0c9c23b1175e08031b4a840f3702ec371f", + }, ["0.3.0"] = { url = { GLOBAL = "https://github.com/mcpplibs/openkal-opensbi/archive/refs/tags/0.3.0.tar.gz", diff --git a/pkgs/o/openkal-uefi.lua b/pkgs/o/openkal-uefi.lua index 36c1fa04..b90b5ff6 100644 --- a/pkgs/o/openkal-uefi.lua +++ b/pkgs/o/openkal-uefi.lua @@ -20,6 +20,13 @@ package = { xpm = { linux = { + ["0.4.0"] = { + url = { + GLOBAL = "https://github.com/mcpplibs/openkal-uefi/archive/refs/tags/0.4.0.tar.gz", + CN = "https://gitcode.com/mcpp-res/openkal-uefi/releases/download/0.4.0/openkal-uefi-0.4.0.tar.gz", + }, + sha256 = "551282ee0135fe9439aa4c782ceb62f919437766bc287aa7098b0d9d58d9b042", + }, ["0.3.0"] = { url = { GLOBAL = "https://github.com/mcpplibs/openkal-uefi/archive/refs/tags/0.3.0.tar.gz", @@ -64,6 +71,13 @@ package = { }, }, macosx = { + ["0.4.0"] = { + url = { + GLOBAL = "https://github.com/mcpplibs/openkal-uefi/archive/refs/tags/0.4.0.tar.gz", + CN = "https://gitcode.com/mcpp-res/openkal-uefi/releases/download/0.4.0/openkal-uefi-0.4.0.tar.gz", + }, + sha256 = "551282ee0135fe9439aa4c782ceb62f919437766bc287aa7098b0d9d58d9b042", + }, ["0.3.0"] = { url = { GLOBAL = "https://github.com/mcpplibs/openkal-uefi/archive/refs/tags/0.3.0.tar.gz", @@ -108,6 +122,13 @@ package = { }, }, windows = { + ["0.4.0"] = { + url = { + GLOBAL = "https://github.com/mcpplibs/openkal-uefi/archive/refs/tags/0.4.0.tar.gz", + CN = "https://gitcode.com/mcpp-res/openkal-uefi/releases/download/0.4.0/openkal-uefi-0.4.0.tar.gz", + }, + sha256 = "551282ee0135fe9439aa4c782ceb62f919437766bc287aa7098b0d9d58d9b042", + }, ["0.3.0"] = { url = { GLOBAL = "https://github.com/mcpplibs/openkal-uefi/archive/refs/tags/0.3.0.tar.gz", diff --git a/pkgs/o/openkal-windows.lua b/pkgs/o/openkal-windows.lua index 6d91cb0a..17cc0a80 100644 --- a/pkgs/o/openkal-windows.lua +++ b/pkgs/o/openkal-windows.lua @@ -21,6 +21,13 @@ package = { xpm = { linux = { + ["0.5.0"] = { + url = { + GLOBAL = "https://github.com/mcpplibs/openkal-windows/archive/refs/tags/0.5.0.tar.gz", + CN = "https://gitcode.com/mcpp-res/openkal-windows/releases/download/0.5.0/openkal-windows-0.5.0.tar.gz", + }, + sha256 = "6bbb6d3ed5a82d847a4b24b90ff1e2e34277560dbadffff67829312b0f47ddb9", + }, ["0.4.0"] = { url = { GLOBAL = "https://github.com/mcpplibs/openkal-windows/archive/refs/tags/0.4.0.tar.gz", @@ -79,6 +86,13 @@ package = { }, }, macosx = { + ["0.5.0"] = { + url = { + GLOBAL = "https://github.com/mcpplibs/openkal-windows/archive/refs/tags/0.5.0.tar.gz", + CN = "https://gitcode.com/mcpp-res/openkal-windows/releases/download/0.5.0/openkal-windows-0.5.0.tar.gz", + }, + sha256 = "6bbb6d3ed5a82d847a4b24b90ff1e2e34277560dbadffff67829312b0f47ddb9", + }, ["0.4.0"] = { url = { GLOBAL = "https://github.com/mcpplibs/openkal-windows/archive/refs/tags/0.4.0.tar.gz", @@ -137,6 +151,13 @@ package = { }, }, windows = { + ["0.5.0"] = { + url = { + GLOBAL = "https://github.com/mcpplibs/openkal-windows/archive/refs/tags/0.5.0.tar.gz", + CN = "https://gitcode.com/mcpp-res/openkal-windows/releases/download/0.5.0/openkal-windows-0.5.0.tar.gz", + }, + sha256 = "6bbb6d3ed5a82d847a4b24b90ff1e2e34277560dbadffff67829312b0f47ddb9", + }, ["0.4.0"] = { url = { GLOBAL = "https://github.com/mcpplibs/openkal-windows/archive/refs/tags/0.4.0.tar.gz", diff --git a/pkgs/o/openkal.lua b/pkgs/o/openkal.lua index 3ed7ddf6..446cb0b9 100644 --- a/pkgs/o/openkal.lua +++ b/pkgs/o/openkal.lua @@ -22,6 +22,13 @@ package = { xpm = { linux = { + ["0.10.0"] = { + url = { + GLOBAL = "https://github.com/mcpplibs/openkal/archive/refs/tags/0.10.0.tar.gz", + CN = "https://gitcode.com/mcpp-res/openkal/releases/download/0.10.0/openkal-0.10.0.tar.gz", + }, + sha256 = "0909022b5fc7dc9c58d2ad56c0d96007a108cb0d0e925ffd42b6b237c8c5c8dc", + }, ["0.9.0"] = { url = { GLOBAL = "https://github.com/mcpplibs/openkal/archive/refs/tags/0.9.0.tar.gz", @@ -73,6 +80,13 @@ package = { }, }, macosx = { + ["0.10.0"] = { + url = { + GLOBAL = "https://github.com/mcpplibs/openkal/archive/refs/tags/0.10.0.tar.gz", + CN = "https://gitcode.com/mcpp-res/openkal/releases/download/0.10.0/openkal-0.10.0.tar.gz", + }, + sha256 = "0909022b5fc7dc9c58d2ad56c0d96007a108cb0d0e925ffd42b6b237c8c5c8dc", + }, ["0.9.0"] = { url = { GLOBAL = "https://github.com/mcpplibs/openkal/archive/refs/tags/0.9.0.tar.gz", @@ -124,6 +138,13 @@ package = { }, }, windows = { + ["0.10.0"] = { + url = { + GLOBAL = "https://github.com/mcpplibs/openkal/archive/refs/tags/0.10.0.tar.gz", + CN = "https://gitcode.com/mcpp-res/openkal/releases/download/0.10.0/openkal-0.10.0.tar.gz", + }, + sha256 = "0909022b5fc7dc9c58d2ad56c0d96007a108cb0d0e925ffd42b6b237c8c5c8dc", + }, ["0.9.0"] = { url = { GLOBAL = "https://github.com/mcpplibs/openkal/archive/refs/tags/0.9.0.tar.gz",