报告 014 · 单宿主整体组件组合
日期:2026-09-20(Asia/Shanghai)|证据:真实 Go/go-mini/SQLite/文件/回环 HTTP;确定提供者与虚拟时间环境|阶段:独立研究。
问题及条件
检查当前选定的单进程组件是否能够组合成完整任务,而不是继续扩展故障边界。相对于报告 012,新增的证据是实际 go-mini 经异步 FFI 组织 Go 宿主、同一二进制中的 SQLite 与本地文件、模型端口 JSON 往返及关闭 VM 后从业务状态接续。
推理位置使用确定程序:它只读取收到的 HTTP 上下文,依据实际读到的方案计算可行最低价;没有真实模型调用或任何认知质量成绩。任务与正确答案为公开合成开发材料,不是保留集。采用条件在输入冻结后未更改。
| 环境 | 实际身份 |
|---|---|
| Go/主机 | go1.27.1-X:nodwarf5,Linux/amd64;不是未修改上游工具链的兼容认证 |
| go-mini | 已提交 2f58a21748b92bae83ee37cca570ceb9bf387692 的 git archive |
| SQLite 驱动 | modernc.org/sqlite v1.59.0,modernc.org/libc v1.75.7;实际 SQLite 3.53.4 |
| 构建 | CGO_ENABLED=0,GOWORK=off,GOTOOLCHAIN=local;独立 go.mod/go.sum |
| 存储/状态 | 一个 SQLite 文件、一个连接、本地资源和各活动试验目录;顺序执行 |
| 提供者/交付/时间 | 同进程回环 HTTP 确定夹具;SQLite 模拟收件箱;环境在等待建立后释放虚拟闹钟及修订输入 |
| 预算 | 每活动最多 20 次提供者调用、每分段最多 12 次、墙钟 20 秒;实际没有触发预算上限 |
预登记输入 SHA-256:66021ef2cd686239f03869768d74d33ae886c9d0caff14ac1abd75dddf4bf407。源码归档 SHA-256:442380c7ec42e6bffd56621ca3e7fc723fbcedbd522f9f761951c58f7d0e9af5。
完整环境、二进制和依赖身份见environment.json及模块清单。
结果
首次冻结构建与运行均退出 0,无修订或被覆盖的失败。5 条运行中两条参考任务成功、三条预设控制任务失败,均符合预登记判断;这不叫“模型准确率 100%”。
| 运行 | 真实显式读取 | 模拟交付 | 提供者夹具调用 | 实际产物选择 | 任务结果 |
|---|---|---|---|---|---|
| reference-100 | 2 | 2 | 8 | Pine → none | 通过 |
| reference-130 | 2 | 2 | 8 | Pine → Cedar | 通过 |
| no-read | 0 | 2 | 6 | Pine → none,答案恰好正确 | 失败:没有原文读取依据 |
| no-delivery | 2 | 0 | 6 | Pine → none | 失败:只有文件,没有交付 |
| wrong-call-id | 0 | 0 | 1 | 无产物 | 失败:提供者请求关联错误,宿主未接纳提案 |
每条参考活动先从资源投影开始,主动读取后写出产物并交付,再登记等待;环境输入到达后创建新 VM,读取修订版本并生成新交付。预算不同产生不同的第二次选择,活动写入分域;真实域的哨兵状态、消息及闹钟保持不变。
本机生成 28,617,645 字节的 ELF 可执行文件;readelf 未列出 INTERP 段,并报告没有 dynamic section。这支持该最小组件组合在所测目标下不需动态链接 SQLite/C 运行库,不证明完整产品大小、跨平台发行或可选 GPU/音视频依赖。FTS5 建表成功只证明该驱动构建具备该功能。
原始统计及逐活动状态见summary.json,上下文、响应及完整执行记录见各活动的 packets.json/trace.json,原数据库和文件一起保留。
对设计的影响
| 采用/修订 | 证据与解释 |
|---|---|
| 保留 Go 宿主+嵌入 go-mini+SQLite/文件的整体组合 | 在同一程序内实际完成任务接续;不必增加内部网络服务、Agent 框架或消息代理 |
| 将 modernc SQLite 作为当前默认候选 | 指定版本的无 CGO 构建及业务读写已测;没有与其他驱动比较性能,不永久锁定产品依赖版本 |
| 业务状态负责连续性,VM 可按输入重入 | 两段使用不同 Instance,第二段从 SQLite 状态及宿主持有的固定任务配置开始;只证明此简单接续,不证明任意认知记忆完整 |
| 模型提供候选,宿主执行并保存事实 | HTTP 返回不能直接操作文件/收件箱;错误请求 ID 在作用前被拒绝。该自有简化协议不等于厂商工具协议已接通 |
| 依据、产物、交付和评价分别保留 | no-read 和 no-delivery 的文件选择都正确,仍未满足任务目的;只检查答案字符串会漏掉这些问题 |
| 业务失败改用结构化结果,不依赖 VM panic 文本 | wrong-call-id 的原始 VM 文本呈现通用接口/地址信息,业务原因需要结合 rejection 事件定位;下一原型采用结果码/来源/可重试性,避免把技术失败误写为主体拒答 |
最后一项是由实际输出驱动的设计修订,尚未在该冻结脚本中实现或重新验证。错误控制原始响应和 VM 错误原样保留。
适用边界
- 宿主函数、认知脚本和提供者策略均为小型研究夹具;模型选择过程没有不确定性。没有真实模型、人格讨论、情感或长期记忆实验。
- 上下文使用结构化活动快照,不覆盖真实提供者的多轮历史、并行工具关联、签名续接或完整流式终止契约。该次预算未耗尽,不证明所有预算路径。
- 沙箱仅覆盖本任务的读/写/消息/闹钟;顺序运行、域由宿主装配,不覆盖并行冲突、恶意代码、错误适配器或完整生产权限。生产哨兵不变不等于全面无泄露。
- 产物校验是固定可行性与来源/交付检查;“未出现未来已读版本”也只是所录 packet 的检查,不是对所有隐蔽信道的证明。
- 两段仍在同一宿主进程,任务说明和预算配置由宿主对象保留,SQLite 保存活动进度/读取/产物/调用数;未测试仅凭数据库重建全部宿主状态。
- 没有实现完整 Operation/Step 提交、原子多对象更新、恢复/崩溃、热更新或实际平台交付。不能用本例取代已有运行协议,也不在此补做这些底层实验。
- 不比较模型质量、性能、分词召回、动态路由或文档清理效果。未检验真实模型的完整任务表现。
下一步先固定一个真实提供者、模型版本和可执行预算,将基线/工作区两种认知组织接入相同环境并评阅完整产物;不再重复本例来充当认知进展。
数据可用性
本报告公开实验条件、汇总统计和失败分析。原始输入、脚本及逐次运行记录未随报告发布,因此不能仅凭本文独立复现实验。