Function workbench_state_json 

pub fn workbench_state_json(current_stored: &str) -> String

The workbench list as {id, label} JSON plus the resolved current id — the __brepWorkbench logical-state global the headed verifier reads to drive the dropdown and confirm the active workbench. current is the RESOLVED id (an unknown stored id reads back as the default).