  The runtime analysis of decentralised software requires instrumentation
methods that are scalable, but also minimally invasive. This paper presents a
new algorithm that instruments choreographed outline monitors. Our
instrumentation algorithm scales and reorganises monitors dynamically as the
system executes. We demonstrate the implementability of choreographed outline
instrumentation and compare it to inline instrumentation, subject to rigorous
and comprehensive benchmarking. Our results debunk the general notion that
outline monitoring is necessarily infeasible, and show that our implementation
induces runtime overhead comparable to that of its inline counterpart for many
practical cases.
