Harden contract compilation with DeepSeek evidence

[chriswu727]

Outcome

Hardens the one-instruction contract compiler against real DeepSeek output and publishes the first complete local-project Gate 1 result.

Changes

• normalize unambiguous missing check kinds, null defaults, structured criteria, and prefixed IDs
• bound critic-driven contract repair to two retries with no-progress detection
• review the effective deduplicated contract while keeping deterministic checks immutable
• use python -m pytest -q for portable Python repository discovery
• publish the clean DeepSeek run: 1/1 solved, 5 steps, 8,610 tokens, 13.459 seconds, replay/apply/undo passed

Verification

• API ruff and format: pass
• API mypy: pass, 117 source files
• API pytest: 443 passed
• Web: 18 passed
• Desktop: 14 passed
• repository lint, typecheck, test, and build: pass
• real DeepSeek one-instruction evaluation: pass

The local apps/web/next-env.d.ts change is user-owned and intentionally excluded.