@wmfs/statelint 1.23.0 → 1.25.0

package/.releaserc.json

@@ -12,7 +12,7 @@
     "@semantic-release/git"
   ],
   "generateNotes": {
-    "preset": "metahub"
+    "preset": "angular"
   },
   "prepare": [
     {

package/CHANGELOG.md

@@ -1,3 +1,22 @@
+# [1.25.0](https://github.com/wmfs/statelint/compare/v1.24.0...v1.25.0) (2024-09-18)
+
+
+### Features
+
+* Update to current version of the Amazon State Language ([#292](https://github.com/wmfs/statelint/issues/292)) ([35b08f8](https://github.com/wmfs/statelint/commit/35b08f8b51af12bd851d9bfbe382927899b0239a))
+
+# [1.24.0](https://github.com/wmfs/statelint/compare/v1.23.0...v1.24.0) (2023-05-09)
+
+
+### 🛠 Builds
+
+* **deps-dev:** update dependency [@semantic-release](https://github.com/semantic-release)/changelog to v6.0.3 ([e61465d](https://github.com/wmfs/statelint/commit/e61465d77a118d12160e80e3b56e7ffef68a5def))
+* **deps-dev:** update dependency semantic-release to v20.1.3 ([4b5e9e5](https://github.com/wmfs/statelint/commit/4b5e9e5c5afe3372b0a691b8cb37dbca4d9dfcc2))
+* **deps-dev:** update dependency semantic-release to v21 ([ac64e50](https://github.com/wmfs/statelint/commit/ac64e5002a6a19a646bab5ddecf8e08b8e53ba48))
+* **deps-dev:** update dependency semantic-release to v21.0.1 ([952f93c](https://github.com/wmfs/statelint/commit/952f93cc4bf7d66febc9474dbb7b570bdb6a94c8))
+* **deps-dev:** update dependency semantic-release to v21.0.2 ([7cb33a2](https://github.com/wmfs/statelint/commit/7cb33a216ae9117e1e7edeac3a5ceed9bef96be4))
+* **deps:** update dependency [@wmfs](https://github.com/wmfs)/j2119 to v1.25.0 ([5832e9d](https://github.com/wmfs/statelint/commit/5832e9da83325e5d062df07644b8a9d821cb5179))
+
 # [1.23.0](https://github.com/wmfs/statelint/compare/v1.22.0...v1.23.0) (2023-03-13)
 
 

package/README.md

@@ -4,7 +4,7 @@
 
 An npm package providing a validator for [Amazon States Language](https://states-language.net/spec.html) JSON files. Usable from the command-line or as a library.
 
-This package is derived from Amazon Web Services Labs' [awslabs/statelint](https://github.com/awslabs/statelint) and is up to date with the [changes announced on 29 November 2018](https://aws.amazon.com/blogs/aws/new-compute-database-messaging-analytics-and-machine-learning-integration-for-aws-step-functions/).
+This package is derived from Amazon Web Services Labs' [awslabs/statelint](https://github.com/awslabs/statelint) and is up to date with [Amazon States Language](https://states-language.net/) as of [September 7, 2023](https://states-language.net/#september-7-2023).
 
 ## From the Command-line 
 

package/lib/schema/StateMachine.j2119

@@ -4,7 +4,7 @@ A State Machine MUST have a string field named "StartAt".
 A State Machine MAY have a string field named "Comment".
 A State Machine MAY have a string field named "Version".
 A State Machine MAY have a positive-integer field named "TimeoutSeconds" whose value MUST be less than 99999999.
-A State MUST have a string field named "Type" whose value MUST be one of "Pass", "Succeed", "Fail", "Task", "Choice", "Wait", or "Parallel".
+A State MUST have a string field named "Type" whose value MUST be one of "Pass", "Succeed", "Fail", "Task", "Choice", "Wait", "Parallel", or "Map".
 A State whose "Type" field's value is "Pass" is a "Pass State".
 A State whose "Type" field's value is "Succeed" is a "Succeed State".
 A State whose "Type" field's value is "Fail" is a "Fail State".
@@ -12,30 +12,43 @@ A State whose "Type" field's value is "Task" is a "Task State".
 A State whose "Type" field's value is "Choice" is a "Choice State".
 A State whose "Type" field's value is "Wait" is a "Wait State".
 A State whose "Type" field's value is "Parallel" is a "Parallel State".
+A State whose "Type" field's value is "Map" is a "Map State".
 A State MAY have a string field named "Comment".
-Each of a Pass State, a Task State, a Wait State, and a Parallel State MAY have a boolean field named "End".
-Each of a Pass State, a Task State, and a Parallel State MAY have a field named "Parameters".
+Each of a Pass State, a Task State, a Wait State, a Parallel State, and a Map State MAY have a boolean field named "End".
+Each of a Pass State, a Task State, a Parallel State, and a Map State MAY have a field named "Parameters".
 A State whose "End" field's value is true is a "Terminal State".
 Each of a Succeed State and a Fail State is a "Terminal State".
 A State which is not a Terminal State or a Choice State MUST have a string field named "Next".
 A Terminal State MUST NOT have a field named "Next".
-A State MAY have a nullable-JSONPath field named "InputPath".
-Each of a Pass State, a Task State, and a Parallel State MAY have a nullable-referencePath field named "ResultPath".
-A State MAY have a nullable-JSONPath field named "OutputPath".
+A State MAY have a field named "InputPath".
+Each of a Pass State, a Task State, a Parallel State, and a Map State MAY have a nullable-referencePath field named "ResultPath".
+Each of a Task State, a Parallel State, and a Map State MAY have a field named "ResultSelector".
+A State MAY have a field named "OutputPath".
 A Pass State MAY have a field named "Result".
 A Fail State MUST NOT have a field named "InputPath".
 A Fail State MUST NOT have a field named "OutputPath".
 A Fail State MAY have a string field named "Cause".
+A Fail State MAY have a field named "CausePath".
+A Fail State MAY have only one of "Cause" and "CausePath".
 A Fail State MAY have a string field named "Error".
-Each of a Task State and a Parallel State MAY have an object-array field named "Retry"; each element is a "Retrier".
+A Fail State MAY have a field named "ErrorPath".
+A Fail State MAY have only one of "Error" and "ErrorPath".
+Each of a Task State, a Parallel State, and a Map State MAY have an object-array field named "Retry"; each element is a "Retrier".
 A Task State MUST have a URI field named "Resource".
 A Task State MAY have a positive-integer field named "TimeoutSeconds" whose value MUST be less than 99999999.
 A Task State MAY have a positive-integer field named "HeartbeatSeconds" whose value MUST be less than 99999999.
+A Task State MAY have a referencePath field named "TimeoutSecondsPath".
+A Task State MAY have a referencePath field named "HeartbeatSecondsPath".
+A Task State MAY have only one of "TimeoutSeconds" and "TimeoutSecondsPath".
+A Task State MAY have only one of "HeartbeatSeconds" and "HeartbeatSecondsPath".
+A Task State MAY have an object field named "Credentials".
 A Retrier MUST have a nonempty-string-array field named "ErrorEquals".
 A Retrier MAY have an positive-integer field named "IntervalSeconds".
 A Retrier MAY have a nonnegative-integer field named "MaxAttempts" whose value MUST be less than 99999999.
 A Retrier MAY have a float field named "BackoffRate" whose value MUST be greater than or equal to 1.0.
-Each of a Task State and a Parallel State MAY have an object-array field named "Catch"; each element is a "Catcher".
+A Retrier MAY have a positive-integer field named "MaxDelaySeconds".
+A Retrier MAY have a string field named "JitterStrategy" whose value MUST be one of "FULL" or "NONE".
+Each of a Task State, a Parallel State, and a Map State MAY have an object-array field named "Catch"; each element is a "Catcher".
 A Catcher MUST have an nonempty-string-array field named "ErrorEquals".
 A Catcher MUST have a string field named "Next".
 A Catcher MAY have a nullable-referencePath field named "ResultPath".
@@ -50,10 +63,10 @@ A Choice Rule MUST have a string field named "Next".
 A Choice Rule with an "And" field is a "Boolean".
 A Choice Rule with an "Or" field is a "Boolean".
 A Choice Rule with a "Not" field is a "Boolean".
-A Choice Rule MAY have a referencePath field named "Variable".
+A Choice Rule MAY have a field named "Variable".
 A Choice Rule with a "Variable" field is a "Comparison".
-A Comparison MUST have a field named one of "IsUndefined", "StringEquals", "StringLessThan", "StringGreaterThan", "StringLessThanEquals", "StringGreaterThanEquals", "NumericEquals", "NumericLessThan", "NumericGreaterThan", "NumericLessThanEquals", "NumericGreaterThanEquals", "BooleanEquals", "TimestampEquals", "TimestampLessThan", "TimestampGreaterThan", "TimestampLessThanEquals", or "TimestampGreaterThanEquals".
-A Comparison MAY have a boolean field named "IsUndefined".
+A Choice Rule MAY have a string field named "Comment".
+A Comparison MUST have a field named one of "StringEquals", "StringLessThan", "StringGreaterThan", "StringLessThanEquals", "StringGreaterThanEquals", "NumericEquals", "NumericLessThan", "NumericGreaterThan", "NumericLessThanEquals", "NumericGreaterThanEquals", "BooleanEquals", "TimestampEquals", "TimestampLessThan", "TimestampGreaterThan", "TimestampLessThanEquals", "TimestampGreaterThanEquals", "StringEqualsPath", "StringLessThanPath", "StringGreaterThanPath", "StringLessThanEqualsPath", "StringGreaterThanEqualsPath", "NumericEqualsPath", "NumericLessThanPath", "NumericGreaterThanPath", "NumericLessThanEqualsPath", "NumericGreaterThanEqualsPath", "BooleanEqualsPath", "TimestampEqualsPath", "TimestampLessThanPath", "TimestampGreaterThanPath", "TimestampLessThanEqualsPath", "TimestampGreaterThanEqualsPath", "IsNull", "IsPresent", "IsNumeric", "IsString", "IsBoolean", "IsTimestamp", or "StringMatches".
 A Comparison MAY have a string field named "StringEquals".
 A Comparison MAY have a string field named "StringLessThan".
 A Comparison MAY have a string field named "StringGreaterThan".
@@ -70,6 +83,29 @@ A Comparison MAY have a timestamp field named "TimestampLessThan".
 A Comparison MAY have a timestamp field named "TimestampGreaterThan".
 A Comparison MAY have a timestamp field named "TimestampLessThanEquals".
 A Comparison MAY have a timestamp field named "TimestampGreaterThanEquals".
+A Comparison MAY have a boolean field named "IsNull".
+A Comparison MAY have a boolean field named "IsPresent".
+A Comparison MAY have a boolean field named "IsNumeric".
+A Comparison MAY have a boolean field named "IsString".
+A Comparison MAY have a boolean field named "IsBoolean".
+A Comparison MAY have a boolean field named "IsTimestamp".
+A Comparison MAY have a string field named "StringMatches".
+A Comparison MAY have a referencePath field named "StringEqualsPath".
+A Comparison MAY have a referencePath field named "StringLessThanPath".
+A Comparison MAY have a referencePath field named "StringGreaterThanPath".
+A Comparison MAY have a referencePath field named "StringLessThanEqualsPath".
+A Comparison MAY have a referencePath field named "StringGreaterThanEqualsPath".
+A Comparison MAY have a referencePath field named "NumericEqualsPath".
+A Comparison MAY have a referencePath field named "NumericLessThanPath".
+A Comparison MAY have a referencePath field named "NumericGreaterThanPath".
+A Comparison MAY have a referencePath field named "NumericLessThanEqualsPath".
+A Comparison MAY have a referencePath field named "NumericGreaterThanEqualsPath".
+A Comparison MAY have a referencePath field named "BooleanEqualsPath".
+A Comparison MAY have a referencePath field named "TimestampEqualsPath".
+A Comparison MAY have a referencePath field named "TimestampLessThanPath".
+A Comparison MAY have a referencePath field named "TimestampGreaterThanPath".
+A Comparison MAY have a referencePath field named "TimestampLessThanEqualsPath".
+A Comparison MAY have a referencePath field named "TimestampGreaterThanEqualsPath".
 A Comparison MUST NOT have a field named "And".
 A Comparison MUST NOT have a field named "Or".
 A Comparison MUST NOT have a field named "Not".
@@ -80,9 +116,8 @@ A Nested Rule with an "And" field is a "Nested Boolean".
 A Nested Rule with an "Or" field is a "Nested Boolean".
 A Nested Rule with a "Not" field is a "Nested Boolean".
 A Nested Rule MUST NOT have a field named "Next".
-A Nested Rule MAY have a referencePath field named "Variable".
+A Nested Rule MAY have a field named "Variable".
 A Nested Rule with a "Variable" field is a "Nested Comparison".
-A Nested Comparison MAY have a boolean field named "IsUndefined".
 A Nested Comparison MAY have a string field named "StringEquals".
 A Nested Comparison MAY have a string field named "StringLessThan".
 A Nested Comparison MAY have a string field named "StringGreaterThan".
@@ -99,6 +134,29 @@ A Nested Comparison MAY have a timestamp field named "TimestampLessThan".
 A Nested Comparison MAY have a timestamp field named "TimestampGreaterThan".
 A Nested Comparison MAY have a timestamp field named "TimestampLessThanEquals".
 A Nested Comparison MAY have a timestamp field named "TimestampGreaterThanEquals".
+A Nested Comparison MAY have a boolean field named "IsNull".
+A Nested Comparison MAY have a boolean field named "IsPresent".
+A Nested Comparison MAY have a boolean field named "IsNumeric".
+A Nested Comparison MAY have a boolean field named "IsString".
+A Nested Comparison MAY have a boolean field named "IsBoolean".
+A Nested Comparison MAY have a boolean field named "IsTimestamp".
+A Nested Comparison MAY have a string field named "StringMatches".
+A Nested Comparison MAY have a referencePath field named "StringEqualsPath".
+A Nested Comparison MAY have a referencePath field named "StringLessThanPath".
+A Nested Comparison MAY have a referencePath field named "StringGreaterThanPath".
+A Nested Comparison MAY have a referencePath field named "StringLessThanEqualsPath".
+A Nested Comparison MAY have a referencePath field named "StringGreaterThanEqualsPath".
+A Nested Comparison MAY have a referencePath field named "NumericEqualsPath".
+A Nested Comparison MAY have a referencePath field named "NumericLessThanPath".
+A Nested Comparison MAY have a referencePath field named "NumericGreaterThanPath".
+A Nested Comparison MAY have a referencePath field named "NumericLessThanEqualsPath".
+A Nested Comparison MAY have a referencePath field named "NumericGreaterThanEqualsPath".
+A Nested Comparison MAY have a referencePath field named "BooleanEqualsPath".
+A Nested Comparison MAY have a referencePath field named "TimestampEqualsPath".
+A Nested Comparison MAY have a referencePath field named "TimestampLessThanPath".
+A Nested Comparison MAY have a referencePath field named "TimestampGreaterThanPath".
+A Nested Comparison MAY have a referencePath field named "TimestampLessThanEqualsPath".
+A Nested Comparison MAY have a referencePath field named "TimestampGreaterThanEqualsPath".
 A Nested Comparison MUST NOT have a field named "And".
 A Nested Comparison MUST NOT have a field named "Or".
 A Nested Comparison MUST NOT have a field named "Not".
@@ -109,6 +167,18 @@ A Wait State MAY have a referencePath field named "TimestampPath".
 A Wait State MUST have only one of "Seconds", "SecondsPath", "Timestamp", and "TimestampPath".
 A Wait State MUST have a field named one of "Seconds", "SecondsPath", "Timestamp", or "TimestampPath".
 A Parallel State MUST have an object-array field named "Branches"; each element is a "Branch".
-A Branch MUST have an object field named "States"; each element is a "State".
+A Map State MAY have an object field named "Iterator"; its value is a "ItemProcessor".
+A Map State MAY have an object field named "ItemProcessor"; its value is a "ItemProcessor".
+A Map State MUST have only one of "Iterator" and "ItemProcessor".
+A Map State MAY have a field named "ItemsPath".
+A Map State MAY have an object field named "ItemSelector".
+A Map State MAY have only one of "ItemSelector" and "Parameters".
+A Map State MAY have a numeric field named "MaxConcurrency".
+A Branch MUST have an object field named "States"; each field is a "State".
 A Branch MUST have a string field named "StartAt".
 A Branch MAY have a string field named "Comment".
+A Catcher MAY have a string field named "Comment".
+A ItemProcessor MAY have an object field named "ProcessorConfig".
+A ItemProcessor MAY have a string field named "Comment".
+A ItemProcessor MUST have a string field named "StartAt".
+A ItemProcessor MUST have an object field named "States"; each field is a "State".

package/lib/statelint/state_node.js

@@ -1,5 +1,15 @@
 const JSONPathChecker = require('@wmfs/j2119/lib/j2119/json_path_checker')
 
+const payloadBuilderFields = ['Parameters', 'ResultSelector']
+const contextObjectAccessFields = [
+  { field: 'InputPath', nullable: true },
+  { field: 'OutputPath', nullable: true },
+  { field: 'ItemsPath', nullable: false }
+]
+const choiceStateNestedOperators = ['And', 'Or', 'Not']
+const intrinsicInvocationRegex = /^States\.(Format|Array|ArrayPartition|ArrayContains|ArrayRange|ArrayGetItem|ArrayLength|ArrayUnique|Base64Encode|Base64Decode|Hash|JsonMerge|JsonToString|StringToJson|MathRandom|MathAdd|StringSplit)\(.+\)$/
+const intrinsicUUIDInvocationRegex = /^States\.UUID\(\)$/
+
 class StateNode {
   constructor () {
     this.currentStatesNode = []
@@ -14,7 +24,8 @@ class StateNode {
     const isMachineTop = isObject(node.States)
 
     if (isMachineTop) {
-      this.checkForDuplicateStates(node, path, problems)
+      this.checkStartAt(node, path, problems)
+      this.checkStates(node, path, problems)
     } // if (isMachineTop)
 
     this.checkNode(node, path, problems)
@@ -103,7 +114,22 @@ class StateNode {
     } // for ...
   } // checkStatesALL
 
-  checkForDuplicateStates (node, path, problems) {
+  checkStates (node, path, problems) {
+    for (const [name, child] of Object.entries(node.States)) {
+      if (isObject(child)) {
+        const childPath = `${path}.${name}`
+        this.probeContextObjectAccess(child, childPath, problems)
+        this.probePayloadBuilders(child, childPath, problems)
+        if (child.Type === 'Choice' && child.Choices) {
+          this.probeChoiceState(child.Choices, `${childPath}.Choices`, problems)
+        }
+      } // if ...
+
+      this.checkForDuplicateStates(name, path, problems)
+    } // for ...
+  } // checkStates
+
+  checkStartAt (node, path, problems) {
     this.currentStatesNode.push(node.States)
     const startAt = node.StartAt
     if (startAt) {
@@ -114,19 +140,15 @@ class StateNode {
     } else {
       this.currentStatesIncoming.push([])
     }
+  } // checkStartAt
 
-    for (const [name, child] of Object.entries(node.States)) {
-      if (isObject(child) && child.Parameters) {
-        this.probeParameters(child, `${path}.${name}`, problems)
-      }
-
-      if (this.allStateNames.has(name)) {
-        problems.push(`State "${name}", defined at ${path}.States, ` +
-          `is also defined at ${this.allStateNames.get(name)}`)
-      } else {
-        this.allStateNames.set(name, `${path}.States`)
-      }
-    } // for ...
+  checkForDuplicateStates (name, path, problems) {
+    if (this.allStateNames.has(name)) {
+      problems.push(`State "${name}", defined at ${path}.States, ` +
+        `is also defined at ${this.allStateNames.get(name)}`)
+    } else {
+      this.allStateNames.set(name, `${path}.States`)
+    }
   } // checkForDuplicateStates
 
   checkForOrphanStates (path, problems) {
@@ -138,23 +160,63 @@ class StateNode {
     )
   } // checkForOrphanStates
 
-  probeParameters (node, path, problems) {
-    if (isArray(node)) {
-      for (const [index, value] of node.entries()) {
-        this.probeParameters(value, `${path}[${index}]`, problems)
-      } // for ...
-    } else if (isObject(node)) {
+  probeContextObjectAccess (node, path, problems) {
+    for (const field of contextObjectAccessFields) {
+      const fieldName = field.field
+      const nullable = field.nullable
+      if (Object.hasOwn(node, fieldName)) {
+        if (!nullable && !node[fieldName]) {
+          problems.push(`Field "${fieldName}" defined at "${path}" should be non-null`)
+        }
+        if (node[fieldName] && !isValidParametersPath(node[fieldName])) {
+          problems.push(`Field "${fieldName}" defined at "${path}" is not a JSONPath`)
+        }
+      } // if ...
+    } // for ...
+  } // probeContextObjectAccess
+
+  probePayloadBuilders (child, childPath, problems) {
+    for (const fieldName of payloadBuilderFields) {
+      if (child[fieldName]) {
+        this.probePayloadBuilder(child[fieldName], childPath, fieldName, problems)
+      }
+    } // for ...
+  } // probePayloadBuilders
+
+  probePayloadBuilder (node, path, fieldName, problems) {
+    if (isObject(node)) {
       for (const [name, value] of Object.entries(node)) {
         if (name.endsWith('.$')) {
-          if (!isString(value) || !JSONPathChecker.isPath(value)) {
-            problems.push(`Field "${name}" of Parameters at "${path}" is not a JSONPath`)
+          if (!isIntrinsicInvocation(value) && !isValidParametersPath(value)) {
+            problems.push(`Field "${name}" of ${fieldName} at "${path}" is not a JSONPath or intrinsic function expression`)
           }
         } else {
-          this.probeParameters(value, `${path}.${name}`, problems)
+          this.probePayloadBuilder(value, `${path}.${name}`, fieldName, problems)
         } // if (name.endsWith('.$'))
       } // for ...
-    } // if (isArray(node)) ...
-  } // probeParameters
+    } else if (isArray(node)) {
+      for (const [index, value] of node.entries()) {
+        this.probePayloadBuilder(value, `${path}[${index}]`, fieldName, problems)
+      } // for ...
+    }
+  } // probePayloadBuilder
+
+  probeChoiceState (node, path, problems) {
+    if (isObject(node)) {
+      if (node.Variable && !isValidParametersPath(node.Variable)) {
+        problems.push(`Field "Variable" of Choice state at "${path}" is not a JSONPath`)
+      }
+      for (const operator of choiceStateNestedOperators) {
+        if (node[operator]) {
+          this.probeChoiceState(node[operator], `${path}.${operator}`, problems)
+        }
+      }
+    } else if (isArray(node)) {
+      for (const [index, element] of node.entries()) {
+        this.probeChoiceState(element, `${path}[${index}]`, problems)
+      }
+    }
+  } // probeChoiceState
 } // class StateNode
 
 function isObject (o) {
@@ -165,6 +227,32 @@ function isString (s) {
   return (typeof s === 'string')
 } // isString
 
+function isIntrinsicInvocation (v) {
+  return isString(v) &&
+    (
+      matchesIntrinsicInvocation(v) ||
+      matchesIntrinsicUUIDInvocation(v)
+    )
+} // isInstrinsicInvocation
+
+function matchesIntrinsicInvocation (v) {
+  return intrinsicInvocationRegex.test(v)
+} // matchesIntrinsicInvocation
+
+function matchesIntrinsicUUIDInvocation (v) {
+  return intrinsicUUIDInvocationRegex.test(v)
+} // matchesIntrinsicUUIDInvocation
+
+function isValidParametersPath (v) {
+  if (!isString(v)) {
+    return false
+  }
+  if (v.startsWith('$$')) {
+    v = v.substring(1)
+  }
+  return JSONPathChecker.isPath(v)
+} // isValidParametersPath
+
 function isArray (a) {
   return Array.isArray(a)
 } // isArray

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@wmfs/statelint",
-  "version": "1.23.0",
+  "version": "1.25.0",
   "description": "Validator for Amazon States Language JSON files.",
   "author": "West Midlands Fire Service",
   "homepage": "https://github.com/wmfs/statelint#readme",
@@ -23,23 +23,23 @@
     "statelint": "bin/statelint.js"
   },
   "dependencies": {
-    "@wmfs/j2119": "1.24.0",
+    "@wmfs/j2119": "1.25.1",
     "cli": "1.0.1",
     "n-readlines": "1.0.1"
   },
   "devDependencies": {
-    "@semantic-release/changelog": "6.0.2",
+    "@semantic-release/changelog": "6.0.3",
     "@semantic-release/git": "10.0.1",
-    "chai": "4.3.7",
+    "chai": "4.5.0",
     "codecov": "3.8.3",
     "conventional-changelog-metahub": "4.0.1",
     "cz-conventional-changelog": "3.3.0",
     "dirty-chai": "2.0.1",
-    "mocha": "10.2.0",
-    "nyc": "15.1.0",
-    "semantic-release": "20.1.1",
-    "standard": "17.0.0",
-    "tmp": "0.2.1"
+    "mocha": "10.7.3",
+    "nyc": "17.0.0",
+    "semantic-release": "24.1.1",
+    "standard": "17.1.2",
+    "tmp": "0.2.3"
   },
   "scripts": {
     "statelint": "./bin/statelint.js",

package/test/fixtures/backoff-with-invalid-jitter-on-retry.json

@@ -0,0 +1,17 @@
+{
+  "StartAt": "p",
+  "States": {
+    "p": {
+      "Type": "Task",
+      "Resource": "foo:bar",
+      "End": true,
+      "Retry": [
+        {
+          "ErrorEquals": ["States.Timeout"],
+          "MaxDelaySeconds": 5,
+          "JitterStrategy": "PARTIAL"
+        }
+      ]
+    }
+  }
+}

package/test/fixtures/backoff-with-jitter-on-retry.json

@@ -0,0 +1,17 @@
+{
+  "StartAt": "p",
+  "States": {
+    "p": {
+      "Type": "Task",
+      "Resource": "foo:bar",
+      "End": true,
+      "Retry": [
+        {
+          "ErrorEquals": ["States.Timeout"],
+          "MaxDelaySeconds": 5,
+          "JitterStrategy": "FULL"
+        }
+      ]
+    }
+  }
+}

package/test/fixtures/choice-rule-with-comment.json

@@ -0,0 +1,19 @@
+{
+  "StartAt": "p",
+  "States": {
+    "p": {
+      "Type": "Choice",
+      "Choices": [
+        {
+          "Variable": "$.foo",
+          "StringEquals": "x",
+          "Next": "x",
+          "Comment": "foo"
+        }
+      ]
+    },
+    "x": {
+      "Type": "Succeed"
+    }
+  }
+}

package/test/fixtures/choice-with-context-object.json

@@ -0,0 +1,22 @@
+{
+    "StartAt": "ChoiceState",
+    "States": {
+        "ChoiceState": {
+            "Type": "Choice",
+            "Choices": [
+                {
+                    "Variable": "$$.value",
+                    "IsNull": false,
+                    "Next": "SucceedState"
+                }
+            ],
+            "Default": "FailState"
+        },
+        "SucceedState": {
+            "Type": "Succeed"
+        },
+        "FailState": {
+            "Type": "Fail"
+        }
+    }
+}

package/test/fixtures/choice-with-resultselector.json

@@ -0,0 +1,23 @@
+{
+  "StartAt": "p",
+  "States": {
+    "p": {
+      "Type": "Choice",
+      "Choices": [
+	{
+	  "Variable": "$.foo",
+	  "StringEquals": "x",
+	  "Next": "x"
+	}
+      ],
+      "ResultSelector": {
+        "a": "x",
+        "b.$": "$.y",
+        "c.$": "$$.z"
+      }
+    },
+    "x": {
+      "Type": "Succeed"
+    }
+  }
+}

package/test/fixtures/fail-with-error-and-cause-path-using-intrinsic-functions.json

@@ -0,0 +1,10 @@
+{
+  "StartAt": "FailState",
+  "States": {
+    "FailState": {
+      "Type": "Fail",
+      "ErrorPath": "States.Format('this is the error: {}, and this is the cause: {}', $.Error, $.Cause)",
+      "CausePath": "States.UUID()"
+    }
+  }
+}

package/test/fixtures/fail-with-error-and-cause-path.json

@@ -0,0 +1,10 @@
+{
+  "StartAt": "FailState",
+  "States": {
+    "FailState": {
+      "Type": "Fail",
+      "ErrorPath": "$.Error",
+      "CausePath": "$.Cause"
+    }
+  }
+}

package/test/fixtures/fail-with-resultselector.json

@@ -0,0 +1,13 @@
+{
+  "StartAt": "p",
+  "States": {
+    "p": {
+      "Type": "Fail",
+      "ResultSelector": {
+        "a": "x",
+        "b.$": "$.y",
+        "c.$": "$$.z"
+      }
+    }
+  }
+}

package/test/fixtures/fail-with-static-and-dynamic-cause.json

@@ -0,0 +1,10 @@
+{
+  "StartAt": "FailState",
+  "States": {
+    "FailState": {
+      "Type": "Fail",
+      "Cause": "Cause",
+      "CausePath": "$.Cause"
+    }
+  }
+}

package/test/fixtures/fail-with-static-and-dynamic-error.json

@@ -0,0 +1,10 @@
+{
+  "StartAt": "FailState",
+  "States": {
+    "FailState": {
+      "Type": "Fail",
+      "Error": "Error",
+      "ErrorPath": "$.Error"
+    }
+  }
+}

package/test/fixtures/invalid-backoff-with-jitter-on-retry.json

@@ -0,0 +1,17 @@
+{
+  "StartAt": "p",
+  "States": {
+    "p": {
+      "Type": "Task",
+      "Resource": "foo:bar",
+      "End": true,
+      "Retry": [
+        {
+          "ErrorEquals": ["States.Timeout"],
+          "MaxDelaySeconds": -1,
+          "JitterStrategy": "FULL"
+        }
+      ]
+    }
+  }
+}

package/test/fixtures/invalid-function-invocation.json

@@ -0,0 +1,13 @@
+{
+  "StartAt": "p",
+  "States": {
+    "p": {
+      "Type": "Task",
+      "Resource": "foo:bar",
+      "ResultSelector": {
+          "abc.$": "States.Xyz($.result)"
+      },
+      "End": true
+    }
+  }
+}