Refactor canonical IR authoring with typed algebraic contracts

[reiase]

Summary

• add a narrow canonical authoring surface for frozen records, enums, sealed ADTs, variants, and reusable structural refinements
• migrate canonical IR, binding, workload, system, and cost contracts away from duplicated dataclass/codec boilerplate while preserving stable wire identities
• make runtime contract digests cover complete record shape, defaults, enum members, and sealed ADT membership
• model collective specifications as a closed ADT and enforce abstract roots, late-variant rejection, and exact closure membership
• keep cross-field semantic invariants explicit while deriving scalar and container checks from annotations
• centralize Transformer datatype widths, target-dialect policy, inference cost-operation classification, and performance-record identity rules
• update negative, round-trip, lineage, package-boundary, and bilingual design documentation coverage

Why

Canonical contracts previously mixed raw dataclasses, low-level codec decorators, handwritten single-field validation, and repeated domain facts. That made the schema shape harder to audit, allowed authoring styles to drift, and left some runtime contract changes outside the digest.

This refactor establishes one typed algebraic authoring path. Mechanical structure is derived; independent semantic relations remain executable and visible.

Impact

• existing canonical codec tags and wire identities are preserved
• invalid scalar/container shapes fail at construction
• relational invariants such as layout permutations, collective roots, and schedule uniqueness remain explicit
• production code no longer imports low-level codec decorators outside the schema implementation
• explicit __post_init__ methods are reduced from 110 to 49; the remainder are relational invariants or intentional boundary normalization
• the runtime layer remains independent of mypy

Validation

• .venv/bin/pytest -q — passed; one optional pyarrow test skipped because pyarrow is not installed
• .venv/bin/mypy src/blueprinting — passed for 97 source files
• .venv/bin/ruff check src tests examples/calculon_calibration.py — passed
• .venv/bin/ruff format --check src tests examples/calculon_calibration.py — passed
• .venv/bin/python scripts/check_docs_i18n.py — validated 49 bilingual page pairs
• .venv/bin/mkdocs build --strict — passed
• .venv/bin/python scripts/check_rendered_code_docs.py — passed
• git diff --check — passed