- • Questions live in `prometheus.db`; runnable cards live in `kanban.db`.
- • Workers are stateless; the databases are the memory.
- • Intake turns worker results into experiments, claims, mechanisms, and follow-up questions.
- • BENCH3 checks answer correctness; transfer survival checks mechanism portability.
- • Retests, attacks, arbitration, clean-room, circularity, and method-code checks challenge claims.
- • Literature and world-grounding keep novelty separate from robustness.
- • Agents-A1 handles local reasoning lanes and some attacks.
- • GPU Embed powers RAG, synthesis, and similarity.
- • GPU sklearn and `gpu_run` give workers transparent GPU-backed compute.