2 Commits

Include renames

Author	SHA1	Message	Date
Marius Ciepluch	dc2832564a	feat(detection-core): unique-declaration member-call binding (8.2 final gated round step 1-2) ... x.method() with a variable receiver binds complete iff exactly one same-name method declaration exists repository-wide; collisions stay a finite candidate set (receiver_type_unknown) and module-level functions never bind. Authorized by maintainer strategy-review 2026-10-31; gated by dev-pool FA non-regression.	2026-10-31 07:10:36 +01:00
Marius Ciepluch	8ef2629e0b	feat(access-control-prover): 8.3 exact, finite-candidate and unresolved call targets	2026-10-29 16:04:51 +01:00