Plan-004 — Semantic package contract
Contents of the semantic IR, package, projection, and compatibility contract bundle.
# Plan-004 — Semantic package contract ## Contents * [Plan-004](./plan.md) - Requirements, dependencies, test plan, tracks, and gates. * [Task-024](./tasks/Task-024-contract-red-tests-and-scope-guard.md) - Establish failing contract checks and prohibited-path controls. * [Task-025](./tasks/Task-025-semantic-ir-and-type-schemas.md) - Define the semantic IR, type, identity, diagnostic, and extension core. * [Task-026](./tasks/Task-026-package-graph-lock-and-fingerprint.md) - Define manifests, graphs, locks, profiles, exports, and fingerprints. * [Task-027](./tasks/Task-027-mapping-profile-and-transformation-schemas.md) - Define mappings, profiles, transformations, effects, and loss. * [Task-028](./tasks/Task-028-representation-contracts.md) - Define Markdown, data, wire, SQL, columnar, and delimited profiles. * [Task-029](./tasks/Task-029-compiler-boundary-and-target-contracts.md) - Define compiler I/O, diagnostics, outputs, and target conformance. * [Task-030](./tasks/Task-030-compati