Upload ARO Coder 4-bit (distill_student)

.source_model

@@ -1 +1 @@
-/Users/kris/Projects/ARO/ARO-Train/Train/models/distill/student/fused
+/Users/kris/Projects/ARO/ARO-Lang/Train/models/distill/student/fused

README.md

@@ -26,8 +26,8 @@ ARO is a domain-specific language where every statement follows the pattern:
 | **Base model** | [mlx-community/Qwen3-Coder-30B-A3B-Instruct-4bit](https://huggingface.co/mlx-community/Qwen3-Coder-30B-A3B-Instruct-4bit) |
 | **Quantization** | 4-bit (MLX) |
 | **Language** | ARO |
-| **Training samples** | 2943 |
-| **Syntax pass rate** | 57% |
+| **Training samples** | 2862 |
+| **Syntax pass rate** | 73% |
 | **Source label** | distill_student |
 
 ## Links
@@ -108,7 +108,7 @@ Key features:
 
 This model was trained with the ARO training pipeline:
 
-1. **Corpus collection** — 2943 samples from Examples, Book, Wiki, Proposals, and real-world ARO applications
+1. **Corpus collection** — 2862 samples from Examples, Book, Wiki, Proposals, and real-world ARO applications
 2. **Supervised fine-tuning** — LoRA on all code generation, debugging, Q&A, and explanation tasks
 3. **DPO preference training** — using `aro check` validation to build chosen/rejected pairs
 4. **Iterative self-improvement** — multiple rounds of generate-validate-retrain

aro_system_prompt.txt

@@ -30,6 +30,24 @@ ARO SYNTAX RULES:
     Return an <OK: status> for the <notification>.
 }
 ---
+(DoubleValue: Action takes <number>) {
+    Extract the <n> from the <input: number>.
+    Compute the <doubled> from <n> * 2.
+    Return an <OK: status> with { doubled: <doubled> }.
+}
+
+(SumAndDouble: Action) {
+    Extract the <a> from the <input: a>.
+    Extract the <b> from the <input: b>.
+    Compute the <sum> from <a> + <b>.
+    Application.DoubleValue the <inner> from <sum>.
+    Extract the <result> from the <inner: doubled>.
+    Return an <OK: status> with <result>.
+}
+
+(* Call site uses the same shape as plugin actions: *)
+Application.SumAndDouble the <res> from { a: 3, b: 4 }.
+---
 (* Plugin qualifiers use handler namespace *)
 Compute the <random-item: collections.pick-random> from the <items>.
 Compute the <sorted-list: stats.sort> from the <numbers>.
@@ -72,16 +90,6 @@ Compute the <second-length: length> from the <second-message>.
 
 (* Now both values are available *)
 Compare the <first-length> against the <second-length>.
----
-(Application-Start: File Watcher) {
-    Log "Starting..." to the <console>.
-    Start the <file-monitor> with ".".
-
-    (* Keep the application running to process events *)
-    Keepalive the <application> for the <events>.
-
-    Return an <OK: status> for the <startup>.
-}
 
 ```aro
 (Feature Name: Business Activity) {
@@ -118,13 +126,7 @@ Application lifecycle handlers:
 
 ### Computations
 
-The Compute action transforms data using built-in operations:
-
-| Operation | Description | Example |
-|-----------|-------------|---------|
-| `length` / `count` | Count elements | `Compute the <len: length> from <text>.` |
-| `uppercase` | Convert to UPPERCASE | `Compute the <upper: uppercase> from <text>.` |
-| `lowercase` | Convert to lowercase | `Compute the <lower: l
+The Compute action transforms data using built-in ope
 
 AVAILABLE ACTIONS (verb [role] → prepositions):
   extract, parse, get          [request ]  prepositions: from, via
@@ -148,6 +150,13 @@ AVAILABLE ACTIONS (verb [role] → prepositions):
   copy                         [server  ]  prepositions: to
   move, rename                 [server  ]  prepositions: to
   append                       [response]  prepositions: to, into
+  stage                        [own     ]  prepositions: to, for
+  commit                       [export  ]  prepositions: to, with
+  pull                         [request ]  prepositions: from
+  push                         [export  ]  prepositions: to, with
+  clone                        [request ]  prepositions: from, with, to
+  checkout                     [own     ]  prepositions: from, to, with
+  tag                          [export  ]  prepositions: for, with
   parse                        [own     ]  prepositions: from
   parsehtml                    [own     ]  prepositions: from
   map                          [own     ]  prepositions: from, to

model.safetensors

@@ -1,3 +1,3 @@
 version https://git-lfs.github.com/spec/v1
-oid sha256:8a27b23d48bd4c718f9b36a56d27d6ffb6b7337ec8d4f93a6e6846d6da376512
+oid sha256:f61b4732c4c18838e0bc03cac9e8c84073cf811250bd999c42305604cafb0bb8
 size 4607835164

tokenizer_config.json

@@ -6,6 +6,7 @@
   "eos_token": "<|im_end|>",
   "errors": "replace",
   "is_local": true,
+  "local_files_only": false,
   "model_max_length": 131072,
   "pad_token": "<|endoftext|>",
   "split_special_tokens": false,