Using log:becomes

[tpluscode]

The log:becomes example used in n3 editor (https://editor.notation3.org/s/iFmru6aE) with closure option produces this output

@prefix log: <http://www.w3.org/2000/10/swap/log#>.

<urn:example:pers001> <urn:example:familyName> "Garcia".
<urn:example:pers001> <urn:example:givenName> "Alex".
<urn:example:test> <urn:example:is> true.
{
    ?U_0 <urn:example:familyName> "Garcia".
    {
        ?U_0 <urn:example:givenName> "Claudia".
    } log:becomes {
        ?U_0 <urn:example:givenName> "Alex".
    }.
} => true.
{
    <urn:example:pers001> <urn:example:familyName> "Garcia".
    <urn:example:pers001> <urn:example:givenName> "Alex".
} => {
    <urn:example:test> <urn:example:is> true.
}.

This makes sense as it includes the :givenName "Alex" triple and not the retracted triple :givenName "Claudia".

However, I have been unable to achieve a similar result with eye 11.4.7. --pass-only-new produces :givenName "Alex" but the family name is obviously missing. All other options produce :givenName "Claudia" and not :givenName "Alex"

[josd]

Could you say what is broken?
Here I get the expected results with eye v11.4.7 and also with the latest eye v11.4.8

$ eye --quiet --nope https://raw.githubusercontent.com/eyereasoner/Notation3-By-Example/refs/heads/main/log/becomes.n3 --pass-only-new
@prefix : <urn:example:>.

:pers001 :givenName "Alex".
:test :is true.

$ eye --quiet --nope https://raw.githubusercontent.com/eyereasoner/Notation3-By-Example/refs/heads/main/log/becomes.n3 --pass
@prefix : <urn:example:>.

:pers001 :familyName "Garcia".
:pers001 :givenName "Alex".
:test :is true.

[tpluscode]

Uh, I don't know. I did not add --nope --quiet and maybe the result got lost in the rule output. Maybe it was just too late