audit-tools 0.50.19 → 0.50.21

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 (53) hide show
  1. package/dist/audit/cli/conceptualDispatch.d.ts.map +1 -1
  2. package/dist/audit/cli/conceptualDispatch.js +26 -1
  3. package/dist/audit/cli/conceptualDispatch.js.map +1 -1
  4. package/dist/audit/cli/confirmIntentStep.d.ts +8 -0
  5. package/dist/audit/cli/confirmIntentStep.d.ts.map +1 -1
  6. package/dist/audit/cli/confirmIntentStep.js +19 -2
  7. package/dist/audit/cli/confirmIntentStep.js.map +1 -1
  8. package/dist/audit/cli/laneValidators.d.ts.map +1 -1
  9. package/dist/audit/cli/laneValidators.js +9 -1
  10. package/dist/audit/cli/laneValidators.js.map +1 -1
  11. package/dist/audit/cli/nextStepCommand.d.ts.map +1 -1
  12. package/dist/audit/cli/nextStepCommand.js +31 -3
  13. package/dist/audit/cli/nextStepCommand.js.map +1 -1
  14. package/dist/audit/cli/nextStepHelpers.d.ts.map +1 -1
  15. package/dist/audit/cli/nextStepHelpers.js +63 -2
  16. package/dist/audit/cli/nextStepHelpers.js.map +1 -1
  17. package/dist/audit/cli/resynthesizeCommand.d.ts.map +1 -1
  18. package/dist/audit/cli/resynthesizeCommand.js +2 -0
  19. package/dist/audit/cli/resynthesizeCommand.js.map +1 -1
  20. package/dist/audit/cli/steps.d.ts +2 -2
  21. package/dist/audit/io/artifacts.d.ts +3 -0
  22. package/dist/audit/io/artifacts.d.ts.map +1 -1
  23. package/dist/audit/io/artifacts.js +1 -0
  24. package/dist/audit/io/artifacts.js.map +1 -1
  25. package/dist/audit/orchestrator/dependencyMap.d.ts +1 -0
  26. package/dist/audit/orchestrator/dependencyMap.d.ts.map +1 -1
  27. package/dist/audit/orchestrator/dependencyMap.js +3 -0
  28. package/dist/audit/orchestrator/dependencyMap.js.map +1 -1
  29. package/dist/audit/orchestrator/designReviewPrompt.d.ts +2 -1
  30. package/dist/audit/orchestrator/designReviewPrompt.d.ts.map +1 -1
  31. package/dist/audit/orchestrator/designReviewPrompt.js +5 -2
  32. package/dist/audit/orchestrator/designReviewPrompt.js.map +1 -1
  33. package/dist/audit/orchestrator/executors.d.ts.map +1 -1
  34. package/dist/audit/orchestrator/executors.js +5 -0
  35. package/dist/audit/orchestrator/executors.js.map +1 -1
  36. package/dist/audit/orchestrator/synthesisExecutors.d.ts.map +1 -1
  37. package/dist/audit/orchestrator/synthesisExecutors.js +27 -1
  38. package/dist/audit/orchestrator/synthesisExecutors.js.map +1 -1
  39. package/dist/audit/reporting/synthesis.d.ts +4 -0
  40. package/dist/audit/reporting/synthesis.d.ts.map +1 -1
  41. package/dist/audit/reporting/synthesis.js +229 -5
  42. package/dist/audit/reporting/synthesis.js.map +1 -1
  43. package/dist/audit/systemic/secondOrderAdversaryPrompt.d.ts +7 -11
  44. package/dist/audit/systemic/secondOrderAdversaryPrompt.d.ts.map +1 -1
  45. package/dist/audit/systemic/secondOrderAdversaryPrompt.js +135 -54
  46. package/dist/audit/systemic/secondOrderAdversaryPrompt.js.map +1 -1
  47. package/dist/audit/types/conceptualAdjudication.d.ts +665 -0
  48. package/dist/audit/types/conceptualAdjudication.d.ts.map +1 -0
  49. package/dist/audit/types/conceptualAdjudication.js +298 -0
  50. package/dist/audit/types/conceptualAdjudication.js.map +1 -0
  51. package/opencode.json +2 -2
  52. package/package.json +1 -1
  53. package/skills/audit-code/audit-code.prompt.md +11 -1
@@ -0,0 +1,665 @@
1
+ import { z } from "zod";
2
+ import type { Finding } from "../types.js";
3
+ export declare const ConceptualRoundContributorSchema: z.ZodObject<{
4
+ contributor_id: z.ZodString;
5
+ perspective: z.ZodString;
6
+ lane_id: z.ZodString;
7
+ prompt_path: z.ZodString;
8
+ result_path: z.ZodString;
9
+ }, "strict", z.ZodTypeAny, {
10
+ contributor_id: string;
11
+ perspective: string;
12
+ lane_id: string;
13
+ prompt_path: string;
14
+ result_path: string;
15
+ }, {
16
+ contributor_id: string;
17
+ perspective: string;
18
+ lane_id: string;
19
+ prompt_path: string;
20
+ result_path: string;
21
+ }>;
22
+ export declare const ConceptualReviewRoundManifestSchema: z.ZodObject<{
23
+ schema_version: z.ZodLiteral<1>;
24
+ mode: z.ZodLiteral<"deep">;
25
+ round_id: z.ZodString;
26
+ perspectives: z.ZodArray<z.ZodObject<{
27
+ contributor_id: z.ZodString;
28
+ perspective: z.ZodString;
29
+ lane_id: z.ZodString;
30
+ prompt_path: z.ZodString;
31
+ result_path: z.ZodString;
32
+ }, "strict", z.ZodTypeAny, {
33
+ contributor_id: string;
34
+ perspective: string;
35
+ lane_id: string;
36
+ prompt_path: string;
37
+ result_path: string;
38
+ }, {
39
+ contributor_id: string;
40
+ perspective: string;
41
+ lane_id: string;
42
+ prompt_path: string;
43
+ result_path: string;
44
+ }>, "many">;
45
+ judge: z.ZodObject<{
46
+ contributor_id: z.ZodString;
47
+ lane_id: z.ZodString;
48
+ prompt_path: z.ZodString;
49
+ result_path: z.ZodString;
50
+ }, "strict", z.ZodTypeAny, {
51
+ contributor_id: string;
52
+ lane_id: string;
53
+ prompt_path: string;
54
+ result_path: string;
55
+ }, {
56
+ contributor_id: string;
57
+ lane_id: string;
58
+ prompt_path: string;
59
+ result_path: string;
60
+ }>;
61
+ }, "strict", z.ZodTypeAny, {
62
+ schema_version: 1;
63
+ perspectives: {
64
+ contributor_id: string;
65
+ perspective: string;
66
+ lane_id: string;
67
+ prompt_path: string;
68
+ result_path: string;
69
+ }[];
70
+ judge: {
71
+ contributor_id: string;
72
+ lane_id: string;
73
+ prompt_path: string;
74
+ result_path: string;
75
+ };
76
+ mode: "deep";
77
+ round_id: string;
78
+ }, {
79
+ schema_version: 1;
80
+ perspectives: {
81
+ contributor_id: string;
82
+ perspective: string;
83
+ lane_id: string;
84
+ prompt_path: string;
85
+ result_path: string;
86
+ }[];
87
+ judge: {
88
+ contributor_id: string;
89
+ lane_id: string;
90
+ prompt_path: string;
91
+ result_path: string;
92
+ };
93
+ mode: "deep";
94
+ round_id: string;
95
+ }>;
96
+ export type ConceptualReviewRoundManifest = z.infer<typeof ConceptualReviewRoundManifestSchema>;
97
+ export declare const CONCEPTUAL_REVIEW_ROUND_FILENAME = "conceptual-review-round.json";
98
+ export declare function conceptualReviewRoundManifestPath(artifactsDir: string): string;
99
+ export declare function writeConceptualReviewRoundManifest(artifactsDir: string, manifest: ConceptualReviewRoundManifest): Promise<void>;
100
+ export declare function readConceptualReviewRoundManifest(artifactsDir: string): Promise<ConceptualReviewRoundManifest | undefined>;
101
+ export declare function clearConceptualReviewRoundManifest(artifactsDir: string): Promise<void>;
102
+ export declare const ConceptualCandidateDispositionSchema: z.ZodObject<{
103
+ candidate_id: z.ZodString;
104
+ contributor_id: z.ZodString;
105
+ source_finding_id: z.ZodString;
106
+ disposition: z.ZodEnum<["retained", "merged", "rejected"]>;
107
+ target_final_finding_ids: z.ZodArray<z.ZodString, "many">;
108
+ modification_percent: z.ZodNumber;
109
+ rationale: z.ZodString;
110
+ }, "strict", z.ZodTypeAny, {
111
+ rationale: string;
112
+ disposition: "rejected" | "retained" | "merged";
113
+ contributor_id: string;
114
+ candidate_id: string;
115
+ source_finding_id: string;
116
+ target_final_finding_ids: string[];
117
+ modification_percent: number;
118
+ }, {
119
+ rationale: string;
120
+ disposition: "rejected" | "retained" | "merged";
121
+ contributor_id: string;
122
+ candidate_id: string;
123
+ source_finding_id: string;
124
+ target_final_finding_ids: string[];
125
+ modification_percent: number;
126
+ }>;
127
+ export declare const ConceptualFinalFindingShareSchema: z.ZodObject<{
128
+ final_finding_id: z.ZodString;
129
+ contributors: z.ZodArray<z.ZodObject<{
130
+ contributor_id: z.ZodString;
131
+ source_candidate_ids: z.ZodArray<z.ZodString, "many">;
132
+ contribution_percent: z.ZodNumber;
133
+ rationale: z.ZodString;
134
+ }, "strict", z.ZodTypeAny, {
135
+ rationale: string;
136
+ contributor_id: string;
137
+ source_candidate_ids: string[];
138
+ contribution_percent: number;
139
+ }, {
140
+ rationale: string;
141
+ contributor_id: string;
142
+ source_candidate_ids: string[];
143
+ contribution_percent: number;
144
+ }>, "many">;
145
+ }, "strict", z.ZodTypeAny, {
146
+ final_finding_id: string;
147
+ contributors: {
148
+ rationale: string;
149
+ contributor_id: string;
150
+ source_candidate_ids: string[];
151
+ contribution_percent: number;
152
+ }[];
153
+ }, {
154
+ final_finding_id: string;
155
+ contributors: {
156
+ rationale: string;
157
+ contributor_id: string;
158
+ source_candidate_ids: string[];
159
+ contribution_percent: number;
160
+ }[];
161
+ }>;
162
+ export declare const ConceptualJudgeSubmissionSchema: z.ZodObject<{
163
+ round_id: z.ZodString;
164
+ findings: z.ZodArray<z.ZodObject<{
165
+ id: z.ZodString;
166
+ title: z.ZodString;
167
+ category: z.ZodString;
168
+ severity: z.ZodEnum<["critical", "high", "medium", "low", "info"]>;
169
+ confidence: z.ZodEnum<["high", "medium", "low"]>;
170
+ lens: z.ZodString;
171
+ summary: z.ZodString;
172
+ affected_files: z.ZodArray<z.ZodEffects<z.ZodObject<{
173
+ path: z.ZodString;
174
+ line_start: z.ZodOptional<z.ZodNumber>;
175
+ line_end: z.ZodOptional<z.ZodNumber>;
176
+ symbol: z.ZodOptional<z.ZodString>;
177
+ quoted_text: z.ZodOptional<z.ZodString>;
178
+ hash_at_plan_time: z.ZodOptional<z.ZodString>;
179
+ }, "strip", z.ZodTypeAny, {
180
+ path: string;
181
+ symbol?: string | undefined;
182
+ line_start?: number | undefined;
183
+ line_end?: number | undefined;
184
+ quoted_text?: string | undefined;
185
+ hash_at_plan_time?: string | undefined;
186
+ }, {
187
+ path: string;
188
+ symbol?: string | undefined;
189
+ line_start?: number | undefined;
190
+ line_end?: number | undefined;
191
+ quoted_text?: string | undefined;
192
+ hash_at_plan_time?: string | undefined;
193
+ }>, {
194
+ path: string;
195
+ symbol?: string | undefined;
196
+ line_start?: number | undefined;
197
+ line_end?: number | undefined;
198
+ quoted_text?: string | undefined;
199
+ hash_at_plan_time?: string | undefined;
200
+ }, {
201
+ path: string;
202
+ symbol?: string | undefined;
203
+ line_start?: number | undefined;
204
+ line_end?: number | undefined;
205
+ quoted_text?: string | undefined;
206
+ hash_at_plan_time?: string | undefined;
207
+ }>, "many">;
208
+ impact: z.ZodOptional<z.ZodString>;
209
+ likelihood: z.ZodOptional<z.ZodString>;
210
+ evidence: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
211
+ reproduction: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
212
+ systemic: z.ZodOptional<z.ZodBoolean>;
213
+ related_findings: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
214
+ theme_id: z.ZodOptional<z.ZodString>;
215
+ blast_radius: z.ZodOptional<z.ZodNumber>;
216
+ evidence_grounded: z.ZodOptional<z.ZodBoolean>;
217
+ grounding: z.ZodOptional<z.ZodObject<{
218
+ status: z.ZodEnum<["grounded", "ungrounded", "refuted"]>;
219
+ reason: z.ZodOptional<z.ZodString>;
220
+ }, "strip", z.ZodTypeAny, {
221
+ status: "grounded" | "ungrounded" | "refuted";
222
+ reason?: string | undefined;
223
+ }, {
224
+ status: "grounded" | "ungrounded" | "refuted";
225
+ reason?: string | undefined;
226
+ }>>;
227
+ executable_anchor: z.ZodOptional<z.ZodObject<{
228
+ command: z.ZodArray<z.ZodString, "many">;
229
+ confirm_if: z.ZodDiscriminatedUnion<"kind", [z.ZodObject<{
230
+ kind: z.ZodLiteral<"exit_zero">;
231
+ }, "strip", z.ZodTypeAny, {
232
+ kind: "exit_zero";
233
+ }, {
234
+ kind: "exit_zero";
235
+ }>, z.ZodObject<{
236
+ kind: z.ZodLiteral<"exit_nonzero">;
237
+ }, "strip", z.ZodTypeAny, {
238
+ kind: "exit_nonzero";
239
+ }, {
240
+ kind: "exit_nonzero";
241
+ }>, z.ZodObject<{
242
+ kind: z.ZodLiteral<"output_includes">;
243
+ text: z.ZodString;
244
+ }, "strip", z.ZodTypeAny, {
245
+ kind: "output_includes";
246
+ text: string;
247
+ }, {
248
+ kind: "output_includes";
249
+ text: string;
250
+ }>, z.ZodObject<{
251
+ kind: z.ZodLiteral<"output_excludes">;
252
+ text: z.ZodString;
253
+ }, "strip", z.ZodTypeAny, {
254
+ kind: "output_excludes";
255
+ text: string;
256
+ }, {
257
+ kind: "output_excludes";
258
+ text: string;
259
+ }>]>;
260
+ claim: z.ZodOptional<z.ZodString>;
261
+ }, "strip", z.ZodTypeAny, {
262
+ command: string[];
263
+ confirm_if: {
264
+ kind: "exit_zero";
265
+ } | {
266
+ kind: "exit_nonzero";
267
+ } | {
268
+ kind: "output_includes";
269
+ text: string;
270
+ } | {
271
+ kind: "output_excludes";
272
+ text: string;
273
+ };
274
+ claim?: string | undefined;
275
+ }, {
276
+ command: string[];
277
+ confirm_if: {
278
+ kind: "exit_zero";
279
+ } | {
280
+ kind: "exit_nonzero";
281
+ } | {
282
+ kind: "output_includes";
283
+ text: string;
284
+ } | {
285
+ kind: "output_excludes";
286
+ text: string;
287
+ };
288
+ claim?: string | undefined;
289
+ }>>;
290
+ contract_goal_id: z.ZodOptional<z.ZodString>;
291
+ contract_obligation_ids: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
292
+ verification_obligation_ids: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
293
+ targeted_commands: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
294
+ analyzer_provenance: z.ZodOptional<z.ZodObject<{
295
+ analyzer_id: z.ZodString;
296
+ rule: z.ZodOptional<z.ZodString>;
297
+ path: z.ZodString;
298
+ snippet_hash: z.ZodString;
299
+ }, "strict", z.ZodTypeAny, {
300
+ path: string;
301
+ analyzer_id: string;
302
+ snippet_hash: string;
303
+ rule?: string | undefined;
304
+ }, {
305
+ path: string;
306
+ analyzer_id: string;
307
+ snippet_hash: string;
308
+ rule?: string | undefined;
309
+ }>>;
310
+ }, "strip", z.ZodTypeAny, {
311
+ id: string;
312
+ confidence: "high" | "low" | "medium";
313
+ title: string;
314
+ category: string;
315
+ severity: "high" | "low" | "critical" | "medium" | "info";
316
+ lens: string;
317
+ summary: string;
318
+ affected_files: {
319
+ path: string;
320
+ symbol?: string | undefined;
321
+ line_start?: number | undefined;
322
+ line_end?: number | undefined;
323
+ quoted_text?: string | undefined;
324
+ hash_at_plan_time?: string | undefined;
325
+ }[];
326
+ impact?: string | undefined;
327
+ likelihood?: string | undefined;
328
+ evidence?: string[] | undefined;
329
+ reproduction?: string[] | undefined;
330
+ systemic?: boolean | undefined;
331
+ related_findings?: string[] | undefined;
332
+ theme_id?: string | undefined;
333
+ blast_radius?: number | undefined;
334
+ evidence_grounded?: boolean | undefined;
335
+ grounding?: {
336
+ status: "grounded" | "ungrounded" | "refuted";
337
+ reason?: string | undefined;
338
+ } | undefined;
339
+ executable_anchor?: {
340
+ command: string[];
341
+ confirm_if: {
342
+ kind: "exit_zero";
343
+ } | {
344
+ kind: "exit_nonzero";
345
+ } | {
346
+ kind: "output_includes";
347
+ text: string;
348
+ } | {
349
+ kind: "output_excludes";
350
+ text: string;
351
+ };
352
+ claim?: string | undefined;
353
+ } | undefined;
354
+ contract_goal_id?: string | undefined;
355
+ contract_obligation_ids?: string[] | undefined;
356
+ verification_obligation_ids?: string[] | undefined;
357
+ targeted_commands?: string[] | undefined;
358
+ analyzer_provenance?: {
359
+ path: string;
360
+ analyzer_id: string;
361
+ snippet_hash: string;
362
+ rule?: string | undefined;
363
+ } | undefined;
364
+ }, {
365
+ id: string;
366
+ confidence: "high" | "low" | "medium";
367
+ title: string;
368
+ category: string;
369
+ severity: "high" | "low" | "critical" | "medium" | "info";
370
+ lens: string;
371
+ summary: string;
372
+ affected_files: {
373
+ path: string;
374
+ symbol?: string | undefined;
375
+ line_start?: number | undefined;
376
+ line_end?: number | undefined;
377
+ quoted_text?: string | undefined;
378
+ hash_at_plan_time?: string | undefined;
379
+ }[];
380
+ impact?: string | undefined;
381
+ likelihood?: string | undefined;
382
+ evidence?: string[] | undefined;
383
+ reproduction?: string[] | undefined;
384
+ systemic?: boolean | undefined;
385
+ related_findings?: string[] | undefined;
386
+ theme_id?: string | undefined;
387
+ blast_radius?: number | undefined;
388
+ evidence_grounded?: boolean | undefined;
389
+ grounding?: {
390
+ status: "grounded" | "ungrounded" | "refuted";
391
+ reason?: string | undefined;
392
+ } | undefined;
393
+ executable_anchor?: {
394
+ command: string[];
395
+ confirm_if: {
396
+ kind: "exit_zero";
397
+ } | {
398
+ kind: "exit_nonzero";
399
+ } | {
400
+ kind: "output_includes";
401
+ text: string;
402
+ } | {
403
+ kind: "output_excludes";
404
+ text: string;
405
+ };
406
+ claim?: string | undefined;
407
+ } | undefined;
408
+ contract_goal_id?: string | undefined;
409
+ contract_obligation_ids?: string[] | undefined;
410
+ verification_obligation_ids?: string[] | undefined;
411
+ targeted_commands?: string[] | undefined;
412
+ analyzer_provenance?: {
413
+ path: string;
414
+ analyzer_id: string;
415
+ snippet_hash: string;
416
+ rule?: string | undefined;
417
+ } | undefined;
418
+ }>, "many">;
419
+ candidate_dispositions: z.ZodArray<z.ZodObject<{
420
+ candidate_id: z.ZodString;
421
+ contributor_id: z.ZodString;
422
+ source_finding_id: z.ZodString;
423
+ disposition: z.ZodEnum<["retained", "merged", "rejected"]>;
424
+ target_final_finding_ids: z.ZodArray<z.ZodString, "many">;
425
+ modification_percent: z.ZodNumber;
426
+ rationale: z.ZodString;
427
+ }, "strict", z.ZodTypeAny, {
428
+ rationale: string;
429
+ disposition: "rejected" | "retained" | "merged";
430
+ contributor_id: string;
431
+ candidate_id: string;
432
+ source_finding_id: string;
433
+ target_final_finding_ids: string[];
434
+ modification_percent: number;
435
+ }, {
436
+ rationale: string;
437
+ disposition: "rejected" | "retained" | "merged";
438
+ contributor_id: string;
439
+ candidate_id: string;
440
+ source_finding_id: string;
441
+ target_final_finding_ids: string[];
442
+ modification_percent: number;
443
+ }>, "many">;
444
+ final_finding_shares: z.ZodArray<z.ZodObject<{
445
+ final_finding_id: z.ZodString;
446
+ contributors: z.ZodArray<z.ZodObject<{
447
+ contributor_id: z.ZodString;
448
+ source_candidate_ids: z.ZodArray<z.ZodString, "many">;
449
+ contribution_percent: z.ZodNumber;
450
+ rationale: z.ZodString;
451
+ }, "strict", z.ZodTypeAny, {
452
+ rationale: string;
453
+ contributor_id: string;
454
+ source_candidate_ids: string[];
455
+ contribution_percent: number;
456
+ }, {
457
+ rationale: string;
458
+ contributor_id: string;
459
+ source_candidate_ids: string[];
460
+ contribution_percent: number;
461
+ }>, "many">;
462
+ }, "strict", z.ZodTypeAny, {
463
+ final_finding_id: string;
464
+ contributors: {
465
+ rationale: string;
466
+ contributor_id: string;
467
+ source_candidate_ids: string[];
468
+ contribution_percent: number;
469
+ }[];
470
+ }, {
471
+ final_finding_id: string;
472
+ contributors: {
473
+ rationale: string;
474
+ contributor_id: string;
475
+ source_candidate_ids: string[];
476
+ contribution_percent: number;
477
+ }[];
478
+ }>, "many">;
479
+ }, "strict", z.ZodTypeAny, {
480
+ findings: {
481
+ id: string;
482
+ confidence: "high" | "low" | "medium";
483
+ title: string;
484
+ category: string;
485
+ severity: "high" | "low" | "critical" | "medium" | "info";
486
+ lens: string;
487
+ summary: string;
488
+ affected_files: {
489
+ path: string;
490
+ symbol?: string | undefined;
491
+ line_start?: number | undefined;
492
+ line_end?: number | undefined;
493
+ quoted_text?: string | undefined;
494
+ hash_at_plan_time?: string | undefined;
495
+ }[];
496
+ impact?: string | undefined;
497
+ likelihood?: string | undefined;
498
+ evidence?: string[] | undefined;
499
+ reproduction?: string[] | undefined;
500
+ systemic?: boolean | undefined;
501
+ related_findings?: string[] | undefined;
502
+ theme_id?: string | undefined;
503
+ blast_radius?: number | undefined;
504
+ evidence_grounded?: boolean | undefined;
505
+ grounding?: {
506
+ status: "grounded" | "ungrounded" | "refuted";
507
+ reason?: string | undefined;
508
+ } | undefined;
509
+ executable_anchor?: {
510
+ command: string[];
511
+ confirm_if: {
512
+ kind: "exit_zero";
513
+ } | {
514
+ kind: "exit_nonzero";
515
+ } | {
516
+ kind: "output_includes";
517
+ text: string;
518
+ } | {
519
+ kind: "output_excludes";
520
+ text: string;
521
+ };
522
+ claim?: string | undefined;
523
+ } | undefined;
524
+ contract_goal_id?: string | undefined;
525
+ contract_obligation_ids?: string[] | undefined;
526
+ verification_obligation_ids?: string[] | undefined;
527
+ targeted_commands?: string[] | undefined;
528
+ analyzer_provenance?: {
529
+ path: string;
530
+ analyzer_id: string;
531
+ snippet_hash: string;
532
+ rule?: string | undefined;
533
+ } | undefined;
534
+ }[];
535
+ round_id: string;
536
+ candidate_dispositions: {
537
+ rationale: string;
538
+ disposition: "rejected" | "retained" | "merged";
539
+ contributor_id: string;
540
+ candidate_id: string;
541
+ source_finding_id: string;
542
+ target_final_finding_ids: string[];
543
+ modification_percent: number;
544
+ }[];
545
+ final_finding_shares: {
546
+ final_finding_id: string;
547
+ contributors: {
548
+ rationale: string;
549
+ contributor_id: string;
550
+ source_candidate_ids: string[];
551
+ contribution_percent: number;
552
+ }[];
553
+ }[];
554
+ }, {
555
+ findings: {
556
+ id: string;
557
+ confidence: "high" | "low" | "medium";
558
+ title: string;
559
+ category: string;
560
+ severity: "high" | "low" | "critical" | "medium" | "info";
561
+ lens: string;
562
+ summary: string;
563
+ affected_files: {
564
+ path: string;
565
+ symbol?: string | undefined;
566
+ line_start?: number | undefined;
567
+ line_end?: number | undefined;
568
+ quoted_text?: string | undefined;
569
+ hash_at_plan_time?: string | undefined;
570
+ }[];
571
+ impact?: string | undefined;
572
+ likelihood?: string | undefined;
573
+ evidence?: string[] | undefined;
574
+ reproduction?: string[] | undefined;
575
+ systemic?: boolean | undefined;
576
+ related_findings?: string[] | undefined;
577
+ theme_id?: string | undefined;
578
+ blast_radius?: number | undefined;
579
+ evidence_grounded?: boolean | undefined;
580
+ grounding?: {
581
+ status: "grounded" | "ungrounded" | "refuted";
582
+ reason?: string | undefined;
583
+ } | undefined;
584
+ executable_anchor?: {
585
+ command: string[];
586
+ confirm_if: {
587
+ kind: "exit_zero";
588
+ } | {
589
+ kind: "exit_nonzero";
590
+ } | {
591
+ kind: "output_includes";
592
+ text: string;
593
+ } | {
594
+ kind: "output_excludes";
595
+ text: string;
596
+ };
597
+ claim?: string | undefined;
598
+ } | undefined;
599
+ contract_goal_id?: string | undefined;
600
+ contract_obligation_ids?: string[] | undefined;
601
+ verification_obligation_ids?: string[] | undefined;
602
+ targeted_commands?: string[] | undefined;
603
+ analyzer_provenance?: {
604
+ path: string;
605
+ analyzer_id: string;
606
+ snippet_hash: string;
607
+ rule?: string | undefined;
608
+ } | undefined;
609
+ }[];
610
+ round_id: string;
611
+ candidate_dispositions: {
612
+ rationale: string;
613
+ disposition: "rejected" | "retained" | "merged";
614
+ contributor_id: string;
615
+ candidate_id: string;
616
+ source_finding_id: string;
617
+ target_final_finding_ids: string[];
618
+ modification_percent: number;
619
+ }[];
620
+ final_finding_shares: {
621
+ final_finding_id: string;
622
+ contributors: {
623
+ rationale: string;
624
+ contributor_id: string;
625
+ source_candidate_ids: string[];
626
+ contribution_percent: number;
627
+ }[];
628
+ }[];
629
+ }>;
630
+ export type ConceptualJudgeSubmission = z.infer<typeof ConceptualJudgeSubmissionSchema>;
631
+ export interface ConceptualReviewContributor {
632
+ contributor_id: string;
633
+ role: "perspective" | "judge";
634
+ perspective?: string;
635
+ lane_id: string;
636
+ prompt_path: string;
637
+ result_path: string;
638
+ }
639
+ export interface ConceptualReviewAdjudication {
640
+ schema_version: 1;
641
+ generated_at: string;
642
+ round_id: string;
643
+ contributors: ConceptualReviewContributor[];
644
+ candidate_dispositions: ConceptualJudgeSubmission["candidate_dispositions"];
645
+ final_finding_shares: ConceptualJudgeSubmission["final_finding_shares"];
646
+ }
647
+ export declare function conceptualCandidateId(contributorId: string, findingId: string): string;
648
+ /**
649
+ * Read exactly the perspective result paths named by the current-round
650
+ * manifest. No directory scan is permitted: old round files may remain for
651
+ * provenance, but they are never candidates in a later adjudication.
652
+ */
653
+ export declare function loadConceptualPerspectiveFindings(manifestInput: ConceptualReviewRoundManifest): Promise<Map<string, Finding[]>>;
654
+ /**
655
+ * Apply semantic invariants a schema alone cannot express. Percentages remain
656
+ * judge-authored estimates; tooling verifies references, completeness, and
657
+ * arithmetic rather than pretending to derive semantic credit mechanically.
658
+ */
659
+ export declare function buildConceptualReviewAdjudication(params: {
660
+ manifest: ConceptualReviewRoundManifest;
661
+ perspectiveFindings: ReadonlyMap<string, readonly Finding[]>;
662
+ submission: unknown;
663
+ generatedAt: string;
664
+ }): ConceptualReviewAdjudication;
665
+ //# sourceMappingURL=conceptualAdjudication.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"conceptualAdjudication.d.ts","sourceRoot":"","sources":["../../../src/audit/types/conceptualAdjudication.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAUxB,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,aAAa,CAAC;AAI3C,eAAO,MAAM,gCAAgC;;;;;;;;;;;;;;;;;;EAQlC,CAAC;AAEZ,eAAO,MAAM,mCAAmC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAerC,CAAC;AAEZ,MAAM,MAAM,6BAA6B,GAAG,CAAC,CAAC,KAAK,CACjD,OAAO,mCAAmC,CAC3C,CAAC;AAEF,eAAO,MAAM,gCAAgC,iCACb,CAAC;AAEjC,wBAAgB,iCAAiC,CAC/C,YAAY,EAAE,MAAM,GACnB,MAAM,CAER;AAED,wBAAsB,kCAAkC,CACtD,YAAY,EAAE,MAAM,EACpB,QAAQ,EAAE,6BAA6B,GACtC,OAAO,CAAC,IAAI,CAAC,CAKf;AAED,wBAAsB,iCAAiC,CACrD,YAAY,EAAE,MAAM,GACnB,OAAO,CAAC,6BAA6B,GAAG,SAAS,CAAC,CAOpD;AAED,wBAAsB,kCAAkC,CACtD,YAAY,EAAE,MAAM,GACnB,OAAO,CAAC,IAAI,CAAC,CAMf;AAED,eAAO,MAAM,oCAAoC;;;;;;;;;;;;;;;;;;;;;;;;EAUtC,CAAC;AAEZ,eAAO,MAAM,iCAAiC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAgBnC,CAAC;AAEZ,eAAO,MAAM,+BAA+B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAOjC,CAAC;AAEZ,MAAM,MAAM,yBAAyB,GAAG,CAAC,CAAC,KAAK,CAC7C,OAAO,+BAA+B,CACvC,CAAC;AAEF,MAAM,WAAW,2BAA2B;IAC1C,cAAc,EAAE,MAAM,CAAC;IACvB,IAAI,EAAE,aAAa,GAAG,OAAO,CAAC;IAC9B,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,OAAO,EAAE,MAAM,CAAC;IAChB,WAAW,EAAE,MAAM,CAAC;IACpB,WAAW,EAAE,MAAM,CAAC;CACrB;AAED,MAAM,WAAW,4BAA4B;IAC3C,cAAc,EAAE,CAAC,CAAC;IAClB,YAAY,EAAE,MAAM,CAAC;IACrB,QAAQ,EAAE,MAAM,CAAC;IACjB,YAAY,EAAE,2BAA2B,EAAE,CAAC;IAC5C,sBAAsB,EAAE,yBAAyB,CAAC,wBAAwB,CAAC,CAAC;IAC5E,oBAAoB,EAAE,yBAAyB,CAAC,sBAAsB,CAAC,CAAC;CACzE;AAED,wBAAgB,qBAAqB,CACnC,aAAa,EAAE,MAAM,EACrB,SAAS,EAAE,MAAM,GAChB,MAAM,CAER;AAmBD;;;;GAIG;AACH,wBAAsB,iCAAiC,CACrD,aAAa,EAAE,6BAA6B,GAC3C,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,OAAO,EAAE,CAAC,CAAC,CAcjC;AAMD;;;;GAIG;AACH,wBAAgB,iCAAiC,CAAC,MAAM,EAAE;IACxD,QAAQ,EAAE,6BAA6B,CAAC;IACxC,mBAAmB,EAAE,WAAW,CAAC,MAAM,EAAE,SAAS,OAAO,EAAE,CAAC,CAAC;IAC7D,UAAU,EAAE,OAAO,CAAC;IACpB,WAAW,EAAE,MAAM,CAAC;CACrB,GAAG,4BAA4B,CA6M/B"}