@praneeth_54/agentdoctor 2.0.0 → 2.0.1

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.
Files changed (95) hide show
  1. package/CHANGELOG.md +73 -4
  2. package/README.md +283 -158
  3. package/dist/architecture/contract.d.ts +64 -0
  4. package/dist/architecture/contract.js +373 -0
  5. package/dist/assurance/change.d.ts +211 -0
  6. package/dist/assurance/change.js +624 -0
  7. package/dist/assurance/proof.d.ts +136 -0
  8. package/dist/assurance/proof.js +338 -0
  9. package/dist/auth/index.d.ts +81 -0
  10. package/dist/auth/index.js +130 -0
  11. package/dist/auth/rbac.d.ts +9 -0
  12. package/dist/auth/rbac.js +26 -0
  13. package/dist/cli/commands/architecture.d.ts +6 -0
  14. package/dist/cli/commands/architecture.js +109 -0
  15. package/dist/cli/commands/assurance.d.ts +67 -0
  16. package/dist/cli/commands/assurance.js +210 -0
  17. package/dist/cli/commands/complete.js +2 -2
  18. package/dist/cli/commands/platform.d.ts +2 -0
  19. package/dist/cli/commands/platform.js +5 -1
  20. package/dist/cli/commands/policy-graph-run.d.ts +40 -0
  21. package/dist/cli/commands/policy-graph-run.js +200 -0
  22. package/dist/cli/commands/workspace.d.ts +9 -0
  23. package/dist/cli/commands/workspace.js +82 -0
  24. package/dist/cli/program.js +535 -17
  25. package/dist/constants.d.ts +1 -1
  26. package/dist/constants.js +1 -1
  27. package/dist/contracts/index.d.ts +1 -1
  28. package/dist/contracts/index.js +2 -2
  29. package/dist/core/brain-product/init.js +5 -2
  30. package/dist/core/secrets/scan.d.ts +7 -1
  31. package/dist/core/secrets/scan.js +9 -9
  32. package/dist/coverage/cobertura.d.ts +6 -0
  33. package/dist/coverage/cobertura.js +52 -0
  34. package/dist/coverage/istanbul.d.ts +7 -0
  35. package/dist/coverage/istanbul.js +134 -0
  36. package/dist/coverage/lcov.d.ts +7 -0
  37. package/dist/coverage/lcov.js +59 -0
  38. package/dist/coverage/load.d.ts +9 -0
  39. package/dist/coverage/load.js +39 -0
  40. package/dist/coverage/types.d.ts +23 -0
  41. package/dist/coverage/types.js +5 -0
  42. package/dist/dashboard/server.d.ts +1 -1
  43. package/dist/dashboard/server.js +21 -5
  44. package/dist/enforcement/runner.d.ts +47 -3
  45. package/dist/enforcement/runner.js +420 -16
  46. package/dist/index.d.ts +23 -2
  47. package/dist/index.js +15 -2
  48. package/dist/intelligence/graph/build.d.ts +2 -0
  49. package/dist/intelligence/graph/build.js +49 -5
  50. package/dist/intelligence/graph/incremental.d.ts +68 -0
  51. package/dist/intelligence/graph/incremental.js +234 -0
  52. package/dist/intelligence/resolve/imports.d.ts +36 -0
  53. package/dist/intelligence/resolve/imports.js +245 -0
  54. package/dist/languages/go.d.ts +9 -0
  55. package/dist/languages/go.js +45 -0
  56. package/dist/languages/index.d.ts +11 -0
  57. package/dist/languages/index.js +76 -0
  58. package/dist/languages/php.d.ts +7 -0
  59. package/dist/languages/php.js +193 -0
  60. package/dist/languages/python.d.ts +7 -0
  61. package/dist/languages/python.js +150 -0
  62. package/dist/languages/types.d.ts +42 -0
  63. package/dist/languages/types.js +26 -0
  64. package/dist/languages/typescript.d.ts +3 -0
  65. package/dist/languages/typescript.js +95 -0
  66. package/dist/mcp/intelligence/handlers.d.ts +5 -0
  67. package/dist/mcp/intelligence/handlers.js +229 -40
  68. package/dist/mcp/intelligence/path-safety.d.ts +2 -4
  69. package/dist/mcp/intelligence/path-safety.js +25 -44
  70. package/dist/mcp/intelligence/registry.d.ts +1 -1
  71. package/dist/mcp/intelligence/registry.js +69 -1
  72. package/dist/platform/firewall/evaluate.d.ts +6 -3
  73. package/dist/platform/firewall/evaluate.js +66 -15
  74. package/dist/platform/graph/build.js +19 -23
  75. package/dist/platform/health/analyze.js +23 -17
  76. package/dist/platform/index.js +2 -0
  77. package/dist/platform/test-impact/analyze.d.ts +21 -3
  78. package/dist/platform/test-impact/analyze.js +214 -28
  79. package/dist/platform/tokens/plan.js +39 -20
  80. package/dist/platform/types.d.ts +9 -0
  81. package/dist/policy/compose.d.ts +34 -0
  82. package/dist/policy/compose.js +118 -0
  83. package/dist/policy/packs.js +33 -1
  84. package/dist/security/paths.d.ts +21 -0
  85. package/dist/security/paths.js +105 -0
  86. package/dist/storage/postgres.d.ts +26 -0
  87. package/dist/storage/postgres.js +90 -0
  88. package/dist/storage/provider.d.ts +2 -7
  89. package/dist/storage/provider.js +22 -16
  90. package/dist/storage/sqlite.d.ts +33 -0
  91. package/dist/storage/sqlite.js +77 -0
  92. package/dist/team/auth.js +1 -1
  93. package/dist/workspace/index.d.ts +69 -0
  94. package/dist/workspace/index.js +220 -0
  95. package/package.json +9 -3
@@ -0,0 +1,26 @@
1
+ /**
2
+ * Role-based access control for AgentDoctor surfaces.
3
+ * Not enterprise SSO — roles are applied after a verified identity (local session or OIDC JWT).
4
+ */
5
+ export const RBAC_ROLE_RANK = {
6
+ viewer: 1,
7
+ developer: 2,
8
+ reviewer: 3,
9
+ "policy-admin": 4,
10
+ admin: 5,
11
+ };
12
+ const PERMISSION_MIN_ROLE = {
13
+ "read-findings": "viewer",
14
+ "read-audit": "viewer",
15
+ "export-reports": "developer",
16
+ "approve-actions": "reviewer",
17
+ "manage-policies": "policy-admin",
18
+ "admin-settings": "admin",
19
+ };
20
+ export function hasRbacPermission(role, permission) {
21
+ const required = PERMISSION_MIN_ROLE[permission];
22
+ return (RBAC_ROLE_RANK[role] ?? 0) >= (RBAC_ROLE_RANK[required] ?? 99);
23
+ }
24
+ export function roleAtLeast(role, required) {
25
+ return (RBAC_ROLE_RANK[role] ?? 0) >= (RBAC_ROLE_RANK[required] ?? 99);
26
+ }
@@ -0,0 +1,6 @@
1
+ import { type ExitCode } from "../../types/index.js";
2
+ export declare function runArchitectureCommand(options: {
3
+ action: "init" | "analyze" | "check" | "explain";
4
+ root?: string;
5
+ json?: boolean;
6
+ }): Promise<ExitCode>;
@@ -0,0 +1,109 @@
1
+ import { EXIT_CODES } from "../../types/index.js";
2
+ import { resolveRepoRoot } from "../../utils/path.js";
3
+ import { buildIntelligenceGraph } from "../../intelligence/graph/build.js";
4
+ import { buildC4Views } from "../../architecture/c4.js";
5
+ import { checkArchitectureAtRoot, explainArchitecture, initArchitecture, loadArchitectureContract, } from "../../architecture/contract.js";
6
+ function printJson(value) {
7
+ process.stdout.write(`${JSON.stringify(value, null, 2)}\n`);
8
+ }
9
+ export async function runArchitectureCommand(options) {
10
+ const root = resolveRepoRoot(options.root ?? process.cwd());
11
+ try {
12
+ switch (options.action) {
13
+ case "init": {
14
+ const written = await initArchitecture(root);
15
+ if (options.json)
16
+ printJson({ path: written, createdOrExisting: true });
17
+ else
18
+ process.stdout.write(`Architecture contract at ${written}\n`);
19
+ return EXIT_CODES.SUCCESS;
20
+ }
21
+ case "analyze": {
22
+ const graph = await buildIntelligenceGraph({ root, mode: "auto" });
23
+ const views = buildC4Views(graph);
24
+ const loaded = await loadArchitectureContract(root);
25
+ const check = await checkArchitectureAtRoot(root, graph);
26
+ const payload = {
27
+ c4: {
28
+ levels: views.map((v) => v.level),
29
+ views,
30
+ label: "Inferred/proposed from graph evidence — not approved architecture facts",
31
+ },
32
+ contract: loaded
33
+ ? {
34
+ path: loaded.path,
35
+ version: loaded.contract.version,
36
+ layerCount: loaded.contract.layers.length,
37
+ forbiddenCount: loaded.contract.forbidden.length,
38
+ allowedCount: loaded.contract.allowed.length,
39
+ }
40
+ : null,
41
+ check: {
42
+ violations: check.violations.length,
43
+ importEdgesChecked: check.importEdgesChecked,
44
+ limitations: check.limitations,
45
+ },
46
+ };
47
+ if (options.json)
48
+ printJson(payload);
49
+ else {
50
+ process.stdout.write([
51
+ "AgentDoctor architecture analyze",
52
+ ` C4 views: ${views.map((v) => v.level).join(", ")} (inferred)`,
53
+ loaded
54
+ ? ` contract: ${loaded.path} (layers=${loaded.contract.layers.length}, forbidden=${loaded.contract.forbidden.length})`
55
+ : " contract: none (run architecture init)",
56
+ ` check violations: ${check.violations.length} (edges=${check.importEdgesChecked})`,
57
+ ].join("\n") + "\n");
58
+ }
59
+ return EXIT_CODES.SUCCESS;
60
+ }
61
+ case "check": {
62
+ const graph = await buildIntelligenceGraph({ root, mode: "auto" });
63
+ const check = await checkArchitectureAtRoot(root, graph);
64
+ if (options.json)
65
+ printJson(check);
66
+ else {
67
+ process.stdout.write([
68
+ "AgentDoctor architecture check",
69
+ ` contract: ${check.contractPath ?? "none"}`,
70
+ ` import edges checked: ${check.importEdgesChecked}`,
71
+ ` violations: ${check.violations.length}`,
72
+ ...check.violations
73
+ .slice(0, 30)
74
+ .map((v) => ` - [${v.kind}] ${v.ruleId}: ${v.fromPath} → ${v.toPath} (${v.fromLayer}→${v.toLayer})`),
75
+ ...check.limitations.map((l) => ` limitation: ${l}`),
76
+ ].join("\n") + "\n");
77
+ }
78
+ if (check.violations.some((v) => v.kind === "forbidden")) {
79
+ return EXIT_CODES.ISSUES_OR_THRESHOLD;
80
+ }
81
+ return EXIT_CODES.SUCCESS;
82
+ }
83
+ case "explain": {
84
+ const loaded = await loadArchitectureContract(root);
85
+ const graph = await buildIntelligenceGraph({ root, mode: "auto" });
86
+ const check = await checkArchitectureAtRoot(root, graph);
87
+ if (options.json) {
88
+ printJson({
89
+ contract: loaded?.contract ?? null,
90
+ path: loaded?.path ?? null,
91
+ check,
92
+ explanation: explainArchitecture(loaded?.contract ?? null, check),
93
+ });
94
+ }
95
+ else {
96
+ process.stdout.write(explainArchitecture(loaded?.contract ?? null, check));
97
+ }
98
+ return EXIT_CODES.SUCCESS;
99
+ }
100
+ default:
101
+ console.error(`Error: unknown architecture action`);
102
+ return EXIT_CODES.USAGE_ERROR;
103
+ }
104
+ }
105
+ catch (error) {
106
+ console.error(`Error: ${error instanceof Error ? error.message : String(error)}`);
107
+ return EXIT_CODES.INTERNAL_ERROR;
108
+ }
109
+ }
@@ -0,0 +1,67 @@
1
+ export declare function runChangeAnalyzeCommand(options: {
2
+ root: string;
3
+ since?: string;
4
+ coverage?: string;
5
+ json?: boolean;
6
+ }): Promise<number>;
7
+ export declare function runChangeVerifyCommand(options: {
8
+ root: string;
9
+ since?: string;
10
+ changeId?: string;
11
+ coverage?: string;
12
+ json?: boolean;
13
+ }): Promise<number>;
14
+ export declare function runChangeExplainCommand(options: {
15
+ root: string;
16
+ since?: string;
17
+ changeId?: string;
18
+ coverage?: string;
19
+ json?: boolean;
20
+ }): Promise<number>;
21
+ export declare function runChangeDiffCommand(options: {
22
+ root: string;
23
+ since?: string;
24
+ changeId?: string;
25
+ json?: boolean;
26
+ }): Promise<number>;
27
+ export declare function runChangeStatusCommand(options: {
28
+ root: string;
29
+ changeId?: string;
30
+ json?: boolean;
31
+ }): Promise<number>;
32
+ export declare function runEvidenceInspectCommand(options: {
33
+ root: string;
34
+ changeId: string;
35
+ json?: boolean;
36
+ }): Promise<number>;
37
+ export declare function runEvidenceVerifyCommand(options: {
38
+ root: string;
39
+ changeId: string;
40
+ json?: boolean;
41
+ }): Promise<number>;
42
+ export declare function runProofBuildCommand(options: {
43
+ root: string;
44
+ changeId: string;
45
+ json?: boolean;
46
+ }): Promise<number>;
47
+ export declare function runProofInspectCommand(options: {
48
+ root: string;
49
+ id: string;
50
+ json?: boolean;
51
+ }): Promise<number>;
52
+ export declare function runProofExplainCommand(options: {
53
+ root: string;
54
+ id: string;
55
+ json?: boolean;
56
+ }): Promise<number>;
57
+ export declare function runProofVerifyCommand(options: {
58
+ root: string;
59
+ id: string;
60
+ json?: boolean;
61
+ }): Promise<number>;
62
+ export declare function runProofExportCommand(options: {
63
+ root: string;
64
+ id: string;
65
+ out: string;
66
+ json?: boolean;
67
+ }): Promise<number>;
@@ -0,0 +1,210 @@
1
+ import { analyzeChange, changeStatus, diffChange, explainChange, inspectEvidence, verifyChange, verifyEvidence, } from "../../assurance/change.js";
2
+ import { buildProofFromEvidence, explainProof, exportProof, inspectProof, verifyProof, } from "../../assurance/proof.js";
3
+ import { EXIT_CODES } from "../../types/index.js";
4
+ function emit(json, value, human) {
5
+ if (json) {
6
+ process.stdout.write(`${JSON.stringify(value, null, 2)}\n`);
7
+ }
8
+ else {
9
+ process.stdout.write(`${human}\n`);
10
+ }
11
+ }
12
+ export async function runChangeAnalyzeCommand(options) {
13
+ try {
14
+ const assessment = await analyzeChange({
15
+ root: options.root,
16
+ ...(options.since ? { since: options.since } : {}),
17
+ ...(options.coverage ? { coveragePath: options.coverage } : {}),
18
+ });
19
+ emit(Boolean(options.json), assessment, [
20
+ `Change assessment ${assessment.changeId}`,
21
+ ` files: ${assessment.changedFiles.length}`,
22
+ ` symbols: ${assessment.changedSymbols.length}`,
23
+ ` testImpact: ${assessment.testImpact.mode} (${assessment.testImpact.confidence})`,
24
+ ` verificationStatus: ${assessment.verificationStatus}`,
25
+ ` Next: agentdoctor change verify${options.since ? ` --since ${options.since}` : ""}`,
26
+ ].join("\n"));
27
+ return EXIT_CODES.SUCCESS;
28
+ }
29
+ catch (error) {
30
+ const message = error instanceof Error ? error.message : String(error);
31
+ process.stderr.write(`Error: ${message}\n`);
32
+ return EXIT_CODES.INTERNAL_ERROR;
33
+ }
34
+ }
35
+ export async function runChangeVerifyCommand(options) {
36
+ try {
37
+ const { assessment, manifest } = await verifyChange({
38
+ root: options.root,
39
+ ...(options.since ? { since: options.since } : {}),
40
+ ...(options.changeId ? { changeId: options.changeId } : {}),
41
+ ...(options.coverage ? { coveragePath: options.coverage } : {}),
42
+ });
43
+ emit(Boolean(options.json), { assessment, manifest }, [
44
+ `Evidence produced for ${assessment.changeId}`,
45
+ ` directory: ${assessment.evidence.directory}`,
46
+ ` files: ${assessment.evidence.files?.join(", ") ?? ""}`,
47
+ ` verificationStatus: ${assessment.verificationStatus}`,
48
+ ` Next: agentdoctor evidence verify ${assessment.changeId}`,
49
+ ].join("\n"));
50
+ return EXIT_CODES.SUCCESS;
51
+ }
52
+ catch (error) {
53
+ const message = error instanceof Error ? error.message : String(error);
54
+ process.stderr.write(`Error: ${message}\n`);
55
+ return EXIT_CODES.INTERNAL_ERROR;
56
+ }
57
+ }
58
+ export async function runChangeExplainCommand(options) {
59
+ try {
60
+ const assessment = await analyzeChange({
61
+ root: options.root,
62
+ ...(options.since ? { since: options.since } : {}),
63
+ ...(options.changeId ? { changeId: options.changeId } : {}),
64
+ ...(options.coverage ? { coveragePath: options.coverage } : {}),
65
+ });
66
+ const text = explainChange(assessment);
67
+ emit(Boolean(options.json), { assessment, explanation: text }, text);
68
+ return EXIT_CODES.SUCCESS;
69
+ }
70
+ catch (error) {
71
+ const message = error instanceof Error ? error.message : String(error);
72
+ process.stderr.write(`Error: ${message}\n`);
73
+ return EXIT_CODES.INTERNAL_ERROR;
74
+ }
75
+ }
76
+ export async function runChangeDiffCommand(options) {
77
+ try {
78
+ const diff = await diffChange({
79
+ root: options.root,
80
+ ...(options.since ? { since: options.since } : {}),
81
+ ...(options.changeId ? { changeId: options.changeId } : {}),
82
+ });
83
+ emit(Boolean(options.json), diff, [
84
+ `Change diff${diff.changeId ? ` (${diff.changeId})` : ""}`,
85
+ ` base → target: ${diff.baseRevision ?? "(wt)"} → ${diff.targetRevision ?? "?"}`,
86
+ ` files: +${diff.summary.added} ~${diff.summary.modified} -${diff.summary.deleted} ?${diff.summary.untracked}`,
87
+ diff.stat ? `\n${diff.stat}` : " (no git --stat output)",
88
+ ].join("\n"));
89
+ return EXIT_CODES.SUCCESS;
90
+ }
91
+ catch (error) {
92
+ const message = error instanceof Error ? error.message : String(error);
93
+ process.stderr.write(`Error: ${message}\n`);
94
+ return EXIT_CODES.INTERNAL_ERROR;
95
+ }
96
+ }
97
+ export async function runChangeStatusCommand(options) {
98
+ try {
99
+ const status = await changeStatus({
100
+ root: options.root,
101
+ ...(options.changeId ? { changeId: options.changeId } : {}),
102
+ });
103
+ emit(Boolean(options.json), status, [
104
+ `Change status${status.changeId ? `: ${status.changeId}` : " (no evidence)"}`,
105
+ ` evidence: ${status.evidencePresent ? status.evidenceDirectory : "none"}`,
106
+ ` verificationStatus: ${status.verificationStatus}`,
107
+ ` proof: ${status.proofPresent ? status.proofId : "none"}`,
108
+ ` note: ${status.integrityNote}`,
109
+ ].join("\n"));
110
+ return EXIT_CODES.SUCCESS;
111
+ }
112
+ catch (error) {
113
+ const message = error instanceof Error ? error.message : String(error);
114
+ process.stderr.write(`Error: ${message}\n`);
115
+ return EXIT_CODES.INTERNAL_ERROR;
116
+ }
117
+ }
118
+ export async function runEvidenceInspectCommand(options) {
119
+ const result = await inspectEvidence({ root: options.root, changeId: options.changeId });
120
+ if (!result.ok) {
121
+ process.stderr.write(`Error: ${result.error ?? "evidence not found"}\n`);
122
+ return EXIT_CODES.USAGE_ERROR;
123
+ }
124
+ emit(Boolean(options.json), result, [
125
+ `Evidence ${options.changeId}`,
126
+ ` directory: ${result.directory}`,
127
+ ` files: ${result.presentFiles.join(", ")}`,
128
+ ` manifestStatus: ${result.manifest?.verificationStatus ?? "missing"}`,
129
+ ].join("\n"));
130
+ return EXIT_CODES.SUCCESS;
131
+ }
132
+ export async function runEvidenceVerifyCommand(options) {
133
+ const result = await verifyEvidence({ root: options.root, changeId: options.changeId });
134
+ emit(Boolean(options.json), result, [
135
+ `Evidence verify ${options.changeId}`,
136
+ ` status: ${result.verificationStatus}`,
137
+ ...result.checked.map((c) => ` ${c.match ? "OK" : "FAIL"} ${c.name}`),
138
+ ].join("\n"));
139
+ if (!result.ok) {
140
+ return EXIT_CODES.ISSUES_OR_THRESHOLD;
141
+ }
142
+ return EXIT_CODES.SUCCESS;
143
+ }
144
+ export async function runProofBuildCommand(options) {
145
+ try {
146
+ const proof = await buildProofFromEvidence(options.root, options.changeId);
147
+ emit(Boolean(options.json), proof, [
148
+ `ChangeProof ${proof.proofId}`,
149
+ ` changeId: ${proof.changeId}`,
150
+ ` integrityStatus: ${proof.integrityStatus}`,
151
+ ` engineeringChecksStatus: ${proof.engineeringChecksStatus}`,
152
+ ` verificationState: ${proof.verificationState}`,
153
+ ` correctnessStatus: ${proof.correctnessStatus}`,
154
+ ].join("\n"));
155
+ return EXIT_CODES.SUCCESS;
156
+ }
157
+ catch (error) {
158
+ const message = error instanceof Error ? error.message : String(error);
159
+ process.stderr.write(`Error: ${message}\n`);
160
+ return EXIT_CODES.INTERNAL_ERROR;
161
+ }
162
+ }
163
+ export async function runProofInspectCommand(options) {
164
+ const result = await inspectProof(options.root, options.id);
165
+ if (!result.ok || !result.proof) {
166
+ process.stderr.write(`Error: ${result.error ?? "proof not found"}\n`);
167
+ return EXIT_CODES.USAGE_ERROR;
168
+ }
169
+ emit(Boolean(options.json), result, [
170
+ `Proof ${result.proof.proofId}`,
171
+ ` changeId: ${result.proof.changeId}`,
172
+ ` integrityStatus: ${result.proof.integrityStatus}`,
173
+ ` engineeringChecksStatus: ${result.proof.engineeringChecksStatus}`,
174
+ ` verificationState: ${result.proof.verificationState}`,
175
+ ` correctnessStatus: ${result.proof.correctnessStatus}`,
176
+ ` path: ${result.path}`,
177
+ ].join("\n"));
178
+ return EXIT_CODES.SUCCESS;
179
+ }
180
+ export async function runProofExplainCommand(options) {
181
+ const result = await inspectProof(options.root, options.id);
182
+ if (!result.ok || !result.proof) {
183
+ process.stderr.write(`Error: ${result.error ?? "proof not found"}\n`);
184
+ return EXIT_CODES.USAGE_ERROR;
185
+ }
186
+ const text = explainProof(result.proof);
187
+ emit(Boolean(options.json), { proof: result.proof, explanation: text }, text);
188
+ return EXIT_CODES.SUCCESS;
189
+ }
190
+ export async function runProofVerifyCommand(options) {
191
+ const result = await verifyProof(options.root, options.id);
192
+ emit(Boolean(options.json), result, [
193
+ `Proof verify ${options.id}`,
194
+ ` integrityStatus: ${result.integrityStatus}`,
195
+ ` engineeringChecksStatus: ${result.engineeringChecksStatus}`,
196
+ ` verificationState: ${result.verificationState}`,
197
+ ` correctnessStatus: ${result.correctnessStatus}`,
198
+ ...result.checked.map((c) => ` ${c.match ? "OK" : "FAIL"} ${c.name}`),
199
+ ].join("\n"));
200
+ return result.ok ? EXIT_CODES.SUCCESS : EXIT_CODES.ISSUES_OR_THRESHOLD;
201
+ }
202
+ export async function runProofExportCommand(options) {
203
+ const result = await exportProof(options.root, options.id, options.out);
204
+ if (!result.ok) {
205
+ process.stderr.write(`Error: ${result.error ?? "export failed"}\n`);
206
+ return EXIT_CODES.USAGE_ERROR;
207
+ }
208
+ emit(Boolean(options.json), result, `Exported proof to ${result.path}`);
209
+ return EXIT_CODES.SUCCESS;
210
+ }
@@ -183,11 +183,11 @@ export async function runV2SurfaceCommand(options) {
183
183
  return EXIT_CODES.SUCCESS;
184
184
  }
185
185
  case "impact": {
186
- const impact = await analyzeTestImpact(root);
186
+ const impact = await analyzeTestImpact({ root });
187
187
  if (options.json)
188
188
  printJson({ kind: "test-impact", contractsVersion: CONTRACTS_VERSION, impact });
189
189
  else
190
- process.stdout.write(`impact recommendedTests=${impact.recommendedTests.length}\n`);
190
+ process.stdout.write(`impact mode=${impact.mode} recommendedTests=${impact.recommendedTests.length}\n`);
191
191
  return EXIT_CODES.SUCCESS;
192
192
  }
193
193
  case "refactor-impact": {
@@ -12,4 +12,6 @@ export declare function runPlatformCommand(options: {
12
12
  actionType?: string;
13
13
  sessionId?: string;
14
14
  failClosed?: boolean;
15
+ coverage?: string;
16
+ since?: string;
15
17
  }): Promise<ExitCode>;
@@ -38,7 +38,11 @@ export async function runPlatformCommand(options) {
38
38
  return EXIT_CODES.SUCCESS;
39
39
  }
40
40
  case "test-impact": {
41
- const report = await analyzeTestImpact(root);
41
+ const report = await analyzeTestImpact({
42
+ root,
43
+ ...(options.coverage ? { coveragePath: options.coverage } : {}),
44
+ ...(options.since ? { since: options.since } : {}),
45
+ });
42
46
  const out = await persistTestImpactReport(root, report);
43
47
  if (options.json)
44
48
  printJson({ ...report, reportPath: out });
@@ -0,0 +1,40 @@
1
+ export declare function runGraphSurfaceCommand(options: {
2
+ action: "build" | "update" | "rebuild" | "status" | "show";
3
+ root: string;
4
+ mode?: string;
5
+ json?: boolean;
6
+ }): Promise<number>;
7
+ export declare function runPolicyCheckCommand(options: {
8
+ root: string;
9
+ command: string;
10
+ json?: boolean;
11
+ failClosed?: boolean;
12
+ }): Promise<number>;
13
+ export declare function runPolicyExplainCommand(options: {
14
+ root: string;
15
+ command: string;
16
+ json?: boolean;
17
+ failClosed?: boolean;
18
+ }): Promise<number>;
19
+ export declare function runPolicyEnforceCommand(options: {
20
+ root: string;
21
+ command: string;
22
+ execute?: boolean;
23
+ json?: boolean;
24
+ failClosed?: boolean;
25
+ }): Promise<number>;
26
+ export declare function runRunExplainCommand(options: {
27
+ root: string;
28
+ command: string;
29
+ json?: boolean;
30
+ failClosed?: boolean;
31
+ shell?: boolean;
32
+ }): Promise<number>;
33
+ export declare function runRunCommand(options: {
34
+ root: string;
35
+ argv: string[];
36
+ shell?: boolean;
37
+ timeoutMs?: number;
38
+ json?: boolean;
39
+ failClosed?: boolean;
40
+ }): Promise<number>;