PHANES

下一代发现

Phanes 将 hexa-lang 的 OUROBOROS 引擎 — goal、falsifier、saturation 的循环,按轮次运行并配有每轮 honesty gate — 包装为托管的 Web 产品。企业带来一个可衡量的目标和一个 verifier;Phanes 据此驱动引擎,返回一份经过验证、provenance 可追溯的发现目录。属于他们自己的 private echoes。

引擎不是黑箱。每一轮都是提出一个 goal、对其发起一个 falsifier,以及一次 saturation 检查 — 而每一步都被写入你可以查看的 audit trail。Phanes 出售的不是你的目标会达成的承诺;而是关于引擎究竟发现了什么、又如何竭力试图推翻它的一份经过验证的记录。

核心特性

↳可插拔的 Seed 与 Verifier: 带来一个 seed 和一个 verifier oracle。在 scope B 下,租户的 verifier 是目标达成的唯一权威 — Phanes 绝不以自己的 advisory gate 取而代之。

↳Provenance 追踪: 每一轮都连同其 falsification audit trail 一起记录。结果是一份可导出、按租户划分、可逐行验证的目录。

↳沙箱化算力: 每个任务在按租户划分的 home-jail 中以 arena-free 运行时执行。并发下隔离依然成立 — 经过测量的纵深防御。

工作原理

提交 Seed

带来一个可衡量的目标和一个 verifier 脚本。seed 是引擎进行推理的起点。

OUROBOROS 运行

引擎按轮次运行 — goal、falsifier、saturation — 每一轮都用上一轮的发现重新播种。

Honesty Gate

每一轮都要通过一个 falsification gate。无法在自己的 falsifier 下存活的主张不会前进。

已验证目录

saturation 返回一份 provenance 可追溯的目录 — 属于你自己的、可导出且可审计的 private echoes。

互联的发现循环

驾驭引擎

↳ 从 Web 驱动完整的 OUROBOROS 循环。

Phanes 将 seed、轮次和 saturation 检查连接为一个托管的工作流 — 即驱动 hexa-lang 自身发现循环的同一个 drill 引擎,运行在经过认证的 control plane 之后。

定制工作区

↳ 实时仪表板,无需刷新页面。

提交任务,并在 HTMX 轮询的仪表板上观察其进展。任务一旦到达 done 或 failed,轮询即自动停止 — 界面知道何时该安静。

支撑信任的安全

↳ 贯穿每个任务的按租户隔离。

混合式多租户隔离 — 当前是按任务的 home-jail,上游则是一等的 data-dir 边界。会话 cookie 与 bearer 令牌守卫每一个需认证的入口。

赋能开发者

↳ 自带你的 verifier。

seed 格式是开放的,verifier 只是一个在 PASS 时以零退出的脚本。无需 fork 引擎,即可将任何可衡量的目标接入循环。

经过验证的方案

Phanes 在 scope B 下运作:租户提供的 verifier 是目标达成的唯一权威,Phanes 绝不宣称一个 verifier 未通过的结果。它构建于 hexa-lang 之上 — OUROBOROS 周期 h36 完成、bit-stable 的 self-host fixpoint、tier-1 codegen 正确性已验证 — 并继承其 real-limits-first 的诚实原则。没有 over-claim,不承诺完成项目。saturation 是唯一的硬性停止条件。