When a Run Produces Nothing, Read the Proof
A rule set that fires no rules gives you no error and no output to work backwards from. A goal-driven run turns that silence into a tree, where the deepest red node names the input that was actually missing.