架构与可靠性

服务边界

Lasques 是一个以 PostgreSQL 为事实来源的 Next.js 应用程序。与运行时无关的引擎核心定义了研究执行、计算、知识和计费合约。Web 层则公开了经过身份验证的应用程序和视图。

Cloudflare 工作流执行持久化的智能体工作，而定时协调器负责推进队列中的工作、检查作业并处理事务性发件箱。CPU 作业在 AWS Batch 上运行。Cloudflare 服务工作进程负责处理 BoTorch 优化器和 Lean 证明检查器。其原有的容器作业端点已退役。

Git 存储库存储在带有持久卷的专用 Git 节点上；Web 应用程序在向节点发送 Git 操作之前会进行授权。

持久化执行

智能体轮次使用租约和代数。模型步骤及其费用会同时提交。记录的工具调用在崩溃后会恢复，而不是盲目重复。

计算尝试携带一个尝试令牌，以防止较旧的回调覆盖较新的尝试。回调与轮询协同工作；失败的回调本身不会改变存储的作业结果。

发件箱处理以有限的、去重后的分页形式交付修正和发现。是以 PostgreSQL 记录而非 Web 进程的生命周期来决定进度。

隔离与产物

计算运行在独立的容器中执行代码，并使用限于尝试范围的上传 URL 来获取输出结果。存储的输出结果、日志、检查点、指标和种子支持后续检查。文档和知识在适用时属于租户范围，且外部提示内容被视为不可信。

证明检查器使用独立的编译和可信审计步骤。陈述的忠实度与 Lean 编译是否成功是独立检查的。

实现参考

• docs/engine.md：任务生命周期、迭代、计费、证据、知识和结果视图。
• docs/compute-services.md：作业、优化器、证明检查器、Python 助手、执行限制和部署。
• docs/forge-git-service.md：Git 节点合约、配置、备份和恢复。
• config/engine.config.ts：模型费率、引擎默认值、机器资源和方案限制。
• config/billing.config.ts：订阅价格、席位和积分包。
• config/auth.config.ts：账户和身份验证设置。

这些是本应用程序的实现指南，并不代表承诺公开访问基础设施端点。在当前的计费配置中，账户 API 权限已被禁用。