Aster文档
搜索 Aster 文档
ESC
产品
版本

输入关键词开始搜索。

    文档目录

    ASTER CODE / 内核原理

    Aster 内部执行机制

    系统提示词、执行循环、长期任务、恢复和完成依据。

    一次修复的执行过程

    以下示例修复日期导出的跨月错误。 输入包含目标、文件范围和验收条件。 模型读取代码并提出修改。 工具执行修改,测试产生检查结果。 Core 核对执行依据,再决定能否结束。

    架构图谁负责把目标变成结果Rust 应用也支持直接接入 Core。模型提出动作,Core 检查动作。
    谁负责把目标变成结果Rust 应用也支持直接接入 Core。模型提出动作,Core 检查动作。你提出目标用户界面接收输入CLI / Studio协议转接ACP执行与检查Core项目与模型工具 / LLM
    1. 01先说清想得到什么

      你提供目标、范围和完成条件。界面负责接收输入。

    2. 02把界面请求送入内核

      ACP 把协议消息转成 Core 会话调用。Rust 宿主支持直接使用 SDK。

      turn.rs L26 ↗
    3. 03检查实际发生的结果

      Core 调用模型与受控工具。事实日志保留执行依据。

      fact_control.rs L126 ↗

    下载 SVG ↗

    图中的“模型”指生成下一步建议的服务。 “工具”指读取文件、修改文件和运行命令的能力。 “宿主”指使用 Core 的应用。 终端、桌面和 Rust 应用都属于宿主。

    文档入口

    主题文档内容
    系统提示词系统提示词默认文本、宿主插槽和运行契约
    任务执行执行循环提案、权限、效果和事实
    长期任务长期任务计划、等待、预算和切片
    中断恢复恢复日志重放与操作重试的区别
    完成条件完成判定修改摘要、验证和资源收尾
    上下文上下文来源替换、去重和预算

    职责分层

    架构图把可组合部分与固定约束分开软件职责按层排列,不表示进程或部署位置。
    把可组合部分与固定约束分开软件职责按层排列,不表示进程或部署位置。Core 固定约束权限 / 完成 / 资源同一份事实日志状态与原始回执系统与工具组件system + tools预算与压缩组件budget + compact模型调度组件infer
    1. 01先看底座

      Core 维持权限、完成门禁和资源寿命。替换组件仍受这些约束。

      harness_loop.rs L1591 ↗
    2. 02再看装配

      默认配方包含五个组件。列表描述装配顺序。

      meta_harness.rs L124 ↗
    3. 03最后看运行依据

      组件从同一份日志读取状态。装配顺序不等于调用顺序。

      fact_control.rs L126 ↗

    下载 SVG ↗

    拆解图中的层是职责层。 层间距离不代表进程、线程或机器。 底层检查仍然约束上层组件。 替换系统提示词,也会保留工具权限判定。

    同一个修复例子的阅读顺序如下:

    1. 阅读提示词。
    2. 对照上下文装配。
    3. 检查单次运行。
    4. 核对完成依据。
    5. 阅读分轮执行。
    6. 核对中断后的恢复。

    四种执行身份

    身份含义区分原因
    Session一段持续的会话目标与记录跟随原会话
    Run一次接纳的执行控制命令必须指向原运行
    Tool call一次具体调用确认回答必须绑定原参数
    Goal跨多轮的目标一次 Run 结束后仍可能有未完成步骤

    源码漫游提取本版提交中的代码。 高亮行表示当前入口,左侧行号保留仓库位置。 「阅读全部源码」支持连续对照各站内容。 正文中的源码链接指向对应调用方。

    示例边界

    本组章节用日期导出修复说明执行顺序。 示例没有启动模型,也没有产生真实工具记录。 状态名、接口名和源码片段来自本版实现。 实际任务的结论仍以该次运行的事实为准。

    客户端接入见 ACP 内部机制。