{
  "name": "@arbiter/evidence-dsl",
  "version": "1.13.0",
  "lockfileVersion": 3,
  "requires": true,
  "packages": {
    "": {
      "name": "@arbiter/evidence-dsl",
      "version": "1.13.0",
      "license": "ISC",
      "dependencies": {
        "@arbiter/core": "^1.0.8",
        "@arbiter/value-graph": "^0.1.0",
        "@rigor/probe": "^0.0.8"
      },
      "devDependencies": {
        "@rigor/core": "^3.1.2",
        "peggy": "^5.0.6"
      }
    },
    "node_modules/@arbiter/core": {
      "version": "1.0.8",
      "license": "ISC",
      "dependencies": {
        "@tenere/pltc-core": "^0.6.3",
        "heapify": "^1.0.2",
        "uuidv7": "^1.0.2"
      }
    },
    "node_modules/@arbiter/value-graph": {
      "version": "0.1.0",
      "resolved": "https://hub.kl1.tenere.ai/api/packages/Arbiter/npm/%40arbiter%2Fvalue-graph/-/0.1.0/value-graph-0.1.0.tgz",
      "integrity": "sha512-sofmF6O/o3bUf2Vzg24MxSB6NLQR8s2xjaBqL+k2LbGhlmt4/lHD9J6l/CjgObn+4UsXjb/QEccZ8rX0BFOUKg==",
      "license": "ISC",
      "dependencies": {
        "@push-stream-std/push-pushable": "*",
        "@push-stream-std/push-stream-base": "*",
        "@rigor/probe": "^0.0.8"
      }
    },
    "node_modules/@peggyjs/from-mem": {
      "version": "3.1.3",
      "dev": true,
      "license": "MIT",
      "dependencies": {
        "semver": "7.7.4"
      },
      "engines": {
        "node": ">=20.8"
      }
    },
    "node_modules/@push-stream-std/push-pushable": {
      "version": "0.0.10",
      "resolved": "https://hub.kl1.tenere.ai/api/packages/push-stream-std/npm/%40push-stream-std%2Fpush-pushable/-/0.0.10/push-pushable-0.0.10.tgz",
      "integrity": "sha512-xf8nt50zckM8G+WRKV5RTNl4EEe6rhzuplNfqpdZ/b8kx0HnuTawDHlL0R449PKqG9X4DOQ5RzBrX2jYAnfY2A==",
      "license": "SEE LICENSE IN LICENSE",
      "dependencies": {
        "@push-stream-std/push-stream-base": "*"
      }
    },
    "node_modules/@push-stream-std/push-stream-base": {
      "version": "0.0.9",
      "resolved": "https://hub.kl1.tenere.ai/api/packages/push-stream-std/npm/%40push-stream-std%2Fpush-stream-base/-/0.0.9/push-stream-base-0.0.9.tgz",
      "integrity": "sha512-RCbTwQz88XR0j0f/0NWIWgQ3NBQUUICu+CRHzOAvYfG2YQ8j+aTczYWTEedJJhGA+svcFrAQ8Oai/UnjtQ0l3Q==",
      "license": "SEE LICENSE IN LICENSE"
    },
    "node_modules/@rigor/analysis": {
      "version": "0.0.7",
      "dev": true,
      "license": "SEE LICENSE IN LICENSE",
      "dependencies": {
        "@rigor/instrument": "*",
        "@rigor/trace": "*"
      },
      "engines": {
        "node": ">=22.0.0"
      }
    },
    "node_modules/@rigor/artifact": {
      "version": "0.1.3",
      "dev": true,
      "license": "SEE LICENSE IN LICENSE",
      "dependencies": {
        "@rigor/trace": "*"
      },
      "engines": {
        "node": ">=22.0.0"
      }
    },
    "node_modules/@rigor/benchmark": {
      "version": "0.0.6",
      "dev": true,
      "license": "SEE LICENSE IN LICENSE",
      "dependencies": {
        "@rigor/artifact": "*",
        "@rigor/complexity": "*",
        "@rigor/trace": "*"
      },
      "engines": {
        "node": ">=18.0.0"
      }
    },
    "node_modules/@rigor/complexity": {
      "version": "0.0.7",
      "dev": true,
      "license": "SEE LICENSE IN LICENSE",
      "dependencies": {
        "@rigor/trace": "*"
      },
      "engines": {
        "node": ">=18.0.0"
      }
    },
    "node_modules/@rigor/core": {
      "version": "3.1.2",
      "dev": true,
      "license": "SEE LICENSE IN LICENSE",
      "dependencies": {
        "@rigor/analysis": "*",
        "@rigor/artifact": "*",
        "@rigor/benchmark": "*",
        "@rigor/complexity": "*",
        "@rigor/fault": "*",
        "@rigor/fuzzer": "*",
        "@rigor/gen": "*",
        "@rigor/instrument": "*",
        "@rigor/linearizability": "*",
        "@rigor/model": "*",
        "@rigor/network": "*",
        "@rigor/probe": "*",
        "@rigor/prop": "*",
        "@rigor/reporters": "*",
        "@rigor/rng": "*",
        "@rigor/search": "*",
        "@rigor/shrink": "*",
        "@rigor/spec": "*",
        "@rigor/storage": "*",
        "@rigor/trace": "*"
      },
      "engines": {
        "node": ">=22.0.0"
      }
    },
    "node_modules/@rigor/fault": {
      "version": "0.0.5",
      "license": "SEE LICENSE IN LICENSE",
      "dependencies": {
        "@rigor/rng": "*",
        "@rigor/shrink": "*",
        "@rigor/trace": "*"
      },
      "engines": {
        "node": ">=18.0.0"
      }
    },
    "node_modules/@rigor/fuzzer": {
      "version": "0.0.4",
      "dev": true,
      "license": "SEE LICENSE IN LICENSE",
      "dependencies": {
        "@rigor/artifact": "*",
        "@rigor/rng": "*",
        "@rigor/shrink": "*",
        "@rigor/trace": "*"
      },
      "engines": {
        "node": ">=18.0.0"
      }
    },
    "node_modules/@rigor/gen": {
      "version": "0.0.11",
      "license": "SEE LICENSE IN LICENSE",
      "dependencies": {
        "@rigor/rng": "*"
      },
      "engines": {
        "node": ">=22.0.0"
      }
    },
    "node_modules/@rigor/instrument": {
      "version": "0.0.5",
      "dev": true,
      "license": "SEE LICENSE IN LICENSE",
      "dependencies": {
        "@rigor/probe": "*",
        "@rigor/trace": "*"
      },
      "engines": {
        "node": ">=18.0.0"
      }
    },
    "node_modules/@rigor/linearizability": {
      "version": "0.0.5",
      "dev": true,
      "license": "SEE LICENSE IN LICENSE",
      "engines": {
        "node": ">=22.0.0"
      }
    },
    "node_modules/@rigor/model": {
      "version": "0.2.13",
      "dev": true,
      "license": "SEE LICENSE IN LICENSE",
      "dependencies": {
        "@rigor/artifact": "*",
        "@rigor/complexity": "*",
        "@rigor/fault": "*",
        "@rigor/gen": "*",
        "@rigor/probe": "*",
        "@rigor/rng": "*",
        "@rigor/shrink": "*",
        "@rigor/trace": "*"
      },
      "engines": {
        "node": ">=18.0.0"
      }
    },
    "node_modules/@rigor/network": {
      "version": "0.0.4",
      "dev": true,
      "license": "SEE LICENSE IN LICENSE",
      "dependencies": {
        "@rigor/fault": "*",
        "@rigor/rng": "*",
        "@rigor/scheduler": "*",
        "@rigor/trace": "*"
      },
      "engines": {
        "node": ">=18.0.0"
      }
    },
    "node_modules/@rigor/probe": {
      "version": "0.0.8",
      "license": "SEE LICENSE IN LICENSE",
      "dependencies": {
        "@rigor/fault": "*",
        "@rigor/gen": "*",
        "@rigor/trace": "*"
      },
      "engines": {
        "node": ">=22.0.0"
      }
    },
    "node_modules/@rigor/prop": {
      "version": "0.0.4",
      "dev": true,
      "license": "SEE LICENSE IN LICENSE",
      "dependencies": {
        "@rigor/artifact": "*",
        "@rigor/complexity": "*",
        "@rigor/gen": "*",
        "@rigor/probe": "*",
        "@rigor/rng": "*",
        "@rigor/shrink": "*",
        "@rigor/trace": "*"
      },
      "engines": {
        "node": ">=18.0.0"
      }
    },
    "node_modules/@rigor/reporters": {
      "version": "0.0.5",
      "dev": true,
      "license": "SEE LICENSE IN LICENSE",
      "dependencies": {
        "@rigor/artifact": "*",
        "@rigor/trace": "*"
      },
      "engines": {
        "node": ">=18.0.0"
      }
    },
    "node_modules/@rigor/rng": {
      "version": "0.0.3",
      "license": "SEE LICENSE IN LICENSE",
      "engines": {
        "node": ">=18.0.0"
      }
    },
    "node_modules/@rigor/scheduler": {
      "version": "0.0.4",
      "dev": true,
      "license": "SEE LICENSE IN LICENSE",
      "dependencies": {
        "@rigor/fault": "*",
        "@rigor/rng": "*",
        "@rigor/shrink": "*",
        "@rigor/trace": "*"
      },
      "engines": {
        "node": ">=18.0.0"
      }
    },
    "node_modules/@rigor/search": {
      "version": "0.1.3",
      "dev": true,
      "license": "SEE LICENSE IN LICENSE",
      "dependencies": {
        "@rigor/gen": "*",
        "@rigor/shrink": "*"
      },
      "engines": {
        "node": ">=22.0.0"
      }
    },
    "node_modules/@rigor/shrink": {
      "version": "0.0.7",
      "license": "SEE LICENSE IN LICENSE",
      "engines": {
        "node": ">=18.0.0"
      }
    },
    "node_modules/@rigor/spec": {
      "version": "2.0.1",
      "dev": true,
      "license": "SEE LICENSE IN LICENSE",
      "dependencies": {
        "@rigor/gen": "*"
      },
      "engines": {
        "node": ">=18.0.0"
      }
    },
    "node_modules/@rigor/storage": {
      "version": "0.0.4",
      "dev": true,
      "license": "SEE LICENSE IN LICENSE",
      "dependencies": {
        "@rigor/fault": "*",
        "@rigor/rng": "*",
        "@rigor/scheduler": "*",
        "@rigor/trace": "*"
      },
      "engines": {
        "node": ">=18.0.0"
      }
    },
    "node_modules/@rigor/trace": {
      "version": "0.0.7",
      "license": "SEE LICENSE IN LICENSE",
      "engines": {
        "node": ">=18.0.0"
      }
    },
    "node_modules/@tenere/graph-core": {
      "version": "1.0.1",
      "license": "MIT",
      "engines": {
        "node": ">=18.0.0"
      }
    },
    "node_modules/@tenere/pltc-core": {
      "version": "0.6.3",
      "license": "SEE LICENSE IN LICENSE",
      "dependencies": {
        "@tenere/graph-core": "^1.0.1"
      },
      "engines": {
        "node": ">=22.0.0"
      }
    },
    "node_modules/commander": {
      "version": "14.0.3",
      "dev": true,
      "license": "MIT",
      "engines": {
        "node": ">=20"
      }
    },
    "node_modules/heapify": {
      "version": "1.0.2",
      "license": "MIT"
    },
    "node_modules/peggy": {
      "version": "5.1.0",
      "dev": true,
      "license": "MIT",
      "dependencies": {
        "@peggyjs/from-mem": "3.1.3",
        "commander": "^14.0.3",
        "source-map-generator": "2.0.6"
      },
      "bin": {
        "peggy": "bin/peggy.js"
      },
      "engines": {
        "node": ">=20"
      }
    },
    "node_modules/semver": {
      "version": "7.7.4",
      "dev": true,
      "license": "ISC",
      "bin": {
        "semver": "bin/semver.js"
      },
      "engines": {
        "node": ">=10"
      }
    },
    "node_modules/source-map-generator": {
      "version": "2.0.6",
      "dev": true,
      "license": "BSD-3-Clause",
      "engines": {
        "node": ">=20"
      }
    },
    "node_modules/uuidv7": {
      "version": "1.2.1",
      "license": "Apache-2.0",
      "bin": {
        "uuidv7": "cli.js"
      }
    }
  }
}