Translate Python CodeQL DIL rules to Ascent

[StarGazerM]

Summary

• add the macro, schema, provider, and extractor-boundary infrastructure needed by the Python CodeQL package
• represent AST kinds and field positions with Rust ADTs at the input boundary instead of leaking extractor numeric tags into rules
• restructure the Python implementation into source-aligned Ascent modules and translate the current Unreachable Code and Cyclic Import slices from compiled CodeQL DIL
• remove approximation-only SQL injection, unused-local, and probe implementations until they can be translated directly
• document Cyclic Import relation cardinalities and static join-order reasoning

Why

The previous Python implementation mixed numeric extractor encodings, raw Rust plumbing, and approximate query logic. That prevented a line-by-line mapping back to compiled CodeQL DIL and made semantic parity difficult to audit.

Current status

This PR does not claim complete Cyclic Import or full Python CodeQL parity. The canonical points_to closure and the recursive AbsentModule and BoundMethod portions still need direct DIL translation. The incomplete query therefore remains outside the provider registry.

Validation

• cargo test -p codeql-ascent-python
• cargo check -p codeql-ascent-python --all-targets
• cargo fmt --all -- --check
• git diff --check
• inspected expanded Ascent SCCs
• compared the translated subset against CodeQL CLI 2.25.5 DIL/RA output