@ipation/specbridge 2.2.0 → 2.3.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 +32 -0
- package/dist/cli.js +75 -42
- package/dist/cli.js.map +1 -1
- package/dist/index.d.ts +139 -542
- package/dist/index.js +83 -44
- package/dist/index.js.map +1 -1
- package/package.json +12 -12
package/dist/index.d.ts
CHANGED
|
@@ -329,443 +329,174 @@ interface MigrationStep {
|
|
|
329
329
|
* Zod schemas for decision YAML validation
|
|
330
330
|
*/
|
|
331
331
|
|
|
332
|
-
declare const DecisionStatusSchema: z.ZodEnum<
|
|
333
|
-
|
|
334
|
-
|
|
335
|
-
|
|
332
|
+
declare const DecisionStatusSchema: z.ZodEnum<{
|
|
333
|
+
draft: "draft";
|
|
334
|
+
active: "active";
|
|
335
|
+
deprecated: "deprecated";
|
|
336
|
+
superseded: "superseded";
|
|
337
|
+
}>;
|
|
338
|
+
declare const ConstraintTypeSchema: z.ZodEnum<{
|
|
339
|
+
invariant: "invariant";
|
|
340
|
+
convention: "convention";
|
|
341
|
+
guideline: "guideline";
|
|
342
|
+
}>;
|
|
343
|
+
declare const SeveritySchema: z.ZodEnum<{
|
|
344
|
+
critical: "critical";
|
|
345
|
+
high: "high";
|
|
346
|
+
medium: "medium";
|
|
347
|
+
low: "low";
|
|
348
|
+
}>;
|
|
349
|
+
declare const VerificationFrequencySchema: z.ZodEnum<{
|
|
350
|
+
commit: "commit";
|
|
351
|
+
pr: "pr";
|
|
352
|
+
daily: "daily";
|
|
353
|
+
weekly: "weekly";
|
|
354
|
+
}>;
|
|
336
355
|
declare const DecisionMetadataSchema: z.ZodObject<{
|
|
337
356
|
id: z.ZodString;
|
|
338
357
|
title: z.ZodString;
|
|
339
|
-
status: z.ZodEnum<
|
|
340
|
-
|
|
358
|
+
status: z.ZodEnum<{
|
|
359
|
+
draft: "draft";
|
|
360
|
+
active: "active";
|
|
361
|
+
deprecated: "deprecated";
|
|
362
|
+
superseded: "superseded";
|
|
363
|
+
}>;
|
|
364
|
+
owners: z.ZodArray<z.ZodString>;
|
|
341
365
|
createdAt: z.ZodOptional<z.ZodString>;
|
|
342
366
|
updatedAt: z.ZodOptional<z.ZodString>;
|
|
343
367
|
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
|
-
}>;
|
|
368
|
+
tags: z.ZodOptional<z.ZodArray<z.ZodString>>;
|
|
369
|
+
}, z.core.$strip>;
|
|
364
370
|
declare const DecisionContentSchema: z.ZodObject<{
|
|
365
371
|
summary: z.ZodString;
|
|
366
372
|
rationale: z.ZodString;
|
|
367
373
|
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
|
-
}>;
|
|
374
|
+
consequences: z.ZodOptional<z.ZodArray<z.ZodString>>;
|
|
375
|
+
}, z.core.$strip>;
|
|
380
376
|
declare const ConstraintExceptionSchema: z.ZodObject<{
|
|
381
377
|
pattern: z.ZodString;
|
|
382
378
|
reason: z.ZodString;
|
|
383
379
|
approvedBy: z.ZodOptional<z.ZodString>;
|
|
384
380
|
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
|
-
}>;
|
|
381
|
+
}, z.core.$strip>;
|
|
396
382
|
declare const ConstraintCheckSchema: z.ZodObject<{
|
|
397
383
|
verifier: z.ZodString;
|
|
398
384
|
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
|
-
}>;
|
|
385
|
+
}, z.core.$strip>;
|
|
406
386
|
declare const ConstraintSchema: z.ZodObject<{
|
|
407
387
|
id: z.ZodString;
|
|
408
|
-
type: z.ZodEnum<
|
|
388
|
+
type: z.ZodEnum<{
|
|
389
|
+
invariant: "invariant";
|
|
390
|
+
convention: "convention";
|
|
391
|
+
guideline: "guideline";
|
|
392
|
+
}>;
|
|
409
393
|
rule: z.ZodString;
|
|
410
|
-
severity: z.ZodEnum<
|
|
394
|
+
severity: z.ZodEnum<{
|
|
395
|
+
critical: "critical";
|
|
396
|
+
high: "high";
|
|
397
|
+
medium: "medium";
|
|
398
|
+
low: "low";
|
|
399
|
+
}>;
|
|
411
400
|
scope: z.ZodString;
|
|
412
401
|
verifier: z.ZodOptional<z.ZodString>;
|
|
413
402
|
check: z.ZodOptional<z.ZodObject<{
|
|
414
403
|
verifier: z.ZodString;
|
|
415
404
|
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
|
-
}>>;
|
|
405
|
+
}, z.core.$strip>>;
|
|
423
406
|
autofix: z.ZodOptional<z.ZodBoolean>;
|
|
424
407
|
exceptions: z.ZodOptional<z.ZodArray<z.ZodObject<{
|
|
425
408
|
pattern: z.ZodString;
|
|
426
409
|
reason: z.ZodString;
|
|
427
410
|
approvedBy: z.ZodOptional<z.ZodString>;
|
|
428
411
|
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
|
-
}>;
|
|
412
|
+
}, z.core.$strip>>>;
|
|
413
|
+
}, z.core.$strip>;
|
|
477
414
|
declare const VerificationConfigSchema: z.ZodObject<{
|
|
478
415
|
check: z.ZodString;
|
|
479
416
|
target: z.ZodString;
|
|
480
|
-
frequency: z.ZodEnum<
|
|
417
|
+
frequency: z.ZodEnum<{
|
|
418
|
+
commit: "commit";
|
|
419
|
+
pr: "pr";
|
|
420
|
+
daily: "daily";
|
|
421
|
+
weekly: "weekly";
|
|
422
|
+
}>;
|
|
481
423
|
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
|
-
}>;
|
|
424
|
+
}, z.core.$strip>;
|
|
493
425
|
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
|
-
}>;
|
|
426
|
+
related: z.ZodOptional<z.ZodArray<z.ZodString>>;
|
|
427
|
+
supersedes: z.ZodOptional<z.ZodArray<z.ZodString>>;
|
|
428
|
+
references: z.ZodOptional<z.ZodArray<z.ZodString>>;
|
|
429
|
+
}, z.core.$strip>;
|
|
506
430
|
declare const DecisionSchema: z.ZodObject<{
|
|
507
431
|
kind: z.ZodLiteral<"Decision">;
|
|
508
432
|
metadata: z.ZodObject<{
|
|
509
433
|
id: z.ZodString;
|
|
510
434
|
title: z.ZodString;
|
|
511
|
-
status: z.ZodEnum<
|
|
512
|
-
|
|
435
|
+
status: z.ZodEnum<{
|
|
436
|
+
draft: "draft";
|
|
437
|
+
active: "active";
|
|
438
|
+
deprecated: "deprecated";
|
|
439
|
+
superseded: "superseded";
|
|
440
|
+
}>;
|
|
441
|
+
owners: z.ZodArray<z.ZodString>;
|
|
513
442
|
createdAt: z.ZodOptional<z.ZodString>;
|
|
514
443
|
updatedAt: z.ZodOptional<z.ZodString>;
|
|
515
444
|
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
|
-
}>;
|
|
445
|
+
tags: z.ZodOptional<z.ZodArray<z.ZodString>>;
|
|
446
|
+
}, z.core.$strip>;
|
|
536
447
|
decision: z.ZodObject<{
|
|
537
448
|
summary: z.ZodString;
|
|
538
449
|
rationale: z.ZodString;
|
|
539
450
|
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
|
-
}>;
|
|
451
|
+
consequences: z.ZodOptional<z.ZodArray<z.ZodString>>;
|
|
452
|
+
}, z.core.$strip>;
|
|
552
453
|
constraints: z.ZodArray<z.ZodObject<{
|
|
553
454
|
id: z.ZodString;
|
|
554
|
-
type: z.ZodEnum<
|
|
455
|
+
type: z.ZodEnum<{
|
|
456
|
+
invariant: "invariant";
|
|
457
|
+
convention: "convention";
|
|
458
|
+
guideline: "guideline";
|
|
459
|
+
}>;
|
|
555
460
|
rule: z.ZodString;
|
|
556
|
-
severity: z.ZodEnum<
|
|
461
|
+
severity: z.ZodEnum<{
|
|
462
|
+
critical: "critical";
|
|
463
|
+
high: "high";
|
|
464
|
+
medium: "medium";
|
|
465
|
+
low: "low";
|
|
466
|
+
}>;
|
|
557
467
|
scope: z.ZodString;
|
|
558
468
|
verifier: z.ZodOptional<z.ZodString>;
|
|
559
469
|
check: z.ZodOptional<z.ZodObject<{
|
|
560
470
|
verifier: z.ZodString;
|
|
561
471
|
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
|
-
}>>;
|
|
472
|
+
}, z.core.$strip>>;
|
|
569
473
|
autofix: z.ZodOptional<z.ZodBoolean>;
|
|
570
474
|
exceptions: z.ZodOptional<z.ZodArray<z.ZodObject<{
|
|
571
475
|
pattern: z.ZodString;
|
|
572
476
|
reason: z.ZodString;
|
|
573
477
|
approvedBy: z.ZodOptional<z.ZodString>;
|
|
574
478
|
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">;
|
|
479
|
+
}, z.core.$strip>>>;
|
|
480
|
+
}, z.core.$strip>>;
|
|
623
481
|
verification: z.ZodOptional<z.ZodObject<{
|
|
624
482
|
automated: z.ZodOptional<z.ZodArray<z.ZodObject<{
|
|
625
483
|
check: z.ZodString;
|
|
626
484
|
target: z.ZodString;
|
|
627
|
-
frequency: z.ZodEnum<
|
|
485
|
+
frequency: z.ZodEnum<{
|
|
486
|
+
commit: "commit";
|
|
487
|
+
pr: "pr";
|
|
488
|
+
daily: "daily";
|
|
489
|
+
weekly: "weekly";
|
|
490
|
+
}>;
|
|
628
491
|
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
|
-
}>>;
|
|
492
|
+
}, z.core.$strip>>>;
|
|
493
|
+
}, z.core.$strip>>;
|
|
655
494
|
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
|
-
}>;
|
|
495
|
+
related: z.ZodOptional<z.ZodArray<z.ZodString>>;
|
|
496
|
+
supersedes: z.ZodOptional<z.ZodArray<z.ZodString>>;
|
|
497
|
+
references: z.ZodOptional<z.ZodArray<z.ZodString>>;
|
|
498
|
+
}, z.core.$strip>>;
|
|
499
|
+
}, z.core.$strip>;
|
|
769
500
|
type DecisionStatusSchema_ = z.infer<typeof DecisionStatusSchema>;
|
|
770
501
|
type ConstraintTypeSchema_ = z.infer<typeof ConstraintTypeSchema>;
|
|
771
502
|
type SeveritySchema_ = z.infer<typeof SeveritySchema>;
|
|
@@ -800,190 +531,53 @@ declare const SpecBridgeConfigSchema: z.ZodObject<{
|
|
|
800
531
|
version: z.ZodString;
|
|
801
532
|
project: z.ZodObject<{
|
|
802
533
|
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
|
-
}>;
|
|
534
|
+
sourceRoots: z.ZodArray<z.ZodString>;
|
|
535
|
+
exclude: z.ZodOptional<z.ZodArray<z.ZodString>>;
|
|
536
|
+
}, z.core.$strip>;
|
|
814
537
|
inference: z.ZodOptional<z.ZodObject<{
|
|
815
538
|
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
|
-
}>>;
|
|
539
|
+
analyzers: z.ZodOptional<z.ZodArray<z.ZodString>>;
|
|
540
|
+
}, z.core.$strip>>;
|
|
824
541
|
verification: z.ZodOptional<z.ZodObject<{
|
|
825
542
|
levels: z.ZodOptional<z.ZodObject<{
|
|
826
543
|
commit: z.ZodOptional<z.ZodObject<{
|
|
827
544
|
timeout: z.ZodOptional<z.ZodNumber>;
|
|
828
|
-
severity: z.ZodOptional<z.ZodArray<z.ZodEnum<
|
|
829
|
-
|
|
830
|
-
|
|
831
|
-
|
|
832
|
-
|
|
833
|
-
|
|
834
|
-
|
|
835
|
-
}>>;
|
|
545
|
+
severity: z.ZodOptional<z.ZodArray<z.ZodEnum<{
|
|
546
|
+
critical: "critical";
|
|
547
|
+
high: "high";
|
|
548
|
+
medium: "medium";
|
|
549
|
+
low: "low";
|
|
550
|
+
}>>>;
|
|
551
|
+
}, z.core.$strip>>;
|
|
836
552
|
pr: z.ZodOptional<z.ZodObject<{
|
|
837
553
|
timeout: z.ZodOptional<z.ZodNumber>;
|
|
838
|
-
severity: z.ZodOptional<z.ZodArray<z.ZodEnum<
|
|
839
|
-
|
|
840
|
-
|
|
841
|
-
|
|
842
|
-
|
|
843
|
-
|
|
844
|
-
|
|
845
|
-
}>>;
|
|
554
|
+
severity: z.ZodOptional<z.ZodArray<z.ZodEnum<{
|
|
555
|
+
critical: "critical";
|
|
556
|
+
high: "high";
|
|
557
|
+
medium: "medium";
|
|
558
|
+
low: "low";
|
|
559
|
+
}>>>;
|
|
560
|
+
}, z.core.$strip>>;
|
|
846
561
|
full: z.ZodOptional<z.ZodObject<{
|
|
847
562
|
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
|
-
}>>;
|
|
563
|
+
severity: z.ZodOptional<z.ZodArray<z.ZodEnum<{
|
|
564
|
+
critical: "critical";
|
|
565
|
+
high: "high";
|
|
566
|
+
medium: "medium";
|
|
567
|
+
low: "low";
|
|
568
|
+
}>>>;
|
|
569
|
+
}, z.core.$strip>>;
|
|
570
|
+
}, z.core.$strip>>;
|
|
571
|
+
}, z.core.$strip>>;
|
|
914
572
|
agent: z.ZodOptional<z.ZodObject<{
|
|
915
|
-
format: z.ZodOptional<z.ZodEnum<
|
|
573
|
+
format: z.ZodOptional<z.ZodEnum<{
|
|
574
|
+
markdown: "markdown";
|
|
575
|
+
json: "json";
|
|
576
|
+
mcp: "mcp";
|
|
577
|
+
}>>;
|
|
916
578
|
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
|
-
}>;
|
|
579
|
+
}, z.core.$strip>>;
|
|
580
|
+
}, z.core.$strip>;
|
|
987
581
|
type SpecBridgeConfigType = z.infer<typeof SpecBridgeConfigSchema>;
|
|
988
582
|
/**
|
|
989
583
|
* Validate configuration
|
|
@@ -1823,10 +1417,13 @@ interface DependencyGraph {
|
|
|
1823
1417
|
decisionToFiles: Map<string, Set<string>>;
|
|
1824
1418
|
fileToDecisions: Map<string, Set<string>>;
|
|
1825
1419
|
}
|
|
1420
|
+
interface BuildDependencyGraphOptions {
|
|
1421
|
+
cwd?: string;
|
|
1422
|
+
}
|
|
1826
1423
|
/**
|
|
1827
1424
|
* Build dependency graph from decisions and file list
|
|
1828
1425
|
*/
|
|
1829
|
-
declare function buildDependencyGraph(decisions: Decision[], files: string[]): Promise<DependencyGraph>;
|
|
1426
|
+
declare function buildDependencyGraph(decisions: Decision[], files: string[], options?: BuildDependencyGraphOptions): Promise<DependencyGraph>;
|
|
1830
1427
|
/**
|
|
1831
1428
|
* Get files affected by a decision
|
|
1832
1429
|
*/
|
|
@@ -2409,4 +2006,4 @@ interface GitHubPrCommentOptions {
|
|
|
2409
2006
|
declare function formatViolationsForGitHub(violations: Violation[], limit?: number): string;
|
|
2410
2007
|
declare function postPrComment(violations: Violation[], options: GitHubPrCommentOptions): Promise<void>;
|
|
2411
2008
|
|
|
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 };
|
|
2009
|
+
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 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 };
|