Checks are drawn from your graph
Short questions built from your code’s actual structure — which module imports this one, what Home reaches first. The answers come from the parsed graph, never from the model, so a confident wrong answer is not possible.