# Claim 3 method

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`.