@lucern/contracts 0.3.0-alpha.1 → 0.3.0-alpha.11
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/api-enums.contract.d.ts +5 -3
- package/dist/api-enums.contract.js +14 -12
- package/dist/api-enums.contract.js.map +1 -1
- package/dist/component-boundary.contract.d.ts +14 -0
- package/dist/component-boundary.contract.js +174 -0
- package/dist/component-boundary.contract.js.map +1 -0
- package/dist/component-host-boundary.contract.d.ts +46 -0
- package/dist/component-host-boundary.contract.js +60 -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/{defineTable-CBQ03FXl.d.ts → defineTable-t1wr5wgn.d.ts} +1 -1
- package/dist/{dsl-BgpoVOVQ.d.ts → dsl-DVPthQGY.d.ts} +2 -2
- package/dist/dsl.d.ts +2 -2
- 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 +54 -41
- package/dist/function-registry/beliefs.js +759 -38
- package/dist/function-registry/beliefs.js.map +1 -1
- package/dist/function-registry/coding.d.ts +9 -0
- package/dist/function-registry/coding.js +811 -39
- package/dist/function-registry/coding.js.map +1 -1
- package/dist/function-registry/context.d.ts +19 -13
- package/dist/function-registry/context.js +750 -42
- package/dist/function-registry/context.js.map +1 -1
- package/dist/function-registry/contracts.d.ts +6 -0
- package/dist/function-registry/contracts.js +715 -35
- package/dist/function-registry/contracts.js.map +1 -1
- package/dist/function-registry/coordination.d.ts +12 -0
- package/dist/function-registry/coordination.js +715 -35
- package/dist/function-registry/coordination.js.map +1 -1
- package/dist/function-registry/edges.d.ts +165 -0
- package/dist/function-registry/edges.js +923 -67
- package/dist/function-registry/edges.js.map +1 -1
- package/dist/function-registry/evidence.d.ts +44 -33
- package/dist/function-registry/evidence.js +769 -47
- package/dist/function-registry/evidence.js.map +1 -1
- package/dist/function-registry/graph.d.ts +149 -53
- package/dist/function-registry/graph.js +831 -42
- package/dist/function-registry/graph.js.map +1 -1
- package/dist/function-registry/helpers.d.ts +6 -3
- package/dist/function-registry/helpers.js +716 -36
- package/dist/function-registry/helpers.js.map +1 -1
- package/dist/function-registry/identity.d.ts +6 -0
- package/dist/function-registry/identity.js +715 -35
- package/dist/function-registry/identity.js.map +1 -1
- package/dist/function-registry/index.d.ts +5 -3
- package/dist/function-registry/index.js +722 -39
- package/dist/function-registry/index.js.map +1 -1
- package/dist/function-registry/judgments.d.ts +14 -9
- package/dist/function-registry/judgments.js +727 -38
- package/dist/function-registry/judgments.js.map +1 -1
- package/dist/function-registry/legacy.d.ts +4 -0
- package/dist/function-registry/legacy.js +715 -35
- package/dist/function-registry/legacy.js.map +1 -1
- package/dist/function-registry/lenses.d.ts +24 -17
- package/dist/function-registry/lenses.js +738 -38
- 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/nodes.d.ts +412 -0
- package/dist/function-registry/nodes.js +5303 -0
- package/dist/function-registry/nodes.js.map +1 -0
- package/dist/function-registry/ontologies.d.ts +59 -45
- package/dist/function-registry/ontologies.js +733 -41
- package/dist/function-registry/ontologies.js.map +1 -1
- package/dist/function-registry/pipeline.d.ts +19 -13
- package/dist/function-registry/pipeline.js +724 -38
- package/dist/function-registry/pipeline.js.map +1 -1
- package/dist/function-registry/questions.d.ts +64 -49
- package/dist/function-registry/questions.js +812 -43
- package/dist/function-registry/questions.js.map +1 -1
- package/dist/function-registry/tasks.d.ts +24 -17
- package/dist/function-registry/tasks.js +776 -44
- package/dist/function-registry/tasks.js.map +1 -1
- package/dist/function-registry/topics.d.ts +109 -21
- package/dist/function-registry/topics.js +797 -39
- package/dist/function-registry/topics.js.map +1 -1
- package/dist/function-registry/types.d.ts +6 -2
- package/dist/function-registry/worktrees.d.ts +94 -41
- package/dist/function-registry/worktrees.js +854 -47
- 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 +5 -0
- package/dist/gateway.contract.js.map +1 -1
- package/dist/generated/convexSchemas.d.ts +3 -3
- package/dist/generated/convexSchemas.js +38 -18
- package/dist/generated/convexSchemas.js.map +1 -1
- package/dist/generated/infisicalRuntimeEnv.d.ts +70 -0
- package/dist/generated/infisicalRuntimeEnv.js +26572 -0
- package/dist/generated/infisicalRuntimeEnv.js.map +1 -0
- package/dist/generated/lucernGatewayEnv.d.ts +17 -0
- package/dist/generated/lucernGatewayEnv.js +38 -0
- package/dist/generated/lucernGatewayEnv.js.map +1 -0
- package/dist/generated/lucernWebPublicEnv.d.ts +26 -0
- package/dist/generated/lucernWebPublicEnv.js +32 -0
- package/dist/generated/lucernWebPublicEnv.js.map +1 -0
- package/dist/generated/lucernWebServerEnv.d.ts +33 -0
- package/dist/generated/lucernWebServerEnv.js +51 -0
- package/dist/generated/lucernWebServerEnv.js.map +1 -0
- package/dist/generated/schema-manifest.json +1199 -138
- package/dist/generated/tableOwnership.d.ts +47 -27
- package/dist/generated/tableOwnership.js +66 -26
- package/dist/generated/tableOwnership.js.map +1 -1
- package/dist/generated/tier-expectations.json +62 -8
- 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-CM1Pl_vI.d.ts +28 -0
- package/dist/index.d.ts +29 -414
- package/dist/index.js +34791 -1088
- package/dist/index.js.map +1 -1
- package/dist/infisical-runtime.contract.d.ts +1768 -0
- package/dist/infisical-runtime.contract.js +3093 -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 +1672 -0
- package/dist/manifests/infisical-runtime-manifest.js +2948 -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 +201 -0
- package/dist/mcp-gateway-boundary.contract.js +45 -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 +403 -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 +130 -0
- package/dist/projections/create-evidence.projection.js.map +1 -0
- package/dist/projections/index.d.ts +102 -0
- package/dist/projections/index.js +352 -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 +44 -0
- package/dist/projections/list-tasks.projection.js +57 -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/proof-attestation.json +45 -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 +6 -6
- package/dist/schemas/component-table-manifest.js +2 -2
- package/dist/schemas/component-table-manifest.js.map +1 -1
- 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 +3 -3
- package/dist/schemas/index.js +1129 -139
- package/dist/schemas/index.js.map +1 -1
- package/dist/schemas/manifest.d.ts +2979 -949
- package/dist/schemas/manifest.js +1127 -137
- package/dist/schemas/manifest.js.map +1 -1
- package/dist/schemas/sl-opinion.d.ts +4 -4
- package/dist/schemas/tables/controlPlane/accessControl.d.ts +260 -0
- package/dist/schemas/tables/controlPlane/accessControl.js +653 -0
- package/dist/schemas/tables/controlPlane/accessControl.js.map +1 -0
- package/dist/schemas/tables/{identity → controlPlane}/agent.d.ts +1 -1
- package/dist/schemas/tables/{identity → controlPlane}/agent.js +3 -3
- package/dist/schemas/tables/controlPlane/agent.js.map +1 -0
- package/dist/schemas/tables/{identity → controlPlane}/epistemic.d.ts +1 -1
- package/dist/schemas/tables/{identity → controlPlane}/epistemic.js +3 -3
- package/dist/schemas/tables/controlPlane/epistemic.js.map +1 -0
- package/dist/schemas/tables/{identity → controlPlane}/model.d.ts +1 -1
- package/dist/schemas/tables/{identity → controlPlane}/model.js +6 -6
- package/dist/schemas/tables/controlPlane/model.js.map +1 -0
- package/dist/schemas/tables/{identity → controlPlane}/platform.d.ts +11 -11
- package/dist/schemas/tables/{identity → controlPlane}/platform.js +18 -18
- package/dist/schemas/tables/controlPlane/platform.js.map +1 -0
- package/dist/schemas/tables/{identity → controlPlane}/project.d.ts +1 -1
- package/dist/schemas/tables/{identity → controlPlane}/project.js +3 -3
- package/dist/schemas/tables/controlPlane/project.js.map +1 -0
- package/dist/schemas/tables/{identity → controlPlane}/user.d.ts +1 -1
- package/dist/schemas/tables/{identity → controlPlane}/user.js +3 -3
- package/dist/schemas/tables/controlPlane/user.js.map +1 -0
- package/dist/schemas/tables/kernel/config.d.ts +1 -1
- package/dist/schemas/tables/kernel/config.js.map +1 -1
- package/dist/schemas/tables/kernel/coordination.d.ts +1 -1
- package/dist/schemas/tables/kernel/coordination.js.map +1 -1
- package/dist/schemas/tables/kernel/decision.d.ts +1 -1
- package/dist/schemas/tables/kernel/decision.js.map +1 -1
- package/dist/schemas/tables/kernel/embedding.d.ts +1 -1
- package/dist/schemas/tables/kernel/embedding.js.map +1 -1
- package/dist/schemas/tables/kernel/epistemic.d.ts +7 -7
- package/dist/schemas/tables/kernel/epistemic.js.map +1 -1
- package/dist/schemas/tables/kernel/idempotency.d.ts +1 -1
- package/dist/schemas/tables/kernel/idempotency.js.map +1 -1
- package/dist/schemas/tables/kernel/infra.d.ts +5 -5
- package/dist/schemas/tables/kernel/infra.js.map +1 -1
- package/dist/schemas/tables/kernel/intelligence.d.ts +11 -11
- package/dist/schemas/tables/kernel/intelligence.js.map +1 -1
- package/dist/schemas/tables/kernel/lens.d.ts +5 -5
- package/dist/schemas/tables/kernel/lens.js.map +1 -1
- package/dist/schemas/tables/kernel/ontology.d.ts +1 -1
- package/dist/schemas/tables/kernel/ontology.js.map +1 -1
- package/dist/schemas/tables/kernel/platform.d.ts +13 -13
- package/dist/schemas/tables/kernel/platform.js.map +1 -1
- package/dist/schemas/tables/kernel/spine.d.ts +5 -4
- package/dist/schemas/tables/kernel/spine.js +6 -2
- package/dist/schemas/tables/kernel/spine.js.map +1 -1
- package/dist/schemas/tables/kernel/task.d.ts +43 -43
- package/dist/schemas/tables/kernel/task.js.map +1 -1
- package/dist/schemas/tables/kernel/topic.d.ts +1 -1
- package/dist/schemas/tables/kernel/topic.js +5 -1
- package/dist/schemas/tables/kernel/topic.js.map +1 -1
- package/dist/schemas/tables/kernel/workflow.d.ts +1 -1
- package/dist/schemas/tables/kernel/workflow.js.map +1 -1
- package/dist/schemas/tables/kernel/worktree.d.ts +55 -55
- package/dist/schemas/tables/kernel/worktree.js.map +1 -1
- package/dist/schemas/tables/mc/identity.d.ts +44 -4
- package/dist/schemas/tables/mc/identity.js +66 -1
- package/dist/schemas/tables/mc/identity.js.map +1 -1
- package/dist/schemas/tables/mc/methodology.d.ts +1 -1
- package/dist/schemas/tables/mc/methodology.js.map +1 -1
- package/dist/schemas/tables/mc/pack.d.ts +21 -21
- package/dist/schemas/tables/mc/pack.js.map +1 -1
- package/dist/schemas/tables/mc/policy.d.ts +2 -2
- package/dist/schemas/tables/mc/policy.js +1 -1
- package/dist/schemas/tables/mc/policy.js.map +1 -1
- package/dist/schemas/tables/mc/registry.d.ts +5 -5
- package/dist/schemas/tables/mc/registry.js.map +1 -1
- package/dist/schemas/tables/mc/runtime.d.ts +109 -3
- package/dist/schemas/tables/mc/runtime.js +330 -104
- package/dist/schemas/tables/mc/runtime.js.map +1 -1
- package/dist/schemas/tables/mc/tenant.d.ts +3 -2
- package/dist/schemas/tables/mc/tenant.js +2 -1
- package/dist/schemas/tables/mc/tenant.js.map +1 -1
- package/dist/schemas/tables/mc/workspace.d.ts +28 -5
- package/dist/schemas/tables/mc/workspace.js +36 -2
- 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 +672 -24
- package/dist/sdk-tools.contract.js.map +1 -1
- package/dist/tenant-bootstrap-seed.contract.d.ts +1269 -0
- package/dist/tenant-bootstrap-seed.contract.js +751 -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 +673 -25
- package/dist/tool-contracts.js.map +1 -1
- package/package.json +30 -1
- package/dist/index-CV-0_VWJ.d.ts +0 -25
- package/dist/schemas/tables/identity/agent.js.map +0 -1
- package/dist/schemas/tables/identity/epistemic.js.map +0 -1
- package/dist/schemas/tables/identity/model.js.map +0 -1
- package/dist/schemas/tables/identity/platform.js.map +0 -1
- package/dist/schemas/tables/identity/project.js.map +0 -1
- package/dist/schemas/tables/identity/user.js.map +0 -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"]}
|
|
@@ -0,0 +1,45 @@
|
|
|
1
|
+
{
|
|
2
|
+
"proofIrVersion": "proof-ir/v1",
|
|
3
|
+
"manifestVersions": {
|
|
4
|
+
"@lucern/confidence": "0.3.0-alpha.0",
|
|
5
|
+
"@lucern/contracts": "0.3.0-alpha.0",
|
|
6
|
+
"edge-policy-manifest": "1.0.0"
|
|
7
|
+
},
|
|
8
|
+
"invariantsCovered": [
|
|
9
|
+
"INV-1: beliefs append-only",
|
|
10
|
+
"INV-14: no silent state transitions",
|
|
11
|
+
"MANIFEST-1: kernel projections declare epistemicAudit"
|
|
12
|
+
],
|
|
13
|
+
"invariantResults": [
|
|
14
|
+
{
|
|
15
|
+
"invariant": "INV-1: beliefs append-only",
|
|
16
|
+
"status": "passed",
|
|
17
|
+
"severity": "block_publish",
|
|
18
|
+
"evidenceRefs": []
|
|
19
|
+
},
|
|
20
|
+
{
|
|
21
|
+
"invariant": "INV-14: no silent state transitions",
|
|
22
|
+
"status": "passed",
|
|
23
|
+
"severity": "block_publish",
|
|
24
|
+
"evidenceRefs": []
|
|
25
|
+
},
|
|
26
|
+
{
|
|
27
|
+
"invariant": "MANIFEST-1: kernel projections declare epistemicAudit",
|
|
28
|
+
"status": "passed",
|
|
29
|
+
"severity": "block_publish",
|
|
30
|
+
"evidenceRefs": []
|
|
31
|
+
}
|
|
32
|
+
],
|
|
33
|
+
"contractsCovered": [
|
|
34
|
+
"create_evidence",
|
|
35
|
+
"list_beliefs",
|
|
36
|
+
"list_tasks",
|
|
37
|
+
"modulate_confidence"
|
|
38
|
+
],
|
|
39
|
+
"emittersUsed": [
|
|
40
|
+
"typescript-types",
|
|
41
|
+
"convex-validators",
|
|
42
|
+
"proof-attestation"
|
|
43
|
+
],
|
|
44
|
+
"signedAt": 1778363337248
|
|
45
|
+
}
|
|
@@ -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";
|