Add PEP 723 inline script metadata support

README.rst

@@ -173,7 +173,7 @@ In case of multiple definitions of the same dependency, command line
 overrides everything else, and requirements file overrides what is
 specified in the source code.
 
-Finally, you can include package names in the script docstring, after
+You can also include package names in the script docstring, after
 a line where "fades" is written, until the end of the docstring;
 for example::
 
@@ -186,6 +186,29 @@ for example::
         otherpackage
     """
 
+Finally, *fades* understands the inline script metadata defined by
+`PEP 723 <https://peps.python.org/pep-0723/>`_, so it can run scripts written
+for other runners (like ``pipx`` or ``pip-run``) and vice versa. Just add a
+``# /// script`` block at the top of the script::
+
+    # /// script
+    # requires-python = ">=3.11"
+    # dependencies = [
+    #   "requests<3",
+    #   "rich",
+    # ]
+    # ///
+
+    import requests
+    from rich.pretty import pprint
+
+The ``dependencies`` are installed like any other dependency. If
+``requires-python`` is present, *fades* will use it to pick a suitable Python
+interpreter: if the one in use (the default, or the one given with
+``--python``) does not satisfy the requirement, *fades* will try to find an
+appropriate interpreter in the system, and fail if none is available (in that
+case, adjust the script's ``requires-python`` or install a matching Python).
+
 
 About different repositories
 ----------------------------

fades/helpers.py

@@ -17,6 +17,7 @@
 """A collection of utilities for fades."""
 
 import json
+import shutil
 import logging
 import os
 import subprocess
@@ -28,12 +29,17 @@
 from urllib.error import HTTPError
 
 from packaging.requirements import Requirement
+from packaging.specifiers import InvalidSpecifier, SpecifierSet
 from packaging.version import Version
 
 from fades import FadesError, _version
 
 logger = logging.getLogger(__name__)
 
+# range of CPython 3 minor versions probed when auto-selecting an interpreter to
+# satisfy a PEP 723 'requires-python' specifier
+PYTHON_MINOR_RANGE = range(6, 30)
+
 # command to retrieve the version from an external Python
 SHOW_VERSION_CMD = """
 import sys, json
@@ -162,6 +168,93 @@ def get_interpreter_version(requested_interpreter):
     return (requested_interpreter, is_current)
 
 
+def _get_interpreter_full_version(interpreter=None):
+    """Return the (major, minor, micro) version tuple of an interpreter."""
+    if interpreter is None:
+        return tuple(sys.version_info[:3])
+    args = [interpreter, '-c', SHOW_VERSION_CMD]
+    try:
+        raw = logged_exec(args)
+        # parse inside the try: a noisy interpreter (e.g. a shim printing to stderr, which
+        # logged_exec merges into stdout) can make raw[0] not be the expected JSON; turning
+        # any such failure into a FadesError lets _find_interpreter skip that candidate
+        info = json.loads(raw[0])
+        return (info['major'], info['minor'], info['micro'])
+    except Exception as error:
+        logger.error("Error getting requested interpreter version: %s", error)
+        raise FadesError("Could not get interpreter version")
+
+
+def _find_interpreter(specifier):
+    """Search PATH for a python interpreter whose version satisfies the specifier."""
+    candidate_names = ["python3.{}".format(minor) for minor in PYTHON_MINOR_RANGE]
+    candidate_names += ["python3", "python"]
+
+    found = {}  # path -> Version, to avoid probing the same interpreter twice
+    for name in candidate_names:
+        path = shutil.which(name)
+        if path is None or path in found:
+            continue
+        try:
+            major, minor, micro = _get_interpreter_full_version(path)
+        except FadesError:
+            continue
+        found[path] = Version("{}.{}.{}".format(major, minor, micro))
+
+    candidates = sorted(
+        (version, path) for path, version in found.items()
+        if specifier.contains(version, prereleases=True))
+    if not candidates:
+        return None
+    # pick the highest satisfying version
+    return candidates[-1][1]
+
+
+def get_interpreter_for_requirement(requires_python, requested_python):
+    """Honor a PEP 723 'requires-python' specifier, returning the interpreter to use.
+
+    The returned value is the python executable/path to use, which may be
+    'requested_python' unchanged or an auto-discovered one. Raises FadesError if no
+    available interpreter satisfies the specifier.
+    """
+    if not requires_python:
+        return requested_python
+
+    try:
+        specifier = SpecifierSet(requires_python)
+    except (InvalidSpecifier, TypeError) as error:
+        # TypeError happens when requires-python is not a string (e.g. a TOML number)
+        logger.error("Invalid PEP 723 requires-python %r: %s", requires_python, error)
+        raise FadesError("Invalid PEP 723 requires-python")
+    logger.debug("Honoring PEP 723 requires-python %r", requires_python)
+
+    # check the currently selected interpreter (explicit -p or fades' own)
+    major, minor, micro = _get_interpreter_full_version(requested_python)
+    current_version = Version("{}.{}.{}".format(major, minor, micro))
+    if specifier.contains(current_version, prereleases=True):
+        return requested_python
+
+    if requested_python is not None:
+        # the user explicitly chose an interpreter that conflicts with the script; don't
+        # silently override that choice, fail so they can resolve it
+        msg = ("The chosen Python interpreter (version {}) does not satisfy the script's "
+               "requires-python ({!r})".format(current_version, requires_python))
+        logger.error(msg)
+        raise FadesError(msg)
+
+    # nothing was explicitly requested and fades' own python doesn't satisfy the spec:
+    # try to discover a suitable interpreter in PATH
+    discovered = _find_interpreter(specifier)
+    if discovered is None:
+        msg = ("No available Python interpreter satisfies the script's requires-python "
+               "({!r})".format(requires_python))
+        logger.error(msg)
+        raise FadesError(msg)
+    logger.info("Using Python interpreter %r to satisfy requires-python %r",
+                discovered, requires_python)
+    return discovered
+
+
 def get_latest_version_number(project_name):
     """Return latest version of a package."""
     try:
@@ -217,9 +310,12 @@ def check_pypi_updates(dependencies):
 
 def _pypi_head_package(dependency):
     """Hit pypi with a http HEAD to check if pkg_name exists."""
-    if dependency.specifier:
-        spec = list(dependency.specifier)[0]
-        version = spec.version
+    # Only an exact pin (== or ===) maps to a version-specific URL; range specifiers
+    # like '<3' or '>=2' must be checked by package name, otherwise we'd query a
+    # non-existent "version" and wrongly conclude the package is missing.
+    exact_specs = [spec for spec in dependency.specifier if spec.operator in ("==", "===")]
+    if exact_specs:
+        version = exact_specs[0].version
         url = BASE_PYPI_URL_WITH_VERSION.format(name=dependency.name, version=version)
     else:
         url = BASE_PYPI_URL.format(name=dependency.name)

fades/main.py

@@ -132,11 +132,14 @@ def consolidate_dependencies(needs_ipython, child_program, requirement_files, ma
         logger.debug("Dependencies from source file: %s", srcfile_deps)
         docstring_deps = parsing.parse_docstring(child_program)
         logger.debug("Dependencies from docstrings: %s", docstring_deps)
+        pep723_deps, _ = parsing.parse_pep723(child_program)
+        logger.debug("Dependencies from PEP 723 metadata: %s", pep723_deps)
     else:
         srcfile_deps = {}
         docstring_deps = {}
+        pep723_deps = {}
 
-    all_dependencies = [ipython_dep, srcfile_deps, docstring_deps]
+    all_dependencies = [ipython_dep, srcfile_deps, docstring_deps, pep723_deps]
 
     if requirement_files is not None:
         for rf_path in requirement_files:
@@ -388,8 +391,13 @@ def go():
     if args.check_updates:
         helpers.check_pypi_updates(indicated_deps)
 
+    # honor a PEP 723 'requires-python' (this may pick a different interpreter than the one
+    # explicitly requested with --python or fades' own)
+    _, requires_python = parsing.parse_pep723(analyzable_child_program)
+    python_interpreter = helpers.get_interpreter_for_requirement(requires_python, args.python)
+
     # get the interpreter version requested for the child_program
-    interpreter, is_current = helpers.get_interpreter_version(args.python)
+    interpreter, is_current = helpers.get_interpreter_version(python_interpreter)
 
     # options
     pip_options = args.pip_options  # pip_options mustn't store.
@@ -423,7 +431,8 @@ def go():
 
         # Create a new venv
         venv_data, installed = envbuilder.create_venv(
-            indicated_deps, args.python, is_current, options, pip_options, args.avoid_pip_upgrade)
+            indicated_deps, python_interpreter, is_current, options, pip_options,
+            args.avoid_pip_upgrade)
         # store this new venv in the cache
         venvscache.store(installed, venv_data, interpreter, options)
 

fades/parsing.py

@@ -21,14 +21,27 @@
 from pathlib import Path
 from typing import Generator
 
-from packaging.requirements import Requirement
+try:
+    import tomllib
+except ModuleNotFoundError:  # Python < 3.11
+    try:
+        import tomli as tomllib
+    except ModuleNotFoundError:
+        tomllib = None  # PEP 723 support degrades gracefully; warned at use site
+
+from packaging.requirements import InvalidRequirement, Requirement
 from packaging.version import Version
 
-from fades import REPO_PYPI, REPO_VCS
+from fades import FadesError, REPO_PYPI, REPO_VCS
 from fades.pkgnamesdb import MODULE_TO_PACKAGE
 
 logger = logging.getLogger(__name__)
 
+# Canonical regular expression to find a PEP 723 metadata block (see
+# https://peps.python.org/pep-0723/#reference-implementation).
+PEP723_REGEX = re.compile(
+    r'(?m)^# /// (?P<type>[a-zA-Z0-9-]+)$\s(?P<content>(^#(| .*)$\s)+)^# ///$')
+
 
 class _VCSSpecifier:
     """A simple specifier that works with VCSDependency."""
@@ -304,3 +317,64 @@ def parse_docstring(filepath: Path):
         return {}
     with open(filepath, 'rt', encoding='utf8') as fh:
         return _parse_docstring(fh)
+
+
+def _parse_pep723(content):
+    """Parse a PEP 723 inline metadata block.
+
+    Return a tuple ``(deps, requires_python)`` where ``deps`` is the usual repo->deps
+    mapping and ``requires_python`` is the raw 'requires-python' specifier (or None).
+    """
+    matches = [m for m in PEP723_REGEX.finditer(content) if m.group('type') == 'script']
+    if not matches:
+        return {}, None
+    if len(matches) > 1:
+        # The PEP mandates that tools error when several blocks of the same type exist.
+        logger.error("Found %d PEP 723 'script' blocks, but only one is allowed", len(matches))
+        raise FadesError("Multiple PEP 723 'script' blocks found")
+    logger.debug("Found a PEP 723 'script' metadata block")
+
+    if tomllib is None:
+        logger.warning(
+            "Found a PEP 723 metadata block but no TOML parser is available; "
+            "install the 'tomli' package to enable PEP 723 support in Python <3.11")
+        return {}, None
+
+    # Rebuild the TOML content stripping the comment prefix of each line, as per the PEP.
+    toml_content = ''.join(
+        line[2:] if line.startswith('# ') else line[1:]
+        for line in matches[0].group('content').splitlines(keepends=True))
+    try:
+        metadata = tomllib.loads(toml_content)
+    except tomllib.TOMLDecodeError as error:
+        logger.error("Invalid TOML in the PEP 723 metadata block: %s", error)
+        raise FadesError("Invalid TOML in the PEP 723 metadata block")
+    logger.debug("Parsed PEP 723 metadata: %s", metadata)
+
+    deps = {}
+    dependencies = metadata.get('dependencies', [])
+    if not isinstance(dependencies, list):
+        logger.error(
+            "PEP 723 'dependencies' must be a list, got %s", type(dependencies).__name__)
+        raise FadesError("PEP 723 'dependencies' must be a list")
+    if dependencies:
+        # PEP 723 dependencies are standard PEP 508 strings (including 'name @ url' direct
+        # references that pip understands), so they all go to the PyPI repo.
+        try:
+            deps[REPO_PYPI] = [Requirement(dep) for dep in dependencies]
+        except InvalidRequirement as error:
+            logger.error("Invalid dependency in the PEP 723 metadata block: %s", error)
+            raise FadesError("Invalid dependency in the PEP 723 metadata block")
+
+    return deps, metadata.get('requires-python')
+
+
+def parse_pep723(filepath):
+    """Parse a source file's PEP 723 metadata block.
+
+    Return a tuple ``(deps, requires_python)``; see ``_parse_pep723``.
+    """
+    if filepath is None:
+        return {}, None
+    with open(filepath, 'rt', encoding='utf8') as fh:
+        return _parse_pep723(fh.read())

man/fades.1

@@ -86,6 +86,8 @@ Select which Python version to be used; the argument can be just the number (3.1
 
 The dependencies can be indicated in multiple places (in the Python source file, with a comment besides the import, in a \fIrequirements\fRfile, and/or through command line. In case of multiple definitions of the same dependency, command line overrides everything else, and requirements file overrides what is specified in the source code.
 
+\fBfades\fR also understands the inline script metadata defined by PEP 723 (a \fB# /// script\fR block at the top of the script); its \fBdependencies\fR are installed, and if \fBrequires-python\fR is present it is used to select a suitable Python interpreter (failing if none is available).
+
 .TP
 .BR -x ", " --exec
 Execute the \fIchild_program\fR in the context of the virtual environment. The child_program, which in this case becomes a mandatory parameter, can be just the executable name (relative to the venv's bin directory) or an absolute path.

requirements.txt

@@ -6,3 +6,4 @@ pytest
 pyuca
 pyxdg
 rst2html5
+tomli

setup.py

@@ -1,6 +1,6 @@
 #!/usr/bin/env python3
 
-# Copyright 2014-2024 Facundo Batista, Nicolás Demarchi
+# Copyright 2014-2026 Facundo Batista, Nicolás Demarchi
 #
 # This program is free software: you can redistribute it and/or modify it
 # under the terms of the GNU General Public License version 3, as published
@@ -103,7 +103,7 @@ def finalize_options(self):
     cmdclass={
         'install': CustomInstall,
     },
-    install_requires=['setuptools'],
+    install_requires=['setuptools', 'tomli; python_version < "3.11"'],
     tests_require=['logassert', 'pyxdg', 'pyuca', 'pytest', 'flake8',
                    'pep257', 'rst2html5'],  # what unittests require
     python_requires='>=3.10',  # Minimum Python version supported.

tests/test_files/pep723_and_comment.py

@@ -0,0 +1,13 @@
+# Copyright 2014-2026 Facundo Batista, Nicolás Demarchi
+
+# /// script
+# requires-python = ">=3.11"
+# dependencies = [
+#   "requests<3",
+# ]
+# ///
+
+import requests  # fades
+import rich  # fades
+
+rich.print(requests.get("https://example.com"))

tests/test_files/pep723_basic.py

@@ -0,0 +1,13 @@
+# Copyright 2014-2026 Facundo Batista, Nicolás Demarchi
+
+# /// script
+# dependencies = [
+#   "requests<3",
+#   "rich",
+# ]
+# ///
+
+import requests
+from rich.pretty import pprint
+
+pprint(requests.get("https://example.com"))

tests/test_files/pep723_requires_python.py

@@ -0,0 +1,12 @@
+# Copyright 2014-2026 Facundo Batista, Nicolás Demarchi
+
+# /// script
+# requires-python = ">=3.11"
+# dependencies = [
+#   "requests<3",
+# ]
+# ///
+
+import requests
+
+requests.get("https://example.com")