跳至内容
Fabio Cherici

Oracode

AI 真的能从一个简单的需求出发,从零创建出一个可用的程序吗?

不能。

AI 的本质是做预测,用来创建演示它完美胜任。但让它对复杂概念进行推理,就像拿你的问题去赌博。

我们不赌博,我们用 Oracode。

Oracode 不阻止它预测——而是强制它验证每一步,直到走对为止。

Oracode 是我们创建的系统,用来将一个适合写文章的工具变成一个适合创建解决方案的工具。

这让我们能以竞争对手几分之一的时间创建企业级解决方案。

来考验我们。联系我们。

Oracode 到底是什么

我们在过去 18 个月编写的超过一百万行代码中将其提炼而成。验证

每条规则都是一个错误的代价。它的基石支撑着企业级软件所需的严谨。

基石

六根支柱引导 Oracode 中的每一个技术决策。它们不是阻断性规则——而是审视代码的透镜。它们共同定义了什么叫"做得好"。

1

显式意图

永远声明你为什么这样做。

每个技术决策都有一个为什么,而那个为什么必须被声明。代码不留给人猜测:它自我解释。

2

赋能简约

选择让你更自由的道路。

简约不是平庸。是在不牺牲当下效能的前提下,获得最大的未来自由度。

3

语义一致

言行合一。

你使用的名称和代码的承诺必须属于同一个世界。一个叫 updateUser() 的函数就是更新用户。就这样。

4

良性循环

创造回馈放大的价值。

每个解决方案都反哺系统:今天的 bug 变成明天守护系统的测试。

5

递归进化

用每一次成功来改进系统。

系统从自身学习。一个关闭的 mission 会生成留存在知识库中的模式。

6

主动安全

将安全作为架构原则来集成。

它不是最后打的补丁:而是贯穿每个决策的思维,从设计到每一行代码。

规则

十三条阻断性规则——称为 P0——构成 Oracode 的纪律骨架。每一条都是一个真实错误的伤疤,被编纂下来以防重蹈覆辙。我们以精要形式呈现;其技术实现细节保留在内部。

REGOLA ZERO

绝不推断。绝不填补空白。不知道就问。

最根本的原则。AI 不在信息缺失时继续推进:它停下来,去验证。

原子翻译

一个键,一个含义。字符串中绝不使用动态参数。

每个翻译字符串是不可分割的单元。句子不通过拼接片段构建——而是整体翻译。因为每种语言有自己的语法。

无隐藏约束

如果有限制,必须声明。绝不隐式。

没有硬编码参数可以悄悄限制结果。每个约束都是显式的、可配置的、对代码阅读者可见的。

反捏造

绝不使用未经验证的东西。

方法、常量、服务、URL、配置:使用之前,AI 先确认它们确实存在。不再有"看似合理但并不存在的方法"。

集中式错误处理

不允许临时拼凑的 try/catch

每个错误都经过统一系统的分类、记录和结构化响应。不再有凭空消失的错误。

已验证的服务

调用服务前,验证方法是否存在。

AI不会调用看似合理的方法。它在代码中找到服务,读取签名,验证参数。然后才调用。

已验证的常量

每个常量、每个枚举:使用前验证。

不使用看起来正确的假定值。常量在源代码中验证——确认名称和值完全匹配。

修改前的流程分析

先理解,再动手。

非平凡的修改之前,必须先完成完整流程的映射。隐形回归在这里规避,而不是在生产环境中。

强制国际化

代码中不允许硬编码文本。

每条可见字符串都经过翻译系统。当需要第二种语言的那一天,一切已经就绪。

接口,非捷径

只通过批准的接口访问数据。

不为方便而绕过抽象层。如果存在接口——服务、工厂、适配器——就使用它。捷径会变成技术债务。

文档同步

代码和文档同行。

一个任务在文档与代码一致之前不算完成。"以后再写"的文档等于不存在。

已验证的基础设施

绝不假设URL、路径、分支、服务器。

部署信息不靠记忆或推断。从真相源实时验证:服务器、仓库、DNS。

创建前先查目录

创建之前,先搜索。是否已存在?

每个新组件——服务、控制器、类——在创建前先在生态系统目录中搜索。如果存在,复用。如果名称已占用,重命名。

这十三条规则构成范式核心。在Oracode的各个实例中可以添加特定领域的P0规则,但以上规则集是通用的。

轨道

规则不只存在于纸面。它们以机械轨道的形式存在,实时拦截 AI 的每一个动作。

Oracode 依托一套阻断性钩子系统:小型自动检查,在 AI 每次即将执行关键操作时触发。如果操作符合规则,放行。如果违规,当场阻断——在错误代码写入文件之前。

三个响应级别:

BLOCK

操作被拒绝。修正后重试。

ASK

系统向人类请求确认。合理吗?只有获得肯定才继续。

WARN

系统发出警告并记录。继续执行,但操作被留痕以供审计。

轨道将规则从承诺变为机械闸门。一个受 Oracode 约束的 AI 不可能"忘记"一条规则:轨道会自动提醒它。这就是"建议遵守的方法"和"强制执行的方法"之间的区别。

活的记忆

在一家普通的软件公司里,代码和文档活在两个不同的时间维度。代码在奔跑——被编写、修改、发布。文档在踱步——如果时间允许,如果有人还记得。结果,任何打开过一份半年前技术手册的人都知道:几乎没用。

Oracode 的做法不同。

我写代码。文档在同一瞬间产出。

这不是道德承诺。这是一个自动化系统——叫做 DOC-SYNC v2——在每个工作单元结束时,将编写的代码与项目文档进行比对,并更新文档使其继续反映真实情况。

这不是把文档写一次的事。而是永远不让它落后。

对委托开发软件的人来说,这是收到一个产品和收到一个五年后仍然可理解的产品之间的区别——当编写它的团队已不在,当委托方发生变化,当新的开发者需要上手且不必心存恐惧。

传统软件公司承诺活文档。Oracode 强制它成为现实。

另一半 — 人类纪律

Oracode 在 AI 生产时对其进行约束。但还有另一半涉及接收产品的人:使用系统的人类。

AI 可以被规范到任何程度——但如果人类盲目接受所收到的内容,纪律就会在下游崩塌。

因此 Oracode 包含一个专门针对人机关系的层级,我们称之为 OS4。它围绕一个基础原则构建——公理 0:一个原则为真,当且仅当它在现实中有效。真理不是宣称的,而是被验证的。

由此衍生出四条认知规则,适用于使用系统的每个人:

认知兼容性

理解你正在交互的事物的本质。

逻辑完整性

不从未经验证的信息中推断。

真理来源

每条信息都有可追溯的来源。

认知可追溯性

与 AI 的交互留下审计轨迹。

没有人类纪律的 AI 纪律只是一半的工作。Oracode 兼顾两者。

自然的果实

在一切之上——在支柱之上、在规则之上、在轨道之上、在活记忆之上、在人类纪律之上——矗立着范式的概念内核。我们称之为 OSZ:认知有机体的操作系统。OSZ 是范式的绝对真理;OS3(AI 构建所遵循的纪律)和 OS4(人类使用所遵循的纪律)向 OSZ 对齐——绝不相反。

当整个技术栈——OSZ、OS3、OS4——被彻底应用时,会发生其他地方不会出现的事情:

当 Oracode 被彻底贯彻——在支柱上、在规则上、在轨道上、在活的记忆上——一个项目就不再只是一个普通的应用。它成为一个有机体。

我们称之为 LSO:Living Software Organism。

LSO 是一个会呼吸的软件系统:专门化的器官彼此对话,与代码共同生长的文档记忆,在纪律下工作的 AI 代理,一个在每次 mission 结束时从自身学习的生态系统。

这不是营销话术。这是将 Oracode 推到极致的技术后果。

Florence EGI 是有史以来第一个 LSO。如果你想亲眼看到它,从 EGI 这扇门进入。