@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.
- package/README.md +65 -170
- package/README.zh-CN.md +52 -129
- package/docs/README.md +9 -10
- package/docs/README.zh-CN.md +6 -7
- package/docs/getting-started.md +73 -428
- package/docs/guides/agent-guide.md +94 -518
- package/docs/guides/code-indexer-skill-authoring.md +24 -13
- package/docs/guides/markdown-indexer-skill-authoring.md +14 -14
- package/docs/reference/code-extractors.md +29 -121
- package/docs/reference/indexer-provider-protocol.md +43 -110
- package/docs/reference/package-templates.md +2 -3
- package/docs/reference/project-api.md +52 -986
- package/index.d.ts +10 -8
- package/index.js +4739 -7103
- package/indexerAgentStepProtocol.d.ts +1366 -7649
- package/indexerArtifact.d.ts +225 -0
- package/indexerArtifactDependencies.d.ts +41 -39
- package/indexerArtifactResult.d.ts +219 -252
- package/indexerAuthorizedWorksetView.d.ts +368 -0
- package/indexerBaseQuestionAmendment.d.ts +484 -280
- package/indexerBenchmark.d.ts +16 -16
- package/indexerCandidateCompile.d.ts +66 -60
- package/indexerCapabilityGroupEvidence.d.ts +6 -6
- package/indexerCatalogFallback.d.ts +122 -128
- package/indexerCollectionMapping.d.ts +13 -13
- package/indexerContentLayers.d.ts +8 -8
- package/indexerContractOverlay.d.ts +10 -10
- package/indexerControlledInvocation.d.ts +12 -12
- package/indexerControlledProgram.d.ts +2467 -2797
- package/indexerCoreExports.d.ts +6 -6
- package/indexerCustomizationDraft.d.ts +3315 -2091
- package/indexerCustomizationLadder.d.ts +2 -2
- package/indexerDependencyView.d.ts +108 -108
- package/indexerEffectiveArtifact.d.ts +1134 -0
- package/indexerEvidenceAdapterAuthorityMerge.d.ts +48 -0
- package/indexerEvidenceAdapterResult.d.ts +52 -52
- package/indexerExampleDecision.d.ts +128 -128
- package/indexerExampleIdentity.d.ts +6 -6
- package/indexerGeneratedAuthoringAudit.d.ts +18 -18
- package/indexerIncrementalImpact.d.ts +16 -16
- package/indexerInspectorWorksetProjection.d.ts +6 -0
- package/indexerInventoryDisposition.d.ts +70 -70
- package/indexerLayerComposition.d.ts +2139 -373
- package/indexerLayoutChange.d.ts +10 -10
- package/indexerLayoutProposalSet.d.ts +71 -66
- package/indexerLayoutResolver.d.ts +53 -48
- package/indexerLayoutTransition.d.ts +0 -50
- package/indexerLifecycle.d.ts +0 -13
- package/indexerMainLifecycle.d.ts +10 -0
- package/indexerMainRunLedger.d.ts +138 -11
- package/indexerMainRunProtocol.d.ts +1406 -785
- package/indexerMainWorkset.d.ts +460 -206
- package/indexerMaterialGapLedger.d.ts +13 -2904
- package/indexerOverlayQuestionAmendment.d.ts +491 -287
- package/indexerOverlayQuestionApplyProposal.d.ts +1022 -614
- package/indexerParserCapabilityCatalog.d.ts +136 -0
- package/indexerParserCoordinate.d.ts +16 -16
- package/indexerParserDependencyIntent.d.ts +22 -0
- package/indexerParserExecutionPlan.d.ts +388 -0
- package/indexerParserFactView.d.ts +42 -22
- package/indexerPartitionConvergence.d.ts +0 -3
- package/indexerPartitionInventory.d.ts +2 -0
- package/indexerPartitionPlan.d.ts +101 -99
- package/indexerPhysicalArtifactManifest.d.ts +8 -8
- package/indexerPostAuthorComposition.d.ts +116 -1156
- package/indexerPostAuthorRunLedger.d.ts +1434 -280
- package/indexerPrimaryProjection.d.ts +10 -10
- package/indexerPrimaryResultView.d.ts +435 -0
- package/indexerProfileContract.d.ts +181 -181
- package/indexerProgramExecutionAuthorization.d.ts +12 -12
- package/indexerProgramRunProtocol.d.ts +2141 -2749
- package/indexerProjectProposal.d.ts +496 -292
- package/indexerProjectedArtifactFanOutAudit.d.ts +0 -3
- package/indexerProtocolCommon.d.ts +4 -1
- package/indexerProvider.d.ts +134 -218
- package/indexerProviderComposition.d.ts +53 -53
- package/indexerProviderResolution.d.ts +12 -12
- package/indexerProviderResolutionAction.d.ts +14 -14
- package/indexerProviderRouting.d.ts +923 -515
- package/indexerProviderSelectionProposal.d.ts +893 -485
- package/indexerQuestionAuthority.d.ts +46 -47
- package/indexerReaderTargetInventory.d.ts +8 -8
- package/indexerRegistry.d.ts +765 -357
- package/indexerRequirementConfirmation.d.ts +98 -98
- package/indexerRequirementLifecycle.d.ts +224 -224
- package/indexerResultReconciliation.d.ts +204 -5919
- package/indexerResultReconciliationRun.d.ts +0 -1
- package/indexerRunEnvelope.d.ts +20 -20
- package/indexerSemanticInput.d.ts +3678 -0
- package/indexerStructuredDeclaration.d.ts +57 -53
- package/indexerSubjectCatalog.d.ts +14 -14
- package/indexerSubjectIdentity.d.ts +2 -2
- package/indexerSubjectKeyAuthority.d.ts +31 -30
- package/indexerTemplateRendering.d.ts +64 -64
- package/indexerToolSnapshot.d.ts +8 -8
- package/package.json +1 -1
- package/phases.d.ts +3 -183
- package/codeIndexPlan.d.ts +0 -158
- package/indexerAuditFacts.d.ts +0 -66
- package/indexerAuditOverrideReadiness.d.ts +0 -27
- package/indexerAuditProtocol.d.ts +0 -238
- package/indexerAuditRevision.d.ts +0 -726
- package/indexerAuditRevisionActions.d.ts +0 -236
- package/indexerMaterialAnswer.d.ts +0 -738
- package/indexerMaterialAnswerActualization.d.ts +0 -91
- package/indexerMaterialAnswerExecutionPlan.d.ts +0 -2887
- package/indexerMaterialAnswerFlow.d.ts +0 -63
- package/indexerMaterialAnswerLayout.d.ts +0 -76
- package/indexerMaterialAnswerReview.d.ts +0 -217
- package/indexerMaterialAnswerReviewRoute.d.ts +0 -6145
- package/indexerMaterialAnswerRunLedger.d.ts +0 -918
- package/indexerMaterialAnswerRunProtocol.d.ts +0 -1253
- package/indexerMaterialQuestionExclusion.d.ts +0 -129
- package/indexerMaterialQuestionWorkset.d.ts +0 -508
- package/indexerPlannedMaterialAnswer.d.ts +0 -116
- package/indexerProfileMetricAudit.d.ts +0 -218
- package/indexerWorksetRead.d.ts +0 -287
|
@@ -23,7 +23,7 @@ declare const requirementSummarySchema: z.ZodObject<{
|
|
|
23
23
|
coverage_domain: string;
|
|
24
24
|
obligation: "required" | "optional" | "out-of-scope";
|
|
25
25
|
}[];
|
|
26
|
-
evidence_kinds: ("
|
|
26
|
+
evidence_kinds: ("code" | "contract" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
|
|
27
27
|
scenario: string;
|
|
28
28
|
target_source_refs: string[];
|
|
29
29
|
evidence_source_refs: string[];
|
|
@@ -33,7 +33,7 @@ declare const requirementSummarySchema: z.ZodObject<{
|
|
|
33
33
|
coverage_domain: string;
|
|
34
34
|
obligation: "required" | "optional" | "out-of-scope";
|
|
35
35
|
}[];
|
|
36
|
-
evidence_kinds: ("
|
|
36
|
+
evidence_kinds: ("code" | "contract" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
|
|
37
37
|
scenario: string;
|
|
38
38
|
target_source_refs: string[];
|
|
39
39
|
evidence_source_refs: string[];
|
|
@@ -52,12 +52,12 @@ export declare const indexerRequirementInspectionInputSchema: z.ZodObject<{
|
|
|
52
52
|
ref: z.ZodString;
|
|
53
53
|
digest: z.ZodString;
|
|
54
54
|
}, "strict", z.ZodTypeAny, {
|
|
55
|
-
kind: "cli-base-contract" | "verified-contract-overlay";
|
|
56
55
|
ref: string;
|
|
56
|
+
kind: "cli-base-contract" | "verified-contract-overlay";
|
|
57
57
|
digest: string;
|
|
58
58
|
}, {
|
|
59
|
-
kind: "cli-base-contract" | "verified-contract-overlay";
|
|
60
59
|
ref: string;
|
|
60
|
+
kind: "cli-base-contract" | "verified-contract-overlay";
|
|
61
61
|
digest: string;
|
|
62
62
|
}>;
|
|
63
63
|
contract_version: z.ZodNumber;
|
|
@@ -65,8 +65,8 @@ export declare const indexerRequirementInspectionInputSchema: z.ZodObject<{
|
|
|
65
65
|
}, "strict", z.ZodTypeAny, {
|
|
66
66
|
ref: string;
|
|
67
67
|
authority: {
|
|
68
|
-
kind: "cli-base-contract" | "verified-contract-overlay";
|
|
69
68
|
ref: string;
|
|
69
|
+
kind: "cli-base-contract" | "verified-contract-overlay";
|
|
70
70
|
digest: string;
|
|
71
71
|
};
|
|
72
72
|
contract_version: number;
|
|
@@ -74,8 +74,8 @@ export declare const indexerRequirementInspectionInputSchema: z.ZodObject<{
|
|
|
74
74
|
}, {
|
|
75
75
|
ref: string;
|
|
76
76
|
authority: {
|
|
77
|
-
kind: "cli-base-contract" | "verified-contract-overlay";
|
|
78
77
|
ref: string;
|
|
78
|
+
kind: "cli-base-contract" | "verified-contract-overlay";
|
|
79
79
|
digest: string;
|
|
80
80
|
};
|
|
81
81
|
contract_version: number;
|
|
@@ -84,19 +84,19 @@ export declare const indexerRequirementInspectionInputSchema: z.ZodObject<{
|
|
|
84
84
|
target_scope: z.ZodEffects<z.ZodObject<{
|
|
85
85
|
targets: z.ZodArray<z.ZodEffects<z.ZodObject<{
|
|
86
86
|
source_ref: z.ZodString;
|
|
87
|
-
module_refs: z.ZodArray<z.ZodString, "many"
|
|
87
|
+
module_refs: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
|
|
88
88
|
}, "strict", z.ZodTypeAny, {
|
|
89
89
|
source_ref: string;
|
|
90
90
|
module_refs: string[];
|
|
91
91
|
}, {
|
|
92
92
|
source_ref: string;
|
|
93
|
-
module_refs
|
|
93
|
+
module_refs?: string[] | undefined;
|
|
94
94
|
}>, {
|
|
95
95
|
source_ref: string;
|
|
96
96
|
module_refs: string[];
|
|
97
97
|
}, {
|
|
98
98
|
source_ref: string;
|
|
99
|
-
module_refs
|
|
99
|
+
module_refs?: string[] | undefined;
|
|
100
100
|
}>, "many">;
|
|
101
101
|
}, "strict", z.ZodTypeAny, {
|
|
102
102
|
targets: {
|
|
@@ -106,7 +106,7 @@ export declare const indexerRequirementInspectionInputSchema: z.ZodObject<{
|
|
|
106
106
|
}, {
|
|
107
107
|
targets: {
|
|
108
108
|
source_ref: string;
|
|
109
|
-
module_refs
|
|
109
|
+
module_refs?: string[] | undefined;
|
|
110
110
|
}[];
|
|
111
111
|
}>, {
|
|
112
112
|
targets: {
|
|
@@ -116,25 +116,25 @@ export declare const indexerRequirementInspectionInputSchema: z.ZodObject<{
|
|
|
116
116
|
}, {
|
|
117
117
|
targets: {
|
|
118
118
|
source_ref: string;
|
|
119
|
-
module_refs
|
|
119
|
+
module_refs?: string[] | undefined;
|
|
120
120
|
}[];
|
|
121
121
|
}>;
|
|
122
122
|
evidence_source_scope: z.ZodEffects<z.ZodObject<{
|
|
123
123
|
targets: z.ZodArray<z.ZodEffects<z.ZodObject<{
|
|
124
124
|
source_ref: z.ZodString;
|
|
125
|
-
module_refs: z.ZodArray<z.ZodString, "many"
|
|
125
|
+
module_refs: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
|
|
126
126
|
}, "strict", z.ZodTypeAny, {
|
|
127
127
|
source_ref: string;
|
|
128
128
|
module_refs: string[];
|
|
129
129
|
}, {
|
|
130
130
|
source_ref: string;
|
|
131
|
-
module_refs
|
|
131
|
+
module_refs?: string[] | undefined;
|
|
132
132
|
}>, {
|
|
133
133
|
source_ref: string;
|
|
134
134
|
module_refs: string[];
|
|
135
135
|
}, {
|
|
136
136
|
source_ref: string;
|
|
137
|
-
module_refs
|
|
137
|
+
module_refs?: string[] | undefined;
|
|
138
138
|
}>, "many">;
|
|
139
139
|
}, "strict", z.ZodTypeAny, {
|
|
140
140
|
targets: {
|
|
@@ -144,7 +144,7 @@ export declare const indexerRequirementInspectionInputSchema: z.ZodObject<{
|
|
|
144
144
|
}, {
|
|
145
145
|
targets: {
|
|
146
146
|
source_ref: string;
|
|
147
|
-
module_refs
|
|
147
|
+
module_refs?: string[] | undefined;
|
|
148
148
|
}[];
|
|
149
149
|
}>, {
|
|
150
150
|
targets: {
|
|
@@ -154,7 +154,7 @@ export declare const indexerRequirementInspectionInputSchema: z.ZodObject<{
|
|
|
154
154
|
}, {
|
|
155
155
|
targets: {
|
|
156
156
|
source_ref: string;
|
|
157
|
-
module_refs
|
|
157
|
+
module_refs?: string[] | undefined;
|
|
158
158
|
}[];
|
|
159
159
|
}>;
|
|
160
160
|
exclusions: z.ZodOptional<z.ZodArray<z.ZodObject<{
|
|
@@ -162,19 +162,19 @@ export declare const indexerRequirementInspectionInputSchema: z.ZodObject<{
|
|
|
162
162
|
scope: z.ZodEffects<z.ZodObject<{
|
|
163
163
|
targets: z.ZodArray<z.ZodEffects<z.ZodObject<{
|
|
164
164
|
source_ref: z.ZodString;
|
|
165
|
-
module_refs: z.ZodArray<z.ZodString, "many"
|
|
165
|
+
module_refs: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
|
|
166
166
|
}, "strict", z.ZodTypeAny, {
|
|
167
167
|
source_ref: string;
|
|
168
168
|
module_refs: string[];
|
|
169
169
|
}, {
|
|
170
170
|
source_ref: string;
|
|
171
|
-
module_refs
|
|
171
|
+
module_refs?: string[] | undefined;
|
|
172
172
|
}>, {
|
|
173
173
|
source_ref: string;
|
|
174
174
|
module_refs: string[];
|
|
175
175
|
}, {
|
|
176
176
|
source_ref: string;
|
|
177
|
-
module_refs
|
|
177
|
+
module_refs?: string[] | undefined;
|
|
178
178
|
}>, "many">;
|
|
179
179
|
}, "strict", z.ZodTypeAny, {
|
|
180
180
|
targets: {
|
|
@@ -184,7 +184,7 @@ export declare const indexerRequirementInspectionInputSchema: z.ZodObject<{
|
|
|
184
184
|
}, {
|
|
185
185
|
targets: {
|
|
186
186
|
source_ref: string;
|
|
187
|
-
module_refs
|
|
187
|
+
module_refs?: string[] | undefined;
|
|
188
188
|
}[];
|
|
189
189
|
}>, {
|
|
190
190
|
targets: {
|
|
@@ -194,7 +194,7 @@ export declare const indexerRequirementInspectionInputSchema: z.ZodObject<{
|
|
|
194
194
|
}, {
|
|
195
195
|
targets: {
|
|
196
196
|
source_ref: string;
|
|
197
|
-
module_refs
|
|
197
|
+
module_refs?: string[] | undefined;
|
|
198
198
|
}[];
|
|
199
199
|
}>;
|
|
200
200
|
reason: z.ZodString;
|
|
@@ -212,7 +212,7 @@ export declare const indexerRequirementInspectionInputSchema: z.ZodObject<{
|
|
|
212
212
|
scope: {
|
|
213
213
|
targets: {
|
|
214
214
|
source_ref: string;
|
|
215
|
-
module_refs
|
|
215
|
+
module_refs?: string[] | undefined;
|
|
216
216
|
}[];
|
|
217
217
|
};
|
|
218
218
|
reason: string;
|
|
@@ -236,8 +236,8 @@ export declare const indexerRequirementInspectionInputSchema: z.ZodObject<{
|
|
|
236
236
|
questions?: {
|
|
237
237
|
ref: string;
|
|
238
238
|
authority: {
|
|
239
|
-
kind: "cli-base-contract" | "verified-contract-overlay";
|
|
240
239
|
ref: string;
|
|
240
|
+
kind: "cli-base-contract" | "verified-contract-overlay";
|
|
241
241
|
digest: string;
|
|
242
242
|
};
|
|
243
243
|
contract_version: number;
|
|
@@ -260,20 +260,20 @@ export declare const indexerRequirementInspectionInputSchema: z.ZodObject<{
|
|
|
260
260
|
target_scope: {
|
|
261
261
|
targets: {
|
|
262
262
|
source_ref: string;
|
|
263
|
-
module_refs
|
|
263
|
+
module_refs?: string[] | undefined;
|
|
264
264
|
}[];
|
|
265
265
|
};
|
|
266
266
|
evidence_source_scope: {
|
|
267
267
|
targets: {
|
|
268
268
|
source_ref: string;
|
|
269
|
-
module_refs
|
|
269
|
+
module_refs?: string[] | undefined;
|
|
270
270
|
}[];
|
|
271
271
|
};
|
|
272
272
|
questions?: {
|
|
273
273
|
ref: string;
|
|
274
274
|
authority: {
|
|
275
|
-
kind: "cli-base-contract" | "verified-contract-overlay";
|
|
276
275
|
ref: string;
|
|
276
|
+
kind: "cli-base-contract" | "verified-contract-overlay";
|
|
277
277
|
digest: string;
|
|
278
278
|
};
|
|
279
279
|
contract_version: number;
|
|
@@ -284,7 +284,7 @@ export declare const indexerRequirementInspectionInputSchema: z.ZodObject<{
|
|
|
284
284
|
scope: {
|
|
285
285
|
targets: {
|
|
286
286
|
source_ref: string;
|
|
287
|
-
module_refs
|
|
287
|
+
module_refs?: string[] | undefined;
|
|
288
288
|
}[];
|
|
289
289
|
};
|
|
290
290
|
reason: string;
|
|
@@ -308,8 +308,8 @@ export declare const indexerRequirementInspectionInputSchema: z.ZodObject<{
|
|
|
308
308
|
questions?: {
|
|
309
309
|
ref: string;
|
|
310
310
|
authority: {
|
|
311
|
-
kind: "cli-base-contract" | "verified-contract-overlay";
|
|
312
311
|
ref: string;
|
|
312
|
+
kind: "cli-base-contract" | "verified-contract-overlay";
|
|
313
313
|
digest: string;
|
|
314
314
|
};
|
|
315
315
|
contract_version: number;
|
|
@@ -332,20 +332,20 @@ export declare const indexerRequirementInspectionInputSchema: z.ZodObject<{
|
|
|
332
332
|
target_scope: {
|
|
333
333
|
targets: {
|
|
334
334
|
source_ref: string;
|
|
335
|
-
module_refs
|
|
335
|
+
module_refs?: string[] | undefined;
|
|
336
336
|
}[];
|
|
337
337
|
};
|
|
338
338
|
evidence_source_scope: {
|
|
339
339
|
targets: {
|
|
340
340
|
source_ref: string;
|
|
341
|
-
module_refs
|
|
341
|
+
module_refs?: string[] | undefined;
|
|
342
342
|
}[];
|
|
343
343
|
};
|
|
344
344
|
questions?: {
|
|
345
345
|
ref: string;
|
|
346
346
|
authority: {
|
|
347
|
-
kind: "cli-base-contract" | "verified-contract-overlay";
|
|
348
347
|
ref: string;
|
|
348
|
+
kind: "cli-base-contract" | "verified-contract-overlay";
|
|
349
349
|
digest: string;
|
|
350
350
|
};
|
|
351
351
|
contract_version: number;
|
|
@@ -356,7 +356,7 @@ export declare const indexerRequirementInspectionInputSchema: z.ZodObject<{
|
|
|
356
356
|
scope: {
|
|
357
357
|
targets: {
|
|
358
358
|
source_ref: string;
|
|
359
|
-
module_refs
|
|
359
|
+
module_refs?: string[] | undefined;
|
|
360
360
|
}[];
|
|
361
361
|
};
|
|
362
362
|
reason: string;
|
|
@@ -378,12 +378,12 @@ export declare const indexerRequirementInspectionInputSchema: z.ZodObject<{
|
|
|
378
378
|
}, "strict", z.ZodTypeAny, {
|
|
379
379
|
minimumItems: number;
|
|
380
380
|
minimumDistinctSources: number;
|
|
381
|
-
acceptedKinds: ("
|
|
381
|
+
acceptedKinds: ("code" | "contract" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
|
|
382
382
|
provenanceRequired: boolean;
|
|
383
383
|
}, {
|
|
384
384
|
minimumItems: number;
|
|
385
385
|
minimumDistinctSources: number;
|
|
386
|
-
acceptedKinds: ("
|
|
386
|
+
acceptedKinds: ("code" | "contract" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
|
|
387
387
|
provenanceRequired: boolean;
|
|
388
388
|
}>;
|
|
389
389
|
}, "strict", z.ZodTypeAny, {
|
|
@@ -391,7 +391,7 @@ export declare const indexerRequirementInspectionInputSchema: z.ZodObject<{
|
|
|
391
391
|
evidence: {
|
|
392
392
|
minimumItems: number;
|
|
393
393
|
minimumDistinctSources: number;
|
|
394
|
-
acceptedKinds: ("
|
|
394
|
+
acceptedKinds: ("code" | "contract" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
|
|
395
395
|
provenanceRequired: boolean;
|
|
396
396
|
};
|
|
397
397
|
coverageDomain: string;
|
|
@@ -405,7 +405,7 @@ export declare const indexerRequirementInspectionInputSchema: z.ZodObject<{
|
|
|
405
405
|
evidence: {
|
|
406
406
|
minimumItems: number;
|
|
407
407
|
minimumDistinctSources: number;
|
|
408
|
-
acceptedKinds: ("
|
|
408
|
+
acceptedKinds: ("code" | "contract" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
|
|
409
409
|
provenanceRequired: boolean;
|
|
410
410
|
};
|
|
411
411
|
coverageDomain: string;
|
|
@@ -436,8 +436,8 @@ export declare const indexerRequirementInspectionInputSchema: z.ZodObject<{
|
|
|
436
436
|
questions?: {
|
|
437
437
|
ref: string;
|
|
438
438
|
authority: {
|
|
439
|
-
kind: "cli-base-contract" | "verified-contract-overlay";
|
|
440
439
|
ref: string;
|
|
440
|
+
kind: "cli-base-contract" | "verified-contract-overlay";
|
|
441
441
|
digest: string;
|
|
442
442
|
};
|
|
443
443
|
contract_version: number;
|
|
@@ -460,7 +460,7 @@ export declare const indexerRequirementInspectionInputSchema: z.ZodObject<{
|
|
|
460
460
|
evidence: {
|
|
461
461
|
minimumItems: number;
|
|
462
462
|
minimumDistinctSources: number;
|
|
463
|
-
acceptedKinds: ("
|
|
463
|
+
acceptedKinds: ("code" | "contract" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
|
|
464
464
|
provenanceRequired: boolean;
|
|
465
465
|
};
|
|
466
466
|
coverageDomain: string;
|
|
@@ -479,20 +479,20 @@ export declare const indexerRequirementInspectionInputSchema: z.ZodObject<{
|
|
|
479
479
|
target_scope: {
|
|
480
480
|
targets: {
|
|
481
481
|
source_ref: string;
|
|
482
|
-
module_refs
|
|
482
|
+
module_refs?: string[] | undefined;
|
|
483
483
|
}[];
|
|
484
484
|
};
|
|
485
485
|
evidence_source_scope: {
|
|
486
486
|
targets: {
|
|
487
487
|
source_ref: string;
|
|
488
|
-
module_refs
|
|
488
|
+
module_refs?: string[] | undefined;
|
|
489
489
|
}[];
|
|
490
490
|
};
|
|
491
491
|
questions?: {
|
|
492
492
|
ref: string;
|
|
493
493
|
authority: {
|
|
494
|
-
kind: "cli-base-contract" | "verified-contract-overlay";
|
|
495
494
|
ref: string;
|
|
495
|
+
kind: "cli-base-contract" | "verified-contract-overlay";
|
|
496
496
|
digest: string;
|
|
497
497
|
};
|
|
498
498
|
contract_version: number;
|
|
@@ -503,7 +503,7 @@ export declare const indexerRequirementInspectionInputSchema: z.ZodObject<{
|
|
|
503
503
|
scope: {
|
|
504
504
|
targets: {
|
|
505
505
|
source_ref: string;
|
|
506
|
-
module_refs
|
|
506
|
+
module_refs?: string[] | undefined;
|
|
507
507
|
}[];
|
|
508
508
|
};
|
|
509
509
|
reason: string;
|
|
@@ -515,7 +515,7 @@ export declare const indexerRequirementInspectionInputSchema: z.ZodObject<{
|
|
|
515
515
|
evidence: {
|
|
516
516
|
minimumItems: number;
|
|
517
517
|
minimumDistinctSources: number;
|
|
518
|
-
acceptedKinds: ("
|
|
518
|
+
acceptedKinds: ("code" | "contract" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
|
|
519
519
|
provenanceRequired: boolean;
|
|
520
520
|
};
|
|
521
521
|
coverageDomain: string;
|
|
@@ -542,12 +542,12 @@ export declare const indexerRequirementInspectionSchema: z.ZodObject<{
|
|
|
542
542
|
ref: z.ZodString;
|
|
543
543
|
digest: z.ZodString;
|
|
544
544
|
}, "strict", z.ZodTypeAny, {
|
|
545
|
-
kind: "cli-base-contract" | "verified-contract-overlay";
|
|
546
545
|
ref: string;
|
|
546
|
+
kind: "cli-base-contract" | "verified-contract-overlay";
|
|
547
547
|
digest: string;
|
|
548
548
|
}, {
|
|
549
|
-
kind: "cli-base-contract" | "verified-contract-overlay";
|
|
550
549
|
ref: string;
|
|
550
|
+
kind: "cli-base-contract" | "verified-contract-overlay";
|
|
551
551
|
digest: string;
|
|
552
552
|
}>;
|
|
553
553
|
contract_version: z.ZodNumber;
|
|
@@ -555,8 +555,8 @@ export declare const indexerRequirementInspectionSchema: z.ZodObject<{
|
|
|
555
555
|
}, "strict", z.ZodTypeAny, {
|
|
556
556
|
ref: string;
|
|
557
557
|
authority: {
|
|
558
|
-
kind: "cli-base-contract" | "verified-contract-overlay";
|
|
559
558
|
ref: string;
|
|
559
|
+
kind: "cli-base-contract" | "verified-contract-overlay";
|
|
560
560
|
digest: string;
|
|
561
561
|
};
|
|
562
562
|
contract_version: number;
|
|
@@ -564,8 +564,8 @@ export declare const indexerRequirementInspectionSchema: z.ZodObject<{
|
|
|
564
564
|
}, {
|
|
565
565
|
ref: string;
|
|
566
566
|
authority: {
|
|
567
|
-
kind: "cli-base-contract" | "verified-contract-overlay";
|
|
568
567
|
ref: string;
|
|
568
|
+
kind: "cli-base-contract" | "verified-contract-overlay";
|
|
569
569
|
digest: string;
|
|
570
570
|
};
|
|
571
571
|
contract_version: number;
|
|
@@ -574,19 +574,19 @@ export declare const indexerRequirementInspectionSchema: z.ZodObject<{
|
|
|
574
574
|
target_scope: z.ZodEffects<z.ZodObject<{
|
|
575
575
|
targets: z.ZodArray<z.ZodEffects<z.ZodObject<{
|
|
576
576
|
source_ref: z.ZodString;
|
|
577
|
-
module_refs: z.ZodArray<z.ZodString, "many"
|
|
577
|
+
module_refs: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
|
|
578
578
|
}, "strict", z.ZodTypeAny, {
|
|
579
579
|
source_ref: string;
|
|
580
580
|
module_refs: string[];
|
|
581
581
|
}, {
|
|
582
582
|
source_ref: string;
|
|
583
|
-
module_refs
|
|
583
|
+
module_refs?: string[] | undefined;
|
|
584
584
|
}>, {
|
|
585
585
|
source_ref: string;
|
|
586
586
|
module_refs: string[];
|
|
587
587
|
}, {
|
|
588
588
|
source_ref: string;
|
|
589
|
-
module_refs
|
|
589
|
+
module_refs?: string[] | undefined;
|
|
590
590
|
}>, "many">;
|
|
591
591
|
}, "strict", z.ZodTypeAny, {
|
|
592
592
|
targets: {
|
|
@@ -596,7 +596,7 @@ export declare const indexerRequirementInspectionSchema: z.ZodObject<{
|
|
|
596
596
|
}, {
|
|
597
597
|
targets: {
|
|
598
598
|
source_ref: string;
|
|
599
|
-
module_refs
|
|
599
|
+
module_refs?: string[] | undefined;
|
|
600
600
|
}[];
|
|
601
601
|
}>, {
|
|
602
602
|
targets: {
|
|
@@ -606,25 +606,25 @@ export declare const indexerRequirementInspectionSchema: z.ZodObject<{
|
|
|
606
606
|
}, {
|
|
607
607
|
targets: {
|
|
608
608
|
source_ref: string;
|
|
609
|
-
module_refs
|
|
609
|
+
module_refs?: string[] | undefined;
|
|
610
610
|
}[];
|
|
611
611
|
}>;
|
|
612
612
|
evidence_source_scope: z.ZodEffects<z.ZodObject<{
|
|
613
613
|
targets: z.ZodArray<z.ZodEffects<z.ZodObject<{
|
|
614
614
|
source_ref: z.ZodString;
|
|
615
|
-
module_refs: z.ZodArray<z.ZodString, "many"
|
|
615
|
+
module_refs: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
|
|
616
616
|
}, "strict", z.ZodTypeAny, {
|
|
617
617
|
source_ref: string;
|
|
618
618
|
module_refs: string[];
|
|
619
619
|
}, {
|
|
620
620
|
source_ref: string;
|
|
621
|
-
module_refs
|
|
621
|
+
module_refs?: string[] | undefined;
|
|
622
622
|
}>, {
|
|
623
623
|
source_ref: string;
|
|
624
624
|
module_refs: string[];
|
|
625
625
|
}, {
|
|
626
626
|
source_ref: string;
|
|
627
|
-
module_refs
|
|
627
|
+
module_refs?: string[] | undefined;
|
|
628
628
|
}>, "many">;
|
|
629
629
|
}, "strict", z.ZodTypeAny, {
|
|
630
630
|
targets: {
|
|
@@ -634,7 +634,7 @@ export declare const indexerRequirementInspectionSchema: z.ZodObject<{
|
|
|
634
634
|
}, {
|
|
635
635
|
targets: {
|
|
636
636
|
source_ref: string;
|
|
637
|
-
module_refs
|
|
637
|
+
module_refs?: string[] | undefined;
|
|
638
638
|
}[];
|
|
639
639
|
}>, {
|
|
640
640
|
targets: {
|
|
@@ -644,7 +644,7 @@ export declare const indexerRequirementInspectionSchema: z.ZodObject<{
|
|
|
644
644
|
}, {
|
|
645
645
|
targets: {
|
|
646
646
|
source_ref: string;
|
|
647
|
-
module_refs
|
|
647
|
+
module_refs?: string[] | undefined;
|
|
648
648
|
}[];
|
|
649
649
|
}>;
|
|
650
650
|
exclusions: z.ZodOptional<z.ZodArray<z.ZodObject<{
|
|
@@ -652,19 +652,19 @@ export declare const indexerRequirementInspectionSchema: z.ZodObject<{
|
|
|
652
652
|
scope: z.ZodEffects<z.ZodObject<{
|
|
653
653
|
targets: z.ZodArray<z.ZodEffects<z.ZodObject<{
|
|
654
654
|
source_ref: z.ZodString;
|
|
655
|
-
module_refs: z.ZodArray<z.ZodString, "many"
|
|
655
|
+
module_refs: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
|
|
656
656
|
}, "strict", z.ZodTypeAny, {
|
|
657
657
|
source_ref: string;
|
|
658
658
|
module_refs: string[];
|
|
659
659
|
}, {
|
|
660
660
|
source_ref: string;
|
|
661
|
-
module_refs
|
|
661
|
+
module_refs?: string[] | undefined;
|
|
662
662
|
}>, {
|
|
663
663
|
source_ref: string;
|
|
664
664
|
module_refs: string[];
|
|
665
665
|
}, {
|
|
666
666
|
source_ref: string;
|
|
667
|
-
module_refs
|
|
667
|
+
module_refs?: string[] | undefined;
|
|
668
668
|
}>, "many">;
|
|
669
669
|
}, "strict", z.ZodTypeAny, {
|
|
670
670
|
targets: {
|
|
@@ -674,7 +674,7 @@ export declare const indexerRequirementInspectionSchema: z.ZodObject<{
|
|
|
674
674
|
}, {
|
|
675
675
|
targets: {
|
|
676
676
|
source_ref: string;
|
|
677
|
-
module_refs
|
|
677
|
+
module_refs?: string[] | undefined;
|
|
678
678
|
}[];
|
|
679
679
|
}>, {
|
|
680
680
|
targets: {
|
|
@@ -684,7 +684,7 @@ export declare const indexerRequirementInspectionSchema: z.ZodObject<{
|
|
|
684
684
|
}, {
|
|
685
685
|
targets: {
|
|
686
686
|
source_ref: string;
|
|
687
|
-
module_refs
|
|
687
|
+
module_refs?: string[] | undefined;
|
|
688
688
|
}[];
|
|
689
689
|
}>;
|
|
690
690
|
reason: z.ZodString;
|
|
@@ -702,7 +702,7 @@ export declare const indexerRequirementInspectionSchema: z.ZodObject<{
|
|
|
702
702
|
scope: {
|
|
703
703
|
targets: {
|
|
704
704
|
source_ref: string;
|
|
705
|
-
module_refs
|
|
705
|
+
module_refs?: string[] | undefined;
|
|
706
706
|
}[];
|
|
707
707
|
};
|
|
708
708
|
reason: string;
|
|
@@ -726,8 +726,8 @@ export declare const indexerRequirementInspectionSchema: z.ZodObject<{
|
|
|
726
726
|
questions?: {
|
|
727
727
|
ref: string;
|
|
728
728
|
authority: {
|
|
729
|
-
kind: "cli-base-contract" | "verified-contract-overlay";
|
|
730
729
|
ref: string;
|
|
730
|
+
kind: "cli-base-contract" | "verified-contract-overlay";
|
|
731
731
|
digest: string;
|
|
732
732
|
};
|
|
733
733
|
contract_version: number;
|
|
@@ -750,20 +750,20 @@ export declare const indexerRequirementInspectionSchema: z.ZodObject<{
|
|
|
750
750
|
target_scope: {
|
|
751
751
|
targets: {
|
|
752
752
|
source_ref: string;
|
|
753
|
-
module_refs
|
|
753
|
+
module_refs?: string[] | undefined;
|
|
754
754
|
}[];
|
|
755
755
|
};
|
|
756
756
|
evidence_source_scope: {
|
|
757
757
|
targets: {
|
|
758
758
|
source_ref: string;
|
|
759
|
-
module_refs
|
|
759
|
+
module_refs?: string[] | undefined;
|
|
760
760
|
}[];
|
|
761
761
|
};
|
|
762
762
|
questions?: {
|
|
763
763
|
ref: string;
|
|
764
764
|
authority: {
|
|
765
|
-
kind: "cli-base-contract" | "verified-contract-overlay";
|
|
766
765
|
ref: string;
|
|
766
|
+
kind: "cli-base-contract" | "verified-contract-overlay";
|
|
767
767
|
digest: string;
|
|
768
768
|
};
|
|
769
769
|
contract_version: number;
|
|
@@ -774,7 +774,7 @@ export declare const indexerRequirementInspectionSchema: z.ZodObject<{
|
|
|
774
774
|
scope: {
|
|
775
775
|
targets: {
|
|
776
776
|
source_ref: string;
|
|
777
|
-
module_refs
|
|
777
|
+
module_refs?: string[] | undefined;
|
|
778
778
|
}[];
|
|
779
779
|
};
|
|
780
780
|
reason: string;
|
|
@@ -798,8 +798,8 @@ export declare const indexerRequirementInspectionSchema: z.ZodObject<{
|
|
|
798
798
|
questions?: {
|
|
799
799
|
ref: string;
|
|
800
800
|
authority: {
|
|
801
|
-
kind: "cli-base-contract" | "verified-contract-overlay";
|
|
802
801
|
ref: string;
|
|
802
|
+
kind: "cli-base-contract" | "verified-contract-overlay";
|
|
803
803
|
digest: string;
|
|
804
804
|
};
|
|
805
805
|
contract_version: number;
|
|
@@ -822,20 +822,20 @@ export declare const indexerRequirementInspectionSchema: z.ZodObject<{
|
|
|
822
822
|
target_scope: {
|
|
823
823
|
targets: {
|
|
824
824
|
source_ref: string;
|
|
825
|
-
module_refs
|
|
825
|
+
module_refs?: string[] | undefined;
|
|
826
826
|
}[];
|
|
827
827
|
};
|
|
828
828
|
evidence_source_scope: {
|
|
829
829
|
targets: {
|
|
830
830
|
source_ref: string;
|
|
831
|
-
module_refs
|
|
831
|
+
module_refs?: string[] | undefined;
|
|
832
832
|
}[];
|
|
833
833
|
};
|
|
834
834
|
questions?: {
|
|
835
835
|
ref: string;
|
|
836
836
|
authority: {
|
|
837
|
-
kind: "cli-base-contract" | "verified-contract-overlay";
|
|
838
837
|
ref: string;
|
|
838
|
+
kind: "cli-base-contract" | "verified-contract-overlay";
|
|
839
839
|
digest: string;
|
|
840
840
|
};
|
|
841
841
|
contract_version: number;
|
|
@@ -846,7 +846,7 @@ export declare const indexerRequirementInspectionSchema: z.ZodObject<{
|
|
|
846
846
|
scope: {
|
|
847
847
|
targets: {
|
|
848
848
|
source_ref: string;
|
|
849
|
-
module_refs
|
|
849
|
+
module_refs?: string[] | undefined;
|
|
850
850
|
}[];
|
|
851
851
|
};
|
|
852
852
|
reason: string;
|
|
@@ -873,8 +873,8 @@ export declare const indexerRequirementInspectionSchema: z.ZodObject<{
|
|
|
873
873
|
questions?: {
|
|
874
874
|
ref: string;
|
|
875
875
|
authority: {
|
|
876
|
-
kind: "cli-base-contract" | "verified-contract-overlay";
|
|
877
876
|
ref: string;
|
|
877
|
+
kind: "cli-base-contract" | "verified-contract-overlay";
|
|
878
878
|
digest: string;
|
|
879
879
|
};
|
|
880
880
|
contract_version: number;
|
|
@@ -900,20 +900,20 @@ export declare const indexerRequirementInspectionSchema: z.ZodObject<{
|
|
|
900
900
|
target_scope: {
|
|
901
901
|
targets: {
|
|
902
902
|
source_ref: string;
|
|
903
|
-
module_refs
|
|
903
|
+
module_refs?: string[] | undefined;
|
|
904
904
|
}[];
|
|
905
905
|
};
|
|
906
906
|
evidence_source_scope: {
|
|
907
907
|
targets: {
|
|
908
908
|
source_ref: string;
|
|
909
|
-
module_refs
|
|
909
|
+
module_refs?: string[] | undefined;
|
|
910
910
|
}[];
|
|
911
911
|
};
|
|
912
912
|
questions?: {
|
|
913
913
|
ref: string;
|
|
914
914
|
authority: {
|
|
915
|
-
kind: "cli-base-contract" | "verified-contract-overlay";
|
|
916
915
|
ref: string;
|
|
916
|
+
kind: "cli-base-contract" | "verified-contract-overlay";
|
|
917
917
|
digest: string;
|
|
918
918
|
};
|
|
919
919
|
contract_version: number;
|
|
@@ -924,7 +924,7 @@ export declare const indexerRequirementInspectionSchema: z.ZodObject<{
|
|
|
924
924
|
scope: {
|
|
925
925
|
targets: {
|
|
926
926
|
source_ref: string;
|
|
927
|
-
module_refs
|
|
927
|
+
module_refs?: string[] | undefined;
|
|
928
928
|
}[];
|
|
929
929
|
};
|
|
930
930
|
reason: string;
|
|
@@ -951,8 +951,8 @@ export declare const indexerRequirementInspectionSchema: z.ZodObject<{
|
|
|
951
951
|
questions?: {
|
|
952
952
|
ref: string;
|
|
953
953
|
authority: {
|
|
954
|
-
kind: "cli-base-contract" | "verified-contract-overlay";
|
|
955
954
|
ref: string;
|
|
955
|
+
kind: "cli-base-contract" | "verified-contract-overlay";
|
|
956
956
|
digest: string;
|
|
957
957
|
};
|
|
958
958
|
contract_version: number;
|
|
@@ -978,20 +978,20 @@ export declare const indexerRequirementInspectionSchema: z.ZodObject<{
|
|
|
978
978
|
target_scope: {
|
|
979
979
|
targets: {
|
|
980
980
|
source_ref: string;
|
|
981
|
-
module_refs
|
|
981
|
+
module_refs?: string[] | undefined;
|
|
982
982
|
}[];
|
|
983
983
|
};
|
|
984
984
|
evidence_source_scope: {
|
|
985
985
|
targets: {
|
|
986
986
|
source_ref: string;
|
|
987
|
-
module_refs
|
|
987
|
+
module_refs?: string[] | undefined;
|
|
988
988
|
}[];
|
|
989
989
|
};
|
|
990
990
|
questions?: {
|
|
991
991
|
ref: string;
|
|
992
992
|
authority: {
|
|
993
|
-
kind: "cli-base-contract" | "verified-contract-overlay";
|
|
994
993
|
ref: string;
|
|
994
|
+
kind: "cli-base-contract" | "verified-contract-overlay";
|
|
995
995
|
digest: string;
|
|
996
996
|
};
|
|
997
997
|
contract_version: number;
|
|
@@ -1002,7 +1002,7 @@ export declare const indexerRequirementInspectionSchema: z.ZodObject<{
|
|
|
1002
1002
|
scope: {
|
|
1003
1003
|
targets: {
|
|
1004
1004
|
source_ref: string;
|
|
1005
|
-
module_refs
|
|
1005
|
+
module_refs?: string[] | undefined;
|
|
1006
1006
|
}[];
|
|
1007
1007
|
};
|
|
1008
1008
|
reason: string;
|
|
@@ -1027,12 +1027,12 @@ export declare const indexerRequirementInspectionSchema: z.ZodObject<{
|
|
|
1027
1027
|
}, "strict", z.ZodTypeAny, {
|
|
1028
1028
|
minimumItems: number;
|
|
1029
1029
|
minimumDistinctSources: number;
|
|
1030
|
-
acceptedKinds: ("
|
|
1030
|
+
acceptedKinds: ("code" | "contract" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
|
|
1031
1031
|
provenanceRequired: boolean;
|
|
1032
1032
|
}, {
|
|
1033
1033
|
minimumItems: number;
|
|
1034
1034
|
minimumDistinctSources: number;
|
|
1035
|
-
acceptedKinds: ("
|
|
1035
|
+
acceptedKinds: ("code" | "contract" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
|
|
1036
1036
|
provenanceRequired: boolean;
|
|
1037
1037
|
}>;
|
|
1038
1038
|
}, "strict", z.ZodTypeAny, {
|
|
@@ -1040,7 +1040,7 @@ export declare const indexerRequirementInspectionSchema: z.ZodObject<{
|
|
|
1040
1040
|
evidence: {
|
|
1041
1041
|
minimumItems: number;
|
|
1042
1042
|
minimumDistinctSources: number;
|
|
1043
|
-
acceptedKinds: ("
|
|
1043
|
+
acceptedKinds: ("code" | "contract" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
|
|
1044
1044
|
provenanceRequired: boolean;
|
|
1045
1045
|
};
|
|
1046
1046
|
coverageDomain: string;
|
|
@@ -1054,7 +1054,7 @@ export declare const indexerRequirementInspectionSchema: z.ZodObject<{
|
|
|
1054
1054
|
evidence: {
|
|
1055
1055
|
minimumItems: number;
|
|
1056
1056
|
minimumDistinctSources: number;
|
|
1057
|
-
acceptedKinds: ("
|
|
1057
|
+
acceptedKinds: ("code" | "contract" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
|
|
1058
1058
|
provenanceRequired: boolean;
|
|
1059
1059
|
};
|
|
1060
1060
|
coverageDomain: string;
|
|
@@ -1086,7 +1086,7 @@ export declare const indexerRequirementInspectionSchema: z.ZodObject<{
|
|
|
1086
1086
|
coverage_domain: string;
|
|
1087
1087
|
obligation: "required" | "optional" | "out-of-scope";
|
|
1088
1088
|
}[];
|
|
1089
|
-
evidence_kinds: ("
|
|
1089
|
+
evidence_kinds: ("code" | "contract" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
|
|
1090
1090
|
scenario: string;
|
|
1091
1091
|
target_source_refs: string[];
|
|
1092
1092
|
evidence_source_refs: string[];
|
|
@@ -1096,7 +1096,7 @@ export declare const indexerRequirementInspectionSchema: z.ZodObject<{
|
|
|
1096
1096
|
coverage_domain: string;
|
|
1097
1097
|
obligation: "required" | "optional" | "out-of-scope";
|
|
1098
1098
|
}[];
|
|
1099
|
-
evidence_kinds: ("
|
|
1099
|
+
evidence_kinds: ("code" | "contract" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
|
|
1100
1100
|
scenario: string;
|
|
1101
1101
|
target_source_refs: string[];
|
|
1102
1102
|
evidence_source_refs: string[];
|
|
@@ -1111,7 +1111,7 @@ export declare const indexerRequirementInspectionSchema: z.ZodObject<{
|
|
|
1111
1111
|
evidence: {
|
|
1112
1112
|
minimumItems: number;
|
|
1113
1113
|
minimumDistinctSources: number;
|
|
1114
|
-
acceptedKinds: ("
|
|
1114
|
+
acceptedKinds: ("code" | "contract" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
|
|
1115
1115
|
provenanceRequired: boolean;
|
|
1116
1116
|
};
|
|
1117
1117
|
coverageDomain: string;
|
|
@@ -1142,8 +1142,8 @@ export declare const indexerRequirementInspectionSchema: z.ZodObject<{
|
|
|
1142
1142
|
questions?: {
|
|
1143
1143
|
ref: string;
|
|
1144
1144
|
authority: {
|
|
1145
|
-
kind: "cli-base-contract" | "verified-contract-overlay";
|
|
1146
1145
|
ref: string;
|
|
1146
|
+
kind: "cli-base-contract" | "verified-contract-overlay";
|
|
1147
1147
|
digest: string;
|
|
1148
1148
|
};
|
|
1149
1149
|
contract_version: number;
|
|
@@ -1168,7 +1168,7 @@ export declare const indexerRequirementInspectionSchema: z.ZodObject<{
|
|
|
1168
1168
|
coverage_domain: string;
|
|
1169
1169
|
obligation: "required" | "optional" | "out-of-scope";
|
|
1170
1170
|
}[];
|
|
1171
|
-
evidence_kinds: ("
|
|
1171
|
+
evidence_kinds: ("code" | "contract" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
|
|
1172
1172
|
scenario: string;
|
|
1173
1173
|
target_source_refs: string[];
|
|
1174
1174
|
evidence_source_refs: string[];
|
|
@@ -1183,7 +1183,7 @@ export declare const indexerRequirementInspectionSchema: z.ZodObject<{
|
|
|
1183
1183
|
evidence: {
|
|
1184
1184
|
minimumItems: number;
|
|
1185
1185
|
minimumDistinctSources: number;
|
|
1186
|
-
acceptedKinds: ("
|
|
1186
|
+
acceptedKinds: ("code" | "contract" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
|
|
1187
1187
|
provenanceRequired: boolean;
|
|
1188
1188
|
};
|
|
1189
1189
|
coverageDomain: string;
|
|
@@ -1202,20 +1202,20 @@ export declare const indexerRequirementInspectionSchema: z.ZodObject<{
|
|
|
1202
1202
|
target_scope: {
|
|
1203
1203
|
targets: {
|
|
1204
1204
|
source_ref: string;
|
|
1205
|
-
module_refs
|
|
1205
|
+
module_refs?: string[] | undefined;
|
|
1206
1206
|
}[];
|
|
1207
1207
|
};
|
|
1208
1208
|
evidence_source_scope: {
|
|
1209
1209
|
targets: {
|
|
1210
1210
|
source_ref: string;
|
|
1211
|
-
module_refs
|
|
1211
|
+
module_refs?: string[] | undefined;
|
|
1212
1212
|
}[];
|
|
1213
1213
|
};
|
|
1214
1214
|
questions?: {
|
|
1215
1215
|
ref: string;
|
|
1216
1216
|
authority: {
|
|
1217
|
-
kind: "cli-base-contract" | "verified-contract-overlay";
|
|
1218
1217
|
ref: string;
|
|
1218
|
+
kind: "cli-base-contract" | "verified-contract-overlay";
|
|
1219
1219
|
digest: string;
|
|
1220
1220
|
};
|
|
1221
1221
|
contract_version: number;
|
|
@@ -1226,7 +1226,7 @@ export declare const indexerRequirementInspectionSchema: z.ZodObject<{
|
|
|
1226
1226
|
scope: {
|
|
1227
1227
|
targets: {
|
|
1228
1228
|
source_ref: string;
|
|
1229
|
-
module_refs
|
|
1229
|
+
module_refs?: string[] | undefined;
|
|
1230
1230
|
}[];
|
|
1231
1231
|
};
|
|
1232
1232
|
reason: string;
|
|
@@ -1240,7 +1240,7 @@ export declare const indexerRequirementInspectionSchema: z.ZodObject<{
|
|
|
1240
1240
|
coverage_domain: string;
|
|
1241
1241
|
obligation: "required" | "optional" | "out-of-scope";
|
|
1242
1242
|
}[];
|
|
1243
|
-
evidence_kinds: ("
|
|
1243
|
+
evidence_kinds: ("code" | "contract" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
|
|
1244
1244
|
scenario: string;
|
|
1245
1245
|
target_source_refs: string[];
|
|
1246
1246
|
evidence_source_refs: string[];
|
|
@@ -1263,12 +1263,12 @@ export declare const indexerRequirementWorksetReportSchema: z.ZodObject<{
|
|
|
1263
1263
|
ref: z.ZodString;
|
|
1264
1264
|
digest: z.ZodString;
|
|
1265
1265
|
}, "strict", z.ZodTypeAny, {
|
|
1266
|
-
kind: "cli-base-contract" | "verified-contract-overlay";
|
|
1267
1266
|
ref: string;
|
|
1267
|
+
kind: "cli-base-contract" | "verified-contract-overlay";
|
|
1268
1268
|
digest: string;
|
|
1269
1269
|
}, {
|
|
1270
|
-
kind: "cli-base-contract" | "verified-contract-overlay";
|
|
1271
1270
|
ref: string;
|
|
1271
|
+
kind: "cli-base-contract" | "verified-contract-overlay";
|
|
1272
1272
|
digest: string;
|
|
1273
1273
|
}>;
|
|
1274
1274
|
contract_version: z.ZodNumber;
|
|
@@ -1276,8 +1276,8 @@ export declare const indexerRequirementWorksetReportSchema: z.ZodObject<{
|
|
|
1276
1276
|
}, "strict", z.ZodTypeAny, {
|
|
1277
1277
|
ref: string;
|
|
1278
1278
|
authority: {
|
|
1279
|
-
kind: "cli-base-contract" | "verified-contract-overlay";
|
|
1280
1279
|
ref: string;
|
|
1280
|
+
kind: "cli-base-contract" | "verified-contract-overlay";
|
|
1281
1281
|
digest: string;
|
|
1282
1282
|
};
|
|
1283
1283
|
contract_version: number;
|
|
@@ -1285,8 +1285,8 @@ export declare const indexerRequirementWorksetReportSchema: z.ZodObject<{
|
|
|
1285
1285
|
}, {
|
|
1286
1286
|
ref: string;
|
|
1287
1287
|
authority: {
|
|
1288
|
-
kind: "cli-base-contract" | "verified-contract-overlay";
|
|
1289
1288
|
ref: string;
|
|
1289
|
+
kind: "cli-base-contract" | "verified-contract-overlay";
|
|
1290
1290
|
digest: string;
|
|
1291
1291
|
};
|
|
1292
1292
|
contract_version: number;
|
|
@@ -1295,19 +1295,19 @@ export declare const indexerRequirementWorksetReportSchema: z.ZodObject<{
|
|
|
1295
1295
|
target_scope: z.ZodEffects<z.ZodObject<{
|
|
1296
1296
|
targets: z.ZodArray<z.ZodEffects<z.ZodObject<{
|
|
1297
1297
|
source_ref: z.ZodString;
|
|
1298
|
-
module_refs: z.ZodArray<z.ZodString, "many"
|
|
1298
|
+
module_refs: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
|
|
1299
1299
|
}, "strict", z.ZodTypeAny, {
|
|
1300
1300
|
source_ref: string;
|
|
1301
1301
|
module_refs: string[];
|
|
1302
1302
|
}, {
|
|
1303
1303
|
source_ref: string;
|
|
1304
|
-
module_refs
|
|
1304
|
+
module_refs?: string[] | undefined;
|
|
1305
1305
|
}>, {
|
|
1306
1306
|
source_ref: string;
|
|
1307
1307
|
module_refs: string[];
|
|
1308
1308
|
}, {
|
|
1309
1309
|
source_ref: string;
|
|
1310
|
-
module_refs
|
|
1310
|
+
module_refs?: string[] | undefined;
|
|
1311
1311
|
}>, "many">;
|
|
1312
1312
|
}, "strict", z.ZodTypeAny, {
|
|
1313
1313
|
targets: {
|
|
@@ -1317,7 +1317,7 @@ export declare const indexerRequirementWorksetReportSchema: z.ZodObject<{
|
|
|
1317
1317
|
}, {
|
|
1318
1318
|
targets: {
|
|
1319
1319
|
source_ref: string;
|
|
1320
|
-
module_refs
|
|
1320
|
+
module_refs?: string[] | undefined;
|
|
1321
1321
|
}[];
|
|
1322
1322
|
}>, {
|
|
1323
1323
|
targets: {
|
|
@@ -1327,25 +1327,25 @@ export declare const indexerRequirementWorksetReportSchema: z.ZodObject<{
|
|
|
1327
1327
|
}, {
|
|
1328
1328
|
targets: {
|
|
1329
1329
|
source_ref: string;
|
|
1330
|
-
module_refs
|
|
1330
|
+
module_refs?: string[] | undefined;
|
|
1331
1331
|
}[];
|
|
1332
1332
|
}>;
|
|
1333
1333
|
evidence_source_scope: z.ZodEffects<z.ZodObject<{
|
|
1334
1334
|
targets: z.ZodArray<z.ZodEffects<z.ZodObject<{
|
|
1335
1335
|
source_ref: z.ZodString;
|
|
1336
|
-
module_refs: z.ZodArray<z.ZodString, "many"
|
|
1336
|
+
module_refs: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
|
|
1337
1337
|
}, "strict", z.ZodTypeAny, {
|
|
1338
1338
|
source_ref: string;
|
|
1339
1339
|
module_refs: string[];
|
|
1340
1340
|
}, {
|
|
1341
1341
|
source_ref: string;
|
|
1342
|
-
module_refs
|
|
1342
|
+
module_refs?: string[] | undefined;
|
|
1343
1343
|
}>, {
|
|
1344
1344
|
source_ref: string;
|
|
1345
1345
|
module_refs: string[];
|
|
1346
1346
|
}, {
|
|
1347
1347
|
source_ref: string;
|
|
1348
|
-
module_refs
|
|
1348
|
+
module_refs?: string[] | undefined;
|
|
1349
1349
|
}>, "many">;
|
|
1350
1350
|
}, "strict", z.ZodTypeAny, {
|
|
1351
1351
|
targets: {
|
|
@@ -1355,7 +1355,7 @@ export declare const indexerRequirementWorksetReportSchema: z.ZodObject<{
|
|
|
1355
1355
|
}, {
|
|
1356
1356
|
targets: {
|
|
1357
1357
|
source_ref: string;
|
|
1358
|
-
module_refs
|
|
1358
|
+
module_refs?: string[] | undefined;
|
|
1359
1359
|
}[];
|
|
1360
1360
|
}>, {
|
|
1361
1361
|
targets: {
|
|
@@ -1365,7 +1365,7 @@ export declare const indexerRequirementWorksetReportSchema: z.ZodObject<{
|
|
|
1365
1365
|
}, {
|
|
1366
1366
|
targets: {
|
|
1367
1367
|
source_ref: string;
|
|
1368
|
-
module_refs
|
|
1368
|
+
module_refs?: string[] | undefined;
|
|
1369
1369
|
}[];
|
|
1370
1370
|
}>;
|
|
1371
1371
|
exclusions: z.ZodOptional<z.ZodArray<z.ZodObject<{
|
|
@@ -1373,19 +1373,19 @@ export declare const indexerRequirementWorksetReportSchema: z.ZodObject<{
|
|
|
1373
1373
|
scope: z.ZodEffects<z.ZodObject<{
|
|
1374
1374
|
targets: z.ZodArray<z.ZodEffects<z.ZodObject<{
|
|
1375
1375
|
source_ref: z.ZodString;
|
|
1376
|
-
module_refs: z.ZodArray<z.ZodString, "many"
|
|
1376
|
+
module_refs: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
|
|
1377
1377
|
}, "strict", z.ZodTypeAny, {
|
|
1378
1378
|
source_ref: string;
|
|
1379
1379
|
module_refs: string[];
|
|
1380
1380
|
}, {
|
|
1381
1381
|
source_ref: string;
|
|
1382
|
-
module_refs
|
|
1382
|
+
module_refs?: string[] | undefined;
|
|
1383
1383
|
}>, {
|
|
1384
1384
|
source_ref: string;
|
|
1385
1385
|
module_refs: string[];
|
|
1386
1386
|
}, {
|
|
1387
1387
|
source_ref: string;
|
|
1388
|
-
module_refs
|
|
1388
|
+
module_refs?: string[] | undefined;
|
|
1389
1389
|
}>, "many">;
|
|
1390
1390
|
}, "strict", z.ZodTypeAny, {
|
|
1391
1391
|
targets: {
|
|
@@ -1395,7 +1395,7 @@ export declare const indexerRequirementWorksetReportSchema: z.ZodObject<{
|
|
|
1395
1395
|
}, {
|
|
1396
1396
|
targets: {
|
|
1397
1397
|
source_ref: string;
|
|
1398
|
-
module_refs
|
|
1398
|
+
module_refs?: string[] | undefined;
|
|
1399
1399
|
}[];
|
|
1400
1400
|
}>, {
|
|
1401
1401
|
targets: {
|
|
@@ -1405,7 +1405,7 @@ export declare const indexerRequirementWorksetReportSchema: z.ZodObject<{
|
|
|
1405
1405
|
}, {
|
|
1406
1406
|
targets: {
|
|
1407
1407
|
source_ref: string;
|
|
1408
|
-
module_refs
|
|
1408
|
+
module_refs?: string[] | undefined;
|
|
1409
1409
|
}[];
|
|
1410
1410
|
}>;
|
|
1411
1411
|
reason: z.ZodString;
|
|
@@ -1423,7 +1423,7 @@ export declare const indexerRequirementWorksetReportSchema: z.ZodObject<{
|
|
|
1423
1423
|
scope: {
|
|
1424
1424
|
targets: {
|
|
1425
1425
|
source_ref: string;
|
|
1426
|
-
module_refs
|
|
1426
|
+
module_refs?: string[] | undefined;
|
|
1427
1427
|
}[];
|
|
1428
1428
|
};
|
|
1429
1429
|
reason: string;
|
|
@@ -1447,8 +1447,8 @@ export declare const indexerRequirementWorksetReportSchema: z.ZodObject<{
|
|
|
1447
1447
|
questions?: {
|
|
1448
1448
|
ref: string;
|
|
1449
1449
|
authority: {
|
|
1450
|
-
kind: "cli-base-contract" | "verified-contract-overlay";
|
|
1451
1450
|
ref: string;
|
|
1451
|
+
kind: "cli-base-contract" | "verified-contract-overlay";
|
|
1452
1452
|
digest: string;
|
|
1453
1453
|
};
|
|
1454
1454
|
contract_version: number;
|
|
@@ -1471,20 +1471,20 @@ export declare const indexerRequirementWorksetReportSchema: z.ZodObject<{
|
|
|
1471
1471
|
target_scope: {
|
|
1472
1472
|
targets: {
|
|
1473
1473
|
source_ref: string;
|
|
1474
|
-
module_refs
|
|
1474
|
+
module_refs?: string[] | undefined;
|
|
1475
1475
|
}[];
|
|
1476
1476
|
};
|
|
1477
1477
|
evidence_source_scope: {
|
|
1478
1478
|
targets: {
|
|
1479
1479
|
source_ref: string;
|
|
1480
|
-
module_refs
|
|
1480
|
+
module_refs?: string[] | undefined;
|
|
1481
1481
|
}[];
|
|
1482
1482
|
};
|
|
1483
1483
|
questions?: {
|
|
1484
1484
|
ref: string;
|
|
1485
1485
|
authority: {
|
|
1486
|
-
kind: "cli-base-contract" | "verified-contract-overlay";
|
|
1487
1486
|
ref: string;
|
|
1487
|
+
kind: "cli-base-contract" | "verified-contract-overlay";
|
|
1488
1488
|
digest: string;
|
|
1489
1489
|
};
|
|
1490
1490
|
contract_version: number;
|
|
@@ -1495,7 +1495,7 @@ export declare const indexerRequirementWorksetReportSchema: z.ZodObject<{
|
|
|
1495
1495
|
scope: {
|
|
1496
1496
|
targets: {
|
|
1497
1497
|
source_ref: string;
|
|
1498
|
-
module_refs
|
|
1498
|
+
module_refs?: string[] | undefined;
|
|
1499
1499
|
}[];
|
|
1500
1500
|
};
|
|
1501
1501
|
reason: string;
|
|
@@ -1519,8 +1519,8 @@ export declare const indexerRequirementWorksetReportSchema: z.ZodObject<{
|
|
|
1519
1519
|
questions?: {
|
|
1520
1520
|
ref: string;
|
|
1521
1521
|
authority: {
|
|
1522
|
-
kind: "cli-base-contract" | "verified-contract-overlay";
|
|
1523
1522
|
ref: string;
|
|
1523
|
+
kind: "cli-base-contract" | "verified-contract-overlay";
|
|
1524
1524
|
digest: string;
|
|
1525
1525
|
};
|
|
1526
1526
|
contract_version: number;
|
|
@@ -1543,20 +1543,20 @@ export declare const indexerRequirementWorksetReportSchema: z.ZodObject<{
|
|
|
1543
1543
|
target_scope: {
|
|
1544
1544
|
targets: {
|
|
1545
1545
|
source_ref: string;
|
|
1546
|
-
module_refs
|
|
1546
|
+
module_refs?: string[] | undefined;
|
|
1547
1547
|
}[];
|
|
1548
1548
|
};
|
|
1549
1549
|
evidence_source_scope: {
|
|
1550
1550
|
targets: {
|
|
1551
1551
|
source_ref: string;
|
|
1552
|
-
module_refs
|
|
1552
|
+
module_refs?: string[] | undefined;
|
|
1553
1553
|
}[];
|
|
1554
1554
|
};
|
|
1555
1555
|
questions?: {
|
|
1556
1556
|
ref: string;
|
|
1557
1557
|
authority: {
|
|
1558
|
-
kind: "cli-base-contract" | "verified-contract-overlay";
|
|
1559
1558
|
ref: string;
|
|
1559
|
+
kind: "cli-base-contract" | "verified-contract-overlay";
|
|
1560
1560
|
digest: string;
|
|
1561
1561
|
};
|
|
1562
1562
|
contract_version: number;
|
|
@@ -1567,7 +1567,7 @@ export declare const indexerRequirementWorksetReportSchema: z.ZodObject<{
|
|
|
1567
1567
|
scope: {
|
|
1568
1568
|
targets: {
|
|
1569
1569
|
source_ref: string;
|
|
1570
|
-
module_refs
|
|
1570
|
+
module_refs?: string[] | undefined;
|
|
1571
1571
|
}[];
|
|
1572
1572
|
};
|
|
1573
1573
|
reason: string;
|
|
@@ -1594,8 +1594,8 @@ export declare const indexerRequirementWorksetReportSchema: z.ZodObject<{
|
|
|
1594
1594
|
questions?: {
|
|
1595
1595
|
ref: string;
|
|
1596
1596
|
authority: {
|
|
1597
|
-
kind: "cli-base-contract" | "verified-contract-overlay";
|
|
1598
1597
|
ref: string;
|
|
1598
|
+
kind: "cli-base-contract" | "verified-contract-overlay";
|
|
1599
1599
|
digest: string;
|
|
1600
1600
|
};
|
|
1601
1601
|
contract_version: number;
|
|
@@ -1621,20 +1621,20 @@ export declare const indexerRequirementWorksetReportSchema: z.ZodObject<{
|
|
|
1621
1621
|
target_scope: {
|
|
1622
1622
|
targets: {
|
|
1623
1623
|
source_ref: string;
|
|
1624
|
-
module_refs
|
|
1624
|
+
module_refs?: string[] | undefined;
|
|
1625
1625
|
}[];
|
|
1626
1626
|
};
|
|
1627
1627
|
evidence_source_scope: {
|
|
1628
1628
|
targets: {
|
|
1629
1629
|
source_ref: string;
|
|
1630
|
-
module_refs
|
|
1630
|
+
module_refs?: string[] | undefined;
|
|
1631
1631
|
}[];
|
|
1632
1632
|
};
|
|
1633
1633
|
questions?: {
|
|
1634
1634
|
ref: string;
|
|
1635
1635
|
authority: {
|
|
1636
|
-
kind: "cli-base-contract" | "verified-contract-overlay";
|
|
1637
1636
|
ref: string;
|
|
1637
|
+
kind: "cli-base-contract" | "verified-contract-overlay";
|
|
1638
1638
|
digest: string;
|
|
1639
1639
|
};
|
|
1640
1640
|
contract_version: number;
|
|
@@ -1645,7 +1645,7 @@ export declare const indexerRequirementWorksetReportSchema: z.ZodObject<{
|
|
|
1645
1645
|
scope: {
|
|
1646
1646
|
targets: {
|
|
1647
1647
|
source_ref: string;
|
|
1648
|
-
module_refs
|
|
1648
|
+
module_refs?: string[] | undefined;
|
|
1649
1649
|
}[];
|
|
1650
1650
|
};
|
|
1651
1651
|
reason: string;
|
|
@@ -1672,8 +1672,8 @@ export declare const indexerRequirementWorksetReportSchema: z.ZodObject<{
|
|
|
1672
1672
|
questions?: {
|
|
1673
1673
|
ref: string;
|
|
1674
1674
|
authority: {
|
|
1675
|
-
kind: "cli-base-contract" | "verified-contract-overlay";
|
|
1676
1675
|
ref: string;
|
|
1676
|
+
kind: "cli-base-contract" | "verified-contract-overlay";
|
|
1677
1677
|
digest: string;
|
|
1678
1678
|
};
|
|
1679
1679
|
contract_version: number;
|
|
@@ -1699,20 +1699,20 @@ export declare const indexerRequirementWorksetReportSchema: z.ZodObject<{
|
|
|
1699
1699
|
target_scope: {
|
|
1700
1700
|
targets: {
|
|
1701
1701
|
source_ref: string;
|
|
1702
|
-
module_refs
|
|
1702
|
+
module_refs?: string[] | undefined;
|
|
1703
1703
|
}[];
|
|
1704
1704
|
};
|
|
1705
1705
|
evidence_source_scope: {
|
|
1706
1706
|
targets: {
|
|
1707
1707
|
source_ref: string;
|
|
1708
|
-
module_refs
|
|
1708
|
+
module_refs?: string[] | undefined;
|
|
1709
1709
|
}[];
|
|
1710
1710
|
};
|
|
1711
1711
|
questions?: {
|
|
1712
1712
|
ref: string;
|
|
1713
1713
|
authority: {
|
|
1714
|
-
kind: "cli-base-contract" | "verified-contract-overlay";
|
|
1715
1714
|
ref: string;
|
|
1715
|
+
kind: "cli-base-contract" | "verified-contract-overlay";
|
|
1716
1716
|
digest: string;
|
|
1717
1717
|
};
|
|
1718
1718
|
contract_version: number;
|
|
@@ -1723,7 +1723,7 @@ export declare const indexerRequirementWorksetReportSchema: z.ZodObject<{
|
|
|
1723
1723
|
scope: {
|
|
1724
1724
|
targets: {
|
|
1725
1725
|
source_ref: string;
|
|
1726
|
-
module_refs
|
|
1726
|
+
module_refs?: string[] | undefined;
|
|
1727
1727
|
}[];
|
|
1728
1728
|
};
|
|
1729
1729
|
reason: string;
|
|
@@ -1743,12 +1743,12 @@ export declare const indexerRequirementWorksetReportSchema: z.ZodObject<{
|
|
|
1743
1743
|
ref: z.ZodString;
|
|
1744
1744
|
digest: z.ZodString;
|
|
1745
1745
|
}, "strict", z.ZodTypeAny, {
|
|
1746
|
-
kind: "cli-base-contract" | "verified-contract-overlay";
|
|
1747
1746
|
ref: string;
|
|
1747
|
+
kind: "cli-base-contract" | "verified-contract-overlay";
|
|
1748
1748
|
digest: string;
|
|
1749
1749
|
}, {
|
|
1750
|
-
kind: "cli-base-contract" | "verified-contract-overlay";
|
|
1751
1750
|
ref: string;
|
|
1751
|
+
kind: "cli-base-contract" | "verified-contract-overlay";
|
|
1752
1752
|
digest: string;
|
|
1753
1753
|
}>;
|
|
1754
1754
|
contract_version: z.ZodNumber;
|
|
@@ -1756,8 +1756,8 @@ export declare const indexerRequirementWorksetReportSchema: z.ZodObject<{
|
|
|
1756
1756
|
}, "strict", z.ZodTypeAny, {
|
|
1757
1757
|
ref: string;
|
|
1758
1758
|
authority: {
|
|
1759
|
-
kind: "cli-base-contract" | "verified-contract-overlay";
|
|
1760
1759
|
ref: string;
|
|
1760
|
+
kind: "cli-base-contract" | "verified-contract-overlay";
|
|
1761
1761
|
digest: string;
|
|
1762
1762
|
};
|
|
1763
1763
|
contract_version: number;
|
|
@@ -1765,8 +1765,8 @@ export declare const indexerRequirementWorksetReportSchema: z.ZodObject<{
|
|
|
1765
1765
|
}, {
|
|
1766
1766
|
ref: string;
|
|
1767
1767
|
authority: {
|
|
1768
|
-
kind: "cli-base-contract" | "verified-contract-overlay";
|
|
1769
1768
|
ref: string;
|
|
1769
|
+
kind: "cli-base-contract" | "verified-contract-overlay";
|
|
1770
1770
|
digest: string;
|
|
1771
1771
|
};
|
|
1772
1772
|
contract_version: number;
|
|
@@ -1775,19 +1775,19 @@ export declare const indexerRequirementWorksetReportSchema: z.ZodObject<{
|
|
|
1775
1775
|
target_scope: z.ZodEffects<z.ZodObject<{
|
|
1776
1776
|
targets: z.ZodArray<z.ZodEffects<z.ZodObject<{
|
|
1777
1777
|
source_ref: z.ZodString;
|
|
1778
|
-
module_refs: z.ZodArray<z.ZodString, "many"
|
|
1778
|
+
module_refs: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
|
|
1779
1779
|
}, "strict", z.ZodTypeAny, {
|
|
1780
1780
|
source_ref: string;
|
|
1781
1781
|
module_refs: string[];
|
|
1782
1782
|
}, {
|
|
1783
1783
|
source_ref: string;
|
|
1784
|
-
module_refs
|
|
1784
|
+
module_refs?: string[] | undefined;
|
|
1785
1785
|
}>, {
|
|
1786
1786
|
source_ref: string;
|
|
1787
1787
|
module_refs: string[];
|
|
1788
1788
|
}, {
|
|
1789
1789
|
source_ref: string;
|
|
1790
|
-
module_refs
|
|
1790
|
+
module_refs?: string[] | undefined;
|
|
1791
1791
|
}>, "many">;
|
|
1792
1792
|
}, "strict", z.ZodTypeAny, {
|
|
1793
1793
|
targets: {
|
|
@@ -1797,7 +1797,7 @@ export declare const indexerRequirementWorksetReportSchema: z.ZodObject<{
|
|
|
1797
1797
|
}, {
|
|
1798
1798
|
targets: {
|
|
1799
1799
|
source_ref: string;
|
|
1800
|
-
module_refs
|
|
1800
|
+
module_refs?: string[] | undefined;
|
|
1801
1801
|
}[];
|
|
1802
1802
|
}>, {
|
|
1803
1803
|
targets: {
|
|
@@ -1807,25 +1807,25 @@ export declare const indexerRequirementWorksetReportSchema: z.ZodObject<{
|
|
|
1807
1807
|
}, {
|
|
1808
1808
|
targets: {
|
|
1809
1809
|
source_ref: string;
|
|
1810
|
-
module_refs
|
|
1810
|
+
module_refs?: string[] | undefined;
|
|
1811
1811
|
}[];
|
|
1812
1812
|
}>;
|
|
1813
1813
|
evidence_source_scope: z.ZodEffects<z.ZodObject<{
|
|
1814
1814
|
targets: z.ZodArray<z.ZodEffects<z.ZodObject<{
|
|
1815
1815
|
source_ref: z.ZodString;
|
|
1816
|
-
module_refs: z.ZodArray<z.ZodString, "many"
|
|
1816
|
+
module_refs: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
|
|
1817
1817
|
}, "strict", z.ZodTypeAny, {
|
|
1818
1818
|
source_ref: string;
|
|
1819
1819
|
module_refs: string[];
|
|
1820
1820
|
}, {
|
|
1821
1821
|
source_ref: string;
|
|
1822
|
-
module_refs
|
|
1822
|
+
module_refs?: string[] | undefined;
|
|
1823
1823
|
}>, {
|
|
1824
1824
|
source_ref: string;
|
|
1825
1825
|
module_refs: string[];
|
|
1826
1826
|
}, {
|
|
1827
1827
|
source_ref: string;
|
|
1828
|
-
module_refs
|
|
1828
|
+
module_refs?: string[] | undefined;
|
|
1829
1829
|
}>, "many">;
|
|
1830
1830
|
}, "strict", z.ZodTypeAny, {
|
|
1831
1831
|
targets: {
|
|
@@ -1835,7 +1835,7 @@ export declare const indexerRequirementWorksetReportSchema: z.ZodObject<{
|
|
|
1835
1835
|
}, {
|
|
1836
1836
|
targets: {
|
|
1837
1837
|
source_ref: string;
|
|
1838
|
-
module_refs
|
|
1838
|
+
module_refs?: string[] | undefined;
|
|
1839
1839
|
}[];
|
|
1840
1840
|
}>, {
|
|
1841
1841
|
targets: {
|
|
@@ -1845,7 +1845,7 @@ export declare const indexerRequirementWorksetReportSchema: z.ZodObject<{
|
|
|
1845
1845
|
}, {
|
|
1846
1846
|
targets: {
|
|
1847
1847
|
source_ref: string;
|
|
1848
|
-
module_refs
|
|
1848
|
+
module_refs?: string[] | undefined;
|
|
1849
1849
|
}[];
|
|
1850
1850
|
}>;
|
|
1851
1851
|
exclusions: z.ZodOptional<z.ZodArray<z.ZodObject<{
|
|
@@ -1853,19 +1853,19 @@ export declare const indexerRequirementWorksetReportSchema: z.ZodObject<{
|
|
|
1853
1853
|
scope: z.ZodEffects<z.ZodObject<{
|
|
1854
1854
|
targets: z.ZodArray<z.ZodEffects<z.ZodObject<{
|
|
1855
1855
|
source_ref: z.ZodString;
|
|
1856
|
-
module_refs: z.ZodArray<z.ZodString, "many"
|
|
1856
|
+
module_refs: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
|
|
1857
1857
|
}, "strict", z.ZodTypeAny, {
|
|
1858
1858
|
source_ref: string;
|
|
1859
1859
|
module_refs: string[];
|
|
1860
1860
|
}, {
|
|
1861
1861
|
source_ref: string;
|
|
1862
|
-
module_refs
|
|
1862
|
+
module_refs?: string[] | undefined;
|
|
1863
1863
|
}>, {
|
|
1864
1864
|
source_ref: string;
|
|
1865
1865
|
module_refs: string[];
|
|
1866
1866
|
}, {
|
|
1867
1867
|
source_ref: string;
|
|
1868
|
-
module_refs
|
|
1868
|
+
module_refs?: string[] | undefined;
|
|
1869
1869
|
}>, "many">;
|
|
1870
1870
|
}, "strict", z.ZodTypeAny, {
|
|
1871
1871
|
targets: {
|
|
@@ -1875,7 +1875,7 @@ export declare const indexerRequirementWorksetReportSchema: z.ZodObject<{
|
|
|
1875
1875
|
}, {
|
|
1876
1876
|
targets: {
|
|
1877
1877
|
source_ref: string;
|
|
1878
|
-
module_refs
|
|
1878
|
+
module_refs?: string[] | undefined;
|
|
1879
1879
|
}[];
|
|
1880
1880
|
}>, {
|
|
1881
1881
|
targets: {
|
|
@@ -1885,7 +1885,7 @@ export declare const indexerRequirementWorksetReportSchema: z.ZodObject<{
|
|
|
1885
1885
|
}, {
|
|
1886
1886
|
targets: {
|
|
1887
1887
|
source_ref: string;
|
|
1888
|
-
module_refs
|
|
1888
|
+
module_refs?: string[] | undefined;
|
|
1889
1889
|
}[];
|
|
1890
1890
|
}>;
|
|
1891
1891
|
reason: z.ZodString;
|
|
@@ -1903,7 +1903,7 @@ export declare const indexerRequirementWorksetReportSchema: z.ZodObject<{
|
|
|
1903
1903
|
scope: {
|
|
1904
1904
|
targets: {
|
|
1905
1905
|
source_ref: string;
|
|
1906
|
-
module_refs
|
|
1906
|
+
module_refs?: string[] | undefined;
|
|
1907
1907
|
}[];
|
|
1908
1908
|
};
|
|
1909
1909
|
reason: string;
|
|
@@ -1927,8 +1927,8 @@ export declare const indexerRequirementWorksetReportSchema: z.ZodObject<{
|
|
|
1927
1927
|
questions?: {
|
|
1928
1928
|
ref: string;
|
|
1929
1929
|
authority: {
|
|
1930
|
-
kind: "cli-base-contract" | "verified-contract-overlay";
|
|
1931
1930
|
ref: string;
|
|
1931
|
+
kind: "cli-base-contract" | "verified-contract-overlay";
|
|
1932
1932
|
digest: string;
|
|
1933
1933
|
};
|
|
1934
1934
|
contract_version: number;
|
|
@@ -1951,20 +1951,20 @@ export declare const indexerRequirementWorksetReportSchema: z.ZodObject<{
|
|
|
1951
1951
|
target_scope: {
|
|
1952
1952
|
targets: {
|
|
1953
1953
|
source_ref: string;
|
|
1954
|
-
module_refs
|
|
1954
|
+
module_refs?: string[] | undefined;
|
|
1955
1955
|
}[];
|
|
1956
1956
|
};
|
|
1957
1957
|
evidence_source_scope: {
|
|
1958
1958
|
targets: {
|
|
1959
1959
|
source_ref: string;
|
|
1960
|
-
module_refs
|
|
1960
|
+
module_refs?: string[] | undefined;
|
|
1961
1961
|
}[];
|
|
1962
1962
|
};
|
|
1963
1963
|
questions?: {
|
|
1964
1964
|
ref: string;
|
|
1965
1965
|
authority: {
|
|
1966
|
-
kind: "cli-base-contract" | "verified-contract-overlay";
|
|
1967
1966
|
ref: string;
|
|
1967
|
+
kind: "cli-base-contract" | "verified-contract-overlay";
|
|
1968
1968
|
digest: string;
|
|
1969
1969
|
};
|
|
1970
1970
|
contract_version: number;
|
|
@@ -1975,7 +1975,7 @@ export declare const indexerRequirementWorksetReportSchema: z.ZodObject<{
|
|
|
1975
1975
|
scope: {
|
|
1976
1976
|
targets: {
|
|
1977
1977
|
source_ref: string;
|
|
1978
|
-
module_refs
|
|
1978
|
+
module_refs?: string[] | undefined;
|
|
1979
1979
|
}[];
|
|
1980
1980
|
};
|
|
1981
1981
|
reason: string;
|
|
@@ -1999,8 +1999,8 @@ export declare const indexerRequirementWorksetReportSchema: z.ZodObject<{
|
|
|
1999
1999
|
questions?: {
|
|
2000
2000
|
ref: string;
|
|
2001
2001
|
authority: {
|
|
2002
|
-
kind: "cli-base-contract" | "verified-contract-overlay";
|
|
2003
2002
|
ref: string;
|
|
2003
|
+
kind: "cli-base-contract" | "verified-contract-overlay";
|
|
2004
2004
|
digest: string;
|
|
2005
2005
|
};
|
|
2006
2006
|
contract_version: number;
|
|
@@ -2023,20 +2023,20 @@ export declare const indexerRequirementWorksetReportSchema: z.ZodObject<{
|
|
|
2023
2023
|
target_scope: {
|
|
2024
2024
|
targets: {
|
|
2025
2025
|
source_ref: string;
|
|
2026
|
-
module_refs
|
|
2026
|
+
module_refs?: string[] | undefined;
|
|
2027
2027
|
}[];
|
|
2028
2028
|
};
|
|
2029
2029
|
evidence_source_scope: {
|
|
2030
2030
|
targets: {
|
|
2031
2031
|
source_ref: string;
|
|
2032
|
-
module_refs
|
|
2032
|
+
module_refs?: string[] | undefined;
|
|
2033
2033
|
}[];
|
|
2034
2034
|
};
|
|
2035
2035
|
questions?: {
|
|
2036
2036
|
ref: string;
|
|
2037
2037
|
authority: {
|
|
2038
|
-
kind: "cli-base-contract" | "verified-contract-overlay";
|
|
2039
2038
|
ref: string;
|
|
2039
|
+
kind: "cli-base-contract" | "verified-contract-overlay";
|
|
2040
2040
|
digest: string;
|
|
2041
2041
|
};
|
|
2042
2042
|
contract_version: number;
|
|
@@ -2047,7 +2047,7 @@ export declare const indexerRequirementWorksetReportSchema: z.ZodObject<{
|
|
|
2047
2047
|
scope: {
|
|
2048
2048
|
targets: {
|
|
2049
2049
|
source_ref: string;
|
|
2050
|
-
module_refs
|
|
2050
|
+
module_refs?: string[] | undefined;
|
|
2051
2051
|
}[];
|
|
2052
2052
|
};
|
|
2053
2053
|
reason: string;
|
|
@@ -2074,8 +2074,8 @@ export declare const indexerRequirementWorksetReportSchema: z.ZodObject<{
|
|
|
2074
2074
|
questions?: {
|
|
2075
2075
|
ref: string;
|
|
2076
2076
|
authority: {
|
|
2077
|
-
kind: "cli-base-contract" | "verified-contract-overlay";
|
|
2078
2077
|
ref: string;
|
|
2078
|
+
kind: "cli-base-contract" | "verified-contract-overlay";
|
|
2079
2079
|
digest: string;
|
|
2080
2080
|
};
|
|
2081
2081
|
contract_version: number;
|
|
@@ -2101,20 +2101,20 @@ export declare const indexerRequirementWorksetReportSchema: z.ZodObject<{
|
|
|
2101
2101
|
target_scope: {
|
|
2102
2102
|
targets: {
|
|
2103
2103
|
source_ref: string;
|
|
2104
|
-
module_refs
|
|
2104
|
+
module_refs?: string[] | undefined;
|
|
2105
2105
|
}[];
|
|
2106
2106
|
};
|
|
2107
2107
|
evidence_source_scope: {
|
|
2108
2108
|
targets: {
|
|
2109
2109
|
source_ref: string;
|
|
2110
|
-
module_refs
|
|
2110
|
+
module_refs?: string[] | undefined;
|
|
2111
2111
|
}[];
|
|
2112
2112
|
};
|
|
2113
2113
|
questions?: {
|
|
2114
2114
|
ref: string;
|
|
2115
2115
|
authority: {
|
|
2116
|
-
kind: "cli-base-contract" | "verified-contract-overlay";
|
|
2117
2116
|
ref: string;
|
|
2117
|
+
kind: "cli-base-contract" | "verified-contract-overlay";
|
|
2118
2118
|
digest: string;
|
|
2119
2119
|
};
|
|
2120
2120
|
contract_version: number;
|
|
@@ -2125,7 +2125,7 @@ export declare const indexerRequirementWorksetReportSchema: z.ZodObject<{
|
|
|
2125
2125
|
scope: {
|
|
2126
2126
|
targets: {
|
|
2127
2127
|
source_ref: string;
|
|
2128
|
-
module_refs
|
|
2128
|
+
module_refs?: string[] | undefined;
|
|
2129
2129
|
}[];
|
|
2130
2130
|
};
|
|
2131
2131
|
reason: string;
|
|
@@ -2152,8 +2152,8 @@ export declare const indexerRequirementWorksetReportSchema: z.ZodObject<{
|
|
|
2152
2152
|
questions?: {
|
|
2153
2153
|
ref: string;
|
|
2154
2154
|
authority: {
|
|
2155
|
-
kind: "cli-base-contract" | "verified-contract-overlay";
|
|
2156
2155
|
ref: string;
|
|
2156
|
+
kind: "cli-base-contract" | "verified-contract-overlay";
|
|
2157
2157
|
digest: string;
|
|
2158
2158
|
};
|
|
2159
2159
|
contract_version: number;
|
|
@@ -2179,20 +2179,20 @@ export declare const indexerRequirementWorksetReportSchema: z.ZodObject<{
|
|
|
2179
2179
|
target_scope: {
|
|
2180
2180
|
targets: {
|
|
2181
2181
|
source_ref: string;
|
|
2182
|
-
module_refs
|
|
2182
|
+
module_refs?: string[] | undefined;
|
|
2183
2183
|
}[];
|
|
2184
2184
|
};
|
|
2185
2185
|
evidence_source_scope: {
|
|
2186
2186
|
targets: {
|
|
2187
2187
|
source_ref: string;
|
|
2188
|
-
module_refs
|
|
2188
|
+
module_refs?: string[] | undefined;
|
|
2189
2189
|
}[];
|
|
2190
2190
|
};
|
|
2191
2191
|
questions?: {
|
|
2192
2192
|
ref: string;
|
|
2193
2193
|
authority: {
|
|
2194
|
-
kind: "cli-base-contract" | "verified-contract-overlay";
|
|
2195
2194
|
ref: string;
|
|
2195
|
+
kind: "cli-base-contract" | "verified-contract-overlay";
|
|
2196
2196
|
digest: string;
|
|
2197
2197
|
};
|
|
2198
2198
|
contract_version: number;
|
|
@@ -2203,7 +2203,7 @@ export declare const indexerRequirementWorksetReportSchema: z.ZodObject<{
|
|
|
2203
2203
|
scope: {
|
|
2204
2204
|
targets: {
|
|
2205
2205
|
source_ref: string;
|
|
2206
|
-
module_refs
|
|
2206
|
+
module_refs?: string[] | undefined;
|
|
2207
2207
|
}[];
|
|
2208
2208
|
};
|
|
2209
2209
|
reason: string;
|
|
@@ -2272,8 +2272,8 @@ export declare const indexerRequirementWorksetReportSchema: z.ZodObject<{
|
|
|
2272
2272
|
questions?: {
|
|
2273
2273
|
ref: string;
|
|
2274
2274
|
authority: {
|
|
2275
|
-
kind: "cli-base-contract" | "verified-contract-overlay";
|
|
2276
2275
|
ref: string;
|
|
2276
|
+
kind: "cli-base-contract" | "verified-contract-overlay";
|
|
2277
2277
|
digest: string;
|
|
2278
2278
|
};
|
|
2279
2279
|
contract_version: number;
|
|
@@ -2309,8 +2309,8 @@ export declare const indexerRequirementWorksetReportSchema: z.ZodObject<{
|
|
|
2309
2309
|
questions?: {
|
|
2310
2310
|
ref: string;
|
|
2311
2311
|
authority: {
|
|
2312
|
-
kind: "cli-base-contract" | "verified-contract-overlay";
|
|
2313
2312
|
ref: string;
|
|
2313
|
+
kind: "cli-base-contract" | "verified-contract-overlay";
|
|
2314
2314
|
digest: string;
|
|
2315
2315
|
};
|
|
2316
2316
|
contract_version: number;
|
|
@@ -2336,7 +2336,7 @@ export declare const indexerRequirementWorksetReportSchema: z.ZodObject<{
|
|
|
2336
2336
|
evidence: {
|
|
2337
2337
|
minimumItems: number;
|
|
2338
2338
|
minimumDistinctSources: number;
|
|
2339
|
-
acceptedKinds: ("
|
|
2339
|
+
acceptedKinds: ("code" | "contract" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
|
|
2340
2340
|
provenanceRequired: boolean;
|
|
2341
2341
|
};
|
|
2342
2342
|
coverageDomain: string;
|
|
@@ -2351,7 +2351,7 @@ export declare const indexerRequirementWorksetReportSchema: z.ZodObject<{
|
|
|
2351
2351
|
evidence: {
|
|
2352
2352
|
minimumItems: number;
|
|
2353
2353
|
minimumDistinctSources: number;
|
|
2354
|
-
acceptedKinds: ("
|
|
2354
|
+
acceptedKinds: ("code" | "contract" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
|
|
2355
2355
|
provenanceRequired: boolean;
|
|
2356
2356
|
};
|
|
2357
2357
|
coverageDomain: string;
|
|
@@ -2371,7 +2371,7 @@ export declare const indexerRequirementWorksetReportSchema: z.ZodObject<{
|
|
|
2371
2371
|
requiresHumanConfirmation: boolean;
|
|
2372
2372
|
changes: {
|
|
2373
2373
|
path: string;
|
|
2374
|
-
area: "exclusions" | "
|
|
2374
|
+
area: "exclusions" | "target-scope" | "reader-goals" | "coverage-domain" | "question" | "question-semantic" | "question-selector" | "question-domain" | "question-evidence";
|
|
2375
2375
|
relation: "strengthening" | "contraction" | "incomparable";
|
|
2376
2376
|
detail: string;
|
|
2377
2377
|
}[];
|
|
@@ -2400,8 +2400,8 @@ export declare const indexerRequirementWorksetReportSchema: z.ZodObject<{
|
|
|
2400
2400
|
questions?: {
|
|
2401
2401
|
ref: string;
|
|
2402
2402
|
authority: {
|
|
2403
|
-
kind: "cli-base-contract" | "verified-contract-overlay";
|
|
2404
2403
|
ref: string;
|
|
2404
|
+
kind: "cli-base-contract" | "verified-contract-overlay";
|
|
2405
2405
|
digest: string;
|
|
2406
2406
|
};
|
|
2407
2407
|
contract_version: number;
|
|
@@ -2437,8 +2437,8 @@ export declare const indexerRequirementWorksetReportSchema: z.ZodObject<{
|
|
|
2437
2437
|
questions?: {
|
|
2438
2438
|
ref: string;
|
|
2439
2439
|
authority: {
|
|
2440
|
-
kind: "cli-base-contract" | "verified-contract-overlay";
|
|
2441
2440
|
ref: string;
|
|
2441
|
+
kind: "cli-base-contract" | "verified-contract-overlay";
|
|
2442
2442
|
digest: string;
|
|
2443
2443
|
};
|
|
2444
2444
|
contract_version: number;
|
|
@@ -2464,7 +2464,7 @@ export declare const indexerRequirementWorksetReportSchema: z.ZodObject<{
|
|
|
2464
2464
|
evidence: {
|
|
2465
2465
|
minimumItems: number;
|
|
2466
2466
|
minimumDistinctSources: number;
|
|
2467
|
-
acceptedKinds: ("
|
|
2467
|
+
acceptedKinds: ("code" | "contract" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
|
|
2468
2468
|
provenanceRequired: boolean;
|
|
2469
2469
|
};
|
|
2470
2470
|
coverageDomain: string;
|
|
@@ -2479,7 +2479,7 @@ export declare const indexerRequirementWorksetReportSchema: z.ZodObject<{
|
|
|
2479
2479
|
evidence: {
|
|
2480
2480
|
minimumItems: number;
|
|
2481
2481
|
minimumDistinctSources: number;
|
|
2482
|
-
acceptedKinds: ("
|
|
2482
|
+
acceptedKinds: ("code" | "contract" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
|
|
2483
2483
|
provenanceRequired: boolean;
|
|
2484
2484
|
};
|
|
2485
2485
|
coverageDomain: string;
|
|
@@ -2499,7 +2499,7 @@ export declare const indexerRequirementWorksetReportSchema: z.ZodObject<{
|
|
|
2499
2499
|
requiresHumanConfirmation: boolean;
|
|
2500
2500
|
changes: {
|
|
2501
2501
|
path: string;
|
|
2502
|
-
area: "exclusions" | "
|
|
2502
|
+
area: "exclusions" | "target-scope" | "reader-goals" | "coverage-domain" | "question" | "question-semantic" | "question-selector" | "question-domain" | "question-evidence";
|
|
2503
2503
|
relation: "strengthening" | "contraction" | "incomparable";
|
|
2504
2504
|
detail: string;
|
|
2505
2505
|
}[];
|
|
@@ -2533,8 +2533,8 @@ export declare const indexerRequirementWorksetReportSchema: z.ZodObject<{
|
|
|
2533
2533
|
questions?: {
|
|
2534
2534
|
ref: string;
|
|
2535
2535
|
authority: {
|
|
2536
|
-
kind: "cli-base-contract" | "verified-contract-overlay";
|
|
2537
2536
|
ref: string;
|
|
2537
|
+
kind: "cli-base-contract" | "verified-contract-overlay";
|
|
2538
2538
|
digest: string;
|
|
2539
2539
|
};
|
|
2540
2540
|
contract_version: number;
|
|
@@ -2570,8 +2570,8 @@ export declare const indexerRequirementWorksetReportSchema: z.ZodObject<{
|
|
|
2570
2570
|
questions?: {
|
|
2571
2571
|
ref: string;
|
|
2572
2572
|
authority: {
|
|
2573
|
-
kind: "cli-base-contract" | "verified-contract-overlay";
|
|
2574
2573
|
ref: string;
|
|
2574
|
+
kind: "cli-base-contract" | "verified-contract-overlay";
|
|
2575
2575
|
digest: string;
|
|
2576
2576
|
};
|
|
2577
2577
|
contract_version: number;
|
|
@@ -2597,7 +2597,7 @@ export declare const indexerRequirementWorksetReportSchema: z.ZodObject<{
|
|
|
2597
2597
|
evidence: {
|
|
2598
2598
|
minimumItems: number;
|
|
2599
2599
|
minimumDistinctSources: number;
|
|
2600
|
-
acceptedKinds: ("
|
|
2600
|
+
acceptedKinds: ("code" | "contract" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
|
|
2601
2601
|
provenanceRequired: boolean;
|
|
2602
2602
|
};
|
|
2603
2603
|
coverageDomain: string;
|
|
@@ -2612,7 +2612,7 @@ export declare const indexerRequirementWorksetReportSchema: z.ZodObject<{
|
|
|
2612
2612
|
evidence: {
|
|
2613
2613
|
minimumItems: number;
|
|
2614
2614
|
minimumDistinctSources: number;
|
|
2615
|
-
acceptedKinds: ("
|
|
2615
|
+
acceptedKinds: ("code" | "contract" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
|
|
2616
2616
|
provenanceRequired: boolean;
|
|
2617
2617
|
};
|
|
2618
2618
|
coverageDomain: string;
|
|
@@ -2632,7 +2632,7 @@ export declare const indexerRequirementWorksetReportSchema: z.ZodObject<{
|
|
|
2632
2632
|
requiresHumanConfirmation: boolean;
|
|
2633
2633
|
changes: {
|
|
2634
2634
|
path: string;
|
|
2635
|
-
area: "exclusions" | "
|
|
2635
|
+
area: "exclusions" | "target-scope" | "reader-goals" | "coverage-domain" | "question" | "question-semantic" | "question-selector" | "question-domain" | "question-evidence";
|
|
2636
2636
|
relation: "strengthening" | "contraction" | "incomparable";
|
|
2637
2637
|
detail: string;
|
|
2638
2638
|
}[];
|
|
@@ -2666,8 +2666,8 @@ export declare const indexerRequirementWorksetReportSchema: z.ZodObject<{
|
|
|
2666
2666
|
questions?: {
|
|
2667
2667
|
ref: string;
|
|
2668
2668
|
authority: {
|
|
2669
|
-
kind: "cli-base-contract" | "verified-contract-overlay";
|
|
2670
2669
|
ref: string;
|
|
2670
|
+
kind: "cli-base-contract" | "verified-contract-overlay";
|
|
2671
2671
|
digest: string;
|
|
2672
2672
|
};
|
|
2673
2673
|
contract_version: number;
|
|
@@ -2703,8 +2703,8 @@ export declare const indexerRequirementWorksetReportSchema: z.ZodObject<{
|
|
|
2703
2703
|
questions?: {
|
|
2704
2704
|
ref: string;
|
|
2705
2705
|
authority: {
|
|
2706
|
-
kind: "cli-base-contract" | "verified-contract-overlay";
|
|
2707
2706
|
ref: string;
|
|
2707
|
+
kind: "cli-base-contract" | "verified-contract-overlay";
|
|
2708
2708
|
digest: string;
|
|
2709
2709
|
};
|
|
2710
2710
|
contract_version: number;
|
|
@@ -2730,7 +2730,7 @@ export declare const indexerRequirementWorksetReportSchema: z.ZodObject<{
|
|
|
2730
2730
|
evidence: {
|
|
2731
2731
|
minimumItems: number;
|
|
2732
2732
|
minimumDistinctSources: number;
|
|
2733
|
-
acceptedKinds: ("
|
|
2733
|
+
acceptedKinds: ("code" | "contract" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
|
|
2734
2734
|
provenanceRequired: boolean;
|
|
2735
2735
|
};
|
|
2736
2736
|
coverageDomain: string;
|
|
@@ -2745,7 +2745,7 @@ export declare const indexerRequirementWorksetReportSchema: z.ZodObject<{
|
|
|
2745
2745
|
evidence: {
|
|
2746
2746
|
minimumItems: number;
|
|
2747
2747
|
minimumDistinctSources: number;
|
|
2748
|
-
acceptedKinds: ("
|
|
2748
|
+
acceptedKinds: ("code" | "contract" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
|
|
2749
2749
|
provenanceRequired: boolean;
|
|
2750
2750
|
};
|
|
2751
2751
|
coverageDomain: string;
|
|
@@ -2765,7 +2765,7 @@ export declare const indexerRequirementWorksetReportSchema: z.ZodObject<{
|
|
|
2765
2765
|
requiresHumanConfirmation: boolean;
|
|
2766
2766
|
changes: {
|
|
2767
2767
|
path: string;
|
|
2768
|
-
area: "exclusions" | "
|
|
2768
|
+
area: "exclusions" | "target-scope" | "reader-goals" | "coverage-domain" | "question" | "question-semantic" | "question-selector" | "question-domain" | "question-evidence";
|
|
2769
2769
|
relation: "strengthening" | "contraction" | "incomparable";
|
|
2770
2770
|
detail: string;
|
|
2771
2771
|
}[];
|
|
@@ -2819,8 +2819,8 @@ export declare const indexerRequirementWorksetReportSchema: z.ZodObject<{
|
|
|
2819
2819
|
questions?: {
|
|
2820
2820
|
ref: string;
|
|
2821
2821
|
authority: {
|
|
2822
|
-
kind: "cli-base-contract" | "verified-contract-overlay";
|
|
2823
2822
|
ref: string;
|
|
2823
|
+
kind: "cli-base-contract" | "verified-contract-overlay";
|
|
2824
2824
|
digest: string;
|
|
2825
2825
|
};
|
|
2826
2826
|
contract_version: number;
|
|
@@ -2856,8 +2856,8 @@ export declare const indexerRequirementWorksetReportSchema: z.ZodObject<{
|
|
|
2856
2856
|
questions?: {
|
|
2857
2857
|
ref: string;
|
|
2858
2858
|
authority: {
|
|
2859
|
-
kind: "cli-base-contract" | "verified-contract-overlay";
|
|
2860
2859
|
ref: string;
|
|
2860
|
+
kind: "cli-base-contract" | "verified-contract-overlay";
|
|
2861
2861
|
digest: string;
|
|
2862
2862
|
};
|
|
2863
2863
|
contract_version: number;
|
|
@@ -2883,7 +2883,7 @@ export declare const indexerRequirementWorksetReportSchema: z.ZodObject<{
|
|
|
2883
2883
|
evidence: {
|
|
2884
2884
|
minimumItems: number;
|
|
2885
2885
|
minimumDistinctSources: number;
|
|
2886
|
-
acceptedKinds: ("
|
|
2886
|
+
acceptedKinds: ("code" | "contract" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
|
|
2887
2887
|
provenanceRequired: boolean;
|
|
2888
2888
|
};
|
|
2889
2889
|
coverageDomain: string;
|
|
@@ -2898,7 +2898,7 @@ export declare const indexerRequirementWorksetReportSchema: z.ZodObject<{
|
|
|
2898
2898
|
evidence: {
|
|
2899
2899
|
minimumItems: number;
|
|
2900
2900
|
minimumDistinctSources: number;
|
|
2901
|
-
acceptedKinds: ("
|
|
2901
|
+
acceptedKinds: ("code" | "contract" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
|
|
2902
2902
|
provenanceRequired: boolean;
|
|
2903
2903
|
};
|
|
2904
2904
|
coverageDomain: string;
|
|
@@ -2918,7 +2918,7 @@ export declare const indexerRequirementWorksetReportSchema: z.ZodObject<{
|
|
|
2918
2918
|
requiresHumanConfirmation: boolean;
|
|
2919
2919
|
changes: {
|
|
2920
2920
|
path: string;
|
|
2921
|
-
area: "exclusions" | "
|
|
2921
|
+
area: "exclusions" | "target-scope" | "reader-goals" | "coverage-domain" | "question" | "question-semantic" | "question-selector" | "question-domain" | "question-evidence";
|
|
2922
2922
|
relation: "strengthening" | "contraction" | "incomparable";
|
|
2923
2923
|
detail: string;
|
|
2924
2924
|
}[];
|
|
@@ -2948,8 +2948,8 @@ export declare const indexerRequirementWorksetReportSchema: z.ZodObject<{
|
|
|
2948
2948
|
questions?: {
|
|
2949
2949
|
ref: string;
|
|
2950
2950
|
authority: {
|
|
2951
|
-
kind: "cli-base-contract" | "verified-contract-overlay";
|
|
2952
2951
|
ref: string;
|
|
2952
|
+
kind: "cli-base-contract" | "verified-contract-overlay";
|
|
2953
2953
|
digest: string;
|
|
2954
2954
|
};
|
|
2955
2955
|
contract_version: number;
|
|
@@ -2988,8 +2988,8 @@ export declare const indexerRequirementWorksetReportSchema: z.ZodObject<{
|
|
|
2988
2988
|
questions?: {
|
|
2989
2989
|
ref: string;
|
|
2990
2990
|
authority: {
|
|
2991
|
-
kind: "cli-base-contract" | "verified-contract-overlay";
|
|
2992
2991
|
ref: string;
|
|
2992
|
+
kind: "cli-base-contract" | "verified-contract-overlay";
|
|
2993
2993
|
digest: string;
|
|
2994
2994
|
};
|
|
2995
2995
|
contract_version: number;
|
|
@@ -3053,8 +3053,8 @@ export declare const indexerRequirementWorksetReportSchema: z.ZodObject<{
|
|
|
3053
3053
|
questions?: {
|
|
3054
3054
|
ref: string;
|
|
3055
3055
|
authority: {
|
|
3056
|
-
kind: "cli-base-contract" | "verified-contract-overlay";
|
|
3057
3056
|
ref: string;
|
|
3057
|
+
kind: "cli-base-contract" | "verified-contract-overlay";
|
|
3058
3058
|
digest: string;
|
|
3059
3059
|
};
|
|
3060
3060
|
contract_version: number;
|
|
@@ -3090,8 +3090,8 @@ export declare const indexerRequirementWorksetReportSchema: z.ZodObject<{
|
|
|
3090
3090
|
questions?: {
|
|
3091
3091
|
ref: string;
|
|
3092
3092
|
authority: {
|
|
3093
|
-
kind: "cli-base-contract" | "verified-contract-overlay";
|
|
3094
3093
|
ref: string;
|
|
3094
|
+
kind: "cli-base-contract" | "verified-contract-overlay";
|
|
3095
3095
|
digest: string;
|
|
3096
3096
|
};
|
|
3097
3097
|
contract_version: number;
|
|
@@ -3117,7 +3117,7 @@ export declare const indexerRequirementWorksetReportSchema: z.ZodObject<{
|
|
|
3117
3117
|
evidence: {
|
|
3118
3118
|
minimumItems: number;
|
|
3119
3119
|
minimumDistinctSources: number;
|
|
3120
|
-
acceptedKinds: ("
|
|
3120
|
+
acceptedKinds: ("code" | "contract" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
|
|
3121
3121
|
provenanceRequired: boolean;
|
|
3122
3122
|
};
|
|
3123
3123
|
coverageDomain: string;
|
|
@@ -3132,7 +3132,7 @@ export declare const indexerRequirementWorksetReportSchema: z.ZodObject<{
|
|
|
3132
3132
|
evidence: {
|
|
3133
3133
|
minimumItems: number;
|
|
3134
3134
|
minimumDistinctSources: number;
|
|
3135
|
-
acceptedKinds: ("
|
|
3135
|
+
acceptedKinds: ("code" | "contract" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot")[];
|
|
3136
3136
|
provenanceRequired: boolean;
|
|
3137
3137
|
};
|
|
3138
3138
|
coverageDomain: string;
|
|
@@ -3152,7 +3152,7 @@ export declare const indexerRequirementWorksetReportSchema: z.ZodObject<{
|
|
|
3152
3152
|
requiresHumanConfirmation: boolean;
|
|
3153
3153
|
changes: {
|
|
3154
3154
|
path: string;
|
|
3155
|
-
area: "exclusions" | "
|
|
3155
|
+
area: "exclusions" | "target-scope" | "reader-goals" | "coverage-domain" | "question" | "question-semantic" | "question-selector" | "question-domain" | "question-evidence";
|
|
3156
3156
|
relation: "strengthening" | "contraction" | "incomparable";
|
|
3157
3157
|
detail: string;
|
|
3158
3158
|
}[];
|
|
@@ -3170,20 +3170,20 @@ export declare const indexerRequirementWorksetReportSchema: z.ZodObject<{
|
|
|
3170
3170
|
target_scope: {
|
|
3171
3171
|
targets: {
|
|
3172
3172
|
source_ref: string;
|
|
3173
|
-
module_refs
|
|
3173
|
+
module_refs?: string[] | undefined;
|
|
3174
3174
|
}[];
|
|
3175
3175
|
};
|
|
3176
3176
|
evidence_source_scope: {
|
|
3177
3177
|
targets: {
|
|
3178
3178
|
source_ref: string;
|
|
3179
|
-
module_refs
|
|
3179
|
+
module_refs?: string[] | undefined;
|
|
3180
3180
|
}[];
|
|
3181
3181
|
};
|
|
3182
3182
|
questions?: {
|
|
3183
3183
|
ref: string;
|
|
3184
3184
|
authority: {
|
|
3185
|
-
kind: "cli-base-contract" | "verified-contract-overlay";
|
|
3186
3185
|
ref: string;
|
|
3186
|
+
kind: "cli-base-contract" | "verified-contract-overlay";
|
|
3187
3187
|
digest: string;
|
|
3188
3188
|
};
|
|
3189
3189
|
contract_version: number;
|
|
@@ -3194,7 +3194,7 @@ export declare const indexerRequirementWorksetReportSchema: z.ZodObject<{
|
|
|
3194
3194
|
scope: {
|
|
3195
3195
|
targets: {
|
|
3196
3196
|
source_ref: string;
|
|
3197
|
-
module_refs
|
|
3197
|
+
module_refs?: string[] | undefined;
|
|
3198
3198
|
}[];
|
|
3199
3199
|
};
|
|
3200
3200
|
reason: string;
|
|
@@ -3210,20 +3210,20 @@ export declare const indexerRequirementWorksetReportSchema: z.ZodObject<{
|
|
|
3210
3210
|
target_scope: {
|
|
3211
3211
|
targets: {
|
|
3212
3212
|
source_ref: string;
|
|
3213
|
-
module_refs
|
|
3213
|
+
module_refs?: string[] | undefined;
|
|
3214
3214
|
}[];
|
|
3215
3215
|
};
|
|
3216
3216
|
evidence_source_scope: {
|
|
3217
3217
|
targets: {
|
|
3218
3218
|
source_ref: string;
|
|
3219
|
-
module_refs
|
|
3219
|
+
module_refs?: string[] | undefined;
|
|
3220
3220
|
}[];
|
|
3221
3221
|
};
|
|
3222
3222
|
questions?: {
|
|
3223
3223
|
ref: string;
|
|
3224
3224
|
authority: {
|
|
3225
|
-
kind: "cli-base-contract" | "verified-contract-overlay";
|
|
3226
3225
|
ref: string;
|
|
3226
|
+
kind: "cli-base-contract" | "verified-contract-overlay";
|
|
3227
3227
|
digest: string;
|
|
3228
3228
|
};
|
|
3229
3229
|
contract_version: number;
|
|
@@ -3234,7 +3234,7 @@ export declare const indexerRequirementWorksetReportSchema: z.ZodObject<{
|
|
|
3234
3234
|
scope: {
|
|
3235
3235
|
targets: {
|
|
3236
3236
|
source_ref: string;
|
|
3237
|
-
module_refs
|
|
3237
|
+
module_refs?: string[] | undefined;
|
|
3238
3238
|
}[];
|
|
3239
3239
|
};
|
|
3240
3240
|
reason: string;
|
|
@@ -3258,28 +3258,28 @@ export declare const indexerRequirementWorksetConfirmationSchema: z.ZodObject<{
|
|
|
3258
3258
|
confirmed_at: z.ZodString;
|
|
3259
3259
|
confirmation_digest: z.ZodString;
|
|
3260
3260
|
}, "strict", z.ZodTypeAny, {
|
|
3261
|
-
protocol: "context.indexer.requirement-workset-confirmation/v1";
|
|
3262
3261
|
authority: "managed" | "human";
|
|
3262
|
+
protocol: "context.indexer.requirement-workset-confirmation/v1";
|
|
3263
3263
|
workset_digest: string;
|
|
3264
3264
|
project_ref: string;
|
|
3265
3265
|
report_digest: string;
|
|
3266
|
-
confirmed_by: string;
|
|
3267
|
-
confirmed_at: string;
|
|
3268
3266
|
gate: "confirm-index-requirements" | "confirm-index-requirement-contraction";
|
|
3269
3267
|
non_delegable: boolean;
|
|
3268
|
+
confirmed_by: string;
|
|
3269
|
+
confirmed_at: string;
|
|
3270
3270
|
confirmation_digest: string;
|
|
3271
3271
|
base_requirement_set_digest: string | null;
|
|
3272
3272
|
target_requirement_set_digest: string;
|
|
3273
3273
|
}, {
|
|
3274
|
-
protocol: "context.indexer.requirement-workset-confirmation/v1";
|
|
3275
3274
|
authority: "managed" | "human";
|
|
3275
|
+
protocol: "context.indexer.requirement-workset-confirmation/v1";
|
|
3276
3276
|
workset_digest: string;
|
|
3277
3277
|
project_ref: string;
|
|
3278
3278
|
report_digest: string;
|
|
3279
|
-
confirmed_by: string;
|
|
3280
|
-
confirmed_at: string;
|
|
3281
3279
|
gate: "confirm-index-requirements" | "confirm-index-requirement-contraction";
|
|
3282
3280
|
non_delegable: boolean;
|
|
3281
|
+
confirmed_by: string;
|
|
3282
|
+
confirmed_at: string;
|
|
3283
3283
|
confirmation_digest: string;
|
|
3284
3284
|
base_requirement_set_digest: string | null;
|
|
3285
3285
|
target_requirement_set_digest: string;
|