Here follows a series of pages relating to devvy notes about how parts of harmony_core works.