[brett19]

Wires three remaining stubs to code that is already ported:

• blend::hcr: Hcr::with_transform now transforms the scene copy with topology::brep::p5::transform_with_notifications, as SmHCR::ConstructorInit does with Transform(m_vViewTransform) (no scale, bScaleTol=TRUE, status ignored). It notifies through the scene's environment.
• boolean.merge_p1 runner: the SmTemporaryBrepTransform probe (op 7) applies and restores its shift through topology::brep::p5::transform.
• topology::brep::p5: CombineCoincidentVertices now ends with the ported topology::brep::p1::update_vertex_edge_intervals under the caller's notification environment (SER, as upstream), replacing the UNPORTED(topology.brep_p1) stub. The change is a few lines at one call site.
• boolean.topology_intersector_p3 runner: the shim re-walks both B-reps after the merge (walk_all) and numbers every handle and the state by that walk. Objects a squeeze deleted read as unknown. The Rust side now does the same with Canon::reachable (from the boolean.merge_p1 runner), so deleted records, which the Rust arena keeps unlinked, are unknown on both sides. This is a harness representation fix; no tolerance or case changed. Without it, the 6 newly reached cases differed only in arena counts and handle numbering.

Overlap: #613 (henlamp) and #678 (claim on topology.brep_p5) both touch topology/brep/p5.rs. This PR's p5 change is limited to the combine_with_notifications tail and the removed stub.

difftest (before = main CI d7abe91, after = this branch)

boolean.merge_p1                 248: 241 pass, 7 deferred  ->  243 pass, 5 deferred, 0 failed
topology.brep_p5                 797: 787 pass, 10 deferred ->  795 pass, 2 deferred, 0 failed
boolean.topology_intersector_p2  910: 775 pass, 135 deferred -> 788 pass, 122 deferred, 0 failed
boolean.topology_intersector_p3  271: 166 pass, 105 deferred -> 172 pass, 99 deferred, 0 failed
topology.brep_p10               1404: 1154 pass, 233 deferred -> unchanged (3 cases now defer later at intersect.curve_class_p4 GetLoopCrossings)
blend.hcr                        434: 431 pass, 3 deferred  ->  unchanged (the runner builds scenes with Hcr::from_scene)

No unit is promoted: each still has other deferrals.

🤖 Generated with Claude Code