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

Verifies: SYS-REQ-006 [boundary] Code MC/DC gap: parser.go:1081 ArrayEach e != nil (FALSE branch) Normal iteration where Get returns no error has e ==

Verifies: SYS-REQ-006 [boundary] Code MC/DC gap: parser.go:1073 ArrayEach o == 0 (FALSE branch) and parser.go:1077 ArrayEach t != NotExist (TRUE branc

Verifies: SYS-REQ-009 [mcdc]

----------------------------------------------------------------------------- createInsertComponent / calcAllocateSpace — direct call to drive the `le

Verifies: SYS-REQ-035 [boundary] Code MC/DC gap: parser.go:801 Delete data[endOffset+tokEnd] == ']' && data[tokStart] == ',' Full MC/DC for the array-

Verifies: SYS-REQ-035 [boundary] Code MC/DC gap: parser.go:800 Delete data[endOffset+tokEnd] == ']' Drive data[endOffset+tokEnd] == ']' to FALSE in th

============================================================================= Code MC/DC gap closure tests — round 2 (100% target) ===================

Verifies: SYS-REQ-035 [boundary] Code MC/DC gap: parser.go:778 Delete space-comma handling Drive the case where data[endOffset+tokEnd] == ' ' and len(

============================================================================= Code MC/DC gap closure tests ===========================================

Verifies: SYS-REQ-008 [boundary] Code MC/DC gap: parser.go:497 EachKey i < ln Normal EachKey iteration has i < ln TRUE.

Verifies: SYS-REQ-008 [boundary] Code MC/DC gap: parser.go:491 EachKey data[i] == '{' Drive data[i] == '{' to FALSE after an unmatched key. This happe

Verifies: SYS-REQ-001 [boundary] Code MC/DC gap: parser.go:61 findKeyStart ln > 0 with data[i] == '[' Drive the branch where data starts with '[' (arr

Verifies: SYS-REQ-001 [boundary] Code MC/DC gap: parser.go:945 getType end == -1 Drive end == -1 to FALSE. tokenEnd returns -1 only when the data is e

Verifies: SYS-REQ-009 [mcdc]

----------------------------------------------------------------------------- lastToken / tokenStart / tokenEnd — drive each whitespace branch. `lastT

Verifies: SYS-REQ-009 [mcdc]

Verifies: SYS-REQ-009 [mcdc]

Verifies: SYS-REQ-007 [boundary] Code MC/DC gap: parser.go:1138 ObjectEach offset < len(data) Normal ObjectEach iteration has offset < len(data) TRUE.

Verifies: SYS-REQ-001 [boundary] Code MC/DC gap: parser.go:327 searchKeys keys[level][0] != '[' Drive keys[level][0] != '[' to TRUE independently. Use

Verifies: SYS-REQ-001 [boundary] Code MC/DC gap: parser.go:325 searchKeys Drive keyLen >= 3 so the second and third terms of the disjunction (keys[lev

Verifies: SYS-REQ-001 [boundary] Code MC/DC gap: parser.go:287 searchKeys keyLevel == level-1 Drive keyLevel == level-1 to TRUE. This happens during n

Verifies: SYS-REQ-001 [boundary] Code MC/DC gap: parser.go:289 searchKeys keyLevel == level-1 Drive keyLevel != level-1 (FALSE branch). Use duplicate

Verifies: SYS-REQ-001 [mcdc]

Verifies: SYS-REQ-001 [mcdc]

Verifies: SYS-REQ-001 [mcdc]

============================================================================= Code-level MC/DC supplement tests. =====================================

Verifies: SYS-REQ-001 [mcdc]

Verifies: SYS-REQ-001 [mcdc]

Verifies: SYS-REQ-014 [boundary] Code MC/DC gap: escape.go:149 Unescape for len(in) > 0 Drive the loop body. A string with an escape sequence enters t

Verifies: SYS-REQ-001 (Get) Verifies: SYS-REQ-114 (JSONPath compiled paths) reqproof:proptest:skip targeted witness/regression test; not a property-te

Verifies: SYS-REQ-114 (JSONPath compiled paths) reqproof:proptest:skip targeted witness/regression test; not a property-test subject SYS-REQ-114:nomin

Verifies: SYS-REQ-009 (Set) Verifies: SYS-REQ-114 (JSONPath compiled paths) reqproof:proptest:skip targeted witness/regression test; not a property-te

Verifies: SYS-REQ-114 (JSONPath compiled paths) reqproof:proptest:skip targeted witness/regression test; not a property-test subject

Verifies: SYS-REQ-114 (JSONPath compiled paths) reqproof:proptest:skip targeted witness/regression test; not a property-test subject

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