My theory writeup in my original implementation repository here
Local cache of writeup
Overleaf for writeup
My later standalone 2020SagittaCode repository
My talk to MCP (ref [2] of ticket below).
ATLIDTRKCP-324
Page 8 of ID Alignment report, Tracking CP @ P&P 16.9.2021