* Get - Receives data structure, and key path to extract value from. Returns: `value` - Pointer to original data structure containing key value, or j

SYS-REQ-006, SYS-REQ-028, SYS-REQ-029, SYS-REQ-052, SYS-REQ-053, SYS-REQ-055, SYS-REQ-083 ArrayEach is used when iterating arrays, accepts a callback

* Del - Receives existing data structure, path to delete. Returns: `data` - return modified data */ SYS-REQ-010, SYS-REQ-033, SYS-REQ-034, SYS-REQ-

* Set - Receives existing data structure, path to set, and data to set at that key. Returns: `value` - modified byte array `err` - On any parsing er

SYS-REQ-002, SYS-REQ-071, SYS-REQ-072, SYS-REQ-073, SYS-REQ-074 GetString returns the value retrieved by `Get`, cast to a string if possible, trying t

SYS-REQ-008, SYS-REQ-085, SYS-REQ-111

SYS-REQ-007, SYS-REQ-030, SYS-REQ-031, SYS-REQ-032, SYS-REQ-054, SYS-REQ-084 ObjectEach iterates over the key-value pairs of a JSON object, invoking a

GetInt returns the value retrieved by `Get`, cast to a int64 if possible. If key data type do not match, it will return an error. SYS-REQ-003, SYS-REQ

SYS-REQ-001

ParseInt parses a Number ValueType into a Go int64 SYS-REQ-015, SYS-REQ-039, SYS-REQ-040, SYS-REQ-058, SYS-REQ-059, SYS-REQ-064

ParseString parses a String ValueType into a Go string (the main parsing work is unescaping the JSON string) SYS-REQ-014, SYS-REQ-038, SYS-REQ-060, SY

Just for emulating field access, so it will not throw "evaluated but not used" Benchmark helper for STK-REQ-001, STK-REQ-003, STK-REQ-004, STK-REQ-005

SYS-REQ-011, SYS-REQ-080, SYS-REQ-081, SYS-REQ-082 GetUnsafeString returns the value retrieved by `Get`, use creates string without memory allocation

ParseBoolean parses a Boolean ValueType into a Go bool (not particularly useful, but here for completeness) SYS-REQ-012, SYS-REQ-036, SYS-REQ-057, SYS

unescape unescapes the string contained in 'in' and returns it as a slice. If 'in' contains no escaped characters: Returns 'in'. Else, if 'out' is

GetBoolean returns the value retrieved by `Get`, cast to a bool if possible. The offset is the same as in `Get`. If key data type do not match, it wil

ParseNumber parses a Number ValueType into a Go float64 SYS-REQ-013, SYS-REQ-037, SYS-REQ-065

Regression coverage for the empty-string key path component hazard (hazard-sweep finding). A caller passing "" as a path component used to trigger `ru

Get returns the value addressed by keys using c's parsing options. SYS-REQ-115

GetFloat returns the value retrieved by `Get`, cast to a float64 if possible. The offset is the same as in `Get`. If key data type do not match, it wi

Benchmark harness support for STK-REQ-004.

SYS-REQ-045 Tries to find the end of string Support if string contains escaped quote symbols.

SYS-REQ-044 reqproof:lemma tokenEnd_in_range func(data []byte) bool { r := tokenEnd(data) return r >= 0 && r <= len(data) } reqproof:lemma

peekByte returns the next byte. When retain is false, fully consumed chunks are discarded before reading more data. SYS-REQ-116

SYS-REQ-001, SYS-REQ-020, SYS-REQ-021, SYS-REQ-022, SYS-REQ-023, SYS-REQ-047, SYS-REQ-111

GetString returns the decoded string addressed by keys using c's parsing options. SYS-REQ-115

NewReaderParser creates a streaming parser. If opts contains a Config, the first Config controls lenient parsing and the sliding-window size. SYS-REQ-

Benchmark harness support for STK-REQ-004.

SYS-REQ-115

Get returns the value addressed by keys without loading the whole document. As with the package-level Get, string values are returned without quotes b

SYS-REQ-001 Find position of next character which is not whitespace reqproof:lemma nextToken_in_range func(data []byte) bool { r := nextToken(dat

Test helper for SYS-REQ-001, SYS-REQ-002, SYS-REQ-003, SYS-REQ-004, SYS-REQ-005, and SYS-REQ-011.

SYS-REQ-115

ArrayEachErr is used when iterating arrays and allows the callback to stop iteration by returning an error. io.EOF stops iteration without returning a

Benchmark harness support for STK-REQ-004.

CompilePath parses jsonPath once for reuse. SYS-REQ-114

Benchmark harness support for STK-REQ-004.

============================================================================= Shared helpers =========================================================

randomBytes returns arbitrary (usually non-JSON) bytes from a seeded RNG.

recoverNoPanic runs fn and reports whether it returned without panicking.

SYS-REQ-116

splitPathComponents interprets the fuzz path bytes as a '/'-separated list of key components. Empty segments (from "", "a/", "/a", "a//b", etc.) becom

SYS-REQ-115

truncateForMsg renders a byte slice for inclusion in an error message, truncating very large inputs (e.g. the 100 KB deep-nesting seed) so test output

Escape returns in as a JSON string literal, including the surrounding quotation marks. SYS-REQ-014

Benchmark harness support for STK-REQ-004.

ParsePath converts a JSONPath-style path into the path components accepted by Get, Set, Delete, ArrayEach, and EachKey. SYS-REQ-114

SYS-REQ-009, SYS-REQ-110, SYS-REQ-111

decodeSingleUnicodeEscape decodes a single \uXXXX escape sequence. The prefix \u is assumed to be present and is not checked. In JSON, these escapes c

SYS-REQ-115

See fastbytes_unsafe.go for explanation on why *[]byte is used (signatures must be consistent with those in that file)

genDeepNesting returns deeply-nested JSON array bytes. When closed is true the structure is complete ([[[...1...]]]); when false it is left unclosed (

oracleNewRNG returns a seeded RNG. Distinct name from property_test.go's newRNG so the two files can evolve independently without collision.

randomJSONValue builds a random nested Go value suitable for encoding/json.Marshal. The shape (depth, breadth, alternatives) is chosen by the supplied

SYS-REQ-116

GetArrayLen returns the number of elements in the addressed JSON array. It scans the array without invoking a callback. SYS-REQ-112

Set replaces the value addressed by keys using c's parsing options. SYS-REQ-115

Benchmark harness support for STK-REQ-004.

applyMutation picks one operator at random and applies it.

SYS-REQ-046 Find end of the data structure, array or object. For array openSym and closeSym will be '[' and ']', for object '{' and '}'

SYS-REQ-115

SYS-REQ-009, SYS-REQ-111

SYS-REQ-001, SYS-REQ-020, SYS-REQ-024

findStructuralBytes returns the positions of all bytes in data that match any of targets. Returns nil if none are found.

genJSON returns a valid JSON document generated from the grammar. The output is always valid JSON per RFC 8259 (the corpus-sanity test asserts json.Va

SYS-REQ-115

SYS-REQ-001 Find position of last character which is not whitespace reqproof:lemma lastToken_in_range func(data []byte) bool { r := lastToken(dat

About 2x faster then strconv.ParseInt because it only supports base 10, which is enough for JSON

randomObjectJSONBytes returns marshaled JSON for a random top-level object along with the map so tests can predict values.

SYS-REQ-115

SYS-REQ-001 reqproof:lemma tokenStart_in_range func(data []byte) bool { r := tokenStart(data) return r >= 0 && r <= len(data) } reqproof:le

ArrayEachWildcard iterates over an array addressed by keys. A terminal [*] component is accepted as an explicit request for all elements; without it,

GetObjectLen returns the number of key-value pairs in the addressed JSON object. It scans the object without invoking a callback. SYS-REQ-112

GetString returns and decodes the string addressed by keys. SYS-REQ-116

SetString replaces the value at keys with val encoded as a JSON string. SYS-REQ-009

SYS-REQ-115

SYS-REQ-116

SYS-REQ-115

SYS-REQ-116

SYS-REQ-001 NOTE: findTokenStart's two-conditional-return body shape exposes the translator's __early_val scoping bug; we leave it without an in-range

findValue resolves keys[depth:] against the value at rp.pos. A not-found result consumes the current value so a containing object can continue past a

genValue appends one JSON value to buf, chosen from a weighted distribution that favors containers at shallow depth (to exercise nesting) and scalars

SYS-REQ-001

isJSONWhitespace reports whether b is one of the four JSON whitespace bytes (space 0x20, tab 0x09, LF 0x0A, CR 0x0D) per RFC 8259 §2. Used by Delete's

============================================================================= Deterministic RNG seeding from fuzz inputs =============================

oracleRandomJSONBytes returns marshaled JSON for a random value, plus the Go value itself (so callers can walk the tree to predict sub-values).

pathShapeMatchesRoot reports whether the path is semantically applicable to the JSON data's container structure. Used to gate the json.Valid post-cond

--------------------------------------------------------------------------- Path picker — walks a random Go value tree to produce a path that EXISTS.

randomJSONBytes returns marshaled JSON for any random value.

============================================================================= Focused equivalence tests for the stringEnd fast path (PR #285-style "fa

Test helper for SYS-REQ-012, SYS-REQ-013, SYS-REQ-014, and SYS-REQ-015.

SYS-REQ-008

SYS-REQ-116