Draft proposal for smart pipelines, including formal specification. - View it on GitHub