Court agrees with ds4

As a non mathematician I think it could be also a problem from the agentic AI harness. Im using oh my pi but Im wondering what people are using ds4 with here ?