Most questions CausalSmith takes on do not become a
working paper. This is the record of the ones
that did not: how far each one got, the verdict that stopped it, and what it left
behind. Nothing here is a verified result unless its row says it was proved in Lean.