@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
|
@@ -44,8 +44,8 @@ declare const TraversalModeConstitutionContractSchema: z.ZodObject<{
|
|
|
44
44
|
refusalConditions: z.ZodArray<z.ZodEnum<["missing_traversal_mode_refused", "missing_traversal_depth_refused", "invalid_traversal_mode_refused", "invalid_traversal_depth_refused", "legacy_depth_as_mode_refused", "depth_exceeds_mode_ceiling_refused", "mode_without_required_anchor_refused", "bounded_exploration_scope_missing_refused", "pattern_recall_evidence_write_refused", "forensic_replay_horizon_missing_refused"]>, "many">;
|
|
45
45
|
}, "strip", z.ZodTypeAny, {
|
|
46
46
|
defaultDepth: "low" | "medium" | "high" | "extra-high";
|
|
47
|
-
mode: "anchored_ranked" | "bounded_exploration" | "contradiction_scan" | "pattern_recall" | "forensic_replay";
|
|
48
47
|
allowedDepths: ("low" | "medium" | "high" | "extra-high")[];
|
|
48
|
+
mode: "anchored_ranked" | "bounded_exploration" | "contradiction_scan" | "pattern_recall" | "forensic_replay";
|
|
49
49
|
contract: string;
|
|
50
50
|
label: string;
|
|
51
51
|
requiredInputs: string[];
|
|
@@ -54,8 +54,8 @@ declare const TraversalModeConstitutionContractSchema: z.ZodObject<{
|
|
|
54
54
|
refusalConditions: ("missing_traversal_mode_refused" | "missing_traversal_depth_refused" | "invalid_traversal_mode_refused" | "invalid_traversal_depth_refused" | "legacy_depth_as_mode_refused" | "depth_exceeds_mode_ceiling_refused" | "mode_without_required_anchor_refused" | "bounded_exploration_scope_missing_refused" | "pattern_recall_evidence_write_refused" | "forensic_replay_horizon_missing_refused")[];
|
|
55
55
|
}, {
|
|
56
56
|
defaultDepth: "low" | "medium" | "high" | "extra-high";
|
|
57
|
-
mode: "anchored_ranked" | "bounded_exploration" | "contradiction_scan" | "pattern_recall" | "forensic_replay";
|
|
58
57
|
allowedDepths: ("low" | "medium" | "high" | "extra-high")[];
|
|
58
|
+
mode: "anchored_ranked" | "bounded_exploration" | "contradiction_scan" | "pattern_recall" | "forensic_replay";
|
|
59
59
|
contract: string;
|
|
60
60
|
label: string;
|
|
61
61
|
requiredInputs: string[];
|
|
@@ -73,20 +73,20 @@ declare const TraversalModeConstitutionContractSchema: z.ZodObject<{
|
|
|
73
73
|
strictModeRequiredBeforeCutover: z.ZodLiteral<true>;
|
|
74
74
|
sourceHorizonRequired: z.ZodBoolean;
|
|
75
75
|
}, "strip", z.ZodTypeAny, {
|
|
76
|
-
surface: "
|
|
77
|
-
surfaceClass: "graph_traversal" | "analysis" | "context_compiler";
|
|
76
|
+
surface: "compile_context" | "traverse_graph" | "get_graph_neighborhood" | "discover_entity_connections" | "trace_entity_impact" | "run_graph_intelligence_query";
|
|
78
77
|
sourceHorizonRequired: boolean;
|
|
79
78
|
defaultDepth: "low" | "medium" | "high" | "extra-high";
|
|
79
|
+
surfaceClass: "graph_traversal" | "analysis" | "context_compiler";
|
|
80
80
|
strictModeRequiredBeforeCutover: true;
|
|
81
|
-
requiredDeclarationFields: ("
|
|
81
|
+
requiredDeclarationFields: ("traversalMode" | "requestedDepth" | "effectiveDepth")[];
|
|
82
82
|
defaultMode: "anchored_ranked" | "bounded_exploration" | "contradiction_scan" | "pattern_recall" | "forensic_replay";
|
|
83
83
|
}, {
|
|
84
|
-
surface: "
|
|
85
|
-
surfaceClass: "graph_traversal" | "analysis" | "context_compiler";
|
|
84
|
+
surface: "compile_context" | "traverse_graph" | "get_graph_neighborhood" | "discover_entity_connections" | "trace_entity_impact" | "run_graph_intelligence_query";
|
|
86
85
|
sourceHorizonRequired: boolean;
|
|
87
86
|
defaultDepth: "low" | "medium" | "high" | "extra-high";
|
|
87
|
+
surfaceClass: "graph_traversal" | "analysis" | "context_compiler";
|
|
88
88
|
strictModeRequiredBeforeCutover: true;
|
|
89
|
-
requiredDeclarationFields: ("
|
|
89
|
+
requiredDeclarationFields: ("traversalMode" | "requestedDepth" | "effectiveDepth")[];
|
|
90
90
|
defaultMode: "anchored_ranked" | "bounded_exploration" | "contradiction_scan" | "pattern_recall" | "forensic_replay";
|
|
91
91
|
}>, "many">;
|
|
92
92
|
strictPassFixtures: z.ZodArray<z.ZodObject<{
|
|
@@ -101,23 +101,23 @@ declare const TraversalModeConstitutionContractSchema: z.ZodObject<{
|
|
|
101
101
|
requestedWriteEffects: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
|
|
102
102
|
expectedDecision: z.ZodLiteral<"allow">;
|
|
103
103
|
}, "strip", z.ZodTypeAny, {
|
|
104
|
-
requestedDepth: "low" | "medium" | "high" | "extra-high";
|
|
105
104
|
traversalMode: "anchored_ranked" | "bounded_exploration" | "contradiction_scan" | "pattern_recall" | "forensic_replay";
|
|
105
|
+
requestedDepth: "low" | "medium" | "high" | "extra-high";
|
|
106
106
|
fixtureId: string;
|
|
107
107
|
expectedDecision: "allow";
|
|
108
|
-
topicId?: string | undefined;
|
|
109
108
|
sourceHorizonRefs?: string[] | undefined;
|
|
109
|
+
topicId?: string | undefined;
|
|
110
110
|
lensId?: string | undefined;
|
|
111
111
|
ontologyId?: string | undefined;
|
|
112
112
|
anchorRefs?: string[] | undefined;
|
|
113
113
|
requestedWriteEffects?: string[] | undefined;
|
|
114
114
|
}, {
|
|
115
|
-
requestedDepth: "low" | "medium" | "high" | "extra-high";
|
|
116
115
|
traversalMode: "anchored_ranked" | "bounded_exploration" | "contradiction_scan" | "pattern_recall" | "forensic_replay";
|
|
116
|
+
requestedDepth: "low" | "medium" | "high" | "extra-high";
|
|
117
117
|
fixtureId: string;
|
|
118
118
|
expectedDecision: "allow";
|
|
119
|
-
topicId?: string | undefined;
|
|
120
119
|
sourceHorizonRefs?: string[] | undefined;
|
|
120
|
+
topicId?: string | undefined;
|
|
121
121
|
lensId?: string | undefined;
|
|
122
122
|
ontologyId?: string | undefined;
|
|
123
123
|
anchorRefs?: string[] | undefined;
|
|
@@ -182,12 +182,6 @@ declare const TraversalModeConstitutionContractSchema: z.ZodObject<{
|
|
|
182
182
|
legacyDepthModeSeparationCoverage: 1;
|
|
183
183
|
}>;
|
|
184
184
|
}, "strip", z.ZodTypeAny, {
|
|
185
|
-
refusalFixtures: {
|
|
186
|
-
assertion: string;
|
|
187
|
-
fixtureId: "missing_traversal_mode_refused" | "missing_traversal_depth_refused" | "invalid_traversal_mode_refused" | "invalid_traversal_depth_refused" | "legacy_depth_as_mode_refused" | "depth_exceeds_mode_ceiling_refused" | "mode_without_required_anchor_refused" | "bounded_exploration_scope_missing_refused" | "pattern_recall_evidence_write_refused" | "forensic_replay_horizon_missing_refused";
|
|
188
|
-
candidate: Record<string, unknown>;
|
|
189
|
-
expectedDecision: "refuse";
|
|
190
|
-
}[];
|
|
191
185
|
quality: {
|
|
192
186
|
modeCoverage: 1;
|
|
193
187
|
depthCoverage: 1;
|
|
@@ -196,6 +190,12 @@ declare const TraversalModeConstitutionContractSchema: z.ZodObject<{
|
|
|
196
190
|
agentRunBridgeCoverage: 1;
|
|
197
191
|
legacyDepthModeSeparationCoverage: 1;
|
|
198
192
|
};
|
|
193
|
+
refusalFixtures: {
|
|
194
|
+
assertion: string;
|
|
195
|
+
fixtureId: "missing_traversal_mode_refused" | "missing_traversal_depth_refused" | "invalid_traversal_mode_refused" | "invalid_traversal_depth_refused" | "legacy_depth_as_mode_refused" | "depth_exceeds_mode_ceiling_refused" | "mode_without_required_anchor_refused" | "bounded_exploration_scope_missing_refused" | "pattern_recall_evidence_write_refused" | "forensic_replay_horizon_missing_refused";
|
|
196
|
+
candidate: Record<string, unknown>;
|
|
197
|
+
expectedDecision: "refuse";
|
|
198
|
+
}[];
|
|
199
199
|
expectedRefusals: ("missing_traversal_mode_refused" | "missing_traversal_depth_refused" | "invalid_traversal_mode_refused" | "invalid_traversal_depth_refused" | "legacy_depth_as_mode_refused" | "depth_exceeds_mode_ceiling_refused" | "mode_without_required_anchor_refused" | "bounded_exploration_scope_missing_refused" | "pattern_recall_evidence_write_refused" | "forensic_replay_horizon_missing_refused")[];
|
|
200
200
|
modelVersion: "traversal_mode_constitution_v1";
|
|
201
201
|
compatibilityPosture: {
|
|
@@ -207,8 +207,8 @@ declare const TraversalModeConstitutionContractSchema: z.ZodObject<{
|
|
|
207
207
|
};
|
|
208
208
|
declaredModes: {
|
|
209
209
|
defaultDepth: "low" | "medium" | "high" | "extra-high";
|
|
210
|
-
mode: "anchored_ranked" | "bounded_exploration" | "contradiction_scan" | "pattern_recall" | "forensic_replay";
|
|
211
210
|
allowedDepths: ("low" | "medium" | "high" | "extra-high")[];
|
|
211
|
+
mode: "anchored_ranked" | "bounded_exploration" | "contradiction_scan" | "pattern_recall" | "forensic_replay";
|
|
212
212
|
contract: string;
|
|
213
213
|
label: string;
|
|
214
214
|
requiredInputs: string[];
|
|
@@ -218,33 +218,27 @@ declare const TraversalModeConstitutionContractSchema: z.ZodObject<{
|
|
|
218
218
|
}[];
|
|
219
219
|
declaredDepths: ("low" | "medium" | "high" | "extra-high")[];
|
|
220
220
|
surfaceDeclarations: {
|
|
221
|
-
surface: "
|
|
222
|
-
surfaceClass: "graph_traversal" | "analysis" | "context_compiler";
|
|
221
|
+
surface: "compile_context" | "traverse_graph" | "get_graph_neighborhood" | "discover_entity_connections" | "trace_entity_impact" | "run_graph_intelligence_query";
|
|
223
222
|
sourceHorizonRequired: boolean;
|
|
224
223
|
defaultDepth: "low" | "medium" | "high" | "extra-high";
|
|
224
|
+
surfaceClass: "graph_traversal" | "analysis" | "context_compiler";
|
|
225
225
|
strictModeRequiredBeforeCutover: true;
|
|
226
|
-
requiredDeclarationFields: ("
|
|
226
|
+
requiredDeclarationFields: ("traversalMode" | "requestedDepth" | "effectiveDepth")[];
|
|
227
227
|
defaultMode: "anchored_ranked" | "bounded_exploration" | "contradiction_scan" | "pattern_recall" | "forensic_replay";
|
|
228
228
|
}[];
|
|
229
229
|
strictPassFixtures: {
|
|
230
|
-
requestedDepth: "low" | "medium" | "high" | "extra-high";
|
|
231
230
|
traversalMode: "anchored_ranked" | "bounded_exploration" | "contradiction_scan" | "pattern_recall" | "forensic_replay";
|
|
231
|
+
requestedDepth: "low" | "medium" | "high" | "extra-high";
|
|
232
232
|
fixtureId: string;
|
|
233
233
|
expectedDecision: "allow";
|
|
234
|
-
topicId?: string | undefined;
|
|
235
234
|
sourceHorizonRefs?: string[] | undefined;
|
|
235
|
+
topicId?: string | undefined;
|
|
236
236
|
lensId?: string | undefined;
|
|
237
237
|
ontologyId?: string | undefined;
|
|
238
238
|
anchorRefs?: string[] | undefined;
|
|
239
239
|
requestedWriteEffects?: string[] | undefined;
|
|
240
240
|
}[];
|
|
241
241
|
}, {
|
|
242
|
-
refusalFixtures: {
|
|
243
|
-
assertion: string;
|
|
244
|
-
fixtureId: "missing_traversal_mode_refused" | "missing_traversal_depth_refused" | "invalid_traversal_mode_refused" | "invalid_traversal_depth_refused" | "legacy_depth_as_mode_refused" | "depth_exceeds_mode_ceiling_refused" | "mode_without_required_anchor_refused" | "bounded_exploration_scope_missing_refused" | "pattern_recall_evidence_write_refused" | "forensic_replay_horizon_missing_refused";
|
|
245
|
-
candidate: Record<string, unknown>;
|
|
246
|
-
expectedDecision: "refuse";
|
|
247
|
-
}[];
|
|
248
242
|
quality: {
|
|
249
243
|
modeCoverage: 1;
|
|
250
244
|
depthCoverage: 1;
|
|
@@ -253,6 +247,12 @@ declare const TraversalModeConstitutionContractSchema: z.ZodObject<{
|
|
|
253
247
|
agentRunBridgeCoverage: 1;
|
|
254
248
|
legacyDepthModeSeparationCoverage: 1;
|
|
255
249
|
};
|
|
250
|
+
refusalFixtures: {
|
|
251
|
+
assertion: string;
|
|
252
|
+
fixtureId: "missing_traversal_mode_refused" | "missing_traversal_depth_refused" | "invalid_traversal_mode_refused" | "invalid_traversal_depth_refused" | "legacy_depth_as_mode_refused" | "depth_exceeds_mode_ceiling_refused" | "mode_without_required_anchor_refused" | "bounded_exploration_scope_missing_refused" | "pattern_recall_evidence_write_refused" | "forensic_replay_horizon_missing_refused";
|
|
253
|
+
candidate: Record<string, unknown>;
|
|
254
|
+
expectedDecision: "refuse";
|
|
255
|
+
}[];
|
|
256
256
|
expectedRefusals: ("missing_traversal_mode_refused" | "missing_traversal_depth_refused" | "invalid_traversal_mode_refused" | "invalid_traversal_depth_refused" | "legacy_depth_as_mode_refused" | "depth_exceeds_mode_ceiling_refused" | "mode_without_required_anchor_refused" | "bounded_exploration_scope_missing_refused" | "pattern_recall_evidence_write_refused" | "forensic_replay_horizon_missing_refused")[];
|
|
257
257
|
modelVersion: "traversal_mode_constitution_v1";
|
|
258
258
|
compatibilityPosture: {
|
|
@@ -264,8 +264,8 @@ declare const TraversalModeConstitutionContractSchema: z.ZodObject<{
|
|
|
264
264
|
};
|
|
265
265
|
declaredModes: {
|
|
266
266
|
defaultDepth: "low" | "medium" | "high" | "extra-high";
|
|
267
|
-
mode: "anchored_ranked" | "bounded_exploration" | "contradiction_scan" | "pattern_recall" | "forensic_replay";
|
|
268
267
|
allowedDepths: ("low" | "medium" | "high" | "extra-high")[];
|
|
268
|
+
mode: "anchored_ranked" | "bounded_exploration" | "contradiction_scan" | "pattern_recall" | "forensic_replay";
|
|
269
269
|
contract: string;
|
|
270
270
|
label: string;
|
|
271
271
|
requiredInputs: string[];
|
|
@@ -275,33 +275,27 @@ declare const TraversalModeConstitutionContractSchema: z.ZodObject<{
|
|
|
275
275
|
}[];
|
|
276
276
|
declaredDepths: ("low" | "medium" | "high" | "extra-high")[];
|
|
277
277
|
surfaceDeclarations: {
|
|
278
|
-
surface: "
|
|
279
|
-
surfaceClass: "graph_traversal" | "analysis" | "context_compiler";
|
|
278
|
+
surface: "compile_context" | "traverse_graph" | "get_graph_neighborhood" | "discover_entity_connections" | "trace_entity_impact" | "run_graph_intelligence_query";
|
|
280
279
|
sourceHorizonRequired: boolean;
|
|
281
280
|
defaultDepth: "low" | "medium" | "high" | "extra-high";
|
|
281
|
+
surfaceClass: "graph_traversal" | "analysis" | "context_compiler";
|
|
282
282
|
strictModeRequiredBeforeCutover: true;
|
|
283
|
-
requiredDeclarationFields: ("
|
|
283
|
+
requiredDeclarationFields: ("traversalMode" | "requestedDepth" | "effectiveDepth")[];
|
|
284
284
|
defaultMode: "anchored_ranked" | "bounded_exploration" | "contradiction_scan" | "pattern_recall" | "forensic_replay";
|
|
285
285
|
}[];
|
|
286
286
|
strictPassFixtures: {
|
|
287
|
-
requestedDepth: "low" | "medium" | "high" | "extra-high";
|
|
288
287
|
traversalMode: "anchored_ranked" | "bounded_exploration" | "contradiction_scan" | "pattern_recall" | "forensic_replay";
|
|
288
|
+
requestedDepth: "low" | "medium" | "high" | "extra-high";
|
|
289
289
|
fixtureId: string;
|
|
290
290
|
expectedDecision: "allow";
|
|
291
|
-
topicId?: string | undefined;
|
|
292
291
|
sourceHorizonRefs?: string[] | undefined;
|
|
292
|
+
topicId?: string | undefined;
|
|
293
293
|
lensId?: string | undefined;
|
|
294
294
|
ontologyId?: string | undefined;
|
|
295
295
|
anchorRefs?: string[] | undefined;
|
|
296
296
|
requestedWriteEffects?: string[] | undefined;
|
|
297
297
|
}[];
|
|
298
298
|
}>, {
|
|
299
|
-
refusalFixtures: {
|
|
300
|
-
assertion: string;
|
|
301
|
-
fixtureId: "missing_traversal_mode_refused" | "missing_traversal_depth_refused" | "invalid_traversal_mode_refused" | "invalid_traversal_depth_refused" | "legacy_depth_as_mode_refused" | "depth_exceeds_mode_ceiling_refused" | "mode_without_required_anchor_refused" | "bounded_exploration_scope_missing_refused" | "pattern_recall_evidence_write_refused" | "forensic_replay_horizon_missing_refused";
|
|
302
|
-
candidate: Record<string, unknown>;
|
|
303
|
-
expectedDecision: "refuse";
|
|
304
|
-
}[];
|
|
305
299
|
quality: {
|
|
306
300
|
modeCoverage: 1;
|
|
307
301
|
depthCoverage: 1;
|
|
@@ -310,6 +304,12 @@ declare const TraversalModeConstitutionContractSchema: z.ZodObject<{
|
|
|
310
304
|
agentRunBridgeCoverage: 1;
|
|
311
305
|
legacyDepthModeSeparationCoverage: 1;
|
|
312
306
|
};
|
|
307
|
+
refusalFixtures: {
|
|
308
|
+
assertion: string;
|
|
309
|
+
fixtureId: "missing_traversal_mode_refused" | "missing_traversal_depth_refused" | "invalid_traversal_mode_refused" | "invalid_traversal_depth_refused" | "legacy_depth_as_mode_refused" | "depth_exceeds_mode_ceiling_refused" | "mode_without_required_anchor_refused" | "bounded_exploration_scope_missing_refused" | "pattern_recall_evidence_write_refused" | "forensic_replay_horizon_missing_refused";
|
|
310
|
+
candidate: Record<string, unknown>;
|
|
311
|
+
expectedDecision: "refuse";
|
|
312
|
+
}[];
|
|
313
313
|
expectedRefusals: ("missing_traversal_mode_refused" | "missing_traversal_depth_refused" | "invalid_traversal_mode_refused" | "invalid_traversal_depth_refused" | "legacy_depth_as_mode_refused" | "depth_exceeds_mode_ceiling_refused" | "mode_without_required_anchor_refused" | "bounded_exploration_scope_missing_refused" | "pattern_recall_evidence_write_refused" | "forensic_replay_horizon_missing_refused")[];
|
|
314
314
|
modelVersion: "traversal_mode_constitution_v1";
|
|
315
315
|
compatibilityPosture: {
|
|
@@ -321,8 +321,8 @@ declare const TraversalModeConstitutionContractSchema: z.ZodObject<{
|
|
|
321
321
|
};
|
|
322
322
|
declaredModes: {
|
|
323
323
|
defaultDepth: "low" | "medium" | "high" | "extra-high";
|
|
324
|
-
mode: "anchored_ranked" | "bounded_exploration" | "contradiction_scan" | "pattern_recall" | "forensic_replay";
|
|
325
324
|
allowedDepths: ("low" | "medium" | "high" | "extra-high")[];
|
|
325
|
+
mode: "anchored_ranked" | "bounded_exploration" | "contradiction_scan" | "pattern_recall" | "forensic_replay";
|
|
326
326
|
contract: string;
|
|
327
327
|
label: string;
|
|
328
328
|
requiredInputs: string[];
|
|
@@ -332,33 +332,27 @@ declare const TraversalModeConstitutionContractSchema: z.ZodObject<{
|
|
|
332
332
|
}[];
|
|
333
333
|
declaredDepths: ("low" | "medium" | "high" | "extra-high")[];
|
|
334
334
|
surfaceDeclarations: {
|
|
335
|
-
surface: "
|
|
336
|
-
surfaceClass: "graph_traversal" | "analysis" | "context_compiler";
|
|
335
|
+
surface: "compile_context" | "traverse_graph" | "get_graph_neighborhood" | "discover_entity_connections" | "trace_entity_impact" | "run_graph_intelligence_query";
|
|
337
336
|
sourceHorizonRequired: boolean;
|
|
338
337
|
defaultDepth: "low" | "medium" | "high" | "extra-high";
|
|
338
|
+
surfaceClass: "graph_traversal" | "analysis" | "context_compiler";
|
|
339
339
|
strictModeRequiredBeforeCutover: true;
|
|
340
|
-
requiredDeclarationFields: ("
|
|
340
|
+
requiredDeclarationFields: ("traversalMode" | "requestedDepth" | "effectiveDepth")[];
|
|
341
341
|
defaultMode: "anchored_ranked" | "bounded_exploration" | "contradiction_scan" | "pattern_recall" | "forensic_replay";
|
|
342
342
|
}[];
|
|
343
343
|
strictPassFixtures: {
|
|
344
|
-
requestedDepth: "low" | "medium" | "high" | "extra-high";
|
|
345
344
|
traversalMode: "anchored_ranked" | "bounded_exploration" | "contradiction_scan" | "pattern_recall" | "forensic_replay";
|
|
345
|
+
requestedDepth: "low" | "medium" | "high" | "extra-high";
|
|
346
346
|
fixtureId: string;
|
|
347
347
|
expectedDecision: "allow";
|
|
348
|
-
topicId?: string | undefined;
|
|
349
348
|
sourceHorizonRefs?: string[] | undefined;
|
|
349
|
+
topicId?: string | undefined;
|
|
350
350
|
lensId?: string | undefined;
|
|
351
351
|
ontologyId?: string | undefined;
|
|
352
352
|
anchorRefs?: string[] | undefined;
|
|
353
353
|
requestedWriteEffects?: string[] | undefined;
|
|
354
354
|
}[];
|
|
355
355
|
}, {
|
|
356
|
-
refusalFixtures: {
|
|
357
|
-
assertion: string;
|
|
358
|
-
fixtureId: "missing_traversal_mode_refused" | "missing_traversal_depth_refused" | "invalid_traversal_mode_refused" | "invalid_traversal_depth_refused" | "legacy_depth_as_mode_refused" | "depth_exceeds_mode_ceiling_refused" | "mode_without_required_anchor_refused" | "bounded_exploration_scope_missing_refused" | "pattern_recall_evidence_write_refused" | "forensic_replay_horizon_missing_refused";
|
|
359
|
-
candidate: Record<string, unknown>;
|
|
360
|
-
expectedDecision: "refuse";
|
|
361
|
-
}[];
|
|
362
356
|
quality: {
|
|
363
357
|
modeCoverage: 1;
|
|
364
358
|
depthCoverage: 1;
|
|
@@ -367,6 +361,12 @@ declare const TraversalModeConstitutionContractSchema: z.ZodObject<{
|
|
|
367
361
|
agentRunBridgeCoverage: 1;
|
|
368
362
|
legacyDepthModeSeparationCoverage: 1;
|
|
369
363
|
};
|
|
364
|
+
refusalFixtures: {
|
|
365
|
+
assertion: string;
|
|
366
|
+
fixtureId: "missing_traversal_mode_refused" | "missing_traversal_depth_refused" | "invalid_traversal_mode_refused" | "invalid_traversal_depth_refused" | "legacy_depth_as_mode_refused" | "depth_exceeds_mode_ceiling_refused" | "mode_without_required_anchor_refused" | "bounded_exploration_scope_missing_refused" | "pattern_recall_evidence_write_refused" | "forensic_replay_horizon_missing_refused";
|
|
367
|
+
candidate: Record<string, unknown>;
|
|
368
|
+
expectedDecision: "refuse";
|
|
369
|
+
}[];
|
|
370
370
|
expectedRefusals: ("missing_traversal_mode_refused" | "missing_traversal_depth_refused" | "invalid_traversal_mode_refused" | "invalid_traversal_depth_refused" | "legacy_depth_as_mode_refused" | "depth_exceeds_mode_ceiling_refused" | "mode_without_required_anchor_refused" | "bounded_exploration_scope_missing_refused" | "pattern_recall_evidence_write_refused" | "forensic_replay_horizon_missing_refused")[];
|
|
371
371
|
modelVersion: "traversal_mode_constitution_v1";
|
|
372
372
|
compatibilityPosture: {
|
|
@@ -378,8 +378,8 @@ declare const TraversalModeConstitutionContractSchema: z.ZodObject<{
|
|
|
378
378
|
};
|
|
379
379
|
declaredModes: {
|
|
380
380
|
defaultDepth: "low" | "medium" | "high" | "extra-high";
|
|
381
|
-
mode: "anchored_ranked" | "bounded_exploration" | "contradiction_scan" | "pattern_recall" | "forensic_replay";
|
|
382
381
|
allowedDepths: ("low" | "medium" | "high" | "extra-high")[];
|
|
382
|
+
mode: "anchored_ranked" | "bounded_exploration" | "contradiction_scan" | "pattern_recall" | "forensic_replay";
|
|
383
383
|
contract: string;
|
|
384
384
|
label: string;
|
|
385
385
|
requiredInputs: string[];
|
|
@@ -389,21 +389,21 @@ declare const TraversalModeConstitutionContractSchema: z.ZodObject<{
|
|
|
389
389
|
}[];
|
|
390
390
|
declaredDepths: ("low" | "medium" | "high" | "extra-high")[];
|
|
391
391
|
surfaceDeclarations: {
|
|
392
|
-
surface: "
|
|
393
|
-
surfaceClass: "graph_traversal" | "analysis" | "context_compiler";
|
|
392
|
+
surface: "compile_context" | "traverse_graph" | "get_graph_neighborhood" | "discover_entity_connections" | "trace_entity_impact" | "run_graph_intelligence_query";
|
|
394
393
|
sourceHorizonRequired: boolean;
|
|
395
394
|
defaultDepth: "low" | "medium" | "high" | "extra-high";
|
|
395
|
+
surfaceClass: "graph_traversal" | "analysis" | "context_compiler";
|
|
396
396
|
strictModeRequiredBeforeCutover: true;
|
|
397
|
-
requiredDeclarationFields: ("
|
|
397
|
+
requiredDeclarationFields: ("traversalMode" | "requestedDepth" | "effectiveDepth")[];
|
|
398
398
|
defaultMode: "anchored_ranked" | "bounded_exploration" | "contradiction_scan" | "pattern_recall" | "forensic_replay";
|
|
399
399
|
}[];
|
|
400
400
|
strictPassFixtures: {
|
|
401
|
-
requestedDepth: "low" | "medium" | "high" | "extra-high";
|
|
402
401
|
traversalMode: "anchored_ranked" | "bounded_exploration" | "contradiction_scan" | "pattern_recall" | "forensic_replay";
|
|
402
|
+
requestedDepth: "low" | "medium" | "high" | "extra-high";
|
|
403
403
|
fixtureId: string;
|
|
404
404
|
expectedDecision: "allow";
|
|
405
|
-
topicId?: string | undefined;
|
|
406
405
|
sourceHorizonRefs?: string[] | undefined;
|
|
406
|
+
topicId?: string | undefined;
|
|
407
407
|
lensId?: string | undefined;
|
|
408
408
|
ontologyId?: string | undefined;
|
|
409
409
|
anchorRefs?: string[] | undefined;
|
|
@@ -412,20 +412,14 @@ declare const TraversalModeConstitutionContractSchema: z.ZodObject<{
|
|
|
412
412
|
}>;
|
|
413
413
|
}, "strip", z.ZodTypeAny, {
|
|
414
414
|
worktree: "C2-LK.2";
|
|
415
|
-
lane: "c2-lk-agent-run";
|
|
416
415
|
contractVersion: "c2_lk_traversal_mode_constitution.v1";
|
|
416
|
+
lane: "c2-lk-agent-run";
|
|
417
|
+
graphWorktreeId: "tn71gnpx4kas7k0qjf8d8etyq585r4np";
|
|
418
|
+
compositionKey: "traversal_mode_constitution_v1";
|
|
417
419
|
dependsOn: string[];
|
|
418
420
|
sourceAnchors: string[];
|
|
419
|
-
graphWorktreeId: "tn71gnpx4kas7k0qjf8d8etyq585r4np";
|
|
420
421
|
rules: string[];
|
|
421
|
-
compositionKey: "traversal_mode_constitution_v1";
|
|
422
422
|
model: {
|
|
423
|
-
refusalFixtures: {
|
|
424
|
-
assertion: string;
|
|
425
|
-
fixtureId: "missing_traversal_mode_refused" | "missing_traversal_depth_refused" | "invalid_traversal_mode_refused" | "invalid_traversal_depth_refused" | "legacy_depth_as_mode_refused" | "depth_exceeds_mode_ceiling_refused" | "mode_without_required_anchor_refused" | "bounded_exploration_scope_missing_refused" | "pattern_recall_evidence_write_refused" | "forensic_replay_horizon_missing_refused";
|
|
426
|
-
candidate: Record<string, unknown>;
|
|
427
|
-
expectedDecision: "refuse";
|
|
428
|
-
}[];
|
|
429
423
|
quality: {
|
|
430
424
|
modeCoverage: 1;
|
|
431
425
|
depthCoverage: 1;
|
|
@@ -434,6 +428,12 @@ declare const TraversalModeConstitutionContractSchema: z.ZodObject<{
|
|
|
434
428
|
agentRunBridgeCoverage: 1;
|
|
435
429
|
legacyDepthModeSeparationCoverage: 1;
|
|
436
430
|
};
|
|
431
|
+
refusalFixtures: {
|
|
432
|
+
assertion: string;
|
|
433
|
+
fixtureId: "missing_traversal_mode_refused" | "missing_traversal_depth_refused" | "invalid_traversal_mode_refused" | "invalid_traversal_depth_refused" | "legacy_depth_as_mode_refused" | "depth_exceeds_mode_ceiling_refused" | "mode_without_required_anchor_refused" | "bounded_exploration_scope_missing_refused" | "pattern_recall_evidence_write_refused" | "forensic_replay_horizon_missing_refused";
|
|
434
|
+
candidate: Record<string, unknown>;
|
|
435
|
+
expectedDecision: "refuse";
|
|
436
|
+
}[];
|
|
437
437
|
expectedRefusals: ("missing_traversal_mode_refused" | "missing_traversal_depth_refused" | "invalid_traversal_mode_refused" | "invalid_traversal_depth_refused" | "legacy_depth_as_mode_refused" | "depth_exceeds_mode_ceiling_refused" | "mode_without_required_anchor_refused" | "bounded_exploration_scope_missing_refused" | "pattern_recall_evidence_write_refused" | "forensic_replay_horizon_missing_refused")[];
|
|
438
438
|
modelVersion: "traversal_mode_constitution_v1";
|
|
439
439
|
compatibilityPosture: {
|
|
@@ -445,8 +445,8 @@ declare const TraversalModeConstitutionContractSchema: z.ZodObject<{
|
|
|
445
445
|
};
|
|
446
446
|
declaredModes: {
|
|
447
447
|
defaultDepth: "low" | "medium" | "high" | "extra-high";
|
|
448
|
-
mode: "anchored_ranked" | "bounded_exploration" | "contradiction_scan" | "pattern_recall" | "forensic_replay";
|
|
449
448
|
allowedDepths: ("low" | "medium" | "high" | "extra-high")[];
|
|
449
|
+
mode: "anchored_ranked" | "bounded_exploration" | "contradiction_scan" | "pattern_recall" | "forensic_replay";
|
|
450
450
|
contract: string;
|
|
451
451
|
label: string;
|
|
452
452
|
requiredInputs: string[];
|
|
@@ -456,21 +456,21 @@ declare const TraversalModeConstitutionContractSchema: z.ZodObject<{
|
|
|
456
456
|
}[];
|
|
457
457
|
declaredDepths: ("low" | "medium" | "high" | "extra-high")[];
|
|
458
458
|
surfaceDeclarations: {
|
|
459
|
-
surface: "
|
|
460
|
-
surfaceClass: "graph_traversal" | "analysis" | "context_compiler";
|
|
459
|
+
surface: "compile_context" | "traverse_graph" | "get_graph_neighborhood" | "discover_entity_connections" | "trace_entity_impact" | "run_graph_intelligence_query";
|
|
461
460
|
sourceHorizonRequired: boolean;
|
|
462
461
|
defaultDepth: "low" | "medium" | "high" | "extra-high";
|
|
462
|
+
surfaceClass: "graph_traversal" | "analysis" | "context_compiler";
|
|
463
463
|
strictModeRequiredBeforeCutover: true;
|
|
464
|
-
requiredDeclarationFields: ("
|
|
464
|
+
requiredDeclarationFields: ("traversalMode" | "requestedDepth" | "effectiveDepth")[];
|
|
465
465
|
defaultMode: "anchored_ranked" | "bounded_exploration" | "contradiction_scan" | "pattern_recall" | "forensic_replay";
|
|
466
466
|
}[];
|
|
467
467
|
strictPassFixtures: {
|
|
468
|
-
requestedDepth: "low" | "medium" | "high" | "extra-high";
|
|
469
468
|
traversalMode: "anchored_ranked" | "bounded_exploration" | "contradiction_scan" | "pattern_recall" | "forensic_replay";
|
|
469
|
+
requestedDepth: "low" | "medium" | "high" | "extra-high";
|
|
470
470
|
fixtureId: string;
|
|
471
471
|
expectedDecision: "allow";
|
|
472
|
-
topicId?: string | undefined;
|
|
473
472
|
sourceHorizonRefs?: string[] | undefined;
|
|
473
|
+
topicId?: string | undefined;
|
|
474
474
|
lensId?: string | undefined;
|
|
475
475
|
ontologyId?: string | undefined;
|
|
476
476
|
anchorRefs?: string[] | undefined;
|
|
@@ -479,20 +479,14 @@ declare const TraversalModeConstitutionContractSchema: z.ZodObject<{
|
|
|
479
479
|
};
|
|
480
480
|
}, {
|
|
481
481
|
worktree: "C2-LK.2";
|
|
482
|
-
lane: "c2-lk-agent-run";
|
|
483
482
|
contractVersion: "c2_lk_traversal_mode_constitution.v1";
|
|
483
|
+
lane: "c2-lk-agent-run";
|
|
484
|
+
graphWorktreeId: "tn71gnpx4kas7k0qjf8d8etyq585r4np";
|
|
485
|
+
compositionKey: "traversal_mode_constitution_v1";
|
|
484
486
|
dependsOn: string[];
|
|
485
487
|
sourceAnchors: string[];
|
|
486
|
-
graphWorktreeId: "tn71gnpx4kas7k0qjf8d8etyq585r4np";
|
|
487
488
|
rules: string[];
|
|
488
|
-
compositionKey: "traversal_mode_constitution_v1";
|
|
489
489
|
model: {
|
|
490
|
-
refusalFixtures: {
|
|
491
|
-
assertion: string;
|
|
492
|
-
fixtureId: "missing_traversal_mode_refused" | "missing_traversal_depth_refused" | "invalid_traversal_mode_refused" | "invalid_traversal_depth_refused" | "legacy_depth_as_mode_refused" | "depth_exceeds_mode_ceiling_refused" | "mode_without_required_anchor_refused" | "bounded_exploration_scope_missing_refused" | "pattern_recall_evidence_write_refused" | "forensic_replay_horizon_missing_refused";
|
|
493
|
-
candidate: Record<string, unknown>;
|
|
494
|
-
expectedDecision: "refuse";
|
|
495
|
-
}[];
|
|
496
490
|
quality: {
|
|
497
491
|
modeCoverage: 1;
|
|
498
492
|
depthCoverage: 1;
|
|
@@ -501,6 +495,12 @@ declare const TraversalModeConstitutionContractSchema: z.ZodObject<{
|
|
|
501
495
|
agentRunBridgeCoverage: 1;
|
|
502
496
|
legacyDepthModeSeparationCoverage: 1;
|
|
503
497
|
};
|
|
498
|
+
refusalFixtures: {
|
|
499
|
+
assertion: string;
|
|
500
|
+
fixtureId: "missing_traversal_mode_refused" | "missing_traversal_depth_refused" | "invalid_traversal_mode_refused" | "invalid_traversal_depth_refused" | "legacy_depth_as_mode_refused" | "depth_exceeds_mode_ceiling_refused" | "mode_without_required_anchor_refused" | "bounded_exploration_scope_missing_refused" | "pattern_recall_evidence_write_refused" | "forensic_replay_horizon_missing_refused";
|
|
501
|
+
candidate: Record<string, unknown>;
|
|
502
|
+
expectedDecision: "refuse";
|
|
503
|
+
}[];
|
|
504
504
|
expectedRefusals: ("missing_traversal_mode_refused" | "missing_traversal_depth_refused" | "invalid_traversal_mode_refused" | "invalid_traversal_depth_refused" | "legacy_depth_as_mode_refused" | "depth_exceeds_mode_ceiling_refused" | "mode_without_required_anchor_refused" | "bounded_exploration_scope_missing_refused" | "pattern_recall_evidence_write_refused" | "forensic_replay_horizon_missing_refused")[];
|
|
505
505
|
modelVersion: "traversal_mode_constitution_v1";
|
|
506
506
|
compatibilityPosture: {
|
|
@@ -512,8 +512,8 @@ declare const TraversalModeConstitutionContractSchema: z.ZodObject<{
|
|
|
512
512
|
};
|
|
513
513
|
declaredModes: {
|
|
514
514
|
defaultDepth: "low" | "medium" | "high" | "extra-high";
|
|
515
|
-
mode: "anchored_ranked" | "bounded_exploration" | "contradiction_scan" | "pattern_recall" | "forensic_replay";
|
|
516
515
|
allowedDepths: ("low" | "medium" | "high" | "extra-high")[];
|
|
516
|
+
mode: "anchored_ranked" | "bounded_exploration" | "contradiction_scan" | "pattern_recall" | "forensic_replay";
|
|
517
517
|
contract: string;
|
|
518
518
|
label: string;
|
|
519
519
|
requiredInputs: string[];
|
|
@@ -523,21 +523,21 @@ declare const TraversalModeConstitutionContractSchema: z.ZodObject<{
|
|
|
523
523
|
}[];
|
|
524
524
|
declaredDepths: ("low" | "medium" | "high" | "extra-high")[];
|
|
525
525
|
surfaceDeclarations: {
|
|
526
|
-
surface: "
|
|
527
|
-
surfaceClass: "graph_traversal" | "analysis" | "context_compiler";
|
|
526
|
+
surface: "compile_context" | "traverse_graph" | "get_graph_neighborhood" | "discover_entity_connections" | "trace_entity_impact" | "run_graph_intelligence_query";
|
|
528
527
|
sourceHorizonRequired: boolean;
|
|
529
528
|
defaultDepth: "low" | "medium" | "high" | "extra-high";
|
|
529
|
+
surfaceClass: "graph_traversal" | "analysis" | "context_compiler";
|
|
530
530
|
strictModeRequiredBeforeCutover: true;
|
|
531
|
-
requiredDeclarationFields: ("
|
|
531
|
+
requiredDeclarationFields: ("traversalMode" | "requestedDepth" | "effectiveDepth")[];
|
|
532
532
|
defaultMode: "anchored_ranked" | "bounded_exploration" | "contradiction_scan" | "pattern_recall" | "forensic_replay";
|
|
533
533
|
}[];
|
|
534
534
|
strictPassFixtures: {
|
|
535
|
-
requestedDepth: "low" | "medium" | "high" | "extra-high";
|
|
536
535
|
traversalMode: "anchored_ranked" | "bounded_exploration" | "contradiction_scan" | "pattern_recall" | "forensic_replay";
|
|
536
|
+
requestedDepth: "low" | "medium" | "high" | "extra-high";
|
|
537
537
|
fixtureId: string;
|
|
538
538
|
expectedDecision: "allow";
|
|
539
|
-
topicId?: string | undefined;
|
|
540
539
|
sourceHorizonRefs?: string[] | undefined;
|
|
540
|
+
topicId?: string | undefined;
|
|
541
541
|
lensId?: string | undefined;
|
|
542
542
|
ontologyId?: string | undefined;
|
|
543
543
|
anchorRefs?: string[] | undefined;
|
|
@@ -582,20 +582,14 @@ declare function evaluateTraversalModeStrictRequest(candidate: TraversalModeStri
|
|
|
582
582
|
declare const TRAVERSAL_MODE_CONSTITUTION_CONTRACT: TraversalModeConstitutionContract;
|
|
583
583
|
declare const parsedTraversalModeConstitutionContract: {
|
|
584
584
|
worktree: "C2-LK.2";
|
|
585
|
-
lane: "c2-lk-agent-run";
|
|
586
585
|
contractVersion: "c2_lk_traversal_mode_constitution.v1";
|
|
586
|
+
lane: "c2-lk-agent-run";
|
|
587
|
+
graphWorktreeId: "tn71gnpx4kas7k0qjf8d8etyq585r4np";
|
|
588
|
+
compositionKey: "traversal_mode_constitution_v1";
|
|
587
589
|
dependsOn: string[];
|
|
588
590
|
sourceAnchors: string[];
|
|
589
|
-
graphWorktreeId: "tn71gnpx4kas7k0qjf8d8etyq585r4np";
|
|
590
591
|
rules: string[];
|
|
591
|
-
compositionKey: "traversal_mode_constitution_v1";
|
|
592
592
|
model: {
|
|
593
|
-
refusalFixtures: {
|
|
594
|
-
assertion: string;
|
|
595
|
-
fixtureId: "missing_traversal_mode_refused" | "missing_traversal_depth_refused" | "invalid_traversal_mode_refused" | "invalid_traversal_depth_refused" | "legacy_depth_as_mode_refused" | "depth_exceeds_mode_ceiling_refused" | "mode_without_required_anchor_refused" | "bounded_exploration_scope_missing_refused" | "pattern_recall_evidence_write_refused" | "forensic_replay_horizon_missing_refused";
|
|
596
|
-
candidate: Record<string, unknown>;
|
|
597
|
-
expectedDecision: "refuse";
|
|
598
|
-
}[];
|
|
599
593
|
quality: {
|
|
600
594
|
modeCoverage: 1;
|
|
601
595
|
depthCoverage: 1;
|
|
@@ -604,6 +598,12 @@ declare const parsedTraversalModeConstitutionContract: {
|
|
|
604
598
|
agentRunBridgeCoverage: 1;
|
|
605
599
|
legacyDepthModeSeparationCoverage: 1;
|
|
606
600
|
};
|
|
601
|
+
refusalFixtures: {
|
|
602
|
+
assertion: string;
|
|
603
|
+
fixtureId: "missing_traversal_mode_refused" | "missing_traversal_depth_refused" | "invalid_traversal_mode_refused" | "invalid_traversal_depth_refused" | "legacy_depth_as_mode_refused" | "depth_exceeds_mode_ceiling_refused" | "mode_without_required_anchor_refused" | "bounded_exploration_scope_missing_refused" | "pattern_recall_evidence_write_refused" | "forensic_replay_horizon_missing_refused";
|
|
604
|
+
candidate: Record<string, unknown>;
|
|
605
|
+
expectedDecision: "refuse";
|
|
606
|
+
}[];
|
|
607
607
|
expectedRefusals: ("missing_traversal_mode_refused" | "missing_traversal_depth_refused" | "invalid_traversal_mode_refused" | "invalid_traversal_depth_refused" | "legacy_depth_as_mode_refused" | "depth_exceeds_mode_ceiling_refused" | "mode_without_required_anchor_refused" | "bounded_exploration_scope_missing_refused" | "pattern_recall_evidence_write_refused" | "forensic_replay_horizon_missing_refused")[];
|
|
608
608
|
modelVersion: "traversal_mode_constitution_v1";
|
|
609
609
|
compatibilityPosture: {
|
|
@@ -615,8 +615,8 @@ declare const parsedTraversalModeConstitutionContract: {
|
|
|
615
615
|
};
|
|
616
616
|
declaredModes: {
|
|
617
617
|
defaultDepth: "low" | "medium" | "high" | "extra-high";
|
|
618
|
-
mode: "anchored_ranked" | "bounded_exploration" | "contradiction_scan" | "pattern_recall" | "forensic_replay";
|
|
619
618
|
allowedDepths: ("low" | "medium" | "high" | "extra-high")[];
|
|
619
|
+
mode: "anchored_ranked" | "bounded_exploration" | "contradiction_scan" | "pattern_recall" | "forensic_replay";
|
|
620
620
|
contract: string;
|
|
621
621
|
label: string;
|
|
622
622
|
requiredInputs: string[];
|
|
@@ -626,21 +626,21 @@ declare const parsedTraversalModeConstitutionContract: {
|
|
|
626
626
|
}[];
|
|
627
627
|
declaredDepths: ("low" | "medium" | "high" | "extra-high")[];
|
|
628
628
|
surfaceDeclarations: {
|
|
629
|
-
surface: "
|
|
630
|
-
surfaceClass: "graph_traversal" | "analysis" | "context_compiler";
|
|
629
|
+
surface: "compile_context" | "traverse_graph" | "get_graph_neighborhood" | "discover_entity_connections" | "trace_entity_impact" | "run_graph_intelligence_query";
|
|
631
630
|
sourceHorizonRequired: boolean;
|
|
632
631
|
defaultDepth: "low" | "medium" | "high" | "extra-high";
|
|
632
|
+
surfaceClass: "graph_traversal" | "analysis" | "context_compiler";
|
|
633
633
|
strictModeRequiredBeforeCutover: true;
|
|
634
|
-
requiredDeclarationFields: ("
|
|
634
|
+
requiredDeclarationFields: ("traversalMode" | "requestedDepth" | "effectiveDepth")[];
|
|
635
635
|
defaultMode: "anchored_ranked" | "bounded_exploration" | "contradiction_scan" | "pattern_recall" | "forensic_replay";
|
|
636
636
|
}[];
|
|
637
637
|
strictPassFixtures: {
|
|
638
|
-
requestedDepth: "low" | "medium" | "high" | "extra-high";
|
|
639
638
|
traversalMode: "anchored_ranked" | "bounded_exploration" | "contradiction_scan" | "pattern_recall" | "forensic_replay";
|
|
639
|
+
requestedDepth: "low" | "medium" | "high" | "extra-high";
|
|
640
640
|
fixtureId: string;
|
|
641
641
|
expectedDecision: "allow";
|
|
642
|
-
topicId?: string | undefined;
|
|
643
642
|
sourceHorizonRefs?: string[] | undefined;
|
|
643
|
+
topicId?: string | undefined;
|
|
644
644
|
lensId?: string | undefined;
|
|
645
645
|
ontologyId?: string | undefined;
|
|
646
646
|
anchorRefs?: string[] | undefined;
|
|
@@ -661,10 +661,10 @@ declare const TRAVERSAL_MODE_CONSTITUTION_COMPOSITION_ROW: {
|
|
|
661
661
|
allowedDepths: ("low" | "medium" | "high" | "extra-high")[];
|
|
662
662
|
qualityVector: string[];
|
|
663
663
|
identity: {
|
|
664
|
+
registryKeyField: "key";
|
|
664
665
|
canonicalPublicIdField: "compositionUuid";
|
|
665
666
|
canonicalPublicIdVersion: "uuidv7";
|
|
666
667
|
storageLocatorSemantic: false;
|
|
667
|
-
registryKeyField: "key";
|
|
668
668
|
contentAddressFields: string[];
|
|
669
669
|
};
|
|
670
670
|
authorization: {
|
|
@@ -703,10 +703,10 @@ declare const TRAVERSAL_MODE_CONSTITUTION_COMPOSITION_ROW: {
|
|
|
703
703
|
allowedDepths: ("medium" | "high" | "extra-high")[];
|
|
704
704
|
qualityVector: string[];
|
|
705
705
|
identity: {
|
|
706
|
+
registryKeyField: "key";
|
|
706
707
|
canonicalPublicIdField: "compositionUuid";
|
|
707
708
|
canonicalPublicIdVersion: "uuidv7";
|
|
708
709
|
storageLocatorSemantic: false;
|
|
709
|
-
registryKeyField: "key";
|
|
710
710
|
contentAddressFields: string[];
|
|
711
711
|
};
|
|
712
712
|
authorization: {
|
|
@@ -745,10 +745,10 @@ declare const TRAVERSAL_MODE_CONSTITUTION_COMPOSITION_ROW: {
|
|
|
745
745
|
allowedDepths: ("low" | "medium" | "high" | "extra-high")[];
|
|
746
746
|
qualityVector: string[];
|
|
747
747
|
identity: {
|
|
748
|
+
registryKeyField: "key";
|
|
748
749
|
canonicalPublicIdField: "compositionUuid";
|
|
749
750
|
canonicalPublicIdVersion: "uuidv7";
|
|
750
751
|
storageLocatorSemantic: false;
|
|
751
|
-
registryKeyField: "key";
|
|
752
752
|
contentAddressFields: string[];
|
|
753
753
|
};
|
|
754
754
|
authorization: {
|
|
@@ -787,10 +787,10 @@ declare const TRAVERSAL_MODE_CONSTITUTION_COMPOSITION_ROW: {
|
|
|
787
787
|
allowedDepths: ("low" | "medium" | "high" | "extra-high")[];
|
|
788
788
|
qualityVector: string[];
|
|
789
789
|
identity: {
|
|
790
|
+
registryKeyField: "key";
|
|
790
791
|
canonicalPublicIdField: "compositionUuid";
|
|
791
792
|
canonicalPublicIdVersion: "uuidv7";
|
|
792
793
|
storageLocatorSemantic: false;
|
|
793
|
-
registryKeyField: "key";
|
|
794
794
|
contentAddressFields: string[];
|
|
795
795
|
};
|
|
796
796
|
authorization: {
|
|
@@ -820,19 +820,19 @@ declare const TRAVERSAL_MODE_CONSTITUTION_COMPOSITION_ROW: {
|
|
|
820
820
|
key: string;
|
|
821
821
|
emittedAs: string;
|
|
822
822
|
classification: "substrate_contract";
|
|
823
|
-
lifecycle: "
|
|
823
|
+
lifecycle: "reserved";
|
|
824
824
|
ownerLane: string;
|
|
825
825
|
dependsOn: string[];
|
|
826
826
|
primitives: string[];
|
|
827
827
|
sourceSurfaces: string[];
|
|
828
828
|
defaultDepth: "extra-high";
|
|
829
|
-
allowedDepths: ("
|
|
829
|
+
allowedDepths: ("high" | "extra-high")[];
|
|
830
830
|
qualityVector: string[];
|
|
831
831
|
identity: {
|
|
832
|
+
registryKeyField: "key";
|
|
832
833
|
canonicalPublicIdField: "compositionUuid";
|
|
833
834
|
canonicalPublicIdVersion: "uuidv7";
|
|
834
835
|
storageLocatorSemantic: false;
|
|
835
|
-
registryKeyField: "key";
|
|
836
836
|
contentAddressFields: string[];
|
|
837
837
|
};
|
|
838
838
|
authorization: {
|
|
@@ -867,14 +867,14 @@ declare const TRAVERSAL_MODE_CONSTITUTION_COMPOSITION_ROW: {
|
|
|
867
867
|
dependsOn: string[];
|
|
868
868
|
primitives: string[];
|
|
869
869
|
sourceSurfaces: string[];
|
|
870
|
-
defaultDepth: "
|
|
871
|
-
allowedDepths: ("high" | "extra-high")[];
|
|
870
|
+
defaultDepth: "high";
|
|
871
|
+
allowedDepths: ("medium" | "high" | "extra-high")[];
|
|
872
872
|
qualityVector: string[];
|
|
873
873
|
identity: {
|
|
874
|
+
registryKeyField: "key";
|
|
874
875
|
canonicalPublicIdField: "compositionUuid";
|
|
875
876
|
canonicalPublicIdVersion: "uuidv7";
|
|
876
877
|
storageLocatorSemantic: false;
|
|
877
|
-
registryKeyField: "key";
|
|
878
878
|
contentAddressFields: string[];
|
|
879
879
|
};
|
|
880
880
|
authorization: {
|
|
@@ -904,19 +904,19 @@ declare const TRAVERSAL_MODE_CONSTITUTION_COMPOSITION_ROW: {
|
|
|
904
904
|
key: string;
|
|
905
905
|
emittedAs: string;
|
|
906
906
|
classification: "substrate_contract";
|
|
907
|
-
lifecycle: "
|
|
907
|
+
lifecycle: "current";
|
|
908
908
|
ownerLane: string;
|
|
909
909
|
dependsOn: string[];
|
|
910
910
|
primitives: string[];
|
|
911
911
|
sourceSurfaces: string[];
|
|
912
|
-
defaultDepth: "high";
|
|
913
|
-
allowedDepths: ("medium" | "high" | "extra-high")[];
|
|
912
|
+
defaultDepth: "extra-high";
|
|
913
|
+
allowedDepths: ("low" | "medium" | "high" | "extra-high")[];
|
|
914
914
|
qualityVector: string[];
|
|
915
915
|
identity: {
|
|
916
|
+
registryKeyField: "key";
|
|
916
917
|
canonicalPublicIdField: "compositionUuid";
|
|
917
918
|
canonicalPublicIdVersion: "uuidv7";
|
|
918
919
|
storageLocatorSemantic: false;
|
|
919
|
-
registryKeyField: "key";
|
|
920
920
|
contentAddressFields: string[];
|
|
921
921
|
};
|
|
922
922
|
authorization: {
|
|
@@ -943,13 +943,13 @@ declare const TRAVERSAL_MODE_CONSTITUTION_COMPOSITION_ROW: {
|
|
|
943
943
|
};
|
|
944
944
|
downstreamConsumers: string[];
|
|
945
945
|
} | undefined;
|
|
946
|
-
declare const traversalSurfaceDefaults: Map<"
|
|
947
|
-
surface: "
|
|
948
|
-
surfaceClass: "graph_traversal" | "analysis" | "context_compiler";
|
|
946
|
+
declare const traversalSurfaceDefaults: Map<"compile_context" | "traverse_graph" | "get_graph_neighborhood" | "discover_entity_connections" | "trace_entity_impact" | "run_graph_intelligence_query", {
|
|
947
|
+
surface: "compile_context" | "traverse_graph" | "get_graph_neighborhood" | "discover_entity_connections" | "trace_entity_impact" | "run_graph_intelligence_query";
|
|
949
948
|
sourceHorizonRequired: boolean;
|
|
950
949
|
defaultDepth: "low" | "medium" | "high" | "extra-high";
|
|
950
|
+
surfaceClass: "graph_traversal" | "analysis" | "context_compiler";
|
|
951
951
|
strictModeRequiredBeforeCutover: true;
|
|
952
|
-
requiredDeclarationFields: ("
|
|
952
|
+
requiredDeclarationFields: ("traversalMode" | "requestedDepth" | "effectiveDepth")[];
|
|
953
953
|
defaultMode: "anchored_ranked" | "bounded_exploration" | "contradiction_scan" | "pattern_recall" | "forensic_replay";
|
|
954
954
|
}>;
|
|
955
955
|
|