@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
|
@@ -22,15 +22,15 @@ declare const GraphV2WriteCandidateSchema: z.ZodObject<{
|
|
|
22
22
|
contentHash: z.ZodOptional<z.ZodString>;
|
|
23
23
|
sealedOmissionReceiptUuid: z.ZodOptional<z.ZodString>;
|
|
24
24
|
}, "strip", z.ZodTypeAny, {
|
|
25
|
-
sourceSpanUuid?: string | undefined;
|
|
26
25
|
contentHash?: string | undefined;
|
|
26
|
+
sourceSpanUuid?: string | undefined;
|
|
27
27
|
canonicalPath?: string | undefined;
|
|
28
28
|
lineStart?: number | undefined;
|
|
29
29
|
lineEnd?: number | undefined;
|
|
30
30
|
sealedOmissionReceiptUuid?: string | undefined;
|
|
31
31
|
}, {
|
|
32
|
-
sourceSpanUuid?: string | undefined;
|
|
33
32
|
contentHash?: string | undefined;
|
|
33
|
+
sourceSpanUuid?: string | undefined;
|
|
34
34
|
canonicalPath?: string | undefined;
|
|
35
35
|
lineStart?: number | undefined;
|
|
36
36
|
lineEnd?: number | undefined;
|
|
@@ -41,11 +41,11 @@ declare const GraphV2WriteCandidateSchema: z.ZodObject<{
|
|
|
41
41
|
tagValue: z.ZodString;
|
|
42
42
|
source: z.ZodEnum<["tenant", "system", "permit", "write_policy"]>;
|
|
43
43
|
}, "strip", z.ZodTypeAny, {
|
|
44
|
-
source: "
|
|
44
|
+
source: "permit" | "tenant" | "system" | "write_policy";
|
|
45
45
|
tagKey: string;
|
|
46
46
|
tagValue: string;
|
|
47
47
|
}, {
|
|
48
|
-
source: "
|
|
48
|
+
source: "permit" | "tenant" | "system" | "write_policy";
|
|
49
49
|
tagKey: string;
|
|
50
50
|
tagValue: string;
|
|
51
51
|
}>, "many">>;
|
|
@@ -81,12 +81,12 @@ declare const GraphV2WriteCandidateSchema: z.ZodObject<{
|
|
|
81
81
|
agentRunId: z.ZodOptional<z.ZodString>;
|
|
82
82
|
}, "strip", z.ZodTypeAny, {
|
|
83
83
|
principalId: string;
|
|
84
|
-
actorType: "agent" | "
|
|
84
|
+
actorType: "agent" | "external_collaborator" | "human" | "service_principal" | "system";
|
|
85
85
|
agentRunId?: string | undefined;
|
|
86
86
|
clerkId?: string | undefined;
|
|
87
87
|
}, {
|
|
88
88
|
principalId: string;
|
|
89
|
-
actorType: "agent" | "
|
|
89
|
+
actorType: "agent" | "external_collaborator" | "human" | "service_principal" | "system";
|
|
90
90
|
agentRunId?: string | undefined;
|
|
91
91
|
clerkId?: string | undefined;
|
|
92
92
|
}>>;
|
|
@@ -100,23 +100,23 @@ declare const GraphV2WriteCandidateSchema: z.ZodObject<{
|
|
|
100
100
|
sourceSpanUuids: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
|
|
101
101
|
signedImpact: z.ZodOptional<z.ZodNumber>;
|
|
102
102
|
}, "strip", z.ZodTypeAny, {
|
|
103
|
+
sourceSpanUuids: string[];
|
|
103
104
|
edgeType: string;
|
|
104
105
|
fromUuid: string;
|
|
105
106
|
toUuid: string;
|
|
106
107
|
edgeUuid: string;
|
|
107
|
-
sourceSpanUuids: string[];
|
|
108
|
-
direction?: string | undefined;
|
|
109
|
-
signedImpact?: number | undefined;
|
|
110
108
|
rationale?: string | undefined;
|
|
109
|
+
signedImpact?: number | undefined;
|
|
110
|
+
direction?: string | undefined;
|
|
111
111
|
}, {
|
|
112
112
|
edgeType: string;
|
|
113
113
|
fromUuid: string;
|
|
114
114
|
toUuid: string;
|
|
115
115
|
edgeUuid: string;
|
|
116
|
+
rationale?: string | undefined;
|
|
116
117
|
sourceSpanUuids?: string[] | undefined;
|
|
117
|
-
direction?: string | undefined;
|
|
118
118
|
signedImpact?: number | undefined;
|
|
119
|
-
|
|
119
|
+
direction?: string | undefined;
|
|
120
120
|
}>, "many">>;
|
|
121
121
|
receipts: z.ZodDefault<z.ZodArray<z.ZodObject<{
|
|
122
122
|
receiptUuid: z.ZodString;
|
|
@@ -126,16 +126,16 @@ declare const GraphV2WriteCandidateSchema: z.ZodObject<{
|
|
|
126
126
|
axiomTraceId: z.ZodOptional<z.ZodString>;
|
|
127
127
|
}, "strip", z.ZodTypeAny, {
|
|
128
128
|
receiptUuid: string;
|
|
129
|
-
receiptType: "
|
|
129
|
+
receiptType: "axiom_trace" | "source" | "adoption" | "merge" | "operator" | "write_policy" | "policy_decision" | "supersession";
|
|
130
130
|
surface?: string | undefined;
|
|
131
|
-
command?: string | undefined;
|
|
132
131
|
axiomTraceId?: string | undefined;
|
|
132
|
+
command?: string | undefined;
|
|
133
133
|
}, {
|
|
134
134
|
receiptUuid: string;
|
|
135
|
-
receiptType: "
|
|
135
|
+
receiptType: "axiom_trace" | "source" | "adoption" | "merge" | "operator" | "write_policy" | "policy_decision" | "supersession";
|
|
136
136
|
surface?: string | undefined;
|
|
137
|
-
command?: string | undefined;
|
|
138
137
|
axiomTraceId?: string | undefined;
|
|
138
|
+
command?: string | undefined;
|
|
139
139
|
}>, "many">>;
|
|
140
140
|
payload: z.ZodDefault<z.ZodObject<{
|
|
141
141
|
name: z.ZodOptional<z.ZodString>;
|
|
@@ -230,42 +230,42 @@ declare const GraphV2WriteCandidateSchema: z.ZodObject<{
|
|
|
230
230
|
}, z.ZodUnknown, "strip">>>;
|
|
231
231
|
}, "strip", z.ZodTypeAny, {
|
|
232
232
|
policyTags: {
|
|
233
|
-
source: "
|
|
233
|
+
source: "permit" | "tenant" | "system" | "write_policy";
|
|
234
234
|
tagKey: string;
|
|
235
235
|
tagValue: string;
|
|
236
236
|
}[];
|
|
237
|
+
sourceSpans: {
|
|
238
|
+
contentHash?: string | undefined;
|
|
239
|
+
sourceSpanUuid?: string | undefined;
|
|
240
|
+
canonicalPath?: string | undefined;
|
|
241
|
+
lineStart?: number | undefined;
|
|
242
|
+
lineEnd?: number | undefined;
|
|
243
|
+
sealedOmissionReceiptUuid?: string | undefined;
|
|
244
|
+
}[];
|
|
237
245
|
objectType: string;
|
|
238
246
|
edges: {
|
|
247
|
+
sourceSpanUuids: string[];
|
|
239
248
|
edgeType: string;
|
|
240
249
|
fromUuid: string;
|
|
241
250
|
toUuid: string;
|
|
242
251
|
edgeUuid: string;
|
|
243
|
-
sourceSpanUuids: string[];
|
|
244
|
-
direction?: string | undefined;
|
|
245
|
-
signedImpact?: number | undefined;
|
|
246
252
|
rationale?: string | undefined;
|
|
247
|
-
|
|
248
|
-
|
|
249
|
-
sourceSpanUuid?: string | undefined;
|
|
250
|
-
contentHash?: string | undefined;
|
|
251
|
-
canonicalPath?: string | undefined;
|
|
252
|
-
lineStart?: number | undefined;
|
|
253
|
-
lineEnd?: number | undefined;
|
|
254
|
-
sealedOmissionReceiptUuid?: string | undefined;
|
|
253
|
+
signedImpact?: number | undefined;
|
|
254
|
+
direction?: string | undefined;
|
|
255
255
|
}[];
|
|
256
256
|
publicUuid: string;
|
|
257
257
|
receipts: {
|
|
258
258
|
receiptUuid: string;
|
|
259
|
-
receiptType: "
|
|
259
|
+
receiptType: "axiom_trace" | "source" | "adoption" | "merge" | "operator" | "write_policy" | "policy_decision" | "supersession";
|
|
260
260
|
surface?: string | undefined;
|
|
261
|
-
command?: string | undefined;
|
|
262
261
|
axiomTraceId?: string | undefined;
|
|
262
|
+
command?: string | undefined;
|
|
263
263
|
}[];
|
|
264
264
|
payload: {
|
|
265
|
-
|
|
265
|
+
campaign?: number | undefined;
|
|
266
266
|
lane?: string | undefined;
|
|
267
|
+
confidence?: number | undefined;
|
|
267
268
|
title?: string | undefined;
|
|
268
|
-
campaign?: number | undefined;
|
|
269
269
|
assertion?: string | undefined;
|
|
270
270
|
name?: string | undefined;
|
|
271
271
|
orderInLane?: number | undefined;
|
|
@@ -309,7 +309,7 @@ declare const GraphV2WriteCandidateSchema: z.ZodObject<{
|
|
|
309
309
|
epistemicState?: string | undefined;
|
|
310
310
|
author?: {
|
|
311
311
|
principalId: string;
|
|
312
|
-
actorType: "agent" | "
|
|
312
|
+
actorType: "agent" | "external_collaborator" | "human" | "service_principal" | "system";
|
|
313
313
|
agentRunId?: string | undefined;
|
|
314
314
|
clerkId?: string | undefined;
|
|
315
315
|
} | undefined;
|
|
@@ -319,27 +319,27 @@ declare const GraphV2WriteCandidateSchema: z.ZodObject<{
|
|
|
319
319
|
tenantId?: string | undefined;
|
|
320
320
|
workspaceId?: string | undefined;
|
|
321
321
|
policyTags?: {
|
|
322
|
-
source: "
|
|
322
|
+
source: "permit" | "tenant" | "system" | "write_policy";
|
|
323
323
|
tagKey: string;
|
|
324
324
|
tagValue: string;
|
|
325
325
|
}[] | undefined;
|
|
326
|
+
sourceSpans?: {
|
|
327
|
+
contentHash?: string | undefined;
|
|
328
|
+
sourceSpanUuid?: string | undefined;
|
|
329
|
+
canonicalPath?: string | undefined;
|
|
330
|
+
lineStart?: number | undefined;
|
|
331
|
+
lineEnd?: number | undefined;
|
|
332
|
+
sealedOmissionReceiptUuid?: string | undefined;
|
|
333
|
+
}[] | undefined;
|
|
326
334
|
edges?: {
|
|
327
335
|
edgeType: string;
|
|
328
336
|
fromUuid: string;
|
|
329
337
|
toUuid: string;
|
|
330
338
|
edgeUuid: string;
|
|
339
|
+
rationale?: string | undefined;
|
|
331
340
|
sourceSpanUuids?: string[] | undefined;
|
|
332
|
-
direction?: string | undefined;
|
|
333
341
|
signedImpact?: number | undefined;
|
|
334
|
-
|
|
335
|
-
}[] | undefined;
|
|
336
|
-
sourceSpans?: {
|
|
337
|
-
sourceSpanUuid?: string | undefined;
|
|
338
|
-
contentHash?: string | undefined;
|
|
339
|
-
canonicalPath?: string | undefined;
|
|
340
|
-
lineStart?: number | undefined;
|
|
341
|
-
lineEnd?: number | undefined;
|
|
342
|
-
sealedOmissionReceiptUuid?: string | undefined;
|
|
342
|
+
direction?: string | undefined;
|
|
343
343
|
}[] | undefined;
|
|
344
344
|
stateVector?: {
|
|
345
345
|
lifecycleState: string;
|
|
@@ -351,10 +351,10 @@ declare const GraphV2WriteCandidateSchema: z.ZodObject<{
|
|
|
351
351
|
} | undefined;
|
|
352
352
|
receipts?: {
|
|
353
353
|
receiptUuid: string;
|
|
354
|
-
receiptType: "
|
|
354
|
+
receiptType: "axiom_trace" | "source" | "adoption" | "merge" | "operator" | "write_policy" | "policy_decision" | "supersession";
|
|
355
355
|
surface?: string | undefined;
|
|
356
|
-
command?: string | undefined;
|
|
357
356
|
axiomTraceId?: string | undefined;
|
|
357
|
+
command?: string | undefined;
|
|
358
358
|
}[] | undefined;
|
|
359
359
|
payload?: z.objectInputType<{
|
|
360
360
|
name: z.ZodOptional<z.ZodString>;
|
|
@@ -392,7 +392,7 @@ declare const GraphV2WriteCandidateSchema: z.ZodObject<{
|
|
|
392
392
|
epistemicState?: string | undefined;
|
|
393
393
|
author?: {
|
|
394
394
|
principalId: string;
|
|
395
|
-
actorType: "agent" | "
|
|
395
|
+
actorType: "agent" | "external_collaborator" | "human" | "service_principal" | "system";
|
|
396
396
|
agentRunId?: string | undefined;
|
|
397
397
|
clerkId?: string | undefined;
|
|
398
398
|
} | undefined;
|
|
@@ -427,15 +427,15 @@ declare const GraphV2WritePolicyConstitutionSchema: z.ZodEffects<z.ZodObject<{
|
|
|
427
427
|
requiresEdgeIntent: z.ZodBoolean;
|
|
428
428
|
notes: z.ZodArray<z.ZodString, "many">;
|
|
429
429
|
}, "strip", z.ZodTypeAny, {
|
|
430
|
-
objectType: "topic" | "edge" | "belief" | "question" | "evidence" | "worktree" | "output" | "decision" | "receipt" | "contradiction";
|
|
431
430
|
notes: string[];
|
|
431
|
+
objectType: "topic" | "belief" | "question" | "evidence" | "worktree" | "edge" | "receipt" | "output" | "decision" | "contradiction";
|
|
432
432
|
requiredPayloadFields: string[];
|
|
433
433
|
minimumSpecificTextLength: number;
|
|
434
434
|
requiresEpistemicState: boolean;
|
|
435
435
|
requiresEdgeIntent: boolean;
|
|
436
436
|
}, {
|
|
437
|
-
objectType: "topic" | "edge" | "belief" | "question" | "evidence" | "worktree" | "output" | "decision" | "receipt" | "contradiction";
|
|
438
437
|
notes: string[];
|
|
438
|
+
objectType: "topic" | "belief" | "question" | "evidence" | "worktree" | "edge" | "receipt" | "output" | "decision" | "contradiction";
|
|
439
439
|
minimumSpecificTextLength: number;
|
|
440
440
|
requiresEpistemicState: boolean;
|
|
441
441
|
requiresEdgeIntent: boolean;
|
|
@@ -456,15 +456,15 @@ declare const GraphV2WritePolicyConstitutionSchema: z.ZodEffects<z.ZodObject<{
|
|
|
456
456
|
contentHash: z.ZodOptional<z.ZodString>;
|
|
457
457
|
sealedOmissionReceiptUuid: z.ZodOptional<z.ZodString>;
|
|
458
458
|
}, "strip", z.ZodTypeAny, {
|
|
459
|
-
sourceSpanUuid?: string | undefined;
|
|
460
459
|
contentHash?: string | undefined;
|
|
460
|
+
sourceSpanUuid?: string | undefined;
|
|
461
461
|
canonicalPath?: string | undefined;
|
|
462
462
|
lineStart?: number | undefined;
|
|
463
463
|
lineEnd?: number | undefined;
|
|
464
464
|
sealedOmissionReceiptUuid?: string | undefined;
|
|
465
465
|
}, {
|
|
466
|
-
sourceSpanUuid?: string | undefined;
|
|
467
466
|
contentHash?: string | undefined;
|
|
467
|
+
sourceSpanUuid?: string | undefined;
|
|
468
468
|
canonicalPath?: string | undefined;
|
|
469
469
|
lineStart?: number | undefined;
|
|
470
470
|
lineEnd?: number | undefined;
|
|
@@ -475,11 +475,11 @@ declare const GraphV2WritePolicyConstitutionSchema: z.ZodEffects<z.ZodObject<{
|
|
|
475
475
|
tagValue: z.ZodString;
|
|
476
476
|
source: z.ZodEnum<["tenant", "system", "permit", "write_policy"]>;
|
|
477
477
|
}, "strip", z.ZodTypeAny, {
|
|
478
|
-
source: "
|
|
478
|
+
source: "permit" | "tenant" | "system" | "write_policy";
|
|
479
479
|
tagKey: string;
|
|
480
480
|
tagValue: string;
|
|
481
481
|
}, {
|
|
482
|
-
source: "
|
|
482
|
+
source: "permit" | "tenant" | "system" | "write_policy";
|
|
483
483
|
tagKey: string;
|
|
484
484
|
tagValue: string;
|
|
485
485
|
}>, "many">>;
|
|
@@ -515,12 +515,12 @@ declare const GraphV2WritePolicyConstitutionSchema: z.ZodEffects<z.ZodObject<{
|
|
|
515
515
|
agentRunId: z.ZodOptional<z.ZodString>;
|
|
516
516
|
}, "strip", z.ZodTypeAny, {
|
|
517
517
|
principalId: string;
|
|
518
|
-
actorType: "agent" | "
|
|
518
|
+
actorType: "agent" | "external_collaborator" | "human" | "service_principal" | "system";
|
|
519
519
|
agentRunId?: string | undefined;
|
|
520
520
|
clerkId?: string | undefined;
|
|
521
521
|
}, {
|
|
522
522
|
principalId: string;
|
|
523
|
-
actorType: "agent" | "
|
|
523
|
+
actorType: "agent" | "external_collaborator" | "human" | "service_principal" | "system";
|
|
524
524
|
agentRunId?: string | undefined;
|
|
525
525
|
clerkId?: string | undefined;
|
|
526
526
|
}>>;
|
|
@@ -534,23 +534,23 @@ declare const GraphV2WritePolicyConstitutionSchema: z.ZodEffects<z.ZodObject<{
|
|
|
534
534
|
sourceSpanUuids: z.ZodDefault<z.ZodArray<z.ZodString, "many">>;
|
|
535
535
|
signedImpact: z.ZodOptional<z.ZodNumber>;
|
|
536
536
|
}, "strip", z.ZodTypeAny, {
|
|
537
|
+
sourceSpanUuids: string[];
|
|
537
538
|
edgeType: string;
|
|
538
539
|
fromUuid: string;
|
|
539
540
|
toUuid: string;
|
|
540
541
|
edgeUuid: string;
|
|
541
|
-
sourceSpanUuids: string[];
|
|
542
|
-
direction?: string | undefined;
|
|
543
|
-
signedImpact?: number | undefined;
|
|
544
542
|
rationale?: string | undefined;
|
|
543
|
+
signedImpact?: number | undefined;
|
|
544
|
+
direction?: string | undefined;
|
|
545
545
|
}, {
|
|
546
546
|
edgeType: string;
|
|
547
547
|
fromUuid: string;
|
|
548
548
|
toUuid: string;
|
|
549
549
|
edgeUuid: string;
|
|
550
|
+
rationale?: string | undefined;
|
|
550
551
|
sourceSpanUuids?: string[] | undefined;
|
|
551
|
-
direction?: string | undefined;
|
|
552
552
|
signedImpact?: number | undefined;
|
|
553
|
-
|
|
553
|
+
direction?: string | undefined;
|
|
554
554
|
}>, "many">>;
|
|
555
555
|
receipts: z.ZodDefault<z.ZodArray<z.ZodObject<{
|
|
556
556
|
receiptUuid: z.ZodString;
|
|
@@ -560,16 +560,16 @@ declare const GraphV2WritePolicyConstitutionSchema: z.ZodEffects<z.ZodObject<{
|
|
|
560
560
|
axiomTraceId: z.ZodOptional<z.ZodString>;
|
|
561
561
|
}, "strip", z.ZodTypeAny, {
|
|
562
562
|
receiptUuid: string;
|
|
563
|
-
receiptType: "
|
|
563
|
+
receiptType: "axiom_trace" | "source" | "adoption" | "merge" | "operator" | "write_policy" | "policy_decision" | "supersession";
|
|
564
564
|
surface?: string | undefined;
|
|
565
|
-
command?: string | undefined;
|
|
566
565
|
axiomTraceId?: string | undefined;
|
|
566
|
+
command?: string | undefined;
|
|
567
567
|
}, {
|
|
568
568
|
receiptUuid: string;
|
|
569
|
-
receiptType: "
|
|
569
|
+
receiptType: "axiom_trace" | "source" | "adoption" | "merge" | "operator" | "write_policy" | "policy_decision" | "supersession";
|
|
570
570
|
surface?: string | undefined;
|
|
571
|
-
command?: string | undefined;
|
|
572
571
|
axiomTraceId?: string | undefined;
|
|
572
|
+
command?: string | undefined;
|
|
573
573
|
}>, "many">>;
|
|
574
574
|
payload: z.ZodDefault<z.ZodObject<{
|
|
575
575
|
name: z.ZodOptional<z.ZodString>;
|
|
@@ -664,42 +664,42 @@ declare const GraphV2WritePolicyConstitutionSchema: z.ZodEffects<z.ZodObject<{
|
|
|
664
664
|
}, z.ZodUnknown, "strip">>>;
|
|
665
665
|
}, "strip", z.ZodTypeAny, {
|
|
666
666
|
policyTags: {
|
|
667
|
-
source: "
|
|
667
|
+
source: "permit" | "tenant" | "system" | "write_policy";
|
|
668
668
|
tagKey: string;
|
|
669
669
|
tagValue: string;
|
|
670
670
|
}[];
|
|
671
|
+
sourceSpans: {
|
|
672
|
+
contentHash?: string | undefined;
|
|
673
|
+
sourceSpanUuid?: string | undefined;
|
|
674
|
+
canonicalPath?: string | undefined;
|
|
675
|
+
lineStart?: number | undefined;
|
|
676
|
+
lineEnd?: number | undefined;
|
|
677
|
+
sealedOmissionReceiptUuid?: string | undefined;
|
|
678
|
+
}[];
|
|
671
679
|
objectType: string;
|
|
672
680
|
edges: {
|
|
681
|
+
sourceSpanUuids: string[];
|
|
673
682
|
edgeType: string;
|
|
674
683
|
fromUuid: string;
|
|
675
684
|
toUuid: string;
|
|
676
685
|
edgeUuid: string;
|
|
677
|
-
sourceSpanUuids: string[];
|
|
678
|
-
direction?: string | undefined;
|
|
679
|
-
signedImpact?: number | undefined;
|
|
680
686
|
rationale?: string | undefined;
|
|
681
|
-
|
|
682
|
-
|
|
683
|
-
sourceSpanUuid?: string | undefined;
|
|
684
|
-
contentHash?: string | undefined;
|
|
685
|
-
canonicalPath?: string | undefined;
|
|
686
|
-
lineStart?: number | undefined;
|
|
687
|
-
lineEnd?: number | undefined;
|
|
688
|
-
sealedOmissionReceiptUuid?: string | undefined;
|
|
687
|
+
signedImpact?: number | undefined;
|
|
688
|
+
direction?: string | undefined;
|
|
689
689
|
}[];
|
|
690
690
|
publicUuid: string;
|
|
691
691
|
receipts: {
|
|
692
692
|
receiptUuid: string;
|
|
693
|
-
receiptType: "
|
|
693
|
+
receiptType: "axiom_trace" | "source" | "adoption" | "merge" | "operator" | "write_policy" | "policy_decision" | "supersession";
|
|
694
694
|
surface?: string | undefined;
|
|
695
|
-
command?: string | undefined;
|
|
696
695
|
axiomTraceId?: string | undefined;
|
|
696
|
+
command?: string | undefined;
|
|
697
697
|
}[];
|
|
698
698
|
payload: {
|
|
699
|
-
|
|
699
|
+
campaign?: number | undefined;
|
|
700
700
|
lane?: string | undefined;
|
|
701
|
+
confidence?: number | undefined;
|
|
701
702
|
title?: string | undefined;
|
|
702
|
-
campaign?: number | undefined;
|
|
703
703
|
assertion?: string | undefined;
|
|
704
704
|
name?: string | undefined;
|
|
705
705
|
orderInLane?: number | undefined;
|
|
@@ -743,7 +743,7 @@ declare const GraphV2WritePolicyConstitutionSchema: z.ZodEffects<z.ZodObject<{
|
|
|
743
743
|
epistemicState?: string | undefined;
|
|
744
744
|
author?: {
|
|
745
745
|
principalId: string;
|
|
746
|
-
actorType: "agent" | "
|
|
746
|
+
actorType: "agent" | "external_collaborator" | "human" | "service_principal" | "system";
|
|
747
747
|
agentRunId?: string | undefined;
|
|
748
748
|
clerkId?: string | undefined;
|
|
749
749
|
} | undefined;
|
|
@@ -753,27 +753,27 @@ declare const GraphV2WritePolicyConstitutionSchema: z.ZodEffects<z.ZodObject<{
|
|
|
753
753
|
tenantId?: string | undefined;
|
|
754
754
|
workspaceId?: string | undefined;
|
|
755
755
|
policyTags?: {
|
|
756
|
-
source: "
|
|
756
|
+
source: "permit" | "tenant" | "system" | "write_policy";
|
|
757
757
|
tagKey: string;
|
|
758
758
|
tagValue: string;
|
|
759
759
|
}[] | undefined;
|
|
760
|
+
sourceSpans?: {
|
|
761
|
+
contentHash?: string | undefined;
|
|
762
|
+
sourceSpanUuid?: string | undefined;
|
|
763
|
+
canonicalPath?: string | undefined;
|
|
764
|
+
lineStart?: number | undefined;
|
|
765
|
+
lineEnd?: number | undefined;
|
|
766
|
+
sealedOmissionReceiptUuid?: string | undefined;
|
|
767
|
+
}[] | undefined;
|
|
760
768
|
edges?: {
|
|
761
769
|
edgeType: string;
|
|
762
770
|
fromUuid: string;
|
|
763
771
|
toUuid: string;
|
|
764
772
|
edgeUuid: string;
|
|
773
|
+
rationale?: string | undefined;
|
|
765
774
|
sourceSpanUuids?: string[] | undefined;
|
|
766
|
-
direction?: string | undefined;
|
|
767
775
|
signedImpact?: number | undefined;
|
|
768
|
-
|
|
769
|
-
}[] | undefined;
|
|
770
|
-
sourceSpans?: {
|
|
771
|
-
sourceSpanUuid?: string | undefined;
|
|
772
|
-
contentHash?: string | undefined;
|
|
773
|
-
canonicalPath?: string | undefined;
|
|
774
|
-
lineStart?: number | undefined;
|
|
775
|
-
lineEnd?: number | undefined;
|
|
776
|
-
sealedOmissionReceiptUuid?: string | undefined;
|
|
776
|
+
direction?: string | undefined;
|
|
777
777
|
}[] | undefined;
|
|
778
778
|
stateVector?: {
|
|
779
779
|
lifecycleState: string;
|
|
@@ -785,10 +785,10 @@ declare const GraphV2WritePolicyConstitutionSchema: z.ZodEffects<z.ZodObject<{
|
|
|
785
785
|
} | undefined;
|
|
786
786
|
receipts?: {
|
|
787
787
|
receiptUuid: string;
|
|
788
|
-
receiptType: "
|
|
788
|
+
receiptType: "axiom_trace" | "source" | "adoption" | "merge" | "operator" | "write_policy" | "policy_decision" | "supersession";
|
|
789
789
|
surface?: string | undefined;
|
|
790
|
-
command?: string | undefined;
|
|
791
790
|
axiomTraceId?: string | undefined;
|
|
791
|
+
command?: string | undefined;
|
|
792
792
|
}[] | undefined;
|
|
793
793
|
payload?: z.objectInputType<{
|
|
794
794
|
name: z.ZodOptional<z.ZodString>;
|
|
@@ -826,7 +826,7 @@ declare const GraphV2WritePolicyConstitutionSchema: z.ZodEffects<z.ZodObject<{
|
|
|
826
826
|
epistemicState?: string | undefined;
|
|
827
827
|
author?: {
|
|
828
828
|
principalId: string;
|
|
829
|
-
actorType: "agent" | "
|
|
829
|
+
actorType: "agent" | "external_collaborator" | "human" | "service_principal" | "system";
|
|
830
830
|
agentRunId?: string | undefined;
|
|
831
831
|
clerkId?: string | undefined;
|
|
832
832
|
} | undefined;
|
|
@@ -837,42 +837,42 @@ declare const GraphV2WritePolicyConstitutionSchema: z.ZodEffects<z.ZodObject<{
|
|
|
837
837
|
fixtureId: string;
|
|
838
838
|
candidate: {
|
|
839
839
|
policyTags: {
|
|
840
|
-
source: "
|
|
840
|
+
source: "permit" | "tenant" | "system" | "write_policy";
|
|
841
841
|
tagKey: string;
|
|
842
842
|
tagValue: string;
|
|
843
843
|
}[];
|
|
844
|
+
sourceSpans: {
|
|
845
|
+
contentHash?: string | undefined;
|
|
846
|
+
sourceSpanUuid?: string | undefined;
|
|
847
|
+
canonicalPath?: string | undefined;
|
|
848
|
+
lineStart?: number | undefined;
|
|
849
|
+
lineEnd?: number | undefined;
|
|
850
|
+
sealedOmissionReceiptUuid?: string | undefined;
|
|
851
|
+
}[];
|
|
844
852
|
objectType: string;
|
|
845
853
|
edges: {
|
|
854
|
+
sourceSpanUuids: string[];
|
|
846
855
|
edgeType: string;
|
|
847
856
|
fromUuid: string;
|
|
848
857
|
toUuid: string;
|
|
849
858
|
edgeUuid: string;
|
|
850
|
-
sourceSpanUuids: string[];
|
|
851
|
-
direction?: string | undefined;
|
|
852
|
-
signedImpact?: number | undefined;
|
|
853
859
|
rationale?: string | undefined;
|
|
854
|
-
|
|
855
|
-
|
|
856
|
-
sourceSpanUuid?: string | undefined;
|
|
857
|
-
contentHash?: string | undefined;
|
|
858
|
-
canonicalPath?: string | undefined;
|
|
859
|
-
lineStart?: number | undefined;
|
|
860
|
-
lineEnd?: number | undefined;
|
|
861
|
-
sealedOmissionReceiptUuid?: string | undefined;
|
|
860
|
+
signedImpact?: number | undefined;
|
|
861
|
+
direction?: string | undefined;
|
|
862
862
|
}[];
|
|
863
863
|
publicUuid: string;
|
|
864
864
|
receipts: {
|
|
865
865
|
receiptUuid: string;
|
|
866
|
-
receiptType: "
|
|
866
|
+
receiptType: "axiom_trace" | "source" | "adoption" | "merge" | "operator" | "write_policy" | "policy_decision" | "supersession";
|
|
867
867
|
surface?: string | undefined;
|
|
868
|
-
command?: string | undefined;
|
|
869
868
|
axiomTraceId?: string | undefined;
|
|
869
|
+
command?: string | undefined;
|
|
870
870
|
}[];
|
|
871
871
|
payload: {
|
|
872
|
-
|
|
872
|
+
campaign?: number | undefined;
|
|
873
873
|
lane?: string | undefined;
|
|
874
|
+
confidence?: number | undefined;
|
|
874
875
|
title?: string | undefined;
|
|
875
|
-
campaign?: number | undefined;
|
|
876
876
|
assertion?: string | undefined;
|
|
877
877
|
name?: string | undefined;
|
|
878
878
|
orderInLane?: number | undefined;
|
|
@@ -916,7 +916,7 @@ declare const GraphV2WritePolicyConstitutionSchema: z.ZodEffects<z.ZodObject<{
|
|
|
916
916
|
epistemicState?: string | undefined;
|
|
917
917
|
author?: {
|
|
918
918
|
principalId: string;
|
|
919
|
-
actorType: "agent" | "
|
|
919
|
+
actorType: "agent" | "external_collaborator" | "human" | "service_principal" | "system";
|
|
920
920
|
agentRunId?: string | undefined;
|
|
921
921
|
clerkId?: string | undefined;
|
|
922
922
|
} | undefined;
|
|
@@ -931,27 +931,27 @@ declare const GraphV2WritePolicyConstitutionSchema: z.ZodEffects<z.ZodObject<{
|
|
|
931
931
|
tenantId?: string | undefined;
|
|
932
932
|
workspaceId?: string | undefined;
|
|
933
933
|
policyTags?: {
|
|
934
|
-
source: "
|
|
934
|
+
source: "permit" | "tenant" | "system" | "write_policy";
|
|
935
935
|
tagKey: string;
|
|
936
936
|
tagValue: string;
|
|
937
937
|
}[] | undefined;
|
|
938
|
+
sourceSpans?: {
|
|
939
|
+
contentHash?: string | undefined;
|
|
940
|
+
sourceSpanUuid?: string | undefined;
|
|
941
|
+
canonicalPath?: string | undefined;
|
|
942
|
+
lineStart?: number | undefined;
|
|
943
|
+
lineEnd?: number | undefined;
|
|
944
|
+
sealedOmissionReceiptUuid?: string | undefined;
|
|
945
|
+
}[] | undefined;
|
|
938
946
|
edges?: {
|
|
939
947
|
edgeType: string;
|
|
940
948
|
fromUuid: string;
|
|
941
949
|
toUuid: string;
|
|
942
950
|
edgeUuid: string;
|
|
951
|
+
rationale?: string | undefined;
|
|
943
952
|
sourceSpanUuids?: string[] | undefined;
|
|
944
|
-
direction?: string | undefined;
|
|
945
953
|
signedImpact?: number | undefined;
|
|
946
|
-
|
|
947
|
-
}[] | undefined;
|
|
948
|
-
sourceSpans?: {
|
|
949
|
-
sourceSpanUuid?: string | undefined;
|
|
950
|
-
contentHash?: string | undefined;
|
|
951
|
-
canonicalPath?: string | undefined;
|
|
952
|
-
lineStart?: number | undefined;
|
|
953
|
-
lineEnd?: number | undefined;
|
|
954
|
-
sealedOmissionReceiptUuid?: string | undefined;
|
|
954
|
+
direction?: string | undefined;
|
|
955
955
|
}[] | undefined;
|
|
956
956
|
stateVector?: {
|
|
957
957
|
lifecycleState: string;
|
|
@@ -963,10 +963,10 @@ declare const GraphV2WritePolicyConstitutionSchema: z.ZodEffects<z.ZodObject<{
|
|
|
963
963
|
} | undefined;
|
|
964
964
|
receipts?: {
|
|
965
965
|
receiptUuid: string;
|
|
966
|
-
receiptType: "
|
|
966
|
+
receiptType: "axiom_trace" | "source" | "adoption" | "merge" | "operator" | "write_policy" | "policy_decision" | "supersession";
|
|
967
967
|
surface?: string | undefined;
|
|
968
|
-
command?: string | undefined;
|
|
969
968
|
axiomTraceId?: string | undefined;
|
|
969
|
+
command?: string | undefined;
|
|
970
970
|
}[] | undefined;
|
|
971
971
|
payload?: z.objectInputType<{
|
|
972
972
|
name: z.ZodOptional<z.ZodString>;
|
|
@@ -1004,7 +1004,7 @@ declare const GraphV2WritePolicyConstitutionSchema: z.ZodEffects<z.ZodObject<{
|
|
|
1004
1004
|
epistemicState?: string | undefined;
|
|
1005
1005
|
author?: {
|
|
1006
1006
|
principalId: string;
|
|
1007
|
-
actorType: "agent" | "
|
|
1007
|
+
actorType: "agent" | "external_collaborator" | "human" | "service_principal" | "system";
|
|
1008
1008
|
agentRunId?: string | undefined;
|
|
1009
1009
|
clerkId?: string | undefined;
|
|
1010
1010
|
} | undefined;
|
|
@@ -1014,50 +1014,50 @@ declare const GraphV2WritePolicyConstitutionSchema: z.ZodEffects<z.ZodObject<{
|
|
|
1014
1014
|
}>, "many">;
|
|
1015
1015
|
}, "strip", z.ZodTypeAny, {
|
|
1016
1016
|
worktree: "GV2.4";
|
|
1017
|
-
lane: "c2-lg-graph-v2-rebuild";
|
|
1018
1017
|
contractVersion: "gv2_4_write_policy_constitution.v1";
|
|
1018
|
+
lane: "c2-lg-graph-v2-rebuild";
|
|
1019
1019
|
graphWorktreeId: "tn7b1jd9wazcmgtbzws517j63h8874as";
|
|
1020
1020
|
compositionKey: "graph_v2_write_policy_constitution_v1";
|
|
1021
1021
|
fixtures: {
|
|
1022
1022
|
fixtureId: string;
|
|
1023
1023
|
candidate: {
|
|
1024
1024
|
policyTags: {
|
|
1025
|
-
source: "
|
|
1025
|
+
source: "permit" | "tenant" | "system" | "write_policy";
|
|
1026
1026
|
tagKey: string;
|
|
1027
1027
|
tagValue: string;
|
|
1028
1028
|
}[];
|
|
1029
|
+
sourceSpans: {
|
|
1030
|
+
contentHash?: string | undefined;
|
|
1031
|
+
sourceSpanUuid?: string | undefined;
|
|
1032
|
+
canonicalPath?: string | undefined;
|
|
1033
|
+
lineStart?: number | undefined;
|
|
1034
|
+
lineEnd?: number | undefined;
|
|
1035
|
+
sealedOmissionReceiptUuid?: string | undefined;
|
|
1036
|
+
}[];
|
|
1029
1037
|
objectType: string;
|
|
1030
1038
|
edges: {
|
|
1039
|
+
sourceSpanUuids: string[];
|
|
1031
1040
|
edgeType: string;
|
|
1032
1041
|
fromUuid: string;
|
|
1033
1042
|
toUuid: string;
|
|
1034
1043
|
edgeUuid: string;
|
|
1035
|
-
sourceSpanUuids: string[];
|
|
1036
|
-
direction?: string | undefined;
|
|
1037
|
-
signedImpact?: number | undefined;
|
|
1038
1044
|
rationale?: string | undefined;
|
|
1039
|
-
|
|
1040
|
-
|
|
1041
|
-
sourceSpanUuid?: string | undefined;
|
|
1042
|
-
contentHash?: string | undefined;
|
|
1043
|
-
canonicalPath?: string | undefined;
|
|
1044
|
-
lineStart?: number | undefined;
|
|
1045
|
-
lineEnd?: number | undefined;
|
|
1046
|
-
sealedOmissionReceiptUuid?: string | undefined;
|
|
1045
|
+
signedImpact?: number | undefined;
|
|
1046
|
+
direction?: string | undefined;
|
|
1047
1047
|
}[];
|
|
1048
1048
|
publicUuid: string;
|
|
1049
1049
|
receipts: {
|
|
1050
1050
|
receiptUuid: string;
|
|
1051
|
-
receiptType: "
|
|
1051
|
+
receiptType: "axiom_trace" | "source" | "adoption" | "merge" | "operator" | "write_policy" | "policy_decision" | "supersession";
|
|
1052
1052
|
surface?: string | undefined;
|
|
1053
|
-
command?: string | undefined;
|
|
1054
1053
|
axiomTraceId?: string | undefined;
|
|
1054
|
+
command?: string | undefined;
|
|
1055
1055
|
}[];
|
|
1056
1056
|
payload: {
|
|
1057
|
-
|
|
1057
|
+
campaign?: number | undefined;
|
|
1058
1058
|
lane?: string | undefined;
|
|
1059
|
+
confidence?: number | undefined;
|
|
1059
1060
|
title?: string | undefined;
|
|
1060
|
-
campaign?: number | undefined;
|
|
1061
1061
|
assertion?: string | undefined;
|
|
1062
1062
|
name?: string | undefined;
|
|
1063
1063
|
orderInLane?: number | undefined;
|
|
@@ -1101,7 +1101,7 @@ declare const GraphV2WritePolicyConstitutionSchema: z.ZodEffects<z.ZodObject<{
|
|
|
1101
1101
|
epistemicState?: string | undefined;
|
|
1102
1102
|
author?: {
|
|
1103
1103
|
principalId: string;
|
|
1104
|
-
actorType: "agent" | "
|
|
1104
|
+
actorType: "agent" | "external_collaborator" | "human" | "service_principal" | "system";
|
|
1105
1105
|
agentRunId?: string | undefined;
|
|
1106
1106
|
clerkId?: string | undefined;
|
|
1107
1107
|
} | undefined;
|
|
@@ -1109,12 +1109,12 @@ declare const GraphV2WritePolicyConstitutionSchema: z.ZodEffects<z.ZodObject<{
|
|
|
1109
1109
|
expectedDecision: "accept" | "refuse";
|
|
1110
1110
|
expectedRefusalCodes: ("missing_policy_tag" | "unsupported_object_type" | "missing_uuidv7_identity" | "bridge_id_preferred" | "missing_tenant_workspace_scope" | "missing_source_span_or_sealed_omission" | "missing_permit_policy_decision" | "unauthorized_policy_decision" | "missing_state_vector" | "invalid_epistemic_state" | "missing_author_attribution" | "missing_receipt_proof" | "vague_or_non_atomic_content" | "missing_semantic_validity_gate" | "duplicate_without_merge_or_supersession" | "invalid_edge_identity" | "invalid_edge_type" | "invalid_edge_direction" | "missing_edge_rationale_or_source" | "evidence_missing_signed_target_impact" | "direct_confidence_mutation_requested" | "contradiction_missing_structural_edge" | "worktree_missing_sacred_ledger_fields" | "source_material_missing_adoption_receipt" | "runtime_telemetry_convex_log_write")[];
|
|
1111
1111
|
}[];
|
|
1112
|
-
objectTypes: ("topic" | "
|
|
1112
|
+
objectTypes: ("topic" | "belief" | "question" | "evidence" | "worktree" | "edge" | "receipt" | "output" | "decision" | "contradiction")[];
|
|
1113
1113
|
refusalCodes: ("missing_policy_tag" | "unsupported_object_type" | "missing_uuidv7_identity" | "bridge_id_preferred" | "missing_tenant_workspace_scope" | "missing_source_span_or_sealed_omission" | "missing_permit_policy_decision" | "unauthorized_policy_decision" | "missing_state_vector" | "invalid_epistemic_state" | "missing_author_attribution" | "missing_receipt_proof" | "vague_or_non_atomic_content" | "missing_semantic_validity_gate" | "duplicate_without_merge_or_supersession" | "invalid_edge_identity" | "invalid_edge_type" | "invalid_edge_direction" | "missing_edge_rationale_or_source" | "evidence_missing_signed_target_impact" | "direct_confidence_mutation_requested" | "contradiction_missing_structural_edge" | "worktree_missing_sacred_ledger_fields" | "source_material_missing_adoption_receipt" | "runtime_telemetry_convex_log_write")[];
|
|
1114
1114
|
universalRequirements: string[];
|
|
1115
1115
|
objectRules: {
|
|
1116
|
-
objectType: "topic" | "edge" | "belief" | "question" | "evidence" | "worktree" | "output" | "decision" | "receipt" | "contradiction";
|
|
1117
1116
|
notes: string[];
|
|
1117
|
+
objectType: "topic" | "belief" | "question" | "evidence" | "worktree" | "edge" | "receipt" | "output" | "decision" | "contradiction";
|
|
1118
1118
|
requiredPayloadFields: string[];
|
|
1119
1119
|
minimumSpecificTextLength: number;
|
|
1120
1120
|
requiresEpistemicState: boolean;
|
|
@@ -1122,8 +1122,8 @@ declare const GraphV2WritePolicyConstitutionSchema: z.ZodEffects<z.ZodObject<{
|
|
|
1122
1122
|
}[];
|
|
1123
1123
|
}, {
|
|
1124
1124
|
worktree: "GV2.4";
|
|
1125
|
-
lane: "c2-lg-graph-v2-rebuild";
|
|
1126
1125
|
contractVersion: "gv2_4_write_policy_constitution.v1";
|
|
1126
|
+
lane: "c2-lg-graph-v2-rebuild";
|
|
1127
1127
|
graphWorktreeId: "tn7b1jd9wazcmgtbzws517j63h8874as";
|
|
1128
1128
|
compositionKey: "graph_v2_write_policy_constitution_v1";
|
|
1129
1129
|
fixtures: {
|
|
@@ -1134,27 +1134,27 @@ declare const GraphV2WritePolicyConstitutionSchema: z.ZodEffects<z.ZodObject<{
|
|
|
1134
1134
|
tenantId?: string | undefined;
|
|
1135
1135
|
workspaceId?: string | undefined;
|
|
1136
1136
|
policyTags?: {
|
|
1137
|
-
source: "
|
|
1137
|
+
source: "permit" | "tenant" | "system" | "write_policy";
|
|
1138
1138
|
tagKey: string;
|
|
1139
1139
|
tagValue: string;
|
|
1140
1140
|
}[] | undefined;
|
|
1141
|
+
sourceSpans?: {
|
|
1142
|
+
contentHash?: string | undefined;
|
|
1143
|
+
sourceSpanUuid?: string | undefined;
|
|
1144
|
+
canonicalPath?: string | undefined;
|
|
1145
|
+
lineStart?: number | undefined;
|
|
1146
|
+
lineEnd?: number | undefined;
|
|
1147
|
+
sealedOmissionReceiptUuid?: string | undefined;
|
|
1148
|
+
}[] | undefined;
|
|
1141
1149
|
edges?: {
|
|
1142
1150
|
edgeType: string;
|
|
1143
1151
|
fromUuid: string;
|
|
1144
1152
|
toUuid: string;
|
|
1145
1153
|
edgeUuid: string;
|
|
1154
|
+
rationale?: string | undefined;
|
|
1146
1155
|
sourceSpanUuids?: string[] | undefined;
|
|
1147
|
-
direction?: string | undefined;
|
|
1148
1156
|
signedImpact?: number | undefined;
|
|
1149
|
-
|
|
1150
|
-
}[] | undefined;
|
|
1151
|
-
sourceSpans?: {
|
|
1152
|
-
sourceSpanUuid?: string | undefined;
|
|
1153
|
-
contentHash?: string | undefined;
|
|
1154
|
-
canonicalPath?: string | undefined;
|
|
1155
|
-
lineStart?: number | undefined;
|
|
1156
|
-
lineEnd?: number | undefined;
|
|
1157
|
-
sealedOmissionReceiptUuid?: string | undefined;
|
|
1157
|
+
direction?: string | undefined;
|
|
1158
1158
|
}[] | undefined;
|
|
1159
1159
|
stateVector?: {
|
|
1160
1160
|
lifecycleState: string;
|
|
@@ -1166,10 +1166,10 @@ declare const GraphV2WritePolicyConstitutionSchema: z.ZodEffects<z.ZodObject<{
|
|
|
1166
1166
|
} | undefined;
|
|
1167
1167
|
receipts?: {
|
|
1168
1168
|
receiptUuid: string;
|
|
1169
|
-
receiptType: "
|
|
1169
|
+
receiptType: "axiom_trace" | "source" | "adoption" | "merge" | "operator" | "write_policy" | "policy_decision" | "supersession";
|
|
1170
1170
|
surface?: string | undefined;
|
|
1171
|
-
command?: string | undefined;
|
|
1172
1171
|
axiomTraceId?: string | undefined;
|
|
1172
|
+
command?: string | undefined;
|
|
1173
1173
|
}[] | undefined;
|
|
1174
1174
|
payload?: z.objectInputType<{
|
|
1175
1175
|
name: z.ZodOptional<z.ZodString>;
|
|
@@ -1207,7 +1207,7 @@ declare const GraphV2WritePolicyConstitutionSchema: z.ZodEffects<z.ZodObject<{
|
|
|
1207
1207
|
epistemicState?: string | undefined;
|
|
1208
1208
|
author?: {
|
|
1209
1209
|
principalId: string;
|
|
1210
|
-
actorType: "agent" | "
|
|
1210
|
+
actorType: "agent" | "external_collaborator" | "human" | "service_principal" | "system";
|
|
1211
1211
|
agentRunId?: string | undefined;
|
|
1212
1212
|
clerkId?: string | undefined;
|
|
1213
1213
|
} | undefined;
|
|
@@ -1215,12 +1215,12 @@ declare const GraphV2WritePolicyConstitutionSchema: z.ZodEffects<z.ZodObject<{
|
|
|
1215
1215
|
expectedDecision: "accept" | "refuse";
|
|
1216
1216
|
expectedRefusalCodes: ("missing_policy_tag" | "unsupported_object_type" | "missing_uuidv7_identity" | "bridge_id_preferred" | "missing_tenant_workspace_scope" | "missing_source_span_or_sealed_omission" | "missing_permit_policy_decision" | "unauthorized_policy_decision" | "missing_state_vector" | "invalid_epistemic_state" | "missing_author_attribution" | "missing_receipt_proof" | "vague_or_non_atomic_content" | "missing_semantic_validity_gate" | "duplicate_without_merge_or_supersession" | "invalid_edge_identity" | "invalid_edge_type" | "invalid_edge_direction" | "missing_edge_rationale_or_source" | "evidence_missing_signed_target_impact" | "direct_confidence_mutation_requested" | "contradiction_missing_structural_edge" | "worktree_missing_sacred_ledger_fields" | "source_material_missing_adoption_receipt" | "runtime_telemetry_convex_log_write")[];
|
|
1217
1217
|
}[];
|
|
1218
|
-
objectTypes: ("topic" | "
|
|
1218
|
+
objectTypes: ("topic" | "belief" | "question" | "evidence" | "worktree" | "edge" | "receipt" | "output" | "decision" | "contradiction")[];
|
|
1219
1219
|
refusalCodes: ("missing_policy_tag" | "unsupported_object_type" | "missing_uuidv7_identity" | "bridge_id_preferred" | "missing_tenant_workspace_scope" | "missing_source_span_or_sealed_omission" | "missing_permit_policy_decision" | "unauthorized_policy_decision" | "missing_state_vector" | "invalid_epistemic_state" | "missing_author_attribution" | "missing_receipt_proof" | "vague_or_non_atomic_content" | "missing_semantic_validity_gate" | "duplicate_without_merge_or_supersession" | "invalid_edge_identity" | "invalid_edge_type" | "invalid_edge_direction" | "missing_edge_rationale_or_source" | "evidence_missing_signed_target_impact" | "direct_confidence_mutation_requested" | "contradiction_missing_structural_edge" | "worktree_missing_sacred_ledger_fields" | "source_material_missing_adoption_receipt" | "runtime_telemetry_convex_log_write")[];
|
|
1220
1220
|
universalRequirements: string[];
|
|
1221
1221
|
objectRules: {
|
|
1222
|
-
objectType: "topic" | "edge" | "belief" | "question" | "evidence" | "worktree" | "output" | "decision" | "receipt" | "contradiction";
|
|
1223
1222
|
notes: string[];
|
|
1223
|
+
objectType: "topic" | "belief" | "question" | "evidence" | "worktree" | "edge" | "receipt" | "output" | "decision" | "contradiction";
|
|
1224
1224
|
minimumSpecificTextLength: number;
|
|
1225
1225
|
requiresEpistemicState: boolean;
|
|
1226
1226
|
requiresEdgeIntent: boolean;
|
|
@@ -1228,50 +1228,50 @@ declare const GraphV2WritePolicyConstitutionSchema: z.ZodEffects<z.ZodObject<{
|
|
|
1228
1228
|
}[];
|
|
1229
1229
|
}>, {
|
|
1230
1230
|
worktree: "GV2.4";
|
|
1231
|
-
lane: "c2-lg-graph-v2-rebuild";
|
|
1232
1231
|
contractVersion: "gv2_4_write_policy_constitution.v1";
|
|
1232
|
+
lane: "c2-lg-graph-v2-rebuild";
|
|
1233
1233
|
graphWorktreeId: "tn7b1jd9wazcmgtbzws517j63h8874as";
|
|
1234
1234
|
compositionKey: "graph_v2_write_policy_constitution_v1";
|
|
1235
1235
|
fixtures: {
|
|
1236
1236
|
fixtureId: string;
|
|
1237
1237
|
candidate: {
|
|
1238
1238
|
policyTags: {
|
|
1239
|
-
source: "
|
|
1239
|
+
source: "permit" | "tenant" | "system" | "write_policy";
|
|
1240
1240
|
tagKey: string;
|
|
1241
1241
|
tagValue: string;
|
|
1242
1242
|
}[];
|
|
1243
|
+
sourceSpans: {
|
|
1244
|
+
contentHash?: string | undefined;
|
|
1245
|
+
sourceSpanUuid?: string | undefined;
|
|
1246
|
+
canonicalPath?: string | undefined;
|
|
1247
|
+
lineStart?: number | undefined;
|
|
1248
|
+
lineEnd?: number | undefined;
|
|
1249
|
+
sealedOmissionReceiptUuid?: string | undefined;
|
|
1250
|
+
}[];
|
|
1243
1251
|
objectType: string;
|
|
1244
1252
|
edges: {
|
|
1253
|
+
sourceSpanUuids: string[];
|
|
1245
1254
|
edgeType: string;
|
|
1246
1255
|
fromUuid: string;
|
|
1247
1256
|
toUuid: string;
|
|
1248
1257
|
edgeUuid: string;
|
|
1249
|
-
sourceSpanUuids: string[];
|
|
1250
|
-
direction?: string | undefined;
|
|
1251
|
-
signedImpact?: number | undefined;
|
|
1252
1258
|
rationale?: string | undefined;
|
|
1253
|
-
|
|
1254
|
-
|
|
1255
|
-
sourceSpanUuid?: string | undefined;
|
|
1256
|
-
contentHash?: string | undefined;
|
|
1257
|
-
canonicalPath?: string | undefined;
|
|
1258
|
-
lineStart?: number | undefined;
|
|
1259
|
-
lineEnd?: number | undefined;
|
|
1260
|
-
sealedOmissionReceiptUuid?: string | undefined;
|
|
1259
|
+
signedImpact?: number | undefined;
|
|
1260
|
+
direction?: string | undefined;
|
|
1261
1261
|
}[];
|
|
1262
1262
|
publicUuid: string;
|
|
1263
1263
|
receipts: {
|
|
1264
1264
|
receiptUuid: string;
|
|
1265
|
-
receiptType: "
|
|
1265
|
+
receiptType: "axiom_trace" | "source" | "adoption" | "merge" | "operator" | "write_policy" | "policy_decision" | "supersession";
|
|
1266
1266
|
surface?: string | undefined;
|
|
1267
|
-
command?: string | undefined;
|
|
1268
1267
|
axiomTraceId?: string | undefined;
|
|
1268
|
+
command?: string | undefined;
|
|
1269
1269
|
}[];
|
|
1270
1270
|
payload: {
|
|
1271
|
-
|
|
1271
|
+
campaign?: number | undefined;
|
|
1272
1272
|
lane?: string | undefined;
|
|
1273
|
+
confidence?: number | undefined;
|
|
1273
1274
|
title?: string | undefined;
|
|
1274
|
-
campaign?: number | undefined;
|
|
1275
1275
|
assertion?: string | undefined;
|
|
1276
1276
|
name?: string | undefined;
|
|
1277
1277
|
orderInLane?: number | undefined;
|
|
@@ -1315,7 +1315,7 @@ declare const GraphV2WritePolicyConstitutionSchema: z.ZodEffects<z.ZodObject<{
|
|
|
1315
1315
|
epistemicState?: string | undefined;
|
|
1316
1316
|
author?: {
|
|
1317
1317
|
principalId: string;
|
|
1318
|
-
actorType: "agent" | "
|
|
1318
|
+
actorType: "agent" | "external_collaborator" | "human" | "service_principal" | "system";
|
|
1319
1319
|
agentRunId?: string | undefined;
|
|
1320
1320
|
clerkId?: string | undefined;
|
|
1321
1321
|
} | undefined;
|
|
@@ -1323,12 +1323,12 @@ declare const GraphV2WritePolicyConstitutionSchema: z.ZodEffects<z.ZodObject<{
|
|
|
1323
1323
|
expectedDecision: "accept" | "refuse";
|
|
1324
1324
|
expectedRefusalCodes: ("missing_policy_tag" | "unsupported_object_type" | "missing_uuidv7_identity" | "bridge_id_preferred" | "missing_tenant_workspace_scope" | "missing_source_span_or_sealed_omission" | "missing_permit_policy_decision" | "unauthorized_policy_decision" | "missing_state_vector" | "invalid_epistemic_state" | "missing_author_attribution" | "missing_receipt_proof" | "vague_or_non_atomic_content" | "missing_semantic_validity_gate" | "duplicate_without_merge_or_supersession" | "invalid_edge_identity" | "invalid_edge_type" | "invalid_edge_direction" | "missing_edge_rationale_or_source" | "evidence_missing_signed_target_impact" | "direct_confidence_mutation_requested" | "contradiction_missing_structural_edge" | "worktree_missing_sacred_ledger_fields" | "source_material_missing_adoption_receipt" | "runtime_telemetry_convex_log_write")[];
|
|
1325
1325
|
}[];
|
|
1326
|
-
objectTypes: ("topic" | "
|
|
1326
|
+
objectTypes: ("topic" | "belief" | "question" | "evidence" | "worktree" | "edge" | "receipt" | "output" | "decision" | "contradiction")[];
|
|
1327
1327
|
refusalCodes: ("missing_policy_tag" | "unsupported_object_type" | "missing_uuidv7_identity" | "bridge_id_preferred" | "missing_tenant_workspace_scope" | "missing_source_span_or_sealed_omission" | "missing_permit_policy_decision" | "unauthorized_policy_decision" | "missing_state_vector" | "invalid_epistemic_state" | "missing_author_attribution" | "missing_receipt_proof" | "vague_or_non_atomic_content" | "missing_semantic_validity_gate" | "duplicate_without_merge_or_supersession" | "invalid_edge_identity" | "invalid_edge_type" | "invalid_edge_direction" | "missing_edge_rationale_or_source" | "evidence_missing_signed_target_impact" | "direct_confidence_mutation_requested" | "contradiction_missing_structural_edge" | "worktree_missing_sacred_ledger_fields" | "source_material_missing_adoption_receipt" | "runtime_telemetry_convex_log_write")[];
|
|
1328
1328
|
universalRequirements: string[];
|
|
1329
1329
|
objectRules: {
|
|
1330
|
-
objectType: "topic" | "edge" | "belief" | "question" | "evidence" | "worktree" | "output" | "decision" | "receipt" | "contradiction";
|
|
1331
1330
|
notes: string[];
|
|
1331
|
+
objectType: "topic" | "belief" | "question" | "evidence" | "worktree" | "edge" | "receipt" | "output" | "decision" | "contradiction";
|
|
1332
1332
|
requiredPayloadFields: string[];
|
|
1333
1333
|
minimumSpecificTextLength: number;
|
|
1334
1334
|
requiresEpistemicState: boolean;
|
|
@@ -1336,8 +1336,8 @@ declare const GraphV2WritePolicyConstitutionSchema: z.ZodEffects<z.ZodObject<{
|
|
|
1336
1336
|
}[];
|
|
1337
1337
|
}, {
|
|
1338
1338
|
worktree: "GV2.4";
|
|
1339
|
-
lane: "c2-lg-graph-v2-rebuild";
|
|
1340
1339
|
contractVersion: "gv2_4_write_policy_constitution.v1";
|
|
1340
|
+
lane: "c2-lg-graph-v2-rebuild";
|
|
1341
1341
|
graphWorktreeId: "tn7b1jd9wazcmgtbzws517j63h8874as";
|
|
1342
1342
|
compositionKey: "graph_v2_write_policy_constitution_v1";
|
|
1343
1343
|
fixtures: {
|
|
@@ -1348,27 +1348,27 @@ declare const GraphV2WritePolicyConstitutionSchema: z.ZodEffects<z.ZodObject<{
|
|
|
1348
1348
|
tenantId?: string | undefined;
|
|
1349
1349
|
workspaceId?: string | undefined;
|
|
1350
1350
|
policyTags?: {
|
|
1351
|
-
source: "
|
|
1351
|
+
source: "permit" | "tenant" | "system" | "write_policy";
|
|
1352
1352
|
tagKey: string;
|
|
1353
1353
|
tagValue: string;
|
|
1354
1354
|
}[] | undefined;
|
|
1355
|
+
sourceSpans?: {
|
|
1356
|
+
contentHash?: string | undefined;
|
|
1357
|
+
sourceSpanUuid?: string | undefined;
|
|
1358
|
+
canonicalPath?: string | undefined;
|
|
1359
|
+
lineStart?: number | undefined;
|
|
1360
|
+
lineEnd?: number | undefined;
|
|
1361
|
+
sealedOmissionReceiptUuid?: string | undefined;
|
|
1362
|
+
}[] | undefined;
|
|
1355
1363
|
edges?: {
|
|
1356
1364
|
edgeType: string;
|
|
1357
1365
|
fromUuid: string;
|
|
1358
1366
|
toUuid: string;
|
|
1359
1367
|
edgeUuid: string;
|
|
1368
|
+
rationale?: string | undefined;
|
|
1360
1369
|
sourceSpanUuids?: string[] | undefined;
|
|
1361
|
-
direction?: string | undefined;
|
|
1362
1370
|
signedImpact?: number | undefined;
|
|
1363
|
-
|
|
1364
|
-
}[] | undefined;
|
|
1365
|
-
sourceSpans?: {
|
|
1366
|
-
sourceSpanUuid?: string | undefined;
|
|
1367
|
-
contentHash?: string | undefined;
|
|
1368
|
-
canonicalPath?: string | undefined;
|
|
1369
|
-
lineStart?: number | undefined;
|
|
1370
|
-
lineEnd?: number | undefined;
|
|
1371
|
-
sealedOmissionReceiptUuid?: string | undefined;
|
|
1371
|
+
direction?: string | undefined;
|
|
1372
1372
|
}[] | undefined;
|
|
1373
1373
|
stateVector?: {
|
|
1374
1374
|
lifecycleState: string;
|
|
@@ -1380,10 +1380,10 @@ declare const GraphV2WritePolicyConstitutionSchema: z.ZodEffects<z.ZodObject<{
|
|
|
1380
1380
|
} | undefined;
|
|
1381
1381
|
receipts?: {
|
|
1382
1382
|
receiptUuid: string;
|
|
1383
|
-
receiptType: "
|
|
1383
|
+
receiptType: "axiom_trace" | "source" | "adoption" | "merge" | "operator" | "write_policy" | "policy_decision" | "supersession";
|
|
1384
1384
|
surface?: string | undefined;
|
|
1385
|
-
command?: string | undefined;
|
|
1386
1385
|
axiomTraceId?: string | undefined;
|
|
1386
|
+
command?: string | undefined;
|
|
1387
1387
|
}[] | undefined;
|
|
1388
1388
|
payload?: z.objectInputType<{
|
|
1389
1389
|
name: z.ZodOptional<z.ZodString>;
|
|
@@ -1421,7 +1421,7 @@ declare const GraphV2WritePolicyConstitutionSchema: z.ZodEffects<z.ZodObject<{
|
|
|
1421
1421
|
epistemicState?: string | undefined;
|
|
1422
1422
|
author?: {
|
|
1423
1423
|
principalId: string;
|
|
1424
|
-
actorType: "agent" | "
|
|
1424
|
+
actorType: "agent" | "external_collaborator" | "human" | "service_principal" | "system";
|
|
1425
1425
|
agentRunId?: string | undefined;
|
|
1426
1426
|
clerkId?: string | undefined;
|
|
1427
1427
|
} | undefined;
|
|
@@ -1429,12 +1429,12 @@ declare const GraphV2WritePolicyConstitutionSchema: z.ZodEffects<z.ZodObject<{
|
|
|
1429
1429
|
expectedDecision: "accept" | "refuse";
|
|
1430
1430
|
expectedRefusalCodes: ("missing_policy_tag" | "unsupported_object_type" | "missing_uuidv7_identity" | "bridge_id_preferred" | "missing_tenant_workspace_scope" | "missing_source_span_or_sealed_omission" | "missing_permit_policy_decision" | "unauthorized_policy_decision" | "missing_state_vector" | "invalid_epistemic_state" | "missing_author_attribution" | "missing_receipt_proof" | "vague_or_non_atomic_content" | "missing_semantic_validity_gate" | "duplicate_without_merge_or_supersession" | "invalid_edge_identity" | "invalid_edge_type" | "invalid_edge_direction" | "missing_edge_rationale_or_source" | "evidence_missing_signed_target_impact" | "direct_confidence_mutation_requested" | "contradiction_missing_structural_edge" | "worktree_missing_sacred_ledger_fields" | "source_material_missing_adoption_receipt" | "runtime_telemetry_convex_log_write")[];
|
|
1431
1431
|
}[];
|
|
1432
|
-
objectTypes: ("topic" | "
|
|
1432
|
+
objectTypes: ("topic" | "belief" | "question" | "evidence" | "worktree" | "edge" | "receipt" | "output" | "decision" | "contradiction")[];
|
|
1433
1433
|
refusalCodes: ("missing_policy_tag" | "unsupported_object_type" | "missing_uuidv7_identity" | "bridge_id_preferred" | "missing_tenant_workspace_scope" | "missing_source_span_or_sealed_omission" | "missing_permit_policy_decision" | "unauthorized_policy_decision" | "missing_state_vector" | "invalid_epistemic_state" | "missing_author_attribution" | "missing_receipt_proof" | "vague_or_non_atomic_content" | "missing_semantic_validity_gate" | "duplicate_without_merge_or_supersession" | "invalid_edge_identity" | "invalid_edge_type" | "invalid_edge_direction" | "missing_edge_rationale_or_source" | "evidence_missing_signed_target_impact" | "direct_confidence_mutation_requested" | "contradiction_missing_structural_edge" | "worktree_missing_sacred_ledger_fields" | "source_material_missing_adoption_receipt" | "runtime_telemetry_convex_log_write")[];
|
|
1434
1434
|
universalRequirements: string[];
|
|
1435
1435
|
objectRules: {
|
|
1436
|
-
objectType: "topic" | "edge" | "belief" | "question" | "evidence" | "worktree" | "output" | "decision" | "receipt" | "contradiction";
|
|
1437
1436
|
notes: string[];
|
|
1437
|
+
objectType: "topic" | "belief" | "question" | "evidence" | "worktree" | "edge" | "receipt" | "output" | "decision" | "contradiction";
|
|
1438
1438
|
minimumSpecificTextLength: number;
|
|
1439
1439
|
requiresEpistemicState: boolean;
|
|
1440
1440
|
requiresEdgeIntent: boolean;
|
|
@@ -2488,50 +2488,50 @@ declare const GRAPH_V2_WRITE_POLICY_CONSTITUTION: {
|
|
|
2488
2488
|
};
|
|
2489
2489
|
declare const parsedGraphV2WritePolicyConstitution: {
|
|
2490
2490
|
worktree: "GV2.4";
|
|
2491
|
-
lane: "c2-lg-graph-v2-rebuild";
|
|
2492
2491
|
contractVersion: "gv2_4_write_policy_constitution.v1";
|
|
2492
|
+
lane: "c2-lg-graph-v2-rebuild";
|
|
2493
2493
|
graphWorktreeId: "tn7b1jd9wazcmgtbzws517j63h8874as";
|
|
2494
2494
|
compositionKey: "graph_v2_write_policy_constitution_v1";
|
|
2495
2495
|
fixtures: {
|
|
2496
2496
|
fixtureId: string;
|
|
2497
2497
|
candidate: {
|
|
2498
2498
|
policyTags: {
|
|
2499
|
-
source: "
|
|
2499
|
+
source: "permit" | "tenant" | "system" | "write_policy";
|
|
2500
2500
|
tagKey: string;
|
|
2501
2501
|
tagValue: string;
|
|
2502
2502
|
}[];
|
|
2503
|
+
sourceSpans: {
|
|
2504
|
+
contentHash?: string | undefined;
|
|
2505
|
+
sourceSpanUuid?: string | undefined;
|
|
2506
|
+
canonicalPath?: string | undefined;
|
|
2507
|
+
lineStart?: number | undefined;
|
|
2508
|
+
lineEnd?: number | undefined;
|
|
2509
|
+
sealedOmissionReceiptUuid?: string | undefined;
|
|
2510
|
+
}[];
|
|
2503
2511
|
objectType: string;
|
|
2504
2512
|
edges: {
|
|
2513
|
+
sourceSpanUuids: string[];
|
|
2505
2514
|
edgeType: string;
|
|
2506
2515
|
fromUuid: string;
|
|
2507
2516
|
toUuid: string;
|
|
2508
2517
|
edgeUuid: string;
|
|
2509
|
-
sourceSpanUuids: string[];
|
|
2510
|
-
direction?: string | undefined;
|
|
2511
|
-
signedImpact?: number | undefined;
|
|
2512
2518
|
rationale?: string | undefined;
|
|
2513
|
-
|
|
2514
|
-
|
|
2515
|
-
sourceSpanUuid?: string | undefined;
|
|
2516
|
-
contentHash?: string | undefined;
|
|
2517
|
-
canonicalPath?: string | undefined;
|
|
2518
|
-
lineStart?: number | undefined;
|
|
2519
|
-
lineEnd?: number | undefined;
|
|
2520
|
-
sealedOmissionReceiptUuid?: string | undefined;
|
|
2519
|
+
signedImpact?: number | undefined;
|
|
2520
|
+
direction?: string | undefined;
|
|
2521
2521
|
}[];
|
|
2522
2522
|
publicUuid: string;
|
|
2523
2523
|
receipts: {
|
|
2524
2524
|
receiptUuid: string;
|
|
2525
|
-
receiptType: "
|
|
2525
|
+
receiptType: "axiom_trace" | "source" | "adoption" | "merge" | "operator" | "write_policy" | "policy_decision" | "supersession";
|
|
2526
2526
|
surface?: string | undefined;
|
|
2527
|
-
command?: string | undefined;
|
|
2528
2527
|
axiomTraceId?: string | undefined;
|
|
2528
|
+
command?: string | undefined;
|
|
2529
2529
|
}[];
|
|
2530
2530
|
payload: {
|
|
2531
|
-
|
|
2531
|
+
campaign?: number | undefined;
|
|
2532
2532
|
lane?: string | undefined;
|
|
2533
|
+
confidence?: number | undefined;
|
|
2533
2534
|
title?: string | undefined;
|
|
2534
|
-
campaign?: number | undefined;
|
|
2535
2535
|
assertion?: string | undefined;
|
|
2536
2536
|
name?: string | undefined;
|
|
2537
2537
|
orderInLane?: number | undefined;
|
|
@@ -2575,7 +2575,7 @@ declare const parsedGraphV2WritePolicyConstitution: {
|
|
|
2575
2575
|
epistemicState?: string | undefined;
|
|
2576
2576
|
author?: {
|
|
2577
2577
|
principalId: string;
|
|
2578
|
-
actorType: "agent" | "
|
|
2578
|
+
actorType: "agent" | "external_collaborator" | "human" | "service_principal" | "system";
|
|
2579
2579
|
agentRunId?: string | undefined;
|
|
2580
2580
|
clerkId?: string | undefined;
|
|
2581
2581
|
} | undefined;
|
|
@@ -2583,12 +2583,12 @@ declare const parsedGraphV2WritePolicyConstitution: {
|
|
|
2583
2583
|
expectedDecision: "accept" | "refuse";
|
|
2584
2584
|
expectedRefusalCodes: ("missing_policy_tag" | "unsupported_object_type" | "missing_uuidv7_identity" | "bridge_id_preferred" | "missing_tenant_workspace_scope" | "missing_source_span_or_sealed_omission" | "missing_permit_policy_decision" | "unauthorized_policy_decision" | "missing_state_vector" | "invalid_epistemic_state" | "missing_author_attribution" | "missing_receipt_proof" | "vague_or_non_atomic_content" | "missing_semantic_validity_gate" | "duplicate_without_merge_or_supersession" | "invalid_edge_identity" | "invalid_edge_type" | "invalid_edge_direction" | "missing_edge_rationale_or_source" | "evidence_missing_signed_target_impact" | "direct_confidence_mutation_requested" | "contradiction_missing_structural_edge" | "worktree_missing_sacred_ledger_fields" | "source_material_missing_adoption_receipt" | "runtime_telemetry_convex_log_write")[];
|
|
2585
2585
|
}[];
|
|
2586
|
-
objectTypes: ("topic" | "
|
|
2586
|
+
objectTypes: ("topic" | "belief" | "question" | "evidence" | "worktree" | "edge" | "receipt" | "output" | "decision" | "contradiction")[];
|
|
2587
2587
|
refusalCodes: ("missing_policy_tag" | "unsupported_object_type" | "missing_uuidv7_identity" | "bridge_id_preferred" | "missing_tenant_workspace_scope" | "missing_source_span_or_sealed_omission" | "missing_permit_policy_decision" | "unauthorized_policy_decision" | "missing_state_vector" | "invalid_epistemic_state" | "missing_author_attribution" | "missing_receipt_proof" | "vague_or_non_atomic_content" | "missing_semantic_validity_gate" | "duplicate_without_merge_or_supersession" | "invalid_edge_identity" | "invalid_edge_type" | "invalid_edge_direction" | "missing_edge_rationale_or_source" | "evidence_missing_signed_target_impact" | "direct_confidence_mutation_requested" | "contradiction_missing_structural_edge" | "worktree_missing_sacred_ledger_fields" | "source_material_missing_adoption_receipt" | "runtime_telemetry_convex_log_write")[];
|
|
2588
2588
|
universalRequirements: string[];
|
|
2589
2589
|
objectRules: {
|
|
2590
|
-
objectType: "topic" | "edge" | "belief" | "question" | "evidence" | "worktree" | "output" | "decision" | "receipt" | "contradiction";
|
|
2591
2590
|
notes: string[];
|
|
2591
|
+
objectType: "topic" | "belief" | "question" | "evidence" | "worktree" | "edge" | "receipt" | "output" | "decision" | "contradiction";
|
|
2592
2592
|
requiredPayloadFields: string[];
|
|
2593
2593
|
minimumSpecificTextLength: number;
|
|
2594
2594
|
requiresEpistemicState: boolean;
|