There are also objective measures for more fine position evaluation.
For winning/drawn positions: "What is the smallest program that can guarantee your side to win/draw" probably adding some time constraint.
Measuring the size of a model that produces a win?
Theoretically valid, but that's not going to be a very useful/diable.
I think program size is probably not a good measure since any heuristic you can put in could be discovered at runtime with a metaheuristic that searches for good heuristics. Time and memory make more sense.
That is a neat variation.