{
  "schema": "MAKNOW_EVIDENCE_CONTRACT_v1",
  "lesson_id": "NET-003",
  "artifact": "EF Core Data Access, Migration and Concurrency Evidence Ledger v1",
  "dimensions": [
    "dbcontext_id",
    "provider_id",
    "query_id",
    "tracking_mode",
    "transaction_boundary",
    "concurrency_token",
    "concurrency_resolution",
    "migration_id",
    "model_snapshot_ref",
    "pending_model_change_state",
    "migration_operation",
    "data_loss_warning",
    "deployment_strategy",
    "migration_locking_note",
    "fixture_database_ref",
    "query_test_state",
    "migration_test_state",
    "review_state",
    "audit_event_id"
  ],
  "portable_input": "SYNTHETIC",
  "real_execution": "ACTUAL_SQLITE_ONLY; EF_UNVERIFIED",
  "success_scope": "SYNTHETIC_ONLY",
  "aggregate_states": [
    "READY_FOR_REVIEW",
    "HOLD"
  ],
  "dimension_states": [
    "UNKNOWN",
    "UNSUPPORTED",
    "UNVERIFIED",
    "STALE",
    "REVIEW_REQUIRED",
    "HOLD",
    "FAILED",
    "CONCURRENCY_CONFLICT"
  ],
  "submission_fields": [
    "fixture_id",
    "fixture_sha256",
    "policy_sha256",
    "evaluated_on",
    "context_id",
    "scope",
    "readiness_state",
    "issues",
    "evidence_refs",
    "rationale",
    "minimal_repair",
    "review_trigger"
  ],
  "policy_ref": "lab/NET-003-LAB1/learner/policy.json",
  "critical_gates_are_conjunctive": true
}