@lucern/confidence 0.1.0-alpha.2
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/README.md +34 -0
- package/dist/index.d.ts +17 -0
- package/dist/index.js +1833 -0
- package/dist/index.js.map +1 -0
- package/dist/v1/index.d.ts +17 -0
- package/dist/v1/index.js +1833 -0
- package/dist/v1/index.js.map +1 -0
- package/dist/v1/interfaces.d.ts +28 -0
- package/dist/v1/interfaces.js +3 -0
- package/dist/v1/interfaces.js.map +1 -0
- package/dist/v1/operations/approximation.d.ts +8 -0
- package/dist/v1/operations/approximation.js +219 -0
- package/dist/v1/operations/approximation.js.map +1 -0
- package/dist/v1/operations/bridge/index.d.ts +12 -0
- package/dist/v1/operations/bridge/index.js +89 -0
- package/dist/v1/operations/bridge/index.js.map +1 -0
- package/dist/v1/operations/canonical.d.ts +7 -0
- package/dist/v1/operations/canonical.js +199 -0
- package/dist/v1/operations/canonical.js.map +1 -0
- package/dist/v1/operations/contracts/epistemicContract.d.ts +51 -0
- package/dist/v1/operations/contracts/epistemicContract.js +320 -0
- package/dist/v1/operations/contracts/epistemicContract.js.map +1 -0
- package/dist/v1/operations/contradiction/detectTupleContradiction.d.ts +13 -0
- package/dist/v1/operations/contradiction/detectTupleContradiction.js +40 -0
- package/dist/v1/operations/contradiction/detectTupleContradiction.js.map +1 -0
- package/dist/v1/operations/contradiction/index.d.ts +2 -0
- package/dist/v1/operations/contradiction/index.js +40 -0
- package/dist/v1/operations/contradiction/index.js.map +1 -0
- package/dist/v1/operations/dynamics/cascade.d.ts +6 -0
- package/dist/v1/operations/dynamics/cascade.js +56 -0
- package/dist/v1/operations/dynamics/cascade.js.map +1 -0
- package/dist/v1/operations/dynamics/decay.d.ts +25 -0
- package/dist/v1/operations/dynamics/decay.js +271 -0
- package/dist/v1/operations/dynamics/decay.js.map +1 -0
- package/dist/v1/operations/dynamics/defeat.d.ts +6 -0
- package/dist/v1/operations/dynamics/defeat.js +134 -0
- package/dist/v1/operations/dynamics/defeat.js.map +1 -0
- package/dist/v1/operations/dynamics/propagation.d.ts +58 -0
- package/dist/v1/operations/dynamics/propagation.js +399 -0
- package/dist/v1/operations/dynamics/propagation.js.map +1 -0
- package/dist/v1/operations/dynamics/revision.d.ts +24 -0
- package/dist/v1/operations/dynamics/revision.js +111 -0
- package/dist/v1/operations/dynamics/revision.js.map +1 -0
- package/dist/v1/operations/index.d.ts +2 -0
- package/dist/v1/operations/index.js +66 -0
- package/dist/v1/operations/index.js.map +1 -0
- package/dist/v1/operations/lucern.d.ts +14 -0
- package/dist/v1/operations/lucern.js +1280 -0
- package/dist/v1/operations/lucern.js.map +1 -0
- package/dist/v1/operations/operatorTaxonomy.d.ts +366 -0
- package/dist/v1/operations/operatorTaxonomy.js +508 -0
- package/dist/v1/operations/operatorTaxonomy.js.map +1 -0
- package/dist/v1/operations/scoring.d.ts +28 -0
- package/dist/v1/operations/scoring.js +107 -0
- package/dist/v1/operations/scoring.js.map +1 -0
- package/dist/v1/operations/subjectiveLogic/index.d.ts +26 -0
- package/dist/v1/operations/subjectiveLogic/index.js +285 -0
- package/dist/v1/operations/subjectiveLogic/index.js.map +1 -0
- package/dist/v1/operations/temporalDecay.d.ts +24 -0
- package/dist/v1/operations/temporalDecay.js +66 -0
- package/dist/v1/operations/temporalDecay.js.map +1 -0
- package/dist/v1/types.d.ts +208 -0
- package/dist/v1/types.js +3 -0
- package/dist/v1/types.js.map +1 -0
- package/package.json +46 -0
|
@@ -0,0 +1,208 @@
|
|
|
1
|
+
type Opinion = {
|
|
2
|
+
b: number;
|
|
3
|
+
d: number;
|
|
4
|
+
u: number;
|
|
5
|
+
a: number;
|
|
6
|
+
};
|
|
7
|
+
type DirichletOpinion = {
|
|
8
|
+
b: number[];
|
|
9
|
+
u: number;
|
|
10
|
+
a: number[];
|
|
11
|
+
};
|
|
12
|
+
type TupleContradictionPolicy = {
|
|
13
|
+
beliefThreshold: number;
|
|
14
|
+
disbeliefThreshold: number;
|
|
15
|
+
};
|
|
16
|
+
type ConfidenceScoringMode = "after_worktree" | "always";
|
|
17
|
+
type ConfidencePolicyConfig = {
|
|
18
|
+
scoringMode: ConfidenceScoringMode;
|
|
19
|
+
tupleContradiction: TupleContradictionPolicy;
|
|
20
|
+
};
|
|
21
|
+
type TupleContradictionTransition = {
|
|
22
|
+
tupleContradicted: boolean;
|
|
23
|
+
crossedIntoTupleContradiction: boolean;
|
|
24
|
+
crossedOutOfTupleContradiction: boolean;
|
|
25
|
+
policy: TupleContradictionPolicy;
|
|
26
|
+
};
|
|
27
|
+
type StoredOpinionFields = {
|
|
28
|
+
belief: number;
|
|
29
|
+
disbelief: number;
|
|
30
|
+
uncertainty: number;
|
|
31
|
+
baseRate: number;
|
|
32
|
+
};
|
|
33
|
+
type SLOperator = "cumulative_fusion" | "averaging_fusion" | "trust_discount" | "conditional_deduction" | "dependency_cascade" | "negation" | "constraint_fusion" | "manual_assessment";
|
|
34
|
+
type PropagationResult = {
|
|
35
|
+
opinion: Opinion;
|
|
36
|
+
operator: SLOperator;
|
|
37
|
+
rationale: string;
|
|
38
|
+
};
|
|
39
|
+
type EdgeConstraint = "xor" | "alternative" | "counterfactual";
|
|
40
|
+
type EdgeNormalization = "pressure" | "redistribute";
|
|
41
|
+
type PropagationMode = "threshold" | "continuous";
|
|
42
|
+
type EdgeMetadata = {
|
|
43
|
+
constraint?: EdgeConstraint;
|
|
44
|
+
normalization?: EdgeNormalization;
|
|
45
|
+
propagation?: PropagationMode;
|
|
46
|
+
conditionalA?: Opinion;
|
|
47
|
+
conditionalNotA?: Opinion;
|
|
48
|
+
};
|
|
49
|
+
type BeliefLifecycleBucket = "assumption" | "hypothesis" | "belief" | "fact";
|
|
50
|
+
type DecayTierLabel = "fresh" | "aging" | "stale" | "expired";
|
|
51
|
+
type DeadlineUrgencyLabel = "distant" | "approaching" | "near" | "imminent" | "critical" | "overdue";
|
|
52
|
+
type DecayTier = {
|
|
53
|
+
maxAgeDays: number;
|
|
54
|
+
weight: number;
|
|
55
|
+
label: DecayTierLabel;
|
|
56
|
+
action: string;
|
|
57
|
+
rescoreInDays: number;
|
|
58
|
+
};
|
|
59
|
+
type DeadlineUrgencyTier = {
|
|
60
|
+
minDaysToDeadline: number;
|
|
61
|
+
urgencyMultiplier: number;
|
|
62
|
+
label: DeadlineUrgencyLabel;
|
|
63
|
+
rescoreIntervalDays: number;
|
|
64
|
+
action: string;
|
|
65
|
+
};
|
|
66
|
+
type DeadlineUrgency = {
|
|
67
|
+
daysToDeadline: number;
|
|
68
|
+
urgencyTier: DeadlineUrgencyTier;
|
|
69
|
+
urgencyMultiplier: number;
|
|
70
|
+
isOverdue: boolean;
|
|
71
|
+
} | null;
|
|
72
|
+
type EffectiveDecay = {
|
|
73
|
+
ageDays: number;
|
|
74
|
+
baseTier: DecayTier;
|
|
75
|
+
baseWeight: number;
|
|
76
|
+
urgency: DeadlineUrgency;
|
|
77
|
+
effectiveWeight: number;
|
|
78
|
+
rescoreByDate: number;
|
|
79
|
+
rescoreInDays: number;
|
|
80
|
+
action: string;
|
|
81
|
+
};
|
|
82
|
+
type RescoringSchedule = {
|
|
83
|
+
nextRescoreBy: number;
|
|
84
|
+
daysUntilRescore: number;
|
|
85
|
+
isOverdue: boolean;
|
|
86
|
+
priority: "critical" | "high" | "medium" | "low";
|
|
87
|
+
reason: string;
|
|
88
|
+
decay: EffectiveDecay;
|
|
89
|
+
};
|
|
90
|
+
type EpistemicContractConditionType = "assertion" | "temporal" | "evidential" | "threshold" | "composite";
|
|
91
|
+
type EpistemicContractDirection = "confirms" | "falsifies";
|
|
92
|
+
type EpistemicContractCompositeOperator = "all" | "any" | "majority";
|
|
93
|
+
type EpistemicContractSchedule = "on_demand" | "on_evidence" | "periodic" | "event_driven";
|
|
94
|
+
type EpistemicContractStatus = "active" | "satisfied" | "violated" | "expired" | "suspended" | "archived";
|
|
95
|
+
type EpistemicContractLineageSource = "declared" | "inherited";
|
|
96
|
+
type EpistemicContractEvaluationResult = "confirmed" | "disconfirmed" | "partial" | "expired" | "error" | "inconclusive";
|
|
97
|
+
type VerificationConfidenceTrigger = "verification_confirmed" | "verification_disconfirmed" | "verification_expired" | "verification_partial";
|
|
98
|
+
type EpistemicContractCondition = {
|
|
99
|
+
expression: string;
|
|
100
|
+
evaluator: string;
|
|
101
|
+
evaluatorConfig?: unknown;
|
|
102
|
+
};
|
|
103
|
+
type ContractConfirmedRule = {
|
|
104
|
+
delta: number;
|
|
105
|
+
ceiling?: number;
|
|
106
|
+
};
|
|
107
|
+
type ContractDisconfirmedRule = {
|
|
108
|
+
delta: number;
|
|
109
|
+
floor?: number;
|
|
110
|
+
};
|
|
111
|
+
type ContractExpiredRule = {
|
|
112
|
+
delta: number;
|
|
113
|
+
};
|
|
114
|
+
type ContractPartialRule = {
|
|
115
|
+
threshold: number;
|
|
116
|
+
delta: number;
|
|
117
|
+
};
|
|
118
|
+
type EpistemicContractModulation = {
|
|
119
|
+
onConfirmed: ContractConfirmedRule;
|
|
120
|
+
onDisconfirmed: ContractDisconfirmedRule;
|
|
121
|
+
onExpired?: ContractExpiredRule;
|
|
122
|
+
onPartial?: ContractPartialRule;
|
|
123
|
+
};
|
|
124
|
+
type EpistemicContractRecord<TBeliefId = string, TTopicId = string | undefined> = {
|
|
125
|
+
beliefNodeId: TBeliefId;
|
|
126
|
+
contractId: string;
|
|
127
|
+
title: string;
|
|
128
|
+
description?: string;
|
|
129
|
+
conditionType: EpistemicContractConditionType;
|
|
130
|
+
direction: EpistemicContractDirection;
|
|
131
|
+
condition: EpistemicContractCondition;
|
|
132
|
+
deadline?: number;
|
|
133
|
+
compositeOf?: string[];
|
|
134
|
+
compositeOperator?: EpistemicContractCompositeOperator;
|
|
135
|
+
modulation: EpistemicContractModulation;
|
|
136
|
+
evaluationSchedule: EpistemicContractSchedule;
|
|
137
|
+
periodicIntervalMs?: number;
|
|
138
|
+
status: EpistemicContractStatus;
|
|
139
|
+
lineageSource: EpistemicContractLineageSource;
|
|
140
|
+
inheritedFromContractId?: string;
|
|
141
|
+
inheritedFromBeliefNodeId?: TBeliefId;
|
|
142
|
+
inheritedAt?: number;
|
|
143
|
+
lastEvaluatedAt?: number;
|
|
144
|
+
evaluationCount?: number;
|
|
145
|
+
topicId?: TTopicId;
|
|
146
|
+
createdAt: number;
|
|
147
|
+
createdBy: string;
|
|
148
|
+
updatedAt: number;
|
|
149
|
+
};
|
|
150
|
+
type ContractModulationPlan = {
|
|
151
|
+
confidenceBefore: number;
|
|
152
|
+
confidenceAfter: number;
|
|
153
|
+
confidenceDelta: number;
|
|
154
|
+
trigger: VerificationConfidenceTrigger;
|
|
155
|
+
};
|
|
156
|
+
type EvidentialMetric = "evidence_count" | "contradiction_status" | "edge_freshness" | "dependent_count";
|
|
157
|
+
type EvidentialOperator = "gte" | "lte" | "eq" | "gt" | "lt";
|
|
158
|
+
type EvidentialAction = "modulate_confidence" | "flag_review" | "archive";
|
|
159
|
+
type EvidentialEvaluatorConfig = {
|
|
160
|
+
metric: EvidentialMetric;
|
|
161
|
+
operator: EvidentialOperator;
|
|
162
|
+
threshold: number;
|
|
163
|
+
action?: EvidentialAction;
|
|
164
|
+
actionParams?: {
|
|
165
|
+
targetConfidence?: number;
|
|
166
|
+
rationale?: string;
|
|
167
|
+
};
|
|
168
|
+
};
|
|
169
|
+
type EvidentialMetricSnapshot = {
|
|
170
|
+
metric: EvidentialMetric;
|
|
171
|
+
value: number | null;
|
|
172
|
+
data: Record<string, unknown>;
|
|
173
|
+
};
|
|
174
|
+
type MetricCheckerEvaluatorConfig = {
|
|
175
|
+
metric?: string;
|
|
176
|
+
operator: EvidentialOperator;
|
|
177
|
+
threshold: number;
|
|
178
|
+
observedValue?: number;
|
|
179
|
+
currentValue?: number;
|
|
180
|
+
metricValue?: number;
|
|
181
|
+
unit?: string;
|
|
182
|
+
};
|
|
183
|
+
type ReferenceCheckCounterConfig = {
|
|
184
|
+
tag: string;
|
|
185
|
+
operator: EvidentialOperator;
|
|
186
|
+
threshold: number;
|
|
187
|
+
caseSensitive?: boolean;
|
|
188
|
+
};
|
|
189
|
+
type TemporalDeadlineEvaluatorConfig = {
|
|
190
|
+
label?: string;
|
|
191
|
+
completed?: boolean;
|
|
192
|
+
completedAt?: number;
|
|
193
|
+
observedAt?: number;
|
|
194
|
+
satisfiedAt?: number;
|
|
195
|
+
achievedAt?: number;
|
|
196
|
+
};
|
|
197
|
+
type MarketIndexComparatorConfig = {
|
|
198
|
+
subject?: string;
|
|
199
|
+
subjectValue?: number;
|
|
200
|
+
primaryValue?: number;
|
|
201
|
+
benchmark?: string;
|
|
202
|
+
benchmarkValue?: number;
|
|
203
|
+
comparisonValue?: number;
|
|
204
|
+
operator: EvidentialOperator;
|
|
205
|
+
threshold: number;
|
|
206
|
+
};
|
|
207
|
+
|
|
208
|
+
export type { BeliefLifecycleBucket, ConfidencePolicyConfig, ConfidenceScoringMode, ContractConfirmedRule, ContractDisconfirmedRule, ContractExpiredRule, ContractModulationPlan, ContractPartialRule, DeadlineUrgency, DeadlineUrgencyLabel, DeadlineUrgencyTier, DecayTier, DecayTierLabel, DirichletOpinion, EdgeConstraint, EdgeMetadata, EdgeNormalization, EffectiveDecay, EpistemicContractCompositeOperator, EpistemicContractCondition, EpistemicContractConditionType, EpistemicContractDirection, EpistemicContractEvaluationResult, EpistemicContractLineageSource, EpistemicContractModulation, EpistemicContractRecord, EpistemicContractSchedule, EpistemicContractStatus, EvidentialAction, EvidentialEvaluatorConfig, EvidentialMetric, EvidentialMetricSnapshot, EvidentialOperator, MarketIndexComparatorConfig, MetricCheckerEvaluatorConfig, Opinion, PropagationMode, PropagationResult, ReferenceCheckCounterConfig, RescoringSchedule, SLOperator, StoredOpinionFields, TemporalDeadlineEvaluatorConfig, TupleContradictionPolicy, TupleContradictionTransition, VerificationConfidenceTrigger };
|
package/dist/v1/types.js
ADDED
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"sources":[],"names":[],"mappings":"","file":"types.js"}
|
package/package.json
ADDED
|
@@ -0,0 +1,46 @@
|
|
|
1
|
+
{
|
|
2
|
+
"name": "@lucern/confidence",
|
|
3
|
+
"version": "0.1.0-alpha.2",
|
|
4
|
+
"type": "module",
|
|
5
|
+
"main": "./dist/index.js",
|
|
6
|
+
"types": "./dist/index.d.ts",
|
|
7
|
+
"files": [
|
|
8
|
+
"dist",
|
|
9
|
+
"README.md"
|
|
10
|
+
],
|
|
11
|
+
"publishConfig": {
|
|
12
|
+
"access": "restricted"
|
|
13
|
+
},
|
|
14
|
+
"exports": {
|
|
15
|
+
".": {
|
|
16
|
+
"types": "./dist/index.d.ts",
|
|
17
|
+
"import": "./dist/index.js"
|
|
18
|
+
},
|
|
19
|
+
"./v1": {
|
|
20
|
+
"types": "./dist/v1/index.d.ts",
|
|
21
|
+
"import": "./dist/v1/index.js"
|
|
22
|
+
},
|
|
23
|
+
"./v1.js": {
|
|
24
|
+
"types": "./dist/v1/index.d.ts",
|
|
25
|
+
"import": "./dist/v1/index.js"
|
|
26
|
+
},
|
|
27
|
+
"./*.js": {
|
|
28
|
+
"types": "./dist/*.d.ts",
|
|
29
|
+
"import": "./dist/*.js"
|
|
30
|
+
},
|
|
31
|
+
"./*": {
|
|
32
|
+
"types": "./dist/*.d.ts",
|
|
33
|
+
"import": "./dist/*.js"
|
|
34
|
+
}
|
|
35
|
+
},
|
|
36
|
+
"scripts": {
|
|
37
|
+
"build": "tsup",
|
|
38
|
+
"prepack": "npm run build",
|
|
39
|
+
"typecheck": "tsc --noEmit"
|
|
40
|
+
},
|
|
41
|
+
"devDependencies": {
|
|
42
|
+
"tsup": "^8.3.0",
|
|
43
|
+
"typescript": "^5.7.0"
|
|
44
|
+
},
|
|
45
|
+
"sideEffects": false
|
|
46
|
+
}
|