Add Hypothesis property tests for blob/bubble parsing (#71)

.github/workflows/tests.yml

@@ -98,14 +98,14 @@ jobs:
 
       - name: Install runtime + test dependencies
         # Install from the pinned lock file for deterministic dependency
-        # resolution (closes #47). pytest is added on top — it is not in
-        # requirements-lock.txt because it is a dev-only dep. pywebview is
+        # resolution (closes #47). pytest and hypothesis are added on top — not in
+        # requirements-lock.txt (dev-only). pywebview is
         # the desktop-launcher dep and pulls GTK / Qt system libraries on
         # Linux — intentionally excluded from the CI unittest matrix.
         run: |
           python -m pip install --upgrade pip
           python -m pip install -r requirements-lock.txt
-          python -m pip install 'pytest>=8,<9'
+          python -m pip install 'pytest>=8,<9' 'hypothesis>=6.100,<7'
 
       - name: Run unittest suite
         run: python -m unittest discover tests -v

.gitignore

@@ -43,3 +43,4 @@ Thumbs.db
 .coverage
 htmlcov/
 coverage.xml
+.hypothesis/

README.md

@@ -61,6 +61,12 @@ source venv/bin/activate
 pip install -r requirements.txt
 ```
 
+For development (pytest, mypy, Hypothesis property tests):
+
+```bash
+pip install -e ".[dev]"
+```
+
 For reproducible installs (same versions as CI), use the pinned lock file:
 
 ```bash

pyproject.toml

@@ -32,6 +32,7 @@ desktop = ["pywebview>=5.0,<6"]
 dev = [
     "pytest>=8,<9",
     "mypy>=1.10,<2",
+    "hypothesis>=6.100,<7",
 ]
 
 [project.scripts]