Wait those were totally wrong vertical masks

Author: mlochbaum

docs/implementation/primitive/fold.html

@@ -784,9 +784,9 @@ <h3 id="collecting-bits"><a class="header" href="#collecting-bits">Collecting bi
     </g>
     <g font-size='18'>
       <text dy='0.32em' x='158.4' y='28.6'>0|4|…|20</text>
-      <text dy='0.32em' x='230.4' y='50.6'>1|…|17|0</text>
-      <text dy='0.32em' x='302.4' y='28.6'>2|…|18|1</text>
-      <text dy='0.32em' x='374.4' y='50.6'>3|…|19|2</text>
+      <text dy='0.32em' x='230.4' y='50.6'>1|5|…|17</text>
+      <text dy='0.32em' x='302.4' y='28.6'>2|6|…|18</text>
+      <text dy='0.32em' x='374.4' y='50.6'>3|7|…|19</text>
       <text dy='0.32em' x='64.8' y='90'>0|…|3</text>
       <text dy='0.32em' x='64.8' y='126'>4|…|7</text>
       <text dy='0.32em' x='64.8' y='162'> 8|…|11</text>
@@ -816,9 +816,8 @@ <h3 id="collecting-bits"><a class="header" href="#collecting-bits">Collecting bi
       <text dy='0.32em' x='302.4' y='234'>18</text>
       <text dy='0.32em' x='374.4' y='234'>19</text>
       <text dy='0.32em' x='158.4' y='270'>20|0</text>
-      <text dy='0.32em' x='230.4' y='270'>0|1</text>
-      <text dy='0.32em' x='302.4' y='270'>1|2</text>
-      <text dy='0.32em' x='374.4' y='270'>2</text>
+      <text dy='0.32em' x='230.4' y='270'>1</text>
+      <text dy='0.32em' x='302.4' y='270'>2</text>
     </g>
   </g>
 </svg>

implementation/primitive/fold.md

@@ -298,9 +298,9 @@ tp ← (0⋈¨4⥊-⊸⋈11)⊸+⌾(1↓⊏) ⍉⋈⌜´txy
     ((18(⊣⋈-˜)dimx)˙≍⋈˜)¨ 1↓ty
     (⋈˜≍( 8(⊣⋈-˜)dimy)˙)¨ 1↓tx
   ⟩
-  "28"‿"18"‿"20" "font-size="⊸∾⊸Ge¨ (+⌜´0<↕¨∘≢)⊸⊔ tp Text¨ {
-    Or ← 1⊸⌽⊸(∾⟜"|"⊸∾˜¨⌾(3↑1⊸↓))⌾(¯1⊸⊏)
-    t ← ⟨"&"⟩ ∾ (0=↕4) (∾⟜"|"⊸∾´ +⟜1⊸↑∾⟨"…"⟩∾-⟜2⊸↑)¨ <˘⍉𝕩
+  "28"‿"18"‿"20" "font-size="⊸∾⊸Ge¨ (+⌜´0<↕¨∘≢)⊸(⊔○(¯1↓⥊)) tp Text¨ {
+    Or ← (∾⟜"|"⊸∾´¨(0⌈1-˜↕4)⊸⊔)⊸»⌾(1↓¯1⊸⊏)
+    t ← ⟨"&"⟩ ∾ (∾⟜"|"⊸∾´ 2⊸↑∾⟨"…"⟩∾¯1⊸↑)¨ (-0<↕4) ↓¨ <˘⍉𝕩
     Or t ∾ {< ∾⟜"|…|"⊸∾´ ↑¨˜⟜(-⊸⋈⌈○≠´) 0‿¯1⊏𝕩}⊸∾˘ 𝕩
   } ⌽‿4 ⥊ FmtNum ↕21
 ⟩