Verifies: SYS-REQ-073 MCDC SYS-REQ-073: getstring_addressed_value_is_not_string=T, returns_getstring_type_mismatch_error=T => TRUE

----------------------------------------------------------------------------- SYS-REQ-074 (GetString on empty input returns error) -------------------

Verifies: SYS-REQ-074 MCDC SYS-REQ-074: getstring_input_is_empty=T, returns_getstring_error_for_empty_input=F => FALSE

Verifies: SYS-REQ-074 MCDC SYS-REQ-074: getstring_input_is_empty=T, returns_getstring_error_for_empty_input=T => TRUE

----------------------------------------------------------------------------- SYS-REQ-075 (GetInt on malformed input returns error) ------------------

Verifies: SYS-REQ-075 MCDC SYS-REQ-075: getint_input_is_malformed=T, returns_getint_error_for_malformed=F => FALSE

Verifies: SYS-REQ-075 MCDC SYS-REQ-075: getint_input_is_malformed=T, returns_getint_error_for_malformed=T => TRUE

----------------------------------------------------------------------------- SYS-REQ-076 (GetInt overflow returns error) ----------------------------

Verifies: SYS-REQ-076 MCDC SYS-REQ-076: getint_value_overflows_int64=T, returns_getint_overflow_error=F => FALSE

Verifies: SYS-REQ-076 MCDC SYS-REQ-076: getint_value_overflows_int64=T, returns_getint_overflow_error=T => TRUE

----------------------------------------------------------------------------- SYS-REQ-077 (GetInt type mismatch returns error) -----------------------

Verifies: SYS-REQ-077 MCDC SYS-REQ-077: getint_addressed_value_is_not_number=T, returns_getint_type_mismatch_error=F => FALSE

Verifies: SYS-REQ-077 MCDC SYS-REQ-077: getint_addressed_value_is_not_number=T, returns_getint_type_mismatch_error=T => TRUE

----------------------------------------------------------------------------- SYS-REQ-078 (GetInt on empty input returns error) ----------------------

Verifies: SYS-REQ-078 MCDC SYS-REQ-078: getint_input_is_empty=T, returns_getint_error_for_empty_input=F => FALSE

Verifies: SYS-REQ-078 MCDC SYS-REQ-078: getint_input_is_empty=T, returns_getint_error_for_empty_input=T => TRUE

----------------------------------------------------------------------------- SYS-REQ-079 (GetBoolean partial literal returns error) -----------------

Verifies: SYS-REQ-079 MCDC SYS-REQ-079: getboolean_addressed_value_is_partial_literal=T, returns_getboolean_error_for_partial=F => FALSE

Verifies: SYS-REQ-079 MCDC SYS-REQ-079: getboolean_addressed_value_is_partial_literal=T, returns_getboolean_error_for_partial=T => TRUE

----------------------------------------------------------------------------- SYS-REQ-080 (GetUnsafeString on malformed input returns error) ---------

Verifies: SYS-REQ-080 MCDC SYS-REQ-080: getunsafestring_input_is_malformed=T, returns_getunsafestring_error_for_malformed=F => FALSE

Verifies: SYS-REQ-080 MCDC SYS-REQ-080: getunsafestring_input_is_malformed=T, returns_getunsafestring_error_for_malformed=T => TRUE

----------------------------------------------------------------------------- SYS-REQ-081 (GetUnsafeString on empty input returns error) -------------

Verifies: SYS-REQ-081 MCDC SYS-REQ-081: getunsafestring_input_is_empty=T, returns_getunsafestring_error_for_empty=F => FALSE

Verifies: SYS-REQ-081 MCDC SYS-REQ-081: getunsafestring_input_is_empty=T, returns_getunsafestring_error_for_empty=T => TRUE

----------------------------------------------------------------------------- SYS-REQ-082 (GetUnsafeString truncated-at-value-boundary returns error)

Verifies: SYS-REQ-082 MCDC SYS-REQ-082: getunsafestring_input_is_truncated_at_value_boundary=T, returns_getunsafestring_error_for_truncated_value=F =>

Verifies: SYS-REQ-082 MCDC SYS-REQ-082: getunsafestring_input_is_truncated_at_value_boundary=T, returns_getunsafestring_error_for_truncated_value=T =>

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

----------------------------------------------------------------------------- SYS-REQ-112 (GetArrayLen / GetObjectLen) -------------------------------

Verifies: SYS-REQ-112 MCDC SYS-REQ-112: addressed_container_is_array_or_object=T, returns_container_element_count=F => FALSE

Verifies: SYS-REQ-112 MCDC SYS-REQ-112: addressed_container_is_array_or_object=T, returns_container_element_count=T => TRUE

----------------------------------------------------------------------------- SYS-REQ-113 (EachKeyWildcard / ArrayEachWildcard / SetWildcard) --------

Verifies: SYS-REQ-113 MCDC SYS-REQ-113: wildcard_path_resolves_to_every_matched_element=T => TRUE

----------------------------------------------------------------------------- SYS-REQ-114 (ParsePath / CompilePath / CompiledPath) -------------------

Verifies: SYS-REQ-114 MCDC SYS-REQ-114: compiled_jsonpath_resolves_to_same_result_as_equivalent_key_path=T => TRUE