Inference-first annotation rules: BSK-0001/0002 never fire on inferable types - #319

Merged

MelbourneDeveloper merged 35 commits into

mainfrom

Jul 18, 2026

Commits on Jul 18, 2026

Format test_book_contract.py to satisfy ruff format gate
MelbourneDeveloper
committed
Stage 0+1 of inference plan: bidirectional constraint engine + definition-level Salsa queries
MelbourneDeveloper
committed
Format incremental_measure example (missed by broken shell chain)
MelbourneDeveloper
committed
Stage 2 narrowing core: scoped environment, guard consumption, set operations
MelbourneDeveloper
committed
Stage 2 flow walker: branch/complement/join over resolver guards with early-exit persistence
MelbourneDeveloper
committed
Stage 2: match-statement per-case narrowing; check off flow checklist items
MelbourneDeveloper
committed
Stage 2: unreachable-branch narrowing test; check off flow behaviour item
MelbourneDeveloper
committed
Stage 2 extended guards: ==/in literals, TypedDict key membership, implied-else, issubclass/hasattr extraction
MelbourneDeveloper
committed
Stage 2: Salsa-backed narrowed_uses query, attr-narrowing config knob, fix too_many_lines
MelbourneDeveloper
committed
Stage 2: inference-driven unreachable-branch reporting from Never narrowing
MelbourneDeveloper
committed
Stage 2: type(x)-is narrowing with @final awareness; ifT-benchmark baseline measured
MelbourneDeveloper
committed
Stage 2 expression inference: same-module unannotated-return synthesis
MelbourneDeveloper
committed
Stage 2 expression inference: centralized builtin signatures; constructor, method, subscript synthesis
MelbourneDeveloper
committed
Stage 2 expression inference: #317 parameter inference from body constraints and call sites
MelbourneDeveloper
committed
Stage 2 expression inference: same-module call-return inference with backdated callable interface
MelbourneDeveloper
committed
Stage 2 expression inference: imported function/method return types
MelbourneDeveloper
committed
Stage 2 expression inference: plain attribute loads via backdated class schemas
MelbourneDeveloper
committed
Merge branch 'main' into reactiveconfig
MelbourneDeveloper
authored
Stuff
MelbourneDeveloper
committed
Merge remote-tracking branch 'origin/reactiveconfig' into reactiveconfig
MelbourneDeveloper
committed
Remove committed scratch test tmp_rebind_claim_verify.rs
MelbourneDeveloper
committed
Remove committed scratch test tmp_refute_union_guard_atom.rs
MelbourneDeveloper
committed