@lucern/contracts 0.3.0-alpha.1 → 0.3.0-alpha.10
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/component-boundary.contract.d.ts +14 -0
- package/dist/component-boundary.contract.js +155 -0
- package/dist/component-boundary.contract.js.map +1 -0
- package/dist/component-host-boundary.contract.d.ts +41 -0
- package/dist/component-host-boundary.contract.js +54 -0
- package/dist/component-host-boundary.contract.js.map +1 -0
- package/dist/context-pack.contract.d.ts +5 -3
- package/dist/context-pack.contract.js.map +1 -1
- package/dist/{dsl-BgpoVOVQ.d.ts → dsl-djCRfuWC.d.ts} +1 -1
- package/dist/dsl.d.ts +1 -1
- package/dist/dsl.js +1 -4
- package/dist/dsl.js.map +1 -1
- package/dist/edge-policy-manifest-Dw5IhT1L.d.ts +133 -0
- package/dist/function-registry/beliefs.d.ts +41 -41
- package/dist/function-registry/beliefs.js +709 -31
- package/dist/function-registry/beliefs.js.map +1 -1
- package/dist/function-registry/coding.js +694 -31
- package/dist/function-registry/coding.js.map +1 -1
- package/dist/function-registry/context.d.ts +13 -13
- package/dist/function-registry/context.js +700 -35
- package/dist/function-registry/context.js.map +1 -1
- package/dist/function-registry/contracts.js +665 -28
- package/dist/function-registry/contracts.js.map +1 -1
- package/dist/function-registry/coordination.js +665 -28
- package/dist/function-registry/coordination.js.map +1 -1
- package/dist/function-registry/edges.d.ts +156 -0
- package/dist/function-registry/edges.js +876 -60
- package/dist/function-registry/edges.js.map +1 -1
- package/dist/function-registry/evidence.d.ts +33 -33
- package/dist/function-registry/evidence.js +717 -37
- package/dist/function-registry/evidence.js.map +1 -1
- package/dist/function-registry/graph.d.ts +131 -53
- package/dist/function-registry/graph.js +781 -35
- package/dist/function-registry/graph.js.map +1 -1
- package/dist/function-registry/helpers.d.ts +3 -3
- package/dist/function-registry/helpers.js +665 -28
- package/dist/function-registry/helpers.js.map +1 -1
- package/dist/function-registry/identity.js +665 -28
- package/dist/function-registry/identity.js.map +1 -1
- package/dist/function-registry/index.d.ts +321 -7
- package/dist/function-registry/index.js +1046 -33
- package/dist/function-registry/index.js.map +1 -1
- package/dist/function-registry/judgments.d.ts +9 -9
- package/dist/function-registry/judgments.js +677 -31
- package/dist/function-registry/judgments.js.map +1 -1
- package/dist/function-registry/legacy.js +665 -28
- package/dist/function-registry/legacy.js.map +1 -1
- package/dist/function-registry/lenses.d.ts +17 -17
- package/dist/function-registry/lenses.js +688 -31
- package/dist/function-registry/lenses.js.map +1 -1
- package/dist/function-registry/manifest.d.ts +6 -6
- package/dist/function-registry/manifest.js +18 -2
- package/dist/function-registry/manifest.js.map +1 -1
- package/dist/function-registry/ontologies.d.ts +45 -45
- package/dist/function-registry/ontologies.js +683 -34
- package/dist/function-registry/ontologies.js.map +1 -1
- package/dist/function-registry/pipeline.d.ts +13 -13
- package/dist/function-registry/pipeline.js +674 -31
- package/dist/function-registry/pipeline.js.map +1 -1
- package/dist/function-registry/questions.d.ts +49 -49
- package/dist/function-registry/questions.js +762 -36
- package/dist/function-registry/questions.js.map +1 -1
- package/dist/function-registry/tasks.d.ts +17 -17
- package/dist/function-registry/tasks.js +709 -30
- package/dist/function-registry/tasks.js.map +1 -1
- package/dist/function-registry/topics.d.ts +99 -21
- package/dist/function-registry/topics.js +747 -32
- package/dist/function-registry/topics.js.map +1 -1
- package/dist/function-registry/types.d.ts +1 -1
- package/dist/function-registry/worktrees.d.ts +80 -41
- package/dist/function-registry/worktrees.js +804 -40
- package/dist/function-registry/worktrees.js.map +1 -1
- package/dist/function-registry-input-audit.d.ts +13 -0
- package/dist/function-registry-input-audit.js +166 -0
- package/dist/function-registry-input-audit.js.map +1 -0
- package/dist/gateway.contract.d.ts +2 -0
- package/dist/gateway.contract.js.map +1 -1
- package/dist/generated/convexSchemas.js +4 -3
- package/dist/generated/convexSchemas.js.map +1 -1
- package/dist/generated/schema-manifest.json +49 -3
- package/dist/generated/tableOwnership.d.ts +2 -1
- package/dist/generated/tableOwnership.js +2 -0
- package/dist/generated/tableOwnership.js.map +1 -1
- package/dist/generated/tier-expectations.json +4 -2
- package/dist/graph-intelligence.contract.d.ts +506 -0
- package/dist/graph-intelligence.contract.js +595 -0
- package/dist/graph-intelligence.contract.js.map +1 -0
- package/dist/graph-types/index.d.ts +5 -1
- package/dist/graph-types/index.js +15 -4
- package/dist/graph-types/index.js.map +1 -1
- package/dist/{index-CV-0_VWJ.d.ts → index-O09U2xHk.d.ts} +5 -2
- package/dist/index.d.ts +24 -413
- package/dist/index.js +3286 -136
- package/dist/index.js.map +1 -1
- package/dist/infisical-runtime.contract.d.ts +174 -0
- package/dist/infisical-runtime.contract.js +317 -0
- package/dist/infisical-runtime.contract.js.map +1 -0
- package/dist/lens-filter.contract.js +4 -3
- package/dist/lens-filter.contract.js.map +1 -1
- package/dist/lens-workflow.contract.js +4 -3
- package/dist/lens-workflow.contract.js.map +1 -1
- package/dist/manifests/edge-policy-manifest.d.ts +2 -0
- package/dist/manifests/edge-policy-manifest.data.d.ts +13 -0
- package/dist/manifests/edge-policy-manifest.data.js +26 -0
- package/dist/manifests/edge-policy-manifest.data.js.map +1 -0
- package/dist/manifests/edge-policy-manifest.js +92 -0
- package/dist/manifests/edge-policy-manifest.js.map +1 -0
- package/dist/manifests/infisical-runtime-manifest.d.ts +151 -0
- package/dist/manifests/infisical-runtime-manifest.js +316 -0
- package/dist/manifests/infisical-runtime-manifest.js.map +1 -0
- package/dist/manifests/invariant-manifest.d.ts +65 -0
- package/dist/manifests/invariant-manifest.js +18 -0
- package/dist/manifests/invariant-manifest.js.map +1 -0
- package/dist/manifests/invariants/ast-utils.d.ts +14 -0
- package/dist/manifests/invariants/ast-utils.js +54 -0
- package/dist/manifests/invariants/ast-utils.js.map +1 -0
- package/dist/manifests/invariants/index.d.ts +15 -0
- package/dist/manifests/invariants/index.js +183 -0
- package/dist/manifests/invariants/index.js.map +1 -0
- package/dist/manifests/invariants/inv-1-beliefs-append-only.d.ts +12 -0
- package/dist/manifests/invariants/inv-1-beliefs-append-only.js +94 -0
- package/dist/manifests/invariants/inv-1-beliefs-append-only.js.map +1 -0
- package/dist/manifests/invariants/inv-14-no-silent-transitions.d.ts +12 -0
- package/dist/manifests/invariants/inv-14-no-silent-transitions.js +99 -0
- package/dist/manifests/invariants/inv-14-no-silent-transitions.js.map +1 -0
- package/dist/manifests/invariants/manifest-1-projections-declare-audit.d.ts +12 -0
- package/dist/manifests/invariants/manifest-1-projections-declare-audit.js +42 -0
- package/dist/manifests/invariants/manifest-1-projections-declare-audit.js.map +1 -0
- package/dist/manifests/tenant-client-manifest.d.ts +322 -0
- package/dist/manifests/tenant-client-manifest.js +432 -0
- package/dist/manifests/tenant-client-manifest.js.map +1 -0
- package/dist/mcp-gateway-boundary.contract.d.ts +181 -0
- package/dist/mcp-gateway-boundary.contract.js +43 -0
- package/dist/mcp-gateway-boundary.contract.js.map +1 -0
- package/dist/projections/check-convex-args-shape.d.ts +3 -0
- package/dist/projections/check-convex-args-shape.js +399 -0
- package/dist/projections/check-convex-args-shape.js.map +1 -0
- package/dist/projections/create-evidence.projection.d.ts +176 -0
- package/dist/projections/create-evidence.projection.js +131 -0
- package/dist/projections/create-evidence.projection.js.map +1 -0
- package/dist/projections/index.d.ts +102 -0
- package/dist/projections/index.js +348 -0
- package/dist/projections/index.js.map +1 -0
- package/dist/projections/list-beliefs.projection.d.ts +36 -0
- package/dist/projections/list-beliefs.projection.js +54 -0
- package/dist/projections/list-beliefs.projection.js.map +1 -0
- package/dist/projections/list-tasks.projection.d.ts +32 -0
- package/dist/projections/list-tasks.projection.js +52 -0
- package/dist/projections/list-tasks.projection.js.map +1 -0
- package/dist/projections/modulate-confidence.projection.d.ts +219 -0
- package/dist/projections/modulate-confidence.projection.js +148 -0
- package/dist/projections/modulate-confidence.projection.js.map +1 -0
- package/dist/projections/projection-dsl.d.ts +11 -0
- package/dist/projections/projection-dsl.js +8 -0
- package/dist/projections/projection-dsl.js.map +1 -0
- package/dist/schema-helpers/enumValidation.js +2 -5
- package/dist/schema-helpers/enumValidation.js.map +1 -1
- package/dist/schema-helpers/spine/nodes/decision.js +2 -1
- package/dist/schema-helpers/spine/nodes/decision.js.map +1 -1
- package/dist/schema-helpers/spine/tables/epistemicNodes.js +27 -27
- package/dist/schema-helpers/spine/tables/epistemicNodes.js.map +1 -1
- package/dist/schemas/component-table-manifest.d.ts +2 -2
- package/dist/schemas/enums.d.ts +5 -2
- package/dist/schemas/enums.js +5 -2
- package/dist/schemas/enums.js.map +1 -1
- package/dist/schemas/index.d.ts +1 -1
- package/dist/schemas/index.js +45 -4
- package/dist/schemas/index.js.map +1 -1
- package/dist/schemas/manifest.d.ts +1030 -890
- package/dist/schemas/manifest.js +44 -3
- package/dist/schemas/manifest.js.map +1 -1
- package/dist/schemas/sl-opinion.d.ts +4 -4
- package/dist/schemas/tables/identity/platform.d.ts +10 -10
- package/dist/schemas/tables/kernel/epistemic.d.ts +6 -6
- package/dist/schemas/tables/kernel/infra.d.ts +4 -4
- package/dist/schemas/tables/kernel/intelligence.d.ts +10 -10
- package/dist/schemas/tables/kernel/lens.d.ts +4 -4
- package/dist/schemas/tables/kernel/platform.d.ts +12 -12
- package/dist/schemas/tables/kernel/spine.d.ts +3 -3
- package/dist/schemas/tables/kernel/spine.js +5 -2
- package/dist/schemas/tables/kernel/spine.js.map +1 -1
- package/dist/schemas/tables/kernel/task.d.ts +42 -42
- package/dist/schemas/tables/kernel/topic.js +5 -1
- package/dist/schemas/tables/kernel/topic.js.map +1 -1
- package/dist/schemas/tables/kernel/worktree.d.ts +58 -58
- package/dist/schemas/tables/mc/identity.d.ts +26 -3
- package/dist/schemas/tables/mc/identity.js +35 -1
- package/dist/schemas/tables/mc/identity.js.map +1 -1
- package/dist/schemas/tables/mc/pack.d.ts +20 -20
- package/dist/schemas/tables/mc/registry.d.ts +4 -4
- package/dist/schemas/tables/mc/workspace.d.ts +9 -3
- package/dist/schemas/tables/mc/workspace.js +3 -1
- package/dist/schemas/tables/mc/workspace.js.map +1 -1
- package/dist/sdk-methods.contract.d.ts +2 -2
- package/dist/{sdk-tools.contract-S4ia0TTo.d.ts → sdk-tools.contract-BNklQDfB.d.ts} +2 -2
- package/dist/sdk-tools.contract.d.ts +2 -2
- package/dist/sdk-tools.contract.js +646 -23
- package/dist/sdk-tools.contract.js.map +1 -1
- package/dist/tenant-bootstrap-seed.contract.d.ts +1101 -0
- package/dist/tenant-bootstrap-seed.contract.js +653 -0
- package/dist/tenant-bootstrap-seed.contract.js.map +1 -0
- package/dist/tenant-bootstrap-seed.defaults.d.ts +16 -0
- package/dist/tenant-bootstrap-seed.defaults.js +303 -0
- package/dist/tenant-bootstrap-seed.defaults.js.map +1 -0
- package/dist/tenant-client.contract.d.ts +349 -0
- package/dist/tenant-client.contract.js +488 -0
- package/dist/tenant-client.contract.js.map +1 -0
- package/dist/{tool-contracts-C92-9ueT.d.ts → tool-contracts-BevD9Ho2.d.ts} +36 -2
- package/dist/tool-contracts.d.ts +1 -1
- package/dist/tool-contracts.js +647 -24
- package/dist/tool-contracts.js.map +1 -1
- package/package.json +9 -1
|
@@ -0,0 +1,219 @@
|
|
|
1
|
+
import { ProjectionDef } from './projection-dsl.js';
|
|
2
|
+
import { z } from 'zod';
|
|
3
|
+
|
|
4
|
+
declare const modulateConfidenceInputSchema: z.ZodEffects<z.ZodObject<{
|
|
5
|
+
nodeId: z.ZodOptional<z.ZodString>;
|
|
6
|
+
beliefNodeId: z.ZodOptional<z.ZodString>;
|
|
7
|
+
worktreeId: z.ZodOptional<z.ZodString>;
|
|
8
|
+
opinion: z.ZodOptional<z.ZodObject<{
|
|
9
|
+
belief: z.ZodNumber;
|
|
10
|
+
disbelief: z.ZodNumber;
|
|
11
|
+
uncertainty: z.ZodNumber;
|
|
12
|
+
baseRate: z.ZodNumber;
|
|
13
|
+
}, "strip", z.ZodTypeAny, {
|
|
14
|
+
belief: number;
|
|
15
|
+
baseRate: number;
|
|
16
|
+
disbelief: number;
|
|
17
|
+
uncertainty: number;
|
|
18
|
+
}, {
|
|
19
|
+
belief: number;
|
|
20
|
+
baseRate: number;
|
|
21
|
+
disbelief: number;
|
|
22
|
+
uncertainty: number;
|
|
23
|
+
}>>;
|
|
24
|
+
belief: z.ZodOptional<z.ZodNumber>;
|
|
25
|
+
disbelief: z.ZodOptional<z.ZodNumber>;
|
|
26
|
+
uncertainty: z.ZodOptional<z.ZodNumber>;
|
|
27
|
+
baseRate: z.ZodOptional<z.ZodNumber>;
|
|
28
|
+
trigger: z.ZodEnum<["evidence_added", "evidence_removed", "contradiction_resolved", "agent_assessment", "worktree_outcome", "worktree_completed", "contradiction_detected", "answer_recorded", "fusion", "discount", "deduction", "backfill_synthetic"]>;
|
|
29
|
+
provenance: z.ZodOptional<z.ZodObject<{
|
|
30
|
+
evidence: z.ZodOptional<z.ZodString>;
|
|
31
|
+
question: z.ZodOptional<z.ZodString>;
|
|
32
|
+
answer: z.ZodOptional<z.ZodString>;
|
|
33
|
+
contradiction: z.ZodOptional<z.ZodString>;
|
|
34
|
+
worktree: z.ZodOptional<z.ZodString>;
|
|
35
|
+
}, "strip", z.ZodTypeAny, {
|
|
36
|
+
evidence?: string | undefined;
|
|
37
|
+
question?: string | undefined;
|
|
38
|
+
contradiction?: string | undefined;
|
|
39
|
+
worktree?: string | undefined;
|
|
40
|
+
answer?: string | undefined;
|
|
41
|
+
}, {
|
|
42
|
+
evidence?: string | undefined;
|
|
43
|
+
question?: string | undefined;
|
|
44
|
+
contradiction?: string | undefined;
|
|
45
|
+
worktree?: string | undefined;
|
|
46
|
+
answer?: string | undefined;
|
|
47
|
+
}>>;
|
|
48
|
+
triggeringEvidenceId: z.ZodOptional<z.ZodString>;
|
|
49
|
+
triggeringQuestionId: z.ZodOptional<z.ZodString>;
|
|
50
|
+
triggeringAnswerId: z.ZodOptional<z.ZodString>;
|
|
51
|
+
triggeringContradictionId: z.ZodOptional<z.ZodString>;
|
|
52
|
+
triggeringWorktreeId: z.ZodOptional<z.ZodString>;
|
|
53
|
+
rationale: z.ZodString;
|
|
54
|
+
trustedBypassAccessCheck: z.ZodOptional<z.ZodBoolean>;
|
|
55
|
+
}, "strip", z.ZodTypeAny, {
|
|
56
|
+
rationale: string;
|
|
57
|
+
trigger: "evidence_added" | "evidence_removed" | "contradiction_detected" | "contradiction_resolved" | "agent_assessment" | "worktree_outcome" | "worktree_completed" | "fusion" | "discount" | "deduction" | "answer_recorded" | "backfill_synthetic";
|
|
58
|
+
belief?: number | undefined;
|
|
59
|
+
baseRate?: number | undefined;
|
|
60
|
+
nodeId?: string | undefined;
|
|
61
|
+
disbelief?: number | undefined;
|
|
62
|
+
uncertainty?: number | undefined;
|
|
63
|
+
worktreeId?: string | undefined;
|
|
64
|
+
triggeringEvidenceId?: string | undefined;
|
|
65
|
+
triggeringQuestionId?: string | undefined;
|
|
66
|
+
triggeringAnswerId?: string | undefined;
|
|
67
|
+
triggeringContradictionId?: string | undefined;
|
|
68
|
+
triggeringWorktreeId?: string | undefined;
|
|
69
|
+
beliefNodeId?: string | undefined;
|
|
70
|
+
trustedBypassAccessCheck?: boolean | undefined;
|
|
71
|
+
opinion?: {
|
|
72
|
+
belief: number;
|
|
73
|
+
baseRate: number;
|
|
74
|
+
disbelief: number;
|
|
75
|
+
uncertainty: number;
|
|
76
|
+
} | undefined;
|
|
77
|
+
provenance?: {
|
|
78
|
+
evidence?: string | undefined;
|
|
79
|
+
question?: string | undefined;
|
|
80
|
+
contradiction?: string | undefined;
|
|
81
|
+
worktree?: string | undefined;
|
|
82
|
+
answer?: string | undefined;
|
|
83
|
+
} | undefined;
|
|
84
|
+
}, {
|
|
85
|
+
rationale: string;
|
|
86
|
+
trigger: "evidence_added" | "evidence_removed" | "contradiction_detected" | "contradiction_resolved" | "agent_assessment" | "worktree_outcome" | "worktree_completed" | "fusion" | "discount" | "deduction" | "answer_recorded" | "backfill_synthetic";
|
|
87
|
+
belief?: number | undefined;
|
|
88
|
+
baseRate?: number | undefined;
|
|
89
|
+
nodeId?: string | undefined;
|
|
90
|
+
disbelief?: number | undefined;
|
|
91
|
+
uncertainty?: number | undefined;
|
|
92
|
+
worktreeId?: string | undefined;
|
|
93
|
+
triggeringEvidenceId?: string | undefined;
|
|
94
|
+
triggeringQuestionId?: string | undefined;
|
|
95
|
+
triggeringAnswerId?: string | undefined;
|
|
96
|
+
triggeringContradictionId?: string | undefined;
|
|
97
|
+
triggeringWorktreeId?: string | undefined;
|
|
98
|
+
beliefNodeId?: string | undefined;
|
|
99
|
+
trustedBypassAccessCheck?: boolean | undefined;
|
|
100
|
+
opinion?: {
|
|
101
|
+
belief: number;
|
|
102
|
+
baseRate: number;
|
|
103
|
+
disbelief: number;
|
|
104
|
+
uncertainty: number;
|
|
105
|
+
} | undefined;
|
|
106
|
+
provenance?: {
|
|
107
|
+
evidence?: string | undefined;
|
|
108
|
+
question?: string | undefined;
|
|
109
|
+
contradiction?: string | undefined;
|
|
110
|
+
worktree?: string | undefined;
|
|
111
|
+
answer?: string | undefined;
|
|
112
|
+
} | undefined;
|
|
113
|
+
}>, {
|
|
114
|
+
rationale: string;
|
|
115
|
+
trigger: "evidence_added" | "evidence_removed" | "contradiction_detected" | "contradiction_resolved" | "agent_assessment" | "worktree_outcome" | "worktree_completed" | "fusion" | "discount" | "deduction" | "answer_recorded" | "backfill_synthetic";
|
|
116
|
+
belief?: number | undefined;
|
|
117
|
+
baseRate?: number | undefined;
|
|
118
|
+
nodeId?: string | undefined;
|
|
119
|
+
disbelief?: number | undefined;
|
|
120
|
+
uncertainty?: number | undefined;
|
|
121
|
+
worktreeId?: string | undefined;
|
|
122
|
+
triggeringEvidenceId?: string | undefined;
|
|
123
|
+
triggeringQuestionId?: string | undefined;
|
|
124
|
+
triggeringAnswerId?: string | undefined;
|
|
125
|
+
triggeringContradictionId?: string | undefined;
|
|
126
|
+
triggeringWorktreeId?: string | undefined;
|
|
127
|
+
beliefNodeId?: string | undefined;
|
|
128
|
+
trustedBypassAccessCheck?: boolean | undefined;
|
|
129
|
+
opinion?: {
|
|
130
|
+
belief: number;
|
|
131
|
+
baseRate: number;
|
|
132
|
+
disbelief: number;
|
|
133
|
+
uncertainty: number;
|
|
134
|
+
} | undefined;
|
|
135
|
+
provenance?: {
|
|
136
|
+
evidence?: string | undefined;
|
|
137
|
+
question?: string | undefined;
|
|
138
|
+
contradiction?: string | undefined;
|
|
139
|
+
worktree?: string | undefined;
|
|
140
|
+
answer?: string | undefined;
|
|
141
|
+
} | undefined;
|
|
142
|
+
}, {
|
|
143
|
+
rationale: string;
|
|
144
|
+
trigger: "evidence_added" | "evidence_removed" | "contradiction_detected" | "contradiction_resolved" | "agent_assessment" | "worktree_outcome" | "worktree_completed" | "fusion" | "discount" | "deduction" | "answer_recorded" | "backfill_synthetic";
|
|
145
|
+
belief?: number | undefined;
|
|
146
|
+
baseRate?: number | undefined;
|
|
147
|
+
nodeId?: string | undefined;
|
|
148
|
+
disbelief?: number | undefined;
|
|
149
|
+
uncertainty?: number | undefined;
|
|
150
|
+
worktreeId?: string | undefined;
|
|
151
|
+
triggeringEvidenceId?: string | undefined;
|
|
152
|
+
triggeringQuestionId?: string | undefined;
|
|
153
|
+
triggeringAnswerId?: string | undefined;
|
|
154
|
+
triggeringContradictionId?: string | undefined;
|
|
155
|
+
triggeringWorktreeId?: string | undefined;
|
|
156
|
+
beliefNodeId?: string | undefined;
|
|
157
|
+
trustedBypassAccessCheck?: boolean | undefined;
|
|
158
|
+
opinion?: {
|
|
159
|
+
belief: number;
|
|
160
|
+
baseRate: number;
|
|
161
|
+
disbelief: number;
|
|
162
|
+
uncertainty: number;
|
|
163
|
+
} | undefined;
|
|
164
|
+
provenance?: {
|
|
165
|
+
evidence?: string | undefined;
|
|
166
|
+
question?: string | undefined;
|
|
167
|
+
contradiction?: string | undefined;
|
|
168
|
+
worktree?: string | undefined;
|
|
169
|
+
answer?: string | undefined;
|
|
170
|
+
} | undefined;
|
|
171
|
+
}>;
|
|
172
|
+
type ModulateConfidenceProjectionInput = z.infer<typeof modulateConfidenceInputSchema>;
|
|
173
|
+
declare const modulateConfidenceProjection: ProjectionDef<{
|
|
174
|
+
rationale: string;
|
|
175
|
+
trigger: "evidence_added" | "evidence_removed" | "contradiction_detected" | "contradiction_resolved" | "agent_assessment" | "worktree_outcome" | "worktree_completed" | "fusion" | "discount" | "deduction" | "answer_recorded" | "backfill_synthetic";
|
|
176
|
+
belief?: number | undefined;
|
|
177
|
+
baseRate?: number | undefined;
|
|
178
|
+
nodeId?: string | undefined;
|
|
179
|
+
disbelief?: number | undefined;
|
|
180
|
+
uncertainty?: number | undefined;
|
|
181
|
+
worktreeId?: string | undefined;
|
|
182
|
+
triggeringEvidenceId?: string | undefined;
|
|
183
|
+
triggeringQuestionId?: string | undefined;
|
|
184
|
+
triggeringAnswerId?: string | undefined;
|
|
185
|
+
triggeringContradictionId?: string | undefined;
|
|
186
|
+
triggeringWorktreeId?: string | undefined;
|
|
187
|
+
beliefNodeId?: string | undefined;
|
|
188
|
+
trustedBypassAccessCheck?: boolean | undefined;
|
|
189
|
+
opinion?: {
|
|
190
|
+
belief: number;
|
|
191
|
+
baseRate: number;
|
|
192
|
+
disbelief: number;
|
|
193
|
+
uncertainty: number;
|
|
194
|
+
} | undefined;
|
|
195
|
+
provenance?: {
|
|
196
|
+
evidence?: string | undefined;
|
|
197
|
+
question?: string | undefined;
|
|
198
|
+
contradiction?: string | undefined;
|
|
199
|
+
worktree?: string | undefined;
|
|
200
|
+
answer?: string | undefined;
|
|
201
|
+
} | undefined;
|
|
202
|
+
}, {
|
|
203
|
+
nodeId: string;
|
|
204
|
+
worktreeId: string | undefined;
|
|
205
|
+
belief: number;
|
|
206
|
+
disbelief: number;
|
|
207
|
+
uncertainty: number;
|
|
208
|
+
baseRate: number;
|
|
209
|
+
trigger: "evidence_added" | "evidence_removed" | "contradiction_detected" | "contradiction_resolved" | "agent_assessment" | "worktree_outcome" | "worktree_completed" | "fusion" | "discount" | "deduction" | "backfill_synthetic";
|
|
210
|
+
triggeringEvidenceId: string | undefined;
|
|
211
|
+
triggeringQuestionId: string | undefined;
|
|
212
|
+
triggeringAnswerId: string | undefined;
|
|
213
|
+
triggeringContradictionId: string | undefined;
|
|
214
|
+
triggeringWorktreeId: string | undefined;
|
|
215
|
+
rationale: string;
|
|
216
|
+
trustedBypassAccessCheck: boolean;
|
|
217
|
+
}>;
|
|
218
|
+
|
|
219
|
+
export { type ModulateConfidenceProjectionInput, modulateConfidenceInputSchema, modulateConfidenceProjection };
|
|
@@ -0,0 +1,148 @@
|
|
|
1
|
+
import { v } from 'convex/values';
|
|
2
|
+
import { z } from 'zod';
|
|
3
|
+
|
|
4
|
+
// src/projections/modulate-confidence.projection.ts
|
|
5
|
+
|
|
6
|
+
// src/projections/projection-dsl.ts
|
|
7
|
+
function defineProjection(def) {
|
|
8
|
+
return def;
|
|
9
|
+
}
|
|
10
|
+
|
|
11
|
+
// src/projections/modulate-confidence.projection.ts
|
|
12
|
+
var confidenceTriggerSchema = z.enum([
|
|
13
|
+
"evidence_added",
|
|
14
|
+
"evidence_removed",
|
|
15
|
+
"contradiction_resolved",
|
|
16
|
+
"agent_assessment",
|
|
17
|
+
"worktree_outcome",
|
|
18
|
+
"worktree_completed",
|
|
19
|
+
"contradiction_detected",
|
|
20
|
+
"answer_recorded",
|
|
21
|
+
"fusion",
|
|
22
|
+
"discount",
|
|
23
|
+
"deduction",
|
|
24
|
+
"backfill_synthetic"
|
|
25
|
+
]);
|
|
26
|
+
var provenanceSchema = z.object({
|
|
27
|
+
evidence: z.string().optional(),
|
|
28
|
+
question: z.string().optional(),
|
|
29
|
+
answer: z.string().optional(),
|
|
30
|
+
contradiction: z.string().optional(),
|
|
31
|
+
worktree: z.string().optional()
|
|
32
|
+
});
|
|
33
|
+
var slOpinionProjectionSchema = z.object({
|
|
34
|
+
belief: z.number(),
|
|
35
|
+
disbelief: z.number(),
|
|
36
|
+
uncertainty: z.number(),
|
|
37
|
+
baseRate: z.number()
|
|
38
|
+
});
|
|
39
|
+
var modulateConfidenceInputObjectSchema = z.object({
|
|
40
|
+
nodeId: z.string().optional(),
|
|
41
|
+
beliefNodeId: z.string().optional(),
|
|
42
|
+
worktreeId: z.string().optional(),
|
|
43
|
+
opinion: slOpinionProjectionSchema.optional(),
|
|
44
|
+
belief: z.number().optional(),
|
|
45
|
+
disbelief: z.number().optional(),
|
|
46
|
+
uncertainty: z.number().optional(),
|
|
47
|
+
baseRate: z.number().optional(),
|
|
48
|
+
trigger: confidenceTriggerSchema,
|
|
49
|
+
provenance: provenanceSchema.optional(),
|
|
50
|
+
triggeringEvidenceId: z.string().optional(),
|
|
51
|
+
triggeringQuestionId: z.string().optional(),
|
|
52
|
+
triggeringAnswerId: z.string().optional(),
|
|
53
|
+
triggeringContradictionId: z.string().optional(),
|
|
54
|
+
triggeringWorktreeId: z.string().optional(),
|
|
55
|
+
rationale: z.string(),
|
|
56
|
+
trustedBypassAccessCheck: z.boolean().optional()
|
|
57
|
+
});
|
|
58
|
+
var modulateConfidenceInputSchema = modulateConfidenceInputObjectSchema.superRefine((input, ctx) => {
|
|
59
|
+
if (hasProvenance(input)) {
|
|
60
|
+
return;
|
|
61
|
+
}
|
|
62
|
+
ctx.addIssue({
|
|
63
|
+
code: z.ZodIssueCode.custom,
|
|
64
|
+
message: "modulate_confidence requires evidence, question, answer, contradiction, or worktree provenance",
|
|
65
|
+
path: ["provenance"]
|
|
66
|
+
});
|
|
67
|
+
});
|
|
68
|
+
var modulateConfidenceProjection = defineProjection({
|
|
69
|
+
contractName: "modulate_confidence",
|
|
70
|
+
inputSchema: modulateConfidenceInputSchema,
|
|
71
|
+
project: (input) => {
|
|
72
|
+
const nodeId = input.beliefNodeId ?? input.nodeId;
|
|
73
|
+
if (!nodeId) {
|
|
74
|
+
throw new Error("modulate_confidence requires beliefNodeId or nodeId");
|
|
75
|
+
}
|
|
76
|
+
const opinion = input.opinion ?? {
|
|
77
|
+
belief: requireNumber(input.belief, "belief"),
|
|
78
|
+
disbelief: requireNumber(input.disbelief, "disbelief"),
|
|
79
|
+
uncertainty: requireNumber(input.uncertainty, "uncertainty"),
|
|
80
|
+
baseRate: requireNumber(input.baseRate, "baseRate")
|
|
81
|
+
};
|
|
82
|
+
assertProvenance(input);
|
|
83
|
+
return {
|
|
84
|
+
nodeId,
|
|
85
|
+
worktreeId: input.worktreeId,
|
|
86
|
+
belief: opinion.belief,
|
|
87
|
+
disbelief: opinion.disbelief,
|
|
88
|
+
uncertainty: opinion.uncertainty,
|
|
89
|
+
baseRate: opinion.baseRate,
|
|
90
|
+
trigger: input.trigger === "answer_recorded" ? "agent_assessment" : input.trigger,
|
|
91
|
+
triggeringEvidenceId: input.provenance?.evidence ?? input.triggeringEvidenceId,
|
|
92
|
+
triggeringQuestionId: input.provenance?.question ?? input.triggeringQuestionId,
|
|
93
|
+
triggeringAnswerId: input.provenance?.answer ?? input.triggeringAnswerId,
|
|
94
|
+
triggeringContradictionId: input.provenance?.contradiction ?? input.triggeringContradictionId,
|
|
95
|
+
triggeringWorktreeId: input.provenance?.worktree ?? input.triggeringWorktreeId,
|
|
96
|
+
rationale: input.rationale,
|
|
97
|
+
trustedBypassAccessCheck: input.trustedBypassAccessCheck ?? true
|
|
98
|
+
};
|
|
99
|
+
},
|
|
100
|
+
convexArgsValidator: v.object({
|
|
101
|
+
nodeId: v.string(),
|
|
102
|
+
worktreeId: v.optional(v.string()),
|
|
103
|
+
belief: v.number(),
|
|
104
|
+
disbelief: v.number(),
|
|
105
|
+
uncertainty: v.number(),
|
|
106
|
+
baseRate: v.number(),
|
|
107
|
+
trigger: v.union(
|
|
108
|
+
v.literal("evidence_added"),
|
|
109
|
+
v.literal("evidence_removed"),
|
|
110
|
+
v.literal("worktree_completed"),
|
|
111
|
+
v.literal("contradiction_detected"),
|
|
112
|
+
v.literal("contradiction_resolved"),
|
|
113
|
+
v.literal("agent_assessment"),
|
|
114
|
+
v.literal("worktree_outcome"),
|
|
115
|
+
v.literal("fusion"),
|
|
116
|
+
v.literal("discount"),
|
|
117
|
+
v.literal("deduction"),
|
|
118
|
+
v.literal("backfill_synthetic")
|
|
119
|
+
),
|
|
120
|
+
triggeringEvidenceId: v.optional(v.string()),
|
|
121
|
+
triggeringQuestionId: v.optional(v.string()),
|
|
122
|
+
triggeringAnswerId: v.optional(v.string()),
|
|
123
|
+
triggeringContradictionId: v.optional(v.string()),
|
|
124
|
+
triggeringWorktreeId: v.optional(v.string()),
|
|
125
|
+
rationale: v.string(),
|
|
126
|
+
trustedBypassAccessCheck: v.optional(v.boolean())
|
|
127
|
+
})
|
|
128
|
+
});
|
|
129
|
+
function requireNumber(value, field) {
|
|
130
|
+
if (value === void 0) {
|
|
131
|
+
throw new Error(`modulate_confidence requires ${field}`);
|
|
132
|
+
}
|
|
133
|
+
return value;
|
|
134
|
+
}
|
|
135
|
+
function assertProvenance(input) {
|
|
136
|
+
if (!hasProvenance(input)) {
|
|
137
|
+
throw new Error(
|
|
138
|
+
"modulate_confidence requires evidence, question, answer, contradiction, or worktree provenance"
|
|
139
|
+
);
|
|
140
|
+
}
|
|
141
|
+
}
|
|
142
|
+
function hasProvenance(input) {
|
|
143
|
+
return input.trigger === "backfill_synthetic" || Boolean(input.provenance && Object.values(input.provenance).some(Boolean)) || Boolean(input.triggeringEvidenceId) || Boolean(input.triggeringQuestionId) || Boolean(input.triggeringAnswerId) || Boolean(input.triggeringContradictionId) || Boolean(input.triggeringWorktreeId);
|
|
144
|
+
}
|
|
145
|
+
|
|
146
|
+
export { modulateConfidenceInputSchema, modulateConfidenceProjection };
|
|
147
|
+
//# sourceMappingURL=modulate-confidence.projection.js.map
|
|
148
|
+
//# sourceMappingURL=modulate-confidence.projection.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"sources":["../../src/projections/projection-dsl.ts","../../src/projections/modulate-confidence.projection.ts"],"names":[],"mappings":";;;;;;AASO,SAAS,iBACd,GAAA,EACqB;AACrB,EAAA,OAAO,GAAA;AACT;;;ACTA,IAAM,uBAAA,GAA0B,EAAE,IAAA,CAAK;AAAA,EACrC,gBAAA;AAAA,EACA,kBAAA;AAAA,EACA,wBAAA;AAAA,EACA,kBAAA;AAAA,EACA,kBAAA;AAAA,EACA,oBAAA;AAAA,EACA,wBAAA;AAAA,EACA,iBAAA;AAAA,EACA,QAAA;AAAA,EACA,UAAA;AAAA,EACA,WAAA;AAAA,EACA;AACF,CAAC,CAAA;AAED,IAAM,gBAAA,GAAmB,EAAE,MAAA,CAAO;AAAA,EAChC,QAAA,EAAU,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EAC9B,QAAA,EAAU,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EAC9B,MAAA,EAAQ,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EAC5B,aAAA,EAAe,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EACnC,QAAA,EAAU,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA;AACvB,CAAC,CAAA;AAED,IAAM,yBAAA,GAA4B,EAAE,MAAA,CAAO;AAAA,EACzC,MAAA,EAAQ,EAAE,MAAA,EAAO;AAAA,EACjB,SAAA,EAAW,EAAE,MAAA,EAAO;AAAA,EACpB,WAAA,EAAa,EAAE,MAAA,EAAO;AAAA,EACtB,QAAA,EAAU,EAAE,MAAA;AACd,CAAC,CAAA;AAED,IAAM,mCAAA,GAAsC,EAAE,MAAA,CAAO;AAAA,EACnD,MAAA,EAAQ,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EAC5B,YAAA,EAAc,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EAClC,UAAA,EAAY,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EAChC,OAAA,EAAS,0BAA0B,QAAA,EAAS;AAAA,EAC5C,MAAA,EAAQ,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EAC5B,SAAA,EAAW,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EAC/B,WAAA,EAAa,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EACjC,QAAA,EAAU,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EAC9B,OAAA,EAAS,uBAAA;AAAA,EACT,UAAA,EAAY,iBAAiB,QAAA,EAAS;AAAA,EACtC,oBAAA,EAAsB,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EAC1C,oBAAA,EAAsB,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EAC1C,kBAAA,EAAoB,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EACxC,yBAAA,EAA2B,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EAC/C,oBAAA,EAAsB,CAAA,CAAE,MAAA,EAAO,CAAE,QAAA,EAAS;AAAA,EAC1C,SAAA,EAAW,EAAE,MAAA,EAAO;AAAA,EACpB,wBAAA,EAA0B,CAAA,CAAE,OAAA,EAAQ,CAAE,QAAA;AACxC,CAAC,CAAA;AAEM,IAAM,6BAAA,GACX,mCAAA,CAAoC,WAAA,CAAY,CAAC,OAAO,GAAA,KAAQ;AAC9D,EAAA,IAAI,aAAA,CAAc,KAAK,CAAA,EAAG;AACxB,IAAA;AAAA,EACF;AAEA,EAAA,GAAA,CAAI,QAAA,CAAS;AAAA,IACX,IAAA,EAAM,EAAE,YAAA,CAAa,MAAA;AAAA,IACrB,OAAA,EACE,gGAAA;AAAA,IACF,IAAA,EAAM,CAAC,YAAY;AAAA,GACpB,CAAA;AACH,CAAC;AAMI,IAAM,+BAA+B,gBAAA,CAAiB;AAAA,EAC3D,YAAA,EAAc,qBAAA;AAAA,EACd,WAAA,EAAa,6BAAA;AAAA,EACb,OAAA,EAAS,CAAC,KAAA,KAA6C;AACrD,IAAA,MAAM,MAAA,GAAS,KAAA,CAAM,YAAA,IAAgB,KAAA,CAAM,MAAA;AAC3C,IAAA,IAAI,CAAC,MAAA,EAAQ;AACX,MAAA,MAAM,IAAI,MAAM,qDAAqD,CAAA;AAAA,IACvE;AAEA,IAAA,MAAM,OAAA,GAAU,MAAM,OAAA,IAAW;AAAA,MAC/B,MAAA,EAAQ,aAAA,CAAc,KAAA,CAAM,MAAA,EAAQ,QAAQ,CAAA;AAAA,MAC5C,SAAA,EAAW,aAAA,CAAc,KAAA,CAAM,SAAA,EAAW,WAAW,CAAA;AAAA,MACrD,WAAA,EAAa,aAAA,CAAc,KAAA,CAAM,WAAA,EAAa,aAAa,CAAA;AAAA,MAC3D,QAAA,EAAU,aAAA,CAAc,KAAA,CAAM,QAAA,EAAU,UAAU;AAAA,KACpD;AACA,IAAA,gBAAA,CAAiB,KAAK,CAAA;AAEtB,IAAA,OAAO;AAAA,MACL,MAAA;AAAA,MACA,YAAY,KAAA,CAAM,UAAA;AAAA,MAClB,QAAQ,OAAA,CAAQ,MAAA;AAAA,MAChB,WAAW,OAAA,CAAQ,SAAA;AAAA,MACnB,aAAa,OAAA,CAAQ,WAAA;AAAA,MACrB,UAAU,OAAA,CAAQ,QAAA;AAAA,MAClB,OAAA,EACE,KAAA,CAAM,OAAA,KAAY,iBAAA,GACd,qBACA,KAAA,CAAM,OAAA;AAAA,MACZ,oBAAA,EACE,KAAA,CAAM,UAAA,EAAY,QAAA,IAAY,KAAA,CAAM,oBAAA;AAAA,MACtC,oBAAA,EACE,KAAA,CAAM,UAAA,EAAY,QAAA,IAAY,KAAA,CAAM,oBAAA;AAAA,MACtC,kBAAA,EAAoB,KAAA,CAAM,UAAA,EAAY,MAAA,IAAU,KAAA,CAAM,kBAAA;AAAA,MACtD,yBAAA,EACE,KAAA,CAAM,UAAA,EAAY,aAAA,IAAiB,KAAA,CAAM,yBAAA;AAAA,MAC3C,oBAAA,EACE,KAAA,CAAM,UAAA,EAAY,QAAA,IAAY,KAAA,CAAM,oBAAA;AAAA,MACtC,WAAW,KAAA,CAAM,SAAA;AAAA,MACjB,wBAAA,EAA0B,MAAM,wBAAA,IAA4B;AAAA,KAC9D;AAAA,EACF,CAAA;AAAA,EACA,mBAAA,EAAqB,EAAE,MAAA,CAAO;AAAA,IAC5B,MAAA,EAAQ,EAAE,MAAA,EAAO;AAAA,IACjB,UAAA,EAAY,CAAA,CAAE,QAAA,CAAS,CAAA,CAAE,QAAQ,CAAA;AAAA,IACjC,MAAA,EAAQ,EAAE,MAAA,EAAO;AAAA,IACjB,SAAA,EAAW,EAAE,MAAA,EAAO;AAAA,IACpB,WAAA,EAAa,EAAE,MAAA,EAAO;AAAA,IACtB,QAAA,EAAU,EAAE,MAAA,EAAO;AAAA,IACnB,SAAS,CAAA,CAAE,KAAA;AAAA,MACT,CAAA,CAAE,QAAQ,gBAAgB,CAAA;AAAA,MAC1B,CAAA,CAAE,QAAQ,kBAAkB,CAAA;AAAA,MAC5B,CAAA,CAAE,QAAQ,oBAAoB,CAAA;AAAA,MAC9B,CAAA,CAAE,QAAQ,wBAAwB,CAAA;AAAA,MAClC,CAAA,CAAE,QAAQ,wBAAwB,CAAA;AAAA,MAClC,CAAA,CAAE,QAAQ,kBAAkB,CAAA;AAAA,MAC5B,CAAA,CAAE,QAAQ,kBAAkB,CAAA;AAAA,MAC5B,CAAA,CAAE,QAAQ,QAAQ,CAAA;AAAA,MAClB,CAAA,CAAE,QAAQ,UAAU,CAAA;AAAA,MACpB,CAAA,CAAE,QAAQ,WAAW,CAAA;AAAA,MACrB,CAAA,CAAE,QAAQ,oBAAoB;AAAA,KAChC;AAAA,IACA,oBAAA,EAAsB,CAAA,CAAE,QAAA,CAAS,CAAA,CAAE,QAAQ,CAAA;AAAA,IAC3C,oBAAA,EAAsB,CAAA,CAAE,QAAA,CAAS,CAAA,CAAE,QAAQ,CAAA;AAAA,IAC3C,kBAAA,EAAoB,CAAA,CAAE,QAAA,CAAS,CAAA,CAAE,QAAQ,CAAA;AAAA,IACzC,yBAAA,EAA2B,CAAA,CAAE,QAAA,CAAS,CAAA,CAAE,QAAQ,CAAA;AAAA,IAChD,oBAAA,EAAsB,CAAA,CAAE,QAAA,CAAS,CAAA,CAAE,QAAQ,CAAA;AAAA,IAC3C,SAAA,EAAW,EAAE,MAAA,EAAO;AAAA,IACpB,wBAAA,EAA0B,CAAA,CAAE,QAAA,CAAS,CAAA,CAAE,SAAS;AAAA,GACjD;AACH,CAAC;AAED,SAAS,aAAA,CAAc,OAA2B,KAAA,EAAuB;AACvE,EAAA,IAAI,UAAU,MAAA,EAAW;AACvB,IAAA,MAAM,IAAI,KAAA,CAAM,CAAA,6BAAA,EAAgC,KAAK,CAAA,CAAE,CAAA;AAAA,EACzD;AACA,EAAA,OAAO,KAAA;AACT;AAEA,SAAS,iBAAiB,KAAA,EAAgD;AACxE,EAAA,IAAI,CAAC,aAAA,CAAc,KAAK,CAAA,EAAG;AACzB,IAAA,MAAM,IAAI,KAAA;AAAA,MACR;AAAA,KACF;AAAA,EACF;AACF;AAEA,SAAS,cAAc,KAAA,EAAmD;AACxE,EAAA,OACE,KAAA,CAAM,OAAA,KAAY,oBAAA,IAClB,OAAA,CAAQ,MAAM,UAAA,IAAc,MAAA,CAAO,MAAA,CAAO,KAAA,CAAM,UAAU,CAAA,CAAE,IAAA,CAAK,OAAO,CAAC,CAAA,IACzE,OAAA,CAAQ,KAAA,CAAM,oBAAoB,CAAA,IAClC,OAAA,CAAQ,KAAA,CAAM,oBAAoB,KAClC,OAAA,CAAQ,KAAA,CAAM,kBAAkB,CAAA,IAChC,QAAQ,KAAA,CAAM,yBAAyB,CAAA,IACvC,OAAA,CAAQ,MAAM,oBAAoB,CAAA;AAEtC","file":"modulate-confidence.projection.js","sourcesContent":["import type { z } from \"zod\";\n\nexport interface ProjectionDef<TInput, TConvexArgs> {\n contractName: string;\n inputSchema: z.ZodSchema<TInput>;\n project: (input: TInput) => TConvexArgs;\n convexArgsValidator: unknown;\n}\n\nexport function defineProjection<I, C>(\n def: ProjectionDef<I, C>\n): ProjectionDef<I, C> {\n return def;\n}\n","import { v } from \"convex/values\";\nimport { z } from \"zod\";\nimport { defineProjection } from \"./projection-dsl.js\";\n\nconst confidenceTriggerSchema = z.enum([\n \"evidence_added\",\n \"evidence_removed\",\n \"contradiction_resolved\",\n \"agent_assessment\",\n \"worktree_outcome\",\n \"worktree_completed\",\n \"contradiction_detected\",\n \"answer_recorded\",\n \"fusion\",\n \"discount\",\n \"deduction\",\n \"backfill_synthetic\",\n]);\n\nconst provenanceSchema = z.object({\n evidence: z.string().optional(),\n question: z.string().optional(),\n answer: z.string().optional(),\n contradiction: z.string().optional(),\n worktree: z.string().optional(),\n});\n\nconst slOpinionProjectionSchema = z.object({\n belief: z.number(),\n disbelief: z.number(),\n uncertainty: z.number(),\n baseRate: z.number(),\n});\n\nconst modulateConfidenceInputObjectSchema = z.object({\n nodeId: z.string().optional(),\n beliefNodeId: z.string().optional(),\n worktreeId: z.string().optional(),\n opinion: slOpinionProjectionSchema.optional(),\n belief: z.number().optional(),\n disbelief: z.number().optional(),\n uncertainty: z.number().optional(),\n baseRate: z.number().optional(),\n trigger: confidenceTriggerSchema,\n provenance: provenanceSchema.optional(),\n triggeringEvidenceId: z.string().optional(),\n triggeringQuestionId: z.string().optional(),\n triggeringAnswerId: z.string().optional(),\n triggeringContradictionId: z.string().optional(),\n triggeringWorktreeId: z.string().optional(),\n rationale: z.string(),\n trustedBypassAccessCheck: z.boolean().optional(),\n});\n\nexport const modulateConfidenceInputSchema =\n modulateConfidenceInputObjectSchema.superRefine((input, ctx) => {\n if (hasProvenance(input)) {\n return;\n }\n\n ctx.addIssue({\n code: z.ZodIssueCode.custom,\n message:\n \"modulate_confidence requires evidence, question, answer, contradiction, or worktree provenance\",\n path: [\"provenance\"],\n });\n });\n\nexport type ModulateConfidenceProjectionInput = z.infer<\n typeof modulateConfidenceInputSchema\n>;\n\nexport const modulateConfidenceProjection = defineProjection({\n contractName: \"modulate_confidence\",\n inputSchema: modulateConfidenceInputSchema,\n project: (input: ModulateConfidenceProjectionInput) => {\n const nodeId = input.beliefNodeId ?? input.nodeId;\n if (!nodeId) {\n throw new Error(\"modulate_confidence requires beliefNodeId or nodeId\");\n }\n\n const opinion = input.opinion ?? {\n belief: requireNumber(input.belief, \"belief\"),\n disbelief: requireNumber(input.disbelief, \"disbelief\"),\n uncertainty: requireNumber(input.uncertainty, \"uncertainty\"),\n baseRate: requireNumber(input.baseRate, \"baseRate\"),\n };\n assertProvenance(input);\n\n return {\n nodeId,\n worktreeId: input.worktreeId,\n belief: opinion.belief,\n disbelief: opinion.disbelief,\n uncertainty: opinion.uncertainty,\n baseRate: opinion.baseRate,\n trigger:\n input.trigger === \"answer_recorded\"\n ? \"agent_assessment\"\n : input.trigger,\n triggeringEvidenceId:\n input.provenance?.evidence ?? input.triggeringEvidenceId,\n triggeringQuestionId:\n input.provenance?.question ?? input.triggeringQuestionId,\n triggeringAnswerId: input.provenance?.answer ?? input.triggeringAnswerId,\n triggeringContradictionId:\n input.provenance?.contradiction ?? input.triggeringContradictionId,\n triggeringWorktreeId:\n input.provenance?.worktree ?? input.triggeringWorktreeId,\n rationale: input.rationale,\n trustedBypassAccessCheck: input.trustedBypassAccessCheck ?? true,\n };\n },\n convexArgsValidator: v.object({\n nodeId: v.string(),\n worktreeId: v.optional(v.string()),\n belief: v.number(),\n disbelief: v.number(),\n uncertainty: v.number(),\n baseRate: v.number(),\n trigger: v.union(\n v.literal(\"evidence_added\"),\n v.literal(\"evidence_removed\"),\n v.literal(\"worktree_completed\"),\n v.literal(\"contradiction_detected\"),\n v.literal(\"contradiction_resolved\"),\n v.literal(\"agent_assessment\"),\n v.literal(\"worktree_outcome\"),\n v.literal(\"fusion\"),\n v.literal(\"discount\"),\n v.literal(\"deduction\"),\n v.literal(\"backfill_synthetic\"),\n ),\n triggeringEvidenceId: v.optional(v.string()),\n triggeringQuestionId: v.optional(v.string()),\n triggeringAnswerId: v.optional(v.string()),\n triggeringContradictionId: v.optional(v.string()),\n triggeringWorktreeId: v.optional(v.string()),\n rationale: v.string(),\n trustedBypassAccessCheck: v.optional(v.boolean()),\n }),\n});\n\nfunction requireNumber(value: number | undefined, field: string): number {\n if (value === undefined) {\n throw new Error(`modulate_confidence requires ${field}`);\n }\n return value;\n}\n\nfunction assertProvenance(input: ModulateConfidenceProjectionInput): void {\n if (!hasProvenance(input)) {\n throw new Error(\n \"modulate_confidence requires evidence, question, answer, contradiction, or worktree provenance\",\n );\n }\n}\n\nfunction hasProvenance(input: ModulateConfidenceProjectionInput): boolean {\n return (\n input.trigger === \"backfill_synthetic\" ||\n Boolean(input.provenance && Object.values(input.provenance).some(Boolean)) ||\n Boolean(input.triggeringEvidenceId) ||\n Boolean(input.triggeringQuestionId) ||\n Boolean(input.triggeringAnswerId) ||\n Boolean(input.triggeringContradictionId) ||\n Boolean(input.triggeringWorktreeId)\n );\n}\n"]}
|
|
@@ -0,0 +1,11 @@
|
|
|
1
|
+
import { z } from 'zod';
|
|
2
|
+
|
|
3
|
+
interface ProjectionDef<TInput, TConvexArgs> {
|
|
4
|
+
contractName: string;
|
|
5
|
+
inputSchema: z.ZodSchema<TInput>;
|
|
6
|
+
project: (input: TInput) => TConvexArgs;
|
|
7
|
+
convexArgsValidator: unknown;
|
|
8
|
+
}
|
|
9
|
+
declare function defineProjection<I, C>(def: ProjectionDef<I, C>): ProjectionDef<I, C>;
|
|
10
|
+
|
|
11
|
+
export { type ProjectionDef, defineProjection };
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"sources":["../../src/projections/projection-dsl.ts"],"names":[],"mappings":";AASO,SAAS,iBACd,GAAA,EACqB;AACrB,EAAA,OAAO,GAAA;AACT","file":"projection-dsl.js","sourcesContent":["import type { z } from \"zod\";\n\nexport interface ProjectionDef<TInput, TConvexArgs> {\n contractName: string;\n inputSchema: z.ZodSchema<TInput>;\n project: (input: TInput) => TConvexArgs;\n convexArgsValidator: unknown;\n}\n\nexport function defineProjection<I, C>(\n def: ProjectionDef<I, C>\n): ProjectionDef<I, C> {\n return def;\n}\n"]}
|
|
@@ -103,11 +103,8 @@ var BUILTIN_ENUM_FALLBACK = {
|
|
|
103
103
|
"question_added"
|
|
104
104
|
])
|
|
105
105
|
};
|
|
106
|
-
function normalizeEnumValue(value) {
|
|
107
|
-
return value.trim().toLowerCase();
|
|
108
|
-
}
|
|
109
106
|
async function validateSchemaEnumValue(_ctx, args) {
|
|
110
|
-
const normalized =
|
|
107
|
+
const normalized = args.value.trim().toLowerCase();
|
|
111
108
|
if (!normalized) {
|
|
112
109
|
return { valid: false, source: "none" };
|
|
113
110
|
}
|
|
@@ -120,7 +117,7 @@ async function assertSchemaEnumValue(ctx, args) {
|
|
|
120
117
|
if (typeof args.value !== "string") {
|
|
121
118
|
return;
|
|
122
119
|
}
|
|
123
|
-
const normalized =
|
|
120
|
+
const normalized = args.value.trim().toLowerCase();
|
|
124
121
|
if (!normalized) {
|
|
125
122
|
return;
|
|
126
123
|
}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"sources":["../../src/schema-helpers/enumValidation.ts"],"names":[],"mappings":";AAUA,IAAM,qBAAA,GAAyE;AAAA,EAC7E,UAAA,sBAAgB,GAAA,CAAI;AAAA,IAClB,QAAA;AAAA,IACA,OAAA;AAAA,IACA,MAAA;AAAA,IACA,UAAA;AAAA,IACA,cAAA;AAAA,IACA,SAAA;AAAA,IACA,WAAA;AAAA,IACA,cAAA;AAAA,IACA,YAAA;AAAA,IACA,SAAA;AAAA,IACA,WAAA;AAAA,IACA,YAAA;AAAA,IACA,YAAA;AAAA,IACA,UAAA;AAAA,IACA;AAAA,GACD,CAAA;AAAA,EACD,aAAA,sBAAmB,GAAA,CAAI,CAAC,UAAU,OAAA,EAAS,WAAA,EAAa,MAAA,EAAQ,OAAO,CAAC,CAAA;AAAA,EACxE,qBAAA,sBAA2B,GAAA,CAAI;AAAA,IAC7B,eAAA;AAAA,IACA,YAAA;AAAA,IACA,UAAA;AAAA,IACA,YAAA;AAAA,IACA;AAAA,GACD,CAAA;AAAA,EACD,WAAA,sBAAiB,GAAA,CAAI;AAAA,IACnB,QAAA;AAAA,IACA,YAAA;AAAA,IACA,WAAA;AAAA,IACA,WAAA;AAAA,IACA,YAAA;AAAA,IACA,OAAA;AAAA,IACA,OAAA;AAAA,IACA,YAAA;AAAA,IACA,MAAA;AAAA,IACA,UAAA;AAAA,IACA,UAAA;AAAA,IACA,YAAA;AAAA,IACA,UAAA;AAAA,IACA,QAAA;AAAA,IACA,uBAAA;AAAA,IACA,yBAAA;AAAA,IACA,oBAAA;AAAA,IACA,iBAAA;AAAA,IACA,cAAA;AAAA,IACA;AAAA,GACD,CAAA;AAAA,EACD,SAAA,sBAAe,GAAA,CAAI;AAAA,IACjB,UAAA;AAAA,IACA,SAAA;AAAA,IACA,YAAA;AAAA,IACA,cAAA;AAAA,IACA,UAAA;AAAA,IACA,OAAA;AAAA,IACA,YAAA;AAAA,IACA,aAAA;AAAA,IACA,YAAA;AAAA,IACA,mBAAA;AAAA,IACA,UAAA;AAAA,IACA,aAAA;AAAA,IACA,eAAA;AAAA,IACA,iBAAA;AAAA,IACA,YAAA;AAAA,IACA,WAAA;AAAA,IACA,UAAA;AAAA,IACA,aAAA;AAAA,IACA,SAAA;AAAA,IACA,aAAA;AAAA,IACA,cAAA;AAAA,IACA,gBAAA;AAAA,IACA;AAAA,GACD,CAAA;AAAA,EACD,aAAA,sBAAmB,GAAA,CAAI;AAAA,IACrB,aAAA;AAAA,IACA,aAAA;AAAA,IACA,eAAA;AAAA,IACA,YAAA;AAAA,IACA,UAAA;AAAA,IACA,WAAA;AAAA,IACA,eAAA;AAAA,IACA;AAAA,GACD,CAAA;AAAA,EACD,cAAA,sBAAoB,GAAA,CAAI;AAAA,IACtB,iBAAA;AAAA,IACA,sBAAA;AAAA,IACA,qBAAA;AAAA,IACA,qBAAA;AAAA,IACA,WAAA;AAAA,IACA,UAAA;AAAA,IACA;AAAA,GACD,CAAA;AAAA,EACD,aAAA,sBAAmB,GAAA,CAAI;AAAA,IACrB,QAAA;AAAA,IACA,QAAA;AAAA,IACA,QAAA;AAAA,IACA,OAAA;AAAA,IACA,SAAA;AAAA,IACA,SAAA;AAAA,IACA,eAAA;AAAA,IACA,gBAAA;AAAA,IACA;AAAA,GACD;AACH,CAAA;AAEA,
|
|
1
|
+
{"version":3,"sources":["../../src/schema-helpers/enumValidation.ts"],"names":[],"mappings":";AAUA,IAAM,qBAAA,GAAyE;AAAA,EAC7E,UAAA,sBAAgB,GAAA,CAAI;AAAA,IAClB,QAAA;AAAA,IACA,OAAA;AAAA,IACA,MAAA;AAAA,IACA,UAAA;AAAA,IACA,cAAA;AAAA,IACA,SAAA;AAAA,IACA,WAAA;AAAA,IACA,cAAA;AAAA,IACA,YAAA;AAAA,IACA,SAAA;AAAA,IACA,WAAA;AAAA,IACA,YAAA;AAAA,IACA,YAAA;AAAA,IACA,UAAA;AAAA,IACA;AAAA,GACD,CAAA;AAAA,EACD,aAAA,sBAAmB,GAAA,CAAI,CAAC,UAAU,OAAA,EAAS,WAAA,EAAa,MAAA,EAAQ,OAAO,CAAC,CAAA;AAAA,EACxE,qBAAA,sBAA2B,GAAA,CAAI;AAAA,IAC7B,eAAA;AAAA,IACA,YAAA;AAAA,IACA,UAAA;AAAA,IACA,YAAA;AAAA,IACA;AAAA,GACD,CAAA;AAAA,EACD,WAAA,sBAAiB,GAAA,CAAI;AAAA,IACnB,QAAA;AAAA,IACA,YAAA;AAAA,IACA,WAAA;AAAA,IACA,WAAA;AAAA,IACA,YAAA;AAAA,IACA,OAAA;AAAA,IACA,OAAA;AAAA,IACA,YAAA;AAAA,IACA,MAAA;AAAA,IACA,UAAA;AAAA,IACA,UAAA;AAAA,IACA,YAAA;AAAA,IACA,UAAA;AAAA,IACA,QAAA;AAAA,IACA,uBAAA;AAAA,IACA,yBAAA;AAAA,IACA,oBAAA;AAAA,IACA,iBAAA;AAAA,IACA,cAAA;AAAA,IACA;AAAA,GACD,CAAA;AAAA,EACD,SAAA,sBAAe,GAAA,CAAI;AAAA,IACjB,UAAA;AAAA,IACA,SAAA;AAAA,IACA,YAAA;AAAA,IACA,cAAA;AAAA,IACA,UAAA;AAAA,IACA,OAAA;AAAA,IACA,YAAA;AAAA,IACA,aAAA;AAAA,IACA,YAAA;AAAA,IACA,mBAAA;AAAA,IACA,UAAA;AAAA,IACA,aAAA;AAAA,IACA,eAAA;AAAA,IACA,iBAAA;AAAA,IACA,YAAA;AAAA,IACA,WAAA;AAAA,IACA,UAAA;AAAA,IACA,aAAA;AAAA,IACA,SAAA;AAAA,IACA,aAAA;AAAA,IACA,cAAA;AAAA,IACA,gBAAA;AAAA,IACA;AAAA,GACD,CAAA;AAAA,EACD,aAAA,sBAAmB,GAAA,CAAI;AAAA,IACrB,aAAA;AAAA,IACA,aAAA;AAAA,IACA,eAAA;AAAA,IACA,YAAA;AAAA,IACA,UAAA;AAAA,IACA,WAAA;AAAA,IACA,eAAA;AAAA,IACA;AAAA,GACD,CAAA;AAAA,EACD,cAAA,sBAAoB,GAAA,CAAI;AAAA,IACtB,iBAAA;AAAA,IACA,sBAAA;AAAA,IACA,qBAAA;AAAA,IACA,qBAAA;AAAA,IACA,WAAA;AAAA,IACA,UAAA;AAAA,IACA;AAAA,GACD,CAAA;AAAA,EACD,aAAA,sBAAmB,GAAA,CAAI;AAAA,IACrB,QAAA;AAAA,IACA,QAAA;AAAA,IACA,QAAA;AAAA,IACA,OAAA;AAAA,IACA,SAAA;AAAA,IACA,SAAA;AAAA,IACA,eAAA;AAAA,IACA,gBAAA;AAAA,IACA;AAAA,GACD;AACH,CAAA;AAEA,eAAsB,uBAAA,CACpB,MACA,IAAA,EAKyD;AACzD,EAAA,MAAM,UAAA,GAAa,IAAA,CAAK,KAAA,CAAM,IAAA,GAAO,WAAA,EAAY;AACjD,EAAA,IAAI,CAAC,UAAA,EAAY;AACf,IAAA,OAAO,EAAE,KAAA,EAAO,KAAA,EAAO,MAAA,EAAQ,MAAA,EAAO;AAAA,EACxC;AAEA,EAAA,IAAI,sBAAsB,IAAA,CAAK,QAAQ,CAAA,CAAE,GAAA,CAAI,UAAU,CAAA,EAAG;AACxD,IAAA,OAAO,EAAE,KAAA,EAAO,IAAA,EAAM,MAAA,EAAQ,SAAA,EAAU;AAAA,EAC1C;AAEA,EAAA,OAAO,EAAE,KAAA,EAAO,KAAA,EAAO,MAAA,EAAQ,MAAA,EAAO;AACxC;AAEA,eAAsB,qBAAA,CACpB,KACA,IAAA,EAM6B;AAC7B,EAAA,IAAI,OAAO,IAAA,CAAK,KAAA,KAAU,QAAA,EAAU;AAClC,IAAA;AAAA,EACF;AACA,EAAA,MAAM,UAAA,GAAa,IAAA,CAAK,KAAA,CAAM,IAAA,GAAO,WAAA,EAAY;AACjD,EAAA,IAAI,CAAC,UAAA,EAAY;AACf,IAAA;AAAA,EACF;AAEA,EAAA,MAAM,UAAA,GAAa,MAAM,uBAAA,CAAwB,GAAA,EAAK;AAAA,IACpD,UAAU,IAAA,CAAK,QAAA;AAAA,IACf,KAAA,EAAO,UAAA;AAAA,IACP,UAAU,IAAA,CAAK;AAAA,GAChB,CAAA;AAED,EAAA,IAAI,CAAC,WAAW,KAAA,EAAO;AACrB,IAAA,MAAM,aAAa,IAAA,CAAK,QAAA,GAAW,CAAA,YAAA,EAAe,IAAA,CAAK,QAAQ,CAAA,CAAA,GAAK,EAAA;AACpE,IAAA,MAAM,IAAI,KAAA;AAAA,MACR,CAAA,CAAA,EAAI,KAAK,OAAO,CAAA,iBAAA,EAAoB,UAAU,CAAA,gBAAA,EAAmB,IAAA,CAAK,QAAQ,CAAA,CAAA,EAAI,UAAU,CAAA,0DAAA;AAAA,KAE9F;AAAA,EACF;AAEA,EAAA,OAAO,UAAA;AACT","file":"enumValidation.js","sourcesContent":["export type SchemaEnumCategory =\n | \"topic_type\"\n | \"branch_schema\"\n | \"lens_perspective_type\"\n | \"belief_type\"\n | \"edge_type\"\n | \"worktree_type\"\n | \"worktree_phase\"\n | \"activity_type\";\n\nconst BUILTIN_ENUM_FALLBACK: Record<SchemaEnumCategory, ReadonlySet<string>> = {\n topic_type: new Set([\n \"domain\",\n \"theme\",\n \"deal\",\n \"strategy\",\n \"constitution\",\n \"project\",\n \"portfolio\",\n \"architecture\",\n \"capability\",\n \"runtime\",\n \"interface\",\n \"governance\",\n \"operations\",\n \"security\",\n \"data\",\n ]),\n branch_schema: new Set([\"pillar\", \"track\", \"dimension\", \"axis\", \"phase\"]),\n lens_perspective_type: new Set([\n \"investigation\",\n \"monitoring\",\n \"analysis\",\n \"comparison\",\n \"taxonomy\",\n ]),\n belief_type: new Set([\n \"belief\",\n \"hypothesis\",\n \"principle\",\n \"invariant\",\n \"assumption\",\n \"tenet\",\n \"prior\",\n \"preference\",\n \"goal\",\n \"forecast\",\n \"decision\",\n \"constraint\",\n \"tradeoff\",\n \"policy\",\n \"implementation_choice\",\n \"implementation_decision\",\n \"interface_contract\",\n \"migration_state\",\n \"code_pattern\",\n \"deprecation_notice\",\n ]),\n edge_type: new Set([\n \"supports\",\n \"informs\",\n \"depends_on\",\n \"derived_from\",\n \"contains\",\n \"tests\",\n \"supersedes\",\n \"responds_to\",\n \"belongs_to\",\n \"relates_to_thesis\",\n \"works_at\",\n \"invested_in\",\n \"competes_with\",\n \"participates_in\",\n \"founded_by\",\n \"evaluates\",\n \"performs\",\n \"function_in\",\n \"impacts\",\n \"raised_from\",\n \"mentioned_in\",\n \"perspective_on\",\n \"plays_theme\",\n ]),\n worktree_type: new Set([\n \"belief_test\",\n \"existential\",\n \"contradiction\",\n \"refinement\",\n \"coverage\",\n \"discovery\",\n \"clarification\",\n \"confirmation\",\n ]),\n worktree_phase: new Set([\n \"cluster_mapping\",\n \"hypothesis_formation\",\n \"question_generation\",\n \"evidence_collection\",\n \"synthesis\",\n \"decision\",\n \"retrospective\",\n ]),\n activity_type: new Set([\n \"create\",\n \"update\",\n \"review\",\n \"merge\",\n \"archive\",\n \"comment\",\n \"status_change\",\n \"evidence_added\",\n \"question_added\",\n ]),\n};\n\nexport async function validateSchemaEnumValue(\n _ctx: unknown,\n args: {\n category: SchemaEnumCategory;\n value: string;\n tenantId?: string;\n }\n): Promise<{ valid: boolean; source: \"builtin\" | \"none\" }> {\n const normalized = args.value.trim().toLowerCase();\n if (!normalized) {\n return { valid: false, source: \"none\" };\n }\n\n if (BUILTIN_ENUM_FALLBACK[args.category].has(normalized)) {\n return { valid: true, source: \"builtin\" };\n }\n\n return { valid: false, source: \"none\" };\n}\n\nexport async function assertSchemaEnumValue(\n ctx: unknown,\n args: {\n category: SchemaEnumCategory;\n value?: string;\n tenantId?: string;\n context: string;\n }\n): Promise<string | undefined> {\n if (typeof args.value !== \"string\") {\n return;\n }\n const normalized = args.value.trim().toLowerCase();\n if (!normalized) {\n return;\n }\n\n const validation = await validateSchemaEnumValue(ctx, {\n category: args.category,\n value: normalized,\n tenantId: args.tenantId,\n });\n\n if (!validation.valid) {\n const tenantHint = args.tenantId ? ` for tenant ${args.tenantId}` : \"\";\n throw new Error(\n `[${args.context}] Invalid value \"${normalized}\" for category \"${args.category}\"${tenantHint}. ` +\n \"Add it to the contracts schema enum manifest before use.\"\n );\n }\n\n return normalized;\n}\n"]}
|
|
@@ -32,8 +32,9 @@ var DECISION_TYPES = [
|
|
|
32
32
|
"thesis_revise",
|
|
33
33
|
"thesis_abandon"
|
|
34
34
|
];
|
|
35
|
+
var DECISION_TYPE_SET = new Set(DECISION_TYPES);
|
|
35
36
|
function isDecisionType(value) {
|
|
36
|
-
return
|
|
37
|
+
return DECISION_TYPE_SET.has(value);
|
|
37
38
|
}
|
|
38
39
|
function canEvaluateOutcome(decisionTypeValue, decisionDate, now = Date.now()) {
|
|
39
40
|
if (!decisionDate) {
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"sources":["../../../../src/schema-helpers/spine/nodes/decision.ts"],"names":[],"mappings":";;;AAGO,IAAM,eAAe,CAAA,CAAE,KAAA;AAAA,EAC5B,CAAA,CAAE,QAAQ,QAAQ,CAAA;AAAA,EAClB,CAAA,CAAE,QAAQ,MAAM,CAAA;AAAA,EAChB,CAAA,CAAE,QAAQ,WAAW,CAAA;AAAA,EACrB,CAAA,CAAE,QAAQ,MAAM,CAAA;AAAA,EAChB,CAAA,CAAE,QAAQ,WAAW,CAAA;AAAA,EACrB,CAAA,CAAE,QAAQ,SAAS,CAAA;AAAA,EACnB,CAAA,CAAE,QAAQ,cAAc,CAAA;AAAA,EACxB,CAAA,CAAE,QAAQ,cAAc,CAAA;AAAA,EACxB,CAAA,CAAE,QAAQ,eAAe,CAAA;AAAA,EACzB,CAAA,CAAE,QAAQ,gBAAgB;AAC5B;AAEO,IAAM,kBAAkB,CAAA,CAAE,KAAA;AAAA,EAC/B,CAAA,CAAE,QAAQ,SAAS,CAAA;AAAA,EACnB,CAAA,CAAE,QAAQ,YAAY,CAAA;AAAA,EACtB,CAAA,CAAE,QAAQ,cAAc,CAAA;AAAA,EACxB,CAAA,CAAE,QAAQ,OAAO,CAAA;AAAA,EACjB,CAAA,CAAE,QAAQ,SAAS;AACrB;AAKA,IAAM,cAAA,GAAiB;AAAA,EACrB,QAAA;AAAA,EACA,MAAA;AAAA,EACA,WAAA;AAAA,EACA,MAAA;AAAA,EACA,WAAA;AAAA,EACA,SAAA;AAAA,EACA,cAAA;AAAA,EACA,cAAA;AAAA,EACA,eAAA;AAAA,EACA;AACF,CAAA;
|
|
1
|
+
{"version":3,"sources":["../../../../src/schema-helpers/spine/nodes/decision.ts"],"names":[],"mappings":";;;AAGO,IAAM,eAAe,CAAA,CAAE,KAAA;AAAA,EAC5B,CAAA,CAAE,QAAQ,QAAQ,CAAA;AAAA,EAClB,CAAA,CAAE,QAAQ,MAAM,CAAA;AAAA,EAChB,CAAA,CAAE,QAAQ,WAAW,CAAA;AAAA,EACrB,CAAA,CAAE,QAAQ,MAAM,CAAA;AAAA,EAChB,CAAA,CAAE,QAAQ,WAAW,CAAA;AAAA,EACrB,CAAA,CAAE,QAAQ,SAAS,CAAA;AAAA,EACnB,CAAA,CAAE,QAAQ,cAAc,CAAA;AAAA,EACxB,CAAA,CAAE,QAAQ,cAAc,CAAA;AAAA,EACxB,CAAA,CAAE,QAAQ,eAAe,CAAA;AAAA,EACzB,CAAA,CAAE,QAAQ,gBAAgB;AAC5B;AAEO,IAAM,kBAAkB,CAAA,CAAE,KAAA;AAAA,EAC/B,CAAA,CAAE,QAAQ,SAAS,CAAA;AAAA,EACnB,CAAA,CAAE,QAAQ,YAAY,CAAA;AAAA,EACtB,CAAA,CAAE,QAAQ,cAAc,CAAA;AAAA,EACxB,CAAA,CAAE,QAAQ,OAAO,CAAA;AAAA,EACjB,CAAA,CAAE,QAAQ,SAAS;AACrB;AAKA,IAAM,cAAA,GAAiB;AAAA,EACrB,QAAA;AAAA,EACA,MAAA;AAAA,EACA,WAAA;AAAA,EACA,MAAA;AAAA,EACA,WAAA;AAAA,EACA,SAAA;AAAA,EACA,cAAA;AAAA,EACA,cAAA;AAAA,EACA,eAAA;AAAA,EACA;AACF,CAAA;AAEA,IAAM,iBAAA,GAAoB,IAAI,GAAA,CAAY,cAAc,CAAA;AAGjD,SAAS,eAAe,KAAA,EAAsC;AACnE,EAAA,OAAO,iBAAA,CAAkB,IAAI,KAAK,CAAA;AACpC;AAEO,SAAS,mBACd,iBAAA,EACA,YAAA,EACA,GAAA,GAAc,IAAA,CAAK,KAAI,EACd;AACT,EAAA,IAAI,CAAC,YAAA,EAAc;AACjB,IAAA,OAAO,KAAA;AAAA,EACT;AAEA,EAAA,MAAM,WAAA,GAAc;AAAA,IAClB,MAAA,EAAQ,GAAA,GAAM,EAAA,GAAK,EAAA,GAAK,EAAA,GAAK,GAAA;AAAA,IAC7B,IAAA,EAAM,GAAA,GAAM,EAAA,GAAK,EAAA,GAAK,EAAA,GAAK,GAAA;AAAA,IAC3B,SAAA,EAAW,GAAA,GAAM,EAAA,GAAK,EAAA,GAAK,EAAA,GAAK,GAAA;AAAA,IAChC,IAAA,EAAM,EAAA,GAAK,EAAA,GAAK,EAAA,GAAK,EAAA,GAAK,GAAA;AAAA,IAC1B,SAAA,EAAW,EAAA,GAAK,EAAA,GAAK,EAAA,GAAK,EAAA,GAAK,GAAA;AAAA,IAC/B,OAAA,EAAS,EAAA,GAAK,EAAA,GAAK,EAAA,GAAK,EAAA,GAAK,GAAA;AAAA,IAC7B,YAAA,EAAc,GAAA,GAAM,EAAA,GAAK,EAAA,GAAK,EAAA,GAAK,GAAA;AAAA,IACnC,YAAA,EAAc,GAAA,GAAM,EAAA,GAAK,EAAA,GAAK,EAAA,GAAK,GAAA;AAAA,IACnC,aAAA,EAAe,GAAA,GAAM,EAAA,GAAK,EAAA,GAAK,EAAA,GAAK,GAAA;AAAA,IACpC,cAAA,EAAgB,GAAA,GAAM,EAAA,GAAK,EAAA,GAAK,EAAA,GAAK;AAAA,GACvC,CAAE,qBAAqB,QAAQ,CAAA;AAE/B,EAAA,OAAO,MAAM,YAAA,IAAgB,WAAA;AAC/B;AAEO,SAAS,qBACd,SAAA,EAKA;AACA,EAAA,IAAI,SAAA,CAAU,SAAS,EAAA,EAAI;AACzB,IAAA,OAAO;AAAA,MACL,gBAAA,EAAkB,GAAA;AAAA,MAClB,aAAA,EAAe,KAAA;AAAA,MACf,cAAA,EAAgB;AAAA,KAClB;AAAA,EACF;AAEA,EAAA,MAAM,WAAW,SAAA,CAAU,MAAA,CAAO,CAAC,QAAA,KAAa,QAAA,CAAS,aAAa,GAAG,CAAA;AACzE,EAAA,MAAM,UAAU,SAAA,CAAU,MAAA;AAAA,IACxB,CAAC,QAAA,KAAa,QAAA,CAAS,UAAA,IAAc,GAAA,IAAO,SAAS,UAAA,IAAc;AAAA,GACrE;AACA,EAAA,MAAM,UAAU,SAAA,CAAU,MAAA,CAAO,CAAC,QAAA,KAAa,QAAA,CAAS,aAAa,GAAG,CAAA;AAExE,EAAA,MAAM,WAAA,GACJ,QAAA,CAAS,MAAA,CAAO,CAAC,QAAA,KAAa,SAAS,UAAU,CAAA,CAAE,MAAA,IAClD,QAAA,CAAS,MAAA,IAAU,CAAA,CAAA;AACtB,EAAA,MAAM,UAAA,GACJ,OAAA,CAAQ,MAAA,CAAO,CAAC,QAAA,KAAa,SAAS,UAAU,CAAA,CAAE,MAAA,IACjD,OAAA,CAAQ,MAAA,IAAU,CAAA,CAAA;AACrB,EAAA,MAAM,UAAA,GACJ,OAAA,CAAQ,MAAA,CAAO,CAAC,QAAA,KAAa,SAAS,UAAU,CAAA,CAAE,MAAA,IACjD,OAAA,CAAQ,MAAA,IAAU,CAAA,CAAA;AAErB,EAAA,MAAM,UAAA,GAAa,WAAA,GAAc,UAAA,IAAc,UAAA,GAAa,UAAA;AAC5D,EAAA,MAAM,gBAAgB,WAAA,GAAc,UAAA;AACpC,EAAA,MAAM,iBAAiB,UAAA,GAAa,UAAA;AACpC,EAAA,MAAM,gBAAA,GAAmB,UAAA,GACrB,GAAA,GAAA,CAAO,WAAA,GAAc,cAAc,GAAA,GACnC,GAAA;AAEJ,EAAA,OAAO,EAAE,gBAAA,EAAkB,aAAA,EAAe,cAAA,EAAe;AAC3D","file":"decision.js","sourcesContent":["import type { Infer } from \"convex/values\";\nimport { v } from \"convex/values\";\n\nexport const decisionType = v.union(\n v.literal(\"invest\"),\n v.literal(\"pass\"),\n v.literal(\"follow_on\"),\n v.literal(\"exit\"),\n v.literal(\"deep_dive\"),\n v.literal(\"monitor\"),\n v.literal(\"deprioritize\"),\n v.literal(\"thesis_adopt\"),\n v.literal(\"thesis_revise\"),\n v.literal(\"thesis_abandon\")\n);\n\nexport const decisionOutcome = v.union(\n v.literal(\"pending\"),\n v.literal(\"successful\"),\n v.literal(\"unsuccessful\"),\n v.literal(\"mixed\"),\n v.literal(\"unknown\")\n);\n\nexport type DecisionType = Infer<typeof decisionType>;\nexport type DecisionOutcome = Infer<typeof decisionOutcome>;\n\nconst DECISION_TYPES = [\n \"invest\",\n \"pass\",\n \"follow_on\",\n \"exit\",\n \"deep_dive\",\n \"monitor\",\n \"deprioritize\",\n \"thesis_adopt\",\n \"thesis_revise\",\n \"thesis_abandon\",\n] as const satisfies readonly DecisionType[];\n\nconst DECISION_TYPE_SET = new Set<string>(DECISION_TYPES);\n\n// Backward compatibility type guard: callers depend on the exported predicate.\nexport function isDecisionType(value: string): value is DecisionType {\n return DECISION_TYPE_SET.has(value);\n}\n\nexport function canEvaluateOutcome(\n decisionTypeValue: DecisionType | undefined,\n decisionDate: number | undefined,\n now: number = Date.now()\n): boolean {\n if (!decisionDate) {\n return false;\n }\n\n const minWindowMs = {\n invest: 365 * 24 * 60 * 60 * 1000,\n pass: 180 * 24 * 60 * 60 * 1000,\n follow_on: 180 * 24 * 60 * 60 * 1000,\n exit: 90 * 24 * 60 * 60 * 1000,\n deep_dive: 30 * 24 * 60 * 60 * 1000,\n monitor: 90 * 24 * 60 * 60 * 1000,\n deprioritize: 180 * 24 * 60 * 60 * 1000,\n thesis_adopt: 365 * 24 * 60 * 60 * 1000,\n thesis_revise: 180 * 24 * 60 * 60 * 1000,\n thesis_abandon: 365 * 24 * 60 * 60 * 1000,\n }[decisionTypeValue ?? \"invest\"];\n\n return now - decisionDate >= minWindowMs;\n}\n\nexport function calculateCalibration(\n decisions: ReadonlyArray<{ confidence: number; successful: boolean }>\n): {\n calibrationScore: number;\n overconfident: boolean;\n underconfident: boolean;\n} {\n if (decisions.length < 10) {\n return {\n calibrationScore: 0.5,\n overconfident: false,\n underconfident: false,\n };\n }\n\n const highConf = decisions.filter((decision) => decision.confidence > 0.7);\n const medConf = decisions.filter(\n (decision) => decision.confidence >= 0.4 && decision.confidence <= 0.7\n );\n const lowConf = decisions.filter((decision) => decision.confidence < 0.4);\n\n const highSuccess =\n highConf.filter((decision) => decision.successful).length /\n (highConf.length || 1);\n const medSuccess =\n medConf.filter((decision) => decision.successful).length /\n (medConf.length || 1);\n const lowSuccess =\n lowConf.filter((decision) => decision.successful).length /\n (lowConf.length || 1);\n\n const calibrated = highSuccess > medSuccess && medSuccess > lowSuccess;\n const overconfident = highSuccess < medSuccess;\n const underconfident = lowSuccess > medSuccess;\n const calibrationScore = calibrated\n ? 0.8 + (highSuccess - lowSuccess) * 0.2\n : 0.5;\n\n return { calibrationScore, overconfident, underconfident };\n}\n"]}
|
|
@@ -19,39 +19,39 @@ var NODE_TYPES = [
|
|
|
19
19
|
"function",
|
|
20
20
|
"value_chain"
|
|
21
21
|
];
|
|
22
|
+
var NODE_TYPE_SET = new Set(NODE_TYPES);
|
|
23
|
+
var NODE_TYPE_TO_LAYER = /* @__PURE__ */ new Map([
|
|
24
|
+
["decision", "L4"],
|
|
25
|
+
["belief", "L3"],
|
|
26
|
+
["question", "L3"],
|
|
27
|
+
["theme", "L3"],
|
|
28
|
+
["deal", "L3"],
|
|
29
|
+
["claim", "L2"],
|
|
30
|
+
["evidence", "L2"],
|
|
31
|
+
["synthesis", "L2"],
|
|
32
|
+
["answer", "L2"],
|
|
33
|
+
["atomic_fact", "L1"],
|
|
34
|
+
["excerpt", "L1"],
|
|
35
|
+
["source", "L1"],
|
|
36
|
+
["topic", "organizational"],
|
|
37
|
+
["company", "ontological"],
|
|
38
|
+
["person", "ontological"],
|
|
39
|
+
["investor", "ontological"],
|
|
40
|
+
["function", "ontological"],
|
|
41
|
+
["value_chain", "ontological"]
|
|
42
|
+
]);
|
|
22
43
|
function isNodeType(value) {
|
|
23
|
-
return
|
|
44
|
+
return NODE_TYPE_SET.has(value);
|
|
24
45
|
}
|
|
25
46
|
function getLayerForNodeType(type) {
|
|
26
|
-
|
|
27
|
-
|
|
28
|
-
|
|
29
|
-
case "belief":
|
|
30
|
-
case "question":
|
|
31
|
-
case "theme":
|
|
32
|
-
case "deal":
|
|
33
|
-
return "L3";
|
|
34
|
-
case "claim":
|
|
35
|
-
case "evidence":
|
|
36
|
-
case "synthesis":
|
|
37
|
-
case "answer":
|
|
38
|
-
return "L2";
|
|
39
|
-
case "atomic_fact":
|
|
40
|
-
case "excerpt":
|
|
41
|
-
case "source":
|
|
42
|
-
return "L1";
|
|
43
|
-
case "topic":
|
|
44
|
-
return "organizational";
|
|
45
|
-
case "company":
|
|
46
|
-
case "person":
|
|
47
|
-
case "investor":
|
|
48
|
-
case "function":
|
|
49
|
-
case "value_chain":
|
|
50
|
-
return "ontological";
|
|
47
|
+
const layer = NODE_TYPE_TO_LAYER.get(type);
|
|
48
|
+
if (!layer) {
|
|
49
|
+
throw new Error(`Unknown node type: ${type}`);
|
|
51
50
|
}
|
|
51
|
+
return layer;
|
|
52
52
|
}
|
|
53
53
|
function resolveKnownLayerForNodeType(type) {
|
|
54
|
-
return isNodeType(type) ?
|
|
54
|
+
return isNodeType(type) ? NODE_TYPE_TO_LAYER.get(type) : void 0;
|
|
55
55
|
}
|
|
56
56
|
function isEpistemicNodeType(type) {
|
|
57
57
|
return getLayerForNodeType(type) !== "ontological";
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"sources":["../../../../src/schema-helpers/spine/tables/epistemicNodes.ts"],"names":[],"mappings":";AA4BO,IAAM,UAAA,GAAa;AAAA,EACxB,UAAA;AAAA,EACA,QAAA;AAAA,EACA,UAAA;AAAA,EACA,OAAA;AAAA,EACA,MAAA;AAAA,EACA,OAAA;AAAA,EACA,OAAA;AAAA,EACA,UAAA;AAAA,EACA,WAAA;AAAA,EACA,QAAA;AAAA,EACA,aAAA;AAAA,EACA,SAAA;AAAA,EACA,QAAA;AAAA,EACA,SAAA;AAAA,EACA,QAAA;AAAA,EACA,UAAA;AAAA,EACA,UAAA;AAAA,EACA;AACF;
|
|
1
|
+
{"version":3,"sources":["../../../../src/schema-helpers/spine/tables/epistemicNodes.ts"],"names":[],"mappings":";AA4BO,IAAM,UAAA,GAAa;AAAA,EACxB,UAAA;AAAA,EACA,QAAA;AAAA,EACA,UAAA;AAAA,EACA,OAAA;AAAA,EACA,MAAA;AAAA,EACA,OAAA;AAAA,EACA,OAAA;AAAA,EACA,UAAA;AAAA,EACA,WAAA;AAAA,EACA,QAAA;AAAA,EACA,aAAA;AAAA,EACA,SAAA;AAAA,EACA,QAAA;AAAA,EACA,SAAA;AAAA,EACA,QAAA;AAAA,EACA,UAAA;AAAA,EACA,UAAA;AAAA,EACA;AACF;AAEA,IAAM,aAAA,GAAgB,IAAI,GAAA,CAAY,UAAU,CAAA;AAChD,IAAM,kBAAA,uBAAyB,GAAA,CAA8B;AAAA,EAC3D,CAAC,YAAY,IAAI,CAAA;AAAA,EACjB,CAAC,UAAU,IAAI,CAAA;AAAA,EACf,CAAC,YAAY,IAAI,CAAA;AAAA,EACjB,CAAC,SAAS,IAAI,CAAA;AAAA,EACd,CAAC,QAAQ,IAAI,CAAA;AAAA,EACb,CAAC,SAAS,IAAI,CAAA;AAAA,EACd,CAAC,YAAY,IAAI,CAAA;AAAA,EACjB,CAAC,aAAa,IAAI,CAAA;AAAA,EAClB,CAAC,UAAU,IAAI,CAAA;AAAA,EACf,CAAC,eAAe,IAAI,CAAA;AAAA,EACpB,CAAC,WAAW,IAAI,CAAA;AAAA,EAChB,CAAC,UAAU,IAAI,CAAA;AAAA,EACf,CAAC,SAAS,gBAAgB,CAAA;AAAA,EAC1B,CAAC,WAAW,aAAa,CAAA;AAAA,EACzB,CAAC,UAAU,aAAa,CAAA;AAAA,EACxB,CAAC,YAAY,aAAa,CAAA;AAAA,EAC1B,CAAC,YAAY,aAAa,CAAA;AAAA,EAC1B,CAAC,eAAe,aAAa;AAC/B,CAAC,CAAA;AAGM,SAAS,WAAW,KAAA,EAAkC;AAC3D,EAAA,OAAO,aAAA,CAAc,IAAI,KAAK,CAAA;AAChC;AAEO,SAAS,oBAAoB,IAAA,EAAgC;AAClE,EAAA,MAAM,KAAA,GAAQ,kBAAA,CAAmB,GAAA,CAAI,IAAI,CAAA;AACzC,EAAA,IAAI,CAAC,KAAA,EAAO;AACV,IAAA,MAAM,IAAI,KAAA,CAAM,CAAA,mBAAA,EAAsB,IAAI,CAAA,CAAE,CAAA;AAAA,EAC9C;AACA,EAAA,OAAO,KAAA;AACT;AAEO,SAAS,6BACd,IAAA,EAC4B;AAC5B,EAAA,OAAO,WAAW,IAAI,CAAA,GAAI,kBAAA,CAAmB,GAAA,CAAI,IAAI,CAAA,GAAI,MAAA;AAC3D;AAEO,SAAS,oBAAoB,IAAA,EAAyB;AAC3D,EAAA,OAAO,mBAAA,CAAoB,IAAI,CAAA,KAAM,aAAA;AACvC","file":"epistemicNodes.js","sourcesContent":["export type NodeType =\n | \"decision\"\n | \"belief\"\n | \"question\"\n | \"theme\"\n | \"deal\"\n | \"topic\"\n | \"claim\"\n | \"evidence\"\n | \"synthesis\"\n | \"answer\"\n | \"atomic_fact\"\n | \"excerpt\"\n | \"source\"\n | \"company\"\n | \"person\"\n | \"investor\"\n | \"function\"\n | \"value_chain\";\n\nexport type EpistemicLayer =\n | \"L4\"\n | \"L3\"\n | \"L2\"\n | \"L1\"\n | \"ontological\"\n | \"organizational\";\n\nexport const NODE_TYPES = [\n \"decision\",\n \"belief\",\n \"question\",\n \"theme\",\n \"deal\",\n \"topic\",\n \"claim\",\n \"evidence\",\n \"synthesis\",\n \"answer\",\n \"atomic_fact\",\n \"excerpt\",\n \"source\",\n \"company\",\n \"person\",\n \"investor\",\n \"function\",\n \"value_chain\",\n] as const satisfies readonly NodeType[];\n\nconst NODE_TYPE_SET = new Set<string>(NODE_TYPES);\nconst NODE_TYPE_TO_LAYER = new Map<NodeType, EpistemicLayer>([\n [\"decision\", \"L4\"],\n [\"belief\", \"L3\"],\n [\"question\", \"L3\"],\n [\"theme\", \"L3\"],\n [\"deal\", \"L3\"],\n [\"claim\", \"L2\"],\n [\"evidence\", \"L2\"],\n [\"synthesis\", \"L2\"],\n [\"answer\", \"L2\"],\n [\"atomic_fact\", \"L1\"],\n [\"excerpt\", \"L1\"],\n [\"source\", \"L1\"],\n [\"topic\", \"organizational\"],\n [\"company\", \"ontological\"],\n [\"person\", \"ontological\"],\n [\"investor\", \"ontological\"],\n [\"function\", \"ontological\"],\n [\"value_chain\", \"ontological\"],\n]);\n\n// Backward compatibility type guard: callers depend on the exported predicate.\nexport function isNodeType(value: string): value is NodeType {\n return NODE_TYPE_SET.has(value);\n}\n\nexport function getLayerForNodeType(type: NodeType): EpistemicLayer {\n const layer = NODE_TYPE_TO_LAYER.get(type);\n if (!layer) {\n throw new Error(`Unknown node type: ${type}`);\n }\n return layer;\n}\n\nexport function resolveKnownLayerForNodeType(\n type: string\n): EpistemicLayer | undefined {\n return isNodeType(type) ? NODE_TYPE_TO_LAYER.get(type) : undefined;\n}\n\nexport function isEpistemicNodeType(type: NodeType): boolean {\n return getLayerForNodeType(type) !== \"ontological\";\n}\n"]}
|
|
@@ -41,7 +41,7 @@ declare const ComponentTableManifestSchema: z.ZodObject<{
|
|
|
41
41
|
}[];
|
|
42
42
|
}>, "many">;
|
|
43
43
|
}, "strip", z.ZodTypeAny, {
|
|
44
|
-
tier: "
|
|
44
|
+
tier: "I" | "K";
|
|
45
45
|
manifestVersion: string;
|
|
46
46
|
componentName: "kernel" | "identity";
|
|
47
47
|
packageVersion: string;
|
|
@@ -55,7 +55,7 @@ declare const ComponentTableManifestSchema: z.ZodObject<{
|
|
|
55
55
|
}[];
|
|
56
56
|
}[];
|
|
57
57
|
}, {
|
|
58
|
-
tier: "
|
|
58
|
+
tier: "I" | "K";
|
|
59
59
|
manifestVersion: string;
|
|
60
60
|
componentName: "kernel" | "identity";
|
|
61
61
|
packageVersion: string;
|