[Roadmap] v0.4：形式化与语言定位

[miaobyte]

目标版本：v0.4 —— 主题为形式化与语言定位。本 issue 是顶层追踪，只记方向与归属。

A. 形式化验证

• [RFC] 5-formal: 如何把 kvlang 的形式化验证内置在语言内部（不变量 + proof obligation + 运行时自检 + 自指） #140 如何把 kvlang 的形式化验证内置在语言内部（不变量 + proof obligation + 运行时自检 + 自指）
• [RFC] 5-formal: kvlang 验证优先的落地路径建议：proof 契约 → 逻辑规范 + SMT → 验证优先编程 #167 验证优先的落地路径建议：proof 契约 → 逻辑规范 + SMT → 验证优先编程

B. 权限与命名（语言定位）

• [RFC] 0-kvspace: XValue head 增加 rwx + uid/gid 权限系统：kvspace 层硬强制读写码 #54 XValue head 增加 rwx + uid/gid 权限系统：kvspace 层硬强制读写码
• [RFC] other: 变量命名通货膨胀（读写码三步舞，agent 友好度） #64 变量命名通货膨胀（读写码三步舞，agent 友好度）

C. 架构定位

• [RFC] 2-runtime: kvlang-runtime 的概念与调度设计（main/ext + myrwircaps） #189 kvlang-runtime 的概念与调度设计（main/ext + myrwircaps）
• 2-runtime: handoff 调度机制参照 io_uring（passthrough / 共享环 / 完成式通知 / 背压 / 预注册零拷贝） #346 handoff 调度机制参照 io_uring（passthrough / 完成式通知 / 背压 / 预注册零拷贝）

完成判据（v0.4）

• 相关 RFC 收敛出裁决记录并落 spec 条款
• 权限系统与形式化不变量各有可运行的雏形（而非仅停留在设计）