merge(master): 并入 master 新进提交(变异测试全项目清除/测试规约重编号/撤销证明口径/golden 加严/S13 基线)——本批测试面按现行规约重读复核

This commit is contained in:
DKChan committed 2026-10-25 04:23:42 +08:00
commit 353c1c6bb2
39 files changed
+142 -1268

No files matched your search

+2 -1
View File
@@ -53,7 +53,8 @@ static func validate_graph(nodes: Array) -> Array:
var well := _check_nodes_wellformed(nodes)
if not (well["errs"] as Array).is_empty():
return well["errs"]
var by_id: Dictionary = well["by_id"]
var by_id: Dictionary[int, Dictionary] = {}
by_id.assign(well["by_id"])
var edges := _check_edges(by_id, well["indeg"])
if not (edges["errs"] as Array).is_empty():
return edges["errs"]