@melra/verifier-core 0.3.0-alpha.4 → 0.3.0-alpha.5
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/README.md +32 -0
- package/package.json +3 -3
package/README.md
ADDED
|
@@ -0,0 +1,32 @@
|
|
|
1
|
+
# @melra/verifier-core
|
|
2
|
+
|
|
3
|
+
Evidence verification for [MELRA](https://github.com/XAGI-Lab/melra). Checks
|
|
4
|
+
declared predicates against the real filesystem and the real adapter output
|
|
5
|
+
after an operation runs, so success is something observed rather than something
|
|
6
|
+
an adapter claimed.
|
|
7
|
+
|
|
8
|
+
```bash
|
|
9
|
+
npm install @melra/verifier-core
|
|
10
|
+
```
|
|
11
|
+
|
|
12
|
+
```ts
|
|
13
|
+
import { Verifier } from "@melra/verifier-core";
|
|
14
|
+
|
|
15
|
+
const verifier = await Verifier.create(workspaceRoot);
|
|
16
|
+
const items = await verifier.verify(request.requiredEvidence, output);
|
|
17
|
+
```
|
|
18
|
+
|
|
19
|
+
Supported predicates cover file existence, content hashes, path absence, exit
|
|
20
|
+
codes, output matches, and HTTP status. Read-only operations with no declared
|
|
21
|
+
evidence get a synthetic `operation_completed` item, so a receipt never has an
|
|
22
|
+
empty evidence list.
|
|
23
|
+
|
|
24
|
+
Every path is resolved through `realpath` and rejected if it lands outside the
|
|
25
|
+
workspace root, including the root itself — a symlink cannot be used to verify a
|
|
26
|
+
file the task was never allowed to touch. Keep that confinement when adding
|
|
27
|
+
predicates.
|
|
28
|
+
|
|
29
|
+
Requires Node.js 22 or newer. Full documentation:
|
|
30
|
+
[github.com/XAGI-Lab/melra](https://github.com/XAGI-Lab/melra)
|
|
31
|
+
|
|
32
|
+
Apache-2.0
|
package/package.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "@melra/verifier-core",
|
|
3
|
-
"version": "0.3.0-alpha.
|
|
3
|
+
"version": "0.3.0-alpha.5",
|
|
4
4
|
"description": "Deterministic evidence predicates and result verification for MELRA.",
|
|
5
5
|
"license": "Apache-2.0",
|
|
6
6
|
"repository": {
|
|
@@ -21,8 +21,8 @@
|
|
|
21
21
|
"dist"
|
|
22
22
|
],
|
|
23
23
|
"dependencies": {
|
|
24
|
-
"@melra/protocol": "0.3.0-alpha.
|
|
25
|
-
"@melra/receipt-schema": "0.3.0-alpha.
|
|
24
|
+
"@melra/protocol": "0.3.0-alpha.5",
|
|
25
|
+
"@melra/receipt-schema": "0.3.0-alpha.5"
|
|
26
26
|
},
|
|
27
27
|
"scripts": {
|
|
28
28
|
"build": "tsc -p tsconfig.json",
|