{
 "id": "skonml/code-contract-repair",
 "owner": "skonml",
 "name": "code-contract-repair",
 "downloads": 39,
 "likes": 0,
 "last_modified": "2026-08-10T19:02:58.000Z",
 "stated_licence": "mit",
 "stated_from": "tag",
 "licence_name": null,
 "licence_link": null,
 "file_licence": null,
 "licence_files": [],
 "sources": [
  {
   "id": "ise-uiuc/Magicoder-OSS-Instruct-75K",
   "licence": "mit",
   "found": true,
   "evidence": "https://huggingface.co/datasets/ise-uiuc/Magicoder-OSS-Instruct-75K/blob/5f839b1f368a76b161028bb9edff055db34022b2/README.md"
  }
 ],
 "gated": false,
 "tasks": [
  "text-generation"
 ],
 "citation": "The compilation is MIT because its only published component is MIT-licensed. `pipeline/provenance.py` selects the most restrictive component license for multi-source compilations. Every row retains its `license` value, so downstream users can audit the applicable source terms rather than relying only on the repository-level declaration.\n\nIdentifier seeds are attributed to [`ise-uiuc/Magicoder-OSS-Instruct-75K`](https://huggingface.co/datasets/ise-uiuc/Magicoder-OSS-Instruct-75K). Magicoder does not supply the contract, injected defect, repair target, or test shown here; those are deterministic derived constructions in this project. Adaptive Data by Adaption Labs was used for data adaptation.",
 "signal": "permissive",
 "reason": "The declared licence (mit) is classified as permissive.",
 "revision": "58234345110e25936fef3b15300d3d2c34453a8a",
 "stated_evidence": "https://huggingface.co/datasets/skonml/code-contract-repair/blob/58234345110e25936fef3b15300d3d2c34453a8a/README.md",
 "file_evidence": "https://huggingface.co/datasets/skonml/code-contract-repair/tree/58234345110e25936fef3b15300d3d2c34453a8a",
 "card_nc": false
}