Luke-jr fulfilled that part of the agreement; he made a hard fork proposal which he could recommend to Core, but the rest of the Core devs did not really like it, so it was dropped.
What proposal are you talking about? The one which proposes to shrink blocks to ~300kB or to keep them at 1MB for 7 years?
Firstly, the group "core devs" did not agree to anything, nor were they represented at that meeting.
OK, I understand, core devs are numerous. It's nearly impossible even to gather all of them in one meeing. So how one could negotiate with them? Saying that they were not represented at the meeting is an excuse for doing nothing. I'd say that there were enough influential, prominent devs there to properly represent their party and make the agreement meaningful.
But that does not mean that that proposal would be implemented or accepted
OK, if we read the agreement carefully, it's not very binding. Core contributors present at the meeting must only recommend a hardfork. And miners must run segwit in production only after hardfork is released in a version of Bitcoin Core. But we all know what both parties want: one party wants segwit, another party wants capacity of about 2MB for non-witness data. And I personally think, that it's far better to try come to already specified compromise than to do something potentially destructive such as UASF or to
do nothing engage in trolling while observing how Bitcoin looses it's leadership, network effect, etc. And if something like Segwit2MB is released and miners still don't adopt it (what I doubt), then we can lay the blame on them and start preparing for a UASF of some kind.
IIRC Sergio has never contributed to Core not was he at the Hong Kong meeting.
But currently he's apparently the only one among segwit supporters who tries to resolve the conflict in conformity with the agreement.