[WSRP26] Combinatorial-geometric properties of proof spaces of structures in universal algebra