Perslis · 研究文库
从实际系统中，记录我们学到的东西。
在一个地方阅读 Perslis 的公开白皮书、Windows USB 研究和项目指南。每份资料保留自己的版本、验证状态和下载入口。
文库更新：2026 年 9 月 13 日 · 论文版本以各篇文档为准
白皮书与研究报告
阅读完整网页或下载原始 PDF。最新的 USB 研究与已有的 Perslis、COBOL 论文一同收录。
2026-09-13 · Windows 95 OSR2
Win95 USB Lab
实验预览 · VM 输入尚未通过资格验证我们为什么调查 Windows 95 的 USB 输入，发现了什么，以及如何验证。首个 VM 发布目标是 USB 鼠标和平板指针输入；实机测试安排在之后。完整白皮书、源码预览和验证记录均可阅读或下载。
Perslis · 技术报告
Proof Is the Product
试点级 · 测量结果与原型分别标注Perslis 运行时的设计依据：理解现有系统，选择执行路径，修复并验证遗留软件。完整论文区分实测、原型与示意结果。
COBOL · 研究预印本
符号知识与经过验证的程序合成
工作草稿通过符号知识图谱、确定性程序组合和外部编译器验证生成 COBOL 程序。阅读完整方法、报告结果与局限。
项目页面与实践指南
了解构建动机、今天可以使用的功能，以及下一步需要验证的内容。
工作流 · 操作指南
Jira Monkey
可安装的终端预览版Jira 工单经过 Ollama 初审、所选模型起草和 Ollama 复核，再返回队列或交给人工判断。包含构建背景、发现、安装说明和当前验证范围。
数据恢复 · 产品
Liberate
试点级产品把遗留应用文件转为 SQLite、CSV、JSON 和可搜索文档。公开产品页面介绍支持的文件格式、恢复流程、校验清单与回执。