Function TestRemoval4_EachKey_TracePath

dead_code_audit_test.go:676–721

============================================================================= CRITICAL PATH: Verify EachKey correctly handles the removed block-skip by walking through the exact scenario step by step ============================================================================= Verifies: SYS-REQ-008

(t *testing.T)

// Verifies: SYS-REQ-008 [boundary]
func TestRemoval4_EachKey_TracePath(t *testing.T) {
	// {"skip":{"n":1},"want":"ok"}
	// When EachKey processes "skip" and match==-1:
	// - i is at ':' (the colon after "skip")
	// - tokenOffset := nextToken(data[i+1:]) — finds '{' at offset 0
	// - i += 0 (tokenOffset is 0, but wait: nextToken skips whitespace,
	//   and data[i+1] = '{', which is not whitespace, so nextToken returns 0)
	// - BUT: i += tokenOffset means i is still at ':'. No, wait:
	//   the code says `i += tokenOffset`, not `i = tokenOffset`.
	//   If i was at position of ':', say position 7 in {"skip":{"n":1},"want":"ok"}
	//   then data[i+1:] starts with '{"n":1},"want":"ok"}'
	//   nextToken returns 0 (first char '{' is not whitespace)
	//   i += 0 → i is still 7 (the colon position)
	//
	// Then we hit `switch data[i]` where data[7] = ':'
	// ':' is not in {'{', '}', '[', '"'} so no i-- adjustment.
	//
	// Then the outer loop does i++ → i = 8, which is '{'.
	// The outer switch hits case '{': → level++.
	// The parser then navigates the nested object naturally.
	//
	// The OLD code had: if data[i] == '{' { blockSkip = blockEnd(...); i += blockSkip + 1 }
	// This would have jumped past the entire nested object.
	// The NEW code relies on the natural '{' handler in the outer switch.
	//
	// Both should work, but the new code is O(n) walking character by character
	// through the nested object, while the old code was O(n) via blockEnd.
	// Functionally equivalent.

	data := []byte(`{"skip":{"n":1},"want":"ok"}`)
	paths := [][]string{{"want"}}

	var found bool
	EachKey(data, func(idx int, value []byte, vt ValueType, err error) {
		if idx == 0 {
			found = true
			if string(value) != "ok" {
				t.Fatalf("expected 'ok', got %q", value)
			}
		}
	}, paths...)

	if !found {
		t.Fatal("UNSAFE: EachKey failed the trace path test")
	}
}

// Test with value types that aren't objects — numbers, arrays, strings, bools
// Verifies: SYS-REQ-008 [boundary]