@c4a/context 0.6.19 → 0.7.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 (120) hide show
  1. package/README.md +1 -1
  2. package/README.zh-CN.md +1 -1
  3. package/codeIndexPlan.d.ts +34 -0
  4. package/docs/README.md +7 -0
  5. package/docs/README.zh-CN.md +5 -0
  6. package/docs/guides/code-indexer-skill-authoring.md +124 -0
  7. package/docs/guides/indexer-provider-and-customization.md +140 -0
  8. package/docs/guides/markdown-indexer-skill-authoring.md +118 -0
  9. package/docs/reference/code-extractors.md +2 -2
  10. package/docs/reference/indexer-provider-protocol.md +819 -0
  11. package/docs/reference/project-api.md +2 -2
  12. package/index.d.ts +47 -1
  13. package/index.js +28239 -3952
  14. package/indexerAgentStepProtocol.d.ts +9391 -0
  15. package/indexerArtifactDependencies.d.ts +689 -0
  16. package/indexerArtifactPolicy.d.ts +335 -0
  17. package/indexerArtifactResult.d.ts +2010 -0
  18. package/indexerAuditFacts.d.ts +66 -0
  19. package/indexerAuditOverrideReadiness.d.ts +27 -0
  20. package/indexerAuditProtocol.d.ts +238 -0
  21. package/indexerAuditRevision.d.ts +726 -0
  22. package/indexerAuditRevisionActions.d.ts +236 -0
  23. package/indexerAuthoringFixture.d.ts +152 -0
  24. package/indexerBaseQuestionAmendment.d.ts +2403 -0
  25. package/indexerBenchmark.d.ts +1062 -0
  26. package/indexerCandidateCompile.d.ts +801 -0
  27. package/indexerCapabilityGroupEvidence.d.ts +129 -0
  28. package/indexerCatalogFallback.d.ts +1262 -0
  29. package/indexerCollectionMapping.d.ts +75 -0
  30. package/indexerContentLayers.d.ts +137 -0
  31. package/indexerControlledInvocation.d.ts +512 -0
  32. package/indexerControlledProgram.d.ts +12535 -0
  33. package/indexerCoreExports.d.ts +21 -0
  34. package/indexerCustomizationDraft.d.ts +13800 -0
  35. package/indexerCustomizationLadder.d.ts +103 -0
  36. package/indexerDependencyView.d.ts +1610 -0
  37. package/indexerEvidenceAdapterResult.d.ts +504 -0
  38. package/indexerExampleDecision.d.ts +1606 -0
  39. package/indexerExampleIdentity.d.ts +132 -0
  40. package/indexerExampleIdentityAudit.d.ts +70 -0
  41. package/indexerExampleLinkageAudit.d.ts +80 -0
  42. package/indexerGeneratedAuthoringAudit.d.ts +208 -0
  43. package/indexerIncrementalImpact.d.ts +221 -0
  44. package/indexerInventoryDisposition.d.ts +443 -0
  45. package/indexerLayerComposition.d.ts +1652 -0
  46. package/indexerLayoutChange.d.ts +329 -0
  47. package/indexerLayoutProposalSet.d.ts +447 -0
  48. package/indexerLayoutResolver.d.ts +342 -0
  49. package/indexerLayoutTransition.d.ts +247 -0
  50. package/indexerLifecycle.d.ts +53 -0
  51. package/indexerMainLifecycle.d.ts +258 -0
  52. package/indexerMainRunLedger.d.ts +888 -0
  53. package/indexerMainRunProtocol.d.ts +6471 -0
  54. package/indexerMainWorkset.d.ts +2141 -0
  55. package/indexerMaterialAnswer.d.ts +738 -0
  56. package/indexerMaterialAnswerActualization.d.ts +91 -0
  57. package/indexerMaterialAnswerExecutionPlan.d.ts +2887 -0
  58. package/indexerMaterialAnswerFlow.d.ts +63 -0
  59. package/indexerMaterialAnswerLayout.d.ts +76 -0
  60. package/indexerMaterialAnswerReview.d.ts +217 -0
  61. package/indexerMaterialAnswerReviewRoute.d.ts +6145 -0
  62. package/indexerMaterialAnswerRunLedger.d.ts +918 -0
  63. package/indexerMaterialAnswerRunProtocol.d.ts +1253 -0
  64. package/indexerMaterialGapLedger.d.ts +3111 -0
  65. package/indexerMaterialQuestionExclusion.d.ts +129 -0
  66. package/indexerMaterialQuestionWorkset.d.ts +508 -0
  67. package/indexerNavigationArtifactGraph.d.ts +5 -0
  68. package/indexerNavigationArtifactPlan.d.ts +39 -0
  69. package/indexerOverlayQuestionAmendment.d.ts +2551 -0
  70. package/indexerOverlayQuestionApplyProposal.d.ts +4697 -0
  71. package/indexerOverlayTrust.d.ts +1425 -0
  72. package/indexerParserCoordinate.d.ts +222 -0
  73. package/indexerParserFactView.d.ts +503 -0
  74. package/indexerPartitionConvergence.d.ts +496 -0
  75. package/indexerPartitionPlan.d.ts +919 -0
  76. package/indexerPartitionStrategyResolution.d.ts +594 -0
  77. package/indexerPhysicalArtifactAudit.d.ts +247 -0
  78. package/indexerPhysicalArtifactManifest.d.ts +449 -0
  79. package/indexerPlannedMaterialAnswer.d.ts +116 -0
  80. package/indexerPostAuthorComposition.d.ts +2000 -0
  81. package/indexerPostAuthorRunLedger.d.ts +1972 -0
  82. package/indexerPrimaryProjection.d.ts +262 -0
  83. package/indexerProfileContract.d.ts +3034 -0
  84. package/indexerProfileMetricAudit.d.ts +218 -0
  85. package/indexerProgramExecutionAuthorization.d.ts +227 -0
  86. package/indexerProgramRunProtocol.d.ts +7642 -0
  87. package/indexerProjectProposal.d.ts +2807 -0
  88. package/indexerProjectedArtifactFanOutAudit.d.ts +159 -0
  89. package/indexerProjectedArtifactPlan.d.ts +217 -0
  90. package/indexerProtocolCommon.d.ts +29 -0
  91. package/indexerProvider.d.ts +2573 -0
  92. package/indexerProviderComposition.d.ts +1357 -0
  93. package/indexerProviderContractReferences.d.ts +13 -0
  94. package/indexerProviderProfileResolution.d.ts +20 -0
  95. package/indexerProviderResolution.d.ts +752 -0
  96. package/indexerProviderResolutionAction.d.ts +678 -0
  97. package/indexerProviderRouting.d.ts +3909 -0
  98. package/indexerProviderSelectionProposal.d.ts +3311 -0
  99. package/indexerQuestionAuthority.d.ts +419 -0
  100. package/indexerReaderTargetInventory.d.ts +161 -0
  101. package/indexerReferenceOnlyAudit.d.ts +90 -0
  102. package/indexerRegistry.d.ts +3019 -0
  103. package/indexerRequirementComparison.d.ts +44 -0
  104. package/indexerRequirementConfirmation.d.ts +1193 -0
  105. package/indexerRequirementLifecycle.d.ts +3314 -0
  106. package/indexerRestrictedSelector.d.ts +63 -0
  107. package/indexerResultReconciliation.d.ts +6844 -0
  108. package/indexerResultReconciliationRun.d.ts +15 -0
  109. package/indexerRunEnvelope.d.ts +384 -0
  110. package/indexerRunProtocolCommon.d.ts +21 -0
  111. package/indexerSharedArtifactFingerprint.d.ts +33 -0
  112. package/indexerStructuredDeclaration.d.ts +513 -0
  113. package/indexerSubjectCatalog.d.ts +230 -0
  114. package/indexerSubjectIdentity.d.ts +19 -0
  115. package/indexerSubjectKeyAuthority.d.ts +785 -0
  116. package/indexerTemplateRendering.d.ts +485 -0
  117. package/indexerToolSnapshot.d.ts +431 -0
  118. package/indexerWorksetRead.d.ts +287 -0
  119. package/package.json +1 -1
  120. package/phases.d.ts +1 -1
@@ -0,0 +1,4697 @@
1
+ import { z } from "zod";
2
+ import { type IndexerRegistry } from "./indexerRegistry.js";
3
+ export declare const indexerOverlayQuestionRegistryApplyProposalSchema: z.ZodObject<{
4
+ protocol: z.ZodLiteral<"context.indexer.overlay-question-registry-apply-proposal/v1">;
5
+ project_ref: z.ZodString;
6
+ base_registry: z.ZodObject<{
7
+ document_digest: z.ZodString;
8
+ requirement_set_digest: z.ZodString;
9
+ indexer_selection_digest: z.ZodString;
10
+ registry_digest: z.ZodString;
11
+ }, "strict", z.ZodTypeAny, {
12
+ requirement_set_digest: string;
13
+ registry_digest: string;
14
+ document_digest: string;
15
+ indexer_selection_digest: string;
16
+ }, {
17
+ requirement_set_digest: string;
18
+ registry_digest: string;
19
+ document_digest: string;
20
+ indexer_selection_digest: string;
21
+ }>;
22
+ target_registry: z.ZodObject<{
23
+ document_digest: z.ZodString;
24
+ requirement_set_digest: z.ZodString;
25
+ indexer_selection_digest: z.ZodString;
26
+ registry_digest: z.ZodString;
27
+ }, "strict", z.ZodTypeAny, {
28
+ requirement_set_digest: string;
29
+ registry_digest: string;
30
+ document_digest: string;
31
+ indexer_selection_digest: string;
32
+ }, {
33
+ requirement_set_digest: string;
34
+ registry_digest: string;
35
+ document_digest: string;
36
+ indexer_selection_digest: string;
37
+ }>;
38
+ target_document: z.ZodEffects<z.ZodObject<{
39
+ protocol: z.ZodLiteral<"context.indexer.registry/v1">;
40
+ requirements: z.ZodArray<z.ZodEffects<z.ZodObject<{
41
+ id: z.ZodEffects<z.ZodString, string, string>;
42
+ reader_goals: z.ZodArray<z.ZodEffects<z.ZodString, string, string>, "many">;
43
+ coverage_domains: z.ZodRecord<z.ZodEffects<z.ZodString, string, string>, z.ZodEnum<["required", "optional", "out-of-scope"]>>;
44
+ questions: z.ZodOptional<z.ZodArray<z.ZodObject<{
45
+ ref: z.ZodString;
46
+ authority: z.ZodObject<{
47
+ kind: z.ZodEnum<["cli-base-contract", "verified-contract-overlay"]>;
48
+ ref: z.ZodString;
49
+ digest: z.ZodString;
50
+ }, "strict", z.ZodTypeAny, {
51
+ kind: "cli-base-contract" | "verified-contract-overlay";
52
+ ref: string;
53
+ digest: string;
54
+ }, {
55
+ kind: "cli-base-contract" | "verified-contract-overlay";
56
+ ref: string;
57
+ digest: string;
58
+ }>;
59
+ contract_version: z.ZodNumber;
60
+ contract_digest: z.ZodString;
61
+ }, "strict", z.ZodTypeAny, {
62
+ ref: string;
63
+ authority: {
64
+ kind: "cli-base-contract" | "verified-contract-overlay";
65
+ ref: string;
66
+ digest: string;
67
+ };
68
+ contract_version: number;
69
+ contract_digest: string;
70
+ }, {
71
+ ref: string;
72
+ authority: {
73
+ kind: "cli-base-contract" | "verified-contract-overlay";
74
+ ref: string;
75
+ digest: string;
76
+ };
77
+ contract_version: number;
78
+ contract_digest: string;
79
+ }>, "many">>;
80
+ target_scope: z.ZodEffects<z.ZodObject<{
81
+ targets: z.ZodArray<z.ZodEffects<z.ZodObject<{
82
+ source_ref: z.ZodString;
83
+ module_refs: z.ZodArray<z.ZodString, "many">;
84
+ }, "strict", z.ZodTypeAny, {
85
+ source_ref: string;
86
+ module_refs: string[];
87
+ }, {
88
+ source_ref: string;
89
+ module_refs: string[];
90
+ }>, {
91
+ source_ref: string;
92
+ module_refs: string[];
93
+ }, {
94
+ source_ref: string;
95
+ module_refs: string[];
96
+ }>, "many">;
97
+ }, "strict", z.ZodTypeAny, {
98
+ targets: {
99
+ source_ref: string;
100
+ module_refs: string[];
101
+ }[];
102
+ }, {
103
+ targets: {
104
+ source_ref: string;
105
+ module_refs: string[];
106
+ }[];
107
+ }>, {
108
+ targets: {
109
+ source_ref: string;
110
+ module_refs: string[];
111
+ }[];
112
+ }, {
113
+ targets: {
114
+ source_ref: string;
115
+ module_refs: string[];
116
+ }[];
117
+ }>;
118
+ evidence_source_scope: z.ZodEffects<z.ZodObject<{
119
+ targets: z.ZodArray<z.ZodEffects<z.ZodObject<{
120
+ source_ref: z.ZodString;
121
+ module_refs: z.ZodArray<z.ZodString, "many">;
122
+ }, "strict", z.ZodTypeAny, {
123
+ source_ref: string;
124
+ module_refs: string[];
125
+ }, {
126
+ source_ref: string;
127
+ module_refs: string[];
128
+ }>, {
129
+ source_ref: string;
130
+ module_refs: string[];
131
+ }, {
132
+ source_ref: string;
133
+ module_refs: string[];
134
+ }>, "many">;
135
+ }, "strict", z.ZodTypeAny, {
136
+ targets: {
137
+ source_ref: string;
138
+ module_refs: string[];
139
+ }[];
140
+ }, {
141
+ targets: {
142
+ source_ref: string;
143
+ module_refs: string[];
144
+ }[];
145
+ }>, {
146
+ targets: {
147
+ source_ref: string;
148
+ module_refs: string[];
149
+ }[];
150
+ }, {
151
+ targets: {
152
+ source_ref: string;
153
+ module_refs: string[];
154
+ }[];
155
+ }>;
156
+ exclusions: z.ZodOptional<z.ZodArray<z.ZodObject<{
157
+ id: z.ZodEffects<z.ZodString, string, string>;
158
+ scope: z.ZodEffects<z.ZodObject<{
159
+ targets: z.ZodArray<z.ZodEffects<z.ZodObject<{
160
+ source_ref: z.ZodString;
161
+ module_refs: z.ZodArray<z.ZodString, "many">;
162
+ }, "strict", z.ZodTypeAny, {
163
+ source_ref: string;
164
+ module_refs: string[];
165
+ }, {
166
+ source_ref: string;
167
+ module_refs: string[];
168
+ }>, {
169
+ source_ref: string;
170
+ module_refs: string[];
171
+ }, {
172
+ source_ref: string;
173
+ module_refs: string[];
174
+ }>, "many">;
175
+ }, "strict", z.ZodTypeAny, {
176
+ targets: {
177
+ source_ref: string;
178
+ module_refs: string[];
179
+ }[];
180
+ }, {
181
+ targets: {
182
+ source_ref: string;
183
+ module_refs: string[];
184
+ }[];
185
+ }>, {
186
+ targets: {
187
+ source_ref: string;
188
+ module_refs: string[];
189
+ }[];
190
+ }, {
191
+ targets: {
192
+ source_ref: string;
193
+ module_refs: string[];
194
+ }[];
195
+ }>;
196
+ reason: z.ZodString;
197
+ }, "strict", z.ZodTypeAny, {
198
+ id: string;
199
+ scope: {
200
+ targets: {
201
+ source_ref: string;
202
+ module_refs: string[];
203
+ }[];
204
+ };
205
+ reason: string;
206
+ }, {
207
+ id: string;
208
+ scope: {
209
+ targets: {
210
+ source_ref: string;
211
+ module_refs: string[];
212
+ }[];
213
+ };
214
+ reason: string;
215
+ }>, "many">>;
216
+ }, "strict", z.ZodTypeAny, {
217
+ id: string;
218
+ reader_goals: string[];
219
+ coverage_domains: Record<string, "required" | "optional" | "out-of-scope">;
220
+ target_scope: {
221
+ targets: {
222
+ source_ref: string;
223
+ module_refs: string[];
224
+ }[];
225
+ };
226
+ evidence_source_scope: {
227
+ targets: {
228
+ source_ref: string;
229
+ module_refs: string[];
230
+ }[];
231
+ };
232
+ questions?: {
233
+ ref: string;
234
+ authority: {
235
+ kind: "cli-base-contract" | "verified-contract-overlay";
236
+ ref: string;
237
+ digest: string;
238
+ };
239
+ contract_version: number;
240
+ contract_digest: string;
241
+ }[] | undefined;
242
+ exclusions?: {
243
+ id: string;
244
+ scope: {
245
+ targets: {
246
+ source_ref: string;
247
+ module_refs: string[];
248
+ }[];
249
+ };
250
+ reason: string;
251
+ }[] | undefined;
252
+ }, {
253
+ id: string;
254
+ reader_goals: string[];
255
+ coverage_domains: Record<string, "required" | "optional" | "out-of-scope">;
256
+ target_scope: {
257
+ targets: {
258
+ source_ref: string;
259
+ module_refs: string[];
260
+ }[];
261
+ };
262
+ evidence_source_scope: {
263
+ targets: {
264
+ source_ref: string;
265
+ module_refs: string[];
266
+ }[];
267
+ };
268
+ questions?: {
269
+ ref: string;
270
+ authority: {
271
+ kind: "cli-base-contract" | "verified-contract-overlay";
272
+ ref: string;
273
+ digest: string;
274
+ };
275
+ contract_version: number;
276
+ contract_digest: string;
277
+ }[] | undefined;
278
+ exclusions?: {
279
+ id: string;
280
+ scope: {
281
+ targets: {
282
+ source_ref: string;
283
+ module_refs: string[];
284
+ }[];
285
+ };
286
+ reason: string;
287
+ }[] | undefined;
288
+ }>, {
289
+ id: string;
290
+ reader_goals: string[];
291
+ coverage_domains: Record<string, "required" | "optional" | "out-of-scope">;
292
+ target_scope: {
293
+ targets: {
294
+ source_ref: string;
295
+ module_refs: string[];
296
+ }[];
297
+ };
298
+ evidence_source_scope: {
299
+ targets: {
300
+ source_ref: string;
301
+ module_refs: string[];
302
+ }[];
303
+ };
304
+ questions?: {
305
+ ref: string;
306
+ authority: {
307
+ kind: "cli-base-contract" | "verified-contract-overlay";
308
+ ref: string;
309
+ digest: string;
310
+ };
311
+ contract_version: number;
312
+ contract_digest: string;
313
+ }[] | undefined;
314
+ exclusions?: {
315
+ id: string;
316
+ scope: {
317
+ targets: {
318
+ source_ref: string;
319
+ module_refs: string[];
320
+ }[];
321
+ };
322
+ reason: string;
323
+ }[] | undefined;
324
+ }, {
325
+ id: string;
326
+ reader_goals: string[];
327
+ coverage_domains: Record<string, "required" | "optional" | "out-of-scope">;
328
+ target_scope: {
329
+ targets: {
330
+ source_ref: string;
331
+ module_refs: string[];
332
+ }[];
333
+ };
334
+ evidence_source_scope: {
335
+ targets: {
336
+ source_ref: string;
337
+ module_refs: string[];
338
+ }[];
339
+ };
340
+ questions?: {
341
+ ref: string;
342
+ authority: {
343
+ kind: "cli-base-contract" | "verified-contract-overlay";
344
+ ref: string;
345
+ digest: string;
346
+ };
347
+ contract_version: number;
348
+ contract_digest: string;
349
+ }[] | undefined;
350
+ exclusions?: {
351
+ id: string;
352
+ scope: {
353
+ targets: {
354
+ source_ref: string;
355
+ module_refs: string[];
356
+ }[];
357
+ };
358
+ reason: string;
359
+ }[] | undefined;
360
+ }>, "many">;
361
+ indexers: z.ZodArray<z.ZodEffects<z.ZodObject<{
362
+ id: z.ZodEffects<z.ZodString, string, string>;
363
+ operations: z.ZodArray<z.ZodEnum<["main-index", "material-answer"]>, "many">;
364
+ requirement_bindings: z.ZodArray<z.ZodEffects<z.ZodObject<{
365
+ requirement_ref: z.ZodEffects<z.ZodString, string, string>;
366
+ coverage_domains: z.ZodArray<z.ZodEffects<z.ZodString, string, string>, "many">;
367
+ owned_scope: z.ZodUnion<[z.ZodObject<{
368
+ ref: z.ZodString;
369
+ }, "strict", z.ZodTypeAny, {
370
+ ref: string;
371
+ }, {
372
+ ref: string;
373
+ }>, z.ZodEffects<z.ZodObject<{
374
+ targets: z.ZodArray<z.ZodEffects<z.ZodObject<{
375
+ source_ref: z.ZodString;
376
+ module_refs: z.ZodArray<z.ZodString, "many">;
377
+ }, "strict", z.ZodTypeAny, {
378
+ source_ref: string;
379
+ module_refs: string[];
380
+ }, {
381
+ source_ref: string;
382
+ module_refs: string[];
383
+ }>, {
384
+ source_ref: string;
385
+ module_refs: string[];
386
+ }, {
387
+ source_ref: string;
388
+ module_refs: string[];
389
+ }>, "many">;
390
+ }, "strict", z.ZodTypeAny, {
391
+ targets: {
392
+ source_ref: string;
393
+ module_refs: string[];
394
+ }[];
395
+ }, {
396
+ targets: {
397
+ source_ref: string;
398
+ module_refs: string[];
399
+ }[];
400
+ }>, {
401
+ targets: {
402
+ source_ref: string;
403
+ module_refs: string[];
404
+ }[];
405
+ }, {
406
+ targets: {
407
+ source_ref: string;
408
+ module_refs: string[];
409
+ }[];
410
+ }>]>;
411
+ role: z.ZodEnum<["primary", "enricher"]>;
412
+ }, "strict", z.ZodTypeAny, {
413
+ coverage_domains: string[];
414
+ requirement_ref: string;
415
+ owned_scope: {
416
+ targets: {
417
+ source_ref: string;
418
+ module_refs: string[];
419
+ }[];
420
+ } | {
421
+ ref: string;
422
+ };
423
+ role: "primary" | "enricher";
424
+ }, {
425
+ coverage_domains: string[];
426
+ requirement_ref: string;
427
+ owned_scope: {
428
+ targets: {
429
+ source_ref: string;
430
+ module_refs: string[];
431
+ }[];
432
+ } | {
433
+ ref: string;
434
+ };
435
+ role: "primary" | "enricher";
436
+ }>, {
437
+ coverage_domains: string[];
438
+ requirement_ref: string;
439
+ owned_scope: {
440
+ targets: {
441
+ source_ref: string;
442
+ module_refs: string[];
443
+ }[];
444
+ } | {
445
+ ref: string;
446
+ };
447
+ role: "primary" | "enricher";
448
+ }, {
449
+ coverage_domains: string[];
450
+ requirement_ref: string;
451
+ owned_scope: {
452
+ targets: {
453
+ source_ref: string;
454
+ module_refs: string[];
455
+ }[];
456
+ } | {
457
+ ref: string;
458
+ };
459
+ role: "primary" | "enricher";
460
+ }>, "many">;
461
+ read_scope: z.ZodEffects<z.ZodObject<{
462
+ refs: z.ZodArray<z.ZodString, "many">;
463
+ extra_targets: z.ZodOptional<z.ZodArray<z.ZodEffects<z.ZodObject<{
464
+ source_ref: z.ZodString;
465
+ module_refs: z.ZodArray<z.ZodString, "many">;
466
+ }, "strict", z.ZodTypeAny, {
467
+ source_ref: string;
468
+ module_refs: string[];
469
+ }, {
470
+ source_ref: string;
471
+ module_refs: string[];
472
+ }>, {
473
+ source_ref: string;
474
+ module_refs: string[];
475
+ }, {
476
+ source_ref: string;
477
+ module_refs: string[];
478
+ }>, "many">>;
479
+ }, "strict", z.ZodTypeAny, {
480
+ refs: string[];
481
+ extra_targets?: {
482
+ source_ref: string;
483
+ module_refs: string[];
484
+ }[] | undefined;
485
+ }, {
486
+ refs: string[];
487
+ extra_targets?: {
488
+ source_ref: string;
489
+ module_refs: string[];
490
+ }[] | undefined;
491
+ }>, {
492
+ refs: string[];
493
+ extra_targets?: {
494
+ source_ref: string;
495
+ module_refs: string[];
496
+ }[] | undefined;
497
+ }, {
498
+ refs: string[];
499
+ extra_targets?: {
500
+ source_ref: string;
501
+ module_refs: string[];
502
+ }[] | undefined;
503
+ }>;
504
+ profile: z.ZodObject<{
505
+ primary: z.ZodObject<{
506
+ id: z.ZodEffects<z.ZodString, string, string>;
507
+ provider: z.ZodEffects<z.ZodString, string, string>;
508
+ variants: z.ZodOptional<z.ZodRecord<z.ZodEffects<z.ZodString, string, string>, z.ZodEffects<z.ZodString, string, string>>>;
509
+ }, "strict", z.ZodTypeAny, {
510
+ id: string;
511
+ provider: string;
512
+ variants?: Record<string, string> | undefined;
513
+ }, {
514
+ id: string;
515
+ provider: string;
516
+ variants?: Record<string, string> | undefined;
517
+ }>;
518
+ additional: z.ZodOptional<z.ZodArray<z.ZodObject<{
519
+ id: z.ZodEffects<z.ZodString, string, string>;
520
+ provider: z.ZodEffects<z.ZodString, string, string>;
521
+ variants: z.ZodOptional<z.ZodRecord<z.ZodEffects<z.ZodString, string, string>, z.ZodEffects<z.ZodString, string, string>>>;
522
+ } & {
523
+ kind: z.ZodEnum<["supporting", "extension"]>;
524
+ }, "strict", z.ZodTypeAny, {
525
+ id: string;
526
+ kind: "supporting" | "extension";
527
+ provider: string;
528
+ variants?: Record<string, string> | undefined;
529
+ }, {
530
+ id: string;
531
+ kind: "supporting" | "extension";
532
+ provider: string;
533
+ variants?: Record<string, string> | undefined;
534
+ }>, "many">>;
535
+ composers: z.ZodOptional<z.ZodArray<z.ZodObject<{
536
+ id: z.ZodEffects<z.ZodString, string, string>;
537
+ provider: z.ZodEffects<z.ZodString, string, string>;
538
+ }, "strict", z.ZodTypeAny, {
539
+ id: string;
540
+ provider: string;
541
+ }, {
542
+ id: string;
543
+ provider: string;
544
+ }>, "many">>;
545
+ }, "strict", z.ZodTypeAny, {
546
+ primary: {
547
+ id: string;
548
+ provider: string;
549
+ variants?: Record<string, string> | undefined;
550
+ };
551
+ additional?: {
552
+ id: string;
553
+ kind: "supporting" | "extension";
554
+ provider: string;
555
+ variants?: Record<string, string> | undefined;
556
+ }[] | undefined;
557
+ composers?: {
558
+ id: string;
559
+ provider: string;
560
+ }[] | undefined;
561
+ }, {
562
+ primary: {
563
+ id: string;
564
+ provider: string;
565
+ variants?: Record<string, string> | undefined;
566
+ };
567
+ additional?: {
568
+ id: string;
569
+ kind: "supporting" | "extension";
570
+ provider: string;
571
+ variants?: Record<string, string> | undefined;
572
+ }[] | undefined;
573
+ composers?: {
574
+ id: string;
575
+ provider: string;
576
+ }[] | undefined;
577
+ }>;
578
+ providers: z.ZodArray<z.ZodEffects<z.ZodObject<{
579
+ id: z.ZodEffects<z.ZodString, string, string>;
580
+ role: z.ZodEnum<["primary", "extension"]>;
581
+ skill: z.ZodEffects<z.ZodString, string, string>;
582
+ version: z.ZodString;
583
+ integrity: z.ZodString;
584
+ distribution: z.ZodEffects<z.ZodDiscriminatedUnion<"kind", [z.ZodObject<{
585
+ kind: z.ZodLiteral<"cli-bundled">;
586
+ locator: z.ZodString;
587
+ }, "strict", z.ZodTypeAny, {
588
+ kind: "cli-bundled";
589
+ locator: string;
590
+ }, {
591
+ kind: "cli-bundled";
592
+ locator: string;
593
+ }>, z.ZodObject<{
594
+ kind: z.ZodLiteral<"bundled">;
595
+ locator: z.ZodString;
596
+ }, "strict", z.ZodTypeAny, {
597
+ kind: "bundled";
598
+ locator: string;
599
+ }, {
600
+ kind: "bundled";
601
+ locator: string;
602
+ }>, z.ZodObject<{
603
+ kind: z.ZodLiteral<"workspace">;
604
+ locator: z.ZodString;
605
+ }, "strict", z.ZodTypeAny, {
606
+ kind: "workspace";
607
+ locator: string;
608
+ }, {
609
+ kind: "workspace";
610
+ locator: string;
611
+ }>, z.ZodObject<{
612
+ kind: z.ZodLiteral<"package">;
613
+ locator: z.ZodString;
614
+ }, "strict", z.ZodTypeAny, {
615
+ kind: "package";
616
+ locator: string;
617
+ }, {
618
+ kind: "package";
619
+ locator: string;
620
+ }>, z.ZodObject<{
621
+ kind: z.ZodLiteral<"marketplace">;
622
+ locator: z.ZodString;
623
+ }, "strict", z.ZodTypeAny, {
624
+ kind: "marketplace";
625
+ locator: string;
626
+ }, {
627
+ kind: "marketplace";
628
+ locator: string;
629
+ }>]>, {
630
+ kind: "cli-bundled";
631
+ locator: string;
632
+ } | {
633
+ kind: "bundled";
634
+ locator: string;
635
+ } | {
636
+ kind: "workspace";
637
+ locator: string;
638
+ } | {
639
+ kind: "package";
640
+ locator: string;
641
+ } | {
642
+ kind: "marketplace";
643
+ locator: string;
644
+ }, {
645
+ kind: "cli-bundled";
646
+ locator: string;
647
+ } | {
648
+ kind: "bundled";
649
+ locator: string;
650
+ } | {
651
+ kind: "workspace";
652
+ locator: string;
653
+ } | {
654
+ kind: "package";
655
+ locator: string;
656
+ } | {
657
+ kind: "marketplace";
658
+ locator: string;
659
+ }>;
660
+ config: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodType<import("./indexerRegistry.js").IndexerJson, z.ZodTypeDef, import("./indexerRegistry.js").IndexerJson>>>;
661
+ }, "strict", z.ZodTypeAny, {
662
+ id: string;
663
+ role: "primary" | "extension";
664
+ skill: string;
665
+ version: string;
666
+ integrity: string;
667
+ distribution: {
668
+ kind: "cli-bundled";
669
+ locator: string;
670
+ } | {
671
+ kind: "bundled";
672
+ locator: string;
673
+ } | {
674
+ kind: "workspace";
675
+ locator: string;
676
+ } | {
677
+ kind: "package";
678
+ locator: string;
679
+ } | {
680
+ kind: "marketplace";
681
+ locator: string;
682
+ };
683
+ config?: Record<string, import("./indexerRegistry.js").IndexerJson> | undefined;
684
+ }, {
685
+ id: string;
686
+ role: "primary" | "extension";
687
+ skill: string;
688
+ version: string;
689
+ integrity: string;
690
+ distribution: {
691
+ kind: "cli-bundled";
692
+ locator: string;
693
+ } | {
694
+ kind: "bundled";
695
+ locator: string;
696
+ } | {
697
+ kind: "workspace";
698
+ locator: string;
699
+ } | {
700
+ kind: "package";
701
+ locator: string;
702
+ } | {
703
+ kind: "marketplace";
704
+ locator: string;
705
+ };
706
+ config?: Record<string, import("./indexerRegistry.js").IndexerJson> | undefined;
707
+ }>, {
708
+ id: string;
709
+ role: "primary" | "extension";
710
+ skill: string;
711
+ version: string;
712
+ integrity: string;
713
+ distribution: {
714
+ kind: "cli-bundled";
715
+ locator: string;
716
+ } | {
717
+ kind: "bundled";
718
+ locator: string;
719
+ } | {
720
+ kind: "workspace";
721
+ locator: string;
722
+ } | {
723
+ kind: "package";
724
+ locator: string;
725
+ } | {
726
+ kind: "marketplace";
727
+ locator: string;
728
+ };
729
+ config?: Record<string, import("./indexerRegistry.js").IndexerJson> | undefined;
730
+ }, {
731
+ id: string;
732
+ role: "primary" | "extension";
733
+ skill: string;
734
+ version: string;
735
+ integrity: string;
736
+ distribution: {
737
+ kind: "cli-bundled";
738
+ locator: string;
739
+ } | {
740
+ kind: "bundled";
741
+ locator: string;
742
+ } | {
743
+ kind: "workspace";
744
+ locator: string;
745
+ } | {
746
+ kind: "package";
747
+ locator: string;
748
+ } | {
749
+ kind: "marketplace";
750
+ locator: string;
751
+ };
752
+ config?: Record<string, import("./indexerRegistry.js").IndexerJson> | undefined;
753
+ }>, "many">;
754
+ customization: z.ZodOptional<z.ZodObject<{
755
+ mode: z.ZodEnum<["extend", "replace"]>;
756
+ }, "strict", z.ZodTypeAny, {
757
+ mode: "replace" | "extend";
758
+ }, {
759
+ mode: "replace" | "extend";
760
+ }>>;
761
+ }, "strict", z.ZodTypeAny, {
762
+ id: string;
763
+ operations: ("main-index" | "material-answer")[];
764
+ requirement_bindings: {
765
+ coverage_domains: string[];
766
+ requirement_ref: string;
767
+ owned_scope: {
768
+ targets: {
769
+ source_ref: string;
770
+ module_refs: string[];
771
+ }[];
772
+ } | {
773
+ ref: string;
774
+ };
775
+ role: "primary" | "enricher";
776
+ }[];
777
+ read_scope: {
778
+ refs: string[];
779
+ extra_targets?: {
780
+ source_ref: string;
781
+ module_refs: string[];
782
+ }[] | undefined;
783
+ };
784
+ profile: {
785
+ primary: {
786
+ id: string;
787
+ provider: string;
788
+ variants?: Record<string, string> | undefined;
789
+ };
790
+ additional?: {
791
+ id: string;
792
+ kind: "supporting" | "extension";
793
+ provider: string;
794
+ variants?: Record<string, string> | undefined;
795
+ }[] | undefined;
796
+ composers?: {
797
+ id: string;
798
+ provider: string;
799
+ }[] | undefined;
800
+ };
801
+ providers: {
802
+ id: string;
803
+ role: "primary" | "extension";
804
+ skill: string;
805
+ version: string;
806
+ integrity: string;
807
+ distribution: {
808
+ kind: "cli-bundled";
809
+ locator: string;
810
+ } | {
811
+ kind: "bundled";
812
+ locator: string;
813
+ } | {
814
+ kind: "workspace";
815
+ locator: string;
816
+ } | {
817
+ kind: "package";
818
+ locator: string;
819
+ } | {
820
+ kind: "marketplace";
821
+ locator: string;
822
+ };
823
+ config?: Record<string, import("./indexerRegistry.js").IndexerJson> | undefined;
824
+ }[];
825
+ customization?: {
826
+ mode: "replace" | "extend";
827
+ } | undefined;
828
+ }, {
829
+ id: string;
830
+ operations: ("main-index" | "material-answer")[];
831
+ requirement_bindings: {
832
+ coverage_domains: string[];
833
+ requirement_ref: string;
834
+ owned_scope: {
835
+ targets: {
836
+ source_ref: string;
837
+ module_refs: string[];
838
+ }[];
839
+ } | {
840
+ ref: string;
841
+ };
842
+ role: "primary" | "enricher";
843
+ }[];
844
+ read_scope: {
845
+ refs: string[];
846
+ extra_targets?: {
847
+ source_ref: string;
848
+ module_refs: string[];
849
+ }[] | undefined;
850
+ };
851
+ profile: {
852
+ primary: {
853
+ id: string;
854
+ provider: string;
855
+ variants?: Record<string, string> | undefined;
856
+ };
857
+ additional?: {
858
+ id: string;
859
+ kind: "supporting" | "extension";
860
+ provider: string;
861
+ variants?: Record<string, string> | undefined;
862
+ }[] | undefined;
863
+ composers?: {
864
+ id: string;
865
+ provider: string;
866
+ }[] | undefined;
867
+ };
868
+ providers: {
869
+ id: string;
870
+ role: "primary" | "extension";
871
+ skill: string;
872
+ version: string;
873
+ integrity: string;
874
+ distribution: {
875
+ kind: "cli-bundled";
876
+ locator: string;
877
+ } | {
878
+ kind: "bundled";
879
+ locator: string;
880
+ } | {
881
+ kind: "workspace";
882
+ locator: string;
883
+ } | {
884
+ kind: "package";
885
+ locator: string;
886
+ } | {
887
+ kind: "marketplace";
888
+ locator: string;
889
+ };
890
+ config?: Record<string, import("./indexerRegistry.js").IndexerJson> | undefined;
891
+ }[];
892
+ customization?: {
893
+ mode: "replace" | "extend";
894
+ } | undefined;
895
+ }>, {
896
+ id: string;
897
+ operations: ("main-index" | "material-answer")[];
898
+ requirement_bindings: {
899
+ coverage_domains: string[];
900
+ requirement_ref: string;
901
+ owned_scope: {
902
+ targets: {
903
+ source_ref: string;
904
+ module_refs: string[];
905
+ }[];
906
+ } | {
907
+ ref: string;
908
+ };
909
+ role: "primary" | "enricher";
910
+ }[];
911
+ read_scope: {
912
+ refs: string[];
913
+ extra_targets?: {
914
+ source_ref: string;
915
+ module_refs: string[];
916
+ }[] | undefined;
917
+ };
918
+ profile: {
919
+ primary: {
920
+ id: string;
921
+ provider: string;
922
+ variants?: Record<string, string> | undefined;
923
+ };
924
+ additional?: {
925
+ id: string;
926
+ kind: "supporting" | "extension";
927
+ provider: string;
928
+ variants?: Record<string, string> | undefined;
929
+ }[] | undefined;
930
+ composers?: {
931
+ id: string;
932
+ provider: string;
933
+ }[] | undefined;
934
+ };
935
+ providers: {
936
+ id: string;
937
+ role: "primary" | "extension";
938
+ skill: string;
939
+ version: string;
940
+ integrity: string;
941
+ distribution: {
942
+ kind: "cli-bundled";
943
+ locator: string;
944
+ } | {
945
+ kind: "bundled";
946
+ locator: string;
947
+ } | {
948
+ kind: "workspace";
949
+ locator: string;
950
+ } | {
951
+ kind: "package";
952
+ locator: string;
953
+ } | {
954
+ kind: "marketplace";
955
+ locator: string;
956
+ };
957
+ config?: Record<string, import("./indexerRegistry.js").IndexerJson> | undefined;
958
+ }[];
959
+ customization?: {
960
+ mode: "replace" | "extend";
961
+ } | undefined;
962
+ }, {
963
+ id: string;
964
+ operations: ("main-index" | "material-answer")[];
965
+ requirement_bindings: {
966
+ coverage_domains: string[];
967
+ requirement_ref: string;
968
+ owned_scope: {
969
+ targets: {
970
+ source_ref: string;
971
+ module_refs: string[];
972
+ }[];
973
+ } | {
974
+ ref: string;
975
+ };
976
+ role: "primary" | "enricher";
977
+ }[];
978
+ read_scope: {
979
+ refs: string[];
980
+ extra_targets?: {
981
+ source_ref: string;
982
+ module_refs: string[];
983
+ }[] | undefined;
984
+ };
985
+ profile: {
986
+ primary: {
987
+ id: string;
988
+ provider: string;
989
+ variants?: Record<string, string> | undefined;
990
+ };
991
+ additional?: {
992
+ id: string;
993
+ kind: "supporting" | "extension";
994
+ provider: string;
995
+ variants?: Record<string, string> | undefined;
996
+ }[] | undefined;
997
+ composers?: {
998
+ id: string;
999
+ provider: string;
1000
+ }[] | undefined;
1001
+ };
1002
+ providers: {
1003
+ id: string;
1004
+ role: "primary" | "extension";
1005
+ skill: string;
1006
+ version: string;
1007
+ integrity: string;
1008
+ distribution: {
1009
+ kind: "cli-bundled";
1010
+ locator: string;
1011
+ } | {
1012
+ kind: "bundled";
1013
+ locator: string;
1014
+ } | {
1015
+ kind: "workspace";
1016
+ locator: string;
1017
+ } | {
1018
+ kind: "package";
1019
+ locator: string;
1020
+ } | {
1021
+ kind: "marketplace";
1022
+ locator: string;
1023
+ };
1024
+ config?: Record<string, import("./indexerRegistry.js").IndexerJson> | undefined;
1025
+ }[];
1026
+ customization?: {
1027
+ mode: "replace" | "extend";
1028
+ } | undefined;
1029
+ }>, "many">;
1030
+ }, "strict", z.ZodTypeAny, {
1031
+ protocol: "context.indexer.registry/v1";
1032
+ requirements: {
1033
+ id: string;
1034
+ reader_goals: string[];
1035
+ coverage_domains: Record<string, "required" | "optional" | "out-of-scope">;
1036
+ target_scope: {
1037
+ targets: {
1038
+ source_ref: string;
1039
+ module_refs: string[];
1040
+ }[];
1041
+ };
1042
+ evidence_source_scope: {
1043
+ targets: {
1044
+ source_ref: string;
1045
+ module_refs: string[];
1046
+ }[];
1047
+ };
1048
+ questions?: {
1049
+ ref: string;
1050
+ authority: {
1051
+ kind: "cli-base-contract" | "verified-contract-overlay";
1052
+ ref: string;
1053
+ digest: string;
1054
+ };
1055
+ contract_version: number;
1056
+ contract_digest: string;
1057
+ }[] | undefined;
1058
+ exclusions?: {
1059
+ id: string;
1060
+ scope: {
1061
+ targets: {
1062
+ source_ref: string;
1063
+ module_refs: string[];
1064
+ }[];
1065
+ };
1066
+ reason: string;
1067
+ }[] | undefined;
1068
+ }[];
1069
+ indexers: {
1070
+ id: string;
1071
+ operations: ("main-index" | "material-answer")[];
1072
+ requirement_bindings: {
1073
+ coverage_domains: string[];
1074
+ requirement_ref: string;
1075
+ owned_scope: {
1076
+ targets: {
1077
+ source_ref: string;
1078
+ module_refs: string[];
1079
+ }[];
1080
+ } | {
1081
+ ref: string;
1082
+ };
1083
+ role: "primary" | "enricher";
1084
+ }[];
1085
+ read_scope: {
1086
+ refs: string[];
1087
+ extra_targets?: {
1088
+ source_ref: string;
1089
+ module_refs: string[];
1090
+ }[] | undefined;
1091
+ };
1092
+ profile: {
1093
+ primary: {
1094
+ id: string;
1095
+ provider: string;
1096
+ variants?: Record<string, string> | undefined;
1097
+ };
1098
+ additional?: {
1099
+ id: string;
1100
+ kind: "supporting" | "extension";
1101
+ provider: string;
1102
+ variants?: Record<string, string> | undefined;
1103
+ }[] | undefined;
1104
+ composers?: {
1105
+ id: string;
1106
+ provider: string;
1107
+ }[] | undefined;
1108
+ };
1109
+ providers: {
1110
+ id: string;
1111
+ role: "primary" | "extension";
1112
+ skill: string;
1113
+ version: string;
1114
+ integrity: string;
1115
+ distribution: {
1116
+ kind: "cli-bundled";
1117
+ locator: string;
1118
+ } | {
1119
+ kind: "bundled";
1120
+ locator: string;
1121
+ } | {
1122
+ kind: "workspace";
1123
+ locator: string;
1124
+ } | {
1125
+ kind: "package";
1126
+ locator: string;
1127
+ } | {
1128
+ kind: "marketplace";
1129
+ locator: string;
1130
+ };
1131
+ config?: Record<string, import("./indexerRegistry.js").IndexerJson> | undefined;
1132
+ }[];
1133
+ customization?: {
1134
+ mode: "replace" | "extend";
1135
+ } | undefined;
1136
+ }[];
1137
+ }, {
1138
+ protocol: "context.indexer.registry/v1";
1139
+ requirements: {
1140
+ id: string;
1141
+ reader_goals: string[];
1142
+ coverage_domains: Record<string, "required" | "optional" | "out-of-scope">;
1143
+ target_scope: {
1144
+ targets: {
1145
+ source_ref: string;
1146
+ module_refs: string[];
1147
+ }[];
1148
+ };
1149
+ evidence_source_scope: {
1150
+ targets: {
1151
+ source_ref: string;
1152
+ module_refs: string[];
1153
+ }[];
1154
+ };
1155
+ questions?: {
1156
+ ref: string;
1157
+ authority: {
1158
+ kind: "cli-base-contract" | "verified-contract-overlay";
1159
+ ref: string;
1160
+ digest: string;
1161
+ };
1162
+ contract_version: number;
1163
+ contract_digest: string;
1164
+ }[] | undefined;
1165
+ exclusions?: {
1166
+ id: string;
1167
+ scope: {
1168
+ targets: {
1169
+ source_ref: string;
1170
+ module_refs: string[];
1171
+ }[];
1172
+ };
1173
+ reason: string;
1174
+ }[] | undefined;
1175
+ }[];
1176
+ indexers: {
1177
+ id: string;
1178
+ operations: ("main-index" | "material-answer")[];
1179
+ requirement_bindings: {
1180
+ coverage_domains: string[];
1181
+ requirement_ref: string;
1182
+ owned_scope: {
1183
+ targets: {
1184
+ source_ref: string;
1185
+ module_refs: string[];
1186
+ }[];
1187
+ } | {
1188
+ ref: string;
1189
+ };
1190
+ role: "primary" | "enricher";
1191
+ }[];
1192
+ read_scope: {
1193
+ refs: string[];
1194
+ extra_targets?: {
1195
+ source_ref: string;
1196
+ module_refs: string[];
1197
+ }[] | undefined;
1198
+ };
1199
+ profile: {
1200
+ primary: {
1201
+ id: string;
1202
+ provider: string;
1203
+ variants?: Record<string, string> | undefined;
1204
+ };
1205
+ additional?: {
1206
+ id: string;
1207
+ kind: "supporting" | "extension";
1208
+ provider: string;
1209
+ variants?: Record<string, string> | undefined;
1210
+ }[] | undefined;
1211
+ composers?: {
1212
+ id: string;
1213
+ provider: string;
1214
+ }[] | undefined;
1215
+ };
1216
+ providers: {
1217
+ id: string;
1218
+ role: "primary" | "extension";
1219
+ skill: string;
1220
+ version: string;
1221
+ integrity: string;
1222
+ distribution: {
1223
+ kind: "cli-bundled";
1224
+ locator: string;
1225
+ } | {
1226
+ kind: "bundled";
1227
+ locator: string;
1228
+ } | {
1229
+ kind: "workspace";
1230
+ locator: string;
1231
+ } | {
1232
+ kind: "package";
1233
+ locator: string;
1234
+ } | {
1235
+ kind: "marketplace";
1236
+ locator: string;
1237
+ };
1238
+ config?: Record<string, import("./indexerRegistry.js").IndexerJson> | undefined;
1239
+ }[];
1240
+ customization?: {
1241
+ mode: "replace" | "extend";
1242
+ } | undefined;
1243
+ }[];
1244
+ }>, {
1245
+ protocol: "context.indexer.registry/v1";
1246
+ requirements: {
1247
+ id: string;
1248
+ reader_goals: string[];
1249
+ coverage_domains: Record<string, "required" | "optional" | "out-of-scope">;
1250
+ target_scope: {
1251
+ targets: {
1252
+ source_ref: string;
1253
+ module_refs: string[];
1254
+ }[];
1255
+ };
1256
+ evidence_source_scope: {
1257
+ targets: {
1258
+ source_ref: string;
1259
+ module_refs: string[];
1260
+ }[];
1261
+ };
1262
+ questions?: {
1263
+ ref: string;
1264
+ authority: {
1265
+ kind: "cli-base-contract" | "verified-contract-overlay";
1266
+ ref: string;
1267
+ digest: string;
1268
+ };
1269
+ contract_version: number;
1270
+ contract_digest: string;
1271
+ }[] | undefined;
1272
+ exclusions?: {
1273
+ id: string;
1274
+ scope: {
1275
+ targets: {
1276
+ source_ref: string;
1277
+ module_refs: string[];
1278
+ }[];
1279
+ };
1280
+ reason: string;
1281
+ }[] | undefined;
1282
+ }[];
1283
+ indexers: {
1284
+ id: string;
1285
+ operations: ("main-index" | "material-answer")[];
1286
+ requirement_bindings: {
1287
+ coverage_domains: string[];
1288
+ requirement_ref: string;
1289
+ owned_scope: {
1290
+ targets: {
1291
+ source_ref: string;
1292
+ module_refs: string[];
1293
+ }[];
1294
+ } | {
1295
+ ref: string;
1296
+ };
1297
+ role: "primary" | "enricher";
1298
+ }[];
1299
+ read_scope: {
1300
+ refs: string[];
1301
+ extra_targets?: {
1302
+ source_ref: string;
1303
+ module_refs: string[];
1304
+ }[] | undefined;
1305
+ };
1306
+ profile: {
1307
+ primary: {
1308
+ id: string;
1309
+ provider: string;
1310
+ variants?: Record<string, string> | undefined;
1311
+ };
1312
+ additional?: {
1313
+ id: string;
1314
+ kind: "supporting" | "extension";
1315
+ provider: string;
1316
+ variants?: Record<string, string> | undefined;
1317
+ }[] | undefined;
1318
+ composers?: {
1319
+ id: string;
1320
+ provider: string;
1321
+ }[] | undefined;
1322
+ };
1323
+ providers: {
1324
+ id: string;
1325
+ role: "primary" | "extension";
1326
+ skill: string;
1327
+ version: string;
1328
+ integrity: string;
1329
+ distribution: {
1330
+ kind: "cli-bundled";
1331
+ locator: string;
1332
+ } | {
1333
+ kind: "bundled";
1334
+ locator: string;
1335
+ } | {
1336
+ kind: "workspace";
1337
+ locator: string;
1338
+ } | {
1339
+ kind: "package";
1340
+ locator: string;
1341
+ } | {
1342
+ kind: "marketplace";
1343
+ locator: string;
1344
+ };
1345
+ config?: Record<string, import("./indexerRegistry.js").IndexerJson> | undefined;
1346
+ }[];
1347
+ customization?: {
1348
+ mode: "replace" | "extend";
1349
+ } | undefined;
1350
+ }[];
1351
+ }, {
1352
+ protocol: "context.indexer.registry/v1";
1353
+ requirements: {
1354
+ id: string;
1355
+ reader_goals: string[];
1356
+ coverage_domains: Record<string, "required" | "optional" | "out-of-scope">;
1357
+ target_scope: {
1358
+ targets: {
1359
+ source_ref: string;
1360
+ module_refs: string[];
1361
+ }[];
1362
+ };
1363
+ evidence_source_scope: {
1364
+ targets: {
1365
+ source_ref: string;
1366
+ module_refs: string[];
1367
+ }[];
1368
+ };
1369
+ questions?: {
1370
+ ref: string;
1371
+ authority: {
1372
+ kind: "cli-base-contract" | "verified-contract-overlay";
1373
+ ref: string;
1374
+ digest: string;
1375
+ };
1376
+ contract_version: number;
1377
+ contract_digest: string;
1378
+ }[] | undefined;
1379
+ exclusions?: {
1380
+ id: string;
1381
+ scope: {
1382
+ targets: {
1383
+ source_ref: string;
1384
+ module_refs: string[];
1385
+ }[];
1386
+ };
1387
+ reason: string;
1388
+ }[] | undefined;
1389
+ }[];
1390
+ indexers: {
1391
+ id: string;
1392
+ operations: ("main-index" | "material-answer")[];
1393
+ requirement_bindings: {
1394
+ coverage_domains: string[];
1395
+ requirement_ref: string;
1396
+ owned_scope: {
1397
+ targets: {
1398
+ source_ref: string;
1399
+ module_refs: string[];
1400
+ }[];
1401
+ } | {
1402
+ ref: string;
1403
+ };
1404
+ role: "primary" | "enricher";
1405
+ }[];
1406
+ read_scope: {
1407
+ refs: string[];
1408
+ extra_targets?: {
1409
+ source_ref: string;
1410
+ module_refs: string[];
1411
+ }[] | undefined;
1412
+ };
1413
+ profile: {
1414
+ primary: {
1415
+ id: string;
1416
+ provider: string;
1417
+ variants?: Record<string, string> | undefined;
1418
+ };
1419
+ additional?: {
1420
+ id: string;
1421
+ kind: "supporting" | "extension";
1422
+ provider: string;
1423
+ variants?: Record<string, string> | undefined;
1424
+ }[] | undefined;
1425
+ composers?: {
1426
+ id: string;
1427
+ provider: string;
1428
+ }[] | undefined;
1429
+ };
1430
+ providers: {
1431
+ id: string;
1432
+ role: "primary" | "extension";
1433
+ skill: string;
1434
+ version: string;
1435
+ integrity: string;
1436
+ distribution: {
1437
+ kind: "cli-bundled";
1438
+ locator: string;
1439
+ } | {
1440
+ kind: "bundled";
1441
+ locator: string;
1442
+ } | {
1443
+ kind: "workspace";
1444
+ locator: string;
1445
+ } | {
1446
+ kind: "package";
1447
+ locator: string;
1448
+ } | {
1449
+ kind: "marketplace";
1450
+ locator: string;
1451
+ };
1452
+ config?: Record<string, import("./indexerRegistry.js").IndexerJson> | undefined;
1453
+ }[];
1454
+ customization?: {
1455
+ mode: "replace" | "extend";
1456
+ } | undefined;
1457
+ }[];
1458
+ }>;
1459
+ target_document_content: z.ZodString;
1460
+ amendment: z.ZodObject<{
1461
+ protocol: z.ZodLiteral<"context.indexer.overlay-question-amendment/v1">;
1462
+ project_ref: z.ZodString;
1463
+ requirement_id: z.ZodEffects<z.ZodString, string, string>;
1464
+ base_requirement_digest: z.ZodString;
1465
+ target_requirement: z.ZodEffects<z.ZodObject<{
1466
+ id: z.ZodEffects<z.ZodString, string, string>;
1467
+ reader_goals: z.ZodArray<z.ZodEffects<z.ZodString, string, string>, "many">;
1468
+ coverage_domains: z.ZodRecord<z.ZodEffects<z.ZodString, string, string>, z.ZodEnum<["required", "optional", "out-of-scope"]>>;
1469
+ questions: z.ZodOptional<z.ZodArray<z.ZodObject<{
1470
+ ref: z.ZodString;
1471
+ authority: z.ZodObject<{
1472
+ kind: z.ZodEnum<["cli-base-contract", "verified-contract-overlay"]>;
1473
+ ref: z.ZodString;
1474
+ digest: z.ZodString;
1475
+ }, "strict", z.ZodTypeAny, {
1476
+ kind: "cli-base-contract" | "verified-contract-overlay";
1477
+ ref: string;
1478
+ digest: string;
1479
+ }, {
1480
+ kind: "cli-base-contract" | "verified-contract-overlay";
1481
+ ref: string;
1482
+ digest: string;
1483
+ }>;
1484
+ contract_version: z.ZodNumber;
1485
+ contract_digest: z.ZodString;
1486
+ }, "strict", z.ZodTypeAny, {
1487
+ ref: string;
1488
+ authority: {
1489
+ kind: "cli-base-contract" | "verified-contract-overlay";
1490
+ ref: string;
1491
+ digest: string;
1492
+ };
1493
+ contract_version: number;
1494
+ contract_digest: string;
1495
+ }, {
1496
+ ref: string;
1497
+ authority: {
1498
+ kind: "cli-base-contract" | "verified-contract-overlay";
1499
+ ref: string;
1500
+ digest: string;
1501
+ };
1502
+ contract_version: number;
1503
+ contract_digest: string;
1504
+ }>, "many">>;
1505
+ target_scope: z.ZodEffects<z.ZodObject<{
1506
+ targets: z.ZodArray<z.ZodEffects<z.ZodObject<{
1507
+ source_ref: z.ZodString;
1508
+ module_refs: z.ZodArray<z.ZodString, "many">;
1509
+ }, "strict", z.ZodTypeAny, {
1510
+ source_ref: string;
1511
+ module_refs: string[];
1512
+ }, {
1513
+ source_ref: string;
1514
+ module_refs: string[];
1515
+ }>, {
1516
+ source_ref: string;
1517
+ module_refs: string[];
1518
+ }, {
1519
+ source_ref: string;
1520
+ module_refs: string[];
1521
+ }>, "many">;
1522
+ }, "strict", z.ZodTypeAny, {
1523
+ targets: {
1524
+ source_ref: string;
1525
+ module_refs: string[];
1526
+ }[];
1527
+ }, {
1528
+ targets: {
1529
+ source_ref: string;
1530
+ module_refs: string[];
1531
+ }[];
1532
+ }>, {
1533
+ targets: {
1534
+ source_ref: string;
1535
+ module_refs: string[];
1536
+ }[];
1537
+ }, {
1538
+ targets: {
1539
+ source_ref: string;
1540
+ module_refs: string[];
1541
+ }[];
1542
+ }>;
1543
+ evidence_source_scope: z.ZodEffects<z.ZodObject<{
1544
+ targets: z.ZodArray<z.ZodEffects<z.ZodObject<{
1545
+ source_ref: z.ZodString;
1546
+ module_refs: z.ZodArray<z.ZodString, "many">;
1547
+ }, "strict", z.ZodTypeAny, {
1548
+ source_ref: string;
1549
+ module_refs: string[];
1550
+ }, {
1551
+ source_ref: string;
1552
+ module_refs: string[];
1553
+ }>, {
1554
+ source_ref: string;
1555
+ module_refs: string[];
1556
+ }, {
1557
+ source_ref: string;
1558
+ module_refs: string[];
1559
+ }>, "many">;
1560
+ }, "strict", z.ZodTypeAny, {
1561
+ targets: {
1562
+ source_ref: string;
1563
+ module_refs: string[];
1564
+ }[];
1565
+ }, {
1566
+ targets: {
1567
+ source_ref: string;
1568
+ module_refs: string[];
1569
+ }[];
1570
+ }>, {
1571
+ targets: {
1572
+ source_ref: string;
1573
+ module_refs: string[];
1574
+ }[];
1575
+ }, {
1576
+ targets: {
1577
+ source_ref: string;
1578
+ module_refs: string[];
1579
+ }[];
1580
+ }>;
1581
+ exclusions: z.ZodOptional<z.ZodArray<z.ZodObject<{
1582
+ id: z.ZodEffects<z.ZodString, string, string>;
1583
+ scope: z.ZodEffects<z.ZodObject<{
1584
+ targets: z.ZodArray<z.ZodEffects<z.ZodObject<{
1585
+ source_ref: z.ZodString;
1586
+ module_refs: z.ZodArray<z.ZodString, "many">;
1587
+ }, "strict", z.ZodTypeAny, {
1588
+ source_ref: string;
1589
+ module_refs: string[];
1590
+ }, {
1591
+ source_ref: string;
1592
+ module_refs: string[];
1593
+ }>, {
1594
+ source_ref: string;
1595
+ module_refs: string[];
1596
+ }, {
1597
+ source_ref: string;
1598
+ module_refs: string[];
1599
+ }>, "many">;
1600
+ }, "strict", z.ZodTypeAny, {
1601
+ targets: {
1602
+ source_ref: string;
1603
+ module_refs: string[];
1604
+ }[];
1605
+ }, {
1606
+ targets: {
1607
+ source_ref: string;
1608
+ module_refs: string[];
1609
+ }[];
1610
+ }>, {
1611
+ targets: {
1612
+ source_ref: string;
1613
+ module_refs: string[];
1614
+ }[];
1615
+ }, {
1616
+ targets: {
1617
+ source_ref: string;
1618
+ module_refs: string[];
1619
+ }[];
1620
+ }>;
1621
+ reason: z.ZodString;
1622
+ }, "strict", z.ZodTypeAny, {
1623
+ id: string;
1624
+ scope: {
1625
+ targets: {
1626
+ source_ref: string;
1627
+ module_refs: string[];
1628
+ }[];
1629
+ };
1630
+ reason: string;
1631
+ }, {
1632
+ id: string;
1633
+ scope: {
1634
+ targets: {
1635
+ source_ref: string;
1636
+ module_refs: string[];
1637
+ }[];
1638
+ };
1639
+ reason: string;
1640
+ }>, "many">>;
1641
+ }, "strict", z.ZodTypeAny, {
1642
+ id: string;
1643
+ reader_goals: string[];
1644
+ coverage_domains: Record<string, "required" | "optional" | "out-of-scope">;
1645
+ target_scope: {
1646
+ targets: {
1647
+ source_ref: string;
1648
+ module_refs: string[];
1649
+ }[];
1650
+ };
1651
+ evidence_source_scope: {
1652
+ targets: {
1653
+ source_ref: string;
1654
+ module_refs: string[];
1655
+ }[];
1656
+ };
1657
+ questions?: {
1658
+ ref: string;
1659
+ authority: {
1660
+ kind: "cli-base-contract" | "verified-contract-overlay";
1661
+ ref: string;
1662
+ digest: string;
1663
+ };
1664
+ contract_version: number;
1665
+ contract_digest: string;
1666
+ }[] | undefined;
1667
+ exclusions?: {
1668
+ id: string;
1669
+ scope: {
1670
+ targets: {
1671
+ source_ref: string;
1672
+ module_refs: string[];
1673
+ }[];
1674
+ };
1675
+ reason: string;
1676
+ }[] | undefined;
1677
+ }, {
1678
+ id: string;
1679
+ reader_goals: string[];
1680
+ coverage_domains: Record<string, "required" | "optional" | "out-of-scope">;
1681
+ target_scope: {
1682
+ targets: {
1683
+ source_ref: string;
1684
+ module_refs: string[];
1685
+ }[];
1686
+ };
1687
+ evidence_source_scope: {
1688
+ targets: {
1689
+ source_ref: string;
1690
+ module_refs: string[];
1691
+ }[];
1692
+ };
1693
+ questions?: {
1694
+ ref: string;
1695
+ authority: {
1696
+ kind: "cli-base-contract" | "verified-contract-overlay";
1697
+ ref: string;
1698
+ digest: string;
1699
+ };
1700
+ contract_version: number;
1701
+ contract_digest: string;
1702
+ }[] | undefined;
1703
+ exclusions?: {
1704
+ id: string;
1705
+ scope: {
1706
+ targets: {
1707
+ source_ref: string;
1708
+ module_refs: string[];
1709
+ }[];
1710
+ };
1711
+ reason: string;
1712
+ }[] | undefined;
1713
+ }>, {
1714
+ id: string;
1715
+ reader_goals: string[];
1716
+ coverage_domains: Record<string, "required" | "optional" | "out-of-scope">;
1717
+ target_scope: {
1718
+ targets: {
1719
+ source_ref: string;
1720
+ module_refs: string[];
1721
+ }[];
1722
+ };
1723
+ evidence_source_scope: {
1724
+ targets: {
1725
+ source_ref: string;
1726
+ module_refs: string[];
1727
+ }[];
1728
+ };
1729
+ questions?: {
1730
+ ref: string;
1731
+ authority: {
1732
+ kind: "cli-base-contract" | "verified-contract-overlay";
1733
+ ref: string;
1734
+ digest: string;
1735
+ };
1736
+ contract_version: number;
1737
+ contract_digest: string;
1738
+ }[] | undefined;
1739
+ exclusions?: {
1740
+ id: string;
1741
+ scope: {
1742
+ targets: {
1743
+ source_ref: string;
1744
+ module_refs: string[];
1745
+ }[];
1746
+ };
1747
+ reason: string;
1748
+ }[] | undefined;
1749
+ }, {
1750
+ id: string;
1751
+ reader_goals: string[];
1752
+ coverage_domains: Record<string, "required" | "optional" | "out-of-scope">;
1753
+ target_scope: {
1754
+ targets: {
1755
+ source_ref: string;
1756
+ module_refs: string[];
1757
+ }[];
1758
+ };
1759
+ evidence_source_scope: {
1760
+ targets: {
1761
+ source_ref: string;
1762
+ module_refs: string[];
1763
+ }[];
1764
+ };
1765
+ questions?: {
1766
+ ref: string;
1767
+ authority: {
1768
+ kind: "cli-base-contract" | "verified-contract-overlay";
1769
+ ref: string;
1770
+ digest: string;
1771
+ };
1772
+ contract_version: number;
1773
+ contract_digest: string;
1774
+ }[] | undefined;
1775
+ exclusions?: {
1776
+ id: string;
1777
+ scope: {
1778
+ targets: {
1779
+ source_ref: string;
1780
+ module_refs: string[];
1781
+ }[];
1782
+ };
1783
+ reason: string;
1784
+ }[] | undefined;
1785
+ }>;
1786
+ target_requirement_digest: z.ZodString;
1787
+ base_requirement_set_digest: z.ZodString;
1788
+ target_requirement_set_digest: z.ZodString;
1789
+ target_registry: z.ZodEffects<z.ZodObject<{
1790
+ protocol: z.ZodLiteral<"context.indexer.registry/v1">;
1791
+ requirements: z.ZodArray<z.ZodEffects<z.ZodObject<{
1792
+ id: z.ZodEffects<z.ZodString, string, string>;
1793
+ reader_goals: z.ZodArray<z.ZodEffects<z.ZodString, string, string>, "many">;
1794
+ coverage_domains: z.ZodRecord<z.ZodEffects<z.ZodString, string, string>, z.ZodEnum<["required", "optional", "out-of-scope"]>>;
1795
+ questions: z.ZodOptional<z.ZodArray<z.ZodObject<{
1796
+ ref: z.ZodString;
1797
+ authority: z.ZodObject<{
1798
+ kind: z.ZodEnum<["cli-base-contract", "verified-contract-overlay"]>;
1799
+ ref: z.ZodString;
1800
+ digest: z.ZodString;
1801
+ }, "strict", z.ZodTypeAny, {
1802
+ kind: "cli-base-contract" | "verified-contract-overlay";
1803
+ ref: string;
1804
+ digest: string;
1805
+ }, {
1806
+ kind: "cli-base-contract" | "verified-contract-overlay";
1807
+ ref: string;
1808
+ digest: string;
1809
+ }>;
1810
+ contract_version: z.ZodNumber;
1811
+ contract_digest: z.ZodString;
1812
+ }, "strict", z.ZodTypeAny, {
1813
+ ref: string;
1814
+ authority: {
1815
+ kind: "cli-base-contract" | "verified-contract-overlay";
1816
+ ref: string;
1817
+ digest: string;
1818
+ };
1819
+ contract_version: number;
1820
+ contract_digest: string;
1821
+ }, {
1822
+ ref: string;
1823
+ authority: {
1824
+ kind: "cli-base-contract" | "verified-contract-overlay";
1825
+ ref: string;
1826
+ digest: string;
1827
+ };
1828
+ contract_version: number;
1829
+ contract_digest: string;
1830
+ }>, "many">>;
1831
+ target_scope: z.ZodEffects<z.ZodObject<{
1832
+ targets: z.ZodArray<z.ZodEffects<z.ZodObject<{
1833
+ source_ref: z.ZodString;
1834
+ module_refs: z.ZodArray<z.ZodString, "many">;
1835
+ }, "strict", z.ZodTypeAny, {
1836
+ source_ref: string;
1837
+ module_refs: string[];
1838
+ }, {
1839
+ source_ref: string;
1840
+ module_refs: string[];
1841
+ }>, {
1842
+ source_ref: string;
1843
+ module_refs: string[];
1844
+ }, {
1845
+ source_ref: string;
1846
+ module_refs: string[];
1847
+ }>, "many">;
1848
+ }, "strict", z.ZodTypeAny, {
1849
+ targets: {
1850
+ source_ref: string;
1851
+ module_refs: string[];
1852
+ }[];
1853
+ }, {
1854
+ targets: {
1855
+ source_ref: string;
1856
+ module_refs: string[];
1857
+ }[];
1858
+ }>, {
1859
+ targets: {
1860
+ source_ref: string;
1861
+ module_refs: string[];
1862
+ }[];
1863
+ }, {
1864
+ targets: {
1865
+ source_ref: string;
1866
+ module_refs: string[];
1867
+ }[];
1868
+ }>;
1869
+ evidence_source_scope: z.ZodEffects<z.ZodObject<{
1870
+ targets: z.ZodArray<z.ZodEffects<z.ZodObject<{
1871
+ source_ref: z.ZodString;
1872
+ module_refs: z.ZodArray<z.ZodString, "many">;
1873
+ }, "strict", z.ZodTypeAny, {
1874
+ source_ref: string;
1875
+ module_refs: string[];
1876
+ }, {
1877
+ source_ref: string;
1878
+ module_refs: string[];
1879
+ }>, {
1880
+ source_ref: string;
1881
+ module_refs: string[];
1882
+ }, {
1883
+ source_ref: string;
1884
+ module_refs: string[];
1885
+ }>, "many">;
1886
+ }, "strict", z.ZodTypeAny, {
1887
+ targets: {
1888
+ source_ref: string;
1889
+ module_refs: string[];
1890
+ }[];
1891
+ }, {
1892
+ targets: {
1893
+ source_ref: string;
1894
+ module_refs: string[];
1895
+ }[];
1896
+ }>, {
1897
+ targets: {
1898
+ source_ref: string;
1899
+ module_refs: string[];
1900
+ }[];
1901
+ }, {
1902
+ targets: {
1903
+ source_ref: string;
1904
+ module_refs: string[];
1905
+ }[];
1906
+ }>;
1907
+ exclusions: z.ZodOptional<z.ZodArray<z.ZodObject<{
1908
+ id: z.ZodEffects<z.ZodString, string, string>;
1909
+ scope: z.ZodEffects<z.ZodObject<{
1910
+ targets: z.ZodArray<z.ZodEffects<z.ZodObject<{
1911
+ source_ref: z.ZodString;
1912
+ module_refs: z.ZodArray<z.ZodString, "many">;
1913
+ }, "strict", z.ZodTypeAny, {
1914
+ source_ref: string;
1915
+ module_refs: string[];
1916
+ }, {
1917
+ source_ref: string;
1918
+ module_refs: string[];
1919
+ }>, {
1920
+ source_ref: string;
1921
+ module_refs: string[];
1922
+ }, {
1923
+ source_ref: string;
1924
+ module_refs: string[];
1925
+ }>, "many">;
1926
+ }, "strict", z.ZodTypeAny, {
1927
+ targets: {
1928
+ source_ref: string;
1929
+ module_refs: string[];
1930
+ }[];
1931
+ }, {
1932
+ targets: {
1933
+ source_ref: string;
1934
+ module_refs: string[];
1935
+ }[];
1936
+ }>, {
1937
+ targets: {
1938
+ source_ref: string;
1939
+ module_refs: string[];
1940
+ }[];
1941
+ }, {
1942
+ targets: {
1943
+ source_ref: string;
1944
+ module_refs: string[];
1945
+ }[];
1946
+ }>;
1947
+ reason: z.ZodString;
1948
+ }, "strict", z.ZodTypeAny, {
1949
+ id: string;
1950
+ scope: {
1951
+ targets: {
1952
+ source_ref: string;
1953
+ module_refs: string[];
1954
+ }[];
1955
+ };
1956
+ reason: string;
1957
+ }, {
1958
+ id: string;
1959
+ scope: {
1960
+ targets: {
1961
+ source_ref: string;
1962
+ module_refs: string[];
1963
+ }[];
1964
+ };
1965
+ reason: string;
1966
+ }>, "many">>;
1967
+ }, "strict", z.ZodTypeAny, {
1968
+ id: string;
1969
+ reader_goals: string[];
1970
+ coverage_domains: Record<string, "required" | "optional" | "out-of-scope">;
1971
+ target_scope: {
1972
+ targets: {
1973
+ source_ref: string;
1974
+ module_refs: string[];
1975
+ }[];
1976
+ };
1977
+ evidence_source_scope: {
1978
+ targets: {
1979
+ source_ref: string;
1980
+ module_refs: string[];
1981
+ }[];
1982
+ };
1983
+ questions?: {
1984
+ ref: string;
1985
+ authority: {
1986
+ kind: "cli-base-contract" | "verified-contract-overlay";
1987
+ ref: string;
1988
+ digest: string;
1989
+ };
1990
+ contract_version: number;
1991
+ contract_digest: string;
1992
+ }[] | undefined;
1993
+ exclusions?: {
1994
+ id: string;
1995
+ scope: {
1996
+ targets: {
1997
+ source_ref: string;
1998
+ module_refs: string[];
1999
+ }[];
2000
+ };
2001
+ reason: string;
2002
+ }[] | undefined;
2003
+ }, {
2004
+ id: string;
2005
+ reader_goals: string[];
2006
+ coverage_domains: Record<string, "required" | "optional" | "out-of-scope">;
2007
+ target_scope: {
2008
+ targets: {
2009
+ source_ref: string;
2010
+ module_refs: string[];
2011
+ }[];
2012
+ };
2013
+ evidence_source_scope: {
2014
+ targets: {
2015
+ source_ref: string;
2016
+ module_refs: string[];
2017
+ }[];
2018
+ };
2019
+ questions?: {
2020
+ ref: string;
2021
+ authority: {
2022
+ kind: "cli-base-contract" | "verified-contract-overlay";
2023
+ ref: string;
2024
+ digest: string;
2025
+ };
2026
+ contract_version: number;
2027
+ contract_digest: string;
2028
+ }[] | undefined;
2029
+ exclusions?: {
2030
+ id: string;
2031
+ scope: {
2032
+ targets: {
2033
+ source_ref: string;
2034
+ module_refs: string[];
2035
+ }[];
2036
+ };
2037
+ reason: string;
2038
+ }[] | undefined;
2039
+ }>, {
2040
+ id: string;
2041
+ reader_goals: string[];
2042
+ coverage_domains: Record<string, "required" | "optional" | "out-of-scope">;
2043
+ target_scope: {
2044
+ targets: {
2045
+ source_ref: string;
2046
+ module_refs: string[];
2047
+ }[];
2048
+ };
2049
+ evidence_source_scope: {
2050
+ targets: {
2051
+ source_ref: string;
2052
+ module_refs: string[];
2053
+ }[];
2054
+ };
2055
+ questions?: {
2056
+ ref: string;
2057
+ authority: {
2058
+ kind: "cli-base-contract" | "verified-contract-overlay";
2059
+ ref: string;
2060
+ digest: string;
2061
+ };
2062
+ contract_version: number;
2063
+ contract_digest: string;
2064
+ }[] | undefined;
2065
+ exclusions?: {
2066
+ id: string;
2067
+ scope: {
2068
+ targets: {
2069
+ source_ref: string;
2070
+ module_refs: string[];
2071
+ }[];
2072
+ };
2073
+ reason: string;
2074
+ }[] | undefined;
2075
+ }, {
2076
+ id: string;
2077
+ reader_goals: string[];
2078
+ coverage_domains: Record<string, "required" | "optional" | "out-of-scope">;
2079
+ target_scope: {
2080
+ targets: {
2081
+ source_ref: string;
2082
+ module_refs: string[];
2083
+ }[];
2084
+ };
2085
+ evidence_source_scope: {
2086
+ targets: {
2087
+ source_ref: string;
2088
+ module_refs: string[];
2089
+ }[];
2090
+ };
2091
+ questions?: {
2092
+ ref: string;
2093
+ authority: {
2094
+ kind: "cli-base-contract" | "verified-contract-overlay";
2095
+ ref: string;
2096
+ digest: string;
2097
+ };
2098
+ contract_version: number;
2099
+ contract_digest: string;
2100
+ }[] | undefined;
2101
+ exclusions?: {
2102
+ id: string;
2103
+ scope: {
2104
+ targets: {
2105
+ source_ref: string;
2106
+ module_refs: string[];
2107
+ }[];
2108
+ };
2109
+ reason: string;
2110
+ }[] | undefined;
2111
+ }>, "many">;
2112
+ indexers: z.ZodArray<z.ZodEffects<z.ZodObject<{
2113
+ id: z.ZodEffects<z.ZodString, string, string>;
2114
+ operations: z.ZodArray<z.ZodEnum<["main-index", "material-answer"]>, "many">;
2115
+ requirement_bindings: z.ZodArray<z.ZodEffects<z.ZodObject<{
2116
+ requirement_ref: z.ZodEffects<z.ZodString, string, string>;
2117
+ coverage_domains: z.ZodArray<z.ZodEffects<z.ZodString, string, string>, "many">;
2118
+ owned_scope: z.ZodUnion<[z.ZodObject<{
2119
+ ref: z.ZodString;
2120
+ }, "strict", z.ZodTypeAny, {
2121
+ ref: string;
2122
+ }, {
2123
+ ref: string;
2124
+ }>, z.ZodEffects<z.ZodObject<{
2125
+ targets: z.ZodArray<z.ZodEffects<z.ZodObject<{
2126
+ source_ref: z.ZodString;
2127
+ module_refs: z.ZodArray<z.ZodString, "many">;
2128
+ }, "strict", z.ZodTypeAny, {
2129
+ source_ref: string;
2130
+ module_refs: string[];
2131
+ }, {
2132
+ source_ref: string;
2133
+ module_refs: string[];
2134
+ }>, {
2135
+ source_ref: string;
2136
+ module_refs: string[];
2137
+ }, {
2138
+ source_ref: string;
2139
+ module_refs: string[];
2140
+ }>, "many">;
2141
+ }, "strict", z.ZodTypeAny, {
2142
+ targets: {
2143
+ source_ref: string;
2144
+ module_refs: string[];
2145
+ }[];
2146
+ }, {
2147
+ targets: {
2148
+ source_ref: string;
2149
+ module_refs: string[];
2150
+ }[];
2151
+ }>, {
2152
+ targets: {
2153
+ source_ref: string;
2154
+ module_refs: string[];
2155
+ }[];
2156
+ }, {
2157
+ targets: {
2158
+ source_ref: string;
2159
+ module_refs: string[];
2160
+ }[];
2161
+ }>]>;
2162
+ role: z.ZodEnum<["primary", "enricher"]>;
2163
+ }, "strict", z.ZodTypeAny, {
2164
+ coverage_domains: string[];
2165
+ requirement_ref: string;
2166
+ owned_scope: {
2167
+ targets: {
2168
+ source_ref: string;
2169
+ module_refs: string[];
2170
+ }[];
2171
+ } | {
2172
+ ref: string;
2173
+ };
2174
+ role: "primary" | "enricher";
2175
+ }, {
2176
+ coverage_domains: string[];
2177
+ requirement_ref: string;
2178
+ owned_scope: {
2179
+ targets: {
2180
+ source_ref: string;
2181
+ module_refs: string[];
2182
+ }[];
2183
+ } | {
2184
+ ref: string;
2185
+ };
2186
+ role: "primary" | "enricher";
2187
+ }>, {
2188
+ coverage_domains: string[];
2189
+ requirement_ref: string;
2190
+ owned_scope: {
2191
+ targets: {
2192
+ source_ref: string;
2193
+ module_refs: string[];
2194
+ }[];
2195
+ } | {
2196
+ ref: string;
2197
+ };
2198
+ role: "primary" | "enricher";
2199
+ }, {
2200
+ coverage_domains: string[];
2201
+ requirement_ref: string;
2202
+ owned_scope: {
2203
+ targets: {
2204
+ source_ref: string;
2205
+ module_refs: string[];
2206
+ }[];
2207
+ } | {
2208
+ ref: string;
2209
+ };
2210
+ role: "primary" | "enricher";
2211
+ }>, "many">;
2212
+ read_scope: z.ZodEffects<z.ZodObject<{
2213
+ refs: z.ZodArray<z.ZodString, "many">;
2214
+ extra_targets: z.ZodOptional<z.ZodArray<z.ZodEffects<z.ZodObject<{
2215
+ source_ref: z.ZodString;
2216
+ module_refs: z.ZodArray<z.ZodString, "many">;
2217
+ }, "strict", z.ZodTypeAny, {
2218
+ source_ref: string;
2219
+ module_refs: string[];
2220
+ }, {
2221
+ source_ref: string;
2222
+ module_refs: string[];
2223
+ }>, {
2224
+ source_ref: string;
2225
+ module_refs: string[];
2226
+ }, {
2227
+ source_ref: string;
2228
+ module_refs: string[];
2229
+ }>, "many">>;
2230
+ }, "strict", z.ZodTypeAny, {
2231
+ refs: string[];
2232
+ extra_targets?: {
2233
+ source_ref: string;
2234
+ module_refs: string[];
2235
+ }[] | undefined;
2236
+ }, {
2237
+ refs: string[];
2238
+ extra_targets?: {
2239
+ source_ref: string;
2240
+ module_refs: string[];
2241
+ }[] | undefined;
2242
+ }>, {
2243
+ refs: string[];
2244
+ extra_targets?: {
2245
+ source_ref: string;
2246
+ module_refs: string[];
2247
+ }[] | undefined;
2248
+ }, {
2249
+ refs: string[];
2250
+ extra_targets?: {
2251
+ source_ref: string;
2252
+ module_refs: string[];
2253
+ }[] | undefined;
2254
+ }>;
2255
+ profile: z.ZodObject<{
2256
+ primary: z.ZodObject<{
2257
+ id: z.ZodEffects<z.ZodString, string, string>;
2258
+ provider: z.ZodEffects<z.ZodString, string, string>;
2259
+ variants: z.ZodOptional<z.ZodRecord<z.ZodEffects<z.ZodString, string, string>, z.ZodEffects<z.ZodString, string, string>>>;
2260
+ }, "strict", z.ZodTypeAny, {
2261
+ id: string;
2262
+ provider: string;
2263
+ variants?: Record<string, string> | undefined;
2264
+ }, {
2265
+ id: string;
2266
+ provider: string;
2267
+ variants?: Record<string, string> | undefined;
2268
+ }>;
2269
+ additional: z.ZodOptional<z.ZodArray<z.ZodObject<{
2270
+ id: z.ZodEffects<z.ZodString, string, string>;
2271
+ provider: z.ZodEffects<z.ZodString, string, string>;
2272
+ variants: z.ZodOptional<z.ZodRecord<z.ZodEffects<z.ZodString, string, string>, z.ZodEffects<z.ZodString, string, string>>>;
2273
+ } & {
2274
+ kind: z.ZodEnum<["supporting", "extension"]>;
2275
+ }, "strict", z.ZodTypeAny, {
2276
+ id: string;
2277
+ kind: "supporting" | "extension";
2278
+ provider: string;
2279
+ variants?: Record<string, string> | undefined;
2280
+ }, {
2281
+ id: string;
2282
+ kind: "supporting" | "extension";
2283
+ provider: string;
2284
+ variants?: Record<string, string> | undefined;
2285
+ }>, "many">>;
2286
+ composers: z.ZodOptional<z.ZodArray<z.ZodObject<{
2287
+ id: z.ZodEffects<z.ZodString, string, string>;
2288
+ provider: z.ZodEffects<z.ZodString, string, string>;
2289
+ }, "strict", z.ZodTypeAny, {
2290
+ id: string;
2291
+ provider: string;
2292
+ }, {
2293
+ id: string;
2294
+ provider: string;
2295
+ }>, "many">>;
2296
+ }, "strict", z.ZodTypeAny, {
2297
+ primary: {
2298
+ id: string;
2299
+ provider: string;
2300
+ variants?: Record<string, string> | undefined;
2301
+ };
2302
+ additional?: {
2303
+ id: string;
2304
+ kind: "supporting" | "extension";
2305
+ provider: string;
2306
+ variants?: Record<string, string> | undefined;
2307
+ }[] | undefined;
2308
+ composers?: {
2309
+ id: string;
2310
+ provider: string;
2311
+ }[] | undefined;
2312
+ }, {
2313
+ primary: {
2314
+ id: string;
2315
+ provider: string;
2316
+ variants?: Record<string, string> | undefined;
2317
+ };
2318
+ additional?: {
2319
+ id: string;
2320
+ kind: "supporting" | "extension";
2321
+ provider: string;
2322
+ variants?: Record<string, string> | undefined;
2323
+ }[] | undefined;
2324
+ composers?: {
2325
+ id: string;
2326
+ provider: string;
2327
+ }[] | undefined;
2328
+ }>;
2329
+ providers: z.ZodArray<z.ZodEffects<z.ZodObject<{
2330
+ id: z.ZodEffects<z.ZodString, string, string>;
2331
+ role: z.ZodEnum<["primary", "extension"]>;
2332
+ skill: z.ZodEffects<z.ZodString, string, string>;
2333
+ version: z.ZodString;
2334
+ integrity: z.ZodString;
2335
+ distribution: z.ZodEffects<z.ZodDiscriminatedUnion<"kind", [z.ZodObject<{
2336
+ kind: z.ZodLiteral<"cli-bundled">;
2337
+ locator: z.ZodString;
2338
+ }, "strict", z.ZodTypeAny, {
2339
+ kind: "cli-bundled";
2340
+ locator: string;
2341
+ }, {
2342
+ kind: "cli-bundled";
2343
+ locator: string;
2344
+ }>, z.ZodObject<{
2345
+ kind: z.ZodLiteral<"bundled">;
2346
+ locator: z.ZodString;
2347
+ }, "strict", z.ZodTypeAny, {
2348
+ kind: "bundled";
2349
+ locator: string;
2350
+ }, {
2351
+ kind: "bundled";
2352
+ locator: string;
2353
+ }>, z.ZodObject<{
2354
+ kind: z.ZodLiteral<"workspace">;
2355
+ locator: z.ZodString;
2356
+ }, "strict", z.ZodTypeAny, {
2357
+ kind: "workspace";
2358
+ locator: string;
2359
+ }, {
2360
+ kind: "workspace";
2361
+ locator: string;
2362
+ }>, z.ZodObject<{
2363
+ kind: z.ZodLiteral<"package">;
2364
+ locator: z.ZodString;
2365
+ }, "strict", z.ZodTypeAny, {
2366
+ kind: "package";
2367
+ locator: string;
2368
+ }, {
2369
+ kind: "package";
2370
+ locator: string;
2371
+ }>, z.ZodObject<{
2372
+ kind: z.ZodLiteral<"marketplace">;
2373
+ locator: z.ZodString;
2374
+ }, "strict", z.ZodTypeAny, {
2375
+ kind: "marketplace";
2376
+ locator: string;
2377
+ }, {
2378
+ kind: "marketplace";
2379
+ locator: string;
2380
+ }>]>, {
2381
+ kind: "cli-bundled";
2382
+ locator: string;
2383
+ } | {
2384
+ kind: "bundled";
2385
+ locator: string;
2386
+ } | {
2387
+ kind: "workspace";
2388
+ locator: string;
2389
+ } | {
2390
+ kind: "package";
2391
+ locator: string;
2392
+ } | {
2393
+ kind: "marketplace";
2394
+ locator: string;
2395
+ }, {
2396
+ kind: "cli-bundled";
2397
+ locator: string;
2398
+ } | {
2399
+ kind: "bundled";
2400
+ locator: string;
2401
+ } | {
2402
+ kind: "workspace";
2403
+ locator: string;
2404
+ } | {
2405
+ kind: "package";
2406
+ locator: string;
2407
+ } | {
2408
+ kind: "marketplace";
2409
+ locator: string;
2410
+ }>;
2411
+ config: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodType<import("./indexerRegistry.js").IndexerJson, z.ZodTypeDef, import("./indexerRegistry.js").IndexerJson>>>;
2412
+ }, "strict", z.ZodTypeAny, {
2413
+ id: string;
2414
+ role: "primary" | "extension";
2415
+ skill: string;
2416
+ version: string;
2417
+ integrity: string;
2418
+ distribution: {
2419
+ kind: "cli-bundled";
2420
+ locator: string;
2421
+ } | {
2422
+ kind: "bundled";
2423
+ locator: string;
2424
+ } | {
2425
+ kind: "workspace";
2426
+ locator: string;
2427
+ } | {
2428
+ kind: "package";
2429
+ locator: string;
2430
+ } | {
2431
+ kind: "marketplace";
2432
+ locator: string;
2433
+ };
2434
+ config?: Record<string, import("./indexerRegistry.js").IndexerJson> | undefined;
2435
+ }, {
2436
+ id: string;
2437
+ role: "primary" | "extension";
2438
+ skill: string;
2439
+ version: string;
2440
+ integrity: string;
2441
+ distribution: {
2442
+ kind: "cli-bundled";
2443
+ locator: string;
2444
+ } | {
2445
+ kind: "bundled";
2446
+ locator: string;
2447
+ } | {
2448
+ kind: "workspace";
2449
+ locator: string;
2450
+ } | {
2451
+ kind: "package";
2452
+ locator: string;
2453
+ } | {
2454
+ kind: "marketplace";
2455
+ locator: string;
2456
+ };
2457
+ config?: Record<string, import("./indexerRegistry.js").IndexerJson> | undefined;
2458
+ }>, {
2459
+ id: string;
2460
+ role: "primary" | "extension";
2461
+ skill: string;
2462
+ version: string;
2463
+ integrity: string;
2464
+ distribution: {
2465
+ kind: "cli-bundled";
2466
+ locator: string;
2467
+ } | {
2468
+ kind: "bundled";
2469
+ locator: string;
2470
+ } | {
2471
+ kind: "workspace";
2472
+ locator: string;
2473
+ } | {
2474
+ kind: "package";
2475
+ locator: string;
2476
+ } | {
2477
+ kind: "marketplace";
2478
+ locator: string;
2479
+ };
2480
+ config?: Record<string, import("./indexerRegistry.js").IndexerJson> | undefined;
2481
+ }, {
2482
+ id: string;
2483
+ role: "primary" | "extension";
2484
+ skill: string;
2485
+ version: string;
2486
+ integrity: string;
2487
+ distribution: {
2488
+ kind: "cli-bundled";
2489
+ locator: string;
2490
+ } | {
2491
+ kind: "bundled";
2492
+ locator: string;
2493
+ } | {
2494
+ kind: "workspace";
2495
+ locator: string;
2496
+ } | {
2497
+ kind: "package";
2498
+ locator: string;
2499
+ } | {
2500
+ kind: "marketplace";
2501
+ locator: string;
2502
+ };
2503
+ config?: Record<string, import("./indexerRegistry.js").IndexerJson> | undefined;
2504
+ }>, "many">;
2505
+ customization: z.ZodOptional<z.ZodObject<{
2506
+ mode: z.ZodEnum<["extend", "replace"]>;
2507
+ }, "strict", z.ZodTypeAny, {
2508
+ mode: "replace" | "extend";
2509
+ }, {
2510
+ mode: "replace" | "extend";
2511
+ }>>;
2512
+ }, "strict", z.ZodTypeAny, {
2513
+ id: string;
2514
+ operations: ("main-index" | "material-answer")[];
2515
+ requirement_bindings: {
2516
+ coverage_domains: string[];
2517
+ requirement_ref: string;
2518
+ owned_scope: {
2519
+ targets: {
2520
+ source_ref: string;
2521
+ module_refs: string[];
2522
+ }[];
2523
+ } | {
2524
+ ref: string;
2525
+ };
2526
+ role: "primary" | "enricher";
2527
+ }[];
2528
+ read_scope: {
2529
+ refs: string[];
2530
+ extra_targets?: {
2531
+ source_ref: string;
2532
+ module_refs: string[];
2533
+ }[] | undefined;
2534
+ };
2535
+ profile: {
2536
+ primary: {
2537
+ id: string;
2538
+ provider: string;
2539
+ variants?: Record<string, string> | undefined;
2540
+ };
2541
+ additional?: {
2542
+ id: string;
2543
+ kind: "supporting" | "extension";
2544
+ provider: string;
2545
+ variants?: Record<string, string> | undefined;
2546
+ }[] | undefined;
2547
+ composers?: {
2548
+ id: string;
2549
+ provider: string;
2550
+ }[] | undefined;
2551
+ };
2552
+ providers: {
2553
+ id: string;
2554
+ role: "primary" | "extension";
2555
+ skill: string;
2556
+ version: string;
2557
+ integrity: string;
2558
+ distribution: {
2559
+ kind: "cli-bundled";
2560
+ locator: string;
2561
+ } | {
2562
+ kind: "bundled";
2563
+ locator: string;
2564
+ } | {
2565
+ kind: "workspace";
2566
+ locator: string;
2567
+ } | {
2568
+ kind: "package";
2569
+ locator: string;
2570
+ } | {
2571
+ kind: "marketplace";
2572
+ locator: string;
2573
+ };
2574
+ config?: Record<string, import("./indexerRegistry.js").IndexerJson> | undefined;
2575
+ }[];
2576
+ customization?: {
2577
+ mode: "replace" | "extend";
2578
+ } | undefined;
2579
+ }, {
2580
+ id: string;
2581
+ operations: ("main-index" | "material-answer")[];
2582
+ requirement_bindings: {
2583
+ coverage_domains: string[];
2584
+ requirement_ref: string;
2585
+ owned_scope: {
2586
+ targets: {
2587
+ source_ref: string;
2588
+ module_refs: string[];
2589
+ }[];
2590
+ } | {
2591
+ ref: string;
2592
+ };
2593
+ role: "primary" | "enricher";
2594
+ }[];
2595
+ read_scope: {
2596
+ refs: string[];
2597
+ extra_targets?: {
2598
+ source_ref: string;
2599
+ module_refs: string[];
2600
+ }[] | undefined;
2601
+ };
2602
+ profile: {
2603
+ primary: {
2604
+ id: string;
2605
+ provider: string;
2606
+ variants?: Record<string, string> | undefined;
2607
+ };
2608
+ additional?: {
2609
+ id: string;
2610
+ kind: "supporting" | "extension";
2611
+ provider: string;
2612
+ variants?: Record<string, string> | undefined;
2613
+ }[] | undefined;
2614
+ composers?: {
2615
+ id: string;
2616
+ provider: string;
2617
+ }[] | undefined;
2618
+ };
2619
+ providers: {
2620
+ id: string;
2621
+ role: "primary" | "extension";
2622
+ skill: string;
2623
+ version: string;
2624
+ integrity: string;
2625
+ distribution: {
2626
+ kind: "cli-bundled";
2627
+ locator: string;
2628
+ } | {
2629
+ kind: "bundled";
2630
+ locator: string;
2631
+ } | {
2632
+ kind: "workspace";
2633
+ locator: string;
2634
+ } | {
2635
+ kind: "package";
2636
+ locator: string;
2637
+ } | {
2638
+ kind: "marketplace";
2639
+ locator: string;
2640
+ };
2641
+ config?: Record<string, import("./indexerRegistry.js").IndexerJson> | undefined;
2642
+ }[];
2643
+ customization?: {
2644
+ mode: "replace" | "extend";
2645
+ } | undefined;
2646
+ }>, {
2647
+ id: string;
2648
+ operations: ("main-index" | "material-answer")[];
2649
+ requirement_bindings: {
2650
+ coverage_domains: string[];
2651
+ requirement_ref: string;
2652
+ owned_scope: {
2653
+ targets: {
2654
+ source_ref: string;
2655
+ module_refs: string[];
2656
+ }[];
2657
+ } | {
2658
+ ref: string;
2659
+ };
2660
+ role: "primary" | "enricher";
2661
+ }[];
2662
+ read_scope: {
2663
+ refs: string[];
2664
+ extra_targets?: {
2665
+ source_ref: string;
2666
+ module_refs: string[];
2667
+ }[] | undefined;
2668
+ };
2669
+ profile: {
2670
+ primary: {
2671
+ id: string;
2672
+ provider: string;
2673
+ variants?: Record<string, string> | undefined;
2674
+ };
2675
+ additional?: {
2676
+ id: string;
2677
+ kind: "supporting" | "extension";
2678
+ provider: string;
2679
+ variants?: Record<string, string> | undefined;
2680
+ }[] | undefined;
2681
+ composers?: {
2682
+ id: string;
2683
+ provider: string;
2684
+ }[] | undefined;
2685
+ };
2686
+ providers: {
2687
+ id: string;
2688
+ role: "primary" | "extension";
2689
+ skill: string;
2690
+ version: string;
2691
+ integrity: string;
2692
+ distribution: {
2693
+ kind: "cli-bundled";
2694
+ locator: string;
2695
+ } | {
2696
+ kind: "bundled";
2697
+ locator: string;
2698
+ } | {
2699
+ kind: "workspace";
2700
+ locator: string;
2701
+ } | {
2702
+ kind: "package";
2703
+ locator: string;
2704
+ } | {
2705
+ kind: "marketplace";
2706
+ locator: string;
2707
+ };
2708
+ config?: Record<string, import("./indexerRegistry.js").IndexerJson> | undefined;
2709
+ }[];
2710
+ customization?: {
2711
+ mode: "replace" | "extend";
2712
+ } | undefined;
2713
+ }, {
2714
+ id: string;
2715
+ operations: ("main-index" | "material-answer")[];
2716
+ requirement_bindings: {
2717
+ coverage_domains: string[];
2718
+ requirement_ref: string;
2719
+ owned_scope: {
2720
+ targets: {
2721
+ source_ref: string;
2722
+ module_refs: string[];
2723
+ }[];
2724
+ } | {
2725
+ ref: string;
2726
+ };
2727
+ role: "primary" | "enricher";
2728
+ }[];
2729
+ read_scope: {
2730
+ refs: string[];
2731
+ extra_targets?: {
2732
+ source_ref: string;
2733
+ module_refs: string[];
2734
+ }[] | undefined;
2735
+ };
2736
+ profile: {
2737
+ primary: {
2738
+ id: string;
2739
+ provider: string;
2740
+ variants?: Record<string, string> | undefined;
2741
+ };
2742
+ additional?: {
2743
+ id: string;
2744
+ kind: "supporting" | "extension";
2745
+ provider: string;
2746
+ variants?: Record<string, string> | undefined;
2747
+ }[] | undefined;
2748
+ composers?: {
2749
+ id: string;
2750
+ provider: string;
2751
+ }[] | undefined;
2752
+ };
2753
+ providers: {
2754
+ id: string;
2755
+ role: "primary" | "extension";
2756
+ skill: string;
2757
+ version: string;
2758
+ integrity: string;
2759
+ distribution: {
2760
+ kind: "cli-bundled";
2761
+ locator: string;
2762
+ } | {
2763
+ kind: "bundled";
2764
+ locator: string;
2765
+ } | {
2766
+ kind: "workspace";
2767
+ locator: string;
2768
+ } | {
2769
+ kind: "package";
2770
+ locator: string;
2771
+ } | {
2772
+ kind: "marketplace";
2773
+ locator: string;
2774
+ };
2775
+ config?: Record<string, import("./indexerRegistry.js").IndexerJson> | undefined;
2776
+ }[];
2777
+ customization?: {
2778
+ mode: "replace" | "extend";
2779
+ } | undefined;
2780
+ }>, "many">;
2781
+ }, "strict", z.ZodTypeAny, {
2782
+ protocol: "context.indexer.registry/v1";
2783
+ requirements: {
2784
+ id: string;
2785
+ reader_goals: string[];
2786
+ coverage_domains: Record<string, "required" | "optional" | "out-of-scope">;
2787
+ target_scope: {
2788
+ targets: {
2789
+ source_ref: string;
2790
+ module_refs: string[];
2791
+ }[];
2792
+ };
2793
+ evidence_source_scope: {
2794
+ targets: {
2795
+ source_ref: string;
2796
+ module_refs: string[];
2797
+ }[];
2798
+ };
2799
+ questions?: {
2800
+ ref: string;
2801
+ authority: {
2802
+ kind: "cli-base-contract" | "verified-contract-overlay";
2803
+ ref: string;
2804
+ digest: string;
2805
+ };
2806
+ contract_version: number;
2807
+ contract_digest: string;
2808
+ }[] | undefined;
2809
+ exclusions?: {
2810
+ id: string;
2811
+ scope: {
2812
+ targets: {
2813
+ source_ref: string;
2814
+ module_refs: string[];
2815
+ }[];
2816
+ };
2817
+ reason: string;
2818
+ }[] | undefined;
2819
+ }[];
2820
+ indexers: {
2821
+ id: string;
2822
+ operations: ("main-index" | "material-answer")[];
2823
+ requirement_bindings: {
2824
+ coverage_domains: string[];
2825
+ requirement_ref: string;
2826
+ owned_scope: {
2827
+ targets: {
2828
+ source_ref: string;
2829
+ module_refs: string[];
2830
+ }[];
2831
+ } | {
2832
+ ref: string;
2833
+ };
2834
+ role: "primary" | "enricher";
2835
+ }[];
2836
+ read_scope: {
2837
+ refs: string[];
2838
+ extra_targets?: {
2839
+ source_ref: string;
2840
+ module_refs: string[];
2841
+ }[] | undefined;
2842
+ };
2843
+ profile: {
2844
+ primary: {
2845
+ id: string;
2846
+ provider: string;
2847
+ variants?: Record<string, string> | undefined;
2848
+ };
2849
+ additional?: {
2850
+ id: string;
2851
+ kind: "supporting" | "extension";
2852
+ provider: string;
2853
+ variants?: Record<string, string> | undefined;
2854
+ }[] | undefined;
2855
+ composers?: {
2856
+ id: string;
2857
+ provider: string;
2858
+ }[] | undefined;
2859
+ };
2860
+ providers: {
2861
+ id: string;
2862
+ role: "primary" | "extension";
2863
+ skill: string;
2864
+ version: string;
2865
+ integrity: string;
2866
+ distribution: {
2867
+ kind: "cli-bundled";
2868
+ locator: string;
2869
+ } | {
2870
+ kind: "bundled";
2871
+ locator: string;
2872
+ } | {
2873
+ kind: "workspace";
2874
+ locator: string;
2875
+ } | {
2876
+ kind: "package";
2877
+ locator: string;
2878
+ } | {
2879
+ kind: "marketplace";
2880
+ locator: string;
2881
+ };
2882
+ config?: Record<string, import("./indexerRegistry.js").IndexerJson> | undefined;
2883
+ }[];
2884
+ customization?: {
2885
+ mode: "replace" | "extend";
2886
+ } | undefined;
2887
+ }[];
2888
+ }, {
2889
+ protocol: "context.indexer.registry/v1";
2890
+ requirements: {
2891
+ id: string;
2892
+ reader_goals: string[];
2893
+ coverage_domains: Record<string, "required" | "optional" | "out-of-scope">;
2894
+ target_scope: {
2895
+ targets: {
2896
+ source_ref: string;
2897
+ module_refs: string[];
2898
+ }[];
2899
+ };
2900
+ evidence_source_scope: {
2901
+ targets: {
2902
+ source_ref: string;
2903
+ module_refs: string[];
2904
+ }[];
2905
+ };
2906
+ questions?: {
2907
+ ref: string;
2908
+ authority: {
2909
+ kind: "cli-base-contract" | "verified-contract-overlay";
2910
+ ref: string;
2911
+ digest: string;
2912
+ };
2913
+ contract_version: number;
2914
+ contract_digest: string;
2915
+ }[] | undefined;
2916
+ exclusions?: {
2917
+ id: string;
2918
+ scope: {
2919
+ targets: {
2920
+ source_ref: string;
2921
+ module_refs: string[];
2922
+ }[];
2923
+ };
2924
+ reason: string;
2925
+ }[] | undefined;
2926
+ }[];
2927
+ indexers: {
2928
+ id: string;
2929
+ operations: ("main-index" | "material-answer")[];
2930
+ requirement_bindings: {
2931
+ coverage_domains: string[];
2932
+ requirement_ref: string;
2933
+ owned_scope: {
2934
+ targets: {
2935
+ source_ref: string;
2936
+ module_refs: string[];
2937
+ }[];
2938
+ } | {
2939
+ ref: string;
2940
+ };
2941
+ role: "primary" | "enricher";
2942
+ }[];
2943
+ read_scope: {
2944
+ refs: string[];
2945
+ extra_targets?: {
2946
+ source_ref: string;
2947
+ module_refs: string[];
2948
+ }[] | undefined;
2949
+ };
2950
+ profile: {
2951
+ primary: {
2952
+ id: string;
2953
+ provider: string;
2954
+ variants?: Record<string, string> | undefined;
2955
+ };
2956
+ additional?: {
2957
+ id: string;
2958
+ kind: "supporting" | "extension";
2959
+ provider: string;
2960
+ variants?: Record<string, string> | undefined;
2961
+ }[] | undefined;
2962
+ composers?: {
2963
+ id: string;
2964
+ provider: string;
2965
+ }[] | undefined;
2966
+ };
2967
+ providers: {
2968
+ id: string;
2969
+ role: "primary" | "extension";
2970
+ skill: string;
2971
+ version: string;
2972
+ integrity: string;
2973
+ distribution: {
2974
+ kind: "cli-bundled";
2975
+ locator: string;
2976
+ } | {
2977
+ kind: "bundled";
2978
+ locator: string;
2979
+ } | {
2980
+ kind: "workspace";
2981
+ locator: string;
2982
+ } | {
2983
+ kind: "package";
2984
+ locator: string;
2985
+ } | {
2986
+ kind: "marketplace";
2987
+ locator: string;
2988
+ };
2989
+ config?: Record<string, import("./indexerRegistry.js").IndexerJson> | undefined;
2990
+ }[];
2991
+ customization?: {
2992
+ mode: "replace" | "extend";
2993
+ } | undefined;
2994
+ }[];
2995
+ }>, {
2996
+ protocol: "context.indexer.registry/v1";
2997
+ requirements: {
2998
+ id: string;
2999
+ reader_goals: string[];
3000
+ coverage_domains: Record<string, "required" | "optional" | "out-of-scope">;
3001
+ target_scope: {
3002
+ targets: {
3003
+ source_ref: string;
3004
+ module_refs: string[];
3005
+ }[];
3006
+ };
3007
+ evidence_source_scope: {
3008
+ targets: {
3009
+ source_ref: string;
3010
+ module_refs: string[];
3011
+ }[];
3012
+ };
3013
+ questions?: {
3014
+ ref: string;
3015
+ authority: {
3016
+ kind: "cli-base-contract" | "verified-contract-overlay";
3017
+ ref: string;
3018
+ digest: string;
3019
+ };
3020
+ contract_version: number;
3021
+ contract_digest: string;
3022
+ }[] | undefined;
3023
+ exclusions?: {
3024
+ id: string;
3025
+ scope: {
3026
+ targets: {
3027
+ source_ref: string;
3028
+ module_refs: string[];
3029
+ }[];
3030
+ };
3031
+ reason: string;
3032
+ }[] | undefined;
3033
+ }[];
3034
+ indexers: {
3035
+ id: string;
3036
+ operations: ("main-index" | "material-answer")[];
3037
+ requirement_bindings: {
3038
+ coverage_domains: string[];
3039
+ requirement_ref: string;
3040
+ owned_scope: {
3041
+ targets: {
3042
+ source_ref: string;
3043
+ module_refs: string[];
3044
+ }[];
3045
+ } | {
3046
+ ref: string;
3047
+ };
3048
+ role: "primary" | "enricher";
3049
+ }[];
3050
+ read_scope: {
3051
+ refs: string[];
3052
+ extra_targets?: {
3053
+ source_ref: string;
3054
+ module_refs: string[];
3055
+ }[] | undefined;
3056
+ };
3057
+ profile: {
3058
+ primary: {
3059
+ id: string;
3060
+ provider: string;
3061
+ variants?: Record<string, string> | undefined;
3062
+ };
3063
+ additional?: {
3064
+ id: string;
3065
+ kind: "supporting" | "extension";
3066
+ provider: string;
3067
+ variants?: Record<string, string> | undefined;
3068
+ }[] | undefined;
3069
+ composers?: {
3070
+ id: string;
3071
+ provider: string;
3072
+ }[] | undefined;
3073
+ };
3074
+ providers: {
3075
+ id: string;
3076
+ role: "primary" | "extension";
3077
+ skill: string;
3078
+ version: string;
3079
+ integrity: string;
3080
+ distribution: {
3081
+ kind: "cli-bundled";
3082
+ locator: string;
3083
+ } | {
3084
+ kind: "bundled";
3085
+ locator: string;
3086
+ } | {
3087
+ kind: "workspace";
3088
+ locator: string;
3089
+ } | {
3090
+ kind: "package";
3091
+ locator: string;
3092
+ } | {
3093
+ kind: "marketplace";
3094
+ locator: string;
3095
+ };
3096
+ config?: Record<string, import("./indexerRegistry.js").IndexerJson> | undefined;
3097
+ }[];
3098
+ customization?: {
3099
+ mode: "replace" | "extend";
3100
+ } | undefined;
3101
+ }[];
3102
+ }, {
3103
+ protocol: "context.indexer.registry/v1";
3104
+ requirements: {
3105
+ id: string;
3106
+ reader_goals: string[];
3107
+ coverage_domains: Record<string, "required" | "optional" | "out-of-scope">;
3108
+ target_scope: {
3109
+ targets: {
3110
+ source_ref: string;
3111
+ module_refs: string[];
3112
+ }[];
3113
+ };
3114
+ evidence_source_scope: {
3115
+ targets: {
3116
+ source_ref: string;
3117
+ module_refs: string[];
3118
+ }[];
3119
+ };
3120
+ questions?: {
3121
+ ref: string;
3122
+ authority: {
3123
+ kind: "cli-base-contract" | "verified-contract-overlay";
3124
+ ref: string;
3125
+ digest: string;
3126
+ };
3127
+ contract_version: number;
3128
+ contract_digest: string;
3129
+ }[] | undefined;
3130
+ exclusions?: {
3131
+ id: string;
3132
+ scope: {
3133
+ targets: {
3134
+ source_ref: string;
3135
+ module_refs: string[];
3136
+ }[];
3137
+ };
3138
+ reason: string;
3139
+ }[] | undefined;
3140
+ }[];
3141
+ indexers: {
3142
+ id: string;
3143
+ operations: ("main-index" | "material-answer")[];
3144
+ requirement_bindings: {
3145
+ coverage_domains: string[];
3146
+ requirement_ref: string;
3147
+ owned_scope: {
3148
+ targets: {
3149
+ source_ref: string;
3150
+ module_refs: string[];
3151
+ }[];
3152
+ } | {
3153
+ ref: string;
3154
+ };
3155
+ role: "primary" | "enricher";
3156
+ }[];
3157
+ read_scope: {
3158
+ refs: string[];
3159
+ extra_targets?: {
3160
+ source_ref: string;
3161
+ module_refs: string[];
3162
+ }[] | undefined;
3163
+ };
3164
+ profile: {
3165
+ primary: {
3166
+ id: string;
3167
+ provider: string;
3168
+ variants?: Record<string, string> | undefined;
3169
+ };
3170
+ additional?: {
3171
+ id: string;
3172
+ kind: "supporting" | "extension";
3173
+ provider: string;
3174
+ variants?: Record<string, string> | undefined;
3175
+ }[] | undefined;
3176
+ composers?: {
3177
+ id: string;
3178
+ provider: string;
3179
+ }[] | undefined;
3180
+ };
3181
+ providers: {
3182
+ id: string;
3183
+ role: "primary" | "extension";
3184
+ skill: string;
3185
+ version: string;
3186
+ integrity: string;
3187
+ distribution: {
3188
+ kind: "cli-bundled";
3189
+ locator: string;
3190
+ } | {
3191
+ kind: "bundled";
3192
+ locator: string;
3193
+ } | {
3194
+ kind: "workspace";
3195
+ locator: string;
3196
+ } | {
3197
+ kind: "package";
3198
+ locator: string;
3199
+ } | {
3200
+ kind: "marketplace";
3201
+ locator: string;
3202
+ };
3203
+ config?: Record<string, import("./indexerRegistry.js").IndexerJson> | undefined;
3204
+ }[];
3205
+ customization?: {
3206
+ mode: "replace" | "extend";
3207
+ } | undefined;
3208
+ }[];
3209
+ }>;
3210
+ target_registry_digest: z.ZodString;
3211
+ overlay_digest: z.ZodString;
3212
+ overlay_trust_receipt_digest: z.ZodString;
3213
+ conformance_report_digest: z.ZodString;
3214
+ added_target_domains: z.ZodArray<z.ZodObject<{
3215
+ id: z.ZodEffects<z.ZodString, string, string>;
3216
+ contract_digest: z.ZodString;
3217
+ }, "strict", z.ZodTypeAny, {
3218
+ id: string;
3219
+ contract_digest: string;
3220
+ }, {
3221
+ id: string;
3222
+ contract_digest: string;
3223
+ }>, "many">;
3224
+ added_questions: z.ZodArray<z.ZodObject<{
3225
+ binding: z.ZodObject<{
3226
+ ref: z.ZodString;
3227
+ authority: z.ZodObject<{
3228
+ kind: z.ZodLiteral<"verified-contract-overlay">;
3229
+ ref: z.ZodString;
3230
+ digest: z.ZodString;
3231
+ }, "strict", z.ZodTypeAny, {
3232
+ kind: "verified-contract-overlay";
3233
+ ref: string;
3234
+ digest: string;
3235
+ }, {
3236
+ kind: "verified-contract-overlay";
3237
+ ref: string;
3238
+ digest: string;
3239
+ }>;
3240
+ contract_version: z.ZodNumber;
3241
+ contract_digest: z.ZodString;
3242
+ }, "strict", z.ZodTypeAny, {
3243
+ ref: string;
3244
+ authority: {
3245
+ kind: "verified-contract-overlay";
3246
+ ref: string;
3247
+ digest: string;
3248
+ };
3249
+ contract_version: number;
3250
+ contract_digest: string;
3251
+ }, {
3252
+ ref: string;
3253
+ authority: {
3254
+ kind: "verified-contract-overlay";
3255
+ ref: string;
3256
+ digest: string;
3257
+ };
3258
+ contract_version: number;
3259
+ contract_digest: string;
3260
+ }>;
3261
+ contract: z.ZodEffects<z.ZodObject<{
3262
+ ref: z.ZodString;
3263
+ semantic: z.ZodEffects<z.ZodString, string, string>;
3264
+ version: z.ZodNumber;
3265
+ coverage_domain: z.ZodEffects<z.ZodString, string, string>;
3266
+ target_domain_ref: z.ZodEffects<z.ZodString, string, string>;
3267
+ target_selector: z.ZodObject<{
3268
+ protocol: z.ZodLiteral<"context.indexer.selector/v1">;
3269
+ expression: z.ZodType<import("./indexerRestrictedSelector.js").IndexerRestrictedSelectorExpression, z.ZodTypeDef, import("./indexerRestrictedSelector.js").IndexerRestrictedSelectorExpression>;
3270
+ }, "strict", z.ZodTypeAny, {
3271
+ protocol: "context.indexer.selector/v1";
3272
+ expression: import("./indexerRestrictedSelector.js").IndexerRestrictedSelectorExpression;
3273
+ }, {
3274
+ protocol: "context.indexer.selector/v1";
3275
+ expression: import("./indexerRestrictedSelector.js").IndexerRestrictedSelectorExpression;
3276
+ }>;
3277
+ evidence_contract: z.ZodObject<{
3278
+ accepted_kinds: z.ZodArray<z.ZodEnum<["code", "contract", "configuration", "documentation", "runbook", "decision-record", "test-result", "runtime-observation", "tool-snapshot"]>, "many">;
3279
+ minimum_items: z.ZodNumber;
3280
+ minimum_distinct_sources: z.ZodNumber;
3281
+ provenance_constraints: z.ZodOptional<z.ZodObject<{
3282
+ protocol: z.ZodLiteral<"context.indexer.selector/v1">;
3283
+ expression: z.ZodType<import("./indexerRestrictedSelector.js").IndexerRestrictedSelectorExpression, z.ZodTypeDef, import("./indexerRestrictedSelector.js").IndexerRestrictedSelectorExpression>;
3284
+ }, "strict", z.ZodTypeAny, {
3285
+ protocol: "context.indexer.selector/v1";
3286
+ expression: import("./indexerRestrictedSelector.js").IndexerRestrictedSelectorExpression;
3287
+ }, {
3288
+ protocol: "context.indexer.selector/v1";
3289
+ expression: import("./indexerRestrictedSelector.js").IndexerRestrictedSelectorExpression;
3290
+ }>>;
3291
+ }, "strict", z.ZodTypeAny, {
3292
+ accepted_kinds: ("contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
3293
+ minimum_items: number;
3294
+ minimum_distinct_sources: number;
3295
+ provenance_constraints?: {
3296
+ protocol: "context.indexer.selector/v1";
3297
+ expression: import("./indexerRestrictedSelector.js").IndexerRestrictedSelectorExpression;
3298
+ } | undefined;
3299
+ }, {
3300
+ accepted_kinds: ("contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
3301
+ minimum_items: number;
3302
+ minimum_distinct_sources: number;
3303
+ provenance_constraints?: {
3304
+ protocol: "context.indexer.selector/v1";
3305
+ expression: import("./indexerRestrictedSelector.js").IndexerRestrictedSelectorExpression;
3306
+ } | undefined;
3307
+ }>;
3308
+ allowed_exclusion_reason_codes: z.ZodOptional<z.ZodArray<z.ZodEffects<z.ZodString, string, string>, "many">>;
3309
+ }, "strict", z.ZodTypeAny, {
3310
+ ref: string;
3311
+ version: number;
3312
+ semantic: string;
3313
+ coverage_domain: string;
3314
+ target_domain_ref: string;
3315
+ target_selector: {
3316
+ protocol: "context.indexer.selector/v1";
3317
+ expression: import("./indexerRestrictedSelector.js").IndexerRestrictedSelectorExpression;
3318
+ };
3319
+ evidence_contract: {
3320
+ accepted_kinds: ("contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
3321
+ minimum_items: number;
3322
+ minimum_distinct_sources: number;
3323
+ provenance_constraints?: {
3324
+ protocol: "context.indexer.selector/v1";
3325
+ expression: import("./indexerRestrictedSelector.js").IndexerRestrictedSelectorExpression;
3326
+ } | undefined;
3327
+ };
3328
+ allowed_exclusion_reason_codes?: string[] | undefined;
3329
+ }, {
3330
+ ref: string;
3331
+ version: number;
3332
+ semantic: string;
3333
+ coverage_domain: string;
3334
+ target_domain_ref: string;
3335
+ target_selector: {
3336
+ protocol: "context.indexer.selector/v1";
3337
+ expression: import("./indexerRestrictedSelector.js").IndexerRestrictedSelectorExpression;
3338
+ };
3339
+ evidence_contract: {
3340
+ accepted_kinds: ("contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
3341
+ minimum_items: number;
3342
+ minimum_distinct_sources: number;
3343
+ provenance_constraints?: {
3344
+ protocol: "context.indexer.selector/v1";
3345
+ expression: import("./indexerRestrictedSelector.js").IndexerRestrictedSelectorExpression;
3346
+ } | undefined;
3347
+ };
3348
+ allowed_exclusion_reason_codes?: string[] | undefined;
3349
+ }>, {
3350
+ ref: string;
3351
+ version: number;
3352
+ semantic: string;
3353
+ coverage_domain: string;
3354
+ target_domain_ref: string;
3355
+ target_selector: {
3356
+ protocol: "context.indexer.selector/v1";
3357
+ expression: import("./indexerRestrictedSelector.js").IndexerRestrictedSelectorExpression;
3358
+ };
3359
+ evidence_contract: {
3360
+ accepted_kinds: ("contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
3361
+ minimum_items: number;
3362
+ minimum_distinct_sources: number;
3363
+ provenance_constraints?: {
3364
+ protocol: "context.indexer.selector/v1";
3365
+ expression: import("./indexerRestrictedSelector.js").IndexerRestrictedSelectorExpression;
3366
+ } | undefined;
3367
+ };
3368
+ allowed_exclusion_reason_codes?: string[] | undefined;
3369
+ }, {
3370
+ ref: string;
3371
+ version: number;
3372
+ semantic: string;
3373
+ coverage_domain: string;
3374
+ target_domain_ref: string;
3375
+ target_selector: {
3376
+ protocol: "context.indexer.selector/v1";
3377
+ expression: import("./indexerRestrictedSelector.js").IndexerRestrictedSelectorExpression;
3378
+ };
3379
+ evidence_contract: {
3380
+ accepted_kinds: ("contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
3381
+ minimum_items: number;
3382
+ minimum_distinct_sources: number;
3383
+ provenance_constraints?: {
3384
+ protocol: "context.indexer.selector/v1";
3385
+ expression: import("./indexerRestrictedSelector.js").IndexerRestrictedSelectorExpression;
3386
+ } | undefined;
3387
+ };
3388
+ allowed_exclusion_reason_codes?: string[] | undefined;
3389
+ }>;
3390
+ contract_digest: z.ZodString;
3391
+ }, "strict", z.ZodTypeAny, {
3392
+ contract: {
3393
+ ref: string;
3394
+ version: number;
3395
+ semantic: string;
3396
+ coverage_domain: string;
3397
+ target_domain_ref: string;
3398
+ target_selector: {
3399
+ protocol: "context.indexer.selector/v1";
3400
+ expression: import("./indexerRestrictedSelector.js").IndexerRestrictedSelectorExpression;
3401
+ };
3402
+ evidence_contract: {
3403
+ accepted_kinds: ("contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
3404
+ minimum_items: number;
3405
+ minimum_distinct_sources: number;
3406
+ provenance_constraints?: {
3407
+ protocol: "context.indexer.selector/v1";
3408
+ expression: import("./indexerRestrictedSelector.js").IndexerRestrictedSelectorExpression;
3409
+ } | undefined;
3410
+ };
3411
+ allowed_exclusion_reason_codes?: string[] | undefined;
3412
+ };
3413
+ contract_digest: string;
3414
+ binding: {
3415
+ ref: string;
3416
+ authority: {
3417
+ kind: "verified-contract-overlay";
3418
+ ref: string;
3419
+ digest: string;
3420
+ };
3421
+ contract_version: number;
3422
+ contract_digest: string;
3423
+ };
3424
+ }, {
3425
+ contract: {
3426
+ ref: string;
3427
+ version: number;
3428
+ semantic: string;
3429
+ coverage_domain: string;
3430
+ target_domain_ref: string;
3431
+ target_selector: {
3432
+ protocol: "context.indexer.selector/v1";
3433
+ expression: import("./indexerRestrictedSelector.js").IndexerRestrictedSelectorExpression;
3434
+ };
3435
+ evidence_contract: {
3436
+ accepted_kinds: ("contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
3437
+ minimum_items: number;
3438
+ minimum_distinct_sources: number;
3439
+ provenance_constraints?: {
3440
+ protocol: "context.indexer.selector/v1";
3441
+ expression: import("./indexerRestrictedSelector.js").IndexerRestrictedSelectorExpression;
3442
+ } | undefined;
3443
+ };
3444
+ allowed_exclusion_reason_codes?: string[] | undefined;
3445
+ };
3446
+ contract_digest: string;
3447
+ binding: {
3448
+ ref: string;
3449
+ authority: {
3450
+ kind: "verified-contract-overlay";
3451
+ ref: string;
3452
+ digest: string;
3453
+ };
3454
+ contract_version: number;
3455
+ contract_digest: string;
3456
+ };
3457
+ }>, "many">;
3458
+ comparison: z.ZodObject<{
3459
+ protocol: z.ZodLiteral<"context.indexer.requirement-contraction-comparison/v1">;
3460
+ requirementRef: z.ZodEffects<z.ZodString, string, string>;
3461
+ relation: z.ZodEnum<["equivalent", "strengthening", "contraction", "incomparable"]>;
3462
+ requiresHumanConfirmation: z.ZodBoolean;
3463
+ evidenceSourceChange: z.ZodEnum<["unchanged", "expanded", "reduced", "changed"]>;
3464
+ changes: z.ZodArray<z.ZodObject<{
3465
+ area: z.ZodEnum<["target-scope", "reader-goals", "coverage-domain", "exclusions", "question", "question-semantic", "question-selector", "question-domain", "question-evidence"]>;
3466
+ path: z.ZodString;
3467
+ relation: z.ZodEnum<["strengthening", "contraction", "incomparable"]>;
3468
+ detail: z.ZodString;
3469
+ }, "strict", z.ZodTypeAny, {
3470
+ path: string;
3471
+ area: "exclusions" | "question" | "target-scope" | "reader-goals" | "coverage-domain" | "question-semantic" | "question-selector" | "question-domain" | "question-evidence";
3472
+ relation: "strengthening" | "contraction" | "incomparable";
3473
+ detail: string;
3474
+ }, {
3475
+ path: string;
3476
+ area: "exclusions" | "question" | "target-scope" | "reader-goals" | "coverage-domain" | "question-semantic" | "question-selector" | "question-domain" | "question-evidence";
3477
+ relation: "strengthening" | "contraction" | "incomparable";
3478
+ detail: string;
3479
+ }>, "many">;
3480
+ }, "strict", z.ZodTypeAny, {
3481
+ protocol: "context.indexer.requirement-contraction-comparison/v1";
3482
+ requirementRef: string;
3483
+ evidenceSourceChange: "unchanged" | "expanded" | "reduced" | "changed";
3484
+ relation: "equivalent" | "strengthening" | "contraction" | "incomparable";
3485
+ requiresHumanConfirmation: boolean;
3486
+ changes: {
3487
+ path: string;
3488
+ area: "exclusions" | "question" | "target-scope" | "reader-goals" | "coverage-domain" | "question-semantic" | "question-selector" | "question-domain" | "question-evidence";
3489
+ relation: "strengthening" | "contraction" | "incomparable";
3490
+ detail: string;
3491
+ }[];
3492
+ }, {
3493
+ protocol: "context.indexer.requirement-contraction-comparison/v1";
3494
+ requirementRef: string;
3495
+ evidenceSourceChange: "unchanged" | "expanded" | "reduced" | "changed";
3496
+ relation: "equivalent" | "strengthening" | "contraction" | "incomparable";
3497
+ requiresHumanConfirmation: boolean;
3498
+ changes: {
3499
+ path: string;
3500
+ area: "exclusions" | "question" | "target-scope" | "reader-goals" | "coverage-domain" | "question-semantic" | "question-selector" | "question-domain" | "question-evidence";
3501
+ relation: "strengthening" | "contraction" | "incomparable";
3502
+ detail: string;
3503
+ }[];
3504
+ }>;
3505
+ comparison_digest: z.ZodString;
3506
+ amendment_digest: z.ZodString;
3507
+ }, "strict", z.ZodTypeAny, {
3508
+ protocol: "context.indexer.overlay-question-amendment/v1";
3509
+ project_ref: string;
3510
+ target_registry: {
3511
+ protocol: "context.indexer.registry/v1";
3512
+ requirements: {
3513
+ id: string;
3514
+ reader_goals: string[];
3515
+ coverage_domains: Record<string, "required" | "optional" | "out-of-scope">;
3516
+ target_scope: {
3517
+ targets: {
3518
+ source_ref: string;
3519
+ module_refs: string[];
3520
+ }[];
3521
+ };
3522
+ evidence_source_scope: {
3523
+ targets: {
3524
+ source_ref: string;
3525
+ module_refs: string[];
3526
+ }[];
3527
+ };
3528
+ questions?: {
3529
+ ref: string;
3530
+ authority: {
3531
+ kind: "cli-base-contract" | "verified-contract-overlay";
3532
+ ref: string;
3533
+ digest: string;
3534
+ };
3535
+ contract_version: number;
3536
+ contract_digest: string;
3537
+ }[] | undefined;
3538
+ exclusions?: {
3539
+ id: string;
3540
+ scope: {
3541
+ targets: {
3542
+ source_ref: string;
3543
+ module_refs: string[];
3544
+ }[];
3545
+ };
3546
+ reason: string;
3547
+ }[] | undefined;
3548
+ }[];
3549
+ indexers: {
3550
+ id: string;
3551
+ operations: ("main-index" | "material-answer")[];
3552
+ requirement_bindings: {
3553
+ coverage_domains: string[];
3554
+ requirement_ref: string;
3555
+ owned_scope: {
3556
+ targets: {
3557
+ source_ref: string;
3558
+ module_refs: string[];
3559
+ }[];
3560
+ } | {
3561
+ ref: string;
3562
+ };
3563
+ role: "primary" | "enricher";
3564
+ }[];
3565
+ read_scope: {
3566
+ refs: string[];
3567
+ extra_targets?: {
3568
+ source_ref: string;
3569
+ module_refs: string[];
3570
+ }[] | undefined;
3571
+ };
3572
+ profile: {
3573
+ primary: {
3574
+ id: string;
3575
+ provider: string;
3576
+ variants?: Record<string, string> | undefined;
3577
+ };
3578
+ additional?: {
3579
+ id: string;
3580
+ kind: "supporting" | "extension";
3581
+ provider: string;
3582
+ variants?: Record<string, string> | undefined;
3583
+ }[] | undefined;
3584
+ composers?: {
3585
+ id: string;
3586
+ provider: string;
3587
+ }[] | undefined;
3588
+ };
3589
+ providers: {
3590
+ id: string;
3591
+ role: "primary" | "extension";
3592
+ skill: string;
3593
+ version: string;
3594
+ integrity: string;
3595
+ distribution: {
3596
+ kind: "cli-bundled";
3597
+ locator: string;
3598
+ } | {
3599
+ kind: "bundled";
3600
+ locator: string;
3601
+ } | {
3602
+ kind: "workspace";
3603
+ locator: string;
3604
+ } | {
3605
+ kind: "package";
3606
+ locator: string;
3607
+ } | {
3608
+ kind: "marketplace";
3609
+ locator: string;
3610
+ };
3611
+ config?: Record<string, import("./indexerRegistry.js").IndexerJson> | undefined;
3612
+ }[];
3613
+ customization?: {
3614
+ mode: "replace" | "extend";
3615
+ } | undefined;
3616
+ }[];
3617
+ };
3618
+ comparison: {
3619
+ protocol: "context.indexer.requirement-contraction-comparison/v1";
3620
+ requirementRef: string;
3621
+ evidenceSourceChange: "unchanged" | "expanded" | "reduced" | "changed";
3622
+ relation: "equivalent" | "strengthening" | "contraction" | "incomparable";
3623
+ requiresHumanConfirmation: boolean;
3624
+ changes: {
3625
+ path: string;
3626
+ area: "exclusions" | "question" | "target-scope" | "reader-goals" | "coverage-domain" | "question-semantic" | "question-selector" | "question-domain" | "question-evidence";
3627
+ relation: "strengthening" | "contraction" | "incomparable";
3628
+ detail: string;
3629
+ }[];
3630
+ };
3631
+ comparison_digest: string;
3632
+ target_requirement_digest: string;
3633
+ base_requirement_digest: string;
3634
+ base_requirement_set_digest: string;
3635
+ target_requirement_set_digest: string;
3636
+ overlay_digest: string;
3637
+ conformance_report_digest: string;
3638
+ requirement_id: string;
3639
+ target_requirement: {
3640
+ id: string;
3641
+ reader_goals: string[];
3642
+ coverage_domains: Record<string, "required" | "optional" | "out-of-scope">;
3643
+ target_scope: {
3644
+ targets: {
3645
+ source_ref: string;
3646
+ module_refs: string[];
3647
+ }[];
3648
+ };
3649
+ evidence_source_scope: {
3650
+ targets: {
3651
+ source_ref: string;
3652
+ module_refs: string[];
3653
+ }[];
3654
+ };
3655
+ questions?: {
3656
+ ref: string;
3657
+ authority: {
3658
+ kind: "cli-base-contract" | "verified-contract-overlay";
3659
+ ref: string;
3660
+ digest: string;
3661
+ };
3662
+ contract_version: number;
3663
+ contract_digest: string;
3664
+ }[] | undefined;
3665
+ exclusions?: {
3666
+ id: string;
3667
+ scope: {
3668
+ targets: {
3669
+ source_ref: string;
3670
+ module_refs: string[];
3671
+ }[];
3672
+ };
3673
+ reason: string;
3674
+ }[] | undefined;
3675
+ };
3676
+ target_registry_digest: string;
3677
+ overlay_trust_receipt_digest: string;
3678
+ added_target_domains: {
3679
+ id: string;
3680
+ contract_digest: string;
3681
+ }[];
3682
+ added_questions: {
3683
+ contract: {
3684
+ ref: string;
3685
+ version: number;
3686
+ semantic: string;
3687
+ coverage_domain: string;
3688
+ target_domain_ref: string;
3689
+ target_selector: {
3690
+ protocol: "context.indexer.selector/v1";
3691
+ expression: import("./indexerRestrictedSelector.js").IndexerRestrictedSelectorExpression;
3692
+ };
3693
+ evidence_contract: {
3694
+ accepted_kinds: ("contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
3695
+ minimum_items: number;
3696
+ minimum_distinct_sources: number;
3697
+ provenance_constraints?: {
3698
+ protocol: "context.indexer.selector/v1";
3699
+ expression: import("./indexerRestrictedSelector.js").IndexerRestrictedSelectorExpression;
3700
+ } | undefined;
3701
+ };
3702
+ allowed_exclusion_reason_codes?: string[] | undefined;
3703
+ };
3704
+ contract_digest: string;
3705
+ binding: {
3706
+ ref: string;
3707
+ authority: {
3708
+ kind: "verified-contract-overlay";
3709
+ ref: string;
3710
+ digest: string;
3711
+ };
3712
+ contract_version: number;
3713
+ contract_digest: string;
3714
+ };
3715
+ }[];
3716
+ amendment_digest: string;
3717
+ }, {
3718
+ protocol: "context.indexer.overlay-question-amendment/v1";
3719
+ project_ref: string;
3720
+ target_registry: {
3721
+ protocol: "context.indexer.registry/v1";
3722
+ requirements: {
3723
+ id: string;
3724
+ reader_goals: string[];
3725
+ coverage_domains: Record<string, "required" | "optional" | "out-of-scope">;
3726
+ target_scope: {
3727
+ targets: {
3728
+ source_ref: string;
3729
+ module_refs: string[];
3730
+ }[];
3731
+ };
3732
+ evidence_source_scope: {
3733
+ targets: {
3734
+ source_ref: string;
3735
+ module_refs: string[];
3736
+ }[];
3737
+ };
3738
+ questions?: {
3739
+ ref: string;
3740
+ authority: {
3741
+ kind: "cli-base-contract" | "verified-contract-overlay";
3742
+ ref: string;
3743
+ digest: string;
3744
+ };
3745
+ contract_version: number;
3746
+ contract_digest: string;
3747
+ }[] | undefined;
3748
+ exclusions?: {
3749
+ id: string;
3750
+ scope: {
3751
+ targets: {
3752
+ source_ref: string;
3753
+ module_refs: string[];
3754
+ }[];
3755
+ };
3756
+ reason: string;
3757
+ }[] | undefined;
3758
+ }[];
3759
+ indexers: {
3760
+ id: string;
3761
+ operations: ("main-index" | "material-answer")[];
3762
+ requirement_bindings: {
3763
+ coverage_domains: string[];
3764
+ requirement_ref: string;
3765
+ owned_scope: {
3766
+ targets: {
3767
+ source_ref: string;
3768
+ module_refs: string[];
3769
+ }[];
3770
+ } | {
3771
+ ref: string;
3772
+ };
3773
+ role: "primary" | "enricher";
3774
+ }[];
3775
+ read_scope: {
3776
+ refs: string[];
3777
+ extra_targets?: {
3778
+ source_ref: string;
3779
+ module_refs: string[];
3780
+ }[] | undefined;
3781
+ };
3782
+ profile: {
3783
+ primary: {
3784
+ id: string;
3785
+ provider: string;
3786
+ variants?: Record<string, string> | undefined;
3787
+ };
3788
+ additional?: {
3789
+ id: string;
3790
+ kind: "supporting" | "extension";
3791
+ provider: string;
3792
+ variants?: Record<string, string> | undefined;
3793
+ }[] | undefined;
3794
+ composers?: {
3795
+ id: string;
3796
+ provider: string;
3797
+ }[] | undefined;
3798
+ };
3799
+ providers: {
3800
+ id: string;
3801
+ role: "primary" | "extension";
3802
+ skill: string;
3803
+ version: string;
3804
+ integrity: string;
3805
+ distribution: {
3806
+ kind: "cli-bundled";
3807
+ locator: string;
3808
+ } | {
3809
+ kind: "bundled";
3810
+ locator: string;
3811
+ } | {
3812
+ kind: "workspace";
3813
+ locator: string;
3814
+ } | {
3815
+ kind: "package";
3816
+ locator: string;
3817
+ } | {
3818
+ kind: "marketplace";
3819
+ locator: string;
3820
+ };
3821
+ config?: Record<string, import("./indexerRegistry.js").IndexerJson> | undefined;
3822
+ }[];
3823
+ customization?: {
3824
+ mode: "replace" | "extend";
3825
+ } | undefined;
3826
+ }[];
3827
+ };
3828
+ comparison: {
3829
+ protocol: "context.indexer.requirement-contraction-comparison/v1";
3830
+ requirementRef: string;
3831
+ evidenceSourceChange: "unchanged" | "expanded" | "reduced" | "changed";
3832
+ relation: "equivalent" | "strengthening" | "contraction" | "incomparable";
3833
+ requiresHumanConfirmation: boolean;
3834
+ changes: {
3835
+ path: string;
3836
+ area: "exclusions" | "question" | "target-scope" | "reader-goals" | "coverage-domain" | "question-semantic" | "question-selector" | "question-domain" | "question-evidence";
3837
+ relation: "strengthening" | "contraction" | "incomparable";
3838
+ detail: string;
3839
+ }[];
3840
+ };
3841
+ comparison_digest: string;
3842
+ target_requirement_digest: string;
3843
+ base_requirement_digest: string;
3844
+ base_requirement_set_digest: string;
3845
+ target_requirement_set_digest: string;
3846
+ overlay_digest: string;
3847
+ conformance_report_digest: string;
3848
+ requirement_id: string;
3849
+ target_requirement: {
3850
+ id: string;
3851
+ reader_goals: string[];
3852
+ coverage_domains: Record<string, "required" | "optional" | "out-of-scope">;
3853
+ target_scope: {
3854
+ targets: {
3855
+ source_ref: string;
3856
+ module_refs: string[];
3857
+ }[];
3858
+ };
3859
+ evidence_source_scope: {
3860
+ targets: {
3861
+ source_ref: string;
3862
+ module_refs: string[];
3863
+ }[];
3864
+ };
3865
+ questions?: {
3866
+ ref: string;
3867
+ authority: {
3868
+ kind: "cli-base-contract" | "verified-contract-overlay";
3869
+ ref: string;
3870
+ digest: string;
3871
+ };
3872
+ contract_version: number;
3873
+ contract_digest: string;
3874
+ }[] | undefined;
3875
+ exclusions?: {
3876
+ id: string;
3877
+ scope: {
3878
+ targets: {
3879
+ source_ref: string;
3880
+ module_refs: string[];
3881
+ }[];
3882
+ };
3883
+ reason: string;
3884
+ }[] | undefined;
3885
+ };
3886
+ target_registry_digest: string;
3887
+ overlay_trust_receipt_digest: string;
3888
+ added_target_domains: {
3889
+ id: string;
3890
+ contract_digest: string;
3891
+ }[];
3892
+ added_questions: {
3893
+ contract: {
3894
+ ref: string;
3895
+ version: number;
3896
+ semantic: string;
3897
+ coverage_domain: string;
3898
+ target_domain_ref: string;
3899
+ target_selector: {
3900
+ protocol: "context.indexer.selector/v1";
3901
+ expression: import("./indexerRestrictedSelector.js").IndexerRestrictedSelectorExpression;
3902
+ };
3903
+ evidence_contract: {
3904
+ accepted_kinds: ("contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
3905
+ minimum_items: number;
3906
+ minimum_distinct_sources: number;
3907
+ provenance_constraints?: {
3908
+ protocol: "context.indexer.selector/v1";
3909
+ expression: import("./indexerRestrictedSelector.js").IndexerRestrictedSelectorExpression;
3910
+ } | undefined;
3911
+ };
3912
+ allowed_exclusion_reason_codes?: string[] | undefined;
3913
+ };
3914
+ contract_digest: string;
3915
+ binding: {
3916
+ ref: string;
3917
+ authority: {
3918
+ kind: "verified-contract-overlay";
3919
+ ref: string;
3920
+ digest: string;
3921
+ };
3922
+ contract_version: number;
3923
+ contract_digest: string;
3924
+ };
3925
+ }[];
3926
+ amendment_digest: string;
3927
+ }>;
3928
+ confirmation: z.ZodObject<{
3929
+ protocol: z.ZodLiteral<"context.indexer.requirement-amendment-confirmation/v1">;
3930
+ project_ref: z.ZodString;
3931
+ amendment_digest: z.ZodString;
3932
+ base_requirement_set_digest: z.ZodString;
3933
+ target_requirement_set_digest: z.ZodString;
3934
+ comparison_digest: z.ZodString;
3935
+ authority: z.ZodEnum<["managed", "human"]>;
3936
+ non_delegable: z.ZodBoolean;
3937
+ confirmed_by: z.ZodString;
3938
+ confirmed_at: z.ZodString;
3939
+ confirmation_digest: z.ZodString;
3940
+ }, "strict", z.ZodTypeAny, {
3941
+ protocol: "context.indexer.requirement-amendment-confirmation/v1";
3942
+ authority: "managed" | "human";
3943
+ project_ref: string;
3944
+ confirmed_by: string;
3945
+ confirmed_at: string;
3946
+ comparison_digest: string;
3947
+ non_delegable: boolean;
3948
+ confirmation_digest: string;
3949
+ base_requirement_set_digest: string;
3950
+ target_requirement_set_digest: string;
3951
+ amendment_digest: string;
3952
+ }, {
3953
+ protocol: "context.indexer.requirement-amendment-confirmation/v1";
3954
+ authority: "managed" | "human";
3955
+ project_ref: string;
3956
+ confirmed_by: string;
3957
+ confirmed_at: string;
3958
+ comparison_digest: string;
3959
+ non_delegable: boolean;
3960
+ confirmation_digest: string;
3961
+ base_requirement_set_digest: string;
3962
+ target_requirement_set_digest: string;
3963
+ amendment_digest: string;
3964
+ }>;
3965
+ overlay_contract_digest: z.ZodString;
3966
+ overlay_trust_receipt_digest: z.ZodString;
3967
+ rebind_receipt_digest: z.ZodString;
3968
+ rebound_selection_digest: z.ZodString;
3969
+ subject_key_schema_set_digest: z.ZodString;
3970
+ finalized_validation_report_digests: z.ZodArray<z.ZodString, "many">;
3971
+ proposal_digest: z.ZodString;
3972
+ }, "strict", z.ZodTypeAny, {
3973
+ protocol: "context.indexer.overlay-question-registry-apply-proposal/v1";
3974
+ project_ref: string;
3975
+ target_registry: {
3976
+ requirement_set_digest: string;
3977
+ registry_digest: string;
3978
+ document_digest: string;
3979
+ indexer_selection_digest: string;
3980
+ };
3981
+ base_registry: {
3982
+ requirement_set_digest: string;
3983
+ registry_digest: string;
3984
+ document_digest: string;
3985
+ indexer_selection_digest: string;
3986
+ };
3987
+ target_document: {
3988
+ protocol: "context.indexer.registry/v1";
3989
+ requirements: {
3990
+ id: string;
3991
+ reader_goals: string[];
3992
+ coverage_domains: Record<string, "required" | "optional" | "out-of-scope">;
3993
+ target_scope: {
3994
+ targets: {
3995
+ source_ref: string;
3996
+ module_refs: string[];
3997
+ }[];
3998
+ };
3999
+ evidence_source_scope: {
4000
+ targets: {
4001
+ source_ref: string;
4002
+ module_refs: string[];
4003
+ }[];
4004
+ };
4005
+ questions?: {
4006
+ ref: string;
4007
+ authority: {
4008
+ kind: "cli-base-contract" | "verified-contract-overlay";
4009
+ ref: string;
4010
+ digest: string;
4011
+ };
4012
+ contract_version: number;
4013
+ contract_digest: string;
4014
+ }[] | undefined;
4015
+ exclusions?: {
4016
+ id: string;
4017
+ scope: {
4018
+ targets: {
4019
+ source_ref: string;
4020
+ module_refs: string[];
4021
+ }[];
4022
+ };
4023
+ reason: string;
4024
+ }[] | undefined;
4025
+ }[];
4026
+ indexers: {
4027
+ id: string;
4028
+ operations: ("main-index" | "material-answer")[];
4029
+ requirement_bindings: {
4030
+ coverage_domains: string[];
4031
+ requirement_ref: string;
4032
+ owned_scope: {
4033
+ targets: {
4034
+ source_ref: string;
4035
+ module_refs: string[];
4036
+ }[];
4037
+ } | {
4038
+ ref: string;
4039
+ };
4040
+ role: "primary" | "enricher";
4041
+ }[];
4042
+ read_scope: {
4043
+ refs: string[];
4044
+ extra_targets?: {
4045
+ source_ref: string;
4046
+ module_refs: string[];
4047
+ }[] | undefined;
4048
+ };
4049
+ profile: {
4050
+ primary: {
4051
+ id: string;
4052
+ provider: string;
4053
+ variants?: Record<string, string> | undefined;
4054
+ };
4055
+ additional?: {
4056
+ id: string;
4057
+ kind: "supporting" | "extension";
4058
+ provider: string;
4059
+ variants?: Record<string, string> | undefined;
4060
+ }[] | undefined;
4061
+ composers?: {
4062
+ id: string;
4063
+ provider: string;
4064
+ }[] | undefined;
4065
+ };
4066
+ providers: {
4067
+ id: string;
4068
+ role: "primary" | "extension";
4069
+ skill: string;
4070
+ version: string;
4071
+ integrity: string;
4072
+ distribution: {
4073
+ kind: "cli-bundled";
4074
+ locator: string;
4075
+ } | {
4076
+ kind: "bundled";
4077
+ locator: string;
4078
+ } | {
4079
+ kind: "workspace";
4080
+ locator: string;
4081
+ } | {
4082
+ kind: "package";
4083
+ locator: string;
4084
+ } | {
4085
+ kind: "marketplace";
4086
+ locator: string;
4087
+ };
4088
+ config?: Record<string, import("./indexerRegistry.js").IndexerJson> | undefined;
4089
+ }[];
4090
+ customization?: {
4091
+ mode: "replace" | "extend";
4092
+ } | undefined;
4093
+ }[];
4094
+ };
4095
+ finalized_validation_report_digests: string[];
4096
+ proposal_digest: string;
4097
+ overlay_trust_receipt_digest: string;
4098
+ target_document_content: string;
4099
+ amendment: {
4100
+ protocol: "context.indexer.overlay-question-amendment/v1";
4101
+ project_ref: string;
4102
+ target_registry: {
4103
+ protocol: "context.indexer.registry/v1";
4104
+ requirements: {
4105
+ id: string;
4106
+ reader_goals: string[];
4107
+ coverage_domains: Record<string, "required" | "optional" | "out-of-scope">;
4108
+ target_scope: {
4109
+ targets: {
4110
+ source_ref: string;
4111
+ module_refs: string[];
4112
+ }[];
4113
+ };
4114
+ evidence_source_scope: {
4115
+ targets: {
4116
+ source_ref: string;
4117
+ module_refs: string[];
4118
+ }[];
4119
+ };
4120
+ questions?: {
4121
+ ref: string;
4122
+ authority: {
4123
+ kind: "cli-base-contract" | "verified-contract-overlay";
4124
+ ref: string;
4125
+ digest: string;
4126
+ };
4127
+ contract_version: number;
4128
+ contract_digest: string;
4129
+ }[] | undefined;
4130
+ exclusions?: {
4131
+ id: string;
4132
+ scope: {
4133
+ targets: {
4134
+ source_ref: string;
4135
+ module_refs: string[];
4136
+ }[];
4137
+ };
4138
+ reason: string;
4139
+ }[] | undefined;
4140
+ }[];
4141
+ indexers: {
4142
+ id: string;
4143
+ operations: ("main-index" | "material-answer")[];
4144
+ requirement_bindings: {
4145
+ coverage_domains: string[];
4146
+ requirement_ref: string;
4147
+ owned_scope: {
4148
+ targets: {
4149
+ source_ref: string;
4150
+ module_refs: string[];
4151
+ }[];
4152
+ } | {
4153
+ ref: string;
4154
+ };
4155
+ role: "primary" | "enricher";
4156
+ }[];
4157
+ read_scope: {
4158
+ refs: string[];
4159
+ extra_targets?: {
4160
+ source_ref: string;
4161
+ module_refs: string[];
4162
+ }[] | undefined;
4163
+ };
4164
+ profile: {
4165
+ primary: {
4166
+ id: string;
4167
+ provider: string;
4168
+ variants?: Record<string, string> | undefined;
4169
+ };
4170
+ additional?: {
4171
+ id: string;
4172
+ kind: "supporting" | "extension";
4173
+ provider: string;
4174
+ variants?: Record<string, string> | undefined;
4175
+ }[] | undefined;
4176
+ composers?: {
4177
+ id: string;
4178
+ provider: string;
4179
+ }[] | undefined;
4180
+ };
4181
+ providers: {
4182
+ id: string;
4183
+ role: "primary" | "extension";
4184
+ skill: string;
4185
+ version: string;
4186
+ integrity: string;
4187
+ distribution: {
4188
+ kind: "cli-bundled";
4189
+ locator: string;
4190
+ } | {
4191
+ kind: "bundled";
4192
+ locator: string;
4193
+ } | {
4194
+ kind: "workspace";
4195
+ locator: string;
4196
+ } | {
4197
+ kind: "package";
4198
+ locator: string;
4199
+ } | {
4200
+ kind: "marketplace";
4201
+ locator: string;
4202
+ };
4203
+ config?: Record<string, import("./indexerRegistry.js").IndexerJson> | undefined;
4204
+ }[];
4205
+ customization?: {
4206
+ mode: "replace" | "extend";
4207
+ } | undefined;
4208
+ }[];
4209
+ };
4210
+ comparison: {
4211
+ protocol: "context.indexer.requirement-contraction-comparison/v1";
4212
+ requirementRef: string;
4213
+ evidenceSourceChange: "unchanged" | "expanded" | "reduced" | "changed";
4214
+ relation: "equivalent" | "strengthening" | "contraction" | "incomparable";
4215
+ requiresHumanConfirmation: boolean;
4216
+ changes: {
4217
+ path: string;
4218
+ area: "exclusions" | "question" | "target-scope" | "reader-goals" | "coverage-domain" | "question-semantic" | "question-selector" | "question-domain" | "question-evidence";
4219
+ relation: "strengthening" | "contraction" | "incomparable";
4220
+ detail: string;
4221
+ }[];
4222
+ };
4223
+ comparison_digest: string;
4224
+ target_requirement_digest: string;
4225
+ base_requirement_digest: string;
4226
+ base_requirement_set_digest: string;
4227
+ target_requirement_set_digest: string;
4228
+ overlay_digest: string;
4229
+ conformance_report_digest: string;
4230
+ requirement_id: string;
4231
+ target_requirement: {
4232
+ id: string;
4233
+ reader_goals: string[];
4234
+ coverage_domains: Record<string, "required" | "optional" | "out-of-scope">;
4235
+ target_scope: {
4236
+ targets: {
4237
+ source_ref: string;
4238
+ module_refs: string[];
4239
+ }[];
4240
+ };
4241
+ evidence_source_scope: {
4242
+ targets: {
4243
+ source_ref: string;
4244
+ module_refs: string[];
4245
+ }[];
4246
+ };
4247
+ questions?: {
4248
+ ref: string;
4249
+ authority: {
4250
+ kind: "cli-base-contract" | "verified-contract-overlay";
4251
+ ref: string;
4252
+ digest: string;
4253
+ };
4254
+ contract_version: number;
4255
+ contract_digest: string;
4256
+ }[] | undefined;
4257
+ exclusions?: {
4258
+ id: string;
4259
+ scope: {
4260
+ targets: {
4261
+ source_ref: string;
4262
+ module_refs: string[];
4263
+ }[];
4264
+ };
4265
+ reason: string;
4266
+ }[] | undefined;
4267
+ };
4268
+ target_registry_digest: string;
4269
+ overlay_trust_receipt_digest: string;
4270
+ added_target_domains: {
4271
+ id: string;
4272
+ contract_digest: string;
4273
+ }[];
4274
+ added_questions: {
4275
+ contract: {
4276
+ ref: string;
4277
+ version: number;
4278
+ semantic: string;
4279
+ coverage_domain: string;
4280
+ target_domain_ref: string;
4281
+ target_selector: {
4282
+ protocol: "context.indexer.selector/v1";
4283
+ expression: import("./indexerRestrictedSelector.js").IndexerRestrictedSelectorExpression;
4284
+ };
4285
+ evidence_contract: {
4286
+ accepted_kinds: ("contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
4287
+ minimum_items: number;
4288
+ minimum_distinct_sources: number;
4289
+ provenance_constraints?: {
4290
+ protocol: "context.indexer.selector/v1";
4291
+ expression: import("./indexerRestrictedSelector.js").IndexerRestrictedSelectorExpression;
4292
+ } | undefined;
4293
+ };
4294
+ allowed_exclusion_reason_codes?: string[] | undefined;
4295
+ };
4296
+ contract_digest: string;
4297
+ binding: {
4298
+ ref: string;
4299
+ authority: {
4300
+ kind: "verified-contract-overlay";
4301
+ ref: string;
4302
+ digest: string;
4303
+ };
4304
+ contract_version: number;
4305
+ contract_digest: string;
4306
+ };
4307
+ }[];
4308
+ amendment_digest: string;
4309
+ };
4310
+ confirmation: {
4311
+ protocol: "context.indexer.requirement-amendment-confirmation/v1";
4312
+ authority: "managed" | "human";
4313
+ project_ref: string;
4314
+ confirmed_by: string;
4315
+ confirmed_at: string;
4316
+ comparison_digest: string;
4317
+ non_delegable: boolean;
4318
+ confirmation_digest: string;
4319
+ base_requirement_set_digest: string;
4320
+ target_requirement_set_digest: string;
4321
+ amendment_digest: string;
4322
+ };
4323
+ overlay_contract_digest: string;
4324
+ rebind_receipt_digest: string;
4325
+ rebound_selection_digest: string;
4326
+ subject_key_schema_set_digest: string;
4327
+ }, {
4328
+ protocol: "context.indexer.overlay-question-registry-apply-proposal/v1";
4329
+ project_ref: string;
4330
+ target_registry: {
4331
+ requirement_set_digest: string;
4332
+ registry_digest: string;
4333
+ document_digest: string;
4334
+ indexer_selection_digest: string;
4335
+ };
4336
+ base_registry: {
4337
+ requirement_set_digest: string;
4338
+ registry_digest: string;
4339
+ document_digest: string;
4340
+ indexer_selection_digest: string;
4341
+ };
4342
+ target_document: {
4343
+ protocol: "context.indexer.registry/v1";
4344
+ requirements: {
4345
+ id: string;
4346
+ reader_goals: string[];
4347
+ coverage_domains: Record<string, "required" | "optional" | "out-of-scope">;
4348
+ target_scope: {
4349
+ targets: {
4350
+ source_ref: string;
4351
+ module_refs: string[];
4352
+ }[];
4353
+ };
4354
+ evidence_source_scope: {
4355
+ targets: {
4356
+ source_ref: string;
4357
+ module_refs: string[];
4358
+ }[];
4359
+ };
4360
+ questions?: {
4361
+ ref: string;
4362
+ authority: {
4363
+ kind: "cli-base-contract" | "verified-contract-overlay";
4364
+ ref: string;
4365
+ digest: string;
4366
+ };
4367
+ contract_version: number;
4368
+ contract_digest: string;
4369
+ }[] | undefined;
4370
+ exclusions?: {
4371
+ id: string;
4372
+ scope: {
4373
+ targets: {
4374
+ source_ref: string;
4375
+ module_refs: string[];
4376
+ }[];
4377
+ };
4378
+ reason: string;
4379
+ }[] | undefined;
4380
+ }[];
4381
+ indexers: {
4382
+ id: string;
4383
+ operations: ("main-index" | "material-answer")[];
4384
+ requirement_bindings: {
4385
+ coverage_domains: string[];
4386
+ requirement_ref: string;
4387
+ owned_scope: {
4388
+ targets: {
4389
+ source_ref: string;
4390
+ module_refs: string[];
4391
+ }[];
4392
+ } | {
4393
+ ref: string;
4394
+ };
4395
+ role: "primary" | "enricher";
4396
+ }[];
4397
+ read_scope: {
4398
+ refs: string[];
4399
+ extra_targets?: {
4400
+ source_ref: string;
4401
+ module_refs: string[];
4402
+ }[] | undefined;
4403
+ };
4404
+ profile: {
4405
+ primary: {
4406
+ id: string;
4407
+ provider: string;
4408
+ variants?: Record<string, string> | undefined;
4409
+ };
4410
+ additional?: {
4411
+ id: string;
4412
+ kind: "supporting" | "extension";
4413
+ provider: string;
4414
+ variants?: Record<string, string> | undefined;
4415
+ }[] | undefined;
4416
+ composers?: {
4417
+ id: string;
4418
+ provider: string;
4419
+ }[] | undefined;
4420
+ };
4421
+ providers: {
4422
+ id: string;
4423
+ role: "primary" | "extension";
4424
+ skill: string;
4425
+ version: string;
4426
+ integrity: string;
4427
+ distribution: {
4428
+ kind: "cli-bundled";
4429
+ locator: string;
4430
+ } | {
4431
+ kind: "bundled";
4432
+ locator: string;
4433
+ } | {
4434
+ kind: "workspace";
4435
+ locator: string;
4436
+ } | {
4437
+ kind: "package";
4438
+ locator: string;
4439
+ } | {
4440
+ kind: "marketplace";
4441
+ locator: string;
4442
+ };
4443
+ config?: Record<string, import("./indexerRegistry.js").IndexerJson> | undefined;
4444
+ }[];
4445
+ customization?: {
4446
+ mode: "replace" | "extend";
4447
+ } | undefined;
4448
+ }[];
4449
+ };
4450
+ finalized_validation_report_digests: string[];
4451
+ proposal_digest: string;
4452
+ overlay_trust_receipt_digest: string;
4453
+ target_document_content: string;
4454
+ amendment: {
4455
+ protocol: "context.indexer.overlay-question-amendment/v1";
4456
+ project_ref: string;
4457
+ target_registry: {
4458
+ protocol: "context.indexer.registry/v1";
4459
+ requirements: {
4460
+ id: string;
4461
+ reader_goals: string[];
4462
+ coverage_domains: Record<string, "required" | "optional" | "out-of-scope">;
4463
+ target_scope: {
4464
+ targets: {
4465
+ source_ref: string;
4466
+ module_refs: string[];
4467
+ }[];
4468
+ };
4469
+ evidence_source_scope: {
4470
+ targets: {
4471
+ source_ref: string;
4472
+ module_refs: string[];
4473
+ }[];
4474
+ };
4475
+ questions?: {
4476
+ ref: string;
4477
+ authority: {
4478
+ kind: "cli-base-contract" | "verified-contract-overlay";
4479
+ ref: string;
4480
+ digest: string;
4481
+ };
4482
+ contract_version: number;
4483
+ contract_digest: string;
4484
+ }[] | undefined;
4485
+ exclusions?: {
4486
+ id: string;
4487
+ scope: {
4488
+ targets: {
4489
+ source_ref: string;
4490
+ module_refs: string[];
4491
+ }[];
4492
+ };
4493
+ reason: string;
4494
+ }[] | undefined;
4495
+ }[];
4496
+ indexers: {
4497
+ id: string;
4498
+ operations: ("main-index" | "material-answer")[];
4499
+ requirement_bindings: {
4500
+ coverage_domains: string[];
4501
+ requirement_ref: string;
4502
+ owned_scope: {
4503
+ targets: {
4504
+ source_ref: string;
4505
+ module_refs: string[];
4506
+ }[];
4507
+ } | {
4508
+ ref: string;
4509
+ };
4510
+ role: "primary" | "enricher";
4511
+ }[];
4512
+ read_scope: {
4513
+ refs: string[];
4514
+ extra_targets?: {
4515
+ source_ref: string;
4516
+ module_refs: string[];
4517
+ }[] | undefined;
4518
+ };
4519
+ profile: {
4520
+ primary: {
4521
+ id: string;
4522
+ provider: string;
4523
+ variants?: Record<string, string> | undefined;
4524
+ };
4525
+ additional?: {
4526
+ id: string;
4527
+ kind: "supporting" | "extension";
4528
+ provider: string;
4529
+ variants?: Record<string, string> | undefined;
4530
+ }[] | undefined;
4531
+ composers?: {
4532
+ id: string;
4533
+ provider: string;
4534
+ }[] | undefined;
4535
+ };
4536
+ providers: {
4537
+ id: string;
4538
+ role: "primary" | "extension";
4539
+ skill: string;
4540
+ version: string;
4541
+ integrity: string;
4542
+ distribution: {
4543
+ kind: "cli-bundled";
4544
+ locator: string;
4545
+ } | {
4546
+ kind: "bundled";
4547
+ locator: string;
4548
+ } | {
4549
+ kind: "workspace";
4550
+ locator: string;
4551
+ } | {
4552
+ kind: "package";
4553
+ locator: string;
4554
+ } | {
4555
+ kind: "marketplace";
4556
+ locator: string;
4557
+ };
4558
+ config?: Record<string, import("./indexerRegistry.js").IndexerJson> | undefined;
4559
+ }[];
4560
+ customization?: {
4561
+ mode: "replace" | "extend";
4562
+ } | undefined;
4563
+ }[];
4564
+ };
4565
+ comparison: {
4566
+ protocol: "context.indexer.requirement-contraction-comparison/v1";
4567
+ requirementRef: string;
4568
+ evidenceSourceChange: "unchanged" | "expanded" | "reduced" | "changed";
4569
+ relation: "equivalent" | "strengthening" | "contraction" | "incomparable";
4570
+ requiresHumanConfirmation: boolean;
4571
+ changes: {
4572
+ path: string;
4573
+ area: "exclusions" | "question" | "target-scope" | "reader-goals" | "coverage-domain" | "question-semantic" | "question-selector" | "question-domain" | "question-evidence";
4574
+ relation: "strengthening" | "contraction" | "incomparable";
4575
+ detail: string;
4576
+ }[];
4577
+ };
4578
+ comparison_digest: string;
4579
+ target_requirement_digest: string;
4580
+ base_requirement_digest: string;
4581
+ base_requirement_set_digest: string;
4582
+ target_requirement_set_digest: string;
4583
+ overlay_digest: string;
4584
+ conformance_report_digest: string;
4585
+ requirement_id: string;
4586
+ target_requirement: {
4587
+ id: string;
4588
+ reader_goals: string[];
4589
+ coverage_domains: Record<string, "required" | "optional" | "out-of-scope">;
4590
+ target_scope: {
4591
+ targets: {
4592
+ source_ref: string;
4593
+ module_refs: string[];
4594
+ }[];
4595
+ };
4596
+ evidence_source_scope: {
4597
+ targets: {
4598
+ source_ref: string;
4599
+ module_refs: string[];
4600
+ }[];
4601
+ };
4602
+ questions?: {
4603
+ ref: string;
4604
+ authority: {
4605
+ kind: "cli-base-contract" | "verified-contract-overlay";
4606
+ ref: string;
4607
+ digest: string;
4608
+ };
4609
+ contract_version: number;
4610
+ contract_digest: string;
4611
+ }[] | undefined;
4612
+ exclusions?: {
4613
+ id: string;
4614
+ scope: {
4615
+ targets: {
4616
+ source_ref: string;
4617
+ module_refs: string[];
4618
+ }[];
4619
+ };
4620
+ reason: string;
4621
+ }[] | undefined;
4622
+ };
4623
+ target_registry_digest: string;
4624
+ overlay_trust_receipt_digest: string;
4625
+ added_target_domains: {
4626
+ id: string;
4627
+ contract_digest: string;
4628
+ }[];
4629
+ added_questions: {
4630
+ contract: {
4631
+ ref: string;
4632
+ version: number;
4633
+ semantic: string;
4634
+ coverage_domain: string;
4635
+ target_domain_ref: string;
4636
+ target_selector: {
4637
+ protocol: "context.indexer.selector/v1";
4638
+ expression: import("./indexerRestrictedSelector.js").IndexerRestrictedSelectorExpression;
4639
+ };
4640
+ evidence_contract: {
4641
+ accepted_kinds: ("contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
4642
+ minimum_items: number;
4643
+ minimum_distinct_sources: number;
4644
+ provenance_constraints?: {
4645
+ protocol: "context.indexer.selector/v1";
4646
+ expression: import("./indexerRestrictedSelector.js").IndexerRestrictedSelectorExpression;
4647
+ } | undefined;
4648
+ };
4649
+ allowed_exclusion_reason_codes?: string[] | undefined;
4650
+ };
4651
+ contract_digest: string;
4652
+ binding: {
4653
+ ref: string;
4654
+ authority: {
4655
+ kind: "verified-contract-overlay";
4656
+ ref: string;
4657
+ digest: string;
4658
+ };
4659
+ contract_version: number;
4660
+ contract_digest: string;
4661
+ };
4662
+ }[];
4663
+ amendment_digest: string;
4664
+ };
4665
+ confirmation: {
4666
+ protocol: "context.indexer.requirement-amendment-confirmation/v1";
4667
+ authority: "managed" | "human";
4668
+ project_ref: string;
4669
+ confirmed_by: string;
4670
+ confirmed_at: string;
4671
+ comparison_digest: string;
4672
+ non_delegable: boolean;
4673
+ confirmation_digest: string;
4674
+ base_requirement_set_digest: string;
4675
+ target_requirement_set_digest: string;
4676
+ amendment_digest: string;
4677
+ };
4678
+ overlay_contract_digest: string;
4679
+ rebind_receipt_digest: string;
4680
+ rebound_selection_digest: string;
4681
+ subject_key_schema_set_digest: string;
4682
+ }>;
4683
+ export type IndexerOverlayQuestionRegistryApplyProposal = z.infer<typeof indexerOverlayQuestionRegistryApplyProposalSchema>;
4684
+ export declare function buildIndexerOverlayQuestionRegistryApplyProposal(input: {
4685
+ project_ref: string;
4686
+ base_registry: IndexerRegistry;
4687
+ base_document_content: string;
4688
+ target_document_content: string;
4689
+ amendment: unknown;
4690
+ confirmation: unknown;
4691
+ rebind_receipt_digest: string;
4692
+ rebound_selection_digest: string;
4693
+ subject_key_schema_set_digest: string;
4694
+ finalized_validation_report_digests: readonly string[];
4695
+ }): IndexerOverlayQuestionRegistryApplyProposal;
4696
+ export declare function validateIndexerOverlayQuestionRegistryApplyProposal(value: unknown): IndexerOverlayQuestionRegistryApplyProposal;
4697
+ export declare function indexerOverlayQuestionDocumentDigest(content: string): string;