spl-lang 0.3.0 → 0.3.1

package/README.md

@@ -30,7 +30,7 @@ under `~/.spl` (override with `SPL_HOME`); `spl logout` removes those saved cred
   Prose and code fences are not silently extracted.
 - **Repairs:** `repairs=0..5` retries only malformed/invalid generation, not transport errors
   or external actions. Agents require `repairs=0`. Use `assert` for business rules.
-- **Guidance:** `instruct`, `avoid`, and `len` influence prompts, not runtime guarantees.
+- **Guidance:** `enforce`/`forbid` and `len` influence prompts, not runtime guarantees.
 - **Capabilities:** nested `restrict fs/net/exec/mcp` clauses intersect. Shell command
   inspection is best effort; MCP servers are trusted services, not OS-sandboxed.
 - **Bindings:** `let` declares/redeclares function/script locals; `x = ...` and `x += ...`
@@ -85,7 +85,7 @@ See [embedding](../docs/internals.html#embedding).
 
 ## Migration
 
-0.3 intentionally removes `enforce`/`forbid`, `think{level=...}`, tool-command syntax,
-and `let` before compound/member/index assignments. Use `instruct`/`avoid`,
-`reasoning`, ordinary raw functions, and explicit agents instead.
+Use `enforce` and `forbid` for scoped prompt guidance; `instruct` and `avoid` are not accepted.
+0.3 removes `think{level=...}`, tool-command syntax, and `let` before
+compound/member/index assignments. Use `reasoning`, ordinary raw functions, and explicit agents instead.
 Bare blocks no longer create scopes. See the [migration table](../README.md#breaking-changes-in-03).

package/dist/ast.d.ts

@@ -148,7 +148,7 @@ export type Stmt = Base & ({
     value?: Expr;
 } | {
     t: 'constraint';
-    kind: 'instruct' | 'avoid';
+    kind: 'enforce' | 'forbid';
     text: Expr;
     body: Stmt[];
 } | {

package/dist/llm.d.ts

@@ -4,7 +4,7 @@ import type { ToolHost } from './tools.js';
 import { type Value } from './values.js';
 export type ReasoningLevel = 'low' | 'medium' | 'high';
 export interface Constraint {
-    kind: 'instruct' | 'avoid';
+    kind: 'enforce' | 'forbid';
     text: string;
 }
 export interface LlmRequest {

package/dist/llm.js

@@ -14,7 +14,7 @@ export function buildPrompt(opts) {
     const sections = [];
     if (opts.constraints.length) {
         sections.push('Response guidance (not runtime validation):\n' +
-            opts.constraints.map((c) => `- ${c.kind === 'instruct' ? 'Follow' : 'Avoid'}: ${c.text}`).join('\n'));
+            opts.constraints.map((c) => `- ${c.kind === 'enforce' ? 'Follow' : 'Avoid'}: ${c.text}`).join('\n'));
     }
     const guidance = opts.restrictions.guidance();
     if (guidance.length)

package/dist/parser.js

@@ -2,7 +2,7 @@ import { SplSyntaxError } from './errors.js';
 import { tokenize } from './lexer.js';
 const KEYWORDS = new Set([
     'let', 'if', 'elif', 'else', 'for', 'in', 'while', 'def', 'return', 'try', 'except', 'assert', 'fail',
-    'success', 'instruct', 'avoid', 'restrict', 'think', 'agent', 'break', 'continue', 'pass', 'and', 'or', 'not',
+    'success', 'enforce', 'forbid', 'restrict', 'think', 'agent', 'break', 'continue', 'pass', 'and', 'or', 'not',
     'True', 'False', 'None',
 ]);
 export const MODIFIER_NAMES = ['len', 'fmt', 'reasoning', 'show', 'schema', 'repairs', 'model'];
@@ -242,17 +242,17 @@ class Parser {
                     this.next();
                     return { t: 'success', line, value: this.atStatementEnd() ? undefined : this.parseExpr() };
                 }
-                case 'instruct':
-                case 'avoid': {
+                case 'enforce':
+                case 'forbid': {
                     const kind = t.value;
                     this.next();
                     const text = this.parseExpr();
                     return { t: 'constraint', line, kind, text, body: this.parseBlock() };
                 }
                 case 'restrict': return this.parseRestrict();
-                case 'enforce':
-                case 'forbid':
-                    this.fail(`'${t.value}' was removed; use '${t.value === 'enforce' ? 'instruct' : 'avoid'}' for prompt guidance, or assert/schema for validation`);
+                case 'instruct':
+                case 'avoid':
+                    this.fail(`use '${t.value === 'instruct' ? 'enforce' : 'forbid'}' instead of '${t.value}' for scoped prompt guidance`);
                 default:
                     break;
             }

package/docs/syntax.ebnf

@@ -20,7 +20,7 @@ for_stmt       = "for" , NAME , { "," , NAME } , "in" , expr , block ;
 while_stmt     = "while" , expr , block ;
 def_stmt       = "def" , NAME , "(" , [ NAME , { "," , NAME } , [ "," ] ] , ")" , block ;
 try_stmt       = "try" , block , NL* , "except" , NAME , block ;
-guidance_stmt  = ( "instruct" | "avoid" ) , expr , block ;
+guidance_stmt  = ( "enforce" | "forbid" ) , expr , block ;
 restrict_stmt  = "restrict" , restrict_clause , { "," , restrict_clause } , block ;
 restrict_clause = [ "fs" | "net" | "exec" | "mcp" ] , expr ;
 
@@ -63,7 +63,8 @@ modifier       = ( "len" | "fmt" | "reasoning" | "show" | "schema" | "repairs" |
    Generation (? and think) has no tools. agent explicitly enables restricted runtime/MCP tools.
    Raw tools are ordinary positional functions: read_file(path), write_file(path, content),
    web_fetch(url), web_search(query), shell(command). They never invoke a model.
-   instruct/avoid are prompt guidance; schema/assert validate data; restrict checks actions. *)
+   enforce/forbid are scoped prompt guidance.
+   schema/assert validate data; restrict checks actions. *)
 
 string         = [ "r" ] , quote , { char | escape | interpolation } , closing_quote ;
 quote          = "'" | '"' | "'''" | '"""' ;
@@ -76,6 +77,6 @@ NL             = newline ;
 
 (* "{{"/"}}" are literal braces; raw strings have no interpolation or escapes.
    Reserved words: let if elif else for in while def return try except assert fail success
-   instruct avoid restrict think agent break continue pass and or not True False None.
-   Removed syntax: enforce/forbid, think{level=...}, tool{param=...} 'instructions',
+   enforce forbid restrict think agent break continue pass and or not True False None.
+   Removed syntax: think{level=...}, tool{param=...} 'instructions',
    let x += ... and let d.key = ... . *)

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "spl-lang",
-  "version": "0.3.0",
+  "version": "0.3.1",
   "description": "Semantic Prompt Language: a Python-like language with LLM calls built into the syntax",
   "type": "module",
   "main": "./dist/index.js",