Add VulReasoner interval parity workflow

.github/workflows/docs.yml

@@ -29,23 +29,21 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v4
-      - uses: actions/setup-python@v5
+      - uses: astral-sh/setup-uv@v6
         with:
-          python-version: '3.12'
+          version: '0.11.7'
+          enable-cache: true
 
       - name: Install docs deps
         run: |
-          python -m pip install --upgrade pip
-          # We install srdatalog itself so autodoc2 can import the package.
-          # The wheel would need CUDA headers (see toolchain requirements);
-          # for docs we only need the .py sources on sys.path, which is
-          # exactly what -e . (with no build step) gives us via the
-          # src/ layout declared in pyproject.
-          pip install -e '.[docs]'
+          # uv installs the local project editable, so autodoc2 can import
+          # srdatalog without publishing documentation tools as package extras.
+          uv sync --frozen --no-default-groups --group docs
 
       - name: Build HTML
         run: |
-          sphinx-build -W --keep-going -b html docs docs/_build/html
+          uv run --frozen --no-default-groups --group docs \
+            sphinx-build -W --keep-going -b html docs docs/_build/html
 
       - uses: actions/upload-pages-artifact@v3
         with:

.gitignore

@@ -42,3 +42,6 @@ wheelhouse/
 # the committed tree stays minimal.
 docs/_build/
 docs/api/
+
+# Runtime traces produced by the VulReasoner oracle.
+/minimal_vulreasoner/output/

.python-version

@@ -0,0 +1 @@
+3.12.13

README.md

@@ -13,9 +13,8 @@ full API reference (autogenerated from docstrings).
 
 ```bash
 # Contributors (editable):
-uv sync --group dev
-uv run python scripts/populate_vendor.py   # fetch boost/highway/RMM/spdlog (~3 min, one-time)
-uv pip install -e .
+uv sync --frozen
+uv run --frozen python scripts/populate_vendor.py   # fetch boost/highway/RMM/spdlog (~3 min, one-time)
 
 # End users (from PyPI — vendor is already bundled in the wheel):
 uv pip install srdatalog
@@ -209,8 +208,8 @@ by it.
 ```bash
 git clone <repo>
 cd srdatalog-python
-uv sync --group dev
-uv run pytest
+uv sync --frozen
+uv run --frozen pytest
 ```
 
 ## Docker / RunPod

data/kg_facts/concept.csv

@@ -0,0 +1,25 @@
+1
+2
+3
+4
+5
+6
+9
+11
+12
+13
+17
+19
+29
+40
+47
+56
+74
+75
+83
+111
+161
+166
+316
+317
+318