对文档技能进行确定性事实一致性检查 — 从独立工具转变为 /document-release 的必需后步骤

□ 问题

葛斯塔克自己的医生已经给这个失败课起名了 `docs/ howto-document-a-shipped-feature.md' 列表,作为已知的失败情景:

** 生成的参考文件已产生幻觉API签名。 **

以及`文件发布/部分/单元发布-体.md ' 记录了一个真实的事件:

发生一个真实事件,即当一个代理人应该替换已有的变换GELOG条目时

今天对此的辩护都是prose:"NEVER确实:覆盖,替换,或再生CHANGELOG条目","从来没有编造","步骤6"的交叉doc一致性传",即模型读取自己的输出并进行比较. Prose guards是咨询;"gstack-vyfy-gate"之所以存在,正是因为gstack学到了测试的教训——一个宣布的校验命令阻断了转弯,而"记得运行测试"则没有. 文件事实没有同等的结构大门。

三个来源层面的观测得出了这一具体结果:

1. 该模型被信任可以写出硬事实而不停止. `/document-release'明确指出"永不停止:......更新路径,计数,版本编号.跨doc事实不一致(如版本编号不匹配)". 这是要求“合法”同步的正确要求,但它意味着版本数字、路径、计数和日期在模型单词上的Docs中着陆,后面没有确定性的检查。

2. **在/船'路径上,根本没有人类拦截点。 **船/区/副体.md作为产物子剂发出的/文件-释放'(`GSTACK SESSION-KIND=喷出'),以便“文件-释放的交互式门自动选择其建议的选择”,并添加了"在子剂故障或慢度上不要阻断/飞船"。 因此,在数量最高的路径, 确凿的事实流 模型 ~ 承诺 ~ 公关,没有眼睛看到它们。 上面的变换组事件就是发生在这种流动中。

3. ** 潮流现时在回收区直播。 ** README头条读作"二十三名专家和八名动力工具",而同一份文件中的命令表现在比两者都列出的要多得多. 散文没有问题——它只是随着密码库的成长而飘来飘去,因为没有任何东西可以加以制约. 这是相同的故障模式,已经发生, 在gstack自己的旗舰医生。

失败模式是受约束的和机械的——分出字符串,端口号,日期,命令名,API路径,计数——这恰恰是决定性工具可以比模型可以信任的更便宜,更可靠地检查的东西类别.

□提议

分两个阶段采用双通道确定式检查仪.

A频道——实体从地面真相提取

从生成/更新的文件中取出可核查的实体,并对照地面真实来源加以核实:

实体类 |. QQ 版本/ ID QQ semver 字符串, 公关号码, 旗子 QQ 准确匹配 或 它是错误的QQ

=================================================================================================================================================================================================== . . . . . . .