--------------------------------------------------------------------------- Property 1: Get round-trip — jsonparser.Get matches encoding/json. -------

reqproof:proptest ParseBoolean Verifies: SYS-REQ-012 [property]

reqproof:proptest ParseFloat Verifies: SYS-REQ-013 [property]

--------------------------------------------------------------------------- Property 4: ParseInt / ParseFloat / ParseBoolean agree with strconv. -----

TestOracleSetPr286Regression is the explicit regression case for PR #286. The bug: Set([1,2], 9, "[5]") silently produced [9] (data loss). Correct beh

reqproof:proptest parser.Set Verifies: SYS-REQ-009 [property]

Verifies: SYS-REQ-001 [malformed] MCDC SYS-REQ-001: N/A Verifies: SYS-REQ-008 [malformed] MCDC SYS-REQ-008: eachkey_callback_receives_found_values=F,

Verifies: SYS-REQ-036 [example] MCDC SYS-REQ-036: raw_boolean_literal_is_valid=F, returns_parseboolean_error=T => TRUE Verifies: SYS-REQ-012 [example]

============================================================================= ParseBoolean empty (SYS-REQ-066) =======================================

============================================================================= ParseBoolean partial literals (SYS-REQ-057) ============================

Verifies: SYS-REQ-037 [example] MCDC SYS-REQ-037: raw_float_token_is_well_formed=F, returns_parsefloat_error=T => TRUE Verifies: SYS-REQ-013 [example]

============================================================================= ParseFloat empty (SYS-REQ-065) =========================================

Verifies: SYS-REQ-106 MCDC SYS-REQ-106: parse_helper_called_twice_with_same_input=T, parse_helper_returns_identical_results=T => TRUE

Verifies: SYS-REQ-107 MCDC SYS-REQ-107: parse_helper_input_is_nil=T, parse_helper_returns_safe_result_for_nil=T => TRUE

Verifies: SYS-REQ-040 [example] MCDC SYS-REQ-040: raw_int_token_is_well_formed=F, raw_int_token_overflows_int64=F, returns_parseint_malformed_error=T

============================================================================= ParseInt boundary values (SYS-REQ-058, SYS-REQ-059, SYS-REQ-064) =======

Verifies: SYS-REQ-109 MCDC SYS-REQ-109: parseint_input_has_edge_case_number=T, parseint_handles_edge_numbers_safely=T => TRUE

Verifies: SYS-REQ-064 [boundary] ParseInt on empty input shall return MalformedValueError.

Verifies: SYS-REQ-059 [boundary] ParseInt one beyond int64 range shall return OverflowIntegerError.

Verifies: SYS-REQ-015

Verifies: SYS-REQ-114 (JSONPath compiled paths) reqproof:proptest:skip targeted witness/regression test; not a property-test subject SYS-REQ-114:nomin

Verifies: SYS-REQ-114 (JSONPath compiled paths) reqproof:proptest:skip targeted witness/regression test; not a property-test subject SYS-REQ-114:bound

Verifies: SYS-REQ-038 [example] MCDC SYS-REQ-038: raw_string_literal_is_well_formed=F, returns_parsestring_error=T => TRUE Verifies: SYS-REQ-014 [exam

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

============================================================================= ParseString empty and escape edge cases (SYS-REQ-067, SYS-REQ-060, SYS-R

Verifies: SYS-REQ-108 MCDC SYS-REQ-108: parsestring_input_has_standard_escapes=T, parsestring_roundtrip_preserves_semantics=T => TRUE

Verifies: SYS-REQ-014 [differential] — for a corpus of lone-surrogate inputs, ParseString must byte-match encoding/json.Unmarshal (the oracle exercise

--------------------------------------------------------------------------- Property: ArrayEach visits every element exactly once --------------------

--------------------------------------------------------------------------- Property: blockEnd / stringEnd never panic on arbitrary bytes ------------

--------------------------------------------------------------------------- Property: WriteToBuffer / calcAllocateSpace / createInsertComponent are pu

--------------------------------------------------------------------------- Property: thread-safety — concurrent reads are panic-free and deterministi

--------------------------------------------------------------------------- Property: Delete is idempotent (Delete twice == Delete once) -------------

--------------------------------------------------------------------------- Property: EachKey dispatches to matching paths without panic -------------

--------------------------------------------------------------------------- Property: findKeyStart is deterministic on arbitrary bytes ---------------

--------------------------------------------------------------------------- Property: all fuzz harnesses from fuzz.go never panic on arbitrary bytes -

--------------------------------------------------------------------------- Property: Get round-trips on encoding/json-marshaled scalars -------------

--------------------------------------------------------------------------- Property: getType classifies JSON values consistently with encoding/json -

--------------------------------------------------------------------------- Property: internalGet agrees with Get (Get is a thin projection) ---------

--------------------------------------------------------------------------- Property: every public surface is panic-free on random bytes (universal) -

--------------------------------------------------------------------------- Property: ObjectEach visits every key-value pair exactly once ------------

--------------------------------------------------------------------------- Property: ParseInt/ParseFloat/ParseBoolean agree with strconv reference --

--------------------------------------------------------------------------- Property: sameTree is reflexive and symmetric ----------------------------

--------------------------------------------------------------------------- Property: searchKeys is deterministic and bounded on arbitrary bytes -----

--------------------------------------------------------------------------- Property: Set then Get returns the set value (round-trip) ----------------

--------------------------------------------------------------------------- Property: token-boundary helpers are deterministic and never panic -------

--------------------------------------------------------------------------- Property: typed accessors agree with encoding/json on typed leaves -------

--------------------------------------------------------------------------- Property: ValueType.String round-trips for all enumerated tags -----------

Verifies: SYS-REQ-116 (incremental array iteration) SYS-REQ-116:nominal:nominal reqproof:proptest:skip targeted streaming witness; not a property-test

Verifies: SYS-REQ-116 (tokens crossing read boundaries) SYS-REQ-116:boundary:nominal reqproof:proptest:skip targeted chunk-boundary witness

Verifies: SYS-REQ-116 (config-aware streaming) SYS-REQ-116:nominal:nominal reqproof:proptest:skip targeted config witness

Verifies: SYS-REQ-116 (empty input) SYS-REQ-116:empty_input:nominal reqproof:proptest:skip targeted empty-stream witness

Verifies: SYS-REQ-116 (incremental path lookup) SYS-REQ-116:nominal:nominal reqproof:proptest:skip targeted streaming witness; not a property-test sub

Verifies: SYS-REQ-116 (streaming string decoding) SYS-REQ-116:nominal:nominal reqproof:proptest:skip targeted streaming witness; not a property-test s

Verifies: SYS-REQ-116 (bounded window over a large stream) SYS-REQ-116:boundary:nominal reqproof:proptest:skip deterministic 100 MiB streaming boundar

Verifies: SYS-REQ-116 (malformed and truncated streams) SYS-REQ-116:malformed_input:nominal reqproof:proptest:skip targeted malformed-stream witness

============================================================================= REMOVAL 1: `for true` → `for {}` in ArrayEach, Unescape, ObjectEach Thes

Verifies: SYS-REQ-006 [boundary]

Verifies: SYS-REQ-007 [boundary]

Verifies: SYS-REQ-007 [boundary]

Verifies: SYS-REQ-014 [boundary]

Verifies: SYS-REQ-014 [boundary]

============================================================================= ADDITIONAL: Test that the Unescape loop change doesn't affect error hand

Verifies: SYS-REQ-014 [boundary]

Verifies: SYS-REQ-014 [boundary]

Verifies: SYS-REQ-001 [boundary]

Verifies: SYS-REQ-001 [boundary]

Verifies: SYS-REQ-001 [boundary]

Critical: tokenEnd returns len(data) vs stringEnd/blockEnd returning -1. The inconsistency means getType silently accepts truncated tokens. Verifies:

============================================================================= REMOVAL 2: `end == -1` guard removed in getType tokenEnd returns len(dat

Verifies: SYS-REQ-044 [boundary]

Verifies: SYS-REQ-044 [boundary]

============================================================================= REMOVAL 3: `r <= basicMultilingualPlaneOffset` removed in decodeUnicodeE

Verifies: SYS-REQ-014 [boundary]

Verifies: SYS-REQ-014 [boundary]

Verifies: SYS-REQ-014 [boundary]

Verifies: SYS-REQ-014 [boundary]

Verifies: SYS-REQ-014 [formal]

Verifies: SYS-REQ-008 [boundary]

Verifies: SYS-REQ-008 [boundary]

Verifies: SYS-REQ-008 [boundary]

Verifies: SYS-REQ-008 [boundary]

============================================================================= REMOVAL 4: `data[i] == '{'` block removed in EachKey Test: unmatched key

Test with value types that aren't objects — numbers, arrays, strings, bools Verifies: SYS-REQ-008 [boundary]

============================================================================= CRITICAL PATH: Verify EachKey correctly handles the removed block-skip b

Verifies: SYS-REQ-001 [boundary]

Verifies: SYS-REQ-001 [boundary]

Verifies: SYS-REQ-001 [boundary]

============================================================================= REMOVAL 5: `keys[level][0] != '['` removed in searchKeys The original co

Verifies: SYS-REQ-006 [boundary]

============================================================================= REMOVAL 6: `if e != nil` inside `if o == 0` removed in ArrayEach Critica

Verifies: SYS-REQ-006 [boundary]

Verifies: SYS-REQ-001 [boundary]

============================================================================= REMOVAL 7: `ln > 0` guard removed in findKeyStart Verify nextToken retur

Verifies: SYS-REQ-001 [boundary]

Verifies: SYS-REQ-007 [boundary]

============================================================================= EXTRA: ObjectEach `for offset < len(data)` → `for {}` Verify the loop ca

Verifies: SYS-REQ-009 [example] STK-REQ-005:AC-1:acceptance SYS-REQ-009:malformed_input:nominal Nominal witness for SYS-REQ-009's malformed_input obli

TestSetArrayIndexUnderObjectMalformedJSON_KI3 is the class witness for the failure mode tracked as KnownIssue KI-3 / DEFECT-260726-MFPA. Historically,

TestSetAutoCoerce_KI3 locks the auto-coerce semantics that fix KI-3. When a path component expects one container type but the existing structure is th

Verifies: SYS-REQ-110 [boundary] SYS-REQ-110:boundary:negative SYS-REQ-110:element_type_partition:nominal Positive/nominal witness for the element_typ