----------------------------------------------------------------------------- SYS-REQ-083 (ArrayEach on truncated-at-value-boundary returns error) ---

Verifies: SYS-REQ-083 MCDC SYS-REQ-083: arrayeach_input_is_truncated_at_value_boundary=T, returns_error_for_arrayeach_truncated_value=F => FALSE

Verifies: SYS-REQ-083 MCDC SYS-REQ-083: arrayeach_input_is_truncated_at_value_boundary=T, returns_error_for_arrayeach_truncated_value=T => TRUE

----------------------------------------------------------------------------- SYS-REQ-084 (ObjectEach on truncated-mid-structure returns error) ------

Verifies: SYS-REQ-084 MCDC SYS-REQ-084: objecteach_input_is_truncated_mid_structure=T, returns_error_for_objecteach_truncated_structure=F => FALSE

Verifies: SYS-REQ-084 MCDC SYS-REQ-084: objecteach_input_is_truncated_mid_structure=T, returns_error_for_objecteach_truncated_structure=T => TRUE

----------------------------------------------------------------------------- SYS-REQ-085 (EachKey handles tokenEnd sentinel safely) -----------------

Verifies: SYS-REQ-085 MCDC SYS-REQ-085: eachkey_handles_sentinel_safely=F, eachkey_tokenEnd_sentinel_reached=T => FALSE

Verifies: SYS-REQ-085 MCDC SYS-REQ-085: eachkey_handles_sentinel_safely=T, eachkey_tokenEnd_sentinel_reached=T => TRUE

----------------------------------------------------------------------------- SYS-REQ-086 (Get is deterministic — called twice with same input) ------

Verifies: SYS-REQ-086 MCDC SYS-REQ-086: get_called_twice_with_same_input=T, get_returns_identical_results=F => FALSE

----------------------------------------------------------------------------- SYS-REQ-087 (Get does not mutate input on valid input) -----------------

Verifies: SYS-REQ-087 MCDC SYS-REQ-087: get_called_on_valid_input=T, get_does_not_mutate_input=F => FALSE

----------------------------------------------------------------------------- SYS-REQ-088 (Get on nil input returns safe result) ---------------------

Verifies: SYS-REQ-088 MCDC SYS-REQ-088: get_input_is_nil=T, get_returns_safe_result_for_nil=F => FALSE

----------------------------------------------------------------------------- SYS-REQ-089 (Get handles deep nesting safely) --------------------------

Verifies: SYS-REQ-089 MCDC SYS-REQ-089: get_handles_deep_nesting_safely=F, get_input_is_deeply_nested=T => FALSE

----------------------------------------------------------------------------- SYS-REQ-090 (GetString is deterministic) -------------------------------

Verifies: SYS-REQ-090 MCDC SYS-REQ-090: getstring_called_twice_with_same_input=T, getstring_returns_identical_results=F => FALSE

----------------------------------------------------------------------------- SYS-REQ-091 (GetString on nil input returns safe result) ---------------

Verifies: SYS-REQ-091 MCDC SYS-REQ-091: getstring_input_is_nil=T, getstring_returns_safe_result_for_nil=F => FALSE

----------------------------------------------------------------------------- SYS-REQ-092 (GetString decodes escaped unicode) ------------------------

Verifies: SYS-REQ-092 MCDC SYS-REQ-092: getstring_decodes_and_preserves_semantics=F, getstring_input_has_escaped_unicode=T => FALSE

----------------------------------------------------------------------------- SYS-REQ-093 (GetString handles unicode edges) --------------------------

Verifies: SYS-REQ-093 MCDC SYS-REQ-093: getstring_handles_unicode_edges_safely=F, getstring_input_has_unicode_edge_cases=T => FALSE

----------------------------------------------------------------------------- SYS-REQ-094 (Typed getters are deterministic) --------------------------

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

----------------------------------------------------------------------------- SYS-REQ-095 (Typed getters on nil input return safe result) ------------

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

----------------------------------------------------------------------------- SYS-REQ-096 (GetInt handles large numbers safely) ----------------------

Verifies: SYS-REQ-096 MCDC SYS-REQ-096: getint_handles_large_numbers_safely=F, getint_input_has_large_number_edge_case=T => FALSE

----------------------------------------------------------------------------- SYS-REQ-097 (Traversal helpers EachKey/ArrayEach are deterministic) ----

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

----------------------------------------------------------------------------- SYS-REQ-098 (Traversal helpers on nil input return safe result) --------

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

----------------------------------------------------------------------------- SYS-REQ-099 (Traversal handles deep nesting safely) --------------------

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

----------------------------------------------------------------------------- SYS-REQ-100 (Set applied twice with same args is deterministic) --------

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

----------------------------------------------------------------------------- SYS-REQ-101 (Mutation helpers on nil input return safe result) ---------

Verifies: SYS-REQ-101 MCDC SYS-REQ-101: mutation_input_is_nil=T, mutation_returns_safe_result_for_nil=F => FALSE

----------------------------------------------------------------------------- SYS-REQ-102 (Mutation handles unicode keys safely) ---------------------

Verifies: SYS-REQ-102 MCDC SYS-REQ-102: mutation_handles_unicode_keys_safely=F, mutation_input_has_unicode_keys=T => FALSE

----------------------------------------------------------------------------- SYS-REQ-103 (GetUnsafeString is deterministic) -------------------------

Verifies: SYS-REQ-103 MCDC SYS-REQ-103: getunsafestring_called_twice_with_same_input=T, getunsafestring_returns_identical_results=F => FALSE

----------------------------------------------------------------------------- SYS-REQ-104 (GetUnsafeString on nil input returns safe result) ---------

Verifies: SYS-REQ-104 MCDC SYS-REQ-104: getunsafestring_input_is_nil=T, getunsafestring_returns_safe_result_for_nil=F => FALSE

----------------------------------------------------------------------------- SYS-REQ-105 (GetUnsafeString handles unicode edges safely) -------------

Verifies: SYS-REQ-105 MCDC SYS-REQ-105: getunsafestring_handles_unicode_edges_safely=F, getunsafestring_input_has_unicode_edge_cases=T => FALSE

----------------------------------------------------------------------------- SYS-REQ-106 (Parse helpers are deterministic) --------------------------

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

----------------------------------------------------------------------------- SYS-REQ-107 (Parse helpers on nil input return safe result) ------------

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

----------------------------------------------------------------------------- SYS-REQ-108 (ParseString round-trip preserves semantics) ---------------

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

----------------------------------------------------------------------------- SYS-REQ-109 (ParseInt handles edge numbers safely) ---------------------

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

============================================================================= SYS-REQ-110 / SYS-REQ-111 witness tests. ===============================

Verifies: SYS-REQ-110 [boundary] MCDC SYS-REQ-110: set_appends_value_at_array_end=F, set_targets_array_index_beyond_length=T => FALSE Expected: FALSE

Verifies: SYS-REQ-110 [nested_mutation] SYS-REQ-110:nested_mutation:nominal MCDC SYS-REQ-110: set_appends_value_at_array_end=T, set_targets_array_inde

============================================================================= SYS-REQ-111 — Empty-string key component → KeyPathNotFoundError, no pani

Verifies: SYS-REQ-111 [missing_path] MCDC SYS-REQ-111: completes_without_panic_on_empty_key_component=F, path_component_is_empty_string=T, returns_not

Verifies: SYS-REQ-111 [missing_path] MCDC SYS-REQ-111: completes_without_panic_on_empty_key_component=F, path_component_is_empty_string=T, returns_not

Verifies: SYS-REQ-111 [missing_path] MCDC SYS-REQ-111: completes_without_panic_on_empty_key_component=T, path_component_is_empty_string=T, returns_not

Verifies: SYS-REQ-111 [nil_safety] SYS-REQ-111:nil_safety:nominal SYS-REQ-016:nil_safety:nominal Carrier: this test drives the same parser.go:Get/sear

Verifies: SYS-REQ-061 [malformed] A lone high surrogate is malformed per RFC 8259/WHATWG; per DEFECT-260727-SNGT the parser matches encoding/json by s

Verifies: SYS-REQ-101 MCDC SYS-REQ-101: mutation_input_is_nil=T, mutation_returns_safe_result_for_nil=T => TRUE

Verifies: SYS-REQ-102 MCDC SYS-REQ-102: mutation_input_has_unicode_keys=T, mutation_handles_unicode_keys_safely=T => TRUE

============================================================================= Negative array index (SYS-REQ-047) =====================================

Verifies: SYS-REQ-031 [example] MCDC SYS-REQ-031: addressed_object_is_well_formed=F, malformed_object_input_returns_error=T => TRUE Verifies: SYS-REQ-

============================================================================= ObjectEach callback-error propagation test (closes Dimension 2) ========

Verifies: SYS-REQ-032 [boundary] MCDC SYS-REQ-032: addressed_object_is_well_formed=T, object_callback_returns_error=T, object_callback_error_is_return

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

============================================================================= ObjectEach truncation (SYS-REQ-054) ====================================

============================================================================= ObjectEach truncated mid-structure (SYS-REQ-084) =======================

Verifies: SYS-REQ-007 [boundary]

Verifies: SYS-REQ-007 [boundary]

Verifies: SYS-REQ-007 [boundary]

Test that ObjectEach doesn't panic with out-of-bounds access after removing the `offset < len(data)` loop guard. Verifies: SYS-REQ-007 [boundary]

Verifies: SYS-REQ-007 [boundary]

Verifies: SYS-REQ-007 [boundary]

============================================================================= Obligation evidence witnesses. =========================================

STK-REQ-002:malformed_input:negative STK-REQ-002:nil_safety:negative

STK-REQ-003:malformed_input:negative STK-REQ-003:nil_safety:negative

STK-REQ-004:malformed_input:negative STK-REQ-004:nil_safety:negative

STK-REQ-005:malformed_input:negative STK-REQ-005:nil_safety:negative

============================================================================= Obligation evidence — STK-REQ-005 triples for the obligation classes SYS

STK-REQ-005:missing_path:nominal

STK-REQ-005:nested_mutation:nominal

STK-REQ-005:nil_safety:negative

STK-REQ-005:nil_safety:nominal

STK-REQ-005:no_path_provided:nominal

STK-REQ-006:malformed_input:negative STK-REQ-006:nil_safety:negative

STK-REQ-007:malformed_input:negative STK-REQ-007:nil_safety:negative

----------------------------------------------------------------------------- SYS-REQ obligation evidence — each requirement's obligation_checklist it

SYS-REQ-002:determinism:nominal SYS-REQ-002:edge_case:nominal SYS-REQ-002:encoding_safety:nominal

SYS-REQ-003:determinism:nominal

SYS-REQ-006:determinism:nominal

SYS-REQ-008:edge_case:nominal

SYS-REQ-009:idempotency:nominal