v0.5.2

Inimerse 0.5.2

0.5.2 是一个修栈的版本：一处真实存在的、只在 Windows 上编译的运行时缺陷，在 Linux 上拿到的是全绿的门禁。它同时给门禁添了第十三个阶段，并落了一大轮文档诚实化。语言与运行时语义没有变化。

门禁报的 PASS，是「我看了」还是「我没看」？

基线

项	值
版本	0.5.2
测试	发布点 v0.5.2（git rev-parse --short 'v0.5.2^{commit}'）上：Linux 148 / 148 真通过（本地十三阶段门禁，0 跳过）。0.5.1 发布点 v0.5.1 → 4e444dd 上同样是 148 / 148、当时是十二阶段
相对 v0.5.1	git rev-list --count 'v0.5.1^{commit}'..'v0.5.2^{commit}' —— 本行不写这个字面量：写下一个数就多一个提交，而那个数正是要数的提交数。在 751b2a0 上量是 76（初稿写 74，那是在 88e9338 上量的 —— 数与 ref 错位，见 docs/AUDIT.md §1.74）

修了什么

1. Windows 的 re_seq 用自递归吃掉栈，25 个字符就崩。 match_long_pattern_runtime 自报 code=0xC00000FD（STATUS_STACK_OVERFLOW）。最小复现不是 fixture 里的 2030，而是 25：

   s = "a"×25 ;  match(s, "^" + "a"×25 + "$zzz")
   

   同一长度、以 "$" 结尾的那一行不崩。机制是量出来的，不是读出来的：崩溃那一刻栈上有 26 个活着的 re_seq 帧，它们的返回地址彼此恰好相隔 0x8080 = 32896 B —— 与序言反汇编逐位吻合（push r15 / mov $0x8038,%eax / push r14,r13,r12,rbp,rdi,rsi,rbx / call ___chkstk_ms / sub %rax,%rsp ⇒ 8×push(64) + 32824 + 8）。SizeOfStackReserve 0x200000（2 MiB）。这里有三个数，它们量的是不同的东西，必须分开写：26 个 re_seq 帧自身占 26 × 32896 = 855296 B（2 MiB 的 40.8%）；崩溃瞬间整条栈已耗 2069776 B = 98.70%（rsp=0x407af0 对可读顶 0x601000）；进下一帧还差 5520 B（帧 32896 − rsp 到栈基 0x401000 的余量 27376）。三者不互相推导 —— 独立核对：2069776 + 32896 = 2102672，超出 2 MiB 预留 5520 B。本节初稿把余量写成 0x60f0(24816)、差写成 8080，是 0x407af0 − 0x401000 这一步算错的连带值（实为 0x6af0 = 27376），已更正。2030 与 25 两个输入得到逐项相同的读数（同一 RSP=0x407af0、同样 26 帧）⇒ 深度由栈预算封顶，与输入长度无关。

   修法是把三处纯尾调用改写成既有的 for (;;) 迭代（$ 分支、交替分支、无量化续接），新增一个 quant 标志分辨「无量化」与「有量化」两条路。有量化的那条仍然递归，深度由嵌套决定 —— 这一点写在这里，是因为它正是「修法只治了这一条路」的边界。src/runtime/runtime.c +32/−6。

   判据三条，缺一不可：① 该 CTest 由 ***Exception: SegFault 变 Passed；② 反向验证在同一棵树上做（换回修复前字节、增量重建 ⇒ 重新 SEGFAULT）；③ 同树 Windows 全量 ctest 里变的是且只是目标那一条（修复前 98% tests passed, 3 tests failed out of 128：19 process_probe、136 count_builtin_runtime SEGFAULT、137 match_long_pattern_runtime SEGFAULT ⇒ 修复后 98% tests passed, 2 tests failed out of 128）。语义判据另钉住「一律返回 false」的假修法过不去：第 10 行必须答 impossible=false、第 11 行必须答 possible=true。

门禁新增

2. 第十三个阶段 orphan-targets。 tools/check_orphan_targets.py（新，226 行）：每一个 add_executable 出来的目标都必须被至少一条 CTest 跑到。38 个目标里 37 个被跑到、1 个有写明理由地豁免（websocket_probe —— WebSocket 帧层未实现，探针没有可断言的东西，见 docs/API.md §「预留」两行）。它与 0.5.1 的 orphan-fixtures 是同族但方向相反：那个问「有没有输入没人跑」，这个问「有没有产物没人跑」。

   造它的过程里有一条教训值得留在这里：按测试名匹配目标名是错的尺子 —— literal_resolve_probe / resolve_timeout_probe 的测试名是 literal_resolve_runtime / resolve_timeout_runtime，第一次用错尺子误报了三个。现在它读的是 $<TARGET_FILE:…> 与 add_test 的真实引用关系。

3. tools/gate.sh --required-for：这一笔改动能影响哪些阶段。 它从 STAGE_SPECS 的真实注册表派生，而不是按名字手写 glob —— 后者会漏掉 tools/im_diff_fuzz.py、node_suites/、dsh-inimerse/、Infiverse_standard/oauth_loop 这四个名字不像 checker 的阶段入口。用法：--required-for <ref> 回答「工作区相对 <ref> 变了什么」，--required-for <base>..<head> 回答「这个提交区间变了什么」。两种形式回答的是两个不同的问题，输出里各自自报。

一大轮文档诚实化

4. docs/AUDIT.md +533/−32（新增 §1.65–§1.74）、docs/HANDOFF_INFIVERSE.md +196/−0（新）、docs/DECFY_DESIGN.md +70/−29、docs/BOARD.md +9/−7、docs/STATUS.md +5/−5，另有 docs/README.md、docs/HYGIENE.md、docs/RELEASE_0.5.1.md、docs/streams/json-min-nul-escape.md 各 +1/−1。（初稿写 +565/99/16/10 并把 HANDOFF 写成 +196：数都对，但那是「改动行数」＝ insertions + deletions，而同一个 + 号在 +196 那里读作 insertions 也成立 —— 一个记号两个意思。出处：git diff --numstat v0.5.1 751b2a0 -- docs/。）

   这一轮治的是一族同形状的缺陷，它们都不改变任何行为，只改变一个断言能不能变红。值得单独点名的一条，因为它自己证明了自己：

   一个用字面量声明「该字面量全库零命中」的句子，写下那一刻就把自己证伪了。

   docs/AUDIT.md §1.65 与 docs/STATUS.md 都曾写「全库 grep -rn 'Total Tests: 131' docs/ tools/ 零命中」—— 而写下这句话本身就往仓库里加了一处命中。现在的写法是直接给出处，不写「几处」。

   同族的其余几条（都进了 §1.65–§1.73）：分母是「跑它的那一刻那个工作区的索引」而不是任何 ref（check_text_integrity 的 822 vs 823）；git ls-files 'src/**/*.c' 给 106 而 ':(glob)src/**/*.c' 给 114（不写 :(glob) 时 ** 根本不是 **）；文档里指向 CMakeLists.txt / tools/gate.sh 的行号必须带 ref 或内容锚（同一个目标在 docs/AUDIT.md 里已经有过三个号码，每次写下时都是对的）；改动的单位是「段落」而不是「被点名的那一行」（同一个段落里，改了一处而另一处留着，出现过三次）。

平台

• Windows：与 0.5.1 相同 —— hub 为减配版本，9 个 POSIX hub 回归测试显式 DISABLED（按维护者裁定，移植未做），两个 xlang 桥（Java / Python）按设计以退出码 77 跳过。本版的引擎修复只作用于 Windows（见下）。
• Linux：完整功能，十三阶段门禁全绿。

资产

平台	资产
Linux	inimerse-0.5.2-Linux-x86_64.tar.gz、inimerse-0.5.2-Linux-x86_64.zip、inimerse-0.5.2-Linux-x86_64.deb、SHA256SUMS
Windows	inimerse-0.5.2-Windows-x86_64.zip（含 bin/inimerse.exe、bin/aot-native.exe、bin/inim.py）、InfiverseSetup-0.5.2.exe（Inno Setup 7 装机包）、SHA256SUMS-Windows

SHA256SUMS 与 SHA256SUMS-Windows 里都是裸文件名，在下载目录里 sha256sum -c 可直接校验。

诚实边界

• Linux 上的十三阶段全绿，对本版那处引擎修复不提供任何证据。 CMakeLists.txt:429 在 if(WIN32) 里选 src/runtime/runtime.c，:437 的 else() 选 :438 的 src/runtime/runtime_posix.c（后者没有 re_seq，用的是 libc regcomp）⇒ Linux 门禁根本不编译被改的那个文件（nm build/inimerse | grep -c 're_seq' = 0）。这条不是推测，是本版 §1.71 量出来的：src/ 下 114 个受管 .c 里，Linux 构建只给 102 个产出 .o，缺的 12 个全部只出现在 CMakeLists.txt:426-436 的 if(WIN32) 块内。「Windows 运行时只在 Windows 上编译」是合理的；不合理的是门禁把「没编译」报成 PASS。
• 修复的证据来自一棵 RelWithDebInfo 树，帧大小 0x8080 未在 -O3 -DNDEBUG（发布配置）上量过 —— 量不到就写「未量」，不写成量到了。
• 登记但未修：src/runtime/runtime.c 里 pos[4096] 的回溯读没有守卫（写有 if (count < 4096)，读 t = pos[count - 1] 没有）—— 它被「25 个字符就崩」证伪为本次崩溃的原因，仍是独立缺陷；re_seq 的 32896 B 帧仍然存在，封顶嵌套量化 / 分组的深度；count_builtin_runtime 在 Windows 上同样 0xC00000FD，但 [stack] #8 是 0x6ed8（≠ re_seq 的 0x8038）、re_seq 断点在该 fixture 上计数 0、原始栈扫描定位到 compile_expr 自递归（32 帧）⇒ 那是既有缺陷被新测试暴露，不在本版修。
• orphan-targets 证明的是「每个目标都被某条 CTest 引用」，不是「那条测试断言了有意义的东西」；它的 1 allowed 是一条有理由的豁免，而豁免名单会退化成免责名单 —— 与 orphan-fixtures 的 4 allowed 是同一个风险。
• --required-for 的映射只在 tools/gate.sh 的注册表里，它不解析任何文件内容：一个阶段「受影响」是因为改动落进了它读的那棵子树，不是因为它真的会红。单参形式看的是工作区（干净树上答 0 stage(s) 且退 0），所以它自报回答的是哪个问题 —— 但「零个阶段」在一个敲错的调用里仍然是危险的答案。
• 文档里的行号引用仍然可能过期：本版把 docs/AUDIT.md 里指向 tools/gate.sh 与 CMakeLists.txt 的行号换成了锚或带 ref 的形式，但同一个类的其余拷贝还在别的文档里（docs/BOARD.md / docs/STATUS.md / docs/DECFY_DESIGN.md 合计十几行），本版只登记、没有全部重取。
• docs/SYNTAX.md §「核心高频」那一行缺平台标注：file_exists 与 timer_ms 只由 src/mod/io_mod.c 注册，而 io_mod 在 POSIX 上是空桩 ⇒ 那两个名字在 Linux 上是 unknown builtin function；mkdir 与 list_dir 则是同一个名字两个生产点（Windows 走 io_mod、POSIX 走 runtime_posix）。该行还自称「有 vtest 覆盖」，对这四个名字全不成立。本版只登记、未裁定。
• 这个仓库里版本号有四个生产点，没有任何东西让它们保持同步：CMakeLists.txt:8（set(INIMERSE_PACKAGE_VERSION …)）、installer.iss:7（AppVersion=）、installer.iss:13（OutputBaseFilename=）、以及本文件与历史发版说明里的资产名。本版之前，前两个里只有 CMakeLists.txt 被升过 —— installer.iss:7 停在 0.5.1、installer.iss:13 是不带版本号的 InfiverseSetup，而 0.5.0 / 0.5.1 / 0.5.2 三份发版说明都写 InfiverseSetup-0.5.X.exe，全库没有任何脚本产出那个名字。本版把 AppVersion 与 OutputBaseFilename 都改到 0.5.2，但装机包在本机无法构建、因而这条改动没有被任何东西验证过（只在 Windows + Inno Setup 上才能验）。下一次升版本时，这四个点要一起看。
• v0.5.2 这个 tag 在本轮里被移动过两次，现在冻结。 第一次：它先打在 751b2a0，推上去之后才发现基线表那一行的字面量（74）是在另一棵树（88e9338）上量的，而那个数在被数的提交里写下就必然错位。第二次：一份独立复核（ivory-ember 对 751b2a0）发现本文件的崩溃算术与 docs/STATUS.md 的引擎代码行都是错的，而发版说明是用户真正读的那个产物，所以 tag 移到把这份说明改对了的那个提交。冻结的判据是「这份说明自己说对了」，不是「已经推过」 —— 从 git rev-parse --short 'v0.5.2^{commit}' 给出的那个提交起，此后发现的任何问题只进 main，并且要在 docs/STATUS.md 的「已发布点」那一行里被点名；想看这一版发布时仓库是什么样，用 git show 'v0.5.2^{commit}':<path>。
• 本文件此前是孤儿文档：git grep 'RELEASE_0\.5\.2' 在全库 0 命中（check_links 只验「链能不能解析」，不验「文件有没有人引」—— 而本版新增的第十三个阶段问的正是「有没有产物没人跑」，同一个问题在文档侧没有对应的检查器）。现在 docs/STATUS.md 的「已发布点」那一格有一个入链。没有为它开新阶段：名录式检查会退化。
• docs/RELEASE_0.5.1.md 里 Windows Total Tests: 131 / 运行 122 的读数在本机无法复核（本机是 Linux，测不到 Windows 的注册条件组合）⇒ 该条保持「未验证」，不因本版重述而变成已验证。

SHA-256

59f00c5984a1495f4b425ca9f5b625d2256be9e8a63769a1cf83afcac60b5ee9  inimerse-0.5.2-Linux-x86_64.deb
92abf97620159662ffeae4b69ce963541a8c2715b4790b0d53ddfde749a993be  inimerse-0.5.2-Linux-x86_64.tar.gz
a3dda5e29c715856e0bfc474f6f35c31bee650a9b5191da44ba8a00e4906f83c  inimerse-0.5.2-Linux-x86_64.zip

v0.5.0

Inimerse 0.5.0 Release Notes

Inimerse 0.5.0 is the first release of the 0.5 line, 182 commits on from 0.4.1.
It is a correctness release: the language and the two runtimes were made to
agree with each other, the verse (P1) layer gained a process-boundary closed
loop, and the Windows build and its full CTest suite were brought back up.

Baseline for this release (see docs/STATUS.md §2):

Version	0.5.0 (CMakeLists.txt)
Clean build	configure and build exit 0, 0 errors
Full test suite	123 / 123 CTest cases on Linux; 103 of the same cases run on Windows (see the Windows section below)
Windows	the suite is green under MinGW-w64/UCRT64, in CI and locally (see below)

Language and runtime

• Value's integer slot is 64-bit end to end, and the differential fuzzer's
  remaining interpreter/native divergences reach zero.
• a + "text" no longer drops its left operand, and a + chain answers the
  same whether it has two, three or four terms.
• Truthiness has a single production point, so a condition can no longer be
  evaluated one way by the compiler and another by the VM.
• Boolean and/or are value-returning and agree across backends; % is
  64-bit; --lint reports a diagnosable form of the same checks.
• Sets: a set literal is a union of its intervals, enumeration walks all of it,
  str() and sum() count interval components rather than literals, and
  list(<set>) hands back values instead of a handle.
• One float format everywhere, including str() and the AOT backend.
• Ordering refuses instead of inventing an answer. A pair that has no order
  ("abc" < 1, nil <= 0) raises type_mismatch; it previously answered 0
  and made the comparison true.
• sum() means the same thing on Windows and on POSIX, and accumulates in 64
  bits.
• atomic_add/atomic_set are 64-bit on a 64-bit slot. The Windows
  implementation used the 32-bit interlocked forms and silently truncated;
  overflow now raises numeric_overflow and leaves the slot untouched.
• On Windows, a boolean read the union's double member, and len()/size()
  had no fallback when the collection count was absent.
• An unknown builtin is now an error instead of silently consuming the last
  argument, and the L_CALL_FUNC bounds check runs for every function rather
  than only for functions named h.
• vm_init zeroes the VM struct it is given. Twelve fields were never assigned
  and were read as stack garbage; on Windows this crashed 18 CTest cases.
• Sixteen snprintf truncation sites were fixed, and a path that does not fit
  is now refused instead of silently truncated.

Verse layer (P1)

• The P1 closed loop — create, enter, sync, drain, recover, undo, replay — is
  driven across a real process boundary (inim-server/inim-client child
  processes over pipes) by CTest verse_closed_loop, so it cannot pass by
  accident through shared memory.
• Deterministic replay closure: a fresh process rebuilds the same sequence
  number, chain head and cell state from the on-disk layer.
• Engine-side UPP framing and the CRP session state machine have their own
  probes and cross-checks against reference frames (verse_upp_probe,
  verse_crp_probe, and the JS crosscheck suites).

Platform

• Windows builds again. A repo header shadowed a CRT header, which broke the
  MinGW build outright.
• The CTest suite runs on Windows: the harnesses no longer assume a POSIX
  python3 name or a build/ directory layout, subprocess output is decoded as
  UTF-8 instead of the ANSI codepage, inimerse.exe/aot-native.exe are found
  by name, and CRLF differences no longer fail the frame cross-checks.
• The Linux build workflow and the release workflow called a Makefile target
  that no longer exists; both now use CMake, and the release workflow derives
  the version from the tag and refuses to publish if CMakeLists.txt disagrees.

Windows

The Windows asset is new in this release. Its engine is the same source as the
Linux one, with two deliberate platform differences:

• The distributed hub is reduced. The complete hub — /package,
  /package/fork, /content/, /economy/*, /node/*, /session/* — is
  src/platform/http_posix.c, which the source lists compile into the POSIX
  engine only. The Windows engine links src/mod/verse_dist_mod.c instead: a
  reduced hub that answers /ping, /v/<id>, /hub and /api/forge. Local
  verses, the VDP (verse://local/…), inim and aot-native are unaffected.
• The xlang bridges are not built, so xlang_python_bridge and
  xlang_java_bridge skip (they exit 77 and CTest reports them as skipped).

Nine CTest regressions drive the POSIX hub's routes, so on Windows they are
disabled rather than failed (DISABLED TRUE in CMakeLists.txt), and the suite
reports the Windows engine's own coverage instead of failing on a feature that
engine does not ship. posix_runtime_parity has been disabled the same way
since before 0.5.0. Nothing is skipped silently: every disabled case is listed
by ctest -N and named in this file.

The suite is green on both platforms for the commit this release is built from:
123 / 123 on Linux, and on Windows 103 run of 113 registered — the ten
DISABLED cases above plus the two bridge skips, no failures. The Windows run
is what CI executes on every push (windows-build.yml, MSYS2 UCRT64), and the
Windows assets below are built from that same commit with the same toolchain.

Assets

Linux x86_64:

• inimerse-0.5.0-Linux-x86_64.tar.gz
• inimerse-0.5.0-Linux-x86_64.zip
• inimerse-0.5.0-Linux-x86_64.deb
• SHA256SUMS

Windows x86_64:

• inimerse-0.5.0-Windows-x86_64.zip — the engine and its tools, built with
  MinGW-w64/UCRT64. It holds bin/inimerse.exe, bin/aot-native.exe (the AOT
  translator for the numeric subset) and bin/inim.py (the inim driver; the
  .py suffix is what Windows needs to run it).
• InfiverseSetup-0.5.0.exe — the Infiverse desktop installer (Inno Setup 7),
  bundling the engine, the desktop shell and the standard plugin set.
• SHA256SUMS-Windows — the two hashes above, in sha256sum -c format.

SHA-256

bfe81b646fe308623bc19a0b0a052d0b555ad243e7b477957a0df3f622794682  inimerse-0.5.0-Linux-x86_64.deb
9b3b74c4c2989718c9f60ba29d742266d25913530ef76ac2766e757b51b30310  inimerse-0.5.0-Linux-x86_64.tar.gz
524518143cc5bb2813bea5f3d7285ded67d423404a065b66c7d584682dea712c  inimerse-0.5.0-Linux-x86_64.zip

v0.4.1

Inimerse 0.4.1 Release Notes

Inimerse 0.4.1 is a patch release for the 0.4 portable runtime line.

Fixes

• Fixed hosted CI false failures in the range metadata regression by running
  the core language test from an isolated CMake sandbox.
• Removed the unsafe CTest failure regex that matched diagnostic string-table
  output instead of executed program output.
• Made CI CMake builds start from a clean build directory.
• Fixed Windows CI setup so the legacy build.ps1 path has a MinGW toolchain
  available on GitHub hosted runners.
• Made build.ps1 use CMake as the single canonical Windows source list,
  preventing linker failures when new runtime modules are added.
• Made the closure concurrency probe use the project's portable thread layer,
  so the full probe set builds with MinGW as well as POSIX toolchains.
• Updated GitHub's checkout and Node setup actions to their Node 24 releases.
• Fixed Windows collection conversion/join lifetime bugs exposed by the shared
  cross-platform CTest suite.
• Fixed an intermittent VM deadlock when thread result/await code created
  Result dictionaries while worker threads were still active.
• Made --no-mods a working runtime flag so core tests can opt out of ambient
  project modules explicitly.
• Brought Windows runtime collection metadata, process probing, and thread
  message timing behavior in line with the shared CTest suite.
• Isolated core metadata and portable API tests with --no-mods, and made
  portable API failures report precise stage markers without tripping CTest on
  diagnostic string-table output.
• Replaced the function-message thread lifetime test's fixed startup sleep with
  an explicit ready signal and queue handshake before sending the function
  value, and verifies the result through thread_result instead of thread-local
  gui_say output.
• Split --no-mods so core C modules still register while world, VDP,
  packaging, and disk-loaded modules stay out of core runtime tests.
• Made Windows atomic_get/atomic_set use interlocked operations for
  cross-thread visibility.
• Fixed Windows split handling for an empty separator so it matches the
  portable runtime's whitespace split behavior.
• Made copied function values clone their closure payload so queued
  cross-thread function messages do not depend on sender lifetime.
• Made function-value calls use the closure object's function index as the
  canonical target.
• Marked OS thread message queues as GC roots so queued function values remain
  callable until the receiver consumes them.
• Kept range metadata checks focused on the range(value) runtime behavior,
  with regex coverage handled by the portable API test.
• Declared the Python cryptography dependency required by signed Inim packages.
• Made build.ps1 create the local deployment directory before copying the
  Windows executable.

Assets

This release publishes the Linux runtime packages:

• inimerse-0.4.1-Linux-x86_64.tar.gz
• inimerse-0.4.1-Linux-x86_64.zip
• inimerse-0.4.1-Linux-x86_64.deb
• SHA256SUMS

SHA-256

2608345b5cb4fa0f91d37d98f881a18a15b1513048f2a6d5c27daa1b4336d6d2  build/inimerse-0.4.1-Linux-x86_64.deb
748a88e3253182ea9a4c00f307b847af7bc605fcd464cc2979b05728d412ac3a  build/inimerse-0.4.1-Linux-x86_64.tar.gz
53d96f2731bd4e486415cd5d8cafe24b7bb80dc4db3bb2b0dac96c143db8ec1b  build/inimerse-0.4.1-Linux-x86_64.zip

v0.4.0

Inimerse 0.4.0 发布范围

定位

Inimerse 0.4.0 发布为“可移植脚本运行时与离线包生态”版本。它冻结并交付
VM/PAL 基础、可验证的语言运行时子集和 inim 包闭环；它不是 Infiverse
完整宇宙平台，也不是 Inim OS 完整桌面系统。

本版本交付

• 可移植 C VM、PAL/VFS 基础能力，以及 Windows/POSIX 核心运行时 parity 子集。
• Result 原语、函数级 ?、thread_await、异常展开、finally 控制流诊断和线程完成值。
• 集合推导、TypeSet/有限枚举基础、结构化 case、case try 和有限集合覆盖诊断。
• lambda、闭包、函数值生命周期、跨线程消息和 GC 根保持。
• eidos/ed 外糖可执行子集：字段默认值、构造参数、方法闭包、单继承、覆盖和有限
  super.method(...)。
• inim 离线/本地/HTTP registry 包管理闭环：内容寻址缓存、锁文件、签名验证、
  离线重放、路径逃逸和篡改拒绝。
• 稳定的基础网络/协议探针、WASM 导出探针和 JIT 开关；template/optimized 在
  未命中特化时安全回退解释器。

明确不属于 0.4.0

• 完整 Eidos 对象模型：Mixin、可见性、sealed/frozen/invariant、原生对象布局、
  vtable、热修改和跨 Verse 对象映射。
• 真正的模板/类型特化 JIT、NaN boxing、分代/增量 GC 和性能加速承诺。
• 完整 Infiverse/CRP：DHT、中继、NAT 穿透、Traveller 身份、资产跨宇宙转换和共识。
• Inim OS 完整桌面、层级空间、渲染后端、裸机/微内核部署和安全中心。
• 远程 registry 运营、官方 Winget 提交、Windows 安装器和跨平台最终发行门禁。

发布门禁

发布候选必须满足：

1. CMake 构建、CTest、语言回归和 inim 回归全部通过。
2. git diff --check 无新增空白错误。
3. 集合审计三种 JIT 模式结果哈希一致，峰值 RSS 不超过固定门槛。
4. 发行包结构、WASM probe、DEB 的 python3 依赖和 SHA256SUMS 通过
   tools/release_verify.py --require-wasm --require-deb-python3；只有实际生成 Windows
   安装器并替换真实 SHA-256 后，才额外校验 Winget manifest。
5. 发布说明不把上述非目标描述为已实现。

当前本地证据（2026-09-13）：

• CTest：66/66 通过。
• make -j2 check：通过，包含 10 项 UPP/CRP/VDP 协议回归和 POSIX 探针。
• tools/inim.test.py：通过。
• Linux tar.gz/zip/deb 包中的 inimerse 与 inim 入口均保留可执行位。
• WASM probe：inimerse_probe() == 0x0400，稳定 ABI revision 仍为 1。
• 集合审计：规模 10000、每模式 3 次；三种模式在两个场景的结果哈希均稳定，
  峰值 RSS 最大 70324 KiB。

本文件定义发布范围，不代表 GitHub Release、签名发行包或跨平台 CI 已经完成。

构建、打包和发布门禁的具体经验记录在
0.4.0 构建与发布经验。

SHA-256

5fcd1f6bd6dbca1c24e00c438da053c17840535c5b4ba542dd7c07c969fc6492  build/inimerse-0.4.0-Linux-x86_64.deb
ddc6e15baccd31475820a2d2235194b3e128ab3ecbc8d136a326cb59551feffb  build/inimerse-0.4.0-Linux-x86_64.tar.gz
69eb946f73a03a242cfe73859fe3b35dfd6eaf1f97e35fde70b052450cf57fac  build/inimerse-0.4.0-Linux-x86_64.zip

Inimerse v0.3.0

Inimerse v0.3.0

Linux 发布包：.tar.gz、.zip、.deb。

SHA-256

• inimerse-0.3.0-Linux-x86_64.tar.gz: 3c678cc962036d5ddff771e524acfb4c687c19f0bbd2e97e9b2b12b0b91ae33n- inimerse-0.3.0-Linux-x86_64.zip: 5970c4c4a9d1982674e413a85194ca3d30529cca73830873f1ef141b59f469fcn- inimerse-0.3.0-Linux-x86_64.deb: