diff --git a/eo-lowering/src/main/resources/org/eolang/lowering/phino-version.txt b/eo-lowering/src/main/resources/org/eolang/lowering/phino-version.txt
index 798a352e091..b054b1a5a63 100644
--- a/eo-lowering/src/main/resources/org/eolang/lowering/phino-version.txt
+++ b/eo-lowering/src/main/resources/org/eolang/lowering/phino-version.txt
@@ -1 +1 @@
-0.0.144
+0.0.145
diff --git a/eo-lowering/src/main/resources/org/eolang/lowering/rendering.xsl b/eo-lowering/src/main/resources/org/eolang/lowering/rendering.xsl
index 2b0a682d35e..9be6137bba3 100644
--- a/eo-lowering/src/main/resources/org/eolang/lowering/rendering.xsl
+++ b/eo-lowering/src/main/resources/org/eolang/lowering/rendering.xsl
@@ -135,13 +135,13 @@
   phino left unfinished.
   -->
   <xsl:function name="eo:rootless">
-    <xsl:variable name="constant" select="($eo:doc/morph/evaluate[@λ = 'L_root'])[last()]/bind[starts-with(@meta, '𝛿1.')][last()]"/>
+    <xsl:variable name="constant" select="($eo:doc/protocol/morph/evaluate[@λ = 'L_root'])[last()]/bind[starts-with(@meta, '𝛿1.')][last()]"/>
     <xsl:variable name="unanswered" select="string(($eo:doc//unanswered)[last()])"/>
     <xsl:choose>
       <xsl:when test="exists($constant)">
         <xsl:sequence select="eo:taint(concat('The entry ', $number, ' always gives the constant ', $constant, ', and an atom that only returns a constant is not written yet'))"/>
       </xsl:when>
-      <xsl:when test="empty($eo:doc/morph/evaluate[@λ = 'L_root']) and $eo:doc/morph/evaluate[@λ = 'L_entry']/bind[@meta = '𝑛1.1'] = '⊥'">
+      <xsl:when test="empty($eo:doc/protocol/morph/evaluate[@λ = 'L_root']) and $eo:doc/protocol/morph/evaluate[@λ = 'L_entry']/bind[@meta = '𝑛1.1'] = '⊥'">
         <xsl:sequence select="eo:taint(concat('The body of the entry ', $number, ' reduced to ⊥ before phino computed anything, so its root was never dataized'))"/>
       </xsl:when>
       <xsl:when test="$unanswered = '⊥'">
@@ -167,7 +167,7 @@
     <xsl:if test="exists($timeout)">
       <xsl:sequence select="eo:taint(concat('The entry ', $number, ' ran out of ', $timeout/@limit, ' seconds at ', $timeout/@at))"/>
     </xsl:if>
-    <xsl:variable name="root" select="$eo:doc/morph/evaluate[@λ = 'L_root']/dataize[starts-with(@meta, '𝛿1.')][last()]"/>
+    <xsl:variable name="root" select="$eo:doc/protocol/morph/evaluate[@λ = 'L_root']/dataize[starts-with(@meta, '𝛿1.')][last()]"/>
     <xsl:if test="empty($root)">
       <xsl:sequence select="eo:rootless()"/>
     </xsl:if>
diff --git a/eo-lowering/src/test/java/org/eolang/lowering/MorphingTest.java b/eo-lowering/src/test/java/org/eolang/lowering/MorphingTest.java
index a34aacdab99..5b0226b8e39 100644
--- a/eo-lowering/src/test/java/org/eolang/lowering/MorphingTest.java
+++ b/eo-lowering/src/test/java/org/eolang/lowering/MorphingTest.java
@@ -106,7 +106,7 @@ void keepsTheProtocolOfARunOutOfItsBudget(@Mktmp final Path temp)
                 String.join(
                     " ",
                     "for a; do case $a in --protocol=*) p=${a#--protocol=};; esac; done;",
-                    "echo '<morph><timeout limit=\"1\"/></morph>' > \"$p\"; exit 1"
+                    "echo '<protocol><morph><timeout limit=\"1\"/></morph><msec>1000</msec></protocol>' > \"$p\"; exit 1"
                 )
             ),
             new GlobalCache.GcFresh(),
@@ -174,7 +174,7 @@ void retriesARunOutOfTimeInAnEarlierBuild(@Mktmp final Path temp) throws IOExcep
                 String.join(
                     " ",
                     "for a; do case $a in --protocol=*) p=${a#--protocol=};; esac; done;",
-                    "echo '<morph><timeout limit=\"1\"/></morph>' > \"$p\"; exit 1"
+                    "echo '<protocol><morph><timeout limit=\"1\"/></morph><msec>1000</msec></protocol>' > \"$p\"; exit 1"
                 )
             ),
             new GcShared(temp.resolve("cache"), "0.5.6"),
diff --git a/eo-lowering/src/test/java/org/eolang/lowering/PhinoTest.java b/eo-lowering/src/test/java/org/eolang/lowering/PhinoTest.java
index 0e11c70d94b..d2b455d76e3 100644
--- a/eo-lowering/src/test/java/org/eolang/lowering/PhinoTest.java
+++ b/eo-lowering/src/test/java/org/eolang/lowering/PhinoTest.java
@@ -107,7 +107,7 @@ void reportsAMorphingThatRanOutOfItsBudget(@Mktmp final Path temp) throws IOExce
             PhinoTest.binary(
                 temp,
                 "for a; do case $a in --protocol=*) p=${a#--protocol=};; esac; done;",
-                "echo '<morph><timeout limit=\"2\"/></morph>' > \"$p\"; exit 1"
+                "echo '<protocol><morph><timeout limit=\"2\"/></morph><msec>2000</msec></protocol>' > \"$p\"; exit 1"
             )
         );
         MatcherAssert.assertThat(
diff --git a/eo-lowering/src/test/resources/org/eolang/lowering/render-packs/a-firing-is-one-statement.yaml b/eo-lowering/src/test/resources/org/eolang/lowering/render-packs/a-firing-is-one-statement.yaml
index 8ce0e473acc..7e33b9722df 100644
--- a/eo-lowering/src/test/resources/org/eolang/lowering/render-packs/a-firing-is-one-statement.yaml
+++ b/eo-lowering/src/test/resources/org/eolang/lowering/render-packs/a-firing-is-one-statement.yaml
@@ -15,18 +15,23 @@ eo:
 voids:
   - "𝜎200\t217\tρ\tnumber"
 protocol: |
-  <morph at="Φ.l🌵.e217">
-    <evaluate λ="L_entry" by="morph" at="Φ.l🌵.e217">
-      <evaluate λ="L_number_times" by="morph" at="Φ.a🌵1">
-        <dataize meta="𝛿1.2">𝜎200:λ</dataize>
-        <bind meta="𝛿2.2">BF-F0-00-00-00-00-00-00</bind>
-        <minted symbol="𝜎752">𝜎200 BF-F0-00-00-00-00-00-00</minted>
+  <protocol>
+    <morph at="Φ.l🌵.e217">
+      <evaluate λ="L_entry" by="morph" at="Φ.l🌵.e217">
+        <evaluate λ="L_number_times" by="morph" at="Φ.a🌵1">
+          <dataize meta="𝛿1.2">𝜎200:λ</dataize>
+          <bind meta="𝛿2.2">BF-F0-00-00-00-00-00-00</bind>
+          <minted symbol="𝜎752">𝜎200 BF-F0-00-00-00-00-00-00</minted>
+        </evaluate>
       </evaluate>
-    </evaluate>
-    <evaluate λ="L_root" by="morph" at="Φ.l🌵.e217">
-      <dataize meta="𝛿1.3">𝜎752:λ</dataize>
-    </evaluate>
-  </morph>
+      <evaluate λ="L_root" by="morph" at="Φ.l🌵.e217">
+        <dataize meta="𝛿1.3">𝜎752:λ</dataize>
+      </evaluate>
+    </morph>
+    <msec>113</msec>
+    <firings>3</firings>
+    <fps>26</fps>
+  </protocol>
 file: org/eolang/EOnumber$EOneg$EOφ.java
 java: |
   /*
diff --git a/eo-lowering/src/test/resources/org/eolang/lowering/render-packs/a-firing-one-branch-needs-stays-in-that-branch.yaml b/eo-lowering/src/test/resources/org/eolang/lowering/render-packs/a-firing-one-branch-needs-stays-in-that-branch.yaml
index 0cc4f6ad1d4..6be426b9657 100644
--- a/eo-lowering/src/test/resources/org/eolang/lowering/render-packs/a-firing-one-branch-needs-stays-in-that-branch.yaml
+++ b/eo-lowering/src/test/resources/org/eolang/lowering/render-packs/a-firing-one-branch-needs-stays-in-that-branch.yaml
@@ -19,32 +19,37 @@ eo:
 voids:
   - "𝜎1\t1\tt\tnumber"
 protocol: |
-  <morph at="Φ.l🌵.e1">
-    <evaluate λ="L_entry" by="morph" at="Φ.l🌵.e1">
-      <evaluate λ="L_number_gt" by="morph" at="Φ.a🌵1">
-        <minted symbol="𝜎2">𝜎1 00-00-00-00-00-00-00-00</minted>
-      </evaluate>
-      <evaluate λ="L_fork" by="morph" at="Φ.a🌵2">
-        <dataize meta="𝛿1.3">𝜎2:λ</dataize>
-        <evaluate λ="L_number_plus" by="morph" at="Φ.a🌵3">
-          <minted symbol="𝜎3">𝜎1 3F-F0-00-00-00-00-00-00</minted>
+  <protocol>
+    <morph at="Φ.l🌵.e1">
+      <evaluate λ="L_entry" by="morph" at="Φ.l🌵.e1">
+        <evaluate λ="L_number_gt" by="morph" at="Φ.a🌵1">
+          <minted symbol="𝜎2">𝜎1 00-00-00-00-00-00-00-00</minted>
         </evaluate>
-        <evaluate λ="L_number_plus" by="morph" at="Φ.a🌵4">
-          <minted symbol="𝜎4">𝜎1 40-00-00-00-00-00-00-00</minted>
+        <evaluate λ="L_fork" by="morph" at="Φ.a🌵2">
+          <dataize meta="𝛿1.3">𝜎2:λ</dataize>
+          <evaluate λ="L_number_plus" by="morph" at="Φ.a🌵3">
+            <minted symbol="𝜎3">𝜎1 3F-F0-00-00-00-00-00-00</minted>
+          </evaluate>
+          <evaluate λ="L_number_plus" by="morph" at="Φ.a🌵4">
+            <minted symbol="𝜎4">𝜎1 40-00-00-00-00-00-00-00</minted>
+          </evaluate>
+          <joined symbol="𝜎5">𝜎3 𝜎4</joined>
+        </evaluate>
+        <evaluate λ="L_number_plus" by="morph" at="Φ.a🌵5">
+          <minted symbol="𝜎6">𝜎1 3F-F0-00-00-00-00-00-00</minted>
+        </evaluate>
+        <evaluate λ="L_number_plus" by="morph" at="Φ.a🌵6">
+          <minted symbol="𝜎7">𝜎5 𝜎6</minted>
         </evaluate>
-        <joined symbol="𝜎5">𝜎3 𝜎4</joined>
-      </evaluate>
-      <evaluate λ="L_number_plus" by="morph" at="Φ.a🌵5">
-        <minted symbol="𝜎6">𝜎1 3F-F0-00-00-00-00-00-00</minted>
       </evaluate>
-      <evaluate λ="L_number_plus" by="morph" at="Φ.a🌵6">
-        <minted symbol="𝜎7">𝜎5 𝜎6</minted>
+      <evaluate λ="L_root" by="morph" at="Φ.l🌵.e1">
+        <dataize meta="𝛿1.8">𝜎7:λ</dataize>
       </evaluate>
-    </evaluate>
-    <evaluate λ="L_root" by="morph" at="Φ.l🌵.e1">
-      <dataize meta="𝛿1.8">𝜎7:λ</dataize>
-    </evaluate>
-  </morph>
+    </morph>
+    <msec>885</msec>
+    <firings>8</firings>
+    <fps>9</fps>
+  </protocol>
 file: org/eolang/EOtwice$EOφ.java
 java: |
   /*
diff --git a/eo-lowering/src/test/resources/org/eolang/lowering/render-packs/a-joined-symbol-is-assigned-in-an-if.yaml b/eo-lowering/src/test/resources/org/eolang/lowering/render-packs/a-joined-symbol-is-assigned-in-an-if.yaml
index 8f5b27e0ce5..cf2881d51f6 100644
--- a/eo-lowering/src/test/resources/org/eolang/lowering/render-packs/a-joined-symbol-is-assigned-in-an-if.yaml
+++ b/eo-lowering/src/test/resources/org/eolang/lowering/render-packs/a-joined-symbol-is-assigned-in-an-if.yaml
@@ -15,24 +15,29 @@ eo:
 voids:
   - "𝜎10\t8\tρ\tbytes"
 protocol: |
-  <morph at="Φ.l🌵.e8">
-    <evaluate λ="L_entry" by="morph" at="Φ.l🌵.e8">
-      <evaluate λ="L_bytes_eq" by="morph" at="Φ.a🌵1">
-        <dataize meta="𝛿1.2">𝜎10:λ</dataize>
-        <bind meta="𝛿2.2">FF-</bind>
-        <minted symbol="𝜎752">𝜎10 FF-</minted>
+  <protocol>
+    <morph at="Φ.l🌵.e8">
+      <evaluate λ="L_entry" by="morph" at="Φ.l🌵.e8">
+        <evaluate λ="L_bytes_eq" by="morph" at="Φ.a🌵1">
+          <dataize meta="𝛿1.2">𝜎10:λ</dataize>
+          <bind meta="𝛿2.2">FF-</bind>
+          <minted symbol="𝜎752">𝜎10 FF-</minted>
+        </evaluate>
       </evaluate>
-    </evaluate>
-    <evaluate λ="L_root" by="morph" at="Φ.l🌵.e8">
-      <evaluate λ="L_fork" by="dataize" at="Φ.a🌵4">
-        <dataize meta="𝛿1.4">𝜎752:λ</dataize>
-        <known symbol="𝜎753">FF-</known>
-        <known symbol="𝜎754">00-</known>
-        <joined symbol="𝜎755">𝜎753 𝜎754</joined>
+      <evaluate λ="L_root" by="morph" at="Φ.l🌵.e8">
+        <evaluate λ="L_fork" by="dataize" at="Φ.a🌵4">
+          <dataize meta="𝛿1.4">𝜎752:λ</dataize>
+          <known symbol="𝜎753">FF-</known>
+          <known symbol="𝜎754">00-</known>
+          <joined symbol="𝜎755">𝜎753 𝜎754</joined>
+        </evaluate>
+        <dataize meta="𝛿1.3">𝜎755:λ</dataize>
       </evaluate>
-      <dataize meta="𝛿1.3">𝜎755:λ</dataize>
-    </evaluate>
-  </morph>
+    </morph>
+    <msec>191</msec>
+    <firings>4</firings>
+    <fps>20</fps>
+  </protocol>
 file: org/eolang/EObytes$EOas_bool$EOφ.java
 java: |
   /*
diff --git a/eo-lowering/src/test/resources/org/eolang/lowering/render-packs/a-lambda-the-table-lacks-is-a-taint.yaml b/eo-lowering/src/test/resources/org/eolang/lowering/render-packs/a-lambda-the-table-lacks-is-a-taint.yaml
index dd1951fbc79..6f5b90b7348 100644
--- a/eo-lowering/src/test/resources/org/eolang/lowering/render-packs/a-lambda-the-table-lacks-is-a-taint.yaml
+++ b/eo-lowering/src/test/resources/org/eolang/lowering/render-packs/a-lambda-the-table-lacks-is-a-taint.yaml
@@ -14,13 +14,18 @@ eo:
 voids:
   - "𝜎1\t9\tρ\tobject"
 protocol: |
-  <morph at="Φ.l🌵.e9">
-    <evaluate λ="L_entry" by="morph" at="Φ.l🌵.e9">
-      <evaluate λ="L_clock_now" by="morph" at="Φ.a🌵1">
-        <minted symbol="𝜎2">𝜎1</minted>
+  <protocol>
+    <morph at="Φ.l🌵.e9">
+      <evaluate λ="L_entry" by="morph" at="Φ.l🌵.e9">
+        <evaluate λ="L_clock_now" by="morph" at="Φ.a🌵1">
+          <minted symbol="𝜎2">𝜎1</minted>
+        </evaluate>
       </evaluate>
-    </evaluate>
-    <evaluate λ="L_root" by="morph" at="Φ.l🌵.e9">
-      <dataize meta="𝛿1.3">𝜎2:λ</dataize>
-    </evaluate>
-  </morph>
+      <evaluate λ="L_root" by="morph" at="Φ.l🌵.e9">
+        <dataize meta="𝛿1.3">𝜎2:λ</dataize>
+      </evaluate>
+    </morph>
+    <msec>168</msec>
+    <firings>3</firings>
+    <fps>17</fps>
+  </protocol>
diff --git a/eo-lowering/src/test/resources/org/eolang/lowering/render-packs/a-symbol-nothing-defines-is-a-taint.yaml b/eo-lowering/src/test/resources/org/eolang/lowering/render-packs/a-symbol-nothing-defines-is-a-taint.yaml
index 0dbfd2c0a0c..34178ed6af0 100644
--- a/eo-lowering/src/test/resources/org/eolang/lowering/render-packs/a-symbol-nothing-defines-is-a-taint.yaml
+++ b/eo-lowering/src/test/resources/org/eolang/lowering/render-packs/a-symbol-nothing-defines-is-a-taint.yaml
@@ -12,13 +12,18 @@ eo:
       [] > neg
         ^.times -1 > @
 protocol: |
-  <morph at="Φ.l🌵.e217">
-    <evaluate λ="L_entry" by="morph" at="Φ.l🌵.e217">
-      <evaluate λ="L_number_times" by="morph" at="Φ.a🌵1">
-        <minted symbol="𝜎752">𝜎200 BF-F0-00-00-00-00-00-00</minted>
+  <protocol>
+    <morph at="Φ.l🌵.e217">
+      <evaluate λ="L_entry" by="morph" at="Φ.l🌵.e217">
+        <evaluate λ="L_number_times" by="morph" at="Φ.a🌵1">
+          <minted symbol="𝜎752">𝜎200 BF-F0-00-00-00-00-00-00</minted>
+        </evaluate>
       </evaluate>
-    </evaluate>
-    <evaluate λ="L_root" by="morph" at="Φ.l🌵.e217">
-      <dataize meta="𝛿1.3">𝜎752:λ</dataize>
-    </evaluate>
-  </morph>
+      <evaluate λ="L_root" by="morph" at="Φ.l🌵.e217">
+        <dataize meta="𝛿1.3">𝜎752:λ</dataize>
+      </evaluate>
+    </morph>
+    <msec>103</msec>
+    <firings>3</firings>
+    <fps>29</fps>
+  </protocol>
diff --git a/eo-lowering/src/test/resources/org/eolang/lowering/render-packs/a-void-root-is-returned-as-the-object.yaml b/eo-lowering/src/test/resources/org/eolang/lowering/render-packs/a-void-root-is-returned-as-the-object.yaml
index 600684ff763..e4241a89c0a 100644
--- a/eo-lowering/src/test/resources/org/eolang/lowering/render-packs/a-void-root-is-returned-as-the-object.yaml
+++ b/eo-lowering/src/test/resources/org/eolang/lowering/render-packs/a-void-root-is-returned-as-the-object.yaml
@@ -15,12 +15,17 @@ eo:
 voids:
   - "𝜎9\t3\tx\tstring"
 protocol: |
-  <morph at="Φ.l🌵.e3">
-    <evaluate λ="L_entry" by="morph" at="Φ.l🌵.e3"/>
-    <evaluate λ="L_root" by="morph" at="Φ.l🌵.e3">
-      <dataize meta="𝛿1.2">𝜎9:λ</dataize>
-    </evaluate>
-  </morph>
+  <protocol>
+    <morph at="Φ.l🌵.e3">
+      <evaluate λ="L_entry" by="morph" at="Φ.l🌵.e3"/>
+      <evaluate λ="L_root" by="morph" at="Φ.l🌵.e3">
+        <dataize meta="𝛿1.2">𝜎9:λ</dataize>
+      </evaluate>
+    </morph>
+    <msec>595</msec>
+    <firings>2</firings>
+    <fps>3</fps>
+  </protocol>
 file: org/eolang/EO_foo/EO_b_ar/EOa_b$EOc__d$EOφ.java
 java: |
   /*
diff --git a/eo-lowering/src/test/resources/org/eolang/lowering/render-packs/an-entry-inside-an-application-is-a-taint.yaml b/eo-lowering/src/test/resources/org/eolang/lowering/render-packs/an-entry-inside-an-application-is-a-taint.yaml
index 83e9ac429a8..f352b6c1778 100644
--- a/eo-lowering/src/test/resources/org/eolang/lowering/render-packs/an-entry-inside-an-application-is-a-taint.yaml
+++ b/eo-lowering/src/test/resources/org/eolang/lowering/render-packs/an-entry-inside-an-application-is-a-taint.yaml
@@ -15,8 +15,13 @@ eo:
 voids:
   - "𝜎9\t499\tx\tnumber"
 protocol: |
-  <morph at="Φ.l🌵.e499">
-    <evaluate λ="L_root" by="morph" at="Φ.l🌵.e499">
-      <dataize meta="𝛿1.2">𝜎9:λ</dataize>
-    </evaluate>
-  </morph>
+  <protocol>
+    <morph at="Φ.l🌵.e499">
+      <evaluate λ="L_root" by="morph" at="Φ.l🌵.e499">
+        <dataize meta="𝛿1.2">𝜎9:λ</dataize>
+      </evaluate>
+    </morph>
+    <msec>39</msec>
+    <firings>1</firings>
+    <fps>25</fps>
+  </protocol>
diff --git a/eo-lowering/src/test/resources/org/eolang/lowering/render-packs/an-entry-left-unfinished-is-a-taint.yaml b/eo-lowering/src/test/resources/org/eolang/lowering/render-packs/an-entry-left-unfinished-is-a-taint.yaml
index 0b9a4f41d59..9fd0c7a1260 100644
--- a/eo-lowering/src/test/resources/org/eolang/lowering/render-packs/an-entry-left-unfinished-is-a-taint.yaml
+++ b/eo-lowering/src/test/resources/org/eolang/lowering/render-packs/an-entry-left-unfinished-is-a-taint.yaml
@@ -12,15 +12,20 @@ eo:
       [] > both
         ^.at > @
 protocol: |
-  <morph at="Φ.l🌵.e1">
-    <evaluate λ="L_entry" by="morph" at="Φ.l🌵.e1">
-      <answer meta="𝑛.1.2">⟦ λ ⤍ L_root, +1 ⟧</answer>
-    </evaluate>
-    <evaluate λ="L_root" by="morph" at="Φ.l🌵.e1">
-      <evaluate λ="L_fork" by="dataize" at="Φ.a🌵5">
-        <known symbol="𝜎84">00-</known>
+  <protocol>
+    <morph at="Φ.l🌵.e1">
+      <evaluate λ="L_entry" by="morph" at="Φ.l🌵.e1">
+        <answer meta="𝑛.1.2">⟦ λ ⤍ L_root, +1 ⟧</answer>
+      </evaluate>
+      <evaluate λ="L_root" by="morph" at="Φ.l🌵.e1">
+        <evaluate λ="L_fork" by="dataize" at="Φ.a🌵5">
+          <known symbol="𝜎84">00-</known>
+          <unfinished λ="L_fork"/>
+        </evaluate>
         <unfinished λ="L_fork"/>
       </evaluate>
-      <unfinished λ="L_fork"/>
-    </evaluate>
-  </morph>
+    </morph>
+    <msec>733</msec>
+    <firings>3</firings>
+    <fps>4</fps>
+  </protocol>
diff --git a/eo-lowering/src/test/resources/org/eolang/lowering/render-packs/an-entry-out-of-time-is-a-taint.yaml b/eo-lowering/src/test/resources/org/eolang/lowering/render-packs/an-entry-out-of-time-is-a-taint.yaml
index 720974a0ad8..715b54376ee 100644
--- a/eo-lowering/src/test/resources/org/eolang/lowering/render-packs/an-entry-out-of-time-is-a-taint.yaml
+++ b/eo-lowering/src/test/resources/org/eolang/lowering/render-packs/an-entry-out-of-time-is-a-taint.yaml
@@ -15,16 +15,21 @@ eo:
 voids:
   - "𝜎40\t31\tρ\tnumber"
 protocol: |
-  <morph at="Φ.l🌵.e31">
-    <evaluate λ="L_entry" by="morph" at="Φ.l🌵.e31">
-      <evaluate λ="L_number_times" by="morph" at="Φ.a🌵1">
-        <dataize meta="𝛿1.2">𝜎40:λ</dataize>
-        <bind meta="𝛿2.2">BF-F0-00-00-00-00-00-00</bind>
-        <minted symbol="𝜎57">𝜎40 BF-F0-00-00-00-00-00-00</minted>
+  <protocol>
+    <morph at="Φ.l🌵.e31">
+      <evaluate λ="L_entry" by="morph" at="Φ.l🌵.e31">
+        <evaluate λ="L_number_times" by="morph" at="Φ.a🌵1">
+          <dataize meta="𝛿1.2">𝜎40:λ</dataize>
+          <bind meta="𝛿2.2">BF-F0-00-00-00-00-00-00</bind>
+          <minted symbol="𝜎57">𝜎40 BF-F0-00-00-00-00-00-00</minted>
+        </evaluate>
+        <timeout limit="60" by="morph" at="Φ.a🌵2"/>
       </evaluate>
-      <timeout limit="60" by="morph" at="Φ.a🌵2"/>
-    </evaluate>
-    <evaluate λ="L_root" by="morph" at="Φ.l🌵.e31">
-      <dataize meta="𝛿1.3">𝜎57:λ</dataize>
-    </evaluate>
-  </morph>
+      <evaluate λ="L_root" by="morph" at="Φ.l🌵.e31">
+        <dataize meta="𝛿1.3">𝜎57:λ</dataize>
+      </evaluate>
+    </morph>
+    <msec>284</msec>
+    <firings>3</firings>
+    <fps>10</fps>
+  </protocol>
diff --git a/eo-lowering/src/test/resources/org/eolang/lowering/render-packs/an-entry-stopped-at-bottom-is-a-taint.yaml b/eo-lowering/src/test/resources/org/eolang/lowering/render-packs/an-entry-stopped-at-bottom-is-a-taint.yaml
index 529853d1c7d..65353638ca2 100644
--- a/eo-lowering/src/test/resources/org/eolang/lowering/render-packs/an-entry-stopped-at-bottom-is-a-taint.yaml
+++ b/eo-lowering/src/test/resources/org/eolang/lowering/render-packs/an-entry-stopped-at-bottom-is-a-taint.yaml
@@ -12,9 +12,14 @@ eo:
       [] > lower
         ^.at > @
 protocol: |
-  <morph at="Φ.l🌵.e52">
-    <evaluate λ="L_entry" by="morph" at="Φ.l🌵.e52">
-      <unanswered>⊥</unanswered>
-      <unfinished/>
-    </evaluate>
-  </morph>
+  <protocol>
+    <morph at="Φ.l🌵.e52">
+      <evaluate λ="L_entry" by="morph" at="Φ.l🌵.e52">
+        <unanswered>⊥</unanswered>
+        <unfinished/>
+      </evaluate>
+    </morph>
+    <msec>332</msec>
+    <firings>1</firings>
+    <fps>3</fps>
+  </protocol>
diff --git a/eo-lowering/src/test/resources/org/eolang/lowering/render-packs/an-entry-that-is-always-a-constant-is-a-taint.yaml b/eo-lowering/src/test/resources/org/eolang/lowering/render-packs/an-entry-that-is-always-a-constant-is-a-taint.yaml
index 777b915892d..5bb8ec6eaaa 100644
--- a/eo-lowering/src/test/resources/org/eolang/lowering/render-packs/an-entry-that-is-always-a-constant-is-a-taint.yaml
+++ b/eo-lowering/src/test/resources/org/eolang/lowering/render-packs/an-entry-that-is-always-a-constant-is-a-taint.yaml
@@ -12,14 +12,19 @@ eo:
     [] > yes
       true > @
 protocol: |
-  <morph at="Φ.l🌵.e75">
-    <evaluate λ="L_entry" by="morph" at="Φ.l🌵.e75">
-      <bind meta="𝛿1.1">40-52-C0-00-00-00-00-00</bind>
-      <answer meta="𝑛.1.2">⟦ λ ⤍ L_root, +1 ⟧</answer>
-    </evaluate>
-    <evaluate λ="L_root" by="morph" at="Φ.l🌵.e75">
-      <bind meta="𝛿1.2">FF-</bind>
-      <built meta="𝑛.2.1">⟦⟧</built>
-      <answer meta="𝑛.2.2">⟦⟧</answer>
-    </evaluate>
-  </morph>
+  <protocol>
+    <morph at="Φ.l🌵.e75">
+      <evaluate λ="L_entry" by="morph" at="Φ.l🌵.e75">
+        <bind meta="𝛿1.1">40-52-C0-00-00-00-00-00</bind>
+        <answer meta="𝑛.1.2">⟦ λ ⤍ L_root, +1 ⟧</answer>
+      </evaluate>
+      <evaluate λ="L_root" by="morph" at="Φ.l🌵.e75">
+        <bind meta="𝛿1.2">FF-</bind>
+        <built meta="𝑛.2.1">⟦⟧</built>
+        <answer meta="𝑛.2.2">⟦⟧</answer>
+      </evaluate>
+    </morph>
+    <msec>268</msec>
+    <firings>2</firings>
+    <fps>7</fps>
+  </protocol>
diff --git a/eo-lowering/src/test/resources/org/eolang/lowering/render-packs/an-entry-whose-body-is-bottom-is-a-taint.yaml b/eo-lowering/src/test/resources/org/eolang/lowering/render-packs/an-entry-whose-body-is-bottom-is-a-taint.yaml
index 202f3c98047..2669c887c90 100644
--- a/eo-lowering/src/test/resources/org/eolang/lowering/render-packs/an-entry-whose-body-is-bottom-is-a-taint.yaml
+++ b/eo-lowering/src/test/resources/org/eolang/lowering/render-packs/an-entry-whose-body-is-bottom-is-a-taint.yaml
@@ -11,11 +11,16 @@ eo:
     [as-bytes] > wide
       as-bytes.size > as-number
 protocol: |
-  <morph at="Φ.l🌵.e11">
-    <evaluate λ="L_entry" by="morph" at="Φ.l🌵.e11">
-      <bind meta="𝛿1.1">40-26-00-00-00-00-00-00</bind>
-      <bind meta="𝑛1.1">⊥</bind>
-      <built meta="𝑛.1.1">Φ.l🌵.root( ⊥ )</built>
-      <answer meta="𝑛.1.2">⟦ v ↦ ⊥, λ ⤍ L_root ⟧</answer>
-    </evaluate>
-  </morph>
+  <protocol>
+    <morph at="Φ.l🌵.e11">
+      <evaluate λ="L_entry" by="morph" at="Φ.l🌵.e11">
+        <bind meta="𝛿1.1">40-26-00-00-00-00-00-00</bind>
+        <bind meta="𝑛1.1">⊥</bind>
+        <built meta="𝑛.1.1">Φ.l🌵.root( ⊥ )</built>
+        <answer meta="𝑛.1.2">⟦ v ↦ ⊥, λ ⤍ L_root ⟧</answer>
+      </evaluate>
+    </morph>
+    <msec>225</msec>
+    <firings>1</firings>
+    <fps>4</fps>
+  </protocol>
diff --git a/eo-lowering/src/test/resources/org/eolang/lowering/render-packs/an-entry-with-no-root-is-a-taint.yaml b/eo-lowering/src/test/resources/org/eolang/lowering/render-packs/an-entry-with-no-root-is-a-taint.yaml
index 1d6b66badd2..a65eff97976 100644
--- a/eo-lowering/src/test/resources/org/eolang/lowering/render-packs/an-entry-with-no-root-is-a-taint.yaml
+++ b/eo-lowering/src/test/resources/org/eolang/lowering/render-packs/an-entry-with-no-root-is-a-taint.yaml
@@ -12,8 +12,13 @@ eo:
       [] > name
         ^.at > @
 protocol: |
-  <morph at="Φ.l🌵.e4">
-    <evaluate λ="L_entry" by="morph" at="Φ.l🌵.e4">
-      <unanswered>L_os_name:λ</unanswered>
-    </evaluate>
-  </morph>
+  <protocol>
+    <morph at="Φ.l🌵.e4">
+      <evaluate λ="L_entry" by="morph" at="Φ.l🌵.e4">
+        <unanswered>L_os_name:λ</unanswered>
+      </evaluate>
+    </morph>
+    <msec>871</msec>
+    <firings>1</firings>
+    <fps>1</fps>
+  </protocol>
diff --git a/eo-lowering/src/test/resources/org/eolang/lowering/render-packs/bytes-a-plus-takes-are-read-as-a-number.yaml b/eo-lowering/src/test/resources/org/eolang/lowering/render-packs/bytes-a-plus-takes-are-read-as-a-number.yaml
index 370370b6ebb..a21b32a294d 100644
--- a/eo-lowering/src/test/resources/org/eolang/lowering/render-packs/bytes-a-plus-takes-are-read-as-a-number.yaml
+++ b/eo-lowering/src/test/resources/org/eolang/lowering/render-packs/bytes-a-plus-takes-are-read-as-a-number.yaml
@@ -13,19 +13,24 @@ eo:
 voids:
   - "𝜎1\t5\tx\tobject"
 protocol: |
-  <morph at="Φ.l🌵.e5">
-    <evaluate λ="L_entry" by="morph" at="Φ.l🌵.e5">
-      <evaluate λ="L_dataized" by="morph" at="Φ.a🌵1">
-        <minted symbol="𝜎2">𝜎1</minted>
+  <protocol>
+    <morph at="Φ.l🌵.e5">
+      <evaluate λ="L_entry" by="morph" at="Φ.l🌵.e5">
+        <evaluate λ="L_dataized" by="morph" at="Φ.a🌵1">
+          <minted symbol="𝜎2">𝜎1</minted>
+        </evaluate>
+        <evaluate λ="L_number_plus" by="morph" at="Φ.a🌵2">
+          <minted symbol="𝜎3">𝜎2 𝜎2</minted>
+        </evaluate>
       </evaluate>
-      <evaluate λ="L_number_plus" by="morph" at="Φ.a🌵2">
-        <minted symbol="𝜎3">𝜎2 𝜎2</minted>
+      <evaluate λ="L_root" by="morph" at="Φ.l🌵.e5">
+        <dataize meta="𝛿1.4">𝜎3:λ</dataize>
       </evaluate>
-    </evaluate>
-    <evaluate λ="L_root" by="morph" at="Φ.l🌵.e5">
-      <dataize meta="𝛿1.4">𝜎3:λ</dataize>
-    </evaluate>
-  </morph>
+    </morph>
+    <msec>188</msec>
+    <firings>4</firings>
+    <fps>21</fps>
+  </protocol>
 file: org/eolang/EOsum$EOφ.java
 java: |
   /*
diff --git a/eo-maven-plugin/src/test/java/org/eolang/maven/MjLowerTest.java b/eo-maven-plugin/src/test/java/org/eolang/maven/MjLowerTest.java
index 97a710e7364..a0f492fbe0e 100644
--- a/eo-maven-plugin/src/test/java/org/eolang/maven/MjLowerTest.java
+++ b/eo-maven-plugin/src/test/java/org/eolang/maven/MjLowerTest.java
@@ -186,7 +186,7 @@ void keepsTheProtocolOfARunOutOfTheBudgetItWasGiven(@Mktmp final Path temp)
             .execute(MjParse.class)
             .with("lowering", true)
             .with("budget", 1)
-            .with("binary", MjLowerTest.binary(temp, 1, "<morph><timeout limit=\"1\"/></morph>"))
+            .with("binary", MjLowerTest.binary(temp, 1, MjLowerTest.expired()))
             .with("tables", MjLowerTest.tables(temp).toFile())
             .execute(MjLower.class);
         MatcherAssert.assertThat(
@@ -323,7 +323,9 @@ private static String pin() {
     }
 
     private static String binary(final Path temp) throws IOException {
-        return MjLowerTest.binary(temp, 0, "<morph/>");
+        return MjLowerTest.binary(
+            temp, 0, "<protocol><morph/><msec>7</msec><firings>0</firings><fps>0</fps></protocol>"
+        );
     }
 
     private static String binary(final Path temp, final int code, final String protocol)
@@ -351,15 +353,20 @@ private static String binary(final Path temp, final int code, final String proto
         return made.toString();
     }
 
+    private static String expired() {
+        return "<protocol><morph><timeout limit=\"1\"/></morph><msec>1000</msec></protocol>";
+    }
+
     private static String rooted() {
         return String.join(
             "",
-            "<morph><evaluate λ='L_entry'><evaluate λ='L_number_times'>",
+            "<protocol><morph><evaluate λ='L_entry'><evaluate λ='L_number_times'>",
             "<bind meta='𝛿1.2'>40-00-00-00-00-00-00-00</bind>",
             "<bind meta='𝛿2.2'>40-08-00-00-00-00-00-00</bind>",
             "<minted symbol='𝜎9'>40-00-00-00-00-00-00-00 40-08-00-00-00-00-00-00</minted>",
             "</evaluate></evaluate><evaluate λ='L_root'>",
-            "<dataize meta='𝛿1.3'>𝜎9:λ</dataize></evaluate></morph>"
+            "<dataize meta='𝛿1.3'>𝜎9:λ</dataize></evaluate></morph>",
+            "<msec>13</msec><firings>2</firings><fps>153</fps></protocol>"
         );
     }