I think the problem you’re getting at here is real—path-dependency of what a human believes on how they came to believe it, keeping everything else fixed (e.g., what the beliefs refer to) -- but I also think ARC’s ELK problem is not claiming this isn’t a real problem but rather bracketing (deferring) it for as long as possible. Because there are cases where ELK fails that don’t have much path-dependency in them, and we can focus on solving those cases until whatever else is causing the problem goes away (and only path-dependency is left).
I think the problem you’re getting at here is real—path-dependency of what a human believes on how they came to believe it, keeping everything else fixed (e.g., what the beliefs refer to) -- but I also think ARC’s ELK problem is not claiming this isn’t a real problem but rather bracketing (deferring) it for as long as possible. Because there are cases where ELK fails that don’t have much path-dependency in them, and we can focus on solving those cases until whatever else is causing the problem goes away (and only path-dependency is left).