rt 域包 —— 自由运行时(bare / wasm32)
lib/rt/ 没有 .ct 门面(因此无生成式参考页):这里是 T35 档位轴的
bare / wasm 目标三档运行时支撑物——C 头文件垫片与链接脚本,不是 Ctron 源码
API。逐项文档见源内 README:
- bare:
lib/rt/bare/README.md(Region/Pool/Static + zeros 守卫; freestanding 头垫片 dirent.h/dlfcn.h/errno.h/pthread.h/setjmp.h 等 + link 脚本) - wasm32:T37–T39 泳道(MVP/桥 ABI/dom 三面),桥契约 =
(ptr,len) → i32 status
与语言面的关系
--profile=bare将有效档钳到 core(use 点档位越界 = E3040,一次诊断); 档位轴(core/alloc/std)见 std/README.md 档位轴章。- 裸档体检:
tier_real_pos(core 五模块全量消费零诊断)。 - GC/分配语义差异与 ISR parity 以
tests/bare/tests/ffi套件实测为准。
注:本页为指针页;rt 面的「API」即 C 垫片符号,以 lib/rt/*/include 与
lib/rt/*/src 源为单一真源。