@lucern/contracts 1.0.38 → 1.0.39
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 +3 -0
- package/dist/function-registry/embeddings.js +6293 -0
- package/dist/function-registry/hybrid.js +6297 -0
- package/dist/function-registry/index.js +9 -253
- package/dist/function-registry/policy.js +6220 -0
- package/dist/proof-attestation.json +1 -1
- package/dist/types/evidence-taxonomy-target-scope.js +70 -0
- package/dist/types/graph-ref.js +173 -0
- package/dist/types/reasoning-method.js +15 -0
- package/dist/types/traversal-mode-constitution.js +96 -0
- package/package.json +1 -1
|
@@ -0,0 +1,70 @@
|
|
|
1
|
+
import { z } from 'zod';
|
|
2
|
+
|
|
3
|
+
// src/types/evidence-taxonomy-target-scope.ts
|
|
4
|
+
var EVIDENCE_RELATION_VALUES = ["supports", "contradicts"];
|
|
5
|
+
var EVIDENCE_METHODOLOGY_VALUES = [
|
|
6
|
+
"primary_research",
|
|
7
|
+
"expert_interview",
|
|
8
|
+
"customer_interview",
|
|
9
|
+
"field_observation",
|
|
10
|
+
"proprietary_data",
|
|
11
|
+
"desk_research",
|
|
12
|
+
"regulatory_filing",
|
|
13
|
+
"news_article",
|
|
14
|
+
"academic_paper",
|
|
15
|
+
"ai_synthesis",
|
|
16
|
+
"ai_extraction"
|
|
17
|
+
];
|
|
18
|
+
var EVIDENCE_INFORMATION_ASYMMETRY_VALUES = [
|
|
19
|
+
"proprietary",
|
|
20
|
+
"early",
|
|
21
|
+
"common"
|
|
22
|
+
];
|
|
23
|
+
var EVIDENCE_SOURCE_QUALITY_VALUES = [
|
|
24
|
+
"primary",
|
|
25
|
+
"analyzed",
|
|
26
|
+
"secondary",
|
|
27
|
+
"tertiary",
|
|
28
|
+
"unknown"
|
|
29
|
+
];
|
|
30
|
+
var EVIDENCE_SOURCE_TYPE_VALUES = [
|
|
31
|
+
"human",
|
|
32
|
+
"ai_extracted",
|
|
33
|
+
"ai_generated",
|
|
34
|
+
"imported",
|
|
35
|
+
"system",
|
|
36
|
+
"verified",
|
|
37
|
+
"proprietary"
|
|
38
|
+
];
|
|
39
|
+
var EVIDENCE_SCORING_DIMENSIONS = [
|
|
40
|
+
"signedImpact",
|
|
41
|
+
"evidenceRelation",
|
|
42
|
+
"sourceQuality",
|
|
43
|
+
"methodology",
|
|
44
|
+
"informationAsymmetry",
|
|
45
|
+
"sourceRef",
|
|
46
|
+
"targetBeliefId",
|
|
47
|
+
"verificationStatus"
|
|
48
|
+
];
|
|
49
|
+
var EVIDENCE_TAXONOMY_REFUSAL_IDS = [
|
|
50
|
+
"orphan_evidence_create_refused",
|
|
51
|
+
"non_belief_create_target_refused",
|
|
52
|
+
"zero_signed_impact_refused",
|
|
53
|
+
"relation_signed_impact_mismatch_refused",
|
|
54
|
+
"unscoped_list_evidence_refused",
|
|
55
|
+
"metadata_scoring_plan_refused"
|
|
56
|
+
];
|
|
57
|
+
var EvidenceRelationSchema = z.enum(EVIDENCE_RELATION_VALUES);
|
|
58
|
+
var EvidenceMethodologySchema = z.enum(EVIDENCE_METHODOLOGY_VALUES);
|
|
59
|
+
var EvidenceInformationAsymmetrySchema = z.enum(
|
|
60
|
+
EVIDENCE_INFORMATION_ASYMMETRY_VALUES
|
|
61
|
+
);
|
|
62
|
+
var EvidenceSourceQualitySchema = z.enum(
|
|
63
|
+
EVIDENCE_SOURCE_QUALITY_VALUES
|
|
64
|
+
);
|
|
65
|
+
var EvidenceSourceTypeSchema = z.enum(EVIDENCE_SOURCE_TYPE_VALUES);
|
|
66
|
+
var EvidenceScoringDimensionSchema = z.enum(
|
|
67
|
+
EVIDENCE_SCORING_DIMENSIONS
|
|
68
|
+
);
|
|
69
|
+
|
|
70
|
+
export { EVIDENCE_INFORMATION_ASYMMETRY_VALUES, EVIDENCE_METHODOLOGY_VALUES, EVIDENCE_RELATION_VALUES, EVIDENCE_SCORING_DIMENSIONS, EVIDENCE_SOURCE_QUALITY_VALUES, EVIDENCE_SOURCE_TYPE_VALUES, EVIDENCE_TAXONOMY_REFUSAL_IDS, EvidenceInformationAsymmetrySchema, EvidenceMethodologySchema, EvidenceRelationSchema, EvidenceScoringDimensionSchema, EvidenceSourceQualitySchema, EvidenceSourceTypeSchema };
|
|
@@ -0,0 +1,173 @@
|
|
|
1
|
+
import { z } from 'zod';
|
|
2
|
+
|
|
3
|
+
// src/types/graph-ref.ts
|
|
4
|
+
z.enum([
|
|
5
|
+
"decision",
|
|
6
|
+
"belief",
|
|
7
|
+
"question",
|
|
8
|
+
"theme",
|
|
9
|
+
"deal",
|
|
10
|
+
"topic",
|
|
11
|
+
"claim",
|
|
12
|
+
"evidence",
|
|
13
|
+
"synthesis",
|
|
14
|
+
"answer",
|
|
15
|
+
"atomic_fact",
|
|
16
|
+
"excerpt",
|
|
17
|
+
"source",
|
|
18
|
+
"company",
|
|
19
|
+
"person",
|
|
20
|
+
"investor",
|
|
21
|
+
"function",
|
|
22
|
+
"value_chain"
|
|
23
|
+
]);
|
|
24
|
+
var EDGE_TYPE_VALUES = [
|
|
25
|
+
"supports",
|
|
26
|
+
"informs",
|
|
27
|
+
"depends_on",
|
|
28
|
+
"derived_from",
|
|
29
|
+
"contains",
|
|
30
|
+
"tests",
|
|
31
|
+
"supersedes",
|
|
32
|
+
"responds_to",
|
|
33
|
+
"belongs_to",
|
|
34
|
+
"relates_to_thesis",
|
|
35
|
+
"works_at",
|
|
36
|
+
"invested_in",
|
|
37
|
+
"competes_with",
|
|
38
|
+
"participates_in",
|
|
39
|
+
"founded_by",
|
|
40
|
+
"evaluates",
|
|
41
|
+
"performs",
|
|
42
|
+
"function_in",
|
|
43
|
+
"impacts",
|
|
44
|
+
"raised_from",
|
|
45
|
+
"mentioned_in",
|
|
46
|
+
"perspective_on",
|
|
47
|
+
"plays_theme",
|
|
48
|
+
"answers",
|
|
49
|
+
"explores",
|
|
50
|
+
"qualifies",
|
|
51
|
+
"based_on",
|
|
52
|
+
"based_on_belief",
|
|
53
|
+
"based_on_question",
|
|
54
|
+
"blocked_by_contradiction",
|
|
55
|
+
"informed_by_theme",
|
|
56
|
+
"same_as",
|
|
57
|
+
"reinforces",
|
|
58
|
+
"parent_of",
|
|
59
|
+
"child_of",
|
|
60
|
+
"falsified_by",
|
|
61
|
+
"exclusive_with",
|
|
62
|
+
"collapses_if",
|
|
63
|
+
"cascade_from",
|
|
64
|
+
"counterfactual_of",
|
|
65
|
+
"cascade_to",
|
|
66
|
+
"mutually_exclusive",
|
|
67
|
+
"correlates_with",
|
|
68
|
+
"amplifies",
|
|
69
|
+
"precondition_for",
|
|
70
|
+
"in_tension_with",
|
|
71
|
+
"strengthened_by",
|
|
72
|
+
"weakened_by",
|
|
73
|
+
"alternative_to",
|
|
74
|
+
"subsumes",
|
|
75
|
+
"validated_by",
|
|
76
|
+
"required_for",
|
|
77
|
+
"blocks",
|
|
78
|
+
"prerequisite_for",
|
|
79
|
+
"parallel_to",
|
|
80
|
+
"corroborates",
|
|
81
|
+
"extends",
|
|
82
|
+
"same_source_as",
|
|
83
|
+
"same_theme_as",
|
|
84
|
+
"assumes",
|
|
85
|
+
"would_predict",
|
|
86
|
+
"analogous_to",
|
|
87
|
+
"independent_of",
|
|
88
|
+
"implements",
|
|
89
|
+
"violates",
|
|
90
|
+
"co_changes_with",
|
|
91
|
+
"migrating_from",
|
|
92
|
+
"migrating_to",
|
|
93
|
+
"scoped_by",
|
|
94
|
+
"about_entity",
|
|
95
|
+
"entity_referenced_in",
|
|
96
|
+
"contradicts",
|
|
97
|
+
"cites",
|
|
98
|
+
"summarizes",
|
|
99
|
+
"related_to",
|
|
100
|
+
"partially_answers",
|
|
101
|
+
"refines",
|
|
102
|
+
"branches_from"
|
|
103
|
+
];
|
|
104
|
+
var STORAGE_EDGE_TYPE_VALUES = [
|
|
105
|
+
...EDGE_TYPE_VALUES,
|
|
106
|
+
"extracted_from"
|
|
107
|
+
];
|
|
108
|
+
z.enum(EDGE_TYPE_VALUES);
|
|
109
|
+
z.enum(STORAGE_EDGE_TYPE_VALUES);
|
|
110
|
+
z.enum(["active", "archived", "watching"]);
|
|
111
|
+
z.enum([
|
|
112
|
+
"private",
|
|
113
|
+
"team",
|
|
114
|
+
"firm",
|
|
115
|
+
"external",
|
|
116
|
+
"public"
|
|
117
|
+
]);
|
|
118
|
+
|
|
119
|
+
// src/ids/edge-storage-vocabulary.ts
|
|
120
|
+
new Set(
|
|
121
|
+
STORAGE_EDGE_TYPE_VALUES
|
|
122
|
+
);
|
|
123
|
+
|
|
124
|
+
// src/ids/index.ts
|
|
125
|
+
var UUID_PATTERN = /^[0-9a-f]{8}-[0-9a-f]{4}-[0-9a-f]{4}-[89ab][0-9a-f]{3}-[0-9a-f]{12}$/i;
|
|
126
|
+
function isUuidV7(value) {
|
|
127
|
+
return UUID_PATTERN.test(value) && value[14]?.toLowerCase() === "7";
|
|
128
|
+
}
|
|
129
|
+
|
|
130
|
+
// src/schema-helpers/spine/tables/epistemicNodes.ts
|
|
131
|
+
var NODE_TYPES = [
|
|
132
|
+
"decision",
|
|
133
|
+
"belief",
|
|
134
|
+
"question",
|
|
135
|
+
"theme",
|
|
136
|
+
"deal",
|
|
137
|
+
"topic",
|
|
138
|
+
"claim",
|
|
139
|
+
"evidence",
|
|
140
|
+
"synthesis",
|
|
141
|
+
"answer",
|
|
142
|
+
"atomic_fact",
|
|
143
|
+
"excerpt",
|
|
144
|
+
"source",
|
|
145
|
+
"company",
|
|
146
|
+
"person",
|
|
147
|
+
"investor",
|
|
148
|
+
"function",
|
|
149
|
+
"value_chain"
|
|
150
|
+
];
|
|
151
|
+
new Set(NODE_TYPES);
|
|
152
|
+
|
|
153
|
+
// src/types/graph-ref.ts
|
|
154
|
+
var GRAPH_REF_EXTRA_NODE_TYPES = [
|
|
155
|
+
"edge",
|
|
156
|
+
"ontology",
|
|
157
|
+
"lens",
|
|
158
|
+
"contradiction"
|
|
159
|
+
];
|
|
160
|
+
var GRAPH_REF_NODE_TYPES = [
|
|
161
|
+
...NODE_TYPES,
|
|
162
|
+
...GRAPH_REF_EXTRA_NODE_TYPES
|
|
163
|
+
];
|
|
164
|
+
var EpistemicNodeTypeSchema = z.enum(
|
|
165
|
+
GRAPH_REF_NODE_TYPES
|
|
166
|
+
);
|
|
167
|
+
var GraphRefSchema = z.object({
|
|
168
|
+
kind: z.literal("epistemic_node"),
|
|
169
|
+
nodeId: z.string().refine(isUuidV7, "must be UUIDv7"),
|
|
170
|
+
nodeType: EpistemicNodeTypeSchema
|
|
171
|
+
});
|
|
172
|
+
|
|
173
|
+
export { EpistemicNodeTypeSchema, GRAPH_REF_NODE_TYPES, GraphRefSchema };
|
|
@@ -0,0 +1,15 @@
|
|
|
1
|
+
// src/types/reasoning-method.ts
|
|
2
|
+
var REASONING_METHODS = [
|
|
3
|
+
"deductive",
|
|
4
|
+
"inductive",
|
|
5
|
+
"abductive",
|
|
6
|
+
"analogical",
|
|
7
|
+
"causal",
|
|
8
|
+
"correlational",
|
|
9
|
+
"testimonial",
|
|
10
|
+
"statistical",
|
|
11
|
+
"implicit",
|
|
12
|
+
"pattern_match"
|
|
13
|
+
];
|
|
14
|
+
|
|
15
|
+
export { REASONING_METHODS };
|
|
@@ -0,0 +1,96 @@
|
|
|
1
|
+
import { z } from 'zod';
|
|
2
|
+
|
|
3
|
+
// src/types/traversal-mode-constitution.ts
|
|
4
|
+
var TRAVERSAL_MODE_VALUES = [
|
|
5
|
+
"anchored_ranked",
|
|
6
|
+
"bounded_exploration",
|
|
7
|
+
"contradiction_scan",
|
|
8
|
+
"pattern_recall",
|
|
9
|
+
"forensic_replay"
|
|
10
|
+
];
|
|
11
|
+
var TRAVERSAL_DEPTH_VALUES = [
|
|
12
|
+
"low",
|
|
13
|
+
"medium",
|
|
14
|
+
"high",
|
|
15
|
+
"extra-high"
|
|
16
|
+
];
|
|
17
|
+
var LEGACY_EDGE_TRAVERSAL_MODE_VALUES = [
|
|
18
|
+
"anchor_down",
|
|
19
|
+
"anchor_up",
|
|
20
|
+
"same_layer",
|
|
21
|
+
"decision_trace"
|
|
22
|
+
];
|
|
23
|
+
var TRAVERSAL_MODE_CONSTITUTION_REFUSAL_IDS = [
|
|
24
|
+
"missing_traversal_mode_refused",
|
|
25
|
+
"missing_traversal_depth_refused",
|
|
26
|
+
"invalid_traversal_mode_refused",
|
|
27
|
+
"invalid_traversal_depth_refused",
|
|
28
|
+
"legacy_depth_as_mode_refused",
|
|
29
|
+
"depth_exceeds_mode_ceiling_refused",
|
|
30
|
+
"mode_without_required_anchor_refused",
|
|
31
|
+
"bounded_exploration_scope_missing_refused",
|
|
32
|
+
"pattern_recall_evidence_write_refused",
|
|
33
|
+
"forensic_replay_horizon_missing_refused"
|
|
34
|
+
];
|
|
35
|
+
var ConstitutionalTraversalModeSchema = z.enum(TRAVERSAL_MODE_VALUES);
|
|
36
|
+
var TraversalDepthSchema = z.enum(TRAVERSAL_DEPTH_VALUES);
|
|
37
|
+
var LegacyEdgeTraversalModeSchema = z.enum(
|
|
38
|
+
LEGACY_EDGE_TRAVERSAL_MODE_VALUES
|
|
39
|
+
);
|
|
40
|
+
function normalizeTraversalDepth(value) {
|
|
41
|
+
const parsed = TraversalDepthSchema.safeParse(value);
|
|
42
|
+
return parsed.success ? parsed.data : void 0;
|
|
43
|
+
}
|
|
44
|
+
function canonicalizeTraversalMode(value) {
|
|
45
|
+
const parsed = ConstitutionalTraversalModeSchema.safeParse(value);
|
|
46
|
+
if (parsed.success) {
|
|
47
|
+
return parsed.data;
|
|
48
|
+
}
|
|
49
|
+
switch (value) {
|
|
50
|
+
case "anchor_down":
|
|
51
|
+
case "anchor_up":
|
|
52
|
+
return "anchored_ranked";
|
|
53
|
+
case "same_layer":
|
|
54
|
+
return "bounded_exploration";
|
|
55
|
+
case "decision_trace":
|
|
56
|
+
return "forensic_replay";
|
|
57
|
+
default:
|
|
58
|
+
return;
|
|
59
|
+
}
|
|
60
|
+
}
|
|
61
|
+
function toLegacyEdgeTraversalMode(value) {
|
|
62
|
+
const legacy = LegacyEdgeTraversalModeSchema.safeParse(value);
|
|
63
|
+
if (legacy.success) {
|
|
64
|
+
return legacy.data;
|
|
65
|
+
}
|
|
66
|
+
switch (canonicalizeTraversalMode(value)) {
|
|
67
|
+
case "anchored_ranked":
|
|
68
|
+
return "anchor_down";
|
|
69
|
+
case "bounded_exploration":
|
|
70
|
+
return "same_layer";
|
|
71
|
+
case "contradiction_scan":
|
|
72
|
+
return "same_layer";
|
|
73
|
+
case "pattern_recall":
|
|
74
|
+
return "same_layer";
|
|
75
|
+
case "forensic_replay":
|
|
76
|
+
return "decision_trace";
|
|
77
|
+
default:
|
|
78
|
+
return;
|
|
79
|
+
}
|
|
80
|
+
}
|
|
81
|
+
function maxDepthForTraversalDepth(value) {
|
|
82
|
+
switch (normalizeTraversalDepth(value)) {
|
|
83
|
+
case "low":
|
|
84
|
+
return 1;
|
|
85
|
+
case "medium":
|
|
86
|
+
return 2;
|
|
87
|
+
case "high":
|
|
88
|
+
return 4;
|
|
89
|
+
case "extra-high":
|
|
90
|
+
return 8;
|
|
91
|
+
default:
|
|
92
|
+
return;
|
|
93
|
+
}
|
|
94
|
+
}
|
|
95
|
+
|
|
96
|
+
export { ConstitutionalTraversalModeSchema, LEGACY_EDGE_TRAVERSAL_MODE_VALUES, LegacyEdgeTraversalModeSchema, TRAVERSAL_DEPTH_VALUES, TRAVERSAL_MODE_CONSTITUTION_REFUSAL_IDS, TRAVERSAL_MODE_VALUES, TraversalDepthSchema, canonicalizeTraversalMode, maxDepthForTraversalDepth, normalizeTraversalDepth, toLegacyEdgeTraversalMode };
|