能力实测

UEFI 固件 → Limine 引导管理器 → initsoke.efi 引导加载器 → sptkrnl.elf 内核 → BSD 组件。initsoke.efi 自行读取 ESP 上的内核与 initrd、解析 ELF64、整块连续装载、建立恒等映射与 HHDM 与内核映像页表、采集内存图与 RSDP 与帧缓冲、退出引导服务，再按自研交接 ABI 跳进内核。

冷入口设置 CR4 的 OSFXSR/OSXMMEXCPT 并执行 fninit，随后进入 kmain。版本号不在代码里写死，构建期由 version.toml 生成版本模块。

引导器响应块被收编成内核内部引导事实，HHDM 基址、内存图、可用页数、内核映像大小全部取自运行期而非编译期常量。

记录引导器给出的 GOP 帧缓冲几何与通道掩码。当前 QEMU/OVMF 给的是 32bpp、每通道 8bit，日志照实写 8bit/channel —— 不把 32bpp 说成 10bit，全链路 10bit 尚未实现。

从引导器内存图建立空闲页栈，内核拿到全部可用物理页。

内核早期阶段先上线 bump 分配器，供地基各子系统在真实分配器就位前使用。

收编引导器页表建立内核地址空间，恒等映射、HHDM 与内核映像三段各就各位。

每 CPU 的 GDT/TSS/GS 就位，256 项向量 IDT 装载完毕，异常路径带自检（故意触发

LAPIC 经显式 MMIO 映射上线，用 PIT 校准出真实频率后启动周期定时器，抢占式调度随之生效。

AP 经 Limine 的 MP 服务启动并全部上线。注意这里只是上线，AP 上线后停在 hlt，不参与调度 —— 真 SMP 调度见「已知缺口」。

机器相关层独立成 hal/（内存、CPU、中断、时间、SMP、控制台），内核只保留策略。拆层前后串口证据逐条一致，属纯重构。

FreeBSD 15.1-RELEASE 源码子集作为 SNMK 内核内的组件层接入，libkern 编入 libbsd.a 并被内核链接，符号为上游原版。

SYSCALL/SYSRET 已 armed。调用编号是六域单一来源 syscall.h，内核侧分发表由脚本在构建期生成，不手写第二份。

ELF64 装载器按 W^X 与 PTE_USER 装载用户程序，ustar initrd 提供首批服务 initd 与 logd，THREAD_SPAWN 让服务拉起服务。ring 3 的越权访问被内核拒绝而非静默放过。

时钟节拍能从 ring 3 夺走 CPU，含 GS 交换、地址空间切换与异常帧回填。用户程序不主动让出也抢得走。

纯 C ABI 头配 C++ 实现。syscall 指令在用户态只有一处，Zig 侧只做适配；调用编号与错误码同一份单一来源，内核侧表构建期生成。

cxxrt 提供堆分配器、__cxa_atexit 与 __cxa_finalize 与纯虚兜底；链接脚本 KEEP 住 .init_array 并由 crt 显式遍历，全局构造器与析构器都能真正执行。

ET_DYN 共享对象装载含按基址重定位与 W^X，DT_NEEDED 递归装载并去重，符号按名跨对象解析。四类重定位（RELATIVE / 64 / GLOB_DAT / JUMP_SLOT）已实现，其余类型显式报错 —— 不静默跳过。内核即装载器，不引入外部 ld.so。

容器为 ustar，含控制文件与载荷清单。键约束单一来源 schema/control.keys，内核常量由构建期生成；宿主 spkbuild.py 打包与校验做到字节可复现。内核解得开宿主打的包。

BIOS/UEFI 混合 ISO，介质名由版本单源给出，命名严格遵循规则 24。从 ISO 引导得到的证据与从 ESP 引导逐条一致。

串口证据断言（verify-serial.py 配 tools/expect/ 清单）与宿主机单元测试（zig build test）构成双门禁，任一条不中即非零退出 —— 门禁失败不会被当成通过。