SYS-REQ-010:empty_input:nominal SYS-REQ-010:nil_safety:nominal SYS-REQ-010:nil_safety:negative

SYS-REQ-011:determinism:nominal

SYS-REQ-012:determinism:nominal

SYS-REQ-014:encoding_safety:nominal

SYS-REQ-015:edge_case:nominal SYS-REQ-015:nil_safety:nominal SYS-REQ-015:nil_safety:negative

SYS-REQ-016:missing_path:nominal

SYS-REQ-017:malformed_input:nominal SYS-REQ-017:malformed_input:negative

SYS-REQ-018:idempotency:nominal

SYS-REQ-019:empty_input:nominal SYS-REQ-019:nil_safety:nominal SYS-REQ-019:nil_safety:negative

SYS-REQ-023:boundary:nominal SYS-REQ-023:edge_case:nominal

SYS-REQ-027:type_mismatch:nominal

SYS-REQ-028:empty_input:nominal SYS-REQ-028:nil_safety:nominal SYS-REQ-028:nil_safety:negative

SYS-REQ-029:malformed_input:nominal SYS-REQ-029:malformed_input:negative

SYS-REQ-034:edge_case:nominal SYS-REQ-034:missing_path:nominal

SYS-REQ-035:malformed_input:nominal SYS-REQ-035:malformed_input:negative

SYS-REQ-036:malformed_input:nominal SYS-REQ-036:malformed_input:negative

SYS-REQ-039:boundary:nominal

SYS-REQ-041:truncated_at_value_boundary:nominal

SYS-REQ-042:truncated_mid_structure:nominal

SYS-REQ-043:truncated_mid_key:nominal

SYS-REQ-044:sentinel_value_boundary:nominal

SYS-REQ-047:negative_array_index:nominal

SYS-REQ-048:truncated_at_value_boundary:nominal

SYS-REQ-049:error_propagation:nominal

SYS-REQ-052:callback_error_propagation:nominal

SYS-REQ-053:truncated_mid_element:nominal

SYS-REQ-056:truncated_mid_structure:nominal

SYS-REQ-057:partial_literal:nominal

SYS-REQ-060:truncated_escape_sequence:nominal

SYS-REQ-064:empty_input:nominal

SYS-REQ-069:nested_mutation:nominal

SYS-REQ-070:no_path_provided:nominal

SYS-REQ-071:malformed_input:nominal SYS-REQ-071:malformed_input:negative

SYS-REQ-072:truncated_escape_sequence:nominal

SYS-REQ-073:type_mismatch:nominal

SYS-REQ-074:empty_input:nominal SYS-REQ-074:nil_safety:nominal SYS-REQ-074:nil_safety:negative

SYS-REQ-075:malformed_input:nominal SYS-REQ-075:malformed_input:negative

SYS-REQ-076:boundary:nominal SYS-REQ-076:edge_case:nominal

SYS-REQ-077:type_mismatch:nominal

SYS-REQ-078:empty_input:nominal SYS-REQ-078:nil_safety:nominal SYS-REQ-078:nil_safety:negative

SYS-REQ-079:partial_literal:nominal

SYS-REQ-080:malformed_input:nominal SYS-REQ-080:malformed_input:negative

SYS-REQ-081:empty_input:nominal SYS-REQ-081:nil_safety:nominal SYS-REQ-081:nil_safety:negative

SYS-REQ-082:edge_case:nominal SYS-REQ-082:truncated_at_value_boundary:nominal

SYS-REQ-083:truncated_at_value_boundary:nominal

SYS-REQ-084:truncated_mid_structure:nominal

SYS-REQ-085:sentinel_value_boundary:nominal

============================================================================= Obligation evidence — SYS-REQ-111 nil_safety:negative (required evidence

============================================================================= Obligation evidence — SYS-REQ-111 no_path_provided:nominal. ============

--------------------------------------------------------------------------- Property 3: Delete correctness — after Delete, Get fails AND remaining str

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

TestParseInt_SignOnlyTripwire_KI2 reproduces the live failure mode tracked as KnownIssue KI-2 / DEFECT-260726-3F95. It PASSES while the bug is present

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

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