Verifies: SYS-REQ-115 (mutation of lenient input) SYS-REQ-115:nominal:nominal reqproof:proptest:skip targeted witness/regression test; not a property-

Verifies: SYS-REQ-115 (zero-value Config remains strict) SYS-REQ-115:malformed_input:nominal reqproof:proptest:skip targeted witness/regression test;

Verifies: SYS-REQ-115 (lenient traversal and deletion) SYS-REQ-115:nominal:nominal reqproof:proptest:skip targeted witness/regression test; not a prop

Verifies: SYS-REQ-009 (Set) reqproof:proptest:skip targeted witness/regression test; not a property-test subject

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

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

Verifies: SYS-REQ-010 [example] STK-REQ-005:AC-2:acceptance MCDC SYS-REQ-010: delete_path_is_provided=F, delete_returns_empty_document_without_path=T

Verifies: SYS-REQ-010 [regression, issues #209 and #141]

============================================================================= Delete — empty key component leaves the payload unchanged, no panic (SYS

Verifies: SYS-REQ-049 [malformed] Delete where internalGet returns an error shall return original input unchanged.

Verifies: SYS-REQ-010 (Delete) reqproof:proptest:skip targeted witness/regression test; not a property-test subject

TestDeleteMalformedJSONRegression_SYS_REQ_010 is the Go-level witness for SYS-REQ-010's malformed_input obligation. The four FuzzPathMutation corpus s

============================================================================= Delete no-path edge case ===============================================

Verifies: SYS-REQ-035 [boundary] MCDC SYS-REQ-035: delete_path_is_provided=T, delete_input_is_unusable_for_requested_path=T, delete_returns_original_i

Verifies: SYS-REQ-050 [malformed] Delete with array-element path on truncated array input shall return original input unchanged and shall not panic.

============================================================================= Delete truncation tests (SYS-REQ-048, SYS-REQ-049, SYS-REQ-050, SYS-REQ-

Verifies: SYS-REQ-056 [malformed] Delete on mid-structure truncation shall return original input and not panic.

TestDoSPerformance is a non-fuzz regression gate that asserts the parser completes each major operation on a 1MB input within dosOpBudget. Catches O(n

Verifies: SYS-REQ-006 (array iteration alias) reqproof:proptest:skip parity test for a thin compatibility wrapper

Verifies: SYS-REQ-004 (error-returning array iteration alias) reqproof:proptest:skip parity test for a thin compatibility wrapper

Verifies: SYS-REQ-113 (wildcard array iteration alias) reqproof:proptest:skip parity test for a thin compatibility wrapper

Verifies: SYS-REQ-008 [example] STK-REQ-004:AC-3:acceptance MCDC SYS-REQ-008: eachkey_callback_receives_found_values=F, eachkey_completes_requested_sc

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

Verifies: SYS-REQ-008 [regression, issue #232]

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

Verifies: SYS-REQ-008 (EachKey) reqproof:proptest:skip targeted witness/regression test; not a property-test subject

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

Verifies: SYS-REQ-008 (EachKey) reqproof:proptest:skip targeted witness/regression test; not a property-test subject

Verifies: SYS-REQ-008 (EachKey) reqproof:proptest:skip targeted witness/regression test; not a property-test subject

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

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

Verifies: SYS-REQ-113 (wildcard path support) reqproof:proptest:skip targeted witness/regression test; not a property-test subject SYS-REQ-113:nominal

Verifies: SYS-REQ-007 (object iteration alias) reqproof:proptest:skip parity test for a thin compatibility wrapper

Verifies: STK-REQ-001 [regression, issue #126]

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

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

Verifies: SYS-REQ-014 (escape handling) reqproof:proptest:skip targeted witness/regression test; not a property-test subject

Verifies: SYS-REQ-014 (escape handling) reqproof:proptest:skip targeted witness/regression test; not a property-test subject

Verifies: SYS-REQ-014 (escape handling) reqproof:proptest:skip targeted witness/regression test; not a property-test subject

Verifies: SYS-REQ-014 (escape handling) reqproof:proptest:skip targeted witness/regression test; not a property-test subject

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-112 (container length accessor). reqproof:proptest:skip targeted witness/regression test; not a property-test subject SYS-REQ-112:no

Verifies: SYS-REQ-112 (container length accessor). reqproof:proptest:skip targeted witness/regression test; not a property-test subject

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-112 (container length accessor). reqproof:proptest:skip targeted witness/regression test; not a property-test subject SYS-REQ-112:no

Verifies: SYS-REQ-112 (container length accessor). reqproof:proptest:skip targeted witness/regression test; not a property-test subject

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-003 (GetInt/typed accessors). reqproof:proptest:skip targeted witness/regression test; not a property-test subject

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