static String jsonPointer(String path) { final pathSegments = segments(path); if (pathSegments.isEmpty) return ''; return '/${pathSegments.map(_escapeJsonPointerSegment).join('/')}'; }