Commit Graph

20 Commits

Author SHA1 Message Date
Ethanfel 317788572e Detect definition-time mutating expressions 2026-07-02 14:50:03 +02:00
Ethanfel 65c3a57052 Resolve node mappings at assignment time 2026-07-02 14:40:16 +02:00
Ethanfel 45e3cbaad8 Detect mutating calls inside statements 2026-07-02 14:29:04 +02:00
Ethanfel 6c2653c803 Fail closed on final input bindings and transitive aliases 2026-07-02 14:18:38 +02:00
Ethanfel 99d2bb25da Fail closed on mutable module captures in class signatures 2026-07-02 14:09:07 +02:00
Ethanfel 034e07269d Fail closed on class alias mutations 2026-07-02 13:58:58 +02:00
Ethanfel bebd4e09aa Resolve input and class attribute environments correctly 2026-07-02 13:53:45 +02:00
Ethanfel 67b875cdd5 Require mapped classes to remain top-level bindings 2026-07-02 13:45:45 +02:00
Ethanfel 90b7e3e872 Fail closed on invalid return name declarations 2026-07-02 13:34:13 +02:00
Ethanfel 0456e8033a Fail closed on invalid return names 2026-07-02 13:29:51 +02:00
Ethanfel 479a70f377 Evaluate class signatures with definition-time env 2026-07-02 13:24:02 +02:00
Ethanfel c8c1205bde Skip extraction after wildcard imports 2026-07-02 13:14:16 +02:00
Ethanfel b2b1bd16bd Invalidate static extraction on nested wildcard imports 2026-07-02 13:06:51 +02:00
Ethanfel 2845daf90c Invalidate static extraction on annotated aliases and wildcard imports 2026-07-02 12:58:24 +02:00
Ethanfel fae0c312bc Invalidate static extraction on rebinding and alias mutation 2026-07-02 12:50:06 +02:00
Ethanfel 21a29b8846 Invalidate static extraction on deletion and mutation 2026-07-02 12:39:38 +02:00
Ethanfel 6be0fe9d1e Fail closed on dynamic node mapping extraction 2026-07-02 12:29:27 +02:00
Ethanfel 6a4617f002 Fail closed on dynamic static extraction inputs 2026-07-02 12:23:09 +02:00
Ethanfel 960c41b330 Harden static signature extraction 2026-07-02 12:13:50 +02:00
Ethanfel 669f209930 Add popular node signature extractor 2026-07-02 12:06:19 +02:00