Weak Simplicial Bisimilarity and Minimisation for Polyhedral Model Checking (Logical Methods in Computer Science, 2026)