You know... I can't help but draw parallels between this and how the story delved into the developments of Morgrim's simple machines in the passing of history, in a way that has me comparing Thungni's runelore as the mathematics/computations to Morgrim's mechanics.
I can picture a world where every piece of the runic theory must be justified and given a proof by previously established Principles of Thingni's Lore, but as long as new "meditations" go and actually do that work, you can go an incredibly long way just building off the first and most basic principles and axioms. Alas, I would also presume such a philosophical landscape would have been lost with the passing of the Dwarves' Golden Age.