Four routes were completed: full source-proof decomposition, bounded composition regression with explicit non-inference, primary-source scope comparison, and assumption-aware falsification. See routes.json.
routes.json
