skillscript-runtime 0.15.6 → 0.16.0

package/dist/parser.d.ts

@@ -1,52 +1,20 @@
-export type OpKind = "$" | "$set" | "$append" | "?" | "@" | "!" | "??" | "foreach" | "if" | ">" | "~" | "&" | "file_read" | "file_write" | "notify";
+export type OpKind = "$" | "$set" | "$append" | "?" | "shell" | "emit" | "foreach" | "if" | "inline" | "file_read" | "file_write" | "notify";
 /**
- * v0.7.0 — runtime-intrinsic function-call names. Closed set of ops the
- * language implements directly (no MCP dispatch). Function-call grammar:
+ * Runtime-intrinsic function-call names. Closed set of ops the language
+ * implements directly (no MCP dispatch). Function-call grammar:
  * `verb(kwarg=value, ...) [-> BINDING]`.
  *
  * Anything else with function-call shape is rejected by parser with a
  * remediation pointing at `$ tool args -> R` for MCP dispatch.
  */
-export declare const RUNTIME_INTRINSIC_FN_NAMES: readonly ["emit", "ask", "inline", "execute_skill", "shell", "file_read", "file_write", "notify"];
+export declare const RUNTIME_INTRINSIC_FN_NAMES: readonly ["emit", "inline", "execute_skill", "shell", "file_read", "file_write", "notify"];
 export interface SkillOp {
     kind: OpKind;
     body: string;
     outputVar?: string;
     mcpConnector?: string;
-    retrievalParams?: {
-        mode: string;
-        query: string;
-        /** Integer literal OR a `$(VAR)`-style ref string. Runtime substitutes refs then parses to int. */
-        limit: number | string;
-        connector: string;
-        extra: Record<string, string>;
-        /**
-         * Op-level fallback (per language reference §9). When the retrieval
-         * throws or returns an empty array, runtime binds this value (string)
-         * to the output var instead of propagating the error.
-         */
-        fallback?: string;
-    };
-    localModelParams?: {
-        prompt: string;
-        model?: string;
-        /** Integer literal OR a `$(VAR)`-style ref string. Runtime substitutes refs then parses to int. */
-        maxTokens?: number | string;
-        /**
-         * Per-op timeout override in SECONDS (per decision 7 resolution chain).
-         * Integer literal OR `$(VAR)` ref. Per-op wins over skill `# Timeout:`
-         * header, connector default, and built-in fallback.
-         */
-        timeoutSeconds?: number | string;
-        /**
-         * Op-level fallback (per language reference §9). When the model call
-         * throws or returns an empty (trimmed) response, runtime binds this
-         * value to the output var instead of propagating the error.
-         */
-        fallback?: string;
-    };
     /**
-     * For `&` ops only: skill name + optional key=value args passed as inputs
+     * `inline` ops only: skill name + optional key=value args passed as inputs
      * when the target is procedural (runtime invocation), ignored when the
      * target is data-typed (compile-time inline). `outputVar` captures the
      * result of procedural invocations; absent for data inlines.
@@ -56,23 +24,18 @@ export interface SkillOp {
         args: Record<string, string>;
     };
     /**
-     * For `@` ops only: when the literal first token of the body is `unsafe`,
-     * the parser attaches `policy: "unsafe"` and strips the keyword from the
-     * body. Lint flags every `@ unsafe` (tier-2); runtime refuses unless
-     * `runtime.enable_unsafe_shell = true` (default false). Default `@` ops
-     * (without the keyword) route through the structured-spawn sandbox per
-     * decision 2 — one binary, no shell interpretation.
+     * `shell` ops only: when `unsafe=true` kwarg is set, the runtime routes
+     * through full-shell exec (vs default structured-spawn sandbox). Refused
+     * unless `runtime.enable_unsafe_shell = true` (default false). Default
+     * `shell(...)` ops route through structured spawn — one binary, no shell
+     * interpretation.
      */
     policy?: "unsafe";
     setName?: string;
     setValue?: string;
     /**
-     * Top-level fallback (per language reference §9, extended 2026-05-21
-     * for `$` ops via cold-agent corpus). On `$` throw or empty result,
-     * runtime binds this value to the output var instead of propagating
-     * the error. `~` and `>` ops carry fallback on their params bag for
-     * type-specific coercion; `$` returns are heterogeneous (objects,
-     * arrays, strings) so it lives at the op level.
+     * Op-level fallback. On op throw or empty result, runtime binds this value
+     * to the output var instead of propagating the error.
      */
     fallback?: string;
     foreachIter?: string;
@@ -84,7 +47,7 @@ export interface SkillOp {
     }>;
     ifElseBody?: SkillOp[];
     /**
-     * v0.7.0 — file_read / file_write op params. `path` is the filesystem path
+     * `file_read` / `file_write` op params. `path` is the filesystem path
      * (may contain `${VAR}` substitutions resolved at runtime). `content` is
      * the body to write (file_write only).
      */
@@ -93,41 +56,29 @@ export interface SkillOp {
         content?: string;
     };
     /**
-     * v0.8.0 — notify() op params. `agent` is the target agent identifier
-     * (required, may contain `${VAR}` substitutions resolved at runtime).
-     * `message` is the explicit message body (optional — runtime defaults to
-     * the joined accumulated emissions when absent). `connectors` is an
-     * optional restriction list — when present, only AgentConnectors whose
-     * registered name is in this list are dispatched to.
+     * `notify` op params. `agent` is the target agent identifier (required,
+     * may contain `${VAR}` substitutions resolved at runtime). `message` is
+     * the explicit message body (optional — runtime defaults to the joined
+     * accumulated emissions when absent). `connectors` is an optional
+     * restriction list — when present, only AgentConnectors whose registered
+     * name is in this list are dispatched to.
      */
     notifyParams?: {
         agent: string;
         message?: string;
         connectors?: string[];
-        /** v0.9.6 — adopter-defined routing vocab; flows to `meta.event_type`. */
+        /** Adopter-defined routing vocab; flows to `meta.event_type`. */
         event_type?: string;
-        /** v0.9.6 — reply-correlation primitive; flows to `meta.correlation_id`. */
+        /** Reply-correlation primitive; flows to `meta.correlation_id`. */
         correlation_id?: string;
     };
     /**
-     * v0.7.0 — inline `approved="reason"` kwarg captured on mutation-class
-     * function-call ops. Author intent marker; lint's `unconfirmed-mutation`
-     * rule accepts presence (any non-empty string) as per-op authorization
-     * when `# Autonomous: true` is not declared.
+     * Inline `approved="reason"` kwarg captured on mutation-class function-call
+     * ops. Author intent marker; lint's `unconfirmed-mutation` rule accepts
+     * presence (any non-empty string) as per-op authorization when
+     * `# Autonomous: true` is not declared.
      */
     approved?: string;
-    /**
-     * v0.7.1 — source-form marker. The parser collapses canonical
-     * function-call ops (`emit(text="...")`, `shell(command="...")`, etc.)
-     * to the same AST `kind` as the legacy symbol form (`! ...`, `@ ...`,
-     * etc.) so runtime/render/lint share one dispatch path. This field
-     * preserves which surface the author wrote so the `deprecated-symbol-op`
-     * lint can fire only on legacy-form occurrences.
-     *
-     * `"function-call"` = author wrote `verb(kwargs)` shape.
-     * `undefined` = author wrote symbol form (legacy).
-     */
-    sourceForm?: "function-call";
 }
 export interface SkillTarget {
     name: string;

package/dist/parser.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"parser.d.ts","sourceRoot":"","sources":["../src/parser.ts"],"names":[],"mappings":"AAIA,MAAM,MAAM,MAAM,GAAG,GAAG,GAAG,MAAM,GAAG,SAAS,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,IAAI,GAAG,SAAS,GAAG,IAAI,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,WAAW,GAAG,YAAY,GAAG,QAAQ,CAAC;AAEpJ;;;;;;;GAOG;AACH,eAAO,MAAM,0BAA0B,mGAS7B,CAAC;AAEX,MAAM,WAAW,OAAO;IACtB,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,eAAe,CAAC,EAAE;QAChB,IAAI,EAAE,MAAM,CAAC;QACb,KAAK,EAAE,MAAM,CAAC;QACd,mGAAmG;QACnG,KAAK,EAAE,MAAM,GAAG,MAAM,CAAC;QACvB,SAAS,EAAE,MAAM,CAAC;QAClB,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QAC9B;;;;WAIG;QACH,QAAQ,CAAC,EAAE,MAAM,CAAC;KACnB,CAAC;IACF,gBAAgB,CAAC,EAAE;QACjB,MAAM,EAAE,MAAM,CAAC;QACf,KAAK,CAAC,EAAE,MAAM,CAAC;QACf,mGAAmG;QACnG,SAAS,CAAC,EAAE,MAAM,GAAG,MAAM,CAAC;QAC5B;;;;WAIG;QACH,cAAc,CAAC,EAAE,MAAM,GAAG,MAAM,CAAC;QACjC;;;;WAIG;QACH,QAAQ,CAAC,EAAE,MAAM,CAAC;KACnB,CAAC;IACF;;;;;OAKG;IACH,SAAS,CAAC,EAAE;QACV,SAAS,EAAE,MAAM,CAAC;QAClB,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;KAC9B,CAAC;IACF;;;;;;;OAOG;IACH,MAAM,CAAC,EAAE,QAAQ,CAAC;IAClB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB;;;;;;;OAOG;IACH,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,WAAW,CAAC,EAAE,OAAO,EAAE,CAAC;IACxB,UAAU,CAAC,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,OAAO,EAAE,CAAA;KAAE,CAAC,CAAC;IACtD,UAAU,CAAC,EAAE,OAAO,EAAE,CAAC;IACvB;;;;OAIG;IACH,UAAU,CAAC,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,OAAO,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC;IAChD;;;;;;;OAOG;IACH,YAAY,CAAC,EAAE;QACb,KAAK,EAAE,MAAM,CAAC;QACd,OAAO,CAAC,EAAE,MAAM,CAAC;QACjB,UAAU,CAAC,EAAE,MAAM,EAAE,CAAC;QACtB,0EAA0E;QAC1E,UAAU,CAAC,EAAE,MAAM,CAAC;QACpB,4EAA4E;QAC5E,cAAc,CAAC,EAAE,MAAM,CAAC;KACzB,CAAC;IACF;;;;;OAKG;IACH,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB;;;;;;;;;;OAUG;IACH,UAAU,CAAC,EAAE,eAAe,CAAC;CAC9B;AAED,MAAM,WAAW,WAAW;IAC1B,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,EAAE,CAAC;IACf,GAAG,EAAE,OAAO,EAAE,CAAC;IAEf,SAAS,CAAC,EAAE,OAAO,EAAE,CAAC;CACvB;AAED,MAAM,WAAW,QAAQ;IACvB,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,QAAQ,EAAE,OAAO,CAAC;CACnB;AAED,MAAM,WAAW,YAAY;IAC3B,SAAS,EAAE,UAAU,GAAG,YAAY,CAAC;IACrC,GAAG,EAAE,MAAM,CAAC;IACZ,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;IACxB,GAAG,EAAE,MAAM,CAAC;CACb;AAED,MAAM,MAAM,aAAa,GAAG,SAAS,GAAG,MAAM,GAAG,OAAO,GAAG,aAAa,GAAG,YAAY,GAAG,QAAQ,CAAC;AAEnG,MAAM,WAAW,WAAW;IAC1B,MAAM,EAAE,aAAa,CAAC;IACtB,IAAI,EAAE,MAAM,CAAC;CACd;AAED,MAAM,MAAM,UAAU,GAAG,MAAM,GAAG,OAAO,GAAG,UAAU,GAAG,MAAM,GAAG,MAAM,CAAC;AAEzE,MAAM,WAAW,UAAU;IACzB,IAAI,EAAE,UAAU,CAAC;IACjB,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,MAAM,SAAS,GAAG,YAAY,GAAG,MAAM,CAAC;AAC9C,MAAM,MAAM,kBAAkB,GAAG,OAAO,GAAG,UAAU,GAAG,UAAU,CAAC;AAgBnE,MAAM,WAAW,WAAW;IAC1B,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;IACpB,WAAW,EAAE,MAAM,GAAG,IAAI,CAAC;IAC3B;;;;OAIG;IACH,IAAI,EAAE,SAAS,CAAC;IAChB,uFAAuF;IACvF,MAAM,EAAE,kBAAkB,GAAG,IAAI,CAAC;IAClC;;;;;OAKG;IACH,aAAa,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7B;;;;;OAKG;IACH,OAAO,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAAC;IAChC,IAAI,EAAE,QAAQ,EAAE,CAAC;IACjB,oFAAoF;IACpF,QAAQ,EAAE,YAAY,EAAE,CAAC;IACzB;;;;;OAKG;IACH,oBAAoB,EAAE,MAAM,EAAE,CAAC;IAC/B,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IACvB,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;IAClC,WAAW,EAAE,MAAM,GAAG,IAAI,CAAC;IAC3B,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IACvB,QAAQ,EAAE,WAAW,EAAE,CAAC;IACxB,OAAO,EAAE,UAAU,EAAE,CAAC;IACtB;;;;;OAKG;IACH,mBAAmB,EAAE,OAAO,CAAC;IAC7B;;;;;;;;;OASG;IACH,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;IACzB;;;;;OAKG;IACH,SAAS,EAAE,MAAM,EAAE,CAAC;IACpB;;;;;;;;;;;;OAYG;IACH,UAAU,EAAE,OAAO,GAAG,IAAI,CAAC;IAC3B,WAAW,EAAE,MAAM,EAAE,CAAC;CACvB;AAuXD;;;;;;;;;;;;GAYG;AACH,wBAAgB,eAAe,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,CAmBnD;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,4BAA4B,CAAC,CAAC,EAAE,MAAM,GAAG,MAAM,CAU9D;AAED;;;GAGG;AACH,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,EAAE,CA+D3D;AAuND;;;GAGG;AACH;;;;;;;;;;;;;;;;;;GAkBG;AACH,wBAAgB,wBAAwB,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAQtE;AAED,wBAAgB,KAAK,CAAC,MAAM,EAAE,MAAM,GAAG,WAAW,CAw9BjD"}
+{"version":3,"file":"parser.d.ts","sourceRoot":"","sources":["../src/parser.ts"],"names":[],"mappings":"AAIA,MAAM,MAAM,MAAM,GAAG,GAAG,GAAG,MAAM,GAAG,SAAS,GAAG,GAAG,GAAG,OAAO,GAAG,MAAM,GAAG,SAAS,GAAG,IAAI,GAAG,QAAQ,GAAG,WAAW,GAAG,YAAY,GAAG,QAAQ,CAAC;AAE7I;;;;;;;GAOG;AACH,eAAO,MAAM,0BAA0B,4FAQ7B,CAAC;AAEX,MAAM,WAAW,OAAO;IACtB,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB;;;;;OAKG;IACH,SAAS,CAAC,EAAE;QACV,SAAS,EAAE,MAAM,CAAC;QAClB,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;KAC9B,CAAC;IACF;;;;;;OAMG;IACH,MAAM,CAAC,EAAE,QAAQ,CAAC;IAClB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB;;;OAGG;IACH,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,WAAW,CAAC,EAAE,OAAO,EAAE,CAAC;IACxB,UAAU,CAAC,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,OAAO,EAAE,CAAA;KAAE,CAAC,CAAC;IACtD,UAAU,CAAC,EAAE,OAAO,EAAE,CAAC;IACvB;;;;OAIG;IACH,UAAU,CAAC,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,OAAO,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC;IAChD;;;;;;;OAOG;IACH,YAAY,CAAC,EAAE;QACb,KAAK,EAAE,MAAM,CAAC;QACd,OAAO,CAAC,EAAE,MAAM,CAAC;QACjB,UAAU,CAAC,EAAE,MAAM,EAAE,CAAC;QACtB,iEAAiE;QACjE,UAAU,CAAC,EAAE,MAAM,CAAC;QACpB,mEAAmE;QACnE,cAAc,CAAC,EAAE,MAAM,CAAC;KACzB,CAAC;IACF;;;;;OAKG;IACH,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB;AAED,MAAM,WAAW,WAAW;IAC1B,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,EAAE,CAAC;IACf,GAAG,EAAE,OAAO,EAAE,CAAC;IAEf,SAAS,CAAC,EAAE,OAAO,EAAE,CAAC;CACvB;AAED,MAAM,WAAW,QAAQ;IACvB,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,QAAQ,EAAE,OAAO,CAAC;CACnB;AAED,MAAM,WAAW,YAAY;IAC3B,SAAS,EAAE,UAAU,GAAG,YAAY,CAAC;IACrC,GAAG,EAAE,MAAM,CAAC;IACZ,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;IACxB,GAAG,EAAE,MAAM,CAAC;CACb;AAED,MAAM,MAAM,aAAa,GAAG,SAAS,GAAG,MAAM,GAAG,OAAO,GAAG,aAAa,GAAG,YAAY,GAAG,QAAQ,CAAC;AAEnG,MAAM,WAAW,WAAW;IAC1B,MAAM,EAAE,aAAa,CAAC;IACtB,IAAI,EAAE,MAAM,CAAC;CACd;AAED,MAAM,MAAM,UAAU,GAAG,MAAM,GAAG,OAAO,GAAG,UAAU,GAAG,MAAM,GAAG,MAAM,CAAC;AAEzE,MAAM,WAAW,UAAU;IACzB,IAAI,EAAE,UAAU,CAAC;IACjB,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,MAAM,SAAS,GAAG,YAAY,GAAG,MAAM,CAAC;AAC9C,MAAM,MAAM,kBAAkB,GAAG,OAAO,GAAG,UAAU,GAAG,UAAU,CAAC;AAgBnE,MAAM,WAAW,WAAW;IAC1B,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;IACpB,WAAW,EAAE,MAAM,GAAG,IAAI,CAAC;IAC3B;;;;OAIG;IACH,IAAI,EAAE,SAAS,CAAC;IAChB,uFAAuF;IACvF,MAAM,EAAE,kBAAkB,GAAG,IAAI,CAAC;IAClC;;;;;OAKG;IACH,aAAa,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7B;;;;;OAKG;IACH,OAAO,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAAC;IAChC,IAAI,EAAE,QAAQ,EAAE,CAAC;IACjB,oFAAoF;IACpF,QAAQ,EAAE,YAAY,EAAE,CAAC;IACzB;;;;;OAKG;IACH,oBAAoB,EAAE,MAAM,EAAE,CAAC;IAC/B,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IACvB,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;IAClC,WAAW,EAAE,MAAM,GAAG,IAAI,CAAC;IAC3B,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IACvB,QAAQ,EAAE,WAAW,EAAE,CAAC;IACxB,OAAO,EAAE,UAAU,EAAE,CAAC;IACtB;;;;;OAKG;IACH,mBAAmB,EAAE,OAAO,CAAC;IAC7B;;;;;;;;;OASG;IACH,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;IACzB;;;;;OAKG;IACH,SAAS,EAAE,MAAM,EAAE,CAAC;IACpB;;;;;;;;;;;;OAYG;IACH,UAAU,EAAE,OAAO,GAAG,IAAI,CAAC;IAC3B,WAAW,EAAE,MAAM,EAAE,CAAC;CACvB;AAsWD;;;;;;;;;;;;GAYG;AACH,wBAAgB,eAAe,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,CAmBnD;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,4BAA4B,CAAC,CAAC,EAAE,MAAM,GAAG,MAAM,CAU9D;AAED;;;GAGG;AACH,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,EAAE,CA+D3D;AAgHD;;;GAGG;AACH;;;;;;;;;;;;;;;;;;GAkBG;AACH,wBAAgB,wBAAwB,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAQtE;AAED,wBAAgB,KAAK,CAAC,MAAM,EAAE,MAAM,GAAG,WAAW,CA63BjD"}

package/dist/parser.js

@@ -2,22 +2,21 @@
 // no resolution against external state. Semantic analysis (variable resolution,
 // data-skill inlining, topo-sort) lives in compile.ts.
 /**
- * v0.7.0 — runtime-intrinsic function-call names. Closed set of ops the
- * language implements directly (no MCP dispatch). Function-call grammar:
+ * Runtime-intrinsic function-call names. Closed set of ops the language
+ * implements directly (no MCP dispatch). Function-call grammar:
  * `verb(kwarg=value, ...) [-> BINDING]`.
  *
  * Anything else with function-call shape is rejected by parser with a
  * remediation pointing at `$ tool args -> R` for MCP dispatch.
  */
 export const RUNTIME_INTRINSIC_FN_NAMES = [
-    "emit", // → ! (output to skill consumer)
-    "ask", // → ?? (prompt user)
-    "inline", // → & (compile-time skill composition)
-    "execute_skill", // → $ execute_skill (runtime skill invocation)
-    "shell", // → @ (local subprocess)
+    "emit", // output to skill consumer
+    "inline", // compile-time skill composition
+    "execute_skill", // runtime skill invocation (dispatches via $ execute_skill)
+    "shell", // local subprocess
     "file_read", // read file contents at runtime
     "file_write", // write file contents at runtime
-    "notify", // v0.8.0 — mid-skill synchronous agent alert via AgentConnector(s)
+    "notify", // mid-skill synchronous agent alert via AgentConnector(s)
 ];
 /**
  * Case-insensitive accept, canonical-form return. The `allowed` list defines
@@ -37,8 +36,6 @@ function normalizeEnumValue(raw, allowed) {
 const REQUIRES_LINE = /^(user-var|system-var):([A-Za-z0-9_-]+)\s*(?:→|->)\s*([A-Za-z_][\w-]*)\s*(?:\(\s*fallback\s*:\s*(.+?)\s*\)\s*)?$/;
 /** Capability token: `connector_type.feature_flag`. Matches one space-separated token of a capability `# Requires:` line. */
 const CAPABILITY_TOKEN = /^[a-z_][a-z0-9_]*\.[a-z_][a-z0-9_]*$/;
-/** `&` op: `& skill-name [arg=value ...] [-> VARNAME]`. Skill names follow the same charset as filesystem-safe identifiers (alphanumeric, hyphen, underscore). */
-const AMPERSAND_OP_REGEX = /^&\s+([A-Za-z0-9][\w-]*)\s*(.*?)(?:\s*->\s*([A-Za-z_]\w*))?(?:\s+\(fallback\s*:\s*(.+?)\))?\s*$/s;
 // v0.7.2 — `(.*)` widened to `([\s\S]*)` so multi-line triple-quote
 // (`"""..."""`) values fold into a single $set value capture. Without the
 // dotall-equivalent, the `.` excludes newlines and the regex stops at the
@@ -75,24 +72,9 @@ function extractApprovedKwarg(body) {
         return undefined;
     return m[1] ?? m[2] ?? "";
 }
-// v0.9.2 — P0.5 detect missing-space dispatch: `$<word> args` where `<word>`
-// isn't `set`/`append` (the only legitimate no-space `$`-prefix verbs).
+// P0.5 detect missing-space dispatch: `$<word> args` where `<word>` isn't
+// `set`/`append` (the only legitimate no-space `$`-prefix verbs).
 const NO_SPACE_DISPATCH_RE = /^\$(?!set\b|append\b)\w+\s/;
-/**
- * `>` and `~` ops accept optional trailing `(fallback: <value>)` per
- * language reference §9 (Error Handling, Layer 3). Fires when the op
- * throws or returns empty — runtime binds the fallback value to the
- * output var and continues without surfacing the error.
- *
- * Value is permissive (matching `# Requires:` cascade convention): bare
- * identifiers (`ip-based`), quoted strings (`"weather unavailable"`),
- * array literals (`[]`, `[a, b]`), and arbitrary text between the colon
- * and the closing paren are all accepted. Parser stores the raw form;
- * runtime applies `coerceLiteralValue` for `>` (binds array on `[...]`)
- * and the raw string for `~` (model response shape).
- */
-const RETRIEVAL_OP_REGEX = /^>\s+(.+?)\s+->\s+([A-Za-z_]\w*)(?:\s+\(fallback\s*:\s*(.+?)\))?\s*$/s;
-const LOCAL_MODEL_OP_REGEX = /^~\s+(.+?)\s+->\s+([A-Za-z_]\w*)(?:\s+\(fallback\s*:\s*(.+?)\))?\s*$/s;
 const MCP_CONNECTOR_PREFIX = /^([a-z_][a-z0-9_-]*)\.(?=[A-Za-z_])([\s\S]*)$/;
 // Narrow v1 condition grammar.
 // v0.3.4: filter chain support — each `(REF)(|filter)?` became `(REF)(|filter)*`
@@ -686,109 +668,6 @@ function splitMcpConnectorPrefix(body) {
         return { connector: undefined, rest: body };
     return { connector: m[1], rest: m[2] };
 }
-function parseRetrievalArgs(argsStr, targetName) {
-    const errors = [];
-    const map = {};
-    const tokens = tokenizeKeywordArgs(argsStr);
-    for (const tok of tokens) {
-        const eq = tok.indexOf("=");
-        if (eq === -1) {
-            errors.push(`Malformed \`>\` arg '${tok}' in target '${targetName}' — expected key=value`);
-            continue;
-        }
-        const key = tok.slice(0, eq).trim();
-        const rawValue = tok.slice(eq + 1);
-        map[key] = processSetValue(rawValue);
-    }
-    for (const required of ["mode", "query", "limit"]) {
-        if (!(required in map) || map[required] === "") {
-            errors.push(`\`>\` op in target '${targetName}' missing required param '${required}'`);
-        }
-    }
-    // Defer integer validation when the value contains a `$(VAR)` ref — runtime
-    // substitutes + parses after the ref resolves. Literal numerics still
-    // validate at parse time.
-    let limit = 0;
-    const rawLimit = map["limit"] ?? "";
-    if (/\$[(\{]/.test(rawLimit)) {
-        limit = rawLimit;
-    }
-    else {
-        const n = parseInt(rawLimit, 10);
-        if (!Number.isFinite(n) || n <= 0) {
-            errors.push(`\`>\` op in target '${targetName}': 'limit' must be a positive integer or a \`$(VAR)\` ref (got '${rawLimit}')`);
-        }
-        else {
-            limit = n;
-        }
-    }
-    const extra = {};
-    for (const [k, v] of Object.entries(map)) {
-        if (k === "mode" || k === "query" || k === "limit" || k === "connector")
-            continue;
-        extra[k] = v;
-    }
-    return {
-        params: {
-            mode: map["mode"] ?? "",
-            query: map["query"] ?? "",
-            limit,
-            connector: map["connector"] ?? "primary",
-            extra,
-        },
-        errors,
-    };
-}
-function parseLocalModelArgs(argsStr, targetName) {
-    const errors = [];
-    const map = {};
-    const tokens = tokenizeKeywordArgs(argsStr);
-    for (const tok of tokens) {
-        const eq = tok.indexOf("=");
-        if (eq === -1) {
-            errors.push(`Malformed \`~\` arg '${tok}' in target '${targetName}' — expected key=value`);
-            continue;
-        }
-        const key = tok.slice(0, eq).trim();
-        const rawValue = tok.slice(eq + 1);
-        map[key] = processSetValue(rawValue);
-    }
-    const recognized = new Set(["prompt", "model", "maxTokens", "timeoutSeconds"]);
-    for (const key of Object.keys(map)) {
-        if (!recognized.has(key)) {
-            errors.push(`\`~\` op in target '${targetName}': unrecognized param '${key}' — strict grammar allows prompt/model/maxTokens/timeoutSeconds only. Interpolate context into the prompt string via $(...) instead.`);
-        }
-    }
-    if (!("prompt" in map) || map["prompt"] === "") {
-        errors.push(`\`~\` op in target '${targetName}' missing required param 'prompt'`);
-    }
-    // Defer integer validation when the value contains a `$(VAR)` ref.
-    function deferInt(key) {
-        if (!(key in map))
-            return undefined;
-        const raw = map[key];
-        if (/\$[(\{]/.test(raw))
-            return raw;
-        const n = parseInt(raw, 10);
-        if (!Number.isFinite(n) || n <= 0) {
-            errors.push(`\`~\` op in target '${targetName}': '${key}' must be a positive integer or a \`$(VAR)\` ref (got '${raw}')`);
-            return undefined;
-        }
-        return n;
-    }
-    const maxTokens = deferInt("maxTokens");
-    const timeoutSeconds = deferInt("timeoutSeconds");
-    const params = {
-        prompt: map["prompt"] ?? "",
-    };
-    if ("model" in map && map["model"] !== "")
-        params.model = map["model"];
-    if (maxTokens !== undefined)
-        params.maxTokens = maxTokens;
-    if (timeoutSeconds !== undefined)
-        params.timeoutSeconds = timeoutSeconds;
-    return { params, errors };
-}
 function popToDepth(stack, targetDepth) {
     while (stack.length > 0 && stack[stack.length - 1].depth > targetDepth) {
         stack.pop();
@@ -1349,82 +1228,18 @@ export function parse(source) {
             continue;
         }
         if (stripped0.startsWith("> ")) {
-            const match = RETRIEVAL_OP_REGEX.exec(stripped0);
-            if (!match) {
-                result.parseErrors.push(`Malformed \`>\` op in target '${currentTarget.name}' — expected \`> key=value ... -> VARNAME [(fallback: "value")]\``);
-                continue;
-            }
-            const [, argsStr, outputVar, fallback] = match;
-            const parsed = parseRetrievalArgs(argsStr, currentTarget.name);
-            if (parsed.errors.length > 0) {
-                for (const e of parsed.errors)
-                    result.parseErrors.push(e);
-                continue;
-            }
-            if (fallback !== undefined)
-                parsed.params.fallback = processSetValue(fallback);
-            opBucket.push({
-                kind: ">",
-                body: stripped0,
-                outputVar: outputVar,
-                retrievalParams: parsed.params,
-            });
+            result.parseErrors.push(`Legacy \`>\` retrieval op in target '${currentTarget.name}' is no longer supported. ` +
+                `Use \`$ data_read mode="fts|semantic|rerank" query="..." limit=N -> R\` (or qualify the connector: \`$ <connector>.data_read ...\`).`);
             continue;
         }
         if (stripped0.startsWith("~ ")) {
-            const match = LOCAL_MODEL_OP_REGEX.exec(stripped0);
-            if (!match) {
-                result.parseErrors.push(`Malformed \`~\` op in target '${currentTarget.name}' — expected \`~ key=value ... -> VARNAME [(fallback: "value")]\``);
-                continue;
-            }
-            const [, argsStr, outputVar, fallback] = match;
-            const parsed = parseLocalModelArgs(argsStr, currentTarget.name);
-            if (parsed.errors.length > 0) {
-                for (const e of parsed.errors)
-                    result.parseErrors.push(e);
-                continue;
-            }
-            if (fallback !== undefined)
-                parsed.params.fallback = processSetValue(fallback);
-            opBucket.push({
-                kind: "~",
-                body: stripped0,
-                outputVar: outputVar,
-                localModelParams: parsed.params,
-            });
+            result.parseErrors.push(`Legacy \`~\` LocalModel op in target '${currentTarget.name}' is no longer supported. ` +
+                `Use \`$ llm prompt="..." [maxTokens=N] [model="..."] -> R\` (op-level \`timeout=N\` kwarg and trailing \`(fallback: "value")\` are honored).`);
             continue;
         }
         if (stripped0.startsWith("& ")) {
-            const match = AMPERSAND_OP_REGEX.exec(stripped0);
-            if (!match) {
-                result.parseErrors.push(`Malformed \`&\` op in target '${currentTarget.name}' — expected \`& skill-name [key=value ...] [-> VARNAME]\``);
-                continue;
-            }
-            const [, skillName, argsStr, outputVar, ampFallback] = match;
-            const args = {};
-            const tokens = tokenizeKeywordArgs(argsStr ?? "");
-            let argError = false;
-            for (const tok of tokens) {
-                const eq = tok.indexOf("=");
-                if (eq === -1) {
-                    result.parseErrors.push(`Malformed \`&\` arg '${tok}' in target '${currentTarget.name}' — expected key=value`);
-                    argError = true;
-                    continue;
-                }
-                args[tok.slice(0, eq).trim()] = processSetValue(tok.slice(eq + 1));
-            }
-            if (argError)
-                continue;
-            const ampOp = {
-                kind: "&",
-                body: stripped0,
-                ampParams: { skillName: skillName, args },
-            };
-            if (outputVar !== undefined)
-                ampOp.outputVar = outputVar;
-            if (ampFallback !== undefined)
-                ampOp.fallback = processSetValue(ampFallback);
-            opBucket.push(ampOp);
+            result.parseErrors.push(`Legacy \`&\` inline op in target '${currentTarget.name}' is no longer supported. ` +
+                `Use \`inline(skill="...")\` for compile-time data-skill inlines, or \`execute_skill(name="...", ...) -> R\` for runtime composition.`);
             continue;
         }
         if (stripped0.startsWith("foreach ")) {
@@ -1515,34 +1330,21 @@ export function parse(source) {
                     }
                     const text = kwArgs["text"] ?? "";
                     opBucket.push({
-                        kind: "!",
+                        kind: "emit",
                         body: text,
                         ...(approved !== undefined ? { approved } : {}),
-                        sourceForm: "function-call",
-                    });
-                    continue;
-                }
-                if (fnName === "ask") {
-                    const prompt = kwArgs["prompt"] ?? "";
-                    opBucket.push({
-                        kind: "??",
-                        body: prompt,
-                        ...(outputVar !== undefined ? { outputVar } : {}),
-                        ...(approved !== undefined ? { approved } : {}),
-                        sourceForm: "function-call",
                     });
                     continue;
                 }
                 if (fnName === "inline") {
                     const skill = kwArgs["skill"] ?? "";
                     opBucket.push({
-                        kind: "&",
+                        kind: "inline",
                         body: stripped0,
                         ampParams: { skillName: skill, args: {} },
                         ...(outputVar !== undefined ? { outputVar } : {}),
                         ...(fallback !== undefined ? { fallback } : {}),
                         ...(approved !== undefined ? { approved } : {}),
-                        sourceForm: "function-call",
                     });
                     continue;
                 }
@@ -1568,7 +1370,6 @@ export function parse(source) {
                         ...(outputVar !== undefined ? { outputVar } : {}),
                         ...(fallback !== undefined ? { fallback } : {}),
                         ...(approved !== undefined ? { approved } : {}),
-                        sourceForm: "function-call",
                     });
                     continue;
                 }
@@ -1576,13 +1377,12 @@ export function parse(source) {
                     const command = kwArgs["command"] ?? "";
                     const unsafe = kwArgs["unsafe"] === "true";
                     opBucket.push({
-                        kind: "@",
+                        kind: "shell",
                         body: command,
                         ...(unsafe ? { policy: "unsafe" } : {}),
                         ...(outputVar !== undefined ? { outputVar } : {}),
                         ...(fallback !== undefined ? { fallback } : {}),
                         ...(approved !== undefined ? { approved } : {}),
-                        sourceForm: "function-call",
                     });
                     continue;
                 }
@@ -1594,7 +1394,6 @@ export function parse(source) {
                         fileParams: { path },
                         ...(outputVar !== undefined ? { outputVar } : {}),
                         ...(fallback !== undefined ? { fallback } : {}),
-                        sourceForm: "function-call",
                     });
                     continue;
                 }
@@ -1607,7 +1406,6 @@ export function parse(source) {
                         fileParams: { path, content },
                         ...(outputVar !== undefined ? { outputVar } : {}),
                         ...(approved !== undefined ? { approved } : {}),
-                        sourceForm: "function-call",
                     });
                     continue;
                 }
@@ -1655,7 +1453,6 @@ export function parse(source) {
                         ...(outputVar !== undefined ? { outputVar } : {}),
                         ...(fallback !== undefined ? { fallback } : {}),
                         ...(approved !== undefined ? { approved } : {}),
-                        sourceForm: "function-call",
                     });
                     continue;
                 }
@@ -1670,19 +1467,11 @@ export function parse(source) {
         let kind = null;
         let body = "";
         let mcpConnectorForOp = undefined;
-        let atPolicy = undefined;
-        let atOutputVar = undefined;
-        let atFallback = undefined;
-        // Check `??` before `?`, `$set` before `$`.
+        // Check `??`/`$set` before bare `?`/`$`.
         if (stripped.startsWith("?? ") || stripped === "??") {
-            const tail = stripped.slice(3).trim();
-            const m = /^(.+?)\s+->\s+([A-Za-z_]\w*)\s*$/.exec(tail);
-            if (m !== null) {
-                opBucket.push({ kind: "??", body: m[1].trim(), outputVar: m[2] });
-            }
-            else {
-                opBucket.push({ kind: "??", body: tail });
-            }
+            result.parseErrors.push(`Legacy \`??\` ask op in target '${currentTarget.name}' is no longer supported. ` +
+                `\`ask\` was removed in v0.16.0 — it conflated user-surfacing (which the runtime can't guarantee a channel for) with mutation-gating (already covered by \`approved="reason"\` per-op kwarg + \`# Autonomous: true\` skill flag). ` +
+                `For input, use \`emit(text="...")\` and have the caller handle the round-trip. For mutation authorization, use \`approved=\` or \`# Autonomous:\`.`);
             continue;
         }
         else if (stripped.startsWith("$set ") || stripped === "$set") {
@@ -1771,45 +1560,22 @@ export function parse(source) {
             body = stripped.slice(2).trim();
         }
         else if (stripped.startsWith("@ ") || stripped === "@") {
-            kind = "@";
-            let tail = stripped.slice(2).trim();
-            // Optional output binding: `-> VAR [(fallback: "...")]` at end of line.
-            // v0.2.4 Bug F: the trailing `(fallback: ...)` clause is now supported
-            // for parity with $/~/> ops — cold authors reach for op-level fallback
-            // as a defensive-coding posture and previously hit silent
-            // outputVar-not-bound failures.
-            const outMatch = /^(.+?)\s+->\s+([A-Za-z_]\w*)(?:\s+\(fallback\s*:\s*(.+?)\))?\s*$/.exec(tail);
-            if (outMatch !== null) {
-                atOutputVar = outMatch[2];
-                if (outMatch[3] !== undefined)
-                    atFallback = processSetValue(outMatch[3]);
-                tail = outMatch[1].trim();
-            }
-            // `@ unsafe <command>` — `unsafe` as literal first token signals
-            // opt-in full-shell exec (vs default structured-spawn sandbox).
-            const unsafeMatch = /^unsafe(?:\s+(.*))?$/.exec(tail);
-            if (unsafeMatch !== null) {
-                atPolicy = "unsafe";
-                body = (unsafeMatch[1] ?? "").trim();
-            }
-            else {
-                body = tail;
-            }
+            result.parseErrors.push(`Legacy \`@\` shell op in target '${currentTarget.name}' is no longer supported. ` +
+                `Use \`shell(command="...") [-> R] [(fallback: "...")]\` (add \`unsafe=true\` kwarg for full-shell exec; runtime opt-in still required).`);
+            continue;
         }
         else if (stripped.startsWith("! ") || stripped === "!") {
-            kind = "!";
-            body = stripped.slice(2).trim();
+            result.parseErrors.push(`Legacy \`!\` emit op in target '${currentTarget.name}' is no longer supported. ` +
+                `Use \`emit(text="...")\`.`);
+            continue;
         }
         if (kind !== null) {
-            // v0.9.4 — N1 also extract `approved=` for the no-binding `$` op path
+            // N1: extract `approved=` for the no-binding `$` op path.
             const approvedKwarg = kind === "$" ? extractApprovedKwarg(body) : undefined;
             opBucket.push({
                 kind,
                 body,
                 ...(mcpConnectorForOp !== undefined ? { mcpConnector: mcpConnectorForOp } : {}),
-                ...(atPolicy !== undefined ? { policy: atPolicy } : {}),
-                ...(atOutputVar !== undefined ? { outputVar: atOutputVar } : {}),
-                ...(atFallback !== undefined ? { fallback: atFallback } : {}),
                 ...(approvedKwarg !== undefined ? { approved: approvedKwarg } : {}),
             });
             continue;
@@ -1826,7 +1592,7 @@ export function parse(source) {
             result.parseErrors.push(`Unknown block-introducer '${keyword}:' in target '${currentTarget.name}'. ` +
                 `Skillscript recognizes \`if COND:\`, \`elif COND:\`, \`else:\`, and \`foreach IT in $(LIST):\` ` +
                 `at body scope (target-level \`else:\` is the error handler). ` +
-                `Composition is via \`& skill-name\` (data-skill inline) or \`$ execute_skill skill_name="..."\` (in-skill invocation), not block syntax.`);
+                `Composition is via \`inline(skill="...")\` (data-skill inline) or \`execute_skill(name="...")\` (in-skill invocation), not block syntax.`);
             scopeStack.push({
                 kind: "unknown-block",
                 target: currentTarget,