Use VM callbacks with AI recovery and full test coverage - #1

Merged

sunmodza merged 72 commits into

mainfrom

codex/python-compatibility

Sep 28, 2026

Commits on Sep 27, 2026

Preserve Python class namespace semantics
sunmodza
committed
955b1d3
Align entry metadata and scope visibility with CPython
sunmodza
committed
d3ba9b3
Hide generator type scopes from Python locals
sunmodza
committed
abb1d50
Compile docstring-only classes and check stdlib syntax
sunmodza
committed
e4a016a
Preserve entry script state through process shutdown
sunmodza
committed
8b84cfb
Match Python original arguments and safe import path
sunmodza
committed
787f999
Run Python modules with CPython-compatible startup
sunmodza
committed
7da0b8d
Support Python command stdin and archive entry modes
sunmodza
committed
ac6fd22
Compile AI source during module startup
sunmodza
committed
853d8ca
Resolve modules before loading project configuration
sunmodza
committed
8fec650
Preserve Python generator delegation and shutdown behavior
sunmodza
committed
6b51a11
Avoid user attribute hooks during type inspection
sunmodza
committed
6a64173
Allow tracing callbacks to reenter type checks
sunmodza
committed
bb487ec
Avoid collisions with user Python bindings
sunmodza
committed
1596c80
Hide runtime bindings from Python globals
sunmodza
committed
4dcafc6
Preserve Python bytecode cache on source imports
sunmodza
committed
9eb9179
Explain modules beneath packages with AI syntax
sunmodza
committed
e630a5d
Support variadic generic parameter and tuple annotations
sunmodza
committed
609e654
Allow callable annotations at runtime boundaries
sunmodza
committed
4ca7bd3
Cover Python 3.14 syntax in differential tests
sunmodza
committed
a3ee0ca
Expand variadic generic type aliases in contracts
sunmodza
committed
9f34539
Resolve defaulted generic alias parameters
sunmodza
committed
04a8d29
Bind variadic and defaulted generic class parameters
sunmodza
committed
e58bdce
Resolve inherited generic field types
sunmodza
committed
ef5fed9
Expand inherited variadic generic arguments
sunmodza
committed
c867115
Resolve inherited generic defaults by parameter identity
sunmodza
committed
aed6dd3
Support TypeGuard and TypeIs return contracts
sunmodza
committed
d654b3b
Accept TypeAlias declaration markers
sunmodza
committed
ec8c56b
Validate standard generic collection annotations
sunmodza
committed
05750d3
Validate typed regular expression objects
sunmodza
committed
561a278
Accept standard typed IO streams
sunmodza
committed
4a54907
Bind AnyStr through typed IO streams
sunmodza
committed
e817db4
Check concrete implementations of mapping annotations
sunmodza
committed
0a1246e
Support abstract concrete collections and bare typing aliases
sunmodza
committed
90a2bcf
Validate Hashable Sized and ChainMap annotations
sunmodza
committed
5fa6aa0
Validate typed mapping views
sunmodza
committed
a20891a
Validate Container and Reversible annotations
sunmodza
committed
05dc829
Accept bare lazy and context manager annotations
sunmodza
committed
912091e
Validate union and TypeVar class annotations
sunmodza
committed
721455a
Validate class objects for generic annotations
sunmodza
committed
3d1e0af
Validate unpacked TypedDict keyword arguments
sunmodza
committed
362fed7
Resolve Self in inherited class fields
sunmodza
committed
38ad82f
Resolve Self for renamed method receivers
sunmodza
committed
d7668dc
Resolve Self in dynamically assigned methods
sunmodza
committed
cb2a355
Run piped stdin without explicit dash
sunmodza
committed
509dc50
Add persistent interactive Aiython console
sunmodza
committed
e607c12
Apply CLI options to interactive and piped execution
sunmodza
committed
1004ea7
Support dataclass InitVar keyword markers and field factories
sunmodza
committed
ef37ddf
Run PYTHONSTARTUP before interactive Aiython sessions
sunmodza
committed
a7041a0
Support interactive sessions after script execution
sunmodza
committed
604a380
Support Pydantic and attrs class field descriptors
sunmodza
committed
6b67ad2
Accept arbitrary Annotated metadata without reevaluation
sunmodza
committed
3cc9b25
Validate annotated Enum members after auto resolution
sunmodza
committed
049bce9
Defer descriptor field checks until instance access
sunmodza
committed
de908d9
Restore embedded console exception and display state
sunmodza
committed
253c450
Accept attrs Factory defaults in annotated classes
sunmodza
committed
4658b8f
Preserve evaluation order for non-name annotations
sunmodza
committed
420daba
Release generator frames promptly and preserve function name updates
sunmodza
committed
0f6b93d
Respect descriptor-backed dataclass fields during type checks
sunmodza
committed
7403eb2
Preserve dataclass construction and decorated class source lines
sunmodza
committed
bb8fff2
Resolve type(None) safely in annotations
sunmodza
committed
2104133
Resolve class local annotation aliases and bare InitVar
sunmodza
committed
a749a77
Accept whitespace in string type annotations
sunmodza
committed
549fd43
Resolve lexical class annotations and validate completed dataclasses
sunmodza
committed
3b10fb6
Resolve generic parameter scopes and skip empty class scans
sunmodza
committed
5ee1aae
Handle methods invoked before metaclass MRO is ready
sunmodza
committed
558e0c9
Preserve private attribute mangling and safe instance scans
sunmodza
committed
112fcd3