py-terser 0.1.0__py3-none-any.whl

py_terser-0.1.0.dist-info/METADATA

@@ -0,0 +1,52 @@
+Metadata-Version: 2.4
+Name: py-terser
+Version: 0.1.0
+Summary: Fork of python-minifier: transform Python project into its most compact representation
+Project-URL: source, https://github.com/MadeByAlpha/py-terser.git
+Project-URL: issues, https://github.com/MadeByAlpha/py-terser/issues
+Author-email: Alpha <dev@alpha93.kr>
+License-Expression: MIT
+License-File: LICENSE.md
+Keywords: compressor,mangler,minifier,minify,uglifier,uglify
+Classifier: Development Status :: 3 - Alpha
+Classifier: Environment :: Console
+Classifier: Environment :: Plugins
+Classifier: Framework :: Hatch
+Classifier: Intended Audience :: Developers
+Classifier: License :: OSI Approved :: MIT License
+Classifier: Programming Language :: Python
+Classifier: Programming Language :: Python :: 3
+Classifier: Programming Language :: Python :: 3 :: Only
+Classifier: Programming Language :: Python :: 3.10
+Classifier: Programming Language :: Python :: 3.11
+Classifier: Programming Language :: Python :: 3.12
+Classifier: Programming Language :: Python :: 3.13
+Classifier: Programming Language :: Python :: 3.14
+Classifier: Programming Language :: Python :: Free Threading
+Classifier: Programming Language :: Python :: Free Threading :: 3 - Stable
+Classifier: Programming Language :: Python :: Implementation :: CPython
+Classifier: Topic :: Software Development :: Build Tools
+Classifier: Topic :: Software Development :: Libraries
+Classifier: Topic :: Software Development :: Libraries :: Python Modules
+Classifier: Topic :: Software Development :: Pre-processors
+Classifier: Topic :: Text Processing :: General
+Classifier: Topic :: Utilities
+Requires-Python: >=3.10
+Requires-Dist: anyio>=4.14.2
+Requires-Dist: hatchling>=1.17
+Description-Content-Type: text/markdown
+
+# py-terser
+
+![`Development Status :: 3 -
+Alpha`](https://img.shields.io/badge/-3%20--%20Alpha-orange?style=flat&label=Development%20Status)
+
+A mangler/minifier toolkit for Python.
+
+*Fork of [`dflook/python-minifier`](https://github.com/dflook/python-minifier.git), Name inspired by
+[`terser`](https://github.com/terser/terser.git)*
+
+Transforms Python project into its most compact representation.
+
+py-terser currently supports Python 3.10 to Python 3.14.
+

py_terser-0.1.0.dist-info/RECORD

@@ -0,0 +1,85 @@
+terser/__init__.py,sha256=ESv2yBpJa6HAJrFBYS1nz5tqrSuBZbr06_aeizd0Ojw,355
+terser/__main__.py,sha256=5jJg_JaIEERcyB_qxTSjD7cMlR4iBwlkLHBaWJbBd6U,65
+terser/_minify.py,sha256=jN-0tJb76Ajo2DoawhDlQnDg3NJSBBI0P3PHQZgbexA,3354
+terser/config.py,sha256=Gu4scqTpGb7hqJgrxXXL3lZ2CT5AlYIiy3EiKPEPEG8,2018
+terser/exceptions.py,sha256=rAGixGTfHWPni6Yu8SfV0TYfNqUBG83rTxQDwT8yIsA,1012
+terser/hatch.py,sha256=po8-9JuKV8V8CFir405LUn1mWoQpO8lj3iDcN2gYIoo,3708
+terser/hooks.py,sha256=JYK9TTSwTv74QfmUcMOAQPHJ2uEv9z74z_MCRBefZLA,146
+terser/project.py,sha256=vMXPOGyqhgCinfd49JPjiPDcSEy5SeOOQShyLrrC4TU,8966
+terser/py.typed,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
+terser/terser.py,sha256=MpB0b8b9tYQr3tbQNVhUMHXS4tau27qS1AylPviweI4,2276
+terser/_pipeline/__init__.py,sha256=MjXOB7aiq5aWrPvw5Fh0UJY-w6w4Xe1zccR4naxOaWo,281
+terser/_pipeline/linker.py,sha256=cvSPpMxbBkK-1zTXCXv45Gzr_SKFSf54SVrj-F5-FSk,3385
+terser/_pipeline/path_provider.py,sha256=VOCH87VAG2pDgbC5_9RMXoFu1Zg6YxcAIUHLNbcGElw,7810
+terser/_pipeline/pipeline.py,sha256=xiqmaC8-9LclXRvHwJ13aKp7p00ipbI_Wg-NJdKLHMU,99
+terser/_pipeline/preprocessor.py,sha256=UdcGWdi_ykh9Az0NT5SO02Z_dr7jlC_a8gCxA5qtluI,4402
+terser/_pipeline/mangler/README.md,sha256=PRNnBxz6Eox0-B_rojO4cqPTZ4jtlLz5HAmnP4NgRIQ,4177
+terser/_pipeline/mangler/__init__.py,sha256=QyXcg5TMZDp4Us_JMGg_hL1mNtCR4W6HLHVGDoHUgVs,191
+terser/_pipeline/mangler/_constants.py,sha256=5jwwSryejk90I-koCshMR6dOBNvnDf_w16-JlkRAY68,7386
+terser/_pipeline/mangler/_globals.py,sha256=3X6Gcbziok22ooLWIt8oMOH8ykQt-OOHLkaWDaqnRm8,6013
+terser/_pipeline/mangler/_locals.py,sha256=h3c76bRyi-4vzQRirR1uLYDvH_q99tzNCxSauG9ADSA,9003
+terser/_pipeline/mangler/name_generator.py,sha256=8HycpsI2--YxvJdwtioW26SdnflszzOMfZZEgzGVOaU,1235
+terser/_pipeline/mangler/util.py,sha256=clA3nczgcJa9Oig8rAyq_2RybCiAkAcraLHDoYXNEug,4185
+terser/_pipeline/parser/__init__.py,sha256=8hIvhuCK2VmxyO0_gOjzEEWLgXA7VLy-nRXHcj0U5Sg,48
+terser/_pipeline/parser/_scope.py,sha256=qxLbnRIJbYKyJcEfdZSAmMhvwUIEDCSwYGsuG59c9T0,7184
+terser/_pipeline/parser/parser.py,sha256=BECSO5NOmtJcKlh_-IirzfGL5_6J57GXeAqaelf0l3Q,1476
+terser/_pipeline/parser/parser.pyi,sha256=CghSYtnRv11b8KvxznPFWp4irsXzpwqS8a9LCzIkASw,354
+terser/_pipeline/printer/__init__.py,sha256=89_DZgKeKQmNgwLHileuYkcDQVtcDFnPFnNW-wa__qM,74
+terser/_pipeline/printer/expression_printer.py,sha256=RPTlrkQCt6mexgZ1GzHA30okXnA6RkvTDVGOsA__xW8,21711
+terser/_pipeline/printer/module_printer.py,sha256=8Bu4DDfir7lFYqjBuuEnxnqMfbRJ_o3ELKNkFHYg3iw,25397
+terser/_pipeline/printer/token_printer.py,sha256=omDTMXwkFxhPMENuDPQJps_1Z5Rubth1ZLWpmTESng4,9596
+terser/_pipeline/printer/string/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
+terser/_pipeline/printer/string/f_string.py,sha256=Df8nIObBBSc8ZCTt9j3PUJDGxvO4-iB5nt-T9szw_38,18700
+terser/_pipeline/printer/string/ministring.py,sha256=iSDtFEe63YYWR7E_tEblnCZqsF2fZ5xzKTQ_mDzxpBI,4343
+terser/_pipeline/printer/string/t_string.py,sha256=T5JIJ2qm8k5SlPSW8txs947LLxlvQg2dhGakzHMkKiw,13278
+terser/_pipeline/resolver/__init__.py,sha256=x_rsp-T1ML045SaFPvCSU4cRaQ0IVrmtkCWwe0vxG3g,183
+terser/_pipeline/resolver/binding.py,sha256=dwchkFzdtfgsPqVoVPuTcrUHsS0iThVrtqcf0_47G6k,17582
+terser/_pipeline/resolver/resolver.py,sha256=R4AV_SLpu9CZxAeZq4cFVZX_JWXALWRWbRMBxldcBjI,8797
+terser/_pipeline/resolver/util.py,sha256=WMy3bGorwGc_hnXGY-Cnk1EWxYF7chAlpP-C5mDKy8A,4618
+terser/_pipeline/resolver/binder/__init__.py,sha256=H14hGDx46XfDDfM5PyqEBQGQvDSxhDszrKPqDx8BAH0,488
+terser/_pipeline/resolver/binder/_all.py,sha256=fDtHtQYhpvLac6IvNeTIinM2SGt8b1L4ElNCeoBKkXQ,945
+terser/_pipeline/resolver/binder/_bind.py,sha256=NKSoH4vLCA83Q26VhEA19DRGJ8kunl95yBrmL7jDOBU,4300
+terser/_pipeline/resolver/binder/_mark_exports.py,sha256=RuhSN_ICwDIiz81i5NjCBLQDEiEbdzbdeaTrQMR1wh0,825
+terser/_pipeline/resolver/binder/_resolve_imports.py,sha256=mcSkc1ag1QCyna4-OCy65mbmh6MTrU5nOu8EQQKPmg0,3140
+terser/_pipeline/transforms/README.md,sha256=tC-e3AvQTRa_Z2BNlTFUrbByBHOAGNvzVSAhKGwFI64,3263
+terser/_pipeline/transforms/__init__.py,sha256=9pDGpxnXgWyY3Rl4sdZ31oYFdSaFvQ6gUTIVO6W-UwU,773
+terser/_pipeline/transforms/__init__.pyi,sha256=AmekzSs7umkPKLIOwJWsepsOMRR_PyvrfQts3nCSTD4,189
+terser/_pipeline/transforms/_suite.py,sha256=wwUor1RE9QjddkzD8kqJ-Gwq4OHIod9k7INaIrT5MvU,7778
+terser/_pipeline/transforms/combine_imports.py,sha256=K-ZqHNFUTn0e_Zkjhzp3ZEtOFW39etifKE9-d59N0uQ,2386
+terser/_pipeline/transforms/constant_folding.py,sha256=St40B2JIJ8YtOLjU3rBq5p5PxW8B8YxHUSgjrMSTYT8,5368
+terser/_pipeline/transforms/contracts.py,sha256=uHvyrhRFtMheDWiRo6kPj6-odCjRh-xDBfJHK52iKk4,2074
+terser/_pipeline/transforms/remove_annotations.py,sha256=aqV5KxcfpDdF4QqC5TaWtkyWJbKIj5D9Q4ZxBqzv9Zw,4831
+terser/_pipeline/transforms/remove_asserts.py,sha256=aAPmRsqm8FKbe0DFBYBc3CkTwBoNKwsy27mU_FGwufE,790
+terser/_pipeline/transforms/remove_debug.py,sha256=tQ7IcDFoogZ-Bqj8xHScf2fcjxETU5K4NroAIoydieA,2290
+terser/_pipeline/transforms/remove_exception_brackets.py,sha256=VXu0UhTZKzQOSYRct-xG2Y4VyvMo3J0yr7JdTpaAWiU,3968
+terser/_pipeline/transforms/remove_explicit_return_none.py,sha256=VF_DL4RJKZXRlyA-23Ym5MYM3Gh0Lz6Bss_3BjjXW7Y,1102
+terser/_pipeline/transforms/remove_literal_statements.py,sha256=fbMNg4EB6dwpPcljpJMtfL3_4mOjXUJL1aeVj4LgC8c,1671
+terser/_pipeline/transforms/remove_object_base.py,sha256=oCq1Ra9UKA15R52Seao3YY2BQl-Bo_-wy2skhgAPM2g,675
+terser/_pipeline/transforms/remove_pass.py,sha256=sTM80fkBQyuYWGYrt6oOv3jz5GH-5aE7ihsYwomaqgU,762
+terser/_pipeline/transforms/remove_posargs.py,sha256=DEbtA2gEz4_G-DBUva9KSlrdYuJTx8eM89ZQB1okXzY,302
+terser/ast/__init__.py,sha256=j3FAISfn1xwUzPnwO8uRiSddFJhgjhgTyGeaoZi6hdw,393
+terser/ast/_compare.py,sha256=tnZGoA293QA94f69tCKvS3yb-V0zDr9mZ9XvdGlHzkg,3379
+terser/ast/_printer.py,sha256=3LsUyLtPCDXPoaXMbEG4J9boBLmngyv4VuSyNq2iv4I,4486
+terser/ast/_visitor.py,sha256=WQcAr_UJ6BWQWoiuBCUvKE57aWJuErhWTyib7bt8gww,1520
+terser/ast/ast.py,sha256=3ZGOVdXKZE5ccZ7fMsdU1GjAjdsbs4eL2W_CPCoTFKo,2516
+terser/ast/ast.pyi,sha256=xk5mGkxHHwCNS7OpH8R7Iy5Xyt8t3EBjq9AzMoV_QN4,6072
+terser/ast/ref/__init__.py,sha256=bhkyuhr68hhL5BSk4pXUXzMiQCmoXTqS9s355b0JMoo,464
+terser/ast/ref/_node.py,sha256=Q0eAx5R7EFCr7Yvvd7A-X1fKQyawdXdgPLAVSTsFt4Y,1419
+terser/ast/ref/_node.pyi,sha256=OpB7DlC9uQhLTGUKPS8jYTFXX9zrYgp6INHCBS83X7c,1080
+terser/ast/ref/_scoped.py,sha256=4pW9WBBez5e-nW60ENFSaLTdQDXgHv8mu3hBJlYWw7o,1089
+terser/ast/ref/_module/__init__.py,sha256=qq5CJsgN0pfKU4ZmvRbsfK8VUtCPd99MOU1__3dlwOg,266
+terser/ast/ref/_module/_module.py,sha256=T8t41eQ8HfVEglcb7uOj4JaBnsgyelXw-YRfbIE3tZg,1518
+terser/ast/ref/_module/_spec.py,sha256=Kfl8LohwgLEAIyi7iAIRqzRxb3PlpPyjByqUnzjFeA8,3337
+terser/cli/__init__.py,sha256=A9NbzGjvlukYjOePG7927i2RHsm0XhOy4DUFUhXbqtU,45
+terser/cli/_argparse.py,sha256=9GR1i6utPnQ-e0N673jeuBPYa0n5oCG3073Uhbf7fXI,4968
+terser/cli/_argv.py,sha256=ZGoMbDDS1FDK_5uW6w4cr0s81A59Z2_YHlkgzJgPFnU,5182
+terser/cli/_tqdm.py,sha256=RMIGoMW5VRRG64BsLwfdS7Z2iuaI6WeeLW4yLFIRV_c,5742
+terser/cli/main.py,sha256=nfTvipgHkx9orYV2BRNqtEl1Njbd1r5A476920bHC18,5020
+terser/utils/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
+terser/utils/cli_helper.py,sha256=kw2oxmZsB2X8j0sGElVyxRZ5n4luzH1lfjCDU66hDJ8,803
+terser/utils/contracts.py,sha256=y0ese169-juWOQkrLZNo4lJg2Iy7xse9329nIQxO-Eg,2416
+py_terser-0.1.0.dist-info/METADATA,sha256=JTUvFZqzqZgteB23pAuaIFgHHgVx-kvrm7RVqDnJY6w,2187
+py_terser-0.1.0.dist-info/WHEEL,sha256=lCkmxWfQsSc9CfIClYeavTdQeEX2toPqufh9gI35EQA,87
+py_terser-0.1.0.dist-info/entry_points.txt,sha256=pgnHQx3tn7ZVI3UVUbFcDE2ISSTK03xt40OHyu_v-o4,74
+py_terser-0.1.0.dist-info/licenses/LICENSE.md,sha256=0Rxr0B1-rQIrqL-mJvHDMmibkjZulSKpajGtNgxg8o0,1043
+py_terser-0.1.0.dist-info/RECORD,,

py_terser-0.1.0.dist-info/WHEEL

@@ -0,0 +1,4 @@
+Wheel-Version: 1.0
+Generator: hatchling 1.31.0
+Root-Is-Purelib: true
+Tag: py3-none-any

py_terser-0.1.0.dist-info/entry_points.txt

@@ -0,0 +1,5 @@
+[console_scripts]
+terser = terser.cli:main
+
+[hatch]
+terser = terser.hooks

py_terser-0.1.0.dist-info/licenses/LICENSE.md

@@ -0,0 +1,20 @@
+MIT License
+======
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.

terser/__init__.py

@@ -0,0 +1,18 @@
+"""
+This package transforms python source code strings or ast.Module Nodes into
+a 'minified' representation of the same source code.
+
+"""
+
+from ._minify import unparse
+from .config import TransformConfig
+from .terser import minify, minify_project
+
+version = "0.1.0"
+
+__all__ = (
+    "TransformConfig",
+    "minify",
+    "minify_project",
+    "unparse",
+)

terser/__main__.py

@@ -0,0 +1,4 @@
+if __name__ == "__main__":
+    from .cli import main
+
+    main()

terser/_minify.py

@@ -0,0 +1,108 @@
+from typing import TYPE_CHECKING
+
+from ._pipeline import preprocessor, parser, resolver, transforms, mangler
+from ._pipeline.printer import ModulePrinter
+from .ast import CompareError, ast, compare_ast
+from .exceptions import InvalidTransformError, UnbeneficialMinificationError
+
+if TYPE_CHECKING:
+    from alpha93.progression import Task
+    from .ast.ref import ModuleSpec
+    from .config import TransformConfig
+
+
+def unparse(
+    path: str,
+    source: str | None,
+    module: ast.Module,
+    prefer_single_line: bool = False
+) -> str:
+    """
+    Turn a module AST into python code
+
+    This returns an exact representation of the given module,
+    such that it can be parsed back into the same AST.
+
+    :param ast.Module module: The module to turn into python code
+    :param bool prefer_single_line: If semi-colons should be preferred over newlines where there is no difference in output size
+    :rtype: str
+    """
+    printer = ModulePrinter(prefer_single_line=prefer_single_line)
+    printer(module)
+
+    try:
+        minified_module = ast.parse(printer.code, "<terser.unparse output>")
+    except SyntaxError as syntax_error:
+        raise InvalidTransformError(syntax_error, path, source, module)
+
+    if source and len(printer.code) >= len(source):
+        raise UnbeneficialMinificationError()
+
+    try:
+        compare_ast(module, minified_module)
+    except CompareError as compare_error:
+        raise InvalidTransformError(compare_error, path, source, minified_module)
+
+    return printer.code
+
+
+def minify(
+    task: Task,
+    source: str,
+    spec: ModuleSpec | str,
+    /,
+    config: TransformConfig,
+    *,
+    strict: bool = False,
+    defines: dict[str, bool] | None = None,
+    rename: bool = True,
+    preserved_names: list[str] | None = None,
+    hoist_literals: bool = True,
+) -> tuple[ast.Module, str | None]:
+    with task("Preprocessing sources"):
+        source, shebang = preprocessor.preprocess(source, defines, strict)
+
+    with task("Parsing AST"):
+        module = parser.parse(source, spec, optimize=config.optimize)
+
+        for transform in transforms.__transforms__:
+            if not transform.is_enabled(config) or transform.FLAGS > 0:
+                continue
+
+            module: ast.Module = transform(config)(module)
+
+    with task("Resolving names"):
+        resolver.resolve(module)
+        resolver.bind(module)
+
+    cache = transforms.TransformCache(config)
+    for _ in task("Applying transforms", range(config.passes)):
+        for transform in transforms.__transforms__:
+            if not transform.is_enabled(config) or transform.FLAGS > 1:
+                continue
+
+            module: ast.Module = transform(cache)(module)
+
+        if not any(cache.passes.values()):
+            break
+
+    with task("Mangling"):
+        if hoist_literals:
+            mangler.hoist_literals(module)
+
+        if rename:
+            mangler.mangle_locals(module, rename, preserved_names)
+
+        for transform in transforms.__transforms__:
+            if not transform.is_enabled(config) or transform.FLAGS > 2:
+                continue
+
+            module: ast.Module = transform(config)(module)
+
+    # FIXME: lineno problem
+    # try:
+    #     module = ast.parse(module)
+    # except SyntaxError as exc:
+    #     raise InvalidTransformError(exc, spec, source, module) from exc
+
+    return module, shebang

terser/_pipeline/__init__.py

@@ -0,0 +1,16 @@
+from .path_provider import PathProvider
+from .pipeline import Pipeline, SingleFilePipeline
+
+
+__all__ = (
+    "PathProvider",
+    "Pipeline",
+    "SingleFilePipeline",
+    "linker",
+    "mangler",
+    "parser",
+    "preprocessor",
+    "printer",
+    "resolver",
+    "transforms",
+)

terser/_pipeline/linker.py

@@ -0,0 +1,91 @@
+from typing import TYPE_CHECKING
+
+from terser.ast import ast, ref
+from .resolver.binding import ImportBinding
+
+if TYPE_CHECKING:
+    from terser.ast import ModuleRef
+    from .resolver.binder import UnresolvedModuleRef
+
+
+def _link_alias(
+    binding: ImportBinding,
+    unresolved: UnresolvedModuleRef,
+    project: dict[str, ModuleRef]
+) -> None:
+    package_target = project.get(unresolved.path) if unresolved.path is not None else None
+
+    if unresolved.submodule_path is None:
+        # plain `import x[.y]` - unambiguous, the binding always refers to the module itself
+        binding.target = package_target
+        return
+
+    name = binding.node.name  # the imported attribute/submodule name
+    if package_target is not None and any(binding.name == name for binding in package_target.bindings):
+        binding.target = package_target
+        binding.target_name = name
+        return
+
+    submodule_target = project.get(unresolved.submodule_path) if unresolved.submodule_path is not None else None
+    if submodule_target is not None:
+        binding.target = submodule_target
+        return
+
+    if package_target is not None:
+        # x resolves within the project, but y is neither a binding nor a submodule of it,
+        # e.g. provided dynamically through x's __getattr__ (PEP 562)
+        binding.target = package_target
+        binding.disallow_rename()
+
+    # else: x itself is stdlib / third-party - leave binding.target as None
+
+
+def _link_wildcard(
+    module_ref: ModuleRef,
+    stmt: ast.ImportFrom,
+    unresolved: UnresolvedModuleRef,
+    project: dict[str, ModuleRef]
+) -> None:
+    target = project.get(unresolved.path) if unresolved.path is not None else None
+
+    if target is None:
+        # Can't enumerate an external module's exports statically
+        module_ref.tainted = True
+        return
+
+    exported = {binding.name for binding in target.bindings if binding._exported}
+
+    for index, binding in enumerate(module_ref.bindings):
+        if binding.name not in exported or not all(
+                isinstance(node, ast.Name) and isinstance(node.ctx, ast.Load) for node in binding.references
+        ):
+            continue  # unused, or shadowed by a real local definition - the wildcard doesn't apply
+
+        upgraded = ImportBinding(binding.name, stmt, module_ref)
+        for node in binding.references:
+            upgraded.add_reference(node)
+
+        upgraded.target = target
+        upgraded.target_name = binding.name  # exported implies target actually has this binding
+
+        module_ref.bindings[index] = upgraded
+
+
+def link(module: ast.Module, project: dict[str, ModuleRef]) -> None:
+    """
+    Resolve every import's target and expand wildcard imports, using the other modules in the
+    project. Must run after every module in the project has run `resolve_imports`, `mark_exports`
+    and `binder.resolve` (the latter so undefined-but-used names have their fallback binding, for
+    `_link_wildcard` to upgrade).
+
+    :param module: The module to link imports for
+    :param project: Every module in the project, keyed by resolved module path
+    """
+
+    module_ref = ref(module)
+
+    for binding, unresolved in module_ref.import_targets.items():
+        _link_alias(binding, unresolved, project)
+
+    for stmt, unresolved in module_ref.wildcard_targets.items():
+        _link_wildcard(module_ref, stmt, unresolved, project)

terser/_pipeline/mangler/README.md

@@ -0,0 +1,93 @@
+# Renaming
+
+We can save bytes by shortening the names used in a python program.
+
+One simple way to do this is to replace each unique name in a module with a shorter one.
+This will probably exhaust the available single character names, so is not as efficient as it could be.
+Also, not all names can be safely changed this way.
+
+By determining the scope of each name, we can assign the same short name to multiple non-overlapping scopes.
+This means sibling namespaces may have the same names, and names will be shadowed in inner namespaces where possible.
+
+This file is a guide for how the python_minifier package shortens names.
+There are multiple steps to the renaming process.
+
+## Binding Names
+
+Names are bound to the local namespace it is defined in.
+
+### Create namespace nodes
+
+Namespaces in python are introduced by Modules, Functions, Comprehensions, Generators and Classes.
+The AST node that introduces a new namespace is called a 'namespace node'.
+
+These attributes are added to namespace nodes:
+
+- Bindings - A list of Bindings local to this namespace, populated by the Bind names step
+- Globals - A list of global names in this namespace
+- Nonlocals - A list of nonlocal names in this namespace
+
+### Determine parent node
+
+Add a parent attribute to each node with the value of the node of which this is a child.
+
+### Determine namespace
+
+Add a namespace attribute to each node with the value of the namespace node that will be used for name binding and resolution.
+This is usually the closest parent namespace node. The exceptions are:
+
+- Function argument default values are in the same namespace as their function.
+- Function decorators are in the same namespace as their function.
+- Function annotations are in the same namespace as their function.
+- Class decorator are in the same namespace as their class.
+- Class bases, keywords, starargs and kwargs are in the same namespace as their class.
+- The first iteration expression of a comprehension is in the same namespace as it's parent ListComp/SetComp/DictComp or GeneratorExp.
+
+### Bind names
+
+Every node that binds a name creates a NameBinding for that name in its namespace.
+The node is added to the NameBinding as a reference.
+
+If the name is nonlocal in its namespace it does not create a binding.
+
+Nodes that create a binding:
+
+- FunctionDef nodes bind their name
+- ClassDef nodes bind their name
+- arg nodes bind their arg
+- Name nodes in Store or Del context bind their id
+- MatchAs nodes bind their name
+- MatchStar nodes bind their name
+- MatchMapping nodes bind their rest
+
+### Resolve names
+
+For the remaining unbound name nodes and nodes that normally create a binding but are for a nonlocal name, we find their binding.
+
+Bindings for name references are found by searching their namespace, then parent namespaces.
+If a name is global in a searched namespace, skip straight to the module node.
+If a name is nonlocal in a searched namespace, skip to the next parent namespace.
+When traversing parent namespaces, Class namespaces are skipped.
+
+If a NameBinding is found, add the node as a reference.
+If no NameBinding is found, check if the name would resolve to a builtin.
+If so, create a BuiltinBinding in the module namespace and add this node as a reference.
+
+Otherwise we failed to find a binding for this name - Create a NameBinding in the module namespace and add this node
+as a reference.
+
+## Hoist Literals
+
+At this point we do the HoistLiterals transform, which adds new HoistedLiteral bindings to the namespaces where it wants
+to introduce new names.
+
+## Name Assignment
+
+Collect all bindings in the module and sort by estimated byte savings
+
+For each binding:
+
+- Determine it's 'reservation scope', which is the set of namespaces that name is referenced in (and all namespaces between them)
+- Get the next available name that is unassigned and unreserved in all namespaces in the reservation scope.
+- Check if we should proceed with the rename - is it space efficient to do this rename, or has the original name been assigned somewhere else?
+- Rename the binding, rename all referenced nodes to the new name, and record this name as assigned in every namespace of the reservation scope.

terser/_pipeline/mangler/__init__.py

@@ -0,0 +1,9 @@
+from ._constants import hoist_literals
+from ._globals import mangle_globals
+from ._locals import mangle_locals
+
+__all__ = (
+    "hoist_literals",
+    "mangle_locals",
+    "mangle_globals",
+)