Does this mean that PyPy is an example of the first projection of Futamura? Which generates JIT compilers for implementations in RPython. My understanding of t

Does this mean that PyPy is an example of the first projection of Futamura? Which generates JIT compilers for implementations in RPython. My understanding of this idea is that it potentially enables the architecture of software systems to be drastically transformed at runtime and over time. Imagine if your software system (Kuberentes manifests, sourcecode, firewall rules, cloud resources such as SQS, autoscaling groups, RDB databases and so on) was all represented by a single AST and you can transform the AST to handle a new constraint by just transforming the AST which could lead to a system that looks completely different.