Part of #27. frameworks/ entrypoint finders (cargo-bin/example/bench, #[test], lib pub-API roots); semantic_analysis/ provider seam; exact static edges (prov rustc); CHA fan-out over the impl index (prov cha); RTA pass merging confirmations (prov cha,rta); callee backfill; externals at @external. Gate: zero dangling endpoints; L1 subset-of L2 superset test.
Part of #27. frameworks/ entrypoint finders (cargo-bin/example/bench, #[test], lib pub-API roots); semantic_analysis/ provider seam; exact static edges (prov rustc); CHA fan-out over the impl index (prov cha); RTA pass merging confirmations (prov cha,rta); callee backfill; externals at @external. Gate: zero dangling endpoints; L1 subset-of L2 superset test.