antcolony

4.5 KB

1. // COPY of tickets.worldapi.org/jsoncheck.hl (2026-09-24, mission 015) — used to read report and
2. // registry files; drop it together with tickets' copy once hybriel#6 (soft JSON.parse) is fixed.
3. // jsoncheck.hl — WORKAROUND for hybriel ticket #12 (no soft JSON.parse): JSON.parse throws on
4. // invalid input and a Hybriel program cannot catch it, so the framework answers 500 with the
5. // source location. The API therefore checks the body's JSON SYNTAX by hand first (RFC 8259
6. // grammar, nesting depth capped at 64, NO \u surrogate escapes — hl's JSON.parse refuses
7. // them, even valid pairs) and answers 400. REMOVE this file and its one call in
8. // api.hl (readBody) once JSON.parse has a failure path (#12).
9. //
10. // jsonErrorAt(text) → -1 when `text` is one valid JSON value (surrounded by whitespace),
11. // else the 0-based character position of the first offence.
13. static maxDepth = 64
15. static isWs = (c) => { return c == 32 || c == 9 || c == 10 || c == 13 }
16. static isDigit = (c) => { return c >= 48 && c <= 57 }
17. static isHex = (c) => { return (c >= 48 && c <= 57) || (c >= 65 && c <= 70) || (c >= 97 && c <= 102) }
19. static hexValue = (c) => { return c <= 57 ? c - 48 : (c <= 70 ? c - 55 : c - 87) }
20. // the 4 hex digits at `at` as a number, or -1
21. static hexAt = (s, at) => {
22. if (at + 4 > s.length) { return -1 }
23. let v = 0
24. let k = 0
25. while (k < 4) {
26. let c = s.charCodeAt(at + k)
27. if (!isHex(c)) { return -1 }
28. v = v * 16 + hexValue(c)
29. k = k + 1
30. }
31. return v
32. }
34. static skipWs = (s, at) => {
35. let i = at
36. while (i < s.length && isWs(s.charCodeAt(i))) { i = i + 1 }
37. return i
38. }
40. // each scanner answers the position after what it read, or -(position + 1) of an offence
41. static bad = (i) => { return -(i + 1) }
43. static scanString = (s, at) => {
44. let i = at
45. i = i + 1
46. while (i < s.length) {
47. let c = s.charCodeAt(i)
48. if (c == 34) { return i + 1 }
49. if (c < 32) { return bad(i) }
50. if (c == 92) {
51. i = i + 1
52. if (i >= s.length) { return bad(i) }
53. let e = s.charCodeAt(i)
54. if (e == 117) {
55. let u = hexAt(s, i + 1)
56. if (u < 0) { return bad(i) }
57. // hl's JSON.parse refuses EVERY surrogate escape (\uD800-\uDFFF), even a valid
58. // pair like \ud83d\ude00 (hybriel issue, mission 004) — refuse it here: 400, not 500.
59. // Send such characters as raw UTF-8 instead (JS JSON.stringify does).
60. if (u >= 55296 && u <= 57343) { return bad(i) }
61. i = i + 4
62. } else if (!(e == 34 || e == 92 || e == 47 || e == 98 || e == 102 || e == 110 || e == 114 || e == 116)) {
63. return bad(i)
64. }
65. }
66. i = i + 1
67. }
68. return bad(i)
69. }
71. static scanDigits = (s, at) => {
72. let i = at
73. let start = i
74. while (i < s.length && isDigit(s.charCodeAt(i))) { i = i + 1 }
75. return i == start ? bad(i) : i
76. }
78. static scanNumber = (s, at) => {
79. let i = at
80. if (s.charCodeAt(i) == 45) { i = i + 1 }
81. if (i >= s.length || !isDigit(s.charCodeAt(i))) { return bad(i) }
82. if (s.charCodeAt(i) == 48) { i = i + 1 } else { i = scanDigits(s, i) }
83. if (i < s.length && s.charCodeAt(i) == 46) {
84. i = scanDigits(s, i + 1)
85. if (i < 0) { return i }
86. }
87. if (i < s.length && (s.charCodeAt(i) == 101 || s.charCodeAt(i) == 69)) {
88. i = i + 1
89. if (i < s.length && (s.charCodeAt(i) == 43 || s.charCodeAt(i) == 45)) { i = i + 1 }
90. i = scanDigits(s, i)
91. }
92. return i
93. }
95. static scanWord = (s, i, word) => {
96. return s.slice(i, i + word.length) == word ? i + word.length : bad(i)
97. }
99. static scanValue = (s, at, depth) => {
100. let i = at
101. i = skipWs(s, i)
102. if (i >= s.length) { return bad(i) }
103. let c = s.charCodeAt(i)
104. if (c == 34) { return scanString(s, i) }
105. if (c == 45 || isDigit(c)) { return scanNumber(s, i) }
106. if (c == 116) { return scanWord(s, i, 'true') }
107. if (c == 102) { return scanWord(s, i, 'false') }
108. if (c == 110) { return scanWord(s, i, 'null') }
109. if (c == 123 || c == 91) {
110. if (depth >= maxDepth) { return bad(i) }
111. let close = c == 123 ? 125 : 93
112. i = skipWs(s, i + 1)
113. if (i < s.length && s.charCodeAt(i) == close) { return i + 1 }
114. while (true) {
115. if (c == 123) {
116. i = skipWs(s, i)
117. if (i >= s.length || s.charCodeAt(i) != 34) { return bad(i) }
118. i = scanString(s, i)
119. if (i < 0) { return i }
120. i = skipWs(s, i)
121. if (i >= s.length || s.charCodeAt(i) != 58) { return bad(i) }
122. i = i + 1
123. }
124. i = scanValue(s, i, depth + 1)
125. if (i < 0) { return i }
126. i = skipWs(s, i)
127. if (i >= s.length) { return bad(i) }
128. let d = s.charCodeAt(i)
129. if (d == close) { return i + 1 }
130. if (d != 44) { return bad(i) }
131. i = i + 1
132. }
133. }
134. return bad(i)
135. }
137. static jsonErrorAt = (text) => {
138. let i = scanValue(text, 0, 0)
139. if (i < 0) { return -i - 1 }
140. i = skipWs(text, i)
141. return i < text.length ? i : -1
142. }