Merge pull request #162 from PhysShell/claude/v9-migration-contract

feat(migrate): v9 sha256 backfill migration — contract + tool (PR B)

Author: PhysShell

Cargo.toml

@@ -7,7 +7,7 @@ members  = ["core", "pattern", "swang", "ui-core", "cockpit", "cli", "plugin", "
 # the hard-constraint-contract proposal); excluded for the same reason —
 # production builds, clippy, and CI never touch it, and its solver
 # dependencies never enter the workspace tree.
-exclude  = ["fuzz", "lab", "census"]
+exclude  = ["fuzz", "lab", "census", "migrate"]
 resolver = "2"
 
 [workspace.package]