Implement the sentinel builtin (PEP 661) - #8945

• This PR follows our AI policy

Summary

Implement the native sentinel(name, /, *, repr=None) builtin described by PEP 661, as an independent prerequisite for the Python 3.15 standard-library migration.

• Add the immutable, non-subclassable builtin with identity/hash/truthiness semantics, custom representation, read-only __name__, writable/deletable __module__, copy/deepcopy identity, and name-based pickle reduction.
• Support sentinel operands in unions through the existing union implementation.
• Traverse and clear owned references so string-subclass and mutable-module reference cycles can be collected.
• Preserve the caller function's module snapshot, including module/eval/exec contexts.
• Add six CPython-derived tests and six focused API, module, and GC regression tests. The snippet runs unconditionally on RustPython; the CPython comparison skips versions older than 3.15 before the unavailable builtin is imported.

This branch is based directly on RustPython ada43c4f82b9df4e260f1368038c31cd55c4a61e. It contains only the native sentinel implementation and its snippet. It does not change the advertised Python version, standard-library sources, import machinery, compile/module behavior, or generated workflows.

Reference and attribution

Behavior was compared with CPython v3.15.0rc2, commit 435c9e5a798c99653e3ab64ce29baed0e4f3dfee:

• Objects/sentinelobject.c
• Lib/test/test_builtin.py

The six test_sentinel* methods are copied from that CPython test source; their assertions and AST semantics are preserved. Additional edge tests cover module capture, self/mutual/repr GC cycles, string subclasses, Unicode, signature/documentation, and identity/protocol behavior.

Validation

All commands below use the independent branch and its unchanged 3.14 Lib:

• cargo build --locked --release --features sqlite: passed
• Native sentinel snippet: all 12 tests passed on RustPython, despite its retained 3.14 version
• CPython v3.15.0rc2 comparison: all 12 tests passed; CPython 3.14.7 cleanly takes the explicit version guard
• Six upstream sentinel test methods: AST-equivalent to the exact rc2 source
• rustpython -m test test_builtin test_types test_gc test_pickle: all four modules passed; 1,341 tests run, 104 skipped
• Source isolation assertions: version 3.14, cpython-314, and site, importlib, and test.support all loaded from this branch's Lib
• Configured pre-commit hooks and git diff --check: passed

The full snippet aggregate (pytest -v --timeout=60, CPython 3.14.7 plus the isolated RustPython binary) reports 469 passed, 13 failed. It is not a green aggregate result:

• 10 failures stem from sandbox-denied AF_UNIX sockets: four manager tests and three multiprocessing snippets on both interpreters
• 2 failures are the unchanged ownership-change test expecting PermissionError where this sandbox returns EINVAL
• 1 is the unchanged CPython GC/import stress case reaching the 60-second limit; RustPython passes that case

Both sentinel harness cases and both SQLite cases pass. The CPython 3.14 sentinel harness case validates the version guard, while the separate 3.15rc2 run executes all 12 tests. All failing test source files are unchanged.

The remaining isolated-branch Rust checks also pass:

• Workspace Rust tests: 1,345 passed, 18 ignored
• Separate C-API tests: 115 passed, 4 ignored
• Workspace and separate C-API all-targets Clippy: both passed without warnings

GitHub CI, CodSpeed, and pyperformance currently require maintainer approval for this fork; they have not run. This remains a draft for review.

Limitations

This change adds the runtime builtin and union support; it does not claim complete Python 3.15 compatibility or add third-party static type-checker support. Validation is on Linux x86_64; other platforms have not been exercised here.

AI assistance

OpenAI Codex assisted with implementation, CPython comparison, tests, review, and this PR description under maintainer direction. The runtime did not expose the exact model version. Reported checks are automated Linux x86_64 verification; no additional human-use or untested-platform verification is claimed.

Summary by CodeRabbit

• New Features
  • Added a built-in sentinel type for representing named sentinel values. Sentinels can provide a custom representation, retain their identity when copied, and participate in union operations.
  • Sentinel values are available through the built-ins module.