Arbiter/evidence-dsl
3
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
Files
v1.13.0
evidence-dsl/package-lock.json
T
Dvorak 7898a7990a
CI / test (push) Successful in 24s
Details
CI / publish (push) Failing after 10s
Details
1.13.0: measure + evidence compose; value-graph now a registry dep 
- 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.
2026-08-04 17:51:13 -07:00

418 lines
10 KiB
JSON
Raw Permalink Blame 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"
}
}
}
}
Reference in New Issue View Git Blame Copy Permalink