Concepts

• How shaking works: the pipeline from entry point to artifact.
• Side effects: which statements may be removed, and why most can't.
• Import rewriting: how kept imports shed unused names.
• Targets: single file, zipapp, tree and Lambda.
• Soundness and testing: what shakeout guarantees and how that is checked.