Explicit constructions of short virtual resolutions of truncations | Synapse