>
the only way to prove that these models are truly as good as they claimIt would be actually to progress towards the solution of the "black box" problem, the goal of "transparency".
You have to implement a reasoner (etc.), you conceive the best architecture for it - then implement and test it.