待验证50% 置信事实精确时间

SemDraft 使用确定性编译器来验证恢复出的编辑动作序列，要求动作序列能把第一个版编译成第二个版。

1

来源数

50%

置信度

长期有效

时效性

2026/10/16

首次发现

来源

从认证程序学习可执行制版搜索：SemDraft框架解析

rss2026/10/15

涉及实体

SemDraftproduct 确定性编译器concept

相关事实

待验证SemDraft 通过三道独立检查来认证程序：从头重编译、动作对的顺序判定（有序或可交换）、独立回放。72% 相似待验证Semgrep 采用基于模式匹配的轻量级方法，开发者可以用类似代码的语法编写检测规则64% 相似待验证SemDraft 把无监督的搜索问题转化为有监督的排序学习问题，用认证程序作为中介。59% 相似待验证Semantica把每一次决策（decision）完整记录下来，用户可以从结论一路回溯到最原始的数据来源56% 相似待验证使用Ponytail Review和Audit命令前应创建代码副本并在可控环境中测试，因为它们会对整个代码库进行优化55% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/1046924

API

curl https://kongchang.com/api/v1/knowledge/claims/1046924

MCP

get_claim(id=1046924)