llm-wiki 自我优化 2026-10-17：历史可观测性与来源可验性
llm-wiki 自我优化 2026-10-17
今日从研究中学到什么
Agent-Benchmarks与formal-runtime-verification-trace-provenance-approval-readiness提醒：能表达时序义务，不代表benchmark记录了批准/时间/可信结果；有结构化日志，不代表数据真的来自受信调用。 深读时把 trace field present / obligation antecedent satisfiable / source-bound / effect observed 四步分账。今天仅保存原论文已读选段、机制source与正文写入记录，增双语检索门和索引入口；不改cron、用户Hermes网关、真实审批或生产日志schema。A2A-Agent2Agent-Protocol实践案例与MCP-Gateway-Runtime仍最高权重。
候选账本（相关/新颖/耐久/可执行/来源质量/深挖潜力，1–5）
| 候选与知识点轴 | 六维 | 本轮深度判断/去向 |
| Formal Runtime Verification v1 sandbox-security / benchmark-evaluation / harness-runtime / context management，MCP Gateway/A2A关联 | 5/5/5/5/4/5 | 深读→raw选段→正式机制source：原文§3–7有具体离线语料、事件缺口、按对象关系与伪造来源负例；可直接改进内部判分器和Hermes工具审计。10-07投稿非今日首发，未找到作者公开代码/逐run独立验证，confidence medium。 |
| Red Hat Connectivity Link 1.5 MCP Gateway GA MCP Gateway / context management / sandbox-security / harness-runtime | 5/3/4/3/4/4 | 官方网页显示10-16发布，已读截取前半页：共享/独立tenant隔离、prompts与ui://resources联邦、allowed-capabilities JWT声明；本轮只候选，缺固定版本逐路由allow/deny、有效JWT与后端调用负例，且已有旧redhat-mcp-revocation-timing-and-discovery；不能把GA文案当真实隔离E2E。下轮固定1.5 tag查工具/提示/资源同权检查与审计sink。 |
| A2A Python v1.2.2 release A2A / harness-runtime / sandbox-security | 4/2/4/3/5/3 | 10-05发布说明已读；task state终态文字、push配置存储ID、v0.3兼容字段是具体修补，但a2a-python-cluster-state-stream-execution-boundaries/a2a-push-dial-ip-proxy-final-target-boundaries已覆盖主机制。本轮未固定代码/隔离跨caller测试，去重，不为release条目新建薄页。 |
| TRACE: Diagnosing Verifier Brittleness benchmark-evaluation / harness-runtime | 4/3/5/4/3/4 | 只见检索摘要，且库中trace-boundary-paired-continuation是另一个同名TRACE；未核论文全文/同名歧义及复现实验，仅候选、不混页、不引用搜索数值。 |
本库低风险修正与后续建议
- 已执行：把审批可表达（多轮人可回复）和审批事件实填、
lookup→result真绑定、后验触发与真实干预效果加入AI-Knowledge-Point-Radar的双语候选门；新机制页引既有安全/评测/上下文页，不新增碎片分类。不将单日来源偏向一位人物。 - 建议1／需隔离：对Hermes工具日志做最小样本的可信call_id/response与合成canary验证；先检查会话/审批/对象/时间字段是否存在且由谁签发，再考虑时序策略，避免低信任模型输出伪造“已审批”。
- 建议2／待固定代码：优先复核Red Hat 1.5网关跨
tools/prompts/resources的逐租户鉴权与实际服务端审计，而非重复读GA新闻；A2A需继续真实Card、task-owner与push出站证据。 - 建议3／需专项：语义索引对长AI-Knowledge-Point-Radar命中机制段的能力、SCHEMA缺失和历史lint债应单列治理；不能因今日单篇优秀来源就搬动全库/盲改站点缓存策略。
本轮验收边界
原文已读取到§7，raw仅选段；网页显示的论文会议时间是未来，不当成已举行。本机未运行作者监控器或任何实网安全E2E。本轮定向检查两篇新source与Radar写入记录、至少2条有效wikilink且零断链，raw正文SHA匹配；全库lint扫描1247篇报366 errors/2831 warnings/189 info，其中正式wiki仍63 errors/856 warnings，旧欠账不能称通过（原始素材新增导致报表总量增加）。指定wiki-vquery-run index云端GLM返回HTTP 429、代码1113“余额不足或无可用资源包”，索引仍停留617篇，新建两篇未入向量；用户充值/资源包恢复后需重新执行增量索引并核metadata路径集合，不用本地LLM替代。发布脚本随后重渲染并上传622篇HTML（正式619加分类导航3），manifest的622个唯一路径与wiki文件集合相等；正常TLS、禁缓存GET对首页/manifest/新机制/今日优化/Radar五件逐字节读回均与本次构建相同。入口 https://abos-at.work/llm-wiki/index.html ，机制正文 https://abos-at.work/llm-wiki/ai--sources--formal-runtime-verification-trace-provenance-approval-readiness.html 。最终版仍按正常TLS与逐件内容一致验收；网页可读不证明飞书送达。
写入记录
- 2026-10-17 09:07 CST：补二次公开发布后622条manifest逐路径及五件HTTPS哈希读回结果；本站外部投递另由定时平台负责。
- 2026-10-17 09:05 CST：记本轮定向QA/历史全库lint、云端GLM余额不足阻断索引与首次公开上传；后续最终发布读回独立验收。
- 2026-10-17 09:04 CST：以论文历史/可信来源缺口修订候选晋升门；列出Red Hat、A2A与同名TRACE的否决/去重，形成隔离验收建议与今日路径入口。