q4o    
           
  o4u o4u  
           
q4o o4u q4o

x3o o3u x3o
           
o3u     o3u
           
x3o o3u x3o

Rectification wrt. a non-regular polytope is meant to be the singular instance of truncations on all vertices at such a depth that the hyperplane intersections on the former edges will coincide (provided such a choice exists). Within the specific case of tisdip as a pre-image these intersection points might differ on its 2 edge types. Therefore tisdip cannot be rectified (within this stronger sense). Nonetheless the Conway operator of ambification (chosing the former edge centers generally) clearly is applicable. This would result in 2 different edge sizes in the outcome polychoron. That one here is scaled such so that the smaller one becomes unity. Then the longer edge will have size q = sqrt(2).

The isosceles triangles {(t,T,T)} have vertex angles t = arccos(3/4) = 41.409622° resp. T = arccos[1/sqrt(8)] = 69.295189°.

All u = 2 edges, used in the below descriptions, only qualify as pseudo edges wrt. the full polychoron.

Incidence matrix according to Dynkin symbol

((uo3ox qo4ou))&#zq   → height = 0

  o.3o. o.4o.       | 12  * |  2  4  0 | 1  2  2  4 0 | 1 2  2
  .o3.o .o4.o       |  * 12 |  0  4  2 | 0  2  4  2 1 | 2 1  2
--------------------+-------+----------+--------------+-------
  .. .. q. ..       |  2  0 | 12  *  * | 1  0  0  2 0 | 0 2  1
  oo3oo oo4oo  &#q  |  1  1 |  * 48  * | 0  1  1  1 0 | 1 1  1
  .. .x .. ..       |  0  2 |  *  * 12 | 0  0  2  0 1 | 2 0  1
--------------------+-------+----------+--------------+-------
  .. .. q.4o.       |  4  0 |  4  0  0 | 3  *  *  * * | 0 2  0
((uo .. .. ou))&#zq |  2  2 |  0  4  0 | * 12  *  * * | 1 1  0
  .. ox .. ..  &#q  |  1  2 |  0  2  1 | *  * 24  * * | 1 0  1
  .. .. qo ..  &#q  |  2  1 |  1  2  0 | *  *  * 24 * | 0 1  1
  .o3.x .. ..       |  0  3 |  0  0  3 | *  *  *  * 4 | 2 0  0
--------------------+-------+----------+--------------+-------
((uo3ox .. ou))&#zq ♦  3  6 |  0 12  6 | 0  3  6  0 2 | 4 *  *
((uo .. qo4ou))&#zq ♦  8  4 |  8 16  0 | 2  4  0  8 0 | * 3  *
  .. ox qo ..  &#q  ♦  2  2 |  1  4  1 | 0  0  2  2 0 | * * 12