Perslis · 研究文库
从实际系统中，记录我们学到的东西。
在一个地方阅读 Perslis 的公开白皮书、Windows USB 研究和项目指南。每份资料保留自己的版本、验证状态和下载入口。
文库更新：2026 年 9 月 13 日 · 论文版本以各篇文档为准
白皮书与研究报告
阅读完整网页或下载原始 PDF。最新的 USB 研究与已有的 Perslis、COBOL 论文一同收录。
Peel · 科学知识微站
让知识可追溯。让发现有根基。
交互数据 · 系统架构 · Lois · 生命科学探索真实的对话知识立方体，了解 Peel 与 Lois 的符号推理架构，以及面向生命科学研究的愿景。五个章节涵盖已有成果、可检查的推理与下一步验证方向。
符号推理 · 交互式演示
地板与分类器
并排实时演示 · 两种解法均由我们自行实现并测量同一个打乱状态下的两种魔方解法：模型在其中挑选情形的七步分层法，以及用精确查表搜索四个子群的符号地板。112 步对 31 步，两边都零模型调用。还有与步数无关的那一部分——一个不可能存在的魔方会被点名拒绝，而置信度分数根本无法表达这一判定。
符号推理 · 实时求解
逐级解一个魔方
交互式 · 4 张精确查表 · 最坏 45 步，已证明单独看这块符号地板。四个子群，每一级确立一个具名不变量，并把一个更小的生成元集合交给下一级——所以第二级无法把第一级翻正的棱块再翻乱，因为能做到那件事的走法已经不再被准入。可以打乱、用同一打乱重来，也可以递给它一个不可能存在的魔方，看地板点名拒绝。
AI 记忆 · 预印本
检索不是记忆
工作草稿 · 未经同行评审几乎所有"AI 记忆"都只是向量数据库加 top-k 余弦相似度——带模糊键的存储，而非记忆。我们将记忆定义为一种对经验的治理功能（retrieval ⊂ memory），并形式化了这个领域跳过的九个决策：持久性、衰减、重新激活、矛盾、类型（事实／情节／程序／工作状态）、巩固、遗忘、超越相似度的相关性，以及抑制。以一个真实技术栈加以印证——其符号层在无法判定时会如实弃权。
TinkyVision · 技术报告
TinkyVision：要有视觉
试点级 · 内含一段真实的五分钟流失明的模型能推理系统，却无法观看它。TinkyVision 让任何模型——哪怕纯文本模型——获得连续、低延迟、可证明的视觉：每秒一帧写入 300 帧循环缓冲环，渲染为终端画面，经 MCP 工具流式传输，并带逐帧溯源。面向气隙与带宽受限环境的轻量视觉，页面内嵌一段真实的 Windows 98 五分钟流。
AI 安全 · 预印本
编排层缺口
工作草稿 · 未经同行评审为什么模型层面的对齐无法在多模型运行时中存活：拒绝变成选路信号，对抗性模型洗白将其击穿，而自进化会主动选择这种行为。解决之道是四条链层不变量，由符号层而非训练护栏来强制执行——把控制附着到编排层上。
符号 AI · 预印本 · 附证明
在符号系统中遍历数据
工作草稿 · 已脱敏 · 4 条定理，已证明并验证向量库靠相似度检索，且无法告诉你"为什么"。符号系统靠遍历——它沿着有名称、类型化、有向的边行走，而这段行走本身就是答案的依据。我们证明类型化关系遍历是保守的（不会捏造）、可终止的（置信度下限即深度上界）、自证的（每个答案都带着一条可复核的证明——路径），以及感知一致性的（功能性关系可捕获矛盾）。已做可复现验证，并以约 6.5 万条关系的真实图谱为依托。相关性是可达性，而非邻近度。
AI 安全 · 预印本 · 附证明
在行动之前验证
工作草稿 · 5 条定理，已证明并验证薄弱的范式是"模型思考 → 模型调用工具"。更强的范式：一个预动作对抗性认知循环——在行动之前雇一个模拟器去寻找失败，把判断层与提交层分离，把类情绪的认知调节信号加以接地使其不可作弊，并让现实闭合循环。五条定理——分解式安全、有界风险、单调覆盖、惊奇消失、不可作弊的信号——每条都被证明并做了可复现的数值验证。
思辨性文章
道与模式（The Word and the Pattern）
思辨性文章 · 非实证、非教义一篇在神学与心灵哲学交界处、心怀敬意而又严谨的思想实验：倘若灵与信息／模式只是同一个观念的两种称呼——那独立于物质而持存并赋予生命的东西——从《约翰福音》第一章的道（Logos）（"道成了肉身"）到一场施加于灵的图灵测试，并把中文房间与意识的难题完整摆在眼前，对自己不主张什么毫不含糊。
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 和可搜索文档。公开产品页面介绍支持的文件格式、恢复流程、校验清单与回执。