Truncation wrt. a non-regular polytope is meant to any instance of truncations on all vertices. For pre-images with different edge types however the ratio correlation of the remaining bits of those becomes arbitrary. Therefore trip cannot be truncated (within this stronger sense). Nonetheless the Conway operator of ambification (chosing the edge centers generally) clearly is applicable. And thus an expansion of that ambification could replace the usual expansion of the rectification here. This would result in 3 different edge sizes in the outcome polyhedron. That one here is scaled such so that the shorter specified one becomes unity. Then the larger specified edge will have size q=sqrt(2). The third one would be the arbitrary expansion size y (corresponding to the arbitrary truncation depth). In fact, for y=0 this results again in the ambified form, retrip, while y → ∞ results again in the pre-image trip (rescaled back down accordingly).

Incidence matrix according to Dynkin symbol

by xo3yb&#zq   → height = 0
                 y > 0 (arbitrary expansion size)
                 b = y+2 (pseudo)
(q-laced tegum sum of (x,y,b)-hip and (b,y)-trip)

o. o.3o.     | 12 * | 1 1  1 0 | 1 1 1
.o .o3.o     |  * 6 | 0 0  2 1 | 0 2 1
-------------+------+----------+------
.. x. ..     |  2 0 | 6 *  * * | 1 0 1  x
.. .. y.     |  2 0 | * 6  * * | 1 1 0  y
oo oo3oo&#q  |  1 1 | * * 12 * | 0 1 1  q
.y .. ..     |  0 2 | * *  * 3 | 0 2 0  y
-------------+------+----------+------
.. x.3y.     |  6 0 | 3 3  0 0 | 2 * *  (x,y)-{6}
by .. yb&#zq |  4 4 | 0 2  4 2 | * 3 *  (y,q)-{8}
.. xo ..&#q  |  2 1 | 1 0  2 0 | * * 6  xqq