Spaces:
Running
Running
| # 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`. | |