@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.
Files changed (78) hide show
  1. package/CHANGELOG.md +4 -0
  2. package/dist/assembly-acceptance-gate.contract.d.ts +1234 -1234
  3. package/dist/assembly-instrumentation.contract.d.ts +413 -413
  4. package/dist/belongs-to-membership-model.contract.d.ts +45 -45
  5. package/dist/campaign-context-compiler.contract.d.ts +87 -87
  6. package/dist/canonical-edge-public-noun-lock.contract.d.ts +106 -106
  7. package/dist/concept-maturity-rubric.contract.d.ts +131 -131
  8. package/dist/docs-canon-reconciliation-loop.contract.d.ts +37 -37
  9. package/dist/{edge-policy-manifest-Bg3B5G0u.d.ts → edge-policy-manifest-C38kuf7v.d.ts} +26 -26
  10. package/dist/evidence-question-forecast-maturity.contract.d.ts +76 -76
  11. package/dist/evidence-taxonomy-target-scope.contract.d.ts +61 -61
  12. package/dist/final-substrate-source-ledger.contract.d.ts +149 -149
  13. package/dist/function-registry/helpers.d.ts +1 -1
  14. package/dist/function-registry/index.d.ts +11 -11
  15. package/dist/generated/state-vector-transition-table.d.ts +1 -1
  16. package/dist/golden-reasoning-eval-harness.contract.d.ts +2178 -2178
  17. package/dist/graph-traversal-canon.contract.d.ts +121 -121
  18. package/dist/graph-traversal-invariant-guardrails.contract.d.ts +68 -68
  19. package/dist/graph-v2-write-policy-constitution.contract.d.ts +219 -219
  20. package/dist/heartbeat-property-validation.contract.d.ts +86 -86
  21. package/dist/index.d.ts +2 -2
  22. package/dist/manifest-projection-generation.contract.d.ts +34 -34
  23. package/dist/manifests/check-manifest.d.ts +12 -12
  24. package/dist/manifests/edge-policy-manifest.d.ts +1 -1
  25. package/dist/manifests/edge-policy-manifest.data.d.ts +3 -3
  26. package/dist/manifests/invariant-manifest.d.ts +6 -6
  27. package/dist/observability-audit-store-migration.contract.d.ts +110 -110
  28. package/dist/parsimony-diagnostic.contract.d.ts +328 -328
  29. package/dist/post-substrate-surface-lock.contract.d.ts +48 -48
  30. package/dist/post-substrate-surface-upgrade.contract.d.ts +82 -82
  31. package/dist/pre-rebuild-closeout-gate.contract.d.ts +153 -153
  32. package/dist/primitive-epistemic-state-constitution.contract.d.ts +34 -34
  33. package/dist/primitive-epistemic-state-constitution.data.d.ts +1 -1
  34. package/dist/primitive-maturity-matrix.contract.d.ts +100 -100
  35. package/dist/prior-art-vocabulary-firewall.contract.d.ts +19 -19
  36. package/dist/projections/create-evidence.projection.d.ts +36 -36
  37. package/dist/projections/index.d.ts +7 -7
  38. package/dist/projections/list-beliefs.projection.d.ts +3 -3
  39. package/dist/proof-attestation.json +1 -1
  40. package/dist/propagation-v2-contract.contract.d.ts +74 -74
  41. package/dist/published-belief-artifact.contract.d.ts +325 -325
  42. package/dist/reset-authorization-package.contract.d.ts +84 -84
  43. package/dist/retrieval-search-discovery-receipt.contract.d.ts +288 -288
  44. package/dist/schema-change-belief.contract.d.ts +179 -179
  45. package/dist/schemas/component-table-manifest.d.ts +8 -8
  46. package/dist/schemas/manifest.d.ts +580 -580
  47. package/dist/schemas/tables/kernel/epistemic.d.ts +2 -2
  48. package/dist/schemas/tables/kernel/intelligence.d.ts +16 -16
  49. package/dist/schemas/tables/kernel/lens.d.ts +10 -10
  50. package/dist/schemas/tables/kernel/platform.d.ts +14 -14
  51. package/dist/schemas/tables/kernel/task.d.ts +26 -26
  52. package/dist/schemas/tables/kernel/worktree.d.ts +18 -18
  53. package/dist/schemas/tables/mc/identity.d.ts +2 -2
  54. package/dist/schemas/tables/mc/methodology.d.ts +2 -2
  55. package/dist/schemas/tables/mc/pack.d.ts +24 -24
  56. package/dist/schemas/tables/mc/runtime.d.ts +2 -2
  57. package/dist/slice-serialization.contract.d.ts +1325 -1325
  58. package/dist/source-material-adoption-ledger.contract.d.ts +250 -250
  59. package/dist/source-material-total-partition.contract.d.ts +254 -254
  60. package/dist/state-vector-manifest.contract.d.ts +83 -83
  61. package/dist/state-vector-manifest.data.contract.d.ts +1 -1
  62. package/dist/state-vector-runtime.contract.d.ts +28 -28
  63. package/dist/substrate-envelope.contract.d.ts +117 -117
  64. package/dist/substrate-lifecycle-lineage.contract.d.ts +30 -30
  65. package/dist/substrate-migration-cutover-ledger.contract.d.ts +13 -13
  66. package/dist/substrate-neo4j-projection.contract.d.ts +179 -179
  67. package/dist/transition-receipt.contract.d.ts +543 -543
  68. package/dist/traversal-mode-constitution.contract.d.ts +123 -123
  69. package/dist/typed-gate-registry.contract.d.ts +61 -61
  70. package/dist/typed-need.contract.d.ts +248 -248
  71. package/dist/{unified-state-matrix.contract-BJDYNhnf.d.ts → unified-state-matrix.contract-BTxqLggA.d.ts} +96 -96
  72. package/dist/unified-state-matrix.contract.d.ts +1 -1
  73. package/dist/unified-state-matrix.data.contract.d.ts +1 -1
  74. package/dist/workspace-data-sovereignty.contract.d.ts +114 -114
  75. package/dist/worktree-belief-adoption.contract.d.ts +91 -91
  76. package/dist/worktree-delta-ledger.contract.d.ts +124 -124
  77. package/dist/worktree-graph-branch-maturity.contract.d.ts +63 -63
  78. package/package.json +1 -1
@@ -123,7 +123,7 @@ declare const WorktreeDeltaLedgerEventSchema: z.ZodObject<{
123
123
  }, "strip", z.ZodTypeAny, {
124
124
  worktreeUuid: string;
125
125
  sourceHorizonRefs: string[];
126
- subjectKind: "topic" | "edge" | "belief" | "question" | "evidence" | "worktree";
126
+ subjectKind: "topic" | "belief" | "question" | "evidence" | "worktree" | "edge";
127
127
  subjectUuid: string;
128
128
  scopeRefUuid: string;
129
129
  payload: Record<string, unknown>;
@@ -144,7 +144,7 @@ declare const WorktreeDeltaLedgerEventSchema: z.ZodObject<{
144
144
  }, {
145
145
  worktreeUuid: string;
146
146
  sourceHorizonRefs: string[];
147
- subjectKind: "topic" | "edge" | "belief" | "question" | "evidence" | "worktree";
147
+ subjectKind: "topic" | "belief" | "question" | "evidence" | "worktree" | "edge";
148
148
  subjectUuid: string;
149
149
  scopeRefUuid: string;
150
150
  payload: Record<string, unknown>;
@@ -202,9 +202,9 @@ declare const WorktreeGraphConflictSchema: z.ZodObject<{
202
202
  disposition: z.ZodEnum<["refuse", "require_review", "auto_merge"]>;
203
203
  requiredEvidenceRefs: z.ZodArray<z.ZodString, "many">;
204
204
  }, "strip", z.ZodTypeAny, {
205
- disposition: "refuse" | "require_review" | "auto_merge";
206
205
  subjectUuid: string;
207
206
  scopeRefUuid: string;
207
+ disposition: "refuse" | "require_review" | "auto_merge";
208
208
  conflictUuid: string;
209
209
  conflictType: "same_node_concurrent_update" | "edge_divergence" | "confidence_delta_conflict" | "question_resolution_conflict" | "topic_scope_conflict" | "delete_vs_update" | "policy_scope_conflict";
210
210
  basisRevision: string;
@@ -212,9 +212,9 @@ declare const WorktreeGraphConflictSchema: z.ZodObject<{
212
212
  attemptedBranchRevision: string;
213
213
  requiredEvidenceRefs: string[];
214
214
  }, {
215
- disposition: "refuse" | "require_review" | "auto_merge";
216
215
  subjectUuid: string;
217
216
  scopeRefUuid: string;
217
+ disposition: "refuse" | "require_review" | "auto_merge";
218
218
  conflictUuid: string;
219
219
  conflictType: "same_node_concurrent_update" | "edge_divergence" | "confidence_delta_conflict" | "question_resolution_conflict" | "topic_scope_conflict" | "delete_vs_update" | "policy_scope_conflict";
220
220
  basisRevision: string;
@@ -270,9 +270,9 @@ declare const GraphDiffSchema: z.ZodEffects<z.ZodObject<{
270
270
  disposition: z.ZodEnum<["refuse", "require_review", "auto_merge"]>;
271
271
  requiredEvidenceRefs: z.ZodArray<z.ZodString, "many">;
272
272
  }, "strip", z.ZodTypeAny, {
273
- disposition: "refuse" | "require_review" | "auto_merge";
274
273
  subjectUuid: string;
275
274
  scopeRefUuid: string;
275
+ disposition: "refuse" | "require_review" | "auto_merge";
276
276
  conflictUuid: string;
277
277
  conflictType: "same_node_concurrent_update" | "edge_divergence" | "confidence_delta_conflict" | "question_resolution_conflict" | "topic_scope_conflict" | "delete_vs_update" | "policy_scope_conflict";
278
278
  basisRevision: string;
@@ -280,9 +280,9 @@ declare const GraphDiffSchema: z.ZodEffects<z.ZodObject<{
280
280
  attemptedBranchRevision: string;
281
281
  requiredEvidenceRefs: string[];
282
282
  }, {
283
- disposition: "refuse" | "require_review" | "auto_merge";
284
283
  subjectUuid: string;
285
284
  scopeRefUuid: string;
285
+ disposition: "refuse" | "require_review" | "auto_merge";
286
286
  conflictUuid: string;
287
287
  conflictType: "same_node_concurrent_update" | "edge_divergence" | "confidence_delta_conflict" | "question_resolution_conflict" | "topic_scope_conflict" | "delete_vs_update" | "policy_scope_conflict";
288
288
  basisRevision: string;
@@ -308,9 +308,9 @@ declare const GraphDiffSchema: z.ZodEffects<z.ZodObject<{
308
308
  basisGraphRevision: string;
309
309
  ledgerEventUuids: string[];
310
310
  conflicts: {
311
- disposition: "refuse" | "require_review" | "auto_merge";
312
311
  subjectUuid: string;
313
312
  scopeRefUuid: string;
313
+ disposition: "refuse" | "require_review" | "auto_merge";
314
314
  conflictUuid: string;
315
315
  conflictType: "same_node_concurrent_update" | "edge_divergence" | "confidence_delta_conflict" | "question_resolution_conflict" | "topic_scope_conflict" | "delete_vs_update" | "policy_scope_conflict";
316
316
  basisRevision: string;
@@ -346,9 +346,9 @@ declare const GraphDiffSchema: z.ZodEffects<z.ZodObject<{
346
346
  emittedByActorUuid: string;
347
347
  mergeAllowed: boolean;
348
348
  conflicts?: {
349
- disposition: "refuse" | "require_review" | "auto_merge";
350
349
  subjectUuid: string;
351
350
  scopeRefUuid: string;
351
+ disposition: "refuse" | "require_review" | "auto_merge";
352
352
  conflictUuid: string;
353
353
  conflictType: "same_node_concurrent_update" | "edge_divergence" | "confidence_delta_conflict" | "question_resolution_conflict" | "topic_scope_conflict" | "delete_vs_update" | "policy_scope_conflict";
354
354
  basisRevision: string;
@@ -372,9 +372,9 @@ declare const GraphDiffSchema: z.ZodEffects<z.ZodObject<{
372
372
  basisGraphRevision: string;
373
373
  ledgerEventUuids: string[];
374
374
  conflicts: {
375
- disposition: "refuse" | "require_review" | "auto_merge";
376
375
  subjectUuid: string;
377
376
  scopeRefUuid: string;
377
+ disposition: "refuse" | "require_review" | "auto_merge";
378
378
  conflictUuid: string;
379
379
  conflictType: "same_node_concurrent_update" | "edge_divergence" | "confidence_delta_conflict" | "question_resolution_conflict" | "topic_scope_conflict" | "delete_vs_update" | "policy_scope_conflict";
380
380
  basisRevision: string;
@@ -410,9 +410,9 @@ declare const GraphDiffSchema: z.ZodEffects<z.ZodObject<{
410
410
  emittedByActorUuid: string;
411
411
  mergeAllowed: boolean;
412
412
  conflicts?: {
413
- disposition: "refuse" | "require_review" | "auto_merge";
414
413
  subjectUuid: string;
415
414
  scopeRefUuid: string;
415
+ disposition: "refuse" | "require_review" | "auto_merge";
416
416
  conflictUuid: string;
417
417
  conflictType: "same_node_concurrent_update" | "edge_divergence" | "confidence_delta_conflict" | "question_resolution_conflict" | "topic_scope_conflict" | "delete_vs_update" | "policy_scope_conflict";
418
418
  basisRevision: string;
@@ -563,7 +563,7 @@ declare const WorktreeDeltaLedgerContractSchema: z.ZodObject<{
563
563
  }, "strip", z.ZodTypeAny, {
564
564
  worktreeUuid: string;
565
565
  sourceHorizonRefs: string[];
566
- subjectKind: "topic" | "edge" | "belief" | "question" | "evidence" | "worktree";
566
+ subjectKind: "topic" | "belief" | "question" | "evidence" | "worktree" | "edge";
567
567
  subjectUuid: string;
568
568
  scopeRefUuid: string;
569
569
  payload: Record<string, unknown>;
@@ -584,7 +584,7 @@ declare const WorktreeDeltaLedgerContractSchema: z.ZodObject<{
584
584
  }, {
585
585
  worktreeUuid: string;
586
586
  sourceHorizonRefs: string[];
587
- subjectKind: "topic" | "edge" | "belief" | "question" | "evidence" | "worktree";
587
+ subjectKind: "topic" | "belief" | "question" | "evidence" | "worktree" | "edge";
588
588
  subjectUuid: string;
589
589
  scopeRefUuid: string;
590
590
  payload: Record<string, unknown>;
@@ -651,9 +651,9 @@ declare const WorktreeDeltaLedgerContractSchema: z.ZodObject<{
651
651
  disposition: z.ZodEnum<["refuse", "require_review", "auto_merge"]>;
652
652
  requiredEvidenceRefs: z.ZodArray<z.ZodString, "many">;
653
653
  }, "strip", z.ZodTypeAny, {
654
- disposition: "refuse" | "require_review" | "auto_merge";
655
654
  subjectUuid: string;
656
655
  scopeRefUuid: string;
656
+ disposition: "refuse" | "require_review" | "auto_merge";
657
657
  conflictUuid: string;
658
658
  conflictType: "same_node_concurrent_update" | "edge_divergence" | "confidence_delta_conflict" | "question_resolution_conflict" | "topic_scope_conflict" | "delete_vs_update" | "policy_scope_conflict";
659
659
  basisRevision: string;
@@ -661,9 +661,9 @@ declare const WorktreeDeltaLedgerContractSchema: z.ZodObject<{
661
661
  attemptedBranchRevision: string;
662
662
  requiredEvidenceRefs: string[];
663
663
  }, {
664
- disposition: "refuse" | "require_review" | "auto_merge";
665
664
  subjectUuid: string;
666
665
  scopeRefUuid: string;
666
+ disposition: "refuse" | "require_review" | "auto_merge";
667
667
  conflictUuid: string;
668
668
  conflictType: "same_node_concurrent_update" | "edge_divergence" | "confidence_delta_conflict" | "question_resolution_conflict" | "topic_scope_conflict" | "delete_vs_update" | "policy_scope_conflict";
669
669
  basisRevision: string;
@@ -689,9 +689,9 @@ declare const WorktreeDeltaLedgerContractSchema: z.ZodObject<{
689
689
  basisGraphRevision: string;
690
690
  ledgerEventUuids: string[];
691
691
  conflicts: {
692
- disposition: "refuse" | "require_review" | "auto_merge";
693
692
  subjectUuid: string;
694
693
  scopeRefUuid: string;
694
+ disposition: "refuse" | "require_review" | "auto_merge";
695
695
  conflictUuid: string;
696
696
  conflictType: "same_node_concurrent_update" | "edge_divergence" | "confidence_delta_conflict" | "question_resolution_conflict" | "topic_scope_conflict" | "delete_vs_update" | "policy_scope_conflict";
697
697
  basisRevision: string;
@@ -727,9 +727,9 @@ declare const WorktreeDeltaLedgerContractSchema: z.ZodObject<{
727
727
  emittedByActorUuid: string;
728
728
  mergeAllowed: boolean;
729
729
  conflicts?: {
730
- disposition: "refuse" | "require_review" | "auto_merge";
731
730
  subjectUuid: string;
732
731
  scopeRefUuid: string;
732
+ disposition: "refuse" | "require_review" | "auto_merge";
733
733
  conflictUuid: string;
734
734
  conflictType: "same_node_concurrent_update" | "edge_divergence" | "confidence_delta_conflict" | "question_resolution_conflict" | "topic_scope_conflict" | "delete_vs_update" | "policy_scope_conflict";
735
735
  basisRevision: string;
@@ -753,9 +753,9 @@ declare const WorktreeDeltaLedgerContractSchema: z.ZodObject<{
753
753
  basisGraphRevision: string;
754
754
  ledgerEventUuids: string[];
755
755
  conflicts: {
756
- disposition: "refuse" | "require_review" | "auto_merge";
757
756
  subjectUuid: string;
758
757
  scopeRefUuid: string;
758
+ disposition: "refuse" | "require_review" | "auto_merge";
759
759
  conflictUuid: string;
760
760
  conflictType: "same_node_concurrent_update" | "edge_divergence" | "confidence_delta_conflict" | "question_resolution_conflict" | "topic_scope_conflict" | "delete_vs_update" | "policy_scope_conflict";
761
761
  basisRevision: string;
@@ -791,9 +791,9 @@ declare const WorktreeDeltaLedgerContractSchema: z.ZodObject<{
791
791
  emittedByActorUuid: string;
792
792
  mergeAllowed: boolean;
793
793
  conflicts?: {
794
- disposition: "refuse" | "require_review" | "auto_merge";
795
794
  subjectUuid: string;
796
795
  scopeRefUuid: string;
796
+ disposition: "refuse" | "require_review" | "auto_merge";
797
797
  conflictUuid: string;
798
798
  conflictType: "same_node_concurrent_update" | "edge_divergence" | "confidence_delta_conflict" | "question_resolution_conflict" | "topic_scope_conflict" | "delete_vs_update" | "policy_scope_conflict";
799
799
  basisRevision: string;
@@ -850,9 +850,9 @@ declare const WorktreeDeltaLedgerContractSchema: z.ZodObject<{
850
850
  disposition: z.ZodEnum<["refuse", "require_review", "auto_merge"]>;
851
851
  requiredEvidenceRefs: z.ZodArray<z.ZodString, "many">;
852
852
  }, "strip", z.ZodTypeAny, {
853
- disposition: "refuse" | "require_review" | "auto_merge";
854
853
  subjectUuid: string;
855
854
  scopeRefUuid: string;
855
+ disposition: "refuse" | "require_review" | "auto_merge";
856
856
  conflictUuid: string;
857
857
  conflictType: "same_node_concurrent_update" | "edge_divergence" | "confidence_delta_conflict" | "question_resolution_conflict" | "topic_scope_conflict" | "delete_vs_update" | "policy_scope_conflict";
858
858
  basisRevision: string;
@@ -860,9 +860,9 @@ declare const WorktreeDeltaLedgerContractSchema: z.ZodObject<{
860
860
  attemptedBranchRevision: string;
861
861
  requiredEvidenceRefs: string[];
862
862
  }, {
863
- disposition: "refuse" | "require_review" | "auto_merge";
864
863
  subjectUuid: string;
865
864
  scopeRefUuid: string;
865
+ disposition: "refuse" | "require_review" | "auto_merge";
866
866
  conflictUuid: string;
867
867
  conflictType: "same_node_concurrent_update" | "edge_divergence" | "confidence_delta_conflict" | "question_resolution_conflict" | "topic_scope_conflict" | "delete_vs_update" | "policy_scope_conflict";
868
868
  basisRevision: string;
@@ -888,9 +888,9 @@ declare const WorktreeDeltaLedgerContractSchema: z.ZodObject<{
888
888
  basisGraphRevision: string;
889
889
  ledgerEventUuids: string[];
890
890
  conflicts: {
891
- disposition: "refuse" | "require_review" | "auto_merge";
892
891
  subjectUuid: string;
893
892
  scopeRefUuid: string;
893
+ disposition: "refuse" | "require_review" | "auto_merge";
894
894
  conflictUuid: string;
895
895
  conflictType: "same_node_concurrent_update" | "edge_divergence" | "confidence_delta_conflict" | "question_resolution_conflict" | "topic_scope_conflict" | "delete_vs_update" | "policy_scope_conflict";
896
896
  basisRevision: string;
@@ -926,9 +926,9 @@ declare const WorktreeDeltaLedgerContractSchema: z.ZodObject<{
926
926
  emittedByActorUuid: string;
927
927
  mergeAllowed: boolean;
928
928
  conflicts?: {
929
- disposition: "refuse" | "require_review" | "auto_merge";
930
929
  subjectUuid: string;
931
930
  scopeRefUuid: string;
931
+ disposition: "refuse" | "require_review" | "auto_merge";
932
932
  conflictUuid: string;
933
933
  conflictType: "same_node_concurrent_update" | "edge_divergence" | "confidence_delta_conflict" | "question_resolution_conflict" | "topic_scope_conflict" | "delete_vs_update" | "policy_scope_conflict";
934
934
  basisRevision: string;
@@ -952,9 +952,9 @@ declare const WorktreeDeltaLedgerContractSchema: z.ZodObject<{
952
952
  basisGraphRevision: string;
953
953
  ledgerEventUuids: string[];
954
954
  conflicts: {
955
- disposition: "refuse" | "require_review" | "auto_merge";
956
955
  subjectUuid: string;
957
956
  scopeRefUuid: string;
957
+ disposition: "refuse" | "require_review" | "auto_merge";
958
958
  conflictUuid: string;
959
959
  conflictType: "same_node_concurrent_update" | "edge_divergence" | "confidence_delta_conflict" | "question_resolution_conflict" | "topic_scope_conflict" | "delete_vs_update" | "policy_scope_conflict";
960
960
  basisRevision: string;
@@ -990,9 +990,9 @@ declare const WorktreeDeltaLedgerContractSchema: z.ZodObject<{
990
990
  emittedByActorUuid: string;
991
991
  mergeAllowed: boolean;
992
992
  conflicts?: {
993
- disposition: "refuse" | "require_review" | "auto_merge";
994
993
  subjectUuid: string;
995
994
  scopeRefUuid: string;
995
+ disposition: "refuse" | "require_review" | "auto_merge";
996
996
  conflictUuid: string;
997
997
  conflictType: "same_node_concurrent_update" | "edge_divergence" | "confidence_delta_conflict" | "question_resolution_conflict" | "topic_scope_conflict" | "delete_vs_update" | "policy_scope_conflict";
998
998
  basisRevision: string;
@@ -1108,14 +1108,6 @@ declare const WorktreeDeltaLedgerContractSchema: z.ZodObject<{
1108
1108
  metadataMigrationCoverage: 1;
1109
1109
  }>;
1110
1110
  }, "strip", z.ZodTypeAny, {
1111
- objects: ("WorktreeDeltaLedgerEvent" | "ScopeRef" | "GraphDiff" | "GraphDiffEntry" | "WorktreeGraphConflict" | "WorktreeRevisionVector" | "MetadataWorktreeIdMigration")[];
1112
- refusalFixtures: {
1113
- assertion: string;
1114
- fixtureId: "merge_without_graph_diff_refused" | "draft_write_without_scope_ref_refused" | "delta_event_without_revision_vector_refused" | "graph_diff_without_ledger_event_refused" | "stale_basis_revision_refused" | "metadata_worktree_id_as_scope_ref_refused" | "target_array_as_branch_edge_refused" | "conflict_without_taxonomy_refused";
1115
- expectedDecision: "refuse";
1116
- proofObject: "WorktreeDeltaLedgerEvent" | "ScopeRef" | "GraphDiff" | "WorktreeGraphConflict" | "MetadataWorktreeIdMigration";
1117
- }[];
1118
- modelUuid: string;
1119
1111
  quality: {
1120
1112
  fixtureCoverage: 1;
1121
1113
  conflictTaxonomyCoverage: 1;
@@ -1125,6 +1117,14 @@ declare const WorktreeDeltaLedgerContractSchema: z.ZodObject<{
1125
1117
  occMvccCoverage: 1;
1126
1118
  metadataMigrationCoverage: 1;
1127
1119
  };
1120
+ refusalFixtures: {
1121
+ assertion: string;
1122
+ fixtureId: "merge_without_graph_diff_refused" | "draft_write_without_scope_ref_refused" | "delta_event_without_revision_vector_refused" | "graph_diff_without_ledger_event_refused" | "stale_basis_revision_refused" | "metadata_worktree_id_as_scope_ref_refused" | "target_array_as_branch_edge_refused" | "conflict_without_taxonomy_refused";
1123
+ expectedDecision: "refuse";
1124
+ proofObject: "WorktreeDeltaLedgerEvent" | "ScopeRef" | "GraphDiff" | "WorktreeGraphConflict" | "MetadataWorktreeIdMigration";
1125
+ }[];
1126
+ modelUuid: string;
1127
+ objects: ("WorktreeDeltaLedgerEvent" | "ScopeRef" | "GraphDiff" | "GraphDiffEntry" | "WorktreeGraphConflict" | "WorktreeRevisionVector" | "MetadataWorktreeIdMigration")[];
1128
1128
  modelUuidVersion: "uuidv7";
1129
1129
  expectedRefusals: ("merge_without_graph_diff_refused" | "draft_write_without_scope_ref_refused" | "delta_event_without_revision_vector_refused" | "graph_diff_without_ledger_event_refused" | "stale_basis_revision_refused" | "metadata_worktree_id_as_scope_ref_refused" | "target_array_as_branch_edge_refused" | "conflict_without_taxonomy_refused")[];
1130
1130
  tableContracts: {
@@ -1157,7 +1157,7 @@ declare const WorktreeDeltaLedgerContractSchema: z.ZodObject<{
1157
1157
  deltaLedgerEvent: {
1158
1158
  worktreeUuid: string;
1159
1159
  sourceHorizonRefs: string[];
1160
- subjectKind: "topic" | "edge" | "belief" | "question" | "evidence" | "worktree";
1160
+ subjectKind: "topic" | "belief" | "question" | "evidence" | "worktree" | "edge";
1161
1161
  subjectUuid: string;
1162
1162
  scopeRefUuid: string;
1163
1163
  payload: Record<string, unknown>;
@@ -1192,9 +1192,9 @@ declare const WorktreeDeltaLedgerContractSchema: z.ZodObject<{
1192
1192
  basisGraphRevision: string;
1193
1193
  ledgerEventUuids: string[];
1194
1194
  conflicts: {
1195
- disposition: "refuse" | "require_review" | "auto_merge";
1196
1195
  subjectUuid: string;
1197
1196
  scopeRefUuid: string;
1197
+ disposition: "refuse" | "require_review" | "auto_merge";
1198
1198
  conflictUuid: string;
1199
1199
  conflictType: "same_node_concurrent_update" | "edge_divergence" | "confidence_delta_conflict" | "question_resolution_conflict" | "topic_scope_conflict" | "delete_vs_update" | "policy_scope_conflict";
1200
1200
  basisRevision: string;
@@ -1225,9 +1225,9 @@ declare const WorktreeDeltaLedgerContractSchema: z.ZodObject<{
1225
1225
  basisGraphRevision: string;
1226
1226
  ledgerEventUuids: string[];
1227
1227
  conflicts: {
1228
- disposition: "refuse" | "require_review" | "auto_merge";
1229
1228
  subjectUuid: string;
1230
1229
  scopeRefUuid: string;
1230
+ disposition: "refuse" | "require_review" | "auto_merge";
1231
1231
  conflictUuid: string;
1232
1232
  conflictType: "same_node_concurrent_update" | "edge_divergence" | "confidence_delta_conflict" | "question_resolution_conflict" | "topic_scope_conflict" | "delete_vs_update" | "policy_scope_conflict";
1233
1233
  basisRevision: string;
@@ -1260,14 +1260,6 @@ declare const WorktreeDeltaLedgerContractSchema: z.ZodObject<{
1260
1260
  writeAuthorityAllowed: false;
1261
1261
  }[];
1262
1262
  }, {
1263
- objects: ("WorktreeDeltaLedgerEvent" | "ScopeRef" | "GraphDiff" | "GraphDiffEntry" | "WorktreeGraphConflict" | "WorktreeRevisionVector" | "MetadataWorktreeIdMigration")[];
1264
- refusalFixtures: {
1265
- assertion: string;
1266
- fixtureId: "merge_without_graph_diff_refused" | "draft_write_without_scope_ref_refused" | "delta_event_without_revision_vector_refused" | "graph_diff_without_ledger_event_refused" | "stale_basis_revision_refused" | "metadata_worktree_id_as_scope_ref_refused" | "target_array_as_branch_edge_refused" | "conflict_without_taxonomy_refused";
1267
- expectedDecision: "refuse";
1268
- proofObject: "WorktreeDeltaLedgerEvent" | "ScopeRef" | "GraphDiff" | "WorktreeGraphConflict" | "MetadataWorktreeIdMigration";
1269
- }[];
1270
- modelUuid: string;
1271
1263
  quality: {
1272
1264
  fixtureCoverage: 1;
1273
1265
  conflictTaxonomyCoverage: 1;
@@ -1277,6 +1269,14 @@ declare const WorktreeDeltaLedgerContractSchema: z.ZodObject<{
1277
1269
  occMvccCoverage: 1;
1278
1270
  metadataMigrationCoverage: 1;
1279
1271
  };
1272
+ refusalFixtures: {
1273
+ assertion: string;
1274
+ fixtureId: "merge_without_graph_diff_refused" | "draft_write_without_scope_ref_refused" | "delta_event_without_revision_vector_refused" | "graph_diff_without_ledger_event_refused" | "stale_basis_revision_refused" | "metadata_worktree_id_as_scope_ref_refused" | "target_array_as_branch_edge_refused" | "conflict_without_taxonomy_refused";
1275
+ expectedDecision: "refuse";
1276
+ proofObject: "WorktreeDeltaLedgerEvent" | "ScopeRef" | "GraphDiff" | "WorktreeGraphConflict" | "MetadataWorktreeIdMigration";
1277
+ }[];
1278
+ modelUuid: string;
1279
+ objects: ("WorktreeDeltaLedgerEvent" | "ScopeRef" | "GraphDiff" | "GraphDiffEntry" | "WorktreeGraphConflict" | "WorktreeRevisionVector" | "MetadataWorktreeIdMigration")[];
1280
1280
  modelUuidVersion: "uuidv7";
1281
1281
  expectedRefusals: ("merge_without_graph_diff_refused" | "draft_write_without_scope_ref_refused" | "delta_event_without_revision_vector_refused" | "graph_diff_without_ledger_event_refused" | "stale_basis_revision_refused" | "metadata_worktree_id_as_scope_ref_refused" | "target_array_as_branch_edge_refused" | "conflict_without_taxonomy_refused")[];
1282
1282
  tableContracts: {
@@ -1309,7 +1309,7 @@ declare const WorktreeDeltaLedgerContractSchema: z.ZodObject<{
1309
1309
  deltaLedgerEvent: {
1310
1310
  worktreeUuid: string;
1311
1311
  sourceHorizonRefs: string[];
1312
- subjectKind: "topic" | "edge" | "belief" | "question" | "evidence" | "worktree";
1312
+ subjectKind: "topic" | "belief" | "question" | "evidence" | "worktree" | "edge";
1313
1313
  subjectUuid: string;
1314
1314
  scopeRefUuid: string;
1315
1315
  payload: Record<string, unknown>;
@@ -1350,9 +1350,9 @@ declare const WorktreeDeltaLedgerContractSchema: z.ZodObject<{
1350
1350
  emittedByActorUuid: string;
1351
1351
  mergeAllowed: boolean;
1352
1352
  conflicts?: {
1353
- disposition: "refuse" | "require_review" | "auto_merge";
1354
1353
  subjectUuid: string;
1355
1354
  scopeRefUuid: string;
1355
+ disposition: "refuse" | "require_review" | "auto_merge";
1356
1356
  conflictUuid: string;
1357
1357
  conflictType: "same_node_concurrent_update" | "edge_divergence" | "confidence_delta_conflict" | "question_resolution_conflict" | "topic_scope_conflict" | "delete_vs_update" | "policy_scope_conflict";
1358
1358
  basisRevision: string;
@@ -1383,9 +1383,9 @@ declare const WorktreeDeltaLedgerContractSchema: z.ZodObject<{
1383
1383
  emittedByActorUuid: string;
1384
1384
  mergeAllowed: boolean;
1385
1385
  conflicts?: {
1386
- disposition: "refuse" | "require_review" | "auto_merge";
1387
1386
  subjectUuid: string;
1388
1387
  scopeRefUuid: string;
1388
+ disposition: "refuse" | "require_review" | "auto_merge";
1389
1389
  conflictUuid: string;
1390
1390
  conflictType: "same_node_concurrent_update" | "edge_divergence" | "confidence_delta_conflict" | "question_resolution_conflict" | "topic_scope_conflict" | "delete_vs_update" | "policy_scope_conflict";
1391
1391
  basisRevision: string;
@@ -1412,14 +1412,6 @@ declare const WorktreeDeltaLedgerContractSchema: z.ZodObject<{
1412
1412
  writeAuthorityAllowed: false;
1413
1413
  }[];
1414
1414
  }>, {
1415
- objects: ("WorktreeDeltaLedgerEvent" | "ScopeRef" | "GraphDiff" | "GraphDiffEntry" | "WorktreeGraphConflict" | "WorktreeRevisionVector" | "MetadataWorktreeIdMigration")[];
1416
- refusalFixtures: {
1417
- assertion: string;
1418
- fixtureId: "merge_without_graph_diff_refused" | "draft_write_without_scope_ref_refused" | "delta_event_without_revision_vector_refused" | "graph_diff_without_ledger_event_refused" | "stale_basis_revision_refused" | "metadata_worktree_id_as_scope_ref_refused" | "target_array_as_branch_edge_refused" | "conflict_without_taxonomy_refused";
1419
- expectedDecision: "refuse";
1420
- proofObject: "WorktreeDeltaLedgerEvent" | "ScopeRef" | "GraphDiff" | "WorktreeGraphConflict" | "MetadataWorktreeIdMigration";
1421
- }[];
1422
- modelUuid: string;
1423
1415
  quality: {
1424
1416
  fixtureCoverage: 1;
1425
1417
  conflictTaxonomyCoverage: 1;
@@ -1429,6 +1421,14 @@ declare const WorktreeDeltaLedgerContractSchema: z.ZodObject<{
1429
1421
  occMvccCoverage: 1;
1430
1422
  metadataMigrationCoverage: 1;
1431
1423
  };
1424
+ refusalFixtures: {
1425
+ assertion: string;
1426
+ fixtureId: "merge_without_graph_diff_refused" | "draft_write_without_scope_ref_refused" | "delta_event_without_revision_vector_refused" | "graph_diff_without_ledger_event_refused" | "stale_basis_revision_refused" | "metadata_worktree_id_as_scope_ref_refused" | "target_array_as_branch_edge_refused" | "conflict_without_taxonomy_refused";
1427
+ expectedDecision: "refuse";
1428
+ proofObject: "WorktreeDeltaLedgerEvent" | "ScopeRef" | "GraphDiff" | "WorktreeGraphConflict" | "MetadataWorktreeIdMigration";
1429
+ }[];
1430
+ modelUuid: string;
1431
+ objects: ("WorktreeDeltaLedgerEvent" | "ScopeRef" | "GraphDiff" | "GraphDiffEntry" | "WorktreeGraphConflict" | "WorktreeRevisionVector" | "MetadataWorktreeIdMigration")[];
1432
1432
  modelUuidVersion: "uuidv7";
1433
1433
  expectedRefusals: ("merge_without_graph_diff_refused" | "draft_write_without_scope_ref_refused" | "delta_event_without_revision_vector_refused" | "graph_diff_without_ledger_event_refused" | "stale_basis_revision_refused" | "metadata_worktree_id_as_scope_ref_refused" | "target_array_as_branch_edge_refused" | "conflict_without_taxonomy_refused")[];
1434
1434
  tableContracts: {
@@ -1461,7 +1461,7 @@ declare const WorktreeDeltaLedgerContractSchema: z.ZodObject<{
1461
1461
  deltaLedgerEvent: {
1462
1462
  worktreeUuid: string;
1463
1463
  sourceHorizonRefs: string[];
1464
- subjectKind: "topic" | "edge" | "belief" | "question" | "evidence" | "worktree";
1464
+ subjectKind: "topic" | "belief" | "question" | "evidence" | "worktree" | "edge";
1465
1465
  subjectUuid: string;
1466
1466
  scopeRefUuid: string;
1467
1467
  payload: Record<string, unknown>;
@@ -1496,9 +1496,9 @@ declare const WorktreeDeltaLedgerContractSchema: z.ZodObject<{
1496
1496
  basisGraphRevision: string;
1497
1497
  ledgerEventUuids: string[];
1498
1498
  conflicts: {
1499
- disposition: "refuse" | "require_review" | "auto_merge";
1500
1499
  subjectUuid: string;
1501
1500
  scopeRefUuid: string;
1501
+ disposition: "refuse" | "require_review" | "auto_merge";
1502
1502
  conflictUuid: string;
1503
1503
  conflictType: "same_node_concurrent_update" | "edge_divergence" | "confidence_delta_conflict" | "question_resolution_conflict" | "topic_scope_conflict" | "delete_vs_update" | "policy_scope_conflict";
1504
1504
  basisRevision: string;
@@ -1529,9 +1529,9 @@ declare const WorktreeDeltaLedgerContractSchema: z.ZodObject<{
1529
1529
  basisGraphRevision: string;
1530
1530
  ledgerEventUuids: string[];
1531
1531
  conflicts: {
1532
- disposition: "refuse" | "require_review" | "auto_merge";
1533
1532
  subjectUuid: string;
1534
1533
  scopeRefUuid: string;
1534
+ disposition: "refuse" | "require_review" | "auto_merge";
1535
1535
  conflictUuid: string;
1536
1536
  conflictType: "same_node_concurrent_update" | "edge_divergence" | "confidence_delta_conflict" | "question_resolution_conflict" | "topic_scope_conflict" | "delete_vs_update" | "policy_scope_conflict";
1537
1537
  basisRevision: string;
@@ -1564,14 +1564,6 @@ declare const WorktreeDeltaLedgerContractSchema: z.ZodObject<{
1564
1564
  writeAuthorityAllowed: false;
1565
1565
  }[];
1566
1566
  }, {
1567
- objects: ("WorktreeDeltaLedgerEvent" | "ScopeRef" | "GraphDiff" | "GraphDiffEntry" | "WorktreeGraphConflict" | "WorktreeRevisionVector" | "MetadataWorktreeIdMigration")[];
1568
- refusalFixtures: {
1569
- assertion: string;
1570
- fixtureId: "merge_without_graph_diff_refused" | "draft_write_without_scope_ref_refused" | "delta_event_without_revision_vector_refused" | "graph_diff_without_ledger_event_refused" | "stale_basis_revision_refused" | "metadata_worktree_id_as_scope_ref_refused" | "target_array_as_branch_edge_refused" | "conflict_without_taxonomy_refused";
1571
- expectedDecision: "refuse";
1572
- proofObject: "WorktreeDeltaLedgerEvent" | "ScopeRef" | "GraphDiff" | "WorktreeGraphConflict" | "MetadataWorktreeIdMigration";
1573
- }[];
1574
- modelUuid: string;
1575
1567
  quality: {
1576
1568
  fixtureCoverage: 1;
1577
1569
  conflictTaxonomyCoverage: 1;
@@ -1581,6 +1573,14 @@ declare const WorktreeDeltaLedgerContractSchema: z.ZodObject<{
1581
1573
  occMvccCoverage: 1;
1582
1574
  metadataMigrationCoverage: 1;
1583
1575
  };
1576
+ refusalFixtures: {
1577
+ assertion: string;
1578
+ fixtureId: "merge_without_graph_diff_refused" | "draft_write_without_scope_ref_refused" | "delta_event_without_revision_vector_refused" | "graph_diff_without_ledger_event_refused" | "stale_basis_revision_refused" | "metadata_worktree_id_as_scope_ref_refused" | "target_array_as_branch_edge_refused" | "conflict_without_taxonomy_refused";
1579
+ expectedDecision: "refuse";
1580
+ proofObject: "WorktreeDeltaLedgerEvent" | "ScopeRef" | "GraphDiff" | "WorktreeGraphConflict" | "MetadataWorktreeIdMigration";
1581
+ }[];
1582
+ modelUuid: string;
1583
+ objects: ("WorktreeDeltaLedgerEvent" | "ScopeRef" | "GraphDiff" | "GraphDiffEntry" | "WorktreeGraphConflict" | "WorktreeRevisionVector" | "MetadataWorktreeIdMigration")[];
1584
1584
  modelUuidVersion: "uuidv7";
1585
1585
  expectedRefusals: ("merge_without_graph_diff_refused" | "draft_write_without_scope_ref_refused" | "delta_event_without_revision_vector_refused" | "graph_diff_without_ledger_event_refused" | "stale_basis_revision_refused" | "metadata_worktree_id_as_scope_ref_refused" | "target_array_as_branch_edge_refused" | "conflict_without_taxonomy_refused")[];
1586
1586
  tableContracts: {
@@ -1613,7 +1613,7 @@ declare const WorktreeDeltaLedgerContractSchema: z.ZodObject<{
1613
1613
  deltaLedgerEvent: {
1614
1614
  worktreeUuid: string;
1615
1615
  sourceHorizonRefs: string[];
1616
- subjectKind: "topic" | "edge" | "belief" | "question" | "evidence" | "worktree";
1616
+ subjectKind: "topic" | "belief" | "question" | "evidence" | "worktree" | "edge";
1617
1617
  subjectUuid: string;
1618
1618
  scopeRefUuid: string;
1619
1619
  payload: Record<string, unknown>;
@@ -1654,9 +1654,9 @@ declare const WorktreeDeltaLedgerContractSchema: z.ZodObject<{
1654
1654
  emittedByActorUuid: string;
1655
1655
  mergeAllowed: boolean;
1656
1656
  conflicts?: {
1657
- disposition: "refuse" | "require_review" | "auto_merge";
1658
1657
  subjectUuid: string;
1659
1658
  scopeRefUuid: string;
1659
+ disposition: "refuse" | "require_review" | "auto_merge";
1660
1660
  conflictUuid: string;
1661
1661
  conflictType: "same_node_concurrent_update" | "edge_divergence" | "confidence_delta_conflict" | "question_resolution_conflict" | "topic_scope_conflict" | "delete_vs_update" | "policy_scope_conflict";
1662
1662
  basisRevision: string;
@@ -1687,9 +1687,9 @@ declare const WorktreeDeltaLedgerContractSchema: z.ZodObject<{
1687
1687
  emittedByActorUuid: string;
1688
1688
  mergeAllowed: boolean;
1689
1689
  conflicts?: {
1690
- disposition: "refuse" | "require_review" | "auto_merge";
1691
1690
  subjectUuid: string;
1692
1691
  scopeRefUuid: string;
1692
+ disposition: "refuse" | "require_review" | "auto_merge";
1693
1693
  conflictUuid: string;
1694
1694
  conflictType: "same_node_concurrent_update" | "edge_divergence" | "confidence_delta_conflict" | "question_resolution_conflict" | "topic_scope_conflict" | "delete_vs_update" | "policy_scope_conflict";
1695
1695
  basisRevision: string;
@@ -1718,22 +1718,14 @@ declare const WorktreeDeltaLedgerContractSchema: z.ZodObject<{
1718
1718
  }>;
1719
1719
  }, "strip", z.ZodTypeAny, {
1720
1720
  worktree: "C2-LV.1";
1721
- lane: "c2-lv-worktree-delta-ledger";
1722
1721
  contractVersion: "c2_lv_worktree_delta_ledger.v1";
1722
+ lane: "c2-lv-worktree-delta-ledger";
1723
+ graphWorktreeId: "tn7612bggrwbrywh7yh3h5r0yx85tnj3";
1724
+ compositionKey: "worktree_delta_ledger_v1";
1723
1725
  dependsOn: string[];
1724
1726
  sourceAnchors: string[];
1725
- graphWorktreeId: "tn7612bggrwbrywh7yh3h5r0yx85tnj3";
1726
1727
  rules: string[];
1727
- compositionKey: "worktree_delta_ledger_v1";
1728
1728
  model: {
1729
- objects: ("WorktreeDeltaLedgerEvent" | "ScopeRef" | "GraphDiff" | "GraphDiffEntry" | "WorktreeGraphConflict" | "WorktreeRevisionVector" | "MetadataWorktreeIdMigration")[];
1730
- refusalFixtures: {
1731
- assertion: string;
1732
- fixtureId: "merge_without_graph_diff_refused" | "draft_write_without_scope_ref_refused" | "delta_event_without_revision_vector_refused" | "graph_diff_without_ledger_event_refused" | "stale_basis_revision_refused" | "metadata_worktree_id_as_scope_ref_refused" | "target_array_as_branch_edge_refused" | "conflict_without_taxonomy_refused";
1733
- expectedDecision: "refuse";
1734
- proofObject: "WorktreeDeltaLedgerEvent" | "ScopeRef" | "GraphDiff" | "WorktreeGraphConflict" | "MetadataWorktreeIdMigration";
1735
- }[];
1736
- modelUuid: string;
1737
1729
  quality: {
1738
1730
  fixtureCoverage: 1;
1739
1731
  conflictTaxonomyCoverage: 1;
@@ -1743,6 +1735,14 @@ declare const WorktreeDeltaLedgerContractSchema: z.ZodObject<{
1743
1735
  occMvccCoverage: 1;
1744
1736
  metadataMigrationCoverage: 1;
1745
1737
  };
1738
+ refusalFixtures: {
1739
+ assertion: string;
1740
+ fixtureId: "merge_without_graph_diff_refused" | "draft_write_without_scope_ref_refused" | "delta_event_without_revision_vector_refused" | "graph_diff_without_ledger_event_refused" | "stale_basis_revision_refused" | "metadata_worktree_id_as_scope_ref_refused" | "target_array_as_branch_edge_refused" | "conflict_without_taxonomy_refused";
1741
+ expectedDecision: "refuse";
1742
+ proofObject: "WorktreeDeltaLedgerEvent" | "ScopeRef" | "GraphDiff" | "WorktreeGraphConflict" | "MetadataWorktreeIdMigration";
1743
+ }[];
1744
+ modelUuid: string;
1745
+ objects: ("WorktreeDeltaLedgerEvent" | "ScopeRef" | "GraphDiff" | "GraphDiffEntry" | "WorktreeGraphConflict" | "WorktreeRevisionVector" | "MetadataWorktreeIdMigration")[];
1746
1746
  modelUuidVersion: "uuidv7";
1747
1747
  expectedRefusals: ("merge_without_graph_diff_refused" | "draft_write_without_scope_ref_refused" | "delta_event_without_revision_vector_refused" | "graph_diff_without_ledger_event_refused" | "stale_basis_revision_refused" | "metadata_worktree_id_as_scope_ref_refused" | "target_array_as_branch_edge_refused" | "conflict_without_taxonomy_refused")[];
1748
1748
  tableContracts: {
@@ -1775,7 +1775,7 @@ declare const WorktreeDeltaLedgerContractSchema: z.ZodObject<{
1775
1775
  deltaLedgerEvent: {
1776
1776
  worktreeUuid: string;
1777
1777
  sourceHorizonRefs: string[];
1778
- subjectKind: "topic" | "edge" | "belief" | "question" | "evidence" | "worktree";
1778
+ subjectKind: "topic" | "belief" | "question" | "evidence" | "worktree" | "edge";
1779
1779
  subjectUuid: string;
1780
1780
  scopeRefUuid: string;
1781
1781
  payload: Record<string, unknown>;
@@ -1810,9 +1810,9 @@ declare const WorktreeDeltaLedgerContractSchema: z.ZodObject<{
1810
1810
  basisGraphRevision: string;
1811
1811
  ledgerEventUuids: string[];
1812
1812
  conflicts: {
1813
- disposition: "refuse" | "require_review" | "auto_merge";
1814
1813
  subjectUuid: string;
1815
1814
  scopeRefUuid: string;
1815
+ disposition: "refuse" | "require_review" | "auto_merge";
1816
1816
  conflictUuid: string;
1817
1817
  conflictType: "same_node_concurrent_update" | "edge_divergence" | "confidence_delta_conflict" | "question_resolution_conflict" | "topic_scope_conflict" | "delete_vs_update" | "policy_scope_conflict";
1818
1818
  basisRevision: string;
@@ -1843,9 +1843,9 @@ declare const WorktreeDeltaLedgerContractSchema: z.ZodObject<{
1843
1843
  basisGraphRevision: string;
1844
1844
  ledgerEventUuids: string[];
1845
1845
  conflicts: {
1846
- disposition: "refuse" | "require_review" | "auto_merge";
1847
1846
  subjectUuid: string;
1848
1847
  scopeRefUuid: string;
1848
+ disposition: "refuse" | "require_review" | "auto_merge";
1849
1849
  conflictUuid: string;
1850
1850
  conflictType: "same_node_concurrent_update" | "edge_divergence" | "confidence_delta_conflict" | "question_resolution_conflict" | "topic_scope_conflict" | "delete_vs_update" | "policy_scope_conflict";
1851
1851
  basisRevision: string;
@@ -1880,22 +1880,14 @@ declare const WorktreeDeltaLedgerContractSchema: z.ZodObject<{
1880
1880
  };
1881
1881
  }, {
1882
1882
  worktree: "C2-LV.1";
1883
- lane: "c2-lv-worktree-delta-ledger";
1884
1883
  contractVersion: "c2_lv_worktree_delta_ledger.v1";
1884
+ lane: "c2-lv-worktree-delta-ledger";
1885
+ graphWorktreeId: "tn7612bggrwbrywh7yh3h5r0yx85tnj3";
1886
+ compositionKey: "worktree_delta_ledger_v1";
1885
1887
  dependsOn: string[];
1886
1888
  sourceAnchors: string[];
1887
- graphWorktreeId: "tn7612bggrwbrywh7yh3h5r0yx85tnj3";
1888
1889
  rules: string[];
1889
- compositionKey: "worktree_delta_ledger_v1";
1890
1890
  model: {
1891
- objects: ("WorktreeDeltaLedgerEvent" | "ScopeRef" | "GraphDiff" | "GraphDiffEntry" | "WorktreeGraphConflict" | "WorktreeRevisionVector" | "MetadataWorktreeIdMigration")[];
1892
- refusalFixtures: {
1893
- assertion: string;
1894
- fixtureId: "merge_without_graph_diff_refused" | "draft_write_without_scope_ref_refused" | "delta_event_without_revision_vector_refused" | "graph_diff_without_ledger_event_refused" | "stale_basis_revision_refused" | "metadata_worktree_id_as_scope_ref_refused" | "target_array_as_branch_edge_refused" | "conflict_without_taxonomy_refused";
1895
- expectedDecision: "refuse";
1896
- proofObject: "WorktreeDeltaLedgerEvent" | "ScopeRef" | "GraphDiff" | "WorktreeGraphConflict" | "MetadataWorktreeIdMigration";
1897
- }[];
1898
- modelUuid: string;
1899
1891
  quality: {
1900
1892
  fixtureCoverage: 1;
1901
1893
  conflictTaxonomyCoverage: 1;
@@ -1905,6 +1897,14 @@ declare const WorktreeDeltaLedgerContractSchema: z.ZodObject<{
1905
1897
  occMvccCoverage: 1;
1906
1898
  metadataMigrationCoverage: 1;
1907
1899
  };
1900
+ refusalFixtures: {
1901
+ assertion: string;
1902
+ fixtureId: "merge_without_graph_diff_refused" | "draft_write_without_scope_ref_refused" | "delta_event_without_revision_vector_refused" | "graph_diff_without_ledger_event_refused" | "stale_basis_revision_refused" | "metadata_worktree_id_as_scope_ref_refused" | "target_array_as_branch_edge_refused" | "conflict_without_taxonomy_refused";
1903
+ expectedDecision: "refuse";
1904
+ proofObject: "WorktreeDeltaLedgerEvent" | "ScopeRef" | "GraphDiff" | "WorktreeGraphConflict" | "MetadataWorktreeIdMigration";
1905
+ }[];
1906
+ modelUuid: string;
1907
+ objects: ("WorktreeDeltaLedgerEvent" | "ScopeRef" | "GraphDiff" | "GraphDiffEntry" | "WorktreeGraphConflict" | "WorktreeRevisionVector" | "MetadataWorktreeIdMigration")[];
1908
1908
  modelUuidVersion: "uuidv7";
1909
1909
  expectedRefusals: ("merge_without_graph_diff_refused" | "draft_write_without_scope_ref_refused" | "delta_event_without_revision_vector_refused" | "graph_diff_without_ledger_event_refused" | "stale_basis_revision_refused" | "metadata_worktree_id_as_scope_ref_refused" | "target_array_as_branch_edge_refused" | "conflict_without_taxonomy_refused")[];
1910
1910
  tableContracts: {
@@ -1937,7 +1937,7 @@ declare const WorktreeDeltaLedgerContractSchema: z.ZodObject<{
1937
1937
  deltaLedgerEvent: {
1938
1938
  worktreeUuid: string;
1939
1939
  sourceHorizonRefs: string[];
1940
- subjectKind: "topic" | "edge" | "belief" | "question" | "evidence" | "worktree";
1940
+ subjectKind: "topic" | "belief" | "question" | "evidence" | "worktree" | "edge";
1941
1941
  subjectUuid: string;
1942
1942
  scopeRefUuid: string;
1943
1943
  payload: Record<string, unknown>;
@@ -1978,9 +1978,9 @@ declare const WorktreeDeltaLedgerContractSchema: z.ZodObject<{
1978
1978
  emittedByActorUuid: string;
1979
1979
  mergeAllowed: boolean;
1980
1980
  conflicts?: {
1981
- disposition: "refuse" | "require_review" | "auto_merge";
1982
1981
  subjectUuid: string;
1983
1982
  scopeRefUuid: string;
1983
+ disposition: "refuse" | "require_review" | "auto_merge";
1984
1984
  conflictUuid: string;
1985
1985
  conflictType: "same_node_concurrent_update" | "edge_divergence" | "confidence_delta_conflict" | "question_resolution_conflict" | "topic_scope_conflict" | "delete_vs_update" | "policy_scope_conflict";
1986
1986
  basisRevision: string;
@@ -2011,9 +2011,9 @@ declare const WorktreeDeltaLedgerContractSchema: z.ZodObject<{
2011
2011
  emittedByActorUuid: string;
2012
2012
  mergeAllowed: boolean;
2013
2013
  conflicts?: {
2014
- disposition: "refuse" | "require_review" | "auto_merge";
2015
2014
  subjectUuid: string;
2016
2015
  scopeRefUuid: string;
2016
+ disposition: "refuse" | "require_review" | "auto_merge";
2017
2017
  conflictUuid: string;
2018
2018
  conflictType: "same_node_concurrent_update" | "edge_divergence" | "confidence_delta_conflict" | "question_resolution_conflict" | "topic_scope_conflict" | "delete_vs_update" | "policy_scope_conflict";
2019
2019
  basisRevision: string;
@@ -2279,22 +2279,14 @@ declare const WORKTREE_DELTA_LEDGER_CONTRACT: {
2279
2279
  };
2280
2280
  declare const parsedWorktreeDeltaLedgerContract: {
2281
2281
  worktree: "C2-LV.1";
2282
- lane: "c2-lv-worktree-delta-ledger";
2283
2282
  contractVersion: "c2_lv_worktree_delta_ledger.v1";
2283
+ lane: "c2-lv-worktree-delta-ledger";
2284
+ graphWorktreeId: "tn7612bggrwbrywh7yh3h5r0yx85tnj3";
2285
+ compositionKey: "worktree_delta_ledger_v1";
2284
2286
  dependsOn: string[];
2285
2287
  sourceAnchors: string[];
2286
- graphWorktreeId: "tn7612bggrwbrywh7yh3h5r0yx85tnj3";
2287
2288
  rules: string[];
2288
- compositionKey: "worktree_delta_ledger_v1";
2289
2289
  model: {
2290
- objects: ("WorktreeDeltaLedgerEvent" | "ScopeRef" | "GraphDiff" | "GraphDiffEntry" | "WorktreeGraphConflict" | "WorktreeRevisionVector" | "MetadataWorktreeIdMigration")[];
2291
- refusalFixtures: {
2292
- assertion: string;
2293
- fixtureId: "merge_without_graph_diff_refused" | "draft_write_without_scope_ref_refused" | "delta_event_without_revision_vector_refused" | "graph_diff_without_ledger_event_refused" | "stale_basis_revision_refused" | "metadata_worktree_id_as_scope_ref_refused" | "target_array_as_branch_edge_refused" | "conflict_without_taxonomy_refused";
2294
- expectedDecision: "refuse";
2295
- proofObject: "WorktreeDeltaLedgerEvent" | "ScopeRef" | "GraphDiff" | "WorktreeGraphConflict" | "MetadataWorktreeIdMigration";
2296
- }[];
2297
- modelUuid: string;
2298
2290
  quality: {
2299
2291
  fixtureCoverage: 1;
2300
2292
  conflictTaxonomyCoverage: 1;
@@ -2304,6 +2296,14 @@ declare const parsedWorktreeDeltaLedgerContract: {
2304
2296
  occMvccCoverage: 1;
2305
2297
  metadataMigrationCoverage: 1;
2306
2298
  };
2299
+ refusalFixtures: {
2300
+ assertion: string;
2301
+ fixtureId: "merge_without_graph_diff_refused" | "draft_write_without_scope_ref_refused" | "delta_event_without_revision_vector_refused" | "graph_diff_without_ledger_event_refused" | "stale_basis_revision_refused" | "metadata_worktree_id_as_scope_ref_refused" | "target_array_as_branch_edge_refused" | "conflict_without_taxonomy_refused";
2302
+ expectedDecision: "refuse";
2303
+ proofObject: "WorktreeDeltaLedgerEvent" | "ScopeRef" | "GraphDiff" | "WorktreeGraphConflict" | "MetadataWorktreeIdMigration";
2304
+ }[];
2305
+ modelUuid: string;
2306
+ objects: ("WorktreeDeltaLedgerEvent" | "ScopeRef" | "GraphDiff" | "GraphDiffEntry" | "WorktreeGraphConflict" | "WorktreeRevisionVector" | "MetadataWorktreeIdMigration")[];
2307
2307
  modelUuidVersion: "uuidv7";
2308
2308
  expectedRefusals: ("merge_without_graph_diff_refused" | "draft_write_without_scope_ref_refused" | "delta_event_without_revision_vector_refused" | "graph_diff_without_ledger_event_refused" | "stale_basis_revision_refused" | "metadata_worktree_id_as_scope_ref_refused" | "target_array_as_branch_edge_refused" | "conflict_without_taxonomy_refused")[];
2309
2309
  tableContracts: {
@@ -2336,7 +2336,7 @@ declare const parsedWorktreeDeltaLedgerContract: {
2336
2336
  deltaLedgerEvent: {
2337
2337
  worktreeUuid: string;
2338
2338
  sourceHorizonRefs: string[];
2339
- subjectKind: "topic" | "edge" | "belief" | "question" | "evidence" | "worktree";
2339
+ subjectKind: "topic" | "belief" | "question" | "evidence" | "worktree" | "edge";
2340
2340
  subjectUuid: string;
2341
2341
  scopeRefUuid: string;
2342
2342
  payload: Record<string, unknown>;
@@ -2371,9 +2371,9 @@ declare const parsedWorktreeDeltaLedgerContract: {
2371
2371
  basisGraphRevision: string;
2372
2372
  ledgerEventUuids: string[];
2373
2373
  conflicts: {
2374
- disposition: "refuse" | "require_review" | "auto_merge";
2375
2374
  subjectUuid: string;
2376
2375
  scopeRefUuid: string;
2376
+ disposition: "refuse" | "require_review" | "auto_merge";
2377
2377
  conflictUuid: string;
2378
2378
  conflictType: "same_node_concurrent_update" | "edge_divergence" | "confidence_delta_conflict" | "question_resolution_conflict" | "topic_scope_conflict" | "delete_vs_update" | "policy_scope_conflict";
2379
2379
  basisRevision: string;
@@ -2404,9 +2404,9 @@ declare const parsedWorktreeDeltaLedgerContract: {
2404
2404
  basisGraphRevision: string;
2405
2405
  ledgerEventUuids: string[];
2406
2406
  conflicts: {
2407
- disposition: "refuse" | "require_review" | "auto_merge";
2408
2407
  subjectUuid: string;
2409
2408
  scopeRefUuid: string;
2409
+ disposition: "refuse" | "require_review" | "auto_merge";
2410
2410
  conflictUuid: string;
2411
2411
  conflictType: "same_node_concurrent_update" | "edge_divergence" | "confidence_delta_conflict" | "question_resolution_conflict" | "topic_scope_conflict" | "delete_vs_update" | "policy_scope_conflict";
2412
2412
  basisRevision: string;
@@ -2453,10 +2453,10 @@ declare const WORKTREE_DELTA_LEDGER_COMPOSITION_ROW: {
2453
2453
  allowedDepths: ("low" | "medium" | "high" | "extra-high")[];
2454
2454
  qualityVector: string[];
2455
2455
  identity: {
2456
+ registryKeyField: "key";
2456
2457
  canonicalPublicIdField: "compositionUuid";
2457
2458
  canonicalPublicIdVersion: "uuidv7";
2458
2459
  storageLocatorSemantic: false;
2459
- registryKeyField: "key";
2460
2460
  contentAddressFields: string[];
2461
2461
  };
2462
2462
  authorization: {
@@ -2495,10 +2495,10 @@ declare const WORKTREE_DELTA_LEDGER_COMPOSITION_ROW: {
2495
2495
  allowedDepths: ("medium" | "high" | "extra-high")[];
2496
2496
  qualityVector: string[];
2497
2497
  identity: {
2498
+ registryKeyField: "key";
2498
2499
  canonicalPublicIdField: "compositionUuid";
2499
2500
  canonicalPublicIdVersion: "uuidv7";
2500
2501
  storageLocatorSemantic: false;
2501
- registryKeyField: "key";
2502
2502
  contentAddressFields: string[];
2503
2503
  };
2504
2504
  authorization: {
@@ -2537,10 +2537,10 @@ declare const WORKTREE_DELTA_LEDGER_COMPOSITION_ROW: {
2537
2537
  allowedDepths: ("low" | "medium" | "high" | "extra-high")[];
2538
2538
  qualityVector: string[];
2539
2539
  identity: {
2540
+ registryKeyField: "key";
2540
2541
  canonicalPublicIdField: "compositionUuid";
2541
2542
  canonicalPublicIdVersion: "uuidv7";
2542
2543
  storageLocatorSemantic: false;
2543
- registryKeyField: "key";
2544
2544
  contentAddressFields: string[];
2545
2545
  };
2546
2546
  authorization: {
@@ -2579,10 +2579,10 @@ declare const WORKTREE_DELTA_LEDGER_COMPOSITION_ROW: {
2579
2579
  allowedDepths: ("low" | "medium" | "high" | "extra-high")[];
2580
2580
  qualityVector: string[];
2581
2581
  identity: {
2582
+ registryKeyField: "key";
2582
2583
  canonicalPublicIdField: "compositionUuid";
2583
2584
  canonicalPublicIdVersion: "uuidv7";
2584
2585
  storageLocatorSemantic: false;
2585
- registryKeyField: "key";
2586
2586
  contentAddressFields: string[];
2587
2587
  };
2588
2588
  authorization: {
@@ -2612,19 +2612,19 @@ declare const WORKTREE_DELTA_LEDGER_COMPOSITION_ROW: {
2612
2612
  key: string;
2613
2613
  emittedAs: string;
2614
2614
  classification: "substrate_contract";
2615
- lifecycle: "current";
2615
+ lifecycle: "reserved";
2616
2616
  ownerLane: string;
2617
2617
  dependsOn: string[];
2618
2618
  primitives: string[];
2619
2619
  sourceSurfaces: string[];
2620
2620
  defaultDepth: "extra-high";
2621
- allowedDepths: ("low" | "medium" | "high" | "extra-high")[];
2621
+ allowedDepths: ("high" | "extra-high")[];
2622
2622
  qualityVector: string[];
2623
2623
  identity: {
2624
+ registryKeyField: "key";
2624
2625
  canonicalPublicIdField: "compositionUuid";
2625
2626
  canonicalPublicIdVersion: "uuidv7";
2626
2627
  storageLocatorSemantic: false;
2627
- registryKeyField: "key";
2628
2628
  contentAddressFields: string[];
2629
2629
  };
2630
2630
  authorization: {
@@ -2659,14 +2659,14 @@ declare const WORKTREE_DELTA_LEDGER_COMPOSITION_ROW: {
2659
2659
  dependsOn: string[];
2660
2660
  primitives: string[];
2661
2661
  sourceSurfaces: string[];
2662
- defaultDepth: "extra-high";
2663
- allowedDepths: ("high" | "extra-high")[];
2662
+ defaultDepth: "high";
2663
+ allowedDepths: ("medium" | "high" | "extra-high")[];
2664
2664
  qualityVector: string[];
2665
2665
  identity: {
2666
+ registryKeyField: "key";
2666
2667
  canonicalPublicIdField: "compositionUuid";
2667
2668
  canonicalPublicIdVersion: "uuidv7";
2668
2669
  storageLocatorSemantic: false;
2669
- registryKeyField: "key";
2670
2670
  contentAddressFields: string[];
2671
2671
  };
2672
2672
  authorization: {
@@ -2696,19 +2696,19 @@ declare const WORKTREE_DELTA_LEDGER_COMPOSITION_ROW: {
2696
2696
  key: string;
2697
2697
  emittedAs: string;
2698
2698
  classification: "substrate_contract";
2699
- lifecycle: "reserved";
2699
+ lifecycle: "current";
2700
2700
  ownerLane: string;
2701
2701
  dependsOn: string[];
2702
2702
  primitives: string[];
2703
2703
  sourceSurfaces: string[];
2704
- defaultDepth: "high";
2705
- allowedDepths: ("medium" | "high" | "extra-high")[];
2704
+ defaultDepth: "extra-high";
2705
+ allowedDepths: ("low" | "medium" | "high" | "extra-high")[];
2706
2706
  qualityVector: string[];
2707
2707
  identity: {
2708
+ registryKeyField: "key";
2708
2709
  canonicalPublicIdField: "compositionUuid";
2709
2710
  canonicalPublicIdVersion: "uuidv7";
2710
2711
  storageLocatorSemantic: false;
2711
- registryKeyField: "key";
2712
2712
  contentAddressFields: string[];
2713
2713
  };
2714
2714
  authorization: {