Upload ARO Coder 4-bit (distill_student)

model.safetensors

@@ -1,3 +1,3 @@
 version https://git-lfs.github.com/spec/v1
-oid sha256:5226aee5f953c9315db787c0e49cbeaf13da669f54b79bcd204ea90d9fc2f70b
+oid sha256:453768b2f59b7887a520eaf3c7552377059927bb0b98c7aab78fcb85f205b4ae
 size 4607835164

promotion_gate.json

@@ -1,17 +1,17 @@
 {
   "reply_rate": 1.0,
   "empty_think_rate": 0.0,
-  "syntax_pass_rate": 0.5806451612903226,
+  "syntax_pass_rate": 0.75,
   "tool_leak_rate": 0.0,
   "url_contam_rate": 0.0,
   "total": 100,
-  "with_code": 93,
+  "with_code": 92,
   "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\n(Log: Console) {\n    Log \"Hello, World!\" to the <console>.\n}\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\n(ReadCurrentTime: Clock) {\n    Retrieve the <current-time> from the <clock>.\n    Return an <OK: status> with <current-time>.\n}\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": "Compute the <length: length> from the <string: \"banana\">.",
+      "reply": "Compute the <length: length> from \"banana\".",
       "empty_think": false,
       "has_code": false,
       "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\nTransform the <upper: uppercase> from the <string: \"hello\">.\n```",
+      "reply": "```aro\n(ToUpper: Example) {\n    Create the <text> with \"hello\".\n    Compute the <upper: uppercase> from the <text>.\n    Return an <OK: status> with <upper>.\n}\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": "Use the `Hash` action: `Hash the <password> from \"secret\".`",
+      "reply": "`Compute the <hash> from the <password: \"secret\">.`",
       "empty_think": false,
       "has_code": false,
       "tool_leak": false,
@@ -71,7 +71,7 @@
       "idx": 7,
       "cat": "repl_oneliner",
       "prompt": "Write one line that retrieves the git status.",
-      "reply": "Read the <status> from the <git: status>.",
+      "reply": "`Get the <git-status> from the <git: status>.`",
       "empty_think": false,
       "has_code": false,
       "tool_leak": false,
@@ -91,7 +91,7 @@
       "idx": 9,
       "cat": "repl_oneliner",
       "prompt": "Write one ARO statement that reads the file 'config.yaml' from the filesystem.",
-      "reply": "```aro\nRead the <config> from the <file: \"config.yaml\">.\n```",
+      "reply": "```aro\nRead the <config> from the <file: config.yaml>.\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 <content> from the <file: \"input.txt\">.\nCompute the <upper: uppercase> from the <content>.\nLog <upper> to the <console>.\n```",
+      "reply": "```aro\nRead the <content> from the <file: path>.\nCompute the <upper> from the <content: uppercase>.\nLog <upper> 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\nRetrieve the <users> from the <user-repository>.\nCompute the <count> from the <users: length>.\nLog the <count> to the <console>.\nReturn an <OK: status> for the <result>.\n```",
+      "reply": "```aro\n(CountUsers: User API) {\n    Retrieve the <users> from the <user-repository>.\n    Compute the <count> from the <users>.\n    Log \"User count: \" ++ <count> to the <console>.\n    Return an <OK: status> for the <count>.\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(StageAndPush: Git Workflow) {\n    Stage the <changes> to the <git>.\n    Commit the <changes> to the <git> with \"wip\".\n    Push the <changes> to the <git> with \"wip\".\n    Return an <OK: status> for the <push>.\n}\n```",
+      "reply": "```aro\n(StageAndCommit: Git Workflow) {\n    Stage the <changes> to the <git>.\n    Commit the <changes> with \"wip\".\n    Push the <changes> to the <origin>.\n    Return an <OK: status> for the <commit>.\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\nExtract the <items> from the <input>.\nCompute the <length> from the <items>.\nLog the <length> to the <console>.\n```",
+      "reply": "```aro\n(ComputeListLength: Example) {\n    Create the <numbers> with [1, 2, 3, 4, 5].\n    Compute the <length> from the <numbers>.\n    Log <length> 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 <upper: uppercase> from the <name>.\nStore the <upper> into the <variable>.\n```",
+      "reply": "```aro\n(ExtractName: Example) {\n    Extract the <name> from the <event: name>.\n    Compute the <upper-name: uppercase> from the <name>.\n    Store the <upper-name> into the <variable>.\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\nCompute the <sum> from <a> + <b>.\nCompute the <doubled> from <sum> * 2.\nLog <doubled> to the <console>.\n```",
+      "reply": "```aro\n(Compute: Example) {\n    Compute the <result> from 3 + 4.\n    Compute the <doubled> from <result> * 2.\n    Log <doubled> 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(AddTwoNumbers: Example) {\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: Example) {\n    Create the <a> with 5.\n    Create the <b> with 10.\n    Compute the <sum> from <a> + <b>.\n    Return an <OK: status> with <sum>.\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(FilterAdults: User API) {\n    Extract the <users> from the <request: body>.\n    Filter the <adults> from the <users> where <age> > 18.\n    Count the <count> from the <adults>.\n    Return an <OK: status> with { count: <count> }.\n}\n```",
+      "reply": "```aro\n(FilterAdults: Example) {\n    Create the <users> with [{ name: \"Alice\", age: 25 }, { name: \"Bob\", age: 17 }, { name: \"Charlie\", age: 30 }].\n    Filter the <adults> from the <users> where <age> > 18.\n    Compute the <count> from the <adults>.\n    Return an <OK: status> with <count>.\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\nJoin the <list-a> with the <list-b> into the <combined>.\n```",
+      "reply": "```aro\n(JoinLists: Example) {\n    Create the <list-a> with [1, 2, 3].\n    Create the <list-b> with [4, 5, 6].\n    Compute the <combined> from <list-a> ++ <list-b>.\n    Store the <combined> into the <result>.\n    Return an <OK: status> for the <result>.\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(ExtractName: JSON Parser) {\n    Extract the <json> from the <input: json>.\n    Parse the <parsed> from the <json>.\n    Extract the <name> from the <parsed: name>.\n    Return an <OK: status> with <name>.\n}\n```",
+      "reply": "```aro\n(ParseJson: Example) {\n    Create the <json-string> with '{\"name\": \"Alice\", \"age\": 30}'.\n    Parse the <parsed> from the <json-string>.\n    Extract the <name> from the <parsed: 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: Greeting) {\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(Greet: Action) {\n    Extract the <name> from the <input: name>.\n    Compute the <greeting> from \"Hello, \" ++ <name>.\n    Return an <OK: status> with <greeting>.\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: Math) {\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 <sum> from <a> + <b>.\n    Return an <OK: status> with <sum>.\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: Email Validation) {\n    Extract the <email> from the <input: email>.\n    Validate the <email> against the <email-pattern>.\n    Return an <OK: status> for the <valid: email>.\n}\n```",
+      "reply": "```aro\n(ValidateEmail: Email Validation) {\n    Extract the <email> from the <input: email>.\n    Validate the <email> against the <email-validation-pattern>.\n    Return an <OK: status> for the <valid: 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) {\n    Extract the <n> from the <input: number>.\n    Compute the <square> from <n> * <n>.\n    Return an <OK: status> with { square: <square> }.\n}\n```",
+      "reply": "```aro\n(Square: Action takes <number>) {\n    Extract the <n> from the <input: number>.\n    Compute the <square> from <n> * <n>.\n    Return an <OK: status> with { square: <square> }.\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: Date Formatter) {\n    Extract the <date> from the <input: date>.\n    Extract the <format> from the <input: format>.\n    Format the <formatted> from the <date> with <format>.\n    Return an <OK: status> with <formatted>.\n}\n```",
+      "reply": "```aro\n(FormatDate: Action) {\n    Extract the <date> from the <input: date>.\n    Extract the <format> from the <input: format>.\n    Format the <formatted-date> from the <date> with <format>.\n    Return an <OK: status> with <formatted-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: String Processor) {\n    Extract the <text> from the <input: text>.\n    Split the <words> from the <text> by whitespace.\n    Count the <word-count> from the <words>.\n    Return an <OK: status> with { count: <word-count> }.\n}\n```",
+      "reply": "```aro\n(CountWords: Action) {\n    Extract the <text> from the <input: text>.\n    Split the <words> from the <text> by whitespace.\n    Count the <word-count> from the <words>.\n    Return an <OK: status> with { count: <word-count> }.\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) {\n    Extract the <list> from the <input>.\n    Compute the <random-element> from the <list: collections.pick-random>.\n    Return an <OK: status> with <random-element>.\n}\n```",
+      "reply": "```aro\n(PickRandom: Action) {\n    Extract the <list> from the <input>.\n    Compute the <random-element> from the <list>.\n    Return an <OK: status> with <random-element>.\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: String Transformer) {\n    Extract the <input> from the <input: string>.\n    Compute the <capitalized> from <input> with <capitalize>.\n    Return an <OK: status> with <capitalized>.\n}\n```",
+      "reply": "```aro\n(Capitalize: Action) {\n    Extract the <text> from the <input>.\n    Compute the <capitalized> from <text>.\n    Return an <OK: status> with <capitalized>.\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(OrderPlaced: OrderPlaced Handler) {\n    Extract the <order> from the <event: order>.\n    Extract the <item> from the <order: item>.\n    Extract the <quantity> from the <order: quantity>.\n    Decrement the <inventory> for the <item> by <quantity>.\n    Return an <OK: status> for the <inventory-update>.\n}\n```",
+      "reply": "```aro\n(OrderPlaced Handler: Inventory Update) {\n    Extract the <order> from the <event: order>.\n    Extract the <items> from the <order: items>.\n    For each <item> in <items> {\n        Extract the <productId> from the <item: product>.\n        Extract the <quantity> from the <item: quantity>.\n        Decrement the <inventory> for the <productId> by <quantity>.\n    }\n    Return an <OK: status> for the <update>.\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(PaymentFailed Handler: Payment API) {\n    Extract the <error> from the <event: error>.\n    Log <error> to the <console>.\n    Notify the <user> with <error>.\n    Return an <OK: status> for the <handler>.\n}\n```",
+      "reply": "```aro\n(PaymentFailed Handler: Payment API) {\n    Extract the <error> from the <event: error>.\n    Log \"Payment failed: \" ++ <error> to the <console>.\n    Notify the <user> with \"Payment failed: \" ++ <error>.\n    Return an <OK: status> for the <handler>.\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(File Changed: Config Reload) {\n    Extract the <file> from the <event: file>.\n    Read the <config> from the <file>.\n    Store the <config> into the <config-cache>.\n    Return an <OK: status> for the <reload>.\n}\n```",
+      "reply": "```aro\n(FileChanged Handler: Config Reload) {\n    Log \"Reloading configuration...\" to the <console>.\n    Read the <config> from the <config-file>.\n    Store the <config> into the <config-store>.\n    Return an <OK: status> for the <reload>.\n}\n```",
       "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 <attempt>.\n}\n```",
+      "reply": "```aro\n(RecordLoginAttempt: LoginAttempt Handler) {\n    Extract the <ip> from the <event: ip>.\n    Log <ip> to the <console>.\n    Return an <OK: status> for the <record>.\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: Git Event Handler) {\n    Extract the <branch> from the <event: branch>.\n    Extract the <commit> from the <event: commit>.\n    Extract the <repository> from the <event: repository>.\n    Trigger the <ci-build> with { branch: <branch>, commit: <commit>, repository: <repository> }.\n    Return an <OK: status> for the <build-triggered>.\n}\n```",
+      "reply": "```aro\n(GitPush: Event Handler) {\n    Extract the <branch> from the <event: branch>.\n    Extract the <commit> from the <event: commit>.\n    Log \"Git push detected on branch: \" ++ <branch> to the <console>.\n    Log \"Commit hash: \" ++ <commit> to the <console>.\n    Return an <OK: status> for the <event-handling>.\n}\n```",
       "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(DowngradeAccount: SubscriptionExpired Handler) {\n    Extract the <account> from the <event: account>.\n    Extract the <plan> from the <account: plan>.\n    Downgrade the <account> to the <plan: basic>.\n    Return an <OK: status> for the <downgrade>.\n}\n```",
+      "reply": "```aro\n(DowngradeSubscription: SubscriptionExpired Handler) {\n    Extract the <account> from the <event: account>.\n    Downgrade the <account> with <account>.\n    Return an <OK: status> for the <downgrade>.\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: Cache Warmup) {\n    Extract the <server> from the <event: server>.\n    Warm the <cache> for the <server>.\n    Return an <OK: status> for the <warmup>.\n}\n```",
+      "reply": "```aro\n(WarmUpCache: ServerStarted Handler) {\n    Log \"Warming up cache...\" to the <console>.\n    Cache the <cache-data> from the <cache-source>.\n    Return an <OK: status> for the <warm-up>.\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(MessageEcho: 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```",
+      "reply": "```aro\n(EchoMessage: MessageReceived Handler) {\n    Extract the <message> from the <event: message>.\n    Log \"Echoing: \" ++ <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(ImageUploaded: Event Handler) {\n    Extract the <image> from the <event: image>.\n    Create the <thumbnail> from the <image>.\n    Store the <thumbnail> into the <thumbnail-repository>.\n    Return an <OK: status> for the <thumbnail-generation>.\n}\n```",
+      "reply": "```aro\n(ImageThumbnail: ImageUploaded Handler) {\n    Extract the <image> from the <event: image>.\n    Compute the <thumbnail> from the <image: thumbnail>.\n    Store the <thumbnail> into the <thumbnail-repository>.\n    Return an <OK: status> for the <thumbnail-generation>.\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: Example) {\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 <result>.\n}\n```",
       "empty_think": false,
       "has_code": true,
       "tool_leak": false,
@@ -421,7 +421,7 @@
       "idx": 42,
       "cat": "application",
       "prompt": "Write a complete Application-Start that starts an HTTP server on port 8080.",
-      "reply": "```aro\n(Application-Start: HTTP Server) {\n    Start the <http-server> with <port: 8080>.\n    Return an <OK: status> for the <startup>.\n}\n```",
+      "reply": "```aro\n(Application-Start: HTTP Server) {\n    Start the <http-server> with { port: 8080 }.\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,
@@ -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> with { path: \"./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 watcher...\" 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 { port: 9000, echo: true }.\n    Log \"Echo server started on port 9000\" to the <console>.\n    Return an <OK: status> for the <startup>.\n}\n```",
+      "reply": "```aro\n(Application-Start: Echo Server) {\n    Start the <tcp-server> with { port: 9000, echo: true }.\n    Log \"Echo server started on port 9000\" to the <console>.\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,
@@ -461,7 +461,7 @@
       "idx": 46,
       "cat": "application",
       "prompt": "Write a complete Application-Start that starts a WebSocket server and keeps it alive.",
-      "reply": "```aro\n(Application-Start: WebSocket App) {\n    Start the <websocket-server> with <websocket-config>.\n    Keepalive the <application> for the <websocket-events>.\n    Return an <OK: status> for the <startup>.\n}\n```",
+      "reply": "```aro\n(Application-Start: WebSocket Server) {\n    Start the <websocket-server> with <port>.\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 App) {\n    Connect the <connection> to the <database: \"localhost\">.\n    Query the <result> from the <connection: \"SELECT * FROM users\">.\n    Return an <OK: status> for the <startup>.\n}\n```",
+      "reply": "```aro\n(Application-Start: My App) {\n    Log \"Starting...\" to the <console>.\n    Connect to the <database> with <config>.\n    Query the <database> for the <query>.\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: My App) {\n    Extract the <args> from the <command-line: arguments>.\n    Log \"Arguments: \" to the <console>.\n    Log <args> to the <console>.\n    Return an <OK: status> for the <startup>.\n}\n```",
+      "reply": "```aro\n(Application-Start: Example) {\n    Read the <args> from the <command-line>.\n    Log \"Args:\" to the <console>.\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: My App) {\n    Read the <config> from the <file: \"config.json\">.\n    Log the <config> to the <console>.\n    Return an <OK: status> for the <startup>.\n}\n```",
+      "reply": "```aro\n(Application-Start: My App) {\n    Read the <config> from the <file: config.json>.\n    Log \"Loaded config:\" to the <console>.\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: My App) {\n    Log \"Starting...\" to the <console>.\n    Start the <http-server> with <contract>.\n    Return an <OK: status> for the <startup>.\n}\n```",
+      "reply": "```aro\n(Application-Start: My 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,
@@ -521,7 +521,7 @@
       "idx": 52,
       "cat": "http_api",
       "prompt": "Write the openapi.yaml plus feature set for a POST /products endpoint.",
-      "reply": "**openapi.yaml**\n```yaml\nopenapi: 3.0.3\ninfo:\n  title: Product API\n  description: A simple API for managing products\n  version: 1.0.0\nservers:\n  - url: http://localhost:8080\npaths:\n  /products:\n    post:\n      operationId: createProduct\n      summary: Create a new product\n      requestBody:\n        required: true\n        content:\n          application/json:\n            schema:\n              $ref: '#/components/schemas/Product'\n      responses:\n        '201':\n          description: Created\n      ",
+      "reply": "```yaml\n# openapi.yaml\nopenapi: 3.0.3\ninfo:\n  title: Product API\n  description: API for managing products\n  version: 1.0.0\nservers:\n  - url:\npaths:\n  /products:\n    post:\n      summary: Create a new product\n      description: Create a new product with the given details\n      operationId: createProduct\n      requestBody:\n        required: true\n        content:\n          application/json:\n            schema:\n              $ref: '#/components/schemas/Product'\n      responses:\n        '201':\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: Order API) {\n    Extract the <request-body> from the <request: body>.\n    Validate the <request-body> for the <order-schema>.\n    Emit an <OrderCreated: event> with <request-body>.\n    Return an <OK: status> for the <order-creation>.\n}\n```",
+      "reply": "```aro\n(createOrder: Order API) {\n    Extract the <request-body> from the <request: body>.\n    Validate the <request-body> for the <order-schema>.\n    Emit an <OrderCreated: event> with <request-body>.\n    Return an <OK: status> with <request-body>.\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 <session-id> from the <request: body>.\n    Delete the <session> from the <sessions-repository> where <id> = <session-id>.\n    Return an <OK: status> for the <deletion>.\n}\n```",
+      "reply": "```aro\n(deleteSession: Session API) {\n    Extract the <session-id> from the <request: 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 <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```",
+      "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 <userId> from the <pathParameters: id>.\n    Extract the <updates> from the <request: body>.\n    Retrieve the <user> from the <user-repository> where id = <userId>.\n    Patch the <user> with <updates>.\n    Store the <updated-user> into the <user-repository>.\n    Return an <OK: status> with <updated-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 <existing-user> from the <user-repository> where id = <user-id>.\n    Patch the <updated-user> from the <existing-user> with <update-data>.\n    Store the <updated-user> into the <user-repository>.\n    Return an <OK: status> with the <updated-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: Health API) {\n    Return an <OK: status> for the <health-check>.\n}\n```",
+      "reply": "```aro\n(healthCheck: Health Check) {\n    Return an <OK: status> for the <health-check>.\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(UsersRepositoryObserver: Repository Observer) {\n    Extract the <event> from the <repository: event>.\n    Extract the <user> from the <event: user>.\n    Log <user> to the <console>.\n    Return an <OK: status> for the <observation>.\n}\n```",
+      "reply": "```aro\n(UsersRepositoryObserver: User API) {\n    Extract the <user> from the <user-repository>.\n    Log <user> to the <console>.\n    Return an <OK: status> for the <observation>.\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(OrderUpdated: orders-repository Observer) {\n    Extract the <record> from the <orders-repository>.\n    Emit a <OrderUpdated: event> with <record>.\n    Return an <OK: status> for the <update>.\n}\n```",
+      "reply": "```aro\n(UpdateOrder: Order API) {\n    Extract the <order> from the <request: body>.\n    Store the <order> into the <order-repository>.\n    Emit an <OrderUpdated: event> with <order>.\n    Return an <OK: status> with <order>.\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(DeleteUserObserver: User Deleted Observer) {\n    Extract the <user> from the <event: user>.\n    Log \"User deleted: \" ++ <user: name> to the <console>.\n    Return an <OK: status> for the <deletion>.\n}\n```",
+      "reply": "```aro\n(DeleteUserObserver: User API) {\n    Extract the <user> from the <event: user>.\n    Log \"User deleted: \" ++ <user: id> to the <console>.\n    Return an <OK: status> for the <deletion>.\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 <request: id>.\n    Extract the <updates> from the <request: updates>.\n    Retrieve the <inventory> from the <inventory-repository> where <id> = <id>.\n    Update the <inventory> with <updates>.\n    Store the <inventory> into the <inventory-repository>.\n    Return an <OK: status> with <inventory>.\n}\n```",
+      "reply": "```aro\n(UpdateInventoryRecord: Inventory API) {\n    Extract the <record> from the <request: body>.\n    Store the <record> into the <inventory-repository>.\n    Return an <OK: status> with <record>.\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(AdminUserUpdated: UserUpdated Handler) {\n    Extract the <user> from the <event: user>.\n    Extract the <role> from the <user: role>.\n    When <role> = \"admin\" {\n        Log \"Admin user updated: \" ++ <user: id> to the <console>.\n        Return an <OK: status> for the <admin-update>.\n    }\n    Return an <OK: status> for the <non-admin-update>.\n}\n```",
+      "reply": "```aro\n(UpdateAdmin: UserUpdated Handler) {\n    Extract the <user> from the <event: user>.\n    Extract the <role> from the <user: role>.\n    when <role> = \"admin\" {\n        Log \"Admin user updated\" to the <console>.\n        Return an <OK: status> for the <update>.\n    }\n    Return an <OK: status> for the <update>.\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(BulkImportUsers: User API) {\n    Extract the <users> from the <request: body>.\n    For each <user> in <users> {\n        Create the <user> with <user>.\n    }\n    Return an <OK: status> with <users>.\n}\n```",
+      "reply": "```aro\n(BulkImportUsers: User API) {\n    Extract the <users> from the <request: body>.\n    For each <user> in <users> {\n        Store the <user> into the <user-repository>.\n    }\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(CountOrders: Order API) {\n    Retrieve the <orders> from the <order-repository>.\n    Count the <count> from the <orders>.\n    Store the <count> into the <global: order-count>.\n    Return an <OK: status> with <count>.\n}\n```",
+      "reply": "```aro\n(CountOrders: Order API) {\n    Retrieve the <orders> from the <order-repository>.\n    Compute the <order-count> from the <orders: length>.\n    Publish as <order-count> <order-count>.\n    Return an <OK: status> with <order-count>.\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(ObserveUserRepository: Repository Observer) {\n    Extract the <user> from the <user-repository>.\n    Retry the <operation> on failure with <attempts: 3>.\n    Return an <OK: status> for the <observation>.\n}\n```",
+      "reply": "```aro\n(ObserveUserRepository: User API) {\n    Extract the <user> from the <user-repository>.\n    Return an <OK: status> with <user>.\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: length> from <a>.\n    Compute the <length-b: length> 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\n(Log Hello: Console Output) {\n    Log \"Hello\" to the <console>.\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.\nCompute the <b> from <a>+1.\nLog <b> to the <console>.\n```",
+      "reply": "```aro\n(ComputeLazy: Example) {\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: My 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\n(Started: Event Handler) {\n    Log \"Started\" to the <console>.\n    Return an <OK: status> for the <event>.\n}\n```",
+      "reply": "```aro\n(Application-Start: My 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\n(Started: Event Handler) {\n    Log \"Started event received\" to the <console>.\n    Return an <OK: status> for the <event>.\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    Return an <OK: status> for <log>.\n}\n```",
+      "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```",
       "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    Extract the <user> from the <request: body>.\n    Emit a <UserSaved: event> with <user>.\n    Return an <OK: status> for the <save>.\n}\n```",
+      "reply": "```aro\n(saveUser: User API) {\n    Extract the <user> from the <request: body>.\n    Emit a <UserSaved: 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: Example) {\n    Log \"Hi\" to the <console>.\n    Return an <OK: status> for the <startup>.\n}\n```",
+      "reply": "```aro\n(HelloWorld: Example) {\n    Log \"Hi\" to the <console>.\n    Return an <OK: status> for the <example>.\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: Greeting) {\n    Extract the <name> from the <input: name>.\n    Create the <greeting> with \"Hello, \" ++ <name> ++ \"!\".\n    Return an <OK: status> with <greeting>.\n}\n```",
+      "reply": "```aro\n(Greet: Greeting Action) {\n    Create the <greeting> with \"Hello, \" ++ <name>.\n    Log <greeting> to the <console>.\n    Return an <OK: status> for the <greeting>.\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 keeps the application running by waiting for events or signals. It's used to keep the application alive while waiting for events to process.\n\n```aro\nKeepalive the <application> for the <events>.\n```",
+      "reply": "The `Keepalive` action keeps the application running by keeping the event loop alive. It's used to keep the application running when there are no active events to process.\n\n```aro\nKeepalive the <application> for the <events>.\n```",
       "empty_think": false,
       "has_code": true,
       "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 the entry point for the application. It runs once when the application starts and is responsible for initializing the application.\n\nEvent handlers, on the other hand, are triggered by specific events. They run when an event occurs, such as a user action or a system event.\n\nApplication-Start is the entry point for the application. It runs once when the application starts and is responsible for initializing the application.\n\nEvent handlers are triggered by specific events. The",
+      "reply": "Application-Start is the entry point for the application. It's where the application starts and initializes its components. Event handlers, on the other hand, are triggered by specific events and are used to handle those events.\n\nApplication-Start is responsible for starting the application and initializing its components. It's the first thing that happens when the application starts.\n\nEvent handlers are triggered by specific events and are used to handle those events. They are responsible for h",
       "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": "The `OWN` role is used for actions that are part of the application's internal logic, such as processing data, performing calculations, or managing state. These actions are typically used within the application's feature sets and are not exposed to external systems.\n\nThe `EXPORT` role is used for actions that are intended to be used by external systems or services. These actions are typically used to expose functionality to external systems, such as APIs or event handlers.\n\nHere's an example of ",
+      "reply": "The `OWN` role is for actions that are part of the application's internal logic, such as business rules, data transformations, and event handling. These actions are typically used to process data within the application.\n\nThe `EXPORT` role is for actions that are part of the application's external interface, such as HTTP endpoints, event handlers, and notifications. These actions are typically used to expose data to external systems or users.\n\nHere's an example of how to use each role:\n\n```aro\n(O",
       "empty_think": false,
       "has_code": true,
       "tool_leak": false,
@@ -841,7 +841,7 @@
       "idx": 84,
       "cat": "explain",
       "prompt": "How does ARO's error philosophy work? What is 'code is the error message'?",
-      "reply": "ARO's error philosophy is that the code itself is the error message. The section states: \"The code is the error message \u2014 the compiler emits a clear error for every failure.\" This means that the compiler does not emit a generic error message like \"error: invalid syntax\" but instead emits a clear error message that points directly to the source of the error.\n\nFor example, if the code has a syntax error, the compiler will emit a clear error message that points directly to the source of the error. ",
+      "reply": "ARO's error philosophy is built on the principle that \"code is the error message.\" This means that the code itself contains all the necessary information to diagnose and fix errors, without needing external error messages or error codes.\n\nIn ARO, errors are handled by the code itself. If an error occurs during execution, the code will fail with a descriptive error message that includes the line and context where the error occurred. This makes it easy to identify and fix issues.\n\nFor example, if ",
       "empty_think": false,
       "has_code": false,
       "tool_leak": false,
@@ -851,9 +851,9 @@
       "idx": 85,
       "cat": "explain",
       "prompt": "Explain what the openapi.yaml file does in an ARO application.",
-      "reply": "The `openapi.yaml` file defines the API contract for the application. It specifies the available endpoints, request/response formats, and operation IDs that the application must implement. The `openapi.yaml` file is used to generate the API contract that the application must implement, and it serves as the source of truth for the API's structure and behavior.",
+      "reply": "The `openapi.yaml` file defines the API contract for the application. It lists all the available operations (like `listUsers`, `createUser`, `getUser`) and their parameters, responses, and other metadata. The section shows that `openapi.yaml` is used to define the API contract, which is then used to generate the application's API endpoints.\n\n```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": false,
+      "has_code": true,
       "tool_leak": false,
       "url_contam": false
     },
@@ -861,9 +861,9 @@
       "idx": 86,
       "cat": "explain",
       "prompt": "What does Publish as <alias> do?",
-      "reply": "The `Publish as <alias>` action exports a variable or value under a specified alias name, making it accessible to other features or handlers. For example, `Publish as <alias> <variable>` makes the variable available for use in subsequent feature sets or event handlers.\n\n```aro\nPublish as <alias> <variable>.\n```",
+      "reply": "The `Publish as <alias>` action makes a variable available to other feature sets. The section shows `Publish as <alias> <variable>` \u2014 this makes the `variable` available to other feature sets.",
       "empty_think": false,
-      "has_code": true,
+      "has_code": false,
       "tool_leak": false,
       "url_contam": false
     },
@@ -871,7 +871,7 @@
       "idx": 87,
       "cat": "explain",
       "prompt": "How are events routed to feature sets in ARO?",
-      "reply": "Events are routed to feature sets using the `Emit` action. When an event is emitted, it is published to the event bus, and any feature set that has a handler for that event will receive it.\n\n```aro\nEmit a <UserCreated: event> with <user>.\n```",
+      "reply": "Events are routed to feature sets using the `Emit` action. The section shows `Emit a <UserCreated: event> with <user>.` which routes the event to the `UserCreated Handler` feature set.\n\n```aro\nEmit a <UserCreated: event> with <user>.\n```",
       "empty_think": false,
       "has_code": true,
       "tool_leak": false,
@@ -881,7 +881,7 @@
       "idx": 88,
       "cat": "explain",
       "prompt": "What is the role of the EventBus?",
-      "reply": "The EventBus role is to emit events that can be consumed by event handlers. For example, when a user is created, the EventBus emits a `UserCreated` event that can be handled by a handler to send a welcome email.\n\n```aro\nEmit a <UserCreated: event> with <user>.\n```",
+      "reply": "The EventBus is a central component for event-driven communication in the application. It allows different parts of the application to communicate without direct coupling. Events are emitted by features and can be consumed by event handlers.\n\n```aro\n(EmitEvent: Example) {\n    Emit a <UserRegistered: event> with { id: 1, name: \"Alice\" }.\n    Return an <OK: status> for the <event>.\n}\n```",
       "empty_think": false,
       "has_code": true,
       "tool_leak": false,
@@ -891,9 +891,9 @@
       "idx": 89,
       "cat": "explain",
       "prompt": "Explain repository observers and how they differ from event handlers.",
-      "reply": "Repository observers are a design pattern that allows you to react to changes in a repository without directly coupling the repository to the observer. They are similar to event handlers but are more focused on reacting to changes in a repository rather than reacting to events emitted by a service.\n\nIn ARO, repository observers are implemented as event handlers that are triggered when a repository changes. The observer is notified of the change and can react to it.\n\nThe key difference between re",
+      "reply": "Repository observers are a pattern for reacting to changes in a repository. They are similar to event handlers but are more lightweight and focused on reacting to specific repository events.\n\nThe key difference is that repository observers are triggered by specific repository events, while event handlers are triggered by any event emitted by any feature set.\n\nHere's how they differ:\n\n1. **Trigger**: Repository observers are triggered by specific repository events (like `UserCreated`), while even",
       "empty_think": false,
-      "has_code": true,
+      "has_code": false,
       "tool_leak": false,
       "url_contam": 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 that the execution of a feature set is delayed until the result is actually needed. The execution is only triggered when the result is explicitly referenced or used in another feature set.\n\nA future is forced when the result of a feature set is explicitly referenced or used in another feature set. For example, if a feature set returns a user object and another feature set uses that user object, the execution of the first feature set is forced when the second feature set uses",
+      "reply": "Lazy execution means that the execution of a feature set is delayed until a `Return` or `Emit` statement is encountered. The section shows:\n```aro\n(Feature Name: Business Activity) {\n    Extract the <result: qualifier> from the <source: qualifier>.\n    Compute the <output> for the <input>.\n    Return an <OK: status> for a <valid: result>.\n    Publish as <alias> <variable>.\n}\n```\nThe `Return` statement forces the execution to complete.",
       "empty_think": false,
       "has_code": true,
       "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(Feature Name: Intentional Failure) {\n    Extract the <invalid> from the <request: body>.\n    Return an <OK: status> with <invalid>.\n}\n```",
+      "reply": "```aro\n(Fail: Example) {\n    Create the <x> with 42.\n    Return an <OK: status> with <x>.\n}\n```",
       "empty_think": false,
       "has_code": true,
       "tool_leak": false,
@@ -921,7 +921,7 @@
       "idx": 92,
       "cat": "edge",
       "prompt": "Show me an example of using qualifier-as-name with two different `length` results in the same feature set.",
-      "reply": "```aro\n(Feature Name: Business Activity) {\n    Extract the <first-length: length> from the <first-message>.\n    Extract the <second-length: length> from the <second-message>.\n    Compare the <first-length> against the <second-length>.\n    Return an <OK: status> for the <comparison>.\n}\n```",
+      "reply": "```aro\n(Lengths: Example) {\n    Create the <message-a> with \"hello\".\n    Compute the <length-a: length> from the <message-a>.\n    Create the <message-b> with \"world\".\n    Compute the <length-b: length> from the <message-b>.\n    Return an <OK: status> for the <result>.\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(Feature Name: Conditional Publish) {\n    When <status> = \"active\" {\n        Publish the <event: \"UserActivated\"> with <user>.\n    }\n    When <status> = \"inactive\" {\n        Publish the <event: \"UserDeactivated\"> with <user>.\n    }\n    Return an <OK: status> for the <feature>.\n}\n```",
+      "reply": "```aro\n(ValidateUser: User API) {\n    Extract the <user> from the <request: body>.\n    When <user: email> is not null {\n        Log \"Validating user...\" to the <console>.\n        Validate the <user> with <validation-rules>.\n        Return an <OK: status> with <user>.\n    }\n    When <user: password> is not null {\n        Log \"Validating user password...\" to the <console>.\n        Validate the <user: password> with <password-rules>.\n        Return an <OK: status> with <user>.\n    }\n    Publish a <",
       "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\n(ComputeRandomItem: Example) {\n    Create the <items> with [\"a\", \"b\", \"c\"].\n    Compute the <random-item: collections.pick-random> from the <items>.\n    Return an <OK: status> with <random-item>.\n}\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: Git Action) {\n    Extract the <url> from the <input: url>.\n    Clone the <repo> from the <url> to the <local: \"./local-clone\">.\n    Return an <OK: status> for the <clone>.\n}\n```",
+      "reply": "```aro\n(Clone: Git Action) {\n    Extract the <url> from the <input: url>.\n    Clone the <repo> from the <url> to the <local-clone>.\n    Return an <OK: status> for the <clone>.\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(Feature Name: ProcessPendingEvent) {\n    Extract the <event> from the <event: event>.\n    Extract the <status> from the <event: status>.\n    Where <status> = \"pending\".\n    Process the <event> with <status>.\n    Return an <OK: status> for the <processing>.\n}\n```",
+      "reply": "```aro\n(ValidatePendingOrder: Order API) {\n    Extract the <order> from the <request: body>.\n    Where the <status> is <pending> {\n        Log \"Processing pending order\" to the <console>.\n        Return an <OK: status> with <order>.\n    }\n    Return a <Conflict: status> with \"Order status must be pending\".\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 <html> from the <template: \"email.mustache\"> with { user: <user> }.\n```",
+      "reply": "```aro\n(Render: Template) {\n    Create the <template> with \"Hello, {{name}}!\".\n    Render the <output> with <template> and { name: \"World\" }.\n    Return an <OK: status> with <output>.\n}\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": "**main.aro**\n```aro\n(* Application-Start triggers the entire execution *)\n(Application-Start: Store Demo) {\n    Log \"=== Store Demo ===\" to the <console>.\n\n    (* Seed the user-repository *)\n    Seed the <user-repository> with [\n        { id: 1, name: \"Alice\", email: \"alice@example.com\" },\n        { id: 2, name: \"Bob\", email: \"bob@example.com\" },\n        { id: 3, name: \"Charlie\", email: \"charlie@example.com\" }\n    ].\n\n    (* Read from the user-repository *)\n    Read the <users> from the <user-re",
+      "reply": "**main.aro**\n```aro\n(* Store file - seed data *)\n\n(Application-Start: Store Example) {\n    Log \"=== Store Example ===\" to the <console>.\n    Log \"Loading user data from store...\" to the <console>.\n\n    (* Seed data *)\n    Create the <user1> with { id: 1, name: \"Alice\", email: \"alice@example.com\" }.\n    Create the <user2> with { id: 2, name: \"Bob\", email: \"bob@example.com\" }.\n    Create the <user3> with { id: 3, name: \"Charlie\", email: \"charlie@example.com\" }.\n\n    Store the <user1> into the <use",
       "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(ExtractSlice: Example) {\n    Create the <list> with [1, 2, 3, 4, 5].\n    Extract the <slice> from the <list: 0..3>.\n    Return an <OK: status> with <slice>.\n}\n```",
+      "reply": "```aro\n(SliceList: Action) {\n    Extract the <list> from the <input>.\n    Extract the <start> from the <input: start>.\n    Extract the <end> from the <input: end>.\n    Compute the <sliced> from the <list> with <start> to <end>.\n    Return an <OK: status> with <sliced>.\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 Welcome 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(ValidateUserEvent: UserCreated Handler) {\n    Extract the <user> from the <event: user>.\n    Validate the <user> against the <user-schema>.\n    Return an <OK: status> for the <validation>.\n}\n```",
       "empty_think": false,
       "has_code": true,
       "tool_leak": false,