Verifies: SYS-REQ-009 [boundary] MCDC SYS-REQ-009: set_creates_missing_path=T, set_path_is_provided=T, set_returns_not_found_error=F, set_returns_upda

Verifies: SYS-REQ-009 [regression, issues #209 and #141]

============================================================================= Set — empty key component produces a defined document, no panic (SYS-REQ

Verifies: SYS-REQ-100 MCDC SYS-REQ-100: set_applied_twice_with_same_args=T, set_second_call_produces_same_result=T => TRUE

Verifies: SYS-REQ-069 [boundary] Set with multi-level path where intermediate levels exist but leaf does not.

Verifies: SYS-REQ-070 [boundary] Set without any path shall return KeyPathNotFoundError.

Verifies: SYS-REQ-068 [boundary] Set with path pointing beyond EOF shall return error, not panic.

Verifies: SYS-REQ-009 (Set) Verifies: SYS-REQ-009 (Set) reqproof:proptest:skip targeted witness/regression test; not a property-test subject

Verifies: SYS-REQ-002 (GetString) Verifies: SYS-REQ-009 (Set) Verifies: SYS-REQ-009 (Set) reqproof:proptest:skip targeted witness/regression test; not

Verifies: SYS-REQ-002 (GetString) Verifies: SYS-REQ-009 (Set) Verifies: SYS-REQ-009 (Set) reqproof:proptest:skip targeted witness/regression test; not

Verifies: SYS-REQ-009 [boundary] MCDC SYS-REQ-009: N/A

Verifies: SYS-REQ-110

============================================================================= Set truncation and edge cases (SYS-REQ-051, SYS-REQ-068, SYS-REQ-069, SY

Verifies: SYS-REQ-113 (wildcard path support) reqproof:proptest:skip targeted witness/regression test; not a property-test subject SYS-REQ-113:nominal

============================================================================= STRESS: Ensure no infinite loops or panics on pathological inputs ======

Verifies: SYS-REQ-010 [boundary]

Verifies: SYS-REQ-008 [boundary]

Verifies: SYS-REQ-001 [boundary]

Verifies: SYS-REQ-045 [boundary] stringEnd returns -1 when no closing quote found. Callers must handle.

Verifies: SYS-REQ-045

Verifies: SYS-REQ-045

Directly exercise the fast-path branches with long inputs that would be expensive under per-byte scanning. Verifies: SYS-REQ-045

============================================================================= Sentinel-value tests (SYS-REQ-044, SYS-REQ-045, SYS-REQ-046) ===========

Verifies: STK-REQ-001 [boundary] MCDC STK-REQ-001: N/A

Verifies: SYS-REQ-099 MCDC SYS-REQ-099: traversal_input_is_deeply_nested=T, traversal_handles_deep_nesting_safely=T => TRUE

Verifies: SYS-REQ-097 MCDC SYS-REQ-097: traversal_called_twice_with_same_input=T, traversal_returns_identical_results=T => TRUE

Verifies: SYS-REQ-098 MCDC SYS-REQ-098: traversal_input_is_nil=T, traversal_returns_safe_result_for_nil=T => TRUE

============================================================================= Truncated-input tests (SYS-REQ-041, SYS-REQ-042, SYS-REQ-043) ==========

Verifies: SYS-REQ-060 [malformed] Truncated escape sequences in ParseString shall return MalformedValueError.

Verifies: SYS-REQ-043 [malformed] When JSON input is truncated mid-key (e.g. '{"a'), Get shall return a parse-related error and shall not panic.

Verifies: SYS-REQ-042 [malformed] When JSON input is truncated mid-structure (e.g. '{"a":[1,2'), Get shall return a parse-related error and shall not

Verifies: SYS-REQ-016 [boundary] Typed Get accessors must propagate KeyPathNotFoundError for an empty key component instead of panicking on the underl

Verifies: SYS-REQ-094 MCDC SYS-REQ-094: typed_getter_called_twice_with_same_input=T, typed_getter_returns_identical_results=T => TRUE

Verifies: SYS-REQ-003 [boundary] MCDC SYS-REQ-003: N/A Verifies: SYS-REQ-004 [boundary] MCDC SYS-REQ-004: N/A Verifies: SYS-REQ-005 [boundary] MCDC SY

Verifies: SYS-REQ-095 MCDC SYS-REQ-095: typed_getter_input_is_nil=T, typed_getter_returns_safe_result_for_nil=T => TRUE

Verifies: SYS-REQ-014 [malformed] MCDC SYS-REQ-014: N/A

Verifies: SYS-REQ-014 [boundary] — high surrogate followed by a "\u" escape that is NOT a low surrogate (here a BMP codepoint U+0041 'A') → U+FFFD + '

Verifies: SYS-REQ-014 [boundary] — lone high surrogate → U+FFFD, no following bytes consumed.

Verifies: SYS-REQ-014 [boundary] — the bug: high surrogate followed by non-escape bytes was synthesizing U+DC271; must be U+FFFD + literal "A7FA".

Verifies: SYS-REQ-014 [boundary] — lone low surrogate → U+FFFD.

Verifies: SYS-REQ-014 [happy-path] — a valid UTF-16 surrogate pair must still combine into the supplementary-plane code point (regression guard).

Verifies: STK-REQ-001 [boundary] MCDC STK-REQ-001: N/A

Benchmark harness support for STK-REQ-004.

Benchmark harness support for STK-REQ-004.

Benchmark harness support for STK-REQ-004.

Benchmark harness support for STK-REQ-004.

Benchmark harness support for STK-REQ-004.

Benchmark harness support for STK-REQ-004.

Benchmark harness support for STK-REQ-004.

Benchmark harness support for STK-REQ-004.

Benchmark harness support for STK-REQ-004.

Benchmark harness support for STK-REQ-004.

Benchmark harness support for STK-REQ-004.

Benchmark harness support for STK-REQ-004.

Benchmark harness support for STK-REQ-004.

Benchmark harness support for STK-REQ-004.

Benchmark harness support for STK-REQ-004.

Benchmark harness support for STK-REQ-004.

Benchmark harness support for STK-REQ-004.

Benchmark harness support for STK-REQ-004.

Benchmark harness support for STK-REQ-004.

Benchmark harness support for STK-REQ-004.

Benchmark harness support for STK-REQ-004.

byteflipAtStructuralByte flips a byte at a structural position ({, }, [, ], :, ,, "). This corrupts the document skeleton, exercising the parser's mal

A hack until issue golang/go#2632 is fixed. See: https://github.com/golang/go/issues/2632

duplicateKey injects a duplicate object key, turning {"k":1} into {"k":1,"k":1}. This exercises duplicate-key handling: the parser should return the f

The reason for using *[]byte rather than []byte in parameters is an optimization. As of Go 1.6, the compiler cannot perfectly inline the function whe

Benchmark harness support for STK-REQ-004.

injectInvalidUTF8 inserts a raw invalid-UTF-8 byte sequence inside a JSON string value. Targets the parser's UTF-8 validation path: the parser must re

injectLoneSurrogate corrupts a string by replacing a `\uXXXX` escape with a lone surrogate escape (\uD800 / \uDC00 alone, or a high-high pair). Target

injectMismatchedCloser swaps a closing '}' for ']' (or vice versa). The grammar generator always pairs '{' with '}' and '[' with ']'; this operator pr

injectUnbalancedOpen inserts unmatched '{' or '[' opens at a random position. This produces structures the grammar generator CANNOT emit: every genera

Test helper for SYS-REQ-006.

truncateAtValueBoundary cuts the document right after a ':' (before the value starts). This is the OSS-Fuzz 4649128545288192 / sentinel_value_boundary

truncateMidElement cuts inside an array element, after a '[' or ','. The truncated_mid_element class: the parser must not read past the cut when scann

truncateMidEscape cuts inside a \uXXXX escape sequence. This is the truncated_escape_sequence class: the parser's Unescape routine must detect the tru

truncateMidKey cuts inside a string key. The cut is placed between the opening '"' of a key and its closing '"'. This is the truncated_mid_key class:

truncateMidStructure cuts after an unclosed '{' or '['. This is the truncated_mid_structure class: the parser must detect the missing closing token an