From eb0ce2daba5c026691dc722b7490abb4f0eb8f76 Mon Sep 17 00:00:00 2001
From: Aaron Sikes <aaron@sikes.io>
Date: Mon, 6 Apr 2020 13:47:49 -0400
Subject: [PATCH] Change at:dejs-soft:format to reject too-long json arrays

`at` is for when you expect an array of a certain exact structure. If it
has extra elements, that indicates you were mistaken about the strucutre,
so it should fail to match.
---
 bin/solid.pill         | 4 ++--
 pkg/arvo/sys/zuse.hoon | 1 +
 2 files changed, 3 insertions(+), 2 deletions(-)

diff --git a/bin/solid.pill b/bin/solid.pill
index 179b77bd9..a407a965e 100644
--- a/bin/solid.pill
+++ b/bin/solid.pill
@@ -1,3 +1,3 @@
 version https://git-lfs.github.com/spec/v1
-oid sha256:fff4813d3c7fbc2275d31f4d2385e6b9c9a6e10352dee4542d48ce9374f73216
-size 15793950
+oid sha256:1bc81ced700ac9bbe3a6d231ccdec06956abe48a023e147e56a1c9e7a02523d8
+size 12744827
diff --git a/pkg/arvo/sys/zuse.hoon b/pkg/arvo/sys/zuse.hoon
index 29ed011ca..49aafbbb6 100644
--- a/pkg/arvo/sys/zuse.hoon
+++ b/pkg/arvo/sys/zuse.hoon
@@ -5836,6 +5836,7 @@
       |*  wil/(pole fist)
       |=  jon/json
       ?.  ?=({$a *} jon)  ~
+      ?.  =((lent wil) (lent p.jon))  ~
       =+  raw=((at-raw wil) p.jon)
       ?.((za raw) ~ (some (zp raw)))
     ::