fix: remove destructive migrate rewrite, add replay source attribution and warning drain

src/cli/commands/verify/runner.ts

@@ -40,6 +40,8 @@ export interface VerifyFailure {
   artifactPath?: string
   formula?: string
   category?: string
+  /** Source of the contract: 'route' or 'plugin:name' */
+  source?: string
 }
 
 export interface VerifyRunResult {
@@ -649,6 +651,7 @@ export async function runVerify(deps: VerifyRunnerDeps): Promise<VerifyRunResult
                   observed: diagnostic.observed,
                   formula: diagnostic.formula,
                   category: diagnostic.category,
+                  source: route.formulaSources?.[formula],
                 })
               } else {
                 passedCount++
@@ -664,6 +667,7 @@ export async function runVerify(deps: VerifyRunnerDeps): Promise<VerifyRunResult
                 observed: diagnostic.observed,
                 formula: diagnostic.formula,
                 category: diagnostic.category,
+                source: route.formulaSources?.[formula],
               })
             }
           }