Add optimality note: exhaustive enumeration confirms magnitude 3 is minimum

Rename from tiny-OR-verified

initial commit