Gluing resource proof-structures: inhabitation and inverting the Taylor expansion (Logical Methods in Computer Science, 2022)