I should have been clearer. The description in my previous email relates to the upcoming JUNOS implementation for micro-loop avoidance when a remote link fails (draft-ietf-rtgwg-segment-routing-ti-lfa). JUNOS has had the delay-based micro-loop avoidance feature that applies only to local links (RFC 8333) for several years. We are actively working on the implementation of the remote MLA feature now, and we expect to release it within the next few JUNOS releases.
When a router running remote MLA detects a single link down event based on a received LSPDU, it computes the post convergence paths for all destinations. Any destination that could be subject to micro-loops based on that link down event gets forwarding entries corresponding to the post-convergence path to that destination. JUNOS uses a compressed label stack consisting of node-SIDs and possibly adj-SIDs to instantiate that post-convergence path. Destinations that are not subject to micro-looping for that link-down just get the normal next-hop installed.
Instead of a single link-down event, the router may get LSPDUs corresponding to several remote link down events. In that case, the router running remote MLA takes into account all of the information available to it from LSPDUs that it has received about the current state of topology at the time the computation is run to compute the post-convergence paths. If all of the LSPDUs arrive at the computing router before the MLS computation is done, then everything just works.
However, if LSPDUs with information about some remote link failures arrive after the initial MLA computation is done, we don't try to change the post-convergence paths that have already been installed to take into account the new information. We either determine that the previously installed path is still valid and continue to use it. Or we determine that the subsequently failed link has made the post-convergence path invalid so we stop using it and revert to the normal primary next-hop. We can deal with many combinations of link-down, link-up, and metric change events in this way. We decide which paths are still valid based on the effect of any subsequent network changes on a given destination in the topology.
In this way, the implementation tries to deal with multiple failures in a way that doesn't end up doing more harm than good when the network is experiencing a great deal of change.