Progress

A semantics of CPython 3.14.6 in the K framework, translated from CPython's own C. These measures show how much of the C has been read, which of CPython's tests can check the work, and how much is translated.