Did the machine-bound Macaroons ever get written up publicly or is that proprietary?

Like the Tokenizer, I think they're open source.

https://fly.io/blog/operationalizing-macaroons/