@decantr/verifier 3.4.1 → 3.5.0
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 +13 -7
- package/dist/index.d.ts +262 -50
- package/dist/index.js +377 -18
- package/dist/index.js.map +1 -1
- package/package.json +9 -2
- package/schema/authority-resolution.v2.json +116 -0
- package/schema/decantr-ci-report.v2.json +55 -0
- package/schema/evidence-bundle.v2.json +35 -4
- package/schema/loop-readiness.v2.json +87 -0
- package/schema/project-health-report.v2.json +119 -0
- package/schema/proof-field-report.v2.json +51 -0
- package/schema/verification-report.common.v2.json +91 -0
- package/schema/workspace-health-report.v2.json +51 -0
package/package.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "@decantr/verifier",
|
|
3
|
-
"version": "3.
|
|
3
|
+
"version": "3.5.0",
|
|
4
4
|
"description": "Shared verification, typed findings, graph anchors, Project Health, and evidence schemas for Decantr",
|
|
5
5
|
"keywords": [
|
|
6
6
|
"decantr",
|
|
@@ -35,14 +35,21 @@
|
|
|
35
35
|
"types": "./dist/index.d.ts"
|
|
36
36
|
},
|
|
37
37
|
"./schema/verification-report.common.v1.json": "./schema/verification-report.common.v1.json",
|
|
38
|
+
"./schema/verification-report.common.v2.json": "./schema/verification-report.common.v2.json",
|
|
38
39
|
"./schema/project-audit-report.v1.json": "./schema/project-audit-report.v1.json",
|
|
39
40
|
"./schema/project-health-report.v1.json": "./schema/project-health-report.v1.json",
|
|
41
|
+
"./schema/project-health-report.v2.json": "./schema/project-health-report.v2.json",
|
|
40
42
|
"./schema/decantr-ci-report.v1.json": "./schema/decantr-ci-report.v1.json",
|
|
43
|
+
"./schema/decantr-ci-report.v2.json": "./schema/decantr-ci-report.v2.json",
|
|
44
|
+
"./schema/authority-resolution.v2.json": "./schema/authority-resolution.v2.json",
|
|
41
45
|
"./schema/evidence-bundle.v1.json": "./schema/evidence-bundle.v1.json",
|
|
42
46
|
"./schema/evidence-bundle.v2.json": "./schema/evidence-bundle.v2.json",
|
|
47
|
+
"./schema/loop-readiness.v2.json": "./schema/loop-readiness.v2.json",
|
|
48
|
+
"./schema/proof-field-report.v2.json": "./schema/proof-field-report.v2.json",
|
|
43
49
|
"./schema/runtime-probe-payload.v2.json": "./schema/runtime-probe-payload.v2.json",
|
|
44
50
|
"./schema/scan-report.v1.json": "./schema/scan-report.v1.json",
|
|
45
51
|
"./schema/workspace-health-report.v1.json": "./schema/workspace-health-report.v1.json",
|
|
52
|
+
"./schema/workspace-health-report.v2.json": "./schema/workspace-health-report.v2.json",
|
|
46
53
|
"./schema/file-critique-report.v1.json": "./schema/file-critique-report.v1.json",
|
|
47
54
|
"./schema/showcase-shortlist-report.v1.json": "./schema/showcase-shortlist-report.v1.json"
|
|
48
55
|
},
|
|
@@ -59,7 +66,7 @@
|
|
|
59
66
|
"dependencies": {
|
|
60
67
|
"entities": "^8.0.0",
|
|
61
68
|
"typescript": "^6.0.3",
|
|
62
|
-
"@decantr/core": "3.
|
|
69
|
+
"@decantr/core": "3.5.0",
|
|
63
70
|
"@decantr/essence-spec": "3.4.0"
|
|
64
71
|
},
|
|
65
72
|
"devDependencies": {
|
|
@@ -0,0 +1,116 @@
|
|
|
1
|
+
{
|
|
2
|
+
"$schema": "https://json-schema.org/draft/2020-12/schema",
|
|
3
|
+
"$id": "https://decantr.ai/schemas/authority-resolution.v2.json",
|
|
4
|
+
"title": "Decantr Authority Resolution v2",
|
|
5
|
+
"type": "object",
|
|
6
|
+
"required": ["schemaVersion", "order", "activeLane", "summary", "conflicts", "stopRule"],
|
|
7
|
+
"properties": {
|
|
8
|
+
"$schema": { "const": "https://decantr.ai/schemas/authority-resolution.v2.json" },
|
|
9
|
+
"schemaVersion": { "const": 2 },
|
|
10
|
+
"generatedAt": { "type": "string", "format": "date-time" },
|
|
11
|
+
"order": {
|
|
12
|
+
"type": "array",
|
|
13
|
+
"items": {
|
|
14
|
+
"type": "object",
|
|
15
|
+
"required": ["id", "label", "role", "rank"],
|
|
16
|
+
"properties": {
|
|
17
|
+
"id": {
|
|
18
|
+
"type": "string",
|
|
19
|
+
"enum": [
|
|
20
|
+
"production-source",
|
|
21
|
+
"local-law",
|
|
22
|
+
"style-bridge",
|
|
23
|
+
"essence-contract",
|
|
24
|
+
"registry-guidance"
|
|
25
|
+
]
|
|
26
|
+
},
|
|
27
|
+
"label": { "type": "string" },
|
|
28
|
+
"role": { "type": "string" },
|
|
29
|
+
"rank": { "type": "integer", "minimum": 1 }
|
|
30
|
+
},
|
|
31
|
+
"additionalProperties": false
|
|
32
|
+
}
|
|
33
|
+
},
|
|
34
|
+
"activeLane": {
|
|
35
|
+
"type": "string",
|
|
36
|
+
"enum": [
|
|
37
|
+
"production-source",
|
|
38
|
+
"local-law",
|
|
39
|
+
"style-bridge",
|
|
40
|
+
"essence-contract",
|
|
41
|
+
"registry-guidance"
|
|
42
|
+
]
|
|
43
|
+
},
|
|
44
|
+
"summary": { "type": "string" },
|
|
45
|
+
"conflicts": {
|
|
46
|
+
"type": "array",
|
|
47
|
+
"items": {
|
|
48
|
+
"type": "object",
|
|
49
|
+
"required": [
|
|
50
|
+
"id",
|
|
51
|
+
"source",
|
|
52
|
+
"category",
|
|
53
|
+
"severity",
|
|
54
|
+
"message",
|
|
55
|
+
"lane",
|
|
56
|
+
"status",
|
|
57
|
+
"recommendedActions"
|
|
58
|
+
],
|
|
59
|
+
"properties": {
|
|
60
|
+
"id": { "type": "string" },
|
|
61
|
+
"source": { "type": "string" },
|
|
62
|
+
"category": { "type": "string" },
|
|
63
|
+
"severity": { "type": "string", "enum": ["error", "warn", "info"] },
|
|
64
|
+
"message": { "type": "string" },
|
|
65
|
+
"graphAnchor": {
|
|
66
|
+
"$ref": "https://decantr.ai/schemas/verification-report.common.v1.json#/$defs/graphAnchor"
|
|
67
|
+
},
|
|
68
|
+
"lane": {
|
|
69
|
+
"type": "string",
|
|
70
|
+
"enum": [
|
|
71
|
+
"production-source",
|
|
72
|
+
"local-law",
|
|
73
|
+
"style-bridge",
|
|
74
|
+
"essence-contract",
|
|
75
|
+
"registry-guidance"
|
|
76
|
+
]
|
|
77
|
+
},
|
|
78
|
+
"status": { "type": "string", "enum": ["blocking", "repairable", "advisory"] },
|
|
79
|
+
"recommendedActions": {
|
|
80
|
+
"type": "array",
|
|
81
|
+
"items": { "$ref": "#/$defs/resolutionAction" }
|
|
82
|
+
}
|
|
83
|
+
},
|
|
84
|
+
"additionalProperties": false
|
|
85
|
+
}
|
|
86
|
+
},
|
|
87
|
+
"stopRule": { "type": "string" }
|
|
88
|
+
},
|
|
89
|
+
"additionalProperties": false,
|
|
90
|
+
"$defs": {
|
|
91
|
+
"resolutionAction": {
|
|
92
|
+
"type": "object",
|
|
93
|
+
"required": ["kind", "label", "command", "writes", "rationale"],
|
|
94
|
+
"properties": {
|
|
95
|
+
"kind": {
|
|
96
|
+
"type": "string",
|
|
97
|
+
"enum": [
|
|
98
|
+
"repair_source",
|
|
99
|
+
"accept_observed_source",
|
|
100
|
+
"codify_local_law",
|
|
101
|
+
"update_style_bridge",
|
|
102
|
+
"regenerate_graph",
|
|
103
|
+
"regenerate_context",
|
|
104
|
+
"defer_to_drift_log",
|
|
105
|
+
"mark_advisory"
|
|
106
|
+
]
|
|
107
|
+
},
|
|
108
|
+
"label": { "type": "string" },
|
|
109
|
+
"command": { "type": ["string", "null"] },
|
|
110
|
+
"writes": { "type": "boolean" },
|
|
111
|
+
"rationale": { "type": "string" }
|
|
112
|
+
},
|
|
113
|
+
"additionalProperties": false
|
|
114
|
+
}
|
|
115
|
+
}
|
|
116
|
+
}
|
|
@@ -0,0 +1,55 @@
|
|
|
1
|
+
{
|
|
2
|
+
"$schema": "https://json-schema.org/draft/2020-12/schema",
|
|
3
|
+
"$id": "https://decantr.ai/schemas/decantr-ci-report.v2.json",
|
|
4
|
+
"title": "Decantr CI Report v2",
|
|
5
|
+
"oneOf": [
|
|
6
|
+
{
|
|
7
|
+
"type": "object",
|
|
8
|
+
"required": [
|
|
9
|
+
"$schema",
|
|
10
|
+
"generatedAt",
|
|
11
|
+
"mode",
|
|
12
|
+
"projectPath",
|
|
13
|
+
"failOn",
|
|
14
|
+
"status",
|
|
15
|
+
"loop",
|
|
16
|
+
"authority",
|
|
17
|
+
"evidenceTier",
|
|
18
|
+
"health",
|
|
19
|
+
"localLaw",
|
|
20
|
+
"styleBridge"
|
|
21
|
+
],
|
|
22
|
+
"properties": {
|
|
23
|
+
"$schema": { "const": "https://decantr.ai/schemas/decantr-ci-report.v2.json" },
|
|
24
|
+
"generatedAt": { "type": "string", "format": "date-time" },
|
|
25
|
+
"mode": { "const": "project" },
|
|
26
|
+
"projectPath": { "type": ["string", "null"] },
|
|
27
|
+
"failOn": { "type": "string", "enum": ["error", "warn", "none"] },
|
|
28
|
+
"status": { "type": "string", "enum": ["healthy", "warning", "error"] },
|
|
29
|
+
"loop": { "$ref": "https://decantr.ai/schemas/loop-readiness.v2.json" },
|
|
30
|
+
"authority": { "$ref": "https://decantr.ai/schemas/authority-resolution.v2.json" },
|
|
31
|
+
"evidenceTier": {
|
|
32
|
+
"$ref": "https://decantr.ai/schemas/verification-report.common.v2.json#/$defs/evidenceTier"
|
|
33
|
+
},
|
|
34
|
+
"health": { "$ref": "https://decantr.ai/schemas/project-health-report.v2.json" },
|
|
35
|
+
"localLaw": { "type": "object", "additionalProperties": true },
|
|
36
|
+
"styleBridge": { "type": "object", "additionalProperties": true }
|
|
37
|
+
},
|
|
38
|
+
"additionalProperties": false
|
|
39
|
+
},
|
|
40
|
+
{
|
|
41
|
+
"type": "object",
|
|
42
|
+
"required": ["$schema", "generatedAt", "mode", "failOn", "status", "loop", "workspace"],
|
|
43
|
+
"properties": {
|
|
44
|
+
"$schema": { "const": "https://decantr.ai/schemas/decantr-ci-report.v2.json" },
|
|
45
|
+
"generatedAt": { "type": "string", "format": "date-time" },
|
|
46
|
+
"mode": { "const": "workspace" },
|
|
47
|
+
"failOn": { "type": "string", "enum": ["error", "warn", "none"] },
|
|
48
|
+
"status": { "type": "string", "enum": ["healthy", "warning", "error"] },
|
|
49
|
+
"loop": { "type": "object", "additionalProperties": true },
|
|
50
|
+
"workspace": { "$ref": "https://decantr.ai/schemas/workspace-health-report.v2.json" }
|
|
51
|
+
},
|
|
52
|
+
"additionalProperties": false
|
|
53
|
+
}
|
|
54
|
+
]
|
|
55
|
+
}
|
|
@@ -265,7 +265,7 @@
|
|
|
265
265
|
"rule": { "type": "string" },
|
|
266
266
|
"suggestedFix": { "type": "string" },
|
|
267
267
|
"graph": {
|
|
268
|
-
"$ref": "https://decantr.ai/schemas/verification-report.common.
|
|
268
|
+
"$ref": "https://decantr.ai/schemas/verification-report.common.v2.json#/$defs/graphAnchor"
|
|
269
269
|
}
|
|
270
270
|
},
|
|
271
271
|
"additionalProperties": false
|
|
@@ -314,12 +314,43 @@
|
|
|
314
314
|
"rule": { "type": "string" },
|
|
315
315
|
"suggestedFix": { "type": "string" },
|
|
316
316
|
"graph": {
|
|
317
|
-
"$ref": "https://decantr.ai/schemas/verification-report.common.
|
|
317
|
+
"$ref": "https://decantr.ai/schemas/verification-report.common.v2.json#/$defs/graphAnchor"
|
|
318
318
|
},
|
|
319
319
|
"repair": {
|
|
320
|
-
"$ref": "https://decantr.ai/schemas/verification-report.common.
|
|
320
|
+
"$ref": "https://decantr.ai/schemas/verification-report.common.v2.json#/$defs/repairAction"
|
|
321
321
|
},
|
|
322
322
|
"repairPlan": { "$ref": "#/$defs/repairPlan" },
|
|
323
|
+
"evidenceTier": {
|
|
324
|
+
"$ref": "https://decantr.ai/schemas/verification-report.common.v2.json#/$defs/evidenceTier"
|
|
325
|
+
},
|
|
326
|
+
"authorityLane": { "type": "string" },
|
|
327
|
+
"resolutionActions": {
|
|
328
|
+
"type": "array",
|
|
329
|
+
"items": { "$ref": "https://decantr.ai/schemas/authority-resolution.v2.json#/$defs/resolutionAction" }
|
|
330
|
+
},
|
|
331
|
+
"privacy": {
|
|
332
|
+
"type": "object",
|
|
333
|
+
"required": ["sourceIncluded", "redacted", "localOnly"],
|
|
334
|
+
"properties": {
|
|
335
|
+
"sourceIncluded": { "const": false },
|
|
336
|
+
"redacted": { "type": "boolean" },
|
|
337
|
+
"localOnly": { "type": "boolean" }
|
|
338
|
+
},
|
|
339
|
+
"additionalProperties": false
|
|
340
|
+
},
|
|
341
|
+
"loopVerdict": {
|
|
342
|
+
"type": "string",
|
|
343
|
+
"enum": [
|
|
344
|
+
"needs_context",
|
|
345
|
+
"ready_to_edit",
|
|
346
|
+
"verify_required",
|
|
347
|
+
"repair_required",
|
|
348
|
+
"human_resolution_required",
|
|
349
|
+
"blocked_missing_context",
|
|
350
|
+
"blocked_missing_graph",
|
|
351
|
+
"verified"
|
|
352
|
+
]
|
|
353
|
+
},
|
|
323
354
|
"runtimeProbeIds": { "type": "array", "items": { "type": "string" } },
|
|
324
355
|
"artifactIds": { "type": "array", "items": { "type": "string" } },
|
|
325
356
|
"remediationSummary": { "type": "string" },
|
|
@@ -370,7 +401,7 @@
|
|
|
370
401
|
"category": { "type": "string" },
|
|
371
402
|
"graphAnchor": {
|
|
372
403
|
"anyOf": [
|
|
373
|
-
{ "$ref": "https://decantr.ai/schemas/verification-report.common.
|
|
404
|
+
{ "$ref": "https://decantr.ai/schemas/verification-report.common.v2.json#/$defs/graphAnchor" },
|
|
374
405
|
{ "type": "null" }
|
|
375
406
|
]
|
|
376
407
|
},
|
|
@@ -0,0 +1,87 @@
|
|
|
1
|
+
{
|
|
2
|
+
"$schema": "https://json-schema.org/draft/2020-12/schema",
|
|
3
|
+
"$id": "https://decantr.ai/schemas/loop-readiness.v2.json",
|
|
4
|
+
"title": "Decantr Loop Readiness v2",
|
|
5
|
+
"type": "object",
|
|
6
|
+
"required": [
|
|
7
|
+
"schemaVersion",
|
|
8
|
+
"state",
|
|
9
|
+
"status",
|
|
10
|
+
"verdict",
|
|
11
|
+
"summary",
|
|
12
|
+
"authority",
|
|
13
|
+
"evidenceTier",
|
|
14
|
+
"blockingReasons",
|
|
15
|
+
"nextActions",
|
|
16
|
+
"maker",
|
|
17
|
+
"checker",
|
|
18
|
+
"readTargets",
|
|
19
|
+
"graphImpact",
|
|
20
|
+
"stopConditions",
|
|
21
|
+
"verifyCommand"
|
|
22
|
+
],
|
|
23
|
+
"properties": {
|
|
24
|
+
"$schema": { "const": "https://decantr.ai/schemas/loop-readiness.v2.json" },
|
|
25
|
+
"schemaVersion": { "const": 2 },
|
|
26
|
+
"state": {
|
|
27
|
+
"type": "string",
|
|
28
|
+
"enum": [
|
|
29
|
+
"needs_context",
|
|
30
|
+
"ready_to_edit",
|
|
31
|
+
"verify_required",
|
|
32
|
+
"repair_required",
|
|
33
|
+
"human_resolution_required",
|
|
34
|
+
"blocked_missing_context",
|
|
35
|
+
"blocked_missing_graph",
|
|
36
|
+
"verified"
|
|
37
|
+
]
|
|
38
|
+
},
|
|
39
|
+
"status": { "type": "string", "enum": ["healthy", "warning", "error", "blocked"] },
|
|
40
|
+
"verdict": { "type": "string" },
|
|
41
|
+
"summary": { "type": "string" },
|
|
42
|
+
"authority": {
|
|
43
|
+
"type": "object",
|
|
44
|
+
"required": ["activeLane", "summary", "stopRule"],
|
|
45
|
+
"properties": {
|
|
46
|
+
"activeLane": { "type": "string" },
|
|
47
|
+
"summary": { "type": "string" },
|
|
48
|
+
"stopRule": { "type": "string" }
|
|
49
|
+
},
|
|
50
|
+
"additionalProperties": false
|
|
51
|
+
},
|
|
52
|
+
"evidenceTier": {
|
|
53
|
+
"$ref": "https://decantr.ai/schemas/verification-report.common.v2.json#/$defs/evidenceTier"
|
|
54
|
+
},
|
|
55
|
+
"blockingReasons": { "type": "array", "items": { "type": "string" } },
|
|
56
|
+
"nextActions": { "type": "array", "items": { "type": "string" } },
|
|
57
|
+
"maker": { "$ref": "#/$defs/instructionBlock" },
|
|
58
|
+
"checker": { "$ref": "#/$defs/instructionBlock" },
|
|
59
|
+
"readTargets": { "type": "array", "items": { "type": "string" } },
|
|
60
|
+
"graphImpact": {
|
|
61
|
+
"type": "object",
|
|
62
|
+
"required": ["status", "snapshotId", "sourceHash", "sourceArtifactCount", "staleArtifacts"],
|
|
63
|
+
"properties": {
|
|
64
|
+
"status": { "type": "string", "enum": ["ready", "missing", "stale", "not_applicable"] },
|
|
65
|
+
"snapshotId": { "type": ["string", "null"] },
|
|
66
|
+
"sourceHash": { "type": ["string", "null"] },
|
|
67
|
+
"sourceArtifactCount": { "type": "integer", "minimum": 0 },
|
|
68
|
+
"staleArtifacts": { "type": "array", "items": { "type": "string" } }
|
|
69
|
+
},
|
|
70
|
+
"additionalProperties": false
|
|
71
|
+
},
|
|
72
|
+
"stopConditions": { "type": "array", "items": { "type": "string" } },
|
|
73
|
+
"verifyCommand": { "type": "string" }
|
|
74
|
+
},
|
|
75
|
+
"additionalProperties": false,
|
|
76
|
+
"$defs": {
|
|
77
|
+
"instructionBlock": {
|
|
78
|
+
"type": "object",
|
|
79
|
+
"required": ["title", "instructions"],
|
|
80
|
+
"properties": {
|
|
81
|
+
"title": { "type": "string" },
|
|
82
|
+
"instructions": { "type": "array", "items": { "type": "string" } }
|
|
83
|
+
},
|
|
84
|
+
"additionalProperties": false
|
|
85
|
+
}
|
|
86
|
+
}
|
|
87
|
+
}
|
|
@@ -0,0 +1,119 @@
|
|
|
1
|
+
{
|
|
2
|
+
"$schema": "https://json-schema.org/draft/2020-12/schema",
|
|
3
|
+
"$id": "https://decantr.ai/schemas/project-health-report.v2.json",
|
|
4
|
+
"title": "Decantr Project Health Report v2",
|
|
5
|
+
"type": "object",
|
|
6
|
+
"required": [
|
|
7
|
+
"$schema",
|
|
8
|
+
"generatedAt",
|
|
9
|
+
"projectRoot",
|
|
10
|
+
"status",
|
|
11
|
+
"score",
|
|
12
|
+
"summary",
|
|
13
|
+
"routes",
|
|
14
|
+
"packs",
|
|
15
|
+
"graph",
|
|
16
|
+
"evidenceTier",
|
|
17
|
+
"authority",
|
|
18
|
+
"loop",
|
|
19
|
+
"ci",
|
|
20
|
+
"findings"
|
|
21
|
+
],
|
|
22
|
+
"properties": {
|
|
23
|
+
"$schema": { "const": "https://decantr.ai/schemas/project-health-report.v2.json" },
|
|
24
|
+
"generatedAt": { "type": "string", "format": "date-time" },
|
|
25
|
+
"projectRoot": { "type": "string", "minLength": 1 },
|
|
26
|
+
"status": { "type": "string", "enum": ["healthy", "warning", "error"] },
|
|
27
|
+
"score": { "type": "integer", "minimum": 0, "maximum": 100 },
|
|
28
|
+
"summary": { "type": "object", "additionalProperties": true },
|
|
29
|
+
"routes": { "type": "object", "additionalProperties": true },
|
|
30
|
+
"packs": { "type": "object", "additionalProperties": true },
|
|
31
|
+
"graph": { "type": "object", "additionalProperties": true },
|
|
32
|
+
"evidenceTier": {
|
|
33
|
+
"$ref": "https://decantr.ai/schemas/verification-report.common.v2.json#/$defs/evidenceTier"
|
|
34
|
+
},
|
|
35
|
+
"authority": { "$ref": "https://decantr.ai/schemas/authority-resolution.v2.json" },
|
|
36
|
+
"loop": { "$ref": "https://decantr.ai/schemas/loop-readiness.v2.json" },
|
|
37
|
+
"ci": {
|
|
38
|
+
"type": "object",
|
|
39
|
+
"required": ["recommendedCommand", "failOn"],
|
|
40
|
+
"properties": {
|
|
41
|
+
"recommendedCommand": { "type": "string" },
|
|
42
|
+
"failOn": { "type": "string", "enum": ["error", "warn", "none"] }
|
|
43
|
+
},
|
|
44
|
+
"additionalProperties": false
|
|
45
|
+
},
|
|
46
|
+
"findings": {
|
|
47
|
+
"type": "array",
|
|
48
|
+
"items": { "$ref": "#/$defs/projectHealthFinding" }
|
|
49
|
+
}
|
|
50
|
+
},
|
|
51
|
+
"additionalProperties": false,
|
|
52
|
+
"$defs": {
|
|
53
|
+
"projectHealthFinding": {
|
|
54
|
+
"type": "object",
|
|
55
|
+
"required": [
|
|
56
|
+
"id",
|
|
57
|
+
"source",
|
|
58
|
+
"category",
|
|
59
|
+
"severity",
|
|
60
|
+
"message",
|
|
61
|
+
"evidence",
|
|
62
|
+
"remediation"
|
|
63
|
+
],
|
|
64
|
+
"properties": {
|
|
65
|
+
"id": { "type": "string" },
|
|
66
|
+
"code": { "type": "string" },
|
|
67
|
+
"source": { "type": "string" },
|
|
68
|
+
"category": { "type": "string" },
|
|
69
|
+
"severity": { "type": "string", "enum": ["error", "warn", "info"] },
|
|
70
|
+
"message": { "type": "string" },
|
|
71
|
+
"evidence": { "type": "array", "items": { "type": "string" } },
|
|
72
|
+
"target": { "type": "string" },
|
|
73
|
+
"file": { "type": "string" },
|
|
74
|
+
"rule": { "type": "string" },
|
|
75
|
+
"suggestedFix": { "type": "string" },
|
|
76
|
+
"graph": {
|
|
77
|
+
"$ref": "https://decantr.ai/schemas/verification-report.common.v1.json#/$defs/graphAnchor"
|
|
78
|
+
},
|
|
79
|
+
"repair": {
|
|
80
|
+
"$ref": "https://decantr.ai/schemas/verification-report.common.v1.json#/$defs/repairAction"
|
|
81
|
+
},
|
|
82
|
+
"repairPlan": { "type": "object", "additionalProperties": true },
|
|
83
|
+
"evidenceTier": {
|
|
84
|
+
"$ref": "https://decantr.ai/schemas/verification-report.common.v2.json#/$defs/evidenceTier"
|
|
85
|
+
},
|
|
86
|
+
"authorityLane": { "type": "string" },
|
|
87
|
+
"resolutionActions": {
|
|
88
|
+
"type": "array",
|
|
89
|
+
"items": { "$ref": "https://decantr.ai/schemas/authority-resolution.v2.json#/$defs/resolutionAction" }
|
|
90
|
+
},
|
|
91
|
+
"privacy": {
|
|
92
|
+
"type": "object",
|
|
93
|
+
"required": ["sourceIncluded", "redacted", "localOnly"],
|
|
94
|
+
"properties": {
|
|
95
|
+
"sourceIncluded": { "const": false },
|
|
96
|
+
"redacted": { "type": "boolean" },
|
|
97
|
+
"localOnly": { "type": "boolean" }
|
|
98
|
+
},
|
|
99
|
+
"additionalProperties": false
|
|
100
|
+
},
|
|
101
|
+
"loopVerdict": {
|
|
102
|
+
"type": "string",
|
|
103
|
+
"enum": [
|
|
104
|
+
"needs_context",
|
|
105
|
+
"ready_to_edit",
|
|
106
|
+
"verify_required",
|
|
107
|
+
"repair_required",
|
|
108
|
+
"human_resolution_required",
|
|
109
|
+
"blocked_missing_context",
|
|
110
|
+
"blocked_missing_graph",
|
|
111
|
+
"verified"
|
|
112
|
+
]
|
|
113
|
+
},
|
|
114
|
+
"remediation": { "type": "object", "additionalProperties": true }
|
|
115
|
+
},
|
|
116
|
+
"additionalProperties": false
|
|
117
|
+
}
|
|
118
|
+
}
|
|
119
|
+
}
|
|
@@ -0,0 +1,51 @@
|
|
|
1
|
+
{
|
|
2
|
+
"$schema": "https://json-schema.org/draft/2020-12/schema",
|
|
3
|
+
"$id": "https://decantr.ai/schemas/proof-field-report.v2.json",
|
|
4
|
+
"title": "Decantr Proof Field Report v2",
|
|
5
|
+
"type": "object",
|
|
6
|
+
"required": [
|
|
7
|
+
"$schema",
|
|
8
|
+
"generatedAt",
|
|
9
|
+
"schemaVersion",
|
|
10
|
+
"summary",
|
|
11
|
+
"apps",
|
|
12
|
+
"metrics",
|
|
13
|
+
"honesty"
|
|
14
|
+
],
|
|
15
|
+
"properties": {
|
|
16
|
+
"$schema": { "const": "https://decantr.ai/schemas/proof-field-report.v2.json" },
|
|
17
|
+
"generatedAt": { "type": "string", "format": "date-time" },
|
|
18
|
+
"schemaVersion": { "const": 2 },
|
|
19
|
+
"summary": { "type": "object", "additionalProperties": true },
|
|
20
|
+
"apps": { "type": "array", "items": { "type": "object", "additionalProperties": true } },
|
|
21
|
+
"metrics": {
|
|
22
|
+
"type": "object",
|
|
23
|
+
"required": [
|
|
24
|
+
"adversarialCatchRate",
|
|
25
|
+
"falsePositiveRate",
|
|
26
|
+
"graphAnchorCoverage",
|
|
27
|
+
"repairPlanCoverage",
|
|
28
|
+
"loopVerdictQuality"
|
|
29
|
+
],
|
|
30
|
+
"properties": {
|
|
31
|
+
"adversarialCatchRate": { "type": "number", "minimum": 0, "maximum": 1 },
|
|
32
|
+
"falsePositiveRate": { "type": "number", "minimum": 0, "maximum": 1 },
|
|
33
|
+
"graphAnchorCoverage": { "type": "number", "minimum": 0, "maximum": 1 },
|
|
34
|
+
"repairPlanCoverage": { "type": "number", "minimum": 0, "maximum": 1 },
|
|
35
|
+
"loopVerdictQuality": { "type": "number", "minimum": 0, "maximum": 1 }
|
|
36
|
+
},
|
|
37
|
+
"additionalProperties": true
|
|
38
|
+
},
|
|
39
|
+
"honesty": {
|
|
40
|
+
"type": "object",
|
|
41
|
+
"required": ["pass", "knownLimitations", "recommendedNextVersion"],
|
|
42
|
+
"properties": {
|
|
43
|
+
"pass": { "type": "boolean" },
|
|
44
|
+
"knownLimitations": { "type": "array", "items": { "type": "string" } },
|
|
45
|
+
"recommendedNextVersion": { "type": ["string", "null"] }
|
|
46
|
+
},
|
|
47
|
+
"additionalProperties": false
|
|
48
|
+
}
|
|
49
|
+
},
|
|
50
|
+
"additionalProperties": false
|
|
51
|
+
}
|
|
@@ -0,0 +1,91 @@
|
|
|
1
|
+
{
|
|
2
|
+
"$schema": "https://json-schema.org/draft/2020-12/schema",
|
|
3
|
+
"$id": "https://decantr.ai/schemas/verification-report.common.v2.json",
|
|
4
|
+
"title": "Decantr Verification Report Common Definitions v2",
|
|
5
|
+
"$defs": {
|
|
6
|
+
"nonEmptyString": {
|
|
7
|
+
"type": "string",
|
|
8
|
+
"minLength": 1
|
|
9
|
+
},
|
|
10
|
+
"stringArray": {
|
|
11
|
+
"type": "array",
|
|
12
|
+
"items": {
|
|
13
|
+
"type": "string"
|
|
14
|
+
}
|
|
15
|
+
},
|
|
16
|
+
"graphAnchor": {
|
|
17
|
+
"$ref": "https://decantr.ai/schemas/verification-report.common.v1.json#/$defs/graphAnchor"
|
|
18
|
+
},
|
|
19
|
+
"repairAction": {
|
|
20
|
+
"$ref": "https://decantr.ai/schemas/verification-report.common.v1.json#/$defs/repairAction"
|
|
21
|
+
},
|
|
22
|
+
"evidenceTier": {
|
|
23
|
+
"type": "object",
|
|
24
|
+
"required": ["schemaVersion", "stage", "status", "capabilities", "coverage", "confidence"],
|
|
25
|
+
"properties": {
|
|
26
|
+
"schemaVersion": { "const": 2 },
|
|
27
|
+
"stage": {
|
|
28
|
+
"type": "string",
|
|
29
|
+
"enum": ["static", "graph", "runtime", "visual", "repair", "proof"]
|
|
30
|
+
},
|
|
31
|
+
"status": {
|
|
32
|
+
"type": "string",
|
|
33
|
+
"enum": ["healthy", "warning", "error", "incomplete"]
|
|
34
|
+
},
|
|
35
|
+
"capabilities": {
|
|
36
|
+
"type": "array",
|
|
37
|
+
"items": {
|
|
38
|
+
"type": "string",
|
|
39
|
+
"enum": [
|
|
40
|
+
"static-audit",
|
|
41
|
+
"project-health",
|
|
42
|
+
"typed-graph",
|
|
43
|
+
"runtime-probe",
|
|
44
|
+
"browser-evidence",
|
|
45
|
+
"visual-baseline",
|
|
46
|
+
"repair-plan",
|
|
47
|
+
"benchmark-replay"
|
|
48
|
+
]
|
|
49
|
+
}
|
|
50
|
+
},
|
|
51
|
+
"coverage": {
|
|
52
|
+
"type": "object",
|
|
53
|
+
"required": [
|
|
54
|
+
"declaredRoutes",
|
|
55
|
+
"runtimeRoutesChecked",
|
|
56
|
+
"findingsAnchored",
|
|
57
|
+
"findingsWithRepairPlan",
|
|
58
|
+
"runtimeProbeCount",
|
|
59
|
+
"visualArtifactCount"
|
|
60
|
+
],
|
|
61
|
+
"properties": {
|
|
62
|
+
"declaredRoutes": { "type": "integer", "minimum": 0 },
|
|
63
|
+
"runtimeRoutesChecked": { "type": "integer", "minimum": 0 },
|
|
64
|
+
"findingsAnchored": { "type": "integer", "minimum": 0 },
|
|
65
|
+
"findingsWithRepairPlan": { "type": "integer", "minimum": 0 },
|
|
66
|
+
"runtimeProbeCount": { "type": "integer", "minimum": 0 },
|
|
67
|
+
"visualArtifactCount": { "type": "integer", "minimum": 0 }
|
|
68
|
+
},
|
|
69
|
+
"additionalProperties": false
|
|
70
|
+
},
|
|
71
|
+
"confidence": {
|
|
72
|
+
"type": "object",
|
|
73
|
+
"required": ["level", "score", "reasons"],
|
|
74
|
+
"properties": {
|
|
75
|
+
"level": { "type": "string", "enum": ["low", "moderate", "high"] },
|
|
76
|
+
"score": { "type": "number", "minimum": 0, "maximum": 1 },
|
|
77
|
+
"reasons": { "type": "array", "items": { "type": "string" } }
|
|
78
|
+
},
|
|
79
|
+
"additionalProperties": false
|
|
80
|
+
}
|
|
81
|
+
},
|
|
82
|
+
"additionalProperties": false
|
|
83
|
+
},
|
|
84
|
+
"authorityResolution": {
|
|
85
|
+
"$ref": "https://decantr.ai/schemas/authority-resolution.v2.json"
|
|
86
|
+
},
|
|
87
|
+
"loopReadiness": {
|
|
88
|
+
"$ref": "https://decantr.ai/schemas/loop-readiness.v2.json"
|
|
89
|
+
}
|
|
90
|
+
}
|
|
91
|
+
}
|