@lucern/contracts 1.0.30 → 1.0.31
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/CHANGELOG.md +4 -0
- package/dist/assembly-acceptance-gate.contract.d.ts +1234 -1234
- package/dist/assembly-instrumentation.contract.d.ts +413 -413
- package/dist/belongs-to-membership-model.contract.d.ts +45 -45
- package/dist/campaign-context-compiler.contract.d.ts +87 -87
- package/dist/canonical-edge-public-noun-lock.contract.d.ts +106 -106
- package/dist/concept-maturity-rubric.contract.d.ts +131 -131
- package/dist/docs-canon-reconciliation-loop.contract.d.ts +37 -37
- package/dist/{edge-policy-manifest-Bg3B5G0u.d.ts → edge-policy-manifest-C38kuf7v.d.ts} +26 -26
- package/dist/evidence-question-forecast-maturity.contract.d.ts +76 -76
- package/dist/evidence-taxonomy-target-scope.contract.d.ts +61 -61
- package/dist/final-substrate-source-ledger.contract.d.ts +149 -149
- package/dist/function-registry/helpers.d.ts +1 -1
- package/dist/function-registry/index.d.ts +11 -11
- package/dist/generated/state-vector-transition-table.d.ts +1 -1
- package/dist/golden-reasoning-eval-harness.contract.d.ts +2178 -2178
- package/dist/graph-traversal-canon.contract.d.ts +121 -121
- package/dist/graph-traversal-invariant-guardrails.contract.d.ts +68 -68
- package/dist/graph-v2-write-policy-constitution.contract.d.ts +219 -219
- package/dist/heartbeat-property-validation.contract.d.ts +86 -86
- package/dist/index.d.ts +2 -2
- package/dist/manifest-projection-generation.contract.d.ts +34 -34
- package/dist/manifests/check-manifest.d.ts +12 -12
- package/dist/manifests/edge-policy-manifest.d.ts +1 -1
- package/dist/manifests/edge-policy-manifest.data.d.ts +3 -3
- package/dist/manifests/invariant-manifest.d.ts +6 -6
- package/dist/observability-audit-store-migration.contract.d.ts +110 -110
- package/dist/parsimony-diagnostic.contract.d.ts +328 -328
- package/dist/post-substrate-surface-lock.contract.d.ts +48 -48
- package/dist/post-substrate-surface-upgrade.contract.d.ts +82 -82
- package/dist/pre-rebuild-closeout-gate.contract.d.ts +153 -153
- package/dist/primitive-epistemic-state-constitution.contract.d.ts +34 -34
- package/dist/primitive-epistemic-state-constitution.data.d.ts +1 -1
- package/dist/primitive-maturity-matrix.contract.d.ts +100 -100
- package/dist/prior-art-vocabulary-firewall.contract.d.ts +19 -19
- package/dist/projections/create-evidence.projection.d.ts +36 -36
- package/dist/projections/index.d.ts +7 -7
- package/dist/projections/list-beliefs.projection.d.ts +3 -3
- package/dist/proof-attestation.json +1 -1
- package/dist/propagation-v2-contract.contract.d.ts +74 -74
- package/dist/published-belief-artifact.contract.d.ts +325 -325
- package/dist/reset-authorization-package.contract.d.ts +84 -84
- package/dist/retrieval-search-discovery-receipt.contract.d.ts +288 -288
- package/dist/schema-change-belief.contract.d.ts +179 -179
- package/dist/schemas/component-table-manifest.d.ts +8 -8
- package/dist/schemas/manifest.d.ts +580 -580
- package/dist/schemas/tables/kernel/epistemic.d.ts +2 -2
- package/dist/schemas/tables/kernel/intelligence.d.ts +16 -16
- package/dist/schemas/tables/kernel/lens.d.ts +10 -10
- package/dist/schemas/tables/kernel/platform.d.ts +14 -14
- package/dist/schemas/tables/kernel/task.d.ts +26 -26
- package/dist/schemas/tables/kernel/worktree.d.ts +18 -18
- package/dist/schemas/tables/mc/identity.d.ts +2 -2
- package/dist/schemas/tables/mc/methodology.d.ts +2 -2
- package/dist/schemas/tables/mc/pack.d.ts +24 -24
- package/dist/schemas/tables/mc/runtime.d.ts +2 -2
- package/dist/slice-serialization.contract.d.ts +1325 -1325
- package/dist/source-material-adoption-ledger.contract.d.ts +250 -250
- package/dist/source-material-total-partition.contract.d.ts +254 -254
- package/dist/state-vector-manifest.contract.d.ts +83 -83
- package/dist/state-vector-manifest.data.contract.d.ts +1 -1
- package/dist/state-vector-runtime.contract.d.ts +28 -28
- package/dist/substrate-envelope.contract.d.ts +117 -117
- package/dist/substrate-lifecycle-lineage.contract.d.ts +30 -30
- package/dist/substrate-migration-cutover-ledger.contract.d.ts +13 -13
- package/dist/substrate-neo4j-projection.contract.d.ts +179 -179
- package/dist/transition-receipt.contract.d.ts +543 -543
- package/dist/traversal-mode-constitution.contract.d.ts +123 -123
- package/dist/typed-gate-registry.contract.d.ts +61 -61
- package/dist/typed-need.contract.d.ts +248 -248
- package/dist/{unified-state-matrix.contract-BJDYNhnf.d.ts → unified-state-matrix.contract-BTxqLggA.d.ts} +96 -96
- package/dist/unified-state-matrix.contract.d.ts +1 -1
- package/dist/unified-state-matrix.data.contract.d.ts +1 -1
- package/dist/workspace-data-sovereignty.contract.d.ts +114 -114
- package/dist/worktree-belief-adoption.contract.d.ts +91 -91
- package/dist/worktree-delta-ledger.contract.d.ts +124 -124
- package/dist/worktree-graph-branch-maturity.contract.d.ts +63 -63
- package/package.json +1 -1
|
@@ -100,11 +100,11 @@ declare const TypedNeedSchema: z.ZodEffects<z.ZodObject<{
|
|
|
100
100
|
clerkId: z.ZodNullable<z.ZodString>;
|
|
101
101
|
}, "strip", z.ZodTypeAny, {
|
|
102
102
|
principalId: string;
|
|
103
|
-
principalType: "
|
|
103
|
+
principalType: "agent" | "user" | "system";
|
|
104
104
|
clerkId: string | null;
|
|
105
105
|
}, {
|
|
106
106
|
principalId: string;
|
|
107
|
-
principalType: "
|
|
107
|
+
principalType: "agent" | "user" | "system";
|
|
108
108
|
clerkId: string | null;
|
|
109
109
|
}>;
|
|
110
110
|
closure: z.ZodNullable<z.ZodObject<{
|
|
@@ -115,11 +115,11 @@ declare const TypedNeedSchema: z.ZodEffects<z.ZodObject<{
|
|
|
115
115
|
clerkId: z.ZodNullable<z.ZodString>;
|
|
116
116
|
}, "strip", z.ZodTypeAny, {
|
|
117
117
|
principalId: string;
|
|
118
|
-
principalType: "
|
|
118
|
+
principalType: "agent" | "user" | "system";
|
|
119
119
|
clerkId: string | null;
|
|
120
120
|
}, {
|
|
121
121
|
principalId: string;
|
|
122
|
-
principalType: "
|
|
122
|
+
principalType: "agent" | "user" | "system";
|
|
123
123
|
clerkId: string | null;
|
|
124
124
|
}>;
|
|
125
125
|
closureRefs: z.ZodArray<z.ZodObject<{
|
|
@@ -141,31 +141,31 @@ declare const TypedNeedSchema: z.ZodEffects<z.ZodObject<{
|
|
|
141
141
|
resolvingReceiptUuid: z.ZodNullable<z.ZodEffects<z.ZodString, string, string>>;
|
|
142
142
|
rationale: z.ZodString;
|
|
143
143
|
}, "strip", z.ZodTypeAny, {
|
|
144
|
+
rationale: string;
|
|
144
145
|
closureRefs: {
|
|
145
146
|
accepted: true;
|
|
146
147
|
uuid: string | null;
|
|
147
148
|
kind: "source_span" | "policy_decision" | "graph_evidence" | "transition_mapping" | "verifier_gate" | "benchmark_artifact" | "lineage_disposition_receipt" | "parsimony_review";
|
|
148
149
|
ref: string;
|
|
149
150
|
}[];
|
|
150
|
-
rationale: string;
|
|
151
151
|
resolvedBy: {
|
|
152
152
|
principalId: string;
|
|
153
|
-
principalType: "
|
|
153
|
+
principalType: "agent" | "user" | "system";
|
|
154
154
|
clerkId: string | null;
|
|
155
155
|
};
|
|
156
156
|
resolvedAt: string;
|
|
157
157
|
resolvingReceiptUuid: string | null;
|
|
158
158
|
}, {
|
|
159
|
+
rationale: string;
|
|
159
160
|
closureRefs: {
|
|
160
161
|
accepted: true;
|
|
161
162
|
uuid: string | null;
|
|
162
163
|
kind: "source_span" | "policy_decision" | "graph_evidence" | "transition_mapping" | "verifier_gate" | "benchmark_artifact" | "lineage_disposition_receipt" | "parsimony_review";
|
|
163
164
|
ref: string;
|
|
164
165
|
}[];
|
|
165
|
-
rationale: string;
|
|
166
166
|
resolvedBy: {
|
|
167
167
|
principalId: string;
|
|
168
|
-
principalType: "
|
|
168
|
+
principalType: "agent" | "user" | "system";
|
|
169
169
|
clerkId: string | null;
|
|
170
170
|
};
|
|
171
171
|
resolvedAt: string;
|
|
@@ -173,10 +173,12 @@ declare const TypedNeedSchema: z.ZodEffects<z.ZodObject<{
|
|
|
173
173
|
}>>;
|
|
174
174
|
rationale: z.ZodString;
|
|
175
175
|
}, "strip", z.ZodTypeAny, {
|
|
176
|
-
status: "
|
|
176
|
+
status: "superseded" | "resolved" | "open" | "deferred";
|
|
177
|
+
rationale: string;
|
|
177
178
|
contractVersion: "typed_need_v1";
|
|
178
179
|
ownerWorktree: string;
|
|
179
180
|
needUuid: string;
|
|
181
|
+
needType: "missing_evidence" | "needs_mapping" | "needs_verifier" | "needs_source_span" | "needs_benchmark" | "needs_policy_decision" | "needs_lineage_disposition" | "needs_parsimony_review";
|
|
180
182
|
openedByReceipt: {
|
|
181
183
|
receiptUuid: string;
|
|
182
184
|
receiptKind: "transition_receipt" | "source_material_adoption_receipt" | "source_material_total_partition" | "worktree_closeout_receipt";
|
|
@@ -193,37 +195,37 @@ declare const TypedNeedSchema: z.ZodEffects<z.ZodObject<{
|
|
|
193
195
|
kind: "topic" | "belief" | "question" | "evidence" | "worktree" | "agent_run" | "schema" | "ontology" | "source_material";
|
|
194
196
|
legacyRef: string | null;
|
|
195
197
|
};
|
|
196
|
-
needType: "missing_evidence" | "needs_mapping" | "needs_verifier" | "needs_source_span" | "needs_benchmark" | "needs_policy_decision" | "needs_lineage_disposition" | "needs_parsimony_review";
|
|
197
|
-
rationale: string;
|
|
198
198
|
blockingMode: "blocking" | "advisory" | "contextual";
|
|
199
199
|
blocksRatification: boolean;
|
|
200
200
|
openedAt: string;
|
|
201
201
|
openedBy: {
|
|
202
202
|
principalId: string;
|
|
203
|
-
principalType: "
|
|
203
|
+
principalType: "agent" | "user" | "system";
|
|
204
204
|
clerkId: string | null;
|
|
205
205
|
};
|
|
206
206
|
closure: {
|
|
207
|
+
rationale: string;
|
|
207
208
|
closureRefs: {
|
|
208
209
|
accepted: true;
|
|
209
210
|
uuid: string | null;
|
|
210
211
|
kind: "source_span" | "policy_decision" | "graph_evidence" | "transition_mapping" | "verifier_gate" | "benchmark_artifact" | "lineage_disposition_receipt" | "parsimony_review";
|
|
211
212
|
ref: string;
|
|
212
213
|
}[];
|
|
213
|
-
rationale: string;
|
|
214
214
|
resolvedBy: {
|
|
215
215
|
principalId: string;
|
|
216
|
-
principalType: "
|
|
216
|
+
principalType: "agent" | "user" | "system";
|
|
217
217
|
clerkId: string | null;
|
|
218
218
|
};
|
|
219
219
|
resolvedAt: string;
|
|
220
220
|
resolvingReceiptUuid: string | null;
|
|
221
221
|
} | null;
|
|
222
222
|
}, {
|
|
223
|
-
status: "
|
|
223
|
+
status: "superseded" | "resolved" | "open" | "deferred";
|
|
224
|
+
rationale: string;
|
|
224
225
|
contractVersion: "typed_need_v1";
|
|
225
226
|
ownerWorktree: string;
|
|
226
227
|
needUuid: string;
|
|
228
|
+
needType: "missing_evidence" | "needs_mapping" | "needs_verifier" | "needs_source_span" | "needs_benchmark" | "needs_policy_decision" | "needs_lineage_disposition" | "needs_parsimony_review";
|
|
227
229
|
openedByReceipt: {
|
|
228
230
|
receiptUuid: string;
|
|
229
231
|
receiptKind: "transition_receipt" | "source_material_adoption_receipt" | "source_material_total_partition" | "worktree_closeout_receipt";
|
|
@@ -240,37 +242,37 @@ declare const TypedNeedSchema: z.ZodEffects<z.ZodObject<{
|
|
|
240
242
|
kind: "topic" | "belief" | "question" | "evidence" | "worktree" | "agent_run" | "schema" | "ontology" | "source_material";
|
|
241
243
|
legacyRef: string | null;
|
|
242
244
|
};
|
|
243
|
-
needType: "missing_evidence" | "needs_mapping" | "needs_verifier" | "needs_source_span" | "needs_benchmark" | "needs_policy_decision" | "needs_lineage_disposition" | "needs_parsimony_review";
|
|
244
|
-
rationale: string;
|
|
245
245
|
blockingMode: "blocking" | "advisory" | "contextual";
|
|
246
246
|
blocksRatification: boolean;
|
|
247
247
|
openedAt: string;
|
|
248
248
|
openedBy: {
|
|
249
249
|
principalId: string;
|
|
250
|
-
principalType: "
|
|
250
|
+
principalType: "agent" | "user" | "system";
|
|
251
251
|
clerkId: string | null;
|
|
252
252
|
};
|
|
253
253
|
closure: {
|
|
254
|
+
rationale: string;
|
|
254
255
|
closureRefs: {
|
|
255
256
|
accepted: true;
|
|
256
257
|
uuid: string | null;
|
|
257
258
|
kind: "source_span" | "policy_decision" | "graph_evidence" | "transition_mapping" | "verifier_gate" | "benchmark_artifact" | "lineage_disposition_receipt" | "parsimony_review";
|
|
258
259
|
ref: string;
|
|
259
260
|
}[];
|
|
260
|
-
rationale: string;
|
|
261
261
|
resolvedBy: {
|
|
262
262
|
principalId: string;
|
|
263
|
-
principalType: "
|
|
263
|
+
principalType: "agent" | "user" | "system";
|
|
264
264
|
clerkId: string | null;
|
|
265
265
|
};
|
|
266
266
|
resolvedAt: string;
|
|
267
267
|
resolvingReceiptUuid: string | null;
|
|
268
268
|
} | null;
|
|
269
269
|
}>, {
|
|
270
|
-
status: "
|
|
270
|
+
status: "superseded" | "resolved" | "open" | "deferred";
|
|
271
|
+
rationale: string;
|
|
271
272
|
contractVersion: "typed_need_v1";
|
|
272
273
|
ownerWorktree: string;
|
|
273
274
|
needUuid: string;
|
|
275
|
+
needType: "missing_evidence" | "needs_mapping" | "needs_verifier" | "needs_source_span" | "needs_benchmark" | "needs_policy_decision" | "needs_lineage_disposition" | "needs_parsimony_review";
|
|
274
276
|
openedByReceipt: {
|
|
275
277
|
receiptUuid: string;
|
|
276
278
|
receiptKind: "transition_receipt" | "source_material_adoption_receipt" | "source_material_total_partition" | "worktree_closeout_receipt";
|
|
@@ -287,37 +289,37 @@ declare const TypedNeedSchema: z.ZodEffects<z.ZodObject<{
|
|
|
287
289
|
kind: "topic" | "belief" | "question" | "evidence" | "worktree" | "agent_run" | "schema" | "ontology" | "source_material";
|
|
288
290
|
legacyRef: string | null;
|
|
289
291
|
};
|
|
290
|
-
needType: "missing_evidence" | "needs_mapping" | "needs_verifier" | "needs_source_span" | "needs_benchmark" | "needs_policy_decision" | "needs_lineage_disposition" | "needs_parsimony_review";
|
|
291
|
-
rationale: string;
|
|
292
292
|
blockingMode: "blocking" | "advisory" | "contextual";
|
|
293
293
|
blocksRatification: boolean;
|
|
294
294
|
openedAt: string;
|
|
295
295
|
openedBy: {
|
|
296
296
|
principalId: string;
|
|
297
|
-
principalType: "
|
|
297
|
+
principalType: "agent" | "user" | "system";
|
|
298
298
|
clerkId: string | null;
|
|
299
299
|
};
|
|
300
300
|
closure: {
|
|
301
|
+
rationale: string;
|
|
301
302
|
closureRefs: {
|
|
302
303
|
accepted: true;
|
|
303
304
|
uuid: string | null;
|
|
304
305
|
kind: "source_span" | "policy_decision" | "graph_evidence" | "transition_mapping" | "verifier_gate" | "benchmark_artifact" | "lineage_disposition_receipt" | "parsimony_review";
|
|
305
306
|
ref: string;
|
|
306
307
|
}[];
|
|
307
|
-
rationale: string;
|
|
308
308
|
resolvedBy: {
|
|
309
309
|
principalId: string;
|
|
310
|
-
principalType: "
|
|
310
|
+
principalType: "agent" | "user" | "system";
|
|
311
311
|
clerkId: string | null;
|
|
312
312
|
};
|
|
313
313
|
resolvedAt: string;
|
|
314
314
|
resolvingReceiptUuid: string | null;
|
|
315
315
|
} | null;
|
|
316
316
|
}, {
|
|
317
|
-
status: "
|
|
317
|
+
status: "superseded" | "resolved" | "open" | "deferred";
|
|
318
|
+
rationale: string;
|
|
318
319
|
contractVersion: "typed_need_v1";
|
|
319
320
|
ownerWorktree: string;
|
|
320
321
|
needUuid: string;
|
|
322
|
+
needType: "missing_evidence" | "needs_mapping" | "needs_verifier" | "needs_source_span" | "needs_benchmark" | "needs_policy_decision" | "needs_lineage_disposition" | "needs_parsimony_review";
|
|
321
323
|
openedByReceipt: {
|
|
322
324
|
receiptUuid: string;
|
|
323
325
|
receiptKind: "transition_receipt" | "source_material_adoption_receipt" | "source_material_total_partition" | "worktree_closeout_receipt";
|
|
@@ -334,27 +336,25 @@ declare const TypedNeedSchema: z.ZodEffects<z.ZodObject<{
|
|
|
334
336
|
kind: "topic" | "belief" | "question" | "evidence" | "worktree" | "agent_run" | "schema" | "ontology" | "source_material";
|
|
335
337
|
legacyRef: string | null;
|
|
336
338
|
};
|
|
337
|
-
needType: "missing_evidence" | "needs_mapping" | "needs_verifier" | "needs_source_span" | "needs_benchmark" | "needs_policy_decision" | "needs_lineage_disposition" | "needs_parsimony_review";
|
|
338
|
-
rationale: string;
|
|
339
339
|
blockingMode: "blocking" | "advisory" | "contextual";
|
|
340
340
|
blocksRatification: boolean;
|
|
341
341
|
openedAt: string;
|
|
342
342
|
openedBy: {
|
|
343
343
|
principalId: string;
|
|
344
|
-
principalType: "
|
|
344
|
+
principalType: "agent" | "user" | "system";
|
|
345
345
|
clerkId: string | null;
|
|
346
346
|
};
|
|
347
347
|
closure: {
|
|
348
|
+
rationale: string;
|
|
348
349
|
closureRefs: {
|
|
349
350
|
accepted: true;
|
|
350
351
|
uuid: string | null;
|
|
351
352
|
kind: "source_span" | "policy_decision" | "graph_evidence" | "transition_mapping" | "verifier_gate" | "benchmark_artifact" | "lineage_disposition_receipt" | "parsimony_review";
|
|
352
353
|
ref: string;
|
|
353
354
|
}[];
|
|
354
|
-
rationale: string;
|
|
355
355
|
resolvedBy: {
|
|
356
356
|
principalId: string;
|
|
357
|
-
principalType: "
|
|
357
|
+
principalType: "agent" | "user" | "system";
|
|
358
358
|
clerkId: string | null;
|
|
359
359
|
};
|
|
360
360
|
resolvedAt: string;
|
|
@@ -528,11 +528,11 @@ declare const TypedNeedResolutionPacketSchema: z.ZodEffects<z.ZodObject<{
|
|
|
528
528
|
clerkId: z.ZodNullable<z.ZodString>;
|
|
529
529
|
}, "strip", z.ZodTypeAny, {
|
|
530
530
|
principalId: string;
|
|
531
|
-
principalType: "
|
|
531
|
+
principalType: "agent" | "user" | "system";
|
|
532
532
|
clerkId: string | null;
|
|
533
533
|
}, {
|
|
534
534
|
principalId: string;
|
|
535
|
-
principalType: "
|
|
535
|
+
principalType: "agent" | "user" | "system";
|
|
536
536
|
clerkId: string | null;
|
|
537
537
|
}>;
|
|
538
538
|
closure: z.ZodNullable<z.ZodObject<{
|
|
@@ -543,11 +543,11 @@ declare const TypedNeedResolutionPacketSchema: z.ZodEffects<z.ZodObject<{
|
|
|
543
543
|
clerkId: z.ZodNullable<z.ZodString>;
|
|
544
544
|
}, "strip", z.ZodTypeAny, {
|
|
545
545
|
principalId: string;
|
|
546
|
-
principalType: "
|
|
546
|
+
principalType: "agent" | "user" | "system";
|
|
547
547
|
clerkId: string | null;
|
|
548
548
|
}, {
|
|
549
549
|
principalId: string;
|
|
550
|
-
principalType: "
|
|
550
|
+
principalType: "agent" | "user" | "system";
|
|
551
551
|
clerkId: string | null;
|
|
552
552
|
}>;
|
|
553
553
|
closureRefs: z.ZodArray<z.ZodObject<{
|
|
@@ -569,31 +569,31 @@ declare const TypedNeedResolutionPacketSchema: z.ZodEffects<z.ZodObject<{
|
|
|
569
569
|
resolvingReceiptUuid: z.ZodNullable<z.ZodEffects<z.ZodString, string, string>>;
|
|
570
570
|
rationale: z.ZodString;
|
|
571
571
|
}, "strip", z.ZodTypeAny, {
|
|
572
|
+
rationale: string;
|
|
572
573
|
closureRefs: {
|
|
573
574
|
accepted: true;
|
|
574
575
|
uuid: string | null;
|
|
575
576
|
kind: "source_span" | "policy_decision" | "graph_evidence" | "transition_mapping" | "verifier_gate" | "benchmark_artifact" | "lineage_disposition_receipt" | "parsimony_review";
|
|
576
577
|
ref: string;
|
|
577
578
|
}[];
|
|
578
|
-
rationale: string;
|
|
579
579
|
resolvedBy: {
|
|
580
580
|
principalId: string;
|
|
581
|
-
principalType: "
|
|
581
|
+
principalType: "agent" | "user" | "system";
|
|
582
582
|
clerkId: string | null;
|
|
583
583
|
};
|
|
584
584
|
resolvedAt: string;
|
|
585
585
|
resolvingReceiptUuid: string | null;
|
|
586
586
|
}, {
|
|
587
|
+
rationale: string;
|
|
587
588
|
closureRefs: {
|
|
588
589
|
accepted: true;
|
|
589
590
|
uuid: string | null;
|
|
590
591
|
kind: "source_span" | "policy_decision" | "graph_evidence" | "transition_mapping" | "verifier_gate" | "benchmark_artifact" | "lineage_disposition_receipt" | "parsimony_review";
|
|
591
592
|
ref: string;
|
|
592
593
|
}[];
|
|
593
|
-
rationale: string;
|
|
594
594
|
resolvedBy: {
|
|
595
595
|
principalId: string;
|
|
596
|
-
principalType: "
|
|
596
|
+
principalType: "agent" | "user" | "system";
|
|
597
597
|
clerkId: string | null;
|
|
598
598
|
};
|
|
599
599
|
resolvedAt: string;
|
|
@@ -601,10 +601,12 @@ declare const TypedNeedResolutionPacketSchema: z.ZodEffects<z.ZodObject<{
|
|
|
601
601
|
}>>;
|
|
602
602
|
rationale: z.ZodString;
|
|
603
603
|
}, "strip", z.ZodTypeAny, {
|
|
604
|
-
status: "
|
|
604
|
+
status: "superseded" | "resolved" | "open" | "deferred";
|
|
605
|
+
rationale: string;
|
|
605
606
|
contractVersion: "typed_need_v1";
|
|
606
607
|
ownerWorktree: string;
|
|
607
608
|
needUuid: string;
|
|
609
|
+
needType: "missing_evidence" | "needs_mapping" | "needs_verifier" | "needs_source_span" | "needs_benchmark" | "needs_policy_decision" | "needs_lineage_disposition" | "needs_parsimony_review";
|
|
608
610
|
openedByReceipt: {
|
|
609
611
|
receiptUuid: string;
|
|
610
612
|
receiptKind: "transition_receipt" | "source_material_adoption_receipt" | "source_material_total_partition" | "worktree_closeout_receipt";
|
|
@@ -621,37 +623,37 @@ declare const TypedNeedResolutionPacketSchema: z.ZodEffects<z.ZodObject<{
|
|
|
621
623
|
kind: "topic" | "belief" | "question" | "evidence" | "worktree" | "agent_run" | "schema" | "ontology" | "source_material";
|
|
622
624
|
legacyRef: string | null;
|
|
623
625
|
};
|
|
624
|
-
needType: "missing_evidence" | "needs_mapping" | "needs_verifier" | "needs_source_span" | "needs_benchmark" | "needs_policy_decision" | "needs_lineage_disposition" | "needs_parsimony_review";
|
|
625
|
-
rationale: string;
|
|
626
626
|
blockingMode: "blocking" | "advisory" | "contextual";
|
|
627
627
|
blocksRatification: boolean;
|
|
628
628
|
openedAt: string;
|
|
629
629
|
openedBy: {
|
|
630
630
|
principalId: string;
|
|
631
|
-
principalType: "
|
|
631
|
+
principalType: "agent" | "user" | "system";
|
|
632
632
|
clerkId: string | null;
|
|
633
633
|
};
|
|
634
634
|
closure: {
|
|
635
|
+
rationale: string;
|
|
635
636
|
closureRefs: {
|
|
636
637
|
accepted: true;
|
|
637
638
|
uuid: string | null;
|
|
638
639
|
kind: "source_span" | "policy_decision" | "graph_evidence" | "transition_mapping" | "verifier_gate" | "benchmark_artifact" | "lineage_disposition_receipt" | "parsimony_review";
|
|
639
640
|
ref: string;
|
|
640
641
|
}[];
|
|
641
|
-
rationale: string;
|
|
642
642
|
resolvedBy: {
|
|
643
643
|
principalId: string;
|
|
644
|
-
principalType: "
|
|
644
|
+
principalType: "agent" | "user" | "system";
|
|
645
645
|
clerkId: string | null;
|
|
646
646
|
};
|
|
647
647
|
resolvedAt: string;
|
|
648
648
|
resolvingReceiptUuid: string | null;
|
|
649
649
|
} | null;
|
|
650
650
|
}, {
|
|
651
|
-
status: "
|
|
651
|
+
status: "superseded" | "resolved" | "open" | "deferred";
|
|
652
|
+
rationale: string;
|
|
652
653
|
contractVersion: "typed_need_v1";
|
|
653
654
|
ownerWorktree: string;
|
|
654
655
|
needUuid: string;
|
|
656
|
+
needType: "missing_evidence" | "needs_mapping" | "needs_verifier" | "needs_source_span" | "needs_benchmark" | "needs_policy_decision" | "needs_lineage_disposition" | "needs_parsimony_review";
|
|
655
657
|
openedByReceipt: {
|
|
656
658
|
receiptUuid: string;
|
|
657
659
|
receiptKind: "transition_receipt" | "source_material_adoption_receipt" | "source_material_total_partition" | "worktree_closeout_receipt";
|
|
@@ -668,37 +670,37 @@ declare const TypedNeedResolutionPacketSchema: z.ZodEffects<z.ZodObject<{
|
|
|
668
670
|
kind: "topic" | "belief" | "question" | "evidence" | "worktree" | "agent_run" | "schema" | "ontology" | "source_material";
|
|
669
671
|
legacyRef: string | null;
|
|
670
672
|
};
|
|
671
|
-
needType: "missing_evidence" | "needs_mapping" | "needs_verifier" | "needs_source_span" | "needs_benchmark" | "needs_policy_decision" | "needs_lineage_disposition" | "needs_parsimony_review";
|
|
672
|
-
rationale: string;
|
|
673
673
|
blockingMode: "blocking" | "advisory" | "contextual";
|
|
674
674
|
blocksRatification: boolean;
|
|
675
675
|
openedAt: string;
|
|
676
676
|
openedBy: {
|
|
677
677
|
principalId: string;
|
|
678
|
-
principalType: "
|
|
678
|
+
principalType: "agent" | "user" | "system";
|
|
679
679
|
clerkId: string | null;
|
|
680
680
|
};
|
|
681
681
|
closure: {
|
|
682
|
+
rationale: string;
|
|
682
683
|
closureRefs: {
|
|
683
684
|
accepted: true;
|
|
684
685
|
uuid: string | null;
|
|
685
686
|
kind: "source_span" | "policy_decision" | "graph_evidence" | "transition_mapping" | "verifier_gate" | "benchmark_artifact" | "lineage_disposition_receipt" | "parsimony_review";
|
|
686
687
|
ref: string;
|
|
687
688
|
}[];
|
|
688
|
-
rationale: string;
|
|
689
689
|
resolvedBy: {
|
|
690
690
|
principalId: string;
|
|
691
|
-
principalType: "
|
|
691
|
+
principalType: "agent" | "user" | "system";
|
|
692
692
|
clerkId: string | null;
|
|
693
693
|
};
|
|
694
694
|
resolvedAt: string;
|
|
695
695
|
resolvingReceiptUuid: string | null;
|
|
696
696
|
} | null;
|
|
697
697
|
}>, {
|
|
698
|
-
status: "
|
|
698
|
+
status: "superseded" | "resolved" | "open" | "deferred";
|
|
699
|
+
rationale: string;
|
|
699
700
|
contractVersion: "typed_need_v1";
|
|
700
701
|
ownerWorktree: string;
|
|
701
702
|
needUuid: string;
|
|
703
|
+
needType: "missing_evidence" | "needs_mapping" | "needs_verifier" | "needs_source_span" | "needs_benchmark" | "needs_policy_decision" | "needs_lineage_disposition" | "needs_parsimony_review";
|
|
702
704
|
openedByReceipt: {
|
|
703
705
|
receiptUuid: string;
|
|
704
706
|
receiptKind: "transition_receipt" | "source_material_adoption_receipt" | "source_material_total_partition" | "worktree_closeout_receipt";
|
|
@@ -715,37 +717,37 @@ declare const TypedNeedResolutionPacketSchema: z.ZodEffects<z.ZodObject<{
|
|
|
715
717
|
kind: "topic" | "belief" | "question" | "evidence" | "worktree" | "agent_run" | "schema" | "ontology" | "source_material";
|
|
716
718
|
legacyRef: string | null;
|
|
717
719
|
};
|
|
718
|
-
needType: "missing_evidence" | "needs_mapping" | "needs_verifier" | "needs_source_span" | "needs_benchmark" | "needs_policy_decision" | "needs_lineage_disposition" | "needs_parsimony_review";
|
|
719
|
-
rationale: string;
|
|
720
720
|
blockingMode: "blocking" | "advisory" | "contextual";
|
|
721
721
|
blocksRatification: boolean;
|
|
722
722
|
openedAt: string;
|
|
723
723
|
openedBy: {
|
|
724
724
|
principalId: string;
|
|
725
|
-
principalType: "
|
|
725
|
+
principalType: "agent" | "user" | "system";
|
|
726
726
|
clerkId: string | null;
|
|
727
727
|
};
|
|
728
728
|
closure: {
|
|
729
|
+
rationale: string;
|
|
729
730
|
closureRefs: {
|
|
730
731
|
accepted: true;
|
|
731
732
|
uuid: string | null;
|
|
732
733
|
kind: "source_span" | "policy_decision" | "graph_evidence" | "transition_mapping" | "verifier_gate" | "benchmark_artifact" | "lineage_disposition_receipt" | "parsimony_review";
|
|
733
734
|
ref: string;
|
|
734
735
|
}[];
|
|
735
|
-
rationale: string;
|
|
736
736
|
resolvedBy: {
|
|
737
737
|
principalId: string;
|
|
738
|
-
principalType: "
|
|
738
|
+
principalType: "agent" | "user" | "system";
|
|
739
739
|
clerkId: string | null;
|
|
740
740
|
};
|
|
741
741
|
resolvedAt: string;
|
|
742
742
|
resolvingReceiptUuid: string | null;
|
|
743
743
|
} | null;
|
|
744
744
|
}, {
|
|
745
|
-
status: "
|
|
745
|
+
status: "superseded" | "resolved" | "open" | "deferred";
|
|
746
|
+
rationale: string;
|
|
746
747
|
contractVersion: "typed_need_v1";
|
|
747
748
|
ownerWorktree: string;
|
|
748
749
|
needUuid: string;
|
|
750
|
+
needType: "missing_evidence" | "needs_mapping" | "needs_verifier" | "needs_source_span" | "needs_benchmark" | "needs_policy_decision" | "needs_lineage_disposition" | "needs_parsimony_review";
|
|
749
751
|
openedByReceipt: {
|
|
750
752
|
receiptUuid: string;
|
|
751
753
|
receiptKind: "transition_receipt" | "source_material_adoption_receipt" | "source_material_total_partition" | "worktree_closeout_receipt";
|
|
@@ -762,27 +764,25 @@ declare const TypedNeedResolutionPacketSchema: z.ZodEffects<z.ZodObject<{
|
|
|
762
764
|
kind: "topic" | "belief" | "question" | "evidence" | "worktree" | "agent_run" | "schema" | "ontology" | "source_material";
|
|
763
765
|
legacyRef: string | null;
|
|
764
766
|
};
|
|
765
|
-
needType: "missing_evidence" | "needs_mapping" | "needs_verifier" | "needs_source_span" | "needs_benchmark" | "needs_policy_decision" | "needs_lineage_disposition" | "needs_parsimony_review";
|
|
766
|
-
rationale: string;
|
|
767
767
|
blockingMode: "blocking" | "advisory" | "contextual";
|
|
768
768
|
blocksRatification: boolean;
|
|
769
769
|
openedAt: string;
|
|
770
770
|
openedBy: {
|
|
771
771
|
principalId: string;
|
|
772
|
-
principalType: "
|
|
772
|
+
principalType: "agent" | "user" | "system";
|
|
773
773
|
clerkId: string | null;
|
|
774
774
|
};
|
|
775
775
|
closure: {
|
|
776
|
+
rationale: string;
|
|
776
777
|
closureRefs: {
|
|
777
778
|
accepted: true;
|
|
778
779
|
uuid: string | null;
|
|
779
780
|
kind: "source_span" | "policy_decision" | "graph_evidence" | "transition_mapping" | "verifier_gate" | "benchmark_artifact" | "lineage_disposition_receipt" | "parsimony_review";
|
|
780
781
|
ref: string;
|
|
781
782
|
}[];
|
|
782
|
-
rationale: string;
|
|
783
783
|
resolvedBy: {
|
|
784
784
|
principalId: string;
|
|
785
|
-
principalType: "
|
|
785
|
+
principalType: "agent" | "user" | "system";
|
|
786
786
|
clerkId: string | null;
|
|
787
787
|
};
|
|
788
788
|
resolvedAt: string;
|
|
@@ -799,18 +799,18 @@ declare const TypedNeedResolutionPacketSchema: z.ZodEffects<z.ZodObject<{
|
|
|
799
799
|
accepted: z.ZodLiteral<true>;
|
|
800
800
|
rationale: z.ZodString;
|
|
801
801
|
}, "strip", z.ZodTypeAny, {
|
|
802
|
-
accepted: true;
|
|
803
|
-
id: string;
|
|
804
802
|
rationale: string;
|
|
803
|
+
id: string;
|
|
804
|
+
accepted: true;
|
|
805
805
|
sourceCase: "residual_new_only" | "true_claim_conflict";
|
|
806
806
|
sourceBucket: "contradiction" | "residual" | null;
|
|
807
807
|
typedNeedType: "missing_evidence" | "needs_mapping" | "needs_verifier" | "needs_source_span" | "needs_benchmark" | "needs_policy_decision" | "needs_lineage_disposition" | "needs_parsimony_review" | null;
|
|
808
808
|
typedNeedRequired: boolean;
|
|
809
809
|
contradictionObjectRequired: boolean;
|
|
810
810
|
}, {
|
|
811
|
-
accepted: true;
|
|
812
|
-
id: string;
|
|
813
811
|
rationale: string;
|
|
812
|
+
id: string;
|
|
813
|
+
accepted: true;
|
|
814
814
|
sourceCase: "residual_new_only" | "true_claim_conflict";
|
|
815
815
|
sourceBucket: "contradiction" | "residual" | null;
|
|
816
816
|
typedNeedType: "missing_evidence" | "needs_mapping" | "needs_verifier" | "needs_source_span" | "needs_benchmark" | "needs_policy_decision" | "needs_lineage_disposition" | "needs_parsimony_review" | null;
|
|
@@ -821,12 +821,15 @@ declare const TypedNeedResolutionPacketSchema: z.ZodEffects<z.ZodObject<{
|
|
|
821
821
|
graphV2MirrorRebuildBlocked: z.ZodLiteral<true>;
|
|
822
822
|
}, "strip", z.ZodTypeAny, {
|
|
823
823
|
contractVersion: "typed_need_v1";
|
|
824
|
+
rulesetVersion: string;
|
|
824
825
|
transitionReceiptVersion: "transition_receipt_v1";
|
|
825
826
|
typedNeeds: {
|
|
826
|
-
status: "
|
|
827
|
+
status: "superseded" | "resolved" | "open" | "deferred";
|
|
828
|
+
rationale: string;
|
|
827
829
|
contractVersion: "typed_need_v1";
|
|
828
830
|
ownerWorktree: string;
|
|
829
831
|
needUuid: string;
|
|
832
|
+
needType: "missing_evidence" | "needs_mapping" | "needs_verifier" | "needs_source_span" | "needs_benchmark" | "needs_policy_decision" | "needs_lineage_disposition" | "needs_parsimony_review";
|
|
830
833
|
openedByReceipt: {
|
|
831
834
|
receiptUuid: string;
|
|
832
835
|
receiptKind: "transition_receipt" | "source_material_adoption_receipt" | "source_material_total_partition" | "worktree_closeout_receipt";
|
|
@@ -843,42 +846,39 @@ declare const TypedNeedResolutionPacketSchema: z.ZodEffects<z.ZodObject<{
|
|
|
843
846
|
kind: "topic" | "belief" | "question" | "evidence" | "worktree" | "agent_run" | "schema" | "ontology" | "source_material";
|
|
844
847
|
legacyRef: string | null;
|
|
845
848
|
};
|
|
846
|
-
needType: "missing_evidence" | "needs_mapping" | "needs_verifier" | "needs_source_span" | "needs_benchmark" | "needs_policy_decision" | "needs_lineage_disposition" | "needs_parsimony_review";
|
|
847
|
-
rationale: string;
|
|
848
849
|
blockingMode: "blocking" | "advisory" | "contextual";
|
|
849
850
|
blocksRatification: boolean;
|
|
850
851
|
openedAt: string;
|
|
851
852
|
openedBy: {
|
|
852
853
|
principalId: string;
|
|
853
|
-
principalType: "
|
|
854
|
+
principalType: "agent" | "user" | "system";
|
|
854
855
|
clerkId: string | null;
|
|
855
856
|
};
|
|
856
857
|
closure: {
|
|
858
|
+
rationale: string;
|
|
857
859
|
closureRefs: {
|
|
858
860
|
accepted: true;
|
|
859
861
|
uuid: string | null;
|
|
860
862
|
kind: "source_span" | "policy_decision" | "graph_evidence" | "transition_mapping" | "verifier_gate" | "benchmark_artifact" | "lineage_disposition_receipt" | "parsimony_review";
|
|
861
863
|
ref: string;
|
|
862
864
|
}[];
|
|
863
|
-
rationale: string;
|
|
864
865
|
resolvedBy: {
|
|
865
866
|
principalId: string;
|
|
866
|
-
principalType: "
|
|
867
|
+
principalType: "agent" | "user" | "system";
|
|
867
868
|
clerkId: string | null;
|
|
868
869
|
};
|
|
869
870
|
resolvedAt: string;
|
|
870
871
|
resolvingReceiptUuid: string | null;
|
|
871
872
|
} | null;
|
|
872
873
|
}[];
|
|
873
|
-
rulesetVersion: string;
|
|
874
874
|
packetUuid: string;
|
|
875
875
|
sourcePartitionVersion: "source_material_total_partition_v1";
|
|
876
876
|
adoptionLedgerVersion: "source_material_adoption_ledger_v1";
|
|
877
877
|
receiptDisposition: "superseded" | "rejected" | "proposed" | "deferred" | "ratified";
|
|
878
878
|
boundaryExamples: {
|
|
879
|
-
accepted: true;
|
|
880
|
-
id: string;
|
|
881
879
|
rationale: string;
|
|
880
|
+
id: string;
|
|
881
|
+
accepted: true;
|
|
882
882
|
sourceCase: "residual_new_only" | "true_claim_conflict";
|
|
883
883
|
sourceBucket: "contradiction" | "residual" | null;
|
|
884
884
|
typedNeedType: "missing_evidence" | "needs_mapping" | "needs_verifier" | "needs_source_span" | "needs_benchmark" | "needs_policy_decision" | "needs_lineage_disposition" | "needs_parsimony_review" | null;
|
|
@@ -889,12 +889,15 @@ declare const TypedNeedResolutionPacketSchema: z.ZodEffects<z.ZodObject<{
|
|
|
889
889
|
graphV2MirrorRebuildBlocked: true;
|
|
890
890
|
}, {
|
|
891
891
|
contractVersion: "typed_need_v1";
|
|
892
|
+
rulesetVersion: string;
|
|
892
893
|
transitionReceiptVersion: "transition_receipt_v1";
|
|
893
894
|
typedNeeds: {
|
|
894
|
-
status: "
|
|
895
|
+
status: "superseded" | "resolved" | "open" | "deferred";
|
|
896
|
+
rationale: string;
|
|
895
897
|
contractVersion: "typed_need_v1";
|
|
896
898
|
ownerWorktree: string;
|
|
897
899
|
needUuid: string;
|
|
900
|
+
needType: "missing_evidence" | "needs_mapping" | "needs_verifier" | "needs_source_span" | "needs_benchmark" | "needs_policy_decision" | "needs_lineage_disposition" | "needs_parsimony_review";
|
|
898
901
|
openedByReceipt: {
|
|
899
902
|
receiptUuid: string;
|
|
900
903
|
receiptKind: "transition_receipt" | "source_material_adoption_receipt" | "source_material_total_partition" | "worktree_closeout_receipt";
|
|
@@ -911,42 +914,39 @@ declare const TypedNeedResolutionPacketSchema: z.ZodEffects<z.ZodObject<{
|
|
|
911
914
|
kind: "topic" | "belief" | "question" | "evidence" | "worktree" | "agent_run" | "schema" | "ontology" | "source_material";
|
|
912
915
|
legacyRef: string | null;
|
|
913
916
|
};
|
|
914
|
-
needType: "missing_evidence" | "needs_mapping" | "needs_verifier" | "needs_source_span" | "needs_benchmark" | "needs_policy_decision" | "needs_lineage_disposition" | "needs_parsimony_review";
|
|
915
|
-
rationale: string;
|
|
916
917
|
blockingMode: "blocking" | "advisory" | "contextual";
|
|
917
918
|
blocksRatification: boolean;
|
|
918
919
|
openedAt: string;
|
|
919
920
|
openedBy: {
|
|
920
921
|
principalId: string;
|
|
921
|
-
principalType: "
|
|
922
|
+
principalType: "agent" | "user" | "system";
|
|
922
923
|
clerkId: string | null;
|
|
923
924
|
};
|
|
924
925
|
closure: {
|
|
926
|
+
rationale: string;
|
|
925
927
|
closureRefs: {
|
|
926
928
|
accepted: true;
|
|
927
929
|
uuid: string | null;
|
|
928
930
|
kind: "source_span" | "policy_decision" | "graph_evidence" | "transition_mapping" | "verifier_gate" | "benchmark_artifact" | "lineage_disposition_receipt" | "parsimony_review";
|
|
929
931
|
ref: string;
|
|
930
932
|
}[];
|
|
931
|
-
rationale: string;
|
|
932
933
|
resolvedBy: {
|
|
933
934
|
principalId: string;
|
|
934
|
-
principalType: "
|
|
935
|
+
principalType: "agent" | "user" | "system";
|
|
935
936
|
clerkId: string | null;
|
|
936
937
|
};
|
|
937
938
|
resolvedAt: string;
|
|
938
939
|
resolvingReceiptUuid: string | null;
|
|
939
940
|
} | null;
|
|
940
941
|
}[];
|
|
941
|
-
rulesetVersion: string;
|
|
942
942
|
packetUuid: string;
|
|
943
943
|
sourcePartitionVersion: "source_material_total_partition_v1";
|
|
944
944
|
adoptionLedgerVersion: "source_material_adoption_ledger_v1";
|
|
945
945
|
receiptDisposition: "superseded" | "rejected" | "proposed" | "deferred" | "ratified";
|
|
946
946
|
boundaryExamples: {
|
|
947
|
-
accepted: true;
|
|
948
|
-
id: string;
|
|
949
947
|
rationale: string;
|
|
948
|
+
id: string;
|
|
949
|
+
accepted: true;
|
|
950
950
|
sourceCase: "residual_new_only" | "true_claim_conflict";
|
|
951
951
|
sourceBucket: "contradiction" | "residual" | null;
|
|
952
952
|
typedNeedType: "missing_evidence" | "needs_mapping" | "needs_verifier" | "needs_source_span" | "needs_benchmark" | "needs_policy_decision" | "needs_lineage_disposition" | "needs_parsimony_review" | null;
|
|
@@ -957,12 +957,15 @@ declare const TypedNeedResolutionPacketSchema: z.ZodEffects<z.ZodObject<{
|
|
|
957
957
|
graphV2MirrorRebuildBlocked: true;
|
|
958
958
|
}>, {
|
|
959
959
|
contractVersion: "typed_need_v1";
|
|
960
|
+
rulesetVersion: string;
|
|
960
961
|
transitionReceiptVersion: "transition_receipt_v1";
|
|
961
962
|
typedNeeds: {
|
|
962
|
-
status: "
|
|
963
|
+
status: "superseded" | "resolved" | "open" | "deferred";
|
|
964
|
+
rationale: string;
|
|
963
965
|
contractVersion: "typed_need_v1";
|
|
964
966
|
ownerWorktree: string;
|
|
965
967
|
needUuid: string;
|
|
968
|
+
needType: "missing_evidence" | "needs_mapping" | "needs_verifier" | "needs_source_span" | "needs_benchmark" | "needs_policy_decision" | "needs_lineage_disposition" | "needs_parsimony_review";
|
|
966
969
|
openedByReceipt: {
|
|
967
970
|
receiptUuid: string;
|
|
968
971
|
receiptKind: "transition_receipt" | "source_material_adoption_receipt" | "source_material_total_partition" | "worktree_closeout_receipt";
|
|
@@ -979,42 +982,39 @@ declare const TypedNeedResolutionPacketSchema: z.ZodEffects<z.ZodObject<{
|
|
|
979
982
|
kind: "topic" | "belief" | "question" | "evidence" | "worktree" | "agent_run" | "schema" | "ontology" | "source_material";
|
|
980
983
|
legacyRef: string | null;
|
|
981
984
|
};
|
|
982
|
-
needType: "missing_evidence" | "needs_mapping" | "needs_verifier" | "needs_source_span" | "needs_benchmark" | "needs_policy_decision" | "needs_lineage_disposition" | "needs_parsimony_review";
|
|
983
|
-
rationale: string;
|
|
984
985
|
blockingMode: "blocking" | "advisory" | "contextual";
|
|
985
986
|
blocksRatification: boolean;
|
|
986
987
|
openedAt: string;
|
|
987
988
|
openedBy: {
|
|
988
989
|
principalId: string;
|
|
989
|
-
principalType: "
|
|
990
|
+
principalType: "agent" | "user" | "system";
|
|
990
991
|
clerkId: string | null;
|
|
991
992
|
};
|
|
992
993
|
closure: {
|
|
994
|
+
rationale: string;
|
|
993
995
|
closureRefs: {
|
|
994
996
|
accepted: true;
|
|
995
997
|
uuid: string | null;
|
|
996
998
|
kind: "source_span" | "policy_decision" | "graph_evidence" | "transition_mapping" | "verifier_gate" | "benchmark_artifact" | "lineage_disposition_receipt" | "parsimony_review";
|
|
997
999
|
ref: string;
|
|
998
1000
|
}[];
|
|
999
|
-
rationale: string;
|
|
1000
1001
|
resolvedBy: {
|
|
1001
1002
|
principalId: string;
|
|
1002
|
-
principalType: "
|
|
1003
|
+
principalType: "agent" | "user" | "system";
|
|
1003
1004
|
clerkId: string | null;
|
|
1004
1005
|
};
|
|
1005
1006
|
resolvedAt: string;
|
|
1006
1007
|
resolvingReceiptUuid: string | null;
|
|
1007
1008
|
} | null;
|
|
1008
1009
|
}[];
|
|
1009
|
-
rulesetVersion: string;
|
|
1010
1010
|
packetUuid: string;
|
|
1011
1011
|
sourcePartitionVersion: "source_material_total_partition_v1";
|
|
1012
1012
|
adoptionLedgerVersion: "source_material_adoption_ledger_v1";
|
|
1013
1013
|
receiptDisposition: "superseded" | "rejected" | "proposed" | "deferred" | "ratified";
|
|
1014
1014
|
boundaryExamples: {
|
|
1015
|
-
accepted: true;
|
|
1016
|
-
id: string;
|
|
1017
1015
|
rationale: string;
|
|
1016
|
+
id: string;
|
|
1017
|
+
accepted: true;
|
|
1018
1018
|
sourceCase: "residual_new_only" | "true_claim_conflict";
|
|
1019
1019
|
sourceBucket: "contradiction" | "residual" | null;
|
|
1020
1020
|
typedNeedType: "missing_evidence" | "needs_mapping" | "needs_verifier" | "needs_source_span" | "needs_benchmark" | "needs_policy_decision" | "needs_lineage_disposition" | "needs_parsimony_review" | null;
|
|
@@ -1025,12 +1025,15 @@ declare const TypedNeedResolutionPacketSchema: z.ZodEffects<z.ZodObject<{
|
|
|
1025
1025
|
graphV2MirrorRebuildBlocked: true;
|
|
1026
1026
|
}, {
|
|
1027
1027
|
contractVersion: "typed_need_v1";
|
|
1028
|
+
rulesetVersion: string;
|
|
1028
1029
|
transitionReceiptVersion: "transition_receipt_v1";
|
|
1029
1030
|
typedNeeds: {
|
|
1030
|
-
status: "
|
|
1031
|
+
status: "superseded" | "resolved" | "open" | "deferred";
|
|
1032
|
+
rationale: string;
|
|
1031
1033
|
contractVersion: "typed_need_v1";
|
|
1032
1034
|
ownerWorktree: string;
|
|
1033
1035
|
needUuid: string;
|
|
1036
|
+
needType: "missing_evidence" | "needs_mapping" | "needs_verifier" | "needs_source_span" | "needs_benchmark" | "needs_policy_decision" | "needs_lineage_disposition" | "needs_parsimony_review";
|
|
1034
1037
|
openedByReceipt: {
|
|
1035
1038
|
receiptUuid: string;
|
|
1036
1039
|
receiptKind: "transition_receipt" | "source_material_adoption_receipt" | "source_material_total_partition" | "worktree_closeout_receipt";
|
|
@@ -1047,42 +1050,39 @@ declare const TypedNeedResolutionPacketSchema: z.ZodEffects<z.ZodObject<{
|
|
|
1047
1050
|
kind: "topic" | "belief" | "question" | "evidence" | "worktree" | "agent_run" | "schema" | "ontology" | "source_material";
|
|
1048
1051
|
legacyRef: string | null;
|
|
1049
1052
|
};
|
|
1050
|
-
needType: "missing_evidence" | "needs_mapping" | "needs_verifier" | "needs_source_span" | "needs_benchmark" | "needs_policy_decision" | "needs_lineage_disposition" | "needs_parsimony_review";
|
|
1051
|
-
rationale: string;
|
|
1052
1053
|
blockingMode: "blocking" | "advisory" | "contextual";
|
|
1053
1054
|
blocksRatification: boolean;
|
|
1054
1055
|
openedAt: string;
|
|
1055
1056
|
openedBy: {
|
|
1056
1057
|
principalId: string;
|
|
1057
|
-
principalType: "
|
|
1058
|
+
principalType: "agent" | "user" | "system";
|
|
1058
1059
|
clerkId: string | null;
|
|
1059
1060
|
};
|
|
1060
1061
|
closure: {
|
|
1062
|
+
rationale: string;
|
|
1061
1063
|
closureRefs: {
|
|
1062
1064
|
accepted: true;
|
|
1063
1065
|
uuid: string | null;
|
|
1064
1066
|
kind: "source_span" | "policy_decision" | "graph_evidence" | "transition_mapping" | "verifier_gate" | "benchmark_artifact" | "lineage_disposition_receipt" | "parsimony_review";
|
|
1065
1067
|
ref: string;
|
|
1066
1068
|
}[];
|
|
1067
|
-
rationale: string;
|
|
1068
1069
|
resolvedBy: {
|
|
1069
1070
|
principalId: string;
|
|
1070
|
-
principalType: "
|
|
1071
|
+
principalType: "agent" | "user" | "system";
|
|
1071
1072
|
clerkId: string | null;
|
|
1072
1073
|
};
|
|
1073
1074
|
resolvedAt: string;
|
|
1074
1075
|
resolvingReceiptUuid: string | null;
|
|
1075
1076
|
} | null;
|
|
1076
1077
|
}[];
|
|
1077
|
-
rulesetVersion: string;
|
|
1078
1078
|
packetUuid: string;
|
|
1079
1079
|
sourcePartitionVersion: "source_material_total_partition_v1";
|
|
1080
1080
|
adoptionLedgerVersion: "source_material_adoption_ledger_v1";
|
|
1081
1081
|
receiptDisposition: "superseded" | "rejected" | "proposed" | "deferred" | "ratified";
|
|
1082
1082
|
boundaryExamples: {
|
|
1083
|
-
accepted: true;
|
|
1084
|
-
id: string;
|
|
1085
1083
|
rationale: string;
|
|
1084
|
+
id: string;
|
|
1085
|
+
accepted: true;
|
|
1086
1086
|
sourceCase: "residual_new_only" | "true_claim_conflict";
|
|
1087
1087
|
sourceBucket: "contradiction" | "residual" | null;
|
|
1088
1088
|
typedNeedType: "missing_evidence" | "needs_mapping" | "needs_verifier" | "needs_source_span" | "needs_benchmark" | "needs_policy_decision" | "needs_lineage_disposition" | "needs_parsimony_review" | null;
|
|
@@ -1139,18 +1139,18 @@ declare const TypedNeedContractSchema: z.ZodObject<{
|
|
|
1139
1139
|
accepted: z.ZodLiteral<true>;
|
|
1140
1140
|
rationale: z.ZodString;
|
|
1141
1141
|
}, "strip", z.ZodTypeAny, {
|
|
1142
|
-
accepted: true;
|
|
1143
|
-
id: string;
|
|
1144
1142
|
rationale: string;
|
|
1143
|
+
id: string;
|
|
1144
|
+
accepted: true;
|
|
1145
1145
|
sourceCase: "residual_new_only" | "true_claim_conflict";
|
|
1146
1146
|
sourceBucket: "contradiction" | "residual" | null;
|
|
1147
1147
|
typedNeedType: "missing_evidence" | "needs_mapping" | "needs_verifier" | "needs_source_span" | "needs_benchmark" | "needs_policy_decision" | "needs_lineage_disposition" | "needs_parsimony_review" | null;
|
|
1148
1148
|
typedNeedRequired: boolean;
|
|
1149
1149
|
contradictionObjectRequired: boolean;
|
|
1150
1150
|
}, {
|
|
1151
|
-
accepted: true;
|
|
1152
|
-
id: string;
|
|
1153
1151
|
rationale: string;
|
|
1152
|
+
id: string;
|
|
1153
|
+
accepted: true;
|
|
1154
1154
|
sourceCase: "residual_new_only" | "true_claim_conflict";
|
|
1155
1155
|
sourceBucket: "contradiction" | "residual" | null;
|
|
1156
1156
|
typedNeedType: "missing_evidence" | "needs_mapping" | "needs_verifier" | "needs_source_span" | "needs_benchmark" | "needs_policy_decision" | "needs_lineage_disposition" | "needs_parsimony_review" | null;
|
|
@@ -1246,11 +1246,11 @@ declare const TypedNeedContractSchema: z.ZodObject<{
|
|
|
1246
1246
|
clerkId: z.ZodNullable<z.ZodString>;
|
|
1247
1247
|
}, "strip", z.ZodTypeAny, {
|
|
1248
1248
|
principalId: string;
|
|
1249
|
-
principalType: "
|
|
1249
|
+
principalType: "agent" | "user" | "system";
|
|
1250
1250
|
clerkId: string | null;
|
|
1251
1251
|
}, {
|
|
1252
1252
|
principalId: string;
|
|
1253
|
-
principalType: "
|
|
1253
|
+
principalType: "agent" | "user" | "system";
|
|
1254
1254
|
clerkId: string | null;
|
|
1255
1255
|
}>;
|
|
1256
1256
|
closure: z.ZodNullable<z.ZodObject<{
|
|
@@ -1261,11 +1261,11 @@ declare const TypedNeedContractSchema: z.ZodObject<{
|
|
|
1261
1261
|
clerkId: z.ZodNullable<z.ZodString>;
|
|
1262
1262
|
}, "strip", z.ZodTypeAny, {
|
|
1263
1263
|
principalId: string;
|
|
1264
|
-
principalType: "
|
|
1264
|
+
principalType: "agent" | "user" | "system";
|
|
1265
1265
|
clerkId: string | null;
|
|
1266
1266
|
}, {
|
|
1267
1267
|
principalId: string;
|
|
1268
|
-
principalType: "
|
|
1268
|
+
principalType: "agent" | "user" | "system";
|
|
1269
1269
|
clerkId: string | null;
|
|
1270
1270
|
}>;
|
|
1271
1271
|
closureRefs: z.ZodArray<z.ZodObject<{
|
|
@@ -1287,31 +1287,31 @@ declare const TypedNeedContractSchema: z.ZodObject<{
|
|
|
1287
1287
|
resolvingReceiptUuid: z.ZodNullable<z.ZodEffects<z.ZodString, string, string>>;
|
|
1288
1288
|
rationale: z.ZodString;
|
|
1289
1289
|
}, "strip", z.ZodTypeAny, {
|
|
1290
|
+
rationale: string;
|
|
1290
1291
|
closureRefs: {
|
|
1291
1292
|
accepted: true;
|
|
1292
1293
|
uuid: string | null;
|
|
1293
1294
|
kind: "source_span" | "policy_decision" | "graph_evidence" | "transition_mapping" | "verifier_gate" | "benchmark_artifact" | "lineage_disposition_receipt" | "parsimony_review";
|
|
1294
1295
|
ref: string;
|
|
1295
1296
|
}[];
|
|
1296
|
-
rationale: string;
|
|
1297
1297
|
resolvedBy: {
|
|
1298
1298
|
principalId: string;
|
|
1299
|
-
principalType: "
|
|
1299
|
+
principalType: "agent" | "user" | "system";
|
|
1300
1300
|
clerkId: string | null;
|
|
1301
1301
|
};
|
|
1302
1302
|
resolvedAt: string;
|
|
1303
1303
|
resolvingReceiptUuid: string | null;
|
|
1304
1304
|
}, {
|
|
1305
|
+
rationale: string;
|
|
1305
1306
|
closureRefs: {
|
|
1306
1307
|
accepted: true;
|
|
1307
1308
|
uuid: string | null;
|
|
1308
1309
|
kind: "source_span" | "policy_decision" | "graph_evidence" | "transition_mapping" | "verifier_gate" | "benchmark_artifact" | "lineage_disposition_receipt" | "parsimony_review";
|
|
1309
1310
|
ref: string;
|
|
1310
1311
|
}[];
|
|
1311
|
-
rationale: string;
|
|
1312
1312
|
resolvedBy: {
|
|
1313
1313
|
principalId: string;
|
|
1314
|
-
principalType: "
|
|
1314
|
+
principalType: "agent" | "user" | "system";
|
|
1315
1315
|
clerkId: string | null;
|
|
1316
1316
|
};
|
|
1317
1317
|
resolvedAt: string;
|
|
@@ -1319,10 +1319,12 @@ declare const TypedNeedContractSchema: z.ZodObject<{
|
|
|
1319
1319
|
}>>;
|
|
1320
1320
|
rationale: z.ZodString;
|
|
1321
1321
|
}, "strip", z.ZodTypeAny, {
|
|
1322
|
-
status: "
|
|
1322
|
+
status: "superseded" | "resolved" | "open" | "deferred";
|
|
1323
|
+
rationale: string;
|
|
1323
1324
|
contractVersion: "typed_need_v1";
|
|
1324
1325
|
ownerWorktree: string;
|
|
1325
1326
|
needUuid: string;
|
|
1327
|
+
needType: "missing_evidence" | "needs_mapping" | "needs_verifier" | "needs_source_span" | "needs_benchmark" | "needs_policy_decision" | "needs_lineage_disposition" | "needs_parsimony_review";
|
|
1326
1328
|
openedByReceipt: {
|
|
1327
1329
|
receiptUuid: string;
|
|
1328
1330
|
receiptKind: "transition_receipt" | "source_material_adoption_receipt" | "source_material_total_partition" | "worktree_closeout_receipt";
|
|
@@ -1339,37 +1341,37 @@ declare const TypedNeedContractSchema: z.ZodObject<{
|
|
|
1339
1341
|
kind: "topic" | "belief" | "question" | "evidence" | "worktree" | "agent_run" | "schema" | "ontology" | "source_material";
|
|
1340
1342
|
legacyRef: string | null;
|
|
1341
1343
|
};
|
|
1342
|
-
needType: "missing_evidence" | "needs_mapping" | "needs_verifier" | "needs_source_span" | "needs_benchmark" | "needs_policy_decision" | "needs_lineage_disposition" | "needs_parsimony_review";
|
|
1343
|
-
rationale: string;
|
|
1344
1344
|
blockingMode: "blocking" | "advisory" | "contextual";
|
|
1345
1345
|
blocksRatification: boolean;
|
|
1346
1346
|
openedAt: string;
|
|
1347
1347
|
openedBy: {
|
|
1348
1348
|
principalId: string;
|
|
1349
|
-
principalType: "
|
|
1349
|
+
principalType: "agent" | "user" | "system";
|
|
1350
1350
|
clerkId: string | null;
|
|
1351
1351
|
};
|
|
1352
1352
|
closure: {
|
|
1353
|
+
rationale: string;
|
|
1353
1354
|
closureRefs: {
|
|
1354
1355
|
accepted: true;
|
|
1355
1356
|
uuid: string | null;
|
|
1356
1357
|
kind: "source_span" | "policy_decision" | "graph_evidence" | "transition_mapping" | "verifier_gate" | "benchmark_artifact" | "lineage_disposition_receipt" | "parsimony_review";
|
|
1357
1358
|
ref: string;
|
|
1358
1359
|
}[];
|
|
1359
|
-
rationale: string;
|
|
1360
1360
|
resolvedBy: {
|
|
1361
1361
|
principalId: string;
|
|
1362
|
-
principalType: "
|
|
1362
|
+
principalType: "agent" | "user" | "system";
|
|
1363
1363
|
clerkId: string | null;
|
|
1364
1364
|
};
|
|
1365
1365
|
resolvedAt: string;
|
|
1366
1366
|
resolvingReceiptUuid: string | null;
|
|
1367
1367
|
} | null;
|
|
1368
1368
|
}, {
|
|
1369
|
-
status: "
|
|
1369
|
+
status: "superseded" | "resolved" | "open" | "deferred";
|
|
1370
|
+
rationale: string;
|
|
1370
1371
|
contractVersion: "typed_need_v1";
|
|
1371
1372
|
ownerWorktree: string;
|
|
1372
1373
|
needUuid: string;
|
|
1374
|
+
needType: "missing_evidence" | "needs_mapping" | "needs_verifier" | "needs_source_span" | "needs_benchmark" | "needs_policy_decision" | "needs_lineage_disposition" | "needs_parsimony_review";
|
|
1373
1375
|
openedByReceipt: {
|
|
1374
1376
|
receiptUuid: string;
|
|
1375
1377
|
receiptKind: "transition_receipt" | "source_material_adoption_receipt" | "source_material_total_partition" | "worktree_closeout_receipt";
|
|
@@ -1386,37 +1388,37 @@ declare const TypedNeedContractSchema: z.ZodObject<{
|
|
|
1386
1388
|
kind: "topic" | "belief" | "question" | "evidence" | "worktree" | "agent_run" | "schema" | "ontology" | "source_material";
|
|
1387
1389
|
legacyRef: string | null;
|
|
1388
1390
|
};
|
|
1389
|
-
needType: "missing_evidence" | "needs_mapping" | "needs_verifier" | "needs_source_span" | "needs_benchmark" | "needs_policy_decision" | "needs_lineage_disposition" | "needs_parsimony_review";
|
|
1390
|
-
rationale: string;
|
|
1391
1391
|
blockingMode: "blocking" | "advisory" | "contextual";
|
|
1392
1392
|
blocksRatification: boolean;
|
|
1393
1393
|
openedAt: string;
|
|
1394
1394
|
openedBy: {
|
|
1395
1395
|
principalId: string;
|
|
1396
|
-
principalType: "
|
|
1396
|
+
principalType: "agent" | "user" | "system";
|
|
1397
1397
|
clerkId: string | null;
|
|
1398
1398
|
};
|
|
1399
1399
|
closure: {
|
|
1400
|
+
rationale: string;
|
|
1400
1401
|
closureRefs: {
|
|
1401
1402
|
accepted: true;
|
|
1402
1403
|
uuid: string | null;
|
|
1403
1404
|
kind: "source_span" | "policy_decision" | "graph_evidence" | "transition_mapping" | "verifier_gate" | "benchmark_artifact" | "lineage_disposition_receipt" | "parsimony_review";
|
|
1404
1405
|
ref: string;
|
|
1405
1406
|
}[];
|
|
1406
|
-
rationale: string;
|
|
1407
1407
|
resolvedBy: {
|
|
1408
1408
|
principalId: string;
|
|
1409
|
-
principalType: "
|
|
1409
|
+
principalType: "agent" | "user" | "system";
|
|
1410
1410
|
clerkId: string | null;
|
|
1411
1411
|
};
|
|
1412
1412
|
resolvedAt: string;
|
|
1413
1413
|
resolvingReceiptUuid: string | null;
|
|
1414
1414
|
} | null;
|
|
1415
1415
|
}>, {
|
|
1416
|
-
status: "
|
|
1416
|
+
status: "superseded" | "resolved" | "open" | "deferred";
|
|
1417
|
+
rationale: string;
|
|
1417
1418
|
contractVersion: "typed_need_v1";
|
|
1418
1419
|
ownerWorktree: string;
|
|
1419
1420
|
needUuid: string;
|
|
1421
|
+
needType: "missing_evidence" | "needs_mapping" | "needs_verifier" | "needs_source_span" | "needs_benchmark" | "needs_policy_decision" | "needs_lineage_disposition" | "needs_parsimony_review";
|
|
1420
1422
|
openedByReceipt: {
|
|
1421
1423
|
receiptUuid: string;
|
|
1422
1424
|
receiptKind: "transition_receipt" | "source_material_adoption_receipt" | "source_material_total_partition" | "worktree_closeout_receipt";
|
|
@@ -1433,37 +1435,37 @@ declare const TypedNeedContractSchema: z.ZodObject<{
|
|
|
1433
1435
|
kind: "topic" | "belief" | "question" | "evidence" | "worktree" | "agent_run" | "schema" | "ontology" | "source_material";
|
|
1434
1436
|
legacyRef: string | null;
|
|
1435
1437
|
};
|
|
1436
|
-
needType: "missing_evidence" | "needs_mapping" | "needs_verifier" | "needs_source_span" | "needs_benchmark" | "needs_policy_decision" | "needs_lineage_disposition" | "needs_parsimony_review";
|
|
1437
|
-
rationale: string;
|
|
1438
1438
|
blockingMode: "blocking" | "advisory" | "contextual";
|
|
1439
1439
|
blocksRatification: boolean;
|
|
1440
1440
|
openedAt: string;
|
|
1441
1441
|
openedBy: {
|
|
1442
1442
|
principalId: string;
|
|
1443
|
-
principalType: "
|
|
1443
|
+
principalType: "agent" | "user" | "system";
|
|
1444
1444
|
clerkId: string | null;
|
|
1445
1445
|
};
|
|
1446
1446
|
closure: {
|
|
1447
|
+
rationale: string;
|
|
1447
1448
|
closureRefs: {
|
|
1448
1449
|
accepted: true;
|
|
1449
1450
|
uuid: string | null;
|
|
1450
1451
|
kind: "source_span" | "policy_decision" | "graph_evidence" | "transition_mapping" | "verifier_gate" | "benchmark_artifact" | "lineage_disposition_receipt" | "parsimony_review";
|
|
1451
1452
|
ref: string;
|
|
1452
1453
|
}[];
|
|
1453
|
-
rationale: string;
|
|
1454
1454
|
resolvedBy: {
|
|
1455
1455
|
principalId: string;
|
|
1456
|
-
principalType: "
|
|
1456
|
+
principalType: "agent" | "user" | "system";
|
|
1457
1457
|
clerkId: string | null;
|
|
1458
1458
|
};
|
|
1459
1459
|
resolvedAt: string;
|
|
1460
1460
|
resolvingReceiptUuid: string | null;
|
|
1461
1461
|
} | null;
|
|
1462
1462
|
}, {
|
|
1463
|
-
status: "
|
|
1463
|
+
status: "superseded" | "resolved" | "open" | "deferred";
|
|
1464
|
+
rationale: string;
|
|
1464
1465
|
contractVersion: "typed_need_v1";
|
|
1465
1466
|
ownerWorktree: string;
|
|
1466
1467
|
needUuid: string;
|
|
1468
|
+
needType: "missing_evidence" | "needs_mapping" | "needs_verifier" | "needs_source_span" | "needs_benchmark" | "needs_policy_decision" | "needs_lineage_disposition" | "needs_parsimony_review";
|
|
1467
1469
|
openedByReceipt: {
|
|
1468
1470
|
receiptUuid: string;
|
|
1469
1471
|
receiptKind: "transition_receipt" | "source_material_adoption_receipt" | "source_material_total_partition" | "worktree_closeout_receipt";
|
|
@@ -1480,27 +1482,25 @@ declare const TypedNeedContractSchema: z.ZodObject<{
|
|
|
1480
1482
|
kind: "topic" | "belief" | "question" | "evidence" | "worktree" | "agent_run" | "schema" | "ontology" | "source_material";
|
|
1481
1483
|
legacyRef: string | null;
|
|
1482
1484
|
};
|
|
1483
|
-
needType: "missing_evidence" | "needs_mapping" | "needs_verifier" | "needs_source_span" | "needs_benchmark" | "needs_policy_decision" | "needs_lineage_disposition" | "needs_parsimony_review";
|
|
1484
|
-
rationale: string;
|
|
1485
1485
|
blockingMode: "blocking" | "advisory" | "contextual";
|
|
1486
1486
|
blocksRatification: boolean;
|
|
1487
1487
|
openedAt: string;
|
|
1488
1488
|
openedBy: {
|
|
1489
1489
|
principalId: string;
|
|
1490
|
-
principalType: "
|
|
1490
|
+
principalType: "agent" | "user" | "system";
|
|
1491
1491
|
clerkId: string | null;
|
|
1492
1492
|
};
|
|
1493
1493
|
closure: {
|
|
1494
|
+
rationale: string;
|
|
1494
1495
|
closureRefs: {
|
|
1495
1496
|
accepted: true;
|
|
1496
1497
|
uuid: string | null;
|
|
1497
1498
|
kind: "source_span" | "policy_decision" | "graph_evidence" | "transition_mapping" | "verifier_gate" | "benchmark_artifact" | "lineage_disposition_receipt" | "parsimony_review";
|
|
1498
1499
|
ref: string;
|
|
1499
1500
|
}[];
|
|
1500
|
-
rationale: string;
|
|
1501
1501
|
resolvedBy: {
|
|
1502
1502
|
principalId: string;
|
|
1503
|
-
principalType: "
|
|
1503
|
+
principalType: "agent" | "user" | "system";
|
|
1504
1504
|
clerkId: string | null;
|
|
1505
1505
|
};
|
|
1506
1506
|
resolvedAt: string;
|
|
@@ -1517,18 +1517,18 @@ declare const TypedNeedContractSchema: z.ZodObject<{
|
|
|
1517
1517
|
accepted: z.ZodLiteral<true>;
|
|
1518
1518
|
rationale: z.ZodString;
|
|
1519
1519
|
}, "strip", z.ZodTypeAny, {
|
|
1520
|
-
accepted: true;
|
|
1521
|
-
id: string;
|
|
1522
1520
|
rationale: string;
|
|
1521
|
+
id: string;
|
|
1522
|
+
accepted: true;
|
|
1523
1523
|
sourceCase: "residual_new_only" | "true_claim_conflict";
|
|
1524
1524
|
sourceBucket: "contradiction" | "residual" | null;
|
|
1525
1525
|
typedNeedType: "missing_evidence" | "needs_mapping" | "needs_verifier" | "needs_source_span" | "needs_benchmark" | "needs_policy_decision" | "needs_lineage_disposition" | "needs_parsimony_review" | null;
|
|
1526
1526
|
typedNeedRequired: boolean;
|
|
1527
1527
|
contradictionObjectRequired: boolean;
|
|
1528
1528
|
}, {
|
|
1529
|
-
accepted: true;
|
|
1530
|
-
id: string;
|
|
1531
1529
|
rationale: string;
|
|
1530
|
+
id: string;
|
|
1531
|
+
accepted: true;
|
|
1532
1532
|
sourceCase: "residual_new_only" | "true_claim_conflict";
|
|
1533
1533
|
sourceBucket: "contradiction" | "residual" | null;
|
|
1534
1534
|
typedNeedType: "missing_evidence" | "needs_mapping" | "needs_verifier" | "needs_source_span" | "needs_benchmark" | "needs_policy_decision" | "needs_lineage_disposition" | "needs_parsimony_review" | null;
|
|
@@ -1539,12 +1539,15 @@ declare const TypedNeedContractSchema: z.ZodObject<{
|
|
|
1539
1539
|
graphV2MirrorRebuildBlocked: z.ZodLiteral<true>;
|
|
1540
1540
|
}, "strip", z.ZodTypeAny, {
|
|
1541
1541
|
contractVersion: "typed_need_v1";
|
|
1542
|
+
rulesetVersion: string;
|
|
1542
1543
|
transitionReceiptVersion: "transition_receipt_v1";
|
|
1543
1544
|
typedNeeds: {
|
|
1544
|
-
status: "
|
|
1545
|
+
status: "superseded" | "resolved" | "open" | "deferred";
|
|
1546
|
+
rationale: string;
|
|
1545
1547
|
contractVersion: "typed_need_v1";
|
|
1546
1548
|
ownerWorktree: string;
|
|
1547
1549
|
needUuid: string;
|
|
1550
|
+
needType: "missing_evidence" | "needs_mapping" | "needs_verifier" | "needs_source_span" | "needs_benchmark" | "needs_policy_decision" | "needs_lineage_disposition" | "needs_parsimony_review";
|
|
1548
1551
|
openedByReceipt: {
|
|
1549
1552
|
receiptUuid: string;
|
|
1550
1553
|
receiptKind: "transition_receipt" | "source_material_adoption_receipt" | "source_material_total_partition" | "worktree_closeout_receipt";
|
|
@@ -1561,42 +1564,39 @@ declare const TypedNeedContractSchema: z.ZodObject<{
|
|
|
1561
1564
|
kind: "topic" | "belief" | "question" | "evidence" | "worktree" | "agent_run" | "schema" | "ontology" | "source_material";
|
|
1562
1565
|
legacyRef: string | null;
|
|
1563
1566
|
};
|
|
1564
|
-
needType: "missing_evidence" | "needs_mapping" | "needs_verifier" | "needs_source_span" | "needs_benchmark" | "needs_policy_decision" | "needs_lineage_disposition" | "needs_parsimony_review";
|
|
1565
|
-
rationale: string;
|
|
1566
1567
|
blockingMode: "blocking" | "advisory" | "contextual";
|
|
1567
1568
|
blocksRatification: boolean;
|
|
1568
1569
|
openedAt: string;
|
|
1569
1570
|
openedBy: {
|
|
1570
1571
|
principalId: string;
|
|
1571
|
-
principalType: "
|
|
1572
|
+
principalType: "agent" | "user" | "system";
|
|
1572
1573
|
clerkId: string | null;
|
|
1573
1574
|
};
|
|
1574
1575
|
closure: {
|
|
1576
|
+
rationale: string;
|
|
1575
1577
|
closureRefs: {
|
|
1576
1578
|
accepted: true;
|
|
1577
1579
|
uuid: string | null;
|
|
1578
1580
|
kind: "source_span" | "policy_decision" | "graph_evidence" | "transition_mapping" | "verifier_gate" | "benchmark_artifact" | "lineage_disposition_receipt" | "parsimony_review";
|
|
1579
1581
|
ref: string;
|
|
1580
1582
|
}[];
|
|
1581
|
-
rationale: string;
|
|
1582
1583
|
resolvedBy: {
|
|
1583
1584
|
principalId: string;
|
|
1584
|
-
principalType: "
|
|
1585
|
+
principalType: "agent" | "user" | "system";
|
|
1585
1586
|
clerkId: string | null;
|
|
1586
1587
|
};
|
|
1587
1588
|
resolvedAt: string;
|
|
1588
1589
|
resolvingReceiptUuid: string | null;
|
|
1589
1590
|
} | null;
|
|
1590
1591
|
}[];
|
|
1591
|
-
rulesetVersion: string;
|
|
1592
1592
|
packetUuid: string;
|
|
1593
1593
|
sourcePartitionVersion: "source_material_total_partition_v1";
|
|
1594
1594
|
adoptionLedgerVersion: "source_material_adoption_ledger_v1";
|
|
1595
1595
|
receiptDisposition: "superseded" | "rejected" | "proposed" | "deferred" | "ratified";
|
|
1596
1596
|
boundaryExamples: {
|
|
1597
|
-
accepted: true;
|
|
1598
|
-
id: string;
|
|
1599
1597
|
rationale: string;
|
|
1598
|
+
id: string;
|
|
1599
|
+
accepted: true;
|
|
1600
1600
|
sourceCase: "residual_new_only" | "true_claim_conflict";
|
|
1601
1601
|
sourceBucket: "contradiction" | "residual" | null;
|
|
1602
1602
|
typedNeedType: "missing_evidence" | "needs_mapping" | "needs_verifier" | "needs_source_span" | "needs_benchmark" | "needs_policy_decision" | "needs_lineage_disposition" | "needs_parsimony_review" | null;
|
|
@@ -1607,12 +1607,15 @@ declare const TypedNeedContractSchema: z.ZodObject<{
|
|
|
1607
1607
|
graphV2MirrorRebuildBlocked: true;
|
|
1608
1608
|
}, {
|
|
1609
1609
|
contractVersion: "typed_need_v1";
|
|
1610
|
+
rulesetVersion: string;
|
|
1610
1611
|
transitionReceiptVersion: "transition_receipt_v1";
|
|
1611
1612
|
typedNeeds: {
|
|
1612
|
-
status: "
|
|
1613
|
+
status: "superseded" | "resolved" | "open" | "deferred";
|
|
1614
|
+
rationale: string;
|
|
1613
1615
|
contractVersion: "typed_need_v1";
|
|
1614
1616
|
ownerWorktree: string;
|
|
1615
1617
|
needUuid: string;
|
|
1618
|
+
needType: "missing_evidence" | "needs_mapping" | "needs_verifier" | "needs_source_span" | "needs_benchmark" | "needs_policy_decision" | "needs_lineage_disposition" | "needs_parsimony_review";
|
|
1616
1619
|
openedByReceipt: {
|
|
1617
1620
|
receiptUuid: string;
|
|
1618
1621
|
receiptKind: "transition_receipt" | "source_material_adoption_receipt" | "source_material_total_partition" | "worktree_closeout_receipt";
|
|
@@ -1629,42 +1632,39 @@ declare const TypedNeedContractSchema: z.ZodObject<{
|
|
|
1629
1632
|
kind: "topic" | "belief" | "question" | "evidence" | "worktree" | "agent_run" | "schema" | "ontology" | "source_material";
|
|
1630
1633
|
legacyRef: string | null;
|
|
1631
1634
|
};
|
|
1632
|
-
needType: "missing_evidence" | "needs_mapping" | "needs_verifier" | "needs_source_span" | "needs_benchmark" | "needs_policy_decision" | "needs_lineage_disposition" | "needs_parsimony_review";
|
|
1633
|
-
rationale: string;
|
|
1634
1635
|
blockingMode: "blocking" | "advisory" | "contextual";
|
|
1635
1636
|
blocksRatification: boolean;
|
|
1636
1637
|
openedAt: string;
|
|
1637
1638
|
openedBy: {
|
|
1638
1639
|
principalId: string;
|
|
1639
|
-
principalType: "
|
|
1640
|
+
principalType: "agent" | "user" | "system";
|
|
1640
1641
|
clerkId: string | null;
|
|
1641
1642
|
};
|
|
1642
1643
|
closure: {
|
|
1644
|
+
rationale: string;
|
|
1643
1645
|
closureRefs: {
|
|
1644
1646
|
accepted: true;
|
|
1645
1647
|
uuid: string | null;
|
|
1646
1648
|
kind: "source_span" | "policy_decision" | "graph_evidence" | "transition_mapping" | "verifier_gate" | "benchmark_artifact" | "lineage_disposition_receipt" | "parsimony_review";
|
|
1647
1649
|
ref: string;
|
|
1648
1650
|
}[];
|
|
1649
|
-
rationale: string;
|
|
1650
1651
|
resolvedBy: {
|
|
1651
1652
|
principalId: string;
|
|
1652
|
-
principalType: "
|
|
1653
|
+
principalType: "agent" | "user" | "system";
|
|
1653
1654
|
clerkId: string | null;
|
|
1654
1655
|
};
|
|
1655
1656
|
resolvedAt: string;
|
|
1656
1657
|
resolvingReceiptUuid: string | null;
|
|
1657
1658
|
} | null;
|
|
1658
1659
|
}[];
|
|
1659
|
-
rulesetVersion: string;
|
|
1660
1660
|
packetUuid: string;
|
|
1661
1661
|
sourcePartitionVersion: "source_material_total_partition_v1";
|
|
1662
1662
|
adoptionLedgerVersion: "source_material_adoption_ledger_v1";
|
|
1663
1663
|
receiptDisposition: "superseded" | "rejected" | "proposed" | "deferred" | "ratified";
|
|
1664
1664
|
boundaryExamples: {
|
|
1665
|
-
accepted: true;
|
|
1666
|
-
id: string;
|
|
1667
1665
|
rationale: string;
|
|
1666
|
+
id: string;
|
|
1667
|
+
accepted: true;
|
|
1668
1668
|
sourceCase: "residual_new_only" | "true_claim_conflict";
|
|
1669
1669
|
sourceBucket: "contradiction" | "residual" | null;
|
|
1670
1670
|
typedNeedType: "missing_evidence" | "needs_mapping" | "needs_verifier" | "needs_source_span" | "needs_benchmark" | "needs_policy_decision" | "needs_lineage_disposition" | "needs_parsimony_review" | null;
|
|
@@ -1675,12 +1675,15 @@ declare const TypedNeedContractSchema: z.ZodObject<{
|
|
|
1675
1675
|
graphV2MirrorRebuildBlocked: true;
|
|
1676
1676
|
}>, {
|
|
1677
1677
|
contractVersion: "typed_need_v1";
|
|
1678
|
+
rulesetVersion: string;
|
|
1678
1679
|
transitionReceiptVersion: "transition_receipt_v1";
|
|
1679
1680
|
typedNeeds: {
|
|
1680
|
-
status: "
|
|
1681
|
+
status: "superseded" | "resolved" | "open" | "deferred";
|
|
1682
|
+
rationale: string;
|
|
1681
1683
|
contractVersion: "typed_need_v1";
|
|
1682
1684
|
ownerWorktree: string;
|
|
1683
1685
|
needUuid: string;
|
|
1686
|
+
needType: "missing_evidence" | "needs_mapping" | "needs_verifier" | "needs_source_span" | "needs_benchmark" | "needs_policy_decision" | "needs_lineage_disposition" | "needs_parsimony_review";
|
|
1684
1687
|
openedByReceipt: {
|
|
1685
1688
|
receiptUuid: string;
|
|
1686
1689
|
receiptKind: "transition_receipt" | "source_material_adoption_receipt" | "source_material_total_partition" | "worktree_closeout_receipt";
|
|
@@ -1697,42 +1700,39 @@ declare const TypedNeedContractSchema: z.ZodObject<{
|
|
|
1697
1700
|
kind: "topic" | "belief" | "question" | "evidence" | "worktree" | "agent_run" | "schema" | "ontology" | "source_material";
|
|
1698
1701
|
legacyRef: string | null;
|
|
1699
1702
|
};
|
|
1700
|
-
needType: "missing_evidence" | "needs_mapping" | "needs_verifier" | "needs_source_span" | "needs_benchmark" | "needs_policy_decision" | "needs_lineage_disposition" | "needs_parsimony_review";
|
|
1701
|
-
rationale: string;
|
|
1702
1703
|
blockingMode: "blocking" | "advisory" | "contextual";
|
|
1703
1704
|
blocksRatification: boolean;
|
|
1704
1705
|
openedAt: string;
|
|
1705
1706
|
openedBy: {
|
|
1706
1707
|
principalId: string;
|
|
1707
|
-
principalType: "
|
|
1708
|
+
principalType: "agent" | "user" | "system";
|
|
1708
1709
|
clerkId: string | null;
|
|
1709
1710
|
};
|
|
1710
1711
|
closure: {
|
|
1712
|
+
rationale: string;
|
|
1711
1713
|
closureRefs: {
|
|
1712
1714
|
accepted: true;
|
|
1713
1715
|
uuid: string | null;
|
|
1714
1716
|
kind: "source_span" | "policy_decision" | "graph_evidence" | "transition_mapping" | "verifier_gate" | "benchmark_artifact" | "lineage_disposition_receipt" | "parsimony_review";
|
|
1715
1717
|
ref: string;
|
|
1716
1718
|
}[];
|
|
1717
|
-
rationale: string;
|
|
1718
1719
|
resolvedBy: {
|
|
1719
1720
|
principalId: string;
|
|
1720
|
-
principalType: "
|
|
1721
|
+
principalType: "agent" | "user" | "system";
|
|
1721
1722
|
clerkId: string | null;
|
|
1722
1723
|
};
|
|
1723
1724
|
resolvedAt: string;
|
|
1724
1725
|
resolvingReceiptUuid: string | null;
|
|
1725
1726
|
} | null;
|
|
1726
1727
|
}[];
|
|
1727
|
-
rulesetVersion: string;
|
|
1728
1728
|
packetUuid: string;
|
|
1729
1729
|
sourcePartitionVersion: "source_material_total_partition_v1";
|
|
1730
1730
|
adoptionLedgerVersion: "source_material_adoption_ledger_v1";
|
|
1731
1731
|
receiptDisposition: "superseded" | "rejected" | "proposed" | "deferred" | "ratified";
|
|
1732
1732
|
boundaryExamples: {
|
|
1733
|
-
accepted: true;
|
|
1734
|
-
id: string;
|
|
1735
1733
|
rationale: string;
|
|
1734
|
+
id: string;
|
|
1735
|
+
accepted: true;
|
|
1736
1736
|
sourceCase: "residual_new_only" | "true_claim_conflict";
|
|
1737
1737
|
sourceBucket: "contradiction" | "residual" | null;
|
|
1738
1738
|
typedNeedType: "missing_evidence" | "needs_mapping" | "needs_verifier" | "needs_source_span" | "needs_benchmark" | "needs_policy_decision" | "needs_lineage_disposition" | "needs_parsimony_review" | null;
|
|
@@ -1743,12 +1743,15 @@ declare const TypedNeedContractSchema: z.ZodObject<{
|
|
|
1743
1743
|
graphV2MirrorRebuildBlocked: true;
|
|
1744
1744
|
}, {
|
|
1745
1745
|
contractVersion: "typed_need_v1";
|
|
1746
|
+
rulesetVersion: string;
|
|
1746
1747
|
transitionReceiptVersion: "transition_receipt_v1";
|
|
1747
1748
|
typedNeeds: {
|
|
1748
|
-
status: "
|
|
1749
|
+
status: "superseded" | "resolved" | "open" | "deferred";
|
|
1750
|
+
rationale: string;
|
|
1749
1751
|
contractVersion: "typed_need_v1";
|
|
1750
1752
|
ownerWorktree: string;
|
|
1751
1753
|
needUuid: string;
|
|
1754
|
+
needType: "missing_evidence" | "needs_mapping" | "needs_verifier" | "needs_source_span" | "needs_benchmark" | "needs_policy_decision" | "needs_lineage_disposition" | "needs_parsimony_review";
|
|
1752
1755
|
openedByReceipt: {
|
|
1753
1756
|
receiptUuid: string;
|
|
1754
1757
|
receiptKind: "transition_receipt" | "source_material_adoption_receipt" | "source_material_total_partition" | "worktree_closeout_receipt";
|
|
@@ -1765,42 +1768,39 @@ declare const TypedNeedContractSchema: z.ZodObject<{
|
|
|
1765
1768
|
kind: "topic" | "belief" | "question" | "evidence" | "worktree" | "agent_run" | "schema" | "ontology" | "source_material";
|
|
1766
1769
|
legacyRef: string | null;
|
|
1767
1770
|
};
|
|
1768
|
-
needType: "missing_evidence" | "needs_mapping" | "needs_verifier" | "needs_source_span" | "needs_benchmark" | "needs_policy_decision" | "needs_lineage_disposition" | "needs_parsimony_review";
|
|
1769
|
-
rationale: string;
|
|
1770
1771
|
blockingMode: "blocking" | "advisory" | "contextual";
|
|
1771
1772
|
blocksRatification: boolean;
|
|
1772
1773
|
openedAt: string;
|
|
1773
1774
|
openedBy: {
|
|
1774
1775
|
principalId: string;
|
|
1775
|
-
principalType: "
|
|
1776
|
+
principalType: "agent" | "user" | "system";
|
|
1776
1777
|
clerkId: string | null;
|
|
1777
1778
|
};
|
|
1778
1779
|
closure: {
|
|
1780
|
+
rationale: string;
|
|
1779
1781
|
closureRefs: {
|
|
1780
1782
|
accepted: true;
|
|
1781
1783
|
uuid: string | null;
|
|
1782
1784
|
kind: "source_span" | "policy_decision" | "graph_evidence" | "transition_mapping" | "verifier_gate" | "benchmark_artifact" | "lineage_disposition_receipt" | "parsimony_review";
|
|
1783
1785
|
ref: string;
|
|
1784
1786
|
}[];
|
|
1785
|
-
rationale: string;
|
|
1786
1787
|
resolvedBy: {
|
|
1787
1788
|
principalId: string;
|
|
1788
|
-
principalType: "
|
|
1789
|
+
principalType: "agent" | "user" | "system";
|
|
1789
1790
|
clerkId: string | null;
|
|
1790
1791
|
};
|
|
1791
1792
|
resolvedAt: string;
|
|
1792
1793
|
resolvingReceiptUuid: string | null;
|
|
1793
1794
|
} | null;
|
|
1794
1795
|
}[];
|
|
1795
|
-
rulesetVersion: string;
|
|
1796
1796
|
packetUuid: string;
|
|
1797
1797
|
sourcePartitionVersion: "source_material_total_partition_v1";
|
|
1798
1798
|
adoptionLedgerVersion: "source_material_adoption_ledger_v1";
|
|
1799
1799
|
receiptDisposition: "superseded" | "rejected" | "proposed" | "deferred" | "ratified";
|
|
1800
1800
|
boundaryExamples: {
|
|
1801
|
-
accepted: true;
|
|
1802
|
-
id: string;
|
|
1803
1801
|
rationale: string;
|
|
1802
|
+
id: string;
|
|
1803
|
+
accepted: true;
|
|
1804
1804
|
sourceCase: "residual_new_only" | "true_claim_conflict";
|
|
1805
1805
|
sourceBucket: "contradiction" | "residual" | null;
|
|
1806
1806
|
typedNeedType: "missing_evidence" | "needs_mapping" | "needs_verifier" | "needs_source_span" | "needs_benchmark" | "needs_policy_decision" | "needs_lineage_disposition" | "needs_parsimony_review" | null;
|
|
@@ -1812,29 +1812,29 @@ declare const TypedNeedContractSchema: z.ZodObject<{
|
|
|
1812
1812
|
}>;
|
|
1813
1813
|
}, "strip", z.ZodTypeAny, {
|
|
1814
1814
|
worktree: "GV2.0.4";
|
|
1815
|
-
lane: "c2-gv2-transition-intelligence-preflight";
|
|
1816
1815
|
contractVersion: "typed_need_v1";
|
|
1817
|
-
|
|
1816
|
+
lane: "c2-gv2-transition-intelligence-preflight";
|
|
1818
1817
|
graphWorktreeId: "tn73t8m3ravg85ttyqzd1wzpbd885k0e";
|
|
1819
1818
|
compositionKey: "typed_need_v1";
|
|
1819
|
+
refusalFixtures: ("non_uuidv7_need_identity" | "unknown_legacy_need_alias" | "opening_receipt_kind_not_allowed" | "resolved_without_closure_evidence" | "blocking_mode_drift" | "parsimony_blocks_ratification" | "lineage_disposition_missing_receipt" | "policy_decision_missing_permit_ref" | "ratified_with_open_blocking_need" | "residual_modeled_as_contradiction" | "true_conflict_modeled_as_typed_need_only")[];
|
|
1820
1820
|
tasks: {
|
|
1821
1821
|
title: string;
|
|
1822
1822
|
requiredProof: string;
|
|
1823
1823
|
taskId: string;
|
|
1824
1824
|
}[];
|
|
1825
1825
|
boundaryExamples: {
|
|
1826
|
-
accepted: true;
|
|
1827
|
-
id: string;
|
|
1828
1826
|
rationale: string;
|
|
1827
|
+
id: string;
|
|
1828
|
+
accepted: true;
|
|
1829
1829
|
sourceCase: "residual_new_only" | "true_claim_conflict";
|
|
1830
1830
|
sourceBucket: "contradiction" | "residual" | null;
|
|
1831
1831
|
typedNeedType: "missing_evidence" | "needs_mapping" | "needs_verifier" | "needs_source_span" | "needs_benchmark" | "needs_policy_decision" | "needs_lineage_disposition" | "needs_parsimony_review" | null;
|
|
1832
1832
|
typedNeedRequired: boolean;
|
|
1833
1833
|
contradictionObjectRequired: boolean;
|
|
1834
1834
|
}[];
|
|
1835
|
-
dependsOnCompositions: ("
|
|
1835
|
+
dependsOnCompositions: ("transition_receipt_v1" | "source_material_adoption_ledger_v1" | "source_material_total_partition_v1")[];
|
|
1836
1836
|
needTypes: ("missing_evidence" | "needs_mapping" | "needs_verifier" | "needs_source_span" | "needs_benchmark" | "needs_policy_decision" | "needs_lineage_disposition" | "needs_parsimony_review")[];
|
|
1837
|
-
statuses: ("
|
|
1837
|
+
statuses: ("superseded" | "resolved" | "open" | "deferred")[];
|
|
1838
1838
|
resolverContracts: {
|
|
1839
1839
|
needType: "missing_evidence" | "needs_mapping" | "needs_verifier" | "needs_source_span" | "needs_benchmark" | "needs_policy_decision" | "needs_lineage_disposition" | "needs_parsimony_review";
|
|
1840
1840
|
blockingMode: "blocking" | "advisory" | "contextual";
|
|
@@ -1847,12 +1847,15 @@ declare const TypedNeedContractSchema: z.ZodObject<{
|
|
|
1847
1847
|
}[];
|
|
1848
1848
|
positivePacket: {
|
|
1849
1849
|
contractVersion: "typed_need_v1";
|
|
1850
|
+
rulesetVersion: string;
|
|
1850
1851
|
transitionReceiptVersion: "transition_receipt_v1";
|
|
1851
1852
|
typedNeeds: {
|
|
1852
|
-
status: "
|
|
1853
|
+
status: "superseded" | "resolved" | "open" | "deferred";
|
|
1854
|
+
rationale: string;
|
|
1853
1855
|
contractVersion: "typed_need_v1";
|
|
1854
1856
|
ownerWorktree: string;
|
|
1855
1857
|
needUuid: string;
|
|
1858
|
+
needType: "missing_evidence" | "needs_mapping" | "needs_verifier" | "needs_source_span" | "needs_benchmark" | "needs_policy_decision" | "needs_lineage_disposition" | "needs_parsimony_review";
|
|
1856
1859
|
openedByReceipt: {
|
|
1857
1860
|
receiptUuid: string;
|
|
1858
1861
|
receiptKind: "transition_receipt" | "source_material_adoption_receipt" | "source_material_total_partition" | "worktree_closeout_receipt";
|
|
@@ -1869,42 +1872,39 @@ declare const TypedNeedContractSchema: z.ZodObject<{
|
|
|
1869
1872
|
kind: "topic" | "belief" | "question" | "evidence" | "worktree" | "agent_run" | "schema" | "ontology" | "source_material";
|
|
1870
1873
|
legacyRef: string | null;
|
|
1871
1874
|
};
|
|
1872
|
-
needType: "missing_evidence" | "needs_mapping" | "needs_verifier" | "needs_source_span" | "needs_benchmark" | "needs_policy_decision" | "needs_lineage_disposition" | "needs_parsimony_review";
|
|
1873
|
-
rationale: string;
|
|
1874
1875
|
blockingMode: "blocking" | "advisory" | "contextual";
|
|
1875
1876
|
blocksRatification: boolean;
|
|
1876
1877
|
openedAt: string;
|
|
1877
1878
|
openedBy: {
|
|
1878
1879
|
principalId: string;
|
|
1879
|
-
principalType: "
|
|
1880
|
+
principalType: "agent" | "user" | "system";
|
|
1880
1881
|
clerkId: string | null;
|
|
1881
1882
|
};
|
|
1882
1883
|
closure: {
|
|
1884
|
+
rationale: string;
|
|
1883
1885
|
closureRefs: {
|
|
1884
1886
|
accepted: true;
|
|
1885
1887
|
uuid: string | null;
|
|
1886
1888
|
kind: "source_span" | "policy_decision" | "graph_evidence" | "transition_mapping" | "verifier_gate" | "benchmark_artifact" | "lineage_disposition_receipt" | "parsimony_review";
|
|
1887
1889
|
ref: string;
|
|
1888
1890
|
}[];
|
|
1889
|
-
rationale: string;
|
|
1890
1891
|
resolvedBy: {
|
|
1891
1892
|
principalId: string;
|
|
1892
|
-
principalType: "
|
|
1893
|
+
principalType: "agent" | "user" | "system";
|
|
1893
1894
|
clerkId: string | null;
|
|
1894
1895
|
};
|
|
1895
1896
|
resolvedAt: string;
|
|
1896
1897
|
resolvingReceiptUuid: string | null;
|
|
1897
1898
|
} | null;
|
|
1898
1899
|
}[];
|
|
1899
|
-
rulesetVersion: string;
|
|
1900
1900
|
packetUuid: string;
|
|
1901
1901
|
sourcePartitionVersion: "source_material_total_partition_v1";
|
|
1902
1902
|
adoptionLedgerVersion: "source_material_adoption_ledger_v1";
|
|
1903
1903
|
receiptDisposition: "superseded" | "rejected" | "proposed" | "deferred" | "ratified";
|
|
1904
1904
|
boundaryExamples: {
|
|
1905
|
-
accepted: true;
|
|
1906
|
-
id: string;
|
|
1907
1905
|
rationale: string;
|
|
1906
|
+
id: string;
|
|
1907
|
+
accepted: true;
|
|
1908
1908
|
sourceCase: "residual_new_only" | "true_claim_conflict";
|
|
1909
1909
|
sourceBucket: "contradiction" | "residual" | null;
|
|
1910
1910
|
typedNeedType: "missing_evidence" | "needs_mapping" | "needs_verifier" | "needs_source_span" | "needs_benchmark" | "needs_policy_decision" | "needs_lineage_disposition" | "needs_parsimony_review" | null;
|
|
@@ -1916,29 +1916,29 @@ declare const TypedNeedContractSchema: z.ZodObject<{
|
|
|
1916
1916
|
};
|
|
1917
1917
|
}, {
|
|
1918
1918
|
worktree: "GV2.0.4";
|
|
1919
|
-
lane: "c2-gv2-transition-intelligence-preflight";
|
|
1920
1919
|
contractVersion: "typed_need_v1";
|
|
1921
|
-
|
|
1920
|
+
lane: "c2-gv2-transition-intelligence-preflight";
|
|
1922
1921
|
graphWorktreeId: "tn73t8m3ravg85ttyqzd1wzpbd885k0e";
|
|
1923
1922
|
compositionKey: "typed_need_v1";
|
|
1923
|
+
refusalFixtures: ("non_uuidv7_need_identity" | "unknown_legacy_need_alias" | "opening_receipt_kind_not_allowed" | "resolved_without_closure_evidence" | "blocking_mode_drift" | "parsimony_blocks_ratification" | "lineage_disposition_missing_receipt" | "policy_decision_missing_permit_ref" | "ratified_with_open_blocking_need" | "residual_modeled_as_contradiction" | "true_conflict_modeled_as_typed_need_only")[];
|
|
1924
1924
|
tasks: {
|
|
1925
1925
|
title: string;
|
|
1926
1926
|
requiredProof: string;
|
|
1927
1927
|
taskId: string;
|
|
1928
1928
|
}[];
|
|
1929
1929
|
boundaryExamples: {
|
|
1930
|
-
accepted: true;
|
|
1931
|
-
id: string;
|
|
1932
1930
|
rationale: string;
|
|
1931
|
+
id: string;
|
|
1932
|
+
accepted: true;
|
|
1933
1933
|
sourceCase: "residual_new_only" | "true_claim_conflict";
|
|
1934
1934
|
sourceBucket: "contradiction" | "residual" | null;
|
|
1935
1935
|
typedNeedType: "missing_evidence" | "needs_mapping" | "needs_verifier" | "needs_source_span" | "needs_benchmark" | "needs_policy_decision" | "needs_lineage_disposition" | "needs_parsimony_review" | null;
|
|
1936
1936
|
typedNeedRequired: boolean;
|
|
1937
1937
|
contradictionObjectRequired: boolean;
|
|
1938
1938
|
}[];
|
|
1939
|
-
dependsOnCompositions: ("
|
|
1939
|
+
dependsOnCompositions: ("transition_receipt_v1" | "source_material_adoption_ledger_v1" | "source_material_total_partition_v1")[];
|
|
1940
1940
|
needTypes: ("missing_evidence" | "needs_mapping" | "needs_verifier" | "needs_source_span" | "needs_benchmark" | "needs_policy_decision" | "needs_lineage_disposition" | "needs_parsimony_review")[];
|
|
1941
|
-
statuses: ("
|
|
1941
|
+
statuses: ("superseded" | "resolved" | "open" | "deferred")[];
|
|
1942
1942
|
resolverContracts: {
|
|
1943
1943
|
needType: "missing_evidence" | "needs_mapping" | "needs_verifier" | "needs_source_span" | "needs_benchmark" | "needs_policy_decision" | "needs_lineage_disposition" | "needs_parsimony_review";
|
|
1944
1944
|
blockingMode: "blocking" | "advisory" | "contextual";
|
|
@@ -1951,12 +1951,15 @@ declare const TypedNeedContractSchema: z.ZodObject<{
|
|
|
1951
1951
|
}[];
|
|
1952
1952
|
positivePacket: {
|
|
1953
1953
|
contractVersion: "typed_need_v1";
|
|
1954
|
+
rulesetVersion: string;
|
|
1954
1955
|
transitionReceiptVersion: "transition_receipt_v1";
|
|
1955
1956
|
typedNeeds: {
|
|
1956
|
-
status: "
|
|
1957
|
+
status: "superseded" | "resolved" | "open" | "deferred";
|
|
1958
|
+
rationale: string;
|
|
1957
1959
|
contractVersion: "typed_need_v1";
|
|
1958
1960
|
ownerWorktree: string;
|
|
1959
1961
|
needUuid: string;
|
|
1962
|
+
needType: "missing_evidence" | "needs_mapping" | "needs_verifier" | "needs_source_span" | "needs_benchmark" | "needs_policy_decision" | "needs_lineage_disposition" | "needs_parsimony_review";
|
|
1960
1963
|
openedByReceipt: {
|
|
1961
1964
|
receiptUuid: string;
|
|
1962
1965
|
receiptKind: "transition_receipt" | "source_material_adoption_receipt" | "source_material_total_partition" | "worktree_closeout_receipt";
|
|
@@ -1973,42 +1976,39 @@ declare const TypedNeedContractSchema: z.ZodObject<{
|
|
|
1973
1976
|
kind: "topic" | "belief" | "question" | "evidence" | "worktree" | "agent_run" | "schema" | "ontology" | "source_material";
|
|
1974
1977
|
legacyRef: string | null;
|
|
1975
1978
|
};
|
|
1976
|
-
needType: "missing_evidence" | "needs_mapping" | "needs_verifier" | "needs_source_span" | "needs_benchmark" | "needs_policy_decision" | "needs_lineage_disposition" | "needs_parsimony_review";
|
|
1977
|
-
rationale: string;
|
|
1978
1979
|
blockingMode: "blocking" | "advisory" | "contextual";
|
|
1979
1980
|
blocksRatification: boolean;
|
|
1980
1981
|
openedAt: string;
|
|
1981
1982
|
openedBy: {
|
|
1982
1983
|
principalId: string;
|
|
1983
|
-
principalType: "
|
|
1984
|
+
principalType: "agent" | "user" | "system";
|
|
1984
1985
|
clerkId: string | null;
|
|
1985
1986
|
};
|
|
1986
1987
|
closure: {
|
|
1988
|
+
rationale: string;
|
|
1987
1989
|
closureRefs: {
|
|
1988
1990
|
accepted: true;
|
|
1989
1991
|
uuid: string | null;
|
|
1990
1992
|
kind: "source_span" | "policy_decision" | "graph_evidence" | "transition_mapping" | "verifier_gate" | "benchmark_artifact" | "lineage_disposition_receipt" | "parsimony_review";
|
|
1991
1993
|
ref: string;
|
|
1992
1994
|
}[];
|
|
1993
|
-
rationale: string;
|
|
1994
1995
|
resolvedBy: {
|
|
1995
1996
|
principalId: string;
|
|
1996
|
-
principalType: "
|
|
1997
|
+
principalType: "agent" | "user" | "system";
|
|
1997
1998
|
clerkId: string | null;
|
|
1998
1999
|
};
|
|
1999
2000
|
resolvedAt: string;
|
|
2000
2001
|
resolvingReceiptUuid: string | null;
|
|
2001
2002
|
} | null;
|
|
2002
2003
|
}[];
|
|
2003
|
-
rulesetVersion: string;
|
|
2004
2004
|
packetUuid: string;
|
|
2005
2005
|
sourcePartitionVersion: "source_material_total_partition_v1";
|
|
2006
2006
|
adoptionLedgerVersion: "source_material_adoption_ledger_v1";
|
|
2007
2007
|
receiptDisposition: "superseded" | "rejected" | "proposed" | "deferred" | "ratified";
|
|
2008
2008
|
boundaryExamples: {
|
|
2009
|
-
accepted: true;
|
|
2010
|
-
id: string;
|
|
2011
2009
|
rationale: string;
|
|
2010
|
+
id: string;
|
|
2011
|
+
accepted: true;
|
|
2012
2012
|
sourceCase: "residual_new_only" | "true_claim_conflict";
|
|
2013
2013
|
sourceBucket: "contradiction" | "residual" | null;
|
|
2014
2014
|
typedNeedType: "missing_evidence" | "needs_mapping" | "needs_verifier" | "needs_source_span" | "needs_benchmark" | "needs_policy_decision" | "needs_lineage_disposition" | "needs_parsimony_review" | null;
|
|
@@ -2031,10 +2031,12 @@ declare const TYPED_NEED_POSITIVE_PACKET: {
|
|
|
2031
2031
|
adoptionLedgerVersion: "source_material_adoption_ledger_v1";
|
|
2032
2032
|
receiptDisposition: "proposed";
|
|
2033
2033
|
typedNeeds: {
|
|
2034
|
-
status: "
|
|
2034
|
+
status: "superseded" | "resolved" | "open" | "deferred";
|
|
2035
|
+
rationale: string;
|
|
2035
2036
|
contractVersion: "typed_need_v1";
|
|
2036
2037
|
ownerWorktree: string;
|
|
2037
2038
|
needUuid: string;
|
|
2039
|
+
needType: "missing_evidence" | "needs_mapping" | "needs_verifier" | "needs_source_span" | "needs_benchmark" | "needs_policy_decision" | "needs_lineage_disposition" | "needs_parsimony_review";
|
|
2038
2040
|
openedByReceipt: {
|
|
2039
2041
|
receiptUuid: string;
|
|
2040
2042
|
receiptKind: "transition_receipt" | "source_material_adoption_receipt" | "source_material_total_partition" | "worktree_closeout_receipt";
|
|
@@ -2051,27 +2053,25 @@ declare const TYPED_NEED_POSITIVE_PACKET: {
|
|
|
2051
2053
|
kind: "topic" | "belief" | "question" | "evidence" | "worktree" | "agent_run" | "schema" | "ontology" | "source_material";
|
|
2052
2054
|
legacyRef: string | null;
|
|
2053
2055
|
};
|
|
2054
|
-
needType: "missing_evidence" | "needs_mapping" | "needs_verifier" | "needs_source_span" | "needs_benchmark" | "needs_policy_decision" | "needs_lineage_disposition" | "needs_parsimony_review";
|
|
2055
|
-
rationale: string;
|
|
2056
2056
|
blockingMode: "blocking" | "advisory" | "contextual";
|
|
2057
2057
|
blocksRatification: boolean;
|
|
2058
2058
|
openedAt: string;
|
|
2059
2059
|
openedBy: {
|
|
2060
2060
|
principalId: string;
|
|
2061
|
-
principalType: "
|
|
2061
|
+
principalType: "agent" | "user" | "system";
|
|
2062
2062
|
clerkId: string | null;
|
|
2063
2063
|
};
|
|
2064
2064
|
closure: {
|
|
2065
|
+
rationale: string;
|
|
2065
2066
|
closureRefs: {
|
|
2066
2067
|
accepted: true;
|
|
2067
2068
|
uuid: string | null;
|
|
2068
2069
|
kind: "source_span" | "policy_decision" | "graph_evidence" | "transition_mapping" | "verifier_gate" | "benchmark_artifact" | "lineage_disposition_receipt" | "parsimony_review";
|
|
2069
2070
|
ref: string;
|
|
2070
2071
|
}[];
|
|
2071
|
-
rationale: string;
|
|
2072
2072
|
resolvedBy: {
|
|
2073
2073
|
principalId: string;
|
|
2074
|
-
principalType: "
|
|
2074
|
+
principalType: "agent" | "user" | "system";
|
|
2075
2075
|
clerkId: string | null;
|
|
2076
2076
|
};
|
|
2077
2077
|
resolvedAt: string;
|
|
@@ -2106,9 +2106,9 @@ declare const TYPED_NEED_CONTRACT: {
|
|
|
2106
2106
|
graphWorktreeId: "tn73t8m3ravg85ttyqzd1wzpbd885k0e";
|
|
2107
2107
|
lane: "c2-gv2-transition-intelligence-preflight";
|
|
2108
2108
|
compositionKey: "typed_need_v1";
|
|
2109
|
-
dependsOnCompositions: ("
|
|
2109
|
+
dependsOnCompositions: ("transition_receipt_v1" | "source_material_adoption_ledger_v1" | "source_material_total_partition_v1")[];
|
|
2110
2110
|
needTypes: ("missing_evidence" | "needs_mapping" | "needs_verifier" | "needs_source_span" | "needs_benchmark" | "needs_policy_decision" | "needs_lineage_disposition" | "needs_parsimony_review")[];
|
|
2111
|
-
statuses: ("
|
|
2111
|
+
statuses: ("superseded" | "resolved" | "open" | "deferred")[];
|
|
2112
2112
|
resolverContracts: ({
|
|
2113
2113
|
readonly needType: "missing_evidence";
|
|
2114
2114
|
readonly blockingMode: "blocking";
|
|
@@ -2228,10 +2228,12 @@ declare const TYPED_NEED_CONTRACT: {
|
|
|
2228
2228
|
adoptionLedgerVersion: "source_material_adoption_ledger_v1";
|
|
2229
2229
|
receiptDisposition: "proposed";
|
|
2230
2230
|
typedNeeds: {
|
|
2231
|
-
status: "
|
|
2231
|
+
status: "superseded" | "resolved" | "open" | "deferred";
|
|
2232
|
+
rationale: string;
|
|
2232
2233
|
contractVersion: "typed_need_v1";
|
|
2233
2234
|
ownerWorktree: string;
|
|
2234
2235
|
needUuid: string;
|
|
2236
|
+
needType: "missing_evidence" | "needs_mapping" | "needs_verifier" | "needs_source_span" | "needs_benchmark" | "needs_policy_decision" | "needs_lineage_disposition" | "needs_parsimony_review";
|
|
2235
2237
|
openedByReceipt: {
|
|
2236
2238
|
receiptUuid: string;
|
|
2237
2239
|
receiptKind: "transition_receipt" | "source_material_adoption_receipt" | "source_material_total_partition" | "worktree_closeout_receipt";
|
|
@@ -2248,27 +2250,25 @@ declare const TYPED_NEED_CONTRACT: {
|
|
|
2248
2250
|
kind: "topic" | "belief" | "question" | "evidence" | "worktree" | "agent_run" | "schema" | "ontology" | "source_material";
|
|
2249
2251
|
legacyRef: string | null;
|
|
2250
2252
|
};
|
|
2251
|
-
needType: "missing_evidence" | "needs_mapping" | "needs_verifier" | "needs_source_span" | "needs_benchmark" | "needs_policy_decision" | "needs_lineage_disposition" | "needs_parsimony_review";
|
|
2252
|
-
rationale: string;
|
|
2253
2253
|
blockingMode: "blocking" | "advisory" | "contextual";
|
|
2254
2254
|
blocksRatification: boolean;
|
|
2255
2255
|
openedAt: string;
|
|
2256
2256
|
openedBy: {
|
|
2257
2257
|
principalId: string;
|
|
2258
|
-
principalType: "
|
|
2258
|
+
principalType: "agent" | "user" | "system";
|
|
2259
2259
|
clerkId: string | null;
|
|
2260
2260
|
};
|
|
2261
2261
|
closure: {
|
|
2262
|
+
rationale: string;
|
|
2262
2263
|
closureRefs: {
|
|
2263
2264
|
accepted: true;
|
|
2264
2265
|
uuid: string | null;
|
|
2265
2266
|
kind: "source_span" | "policy_decision" | "graph_evidence" | "transition_mapping" | "verifier_gate" | "benchmark_artifact" | "lineage_disposition_receipt" | "parsimony_review";
|
|
2266
2267
|
ref: string;
|
|
2267
2268
|
}[];
|
|
2268
|
-
rationale: string;
|
|
2269
2269
|
resolvedBy: {
|
|
2270
2270
|
principalId: string;
|
|
2271
|
-
principalType: "
|
|
2271
|
+
principalType: "agent" | "user" | "system";
|
|
2272
2272
|
clerkId: string | null;
|
|
2273
2273
|
};
|
|
2274
2274
|
resolvedAt: string;
|
|
@@ -2300,29 +2300,29 @@ declare const TYPED_NEED_CONTRACT: {
|
|
|
2300
2300
|
};
|
|
2301
2301
|
declare const parsedTypedNeedContract: {
|
|
2302
2302
|
worktree: "GV2.0.4";
|
|
2303
|
-
lane: "c2-gv2-transition-intelligence-preflight";
|
|
2304
2303
|
contractVersion: "typed_need_v1";
|
|
2305
|
-
|
|
2304
|
+
lane: "c2-gv2-transition-intelligence-preflight";
|
|
2306
2305
|
graphWorktreeId: "tn73t8m3ravg85ttyqzd1wzpbd885k0e";
|
|
2307
2306
|
compositionKey: "typed_need_v1";
|
|
2307
|
+
refusalFixtures: ("non_uuidv7_need_identity" | "unknown_legacy_need_alias" | "opening_receipt_kind_not_allowed" | "resolved_without_closure_evidence" | "blocking_mode_drift" | "parsimony_blocks_ratification" | "lineage_disposition_missing_receipt" | "policy_decision_missing_permit_ref" | "ratified_with_open_blocking_need" | "residual_modeled_as_contradiction" | "true_conflict_modeled_as_typed_need_only")[];
|
|
2308
2308
|
tasks: {
|
|
2309
2309
|
title: string;
|
|
2310
2310
|
requiredProof: string;
|
|
2311
2311
|
taskId: string;
|
|
2312
2312
|
}[];
|
|
2313
2313
|
boundaryExamples: {
|
|
2314
|
-
accepted: true;
|
|
2315
|
-
id: string;
|
|
2316
2314
|
rationale: string;
|
|
2315
|
+
id: string;
|
|
2316
|
+
accepted: true;
|
|
2317
2317
|
sourceCase: "residual_new_only" | "true_claim_conflict";
|
|
2318
2318
|
sourceBucket: "contradiction" | "residual" | null;
|
|
2319
2319
|
typedNeedType: "missing_evidence" | "needs_mapping" | "needs_verifier" | "needs_source_span" | "needs_benchmark" | "needs_policy_decision" | "needs_lineage_disposition" | "needs_parsimony_review" | null;
|
|
2320
2320
|
typedNeedRequired: boolean;
|
|
2321
2321
|
contradictionObjectRequired: boolean;
|
|
2322
2322
|
}[];
|
|
2323
|
-
dependsOnCompositions: ("
|
|
2323
|
+
dependsOnCompositions: ("transition_receipt_v1" | "source_material_adoption_ledger_v1" | "source_material_total_partition_v1")[];
|
|
2324
2324
|
needTypes: ("missing_evidence" | "needs_mapping" | "needs_verifier" | "needs_source_span" | "needs_benchmark" | "needs_policy_decision" | "needs_lineage_disposition" | "needs_parsimony_review")[];
|
|
2325
|
-
statuses: ("
|
|
2325
|
+
statuses: ("superseded" | "resolved" | "open" | "deferred")[];
|
|
2326
2326
|
resolverContracts: {
|
|
2327
2327
|
needType: "missing_evidence" | "needs_mapping" | "needs_verifier" | "needs_source_span" | "needs_benchmark" | "needs_policy_decision" | "needs_lineage_disposition" | "needs_parsimony_review";
|
|
2328
2328
|
blockingMode: "blocking" | "advisory" | "contextual";
|
|
@@ -2335,12 +2335,15 @@ declare const parsedTypedNeedContract: {
|
|
|
2335
2335
|
}[];
|
|
2336
2336
|
positivePacket: {
|
|
2337
2337
|
contractVersion: "typed_need_v1";
|
|
2338
|
+
rulesetVersion: string;
|
|
2338
2339
|
transitionReceiptVersion: "transition_receipt_v1";
|
|
2339
2340
|
typedNeeds: {
|
|
2340
|
-
status: "
|
|
2341
|
+
status: "superseded" | "resolved" | "open" | "deferred";
|
|
2342
|
+
rationale: string;
|
|
2341
2343
|
contractVersion: "typed_need_v1";
|
|
2342
2344
|
ownerWorktree: string;
|
|
2343
2345
|
needUuid: string;
|
|
2346
|
+
needType: "missing_evidence" | "needs_mapping" | "needs_verifier" | "needs_source_span" | "needs_benchmark" | "needs_policy_decision" | "needs_lineage_disposition" | "needs_parsimony_review";
|
|
2344
2347
|
openedByReceipt: {
|
|
2345
2348
|
receiptUuid: string;
|
|
2346
2349
|
receiptKind: "transition_receipt" | "source_material_adoption_receipt" | "source_material_total_partition" | "worktree_closeout_receipt";
|
|
@@ -2357,42 +2360,39 @@ declare const parsedTypedNeedContract: {
|
|
|
2357
2360
|
kind: "topic" | "belief" | "question" | "evidence" | "worktree" | "agent_run" | "schema" | "ontology" | "source_material";
|
|
2358
2361
|
legacyRef: string | null;
|
|
2359
2362
|
};
|
|
2360
|
-
needType: "missing_evidence" | "needs_mapping" | "needs_verifier" | "needs_source_span" | "needs_benchmark" | "needs_policy_decision" | "needs_lineage_disposition" | "needs_parsimony_review";
|
|
2361
|
-
rationale: string;
|
|
2362
2363
|
blockingMode: "blocking" | "advisory" | "contextual";
|
|
2363
2364
|
blocksRatification: boolean;
|
|
2364
2365
|
openedAt: string;
|
|
2365
2366
|
openedBy: {
|
|
2366
2367
|
principalId: string;
|
|
2367
|
-
principalType: "
|
|
2368
|
+
principalType: "agent" | "user" | "system";
|
|
2368
2369
|
clerkId: string | null;
|
|
2369
2370
|
};
|
|
2370
2371
|
closure: {
|
|
2372
|
+
rationale: string;
|
|
2371
2373
|
closureRefs: {
|
|
2372
2374
|
accepted: true;
|
|
2373
2375
|
uuid: string | null;
|
|
2374
2376
|
kind: "source_span" | "policy_decision" | "graph_evidence" | "transition_mapping" | "verifier_gate" | "benchmark_artifact" | "lineage_disposition_receipt" | "parsimony_review";
|
|
2375
2377
|
ref: string;
|
|
2376
2378
|
}[];
|
|
2377
|
-
rationale: string;
|
|
2378
2379
|
resolvedBy: {
|
|
2379
2380
|
principalId: string;
|
|
2380
|
-
principalType: "
|
|
2381
|
+
principalType: "agent" | "user" | "system";
|
|
2381
2382
|
clerkId: string | null;
|
|
2382
2383
|
};
|
|
2383
2384
|
resolvedAt: string;
|
|
2384
2385
|
resolvingReceiptUuid: string | null;
|
|
2385
2386
|
} | null;
|
|
2386
2387
|
}[];
|
|
2387
|
-
rulesetVersion: string;
|
|
2388
2388
|
packetUuid: string;
|
|
2389
2389
|
sourcePartitionVersion: "source_material_total_partition_v1";
|
|
2390
2390
|
adoptionLedgerVersion: "source_material_adoption_ledger_v1";
|
|
2391
2391
|
receiptDisposition: "superseded" | "rejected" | "proposed" | "deferred" | "ratified";
|
|
2392
2392
|
boundaryExamples: {
|
|
2393
|
-
accepted: true;
|
|
2394
|
-
id: string;
|
|
2395
2393
|
rationale: string;
|
|
2394
|
+
id: string;
|
|
2395
|
+
accepted: true;
|
|
2396
2396
|
sourceCase: "residual_new_only" | "true_claim_conflict";
|
|
2397
2397
|
sourceBucket: "contradiction" | "residual" | null;
|
|
2398
2398
|
typedNeedType: "missing_evidence" | "needs_mapping" | "needs_verifier" | "needs_source_span" | "needs_benchmark" | "needs_policy_decision" | "needs_lineage_disposition" | "needs_parsimony_review" | null;
|
|
@@ -2408,12 +2408,15 @@ declare function buildTypedNeedRefusalFixtures(): {
|
|
|
2408
2408
|
expectedDecision: "reject";
|
|
2409
2409
|
packet: {
|
|
2410
2410
|
contractVersion: "typed_need_v1";
|
|
2411
|
+
rulesetVersion: string;
|
|
2411
2412
|
transitionReceiptVersion: "transition_receipt_v1";
|
|
2412
2413
|
typedNeeds: {
|
|
2413
|
-
status: "
|
|
2414
|
+
status: "superseded" | "resolved" | "open" | "deferred";
|
|
2415
|
+
rationale: string;
|
|
2414
2416
|
contractVersion: "typed_need_v1";
|
|
2415
2417
|
ownerWorktree: string;
|
|
2416
2418
|
needUuid: string;
|
|
2419
|
+
needType: "missing_evidence" | "needs_mapping" | "needs_verifier" | "needs_source_span" | "needs_benchmark" | "needs_policy_decision" | "needs_lineage_disposition" | "needs_parsimony_review";
|
|
2417
2420
|
openedByReceipt: {
|
|
2418
2421
|
receiptUuid: string;
|
|
2419
2422
|
receiptKind: "transition_receipt" | "source_material_adoption_receipt" | "source_material_total_partition" | "worktree_closeout_receipt";
|
|
@@ -2430,42 +2433,39 @@ declare function buildTypedNeedRefusalFixtures(): {
|
|
|
2430
2433
|
kind: "topic" | "belief" | "question" | "evidence" | "worktree" | "agent_run" | "schema" | "ontology" | "source_material";
|
|
2431
2434
|
legacyRef: string | null;
|
|
2432
2435
|
};
|
|
2433
|
-
needType: "missing_evidence" | "needs_mapping" | "needs_verifier" | "needs_source_span" | "needs_benchmark" | "needs_policy_decision" | "needs_lineage_disposition" | "needs_parsimony_review";
|
|
2434
|
-
rationale: string;
|
|
2435
2436
|
blockingMode: "blocking" | "advisory" | "contextual";
|
|
2436
2437
|
blocksRatification: boolean;
|
|
2437
2438
|
openedAt: string;
|
|
2438
2439
|
openedBy: {
|
|
2439
2440
|
principalId: string;
|
|
2440
|
-
principalType: "
|
|
2441
|
+
principalType: "agent" | "user" | "system";
|
|
2441
2442
|
clerkId: string | null;
|
|
2442
2443
|
};
|
|
2443
2444
|
closure: {
|
|
2445
|
+
rationale: string;
|
|
2444
2446
|
closureRefs: {
|
|
2445
2447
|
accepted: true;
|
|
2446
2448
|
uuid: string | null;
|
|
2447
2449
|
kind: "source_span" | "policy_decision" | "graph_evidence" | "transition_mapping" | "verifier_gate" | "benchmark_artifact" | "lineage_disposition_receipt" | "parsimony_review";
|
|
2448
2450
|
ref: string;
|
|
2449
2451
|
}[];
|
|
2450
|
-
rationale: string;
|
|
2451
2452
|
resolvedBy: {
|
|
2452
2453
|
principalId: string;
|
|
2453
|
-
principalType: "
|
|
2454
|
+
principalType: "agent" | "user" | "system";
|
|
2454
2455
|
clerkId: string | null;
|
|
2455
2456
|
};
|
|
2456
2457
|
resolvedAt: string;
|
|
2457
2458
|
resolvingReceiptUuid: string | null;
|
|
2458
2459
|
} | null;
|
|
2459
2460
|
}[];
|
|
2460
|
-
rulesetVersion: string;
|
|
2461
2461
|
packetUuid: string;
|
|
2462
2462
|
sourcePartitionVersion: "source_material_total_partition_v1";
|
|
2463
2463
|
adoptionLedgerVersion: "source_material_adoption_ledger_v1";
|
|
2464
2464
|
receiptDisposition: "superseded" | "rejected" | "proposed" | "deferred" | "ratified";
|
|
2465
2465
|
boundaryExamples: {
|
|
2466
|
-
accepted: true;
|
|
2467
|
-
id: string;
|
|
2468
2466
|
rationale: string;
|
|
2467
|
+
id: string;
|
|
2468
|
+
accepted: true;
|
|
2469
2469
|
sourceCase: "residual_new_only" | "true_claim_conflict";
|
|
2470
2470
|
sourceBucket: "contradiction" | "residual" | null;
|
|
2471
2471
|
typedNeedType: "missing_evidence" | "needs_mapping" | "needs_verifier" | "needs_source_span" | "needs_benchmark" | "needs_policy_decision" | "needs_lineage_disposition" | "needs_parsimony_review" | null;
|