While investigating the script bug we’ve been discussing (https://github.com/bitcoin/bitcoin/issues/30615) I ran muttfuzz on the script target. Ran merge a couple of times to make sure it’s not likely to be nondeterminism, and consistently got:
0MERGE-OUTER: consumed 41Mb (255Mb rss) to parse the control file
1MERGE-OUTER: 31 new files with 231 new features added; 15 new coverage edges