第一个程序

本指南编译高层 .vts，再用原生 core 执行 .vt。

1. 创建源码

hello.vts：

fn main() {
    let answer: u64 = 17 * 23
    print("391")
    halt 0
}

在仓库根目录：

python3 tools/compiler/main.py hello.vts -o hello.vt --dump-ir

输出必须包含 wrote hello.vt。编译器失败时不会留下可发布程序。

python3 tools/vt_disasm.py hello.vt

反汇编必须有可达 HALT，不得出现 unknown opcode 或越界跳转。

Linux：

./kernel/zava_core.elf hello.vt

Windows：

.\kernel\zava_core.exe hello.vt

两端 stdout 必须一致。需要身份、记忆或 HTTP 时，使用 Runtime CLI，而不是把这些接口假设成普通 .vts 语法。