ScalusTag

Marker injected at the top of a compiled UPLC program to identify it as Scalus-generated.

The tag wraps the program term as [(lam _scalusTag body) (con string "S")], which evaluates to body but leaves a distinctive, pattern-matchable shape on the outermost node for offchain tooling (explorers, indexers, the Scalus CLI).

Injection must happen after the UPLC optimizer has run — the Inliner would otherwise eliminate the wrapping as dead code.