Truncation would result in 3 different edge sizes in the outcome isohedral polychoron. That one here is scaled such so that the shorter specified one becomes unity. Then the larger specified edge will have size b=sqrt(3/2). The third one would be the arbitrary expansion size y (wrt. the rectified extremum, i.e. corresponding to the arbitrary truncation depth). In fact, for y=0 this results again in rebatch, while y → ∞ results again in the pre-image batch (rescaled back down accordingly).

Incidence matrix according to Dynkin symbol

xo4ya3ay4ox&#zb   (N → ∞)   → height = 0,
                              y > 0 (arbitrary expansion size),
                              a = y + 3/sqrt(2) (pseudo),
                              b = sqrt(3/2) = 1.224745
(b-laced tegum sum of 2 inverted (x,y,a)-grichs)

o.4o.3o.4o.     & | 24N |   1   1   2 |  1   3  2 | 3  1
------------------+-----+-------------+-----------+-----
x. .. .. ..     & |   2 | 12N   *   * |  1   2  0 | 2  1  x
.. y. .. ..     & |   2 |   * 12N   * |  1   0  2 | 3  0  y
oo4oo3oo4oo&#b    |   2 |   *   * 24N |  0   2  1 | 2  1  b
------------------+-----+-------------+-----------+-----
x.4y. .. ..     & |   8 |   4   4   0 | 3N   *  * | 2  0  ditetragon x4y
xo .. .. ..&#b  & |   3 |   1   0   2 |  * 24N  * | 1  1  isot ox&#b
.. ya3ay ..&#zb   |  12 |   0   6   6 |  *   * 4N | 2  0  dihexagon y6b
------------------+-----+-------------+-----------+-----
xo4ya3ay ..&#zb & |  72 |  24  36  48 |  6  24  8 | N  *  dittoe
xo .. .. ox&#b    |   4 |   2   0   4 |  0   4  0 | * 6N  (x,b)-disphenoid