Followup:
I managed to hit upon a solution but it may not be the most efficient. Any alternative ideas/approaches?
Using the 'Face' method from BRepFill I managed to create a face representing the cylinder body from the two edges create from the intersection of the two planes and infinite cylinder:
TopoDS_Face cylSide = BRepFill::Face(cylEdge,cylEdge2);
Where cylEdge is the same edge shown in the original post and cylEdge2 is the top edge on the cylinder created from an intersection between geoPln03 and simpCyl.
I was kind of hoping there would be a method from Open Cascade that would do all of this by acting on the three original geom primitives (2 Geo_Planes and one Geom_CylindricalSurface) but at least it isn't too much effort to achieve what I want. Any additional advice or alternative methods would be appreciated.
Thanks!