当前工程与研究项目
项目
五条活跃工作线，从受监管信息检索，到软件保障证据、密码基础设施、多语言词干处理，以及聚焦的 Java 协调组件。
受监管搜索
EGOTHOR v4
把确定性的驻留式搜索与策略感知的信息披露共同设计，用于受监管的信息环境。
私有测试版Top-K计划开源
软件保障
MethodAtlas
跨八种语言的确定性测试清单、可选 AI 安全分类和可复现证据。
8 种语言SARIF 2.1证据包
密码系统
ZeroEcho
经典、后量子和混合密码能力，配合明确的密钥边界、可靠工作流与不断扩展的 PKI 服务层。
PQCPKI离线
语言工程
Radixor
基于字典训练的 patch-command 词干处理，拥有二十种语言的研究证据以及紧凑的 Java/Python 运行时模型。
20 种语言Java + PythonBSD-3-Clause
Java 基础设施
conflux
面向解耦 Java 组件的类型安全共享处理上下文和变更事件，API 有意保持小而清晰。
类型安全键事件线程安全
