安全的系统。
原创的人工智能。
诚实的工程。
Imortek 为那些常规工具解决不了问题的机构开发专用软件 — 涵盖安全、国防、政府与研究。一套给无法快速打补丁的设备用的操作系统。一个专门对付没人有源码的二进制程序的反编译器。一套从第一性原理推导出来的人工智能（AI）架构，而不是在别人的模型外面包一层。本站的每一条主张背后，都有一项测试、一组基准，或者一句关于哪里还不行的老实话。
github.com/odin-loki
连接中…ParanoidBSD
一个加固过的伯克利软件套件（BSD），用 C++23 重写，在 HardenedBSD 已有的东西之上架起一层能力与句柄内核 — 桌面则是 KDE Plasma 6。
几乎所有操作系统至今仍建立在没有内存安全的 C 之上。PBSD 把 HardenedBSD 15-STABLE 当作行为规格，逐个文件移植到 C++23 模块 — 再加上一个安全内核：每一项资源都必须通过无法伪造的句柄取得，而不是通过环境中的全局命名空间。
- 忠实移植，而不是“顺手改进”。 HardenedBSD 的代码树就是规格。连缺陷也照样移植，直到某项改动被单独记录下来为止。
- 没有验证，就不算做完。 只是能编译，就等于没验证。每一个文件都要过差分验证或中间表示（IR）验证这道门禁。
- 确定性工具优先。 安全重写流程在任何模型碰代码之前运行 — 而模型永远不为自己背书。
- 自由站立的内核 C++。
-fno-exceptions -fno-rtti，外加一份有文档的内核应用二进制接口（ABI）。
迁移驱动程序输出的示意重建。真实日志位于 docs/migration/.
七套系统，一个工程标准
每一个都是有真实测试的真实仓库。下面每个页面都带一个能跑的交互演示，直接呈现背后的想法 — 在你的浏览器里运行，不用安装，也不用注册。
ParanoidBSD
C · C++23 · 操作系统HardenedBSD 15-STABLE 移植到 C++23 模块，配上能力／句柄安全内核与 KDE Plasma 6。交互演示：跟着一次系统调用走过内核。
打开 PBSDCypha
C++ · AI 架构一个类型同时做分类、回归、隐变量采样与 token 生成。由 MDL 先验、自然梯度与信息瓶颈推导而来。交互演示：点几下，现场训练一个分类器。
打开 CyphaRetDec Imortek
C++ · 反编译器还原算法、密码学原语、并发模式与序列化格式 — 不只是伪代码。Qt 6 界面，可选的离线神经网络精修。交互演示：把一段字节还原成有名字的算法。
打开 RetDec ImortekMathScript
C++23 · 计算机代数线性代数、特殊函数、ODE/PDE/有限元/CFD、优化、信号处理，外加一个符号计算系统 — LU/QR/SVD 全部自带，不用 Eigen，也不用 OpenBLAS。交互演示：现场作图并求导。
打开 MathScriptAEGIS
Rust · 匿名传输隐藏谁在跟谁通信、何时通信、通信量多大 — 对手是全局被动监听者。恒定速率的 Sphinx 混合网络，外加一个可调的批量通道。交互演示：相关性攻击，你自己跑一遍。
打开 AEGISSENTINEL
C++23 · Qt 6 · 犯罪分析泊松与霍克斯模型、DBSCAN 系列案件识别、KDE 热点与 Rossmo 地理画像 — 每一条线索都能追回到原始记录。交互演示：点几下就能构建一张热点图。
打开 SENTINELCell AI
Python · 序列模型反应扩散的分区动力学，赫布／BCM 可塑性在前向传播 过程中 实时发生。诚实记录，连失败也写进去。交互演示：跑一遍反应扩散场。
打开 Cell AITRACE
C++23 · 多目标跟踪从稀疏观测中保持持续身份 — 存在性是一个概率而不是布尔值，所以航迹能挺过没有任何东西看得见它的空档。交互演示：引擎本身，运行在 WebAssembly 上。
打开 TRACE研究书架
想法 · 研发密码学、长上下文记忆、跟踪滤波、GF(2) 环论、场引力模型、硬质合金刀具、能源宏观经济学。这是一个书架，不是产品目录 — 标签上写的也正是这句话。
翻看书架把标准直说清楚
独立软件有信誉问题，而且这问题通常是自己挣来的。下面是这些仓库真正遵守的规矩 — 每一条你都能对着源码核实。
能编译不等于做完了
在 PBSD 里，任何一个移植过的文件在通过差分验证或 IR 验证之前都不算完成。在 MathScript 里，正确性就是 816 个 CTest 套件跑过已提交的基准值。在 Cypha 里，证据是与基准值一致 — 而不是排行榜上的一个数字。
模型只补空缺，从不背书
AI 用在它配得上的地方 — 移植啃不动的文件、精修反编译输出 — 而且永远排在确定性工具之后、硬性关卡之前。做决定的是编译检查、消毒器、差分运行和 IR 比对，不是模型。
局限是公布出来的，不是埋起来的
Cell AI 的困惑度比 transformer 差好几个数量级，它的 README 就是这么写的。AEGIS 明说明网出口更弱，且数秒级延迟是结构性的。RetDec 在不借助符号名时的算法 F1 是 0.056，就印在借助符号名的 1.000 旁边。这正是重点。
实测胜过直觉
AEGIS 是按一条规则造出来的：没有攻击模拟确认，就不算做完。开发过程中，关于流量分析的直觉一次又一次出错； sim/ 里的模拟平台，就是规格书里每一个定量结论背后的证据台账。
最近动过的东西
你打开这个页面时从 GitHub API 取回的。安静就是安静 — 你和提交历史之间没有任何营销层。
对几乎所有人免费。该收费的地方收费。
Imortek 发布的一切都以源码形式提供，采用 GNU Affero 通用公共许可证 v3.0 或更高版本，另有分级商业授权，供需要把修改保密的机构使用。
- 按 AGPL-3.0+ 免费 适用于个人使用、慈善机构、教育机构，以及年收入低于 50,000 澳元 的任何组织。
- 商业授权 超过该门槛后按规模分级，且无须公开你的修改。
- 目录里的每一个仓库今天就带着这些条款 — 这不是计划，这就是 LICENSE 文件里写的内容。
/* In your about box, docs, or footer: */ "Powered by Ideas, developed by Odin Loch. Licensed under AGPL-3.0+."
按 AGPL，你还必须以同样的双重许可回馈你的修改，基于本软件的研究也必须开源。商业授权会免除这两项要求。
PBSD 众筹已开启
移植正在推进。现在缺的是把它做完所需的 AI 额度与验证算力。目标是 10,000 澳元，全有或全无，而这个数字背后的每一项假设都摊开在众筹页面上，还可以自己调参。