Function checkOffsetBoundsGate

json_fuzz_test.go:1088–1096

checkOffsetBoundsGate (Gate 5: OFFSET-BOUNDS) asserts that Get's offset return is within the documented range [-1, len(data)]. Per SYS-REQ-016 / SYS-REQ-019, not-found returns offset=-1; per SYS-REQ-001 success returns a value-end offset in [0, len(data)]. An offset outside this range is an OOB inde

(t *testing.T, data []byte, path []string)

//
// Cheap (one comparison); no size cap needed.
func checkOffsetBoundsGate(t *testing.T, data []byte, path []string) {
	t.Helper()
	_, _, offset, _ := Get(data, path...)
	if offset < -1 || offset > len(data) {
		t.Errorf("Get returned out-of-bounds offset %d (len=%d): "+
			"data=%q path=%v (OFFSET-BOUNDS violation)",
			offset, len(data), data, path)
	}
}

// checkDeterminismGate (Gate 6: DETERMINISM) asserts that two Get calls on
// the same input+path return byte-identical (value, type, offset) and the