Let declared names decide dispatch slots, and finish the FastHashMap proof - #1232

Merged

Frotty merged 16 commits into

lua/dispatch-slot-binding

Aug 16, 2026

Commits on Aug 15, 2026

WIP: FastHashMap<K: Hashable, V:> as a compiler-side proof
Frotty
committed
4e690c0
Add a working backlog for the type class bound follow-ups
Frotty
committed
3ccbba2
Expand the backlog with a recurrence guard, design blockers and scope
Frotty
committed
6fac1f0
Add the overnight loop brief
Frotty
committed
e4da96d
Sanitise Lua method names where they are assigned
Frotty
committed
cc994da
Bound the wait on the Lua interpreter in tests
Frotty
committed
596b6fa
Let declared names decide which dispatch slot a method claims
Frotty
committed
a12ee4c
Finish the FastHashMap proof with remove and a cost assertion
Frotty
committed
5c23491

Commits on Aug 16, 2026