@usefragments/core 1.10.2 → 2.0.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 (130) hide show
  1. package/dist/{chunk-MZ4SW3TP.js → chunk-3IOWHECM.js} +8 -1
  2. package/dist/{chunk-MZ4SW3TP.js.map → chunk-3IOWHECM.js.map} +1 -1
  3. package/dist/chunk-7ULGH74M.js +66 -0
  4. package/dist/chunk-7ULGH74M.js.map +1 -0
  5. package/dist/{chunk-XN3LSDPY.js → chunk-BMPYIUZE.js} +612 -344
  6. package/dist/chunk-BMPYIUZE.js.map +1 -0
  7. package/dist/{chunk-YF65VYRY.js → chunk-ML5S6QNU.js} +191 -169
  8. package/dist/chunk-ML5S6QNU.js.map +1 -0
  9. package/dist/{chunk-3LLRNCPX.js → chunk-MZ2FS7U4.js} +1 -1
  10. package/dist/chunk-MZ2FS7U4.js.map +1 -0
  11. package/dist/chunk-PWIJMOI4.js +202 -0
  12. package/dist/chunk-PWIJMOI4.js.map +1 -0
  13. package/dist/chunk-RYFULE43.js +578 -0
  14. package/dist/chunk-RYFULE43.js.map +1 -0
  15. package/dist/codes/index.d.ts +2 -2
  16. package/dist/codes/index.js +3 -2
  17. package/dist/compiled-types/index.d.ts +327 -2
  18. package/dist/compiled-types/index.js +1 -1
  19. package/dist/generate/index.d.ts +3 -2
  20. package/dist/{governance-CLk_wkP9.d.ts → governance-hOPXGbbs.d.ts} +474 -515
  21. package/dist/governance-telemetry.d.ts +6 -0
  22. package/dist/governance-telemetry.js +1 -1
  23. package/dist/{index-_sxhUNqx.d.ts → index-C8bcXVav.d.ts} +448 -448
  24. package/dist/index.d.ts +3280 -1305
  25. package/dist/index.js +2414 -350
  26. package/dist/index.js.map +1 -1
  27. package/dist/manifest.d.ts +228 -0
  28. package/dist/manifest.js +24 -0
  29. package/dist/manifest.js.map +1 -0
  30. package/dist/preview/index.js +45 -1
  31. package/dist/preview/index.js.map +1 -1
  32. package/dist/preview-runtime.d.ts +1 -2
  33. package/dist/preview-runtime.js +150 -14
  34. package/dist/preview-runtime.js.map +1 -1
  35. package/dist/react-types.d.ts +1 -2
  36. package/dist/registry.d.ts +1412 -203
  37. package/dist/registry.js +30 -3
  38. package/dist/schemas/index.d.ts +1 -1
  39. package/dist/schemas/index.js +3 -2
  40. package/dist/storyAdapter.d.ts +1 -2
  41. package/dist/storyAdapter.js +11 -49
  42. package/dist/storyAdapter.js.map +1 -1
  43. package/dist/test-utils.d.ts +3 -2
  44. package/dist/topology/index.d.ts +1 -1
  45. package/dist/topology/index.js +1 -1
  46. package/package.json +8 -2
  47. package/src/__tests__/contract-parser.test.ts +318 -277
  48. package/src/__tests__/preview-runtime-hook.test.tsx +315 -0
  49. package/src/__tests__/preview-runtime.test.tsx +30 -8
  50. package/src/__tests__/schema.test.ts +191 -14
  51. package/src/analysis-plan/analysis-plan-v1.test.ts +320 -0
  52. package/src/analysis-plan/coverage.ts +181 -0
  53. package/src/analysis-plan/digest.ts +141 -0
  54. package/src/analysis-plan/index.ts +34 -0
  55. package/src/analysis-plan/types.ts +207 -0
  56. package/src/approved-contract-tokens.test.ts +39 -0
  57. package/src/approved-contract-tokens.ts +18 -0
  58. package/src/codes/__tests__/codes.test.ts +13 -0
  59. package/src/codes/codes.ts +40 -0
  60. package/src/compiled-types/index.ts +640 -39
  61. package/src/compiled-types/parse.test.ts +145 -4
  62. package/src/component-contract.ts +95 -53
  63. package/src/composition.ts +7 -13
  64. package/src/constants.ts +3 -6
  65. package/src/contract/hash.test.ts +20 -0
  66. package/src/contract/hash.ts +66 -9
  67. package/src/contract/index.ts +24 -1
  68. package/src/contract/manifest.test.ts +94 -0
  69. package/src/contract/manifest.ts +68 -0
  70. package/src/contract/preimage.test.ts +219 -1
  71. package/src/contract/preimage.ts +326 -6
  72. package/src/contract/stamp.test.ts +3 -0
  73. package/src/contract/stamp.ts +1 -1
  74. package/src/contract-parser.ts +54 -30
  75. package/src/defineFragment.test.ts +476 -91
  76. package/src/defineFragment.ts +204 -114
  77. package/src/domain-ids.test.ts +35 -0
  78. package/src/domain-ids.ts +61 -0
  79. package/src/evaluation/evaluate.test.ts +522 -0
  80. package/src/evaluation/evaluate.ts +690 -0
  81. package/src/evaluation/evaluation-v2-receipt-v1.test.ts +772 -0
  82. package/src/evaluation/index.ts +58 -0
  83. package/src/evaluation/receipt.ts +753 -0
  84. package/src/evaluation/types.ts +406 -0
  85. package/src/facts/builders.ts +2 -0
  86. package/src/facts/compile.ts +29 -6
  87. package/src/facts/fact-index.ts +13 -3
  88. package/src/facts/fact-integrity-v1.test.ts +172 -0
  89. package/src/facts/facts.test.ts +15 -0
  90. package/src/facts/ids.ts +46 -3
  91. package/src/facts/index.ts +14 -1
  92. package/src/facts/integrity.ts +134 -0
  93. package/src/facts/types.ts +36 -0
  94. package/src/governance-integrity.test.ts +1 -0
  95. package/src/governance-integrity.ts +5 -3
  96. package/src/governance-telemetry.ts +8 -0
  97. package/src/governance.ts +70 -8
  98. package/src/index.ts +230 -37
  99. package/src/preview/validation.test.ts +62 -0
  100. package/src/preview/validation.ts +48 -2
  101. package/src/preview-runtime.tsx +227 -20
  102. package/src/registry-install-plan.ts +200 -109
  103. package/src/registry-shards.test.ts +263 -0
  104. package/src/registry.ts +237 -0
  105. package/src/repository-binding.test.ts +50 -0
  106. package/src/repository-binding.ts +96 -0
  107. package/src/rules/families.test.ts +36 -0
  108. package/src/rules/finding.ts +7 -2
  109. package/src/rules/index.ts +17 -1
  110. package/src/rules/rule-config.test.ts +66 -0
  111. package/src/rules/rule-config.ts +73 -0
  112. package/src/rules/rules.test.ts +26 -0
  113. package/src/rules/tokens-css-vars-must-be-defined.test.ts +51 -2
  114. package/src/rules/tokens-css-vars-must-be-defined.ts +34 -1
  115. package/src/schema.ts +293 -113
  116. package/src/schemas/index.ts +1 -1
  117. package/src/storyAdapter.test.ts +68 -12
  118. package/src/storyAdapter.ts +44 -75
  119. package/src/topology/resolve-area.ts +1 -1
  120. package/src/types.ts +258 -40
  121. package/dist/chunk-3LLRNCPX.js.map +0 -1
  122. package/dist/chunk-RANPUC6C.js +0 -72
  123. package/dist/chunk-RANPUC6C.js.map +0 -1
  124. package/dist/chunk-XN3LSDPY.js.map +0 -1
  125. package/dist/chunk-YF65VYRY.js.map +0 -1
  126. package/src/fragment-types.ts +0 -214
  127. package/src/react-create-element.test.ts +0 -22
  128. package/src/react-create-element.ts +0 -12
  129. package/src/storyFilters.test.ts +0 -350
  130. package/src/storyFilters.ts +0 -253
@@ -532,9 +532,9 @@ declare const violationSchema: z.ZodObject<{
532
532
  }, "strip", z.ZodTypeAny, {
533
533
  message: string;
534
534
  severity: "critical" | "serious" | "moderate" | "minor";
535
+ rule: string;
535
536
  nodeId: string;
536
537
  nodeType: string;
537
- rule: string;
538
538
  code?: string | undefined;
539
539
  path?: string | undefined;
540
540
  prop?: string | undefined;
@@ -549,9 +549,9 @@ declare const violationSchema: z.ZodObject<{
549
549
  }, {
550
550
  message: string;
551
551
  severity: "critical" | "serious" | "moderate" | "minor";
552
+ rule: string;
552
553
  nodeId: string;
553
554
  nodeType: string;
554
- rule: string;
555
555
  code?: string | undefined;
556
556
  path?: string | undefined;
557
557
  prop?: string | undefined;
@@ -572,14 +572,14 @@ declare const fixSchema: z.ZodObject<{
572
572
  value: z.ZodOptional<z.ZodUnknown>;
573
573
  description: z.ZodString;
574
574
  }, "strip", z.ZodTypeAny, {
575
- nodeId: string;
576
575
  description: string;
576
+ nodeId: string;
577
577
  action: "replace" | "remove" | "add";
578
578
  value?: unknown;
579
579
  prop?: string | undefined;
580
580
  }, {
581
- nodeId: string;
582
581
  description: string;
582
+ nodeId: string;
583
583
  action: "replace" | "remove" | "add";
584
584
  value?: unknown;
585
585
  prop?: string | undefined;
@@ -609,9 +609,9 @@ declare const validatorResultSchema: z.ZodObject<{
609
609
  }, "strip", z.ZodTypeAny, {
610
610
  message: string;
611
611
  severity: "critical" | "serious" | "moderate" | "minor";
612
+ rule: string;
612
613
  nodeId: string;
613
614
  nodeType: string;
614
- rule: string;
615
615
  code?: string | undefined;
616
616
  path?: string | undefined;
617
617
  prop?: string | undefined;
@@ -626,9 +626,9 @@ declare const validatorResultSchema: z.ZodObject<{
626
626
  }, {
627
627
  message: string;
628
628
  severity: "critical" | "serious" | "moderate" | "minor";
629
+ rule: string;
629
630
  nodeId: string;
630
631
  nodeType: string;
631
- rule: string;
632
632
  code?: string | undefined;
633
633
  path?: string | undefined;
634
634
  prop?: string | undefined;
@@ -921,14 +921,14 @@ declare const validatorResultSchema: z.ZodObject<{
921
921
  value: z.ZodOptional<z.ZodUnknown>;
922
922
  description: z.ZodString;
923
923
  }, "strip", z.ZodTypeAny, {
924
- nodeId: string;
925
924
  description: string;
925
+ nodeId: string;
926
926
  action: "replace" | "remove" | "add";
927
927
  value?: unknown;
928
928
  prop?: string | undefined;
929
929
  }, {
930
- nodeId: string;
931
930
  description: string;
931
+ nodeId: string;
932
932
  action: "replace" | "remove" | "add";
933
933
  value?: unknown;
934
934
  prop?: string | undefined;
@@ -940,9 +940,9 @@ declare const validatorResultSchema: z.ZodObject<{
940
940
  violations: {
941
941
  message: string;
942
942
  severity: "critical" | "serious" | "moderate" | "minor";
943
+ rule: string;
943
944
  nodeId: string;
944
945
  nodeType: string;
945
- rule: string;
946
946
  code?: string | undefined;
947
947
  path?: string | undefined;
948
948
  prop?: string | undefined;
@@ -1016,8 +1016,8 @@ declare const validatorResultSchema: z.ZodObject<{
1016
1016
  attributes?: Record<string, unknown> | undefined;
1017
1017
  }[] | undefined;
1018
1018
  suggestions?: {
1019
- nodeId: string;
1020
1019
  description: string;
1020
+ nodeId: string;
1021
1021
  action: "replace" | "remove" | "add";
1022
1022
  value?: unknown;
1023
1023
  prop?: string | undefined;
@@ -1029,9 +1029,9 @@ declare const validatorResultSchema: z.ZodObject<{
1029
1029
  violations: {
1030
1030
  message: string;
1031
1031
  severity: "critical" | "serious" | "moderate" | "minor";
1032
+ rule: string;
1032
1033
  nodeId: string;
1033
1034
  nodeType: string;
1034
- rule: string;
1035
1035
  code?: string | undefined;
1036
1036
  path?: string | undefined;
1037
1037
  prop?: string | undefined;
@@ -1105,8 +1105,8 @@ declare const validatorResultSchema: z.ZodObject<{
1105
1105
  attributes?: Record<string, unknown> | undefined;
1106
1106
  }[] | undefined;
1107
1107
  suggestions?: {
1108
- nodeId: string;
1109
1108
  description: string;
1109
+ nodeId: string;
1110
1110
  action: "replace" | "remove" | "add";
1111
1111
  value?: unknown;
1112
1112
  prop?: string | undefined;
@@ -1120,15 +1120,15 @@ declare const governanceVerdictMetadataSchema: z.ZodObject<{
1120
1120
  nodeCount: z.ZodNumber;
1121
1121
  componentTypes: z.ZodArray<z.ZodString, "many">;
1122
1122
  }, "strip", z.ZodTypeAny, {
1123
+ nodeCount: number;
1123
1124
  duration: number;
1124
1125
  runner: string;
1125
- nodeCount: number;
1126
1126
  componentTypes: string[];
1127
1127
  policyVersion?: string | undefined;
1128
1128
  }, {
1129
+ nodeCount: number;
1129
1130
  duration: number;
1130
1131
  runner: string;
1131
- nodeCount: number;
1132
1132
  componentTypes: string[];
1133
1133
  policyVersion?: string | undefined;
1134
1134
  }>;
@@ -1161,9 +1161,9 @@ declare const governanceVerdictSchema: z.ZodObject<{
1161
1161
  }, "strip", z.ZodTypeAny, {
1162
1162
  message: string;
1163
1163
  severity: "critical" | "serious" | "moderate" | "minor";
1164
+ rule: string;
1164
1165
  nodeId: string;
1165
1166
  nodeType: string;
1166
- rule: string;
1167
1167
  code?: string | undefined;
1168
1168
  path?: string | undefined;
1169
1169
  prop?: string | undefined;
@@ -1178,9 +1178,9 @@ declare const governanceVerdictSchema: z.ZodObject<{
1178
1178
  }, {
1179
1179
  message: string;
1180
1180
  severity: "critical" | "serious" | "moderate" | "minor";
1181
+ rule: string;
1181
1182
  nodeId: string;
1182
1183
  nodeType: string;
1183
- rule: string;
1184
1184
  code?: string | undefined;
1185
1185
  path?: string | undefined;
1186
1186
  prop?: string | undefined;
@@ -1473,14 +1473,14 @@ declare const governanceVerdictSchema: z.ZodObject<{
1473
1473
  value: z.ZodOptional<z.ZodUnknown>;
1474
1474
  description: z.ZodString;
1475
1475
  }, "strip", z.ZodTypeAny, {
1476
- nodeId: string;
1477
1476
  description: string;
1477
+ nodeId: string;
1478
1478
  action: "replace" | "remove" | "add";
1479
1479
  value?: unknown;
1480
1480
  prop?: string | undefined;
1481
1481
  }, {
1482
- nodeId: string;
1483
1482
  description: string;
1483
+ nodeId: string;
1484
1484
  action: "replace" | "remove" | "add";
1485
1485
  value?: unknown;
1486
1486
  prop?: string | undefined;
@@ -1492,9 +1492,9 @@ declare const governanceVerdictSchema: z.ZodObject<{
1492
1492
  violations: {
1493
1493
  message: string;
1494
1494
  severity: "critical" | "serious" | "moderate" | "minor";
1495
+ rule: string;
1495
1496
  nodeId: string;
1496
1497
  nodeType: string;
1497
- rule: string;
1498
1498
  code?: string | undefined;
1499
1499
  path?: string | undefined;
1500
1500
  prop?: string | undefined;
@@ -1568,8 +1568,8 @@ declare const governanceVerdictSchema: z.ZodObject<{
1568
1568
  attributes?: Record<string, unknown> | undefined;
1569
1569
  }[] | undefined;
1570
1570
  suggestions?: {
1571
- nodeId: string;
1572
1571
  description: string;
1572
+ nodeId: string;
1573
1573
  action: "replace" | "remove" | "add";
1574
1574
  value?: unknown;
1575
1575
  prop?: string | undefined;
@@ -1581,9 +1581,9 @@ declare const governanceVerdictSchema: z.ZodObject<{
1581
1581
  violations: {
1582
1582
  message: string;
1583
1583
  severity: "critical" | "serious" | "moderate" | "minor";
1584
+ rule: string;
1584
1585
  nodeId: string;
1585
1586
  nodeType: string;
1586
- rule: string;
1587
1587
  code?: string | undefined;
1588
1588
  path?: string | undefined;
1589
1589
  prop?: string | undefined;
@@ -1657,8 +1657,8 @@ declare const governanceVerdictSchema: z.ZodObject<{
1657
1657
  attributes?: Record<string, unknown> | undefined;
1658
1658
  }[] | undefined;
1659
1659
  suggestions?: {
1660
- nodeId: string;
1661
1660
  description: string;
1661
+ nodeId: string;
1662
1662
  action: "replace" | "remove" | "add";
1663
1663
  value?: unknown;
1664
1664
  prop?: string | undefined;
@@ -1671,23 +1671,23 @@ declare const governanceVerdictSchema: z.ZodObject<{
1671
1671
  nodeCount: z.ZodNumber;
1672
1672
  componentTypes: z.ZodArray<z.ZodString, "many">;
1673
1673
  }, "strip", z.ZodTypeAny, {
1674
+ nodeCount: number;
1674
1675
  duration: number;
1675
1676
  runner: string;
1676
- nodeCount: number;
1677
1677
  componentTypes: string[];
1678
1678
  policyVersion?: string | undefined;
1679
1679
  }, {
1680
+ nodeCount: number;
1680
1681
  duration: number;
1681
1682
  runner: string;
1682
- nodeCount: number;
1683
1683
  componentTypes: string[];
1684
1684
  policyVersion?: string | undefined;
1685
1685
  }>;
1686
1686
  }, "strip", z.ZodTypeAny, {
1687
1687
  metadata: {
1688
+ nodeCount: number;
1688
1689
  duration: number;
1689
1690
  runner: string;
1690
- nodeCount: number;
1691
1691
  componentTypes: string[];
1692
1692
  policyVersion?: string | undefined;
1693
1693
  };
@@ -1700,9 +1700,9 @@ declare const governanceVerdictSchema: z.ZodObject<{
1700
1700
  violations: {
1701
1701
  message: string;
1702
1702
  severity: "critical" | "serious" | "moderate" | "minor";
1703
+ rule: string;
1703
1704
  nodeId: string;
1704
1705
  nodeType: string;
1705
- rule: string;
1706
1706
  code?: string | undefined;
1707
1707
  path?: string | undefined;
1708
1708
  prop?: string | undefined;
@@ -1776,8 +1776,8 @@ declare const governanceVerdictSchema: z.ZodObject<{
1776
1776
  attributes?: Record<string, unknown> | undefined;
1777
1777
  }[] | undefined;
1778
1778
  suggestions?: {
1779
- nodeId: string;
1780
1779
  description: string;
1780
+ nodeId: string;
1781
1781
  action: "replace" | "remove" | "add";
1782
1782
  value?: unknown;
1783
1783
  prop?: string | undefined;
@@ -1786,9 +1786,9 @@ declare const governanceVerdictSchema: z.ZodObject<{
1786
1786
  verdict?: "pass" | "fail" | "warn" | undefined;
1787
1787
  }, {
1788
1788
  metadata: {
1789
+ nodeCount: number;
1789
1790
  duration: number;
1790
1791
  runner: string;
1791
- nodeCount: number;
1792
1792
  componentTypes: string[];
1793
1793
  policyVersion?: string | undefined;
1794
1794
  };
@@ -1801,9 +1801,9 @@ declare const governanceVerdictSchema: z.ZodObject<{
1801
1801
  violations: {
1802
1802
  message: string;
1803
1803
  severity: "critical" | "serious" | "moderate" | "minor";
1804
+ rule: string;
1804
1805
  nodeId: string;
1805
1806
  nodeType: string;
1806
- rule: string;
1807
1807
  code?: string | undefined;
1808
1808
  path?: string | undefined;
1809
1809
  prop?: string | undefined;
@@ -1877,8 +1877,8 @@ declare const governanceVerdictSchema: z.ZodObject<{
1877
1877
  attributes?: Record<string, unknown> | undefined;
1878
1878
  }[] | undefined;
1879
1879
  suggestions?: {
1880
- nodeId: string;
1881
1880
  description: string;
1881
+ nodeId: string;
1882
1882
  action: "replace" | "remove" | "add";
1883
1883
  value?: unknown;
1884
1884
  prop?: string | undefined;
@@ -1896,7 +1896,7 @@ declare const suppressionDirectiveSchema: z.ZodObject<{
1896
1896
  code: z.ZodOptional<z.ZodString>;
1897
1897
  }, "strip", z.ZodTypeAny, {
1898
1898
  reason: string;
1899
- scope: "file" | "line" | "block";
1899
+ scope: "block" | "file" | "line";
1900
1900
  code?: string | undefined;
1901
1901
  ruleId?: string | undefined;
1902
1902
  expiresOn?: string | undefined;
@@ -1905,8 +1905,8 @@ declare const suppressionDirectiveSchema: z.ZodObject<{
1905
1905
  reason: string;
1906
1906
  code?: string | undefined;
1907
1907
  ruleId?: string | undefined;
1908
- scope?: "file" | "line" | "block" | undefined;
1909
1908
  expiresOn?: string | undefined;
1909
+ scope?: "block" | "file" | "line" | undefined;
1910
1910
  expiresAt?: string | undefined;
1911
1911
  }>;
1912
1912
  type SuppressionDirective = z.infer<typeof suppressionDirectiveSchema>;
@@ -1916,12 +1916,12 @@ declare const agentPlanSchema: z.ZodObject<{
1916
1916
  confidence: z.ZodNumber;
1917
1917
  }, "strip", z.ZodTypeAny, {
1918
1918
  confidence: number;
1919
- tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
1920
1919
  args: Record<string, unknown>;
1920
+ tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
1921
1921
  }, {
1922
1922
  confidence: number;
1923
- tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
1924
1923
  args: Record<string, unknown>;
1924
+ tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
1925
1925
  }>;
1926
1926
  declare const agentFindingSchema: z.ZodObject<{
1927
1927
  code: z.ZodOptional<z.ZodString>;
@@ -1940,26 +1940,26 @@ declare const agentFindingSchema: z.ZodObject<{
1940
1940
  confidence: z.ZodNumber;
1941
1941
  }, "strip", z.ZodTypeAny, {
1942
1942
  confidence: number;
1943
- tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
1944
1943
  args: Record<string, unknown>;
1944
+ tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
1945
1945
  }, {
1946
1946
  confidence: number;
1947
- tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
1948
1947
  args: Record<string, unknown>;
1948
+ tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
1949
1949
  }>;
1950
1950
  }, "strip", z.ZodTypeAny, {
1951
1951
  message: string;
1952
1952
  ruleId: string;
1953
1953
  severity: "critical" | "serious" | "moderate" | "minor";
1954
1954
  filePath: string;
1955
- evidence: FactEvidence[];
1956
1955
  line: number;
1956
+ evidence: FactEvidence[];
1957
1957
  level: "error" | "warn";
1958
1958
  col: number;
1959
1959
  plan: {
1960
1960
  confidence: number;
1961
- tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
1962
1961
  args: Record<string, unknown>;
1962
+ tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
1963
1963
  };
1964
1964
  code?: string | undefined;
1965
1965
  evidenceGrade?: EvidenceGrade | undefined;
@@ -1968,14 +1968,14 @@ declare const agentFindingSchema: z.ZodObject<{
1968
1968
  ruleId: string;
1969
1969
  severity: "critical" | "serious" | "moderate" | "minor";
1970
1970
  filePath: string;
1971
- evidence: FactEvidence[];
1972
1971
  line: number;
1972
+ evidence: FactEvidence[];
1973
1973
  level: "error" | "warn";
1974
1974
  col: number;
1975
1975
  plan: {
1976
1976
  confidence: number;
1977
- tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
1978
1977
  args: Record<string, unknown>;
1978
+ tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
1979
1979
  };
1980
1980
  code?: string | undefined;
1981
1981
  evidenceGrade?: EvidenceGrade | undefined;
@@ -1989,14 +1989,14 @@ declare const agentIntegritySchema: z.ZodObject<{
1989
1989
  reasons: z.ZodArray<z.ZodString, "many">;
1990
1990
  }, "strip", z.ZodTypeAny, {
1991
1991
  status: "healthy" | "degraded" | "inert";
1992
- rulesLoaded: number;
1993
1992
  healthy: boolean;
1993
+ rulesLoaded: number;
1994
1994
  inert: boolean;
1995
1995
  reasons: string[];
1996
1996
  }, {
1997
1997
  status: "healthy" | "degraded" | "inert";
1998
- rulesLoaded: number;
1999
1998
  healthy: boolean;
1999
+ rulesLoaded: number;
2000
2000
  inert: boolean;
2001
2001
  reasons: string[];
2002
2002
  }>;
@@ -2020,26 +2020,26 @@ declare const agentFormatSchema: z.ZodUnion<[z.ZodObject<{
2020
2020
  confidence: z.ZodNumber;
2021
2021
  }, "strip", z.ZodTypeAny, {
2022
2022
  confidence: number;
2023
- tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
2024
2023
  args: Record<string, unknown>;
2024
+ tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
2025
2025
  }, {
2026
2026
  confidence: number;
2027
- tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
2028
2027
  args: Record<string, unknown>;
2028
+ tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
2029
2029
  }>;
2030
2030
  }, "strip", z.ZodTypeAny, {
2031
2031
  message: string;
2032
2032
  ruleId: string;
2033
2033
  severity: "critical" | "serious" | "moderate" | "minor";
2034
2034
  filePath: string;
2035
- evidence: FactEvidence[];
2036
2035
  line: number;
2036
+ evidence: FactEvidence[];
2037
2037
  level: "error" | "warn";
2038
2038
  col: number;
2039
2039
  plan: {
2040
2040
  confidence: number;
2041
- tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
2042
2041
  args: Record<string, unknown>;
2042
+ tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
2043
2043
  };
2044
2044
  code?: string | undefined;
2045
2045
  evidenceGrade?: EvidenceGrade | undefined;
@@ -2048,14 +2048,14 @@ declare const agentFormatSchema: z.ZodUnion<[z.ZodObject<{
2048
2048
  ruleId: string;
2049
2049
  severity: "critical" | "serious" | "moderate" | "minor";
2050
2050
  filePath: string;
2051
- evidence: FactEvidence[];
2052
2051
  line: number;
2052
+ evidence: FactEvidence[];
2053
2053
  level: "error" | "warn";
2054
2054
  col: number;
2055
2055
  plan: {
2056
2056
  confidence: number;
2057
- tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
2058
2057
  args: Record<string, unknown>;
2058
+ tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
2059
2059
  };
2060
2060
  code?: string | undefined;
2061
2061
  evidenceGrade?: EvidenceGrade | undefined;
@@ -2077,26 +2077,26 @@ declare const agentFormatSchema: z.ZodUnion<[z.ZodObject<{
2077
2077
  confidence: z.ZodNumber;
2078
2078
  }, "strip", z.ZodTypeAny, {
2079
2079
  confidence: number;
2080
- tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
2081
2080
  args: Record<string, unknown>;
2081
+ tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
2082
2082
  }, {
2083
2083
  confidence: number;
2084
- tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
2085
2084
  args: Record<string, unknown>;
2085
+ tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
2086
2086
  }>;
2087
2087
  }, "strip", z.ZodTypeAny, {
2088
2088
  message: string;
2089
2089
  ruleId: string;
2090
2090
  severity: "critical" | "serious" | "moderate" | "minor";
2091
2091
  filePath: string;
2092
- evidence: FactEvidence[];
2093
2092
  line: number;
2093
+ evidence: FactEvidence[];
2094
2094
  level: "error" | "warn";
2095
2095
  col: number;
2096
2096
  plan: {
2097
2097
  confidence: number;
2098
- tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
2099
2098
  args: Record<string, unknown>;
2099
+ tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
2100
2100
  };
2101
2101
  code?: string | undefined;
2102
2102
  evidenceGrade?: EvidenceGrade | undefined;
@@ -2105,14 +2105,14 @@ declare const agentFormatSchema: z.ZodUnion<[z.ZodObject<{
2105
2105
  ruleId: string;
2106
2106
  severity: "critical" | "serious" | "moderate" | "minor";
2107
2107
  filePath: string;
2108
- evidence: FactEvidence[];
2109
2108
  line: number;
2109
+ evidence: FactEvidence[];
2110
2110
  level: "error" | "warn";
2111
2111
  col: number;
2112
2112
  plan: {
2113
2113
  confidence: number;
2114
- tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
2115
2114
  args: Record<string, unknown>;
2115
+ tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
2116
2116
  };
2117
2117
  code?: string | undefined;
2118
2118
  evidenceGrade?: EvidenceGrade | undefined;
@@ -2425,7 +2425,7 @@ declare const agentFormatSchema: z.ZodUnion<[z.ZodObject<{
2425
2425
  code: z.ZodOptional<z.ZodString>;
2426
2426
  }, "strip", z.ZodTypeAny, {
2427
2427
  reason: string;
2428
- scope: "file" | "line" | "block";
2428
+ scope: "block" | "file" | "line";
2429
2429
  code?: string | undefined;
2430
2430
  ruleId?: string | undefined;
2431
2431
  expiresOn?: string | undefined;
@@ -2434,8 +2434,8 @@ declare const agentFormatSchema: z.ZodUnion<[z.ZodObject<{
2434
2434
  reason: string;
2435
2435
  code?: string | undefined;
2436
2436
  ruleId?: string | undefined;
2437
- scope?: "file" | "line" | "block" | undefined;
2438
2437
  expiresOn?: string | undefined;
2438
+ scope?: "block" | "file" | "line" | undefined;
2439
2439
  expiresAt?: string | undefined;
2440
2440
  }>, "many">>;
2441
2441
  provenance: z.ZodOptional<z.ZodObject<{
@@ -2508,26 +2508,31 @@ declare const agentFormatSchema: z.ZodUnion<[z.ZodObject<{
2508
2508
  rulesLoaded: z.ZodNumber;
2509
2509
  }, "strip", z.ZodTypeAny, {
2510
2510
  status: "healthy" | "degraded" | "inert";
2511
- rulesLoaded: number;
2512
2511
  healthy: boolean;
2512
+ rulesLoaded: number;
2513
2513
  inert: boolean;
2514
2514
  reasons: string[];
2515
2515
  }, {
2516
2516
  status: "healthy" | "degraded" | "inert";
2517
- rulesLoaded: number;
2518
2517
  healthy: boolean;
2518
+ rulesLoaded: number;
2519
2519
  inert: boolean;
2520
2520
  reasons: string[];
2521
2521
  }>;
2522
2522
  }, "strip", z.ZodTypeAny, {
2523
2523
  schemaVersion: "typestyle.agent.v2";
2524
2524
  summary: string;
2525
+ budget: {
2526
+ iteration: number;
2527
+ maxIterations: number;
2528
+ scoreDelta: number;
2529
+ };
2525
2530
  passed: boolean;
2526
2531
  score: number;
2527
2532
  integrity: {
2528
2533
  status: "healthy" | "degraded" | "inert";
2529
- rulesLoaded: number;
2530
2534
  healthy: boolean;
2535
+ rulesLoaded: number;
2531
2536
  inert: boolean;
2532
2537
  reasons: string[];
2533
2538
  };
@@ -2536,14 +2541,14 @@ declare const agentFormatSchema: z.ZodUnion<[z.ZodObject<{
2536
2541
  ruleId: string;
2537
2542
  severity: "critical" | "serious" | "moderate" | "minor";
2538
2543
  filePath: string;
2539
- evidence: FactEvidence[];
2540
2544
  line: number;
2545
+ evidence: FactEvidence[];
2541
2546
  level: "error" | "warn";
2542
2547
  col: number;
2543
2548
  plan: {
2544
2549
  confidence: number;
2545
- tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
2546
2550
  args: Record<string, unknown>;
2551
+ tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
2547
2552
  };
2548
2553
  code?: string | undefined;
2549
2554
  evidenceGrade?: EvidenceGrade | undefined;
@@ -2553,14 +2558,14 @@ declare const agentFormatSchema: z.ZodUnion<[z.ZodObject<{
2553
2558
  ruleId: string;
2554
2559
  severity: "critical" | "serious" | "moderate" | "minor";
2555
2560
  filePath: string;
2556
- evidence: FactEvidence[];
2557
2561
  line: number;
2562
+ evidence: FactEvidence[];
2558
2563
  level: "error" | "warn";
2559
2564
  col: number;
2560
2565
  plan: {
2561
2566
  confidence: number;
2562
- tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
2563
2567
  args: Record<string, unknown>;
2568
+ tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
2564
2569
  };
2565
2570
  code?: string | undefined;
2566
2571
  evidenceGrade?: EvidenceGrade | undefined;
@@ -2570,14 +2575,9 @@ declare const agentFormatSchema: z.ZodUnion<[z.ZodObject<{
2570
2575
  requiredFields: string[];
2571
2576
  example: string;
2572
2577
  };
2573
- budget: {
2574
- iteration: number;
2575
- maxIterations: number;
2576
- scoreDelta: number;
2577
- };
2578
2578
  suppressions?: {
2579
2579
  reason: string;
2580
- scope: "file" | "line" | "block";
2580
+ scope: "block" | "file" | "line";
2581
2581
  code?: string | undefined;
2582
2582
  ruleId?: string | undefined;
2583
2583
  expiresOn?: string | undefined;
@@ -2589,6 +2589,19 @@ declare const agentFormatSchema: z.ZodUnion<[z.ZodObject<{
2589
2589
  gatingFindingCount: number;
2590
2590
  } | undefined;
2591
2591
  status?: undefined;
2592
+ provenance?: {
2593
+ scope: {
2594
+ method: "status" | "three-dot" | "tree-diff" | "fallback-full" | "explicit" | "full";
2595
+ gitOk: boolean;
2596
+ };
2597
+ fcid: string;
2598
+ runId: string;
2599
+ engineVersion: string;
2600
+ scopeHash: string;
2601
+ inputFilesHash: string;
2602
+ baselineId?: string | undefined;
2603
+ inputsHash?: string | undefined;
2604
+ } | undefined;
2592
2605
  findings?: {
2593
2606
  message: string;
2594
2607
  ruleId: string;
@@ -2650,28 +2663,20 @@ declare const agentFormatSchema: z.ZodUnion<[z.ZodObject<{
2650
2663
  attributes?: Record<string, unknown> | undefined;
2651
2664
  }[] | undefined;
2652
2665
  reasons?: undefined;
2653
- provenance?: {
2654
- scope: {
2655
- method: "status" | "three-dot" | "tree-diff" | "fallback-full" | "explicit" | "full";
2656
- gitOk: boolean;
2657
- };
2658
- fcid: string;
2659
- runId: string;
2660
- engineVersion: string;
2661
- scopeHash: string;
2662
- inputFilesHash: string;
2663
- baselineId?: string | undefined;
2664
- inputsHash?: string | undefined;
2665
- } | undefined;
2666
2666
  }, {
2667
2667
  schemaVersion: "typestyle.agent.v2";
2668
2668
  summary: string;
2669
+ budget: {
2670
+ iteration: number;
2671
+ maxIterations: number;
2672
+ scoreDelta: number;
2673
+ };
2669
2674
  passed: boolean;
2670
2675
  score: number;
2671
2676
  integrity: {
2672
2677
  status: "healthy" | "degraded" | "inert";
2673
- rulesLoaded: number;
2674
2678
  healthy: boolean;
2679
+ rulesLoaded: number;
2675
2680
  inert: boolean;
2676
2681
  reasons: string[];
2677
2682
  };
@@ -2680,14 +2685,14 @@ declare const agentFormatSchema: z.ZodUnion<[z.ZodObject<{
2680
2685
  ruleId: string;
2681
2686
  severity: "critical" | "serious" | "moderate" | "minor";
2682
2687
  filePath: string;
2683
- evidence: FactEvidence[];
2684
2688
  line: number;
2689
+ evidence: FactEvidence[];
2685
2690
  level: "error" | "warn";
2686
2691
  col: number;
2687
2692
  plan: {
2688
2693
  confidence: number;
2689
- tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
2690
2694
  args: Record<string, unknown>;
2695
+ tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
2691
2696
  };
2692
2697
  code?: string | undefined;
2693
2698
  evidenceGrade?: EvidenceGrade | undefined;
@@ -2697,14 +2702,14 @@ declare const agentFormatSchema: z.ZodUnion<[z.ZodObject<{
2697
2702
  ruleId: string;
2698
2703
  severity: "critical" | "serious" | "moderate" | "minor";
2699
2704
  filePath: string;
2700
- evidence: FactEvidence[];
2701
2705
  line: number;
2706
+ evidence: FactEvidence[];
2702
2707
  level: "error" | "warn";
2703
2708
  col: number;
2704
2709
  plan: {
2705
2710
  confidence: number;
2706
- tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
2707
2711
  args: Record<string, unknown>;
2712
+ tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
2708
2713
  };
2709
2714
  code?: string | undefined;
2710
2715
  evidenceGrade?: EvidenceGrade | undefined;
@@ -2714,17 +2719,12 @@ declare const agentFormatSchema: z.ZodUnion<[z.ZodObject<{
2714
2719
  requiredFields: string[];
2715
2720
  example: string;
2716
2721
  };
2717
- budget: {
2718
- iteration: number;
2719
- maxIterations: number;
2720
- scoreDelta: number;
2721
- };
2722
2722
  suppressions?: {
2723
2723
  reason: string;
2724
2724
  code?: string | undefined;
2725
2725
  ruleId?: string | undefined;
2726
- scope?: "file" | "line" | "block" | undefined;
2727
2726
  expiresOn?: string | undefined;
2727
+ scope?: "block" | "file" | "line" | undefined;
2728
2728
  expiresAt?: string | undefined;
2729
2729
  }[] | undefined;
2730
2730
  verdict?: {
@@ -2733,6 +2733,19 @@ declare const agentFormatSchema: z.ZodUnion<[z.ZodObject<{
2733
2733
  gatingFindingCount: number;
2734
2734
  } | undefined;
2735
2735
  status?: undefined;
2736
+ provenance?: {
2737
+ scope: {
2738
+ method: "status" | "three-dot" | "tree-diff" | "fallback-full" | "explicit" | "full";
2739
+ gitOk: boolean;
2740
+ };
2741
+ fcid: string;
2742
+ runId: string;
2743
+ engineVersion: string;
2744
+ scopeHash: string;
2745
+ inputFilesHash: string;
2746
+ baselineId?: string | undefined;
2747
+ inputsHash?: string | undefined;
2748
+ } | undefined;
2736
2749
  findings?: {
2737
2750
  message: string;
2738
2751
  ruleId: string;
@@ -2794,19 +2807,6 @@ declare const agentFormatSchema: z.ZodUnion<[z.ZodObject<{
2794
2807
  attributes?: Record<string, unknown> | undefined;
2795
2808
  }[] | undefined;
2796
2809
  reasons?: undefined;
2797
- provenance?: {
2798
- scope: {
2799
- method: "status" | "three-dot" | "tree-diff" | "fallback-full" | "explicit" | "full";
2800
- gitOk: boolean;
2801
- };
2802
- fcid: string;
2803
- runId: string;
2804
- engineVersion: string;
2805
- scopeHash: string;
2806
- inputFilesHash: string;
2807
- baselineId?: string | undefined;
2808
- inputsHash?: string | undefined;
2809
- } | undefined;
2810
2810
  }>, z.ZodObject<{
2811
2811
  schemaVersion: z.ZodLiteral<"typestyle.agent.v2">;
2812
2812
  summary: z.ZodString;
@@ -2827,26 +2827,26 @@ declare const agentFormatSchema: z.ZodUnion<[z.ZodObject<{
2827
2827
  confidence: z.ZodNumber;
2828
2828
  }, "strip", z.ZodTypeAny, {
2829
2829
  confidence: number;
2830
- tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
2831
2830
  args: Record<string, unknown>;
2831
+ tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
2832
2832
  }, {
2833
2833
  confidence: number;
2834
- tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
2835
2834
  args: Record<string, unknown>;
2835
+ tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
2836
2836
  }>;
2837
2837
  }, "strip", z.ZodTypeAny, {
2838
2838
  message: string;
2839
2839
  ruleId: string;
2840
2840
  severity: "critical" | "serious" | "moderate" | "minor";
2841
2841
  filePath: string;
2842
- evidence: FactEvidence[];
2843
2842
  line: number;
2843
+ evidence: FactEvidence[];
2844
2844
  level: "error" | "warn";
2845
2845
  col: number;
2846
2846
  plan: {
2847
2847
  confidence: number;
2848
- tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
2849
2848
  args: Record<string, unknown>;
2849
+ tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
2850
2850
  };
2851
2851
  code?: string | undefined;
2852
2852
  evidenceGrade?: EvidenceGrade | undefined;
@@ -2855,14 +2855,14 @@ declare const agentFormatSchema: z.ZodUnion<[z.ZodObject<{
2855
2855
  ruleId: string;
2856
2856
  severity: "critical" | "serious" | "moderate" | "minor";
2857
2857
  filePath: string;
2858
- evidence: FactEvidence[];
2859
2858
  line: number;
2859
+ evidence: FactEvidence[];
2860
2860
  level: "error" | "warn";
2861
2861
  col: number;
2862
2862
  plan: {
2863
2863
  confidence: number;
2864
- tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
2865
2864
  args: Record<string, unknown>;
2865
+ tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
2866
2866
  };
2867
2867
  code?: string | undefined;
2868
2868
  evidenceGrade?: EvidenceGrade | undefined;
@@ -2884,26 +2884,26 @@ declare const agentFormatSchema: z.ZodUnion<[z.ZodObject<{
2884
2884
  confidence: z.ZodNumber;
2885
2885
  }, "strip", z.ZodTypeAny, {
2886
2886
  confidence: number;
2887
- tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
2888
2887
  args: Record<string, unknown>;
2888
+ tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
2889
2889
  }, {
2890
2890
  confidence: number;
2891
- tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
2892
2891
  args: Record<string, unknown>;
2892
+ tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
2893
2893
  }>;
2894
2894
  }, "strip", z.ZodTypeAny, {
2895
2895
  message: string;
2896
2896
  ruleId: string;
2897
2897
  severity: "critical" | "serious" | "moderate" | "minor";
2898
2898
  filePath: string;
2899
- evidence: FactEvidence[];
2900
2899
  line: number;
2900
+ evidence: FactEvidence[];
2901
2901
  level: "error" | "warn";
2902
2902
  col: number;
2903
2903
  plan: {
2904
2904
  confidence: number;
2905
- tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
2906
2905
  args: Record<string, unknown>;
2906
+ tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
2907
2907
  };
2908
2908
  code?: string | undefined;
2909
2909
  evidenceGrade?: EvidenceGrade | undefined;
@@ -2912,14 +2912,14 @@ declare const agentFormatSchema: z.ZodUnion<[z.ZodObject<{
2912
2912
  ruleId: string;
2913
2913
  severity: "critical" | "serious" | "moderate" | "minor";
2914
2914
  filePath: string;
2915
- evidence: FactEvidence[];
2916
2915
  line: number;
2916
+ evidence: FactEvidence[];
2917
2917
  level: "error" | "warn";
2918
2918
  col: number;
2919
2919
  plan: {
2920
2920
  confidence: number;
2921
- tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
2922
2921
  args: Record<string, unknown>;
2922
+ tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
2923
2923
  };
2924
2924
  code?: string | undefined;
2925
2925
  evidenceGrade?: EvidenceGrade | undefined;
@@ -3232,7 +3232,7 @@ declare const agentFormatSchema: z.ZodUnion<[z.ZodObject<{
3232
3232
  code: z.ZodOptional<z.ZodString>;
3233
3233
  }, "strip", z.ZodTypeAny, {
3234
3234
  reason: string;
3235
- scope: "file" | "line" | "block";
3235
+ scope: "block" | "file" | "line";
3236
3236
  code?: string | undefined;
3237
3237
  ruleId?: string | undefined;
3238
3238
  expiresOn?: string | undefined;
@@ -3241,8 +3241,8 @@ declare const agentFormatSchema: z.ZodUnion<[z.ZodObject<{
3241
3241
  reason: string;
3242
3242
  code?: string | undefined;
3243
3243
  ruleId?: string | undefined;
3244
- scope?: "file" | "line" | "block" | undefined;
3245
3244
  expiresOn?: string | undefined;
3245
+ scope?: "block" | "file" | "line" | undefined;
3246
3246
  expiresAt?: string | undefined;
3247
3247
  }>, "many">>;
3248
3248
  provenance: z.ZodOptional<z.ZodObject<{
@@ -3315,14 +3315,14 @@ declare const agentFormatSchema: z.ZodUnion<[z.ZodObject<{
3315
3315
  rulesLoaded: z.ZodLiteral<0>;
3316
3316
  }, "strip", z.ZodTypeAny, {
3317
3317
  status: "healthy" | "degraded" | "inert";
3318
- rulesLoaded: 0;
3319
3318
  healthy: boolean;
3319
+ rulesLoaded: 0;
3320
3320
  inert: boolean;
3321
3321
  reasons: string[];
3322
3322
  }, {
3323
3323
  status: "healthy" | "degraded" | "inert";
3324
- rulesLoaded: 0;
3325
3324
  healthy: boolean;
3325
+ rulesLoaded: 0;
3326
3326
  inert: boolean;
3327
3327
  reasons: string[];
3328
3328
  }>;
@@ -3330,12 +3330,17 @@ declare const agentFormatSchema: z.ZodUnion<[z.ZodObject<{
3330
3330
  schemaVersion: "typestyle.agent.v2";
3331
3331
  summary: string;
3332
3332
  status: "indeterminate";
3333
+ budget: {
3334
+ iteration: number;
3335
+ maxIterations: number;
3336
+ scoreDelta: number;
3337
+ };
3333
3338
  passed: false;
3334
3339
  reasons: ["zero_rules_loaded"];
3335
3340
  integrity: {
3336
3341
  status: "healthy" | "degraded" | "inert";
3337
- rulesLoaded: 0;
3338
3342
  healthy: boolean;
3343
+ rulesLoaded: 0;
3339
3344
  inert: boolean;
3340
3345
  reasons: string[];
3341
3346
  };
@@ -3344,14 +3349,14 @@ declare const agentFormatSchema: z.ZodUnion<[z.ZodObject<{
3344
3349
  ruleId: string;
3345
3350
  severity: "critical" | "serious" | "moderate" | "minor";
3346
3351
  filePath: string;
3347
- evidence: FactEvidence[];
3348
3352
  line: number;
3353
+ evidence: FactEvidence[];
3349
3354
  level: "error" | "warn";
3350
3355
  col: number;
3351
3356
  plan: {
3352
3357
  confidence: number;
3353
- tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
3354
3358
  args: Record<string, unknown>;
3359
+ tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
3355
3360
  };
3356
3361
  code?: string | undefined;
3357
3362
  evidenceGrade?: EvidenceGrade | undefined;
@@ -3361,14 +3366,14 @@ declare const agentFormatSchema: z.ZodUnion<[z.ZodObject<{
3361
3366
  ruleId: string;
3362
3367
  severity: "critical" | "serious" | "moderate" | "minor";
3363
3368
  filePath: string;
3364
- evidence: FactEvidence[];
3365
3369
  line: number;
3370
+ evidence: FactEvidence[];
3366
3371
  level: "error" | "warn";
3367
3372
  col: number;
3368
3373
  plan: {
3369
3374
  confidence: number;
3370
- tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
3371
3375
  args: Record<string, unknown>;
3376
+ tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
3372
3377
  };
3373
3378
  code?: string | undefined;
3374
3379
  evidenceGrade?: EvidenceGrade | undefined;
@@ -3378,14 +3383,9 @@ declare const agentFormatSchema: z.ZodUnion<[z.ZodObject<{
3378
3383
  requiredFields: string[];
3379
3384
  example: string;
3380
3385
  };
3381
- budget: {
3382
- iteration: number;
3383
- maxIterations: number;
3384
- scoreDelta: number;
3385
- };
3386
3386
  suppressions?: {
3387
3387
  reason: string;
3388
- scope: "file" | "line" | "block";
3388
+ scope: "block" | "file" | "line";
3389
3389
  code?: string | undefined;
3390
3390
  ruleId?: string | undefined;
3391
3391
  expiresOn?: string | undefined;
@@ -3396,14 +3396,27 @@ declare const agentFormatSchema: z.ZodUnion<[z.ZodObject<{
3396
3396
  exitCode: 0 | 1;
3397
3397
  gatingFindingCount: number;
3398
3398
  } | undefined;
3399
- findings?: {
3400
- message: string;
3401
- ruleId: string;
3402
- severity: "critical" | "serious" | "moderate" | "minor";
3403
- location: {
3404
- file: string;
3405
- line: number;
3406
- column: number;
3399
+ provenance?: {
3400
+ scope: {
3401
+ method: "status" | "three-dot" | "tree-diff" | "fallback-full" | "explicit" | "full";
3402
+ gitOk: boolean;
3403
+ };
3404
+ fcid: string;
3405
+ runId: string;
3406
+ engineVersion: string;
3407
+ scopeHash: string;
3408
+ inputFilesHash: string;
3409
+ baselineId?: string | undefined;
3410
+ inputsHash?: string | undefined;
3411
+ } | undefined;
3412
+ findings?: {
3413
+ message: string;
3414
+ ruleId: string;
3415
+ severity: "critical" | "serious" | "moderate" | "minor";
3416
+ location: {
3417
+ file: string;
3418
+ line: number;
3419
+ column: number;
3407
3420
  endLine?: number | undefined;
3408
3421
  endColumn?: number | undefined;
3409
3422
  };
@@ -3457,29 +3470,21 @@ declare const agentFormatSchema: z.ZodUnion<[z.ZodObject<{
3457
3470
  attributes?: Record<string, unknown> | undefined;
3458
3471
  }[] | undefined;
3459
3472
  score?: undefined;
3460
- provenance?: {
3461
- scope: {
3462
- method: "status" | "three-dot" | "tree-diff" | "fallback-full" | "explicit" | "full";
3463
- gitOk: boolean;
3464
- };
3465
- fcid: string;
3466
- runId: string;
3467
- engineVersion: string;
3468
- scopeHash: string;
3469
- inputFilesHash: string;
3470
- baselineId?: string | undefined;
3471
- inputsHash?: string | undefined;
3472
- } | undefined;
3473
3473
  }, {
3474
3474
  schemaVersion: "typestyle.agent.v2";
3475
3475
  summary: string;
3476
3476
  status: "indeterminate";
3477
+ budget: {
3478
+ iteration: number;
3479
+ maxIterations: number;
3480
+ scoreDelta: number;
3481
+ };
3477
3482
  passed: false;
3478
3483
  reasons: ["zero_rules_loaded"];
3479
3484
  integrity: {
3480
3485
  status: "healthy" | "degraded" | "inert";
3481
- rulesLoaded: 0;
3482
3486
  healthy: boolean;
3487
+ rulesLoaded: 0;
3483
3488
  inert: boolean;
3484
3489
  reasons: string[];
3485
3490
  };
@@ -3488,14 +3493,14 @@ declare const agentFormatSchema: z.ZodUnion<[z.ZodObject<{
3488
3493
  ruleId: string;
3489
3494
  severity: "critical" | "serious" | "moderate" | "minor";
3490
3495
  filePath: string;
3491
- evidence: FactEvidence[];
3492
3496
  line: number;
3497
+ evidence: FactEvidence[];
3493
3498
  level: "error" | "warn";
3494
3499
  col: number;
3495
3500
  plan: {
3496
3501
  confidence: number;
3497
- tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
3498
3502
  args: Record<string, unknown>;
3503
+ tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
3499
3504
  };
3500
3505
  code?: string | undefined;
3501
3506
  evidenceGrade?: EvidenceGrade | undefined;
@@ -3505,14 +3510,14 @@ declare const agentFormatSchema: z.ZodUnion<[z.ZodObject<{
3505
3510
  ruleId: string;
3506
3511
  severity: "critical" | "serious" | "moderate" | "minor";
3507
3512
  filePath: string;
3508
- evidence: FactEvidence[];
3509
3513
  line: number;
3514
+ evidence: FactEvidence[];
3510
3515
  level: "error" | "warn";
3511
3516
  col: number;
3512
3517
  plan: {
3513
3518
  confidence: number;
3514
- tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
3515
3519
  args: Record<string, unknown>;
3520
+ tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
3516
3521
  };
3517
3522
  code?: string | undefined;
3518
3523
  evidenceGrade?: EvidenceGrade | undefined;
@@ -3522,17 +3527,12 @@ declare const agentFormatSchema: z.ZodUnion<[z.ZodObject<{
3522
3527
  requiredFields: string[];
3523
3528
  example: string;
3524
3529
  };
3525
- budget: {
3526
- iteration: number;
3527
- maxIterations: number;
3528
- scoreDelta: number;
3529
- };
3530
3530
  suppressions?: {
3531
3531
  reason: string;
3532
3532
  code?: string | undefined;
3533
3533
  ruleId?: string | undefined;
3534
- scope?: "file" | "line" | "block" | undefined;
3535
3534
  expiresOn?: string | undefined;
3535
+ scope?: "block" | "file" | "line" | undefined;
3536
3536
  expiresAt?: string | undefined;
3537
3537
  }[] | undefined;
3538
3538
  verdict?: {
@@ -3540,6 +3540,19 @@ declare const agentFormatSchema: z.ZodUnion<[z.ZodObject<{
3540
3540
  exitCode: 0 | 1;
3541
3541
  gatingFindingCount: number;
3542
3542
  } | undefined;
3543
+ provenance?: {
3544
+ scope: {
3545
+ method: "status" | "three-dot" | "tree-diff" | "fallback-full" | "explicit" | "full";
3546
+ gitOk: boolean;
3547
+ };
3548
+ fcid: string;
3549
+ runId: string;
3550
+ engineVersion: string;
3551
+ scopeHash: string;
3552
+ inputFilesHash: string;
3553
+ baselineId?: string | undefined;
3554
+ inputsHash?: string | undefined;
3555
+ } | undefined;
3543
3556
  findings?: {
3544
3557
  message: string;
3545
3558
  ruleId: string;
@@ -3601,19 +3614,6 @@ declare const agentFormatSchema: z.ZodUnion<[z.ZodObject<{
3601
3614
  attributes?: Record<string, unknown> | undefined;
3602
3615
  }[] | undefined;
3603
3616
  score?: undefined;
3604
- provenance?: {
3605
- scope: {
3606
- method: "status" | "three-dot" | "tree-diff" | "fallback-full" | "explicit" | "full";
3607
- gitOk: boolean;
3608
- };
3609
- fcid: string;
3610
- runId: string;
3611
- engineVersion: string;
3612
- scopeHash: string;
3613
- inputFilesHash: string;
3614
- baselineId?: string | undefined;
3615
- inputsHash?: string | undefined;
3616
- } | undefined;
3617
3617
  }>, z.ZodObject<{
3618
3618
  schemaVersion: z.ZodLiteral<"typestyle.agent.v2">;
3619
3619
  summary: z.ZodString;
@@ -3634,26 +3634,26 @@ declare const agentFormatSchema: z.ZodUnion<[z.ZodObject<{
3634
3634
  confidence: z.ZodNumber;
3635
3635
  }, "strip", z.ZodTypeAny, {
3636
3636
  confidence: number;
3637
- tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
3638
3637
  args: Record<string, unknown>;
3638
+ tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
3639
3639
  }, {
3640
3640
  confidence: number;
3641
- tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
3642
3641
  args: Record<string, unknown>;
3642
+ tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
3643
3643
  }>;
3644
3644
  }, "strip", z.ZodTypeAny, {
3645
3645
  message: string;
3646
3646
  ruleId: string;
3647
3647
  severity: "critical" | "serious" | "moderate" | "minor";
3648
3648
  filePath: string;
3649
- evidence: FactEvidence[];
3650
3649
  line: number;
3650
+ evidence: FactEvidence[];
3651
3651
  level: "error" | "warn";
3652
3652
  col: number;
3653
3653
  plan: {
3654
3654
  confidence: number;
3655
- tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
3656
3655
  args: Record<string, unknown>;
3656
+ tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
3657
3657
  };
3658
3658
  code?: string | undefined;
3659
3659
  evidenceGrade?: EvidenceGrade | undefined;
@@ -3662,14 +3662,14 @@ declare const agentFormatSchema: z.ZodUnion<[z.ZodObject<{
3662
3662
  ruleId: string;
3663
3663
  severity: "critical" | "serious" | "moderate" | "minor";
3664
3664
  filePath: string;
3665
- evidence: FactEvidence[];
3666
3665
  line: number;
3666
+ evidence: FactEvidence[];
3667
3667
  level: "error" | "warn";
3668
3668
  col: number;
3669
3669
  plan: {
3670
3670
  confidence: number;
3671
- tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
3672
3671
  args: Record<string, unknown>;
3672
+ tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
3673
3673
  };
3674
3674
  code?: string | undefined;
3675
3675
  evidenceGrade?: EvidenceGrade | undefined;
@@ -3691,26 +3691,26 @@ declare const agentFormatSchema: z.ZodUnion<[z.ZodObject<{
3691
3691
  confidence: z.ZodNumber;
3692
3692
  }, "strip", z.ZodTypeAny, {
3693
3693
  confidence: number;
3694
- tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
3695
3694
  args: Record<string, unknown>;
3695
+ tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
3696
3696
  }, {
3697
3697
  confidence: number;
3698
- tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
3699
3698
  args: Record<string, unknown>;
3699
+ tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
3700
3700
  }>;
3701
3701
  }, "strip", z.ZodTypeAny, {
3702
3702
  message: string;
3703
3703
  ruleId: string;
3704
3704
  severity: "critical" | "serious" | "moderate" | "minor";
3705
3705
  filePath: string;
3706
- evidence: FactEvidence[];
3707
3706
  line: number;
3707
+ evidence: FactEvidence[];
3708
3708
  level: "error" | "warn";
3709
3709
  col: number;
3710
3710
  plan: {
3711
3711
  confidence: number;
3712
- tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
3713
3712
  args: Record<string, unknown>;
3713
+ tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
3714
3714
  };
3715
3715
  code?: string | undefined;
3716
3716
  evidenceGrade?: EvidenceGrade | undefined;
@@ -3719,14 +3719,14 @@ declare const agentFormatSchema: z.ZodUnion<[z.ZodObject<{
3719
3719
  ruleId: string;
3720
3720
  severity: "critical" | "serious" | "moderate" | "minor";
3721
3721
  filePath: string;
3722
- evidence: FactEvidence[];
3723
3722
  line: number;
3723
+ evidence: FactEvidence[];
3724
3724
  level: "error" | "warn";
3725
3725
  col: number;
3726
3726
  plan: {
3727
3727
  confidence: number;
3728
- tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
3729
3728
  args: Record<string, unknown>;
3729
+ tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
3730
3730
  };
3731
3731
  code?: string | undefined;
3732
3732
  evidenceGrade?: EvidenceGrade | undefined;
@@ -4039,7 +4039,7 @@ declare const agentFormatSchema: z.ZodUnion<[z.ZodObject<{
4039
4039
  code: z.ZodOptional<z.ZodString>;
4040
4040
  }, "strip", z.ZodTypeAny, {
4041
4041
  reason: string;
4042
- scope: "file" | "line" | "block";
4042
+ scope: "block" | "file" | "line";
4043
4043
  code?: string | undefined;
4044
4044
  ruleId?: string | undefined;
4045
4045
  expiresOn?: string | undefined;
@@ -4048,8 +4048,8 @@ declare const agentFormatSchema: z.ZodUnion<[z.ZodObject<{
4048
4048
  reason: string;
4049
4049
  code?: string | undefined;
4050
4050
  ruleId?: string | undefined;
4051
- scope?: "file" | "line" | "block" | undefined;
4052
4051
  expiresOn?: string | undefined;
4052
+ scope?: "block" | "file" | "line" | undefined;
4053
4053
  expiresAt?: string | undefined;
4054
4054
  }>, "many">>;
4055
4055
  } & {
@@ -4066,14 +4066,14 @@ declare const agentFormatSchema: z.ZodUnion<[z.ZodObject<{
4066
4066
  rulesLoaded: z.ZodLiteral<0>;
4067
4067
  }, "strip", z.ZodTypeAny, {
4068
4068
  status: "healthy" | "degraded" | "inert";
4069
- rulesLoaded: 0;
4070
4069
  healthy: boolean;
4070
+ rulesLoaded: 0;
4071
4071
  inert: boolean;
4072
4072
  reasons: string[];
4073
4073
  }, {
4074
4074
  status: "healthy" | "degraded" | "inert";
4075
- rulesLoaded: 0;
4076
4075
  healthy: boolean;
4076
+ rulesLoaded: 0;
4077
4077
  inert: boolean;
4078
4078
  reasons: string[];
4079
4079
  }>;
@@ -4143,12 +4143,30 @@ declare const agentFormatSchema: z.ZodUnion<[z.ZodObject<{
4143
4143
  gatingFindingCount: number;
4144
4144
  };
4145
4145
  status: "indeterminate";
4146
+ provenance: {
4147
+ scope: {
4148
+ method: "status" | "three-dot" | "tree-diff" | "fallback-full" | "explicit" | "full";
4149
+ gitOk: boolean;
4150
+ };
4151
+ fcid: string;
4152
+ runId: string;
4153
+ engineVersion: string;
4154
+ scopeHash: string;
4155
+ inputFilesHash: string;
4156
+ baselineId?: string | undefined;
4157
+ inputsHash?: string | undefined;
4158
+ };
4159
+ budget: {
4160
+ iteration: number;
4161
+ maxIterations: number;
4162
+ scoreDelta: number;
4163
+ };
4146
4164
  passed: true;
4147
4165
  reasons: ["zero_rules_loaded"];
4148
4166
  integrity: {
4149
4167
  status: "healthy" | "degraded" | "inert";
4150
- rulesLoaded: 0;
4151
4168
  healthy: boolean;
4169
+ rulesLoaded: 0;
4152
4170
  inert: boolean;
4153
4171
  reasons: string[];
4154
4172
  };
@@ -4157,14 +4175,14 @@ declare const agentFormatSchema: z.ZodUnion<[z.ZodObject<{
4157
4175
  ruleId: string;
4158
4176
  severity: "critical" | "serious" | "moderate" | "minor";
4159
4177
  filePath: string;
4160
- evidence: FactEvidence[];
4161
4178
  line: number;
4179
+ evidence: FactEvidence[];
4162
4180
  level: "error" | "warn";
4163
4181
  col: number;
4164
4182
  plan: {
4165
4183
  confidence: number;
4166
- tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
4167
4184
  args: Record<string, unknown>;
4185
+ tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
4168
4186
  };
4169
4187
  code?: string | undefined;
4170
4188
  evidenceGrade?: EvidenceGrade | undefined;
@@ -4174,14 +4192,14 @@ declare const agentFormatSchema: z.ZodUnion<[z.ZodObject<{
4174
4192
  ruleId: string;
4175
4193
  severity: "critical" | "serious" | "moderate" | "minor";
4176
4194
  filePath: string;
4177
- evidence: FactEvidence[];
4178
4195
  line: number;
4196
+ evidence: FactEvidence[];
4179
4197
  level: "error" | "warn";
4180
4198
  col: number;
4181
4199
  plan: {
4182
4200
  confidence: number;
4183
- tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
4184
4201
  args: Record<string, unknown>;
4202
+ tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
4185
4203
  };
4186
4204
  code?: string | undefined;
4187
4205
  evidenceGrade?: EvidenceGrade | undefined;
@@ -4191,27 +4209,9 @@ declare const agentFormatSchema: z.ZodUnion<[z.ZodObject<{
4191
4209
  requiredFields: string[];
4192
4210
  example: string;
4193
4211
  };
4194
- budget: {
4195
- iteration: number;
4196
- maxIterations: number;
4197
- scoreDelta: number;
4198
- };
4199
- provenance: {
4200
- scope: {
4201
- method: "status" | "three-dot" | "tree-diff" | "fallback-full" | "explicit" | "full";
4202
- gitOk: boolean;
4203
- };
4204
- fcid: string;
4205
- runId: string;
4206
- engineVersion: string;
4207
- scopeHash: string;
4208
- inputFilesHash: string;
4209
- baselineId?: string | undefined;
4210
- inputsHash?: string | undefined;
4211
- };
4212
4212
  suppressions?: {
4213
4213
  reason: string;
4214
- scope: "file" | "line" | "block";
4214
+ scope: "block" | "file" | "line";
4215
4215
  code?: string | undefined;
4216
4216
  ruleId?: string | undefined;
4217
4217
  expiresOn?: string | undefined;
@@ -4287,12 +4287,30 @@ declare const agentFormatSchema: z.ZodUnion<[z.ZodObject<{
4287
4287
  gatingFindingCount: number;
4288
4288
  };
4289
4289
  status: "indeterminate";
4290
+ provenance: {
4291
+ scope: {
4292
+ method: "status" | "three-dot" | "tree-diff" | "fallback-full" | "explicit" | "full";
4293
+ gitOk: boolean;
4294
+ };
4295
+ fcid: string;
4296
+ runId: string;
4297
+ engineVersion: string;
4298
+ scopeHash: string;
4299
+ inputFilesHash: string;
4300
+ baselineId?: string | undefined;
4301
+ inputsHash?: string | undefined;
4302
+ };
4303
+ budget: {
4304
+ iteration: number;
4305
+ maxIterations: number;
4306
+ scoreDelta: number;
4307
+ };
4290
4308
  passed: true;
4291
4309
  reasons: ["zero_rules_loaded"];
4292
4310
  integrity: {
4293
4311
  status: "healthy" | "degraded" | "inert";
4294
- rulesLoaded: 0;
4295
4312
  healthy: boolean;
4313
+ rulesLoaded: 0;
4296
4314
  inert: boolean;
4297
4315
  reasons: string[];
4298
4316
  };
@@ -4301,14 +4319,14 @@ declare const agentFormatSchema: z.ZodUnion<[z.ZodObject<{
4301
4319
  ruleId: string;
4302
4320
  severity: "critical" | "serious" | "moderate" | "minor";
4303
4321
  filePath: string;
4304
- evidence: FactEvidence[];
4305
4322
  line: number;
4323
+ evidence: FactEvidence[];
4306
4324
  level: "error" | "warn";
4307
4325
  col: number;
4308
4326
  plan: {
4309
4327
  confidence: number;
4310
- tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
4311
4328
  args: Record<string, unknown>;
4329
+ tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
4312
4330
  };
4313
4331
  code?: string | undefined;
4314
4332
  evidenceGrade?: EvidenceGrade | undefined;
@@ -4318,14 +4336,14 @@ declare const agentFormatSchema: z.ZodUnion<[z.ZodObject<{
4318
4336
  ruleId: string;
4319
4337
  severity: "critical" | "serious" | "moderate" | "minor";
4320
4338
  filePath: string;
4321
- evidence: FactEvidence[];
4322
4339
  line: number;
4340
+ evidence: FactEvidence[];
4323
4341
  level: "error" | "warn";
4324
4342
  col: number;
4325
4343
  plan: {
4326
4344
  confidence: number;
4327
- tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
4328
4345
  args: Record<string, unknown>;
4346
+ tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
4329
4347
  };
4330
4348
  code?: string | undefined;
4331
4349
  evidenceGrade?: EvidenceGrade | undefined;
@@ -4335,30 +4353,12 @@ declare const agentFormatSchema: z.ZodUnion<[z.ZodObject<{
4335
4353
  requiredFields: string[];
4336
4354
  example: string;
4337
4355
  };
4338
- budget: {
4339
- iteration: number;
4340
- maxIterations: number;
4341
- scoreDelta: number;
4342
- };
4343
- provenance: {
4344
- scope: {
4345
- method: "status" | "three-dot" | "tree-diff" | "fallback-full" | "explicit" | "full";
4346
- gitOk: boolean;
4347
- };
4348
- fcid: string;
4349
- runId: string;
4350
- engineVersion: string;
4351
- scopeHash: string;
4352
- inputFilesHash: string;
4353
- baselineId?: string | undefined;
4354
- inputsHash?: string | undefined;
4355
- };
4356
4356
  suppressions?: {
4357
4357
  reason: string;
4358
4358
  code?: string | undefined;
4359
4359
  ruleId?: string | undefined;
4360
- scope?: "file" | "line" | "block" | undefined;
4361
4360
  expiresOn?: string | undefined;
4361
+ scope?: "block" | "file" | "line" | undefined;
4362
4362
  expiresAt?: string | undefined;
4363
4363
  }[] | undefined;
4364
4364
  findings?: {
@@ -4493,7 +4493,7 @@ declare const agentErrorEnvelopeSchema: z.ZodObject<{
4493
4493
  exitCode: 0 | 1;
4494
4494
  gatingFindingCount: number;
4495
4495
  }>>;
4496
- cloudReport: z.ZodOptional<z.ZodEnum<["reported", "failed", "skipped"]>>;
4496
+ cloudReport: z.ZodOptional<z.ZodEnum<["accepted", "reported", "failed", "skipped"]>>;
4497
4497
  notices: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
4498
4498
  }, "strip", z.ZodTypeAny, {
4499
4499
  schemaVersion: "typestyle.agent.v2";
@@ -4520,7 +4520,7 @@ declare const agentErrorEnvelopeSchema: z.ZodObject<{
4520
4520
  baselineId?: string | undefined;
4521
4521
  inputsHash?: string | undefined;
4522
4522
  } | undefined;
4523
- cloudReport?: "reported" | "failed" | "skipped" | undefined;
4523
+ cloudReport?: "accepted" | "reported" | "failed" | "skipped" | undefined;
4524
4524
  notices?: string[] | undefined;
4525
4525
  }, {
4526
4526
  schemaVersion: "typestyle.agent.v2";
@@ -4547,7 +4547,7 @@ declare const agentErrorEnvelopeSchema: z.ZodObject<{
4547
4547
  baselineId?: string | undefined;
4548
4548
  inputsHash?: string | undefined;
4549
4549
  } | undefined;
4550
- cloudReport?: "reported" | "failed" | "skipped" | undefined;
4550
+ cloudReport?: "accepted" | "reported" | "failed" | "skipped" | undefined;
4551
4551
  notices?: string[] | undefined;
4552
4552
  }>;
4553
4553
  type AgentErrorEnvelope = z.infer<typeof agentErrorEnvelopeSchema>;
@@ -4571,26 +4571,26 @@ declare const agentOutputSchema: z.ZodUnion<[z.ZodUnion<[z.ZodObject<{
4571
4571
  confidence: z.ZodNumber;
4572
4572
  }, "strip", z.ZodTypeAny, {
4573
4573
  confidence: number;
4574
- tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
4575
4574
  args: Record<string, unknown>;
4575
+ tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
4576
4576
  }, {
4577
4577
  confidence: number;
4578
- tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
4579
4578
  args: Record<string, unknown>;
4579
+ tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
4580
4580
  }>;
4581
4581
  }, "strip", z.ZodTypeAny, {
4582
4582
  message: string;
4583
4583
  ruleId: string;
4584
4584
  severity: "critical" | "serious" | "moderate" | "minor";
4585
4585
  filePath: string;
4586
- evidence: FactEvidence[];
4587
4586
  line: number;
4587
+ evidence: FactEvidence[];
4588
4588
  level: "error" | "warn";
4589
4589
  col: number;
4590
4590
  plan: {
4591
4591
  confidence: number;
4592
- tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
4593
4592
  args: Record<string, unknown>;
4593
+ tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
4594
4594
  };
4595
4595
  code?: string | undefined;
4596
4596
  evidenceGrade?: EvidenceGrade | undefined;
@@ -4599,14 +4599,14 @@ declare const agentOutputSchema: z.ZodUnion<[z.ZodUnion<[z.ZodObject<{
4599
4599
  ruleId: string;
4600
4600
  severity: "critical" | "serious" | "moderate" | "minor";
4601
4601
  filePath: string;
4602
- evidence: FactEvidence[];
4603
4602
  line: number;
4603
+ evidence: FactEvidence[];
4604
4604
  level: "error" | "warn";
4605
4605
  col: number;
4606
4606
  plan: {
4607
4607
  confidence: number;
4608
- tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
4609
4608
  args: Record<string, unknown>;
4609
+ tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
4610
4610
  };
4611
4611
  code?: string | undefined;
4612
4612
  evidenceGrade?: EvidenceGrade | undefined;
@@ -4628,26 +4628,26 @@ declare const agentOutputSchema: z.ZodUnion<[z.ZodUnion<[z.ZodObject<{
4628
4628
  confidence: z.ZodNumber;
4629
4629
  }, "strip", z.ZodTypeAny, {
4630
4630
  confidence: number;
4631
- tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
4632
4631
  args: Record<string, unknown>;
4632
+ tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
4633
4633
  }, {
4634
4634
  confidence: number;
4635
- tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
4636
4635
  args: Record<string, unknown>;
4636
+ tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
4637
4637
  }>;
4638
4638
  }, "strip", z.ZodTypeAny, {
4639
4639
  message: string;
4640
4640
  ruleId: string;
4641
4641
  severity: "critical" | "serious" | "moderate" | "minor";
4642
4642
  filePath: string;
4643
- evidence: FactEvidence[];
4644
4643
  line: number;
4644
+ evidence: FactEvidence[];
4645
4645
  level: "error" | "warn";
4646
4646
  col: number;
4647
4647
  plan: {
4648
4648
  confidence: number;
4649
- tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
4650
4649
  args: Record<string, unknown>;
4650
+ tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
4651
4651
  };
4652
4652
  code?: string | undefined;
4653
4653
  evidenceGrade?: EvidenceGrade | undefined;
@@ -4656,14 +4656,14 @@ declare const agentOutputSchema: z.ZodUnion<[z.ZodUnion<[z.ZodObject<{
4656
4656
  ruleId: string;
4657
4657
  severity: "critical" | "serious" | "moderate" | "minor";
4658
4658
  filePath: string;
4659
- evidence: FactEvidence[];
4660
4659
  line: number;
4660
+ evidence: FactEvidence[];
4661
4661
  level: "error" | "warn";
4662
4662
  col: number;
4663
4663
  plan: {
4664
4664
  confidence: number;
4665
- tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
4666
4665
  args: Record<string, unknown>;
4666
+ tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
4667
4667
  };
4668
4668
  code?: string | undefined;
4669
4669
  evidenceGrade?: EvidenceGrade | undefined;
@@ -4976,7 +4976,7 @@ declare const agentOutputSchema: z.ZodUnion<[z.ZodUnion<[z.ZodObject<{
4976
4976
  code: z.ZodOptional<z.ZodString>;
4977
4977
  }, "strip", z.ZodTypeAny, {
4978
4978
  reason: string;
4979
- scope: "file" | "line" | "block";
4979
+ scope: "block" | "file" | "line";
4980
4980
  code?: string | undefined;
4981
4981
  ruleId?: string | undefined;
4982
4982
  expiresOn?: string | undefined;
@@ -4985,8 +4985,8 @@ declare const agentOutputSchema: z.ZodUnion<[z.ZodUnion<[z.ZodObject<{
4985
4985
  reason: string;
4986
4986
  code?: string | undefined;
4987
4987
  ruleId?: string | undefined;
4988
- scope?: "file" | "line" | "block" | undefined;
4989
4988
  expiresOn?: string | undefined;
4989
+ scope?: "block" | "file" | "line" | undefined;
4990
4990
  expiresAt?: string | undefined;
4991
4991
  }>, "many">>;
4992
4992
  provenance: z.ZodOptional<z.ZodObject<{
@@ -5059,26 +5059,31 @@ declare const agentOutputSchema: z.ZodUnion<[z.ZodUnion<[z.ZodObject<{
5059
5059
  rulesLoaded: z.ZodNumber;
5060
5060
  }, "strip", z.ZodTypeAny, {
5061
5061
  status: "healthy" | "degraded" | "inert";
5062
- rulesLoaded: number;
5063
5062
  healthy: boolean;
5063
+ rulesLoaded: number;
5064
5064
  inert: boolean;
5065
5065
  reasons: string[];
5066
5066
  }, {
5067
5067
  status: "healthy" | "degraded" | "inert";
5068
- rulesLoaded: number;
5069
5068
  healthy: boolean;
5069
+ rulesLoaded: number;
5070
5070
  inert: boolean;
5071
5071
  reasons: string[];
5072
5072
  }>;
5073
5073
  }, "strip", z.ZodTypeAny, {
5074
5074
  schemaVersion: "typestyle.agent.v2";
5075
5075
  summary: string;
5076
+ budget: {
5077
+ iteration: number;
5078
+ maxIterations: number;
5079
+ scoreDelta: number;
5080
+ };
5076
5081
  passed: boolean;
5077
5082
  score: number;
5078
5083
  integrity: {
5079
5084
  status: "healthy" | "degraded" | "inert";
5080
- rulesLoaded: number;
5081
5085
  healthy: boolean;
5086
+ rulesLoaded: number;
5082
5087
  inert: boolean;
5083
5088
  reasons: string[];
5084
5089
  };
@@ -5087,14 +5092,14 @@ declare const agentOutputSchema: z.ZodUnion<[z.ZodUnion<[z.ZodObject<{
5087
5092
  ruleId: string;
5088
5093
  severity: "critical" | "serious" | "moderate" | "minor";
5089
5094
  filePath: string;
5090
- evidence: FactEvidence[];
5091
5095
  line: number;
5096
+ evidence: FactEvidence[];
5092
5097
  level: "error" | "warn";
5093
5098
  col: number;
5094
5099
  plan: {
5095
5100
  confidence: number;
5096
- tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
5097
5101
  args: Record<string, unknown>;
5102
+ tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
5098
5103
  };
5099
5104
  code?: string | undefined;
5100
5105
  evidenceGrade?: EvidenceGrade | undefined;
@@ -5104,14 +5109,14 @@ declare const agentOutputSchema: z.ZodUnion<[z.ZodUnion<[z.ZodObject<{
5104
5109
  ruleId: string;
5105
5110
  severity: "critical" | "serious" | "moderate" | "minor";
5106
5111
  filePath: string;
5107
- evidence: FactEvidence[];
5108
5112
  line: number;
5113
+ evidence: FactEvidence[];
5109
5114
  level: "error" | "warn";
5110
5115
  col: number;
5111
5116
  plan: {
5112
5117
  confidence: number;
5113
- tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
5114
5118
  args: Record<string, unknown>;
5119
+ tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
5115
5120
  };
5116
5121
  code?: string | undefined;
5117
5122
  evidenceGrade?: EvidenceGrade | undefined;
@@ -5121,14 +5126,9 @@ declare const agentOutputSchema: z.ZodUnion<[z.ZodUnion<[z.ZodObject<{
5121
5126
  requiredFields: string[];
5122
5127
  example: string;
5123
5128
  };
5124
- budget: {
5125
- iteration: number;
5126
- maxIterations: number;
5127
- scoreDelta: number;
5128
- };
5129
5129
  suppressions?: {
5130
5130
  reason: string;
5131
- scope: "file" | "line" | "block";
5131
+ scope: "block" | "file" | "line";
5132
5132
  code?: string | undefined;
5133
5133
  ruleId?: string | undefined;
5134
5134
  expiresOn?: string | undefined;
@@ -5140,14 +5140,27 @@ declare const agentOutputSchema: z.ZodUnion<[z.ZodUnion<[z.ZodObject<{
5140
5140
  gatingFindingCount: number;
5141
5141
  } | undefined;
5142
5142
  status?: undefined;
5143
- findings?: {
5144
- message: string;
5145
- ruleId: string;
5146
- severity: "critical" | "serious" | "moderate" | "minor";
5147
- location: {
5148
- file: string;
5149
- line: number;
5150
- column: number;
5143
+ provenance?: {
5144
+ scope: {
5145
+ method: "status" | "three-dot" | "tree-diff" | "fallback-full" | "explicit" | "full";
5146
+ gitOk: boolean;
5147
+ };
5148
+ fcid: string;
5149
+ runId: string;
5150
+ engineVersion: string;
5151
+ scopeHash: string;
5152
+ inputFilesHash: string;
5153
+ baselineId?: string | undefined;
5154
+ inputsHash?: string | undefined;
5155
+ } | undefined;
5156
+ findings?: {
5157
+ message: string;
5158
+ ruleId: string;
5159
+ severity: "critical" | "serious" | "moderate" | "minor";
5160
+ location: {
5161
+ file: string;
5162
+ line: number;
5163
+ column: number;
5151
5164
  endLine?: number | undefined;
5152
5165
  endColumn?: number | undefined;
5153
5166
  };
@@ -5201,28 +5214,20 @@ declare const agentOutputSchema: z.ZodUnion<[z.ZodUnion<[z.ZodObject<{
5201
5214
  attributes?: Record<string, unknown> | undefined;
5202
5215
  }[] | undefined;
5203
5216
  reasons?: undefined;
5204
- provenance?: {
5205
- scope: {
5206
- method: "status" | "three-dot" | "tree-diff" | "fallback-full" | "explicit" | "full";
5207
- gitOk: boolean;
5208
- };
5209
- fcid: string;
5210
- runId: string;
5211
- engineVersion: string;
5212
- scopeHash: string;
5213
- inputFilesHash: string;
5214
- baselineId?: string | undefined;
5215
- inputsHash?: string | undefined;
5216
- } | undefined;
5217
5217
  }, {
5218
5218
  schemaVersion: "typestyle.agent.v2";
5219
5219
  summary: string;
5220
+ budget: {
5221
+ iteration: number;
5222
+ maxIterations: number;
5223
+ scoreDelta: number;
5224
+ };
5220
5225
  passed: boolean;
5221
5226
  score: number;
5222
5227
  integrity: {
5223
5228
  status: "healthy" | "degraded" | "inert";
5224
- rulesLoaded: number;
5225
5229
  healthy: boolean;
5230
+ rulesLoaded: number;
5226
5231
  inert: boolean;
5227
5232
  reasons: string[];
5228
5233
  };
@@ -5231,14 +5236,14 @@ declare const agentOutputSchema: z.ZodUnion<[z.ZodUnion<[z.ZodObject<{
5231
5236
  ruleId: string;
5232
5237
  severity: "critical" | "serious" | "moderate" | "minor";
5233
5238
  filePath: string;
5234
- evidence: FactEvidence[];
5235
5239
  line: number;
5240
+ evidence: FactEvidence[];
5236
5241
  level: "error" | "warn";
5237
5242
  col: number;
5238
5243
  plan: {
5239
5244
  confidence: number;
5240
- tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
5241
5245
  args: Record<string, unknown>;
5246
+ tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
5242
5247
  };
5243
5248
  code?: string | undefined;
5244
5249
  evidenceGrade?: EvidenceGrade | undefined;
@@ -5248,14 +5253,14 @@ declare const agentOutputSchema: z.ZodUnion<[z.ZodUnion<[z.ZodObject<{
5248
5253
  ruleId: string;
5249
5254
  severity: "critical" | "serious" | "moderate" | "minor";
5250
5255
  filePath: string;
5251
- evidence: FactEvidence[];
5252
5256
  line: number;
5257
+ evidence: FactEvidence[];
5253
5258
  level: "error" | "warn";
5254
5259
  col: number;
5255
5260
  plan: {
5256
5261
  confidence: number;
5257
- tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
5258
5262
  args: Record<string, unknown>;
5263
+ tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
5259
5264
  };
5260
5265
  code?: string | undefined;
5261
5266
  evidenceGrade?: EvidenceGrade | undefined;
@@ -5265,17 +5270,12 @@ declare const agentOutputSchema: z.ZodUnion<[z.ZodUnion<[z.ZodObject<{
5265
5270
  requiredFields: string[];
5266
5271
  example: string;
5267
5272
  };
5268
- budget: {
5269
- iteration: number;
5270
- maxIterations: number;
5271
- scoreDelta: number;
5272
- };
5273
5273
  suppressions?: {
5274
5274
  reason: string;
5275
5275
  code?: string | undefined;
5276
5276
  ruleId?: string | undefined;
5277
- scope?: "file" | "line" | "block" | undefined;
5278
5277
  expiresOn?: string | undefined;
5278
+ scope?: "block" | "file" | "line" | undefined;
5279
5279
  expiresAt?: string | undefined;
5280
5280
  }[] | undefined;
5281
5281
  verdict?: {
@@ -5284,6 +5284,19 @@ declare const agentOutputSchema: z.ZodUnion<[z.ZodUnion<[z.ZodObject<{
5284
5284
  gatingFindingCount: number;
5285
5285
  } | undefined;
5286
5286
  status?: undefined;
5287
+ provenance?: {
5288
+ scope: {
5289
+ method: "status" | "three-dot" | "tree-diff" | "fallback-full" | "explicit" | "full";
5290
+ gitOk: boolean;
5291
+ };
5292
+ fcid: string;
5293
+ runId: string;
5294
+ engineVersion: string;
5295
+ scopeHash: string;
5296
+ inputFilesHash: string;
5297
+ baselineId?: string | undefined;
5298
+ inputsHash?: string | undefined;
5299
+ } | undefined;
5287
5300
  findings?: {
5288
5301
  message: string;
5289
5302
  ruleId: string;
@@ -5345,19 +5358,6 @@ declare const agentOutputSchema: z.ZodUnion<[z.ZodUnion<[z.ZodObject<{
5345
5358
  attributes?: Record<string, unknown> | undefined;
5346
5359
  }[] | undefined;
5347
5360
  reasons?: undefined;
5348
- provenance?: {
5349
- scope: {
5350
- method: "status" | "three-dot" | "tree-diff" | "fallback-full" | "explicit" | "full";
5351
- gitOk: boolean;
5352
- };
5353
- fcid: string;
5354
- runId: string;
5355
- engineVersion: string;
5356
- scopeHash: string;
5357
- inputFilesHash: string;
5358
- baselineId?: string | undefined;
5359
- inputsHash?: string | undefined;
5360
- } | undefined;
5361
5361
  }>, z.ZodObject<{
5362
5362
  schemaVersion: z.ZodLiteral<"typestyle.agent.v2">;
5363
5363
  summary: z.ZodString;
@@ -5378,26 +5378,26 @@ declare const agentOutputSchema: z.ZodUnion<[z.ZodUnion<[z.ZodObject<{
5378
5378
  confidence: z.ZodNumber;
5379
5379
  }, "strip", z.ZodTypeAny, {
5380
5380
  confidence: number;
5381
- tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
5382
5381
  args: Record<string, unknown>;
5382
+ tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
5383
5383
  }, {
5384
5384
  confidence: number;
5385
- tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
5386
5385
  args: Record<string, unknown>;
5386
+ tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
5387
5387
  }>;
5388
5388
  }, "strip", z.ZodTypeAny, {
5389
5389
  message: string;
5390
5390
  ruleId: string;
5391
5391
  severity: "critical" | "serious" | "moderate" | "minor";
5392
5392
  filePath: string;
5393
- evidence: FactEvidence[];
5394
5393
  line: number;
5394
+ evidence: FactEvidence[];
5395
5395
  level: "error" | "warn";
5396
5396
  col: number;
5397
5397
  plan: {
5398
5398
  confidence: number;
5399
- tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
5400
5399
  args: Record<string, unknown>;
5400
+ tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
5401
5401
  };
5402
5402
  code?: string | undefined;
5403
5403
  evidenceGrade?: EvidenceGrade | undefined;
@@ -5406,14 +5406,14 @@ declare const agentOutputSchema: z.ZodUnion<[z.ZodUnion<[z.ZodObject<{
5406
5406
  ruleId: string;
5407
5407
  severity: "critical" | "serious" | "moderate" | "minor";
5408
5408
  filePath: string;
5409
- evidence: FactEvidence[];
5410
5409
  line: number;
5410
+ evidence: FactEvidence[];
5411
5411
  level: "error" | "warn";
5412
5412
  col: number;
5413
5413
  plan: {
5414
5414
  confidence: number;
5415
- tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
5416
5415
  args: Record<string, unknown>;
5416
+ tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
5417
5417
  };
5418
5418
  code?: string | undefined;
5419
5419
  evidenceGrade?: EvidenceGrade | undefined;
@@ -5435,26 +5435,26 @@ declare const agentOutputSchema: z.ZodUnion<[z.ZodUnion<[z.ZodObject<{
5435
5435
  confidence: z.ZodNumber;
5436
5436
  }, "strip", z.ZodTypeAny, {
5437
5437
  confidence: number;
5438
- tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
5439
5438
  args: Record<string, unknown>;
5439
+ tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
5440
5440
  }, {
5441
5441
  confidence: number;
5442
- tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
5443
5442
  args: Record<string, unknown>;
5443
+ tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
5444
5444
  }>;
5445
5445
  }, "strip", z.ZodTypeAny, {
5446
5446
  message: string;
5447
5447
  ruleId: string;
5448
5448
  severity: "critical" | "serious" | "moderate" | "minor";
5449
5449
  filePath: string;
5450
- evidence: FactEvidence[];
5451
5450
  line: number;
5451
+ evidence: FactEvidence[];
5452
5452
  level: "error" | "warn";
5453
5453
  col: number;
5454
5454
  plan: {
5455
5455
  confidence: number;
5456
- tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
5457
5456
  args: Record<string, unknown>;
5457
+ tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
5458
5458
  };
5459
5459
  code?: string | undefined;
5460
5460
  evidenceGrade?: EvidenceGrade | undefined;
@@ -5463,14 +5463,14 @@ declare const agentOutputSchema: z.ZodUnion<[z.ZodUnion<[z.ZodObject<{
5463
5463
  ruleId: string;
5464
5464
  severity: "critical" | "serious" | "moderate" | "minor";
5465
5465
  filePath: string;
5466
- evidence: FactEvidence[];
5467
5466
  line: number;
5467
+ evidence: FactEvidence[];
5468
5468
  level: "error" | "warn";
5469
5469
  col: number;
5470
5470
  plan: {
5471
5471
  confidence: number;
5472
- tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
5473
5472
  args: Record<string, unknown>;
5473
+ tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
5474
5474
  };
5475
5475
  code?: string | undefined;
5476
5476
  evidenceGrade?: EvidenceGrade | undefined;
@@ -5783,7 +5783,7 @@ declare const agentOutputSchema: z.ZodUnion<[z.ZodUnion<[z.ZodObject<{
5783
5783
  code: z.ZodOptional<z.ZodString>;
5784
5784
  }, "strip", z.ZodTypeAny, {
5785
5785
  reason: string;
5786
- scope: "file" | "line" | "block";
5786
+ scope: "block" | "file" | "line";
5787
5787
  code?: string | undefined;
5788
5788
  ruleId?: string | undefined;
5789
5789
  expiresOn?: string | undefined;
@@ -5792,8 +5792,8 @@ declare const agentOutputSchema: z.ZodUnion<[z.ZodUnion<[z.ZodObject<{
5792
5792
  reason: string;
5793
5793
  code?: string | undefined;
5794
5794
  ruleId?: string | undefined;
5795
- scope?: "file" | "line" | "block" | undefined;
5796
5795
  expiresOn?: string | undefined;
5796
+ scope?: "block" | "file" | "line" | undefined;
5797
5797
  expiresAt?: string | undefined;
5798
5798
  }>, "many">>;
5799
5799
  provenance: z.ZodOptional<z.ZodObject<{
@@ -5866,14 +5866,14 @@ declare const agentOutputSchema: z.ZodUnion<[z.ZodUnion<[z.ZodObject<{
5866
5866
  rulesLoaded: z.ZodLiteral<0>;
5867
5867
  }, "strip", z.ZodTypeAny, {
5868
5868
  status: "healthy" | "degraded" | "inert";
5869
- rulesLoaded: 0;
5870
5869
  healthy: boolean;
5870
+ rulesLoaded: 0;
5871
5871
  inert: boolean;
5872
5872
  reasons: string[];
5873
5873
  }, {
5874
5874
  status: "healthy" | "degraded" | "inert";
5875
- rulesLoaded: 0;
5876
5875
  healthy: boolean;
5876
+ rulesLoaded: 0;
5877
5877
  inert: boolean;
5878
5878
  reasons: string[];
5879
5879
  }>;
@@ -5881,12 +5881,17 @@ declare const agentOutputSchema: z.ZodUnion<[z.ZodUnion<[z.ZodObject<{
5881
5881
  schemaVersion: "typestyle.agent.v2";
5882
5882
  summary: string;
5883
5883
  status: "indeterminate";
5884
+ budget: {
5885
+ iteration: number;
5886
+ maxIterations: number;
5887
+ scoreDelta: number;
5888
+ };
5884
5889
  passed: false;
5885
5890
  reasons: ["zero_rules_loaded"];
5886
5891
  integrity: {
5887
5892
  status: "healthy" | "degraded" | "inert";
5888
- rulesLoaded: 0;
5889
5893
  healthy: boolean;
5894
+ rulesLoaded: 0;
5890
5895
  inert: boolean;
5891
5896
  reasons: string[];
5892
5897
  };
@@ -5895,14 +5900,14 @@ declare const agentOutputSchema: z.ZodUnion<[z.ZodUnion<[z.ZodObject<{
5895
5900
  ruleId: string;
5896
5901
  severity: "critical" | "serious" | "moderate" | "minor";
5897
5902
  filePath: string;
5898
- evidence: FactEvidence[];
5899
5903
  line: number;
5904
+ evidence: FactEvidence[];
5900
5905
  level: "error" | "warn";
5901
5906
  col: number;
5902
5907
  plan: {
5903
5908
  confidence: number;
5904
- tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
5905
5909
  args: Record<string, unknown>;
5910
+ tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
5906
5911
  };
5907
5912
  code?: string | undefined;
5908
5913
  evidenceGrade?: EvidenceGrade | undefined;
@@ -5912,14 +5917,14 @@ declare const agentOutputSchema: z.ZodUnion<[z.ZodUnion<[z.ZodObject<{
5912
5917
  ruleId: string;
5913
5918
  severity: "critical" | "serious" | "moderate" | "minor";
5914
5919
  filePath: string;
5915
- evidence: FactEvidence[];
5916
5920
  line: number;
5921
+ evidence: FactEvidence[];
5917
5922
  level: "error" | "warn";
5918
5923
  col: number;
5919
5924
  plan: {
5920
5925
  confidence: number;
5921
- tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
5922
5926
  args: Record<string, unknown>;
5927
+ tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
5923
5928
  };
5924
5929
  code?: string | undefined;
5925
5930
  evidenceGrade?: EvidenceGrade | undefined;
@@ -5929,14 +5934,9 @@ declare const agentOutputSchema: z.ZodUnion<[z.ZodUnion<[z.ZodObject<{
5929
5934
  requiredFields: string[];
5930
5935
  example: string;
5931
5936
  };
5932
- budget: {
5933
- iteration: number;
5934
- maxIterations: number;
5935
- scoreDelta: number;
5936
- };
5937
5937
  suppressions?: {
5938
5938
  reason: string;
5939
- scope: "file" | "line" | "block";
5939
+ scope: "block" | "file" | "line";
5940
5940
  code?: string | undefined;
5941
5941
  ruleId?: string | undefined;
5942
5942
  expiresOn?: string | undefined;
@@ -5947,6 +5947,19 @@ declare const agentOutputSchema: z.ZodUnion<[z.ZodUnion<[z.ZodObject<{
5947
5947
  exitCode: 0 | 1;
5948
5948
  gatingFindingCount: number;
5949
5949
  } | undefined;
5950
+ provenance?: {
5951
+ scope: {
5952
+ method: "status" | "three-dot" | "tree-diff" | "fallback-full" | "explicit" | "full";
5953
+ gitOk: boolean;
5954
+ };
5955
+ fcid: string;
5956
+ runId: string;
5957
+ engineVersion: string;
5958
+ scopeHash: string;
5959
+ inputFilesHash: string;
5960
+ baselineId?: string | undefined;
5961
+ inputsHash?: string | undefined;
5962
+ } | undefined;
5950
5963
  findings?: {
5951
5964
  message: string;
5952
5965
  ruleId: string;
@@ -6008,29 +6021,21 @@ declare const agentOutputSchema: z.ZodUnion<[z.ZodUnion<[z.ZodObject<{
6008
6021
  attributes?: Record<string, unknown> | undefined;
6009
6022
  }[] | undefined;
6010
6023
  score?: undefined;
6011
- provenance?: {
6012
- scope: {
6013
- method: "status" | "three-dot" | "tree-diff" | "fallback-full" | "explicit" | "full";
6014
- gitOk: boolean;
6015
- };
6016
- fcid: string;
6017
- runId: string;
6018
- engineVersion: string;
6019
- scopeHash: string;
6020
- inputFilesHash: string;
6021
- baselineId?: string | undefined;
6022
- inputsHash?: string | undefined;
6023
- } | undefined;
6024
6024
  }, {
6025
6025
  schemaVersion: "typestyle.agent.v2";
6026
6026
  summary: string;
6027
6027
  status: "indeterminate";
6028
+ budget: {
6029
+ iteration: number;
6030
+ maxIterations: number;
6031
+ scoreDelta: number;
6032
+ };
6028
6033
  passed: false;
6029
6034
  reasons: ["zero_rules_loaded"];
6030
6035
  integrity: {
6031
6036
  status: "healthy" | "degraded" | "inert";
6032
- rulesLoaded: 0;
6033
6037
  healthy: boolean;
6038
+ rulesLoaded: 0;
6034
6039
  inert: boolean;
6035
6040
  reasons: string[];
6036
6041
  };
@@ -6039,14 +6044,14 @@ declare const agentOutputSchema: z.ZodUnion<[z.ZodUnion<[z.ZodObject<{
6039
6044
  ruleId: string;
6040
6045
  severity: "critical" | "serious" | "moderate" | "minor";
6041
6046
  filePath: string;
6042
- evidence: FactEvidence[];
6043
6047
  line: number;
6048
+ evidence: FactEvidence[];
6044
6049
  level: "error" | "warn";
6045
6050
  col: number;
6046
6051
  plan: {
6047
6052
  confidence: number;
6048
- tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
6049
6053
  args: Record<string, unknown>;
6054
+ tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
6050
6055
  };
6051
6056
  code?: string | undefined;
6052
6057
  evidenceGrade?: EvidenceGrade | undefined;
@@ -6056,14 +6061,14 @@ declare const agentOutputSchema: z.ZodUnion<[z.ZodUnion<[z.ZodObject<{
6056
6061
  ruleId: string;
6057
6062
  severity: "critical" | "serious" | "moderate" | "minor";
6058
6063
  filePath: string;
6059
- evidence: FactEvidence[];
6060
6064
  line: number;
6065
+ evidence: FactEvidence[];
6061
6066
  level: "error" | "warn";
6062
6067
  col: number;
6063
6068
  plan: {
6064
6069
  confidence: number;
6065
- tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
6066
6070
  args: Record<string, unknown>;
6071
+ tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
6067
6072
  };
6068
6073
  code?: string | undefined;
6069
6074
  evidenceGrade?: EvidenceGrade | undefined;
@@ -6073,17 +6078,12 @@ declare const agentOutputSchema: z.ZodUnion<[z.ZodUnion<[z.ZodObject<{
6073
6078
  requiredFields: string[];
6074
6079
  example: string;
6075
6080
  };
6076
- budget: {
6077
- iteration: number;
6078
- maxIterations: number;
6079
- scoreDelta: number;
6080
- };
6081
6081
  suppressions?: {
6082
6082
  reason: string;
6083
6083
  code?: string | undefined;
6084
6084
  ruleId?: string | undefined;
6085
- scope?: "file" | "line" | "block" | undefined;
6086
6085
  expiresOn?: string | undefined;
6086
+ scope?: "block" | "file" | "line" | undefined;
6087
6087
  expiresAt?: string | undefined;
6088
6088
  }[] | undefined;
6089
6089
  verdict?: {
@@ -6091,6 +6091,19 @@ declare const agentOutputSchema: z.ZodUnion<[z.ZodUnion<[z.ZodObject<{
6091
6091
  exitCode: 0 | 1;
6092
6092
  gatingFindingCount: number;
6093
6093
  } | undefined;
6094
+ provenance?: {
6095
+ scope: {
6096
+ method: "status" | "three-dot" | "tree-diff" | "fallback-full" | "explicit" | "full";
6097
+ gitOk: boolean;
6098
+ };
6099
+ fcid: string;
6100
+ runId: string;
6101
+ engineVersion: string;
6102
+ scopeHash: string;
6103
+ inputFilesHash: string;
6104
+ baselineId?: string | undefined;
6105
+ inputsHash?: string | undefined;
6106
+ } | undefined;
6094
6107
  findings?: {
6095
6108
  message: string;
6096
6109
  ruleId: string;
@@ -6152,19 +6165,6 @@ declare const agentOutputSchema: z.ZodUnion<[z.ZodUnion<[z.ZodObject<{
6152
6165
  attributes?: Record<string, unknown> | undefined;
6153
6166
  }[] | undefined;
6154
6167
  score?: undefined;
6155
- provenance?: {
6156
- scope: {
6157
- method: "status" | "three-dot" | "tree-diff" | "fallback-full" | "explicit" | "full";
6158
- gitOk: boolean;
6159
- };
6160
- fcid: string;
6161
- runId: string;
6162
- engineVersion: string;
6163
- scopeHash: string;
6164
- inputFilesHash: string;
6165
- baselineId?: string | undefined;
6166
- inputsHash?: string | undefined;
6167
- } | undefined;
6168
6168
  }>, z.ZodObject<{
6169
6169
  schemaVersion: z.ZodLiteral<"typestyle.agent.v2">;
6170
6170
  summary: z.ZodString;
@@ -6185,26 +6185,26 @@ declare const agentOutputSchema: z.ZodUnion<[z.ZodUnion<[z.ZodObject<{
6185
6185
  confidence: z.ZodNumber;
6186
6186
  }, "strip", z.ZodTypeAny, {
6187
6187
  confidence: number;
6188
- tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
6189
6188
  args: Record<string, unknown>;
6189
+ tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
6190
6190
  }, {
6191
6191
  confidence: number;
6192
- tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
6193
6192
  args: Record<string, unknown>;
6193
+ tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
6194
6194
  }>;
6195
6195
  }, "strip", z.ZodTypeAny, {
6196
6196
  message: string;
6197
6197
  ruleId: string;
6198
6198
  severity: "critical" | "serious" | "moderate" | "minor";
6199
6199
  filePath: string;
6200
- evidence: FactEvidence[];
6201
6200
  line: number;
6201
+ evidence: FactEvidence[];
6202
6202
  level: "error" | "warn";
6203
6203
  col: number;
6204
6204
  plan: {
6205
6205
  confidence: number;
6206
- tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
6207
6206
  args: Record<string, unknown>;
6207
+ tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
6208
6208
  };
6209
6209
  code?: string | undefined;
6210
6210
  evidenceGrade?: EvidenceGrade | undefined;
@@ -6213,14 +6213,14 @@ declare const agentOutputSchema: z.ZodUnion<[z.ZodUnion<[z.ZodObject<{
6213
6213
  ruleId: string;
6214
6214
  severity: "critical" | "serious" | "moderate" | "minor";
6215
6215
  filePath: string;
6216
- evidence: FactEvidence[];
6217
6216
  line: number;
6217
+ evidence: FactEvidence[];
6218
6218
  level: "error" | "warn";
6219
6219
  col: number;
6220
6220
  plan: {
6221
6221
  confidence: number;
6222
- tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
6223
6222
  args: Record<string, unknown>;
6223
+ tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
6224
6224
  };
6225
6225
  code?: string | undefined;
6226
6226
  evidenceGrade?: EvidenceGrade | undefined;
@@ -6242,26 +6242,26 @@ declare const agentOutputSchema: z.ZodUnion<[z.ZodUnion<[z.ZodObject<{
6242
6242
  confidence: z.ZodNumber;
6243
6243
  }, "strip", z.ZodTypeAny, {
6244
6244
  confidence: number;
6245
- tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
6246
6245
  args: Record<string, unknown>;
6246
+ tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
6247
6247
  }, {
6248
6248
  confidence: number;
6249
- tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
6250
6249
  args: Record<string, unknown>;
6250
+ tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
6251
6251
  }>;
6252
6252
  }, "strip", z.ZodTypeAny, {
6253
6253
  message: string;
6254
6254
  ruleId: string;
6255
6255
  severity: "critical" | "serious" | "moderate" | "minor";
6256
6256
  filePath: string;
6257
- evidence: FactEvidence[];
6258
6257
  line: number;
6258
+ evidence: FactEvidence[];
6259
6259
  level: "error" | "warn";
6260
6260
  col: number;
6261
6261
  plan: {
6262
6262
  confidence: number;
6263
- tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
6264
6263
  args: Record<string, unknown>;
6264
+ tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
6265
6265
  };
6266
6266
  code?: string | undefined;
6267
6267
  evidenceGrade?: EvidenceGrade | undefined;
@@ -6270,14 +6270,14 @@ declare const agentOutputSchema: z.ZodUnion<[z.ZodUnion<[z.ZodObject<{
6270
6270
  ruleId: string;
6271
6271
  severity: "critical" | "serious" | "moderate" | "minor";
6272
6272
  filePath: string;
6273
- evidence: FactEvidence[];
6274
6273
  line: number;
6274
+ evidence: FactEvidence[];
6275
6275
  level: "error" | "warn";
6276
6276
  col: number;
6277
6277
  plan: {
6278
6278
  confidence: number;
6279
- tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
6280
6279
  args: Record<string, unknown>;
6280
+ tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
6281
6281
  };
6282
6282
  code?: string | undefined;
6283
6283
  evidenceGrade?: EvidenceGrade | undefined;
@@ -6590,7 +6590,7 @@ declare const agentOutputSchema: z.ZodUnion<[z.ZodUnion<[z.ZodObject<{
6590
6590
  code: z.ZodOptional<z.ZodString>;
6591
6591
  }, "strip", z.ZodTypeAny, {
6592
6592
  reason: string;
6593
- scope: "file" | "line" | "block";
6593
+ scope: "block" | "file" | "line";
6594
6594
  code?: string | undefined;
6595
6595
  ruleId?: string | undefined;
6596
6596
  expiresOn?: string | undefined;
@@ -6599,8 +6599,8 @@ declare const agentOutputSchema: z.ZodUnion<[z.ZodUnion<[z.ZodObject<{
6599
6599
  reason: string;
6600
6600
  code?: string | undefined;
6601
6601
  ruleId?: string | undefined;
6602
- scope?: "file" | "line" | "block" | undefined;
6603
6602
  expiresOn?: string | undefined;
6603
+ scope?: "block" | "file" | "line" | undefined;
6604
6604
  expiresAt?: string | undefined;
6605
6605
  }>, "many">>;
6606
6606
  } & {
@@ -6617,14 +6617,14 @@ declare const agentOutputSchema: z.ZodUnion<[z.ZodUnion<[z.ZodObject<{
6617
6617
  rulesLoaded: z.ZodLiteral<0>;
6618
6618
  }, "strip", z.ZodTypeAny, {
6619
6619
  status: "healthy" | "degraded" | "inert";
6620
- rulesLoaded: 0;
6621
6620
  healthy: boolean;
6621
+ rulesLoaded: 0;
6622
6622
  inert: boolean;
6623
6623
  reasons: string[];
6624
6624
  }, {
6625
6625
  status: "healthy" | "degraded" | "inert";
6626
- rulesLoaded: 0;
6627
6626
  healthy: boolean;
6627
+ rulesLoaded: 0;
6628
6628
  inert: boolean;
6629
6629
  reasons: string[];
6630
6630
  }>;
@@ -6694,12 +6694,30 @@ declare const agentOutputSchema: z.ZodUnion<[z.ZodUnion<[z.ZodObject<{
6694
6694
  gatingFindingCount: number;
6695
6695
  };
6696
6696
  status: "indeterminate";
6697
+ provenance: {
6698
+ scope: {
6699
+ method: "status" | "three-dot" | "tree-diff" | "fallback-full" | "explicit" | "full";
6700
+ gitOk: boolean;
6701
+ };
6702
+ fcid: string;
6703
+ runId: string;
6704
+ engineVersion: string;
6705
+ scopeHash: string;
6706
+ inputFilesHash: string;
6707
+ baselineId?: string | undefined;
6708
+ inputsHash?: string | undefined;
6709
+ };
6710
+ budget: {
6711
+ iteration: number;
6712
+ maxIterations: number;
6713
+ scoreDelta: number;
6714
+ };
6697
6715
  passed: true;
6698
6716
  reasons: ["zero_rules_loaded"];
6699
6717
  integrity: {
6700
6718
  status: "healthy" | "degraded" | "inert";
6701
- rulesLoaded: 0;
6702
6719
  healthy: boolean;
6720
+ rulesLoaded: 0;
6703
6721
  inert: boolean;
6704
6722
  reasons: string[];
6705
6723
  };
@@ -6708,14 +6726,14 @@ declare const agentOutputSchema: z.ZodUnion<[z.ZodUnion<[z.ZodObject<{
6708
6726
  ruleId: string;
6709
6727
  severity: "critical" | "serious" | "moderate" | "minor";
6710
6728
  filePath: string;
6711
- evidence: FactEvidence[];
6712
6729
  line: number;
6730
+ evidence: FactEvidence[];
6713
6731
  level: "error" | "warn";
6714
6732
  col: number;
6715
6733
  plan: {
6716
6734
  confidence: number;
6717
- tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
6718
6735
  args: Record<string, unknown>;
6736
+ tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
6719
6737
  };
6720
6738
  code?: string | undefined;
6721
6739
  evidenceGrade?: EvidenceGrade | undefined;
@@ -6725,14 +6743,14 @@ declare const agentOutputSchema: z.ZodUnion<[z.ZodUnion<[z.ZodObject<{
6725
6743
  ruleId: string;
6726
6744
  severity: "critical" | "serious" | "moderate" | "minor";
6727
6745
  filePath: string;
6728
- evidence: FactEvidence[];
6729
6746
  line: number;
6747
+ evidence: FactEvidence[];
6730
6748
  level: "error" | "warn";
6731
6749
  col: number;
6732
6750
  plan: {
6733
6751
  confidence: number;
6734
- tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
6735
6752
  args: Record<string, unknown>;
6753
+ tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
6736
6754
  };
6737
6755
  code?: string | undefined;
6738
6756
  evidenceGrade?: EvidenceGrade | undefined;
@@ -6742,27 +6760,9 @@ declare const agentOutputSchema: z.ZodUnion<[z.ZodUnion<[z.ZodObject<{
6742
6760
  requiredFields: string[];
6743
6761
  example: string;
6744
6762
  };
6745
- budget: {
6746
- iteration: number;
6747
- maxIterations: number;
6748
- scoreDelta: number;
6749
- };
6750
- provenance: {
6751
- scope: {
6752
- method: "status" | "three-dot" | "tree-diff" | "fallback-full" | "explicit" | "full";
6753
- gitOk: boolean;
6754
- };
6755
- fcid: string;
6756
- runId: string;
6757
- engineVersion: string;
6758
- scopeHash: string;
6759
- inputFilesHash: string;
6760
- baselineId?: string | undefined;
6761
- inputsHash?: string | undefined;
6762
- };
6763
6763
  suppressions?: {
6764
6764
  reason: string;
6765
- scope: "file" | "line" | "block";
6765
+ scope: "block" | "file" | "line";
6766
6766
  code?: string | undefined;
6767
6767
  ruleId?: string | undefined;
6768
6768
  expiresOn?: string | undefined;
@@ -6838,12 +6838,30 @@ declare const agentOutputSchema: z.ZodUnion<[z.ZodUnion<[z.ZodObject<{
6838
6838
  gatingFindingCount: number;
6839
6839
  };
6840
6840
  status: "indeterminate";
6841
+ provenance: {
6842
+ scope: {
6843
+ method: "status" | "three-dot" | "tree-diff" | "fallback-full" | "explicit" | "full";
6844
+ gitOk: boolean;
6845
+ };
6846
+ fcid: string;
6847
+ runId: string;
6848
+ engineVersion: string;
6849
+ scopeHash: string;
6850
+ inputFilesHash: string;
6851
+ baselineId?: string | undefined;
6852
+ inputsHash?: string | undefined;
6853
+ };
6854
+ budget: {
6855
+ iteration: number;
6856
+ maxIterations: number;
6857
+ scoreDelta: number;
6858
+ };
6841
6859
  passed: true;
6842
6860
  reasons: ["zero_rules_loaded"];
6843
6861
  integrity: {
6844
6862
  status: "healthy" | "degraded" | "inert";
6845
- rulesLoaded: 0;
6846
6863
  healthy: boolean;
6864
+ rulesLoaded: 0;
6847
6865
  inert: boolean;
6848
6866
  reasons: string[];
6849
6867
  };
@@ -6852,14 +6870,14 @@ declare const agentOutputSchema: z.ZodUnion<[z.ZodUnion<[z.ZodObject<{
6852
6870
  ruleId: string;
6853
6871
  severity: "critical" | "serious" | "moderate" | "minor";
6854
6872
  filePath: string;
6855
- evidence: FactEvidence[];
6856
6873
  line: number;
6874
+ evidence: FactEvidence[];
6857
6875
  level: "error" | "warn";
6858
6876
  col: number;
6859
6877
  plan: {
6860
6878
  confidence: number;
6861
- tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
6862
6879
  args: Record<string, unknown>;
6880
+ tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
6863
6881
  };
6864
6882
  code?: string | undefined;
6865
6883
  evidenceGrade?: EvidenceGrade | undefined;
@@ -6869,14 +6887,14 @@ declare const agentOutputSchema: z.ZodUnion<[z.ZodUnion<[z.ZodObject<{
6869
6887
  ruleId: string;
6870
6888
  severity: "critical" | "serious" | "moderate" | "minor";
6871
6889
  filePath: string;
6872
- evidence: FactEvidence[];
6873
6890
  line: number;
6891
+ evidence: FactEvidence[];
6874
6892
  level: "error" | "warn";
6875
6893
  col: number;
6876
6894
  plan: {
6877
6895
  confidence: number;
6878
- tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
6879
6896
  args: Record<string, unknown>;
6897
+ tool: "design_system/list_primitives" | "design_system/conform" | "design_system/prove_compliant";
6880
6898
  };
6881
6899
  code?: string | undefined;
6882
6900
  evidenceGrade?: EvidenceGrade | undefined;
@@ -6886,30 +6904,12 @@ declare const agentOutputSchema: z.ZodUnion<[z.ZodUnion<[z.ZodObject<{
6886
6904
  requiredFields: string[];
6887
6905
  example: string;
6888
6906
  };
6889
- budget: {
6890
- iteration: number;
6891
- maxIterations: number;
6892
- scoreDelta: number;
6893
- };
6894
- provenance: {
6895
- scope: {
6896
- method: "status" | "three-dot" | "tree-diff" | "fallback-full" | "explicit" | "full";
6897
- gitOk: boolean;
6898
- };
6899
- fcid: string;
6900
- runId: string;
6901
- engineVersion: string;
6902
- scopeHash: string;
6903
- inputFilesHash: string;
6904
- baselineId?: string | undefined;
6905
- inputsHash?: string | undefined;
6906
- };
6907
6907
  suppressions?: {
6908
6908
  reason: string;
6909
6909
  code?: string | undefined;
6910
6910
  ruleId?: string | undefined;
6911
- scope?: "file" | "line" | "block" | undefined;
6912
6911
  expiresOn?: string | undefined;
6912
+ scope?: "block" | "file" | "line" | undefined;
6913
6913
  expiresAt?: string | undefined;
6914
6914
  }[] | undefined;
6915
6915
  findings?: {
@@ -7042,7 +7042,7 @@ declare const agentOutputSchema: z.ZodUnion<[z.ZodUnion<[z.ZodObject<{
7042
7042
  exitCode: 0 | 1;
7043
7043
  gatingFindingCount: number;
7044
7044
  }>>;
7045
- cloudReport: z.ZodOptional<z.ZodEnum<["reported", "failed", "skipped"]>>;
7045
+ cloudReport: z.ZodOptional<z.ZodEnum<["accepted", "reported", "failed", "skipped"]>>;
7046
7046
  notices: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
7047
7047
  }, "strip", z.ZodTypeAny, {
7048
7048
  schemaVersion: "typestyle.agent.v2";
@@ -7069,7 +7069,7 @@ declare const agentOutputSchema: z.ZodUnion<[z.ZodUnion<[z.ZodObject<{
7069
7069
  baselineId?: string | undefined;
7070
7070
  inputsHash?: string | undefined;
7071
7071
  } | undefined;
7072
- cloudReport?: "reported" | "failed" | "skipped" | undefined;
7072
+ cloudReport?: "accepted" | "reported" | "failed" | "skipped" | undefined;
7073
7073
  notices?: string[] | undefined;
7074
7074
  }, {
7075
7075
  schemaVersion: "typestyle.agent.v2";
@@ -7096,7 +7096,7 @@ declare const agentOutputSchema: z.ZodUnion<[z.ZodUnion<[z.ZodObject<{
7096
7096
  baselineId?: string | undefined;
7097
7097
  inputsHash?: string | undefined;
7098
7098
  } | undefined;
7099
- cloudReport?: "reported" | "failed" | "skipped" | undefined;
7099
+ cloudReport?: "accepted" | "reported" | "failed" | "skipped" | undefined;
7100
7100
  notices?: string[] | undefined;
7101
7101
  }>]>;
7102
7102
  type AgentOutput = z.infer<typeof agentOutputSchema>;