Online is a fine starting point, depending on your resources, but personally, I don't rely on information I find online unless those sources are citing IRS authorities and I have tracked it back to those authorities. Here, I would simply look at Rev. Proc. 2021-30 and the 1099-R instructions. My recollection is that Rev. Proc. 2021-30 has special rules for excess additions/allocations that specifically state that a 1099-R is to be used with 415 corrections and the instructions for the 1099-R have specific rules for distributions under EPCRS. Of course, don't rely on my statements....
Based on the facts you provided, it appears that there are no matching contributions, so in my view the correction should be first, to distribute 2025 salary deferral contributions (adjusted for earnings), then, if any excess remains, to forfeit 2025 employer profit-sharing contributions (adjusted for earnings if necessary) until the annual additions no longer exceed the 2025 415(c) limits. This priority order is used so the participant retains as much of the employer monies that they can.
The corrective distribution (not the forfeiture, if any) made to the participant, presumably in 2026, should be reported on a 2026 Form 1099-R. The participant should include the distribution as income in 2026 but does not have to pay the 10% additional tax on early distributions under IRC Section 72(t). I think this is a Code E but not certain. The distribution is not eligible for rollover (the 1099-R should reflect this and we usually send a letter of explanation making that clear). The forfeited employer contributions (plus earnings) should be transferred to an unallocated plan account, which must be used to reduce employer contributions in subsequent periods. No additional employer contributions are to be made to the plan until the unallocated plan account balance is reduced to zero.
This is not an instance where the participant has the double whammy of income in the year earned and income in the year distributed (which applies to late distributions of excess deferrals or 402(g) busts).