研究
Perslis 研究
Perslis 的研究部门——关于遗留系统控制、数据恢复与经验证合成的证明优先工作。每一项主张都按它是如何被赢得的来贴上标签；每一个数字都带着它的出处。
论文
Win95 USB Lab：从 USB 假设到可验证结果
实验性预览VM 与实机验证待进行
我们为什么构建它、调查发现了什么，以及在宣称支持之前还需完成什么。包含完整白皮书、20 项宿主机检查记录和后续 VM／实机测试计划。
证明即产品 — Perslis 白皮书
PILOT-READY
wine 层：已测量
VM 层：原型
模型是罐中之脑——才华横溢，却无能为力。第一部分主张，操作性 AI 的约束性瓶颈已经从智能转移到具身：模型周围的框架、外壳与循环——并介绍 Perslis，一个模型无关的操作运行时，配有符号护栏层（Captain）、持久记忆的进化系统，以及一个对"完成"的验证优先契约。第二部分在可能最艰难的底层介质上——已死的遗留二进制文件——用一个自进化的兼容性引擎证明这一论点：从二进制层面选路、修复并验证，且每一项主张都被标注为已测量、原型或示意。
基于符号知识图谱与不可作弊编译器裁决的经验证程序合成
预印本 · 工作草稿
一个免烘焙、可自我扩展的 COBOL 系统：知识是被附加的，而非烘焙进权重；外部编译器是不可作弊的裁判；每个答案要么被证明，要么被拒绝。系统结合了带来源追踪的符号知识检索、确定性程序合成、可执行的编译器与运行时验证，以及明确的拒绝机制。它在三类结构迥异的程序族上生成行为正确的 GnuCOBOL，在单核 CPU（无 GPU）上约 486 毫秒返回一个答案，且从不输出未经验证的代码——由于裁判是外部的确定性预言机，而非模型给自己打分，其自我改进无法被"奖励作弊"。
项目页面与实践指南
阅读 Jira Monkey 的构建背景与终端操作指南，了解 Liberate 的遗留数据恢复流程，或从 Windows 与 USB 页面开始测试。