{
  "schema": "MAKNOW_EVIDENCE_CONTRACT_v1",
  "lesson_id": "NET-001",
  "artifact": "Modern .NET Baseline Matrix and Upgrade Verification Ledger v1",
  "dimensions": [
    "sdk_version",
    "runtime_version",
    "target_framework",
    "csharp_language_version",
    "support_channel",
    "support_end",
    "global_json_ref",
    "package_target_compatibility",
    "nullable_context",
    "breaking_change_ref",
    "compile_state",
    "test_state",
    "diagnostic_state",
    "baseline_digest",
    "candidate_digest",
    "review_state",
    "audit_event_id"
  ],
  "portable_input": "SYNTHETIC",
  "real_execution": "ACTUAL_PYTHON_SDK_SELECTION_AND_COMPARISON_ONLY; DOTNET_UNVERIFIED",
  "success_scope": "SYNTHETIC_ONLY",
  "aggregate_states": [
    "VERIFIED_SYNTHETIC",
    "HOLD"
  ],
  "dimension_states": [
    "UNKNOWN",
    "UNSUPPORTED",
    "UNVERIFIED",
    "STALE",
    "REVIEW_REQUIRED",
    "HOLD",
    "FAILED"
  ],
  "submission_fields": [
    "fixture_id",
    "fixture_sha256",
    "policy_sha256",
    "evaluated_on",
    "context_id",
    "scope",
    "readiness_state",
    "issues",
    "evidence_refs",
    "rationale",
    "minimal_repair",
    "review_trigger",
    "contracts_sha256"
  ],
  "policy_ref": "lab/NET-001-LAB1/learner/policy.json",
  "critical_gates_are_conjunctive": true
}