Files

418 lines
10 KiB
JSON
Raw Permalink Normal View History

{
"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"
}
}
}
}