7898a7990a
- DSLValueGraph integrates the evidence DSL with @arbiter/value-graph: measures become typed value-graph nodes; attach() wires runtime.measure through the graph. - DSLRuntime.check() now retrieves required MEASURE values and injects them as value-carrying self-edges, so an evidence comparator over a measure (e.g. budget_used(user) <= budget_limit(user)) evaluates — measure and evidence compose (provider-sourced AND value-graph-sourced), with 3 new composition tests. - BUILTIN_TYPES: bigint → buffer (the value-graph wire is JSON-free/bigint-free). - @arbiter/value-graph: file:../value-graph → ^0.1.0 (registry); CI auth adds @push-stream-std registry for the transitive dep. - rigor core ^3.1.2 / probe ^0.0.8.
418 lines
10 KiB
JSON
418 lines
10 KiB
JSON
{
|
|
"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"
|
|
}
|
|
}
|
|
}
|
|
}
|