@alex-dixon thanks for the reply. My coworkers and I are working on a (for now) private library called carla. We have a graph view and a rule summary view, a “who produces” and “who depends on” for facts. A tracing listener is coming.

The question that is most useful to answer for us is often “why didn’t this occur?” (Aka what is the chain of dependent rules that weren’t satisfied, with a root cause)

I’m reading a lot of precept code this weekend. Thanks again for putting out a great example of what can be achieved with tooling.