Bracket-Matching.md

@@ -112,26 +112,32 @@ determining whether there are any errors after the opening LBrak or
 after any value or Comma.
 
 ```
+  zeroND = bnc.EQ(ND, 0)
+  validEndValues = (valueToken | RBrak | RBrace) & ~zeroND
+  validEndValuesMinusStr = validEndValues & ~DQuote
+
+  // Validate that every value that is not a string is followed either
+  // by a comma or a the end validRBracket.
+  // String is a special case and is checked on kernel JSONParserObj
+  afterToken = Advance(validEndValuesMinusStr, 1)
+  tokenNext = ScanThru(afterToken, whitespace)
+  errAfterValue = tokenNext & ~(Comma | RBrak | RBrace | zeroND)
+  //
+  // Every Comma must be followed by a value
+  advComma = Advance(Comma, 1)
+  validBeginValues = (valueToken | LBrak | LBrace) & ~zeroND
+  errAfterComma = ScanTo(advComma, anyToken) & ~validBeginValues)
+  
+  for d in 1...MaxDepth
     atDepth = bnc.EQ(ND, d)
     nested = bnc.UGT(ND, d)
     arrayStart = atDepth & LBrak
     arrayEnd = ScanThru(arrayStart, nested | (atDepth & ~ (RBrak | RBrace)))
     errorAtEnd = arrayEnd & RBrace
-   arraySpan = ExclusiveSpan(arrayStart, arrayEnd)
-   // Now validate that every value or nested item is followed 
-   // either by a comma or a the end RBrak.
-   afterNested = Advance(nested & arraySpan, 1) & atDepth 
-   afterToken = Advance(atDepth & valueToken & arraySpan, 1)
-   tokenNext = ScanThru(afterNested | afterToken, whitespace)
-   errAfterValue = tokenNext &~(Comma | RBrak)
-   //
-   // Every Comma must be followed by a value
-   advCommaArrSpan = Advance(Comma & atDepth & arrarySpan, 1)
-   errAfterComma = ScanTo(advCommaArrSpan, anyToken) & ~ (nested | (valueToken & atDepth))
     //
     // After the LBrak we must have either a value or an RBrak.
     scanArrAnyToken = ScanTo(Advance(arrayStart, 1), anyToken)
-   errAfterLBrak = scanArrAnyToken & ~ (nested | valueToken | RBrak)
+    errAfterLBrak = scanArrAnyToken & ~ (nested | (valueToken & atDepth) | RBrak)
 ```
 
 ### Validating objects