feat: Port dyn_reservation_map.v#504

Kaptch merged 6 commits into

leanprover-community:masterleanprover-community/iris-lean:masterfrom

lzy0505:claude/port-dyn_reservation_maplzy0505/iris-lean:claude/port-dyn_reservation_mapCopy head branch name to clipboard