Just to help you understand things better, what you posted isn't quite correct. I'll give you revised steps as to what happens.
1) Muscle gets worked, resulting in micro-tears of the connective tissue within the functional unit of muscles (the sarcomere).
2) These micro-tears cause inflammation, which up regulates your sensitivity to stimuli (things other than typically painful stimuli cause pain, i.e. stretching the muscle). Lactic acid doesn't play a role in soreness, nor does it play a role in muscle fatigue really. Lactic acid is something that comes about and is a sign of working at near-maximal efforts, but is not the cause of failure.
3) The body utilizes dietary amino acids to help repair those tears and over-compensate to create stronger connective tissue and muscle.
4) The soreness typically peaks 24-48h after the workout. The inflammatory compounds can be flushed out to a certain degree if you lightly use the muscles that got worked, just by flushing the muscle out and bringing new blood in (that doesn't have the inflammatory compounds yet).
Stretching, if you're really sore, can actually make things worse. Working out causes micro-tears in muscle and connective tissue. Stretching causes the same thing, which can cause trauma on top of the original damage from working out. Stretching should typically be done after a work-out, not when you're super sore. Stretching doesn't make muscle soreness better. It, in fact, typically makes it worse. Active recovery days that include walking, light jogging, cycling, swimming, or other recreational activities are optimal.