@c4a/context 0.7.0 → 0.7.1
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 +1 -1
- package/README.zh-CN.md +1 -1
- package/docs/getting-started.md +30 -24
- package/docs/guides/agent-guide.md +41 -46
- package/docs/reference/code-extractors.md +7 -22
- package/docs/reference/indexer-provider-protocol.md +17 -28
- package/docs/reference/project-api.md +39 -38
- package/index.d.ts +2 -2
- package/index.js +127 -349
- package/indexerArtifactResult.d.ts +2 -3
- package/indexerCandidateCompile.d.ts +184 -0
- package/{indexerOverlayTrust.d.ts → indexerContractOverlay.d.ts} +13 -559
- package/indexerOverlayQuestionAmendment.d.ts +6 -6
- package/indexerOverlayQuestionApplyProposal.d.ts +8 -8
- package/indexerProvider.d.ts +0 -63
- package/package.json +1 -1
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
import { z } from "zod";
|
|
2
2
|
import type { IndexerMainAuthorWorkset } from "./indexerMainWorkset.js";
|
|
3
|
-
declare const
|
|
3
|
+
export declare const indexerEvidenceBindingSchema: z.ZodObject<{
|
|
4
4
|
evidence_ref: z.ZodString;
|
|
5
5
|
kind: z.ZodEnum<["code", "contract", "configuration", "documentation", "runbook", "decision-record", "test-result", "runtime-observation", "tool-snapshot"]>;
|
|
6
6
|
source_ref: z.ZodString;
|
|
@@ -1981,7 +1981,7 @@ export declare const indexerArtifactResultSchema: z.ZodObject<{
|
|
|
1981
1981
|
}>;
|
|
1982
1982
|
export type IndexerArtifactResult = z.infer<typeof indexerArtifactResultSchema>;
|
|
1983
1983
|
export type IndexerArtifactSectionProjection = z.infer<typeof indexerArtifactSectionProjectionSchema>;
|
|
1984
|
-
export declare function indexerEvidenceBindingDigest(value: Omit<z.infer<typeof
|
|
1984
|
+
export declare function indexerEvidenceBindingDigest(value: Omit<z.infer<typeof indexerEvidenceBindingSchema>, "binding_digest">): string;
|
|
1985
1985
|
export declare function indexerArtifactResultDigest(value: Omit<IndexerArtifactResult, "output_digest">): string;
|
|
1986
1986
|
export declare function validateIndexerArtifactResult(input: {
|
|
1987
1987
|
result: unknown;
|
|
@@ -2007,4 +2007,3 @@ export declare function validateIndexerArtifactResult(input: {
|
|
|
2007
2007
|
manifest_refs?: readonly string[];
|
|
2008
2008
|
};
|
|
2009
2009
|
}): IndexerArtifactResult;
|
|
2010
|
-
export {};
|
|
@@ -94,8 +94,69 @@ export declare const indexerCandidateCompileSchema: z.ZodObject<{
|
|
|
94
94
|
}>, "many">;
|
|
95
95
|
files: z.ZodArray<z.ZodObject<{
|
|
96
96
|
artifact_ref: z.ZodString;
|
|
97
|
+
node_ref: z.ZodString;
|
|
98
|
+
internal_view_ref: z.ZodString;
|
|
99
|
+
collection: z.ZodType<import("./contracts.js").TopLevelNamespace, z.ZodTypeDef, import("./contracts.js").TopLevelNamespace>;
|
|
100
|
+
artifact_kind: z.ZodEffects<z.ZodString, string, string>;
|
|
97
101
|
output_path: z.ZodEffects<z.ZodString, string, string>;
|
|
98
102
|
indexer_id: z.ZodEffects<z.ZodString, string, string>;
|
|
103
|
+
source_ref: z.ZodString;
|
|
104
|
+
evidence_bindings: z.ZodArray<z.ZodObject<{
|
|
105
|
+
evidence_ref: z.ZodString;
|
|
106
|
+
kind: z.ZodEnum<["code", "contract", "configuration", "documentation", "runbook", "decision-record", "test-result", "runtime-observation", "tool-snapshot"]>;
|
|
107
|
+
source_ref: z.ZodString;
|
|
108
|
+
module_ref: z.ZodNullable<z.ZodString>;
|
|
109
|
+
locator: z.ZodEffects<z.ZodObject<{
|
|
110
|
+
path: z.ZodEffects<z.ZodString, string, string>;
|
|
111
|
+
start_line: z.ZodNumber;
|
|
112
|
+
end_line: z.ZodNumber;
|
|
113
|
+
}, "strict", z.ZodTypeAny, {
|
|
114
|
+
path: string;
|
|
115
|
+
start_line: number;
|
|
116
|
+
end_line: number;
|
|
117
|
+
}, {
|
|
118
|
+
path: string;
|
|
119
|
+
start_line: number;
|
|
120
|
+
end_line: number;
|
|
121
|
+
}>, {
|
|
122
|
+
path: string;
|
|
123
|
+
start_line: number;
|
|
124
|
+
end_line: number;
|
|
125
|
+
}, {
|
|
126
|
+
path: string;
|
|
127
|
+
start_line: number;
|
|
128
|
+
end_line: number;
|
|
129
|
+
}>;
|
|
130
|
+
content_digest: z.ZodString;
|
|
131
|
+
coverage_tier: z.ZodEnum<["ast-catalog", "lightweight-evidence"]>;
|
|
132
|
+
binding_digest: z.ZodString;
|
|
133
|
+
}, "strict", z.ZodTypeAny, {
|
|
134
|
+
kind: "contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot";
|
|
135
|
+
source_ref: string;
|
|
136
|
+
locator: {
|
|
137
|
+
path: string;
|
|
138
|
+
start_line: number;
|
|
139
|
+
end_line: number;
|
|
140
|
+
};
|
|
141
|
+
module_ref: string | null;
|
|
142
|
+
coverage_tier: "ast-catalog" | "lightweight-evidence";
|
|
143
|
+
content_digest: string;
|
|
144
|
+
evidence_ref: string;
|
|
145
|
+
binding_digest: string;
|
|
146
|
+
}, {
|
|
147
|
+
kind: "contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot";
|
|
148
|
+
source_ref: string;
|
|
149
|
+
locator: {
|
|
150
|
+
path: string;
|
|
151
|
+
start_line: number;
|
|
152
|
+
end_line: number;
|
|
153
|
+
};
|
|
154
|
+
module_ref: string | null;
|
|
155
|
+
coverage_tier: "ast-catalog" | "lightweight-evidence";
|
|
156
|
+
content_digest: string;
|
|
157
|
+
evidence_ref: string;
|
|
158
|
+
binding_digest: string;
|
|
159
|
+
}>, "many">;
|
|
99
160
|
acceptance_digest: z.ZodString;
|
|
100
161
|
indexer_result_digest: z.ZodString;
|
|
101
162
|
artifact_result_digest: z.ZodString;
|
|
@@ -103,17 +164,62 @@ export declare const indexerCandidateCompileSchema: z.ZodObject<{
|
|
|
103
164
|
result_binding_digest: z.ZodString;
|
|
104
165
|
shared_artifact_fingerprint_digest: z.ZodString;
|
|
105
166
|
section_refs: z.ZodArray<z.ZodString, "many">;
|
|
167
|
+
sections: z.ZodArray<z.ZodObject<{
|
|
168
|
+
section_ref: z.ZodString;
|
|
169
|
+
section_key: z.ZodEffects<z.ZodString, string, string>;
|
|
170
|
+
evidence_refs: z.ZodArray<z.ZodString, "many">;
|
|
171
|
+
markdown: z.ZodString;
|
|
172
|
+
markdown_digest: z.ZodString;
|
|
173
|
+
}, "strict", z.ZodTypeAny, {
|
|
174
|
+
evidence_refs: string[];
|
|
175
|
+
markdown: string;
|
|
176
|
+
section_key: string;
|
|
177
|
+
section_ref: string;
|
|
178
|
+
markdown_digest: string;
|
|
179
|
+
}, {
|
|
180
|
+
evidence_refs: string[];
|
|
181
|
+
markdown: string;
|
|
182
|
+
section_key: string;
|
|
183
|
+
section_ref: string;
|
|
184
|
+
markdown_digest: string;
|
|
185
|
+
}>, "many">;
|
|
106
186
|
markdown: z.ZodString;
|
|
107
187
|
markdown_digest: z.ZodString;
|
|
108
188
|
} & {
|
|
109
189
|
file_digest: z.ZodString;
|
|
110
190
|
}, "strict", z.ZodTypeAny, {
|
|
191
|
+
source_ref: string;
|
|
192
|
+
collection: import("./contracts.js").TopLevelNamespace;
|
|
111
193
|
output_path: string;
|
|
194
|
+
artifact_kind: string;
|
|
112
195
|
indexer_id: string;
|
|
113
196
|
markdown: string;
|
|
197
|
+
node_ref: string;
|
|
114
198
|
artifact_result_digest: string;
|
|
199
|
+
evidence_bindings: {
|
|
200
|
+
kind: "contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot";
|
|
201
|
+
source_ref: string;
|
|
202
|
+
locator: {
|
|
203
|
+
path: string;
|
|
204
|
+
start_line: number;
|
|
205
|
+
end_line: number;
|
|
206
|
+
};
|
|
207
|
+
module_ref: string | null;
|
|
208
|
+
coverage_tier: "ast-catalog" | "lightweight-evidence";
|
|
209
|
+
content_digest: string;
|
|
210
|
+
evidence_ref: string;
|
|
211
|
+
binding_digest: string;
|
|
212
|
+
}[];
|
|
213
|
+
sections: {
|
|
214
|
+
evidence_refs: string[];
|
|
215
|
+
markdown: string;
|
|
216
|
+
section_key: string;
|
|
217
|
+
section_ref: string;
|
|
218
|
+
markdown_digest: string;
|
|
219
|
+
}[];
|
|
115
220
|
artifact_ref: string;
|
|
116
221
|
acceptance_digest: string;
|
|
222
|
+
internal_view_ref: string;
|
|
117
223
|
shared_artifact_fingerprint_digest: string;
|
|
118
224
|
section_refs: string[];
|
|
119
225
|
markdown_digest: string;
|
|
@@ -122,12 +228,38 @@ export declare const indexerCandidateCompileSchema: z.ZodObject<{
|
|
|
122
228
|
result_binding_digest: string;
|
|
123
229
|
file_digest: string;
|
|
124
230
|
}, {
|
|
231
|
+
source_ref: string;
|
|
232
|
+
collection: import("./contracts.js").TopLevelNamespace;
|
|
125
233
|
output_path: string;
|
|
234
|
+
artifact_kind: string;
|
|
126
235
|
indexer_id: string;
|
|
127
236
|
markdown: string;
|
|
237
|
+
node_ref: string;
|
|
128
238
|
artifact_result_digest: string;
|
|
239
|
+
evidence_bindings: {
|
|
240
|
+
kind: "contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot";
|
|
241
|
+
source_ref: string;
|
|
242
|
+
locator: {
|
|
243
|
+
path: string;
|
|
244
|
+
start_line: number;
|
|
245
|
+
end_line: number;
|
|
246
|
+
};
|
|
247
|
+
module_ref: string | null;
|
|
248
|
+
coverage_tier: "ast-catalog" | "lightweight-evidence";
|
|
249
|
+
content_digest: string;
|
|
250
|
+
evidence_ref: string;
|
|
251
|
+
binding_digest: string;
|
|
252
|
+
}[];
|
|
253
|
+
sections: {
|
|
254
|
+
evidence_refs: string[];
|
|
255
|
+
markdown: string;
|
|
256
|
+
section_key: string;
|
|
257
|
+
section_ref: string;
|
|
258
|
+
markdown_digest: string;
|
|
259
|
+
}[];
|
|
129
260
|
artifact_ref: string;
|
|
130
261
|
acceptance_digest: string;
|
|
262
|
+
internal_view_ref: string;
|
|
131
263
|
shared_artifact_fingerprint_digest: string;
|
|
132
264
|
section_refs: string[];
|
|
133
265
|
markdown_digest: string;
|
|
@@ -536,12 +668,38 @@ export declare const indexerCandidateCompileSchema: z.ZodObject<{
|
|
|
536
668
|
}, "strict", z.ZodTypeAny, {
|
|
537
669
|
protocol: "context.indexer.candidate-compile/v1";
|
|
538
670
|
files: {
|
|
671
|
+
source_ref: string;
|
|
672
|
+
collection: import("./contracts.js").TopLevelNamespace;
|
|
539
673
|
output_path: string;
|
|
674
|
+
artifact_kind: string;
|
|
540
675
|
indexer_id: string;
|
|
541
676
|
markdown: string;
|
|
677
|
+
node_ref: string;
|
|
542
678
|
artifact_result_digest: string;
|
|
679
|
+
evidence_bindings: {
|
|
680
|
+
kind: "contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot";
|
|
681
|
+
source_ref: string;
|
|
682
|
+
locator: {
|
|
683
|
+
path: string;
|
|
684
|
+
start_line: number;
|
|
685
|
+
end_line: number;
|
|
686
|
+
};
|
|
687
|
+
module_ref: string | null;
|
|
688
|
+
coverage_tier: "ast-catalog" | "lightweight-evidence";
|
|
689
|
+
content_digest: string;
|
|
690
|
+
evidence_ref: string;
|
|
691
|
+
binding_digest: string;
|
|
692
|
+
}[];
|
|
693
|
+
sections: {
|
|
694
|
+
evidence_refs: string[];
|
|
695
|
+
markdown: string;
|
|
696
|
+
section_key: string;
|
|
697
|
+
section_ref: string;
|
|
698
|
+
markdown_digest: string;
|
|
699
|
+
}[];
|
|
543
700
|
artifact_ref: string;
|
|
544
701
|
acceptance_digest: string;
|
|
702
|
+
internal_view_ref: string;
|
|
545
703
|
shared_artifact_fingerprint_digest: string;
|
|
546
704
|
section_refs: string[];
|
|
547
705
|
markdown_digest: string;
|
|
@@ -659,12 +817,38 @@ export declare const indexerCandidateCompileSchema: z.ZodObject<{
|
|
|
659
817
|
}, {
|
|
660
818
|
protocol: "context.indexer.candidate-compile/v1";
|
|
661
819
|
files: {
|
|
820
|
+
source_ref: string;
|
|
821
|
+
collection: import("./contracts.js").TopLevelNamespace;
|
|
662
822
|
output_path: string;
|
|
823
|
+
artifact_kind: string;
|
|
663
824
|
indexer_id: string;
|
|
664
825
|
markdown: string;
|
|
826
|
+
node_ref: string;
|
|
665
827
|
artifact_result_digest: string;
|
|
828
|
+
evidence_bindings: {
|
|
829
|
+
kind: "contract" | "code" | "configuration" | "documentation" | "runbook" | "decision-record" | "test-result" | "runtime-observation" | "tool-snapshot";
|
|
830
|
+
source_ref: string;
|
|
831
|
+
locator: {
|
|
832
|
+
path: string;
|
|
833
|
+
start_line: number;
|
|
834
|
+
end_line: number;
|
|
835
|
+
};
|
|
836
|
+
module_ref: string | null;
|
|
837
|
+
coverage_tier: "ast-catalog" | "lightweight-evidence";
|
|
838
|
+
content_digest: string;
|
|
839
|
+
evidence_ref: string;
|
|
840
|
+
binding_digest: string;
|
|
841
|
+
}[];
|
|
842
|
+
sections: {
|
|
843
|
+
evidence_refs: string[];
|
|
844
|
+
markdown: string;
|
|
845
|
+
section_key: string;
|
|
846
|
+
section_ref: string;
|
|
847
|
+
markdown_digest: string;
|
|
848
|
+
}[];
|
|
666
849
|
artifact_ref: string;
|
|
667
850
|
acceptance_digest: string;
|
|
851
|
+
internal_view_ref: string;
|
|
668
852
|
shared_artifact_fingerprint_digest: string;
|
|
669
853
|
section_refs: string[];
|
|
670
854
|
markdown_digest: string;
|