@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
|
@@ -54,12 +54,12 @@ declare const GraphTraversalCanonCandidateSchema: z.ZodObject<{
|
|
|
54
54
|
hasL1SourceGrounding: boolean;
|
|
55
55
|
preservesCompressionBoundary: boolean;
|
|
56
56
|
nodeLayersDeclared: boolean;
|
|
57
|
-
requestedDepth?: string | undefined;
|
|
58
57
|
traversalMode?: string | undefined;
|
|
58
|
+
requestedDepth?: string | undefined;
|
|
59
59
|
}, {
|
|
60
60
|
context: "new_write" | "runtime_read" | "legacy_migration" | "graph_v2_cutover";
|
|
61
|
-
requestedDepth?: string | undefined;
|
|
62
61
|
traversalMode?: string | undefined;
|
|
62
|
+
requestedDepth?: string | undefined;
|
|
63
63
|
hops?: {
|
|
64
64
|
edgeType: string;
|
|
65
65
|
fromLayer: "l1_source" | "l2_evidence" | "l3_reasoning" | "l4_output";
|
|
@@ -183,12 +183,12 @@ declare const GraphTraversalCanonContractSchema: z.ZodObject<{
|
|
|
183
183
|
hasL1SourceGrounding: boolean;
|
|
184
184
|
preservesCompressionBoundary: boolean;
|
|
185
185
|
nodeLayersDeclared: boolean;
|
|
186
|
-
requestedDepth?: string | undefined;
|
|
187
186
|
traversalMode?: string | undefined;
|
|
187
|
+
requestedDepth?: string | undefined;
|
|
188
188
|
}, {
|
|
189
189
|
context: "new_write" | "runtime_read" | "legacy_migration" | "graph_v2_cutover";
|
|
190
|
-
requestedDepth?: string | undefined;
|
|
191
190
|
traversalMode?: string | undefined;
|
|
191
|
+
requestedDepth?: string | undefined;
|
|
192
192
|
hops?: {
|
|
193
193
|
edgeType: string;
|
|
194
194
|
fromLayer: "l1_source" | "l2_evidence" | "l3_reasoning" | "l4_output";
|
|
@@ -217,8 +217,8 @@ declare const GraphTraversalCanonContractSchema: z.ZodObject<{
|
|
|
217
217
|
hasL1SourceGrounding: boolean;
|
|
218
218
|
preservesCompressionBoundary: boolean;
|
|
219
219
|
nodeLayersDeclared: boolean;
|
|
220
|
-
requestedDepth?: string | undefined;
|
|
221
220
|
traversalMode?: string | undefined;
|
|
221
|
+
requestedDepth?: string | undefined;
|
|
222
222
|
};
|
|
223
223
|
expectedDecision: "allow" | "lint_failure" | "migration_warning";
|
|
224
224
|
expectedViolationId?: "missing_traversal_mode_refused" | "missing_traversal_depth_refused" | "layerless_node_refused" | "illegal_edge_family_refused" | "l1_to_l3_shortcut_refused" | "l1_to_l4_shortcut_refused" | "l2_to_l4_shortcut_refused" | "missing_l2_evidence_bridge_refused" | "missing_l1_source_grounding_refused" | "compression_boundary_missing_refused" | undefined;
|
|
@@ -227,8 +227,8 @@ declare const GraphTraversalCanonContractSchema: z.ZodObject<{
|
|
|
227
227
|
fixtureId: string;
|
|
228
228
|
candidate: {
|
|
229
229
|
context: "new_write" | "runtime_read" | "legacy_migration" | "graph_v2_cutover";
|
|
230
|
-
requestedDepth?: string | undefined;
|
|
231
230
|
traversalMode?: string | undefined;
|
|
231
|
+
requestedDepth?: string | undefined;
|
|
232
232
|
hops?: {
|
|
233
233
|
edgeType: string;
|
|
234
234
|
fromLayer: "l1_source" | "l2_evidence" | "l3_reasoning" | "l4_output";
|
|
@@ -282,12 +282,12 @@ declare const GraphTraversalCanonContractSchema: z.ZodObject<{
|
|
|
282
282
|
hasL1SourceGrounding: boolean;
|
|
283
283
|
preservesCompressionBoundary: boolean;
|
|
284
284
|
nodeLayersDeclared: boolean;
|
|
285
|
-
requestedDepth?: string | undefined;
|
|
286
285
|
traversalMode?: string | undefined;
|
|
286
|
+
requestedDepth?: string | undefined;
|
|
287
287
|
}, {
|
|
288
288
|
context: "new_write" | "runtime_read" | "legacy_migration" | "graph_v2_cutover";
|
|
289
|
-
requestedDepth?: string | undefined;
|
|
290
289
|
traversalMode?: string | undefined;
|
|
290
|
+
requestedDepth?: string | undefined;
|
|
291
291
|
hops?: {
|
|
292
292
|
edgeType: string;
|
|
293
293
|
fromLayer: "l1_source" | "l2_evidence" | "l3_reasoning" | "l4_output";
|
|
@@ -316,8 +316,8 @@ declare const GraphTraversalCanonContractSchema: z.ZodObject<{
|
|
|
316
316
|
hasL1SourceGrounding: boolean;
|
|
317
317
|
preservesCompressionBoundary: boolean;
|
|
318
318
|
nodeLayersDeclared: boolean;
|
|
319
|
-
requestedDepth?: string | undefined;
|
|
320
319
|
traversalMode?: string | undefined;
|
|
320
|
+
requestedDepth?: string | undefined;
|
|
321
321
|
};
|
|
322
322
|
expectedDecision: "allow" | "lint_failure" | "migration_warning";
|
|
323
323
|
expectedViolationId?: "missing_traversal_mode_refused" | "missing_traversal_depth_refused" | "layerless_node_refused" | "illegal_edge_family_refused" | "l1_to_l3_shortcut_refused" | "l1_to_l4_shortcut_refused" | "l2_to_l4_shortcut_refused" | "missing_l2_evidence_bridge_refused" | "missing_l1_source_grounding_refused" | "compression_boundary_missing_refused" | undefined;
|
|
@@ -326,8 +326,8 @@ declare const GraphTraversalCanonContractSchema: z.ZodObject<{
|
|
|
326
326
|
fixtureId: string;
|
|
327
327
|
candidate: {
|
|
328
328
|
context: "new_write" | "runtime_read" | "legacy_migration" | "graph_v2_cutover";
|
|
329
|
-
requestedDepth?: string | undefined;
|
|
330
329
|
traversalMode?: string | undefined;
|
|
330
|
+
requestedDepth?: string | undefined;
|
|
331
331
|
hops?: {
|
|
332
332
|
edgeType: string;
|
|
333
333
|
fromLayer: "l1_source" | "l2_evidence" | "l3_reasoning" | "l4_output";
|
|
@@ -381,12 +381,12 @@ declare const GraphTraversalCanonContractSchema: z.ZodObject<{
|
|
|
381
381
|
hasL1SourceGrounding: boolean;
|
|
382
382
|
preservesCompressionBoundary: boolean;
|
|
383
383
|
nodeLayersDeclared: boolean;
|
|
384
|
-
requestedDepth?: string | undefined;
|
|
385
384
|
traversalMode?: string | undefined;
|
|
385
|
+
requestedDepth?: string | undefined;
|
|
386
386
|
}, {
|
|
387
387
|
context: "new_write" | "runtime_read" | "legacy_migration" | "graph_v2_cutover";
|
|
388
|
-
requestedDepth?: string | undefined;
|
|
389
388
|
traversalMode?: string | undefined;
|
|
389
|
+
requestedDepth?: string | undefined;
|
|
390
390
|
hops?: {
|
|
391
391
|
edgeType: string;
|
|
392
392
|
fromLayer: "l1_source" | "l2_evidence" | "l3_reasoning" | "l4_output";
|
|
@@ -415,8 +415,8 @@ declare const GraphTraversalCanonContractSchema: z.ZodObject<{
|
|
|
415
415
|
hasL1SourceGrounding: boolean;
|
|
416
416
|
preservesCompressionBoundary: boolean;
|
|
417
417
|
nodeLayersDeclared: boolean;
|
|
418
|
-
requestedDepth?: string | undefined;
|
|
419
418
|
traversalMode?: string | undefined;
|
|
419
|
+
requestedDepth?: string | undefined;
|
|
420
420
|
};
|
|
421
421
|
expectedDecision: "allow" | "lint_failure" | "migration_warning";
|
|
422
422
|
expectedViolationId?: "missing_traversal_mode_refused" | "missing_traversal_depth_refused" | "layerless_node_refused" | "illegal_edge_family_refused" | "l1_to_l3_shortcut_refused" | "l1_to_l4_shortcut_refused" | "l2_to_l4_shortcut_refused" | "missing_l2_evidence_bridge_refused" | "missing_l1_source_grounding_refused" | "compression_boundary_missing_refused" | undefined;
|
|
@@ -425,8 +425,8 @@ declare const GraphTraversalCanonContractSchema: z.ZodObject<{
|
|
|
425
425
|
fixtureId: string;
|
|
426
426
|
candidate: {
|
|
427
427
|
context: "new_write" | "runtime_read" | "legacy_migration" | "graph_v2_cutover";
|
|
428
|
-
requestedDepth?: string | undefined;
|
|
429
428
|
traversalMode?: string | undefined;
|
|
429
|
+
requestedDepth?: string | undefined;
|
|
430
430
|
hops?: {
|
|
431
431
|
edgeType: string;
|
|
432
432
|
fromLayer: "l1_source" | "l2_evidence" | "l3_reasoning" | "l4_output";
|
|
@@ -480,6 +480,15 @@ declare const GraphTraversalCanonContractSchema: z.ZodObject<{
|
|
|
480
480
|
sourceGroundingCoverage: 1;
|
|
481
481
|
}>;
|
|
482
482
|
}, "strip", z.ZodTypeAny, {
|
|
483
|
+
quality: {
|
|
484
|
+
layerCoverage: 1;
|
|
485
|
+
allowedHopCoverage: 1;
|
|
486
|
+
shortcutLintCoverage: 1;
|
|
487
|
+
migrationWarningCoverage: 1;
|
|
488
|
+
compressionBoundaryCoverage: 1;
|
|
489
|
+
traversalModeBridgeCoverage: 1;
|
|
490
|
+
sourceGroundingCoverage: 1;
|
|
491
|
+
};
|
|
483
492
|
layerDefinitions: {
|
|
484
493
|
layer: "l1_source" | "l2_evidence" | "l3_reasoning" | "l4_output";
|
|
485
494
|
label: string;
|
|
@@ -503,15 +512,6 @@ declare const GraphTraversalCanonContractSchema: z.ZodObject<{
|
|
|
503
512
|
requiredAction: string;
|
|
504
513
|
warningId?: "legacy_illegal_edge_family_warning" | "legacy_l1_to_l3_shortcut_warning" | "legacy_l1_to_l4_shortcut_warning" | "legacy_l2_to_l4_shortcut_warning" | "legacy_missing_l2_evidence_bridge_warning" | "legacy_missing_l1_source_grounding_warning" | "legacy_compression_boundary_missing_warning" | undefined;
|
|
505
514
|
}[];
|
|
506
|
-
quality: {
|
|
507
|
-
layerCoverage: 1;
|
|
508
|
-
allowedHopCoverage: 1;
|
|
509
|
-
shortcutLintCoverage: 1;
|
|
510
|
-
migrationWarningCoverage: 1;
|
|
511
|
-
compressionBoundaryCoverage: 1;
|
|
512
|
-
traversalModeBridgeCoverage: 1;
|
|
513
|
-
sourceGroundingCoverage: 1;
|
|
514
|
-
};
|
|
515
515
|
modelVersion: "graph_traversal_canon_v1";
|
|
516
516
|
passFixtures: {
|
|
517
517
|
fixtureId: string;
|
|
@@ -527,8 +527,8 @@ declare const GraphTraversalCanonContractSchema: z.ZodObject<{
|
|
|
527
527
|
hasL1SourceGrounding: boolean;
|
|
528
528
|
preservesCompressionBoundary: boolean;
|
|
529
529
|
nodeLayersDeclared: boolean;
|
|
530
|
-
requestedDepth?: string | undefined;
|
|
531
530
|
traversalMode?: string | undefined;
|
|
531
|
+
requestedDepth?: string | undefined;
|
|
532
532
|
};
|
|
533
533
|
expectedDecision: "allow" | "lint_failure" | "migration_warning";
|
|
534
534
|
expectedViolationId?: "missing_traversal_mode_refused" | "missing_traversal_depth_refused" | "layerless_node_refused" | "illegal_edge_family_refused" | "l1_to_l3_shortcut_refused" | "l1_to_l4_shortcut_refused" | "l2_to_l4_shortcut_refused" | "missing_l2_evidence_bridge_refused" | "missing_l1_source_grounding_refused" | "compression_boundary_missing_refused" | undefined;
|
|
@@ -548,8 +548,8 @@ declare const GraphTraversalCanonContractSchema: z.ZodObject<{
|
|
|
548
548
|
hasL1SourceGrounding: boolean;
|
|
549
549
|
preservesCompressionBoundary: boolean;
|
|
550
550
|
nodeLayersDeclared: boolean;
|
|
551
|
-
requestedDepth?: string | undefined;
|
|
552
551
|
traversalMode?: string | undefined;
|
|
552
|
+
requestedDepth?: string | undefined;
|
|
553
553
|
};
|
|
554
554
|
expectedDecision: "allow" | "lint_failure" | "migration_warning";
|
|
555
555
|
expectedViolationId?: "missing_traversal_mode_refused" | "missing_traversal_depth_refused" | "layerless_node_refused" | "illegal_edge_family_refused" | "l1_to_l3_shortcut_refused" | "l1_to_l4_shortcut_refused" | "l2_to_l4_shortcut_refused" | "missing_l2_evidence_bridge_refused" | "missing_l1_source_grounding_refused" | "compression_boundary_missing_refused" | undefined;
|
|
@@ -569,8 +569,8 @@ declare const GraphTraversalCanonContractSchema: z.ZodObject<{
|
|
|
569
569
|
hasL1SourceGrounding: boolean;
|
|
570
570
|
preservesCompressionBoundary: boolean;
|
|
571
571
|
nodeLayersDeclared: boolean;
|
|
572
|
-
requestedDepth?: string | undefined;
|
|
573
572
|
traversalMode?: string | undefined;
|
|
573
|
+
requestedDepth?: string | undefined;
|
|
574
574
|
};
|
|
575
575
|
expectedDecision: "allow" | "lint_failure" | "migration_warning";
|
|
576
576
|
expectedViolationId?: "missing_traversal_mode_refused" | "missing_traversal_depth_refused" | "layerless_node_refused" | "illegal_edge_family_refused" | "l1_to_l3_shortcut_refused" | "l1_to_l4_shortcut_refused" | "l2_to_l4_shortcut_refused" | "missing_l2_evidence_bridge_refused" | "missing_l1_source_grounding_refused" | "compression_boundary_missing_refused" | undefined;
|
|
@@ -583,6 +583,15 @@ declare const GraphTraversalCanonContractSchema: z.ZodObject<{
|
|
|
583
583
|
answer: string;
|
|
584
584
|
};
|
|
585
585
|
}, {
|
|
586
|
+
quality: {
|
|
587
|
+
layerCoverage: 1;
|
|
588
|
+
allowedHopCoverage: 1;
|
|
589
|
+
shortcutLintCoverage: 1;
|
|
590
|
+
migrationWarningCoverage: 1;
|
|
591
|
+
compressionBoundaryCoverage: 1;
|
|
592
|
+
traversalModeBridgeCoverage: 1;
|
|
593
|
+
sourceGroundingCoverage: 1;
|
|
594
|
+
};
|
|
586
595
|
layerDefinitions: {
|
|
587
596
|
layer: "l1_source" | "l2_evidence" | "l3_reasoning" | "l4_output";
|
|
588
597
|
label: string;
|
|
@@ -606,22 +615,13 @@ declare const GraphTraversalCanonContractSchema: z.ZodObject<{
|
|
|
606
615
|
requiredAction: string;
|
|
607
616
|
warningId?: "legacy_illegal_edge_family_warning" | "legacy_l1_to_l3_shortcut_warning" | "legacy_l1_to_l4_shortcut_warning" | "legacy_l2_to_l4_shortcut_warning" | "legacy_missing_l2_evidence_bridge_warning" | "legacy_missing_l1_source_grounding_warning" | "legacy_compression_boundary_missing_warning" | undefined;
|
|
608
617
|
}[];
|
|
609
|
-
quality: {
|
|
610
|
-
layerCoverage: 1;
|
|
611
|
-
allowedHopCoverage: 1;
|
|
612
|
-
shortcutLintCoverage: 1;
|
|
613
|
-
migrationWarningCoverage: 1;
|
|
614
|
-
compressionBoundaryCoverage: 1;
|
|
615
|
-
traversalModeBridgeCoverage: 1;
|
|
616
|
-
sourceGroundingCoverage: 1;
|
|
617
|
-
};
|
|
618
618
|
modelVersion: "graph_traversal_canon_v1";
|
|
619
619
|
passFixtures: {
|
|
620
620
|
fixtureId: string;
|
|
621
621
|
candidate: {
|
|
622
622
|
context: "new_write" | "runtime_read" | "legacy_migration" | "graph_v2_cutover";
|
|
623
|
-
requestedDepth?: string | undefined;
|
|
624
623
|
traversalMode?: string | undefined;
|
|
624
|
+
requestedDepth?: string | undefined;
|
|
625
625
|
hops?: {
|
|
626
626
|
edgeType: string;
|
|
627
627
|
fromLayer: "l1_source" | "l2_evidence" | "l3_reasoning" | "l4_output";
|
|
@@ -641,8 +641,8 @@ declare const GraphTraversalCanonContractSchema: z.ZodObject<{
|
|
|
641
641
|
fixtureId: string;
|
|
642
642
|
candidate: {
|
|
643
643
|
context: "new_write" | "runtime_read" | "legacy_migration" | "graph_v2_cutover";
|
|
644
|
-
requestedDepth?: string | undefined;
|
|
645
644
|
traversalMode?: string | undefined;
|
|
645
|
+
requestedDepth?: string | undefined;
|
|
646
646
|
hops?: {
|
|
647
647
|
edgeType: string;
|
|
648
648
|
fromLayer: "l1_source" | "l2_evidence" | "l3_reasoning" | "l4_output";
|
|
@@ -662,8 +662,8 @@ declare const GraphTraversalCanonContractSchema: z.ZodObject<{
|
|
|
662
662
|
fixtureId: string;
|
|
663
663
|
candidate: {
|
|
664
664
|
context: "new_write" | "runtime_read" | "legacy_migration" | "graph_v2_cutover";
|
|
665
|
-
requestedDepth?: string | undefined;
|
|
666
665
|
traversalMode?: string | undefined;
|
|
666
|
+
requestedDepth?: string | undefined;
|
|
667
667
|
hops?: {
|
|
668
668
|
edgeType: string;
|
|
669
669
|
fromLayer: "l1_source" | "l2_evidence" | "l3_reasoning" | "l4_output";
|
|
@@ -686,6 +686,15 @@ declare const GraphTraversalCanonContractSchema: z.ZodObject<{
|
|
|
686
686
|
answer: string;
|
|
687
687
|
};
|
|
688
688
|
}>, {
|
|
689
|
+
quality: {
|
|
690
|
+
layerCoverage: 1;
|
|
691
|
+
allowedHopCoverage: 1;
|
|
692
|
+
shortcutLintCoverage: 1;
|
|
693
|
+
migrationWarningCoverage: 1;
|
|
694
|
+
compressionBoundaryCoverage: 1;
|
|
695
|
+
traversalModeBridgeCoverage: 1;
|
|
696
|
+
sourceGroundingCoverage: 1;
|
|
697
|
+
};
|
|
689
698
|
layerDefinitions: {
|
|
690
699
|
layer: "l1_source" | "l2_evidence" | "l3_reasoning" | "l4_output";
|
|
691
700
|
label: string;
|
|
@@ -709,15 +718,6 @@ declare const GraphTraversalCanonContractSchema: z.ZodObject<{
|
|
|
709
718
|
requiredAction: string;
|
|
710
719
|
warningId?: "legacy_illegal_edge_family_warning" | "legacy_l1_to_l3_shortcut_warning" | "legacy_l1_to_l4_shortcut_warning" | "legacy_l2_to_l4_shortcut_warning" | "legacy_missing_l2_evidence_bridge_warning" | "legacy_missing_l1_source_grounding_warning" | "legacy_compression_boundary_missing_warning" | undefined;
|
|
711
720
|
}[];
|
|
712
|
-
quality: {
|
|
713
|
-
layerCoverage: 1;
|
|
714
|
-
allowedHopCoverage: 1;
|
|
715
|
-
shortcutLintCoverage: 1;
|
|
716
|
-
migrationWarningCoverage: 1;
|
|
717
|
-
compressionBoundaryCoverage: 1;
|
|
718
|
-
traversalModeBridgeCoverage: 1;
|
|
719
|
-
sourceGroundingCoverage: 1;
|
|
720
|
-
};
|
|
721
721
|
modelVersion: "graph_traversal_canon_v1";
|
|
722
722
|
passFixtures: {
|
|
723
723
|
fixtureId: string;
|
|
@@ -733,8 +733,8 @@ declare const GraphTraversalCanonContractSchema: z.ZodObject<{
|
|
|
733
733
|
hasL1SourceGrounding: boolean;
|
|
734
734
|
preservesCompressionBoundary: boolean;
|
|
735
735
|
nodeLayersDeclared: boolean;
|
|
736
|
-
requestedDepth?: string | undefined;
|
|
737
736
|
traversalMode?: string | undefined;
|
|
737
|
+
requestedDepth?: string | undefined;
|
|
738
738
|
};
|
|
739
739
|
expectedDecision: "allow" | "lint_failure" | "migration_warning";
|
|
740
740
|
expectedViolationId?: "missing_traversal_mode_refused" | "missing_traversal_depth_refused" | "layerless_node_refused" | "illegal_edge_family_refused" | "l1_to_l3_shortcut_refused" | "l1_to_l4_shortcut_refused" | "l2_to_l4_shortcut_refused" | "missing_l2_evidence_bridge_refused" | "missing_l1_source_grounding_refused" | "compression_boundary_missing_refused" | undefined;
|
|
@@ -754,8 +754,8 @@ declare const GraphTraversalCanonContractSchema: z.ZodObject<{
|
|
|
754
754
|
hasL1SourceGrounding: boolean;
|
|
755
755
|
preservesCompressionBoundary: boolean;
|
|
756
756
|
nodeLayersDeclared: boolean;
|
|
757
|
-
requestedDepth?: string | undefined;
|
|
758
757
|
traversalMode?: string | undefined;
|
|
758
|
+
requestedDepth?: string | undefined;
|
|
759
759
|
};
|
|
760
760
|
expectedDecision: "allow" | "lint_failure" | "migration_warning";
|
|
761
761
|
expectedViolationId?: "missing_traversal_mode_refused" | "missing_traversal_depth_refused" | "layerless_node_refused" | "illegal_edge_family_refused" | "l1_to_l3_shortcut_refused" | "l1_to_l4_shortcut_refused" | "l2_to_l4_shortcut_refused" | "missing_l2_evidence_bridge_refused" | "missing_l1_source_grounding_refused" | "compression_boundary_missing_refused" | undefined;
|
|
@@ -775,8 +775,8 @@ declare const GraphTraversalCanonContractSchema: z.ZodObject<{
|
|
|
775
775
|
hasL1SourceGrounding: boolean;
|
|
776
776
|
preservesCompressionBoundary: boolean;
|
|
777
777
|
nodeLayersDeclared: boolean;
|
|
778
|
-
requestedDepth?: string | undefined;
|
|
779
778
|
traversalMode?: string | undefined;
|
|
779
|
+
requestedDepth?: string | undefined;
|
|
780
780
|
};
|
|
781
781
|
expectedDecision: "allow" | "lint_failure" | "migration_warning";
|
|
782
782
|
expectedViolationId?: "missing_traversal_mode_refused" | "missing_traversal_depth_refused" | "layerless_node_refused" | "illegal_edge_family_refused" | "l1_to_l3_shortcut_refused" | "l1_to_l4_shortcut_refused" | "l2_to_l4_shortcut_refused" | "missing_l2_evidence_bridge_refused" | "missing_l1_source_grounding_refused" | "compression_boundary_missing_refused" | undefined;
|
|
@@ -789,6 +789,15 @@ declare const GraphTraversalCanonContractSchema: z.ZodObject<{
|
|
|
789
789
|
answer: string;
|
|
790
790
|
};
|
|
791
791
|
}, {
|
|
792
|
+
quality: {
|
|
793
|
+
layerCoverage: 1;
|
|
794
|
+
allowedHopCoverage: 1;
|
|
795
|
+
shortcutLintCoverage: 1;
|
|
796
|
+
migrationWarningCoverage: 1;
|
|
797
|
+
compressionBoundaryCoverage: 1;
|
|
798
|
+
traversalModeBridgeCoverage: 1;
|
|
799
|
+
sourceGroundingCoverage: 1;
|
|
800
|
+
};
|
|
792
801
|
layerDefinitions: {
|
|
793
802
|
layer: "l1_source" | "l2_evidence" | "l3_reasoning" | "l4_output";
|
|
794
803
|
label: string;
|
|
@@ -812,22 +821,13 @@ declare const GraphTraversalCanonContractSchema: z.ZodObject<{
|
|
|
812
821
|
requiredAction: string;
|
|
813
822
|
warningId?: "legacy_illegal_edge_family_warning" | "legacy_l1_to_l3_shortcut_warning" | "legacy_l1_to_l4_shortcut_warning" | "legacy_l2_to_l4_shortcut_warning" | "legacy_missing_l2_evidence_bridge_warning" | "legacy_missing_l1_source_grounding_warning" | "legacy_compression_boundary_missing_warning" | undefined;
|
|
814
823
|
}[];
|
|
815
|
-
quality: {
|
|
816
|
-
layerCoverage: 1;
|
|
817
|
-
allowedHopCoverage: 1;
|
|
818
|
-
shortcutLintCoverage: 1;
|
|
819
|
-
migrationWarningCoverage: 1;
|
|
820
|
-
compressionBoundaryCoverage: 1;
|
|
821
|
-
traversalModeBridgeCoverage: 1;
|
|
822
|
-
sourceGroundingCoverage: 1;
|
|
823
|
-
};
|
|
824
824
|
modelVersion: "graph_traversal_canon_v1";
|
|
825
825
|
passFixtures: {
|
|
826
826
|
fixtureId: string;
|
|
827
827
|
candidate: {
|
|
828
828
|
context: "new_write" | "runtime_read" | "legacy_migration" | "graph_v2_cutover";
|
|
829
|
-
requestedDepth?: string | undefined;
|
|
830
829
|
traversalMode?: string | undefined;
|
|
830
|
+
requestedDepth?: string | undefined;
|
|
831
831
|
hops?: {
|
|
832
832
|
edgeType: string;
|
|
833
833
|
fromLayer: "l1_source" | "l2_evidence" | "l3_reasoning" | "l4_output";
|
|
@@ -847,8 +847,8 @@ declare const GraphTraversalCanonContractSchema: z.ZodObject<{
|
|
|
847
847
|
fixtureId: string;
|
|
848
848
|
candidate: {
|
|
849
849
|
context: "new_write" | "runtime_read" | "legacy_migration" | "graph_v2_cutover";
|
|
850
|
-
requestedDepth?: string | undefined;
|
|
851
850
|
traversalMode?: string | undefined;
|
|
851
|
+
requestedDepth?: string | undefined;
|
|
852
852
|
hops?: {
|
|
853
853
|
edgeType: string;
|
|
854
854
|
fromLayer: "l1_source" | "l2_evidence" | "l3_reasoning" | "l4_output";
|
|
@@ -868,8 +868,8 @@ declare const GraphTraversalCanonContractSchema: z.ZodObject<{
|
|
|
868
868
|
fixtureId: string;
|
|
869
869
|
candidate: {
|
|
870
870
|
context: "new_write" | "runtime_read" | "legacy_migration" | "graph_v2_cutover";
|
|
871
|
-
requestedDepth?: string | undefined;
|
|
872
871
|
traversalMode?: string | undefined;
|
|
872
|
+
requestedDepth?: string | undefined;
|
|
873
873
|
hops?: {
|
|
874
874
|
edgeType: string;
|
|
875
875
|
fromLayer: "l1_source" | "l2_evidence" | "l3_reasoning" | "l4_output";
|
|
@@ -894,14 +894,23 @@ declare const GraphTraversalCanonContractSchema: z.ZodObject<{
|
|
|
894
894
|
}>;
|
|
895
895
|
}, "strip", z.ZodTypeAny, {
|
|
896
896
|
worktree: "C2-LH.1";
|
|
897
|
-
lane: "c2-lh-constitution-tests";
|
|
898
897
|
contractVersion: "c2_lh_graph_traversal_canon.v1";
|
|
898
|
+
lane: "c2-lh-constitution-tests";
|
|
899
|
+
graphWorktreeId: "tn7b952axvm3kxwk0apsxc2b0x85rjc6";
|
|
900
|
+
compositionKey: "graph_traversal_canon_v1";
|
|
899
901
|
dependsOn: string[];
|
|
900
902
|
sourceAnchors: string[];
|
|
901
|
-
graphWorktreeId: "tn7b952axvm3kxwk0apsxc2b0x85rjc6";
|
|
902
903
|
rules: string[];
|
|
903
|
-
compositionKey: "graph_traversal_canon_v1";
|
|
904
904
|
model: {
|
|
905
|
+
quality: {
|
|
906
|
+
layerCoverage: 1;
|
|
907
|
+
allowedHopCoverage: 1;
|
|
908
|
+
shortcutLintCoverage: 1;
|
|
909
|
+
migrationWarningCoverage: 1;
|
|
910
|
+
compressionBoundaryCoverage: 1;
|
|
911
|
+
traversalModeBridgeCoverage: 1;
|
|
912
|
+
sourceGroundingCoverage: 1;
|
|
913
|
+
};
|
|
905
914
|
layerDefinitions: {
|
|
906
915
|
layer: "l1_source" | "l2_evidence" | "l3_reasoning" | "l4_output";
|
|
907
916
|
label: string;
|
|
@@ -925,15 +934,6 @@ declare const GraphTraversalCanonContractSchema: z.ZodObject<{
|
|
|
925
934
|
requiredAction: string;
|
|
926
935
|
warningId?: "legacy_illegal_edge_family_warning" | "legacy_l1_to_l3_shortcut_warning" | "legacy_l1_to_l4_shortcut_warning" | "legacy_l2_to_l4_shortcut_warning" | "legacy_missing_l2_evidence_bridge_warning" | "legacy_missing_l1_source_grounding_warning" | "legacy_compression_boundary_missing_warning" | undefined;
|
|
927
936
|
}[];
|
|
928
|
-
quality: {
|
|
929
|
-
layerCoverage: 1;
|
|
930
|
-
allowedHopCoverage: 1;
|
|
931
|
-
shortcutLintCoverage: 1;
|
|
932
|
-
migrationWarningCoverage: 1;
|
|
933
|
-
compressionBoundaryCoverage: 1;
|
|
934
|
-
traversalModeBridgeCoverage: 1;
|
|
935
|
-
sourceGroundingCoverage: 1;
|
|
936
|
-
};
|
|
937
937
|
modelVersion: "graph_traversal_canon_v1";
|
|
938
938
|
passFixtures: {
|
|
939
939
|
fixtureId: string;
|
|
@@ -949,8 +949,8 @@ declare const GraphTraversalCanonContractSchema: z.ZodObject<{
|
|
|
949
949
|
hasL1SourceGrounding: boolean;
|
|
950
950
|
preservesCompressionBoundary: boolean;
|
|
951
951
|
nodeLayersDeclared: boolean;
|
|
952
|
-
requestedDepth?: string | undefined;
|
|
953
952
|
traversalMode?: string | undefined;
|
|
953
|
+
requestedDepth?: string | undefined;
|
|
954
954
|
};
|
|
955
955
|
expectedDecision: "allow" | "lint_failure" | "migration_warning";
|
|
956
956
|
expectedViolationId?: "missing_traversal_mode_refused" | "missing_traversal_depth_refused" | "layerless_node_refused" | "illegal_edge_family_refused" | "l1_to_l3_shortcut_refused" | "l1_to_l4_shortcut_refused" | "l2_to_l4_shortcut_refused" | "missing_l2_evidence_bridge_refused" | "missing_l1_source_grounding_refused" | "compression_boundary_missing_refused" | undefined;
|
|
@@ -970,8 +970,8 @@ declare const GraphTraversalCanonContractSchema: z.ZodObject<{
|
|
|
970
970
|
hasL1SourceGrounding: boolean;
|
|
971
971
|
preservesCompressionBoundary: boolean;
|
|
972
972
|
nodeLayersDeclared: boolean;
|
|
973
|
-
requestedDepth?: string | undefined;
|
|
974
973
|
traversalMode?: string | undefined;
|
|
974
|
+
requestedDepth?: string | undefined;
|
|
975
975
|
};
|
|
976
976
|
expectedDecision: "allow" | "lint_failure" | "migration_warning";
|
|
977
977
|
expectedViolationId?: "missing_traversal_mode_refused" | "missing_traversal_depth_refused" | "layerless_node_refused" | "illegal_edge_family_refused" | "l1_to_l3_shortcut_refused" | "l1_to_l4_shortcut_refused" | "l2_to_l4_shortcut_refused" | "missing_l2_evidence_bridge_refused" | "missing_l1_source_grounding_refused" | "compression_boundary_missing_refused" | undefined;
|
|
@@ -991,8 +991,8 @@ declare const GraphTraversalCanonContractSchema: z.ZodObject<{
|
|
|
991
991
|
hasL1SourceGrounding: boolean;
|
|
992
992
|
preservesCompressionBoundary: boolean;
|
|
993
993
|
nodeLayersDeclared: boolean;
|
|
994
|
-
requestedDepth?: string | undefined;
|
|
995
994
|
traversalMode?: string | undefined;
|
|
995
|
+
requestedDepth?: string | undefined;
|
|
996
996
|
};
|
|
997
997
|
expectedDecision: "allow" | "lint_failure" | "migration_warning";
|
|
998
998
|
expectedViolationId?: "missing_traversal_mode_refused" | "missing_traversal_depth_refused" | "layerless_node_refused" | "illegal_edge_family_refused" | "l1_to_l3_shortcut_refused" | "l1_to_l4_shortcut_refused" | "l2_to_l4_shortcut_refused" | "missing_l2_evidence_bridge_refused" | "missing_l1_source_grounding_refused" | "compression_boundary_missing_refused" | undefined;
|
|
@@ -1007,14 +1007,23 @@ declare const GraphTraversalCanonContractSchema: z.ZodObject<{
|
|
|
1007
1007
|
};
|
|
1008
1008
|
}, {
|
|
1009
1009
|
worktree: "C2-LH.1";
|
|
1010
|
-
lane: "c2-lh-constitution-tests";
|
|
1011
1010
|
contractVersion: "c2_lh_graph_traversal_canon.v1";
|
|
1011
|
+
lane: "c2-lh-constitution-tests";
|
|
1012
|
+
graphWorktreeId: "tn7b952axvm3kxwk0apsxc2b0x85rjc6";
|
|
1013
|
+
compositionKey: "graph_traversal_canon_v1";
|
|
1012
1014
|
dependsOn: string[];
|
|
1013
1015
|
sourceAnchors: string[];
|
|
1014
|
-
graphWorktreeId: "tn7b952axvm3kxwk0apsxc2b0x85rjc6";
|
|
1015
1016
|
rules: string[];
|
|
1016
|
-
compositionKey: "graph_traversal_canon_v1";
|
|
1017
1017
|
model: {
|
|
1018
|
+
quality: {
|
|
1019
|
+
layerCoverage: 1;
|
|
1020
|
+
allowedHopCoverage: 1;
|
|
1021
|
+
shortcutLintCoverage: 1;
|
|
1022
|
+
migrationWarningCoverage: 1;
|
|
1023
|
+
compressionBoundaryCoverage: 1;
|
|
1024
|
+
traversalModeBridgeCoverage: 1;
|
|
1025
|
+
sourceGroundingCoverage: 1;
|
|
1026
|
+
};
|
|
1018
1027
|
layerDefinitions: {
|
|
1019
1028
|
layer: "l1_source" | "l2_evidence" | "l3_reasoning" | "l4_output";
|
|
1020
1029
|
label: string;
|
|
@@ -1038,22 +1047,13 @@ declare const GraphTraversalCanonContractSchema: z.ZodObject<{
|
|
|
1038
1047
|
requiredAction: string;
|
|
1039
1048
|
warningId?: "legacy_illegal_edge_family_warning" | "legacy_l1_to_l3_shortcut_warning" | "legacy_l1_to_l4_shortcut_warning" | "legacy_l2_to_l4_shortcut_warning" | "legacy_missing_l2_evidence_bridge_warning" | "legacy_missing_l1_source_grounding_warning" | "legacy_compression_boundary_missing_warning" | undefined;
|
|
1040
1049
|
}[];
|
|
1041
|
-
quality: {
|
|
1042
|
-
layerCoverage: 1;
|
|
1043
|
-
allowedHopCoverage: 1;
|
|
1044
|
-
shortcutLintCoverage: 1;
|
|
1045
|
-
migrationWarningCoverage: 1;
|
|
1046
|
-
compressionBoundaryCoverage: 1;
|
|
1047
|
-
traversalModeBridgeCoverage: 1;
|
|
1048
|
-
sourceGroundingCoverage: 1;
|
|
1049
|
-
};
|
|
1050
1050
|
modelVersion: "graph_traversal_canon_v1";
|
|
1051
1051
|
passFixtures: {
|
|
1052
1052
|
fixtureId: string;
|
|
1053
1053
|
candidate: {
|
|
1054
1054
|
context: "new_write" | "runtime_read" | "legacy_migration" | "graph_v2_cutover";
|
|
1055
|
-
requestedDepth?: string | undefined;
|
|
1056
1055
|
traversalMode?: string | undefined;
|
|
1056
|
+
requestedDepth?: string | undefined;
|
|
1057
1057
|
hops?: {
|
|
1058
1058
|
edgeType: string;
|
|
1059
1059
|
fromLayer: "l1_source" | "l2_evidence" | "l3_reasoning" | "l4_output";
|
|
@@ -1073,8 +1073,8 @@ declare const GraphTraversalCanonContractSchema: z.ZodObject<{
|
|
|
1073
1073
|
fixtureId: string;
|
|
1074
1074
|
candidate: {
|
|
1075
1075
|
context: "new_write" | "runtime_read" | "legacy_migration" | "graph_v2_cutover";
|
|
1076
|
-
requestedDepth?: string | undefined;
|
|
1077
1076
|
traversalMode?: string | undefined;
|
|
1077
|
+
requestedDepth?: string | undefined;
|
|
1078
1078
|
hops?: {
|
|
1079
1079
|
edgeType: string;
|
|
1080
1080
|
fromLayer: "l1_source" | "l2_evidence" | "l3_reasoning" | "l4_output";
|
|
@@ -1094,8 +1094,8 @@ declare const GraphTraversalCanonContractSchema: z.ZodObject<{
|
|
|
1094
1094
|
fixtureId: string;
|
|
1095
1095
|
candidate: {
|
|
1096
1096
|
context: "new_write" | "runtime_read" | "legacy_migration" | "graph_v2_cutover";
|
|
1097
|
-
requestedDepth?: string | undefined;
|
|
1098
1097
|
traversalMode?: string | undefined;
|
|
1098
|
+
requestedDepth?: string | undefined;
|
|
1099
1099
|
hops?: {
|
|
1100
1100
|
edgeType: string;
|
|
1101
1101
|
fromLayer: "l1_source" | "l2_evidence" | "l3_reasoning" | "l4_output";
|
|
@@ -1137,14 +1137,23 @@ declare function evaluateGraphTraversalCanonCandidate(candidate: GraphTraversalC
|
|
|
1137
1137
|
declare const GRAPH_TRAVERSAL_CANON_CONTRACT: GraphTraversalCanonContract;
|
|
1138
1138
|
declare const parsedGraphTraversalCanonContract: {
|
|
1139
1139
|
worktree: "C2-LH.1";
|
|
1140
|
-
lane: "c2-lh-constitution-tests";
|
|
1141
1140
|
contractVersion: "c2_lh_graph_traversal_canon.v1";
|
|
1141
|
+
lane: "c2-lh-constitution-tests";
|
|
1142
|
+
graphWorktreeId: "tn7b952axvm3kxwk0apsxc2b0x85rjc6";
|
|
1143
|
+
compositionKey: "graph_traversal_canon_v1";
|
|
1142
1144
|
dependsOn: string[];
|
|
1143
1145
|
sourceAnchors: string[];
|
|
1144
|
-
graphWorktreeId: "tn7b952axvm3kxwk0apsxc2b0x85rjc6";
|
|
1145
1146
|
rules: string[];
|
|
1146
|
-
compositionKey: "graph_traversal_canon_v1";
|
|
1147
1147
|
model: {
|
|
1148
|
+
quality: {
|
|
1149
|
+
layerCoverage: 1;
|
|
1150
|
+
allowedHopCoverage: 1;
|
|
1151
|
+
shortcutLintCoverage: 1;
|
|
1152
|
+
migrationWarningCoverage: 1;
|
|
1153
|
+
compressionBoundaryCoverage: 1;
|
|
1154
|
+
traversalModeBridgeCoverage: 1;
|
|
1155
|
+
sourceGroundingCoverage: 1;
|
|
1156
|
+
};
|
|
1148
1157
|
layerDefinitions: {
|
|
1149
1158
|
layer: "l1_source" | "l2_evidence" | "l3_reasoning" | "l4_output";
|
|
1150
1159
|
label: string;
|
|
@@ -1168,15 +1177,6 @@ declare const parsedGraphTraversalCanonContract: {
|
|
|
1168
1177
|
requiredAction: string;
|
|
1169
1178
|
warningId?: "legacy_illegal_edge_family_warning" | "legacy_l1_to_l3_shortcut_warning" | "legacy_l1_to_l4_shortcut_warning" | "legacy_l2_to_l4_shortcut_warning" | "legacy_missing_l2_evidence_bridge_warning" | "legacy_missing_l1_source_grounding_warning" | "legacy_compression_boundary_missing_warning" | undefined;
|
|
1170
1179
|
}[];
|
|
1171
|
-
quality: {
|
|
1172
|
-
layerCoverage: 1;
|
|
1173
|
-
allowedHopCoverage: 1;
|
|
1174
|
-
shortcutLintCoverage: 1;
|
|
1175
|
-
migrationWarningCoverage: 1;
|
|
1176
|
-
compressionBoundaryCoverage: 1;
|
|
1177
|
-
traversalModeBridgeCoverage: 1;
|
|
1178
|
-
sourceGroundingCoverage: 1;
|
|
1179
|
-
};
|
|
1180
1180
|
modelVersion: "graph_traversal_canon_v1";
|
|
1181
1181
|
passFixtures: {
|
|
1182
1182
|
fixtureId: string;
|
|
@@ -1192,8 +1192,8 @@ declare const parsedGraphTraversalCanonContract: {
|
|
|
1192
1192
|
hasL1SourceGrounding: boolean;
|
|
1193
1193
|
preservesCompressionBoundary: boolean;
|
|
1194
1194
|
nodeLayersDeclared: boolean;
|
|
1195
|
-
requestedDepth?: string | undefined;
|
|
1196
1195
|
traversalMode?: string | undefined;
|
|
1196
|
+
requestedDepth?: string | undefined;
|
|
1197
1197
|
};
|
|
1198
1198
|
expectedDecision: "allow" | "lint_failure" | "migration_warning";
|
|
1199
1199
|
expectedViolationId?: "missing_traversal_mode_refused" | "missing_traversal_depth_refused" | "layerless_node_refused" | "illegal_edge_family_refused" | "l1_to_l3_shortcut_refused" | "l1_to_l4_shortcut_refused" | "l2_to_l4_shortcut_refused" | "missing_l2_evidence_bridge_refused" | "missing_l1_source_grounding_refused" | "compression_boundary_missing_refused" | undefined;
|
|
@@ -1213,8 +1213,8 @@ declare const parsedGraphTraversalCanonContract: {
|
|
|
1213
1213
|
hasL1SourceGrounding: boolean;
|
|
1214
1214
|
preservesCompressionBoundary: boolean;
|
|
1215
1215
|
nodeLayersDeclared: boolean;
|
|
1216
|
-
requestedDepth?: string | undefined;
|
|
1217
1216
|
traversalMode?: string | undefined;
|
|
1217
|
+
requestedDepth?: string | undefined;
|
|
1218
1218
|
};
|
|
1219
1219
|
expectedDecision: "allow" | "lint_failure" | "migration_warning";
|
|
1220
1220
|
expectedViolationId?: "missing_traversal_mode_refused" | "missing_traversal_depth_refused" | "layerless_node_refused" | "illegal_edge_family_refused" | "l1_to_l3_shortcut_refused" | "l1_to_l4_shortcut_refused" | "l2_to_l4_shortcut_refused" | "missing_l2_evidence_bridge_refused" | "missing_l1_source_grounding_refused" | "compression_boundary_missing_refused" | undefined;
|
|
@@ -1234,8 +1234,8 @@ declare const parsedGraphTraversalCanonContract: {
|
|
|
1234
1234
|
hasL1SourceGrounding: boolean;
|
|
1235
1235
|
preservesCompressionBoundary: boolean;
|
|
1236
1236
|
nodeLayersDeclared: boolean;
|
|
1237
|
-
requestedDepth?: string | undefined;
|
|
1238
1237
|
traversalMode?: string | undefined;
|
|
1238
|
+
requestedDepth?: string | undefined;
|
|
1239
1239
|
};
|
|
1240
1240
|
expectedDecision: "allow" | "lint_failure" | "migration_warning";
|
|
1241
1241
|
expectedViolationId?: "missing_traversal_mode_refused" | "missing_traversal_depth_refused" | "layerless_node_refused" | "illegal_edge_family_refused" | "l1_to_l3_shortcut_refused" | "l1_to_l4_shortcut_refused" | "l2_to_l4_shortcut_refused" | "missing_l2_evidence_bridge_refused" | "missing_l1_source_grounding_refused" | "compression_boundary_missing_refused" | undefined;
|
|
@@ -1262,10 +1262,10 @@ declare const GRAPH_TRAVERSAL_CANON_COMPOSITION_ROW: {
|
|
|
1262
1262
|
allowedDepths: ("low" | "medium" | "high" | "extra-high")[];
|
|
1263
1263
|
qualityVector: string[];
|
|
1264
1264
|
identity: {
|
|
1265
|
+
registryKeyField: "key";
|
|
1265
1266
|
canonicalPublicIdField: "compositionUuid";
|
|
1266
1267
|
canonicalPublicIdVersion: "uuidv7";
|
|
1267
1268
|
storageLocatorSemantic: false;
|
|
1268
|
-
registryKeyField: "key";
|
|
1269
1269
|
contentAddressFields: string[];
|
|
1270
1270
|
};
|
|
1271
1271
|
authorization: {
|
|
@@ -1304,10 +1304,10 @@ declare const GRAPH_TRAVERSAL_CANON_COMPOSITION_ROW: {
|
|
|
1304
1304
|
allowedDepths: ("medium" | "high" | "extra-high")[];
|
|
1305
1305
|
qualityVector: string[];
|
|
1306
1306
|
identity: {
|
|
1307
|
+
registryKeyField: "key";
|
|
1307
1308
|
canonicalPublicIdField: "compositionUuid";
|
|
1308
1309
|
canonicalPublicIdVersion: "uuidv7";
|
|
1309
1310
|
storageLocatorSemantic: false;
|
|
1310
|
-
registryKeyField: "key";
|
|
1311
1311
|
contentAddressFields: string[];
|
|
1312
1312
|
};
|
|
1313
1313
|
authorization: {
|
|
@@ -1346,10 +1346,10 @@ declare const GRAPH_TRAVERSAL_CANON_COMPOSITION_ROW: {
|
|
|
1346
1346
|
allowedDepths: ("low" | "medium" | "high" | "extra-high")[];
|
|
1347
1347
|
qualityVector: string[];
|
|
1348
1348
|
identity: {
|
|
1349
|
+
registryKeyField: "key";
|
|
1349
1350
|
canonicalPublicIdField: "compositionUuid";
|
|
1350
1351
|
canonicalPublicIdVersion: "uuidv7";
|
|
1351
1352
|
storageLocatorSemantic: false;
|
|
1352
|
-
registryKeyField: "key";
|
|
1353
1353
|
contentAddressFields: string[];
|
|
1354
1354
|
};
|
|
1355
1355
|
authorization: {
|
|
@@ -1388,10 +1388,10 @@ declare const GRAPH_TRAVERSAL_CANON_COMPOSITION_ROW: {
|
|
|
1388
1388
|
allowedDepths: ("low" | "medium" | "high" | "extra-high")[];
|
|
1389
1389
|
qualityVector: string[];
|
|
1390
1390
|
identity: {
|
|
1391
|
+
registryKeyField: "key";
|
|
1391
1392
|
canonicalPublicIdField: "compositionUuid";
|
|
1392
1393
|
canonicalPublicIdVersion: "uuidv7";
|
|
1393
1394
|
storageLocatorSemantic: false;
|
|
1394
|
-
registryKeyField: "key";
|
|
1395
1395
|
contentAddressFields: string[];
|
|
1396
1396
|
};
|
|
1397
1397
|
authorization: {
|
|
@@ -1421,19 +1421,19 @@ declare const GRAPH_TRAVERSAL_CANON_COMPOSITION_ROW: {
|
|
|
1421
1421
|
key: string;
|
|
1422
1422
|
emittedAs: string;
|
|
1423
1423
|
classification: "substrate_contract";
|
|
1424
|
-
lifecycle: "
|
|
1424
|
+
lifecycle: "reserved";
|
|
1425
1425
|
ownerLane: string;
|
|
1426
1426
|
dependsOn: string[];
|
|
1427
1427
|
primitives: string[];
|
|
1428
1428
|
sourceSurfaces: string[];
|
|
1429
1429
|
defaultDepth: "extra-high";
|
|
1430
|
-
allowedDepths: ("
|
|
1430
|
+
allowedDepths: ("high" | "extra-high")[];
|
|
1431
1431
|
qualityVector: string[];
|
|
1432
1432
|
identity: {
|
|
1433
|
+
registryKeyField: "key";
|
|
1433
1434
|
canonicalPublicIdField: "compositionUuid";
|
|
1434
1435
|
canonicalPublicIdVersion: "uuidv7";
|
|
1435
1436
|
storageLocatorSemantic: false;
|
|
1436
|
-
registryKeyField: "key";
|
|
1437
1437
|
contentAddressFields: string[];
|
|
1438
1438
|
};
|
|
1439
1439
|
authorization: {
|
|
@@ -1468,14 +1468,14 @@ declare const GRAPH_TRAVERSAL_CANON_COMPOSITION_ROW: {
|
|
|
1468
1468
|
dependsOn: string[];
|
|
1469
1469
|
primitives: string[];
|
|
1470
1470
|
sourceSurfaces: string[];
|
|
1471
|
-
defaultDepth: "
|
|
1472
|
-
allowedDepths: ("high" | "extra-high")[];
|
|
1471
|
+
defaultDepth: "high";
|
|
1472
|
+
allowedDepths: ("medium" | "high" | "extra-high")[];
|
|
1473
1473
|
qualityVector: string[];
|
|
1474
1474
|
identity: {
|
|
1475
|
+
registryKeyField: "key";
|
|
1475
1476
|
canonicalPublicIdField: "compositionUuid";
|
|
1476
1477
|
canonicalPublicIdVersion: "uuidv7";
|
|
1477
1478
|
storageLocatorSemantic: false;
|
|
1478
|
-
registryKeyField: "key";
|
|
1479
1479
|
contentAddressFields: string[];
|
|
1480
1480
|
};
|
|
1481
1481
|
authorization: {
|
|
@@ -1505,19 +1505,19 @@ declare const GRAPH_TRAVERSAL_CANON_COMPOSITION_ROW: {
|
|
|
1505
1505
|
key: string;
|
|
1506
1506
|
emittedAs: string;
|
|
1507
1507
|
classification: "substrate_contract";
|
|
1508
|
-
lifecycle: "
|
|
1508
|
+
lifecycle: "current";
|
|
1509
1509
|
ownerLane: string;
|
|
1510
1510
|
dependsOn: string[];
|
|
1511
1511
|
primitives: string[];
|
|
1512
1512
|
sourceSurfaces: string[];
|
|
1513
|
-
defaultDepth: "high";
|
|
1514
|
-
allowedDepths: ("medium" | "high" | "extra-high")[];
|
|
1513
|
+
defaultDepth: "extra-high";
|
|
1514
|
+
allowedDepths: ("low" | "medium" | "high" | "extra-high")[];
|
|
1515
1515
|
qualityVector: string[];
|
|
1516
1516
|
identity: {
|
|
1517
|
+
registryKeyField: "key";
|
|
1517
1518
|
canonicalPublicIdField: "compositionUuid";
|
|
1518
1519
|
canonicalPublicIdVersion: "uuidv7";
|
|
1519
1520
|
storageLocatorSemantic: false;
|
|
1520
|
-
registryKeyField: "key";
|
|
1521
1521
|
contentAddressFields: string[];
|
|
1522
1522
|
};
|
|
1523
1523
|
authorization: {
|