Apply LeanReasoning release licence

LICENSE-LEANREASONING.md

@@ -0,0 +1,52 @@
+# LeanReasoning Model Licence 1.0
+
+Effective date: 5 November 2026  
+Licensor: realDeclan
+
+This is a custom licence. It is not the Apache License 2.0 and must not be represented as an unmodified Apache-2.0 licence.
+
+## 1. Scope and upstream rights
+
+"Model" means the LeanReasoning trained adapter, the project's modifications to Qwen3-1.7B, and the merged checkpoint incorporating those modifications. These terms also accompany copies, conversions, quantisations and further modifications retaining the project's contributions.
+
+These terms apply only to rights the Licensor can grant in those contributions and the derivative distribution. They do not revoke, replace or restrict rights independently granted by Qwen or another upstream rights holder in the original base model. The upstream Apache License 2.0 is retained unchanged as LICENSE in the model distribution, together with applicable upstream notices.
+
+## 2. General permission
+
+Subject to the exclusions below, the Licensor grants permission for research, personal and commercial use, reproduction, modification and redistribution of the Model under the permissions, conditions, patent provisions, attribution requirements, warranty disclaimers and liability limitations of Apache License 2.0, incorporated by reference from:
+
+https://www.apache.org/licenses/LICENSE-2.0
+
+For the Licensor's contributions, this custom licence governs wherever its additional restrictions differ from those incorporated terms. No permission is granted beyond rights controlled by the Licensor.
+
+## 3. Microsoft exclusion
+
+"Excluded Party" means:
+
+- Microsoft Corporation;
+- any entity that directly or indirectly controls, is controlled by, or is under common control with Microsoft Corporation; and
+- any person or entity acting on behalf of, at the direction of, or as an agent or contractor for any such entity, in relation to the Model.
+
+"Control" means the power to direct an entity's management or policies, whether through majority voting ownership, contract or another means. Merely using Microsoft products, being an ordinary customer, or holding a non-controlling investment does not by itself make a person an Excluded Party.
+
+No rights under this licence are granted to an Excluded Party. An Excluded Party may not use, run, reproduce, modify, train on, fine-tune, distil, evaluate, benchmark, integrate, distribute, sublicense or commercially exploit the Model for any purpose, including Microsoft Copilot, GitHub Copilot, Azure AI or any other product, service, internal activity or research.
+
+Other recipients may not use or supply the Model on behalf of an Excluded Party, or knowingly provide an Excluded Party with the Model, access to its inference, or model outputs for training, distillation or product development. Routing these activities through a third party does not avoid the exclusion.
+
+## 4. Limited hosting exception
+
+Solely to enable hosting chosen by the Licensor or a permitted recipient, an Excluded Party operating a general-purpose hosting service may store, transmit, back up and perform security or abuse checks on the distributed files as necessary to provide that service.
+
+This exception permits GitHub to host the project and its files. It does not permit model inference, model training, fine-tuning, distillation, benchmarking, incorporation into Copilot or other AI products, or independent exploitation of the Model. It grants no additional right to use the files or their contents to train or improve AI systems.
+
+## 5. Redistribution and notices
+
+Recipients redistributing the Model or further derivatives retaining the project's contributions must include this licence, the unchanged upstream licence and applicable notices. They must identify their changes and retain the Microsoft exclusion for the project's contributions. They may not sublicense those contributions to an Excluded Party or remove this exclusion from them.
+
+This licence does not purport to restrict independently obtained upstream materials or rights that applicable law makes available without permission.
+
+## 6. Termination and disclaimer
+
+Permissions granted under this licence terminate automatically upon breach of the Microsoft exclusion or redistribution conditions. Termination does not affect independently granted upstream rights.
+
+The Model and the Licensor's contributions are supplied as-is, without warranties, subject to applicable law. The incorporated warranty disclaimers and liability limitations apply. No trademark rights or endorsement by Qwen, Microsoft, GitHub or the Apache Software Foundation are granted or implied.

README.md

@@ -1,4 +1,7 @@
 ---
+license: other
+license_name: leanreasoning-model-license-1.0
+license_link: https://huggingface.co/realDeclan/LeanReasoning/blob/main/LICENSE-LEANREASONING.md
 base_model: Qwen/Qwen3-1.7B
 base_model_relation: finetune
 pipeline_tag: text-generation
@@ -143,4 +146,6 @@ The accompanying index, model configuration, generation configuration, tokenizer
 
 Base model: [Qwen/Qwen3-1.7B](https://huggingface.co/Qwen/Qwen3-1.7B).
 
-The bundled LICENSE preserves the upstream Apache 2.0 terms. This derivative modifies the original weights through fine-tuning and merging. The project's release licence for its modifications has not yet been selected; this card does not assign a new one.
+The model is distributed under the [LeanReasoning Model Licence 1.0](LICENSE-LEANREASONING.md), a custom licence with Apache-2.0-based permissions for eligible recipients and an exclusion for Microsoft Corporation, its controlled/common-control entities, and parties acting on their behalf. This covers Copilot and all other uses, subject to the limited hosting exception described in the licence.
+
+The unchanged upstream Apache 2.0 terms remain in [LICENSE](LICENSE). The custom restriction applies to the project's contributions and derivative distribution, not independently granted rights in Qwen's original model. This derivative modifies the original weights through fine-tuning and merging.