白皮书

白皮书层的任务，是把 BitCal 的重设计论点讲到足够清楚，清楚到可以被挑战。它围绕一条系统架构主线展开，而不是围绕功能列表堆字数。

系统架构主线

这条主线依次回答三个问题：公开模型是什么、算法如何组织、契约在何处停止，从而允许 dispatch 与 kernel 在其下自由演化。

先读公开模型。这页解释为什么 BitCal 要把 owner、view 与 algorithm 写成独立公共角色，而不是继续挂在一个中心对象上。

接着阅读算法设计。这一页会说明为什么自由算法是行为中心、算法族如何组织，以及为什么必须先定义可观察语义，再讨论 backend。

最后阅读分发与内核。它说明哪些内容属于契约线以上，哪些仍是实现自由，以及 x86-64-first 支持姿态会如何约束公开叙事。

owner、view、algorithm 与稳定 include seam。

如果你想先搞清公开词汇表是什么，就从这里开始。

解释自由算法如何组织契约表面。

这一页会把算法族、语义优先写法和 borrowing 为什么必须是一等公民讲清楚。

说明实现自由从哪里开始，支持边界从哪里收紧。

在阅读性能数据之前，必须先理解这条边界线。

离开论点层，进入 baseline 与 methodology。

白皮书刻意把 benchmark 证据交给性能章节处理，而不是塞回架构叙事里；ARM 数据先留空，直到存在保留下来的 benchmark 证据。