Right now the ontology endpoint does not provide information about which "known false" statements have been made in the code or the test, about which assumptions have been made in the code or the test, or about ungrounded statements. The new fact interface is capable of displaying and entering all of these, so it seems like it should be possible to collect them from the server.
Right now the ontology endpoint does not provide information about which "known false" statements have been made in the code or the test, about which assumptions have been made in the code or the test, or about ungrounded statements. The new fact interface is capable of displaying and entering all of these, so it seems like it should be possible to collect them from the server.