fix: (checks) design-cross-language-boundaries

[alxxjohn]

Summary

• expand native design coverage for Python, Rust, Go, and C++
• add a TypeScript import resolver that understands tsconfig paths/extends, package imports, and workspace package
  exports
• move Go declarations-per-file enforcement into the design checker and add equivalent C++ declarations-per-file coverage
• improve C++ graph fidelity for named modules, partitions, and dotted module names so boundary rules apply to modern
  module layouts
• add C++ boundary-policy coverage for layers, capabilities, public surfaces, production-vs-test imports, domains, and data
  ownership over named modules

What changed

• added Python structure checks for generic module names, max methods per type, and max protocol members
• added Rust structure checks for generic module names, max methods per type, and max trait members
• added C++ heuristics for generic module names, max methods per type, max interface methods, and max declarations per file
• added Go design enforcement for design.max-decls-per-file
• extended the TypeScript graph resolver for workspace/package resolution edge cases
• extended the C++ dependency graph to resolve module partitions and dotted named modules

Tests

• added and expanded design tests for TypeScript graph resolution
• added Python and Rust design test coverage
• added C++ graph and boundary-policy tests, including named-module domain/data-ownership cases
• ran go test ./tests/checks -run 'TestDesign'