============================================================================= EachKey — empty key component emits no callback (SYS-REQ-008) ==========

TestEachKeyMultiPathInvariants closes the EachKey multi-path blind spot deterministically. EachKey's purpose is to resolve MULTIPLE key paths in one t

Verifies: SYS-REQ-008 [boundary] MCDC SYS-REQ-008: eachkey_callback_receives_found_values=F, eachkey_completes_requested_scan=F, eachkey_malformed_inp

============================================================================= EachKey sentinel handling (SYS-REQ-085) ================================

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

============================================================================= Non-fuzz regression test (runs under plain `go test`) ==================

Verifies: SYS-REQ-001 MCDC SYS-REQ-001: N/A

Verifies: SYS-REQ-010 [fuzz] MCDC SYS-REQ-010: delete_path_is_provided=T, delete_returns_empty_document_without_path=F => TRUE

============================================================================= Coverage closure tests for fuzz harness functions ======================

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

Verifies: SYS-REQ-013 [fuzz] MCDC SYS-REQ-013: N/A

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

TestFuzzPathMutationSeedsClean is a regression gate that runs every seed corpus entry through FuzzPathMutation's body once. It catches seed-shape regr

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

Verifies: SYS-REQ-001 [example] STK-REQ-001:AC-1:acceptance MCDC SYS-REQ-001: addressed_path_exists=F, json_input_is_well_formed=T, key_path_is_provid

Verifies: SYS-REQ-021 [boundary] Valid in-bounds array index returns correct element.

Verifies: SYS-REQ-023 [boundary] Out-of-bounds array index returns not-found.

Verifies: SYS-REQ-026 [malformed] Malformed input outside addressed path allows best-effort result.

Verifies: SYS-REQ-005 [example] STK-REQ-003:AC-3:acceptance MCDC SYS-REQ-005: addressed_value_is_boolean=F, raw_boolean_token_is_well_formed=T, return

============================================================================= GetBoolean partial literal (SYS-REQ-079) ===============================

============================================================================= Edge case tests ========================================================

============================================================================= Determinism tests ======================================================

Verifies: SYS-REQ-019 [boundary] Empty input with key path returns KeyPathNotFoundError.

============================================================================= Get family — empty key component resolves to KeyPathNotFoundError (SYS-R

Verifies: SYS-REQ-024 [boundary] Escaped key in payload matches decoded path segment.

Verifies: SYS-REQ-004 [example] STK-REQ-003:AC-2:acceptance MCDC SYS-REQ-004: addressed_value_is_number=F, raw_number_token_is_float_parseable=T, retu

============================================================================= Idempotency tests ======================================================

Verifies: SYS-REQ-003 [example] STK-REQ-003:AC-1:acceptance MCDC SYS-REQ-003: addressed_value_is_number=F, raw_number_token_is_integer_parseable=T, re

Verifies: SYS-REQ-078 [boundary] GetInt on empty input shall return error.

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

============================================================================= GetInt edge cases (SYS-REQ-075, SYS-REQ-076, SYS-REQ-077, SYS-REQ-078) =

Verifies: SYS-REQ-076 [boundary] GetInt on overflow value shall return overflow error.

Verifies: SYS-REQ-077 [boundary] GetInt on non-number value shall return type-mismatch error.

Verifies: SYS-REQ-022 [boundary] Malformed array index returns not-found.

============================================================================= Nil safety tests =======================================================

Verifies: SYS-REQ-018 [boundary] No key path returns root value.

============================================================================= Additional Get path tests for SYS-REQ-016 through SYS-REQ-027 ==========

Verifies: SYS-REQ-020 [boundary] Object key resolved at correct scope.

Verifies: SYS-REQ-016 [boundary] MCDC SYS-REQ-016: N/A Verifies: SYS-REQ-017 [boundary] MCDC SYS-REQ-017: N/A Verifies: SYS-REQ-018 [boundary] MCDC SY

Verifies: SYS-REQ-001 [example] MCDC SYS-REQ-001: N/A

Verifies: SYS-REQ-002 [example] STK-REQ-002:AC-1:acceptance MCDC SYS-REQ-002: addressed_value_is_string=F, raw_string_token_is_well_formed=T, returns_

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

Verifies: SYS-REQ-074 [boundary] GetString on empty input shall return error.

============================================================================= Encoding safety tests ==================================================

============================================================================= GetString edge cases (SYS-REQ-071, SYS-REQ-072, SYS-REQ-073, SYS-REQ-074

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

Verifies: SYS-REQ-072 [malformed] GetString with truncated escape in value shall return error.

Verifies: SYS-REQ-073 [boundary] GetString on non-string value shall return a type-mismatch error.

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

Verifies: SYS-REQ-025 [boundary] String value returned without surrounding quotes and without unescaping.

Verifies: SYS-REQ-017 [malformed] Incomplete/truncated input returns parse error.

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

Verifies: SYS-REQ-027 [malformed] Unclassifiable token returns value-type error.

Verifies: SYS-REQ-011 [example] STK-REQ-006:AC-1:acceptance MCDC SYS-REQ-011: addressed_value_is_string=F, returns_unsafe_string_view=F => TRUE MCDC S

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

Verifies: SYS-REQ-081 [boundary] GetUnsafeString on empty input shall return error.

============================================================================= GetUnsafeString edge cases (SYS-REQ-080, SYS-REQ-081, SYS-REQ-082) =====

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

Verifies: SYS-REQ-082 [malformed] GetUnsafeString on truncated-at-value-boundary input shall return error.

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

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

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

Verifies: SYS-REQ-062 [malformed] A high surrogate followed by an out-of-range second escape is a lone high surrogate → U+FFFD + the second escape rep

============================================================================= Corpus-seeding helper (non-fuzz regression gate) =======================

check having a bunch of keys in a call to EachKey Verifies: SYS-REQ-008 [boundary] MCDC SYS-REQ-008: N/A

check having a bunch of keys Verifies: SYS-REQ-008 [boundary] MCDC SYS-REQ-008: N/A

check having a very deep key depth Verifies: SYS-REQ-008 [boundary] MCDC SYS-REQ-008: N/A

try pulling lots of keys out of a big array Verifies: SYS-REQ-008 [boundary] MCDC SYS-REQ-008: N/A

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

============================================================================= Spec-level MC/DC witness tests. ========================================

Verifies: SYS-REQ-001 MCDC SYS-REQ-001: addressed_path_exists=T, json_input_is_well_formed=T, key_path_is_provided=T, returns_existing_path_lookup_res

----------------------------------------------------------------------------- SYS-REQ-002 (GetString) ------------------------------------------------

----------------------------------------------------------------------------- SYS-REQ-003 (GetInt) ---------------------------------------------------

----------------------------------------------------------------------------- SYS-REQ-004 (GetFloat) -------------------------------------------------

----------------------------------------------------------------------------- SYS-REQ-005 (GetBoolean) -----------------------------------------------

----------------------------------------------------------------------------- SYS-REQ-006 (ArrayEach) ------------------------------------------------

Verifies: SYS-REQ-006 MCDC SYS-REQ-006: addressed_array_is_empty=T, addressed_array_is_well_formed=T, array_callback_receives_elements_in_order=F => T

----------------------------------------------------------------------------- SYS-REQ-007 (ObjectEach) -----------------------------------------------

Verifies: SYS-REQ-007 MCDC SYS-REQ-007: addressed_object_is_empty=T, addressed_object_is_well_formed=T, object_callback_receives_entries=F => TRUE

----------------------------------------------------------------------------- SYS-REQ-008 (EachKey multipath scan) -----------------------------------

----------------------------------------------------------------------------- SYS-REQ-009 (Set) ------------------------------------------------------

============================================================================= MC/DC witness row closure for SYS-REQ-010 ==============================

Verifies: SYS-REQ-010 [boundary] MCDC SYS-REQ-010: delete_path_is_provided=T, delete_returns_empty_document_without_path=F => TRUE

----------------------------------------------------------------------------- SYS-REQ-011 (GetUnsafeString) ------------------------------------------

----------------------------------------------------------------------------- SYS-REQ-012 (ParseBoolean) ---------------------------------------------

----------------------------------------------------------------------------- SYS-REQ-013 (ParseFloat) -----------------------------------------------

----------------------------------------------------------------------------- SYS-REQ-014 (ParseString) ----------------------------------------------

----------------------------------------------------------------------------- SYS-REQ-015 (ParseInt) -------------------------------------------------

----------------------------------------------------------------------------- SYS-REQ-016 (missing-path lookup on well-formed JSON via Get) ----------

Verifies: SYS-REQ-016 MCDC SYS-REQ-016: addressed_path_exists=F, json_input_is_well_formed=T, key_path_is_provided=F, returns_missing_path_result_for_

Verifies: SYS-REQ-016 MCDC SYS-REQ-016: addressed_path_exists=F, json_input_is_well_formed=T, key_path_is_provided=T, returns_missing_path_result_for_

Verifies: SYS-REQ-016 MCDC SYS-REQ-016: addressed_path_exists=F, json_input_is_well_formed=T, key_path_is_provided=T, returns_missing_path_result_for_

Verifies: SYS-REQ-016 MCDC SYS-REQ-016: addressed_path_exists=T, json_input_is_well_formed=T, key_path_is_provided=T, returns_missing_path_result_for_

----------------------------------------------------------------------------- SYS-REQ-017 (parse error on incomplete input via Get) ------------------

Verifies: SYS-REQ-017 MCDC SYS-REQ-017: input_is_incomplete_during_lookup=T, returns_parse_error_for_incomplete_lookup=F => FALSE

Verifies: SYS-REQ-017 MCDC SYS-REQ-017: input_is_incomplete_during_lookup=T, returns_parse_error_for_incomplete_lookup=T => TRUE

----------------------------------------------------------------------------- SYS-REQ-018 (root value lookup without key path) FRETish: !json_input_is

Verifies: SYS-REQ-018 MCDC SYS-REQ-018: json_input_is_well_formed=T, key_path_is_provided=F, returns_root_value_without_key_path=F => FALSE

Verifies: SYS-REQ-018 MCDC SYS-REQ-018: json_input_is_well_formed=T, key_path_is_provided=F, returns_root_value_without_key_path=T => TRUE

Verifies: SYS-REQ-018 MCDC SYS-REQ-018: json_input_is_well_formed=T, key_path_is_provided=T, returns_root_value_without_key_path=F => TRUE