语义验证

校验语义材料的结构、引用、源码快照、新鲜度和解决条件，并在静态事实不足时运行最小必要验证； 仅在已有 `semantic/` 材料或问题记录解决候选时使用，不替代普通代码完成验证或仓库合并门禁。