The paper, typeset.

The whole protocol in one document: what an artifact is, how an agent licenses and calls it, how the record is proved, and what $LOXL secures. Set for paper — read it here, or take the file.