Upgrade to Egglog 3, add extraction controls, and retain Param-Eq demos

.github/workflows/CI.yml

@@ -29,7 +29,7 @@ jobs:
         with:
           enable-cache: true
           python-version: ${{ matrix.py }}
-      - uses: dtolnay/rust-toolchain@1.79.0
+      - uses: dtolnay/rust-toolchain@1.91.0
       - uses: Swatinem/rust-cache@v2
       - run: uv sync --extra test --locked
       - run: uv run pytest --benchmark-disable -vvv --durations=10
@@ -41,11 +41,12 @@ jobs:
       - uses: astral-sh/setup-uv@v7
         with:
           enable-cache: true
-      - uses: dtolnay/rust-toolchain@1.79.0
+      - uses: dtolnay/rust-toolchain@1.91.0
       - uses: Swatinem/rust-cache@v2
       - run: uv sync --extra test --locked
       - run: make mypy
       - run: make stubtest
+      - run: cargo test --locked --lib
 
   benchmark:
     runs-on: ${{ matrix.runner }}
@@ -64,7 +65,7 @@ jobs:
         with:
           enable-cache: true
           python-version: "3.12"
-      - uses: dtolnay/rust-toolchain@1.79.0
+      - uses: dtolnay/rust-toolchain@1.91.0
       - uses: Swatinem/rust-cache@v2
       - run: |
           export UV_PROJECT_ENVIRONMENT="${pythonLocation}"
@@ -83,7 +84,7 @@ jobs:
       - uses: astral-sh/setup-uv@v7
         with:
           enable-cache: true
-      - uses: dtolnay/rust-toolchain@1.79.0
+      - uses: dtolnay/rust-toolchain@1.91.0
       - uses: Swatinem/rust-cache@v2
       - name: Install graphviz
         run: |

.readthedocs.yaml

@@ -12,7 +12,7 @@ build:
     python: "3.12"
     #     # You can also specify other tool versions:
     #     # nodejs: "16"
-    rust: "1.78"
+    rust: "1.91"
   # golang: "1.17"
   apt_packages:
     - graphviz

AGENTS.md

@@ -19,14 +19,19 @@
 
 - Use the Context7 MCP server for egglog documentation instead of copying external doc summaries into this file.
 - Keep general workflows in the how-to guides, and keep Python-specific runtime/reference examples in `docs/reference/python-integration.md`.
+- Keep high-level docs focused on current public APIs and observable behavior. Put low-level binding details in `docs/reference/bindings.md`, and migration-only details in `docs/changelog.md`.
 - If a PR adds or updates a changelog entry in `docs/changelog.md`, keep it aligned with the final code changes.
 - For a clean docs rebuild, clear `docs/_build/`; the MyST-NB execution cache lives in `docs/_build/.jupyter_cache`.
 
 ## Python bindings
 
 - Prefer relative imports inside `python/egglog`.
 - When changing public high-level APIs, update the public docs, stubs, and pretty/freeze round-trip expectations together.
-- Higher-order callable type probing should stay isolated from the live ruleset: copy declarations and run with no current ruleset so inference does not register temporary unnamed functions or rewrites.
+- Keep `builtins.py` limited to operations implemented by Egglog primitives. Compose derived expressions at their domain call sites, without private runtime plumbing in public APIs.
+- Pretty-print declaration structure directly; do not evaluate runtime expressions merely to canonicalize their output.
+- Higher-order callable type probing should stay isolated from the live ruleset:
+  copy declarations and run with no current ruleset so inference does not
+  register temporary unnamed declarations or eager bodies.
 
 ## Array API
 
@@ -41,6 +46,8 @@
 ## Verification
 
 - Prefer the minimal code change and the minimal diff that solves the task; only broaden the change if the smaller fix is not sufficient.
+- High-level tests should assert observable behavior through public APIs. Avoid private `_` APIs and exact generated names unless serialized output is itself the public contract.
+- Keep white-box `EGraphState` transcript, cleanup, and fault-injection tests in `python/tests/test_egraph_state.py`; keep `test_high_level.py` focused on public behavior.
 - Run `make mypy` for typing changes.
 - Run targeted pytest for touched modules.
 - Run `make docs` for docs or public API changes.