@c4a/context 0.7.1 → 0.7.4

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 (117) hide show
  1. package/README.md +65 -170
  2. package/README.zh-CN.md +52 -129
  3. package/docs/README.md +9 -10
  4. package/docs/README.zh-CN.md +6 -7
  5. package/docs/getting-started.md +73 -428
  6. package/docs/guides/agent-guide.md +94 -518
  7. package/docs/guides/code-indexer-skill-authoring.md +24 -13
  8. package/docs/guides/markdown-indexer-skill-authoring.md +14 -14
  9. package/docs/reference/code-extractors.md +29 -121
  10. package/docs/reference/indexer-provider-protocol.md +43 -110
  11. package/docs/reference/package-templates.md +2 -3
  12. package/docs/reference/project-api.md +52 -986
  13. package/index.d.ts +10 -8
  14. package/index.js +4739 -7103
  15. package/indexerAgentStepProtocol.d.ts +1366 -7649
  16. package/indexerArtifact.d.ts +225 -0
  17. package/indexerArtifactDependencies.d.ts +41 -39
  18. package/indexerArtifactResult.d.ts +219 -252
  19. package/indexerAuthorizedWorksetView.d.ts +368 -0
  20. package/indexerBaseQuestionAmendment.d.ts +484 -280
  21. package/indexerBenchmark.d.ts +16 -16
  22. package/indexerCandidateCompile.d.ts +66 -60
  23. package/indexerCapabilityGroupEvidence.d.ts +6 -6
  24. package/indexerCatalogFallback.d.ts +122 -128
  25. package/indexerCollectionMapping.d.ts +13 -13
  26. package/indexerContentLayers.d.ts +8 -8
  27. package/indexerContractOverlay.d.ts +10 -10
  28. package/indexerControlledInvocation.d.ts +12 -12
  29. package/indexerControlledProgram.d.ts +2467 -2797
  30. package/indexerCoreExports.d.ts +6 -6
  31. package/indexerCustomizationDraft.d.ts +3315 -2091
  32. package/indexerCustomizationLadder.d.ts +2 -2
  33. package/indexerDependencyView.d.ts +108 -108
  34. package/indexerEffectiveArtifact.d.ts +1134 -0
  35. package/indexerEvidenceAdapterAuthorityMerge.d.ts +48 -0
  36. package/indexerEvidenceAdapterResult.d.ts +52 -52
  37. package/indexerExampleDecision.d.ts +128 -128
  38. package/indexerExampleIdentity.d.ts +6 -6
  39. package/indexerGeneratedAuthoringAudit.d.ts +18 -18
  40. package/indexerIncrementalImpact.d.ts +16 -16
  41. package/indexerInspectorWorksetProjection.d.ts +6 -0
  42. package/indexerInventoryDisposition.d.ts +70 -70
  43. package/indexerLayerComposition.d.ts +2139 -373
  44. package/indexerLayoutChange.d.ts +10 -10
  45. package/indexerLayoutProposalSet.d.ts +71 -66
  46. package/indexerLayoutResolver.d.ts +53 -48
  47. package/indexerLayoutTransition.d.ts +0 -50
  48. package/indexerLifecycle.d.ts +0 -13
  49. package/indexerMainLifecycle.d.ts +10 -0
  50. package/indexerMainRunLedger.d.ts +138 -11
  51. package/indexerMainRunProtocol.d.ts +1406 -785
  52. package/indexerMainWorkset.d.ts +460 -206
  53. package/indexerMaterialGapLedger.d.ts +13 -2904
  54. package/indexerOverlayQuestionAmendment.d.ts +491 -287
  55. package/indexerOverlayQuestionApplyProposal.d.ts +1022 -614
  56. package/indexerParserCapabilityCatalog.d.ts +136 -0
  57. package/indexerParserCoordinate.d.ts +16 -16
  58. package/indexerParserDependencyIntent.d.ts +22 -0
  59. package/indexerParserExecutionPlan.d.ts +388 -0
  60. package/indexerParserFactView.d.ts +42 -22
  61. package/indexerPartitionConvergence.d.ts +0 -3
  62. package/indexerPartitionInventory.d.ts +2 -0
  63. package/indexerPartitionPlan.d.ts +101 -99
  64. package/indexerPhysicalArtifactManifest.d.ts +8 -8
  65. package/indexerPostAuthorComposition.d.ts +116 -1156
  66. package/indexerPostAuthorRunLedger.d.ts +1434 -280
  67. package/indexerPrimaryProjection.d.ts +10 -10
  68. package/indexerPrimaryResultView.d.ts +435 -0
  69. package/indexerProfileContract.d.ts +181 -181
  70. package/indexerProgramExecutionAuthorization.d.ts +12 -12
  71. package/indexerProgramRunProtocol.d.ts +2141 -2749
  72. package/indexerProjectProposal.d.ts +496 -292
  73. package/indexerProjectedArtifactFanOutAudit.d.ts +0 -3
  74. package/indexerProtocolCommon.d.ts +4 -1
  75. package/indexerProvider.d.ts +134 -218
  76. package/indexerProviderComposition.d.ts +53 -53
  77. package/indexerProviderResolution.d.ts +12 -12
  78. package/indexerProviderResolutionAction.d.ts +14 -14
  79. package/indexerProviderRouting.d.ts +923 -515
  80. package/indexerProviderSelectionProposal.d.ts +893 -485
  81. package/indexerQuestionAuthority.d.ts +46 -47
  82. package/indexerReaderTargetInventory.d.ts +8 -8
  83. package/indexerRegistry.d.ts +765 -357
  84. package/indexerRequirementConfirmation.d.ts +98 -98
  85. package/indexerRequirementLifecycle.d.ts +224 -224
  86. package/indexerResultReconciliation.d.ts +204 -5919
  87. package/indexerResultReconciliationRun.d.ts +0 -1
  88. package/indexerRunEnvelope.d.ts +20 -20
  89. package/indexerSemanticInput.d.ts +3678 -0
  90. package/indexerStructuredDeclaration.d.ts +57 -53
  91. package/indexerSubjectCatalog.d.ts +14 -14
  92. package/indexerSubjectIdentity.d.ts +2 -2
  93. package/indexerSubjectKeyAuthority.d.ts +31 -30
  94. package/indexerTemplateRendering.d.ts +64 -64
  95. package/indexerToolSnapshot.d.ts +8 -8
  96. package/package.json +1 -1
  97. package/phases.d.ts +3 -183
  98. package/codeIndexPlan.d.ts +0 -158
  99. package/indexerAuditFacts.d.ts +0 -66
  100. package/indexerAuditOverrideReadiness.d.ts +0 -27
  101. package/indexerAuditProtocol.d.ts +0 -238
  102. package/indexerAuditRevision.d.ts +0 -726
  103. package/indexerAuditRevisionActions.d.ts +0 -236
  104. package/indexerMaterialAnswer.d.ts +0 -738
  105. package/indexerMaterialAnswerActualization.d.ts +0 -91
  106. package/indexerMaterialAnswerExecutionPlan.d.ts +0 -2887
  107. package/indexerMaterialAnswerFlow.d.ts +0 -63
  108. package/indexerMaterialAnswerLayout.d.ts +0 -76
  109. package/indexerMaterialAnswerReview.d.ts +0 -217
  110. package/indexerMaterialAnswerReviewRoute.d.ts +0 -6145
  111. package/indexerMaterialAnswerRunLedger.d.ts +0 -918
  112. package/indexerMaterialAnswerRunProtocol.d.ts +0 -1253
  113. package/indexerMaterialQuestionExclusion.d.ts +0 -129
  114. package/indexerMaterialQuestionWorkset.d.ts +0 -508
  115. package/indexerPlannedMaterialAnswer.d.ts +0 -116
  116. package/indexerProfileMetricAudit.d.ts +0 -218
  117. package/indexerWorksetRead.d.ts +0 -287
package/indexerRequirementConfirmation.d.ts CHANGED
@@ -15,12 +15,12 @@ export declare const indexerRequirementChangeReportSchema: z.ZodObject<{
15
15
  ref: z.ZodString;
16
16
  digest: z.ZodString;
17
17
  }, "strict", z.ZodTypeAny, {
18
- kind: "cli-base-contract" | "verified-contract-overlay";
19
18
  ref: string;
19
+ kind: "cli-base-contract" | "verified-contract-overlay";
20
20
  digest: string;
21
21
  }, {
22
- kind: "cli-base-contract" | "verified-contract-overlay";
23
22
  ref: string;
23
+ kind: "cli-base-contract" | "verified-contract-overlay";
24
24
  digest: string;
25
25
  }>;
26
26
  contract_version: z.ZodNumber;
@@ -28,8 +28,8 @@ export declare const indexerRequirementChangeReportSchema: z.ZodObject<{
28
28
  }, "strict", z.ZodTypeAny, {
29
29
  ref: string;
30
30
  authority: {
31
- kind: "cli-base-contract" | "verified-contract-overlay";
32
31
  ref: string;
32
+ kind: "cli-base-contract" | "verified-contract-overlay";
33
33
  digest: string;
34
34
  };
35
35
  contract_version: number;
@@ -37,8 +37,8 @@ export declare const indexerRequirementChangeReportSchema: z.ZodObject<{
37
37
  }, {
38
38
  ref: string;
39
39
  authority: {
40
- kind: "cli-base-contract" | "verified-contract-overlay";
41
40
  ref: string;
41
+ kind: "cli-base-contract" | "verified-contract-overlay";
42
42
  digest: string;
43
43
  };
44
44
  contract_version: number;
@@ -47,19 +47,19 @@ export declare const indexerRequirementChangeReportSchema: z.ZodObject<{
47
47
  target_scope: z.ZodEffects<z.ZodObject<{
48
48
  targets: z.ZodArray<z.ZodEffects<z.ZodObject<{
49
49
  source_ref: z.ZodString;
50
- module_refs: z.ZodArray<z.ZodString, "many">;
50
+ module_refs: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
51
51
  }, "strict", z.ZodTypeAny, {
52
52
  source_ref: string;
53
53
  module_refs: string[];
54
54
  }, {
55
55
  source_ref: string;
56
- module_refs: string[];
56
+ module_refs?: string[] | undefined;
57
57
  }>, {
58
58
  source_ref: string;
59
59
  module_refs: string[];
60
60
  }, {
61
61
  source_ref: string;
62
- module_refs: string[];
62
+ module_refs?: string[] | undefined;
63
63
  }>, "many">;
64
64
  }, "strict", z.ZodTypeAny, {
65
65
  targets: {
@@ -69,7 +69,7 @@ export declare const indexerRequirementChangeReportSchema: z.ZodObject<{
69
69
  }, {
70
70
  targets: {
71
71
  source_ref: string;
72
- module_refs: string[];
72
+ module_refs?: string[] | undefined;
73
73
  }[];
74
74
  }>, {
75
75
  targets: {
@@ -79,25 +79,25 @@ export declare const indexerRequirementChangeReportSchema: z.ZodObject<{
79
79
  }, {
80
80
  targets: {
81
81
  source_ref: string;
82
- module_refs: string[];
82
+ module_refs?: string[] | undefined;
83
83
  }[];
84
84
  }>;
85
85
  evidence_source_scope: z.ZodEffects<z.ZodObject<{
86
86
  targets: z.ZodArray<z.ZodEffects<z.ZodObject<{
87
87
  source_ref: z.ZodString;
88
- module_refs: z.ZodArray<z.ZodString, "many">;
88
+ module_refs: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
89
89
  }, "strict", z.ZodTypeAny, {
90
90
  source_ref: string;
91
91
  module_refs: string[];
92
92
  }, {
93
93
  source_ref: string;
94
- module_refs: string[];
94
+ module_refs?: string[] | undefined;
95
95
  }>, {
96
96
  source_ref: string;
97
97
  module_refs: string[];
98
98
  }, {
99
99
  source_ref: string;
100
- module_refs: string[];
100
+ module_refs?: string[] | undefined;
101
101
  }>, "many">;
102
102
  }, "strict", z.ZodTypeAny, {
103
103
  targets: {
@@ -107,7 +107,7 @@ export declare const indexerRequirementChangeReportSchema: z.ZodObject<{
107
107
  }, {
108
108
  targets: {
109
109
  source_ref: string;
110
- module_refs: string[];
110
+ module_refs?: string[] | undefined;
111
111
  }[];
112
112
  }>, {
113
113
  targets: {
@@ -117,7 +117,7 @@ export declare const indexerRequirementChangeReportSchema: z.ZodObject<{
117
117
  }, {
118
118
  targets: {
119
119
  source_ref: string;
120
- module_refs: string[];
120
+ module_refs?: string[] | undefined;
121
121
  }[];
122
122
  }>;
123
123
  exclusions: z.ZodOptional<z.ZodArray<z.ZodObject<{
@@ -125,19 +125,19 @@ export declare const indexerRequirementChangeReportSchema: z.ZodObject<{
125
125
  scope: z.ZodEffects<z.ZodObject<{
126
126
  targets: z.ZodArray<z.ZodEffects<z.ZodObject<{
127
127
  source_ref: z.ZodString;
128
- module_refs: z.ZodArray<z.ZodString, "many">;
128
+ module_refs: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
129
129
  }, "strict", z.ZodTypeAny, {
130
130
  source_ref: string;
131
131
  module_refs: string[];
132
132
  }, {
133
133
  source_ref: string;
134
- module_refs: string[];
134
+ module_refs?: string[] | undefined;
135
135
  }>, {
136
136
  source_ref: string;
137
137
  module_refs: string[];
138
138
  }, {
139
139
  source_ref: string;
140
- module_refs: string[];
140
+ module_refs?: string[] | undefined;
141
141
  }>, "many">;
142
142
  }, "strict", z.ZodTypeAny, {
143
143
  targets: {
@@ -147,7 +147,7 @@ export declare const indexerRequirementChangeReportSchema: z.ZodObject<{
147
147
  }, {
148
148
  targets: {
149
149
  source_ref: string;
150
- module_refs: string[];
150
+ module_refs?: string[] | undefined;
151
151
  }[];
152
152
  }>, {
153
153
  targets: {
@@ -157,7 +157,7 @@ export declare const indexerRequirementChangeReportSchema: z.ZodObject<{
157
157
  }, {
158
158
  targets: {
159
159
  source_ref: string;
160
- module_refs: string[];
160
+ module_refs?: string[] | undefined;
161
161
  }[];
162
162
  }>;
163
163
  reason: z.ZodString;
@@ -175,7 +175,7 @@ export declare const indexerRequirementChangeReportSchema: z.ZodObject<{
175
175
  scope: {
176
176
  targets: {
177
177
  source_ref: string;
178
- module_refs: string[];
178
+ module_refs?: string[] | undefined;
179
179
  }[];
180
180
  };
181
181
  reason: string;
@@ -199,8 +199,8 @@ export declare const indexerRequirementChangeReportSchema: z.ZodObject<{
199
199
  questions?: {
200
200
  ref: string;
201
201
  authority: {
202
- kind: "cli-base-contract" | "verified-contract-overlay";
203
202
  ref: string;
203
+ kind: "cli-base-contract" | "verified-contract-overlay";
204
204
  digest: string;
205
205
  };
206
206
  contract_version: number;
@@ -223,20 +223,20 @@ export declare const indexerRequirementChangeReportSchema: z.ZodObject<{
223
223
  target_scope: {
224
224
  targets: {
225
225
  source_ref: string;
226
- module_refs: string[];
226
+ module_refs?: string[] | undefined;
227
227
  }[];
228
228
  };
229
229
  evidence_source_scope: {
230
230
  targets: {
231
231
  source_ref: string;
232
- module_refs: string[];
232
+ module_refs?: string[] | undefined;
233
233
  }[];
234
234
  };
235
235
  questions?: {
236
236
  ref: string;
237
237
  authority: {
238
- kind: "cli-base-contract" | "verified-contract-overlay";
239
238
  ref: string;
239
+ kind: "cli-base-contract" | "verified-contract-overlay";
240
240
  digest: string;
241
241
  };
242
242
  contract_version: number;
@@ -247,7 +247,7 @@ export declare const indexerRequirementChangeReportSchema: z.ZodObject<{
247
247
  scope: {
248
248
  targets: {
249
249
  source_ref: string;
250
- module_refs: string[];
250
+ module_refs?: string[] | undefined;
251
251
  }[];
252
252
  };
253
253
  reason: string;
@@ -271,8 +271,8 @@ export declare const indexerRequirementChangeReportSchema: z.ZodObject<{
271
271
  questions?: {
272
272
  ref: string;
273
273
  authority: {
274
- kind: "cli-base-contract" | "verified-contract-overlay";
275
274
  ref: string;
275
+ kind: "cli-base-contract" | "verified-contract-overlay";
276
276
  digest: string;
277
277
  };
278
278
  contract_version: number;
@@ -295,20 +295,20 @@ export declare const indexerRequirementChangeReportSchema: z.ZodObject<{
295
295
  target_scope: {
296
296
  targets: {
297
297
  source_ref: string;
298
- module_refs: string[];
298
+ module_refs?: string[] | undefined;
299
299
  }[];
300
300
  };
301
301
  evidence_source_scope: {
302
302
  targets: {
303
303
  source_ref: string;
304
- module_refs: string[];
304
+ module_refs?: string[] | undefined;
305
305
  }[];
306
306
  };
307
307
  questions?: {
308
308
  ref: string;
309
309
  authority: {
310
- kind: "cli-base-contract" | "verified-contract-overlay";
311
310
  ref: string;
311
+ kind: "cli-base-contract" | "verified-contract-overlay";
312
312
  digest: string;
313
313
  };
314
314
  contract_version: number;
@@ -319,7 +319,7 @@ export declare const indexerRequirementChangeReportSchema: z.ZodObject<{
319
319
  scope: {
320
320
  targets: {
321
321
  source_ref: string;
322
- module_refs: string[];
322
+ module_refs?: string[] | undefined;
323
323
  }[];
324
324
  };
325
325
  reason: string;
@@ -336,12 +336,12 @@ export declare const indexerRequirementChangeReportSchema: z.ZodObject<{
336
336
  ref: z.ZodString;
337
337
  digest: z.ZodString;
338
338
  }, "strict", z.ZodTypeAny, {
339
- kind: "cli-base-contract" | "verified-contract-overlay";
340
339
  ref: string;
340
+ kind: "cli-base-contract" | "verified-contract-overlay";
341
341
  digest: string;
342
342
  }, {
343
- kind: "cli-base-contract" | "verified-contract-overlay";
344
343
  ref: string;
344
+ kind: "cli-base-contract" | "verified-contract-overlay";
345
345
  digest: string;
346
346
  }>;
347
347
  contract_version: z.ZodNumber;
@@ -349,8 +349,8 @@ export declare const indexerRequirementChangeReportSchema: z.ZodObject<{
349
349
  }, "strict", z.ZodTypeAny, {
350
350
  ref: string;
351
351
  authority: {
352
- kind: "cli-base-contract" | "verified-contract-overlay";
353
352
  ref: string;
353
+ kind: "cli-base-contract" | "verified-contract-overlay";
354
354
  digest: string;
355
355
  };
356
356
  contract_version: number;
@@ -358,8 +358,8 @@ export declare const indexerRequirementChangeReportSchema: z.ZodObject<{
358
358
  }, {
359
359
  ref: string;
360
360
  authority: {
361
- kind: "cli-base-contract" | "verified-contract-overlay";
362
361
  ref: string;
362
+ kind: "cli-base-contract" | "verified-contract-overlay";
363
363
  digest: string;
364
364
  };
365
365
  contract_version: number;
@@ -368,19 +368,19 @@ export declare const indexerRequirementChangeReportSchema: z.ZodObject<{
368
368
  target_scope: z.ZodEffects<z.ZodObject<{
369
369
  targets: z.ZodArray<z.ZodEffects<z.ZodObject<{
370
370
  source_ref: z.ZodString;
371
- module_refs: z.ZodArray<z.ZodString, "many">;
371
+ module_refs: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
372
372
  }, "strict", z.ZodTypeAny, {
373
373
  source_ref: string;
374
374
  module_refs: string[];
375
375
  }, {
376
376
  source_ref: string;
377
- module_refs: string[];
377
+ module_refs?: string[] | undefined;
378
378
  }>, {
379
379
  source_ref: string;
380
380
  module_refs: string[];
381
381
  }, {
382
382
  source_ref: string;
383
- module_refs: string[];
383
+ module_refs?: string[] | undefined;
384
384
  }>, "many">;
385
385
  }, "strict", z.ZodTypeAny, {
386
386
  targets: {
@@ -390,7 +390,7 @@ export declare const indexerRequirementChangeReportSchema: z.ZodObject<{
390
390
  }, {
391
391
  targets: {
392
392
  source_ref: string;
393
- module_refs: string[];
393
+ module_refs?: string[] | undefined;
394
394
  }[];
395
395
  }>, {
396
396
  targets: {
@@ -400,25 +400,25 @@ export declare const indexerRequirementChangeReportSchema: z.ZodObject<{
400
400
  }, {
401
401
  targets: {
402
402
  source_ref: string;
403
- module_refs: string[];
403
+ module_refs?: string[] | undefined;
404
404
  }[];
405
405
  }>;
406
406
  evidence_source_scope: z.ZodEffects<z.ZodObject<{
407
407
  targets: z.ZodArray<z.ZodEffects<z.ZodObject<{
408
408
  source_ref: z.ZodString;
409
- module_refs: z.ZodArray<z.ZodString, "many">;
409
+ module_refs: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
410
410
  }, "strict", z.ZodTypeAny, {
411
411
  source_ref: string;
412
412
  module_refs: string[];
413
413
  }, {
414
414
  source_ref: string;
415
- module_refs: string[];
415
+ module_refs?: string[] | undefined;
416
416
  }>, {
417
417
  source_ref: string;
418
418
  module_refs: string[];
419
419
  }, {
420
420
  source_ref: string;
421
- module_refs: string[];
421
+ module_refs?: string[] | undefined;
422
422
  }>, "many">;
423
423
  }, "strict", z.ZodTypeAny, {
424
424
  targets: {
@@ -428,7 +428,7 @@ export declare const indexerRequirementChangeReportSchema: z.ZodObject<{
428
428
  }, {
429
429
  targets: {
430
430
  source_ref: string;
431
- module_refs: string[];
431
+ module_refs?: string[] | undefined;
432
432
  }[];
433
433
  }>, {
434
434
  targets: {
@@ -438,7 +438,7 @@ export declare const indexerRequirementChangeReportSchema: z.ZodObject<{
438
438
  }, {
439
439
  targets: {
440
440
  source_ref: string;
441
- module_refs: string[];
441
+ module_refs?: string[] | undefined;
442
442
  }[];
443
443
  }>;
444
444
  exclusions: z.ZodOptional<z.ZodArray<z.ZodObject<{
@@ -446,19 +446,19 @@ export declare const indexerRequirementChangeReportSchema: z.ZodObject<{
446
446
  scope: z.ZodEffects<z.ZodObject<{
447
447
  targets: z.ZodArray<z.ZodEffects<z.ZodObject<{
448
448
  source_ref: z.ZodString;
449
- module_refs: z.ZodArray<z.ZodString, "many">;
449
+ module_refs: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
450
450
  }, "strict", z.ZodTypeAny, {
451
451
  source_ref: string;
452
452
  module_refs: string[];
453
453
  }, {
454
454
  source_ref: string;
455
- module_refs: string[];
455
+ module_refs?: string[] | undefined;
456
456
  }>, {
457
457
  source_ref: string;
458
458
  module_refs: string[];
459
459
  }, {
460
460
  source_ref: string;
461
- module_refs: string[];
461
+ module_refs?: string[] | undefined;
462
462
  }>, "many">;
463
463
  }, "strict", z.ZodTypeAny, {
464
464
  targets: {
@@ -468,7 +468,7 @@ export declare const indexerRequirementChangeReportSchema: z.ZodObject<{
468
468
  }, {
469
469
  targets: {
470
470
  source_ref: string;
471
- module_refs: string[];
471
+ module_refs?: string[] | undefined;
472
472
  }[];
473
473
  }>, {
474
474
  targets: {
@@ -478,7 +478,7 @@ export declare const indexerRequirementChangeReportSchema: z.ZodObject<{
478
478
  }, {
479
479
  targets: {
480
480
  source_ref: string;
481
- module_refs: string[];
481
+ module_refs?: string[] | undefined;
482
482
  }[];
483
483
  }>;
484
484
  reason: z.ZodString;
@@ -496,7 +496,7 @@ export declare const indexerRequirementChangeReportSchema: z.ZodObject<{
496
496
  scope: {
497
497
  targets: {
498
498
  source_ref: string;
499
- module_refs: string[];
499
+ module_refs?: string[] | undefined;
500
500
  }[];
501
501
  };
502
502
  reason: string;
@@ -520,8 +520,8 @@ export declare const indexerRequirementChangeReportSchema: z.ZodObject<{
520
520
  questions?: {
521
521
  ref: string;
522
522
  authority: {
523
- kind: "cli-base-contract" | "verified-contract-overlay";
524
523
  ref: string;
524
+ kind: "cli-base-contract" | "verified-contract-overlay";
525
525
  digest: string;
526
526
  };
527
527
  contract_version: number;
@@ -544,20 +544,20 @@ export declare const indexerRequirementChangeReportSchema: z.ZodObject<{
544
544
  target_scope: {
545
545
  targets: {
546
546
  source_ref: string;
547
- module_refs: string[];
547
+ module_refs?: string[] | undefined;
548
548
  }[];
549
549
  };
550
550
  evidence_source_scope: {
551
551
  targets: {
552
552
  source_ref: string;
553
- module_refs: string[];
553
+ module_refs?: string[] | undefined;
554
554
  }[];
555
555
  };
556
556
  questions?: {
557
557
  ref: string;
558
558
  authority: {
559
- kind: "cli-base-contract" | "verified-contract-overlay";
560
559
  ref: string;
560
+ kind: "cli-base-contract" | "verified-contract-overlay";
561
561
  digest: string;
562
562
  };
563
563
  contract_version: number;
@@ -568,7 +568,7 @@ export declare const indexerRequirementChangeReportSchema: z.ZodObject<{
568
568
  scope: {
569
569
  targets: {
570
570
  source_ref: string;
571
- module_refs: string[];
571
+ module_refs?: string[] | undefined;
572
572
  }[];
573
573
  };
574
574
  reason: string;
@@ -592,8 +592,8 @@ export declare const indexerRequirementChangeReportSchema: z.ZodObject<{
592
592
  questions?: {
593
593
  ref: string;
594
594
  authority: {
595
- kind: "cli-base-contract" | "verified-contract-overlay";
596
595
  ref: string;
596
+ kind: "cli-base-contract" | "verified-contract-overlay";
597
597
  digest: string;
598
598
  };
599
599
  contract_version: number;
@@ -616,20 +616,20 @@ export declare const indexerRequirementChangeReportSchema: z.ZodObject<{
616
616
  target_scope: {
617
617
  targets: {
618
618
  source_ref: string;
619
- module_refs: string[];
619
+ module_refs?: string[] | undefined;
620
620
  }[];
621
621
  };
622
622
  evidence_source_scope: {
623
623
  targets: {
624
624
  source_ref: string;
625
- module_refs: string[];
625
+ module_refs?: string[] | undefined;
626
626
  }[];
627
627
  };
628
628
  questions?: {
629
629
  ref: string;
630
630
  authority: {
631
- kind: "cli-base-contract" | "verified-contract-overlay";
632
631
  ref: string;
632
+ kind: "cli-base-contract" | "verified-contract-overlay";
633
633
  digest: string;
634
634
  };
635
635
  contract_version: number;
@@ -640,7 +640,7 @@ export declare const indexerRequirementChangeReportSchema: z.ZodObject<{
640
640
  scope: {
641
641
  targets: {
642
642
  source_ref: string;
643
- module_refs: string[];
643
+ module_refs?: string[] | undefined;
644
644
  }[];
645
645
  };
646
646
  reason: string;
@@ -666,12 +666,12 @@ export declare const indexerRequirementChangeReportSchema: z.ZodObject<{
666
666
  }, "strict", z.ZodTypeAny, {
667
667
  minimumItems: number;
668
668
  minimumDistinctSources: number;
669
- acceptedKinds: ("contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
669
+ acceptedKinds: ("code" | "contract" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
670
670
  provenanceRequired: boolean;
671
671
  }, {
672
672
  minimumItems: number;
673
673
  minimumDistinctSources: number;
674
- acceptedKinds: ("contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
674
+ acceptedKinds: ("code" | "contract" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
675
675
  provenanceRequired: boolean;
676
676
  }>;
677
677
  }, "strict", z.ZodTypeAny, {
@@ -679,7 +679,7 @@ export declare const indexerRequirementChangeReportSchema: z.ZodObject<{
679
679
  evidence: {
680
680
  minimumItems: number;
681
681
  minimumDistinctSources: number;
682
- acceptedKinds: ("contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
682
+ acceptedKinds: ("code" | "contract" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
683
683
  provenanceRequired: boolean;
684
684
  };
685
685
  coverageDomain: string;
@@ -693,7 +693,7 @@ export declare const indexerRequirementChangeReportSchema: z.ZodObject<{
693
693
  evidence: {
694
694
  minimumItems: number;
695
695
  minimumDistinctSources: number;
696
- acceptedKinds: ("contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
696
+ acceptedKinds: ("code" | "contract" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
697
697
  provenanceRequired: boolean;
698
698
  };
699
699
  coverageDomain: string;
@@ -719,12 +719,12 @@ export declare const indexerRequirementChangeReportSchema: z.ZodObject<{
719
719
  }, "strict", z.ZodTypeAny, {
720
720
  minimumItems: number;
721
721
  minimumDistinctSources: number;
722
- acceptedKinds: ("contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
722
+ acceptedKinds: ("code" | "contract" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
723
723
  provenanceRequired: boolean;
724
724
  }, {
725
725
  minimumItems: number;
726
726
  minimumDistinctSources: number;
727
- acceptedKinds: ("contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
727
+ acceptedKinds: ("code" | "contract" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
728
728
  provenanceRequired: boolean;
729
729
  }>;
730
730
  }, "strict", z.ZodTypeAny, {
@@ -732,7 +732,7 @@ export declare const indexerRequirementChangeReportSchema: z.ZodObject<{
732
732
  evidence: {
733
733
  minimumItems: number;
734
734
  minimumDistinctSources: number;
735
- acceptedKinds: ("contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
735
+ acceptedKinds: ("code" | "contract" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
736
736
  provenanceRequired: boolean;
737
737
  };
738
738
  coverageDomain: string;
@@ -746,7 +746,7 @@ export declare const indexerRequirementChangeReportSchema: z.ZodObject<{
746
746
  evidence: {
747
747
  minimumItems: number;
748
748
  minimumDistinctSources: number;
749
- acceptedKinds: ("contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
749
+ acceptedKinds: ("code" | "contract" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
750
750
  provenanceRequired: boolean;
751
751
  };
752
752
  coverageDomain: string;
@@ -764,7 +764,7 @@ export declare const indexerRequirementChangeReportSchema: z.ZodObject<{
764
764
  evidence: {
765
765
  minimumItems: number;
766
766
  minimumDistinctSources: number;
767
- acceptedKinds: ("contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
767
+ acceptedKinds: ("code" | "contract" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
768
768
  provenanceRequired: boolean;
769
769
  };
770
770
  coverageDomain: string;
@@ -779,7 +779,7 @@ export declare const indexerRequirementChangeReportSchema: z.ZodObject<{
779
779
  evidence: {
780
780
  minimumItems: number;
781
781
  minimumDistinctSources: number;
782
- acceptedKinds: ("contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
782
+ acceptedKinds: ("code" | "contract" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
783
783
  provenanceRequired: boolean;
784
784
  };
785
785
  coverageDomain: string;
@@ -797,7 +797,7 @@ export declare const indexerRequirementChangeReportSchema: z.ZodObject<{
797
797
  evidence: {
798
798
  minimumItems: number;
799
799
  minimumDistinctSources: number;
800
- acceptedKinds: ("contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
800
+ acceptedKinds: ("code" | "contract" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
801
801
  provenanceRequired: boolean;
802
802
  };
803
803
  coverageDomain: string;
@@ -812,7 +812,7 @@ export declare const indexerRequirementChangeReportSchema: z.ZodObject<{
812
812
  evidence: {
813
813
  minimumItems: number;
814
814
  minimumDistinctSources: number;
815
- acceptedKinds: ("contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
815
+ acceptedKinds: ("code" | "contract" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
816
816
  provenanceRequired: boolean;
817
817
  };
818
818
  coverageDomain: string;
@@ -837,12 +837,12 @@ export declare const indexerRequirementChangeReportSchema: z.ZodObject<{
837
837
  detail: z.ZodString;
838
838
  }, "strict", z.ZodTypeAny, {
839
839
  path: string;
840
- area: "exclusions" | "question" | "target-scope" | "reader-goals" | "coverage-domain" | "question-semantic" | "question-selector" | "question-domain" | "question-evidence";
840
+ area: "exclusions" | "target-scope" | "reader-goals" | "coverage-domain" | "question" | "question-semantic" | "question-selector" | "question-domain" | "question-evidence";
841
841
  relation: "strengthening" | "contraction" | "incomparable";
842
842
  detail: string;
843
843
  }, {
844
844
  path: string;
845
- area: "exclusions" | "question" | "target-scope" | "reader-goals" | "coverage-domain" | "question-semantic" | "question-selector" | "question-domain" | "question-evidence";
845
+ area: "exclusions" | "target-scope" | "reader-goals" | "coverage-domain" | "question" | "question-semantic" | "question-selector" | "question-domain" | "question-evidence";
846
846
  relation: "strengthening" | "contraction" | "incomparable";
847
847
  detail: string;
848
848
  }>, "many">;
@@ -854,7 +854,7 @@ export declare const indexerRequirementChangeReportSchema: z.ZodObject<{
854
854
  requiresHumanConfirmation: boolean;
855
855
  changes: {
856
856
  path: string;
857
- area: "exclusions" | "question" | "target-scope" | "reader-goals" | "coverage-domain" | "question-semantic" | "question-selector" | "question-domain" | "question-evidence";
857
+ area: "exclusions" | "target-scope" | "reader-goals" | "coverage-domain" | "question" | "question-semantic" | "question-selector" | "question-domain" | "question-evidence";
858
858
  relation: "strengthening" | "contraction" | "incomparable";
859
859
  detail: string;
860
860
  }[];
@@ -866,7 +866,7 @@ export declare const indexerRequirementChangeReportSchema: z.ZodObject<{
866
866
  requiresHumanConfirmation: boolean;
867
867
  changes: {
868
868
  path: string;
869
- area: "exclusions" | "question" | "target-scope" | "reader-goals" | "coverage-domain" | "question-semantic" | "question-selector" | "question-domain" | "question-evidence";
869
+ area: "exclusions" | "target-scope" | "reader-goals" | "coverage-domain" | "question" | "question-semantic" | "question-selector" | "question-domain" | "question-evidence";
870
870
  relation: "strengthening" | "contraction" | "incomparable";
871
871
  detail: string;
872
872
  }[];
@@ -896,8 +896,8 @@ export declare const indexerRequirementChangeReportSchema: z.ZodObject<{
896
896
  questions?: {
897
897
  ref: string;
898
898
  authority: {
899
- kind: "cli-base-contract" | "verified-contract-overlay";
900
899
  ref: string;
900
+ kind: "cli-base-contract" | "verified-contract-overlay";
901
901
  digest: string;
902
902
  };
903
903
  contract_version: number;
@@ -933,8 +933,8 @@ export declare const indexerRequirementChangeReportSchema: z.ZodObject<{
933
933
  questions?: {
934
934
  ref: string;
935
935
  authority: {
936
- kind: "cli-base-contract" | "verified-contract-overlay";
937
936
  ref: string;
937
+ kind: "cli-base-contract" | "verified-contract-overlay";
938
938
  digest: string;
939
939
  };
940
940
  contract_version: number;
@@ -960,7 +960,7 @@ export declare const indexerRequirementChangeReportSchema: z.ZodObject<{
960
960
  evidence: {
961
961
  minimumItems: number;
962
962
  minimumDistinctSources: number;
963
- acceptedKinds: ("contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
963
+ acceptedKinds: ("code" | "contract" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
964
964
  provenanceRequired: boolean;
965
965
  };
966
966
  coverageDomain: string;
@@ -975,7 +975,7 @@ export declare const indexerRequirementChangeReportSchema: z.ZodObject<{
975
975
  evidence: {
976
976
  minimumItems: number;
977
977
  minimumDistinctSources: number;
978
- acceptedKinds: ("contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
978
+ acceptedKinds: ("code" | "contract" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
979
979
  provenanceRequired: boolean;
980
980
  };
981
981
  coverageDomain: string;
@@ -995,7 +995,7 @@ export declare const indexerRequirementChangeReportSchema: z.ZodObject<{
995
995
  requiresHumanConfirmation: boolean;
996
996
  changes: {
997
997
  path: string;
998
- area: "exclusions" | "question" | "target-scope" | "reader-goals" | "coverage-domain" | "question-semantic" | "question-selector" | "question-domain" | "question-evidence";
998
+ area: "exclusions" | "target-scope" | "reader-goals" | "coverage-domain" | "question" | "question-semantic" | "question-selector" | "question-domain" | "question-evidence";
999
999
  relation: "strengthening" | "contraction" | "incomparable";
1000
1000
  detail: string;
1001
1001
  }[];
@@ -1012,20 +1012,20 @@ export declare const indexerRequirementChangeReportSchema: z.ZodObject<{
1012
1012
  target_scope: {
1013
1013
  targets: {
1014
1014
  source_ref: string;
1015
- module_refs: string[];
1015
+ module_refs?: string[] | undefined;
1016
1016
  }[];
1017
1017
  };
1018
1018
  evidence_source_scope: {
1019
1019
  targets: {
1020
1020
  source_ref: string;
1021
- module_refs: string[];
1021
+ module_refs?: string[] | undefined;
1022
1022
  }[];
1023
1023
  };
1024
1024
  questions?: {
1025
1025
  ref: string;
1026
1026
  authority: {
1027
- kind: "cli-base-contract" | "verified-contract-overlay";
1028
1027
  ref: string;
1028
+ kind: "cli-base-contract" | "verified-contract-overlay";
1029
1029
  digest: string;
1030
1030
  };
1031
1031
  contract_version: number;
@@ -1036,7 +1036,7 @@ export declare const indexerRequirementChangeReportSchema: z.ZodObject<{
1036
1036
  scope: {
1037
1037
  targets: {
1038
1038
  source_ref: string;
1039
- module_refs: string[];
1039
+ module_refs?: string[] | undefined;
1040
1040
  }[];
1041
1041
  };
1042
1042
  reason: string;
@@ -1049,20 +1049,20 @@ export declare const indexerRequirementChangeReportSchema: z.ZodObject<{
1049
1049
  target_scope: {
1050
1050
  targets: {
1051
1051
  source_ref: string;
1052
- module_refs: string[];
1052
+ module_refs?: string[] | undefined;
1053
1053
  }[];
1054
1054
  };
1055
1055
  evidence_source_scope: {
1056
1056
  targets: {
1057
1057
  source_ref: string;
1058
- module_refs: string[];
1058
+ module_refs?: string[] | undefined;
1059
1059
  }[];
1060
1060
  };
1061
1061
  questions?: {
1062
1062
  ref: string;
1063
1063
  authority: {
1064
- kind: "cli-base-contract" | "verified-contract-overlay";
1065
1064
  ref: string;
1065
+ kind: "cli-base-contract" | "verified-contract-overlay";
1066
1066
  digest: string;
1067
1067
  };
1068
1068
  contract_version: number;
@@ -1073,7 +1073,7 @@ export declare const indexerRequirementChangeReportSchema: z.ZodObject<{
1073
1073
  scope: {
1074
1074
  targets: {
1075
1075
  source_ref: string;
1076
- module_refs: string[];
1076
+ module_refs?: string[] | undefined;
1077
1077
  }[];
1078
1078
  };
1079
1079
  reason: string;
@@ -1088,7 +1088,7 @@ export declare const indexerRequirementChangeReportSchema: z.ZodObject<{
1088
1088
  evidence: {
1089
1089
  minimumItems: number;
1090
1090
  minimumDistinctSources: number;
1091
- acceptedKinds: ("contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
1091
+ acceptedKinds: ("code" | "contract" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
1092
1092
  provenanceRequired: boolean;
1093
1093
  };
1094
1094
  coverageDomain: string;
@@ -1103,7 +1103,7 @@ export declare const indexerRequirementChangeReportSchema: z.ZodObject<{
1103
1103
  evidence: {
1104
1104
  minimumItems: number;
1105
1105
  minimumDistinctSources: number;
1106
- acceptedKinds: ("contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
1106
+ acceptedKinds: ("code" | "contract" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
1107
1107
  provenanceRequired: boolean;
1108
1108
  };
1109
1109
  coverageDomain: string;
@@ -1123,7 +1123,7 @@ export declare const indexerRequirementChangeReportSchema: z.ZodObject<{
1123
1123
  requiresHumanConfirmation: boolean;
1124
1124
  changes: {
1125
1125
  path: string;
1126
- area: "exclusions" | "question" | "target-scope" | "reader-goals" | "coverage-domain" | "question-semantic" | "question-selector" | "question-domain" | "question-evidence";
1126
+ area: "exclusions" | "target-scope" | "reader-goals" | "coverage-domain" | "question" | "question-semantic" | "question-selector" | "question-domain" | "question-evidence";
1127
1127
  relation: "strengthening" | "contraction" | "incomparable";
1128
1128
  detail: string;
1129
1129
  }[];
@@ -1144,30 +1144,30 @@ export declare const indexerRequirementChangeConfirmationSchema: z.ZodObject<{
1144
1144
  confirmed_at: z.ZodString;
1145
1145
  confirmation_digest: z.ZodString;
1146
1146
  }, "strict", z.ZodTypeAny, {
1147
- protocol: "context.indexer.requirement-change-confirmation/v1";
1148
1147
  authority: "managed" | "human";
1148
+ protocol: "context.indexer.requirement-change-confirmation/v1";
1149
1149
  project_ref: string;
1150
1150
  report_digest: string;
1151
- confirmed_by: string;
1152
- confirmed_at: string;
1153
1151
  old_requirement_digest: string;
1154
1152
  new_requirement_digest: string;
1155
1153
  comparison_digest: string;
1156
1154
  gate: "confirm-index-requirements" | "confirm-index-requirement-contraction";
1157
1155
  non_delegable: boolean;
1156
+ confirmed_by: string;
1157
+ confirmed_at: string;
1158
1158
  confirmation_digest: string;
1159
1159
  }, {
1160
- protocol: "context.indexer.requirement-change-confirmation/v1";
1161
1160
  authority: "managed" | "human";
1161
+ protocol: "context.indexer.requirement-change-confirmation/v1";
1162
1162
  project_ref: string;
1163
1163
  report_digest: string;
1164
- confirmed_by: string;
1165
- confirmed_at: string;
1166
1164
  old_requirement_digest: string;
1167
1165
  new_requirement_digest: string;
1168
1166
  comparison_digest: string;
1169
1167
  gate: "confirm-index-requirements" | "confirm-index-requirement-contraction";
1170
1168
  non_delegable: boolean;
1169
+ confirmed_by: string;
1170
+ confirmed_at: string;
1171
1171
  confirmation_digest: string;
1172
1172
  }>;
1173
1173
  export type IndexerRequirementChangeReport = z.infer<typeof indexerRequirementChangeReportSchema>;