10 lines
327 B
JSON
10 lines
327 B
JSON
{
|
|
"base": "3c4c463da",
|
|
"source": "c72cdc02f",
|
|
"only_script_change": "single redirection order swap in each copy",
|
|
"existing_test_prefix_unchanged_except_authorized_pin": true,
|
|
"case2_test_unchanged": true,
|
|
"mutant": "M16 both-copy old-order restore",
|
|
"gate": "Pending static review and CLEAR; no runtime check"
|
|
}
|