reversing into a faithful modern implementation has a very important detail. everything complicated has an unambiguous unique reference semantics. there is no decision making on observable behavior of a program, just what the internal details of replication are

having that precise a grounding is literally what llms thrive in, esp across compactions.