carrick 0.3.127 → 0.3.129

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 (23) hide show
  1. package/package.json +6 -6
  2. package/plugin/.claude-plugin/plugin.json +1 -1
  3. package/sidecar/dist/src/capture/anchors.js +5 -1
  4. package/sidecar/dist/src/capture/check-classify.d.ts +8 -1
  5. package/sidecar/dist/src/capture/check-classify.js +21 -1
  6. package/sidecar/dist/src/capture/check-probe.d.ts +7 -7
  7. package/sidecar/dist/src/capture/check-probe.js +13 -14
  8. package/sidecar/dist/src/capture/check.js +5 -5
  9. package/sidecar/dist/src/index.js +43 -4
  10. package/sidecar/dist/src/library-claims.d.ts +63 -3
  11. package/sidecar/dist/src/library-claims.js +380 -39
  12. package/sidecar/dist/src/retype.js +36 -0
  13. package/sidecar/dist/src/server-labels.d.ts +29 -0
  14. package/sidecar/dist/src/server-labels.js +45 -0
  15. package/sidecar/dist/src/stated-params.d.ts +138 -0
  16. package/sidecar/dist/src/stated-params.js +547 -0
  17. package/sidecar/dist/src/type-inferrer.d.ts +89 -1
  18. package/sidecar/dist/src/type-inferrer.js +429 -17
  19. package/sidecar/dist/src/types.d.ts +76 -3
  20. package/sidecar/dist/src/unwidened.d.ts +11 -2
  21. package/sidecar/dist/src/unwidened.js +50 -3
  22. package/sidecar/dist/src/validators.d.ts +228 -59
  23. package/sidecar/dist/src/validators.js +45 -2
package/sidecar/dist/src/validators.d.ts CHANGED
@@ -3,7 +3,7 @@
3
3
  * These validators ensure incoming JSON messages are correctly typed
4
4
  */
5
5
  import { z } from 'zod';
6
- import type { SidecarRequest, InferRequestItem } from './types.js';
6
+ import type { SidecarRequest, InferRequestItem, LibraryCheck } from './types.js';
7
7
  export declare const InferKindSchema: z.ZodEnum<["function_return", "expression", "call_result", "variable", "response_body", "request_body", "signature_return", "function_param", "receiver_type"]>;
8
8
  export declare const SymbolRequestSchema: z.ZodObject<{
9
9
  symbol_name: z.ZodString;
@@ -717,6 +717,22 @@ export declare const InferRequestSchema: z.ZodObject<{
717
717
  symbol_name: string;
718
718
  source_file: string;
719
719
  }>, "many">>;
720
+ server_claims: z.ZodOptional<z.ZodLazy<z.ZodObject<{
721
+ from_dir: z.ZodString;
722
+ scan_root: z.ZodOptional<z.ZodString>;
723
+ checks: z.ZodArray<z.ZodUnknown, "many">;
724
+ type_packages: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodArray<z.ZodString, "many">>>;
725
+ }, "strict", z.ZodTypeAny, {
726
+ from_dir: string;
727
+ checks: unknown[];
728
+ scan_root?: string | undefined;
729
+ type_packages?: Record<string, string[]> | undefined;
730
+ }, {
731
+ from_dir: string;
732
+ checks: unknown[];
733
+ scan_root?: string | undefined;
734
+ type_packages?: Record<string, string[]> | undefined;
735
+ }>>>;
720
736
  }, "strip", z.ZodTypeAny, {
721
737
  request_id: string;
722
738
  action: "infer";
@@ -747,6 +763,12 @@ export declare const InferRequestSchema: z.ZodObject<{
747
763
  symbol_name: string;
748
764
  source_file: string;
749
765
  }[] | undefined;
766
+ server_claims?: {
767
+ from_dir: string;
768
+ checks: unknown[];
769
+ scan_root?: string | undefined;
770
+ type_packages?: Record<string, string[]> | undefined;
771
+ } | undefined;
750
772
  }, {
751
773
  request_id: string;
752
774
  action: "infer";
@@ -777,6 +799,12 @@ export declare const InferRequestSchema: z.ZodObject<{
777
799
  symbol_name: string;
778
800
  source_file: string;
779
801
  }[] | undefined;
802
+ server_claims?: {
803
+ from_dir: string;
804
+ checks: unknown[];
805
+ scan_root?: string | undefined;
806
+ type_packages?: Record<string, string[]> | undefined;
807
+ } | undefined;
780
808
  }>;
781
809
  export declare const HealthRequestSchema: z.ZodObject<{
782
810
  request_id: z.ZodString;
@@ -1206,6 +1234,15 @@ export declare const VerifyClientSemanticsRequestSchema: z.ZodObject<{
1206
1234
  }[];
1207
1235
  budget_ms?: number | undefined;
1208
1236
  }>;
1237
+ /**
1238
+ * The checks of an `infer` request's server claims the library-check schema
1239
+ * takes, and how many it refused (carrick#2674). A refused claim reads
1240
+ * nothing; the others still do.
1241
+ */
1242
+ export declare function settledServerChecks(checks: readonly unknown[]): {
1243
+ checks: LibraryCheck[];
1244
+ refused: number;
1245
+ };
1209
1246
  export declare const VerifyLibraryClaimsRequestSchema: z.ZodObject<{
1210
1247
  request_id: z.ZodString;
1211
1248
  } & {
@@ -1347,7 +1384,7 @@ export declare const VerifyLibraryClaimsRequestSchema: z.ZodObject<{
1347
1384
  }>, z.ZodObject<{
1348
1385
  kind: z.ZodLiteral<"scope">;
1349
1386
  member: z.ZodString;
1350
- name: z.ZodObject<{
1387
+ name: z.ZodOptional<z.ZodObject<{
1351
1388
  arg: z.ZodNumber;
1352
1389
  key: z.ZodOptional<z.ZodString>;
1353
1390
  }, "strict", z.ZodTypeAny, {
@@ -1356,7 +1393,7 @@ export declare const VerifyLibraryClaimsRequestSchema: z.ZodObject<{
1356
1393
  }, {
1357
1394
  arg: number;
1358
1395
  key?: string | undefined;
1359
- }>;
1396
+ }>>;
1360
1397
  path: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
1361
1398
  on: z.ZodOptional<z.ZodEnum<["export", "instance", "both"]>>;
1362
1399
  of: z.ZodOptional<z.ZodString>;
@@ -1405,13 +1442,26 @@ export declare const VerifyLibraryClaimsRequestSchema: z.ZodObject<{
1405
1442
  arg: number;
1406
1443
  key?: string | undefined;
1407
1444
  }>>;
1445
+ collects: z.ZodOptional<z.ZodObject<{
1446
+ arg: z.ZodNumber;
1447
+ key: z.ZodOptional<z.ZodString>;
1448
+ join: z.ZodString;
1449
+ }, "strict", z.ZodTypeAny, {
1450
+ join: string;
1451
+ arg: number;
1452
+ key?: string | undefined;
1453
+ }, {
1454
+ join: string;
1455
+ arg: number;
1456
+ key?: string | undefined;
1457
+ }>>;
1408
1458
  }, "strict", z.ZodTypeAny, {
1409
1459
  kind: "scope";
1410
- name: {
1460
+ member: string;
1461
+ name?: {
1411
1462
  arg: number;
1412
1463
  key?: string | undefined;
1413
- };
1414
- member: string;
1464
+ } | undefined;
1415
1465
  path?: string[] | undefined;
1416
1466
  runs?: {
1417
1467
  arg: number;
@@ -1434,13 +1484,18 @@ export declare const VerifyLibraryClaimsRequestSchema: z.ZodObject<{
1434
1484
  arg: number;
1435
1485
  key?: string | undefined;
1436
1486
  } | undefined;
1487
+ collects?: {
1488
+ join: string;
1489
+ arg: number;
1490
+ key?: string | undefined;
1491
+ } | undefined;
1437
1492
  }, {
1438
1493
  kind: "scope";
1439
- name: {
1494
+ member: string;
1495
+ name?: {
1440
1496
  arg: number;
1441
1497
  key?: string | undefined;
1442
- };
1443
- member: string;
1498
+ } | undefined;
1444
1499
  path?: string[] | undefined;
1445
1500
  runs?: {
1446
1501
  arg: number;
@@ -1463,6 +1518,11 @@ export declare const VerifyLibraryClaimsRequestSchema: z.ZodObject<{
1463
1518
  arg: number;
1464
1519
  key?: string | undefined;
1465
1520
  } | undefined;
1521
+ collects?: {
1522
+ join: string;
1523
+ arg: number;
1524
+ key?: string | undefined;
1525
+ } | undefined;
1466
1526
  }>, z.ZodObject<{
1467
1527
  kind: z.ZodLiteral<"op">;
1468
1528
  op: z.ZodEnum<["request", "send", "receive", "execute"]>;
@@ -1471,11 +1531,11 @@ export declare const VerifyLibraryClaimsRequestSchema: z.ZodObject<{
1471
1531
  on: z.ZodOptional<z.ZodEnum<["export", "instance", "both"]>>;
1472
1532
  of: z.ZodOptional<z.ZodString>;
1473
1533
  name: z.ZodOptional<z.ZodUnion<[z.ZodObject<{
1474
- bound: z.ZodEnum<["maker", "scope"]>;
1534
+ bound: z.ZodEnum<["maker", "scope", "key"]>;
1475
1535
  }, "strict", z.ZodTypeAny, {
1476
- bound: "maker" | "scope";
1536
+ bound: "maker" | "scope" | "key";
1477
1537
  }, {
1478
- bound: "maker" | "scope";
1538
+ bound: "maker" | "scope" | "key";
1479
1539
  }>, z.ZodObject<{
1480
1540
  arg: z.ZodNumber;
1481
1541
  key: z.ZodOptional<z.ZodString>;
@@ -1591,13 +1651,16 @@ export declare const VerifyLibraryClaimsRequestSchema: z.ZodObject<{
1591
1651
  path: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
1592
1652
  url: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
1593
1653
  method: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
1654
+ body: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
1594
1655
  }, "strict", z.ZodTypeAny, {
1595
1656
  param: number;
1657
+ body?: string[] | undefined;
1596
1658
  url?: string[] | undefined;
1597
1659
  path?: string[] | undefined;
1598
1660
  method?: string[] | undefined;
1599
1661
  }, {
1600
1662
  param: number;
1663
+ body?: string[] | undefined;
1601
1664
  url?: string[] | undefined;
1602
1665
  path?: string[] | undefined;
1603
1666
  method?: string[] | undefined;
@@ -1610,10 +1673,11 @@ export declare const VerifyLibraryClaimsRequestSchema: z.ZodObject<{
1610
1673
  arg: number;
1611
1674
  key?: string | undefined;
1612
1675
  } | {
1613
- bound: "maker" | "scope";
1676
+ bound: "maker" | "scope" | "key";
1614
1677
  } | undefined;
1615
1678
  request?: {
1616
1679
  param: number;
1680
+ body?: string[] | undefined;
1617
1681
  url?: string[] | undefined;
1618
1682
  path?: string[] | undefined;
1619
1683
  method?: string[] | undefined;
@@ -1671,10 +1735,11 @@ export declare const VerifyLibraryClaimsRequestSchema: z.ZodObject<{
1671
1735
  arg: number;
1672
1736
  key?: string | undefined;
1673
1737
  } | {
1674
- bound: "maker" | "scope";
1738
+ bound: "maker" | "scope" | "key";
1675
1739
  } | undefined;
1676
1740
  request?: {
1677
1741
  param: number;
1742
+ body?: string[] | undefined;
1678
1743
  url?: string[] | undefined;
1679
1744
  path?: string[] | undefined;
1680
1745
  method?: string[] | undefined;
@@ -1786,11 +1851,11 @@ export declare const VerifyLibraryClaimsRequestSchema: z.ZodObject<{
1786
1851
  picker?: string | undefined;
1787
1852
  } | {
1788
1853
  kind: "scope";
1789
- name: {
1854
+ member: string;
1855
+ name?: {
1790
1856
  arg: number;
1791
1857
  key?: string | undefined;
1792
- };
1793
- member: string;
1858
+ } | undefined;
1794
1859
  path?: string[] | undefined;
1795
1860
  runs?: {
1796
1861
  arg: number;
@@ -1813,6 +1878,11 @@ export declare const VerifyLibraryClaimsRequestSchema: z.ZodObject<{
1813
1878
  arg: number;
1814
1879
  key?: string | undefined;
1815
1880
  } | undefined;
1881
+ collects?: {
1882
+ join: string;
1883
+ arg: number;
1884
+ key?: string | undefined;
1885
+ } | undefined;
1816
1886
  } | {
1817
1887
  kind: "op";
1818
1888
  member: string | null;
@@ -1821,10 +1891,11 @@ export declare const VerifyLibraryClaimsRequestSchema: z.ZodObject<{
1821
1891
  arg: number;
1822
1892
  key?: string | undefined;
1823
1893
  } | {
1824
- bound: "maker" | "scope";
1894
+ bound: "maker" | "scope" | "key";
1825
1895
  } | undefined;
1826
1896
  request?: {
1827
1897
  param: number;
1898
+ body?: string[] | undefined;
1828
1899
  url?: string[] | undefined;
1829
1900
  path?: string[] | undefined;
1830
1901
  method?: string[] | undefined;
@@ -1921,11 +1992,11 @@ export declare const VerifyLibraryClaimsRequestSchema: z.ZodObject<{
1921
1992
  picker?: string | undefined;
1922
1993
  } | {
1923
1994
  kind: "scope";
1924
- name: {
1995
+ member: string;
1996
+ name?: {
1925
1997
  arg: number;
1926
1998
  key?: string | undefined;
1927
- };
1928
- member: string;
1999
+ } | undefined;
1929
2000
  path?: string[] | undefined;
1930
2001
  runs?: {
1931
2002
  arg: number;
@@ -1948,6 +2019,11 @@ export declare const VerifyLibraryClaimsRequestSchema: z.ZodObject<{
1948
2019
  arg: number;
1949
2020
  key?: string | undefined;
1950
2021
  } | undefined;
2022
+ collects?: {
2023
+ join: string;
2024
+ arg: number;
2025
+ key?: string | undefined;
2026
+ } | undefined;
1951
2027
  } | {
1952
2028
  kind: "op";
1953
2029
  member: string | null;
@@ -1956,10 +2032,11 @@ export declare const VerifyLibraryClaimsRequestSchema: z.ZodObject<{
1956
2032
  arg: number;
1957
2033
  key?: string | undefined;
1958
2034
  } | {
1959
- bound: "maker" | "scope";
2035
+ bound: "maker" | "scope" | "key";
1960
2036
  } | undefined;
1961
2037
  request?: {
1962
2038
  param: number;
2039
+ body?: string[] | undefined;
1963
2040
  url?: string[] | undefined;
1964
2041
  path?: string[] | undefined;
1965
2042
  method?: string[] | undefined;
@@ -2062,11 +2139,11 @@ export declare const VerifyLibraryClaimsRequestSchema: z.ZodObject<{
2062
2139
  picker?: string | undefined;
2063
2140
  } | {
2064
2141
  kind: "scope";
2065
- name: {
2142
+ member: string;
2143
+ name?: {
2066
2144
  arg: number;
2067
2145
  key?: string | undefined;
2068
- };
2069
- member: string;
2146
+ } | undefined;
2070
2147
  path?: string[] | undefined;
2071
2148
  runs?: {
2072
2149
  arg: number;
@@ -2089,6 +2166,11 @@ export declare const VerifyLibraryClaimsRequestSchema: z.ZodObject<{
2089
2166
  arg: number;
2090
2167
  key?: string | undefined;
2091
2168
  } | undefined;
2169
+ collects?: {
2170
+ join: string;
2171
+ arg: number;
2172
+ key?: string | undefined;
2173
+ } | undefined;
2092
2174
  } | {
2093
2175
  kind: "op";
2094
2176
  member: string | null;
@@ -2097,10 +2179,11 @@ export declare const VerifyLibraryClaimsRequestSchema: z.ZodObject<{
2097
2179
  arg: number;
2098
2180
  key?: string | undefined;
2099
2181
  } | {
2100
- bound: "maker" | "scope";
2182
+ bound: "maker" | "scope" | "key";
2101
2183
  } | undefined;
2102
2184
  request?: {
2103
2185
  param: number;
2186
+ body?: string[] | undefined;
2104
2187
  url?: string[] | undefined;
2105
2188
  path?: string[] | undefined;
2106
2189
  method?: string[] | undefined;
@@ -2204,11 +2287,11 @@ export declare const VerifyLibraryClaimsRequestSchema: z.ZodObject<{
2204
2287
  picker?: string | undefined;
2205
2288
  } | {
2206
2289
  kind: "scope";
2207
- name: {
2290
+ member: string;
2291
+ name?: {
2208
2292
  arg: number;
2209
2293
  key?: string | undefined;
2210
- };
2211
- member: string;
2294
+ } | undefined;
2212
2295
  path?: string[] | undefined;
2213
2296
  runs?: {
2214
2297
  arg: number;
@@ -2231,6 +2314,11 @@ export declare const VerifyLibraryClaimsRequestSchema: z.ZodObject<{
2231
2314
  arg: number;
2232
2315
  key?: string | undefined;
2233
2316
  } | undefined;
2317
+ collects?: {
2318
+ join: string;
2319
+ arg: number;
2320
+ key?: string | undefined;
2321
+ } | undefined;
2234
2322
  } | {
2235
2323
  kind: "op";
2236
2324
  member: string | null;
@@ -2239,10 +2327,11 @@ export declare const VerifyLibraryClaimsRequestSchema: z.ZodObject<{
2239
2327
  arg: number;
2240
2328
  key?: string | undefined;
2241
2329
  } | {
2242
- bound: "maker" | "scope";
2330
+ bound: "maker" | "scope" | "key";
2243
2331
  } | undefined;
2244
2332
  request?: {
2245
2333
  param: number;
2334
+ body?: string[] | undefined;
2246
2335
  url?: string[] | undefined;
2247
2336
  path?: string[] | undefined;
2248
2337
  method?: string[] | undefined;
@@ -2979,6 +3068,22 @@ export declare const SidecarRequestSchema: z.ZodDiscriminatedUnion<"action", [z.
2979
3068
  symbol_name: string;
2980
3069
  source_file: string;
2981
3070
  }>, "many">>;
3071
+ server_claims: z.ZodOptional<z.ZodLazy<z.ZodObject<{
3072
+ from_dir: z.ZodString;
3073
+ scan_root: z.ZodOptional<z.ZodString>;
3074
+ checks: z.ZodArray<z.ZodUnknown, "many">;
3075
+ type_packages: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodArray<z.ZodString, "many">>>;
3076
+ }, "strict", z.ZodTypeAny, {
3077
+ from_dir: string;
3078
+ checks: unknown[];
3079
+ scan_root?: string | undefined;
3080
+ type_packages?: Record<string, string[]> | undefined;
3081
+ }, {
3082
+ from_dir: string;
3083
+ checks: unknown[];
3084
+ scan_root?: string | undefined;
3085
+ type_packages?: Record<string, string[]> | undefined;
3086
+ }>>>;
2982
3087
  }, "strip", z.ZodTypeAny, {
2983
3088
  request_id: string;
2984
3089
  action: "infer";
@@ -3009,6 +3114,12 @@ export declare const SidecarRequestSchema: z.ZodDiscriminatedUnion<"action", [z.
3009
3114
  symbol_name: string;
3010
3115
  source_file: string;
3011
3116
  }[] | undefined;
3117
+ server_claims?: {
3118
+ from_dir: string;
3119
+ checks: unknown[];
3120
+ scan_root?: string | undefined;
3121
+ type_packages?: Record<string, string[]> | undefined;
3122
+ } | undefined;
3012
3123
  }, {
3013
3124
  request_id: string;
3014
3125
  action: "infer";
@@ -3039,6 +3150,12 @@ export declare const SidecarRequestSchema: z.ZodDiscriminatedUnion<"action", [z.
3039
3150
  symbol_name: string;
3040
3151
  source_file: string;
3041
3152
  }[] | undefined;
3153
+ server_claims?: {
3154
+ from_dir: string;
3155
+ checks: unknown[];
3156
+ scan_root?: string | undefined;
3157
+ type_packages?: Record<string, string[]> | undefined;
3158
+ } | undefined;
3042
3159
  }>, z.ZodObject<{
3043
3160
  request_id: z.ZodString;
3044
3161
  } & {
@@ -3498,7 +3615,7 @@ export declare const SidecarRequestSchema: z.ZodDiscriminatedUnion<"action", [z.
3498
3615
  }>, z.ZodObject<{
3499
3616
  kind: z.ZodLiteral<"scope">;
3500
3617
  member: z.ZodString;
3501
- name: z.ZodObject<{
3618
+ name: z.ZodOptional<z.ZodObject<{
3502
3619
  arg: z.ZodNumber;
3503
3620
  key: z.ZodOptional<z.ZodString>;
3504
3621
  }, "strict", z.ZodTypeAny, {
@@ -3507,7 +3624,7 @@ export declare const SidecarRequestSchema: z.ZodDiscriminatedUnion<"action", [z.
3507
3624
  }, {
3508
3625
  arg: number;
3509
3626
  key?: string | undefined;
3510
- }>;
3627
+ }>>;
3511
3628
  path: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
3512
3629
  on: z.ZodOptional<z.ZodEnum<["export", "instance", "both"]>>;
3513
3630
  of: z.ZodOptional<z.ZodString>;
@@ -3556,13 +3673,26 @@ export declare const SidecarRequestSchema: z.ZodDiscriminatedUnion<"action", [z.
3556
3673
  arg: number;
3557
3674
  key?: string | undefined;
3558
3675
  }>>;
3676
+ collects: z.ZodOptional<z.ZodObject<{
3677
+ arg: z.ZodNumber;
3678
+ key: z.ZodOptional<z.ZodString>;
3679
+ join: z.ZodString;
3680
+ }, "strict", z.ZodTypeAny, {
3681
+ join: string;
3682
+ arg: number;
3683
+ key?: string | undefined;
3684
+ }, {
3685
+ join: string;
3686
+ arg: number;
3687
+ key?: string | undefined;
3688
+ }>>;
3559
3689
  }, "strict", z.ZodTypeAny, {
3560
3690
  kind: "scope";
3561
- name: {
3691
+ member: string;
3692
+ name?: {
3562
3693
  arg: number;
3563
3694
  key?: string | undefined;
3564
- };
3565
- member: string;
3695
+ } | undefined;
3566
3696
  path?: string[] | undefined;
3567
3697
  runs?: {
3568
3698
  arg: number;
@@ -3585,13 +3715,18 @@ export declare const SidecarRequestSchema: z.ZodDiscriminatedUnion<"action", [z.
3585
3715
  arg: number;
3586
3716
  key?: string | undefined;
3587
3717
  } | undefined;
3718
+ collects?: {
3719
+ join: string;
3720
+ arg: number;
3721
+ key?: string | undefined;
3722
+ } | undefined;
3588
3723
  }, {
3589
3724
  kind: "scope";
3590
- name: {
3725
+ member: string;
3726
+ name?: {
3591
3727
  arg: number;
3592
3728
  key?: string | undefined;
3593
- };
3594
- member: string;
3729
+ } | undefined;
3595
3730
  path?: string[] | undefined;
3596
3731
  runs?: {
3597
3732
  arg: number;
@@ -3614,6 +3749,11 @@ export declare const SidecarRequestSchema: z.ZodDiscriminatedUnion<"action", [z.
3614
3749
  arg: number;
3615
3750
  key?: string | undefined;
3616
3751
  } | undefined;
3752
+ collects?: {
3753
+ join: string;
3754
+ arg: number;
3755
+ key?: string | undefined;
3756
+ } | undefined;
3617
3757
  }>, z.ZodObject<{
3618
3758
  kind: z.ZodLiteral<"op">;
3619
3759
  op: z.ZodEnum<["request", "send", "receive", "execute"]>;
@@ -3622,11 +3762,11 @@ export declare const SidecarRequestSchema: z.ZodDiscriminatedUnion<"action", [z.
3622
3762
  on: z.ZodOptional<z.ZodEnum<["export", "instance", "both"]>>;
3623
3763
  of: z.ZodOptional<z.ZodString>;
3624
3764
  name: z.ZodOptional<z.ZodUnion<[z.ZodObject<{
3625
- bound: z.ZodEnum<["maker", "scope"]>;
3765
+ bound: z.ZodEnum<["maker", "scope", "key"]>;
3626
3766
  }, "strict", z.ZodTypeAny, {
3627
- bound: "maker" | "scope";
3767
+ bound: "maker" | "scope" | "key";
3628
3768
  }, {
3629
- bound: "maker" | "scope";
3769
+ bound: "maker" | "scope" | "key";
3630
3770
  }>, z.ZodObject<{
3631
3771
  arg: z.ZodNumber;
3632
3772
  key: z.ZodOptional<z.ZodString>;
@@ -3742,13 +3882,16 @@ export declare const SidecarRequestSchema: z.ZodDiscriminatedUnion<"action", [z.
3742
3882
  path: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
3743
3883
  url: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
3744
3884
  method: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
3885
+ body: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
3745
3886
  }, "strict", z.ZodTypeAny, {
3746
3887
  param: number;
3888
+ body?: string[] | undefined;
3747
3889
  url?: string[] | undefined;
3748
3890
  path?: string[] | undefined;
3749
3891
  method?: string[] | undefined;
3750
3892
  }, {
3751
3893
  param: number;
3894
+ body?: string[] | undefined;
3752
3895
  url?: string[] | undefined;
3753
3896
  path?: string[] | undefined;
3754
3897
  method?: string[] | undefined;
@@ -3761,10 +3904,11 @@ export declare const SidecarRequestSchema: z.ZodDiscriminatedUnion<"action", [z.
3761
3904
  arg: number;
3762
3905
  key?: string | undefined;
3763
3906
  } | {
3764
- bound: "maker" | "scope";
3907
+ bound: "maker" | "scope" | "key";
3765
3908
  } | undefined;
3766
3909
  request?: {
3767
3910
  param: number;
3911
+ body?: string[] | undefined;
3768
3912
  url?: string[] | undefined;
3769
3913
  path?: string[] | undefined;
3770
3914
  method?: string[] | undefined;
@@ -3822,10 +3966,11 @@ export declare const SidecarRequestSchema: z.ZodDiscriminatedUnion<"action", [z.
3822
3966
  arg: number;
3823
3967
  key?: string | undefined;
3824
3968
  } | {
3825
- bound: "maker" | "scope";
3969
+ bound: "maker" | "scope" | "key";
3826
3970
  } | undefined;
3827
3971
  request?: {
3828
3972
  param: number;
3973
+ body?: string[] | undefined;
3829
3974
  url?: string[] | undefined;
3830
3975
  path?: string[] | undefined;
3831
3976
  method?: string[] | undefined;
@@ -3937,11 +4082,11 @@ export declare const SidecarRequestSchema: z.ZodDiscriminatedUnion<"action", [z.
3937
4082
  picker?: string | undefined;
3938
4083
  } | {
3939
4084
  kind: "scope";
3940
- name: {
4085
+ member: string;
4086
+ name?: {
3941
4087
  arg: number;
3942
4088
  key?: string | undefined;
3943
- };
3944
- member: string;
4089
+ } | undefined;
3945
4090
  path?: string[] | undefined;
3946
4091
  runs?: {
3947
4092
  arg: number;
@@ -3964,6 +4109,11 @@ export declare const SidecarRequestSchema: z.ZodDiscriminatedUnion<"action", [z.
3964
4109
  arg: number;
3965
4110
  key?: string | undefined;
3966
4111
  } | undefined;
4112
+ collects?: {
4113
+ join: string;
4114
+ arg: number;
4115
+ key?: string | undefined;
4116
+ } | undefined;
3967
4117
  } | {
3968
4118
  kind: "op";
3969
4119
  member: string | null;
@@ -3972,10 +4122,11 @@ export declare const SidecarRequestSchema: z.ZodDiscriminatedUnion<"action", [z.
3972
4122
  arg: number;
3973
4123
  key?: string | undefined;
3974
4124
  } | {
3975
- bound: "maker" | "scope";
4125
+ bound: "maker" | "scope" | "key";
3976
4126
  } | undefined;
3977
4127
  request?: {
3978
4128
  param: number;
4129
+ body?: string[] | undefined;
3979
4130
  url?: string[] | undefined;
3980
4131
  path?: string[] | undefined;
3981
4132
  method?: string[] | undefined;
@@ -4072,11 +4223,11 @@ export declare const SidecarRequestSchema: z.ZodDiscriminatedUnion<"action", [z.
4072
4223
  picker?: string | undefined;
4073
4224
  } | {
4074
4225
  kind: "scope";
4075
- name: {
4226
+ member: string;
4227
+ name?: {
4076
4228
  arg: number;
4077
4229
  key?: string | undefined;
4078
- };
4079
- member: string;
4230
+ } | undefined;
4080
4231
  path?: string[] | undefined;
4081
4232
  runs?: {
4082
4233
  arg: number;
@@ -4099,6 +4250,11 @@ export declare const SidecarRequestSchema: z.ZodDiscriminatedUnion<"action", [z.
4099
4250
  arg: number;
4100
4251
  key?: string | undefined;
4101
4252
  } | undefined;
4253
+ collects?: {
4254
+ join: string;
4255
+ arg: number;
4256
+ key?: string | undefined;
4257
+ } | undefined;
4102
4258
  } | {
4103
4259
  kind: "op";
4104
4260
  member: string | null;
@@ -4107,10 +4263,11 @@ export declare const SidecarRequestSchema: z.ZodDiscriminatedUnion<"action", [z.
4107
4263
  arg: number;
4108
4264
  key?: string | undefined;
4109
4265
  } | {
4110
- bound: "maker" | "scope";
4266
+ bound: "maker" | "scope" | "key";
4111
4267
  } | undefined;
4112
4268
  request?: {
4113
4269
  param: number;
4270
+ body?: string[] | undefined;
4114
4271
  url?: string[] | undefined;
4115
4272
  path?: string[] | undefined;
4116
4273
  method?: string[] | undefined;
@@ -4213,11 +4370,11 @@ export declare const SidecarRequestSchema: z.ZodDiscriminatedUnion<"action", [z.
4213
4370
  picker?: string | undefined;
4214
4371
  } | {
4215
4372
  kind: "scope";
4216
- name: {
4373
+ member: string;
4374
+ name?: {
4217
4375
  arg: number;
4218
4376
  key?: string | undefined;
4219
- };
4220
- member: string;
4377
+ } | undefined;
4221
4378
  path?: string[] | undefined;
4222
4379
  runs?: {
4223
4380
  arg: number;
@@ -4240,6 +4397,11 @@ export declare const SidecarRequestSchema: z.ZodDiscriminatedUnion<"action", [z.
4240
4397
  arg: number;
4241
4398
  key?: string | undefined;
4242
4399
  } | undefined;
4400
+ collects?: {
4401
+ join: string;
4402
+ arg: number;
4403
+ key?: string | undefined;
4404
+ } | undefined;
4243
4405
  } | {
4244
4406
  kind: "op";
4245
4407
  member: string | null;
@@ -4248,10 +4410,11 @@ export declare const SidecarRequestSchema: z.ZodDiscriminatedUnion<"action", [z.
4248
4410
  arg: number;
4249
4411
  key?: string | undefined;
4250
4412
  } | {
4251
- bound: "maker" | "scope";
4413
+ bound: "maker" | "scope" | "key";
4252
4414
  } | undefined;
4253
4415
  request?: {
4254
4416
  param: number;
4417
+ body?: string[] | undefined;
4255
4418
  url?: string[] | undefined;
4256
4419
  path?: string[] | undefined;
4257
4420
  method?: string[] | undefined;
@@ -4355,11 +4518,11 @@ export declare const SidecarRequestSchema: z.ZodDiscriminatedUnion<"action", [z.
4355
4518
  picker?: string | undefined;
4356
4519
  } | {
4357
4520
  kind: "scope";
4358
- name: {
4521
+ member: string;
4522
+ name?: {
4359
4523
  arg: number;
4360
4524
  key?: string | undefined;
4361
- };
4362
- member: string;
4525
+ } | undefined;
4363
4526
  path?: string[] | undefined;
4364
4527
  runs?: {
4365
4528
  arg: number;
@@ -4382,6 +4545,11 @@ export declare const SidecarRequestSchema: z.ZodDiscriminatedUnion<"action", [z.
4382
4545
  arg: number;
4383
4546
  key?: string | undefined;
4384
4547
  } | undefined;
4548
+ collects?: {
4549
+ join: string;
4550
+ arg: number;
4551
+ key?: string | undefined;
4552
+ } | undefined;
4385
4553
  } | {
4386
4554
  kind: "op";
4387
4555
  member: string | null;
@@ -4390,10 +4558,11 @@ export declare const SidecarRequestSchema: z.ZodDiscriminatedUnion<"action", [z.
4390
4558
  arg: number;
4391
4559
  key?: string | undefined;
4392
4560
  } | {
4393
- bound: "maker" | "scope";
4561
+ bound: "maker" | "scope" | "key";
4394
4562
  } | undefined;
4395
4563
  request?: {
4396
4564
  param: number;
4565
+ body?: string[] | undefined;
4397
4566
  url?: string[] | undefined;
4398
4567
  path?: string[] | undefined;
4399
4568
  method?: string[] | undefined;