tree-sitter-bynk 0.79.0 → 0.80.0

package/grammar.js

@@ -23,15 +23,17 @@
 
 const PREC = {
   assert: 0,
-  or: 1,
-  and: 2,
-  is: 3,
-  cmp: 4,
-  rel: 5,
-  add: 6,
-  mul: 7,
-  unary: 8,
-  postfix: 9,
+  // v0.80: `implies` is the lowest-precedence binary operator (below `||`).
+  implies: 1,
+  or: 2,
+  and: 3,
+  is: 4,
+  cmp: 5,
+  rel: 6,
+  add: 7,
+  mul: 8,
+  unary: 9,
+  postfix: 10,
 };
 
 module.exports = grammar({
@@ -549,9 +551,19 @@ module.exports = grammar({
         "{",
         field("key", $.key_decl),
         field("state", $.state_decl),
+        repeat($.invariant_decl),
         repeat($.handler),
         "}",
       ),
+    // v0.80: an agent invariant — `invariant <name>: <predicate>`. Sits between
+    // the state block and the handlers.
+    invariant_decl: ($) =>
+      seq(
+        "invariant",
+        field("name", $.identifier),
+        ":",
+        field("predicate", $._expression),
+      ),
     key_decl: ($) =>
       seq("key", field("name", $.identifier), ":", field("type", $._type_ref)),
     state_decl: ($) =>
@@ -848,6 +860,8 @@ module.exports = grammar({
 
     binary_expr: ($) =>
       choice(
+        // v0.80: `P implies Q` — right-associative, lowest precedence.
+        prec.right(PREC.implies, seq($._expression, "implies", $._expression)),
         prec.left(PREC.or, seq($._expression, "||", $._expression)),
         prec.left(PREC.and, seq($._expression, "&&", $._expression)),
         prec.left(PREC.cmp, seq($._expression, choice("==", "!="), $._expression)),

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "tree-sitter-bynk",
-  "version": "0.79.0",
+  "version": "0.80.0",
   "description": "Tree-sitter grammar for the Bynk DSL (v0–v0.16).",
   "main": "bindings/node",
   "types": "bindings/node",
@@ -39,7 +39,7 @@
   },
   "devDependencies": {
     "prebuildify": "^6.0.0",
-    "tree-sitter-cli": "^0.24.0"
+    "tree-sitter-cli": "^0.26.9"
   },
   "tree-sitter": [
     {

package/queries/highlights.scm

@@ -46,6 +46,7 @@
   "mocks"
   "integration"
   "wires"
+  "invariant"
 ] @keyword.declaration
 
 [
@@ -56,6 +57,7 @@
 [
   "where"
   "and"
+  "implies"
   "enum"
 ] @keyword.operator
 

package/src/grammar.json

@@ -2461,6 +2461,13 @@
             "name": "state_decl"
           }
         },
+        {
+          "type": "REPEAT",
+          "content": {
+            "type": "SYMBOL",
+            "name": "invariant_decl"
+          }
+        },
         {
           "type": "REPEAT",
           "content": {
@@ -2474,6 +2481,35 @@
         }
       ]
     },
+    "invariant_decl": {
+      "type": "SEQ",
+      "members": [
+        {
+          "type": "STRING",
+          "value": "invariant"
+        },
+        {
+          "type": "FIELD",
+          "name": "name",
+          "content": {
+            "type": "SYMBOL",
+            "name": "identifier"
+          }
+        },
+        {
+          "type": "STRING",
+          "value": ":"
+        },
+        {
+          "type": "FIELD",
+          "name": "predicate",
+          "content": {
+            "type": "SYMBOL",
+            "name": "_expression"
+          }
+        }
+      ]
+    },
     "key_decl": {
       "type": "SEQ",
       "members": [
@@ -4115,7 +4151,7 @@
     },
     "is_expr": {
       "type": "PREC_LEFT",
-      "value": 3,
+      "value": 4,
       "content": {
         "type": "SEQ",
         "members": [
@@ -4146,7 +4182,7 @@
       "type": "CHOICE",
       "members": [
         {
-          "type": "PREC_LEFT",
+          "type": "PREC_RIGHT",
           "value": 1,
           "content": {
             "type": "SEQ",
@@ -4157,7 +4193,7 @@
               },
               {
                 "type": "STRING",
-                "value": "||"
+                "value": "implies"
               },
               {
                 "type": "SYMBOL",
@@ -4169,6 +4205,27 @@
         {
           "type": "PREC_LEFT",
           "value": 2,
+          "content": {
+            "type": "SEQ",
+            "members": [
+              {
+                "type": "SYMBOL",
+                "name": "_expression"
+              },
+              {
+                "type": "STRING",
+                "value": "||"
+              },
+              {
+                "type": "SYMBOL",
+                "name": "_expression"
+              }
+            ]
+          }
+        },
+        {
+          "type": "PREC_LEFT",
+          "value": 3,
           "content": {
             "type": "SEQ",
             "members": [
@@ -4189,7 +4246,7 @@
         },
         {
           "type": "PREC_LEFT",
-          "value": 4,
+          "value": 5,
           "content": {
             "type": "SEQ",
             "members": [
@@ -4219,7 +4276,7 @@
         },
         {
           "type": "PREC_LEFT",
-          "value": 5,
+          "value": 6,
           "content": {
             "type": "SEQ",
             "members": [
@@ -4257,7 +4314,7 @@
         },
         {
           "type": "PREC_LEFT",
-          "value": 6,
+          "value": 7,
           "content": {
             "type": "SEQ",
             "members": [
@@ -4287,7 +4344,7 @@
         },
         {
           "type": "PREC_LEFT",
-          "value": 7,
+          "value": 8,
           "content": {
             "type": "SEQ",
             "members": [
@@ -4319,7 +4376,7 @@
     },
     "unary_expr": {
       "type": "PREC_RIGHT",
-      "value": 8,
+      "value": 9,
       "content": {
         "type": "SEQ",
         "members": [
@@ -4564,7 +4621,7 @@
     },
     "method_call": {
       "type": "PREC_LEFT",
-      "value": 10,
+      "value": 11,
       "content": {
         "type": "SEQ",
         "members": [
@@ -4708,7 +4765,7 @@
     },
     "field_access": {
       "type": "PREC_LEFT",
-      "value": 9,
+      "value": 10,
       "content": {
         "type": "SEQ",
         "members": [
@@ -4737,7 +4794,7 @@
     },
     "call": {
       "type": "PREC_LEFT",
-      "value": 9,
+      "value": 10,
       "content": {
         "type": "SEQ",
         "members": [
@@ -5163,7 +5220,7 @@
     },
     "question_expr": {
       "type": "PREC_LEFT",
-      "value": 9,
+      "value": 10,
       "content": {
         "type": "SEQ",
         "members": [
@@ -5590,5 +5647,6 @@
     }
   ],
   "inline": [],
-  "supertypes": []
-}
+  "supertypes": [],
+  "reserved": {}
+}

package/src/node-types.json

@@ -193,6 +193,10 @@
         {
           "type": "handler",
           "named": true
+        },
+        {
+          "type": "invariant_decl",
+          "named": true
         }
       ]
     }
@@ -2800,6 +2804,144 @@
       ]
     }
   },
+  {
+    "type": "invariant_decl",
+    "named": true,
+    "fields": {
+      "name": {
+        "multiple": false,
+        "required": true,
+        "types": [
+          {
+            "type": "identifier",
+            "named": true
+          }
+        ]
+      },
+      "predicate": {
+        "multiple": false,
+        "required": true,
+        "types": [
+          {
+            "type": "assert_expr",
+            "named": true
+          },
+          {
+            "type": "binary_expr",
+            "named": true
+          },
+          {
+            "type": "block",
+            "named": true
+          },
+          {
+            "type": "boolean_literal",
+            "named": true
+          },
+          {
+            "type": "call",
+            "named": true
+          },
+          {
+            "type": "effect_pure_expr",
+            "named": true
+          },
+          {
+            "type": "err_expr",
+            "named": true
+          },
+          {
+            "type": "field_access",
+            "named": true
+          },
+          {
+            "type": "float_literal",
+            "named": true
+          },
+          {
+            "type": "identifier",
+            "named": true
+          },
+          {
+            "type": "if_expr",
+            "named": true
+          },
+          {
+            "type": "is_expr",
+            "named": true
+          },
+          {
+            "type": "lambda_expr",
+            "named": true
+          },
+          {
+            "type": "list_literal",
+            "named": true
+          },
+          {
+            "type": "match_expr",
+            "named": true
+          },
+          {
+            "type": "method_call",
+            "named": true
+          },
+          {
+            "type": "mock_expr",
+            "named": true
+          },
+          {
+            "type": "none_expr",
+            "named": true
+          },
+          {
+            "type": "number_literal",
+            "named": true
+          },
+          {
+            "type": "ok_expr",
+            "named": true
+          },
+          {
+            "type": "paren_expr",
+            "named": true
+          },
+          {
+            "type": "question_expr",
+            "named": true
+          },
+          {
+            "type": "record_construction",
+            "named": true
+          },
+          {
+            "type": "record_spread",
+            "named": true
+          },
+          {
+            "type": "self_expr",
+            "named": true
+          },
+          {
+            "type": "some_expr",
+            "named": true
+          },
+          {
+            "type": "string_literal",
+            "named": true
+          },
+          {
+            "type": "unary_expr",
+            "named": true
+          },
+          {
+            "type": "unit_literal",
+            "named": true
+          }
+        ]
+      }
+    }
+  },
   {
     "type": "is_expr",
     "named": true,
@@ -6756,7 +6898,8 @@
   },
   {
     "type": "doc_block",
-    "named": true
+    "named": true,
+    "extra": true
   },
   {
     "type": "else",
@@ -6806,10 +6949,18 @@
     "type": "if",
     "named": false
   },
+  {
+    "type": "implies",
+    "named": false
+  },
   {
     "type": "integration",
     "named": false
   },
+  {
+    "type": "invariant",
+    "named": false
+  },
   {
     "type": "is",
     "named": false
@@ -6824,7 +6975,8 @@
   },
   {
     "type": "line_comment",
-    "named": true
+    "named": true,
+    "extra": true
   },
   {
     "type": "match",