@bored-art-40741: hey, so i spent some more time looking at dependency inference yesterday, and it all looks feasible