⟨EEqual, ListVariations, ClearRefs, Variation, Squeeze, Info⟩ ← •internal
u ← ⌊100×(•UnixTime+1|100וMonoTime)@
# u ↩ 123

r ← •MakeRand •Show u
⟨RandVals, vars, spec, specF64⟩ ← ⟨r⟩ •Import "utils.bqn"

TestSq0 ← {a ← Squeeze 𝕨 Variation 𝕩 ⋄ ! 1==a ⋄ ! 0=≠a ⋄ a}
{! ⟨0⟩≡1↑𝕩 TestSq0 ↕0}¨ 5↑vars
{! " "≡1↑𝕩 TestSq0 ""}¨ 5↓vars
{𝕩 TestSq0 ⟨⟩}¨ ListVariations ⟨⟩ # {𝕩{•Out "Failed fill for "∾𝕨}⍟⊢ 8 ≠ 1↑⎊8 𝕩 TestSq0 ⟨⟩}¨ ListVariations ⟨⟩

specSpl ← 5(↑⋈↓)spec
allSpec ← specF64 ∾ (@+0‿10‿32‿127‿128‿255‿256‿32767‿32768‿65535‿65536‿1114110‿1114111) ∾ {⇐}‿+
Do ← { 𝕊:
  at ← r.Range 8
  l ← 1 + r.Range (at=0)⊑1000‿300
  a ← l RandVals at
  {! a EEqual Squeeze 𝕩 Variation a}¨ ListVariations a
  
  F ← { 𝕊:
    p ← {r.Range 2? r.Range l; (¯1+l-⊢)⍟(r.Range 2) r.Range (2⋆r.Range 10)⌊l}
    b ← 𝕩˙⌾(p⊸⊑) a
    ¬b EEqual Squeeze b? # won't be acceptable with in-place squeezing, but that doesn't exist yet
      •Out "Fail:"
      •Out "Array: "∾•Repr b
      •Out "Squeezed: "∾•Repr Squeeze b
      •Exit 1
    ;@
  }
  
  F¨ (at≥5)⊑specSpl
  F¨ allSpec
  {𝕊: F¨ @⊸+⍟(at≥5) r.Range 2⋆r.Range (at≥5)⊑33‿20}¨ ↕10
  ClearRefs@
}

Do⍟40000 @