log:satisfiable not working as expected

[tpluscode]

I'm trying various ways to create an "assertion" backward rule which tests a formula. One attempt (usage) looks like this

{
  {
    <foobar> log:equalTo <foobar>
  } tuner:expect "foobar to equal foobar" .
} => {
  <test> <pass> true .
} .

I thought I'd use log:satisfiable to check a formula and log:ifThenElseIn to catch failure to log a message.

{
  ?expr tuner:expect ?msg .
} <= {
  (
    { ?expr log:satisfiable true }
    true
    {
      ?msg^log:trace .
      true log:equalTo false .
    }
  ) log:ifThenElseIn [] .
} .

Maybe I misunderstand something, because the example also doesn't work: https://editor.notation3.org/s/QDT2fLeu

[tpluscode]

On the other hand I can replace log:satisfiable with simply using the expression in if..else?

-    { ?expr log:satisfiable true }
+    ?expr

[josd]

Maybe I misunderstand something, because the example also doesn't work: https://editor.notation3.org/s/QDT2fLeu

It works perfectly fine with the native eye

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

:test1 :is true.
:test2 :is false.
:test :is true.

and I think it doesn't work for the wasm eye because there is no support for the shell/2 internal prolog predicate.

[tpluscode]

Hm, I am using native eye. And the editor also uses native on the server, right?

[josd]

No, see view-source:https://editor.notation3.org/s/QDT2fLeu line 35 <script src="https://eyereasoner.github.io/eye-js/latest/index.js"></script>