@usefragments/core 1.0.0 → 1.2.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.
Files changed (42) hide show
  1. package/dist/{chunk-R3X7UBHU.js → chunk-BQQTMGLA.js} +24 -2
  2. package/dist/chunk-BQQTMGLA.js.map +1 -0
  3. package/dist/{chunk-243QYRUF.js → chunk-DBVTSUMT.js} +71 -44
  4. package/dist/chunk-DBVTSUMT.js.map +1 -0
  5. package/dist/codes/index.d.ts +1 -1
  6. package/dist/codes/index.js +2 -2
  7. package/dist/compiled-types/index.d.ts +1 -1
  8. package/dist/generate/index.d.ts +1 -1
  9. package/dist/{governance-BOa3KyiJ.d.ts → governance-DYSirwJu.d.ts} +22 -1
  10. package/dist/index.d.ts +8 -6
  11. package/dist/index.js +156 -19
  12. package/dist/index.js.map +1 -1
  13. package/dist/react-types.d.ts +1 -1
  14. package/dist/schemas/index.d.ts +797 -4
  15. package/dist/schemas/index.js +9 -1
  16. package/dist/test-utils.d.ts +1 -1
  17. package/package.json +1 -1
  18. package/src/agent-format.test.ts +72 -2
  19. package/src/agent-format.ts +10 -5
  20. package/src/codes/__tests__/codes.test.ts +57 -7
  21. package/src/codes/codes.ts +44 -42
  22. package/src/conform-prove.ts +4 -8
  23. package/src/contract/index.ts +3 -0
  24. package/src/contract/preimage.test.ts +50 -0
  25. package/src/contract/preimage.ts +56 -0
  26. package/src/facts/builders.ts +2 -0
  27. package/src/facts/fact-index.ts +4 -0
  28. package/src/facts/facts.test.ts +49 -0
  29. package/src/facts/types.ts +1 -0
  30. package/src/governance-integrity.test.ts +2 -0
  31. package/src/governance-integrity.ts +7 -1
  32. package/src/index.ts +9 -0
  33. package/src/rules/components-prefer-library.ts +165 -7
  34. package/src/rules/emit-gate.test.ts +24 -2
  35. package/src/rules/emit-gate.ts +15 -7
  36. package/src/rules/fix-availability.ts +33 -0
  37. package/src/rules/rules.test.ts +178 -23
  38. package/src/rules/taxonomy.test.ts +6 -3
  39. package/src/rules/tiers.ts +1 -1
  40. package/src/schemas/index.ts +25 -1
  41. package/dist/chunk-243QYRUF.js.map +0 -1
  42. package/dist/chunk-R3X7UBHU.js.map +0 -1
@@ -1922,11 +1922,50 @@ declare const agentFindingSchema: z.ZodObject<{
1922
1922
  };
1923
1923
  code?: string | undefined;
1924
1924
  }>;
1925
+ declare const AGENT_FORMAT_SCHEMA_VERSION: "typestyle.agent.v2";
1926
+ declare const agentIntegritySchema: z.ZodObject<{
1927
+ rulesLoaded: z.ZodNumber;
1928
+ status: z.ZodEnum<["healthy", "degraded", "inert"]>;
1929
+ healthy: z.ZodBoolean;
1930
+ inert: z.ZodBoolean;
1931
+ reasons: z.ZodArray<z.ZodString, "many">;
1932
+ }, "strip", z.ZodTypeAny, {
1933
+ status: "healthy" | "degraded" | "inert";
1934
+ rulesLoaded: number;
1935
+ healthy: boolean;
1936
+ inert: boolean;
1937
+ reasons: string[];
1938
+ }, {
1939
+ status: "healthy" | "degraded" | "inert";
1940
+ rulesLoaded: number;
1941
+ healthy: boolean;
1942
+ inert: boolean;
1943
+ reasons: string[];
1944
+ }>;
1925
1945
  declare const agentFormatSchema: z.ZodObject<{
1926
- schemaVersion: z.ZodLiteral<"typestyle.agent.v1">;
1946
+ schemaVersion: z.ZodLiteral<"typestyle.agent.v2">;
1927
1947
  passed: z.ZodBoolean;
1928
1948
  score: z.ZodNumber;
1929
1949
  summary: z.ZodString;
1950
+ integrity: z.ZodObject<{
1951
+ rulesLoaded: z.ZodNumber;
1952
+ status: z.ZodEnum<["healthy", "degraded", "inert"]>;
1953
+ healthy: z.ZodBoolean;
1954
+ inert: z.ZodBoolean;
1955
+ reasons: z.ZodArray<z.ZodString, "many">;
1956
+ }, "strip", z.ZodTypeAny, {
1957
+ status: "healthy" | "degraded" | "inert";
1958
+ rulesLoaded: number;
1959
+ healthy: boolean;
1960
+ inert: boolean;
1961
+ reasons: string[];
1962
+ }, {
1963
+ status: "healthy" | "degraded" | "inert";
1964
+ rulesLoaded: number;
1965
+ healthy: boolean;
1966
+ inert: boolean;
1967
+ reasons: string[];
1968
+ }>;
1930
1969
  fix_first: z.ZodArray<z.ZodObject<{
1931
1970
  code: z.ZodOptional<z.ZodString>;
1932
1971
  ruleId: z.ZodString;
@@ -2348,8 +2387,15 @@ declare const agentFormatSchema: z.ZodObject<{
2348
2387
  }, "strip", z.ZodTypeAny, {
2349
2388
  passed: boolean;
2350
2389
  score: number;
2351
- schemaVersion: "typestyle.agent.v1";
2390
+ schemaVersion: "typestyle.agent.v2";
2352
2391
  summary: string;
2392
+ integrity: {
2393
+ status: "healthy" | "degraded" | "inert";
2394
+ rulesLoaded: number;
2395
+ healthy: boolean;
2396
+ inert: boolean;
2397
+ reasons: string[];
2398
+ };
2353
2399
  fix_first: {
2354
2400
  message: string;
2355
2401
  line: number;
@@ -2461,8 +2507,15 @@ declare const agentFormatSchema: z.ZodObject<{
2461
2507
  }, {
2462
2508
  passed: boolean;
2463
2509
  score: number;
2464
- schemaVersion: "typestyle.agent.v1";
2510
+ schemaVersion: "typestyle.agent.v2";
2465
2511
  summary: string;
2512
+ integrity: {
2513
+ status: "healthy" | "degraded" | "inert";
2514
+ rulesLoaded: number;
2515
+ healthy: boolean;
2516
+ inert: boolean;
2517
+ reasons: string[];
2518
+ };
2466
2519
  fix_first: {
2467
2520
  message: string;
2468
2521
  line: number;
@@ -2573,6 +2626,746 @@ declare const agentFormatSchema: z.ZodObject<{
2573
2626
  }[] | undefined;
2574
2627
  }>;
2575
2628
  type AgentFormat = z.infer<typeof agentFormatSchema>;
2629
+ declare const agentErrorEnvelopeSchema: z.ZodObject<{
2630
+ schemaVersion: z.ZodLiteral<"typestyle.agent.v2">;
2631
+ passed: z.ZodLiteral<false>;
2632
+ error: z.ZodObject<{
2633
+ code: z.ZodString;
2634
+ message: z.ZodString;
2635
+ }, "strip", z.ZodTypeAny, {
2636
+ code: string;
2637
+ message: string;
2638
+ }, {
2639
+ code: string;
2640
+ message: string;
2641
+ }>;
2642
+ }, "strip", z.ZodTypeAny, {
2643
+ error: {
2644
+ code: string;
2645
+ message: string;
2646
+ };
2647
+ passed: false;
2648
+ schemaVersion: "typestyle.agent.v2";
2649
+ }, {
2650
+ error: {
2651
+ code: string;
2652
+ message: string;
2653
+ };
2654
+ passed: false;
2655
+ schemaVersion: "typestyle.agent.v2";
2656
+ }>;
2657
+ type AgentErrorEnvelope = z.infer<typeof agentErrorEnvelopeSchema>;
2658
+ declare const agentOutputSchema: z.ZodUnion<[z.ZodObject<{
2659
+ schemaVersion: z.ZodLiteral<"typestyle.agent.v2">;
2660
+ passed: z.ZodBoolean;
2661
+ score: z.ZodNumber;
2662
+ summary: z.ZodString;
2663
+ integrity: z.ZodObject<{
2664
+ rulesLoaded: z.ZodNumber;
2665
+ status: z.ZodEnum<["healthy", "degraded", "inert"]>;
2666
+ healthy: z.ZodBoolean;
2667
+ inert: z.ZodBoolean;
2668
+ reasons: z.ZodArray<z.ZodString, "many">;
2669
+ }, "strip", z.ZodTypeAny, {
2670
+ status: "healthy" | "degraded" | "inert";
2671
+ rulesLoaded: number;
2672
+ healthy: boolean;
2673
+ inert: boolean;
2674
+ reasons: string[];
2675
+ }, {
2676
+ status: "healthy" | "degraded" | "inert";
2677
+ rulesLoaded: number;
2678
+ healthy: boolean;
2679
+ inert: boolean;
2680
+ reasons: string[];
2681
+ }>;
2682
+ fix_first: z.ZodArray<z.ZodObject<{
2683
+ code: z.ZodOptional<z.ZodString>;
2684
+ ruleId: z.ZodString;
2685
+ filePath: z.ZodString;
2686
+ line: z.ZodNumber;
2687
+ col: z.ZodNumber;
2688
+ severity: z.ZodEnum<["critical", "serious", "moderate", "minor"]>;
2689
+ level: z.ZodEnum<["error", "warn"]>;
2690
+ message: z.ZodString;
2691
+ evidence: z.ZodArray<z.ZodType<FactEvidence, z.ZodTypeDef, FactEvidence>, "many">;
2692
+ plan: z.ZodObject<{
2693
+ tool: z.ZodEnum<["design_system/list_primitives", "design_system/conform", "design_system/prove_compliant"]>;
2694
+ args: z.ZodRecord<z.ZodString, z.ZodUnknown>;
2695
+ confidence: z.ZodNumber;
2696
+ }, "strip", z.ZodTypeAny, {
2697
+ tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
2698
+ args: Record<string, unknown>;
2699
+ confidence: number;
2700
+ }, {
2701
+ tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
2702
+ args: Record<string, unknown>;
2703
+ confidence: number;
2704
+ }>;
2705
+ }, "strip", z.ZodTypeAny, {
2706
+ message: string;
2707
+ line: number;
2708
+ ruleId: string;
2709
+ severity: "critical" | "serious" | "moderate" | "minor";
2710
+ level: "error" | "warn";
2711
+ evidence: FactEvidence[];
2712
+ filePath: string;
2713
+ col: number;
2714
+ plan: {
2715
+ tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
2716
+ args: Record<string, unknown>;
2717
+ confidence: number;
2718
+ };
2719
+ code?: string | undefined;
2720
+ }, {
2721
+ message: string;
2722
+ line: number;
2723
+ ruleId: string;
2724
+ severity: "critical" | "serious" | "moderate" | "minor";
2725
+ level: "error" | "warn";
2726
+ evidence: FactEvidence[];
2727
+ filePath: string;
2728
+ col: number;
2729
+ plan: {
2730
+ tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
2731
+ args: Record<string, unknown>;
2732
+ confidence: number;
2733
+ };
2734
+ code?: string | undefined;
2735
+ }>, "many">;
2736
+ remaining: z.ZodArray<z.ZodObject<{
2737
+ code: z.ZodOptional<z.ZodString>;
2738
+ ruleId: z.ZodString;
2739
+ filePath: z.ZodString;
2740
+ line: z.ZodNumber;
2741
+ col: z.ZodNumber;
2742
+ severity: z.ZodEnum<["critical", "serious", "moderate", "minor"]>;
2743
+ level: z.ZodEnum<["error", "warn"]>;
2744
+ message: z.ZodString;
2745
+ evidence: z.ZodArray<z.ZodType<FactEvidence, z.ZodTypeDef, FactEvidence>, "many">;
2746
+ plan: z.ZodObject<{
2747
+ tool: z.ZodEnum<["design_system/list_primitives", "design_system/conform", "design_system/prove_compliant"]>;
2748
+ args: z.ZodRecord<z.ZodString, z.ZodUnknown>;
2749
+ confidence: z.ZodNumber;
2750
+ }, "strip", z.ZodTypeAny, {
2751
+ tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
2752
+ args: Record<string, unknown>;
2753
+ confidence: number;
2754
+ }, {
2755
+ tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
2756
+ args: Record<string, unknown>;
2757
+ confidence: number;
2758
+ }>;
2759
+ }, "strip", z.ZodTypeAny, {
2760
+ message: string;
2761
+ line: number;
2762
+ ruleId: string;
2763
+ severity: "critical" | "serious" | "moderate" | "minor";
2764
+ level: "error" | "warn";
2765
+ evidence: FactEvidence[];
2766
+ filePath: string;
2767
+ col: number;
2768
+ plan: {
2769
+ tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
2770
+ args: Record<string, unknown>;
2771
+ confidence: number;
2772
+ };
2773
+ code?: string | undefined;
2774
+ }, {
2775
+ message: string;
2776
+ line: number;
2777
+ ruleId: string;
2778
+ severity: "critical" | "serious" | "moderate" | "minor";
2779
+ level: "error" | "warn";
2780
+ evidence: FactEvidence[];
2781
+ filePath: string;
2782
+ col: number;
2783
+ plan: {
2784
+ tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
2785
+ args: Record<string, unknown>;
2786
+ confidence: number;
2787
+ };
2788
+ code?: string | undefined;
2789
+ }>, "many">;
2790
+ suppression_template: z.ZodObject<{
2791
+ directive: z.ZodString;
2792
+ requiredFields: z.ZodArray<z.ZodString, "many">;
2793
+ example: z.ZodString;
2794
+ }, "strip", z.ZodTypeAny, {
2795
+ directive: string;
2796
+ requiredFields: string[];
2797
+ example: string;
2798
+ }, {
2799
+ directive: string;
2800
+ requiredFields: string[];
2801
+ example: string;
2802
+ }>;
2803
+ budget: z.ZodObject<{
2804
+ iteration: z.ZodNumber;
2805
+ maxIterations: z.ZodNumber;
2806
+ scoreDelta: z.ZodNumber;
2807
+ }, "strip", z.ZodTypeAny, {
2808
+ iteration: number;
2809
+ maxIterations: number;
2810
+ scoreDelta: number;
2811
+ }, {
2812
+ iteration: number;
2813
+ maxIterations: number;
2814
+ scoreDelta: number;
2815
+ }>;
2816
+ findings: z.ZodOptional<z.ZodArray<z.ZodObject<{
2817
+ ruleId: z.ZodString;
2818
+ ruleVersion: z.ZodString;
2819
+ severity: z.ZodEnum<["critical", "serious", "moderate", "minor"]>;
2820
+ level: z.ZodEnum<["error", "warn"]>;
2821
+ code: z.ZodOptional<z.ZodString>;
2822
+ helpUrl: z.ZodOptional<z.ZodString>;
2823
+ message: z.ZodString;
2824
+ fingerprint: z.ZodString;
2825
+ location: z.ZodObject<{
2826
+ file: z.ZodString;
2827
+ line: z.ZodNumber;
2828
+ column: z.ZodNumber;
2829
+ endLine: z.ZodOptional<z.ZodNumber>;
2830
+ endColumn: z.ZodOptional<z.ZodNumber>;
2831
+ }, "strip", z.ZodTypeAny, {
2832
+ file: string;
2833
+ line: number;
2834
+ column: number;
2835
+ endLine?: number | undefined;
2836
+ endColumn?: number | undefined;
2837
+ }, {
2838
+ file: string;
2839
+ line: number;
2840
+ column: number;
2841
+ endLine?: number | undefined;
2842
+ endColumn?: number | undefined;
2843
+ }>;
2844
+ evidence: z.ZodArray<z.ZodType<FactEvidence, z.ZodTypeDef, FactEvidence>, "many">;
2845
+ fix: z.ZodOptional<z.ZodDiscriminatedUnion<"kind", [z.ZodObject<{
2846
+ kind: z.ZodLiteral<"replacePropValue">;
2847
+ title: z.ZodString;
2848
+ prop: z.ZodString;
2849
+ value: z.ZodUnknown;
2850
+ deterministic: z.ZodOptional<z.ZodBoolean>;
2851
+ }, "strip", z.ZodTypeAny, {
2852
+ kind: "replacePropValue";
2853
+ title: string;
2854
+ prop: string;
2855
+ deterministic?: boolean | undefined;
2856
+ value?: unknown;
2857
+ }, {
2858
+ kind: "replacePropValue";
2859
+ title: string;
2860
+ prop: string;
2861
+ deterministic?: boolean | undefined;
2862
+ value?: unknown;
2863
+ }>, z.ZodObject<{
2864
+ kind: z.ZodLiteral<"replaceStyleValue">;
2865
+ title: z.ZodString;
2866
+ property: z.ZodString;
2867
+ value: z.ZodString;
2868
+ deterministic: z.ZodOptional<z.ZodBoolean>;
2869
+ }, "strip", z.ZodTypeAny, {
2870
+ value: string;
2871
+ kind: "replaceStyleValue";
2872
+ title: string;
2873
+ property: string;
2874
+ deterministic?: boolean | undefined;
2875
+ }, {
2876
+ value: string;
2877
+ kind: "replaceStyleValue";
2878
+ title: string;
2879
+ property: string;
2880
+ deterministic?: boolean | undefined;
2881
+ }>, z.ZodObject<{
2882
+ kind: z.ZodLiteral<"replaceImport">;
2883
+ title: z.ZodString;
2884
+ from: z.ZodString;
2885
+ to: z.ZodString;
2886
+ deterministic: z.ZodOptional<z.ZodBoolean>;
2887
+ }, "strip", z.ZodTypeAny, {
2888
+ kind: "replaceImport";
2889
+ title: string;
2890
+ from: string;
2891
+ to: string;
2892
+ deterministic?: boolean | undefined;
2893
+ }, {
2894
+ kind: "replaceImport";
2895
+ title: string;
2896
+ from: string;
2897
+ to: string;
2898
+ deterministic?: boolean | undefined;
2899
+ }>, z.ZodObject<{
2900
+ kind: z.ZodLiteral<"replaceComponent">;
2901
+ title: z.ZodString;
2902
+ from: z.ZodString;
2903
+ to: z.ZodString;
2904
+ deterministic: z.ZodOptional<z.ZodBoolean>;
2905
+ }, "strip", z.ZodTypeAny, {
2906
+ kind: "replaceComponent";
2907
+ title: string;
2908
+ from: string;
2909
+ to: string;
2910
+ deterministic?: boolean | undefined;
2911
+ }, {
2912
+ kind: "replaceComponent";
2913
+ title: string;
2914
+ from: string;
2915
+ to: string;
2916
+ deterministic?: boolean | undefined;
2917
+ }>, z.ZodObject<{
2918
+ kind: z.ZodLiteral<"replaceClassToken">;
2919
+ title: z.ZodString;
2920
+ from: z.ZodString;
2921
+ to: z.ZodNullable<z.ZodString>;
2922
+ utility: z.ZodString;
2923
+ deterministic: z.ZodOptional<z.ZodBoolean>;
2924
+ }, "strip", z.ZodTypeAny, {
2925
+ kind: "replaceClassToken";
2926
+ title: string;
2927
+ from: string;
2928
+ to: string | null;
2929
+ utility: string;
2930
+ deterministic?: boolean | undefined;
2931
+ }, {
2932
+ kind: "replaceClassToken";
2933
+ title: string;
2934
+ from: string;
2935
+ to: string | null;
2936
+ utility: string;
2937
+ deterministic?: boolean | undefined;
2938
+ }>]>>;
2939
+ attributes: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
2940
+ /**
2941
+ * Product area this finding's file resolved to (topology layer). Optional —
2942
+ * absent when the repo has no `topology` config. See `topology/resolve-area`.
2943
+ */
2944
+ area: z.ZodOptional<z.ZodObject<{
2945
+ areaId: z.ZodString;
2946
+ areaName: z.ZodString;
2947
+ criticality: z.ZodEnum<["low", "medium", "high", "revenue", "regulated"]>;
2948
+ owners: z.ZodArray<z.ZodString, "many">;
2949
+ matchedGlob: z.ZodString;
2950
+ }, "strip", z.ZodTypeAny, {
2951
+ areaId: string;
2952
+ areaName: string;
2953
+ criticality: "high" | "medium" | "low" | "revenue" | "regulated";
2954
+ owners: string[];
2955
+ matchedGlob: string;
2956
+ }, {
2957
+ areaId: string;
2958
+ areaName: string;
2959
+ criticality: "high" | "medium" | "low" | "revenue" | "regulated";
2960
+ owners: string[];
2961
+ matchedGlob: string;
2962
+ }>>;
2963
+ }, "strip", z.ZodTypeAny, {
2964
+ message: string;
2965
+ location: {
2966
+ file: string;
2967
+ line: number;
2968
+ column: number;
2969
+ endLine?: number | undefined;
2970
+ endColumn?: number | undefined;
2971
+ };
2972
+ ruleId: string;
2973
+ ruleVersion: string;
2974
+ severity: "critical" | "serious" | "moderate" | "minor";
2975
+ level: "error" | "warn";
2976
+ fingerprint: string;
2977
+ evidence: FactEvidence[];
2978
+ code?: string | undefined;
2979
+ helpUrl?: string | undefined;
2980
+ fix?: {
2981
+ kind: "replacePropValue";
2982
+ title: string;
2983
+ prop: string;
2984
+ deterministic?: boolean | undefined;
2985
+ value?: unknown;
2986
+ } | {
2987
+ value: string;
2988
+ kind: "replaceStyleValue";
2989
+ title: string;
2990
+ property: string;
2991
+ deterministic?: boolean | undefined;
2992
+ } | {
2993
+ kind: "replaceImport";
2994
+ title: string;
2995
+ from: string;
2996
+ to: string;
2997
+ deterministic?: boolean | undefined;
2998
+ } | {
2999
+ kind: "replaceComponent";
3000
+ title: string;
3001
+ from: string;
3002
+ to: string;
3003
+ deterministic?: boolean | undefined;
3004
+ } | {
3005
+ kind: "replaceClassToken";
3006
+ title: string;
3007
+ from: string;
3008
+ to: string | null;
3009
+ utility: string;
3010
+ deterministic?: boolean | undefined;
3011
+ } | undefined;
3012
+ attributes?: Record<string, unknown> | undefined;
3013
+ area?: {
3014
+ areaId: string;
3015
+ areaName: string;
3016
+ criticality: "high" | "medium" | "low" | "revenue" | "regulated";
3017
+ owners: string[];
3018
+ matchedGlob: string;
3019
+ } | undefined;
3020
+ }, {
3021
+ message: string;
3022
+ location: {
3023
+ file: string;
3024
+ line: number;
3025
+ column: number;
3026
+ endLine?: number | undefined;
3027
+ endColumn?: number | undefined;
3028
+ };
3029
+ ruleId: string;
3030
+ ruleVersion: string;
3031
+ severity: "critical" | "serious" | "moderate" | "minor";
3032
+ level: "error" | "warn";
3033
+ fingerprint: string;
3034
+ evidence: FactEvidence[];
3035
+ code?: string | undefined;
3036
+ helpUrl?: string | undefined;
3037
+ fix?: {
3038
+ kind: "replacePropValue";
3039
+ title: string;
3040
+ prop: string;
3041
+ deterministic?: boolean | undefined;
3042
+ value?: unknown;
3043
+ } | {
3044
+ value: string;
3045
+ kind: "replaceStyleValue";
3046
+ title: string;
3047
+ property: string;
3048
+ deterministic?: boolean | undefined;
3049
+ } | {
3050
+ kind: "replaceImport";
3051
+ title: string;
3052
+ from: string;
3053
+ to: string;
3054
+ deterministic?: boolean | undefined;
3055
+ } | {
3056
+ kind: "replaceComponent";
3057
+ title: string;
3058
+ from: string;
3059
+ to: string;
3060
+ deterministic?: boolean | undefined;
3061
+ } | {
3062
+ kind: "replaceClassToken";
3063
+ title: string;
3064
+ from: string;
3065
+ to: string | null;
3066
+ utility: string;
3067
+ deterministic?: boolean | undefined;
3068
+ } | undefined;
3069
+ attributes?: Record<string, unknown> | undefined;
3070
+ area?: {
3071
+ areaId: string;
3072
+ areaName: string;
3073
+ criticality: "high" | "medium" | "low" | "revenue" | "regulated";
3074
+ owners: string[];
3075
+ matchedGlob: string;
3076
+ } | undefined;
3077
+ }>, "many">>;
3078
+ suppressions: z.ZodOptional<z.ZodArray<z.ZodObject<{
3079
+ ruleId: z.ZodOptional<z.ZodString>;
3080
+ reason: z.ZodString;
3081
+ expiresAt: z.ZodOptional<z.ZodString>;
3082
+ expiresOn: z.ZodOptional<z.ZodString>;
3083
+ scope: z.ZodDefault<z.ZodEnum<["line", "block", "file"]>>;
3084
+ code: z.ZodOptional<z.ZodString>;
3085
+ }, "strip", z.ZodTypeAny, {
3086
+ reason: string;
3087
+ scope: "file" | "line" | "block";
3088
+ code?: string | undefined;
3089
+ ruleId?: string | undefined;
3090
+ expiresAt?: string | undefined;
3091
+ expiresOn?: string | undefined;
3092
+ }, {
3093
+ reason: string;
3094
+ code?: string | undefined;
3095
+ ruleId?: string | undefined;
3096
+ expiresAt?: string | undefined;
3097
+ expiresOn?: string | undefined;
3098
+ scope?: "file" | "line" | "block" | undefined;
3099
+ }>, "many">>;
3100
+ }, "strip", z.ZodTypeAny, {
3101
+ passed: boolean;
3102
+ score: number;
3103
+ schemaVersion: "typestyle.agent.v2";
3104
+ summary: string;
3105
+ integrity: {
3106
+ status: "healthy" | "degraded" | "inert";
3107
+ rulesLoaded: number;
3108
+ healthy: boolean;
3109
+ inert: boolean;
3110
+ reasons: string[];
3111
+ };
3112
+ fix_first: {
3113
+ message: string;
3114
+ line: number;
3115
+ ruleId: string;
3116
+ severity: "critical" | "serious" | "moderate" | "minor";
3117
+ level: "error" | "warn";
3118
+ evidence: FactEvidence[];
3119
+ filePath: string;
3120
+ col: number;
3121
+ plan: {
3122
+ tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
3123
+ args: Record<string, unknown>;
3124
+ confidence: number;
3125
+ };
3126
+ code?: string | undefined;
3127
+ }[];
3128
+ remaining: {
3129
+ message: string;
3130
+ line: number;
3131
+ ruleId: string;
3132
+ severity: "critical" | "serious" | "moderate" | "minor";
3133
+ level: "error" | "warn";
3134
+ evidence: FactEvidence[];
3135
+ filePath: string;
3136
+ col: number;
3137
+ plan: {
3138
+ tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
3139
+ args: Record<string, unknown>;
3140
+ confidence: number;
3141
+ };
3142
+ code?: string | undefined;
3143
+ }[];
3144
+ suppression_template: {
3145
+ directive: string;
3146
+ requiredFields: string[];
3147
+ example: string;
3148
+ };
3149
+ budget: {
3150
+ iteration: number;
3151
+ maxIterations: number;
3152
+ scoreDelta: number;
3153
+ };
3154
+ findings?: {
3155
+ message: string;
3156
+ location: {
3157
+ file: string;
3158
+ line: number;
3159
+ column: number;
3160
+ endLine?: number | undefined;
3161
+ endColumn?: number | undefined;
3162
+ };
3163
+ ruleId: string;
3164
+ ruleVersion: string;
3165
+ severity: "critical" | "serious" | "moderate" | "minor";
3166
+ level: "error" | "warn";
3167
+ fingerprint: string;
3168
+ evidence: FactEvidence[];
3169
+ code?: string | undefined;
3170
+ helpUrl?: string | undefined;
3171
+ fix?: {
3172
+ kind: "replacePropValue";
3173
+ title: string;
3174
+ prop: string;
3175
+ deterministic?: boolean | undefined;
3176
+ value?: unknown;
3177
+ } | {
3178
+ value: string;
3179
+ kind: "replaceStyleValue";
3180
+ title: string;
3181
+ property: string;
3182
+ deterministic?: boolean | undefined;
3183
+ } | {
3184
+ kind: "replaceImport";
3185
+ title: string;
3186
+ from: string;
3187
+ to: string;
3188
+ deterministic?: boolean | undefined;
3189
+ } | {
3190
+ kind: "replaceComponent";
3191
+ title: string;
3192
+ from: string;
3193
+ to: string;
3194
+ deterministic?: boolean | undefined;
3195
+ } | {
3196
+ kind: "replaceClassToken";
3197
+ title: string;
3198
+ from: string;
3199
+ to: string | null;
3200
+ utility: string;
3201
+ deterministic?: boolean | undefined;
3202
+ } | undefined;
3203
+ attributes?: Record<string, unknown> | undefined;
3204
+ area?: {
3205
+ areaId: string;
3206
+ areaName: string;
3207
+ criticality: "high" | "medium" | "low" | "revenue" | "regulated";
3208
+ owners: string[];
3209
+ matchedGlob: string;
3210
+ } | undefined;
3211
+ }[] | undefined;
3212
+ suppressions?: {
3213
+ reason: string;
3214
+ scope: "file" | "line" | "block";
3215
+ code?: string | undefined;
3216
+ ruleId?: string | undefined;
3217
+ expiresAt?: string | undefined;
3218
+ expiresOn?: string | undefined;
3219
+ }[] | undefined;
3220
+ }, {
3221
+ passed: boolean;
3222
+ score: number;
3223
+ schemaVersion: "typestyle.agent.v2";
3224
+ summary: string;
3225
+ integrity: {
3226
+ status: "healthy" | "degraded" | "inert";
3227
+ rulesLoaded: number;
3228
+ healthy: boolean;
3229
+ inert: boolean;
3230
+ reasons: string[];
3231
+ };
3232
+ fix_first: {
3233
+ message: string;
3234
+ line: number;
3235
+ ruleId: string;
3236
+ severity: "critical" | "serious" | "moderate" | "minor";
3237
+ level: "error" | "warn";
3238
+ evidence: FactEvidence[];
3239
+ filePath: string;
3240
+ col: number;
3241
+ plan: {
3242
+ tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
3243
+ args: Record<string, unknown>;
3244
+ confidence: number;
3245
+ };
3246
+ code?: string | undefined;
3247
+ }[];
3248
+ remaining: {
3249
+ message: string;
3250
+ line: number;
3251
+ ruleId: string;
3252
+ severity: "critical" | "serious" | "moderate" | "minor";
3253
+ level: "error" | "warn";
3254
+ evidence: FactEvidence[];
3255
+ filePath: string;
3256
+ col: number;
3257
+ plan: {
3258
+ tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
3259
+ args: Record<string, unknown>;
3260
+ confidence: number;
3261
+ };
3262
+ code?: string | undefined;
3263
+ }[];
3264
+ suppression_template: {
3265
+ directive: string;
3266
+ requiredFields: string[];
3267
+ example: string;
3268
+ };
3269
+ budget: {
3270
+ iteration: number;
3271
+ maxIterations: number;
3272
+ scoreDelta: number;
3273
+ };
3274
+ findings?: {
3275
+ message: string;
3276
+ location: {
3277
+ file: string;
3278
+ line: number;
3279
+ column: number;
3280
+ endLine?: number | undefined;
3281
+ endColumn?: number | undefined;
3282
+ };
3283
+ ruleId: string;
3284
+ ruleVersion: string;
3285
+ severity: "critical" | "serious" | "moderate" | "minor";
3286
+ level: "error" | "warn";
3287
+ fingerprint: string;
3288
+ evidence: FactEvidence[];
3289
+ code?: string | undefined;
3290
+ helpUrl?: string | undefined;
3291
+ fix?: {
3292
+ kind: "replacePropValue";
3293
+ title: string;
3294
+ prop: string;
3295
+ deterministic?: boolean | undefined;
3296
+ value?: unknown;
3297
+ } | {
3298
+ value: string;
3299
+ kind: "replaceStyleValue";
3300
+ title: string;
3301
+ property: string;
3302
+ deterministic?: boolean | undefined;
3303
+ } | {
3304
+ kind: "replaceImport";
3305
+ title: string;
3306
+ from: string;
3307
+ to: string;
3308
+ deterministic?: boolean | undefined;
3309
+ } | {
3310
+ kind: "replaceComponent";
3311
+ title: string;
3312
+ from: string;
3313
+ to: string;
3314
+ deterministic?: boolean | undefined;
3315
+ } | {
3316
+ kind: "replaceClassToken";
3317
+ title: string;
3318
+ from: string;
3319
+ to: string | null;
3320
+ utility: string;
3321
+ deterministic?: boolean | undefined;
3322
+ } | undefined;
3323
+ attributes?: Record<string, unknown> | undefined;
3324
+ area?: {
3325
+ areaId: string;
3326
+ areaName: string;
3327
+ criticality: "high" | "medium" | "low" | "revenue" | "regulated";
3328
+ owners: string[];
3329
+ matchedGlob: string;
3330
+ } | undefined;
3331
+ }[] | undefined;
3332
+ suppressions?: {
3333
+ reason: string;
3334
+ code?: string | undefined;
3335
+ ruleId?: string | undefined;
3336
+ expiresAt?: string | undefined;
3337
+ expiresOn?: string | undefined;
3338
+ scope?: "file" | "line" | "block" | undefined;
3339
+ }[] | undefined;
3340
+ }>, z.ZodObject<{
3341
+ schemaVersion: z.ZodLiteral<"typestyle.agent.v2">;
3342
+ passed: z.ZodLiteral<false>;
3343
+ error: z.ZodObject<{
3344
+ code: z.ZodString;
3345
+ message: z.ZodString;
3346
+ }, "strip", z.ZodTypeAny, {
3347
+ code: string;
3348
+ message: string;
3349
+ }, {
3350
+ code: string;
3351
+ message: string;
3352
+ }>;
3353
+ }, "strip", z.ZodTypeAny, {
3354
+ error: {
3355
+ code: string;
3356
+ message: string;
3357
+ };
3358
+ passed: false;
3359
+ schemaVersion: "typestyle.agent.v2";
3360
+ }, {
3361
+ error: {
3362
+ code: string;
3363
+ message: string;
3364
+ };
3365
+ passed: false;
3366
+ schemaVersion: "typestyle.agent.v2";
3367
+ }>]>;
3368
+ type AgentOutput = z.infer<typeof agentOutputSchema>;
2576
3369
  declare function normalizeSeverity(severity: Severity | LegacySeverityLevel): Severity;
2577
3370
  declare function normalizeFinding(input: Omit<Finding, "level"> & {
2578
3371
  level?: Finding["level"];
@@ -2581,4 +3374,4 @@ declare function normalizeViolation(input: Omit<Violation, "level"> & {
2581
3374
  level?: Violation["level"];
2582
3375
  }): Violation;
2583
3376
 
2584
- export { type AgentFormat, type FactEvidence, type FactLocation, type Finding, type FindingFix, type FindingReplaceClassTokenFix, type FindingReplaceComponentFix, type FindingReplaceImportFix, type FindingReplacePropValueFix, type FindingReplaceStyleValueFix, type Fix, type GovernanceVerdict, type GovernanceVerdictMetadata, LegacySeverityLevel, Severity, type SuppressionDirective, type ValidatorResult, type Violation, agentFindingSchema, agentFormatSchema, agentPlanSchema, factEvidenceSchema, factLocationSchema, findingFixSchema, findingReplaceClassTokenFixSchema, findingReplaceComponentFixSchema, findingReplaceImportFixSchema, findingReplacePropValueFixSchema, findingReplaceStyleValueFixSchema, findingSchema, fixSchema, governanceVerdictMetadataSchema, governanceVerdictSchema, normalizeFinding, normalizeSeverity, normalizeViolation, suppressionDirectiveSchema, validatorResultSchema, violationSchema };
3377
+ export { AGENT_FORMAT_SCHEMA_VERSION, type AgentErrorEnvelope, type AgentFormat, type AgentOutput, type FactEvidence, type FactLocation, type Finding, type FindingFix, type FindingReplaceClassTokenFix, type FindingReplaceComponentFix, type FindingReplaceImportFix, type FindingReplacePropValueFix, type FindingReplaceStyleValueFix, type Fix, type GovernanceVerdict, type GovernanceVerdictMetadata, LegacySeverityLevel, Severity, type SuppressionDirective, type ValidatorResult, type Violation, agentErrorEnvelopeSchema, agentFindingSchema, agentFormatSchema, agentIntegritySchema, agentOutputSchema, agentPlanSchema, factEvidenceSchema, factLocationSchema, findingFixSchema, findingReplaceClassTokenFixSchema, findingReplaceComponentFixSchema, findingReplaceImportFixSchema, findingReplacePropValueFixSchema, findingReplaceStyleValueFixSchema, findingSchema, fixSchema, governanceVerdictMetadataSchema, governanceVerdictSchema, normalizeFinding, normalizeSeverity, normalizeViolation, suppressionDirectiveSchema, validatorResultSchema, violationSchema };