Function tris_to_mesh 

pub fn tris_to_mesh(tris: &[Tri]) -> Mesh

The kernel’s triangle list → a Mesh (per-face flat normals, f64 → f32).

Also tags every output triangle with its f64 supporting plane ([PlaneTag], issue #3914) — the exact plane this function’s own f64 arithmetic derived, before the positions/normals f32 cast below loses precision. Union output carries the tags through this entry point; difference/intersection output uses [tris_to_mesh_without_plane_tags] because its consolidated result can become another boolean operand (#5012).