feat: implement full production subnet build (all 13 phases)#1
Merged
Conversation
Upgrade MVP to production-ready Bittensor subnet with real miner/validator neurons, formal verification, embedding plagiarism detection, persistent state, API gateway, monitoring, security hardening, Docker deployment, and CI/CD pipelines. All 191 tests passing. Phase 1: Bittensor protocol layer (Synapse definitions, BaseNeuron, config) Phase 2: Real miner neuron with 4 LLM backends (OpenAI, Anthropic, local, agent) Phase 3: Real validator neuron with scoring pipeline and on-chain weight setting Phase 4: Formal verification backends (Lean4, code sandbox, SymPy, fact checker) Phase 5: Embedding-based plagiarism detection (sentence-transformer cosine similarity) Phase 6: Benchmark database with 90+ tasks across 6 domains Phase 7: SQLite persistent state with checkpoints and migrations Phase 8: FastAPI gateway with auth, billing, and rate limiting Phase 9: Prometheus metrics, structured logging, Grafana dashboards Phase 10: Security hardening (input sanitizer, rate guard, anomaly detection) Phase 11: Docker deployment (4 Dockerfiles, 3 compose files, deployment scripts) Phase 12: CI/CD (GitHub Actions for test, lint, Docker build) Phase 13: Configuration files (.env.example, min_compute.yml, requirements)
|
The latest updates on your projects. Learn more about Vercel for GitHub.
|
- Fix 8 ruff errors: unused variables, unused imports (noqa for availability checks) - Fix 30 mypy errors across 13 files: - Add Optional[] for parameters with None defaults (PEP 484 no_implicit_optional) - Restructure protocol.py SynapseBase shim to avoid no-redef errors - Use typing.Callable instead of builtin callable in health.py - Add type annotations for untyped variables (billing.py, task_manager.py, reasoning.py) - Use Any typing for lazy-loaded model attributes (local_backend.py, agent_backend.py) - Fix variable reuse across different types in task_generator.py - All 191 tests passing, ruff clean, mypy clean
…rations)
The state module was referenced by tests/test_state.py but never committed
due to a .gitignore rule ('state/') matching 'reasonforge/state/'.
Creates:
- reasonforge/state/database.py: SQLite-backed StateDatabase for epoch data,
task results, submissions, checkpoints, and API keys
- reasonforge/state/checkpoint.py: CheckpointManager for save/restore
- reasonforge/state/migrations.py: Versioned MigrationManager
- reasonforge/state/__init__.py: Package exports
Also fixes .gitignore to only ignore top-level state/ directory.
All 191 tests pass, ruff clean, mypy clean.
Owner
Author
|
Done |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Upgrade MVP to production-ready Bittensor subnet with real miner/validator neurons, formal verification, embedding plagiarism detection, persistent state, API gateway, monitoring, security hardening, Docker deployment, and CI/CD pipelines. All 191 tests passing.
Phase 1: Bittensor protocol layer (Synapse definitions, BaseNeuron, config)
Phase 2: Real miner neuron with 4 LLM backends (OpenAI, Anthropic, local, agent)
Phase 3: Real validator neuron with scoring pipeline and on-chain weight setting
Phase 4: Formal verification backends (Lean4, code sandbox, SymPy, fact checker)
Phase 5: Embedding-based plagiarism detection (sentence-transformer cosine similarity)
Phase 6: Benchmark database with 90+ tasks across 6 domains
Phase 7: SQLite persistent state with checkpoints and migrations
Phase 8: FastAPI gateway with auth, billing, and rate limiting
Phase 9: Prometheus metrics, structured logging, Grafana dashboards
Phase 10: Security hardening (input sanitizer, rate guard, anomaly detection)
Phase 11: Docker deployment (4 Dockerfiles, 3 compose files, deployment scripts)
Phase 12: CI/CD (GitHub Actions for test, lint, Docker build)
Phase 13: Configuration files (.env.example, min_compute.yml, requirements)