Tests for the category docstring linter

This file contains test cases for the CategoryDocstringLinter, verifying that research-open, research-solved, and textbook declarations without docstrings are flagged, while declarations with docstrings or other categories are accepted.

theorem CategoryDocstringLinter.flagged_open_missing_docstring : True

theorem CategoryDocstringLinter.flagged_solved_missing_docstring : True

theorem CategoryDocstringLinter.not_flagged_with_docstring : True

A documented open problem statement should not be flagged.

theorem CategoryDocstringLinter.not_flagged_test_without_docstring : True

theorem CategoryDocstringLinter.flagged_textbook_missing_docstring : True