{
  "schema": "DAT001_MODEL_CONTRACT_v1",
  "required_invariants": [
    "row_identity",
    "customer_email_required_unique",
    "product_sku_required_unique",
    "product_price_required_positive",
    "order_customer_referential_integrity",
    "tracking_optional_unique_when_present"
  ],
  "postgresql_semantics": {
    "unique_null_default": "NULLS_DISTINCT",
    "check_unknown_passes": true,
    "not_null_separate": true
  },
  "cross_row_check_forbidden": true,
  "changed_context_transfer_required": true,
  "runtime_evidence_required_for_completion": true,
  "starter_must_not_pre_solve_skill": true,
  "referential_action_not_fixed_by_lab": true,
  "runtime_probe_count": 12
}