michael 4833fa127d Fix SQLAlchemy ambiguous FK error between SpecVersion and ProcessingJob ... Add explicit foreign_keys argument to both sides of the bidirectional relationship to resolve the multiple FK paths (SpecVersion.processing_job_id and ProcessingJob.spec_version_id). Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>		2026-02-12 15:40:36 -06:00
..
__init__.py	permissions changes	2025-12-18 16:51:27 +00:00
database.py	permissions changes	2025-12-18 16:51:27 +00:00
models.py	Fix SQLAlchemy ambiguous FK error between SpecVersion and ProcessingJob	2026-02-12 15:40:36 -06:00
schemas.py	Implement revision-aware proof analysis pipeline	2026-01-25 10:04:16 -06:00