mirror/rea
1
0
Fork 0
mirror of https://github.com/morluto/rea synced 2026-10-25 22:08:11 -04:00
Code Issues Packages Projects Releases Wiki Activity

fix(managed): retain unknown catch identity beside observed name changes

Browse Source
This commit is contained in:
morluto
2026-10-23 21:23:55 +08:00
parent 66e25e7912
commit 529038f557
3 changed files with 5 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
docs/managed-code-analysis.md
+3 -1
View File
@@ -398,7 +398,9 @@ name from `call_edges` and `field_accesses`. Target tokens remain build-local
and are not compared across artifacts. Missing or unaligned edges and missing
target names leave that facet unknown; equal names do not establish overload
identity or runtime dispatch. `exception-shape` compares clause flags and
ranges, while `exception-target` compares each resolved catch type name.
ranges, while `exception-target` records changes to observed catch type names.
When those names differ but scoped identity is unavailable, the change remains
visible alongside `availability` and an identity limitation.
Exception tokens remain in the source facts but are not cross-build identity;
an unresolved catch type leaves that facet unknown. The method body retains the
resolved `class_type` name and whether its local token identity could be