go-mini 库行为与接入参考

用途：执行库与接入参考（工程资料）。

文档索引 · 工程映射 · 总体设计 · 设计状态

库回归报告以提交 fbb16ee99748e84b523bbd677bd477258c358956 为更新基线，分别记录源码核对、库测试和跨语言互通结果。宿主组合实验仍按原提交 2f58a21748b92bae83ee37cca570ceb9bf387692 解释，不将新库测试外推为完整主体组合已经重测。

第 1 节按各自固定提交记录库行为与适用边界，其余章节维护宿主接入设计。运行分段、步骤约束和部署流程按当前设计决策与边界解释。库接口存在或回归通过不等于系统设计已经端到端实现。

早期基础核对使用 go-mini 提交 7c195d9（2026-09-18，feat: add revision diagnostics and improve runtime fairness）。结论来自文档、实现和测试源码阅读；记录的是该提交快照，不同提交的行为须分别核对。

TinyAGI 的独立研究模块使用同一提交执行了生命周期与补丁实验，没有运行或修改 go-mini 自身的回归测试。接口阅读证据与实测结果分别保留。

上游资料：架构、使用指南、RPC 指南。这些概览链接跟随上游主分支；下方事实表中的源码链接使用对应固定提交。

本篇目录：证据范围／更新基线／编译缓存／后续库更新 · 1. 已确认的基础／管理补充核对／命名入口依据／RPC 与嵌入补充／机密 RPC 接入／JavaScript RPC／弃用与源码事实／任务执行与控制依据／预制库依据／初始化适配／主动学习接入 · 2. 三层分工 · 3. 认知循环与运行分段 · 4. 业务安全边界与补丁提交 · 5. 部署标识与崩溃恢复 · 6. 回收与关闭 · 7. 影子验证的边界。

源码版本与证据范围

下方事实表按提交标识引用源码。复查时使用对应提交，不能以主分支当前内容代替历史证据。源码中存在测试用例，只能证明该用例已经定义；实际运行结果另见实验报告。

更新基线与接入影响

固定提交 fbb16ee99748e84b523bbd677bd477258c358956。与前述 a0d1558 比较，Go 的执行、FFI、RPC 和编译缓存实现没有新的行为变更；相关差异包括 TypeScript 生成器、工作区源码包头解析和编译身份。与 JavaScript 记录的 295eb19 比较，主要增加 Rust 编译器与语言工具整合、WASM 编译会话以及分发构建调整。下表说明当前接入边界，具体测试范围、失败和跳过见报告 018。

机密仍沿专用接入记录处理。RPC 的 peer 信息、调用上下文与拦截器支持身份绑定和处理适配，不自动提供 TinyAGI 的 SecretGrant、原值隔离或审计服务。

编译缓存与增量准备

同一固定提交的 USAGE说明默认编译缓存与 MINIGO_CACHE；缓存集成测试覆盖重复构建、优化级别及构建标签隔离、依赖实现／导出／泛型模板变更、错误命中检测和后端失败回退。缓存身份与内容校验由执行库处理，TinyAGI 记录参与构建的源码、依赖、选项和工具链，优先复用现有机制。

缓存命中保留的是可复用编译产物；不保存完整运行实例，不保证旧镜像跨工具链兼容，也不证明主体程序语义没有退化。重复构建的命中与失效断言属于功能验证，尚无完整业务成本或时延收益测量。计算复用的工程边界

后续库更新的核对流程

每次更新形成新的固定提交记录，保留此前报告的源码身份与成绩：

1. 记录候选提交、来源、工作区差异及对照基线；使用已提交快照或明确记录的补丁，避免读取过程中源码继续改变。
2. 先检查公开接口、语义、生成规则、工具链和分发物的变化，再确定受影响测试。编译器、runtime、绑定、执行镜像及 SDK 必须按同一套来源准备；不以旧构建目录替代新快照。
3. 在运行前固定问题、命令、条件及通过标准。复用上游用例，涉及 TinyAGI 组合契约时另设消费端测试；每轮均保留准备失败、测试失败、跳过和修正后结果，不覆盖首轮记录。
4. 结果区分源码阅读、库回归、跨进程互通与完整主体行为。Go 使用 -count=1 避免旧测试结果被计为新运行；编译缓存仍可复用，缓存契约用例使用自己的隔离后端。
5. 更新本篇当前基线、工程映射、证据索引及设计台账；只有职责或语义确实改变时才调整逻辑设计。只测受影响范围，未运行的矩阵保留边界，不自动扩展为全部产品验证。

建议的检查入口为上游 make test 的选定包、make race 的选定包、make runtime-rust-rpc-test、make test-rpc-conformance 以及按用途选择的 WASM／Node 测试。跨语言服务、生成绑定与测试镜像先构建后消费；准备失败或测试被跳过不能记作互通通过。

1. 已确认的基础

本表适用前述早期固定提交 7c195d9；后续补充分别标明自己的提交，不能从相邻段落推定已经重新核对全部条目。

版本摘要中的 Pins 是显式引用计数，GlobalRoot 来自最近的根扫描；它们不是旧版本物理占用字节数，也不是全部闭包数量。引用扫描返回独立诊断数据，不强制释放版本。

尚未在此次核对范围内确认稳定的通用 VM 调度记录/重放、完整 Runtime Observer 或专用事后故障报告 API。当前实验可使用已确认的执行统计、调试信息、宿主调用边界与业务日志，不以这些额外接口为前置条件。

管理、试验装配与动态编辑的补充核对

只读核对 go-mini 提交 a0d1558571159cb017d12e4a0a4c1cbf795f8b9a 的 USAGE；以下不覆盖原报告的库版本或实测范围：

命名入口与编写契约的接入依据

go-mini 提交 a0d1558571159cb017d12e4a0a4c1cbf795f8b9a，仅阅读文档和源码，未运行测试。

类型与注释驱动的生成器属于 TinyAGI 设计，尚未确认或实现通用 agi: 注解能力。固定分派入口不消除库的内部兼容要求。逻辑契约见受管理函数，语法示意见工程参考。

RPC、多语言服务与局部 VM 的补充核对

go-mini 提交 a0d1558571159cb017d12e4a0a4c1cbf795f8b9a。只读核对 RPC.md、USAGE.md、ARCHITECTURE.md，并检索标准宿主及 Rust runtime 源码；未运行生成器、编译器、RPC 服务或测试，未改写早期实验版本与成绩。

接入顺序：定义能力接口和管理元数据 → 使用 MRPC 生成绑定 → 实现 Go／Rust／Node.js 或 Mini-Go 服务 → 经受控工具链／实例形成产物与试验结果 → 按采用规则准备运行 → 在调用边界切换实际绑定 → 观察结果并回收所属资源。该顺序是当前 TinyAGI 设计，未实际执行；Node.js 的新增库支持按下面的独立快照解释，不改写上表旧提交的设计范围。

具体工程选择、原生进程管理、构建环境及官方工具链依据见能力工具链；逻辑生命周期见运行协议，小型实例与主体级试验的用途分层见沙箱。

独立机密服务的 RPC 接入依据

go-mini 提交 fbb16ee99748e84b523bbd677bd477258c358956。本节的机密接入推论来自下列源码；同提交的通用 RPC 回归另见报告 018，未运行 TinyAGI 机密服务或模型调用。

据此采用“受信调用身份＋独立机密接口＋当前授权与审计”的接入设计。原值可交给获授权的 Go／Rust／Node.js 执行端；发起普通调用的认知默认只取得引用、状态或业务结果；特殊原值处理按实际接收组件及用途走专用路径。SecretRef 不转换为通用 MRPC resource 读取句柄。上述源码支持接入所需的基本结构，不证明库已提供 TinyAGI 的机密保管、授权委托、审计或端到端防泄漏服务；宿主职责见工程映射，逻辑契约见机密操作。

JavaScript／TypeScript 与 Node.js RPC 补充核对

go-mini 固定提交 295eb19d74305bd39c3ddf0fa88e01c52fdc446b。以下为文档、包声明、实现及测试源码阅读；未安装 npm 包、生成绑定、编译或运行互通测试。源码版本的解释见证据范围。

该快照支持将能力端扩充为 Go／Rust／Node.js（npm），同时保留 Mini-Go 脚本编排及已有宿主接入。工程装配、依赖产物和生命周期见Node 接入；宿主管理 Node 服务仍属待实现设计，旧实验成绩不外推到新增路径。

弃用信息、源码分发与初始化接入依据

只读核对 go-mini 提交 a0d1558571159cb017d12e4a0a4c1cbf795f8b9a；未运行生成、编译、实例或测试。本记录补充下列事实，不重写早期库快照与实验结论。

本次源码与文档阅读未确认现成的“按 API 修订保留旧实现、自动迁移人格程序、完整调用点弃用告警”服务。上述是 TinyAGI 待实现的宿主设计，不能把文档字段或单个编译 API 记作完整能力已具备。

预制源码库、宿主装配与工具接入依据

只读核对提交 a0d1558571159cb017d12e4a0a4c1cbf795f8b9a，未运行编译或测试。USAGE.md说明 Engine 自动提供标准库源码，额外模块通过 NewStandardLibrary／NewModuleLibrary／NewLibrarySet 注册；宿主提供源码集合，compiler 按 import 选择依赖，使用期间库 FS 保持不变。系统能力仍需显式装配 provider。这支持“预制源码与运行能力分别提供”的工程分工。

同一指南说明 Go 应用可使用 compiler/language 查询语言信息，compiler/service.Session 管理分析和构建；symbols.go提供 DocumentSymbols／WorkspaceSymbols。既有记录另确认文档提取、Check 及派生物边界。可据此设计源码结构、文档和诊断适配，不将工具存在解释为 TinyAGI 已实现完整能力库或初始化保证。

TinyAGI 的预制命名空间保护、客户端发布身份、个体包装区分、工具权限和投影过滤由宿主补充。语言标准库、TinyAGI 预制能力及 Self 个体程序各有维护来源；预制操作复用 MRPC／Host 及原状态所有者，客户端升级维护权威实现，个体可选用并按兼容规则迁移。详细工程映射与逻辑契约分别维护。

提示词引导器与 Self 迁移的宿主适配

Go 宿主先登记稳定人物身份、有效程序及引导进度，再用既有模型与工具端口形成候选。完整提示词和迁移说明是可追溯资源；读取仍有目的和范围，机密不进入提示词。未有可运行 .mgo 或其启动失败时，有限工具循环由宿主推动，认知实例成功采用后恢复正常主体运行，不另外设置常驻竞争人格。

编译适配按固定源码及库集合调用 Check／Compile，将受控 Host／Provider 装配到独立 Instance；试验、预算、结果及采用归原所有者。客户端更换工具链后重新检查实际源码，旧程序只能在实际兼容条件满足时继续使用。对 TinyAGI 自有接口保留旧源码包装或对应 handler，Deprecated 元数据仅描述状态；接口语义、支持窗口与迁移完成记录由宿主维护。

必要兼容维护以用户更新请求或既有授权策略为来源，即使主动学习关闭也可按单独范围和预算处理；不能用迁移任务代替被禁止的自发学习。详细映射见工程参考，完整语义见运行协议。

任务执行、前台入口与控制的固定提交核对

以下保留提交 a0d1558571159cb017d12e4a0a4c1cbf795f8b9a 的文档、实现及测试源码依据，该次只读核对未运行测试。后续执行与并发回归使用更新基线，其实际范围见报告 018，不回填为旧提交的测试成绩。

任务标识到执行／子工作映射、控制来源授权、继续推进资格、阻断解除及迟到结果处理属于 TinyAGI 宿主设计。库接口不直接提供业务任务控制面，也不证明主体持续响应已经端到端验证。接入见工程参考，逻辑见任务控制。

2. 三层分工

认知与能力的当前边界：认知程序选择领域对象及读取范围，只取得投影和所请求的内容；模型与检索计算通过接口交给外部提供者。跨业务边界的请求、结果、状态修订与接续沿统一事件协议表达，宿主绑定来源和执行域，回调不直接重入 VM。认知可经能力创建或接入外部事件源，闹钟仅为通知源示例；核心与 VM 不内置其业务计时。适配器可在宿主进程中，外部通知对象由相应提供者维护；内部步骤完成也可推动有目的的接续。这些是 TinyAGI 的设计边界，不是声称 go-mini 已提供这些业务能力。

StepID、MindID、DecisionID 等属于宿主协议，不要求 VM 知道这些概念。接口通过 MRPC 生成绑定；稳定宿主能力本地注入 FFI，动态原生能力由宿主管理子进程并配置跨进程绑定，不需要为了所有本机函数建立网络服务。

生产认知实例只装配受控的 TinyAGI 宿主接口，不注入可绕过动作登记的通用文件、Shell、网络 provider 或任意远程路由 fallback。实际执行能力由 Go 操作模块按范围委托给受控提供者；凭据由独立机密模块保管，宿主可代理使用或按 SecretGrant 向实际执行方交付原值，普通认知默认取得引用与业务结果，确需原值的组件沿专用信任配置处理；协议内填写目标地址不能自动获得新的访问范围。

上游仓库和 Go module path 均使用 github.com/d7z-team/mini-go；本文沿用 go-mini／mini-go 作为执行库名称。实验通过固定源码提交确定依赖版本，复现实验或准备接入时应使用报告注明的版本。

主动学习策略与宿主接入

主动学习模块按受管理编写契约提供选题、实践、结果解释和策略候选入口，使用已记录的命名调用、独立实例、MRPC 与补丁机制。库只承担执行、调用和资源生命周期；学习活动来源、强度及自动采用资格由 TinyAGI 宿主判定，不将它们记录为 go-mini 已有 API。上方固定提交与库回归支持这些基础接口，主动学习整体接入及效果尚无实测结果。

学习强度最低为关闭。宿主在创建／接续学习执行、接纳下属工作及自动采用之前核对当前强度；不能仅让脚本在入口自行判断，也不能从同一 Program 新建 Instance 获得新额度。关闭时取消或收束所属工作，等待和回收行为遵循库原契约，不把 Cancel 返回或入口结束当成所有后台资源已经关闭。

普通业务实例、已采用程序和共享 Host／Provider 的生命周期独立，关闭学习不应将它们一并销毁。用户明确要求的学习由宿主按独立任务范围接纳，扩展及子 VM 不能通过自报任务来源绕过零强度。学习策略自身修订沿候选比较和边界切换，当前评价条件、运行强度及历史证据不随候选代码被替换。完整映射见工程参考，语义见强度契约。

3. 认知循环与运行分段

核心认知循环继续写在 go-mini 内，宿主负责推进 VM 和交付上下文。下列是业务伪代码，Next、AcceptOperation、Commit 尚不是已存在的 TinyAGI API：

RunSegment:
    循环:
        ctx, available = Host.Next()
        如果不再接纳本分段: 返回
        continuation = Step(ctx)
            按需 Host.AcceptOperation(ctx.step_token, request_key, request)
            短调用可在局部预算内取得结果；长工作只保留操作引用并返回
            已接纳操作及实际读取依据由宿主记录
        receipt = Host.Commit(ctx.step_token, continuation)
        处理提交结果，再获取下一上下文

步骤内操作接纳与最终状态提交分别沿运行契约处理；Commit 关联已有操作并接纳尚未提交的意图，不重复派发。最终步骤被撤销不抹去独立操作；是否继续或停止由带目标范围的当前控制决定。

分段采用 library 入口承载一次运行段。Step 及其调用图包含可变认知逻辑，外层循环只调度上下文和提交。按编写契约采用有可结束边界的调用，跨调用进度由宿主保存；长驻旧根循环不作为默认，尚无分段成本或认知连续性收益实测。长期任务的事实状态仍独立于 VM scope。

宿主在步骤边界结束分段，等待入口及该分段所属局部 scope 收束，再重入 library 入口；长任务由宿主 Operation 独立管理，不在此等待整项任务结束。连续性取决于所保留的状态是否完整，不能由重入动作本身保证。需要回收 globals 或彻底释放旧实例资源时，可以研究关闭实例后从持久状态新建的方案。

实测在合成整数状态下，同实例重入保留 global，新实例需要显式恢复；这不等于语义认知状态已经验证。全局闭包可在 scope 结束后继续保留旧版本，因此分段不能自动替代引用与回调管理。默认引用扫描也可能截断，须保留 Complete 和扫描预算信息。

这一设计针对两个已确认的运行约束，但其代价尚未测量：

1. 永久外层调用帧可能长期引用最早版本。命名调用能进入新代码，但不会释放旧根帧。
2. scope 的累计步数不会因 PollSteps 或热更新重置。长期循环默认可能耗尽累计配额。

分段按可结束的认知或活动范围组织，具体计算资源上限随用途配置，不是固定的思考次数。既无可继续的关注、也无可处理输入时，由宿主就绪通知或有界事件循环等待，不忙轮询；已有内在关注可以继续，不必等待新对话。外部长任务等待也不留在唯一前台入口。每个步骤的超时或指令上限由宿主监控；越界时取消相应执行、撤销步骤令牌并从已确认工作区接续该心智，不假定 VM 已提供按业务 Step 自动重置的配额。

配额对照确认新 scope 获得独立预算，热更新不重置旧 scope 计数。宿主还需维护跨分段的主体／心智及相关活动预算，并单独考虑标准库初始化成本；真实模型／工具的计量仍待接入，不能把反复重入视为活动预算刷新。宿主组合实验已在两段新实例之间保留累计夹具调用数，未测试预算耗尽或真实 token／费用。

既有实验曾比较不同后台状态约束，证据按原范围保留。当前设计要求的编写契约要求跨调用工作通过宿主 Operation／事件接续，局部闭包和内部任务不越过调用生命周期；该选择来自当前规范，不作为旧实验已经证明的最优方案。

4. 业务安全边界与补丁提交

本节流程针对认知 Program；原生 Provider 的替换、旧客户端重绑及资源归属采用RPC 补充契约与工程映射，不能套用 ApplyPatch 替换原生 handler。

同一心智一次只接纳一个部署操作。准备候选程序和影子验证可以在独立实例中进行，不占用生产认知步骤。

主体自主采用前，候选须在拟采用用途下满足能力与回归门槛，报告关联程序、宿主、模型、提示、材料及评价配置。编译、ComparePrograms 和补丁兼容检查只回答结构问题，不代替完整任务比较；证据不足时保留候选，沿用现有配置。通过测试形成自主采用依据；人工管理提交按既定的生效契约完成结构、授权与切换核对，不把完整实验作为每次提交的强制前置。

对应调用边界契约的库接入流程：

1. 保存源码、类型与注释描述、配置、生成适配及 Program 身份，检查编写规范；自主采用时另关联相应用途的验证报告。
2. 使用 ComparePrograms 查看差异，检查实际授权需求；能力声明变少不能直接证明风险降低。
3. 停止目标心智接纳新步骤，等待当前步骤提交或撤销；确认没有步骤内 VM 子任务或不受宿主管理的调用。
4. 持久化部署意图与目标产物，调用 PreparePatch，保存 Inspect 报告后调用 ApplyPatch。
5. 记录成功的实例、generation 和代码身份，完成生效状态及调用／页面描述的一致切换，再开放新调用并报告提交成功。

在边界上可以存在尚未完成的宿主 Operation，因为它们不依赖旧 VM 栈；请求和完成事件必须有稳定的协议版本，候选认知代码需能处理这些结果。

busy 或 stale_plan 会关闭原 plan，必须重新准备。未提交的 plan 由创建者关闭。结构不兼容时仅在业务状态与在途结果能够明确转换时准备替代实例，否则提交失败并保留旧内容；不让 VM 自动迁移主体历史。

仅记录步骤起始 generation 不能证明步骤内未跨版本调用，因此生产部署必须遵守上述业务边界，不能仅凭 VM 允许随时 patch 就在认知步骤中途切换。

5. 部署标识与崩溃恢复

需要区分：

• ArtifactID：源码、配置与工具链输入的产物身份，并关联 ProgramHash 和 SymbolsHash。
• DeploymentSeq：本地 SQLite 中持久保存的部署序号，关联目标 Mind；重新部署旧源码也分配新序号。
• RunID + InstanceID + Generation：本次宿主运行中的 VM 执行身份，generation 只在该实例内向前推进。

不能把 VM generation 当作跨进程重启的全局序号。新实例可以从初始 generation 开始；历史追踪使用以上完整关联。

核心 go-mini 认知运行嵌入单个 TinyAGI 宿主进程，多个心智按需使用实例；可选原生能力子进程由同一宿主管理，不另持有主体状态。进程重启从本地 SQLite 状态和代码文件重建 VM，不保存调用栈或资源句柄；未完外部操作仍需核对，新代码必须兼容其结果协议。

数据库提交与 VM 内存切换没有共同事务。宿主先登记部署意图，切换成功并登记完成前保持业务入口关闭：

• VM 切换失败：保留当前业务部署，记录失败原因后再开放。
• VM 切换成功但完成记录暂时失败：继续关闭入口，保留 owner 并重试登记，不执行未记录版本的业务步骤。
• 进程在中间崩溃：旧 VM 已消失，新进程按数据库最后完成的部署新建实例；未完成部署标为中断，再决定是否重新验证和发布。

回到历史代码是新的部署，不撤销已提交状态、已发送操作或现实动作。历史代码还需兼容当前宿主数据和结果协议；不兼容时迁移或拒绝该部署。

6. 回收与关闭

本节关闭流程针对明确选中的实例；单项任务控制先按任务归属找到目标执行，不关闭无关核心、实例或共享服务。停止目标的新步骤和补丁，通知脚本在边界返回或按控制请求取消，推进并等待入口，再等待所属 scope，最后由实例所有者调用 Shutdown。不依赖取消时一定执行 guest defer。

关闭等待超时仅代表本次等待结束，owner 仍承担继续清理责任。Instance 关闭自己的 FFI Session，共享 Host、RPC 连接和后台服务由对应创建者在实例清理后关闭。

Operation 的持久记录不随 VM 关闭消失，但当前进程里的执行仍需按其重连、取消或结果核对协议处理。不能因为换了 VM 就声称远端动作已停止。

7. 影子验证的边界

影子验证属于统一沙箱的用途；任务、程序、Reference 及复盘也可使用沙箱。库事实按固定提交解释，沙箱接口依据见独立来源记录。

当前候选在新的 Instance 中重放指定业务事件，并提供替代的事件源、时钟、随机源、模型结果和能力结果。替代能力禁止实际外部写入，不能只靠脚本自觉遵守。独立实例还需配套分域的活动／记忆、文件区、订阅与回调；不共享生产 FFI 会话或能力句柄，不提供生产 fallback。允许的真实模型计算仍受外发范围和总预算约束；新实例本身不是完整沙箱证明。

同一代码与完整固定输入可用于受控场景的回归；代码变更产生不同能力请求时，必须由替代服务响应，或明确报告该分支缺少夹具。不能按“第 N 次调用”盲目返回旧录制的第 N 个结果。

重新调用真实模型属于重新评估，替换行为后模拟未来属于反事实实验；两者都不承诺与历史相同。没有调度决策与全部非确定输入的记录，不把业务事件重放称为 VM 级确定性重放。