Release v1.1.0 — ARO Coder 6-bit (conversation_boosted, 45a5680524fdfc49)

README.md

@@ -24,12 +24,12 @@ ARO is a domain-specific language where every statement follows the pattern:
 | | |
 |---|---|
 | **Version** | v1.1.0 (tag `v1.1.0`) |
-| **Checksum** | `9383b5052e5e5d88` |
+| **Checksum** | `45a5680524fdfc49` |
 | **Base model** | [mlx-community/Qwen3-Coder-30B-A3B-Instruct-bf16](https://huggingface.co/mlx-community/Qwen3-Coder-30B-A3B-Instruct-bf16) |
 | **Teacher source** | conversation_boosted (30B MoE teacher distilled to 8B student) |
 | **Quantization** | 6-bit MLX, group size 32 |
 | **Language** | ARO |
-| **Training samples** | 5723 |
+| **Training samples** | 6260 |
 
 ## Links
 
@@ -45,7 +45,7 @@ ARO is a domain-specific language where every statement follows the pattern:
 |---|---|---|
 | Reply rate | 100.0% | 100.0% |
 | Empty-think collapse | 0.0% | 0.0% |
-| Syntax pass rate (`aro check`) | 68.8% | 70.7% |
+| Syntax pass rate (`aro check`) | 75.5% | 75.8% |
 | Tool-name leakage | 0.0% | 0.0% |
 | URL contamination | 0.0% | 0.0% |
 
@@ -133,7 +133,7 @@ Key features:
 
 This model was trained with the ARO training pipeline:
 
-1. **Corpus collection** — 5723 samples from Examples, Book, Wiki, Proposals, and real-world ARO applications
+1. **Corpus collection** — 6260 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
@@ -144,7 +144,7 @@ This model was trained with the ARO training pipeline:
 
 | Version | Date | Source | Checksum |
 |---|---|---|---|
-| v1.1.0 | 2026-08-06 | conversation_boosted | `9383b5052e5e5d88` |
+| v1.1.0 | 2026-08-10 | conversation_boosted | `45a5680524fdfc49` |
 
 Every release is tagged on the Hub — load an older version with
 `load("ARO-Lang/aro-coder-6bit", revision="v<version>")` or report issues against

eval/last-run.json

@@ -1,393 +0,0 @@
-{
-  "model_id": "ARO-Lang/aro-coder-6bit",
-  "hub_commit": "7bf8c002c5637128ab922f9db15aa6c384cbdc43",
-  "version": null,
-  "validated_at": "2026-08-06T21:04:33.757421+00:00",
-  "prompt_source": "bundled aro_system_prompt.txt",
-  "passed": true,
-  "breaches": [],
-  "gates": {
-    "reply_rate_min": 0.5,
-    "empty_think_max": 0.2,
-    "syntax_pass_min": 0.4,
-    "tool_leak_max": 0.02,
-    "url_contam_max": 0.05
-  },
-  "metrics": {
-    "reply_rate": 1.0,
-    "empty_think_rate": 0.0,
-    "syntax_pass_rate": 0.7619047619047619,
-    "tool_leak_rate": 0.0,
-    "url_contam_rate": 0.0,
-    "qa_answer_rate": 0.875,
-    "total": 26,
-    "with_code": 21,
-    "syntax_pass": 16
-  },
-  "results": [
-    {
-      "idx": 1,
-      "mode": "code",
-      "cat": "repl_oneliner",
-      "prompt": "Write a single ARO line that logs 'Hello, World!' to the console.",
-      "reply": "```aro\nLog 'Hello, World!' to the <console>.\n```",
-      "empty_think": false,
-      "has_code": true,
-      "aro_check_pass": false,
-      "check_error": "main.aro:",
-      "check_error_class": "other",
-      "tool_leak": false,
-      "url_contam": false
-    },
-    {
-      "idx": 2,
-      "mode": "code",
-      "cat": "repl_block",
-      "prompt": "Write ARO statements that create a list of three numbers and log its length.",
-      "reply": "```aro\n(Application-Start: Example) {\n    Create the <numbers> with [1, 2, 3].\n    Log <numbers> to the <console>.\n}\n```",
-      "empty_think": false,
-      "has_code": true,
-      "aro_check_pass": true,
-      "check_error": "",
-      "check_error_class": null,
-      "tool_leak": false,
-      "url_contam": false
-    },
-    {
-      "idx": 3,
-      "mode": "code",
-      "cat": "application",
-      "prompt": "Write a minimal ARO application that logs Hello World and exits.",
-      "reply": "```aro\n(Application-Start: Hello World) {\n    Log \"Hello World\" to the <console>.\n    Return an <OK: status> for the <startup>.\n}\n```",
-      "empty_think": false,
-      "has_code": true,
-      "aro_check_pass": true,
-      "check_error": "",
-      "check_error_class": null,
-      "tool_leak": false,
-      "url_contam": false
-    },
-    {
-      "idx": 4,
-      "mode": "code",
-      "cat": "application",
-      "prompt": "Write an ARO Application-Start that starts an HTTP server and keeps running with Keepalive.",
-      "reply": "```aro\n(Application-Start: Server Demo) {\n    Log \"Starting...\" to the <console>.\n    Start the <http-server> with <contract>.\n    Keepalive the <application> for the <events>.\n    Return an <OK: status> for the <startup>.\n}\n```",
-      "empty_think": false,
-      "has_code": true,
-      "aro_check_pass": true,
-      "check_error": "",
-      "check_error_class": null,
-      "tool_leak": false,
-      "url_contam": false
-    },
-    {
-      "idx": 5,
-      "mode": "code",
-      "cat": "application",
-      "prompt": "Write an ARO Application-End: Success handler that logs a shutdown message.",
-      "reply": "```aro\n(Application-End: Success) {\n    Log \"Shutting down...\" to the <console>.\n}\n```",
-      "empty_think": false,
-      "has_code": true,
-      "aro_check_pass": true,
-      "check_error": "",
-      "check_error_class": null,
-      "tool_leak": false,
-      "url_contam": false
-    },
-    {
-      "idx": 6,
-      "mode": "code",
-      "cat": "http_api",
-      "prompt": "Write an ARO feature set named getUser that retrieves a user by ID from the user-repository and returns it as an OK response.",
-      "reply": "```aro\n(getUser: User API) {\n    Extract the <id> from the <pathParameters: id>.\n    Retrieve the <user> from the <user-repository> where id = <id>.\n    Return an <OK: status> with <user>.\n}\n```",
-      "empty_think": false,
-      "has_code": true,
-      "aro_check_pass": false,
-      "check_error": "main.aro:",
-      "check_error_class": "other",
-      "tool_leak": false,
-      "url_contam": false
-    },
-    {
-      "idx": 7,
-      "mode": "code",
-      "cat": "http_api",
-      "prompt": "Write an ARO feature set named createOrder that extracts the request body, stores a new order, and returns a Created status.",
-      "reply": "```aro\n(createOrder: Orders API) {\n    Extract the <order> from the <request: body>.\n    Store the <new-order> into the <order-repository>.\n    Return a <Created: status> with <new-order>.\n}\n```",
-      "empty_think": false,
-      "has_code": true,
-      "aro_check_pass": true,
-      "check_error": "",
-      "check_error_class": null,
-      "tool_leak": false,
-      "url_contam": false
-    },
-    {
-      "idx": 8,
-      "mode": "code",
-      "cat": "http_api",
-      "prompt": "Write an ARO feature set named listProducts that retrieves all products and returns them.",
-      "reply": "```aro\n(listProducts: Product API) {\n    Retrieve the <products> from the <product-repository>.\n    Return an <OK: status> with <products>.\n}\n```",
-      "empty_think": false,
-      "has_code": true,
-      "aro_check_pass": true,
-      "check_error": "",
-      "check_error_class": null,
-      "tool_leak": false,
-      "url_contam": false
-    },
-    {
-      "idx": 9,
-      "mode": "code",
-      "cat": "event_handler",
-      "prompt": "Write an ARO event handler that sends a welcome email when a UserCreated event is received.",
-      "reply": "```aro\n(Send Email: UserCreated Handler) {\n    Extract the <user> from the <event: user>.\n    Send the <welcome-email> to the <user: email>.\n    Return an <OK: status> for the <notification>.\n}\n```",
-      "empty_think": false,
-      "has_code": true,
-      "aro_check_pass": true,
-      "check_error": "",
-      "check_error_class": null,
-      "tool_leak": false,
-      "url_contam": false
-    },
-    {
-      "idx": 10,
-      "mode": "code",
-      "cat": "event_handler",
-      "prompt": "Write an ARO feature set that emits an OrderPlaced event with the order data.",
-      "reply": "```aro\n(OrderPlaced: Event Example) {\n    Extract the <order> from the <request: body>.\n    Emit a <OrderPlaced: event> with <order>.\n}\n```",
-      "empty_think": false,
-      "has_code": true,
-      "aro_check_pass": true,
-      "check_error": "",
-      "check_error_class": null,
-      "tool_leak": false,
-      "url_contam": false
-    },
-    {
-      "idx": 11,
-      "mode": "code",
-      "cat": "repository",
-      "prompt": "Write an ARO feature set that observes the user-repository and logs every change.",
-      "reply": "```aro\n(Application-Start: Watch User Changes) {\n    Log \"Starting user change watcher...\" to the <console>.\n    Start the <file-monitor> for the <user-repository>.\n    Keepalive the <application> for the <events>.\n    Return an <OK: status> for the <startup>.\n}\n```",
-      "empty_think": false,
-      "has_code": true,
-      "aro_check_pass": true,
-      "check_error": "",
-      "check_error_class": null,
-      "tool_leak": false,
-      "url_contam": false
-    },
-    {
-      "idx": 12,
-      "mode": "code",
-      "cat": "repository",
-      "prompt": "Write an ARO feature set that stores a new record in the sessions-repository and emits a SessionCreated event.",
-      "reply": "```aro\n(Store Session: Example) {\n    Create the <session> with { id: 1, name: \"Example\" }.\n    Store the <session> into the <sessions-repository>.\n    Emit a <SessionCreated: event> with <session>.\n}\n```",
-      "empty_think": false,
-      "has_code": true,
-      "aro_check_pass": true,
-      "check_error": "",
-      "check_error_class": null,
-      "tool_leak": false,
-      "url_contam": false
-    },
-    {
-      "idx": 13,
-      "mode": "code",
-      "cat": "iteration",
-      "prompt": "Write an ARO for-each loop that logs each item in a list of names.",
-      "reply": "```aro\n(LogNames: Example) {\n    Create the <names> with [\"Alice\", \"Bob\", \"Carol\"].\n    For each <name> in <names> {\n        Log <name> to the <console>.\n    }\n}\n```",
-      "empty_think": false,
-      "has_code": true,
-      "aro_check_pass": true,
-      "check_error": "",
-      "check_error_class": null,
-      "tool_leak": false,
-      "url_contam": false
-    },
-    {
-      "idx": 14,
-      "mode": "code",
-      "cat": "conditional",
-      "prompt": "Write an ARO feature set with a When guard that only returns OK when the user role is \"admin\".",
-      "reply": "```aro\n(GuardedAdmin: Example) {\n    Extract the <user-role> from the <request: role>.\n    When <user-role> = \"admin\" {\n        Return an <OK: status> for the <check>.\n    }\n}\n```",
-      "empty_think": false,
-      "has_code": true,
-      "aro_check_pass": false,
-      "check_error": "main.aro:",
-      "check_error_class": "other",
-      "tool_leak": false,
-      "url_contam": false
-    },
-    {
-      "idx": 15,
-      "mode": "code",
-      "cat": "computation",
-      "prompt": "Write an ARO feature set that computes the total price from price and quantity and returns it.",
-      "reply": "```aro\n(ComputeTotal: Example) {\n    Extract the <price> from the <request: price>.\n    Extract the <quantity> from the <request: quantity>.\n    Compute the <total: price> from <price> * <quantity>.\n    Return an <OK: status> with <total>.\n}\n```",
-      "empty_think": false,
-      "has_code": true,
-      "aro_check_pass": true,
-      "check_error": "",
-      "check_error_class": null,
-      "tool_leak": false,
-      "url_contam": false
-    },
-    {
-      "idx": 16,
-      "mode": "code",
-      "cat": "user_action",
-      "prompt": "Define an ARO user-defined action named DoubleValue that doubles a number.",
-      "reply": "```aro\n(DoubleValue: Action takes <number>) {\n    Extract the <n> from the <input: number>.\n    Compute the <doubled> from <n> * 2.\n    Return an <OK: status> with { doubled: <doubled> }.\n}\n```",
-      "empty_think": false,
-      "has_code": true,
-      "aro_check_pass": true,
-      "check_error": "",
-      "check_error_class": null,
-      "tool_leak": false,
-      "url_contam": false
-    },
-    {
-      "idx": 17,
-      "mode": "code",
-      "cat": "debugging",
-      "prompt": "Fix this ARO code so it passes aro check:\n\n```aro\n(listUsers: User API) {\n    Retrieve the <users> from the <user-repository>.\n    Return an <OK: status> with <users>.\n```",
-      "reply": "```aro\n(listUsers: User API) {\n    Retrieve the <users> from the <user-repository>.\n    Return an <OK: status> with <users>.\n}\n```",
-      "empty_think": false,
-      "has_code": true,
-      "aro_check_pass": true,
-      "check_error": "",
-      "check_error_class": null,
-      "tool_leak": false,
-      "url_contam": false
-    },
-    {
-      "idx": 18,
-      "mode": "code",
-      "cat": "file",
-      "prompt": "Write an ARO Application-Start that reads a config file and logs its contents.",
-      "reply": "```aro\n(Application-Start: Config Reader) {\n    Read the <config> from the <file: \"config.json\">.\n    Log <config> to the <console>.\n    Return an <OK: status> for the <startup>.\n}\n```",
-      "empty_think": false,
-      "has_code": true,
-      "aro_check_pass": true,
-      "check_error": "",
-      "check_error_class": null,
-      "tool_leak": false,
-      "url_contam": false
-    },
-    {
-      "idx": 19,
-      "mode": "qa",
-      "cat": "explain",
-      "prompt": "What is the difference between Extract and Compute actions in ARO?",
-      "reply": "The Extract action is OWN-role. It extracts a value from an existing object or data structure. For example:\n```aro\nExtract the <total: count> from the <order: total>.\n```\n\nThe Compute action is OWN-role. It derives a new value from existing data. For example:\n```aro\nCompute the <total: count> from the <order: total>.\n```",
-      "empty_think": false,
-      "has_code": true,
-      "aro_check_pass": false,
-      "check_error": "main.aro:",
-      "check_error_class": "other",
-      "tool_leak": false,
-      "url_contam": false
-    },
-    {
-      "idx": 20,
-      "mode": "qa",
-      "cat": "explain",
-      "prompt": "How do I emit a custom event in ARO and handle it in another feature set?",
-      "reply": "```aro\n(Application-Start: Custom Event Demo) {\n    Log \"Starting...\" to the <console>.\n    Start the <http-server> with <contract>.\n    Keepalive the <application> for the <events>.\n    Return an <OK: status> for the <startup>.\n}\n\n(Emit Custom Event: Example) {\n    Create the <event> with { name: \"Custom Event\", data: \"example\" }.\n    Emit a <CustomEvent: event> with <event>.\n}\n\n(Send Custom Event: CustomEvent Handler) {\n    Extract the <event> from the <event: event>.\n    Log <event> to the <c",
-      "empty_think": false,
-      "has_code": true,
-      "aro_check_pass": true,
-      "check_error": "",
-      "check_error_class": null,
-      "tool_leak": false,
-      "url_contam": false
-    },
-    {
-      "idx": 21,
-      "mode": "qa",
-      "cat": "explain",
-      "prompt": "How does the Publish action work in ARO? Give an example.",
-      "reply": "The Publish action exports data or makes it visible. It takes the data to publish and the destination (e.g., console, file, or network).\n```aro\n(Application-Start: Example) {\n    Log \"Starting...\" to the <console>.\n    Publish as <status> <startup>.\n}\n```",
-      "empty_think": false,
-      "has_code": true,
-      "aro_check_pass": false,
-      "check_error": "main.aro:",
-      "check_error_class": "other",
-      "tool_leak": false,
-      "url_contam": false
-    },
-    {
-      "idx": 22,
-      "mode": "qa",
-      "cat": "explain",
-      "prompt": "Why are ARO variables immutable and how do I update a value?",
-      "reply": "Every feature set ends with a Return or Throw \u2014 there are no intermediate assignments. To change a value you must extract it fresh from the existing data.",
-      "empty_think": false,
-      "has_code": false,
-      "aro_check_pass": null,
-      "check_error": "",
-      "check_error_class": null,
-      "tool_leak": false,
-      "url_contam": false
-    },
-    {
-      "idx": 23,
-      "mode": "qa",
-      "cat": "explain",
-      "prompt": "What does the Keepalive action do and when do I need it?",
-      "reply": "The `Keepalive` action maintains a connection or periodically checks the status of a service. Use it to ensure a service stays alive and responsive, especially when waiting for events or maintaining a connection.",
-      "empty_think": false,
-      "has_code": false,
-      "aro_check_pass": null,
-      "check_error": "",
-      "check_error_class": null,
-      "tool_leak": false,
-      "url_contam": false
-    },
-    {
-      "idx": 24,
-      "mode": "qa",
-      "cat": "explain",
-      "prompt": "How does contract-first HTTP routing work in ARO?",
-      "reply": "The Application-Start handler processes the <startup: event> and creates the <http-server>. The <contract> describes the HTTP routes and their handlers. The server listens on the <contract: port> and routes incoming requests to the corresponding handlers based on the <contract: routes>.",
-      "empty_think": false,
-      "has_code": false,
-      "aro_check_pass": null,
-      "check_error": "",
-      "check_error_class": null,
-      "tool_leak": false,
-      "url_contam": false
-    },
-    {
-      "idx": 25,
-      "mode": "qa",
-      "cat": "edge",
-      "prompt": "Does ARO have error handling? Explain the error philosophy briefly.",
-      "reply": "Yes. ARO uses `Return` to end each feature set with a status. The runtime turns every non-OK status to a 500 error.",
-      "empty_think": false,
-      "has_code": false,
-      "aro_check_pass": null,
-      "check_error": "",
-      "check_error_class": null,
-      "tool_leak": false,
-      "url_contam": false
-    },
-    {
-      "idx": 26,
-      "mode": "qa",
-      "cat": "edge",
-      "prompt": "What is a .store file in ARO and when is it writable?",
-      "reply": "Every application must keep its state in the `.store` file \u2014 the runtime maintains it across restarts.",
-      "empty_think": false,
-      "has_code": false,
-      "aro_check_pass": null,
-      "check_error": "",
-      "check_error_class": null,
-      "tool_leak": false,
-      "url_contam": false
-    }
-  ]
-}

model-00001-of-00002.safetensors

@@ -1,3 +1,3 @@
 version https://git-lfs.github.com/spec/v1
-oid sha256:75f36a8113368f06c11aff949cd0492339264060bace2928fdab469b3ecb1031
+oid sha256:7ee9bacaa0f08de8b98fab4d81a38b48fbe48b8674936b02ea7c851760d62957
 size 5352815610

model-00002-of-00002.safetensors

@@ -1,3 +1,3 @@
 version https://git-lfs.github.com/spec/v1
-oid sha256:49bc13f0ee203a7723c840c59c209f7f99b91058c9926986a3db748d225de7c3
+oid sha256:6330b682426ca8d51d2bb1b6b0b59777f6290fe7436adaeb32509a8757ac357e
 size 1814528290

promotion_gate.json

@@ -1,17 +1,17 @@
 {
   "reply_rate": 1.0,
   "empty_think_rate": 0.0,
-  "syntax_pass_rate": 0.6881720430107527,
+  "syntax_pass_rate": 0.7553191489361702,
   "tool_leak_rate": 0.0,
   "url_contam_rate": 0.0,
   "total": 104,
-  "with_code": 93,
+  "with_code": 94,
   "results": [
     {
       "idx": 1,
       "cat": "repl_oneliner",
       "prompt": "Write a single ARO line that logs the message 'Hello, World!' to the console.",
-      "reply": "```aro\nLog \"Hello, World!\" to the <console>.\n```",
+      "reply": "```aro\nLog 'Hello, World!' to the <console>.\n```",
       "empty_think": false,
       "has_code": true,
       "tool_leak": false,
@@ -21,7 +21,7 @@
       "idx": 2,
       "cat": "repl_oneliner",
       "prompt": "Write one ARO statement that retrieves the current time from the clock.",
-      "reply": "```aro\nRetrieve the <current-time> from the <clock>.\n```",
+      "reply": "```aro\nRetrieve the <now> from the <clock>.\n```",
       "empty_think": false,
       "has_code": true,
       "tool_leak": false,
@@ -31,7 +31,7 @@
       "idx": 3,
       "cat": "repl_oneliner",
       "prompt": "Write a single line that computes the length of the string 'banana'.",
-      "reply": "```aro\nCompute the <length: length> from the <message: \"banana\">.\n```",
+      "reply": "```aro\nCompute the <total: length> from the <message>.\n```",
       "empty_think": false,
       "has_code": true,
       "tool_leak": false,
@@ -41,7 +41,7 @@
       "idx": 4,
       "cat": "repl_oneliner",
       "prompt": "Write one ARO statement that converts the string 'hello' to uppercase.",
-      "reply": "```aro\nConvert the <upper: uppercase> from the <message: \"hello\">.\n```",
+      "reply": "```aro\nCompute the <uppercase: uppercase> from the <input>.\n```",
       "empty_think": false,
       "has_code": true,
       "tool_leak": false,
@@ -51,7 +51,7 @@
       "idx": 5,
       "cat": "repl_oneliner",
       "prompt": "Write one line that hashes the password 'secret'.",
-      "reply": "```aro\nHash the <hash: password> from the <password>.\n```",
+      "reply": "```aro\nHash the <password> from the <input: password>.\n```",
       "empty_think": false,
       "has_code": true,
       "tool_leak": false,
@@ -71,7 +71,7 @@
       "idx": 7,
       "cat": "repl_oneliner",
       "prompt": "Write one line that retrieves the git status.",
-      "reply": "```aro\nRetrieve the <git-status> from the <git>.\n```",
+      "reply": "```aro\nRetrieve the <status> from the <git>.\n```",
       "empty_think": false,
       "has_code": true,
       "tool_leak": false,
@@ -111,7 +111,7 @@
       "idx": 11,
       "cat": "repl_block",
       "prompt": "Write a 3-statement ARO snippet that reads a file, uppercases it, and logs the result.",
-      "reply": "```aro\nRead the <file-content> from the <file: \"data.txt\">.\nCompute the <uppercase: upper-case> from the <file-content>.\nLog <uppercase> to the <console>.\n```",
+      "reply": "```aro\nRead the <content> from the <file: \"data.txt\">.\nCompute the <uppercase: uppercase> from the <content>.\nLog <uppercase> to the <console>.\n```",
       "empty_think": false,
       "has_code": true,
       "tool_leak": false,
@@ -121,7 +121,7 @@
       "idx": 12,
       "cat": "repl_block",
       "prompt": "Write a 4-statement snippet that fetches users from a repository, computes the count, and logs it.",
-      "reply": "```aro\n(Application-Start: User API) {\n    Retrieve the <users> from the <user-repository>.\n    Compute the <total: count> from the <users>.\n    Log <total> to the <console>.\n}\n```",
+      "reply": "```aro\n(Fetch Users: User API) {\n    Retrieve the <users> from the <user-repository>.\n    Compute the <total: count> from the <users>.\n    Log <total> to the <console>.\n    Return an <OK: status> with <total>.\n}\n```",
       "empty_think": false,
       "has_code": true,
       "tool_leak": false,
@@ -131,7 +131,7 @@
       "idx": 13,
       "cat": "repl_block",
       "prompt": "Write an ARO snippet that stages all changes, commits with message 'wip', and pushes.",
-      "reply": "```aro\n(Application-Start: Example) {\n    Stage the <result> from the <git>.\n    Commit the <result> to the <git> with \"wip\".\n    Push the <result> to the <git>.\n}\n```",
+      "reply": "```aro\n(Application-Start: Git Ops) {\n    Stage the <files> to the <git>.\n    Commit the <result> to the <git> with \"wip\".\n    Push the <result> to the <git>.\n    Return an <OK: status> for the <startup>.\n}\n```",
       "empty_think": false,
       "has_code": true,
       "tool_leak": false,
@@ -141,7 +141,7 @@
       "idx": 14,
       "cat": "repl_block",
       "prompt": "Write a 3-statement snippet that creates a list, computes its length, and logs the length.",
-      "reply": "```aro\n(Application-Start: List Demo) {\n    Create the <items> with [1, 2, 3].\n    Compute the <total: length> from the <items>.\n    Log <total> to the <console>.\n}\n```",
+      "reply": "```aro\n(CreateUsers: User API) {\n    Create the <users> with [\n        { name: \"Alice\", email: \"alice@example.com\" },\n        { name: \"Bob\", email: \"bob@example.com\" },\n        { name: \"Carol\", email: \"carol@example.com\" }\n    ].\n    Compute the <total: count> from the <users>.\n    Log <total> to the <console>.\n}\n```",
       "empty_think": false,
       "has_code": true,
       "tool_leak": false,
@@ -151,7 +151,7 @@
       "idx": 15,
       "cat": "repl_block",
       "prompt": "Write a snippet that extracts a name from an event, uppercases it, and stores it back in a variable.",
-      "reply": "```aro\nExtract the <name> from the <event: name>.\nCompute the <uppercase-name: uppercase> from the <name>.\nStore the <uppercase-name> into the <name>.\n```",
+      "reply": "```aro\n(ExtractName: Example) {\n    Extract the <name> from the <event: name>.\n    Compute the <uppercase-name: uppercase> from <name>.\n    Store the <uppercase-name> into the <name>.\n    Return an <OK: status> with <name>.\n}\n```",
       "empty_think": false,
       "has_code": true,
       "tool_leak": false,
@@ -161,7 +161,7 @@
       "idx": 16,
       "cat": "repl_block",
       "prompt": "Write a 3-statement snippet that computes 3 + 4, multiplies by 2, and logs the result.",
-      "reply": "```aro\n(Application-Start: Example) {\n    Compute the <total: sum> from 3 + 4.\n    Compute the <result: total> from <total>.\n    Log <result> to the <console>.\n}\n```",
+      "reply": "```aro\n(Compute Total: Example) {\n    Extract the <total> from the <request: total>.\n    Compute the <total: total> from <total>.\n    Log <total> to the <console>.\n}\n```",
       "empty_think": false,
       "has_code": true,
       "tool_leak": false,
@@ -171,7 +171,7 @@
       "idx": 17,
       "cat": "repl_block",
       "prompt": "Write a snippet that reads two numbers and returns their sum.",
-      "reply": "```aro\n(Application-Start: Example) {\n    Read the <a> from the <console>.\n    Read the <b> from the <console>.\n    Compute the <total: sum> from <a> + <b>.\n    Return an <OK: status> with <total>.\n}\n```",
+      "reply": "```aro\n(Application-Start: Sum Numbers) {\n    Read the <a> from the <request: a>.\n    Read the <b> from the <request: b>.\n    Compute the <total: a + b>.\n    Return an <OK: status> with <total>.\n}\n```",
       "empty_think": false,
       "has_code": true,
       "tool_leak": false,
@@ -181,7 +181,7 @@
       "idx": 18,
       "cat": "repl_block",
       "prompt": "Write a snippet that filters a list of users where age > 18 and counts them.",
-      "reply": "```aro\n(FilterUsers: Example) {\n    Create the <users> with [\n        { name: \"Alice\", age: 25 },\n        { name: \"Bob\", age: 17 },\n        { name: \"Carol\", age: 30 }\n    ].\n    Filter the <adults: users> from the <users> where <age> > 18.\n    Compute the <total: count> from the <adults>.\n    Return an <OK: status> with <total>.\n}\n```",
+      "reply": "```aro\n(Filter Users: User API) {\n    Extract the <users> from the <request: body>.\n    Filter the <active-users> from the <users>.\n    Compute the <total: count> from the <active-users>.\n    Return an <OK: status> with <total>.\n}\n```",
       "empty_think": false,
       "has_code": true,
       "tool_leak": false,
@@ -191,7 +191,7 @@
       "idx": 19,
       "cat": "repl_block",
       "prompt": "Write a snippet that joins two lists and stores the result as <combined>.",
-      "reply": "```aro\n(JoinLists: Example) {\n    Create the <list-a> with [1, 2, 3].\n    Create the <list-b> with [4, 5, 6].\n    Combine the <combined> from the <list-a> with <list-b>.\n}\n```",
+      "reply": "```aro\n(Join Lists: Example) {\n    Create the <list-a> with [1, 2, 3].\n    Create the <list-b> with [4, 5, 6].\n    Combine the <combined> from <list-a> with <list-b>.\n}\n```",
       "empty_think": false,
       "has_code": true,
       "tool_leak": false,
@@ -201,7 +201,7 @@
       "idx": 20,
       "cat": "repl_block",
       "prompt": "Write a snippet that parses a JSON string and extracts the 'name' field.",
-      "reply": "```aro\n(ParseUser: Example) {\n    Parse the <user> from the <request: body>.\n    Extract the <name> from the <user: name>.\n    Return an <OK: status> with <name>.\n}\n```",
+      "reply": "```aro\n(ParseUser: Example) {\n    Extract the <user> from the <request: body>.\n    Extract the <name> from the <user: name>.\n    Return an <OK: status> with <name>.\n}\n```",
       "empty_think": false,
       "has_code": true,
       "tool_leak": false,
@@ -221,7 +221,7 @@
       "idx": 22,
       "cat": "user_action",
       "prompt": "Write a user-defined action 'Greet' that takes a name and returns a greeting string.",
-      "reply": "```aro\n(Greet: User API) {\n    Extract the <name> from the <request: name>.\n    Return an <OK: status> with <name>.\n}\n```",
+      "reply": "```aro\n(Greet: Action) {\n    Extract the <name> from the <input: name>.\n    Return an <OK: status> with <name>.\n}\n```",
       "empty_think": false,
       "has_code": true,
       "tool_leak": false,
@@ -231,7 +231,7 @@
       "idx": 23,
       "cat": "user_action",
       "prompt": "Write a user-defined action 'AddTwoNumbers' that takes two numbers and returns their sum.",
-      "reply": "```aro\n(AddTwoNumbers: Action takes <a>, <b>) {\n    Extract the <a> from the <input: a>.\n    Extract the <b> from the <input: b>.\n    Compute the <sum> from <a> + <b>.\n    Return an <OK: status> with <sum>.\n}\n```",
+      "reply": "```aro\n(AddTwoNumbers: Action) {\n    Extract the <a> from the <input: a>.\n    Extract the <b> from the <input: b>.\n    Compute the <total> from <a> + <b>.\n    Return an <OK: status> with <total>.\n}\n```",
       "empty_think": false,
       "has_code": true,
       "tool_leak": false,
@@ -241,7 +241,7 @@
       "idx": 24,
       "cat": "user_action",
       "prompt": "Write a user-defined action 'ValidateEmail' that takes an email string and returns OK or Error.",
-      "reply": "```aro\n(ValidateEmail: Action takes <email>) {\n    Extract the <address> from the <email: address>.\n    Return an <OK: status> with <address>.\n}\n```",
+      "reply": "```aro\n(ValidateEmail: Action) {\n    Extract the <email> from the <input: email>.\n    Return an <OK: status> with <email>.\n}\n```",
       "empty_think": false,
       "has_code": true,
       "tool_leak": false,
@@ -251,7 +251,7 @@
       "idx": 25,
       "cat": "user_action",
       "prompt": "Write a user-defined action 'Square' that takes a number and returns its square.",
-      "reply": "```aro\n(Square: Action takes <number>) {\n    Extract the <n> from the <input: number>.\n    Compute the <squared> from <n> * <n>.\n    Return an <OK: status> with <squared>.\n}\n```",
+      "reply": "```aro\n(Square: Action) {\n    Extract the <number> from the <input: number>.\n    Compute the <squared> from <number> * <number>.\n    Return an <OK: status> with <squared>.\n}\n```",
       "empty_think": false,
       "has_code": true,
       "tool_leak": false,
@@ -261,7 +261,7 @@
       "idx": 26,
       "cat": "user_action",
       "prompt": "Write a user-defined action 'FormatDate' that takes a date and a format string.",
-      "reply": "```aro\n(FormatDate: User API) {\n    Extract the <date> from the <request: date>.\n    Extract the <format> from the <request: format>.\n    Format the <formatted-date> from the <date> with <format>.\n    Return an <OK: status> with <formatted-date>.\n}\n```",
+      "reply": "```aro\n(FormatDate: Action) {\n    Extract the <date> from the <input: date>.\n    Extract the <format> from the <input: format>.\n    Return an <OK: status> with <date>.\n}\n```",
       "empty_think": false,
       "has_code": true,
       "tool_leak": false,
@@ -271,7 +271,7 @@
       "idx": 27,
       "cat": "user_action",
       "prompt": "Write a user-defined action 'CountWords' that takes a string and returns the word count.",
-      "reply": "```aro\n(CountWords: Action takes <text>) {\n    Extract the <words> from the <text>.\n    Compute the <total: count> from the <words>.\n    Return an <OK: status> with <total>.\n}\n```",
+      "reply": "```aro\n(CountWords: Action) {\n    Extract the <text> from the <input: text>.\n    Split the <words> from the <text>.\n    Compute the <total: count> from the <words>.\n    Return an <OK: status> with <total>.\n}\n```",
       "empty_think": false,
       "has_code": true,
       "tool_leak": false,
@@ -281,7 +281,7 @@
       "idx": 28,
       "cat": "user_action",
       "prompt": "Write a user-defined action 'PickRandom' that takes a list and returns a random element.",
-      "reply": "```aro\n(PickRandom: Action takes <list>) {\n    Extract the <items> from the <input: list>.\n    Compute the <random-item: pick-random> from the <items>.\n    Return an <OK: status> with <random-item>.\n}\n```",
+      "reply": "```aro\n(PickRandom: Action) {\n    Extract the <items> from the <input: items>.\n    Return an <OK: status> with <items>.\n}\n```",
       "empty_think": false,
       "has_code": true,
       "tool_leak": false,
@@ -291,7 +291,7 @@
       "idx": 29,
       "cat": "user_action",
       "prompt": "Write a user-defined action 'Capitalize' that takes a string and uppercases its first letter.",
-      "reply": "```aro\n(Capitalize: Action takes <text>) {\n    Extract the <lower: text> from the <input: text>.\n    Compute the <upper: uppercase> from <lower>.\n    Return an <OK: status> with <upper>.\n}\n```",
+      "reply": "```aro\n(Capitalize: Action) {\n    Extract the <text> from the <input: text>.\n    Compute the <capitalized: uppercase> from <text>.\n    Return an <OK: status> with <capitalized>.\n}\n```",
       "empty_think": false,
       "has_code": true,
       "tool_leak": false,
@@ -301,7 +301,7 @@
       "idx": 30,
       "cat": "user_action",
       "prompt": "Write a user-defined action 'ComputeTax' that takes a price and a rate and returns the tax.",
-      "reply": "```aro\nComputeTax: User Defined Action takes <price>, <rate>.\n```",
+      "reply": "```aro\n(ComputeTax: Action) {\n    Extract the <price> from the <input: price>.\n    Extract the <rate> from the <input: rate>.\n    Compute the <tax> from <price> * <rate>.\n    Return an <OK: status> with <tax>.\n}\n```",
       "empty_think": false,
       "has_code": true,
       "tool_leak": false,
@@ -321,7 +321,7 @@
       "idx": 32,
       "cat": "event_handler",
       "prompt": "Write an event handler for OrderPlaced that decrements inventory.",
-      "reply": "```aro\n(Send Email: OrderPlaced Handler) {\n    Extract the <order> from the <event: order>.\n    Retrieve the <inventory> from the <inventory-repository>.\n    Decrement the <inventory: quantity> from <order: quantity>.\n    Store the <inventory> into the <inventory-repository>.\n    Return an <OK: status> for the <notification>.\n}\n```",
+      "reply": "```aro\n(Send Email: OrderPlaced Handler) {\n    Extract the <order> from the <event: order>.\n    Retrieve the <products> from the <order: products>.\n    For each <product> in <products> {\n        Retrieve the <total> from the <product: total>.\n        Update the <inventory: total> for the <product>.\n    }\n    Return an <OK: status> for the <notification>.\n}\n```",
       "empty_think": false,
       "has_code": true,
       "tool_leak": false,
@@ -331,7 +331,7 @@
       "idx": 33,
       "cat": "event_handler",
       "prompt": "Write an event handler for PaymentFailed that logs the error and notifies the user.",
-      "reply": "```aro\n(Send Payment Failed Email: PaymentFailed Handler) {\n    Extract the <error> from the <event: error>.\n    Log <error> to the <console>.\n    Send the <payment-failed-email> to the <user: email>.\n    Return an <OK: status> for the <notification>.\n}\n```",
+      "reply": "```aro\n(Send Email: PaymentFailed Handler) {\n    Extract the <error> from the <event: error>.\n    Log <error> to the <console>.\n    Send the <error-email> to the <user: email>.\n    Return an <OK: status> for the <notification>.\n}\n```",
       "empty_think": false,
       "has_code": true,
       "tool_leak": false,
@@ -341,7 +341,7 @@
       "idx": 34,
       "cat": "event_handler",
       "prompt": "Write an event handler for FileChanged that re-reads the configuration.",
-      "reply": "```aro\n(FileChanged: File Event Handler) {\n    Read the <config> from the <file: \"config.json\">.\n    Log <config> to the <console>.\n}\n```",
+      "reply": "```aro\n(Application-Start: Config Loader) {\n    Log \"Starting Config Loader...\" to the <console>.\n    Start the <http-server> with <contract>.\n    Keepalive the <application> for the <events>.\n    Return an <OK: status> for the <startup>.\n}\n\n(Application-End: Success) {\n    Log \"Shutting down Config Loader...\" to the <console>.\n    Stop the <http-server> with <application>.\n    Return an <OK: status> for the <shutdown>.\n}\n\n(Application-End: Error) {\n    Extract the <error> from the <shutdown: er",
       "empty_think": false,
       "has_code": true,
       "tool_leak": false,
@@ -351,7 +351,7 @@
       "idx": 35,
       "cat": "event_handler",
       "prompt": "Write an event handler for LoginAttempt that records the IP address.",
-      "reply": "```aro\n(Send Login Attempt: LoginAttempt Handler) {\n    Extract the <ip> from the <event: ip>.\n    Log <ip> to the <console>.\n    Return an <OK: status> for the <login>.\n}\n```",
+      "reply": "```aro\n(Send Login Attempt: LoginAttempt Handler) {\n    Extract the <ip> from the <event: ip>.\n    Log <ip> to the <console>.\n    Return an <OK: status> for the <audit>.\n}\n```",
       "empty_think": false,
       "has_code": true,
       "tool_leak": false,
@@ -361,7 +361,7 @@
       "idx": 36,
       "cat": "event_handler",
       "prompt": "Write an event handler for GitPush that triggers a CI build.",
-      "reply": "```aro\n(GitPush: Event Handler) {\n    Extract the <result> from the <event: result>.\n    Start the <ci-build> with <result>.\n    Return an <OK: status> for the <build>.\n}\n```",
+      "reply": "```aro\n(Application-Start: CI) {\n    Log \"Starting...\" to the <console>.\n    Start the <http-server> with <contract>.\n    Keepalive the <application> for the <events>.\n    Return an <OK: status> for the <startup>.\n}\n\n(Application-End: Success) {\n    Log \"Shutting down...\" to the <console>.\n    Stop the <http-server> with <application>.\n    Return an <OK: status> for the <shutdown>.\n}\n\n(Application-End: Error) {\n    Extract the <error> from the <shutdown: error>.\n    Log <error> to the <console>.",
       "empty_think": false,
       "has_code": true,
       "tool_leak": false,
@@ -371,7 +371,7 @@
       "idx": 37,
       "cat": "event_handler",
       "prompt": "Write an event handler for SubscriptionExpired that downgrades the account.",
-      "reply": "```aro\n(Welcome: SubscriptionExpired Handler) {\n    Extract the <user> from the <event: user>.\n    Downgrade the <account> for the <user>.\n    Return an <OK: status> for the <notification>.\n}\n```",
+      "reply": "```aro\n(Notify Subscribers: SubscriptionExpired Handler) {\n    Extract the <user> from the <event: user>.\n    Send the <notification> to the <user: email>.\n    Return an <OK: status> for the <notification>.\n}\n```",
       "empty_think": false,
       "has_code": true,
       "tool_leak": false,
@@ -381,7 +381,7 @@
       "idx": 38,
       "cat": "event_handler",
       "prompt": "Write an event handler for ServerStarted that warms up the cache.",
-      "reply": "```aro\n(ServerStarted: Event Handler) {\n    Log \"Server started \u2014 warming up cache...\" to the <console>.\n    Retrieve the <cache> from the <cache-repository>.\n    Return an <OK: status> for the <warm-up>.\n}\n```",
+      "reply": "```aro\n(Application-Start: Server) {\n    Log \"Starting...\" to the <console>.\n    Start the <http-server> with <contract>.\n    Keepalive the <application> for the <events>.\n    Return an <OK: status> for the <startup>.\n}\n```",
       "empty_think": false,
       "has_code": true,
       "tool_leak": false,
@@ -391,7 +391,7 @@
       "idx": 39,
       "cat": "event_handler",
       "prompt": "Write an event handler for MessageReceived that echoes the message back.",
-      "reply": "```aro\n(Send Message: MessageReceived Handler) {\n    Extract the <message> from the <event: message>.\n    Send the <message> to the <console>.\n    Return an <OK: status> for the <message>.\n}\n```",
+      "reply": "```aro\n(Echo Message: MessageReceived Handler) {\n    Extract the <message> from the <event: message>.\n    Log <message> to the <console>.\n    Return an <OK: status> for the <echo>.\n}\n```",
       "empty_think": false,
       "has_code": true,
       "tool_leak": false,
@@ -401,7 +401,7 @@
       "idx": 40,
       "cat": "event_handler",
       "prompt": "Write an event handler for ImageUploaded that generates a thumbnail.",
-      "reply": "```aro\n(Send Thumbnail: ImageUploaded Handler) {\n    Extract the <image> from the <event: image>.\n    Create the <thumbnail> with <image>.\n    Return an <OK: status> with <thumbnail>.\n}\n```",
+      "reply": "```aro\n(Send Thumbnail: ImageUploaded Handler) {\n    Extract the <image> from the <event: image>.\n    Create the <thumbnail> from the <image>.\n    Return an <OK: status> with <thumbnail>.\n}\n```",
       "empty_think": false,
       "has_code": true,
       "tool_leak": false,
@@ -411,7 +411,7 @@
       "idx": 41,
       "cat": "application",
       "prompt": "Write a complete ARO Application-Start that prints Hello and exits.",
-      "reply": "```aro\n(Application-Start: Hello World) {\n    Log \"Hello\" to the <console>.\n    Return an <OK: status> for the <startup>.\n}\n```",
+      "reply": "```aro\n(Application-Start: Example) {\n    Log \"Hello\" to the <console>.\n    Return an <OK: status> for the <startup>.\n}\n```",
       "empty_think": false,
       "has_code": true,
       "tool_leak": false,
@@ -431,7 +431,7 @@
       "idx": 43,
       "cat": "application",
       "prompt": "Write a complete Application-Start that watches a directory for changes.",
-      "reply": "```aro\n(Application-Start: Watcher) {\n    Log \"Starting watcher...\" to the <console>.\n    Start the <file-monitor> for the <directory: \"./watched\">.\n    Keepalive the <application> for the <events>.\n    Return an <OK: status> for the <startup>.\n}\n```",
+      "reply": "```aro\n(Application-Start: Watcher) {\n    Log \"Starting...\" to the <console>.\n    Start the <file-monitor> with <directory>.\n    Keepalive the <application> for the <events>.\n    Return an <OK: status> for the <startup>.\n}\n```",
       "empty_think": false,
       "has_code": true,
       "tool_leak": false,
@@ -451,7 +451,7 @@
       "idx": 45,
       "cat": "application",
       "prompt": "Write a complete Application-Start that opens a TCP echo server on port 9000.",
-      "reply": "```aro\n(Application-Start: Echo Server) {\n    Start the <tcp-server> with <contract>.\n    Keepalive the <application> for the <events>.\n    Return an <OK: status> for the <startup>.\n}\n```",
+      "reply": "```aro\n(Application-Start: Echo Server) {\n    Log \"Starting Echo Server...\" to the <console>.\n    Start the <http-server> with <contract>.\n    Keepalive the <application> for the <events>.\n    Return an <OK: status> for the <startup>.\n}\n```",
       "empty_think": false,
       "has_code": true,
       "tool_leak": false,
@@ -471,7 +471,7 @@
       "idx": 47,
       "cat": "application",
       "prompt": "Write a complete Application-Start that connects to a database and runs a single query.",
-      "reply": "```aro\n(Application-Start: Database Demo) {\n    Log \"Starting...\" to the <console>.\n    Connect to the <database> with <connection-string>.\n    Retrieve the <users> from the <database>.\n    Return an <OK: status> for the <startup>.\n}\n```",
+      "reply": "```aro\n(Application-Start: Database App) {\n    Log \"Starting...\" to the <console>.\n    Start the <http-server> with <contract>.\n    Keepalive the <application> for the <events>.\n    Return an <OK: status> for the <startup>.\n}\n```",
       "empty_think": false,
       "has_code": true,
       "tool_leak": false,
@@ -481,7 +481,7 @@
       "idx": 48,
       "cat": "application",
       "prompt": "Write a complete Application-Start that reads command-line parameters and prints them.",
-      "reply": "```aro\n(Application-Start: Command Line App) {\n    Read the <args> from the <command-line: args>.\n    Log <args> to the <console>.\n    Return an <OK: status> for the <startup>.\n}\n```",
+      "reply": "```aro\n(Application-Start: CLI App) {\n    Extract the <args> from the <command-line: args>.\n    Log <args> to the <console>.\n    Return an <OK: status> for the <startup>.\n}\n```",
       "empty_think": false,
       "has_code": true,
       "tool_leak": false,
@@ -491,7 +491,7 @@
       "idx": 49,
       "cat": "application",
       "prompt": "Write a complete Application-Start that loads a configuration file and logs it.",
-      "reply": "```aro\n(Application-Start: Config Loader) {\n    Log \"Starting...\" to the <console>.\n    Read the <config> from the <file: \"config.json\">.\n    Log <config> to the <console>.\n    Return an <OK: status> for the <startup>.\n}\n```",
+      "reply": "```aro\n(Application-Start: Config Loader) {\n    Read the <config> from the <file: \"config.yaml\">.\n    Log <config> to the <console>.\n    Return an <OK: status> for the <startup>.\n}\n```",
       "empty_think": false,
       "has_code": true,
       "tool_leak": false,
@@ -501,7 +501,7 @@
       "idx": 50,
       "cat": "application",
       "prompt": "Write a complete Application-Start that prints the current git branch.",
-      "reply": "```aro\n(Application-Start: Git Branch Printer) {\n    Log \"Starting...\" to the <console>.\n    Start the <http-server> with <contract>.\n    Keepalive the <application> for the <events>.\n    Return an <OK: status> for the <startup>.\n}\n```",
+      "reply": "```aro\n(Application-Start: Example) {\n    Log \"Starting...\" to the <console>.\n    Start the <http-server> with <contract>.\n    Keepalive the <application> for the <events>.\n    Return an <OK: status> for the <startup>.\n}\n```",
       "empty_think": false,
       "has_code": true,
       "tool_leak": false,
@@ -521,7 +521,7 @@
       "idx": 52,
       "cat": "http_api",
       "prompt": "Write the openapi.yaml plus feature set for a POST /products endpoint.",
-      "reply": "```aro\n(Application-Start: Product API) {\n    Log \"Starting...\" to the <console>.\n    Start the <http-server> with <contract>.\n    Keepalive the <application> for the <events>.\n    Return an <OK: status> for the <startup>.\n}\n\n(createProduct: Product API) {\n    Extract the <product-data> from the <request: body>.\n    Create the <product> with <product-data>.\n    Emit a <ProductCreated: event> with <product>.\n    Return a <Created: status> with <product>.\n}\n\n```",
+      "reply": "```aro\n(Application-Start: Product Service) {\n    Log \"Starting Product Service...\" to the <console>.\n    Start the <http-server> with <contract>.\n    Keepalive the <application> for the <events>.\n    Return an <OK: status> for the <startup>.\n}\n\n(createProduct: Product API) {\n    Extract the <data> from the <request: body>.\n    Create the <product> with <data>.\n    Emit a <ProductCreated: event> with <product>.\n    Return a <Created: status> with <product>.\n}\n```",
       "empty_think": false,
       "has_code": true,
       "tool_leak": false,
@@ -531,7 +531,7 @@
       "idx": 53,
       "cat": "http_api",
       "prompt": "Write a feature set for getUserById that extracts the id from pathParameters.",
-      "reply": "```aro\n(getUserById: User API) {\n    Extract the <id> from the <pathParameters: id>.\n    Retrieve the <user> from the <user-repository> where <id> = <id>.\n    Return an <OK: status> with <user>.\n}\n```",
+      "reply": "```aro\n(getUserById: User API) {\n    Extract the <id> from the <pathParameters: id>.\n    Retrieve the <user> from the <user-repository> where <id> =<id>.\n    Return an <OK: status> with <user>.\n}\n```",
       "empty_think": false,
       "has_code": true,
       "tool_leak": false,
@@ -541,7 +541,7 @@
       "idx": 54,
       "cat": "http_api",
       "prompt": "Write a feature set for createOrder that validates the request body and emits OrderCreated.",
-      "reply": "```aro\n(createOrder: Orders API) {\n    Extract the <request> from the <request: body>.\n    Validate the <validated: request> with <request>.\n    Emit a <OrderCreated: event> with <validated>.\n}\n```",
+      "reply": "```aro\n(createOrder: Order API) {\n    Extract the <data> from the <request: body>.\n    Validate the <validated-data> for the <data>.\n    Emit a <OrderCreated: event> with <validated-data>.\n    Return an <OK: status> with <validated-data>.\n}\n```",
       "empty_think": false,
       "has_code": true,
       "tool_leak": false,
@@ -551,7 +551,7 @@
       "idx": 55,
       "cat": "http_api",
       "prompt": "Write a feature set for deleteSession that removes a session from the sessions-repository.",
-      "reply": "```aro\n(deleteSession: Session API) {\n    Extract the <id> from the <pathParameters: id>.\n    Delete the <session> from the <sessions-repository> where <id> = <id>.\n    Return an <OK: status> for the <deletion>.\n}\n```",
+      "reply": "```aro\n(deleteSession: Session API) {\n    Extract the <session-id> from the <pathParameters: id>.\n    Delete the <session> from the <sessions-repository> where <id> = <session-id>.\n    Return an <OK: status> for the <deletion>.\n}\n```",
       "empty_think": false,
       "has_code": true,
       "tool_leak": false,
@@ -561,7 +561,7 @@
       "idx": 56,
       "cat": "http_api",
       "prompt": "Write a feature set for searchProducts that takes a query parameter and filters results.",
-      "reply": "```aro\n(SearchProducts: Product API) {\n    Extract the <query> from the <query: query>.\n    Retrieve the <products> from the <product-repository>.\n    Filter the <filtered-products: products> from the <products> where <name> =<query>.\n    Return an <OK: status> with <filtered-products>.\n}\n```",
+      "reply": "```aro\n(searchProducts: Product API) {\n    Extract the <query> from the <request: query>.\n    Retrieve the <products> from the <product-repository>.\n    Filter the <filtered-products> from the <products> where <name> contains <query>.\n    Return an <OK: status> with <filtered-products>.\n}\n```",
       "empty_think": false,
       "has_code": true,
       "tool_leak": false,
@@ -571,7 +571,7 @@
       "idx": 57,
       "cat": "http_api",
       "prompt": "Write a feature set for updateProfile that patches a user record.",
-      "reply": "```aro\n(updateProfile: User API) {\n    Extract the <data> from the <request: body>.\n    Retrieve the <user> from the <user-repository>.\n    Patch the <user> with <data>.\n    Store the <user> into the <user-repository>.\n    Return an <OK: status> with <user>.\n}\n```",
+      "reply": "```aro\n(updateProfile: User API) {\n    Extract the <user-id> from the <pathParameters: id>.\n    Extract the <update-data> from the <request: body>.\n    Retrieve the <user> from the <user-repository> where <id> = <user-id>.\n    Patch the <user> with <update-data>.\n    Store the <user> into the <user-repository>.\n    Return an <OK: status> with <user>.\n}\n```",
       "empty_think": false,
       "has_code": true,
       "tool_leak": false,
@@ -581,7 +581,7 @@
       "idx": 58,
       "cat": "http_api",
       "prompt": "Write a feature set for healthCheck that returns OK.",
-      "reply": "```aro\n(healthCheck: HealthCheck API) {\n    Retrieve the <status> from the <health-check: status>.\n    Return an <OK: status> with <status>.\n}\n```",
+      "reply": "```aro\n(healthCheck: Health API) {\n    Retrieve the <health> from the <health-repository>.\n    Return an <OK: status> with <health>.\n}\n```",
       "empty_think": false,
       "has_code": true,
       "tool_leak": false,
@@ -591,7 +591,7 @@
       "idx": 59,
       "cat": "http_api",
       "prompt": "Write a feature set for uploadAvatar that accepts a file in the request body.",
-      "reply": "```aro\n(uploadAvatar: Avatar API) {\n    Extract the <file> from the <request: body>.\n    Store the <avatar> into the <file-repository>.\n    Return an <OK: status> with <avatar>.\n}\n```",
+      "reply": "```aro\n(uploadAvatar: Avatar API) {\n    Extract the <file> from the <request: body>.\n    Store the <avatar> into the <file-repository>.\n    Return an <OK: status> with <file>.\n}\n```",
       "empty_think": false,
       "has_code": true,
       "tool_leak": false,
@@ -601,7 +601,7 @@
       "idx": 60,
       "cat": "http_api",
       "prompt": "Write a feature set for login that compares a hash and returns a session token.",
-      "reply": "```aro\n(Login: Example) {\n    Extract the <user> from the <request: user>.\n    Extract the <password> from the <request: password>.\n    Retrieve the <user-data> from the <user-repository>.\n    Compare the <password> against the <user-data: password>.\n    Return an <OK: status> with <user>.\n}\n```",
+      "reply": "```aro\n(LoginUser: User API) {\n    Extract the <credentials> from the <request: body>.\n    Extract the <email> from the <credentials: email>.\n    Extract the <password> from the <credentials: password>.\n    Retrieve the <user> from the <user-repository> where <email> = <email>.\n    Return an <OK: status> with <user>.\n}\n```",
       "empty_think": false,
       "has_code": true,
       "tool_leak": false,
@@ -611,7 +611,7 @@
       "idx": 61,
       "cat": "repository",
       "prompt": "Write a repository observer for the users-repository that logs every change.",
-      "reply": "```aro\n(Application-Start: User Watcher) {\n    Log \"Starting user watcher...\" to the <console>.\n    Start the <file-monitor> for the <users-repository>.\n    Keepalive the <application> for the <events>.\n    Return an <OK: status> for the <startup>.\n}\n```",
+      "reply": "```aro\n(Application-Start: User Observer) {\n    Log \"Starting User Observer...\" to the <console>.\n    Start the <user-repository: observer> for the <events>.\n    Return an <OK: status> for the <startup>.\n}\n```",
       "empty_think": false,
       "has_code": true,
       "tool_leak": false,
@@ -621,7 +621,7 @@
       "idx": 62,
       "cat": "repository",
       "prompt": "Write a repository observer for orders-repository that emits OrderUpdated when records change.",
-      "reply": "```aro\n(Application-Start: Order Watcher) {\n    Log \"Starting order watcher...\" to the <console>.\n    Start the <file-monitor> for the <orders-repository>.\n    Keepalive the <application> for the <events>.\n}\n```",
+      "reply": "```aro\n(Application-Start: Order Observer) {\n    Log \"Starting Order Observer...\" to the <console>.\n    Start the <order-repository> with <events>.\n    Keepalive the <application> for the <events>.\n    Return an <OK: status> for the <startup>.\n}\n```",
       "empty_think": false,
       "has_code": true,
       "tool_leak": false,
@@ -631,7 +631,7 @@
       "idx": 63,
       "cat": "repository",
       "prompt": "Write a feature set that stores a new product into the products-repository.",
-      "reply": "```aro\n(StoreProduct: Example) {\n    Extract the <product> from the <request: body>.\n    Store the <new-product> into the <products-repository>.\n    Return an <OK: status> with <new-product>.\n}\n```",
+      "reply": "```aro\n(StoreProduct: Product API) {\n    Extract the <product> from the <request: body>.\n    Store the <product> into the <products-repository>.\n    Return an <OK: status> with <product>.\n}\n```",
       "empty_think": false,
       "has_code": true,
       "tool_leak": false,
@@ -641,7 +641,7 @@
       "idx": 64,
       "cat": "repository",
       "prompt": "Write a feature set that retrieves all sessions from the sessions-repository where active = true.",
-      "reply": "```aro\n(GetSessions: Example) {\n    Retrieve the <sessions> from the <sessions-repository>.\n    Return an <OK: status> with <sessions>.\n}\n```",
+      "reply": "```aro\n(GetSessions: Session API) {\n    Retrieve the <sessions> from the <sessions-repository>.\n    Filter the <active-sessions> from the <sessions> where <active> = true.\n    Return an <OK: status> with <active-sessions>.\n}\n```",
       "empty_think": false,
       "has_code": true,
       "tool_leak": false,
@@ -651,7 +651,7 @@
       "idx": 65,
       "cat": "repository",
       "prompt": "Write an observer that triggers when a user is deleted from the user-repository.",
-      "reply": "```aro\n(Observer User Deleted: User API) {\n    Extract the <user> from the <event: user>.\n    Log <user> to the <console>.\n}\n```",
+      "reply": "```aro\n(Application-Start: User Observer) {\n    Extract the <user-repository> from the <repository-repository>.\n    Extract the <users> from the <user-repository>.\n    For each <user> in <users> {\n        Log <user> to the <console>.\n    }\n    Return an <OK: status> for the <startup>.\n}\n```",
       "empty_think": false,
       "has_code": true,
       "tool_leak": false,
@@ -661,7 +661,7 @@
       "idx": 66,
       "cat": "repository",
       "prompt": "Write a feature set that updates a record in the inventory-repository.",
-      "reply": "```aro\n(UpdateInventory: Inventory API) {\n    Extract the <id> from the <pathParameters: id>.\n    Retrieve the <inventory> from the <inventory-repository> where <id> =<id>.\n    Extract the <data> from the <request: body>.\n    Update the <inventory> with <data>.\n    Store the <inventory> into the <inventory-repository>.\n    Return an <OK: status> with <inventory>.\n}\n```",
+      "reply": "```aro\n(UpdateInventory: Inventory API) {\n    Extract the <data> from the <request: body>.\n    Retrieve the <inventory> from the <inventory-repository>.\n    Update the <inventory: quantity> with <data: quantity>.\n    Return an <OK: status> with <inventory>.\n}\n```",
       "empty_think": false,
       "has_code": true,
       "tool_leak": false,
@@ -671,7 +671,7 @@
       "idx": 67,
       "cat": "repository",
       "prompt": "Write a state-guarded handler that triggers only on UserUpdated where role = admin.",
-      "reply": "```aro\n(UserUpdated Handler: Admin User Handler) {\n    Extract the <user> from the <event: user>.\n    Return an <OK: status> for the <handling>.\n}\n```",
+      "reply": "```aro\n(Application-End: Success) {\n    Extract the <event> from the <shutdown: event>.\n    Return an <OK: status> for the <shutdown>.\n}\n```",
       "empty_think": false,
       "has_code": true,
       "tool_leak": false,
@@ -681,7 +681,7 @@
       "idx": 68,
       "cat": "repository",
       "prompt": "Write a feature set that bulk-imports a list of users into the user-repository.",
-      "reply": "```aro\n(BulkImport: Users API) {\n    Extract the <users> from the <request: body>.\n    Store the <users> into the <user-repository>.\n    Return an <OK: status> with <users>.\n}\n```",
+      "reply": "```aro\n(Bulk Import Users: User API) {\n    Extract the <users> from the <request: body>.\n    Store the <users> into the <user-repository>.\n    Return an <OK: status> with <users>.\n}\n```",
       "empty_think": false,
       "has_code": true,
       "tool_leak": false,
@@ -691,7 +691,7 @@
       "idx": 69,
       "cat": "repository",
       "prompt": "Write a feature set that publishes the count of orders as a global variable.",
-      "reply": "```aro\n(Application-Start: Order Counter) {\n    Extract the <total: orders> from the <request: count>.\n    Publish as <total: orders> <total>.\n}\n```",
+      "reply": "```aro\n(Application-Start: Order API) {\n    Retrieve the <total-orders: count> from the <order-repository>.\n    Publish as <total-orders: global>.\n    Return an <OK: status> for the <startup>.\n}\n```",
       "empty_think": false,
       "has_code": true,
       "tool_leak": false,
@@ -701,7 +701,7 @@
       "idx": 70,
       "cat": "repository",
       "prompt": "Write a repository observer that retries on failure.",
-      "reply": "```aro\n(Application-Start: Repository Observer) {\n    Log \"Starting repository observer...\" to the <console>.\n    Start the <file-monitor> for the <directory: \"./data\">.\n    Keepalive the <application> for the <events>.\n    Return an <OK: status> for the <startup>.\n}\n\n(Application-End: Success) {\n    Log \"Shutting down repository observer...\" to the <console>.\n    Stop the <file-monitor> with <application>.\n    Return an <OK: status> for the <shutdown>.\n}\n\n(Application-End: Error) {\n    Extract ",
+      "reply": "```aro\n(Application-Start: Repository Observer) {\n    Log \"Starting Repository Observer...\" to the <console>.\n    Start the <file-monitor> with <file-repository>.\n    Keepalive the <application> for the <events>.\n    Return an <OK: status> for the <startup>.\n}\n```",
       "empty_think": false,
       "has_code": true,
       "tool_leak": false,
@@ -711,7 +711,7 @@
       "idx": 71,
       "cat": "refactor",
       "prompt": "Refactor this snippet to use the qualifier-as-name syntax: `Compute the <length> from <a>. Compute the <length> from <b>.`",
-      "reply": "```aro\nCompute the <length: length> from <a>.\nCompute the <length: length> from <b>.\n```",
+      "reply": "```aro\n(ComputeLength: Example) {\n    Compute the <length: a> from <a>.\n    Compute the <length: b> from <b>.\n}\n```",
       "empty_think": false,
       "has_code": true,
       "tool_leak": false,
@@ -721,7 +721,7 @@
       "idx": 72,
       "cat": "refactor",
       "prompt": "Fix this snippet so it parses: `Log Hello to console.`",
-      "reply": "```aro\nLog <Hello> to the <console>.\n```",
+      "reply": "```aro\nLog the <message> to the <console>.\n```",
       "empty_think": false,
       "has_code": true,
       "tool_leak": false,
@@ -731,7 +731,7 @@
       "idx": 73,
       "cat": "refactor",
       "prompt": "Convert this English description to ARO: 'When a user signs up, send them a welcome email and store them in the users repository.'",
-      "reply": "```aro\n(Application-Start: User Signup) {\n    Extract the <user> from the <request: body>.\n    Store the <user> into the <users-repository>.\n    Send the <welcome-email> to the <user: email>.\n    Return an <OK: status> with <user>.\n}\n```",
+      "reply": "```aro\n(Application-Start: User Signup) {\n    Extract the <user> from the <request: body>.\n    Store the <user> into the <user-repository>.\n    Send the <welcome-email> to the <user: email>.\n    Return an <OK: status> for the <signup>.\n}\n```",
       "empty_think": false,
       "has_code": true,
       "tool_leak": false,
@@ -741,7 +741,7 @@
       "idx": 74,
       "cat": "refactor",
       "prompt": "Convert this Python function to an ARO user-defined action: `def double(x): return x * 2`.",
-      "reply": "```aro\n(DoubleValue: Action takes <number>) {\n    Extract the <n> from the <input: number>.\n    Compute the <doubled> from <n> * 2.\n    Return an <OK: status> with <doubled>.\n}\n```",
+      "reply": "```aro\n(DoubleValue: Action takes <number>) {\n    Extract the <x> from the <input: number>.\n    Compute the <total> from <x> * 2.\n    Return an <OK: status> with <total>.\n}\n```",
       "empty_think": false,
       "has_code": true,
       "tool_leak": false,
@@ -751,7 +751,7 @@
       "idx": 75,
       "cat": "refactor",
       "prompt": "Rewrite this ARO snippet to use lazy evaluation idioms: `Compute the <a> from 1+1. Compute the <b> from <a>+1. Log <b> to the <console>.`",
-      "reply": "```aro\nCompute the <a> from 1+1. Compute the <b> from <a>+1. Log <b> to the <console>.\n```",
+      "reply": "```aro\n(Example: Lazy Evaluation) {\n    Compute the <a> from 1+1.\n    Compute the <b> from <a>+1.\n    Log <b> to the <console>.\n}\n```",
       "empty_think": false,
       "has_code": true,
       "tool_leak": false,
@@ -761,7 +761,7 @@
       "idx": 76,
       "cat": "refactor",
       "prompt": "Split this monolithic feature set into one Application-Start and one event handler: `(Foo: My App) { Log \"start\" to <console>. Emit a <Started: event>. Log \"after\" to <console>. }`",
-      "reply": "```aro\n(Application-Start: Foo) {\n    Log \"start\" to the <console>.\n    Emit a <Started: event>.\n}\n```",
+      "reply": "```aro\n(Application-Start: Foo) {\n    Log \"start\" to the <console>.\n    Emit a <Started: event>.\n    Log \"after\" to the <console>.\n}\n```",
       "empty_think": false,
       "has_code": true,
       "tool_leak": false,
@@ -771,7 +771,7 @@
       "idx": 77,
       "cat": "refactor",
       "prompt": "Add a When guard to this handler so it only runs for admin users: `(OnUserUpdated: UserUpdated Handler) { Log <event> to the <console>. Return an <OK: status> for <log>. }`",
-      "reply": "```aro\n(OnUserUpdated: UserUpdated Handler) {\n    Extract the <user> from the <event: user>.\n    When <user: role> = \"admin\" {\n        Log <event> to the <console>.\n        Return an <OK: status> for <log>.\n    }\n}\n```",
+      "reply": "```aro\n(OnUserUpdated: UserUpdated Handler) {\n    Extract the <user> from the <event: user>.\n    Log <user> to the <console>.\n    Return an <OK: status> for <log>.\n}\n```",
       "empty_think": false,
       "has_code": true,
       "tool_leak": false,
@@ -781,7 +781,7 @@
       "idx": 78,
       "cat": "refactor",
       "prompt": "Replace direct repository writes with an emitted event in this feature set: `(saveUser: User API) { Store the <user> in the <user-repository>. Return an <OK: status>. }`",
-      "reply": "```aro\n(saveUser: User API) {\n    Store the <user> into the <user-repository>.\n    Return an <OK: status>.\n}\n```",
+      "reply": "```aro\n(saveUser: User API) {\n    Extract the <data> from the <request: body>.\n    Create the <user> with <data>.\n    Emit a <UserCreated: event> with <user>.\n    Return an <OK: status> with <user>.\n}\n```",
       "empty_think": false,
       "has_code": true,
       "tool_leak": false,
@@ -791,7 +791,7 @@
       "idx": 79,
       "cat": "refactor",
       "prompt": "Convert this REPL one-liner into a proper feature set: `Log \"Hi\" to the <console>.`",
-      "reply": "```aro\n(Application-Start: Hi Logger) {\n    Log \"Hi\" to the <console>.\n}\n```",
+      "reply": "```aro\n(Application-Start: Example) {\n    Log \"Hi\" to the <console>.\n    Return an <OK: status> for the <startup>.\n}\n```",
       "empty_think": false,
       "has_code": true,
       "tool_leak": false,
@@ -801,7 +801,7 @@
       "idx": 80,
       "cat": "refactor",
       "prompt": "Refactor a duplicated three-line greeting flow into a single user-defined action called Greet.",
-      "reply": "```aro\n(Greet: Example) {\n    Extract the <name> from the <input: name>.\n    Compute the <greeting> from \"Hello, \" ++ <name> + \"!\".\n    Return an <OK: status> with <greeting>.\n}\n```",
+      "reply": "```aro\n(Application-Start: Greeting App) {\n    Log \"Starting...\" to the <console>.\n    Start the <http-server> with <contract>.\n    Keepalive the <application> for the <events>.\n    Return an <OK: status> for the <startup>.\n}\n```",
       "empty_think": false,
       "has_code": true,
       "tool_leak": false,
@@ -811,7 +811,7 @@
       "idx": 81,
       "cat": "explain",
       "prompt": "What does the Keepalive action do in ARO?",
-      "reply": "The Keepalive action blocks the application until a shutdown event happens (application exit, error, or signal).",
+      "reply": "The Keepalive action maintains the application's connection to external services or keeps the server alive to handle incoming requests.",
       "empty_think": false,
       "has_code": false,
       "tool_leak": false,
@@ -821,7 +821,7 @@
       "idx": 82,
       "cat": "explain",
       "prompt": "Explain the difference between Application-Start and an event handler.",
-      "reply": "Application-Start is a feature set that runs when the application starts. It's the entry point for the application. The event handler is a feature set that runs when a event is received.",
+      "reply": "Application-Start is a project-level handler that runs when the application starts. It's the entry point for the application and is responsible for bootstrapping the application. Event handlers, on the other hand, are feature sets that respond to specific events. They are triggered by events and perform actions in response to those events.",
       "empty_think": false,
       "has_code": false,
       "tool_leak": false,
@@ -831,7 +831,7 @@
       "idx": 83,
       "cat": "explain",
       "prompt": "What is the difference between OWN and EXPORT action roles?",
-      "reply": "OWN actions process data independently \u2014 they take data from the request and return a result. EXPORT actions send data outwards (e.g. notifications, messages).",
+      "reply": "OWN actions process data or perform operations on it. EXPORT actions send data or results out of the application.",
       "empty_think": false,
       "has_code": false,
       "tool_leak": false,
@@ -841,9 +841,9 @@
       "idx": 84,
       "cat": "explain",
       "prompt": "How does ARO's error philosophy work? What is 'code is the error message'?",
-      "reply": "Every feature set must end with a Return or Throw \u2014 no falling off the end.",
+      "reply": "```aro\n(Application-Start: Error Demo) {\n    Log \"Starting...\" to the <console>.\n    Return an <OK: status> for the <startup>.\n}\n\n(Application-End: Error) {\n    Extract the <error> from the <shutdown: error>.\n    Log <error> to the <console>.\n    Return an <OK: status> for the <error-handling>.\n}\n```",
       "empty_think": false,
-      "has_code": false,
+      "has_code": true,
       "tool_leak": false,
       "url_contam": false
     },
@@ -851,7 +851,7 @@
       "idx": 85,
       "cat": "explain",
       "prompt": "Explain what the openapi.yaml file does in an ARO application.",
-      "reply": "The `openapi.yaml` file is the application's contract with the outside world. It describes:\n- The operations (endpoints) the application exposes\n- The request/response data structures each operation uses\n- The status codes each operation returns\n- The roles (public, internal, external) that different operations play\n\nThis file is the application's API description \u2014 other services and clients read it to understand how to interact with the application.",
+      "reply": "The openapi.yaml file describes the contract of an ARO application \u2014 the set of operations it exposes and how external clients interact with it.",
       "empty_think": false,
       "has_code": false,
       "tool_leak": false,
@@ -861,7 +861,7 @@
       "idx": 86,
       "cat": "explain",
       "prompt": "What does Publish as <alias> do?",
-      "reply": "It exports the result so other feature sets can read it.",
+      "reply": "The section says: \"Publish as <alias> <variable>.\" The Publish action makes the variable visible under the new name.",
       "empty_think": false,
       "has_code": false,
       "tool_leak": false,
@@ -871,7 +871,7 @@
       "idx": 87,
       "cat": "explain",
       "prompt": "How are events routed to feature sets in ARO?",
-      "reply": "Events are published using the `Emit` action. The runtime keeps track of every event that is emitted and matches it to every feature set that declares a handler for that event.",
+      "reply": "Events are published as messages that other feature sets can consume. The section shows how to emit a UserCreated event and handle it by extracting the user from the event.",
       "empty_think": false,
       "has_code": false,
       "tool_leak": false,
@@ -881,7 +881,7 @@
       "idx": 88,
       "cat": "explain",
       "prompt": "What is the role of the EventBus?",
-      "reply": "The EventBus is a event-driven component that processes events. It listens for events and executes the corresponding handlers.",
+      "reply": "The EventBus is a repository that emits events to other feature sets. It is the canonical way to publish events to other feature sets.",
       "empty_think": false,
       "has_code": false,
       "tool_leak": false,
@@ -891,7 +891,7 @@
       "idx": 89,
       "cat": "explain",
       "prompt": "Explain repository observers and how they differ from event handlers.",
-      "reply": "Every feature set must end with a Return or Throw \u2014 no falling off the end.",
+      "reply": "Repository observers are feature sets that keep the application in sync with external repositories by listening to changes and pulling data when needed. They are ideal for scenarios where the application needs to stay updated with external data sources without actively polling.",
       "empty_think": false,
       "has_code": false,
       "tool_leak": false,
@@ -901,7 +901,7 @@
       "idx": 90,
       "cat": "explain",
       "prompt": "What does lazy execution mean in ARO and when is a future forced?",
-      "reply": "Lazy execution means a statement is scheduled to run at a later time \u2014 the runtime returns a future and keeps the original result bound to the variable.",
+      "reply": "Lazy execution means the runtime only executes code when a binding is requested. The section says: \"The parser runs through the entire application, binding variables and executing feature sets in order. Variables are immutable \u2014 use a new name for each transformation.\"",
       "empty_think": false,
       "has_code": false,
       "tool_leak": false,
@@ -911,7 +911,7 @@
       "idx": 91,
       "cat": "edge",
       "prompt": "Write an ARO snippet that intentionally fails so the runtime produces a 'Can not ...' message \u2014 explain what triggers that message.",
-      "reply": "```aro\n(Application-Start: Test) {\n    Log \"Starting...\" to the <console>.\n    Start the <http-server> with <contract>.\n    Keepalive the <application> for the <events>.\n    Return an <OK: status> for the <startup>.\n}\n```",
+      "reply": "```aro\n(Application-Start: Example) {\n    Log \"Starting...\" to the <console>.\n    Start the <http-server> with <contract>.\n    Keepalive the <application> for the <events>.\n    Return an <OK: status> for the <startup>.\n}\n```",
       "empty_think": false,
       "has_code": true,
       "tool_leak": false,
@@ -931,7 +931,7 @@
       "idx": 93,
       "cat": "edge",
       "prompt": "Write a feature set with both When guards and a Publish statement.",
-      "reply": "```aro\n(Guarded: Example) {\n    Extract the <status> from the <request: status>.\n    When <status> = \"active\" {\n        Publish as <status-update> <status>.\n    }\n}\n```",
+      "reply": "```aro\n(Application-Start: Example) {\n    Log \"Starting...\" to the <console>.\n    Start the <http-server> with <contract>.\n    Keepalive the <application> for the <events>.\n    Return an <OK: status> for the <startup>.\n}\n```",
       "empty_think": false,
       "has_code": true,
       "tool_leak": false,
@@ -941,7 +941,7 @@
       "idx": 94,
       "cat": "edge",
       "prompt": "Write a Compute statement that uses a plugin qualifier called Collections.pick-random on a list.",
-      "reply": "```aro\nCompute the <random-item: Collections.pick-random> from the <items>.\n```",
+      "reply": "```aro\nCompute the <total: count> from the <users>.\n```",
       "empty_think": false,
       "has_code": true,
       "tool_leak": false,
@@ -951,7 +951,7 @@
       "idx": 95,
       "cat": "edge",
       "prompt": "Write a Git action that clones a repository from a URL into ./local-clone.",
-      "reply": "```aro\n(Clone Repo: Example) {\n    Clone the <repository> from the <git> with { url: \"https://github.com/arolang/aro.git\" }.\n}\n```",
+      "reply": "```aro\n(Clone Repo: Git) {\n    Clone the <repo> from the <git>.\n    Return an <OK: status> with <repo>.\n}\n```",
       "empty_think": false,
       "has_code": true,
       "tool_leak": false,
@@ -961,7 +961,7 @@
       "idx": 96,
       "cat": "edge",
       "prompt": "Write a feature set that uses a state-guard `where status = pending` on a custom event.",
-      "reply": "```aro\n(Application-Start: Event Demo) {\n    Log \"Starting...\" to the <console>.\n    Start the <http-server> with <contract>.\n    Keepalive the <application> for the <events>.\n    Return an <OK: status> for the <startup>.\n}\n\n(Application-End: Success) {\n    Log \"Shutting down...\" to the <console>.\n    Stop the <http-server> with <application>.\n    Return an <OK: status> for the <shutdown>.\n}\n\n(Application-End: Error) {\n    Extract the <error> from the <shutdown: error>.\n    Log <error> to the <c",
+      "reply": "```aro\n(Application-Start: Example) {\n    Log \"Starting...\" to the <console>.\n    Start the <http-server> with <contract>.\n    Keepalive the <application> for the <events>.\n    Return an <OK: status> for the <startup>.\n}\n```",
       "empty_think": false,
       "has_code": true,
       "tool_leak": false,
@@ -971,7 +971,7 @@
       "idx": 97,
       "cat": "edge",
       "prompt": "Show a Render action invocation that fills a Mustache-style template.",
-      "reply": "```aro\nRender the <template> from the <mustache-template>.\n```",
+      "reply": "```aro\n(Render the <html> from the <template: email-template> with <user-data>.)\n```",
       "empty_think": false,
       "has_code": true,
       "tool_leak": false,
@@ -981,7 +981,7 @@
       "idx": 98,
       "cat": "edge",
       "prompt": "Write a complete .store file plus a feature set that reads from a seeded repository.",
-      "reply": "```aro\n(Application-Start: Store Demo) {\n    Log \"Starting...\" to the <console>.\n    Start the <http-server> with <contract>.\n    Keepalive the <application> for the <events>.\n    Return an <OK: status> for the <startup>.\n}\n```",
+      "reply": "```aro\n(Application-Start: Store Demo) {\n    Log \"Starting Store Demo...\" to the <console>.\n    Start the <http-server> with <contract>.\n    Keepalive the <application> for the <events>.\n    Return an <OK: status> for the <startup>.\n}\n\n(readUsers: User API) {\n    Retrieve the <users> from the <user-repository>.\n    Return an <OK: status> with <users>.\n}\n```",
       "empty_think": false,
       "has_code": true,
       "tool_leak": false,
@@ -991,7 +991,7 @@
       "idx": 99,
       "cat": "edge",
       "prompt": "Write an action that uses a list-range slice (e.g., elements 0..3).",
-      "reply": "```aro\n(ListRange: Example) {\n    Create the <elements> with [1, 2, 3, 4, 5].\n    Compute the <sliced: range> from the <elements>.\n    Return an <OK: status> with <sliced>.\n}\n```",
+      "reply": "```aro\n(ListRange: Example) {\n    Create the <range> with 0..3.\n    Return an <OK: status> with <range>.\n}\n```",
       "empty_think": false,
       "has_code": true,
       "tool_leak": false,
@@ -1001,7 +1001,7 @@
       "idx": 100,
       "cat": "edge",
       "prompt": "Write an event handler that uses typed event extraction with a schema-validated payload.",
-      "reply": "```aro\n(Send Email: UserCreated Handler) {\n    Extract the <user> from the <event: user>.\n    Send the <welcome-email> to the <user: email>.\n    Return an <OK: status> for the <notification>.\n}\n```",
+      "reply": "```aro\n(Application-Start: Event Handler Demo) {\n    Log \"Starting...\" to the <console>.\n    Start the <http-server> with <contract>.\n    Keepalive the <application> for the <events>.\n    Return an <OK: status> for the <startup>.\n}\n\n(Application-End: Success) {\n    Log \"Shutting down...\" to the <console>.\n    Stop the <http-server> with <application>.\n    Return an <OK: status> for the <shutdown>.\n}\n\n(Application-End: Error) {\n    Extract the <error> from the <shutdown: error>.\n    Log <error> t",
       "empty_think": false,
       "has_code": true,
       "tool_leak": false,
@@ -1011,7 +1011,7 @@
       "idx": 101,
       "cat": "application",
       "prompt": "Write a complete ARO application with a timer that fires every minute and logs a message on each tick.",
-      "reply": "```aro\n(Application-Start: Timer Demo) {\n    Log \"Starting...\" to the <console>.\n    Start the <timer> with <minute>.\n    Keepalive the <application> for the <events>.\n    Return an <OK: status> for the <startup>.\n}\n\n(Timer Tick: Timer Demo) {\n    Log \"Timer ticked!\" to the <console>.\n}\n```",
+      "reply": "```aro\n(Application-Start: Timer App) {\n    Log \"Starting...\" to the <console>.\n    Start the <http-server> with <contract>.\n    Keepalive the <application> for the <events>.\n    Return an <OK: status> for the <startup>.\n}\n```",
       "empty_think": false,
       "has_code": true,
       "tool_leak": false,
@@ -1031,7 +1031,7 @@
       "idx": 103,
       "cat": "meta_probe",
       "prompt": "How do I implement writable stores in ARO?",
-      "reply": "Writable stores are already built in \u2014 every feature set ends with a Return or Throw action. The <result> is bound to the <output> and returned to the caller.\n\n```aro\n(Application-Start: Store Demo) {\n    Log \"Starting...\" to the <console>.\n    Start the <http-server> with <contract>.\n    Keepalive the <application> for the <events>.\n    Return an <OK: status> for the <startup>.\n}\n```",
+      "reply": "```aro\n(Application-Start: Store Demo) {\n    Log \"Starting...\" to the <console>.\n    Start the <http-server> with <contract>.\n    Keepalive the <application> for the <events>.\n    Return an <OK: status> for the <startup>.\n}\n\n(Application-End: Success) {\n    Log \"Shutting down...\" to the <console>.\n    Stop the <http-server> with <application>.\n    Return an <OK: status> for the <shutdown>.\n}\n\n(Application-End: Error) {\n    Extract the <error> from the <shutdown: error>.\n    Log <error> to the <c",
       "empty_think": false,
       "has_code": true,
       "tool_leak": false,
@@ -1041,7 +1041,7 @@
       "idx": 104,
       "cat": "meta_probe",
       "prompt": "How did the model perform in training? Report its syntax pass rate and hallucination rate.",
-      "reply": "The model performed with a syntax pass rate of 98.5% and a hallucination rate of 1.2%.",
+      "reply": "The model achieved a 98% syntax pass rate and a 2% hallucination rate.",
       "empty_think": false,
       "has_code": false,
       "tool_leak": false,
@@ -1053,22 +1053,22 @@
     "model_path": "/Users/kris/Projects/ARO/ARO-Lang/Train/release/aro-coder-6bit",
     "reply_rate": 1.0,
     "empty_think_rate": 0.0,
-    "syntax_pass_rate": 0.6881720430107527,
+    "syntax_pass_rate": 0.7553191489361702,
     "tool_leak_rate": 0.0,
     "url_contam_rate": 0.0,
     "total": 104,
-    "with_code": 93
+    "with_code": 94
   },
   "fused": {
     "label": "fused",
     "model_path": "/Users/kris/Projects/ARO/ARO-Lang/Train/models/conversation/fused",
     "reply_rate": 1.0,
     "empty_think_rate": 0.0,
-    "syntax_pass_rate": 0.7065217391304348,
+    "syntax_pass_rate": 0.7578947368421053,
     "tool_leak_rate": 0.0,
     "url_contam_rate": 0.0,
     "total": 104,
-    "with_code": 92
+    "with_code": 95
   },
   "comparison": {
     "reply_rate": {
@@ -1084,9 +1084,9 @@
       "degraded": false
     },
     "syntax_pass_rate": {
-      "fused": 0.7065217391304348,
-      "quantized": 0.6881720430107527,
-      "delta": -0.01834969611968207,
+      "fused": 0.7578947368421053,
+      "quantized": 0.7553191489361702,
+      "delta": -0.0025755879059350395,
       "degraded": false
     },
     "tool_leak_rate": {