8 commits

Author	SHA1	Message	Date
Brandon Schneider	06fe257b1f	Add proof worker pool routing	2026-05-25 22:27:18 -05:00
Brandon Schneider	b23b67c288	Wire ENE context into remote proof checks	2026-05-25 22:07:58 -05:00
Brandon Schneider	398631edce	Stabilize ENE API and context shim	2026-05-25 21:06:46 -05:00
Brandon Schneider	6e5a0a6af4	WIP: accumulated changes	2026-05-25 16:24:21 -05:00
Brandon Schneider	6bcf0f4bf3	Expand devcontainer with full Python stack, add MCP servers (Notion/AWS), strengthen Lean theorems ... - .devcontainer/Dockerfile: add PostgreSQL client libs, OpenSSL/libffi headers, gfortran/BLAS for scipy, rclone; install full Python dependency set (boto3, psycopg2-binary, fastapi, uvicorn, notion-client, httpx, pytest, numpy, scipy, etc.) in uv-managed venv; add rclone S3 gateway init script as ENTRYPOINT - .devcontainer/devcontainer.json: switch from build to pre-built image (localhost/research	2026-05-19 01:52:14 -05:00
Brandon Schneider	913a6fcec6	Add verified Ollama DeepSeek review emitter	2026-05-11 23:13:54 -05:00
Brandon Schneider	de830f9e1c	Update repository agent operating contracts	2026-05-11 22:48:54 -05:00
Brandon Schneider	8c6778d4dd	Document legacy recovery trigger	2026-05-11 15:11:18 -05:00