资助算力， 把 ParanoidBSD 做完
移植正在推进。确定性工具已经写好，验证关卡已经就位，迁移驱动程序也能跑。缺的是把剩下这些文件推完所需的推理与验证算力 — 这就是这次众筹存在的全部理由。
支持全部在 Kickstarter 上完成。本站不收集任何支付信息，不设置 cookie，也不跑任何追踪器。众筹是全有或全无：如果到 2026 年 11 月 12 日没有达到目标，谁都不会被扣款。
为什么这件事需要钱，以及为什么需要的是这种钱
把一个加固过的 BSD 移植到 C++23，靠手写是十年的全职工作量。这同时也是语言模型真正有用的那类任务 — 机械式翻译，而且有一份严格的规格可以对照检查，这差不多是这项技术的最好情况。
设计里已经体现了这一点。确定性重写流程把它们能安全处理的全部处理掉，而且不花钱。模型只用在残余部分：清单里打了桩的条目，以及确定性流程拒绝处理的文件。之后模型的每一份输出都要过编译、ASan、UBSan、差分执行，以及在编译器中间表示（IR）这一层上的比对，才算数。
这套验证不是可选项，也不便宜。每个文件都要尝试、检查，常常被打回重来。成本在这个循环里，不在单次跑通上 — 而正是这个循环，把模型输出变成一个以安全为重的操作系统真敢发布的东西。
- 4,786 个手写的 C++23 模块 — 大约 352,000 行 — 都在一道跑绿的构建关卡后面
- 给每个 C 源文件打分的清单工具
- 确定性重写流程，第 0–4 级
- 智能体移植驱动程序，带工作池与升级机制
- 编译、消毒器、差分与 IR 验证关卡
- 来源追踪，让许可证边界始终可审计
- 能力核心的设计，以及内核 C++ 应用二进制接口（ABI）规格
这些东西现在全都在仓库里，用的是开放许可证，无论这次众筹成不成。你可以先拿源码核对本页上的每一条说法，再决定任何事。
预算模型，假设全部摊开
大多数众筹预算是一张整数凑出来的饼图。这里放的是真正的模型：改任何一个假设，看总额跟着动。默认值是规划用的估算，也明确标成了估算 — 不是报价，也不是实测成本。
pbsd — 移植成本模型
范围
每次尝试
供应商价格 — 把这些改成你的供应商当前的定价
钱花到哪里
这些是规划用的估算。 文件数、尝试率和 token 用量是根据迁移日志做出的有依据的猜测，不是经过审计的数字。供应商价格一直在变 — 上面那些字段之所以可以改，正是因为你不该相信一个我写死的数字。
只有一档回报，其余都是捐助
没有档位阶梯，没有周边，也没有抢先体验的排序。这次众筹资助的几乎所有东西 — 移植、工具、验证 — 都是写出来就以开放许可证发布，所以不管你有没有付钱，它都会到你手上。对已经公开的工作按阶段收费换取访问权，那是演戏。
捐助
默认选项，也是预计大部分支持会采取的方式。它买的是算力：确定性流程收不了尾的那些文件所需的推理，以及给它们把关的验证运行。
- 直接资助移植，不为回报抽走任何开销
- 它产出的一切无论如何都会以 AGPL-3.0+ 公开
- 没有档位，没有排序，没有回报 — 也不暗示有
定制一个功能
说出一件你想让 ParanoidBSD 做到的事，它就会被做出来 — 先跟你老老实实把范围定清楚，免得有人花一万澳元买了一件后来发现做不到、或者本来就在计划里的东西。
- 一个由你选定的功能，在做出任何承诺之前先和你一起把规格定下来
- 和其他所有东西一样要过同一套验证关卡 — 不会因为付了钱就走捷径
- 和代码树的其余部分一样开源发布
- 一份关于这件事做得怎么样的书面记录，做砸了也照写
- 预计 2027 年 12 月交付，发往任何地方 — 它是软件
拿到钱会改变什么
清单、确定性流程、智能体驱动程序、验证流水线、来源追踪。现在就在仓库里。
正在移植 bin/ 与 usr.bin/ ，按划定的范围分批进行，以差分验证把关。速度受可用算力限制。
能力与句柄核心，独立环境的 C++23，遵循内核 ABI 规格。
KDE Plasma 6、KWin 与各框架，对接到已移植的基础之上。
作者以外的人也能跑起来的可安装构建。
哪些地方可能出问题
Kickstarter 要求写一节风险。这一节是照着真能派上用场去写的。
移植可能卡在难啃的文件上
供应商定价可能变动
这只有一个人
AI 辅助的操作系统移植会招来合理的怀疑
来自未经审计来源的安全软件
先读源码，再做决定
本页上的每一条说法今天就能核实。工具、关卡、来源记录和迁移日志全都是公开的。先去读 — 支持一个你没检查过的移植，正是这个项目一直在反对的那种错误。