语言概览

Zava 有两个相连但不同的入口：

.vts 是面向开发者的高层源码，由 tools/compiler/ 编译。
.vt 是小端、定长操作数的机器字节码，由原生 core 执行。

交互式 zava.elf/zava.exe 是带身份、记忆、网络和服务端能力的 Runtime；它不是 .vts 编译器。文档会明确标注“语言语法”“指令”“Runtime API”和“CLI 命令”，禁止混用这四层。

执行链

source.vts -> tools/compiler/main.py -> program.vt -> zava_core.elf/.exe
                                             |
                                             +-> trace + memory image

zava.elf/.exe -> CLI / HTTP / WebSocket -> identity + journal + skills

冻结边界

通用寄存器：R0..R15。
字节序：little-endian。
程序上限：64 KiB。
单次执行上限：1,000,000 VM 步骤。
静态 ISA：85 条，来源为 tools/phase2_isa.py 的 INSTRUCTIONS。
Runtime adapter：0x93..0x9D 共 11 条。
动态注册：DYNAMIC_OPCODE 协议，不计作额外静态 opcode。

最小源码

fn main() {
    let answer: u64 = 40 + 2
    print("42")
    halt 0
}

编译：

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