@lucern/contracts 1.0.16 → 1.0.17

package/dist/function-registry/evidence.js

@@ -6,15 +6,23 @@ import { v } from 'convex/values';
 // src/tool-contracts.lifecycle.ts
 var CREATE_BELIEF = {
   name: "create_belief",
-  description: "Commit a new belief (knowledge unit) to the reasoning graph. Like `git commit` \u2014 creates an atomic, traceable knowledge object with a prior. Creation stores the vacuous opinion `(0, 0, 1, a)`; attach supporting or contradicting evidence with create_evidence or link_evidence_to_belief to record evidential updates.",
+  description: "Commit a new belief (knowledge unit) to the reasoning graph. Like `git commit` \u2014 creates an atomic, traceable knowledge object with a prior. Creation requires a topic epistemic-node anchor and writes a `scoped_by` edge directly from belief node to topic node; orphan beliefs are invalid. Creation stores the vacuous opinion `(0, 0, 1, a)`; attach supporting or contradicting evidence with create_evidence or link_evidence_to_belief to record evidential updates.",
   parameters: {
     canonicalText: {
       type: "string",
       description: "The belief statement \u2014 what the agent holds to be true"
     },
+    topicGlobalId: {
+      type: "string",
+      description: "Required globalId (UUID) of the topic node in epistemicNodes that anchors the belief"
+    },
+    topicNodeId: {
+      type: "string",
+      description: "Optional internal epistemicNodes _id for the topic anchor. Prefer topicGlobalId for public callers."
+    },
     topicId: {
       type: "string",
-      description: "Optional topic scope hint for the belief"
+      description: "Deprecated compatibility alias for topicGlobalId. Must identify a topic epistemicNode, not a legacy topics-table row."
     },
     baseRate: {
       type: "number",
@@ -29,7 +37,7 @@ var CREATE_BELIEF = {
       description: "Optional extra metadata merged into the node (e.g., { codeAnchors: ['path/to/file.ts'] } for coding intelligence)"
     }
   },
-  required: ["canonicalText"],
+  required: ["canonicalText", "topicGlobalId"],
   response: {
     description: "The created canonical belief record",
     fields: {
@@ -38,7 +46,7 @@ var CREATE_BELIEF = {
       beliefId: "string \u2014 canonical belief ID",
       text: "string \u2014 canonical belief formulation",
       topicId: "string",
-      status: "string \u2014 active | superseded | archived",
+      beliefStatus: "string \u2014 assumption | hypothesis | active | superseded | resolved_true | resolved_false",
       scoringState: "string \u2014 unscored | scored"
     }
   },
@@ -61,7 +69,7 @@ var GET_BELIEF = {
       beliefId: "string \u2014 canonical belief ID",
       text: "string \u2014 canonical belief formulation",
       topicId: "string",
-      status: "string \u2014 active | superseded | archived",
+      beliefStatus: "string \u2014 assumption | hypothesis | active | superseded | resolved_true | resolved_false",
       scoringState: "string \u2014 unscored | scored"
     }
   },
@@ -90,34 +98,24 @@ var REFINE_BELIEF = {
   ontologyPrimitive: "belief",
   tier: "showcase"
 };
-var MODULATE_CONFIDENCE = {
-  name: "modulate_confidence",
-  description: "Internal-only subjective-logic ledger append. Like `git commit` to the credence log for the scoring engine \u2014 never an operator-facing way to assert confidence. Agents, SDK callers, CLI users, and MCP clients must instead create or link evidence with `evidenceRelation: supports|contradicts`; the kernel derives the next opinion from that evidence. This compatibility primitive is reserved for governed system scoring paths that already hold a full subjective-logic tuple and truth-bearing provenance.",
+var APPEND_SL_SCORING = {
+  name: "append_sl_scoring",
+  description: "Internal evidence-backed Subjective Logic scoring append. This is not a public MCP tool: callers should attach supporting or contradicting evidence, and governed system paths append the derived SL tuple.",
   parameters: {
-    nodeId: { type: "string", description: "The belief to score" },
-    belief: {
-      type: "number",
-      description: "Subjective-logic belief mass `b` in [0, 1]"
-    },
+    nodeId: { type: "string", description: "The belief receiving the SL score" },
+    belief: { type: "number", description: "Subjective Logic belief mass b" },
     disbelief: {
       type: "number",
-      description: "Subjective-logic disbelief mass `d` in [0, 1]"
+      description: "Subjective Logic disbelief mass d"
     },
     uncertainty: {
       type: "number",
-      description: "Subjective-logic uncertainty mass `u` in [0, 1]"
-    },
-    baseRate: {
-      type: "number",
-      description: "Subjective-logic base rate `a` in [0, 1]. Required for tuple payloads."
-    },
-    worktreeId: {
-      type: "string",
-      description: "Completed worktree that tested this belief when confidence policy requires merge-backed scoring."
+      description: "Subjective Logic uncertainty mass u"
     },
+    baseRate: { type: "number", description: "Subjective Logic base rate a" },
     trigger: {
       type: "string",
-      description: "What caused this confidence change",
+      description: "Evidence-bearing cause of the scoring event",
       enum: [
         "evidence_added",
         "evidence_removed",
@@ -128,64 +126,39 @@ var MODULATE_CONFIDENCE = {
         "worktree_completed",
         "fusion",
         "discount",
-        "deduction"
+        "deduction",
+        "backfill_synthetic"
       ]
     },
-    triggeringEvidenceId: {
-      type: "string",
-      description: "Evidence node that caused an evidence-triggered modulation"
-    },
-    triggeringQuestionId: {
-      type: "string",
-      description: "Answered question whose resolution supports this modulation"
-    },
-    triggeringAnswerId: {
-      type: "string",
-      description: "Answer node whose content supports this modulation"
-    },
-    triggeringContradictionId: {
-      type: "string",
-      description: "Contradiction record that caused a contradiction-triggered modulation"
-    },
-    triggeringWorktreeId: {
-      type: "string",
-      description: "Completed worktree whose outcome caused a worktree-triggered modulation"
+    provenance: {
+      type: "object",
+      description: "At least one of evidence, question, answer, contradiction, or worktree."
     },
     rationale: {
       type: "string",
-      description: "Human-readable explanation of why confidence changed"
+      description: "Why this evidence-bearing event moved the SL tuple"
     }
   },
-  required: [
-    "nodeId",
-    "belief",
-    "disbelief",
-    "uncertainty",
-    "baseRate",
-    "trigger",
-    "rationale"
-  ],
+  required: ["nodeId", "belief", "disbelief", "uncertainty", "baseRate", "trigger", "rationale"],
   response: {
-    description: "Confidence modulation result",
+    description: "Internal SL scoring append receipt",
     fields: {
-      beliefId: "string \u2014 canonical belief ID",
-      nodeId: "string \u2014 canonical belief ID",
-      newConfidence: "number",
+      nodeId: "string",
       previousConfidence: "number",
-      trigger: "string",
-      requestId: "string \u2014 request identifier for the scheduled cascade",
-      propagationSummary: "object \u2014 bounded inline cascade summary with totalCandidateTargets, inlineTargets, and remainingTargetCount"
+      newConfidence: "number",
+      beliefConfidenceId: "string"
     }
   },
   ownerModule: "graph-primitives",
   ontologyPrimitive: "belief",
-  tier: "showcase"
+  tier: "workhorse",
+  internal: true
 };
 var FORK_BELIEF = {
   name: "fork_belief",
-  description: "Branch off a scored belief to create a new version with a different formulation. Like `git fork` \u2014 the parent remains immutable with full history. The new belief gets a `supersedes` edge to the parent. Fork reasons: refinement, contradiction_response, scope_change, confidence_collapse, manual.",
+  description: "Branch off an evidence-bearing belief to create a new formulation. Like `git fork` \u2014 the parent remains immutable with full history, and every fork must cite evidence already attached to the parent through SL scoring. `forkMode=supersede` marks the parent superseded and requires contradicting evidence; `forkMode=branch` preserves the parent and creates a derived child.",
   parameters: {
-    nodeId: { type: "string", description: "The scored belief to fork from" },
+    nodeId: { type: "string", description: "The belief to fork from" },
     newFormulation: {
       type: "string",
       description: "The evolved belief statement"
@@ -197,12 +170,20 @@ var FORK_BELIEF = {
         "refinement",
         "contradiction_response",
         "scope_change",
-        "confidence_collapse",
-        "manual"
+        "confidence_collapse"
       ]
+    },
+    forkMode: {
+      type: "string",
+      description: "supersede replaces the parent; branch creates a child while preserving the parent.",
+      enum: ["supersede", "branch"]
+    },
+    triggeringEvidenceId: {
+      type: "string",
+      description: "Evidence already attached to the parent belief that caused the fork."
     }
   },
-  required: ["nodeId", "newFormulation", "forkReason"],
+  required: ["nodeId", "newFormulation", "forkReason", "triggeringEvidenceId"],
   response: {
     description: "The forked canonical belief record",
     fields: {
@@ -704,7 +685,7 @@ var REASONING_METHODS = [
 // src/tool-contracts.graph.ts
 var QUERY_LINEAGE = {
   name: "query_lineage",
-  description: "Trace a belief's full ancestry \u2014 every fork, score, and confidence modulation. Like `git log --graph`. Returns the complete evolution chain showing how understanding developed over time. Lineage is permanent and can never be erased (Invariant #3).",
+  description: "Trace a belief's full ancestry \u2014 every fork, score, and SL scoring event. Like `git log --graph`. Returns the complete evolution chain showing how understanding developed over time. Lineage is permanent and can never be erased (Invariant #3).",
   parameters: {
     nodeId: { type: "string", description: "Starting node to trace from" },
     depth: {
@@ -903,7 +884,7 @@ var FIND_CONTRADICTIONS = {
 };
 var BISECT_CONFIDENCE = {
   name: "bisect_confidence",
-  description: "Find when a belief's confidence diverged from reality. Like `git bisect` \u2014 binary search through the credence history to find the inflection point. Given a belief that is now known to be wrong (or right), traces back through confidence modulations to identify which evidence or event caused the divergence.",
+  description: "Find when a belief's confidence diverged from reality. Like `git bisect` \u2014 binary search through the credence history to find the inflection point. Given a belief that is now known to be wrong (or right), traces back through SL scoring events to identify which evidence or event caused the divergence.",
   parameters: {
     nodeId: { type: "string", description: "The belief to bisect" },
     expectedDirection: {
@@ -922,7 +903,7 @@ var BISECT_CONFIDENCE = {
     fields: {
       beliefId: "string \u2014 canonical belief ID",
       expectedDirection: "string \u2014 overconfident | underconfident",
-      inflectionEntry: "object \u2014 the confidence modulation where divergence began",
+      inflectionEntry: "object \u2014 the scoring event where divergence began",
       triggerEvent: "string | null \u2014 what caused the divergence",
       confidenceBefore: "number | null",
       confidenceAfter: "number | null",
@@ -1867,18 +1848,18 @@ var SEARCH_EVIDENCE = {
 };
 var CREATE_EVIDENCE = {
   name: "create_evidence",
-  description: "Commit evidence to the reasoning graph. Like `git commit` \u2014 creates a traceable evidence record with canonical public IDs. Optionally links the evidence to a belief or question in the same operation. When evidence bears on beliefs, state whether it supports or contradicts; SL confidence is derived from these evidence relations.",
+  description: "Commit evidence to the reasoning graph. Like `git commit` \u2014 creates a traceable evidence record with canonical public IDs. Evidence creation must link to at least one belief and must include a signed impact score. Positive scores support the belief; negative scores contradict it. SL confidence is derived from these weighted evidence relations.",
   parameters: {
     topicId: { type: "string", description: "Topic scope" },
     text: { type: "string", description: "Canonical evidence text" },
     source: { type: "string", description: "Source URL or source label" },
     targetId: {
       type: "string",
-      description: "Optional belief or question identifier to link immediately"
+      description: "Belief identifier to link immediately"
     },
     weight: {
       type: "number",
-      description: "Optional support weight: -1.0 (contradicts) to +1.0 (supports). If omitted, evidenceRelation + confidence determine the weight."
+      description: "Required nonzero signed impact score: -1.0 (contradicts) to +1.0 (supports)."
     },
     evidenceRelation: {
       type: "string",
@@ -1887,7 +1868,7 @@ var CREATE_EVIDENCE = {
     },
     confidence: {
       type: "number",
-      description: "Confidence in the evidence relation, 0.0 to 1.0"
+      description: "Deprecated hint. Runtime confidence is derived from the signed impact score."
     },
     beliefRelations: {
       type: "array",
@@ -1909,7 +1890,7 @@ var CREATE_EVIDENCE = {
     },
     kind: { type: "string", description: "Optional evidence kind" }
   },
-  required: ["text", "rationale"],
+  required: ["text", "rationale", "weight"],
   response: {
     description: "The created canonical evidence record",
     fields: {
@@ -1984,7 +1965,7 @@ var LINK_EVIDENCE = {
     },
     rationale: { type: "string", description: "Why this link exists" }
   },
-  required: ["evidenceId", "targetId"],
+  required: ["evidenceId", "targetId", "weight"],
   response: {
     description: "The created canonical evidence edge summary",
     fields: {
@@ -2020,7 +2001,7 @@ var LINK_EVIDENCE_TO_BELIEF = {
     },
     rationale: { type: "string", description: "Why this evidence is relevant" }
   },
-  required: ["evidenceId", "beliefId"],
+  required: ["evidenceId", "beliefId", "weight"],
   response: {
     description: "The created edge linking evidence to belief",
     fields: {
@@ -2839,6 +2820,11 @@ var COMPILE_CONTEXT = {
   response: {
     description: "Compiled context pack for the requested topic",
     fields: {
+      contextNarrative: "array \u2014 first field; ordered synthesis blocks with kind/text, starting with executive_summary and canonical narrative blocks before raw objects",
+      narrativeCoverage: "object \u2014 recordsSynthesized, recordsNamed, recordsOmitted, topicsSynthesized, topicsEnriched, topicContentOmitted, enrichmentMode, and blocksEmitted for the narrative",
+      synthesisLints: "array \u2014 inline quality warnings for degenerate synthesis blocks or weak narrative coverage",
+      retrievalReceipt: "object \u2014 candidateCounts, coverageWarning, narrativeCoverage, synthesisLints, and suggestedNextActions",
+      supportingObjects: "object \u2014 raw graph records grouped behind the synthesis: invariants, activeBeliefs, openQuestions, recentEvidence, worktrees, lanes, entities, and contradictions",
       schemaVersion: "string",
       topicId: "string",
       topicName: "string",
@@ -2846,15 +2832,6 @@ var COMPILE_CONTEXT = {
       generatedAt: "number \u2014 deterministic graph-backed reference timestamp for this compilation",
       ranking: "string \u2014 baseline_v1 | weighted_v1",
       summary: "object \u2014 counts and scoped health signals",
-      invariants: "array \u2014 high-confidence invariant beliefs",
-      activeBeliefs: "array \u2014 current high-signal beliefs",
-      openQuestions: "array \u2014 unresolved questions ranked for this query",
-      recentEvidence: "array \u2014 recent evidence ranked for this query",
-      contradictions: "array \u2014 unresolved contradiction records",
-      relatedEntities: "array | undefined \u2014 ranked ontological entities in scope",
-      contextNarrative: "array \u2014 ordered synthesis blocks with kind/text, starting with executive_summary and canonical narrative blocks before raw objects",
-      retrievalReceipt: "object \u2014 candidateCounts, coverageWarning, narrativeCoverage, synthesisLints, and suggestedNextActions",
-      narrativeCoverage: "object \u2014 recordsSynthesized, recordsNamed, recordsOmitted, topicsSynthesized, topicsEnriched, topicContentOmitted, enrichmentMode, and blocksEmitted for the narrative",
       injectionPolicy: "object \u2014 token-budgeted section selections",
       diagnostics: "object \u2014 scoring and utilization telemetry"
     }
@@ -4273,7 +4250,7 @@ var TRIGGER_BELIEF_REVIEW = {
 };
 var EVALUATE_CONTRACT = {
   name: "evaluate_contract",
-  description: "Run a contract evaluation and record the append-only result. Like `git test` for a belief binding \u2014 executes the evaluator, logs the result, and applies any allowed confidence modulation.",
+  description: "Run a contract evaluation and record the append-only result. Like `git test` for a belief binding \u2014 executes the evaluator, logs the result, and applies any allowed SL scoring action.",
   parameters: {
     contractId: { type: "string", description: "Which contract to evaluate" },
     trigger: {
@@ -4629,7 +4606,7 @@ var MCP_TOOL_CONTRACTS = {
   create_belief: CREATE_BELIEF,
   get_belief: GET_BELIEF,
   refine_belief: REFINE_BELIEF,
-  modulate_confidence: MODULATE_CONFIDENCE,
+  append_sl_scoring: APPEND_SL_SCORING,
   fork_belief: FORK_BELIEF,
   archive_belief: ARCHIVE_BELIEF,
   create_epistemic_contract: CREATE_EPISTEMIC_CONTRACT,
@@ -5124,12 +5101,12 @@ var LUCERN_OPERATION_MANIFEST = {
     internalSystem,
     "Lucern system/background operation. Available to platform code paths, hidden from public MCP discovery."
   ),
-  modulate_confidence: {
-    name: "modulate_confidence",
+  append_sl_scoring: {
+    name: "append_sl_scoring",
     surfaceClass: "platform_internal",
     surfaceIntent: "system",
     surfaces: internalSdkRestOnly,
-    rationale: "Internal SL ledger append primitive. Public callers attach evidence or contradiction relations; confidence is derived algorithmically."
+    rationale: "Internal SL scoring append primitive. Public callers attach evidence or contradiction relations; confidence is derived algorithmically."
   },
   ...entries(
     LEGACY_COMPAT_OPERATION_NAMES,
@@ -5517,11 +5494,39 @@ var createEvidenceInputSchemaBase = z.object({
   metadata: jsonRecordSchema.optional(),
   trustedBypassAccessCheck: z.boolean().optional()
 }).passthrough();
-function hasNonzeroWeight(value) {
-  return typeof value === "number" && Number.isFinite(value) && value !== 0;
+function isSignedImpactScore(value) {
+  return typeof value === "number" && Number.isFinite(value) && value >= -1 && value <= 1 && value !== 0;
 }
-function hasRelationSignal(value, weight) {
-  return Boolean(normalizeRelation(value, weight));
+function validateSignedImpactScore(value, ctx, path) {
+  if (!isSignedImpactScore(value)) {
+    ctx.addIssue({
+      code: z.ZodIssueCode.custom,
+      message: "evidence-to-belief links require an explicit nonzero signed impact score in [-1, 1]",
+      path
+    });
+    return false;
+  }
+  return true;
+}
+function validateRelationImpactConsistency(relation, weight, ctx, path) {
+  const normalized = normalizeRelationAlias(relation);
+  if (!normalized || !isSignedImpactScore(weight)) {
+    return;
+  }
+  if (normalized === "supports" && weight < 0) {
+    ctx.addIssue({
+      code: z.ZodIssueCode.custom,
+      message: "supporting evidence requires a positive impact score",
+      path
+    });
+  }
+  if (normalized === "contradicts" && weight > 0) {
+    ctx.addIssue({
+      code: z.ZodIssueCode.custom,
+      message: "contradicting evidence requires a negative impact score",
+      path
+    });
+  }
 }
 var createEvidenceInputSchema = createEvidenceInputSchemaBase.superRefine(
   (input, ctx) => {
@@ -5538,13 +5543,27 @@ var createEvidenceInputSchema = createEvidenceInputSchemaBase.superRefine(
       input.linkedBeliefNodeId || kind === "belief" || kind === "unknown" && target
     );
     const weight = typeof input.weight === "number" ? input.weight : void 0;
-    if (linksPrimaryBelief && !hasRelationSignal(input.evidenceRelation, weight)) {
+    const hasBeliefRelations = (input.beliefRelations?.length ?? 0) > 0;
+    if (!linksPrimaryBelief && !hasBeliefRelations) {
+      ctx.addIssue({
+        code: z.ZodIssueCode.custom,
+        message: "create_evidence requires at least one linked belief; evidence cannot be created as an orphan or linked only to a question/worktree",
+        path: ["linkedBeliefNodeId"]
+      });
+    }
+    if (kind === "question" || kind === "worktree") {
       ctx.addIssue({
         code: z.ZodIssueCode.custom,
-        message: "belief-targeted evidence requires evidenceRelation='supports'|'contradicts' or a nonzero signed weight",
-        path: ["evidenceRelation"]
+        message: "create_evidence targetId must be a belief. Link evidence to questions/worktrees only after the evidence has a belief impact edge.",
+        path: ["targetId"]
       });
     }
+    if (linksPrimaryBelief) {
+      validateSignedImpactScore(weight, ctx, ["weight"]);
+      validateRelationImpactConsistency(input.evidenceRelation, weight, ctx, [
+        "weight"
+      ]);
+    }
     input.beliefRelations?.forEach((relation, index) => {
       const beliefNodeId = relation.beliefNodeId ?? relation.beliefId ?? relation.targetId;
       if (!beliefNodeId) {
@@ -5555,15 +5574,18 @@ var createEvidenceInputSchema = createEvidenceInputSchemaBase.superRefine(
         });
       }
       const relationWeight2 = typeof relation.weight === "number" ? relation.weight : void 0;
-      if (beliefNodeId && !hasRelationSignal(
-        relation.evidenceRelation ?? relation.relation,
-        relationWeight2
-      )) {
-        ctx.addIssue({
-          code: z.ZodIssueCode.custom,
-          message: "beliefRelations entries require evidenceRelation='supports'|'contradicts' or a nonzero signed weight",
-          path: ["beliefRelations", index, "evidenceRelation"]
-        });
+      if (beliefNodeId) {
+        validateSignedImpactScore(relationWeight2, ctx, [
+          "beliefRelations",
+          index,
+          "weight"
+        ]);
+        validateRelationImpactConsistency(
+          relation.evidenceRelation ?? relation.relation,
+          relationWeight2,
+          ctx,
+          ["beliefRelations", index, "weight"]
+        );
       }
     });
   }
@@ -5617,18 +5639,28 @@ function targetKind(targetId) {
   }
   return "unknown";
 }
-function normalizeRelation(value, weight) {
+function normalizeRelationAlias(value) {
   if (value === "supports" || value === "supporting") {
     return "supports";
   }
   if (value === "contradicts" || value === "contradicting") {
     return "contradicts";
   }
+  return void 0;
+}
+function normalizeRelation(value, weight) {
+  const alias = normalizeRelationAlias(value);
+  if (alias) {
+    return alias;
+  }
   if (weight === void 0 || !hasNonzeroWeight(weight)) {
     return void 0;
   }
   return weight < 0 ? "contradicts" : "supports";
 }
+function hasNonzeroWeight(value) {
+  return typeof value === "number" && Number.isFinite(value) && value !== 0;
+}
 function normalizeConfidence(confidence, weight) {
   if (confidence !== void 0) {
     return Math.min(1, Math.max(0, confidence));
@@ -5655,6 +5687,7 @@ function normalizeBeliefRelation(relation) {
     beliefNodeId,
     relation: evidenceRelation,
     confidence: normalizeConfidence(relation.confidence, weight),
+    weight,
     rationale: relation.rationale
   });
 }
@@ -5703,6 +5736,7 @@ var createEvidenceProjection = defineProjection({
       linkedBeliefNodeId,
       evidenceRelation,
       confidence,
+      weight,
       beliefRelations: beliefRelations && beliefRelations.length > 0 ? beliefRelations : void 0,
       rationale: input.rationale,
       trustedBypassAccessCheck: input.trustedBypassAccessCheck ?? true
@@ -5732,12 +5766,14 @@ var createEvidenceProjection = defineProjection({
         v.literal("contradicts")
       )
     ),
+    weight: v.optional(v.number()),
     beliefRelations: v.optional(
       v.array(
         v.object({
           beliefNodeId: v.string(),
           relation: v.union(v.literal("supports"), v.literal("contradicts")),
           confidence: v.optional(v.number()),
+          weight: v.number(),
           rationale: v.optional(v.string())
         })
       )
@@ -5755,8 +5791,12 @@ var beliefRelationSchema2 = z.object({
   targetId: z.string().optional().describe("Belief target ID alias for beliefId/beliefNodeId."),
   relation: z.enum(["supports", "contradicts", "supporting", "contradicting"]).optional().describe("Relation alias for how the evidence bears on the belief."),
   evidenceRelation: evidenceRelationSchema2.optional().describe("Canonical relation: supports or contradicts."),
-  confidence: z.number().optional().describe("Confidence in this evidence-to-belief relation."),
-  weight: z.number().optional().describe("Support weight from -1.0 to +1.0 for this belief."),
+  confidence: z.number().optional().describe(
+    "Deprecated read-only hint. Runtime SL confidence is derived from signed weight."
+  ),
+  weight: z.number().min(-1).max(1).refine((value) => value !== 0, {
+    message: "Evidence impact weight must be nonzero."
+  }).describe("Required signed impact score from -1.0 to +1.0 for this belief."),
   rationale: z.string().optional().describe("Why this relation exists.")
 });
 var createEvidenceArgs = z.object({
@@ -5765,7 +5805,7 @@ var createEvidenceArgs = z.object({
   source: z.string().optional().describe("Source URL or source label."),
   sourceUrl: z.string().optional().describe("Canonical source URL."),
   targetId: z.string().optional().describe(
-    "Belief, question, or worktree identifier to link or preserve on the evidence record. Belief targets require evidenceRelation or a nonzero signed weight."
+    "Belief identifier to link immediately. Evidence creation cannot target only a question or worktree."
   ),
   linkedBeliefNodeId: z.string().optional().describe("Belief node this evidence bears on."),
   evidenceRelation: evidenceRelationSchema2.optional().describe(
@@ -5774,8 +5814,14 @@ var createEvidenceArgs = z.object({
   beliefRelations: z.array(beliefRelationSchema2).optional().describe(
     "Additional belief relations for one evidence record. Use when the same evidence supports or contradicts multiple beliefs."
   ),
-  confidence: z.number().optional().describe("Confidence in the evidence relation."),
-  weight: z.number().optional().describe("Nonzero support weight from -1.0 to +1.0."),
+  confidence: z.number().optional().describe(
+    "Deprecated hint. Runtime confidence is derived from signed weight."
+  ),
+  weight: z.number().min(-1).max(1).refine((value) => value !== 0, {
+    message: "Evidence impact weight must be nonzero."
+  }).describe(
+    "Required signed impact score from -1.0 to +1.0 for targetId/linkedBeliefNodeId."
+  ),
   metadata: jsonRecordSchema2.optional().describe("Metadata merged into the canonical evidence node."),
   rationale: z.string().describe("Why this evidence should enter the reasoning graph."),
   reasoning: z.string().optional().describe("Reasoning note preserved in evidence metadata."),
@@ -5797,7 +5843,9 @@ var addEvidenceArgs = z.object({
   topicId: z.string().optional().describe("Topic scope hint."),
   sourceUrl: z.string().optional().describe("URL of the source material."),
   targetNodeId: z.string().describe("The belief this evidence bears on."),
-  weight: z.number().optional().describe("Support weight from -1.0 to +1.0."),
+  weight: z.number().min(-1).max(1).refine((value) => value !== 0, {
+    message: "Evidence impact weight must be nonzero."
+  }).describe("Required signed impact score from -1.0 to +1.0."),
   reasoning: z.string().describe("Why this evidence is relevant to the target belief."),
   title: z.string().optional().describe("Optional short title."),
   content: z.string().optional().describe("Optional long-form evidence content."),
@@ -5817,19 +5865,21 @@ var createEvidenceInput = (input, context) => {
   );
 };
 function relationWeight(input) {
-  if (typeof input.weight === "number" && Number.isFinite(input.weight) && input.weight !== 0) {
+  if (typeof input.weight === "number" && Number.isFinite(input.weight) && input.weight !== 0 && input.weight >= -1 && input.weight <= 1) {
+    const relation = String(
+      input.evidenceRelation ?? input.relation ?? input.type ?? ""
+    );
+    if ((relation === "supports" || relation === "supporting") && input.weight < 0) {
+      throw new Error("Supporting evidence links require positive weight.");
+    }
+    if ((relation === "contradicts" || relation === "contradicting") && input.weight > 0) {
+      throw new Error("Contradicting evidence links require negative weight.");
+    }
     return input.weight;
   }
-  const relation = String(
-    input.evidenceRelation ?? input.relation ?? input.type ?? ""
+  throw new Error(
+    "Belief evidence links require explicit nonzero weight in [-1, 1]."
   );
-  if (relation !== "supports" && relation !== "supporting" && relation !== "contradicts" && relation !== "contradicting") {
-    throw new Error(
-      "Belief evidence links require evidenceRelation='supports'|'contradicts' or a nonzero signed weight."
-    );
-  }
-  const confidence = typeof input.confidence === "number" ? Math.max(0, Math.min(1, input.confidence)) : 0.7;
-  return relation === "contradicts" || relation === "contradicting" ? -confidence : confidence;
 }
 var linkEvidenceToBeliefInput = (input, context) => {
   const weight = relationWeight(input);
@@ -5838,6 +5888,7 @@ var linkEvidenceToBeliefInput = (input, context) => {
       beliefNodeId: input.beliefNodeId ?? input.beliefId ?? input.targetId,
       insightId: input.insightId ?? input.evidenceNodeId ?? input.evidenceId,
       type: weight < 0 ? "contradicting" : "supporting",
+      weight,
       confidence: Math.min(1, Math.abs(weight)),
       rationale: input.rationale ?? input.context,
       trustedBypassAccessCheck: input.trustedBypassAccessCheck ?? true
@@ -5914,7 +5965,12 @@ var evidenceContracts = [
       functionName: "create",
       kind: "mutation",
       inputProjection: (input, context) => {
-        const weight = typeof input.weight === "number" ? input.weight : 0.7;
+        if (typeof input.weight !== "number" || !Number.isFinite(input.weight) || input.weight === 0 || input.weight < -1 || input.weight > 1) {
+          throw new Error(
+            "add_evidence requires explicit nonzero weight in [-1, 1]."
+          );
+        }
+        const weight = input.weight;
         return createEvidenceInput(
           {
             ...input,
@@ -5923,6 +5979,7 @@ var evidenceContracts = [
             linkedBeliefNodeId: input.linkedBeliefNodeId ?? input.targetNodeId ?? input.targetId,
             evidenceRelation: weight < 0 ? "contradicts" : "supports",
             confidence: Math.min(1, Math.max(0, Math.abs(weight))),
+            weight,
             rationale: input.reasoning,
             metadata: {
               ...recordValue(input.metadata),