参考总览
这一节是查表用的,不讲设计动机。设计动机在前面几节,这里只放数字、布局和路径。
表
系统调用
Linux 面的 45 条 dispatch 臂,以及 FujoOS 原生编号的区段划分。
表FUAI 操作码
契约的 46 个原语(core 40 / host-ext 6),以及模型卡与盒桥的编号。
布局FUI 与 .fuc
声明式界面的词汇表,以及 64 字节节点记录的字段偏移。
路径仓库结构
顶层目录是什么,以及文档编号的组织方式。
口径提醒:
这里的数字都来自脚本输出或源码常量。如果某张表和实现不一致,那是一个缺陷而不是“文档略有滞后”——契约检查器的存在就是为了让这种情况发生不了。