Khronos public bugtracker – Bug 433
GL 4.1/ARB_separate_shader_objects missing state
Last modified: 2013-05-29 07:20:56 PDT
GL_PROGRAM_SEPARABLE is clearly program object state. But it is not listed in the program object state tables.
This is fixed in 4.3 spec. Didn't look back to where it got fixed, but I'm closing this one.