/opera

opera :== the program (of opus numbers) of a libretto. (see opus, developus, opera ludo, hash opera, #opéra-ballet🩰, ballet🩰, #libretto, γ-proof)
/// To me, an opera represents the 'flow of a proof'. It can also be a runtime. The works are purposed to layer codecs.