Factor Unlink filtered leaf insertion

[Th0rgal]

Summary

• factor the fused real-commitment filtering and insertion mutation into an internal helper
• route transfer and withdrawal insertion paths through the helper
• update case notes to reflect that memory-array construction is still the remaining source-fidelity gap

Tests

• lake build Benchmark.Cases.UnlinkXyz.Pool.Compile
• git diff --check