chore: bind recovery to the isolated OS 0.3 platform group

Author: Sunrisepeak

.agents/docs/2026-11-06-compiler-attempt-recovery.md

@@ -206,9 +206,13 @@ No runtime generation becomes a dependency version or build-cache identity.
 | C library | 0.28.0 | [musl 86](https://github.com/mcpplibs/openkal-musl/pull/86) |
 | C++ runtime | 0.19.0 | [Runtime 66](https://github.com/mcpplibs/openkal-llvm-runtime/pull/66) |
 | Platform | 0.24.0 | Publication follows its public lower dependencies |
-| OS composition | 0.2.10 | [OS 17](https://github.com/mcpplibs/os/pull/17) |
+| OS composition | 0.3.0 | [OS 17](https://github.com/mcpplibs/os/pull/17) |
 | Core | 2026.11.5.2 | [mcpp 889](https://github.com/mcpp-community/mcpp/pull/889) |
 
+OS advances to 0.3.0 so an existing 0.2 constraint cannot silently absorb a
+different OpenKal minor group. The core updates all four OS requirements
+together. Platform 0.24 is the corresponding explicit image/hosted boundary.
+
 Emscripten receives dependency metadata alignment; it does not acquire process
 support. The image runner retains its existing generated binding mechanism,
 format, prefetch and cache policies. Its generated table retains all 153 prior

docs/24-openkal-cross.md

@@ -111,7 +111,7 @@ practice.
 
 ```toml
 [target.'cfg(any(linux, macos, windows))']
-platform = "openkal-platform@0.23.6"
+platform = "openkal-platform@0.24.0"
 ```
 
 One table (2026.10.27.1+). It selects the openkal platform for the host triples,
@@ -411,7 +411,13 @@ Nothing else is declared (2026.10.27.1+): the target table selects
 `openkal-platform` for both rows, and the platform states the toolchain, the
 layers, the tools, the conventions below and the runner ([35](35-platforms.md)).
 
-In mcpp 2026.11.5.1, both built-in openkal targets select platform 0.23.6 by default. An explicit `platform` configuration overrides that selection. This platform preserves the emulated TLS convention through the final ThinLTO link.
+Both built-in openkal targets select platform 0.24.0 by default (2026.11.5.2+).
+An explicit `platform` configuration overrides that selection. This platform
+preserves the emulated TLS convention through the final ThinLTO link.
+
+OS 0.3 uses the OpenKal 0.24 dependency group. A project retaining OS 0.2
+selects a platform from the matching 0.23 group explicitly; incompatible
+OpenKal minor requirements are rejected during dependency resolution.
 
 | | the platform's statement | the reason |
 |---|---|---|

docs/zh/24-openkal-cross.md

@@ -93,7 +93,7 @@ SDK，或者区分 `linux`/`windows`/`macos`。那些是 C 环境层或平台层
 
 ```toml
 [target.'cfg(any(linux, macos, windows))']
-platform = "openkal-platform@0.23.6"
+platform = "openkal-platform@0.24.0"
 ```
 
 一张表（2026.10.27.1+）。它为宿主三元组选择 openkal 平台，平台的宿主部分命名编译器与目标侧三个层的包；
@@ -361,7 +361,11 @@ mcpp run   --target x86_64-openkal      # okrun bin/app.oke
 无需其他声明（2026.10.27.1+）：目标表为两行选择 `openkal-platform`，由平台陈述工具链、各层、工具、下表的约定
 与 runner（[35](35-platforms.md)）。
 
-mcpp 2026.11.5.1 的两个内置 openkal 目标默认选择平台 0.23.6。显式 `platform` 配置可覆盖默认选择；该平台的最终 ThinLTO 链接保持 emulated TLS 约定。
+两个内置 openkal 目标默认选择平台 0.24.0（2026.11.5.2+）。显式 `platform` 配置可覆盖默认选择；
+该平台的最终 ThinLTO 链接保持 emulated TLS 约定。
+
+OS 0.3 使用 OpenKal 0.24 依赖组。保留 OS 0.2 的工程显式选择匹配的 0.23 平台组；
+不兼容的 OpenKal 次版本要求在依赖解析阶段被拒绝。
 
 | | 平台的陈述 | 原因 |
 |---|---|---|

mcpp.toml

@@ -91,7 +91,7 @@ mcpplibs.cmdline = "0.0.1"
 # The operating system is mcpplibs.os's (design 2026-10-26 §25): mcpp keeps no
 # layer of its own.
 [dependencies.mcpplibs]
-os = "0.2.3"
+os = "0.3.0"
 
 # The codecs of a package's container (SPEC-014 §5): gzip and raw DEFLATE,
 # zstd, xz. The reference libraries, so an archive is written the same way on

modules/invocation/mcpp.toml

@@ -13,4 +13,4 @@ description = "The environment of one invocation of mcpp: statements over the st
 license     = "Apache-2.0"
 
 [dependencies.mcpplibs]
-os = "0.2.3"
+os = "0.3.0"

modules/manifest/mcpp.toml

@@ -28,7 +28,7 @@ versioning  = { path = "../versioning" }
 # state its contract in isolation; the root `tests/unit/` states the facts two
 # layers must agree on.
 [dependencies.mcpplibs]
-os = "0.2.3"
+os = "0.3.0"
 
 [dev-dependencies.compat]
 gtest = "1.15.2"

modules/toolchain-model/mcpp.toml

@@ -27,7 +27,7 @@ versioning = { path = "../versioning" }
 # state its contract in isolation; the root `tests/unit/` states the facts two
 # layers must agree on.
 [dependencies.mcpplibs]
-os = "0.2.3"
+os = "0.3.0"
 
 [dev-dependencies.compat]
 gtest = "1.15.2"

modules/toolchain-model/src/triple.cppm

@@ -906,9 +906,9 @@ inline constexpr TargetInfo kKnownTargets[] = {
     // `openkal-platform` (SPEC-013), pinned here. The two architectures the
     // loader relocates.
     { "x86_64-openkal",        "preview",   "ok",  "llvm@23.1.3","",                            true,
-      "mcpplibs.openkal-platform@0.23.6" },
+      "mcpplibs.openkal-platform@0.24.0" },
     { "aarch64-openkal",       "preview",   "ok",  "llvm@23.1.3","",                            true,
-      "mcpplibs.openkal-platform@0.23.6" },
+      "mcpplibs.openkal-platform@0.24.0" },
 };
 
 inline std::span<const TargetInfo> known_targets() { return kKnownTargets; }