5 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	f23d3f986d	feat(access-control-prover): 9.4 exact evidence paths from summaries	2026-10-29 18:46:41 +01:00
Marius Ciepluch	06d5363ce2	feat(access-control-prover): 9.3 summary caches and explicit exploration cutoffs	2026-10-29 18:37:06 +01:00
Marius Ciepluch	c237626f7a	feat(access-control-prover): 9.2 monotone summaries over recursive call components	2026-10-29 18:30:18 +01:00
Marius Ciepluch	fffa3e0002	feat(access-control-prover): 9.1 local function summaries	2026-10-29 18:25:23 +01:00