@decantr/verifier 3.4.0 → 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 +429 -28
- 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/README.md
CHANGED
|
@@ -23,14 +23,15 @@ npm install @decantr/verifier
|
|
|
23
23
|
- `critiqueFile()` for file-level review against compiled review-pack contracts
|
|
24
24
|
- `createContractAssertions()` for explicit route, shell, accessibility, context, and design-token assertions derived from Essence/context
|
|
25
25
|
- `createEvidenceBundle()` for privacy-redacted local evidence artifacts used by AI repair loops and CI
|
|
26
|
+
- `createEvidenceTier()`, `createAuthorityResolution()`, and `createLoopReadiness()` for the shared v2 Brownfield control-loop blocks used by CLI, MCP, Studio, and verifier consumers
|
|
26
27
|
- `resolveGraphAnchorForFinding()` and `anchorFindingsToGraph()` for attaching verifier/Project Health findings to typed Contract graph nodes when a graph snapshot exists
|
|
27
28
|
- `deriveVerificationDiagnostic()` and `KNOWN_VERIFICATION_DIAGNOSTICS` for stable finding codes and typed repair IDs used by Project Health, MCP health, and Evidence Bundles
|
|
28
|
-
- schema-backed report types for project audits, Project Health, Decantr CI reports, Evidence Bundles, Workspace Health, file critiques, and showcase verification
|
|
29
|
+
- schema-backed report types for project audits, v2 Project Health, v2 Decantr CI reports, v2 Evidence Bundles, v2 Workspace Health, v2 authority resolution, v2 loop readiness, v2 proof field reports, file critiques, and showcase verification
|
|
29
30
|
- `ProjectHealthReport`, `ProjectHealthFinding`, and `ProjectHealthRemediation` types for the CLI's end-user health surface
|
|
30
31
|
- Project Health and Evidence Bundle finding schemas include optional `code`, `repair`, `repairPlan`, and `graph` fields so agents can identify, anchor, and act on findings without parsing prose; Evidence Bundle provenance also records graph snapshot, manifest, diff, and contract-capsule hashes when present
|
|
31
32
|
- interaction findings now include scanned file counts, file line ranges, and expected signal evidence where available, so CLI health/check output can point agents at source-grounded remediation
|
|
32
33
|
- contract-only and style-bridge Brownfield critique avoids requiring Decantr treatments/decorators when the project keeps its own styling authority
|
|
33
|
-
- Decantr CI report schemas include accepted style bridge status, mapping count, styling approach,
|
|
34
|
+
- Decantr CI report schemas include accepted style bridge status, mapping count, styling approach, theme modes, evidence tier, authority resolution, and loop readiness alongside local-law findings
|
|
34
35
|
- project audits check that `pack-manifest.json` references real pack markdown/JSON files on disk
|
|
35
36
|
- project audits tolerate partial or malformed generated review packs without crashing Project Health, so half-attached Brownfield projects still receive actionable findings
|
|
36
37
|
- Next.js static/document outputs are treated as framework-rendered documents instead of requiring a Vite-style `id="root"` mount element
|
|
@@ -81,20 +82,25 @@ function isBlocking(report: ProjectHealthReport) {
|
|
|
81
82
|
## Schema Exports
|
|
82
83
|
|
|
83
84
|
- `@decantr/verifier/schema/verification-report.common.v1.json`
|
|
85
|
+
- `@decantr/verifier/schema/verification-report.common.v2.json`
|
|
84
86
|
- `@decantr/verifier/schema/project-audit-report.v1.json`
|
|
85
87
|
- `@decantr/verifier/schema/project-health-report.v1.json`
|
|
88
|
+
- `@decantr/verifier/schema/project-health-report.v2.json`
|
|
86
89
|
- `@decantr/verifier/schema/decantr-ci-report.v1.json`
|
|
90
|
+
- `@decantr/verifier/schema/decantr-ci-report.v2.json`
|
|
87
91
|
- `@decantr/verifier/schema/evidence-bundle.v1.json`
|
|
88
92
|
- `@decantr/verifier/schema/evidence-bundle.v2.json`
|
|
89
93
|
- `@decantr/verifier/schema/runtime-probe-payload.v2.json`
|
|
94
|
+
- `@decantr/verifier/schema/authority-resolution.v2.json`
|
|
95
|
+
- `@decantr/verifier/schema/loop-readiness.v2.json`
|
|
96
|
+
- `@decantr/verifier/schema/proof-field-report.v2.json`
|
|
90
97
|
- `@decantr/verifier/schema/scan-report.v1.json`
|
|
91
98
|
- `@decantr/verifier/schema/workspace-health-report.v1.json`
|
|
99
|
+
- `@decantr/verifier/schema/workspace-health-report.v2.json`
|
|
92
100
|
- `@decantr/verifier/schema/file-critique-report.v1.json`
|
|
93
101
|
- `@decantr/verifier/schema/showcase-shortlist-report.v1.json`
|
|
94
102
|
|
|
95
|
-
The v2 schema assets
|
|
96
|
-
|
|
97
|
-
v1 schemas remain the active emitted contracts until a command explicitly changes its `$schema` URL. See [Report Schemas](https://decantr.ai/reference/report-schemas.md).
|
|
103
|
+
The v2 schema assets are the active Decantr 3.5 contracts for Project Health, CI, Workspace Health, Evidence Bundles, runtime probes, authority resolution, loop readiness, and proof field reports. v1 health/evidence schemas remain published for stored-artifact compatibility; audit, scan, file-critique, and showcase reports remain v1 until those wires need to change. See [Report Schemas](https://decantr.ai/reference/report-schemas.md).
|
|
98
104
|
|
|
99
105
|
## Security And Permissions
|
|
100
106
|
|
|
@@ -105,8 +111,8 @@ The verifier is a local library. It reads selected project source, Decantr conte
|
|
|
105
111
|
`@decantr/verifier` is stable in the Decantr 3 line for the documented verifier APIs and published report-schema assets.
|
|
106
112
|
|
|
107
113
|
- new checks and additive report fields may appear in compatible releases
|
|
108
|
-
-
|
|
109
|
-
- hosted and
|
|
114
|
+
- report-shape changes are versioned through explicit `$schema` URLs
|
|
115
|
+
- hosted, CLI, MCP, and Studio consumers should treat the published schemas as the supported contract surface
|
|
110
116
|
|
|
111
117
|
## License
|
|
112
118
|
|
package/dist/index.d.ts
CHANGED
|
@@ -2,6 +2,208 @@ import { ReviewExecutionPack } from '@decantr/core';
|
|
|
2
2
|
import { EssenceFile } from '@decantr/essence-spec';
|
|
3
3
|
import * as ts from 'typescript';
|
|
4
4
|
|
|
5
|
+
type VerificationGraphAnchorConfidence = 'exact' | 'inferred' | 'fallback';
|
|
6
|
+
interface GraphAnchorNode {
|
|
7
|
+
id: string;
|
|
8
|
+
type: string;
|
|
9
|
+
payload?: unknown;
|
|
10
|
+
}
|
|
11
|
+
interface GraphAnchorEdge {
|
|
12
|
+
src: string;
|
|
13
|
+
dst: string;
|
|
14
|
+
relation: string;
|
|
15
|
+
payload?: unknown;
|
|
16
|
+
idx?: number;
|
|
17
|
+
}
|
|
18
|
+
interface GraphAnchorSnapshot {
|
|
19
|
+
id: string;
|
|
20
|
+
project_id: string;
|
|
21
|
+
source_hash: string;
|
|
22
|
+
nodes: GraphAnchorNode[];
|
|
23
|
+
edges: GraphAnchorEdge[];
|
|
24
|
+
}
|
|
25
|
+
interface VerificationGraphAnchor {
|
|
26
|
+
snapshot_id: string;
|
|
27
|
+
source_hash: string;
|
|
28
|
+
node_id: string;
|
|
29
|
+
node_type: string;
|
|
30
|
+
route?: string;
|
|
31
|
+
confidence: VerificationGraphAnchorConfidence;
|
|
32
|
+
reason: string;
|
|
33
|
+
}
|
|
34
|
+
interface GraphAnchorFindingInput {
|
|
35
|
+
id: string;
|
|
36
|
+
category: string;
|
|
37
|
+
message: string;
|
|
38
|
+
evidence?: string[];
|
|
39
|
+
target?: string;
|
|
40
|
+
file?: string;
|
|
41
|
+
rule?: string;
|
|
42
|
+
}
|
|
43
|
+
declare function resolveGraphAnchorForFinding(snapshot: GraphAnchorSnapshot | null | undefined, finding: GraphAnchorFindingInput): VerificationGraphAnchor | undefined;
|
|
44
|
+
declare function anchorFindingsToGraph<TFinding extends GraphAnchorFindingInput>(snapshot: GraphAnchorSnapshot | null | undefined, findings: TFinding[]): Array<TFinding & {
|
|
45
|
+
graph?: VerificationGraphAnchor;
|
|
46
|
+
}>;
|
|
47
|
+
|
|
48
|
+
declare const VERIFICATION_COMMON_V2_SCHEMA_URL = "https://decantr.ai/schemas/verification-report.common.v2.json";
|
|
49
|
+
declare const PROJECT_HEALTH_REPORT_V2_SCHEMA_URL = "https://decantr.ai/schemas/project-health-report.v2.json";
|
|
50
|
+
declare const DECANTR_CI_REPORT_V2_SCHEMA_URL = "https://decantr.ai/schemas/decantr-ci-report.v2.json";
|
|
51
|
+
declare const WORKSPACE_HEALTH_REPORT_V2_SCHEMA_URL = "https://decantr.ai/schemas/workspace-health-report.v2.json";
|
|
52
|
+
declare const EVIDENCE_BUNDLE_V2_SCHEMA_URL = "https://decantr.ai/schemas/evidence-bundle.v2.json";
|
|
53
|
+
declare const RUNTIME_PROBE_PAYLOAD_V2_SCHEMA_URL = "https://decantr.ai/schemas/runtime-probe-payload.v2.json";
|
|
54
|
+
declare const LOOP_READINESS_V2_SCHEMA_URL = "https://decantr.ai/schemas/loop-readiness.v2.json";
|
|
55
|
+
declare const AUTHORITY_RESOLUTION_V2_SCHEMA_URL = "https://decantr.ai/schemas/authority-resolution.v2.json";
|
|
56
|
+
declare const PROOF_FIELD_REPORT_V2_SCHEMA_URL = "https://decantr.ai/schemas/proof-field-report.v2.json";
|
|
57
|
+
type EvidenceTierCapability = 'static-audit' | 'project-health' | 'typed-graph' | 'runtime-probe' | 'browser-evidence' | 'visual-baseline' | 'repair-plan' | 'benchmark-replay';
|
|
58
|
+
type EvidenceTierStage = 'static' | 'graph' | 'runtime' | 'visual' | 'repair' | 'proof';
|
|
59
|
+
type EvidenceTierStatus = 'healthy' | 'warning' | 'error' | 'incomplete';
|
|
60
|
+
type EvidenceConfidenceLevel = 'low' | 'moderate' | 'high';
|
|
61
|
+
interface EvidenceTier {
|
|
62
|
+
schemaVersion: 2;
|
|
63
|
+
stage: EvidenceTierStage;
|
|
64
|
+
status: EvidenceTierStatus;
|
|
65
|
+
capabilities: EvidenceTierCapability[];
|
|
66
|
+
coverage: {
|
|
67
|
+
declaredRoutes: number;
|
|
68
|
+
runtimeRoutesChecked: number;
|
|
69
|
+
findingsAnchored: number;
|
|
70
|
+
findingsWithRepairPlan: number;
|
|
71
|
+
runtimeProbeCount: number;
|
|
72
|
+
visualArtifactCount: number;
|
|
73
|
+
};
|
|
74
|
+
confidence: {
|
|
75
|
+
level: EvidenceConfidenceLevel;
|
|
76
|
+
score: number;
|
|
77
|
+
reasons: string[];
|
|
78
|
+
};
|
|
79
|
+
}
|
|
80
|
+
type AuthorityResolutionActionKind = 'repair_source' | 'accept_observed_source' | 'codify_local_law' | 'update_style_bridge' | 'regenerate_graph' | 'regenerate_context' | 'defer_to_drift_log' | 'mark_advisory';
|
|
81
|
+
interface AuthorityResolutionAction {
|
|
82
|
+
kind: AuthorityResolutionActionKind;
|
|
83
|
+
label: string;
|
|
84
|
+
command: string | null;
|
|
85
|
+
writes: boolean;
|
|
86
|
+
rationale: string;
|
|
87
|
+
}
|
|
88
|
+
type AuthorityLaneId = 'production-source' | 'local-law' | 'style-bridge' | 'essence-contract' | 'registry-guidance';
|
|
89
|
+
interface AuthorityOrderEntry {
|
|
90
|
+
id: AuthorityLaneId;
|
|
91
|
+
label: string;
|
|
92
|
+
role: string;
|
|
93
|
+
rank: number;
|
|
94
|
+
}
|
|
95
|
+
interface AuthorityConflict {
|
|
96
|
+
id: string;
|
|
97
|
+
source: string;
|
|
98
|
+
category: string;
|
|
99
|
+
severity: 'error' | 'warn' | 'info';
|
|
100
|
+
message: string;
|
|
101
|
+
graphAnchor?: VerificationGraphAnchor;
|
|
102
|
+
lane: AuthorityLaneId;
|
|
103
|
+
status: 'blocking' | 'repairable' | 'advisory';
|
|
104
|
+
recommendedActions: AuthorityResolutionAction[];
|
|
105
|
+
}
|
|
106
|
+
interface AuthorityResolution {
|
|
107
|
+
$schema?: string;
|
|
108
|
+
schemaVersion: 2;
|
|
109
|
+
generatedAt?: string;
|
|
110
|
+
order: AuthorityOrderEntry[];
|
|
111
|
+
activeLane: AuthorityLaneId;
|
|
112
|
+
summary: string;
|
|
113
|
+
conflicts: AuthorityConflict[];
|
|
114
|
+
stopRule: string;
|
|
115
|
+
}
|
|
116
|
+
type LoopReadinessState = 'needs_context' | 'ready_to_edit' | 'verify_required' | 'repair_required' | 'human_resolution_required' | 'blocked_missing_context' | 'blocked_missing_graph' | 'verified';
|
|
117
|
+
interface LoopInstructionBlock {
|
|
118
|
+
title: string;
|
|
119
|
+
instructions: string[];
|
|
120
|
+
}
|
|
121
|
+
interface GraphImpactSummary {
|
|
122
|
+
status: 'ready' | 'missing' | 'stale' | 'not_applicable';
|
|
123
|
+
snapshotId: string | null;
|
|
124
|
+
sourceHash: string | null;
|
|
125
|
+
sourceArtifactCount: number;
|
|
126
|
+
staleArtifacts: string[];
|
|
127
|
+
}
|
|
128
|
+
interface LoopReadiness {
|
|
129
|
+
$schema?: string;
|
|
130
|
+
schemaVersion: 2;
|
|
131
|
+
state: LoopReadinessState;
|
|
132
|
+
status: 'healthy' | 'warning' | 'error' | 'blocked';
|
|
133
|
+
verdict: string;
|
|
134
|
+
summary: string;
|
|
135
|
+
authority: Pick<AuthorityResolution, 'activeLane' | 'summary' | 'stopRule'>;
|
|
136
|
+
evidenceTier: EvidenceTier;
|
|
137
|
+
blockingReasons: string[];
|
|
138
|
+
nextActions: string[];
|
|
139
|
+
maker: LoopInstructionBlock;
|
|
140
|
+
checker: LoopInstructionBlock;
|
|
141
|
+
readTargets: string[];
|
|
142
|
+
graphImpact: GraphImpactSummary;
|
|
143
|
+
stopConditions: string[];
|
|
144
|
+
verifyCommand: string;
|
|
145
|
+
}
|
|
146
|
+
interface ProjectHealthReportLike {
|
|
147
|
+
status: 'healthy' | 'warning' | 'error';
|
|
148
|
+
score: number;
|
|
149
|
+
summary: {
|
|
150
|
+
errorCount: number;
|
|
151
|
+
warnCount: number;
|
|
152
|
+
infoCount: number;
|
|
153
|
+
findingCount: number;
|
|
154
|
+
workflowMode: string | null;
|
|
155
|
+
adoptionMode: string | null;
|
|
156
|
+
essenceVersion: string | null;
|
|
157
|
+
runtimeAuditChecked: boolean;
|
|
158
|
+
runtimePassed: boolean | null;
|
|
159
|
+
};
|
|
160
|
+
routes: {
|
|
161
|
+
declared: string[];
|
|
162
|
+
runtimeChecked: string[];
|
|
163
|
+
};
|
|
164
|
+
graph: {
|
|
165
|
+
present: boolean;
|
|
166
|
+
ready: boolean;
|
|
167
|
+
current: boolean | null;
|
|
168
|
+
snapshotId: string | null;
|
|
169
|
+
sourceHash: string | null;
|
|
170
|
+
sourceArtifactCount: number;
|
|
171
|
+
staleArtifacts: string[];
|
|
172
|
+
};
|
|
173
|
+
ci: {
|
|
174
|
+
recommendedCommand: string;
|
|
175
|
+
};
|
|
176
|
+
findings: ProjectHealthFindingLike[];
|
|
177
|
+
}
|
|
178
|
+
interface ProjectHealthFindingLike {
|
|
179
|
+
id: string;
|
|
180
|
+
source: string;
|
|
181
|
+
category: string;
|
|
182
|
+
severity: 'error' | 'warn' | 'info';
|
|
183
|
+
message: string;
|
|
184
|
+
evidence: string[];
|
|
185
|
+
rule?: string;
|
|
186
|
+
file?: string;
|
|
187
|
+
target?: string;
|
|
188
|
+
graph?: VerificationGraphAnchor;
|
|
189
|
+
repairPlan?: {
|
|
190
|
+
readTargets?: string[];
|
|
191
|
+
commands?: string[];
|
|
192
|
+
};
|
|
193
|
+
remediation?: {
|
|
194
|
+
commands?: string[];
|
|
195
|
+
};
|
|
196
|
+
}
|
|
197
|
+
interface EvidenceTierOptions {
|
|
198
|
+
runtimeProbeCount?: number;
|
|
199
|
+
visualArtifactCount?: number;
|
|
200
|
+
benchmarkReplay?: boolean;
|
|
201
|
+
}
|
|
202
|
+
declare function createEvidenceTier(report: ProjectHealthReportLike, options?: EvidenceTierOptions): EvidenceTier;
|
|
203
|
+
declare function createAuthorityOrder(): AuthorityOrderEntry[];
|
|
204
|
+
declare function createAuthorityResolution(report: ProjectHealthReportLike): AuthorityResolution;
|
|
205
|
+
declare function createLoopReadiness(report: ProjectHealthReportLike, authority?: AuthorityResolution, evidenceTier?: EvidenceTier): LoopReadiness;
|
|
206
|
+
|
|
5
207
|
interface VerificationRepairAction {
|
|
6
208
|
id: string;
|
|
7
209
|
payload?: Record<string, unknown>;
|
|
@@ -200,49 +402,6 @@ declare const KNOWN_VERIFICATION_DIAGNOSTICS: readonly [{
|
|
|
200
402
|
}];
|
|
201
403
|
declare function deriveVerificationDiagnostic(input: VerificationDiagnosticInput): VerificationDiagnosticMetadata;
|
|
202
404
|
|
|
203
|
-
type VerificationGraphAnchorConfidence = 'exact' | 'inferred' | 'fallback';
|
|
204
|
-
interface GraphAnchorNode {
|
|
205
|
-
id: string;
|
|
206
|
-
type: string;
|
|
207
|
-
payload?: unknown;
|
|
208
|
-
}
|
|
209
|
-
interface GraphAnchorEdge {
|
|
210
|
-
src: string;
|
|
211
|
-
dst: string;
|
|
212
|
-
relation: string;
|
|
213
|
-
payload?: unknown;
|
|
214
|
-
idx?: number;
|
|
215
|
-
}
|
|
216
|
-
interface GraphAnchorSnapshot {
|
|
217
|
-
id: string;
|
|
218
|
-
project_id: string;
|
|
219
|
-
source_hash: string;
|
|
220
|
-
nodes: GraphAnchorNode[];
|
|
221
|
-
edges: GraphAnchorEdge[];
|
|
222
|
-
}
|
|
223
|
-
interface VerificationGraphAnchor {
|
|
224
|
-
snapshot_id: string;
|
|
225
|
-
source_hash: string;
|
|
226
|
-
node_id: string;
|
|
227
|
-
node_type: string;
|
|
228
|
-
route?: string;
|
|
229
|
-
confidence: VerificationGraphAnchorConfidence;
|
|
230
|
-
reason: string;
|
|
231
|
-
}
|
|
232
|
-
interface GraphAnchorFindingInput {
|
|
233
|
-
id: string;
|
|
234
|
-
category: string;
|
|
235
|
-
message: string;
|
|
236
|
-
evidence?: string[];
|
|
237
|
-
target?: string;
|
|
238
|
-
file?: string;
|
|
239
|
-
rule?: string;
|
|
240
|
-
}
|
|
241
|
-
declare function resolveGraphAnchorForFinding(snapshot: GraphAnchorSnapshot | null | undefined, finding: GraphAnchorFindingInput): VerificationGraphAnchor | undefined;
|
|
242
|
-
declare function anchorFindingsToGraph<TFinding extends GraphAnchorFindingInput>(snapshot: GraphAnchorSnapshot | null | undefined, findings: TFinding[]): Array<TFinding & {
|
|
243
|
-
graph?: VerificationGraphAnchor;
|
|
244
|
-
}>;
|
|
245
|
-
|
|
246
405
|
interface RuntimeAudit {
|
|
247
406
|
distPresent: boolean;
|
|
248
407
|
indexPresent: boolean;
|
|
@@ -749,13 +908,13 @@ interface StyleBridgeDriftAudit {
|
|
|
749
908
|
declare function auditStyleBridgeDrift(projectRoot: string, sourceFiles: string[]): StyleBridgeDriftAudit;
|
|
750
909
|
|
|
751
910
|
declare const VERIFICATION_SCHEMA_URLS: {
|
|
752
|
-
readonly common: "https://decantr.ai/schemas/verification-report.common.
|
|
911
|
+
readonly common: "https://decantr.ai/schemas/verification-report.common.v2.json";
|
|
753
912
|
readonly projectAudit: "https://decantr.ai/schemas/project-audit-report.v1.json";
|
|
754
|
-
readonly projectHealth: "https://decantr.ai/schemas/project-health-report.
|
|
755
|
-
readonly decantrCi: "https://decantr.ai/schemas/decantr-ci-report.
|
|
756
|
-
readonly evidenceBundle: "https://decantr.ai/schemas/evidence-bundle.
|
|
913
|
+
readonly projectHealth: "https://decantr.ai/schemas/project-health-report.v2.json";
|
|
914
|
+
readonly decantrCi: "https://decantr.ai/schemas/decantr-ci-report.v2.json";
|
|
915
|
+
readonly evidenceBundle: "https://decantr.ai/schemas/evidence-bundle.v2.json";
|
|
757
916
|
readonly scanReport: "https://decantr.ai/schemas/scan-report.v1.json";
|
|
758
|
-
readonly workspaceHealth: "https://decantr.ai/schemas/workspace-health-report.
|
|
917
|
+
readonly workspaceHealth: "https://decantr.ai/schemas/workspace-health-report.v2.json";
|
|
759
918
|
readonly fileCritique: "https://decantr.ai/schemas/file-critique-report.v1.json";
|
|
760
919
|
readonly showcaseShortlist: "https://decantr.ai/schemas/showcase-shortlist-report.v1.json";
|
|
761
920
|
};
|
|
@@ -879,6 +1038,15 @@ interface ProjectHealthFinding {
|
|
|
879
1038
|
graph?: VerificationGraphAnchor;
|
|
880
1039
|
repair?: VerificationRepairAction;
|
|
881
1040
|
repairPlan?: EvidenceRepairPlan;
|
|
1041
|
+
evidenceTier?: EvidenceTier;
|
|
1042
|
+
authorityLane?: string;
|
|
1043
|
+
resolutionActions?: AuthorityResolutionAction[];
|
|
1044
|
+
privacy?: {
|
|
1045
|
+
sourceIncluded: false;
|
|
1046
|
+
redacted: boolean;
|
|
1047
|
+
localOnly: boolean;
|
|
1048
|
+
};
|
|
1049
|
+
loopVerdict?: LoopReadiness['state'];
|
|
882
1050
|
remediation: ProjectHealthRemediation;
|
|
883
1051
|
}
|
|
884
1052
|
interface ProjectHealthRouteSummary {
|
|
@@ -938,6 +1106,9 @@ interface ProjectHealthReport {
|
|
|
938
1106
|
routes: ProjectHealthRouteSummary;
|
|
939
1107
|
packs: ProjectHealthPackSummary;
|
|
940
1108
|
graph: ProjectHealthGraphSummary;
|
|
1109
|
+
evidenceTier: EvidenceTier;
|
|
1110
|
+
authority: AuthorityResolution;
|
|
1111
|
+
loop: LoopReadiness;
|
|
941
1112
|
ci: {
|
|
942
1113
|
recommendedCommand: string;
|
|
943
1114
|
failOn: 'error' | 'warn' | 'none';
|
|
@@ -968,15 +1139,23 @@ interface EvidenceBundle {
|
|
|
968
1139
|
project: {
|
|
969
1140
|
id: string;
|
|
970
1141
|
rootLabel: string;
|
|
1142
|
+
projectPath?: string | null;
|
|
1143
|
+
workflowMode?: string | null;
|
|
1144
|
+
adoptionMode?: string | null;
|
|
971
1145
|
};
|
|
972
1146
|
toolchain: {
|
|
973
1147
|
verifierVersion: string | null;
|
|
1148
|
+
cliVersion?: string | null;
|
|
1149
|
+
mcpServerVersion?: string | null;
|
|
974
1150
|
};
|
|
975
1151
|
privacy: {
|
|
976
1152
|
localOnly: boolean;
|
|
1153
|
+
sourceIncluded: false;
|
|
977
1154
|
redactedFields: string[];
|
|
978
1155
|
screenshotsLocalOnly: boolean;
|
|
1156
|
+
hostedUploadAllowed: boolean;
|
|
979
1157
|
};
|
|
1158
|
+
evidenceTier: EvidenceTier;
|
|
980
1159
|
health: {
|
|
981
1160
|
status: ProjectHealthStatus;
|
|
982
1161
|
score: number;
|
|
@@ -995,6 +1174,8 @@ interface EvidenceBundle {
|
|
|
995
1174
|
contractCapsule: EvidenceProvenanceEntry;
|
|
996
1175
|
workspaceConfig?: EvidenceProvenanceEntry;
|
|
997
1176
|
designTokens?: EvidenceProvenanceEntry;
|
|
1177
|
+
runtimeProbe?: EvidenceProvenanceEntry;
|
|
1178
|
+
visualManifest?: EvidenceProvenanceEntry;
|
|
998
1179
|
};
|
|
999
1180
|
assertions: ContractAssertion[];
|
|
1000
1181
|
findings: Array<{
|
|
@@ -1011,10 +1192,35 @@ interface EvidenceBundle {
|
|
|
1011
1192
|
graph?: VerificationGraphAnchor;
|
|
1012
1193
|
repair?: VerificationRepairAction;
|
|
1013
1194
|
repairPlan?: EvidenceRepairPlan;
|
|
1195
|
+
evidenceTier?: EvidenceTier;
|
|
1196
|
+
authorityLane?: string;
|
|
1197
|
+
resolutionActions?: AuthorityResolutionAction[];
|
|
1198
|
+
privacy?: {
|
|
1199
|
+
sourceIncluded: false;
|
|
1200
|
+
redacted: boolean;
|
|
1201
|
+
localOnly: boolean;
|
|
1202
|
+
};
|
|
1203
|
+
loopVerdict?: LoopReadiness['state'];
|
|
1014
1204
|
remediationSummary: string;
|
|
1015
1205
|
commands: string[];
|
|
1016
1206
|
promptCommand: string;
|
|
1017
1207
|
}>;
|
|
1208
|
+
runtimeProbe?: unknown | null;
|
|
1209
|
+
artifacts?: Array<{
|
|
1210
|
+
id: string;
|
|
1211
|
+
kind: string;
|
|
1212
|
+
path: string;
|
|
1213
|
+
hash?: string | null;
|
|
1214
|
+
route?: string | null;
|
|
1215
|
+
findingId?: string | null;
|
|
1216
|
+
localOnly: boolean;
|
|
1217
|
+
redacted: boolean;
|
|
1218
|
+
}>;
|
|
1219
|
+
dashboard?: {
|
|
1220
|
+
safeToUpload: boolean;
|
|
1221
|
+
retentionClass: 'local-only' | 'team-report' | 'public-benchmark';
|
|
1222
|
+
redactionNotes: string[];
|
|
1223
|
+
};
|
|
1018
1224
|
browser?: {
|
|
1019
1225
|
enabled: boolean;
|
|
1020
1226
|
status: 'not_requested' | 'unavailable' | 'passed' | 'failed';
|
|
@@ -1036,12 +1242,18 @@ interface EvidenceBundleInput {
|
|
|
1036
1242
|
audit?: ProjectAuditReport | null;
|
|
1037
1243
|
assertions?: ContractAssertion[];
|
|
1038
1244
|
verifierVersion?: string | null;
|
|
1245
|
+
cliVersion?: string | null;
|
|
1246
|
+
mcpServerVersion?: string | null;
|
|
1039
1247
|
workspaceConfigPath?: string | null;
|
|
1040
1248
|
designTokensPath?: string | null;
|
|
1249
|
+
runtimeProbePath?: string | null;
|
|
1250
|
+
visualManifestPath?: string | null;
|
|
1251
|
+
runtimeProbe?: unknown | null;
|
|
1252
|
+
artifacts?: EvidenceBundle['artifacts'];
|
|
1041
1253
|
browser?: EvidenceBundle['browser'];
|
|
1042
1254
|
designTokens?: EvidenceBundle['designTokens'];
|
|
1043
1255
|
}
|
|
1044
|
-
declare const EVIDENCE_BUNDLE_SCHEMA_URL = "https://decantr.ai/schemas/evidence-bundle.
|
|
1256
|
+
declare const EVIDENCE_BUNDLE_SCHEMA_URL = "https://decantr.ai/schemas/evidence-bundle.v2.json";
|
|
1045
1257
|
declare function buildProjectHealthRepairPlan(projectRoot: string, finding: ProjectHealthFinding): EvidenceRepairPlan;
|
|
1046
1258
|
declare function createContractAssertions(projectRoot: string, audit?: ProjectAuditReport | null): ContractAssertion[];
|
|
1047
1259
|
declare function createEvidenceBundle(input: EvidenceBundleInput): EvidenceBundle;
|
|
@@ -1162,4 +1374,4 @@ declare function auditProject(projectRoot: string): Promise<ProjectAuditReport>;
|
|
|
1162
1374
|
declare function critiqueSource({ filePath, code, reviewPack, packManifest, treatmentsCss, adoptionMode, }: CritiqueSourceInput): FileCritiqueReport;
|
|
1163
1375
|
declare function critiqueFile(filePath: string, projectRoot: string): Promise<FileCritiqueReport>;
|
|
1164
1376
|
|
|
1165
|
-
export { type BuiltDistAuditOptions, COMPONENT_REUSE_RULE_ID, type CodeComponentDeclaration, type CodeImportReference, type ComponentReuseAudit, type ComponentReuseFinding, type ContractAssertion, type ContractAssertionCategory, type CritiqueSourceInput, EVIDENCE_BUNDLE_SCHEMA_URL, type EvidenceBundle, type EvidenceBundleInput, type EvidenceProvenanceEntry, type EvidenceRepairPlan, type EvidenceRepairPlanAction, type ExtractSourceStringLiteralOptions, type FileCritiqueReport, type GitHubScanInputResolution, type GraphAnchorEdge, type GraphAnchorFindingInput, type GraphAnchorNode, type GraphAnchorSnapshot, INTERACTION_SIGNALS, type InteractionMissingFinding, type InteractionRequirement, type InteractionSignal, KNOWN_VERIFICATION_DIAGNOSTICS, type MissingPackManifestFile, type PackManifest, type ProjectAuditReport, type ProjectHealthFinding, type ProjectHealthFindingSource, type ProjectHealthGraphSummary, type ProjectHealthPackSummary, type ProjectHealthRemediation, type ProjectHealthReport, type ProjectHealthRouteSummary, type ProjectHealthStatus, type ProjectSourceFile, type ProjectSourceKind, type ProjectSourceLanguage, type ProjectSourceProgram, type ProjectSourceProgramOptions, type PublishedSiteProbeV1, RAW_CONTROL_REUSE_RULE_ID, type RawControlReuseFinding, type ResolveSourceSymbolOriginOptions, type RuntimeAudit, SCAN_REPORT_SCHEMA_URL, STYLE_BRIDGE_ARBITRARY_VALUE_RULE_ID, type ScanApplicabilityStatus, type ScanConfidence, type ScanFindingSeverity, type ScanFindingV1, type ScanInputKind, type ScanInputV1, type ScanProjectOptions, type ScanReportV1, type ScanRepositoryV1, type ScanRouteV1, type ShowcaseShortlistVerificationEntry, type ShowcaseShortlistVerificationReport, type SourceImportKind, type SourceImportReference, type SourceImportResolution, type SourceImportResolutionKind, type SourceInventory, type SourceInventoryOptions, type SourceInventorySkipReason, type SourceInventorySkippedPath, type SourceLocation, type SourceStringLiteral, type SourceStringLiteralContext, type SourceSymbolOrigin, type StyleBridgeDriftAudit, type StyleBridgeDriftFinding, VERIFICATION_SCHEMA_URLS, type VerificationDiagnosticCatalogEntry, type VerificationDiagnosticInput, type VerificationDiagnosticMetadata, type VerificationFinding, type VerificationGraphAnchor, type VerificationGraphAnchorConfidence, type VerificationRepairAction, type VerificationScore, type VerificationSeverity, anchorFindingsToGraph, auditBuiltDist, auditComponentReuse, auditProject, auditStyleBridgeDrift, buildProjectHealthRepairPlan, collectMissingPackManifestFiles, collectProjectSourceFiles, collectSourceImports, createContractAssertions, createEvidenceBundle, createProjectSourceProgram, createSourceInventory, createUnavailableScanReport, critiqueFile, critiqueSource, deriveVerificationDiagnostic, emptyRuntimeAudit, extractRouteHintsFromEssence, extractSourceStringLiterals, getProjectSourceFile, isPathInsideProject, isSupportedSourceExtension, listKnownInteractions, normalizeSourcePath, probePublishedSite, resolveGitHubScanInput, resolveGraphAnchorForFinding, resolveSourceImport, resolveSourceSymbolOrigin, scanProject, sourceKindFromPath, sourceLanguageFromPath, sourceLocationForNode, sourceScriptKindFromPath, verifyInteractionsInSource };
|
|
1377
|
+
export { AUTHORITY_RESOLUTION_V2_SCHEMA_URL, type AuthorityConflict, type AuthorityLaneId, type AuthorityOrderEntry, type AuthorityResolution, type AuthorityResolutionAction, type AuthorityResolutionActionKind, type BuiltDistAuditOptions, COMPONENT_REUSE_RULE_ID, type CodeComponentDeclaration, type CodeImportReference, type ComponentReuseAudit, type ComponentReuseFinding, type ContractAssertion, type ContractAssertionCategory, type CritiqueSourceInput, DECANTR_CI_REPORT_V2_SCHEMA_URL, EVIDENCE_BUNDLE_SCHEMA_URL, EVIDENCE_BUNDLE_V2_SCHEMA_URL, type EvidenceBundle, type EvidenceBundleInput, type EvidenceConfidenceLevel, type EvidenceProvenanceEntry, type EvidenceRepairPlan, type EvidenceRepairPlanAction, type EvidenceTier, type EvidenceTierCapability, type EvidenceTierOptions, type EvidenceTierStage, type EvidenceTierStatus, type ExtractSourceStringLiteralOptions, type FileCritiqueReport, type GitHubScanInputResolution, type GraphAnchorEdge, type GraphAnchorFindingInput, type GraphAnchorNode, type GraphAnchorSnapshot, type GraphImpactSummary, INTERACTION_SIGNALS, type InteractionMissingFinding, type InteractionRequirement, type InteractionSignal, KNOWN_VERIFICATION_DIAGNOSTICS, LOOP_READINESS_V2_SCHEMA_URL, type LoopInstructionBlock, type LoopReadiness, type LoopReadinessState, type MissingPackManifestFile, PROJECT_HEALTH_REPORT_V2_SCHEMA_URL, PROOF_FIELD_REPORT_V2_SCHEMA_URL, type PackManifest, type ProjectAuditReport, type ProjectHealthFinding, type ProjectHealthFindingLike, type ProjectHealthFindingSource, type ProjectHealthGraphSummary, type ProjectHealthPackSummary, type ProjectHealthRemediation, type ProjectHealthReport, type ProjectHealthReportLike, type ProjectHealthRouteSummary, type ProjectHealthStatus, type ProjectSourceFile, type ProjectSourceKind, type ProjectSourceLanguage, type ProjectSourceProgram, type ProjectSourceProgramOptions, type PublishedSiteProbeV1, RAW_CONTROL_REUSE_RULE_ID, RUNTIME_PROBE_PAYLOAD_V2_SCHEMA_URL, type RawControlReuseFinding, type ResolveSourceSymbolOriginOptions, type RuntimeAudit, SCAN_REPORT_SCHEMA_URL, STYLE_BRIDGE_ARBITRARY_VALUE_RULE_ID, type ScanApplicabilityStatus, type ScanConfidence, type ScanFindingSeverity, type ScanFindingV1, type ScanInputKind, type ScanInputV1, type ScanProjectOptions, type ScanReportV1, type ScanRepositoryV1, type ScanRouteV1, type ShowcaseShortlistVerificationEntry, type ShowcaseShortlistVerificationReport, type SourceImportKind, type SourceImportReference, type SourceImportResolution, type SourceImportResolutionKind, type SourceInventory, type SourceInventoryOptions, type SourceInventorySkipReason, type SourceInventorySkippedPath, type SourceLocation, type SourceStringLiteral, type SourceStringLiteralContext, type SourceSymbolOrigin, type StyleBridgeDriftAudit, type StyleBridgeDriftFinding, VERIFICATION_COMMON_V2_SCHEMA_URL, VERIFICATION_SCHEMA_URLS, type VerificationDiagnosticCatalogEntry, type VerificationDiagnosticInput, type VerificationDiagnosticMetadata, type VerificationFinding, type VerificationGraphAnchor, type VerificationGraphAnchorConfidence, type VerificationRepairAction, type VerificationScore, type VerificationSeverity, WORKSPACE_HEALTH_REPORT_V2_SCHEMA_URL, anchorFindingsToGraph, auditBuiltDist, auditComponentReuse, auditProject, auditStyleBridgeDrift, buildProjectHealthRepairPlan, collectMissingPackManifestFiles, collectProjectSourceFiles, collectSourceImports, createAuthorityOrder, createAuthorityResolution, createContractAssertions, createEvidenceBundle, createEvidenceTier, createLoopReadiness, createProjectSourceProgram, createSourceInventory, createUnavailableScanReport, critiqueFile, critiqueSource, deriveVerificationDiagnostic, emptyRuntimeAudit, extractRouteHintsFromEssence, extractSourceStringLiterals, getProjectSourceFile, isPathInsideProject, isSupportedSourceExtension, listKnownInteractions, normalizeSourcePath, probePublishedSite, resolveGitHubScanInput, resolveGraphAnchorForFinding, resolveSourceImport, resolveSourceSymbolOrigin, scanProject, sourceKindFromPath, sourceLanguageFromPath, sourceLocationForNode, sourceScriptKindFromPath, verifyInteractionsInSource };
|