Repository navigation
Conversation
从零搭建 runtimec:C11 架构骨架(vmkv/vmbin/vmjit/engine/host/interface/ include)、BinIR 契约与读写别名约定、优化支柱文档、架构交接文档,并把主干 收敛为单一 fail-closed 架构。 净新增 99 个文件,全部位于 runtimec/ 下。 Co-Authored-By: Claude Code <noreply@anthropic.com>
- 原则 15:保留逐指令 pc/status 的可观察、可暂停、可恢复语义;不迁移 mem_frame / segment_may_stop 这类不可观察纯内存帧。 - 原则 16:Program、执行计划、机器码、JIT register/spill、profile 与 repository 条目均为派生进程内状态,必须可丢弃、可从明文重建。 - 按 #622 依赖顺序给出四阶段路线(引擎 → 明文艺文与 canonical BinRWIR → compiler 含 JIT → 成为默认 runtime 并删除 runtimec2)。 - 行为矩阵与架构检查工具同步。 Co-Authored-By: Claude Code <noreply@anthropic.com>
This branch has not been deployed
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
从零搭建
runtimec/:C11 运行时底座、BinRWIR 契约、唯一 fail-closed 主干。99 个新文件,全部是净新增,不改动任何既有文件。为什么是现在
runtimec2 已按裁决完全冻结(见 #624 的冻结声明),runtime 方向回归 C。本 PR 是 C 侧从零开始的底座,不搬迁 c2 代码,只确立主干。
唯一主干(不可分叉)
执行期不得重新判定、改选或隐式降级;
engine/route.c是唯一同时看见 vmkv、compiler、JIT executor 与 vmbin 的文件。九条绝对原则(见
runtimec/README.md)只有一条正常方向 · 语义先于实现 · 等价生成 · 编译期一次决定 · 执行期不改决定 · 只有一个策略汇合点 · 错误立即停止 · 不保留旧入口 · Less code, more useful capability。
失败封闭:未实现返回
RUNTIMEC_STATUS_NOT_IMPLEMENTED,非法输入返回RUNTIMEC_STATUS_INVALID;空值、零、false或默认结构不能伪装成功。目录结构(99 文件)
runtimec/documentation/architecture/runtimec/specification/rwir_catalog.def、scalar_operations.defruntimec/contract/runtimec/vmkv/runtimec/binrwir/、runtimec/binrwir_compiler/runtimec/vmbin/、runtimec/vmjit/runtimec/engine/、runtimec/host/、runtimec/interface/、runtimec/include/runtimec/tests/、runtimec/tools/验证范围
本 PR 只立骨架,不含语言语义实现,因此验收是「结构与契约自洽 + 文档与代码一致」:
git diff --name-only只含runtimec/下路径,无任何既有文件改动)runtimec/README.md的九条原则与documentation/architecture/runtimec-architecture.md可互相对照NOT_IMPLEMENTED,非法输入统一返回INVALID未做:执行语义、JIT 代码生成、任何性能工作。这些在后续阶段。
🤖 Generated with Claude Code