* 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

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-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

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

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

SYS-REQ-001

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

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

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 of

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

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

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-001 Find position of next character which is not whitespace reqproof:lemma nextToken_in_range func(data []byte) bool { r := nextToken(dat

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

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

Benchmark harness support for STK-REQ-004.

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

Benchmark harness support for STK-REQ-004.

Benchmark harness support for STK-REQ-004.

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

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

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

recoverNoPanic runs fn and reports whether it returned without panicking.

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

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

Benchmark harness support for STK-REQ-004.

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-001, SYS-REQ-020, SYS-REQ-024

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.

Benchmark harness support for STK-REQ-004.

applyMutation picks one operator at random and applies it.

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

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-001

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

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

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

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

SYS-REQ-009, SYS-REQ-111

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

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

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, SYS-REQ-027

============================================================================= 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).

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

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-010

SYS-REQ-008

SYS-REQ-005

SYS-REQ-004

SYS-REQ-003

SYS-REQ-002

SYS-REQ-011

SYS-REQ-007

SYS-REQ-012

SYS-REQ-013

SYS-REQ-015

SYS-REQ-014

SYS-REQ-009

Benchmark harness support for STK-REQ-004.

Benchmark harness support for STK-REQ-004.

Benchmark harness support for STK-REQ-004.

SYS-REQ-009

appendUnicodeEscape appends a `\uXXXX` escape sequence for the given code point to buf. Does NOT validate cp — callers use it for both valid BMP code

compareGetToOracle compares jsonparser.Get's output to the expected Go value (the reference oracle's prediction). Returns true iff they agree.

============================================================================= Enhanced path-shape checker (catches nested D6 divergences) ============

Benchmark harness support for STK-REQ-004.

Benchmark harness support for STK-REQ-004.

Benchmark harness support for STK-REQ-004.

============================================================================= Adversarial key-path generator =========================================

reqproof:lemma h2I_range func(c byte) bool { r := h2I(c) return r == -1 || (r >= 0 && r <= 15) } reqproof:lemma h2I_decimal_digit func(c byte) bool {

hexDigit returns a single lowercase hexadecimal digit byte.

============================================================================= The fuzzer (testing.F, native go-fuzz) =================================

oracleRandomJSONValue builds a random nested Go value suitable for json.Marshal. It is intentionally richer than property_test.go's generator: it emit

pathShapeMatchesData is a stricter version of pathShapeMatchesRoot that also verifies container-type compatibility at EVERY nesting level, not just th

pickAdversarialPath produces a path that may NOT exist in v, including out-of-range indices and empty components — exactly the inputs that exposed PR

============================================================================= Gate runner (runs Gates A–G on a single input) =========================