What criteria is used for script Puzzle Solving success?

Gameplay and Strategies Tools
1

NT pair requirement y/n ???
Locked bases y/n ???
Stable sequence = yes.

2

Lib.fold(sequence)==targetShape

4

(I don’t know that it checks other constraints, but I haven’t checked in a while.)