@ipation/specbridge 2.2.0 → 2.4.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/CHANGELOG.md +60 -0
- package/README.md +2 -0
- package/dist/cli.js +409 -325
- package/dist/cli.js.map +1 -1
- package/dist/index.d.ts +147 -542
- package/dist/index.js +203 -108
- package/dist/index.js.map +1 -1
- package/package.json +14 -13
package/dist/index.d.ts
CHANGED
|
@@ -1,6 +1,7 @@
|
|
|
1
1
|
import { z } from 'zod';
|
|
2
2
|
import { SourceFile, Project } from 'ts-morph';
|
|
3
3
|
import { Document } from 'yaml';
|
|
4
|
+
import { Logger as Logger$1 } from 'pino';
|
|
4
5
|
import { Application } from 'express';
|
|
5
6
|
export { minimatch } from 'minimatch';
|
|
6
7
|
|
|
@@ -329,443 +330,174 @@ interface MigrationStep {
|
|
|
329
330
|
* Zod schemas for decision YAML validation
|
|
330
331
|
*/
|
|
331
332
|
|
|
332
|
-
declare const DecisionStatusSchema: z.ZodEnum<
|
|
333
|
-
|
|
334
|
-
|
|
335
|
-
|
|
333
|
+
declare const DecisionStatusSchema: z.ZodEnum<{
|
|
334
|
+
draft: "draft";
|
|
335
|
+
active: "active";
|
|
336
|
+
deprecated: "deprecated";
|
|
337
|
+
superseded: "superseded";
|
|
338
|
+
}>;
|
|
339
|
+
declare const ConstraintTypeSchema: z.ZodEnum<{
|
|
340
|
+
invariant: "invariant";
|
|
341
|
+
convention: "convention";
|
|
342
|
+
guideline: "guideline";
|
|
343
|
+
}>;
|
|
344
|
+
declare const SeveritySchema: z.ZodEnum<{
|
|
345
|
+
critical: "critical";
|
|
346
|
+
high: "high";
|
|
347
|
+
medium: "medium";
|
|
348
|
+
low: "low";
|
|
349
|
+
}>;
|
|
350
|
+
declare const VerificationFrequencySchema: z.ZodEnum<{
|
|
351
|
+
commit: "commit";
|
|
352
|
+
pr: "pr";
|
|
353
|
+
daily: "daily";
|
|
354
|
+
weekly: "weekly";
|
|
355
|
+
}>;
|
|
336
356
|
declare const DecisionMetadataSchema: z.ZodObject<{
|
|
337
357
|
id: z.ZodString;
|
|
338
358
|
title: z.ZodString;
|
|
339
|
-
status: z.ZodEnum<
|
|
340
|
-
|
|
359
|
+
status: z.ZodEnum<{
|
|
360
|
+
draft: "draft";
|
|
361
|
+
active: "active";
|
|
362
|
+
deprecated: "deprecated";
|
|
363
|
+
superseded: "superseded";
|
|
364
|
+
}>;
|
|
365
|
+
owners: z.ZodArray<z.ZodString>;
|
|
341
366
|
createdAt: z.ZodOptional<z.ZodString>;
|
|
342
367
|
updatedAt: z.ZodOptional<z.ZodString>;
|
|
343
368
|
supersededBy: z.ZodOptional<z.ZodString>;
|
|
344
|
-
tags: z.ZodOptional<z.ZodArray<z.ZodString
|
|
345
|
-
},
|
|
346
|
-
id: string;
|
|
347
|
-
title: string;
|
|
348
|
-
status: "draft" | "active" | "deprecated" | "superseded";
|
|
349
|
-
owners: string[];
|
|
350
|
-
createdAt?: string | undefined;
|
|
351
|
-
updatedAt?: string | undefined;
|
|
352
|
-
supersededBy?: string | undefined;
|
|
353
|
-
tags?: string[] | undefined;
|
|
354
|
-
}, {
|
|
355
|
-
id: string;
|
|
356
|
-
title: string;
|
|
357
|
-
status: "draft" | "active" | "deprecated" | "superseded";
|
|
358
|
-
owners: string[];
|
|
359
|
-
createdAt?: string | undefined;
|
|
360
|
-
updatedAt?: string | undefined;
|
|
361
|
-
supersededBy?: string | undefined;
|
|
362
|
-
tags?: string[] | undefined;
|
|
363
|
-
}>;
|
|
369
|
+
tags: z.ZodOptional<z.ZodArray<z.ZodString>>;
|
|
370
|
+
}, z.core.$strip>;
|
|
364
371
|
declare const DecisionContentSchema: z.ZodObject<{
|
|
365
372
|
summary: z.ZodString;
|
|
366
373
|
rationale: z.ZodString;
|
|
367
374
|
context: z.ZodOptional<z.ZodString>;
|
|
368
|
-
consequences: z.ZodOptional<z.ZodArray<z.ZodString
|
|
369
|
-
},
|
|
370
|
-
summary: string;
|
|
371
|
-
rationale: string;
|
|
372
|
-
context?: string | undefined;
|
|
373
|
-
consequences?: string[] | undefined;
|
|
374
|
-
}, {
|
|
375
|
-
summary: string;
|
|
376
|
-
rationale: string;
|
|
377
|
-
context?: string | undefined;
|
|
378
|
-
consequences?: string[] | undefined;
|
|
379
|
-
}>;
|
|
375
|
+
consequences: z.ZodOptional<z.ZodArray<z.ZodString>>;
|
|
376
|
+
}, z.core.$strip>;
|
|
380
377
|
declare const ConstraintExceptionSchema: z.ZodObject<{
|
|
381
378
|
pattern: z.ZodString;
|
|
382
379
|
reason: z.ZodString;
|
|
383
380
|
approvedBy: z.ZodOptional<z.ZodString>;
|
|
384
381
|
expiresAt: z.ZodOptional<z.ZodString>;
|
|
385
|
-
},
|
|
386
|
-
pattern: string;
|
|
387
|
-
reason: string;
|
|
388
|
-
approvedBy?: string | undefined;
|
|
389
|
-
expiresAt?: string | undefined;
|
|
390
|
-
}, {
|
|
391
|
-
pattern: string;
|
|
392
|
-
reason: string;
|
|
393
|
-
approvedBy?: string | undefined;
|
|
394
|
-
expiresAt?: string | undefined;
|
|
395
|
-
}>;
|
|
382
|
+
}, z.core.$strip>;
|
|
396
383
|
declare const ConstraintCheckSchema: z.ZodObject<{
|
|
397
384
|
verifier: z.ZodString;
|
|
398
385
|
params: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
|
|
399
|
-
},
|
|
400
|
-
verifier: string;
|
|
401
|
-
params?: Record<string, unknown> | undefined;
|
|
402
|
-
}, {
|
|
403
|
-
verifier: string;
|
|
404
|
-
params?: Record<string, unknown> | undefined;
|
|
405
|
-
}>;
|
|
386
|
+
}, z.core.$strip>;
|
|
406
387
|
declare const ConstraintSchema: z.ZodObject<{
|
|
407
388
|
id: z.ZodString;
|
|
408
|
-
type: z.ZodEnum<
|
|
389
|
+
type: z.ZodEnum<{
|
|
390
|
+
invariant: "invariant";
|
|
391
|
+
convention: "convention";
|
|
392
|
+
guideline: "guideline";
|
|
393
|
+
}>;
|
|
409
394
|
rule: z.ZodString;
|
|
410
|
-
severity: z.ZodEnum<
|
|
395
|
+
severity: z.ZodEnum<{
|
|
396
|
+
critical: "critical";
|
|
397
|
+
high: "high";
|
|
398
|
+
medium: "medium";
|
|
399
|
+
low: "low";
|
|
400
|
+
}>;
|
|
411
401
|
scope: z.ZodString;
|
|
412
402
|
verifier: z.ZodOptional<z.ZodString>;
|
|
413
403
|
check: z.ZodOptional<z.ZodObject<{
|
|
414
404
|
verifier: z.ZodString;
|
|
415
405
|
params: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
|
|
416
|
-
},
|
|
417
|
-
verifier: string;
|
|
418
|
-
params?: Record<string, unknown> | undefined;
|
|
419
|
-
}, {
|
|
420
|
-
verifier: string;
|
|
421
|
-
params?: Record<string, unknown> | undefined;
|
|
422
|
-
}>>;
|
|
406
|
+
}, z.core.$strip>>;
|
|
423
407
|
autofix: z.ZodOptional<z.ZodBoolean>;
|
|
424
408
|
exceptions: z.ZodOptional<z.ZodArray<z.ZodObject<{
|
|
425
409
|
pattern: z.ZodString;
|
|
426
410
|
reason: z.ZodString;
|
|
427
411
|
approvedBy: z.ZodOptional<z.ZodString>;
|
|
428
412
|
expiresAt: z.ZodOptional<z.ZodString>;
|
|
429
|
-
},
|
|
430
|
-
|
|
431
|
-
reason: string;
|
|
432
|
-
approvedBy?: string | undefined;
|
|
433
|
-
expiresAt?: string | undefined;
|
|
434
|
-
}, {
|
|
435
|
-
pattern: string;
|
|
436
|
-
reason: string;
|
|
437
|
-
approvedBy?: string | undefined;
|
|
438
|
-
expiresAt?: string | undefined;
|
|
439
|
-
}>, "many">>;
|
|
440
|
-
}, "strip", z.ZodTypeAny, {
|
|
441
|
-
id: string;
|
|
442
|
-
type: "invariant" | "convention" | "guideline";
|
|
443
|
-
rule: string;
|
|
444
|
-
severity: "critical" | "high" | "medium" | "low";
|
|
445
|
-
scope: string;
|
|
446
|
-
verifier?: string | undefined;
|
|
447
|
-
check?: {
|
|
448
|
-
verifier: string;
|
|
449
|
-
params?: Record<string, unknown> | undefined;
|
|
450
|
-
} | undefined;
|
|
451
|
-
autofix?: boolean | undefined;
|
|
452
|
-
exceptions?: {
|
|
453
|
-
pattern: string;
|
|
454
|
-
reason: string;
|
|
455
|
-
approvedBy?: string | undefined;
|
|
456
|
-
expiresAt?: string | undefined;
|
|
457
|
-
}[] | undefined;
|
|
458
|
-
}, {
|
|
459
|
-
id: string;
|
|
460
|
-
type: "invariant" | "convention" | "guideline";
|
|
461
|
-
rule: string;
|
|
462
|
-
severity: "critical" | "high" | "medium" | "low";
|
|
463
|
-
scope: string;
|
|
464
|
-
verifier?: string | undefined;
|
|
465
|
-
check?: {
|
|
466
|
-
verifier: string;
|
|
467
|
-
params?: Record<string, unknown> | undefined;
|
|
468
|
-
} | undefined;
|
|
469
|
-
autofix?: boolean | undefined;
|
|
470
|
-
exceptions?: {
|
|
471
|
-
pattern: string;
|
|
472
|
-
reason: string;
|
|
473
|
-
approvedBy?: string | undefined;
|
|
474
|
-
expiresAt?: string | undefined;
|
|
475
|
-
}[] | undefined;
|
|
476
|
-
}>;
|
|
413
|
+
}, z.core.$strip>>>;
|
|
414
|
+
}, z.core.$strip>;
|
|
477
415
|
declare const VerificationConfigSchema: z.ZodObject<{
|
|
478
416
|
check: z.ZodString;
|
|
479
417
|
target: z.ZodString;
|
|
480
|
-
frequency: z.ZodEnum<
|
|
418
|
+
frequency: z.ZodEnum<{
|
|
419
|
+
commit: "commit";
|
|
420
|
+
pr: "pr";
|
|
421
|
+
daily: "daily";
|
|
422
|
+
weekly: "weekly";
|
|
423
|
+
}>;
|
|
481
424
|
timeout: z.ZodOptional<z.ZodNumber>;
|
|
482
|
-
},
|
|
483
|
-
check: string;
|
|
484
|
-
target: string;
|
|
485
|
-
frequency: "commit" | "pr" | "daily" | "weekly";
|
|
486
|
-
timeout?: number | undefined;
|
|
487
|
-
}, {
|
|
488
|
-
check: string;
|
|
489
|
-
target: string;
|
|
490
|
-
frequency: "commit" | "pr" | "daily" | "weekly";
|
|
491
|
-
timeout?: number | undefined;
|
|
492
|
-
}>;
|
|
425
|
+
}, z.core.$strip>;
|
|
493
426
|
declare const LinksSchema: z.ZodObject<{
|
|
494
|
-
related: z.ZodOptional<z.ZodArray<z.ZodString
|
|
495
|
-
supersedes: z.ZodOptional<z.ZodArray<z.ZodString
|
|
496
|
-
references: z.ZodOptional<z.ZodArray<z.ZodString
|
|
497
|
-
},
|
|
498
|
-
related?: string[] | undefined;
|
|
499
|
-
supersedes?: string[] | undefined;
|
|
500
|
-
references?: string[] | undefined;
|
|
501
|
-
}, {
|
|
502
|
-
related?: string[] | undefined;
|
|
503
|
-
supersedes?: string[] | undefined;
|
|
504
|
-
references?: string[] | undefined;
|
|
505
|
-
}>;
|
|
427
|
+
related: z.ZodOptional<z.ZodArray<z.ZodString>>;
|
|
428
|
+
supersedes: z.ZodOptional<z.ZodArray<z.ZodString>>;
|
|
429
|
+
references: z.ZodOptional<z.ZodArray<z.ZodString>>;
|
|
430
|
+
}, z.core.$strip>;
|
|
506
431
|
declare const DecisionSchema: z.ZodObject<{
|
|
507
432
|
kind: z.ZodLiteral<"Decision">;
|
|
508
433
|
metadata: z.ZodObject<{
|
|
509
434
|
id: z.ZodString;
|
|
510
435
|
title: z.ZodString;
|
|
511
|
-
status: z.ZodEnum<
|
|
512
|
-
|
|
436
|
+
status: z.ZodEnum<{
|
|
437
|
+
draft: "draft";
|
|
438
|
+
active: "active";
|
|
439
|
+
deprecated: "deprecated";
|
|
440
|
+
superseded: "superseded";
|
|
441
|
+
}>;
|
|
442
|
+
owners: z.ZodArray<z.ZodString>;
|
|
513
443
|
createdAt: z.ZodOptional<z.ZodString>;
|
|
514
444
|
updatedAt: z.ZodOptional<z.ZodString>;
|
|
515
445
|
supersededBy: z.ZodOptional<z.ZodString>;
|
|
516
|
-
tags: z.ZodOptional<z.ZodArray<z.ZodString
|
|
517
|
-
},
|
|
518
|
-
id: string;
|
|
519
|
-
title: string;
|
|
520
|
-
status: "draft" | "active" | "deprecated" | "superseded";
|
|
521
|
-
owners: string[];
|
|
522
|
-
createdAt?: string | undefined;
|
|
523
|
-
updatedAt?: string | undefined;
|
|
524
|
-
supersededBy?: string | undefined;
|
|
525
|
-
tags?: string[] | undefined;
|
|
526
|
-
}, {
|
|
527
|
-
id: string;
|
|
528
|
-
title: string;
|
|
529
|
-
status: "draft" | "active" | "deprecated" | "superseded";
|
|
530
|
-
owners: string[];
|
|
531
|
-
createdAt?: string | undefined;
|
|
532
|
-
updatedAt?: string | undefined;
|
|
533
|
-
supersededBy?: string | undefined;
|
|
534
|
-
tags?: string[] | undefined;
|
|
535
|
-
}>;
|
|
446
|
+
tags: z.ZodOptional<z.ZodArray<z.ZodString>>;
|
|
447
|
+
}, z.core.$strip>;
|
|
536
448
|
decision: z.ZodObject<{
|
|
537
449
|
summary: z.ZodString;
|
|
538
450
|
rationale: z.ZodString;
|
|
539
451
|
context: z.ZodOptional<z.ZodString>;
|
|
540
|
-
consequences: z.ZodOptional<z.ZodArray<z.ZodString
|
|
541
|
-
},
|
|
542
|
-
summary: string;
|
|
543
|
-
rationale: string;
|
|
544
|
-
context?: string | undefined;
|
|
545
|
-
consequences?: string[] | undefined;
|
|
546
|
-
}, {
|
|
547
|
-
summary: string;
|
|
548
|
-
rationale: string;
|
|
549
|
-
context?: string | undefined;
|
|
550
|
-
consequences?: string[] | undefined;
|
|
551
|
-
}>;
|
|
452
|
+
consequences: z.ZodOptional<z.ZodArray<z.ZodString>>;
|
|
453
|
+
}, z.core.$strip>;
|
|
552
454
|
constraints: z.ZodArray<z.ZodObject<{
|
|
553
455
|
id: z.ZodString;
|
|
554
|
-
type: z.ZodEnum<
|
|
456
|
+
type: z.ZodEnum<{
|
|
457
|
+
invariant: "invariant";
|
|
458
|
+
convention: "convention";
|
|
459
|
+
guideline: "guideline";
|
|
460
|
+
}>;
|
|
555
461
|
rule: z.ZodString;
|
|
556
|
-
severity: z.ZodEnum<
|
|
462
|
+
severity: z.ZodEnum<{
|
|
463
|
+
critical: "critical";
|
|
464
|
+
high: "high";
|
|
465
|
+
medium: "medium";
|
|
466
|
+
low: "low";
|
|
467
|
+
}>;
|
|
557
468
|
scope: z.ZodString;
|
|
558
469
|
verifier: z.ZodOptional<z.ZodString>;
|
|
559
470
|
check: z.ZodOptional<z.ZodObject<{
|
|
560
471
|
verifier: z.ZodString;
|
|
561
472
|
params: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
|
|
562
|
-
},
|
|
563
|
-
verifier: string;
|
|
564
|
-
params?: Record<string, unknown> | undefined;
|
|
565
|
-
}, {
|
|
566
|
-
verifier: string;
|
|
567
|
-
params?: Record<string, unknown> | undefined;
|
|
568
|
-
}>>;
|
|
473
|
+
}, z.core.$strip>>;
|
|
569
474
|
autofix: z.ZodOptional<z.ZodBoolean>;
|
|
570
475
|
exceptions: z.ZodOptional<z.ZodArray<z.ZodObject<{
|
|
571
476
|
pattern: z.ZodString;
|
|
572
477
|
reason: z.ZodString;
|
|
573
478
|
approvedBy: z.ZodOptional<z.ZodString>;
|
|
574
479
|
expiresAt: z.ZodOptional<z.ZodString>;
|
|
575
|
-
},
|
|
576
|
-
|
|
577
|
-
reason: string;
|
|
578
|
-
approvedBy?: string | undefined;
|
|
579
|
-
expiresAt?: string | undefined;
|
|
580
|
-
}, {
|
|
581
|
-
pattern: string;
|
|
582
|
-
reason: string;
|
|
583
|
-
approvedBy?: string | undefined;
|
|
584
|
-
expiresAt?: string | undefined;
|
|
585
|
-
}>, "many">>;
|
|
586
|
-
}, "strip", z.ZodTypeAny, {
|
|
587
|
-
id: string;
|
|
588
|
-
type: "invariant" | "convention" | "guideline";
|
|
589
|
-
rule: string;
|
|
590
|
-
severity: "critical" | "high" | "medium" | "low";
|
|
591
|
-
scope: string;
|
|
592
|
-
verifier?: string | undefined;
|
|
593
|
-
check?: {
|
|
594
|
-
verifier: string;
|
|
595
|
-
params?: Record<string, unknown> | undefined;
|
|
596
|
-
} | undefined;
|
|
597
|
-
autofix?: boolean | undefined;
|
|
598
|
-
exceptions?: {
|
|
599
|
-
pattern: string;
|
|
600
|
-
reason: string;
|
|
601
|
-
approvedBy?: string | undefined;
|
|
602
|
-
expiresAt?: string | undefined;
|
|
603
|
-
}[] | undefined;
|
|
604
|
-
}, {
|
|
605
|
-
id: string;
|
|
606
|
-
type: "invariant" | "convention" | "guideline";
|
|
607
|
-
rule: string;
|
|
608
|
-
severity: "critical" | "high" | "medium" | "low";
|
|
609
|
-
scope: string;
|
|
610
|
-
verifier?: string | undefined;
|
|
611
|
-
check?: {
|
|
612
|
-
verifier: string;
|
|
613
|
-
params?: Record<string, unknown> | undefined;
|
|
614
|
-
} | undefined;
|
|
615
|
-
autofix?: boolean | undefined;
|
|
616
|
-
exceptions?: {
|
|
617
|
-
pattern: string;
|
|
618
|
-
reason: string;
|
|
619
|
-
approvedBy?: string | undefined;
|
|
620
|
-
expiresAt?: string | undefined;
|
|
621
|
-
}[] | undefined;
|
|
622
|
-
}>, "many">;
|
|
480
|
+
}, z.core.$strip>>>;
|
|
481
|
+
}, z.core.$strip>>;
|
|
623
482
|
verification: z.ZodOptional<z.ZodObject<{
|
|
624
483
|
automated: z.ZodOptional<z.ZodArray<z.ZodObject<{
|
|
625
484
|
check: z.ZodString;
|
|
626
485
|
target: z.ZodString;
|
|
627
|
-
frequency: z.ZodEnum<
|
|
486
|
+
frequency: z.ZodEnum<{
|
|
487
|
+
commit: "commit";
|
|
488
|
+
pr: "pr";
|
|
489
|
+
daily: "daily";
|
|
490
|
+
weekly: "weekly";
|
|
491
|
+
}>;
|
|
628
492
|
timeout: z.ZodOptional<z.ZodNumber>;
|
|
629
|
-
},
|
|
630
|
-
|
|
631
|
-
target: string;
|
|
632
|
-
frequency: "commit" | "pr" | "daily" | "weekly";
|
|
633
|
-
timeout?: number | undefined;
|
|
634
|
-
}, {
|
|
635
|
-
check: string;
|
|
636
|
-
target: string;
|
|
637
|
-
frequency: "commit" | "pr" | "daily" | "weekly";
|
|
638
|
-
timeout?: number | undefined;
|
|
639
|
-
}>, "many">>;
|
|
640
|
-
}, "strip", z.ZodTypeAny, {
|
|
641
|
-
automated?: {
|
|
642
|
-
check: string;
|
|
643
|
-
target: string;
|
|
644
|
-
frequency: "commit" | "pr" | "daily" | "weekly";
|
|
645
|
-
timeout?: number | undefined;
|
|
646
|
-
}[] | undefined;
|
|
647
|
-
}, {
|
|
648
|
-
automated?: {
|
|
649
|
-
check: string;
|
|
650
|
-
target: string;
|
|
651
|
-
frequency: "commit" | "pr" | "daily" | "weekly";
|
|
652
|
-
timeout?: number | undefined;
|
|
653
|
-
}[] | undefined;
|
|
654
|
-
}>>;
|
|
493
|
+
}, z.core.$strip>>>;
|
|
494
|
+
}, z.core.$strip>>;
|
|
655
495
|
links: z.ZodOptional<z.ZodObject<{
|
|
656
|
-
related: z.ZodOptional<z.ZodArray<z.ZodString
|
|
657
|
-
supersedes: z.ZodOptional<z.ZodArray<z.ZodString
|
|
658
|
-
references: z.ZodOptional<z.ZodArray<z.ZodString
|
|
659
|
-
},
|
|
660
|
-
|
|
661
|
-
supersedes?: string[] | undefined;
|
|
662
|
-
references?: string[] | undefined;
|
|
663
|
-
}, {
|
|
664
|
-
related?: string[] | undefined;
|
|
665
|
-
supersedes?: string[] | undefined;
|
|
666
|
-
references?: string[] | undefined;
|
|
667
|
-
}>>;
|
|
668
|
-
}, "strip", z.ZodTypeAny, {
|
|
669
|
-
kind: "Decision";
|
|
670
|
-
metadata: {
|
|
671
|
-
id: string;
|
|
672
|
-
title: string;
|
|
673
|
-
status: "draft" | "active" | "deprecated" | "superseded";
|
|
674
|
-
owners: string[];
|
|
675
|
-
createdAt?: string | undefined;
|
|
676
|
-
updatedAt?: string | undefined;
|
|
677
|
-
supersededBy?: string | undefined;
|
|
678
|
-
tags?: string[] | undefined;
|
|
679
|
-
};
|
|
680
|
-
decision: {
|
|
681
|
-
summary: string;
|
|
682
|
-
rationale: string;
|
|
683
|
-
context?: string | undefined;
|
|
684
|
-
consequences?: string[] | undefined;
|
|
685
|
-
};
|
|
686
|
-
constraints: {
|
|
687
|
-
id: string;
|
|
688
|
-
type: "invariant" | "convention" | "guideline";
|
|
689
|
-
rule: string;
|
|
690
|
-
severity: "critical" | "high" | "medium" | "low";
|
|
691
|
-
scope: string;
|
|
692
|
-
verifier?: string | undefined;
|
|
693
|
-
check?: {
|
|
694
|
-
verifier: string;
|
|
695
|
-
params?: Record<string, unknown> | undefined;
|
|
696
|
-
} | undefined;
|
|
697
|
-
autofix?: boolean | undefined;
|
|
698
|
-
exceptions?: {
|
|
699
|
-
pattern: string;
|
|
700
|
-
reason: string;
|
|
701
|
-
approvedBy?: string | undefined;
|
|
702
|
-
expiresAt?: string | undefined;
|
|
703
|
-
}[] | undefined;
|
|
704
|
-
}[];
|
|
705
|
-
verification?: {
|
|
706
|
-
automated?: {
|
|
707
|
-
check: string;
|
|
708
|
-
target: string;
|
|
709
|
-
frequency: "commit" | "pr" | "daily" | "weekly";
|
|
710
|
-
timeout?: number | undefined;
|
|
711
|
-
}[] | undefined;
|
|
712
|
-
} | undefined;
|
|
713
|
-
links?: {
|
|
714
|
-
related?: string[] | undefined;
|
|
715
|
-
supersedes?: string[] | undefined;
|
|
716
|
-
references?: string[] | undefined;
|
|
717
|
-
} | undefined;
|
|
718
|
-
}, {
|
|
719
|
-
kind: "Decision";
|
|
720
|
-
metadata: {
|
|
721
|
-
id: string;
|
|
722
|
-
title: string;
|
|
723
|
-
status: "draft" | "active" | "deprecated" | "superseded";
|
|
724
|
-
owners: string[];
|
|
725
|
-
createdAt?: string | undefined;
|
|
726
|
-
updatedAt?: string | undefined;
|
|
727
|
-
supersededBy?: string | undefined;
|
|
728
|
-
tags?: string[] | undefined;
|
|
729
|
-
};
|
|
730
|
-
decision: {
|
|
731
|
-
summary: string;
|
|
732
|
-
rationale: string;
|
|
733
|
-
context?: string | undefined;
|
|
734
|
-
consequences?: string[] | undefined;
|
|
735
|
-
};
|
|
736
|
-
constraints: {
|
|
737
|
-
id: string;
|
|
738
|
-
type: "invariant" | "convention" | "guideline";
|
|
739
|
-
rule: string;
|
|
740
|
-
severity: "critical" | "high" | "medium" | "low";
|
|
741
|
-
scope: string;
|
|
742
|
-
verifier?: string | undefined;
|
|
743
|
-
check?: {
|
|
744
|
-
verifier: string;
|
|
745
|
-
params?: Record<string, unknown> | undefined;
|
|
746
|
-
} | undefined;
|
|
747
|
-
autofix?: boolean | undefined;
|
|
748
|
-
exceptions?: {
|
|
749
|
-
pattern: string;
|
|
750
|
-
reason: string;
|
|
751
|
-
approvedBy?: string | undefined;
|
|
752
|
-
expiresAt?: string | undefined;
|
|
753
|
-
}[] | undefined;
|
|
754
|
-
}[];
|
|
755
|
-
verification?: {
|
|
756
|
-
automated?: {
|
|
757
|
-
check: string;
|
|
758
|
-
target: string;
|
|
759
|
-
frequency: "commit" | "pr" | "daily" | "weekly";
|
|
760
|
-
timeout?: number | undefined;
|
|
761
|
-
}[] | undefined;
|
|
762
|
-
} | undefined;
|
|
763
|
-
links?: {
|
|
764
|
-
related?: string[] | undefined;
|
|
765
|
-
supersedes?: string[] | undefined;
|
|
766
|
-
references?: string[] | undefined;
|
|
767
|
-
} | undefined;
|
|
768
|
-
}>;
|
|
496
|
+
related: z.ZodOptional<z.ZodArray<z.ZodString>>;
|
|
497
|
+
supersedes: z.ZodOptional<z.ZodArray<z.ZodString>>;
|
|
498
|
+
references: z.ZodOptional<z.ZodArray<z.ZodString>>;
|
|
499
|
+
}, z.core.$strip>>;
|
|
500
|
+
}, z.core.$strip>;
|
|
769
501
|
type DecisionStatusSchema_ = z.infer<typeof DecisionStatusSchema>;
|
|
770
502
|
type ConstraintTypeSchema_ = z.infer<typeof ConstraintTypeSchema>;
|
|
771
503
|
type SeveritySchema_ = z.infer<typeof SeveritySchema>;
|
|
@@ -800,190 +532,53 @@ declare const SpecBridgeConfigSchema: z.ZodObject<{
|
|
|
800
532
|
version: z.ZodString;
|
|
801
533
|
project: z.ZodObject<{
|
|
802
534
|
name: z.ZodString;
|
|
803
|
-
sourceRoots: z.ZodArray<z.ZodString
|
|
804
|
-
exclude: z.ZodOptional<z.ZodArray<z.ZodString
|
|
805
|
-
},
|
|
806
|
-
name: string;
|
|
807
|
-
sourceRoots: string[];
|
|
808
|
-
exclude?: string[] | undefined;
|
|
809
|
-
}, {
|
|
810
|
-
name: string;
|
|
811
|
-
sourceRoots: string[];
|
|
812
|
-
exclude?: string[] | undefined;
|
|
813
|
-
}>;
|
|
535
|
+
sourceRoots: z.ZodArray<z.ZodString>;
|
|
536
|
+
exclude: z.ZodOptional<z.ZodArray<z.ZodString>>;
|
|
537
|
+
}, z.core.$strip>;
|
|
814
538
|
inference: z.ZodOptional<z.ZodObject<{
|
|
815
539
|
minConfidence: z.ZodOptional<z.ZodNumber>;
|
|
816
|
-
analyzers: z.ZodOptional<z.ZodArray<z.ZodString
|
|
817
|
-
},
|
|
818
|
-
minConfidence?: number | undefined;
|
|
819
|
-
analyzers?: string[] | undefined;
|
|
820
|
-
}, {
|
|
821
|
-
minConfidence?: number | undefined;
|
|
822
|
-
analyzers?: string[] | undefined;
|
|
823
|
-
}>>;
|
|
540
|
+
analyzers: z.ZodOptional<z.ZodArray<z.ZodString>>;
|
|
541
|
+
}, z.core.$strip>>;
|
|
824
542
|
verification: z.ZodOptional<z.ZodObject<{
|
|
825
543
|
levels: z.ZodOptional<z.ZodObject<{
|
|
826
544
|
commit: z.ZodOptional<z.ZodObject<{
|
|
827
545
|
timeout: z.ZodOptional<z.ZodNumber>;
|
|
828
|
-
severity: z.ZodOptional<z.ZodArray<z.ZodEnum<
|
|
829
|
-
|
|
830
|
-
|
|
831
|
-
|
|
832
|
-
|
|
833
|
-
|
|
834
|
-
|
|
835
|
-
}>>;
|
|
546
|
+
severity: z.ZodOptional<z.ZodArray<z.ZodEnum<{
|
|
547
|
+
critical: "critical";
|
|
548
|
+
high: "high";
|
|
549
|
+
medium: "medium";
|
|
550
|
+
low: "low";
|
|
551
|
+
}>>>;
|
|
552
|
+
}, z.core.$strip>>;
|
|
836
553
|
pr: z.ZodOptional<z.ZodObject<{
|
|
837
554
|
timeout: z.ZodOptional<z.ZodNumber>;
|
|
838
|
-
severity: z.ZodOptional<z.ZodArray<z.ZodEnum<
|
|
839
|
-
|
|
840
|
-
|
|
841
|
-
|
|
842
|
-
|
|
843
|
-
|
|
844
|
-
|
|
845
|
-
}>>;
|
|
555
|
+
severity: z.ZodOptional<z.ZodArray<z.ZodEnum<{
|
|
556
|
+
critical: "critical";
|
|
557
|
+
high: "high";
|
|
558
|
+
medium: "medium";
|
|
559
|
+
low: "low";
|
|
560
|
+
}>>>;
|
|
561
|
+
}, z.core.$strip>>;
|
|
846
562
|
full: z.ZodOptional<z.ZodObject<{
|
|
847
563
|
timeout: z.ZodOptional<z.ZodNumber>;
|
|
848
|
-
severity: z.ZodOptional<z.ZodArray<z.ZodEnum<
|
|
849
|
-
|
|
850
|
-
|
|
851
|
-
|
|
852
|
-
|
|
853
|
-
|
|
854
|
-
|
|
855
|
-
|
|
856
|
-
|
|
857
|
-
commit?: {
|
|
858
|
-
severity?: ("critical" | "high" | "medium" | "low")[] | undefined;
|
|
859
|
-
timeout?: number | undefined;
|
|
860
|
-
} | undefined;
|
|
861
|
-
pr?: {
|
|
862
|
-
severity?: ("critical" | "high" | "medium" | "low")[] | undefined;
|
|
863
|
-
timeout?: number | undefined;
|
|
864
|
-
} | undefined;
|
|
865
|
-
full?: {
|
|
866
|
-
severity?: ("critical" | "high" | "medium" | "low")[] | undefined;
|
|
867
|
-
timeout?: number | undefined;
|
|
868
|
-
} | undefined;
|
|
869
|
-
}, {
|
|
870
|
-
commit?: {
|
|
871
|
-
severity?: ("critical" | "high" | "medium" | "low")[] | undefined;
|
|
872
|
-
timeout?: number | undefined;
|
|
873
|
-
} | undefined;
|
|
874
|
-
pr?: {
|
|
875
|
-
severity?: ("critical" | "high" | "medium" | "low")[] | undefined;
|
|
876
|
-
timeout?: number | undefined;
|
|
877
|
-
} | undefined;
|
|
878
|
-
full?: {
|
|
879
|
-
severity?: ("critical" | "high" | "medium" | "low")[] | undefined;
|
|
880
|
-
timeout?: number | undefined;
|
|
881
|
-
} | undefined;
|
|
882
|
-
}>>;
|
|
883
|
-
}, "strip", z.ZodTypeAny, {
|
|
884
|
-
levels?: {
|
|
885
|
-
commit?: {
|
|
886
|
-
severity?: ("critical" | "high" | "medium" | "low")[] | undefined;
|
|
887
|
-
timeout?: number | undefined;
|
|
888
|
-
} | undefined;
|
|
889
|
-
pr?: {
|
|
890
|
-
severity?: ("critical" | "high" | "medium" | "low")[] | undefined;
|
|
891
|
-
timeout?: number | undefined;
|
|
892
|
-
} | undefined;
|
|
893
|
-
full?: {
|
|
894
|
-
severity?: ("critical" | "high" | "medium" | "low")[] | undefined;
|
|
895
|
-
timeout?: number | undefined;
|
|
896
|
-
} | undefined;
|
|
897
|
-
} | undefined;
|
|
898
|
-
}, {
|
|
899
|
-
levels?: {
|
|
900
|
-
commit?: {
|
|
901
|
-
severity?: ("critical" | "high" | "medium" | "low")[] | undefined;
|
|
902
|
-
timeout?: number | undefined;
|
|
903
|
-
} | undefined;
|
|
904
|
-
pr?: {
|
|
905
|
-
severity?: ("critical" | "high" | "medium" | "low")[] | undefined;
|
|
906
|
-
timeout?: number | undefined;
|
|
907
|
-
} | undefined;
|
|
908
|
-
full?: {
|
|
909
|
-
severity?: ("critical" | "high" | "medium" | "low")[] | undefined;
|
|
910
|
-
timeout?: number | undefined;
|
|
911
|
-
} | undefined;
|
|
912
|
-
} | undefined;
|
|
913
|
-
}>>;
|
|
564
|
+
severity: z.ZodOptional<z.ZodArray<z.ZodEnum<{
|
|
565
|
+
critical: "critical";
|
|
566
|
+
high: "high";
|
|
567
|
+
medium: "medium";
|
|
568
|
+
low: "low";
|
|
569
|
+
}>>>;
|
|
570
|
+
}, z.core.$strip>>;
|
|
571
|
+
}, z.core.$strip>>;
|
|
572
|
+
}, z.core.$strip>>;
|
|
914
573
|
agent: z.ZodOptional<z.ZodObject<{
|
|
915
|
-
format: z.ZodOptional<z.ZodEnum<
|
|
574
|
+
format: z.ZodOptional<z.ZodEnum<{
|
|
575
|
+
markdown: "markdown";
|
|
576
|
+
json: "json";
|
|
577
|
+
mcp: "mcp";
|
|
578
|
+
}>>;
|
|
916
579
|
includeRationale: z.ZodOptional<z.ZodBoolean>;
|
|
917
|
-
},
|
|
918
|
-
|
|
919
|
-
includeRationale?: boolean | undefined;
|
|
920
|
-
}, {
|
|
921
|
-
format?: "markdown" | "json" | "mcp" | undefined;
|
|
922
|
-
includeRationale?: boolean | undefined;
|
|
923
|
-
}>>;
|
|
924
|
-
}, "strip", z.ZodTypeAny, {
|
|
925
|
-
version: string;
|
|
926
|
-
project: {
|
|
927
|
-
name: string;
|
|
928
|
-
sourceRoots: string[];
|
|
929
|
-
exclude?: string[] | undefined;
|
|
930
|
-
};
|
|
931
|
-
verification?: {
|
|
932
|
-
levels?: {
|
|
933
|
-
commit?: {
|
|
934
|
-
severity?: ("critical" | "high" | "medium" | "low")[] | undefined;
|
|
935
|
-
timeout?: number | undefined;
|
|
936
|
-
} | undefined;
|
|
937
|
-
pr?: {
|
|
938
|
-
severity?: ("critical" | "high" | "medium" | "low")[] | undefined;
|
|
939
|
-
timeout?: number | undefined;
|
|
940
|
-
} | undefined;
|
|
941
|
-
full?: {
|
|
942
|
-
severity?: ("critical" | "high" | "medium" | "low")[] | undefined;
|
|
943
|
-
timeout?: number | undefined;
|
|
944
|
-
} | undefined;
|
|
945
|
-
} | undefined;
|
|
946
|
-
} | undefined;
|
|
947
|
-
inference?: {
|
|
948
|
-
minConfidence?: number | undefined;
|
|
949
|
-
analyzers?: string[] | undefined;
|
|
950
|
-
} | undefined;
|
|
951
|
-
agent?: {
|
|
952
|
-
format?: "markdown" | "json" | "mcp" | undefined;
|
|
953
|
-
includeRationale?: boolean | undefined;
|
|
954
|
-
} | undefined;
|
|
955
|
-
}, {
|
|
956
|
-
version: string;
|
|
957
|
-
project: {
|
|
958
|
-
name: string;
|
|
959
|
-
sourceRoots: string[];
|
|
960
|
-
exclude?: string[] | undefined;
|
|
961
|
-
};
|
|
962
|
-
verification?: {
|
|
963
|
-
levels?: {
|
|
964
|
-
commit?: {
|
|
965
|
-
severity?: ("critical" | "high" | "medium" | "low")[] | undefined;
|
|
966
|
-
timeout?: number | undefined;
|
|
967
|
-
} | undefined;
|
|
968
|
-
pr?: {
|
|
969
|
-
severity?: ("critical" | "high" | "medium" | "low")[] | undefined;
|
|
970
|
-
timeout?: number | undefined;
|
|
971
|
-
} | undefined;
|
|
972
|
-
full?: {
|
|
973
|
-
severity?: ("critical" | "high" | "medium" | "low")[] | undefined;
|
|
974
|
-
timeout?: number | undefined;
|
|
975
|
-
} | undefined;
|
|
976
|
-
} | undefined;
|
|
977
|
-
} | undefined;
|
|
978
|
-
inference?: {
|
|
979
|
-
minConfidence?: number | undefined;
|
|
980
|
-
analyzers?: string[] | undefined;
|
|
981
|
-
} | undefined;
|
|
982
|
-
agent?: {
|
|
983
|
-
format?: "markdown" | "json" | "mcp" | undefined;
|
|
984
|
-
includeRationale?: boolean | undefined;
|
|
985
|
-
} | undefined;
|
|
986
|
-
}>;
|
|
580
|
+
}, z.core.$strip>>;
|
|
581
|
+
}, z.core.$strip>;
|
|
987
582
|
type SpecBridgeConfigType = z.infer<typeof SpecBridgeConfigSchema>;
|
|
988
583
|
/**
|
|
989
584
|
* Validate configuration
|
|
@@ -1533,6 +1128,7 @@ declare class VerificationEngine {
|
|
|
1533
1128
|
private astCache;
|
|
1534
1129
|
private resultsCache;
|
|
1535
1130
|
private pluginsLoaded;
|
|
1131
|
+
private logger;
|
|
1536
1132
|
constructor(registry?: Registry);
|
|
1537
1133
|
/**
|
|
1538
1134
|
* Run verification
|
|
@@ -1823,10 +1419,13 @@ interface DependencyGraph {
|
|
|
1823
1419
|
decisionToFiles: Map<string, Set<string>>;
|
|
1824
1420
|
fileToDecisions: Map<string, Set<string>>;
|
|
1825
1421
|
}
|
|
1422
|
+
interface BuildDependencyGraphOptions {
|
|
1423
|
+
cwd?: string;
|
|
1424
|
+
}
|
|
1826
1425
|
/**
|
|
1827
1426
|
* Build dependency graph from decisions and file list
|
|
1828
1427
|
*/
|
|
1829
|
-
declare function buildDependencyGraph(decisions: Decision[], files: string[]): Promise<DependencyGraph>;
|
|
1428
|
+
declare function buildDependencyGraph(decisions: Decision[], files: string[], options?: BuildDependencyGraphOptions): Promise<DependencyGraph>;
|
|
1830
1429
|
/**
|
|
1831
1430
|
* Get files affected by a decision
|
|
1832
1431
|
*/
|
|
@@ -1959,6 +1558,7 @@ interface StoredReport {
|
|
|
1959
1558
|
*/
|
|
1960
1559
|
declare class ReportStorage {
|
|
1961
1560
|
private storageDir;
|
|
1561
|
+
private logger;
|
|
1962
1562
|
constructor(basePath: string);
|
|
1963
1563
|
/**
|
|
1964
1564
|
* Save a compliance report to storage
|
|
@@ -2253,6 +1853,10 @@ declare function matchesAnyPattern(filePath: string, patterns: string[], options
|
|
|
2253
1853
|
cwd?: string;
|
|
2254
1854
|
}): boolean;
|
|
2255
1855
|
|
|
1856
|
+
type Logger = Pick<Logger$1, 'debug' | 'info' | 'warn' | 'error' | 'child'>;
|
|
1857
|
+
declare function getLogger(bindings?: Record<string, unknown>): Logger;
|
|
1858
|
+
declare const logger: Logger;
|
|
1859
|
+
|
|
2256
1860
|
/**
|
|
2257
1861
|
* Analytics engine - Provide insights into compliance trends and decision impact
|
|
2258
1862
|
*/
|
|
@@ -2338,6 +1942,7 @@ declare class DashboardServer {
|
|
|
2338
1942
|
private cacheTimestamp;
|
|
2339
1943
|
private readonly CACHE_TTL;
|
|
2340
1944
|
private refreshInterval;
|
|
1945
|
+
private logger;
|
|
2341
1946
|
constructor(options: DashboardOptions);
|
|
2342
1947
|
/**
|
|
2343
1948
|
* Start the server with background cache refresh
|
|
@@ -2409,4 +2014,4 @@ interface GitHubPrCommentOptions {
|
|
|
2409
2014
|
declare function formatViolationsForGitHub(violations: Violation[], limit?: number): string;
|
|
2410
2015
|
declare function postPrComment(violations: Violation[], options: GitHubPrCommentOptions): Promise<void>;
|
|
2411
2016
|
|
|
2412
|
-
export { type AffectedFile, type AgentContext, AgentContextGenerator, AlreadyInitializedError, AnalyticsEngine, type AnalyticsSummary, type Analyzer, AnalyzerNotFoundError, ApiVerifier, type ApplicableConstraint, type ApplicableDecision, AstCache, AutofixEngine, type AutofixPatch, type AutofixResult, CodeScanner, ComplexityVerifier, type ComplianceReport, ConfigError, type Constraint, type ConstraintCheck, ConstraintCheckSchema, type ConstraintCheckSchema_, type ConstraintException, ConstraintExceptionSchema, type ConstraintExceptionSchema_, ConstraintSchema, type ConstraintSchema_, type ConstraintType, ConstraintTypeSchema, type ConstraintTypeSchema_, type ContextOptions, DashboardServer, type Decision, type DecisionCompliance, type DecisionContent, DecisionContentSchema, type DecisionContentSchema_, type DecisionFilter, type DecisionMetadata, DecisionMetadataSchema, type DecisionMetadataSchema_, type DecisionMetrics, DecisionNotFoundError, DecisionSchema, type DecisionStatus, DecisionStatusSchema, type DecisionStatusSchema_, type DecisionTypeSchema, DecisionValidationError, type DependencyGraph, DependencyVerifier, type DriftAnalysis, ErrorsAnalyzer, ErrorsVerifier, FileSystemError, type GitHubPrCommentOptions, type GlobOptions, type GraphNode, HookError, type ImpactAnalysis, ImportsAnalyzer, ImportsVerifier, InferenceEngine, InferenceError, type InferenceOptions, type InferenceResult, type Insight, type LevelConfig, LinksSchema, type LoadError, type LoadResult, type LoadedDecision, type McpServerOptions, type MigrationStep, NamingAnalyzer, NamingVerifier, NotInitializedError, type OverallDrift, type Pattern, type PatternExample, type PromptTemplate, PropagationEngine, type PropagationOptions, RegexVerifier, Registry, type RegistryConstraintMatch, RegistryError, type RegistryOptions, type ReportOptions, ReportStorage, Reporter, type ReporterResult, type ScanOptions, type ScanResult, type ScannedFile, SecurityVerifier, type Severity, SeveritySchema, type SeveritySchema_, type SpecBridgeConfig, SpecBridgeConfigSchema, type SpecBridgeConfigType, SpecBridgeError, SpecBridgeMcpServer, type StoredReport, StructureAnalyzer, type TextEdit, type TrendAnalysis, type TrendData, type TrendDirection, type VerificationConfig, VerificationConfigSchema, type VerificationConfigSchema_, type VerificationContext, VerificationEngine, VerificationError, type VerificationFrequency, VerificationFrequencySchema, type VerificationFrequencySchema_, type VerificationIssue, type VerificationLevel, type VerificationOptions, type VerificationResult, type VerificationWarning, type Verifier, VerifierNotFoundError, type VerifierPlugin, type VerifierPluginMetadata, type Violation, type ViolationFix, analyzeTrend, buildDependencyGraph, builtinAnalyzers, builtinVerifiers, calculateConfidence, checkDegradation, clearVerifierPool, createDashboardServer, createInferenceEngine, createPattern, createPropagationEngine, createRegistry, createScannerFromConfig, createVerificationEngine, createViolation, defaultConfig, defineVerifierPlugin, detectDrift, ensureDir, extractSnippet, formatConsoleReport, formatContextAsJson, formatContextAsMarkdown, formatContextAsMcp, formatError, formatMarkdownReport, formatValidationErrors, formatViolationsForGitHub, generateContext, generateFormattedContext, generateReport, getAffectedFiles, getAffectingDecisions, getAnalyzer, getAnalyzerIds, getChangedFiles, getConfigPath, getDecisionsDir, getInferredDir, getReportsDir, getSpecBridgeDir, getTransitiveDependencies, getVerifier, getVerifierIds, getVerifiersDir, glob, isConstraintExcepted, isDirectory, loadConfig, loadDecisionFile, loadDecisionsFromDir, matchesAnyPattern, matchesPattern, mergeWithDefaults, normalizePath, parseYaml, parseYamlDocument, pathExists, postPrComment, readFilesInDir, readTextFile, runInference, selectVerifierForConstraint, shouldApplyConstraintToFile, startLspServer, stringifyYaml, templates, updateYamlDocument, validateConfig, validateDecision, validateDecisionFile, writeTextFile };
|
|
2017
|
+
export { type AffectedFile, type AgentContext, AgentContextGenerator, AlreadyInitializedError, AnalyticsEngine, type AnalyticsSummary, type Analyzer, AnalyzerNotFoundError, ApiVerifier, type ApplicableConstraint, type ApplicableDecision, AstCache, AutofixEngine, type AutofixPatch, type AutofixResult, type BuildDependencyGraphOptions, CodeScanner, ComplexityVerifier, type ComplianceReport, ConfigError, type Constraint, type ConstraintCheck, ConstraintCheckSchema, type ConstraintCheckSchema_, type ConstraintException, ConstraintExceptionSchema, type ConstraintExceptionSchema_, ConstraintSchema, type ConstraintSchema_, type ConstraintType, ConstraintTypeSchema, type ConstraintTypeSchema_, type ContextOptions, DashboardServer, type Decision, type DecisionCompliance, type DecisionContent, DecisionContentSchema, type DecisionContentSchema_, type DecisionFilter, type DecisionMetadata, DecisionMetadataSchema, type DecisionMetadataSchema_, type DecisionMetrics, DecisionNotFoundError, DecisionSchema, type DecisionStatus, DecisionStatusSchema, type DecisionStatusSchema_, type DecisionTypeSchema, DecisionValidationError, type DependencyGraph, DependencyVerifier, type DriftAnalysis, ErrorsAnalyzer, ErrorsVerifier, FileSystemError, type GitHubPrCommentOptions, type GlobOptions, type GraphNode, HookError, type ImpactAnalysis, ImportsAnalyzer, ImportsVerifier, InferenceEngine, InferenceError, type InferenceOptions, type InferenceResult, type Insight, type LevelConfig, LinksSchema, type LoadError, type LoadResult, type LoadedDecision, type Logger, type McpServerOptions, type MigrationStep, NamingAnalyzer, NamingVerifier, NotInitializedError, type OverallDrift, type Pattern, type PatternExample, type PromptTemplate, PropagationEngine, type PropagationOptions, RegexVerifier, Registry, type RegistryConstraintMatch, RegistryError, type RegistryOptions, type ReportOptions, ReportStorage, Reporter, type ReporterResult, type ScanOptions, type ScanResult, type ScannedFile, SecurityVerifier, type Severity, SeveritySchema, type SeveritySchema_, type SpecBridgeConfig, SpecBridgeConfigSchema, type SpecBridgeConfigType, SpecBridgeError, SpecBridgeMcpServer, type StoredReport, StructureAnalyzer, type TextEdit, type TrendAnalysis, type TrendData, type TrendDirection, type VerificationConfig, VerificationConfigSchema, type VerificationConfigSchema_, type VerificationContext, VerificationEngine, VerificationError, type VerificationFrequency, VerificationFrequencySchema, type VerificationFrequencySchema_, type VerificationIssue, type VerificationLevel, type VerificationOptions, type VerificationResult, type VerificationWarning, type Verifier, VerifierNotFoundError, type VerifierPlugin, type VerifierPluginMetadata, type Violation, type ViolationFix, analyzeTrend, buildDependencyGraph, builtinAnalyzers, builtinVerifiers, calculateConfidence, checkDegradation, clearVerifierPool, createDashboardServer, createInferenceEngine, createPattern, createPropagationEngine, createRegistry, createScannerFromConfig, createVerificationEngine, createViolation, defaultConfig, defineVerifierPlugin, detectDrift, ensureDir, extractSnippet, formatConsoleReport, formatContextAsJson, formatContextAsMarkdown, formatContextAsMcp, formatError, formatMarkdownReport, formatValidationErrors, formatViolationsForGitHub, generateContext, generateFormattedContext, generateReport, getAffectedFiles, getAffectingDecisions, getAnalyzer, getAnalyzerIds, getChangedFiles, getConfigPath, getDecisionsDir, getInferredDir, getLogger, getReportsDir, getSpecBridgeDir, getTransitiveDependencies, getVerifier, getVerifierIds, getVerifiersDir, glob, isConstraintExcepted, isDirectory, loadConfig, loadDecisionFile, loadDecisionsFromDir, logger, matchesAnyPattern, matchesPattern, mergeWithDefaults, normalizePath, parseYaml, parseYamlDocument, pathExists, postPrComment, readFilesInDir, readTextFile, runInference, selectVerifierForConstraint, shouldApplyConstraintToFile, startLspServer, stringifyYaml, templates, updateYamlDocument, validateConfig, validateDecision, validateDecisionFile, writeTextFile };
|