How exactly does modern php (not Hack or another vm) let you "start dynamic and end statically"?

declare(strict_types=1);

is checking and throwing type errors at runtime, not compile time.