Stands where an output outside souther-compiler stands. It depends on souther-compiler and on nothing else of this project, reads a checked program through the boundary meant for it, and holds that boundary to what it is for: a compiler is not something an output reads. Nothing ships from here. It exists because the property being kept — that an artifact of its own can consume a checked Souther program — is about what a separate artifact can compile ...