Most PR’s created by cardano-sl project members are prefixed by [CSL-XXXX].
Here an example: [CSL-2207] progressive network connection timeouts
If I understand the speech of Duncan Coutts correctly, CSL-XXXX is some sort of developer friendly requirement description referred to pure mathematical description.
Two questions:
- Is my assumption correct?
- Are CSL-XXXX documents publicly available?