Skip to content

Read the phino 0.0.145 protocol under its new <protocol> root #9078

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
yegor256 merged 2 commits into from
Oct 1, 2026
Merged

Read the phino 0.0.145 protocol under its new <protocol> root #9078

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
c6dcc62
fix: #9077 read the protocol of phino 0.0.145 under its new <protocol…
yegor256 Oct 1, 2026
db63526
test: #9077 keep the stub protocols of MjLowerTest within the line limit
yegor256 Oct 1, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion eo-lowering/src/main/resources/org/eolang/lowering/phino-version.txt
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1 +1 @@
0.0.144
0.0.145
6 changes: 3 additions & 3 deletions eo-lowering/src/main/resources/org/eolang/lowering/rendering.xsl
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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 = '⊥'">
Expand All @@ -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>
Expand Down
4 changes: 2 additions & 2 deletions eo-lowering/src/test/java/org/eolang/lowering/MorphingTest.java
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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(),
Expand Down Expand Up @@ -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"),
Expand Down
2 changes: 1 addition & 1 deletion eo-lowering/src/test/java/org/eolang/lowering/PhinoTest.java
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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(
Expand Down
27 changes: 16 additions & 11 deletions ...wering/src/test/resources/org/eolang/lowering/render-packs/a-firing-is-one-statement.yaml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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: |
/*
Expand Down
49 changes: 27 additions & 22 deletions ...rces/org/eolang/lowering/render-packs/a-firing-one-branch-needs-stays-in-that-branch.yaml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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: |
/*
Expand Down
37 changes: 21 additions & 16 deletions ...test/resources/org/eolang/lowering/render-packs/a-joined-symbol-is-assigned-in-an-if.yaml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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: |
/*
Expand Down
23 changes: 14 additions & 9 deletions .../test/resources/org/eolang/lowering/render-packs/a-lambda-the-table-lacks-is-a-taint.yaml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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>
23 changes: 14 additions & 9 deletions .../test/resources/org/eolang/lowering/render-packs/a-symbol-nothing-defines-is-a-taint.yaml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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>
17 changes: 11 additions & 6 deletions ...est/resources/org/eolang/lowering/render-packs/a-void-root-is-returned-as-the-object.yaml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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: |
/*
Expand Down
15 changes: 10 additions & 5 deletions ...resources/org/eolang/lowering/render-packs/an-entry-inside-an-application-is-a-taint.yaml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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>
25 changes: 15 additions & 10 deletions .../test/resources/org/eolang/lowering/render-packs/an-entry-left-unfinished-is-a-taint.yaml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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>
29 changes: 17 additions & 12 deletions .../src/test/resources/org/eolang/lowering/render-packs/an-entry-out-of-time-is-a-taint.yaml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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>
17 changes: 11 additions & 6 deletions ...est/resources/org/eolang/lowering/render-packs/an-entry-stopped-at-bottom-is-a-taint.yaml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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>
Loading
Loading