Rail v5.5.0 发布：无 C 运行时的自举语言，编译器兼作可复现校验器

Ledatic-Empire 发布自举编程语言 Rail 的 v5.5.0，约 1 万行 Rail 编译器产出约 0.9 MB ARM64 二进制，两轮自编译达到字节级一致定点，运行时无 C、GC 用 ARM64 汇编实现。v5.5.0 引入 Hindley-Milner 类型检查，自编译从约 20 秒降到 5 秒，GC 压力测试发现并修复 6 个收集器 bug，253/253 测试通过。项目将编译器用作训练适应度函数，用哈希链账本和熵信标签名证明计算过程，并公开了 138M 模型在冻结基准 16/16 compile@1 但对新函数名泛化 0/10 的局限，以及一次自改进循环的收益在更宽样本上被证伪的教训。