@plurnk/plurnk-grammar 0.23.1 → 0.26.0

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@plurnk/plurnk-grammar",
-  "version": "0.23.1",
+  "version": "0.26.0",
   "description": "ANTLR4 grammar for the Plurnk LLM agent protocol",
   "type": "module",
   "license": "MIT",
@@ -15,7 +15,8 @@
       "types": "./dist/src/index.d.ts",
       "default": "./dist/src/index.js"
     },
-    "./package.json": "./package.json"
+    "./package.json": "./package.json",
+    "./plurnk.gbnf": "./dist/plurnk.gbnf"
   },
   "bin": {
     "plurnk": "./bin/plurnk.js"
@@ -29,7 +30,8 @@
     "build:grammar": "antlr-ng -D language=TypeScript -o src/generated --generate-visitor true --generate-listener false plurnkLexer.g4 plurnkParser.g4 && node scriptify/fix-generated-imports.ts",
     "build:types": "node scriptify/generate-types.ts",
     "build:dist": "rm -rf dist && tsc -p tsconfig.build.json",
-    "build": "npm run build:grammar && npm run build:types && npm run build:dist",
+    "build:gbnf": "node scriptify/generate-gbnf.ts",
+    "build": "npm run build:grammar && npm run build:types && npm run build:dist && npm run build:gbnf",
     "antlr:tokens": "testrig src/generated/plurnk document --tokens",
     "antlr:trace": "testrig src/generated/plurnk document --trace",
     "antlr:parse": "testrig src/generated/plurnk document --tree",
@@ -38,6 +40,7 @@
     "test:intg": "node --test test/integration/*.test.ts",
     "test:demo": "node --test test/demo/*.test.ts",
     "test:smoke": "node scriptify/smoke-test.ts",
+    "test:llama": "node --test test/llama/*.test.ts",
     "test:all": "npm run test:lint && npm run test:unit && npm run test:intg && npm run test:demo",
     "prepare": "npm run build",
     "prepublishOnly": "npm run build && npm run test:all && npm run test:smoke"

package/plurnk.md

@@ -1,6 +1,6 @@
 # Plurnk System Grammar
 
-YOU MUST ONLY use the Extended HEREDOC Plurnk Operations (FIND|READ|EDIT|COPY|MOVE|SHOW|HIDE|SEND|EXEC).
+YOU MUST ONLY use the Extended HEREDOC Plurnk Operations (FIND|READ|EDIT|COPY|MOVE|OPEN|FOLD|SEND|EXEC).
 
 ## Syntax
 
@@ -17,8 +17,8 @@ Slots between `<<OPsuffix` and `:body:` are all optional. `:body:` fences are re
 | EDIT | tags        | required   | lines `N,M`         | content         |
 | COPY | apply tags  | required   | lines `N,M`         | destination URI |
 | MOVE | apply tags  | required   | lines `N,M`         | destination URI |
-| SHOW | filter tags | log path   | results `N,M`       | matcher         |
-| HIDE | filter tags | log path   | results `N,M`       | matcher         |
+| OPEN | filter tags | log path   | results `N,M`       | matcher         |
+| FOLD | filter tags | log path   | results `N,M`       | matcher         |
 | SEND | status code | recipient  | —                   | message body    |
 | EXEC | executor    | cwd        | —                   | command or code |
 
@@ -31,12 +31,12 @@ EXEC defaults to `sh`; override with an optional executor (`node`, `python`, `se
 
 The agent maintains two surfaces for budgeting working-memory tokens:
 
-- **Log** — what you did: the chronological record of every operation. HIDE collapses a log row to its path and saves tokens; SHOW restores its body and spends tokens. Non-destructive — collapsed rows remain listed and re-SHOWable.
+- **Log** — what you did: the chronological record of every operation. FOLD contracts a log row to its one-line summary and saves tokens; OPEN restores the complete record and spends tokens. Non-destructive — folded rows remain listed and re-OPENable.
 - **`plurnk://manifest.json`** — what's available: the complete, unranked directory of every entry (items are `{ path, channels }`). Query it to discover what exists; the system never ranks for you.
 
-READ pulls an entry's content (full, ranged, or matcher-filtered) and appends a fresh log row. SHOW and HIDE operate on the log only; against an entry they return 501.
+READ pulls an entry's content (full, ranged, or matcher-filtered) and appends a fresh log row. OPEN and FOLD operate on the log only; against an entry they return 501.
 
-YOU SHOULD collapse distilled and irrelevant log rows with HIDE to save tokens and optimize context relevance.
+YOU SHOULD FOLD distilled and irrelevant log rows to save tokens and optimize context relevance.
 YOU SHOULD distill durable findings into `known://` entries with EDIT.
 YOU MAY permanently delete entries by MOVE to `/dev/null` (works regardless of environment).
 
@@ -51,7 +51,7 @@ Clearing content: `<1,-1>` selects every position; combine with an empty body to
 
 On structured entries, `<Result>` addresses result index, not line number.
 
-## Body matcher dispatch (FIND, READ, SHOW, HIDE)
+## Body matcher dispatch (FIND, READ, OPEN, FOLD)
 
 | leading prefix | dialect  | form                              |
 |----------------|----------|-----------------------------------|
@@ -84,11 +84,11 @@ Internal schemes:
 
 ## Suffix
 
-YOU MAY use an optional matching suffix on the opening and closing tags for disambiguation.
+YOU MUST use a matching digit suffix on the opening and closing tags when quoting plurnk operations in a body.
 
-<<EDITouter(known://demo):
+<<EDIT1(known://demo):
 quoted: <<EDIT(known://inner):hello:EDIT
-:EDITouter
+:EDIT1
 
 ## Body
 
@@ -120,9 +120,9 @@ Body content is character-perfect, exactly matching whitespace.
 <<COPY[archive,2026-05-14](known://draft.md):known://archive/2026-05-14/draft.md:COPY
 <<MOVE[final](known://draft/answer.md):known://final/answer.md:MOVE
 <<MOVE(known://obsolete/note.md):/dev/null:MOVE
-<<SHOW(log://**/get)<1,10>::SHOW
+<<OPEN(log://**/get)<1,10>::OPEN
 <<FIND(known://**)<5>:~french revolutionary history:FIND
-<<HIDE(log://**/get)<101,200>::HIDE
+<<FOLD(log://**/get)<101,200>::FOLD
 <<FIND(log://**/error):/timeout|deadline exceeded/i:FIND
 <<FIND(known://**):revolution:FIND
 <<FIND(src/**):@<createCoder:FIND